Premium
An Inverse Function Theorem for Fréchet Spaces Satisfying a Smoothing Property and (DN)
Author(s) -
Poppenberg Markus
Publication year - 1999
Publication title -
mathematische nachrichten
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.913
H-Index - 50
eISSN - 1522-2616
pISSN - 0025-584X
DOI - 10.1002/mana.19992060105
Subject(s) - mathematics , smoothing , hilbert space , function space , pure mathematics , inverse , inverse function theorem , space (punctuation) , closure (psychology) , extension (predicate logic) , gravitational singularity , function (biology) , mathematical analysis , picard–lindelöf theorem , fixed point theorem , geometry , linguistics , statistics , philosophy , evolutionary biology , computer science , economics , programming language , market economy , biology
Classical inverse function theorems of Nash‐Moser type are proved for Fréchet spaces that admit smoothing operators as introduced by Nash. In this note an inverse function theorem is proved for Fréchet spaces which only have to satisfy the condition (DN) of Vogt and the smoothing property (S Ω ) t ; for instance, any Fréchet‐Hilbert space which is an (Ω)‐space in standard form has property (S Ω ) t . The main result of this paper generalizes a theorem of Lojasiewicz and Zehnder. It can be applied to the space C ∞ (K) if the compact K ⊂ ℝ N is the closure of its interior and subanalytic; different from classical results the boundary of K may have singularities like cusps. The growth assumptions on the mappings are formulated in terms of the weighted multiseminorms [ ] m,k introduced in this paper; nonlinear smooth partial differential operators on C ∞ (K) and their derivatives satisfy these formal assumptions.