If $u:\Omega \subset \mathbb{R}^d \to X$ is a harmonic map valued in a metric space $X$ and $E : X \to \mathbb{R}$ is a convex function, in the sense that it generates an EVI-gradient flow, we prove that the pullback $E \circle u : \Omega \to \mathbb{R}$ is subharmonic. This property was known in the smooth Riemannian manifold setting or with curvature restrictions on $X$, while we prove it here in full generality. In addition, we establish generalized maximum principles, in the sense that the $L^q$ norm of $E \circ u$ on $\partial\Omega$ controls the $L^p$ norm of $E \circ u$ in $\Omega$ for some well-chosen exponents $p \geq q$, including the case $p=q=+\infty$. In particular, our results apply when $E$ is a geodesically convex entropy over the Wasserstein space, and thus settle some conjectures of Brenier (Optimal transportation and applications (Martina Franca, 2001), volume 1813 of lecture notes in mathematics, Springer, Berlin, pp 91-121, 2003).

Lavenant, H., Monsaingeon, L., Tamanini, L., Vorotnikov, D., Convex functions defined on metric spaces are pulled back to subharmonic ones by harmonic maps, <<CALCULUS OF VARIATIONS AND PARTIAL DIFFERENTIAL EQUATIONS>>, 2024; 63 (2): N/A-N/A. [doi:10.1007/s00526-024-02662-3] [https://hdl.handle.net/10807/267514]

Convex functions defined on metric spaces are pulled back to subharmonic ones by harmonic maps

Tamanini, Luca
;
2024

Abstract

If $u:\Omega \subset \mathbb{R}^d \to X$ is a harmonic map valued in a metric space $X$ and $E : X \to \mathbb{R}$ is a convex function, in the sense that it generates an EVI-gradient flow, we prove that the pullback $E \circle u : \Omega \to \mathbb{R}$ is subharmonic. This property was known in the smooth Riemannian manifold setting or with curvature restrictions on $X$, while we prove it here in full generality. In addition, we establish generalized maximum principles, in the sense that the $L^q$ norm of $E \circ u$ on $\partial\Omega$ controls the $L^p$ norm of $E \circ u$ in $\Omega$ for some well-chosen exponents $p \geq q$, including the case $p=q=+\infty$. In particular, our results apply when $E$ is a geodesically convex entropy over the Wasserstein space, and thus settle some conjectures of Brenier (Optimal transportation and applications (Martina Franca, 2001), volume 1813 of lecture notes in mathematics, Springer, Berlin, pp 91-121, 2003).
2024
Inglese
Lavenant, H., Monsaingeon, L., Tamanini, L., Vorotnikov, D., Convex functions defined on metric spaces are pulled back to subharmonic ones by harmonic maps, <<CALCULUS OF VARIATIONS AND PARTIAL DIFFERENTIAL EQUATIONS>>, 2024; 63 (2): N/A-N/A. [doi:10.1007/s00526-024-02662-3] [https://hdl.handle.net/10807/267514]
File in questo prodotto:
File Dimensione Formato  
Harmonic maps (CalcVar) Lavenant-Monsaingeon-Tamanini-Vorotnikov.pdf

accesso aperto

Tipologia file ?: Versione Editoriale (PDF)
Licenza: Creative commons
Dimensione 420.1 kB
Formato Adobe PDF
420.1 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10807/267514
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact