Неш-Мозерова теорема

Од Википедија — слободната енциклопедија
Прејди на прегледникот Прејди на пребарувањето

Неш-Мозерова теорема — воопштување на теоремата на инверзна функција на Банаховите простори во вид на Фрешеови простори. За разлика од случајот со Банахов простор, во којшто инверзноста на изводот во некоја точка е доволен за пресликувањето да биде локално инверзно, Неш-Мозеровата теорема бара изводот да биде инверзен во некоја соседна точка. Теоремата се користи за да се докаже локалната необичност на нелинеарните парцијалните диференцијални равенки во простори на рамни функции.

Теоремата е именувана по математичарите Џон Форбс Неш и Јирген Мозер. Џон Неш започнал да работи на теоремата како исчекор кон неговиот доказ на теоријата на вметнување,[1] а Јирген Мозер покажал дека методите коишто ги употребил Неш би можеле успешно да се применат при решавањето на проблеми во врска со периодичните орбити во небесната механика.[2][3]

Формално тврдење[уреди | уреди извор]

Формалното тврдење на теоремата е следното:[4]

Нека и се Фрешеови простори и нека е рамно пресликување. Под претпоставка дека равенството на изводот има единствено решение за сите и сите и дека семејството на инверзни функции е рамно пресликување, тогаш е функција со локална инверзност и секоја локално инверзна функција е рамно пресликување.

Поврзано[уреди | уреди извор]

Наводи[уреди | уреди извор]

  1. Nash, John (1956), „The imbedding problem for Riemannian manifolds“, Annals of Mathematics 63 (1): 20–63, JSTOR 1969989, MR 0075639, doi:10.2307/1969989 .
  2. Moser, Jürgen (1966a), „A rapidly convergent iteration method and non-linear partial differential equations. I“, Ann. Scuola Norm. Sup. Pisa (3) 20: 265–315, MR 0199523 
  3. Moser, Jürgen (1966b), „A rapidly convergent iteration method and non-linear partial differential equations. II“, Ann. Scuola Norm. Sup. Pisa (3) 20: 499–535, MR 0206461 
  4. Hamilton, Richard S.. The inverse function theorem of Nash and Moser (PDF-12MB). „Bulletin of the American Mathematical Society“ том  7 (1): 65–222. doi:10.1090/S0273-0979-1982-15004-2. http://www.ams.org/bull/1982-07-01/S0273-0979-1982-15004-2. .