Кратность критической точки

Кратность критической точки $C^{\mathrm{\infty <!--\; \infty \; -->}}$$C^{\infty }$-гладкой функции $f:{\mathbb{R}}^n\to <!--\; \to \; -->\mathbb{R}$$f:\mathbb{R} ^{n}\to \mathbb{R}$ — размерность так называемой локальной алгебры градиентного отображения этой функции в рассматриваемой точке.

ОпределениеПравить

Пусть $f:{\mathbb{R}}^n\to <!--\; \to \; -->\mathbb{R}$$f:\mathbb{R} ^{n}\to \mathbb{R}$  — $C^{\mathrm{\infty <!--\; \infty \; -->}}$$C^{\infty }$ -гладкая функция от $n$$n$  переменных $x_1,\dots <!--\; \dots \; -->,x_n$$x_{1},\ldots ,x_{n}$ , имеющая $O\in <!--\; \in \; -->{\mathbb{R}}^n$$O\in \mathbb {R} ^{n}$  своей критической точкой. Соответствующее градиентное отображение $\mathrm{\nabla <!--\; \nabla \; -->}f:{\mathbb{R}}^n\to <!--\; \to \; -->{\mathbb{R}}^n$$\nabla f:\mathbb {R} ^{n}\to \mathbb {R} ^{n}$  задается формулой $(x_1,\dots <!--\; \dots \; -->,x_n)\mapsto <!--\; \mapsto \; -->(\mathrm{\partial <!--\; \partial \; -->}f/\mathrm{\partial <!--\; \partial \; -->}{x}_1,\dots <!--\; \dots \; -->,\mathrm{\partial <!--\; \partial \; -->}f/\mathrm{\partial <!--\; \partial \; -->}{x}_n).$$(x_{1},\ldots ,x_{n})\mapsto (\partial f/\partial x_{1},\ldots ,\partial f/\partial x_{n}).$  Введем следующие обозначения: $\mathbb{R}[[x_1,\dots <!--\; \dots \; -->,x_n]]$$\mathbb {R} [[x_{1},\ldots ,x_{n}]]$  — алгебра формальных степенных рядов от переменных $x_1,\dots <!--\; \dots \; -->,x_n$$x_{1},\ldots ,x_{n}$  с центром в $O.$$O.$  $I_{\mathrm{\nabla <!--\; \nabla \; -->}f}=(\mathrm{\partial <!--\; \partial \; -->}f/\mathrm{\partial <!--\; \partial \; -->}{x}_1,\dots <!--\; \dots \; -->,\mathrm{\partial <!--\; \partial \; -->}f/\mathrm{\partial <!--\; \partial \; -->}{x}_n)$$I_{\nabla f}=(\partial f/\partial x_{1},\ldots ,\partial f/\partial x_{n})$  — идеал в алгебре гладких функций, порожденный образующими $\mathrm{\partial <!--\; \partial \; -->}f/\mathrm{\partial <!--\; \partial \; -->}{x}_1,\dots <!--\; \dots \; -->,\mathrm{\partial <!--\; \partial \; -->}f/\mathrm{\partial <!--\; \partial \; -->}{x}_n.$$\partial f/\partial x_{1},\ldots ,\partial f/\partial x_{n}.$  Сопоставляя каждой гладкой функции её формальный ряд Тейлора, мы получаем вложение $I_{\mathrm{\nabla <!--\; \nabla \; -->}f}$$I_{\nabla f}$  в алгебру $\mathbb{R}[[x_1,\dots <!--\; \dots \; -->,x_n]]$$\mathbb {R} [[x_{1},\ldots ,x_{n}]]$ . Локальной алгеброй градиентного отображения в точке $O$$O$  называется факторалгебра $\mathbb{R}[[x_1,\dots <!--\; \dots \; -->,x_n]]/I_{\mathrm{\nabla <!--\; \nabla \; -->}f},$$\mathbb {R} [[x_{1},\ldots ,x_{n}]]/I_{\nabla f},$  а её размерность $\mathrm{\mu <!--\; \mu \; -->}=\dim \mathbb{R}[[x_1,\dots <!--\; \dots \; -->,x_n]]/I_{\mathrm{\nabla <!--\; \nabla \; -->}f}$$\mu =\dim \,\mathbb {R} [[x_{1},\ldots ,x_{n}]]/I_{\nabla f}$  называется кратностью функции $f$$f$  в точке $O.$$O.$

