Ungleichungen von Clarkson

Die Ungleichungen von Clarkson (englisch Clarkson's inequalities) gehören zu einer ganzen Reihe von Resultaten, die von dem Mathematiker James Andrew Clarkson auf dem mathematischen Gebiet der Analysis geliefert wurden. Die Ungleichungen behandeln Abschätzungen zu L^p-Normen.^[1][2]

Es handelt sich um zwei Ungleichungen. Im Einzelnen hat man dabei folgende Aussage:

Gegeben seien ein Maßraum ${\displaystyle (\Omega ,{\mathcal {A}},\mu )}$ sowie reelle Zahlen ${\displaystyle p,q>1}$ mit ${\displaystyle q={\frac {p}{p-1}}}$.

Weiter gegeben seien der zugehörige L^p-Raum ${\displaystyle {\mathcal {L}}^{p}={\mathcal {L}}^{p}(\Omega ,{\mathcal {A}},\mu )}$ und darin zwei komplexwertige Funktionen ${\displaystyle f,g\in {\mathcal {L}}^{p}}$ .

Unter diesen Bedingungen gelten

einerseits im Falle ${\displaystyle p\geq 2}$ die Ungleichung^[3][2]

${\displaystyle \left\|{\frac {f+g}{2}}\right\|_{p}^{p}+\left\|{\frac {f-g}{2}}\right\|_{p}^{p}\leq {\frac {1}{2}}\|f\|_{p}^{p}+{\frac {1}{2}}\|g\|_{p}^{p}}$

und

andererseits im Falle ${\displaystyle 1<p<2}$ die Ungleichung^[4][2]

${\displaystyle \left\|{\frac {f+g}{2}}\right\|_{p}^{q}+\left\|{\frac {f-g}{2}}\right\|_{p}^{q}\leq \left[{\frac {1}{2}}\|f\|_{p}^{p}+{\frac {1}{2}}\|g\|_{p}^{p}\right]^{\frac {1}{p-1}}}$ .

• Bei Hirzebruch/Scharlau werden die beiden Clarkson'schen Ungleichungen – in gleichwertiger Darstellung! – auch als Parallelogramm–Ungleichungen bezeichnet. Sie entstammen der Arbeit von Clarkson aus dem Jahr 1936 (s. u.). Diese Bezeichnung wird nachvollziehbar, wenn man in Rechnung stellt, dass die erste Clarkson'sche Ungleichung für den Fall ${\displaystyle p\geq 2}$ (s. o.) gleichwertig ist mit der Ungleichung ${\displaystyle \left\|f+g\right\|_{p}^{p}+\left\|f-g\right\|_{p}^{p}\leq 2^{p-1}\cdot \left(\|f\|_{p}^{p}+\|g\|_{p}^{p}\right)}$, während die zweite Clarkson'sche Ungleichung für den Fall ${\displaystyle 1<p<2}$ (s. o.) gleichwertig ist mit der Ungleichung ${\displaystyle \left\|f+g\right\|_{p}^{q}+\left\|f-g\right\|_{p}^{q}\leq 2\cdot \left(\|f\|_{p}^{p}+\|g\|_{p}^{p}\right)^{\frac {1}{p-1}}}$ .^[5]
• Den Lehrbüchern von Hirzebruch/Scharlau und Dirk Werner ist zu entnehmen, dass Clarkson die beiden Ungleichungen dem Beweis seines Satzes von Clarkson zugrunde gelegt hat.^[5][2]
• Es gilt ${\displaystyle {\frac {1}{p}}+{\frac {1}{q}}=1}$.
• In den Beweis der zweiten Clarkson'schen Ungleichungen (s. o.) geht wesentlich ein, dass für ${\displaystyle 1<p\leq 2}$ und ${\displaystyle x\in [0,1]}$ stets die Ungleichung ${\displaystyle (1+x)^{q}+(1-x)^{q}\leq 2\cdot (1+x^{p})^{\frac {1}{p-1}}}$ besteht.^[3]

• Hanner-Ungleichungen
• Parallelogrammgleichung

• James A. Clarkson: Uniformly convex spaces. In: Transactions of the American Mathematical Society. Band 40, 1936, S. 396–414 (MR1501880). 
• Edwin Hewitt, Karl Stromberg: Real and Abstract Analysis. A modern Treatment of the Theory of Functions of a Real Variable. Third Printing (= Graduate Texts in Mathematics. Band 25). Springer-Verlag, New York, Heidelberg, Berlin 1975, ISBN 0-387-90138-8 (MR0367121). 
• Friedrich Hirzebruch, Winfried Scharlau: Einführung in die Funktionalanalysis (= B. I.-Hochschultaschenbücher. Band 296). Bibliographisches Institut, Mannheim / Wien / Zürich 1971, ISBN 3-411-00296-4 (MR0463864). 
• S. Ramaswamy: A simple proof of Clarkson's inequality. In: Proceedings of the American Mathematical Society. Band 68, 1978, S. 249–250 (MR0492135). 
• Dirk Werner: Funktionalanalysis. 6., korrigierte Auflage. Springer-Verlag, Berlin 2007, ISBN 978-3-540-72533-6. 

1. ↑ Edwin Hewitt, Karl Stromberg: Real and Abstract Analysis. 1975, S. 188 ff., 225–227
2. ↑ ^{a b c d} Dirk Werner: Funktionalanalysis. 2007, S. 197
3. ↑ ^{a b} Hewitt/Stromberg, op. cit., S. 225
4. ↑ Hewitt/Stromberg, op. cit., S. 227
5. ↑ ^{a b} Friedrich Hirzebruch, Winfried Scharlau: Einführung in die Funktionalanalysis. 1971, S. 75, 174