Abstract. 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 first obtain a general condition in terms of a path continuation property. As a consequence, we deduce several conditions in terms of path-liftings involving a generalized derivative, and in particular we obtain an extension of Hadamard global inversion theorem in this context. Next we prove that, in the case of quasi-isometric mappings, some of these sufficient conditions are also necessary. Finally, we give some applications to the existence of global implicit functions.
Abstract. Since the Hadamard Theorem, several metric and topological conditions have emerged in the literature to date, yielding global inverse theorems for functions in different settings. Relevant examples are the mappings between infinite-dimensional Banach-Finsler manifolds, which are the focus of this work. Emphasis is given to the nonlinear Fredholm operators of nonnegative index between Banach spaces. The results are based on good local behavior of f at every x, namely, f is a local homeomorphism or f is locally equivalent to a projection. The general structure includes a condition that ensures a global property for the fibres of f , ideally expecting to conclude that f is a global diffeomorphism or equivalent to a global projection. A review of these results and some relationships between different criteria are shown. Also, a global version of Graves Theorem is obtained for a suitable submersion f with image in a Banach space: given r > 0 and x 0 in the domain of f we give a radius ̺(r) > 0, closely related to the hypothesis of the Hadamard Theorem, such that B̺(f (x 0 )) ⊂ f (Br (x 0 )).
We study the global invertibility of non-smooth, locally Lipschitz maps between infinite-dimensional Banach spaces, using a kind of Palais-Smale condition. To this end, we consider the Chang version of the weighted Palais-Smale condition for locally Lipschitz functionals in terms of the Clarke subdifferential, as well as the notion of pseudo-Jacobians in the infinite-dimensional setting, which are the analog of the pseudo-Jacobian matrices defined by Jeyakumar and Luc. Using these notions, we derive our results about existence and uniqueness of solution for nonlinear equations. In particular, we give a version of the classical Hadamard integral condition for global invertibility in this context.2000 Mathematics Subject Classification. 47J07, 58E05, 49J52.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.