В случае, когда функции $\mathrm{\partial <!--\; \partial \; -->}f/\mathrm{\partial <!--\; \partial \; -->}{x}_1,\dots <!--\; \dots \; -->,\mathrm{\partial <!--\; \partial \; -->}f/\mathrm{\partial <!--\; \partial \; -->}{x}_n$$\partial f/\partial x_{1},\ldots ,\partial f/\partial x_{n}$  имеют в точке $O$$O$  линейно независимые градиенты (это условие равносильно тому, что гессиан функции $f$$f$  отличен от нуля), кратность $\mathrm{\mu <!--\; \mu \; -->}=1$$\mu =1$ , и критическая точка $O$$O$  называется невырожденной. Удобно также положить $\mathrm{\mu <!--\; \mu \; -->}=0$$\mu =0$  в случае некритической точки.

Функции одной переменнойПравить

В этом случае $n=1$$n=1$ , и кратность $\mathrm{\mu <!--\; \mu \; -->}$$\mu$  критической точки $O$$O$  может быть определена условием:

$\frac{d^{i}f}{d{x}^i}(O)=0(\mathrm{\forall <!--\; \forall \; -->}i=1,\dots <!--\; \dots \; -->,\mathrm{\mu <!--\; \mu \; -->}),\frac{d^{\mathrm{\mu <!--\; \mu \; -->}+1}f}{d{x}^{\mathrm{\mu <!--\; \mu \; -->}+1}}(O)\ne <!--\; \ne \; -->0,$${\frac {d^{i}f}{dx^{i}}}(O)=0\quad (\forall i=1,\ldots ,\mu ),\quad {\frac {d^{\mu +1}f}{dx^{\mu +1}}}(O)\neq 0,$ 

при этом значение $\mathrm{\mu <!--\; \mu \; -->}=0$$\mu =0$  соответствует некритической точке. Действительно, так как в этом случае степенной ряд функции $\mathrm{\nabla <!--\; \nabla \; -->}f=\mathrm{\partial <!--\; \partial \; -->}f/\mathrm{\partial <!--\; \partial \; -->}x$$\nabla f={\partial f}/{\partial x}$  начинается с члена $x^{\mathrm{\mu <!--\; \mu \; -->}},$$x^{\mu },$  то любой элемент $g\in <!--\; \in \; -->\mathbb{R}[[x]]$$g\in \mathbb {R} [[x]]$  представим в виде $g=p_{\mathrm{\mu <!--\; \mu \; -->}-<!--\; -\; -->1}+\mathrm{\alpha <!--\; \alpha \; -->}\cdot <!--\; \cdot \; -->\mathrm{\nabla <!--\; \nabla \; -->}f$$g=p_{\mu -1}+\alpha \cdot \nabla f$ , где $\mathrm{\alpha <!--\; \alpha \; -->}\in <!--\; \in \; -->\mathbb{R}[[x]]$$\alpha \in \mathbb {R} [[x]]$  и $p_{\mathrm{\mu <!--\; \mu \; -->}-<!--\; -\; -->1}$$p_{\mu -1}$  — многочлен степени $\mathrm{\mu <!--\; \mu \; -->}-<!--\; -\; -->1,$$\mu -1,$  задаваемый $\mathrm{\mu <!--\; \mu \; -->}$$\mu$  коэффициентами, т.е. $\dim \mathbb{R}[[x]]/I_{\mathrm{\nabla <!--\; \nabla \; -->}f}=\mathrm{\mu <!--\; \mu \; -->}.$$\dim \,\mathbb {R} [[x]]/I_{\nabla f}=\mu .$ 

