34 votos

$\int_0^\pi\frac{3\cos x+\sqrt{8+\cos^2 x}}{\sin x}x\ \mathrm dx$

Por favor me ayude a resolver esta integral: $$\int_0^\pi\frac{3\cos x+\sqrt{8+\cos^2 x}}{\sin x}x\ \mathrm dx.$$

Me las arreglé para calcular una integral indefinida de la parte izquierda: $$\int\frac{\cos x}{\sin x}x\ \mathrm dx=\ x\log(2\sin x)+\frac{1}{2} \Im\ \text{Li}_2(e^{2\ x\ i}),$$ donde $\Im\ \text{Li}_2(z)$ denota la parte imaginaria de la dilogarithm. El correspondiente de la integral definida, $$\int_0^\pi\frac{\cos x}{\sin x}x\ \mathrm dx$$ diverge. Así, parece que en el original de la integral sumandos compensar a cada una de las otras singularidades para evitar la divergencia.

He intentado una integración numérica y parece plausible que $$\int_0^\pi\frac{3\cos x+\sqrt{8+\cos^2 x}}{\sin x}x\ \mathrm dx\stackrel{?}{=}\pi \log 54,$$ pero no tengo idea de cómo demostrarlo.

14voto

user26872 Puntos 11194

Aquí es una manera de ir.

En primer lugar, tenga en cuenta que $$\begin{eqnarray*} \int_0^\pi\frac{3\cos x+\sqrt{8+\cos^2 x}}{\sin x}x\ \mathrm dx &=& \int_0^\pi\frac{3x(1+\cos x)}{\sin x} \mathrm dx +\int_0^\pi\frac{3x}{\sin x} \left(-1+\sqrt{1-\frac{\sin^2x}{9}}\right)\ \mathrm dx. \end{eqnarray*}$$ Por ahora voy simplemente afirman que \begin{ecuación*} \int_0^\pi\frac{3x(1+\cos x)}{\sin x} \mathrm dx = \pi\log 64.\la etiqueta{1} \end{ecuación*} (Me sorprendería si esta integral no se ha manejado en algún lugar en este sitio.) Pero $$\begin{eqnarray*} \int_0^\pi\frac{3x}{\sin x} \left(-1+\sqrt{1-\frac{\sin^2x}{9}}\right)\ \mathrm dx &=& \int_0^\pi\frac{3x}{\sin x} \sum_{k=1}^\infty {1/2\elegir k} \frac{(-1)^k}{3^{2k}} \sin^{2k}x \ \mathrm dx \\ &=& \sum_{k=1}^\infty {1/2\elegir k} \frac{(-1)^k}{3^{2k-1}} \int_0^\pi x \sin^{2k-1}x \ \mathrm dx \\ &=& \sum_{k=1}^\infty {1/2\elegir k} \frac{(-1)^k}{3^{2k-1}} \frac{\pi^{3/2}\Gamma(k)}{2\Gamma(k+1/2)} \\ &=& -\pi \sum_{k=1}^\infty \frac{1}{3^{2k-1}2k(2k-1)} \\ &=& -\pi \log \frac{32}{27}. \end{eqnarray*}$$ (La última suma se puede encontrar por métodos estándar. Esquemáticamente, $\sum \frac{a^{2k-1}}{2k(2k-1)} = \sum \int {\mathrm da} \frac{a^{2k-2}}{2k}$.) Por lo tanto, la integral es de $\pi \log 54$ como se reivindica.


