The blow-up rate for a log non-scaling invariant semilinear wave equation in the conformal regime
Pith reviewed 2026-05-10 18:42 UTC · model grok-4.3
The pith
For a<0, solutions to the log-perturbed critical wave equation blow up at the sharp Type I rate.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We establish an a priori upper bound for any blow-up solution and construct a Lyapunov functional in similarity variables. The resulting functional exhibits only weak dissipation, which necessitates delicate energy arguments to obtain the sharp blow-up rate in the conformal case under the assumption a<0. To the best of our knowledge, this provides the first result for the blow-up rate in a critical framework for an evolution problem where the scaling symmetry is broken.
What carries the argument
Lyapunov functional constructed in similarity variables that controls the solution despite weak dissipation.
If this is right
- Any blow-up solution in the conformal regime satisfies the Type I upper bound at non-characteristic points when a<0.
- The blow-up rate matches the one already known for the subconformal regime.
- The logarithmic term with negative exponent does not alter the leading-order blow-up rate.
- Delicate energy arguments suffice to close the estimates even with only weak dissipation in the Lyapunov functional.
Where Pith is reading between the lines
- The construction of a Lyapunov functional with controllable weak dissipation may extend to other wave equations whose nonlinearities break exact scaling.
- The same similarity-variable approach could be tested on the borderline case a=0 to see whether the sign properties fail exactly as expected.
- Numerical evolution of specific initial data in the conformal regime would provide a direct check on whether the observed blow-up rate saturates the Type I bound.
- The result indicates that certain logarithmic perturbations leave the conformal blow-up dynamics robust at leading order.
Load-bearing premise
The assumption a<0 is required for the Lyapunov functional to have the necessary sign properties; if a is nonnegative the weak dissipation may not be controllable by the same energy arguments.
What would settle it
Numerical construction or explicit example of a solution that blows up in the conformal regime with a<0 but violates the Type I upper bound on the maximum norm would disprove the claimed rate.
read the original abstract
We consider the blow-up behavior of solutions to the semilinear wave equation $$ \partial_t^2 u - \Delta u = |u|^{p-1}u \ln^a(u^2+2), \ (x,t)\in \mathbb{R}^n \times [0,T),$$ in the conformal case $ p = p_c = 1 + \frac{4}{n-1}$. Previous results in \cite{HZjmaa2020, HZ2022} show that for $ a \in \mathbb{R} $, solutions in the subconformal regime $ p < p_c $ blow up with a Type~I rate at any non-characteristic point. The objective of this work is to extend this blow-up rate to the conformal regime under the assumption $a<0$. We establish an a priori upper bound for any blow-up solution and construct a Lyapunov functional in similarity variables. The resulting functional exhibits only weak dissipation, which necessitates delicate energy arguments to obtain the sharp blow-up rate in the conformal case. To the best of our knowledge, this provides the first result for the blow-up rate in a critical framework for an evolution problem where the scaling symmetry is broken.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper considers the semilinear wave equation ∂_t²u − Δu = |u|^{p−1}u ln^a(u² + 2) in the conformal regime p = p_c = 1 + 4/(n−1). Under the explicit assumption a < 0, it establishes an a priori upper bound on the blow-up rate for any blow-up solution and constructs a Lyapunov functional in similarity variables. The functional has only weak dissipation, which is controlled via a sequence of energy estimates to prove the sharp Type-I blow-up rate at non-characteristic points, extending the authors' prior subconformal results.
Significance. If the central claims hold, the result supplies the first blow-up-rate theorem in a critical (conformal) regime for a nonlinearity that breaks scaling invariance. The construction of a new Lyapunov functional adapted to the logarithmic perturbation and the control of its weak dissipation by energy methods constitute a technical contribution that may be useful for other critical problems with broken symmetries.
major comments (2)
- [§3.2] §3.2, the a priori bound (3.8): the derivation of the upper bound on the rescaled energy relies on the sign properties induced by a < 0; the paper should verify that the constants remain uniform when a approaches 0 from below, as this controls whether the bootstrap closes for the full range of admissible a.
- [§4.3] §4.3, the dissipation control (4.15)–(4.20): the sequence of energy estimates that absorbs the weak dissipation term into the Lyapunov derivative is delicate; an explicit tracking of the dependence on the small parameter ε (from the cutoff) would strengthen the argument that no hidden loss of derivatives occurs.
minor comments (3)
- [Introduction] Introduction, page 3: the similarity variables (1.7) are introduced without recalling the precise change of dependent variable; adding one sentence would improve readability for readers unfamiliar with the subconformal papers.
- [Theorem 1.1] Theorem 1.1: the statement of the Type-I rate should explicitly mention the constant C depending on a, n, and the initial data, to avoid any ambiguity with the subconformal case.
- [References] References: the citation list omits the recent work of Donninger–Schörkhuber on conformal wave equations; adding it would place the result in clearer context.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments. We address each major comment below.
read point-by-point responses
-
Referee: [§3.2] §3.2, the a priori bound (3.8): the derivation of the upper bound on the rescaled energy relies on the sign properties induced by a < 0; the paper should verify that the constants remain uniform when a approaches 0 from below, as this controls whether the bootstrap closes for the full range of admissible a.
Authors: We thank the referee for this observation. The estimates in §3.2 use a < 0 to control the sign of the logarithmic term when deriving the upper bound (3.8) on the rescaled energy. Upon verification, the constants appearing in these estimates depend continuously on a and remain bounded as a → 0^− (specifically, they are uniform for a ∈ [-A, 0) with any fixed A > 0). This ensures the bootstrap argument closes for the full range a < 0 without further restrictions. We will add a short remark in §3.2 documenting this uniformity. revision: yes
-
Referee: [§4.3] §4.3, the dissipation control (4.15)–(4.20): the sequence of energy estimates that absorbs the weak dissipation term into the Lyapunov derivative is delicate; an explicit tracking of the dependence on the small parameter ε (from the cutoff) would strengthen the argument that no hidden loss of derivatives occurs.
Authors: We agree that making the ε-dependence explicit strengthens the presentation. The cutoff is smooth and the estimates (4.15)–(4.20) are performed at the energy level, so no derivative loss occurs. In the revised version we will track the constants' dependence on ε explicitly, inserting intermediate steps that display how the weak dissipation is absorbed with factors that remain controlled as ε → 0. This confirms the argument is free of hidden losses. revision: yes
Circularity Check
No significant circularity; new Lyapunov functional constructed for conformal regime
full rationale
The derivation constructs an a priori upper bound and a new Lyapunov functional in similarity variables whose weak dissipation is controlled by energy estimates under the explicit hypothesis a < 0. This functional and the subsequent estimates are not defined in terms of the target blow-up rate; they are built from the equation in the conformal scaling. Self-citations to prior subconformal work (HZjmaa2020, HZ2022) supply background on the Type-I rate for p < p_c but do not bear the load of the conformal extension or the sign properties used here. No step reduces by construction to a fitted parameter, self-definition, or unverified self-citation chain. The result is therefore self-contained against external benchmarks for the stated regime.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Blow-up solutions exist and admit non-characteristic points at which the rate can be studied
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
construct a Lyapunov functional in similarity variables... weak dissipation... delicate energy arguments... conformal case p=pc
-
IndisputableMonolith/Foundation/ArithmeticFromLogic.leanLogicNat induction and orbit embedding unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
d/ds L(w(s),s) ≤ ... integral (∂sw)^2 ρ/(1-|y|^2) ...
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
-
[1]
S. Alinhac, Blow-up for nonlinear hyperbolic equations, in: Progress in Nonlin- ear Differential Equations and their Applications, vol. 17, Birkh¨ auser Boston Inc., Boston, MA, 1995
work page 1995
-
[2]
C. Antonini, F. Merle, Optimal bounds on positive blow-up solutions for a semilin- ear wave equation, Internat. Math. Res. Notices 21 (2001) 1141–1167
work page 2001
-
[3]
I. Bia lynicki-Birula, J. Mycielski, Wave equations with logarithmic nonlinearities, Bull. Acad. Pol. Sci. 23 (1975) 461–466
work page 1975
-
[4]
I. Bia lynicki-Birula, J. Mycielski, Nonlinear wave mechanics, Ann. Phys. 100 (1-2) (1976) 62–93
work page 1976
-
[5]
L. Chabi and P. Souplet, Refined behavior and structural universality of the blow- up profile for the semilinear heat equation with non scale invariant nonlinearity, Math. Ann.(2024).https://doi.org/10.1007/s00208-024-03014-4 54
-
[6]
Collot, Type II blow-up manifolds for the energy supercritical semilinear wave equation, Mem
C. Collot, Type II blow-up manifolds for the energy supercritical semilinear wave equation, Mem. Amer. Math. Soc.252(1205) (2018)
work page 2018
- [7]
-
[8]
R. Donninger, Strichartz estimates in similarity coordinates and stable blow-up for the critical wave equation, Duke Math. J.166(9) (2017) 1627–1683
work page 2017
-
[9]
R. Donninger, B. Sch¨ orkhuber, Stable self-similar blow-up for energy subcritical wave equations, Dyn. Partial Differ. Equ.9(2012) 63–87
work page 2012
-
[10]
R. Donninger, B. Sch¨ orkhuber, Stable blow-up dynamics for energy supercritical wave equations, Trans. Amer. Math. Soc.366(2014) 2167–2189
work page 2014
-
[11]
R. Donninger, B. Sch¨ orkhuber, On blow-up in supercritical wave equations, Comm. Math. Phys.346(3) (2016) 907–943
work page 2016
-
[12]
R. Donninger, B. Sch¨ orkhuber, Stable blow-up for wave equations in odd space dimensions, Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire34(5) (2017) 1181–1213
work page 2017
-
[13]
T. Duyckaerts, C. E. Kenig, F. Merle, Universality of the blow-up profile for small type II blow-up solutions of the energy-critical wave equation: the nonradial case, J. Eur. Math. Soc.14(5) (2012) 1389–1454
work page 2012
- [14]
-
[15]
M.A. Hamza, The blow-up rate for strongly perturbed semilinear wave equations in the conformal regime without a radial assumption, Asymptot. Anal.97(3-4) (2016) 351–378
work page 2016
- [16]
- [17]
- [18]
- [19]
- [20]
- [21]
- [22]
- [23]
- [24]
- [25]
-
[26]
Krieger,On stability of type II blow-up for the critical nonlinear wave equation onR 3+1, Mem
J. Krieger,On stability of type II blow-up for the critical nonlinear wave equation onR 3+1, Mem. Amer. Math. Soc.267(1301) (2020)
work page 2020
-
[27]
J. Krieger, W. Schlag, Full range of blow-up exponents for the quintic wave equation in three dimensions,J. Math. Pures Appl.101(6) (2014) 873–900
work page 2014
-
[28]
J. Krieger, W. Schlag, D. Tataru, Slow blow-up solutions for theH 1(R3) critical focusing semilinear wave equation,Duke Math. J.147(1) (2009) 1–53
work page 2009
- [29]
- [30]
- [31]
- [32]
- [33]
- [34]
- [35]
- [36]
- [37]
- [38]
-
[39]
P. Quittner and P. Souplet, Liouville theorems and universal estimates for superlin- ear elliptic problems without scale invariance,Rev. Mat. Complutense,38(2025), 1–69.https://doi.org/10.1007/s13163-024-00514-4
-
[40]
T. Roy, H. Zaag, The blow-up rate for a loglog non-scaling invariant semilinear wave equation, Nonlinear Differ. Equ. Appl. NoDEA32(2025) 115
work page 2025
-
[41]
J. Shatah and M. Struwe,Geometric Wave Equations, Courant Lecture Notes in Mathematics, vol. 2, Courant Institute of Mathematical Sciences, New York, 1998
work page 1998
-
[42]
P. Souplet, Universal estimates and Liouville theorems for superlinear problems without scale invariance,Discrete Contin. Dyn. Syst.,43(2023), no. 3-4, 1702– 1734.https://doi.org/10.3934/dcds.2022171 Address: Department of Basic Sciences, Deanship of Preparatory and Supporting Studies, Imam Abdulrahman Bin Faisal University, P.O. Box 1982 Dammam, Saudi Ar...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.