Mostrar que %#% $ #%
No tengo ni idea como empezar, pero tal vez podría utilizar el Polylogarithm.
Respuestas
¿Demasiados anuncios?
Esta es una de las más difíciles integral de lo que parece. Vamos a definir
$$J(a) = \int_{-\pi}^{\pi} dx \frac{e^{i a x}}{\sqrt{5}-2 \cos{x}}$$
Entonces la integral que buscamos es
$$-\frac12 J''(0) = \int_0^{\pi} dx \frac{x^2}{\sqrt{5}-2 \cos{x}}$$
Para evaluar $J(a)$, considere la siguiente integral de contorno en el plano complejo:
$$\oint_C dz \frac{z^a}{z^2-\sqrt{5} z+1}$$
donde $C$ es un "ojo de la cerradura" círculo unidad, con el ojo de la cerradura está sobre el eje real negativo, como se muestra a continuación.
Por el teorema de los residuos, este contorno de la integral es igual a
$$-i 2 \pi \phi^a$$
donde $\phi = (\sqrt{5}-1)/2$ es la proporción áurea. Por otro lado, la integral es también igual a la
$$-i J(a) + i 2 \sin{\pi a} \, \int_0^1 dx \frac{x^a}{x^2+\sqrt{5} x+1}$$
Tenga en cuenta que la porción de la integral que va sobre el centro va a cero. Por lo tanto, tenemos
$$J(a) = 2 \pi \phi^a + 2 \sin{\pi a} \, \int_0^1 dx \frac{x^a}{x^2+\sqrt{5} x+1}$$
Con algunos más rápido el trabajo, la integral que buscamos es entonces
$$-\frac12 J''(0) = -\pi \log^2{\phi} - 2 \pi \int_0^1 dx \frac{\log{x}}{x^2+\sqrt{5} x+1} $$
Utilizando el hecho de que
$$\frac{1}{x^2+\sqrt{5} x+1} = \frac{1}{x+\phi}-\frac{1}{x+1/\phi}$$
$$\int_0^1 dx \frac{\log{x}}{x+a} = \text{Li}_2{\left ( -\frac{1}{a}\right)}$$
$$\text{Li}_2{\left ( -\frac{1}{\phi}\right)} = -\frac{\pi^2}{10} - \log^2{\phi}$$
$$\text{Li}_2{\left ( -\phi\right)} = -\frac{\pi^2}{15} +\frac12 \log^2{\phi}$$
Finalmente tenemos
$$-\frac12 J''(0) = -\pi \log^2{\phi} - 2 \pi \left [\left ( -\frac{\pi^2}{10} - \log^2{\phi} \right ) - \left ( -\frac{\pi^2}{15} +\frac12 \log^2{\phi} \right ) \right ]$$
o
$$ \int_0^{\pi} dx \frac{x^2}{\sqrt{5}-2 \cos{x}} = 2 \pi \log^2{\phi} + \frac{\pi^3}{15}$$
como iba a ser mostrado.
Thierry Lam
Puntos
1079
Usando la identidad $$ \sum_{k=0}^{\infty} a^{k} \cos(kx) = \frac{1- a \cos x}{1-2a \cos x + a^{2}} \ \ ( |a| <1) ,$ $
uno encuentra que $$ 1 + 2 \sum_{k=1}^{\infty} a^{k} \cos(kx) = \frac{1-a^{2}}{1-2a \cos x +a^{2}}.$ $
Por lo tanto
$$ \begin{align} \int_{0}^{\pi} \frac{x^{2}}{1-2a \cos x+a^{2}} \ dx &= \frac{1}{1-a^{2}} \Big( \int_{0}^{\pi} x^{2} \ dx + 2 \int_{0}^{\pi}x^{2} \sum_{k=1}^{\pi} a^{k} \cos (kx) \ dx \Big) \\ &= \frac{1}{1-a^{2}} \Big(\frac{\pi^{3}}{3} + 2 \sum_{k=1}^{\infty} a^{k} \int_{0}^{\pi} x^{2} \cos(kx) \ dx \Big) \\ &=\frac{1}{1-a^{2}} \Big( \frac{\pi^{3}}{3} + 2 \sum_{k=1}^{\infty}a^{k} \frac{2 \pi (-1)^{k}}{k^{2}} \Big) \\ &= \frac{1}{1-a^{2}} \Big( \frac{\pi^{3}}{3} +4 \pi \sum_{k=1}^{\infty}\frac{(-a)^{k}}{k^{2}} \Big) \\ &= \frac{1}{1-a^{2}} \Big(\frac{\pi^{3}}{3} + 4 \pi \ \text{Li}_{2}(-a) \Big) . \end{align}$$
Ahora expresar la integral como %#% $ #%
y $$ \frac{1}{1+a^{2}} \int_{0}^{\pi} \frac{x^{2}}{1- \frac{2a}{1+a^{2}} \cos x} \ dx$ $ \displaystyle a = \frac{1}{\varphi}$ Dónde está la proporción áurea.
Entonces tenemos %#% $ #%
que implica %#% $ #%
Felix Marin
Puntos
32763
$\newcommand{\+}{^{\daga}} \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{\down}{\downarrow} \newcommand{\ds}[1]{\displaystyle{#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{\isdiv}{\,\left.\a la derecha\vert\,} \newcommand{\cy}[1]{\left\vert #1\right\rangle} \newcommand{\ol}[1]{\overline{#1}} \newcommand{\pars}[1]{\left( #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} \newcommand{\wt}[1]{\widetilde{#1}}$ $\ds{\color{#c00000}{\int_{0}^{\pi}{x^{2} \\sqrt 5 - 2\cos\pars{x}}\,\dd x} ={\pi^{3} \más de 15} + 2\pi\,\ln^{2}\pars{1 + \sqrt 5 \over 2}:\ {\large ?}}$
$$ \color{#c00000}{\int_{0}^{\pi}{x^{2} \\sqrt 5 - 2\cos\pars{x}}\,\dd x} =\media\int_{-\pi}^{\pi}{x^{2} \over 2\varphi - 1 - 2\cos\pars{x}}\,\dd x\etiqueta{1} $$ donde $\ds{\varphi \equiv {1 + \root{5} \over 2} \approx 1.6180}$ es la Proporción Áurea.
\begin{align} &\color{#c00000}{\int_{0}^{\pi}{x^{2} \over \sqrt 5 - 2\cos\pars{x}}\,\dd x} =\half \int_{\verts{z}\ =\ 1 \atop {\vphantom{\Huge A}\verts{{\rm Arg}\pars{z}}\ <\ \pi}} {-\ln^{2}\pars{z} \over 2\varphi - 1 -2\,\pars{z^{2} + 1}/\pars{2z}} \,{\dd z \over \ic z} \\[3mm]&=-\,\half\,\ic \int_{\verts{z}\ =\ 1 \atop {\vphantom{\Huge A}\verts{{\rm Arg}\pars{z}}\ <\ \pi}} {\ln^{2}\pars{z} \over z^{2} - \pars{2\varphi - 1}z + 1} \,\dd z\tag{2} \end{align} Ceros $\ds{z_{\pm}}$ $\ds{z^{2} - \pars{2\varphi - 1}z + 1 = 0}$ están dados por: $$ z_{+} = \varphi > 1\,;\qquad\qquad z_{-} = {1 \over \varphi}\,,\quad 0 < z_{-} < 1 $$
La expresión de $\pars{2}$ se reduce a: \begin{align} &\color{#c00000}{\int_{0}^{\pi}{x^{2} \over \sqrt 5 - 2\cos\pars{x}}\,\dd x} =-\,\half\,\ic\braces{2\pi\ic\lim_{z \to z_{-}}\bracks{% {\pars{z - z_{-}}\ln^{2}\pars{z} \over z^{2} - \pars{2\varphi - 1}z + 1}}} \\[3mm]&\mbox{}+ \half\,\ic\int_{-1}^{0} {\bracks{\ln\pars{-x} + \ic\pi}^{2} \over x^{2} - \pars{2\varphi - 1}x + 1}\,\dd x + \half\,\ic\int_{0}^{-1} {\bracks{\ln\pars{-x} - \ic\pi}^{2} \over x^{2} - \pars{2\varphi - 1}x + 1}\,\dd x \\[3mm]&=\pi\,{\ln^{2}\pars{1/\varphi} \over 2\pars{1/\varphi} - \pars{2\varphi - 1}} + \half\,\ic\int_{0}^{-1} {-4\pi\ic\ln\pars{-x} \over x^{2} - \pars{2\varphi - 1}x + 1}\,\dd x\tag{3} \end{align}
Desde $\ds{2\,{1 \over \varphi} - \pars{2\varphi - 1} = -1}$, la expresión $\pars{3}$ se convierte en: \begin{align} &\color{#c00000}{\int_{0}^{\pi}{x^{2} \over \sqrt 5 - 2\cos\pars{x}}\,\dd x} =-\pi\ln^{2}\pars{\varphi} -2\pi\int_{0}^{1}{\ln\pars{x} \over x^{2} + \pars{2\varphi - 1}x + 1}\,\dd x \tag{4} \end{align} Las raíces de $\ds{x^{2} + \pars{2\varphi - 1}x + 1 = 0}$ $\ds{-\varphi}$ y $\ds{-\,{1 \over \varphi}}$ tal que $\pars{4}$ se escribe como:
\begin{align} &\color{#c00000}{\int_{0}^{\pi}{x^{2} \over \sqrt 5 - 2\cos\pars{x}}\,\dd x} \\[3mm]&=-\pi\ln^{2}\pars{\varphi} - 2\pi\int_{0}^{1}\ln\pars{x}\bracks{% \pars{{1 \over x + \varphi} - {1 \over x + 1/\varphi}}\ \overbrace{\pars{{1 \over \varphi} - \varphi}^{-1}}^{\ds{=\ -1}}}\,\dd x \\[3mm]&=-\pi\ln^{2}\pars{\varphi} + 2\pi\bracks{% \int_{0}^{1}{\ln\pars{x} \over \varphi + x}\,\dd x -\int_{0}^{1}{\ln\pars{x} \over 1/\varphi + x}\,\dd x}\tag{5} \end{align}
Con $\ds{a > 0}$: \begin{align} \int_{0}^{1}{\ln\pars{x} \over a + x}\,\dd x&= -\int_{0}^{1}{\ln\pars{-a\bracks{-x/a}} \over 1 - \pars{-x/a}}\, \pars{-\,{\dd x \over a}} =-\int_{0}^{-1/a}{\ln\pars{-ax} \over 1 - x}\,\dd x \\[3mm]&=\left.\vphantom{\LARGE A} \ln\pars{1 - x}\ln\pars{-ax}\,\right\vert_{\,x\ =\ 0}^{\,x\ =\ -1/a} -\int_{0}^{-1/a}\ln\pars{1 - x}\,{-a \over -ax}\,\dd x \\[3mm]&=\int_{0}^{-1/a}{-\ln\pars{1 - x} \over x}\,\dd x =\int_{0}^{-1/a}{{\rm Li}_{1}\pars{x} \over x}\,\dd x\tag{6} \end{align} donde $\ds{{\rm Li}_{s}\pars{z}}$ es la Polylogarithm Función que satisface la relación de recurrencia $${\rm Li}_{s + 1}\pars{z} = \int_{0}^{z}{{\rm Li}_{s}\pars{t} \over t}\,\dd t\qquad\mbox{y} \qquad -\ln\pars{1 - z} = {\rm Li}_{1}\pars{z} $$ $$ \mbox{Expresión}\ \pars{6}\ \mbox{convierte}\quad \begin{array}{|c|}\hline\\ \quad\int_{0}^{1}{\ln\pars{x} \over x + a}\,\dd x ={\rm Li}_{2}\pars{-\,{1 \over a}}\quad \\ \\ \hline \end{array} \,,\qquad\qquad{\rm Li}_{2}\pars{0} = 0 $$ tal que $\ds{\pars{~\mbox{see expression}\ \pars{5}~}}$ $$ \int_{0}^{1}{\ln\pars{x} \over x + \varphi}\,\dd x -\int_{0}^{1}{\ln\pars{x} \over x + 1/\varphi}\,\dd x ={\rm Li}_{2}\pars{-\,{1 \over \varphi}} -{\rm Li}_{2}\pars{-\varphi} $$
La expresión de $\pars{5}$ se reduce a: $$ \color{#c00000}{\int_{0}^{\pi}{x^{2} \\sqrt 5 - 2\cos\pars{x}}\,\dd x} =-\pi\ln^{2}\pars{\varphi} + 2\pi\bracks{% {\rm Li}_{2}\pars{-\,{1 \over \varphi}} - {\rm Li}_{2}\pars{-\varphi}}\etiqueta{7} $$ Con las identidades \begin{align}&\left.\begin{array}{rcl} {\rm L_{i}}_{2}\pars{-\,{1 \over \varphi}} & = & -\,{\pi^{2} \over 15} + \half\,\ln^{2}\pars{\varphi} \\[1mm] {\rm L_{i}}_{2}\pars{-\varphi} & = & -\,{\pi^{2} \over 10} - \ln^{2}\pars{\varphi} \\[5mm] \mbox{we find}\quad {\rm Li}_{2}\pars{-\,{1 \over \varphi}} - {\rm Li}_{2}\pars{-\varphi} & = & {\pi^{2} \over 30} + {3 \over 2}\,\ln^{2}\pars{\varphi} \end{array}\right\rbrace \end{align}
el resultado final es dado por: $$ \color{#00f}{\large\int_{0}^{\pi}{x^{2} \\sqrt 5 - 2\cos\pars{x}}\,\dd x} ={\pi^{3} \más de 15} + 2\pi^{2}\ln\pars{\varphi} =\color{#00f}{\large{\pi^{3} \más de 15} + 2\pi\ln^{2}\pars{\raíz{5} + 1 \over 2}} $$