La prueba de (1): Tenemos $$\begin{eqnarray*} \int_0^\pi \frac{3x(1+\cos x)}{\sin x} \ \mathrm dx &=& \int_{0^+}^\pi \frac{3x(1+\cos x)}{\sin x} \ \mathrm dx \\ &=& 3\int_{0^+}^\pi x \cuna\frac{x}{2} \ \mathrm dx \hspace{5ex}\textrm{(doble ángulo de fórmulas)} \\ &=& 12 \int_{0^+}^{\pi/2} t\cuna t \ \mathrm dt \hspace{5ex} (t = x/2) \\ &=& -12\int_{0^+}^{\pi/2} \log\sen t \ \mathrm dt \hspace{5ex}\textrm{(integrar por partes)} \\ &=& -6\int_{0^+}^{\pi/2} \log\sin^2 t \ \mathrm dt \\ &=& -6\int_{0^+}^{\pi/2} \log(1-\cos^2 t) \ \mathrm dt \\ &=& 6 \int_{0^+}^{\pi/2} \sum_{k=1}^\infty \frac{1}{k}\cos^{2k}t \ \mathrm dt \hspace{5ex}\textrm{(serie de registro)} \\ &=& 6\sum_{k=1}^\infty \frac{1}{k} \int_{0^+}^{\pi/2} \cos^{2k}t \ \mathrm dt \hspace{5ex} \textrm{(Tonelli del teorema)}\\ &=& 6\sum_{k=1}^\infty \frac{1}{k} \frac{\sqrt{\pi}\Gamma(k+1/2)}{2\Gamma(k+1)} \\ &=& 3\pi \sum_{k=1}^\infty {1/2 \elegir k}(-1)^{k+1}\frac{2k-1}{k} \\ &=& \pi \log 64. \end{eqnarray*}$$ Tenga en cuenta que $$\begin{eqnarray*} 6\pi \sum_{k=1}^\infty {1/2 \elegir k}(-1)^{k+1} &=& -6\pi \left[\sum_{k=0}^\infty {1/2 \elegir k}(-1)^{k} - 1\right] \\ &=& -6\pi[(1-1)^{1/2} - 1] \\ &=& 6\pi \end{eqnarray*}$$ y $$\begin{eqnarray*} -3\pi \sum_{k=1}^\infty {1/2 \elegir k}(-1)^{k+1} \frac{1}{k} &=& 3\pi \sum_{k=1}^\infty {1/2\elegir k}(-1)^k \int_0^1 x^{k-1} \ \mathrm dx \\ &=& 3\pi \int_0^1 \frac{1}{x} \left[ \sum_{k=0}^\infty {1/2\elegir k}(-1)^k x^{k} -1 \right] \ \mathrm dx \\ &=& 3\pi \int_0^1 \frac{1}{x} \left( \sqrt{1-x} -1 \right) \ \mathrm dx \\ &=& 3\pi(-2+\log 4) \\ &=& -6\pi + \pi\log 64. \end{eqnarray*}$$

11voto

Vladimir Reshetnikov Puntos 18017

Vamos $$ $ y=\frac{3\cos x+\sqrt{8+\cos^2 x}}{\sin x},$$ entonces, la solución de este con respecto a $x$, obtenemos $$x=\frac{\pi}{2}+\text{arccot}\frac{6y}{8-y^2}.$$ Así, $$\int_0^\pi\frac{3\cos x+\sqrt{8+\cos^2 x}}{\sin x}x\ \mathrm dx=\int_0^\infty\frac{6y(8+y^2)}{(4+y^2)(16+y^2)}\left(\frac{\pi}{2}+\text{arccot}\frac{6y}{8-y^2}\right)\mathrm dy.$$ La última integral se puede resolver por Mathematica y los rendimientos de $$\pi\log54.$$


Por supuesto, queremos demostrar que el resultado devuelto por Mathematica es correcta.

La siguiente declaración es seguramente cierto, que puede ser verificada directamente por tomar derivados de ambos lados: $$\int\frac{6y(8+y^2)}{(4+y^2)(16+y^2)}\left(\frac{\pi}{2}+\text{arccot}\frac{6y}{8-y^2}\right)\mathrm dy =\\ \frac{1}{2} \left(2 \text{Li}_2\left(\frac{iy}{8}+\frac{1}{2}\right)+\text{Li}_2\left(\frac{iy}{6}+\frac{1}{3}\right)+2\text{Li}_2\left(\frac{iy}{6}+\frac{2}{3}\right)+\text{Li}_2\left(\frac{iy}{4}+\frac{1}{2}\right)+\text{Li}_2\left(\frac{2i}{y-2 i}\right)-\text{Li}_2\left(-\frac{2}{y+2i}\right)-\text{Li}_2\left(-\frac{1}{6} i (y+2i)\right)-\text{Li}_2\left(-\frac{1}{4} yo (y+2i)\right)-2 \left(-\text{Li}_2\left(-\frac{2}{y-4 i}\right)+\text{Li}_2\left(\frac{2}{y+4i}\right)+\text{Li}_2\left(-\frac{1}{8} i (y+4i)\right)+\text{Li}_2\left(-\frac{1}{6} i (y+4i)\right)\right)\right)+\pi \left(\frac{1}{2}\log \left(3 \left(y^2+4\right)\right)+\log\left(\frac{3}{64}\left(y^2+16\right)\right)\right)+\log \left(4\left(y^2+4\right)\right) \arctan\left(\frac{y}{4}\right)-\left(\log576-2\log \left(y^2+16\right)\right) \arctan\left(\frac{4}{y}\right)+\log\left(y^2+4\right) \text{arccot}\left(\frac{6y}{8-y^2}\right)-\arctan\left(\frac{2}{y}\right)\log12 +\arctan\left(\frac{y}{2}\right)\log 2$$

