Ответ: ∫01ln(1+x)x dx=π212≈0.822466\displaystyle \int_0^1\frac{\ln(1+x)}{x}\,dx=\frac{\pi^2}{12}\approx0.822466∫01xln(1+x)dx=12π2≈0.822466. Два способа решения. 1) Рядовое разложение (термпо-терму интегрирование). Для ∣x∣<1|x|<1∣x∣<1ln(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.
Делим на xxx и интегрируем по x∈(0,1)x\in(0,1)x∈(0,1) терм-по-терму (абелево продление/условия сходимости позволяют это сделать): ∫01ln(1+x)x dx=∑n=1∞(−1)n+11n∫01xn−1 dx=∑n=1∞(−1)n+11n2.
\int_0^1\frac{\ln(1+x)}{x}\,dx=\sum_{n=1}^{\infty}(-1)^{n+1}\frac{1}{n}\int_0^1 x^{n-1}\,dx =\sum_{n=1}^{\infty}(-1)^{n+1}\frac{1}{n^2}. ∫01xln(1+x)dx=n=1∑∞(−1)n+1n1∫01xn−1dx=n=1∑∞(−1)n+1n21.
Известная сумма даёт ∑n=1∞(−1)n+11n2=π212.
\sum_{n=1}^{\infty}(-1)^{n+1}\frac{1}{n^2}=\frac{\pi^2}{12}. n=1∑∞(−1)n+1n21=12π2. 2) Через дилиогарифм (специальную функцию). По определению Li2(z)=−∫0zln(1−t)t dt.
\operatorname{Li}_2(z)=-\int_0^z\frac{\ln(1-t)}{t}\,dt. Li2(z)=−∫0ztln(1−t)dt.
При z=−1z=-1z=−1, подстановка t=−ut=-ut=−u даёт Li2(−1)=−∫0−1ln(1−t)t dt=−∫01ln(1+u)u du=−I,
\operatorname{Li}_2(-1)=-\int_0^{-1}\frac{\ln(1-t)}{t}\,dt=-\int_0^1\frac{\ln(1+u)}{u}\,du=-I, Li2(−1)=−∫0−1tln(1−t)dt=−∫01uln(1+u)du=−I,
где III — наш интеграл. Из известного значения Li2(−1)=−π2/12\operatorname{Li}_2(-1)=-\pi^2/12Li2(−1)=−π2/12 следует I=π2/12I=\pi^2/12I=π2/12. Сравнение методов (устойчивость и применение). - Рядовой метод: даёт явную быстро сходящуюся (порядок 1/n21/n^21/n2) альтернативную сумму; для численной оценки очень устойчив (чёткая оценка погрешности по следующему члену ряда). Требует знания разложения в степенной ряд и контроля сходимости на границе x=1x=1x=1 (абелево продление). - Метод через Li2\operatorname{Li}_2Li2: кратко даёт точный результат, удобен в символических вычислениях и при наличии таблицы/библиотеки для значений специальных функций. Для численной реализации полагается на реализацию Li2\operatorname{Li}_2Li2 в библиотеке (обычно стабильно). - Прямая численная интеграция (например, квадратуры) также стабильна, так как ln(1+x)/x\ln(1+x)/xln(1+x)/x гладкая на [0,1][0,1][0,1] (предел при x→0x\to0x→0 равен 111); применение стандартных схем даёт быстрое приближение, но не даёт аналитической формулы.
Два способа решения.
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 . Делим на xxx и интегрируем по x∈(0,1)x\in(0,1)x∈(0,1) терм-по-терму (абелево продление/условия сходимости позволяют это сделать):
∫01ln(1+x)x dx=∑n=1∞(−1)n+11n∫01xn−1 dx=∑n=1∞(−1)n+11n2. \int_0^1\frac{\ln(1+x)}{x}\,dx=\sum_{n=1}^{\infty}(-1)^{n+1}\frac{1}{n}\int_0^1 x^{n-1}\,dx
=\sum_{n=1}^{\infty}(-1)^{n+1}\frac{1}{n^2}.
∫01 xln(1+x) dx=n=1∑∞ (−1)n+1n1 ∫01 xn−1dx=n=1∑∞ (−1)n+1n21 . Известная сумма даёт
∑n=1∞(−1)n+11n2=π212. \sum_{n=1}^{\infty}(-1)^{n+1}\frac{1}{n^2}=\frac{\pi^2}{12}.
n=1∑∞ (−1)n+1n21 =12π2 .
2) Через дилиогарифм (специальную функцию). По определению
Li2(z)=−∫0zln(1−t)t dt. \operatorname{Li}_2(z)=-\int_0^z\frac{\ln(1-t)}{t}\,dt.
Li2 (z)=−∫0z tln(1−t) dt. При z=−1z=-1z=−1, подстановка t=−ut=-ut=−u даёт
Li2(−1)=−∫0−1ln(1−t)t dt=−∫01ln(1+u)u du=−I, \operatorname{Li}_2(-1)=-\int_0^{-1}\frac{\ln(1-t)}{t}\,dt=-\int_0^1\frac{\ln(1+u)}{u}\,du=-I,
Li2 (−1)=−∫0−1 tln(1−t) dt=−∫01 uln(1+u) du=−I, где III — наш интеграл. Из известного значения Li2(−1)=−π2/12\operatorname{Li}_2(-1)=-\pi^2/12Li2 (−1)=−π2/12 следует I=π2/12I=\pi^2/12I=π2/12.
Сравнение методов (устойчивость и применение).
- Рядовой метод: даёт явную быстро сходящуюся (порядок 1/n21/n^21/n2) альтернативную сумму; для численной оценки очень устойчив (чёткая оценка погрешности по следующему члену ряда). Требует знания разложения в степенной ряд и контроля сходимости на границе x=1x=1x=1 (абелево продление).
- Метод через Li2\operatorname{Li}_2Li2 : кратко даёт точный результат, удобен в символических вычислениях и при наличии таблицы/библиотеки для значений специальных функций. Для численной реализации полагается на реализацию Li2\operatorname{Li}_2Li2 в библиотеке (обычно стабильно).
- Прямая численная интеграция (например, квадратуры) также стабильна, так как ln(1+x)/x\ln(1+x)/xln(1+x)/x гладкая на [0,1][0,1][0,1] (предел при x→0x\to0x→0 равен 111); применение стандартных схем даёт быстрое приближение, но не даёт аналитической формулы.