14 votos

Demostrando $\int_{0}^1\frac{x-1}{\log x}dx=\log 2$ $\int_{0}^1\frac{\log x}{x-1}dx=\frac{\pi^2}{6}$

Me gustaría saber cómo probar las dos siguientes integrales definidas.

R: $$\int_{0}^1\frac{x-1}{\log x}dx=\log 2$$

B:$$\int_{0}^1\frac{\log x}{x-1}dx=\frac{\pi^2}{6}$$

He encontrado estos dos mediante el uso de wolfram-alpha, pero no puedo demostrarlo. Tengo la sospecha de que las siguientes relaciones pueden ser utilizadas.

$$\log 2=1-\frac{1}{2}+\frac{1}{3}-\frac{1}{4}+\cdots=\sum_{n=1}^\infty\frac{(-1)^{n-1}}{n}$$and$$\frac{\pi^2}{6}=\frac{1}{1^2}+\frac{1}{2^2}+\frac{1}{3^2}+\frac{1}{4^2}+\cdots=\sum_{n=1}^\infty\frac{1}{n^2}$$

Necesito de su ayuda.

15voto

Pedro Tamaroff Puntos 73748

Considere la posibilidad de $$f(p)= \int_0^1\frac{x^p-1}{\log x}dx$$

A continuación, $$f'(p)=\int_0^1x^pdx=\frac{1}{p+1}$$

Luego de integrar.

Por el otro, el uso que $$\int_0^1x^{n}\log x=-\frac{1}{(n+1)^2}$$

y que $$\frac{1}{1-x}=\sum_{n\geqslant 1}x^n$$

6voto

imtheman Puntos 2216

Para Un

Considere el siguiente

$$I(a)=\int^1_0 \frac{x^a-1}{\log(x)}\, dx$$

Diferenciar w.r.t a $a$ para obtener

$$I'(a)=\int^1_0 x^a dx=\frac{1}{a+1}$$

Por lo tanto

$$I(a) = \log(a+1)+C$$

Por $a=0$ tenemos $C=0$ por lo tanto

$$I(a) = \log(a+1)$$

Por lo tanto $$I(1) = \int^1_0 \frac{x-1}{\log(x)}\, dx = \log(2)$$

Para la parte B

Sabemos que

$$\int^1_0 \frac{\log(x)}{x-1}\, dx=-\int^1_0 \frac{\log(1-x)}{x}\, dx=\operatorname{Li}_2(1)=\zeta(2)$$

Esto puede ser demostrado a través de la expansión de la energía

$$-\int^1_0 \frac{\log(1-x)}{x}=\sum_{k\geq 1}\frac{1}{k^2}=\zeta(2)$$

4voto

Felix Marin Puntos 32763

\begin{eqnarray*} \int_{0}^{1}{x - 1 \over \ln\left(x\right)}\,{\rm d}x & = & \int_{0}^{\infty}{{\rm e}^{-x} - {\rm e}^{-2x} \over x}\,{\rm d}x = -\int_{0}^{\infty}\ln\left(x\right)\,\left(-{\rm e}^{-x} + 2{\rm e}^{-2x}\right)\,{\rm d}x \\ & = & \int_{0}^{\infty}\ln\left(x\right)\,{\rm e}^{-x}\,{\rm d}x - \int_{0}^{\infty}\ln\left(x \over 2\right)\,{\rm e}^{-x}\,{\rm d}x = \ln\left(2\right)\ \overbrace{\quad\int_{0}^{\infty}{\rm e}^{-x}\quad}^{1} = \ln\left(2\right) \\[1cm] &&\mbox{Or/and try this} \\ I\left(\mu\right) & \equiv & \int_{0}^{1}{x^{\mu} - 1 \over \ln\left(x\right)}\,{\rm d}x\,, \quad I'\left(\mu\right) = \int_{0}^{1}{x^{\mu}\ln\left(x\right) \over \ln\left(x\right)}\,{\rm d}x \\ I'\left(\mu\right) & = & \left.{x^{\mu + 1} \over \mu + 1}\right\vert_{0}^{1} = {1 \over \mu + 1} \quad\Longrightarrow\quad I\left(1\right) - I\left(0\right) = \int_{0}^{1}{{\rm d}\mu \over \mu + 1} = \ln\left(2\right) \end{eqnarray*}

\begin{eqnarray*} &&\\[1cm] \int_{0}^{1}{\ln\left(x\right) \over x - 1}\,{\rm d}x & = & \int_{0}^{\infty}x{\rm e}^{-x}\,{1 \over 1 - {\rm e}^{-x}}\,{\rm d}x = \int_{0}^{\infty}x{\rm e}^{-x}\,\sum_{n = 0}^{\infty}{\rm e}^{-nx}\,{\rm d}x = \sum_{n = 0}^{\infty} \int_{0}^{\infty}x\,{\rm e}^{-\left(n + 1\right)x}\,{\rm d}x \\ & = & \sum_{n = 0}^{\infty}{1 \over \left(n + 1\right)^{2}}\ \overbrace{\quad\int_{0}^{\infty}x\,{\rm e}^{-x}\,{\rm d}x\quad}^{1} = \sum_{n = 0}^{\infty}{1 \over \left(n + 1\right)^{2}} \\ & = & {\pi^{2} \over 6}\,,\quad\mbox{( Basel Problem )} \end{eqnarray*}

http://en.wikipedia.org/wiki/Basel_problem. Vea también: http://empslocal.ex.ac.uk/people/staff/rjchapma/etc/zeta2.pdf

1voto

Derick Bailey Puntos 37859

En lo que sigue, vamos a utilizar la serie de Taylor de expansión para el logaritmo natural: $$\quad\ln(1-x)\ =\ -\sum_{n=1}^\infty\frac{x^n}n\quad,\quad|x|\leqslant1,$$ coupled with the fact that the integral of a sum is the sum of integrals. $$\int_0^1\frac{\ln x}{x-1}dx\ =\ -\int_0^1\frac{\ln(1-x)}xdx\ =\ +\int_0^1\frac1x\cdot\sum_{n=1}^\infty\frac{x^n}ndx\ =\ \sum_{n=1}^\infty\int_0^1\frac{x^{n-1}}ndx=$$ $$=\ \sum_{n=1}^\infty\frac{x^n}{n^2}\Bigg|_{\ 0}^{\ 1}\ =\ \sum_{n=1}^\infty\frac1{n^2}\ =\ \zeta(2)\ =\ \frac{\pi^2}6.$$ As to why the sum in question equals $\frac{\pi^2}6$ , ver Basilea problema.

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