Symmetry and rigidity results for Serrin's overdetermined type problems in weighted Riemannian manifolds

Abstract: We study Serrin's overdetermined boundary value problems in bounded domains on weighted Riemannian manifolds. When the closure of the domain is compact, we establish a rigidity result that characterizes both the solution and the geometry of the ambient manifold. We further address the case of domains with non-compact closure for manifolds conformally equivalent to the Euclidean space, possibly degenerating or becoming singular at a point, where both the weight and the conformal factor are radial functions.

• The paper proves that in compact weighted manifolds, Serrin-type overdetermined problems admit only radial solutions in metric balls when strict curvature and density conditions hold.
• It leverages a generalized Pohozaev identity and Bakry–Émery Bochner inequalities to derive symmetry and rigidity results across both compact and noncompact conformal cases.
• The results delineate specific parameter regimes where rigidity fails, offering clear criteria for when nontrivial weights allow departure from classical Euclidean ball domains.

Symmetry and Rigidity for Serrin-Type Overdetermined Problems in Weighted Riemannian Manifolds

Introduction and Context

The paper "Symmetry and rigidity results for Serrin's overdetermined type problems in weighted Riemannian manifolds" (2604.00740) addresses the extension of classical symmetry and rigidity phenomena, associated with Serrin's overdetermined problems, to the setting of weighted Riemannian manifolds. Serrin's prototypical result concerns solutions $u$ of the torsion problem

$$\begin{cases} \Delta u = -1 & \text{in } \Omega, \ u = 0 & \text{on } \partial \Omega, \ \frac{\partial u}{\partial \nu} = -c & \text{on } \partial \Omega, \end{cases}$$

where the existence of a solution enforces $\Omega$ to be a Euclidean ball and $u$ to be radial in form. The extension of such conclusions to the geometric and analytic complexity of weighted manifolds is of both geometric and PDE interest, given the connections to rigidity phenomena (e.g., Obata and Tashiro theorems) and the interplay with Bakry-Émery geometry.

Framework: Weighted Manifold Setting

A weighted Riemannian manifold is given by $(M, g, e^{-f} dV_g)$, with background manifold $(M, g)$ and a smooth weight $e^{-f}$ modifying the measure and Laplacian as $$\Delta_f u = \Delta u - \langle \nabla f, \nabla u \rangle$$. Rigidity questions involve the $m$-Bakry–Émery Ricci tensor,

$$\mathrm{Ric}_f^m = \mathrm{Ric} + \nabla^2 f - \frac{df \otimes df}{m-n}.$$

The analysis is performed both for compactly supported domains and in certain noncompact conformal manifolds, with particular interest in the interaction between curvature assumptions, the weight, and the geometric structure of domains supporting overdetermined solutions.

Main Results

Compact Case: Rigidity Phenomenon

The principal result provides a rigidity theorem for bounded domains with compact closure in a weighted Riemannian manifold.

Theorem (Simplified):

Let $$\begin{cases} \Delta u = -1 & \text{in } \Omega, \ u = 0 & \text{on } \partial \Omega, \ \frac{\partial u}{\partial \nu} = -c & \text{on } \partial \Omega, \end{cases}$$0 be an $$\begin{cases} \Delta u = -1 & \text{in } \Omega, \ u = 0 & \text{on } \partial \Omega, \ \frac{\partial u}{\partial \nu} = -c & \text{on } \partial \Omega, \end{cases}$$1-dimensional weighted manifold, and let $$\begin{cases} \Delta u = -1 & \text{in } \Omega, \ u = 0 & \text{on } \partial \Omega, \ \frac{\partial u}{\partial \nu} = -c & \text{on } \partial \Omega, \end{cases}$$2 be a bounded domain whose closure is compact. Suppose

• There exists $$\begin{cases} \Delta u = -1 & \text{in } \Omega, \ u = 0 & \text{on } \partial \Omega, \ \frac{\partial u}{\partial \nu} = -c & \text{on } \partial \Omega, \end{cases}$$3 with $$\begin{cases} \Delta u = -1 & \text{in } \Omega, \ u = 0 & \text{on } \partial \Omega, \ \frac{\partial u}{\partial \nu} = -c & \text{on } \partial \Omega, \end{cases}$$4 and $$\begin{cases} \Delta u = -1 & \text{in } \Omega, \ u = 0 & \text{on } \partial \Omega, \ \frac{\partial u}{\partial \nu} = -c & \text{on } \partial \Omega, \end{cases}$$5 in $$\begin{cases} \Delta u = -1 & \text{in } \Omega, \ u = 0 & \text{on } \partial \Omega, \ \frac{\partial u}{\partial \nu} = -c & \text{on } \partial \Omega, \end{cases}$$6;
• $$\begin{cases} \Delta u = -1 & \text{in } \Omega, \ u = 0 & \text{on } \partial \Omega, \ \frac{\partial u}{\partial \nu} = -c & \text{on } \partial \Omega, \end{cases}$$7 for some $$\begin{cases} \Delta u = -1 & \text{in } \Omega, \ u = 0 & \text{on } \partial \Omega, \ \frac{\partial u}{\partial \nu} = -c & \text{on } \partial \Omega, \end{cases}$$8 depending on $$\begin{cases} \Delta u = -1 & \text{in } \Omega, \ u = 0 & \text{on } \partial \Omega, \ \frac{\partial u}{\partial \nu} = -c & \text{on } \partial \Omega, \end{cases}$$9;
• (If $\Omega$0) $\Omega$1 in $\Omega$2.

