Wallissche Ungleichungen

Aus testwiki
Version vom 27. Januar 2024, 14:23 Uhr von imported>Swotty22 (toten Link durch einen anderen ersetzt (die Suche im MathSciNet der AMS ist nicht frei zugänglich und daher nicht so gut als EN geeignet))
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Zur Navigation springen Zur Suche springen

In der Analysis, einem der Teilgebiete der Mathematik, bezeichnet man als wallissche Ungleichungen (Vorlage:EnS) solche Ungleichungen, welche mit der nach dem Mathematiker John Wallis benannten Produktformel zusammenhängen. Diese Ungleichungen liefern Abschätzungen, die den Zusammenhang zwischen der Doppelfakultätenfunktion und der Kreiszahl π beleuchten. Die wallisschen Ungleichungen wurden in einer Vielzahl von Arbeiten weiterführenden Untersuchungen unterworfen.[1][2]

Darstellung der Ungleichungen

Zwei der geläufigsten wallisschen Ungleichungen sind folgende:[3]

Für jede natürliche Zahl n>0 gelten die Abschätzungen
1π(n+12)<(2n1)!!(2n)!!=(2n1)(2n3)312n(2n2)42<1πn   .

Folgerungen

Aus den obigen Ungleichungen lassen sich die folgenden Ungleichungen ableiten, die, wenn von einigen kleinen Indizes abgesehen wird, schwächer als die zuvorigen beiden sind:[3]

Für jede natürliche Zahl n>0 hat man
544n+1<(2n1)!!(2n)!!<342n+1   .

Wie Robert Alexander Rankin in seiner Monographie An Introduction to Mathematical Analysis zeigt, gewinnt man die letztgenannten Ungleichungen auch auf direktem Wege mit einem Induktionsbeweis.[4]

Verschärfungen

Ein Mathematiker namens Donat K. Kazarinoff zeigte im Jahre 1956 eine Verschärfung der oberen Abschätzung, nämlich:[3]

Für jede natürliche Zahl n>0 gilt
(2n1)!!(2n)!!<1π(n+14)   .

Im Jahre 2005 bewiesen die beiden Mathematiker Chen Chao-Ping und Qi Feng eine Verschärfung der unteren Abschätzung, nämlich:

Für jede natürliche Zahl n>0 gilt
1π(n+4π1)(2n1)!!(2n)!!   .

Zusammenhang mit dem wallisschen Produkt

Der oben angesprochene Zusammenhang zwischen der Doppelfakultätenfunktion und der Kreiszahl ergibt sich bei Berücksichtigung des folgenden Resultats, welches man in der Differential- und Integralrechnung II von G. M. Fichtenholz findet (und ebenfalls in der genannten Monographie von Rankin):[5][6]

Für jede natürliche Zahl n>0 ist
[(2n)!!(2n1)!!]212n+1<π2<[(2n)!!(2n1)!!]212n
und folglich[7]
π2=limn([(2n)!!(2n1)!!]212n)=limn([(2n)!!(2n1)!!]212n+1)=limn(2242(2n2)2(2n)21[13][35][(2n3)(2n1)][(2n1)(2n+1)])   .

Literatur

Einzelnachweise

  1. D. S. Mitrinović: Analytic Inequalities. 1970, S. 192–193, S. 287
  2. Vgl. z. B. Suche auf der Website der American Mathematical Society
  3. 3,0 3,1 3,2 Mitrinović, op. cit., S. 192
  4. Robert A. Rankin: An Introduction to Mathematical Analysis. 1963, S. 13
  5. G. M. Fichtenholz: Differential- und Integralrechnung II. 1974, S. 149–150
  6. Rankin, op. cit., S. 380
  7. Wie Fichtenholz ausführt, ist nämlich die Differenz der beiden äußeren Ausdrücke <π4n  .