Die Kantorowitsch-Ungleichung () 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 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.Peter Kosmol: Methoden zur numerischen Behandlung nichtlinearer Gleichungen und Optimierungsaufgaben. 1989, S. 110–112D. S. Mitrinović: Analytic Inequalities. 1970, S. 60–65Owe Axelsson: Iterative Solution Methods. 1994, S. 95 ff.Wilhelm Forst, Dieter Hoffmann: Optimization — Theory and Practice. 2010, S. 100 ff.
Darstellung der Ungleichung Die Ungleichung lässt sich folgendermaßen darstellen:Kosmol, op. cit., S. 110Kosmol, op. cit., S. 101 Gegeben sei – für eine natürliche Zahl – eine positiv definite und symmetrische Matrix , welche als kleinsten Eigenwert die positive reelle Zahl habe und als größten die positive reelle Zahl . Dann gilt für alle die Ungleichung . ist das Skalarprodukt des . Anders ausgedrückt – und über das obige hinaus – gilt, wenn In der englischsprachigen Fachliteratur wird die Größe auch als condition number of bezeichnet. gesetzt wird:Axelsson, op. cit., S. 96 , und dabei ist die obere Abschätzung in dem Sinne scharf, dass die Gleichung
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:A. Wayne Roberts, Dale E. Varberg: Convex Functions. 1973, S. 208–209 Gegeben seien ein kompaktes Intervall sowie zwei nichtnegative konvexe Funktionen . Weiterhin gegeben seien eine natürliche Zahl und dazu reelle Zahlen sowie positive reelle Zahlen mit und darüber hinaus eine weitere positive reelle Zahl . Unter diesen Bedingungen gilt für die zugehörigen Konvexkombinationen
und
die allgemeine Ungleichung .
Ist für sogar stets , so gilt zusätzlich .
InsbesondereMit und und ! gelten im Falle stets die beiden Ungleichungen .
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 positiv definit und symmetrisch mit Eigenwerten . Dann gibt es eine orthogonale Matrix , so dass die Diagonalmatrix mit Diagonalelementen ist. Sei beliebig und . Mit gilt und . Da ebenfalls positiv definit und symmetrisch ist mit Eigenwerten und da auch die Diagonalmatrix mit Diagonalelementen ist, erhalten wir auch . Die allgemeinere Darstellung der Ungleichung liefert also mit und . Das ist genau obige Matrixungleichung, wenn man beide Seiten noch invertiert. Daher verallgemeinert die zweite gegebene Version der Kantorowitsch-Ungleichung tatsächlich obige Matrixungleichung.
Literatur
Weblinks
Einzelnachweise
Kategorie:Funktionalanalysis Kategorie:Numerische Mathematik Kategorie:Ungleichung