pith. sign in

arxiv: 2605.15634 · v1 · pith:7JMOKTJXnew · submitted 2026-05-15 · 🧮 math.AP

Sharp threshold for a one-dimensional thin film equation in the supercritical case

Shen Bian This is my paper

Pith reviewed 2026-05-20 17:23 UTC · model grok-4.3

classification 🧮 math.AP
keywords thin film equationfinite-time blow-upsteady stateSz.-Nagy inequalityfree energysupercritical regimeaggregation-diffusionone-dimensional PDE
0
0 comments X

The pith

For the one-dimensional thin film equation with supercritical repulsion, the steady state U_* sets a sharp threshold: larger L^{m+1} norm and lower free energy than U_* imply finite-time blow-up.

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

The paper establishes that a unique steady state U_* minimizes the free energy and serves as the extremal for the sharp Sz.-Nagy inequality. In the regime where the repulsion exponent m exceeds 3, any initial datum whose L^{m+1} norm exceeds that of U_* and whose free energy lies below the minimum value F(U_*) must blow up in finite time. Data with smaller L^{m+1} norm instead exist globally and spread so that the second moment diverges. This criterion widens the class of data known to blow up beyond those with merely negative energy.

Core claim

In the supercritical case 3 < m < ∞ for the one-dimensional thin film equation combining fourth-order repulsion with m-order aggregation, there exists a unique nonnegative radially decreasing steady state U_* that coincides with the extremal function of the sharp Sz.-Nagy inequality and is simultaneously the global minimizer of the free energy. Using this variational characterization, finite-time blow-up occurs for all initial data whose free energy lies below the positive threshold F(U_*), provided the L^{m+1}-norm exceeds that of U_*. Conversely, if the L^{m+1}-norm is below that of U_*, the solution exists globally and its second moment diverges as t approaches infinity.

What carries the argument

The steady state U_*, which is the unique nonnegative radially decreasing solution that is both the global minimizer of the free energy and the extremal function for the sharp Sz.-Nagy inequality.

If this is right

  • Finite-time blow-up occurs for initial data satisfying F(u0) < F(U_*) and ||u0||_{L^{m+1}} > ||U_*||_{L^{m+1}}.
  • Global existence holds when ||u0||_{L^{m+1}} < ||U_*||_{L^{m+1}}, with the second moment diverging to infinity.
  • The variational characterization of U_* directly determines the dynamical threshold between blow-up and spreading.
  • The new criterion applies to a wider class of initial data than the earlier condition of negative free energy alone.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Numerical integration of the equation could test whether the predicted blow-up times match the L^{m+1}-norm comparison.
  • The same energy-norm threshold construction might be examined in aggregation-diffusion models on the line with different diffusion orders.
  • In the global-existence regime the diverging second moment suggests quantitative spreading rates that could be derived from the same variational structure.

Load-bearing premise

There exists a unique nonnegative radially decreasing steady state U_* that is simultaneously the extremal function of the sharp Sz.-Nagy inequality and the global minimizer of the free energy.

What would settle it

An initial datum whose L^{m+1} norm exceeds that of U_* and whose free energy lies below F(U_*) but whose solution remains global and bounded for all time would falsify the blow-up claim.

read the original abstract

We study a one-dimensional thin film equation combining competitive effects of aggregation and repulsion, where repulsion is modeled by fourth-order diffusion and aggregation by backward second-order degenerate diffusion with exponent $m>0$. Under natural regularity constraints, we prove that for every $m>0$, there exists a unique (up to the mass-critical case $m=3$) nonnegative, radially decreasing steady state $U_*$ which coincides with the extremal function of the sharp Sz.-Nagy inequality and is simultaneously the global minimizer of the free energy. Using this variational characterization in the supercritical regime $3<m<\infty$, we show that finite-time blow-up occurs for all initial data whose initial free energy lies below the positive threshold $F(U_*)$, provided the $L^{m+1}$-norm of the initial datum exceeds that of $U_*$. Conversely, if the $L^{m+1}$-norm is below that of $U_*$, the solution exists globally and its second moment diverges as $t\to\infty$. This sharp criterion significantly extends the previously known blow-up condition requiring negative free energy to a much wider class of initial data (see \cite{BP00}). Our results identify the steady state $U_*$ as the critical pivot linking variational structure to dynamical behavior, and provide a constructive method to determine blow-up versus global existence via an explicit $L^{m+1}$-norm comparison.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 1 minor

