Лема Морса

Лема Морса — твердження, яке описує будову ростка гладкої дійсної функції у невиродженій критичній точці. Названа на честь видатного американського математика Марстона Морса.

Нехай — функція класу , де , що має точку своєю невиродженою критичною точкою, тобто в цій точці диференціал овертається в нуль, а матриця Гессе відмінна від нуля. Тоді в деякому околі точки існує така система -гладких локальних координат (карта) з початком у точці , що для всіх має місце рівність

.

При цьому число , що визначається сигнатурою квадратичної частини ростка в точці , є індексом Морса критичної точки функції .

Доведення

Линійна частина функції в точці рівна нулю, а квадратична частина невирождена. Зробимо лінійну заміну змінних , що зводить квадратичну частину до канонічного вигляду .

Потім, двічі застосовуючи лему Адамара, представимо у вигляді

,

де всі — функциї класу , що обертаються в нуль в точці . Заміна змінних , що визначена у деякому околі точки , приводить до необхідної форми.

Варіації та узагальнення

  • Теорема Тужрона.

В околі критичної точки скінченної кратності існує система координат, в якій гладка функція має вигляд многочлена ступеня (як можна взяти многочлен Тейлора функції у точці у вихідних координатах). У разі невиродженої критичної точки кратність , і теорема Тужрона перетворюється на лему Морса.

  • Лема Морса з параметрами або лема про розщеплення особливості.

Нехай — гладка функція, що має початок координат своєю критичною точкою, невиродженою за змінними . Тоді в околі точки існують гладкі координати, в яких

де — деяка гладка функція. Це твердження дозволяє звести дослідження особливості (критичної точки) функції від змінних до дослідження особливості функції від меншого числа змінних (а саме, від числа змінних, рівного корангу гессіана вихідної функції).

Література

  • Арнольд В. И., Варченко А. Н., Гусейн-Заде С. М. Особенности дифференцируемых отображений, — Будь-яке видання.
  • Зорич В. А. Математический анализ. — 10-е. — М : МЦНМО, 2019. — Т. 1. — 564 с. — ISBN 978-5-4439-4029-8.(рос.)
  • Хирш М. Дифференциальная топология, — Будь-яке видання.
  • Takens F. A note on sufficiency of jets. — Inventiones Mathematicae, vol. 13, no 3, 1971, pp. 225—231.
  • Самойленко А. М. Об эквивалентности гладкой функции полиному Тэйлора в окрестности критической точки конечного типа, — Функц. анализ и его прил., 2:4 (1968), стр. 63–69.
  • Даринский Б.М., Сапронов Ю.И., Царев С.Л. Бифуркация экстремалей фредгольмовых функционалов, — СМФН, 12, М., 2004, стр. 3–140.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.