Теорема Тужрона в этом случае принимает тривиальный вид: в окрестности критической точки конечной кратности $\mathrm{\mu <!--\; \mu \; -->}$$\mu$  существуют координаты, в которых функция имеет вид

$f(x)=x^{\mathrm{\mu <!--\; \mu \; -->}+1}.$$f(x)=x^{\mu +1}.$

Функции нескольких переменныхПравить

В этом случае важной характеристикой критической точки $O$$O$  является ранг $r$$r$  матрицы Гессе $H(f)$$H(f)$  в точке $O$$O$ .

• Если $r=n$$r=n$ , то (по лемме Морса) в окрестности точки $O$$O$  функция $f(x)$$f(x)$  с помощью выбора гладких локальных координат приводится к виду

$\underset{i=1}{\overset{n}{\sum <!--\; \sum \; -->}}{\mathrm{\alpha <!--\; \alpha \; -->}}_i{x}_i^2,{\mathrm{\alpha <!--\; \alpha \; -->}}_i=\pm <!--\; \pm \; -->1.$$\sum _{i=1}^{n}\alpha _{i}x_{i}^{2},\quad \alpha _{i}=\pm 1.$

• Если $r=n-<!--\; -\; -->1$$r=n-1$ , то в окрестности точки $O$$O$  функция $f(x)$$f(x)$  с помощью выбора гладких локальных координат приводится к виду

$\underset{i=1}{\overset{n-<!--\; -\; -->1}{\sum <!--\; \sum \; -->}}{\mathrm{\alpha <!--\; \alpha \; -->}}_i{x}_i^2+g(x_n),{\mathrm{\alpha <!--\; \alpha \; -->}}_i=\pm <!--\; \pm \; -->1,$$\sum _{i=1}^{n-1}\alpha _{i}x_{i}^{2}+g(x_{n}),\quad \alpha _{i}=\pm 1,$ 

и, если кратность функции $g(x_n)$$g(x_{n})$  равна $\mu <\infty$ , то приводится к виду

$\sum _{i=1}^{n-1}\alpha _{i}x_{i}^{2}+x_{n}^{\mu +1},\quad \alpha _{i}=\pm 1,\quad 2\leq \mu <\infty .$

• Если $r=n-<!--\; -\; -->2$$r=n-2$ , то в окрестности точки $O$$O$  функция $f(x)$$f(x)$  с помощью выбора гладких локальных координат приводится к виду

$\underset{i=1}{\overset{n-<!--\; -\; -->2}{\sum <!--\; \sum \; -->}}{\mathrm{\alpha <!--\; \alpha \; -->}}_i{x}_i^2+g(x_{n-<!--\; -\; -->1},x_n),{\mathrm{\alpha <!--\; \alpha \; -->}}_i=\pm <!--\; \pm \; -->1,$$\sum _{i=1}^{n-2}\alpha _{i}x_{i}^{2}+g(x_{n-1},x_{n}),\quad \alpha _{i}=\pm 1,$ 

где ряд Тейлора функции $g(x_{n-<!--\; -\; -->1},x_n)$$g(x_{n-1},x_{n})$  начинается с мономов степени $\ge <!--\; \ge \; -->3.$$\geq 3.$ 

• Если кубическая часть функции $g(x_{n-<!--\; -\; -->1},x_n)$$g(x_{n-1},x_{n})$  имеет три различных (вещественных или комплексных) корня, то $f(x)$$f(x)$  приводится к виду

$\underset{i=1}{\overset{n-<!--\; -\; -->2}{\sum <!--\; \sum \; -->}}{\mathrm{\alpha <!--\; \alpha \; -->}}_i{x}_i^2+x_{n-<!--\; -\; -->1}{x}_n^2\pm <!--\; \pm \; -->x_n^3,{\mathrm{\alpha <!--\; \alpha \; -->}}_i=\pm <!--\; \pm \; -->1.$$\sum _{i=1}^{n-2}\alpha _{i}x_{i}^{2}+x_{n-1}x_{n}^{2}\pm x_{n}^{3},\quad \alpha _{i}=\pm 1.$

• Если кубическая часть функции $g(x_{n-<!--\; -\; -->1},x_n)$$g(x_{n-1},x_{n})$  имеет два различных корня (один из них — кратный), то, при выполнении дополнительного условия общности положения, функция $f(x)$$f(x)$  приводится к виду

$\sum _{i=1}^{n-2}\alpha _{i}x_{i}^{2}+x_{n-1}x_{n}^{2}\pm x_{n}^{\mu +1},\quad \alpha _{i}=\pm 1,\quad 3\leq \mu <\infty .$

Теорема деленияПравить

Пусть $f:{\mathbb{R}}^{n+1}\to <!--\; \to \; -->\mathbb{R}$$f:\mathbb {R} ^{n+1}\to \mathbb {R}$  — гладкая функция от $n+1$$n+1$  переменной $x,y_1,\dots <!--\; \dots \; -->,y_n$$x,y_{1},\ldots ,y_{n}$ , имеющая точку $0\in <!--\; \in \; -->{\mathbb{R}}^{n+1}$$0\in \mathbb {R} ^{n+1}$  своей критической точкой конечной кратности $\mathrm{\mu <!--\; \mu \; -->}\ge <!--\; \ge \; -->0$$\mu \geq 0$  по переменной $x$$x$ , т.е. $\frac{{\mathrm{\partial <!--\; \partial \; -->}}^{i}f}{\mathrm{\partial <!--\; \partial \; -->}{x}^i}(0)=0(\mathrm{\forall <!--\; \forall \; -->}i=1,\dots <!--\; \dots \; -->,\mathrm{\mu <!--\; \mu \; -->}),\frac{{\mathrm{\partial <!--\; \partial \; -->}}^{\mathrm{\mu <!--\; \mu \; -->}+1}f}{\mathrm{\partial <!--\; \partial \; -->}{x}^{\mathrm{\mu <!--\; \mu \; -->}+1}}(0)\ne <!--\; \ne \; -->0.(\ast <!--\; \ast \; -->)$${\frac {\partial ^{i}f}{\partial x^{i}}}(0)=0\quad (\forall i=1,\ldots ,\mu ),\quad {\frac {\partial ^{\mu +1}f}{\partial x^{\mu +1}}}(0)\neq 0.\quad \ (*)$  Тогда в окрестности точки $0$$0$  функция $f$$f$  представима в виде $f(x,y_1,\dots <!--\; \dots \; -->,y_n)=\mathrm{\phi <!--\; \phi \; -->}(x,y_1,\dots <!--\; \dots \; -->,y_n)\cdot <!--\; \cdot \; -->(x^{\mathrm{\mu <!--\; \mu \; -->}+1}+\underset{i=0}{\overset{\mathrm{\mu <!--\; \mu \; -->}}{\sum <!--\; \sum \; -->}}{a}_i(y_1,\dots <!--\; \dots \; -->,y_n)x^{\mathrm{\mu <!--\; \mu \; -->}-<!--\; -\; -->i}),(\ast <!--\; \ast \; -->\ast <!--\; \ast \; -->)$$f(x,y_{1},\ldots ,y_{n})=\varphi (x,y_{1},\ldots ,y_{n})\cdot {\Bigl (}x^{\mu +1}+\sum _{i=0}^{\mu }a_{i}(y_{1},\ldots ,y_{n})x^{\mu -i}{\Bigr )},\quad \ (**)$  где $\mathrm{\phi <!--\; \phi \; -->}$$\varphi$  и $a_i$$a_{{i}}$  — гладкие функции своих аргументов, $\mathrm{\phi <!--\; \phi \; -->}(x,y_1,\dots <!--\; \dots \; -->,y_n)$$\varphi (x,y_{1},\ldots ,y_{n})$  не обращается в нуль и $a_i(0,\dots <!--\; \dots \; -->,0)=0$$a_{i}(0,\ldots ,0)=0$  для всех $i<\mu$ .

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

