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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.