Ungleichung von Hilbert

Die Ungleichung von Hilbert (Vorlage:EnS) ist eine klassische Ungleichung der Analysis, einem der Teilgebiete der Mathematik. Sie geht auf eine Arbeit des deutschen Mathematikers David Hilbert aus dem Jahre 1888 zurück und gibt eine obere Abschätzung zu gewissen Doppelsummen positiver reeller Zahlen. Hilberts Ungleichung wurde von zahlreichen Autoren verschärft, verallgemeinert und abgewandelt. Nicht zuletzt haben Hermann Weyl – etwa in seiner Inauguraldissertation Singuläre Integralgleichungen mit besonderer Berücksichtigung des Fourierschen Integraltheorems von 1908 – und insbesondere Godfrey Harold Hardy sie intensiver Untersuchung unterzogen.

Formulierung der Ungleichung

Hilberts Ungleichung lässt sich angeben wie folgt:

Gegeben sei für eine natürliche Zahl $N>0$ ein $(N+1)$-Tupel $(a_0,\dots ,a_N)$ positiver reeller Zahlen.

Dann gilt:

(H) $\sum _{i=0}^N\sum _{j=0}^N\frac{a_i{a}_j}{i+j+1}\le \pi \cdot \sum _{i=0}^N{a_i}^2$  .

Verschärfungen

Nach H. Frazer hat die letzte Ungleichung eine Verschärfung, in der die Kreiszahl durch einen besseren Abschätzungsfaktor ersetzt wird:

(HF) $\sum _{i=0}^N\sum _{j=0}^N\frac{a_i{a}_j}{i+j+1}\le (N+1)\cdot \sin \left(\frac{\pi }{N+1}\right)\cdot \sum _{i=0}^N{a_i}^2$  .

D. V. Widder zeigte die folgende stärkere Ungleichung:

(HW) $\sum _{i=0}^N\sum _{j=0}^N\frac{a_i{a}_j}{i+j+1}\le \pi \cdot \sum _{i=0}^N\sum _{j=0}^N\frac{(i+j)!}{i!j!}\frac{a_i{a}_j}{2^{i+j+1}}$  .

Verwandte Ungleichung

Fu Cheng Hsiang bewies die folgende verwandte Ungleichung:

Gegeben seien eine natürliche Zahl $N>0$ und dazu zwei $(N+1)$-Tupel $(a_0,\dots ,a_N)$ und $(b_0,\dots ,b_N)$ von nichtnegativen reellen Zahlen.

Dann gilt:

(HHs) $\sum _{i=0}^N\sum _{j=0}^N\frac{a_i{b}_j}{2i+2j+1}\le (N+1)\cdot \sin \frac{\pi }{2(N+1)}\cdot {\left(\sum _{i=0}^N{a_i}^2\right)}^{\frac{1}{2}}\cdot {\left(\sum _{j=0}^N{b_j}^2\right)}^{\frac{1}{2}}$  .

Analoga und Erweiterungen

In Analogie und Erweiterung der obigen Ungleichungen gewinnt man entsprechende für Doppelreihen und -integrale:

Für zwei Folgen ${\left(a_i\right)}_{i\in \mathbb{N}}$ und ${\left(b_j\right)}_{j\in \mathbb{N}}$ von nichtnegativen reellen Zahlen, die nicht beide lediglich $0$ als Folgenglied haben, und zwei positive reelle Zahlen $p,q$ mit $\frac{1}{p}+\frac{1}{q}=1$ gilt stets:

(HH_1) $\sum _{i=1}^{\mathrm{\infty }}\sum _{j=1}^{\mathrm{\infty }}\frac{a_i{b}_j}{i+j}<\frac{\pi }{\sin \left(\frac{\pi }{p}\right)}\cdot {\left(\sum _{i=1}^{\mathrm{\infty }}{a_i}^p\right)}^{\frac{1}{p}}\cdot {\left(\sum _{j=1}^{\mathrm{\infty }}{b_j}^q\right)}^{\frac{1}{q}}$  .

Für zwei reelle Funktionen $f,g:[0,\mathrm{\infty })\to [0,\mathrm{\infty })$, die nicht beide die Nullfunktion sind, und zwei positive reelle Zahlen $p,q$ mit $\frac{1}{p}+\frac{1}{q}=1$ gilt stets:

(HH_2) $\underset{0}{\overset{\mathrm{\infty }}{\int }}\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{f(x)g(y)}{x+y}\mathrm{d}x\mathrm{d}y<\frac{\pi }{\sin \left(\frac{\pi }{p}\right)}\cdot {\left(\underset{0}{\overset{\mathrm{\infty }}{\int }}{f}^p(x)\mathrm{d}x\right)}^{\frac{1}{p}}\cdot {\left(\underset{0}{\overset{\mathrm{\infty }}{\int }}{g}^q(x)\mathrm{d}x\right)}^{\frac{1}{q}}$  .

Zusatz: Es ist sowohl bei (HH_1) als auch bei (HH_2) der Abschätzungsfaktor $\frac{\pi }{\sin \left(\frac{\pi }{p}\right)}$ der bestmögliche.

Anmerkungen

• Für $p=q=2$ spricht man in Bezug auf (HH_1) auch vom hilbertschen Doppelreihensatz (Vorlage:EnS).
• Hinsichtlich des allgemeinen Falls ist es heute üblich, die obigen Ungleichungen (HH_1) bzw. (HH_2) als hardy-hilbertsche Ungleichung (Vorlage:EnS) bzw. als hardy-hilbertsche Integralungleichung (Vorlage:EnS) zu bezeichnen.

Zwei weitere verwandte Ungleichungen

Im Rahmen der Bemühungen, einen möglichst einfachen Beweis des hilbertschen Doppelreihensatzes zu liefern, wurden – beginnend in den Jahren 1920 bis 1925 mit Arbeiten von G. H. Hardy und Edmund Landau – zwei verwandte Ungleichungen für Reihen und Integrale gefunden und abgeleitet, welche beide unter dem Stichwort hardysche Ungleichung (Vorlage:EnS) bekannt wurden. Es handelt sich um die folgenden:

Für eine Folge ${\left(a_i\right)}_{i\in \mathbb{N}}$ nichtnegativer reeller Zahlen, die nicht alle gleich $0$ sind, und eine reelle Zahl $p>1$ gilt stets:

(H_1) $\sum _{i=1}^{\mathrm{\infty }}{\left(\frac{a_1+\dots +a_i}{i}\right)}^p<{\left(\frac{p}{p-1}\right)}^p\cdot \sum _{i=1}^{\mathrm{\infty }}{a_i}^p$  .

Für eine reelle Funktion $f:[0,\mathrm{\infty })\to [0,\mathrm{\infty })$, die nicht die Nullfunktion ist, und eine reelle Zahl $p>1$ gilt stets:

(H_2) $\underset{0}{\overset{\mathrm{\infty }}{\int }}{\left(\frac{\underset{0}{\overset{x}{\int }}f(t)\mathrm{d}t}{x}\right)}^p\mathrm{d}x<{\left(\frac{p}{p-1}\right)}^p\cdot \underset{0}{\overset{\mathrm{\infty }}{\int }}{f}^p(x)\mathrm{d}x$  .

Zusatz: Sowohl bei (H_1) als auch bei (H_2) ist der Abschätzungsfaktor ${\left(\frac{p}{p-1}\right)}^p$ der bestmögliche.

Literatur

• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur