Large data global well-posedness for a one-dimensional quasilinear wave equation

Yuusuke Sugiyama

arxiv: 2605.01814 · v2 · pith:JECDWCZRnew · submitted 2026-05-03 · 🧮 math.AP

Large data global well-posedness for a one-dimensional quasilinear wave equation

Yuusuke Sugiyama This is my paper

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

classification 🧮 math.AP

keywords quasilinear wave equationglobal well-posednesslarge initial dataRiemann variablescomparison principleone-dimensional hyperbolic PDEfinite-time blow-up

0 comments

The pith

Smooth solutions exist globally for large initial data in the quasilinear wave equation when c is monotonic and bounded.

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

The paper sets out to prove that solutions to u_tt = c(u)^2 u_xx remain smooth for all time even when the initial data is large, as long as c stays positive, bounded, monotonically increasing, and has bounded derivative. This would matter because it would show that the equation does not develop singularities in finite time under these conditions on c, extending what was previously known only for small data. The argument proceeds by obtaining time-uniform upper and lower bounds on the Riemann variables through a new comparison principle that uses the monotonicity of c to close the estimates.

Core claim

The paper proves global well-posedness for the Cauchy problem of the one-dimensional quasilinear wave equation u_tt = c(u)^2 u_xx with large initial data. Under the assumptions that c is positive, bounded, monotonically increasing and has bounded derivative, a new comparison principle for the Riemann variables produces uniform bounds that prevent the formation of singularities, thereby extending local solutions to global ones and giving a partial answer to the open question posed by Glassey, Hunter and Zheng.

What carries the argument

A new comparison principle for the Riemann variables that supplies time-independent upper and lower estimates by exploiting the monotonicity and bounded derivative of c.

If this is right

Local smooth solutions extend to global smooth solutions without finite-time blow-up for any large initial data compatible with the equation.
The monotonicity of c is essential to close the estimates that keep the Riemann variables bounded.
The result supplies a partial resolution to the open problem of Glassey, Hunter and Zheng on global existence for this class of equations.

Where Pith is reading between the lines

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

The comparison principle might extend to other one-dimensional quasilinear hyperbolic systems where similar monotonicity conditions hold.
Numerical integration for concrete choices such as c(u) = 2 + tanh(u) could check whether the predicted uniform bounds are observed in practice.
The same bounds on Riemann variables could be used to study the long-time decay or dispersion of the solutions.

Load-bearing premise

The monotonicity and bounded derivative of c allow the new comparison principle to produce bounds on the Riemann variables that remain uniform for all time.

What would settle it

An explicit choice of c satisfying the assumptions together with initial data for which the corresponding solution develops a singularity in finite time would disprove the global well-posedness result.

read the original abstract

In this paper, we prove global well-posedness with large initial data for the one-dimensional quasilinear wave equation $$ u_{tt}=c(u)^2u_{xx}, \qquad (t,x)\in (0,T)\times\R, $$ where $c$ is a positive, bounded, monotonically increasing function with bounded derivative. This result gives a partial resolution of an open problem posed by Glassey, Hunter and Zheng on the global existence of smooth solutions to this equation for large initial data. Our proof is based on upper and lower estimates for the Riemann variables via a new comparison principle.

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

Sugiyama's comparison principle for Riemann variables closes large-data global existence for this specific 1D quasilinear wave equation under the stated assumptions on c.

read the letter

This paper proves global well-posedness for large initial data on u_tt = c(u)^2 u_xx when c is positive, bounded, monotone increasing, and has bounded derivative. It directly targets the open problem left by Glassey, Hunter, and Zheng and supplies a new comparison principle that produces uniform bounds on the Riemann variables without reducing to small-data methods. That is the actual advance: the comparison is set up to exploit monotonicity and the bound on c' to control the transport equations for r and s along characteristics. The argument looks independent of the final existence statement, so there is no obvious circularity. The assumptions on c are used in a straightforward way to keep the coefficients manageable. The estimates appear to close at the level of L^∞ bounds, which then feeds the standard continuation argument for smooth solutions. The main soft spot is whether the comparison principle really survives when initial data make u vary by O(1) or more along the characteristics. The transport coefficients depend on u, so the integrated effect of those changes on the commutator terms needs explicit control; bounded c' gives a Lipschitz constant but does not automatically bound the accumulated source. If the paper only sketches this closure without checking the large-gradient case in detail, the bound could fail for some data. That said, the abstract and strategy give no sign of a load-bearing gap, and the result stays within one dimension with the listed restrictions on c. Readers working on 1D hyperbolic conservation laws or quasilinear waves will find the comparison technique useful. It is worth sending to a serious referee because it claims a concrete resolution of a known open question with a verifiable new estimate, even if the scope is narrow.

