We study the functional Ω↦E(Ω), where Ω runs in the set of all compact domains of fixed volume v in any Riemannian manifold (M,g) and where E(Ω) is the mean exit-time of the Brownian motion (also called torsional rigidity) of Ω. We first prove that, when (M,g) is strictly isoperimetric at one of its points, the maximum of this functional is realized by the geodesic ball centered at this point. When (M,g) is any Riemannian manifold, for every domain Ω in M, we prove that E(Ω)≤E(Ω∗), where Ω∗ is the corresponding symmetrized domain on a model-space (M∗,g∗). We also consider the functional Ω↦E(Ω), when Ω runs in the set of all compact domains, with smooth boundary in the class of all Riemannian manifolds with “bounded” geometry. We prove two results in this direction. In the first one (Theorem 1.9) we prove that for every complete, connected Riemannian manifold (M,g) whose Ricci curvature satisfies Ricg≥(n−1)g and for every compact domain with smooth boundary Ω in M one has E(Ω)≤E(Ω∗), where Ω∗ is a geodesic ball of the canonical sphere (Sn,g0) such that Vol(Ω∗,g0)Vol(Sn,g0)=Vol(Ω,g)Vol(M,g). Morever, if there exists some domain Ω⊂M such that E(Ω)=E(Ω∗) then (M,g) is isometric to (Sn,g0) and Ω is isometric to Ω∗. The second result (Theorem 1.10) shows that if (M,g) is any compact Riemannian manifold and Ω is any compact domain with smooth boundary in M such that Vol(Ω)≤12 Vol(M), then E(Ω)≤1H(M,g)2, where H(M,g) is Cheeger’s isoperimetric constant.

Maximizing mean exit-time of the Brownian motion on Riemannian manifolds

CADEDDU, LUCIO;LOI, ANDREA
2015-01-01

Abstract

We study the functional Ω↦E(Ω), where Ω runs in the set of all compact domains of fixed volume v in any Riemannian manifold (M,g) and where E(Ω) is the mean exit-time of the Brownian motion (also called torsional rigidity) of Ω. We first prove that, when (M,g) is strictly isoperimetric at one of its points, the maximum of this functional is realized by the geodesic ball centered at this point. When (M,g) is any Riemannian manifold, for every domain Ω in M, we prove that E(Ω)≤E(Ω∗), where Ω∗ is the corresponding symmetrized domain on a model-space (M∗,g∗). We also consider the functional Ω↦E(Ω), when Ω runs in the set of all compact domains, with smooth boundary in the class of all Riemannian manifolds with “bounded” geometry. We prove two results in this direction. In the first one (Theorem 1.9) we prove that for every complete, connected Riemannian manifold (M,g) whose Ricci curvature satisfies Ricg≥(n−1)g and for every compact domain with smooth boundary Ω in M one has E(Ω)≤E(Ω∗), where Ω∗ is a geodesic ball of the canonical sphere (Sn,g0) such that Vol(Ω∗,g0)Vol(Sn,g0)=Vol(Ω,g)Vol(M,g). Morever, if there exists some domain Ω⊂M such that E(Ω)=E(Ω∗) then (M,g) is isometric to (Sn,g0) and Ω is isometric to Ω∗. The second result (Theorem 1.10) shows that if (M,g) is any compact Riemannian manifold and Ω is any compact domain with smooth boundary in M such that Vol(Ω)≤12 Vol(M), then E(Ω)≤1H(M,g)2, where H(M,g) is Cheeger’s isoperimetric constant.
2015
Brownian motion; Harmonic domain; Harmonic manifold; Isoperimetric manifold at a point
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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/11584/76381
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 7
social impact