An inverse function theorem converse

DOI10.1016/J.JMAA.2020.123913MaRDI QIDQ777129zbMATH OpenOpenAlexFDO

Authors Jimmie D. Lawson

Publication date 3 July 2020

Published in Journal of Mathematical Analysis and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1812.03561

zbMATH Keywords

Banach spaceLipschitz mapchain ruleinverse function theorem

Mathematics Subject Classification ID

Continuous and differentiable maps in nonlinear functional analysis (46T20) Derivatives of functions in infinite-dimensional spaces (46G05) Abstract inverse mapping and implicit function theorems involving nonlinear operators (47J07)

Abstract: We establish the following converse of the well-known inverse function theorem. Let $g:UoV$ and $f:VoU$ be inverse homeomorphisms between open subsets of Banach spaces. If $g$ is differentiable of class $C^p$ and $f$ if locally Lipschitz, then the Fr'echet derivative of $g$ at each point of $U$ is invertible and $f$ must be differentiable of class $C^p$.

Recommendations

• scientific article; zbMATH DE number 4102116
• Reversibility of the inverse function theorem for differentiated functions
• Local inversion theorems without assuming continuous differentiability
• An inverse function theorem in Fréchet spaces
• scientific article; zbMATH DE number 566011

Cites work

• scientific article; zbMATH DE number 3893797 (Why is no real title available?)
• Directional upper derivatives and the chain rule formula for locally Lipschitz functions on Banach spaces
• Karcher means and Karcher equations of positive definite operators
• The implicit function theorem. History, theory, and applications
• Weighted means and Karcher equations of positive operators

Cited in

(8)

• scientific article; zbMATH DE number 3850380 (Why is no real title available?)
• Homeomorphisms in the Sobolev space W 1,n–1
• A right inverse function theorem without assuming differentiability
• scientific article; zbMATH DE number 90938 (Why is no real title available?)
• Inverse function theorem. I
• Reversibility of the inverse function theorem for differentiated functions
• Theorem on the differentiability of the inverse function is false for homeomorphisms of nonnormable Fréchet spaces
• A sharpened form of the inverse function theorem

This page was built for publication: An inverse function theorem converse

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q777129)