Предложите критерий для проверки, является ли функция f(x)=x^x на положительном полуинтервале возрастающей; докажите монотонность, исследуйте производную и логарифмическое дифференцирование
Критерий: функция f(x)=xxf(x)=x^xf(x)=xx на положительном полуинтервале I⊂(0,∞)I\subset(0,\infty)I⊂(0,∞) возрастает тогда и только тогда, когда lnx+1>0\ln x+1>0lnx+1>0 для всех x∈Ix\in Ix∈I, т.е. когда I⊂(1/e,∞)I\subset(1/e,\infty)I⊂(1/e,∞). Доказательство и исследование через логарифмическое дифференцирование: 1) Возьмём логарифм: lnf(x)=ln(xx)=xlnx,x>0.
\ln f(x)=\ln(x^x)=x\ln x,\qquad x>0. lnf(x)=ln(xx)=xlnx,x>0. 2) Дифференцируем: f′(x)f(x)=ddx(xlnx)=lnx+1.
\frac{f'(x)}{f(x)}=\frac{d}{dx}(x\ln x)=\ln x+1. f(x)f′(x)=dxd(xlnx)=lnx+1.
Отсюда f′(x)=xx(lnx+1).
f'(x)=x^x(\ln x+1). f′(x)=xx(lnx+1). 3) Знак производной: так как xx>0x^x>0xx>0 при x>0x>0x>0, знак f′(x)f'(x)f′(x) определяется знаком lnx+1\ln x+1lnx+1. Следовательно - f′(x)>0f'(x)>0f′(x)>0 при lnx+1>0 ⟺ x>1/e\ln x+1>0\iff x>1/elnx+1>0⟺x>1/e (возрастание), - f′(x)=0f'(x)=0f′(x)=0 при x=1/ex=1/ex=1/e, - f′(x)<0f'(x)<0f′(x)<0 при 0<x<1/e0<x<1/e0<x<1/e (убывание). 4) Вторая производная (для характера экстремума): f′′(x)=ddx(xx(lnx+1))=xx((lnx+1)2+1x).
f''(x)=\frac{d}{dx}\big(x^x(\ln x+1)\big)=x^x\big((\ln x+1)^2+\tfrac{1}{x}\big). f′′(x)=dxd(xx(lnx+1))=xx((lnx+1)2+x1).
В частности в точке x=1/ex=1/ex=1/e имеем lnx=−1\ln x=-1lnx=−1, поэтому первое слагаемое равно нулю, и f′′(1/e)=(1/e)1/e⋅e>0,
f''(1/e)=(1/e)^{1/e}\cdot e>0, f′′(1/e)=(1/e)1/e⋅e>0,
то есть в x=1/ex=1/ex=1/e — строгий локальный (и в данном случае глобальный на (0,∞)(0,\infty)(0,∞)) минимум. Замечание о пределе: limx→0+xx=1\lim_{x\to0+}x^x=1limx→0+xx=1, минимум достигается в x=1/ex=1/ex=1/e со значением (1/e)1/e(1/e)^{1/e}(1/e)1/e, далее функция возрастает на (1/e,∞)(1/e,\infty)(1/e,∞).
Доказательство и исследование через логарифмическое дифференцирование:
1) Возьмём логарифм:
lnf(x)=ln(xx)=xlnx,x>0. \ln f(x)=\ln(x^x)=x\ln x,\qquad x>0.
lnf(x)=ln(xx)=xlnx,x>0.
2) Дифференцируем:
f′(x)f(x)=ddx(xlnx)=lnx+1. \frac{f'(x)}{f(x)}=\frac{d}{dx}(x\ln x)=\ln x+1.
f(x)f′(x) =dxd (xlnx)=lnx+1. Отсюда
f′(x)=xx(lnx+1). f'(x)=x^x(\ln x+1).
f′(x)=xx(lnx+1).
3) Знак производной: так как xx>0x^x>0xx>0 при x>0x>0x>0, знак f′(x)f'(x)f′(x) определяется знаком lnx+1\ln x+1lnx+1. Следовательно
- f′(x)>0f'(x)>0f′(x)>0 при lnx+1>0 ⟺ x>1/e\ln x+1>0\iff x>1/elnx+1>0⟺x>1/e (возрастание),
- f′(x)=0f'(x)=0f′(x)=0 при x=1/ex=1/ex=1/e,
- f′(x)<0f'(x)<0f′(x)<0 при 0<x<1/e0<x<1/e0<x<1/e (убывание).
4) Вторая производная (для характера экстремума):
f′′(x)=ddx(xx(lnx+1))=xx((lnx+1)2+1x). f''(x)=\frac{d}{dx}\big(x^x(\ln x+1)\big)=x^x\big((\ln x+1)^2+\tfrac{1}{x}\big).
f′′(x)=dxd (xx(lnx+1))=xx((lnx+1)2+x1 ). В частности в точке x=1/ex=1/ex=1/e имеем lnx=−1\ln x=-1lnx=−1, поэтому первое слагаемое равно нулю, и
f′′(1/e)=(1/e)1/e⋅e>0, f''(1/e)=(1/e)^{1/e}\cdot e>0,
f′′(1/e)=(1/e)1/e⋅e>0, то есть в x=1/ex=1/ex=1/e — строгий локальный (и в данном случае глобальный на (0,∞)(0,\infty)(0,∞)) минимум.
Замечание о пределе: limx→0+xx=1\lim_{x\to0+}x^x=1limx→0+ xx=1, минимум достигается в x=1/ex=1/ex=1/e со значением (1/e)1/e(1/e)^{1/e}(1/e)1/e, далее функция возрастает на (1/e,∞)(1/e,\infty)(1/e,∞).