Una Suma que se acercó mientras que la solución de una integral

Question

Mientras que la evaluación de $I$, hice el siguiente-

$$\begin{align}I= \int_{0}^{1} \log \left(\dfrac{1+x}{1-x}\right) \dfrac{1}{x\sqrt{1-x^2}} \ \mathrm{d}x &= 2 \int_{0}^{1}\sum_{n=0}^{\infty} \dfrac{x^{2n+1}}{2n+1} \dfrac{1}{x\sqrt{1-x^2}} \ \mathrm{d}x\\ &=2\sum_{n=0}^{\infty} \int_{0}^{1} \dfrac{x^{2n}}{(2n+1)\sqrt{1-x^2}} \ \mathrm{d}x \end{align}$$ Then I used the substitution $x \mapsto \sin \theta $.

$$\begin{align} \therefore I &=2\sum_{n=0}^{\infty} \int_{0}^{\pi/2} \dfrac{\sin^{2n} {\theta}}{2n+1} \ \mathrm{d}\theta\\ &=\pi \sum_{n=0}^{\infty} \dfrac{(2n)!}{2^{2n}(n!)^2(2n+1)} \end{align}$$ El último paso es debido a Wallis de la fórmula.

Sin embargo, yo no podía resolver el último de la serie. Mi pregunta es que ¿cómo podemos demostrar que $$\displaystyle\sum_{n=0}^{\infty} \dfrac{(2n)!}{2^{2n}(n!)^2(2n+1)}=\dfrac{\pi}{2} \ ?$$

Answer 1

En lugar de expansión de la serie, usted puede hacer esto:

$$\int_0^1 \ln\left(\frac{1+x}{1-x}\right)\frac{1}{x\sqrt{1-x^2}}\,dx=\frac{1}{2}\int_{-1}^1 \ln\left(\frac{1+x}{1-x}\right)\frac{1}{x\sqrt{1-x^2}}\,dx$$

$$=\int_{-1}^1 \frac{\ln(1+x)}{x\sqrt{1-x^2}}\,dx=\int_{-\pi/2}^{\pi/2} \frac{\ln(1+\sin\theta)}{\sin\theta}\,d\theta$$

Considere la posibilidad de $$I(a)=\int_{-\pi/2}^{\pi/2} \frac{\ln(1+a\sin\theta)}{\sin\theta}\,d\theta \Rightarrow I'(a)=\int_{-\pi/2}^{\pi/2} \frac{1}{1+a\sin\theta}\,d\theta=\frac{\pi}{\sqrt{1-a^2}}$$

$$\Rightarrow I(a)=\sin^{-1}a+C$$

Desde $I(0)=0$, $C=0$ y, por tanto, $$\boxed{I(1)=\dfrac{\pi}{2}}$$

Answer 2

Sugerencia

Para $|x| \leq 1$, $$\displaystyle\sum_{n=0}^{\infty} \dfrac{(2n)!}{2^{2n}(n!)^2(2n+1)}x^{2n}=\frac 1x\sum_{n=0}^{\infty} \dfrac{(2n)!}{2^{2n}(n!)^2(2n+1)}x^{2n+1}=\frac{\sin ^{-1}(x)}{x}$$

Answer 3

$\newcommand{\ángulos}[1]{\left\langle\, nº 1 \,\right\rangle} \newcommand{\llaves}[1]{\left\lbrace\, nº 1 \,\right\rbrace} \newcommand{\bracks}[1]{\left\lbrack\, nº 1 \,\right\rbrack} \newcommand{\ceil}[1]{\,\left\lceil\, nº 1 \,\right\rceil\,} \newcommand{\dd}{{\rm d}} \newcommand{\ds}[1]{\displaystyle{#1}} \newcommand{\dsc}[1]{\displaystyle{\color{red}{#1}}} \newcommand{\expo}[1]{\,{\rm e}^{#1}\,} \newcommand{\fermi}{\,{\rm f}} \newcommand{\piso}[1]{\,\left\lfloor #1 \right\rfloor\,} \newcommand{\mitad}{{1 \over 2}} \newcommand{\ic}{{\rm i}} \newcommand{\iff}{\Longleftrightarrow} \newcommand{\imp}{\Longrightarrow} \newcommand{\Li}[1]{\,{\rm Li}_{#1}} \newcommand{\norm}[1]{\left\vert\left\vert\, nº 1\,\right\vert\right\vert} \newcommand{\pars}[1]{\left (\, nº 1 \,\right)} \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\parcial #3^{#1}}} \newcommand{\pp}{{\cal P}} \newcommand{\raíz}[2][]{\,\sqrt[#1]{\vphantom{\large Un}\,#2\,}\,} \newcommand{\sech}{\,{\rm sech}} \newcommand{\sgn}{\,{\rm sgn}} \newcommand{\totald}[3][]{\frac{{\rm d}^{#1} #2}{{\rm d} #3^{#1}}} \newcommand{\ul}[1]{\underline{#1}} \newcommand{\verts}[1]{\left\vert\, nº 1 \,\right\vert}$

$\sf\mbox{If you evaluates the sum you'll return to the original integral.}$

$\sf\mbox{In any case the evaluation requires to consider the original integral.}$

Así, \begin{align}&\color{#66f}{\large% {1 \over \pi}\int_{0}^{1}\log\pars{1 + x \over 1 - x}\,{1 \over x\root{1 - x^{2}}}\,\dd x} ={2 \over \pi}\ \overbrace{\int_{0}^{1}\,{\rm arctanh}\pars{x}\,{1 \over x\root{1 - x^{2}}}\,\dd x} ^{\dsc{x}\ \equiv\ \dsc{\tanh\pars{t}}} \\[5mm]&={2 \over \pi}\int_{0}^{\infty}t\,{1 \over \tanh\pars{t}\root{1 - \tanh^{2}\pars{t}}}\,\sech^{2}\pars{t}\,\dd t ={2 \over \pi}\int_{0}^{\infty}{t \over \sinh\pars{t}}\,\dd t \\[5mm]&={4 \over \pi}\int_{0}^{\infty}{t\expo{-t} \over 1 - \expo{-2t}}\,\dd t ={4 \over \pi}\sum_{n\ =\ 0}^{\infty}\int_{0}^{\infty}t\expo{-\pars{2n + 1}t}\,\dd t ={4 \over \pi}\sum_{n\ =\ 0}^{\infty}{1 \over \pars{2n + 1}^{2}}\ \overbrace{\int_{0}^{\infty}t\expo{-t}\,\dd t}^{\ds{=}\ \dsc{1}} \\[5mm]&={4 \over \pi}\bracks{\sum_{n\ =\ 1}^{\infty}{1 \over n^{2}} -\sum_{n\ =\ 1}^{\infty}{1 \over \pars{2n}^{2}}} ={4 \over \pi}\pars{{3 \over 4}\ \overbrace{\sum_{n\ =\ 1}^{\infty}{1 \over n^{2}}}^{\ds{=}\ \dsc{\pi^{2} \over 6}}} =\color{#66f}{\Large{\pi \over 2}} \end{align}