arxiv: 2604.03848 · v1 · submitted 2026-04-04 · 🧮 math.AP

Recognition: 2 theorem links

· Lean Theorem

Regularity and singularity of the blow-up curve for a wave equation with a derivative nonlinearity and a scale-invariant damping

Ahmed Bchatnia , Makram Hamouda , Firas Kaabi , Takiko Sasaki , Hatem Zaag

Authors on Pith no claims yet

Pith reviewed 2026-05-13 17:00 UTC · model grok-4.3

classification 🧮 math.AP

keywords blow-up curvenonlinear wave equationscale-invariant dampingderivative nonlinearityregularityC^1singularity formationone-dimensional PDE

0 comments

The pith

For sufficiently large and smooth initial data, the blow-up curve of the damped nonlinear wave equation is continuously differentiable.

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

This work establishes the continuous differentiability of the blow-up curve for a one-dimensional wave equation that includes both a scale-invariant damping term and a nonlinearity depending on the time derivative. The proof relies on rewriting the equation as a first-order system to analyze the blow-up profile and then applying adapted versions of classical techniques for such problems. Establishing this regularity shows that the damping does not disrupt the smoothness of the blow-up set. Readers would care because understanding the precise nature of blow-up helps predict singularity formation in physical models like waves with friction.

Core claim

The blow-up curve is continuously differentiable. This follows from characterizing the blow-up profile after transforming the equation into a first-order system and adapting techniques originally developed for the undamped case to include the scale-invariant damping.

What carries the argument

The transformation of the wave equation into a first-order system that permits direct control over the blow-up profile.

If this is right

The blow-up curve possesses a well-defined tangent at every point.
Solutions remain defined and smooth until they reach this curve.
The damping term preserves the C^1 regularity established in the undamped setting.
The blow-up profile can be described explicitly near the curve.

Where Pith is reading between the lines

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

Similar regularity results might hold in higher dimensions if the one-dimensional techniques generalize.
The singularity mentioned in the title likely refers to the curve not being C^2 or higher at some points.
Future work could examine the stability of this C^1 curve under perturbations of the initial data.

Load-bearing premise

The methods from related undamped problems extend successfully to include the nonzero scale-invariant damping term.

What would settle it

A counterexample consisting of large smooth initial data leading to a blow-up curve that is not differentiable at some location would disprove the main result.

read the original abstract

In this article, we investigate the blow-up behavior of solutions to the one-dimensional damped nonlinear wave equation, namely $$ \partial_t^2 u - \partial_x^2 u + \frac{\mu}{1 + t} \partial_t u = |\partial_t u|^p \quad (p > 1). $$ Under the assumption of sufficiently large and smooth initial data, we establish that the blow-up curve is continuously differentiable ($\mathcal{C}^1$). A key step in our analysis involves the characterization of the blow-up profile of the solution. The proof relies on transforming the equation into a first-order system and adapting the techniques of Sasaki in \cite{Sasaki2018,Sasaki2019} which have elegantly extended the method of Caffarelli and Friedman \cite{Caffarelli1986} to nonlinear wave equations with time derivative nonlinearity, but without the scale-invariant term ($\mu =0$).

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.

Desk Editor's Note private letter to a colleague

They extend C^1 regularity of the blow-up curve to the scale-invariant damped wave equation by adapting Sasaki's method, but the damping perturbation needs explicit control in the estimates.

read the letter

The main point is that they prove the blow-up curve is C^1 for the wave equation with |∂t u|^p nonlinearity plus the scale-invariant damping μ/(1+t) ∂t u. This holds under large smooth initial data. They transform to a first-order system and adapt the envelope construction from Sasaki's μ=0 results and Caffarelli-Friedman to characterize the profile and get differentiability of the curve. That is the actual new piece: showing the damping term does not destroy the regularity conclusion that was already known without it. The paper does this cleanly enough in outline and credits the prior techniques directly. The transformation step looks standard and the focus stays on the profile monotonicity estimates. The soft spot is the damping perturbation. Its integral near blow-up behaves like μ log(1+t), which shifts characteristic speeds and could affect the Lipschitz and derivative bounds used for C^1. The abstract gives no explicit error estimates or smallness condition on μ, so the full proof must show those extra terms stay controlled without extra assumptions. If the estimates close for arbitrary μ, the claim is fine; if they require μ small or additional restrictions, that needs to be stated. This is incremental work aimed at specialists in blow-up for damped hyperbolic equations. A reader who knows the undamped case will see the value in the carry-over. It deserves peer review because the claim is concrete, the method is established, and the adaptation is nontrivial even if the perturbation details need checking. I would send it to referees rather than desk reject.

