Кратность критической точки: различия между версиями
[непроверенная версия] | [непроверенная версия] |
AGusakov (обсуждение | вклад) скорр. Ссылку идентичную отображаемому тексту |
|||
Строка 30: | Строка 30: | ||
<math> |
<math> |
||
\frac{\partial^i f}{\partial x^i}(0) = 0 \quad (\forall i=1, \ldots, \mu), \quad |
\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. |
\frac{\partial^{\mu+1} f}{\partial x^{\mu+1}}(0) \neq 0. \quad \ (*) |
||
</math> |
</math> |
||
Тогда в окрестности точки <math>0</math> функция <math>f</math> представима в виде |
Тогда в окрестности точки <math>0</math> функция <math>f</math> представима в виде |
||
<math>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),</math> |
<math>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 \ (**)</math> |
||
где <math>\varphi</math> и <math>a_{i}\,</math> — гладкие функции своих аргументов, <math>a_{i}(0,\ldots,0)=0\,</math> и <math>\varphi(x,y_1, \ldots, y_n)</math> не обращается в нуль. |
где <math>\varphi</math> и <math>a_{i}\,</math> — гладкие функции своих аргументов, <math>a_{i}(0,\ldots,0)=0\,</math> и <math>\varphi(x,y_1, \ldots, y_n)</math> не обращается в нуль. |
||
Впервые эта теорема была доказа [[Вейерштрасс|Вейерштрассом]] для [[Голоморфная функция|голоморфных функциий]] комплексных переменных (теорема деления ''по Вейерштрассу''). Приведённый выше вещественный аналог часто называют теоремой деления ''по Мальгранжу'' или ''по Мазеру''. |
Впервые эта теорема была доказа [[Вейерштрасс|Вейерштрассом]] для [[Голоморфная функция|голоморфных функциий]] комплексных переменных (теорема деления ''по Вейерштрассу''). Приведённый выше вещественный аналог часто называют теоремой деления ''по Мальгранжу'' или ''по Мазеру''. |
||
Из теоремы деления вытекает следующее полезное следствие: |
|||
'''Следствие'''. |
|||
Если [[росток (математика)|росток]] гладкой функции <math>f(x,y_1, \ldots, y_n)</math> обращается в нуль на гиперплоскости <math>x=0</math>, то он представим в виде <math>f=x g(x,y_1, \ldots, y_n),</math> где <math>g</math> — гладкая функция. |
|||
'''Доказательство'''. Докажем утверждение для функции <math>f(x,y_1, \ldots, y_n),</math> удовлетворяющей условию (*) с некоторым конечным <math>\mu>0</math>. Добиться выполнения этого условия можно всегда, прибавив к функции <math>f</math> многочлен <math>c_{\mu}x^{\mu}+\cdots+c_1x</math>, что, очевидно, не меняет доказываемого утверждения. Тогда в окрестности точки <math>0</math> функция <math>f</math> представима в виде (**), где стоящее в скобках выражение тождественно обращается в нуль при <math>x=0</math>. Отсюда следует, что <math>a_{\mu}(y_1, \ldots, y_n) \equiv 0</math>. Вынося за скобки общий множитель <math>x</math>, получаем требуемое представление функции <math>f</math>. |
|||
== См. также == |
== См. также == |
Версия от 18:52, 7 апреля 2010
Кратность критической точки гладкого отображения — размерность так называемой локальной алгебры градиентного отображения.
Пусть — гладкая функция от переменных , имеющая своей критической точкой. Соответствующее градиентное отображение задается формулой Введем следующие обозначения:
Локальной алгеброй градиентного отображения в точке называется факторалгебра а её размерность называется кратностью отображения в точке Шаблон:/рамка В случае, когда функции имеют в точке линейно независимые градиенты (это условие равносильно тому, что гессиан функции отличен от нуля), кратность , и критическая точка называется невырожденной. СлучайВ этом случае кратность критической точки может быть определена следующим условием:
Действительно, так как в этом случае степенной ряд функции начинается с члена то любой элемент представим в виде , где и — многочлен степени задаваемый коэффициентами, т.е. Теорема Тужрона в этом случае принимает тривиальный вид: в окрестности критической точки конечной кратности существуют координаты, в которых функция имеет вид Теорема деленияПусть — гладкая функция от переменной , имеющая точку своей критической точкой кратности по переменной , т.е.
Тогда в окрестности точки функция представима в виде
где и — гладкие функции своих аргументов, и не обращается в нуль. Впервые эта теорема была доказа Вейерштрассом для голоморфных функциий комплексных переменных (теорема деления по Вейерштрассу). Приведённый выше вещественный аналог часто называют теоремой деления по Мальгранжу или по Мазеру. Из теоремы деления вытекает следующее полезное следствие: Следствие. Если росток гладкой функции обращается в нуль на гиперплоскости , то он представим в виде где — гладкая функция. Доказательство. Докажем утверждение для функции удовлетворяющей условию (*) с некоторым конечным . Добиться выполнения этого условия можно всегда, прибавив к функции многочлен , что, очевидно, не меняет доказываемого утверждения. Тогда в окрестности точки функция представима в виде (**), где стоящее в скобках выражение тождественно обращается в нуль при . Отсюда следует, что . Вынося за скобки общий множитель , получаем требуемое представление функции . См. такжеЛитература
|