Pith. sign in

REVIEW 2 major objections 3 minor 18 references

Separable motions for self-gravitating hyperelastic matter

T0 review · 2 major / 3 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Self-gravitating hyperelastic matter admits separable motions, including finite-time collapse.

desk verdict The main theorem is in better shape than the reader's report suggests: the alleged sign error in §3.4.1 is a misreading, and the real issue is a repairable coefficient slip in (53). read the letter →

arxiv 2506.02278 v1 pith:2P5NJBXD submitted 2025-06-02 math.AP

Juhi Jang , Trevor M. Leslie This is my paper
classification math.AP MSC 35Q3174B2035R3585A15
keywords separablemotionshomologoussolutionsself-gravitatinghyperelasticityfinite-timecollapsesolidvacuumboundaryfixedpointcontractionstrain-energyfunctionfreeproblem
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper proves that a spherically symmetric, self-gravitating elastic body surrounded by vacuum can move homologously: its radius is a time-dependent factor times a fixed spatial profile. For every sufficiently small parameter μ, there is a reference density and a classical profile solving the reduced boundary-value problem, so that the time factor solves the ODE q²q̈ = μ. Depending on μ and the initial velocity, the resulting motions expand globally, remain stationary, or collapse to a point in finite time. The collapsing case is claimed to be the first rigorous construction of finite-time collapse for a self-gravitating elastic body with positive residual pressure.

What carries the argument

The load-bearing object is the reduced constitutive function g(y) = ρ̄^{−1/3}W(I + (y−1)ω⊗ω), normalized so that g(1)=1 and g′(1)=−1/3. The proof converts the radial profile equation into the fixed-point equation ζ = $L^{{−1}}$F[ζ], where L is an explicitly invertible integral operator and F is built from g, g′, g″, and the parameters μ and ρ̄. The largeness assumption (14) keeps g″ large near y=1, making the fixed-point map a contraction; a continuity argument in ρ̄ then satisfies the free-boundary condition g′(y(1))=0.

What would settle it

Construct one explicit admissible strain-energy function W whose reduced function g obeys the normalization and largeness condition (14), then solve the fixed-point boundary-matching equations numerically for several μ in [−μ₀, μ₀]; if no ρ̄ in (ρ̄−(μ), ρ̄+) gives g′(y(1))=0, the theorem's existence claim fails. Conversely, showing that no such g exists would make the theorem vacuous.

Watch

Extended reading notes

Core claim

Under constitutive assumptions of hyperelasticity, homogeneity, objectivity, isotropy, and degree −1 homogeneity of the strain energy, and under an additional largeness condition on the reduced material function g, Theorem 1.12 establishes that for every μ in [−μ₀, μ₀] there exists ρ̄ > 0 and a classical spatial profile φ solving system (10). The profile determines the shape, while the ODE q²q̈ = μ determines the time evolution. The sign of the effective energy e_eff = ½q̇(0)² + μ decides whether the motion expands, stays stationary, or collapses at finite time with q(t) ∼ c₁(T − c₂t)^{2/3}. Finite-time collapse with positive residual pressure is the new result.

Load-bearing premise

The whole construction depends on the stored-energy function g having a second derivative at y=1 that is at least 50 times the scale set by its third derivative on a neighborhood; if no physically admissible g satisfies this bound, the theorem has no instances.

Editorial extensions

If this is right

  • For μ > 0, the constructed solutions expand globally in time, with the radius factor q growing at an asymptotically linear rate.
  • For μ = 0, the family includes stationary profiles, and choosing a nonzero initial velocity gives power-law expansion or collapse with q(t) = (1 + 3/2 q̇(0)t)^{2/3}.
  • For μ < 0 with e_eff < 0, the solution collapses to a point in finite time with q(t) ∼ c₁(T − c₂t)^{2/3}, giving the first rigorous collapsing separable elastic motion under positive residual pressure.
  • Every constructed profile satisfies the solid vacuum boundary condition g′(y(1))=0, meaning the traction vanishes on the moving boundary while the body remains a ball up to that boundary.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The contraction estimates are deliberately non-sharp, and sharper bounds for negative μ would likely extend the collapsing range beyond the interval [−μ₀, μ₀].
  • The boundary-matching strategy could adapt to gaseous vacuum boundary conditions, where the pressure vanishes at the edge, potentially connecting these elastic motions to the Lane–Emden parameter curve for polytropic stars.
  • A numerical exploration of the actual threshold in g″(1) and μ would map where the fixed-point construction breaks, giving a quantitative picture of where collapse begins.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 3 minor

Summary. The manuscript studies spherically symmetric, separable (homologous) motions of self-gravitating hyperelastic bodies with objective, isotropic, degree-1 homogeneous stored energy. It derives Lagrangian equations of motion for the radial profile, reduces the eigenvalue problem to a fixed-point formulation, and proves Theorem 1.12: under a largeness assumption on g''(1), for every sufficiently small parameter μ there exists a reference density ρ̄ and a classical radial profile φ solving the separable system (10). Depending on the sign of μ and the choice of the time-factor initial velocity, this yields expanding, stationary, or finite-time collapsing solutions; the collapsing case with positive residual pressure is claimed to be new. The proof combines a contraction-mapping argument on the radial profile with a shooting argument in ρ̄ to satisfy the free-boundary condition g'(y(1))=0.

Significance. If the proof is completed, the result is a nontrivial rigorous construction: it is the first construction of finite-time collapsing separable solutions for self-gravitating hyperelastic matter with positive residual pressure, complementing Sideris's no-gravity analysis and Calogero's numerical evidence. The paper's strengths include an explicit and clearly stated constitutive hypothesis (14), a clean reduction of the PDE problem to a one-dimensional fixed-point problem, and a genuinely two-parameter shooting argument rather than a construction that fits the conclusion. The central derivation appears internally consistent; the main obstacle is an arithmetic slip in one boundary-matching estimate, which is local and repairable.

major comments (2)
  1. [§3.4.2, Eq. (53)] The displayed estimate ∥ζ_{ρ̄_-(μ),μ}∥∞ ≤ (3/40 K(ρ̄_-(μ),μ) + 7/80)δ is not justified by the preceding line in §3.3.3. Since L^{-1}[1]=3/5 and δ=10/g''(1), the first term should be (3/50)Kδ rather than (3/40)Kδ; moreover the second term from the contraction estimate contributes an additional 7K/2000 δ. With the printed coefficient 3/40 and K≤1/20, the bound gives (3/800+7/80)δ = 73/800 δ ≈ 0.09125δ, which is larger than δ/11 ≈ 0.09091δ, so the strict inequality y(1)-1 < δ/33 is not established as written. This is a load-bearing step, because it provides the lower-endpoint side of the shooting argument for the boundary condition. The step is repairable by correcting the constant, e.g. using the sharper bound with coefficient 3/50+7/2000, which for K≤1/20 gives approximately 0.090675δ < δ/11.
  2. [§3.4, boundary-matching step] The intermediate value argument requires that y_{ρ̄,μ}(1) is continuous in ρ̄ on the interval [ρ̄_-(μ), ρ̄_+(μ)], but the paper does not state or prove the continuous dependence of the Banach fixed point on the parameter ρ̄. This is a standard fact under the uniform contraction estimates given, and the gap is likely harmless, but it should be stated explicitly. The endpoint ρ̄_-(0)=0 for μ=0 deserves a brief remark, since the fixed-point formulation contains factors of ρ̄^{-1/3}; the authors note that K is defined at ρ̄=0, but the continuity statement should cover this case.
minor comments (3)
  1. [§2.2.8, Eq. (12)] The derivation of (12) from (10) is terse; in particular the identity used to pass from the second displayed line to the third uses y(1-y)g'' plus terms involving h, and displaying one more intermediate line would improve readability.
  2. [Remark 1.11] The classification of expansion, stationarity, and collapse is helpful, but the statement of Theorem 1.12 could mention explicitly that the sign of the initial velocity for the ODE q²q¨=μ is free, so both expanding and collapsing trajectories are realized for the same constructed profile φ.
  3. [§3.3.3] The bound '≤(3/40K+7/80)δ' in the mapping-to-N(δ) argument is an overly crude and incorrectly displayed combination of the preceding terms; even if the upper bound remains valid, the derivation should be corrected to avoid confusion with the later use of the same coefficient in §3.4.2.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the proof is a self-contained fixed-point construction; ρ̄ is chosen by a shooting/continuity argument to match the free-boundary condition, not fitted to the target solution.

