Das wallissche Produkt, auch Wallis-Produkt, ist eine Produktdarstellung der Kreiszahl
, das heißt, es handelt sich um ein Produkt mit unendlich vielen Faktoren, dessen Grenzwert
ist. Es wurde 1655 von dem englischen Mathematiker John Wallis entdeckt. Dazu nutzte er eine schachbrettartige 'Interpolation' zwischen den (in ganzen Dimensionen) figurierten Zahlenfolgen des Pascalschen Dreiecks zur Bestimmung von 4/
als mittleren Binomialkoeffizienten zwischen nullter und erster Dimension.[1] Im Jahr 2015 wurde erstmals ein Zusammenhang mit quantenmechanischen Berechnungen bezüglich des Wasserstoffatoms festgestellt.[2]
Üblich ist die Darstellung des Produktes in der Form:
![{\displaystyle {\frac {\pi }{2}}={\frac {2}{1}}\cdot {\frac {2}{3}}\cdot {\frac {4}{3}}\cdot {\frac {4}{5}}\cdot {\frac {6}{5}}\cdot {\frac {6}{7}}\cdot \dots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/56d2ae04412b35123c25e8a9d046d68643ab90c7)
Über eine Umformung ergibt sich die Kurzschreibweise des Wallisproduktes wie folgt:
![{\displaystyle {\frac {\pi }{2}}=\left({\frac {2}{1}}\cdot {\frac {2}{3}}\right)\cdot \left({\frac {4}{3}}\cdot {\frac {4}{5}}\right)\cdot \left({\frac {6}{5}}\cdot {\frac {6}{7}}\right)\cdot \ \dots =\prod _{i=1}^{\infty }{\frac {(2i)(2i)}{(2i-1)(2i+1)}}=\prod _{i=1}^{\infty }{\frac {4\,i^{2}}{4\,i^{2}-1}}=\prod _{i=1}^{\infty }\left(1+{\frac {1}{4i^{2}-1}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7886bf3ccecfaf050ec003b63edf1cf541748344)
Für den Kehrwert folgt
.
Die Konvergenz dieses Produktes folgt aus der Konvergenz der unendlichen Reihe
bzw.
.
Eine weitere Darstellung für das Wallissche Produkt lautet
.
n | 2·Produkt | 2·Produkt / Pi | relativer Fehler |
1 | 2,7 | 0,85 | 15 % |
2 | 2,8 | 0,91 | 09 % |
3 | 2,9 | 0,93 | 07 % |
10 | 3,07 | 0,976 | 02,4 % |
100 | 3,134 | 0,9975 | 00,25 % |
1000 | 3,1408 | 0,99975 | 00,025 % |
10000 | 3,14151 | 0,999975 | 00,0025 % |
100000 | 3,141585 | 0,9999975 | 00,00025 % |
1000000 | 3,1415918 | 0,99999975 | 00,000025 % |
| 3,14159265… | 1,00000000… | 00 % |
Zur effizienten Berechnung einer Näherung von Pi ist die Formel nicht geeignet. Berechnet man etwa die ersten 5 Terme des Wallischen Produkts und verdoppelt das Ergebnis, so erhält man als Näherung für Pi:
![{\displaystyle 2\cdot \prod _{i=1}^{5}{\frac {4\cdot i^{2}}{4\cdot i^{2}-1}}\approx 3{,}002}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9cac718c328a23a2a6846ac268d7d8a76deb7507)
Mit dieser Näherung konnte nicht einmal die erste Nachkommastelle korrekt bestimmt werden.
Nach Ausmultiplizieren der ersten 50 Terme ergibt sich ein Quotient aus zwei 160-stelligen Zahlen, der aber für Pi nur die Näherung 3,126 liefert, also nicht einmal 2 Nachkommastellen korrekt angibt. Da 3,126/3,14159 = 0,9950 ist, ist der relative Fehler etwa 0,5 %. Die Konvergenzgeschwindigkeit ist langsamer als linear.
Die nebenstehende Tabelle gibt für einige ausgewählte Werte von
an, wie gut die Approximation von Pi ist, die man nach Ausmultiplizieren von
Termen im wallisschen Produkt erhält. Die Tabelle legt die Vermutung nahe, dass der Fehler nach Ausmultiplizieren von
Termen in etwa
beträgt (z. B. nach 100 Termen: 0,25 % =
).
Dies kann man auch durch folgende mathematische Überlegung beweisen: Der Quotient zwischen der Approximation und dem gewünschten Wert ist gleich dem unendlichen Produkt
![{\displaystyle \prod _{i=N+1}^{\infty }{\bigg (}1-{\frac {1}{4\,i^{2}}}{\bigg )}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3584045d485d8634ce941aafdc5e7a1708fb09e7)
Mit Hilfe der Rechenregeln für Logarithmen, der Abschätzung
(für kleine
) sowie durch Approximation einer unendlichen Summe durch ein Integral sieht man, dass dieses Produkt ungefähr den folgenden Wert hat:
.
Damit die ersten beiden Nachkommastellen richtig sind, braucht man demzufolge eine Genauigkeit von ca. 0,3 % (3,13/3,14 = 0,997), also etwa
Für 3 Nachkommastellen braucht man
für 4 Nachkommastellen
etc.
Im Folgenden werden zwei Integralgleichungen parallel hergeleitet und tabellarisch gegenübergestellt:
Es gilt folgende Formel: ![{\displaystyle 2n\int _{0}^{1}{\frac {x^{2n-1}}{\sqrt {1-x^{2}}}}-(2n+1)\int _{0}^{1}{\frac {x^{2n+1}}{\sqrt {1-x^{2}}}}\mathrm {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f29d0843cc8f274a320161dd16251c61e106a78) ![{\displaystyle =\int _{0}^{1}2n{\frac {x^{2n-1}}{\sqrt {1-x^{2}}}}-(2n+1){\frac {x^{2n+1}}{\sqrt {1-x^{2}}}}\mathrm {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e11f3a07ee9949f638be5bab3f1445bc3555bbff) ![{\displaystyle ={\biggl [}x^{2n}{\sqrt {1-x^{2}}}{\biggr ]}_{x=0}^{x=1}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad5a0643f66f0cbf869b68966d42ece8a00301ea) | Analog hierzu gilt folgende Formel: ![{\displaystyle (2n+1)\int _{0}^{1}{\frac {x^{2n}}{\sqrt {1-x^{2}}}}-(2n+2)\int _{0}^{1}{\frac {x^{2n+2}}{\sqrt {1-x^{2}}}}\mathrm {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc217a5591bb12361bbe6442069de0af7fae07bc) ![{\displaystyle =\int _{0}^{1}(2n+1){\frac {x^{2n}}{\sqrt {1-x^{2}}}}-(2n+2){\frac {x^{2n+2}}{\sqrt {1-x^{2}}}}\mathrm {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b817ef1eab00e03fce88022908de5393ad34dc22) ![{\displaystyle ={\biggl [}x^{2n+1}{\sqrt {1-x^{2}}}{\biggr ]}_{x=0}^{x=1}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/993a1052630fb0f78420af3a9b51c3db2339a6ec) |
Daraus folgt für alle : ![{\displaystyle \int _{0}^{1}{\frac {x^{2n+1}}{\sqrt {1-x^{2}}}}\mathrm {d} x={\frac {2n}{2n+1}}\int _{0}^{1}{\frac {x^{2n-1}}{\sqrt {1-x^{2}}}}\mathrm {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7392c206a6553436e68baf3b8b084c48153b4a97) | Daraus folgt für alle : ![{\displaystyle \int _{0}^{1}{\frac {x^{2n+2}}{\sqrt {1-x^{2}}}}\mathrm {d} x={\frac {2n+1}{2n+2}}\int _{0}^{1}{\frac {x^{2n}}{\sqrt {1-x^{2}}}}\mathrm {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/739f1239bb4cde2ef2e8d9eeefe372f215e625e5) |
Somit sind für alle natürlichen Zahlen folgende zwei Darstellungen über Produktreihen gültig:
![{\displaystyle \int _{0}^{1}{\frac {x^{2n+1}}{\sqrt {1-x^{2}}}}\mathrm {d} x=\prod _{m=1}^{n}{\frac {2m}{2m+1}}\int _{0}^{1}{\frac {x}{\sqrt {1-x^{2}}}}\mathrm {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7438d9e4cdc43fa40eb402aa04eff6217ee54307)
![{\displaystyle \int _{0}^{1}{\frac {x^{2n+2}}{\sqrt {1-x^{2}}}}\mathrm {d} x=\prod _{m=1}^{n}{\frac {2m+1}{2m+2}}\int _{0}^{1}{\frac {x^{2}}{\sqrt {1-x^{2}}}}\mathrm {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/36f35b888d4e63437ffa8ffd7a0bee2a40d199a7)
Folgender Grenzwert der Integrale ist gültig:
![{\displaystyle \lim _{n\rightarrow \infty }{\biggl [}\int _{0}^{1}{\frac {x^{2n+2}}{\sqrt {1-x^{2}}}}\mathrm {d} x{\biggr ]}{\biggl [}\int _{0}^{1}{\frac {x^{2n+1}}{\sqrt {1-x^{2}}}}\mathrm {d} x{\biggr ]}^{-1}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e85ae5c701e1ded8d38f2626be95fc155436c03)
Durch Einsetzen kommt folgendes Resultat hervor:
![{\displaystyle \lim _{n\rightarrow \infty }{\biggl [}\prod _{m=1}^{n}{\frac {2m+1}{2m+2}}\int _{0}^{1}{\frac {x^{2}}{\sqrt {1-x^{2}}}}\mathrm {d} x{\biggr ]}{\biggl [}\prod _{m=1}^{n}{\frac {2m}{2m+1}}\int _{0}^{1}{\frac {x}{\sqrt {1-x^{2}}}}\mathrm {d} x{\biggr ]}^{-1}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7241686fa68a2abfdc40c350226d5602b165d775)
![{\displaystyle {\biggl \{}\lim _{n\rightarrow \infty }{\biggl [}\prod _{m=1}^{n}{\frac {2m+1}{2m+2}}{\biggr ]}{\biggl [}\prod _{m=1}^{n}{\frac {2m}{2m+1}}{\biggr ]}^{-1}{\biggr \}}{\biggl [}\int _{0}^{1}{\frac {x^{2}}{\sqrt {1-x^{2}}}}\mathrm {d} x{\biggr ]}{\biggl [}\int _{0}^{1}{\frac {x}{\sqrt {1-x^{2}}}}\mathrm {d} x{\biggr ]}^{-1}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f895b80868403944c685fd4632ae996d9059cafc)
![{\displaystyle \prod _{m=1}^{\infty }{\frac {(2m+1)^{2}}{2m(2m+2)}}{\biggl [}\int _{0}^{1}{\frac {x^{2}}{\sqrt {1-x^{2}}}}\mathrm {d} x{\biggr ]}{\biggl [}\int _{0}^{1}{\frac {x}{\sqrt {1-x^{2}}}}\mathrm {d} x{\biggr ]}^{-1}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dfa8cbae1ca23ac8fb8105a4a4af0419d83d116a)
![{\displaystyle \prod _{m=1}^{\infty }{\frac {2m(2m+2)}{(2m+1)^{2}}}={\biggl [}\int _{0}^{1}{\frac {x^{2}}{\sqrt {1-x^{2}}}}\mathrm {d} x{\biggr ]}{\biggl [}\int _{0}^{1}{\frac {x}{\sqrt {1-x^{2}}}}\mathrm {d} x{\biggr ]}^{-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cfe75fdb0480ee66e7b016b5992cb554b33303d5)
Es gelten außerdem diese Integrale aufgrund der im nun Folgenden genannten Ursprungsstammfunktionen:
![{\displaystyle \int _{0}^{1}{\frac {x^{2}}{\sqrt {1-x^{2}}}}\mathrm {d} x={\biggl [}{\frac {1}{2}}\arcsin(x)-{\frac {1}{2}}x{\sqrt {1-x^{2}}}{\biggr ]}_{x=0}^{x=1}={\frac {\pi }{4}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e59f0ee9493b2ca29283a2acbfa8648431aa529)
![{\displaystyle \int _{0}^{1}{\frac {x}{\sqrt {1-x^{2}}}}\mathrm {d} x={\biggl [}1-{\sqrt {1-x^{2}}}{\biggr ]}_{x=0}^{x=1}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5223705c8544cdeb992a6fb412a315df1933cb1)
Deswegen gilt
.
Direkt daraus folgt
.
Man definiert
, für welche die Rekursionsformel
gilt. Insbesondere erhält man für
die Formel
.
Man berechnet
und
. Nun gilt
, und daher
.
Insbesondere also
, aus der man durch quadrieren die übliche Formel erhält.
Gegeben ist das Standardprodukt nach Wallis in diesem Muster:
![{\displaystyle \prod _{n=1}^{\infty }{\frac {4n^{2}}{(2n-1)(2n+1)}}=\prod _{n=1}^{\infty }{\frac {4n^{2}}{4n^{2}-1}}={\frac {1}{2}}\pi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3347b96eace6ea27b7b5d1abf450671136745439)
Analog ergibt sich mit oben beschriebenen Herleitungsverfahren:
![{\displaystyle \prod _{n=1}^{\infty }{\frac {9n^{2}}{(3n-1)(3n+1)}}=\prod _{n=1}^{\infty }{\frac {9n^{2}}{9n^{2}-1}}={\frac {2}{9}}{\sqrt {3}}\,\pi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/40eaa97aa09b53ecadb6ba002b098bf24752a2ac)
![{\displaystyle \prod _{n=1}^{\infty }{\frac {16n^{2}}{(4n-1)(4n+1)}}=\prod _{n=1}^{\infty }{\frac {16n^{2}}{16n^{2}-1}}={\frac {1}{4}}{\sqrt {2}}\,\pi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/96868010a31992795c14355c4d71304702637933)
Generell gilt:
![{\displaystyle \prod _{n=1}^{\infty }{\frac {z^{2}n^{2}}{(zn-1)(zn+1)}}=\prod _{n=1}^{\infty }{\frac {z^{2}n^{2}}{z^{2}n^{2}-1}}={\frac {\pi }{z}}\csc {\bigl (}{\frac {\pi }{z}}{\bigr )}={\frac {1}{\operatorname {si} (\pi /z)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/12df2c4ff0d46b6b06aff47fcebd7f973d6bb0b0)
Mit dem Ausdruck si wird der Kardinalsinus dargestellt. Wenn bei der gezeigten Produktreihe der Grenzwert für z gegen Unendlich berechnet wird, dann erscheint an allen Stellen dieser Gleichungskette der Wert Eins.
Für alle Wallisschen Produkte des folgenden Musters gilt in Bezug auf die Eulersche Betafunktion diese Identität:
![{\displaystyle \prod _{m=1}^{\infty }{\frac {zm(zm+2)}{(zm+1)^{2}}}={\frac {1}{2z}}\beta {\bigl (}{\frac {1}{z}}{\bigr )}={\frac {\Pi (1/z)^{2}}{\Pi (2/z)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a19e31f2a60ce00d45013b73cdf8e58b7d7a7fd5)
Der Buchstabe Π auf der rechten Seite der Gleichungskette stellt die Gaußsche Pifunktion dar.
Gegeben ist nun das Standardprodukt nach Wallis in nachfolgendem Muster:
![{\displaystyle \prod _{m=1}^{\infty }{\frac {2m(2m+2)}{(2m+1)^{2}}}={\frac {\pi }{4}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c623367b79d3ac3f1ffda01f9a996a778c638630)
Wenn die Zahl Zwei durch die Zahl Drei ersetzt wird, dann entsteht folgender Äquianharmonisch elliptischer Wert:
![{\displaystyle \prod _{m=1}^{\infty }{\frac {3m(3m+2)}{(3m+1)^{2}}}={\frac {1}{3}}{\sqrt[{3}]{2}}\,{\sqrt[{4}]{3}}\,K{\bigl [}\sin {\bigl (}{\frac {1}{12}}\pi {\bigr )}{\bigr ]}=\omega _{2}/{\sqrt {3}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a71da6e26a54a999ea465e0ca4701d9f744d351)
Auch ein äquianharmonischer Wert entsteht dann, wenn die Zahl Drei durch die Zahl Sechs ersetzt wird:
![{\displaystyle \prod _{m=1}^{\infty }{\frac {6m(6m+2)}{(6m+1)^{2}}}={\frac {1}{6}}{\sqrt[{3}]{4}}\,{\sqrt[{4}]{27}}\,K{\bigl [}\sin {\bigl (}{\frac {1}{12}}\pi {\bigr )}{\bigr ]}=\omega _{2}/{\sqrt[{3}]{4}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ee48118c4f6271e796c5ad65c6a762829a967db)
Wenn die Zahl Zwei durch die Zahl Vier ersetzt wird, dann entsteht folgender Lemniskatisch elliptischer Wert:
![{\displaystyle \prod _{m=1}^{\infty }{\frac {4m(4m+2)}{(4m+1)^{2}}}={\frac {1}{2}}\,K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}={\frac {1}{4}}{\sqrt {2}}\,\varpi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/005782380c8ab159ff837b8241a4053b5062fb2a)
Auch ein lemniskatischer Wert entsteht dann, wenn die Zahl Vier durch die Zahl Zwölf ersetzt wird:
![{\displaystyle \prod _{m=1}^{\infty }{\frac {12m(12m+2)}{(12m+1)^{2}}}={\frac {1}{12}}{\sqrt[{4}]{3}}\,{\sqrt[{6}]{32}}\,({\sqrt {3}}+1)\,K{\bigl (}{\frac {1}{2}}{\sqrt {2}}{\bigr )}={\frac {1}{12}}{\sqrt[{3}]{2}}\,{\sqrt[{4}]{3}}\,({\sqrt {3}}+1)\,\varpi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d1f3264138e7ea725258b68caf768ea1e1d3b49)
Wenn jedoch die Zahlen Acht, Zwanzig oder Vierundzwanzig eingesetzt wird, dann entstehen die elliptischen K-Integrale aus anderen ebenso elementar darstellbaren Modulen:
![{\displaystyle \prod _{m=1}^{\infty }{\frac {8m(8m+2)}{(8m+1)^{2}}}={\frac {1}{2}}{\sqrt[{4}]{2}}\,K{\bigl (}{\sqrt {2}}-1{\bigr )}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/96b01118e61c9c54ef22af8ff44d2c4dca30c5ab)
![{\displaystyle \prod _{m=1}^{\infty }{\frac {20m(20m+2)}{(20m+1)^{2}}}=2^{3/20}5^{-3/8}({\sqrt {5}}-1)^{1/4}\cos {\bigl (}{\frac {1}{20}}\pi {\bigr )}\,K{\bigl \{}\sin {\bigl [}{\frac {1}{2}}\arcsin {\bigl (}{\sqrt {5}}-2{\bigr )}{\bigr ]}{\bigr \}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/09549b7850213a9742ba35921dad7cddce0e71ea)
![{\displaystyle \prod _{m=1}^{\infty }{\frac {24m(24m+2)}{(24m+1)^{2}}}=2^{-13/12}3^{-1/4}({\sqrt {2}}+1)({\sqrt {3}}-1)\,K{\bigl [}{\bigl (}2-{\sqrt {3}}{\bigr )}{\bigl (}{\sqrt {3}}-{\sqrt {2}}{\bigr )}{\bigr ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f0053730f717ac94671d696daffea636f26cec54)
Das Vollständige elliptische Integral erster Art ist so definiert:
![{\displaystyle K(\varepsilon )=\int _{0}^{\pi /2}{\frac {1}{\sqrt {1-\varepsilon ^{2}\sin(\varphi )^{2}}}}\,\mathrm {d} \varphi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7efe1f687fbebc9439c808dba66d38b539abbca)
Deswegen gilt auch:
![{\displaystyle K(\varepsilon )=\int _{0}^{1}{\frac {2}{\sqrt {(x^{2}+1)^{2}-4\varepsilon ^{2}x^{2}}}}\,\mathrm {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e10715278b3f66fc6198d17e0525901b2fc05584)
Wenn ein solches Produkt nach dem Schema des Wallisschen Produktes als elementares Vielfaches vom K-Integral eines elementaren elliptischen Moduls dargestellt werden kann, dann ist der elliptische Modul[3] selbst immer ein Elliptischer Lambda-Stern-Wert von einer rationalen Zahl. Das K-Integral[4] selbst von solch einem Modul wird immer im Deutschen als Singulärer Elliptischer Integralwert und im Englischen als Elliptic Integral Singular Value bezeichnet. Diese Darstellung solcher Produktreihen nach dem gezeigten Schema mit dem K-Integral funktioniert jedoch nicht für alle Zahlen als gezeigte Vorfaktoren in der Produktreihe. Denn wenn statt der Zahlen 2, 3, 4, 6, 8, 12, 20 und 24 andere Zahlen wie beispielsweise 5 oder 7 eingesetzt werden, dann ist die Darstellung in diesem Muster nicht möglich.
Das Integral der Gaußschen Glockenkurve kann mit Hilfe des Wallisschen Produktes bewiesen werden. Hierfür kann folgende Beweisführung formuliert werden:
Es gilt folgende Formel: ![{\displaystyle 2n\int _{0}^{\infty }x^{2n-1}\exp(-x^{2})\,\mathrm {d} x-2\int _{0}^{\infty }x^{2n+1}\exp(-x^{2})\,\mathrm {d} x=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca60ea3e4e34615addfdb8fa1b95cada22199667) ![{\displaystyle \int _{0}^{\infty }2n\,x^{2n-1}\exp(-x^{2})-2x^{2n+1}\exp(-x^{2})\,\mathrm {d} x=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c7e35598a233b0e7a28da96e291995ee588a87b) ![{\displaystyle ={\biggl [}x^{2n}\exp(-x^{2}){\biggr ]}_{x=0}^{x=\infty }=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/283554871bc524b35e50c9db74e0832d46bc5ffe) | Analog hierzu gilt folgende Formel: ![{\displaystyle (2n+1)\int _{0}^{\infty }x^{2n}\exp(-x^{2})\,\mathrm {d} x-2\int _{0}^{\infty }x^{2n+2}\exp(-x^{2})\,\mathrm {d} x=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d34003e59c7a2da87897d634b0ad09d49e5ffae0) ![{\displaystyle \int _{0}^{\infty }(2n+1)\,x^{2n}\exp(-x^{2})-2x^{2n+2}\exp(-x^{2})\,\mathrm {d} x=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/56fd0061ae87e643e82447f3554fb12a71d20c0d) ![{\displaystyle ={\biggl [}x^{2n+1}\exp(-x^{2}){\biggr ]}_{x=0}^{x=\infty }=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1e911c0ff9e74cfd55fd1d11bdb6c95819099ca6) |
Daraus folgt für alle : ![{\displaystyle \int _{0}^{\infty }x^{2n+1}\exp(-x^{2})\mathrm {d} x=n\int _{0}^{\infty }x^{2n-1}\exp(-x^{2})\mathrm {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6ccb7fd56d2d68a2dc3a66d50059f44a272e07a2) | Daraus folgt für alle : ![{\displaystyle \int _{0}^{\infty }x^{2n+2}\exp(-x^{2})\mathrm {d} x={\frac {1}{2}}(2n+1)\int _{0}^{\infty }x^{2n}\exp(-x^{2})\mathrm {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f746fb91746a2be12d1d4f061d93d437c2529fc9) |
Außerdem gilt:
![{\displaystyle \int _{0}^{\infty }\exp(-x^{2})-2x^{2}\exp(-x^{2})\,\mathrm {d} x={\biggl [}x\exp(-x^{2}){\biggr ]}_{x=0}^{x=\infty }=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f05852a16307e689ba3c166cf1e26623245d32d9)
![{\displaystyle \int _{0}^{\infty }x^{2}\exp(-x^{2})\,\mathrm {d} x={\frac {1}{2}}\int _{0}^{\infty }\exp(-x^{2})\,\mathrm {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/01fe082a27cd64e17b87c50d17af80548de46c1d)
Somit sind für alle natürlichen Zahlen folgende Darstellungen über Produktreihen gültig:
![{\displaystyle \int _{0}^{\infty }x^{2n+1}\exp(-x^{2})\,\mathrm {d} x=\prod _{m=1}^{n}m\int _{0}^{\infty }x\exp(-x^{2})\,\mathrm {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/000efe9b054c315b44236d4677f75ca77aa2a0ed)
![{\displaystyle \int _{0}^{\infty }x^{2n+2}\exp(-x^{2})\,\mathrm {d} x=\prod _{m=1}^{n}{\frac {1}{2}}(2m+1)\int _{0}^{\infty }x^{2}\exp(-x^{2})\,\mathrm {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6405e405718187a9e04156e341d823f1b87c3ca)
![{\displaystyle \int _{0}^{\infty }x^{2n}\exp(-x^{2})\,\mathrm {d} x=\prod _{m=1}^{n}{\frac {1}{2}}(2m-1)\int _{0}^{\infty }\exp(-x^{2})\,\mathrm {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/061a77d1aec7d494781b7b79f3dd68dac9421fef)
Folgender Grenzwert der Integrale ist gültig:
![{\displaystyle \lim _{n\rightarrow \infty }{\biggl [}\int _{0}^{\infty }x^{2n}\exp(-x^{2})\,\mathrm {d} x{\biggr ]}{\biggl [}\int _{0}^{\infty }x^{2n+2}\exp(-x^{2})\,\mathrm {d} x{\biggr ]}{\biggl [}\int _{0}^{\infty }x^{2n+1}\exp(-x^{2})\,\mathrm {d} x{\biggr ]}^{-2}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/18f688a8e9519514b8c7c34b77c52440748d16af)
Durch Einsetzen kommt folgendes Resultat hervor:
![{\displaystyle \lim _{n\rightarrow \infty }{\biggl [}\prod _{m=1}^{n}{\frac {1}{2}}(2m-1)\int _{0}^{\infty }\exp(-x^{2})\,\mathrm {d} x{\biggr ]}{\biggl [}\prod _{m=1}^{n}{\frac {1}{2}}(2m+1)\int _{0}^{\infty }x^{2}\exp(-x^{2})\,\mathrm {d} x{\biggr ]}{\biggl [}\prod _{m=1}^{n}m\int _{0}^{\infty }x\exp(-x^{2})\,\mathrm {d} x{\biggr ]}^{-2}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a5de56e6a081e25287bb36c226a700955a3a69c)
![{\displaystyle \prod _{m=1}^{\infty }{\frac {(2m-1)(2m+1)}{4m^{2}}}{\biggl [}\int _{0}^{\infty }\exp(-x^{2})\,\mathrm {d} x{\biggr ]}{\biggl [}\int _{0}^{\infty }x^{2}\exp(-x^{2})\,\mathrm {d} x{\biggr ]}{\biggl [}\int _{0}^{\infty }x\exp(-x^{2})\,\mathrm {d} x{\biggr ]}^{-2}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de9d745c1da6077cae5095f1f328e61d22f31167)
![{\displaystyle \prod _{m=1}^{\infty }{\frac {(2m-1)(2m+1)}{4m^{2}}}{\biggl [}\int _{0}^{\infty }\exp(-x^{2})\,\mathrm {d} x{\biggr ]}^{2}{\biggl [}\int _{0}^{\infty }x\exp(-x^{2})\,\mathrm {d} x{\biggr ]}^{-2}=2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5748e9eadf3db1e3c744720c74972688931eaea5)
![{\displaystyle {\biggl [}\int _{0}^{\infty }\exp(-x^{2})\,\mathrm {d} x{\biggr ]}^{2}{\biggl [}\int _{0}^{\infty }x\exp(-x^{2})\,\mathrm {d} x{\biggr ]}^{-2}=2\prod _{m=1}^{\infty }{\frac {4m^{2}}{(2m-1)(2m+1)}}=\pi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f86a54e34d579847fac15307dcd104f43d3a6386)
Außerdem gilt dieses Integral:
![{\displaystyle \int _{0}^{\infty }x\exp(-x^{2})\,\mathrm {d} x={\biggl [}{\frac {1}{2}}-{\frac {1}{2}}\exp(-x^{2}){\biggr ]}_{x=0}^{x=\infty }={\frac {1}{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d86e215145b7691aba0dfdd309199946642a62a1)
Soergibt sich diese Fortführung der Gleichungsliste:
![{\displaystyle {\biggl [}\int _{0}^{\infty }\exp(-x^{2})\,\mathrm {d} x{\biggr ]}^{2}{\biggl [}\int _{0}^{\infty }x\exp(-x^{2})\,\mathrm {d} x{\biggr ]}^{-2}=\pi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e36babc175aaf239a5dd2f05b0bc8a79605700c0)
![{\displaystyle {\biggl [}\int _{0}^{\infty }\exp(-x^{2})\,\mathrm {d} x{\biggr ]}^{2}{\bigl (}{\frac {1}{2}}{\bigr )}^{-2}=\pi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2a273dea3754e47c5e33c0c898a2b58c0cd360f2)
![{\displaystyle \int _{0}^{\infty }\exp(-x^{2})\,\mathrm {d} x={\frac {1}{2}}{\sqrt {\pi }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ed908ec03d23aae606c6157d88d6ee8e7bd429e)
QUOD ERAT DEMONSTRANDUM
Auch für weitere Integrale nach dem Schema der Gaussschen Glockenkurve können die Wallisschen Produkte herangezogen werden. Mit dem soeben beschriebenen Mechanismus können auch analoge weitere Integrale zu Wallisschen Produkten umgeformt werden. So sind im Anschluss auch Umformungen zu Integralprodukten aus Integralen mit elliptisch darstellbaren Stammfunktionen möglich:
![{\displaystyle \int _{0}^{\infty }\exp(-x^{3})\,\mathrm {d} x={\biggl [}{\frac {1}{3}}\prod _{n=1}^{\infty }{\frac {(3n)^{3}}{(3n-2)(3n+1)^{2}}}{\biggr ]}^{1/3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/95cdcf7dce80665bcaa198905422f78096f61053)
![{\displaystyle \int _{0}^{\infty }\exp(-x^{4})\,\mathrm {d} x={\biggl [}{\frac {1}{4}}\prod _{n=1}^{\infty }{\frac {(4n)^{4}}{(4n-3)(4n+1)^{3}}}{\biggr ]}^{1/4}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a4404016ca8580b6ea16d31b9d838873d062b076)
![{\displaystyle \int _{0}^{\infty }\exp(-x^{5})\,\mathrm {d} x={\biggl [}{\frac {1}{5}}\prod _{n=1}^{\infty }{\frac {(5n)^{5}}{(5n-4)(5n+1)^{4}}}{\biggr ]}^{1/5}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e43d3c483bf1002f214f14fdd30f650ff04ea7f0)
Und generell kann auf der gezeigten Beweisführung im vorherigen Abschnitt so auch diese Formel genannt werden:
![{\displaystyle \int _{0}^{\infty }\exp(-x^{a})\,\mathrm {d} x={\biggl [}{\frac {1}{a}}\prod _{n=1}^{\infty }{\frac {(an)^{a}}{(an+1-a)(an+1)^{a-1}}}{\biggr ]}^{1/a}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/77acf455ca4070a29cf5dfbaa9baff1ea883eb38)
Für alle natürlichen Zahlen a ist diese Formel gültig. So ist ein Zugang zur Umformung von den Exponentialfunktionsintegralen zu den Wurzelfunktionsintegralen ermöglicht. Generell lässt sich basierend auf der durch Leonhard Euler gegebenen Definition diese Formel direkt aufstellen:
![{\displaystyle \int _{0}^{\infty }\exp(-x^{n})\,\mathrm {d} x=\Pi {\bigl (}{\frac {1}{n}}{\bigr )}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed7abb648aa57f5bbda9dd21d2aa837600b53a9c)
Diese Formel über die Gaußsche Pifunktion ist für alle natürlichen Zahlen n gültig. Und es gilt auch:
![{\displaystyle {\frac {\Pi (1/n)^{2}}{\Pi (2/n)}}=\prod _{m=1}^{\infty }{\frac {n\,m(n\,m+2)}{(n\,m+1)^{2}}}=\int _{0}^{1}{\frac {1}{(x^{n}+1)^{2/n}}}\,\mathrm {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a62f4979b3363efef3d5a364a818137355d7a63)
Wenn für den Wert a der Nachfolger einer Zweierpotenz gewählt wird, dann kann darauf basierend sogar stets eine vereinfachende Integralfaktorisation durchgeführt werden:
![{\displaystyle \int _{0}^{\infty }\exp(-x^{3})\,\mathrm {d} x=\Pi ({\tfrac {1}{3}})={\biggl [}\Pi ({\tfrac {1}{3}})\Pi ({\tfrac {2}{3}}){\frac {\Pi ({\tfrac {1}{3}})^{2}}{\Pi ({\tfrac {2}{3}})}}{\biggr ]}^{1/3}={\biggl [}{\tfrac {2}{9}}\pi \csc {\bigl (}{\tfrac {1}{3}}\pi {\bigr )}{\frac {\Pi ({\tfrac {1}{3}})^{2}}{\Pi ({\tfrac {2}{3}})}}{\biggr ]}^{1/3}={\biggl \{}{\tfrac {2}{9}}\pi \csc {\bigl (}{\tfrac {1}{3}}\pi {\bigr )}{\biggl [}\int _{0}^{1}{\frac {1}{(x^{3}+1)^{2/3}}}\,\mathrm {d} x{\biggr ]}{\biggr \}}^{1/3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ab69588893597070c7fa413efad858f9718013e)
![{\displaystyle \int _{0}^{\infty }\exp(-x^{5})\,\mathrm {d} x=\Pi ({\tfrac {1}{5}})={\biggl [}\Pi ({\tfrac {1}{5}})\Pi ({\tfrac {4}{5}}){\frac {\Pi ({\tfrac {1}{5}})^{4}}{\Pi ({\tfrac {2}{5}})^{2}}}\,{\frac {\Pi ({\tfrac {2}{5}})^{2}}{\Pi ({\tfrac {4}{5}})}}{\biggr ]}^{1/5}={\biggl [}{\tfrac {4}{25}}\pi \csc {\bigl (}{\tfrac {1}{5}}\pi {\bigr )}{\frac {\Pi ({\tfrac {1}{5}})^{4}}{\Pi ({\tfrac {2}{5}})^{2}}}\,{\frac {\Pi ({\tfrac {2}{5}})^{2}}{\Pi ({\tfrac {4}{5}})}}{\biggr ]}^{1/5}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f84583aa8ccc068234bb7e3c16bd613e5d40e20e)
![{\displaystyle ={\biggl \{}{\tfrac {4}{25}}\pi \csc {\bigl (}{\tfrac {1}{5}}\pi {\bigr )}{\biggl [}\int _{0}^{1}{\frac {1}{(x^{5}+1)^{2/5}}}\,\mathrm {d} x{\biggr ]}^{2}{\biggl [}\int _{0}^{1}{\frac {1}{(x^{5/2}+1)^{4/5}}}\,\mathrm {d} x{\biggr ]}{\biggr \}}^{1/5}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bee13d36efd1aa00cbff70704b56a64595c59fdb)
![{\displaystyle \int _{0}^{\infty }\exp(-x^{9})\,\mathrm {d} x=\Pi ({\tfrac {1}{9}})={\biggl [}\Pi ({\tfrac {1}{9}})\Pi ({\tfrac {8}{9}}){\frac {\Pi ({\tfrac {1}{9}})^{8}}{\Pi ({\tfrac {2}{9}})^{4}}}\,{\frac {\Pi ({\tfrac {2}{9}})^{4}}{\Pi ({\tfrac {4}{9}})^{2}}}\,{\frac {\Pi ({\tfrac {4}{9}})^{2}}{\Pi ({\tfrac {8}{9}})}}{\biggr ]}^{1/9}={\biggl [}{\tfrac {8}{81}}\pi \csc {\bigl (}{\tfrac {1}{9}}\pi {\bigr )}{\frac {\Pi ({\tfrac {1}{9}})^{8}}{\Pi ({\tfrac {2}{9}})^{4}}}\,{\frac {\Pi ({\tfrac {2}{9}})^{4}}{\Pi ({\tfrac {4}{9}})^{2}}}\,{\frac {\Pi ({\tfrac {4}{9}})^{2}}{\Pi ({\tfrac {8}{9}})}}{\biggr ]}^{1/9}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7b24d440348785f1af29a8e76692e7dd07473f3)
![{\displaystyle ={\biggl \{}{\tfrac {8}{81}}\pi \csc {\bigl (}{\tfrac {1}{9}}\pi {\bigr )}{\biggl [}\int _{0}^{1}{\frac {1}{(x^{9}+1)^{2/9}}}\,\mathrm {d} x{\biggr ]}^{4}{\biggl [}\int _{0}^{1}{\frac {1}{(x^{9/2}+1)^{4/9}}}\,\mathrm {d} x{\biggr ]}^{2}{\biggl [}\int _{0}^{1}{\frac {1}{(x^{9/4}+1)^{8/9}}}\,\mathrm {d} x{\biggr ]}{\biggr \}}^{1/9}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c32623eca6bdda0e4f9ab289a803ac94fb77ebdd)
Von Tamar Friedmann, C. R. Hagen und Studenten der Uni. Rochester (USA) wurde 2015 eine Anwendung dieses Produkts bei der Berechnung des Fehlers der quantenmechanischen Variationsrechnung der Energieeigenzustände im angeregten Wasserstoffatom relativ zur Lösung im Bohr’schen Atommodell entdeckt.[5]
- John Wallis: The arithmetic of infinitesimals (Übersetzung vom Latein ins Englische mit einem Vorwort von Jacqueline A. Stedall). 1. Auflage. Springer Verlag, Heidelberg / Berlin / New York 2004, ISBN 0-387-20709-0.
- Kurt Endl, Wolfgang Luh: Analysis. Eine integrierte Darstellung; Studienbuch für Studierende der Mathematik, Physik und anderer Naturwissenschaften ab 1. Semester. Band 2. 7. überarbeitete Auflage. Aula-Verlag, Wiesbaden 1989, ISBN 3-89104-455-0, S. 343.
- Fridtjof Toenniessen: Das Geheimnis der transzendenten Zahlen: Eine etwas andere Einführung in die Mathematik. Springer 2009, ISBN 978-3-8274-2274-3, S. 321–322 (Auszug (Google)).
- ↑ Two Pages from the Book 'Arithmetica Infinitorum' by John Wallis (IMAGE). In: eurekalert.org. Abgerufen am 27. Januar 2024.
- ↑ New derivation of pi links quantum physics and pure math. In: phys.org. American Institute of Physics, 10. November 2015, abgerufen am 27. Januar 2024 (englisch).
- ↑ Elliptic Lambda Function. In: lib.msu.edu. Abgerufen am 27. Januar 2024 (englisch).
- ↑ Elliptic Integral Singular Value. In: lib.msu.edu. Abgerufen am 27. Januar 2024 (englisch).
- ↑ Klassische Pi-Formel im Wasserstoff entdeckt. In: scinexx.de. 11. November 2015, abgerufen am 27. Januar 2024.