Определение локального экстремума. Необходимые условия экстремума в терминах частных производных и дифференциала

Определение

Пусть f — действительная функция на открытом множестве E\subset\mathbb{R}^{n}. Говорят, что f имеет локальный максимум в точке x_{0}\in E, если существует такая окрестность U точки x_{0}, что для всех x\in U выполняется неравенство f\left(x\right)\leq f\left(x_{0}\right).

Локальный максимум называется строгим, если окрестность U можно выбрать так, чтобы для всех x\in U, отличных от x_{0}, было f\left(x\right)<f\left(x_{0}\right).

Аналогично определяется локальный минимум. Оба объединяются под общим названием локального экстремума.

Необходимые условия экстремума

Пусть f — действительная функция на открытом множестве E\subset\mathbb{R}^{n}. Если в точке x_{0}\in E функция f имеет локальный экстремум и дифференцируема в этой точке, то

в терминах дифференциала

df\left(x_{0}\right)=0

или в терминах частных производных

\frac{\partial f}{\partial x^{i}}\left(x_{0}\right)=0.

Доказательство

В одномерном случае это — теорема Ферма. Обозначим \varphi\left(t\right)=f\left(x_{0}+th\right), где h — произвольный вектор. Функция \varphi определена на достаточно малых по модулю значениях t. Кроме того, по теореме о производной сложной функции, она дифференцируема, и {\varphi}'\left(t\right)=df\left(x_{0}+th\right)h.

Пусть f имеет локальный экстремум в точке x_{0}. Значит, функция \varphi при t=0 имеет локальный максимум и, по теореме Ферма, {\varphi}'\left(0\right)=0.

Мы получили, что df\left(x_{0}\right)=0, т.е. дифференциал функции f в точке x_{0} равен нулю на любом векторе h.

Литература

Определение локального экстремума. Необходимые условия экстремума в терминах частных производных и дифференциала

После прочтения статьи, для закрепления материала, рекомендуется пройти тест по данной теме


Таблица лучших: Определение локального экстремума. Необходимые условия экстремума в терминах частных производных и дифференциала

максимум из 3 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

Определение дифференциалов высших порядков и их свойства

Определение

$k$-й дифференциал является однородным целым многочленом степени $k$, или как говорят, является формой $k$-й степени относительно дифференциалов независимых переменных, коэффициентами при которых служат частные производные $k$-го порядка, умноженные на целочисленные постоянные (полиномиальные коэффициенты).

Объяснение

Пусть в области $D$ задана некоторая функция $u=f\left(x_{1},x_{2},…,x_{n}\right)$, имеющая непрерывные частные производные первого порядка. Дифференциалом  $du$ будем называть следующее выражение:

$$du=\frac{\partial u}{\partial x_{1}}dx_{1}+\frac{\partial u}{\partial x_{2}}dx_{2}+…+\frac{\partial u}{\partial x_{n}}dx_{n}$$,

где  $dx_{1},…,dx_{n}$ — произвольные приращения независимых переменных  $x_{1},…,x_{n}$.

Предположим, что существуют непрерывные частные производные второго порядка для  $u$, то есть $du$ будет иметь непрерывные частные производные первого порядка, и можно говорить о дифференциале от этого дифференциала $d\left(du\right)$, который называется дифференциалом второго порядка, и обозначается символом  $d^{2}u$.

Важно, что приращения  $dx_{1},dx_{2},…,dx_{n}$ остаются одними и теми же при переходе от одного дифференциала к следующему.

Таким образом, если воспользоваться правилами дифференцирования, будем иметь:

$d^{2}u=d\left(du\right)=d\left(\frac{\partial u}{\partial x_{1}}dx_{1}+\frac{\partial u}{\partial x_{2}}dx_{2}+…+\frac{\partial u}{\partial x_{n}}dx_{n}\right)$$=d\left(\frac{\partial u}{\partial x_{1}}\right)dx_{1}+d\left(\frac{\partial u}{\partial x_{2}}\right)dx_{2}+…+d\left(\frac{\partial u}{\partial x_{n}}\right)dx_{n}$.

Аналогично определяется дифференциал третьего порядка, $d^{3}u$, и т.д. Вообще, если дифференциал  $\left(k-1\right)$-го порядка, $d^{k-1}u$, уже определен, то дифференциал  $k$-го порядка можно определить реккурентной формулой :

$$
d^{k}u=d\left(d^{k-1}u\right)
$$

Иными словами, если для функции $u$ существуют непрерывные частные производные всех порядков до $k$-го порядка включительно, то $k$-й дифференциал существует.
 

Пример

показать

Свойства дифференциалов высших порядков

  • Дифференциал $n$-го порядка независимой переменной при $n>1$ равен нулю