full rationale

The paper's central existence theorem is not circular. The constitutive largeness condition (14) is an explicit hypothesis on g, not a consequence of the derivation, and it is used to make the fixed-point operator L^{-1}F a contraction on N(δ). The reference density ρ̄ is a free parameter: for each μ the proof tunes ρ̄ via a shooting/continuity argument between the endpoint inequalities (52) and (53) to satisfy g'(y(1))=0, which is a genuine matching condition rather than an output built into the ansatz. The only questionable step located is the numerical estimate in §3.4.2: from ∥ζ∥ ≤ (3/40 K + 7/80)δ and K ≤ 1/20 one gets ≤ 73/800 δ ≈ 0.09125δ, which is not < δ/11 ≈ 0.09091δ, so inequality (53) as written does not follow; this is a repairable constant/computation issue and does not make the argument circular. Citations to [18] provide the external constitutive realization theorem and are not self-citations; the authors' own prior works are cited only for background stability results, not as load-bearing premises of the fixed-point construction.

Assumptions & free parameters 3 free parameters · 4 assumptions · 0 invented entities

The proof relies on the constitutive hypotheses (homogeneity degree -1, objectivity, isotropy), the cited realizability theorem of Sideris, and the ad hoc largeness condition (14). The constants δ, ρ̄_+, and µ_0 are chosen by hand to make the estimates work.

free parameters (3)
  • δ = 10 / g''(1)
    Width of the neighborhood I(δ) on which g'' is controlled; chosen by hand to make the contraction estimates in Section 3.3 work.
  • ρ̄_+ = (10 / (4πG/3))^(3/2)
    Auxiliary density scale where the gravitational coefficient equals 10; used to define μ0 bounds and to prove inequality (52).
  • μ_0 = exists, not explicit
    Eigenvalue threshold chosen small enough to satisfy (48)-(51); the theorem is existential over this constant.
