Explore the vast range of titles available.

In a recent paper, Izmailov (Math Program Ser A 147:581–590, 2014 ) derived an extension of Robinson’s implicit function theorem for nonsmooth generalized equations in finite dimensions, which reduces to Clarke’s inverse function theorem when the generalized equation is just an equation. Páles (J Math Anal Appl 209:202–220, 1997 ) gave earlier a generalization of Clarke’s inverse function theorem to Banach spaces by employing Ioffe’s strict pre-derivative. In this paper we generalize both theorems of Izmailov and Páles to nonsmooth generalized equations in Banach spaces.

We explain that Hadamard's global inverse function theorem very simply follows from the Hopf-Rinow theorem of Riemannian geometry.

We construct counterexamples to classical calculus facts such as the inverse and implicit function theorems in scale calculus—a generalization of multivariable calculus to infinite-dimensional vector spaces, in which the reparameterization maps relevant to symplectic geometry are smooth. Scale calculus is a corner stone of polyfold theory, which was introduced by Hofer, Wysocki, and Zehnder as a broadly applicable tool for regularizing moduli spaces of pseudoholomorphic curves.We show how the novel nonlinear scale-Fredholm notion in polyfold theory overcomes the lack of implicit function theorems, by formally establishing an often implicitly used fact: The differentials of basic germs—the local models for scale-Fredholm maps—vary continuously in the space of bounded operators when the base point changes. We moreover demonstrate that this continuity holds only in specific coordinates, by constructing an example of a scale-diffeomorphism and scale-Fredholm map with discontinuous differentials. This justifies the high technical complexity in the foundations of polyfold theory.

Previous Mizar articles [7, 6, 5] formalized the implicit and inverse function theorems for Frechet continuously differentiable maps on Banach spaces. In this paper, using the Mizar system [1], [2], we formalize these theorems on Euclidean spaces by specializing them. We referred to [4], [12], [10], [11] in this formalization.

This article extends the formalization of the theory of differentiation in real normed spaces in the Mizar system. The focus is on higher-order derivatives and the inverse function theorem. Additionally, we encode the differentiability of the inversion operator on invertible linear operators.

This paper answers in the affirmative the long-standing question of nonlinear analysis, concerning the existence of a continuous single-valued local selection of the right inverse to a locally Lipschitzian mapping. Moreover, we develop a much more general result, providing conditions for the existence of a continuous single-valued selection not only locally, but rather on any given ball centered at the point in question. Finally, by driving the radius of this ball to infinity, we obtain the global inverse function theorem, essentially implying the well-known Hadamard’s theorem on a global homeomorphism for smooth mappings and the more general Pourciau’s theorem for locally Lipschitzian mappings.

In this paper, by using the inverse function theorem, we will establish the existence of a solution to the nonlinear clamped cylindrical shell model around particular solutions associated with specific applied forces. Furthermore, we will also prove that the solution found in this fashion is also the unique minimizer to the associated nonlinear energy functional.

Metric regularity theory lies at the very heart of variational analysis, a relatively new discipline whose appearance was, to a large extent, determined by the needs of modern optimization theory in which such phenomena as nondifferentiability and set-valued mappings naturally appear. The roots of the theory go back to such fundamental results of the classical analysis as the implicit function theorem, Sard theorem and some others. This paper offers a survey of the state of the art of some principal parts of the theory along with a variety of its applications in analysis and optimization.

The Dirac-Dolbeault operator for a compact Kähler manifold is a special case of Dirac operator. The Green function for the Dirac Laplacian over a Riemannian manifold with boundary allows the expression of the values of the sections of the Dirac bundle in terms of the values on the boundary, extending the mean value theorem of harmonic analysis. Utilizing this representation and the Nash–Moser generalized inverse function theorem, we prove the existence of complex submanifolds of a complex projective manifold satisfying globally a certain partial differential equation under a certain injectivity assumption. Thereby, internal symmetries of Dolbeault and rational Hodge cohomologies play a crucial role. Next, we show the existence of complex submanifolds whose fundamental classes span the rational Hodge classes, proving the Hodge conjecture for complex projective manifolds.

In this research, we analyze the existence and multiplicity of nonnegative solutions for a class of non-local elliptic problems with Dirichlet boundary conditions. The nonlinearity of the problem, in general, does not satisfy the Ambrosetti–Rabinowitz condition and is characterized by a concave–convex variable exponent function, exhibiting critical behavior at infinity. Using minimization arguments and Lebourg’s mean value theorem, and applying Ekeland’s variational principle together with the inverse function theorem, we obtain a ground state solution to the non-local elliptic problem in appropriate fractional Musielak spaces. Our main results generalize some recent findings in the literature to non-smooth cases.