Related papers: On an extension of a global implicit function theo…

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…

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

We prove an implicit function theorem for functions on infinite-dimensional Banach manifolds, invariant under the (local) action of a finite dimensional Lie group. Motivated by some geometric variational problems, we consider group actions…

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…

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…

Our basic element is a $C^1$ mapping $f:X\to Y$, with $X,Y$ Banach spaces, and with derivative everywhere invertible. So $f$ is a local diffeomorphism at every point. The aim of this paper is to find a sufficient condition for $f$ to be…

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…

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

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 prove an implicit function theorem for C^k-maps from arbitrary topological vector spaces over valued fields to Banach spaces (for k at least 2). As a tool, we show the C^k-dependence of fixed points on parameters for suitable families of…

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…

Let $E$ be an arbitrary subset of a Banach space $X$, $f: E \rightarrow \mathbb{R}$ be a function, and $G:E \rightrightarrows X^*$ be a set-valued mapping. We give necessary and sufficient conditions on $f, G$ for the existence of a…

This paper presents a necessary and sufficient condition for a real-valued function defined on an open and convex subset of a Banach space to be quasi-concave, and a sufficient condition for such a function to be strictly quasi-concave.…

In this paper, by employing fixed-point methods, we obtain the existence and uniqueness results for the nonlinear implicit fractional differential equations in Banach spaces. Further, we obtain the uniqueness, dependence of the solution on…

We prove two versions of a global implicit function theorem, which involve no loss of derivative, for Keller's $ C_c^1 $-mappings between arbitrary Fr\'{e}chet spaces. Subsequently, within this framework, we apply these theorems to…

In this paper, we study integral functionals defined on spaces of functions with values on general (non-separable) Banach spaces. We introduce a new class of integrands and multifunctions for which we obtain measurable selection results.…

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…

We introduce a notion of a noncommutative function defined on a domain of $d$-tuples of bounded operators on an infinite dimensional Hilbert space. Inverse and implicit function theorems in this setting are established. When these…

We consider a scalar-valued implicit function of many variables, and provide two closed formulae for all of its partial derivatives. One formula is based on products of partial derivatives of the defining function, the other one involves…