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

This article presents simple and easy proofs of the Implicit Function Theorem and the Inverse Function Theorem, in this order, both of them on a finite-dimensional Euclidean space, that employ only the Intermediate Value Theorem and the…

We present a generalization of the inverse mapping theorem, where variations of a weaker non-expansiveness property (referred to as property ${\sf A}$) replace the key $\mathsf{C}^1$ condition. We also obtain inverse mapping theorems that…

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…

We provide a functional characterization of isometries between non-reversible Finsler manifolds, in the form of a generalization of the Myers-Nakai Theorem for Riemannian manifolds. We show that, since non-reversible Finsler manifolds are a…

Perturbations due to round-off errors in computer modeling are discontinuous and therefore one cannot use results like KAM theory about smooth perturbations of twist maps. We elaborate a special approximation scheme to construct two smooth…

We prove an abstract Implicit Function Theorem with parameters for smooth operators defined on sequence scales, modeled for the search of quasi-periodic solutions of PDEs. The tame estimates required for the inverse linearised operators at…

A semialgebraic map $f:X\to Y$ between two real algebraic sets is called blow-Nash if it can be made Nash (i.e. semialgebraic and real analytic) by composing with finitely many blowings-up with non-singular centers. We prove that if a…

We establish a general slice theorem for the action of a locally convex Lie group on a locally convex manifold, which generalizes the classical slice theorem of Palais to infinite dimensions. We discuss two important settings under which…

In reverse mathematics, is is possible to have a curious situation where we know that an implication does not reverse, but appear to have no information on on how to weaken the assumption while preserving the conclusion. A main cause of…

The problem of applying Nash-Moser Newton methods to obtain periodic solutions of the compressible Euler equations has led authors to identify the main obstacle, namely, how to invert operators which impose periodicity when they are based…

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.

We study the invertibility nonsmooth maps between infinite-dimensional Banach spaces. To this end, we introduce an analogue of the notion of pseudo-Jacobian matrix of Jeyakumar and Luc in this infinite-dimensional setting. Using this, we…

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

This article presents an elementary proof of the Implicit Function Theorem for differentiable maps F(x,y), defined on a finite-dimensional Euclidean space, with $\frac{\partial F}{\partial y}(x,y)$ only continuous at the base point. In the…

In the paper, we improve our earlier results concerning the existence, uniqueness and differentiability of a global implicit function. Some application to a Cauchy problem for an integro-differential Volterra system of nonconvolution type,…

Grothendieck duality theory assigns to essentially-finite-type maps f of noetherian schemes a pseudofunctor f^\times right-adjoint to Rf_*, and a pseudofunctor f^! agreeing with f^\times when f is proper, but equal to the usual inverse…

In weighted Orlicz type spaces ${\mathcal S}_{_{\scriptstyle \mathbf p,\,\mu}}$ with a variable summation exponent, the direct and inverse approximation theorems are proved in terms of best approximations of functions and moduli of…

In the Orlicz type spaces ${\mathcal S}_{M}$, we prove direct and inverse approximation theorems in terms of the best approximations of functions and moduli of smoothness of fractional order. We also show the equivalence between moduli of…

We prove an implicit function theorem for non-commutative functions. We use this to show that if $p(X,Y)$ is a generic non-commuting polynomial in two variables, and $X$ is a generic matrix, then all solutions $Y$ of $p(X,Y)=0$ will commute…

We consider non oscillatory functions and prove an everywhere Fourier Inversion Theorem for functions of very moderate decrease. The proofs rely on some ideas in nonstandard analysis.