Neuer Beweis eines Satzes von Wirtinger und Blaschke. (Q2584142)

Ist \(V_n\) der erste Bertrandsche Operator auf der Einheitskugel des \(R_n\), \(d\omega_n\) das Oberflä\-chen\-element dieser Kugel, \(u\) eine Funktion auf ihr mit \(\int u\, d\omega_n =0\), so gilt nach Wirtinger-Blaschke die Ungleichung \(\int \{(n - 1) u^2 \nabla_n u\} d\omega_n \leqq 0\); das Gleichheitszeichen steht nur, wenn \(u\) die Stützfunktion eines Punktes im \(R_n\) ist. Die Integrale werden dabei über die gesamte Hyperkugeloberfläche erstreckt. Verf. beweist dies elementar ohne Zuhilfenahme von Hyperkugelfunktionen durch Rekursion nach \(n\). Daraus ergibt sich eine elementare Begründung bekannter Ungleichungen über die gemischte Oberfläche zweier konvexer Körper im \(R_n\), insbesondere der Minkowskischen.