“Nash–Moser theorem”的意思、由来-开放百科全书

词条

Nash–Moser theorem

释义

Introduction
History
Formal statement
References

The Nash–Moser theorem, attributed to mathematicians John Forbes Nash and Jürgen Moser, is a generalization of the inverse function theorem on Banach spaces to a class of "tame" Fréchet spaces.

Introduction

In contrast to the Banach space case, in which the invertibility of the derivative at a point is sufficient for a map to be locally invertible, the Nash–Moser theorem requires the derivative to be invertible in a neighborhood. The theorem is widely used to prove local existence for non-linear partial differential equations in spaces of smooth functions. It is particularly useful when the inverse to the derivative "loses" derivatives, and therefore the Banach space implicit function theorem cannot be used.

History

While {{harvtxt|Nash|1956}} originated the theorem as a step in his proof of the Nash embedding theorem, {{harvs|txt|last=Moser|year1=1966a|year2=1966b}} showed that Nash's methods could be successfully applied to solve problems on periodic orbits in celestial mechanics.

Formal statement

There is no all-encompassing version of the Nash-Moser theorem. One widely cited version, due to Richard Hamilton, reads as follows:^[1]

Let and be tame Fréchet spaces and let be a smooth tame map. Suppose that the equation for the derivative has a unique solution for all and all , and that the family of inverses is a smooth tame map. Then P is locally invertible, and each local inverse is a smooth tame map.

References

1. ^ {{cite journal |authorlink=Richard S. Hamilton |last = Hamilton |first = Richard S. |title = The inverse function theorem of Nash and Moser |journal = Bulletin of the American Mathematical Society |volume = 7 |issue = 1 |year = 1982 |pages = 65–222 |url = http://www.ams.org/bull/1982-07-01/S0273-0979-1982-15004-2 |format = PDF-12MB |doi = 10.1090/S0273-0979-1982-15004-2 |mr=0656198}}. (A detailed exposition of the Nash–Moser theorem and its mathematical background.)

{{citation|last=Moser|first=Jürgen|title=A rapidly convergent iteration method and non-linear partial differential equations. I|url=http://www.numdam.org/item?id=ASNSP_1966_3_20_2_265_0 |mr=0199523|year=1966a|journal=Ann. Scuola Norm. Sup. Pisa (3)|volume=20|pages=265–315}}
{{citation|last=Moser|first=Jürgen|title=A rapidly convergent iteration method and non-linear partial differential equations. II|url=http://www.numdam.org/item?id=ASNSP_1966_3_20_3_499_0|mr=0206461|year=1966b|journal=Ann. Scuola Norm. Sup. Pisa (3)|volume=20|pages=499–535}}
{{citation|first=John|last=Nash|authorlink=John Forbes Nash, Jr.|title=The imbedding problem for Riemannian manifolds|journal=Annals of Mathematics|volume=63|year=1956|pages=20–63|jstor=1969989|doi=10.2307/1969989|issue=1|mr=0075639}}.

4 : Differential equations|Topological vector spaces|Inverse functions|Theorems in functional analysis

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。