I am aware of the inverse function theorem for Lipschitz maps, which uses the notion of generalised derivative $\delta\_{x\_0} f$ of a Lipschitz map $f$, due to F.H.Clarke in [On the inverse function theorem](https://projecteuclid.org/journals/pacific-journal-of-mathematics/volume-64/issue-1/On-the-inverse-function-theorem/pjm/1102867214.full):


**Theorem.** Let $f : U \subset \mathbb{R}^n \to \mathbb{R}^n$ be Lipschitz, and suppose that every matrix $A ∈ \delta\_{x\_0}f$
is invertible. Then there are neighbourhoods $U$ of $x\_0$ and $V$ of $f(x\_0)$ in $\mathbb{R}^n$ and a Lipschitz map $g : V → U$ such that $f \circ g = \mathbb{1}\_V$ and $g \circ f = \mathbb{1}\_U$.


I am looking for a reference to an inverse function theorem in the similar setting which provides a bound for the inner radius of the neighbourhoods $U$ and $V$.


The closest I have been able to find is due to Ralph Howard's note [The inverse function theorem for Lipschitz maps](https://people.math.sc.edu/howard/Notes/inverse.pdf). In the case of $B\_r$ ball of radius $r$ centered in zero his result reads:


**Theorem.** Let $f : \overline{B\_r} \subset \mathbb{R}^n \to \mathbb{R}^n$, $f(O)=O$, $L:\mathbb{R}^n \to \mathbb{R}^n$ invertible linear map and $\rho<1$ such that
$$\forall x\_1,x\_2\in \overline{B\_r},\quad \lVert L^{-1}(f(x\_2)-f(x\_1)) - (x\_2-x\_1) \rVert \leq \rho \lVert x\_2 - x\_1 \rVert\,.$$
Then $f$ is injective on $\overline{B\_r}$ with
$$\forall x\_1,x\_2\in \overline{B\_r},\quad \frac{1-\rho}{\lVert L^{-1}\rVert} \lVert x\_2-x\_1\rVert \leq \lVert f(x\_2)-f(x\_1) \rVert \leq \lVert L\rVert (1+\rho) \lVert x\_2-x\_1 \rVert \,.$$
Furthermore, $f$ restricted to open ball $B\_r$ is lipeomorphism onto $V=f[B\_r]$, where $V$ contains the open ball $B\_{r\_1}$ of radius $r\_1=\rho\frac{1-\rho}{\lVert L^{-1}\rVert}$.


In the case of differentiable $f$, results related to what I am looking for are usually based on Newton's iterates. For example, see Theorem 4.1 of Xinghua, [Convergence of Newton's method and inverse function theorem in Banach space](https://www.ams.org/journals/mcom/1999-68-225/S0025-5718-99-00999-0).



Radius of the ball where the inverse of Lipschitz maps exists
I have just found quite a good answer in [Marco Papi, On the Domain of the Implicit Function and Applications, Journal of Inequalities and Applications, Vol. 3, 2005. ISSN: 1025-5834.](http://downloads.hindawi.com/journals/jia/2005/373250.pdf?origin=publication_detail) It states and proves only the implicit function theorem, but the bounds in the case of inverse function theorem are easy to obtain via the standard relationship between the two related theorems.


It deals with Clarke's generalized derivatives, and gets the explicit bounds, though not of the same type as in mentioned [Theorem 4.1 of Xinghua](https://www.ams.org/journals/mcom/1999-68-225/S0025-5718-99-00999-0/S0025-5718-99-00999-0.pdf) (which deals with the differentiable case).


It is interesting to see personally interesting and powerful result that was not referenced for almost 9 years after publication (first reference in 2014). It seems to me as if the paper is ahead of the time, or as if there are some other similar results which I have not come across.


