If u : ⊂ Rd → X is a harmonic map valued in a metric space X and E : X → R is a convex function, in the sense that it generates an EVI0-gradient flow, we prove that the pullback E◦u : → 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 Lq norm of E ◦ u on ∂ controls the L p norm of E ◦ u in for some well-chosen exponents p ≥ q, including the case p = q = +∞. In particular, our results apply when E is a geodesically convex entropy over the Wasserstein space, and thus settle some conjectures of Brenier.
Convex functions defined on metric spaces are pulled back to subharmonic ones by harmonic maps
Lavenant, Hugo;Tamanini, Luca
;
2024
Abstract
If u : ⊂ Rd → X is a harmonic map valued in a metric space X and E : X → R is a convex function, in the sense that it generates an EVI0-gradient flow, we prove that the pullback E◦u : → 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 Lq norm of E ◦ u on ∂ controls the L p norm of E ◦ u in for some well-chosen exponents p ≥ q, including the case p = q = +∞. In particular, our results apply when E is a geodesically convex entropy over the Wasserstein space, and thus settle some conjectures of Brenier.File | Dimensione | Formato | |
---|---|---|---|
final_version_editor.pdf
non disponibili
Descrizione: Article
Tipologia:
Pdf editoriale (Publisher's layout)
Licenza:
Copyright dell'editore
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.