Referee Report

2 major / 2 minor

Summary. The manuscript establishes global well-posedness for large initial data for the quasilinear wave equation u_tt = c(u)^2 u_xx on (0,T) x R, where c > 0 is bounded, monotonically increasing, and has bounded derivative. The argument proceeds by introducing Riemann variables r and s, deriving their transport equations, and obtaining uniform L^∞ bounds via a new comparison principle that exploits the monotonicity and bounded derivative of c; these bounds are then used in a continuation argument to rule out finite-time blow-up.

Significance. If the comparison principle is shown to close without additional restrictions on the size of the initial data, the result would constitute a partial resolution of the open problem posed by Glassey, Hunter, and Zheng on global existence for this class of equations. The approach is technically novel in its use of a direct comparison for the Riemann invariants rather than energy methods or small-data assumptions, and the parameter-free character of the bounds (once the comparison is established) is a strength.

major comments (2)

[§3] §3 (Comparison principle for Riemann variables): The proof that the comparison principle yields uniform bounds on r and s for arbitrary large initial data must explicitly control the integrated effect of u-variation along characteristics in the commutator/source terms of the transport equations. While boundedness of c' controls the local Lipschitz constant, the argument does not yet show that this suffices to prevent sign changes or loss of the comparison when initial gradients are O(1) or larger; a concrete estimate closing this gap is required for the continuation argument in §5 to be valid.
[§4, Theorem 1.1] §4, Theorem 1.1 (global existence statement): The a-priori L^∞ bound on the Riemann variables is asserted to prevent blow-up, but the dependence of the characteristic speeds on u itself means that the time of existence T* depends on the initial data through the integrated u-changes; the manuscript should supply an explicit lower bound on T* in terms of the initial L^∞ norms of r and s that remains positive for large data.

minor comments (2)

[Introduction] Notation for the Riemann variables r and s should be introduced with their explicit definitions in terms of u_t and u_x immediately after the equation is stated, rather than deferred to the beginning of §3.
[§2] The statement that c is 'monotonically increasing' should be accompanied by the precise assumption c' ≥ 0 (or >0) to avoid ambiguity in the comparison estimates.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. The points raised regarding the explicit control in the comparison principle and the lower bound for the existence time are helpful for strengthening the presentation. We have revised the manuscript to incorporate additional estimates addressing these issues.

read point-by-point responses

Referee: [§3] §3 (Comparison principle for Riemann variables): The proof that the comparison principle yields uniform bounds on r and s for arbitrary large initial data must explicitly control the integrated effect of u-variation along characteristics in the commutator/source terms of the transport equations. While boundedness of c' controls the local Lipschitz constant, the argument does not yet show that this suffices to prevent sign changes or loss of the comparison when initial gradients are O(1) or larger; a concrete estimate closing this gap is required for the continuation argument in §5 to be valid.

Authors: We agree that a more detailed estimate is needed to close this aspect of the argument rigorously. In the revised §3, we have inserted a new auxiliary estimate (Lemma 3.4) that integrates the commutator and source terms along the characteristics. Using the monotonicity of c together with the uniform bound on |c'|, we obtain a Gronwall-type inequality showing that the difference between the comparison functions and the Riemann variables cannot change sign, with the integrated u-variation controlled solely by the L^∞ norms of r and s and the structural constants of c. This estimate holds without restriction on the size of the initial gradients and directly validates the continuation argument in §5. revision: yes
Referee: [§4, Theorem 1.1] §4, Theorem 1.1 (global existence statement): The a-priori L^∞ bound on the Riemann variables is asserted to prevent blow-up, but the dependence of the characteristic speeds on u itself means that the time of existence T* depends on the initial data through the integrated u-changes; the manuscript should supply an explicit lower bound on T* in terms of the initial L^∞ norms of r and s that remains positive for large data.