Summary. The manuscript studies a one-dimensional thin film equation with competing fourth-order repulsion and m-dependent aggregation. It asserts that for every m>0 (except the mass-critical case m=3) there exists a unique nonnegative radially decreasing steady state U_* that is simultaneously the extremal function of the sharp Sz.-Nagy inequality and the global minimizer of the free-energy functional F. In the supercritical regime 3<m<∞ the paper proves finite-time blow-up whenever F(u_0)<F(U_*) and ||u_0||_{m+1}>||U_*||_{m+1}, while global existence with diverging second moment holds when the L^{m+1} norm lies below that of U_*. The result is presented as a sharp extension of the classical negative-energy blow-up criterion.

Significance. If the variational identification of U_* is free of internal contradiction, the work would supply a precise, constructive threshold that substantially enlarges the set of initial data for which blow-up can be predicted, moving beyond the negative-energy regime to include certain positive-energy data. The explicit linkage between the Sz.-Nagy extremal and the dynamical pivot is a potentially valuable contribution to the analysis of aggregation-diffusion equations.

major comments (1)
  1. [Abstract] Abstract (and the statement of the main dynamical result): the claim that U_* is the global minimizer of F is inconsistent with the asserted blow-up criterion for data satisfying F(u_0)<F(U_*). A global minimizer would imply F(u)≥F(U_*) for every admissible u, rendering the set {u_0 : F(u_0)<F(U_*)} empty and the new threshold vacuous. This directly contradicts the abstract's assertion that the criterion extends the negative-energy condition of BP00 to a wider class. The identification of U_* as global minimizer is load-bearing for the sharp-threshold claim.
minor comments (1)
  1. [Abstract] The phrase 'natural regularity constraints' is used without explicit definition; a short clarification or reference to the precise function space would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for highlighting the inconsistency in our description of the variational properties of the steady state U_*. We fully agree that the current claim leads to a logical contradiction with the proposed blow-up criterion and will make the necessary revisions to resolve this issue.

read point-by-point responses

  1. Referee: [Abstract] Abstract (and the statement of the main dynamical result): the claim that U_* is the global minimizer of F is inconsistent with the asserted blow-up criterion for data satisfying F(u_0)<F(U_*). A global minimizer would imply F(u)≥F(U_*) for every admissible u, rendering the set {u_0 : F(u_0)<F(U_*)} empty and the new threshold vacuous. This directly contradicts the abstract's assertion that the criterion extends the negative-energy condition of BP00 to a wider class. The identification of U_* as global minimizer is load-bearing for the sharp-threshold claim.

    Authors: We appreciate the referee's identification of this important point. We acknowledge that asserting U_* to be the global minimizer of the free energy F is inconsistent with the existence of initial data for which F(u_0) < F(U_*), as a global minimizer would satisfy F(u) ≥ F(U_*) for all admissible u. This was an inadvertent error in the manuscript. In reality, for the supercritical range 3 < m < ∞, the free-energy functional is unbounded from below, which is consistent with the possibility of finite-time blow-up. The role of U_* in our analysis is as the unique nonnegative, radially decreasing steady state that also serves as the extremal function for the sharp Sz.-Nagy inequality. This variational characterization via the Sz.-Nagy inequality is what enables the sharp threshold in terms of the L^{m+1} norm. The proofs of the dynamical results do not rely on U_* being a global minimizer but rather on comparison principles and virial-type identities that use the specific profile of U_*. We will revise the abstract and all relevant statements in the manuscript to remove the claim that U_* is the global minimizer and to accurately describe its properties as the Sz.-Nagy extremal and the unique radial steady state. This revision will not impact the validity of the main results. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on proved variational characterization and external inequalities

full rationale

The paper states it proves existence and uniqueness of U_* as the radially decreasing steady state that coincides with the Sz.-Nagy extremal and is the global minimizer of the free energy F. It then invokes this characterization to obtain the sharp blow-up threshold F(u_0) < F(U_*) when ||u_0||_{m+1} > ||U_*||_{m+1} in the supercritical regime. No step reduces the dynamical conclusion to a tautological restatement of the inputs by construction, nor does any load-bearing premise collapse to an unverified self-citation or fitted parameter renamed as prediction. The Sz.-Nagy identification and energy minimization are presented as proved results (drawing on the known inequality), after which the threshold follows from the variational structure. The logical tension between a global minimizer and the existence of data with strictly lower energy is a correctness issue, not a circularity in the derivation chain. The result is therefore self-contained against the stated external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the existence and variational properties of the steady state U_* together with standard background results from functional inequalities and degenerate diffusion theory; no free parameters or new postulated entities are introduced.

