# Kantorowitsch-Ungleichung

Die Kantorowitsch-Ungleichung (englisch Kantorovich inequality) ist eine Ungleichung, die auf eine wissenschaftliche Publikation des sowjetischen Mathematikers Leonid Witaljewitsch Kantorowitsch aus dem Jahre 1948 zurückgeht und sowohl dem mathematischen Teilgebiet der Funktionalanalysis als auch dem der Numerischen Mathematik zugerechnet werden kann. Sie liefert eine Abschätzung für positiv definite und symmetrische Matrizen des reellen Matrizenrings ${\mathbb {R} }^{n\times n}$ und ist verwandt mit der Ungleichung von Schweitzer. Die Kantorowitsch-Ungleichung ist nicht zuletzt in der Numerischen Mathematik bedeutsam bei Konvergenzverhaltensuntersuchungen im Zusammenhang mit dem Gradientenverfahren und gab Anlass zu einer Anzahl von Verallgemeinerungen und weitergehenden Arbeiten.

## Darstellung der Ungleichung

Die Ungleichung lässt sich folgendermaßen darstellen:
    Gegeben sei – für eine natürliche Zahl $n>0$ – eine positiv definite und symmetrische Matrix $Q\in {\mathbb {R} }^{n\times n}$, welche als kleinsten Eigenwert die positive reelle Zahl $m$ habe und als größten die positive reelle Zahl $M$.
    Dann gilt für alle $x\in {\mathbb {R} }^{n}\setminus \{0\}$ die Ungleichung
       ${\frac {{\langle x,x\rangle }^{2}}{{\langle x,Qx\rangle }\cdot {\langle x,Q^{-1}x\rangle }}}\geq 4{\frac {M\cdot m}{(M+m)^{2}}}$ .
    Anders ausgedrückt – und über das obige hinaus – gilt, wenn
       $\mathrm {cond} (Q):={\frac {M}{m}}$
    gesetzt wird:
       $1\leq {\frac {{\langle x,Qx\rangle }\cdot {\langle x,Q^{-1}x\rangle }}{{\langle x,x\rangle }^{2}}}\leq {\frac {{\bigl1+\mathrm {cond} (Q){\bigr )}^{2}}{4\cdot \mathrm {cond} (Q)}}$ ,
    und dabei ist die obere Abschätzung in dem Sinne scharf, dass die Gleichung
       $\sup _{x\in {\mathbb {R} }^{n}\setminus \{0\}}{\frac {{\langle x,Qx\rangle }\cdot {\langle x,Q^{-1}x\rangle }}{{\langle x,x\rangle }^{2}}}={\frac {(1+\mathrm {cond} (Q))^{2}}{4\cdot \mathrm {cond} (Q)}}$
    besteht.

## Allgemeinere Darstellung der Ungleichung

In der Fachliteratur zur Theorie der konvexen Funktionen wird die Kantorowitsch-Ungleichung in einen weiteren Kontext gestellt und hier auch in der allgemeineren Version angegeben:
    Gegeben seien ein kompaktes Intervall $[a,b]\subset \mathbb {R}$ sowie zwei nichtnegative konvexe Funktionen $f\;,\;g\;\colon [a,b]\to [0,{+\infty })$.
    Weiterhin gegeben seien eine natürliche Zahl $n>0$ und dazu reelle Zahlen $x_{1},\ldots ,x_{n}\in [a,b]$ sowie positive reelle Zahlen $p_{1},\ldots ,p_{n}$ mit $p_{1}+...+p_{n}=1$ und darüber hinaus eine weitere positive reelle Zahl $c$.
    Unter diesen Bedingungen gilt für die zugehörigen Konvexkombinationen
       $K_{f}:=p_{1}f(x_{1})+\ldots +p_{n}f(x_{n})$
    und
       $K_{g}:=p_{1}g(x_{1})+\ldots +p_{n}g(x_{n})$
    die allgemeine Ungleichung
       ${\sqrt {K_{f}}}\cdot {\sqrt {K_{g}}}\leq {\frac {1}{2}}\cdot \max \left(cf(a)+{\frac {g(a)}{c}}\;,\;cf(b)+{\frac {g(b)}{c}}\right)$ .
    Ist für $x\in [a,b]$ sogar stets $f(x)g(x)\geq 1$, so gilt zusätzlich
       $1\leq {\sqrt {K_{f}}}\cdot {\sqrt {K_{g}}}$ .
    Insbesondere gelten im Falle $a>0$ stets die beiden Ungleichungen
       $1\leq {\biglp_{1}x_{1}+\ldots +p_{n}x_{n}{\bigr )}\cdot {\bigl{\frac {p_{1}}{x_{1}}}+\ldots +{\frac {p_{n}}{x_{n}}}{\bigr )}\leq {\frac {1}{4}}\cdot \left({\sqrt {\frac {a}{b}}}+{\sqrt {\frac {b}{a}}}\right)^{2}$ .

