Критическая точка (математика)

Критической точкой дифференцируемой функции [math]\displaystyle{ f:\R^n\to \R }[/math] называется точка, в которой её дифференциал обращается в нуль. Это условие эквивалентно тому, что в данной точке все частные производные первого порядка обращаются в нуль, геометрически оно означает, что касательная гиперплоскость к графику функции горизонтальна. В простейшем случае n=1 это значит, что производная [math]\displaystyle{ f' }[/math] в данной точке равна нулю. Это условие является необходимым (но не достаточным) для того, чтобы внутренняя точка области могла быть точкой локального минимума или максимума дифференцируемой функции.

Понятие критической точки допускает обобщение на случай дифференцируемых отображений [math]\displaystyle{ f:\R^n\to\R^m }[/math], и на случай дифференцируемых отображений произвольных многообразий [math]\displaystyle{ f:N^n\to M^m }[/math]. В этом случае определение критической точки состоит в том, что ранг матрицы Якоби отображения [math]\displaystyle{ f }[/math] в ней меньше максимально возможного значения, равного [math]\displaystyle{ \min \{n,m\} }[/math].

Критические точки функций и отображений играют важную роль в таких областях математики, как дифференциальные уравнения, вариационное исчисление, теория устойчивости, а также в механике и физике. Исследование критических точек гладких отображений составляет один из главных вопросов теории катастроф. Понятие критической точки обобщается также на случай функционалов, определенных на бесконечномерных функциональных пространствах. Поиск критических точек таких функционалов является важной частью вариационного исчисления. Критические точки функционалов (которые, в свою очередь, являются функциями) называются экстремалями.

Формальное определение

Критической (или особой или стационарной) точкой непрерывно дифференцируемого отображения [math]\displaystyle{ f: \R^n\to\R^m }[/math] называется такая точка [math]\displaystyle{ x_0 \in \R^n }[/math], в которой дифференциал этого отображения [math]\displaystyle{ f_*=\frac{\partial f}{\partial x} }[/math] является вырожденным линейным преобразованием соответствующих касательных пространств [math]\displaystyle{ T_{x_0}\R^n }[/math] и [math]\displaystyle{ T_{f(x_0)}\R^m }[/math], то есть размерность образа преобразования [math]\displaystyle{ f_*(x_0) }[/math] меньше [math]\displaystyle{ \min \{n,m\} }[/math]. В координатной записи при [math]\displaystyle{ n = m }[/math] это означает что якобиан — определитель матрицы Якоби отображения [math]\displaystyle{ f }[/math], составленной из всех частных производных [math]\displaystyle{ \frac{\partial f_j}{\partial x_i} }[/math] — обращается в точке [math]\displaystyle{ x_0 }[/math] в нуль. Пространства [math]\displaystyle{ \R^n }[/math] и [math]\displaystyle{ \R^m }[/math] в этом определении могут быть заменены на многообразия [math]\displaystyle{ N^n }[/math] и [math]\displaystyle{ M^m }[/math] таких же размерностей.

Теорема Сарда

Основная статья: Теорема Сарда

Значение отображения в критической точке называется его критическим значением. Согласно теореме Сарда, множество критических значений любого достаточно гладкого отображения [math]\displaystyle{ f: \R^n\to\R^m }[/math] имеет нулевую меру Лебега (хотя критических точек при этом может быть сколько угодно, например, для тождественно постоянного отображения любая точка является критической).

Отображения постоянного ранга

Если в окрестности точки [math]\displaystyle{ x_0 \in \R^n }[/math] ранг непрерывно дифференцируемого отображения [math]\displaystyle{ f: \R^n \to \R^m }[/math] равен одному и тому же числу [math]\displaystyle{ r }[/math], то в окрестности этой точки [math]\displaystyle{ x_0 }[/math] существуют локальные координаты [math]\displaystyle{ (x_1, \ldots, x_n) }[/math] с центром в [math]\displaystyle{ x_0 }[/math], а в окрестности её образа — точки [math]\displaystyle{ y_0=f(x_0) }[/math] — существуют локальные координаты [math]\displaystyle{ (y_1, \ldots, y_m) }[/math] с центром в [math]\displaystyle{ y_0 }[/math], такие, что в них отображение [math]\displaystyle{ f }[/math] задается соотношениями:

[math]\displaystyle{ y_1=x_1, \ \ldots, \ y_r=x_r, \ y_{r+1}=0, \ \ldots, \ y_m=0. }[/math]

В частности, если [math]\displaystyle{ r=n=m }[/math], то существуют локальные координаты [math]\displaystyle{ (x_1, \ldots, x_n) }[/math] с центром в [math]\displaystyle{ x_0 }[/math] и локальные координаты [math]\displaystyle{ (y_1, \ldots, y_n) }[/math] с центром в [math]\displaystyle{ y_0 }[/math], такие, что в них отображение [math]\displaystyle{ f }[/math] является тождественным.

Случай m = 1

Основная статья: Лемма Морса

В случае [math]\displaystyle{ m=1 }[/math] данное определение означает, что градиент [math]\displaystyle{ \nabla f = (f'_{x_1}, \ldots, f'_{x_n}) }[/math] в данной точке обращается в нуль.

Предположим, что функция [math]\displaystyle{ f: \R^n\to\R }[/math] имеет класс гладкости не ниже [math]\displaystyle{ C^3 }[/math]. Критическая точка функции f называется невырожденной, если в ней гессиан [math]\displaystyle{ \Bigl|\frac{\partial^2 f}{\partial x^2}\Bigr| }[/math] отличен от нуля. В окрестности невырожденной критической точки существуют координаты, в которых функция f имеет квадратичную нормальную форму (лемма Морса).

Естественным обобщение леммы Морса для вырожденных критических точек является теорема Тужрона: в окрестности вырожденной критической точки функции f, дифференцируемой бесконечное число раз ([math]\displaystyle{ C^{\infty} }[/math]) конечной кратности [math]\displaystyle{ \mu }[/math] существует система координат, в которой гладкая функция [math]\displaystyle{ f(x) }[/math] имеет вид многочлена [math]\displaystyle{ P_{\mu+1}(x) }[/math] степени [math]\displaystyle{ \mu+1 }[/math] (в качестве [math]\displaystyle{ P_{\mu+1}(x) }[/math] можно взять многочлен Тейлора функции [math]\displaystyle{ f(x) }[/math] в точке [math]\displaystyle{ 0 }[/math] в исходных координатах).

При [math]\displaystyle{ m=1 }[/math] имеет смысл вопрос о максимуме и минимуме функции. Согласно известному утверждению математического анализа, непрерывно дифференцируемая функция [math]\displaystyle{ f }[/math], определенная во всем пространстве [math]\displaystyle{ \R^n }[/math] или в его открытом подмножестве, может достигать локального максимума (минимума) только в критических точках, причем если точка невырождена, то матрица [math]\displaystyle{ \Bigl(\frac{\partial^2 f}{\partial x^2}\Bigr)=\Bigl(\frac{\partial^2 f}{\partial x_i \partial x_j}\Bigr), }[/math] [math]\displaystyle{ i,j=1,\ldots,n, }[/math] в ней должна быть отрицательно (положительно) определённой. Последнее является также достаточным условием локального максимума (соответственно, минимума).

Случай n = m = 2

В случае n=m=2 мы имеем отображение f плоскости на плоскость (или двумерного многообразия на другое двумерное многообразие). Предположим, что отображение f дифференцируемо бесконечное число раз ([math]\displaystyle{ C^{\infty} }[/math]). В этом случае типичные критические точки отображения f суть те, в которых определитель матрицы Якоби равен нулю, но её ранг равен 1, и следовательно, дифференциал отображения f в таких точках имеет одномерное ядро [math]\displaystyle{ \ker\,f_* }[/math]. Вторым условием типичности является то, что в окрестности рассматриваемой точки на плоскости-прообразе множество критических точек образует регулярную кривую S, и почти во всех точках кривой S ядро [math]\displaystyle{ \ker\,f_* }[/math] не касается S, а точки, где это не так, изолированы и в них касание имеет первый порядок. Критические точки первого типа называются точками складки, а второго типа — точками сборки. Складки и сборки являются единственными типами особенностей отображений плоскости на плоскость, устойчивыми относительно малых возмущений: при малом возмущении точки складки и сборки лишь немного перемещаются вместе с деформацией кривой S, но не исчезают, не вырождаются и не рассыпаются на другие особенности.

Складка и сборка реализуются как особенности проецирования гладкой поверхности на плоскость.

Теорема Уитни. Если [math]\displaystyle{ x_0 }[/math] — точка складки или точка сборки, то её окрестности существуют локальные координаты [math]\displaystyle{ (x_1,x_2) }[/math] с центром в [math]\displaystyle{ x_0 }[/math], а в окрестности её образа [math]\displaystyle{ y_0 }[/math] — локальные координаты [math]\displaystyle{ (y_1, y_2) }[/math] с центром в [math]\displaystyle{ y_0 }[/math], такие, что в них отображение [math]\displaystyle{ f }[/math] задается соотношениями

• [math]\displaystyle{ y_1 = x_1^2, \ \ y_2 = x_2 \ \ \ \ }[/math] (складка),

• [math]\displaystyle{ y_1 = x_1^3 + x_1x_2, \ \ y_2 = x_2 \ \ \ \ }[/math] (сборка).

Эта теорема была доказана Хасслером Уитни в 1955 г. и стала одним из первых результатов теории катастроф. Современный вариант доказательства этой теоремы, основанный на применении более поздних результатах теории особенностей дифференцируемых отображений, приведен, например, в .

Теорема Уитни показывает, что складка и сборка реализуются как особенности проектирования гладкой поверхности, заданной в пространстве [math]\displaystyle{ (x_1,x_2,y_1)=0 }[/math] уравнением [math]\displaystyle{ F(x_1,x_2,y_1)=0 }[/math], на плоскость [math]\displaystyle{ (x_2,y_1) }[/math] (горизонтальная плоскость на рисунке) вдоль оси [math]\displaystyle{ x_1 }[/math] (вертикальная ось на рисунке). В нормальных координатах из теоремы Уитни, функция [math]\displaystyle{ F = x_1^2-y_1 }[/math] для складки и [math]\displaystyle{ F = x_1^3+x_1x_2-y_1 }[/math] для сборки. Множество критических точек (кривая S на поверхности F=0) изображена красной линией, а её образ на плоскости-образе изображён пурпурным цветом. В случае сборки образ кривой S имеет особенность, называемую каспом (или точкой возврата).

См. также

• Лемма Ферма
• Индекс критической точки
• Кратность критической точки
• Формула произведения корангов

Литература

• Арнольд В. И., Варченко А. Н., Гусейн-Заде С. М. Особенности дифференцируемых отображений, — Любое издание.
• Зорич В. А. Математический анализ, — Любое издание.
• Брёкер Т., Ландер Л. Дифференцируемые ростки и катастрофы, — Любое издание.
• Н. Г. Павлова, А. О. Ремизов. Гладкие функции, формальные ряды и теоремы Уитни. Матем. обр., 2016, № 3(79), 49–65.
• Н. Г. Павлова, А. О. Ремизов. Гладкие функции, формальные ряды и теоремы Уитни (окончание). Матем. обр., 2017, № 3(83), 13–27.