axioms (1)
  • domain assumption There exists a unique nonnegative radially decreasing steady state U_* that is the global minimizer of the free energy and the extremal function of the sharp Sz.-Nagy inequality.
    Invoked under natural regularity constraints for every m>0 (except the mass-critical case m=3).

pith-pipeline@v0.9.0 · 5774 in / 1512 out tokens · 115917 ms · 2026-05-20T17:23:05.851090+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

36 extracted references · 36 canonical work pages

  1. [1]

    Almgren, A

    R. Almgren, A. L. Bertozzi, M. P. Brenner,Stable and unstable singularities in the unforced Hele-Shaw cell, Phys. Fluids,8(6) (1996), 1356-1370

    work page 1996

  2. [2]

    A. L. Bertozzi, M. Pugh,Finite-time blow-up of solutions of some long-wave unstable thin film equations, Indiana Univ. Math. J.,49(4) (2000), 1323-1366

    work page 2000

  3. [3]

    A. L. Bertozzi, M. Pugh,Long-wave instabilities and saturation in thin film equations, Comm. Pure Appl. Math.,51(6) (1998), 625-661. 25

    work page 1998

  4. [4]

    Bian, J.-G

    S. Bian, J.-G. Liu,Dynamic and steady states for multi-dimensional Keller-Segel model with diffusion exponentm >0, Comm. Math. Phys.,323(2013), 1017-1070

    work page 2013

  5. [5]

    Blanchet, J

    A. Blanchet, J. A. Carrillo, P. Laurençot,Critical mass for a Patlak-Keller-Segel model with degenerate diffusion in higher dimensions, Calc. Var. Partial Differential Equations, 35(2009), 133-168

    work page 2009

  6. [6]

    Blanchet, J

    A. Blanchet, J. A. Carrillo, N. Masmoudi,Infinite time aggregation for the critical Patlak- Keller-Segel model inR2, Comm. Pure Appl. Math.,61(2008), 1449-1481

    work page 2008

  7. [7]

    M. P. Brenner, P. Constantin, L. P. Kadanoff, A. Schenkel, S. C. Venkataramani,Diffusion, attraction and collapse, Nonlinearity,12(1999), 1071-1098

    work page 1999

  8. [8]

    C. J. Budd,Asymptotics of multibump blow-up self-similar solutions of the nonlinear Schrödinger equation, SIAM J. Appl. Math.,62(3) (2002), 801-830

    work page 2002

  9. [9]

    Cazenave,Semilinear Schrödinger equations, Courant Lecture Notes in Math., vol

    T. Cazenave,Semilinear Schrödinger equations, Courant Lecture Notes in Math., vol. 10, New York Univ., Courant Inst. Math. Sci., New York; Amer. Math. Soc., Providence, RI, 2003

    work page 2003

  10. [10]

    Chandrasekhar,An Introduction to the Study of Stellar Structure, Dover, New York, 1967

    S. Chandrasekhar,An Introduction to the Study of Stellar Structure, Dover, New York, 1967

    work page 1967

  11. [11]

    Constantin, T

    P. Constantin, T. F. Dupont, R. E. Goldstein, L. P. Kadanoff, M. J. Shelley, S.-M. Zhou, Droplet breakup in a model of the Hele-Shaw cell, Phys. Rev. E,47(6) (1993), 4169-4181

    work page 1993

  12. [12]

    T. F. Dupont, R. E. Goldstein, L. P. Kadanoff and S.-M. Zhou,Finite–time singularity formation in Hele Shaw systems, Phys. Rev. E,47(6) (1993), 4182-4196

    work page 1993

  13. [13]

    Ehrhard,The spreading of hanging drops, J

    P. Ehrhard,The spreading of hanging drops, J. Colloid Interface Sci.,168(1) (1994), 242- 246

    work page 1994

  14. [14]

    Evans, V

    J. Evans, V. Galaktionov and J. King,Blow-up similarity solutions of the fourth-order unstable thin film equation, European J. Appl. Math.18(2) (2007), 195-231

    work page 2007

  15. [15]

    Evans, V

    J. Evans, V. Galaktionov and J. King,Source-type solutions of the fourth-order unstable thin film equation, European J. Appl. Math.18(3) (2007), 273-321

    work page 2007

  16. [16]

    Fibich,Self-focusing in the damped nonlinear Schrödinger equation, SIAM J

    G. Fibich,Self-focusing in the damped nonlinear Schrödinger equation, SIAM J. Appl. Math.,61(5) (2001), 1680-1705

    work page 2001

  17. [17]

    R. E. Goldstein, A. I. Pesci, M. J. Shelley,Topology transitions and singularities in viscous flows, Phys. Rev. Lett.,70(20) (1993), 3043-3046

    work page 1993

  18. [18]

    Jäger, S

    W. Jäger, S. Luckhaus,On explosions of solutions to a system of partial differential equa- tions modeling chemotaxis,Trans. Amer. Math. Soc.,239(2) (1992), 819-821. 26

    work page 1992

  19. [19]

    E. F. Keller, L. A. Segel,Initiation of slime mold aggregation viewed as an instability, J. Theoret. Biol.,26(1970), 399-415

    work page 1970

  20. [20]

    R. S. Laugesen, M. C. Pugh,Energy levels of steady states for thin-film-type equations, J. Differential Equations,182(2) (2002), 377-415

    work page 2002

  21. [21]

    R. S. Laugesen, M. C. Pugh,Linear stability of steady states for thin film and Cahn-Hilliard type equations, Arch. Ration. Mech. Anal.,154(1) (2000), 3-51

    work page 2000

  22. [22]

    R. S. Laugesen, M. C. Pugh,Properties of steady states for thin film equations, European J. Appl. Math.,11(3) (2000), 293-351

    work page 2000

  23. [23]

    E. H. Lieb, M. Loss,Analysis, Grad. Stud. Math., vol. 14, Amer. Math. Soc., Providence, RI, 2nd ed., 2001

    work page 2001

  24. [24]

    J.-G. Liu, J. Wang,Global existence for a thin film equation with subcritical mass, Discrete and Continuous Dynamical systems-Series B,22(2017), 1461-1492

    work page 2017

  25. [25]

    Merle,Limit of the solution of a nonlinear Schrödinger equation at blow-up time, J

    F. Merle,Limit of the solution of a nonlinear Schrödinger equation at blow-up time, J. Funct. Anal.,84(1) (1989), 201-214

    work page 1989

  26. [26]

    Sz.-Nagy,Über Integralungleichungen zwischen einer Funktion und ihrer Ableitung, Acta Univ

    B. Sz.-Nagy,Über Integralungleichungen zwischen einer Funktion und ihrer Ableitung, Acta Univ. Szeged. Sect. Sci. Math.,10(1941), 64-74

    work page 1941

  27. [27]

    Perthame,Transport Equations in Biology, Birkhäuser, Basel, 2007

    B. Perthame,Transport Equations in Biology, Birkhäuser, Basel, 2007

    work page 2007

  28. [28]

    Pucci, J

    P. Pucci, J. Serrin,Uniqueness of ground states for quasi-linear elliptic operators, Indiana Univ. Math. J.,47(1998), 501-528

    work page 1998

  29. [29]

    D.Slepčev,Linear stability of self similar solutions of unstable thin-film equations, Interfaces Free Bound.11(3) (2009), 375-398

    work page 2009

  30. [30]

    Slepčev, M

    D. Slepčev, M. C. Pugh,Self similar blow up of unstable thin-film equations, Indiana Univ. Math. J.,54(6) (2005), 1697-1738

    work page 2005

  31. [31]

    Sulem, P.-L

    C. Sulem, P.-L. Sulem,The nonlinear Schrödinger equation, Appl. Math. Sci., vol. 139, Springer, New York, 1999

    work page 1999

  32. [32]

    M. I. Weinstein,Nonlinear Schrödinger equations and sharp interpolation estimates, Comm. Math. Phys.,87(4) (1983), 567-576

    work page 1983

  33. [33]

    M. B. Williams, S. H. Davis,Nonlinear theory of film rupture, J. Colloid Interface Sci., 90(1) (1982), 220-228

    work page 1982

  34. [34]

    T. P. Witelski, A. J. Bernoff,Stability of self-similar solutions for van der Waals driven thin film rupture, Phys. Fluids,11(9) (2000), 2443-2445

    work page 2000

  35. [35]

    T. P. Witelski, A.J. Bernoff, A.L. Bertozzi,Blow up and dissipation in critical-case unstable thin film equation, European J. Appl. Math.,15(2004), 223-256. 27

    work page 2004

  36. [36]

    W. W. Zhang, J. R. Lister,Similarity solutions for van der Waals rupture of a thin film on a solid substrate, Phys. Fluids,11(9), (1999), 2454-2462. 28

    work page 1999