Implicit functions from topological vector spaces to Fréchet spaces in the presence of metric estimates

2006/12/22 by Helge Glockner, Glockner, Helge
Mathematics · #26E20 #35A07 #46A04 #46A13 #46A61 #46G20 #47H10 #58C15 (Primary) 26E15 #58C20 (Secondary) #FOS: Mathematics #Functional Analysis (math.FA) #math.FA #msc:26E15 #msc:26E20 #msc:35A07 #msc:46A04 #msc:46A13 #msc:46A61 #msc:46G20 #msc:47H10 #msc:58C15 #msc:58C20

paper · pdf · doi:10.48550/arxiv.math/0612673

51 pages, LaTeX (v5: revision of introduction)

arxiv created 2007/04/26 · arxiv updated 2009/12/01

Abstract

We prove an implicit function theorem for Keller C^k_c-maps from arbitrary real or complex topological vector spaces to Frechet spaces, imposing only a certain metric estimate on the partial differentials. As a tool, we show the C^k-dependence of fixed points on parameters for suitable families of contractions of a Frechet space. The investigations were stimulated by a recent metric approach to differentiability in Frechet spaces by Olaf Mueller. Our results also subsume generalizations of Mueller's Inverse Function Theorem for mappings between Frechet spaces. As an application, we prove existence and uniqueness of solutions to suitable ordinary differential equations in Frechet spaces, and study their dependence on initial conditions and parameters.

Related

• Ekeland's inverse function theorem in graded Fréchet spaces revisited for multifunctions
• Finite order differentiability properties, fixed points and implicit functions over valued fields
• On the domain of implicit functions in a projective limit setting\n without additional norm estimates
• Implicit Functions from Topological Vector Spaces to Banach Spaces
• On Yamamuro's inverse and implicit function theorems in terms of calibrations