Mathieusche Ungleichungen

Die mathieuschen Ungleichungen (englisch Mathieu’s inequalities) sind zwei klassische Ungleichungen, die dem mathematischen Teilgebiet der Analysis angehören. Sie sind nach dem französischen Mathematiker Émile Léonard Mathieu benannt.

Die mathieuschen Ungleichungen liefern eine untere und eine obere Abschätzung zu gewissen Reihen positiver Zahlen, von denen die obere von Mathieu im Jahre 1890 vermutet, aber nicht bewiesen wurde. Diese obere Abschätzung kommt in der Mathematischen Physik zum Tragen, wo mit ihrer Hilfe Reihenentwicklungen zur Lösung von Randwertaufgaben bei Elastizitätsuntersuchungen hergeleitet werden können.^[1]

Der erste vollständige Beweis der von Mathieu vermuteten oberen Abschätzung wurde im Jahre 1952 durch den deutschen Mathematiker Lothar Berg geliefert. In der Folge wurden dazu zahlreiche Arbeiten verfasst, von denen die des ungarischen Mathematikers Endre Makai (1915–1987)^[2] aus dem Jahre 1957 besondere Erwähnung verdient, da hier der Autor den ersten gänzlich elementaren Beweis der mathieuschen Vermutung vorlegte.^{[3] [4]}

Die mathieuschen Ungleichungen besagen:^{[5] [6]}

Für jede reelle Zahl ${\displaystyle x\neq 0}${\displaystyle x\neq 0} gelten die Abschätzungen

${\displaystyle {\frac {1}{x^{2}+{\frac {1}{2}}}}<\sum _{n=1}^{\infty }{\frac {2n}{(n^{2}+x^{2})^{2}}}<{\frac {1}{x^{2}}}}${\displaystyle {\frac {1}{x^{2}+{\frac {1}{2}}}}<\sum _{n=1}^{\infty }{\frac {2n}{(n^{2}+x^{2})^{2}}}<{\frac {1}{x^{2}}}}   .

Der Beweis lässt sich nach Makai folgendermaßen skizzieren:^{[5] [7]}

Für jedes reelle ${\displaystyle x\neq 0}${\displaystyle x\neq 0} werden zwei unendliche Folgen ${\displaystyle \left(a_{n}\right)_{n=1,2,3,\ldots }}${\displaystyle \left(a_{n}\right)_{n=1,2,3,\ldots }} und ${\displaystyle \left(b_{n}\right)_{n=1,2,3,\ldots }}${\displaystyle \left(b_{n}\right)_{n=1,2,3,\ldots }} definiert, wobei für eine natürliche Zahl ${\displaystyle n>0}${\displaystyle n>0}

${\displaystyle a_{n}={\frac {1}{(n-{\frac {1}{2}})^{2}+x^{2}-{\frac {1}{4}}}}}${\displaystyle a_{n}={\frac {1}{(n-{\frac {1}{2}})^{2}+x^{2}-{\frac {1}{4}}}}}

und

${\displaystyle b_{n}={\frac {1}{(n-{\frac {1}{2}})^{2}+x^{2}+{\frac {1}{4}}}}}${\displaystyle b_{n}={\frac {1}{(n-{\frac {1}{2}})^{2}+x^{2}+{\frac {1}{4}}}}}

gesetzt seien.

Mittels algebraischer Umformungen ergeben sich

${\displaystyle a_{n}-a_{n+1}={\frac {2n}{(n^{2}+x^{2})^{2}-n^{2}}}>{\frac {2n}{(n^{2}+x^{2})^{2}}}}${\displaystyle a_{n}-a_{n+1}={\frac {2n}{(n^{2}+x^{2})^{2}-n^{2}}}>{\frac {2n}{(n^{2}+x^{2})^{2}}}}

und entsprechend

