Related papers: An Inverse Function Theorem Converse

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…

For k=1,2,... infty and a Frolicher-Kriegl order k Lipschitz differentiable map f:E supseteq U to E having derivative at x_0 in U a linear homeomorphism E to E and satisfying a Colombeau type tameness condition, we prove that x_0 has a…

We prove an inverse function theorem of Nash-Moser type for maps between Fr\'echet spaces satisfying tame estimates. In contrast to earlier proofs, we do not use the Newton method, that is, we do not use quadratic convergence to overcome…

The Implicit and Inverse Function Theorems are special cases of a general Implicit/Inverse Function Theorem which can be easily derived from either theorem. The theorems can thus be easily deduced from each other via the generalized…

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.…

We prove that for every function $f:X\to Y$, where $X$ is a separable Banach space and $Y$ is a Banach space with RNP, there exists a set $A\in\tilde\mcA$ such that $f$ is Gateaux differentiable at all $x\in S(f)\setminus A$, where $S(f)$…

Since the Hadamard Theorem, several metric and topological conditions have emerged in the literature to date, yielding global inversion and implicit theorems for functions in different settings. Relevant examples are the mappings between…

We prove that if a mapping F:X to Y, where X and Y are Banach spaces, is metrically regular at x for y and its inverse F^{-1} is convex and closed valued locally around (x,y), then for any function G:X to Y with lip G(x)regF(x|y)) < 1, the…

In this paper we prove a local surjection theorem with continuous right-inverse for maps between Banach spaces, and we apply it to a class of inversion problems with loss of derivatives.

In this paper, in particular, we prove the following result: Let $E$ be a reflexive real Banach space and let $C\subset E$ be a closed convex set, with non-empty interior, whose boundary is sequentially weakly closed and non-convex. Then,…

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.

We prove that a locally bounded and differentiable in the sense of Gateaux function given in a finite-dimensional commutative Banach algebra over the complex field is also differentiable in the sense of Lorch.

We show that the existence of a strongly convex function with a Lipschitz derivative on a Banach space already implies that the space is isomorphic to a Hilbert space. Similarly, if both a function and its convex conjugate are $C^2$ then…

In this paper we prove an inverse function theorem in derived differential geometry. More concretely, we show that a morphism of curved $L_\infty$ spaces which is a quasi-isomorphism at a point has a local homotopy inverse. This theorem…

This article is centered around generalizing a previous implicit function theorem of the author to be applicable for maps f:E sqcap F to F which can be lifted to Keller C^k_pi maps f_i:E sqcap F_i to F_i with F_i Banach and F=projlim F_i .…

We show that the derivatives in the sense of Fr\'echet and G\^ateaux can be viewed as derivatives oriented towards a star convex set with the origin as center. The resulting oriented differential calculus extends the mean value theorem, the…

We investigate the differentiability properties of real-valued quasiconvex functions f defined on a separable Banach space X. Continuity is only assumed to hold at the points of a dense subset. If so, this subset is automatically residual.…

Let $\mathbb{H}$ be the general, reduced Heisenberg group. Our main result establishes the inverse-closedness of a class of integral operators acting on $L^{p}(\mathbb{H})$, given by the off-diagonal decay of the kernel. As a consequence of…

The following theorem is the main result of this note. Theorem 1. Let $(E, \|\cdot\|_E) $ be a rearrangement invariant Banach function space on the interval $[0, 1]$. If $E$ is isometric to $\L_p [0, 1]$ for some $1\le p<\infty$, then $E$…