scientific article; zbMATH DE number 1323472

Publication date 11 August 1999

Loewner ellipsoid semi-infinite optimization

Research exposition (monographs, survey articles) pertaining to convex and discrete geometry (52-02) Convex sets in (n) dimensions (including convex hypersurfaces) (52A20) Inequalities and extremum problems involving convexity in convex geometry (52A40)

Review text

Aus dem Vorwort: ``In dieser Arbeit werden einige geometrische Extremalprobleme behandelt. Kapitel 1 gibt einen Einstieg in Grundlagen der Konvexgeometrie und der semi-infiniten Optimierung. Dieser Komplex beinhaltet eine Zusammenfassung von Definitionen und Aussagen, die in späteren Kapiteln Verwendung finden. Jeder konvexe Körper im \(\mathbb{R}^n\) besitzt ein eindeutig bestimmtes volumenminimales überdeckendes Ellipsoid. Die Existenz dieses Minimalellipsoids, auch Loewner Ellipsoid genannt, folgt aus Stetigkeits- und Kompaktheitsüberlegungen. Die Eindeutigkeit des Minimalellipsoids wurde für \(n=2\) von Behrend 1938 und für beliebiges \(n\) von Danzer, Laugwitz und Lenz 1957 mit geometrischen Mitteln nachgewiesen. Das Problem, das Minimalellipsoid eines konvexen Körpers \(K\) zu finden, kann als semi-infinites Optimierungsproblem formuliert werden. Juhnke leitete hieraus notwendige Optimalitätsbedingungen für das Minimalellipsoid her und zeigte, daß diese Bedingungen sogar hinreichend sind. Weiterhin wurde bewiesen, daß das Minimalellipsoid von \(K\) auch schon das Minimalellipsoid einer in der konvexen Hülle von \(K\) gelegenen polyedrischen Teilmenge mit höchstens \(n(n+3)/2\) Eckpunkten ist. In Kapitel 2 wird der Würfel hinsichtlich dieses Ergebnisses untersucht. Der Würfel im \(\mathbb{R}^n\) besitzt \(2^n\) Ecken. Sein Minimalellipsoid ist die Kugel. Da \(n(n+3)/2<2^n\) für \(n\geq 4\) gilt, stellt sich die Frage, welche Ecken des Würfels weggelassen werden können, ohne daß das Minimalellipsoid der konvexen Hülle der restlichen Ecken ungleich der Kugel ist. Mit Hilfe der Optimalitätsbedingungen von Juhnke konnten alle derartigen Eckenmengen in den Dimensionen drei und vier bestimmt werden. Dabei findet sich der Beweis für die Dimension vier im Anhang wieder. Desweiteren konnten mittels dieser Bedingungen Ergebnisse für beliebige Dimensionen erzielt werden, In mehreren Lemmata werden einige Eckpunktmengen des Würfels charakterisiert, deren konvexe Hülle dasselbe Minimalellipsoid wie der Würfel besitzt. Aufgrund dieser Resultate konnte in Satz 2.1 für gewisse Klassen von Dimensionen die minimale Kardinalität solcher Mengen bestimmt werden. Wenn die Vermutung, daß es für jedes \(n\equiv 0 \text{mod} 4\) eine Hadamard Matrix von Rang \(n\) gibt, richtig ist, so umfaßt dieser Satz sämtliche Dimensionen. Das Problem, den minimalen Kugelring eines konvexen Körpers zu finden, kann als lineares semi-infinites Optimierungsproblem beschrieben werden. Dabei ist der minimale Kugelring eines konvexen Körpers \(K\) als mengentheoretische Differenz zweier Kugeln \(B_1\) und \(B_2\) mit gleichem Mittelpunkt definiert, für die der Betrag der Differenz der Radien minimal ist und für die \(B_1\subseteq K\subseteq B_2\) gilt. Um dieses Problem mit Mitteln der semi-infiniten Optimierung zu lösen, mußten einige Ergebnisse von Glashoff und Gustafson verallgemeinert werden. Dies geschieht in Kapitel 3. Dabei spielen Dualitätsbetrachtungen eine wesentliche Rolle. Ein lineares semi-infinites Optimierungsproblem, welches das Kugelringproblem bei geeigneter Formulierung als Spezialfall enthält, wird dabei als primales Problem aufgefaßt. Analog zu Glashoff und Gustafson wird ein dazu duales Problem eingeführt und die geometrische Bedeutung dieser beiden Probleme anhand gewisser konvexer Kegel veranschaulicht. Die Sätze 3.1 bis 3.6 enthalten Aussagen über die Existenz von Optimallösungen des primalen und des dualen Problems sowie deren Verhältnis zueinander. In Kapitel 4 werden mit Hilfe der Ergebnisse aus Kapitel 3 notwendige und hinreichende Optimalitätsbedingungen für den minimalen Kugelring eines konvexen Körpers hergeleitet. Diese beinhalten die Resultate von Bárány. Darüberhinaus gewinnt man aus dem zum Kugelringproblem dualen Problem eine Darstellung des Wertes der primalen Optimallösung in Abhängigkeit von gewissen Berührpunkten des konvexen Körpers mit dem minimalen Kugelring. Das Kapitel 5 enthält Untersuchungen zu volumenmaximalen niederdimensionalen einbeschriebenen Ellipsoiden in konvexen Körpern. Dabei wurde versucht, auf dieses Problem die Methoden anzuwenden, die Juhnke benutzte, um notwendige und hinreichende Optimalitätsbedingungen für volumenmaximale volldimensionale einbeschriebene Ellipsoide in konvexen Körpern anzugeben. Eine \(j\)-dimensionale Inkugel eines \(n\)-dimensionalen Körpers \(L\) ist eine volumenmaximale \(j\)-dimensionale Kugel, die in \(K\) enthalten ist. Ihr Radius wird als \(j\)-dimensionaler Inkugelradius bezeichnet. In Kapitel 5 werden mittels semi-infiniter Optimierungsmethoden notwendige Optimalitätsbedingungen für \((n-1)\)-dimensionale Inkugeln in konvexen Körpern hergeleitet. Obwohl das Problem niederdimensionaler Ellipsoide in konvexen Körpern schwieriger zu handhaben ist als das volldimensionaler Ellipsoide, sind für diesen Fall dennoch einige Resultate bekannt. Ball fand obere Schranken für das Volumen niederdimensionaler Ellipsoide in konvexen Körpern und konnte das maximale Volumen niederdimensionaler Ellipsoide (beliebiger Dimension) im regulären Simplex bestimmen. In 5.3 wird dies für den Würfel geleistet. Neben den theoretischen Ergebnissen zur Bestimmung von Minimalellipsoiden, ist die numerische Berechnung von Minimalellipsoiden konkreter konvexer Körper von Interesse. Dabei hängen die zu dieser Berechnung benutzten Algorithmen von der Darstellung der konvexen Körper ab. In Kapitel 6 wird ein Algorithmus präsentiert und getestet, der Minimalellipsoide von konvexen Körpern im \(\mathbb{R}^2\) bestimmen soll, die durch ihre zweimal stetig partiell differenzierbare Stützfunktion gegeben sind.

Recommendations

Cited in

(8)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4255339)