Recognition: 2 theorem links
· Lean TheoremOppenheimer-Snyder Collapse in f(R) Gravity : Stalemate or Resolution?
Pith reviewed 2026-05-10 16:53 UTC · model grok-4.3
The pith
Generalized Vaidya exteriors force f,R linear in radius and exclude nontrivial dust collapse in f(R) gravity.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Matching a homogeneous dust FLRW interior to a generalized Vaidya exterior across a timelike hypersurface in metric f(R) gravity requires continuity of the Ricci scalar and its normal derivative in addition to the usual Israel conditions. These extra requirements, once the exterior is restricted to generalized Vaidya form, force the field equations to yield f,R = A(v) r + B(v). For locally invertible f,R with nonzero second derivative, the boundary data then determine the exterior uniquely on each invertible interval. The branch A(v) nonzero fails to extend globally with finite asymptotic curvature for generic viable f(R) models, while the branch A(v) = 0 confines the interior to a constant-
What carries the argument
The algebraic constraint imposed by the generalized Vaidya field equations on the matching hypersurface, which forces f,R to be linear in the areal radius.
If this is right
- The nonzero-A branch cannot be extended globally while keeping asymptotic curvature finite.
- The zero-A branch places the interior on a constant-curvature sector and thereby excludes nontrivial dust dynamics.
- The matching problem reopens at the formal level for unrestricted exteriors but stays tightly constrained inside the Vaidya sector.
- Collapse may remain possible for interiors whose trace is constant but whose matter is not dust.
Where Pith is reading between the lines
- The result shows that the existence of collapse solutions in f(R) gravity is highly sensitive to the assumed form of the exterior metric.
- Resolving the singularity issue may therefore require either non-Vaidya exteriors or interior matter whose trace is not constant.
- The same matching analysis could be repeated for other common exterior ansatze to see whether they evade the linearity constraint.
Load-bearing premise
The exterior spacetime is restricted to generalized Vaidya form, which then forces f,R to be linear in radius.
What would settle it
An explicit construction of a viable f(R) model in which the A(v) nonzero branch extends to a global solution with finite curvature at large r would falsify the claimed exclusion for that model.
read the original abstract
We study the Oppenheimer--Snyder (OS) collapse problem in metric $f(R)$ gravity by matching a homogeneous dust Friedmann--Lema\^itre--Robertson--Walker (FLRW) interior to a generalized Vaidya exterior across a timelike hypersurface. In metric $f(R)$ gravity, regular matching requires the continuity not only of the induced metric and extrinsic curvature, but also of the Ricci scalar and its normal derivative. These additional conditions generically exclude the usual Ricci-flat exteriors, such as the Schwarzschild solution. We show that, for an unrestricted generalized Vaidya exterior, the matching conditions fix the boundary data but do not uniquely determine the bulk extension, leaving open the possibility of a physical resolution of the collapse problem. However, once the exterior matter content is restricted to the generalized Vaidya form, the field equations impose a strong constraint, forcing $f_{,R}$ to be linear in the areal radius, $f_{,R}=A(v)\,r+B(v)$. For locally invertible $f_{,R}$ with $f_{,RR}\neq 0$, this sharply reduces the admissible class of exteriors, so that the matching data uniquely determine the exterior solution on each interval where the boundary map is locally invertible. We further show that, for generic viable $f(R)$ models, the branch with $A(v)\neq 0$ does not admit a global extension with finite asymptotic curvature, while the branch $A(v)=0$ places the interior on a constant-curvature sector. This excludes nontrivial dust collapse, although it does not rule out collapse for more general interior matter with constant trace. Thus, generalized Vaidya exteriors reopen the collapse problem at a formal level, but within the restricted matter sector considered here, the OS dust collapse problem remains unresolved and the physically acceptable branch is highly constrained.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript examines the Oppenheimer-Snyder collapse of homogeneous dust in metric f(R) gravity by matching a homogeneous dust FLRW interior to a generalized Vaidya exterior across a timelike hypersurface. It derives the additional junction conditions requiring continuity of the Ricci scalar R and its normal derivative, shows that unrestricted generalized Vaidya exteriors fix boundary data but leave the bulk extension non-unique, and then demonstrates that restricting the exterior matter content to generalized Vaidya form forces f,R to be linear in the areal radius (f,R = A(v)r + B(v)). For locally invertible f,R with f,RR ≠ 0 and generic viable f(R) models, this excludes nontrivial dust collapse: the A(v) ≠ 0 branch lacks global finite-asymptotic-curvature extensions, while A(v) = 0 confines the interior to constant-curvature sectors.
Significance. If the derivations hold, the result demonstrates that standard dust OS collapse is incompatible with generic f(R) gravity under generalized Vaidya exteriors, constraining the admissible solutions to constant-curvature branches or requiring non-Vaidya exteriors or interiors with constant trace. This advances understanding of junction conditions and strong-field viability in modified gravity, with the paper's explicit logical chain from matching conditions to the linearity constraint and exclusion providing a clear, falsifiable constraint on models.
minor comments (3)
- Abstract: the statement that generalized Vaidya exteriors 'reopen the collapse problem at a formal level' is left somewhat implicit; a short paragraph in the introduction or §2 clarifying what non-unique bulk extensions are possible before imposing the generalized Vaidya restriction would improve readability.
- Notation: the derivatives f,R and f,RR are used throughout without an early explicit definition or reminder of the comma notation; adding this in the preliminaries or a footnote would aid clarity for readers.
- Abstract and conclusion: 'generic viable f(R) models' is invoked for the exclusion; a brief specification of viability criteria (e.g., cosmological or local gravity constraints) in the introduction would make the scope of the result more precise.
Simulated Author's Rebuttal
We thank the referee for their accurate and positive summary of our manuscript, as well as for recognizing the significance of the derived constraints on the Oppenheimer-Snyder problem in f(R) gravity. We appreciate the recommendation for minor revision. Since no specific major comments or requested changes were provided in the report, we address the overall assessment below and confirm that no revisions to the content are required.
read point-by-point responses
-
Referee: The manuscript examines the Oppenheimer-Snyder collapse of homogeneous dust in metric f(R) gravity by matching a homogeneous dust FLRW interior to a generalized Vaidya exterior across a timelike hypersurface. It derives the additional junction conditions requiring continuity of the Ricci scalar R and its normal derivative, shows that unrestricted generalized Vaidya exteriors fix boundary data but leave the bulk extension non-unique, and then demonstrates that restricting the exterior matter content to generalized Vaidya form forces f,R to be linear in the areal radius (f,R = A(v)r + B(v)). For locally invertible f,R with f,RR ≠ 0 and generic viable f(R) models, this excludes nontrivial dust collapse: the A(v) ≠ 0 branch lacks global finite-asymptotic-curvature extensions, while A(v) = 0 confines the interior to constant-curvature sectors.
Authors: We thank the referee for this concise and faithful summary of the paper's content and conclusions. The derivations, including the additional junction conditions, the linearity constraint on f,R under restricted generalized Vaidya exteriors, and the resulting exclusion of nontrivial dust collapse for generic viable models, are exactly as presented in the manuscript. We confirm that the logical chain is complete and that the result constrains admissible solutions to constant-curvature branches or requires non-Vaidya exteriors. revision: no
Circularity Check
No significant circularity; derivation follows from field equations and matching conditions under explicit restriction.
full rationale
The paper derives the linearity constraint f,R = A(v)r + B(v) and the subsequent exclusion of nontrivial dust collapse directly from the metric f(R) field equations and the additional matching conditions on the Ricci scalar and its derivative, once the exterior is restricted to generalized Vaidya form. This is a mathematical consequence of the equations rather than a self-definition, fitted input renamed as prediction, or load-bearing self-citation. The abstract explicitly notes that without the restriction the bulk extension remains non-unique, so the restriction is presented as a modeling choice whose physical generality is left open. No uniqueness theorems or ansatze are imported via self-citation, and the central result is self-contained against the stated assumptions without reducing to its inputs by construction.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Regular matching in metric f(R) gravity requires continuity of the induced metric, extrinsic curvature, Ricci scalar R, and its normal derivative across the timelike hypersurface.
- domain assumption The exterior spacetime is restricted to the generalized Vaidya form.
Reference graph
Works this paper leans on
-
[1]
Iff ,R is bounded from above along the correspond- ing inverse branchΦ(equivalently, on the curvature range attained by the solution), then the relation F(v, r) =f ,R(R(v, r)) (117) cannot hold for arbitrarily larger, and therefore no global extension to arbitrarily largerexists
-
[2]
Iff ,R(R)→+∞only whenR→ ∞, then R(v, r)→ ∞asr→ ∞.(118)
-
[3]
10 Proof.If the branch extends to arbitrarily largerand f,R >0, then eitherA(v) = 0 (in which casef ,R(v, r)≡ B(v)>0), orA(v)̸= 0
A finite asymptotic limit R(v, r)→R ∗, R ∗ <∞,(119) is possible only if f,R(R)→+∞asR→R ∗.(120) In particular, for generic viablef(R)models in whichf ,R remains finite at all finite curvature, the branchA(v)̸= 0 cannot admit a global extension with finite asymptotic curvature. 10 Proof.If the branch extends to arbitrarily largerand f,R >0, then eitherA(v) ...
2023
-
[4]
J. R. Oppenheimer and H. Snyder, On Continued gravi- tational contraction, Phys. Rev.56, 455 (1939)
1939
-
[5]
Darmois,Les ´ equations de la gravitation einsteini- enne, M´ emorial des Sciences Math´ ematiques, Vol
G. Darmois,Les ´ equations de la gravitation einsteini- enne, M´ emorial des Sciences Math´ ematiques, Vol. 25 (Gauthier-Villars, Paris, 1927)
1927
-
[6]
Israel, Singular hypersurfaces and thin shells in gen- eral relativity, Nuovo Cim
W. Israel, Singular hypersurfaces and thin shells in gen- eral relativity, Nuovo Cim. B44S10, 1 (1966), [Erratum: Nuovo Cim.B 48, 463 (1967)]
1966
-
[7]
P. C. Vaidya, The gravitational field of a radiating star, Proc. Indian Acad. Sci. A33, 264 (1951)
1951
-
[8]
N. O. Santos, Non-adiabatic radiating collapse, Mon. Not. Roy. Astron. Soc.216, 403 (1985)
1985
-
[9]
Husain, Exact solutions for null fluid collapse, Phys
V. Husain, Exact solutions for null fluid collapse, Phys. Rev. D53, 1759 (1996), arXiv:gr-qc/9511011
-
[10]
A. Wang and Y. Wu, Generalized Vaidya solutions, Gen. Rel. Grav.31, 107 (1999), arXiv:gr-qc/9803038
-
[11]
A. A. Starobinsky, A New Type of Isotropic Cosmological Models Without Singularity, Phys. Lett. B91, 99 (1980)
1980
-
[12]
T. P. Sotiriou and V. Faraoni, f(R) Theories Of Gravity, Rev. Mod. Phys.82, 451 (2010), arXiv:0805.1726 [gr-qc]
work page Pith review arXiv 2010
-
[13]
A. De Felice and S. Tsujikawa, f(R) theories, Living Rev. Rel.13, 3 (2010), arXiv:1002.4928 [gr-qc]
work page Pith review arXiv 2010
-
[14]
Modified Gravity and Cosmology
T. Clifton, P. G. Ferreira, A. Padilla, and C. Skordis, Modified Gravity and Cosmology, Phys. Rept.513, 1 (2012), arXiv:1106.2476 [astro-ph.CO]
work page internal anchor Pith review arXiv 2012
-
[15]
Teyssandier and P
P. Teyssandier and P. Tourrenc, The Cauchy problem for the R+R**2 theories of gravity without torsion, J. Math. Phys.24, 2793 (1983)
1983
-
[16]
N. Deruelle, M. Sasaki, and Y. Sendouda, Junction condi- tions in f(R) theories of gravity, Prog. Theor. Phys.119, 237 (2008), arXiv:0711.1150 [gr-qc]
- [17]
-
[18]
R. Goswami, A. M. Nzioki, S. D. Maharaj, and S. G. Ghosh, Collapsing spherical stars in f(R) gravity, Phys. Rev. D90, 084011 (2014), arXiv:1409.2371 [gr-qc]
-
[19]
A. Casado-Turri´ on, ´A. de la Cruz-Dombriz, and A. Dobado, Is gravitational collapse possible in f(R) grav- ity?, Phys. Rev. D105, 084060 (2022), arXiv:2202.04439 [gr-qc]
-
[20]
A. Ganguly, R. Gannouji, R. Goswami, and S. Ray, Neu- tron stars in the Starobinsky model, Phys. Rev. D89, 064019 (2014), arXiv:1309.3279 [gr-qc]
-
[21]
Muller, H
V. Muller, H. J. Schmidt, and A. A. Starobinsky, The Stability of the De Sitter Space-time in Fourth Order Gravity, Phys. Lett. B202, 198 (1988)
1988
-
[22]
A. D. Dolgov and M. Kawasaki, Can modified gravity ex- plain accelerated cosmic expansion?, Phys. Lett. B573, 1 (2003), arXiv:astro-ph/0307285
work page Pith review arXiv 2003
-
[23]
S. W. Hawking and G. F. R. Ellis,The Large Scale Struc- ture of Space-Time, Cambridge Monographs on Mathe- matical Physics (Cambridge University Press, 2023)
2023
-
[24]
P. Martin-Moruno and M. Visser, Essential core of the Hawking–Ellis types, Class. Quant. Grav.35, 125003 (2018), arXiv:1802.00865 [gr-qc]
-
[25]
Lake and T
K. Lake and T. Zannias, Structure of singularities in the spherical gravitational collapse of a charged null fluid, Phys. Rev. D43, 1798 (1991)
1991
- [26]
-
[27]
B. P. Brassel, S. D. Maharaj, and R. Goswami, Inhomo- geneous and Radiating Composite Fluids, Entropy23, 1400 (2021)
2021
-
[28]
T. Clifton and J. D. Barrow, The Power of General Relativity, Phys. Rev. D72, 103005 (2005), [Erratum: Phys.Rev.D 90, 029902 (2014)], arXiv:gr-qc/0509059
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.