Quantcast
Channel: Active questions tagged real-analysis - Mathematics Stack Exchange
Viewing all articles
Browse latest Browse all 9710

Generating functions of Wallis integrals

$
0
0

simple question, how would one go about proving that

$$\sum_{n\ge 0}^{}W_{n}x^{n}=\int_{0}^{\frac{\pi}{2}}\frac{dt}{1-x\cos t}$$

from this, it results with substituing $u= \tan(t/2)$ that

$$\sum_{n\ge 0}^{}W_{n}x^{n}=\int_{0}^{1}\frac{2dt}{1-x+u^2(1+x)}$$and noting that $f(-1)=1$ then for all $x$ in the open interval $]-1;1[$ we finish with:

$$\sum_{n\ge 0}^{}W_{n}x^{n}=\frac{2}{\sqrt{1-x^2}}\arctan\left( \sqrt{\frac{1+x}{1-x}} \right)$$

I'm probably just blind, but I have no clue as to how to get the first integral relation with the generating function of the Wallis integral.


Viewing all articles
Browse latest Browse all 9710

Trending Articles



<script src="https://jsc.adskeeper.com/r/s/rssing.com.1596347.js" async> </script>