La parte restante es para calcular $\lim\limits_{y\to0}$ y $\lim\limits_{y\to\infty}$ de esta expresión, que no he hecho manualmente, pero se ve como una tarea factible.

9voto

Philip Fourie Puntos 12889

Comienzan con $u$-sustitución de usar $$\begin{align} u & =x\\ dv & = \frac{3\cos(x)+\sqrt{8+\cos^2(x)}}{\sin(x)}\,dx\end{align}$$ de modo que $du=dx$, y mi CAS me dice (que supongo que podría ser verificada a través de la diferenciación y la identidad) que $$\begin{align} v & = \sinh^{-1}\left(\frac{\cos(x)}{\sqrt{8}}\right)+\frac{3}{2}\ln\left(\frac{3\sqrt{\cos^2(x)+8}-\cos(x)+8}{3\sqrt{\cos^2(x)+8}+\cos(x)+8}\right)+3\ln(1-\cos(x)) \end{align}$$

Ahora tenemos $$\begin{align} \left[x\left(\sinh^{-1}\left(\frac{\cos(x)}{\sqrt{8}}\right)+\frac{3}{2}\ln\left(\frac{3\sqrt{\cos^2(x)+8}-\cos(x)+8}{3\sqrt{\cos^2(x)+8}+\cos(x)+8}\right)+3\ln(1-\cos(x))\right)\right]_0^\pi\\ -\int_0^\pi\left(\sinh^{-1}\left(\frac{\cos(x)}{\sqrt{8}}\right)+\frac{3}{2}\ln\left(\frac{3\sqrt{\cos^2(x)+8}-\cos(x)+8}{3\sqrt{\cos^2(x)+8}+\cos(x)+8}\right)+3\ln(1-\cos(x))\right)dx \end{align}$$

y la mayoría de la parte integral puede evaluarse tomando ventaja de la simetría alrededor de $\pi/2$:

$$\begin{align} \left[x\left(\sinh^{-1}\left(\frac{\cos(x)}{\sqrt{8}}\right)+\frac{3}{2}\ln\left(\frac{3\sqrt{\cos^2(x)+8}-\cos(x)+8}{3\sqrt{\cos^2(x)+8}+\cos(x)+8}\right)+3\ln(1-\cos(x))\right)\right]_0^\pi\\ -3\int_0^\pi\ln(1-\cos(x))dx \end{align}$$

($\sinh^{-1}$ es impar y $\cos(x)$ ha extraña simetría alrededor de $\pi/2$. Para el logarítmica plazo, la entrada a $\ln()$ a $x$ es el recíproco de la entrada en $\pi/2-x$.)

Algunos de los no integral-parte puede ser limpiamente evaluado:

$$\begin{align} \pi\sinh^{-1}\left(\frac{-1}{\sqrt{8}}\right)+\frac{3\pi}{2}\ln\left(\frac{9}{8}\right)+\left[3x\ln(1-\cos(x))\right]_0^\pi\\ -3\int_0^\pi\ln(1-\cos(x))dx \end{align}$$

y ahora se mueve el "inmundo" parte de la espalda en un integrante de: $$\begin{align} \pi\sinh^{-1}\left(\frac{-1}{\sqrt{8}}\right)+\frac{3\pi}{2}\ln\left(\frac{9}{8}\right)+\int_0^\pi\left(3\ln(1-\cos(x))+\frac{3x\sin(x)}{1-\cos(x)}\right)\,dx\\ -3\int_0^\pi\ln(1-\cos(x))dx\\ =\pi\sinh^{-1}\left(\frac{-1}{\sqrt{8}}\right)+\frac{3\pi}{2}\ln\left(\frac{9}{8}\right)+\int_0^\pi\frac{3x\sin(x)}{1-\cos(x)}\,dx \end{align}$$

Mi CAS dice que esto es

$$\begin{align} \pi\sinh^{-1}\left(\frac{-1}{\sqrt{8}}\right)+\frac{3\pi}{2}\ln\left(\frac{9}{8}\right)+\pi\ln(64) \end{align}$$

que es la única cosa que el CAS no es que yo no acababa de conseguir. Pero no es nada especial acerca de los extremos: incluso WA puede dar una antiderivada si podemos usar el dilogarithm. Parece una integral que incluso podría aparecer en algún lugar en este sitio. Una conversión de la arcsinh y el logaritmo de las reglas de los rendimientos

$$\begin{align} \pi\ln(2^{-\frac{1}{2}})+\pi\ln\left(\frac{27}{8^{3/2}}\right)+\pi\ln(64)=\pi\ln(54) \end{align}$$

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X