Анализируйте подходы к вычислению интеграла int_0^1 ln(1 + x)/x dx: какие методы применять (разложение в ряд, интегрирование по параметру, часть) и какие тонкости при перепорядочивании сумм и интегралов
Кратко — три удобных подхода, как считать I=∫01ln(1+x)x dx,
I=\int_0^1\frac{\ln(1+x)}{x}\,dx, I=∫01xln(1+x)dx,
и важные тонкости при перепорядочивании сумм/интегралов. 1) Разложение в ряд (наиболее прямой) - Для ∣x∣<1|x|<1∣x∣<1 имеем ln(1+x)=∑n=1∞(−1)n+1xnn,
\ln(1+x)=\sum_{n=1}^\infty(-1)^{n+1}\frac{x^n}{n}, ln(1+x)=n=1∑∞(−1)n+1nxn,
следовательно ln(1+x)x=∑n=1∞(−1)n+1xn−1n.
\frac{\ln(1+x)}{x}=\sum_{n=1}^\infty(-1)^{n+1}\frac{x^{n-1}}{n}. xln(1+x)=n=1∑∞(−1)n+1nxn−1.
- Интегрируем по x от 0 до 1 и меняем сумму с интегралом. Обоснование: по Tonelli/Fubini ∑n=1∞∫01∣xn−1n∣dx=∑n=1∞1n2<∞,
\sum_{n=1}^\infty\int_0^1\left|\frac{x^{n-1}}{n}\right|dx=\sum_{n=1}^\infty\frac{1}{n^2}<\infty, n=1∑∞∫01nxn−1dx=n=1∑∞n21<∞,
поэтому можно переставлять. Получаем I=∑n=1∞(−1)n+11n2=η(2)=π212.
I=\sum_{n=1}^\infty(-1)^{n+1}\frac{1}{n^2}=\eta(2)=\frac{\pi^2}{12}. I=n=1∑∞(−1)n+1n21=η(2)=12π2. 2) Интегрирование по параметру / двойной интеграл - Представьте ln(1+x)=∫0xdt1+t\ln(1+x)=\int_0^x\frac{dt}{1+t}ln(1+x)=∫0x1+tdt. Тогда I=∫011x∫0xdt1+t dx.
I=\int_0^1\frac{1}{x}\int_0^x\frac{dt}{1+t}\,dx. I=∫01x1∫0x1+tdtdx.
Переставляя интегралы (Fubini; показатель интегрируемости очевиден), получаем I=∫01−lnt1+t dt.
I=\int_0^1\frac{-\ln t}{1+t}\,dt. I=∫011+t−lntdt.
Далее раскладываем 11+t=∑n≥0(−1)ntn\frac{1}{1+t}=\sum_{n\ge0}(-1)^n t^n1+t1=∑n≥0(−1)ntn для t∈[0,1)t\in[0,1)t∈[0,1) и снова меняем сумму и интеграл; обоснование: ∫01tn∣lnt∣ dt=1(n+1)2\int_0^1 t^n|\ln t|\,dt=\frac{1}{(n+1)^2}∫01tn∣lnt∣dt=(n+1)21 и ∑1(n+1)2<∞\sum\frac{1}{(n+1)^2}<\infty∑(n+1)21<∞. В итоге тот же ряд и та же сумма π2/12\pi^2/12π2/12. 3) Интегрирование по частям (полезно для переписать) - Пусть u=ln(1+x), dv=dx/xu=\ln(1+x),\;dv=dx/xu=ln(1+x),dv=dx/x. Тогда I=[ln(1+x)lnx]01−∫01lnx1+x dx.
I=\Big[\ln(1+x)\ln x\Big]_0^1-\int_0^1\frac{\ln x}{1+x}\,dx. I=[ln(1+x)lnx]01−∫011+xlnxdx.
Граничный вклад при x→0x\to0x→0 равен 0 (так как ln(1+x)∼x\ln(1+x)\sim xln(1+x)∼x и xlnx→0x\ln x\to0xlnx→0), при x=1x=1x=1 тоже 0, следовательно I=−∫01lnx1+x dx,
I=-\int_0^1\frac{\ln x}{1+x}\,dx, I=−∫011+xlnxdx,
что совпадает с предыдущим представлением и дальше оценивается как в п.2. Доп. замечания - На концах отрезка: ряд для ln(1+x)\ln(1+x)ln(1+x) сходится равномерно на каждом [0,r][0,r][0,r] с r<1r<1r<1, но при x=1x=1x=1 сходится лишь условно. Поэтому при непосредственном подставлении x=1x=1x=1 нужно обосновать перестановку суммы и интеграла (см. выше — Tonelli/Fubini по интегралам модулей или оценка ∫01tn∣lnt∣ dt\int_0^1 t^n|\ln t|\,dt∫01tn∣lnt∣dt). - Связь с дилогарифмом: I=∑n=1∞(−1)n+11n2=−Li2(−1)=π212.\displaystyle I=\sum_{n=1}^\infty(-1)^{n+1}\frac{1}{n^2}=-\operatorname{Li}_2(-1)=\frac{\pi^2}{12}.I=n=1∑∞(−1)n+1n21=−Li2(−1)=12π2. Итог: ∫01ln(1+x)x dx=π212.
\int_0^1\frac{\ln(1+x)}{x}\,dx=\frac{\pi^2}{12}. ∫01xln(1+x)dx=12π2.
I=∫01ln(1+x)x dx, I=\int_0^1\frac{\ln(1+x)}{x}\,dx,
I=∫01 xln(1+x) dx, и важные тонкости при перепорядочивании сумм/интегралов.
1) Разложение в ряд (наиболее прямой)
- Для ∣x∣<1|x|<1∣x∣<1 имеем
ln(1+x)=∑n=1∞(−1)n+1xnn, \ln(1+x)=\sum_{n=1}^\infty(-1)^{n+1}\frac{x^n}{n},
ln(1+x)=n=1∑∞ (−1)n+1nxn , следовательно
ln(1+x)x=∑n=1∞(−1)n+1xn−1n. \frac{\ln(1+x)}{x}=\sum_{n=1}^\infty(-1)^{n+1}\frac{x^{n-1}}{n}.
xln(1+x) =n=1∑∞ (−1)n+1nxn−1 . - Интегрируем по x от 0 до 1 и меняем сумму с интегралом. Обоснование: по Tonelli/Fubini
∑n=1∞∫01∣xn−1n∣dx=∑n=1∞1n2<∞, \sum_{n=1}^\infty\int_0^1\left|\frac{x^{n-1}}{n}\right|dx=\sum_{n=1}^\infty\frac{1}{n^2}<\infty,
n=1∑∞ ∫01 nxn−1 dx=n=1∑∞ n21 <∞, поэтому можно переставлять. Получаем
I=∑n=1∞(−1)n+11n2=η(2)=π212. I=\sum_{n=1}^\infty(-1)^{n+1}\frac{1}{n^2}=\eta(2)=\frac{\pi^2}{12}.
I=n=1∑∞ (−1)n+1n21 =η(2)=12π2 .
2) Интегрирование по параметру / двойной интеграл
- Представьте ln(1+x)=∫0xdt1+t\ln(1+x)=\int_0^x\frac{dt}{1+t}ln(1+x)=∫0x 1+tdt . Тогда
I=∫011x∫0xdt1+t dx. I=\int_0^1\frac{1}{x}\int_0^x\frac{dt}{1+t}\,dx.
I=∫01 x1 ∫0x 1+tdt dx. Переставляя интегралы (Fubini; показатель интегрируемости очевиден), получаем
I=∫01−lnt1+t dt. I=\int_0^1\frac{-\ln t}{1+t}\,dt.
I=∫01 1+t−lnt dt. Далее раскладываем 11+t=∑n≥0(−1)ntn\frac{1}{1+t}=\sum_{n\ge0}(-1)^n t^n1+t1 =∑n≥0 (−1)ntn для t∈[0,1)t\in[0,1)t∈[0,1) и снова меняем сумму и интеграл; обоснование: ∫01tn∣lnt∣ dt=1(n+1)2\int_0^1 t^n|\ln t|\,dt=\frac{1}{(n+1)^2}∫01 tn∣lnt∣dt=(n+1)21 и ∑1(n+1)2<∞\sum\frac{1}{(n+1)^2}<\infty∑(n+1)21 <∞. В итоге тот же ряд и та же сумма π2/12\pi^2/12π2/12.
3) Интегрирование по частям (полезно для переписать)
- Пусть u=ln(1+x), dv=dx/xu=\ln(1+x),\;dv=dx/xu=ln(1+x),dv=dx/x. Тогда
I=[ln(1+x)lnx]01−∫01lnx1+x dx. I=\Big[\ln(1+x)\ln x\Big]_0^1-\int_0^1\frac{\ln x}{1+x}\,dx.
I=[ln(1+x)lnx]01 −∫01 1+xlnx dx. Граничный вклад при x→0x\to0x→0 равен 0 (так как ln(1+x)∼x\ln(1+x)\sim xln(1+x)∼x и xlnx→0x\ln x\to0xlnx→0), при x=1x=1x=1 тоже 0, следовательно
I=−∫01lnx1+x dx, I=-\int_0^1\frac{\ln x}{1+x}\,dx,
I=−∫01 1+xlnx dx, что совпадает с предыдущим представлением и дальше оценивается как в п.2.
Доп. замечания
- На концах отрезка: ряд для ln(1+x)\ln(1+x)ln(1+x) сходится равномерно на каждом [0,r][0,r][0,r] с r<1r<1r<1, но при x=1x=1x=1 сходится лишь условно. Поэтому при непосредственном подставлении x=1x=1x=1 нужно обосновать перестановку суммы и интеграла (см. выше — Tonelli/Fubini по интегралам модулей или оценка ∫01tn∣lnt∣ dt\int_0^1 t^n|\ln t|\,dt∫01 tn∣lnt∣dt).
- Связь с дилогарифмом: I=∑n=1∞(−1)n+11n2=−Li2(−1)=π212.\displaystyle I=\sum_{n=1}^\infty(-1)^{n+1}\frac{1}{n^2}=-\operatorname{Li}_2(-1)=\frac{\pi^2}{12}.I=n=1∑∞ (−1)n+1n21 =−Li2 (−1)=12π2 .
Итог:
∫01ln(1+x)x dx=π212. \int_0^1\frac{\ln(1+x)}{x}\,dx=\frac{\pi^2}{12}.
∫01 xln(1+x) dx=12π2 .