Студент решал интеграл определённый I(a) = integral from 0 to 1 of x^a dx и применил подстановку x = e^t с последующей интерполяцией по a; попросите проанализировать правильность обмена операций интегрирования и дифференцирования по параметру a, указать условия на a при которых выражение и методы корректны, и предложить полное решение без ошибок
Коротко: обмен операций корректен при ℜ(a)>−1\Re(a)>-1ℜ(a)>−1 (для вещественных aaa — при a>−1a>-1a>−1). Полное объяснение и решение ниже. 1) Сходимость интеграла. I(a)=∫01xa dx\displaystyle I(a)=\int_0^1 x^a\,dxI(a)=∫01xadx сходится тогда и только тогда, когда ℜ(a)>−1\Re(a)>-1ℜ(a)>−1 (при вещественном aaa — a>−1a>-1a>−1), поскольку при подстановке x=etx=e^tx=et получаем I(a)=∫−∞0e(a+1)t dt,
I(a)=\int_{-\infty}^0 e^{(a+1)t}\,dt, I(a)=∫−∞0e(a+1)tdt,
и этот интеграл сходится при ℜ(a+1)>0\Re(a+1)>0ℜ(a+1)>0, т.е. ℜ(a)>−1\Re(a)>-1ℜ(a)>−1. 2) Обмен дифференцирования и интегрирования. Интегрирование можно дифференцировать по параметру aaa при тех же условиях ℜ(a)>−1\Re(a)>-1ℜ(a)>−1. Действительно, ∂axa=xalnx\partial_a x^a=x^a\ln x∂axa=xalnx и нужно проверить интегрируемость функции ∣xalnx∣|x^a\ln x|∣xalnx∣ на (0,1)(0,1)(0,1). Для ℜ(a)>−1\Re(a)>-1ℜ(a)>−1 справедливо ∫01∣xalnx∣ dx=∫01xℜ(a)(−lnx) dx=1(ℜ(a)+1)2<∞,
\int_0^1 |x^a\ln x|\,dx=\int_0^1 x^{\Re(a)}(-\ln x)\,dx=\frac{1}{(\Re(a)+1)^2}<\infty, ∫01∣xalnx∣dx=∫01xℜ(a)(−lnx)dx=(ℜ(a)+1)21<∞,
поэтому по признаку доминированной сходимости (или по прямой оценке на небольшом окрестности параметра) можно менять дифференцирование и интегрирование: I′(a)=dda∫01xa dx=∫01xalnx dx.
I'(a)=\frac{d}{da}\int_0^1 x^a\,dx=\int_0^1 x^a\ln x\,dx. I′(a)=dad∫01xadx=∫01xalnxdx. 3) Нахождение I(a)I(a)I(a) и его производных. Вычислим явно, например, через подстановку x=etx=e^tx=et: I(a)=∫−∞0e(a+1)t dt=1a+1(ℜ(a)>−1).
I(a)=\int_{-\infty}^0 e^{(a+1)t}\,dt=\frac{1}{a+1}\qquad(\Re(a)>-1). I(a)=∫−∞0e(a+1)tdt=a+11(ℜ(a)>−1).
Отсюда I′(a)=−1(a+1)2,
I'(a)=-\frac{1}{(a+1)^2}, I′(a)=−(a+1)21,
а в общем для nnn-й производной I(n)(a)=∫01xa(lnx)n dx=(−1)nn!(a+1) n+1,ℜ(a)>−1.
I^{(n)}(a)=\int_0^1 x^a(\ln x)^n\,dx =(-1)^n\frac{n!}{(a+1)^{\,n+1}},\qquad \Re(a)>-1. I(n)(a)=∫01xa(lnx)ndx=(−1)n(a+1)n+1n!,ℜ(a)>−1. 4) Об ограничающих случаях. При a=−1a=-1a=−1 интеграл ∫01x−1 dx\int_0^1 x^{-1}\,dx∫01x−1dx расходится (логарифмический разрыв). При ℜ(a)≤−1\Re(a)\le-1ℜ(a)≤−1 интеграл также расходится. Вывод: метод замены x=etx=e^tx=et и последующее дифференцирование под знаком интеграла корректны при ℜ(a)>−1\Re(a)>-1ℜ(a)>−1 (для вещественных aaa — при a>−1a>-1a>−1), и окончательный результат I(a)=1a+1,I′(a)=−1(a+1)2
\boxed{I(a)=\frac{1}{a+1},\qquad I'(a)=-\frac{1}{(a+1)^2}} I(a)=a+11,I′(a)=−(a+1)21
(и общая формула для высших производных выше).
1) Сходимость интеграла.
I(a)=∫01xa dx\displaystyle I(a)=\int_0^1 x^a\,dxI(a)=∫01 xadx сходится тогда и только тогда, когда ℜ(a)>−1\Re(a)>-1ℜ(a)>−1 (при вещественном aaa — a>−1a>-1a>−1), поскольку при подстановке x=etx=e^tx=et получаем
I(a)=∫−∞0e(a+1)t dt, I(a)=\int_{-\infty}^0 e^{(a+1)t}\,dt,
I(a)=∫−∞0 e(a+1)tdt, и этот интеграл сходится при ℜ(a+1)>0\Re(a+1)>0ℜ(a+1)>0, т.е. ℜ(a)>−1\Re(a)>-1ℜ(a)>−1.
2) Обмен дифференцирования и интегрирования.
Интегрирование можно дифференцировать по параметру aaa при тех же условиях ℜ(a)>−1\Re(a)>-1ℜ(a)>−1. Действительно, ∂axa=xalnx\partial_a x^a=x^a\ln x∂a xa=xalnx и нужно проверить интегрируемость функции ∣xalnx∣|x^a\ln x|∣xalnx∣ на (0,1)(0,1)(0,1). Для ℜ(a)>−1\Re(a)>-1ℜ(a)>−1 справедливо
∫01∣xalnx∣ dx=∫01xℜ(a)(−lnx) dx=1(ℜ(a)+1)2<∞, \int_0^1 |x^a\ln x|\,dx=\int_0^1 x^{\Re(a)}(-\ln x)\,dx=\frac{1}{(\Re(a)+1)^2}<\infty,
∫01 ∣xalnx∣dx=∫01 xℜ(a)(−lnx)dx=(ℜ(a)+1)21 <∞, поэтому по признаку доминированной сходимости (или по прямой оценке на небольшом окрестности параметра) можно менять дифференцирование и интегрирование:
I′(a)=dda∫01xa dx=∫01xalnx dx. I'(a)=\frac{d}{da}\int_0^1 x^a\,dx=\int_0^1 x^a\ln x\,dx.
I′(a)=dad ∫01 xadx=∫01 xalnxdx.
3) Нахождение I(a)I(a)I(a) и его производных.
Вычислим явно, например, через подстановку x=etx=e^tx=et:
I(a)=∫−∞0e(a+1)t dt=1a+1(ℜ(a)>−1). I(a)=\int_{-\infty}^0 e^{(a+1)t}\,dt=\frac{1}{a+1}\qquad(\Re(a)>-1).
I(a)=∫−∞0 e(a+1)tdt=a+11 (ℜ(a)>−1). Отсюда
I′(a)=−1(a+1)2, I'(a)=-\frac{1}{(a+1)^2},
I′(a)=−(a+1)21 , а в общем для nnn-й производной
I(n)(a)=∫01xa(lnx)n dx=(−1)nn!(a+1) n+1,ℜ(a)>−1. I^{(n)}(a)=\int_0^1 x^a(\ln x)^n\,dx =(-1)^n\frac{n!}{(a+1)^{\,n+1}},\qquad \Re(a)>-1.
I(n)(a)=∫01 xa(lnx)ndx=(−1)n(a+1)n+1n! ,ℜ(a)>−1.
4) Об ограничающих случаях.
При a=−1a=-1a=−1 интеграл ∫01x−1 dx\int_0^1 x^{-1}\,dx∫01 x−1dx расходится (логарифмический разрыв). При ℜ(a)≤−1\Re(a)\le-1ℜ(a)≤−1 интеграл также расходится.
Вывод: метод замены x=etx=e^tx=et и последующее дифференцирование под знаком интеграла корректны при ℜ(a)>−1\Re(a)>-1ℜ(a)>−1 (для вещественных aaa — при a>−1a>-1a>−1), и окончательный результат
I(a)=1a+1,I′(a)=−1(a+1)2 \boxed{I(a)=\frac{1}{a+1},\qquad I'(a)=-\frac{1}{(a+1)^2}}
I(a)=a+11 ,I′(a)=−(a+1)21 (и общая формула для высших производных выше).