Раздел III. Неопределённый интеграл — § 6. Примеры на интегрирование функций

Демидович — задача 2161

Б. П. Демидович, «Сборник задач и упражнений по математическому анализу». Условие, подробное решение и ответ.

Найти интегралы:

Задача 2161

∫arcsin⁡exex dx\displaystyle\int\frac{\arcsin e^x}{e^x}\,dx.
Ответ:−e−xarcsin⁡(ex)+ln⁡ex1+1−e2x+C,x⩽0-e^{-x}\arcsin(e^x)
+\ln\dfrac{e^x}{1+\sqrt{1-e^{2x}}}+C,
\qquad x\leqslant0

Решение

Поскольку ex>0e^x>0, арксинус определён при ex⩽1e^x\leqslant1, то есть при x⩽0x\leqslant0. Сначала рассмотрим x<0x<0 и положимt=ex,dt=t dx,0<t<1t=e^x,
\qquad dt=t\,dx,
\qquad 0<t<1
Тогда∫arcsin⁡(ex)ex dx=∫arcsin⁡tt2 dt\int\dfrac{\arcsin(e^x)}{e^x}\,dx
=\int\dfrac{\arcsin t}{t^2}\,dt
Интегрируем по частям, взяв u=arcsin⁡tu=\arcsin t и dv=dtt2dv=\frac{dt}{t^2}. Тогдаdu=dt1−t2,v=−1tdu=\dfrac{dt}{\sqrt{1-t^2}},
\qquad
v=-\dfrac1t
Следовательно,∫arcsin⁡tt2 dt=−arcsin⁡tt+∫dtt1−t2\int\dfrac{\arcsin t}{t^2}\,dt
=-\dfrac{\arcsin t}{t}
+\int\dfrac{dt}{t\sqrt{1-t^2}}
В последнем интеграле положим s=1−t2s=\sqrt{1-t^2}. Поскольку ds=−ts dtds=-\frac{t}{s}\,dt, имеем dt=−st dsdt=-\frac{s}{t}\,ds, а t2=1−s2t^2=1-s^2. Используем также разложение11−s2=12(11−s+11+s)\dfrac1{1-s^2}
=\dfrac12\left(\dfrac1{1-s}+\dfrac1{1+s}\right)
Отсюда получаем∫dtt1−t2=−∫ds1−s2==12ln⁡1−s1+s+C=ln⁡t1+s+C\begin{aligned}
\int\dfrac{dt}{t\sqrt{1-t^2}}
&=-\int\dfrac{ds}{1-s^2}=\\
&=\dfrac12\ln\dfrac{1-s}{1+s}+C
=\ln\dfrac{t}{1+s}+C
\end{aligned}
Последний переход следует из t2=(1−s)(1+s)t^2=(1-s)(1+s):12ln⁡1−s1+s=12ln⁡t2(1+s)2=ln⁡t1+s\dfrac12\ln\dfrac{1-s}{1+s}
=\dfrac12\ln\dfrac{t^2}{(1+s)^2}
=\ln\dfrac{t}{1+s}
Все аргументы логарифмов положительны, поскольку t>0t>0 и 0<s<10<s<1. Возвращаясь к xx, находимF(x)=−e−xarcsin⁡(ex)+ln⁡ex1+1−e2xF(x)=-e^{-x}\arcsin(e^x)
+\ln\dfrac{e^x}{1+\sqrt{1-e^{2x}}}
Непосредственно проверим, что функция FF непрерывно продолжается на x=0x=0:lim⁡x→0−F(x)=−arcsin⁡1+ln⁡11+0==−π2=F(0)\begin{aligned}
\lim_{x\to0^-}F(x)
&=-\arcsin1+\ln\dfrac{1}{1+0}=\\
&=-\dfrac\pi2
=F(0)
\end{aligned}
Поэтому к FF можно применить теорему Лагранжа на отрезке [x,0][x,0]. Для некоторой точки ξx\xi_x между xx и 00 имеемF(x)−F(0)x=F′(ξx)=arcsin⁡(eξx)eξx\dfrac{F(x)-F(0)}{x}
=F'(\xi_x)
=\dfrac{\arcsin(e^{\xi_x})}{e^{\xi_x}}
При x→0−x\to0^- имеем ξx→0\xi_x\to0, поэтому F−′(0)=π2F'_-(0)=\frac\pi2, что совпадает со значением подынтегральной функции при x=0x=0.
Демидович № 2161 — решение и ответ | Высшая математика — Профиматика