## Herleitung der Matrixungleichung aus der allgemeineren Darstellung

Es ist auf den ersten Blick nicht ersichtlich, wie obige Matrixungleichung aus der allgemeineren Darstellung folgt, aber das lässt sich in wenigen Worten sagen. Sei $Q$ positiv definit und symmetrisch mit Eigenwerten $0<m=x_{1}\leq \ldots \leq x_{n}=M$. Dann gibt es eine orthogonale Matrix $S$, so dass $S^{T}QS$ die Diagonalmatrix mit Diagonalelementen $x_{1}\ldots x_{n}$ ist. Sei $0\not =z\in \mathbb {R} ^{n}$ beliebig und $y=(y_{1},\ldots ,y_{n}):=S^{T}z$. Mit $\textstyle p_{i}:={\frac {y_{i}^{2}}{\|y\|^{2}}}$ gilt $p_{1}+\ldots +p_{n}=1$ und
    $p_{1}x_{1}+\ldots +p_{n}x_{n}={\frac {1}{\|y\|^{2}}}(y_{1}x_{1}y_{1}+\ldots +y_{n}x_{n}y_{n})={\frac {1}{\|y\|^{2}}}\langle y,S^{T}QSy\rangle ={\frac {1}{\|Sy\|^{2}}}\langle Sy,QSy\rangle ={\frac {1}{\|z\|^{2}}}\langle z,Qz\rangle$.
Da $Q^{-1}$ ebenfalls positiv definit und symmetrisch ist mit Eigenwerten $\textstyle {\frac {1}{x_{1}}}\ldots {\frac {1}{x_{n}}}$ und da auch $S^{T}Q^{-1}S$ die Diagonalmatrix mit Diagonalelementen $\textstyle {\frac {1}{x_{1}}}\ldots {\frac {1}{x_{n}}}$ ist, erhalten wir auch
    ${\frac {p_{1}}{x_{1}}}+\ldots +{\frac {p_{n}}{x_{n}}}={\frac {1}{\|z\|^{2}}}\langle z,Q^{-1}z\rangle$.
Die allgemeinere Darstellung der Ungleichung liefert also mit $a=m$ und $b=M$
    ${\frac {1}{\|z\|^{4}}}\langle z,Qz\rangle \langle z,Q^{-1}z\rangle ={\biglp_{1}x_{1}+\ldots +p_{n}x_{n}{\bigr )}\cdot {\bigl{\frac {p_{1}}{x_{1}}}+\ldots +{\frac {p_{n}}{x_{n}}}{\bigr )}\leq {\frac {1}{4}}\cdot \left({\sqrt {\frac {m}{M}}}+{\sqrt {\frac {M}{m}}}\right)^{2}={\frac {1}{4}}\cdot \left({\frac {m}{M}}+{\frac {M}{m}}+2\right)={\frac {1}{4}}{\frac {(m+M)^{2}}{m\cdot M}}$.
Das ist genau obige Matrixungleichung, wenn man beide Seiten noch invertiert. Daher verallgemeinert die zweite gegebene Version der Kantorowitsch-Ungleichung tatsächlich obige Matrixungleichung.