If $\Omega$3 solves the analog of Serrin's problem (with the weighted Laplacian), then necessarily $\Omega$4, $\Omega$5 is constant, $\Omega$6 is radial, and $\Omega$7 is a metric ball isometric to a Euclidean ball.

The proof leverages a Pohozaev-type identity adapted to the weighted context, combined with a careful analysis using Bakry–Émery Bochner inequalities. A complementary approach via Weinberger's $\Omega$8-function method is also discussed, highlighting the role of the maximum principle in the compact setting.

Notably, the result enforces the nonexistence of nontrivial weights (i.e., requiring $\Omega$9 constant) under compactness and sufficient curvature lower bounds—there are no genuine weighted analogs to classical Serrin domains under these conditions.

Noncompact Conformal Case: Existence Without Rigidity

When the compactness assumption fails, the analysis is carried over to weighted manifolds conformally equivalent to $u$0 (minus a point), of the form

$u$1

Both the weight and conformal factor are taken to be radial.

In this regime:

• Symmetry of Solutions: For a parameter range $u$2, specifically $u$3 and $u$4, all solutions to the weighted overdetermined problem are necessarily radial, with $u$5 a geodesic ball centered at the singularity.
• Absence of Ambient Rigidity: The lack of compactness prevents the application of the strong maximum principle-based arguments for global rigidity, and the structure of the ambient manifold is not forced to be Euclidean.

This distinction is sharp; the authors construct explicit counterexamples for weights $u$6 with certain $u$7 on annuli, showing that no rigidity to balls occurs for these parameter regimes, and the only possible weights for non-ball domains are characterized precisely.

Analytic and Geometric Mechanisms

The analytic backbone consists of a generalized Pohozaev identity compatible with divergence operators on weighted manifolds (including the adjustment for possible noncompactness and the singularity at $u$8), and the adaptation of integral Bochner inequalities reflecting the Bakry–Émery curvature bounds. The authors analyze the circumstances under which these identities yield nonnegativity, leveraging the structure of the weight and the geometry.

The geometric mechanism for rigidity in the compact case is refined to a local version of Tashiro's theorem: the existence of a nontrivial function with Hessian equal to a multiple of the metric, under compactness, enforces the ambient geometry to be a space of constant curvature.

Implications and Theoretical Consequences

The paper quantitatively delineates the parameter regimes for the interplay between overdetermined PDE solution symmetry and rigidity of the surrounding weighted geometry:

• Strengthened Uniqueness: In compact settings and under curvature/density lower bounds, only unweighted, Euclidean balls support nontrivial solutions—a strong form of geometric uniqueness.
• Parameter-Sensitive Non-uniqueness: Once compactness is lost (e.g., conformal degeneracy or weights with certain singularity profiles), radiality is preserved but rigidity fails, and further, can be explicitly broken for specific weights.
• Sharp Characterization: The threshold parameter values and the detailed structure of weight and conformal factor where rigidity is lost or preserved are explicitly computed—a step beyond prior works that left the weighted setting largely unresolved.

Potential applications include further developments in the theory of overdetermined elliptic problems in the context of metric measure spaces and synthetic curvature bounds. The results provide templates for nonexistence of nontrivial densities in rigidity theorems but also identify the exact forms where rigidity must fail.

Future Perspectives

Given the subtlety required to maintain maximum principle arguments in noncompact weighted geometries, further work could investigate extensions to synthetic curvature-dimension conditions, more general measures, or nonconstant mean curvature (CMC) scenarios. There is also scope for analogous theorems on manifolds with density but with boundary singularities or under only weak curvature bounds. The integral techniques (Pohozaev identities, weighted Bochner formulas) developed here may find application in related contexts, especially in spectral and isoperimetric inequalities under general densities.

Conclusion

This paper establishes definitive symmetry and rigidity theorems for Serrin-type overdetermined problems in weighted Riemannian manifolds, distinguishing the unique role of compactness and curvature lower bounds in enforcing geometric and analytic rigidity. The analysis identifies explicit parameter ranges where classical ball domains are the only possibility, and precisely characterizes when and how this rigidity breaks down in noncompact or conformally altered geometries. The results advance the understanding of overdetermined elliptic problems in the weighted setting, both clarifying and extending the scope of classical geometric analysis.