Referee Report

1 major / 2 minor

Summary. The paper claims that for the one-dimensional damped nonlinear wave equation ∂_t²u − ∂_x²u + [μ/(1+t)] ∂_t u = |∂_t u|^p (p>1), under sufficiently large and smooth initial data, the blow-up curve is C¹. The argument proceeds by transforming the PDE to a first-order system and adapting the envelope construction and monotonicity estimates from Caffarelli-Friedman (1986) as extended by Sasaki (2018,2019) to the case with nonzero scale-invariant damping.

Significance. If the adaptation succeeds, the result would extend known C¹ regularity of blow-up curves to a class of equations with scale-invariant damping, which is relevant for models where such terms appear naturally. The paper's approach of reducing to a first-order system and reusing the envelope method is a reasonable strategy, but its success hinges on controlling the logarithmic perturbation from the damping term.

major comments (1)

[Section detailing the first-order system and envelope construction (likely §3–4)] The central adaptation of the envelope construction and monotonicity estimates (used to obtain Lipschitz continuity of the blow-up curve) must be checked against the damping perturbation. The term μ/(1+t) ∂_t u contributes an integral behaving like μ log(1+t) near the blow-up time T(x); no explicit bound is supplied showing that this term preserves the characteristic speed controls and monotonicity properties that Sasaki employed for the μ=0 case. This estimate is load-bearing for the C¹ claim.

minor comments (2)

[Abstract and Introduction] The abstract and introduction use the phrase 'sufficiently large and smooth initial data' without stating the precise Sobolev index or size threshold; this should be made explicit when the main theorem is stated.
[Section 2 (Preliminaries)] Notation for the blow-up curve T(x) and the profile functions should be introduced with a clear diagram or reference to the first-order system variables to aid readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

Thank you for the detailed review of our paper on the regularity of the blow-up curve for the damped nonlinear wave equation. We address the major comment regarding the control of the damping term in the envelope construction below.

read point-by-point responses

Referee: The central adaptation of the envelope construction and monotonicity estimates (used to obtain Lipschitz continuity of the blow-up curve) must be checked against the damping perturbation. The term μ/(1+t) ∂_t u contributes an integral behaving like μ log(1+t) near the blow-up time T(x); no explicit bound is supplied showing that this term preserves the characteristic speed controls and monotonicity properties that Sasaki employed for the μ=0 case. This estimate is load-bearing for the C¹ claim.

Authors: We appreciate this observation. Upon closer inspection of our proof in Sections 3 and 4, the transformation to the first-order system incorporates the damping as a lower-order term. Specifically, the integrating factor for the damping leads to a multiplier (1+t)^μ, which, since the blow-up time T(x) is finite, is C^∞ and bounded between positive constants on [0, T(x)]. This bounded perturbation does not affect the monotonicity of the envelope functions or the characteristic speed estimates, as these rely on the principal part of the equation, which remains hyperbolic with speed 1. The log(1+t) term arises in the integrated form but remains bounded by log(1 + T(x)), allowing the same comparison arguments as in Sasaki (2019) to hold with adjusted constants. We will include an explicit lemma bounding this term in the revised version to make this transparent. revision: yes

Circularity Check

0 steps flagged

Adaptation of prior Sasaki/Caffarelli-Friedman techniques to nonzero damping introduces no definitional or fitted-input circularity

full rationale

The derivation transforms the damped wave equation to a first-order system and adapts the envelope construction plus monotonicity estimates from the cited prior works to obtain C^1 regularity of the blow-up curve. No equation in the provided text reduces a claimed prediction to a fitted parameter by construction, nor does any load-bearing step collapse to a self-definition or to a self-citation whose content is merely renamed. The cited Sasaki papers address the μ=0 case as independent prior results; the present adaptation for μ≠0 supplies the new estimates without importing an unverified uniqueness theorem or ansatz that forces the conclusion. Hence the central claim remains externally falsifiable via the adapted proof steps and receives only a minor self-citation score.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based solely on the abstract, the proof relies on standard PDE transformation techniques and domain assumptions about initial data without introducing new free parameters or invented entities.

axioms (1)

domain assumption Initial data are sufficiently large and smooth
Explicitly stated in the abstract as the condition under which the C^1 regularity holds.

pith-pipeline@v0.9.0 · 5475 in / 1159 out tokens · 40504 ms · 2026-05-13T17:00:49.128152+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/ArithmeticFromLogic.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

transforming the equation into a first-order system and adapting the techniques of Sasaki... characteristic–ODE method... blow-up curve is continuously differentiable (C¹)
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

dy/dt = 2^{1-p} y^p - μ y ... v = y^{1-p} ... finite-time blow-up when γ1+γ2 > 2 μ^{1/(p-1)}

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

27 extracted references · 27 canonical work pages

[1]

L. A. Caffarelli and A. Friedman,Differentiability of the blow-up curve for one- dimensional nonlinear wave equations, Arch. Rational Mech. Anal.,91(1985), 83–98. 3, 4, 5

work page 1985
[2]

L. A. Caffarelli and A. Friedman,The blow-up boundary for nonlinear wave equations, Trans. Amer. Math. Soc.,297(1986), 223–241. 2, 3, 4, 5, 27

work page 1986
[3]

Godin,A discrete phenomenon in theC ∞and analytic regularity of the blow- up curve of solutions to the semilinear equation in one space dimension, J

P. Godin,A discrete phenomenon in theC ∞and analytic regularity of the blow- up curve of solutions to the semilinear equation in one space dimension, J. Differential Equations,183(2002), 224–238. 3

work page 2002
[4]

Hamouda and M

M. Hamouda and M. A. Hamza,Improvement on the blow-up of the wave equation with the scale-invariant damping and combined nonlineari- ties. Nonlinear Anal. Real World Appl.59(2021), 103275, ISSN 1468–1218, https://doi.org/10.1016/j.nonrwa.2020.103275. 2

work page doi:10.1016/j.nonrwa.2020.103275 2021
[5]

Hamouda and M.A

M. Hamouda and M.A. Hamza,Blow-up and lifespan estimate for the generalized Tricomi equation with mixed nonlinearities. Adv. Pure Appl. Math.12(2021), Special issue, 54–70. 4

work page 2021
[6]

Hamouda, M.A

M. Hamouda, M.A. Hamza and A. Palmieri,Blow-up and lifespan estimates for a damped wave equation in the Einstein-de Sitter spacetime with nonlinearity of derivative type, NoDEA Nonlinear Differential Equations Appl. 29 (2022), no. 2, Paper No. 19, 15 pp. 4

work page 2022
[7]

Hamouda and M.A

M. Hamouda and M.A. Hamza,Improvement on the blow-up for the weakly coupled wave equations with scale-invariant damping and time derivative nonlin- earity. Mediterr. J. Math.19, 136 (2022). https://doi.org/10.1007/s00009-022- 02062-x 4

work page doi:10.1007/s00009-022- 2022
[8]

Hamouda and M.A

M. Hamouda and M.A. Hamza,Improvement on the blow-up for a weakly coupled wave equations with scale-invariant damping and mass and time derivative non- linearity. Discrete and Continuous Dynamical Systems - S. 2023, Vol. 16, Issue 6, 1468–1483. Doi: 10.3934/dcdss.2022173. 4 42

work page doi:10.3934/dcdss.2022173 2023
[9]

M. A. Hamza and H. Zaag,Blow-up behavior for the Klein–Gordon and other perturbed semilinear wave equations, Bull. Sci. Math.,137(2013), 1087–1109. 4

work page 2013
[10]

M. A. Hamza and H. Zaag,The blow-up rate for a non-scaling invariant semi- linear wave equations in higher dimensions, Nonlinear Anal.,212(2021), Paper No. 112445, 23 pp. 3

work page 2021
[11]

M. A. Hamza and H. Zaag,A better bound on blow-up rate for the superconformal semilinear wave equation, J. Funct. Anal.,288(2025), no. 11, Paper No. 110862, 48 pp. 3

work page 2025
[12]