${\displaystyle b_{n}-b_{n+1}={\frac {2n}{(n^{2}+x^{2}+{\frac {1}{2}})^{2}-n^{2}}}={\frac {2n}{(n^{2}+x^{2})^{2}+x^{2}+{\frac {1}{4}}}}<{\frac {2n}{(n^{2}+x^{2})^{2}}}}${\displaystyle b_{n}-b_{n+1}={\frac {2n}{(n^{2}+x^{2}+{\frac {1}{2}})^{2}-n^{2}}}={\frac {2n}{(n^{2}+x^{2})^{2}+x^{2}+{\frac {1}{4}}}}<{\frac {2n}{(n^{2}+x^{2})^{2}}}}   .

Nun bildet man die beiden zugehörigen Teleskopsummen und gewinnt so die Ungleichungskette

${\displaystyle {\begin{aligned}{\frac {1}{x^{2}+{\frac {1}{2}}}}&=b_{1}\\&=\sum _{n=1}^{\infty }{(b_{n}-b_{n+1})}\\&<\sum _{n=1}^{\infty }{\frac {2n}{(n^{2}+x^{2})^{2}}}\\&<\sum _{n=1}^{\infty }{(a_{n}-a_{n+1})}\\&=a_{1}\\&={\frac {1}{x^{2}}}\\\end{aligned}}}${\displaystyle {\begin{aligned}{\frac {1}{x^{2}+{\frac {1}{2}}}}&=b_{1}\\&=\sum _{n=1}^{\infty }{(b_{n}-b_{n+1})}\\&<\sum _{n=1}^{\infty }{\frac {2n}{(n^{2}+x^{2})^{2}}}\\&<\sum _{n=1}^{\infty }{(a_{n}-a_{n+1})}\\&=a_{1}\\&={\frac {1}{x^{2}}}\\\end{aligned}}}

und daraus die behaupteten Abschätzungen.

Noch in der Abhandlung des Jahres 1949 verwies der Mathematiker Kurt Schröder darauf, dass er die Richtigkeit der oberen mathieuschen Ungleichung nicht einsehen könne.^[8]

Stattdessen bewies er die schwächere (für seine Zielsetzung aber ausreichende) Ungleichung

${\displaystyle \sum _{n=1}^{\infty }{\frac {n}{(n^{2}+x^{2})^{2}}}<{\frac {2}{3x^{2}}}}${\displaystyle \sum _{n=1}^{\infty }{\frac {n}{(n^{2}+x^{2})^{2}}}<{\frac {2}{3x^{2}}}}   .^[9]

• L. Berg: Über eine Abschätzung von Mathieu. In: Mathematische Nachrichten . Band 7, 1952, S. 257–259, doi:10.1002/mana.19520070502 . 
• E. Makai: On the inequality of Mathieu. In: Publicationes Mathematicae Debrecen . Band 5, 1957, S. 204–205 (MR0091361). 
• E. Mathieu: Traité de physique mathématique. VI–VII, part 2. Paris 1890, Kap. X. 
• D. S. Mitrinović: Analytic Inequalities. In cooperation with P. M. Vasić (= Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete. Band 165). Springer Verlag, Berlin, Heidelberg, New York 1970, ISBN 3-540-62903-3 (MR0274686). 
• Kurt Schröder: Das Problem der eingespannten rechteckigen elastischen Platte. In: Mathematische Annalen . Band 121, 1959, S. 247–326. 

1. ↑ Kurt Schröder: Das Problem der eingespannten rechteckigen elastischen Platte. Math. Ann. 121, S. 247 ff, S. 258 ff
2. ↑ Siehe Eintrag in der ungarischen Wikipedia!
3. ↑ D. S. Mitrinović: Analytic Inequalities. 1970, S. 360–361, S. 392
4. ↑ Vgl. Liste (Liste im MathSciNet)!
5. ↑ ^{a b} E. Makai: On the inequality of Mathieu. Publ. Math. Debrecen 5 , S. 204–205
6. ↑ Mitrinović, op. cit., S. 360
7. ↑ Mitrinović, op. cit., S. 360–361
8. ↑ Schröder, op. cit. S. 260
9. ↑ Schröder, op. cit. S. 258

• Analysis
• Satz (Mathematik)
• Ungleichung