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.

Approximation of maps from algebraic polyhedra to real algebraic varieties

Approximation of maps between real algebraic varieties

Approximation of maps into spheres by regulous maps

Spaces of maps between real algebraic varieties

Regular immersions directed by algebraically elliptic cones

Uniform approximation on certain polynomial polyhedra in $\mathbb{C}^2$

Polynomial approximation avoiding values in sets II

Approximation at places of bad reduction

Regularity of Harmonic Maps from Polyhedra to CAT(1) Spaces

On Almost Regular Mappings

Hanani-Tutte for approximating maps of graphs

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

Approximation by Lipschitz, analytic maps on certain Banach spaces

Low-complexity approximations for sets defined by generalizations of affine conditions

On regular but non-smooth integral curves

Approximating rational points on surfaces

A Geometric Approach to Polynomial and Rational Approximation

Sparse maps

On real algebraic maps whose images are domains surrounded by the products of hyperbolas and real affine spaces

Relative Stone-Weierstrass theorem for mappings between varieties

Smooth and polyhedral approximation in Banach spaces