Cómo encontrar a $\int_0^\pi (\log(1 - 2a \cos(x) + a^2))^2 \mathrm{d}x, \quad a>1$?

Question

Integración por partes es de ningún éxito. ¿Qué más probar? $$\int_0^\pi (\log(1 - 2a \cos(x) + a^2))^2 \mathrm{d}x, \quad a>1$$

Answer 1

Factor $a^2$ en su integral $I(a)$: $$ I(a)=\int_0^\pi(\log (a^2(1-2a^{-1}\cos\theta+a^{-2}))^2d\theta $$ $$ =\int_0^\pi(2\log a+\log(1-2a^{-1}\cos\theta+a^{-2}))^2d\theta $$ $$ =4\pi\log^2a+4\log\int_0^\pi \log(1-2a^{-1}\cos\theta+a^{-2})d\theta+\int_0^\pi \log^2(1-2a^{-1}\cos\theta+a^{-2})d\theta. $$ Ahora observe que el cambio de variable $u=2\pi-\theta$ los rendimientos de la misma integrales con límites $\pi$ $2\pi$ en lugar de eso, así que $$ I(a)=4\pi\log^2a $$ $$+2\log\int_0^{2\pi} \log(1-2a^{-1}\cos\theta+a^{-2})d\theta+\frac{1}{2}\int_0^{2\pi} \log^2(1-2a^{-1}\cos\theta+a^{-2})d\theta. $$ Ahora, vea este hilo. Denotando $\gamma$ de la circunferencia de radio $a^{-1}$ y el centro de la $0$ en el plano complejo, tenemos $$ \int_0^{2\pi} \log(1-2a^{-1}\cos\theta+a^{-2})d\theta=\mbox{Re}\frac{2}{i}\int_\gamma\frac{\log(1-z)}{z}dz=0 $$ por Cauchy de la integral de la fórmula. Para la otra integral, obtenemos $$ \int_0^{2\pi} \log^2(1-2a^{-1}\cos\theta+a^{-2})d\theta=\frac{4}{i}\int_\gamma\frac{\log^2/1-z|}{z}dz. $$ Ahora queda hacer la polylog/dilogarithm invocada por Robert Israel y Sasha aparecen, o esperar a que alguien encuentre el inteligente primaria argumento de que sería más apropiado para un concurso de matemáticas pregunta. Obtenemos:

$$ I(a)=4\pi\log^2a+2\pi\mbox{Li}_2(a^{-2}). $$

Answer 2

Deje que su integral del ser $L(a)$. Como $a \to +\infty$ tenemos la asintótica de la serie $$ L(a) \sim 4 \pi \ln(a)^2 + \frac{2\pi}{a^2} + \frac{\pi}{2 a^4} + \frac{2\pi}{9 a^6} + \ldots$$ Parece que el coeficiente de $a^{-2k}$$2 \pi/k^2$. Por lo que parece $$ L(a) = 4 \pi \ln(a)^2 + \sum_{k=1}^\infty \frac{2\pi}{k^2 a^{2k}} = 4\, \left( \ln \left (\right) \right) ^{2}\pi +2\,\pi \,{\it polylog} \left( 2,{a}^{-2} \right)$$

Numéricamente esto parece funcionar: por ejemplo, para $a=2$ Arce (con los Dígitos=20) obtiene $7.7192617649944513786$ $L(2)$ $7.7192617649944513785$ $4\, \left( \ln \left( 2 \right) \right) ^{2}\pi +2\,\pi \,{\it polylog} \left( 2,1/4 \right)$

Answer 3

Una idea compleja:

$$z=ae^{ix}\in\Bbb C\;,\;a\in\Bbb R^+\;,\;x\in\Bbb R\implies dz=aie^{ix}dx=iz\,dx $$

$$|z-1|^2=|(a\cos x-1)+ai\sin x|^2=a^2-2a\cos x+1\implies$$

$$\int\limits_0^\pi\left(\log(1-2a\cos x+a^2)\right)^2dx=\frac{1}{ai}\int\limits_{\Gamma:=\{|z|=a\;,\;\Im(z)\ge 0\}}\left(\log|z-1|^2\right)^2\,\frac{1}{z}\,dz=$$

$$=-\frac{4i}{a}\int\limits_\Gamma \frac{\log^2|z-1|}{z}\;dz\;\ldots$$

Answer 4

Si $a$ es un valor real y $|a| >1$, $$\sum_{n=1}^{\infty} \frac{\cos (n \theta)}{n} \left(\frac{1}{a} \right)^{n} = - \frac{1}{2} \log \left(1- \frac{2}{a} \cos \theta+ \frac{1}{a^{2}} \right) = \log|a| - \frac{1}{2} \log \left(1-2 a \cos \theta +a^{2} \right). $$

Esta identidad puede ser derivado de la serie de Maclaurin $$\sum_{n=1}^{\infty} \frac{z^{n}}{n} = - \log(1-z) \ , \ |z| <1$$ by replacing $z$ with $\displaystyle \frac{e^{i \theta}}{a}$ e igualando las partes reales en ambos lados.

Ahora reorganizar la identidad, la plaza de los dos lados, y de integrar.

$$ \begin{align} \int_{0}^{\pi} \log^{2}(1-2a \cos \theta+a^{2}) \ d \theta &= 4 \log^{2}|a| \int_{0}^{\pi} d \theta -4 \log|a| \int_{0}^{\pi} \sum_{n=1}^{\infty} \frac{\cos (n \theta)}{n} \left(\frac{1}{a} \right)^{n} \ d \theta \\ &+ 4 \int_{0}^{\pi} \sum_{k=1}^{\infty} \frac{\cos(k \theta)}{k} \left(\frac{1}{a} \right)^{k} \sum_{n=1}^{\infty} \frac{\cos(n \theta)}{n} \left(\frac{1}{a} \right)^{n} \ d \theta \\ &= 4 \pi \log^{2}|a| - 4 \log|a| \sum_{n=1}^{\infty} \frac{1}{n} \left(\frac{1}{a} \right)^{n} \int_{0}^{\pi} \cos (n \theta) \ d \theta \\ &+ 4 \sum_{k=1}^{\infty} \sum_{n=1}^{\infty} \frac{1}{kn} \left(\frac{1}{a} \right)^{k+n} \int_{0}^{\pi} \cos(k \theta) \cos(n \theta) \ d \theta \\ &= 4 \pi \log^{2}|a| - 0 + 4 \sum_{n=1}^{\infty} \frac{1}{n^{2}} \left(\frac{1}{a} \right)^{2n} \int_{0}^{\pi} \cos^{2}(n \theta) \ d \theta \qquad (1) \\ &= 4 \pi \log^{2}|a| + 2 \pi \sum_{n=1}^{\infty} \frac{1}{n^{2}} \left( \frac{1}{a^{2}}\right)^{n} \\ &= 4 \pi \log^{2}|a| + 2 \pi \ \text{Li}_{2} \left(\frac{1}{a^{2}} \right) \end{align}$$

$(1)$ $\displaystyle \int_{0}^{\pi} \cos(k\theta) \cos(n \theta) \ d \theta = 0$ a menos $k=n$

Answer 5

Aquí es una idea que he recibido de un amigo.

El uso de $\displaystyle 1/2\int_{0}^{2\pi}\left[\log(a-e^{ix})+\log(a-e^{-ix})\right]^{2}dx$

A continuación, utilice Gauss del Valor medio Teorema: $\displaystyle 2\pi f(a)=\int_{0}^{2\pi}f(a-e^{\pm ix})dx$ con

$f(z)=\log^{2}(z)$.

Esto significa que $\displaystyle 1/2\int_{0}^{2\pi}\log(a-e^{ix})dx+1/2\int_{0}^{2\pi}\log(a-e^{-ix})dx=2\pi \log^{2}(a)$

La única cosa a valorar es $\displaystyle \int_{0}^{2\pi}\log(a-e^{ix})\log(a-e^{-ix})dx...(1)$

Esto puede hacerse mediante la factorización de una 'a' dentro de los paréntesis y escribir como una suma de registro de los dos términos.

$$\left(\log(a)+\log(1-1/ae^{ix})\right)\left(\log(a)+\log(1-1/ae^{-ix})\right)$$

Pero tenga en cuenta que, debido a Gauss MVT, $\displaystyle \int_{0}^{2\pi}\log^{2}(1-1/ae^{\pm ix})dx=\int_{0}^{2\pi}\log(1-1/ae^{\pm ix})dx=0$

Ampliar y utilizar la serie de $\log(1-z)$ a crear un doble de la suma que se puede escribir como una suma través de Parseval.

$$\sum_{n=1}^{\infty}\frac{e^{ixn}}{na^{n}}\sum_{k=1}^{\infty}\frac{e^{-kix}}{ka^{k}}$$

$$\sum_{n=1}^{\infty}\sum_{k=1}^{\infty}\frac{1}{nka^{k+n}}\int_{0}^{2\pi}e^{i(n-k)x}dx$$

$$2\pi\sum_{n=1}^{\infty}\frac{1}{n^{2}a^{2n}}$$

Nota cómo se cae en su lugar con bastante facilidad porque el resultado integral se evalúa a $\displaystyle \lim_{k\to n}\int_{0}^{2\pi}e^{i(n-k)x}dx=2\pi$

Se obtiene $$2\pi \sum_{n=1}^{\infty}\frac{1}{n^{2}a^{2n}}=2\pi Li_{2}(1/a^{2})$$, which is added to the $2\pi \log^{2}(a)$ de arriba y otra que se obtiene en la expansión de (1)