Abstract:For an harmonic map $u$ from a domain $U\subset{\rm X}$ in an ${\sf RCD}(K,N)$ space ${\rm X}$ to a ${\sf CAT}(0)$ space ${\rm Y}$ we prove the Lipschitz estimate \[ {\rm Lip}(u|_B)\leq \frac {C(K^-R^2,N)}r\inf_{{\sf o}\in {\rm Y}}\,\sqrt{\frac1{{\mathfrak m}(2B)}\int_{2B}{\sf d}_{\rm Y}^2(u(\cdot),{\sf o})\, {\rm d}{\mathfrak m}}, \qquad \forall 2B\subset U \] where $r\in(0,R)$ is the radius of $B$. This is obtained by combining classical Moser's iteration, a Bochner-type inequality that we derive (guided by recent works of Zhang-Zhu) together with a reverse Poincaré inequality that is also established here. A direct consequence of our estimate is a Lioville-Yau type theorem in the case $K=0$. Among the ingredients we develop for the proof, a variational principle valid in general ${\sf RCD}$ spaces is particularly relevant. It can be roughly stated as: if $({\rm X},{\sf d},{\mathfrak m})$ is ${\sf RCD}(K,\infty)$ and $f\in C_b({\rm X})$ is so that $\Delta f\leq C$ for some constant $C>0$, then for every $t>0$ and ${\mathfrak m}$-a.e.\ $x\in{\rm X}$ there is a unique minimizer $F_t(x)$ for $ y\ \mapsto\ f(y)+\frac{{\sf d}^2(x,y)}{2t} $ and the map $F_t$ satisfies \[ (F_t)_*{\mathfrak m}\leq e^{t(C+2K^-{\sf Osc}(f))}{\mathfrak m},\qquad\text{where}\qquad {\sf Osc}(f):=\sup f-\inf f. \] Here existence is in place without any sort of compactness assumption and uniqueness should be intended in a sense analogue to that in place for Regular Lagrangian Flows and Optimal Maps (and is related to both these concepts). Finally, we also obtain a Rademacher-type result for Lipschitz maps between spaces as above.

Second-order estimates for the $p$-Laplacian in RCD spaces

Optimal second order boundary regularity for solutions to $p$-Laplace equations

A Talenti-type comparison theorem for the $p$-Laplacian on $\mathrm{RCD}(K,N)$ spaces and some applications

A systematic approach on the second order regularity of solutions to the general parabolic $p$-Laplace equation

Second order Sobolev regularity results for the generalized $p$-parabolic equation

Improved regularity estimates for Lagrangian flows on $\text{RCD}(K,N)$ spaces

Local Second Order Sobolev Regularity for p-Laplacian Equation in Semi-Simple Lie Group

Sharp regularity estimates for $0$-order $p$-Laplacian evolution problems

A quantitative second order Sobolev regularity for (inhmogeneous) normalized $p(\cdot)$-Laplace equations

Regularity for the fractional $p$-Laplace equation

Second order Sobolev regularity for normalized parabolic $p(x)$-Laplace equations via the algebraic structure

Regularity and symmetry results for the vectorial p-Laplacian

Discrete-to-Continuum Rates of Convergence for $p$-Laplacian Regularization

Third order estimates and the regularity of the stress field for solutions to $p$-Laplace equations

Lipschitz continuity and Bochner-Eells-Sampson inequality for harmonic maps from $\mathrm{RCD}(K,N)$ spaces to $\mathrm{CAT}(0)$ spaces

A quantitative second order estimate for (weighted) $p$-harmonic functions in manifolds under curvature-dimension condition

A Talenti-type comparison theorem for $\mathrm{RCD}(K,N)$ spaces and applications

Interior Sobolev regularity for fully nonlinear parabolic equations

Sharp log-Sobolev inequalities in CD ( 0 , N ) spaces with applications

On the regularity of harmonic maps from ${\sf RCD}(K,N)$ to ${\sf CAT}(0)$ spaces and related results

The $p$-Laplacian overdetermined problem on Riemannian manifolds