$d^{n}\left(x\right)=0$

Предположим, что существуют $d^{n}u$ и $d^{n}v$. Тогда:

  • $d^{n}\left(Au+Bv\right)=Ad^{n}u+Bd^{n}v$

AB — константы, следовательно

  • $d^{n}uv=\sum\limits_{k=1}\limits^{n}C_{n}^{k}d^{k}ud^{n-k}v$

Литература

Определение дифференциалов высших порядков и их свойства

После прочтения статьи, для закрепления материала, рекомендуется пройти тест по данной теме

Таблица лучших: Определение дифференциалов высших порядков и их свойства

максимум из 2 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

Определение стационарной точки. Пример функции, не достигающей экстремума в стационараной точке

Определение стационарной точки(для функции многих переменных)

В терминах частных производных

Стационарными называются точки, в которых частные производные первого порядка все обращаются в нуль.
 \left.\begin{matrix}\\{f_{x_{1}}}'\left(x_{1},x_{2},...,x_{n}\right)=0\\{f_{x_{2}}}'\left(x_{1},x_{2},...,x_{n}\right)=0\\.........................\\{f_{x_{n}}}'\left(x_{1},x_{2},...,x_{n}\right)=0\end{matrix}\right\}

В терминах дифференциалов

Если функция f\left(x\right) дифференцируема в точке x^{0} и df\left(x^{0}\right)=0, то точка x^{0} называется стационарной точкой функции f\left(x\right).

Точка экстремума дифференцируемой функции в силу необходимых условий экстремума будет стационарной точкой. Обратное утверждение не верно. Стационарная точка может не быть точкой экстремума.

Функции, достигающие стационарную точку не в экстремуме

Пример

Показать, что \left(0,0\right) является стационарной точкой функции f\left(x,y\right)=xy, но \left(0,0\right) не есть точка экстремума этой функции.

График функции z=xy.

1234

Так как df\left(x,y\right)=ydx+xdy, то df\left(0,0\right)=0 и \left(0,0\right) есть стационарная точка функции f\left(x,y\right). Но для любого \delta>0 точки \left(\delta,\delta,\right) и \left(\delta,-\delta,\right) лежат в круге S_{2\delta}\left(0,0\right) и

f\left(\delta,\delta\right)=\delta^{2}>f\left(0,0\right)=0,

f\left(\delta,-\delta\right)=-\delta^{2}<f\left(0,0\right)=0.

Поэтому \left(0,0\right) не есть точка экстремума функции f\left(x,y\right).

Литература

Определение стационарной точки. Пример функции, не достигающей экстремума в стационараной точке

После прочтения статьи, для закрепления материала, рекомендуется пройти тест по данной теме


Таблица лучших: Определение стационарной точки. Пример функции, не достигающей экстремума в стационараной точке

максимум из 3 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

M1567

Задача

Центры AB и C трех непересекающихся окружностей с одинаковыми радиусами расположены в вершинах треугольника. Из точек AB, C проведены касательные к данным окружностям так, как показано на рисунке 1. Известно, что эти касательные, пересекаясь, образовали выпуклый шестиугольник, стороны которого через одну покрашены в красный и синий цвета. Докажите, что сумма длин красных отрезков равна сумме длин синих отрезков.

123344

Решение

Введем обозначения так, как показано на рисунке 1. Так как данные окружности имеют одинаковые радиусы, то:

AC_{1}=CA_{2}BA_{1}=AB_{2}, CB_{1}=BC_{2},

или

AB_{4}+B_{4}C_{5}+C_{5}C_{1}=CB_{4}+B_{4}A_{3}+A_{3}A_{2},

BC_{4}+C_{4}A_{3}+A_{3}A_{1}=AC_{4}+C_{4}B_{3}+B_{3}B_{2},

CA_{4}+A_{4}B_{3}+B_{3}B_{1}=BA_{4}+A_{4}C_{2}+C_{5}C_{2}.

Сложив полученные равенства и заметив, что

A_{3}A_{1}=A_{3}A_{2},

B_{3}B_{1}=B_{3}B_{2},

C_{3}C_{1}=C_{3}C_{2}

(как отрезки касательных, проведенных к окружности из одной точки) и

AC_{4}=C_{4}BBA_{4}=A_{4}CCB_{4}=B_{4}A

(так как радиусы данных окружностей равны), получим

B_{4}C_{3}+C_{4}A_{3}+A_{4}B_{3}=B_{4}A_{3}+C_{4}B_{3}+A_{4}C_{3},

что и требовалось доказать.

Замечания

1. Аналогичное утверждение справедливо и в случае, изображенном на рисунке 2.

22

                                                                                                                                                       Д.Терешин