Haraux,Remarks in the wave equation with a nonlinear term with respect to the velocity, Portugal

A. Haraux,Remarks in the wave equation with a nonlinear term with respect to the velocity, Portugal. Math.,49(1992), 447–454. 4

work page 1992
[13]

Haruyama and H

Y. Haruyama and H. Takamura,Blow-up of classical solutions of quasilinear wave equations in one space dimension, Nonlinear Anal. Real World Appl.,81(2025), Paper No. 104212, 10 pp. 4

work page 2025
[14]

Ishiwata and T

T. Ishiwata and T. Sasaki,The blow-up curve of solutions to one dimensional nonlinear wave equations with the Dirichlet boundary conditions, Jpn. J. Ind. Appl. Math.,37(2020), no. 1, 339–363. 3

work page 2020
[15]

Merle and H

F. Merle and H. Zaag,Determination of the blow-up rate for the semilinear wave equation.Amer. J. Math.125(2003), no. 5, 1147–1164. 4

work page 2003
[16]

Merle and H

F. Merle and H. Zaag,Dynamics of the set of non-characteristic points and rates of blow-up for the curve for the 1D semilinear wave equation.Comm. Math. Phys.,257(2005), 55–86. 3

work page 2005
[17]

Merle and H

F. Merle and H. Zaag.On growth rate near the blow-up surface for semilinear wave equations.Internat. Math. Res. Notices (2005), no. 19, 1127–1155. 4

work page 2005
[18]

Merle and H

F. Merle and H. Zaag.Existence and universality of the blow-up profile for the semilinear wave equation in one space dimension.J. Funct. Anal.253(2007), 43–121

work page 2007
[19]

Merle and H

F. Merle and H. Zaag.Openness of the set of non characteristic points and regu- larity of the blow-up curve for the 1d–semilinear wave equations.Comm. Math. Phys.282(2008), 55-86. 4

work page 2008
[20]

Merle and H

F. Merle and H. Zaag,Existence and classification of characteristic points at blow-up for semilinear wave equations in one space dimension, Amer. J. Math., 134(2012), 581–648. 3

work page 2012
[21]

Messikh,A blow-up result in the Cauchy problem for a semi-linear accretive wave equation, Global Institute for Theoretical Research,11(2011)

C. Messikh,A blow-up result in the Cauchy problem for a semi-linear accretive wave equation, Global Institute for Theoretical Research,11(2011). 4 43

work page 2011
[22]

Ohta and H

M. Ohta and H. Takamura,Remarks on the blow-up boundaries and rates for nonlinear wave equations, Nonlinear Anal.,33(1998), 693–698. 4

work page 1998
[23]

Sasaki,Regularity and singularity of the blow-up curve for a wave equation with a derivative nonlinearity, Adv

T. Sasaki,Regularity and singularity of the blow-up curve for a wave equation with a derivative nonlinearity, Adv. Differential Equations,23(2018), no. 5–6, 373–408. 2, 3, 4, 5

work page 2018
[24]

Sasaki,Regularity of the blow-up curve for a nonlinear wave equation with time-independent damping, Nonlinear Anal.,184(2019), 144–163

T. Sasaki,Regularity of the blow-up curve for a nonlinear wave equation with time-independent damping, Nonlinear Anal.,184(2019), 144–163. 2, 3, 4, 5

work page 2019
[25]

Sasaki,Convergence of a blow-up curve for a semilinear wave equation, Discrete Contin

T. Sasaki,Convergence of a blow-up curve for a semilinear wave equation, Discrete Contin. Dyn. Syst. Ser. S,14(2021), no. 3, 1133–1143. 3

work page 2021
[26]

Sasaki,Regularity of the blow-up curve at characteristic points for nonlinear wave equations, Jpn

T. Sasaki,Regularity of the blow-up curve at characteristic points for nonlinear wave equations, Jpn. J. Ind. Appl. Math.,39(2022), no. 3, 1055–1073. 3

work page 2022
[27]

Uesaka,The Blow-Up Boundary for a System of Semilinear Wave Equations, Frontiers in Physics, World Sci

H. Uesaka,The Blow-Up Boundary for a System of Semilinear Wave Equations, Frontiers in Physics, World Sci. Publ., Hackensack, NJ, (2009), 845–853. 3 44

work page 2009