Критические точки отображенийПравить

Кратность критической точки $C^{\mathrm{\infty <!--\; \infty \; -->}}$$C^{\infty }$ -гладкого отображения $f:{\mathbb{R}}^n\to <!--\; \to \; -->{\mathbb{R}}^n,$$f:\mathbb {R} ^{n}\to \mathbb {R} ^{n},$  $n>1,$$n>1,$  — это размерность локальной алгебры данного отображения.

Пусть $f:{\mathbb{R}}^n\to <!--\; \to \; -->{\mathbb{R}}^n$$f:\mathbb {R} ^{n}\to \mathbb {R} ^{n}$  — $C^{\mathrm{\infty <!--\; \infty \; -->}}$$C^{\infty }$ -гладкое отображение, имеющее $O\in <!--\; \in \; -->{\mathbb{R}}^n$$O\in \mathbb {R} ^{n}$  своей критической точкой. Отображение $f$$f$  задается набором $n$$n$  функций $f_1,\dots <!--\; \dots \; -->,f_n$$f_{1},\ldots ,f_{n}$  от $n$$n$  переменных $x_1,\dots <!--\; \dots \; -->,x_n$$x_{1},\ldots ,x_{n}$ . Введем следующие обозначения: $\mathbb{R}[[x_1,\dots <!--\; \dots \; -->,x_n]]$$\mathbb {R} [[x_{1},\ldots ,x_{n}]]$  — алгебра формальных степенных рядов от переменных $x_1,\dots <!--\; \dots \; -->,x_n$$x_{1},\ldots ,x_{n}$  с центром в $O.$$O.$  $I_f=(f_1,\dots <!--\; \dots \; -->,f_n)$$I_{f}=(f_{1},\ldots ,f_{n})$  — идеал в алгебре гладких функций, порожденный образующими $f_1,\dots <!--\; \dots \; -->,f_n.$$f_{1},\ldots ,f_{n}.$  Сопоставляя каждой гладкой функции её формальный ряд Тейлора, мы получаем вложение $I_f$$I_{f}$  в алгебру $\mathbb{R}[[x_1,\dots <!--\; \dots \; -->,x_n]]$$\mathbb {R} [[x_{1},\ldots ,x_{n}]]$ . Локальной алгеброй отображения в точке $O$$O$  называется факторалгебра $\mathbb{R}[[x_1,\dots <!--\; \dots \; -->,x_n]]/I_f,$$\mathbb {R} [[x_{1},\ldots ,x_{n}]]/I_{f},$  а её размерность $\mathrm{\mu <!--\; \mu \; -->}=\dim \mathbb{R}[[x_1,\dots <!--\; \dots \; -->,x_n]]/I_f$$\mu =\dim \,\mathbb {R} [[x_{1},\ldots ,x_{n}]]/I_{f}$  называется кратностью отображения $f$$f$  в точке $O.$$O.$

См. такжеПравить

• Лемма Морса. Теорема Тужрона

ЛитератураПравить

• Арнольд В. И., Варченко А. Н., Гусейн-Заде С. М. Особенности дифференцируемых отображений, — Любое издание.
• Брёкер Т., Ландер Л. Дифференцируемые ростки и катастрофы, — Любое издание.
• Голубицкий М., Гийемин В. Устойчивые отображения и их особенности, — М.: Мир, 1977.
• Хёрмандер Л. Введение в теорию функций нескольких комплексных переменных, — М.: Мир, 1968.
• Сборник статей: Особенности дифференцируемых отображений, — М.: Мир, 1968.
• Паламодов В.П. О кратности голоморфного отображения, — Функц. анализ и его прил., 1:3 (1967), стр. 54–65.
• Арнольд В. И. Замечание о подготовительной теореме Вейерштрасса, — Функц. анализ и его прил., 1:3 (1967), стр. 1–8.
• Павлова Н.Г., Ремизов А.О. Введение в теорию особенностей. — М.: Изд-во МФТИ, 2022. — 181 с. — ISBN 978-5-7417-0794-4.