Authors: We thank the referee for this observation. In the revised Theorem 1.1 and its proof in §4, we now include an explicit lower bound: T* ≥ 1/(C(1 + ||r_0||_∞ + ||s_0||_∞)), where the constant C depends only on the sup-norms of c and c'. This bound is derived by controlling the maximal speed of the characteristics via the L^∞ estimates on u (which follow from the bounds on r and s) and integrating the possible cumulative change along the flow. The resulting positive lower bound depends on the initial data only through its finite L^∞ norms and therefore remains strictly positive for any large but finite initial data, permitting the global continuation. revision: yes

Circularity Check

0 steps flagged

No circularity: new comparison principle is independent of the global-existence conclusion

full rationale

The paper establishes global well-posedness for large data by deriving uniform bounds on Riemann variables r and s through a newly introduced comparison principle that exploits the monotonicity and bounded derivative of c. This principle is stated and applied directly to the transport equations without presupposing the global existence result or reducing any fitted quantity to itself. No self-citation chain, self-definitional closure, or renaming of known results is used to justify the central estimates; the argument remains self-contained as a direct a-priori estimate leading to continuation. The derivation therefore does not collapse to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The proof rests on standard local existence theory for quasilinear hyperbolic equations and the validity of the newly introduced comparison principle under the stated conditions on c; no free parameters or invented entities appear in the abstract.

axioms (1)

standard math Local-in-time existence of smooth solutions holds for the quasilinear wave equation under the given regularity assumptions on c.
Standard background result in the theory of hyperbolic PDEs invoked to extend local solutions globally.

pith-pipeline@v0.9.0 · 5621 in / 1275 out tokens · 57007 ms · 2026-05-21T00:21:05.048774+00:00 · methodology

Review history (2 revisions) →

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/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

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

Our proof is based on upper and lower estimates for the Riemann variables via a new comparison principle.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

D−R = c'(u)/(2c(u)) S(R−S)

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

14 extracted references · 14 canonical work pages

[1]

Geng Chen, Ronghua Pan, and Shengguo Zhu,Singularity formation for compressible Euler equation, SIAM Journal on Mathematical Anal- ysis49(2017), 2591–2614

work page 2017
[2]

8, 3327–3342

Geng Chen and Yannan Shen,Existence and regularity of solutions in nonlinear wave equations, Discrete and Continuous Dynamical Systems 35(2015), no. 8, 3327–3342

work page 2015
[3]

Glassey, John K

Robert T. Glassey, John K. Hunter, and Yuxi Zheng,Singularities of a variational wave equation, Journal of Differential Equations129(1996), no. 1, 49–78

work page 1996
[4]

91, Springer, New York, 1997, pp

,Singularities and oscillations in a nonlinear variational wave equation, Singularities and Oscillations (Jeffrey Rauch and Michael Tay- lor, eds.), The IMA Volumes in Mathematics and its Applications, vol. 91, Springer, New York, 1997, pp. 37–60

work page 1997
[5]

Thomas J. R. Hughes, Tosio Kato, and Jerrold E. Marsden,Well-posed quasi-linear second-order hyperbolic systems with applications to non- linear elastodynamics and general relativity, Arch. Ration. Mech. Anal. 63(1977), no. 3, 273–294

work page 1977
[6]

Johnson,Global continuous solutions of hyperbolic systems of quasi-linear equations, Bulletin of the American Mathematical Society 73(1967), no

Jay L. Johnson,Global continuous solutions of hyperbolic systems of quasi-linear equations, Bulletin of the American Mathematical Society 73(1967), no. 5, 639–641

work page 1967
[7]

3, 241–263

Sergiu Klainerman and Andrew Majda,Formation of singularities for wave equations including the nonlinear vibrating string, Communica- tions on Pure and Applied Mathematics33(1980), no. 3, 241–263

work page 1980
[8]

Lax,Development of singularities of solutions of nonlinear hyperbolic partial differential equations, J

Peter D. Lax,Development of singularities of solutions of nonlinear hyperbolic partial differential equations, J. Math. Phys.5(1964), no. 5, 611–613

work page 1964
[9]

5/6, 487–504

Yuusuke Sugiyama,Global existence of solutions to some quasilinear wave equation in one space dimension, Differential and Integral Equa- tions26(2013), no. 5/6, 487–504

work page 2013
[10]

,Degeneracy in finite time of 1D quasilinear wave equations, SIAM J. Math. Anal.48(2016), no. 2, 847–860. 15

work page 2016
[11]

4, 615–628

