Let $M \subset \mathbb{R}^p$ be a Riemannian submanifold. In what follows, when we talk about a Lipschitz function $f$ on $M$, namely $f: M \to \mathbb{R}$, we will assume there is a $L > 0$ so that: 


$$ \lvert f(x) - f(y)\rvert \leq Ld\_M(x,y)\quad \forall x, y \in M. $$


**My question is:** What is either a **necessary and sufficient** condition (preferred) *OR* if not possible, then at least a **sufficient** condition that every Lipschitz function on $M$ can be extended to a Lipschitz function on $\mathbb{R}^p$? So to write mathematically, what is or are sufficient condition(s) on $M$ so that for every Lipschitz $f: M \to \mathbb{R}$, there exists an extension $\tilde{f}$ of $f$ so that $\tilde{f}$ is also Lipschitz (possibly with a bigger Lipschitz constant)? 


On the other side, what is a **necessary and sufficient** condition on $M$ so that every Lipschitz function on $\mathbb{R}^p$ restricts to a Lipschitz function on $M$? I feel like for a compact manifold, this will be true, as there we will have:


$$C\_1\lVert x- y\rVert \leq d\_M(x,y) \leq C\_2\lVert x-y\rVert,$$


because the exponential map is smooth, so the norm of its gradient will have an upper and a lower bound on compact $M$, resulting in the above inequality. *Is it true though?*



Riemannian submanifolds of Euclidean space admitting Lipschitz extension of Lipschitz functions, and converse statement
Say $M$ admits universal Lipschitz extension if, for any Lipschitz $f : M \to \mathbb R$, there exists Lipschitz$F : \mathbb R^n \to \mathbb R$ such that $F|\_M = f$. $M$ admits universal Lipschitz extension if and only if there exists $C$ such that $d\_M(x,y) \leq C \|x-y\|$ for all $x,y \in M$ (note that it always holds that $\|x-y\| \leq d\_M(x,y)$). 


In the forward direction, suppose $d\_M(x,y) \leq C \|x-y\|$ for all $x,y \in M$. Let $f : M \to \mathbb R$ be $L$-Lipschitz with respect to $d\_M$. Then $f$ is $CL$-Lipschitz with respect to the Euclidean metric on $M$, and therefore by McShane's theorem, the function
$$F(x) = \sup\{f(y) + CL \|y-x\| : y \in M\}$$
is $CL$ Lipschitz and extends $f$.


For the other direction, suppose without loss of generality that $0 \in M$. Let $\mathcal L\_M$ be the Banach space of Lipschitz functions $f$ on $M$ (Lipschitz with respect to $d\_M$) such that $f(0) = 0$, equipped with the norm $\|f\|\_{\mathcal L\_M} = \text{Lip}(f)$. Let $\mathcal L\_{\mathbb R^n}$ be the Banach space o\f Lipschitz functions on $\mathbb R^n$ equipped with the Lipschitz norm $\|f\|\_{\mathcal L\_{\mathbb R^n}}$. The restriction map $R : \mathcal L\_{\mathbb R^n} \to \mathcal L\_M$, where $R(F) = F|\_M$, is $1$-Lipschitz. Provided that $M$ admits universal Lipschitz extension, $R$ is surjective, and so by the open mapping theorem there exists $C \in (0,\infty)$ such that for any $f \in \mathcal L\_M$, there exists $F \in \mathcal L\_{\mathbb R^n}$ such that $RF = f$ and $\|F\|\_{\mathcal L\_{\mathbb R^n}} \leq C \|f\|\_{\mathcal L\_M}$. Now, suppose for contradiction that there exist $x\_n,y\_n \in M$ such that $d\_M(x\_n,y\_n) \geq n \|x\_n - y\_n\|$. The function $f\_n(y) = d\_M(x\_n,y) - d(x\_n,0)$ is in $\mathcal L\_M$ with $\|f\_n\|\_{\mathcal L\_m} = 1$, but for any $F \in \mathcal L\_{\mathbb R^n}$ with $R F = f\_n$, $$\|F\|\_{\mathcal L\_{\mathbb R^n}} \geq \frac{|f\_n(y\_n) - f\_n(x\_n)|}{\|x\_n - y\_n\|} = \frac{d\_M(x\_n,y\_n)}{\|x\_n - y\_n\|}\geq n.$$


