Функция f(x)=xxf(x)=x^xf(x)=xx для x>0x>0x>0. 1) Дифференцирование (несколько способов). - Логарифмическое дифференцирование: lnf(x)=xlnx\ln f(x)=x\ln xlnf(x)=xlnx. Дифференцируя, f′(x)f(x)=lnx+1\dfrac{f'(x)}{f(x)}=\ln x+1f(x)f′(x)=lnx+1, откуда f′(x)=xx(lnx+1).
f'(x)=x^x(\ln x+1). f′(x)=xx(lnx+1).
- Эквивалентно: f(x)=exp(xlnx)f(x)=\exp(x\ln x)f(x)=exp(xlnx), применить правило цепочки. - Для второй производной можно дифференцировать f′(x)=xx(lnx+1)f'(x)=x^x(\ln x+1)f′(x)=xx(lnx+1) или воспользоваться (f′f)′=f′′f−(f′f)2=(lnx+1)′=1x,
\Big(\frac{f'}{f}\Big)'=\frac{f''}{f}-\Big(\frac{f'}{f}\Big)^2=(\ln x+1)'=\frac{1}{x}, (ff′)′=ff′′−(ff′)2=(lnx+1)′=x1,
откуда f′′(x)=f(x)[(lnx+1)2+1x]=xx[(lnx+1)2+1x].
f''(x)=f(x)\Big[(\ln x+1)^2+\frac{1}{x}\Big]=x^x\Big[(\ln x+1)^2+\frac{1}{x}\Big]. f′′(x)=f(x)[(lnx+1)2+x1]=xx[(lnx+1)2+x1]. 2) Монотонность. - f′(x)=xx(lnx+1)f'(x)=x^x(\ln x+1)f′(x)=xx(lnx+1). Поскольку xx>0x^x>0xx>0, знак f′f'f′ определяется знаком lnx+1\ln x+1lnx+1. - lnx+1=0\ln x+1=0lnx+1=0 при x=e−1=1ex=\mathrm e^{-1}=\tfrac{1}{e}x=e−1=e1. - Следовательно f′(x)<0f'(x)<0f′(x)<0 на (0,1e)(0,\tfrac{1}{e})(0,e1) и f′(x)>0f'(x)>0f′(x)>0 на (1e,∞)(\tfrac{1}{e},\infty)(e1,∞). - Итог: fff убывает на (0,1e)(0,\tfrac{1}{e})(0,e1) и возрастает на (1e,∞)(\tfrac{1}{e},\infty)(e1,∞). 3) Выпуклость. - Так как f′′(x)=xx[(lnx+1)2+1x]f''(x)=x^x\big[(\ln x+1)^2+\tfrac{1}{x}\big]f′′(x)=xx[(lnx+1)2+x1] и для x>0x>0x>0 каждое слагаемое положительно, то f′′(x)>0f''(x)>0f′′(x)>0 при всех x>0x>0x>0. - Следовательно fff строго выпукла на (0,∞)(0,\infty)(0,∞). Альтернативно: g(x)=xlnxg(x)=x\ln xg(x)=xlnx имеет g′′(x)=1x>0g''(x)=\tfrac{1}{x}>0g′′(x)=x1>0, значит ggg выпукла, и f=exp∘gf=\exp\circ gf=exp∘g — выпуклая (экспонента монотонно-увеличивающая и выпуклая). 4) Минимум. - По монотонности и выпуклости единственная критическая точка x=1ex=\tfrac{1}{e}x=e1 — глобальный (и строгий) минимум. - Значение минимума: f(1e)=(1e)1/e=e−1/e≈0.6922.
f\Big(\tfrac{1}{e}\Big)=\Big(\tfrac{1}{e}\Big)^{1/e}=e^{-1/e}\approx 0.6922. f(e1)=(e1)1/e=e−1/e≈0.6922. Краткие замечания о предельном поведении: limx→0+xx=1\lim_{x\to0+}x^x=1limx→0+xx=1, f(1)=1f(1)=1f(1)=1, limx→∞xx=+∞\lim_{x\to\infty}x^x=+\inftylimx→∞xx=+∞.
1) Дифференцирование (несколько способов).
- Логарифмическое дифференцирование: lnf(x)=xlnx\ln f(x)=x\ln xlnf(x)=xlnx. Дифференцируя, f′(x)f(x)=lnx+1\dfrac{f'(x)}{f(x)}=\ln x+1f(x)f′(x) =lnx+1, откуда
f′(x)=xx(lnx+1). f'(x)=x^x(\ln x+1).
f′(x)=xx(lnx+1). - Эквивалентно: f(x)=exp(xlnx)f(x)=\exp(x\ln x)f(x)=exp(xlnx), применить правило цепочки.
- Для второй производной можно дифференцировать f′(x)=xx(lnx+1)f'(x)=x^x(\ln x+1)f′(x)=xx(lnx+1) или воспользоваться
(f′f)′=f′′f−(f′f)2=(lnx+1)′=1x, \Big(\frac{f'}{f}\Big)'=\frac{f''}{f}-\Big(\frac{f'}{f}\Big)^2=(\ln x+1)'=\frac{1}{x},
(ff′ )′=ff′′ −(ff′ )2=(lnx+1)′=x1 , откуда
f′′(x)=f(x)[(lnx+1)2+1x]=xx[(lnx+1)2+1x]. f''(x)=f(x)\Big[(\ln x+1)^2+\frac{1}{x}\Big]=x^x\Big[(\ln x+1)^2+\frac{1}{x}\Big].
f′′(x)=f(x)[(lnx+1)2+x1 ]=xx[(lnx+1)2+x1 ].
2) Монотонность.
- f′(x)=xx(lnx+1)f'(x)=x^x(\ln x+1)f′(x)=xx(lnx+1). Поскольку xx>0x^x>0xx>0, знак f′f'f′ определяется знаком lnx+1\ln x+1lnx+1.
- lnx+1=0\ln x+1=0lnx+1=0 при x=e−1=1ex=\mathrm e^{-1}=\tfrac{1}{e}x=e−1=e1 .
- Следовательно f′(x)<0f'(x)<0f′(x)<0 на (0,1e)(0,\tfrac{1}{e})(0,e1 ) и f′(x)>0f'(x)>0f′(x)>0 на (1e,∞)(\tfrac{1}{e},\infty)(e1 ,∞).
- Итог: fff убывает на (0,1e)(0,\tfrac{1}{e})(0,e1 ) и возрастает на (1e,∞)(\tfrac{1}{e},\infty)(e1 ,∞).
3) Выпуклость.
- Так как f′′(x)=xx[(lnx+1)2+1x]f''(x)=x^x\big[(\ln x+1)^2+\tfrac{1}{x}\big]f′′(x)=xx[(lnx+1)2+x1 ] и для x>0x>0x>0 каждое слагаемое положительно, то f′′(x)>0f''(x)>0f′′(x)>0 при всех x>0x>0x>0.
- Следовательно fff строго выпукла на (0,∞)(0,\infty)(0,∞).
Альтернативно: g(x)=xlnxg(x)=x\ln xg(x)=xlnx имеет g′′(x)=1x>0g''(x)=\tfrac{1}{x}>0g′′(x)=x1 >0, значит ggg выпукла, и f=exp∘gf=\exp\circ gf=exp∘g — выпуклая (экспонента монотонно-увеличивающая и выпуклая).
4) Минимум.
- По монотонности и выпуклости единственная критическая точка x=1ex=\tfrac{1}{e}x=e1 — глобальный (и строгий) минимум.
- Значение минимума:
f(1e)=(1e)1/e=e−1/e≈0.6922. f\Big(\tfrac{1}{e}\Big)=\Big(\tfrac{1}{e}\Big)^{1/e}=e^{-1/e}\approx 0.6922.
f(e1 )=(e1 )1/e=e−1/e≈0.6922.
Краткие замечания о предельном поведении: limx→0+xx=1\lim_{x\to0+}x^x=1limx→0+ xx=1, f(1)=1f(1)=1f(1)=1, limx→∞xx=+∞\lim_{x\to\infty}x^x=+\inftylimx→∞ xx=+∞.