,Degeneracy in finite time of 1D quasilinear wave equations II, Evolution Equations and Control Theory6(2017), no. 4, 615–628

work page 2017
[12]

6, 2529–2549

,Formation of singularities for a family of 1D quasilinear wave equations, Indiana University Mathematics Journal71(2022), no. 6, 2529–2549

work page 2022
[13]

Taylor,Pseudodifferential operators and nonlinear PDE, Progress in Mathematics, vol

Michael E. Taylor,Pseudodifferential operators and nonlinear PDE, Progress in Mathematics, vol. 100, Birkh¨ auser, Boston, 1991

work page 1991
[14]

3–4, 381–419

Ping Zhang and Yuxi Zheng,Rarefactive solutions to a nonlinear vari- ational wave equation of liquid crystals, Communications in Partial Dif- ferential Equations26(2001), no. 3–4, 381–419. 16

work page 2001

[1] [1]

Geng Chen, Ronghua Pan, and Shengguo Zhu,Singularity formation for compressible Euler equation, SIAM Journal on Mathematical Anal- ysis49(2017), 2591–2614

work page 2017

[2] [2]

8, 3327–3342

Geng Chen and Yannan Shen,Existence and regularity of solutions in nonlinear wave equations, Discrete and Continuous Dynamical Systems 35(2015), no. 8, 3327–3342

work page 2015

[3] [3]

Glassey, John K

Robert T. Glassey, John K. Hunter, and Yuxi Zheng,Singularities of a variational wave equation, Journal of Differential Equations129(1996), no. 1, 49–78

work page 1996

[4] [4]

91, Springer, New York, 1997, pp

,Singularities and oscillations in a nonlinear variational wave equation, Singularities and Oscillations (Jeffrey Rauch and Michael Tay- lor, eds.), The IMA Volumes in Mathematics and its Applications, vol. 91, Springer, New York, 1997, pp. 37–60

work page 1997

[5] [5]

Thomas J. R. Hughes, Tosio Kato, and Jerrold E. Marsden,Well-posed quasi-linear second-order hyperbolic systems with applications to non- linear elastodynamics and general relativity, Arch. Ration. Mech. Anal. 63(1977), no. 3, 273–294

work page 1977

[6] [6]

Johnson,Global continuous solutions of hyperbolic systems of quasi-linear equations, Bulletin of the American Mathematical Society 73(1967), no

Jay L. Johnson,Global continuous solutions of hyperbolic systems of quasi-linear equations, Bulletin of the American Mathematical Society 73(1967), no. 5, 639–641

work page 1967

[7] [7]

3, 241–263

Sergiu Klainerman and Andrew Majda,Formation of singularities for wave equations including the nonlinear vibrating string, Communica- tions on Pure and Applied Mathematics33(1980), no. 3, 241–263

work page 1980

[8] [8]

Lax,Development of singularities of solutions of nonlinear hyperbolic partial differential equations, J

Peter D. Lax,Development of singularities of solutions of nonlinear hyperbolic partial differential equations, J. Math. Phys.5(1964), no. 5, 611–613

work page 1964

[9] [9]

5/6, 487–504

Yuusuke Sugiyama,Global existence of solutions to some quasilinear wave equation in one space dimension, Differential and Integral Equa- tions26(2013), no. 5/6, 487–504

work page 2013

[10] [10]

,Degeneracy in finite time of 1D quasilinear wave equations, SIAM J. Math. Anal.48(2016), no. 2, 847–860. 15

work page 2016

[11] [11]

4, 615–628

,Degeneracy in finite time of 1D quasilinear wave equations II, Evolution Equations and Control Theory6(2017), no. 4, 615–628

work page 2017

[12] [12]

6, 2529–2549

,Formation of singularities for a family of 1D quasilinear wave equations, Indiana University Mathematics Journal71(2022), no. 6, 2529–2549

work page 2022

[13] [13]

Taylor,Pseudodifferential operators and nonlinear PDE, Progress in Mathematics, vol

Michael E. Taylor,Pseudodifferential operators and nonlinear PDE, Progress in Mathematics, vol. 100, Birkh¨ auser, Boston, 1991

work page 1991

[14] [14]

3–4, 381–419

Ping Zhang and Yuxi Zheng,Rarefactive solutions to a nonlinear vari- ational wave equation of liquid crystals, Communications in Partial Dif- ferential Equations26(2001), no. 3–4, 381–419. 16

work page 2001