Related papers: Diffeomorphisms with Banach space domains

Let f be local diffeomorphism between real Banach spaces. We prove that if the locally Lipschitz functional F(x)=1/2|f(x)-y|^2 satisfies the Chang Palais-Smale condition for all y in the target space of f, then f is a norm-coercive global…

We provide sufficient conditions for a mapping between two Banach spaces to be a diffeomorphism using the approach of an auxiliary functional and also by the aid of a duality mapping corresponding to a normalization function. We simplify…

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

Let $F: \mathbb{R}^n\to\mathbb{R}^n$ be a $C^{\infty}$ map such that $DF(x)$ is invertible for every $x\in\mathbb{R}^n$. Although being a local diffeomorphism, $F$ is not necessarily globally injective if $n\geq2$. Finding additional…

In this partly expository paper we discuss conditions for the global injectivity of $C^2$ semi-algebraic local diffeomorphisms $f:\mathbb{R}^n \to \mathbb{R}^n$. In case $n > 2$, we consider the foliations of $\mathbb{R}^n$ defined by the…

We give sufficient conditions for a $ C^1_c $-local diffeomorphism between Fr\'{e}chet spaces to be a global one. We extend the Clarke's theory of generalized gradients to the more general setting of Fr\'{e}chet spaces. As a consequence, we…

We prove that if X is an infinite-dimensional Banach space with C^p smooth partitions of unity, then X and X\K are C^p diffeomorphic, for every weakly compact subset K of X.

We provide sufficient conditions for a mapping acting between two Banach spaces to be a diffeomorphism.

We give an alternative proof of the stable manifold theorem as an application of the (right and left) inverse mapping theorem on a space of sequences. We investigate the diffeomorphism class of the global stable manifold, a problem which in…

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…

Our main result concerns the following condition: {\bf Condition C.} Let $X$ be a Banach space. A $C^1$ function $f:X\rightarrow \mathbb{R}$ satisfies Condition C if whenever $\{x_n\}$ weakly converges to $x$ and $\lim…

Let X be a Banach Space over K=R or C, and let f:=F+C be a weakly coercive operator from X onto X, where F is a C^1-operator, and C a C^1 compact operator. Sufficient conditions are provided to assert that the perturbed operator f is a…

A Banach space $E$ is said to be injective if for every Banach space $X$ and every subspace $Y$ of $X$ every operator $t:Y\to E$ has an extension $T:X\to E$. We say that $E$ is $\aleph$-injective (respectively, universally…

We prove a generalized implicit function theorem for Banach spaces, without the usual assumption that the subspaces involved being complemented. Then we apply it to the problem of parametrization of fibers of differentiable maps, the Lie…

Given a Banach space $X$ and a real number $\alpha\ge 1$, we write: (1) $D(X)\le\alpha$ if, for any locally finite metric space $A$, all finite subsets of which admit bilipschitz embeddings into $X$ with distortions $\le C$, the space $A$…

We consider topological conditions under which a locally invertible map admits a global inverse. Our main theorem states that a local diffeomorphism $f: M \to\mathbb{R}^n$ is bijective if and only if $H_{n-1}(M)=0$ and the pre-image of…

We provide sufficient conditions for a mapping $f:R^{n}\rightarrow R^{n}$ to be a global diffeomorphism in case it is strictly (Hadamard) differentiable. We use classical local invertibility conditions together with the non-smooth critical…

We construct an explicit diffeomorphism taking any fibration of a sphere by great circles into the Hopf fibration, using elementary geometry--indeed the diffeomorphism is a local (differential) invariant, algebraic in derivatives.

We make some remarks on the global shape of continuous convex functions defined on a Banach space $Z$. Among other results we prove that if $Z$ is separable then for every continuous convex function $f:Z\to\mathbb{R}$ there exist a unique…

For a large class of metric spaces with nice local structure, which includes Banach-Finsler manifolds and geodesic spaces of curvature bounded above, we give sufficient conditions for a local homeomorphism to be a covering projection. We…