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.

Harmonic measure and Riesz transform in uniform and general domains

The measures with $L^2$-bounded Riesz transform and the Painlevé problem

Harmonic measure and "locally flat" domains

Dimension and structure of the Robin Harmonic Measure on Rough Domains

Harmonic Maps On Complete Manifolds

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

Hyperuniformity of random measures on Euclidean and hyperbolic spaces

The Fourier transform on Rearrangement-Invariant Spaces

Partial Regularity of Harmonic Maps from a Riemannian Manifold into a Lorentzian Manifold

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

Non-uniform Hyperbolicity and Non-Uniform Specification

Index estimates for sequences of harmonic maps

Measure theoretic aspects of the finite Hilbert transform

Riesz transform on exterior Lipschitz domains and applications

On the Minkowski problem for p-harmonic measures

Minimal harmonic measure on 2D lattices

A note on the critical set of harmonic functions near the boundary

Harmonic functions for Bessel operators

The Harmonic Measure Distribution Function and Complex Brownian Motion

General harmonic measures for distance-expanding dynamical systems