An open mapping theorem using unbounded generalized Jacobians
The authors present a new open mapping theorem for nonsmooth functions by means of (not necessary bounded) approximate Jacobians. Let \(f: \mathbb{R}^n\to \mathbb{R}^m\) be a continuous function and \(x\in\mathbb{R}^n\). A closed set of \((m\times n)\)-matrices \(Jf(x)\subset L(\mathbb{R}^n, \mathbb{R}^m)\) is called to be an approximate Jacobian of \(f\) at \(x\), iff for every \(u\in \mathbb{R}^n\) and \(v\in \mathbb{R}^m\), one has \[ \limsup_{t\downarrow 0} {(vf)(x+ tu)- (vf)(x)\over t}\leq \sup_{M\in Jf(x)}\langle v, Mu\rangle. \] This notion was introduced by the authors some years ago. If \(f\) is locally Lipschitzian then the Clarke generalized Jacobian is an example of a locally bounded approximate Jacobian. Moreover, a continuous mapping is locally Lipschitzian if and only if it admits a locally bounded approximate Jacobian. A basic tool for the discussion of not Lipschitz functions is the limiting singular approximate Jacobian \[ J^\infty f(x):= \limsup\{t_k Jf(x_k)\mid t_k\downarrow 0\text{ and }x_k\to x\} \] which is nonempty in this case and (if \(Jf\) is assumed to be upper semicontinuous) can be described by the recession cone of the set \(Jf(x)\). After the discussion of properties of recession cones and using a special meanvalue theorem, the authors establish a chain rule for functions with unbounded, but upper semicontinuous approximate Jacobians. On the base of these results they present their main theorem. It is shown that -- assuming a continuous function \(f: \mathbb{R}^n\to \mathbb{R}^m\) with an upper semicontinuous approximate Jacobian mapping \(Jf\) and invertible matrices \(A\in \overline{\text{conv\,}} Jf(x_0)\cup\text{conv}(J^\infty f(x_0)\setminus\{0\})\) -- there exist numbers \(\delta> 0\) and \(\varepsilon> 0\) such that \[ \| f(x_0+ h)- f(x_0)\|\geq \varepsilon\| h\|\quad\text{for all }h\neq 0,\;\| h\|< \delta \] and \[ f(x_0)+ {\varepsilon\delta\over 2}\text{\,int\,} B(0,1)\subseteq f(x_0+ \delta\text{\,int\,}B(0, 1)). \] As corollaries of this result the authors derive associated inverse and implicit function theorems.
- A survey of subdifferential calculus with applications
- An Implicit Function Theorem without Differentiability
- Approximate Hessian matrices and second-order optimality conditions for nonlinear programming problems with C1-data
- Approximate Jacobian Matrices for Nonsmooth Continuous Maps and C1-Optimization
- Convergence of asymptotic directions
- Extensions of subgradient calculus with applications to optimization
- Fat homeomorphisms and unbounded derivate containers
- Generalized differential calculus for nonsmooth and set-valued mappings
- scientific article; zbMATH DE number 50640 (Why is no real title available?)
- scientific article; zbMATH DE number 1214046 (Why is no real title available?)
- scientific article; zbMATH DE number 1223658 (Why is no real title available?)
- scientific article; zbMATH DE number 872150 (Why is no real title available?)
- Lipschitzian inverse functions, directional derivatives, and applications in \(C^{1,1}\) optimization
- Mixed Coderivatives of Set–Valued Mappings in Variational Analysis
- Nonsmooth calculus, minimality, and monotonicity of convexificators
- On the inverse function theorem
- Recession maps and applications
- Jacobians and branch points of real analytic open maps
- Regularity properties of constrained set-valued mappings
- Chain rules for approximate Jacobians of continuous functions
- Inversion of nonsmooth maps between Banach spaces
- Equi-surjective systems of linear operators and applications
- Normal coderivative for multifunctions and implicit function theorems
- Global inversion of nonsmooth mappings using pseudo-Jacobian matrices
- High-Order Open Mapping Theorems
- Convexifactors, generalized convexity and vector optimization
- scientific article; zbMATH DE number 1894743 (Why is no real title available?)
- Continuous approximations to generalized jacobians
- Solution point characterizations and convergence analysis of a descent algorithm for nonsmooth continuous complementarity problems.
This page was built for publication: An open mapping theorem using unbounded generalized Jacobians
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1612598)