assumptions (4)
  • standard math Sideris's Theorem 11.1: every sufficiently smooth positive g with g'(1)=-1/3 arises from some admissible W
    Invoked in Section 1.3 to permit imposing assumption (14) directly on g rather than on W.
  • domain assumption The body is hyperelastic, homogeneous, and W is objective, isotropic, and homogeneous of degree -1
    Used to derive the reduced systems (8) and (10) from (1); the degree -1 condition is called a strong assumption in Remark 1.4.
  • ad hoc to paper Large second derivative condition (14): g''(1) ≥ 50(50 + sup_{|y−1|≤1/2} |g'''(y)|)
    The main restrictive hypothesis, introduced solely to make the fixed point argument close; the authors note it is far from optimal in Remark 1.13.
  • domain assumption Classical solution regularity: the flow map is a C^1 diffeomorphism and C^2 in time
    Needed to convert the Eulerian system (1) into the Lagrangian system (20) in Section 2.1.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Separable motions for self-gravitating hyperelastic matter." pith.science (2026). https://pith.science/paper/2P5NJBXD

@misc{pith2026250602278,
  author       = {Pith},
  title        = {Pith review of: Separable motions for self-gravitating hyperelastic matter},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2P5NJBXD}},
  note         = {Machine review of arXiv:2506.02278}
}
read the original abstract

In this paper, we prove the existence of separable solutions to the equations of motion for self-gravitating hyperelastic matter, under an appropriate class of constitutive assumptions on the strain-energy function. Our framework includes both global-in-time solutions which expand and also solutions which collapse to a point in finite time. Other authors have constructed expanding solutions in similar settings, but to the best of our knowledge, the collapsing solutions we construct are completely new.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages

  1. [1]

    Static self-gravitating newtonian elastic balls.Arch

    Artur Alho and Simone Calogero. Static self-gravitating newtonian elastic balls.Arch. Rat. Mech. Anal., 238:639–669, 2020

    work page 2020

  2. [2]

    Self-gravitating static balls of power-law elastic matter.Adv

    Artur Alho, Simone Calogero, and Astrid Liljenberg. Self-gravitating static balls of power-law elastic matter.Adv. Theor. Math. Phys., 26(9):2885–2908, 2022

    work page 2022

  3. [3]

    On self-gravitating polytropic elastic balls.Ann

    Simone Calogero. On self-gravitating polytropic elastic balls.Ann. Henri Poincar ´e, 23(12):4279–4318, 2022

    work page 2022

  4. [4]

    On the critical mass of the collapse of a gaseous star in spherically symmetric and isentropic motion.Japan J

    Chun-Chieh Fu and Song-Sun Lin. On the critical mass of the collapse of a gaseous star in spherically symmetric and isentropic motion.Japan J. Indust. Appl. Math., 15(3):461–469, 1998

    work page 1998

  5. [5]

    Homologously collapsing stellar cores.Astrophys

    Peter Goldreich and Stephen V Weber. Homologously collapsing stellar cores.Astrophys. J, 238:991–997, 1980

    work page 1980

  6. [6]

    Gurtin.An introduction to continuum mechanics, volume 158 ofMathematics in Science and Engineering

    Morton E. Gurtin.An introduction to continuum mechanics, volume 158 ofMathematics in Science and Engineering. Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York-London, 1981

    work page 1981

  7. [7]

    Expanding large global solutions of the equations of compressible fluid mechanics.Invent

    Mahir Had ˇzi´c and Juhi Jang. Expanding large global solutions of the equations of compressible fluid mechanics.Invent. Math., 214(3):1205–1266, 2018

    work page 2018

  8. [8]

    Nonlinear stability of expanding star solutions of the radially symmetric mass-critical Euler-Poisson system.Comm

    Mahir Had ˇzi´c and Juhi Jang. Nonlinear stability of expanding star solutions of the radially symmetric mass-critical Euler-Poisson system.Comm. Pure Appl. Math., 71(5):827–891, 2018

    work page 2018

Show all 18 references
  1. [9]

    Nonlinear instability theory of Lane-Emden stars.Comm

    Juhi Jang. Nonlinear instability theory of Lane-Emden stars.Comm. Pure Appl. Math., 67(9):1418–1465, 2014. 16 JUHI JANG AND TREVOR M. LESLIE

    2014

  2. [10]

    Blowup phenomena of solutions to the euler equations for compressible fluid flow

    Tianhong Li and Dehua Wang. Blowup phenomena of solutions to the euler equations for compressible fluid flow. Journal of Differential Equations, 221(1):91–101, 2006

    2006

  3. [11]

    On the expanding configurations of viscous radiation gaseous stars: thermodynamic model.J

    Xin Liu. On the expanding configurations of viscous radiation gaseous stars: thermodynamic model.J. Differential Equations, 268(6):2717–2751, 2020

    2020

  4. [12]

    Blowing up solutions of the euler-poisson equation for the evolution of gaseous stars.Transp

    Tetu Makino. Blowing up solutions of the euler-poisson equation for the evolution of gaseous stars.Transp. Theory Statist. Phys., 21:615—-624, 1992

    1992

  5. [13]

    Marsden and T.J.R

    J.E. Marsden and T.J.R. Hughes.Mathematical Foundations of Elasticity. Dover Civil and Mechanical Engineering. Dover Publications, 2012

    2012

  6. [14]

    Ogden.Non-linear Elastic Deformations

    R.W. Ogden.Non-linear Elastic Deformations. Dover Civil and Mechanical Engineering. Dover Publications, 1997

    1997

  7. [15]

    New solution of hydrodynamic equations.Dokl

    Lev Vasil’evich Ovsyannikov. New solution of hydrodynamic equations.Dokl. Akad. Nauk SSSR, 111(1):47–49, 1956

    1956

  8. [16]

    Steve Shkoller and Thomas C. Sideris. Global existence of near-affine solutions to the compressible euler equations. Arch. Ration. Mech. Anal., 234(1):115—-180, 2019

    2019

  9. [17]

    Thomas C. Sideris. Global existence and asymptotic behavior of affine motion of 3D ideal fluids surrounded by vacuum. Arch. Ration. Mech. Anal., 225(1):141–176, 2017

    2017

  10. [18]

    Thomas C. Sideris. Expansion and collapse of spherically symmetric isotropic elastic bodies surrounded by vacuum. Ann. Henri Poincar´e, 2023. (J. Jang) DEPARTMENT OFMATHEMATICS, UNIVERSITY OFSOUTHERNCALIFORNIA, LOSANGELES, CA 90089 Email address:juhijang@usc.edu (T. Leslie) DE...

    2023

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.