Разберите утверждение: "Если функция f дважды дифференцируема и f''(x) > 0 для всех x, то f имеет единственный глобальный минимум". Докажите или опровергните с примерами
Утверждение в общем виде неверно. Контрпример. Пусть f(x)=exf(x)=e^xf(x)=ex. Тогда f′′(x)=ex>0f''(x)=e^x>0f′′(x)=ex>0 для всех xxx, но fff не имеет глобального минимума (инфимум infx∈Rf(x)=0\inf_{x\in\mathbb R} f(x)=0infx∈Rf(x)=0 не достигается). Правильная часть и пояснение. Условие f′′(x)>0f''(x)>0f′′(x)>0 для всех xxx влечёт строгую выпуклость функции fff. Отсюда: - производная f′f'f′ строго возрастает (так как f′′>0f''>0f′′>0); - следовательно f′f'f′ может иметь не более одного нуля. Если такой ноль x0x_0x0 существует (то есть есть стационарная точка f′(x0)=0f'(x_0)=0f′(x0)=0), то для x<x0x<x_0x<x0 имеем f′(x)<0f'(x)<0f′(x)<0, для x>x0x>x_0x>x0 — f′(x)>0f'(x)>0f′(x)>0, значит fff убывает слева от x0x_0x0 и возрастает справа, и x0x_0x0 — единственный глобальный минимум. Условие существования глобального минимума нужно добавлять отдельно. Типичные достаточные условия: наличие стационарной точки или коэрцитивность, например lim∣x∣→∞f(x)=+∞\lim_{|x|\to\infty} f(x)=+\inftylim∣x∣→∞f(x)=+∞. Пример, где минимум есть: f(x)=x2f(x)=x^2f(x)=x2 (f′′(x)=2>0f''(x)=2>0f′′(x)=2>0), глобальный и единственный минимум при x=0x=0x=0.
Контрпример. Пусть f(x)=exf(x)=e^xf(x)=ex. Тогда f′′(x)=ex>0f''(x)=e^x>0f′′(x)=ex>0 для всех xxx, но fff не имеет глобального минимума (инфимум infx∈Rf(x)=0\inf_{x\in\mathbb R} f(x)=0infx∈R f(x)=0 не достигается).
Правильная часть и пояснение. Условие f′′(x)>0f''(x)>0f′′(x)>0 для всех xxx влечёт строгую выпуклость функции fff. Отсюда:
- производная f′f'f′ строго возрастает (так как f′′>0f''>0f′′>0);
- следовательно f′f'f′ может иметь не более одного нуля. Если такой ноль x0x_0x0 существует (то есть есть стационарная точка f′(x0)=0f'(x_0)=0f′(x0 )=0), то для x<x0x<x_0x<x0 имеем f′(x)<0f'(x)<0f′(x)<0, для x>x0x>x_0x>x0 — f′(x)>0f'(x)>0f′(x)>0, значит fff убывает слева от x0x_0x0 и возрастает справа, и x0x_0x0 — единственный глобальный минимум.
Условие существования глобального минимума нужно добавлять отдельно. Типичные достаточные условия: наличие стационарной точки или коэрцитивность, например lim∣x∣→∞f(x)=+∞\lim_{|x|\to\infty} f(x)=+\inftylim∣x∣→∞ f(x)=+∞. Пример, где минимум есть: f(x)=x2f(x)=x^2f(x)=x2 (f′′(x)=2>0f''(x)=2>0f′′(x)=2>0), глобальный и единственный минимум при x=0x=0x=0.