¿Cómo puedo probar la siguiente identidad solidificada? % $ $$\int_0^\pi\frac{\ln(2+\cos\phi)}{\sqrt{2+\cos\phi}}d\phi\stackrel?=\frac{\ln3}{\sqrt3}K\left(\sqrt{\frac23}\right),\tag1$$K(x)$Dónde está el integral elíptico completo de la clase de 1ˢᵗ: $$K(x)={_2F_1}\left(\frac12,\frac12;\ 1;\ x^2\right)\cdot\frac\pi2.\tag2$ $
Respuesta
¿Demasiados anuncios?
$\int^{\pi}_0\cos^{2k+1}\phi d\phi=0$, and $$\int^{\pi}_0\cos^{2k}\phi d\phi=\sqrt{\pi}\Gamma(k+1/2)/\Gamma(k+1)=2^{-2k}\pi\binom{2k}{k}.$$
Por lo tanto $$\begin{align*} I(n) &=\int^{\pi}_0\sum_{m=0}^{\infty}2^{n-m}\binom{n}{m}\cos^m\phi~d\phi\\ &=2^n\sum_{m=0}^{\infty}2^{-m}\binom{n}{m}\int^{\pi}_0\cos^m\phi~d\phi\\ &=2^n\pi\sum_{k=0}^{\infty}2^{-2k}\binom{n}{2k}2^{-2k}\binom{2k}{k}\\ &=2^n\pi~{}_2F_1\left(\frac{1-n}2,-\frac{n}{2};1;\frac14 \right)\\ &=2^n\pi\left(\frac23\right)^{-n}~{}_2F_1\left(-n,\frac{1}{2};1;\frac23\right)\\ &=3^n\pi~{}_2F_1\left(-n,\frac{1}{2};1;\frac23\right)\\ \end{align*} $$ usando DLMF 15.8.13 con $a=-n$, $b=1/2$ y $z=2/3$.
Tomamos nota de que $I(-1/2)=\frac{2}{\sqrt{3}}K(\sqrt{2/3})$.
Edición: Tenemos $$ I(n)=3^n\pi~{}_2F_1\left(-n,\frac{1}{2};1;\frac23\right)=\frac{\pi}{\sqrt{3}}~{}_2F_1\left(n+1,\frac{1}{2};1;\frac23\right)=3^{n+1/2}I(-n-1). $$
Por lo tanto, si escribimos $J(n)=3^{-n/2}I(n)$ y $J(n)=J(-n-1)$ y $J'(-1/2)=0$.
Por lo tanto $$\begin{align*} I'(-1/2) &=\left.\frac{d}{dn}3^{n/2}J(n)\right|_{n=-1/2}\\ &=\left.\left(3^{n/2}J'(n)+3^{n/2}\frac{\log 3}{2}J(n)\right)\right|_{n=-1/2}\\ &=3^{-1/4}\frac{\log 3}{2}J(-1/2)\\ &=\frac{\log 3}{2}I(-1/2)\\ &=\frac{\log 3}{\sqrt{3}}K(\sqrt{2/3}). \end{align*} $$
