Spherically symmetric solutions to the Einstein-scalar field conformal constraint equations

Abstract: Recent works by the second author and Dilts et al. have shown that the Einstein-scalar field conformal constraint equations are highly complex and generally intractable, even in the vacuum case. In this article, to gain a clearer understanding and offer a new perspective, we study these equations under special assumptions: the manifold $(M,g)$ is harmonic and data is radial. In this setting, the system reduces to a single nonlinear equation and is completely resolved in the standard cases. In particular, on the sphere, our results reveal phenomena that contrast with the well-known achievements on compact manifolds without conformal Killing vector fields, including nonexistence of solutions in the near-CMC regime and instability when the mean curvature is non-constant. By contrast, on Euclidean or hyperbolic manifolds, the equations are always solvable, with all expected properties of solutions satisfied. These findings support the view that, although the conformal method appears to present some drawbacks on compact manifolds, it remains a promising tool for parametrizing solutions to the constraint equations on asymptotically flat and hyperbolic manifolds in arbitrary mean curvature regimes. In this article, we also investigate the sign of mass, showing that the ADM and asymptotically hyperbolic mass can take arbitrary sign when the decay rate of symmetric $(0,2)$-tensor $k$ at infinity is critical. Finally, most solution classes in our framework are explicit, providing a variety of models in general relativity and offering insights into the structure and behavior of initial data, particularly in numerical applications.

• The paper presents explicit solution criteria by reducing the coupled constraint system to a single nonlinear equation under spherical symmetry.
• It identifies regimes of non-existence and instability, particularly on compact manifolds with conformal Killing fields, by analyzing near-CMC behavior.
• The study demonstrates sharp mass sign thresholds in asymptotically flat and hyperbolic settings, providing concrete benchmarks for numerical relativity.

Spherically Symmetric Solutions to the Einstein-Scalar Field Conformal Constraint Equations

Formulation and Reduction of the Conformal Constraint System

The paper "Spherically symmetric solutions to the Einstein-scalar field conformal constraint equations" (2602.20099) addresses the challenging problem of constructing initial data for the Einstein-scalar field system via the conformal method. The Einstein-scalar field constraint equations are recast using the conformal approach, parameterizing unknowns $(\varphi, W)$ so that for prescribed "seed" data (metric, scalar potential, mean curvature, etc.), one solves a coupled system comprising a nonlinear elliptic Lichnerowicz-type equation and a vector equation involving the conformal Killing operator.

Under radial symmetry and on harmonic manifolds (including spheres, Euclidean spaces, and hyperbolic spaces), the coupled system is significantly simplified. The vector equation can be solved explicitly in terms of primary functions constructed from the manifold’s geometry. Consequently, the coupled system reduces to a single nonlinear equation governing the conformal factor $\varphi(r)$, which can be analyzed in terms of geometric and physical data.

Main Results and Analytical Structure

For spherically symmetric and radial data, the paper provides necessary and sufficient conditions for existence, uniqueness, and explicit parameterization of initial data. The reduction yields:

• Explicit solution criteria: Given a radial, positive function $\varphi(r)$, the existence of solutions depends on the positivity of an associated functional $S_{V,\psi,\rho,\varphi}(r)$. Any freely specified $\varphi(r)$ with $S > 0$ determines a unique compatible mean curvature $\tau(r)$ and full solution of the constraint system. Most solution classes admit closed forms and can be constructed for practical modeling and numerical benchmarks.
• Instabilities and non-existence: On compact manifolds with conformal Killing vector fields (CKVF), notably the sphere, there exist regimes (near-constant mean curvature) with non-existence or instability of solutions. For non-CMC regimes, stability is generally lost. Moreover, in the vacuum case with null TT-tensor, the system admits no radial solutions, implying an infinite-dimensional solution space if any exists.
• Solvability and stability for noncompact cases: On Euclidean and hyperbolic space forms, the constraint system is always solvable for radial data, with solutions exhibiting uniform bounds independent of mean curvature. There is no additional vanishing condition on the mean curvature, as opposed to the sphere.
• Sharp mass sign results: For asymptotically flat or hyperbolic manifolds, when the decay rate of the extrinsic curvature tensor $k$ is at a critical threshold, the ADM or asymptotically hyperbolic mass can take arbitrary sign, showing that positive mass theorems depend critically on decay assumptions.

Strong Claims and Numerical Findings

• New non-existence regimes: The near-CMC regime fails to guarantee admissibility on manifolds with CKVF, sharply contradicting previous results on manifolds without CKVF, where solutions exist uniquely for small $\frac{d\tau}{\tau}$ and nontrivial time-derivative.
• Instability in sign-changing regimes: If $\mathcal{B}_{\tau,\psi}$ changes sign, one can explicitly construct sequences of blowing-up solutions for non-CMC data, indicating instability and loss of compactness in the solution set for all dimensions.
• Explicit negative mass solutions: Both in asymptotically flat and hyperbolic settings, the paper exhibits explicit initial data with critical decay yielding negative ADM/AH mass, showing the sharpness of the conventional decay restrictions.

Implications and Theoretical Significance

The results provide a comprehensive classification of radial solutions across different geometry classes, revealing the geometric, analytic, and physical subtleties underlying the constraint equations. The approach presents:

• A new paradigm for parameterization: The conformal method, despite earlier doubts due to apparent instabilities and non-uniqueness on compact manifolds, remains robust for noncompact settings and arbitrary mean curvature, especially with symmetric data. This underscores its utility in generating explicit initial data for numerical relativity.
• Sharpness of geometric and decay conditions: The mass sign theorems are demonstrably sensitive to decay rates, providing sharp thresholds for geometric positivity in both AF and AH settings.
• Potential for further analysis and numerical studies: The explicit construction methodology, coupled with explicit functional formulae for both conformal factors and masses, enables extensive benchmarking and testing of numerical algorithms and further analytical exploration, e.g., under perturbations or anisotropic generalizations.

Future Directions

Several directions emerge:

• Extension to non-radial/non-symmetric cases: The explicit framework offers analytic insight and testbeds for more general perturbative, nonradial cases, possibly aiding in overcoming compactness and uniqueness obstacles in current numerical schemes.
• Rigorous investigation of blow-up regimes and critical thresholds: The sharp existence/non-existence boundaries warrant deeper investigation into bifurcation and stability transitions, especially in the presence of CKVF or strongly varying mean curvature.
• Applications in the conformal method numerics: The explicit solution classes can serve as benchmarks and initial seeds for evolutionary schemes or gluing techniques in numerical relativity.

Conclusion

This paper presents a rigorous reduction, classification, and construction of spherically symmetric solutions to the Einstein-scalar field conformal constraint equations, clarifying intricate existence, uniqueness, and stability phenomena. It demonstrates the role of symmetry, geometry, and decay in both solvability and physical properties (e.g., mass sign), and suggests pathways to resolving open questions in constraint equation theory and its numerical applications (2602.20099).