Related papers: An implicit function theorem for non-smooth maps b…

I present an inverse function theorem for differentiable maps between Frechet spaces which contains the classical theorem of Nash and Moser as a particular case. In contrast to the latter, the proof does not rely on the Newton iteration…

We consider the classical Inverse Function Theorem of Nash and Moser from the angle of some recent development by Ekeland and the authors. Geometrisation of tame estimates coupled with certain ideas coming from Variational Analysis when…

We prove a Nash-Moser type inverse function theorem in Frechet spaces for functions with approximate inverses, allowing for a loss of derivatives proportional to $n$ in the way of Lojasiewicz and Zehnder.

In this paper, we present some implicit function theorems for set-valued mappings between Fr\'echet spaces. The proof relies on Lebesgue's Dominated Convergence Theorem and on Ekeland's variational principle. An application to the existence…

We prove implicit function theorems for mappings on topological vector spaces over valued fields. In the real and complex cases, we obtain implicit function theorems for mappings from arbitrary (not necessarily locally convex) topological…

We prove surjectivity result in Fr\'echet spaces of Nash-Moser type. That is, with uniform estimates over all semimorms. Our method works for functions which are only continuous and G\^ateaux differentiable like in the recent result of…

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…

We prove an abstract Nash-Moser implicit function theorem which, when applied to control and Cauchy problems for PDEs in Sobolev class, is sharp in terms of the loss of regularity of the solution of the problem with respect to the data. The…

We establish the following converse of the well-known inverse function theorem. Let $g:U\to V$ and $f:V\to U$ be inverse homeomorphisms between open subsets of Banach spaces. If $g$ is differentiable of class $C^p$ and $f$ if locally…

The aim of this article is to present the category of bounded Frechet manifolds in respect to which we will review the geometry of Frechet manifolds with a stronger accent on its metric aspect. An inverse function theorem in the sense of…

We examine how implicit functions on ILB-Fr\'echet spaces can be obtained without metric or norm estimates which are classically assumed. We obtain implicit functions defined on a domain $D$ which is not necessarily open, but which contains…

We prove an implicit function theorem and an inverse function theorem for free noncommutative functions over operator spaces and on the set of nilpotent matrices. We apply these results to study dependence of the solution of the initial…

This article shows a very elementary and straightforward proof of the Implicit Function Theorem for differentiable maps $F(x,y)$ defined on a finite-dimensional Euclidean space. There are no hypothesis on the continuity of the partial…

For the Frechet space E=C^{\infty}(S^1) and for a smooth \phi: R to R, we prove that the associated map E to E given by x mapsto\phi\circ x satisfies the continuous B\Gamma--differentiability condition in Yamamuro's inverse function theorem…

We prove a non-smooth generalization of the global implicit function theorem. More precisely we use the non-smooth local implicit function theorem and the non-smooth critical point theory in order to prove a non-smooth global implicit…

We study the existence of global implicit functions for equations defined on open subsets of Banach spaces. The partial derivative with respect to the second variable is only required to have a left inverse instead of being invertible.…

The central purpose of this article is to establish new inverse and implicit function theorems for differentiable maps with isolated critical points. One of the key ingredients is a discovery of the fact that differentiable maps with…

We give several versions of local and global inverse mapping theorem for tame non necessarily smooth, mappings. Here tame mapping means a mapping which is subanalytic or, more generally, definable in some o-minimal structure. Our sufficient…

We discuss a Nash-Moser/ KAM algorithm for the construction of invariant tori for {\em tame} vector fields. Similar algorithms have been studied widely both in finite and infinite dimensional contexts: we are particularly interested in the…

Sufficient conditions are given for a hard implicit function theorem to hold. The result is established by an application of the Dynamical Systems Method (DSM). It allows one to solve a class of nonlinear operator equations in the case when…