Рассмотрите интеграл I(a) = ∫_0^1 x^a ln(x) dx для параметра a > -1; предложите способы вычисления I(a), обсудите дифференцируемость по параметру и пределы при a -> -1+ и a -> +infty
Вычисление. - Дифференцирование по параметру (самый простой способ). Для a>−1a>-1a>−1∫01xa dx=1a+1,I(a)=∫01xalnx dx=dda∫01xa dx=dda1a+1=−1(a+1)2.
\int_0^1 x^a\,dx=\frac{1}{a+1}, \qquad I(a)=\int_0^1 x^a\ln x\,dx=\frac{d}{da}\int_0^1 x^a\,dx=\frac{d}{da}\frac{1}{a+1}=-\frac{1}{(a+1)^2}. ∫01xadx=a+11,I(a)=∫01xalnxdx=dad∫01xadx=dada+11=−(a+1)21. - Интегрирование по частям (проверка). Пусть u=lnx, dv=xadxu=\ln x,\ dv=x^a dxu=lnx,dv=xadx. Тогда v=xa+1a+1v=\frac{x^{a+1}}{a+1}v=a+1xa+1 и I(a)=[xa+1lnxa+1]01−1a+1∫01xa dx=−1(a+1)2,
I(a)=\Big[\frac{x^{a+1}\ln x}{a+1}\Big]_0^1-\frac{1}{a+1}\int_0^1 x^a\,dx =-\frac{1}{(a+1)^2}, I(a)=[a+1xa+1lnx]01−a+11∫01xadx=−(a+1)21,
так как ln1=0\ln1=0ln1=0 и limx→0+xa+1lnx=0\lim_{x\to0+}x^{a+1}\ln x=0limx→0+xa+1lnx=0 при a>−1a>-1a>−1. - Через бета‑функцию: I(a)=∂aB(a+1,1)=∂a1a+1=−1(a+1)2I(a)=\partial_a B(a+1,1)=\partial_a\frac{1}{a+1}=-\frac{1}{(a+1)^2}I(a)=∂aB(a+1,1)=∂aa+11=−(a+1)21. Дифференцируемость по параметру. Интеграл задаёт гладкую функцию для a>−1a>-1a>−1. Можно подставить под знаком интеграла производную по aaa и использовать теорему о предельном переходе (на любом компактном множестве a≥a0>−1a\ge a_0>-1a≥a0>−1 функция ∣xalnx∣≤xa0∣lnx∣|x^a\ln x|\le x^{a_0}|\ln x|∣xalnx∣≤xa0∣lnx∣ интегрируема), поэтому I∈C∞((−1,∞))I\in C^\infty((-1,\infty))I∈C∞((−1,∞)). Общая формула для kkk-й производной: I(k)(a)=(−1)k+1(k+1)! (a+1)−k−2.
I^{(k)}(a)=(-1)^{k+1}(k+1)!\,(a+1)^{-k-2}. I(k)(a)=(−1)k+1(k+1)!(a+1)−k−2. Пределы. - При a→−1+a\to-1+a→−1+: I(a)=−1(a+1)2→−∞.
I(a)=-\frac{1}{(a+1)^2}\to -\infty. I(a)=−(a+1)21→−∞. - При a→+∞a\to+\inftya→+∞: I(a)=−1(a+1)2→0−,
I(a)=-\frac{1}{(a+1)^2}\to 0^-, I(a)=−(a+1)21→0−,
совпадает с наблюдением, что для фиксированного x∈(0,1)x\in(0,1)x∈(0,1) имеет место xalnx→0x^a\ln x\to0xalnx→0 при a→∞a\to\inftya→∞.
- Дифференцирование по параметру (самый простой способ). Для a>−1a>-1a>−1 ∫01xa dx=1a+1,I(a)=∫01xalnx dx=dda∫01xa dx=dda1a+1=−1(a+1)2. \int_0^1 x^a\,dx=\frac{1}{a+1},
\qquad I(a)=\int_0^1 x^a\ln x\,dx=\frac{d}{da}\int_0^1 x^a\,dx=\frac{d}{da}\frac{1}{a+1}=-\frac{1}{(a+1)^2}.
∫01 xadx=a+11 ,I(a)=∫01 xalnxdx=dad ∫01 xadx=dad a+11 =−(a+1)21 .
- Интегрирование по частям (проверка). Пусть u=lnx, dv=xadxu=\ln x,\ dv=x^a dxu=lnx, dv=xadx. Тогда v=xa+1a+1v=\frac{x^{a+1}}{a+1}v=a+1xa+1 и
I(a)=[xa+1lnxa+1]01−1a+1∫01xa dx=−1(a+1)2, I(a)=\Big[\frac{x^{a+1}\ln x}{a+1}\Big]_0^1-\frac{1}{a+1}\int_0^1 x^a\,dx
=-\frac{1}{(a+1)^2},
I(a)=[a+1xa+1lnx ]01 −a+11 ∫01 xadx=−(a+1)21 , так как ln1=0\ln1=0ln1=0 и limx→0+xa+1lnx=0\lim_{x\to0+}x^{a+1}\ln x=0limx→0+ xa+1lnx=0 при a>−1a>-1a>−1.
- Через бета‑функцию: I(a)=∂aB(a+1,1)=∂a1a+1=−1(a+1)2I(a)=\partial_a B(a+1,1)=\partial_a\frac{1}{a+1}=-\frac{1}{(a+1)^2}I(a)=∂a B(a+1,1)=∂a a+11 =−(a+1)21 .
Дифференцируемость по параметру. Интеграл задаёт гладкую функцию для a>−1a>-1a>−1. Можно подставить под знаком интеграла производную по aaa и использовать теорему о предельном переходе (на любом компактном множестве a≥a0>−1a\ge a_0>-1a≥a0 >−1 функция ∣xalnx∣≤xa0∣lnx∣|x^a\ln x|\le x^{a_0}|\ln x|∣xalnx∣≤xa0 ∣lnx∣ интегрируема), поэтому I∈C∞((−1,∞))I\in C^\infty((-1,\infty))I∈C∞((−1,∞)). Общая формула для kkk-й производной:
I(k)(a)=(−1)k+1(k+1)! (a+1)−k−2. I^{(k)}(a)=(-1)^{k+1}(k+1)!\,(a+1)^{-k-2}.
I(k)(a)=(−1)k+1(k+1)!(a+1)−k−2.
Пределы.
- При a→−1+a\to-1+a→−1+:
I(a)=−1(a+1)2→−∞. I(a)=-\frac{1}{(a+1)^2}\to -\infty.
I(a)=−(a+1)21 →−∞.
- При a→+∞a\to+\inftya→+∞:
I(a)=−1(a+1)2→0−, I(a)=-\frac{1}{(a+1)^2}\to 0^-,
I(a)=−(a+1)21 →0−, совпадает с наблюдением, что для фиксированного x∈(0,1)x\in(0,1)x∈(0,1) имеет место xalnx→0x^a\ln x\to0xalnx→0 при a→∞a\to\inftya→∞.