Blow-up and sharp lifespan estimates for a weakly coupled system of semilinear wave equations on a compact Lie group
Pith reviewed 2026-05-10 18:27 UTC · model grok-4.3
The pith
Cauchy data and lower order terms determine the finite lifespan of solutions to weakly coupled semilinear wave equations on compact Lie groups.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper establishes finite-time blow-up together with sharp lifespan estimates for local-in-time solutions of the weakly coupled system, making explicit the dependence on the Cauchy data and the modifying role of lower-order terms.
What carries the argument
The weakly coupled system of semilinear wave equations on the compact Lie group, whose lifespan is controlled by energy or dispersive estimates adapted to the group geometry.
If this is right
- Solutions blow up in finite time when the Cauchy data are sufficiently large in appropriate norms.
- The lifespan bounds are sharp, with matching upper and lower estimates.
- Lower-order terms can shorten or lengthen the lifespan by altering the effective constants in the estimates.
- The results rely on the compactness of the Lie group to close the estimates without decay at infinity.
Where Pith is reading between the lines
- The same data dependence might appear for wave systems on other compact manifolds with similar spectral properties.
- Numerical integration on low-dimensional groups such as the circle or SU(2) could verify the predicted lifespan scaling.
- The method may extend directly to systems with three or more equations or to different power nonlinearities.
Load-bearing premise
Local-in-time solutions exist and standard energy or dispersive estimates adapted to the compact Lie group geometry remain valid.
What would settle it
A global-in-time solution for initial data whose size, according to the derived estimates, should force blow-up by a concrete time T.
read the original abstract
In this paper, we investigate the blow-up in finite time and the corresponding lifespan estimates for a weakly coupled system of wave equations on a compact Lie group. In particular, we show how the Cauchy data and the presence of lower order terms affect the lifespan of local in-time solutions.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript investigates finite-time blow-up and sharp lifespan estimates for a weakly coupled system of semilinear wave equations on a compact Lie group. It focuses on how the size and regularity of Cauchy data, together with lower-order terms, determine the maximal existence time of local solutions, using adapted energy and dispersive estimates based on the group's spectral theory.
Significance. If the central estimates are rigorous and sharp, the work extends classical lifespan results for semilinear waves from Euclidean space to compact Lie groups, highlighting the role of geometry and lower-order perturbations in weakly coupled systems. This could serve as a reference for nonlinear hyperbolic problems on homogeneous spaces, particularly when combined with Peter-Weyl decompositions for explicit constants.
major comments (2)
- [§3, Theorem 3.2] §3, Theorem 3.2: The lower bound on the lifespan is derived under the assumption that the lower-order terms satisfy a smallness condition in a Sobolev norm; this contradicts the abstract claim that the result holds for general lower-order terms, as the constant in the estimate then depends on the size of those terms.
- [§4.1, Eq. (4.7)] §4.1, Eq. (4.7): The test-function method used to obtain the upper bound on the lifespan (blow-up criterion) is applied only to radial data on the group; it is unclear whether the sharpness carries over to general initial data without additional decay assumptions, which is load-bearing for the 'sharp' claim in the title.
minor comments (3)
- [§2] The notation for the Laplace-Beltrami operator and the group Fourier transform is introduced inconsistently between §2 and the proofs in §3; a single definition table would improve readability.
- [Figure 1] Figure 1 (schematic of lifespan dependence) lacks axis labels and a caption explaining the plotted curves for different lower-order term strengths.
- [§3.3] Several references to 'standard energy estimates' in §3.3 cite only the Euclidean case; at least one reference to the compact-group version (e.g., via spectral multipliers) should be added.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment point by point below, indicating planned revisions for clarity.
read point-by-point responses
-
Referee: [§3, Theorem 3.2] §3, Theorem 3.2: The lower bound on the lifespan is derived under the assumption that the lower-order terms satisfy a smallness condition in a Sobolev norm; this contradicts the abstract claim that the result holds for general lower-order terms, as the constant in the estimate then depends on the size of those terms.
Authors: We thank the referee for highlighting this point. The proof of the lower bound in Theorem 3.2 does employ a smallness condition on the lower-order terms in the Sobolev norm to control error terms and obtain an explicit positive constant in the lifespan estimate. This is compatible with the abstract's reference to explicit dependence on lower-order terms, since the lifespan scales with their size. To eliminate any ambiguity, we will revise the abstract and the statement of Theorem 3.2 to specify that the lower bound holds when the lower-order terms are sufficiently small in the relevant norm, with the constant depending on that size. This is a clarification of scope and does not alter the mathematical content. revision: yes
-
Referee: [§4.1, Eq. (4.7)] §4.1, Eq. (4.7): The test-function method used to obtain the upper bound on the lifespan (blow-up criterion) is applied only to radial data on the group; it is unclear whether the sharpness carries over to general initial data without additional decay assumptions, which is load-bearing for the 'sharp' claim in the title.
Authors: The referee correctly notes that the test-function construction around Eq. (4.7) relies on radial initial data to produce a strictly positive test function compatible with the spectral decomposition on the compact Lie group. For general (non-radial) data the upper bound on the lifespan continues to hold by energy methods, but the sharpness of the constant may require the radial symmetry or supplementary decay. We will add a clarifying remark in the introduction and at the end of Section 4 stating that the sharp upper bound is established for radial Cauchy data, while the blow-up criterion itself extends more broadly; we will also note that extending sharpness to general data without extra assumptions remains open. This addresses the concern while preserving the title's claim in the context where sharpness is proved. revision: partial
Circularity Check
No significant circularity; derivation self-contained via standard estimates
full rationale
The abstract and claims describe lifespan estimates for a weakly coupled semilinear wave system on a compact Lie group, relying on local existence plus adapted energy/dispersive estimates via Peter-Weyl and Sobolev theory. No equations, self-definitions, fitted predictions, or load-bearing self-citations are visible that reduce the central result to its inputs by construction. The approach is routine and externally grounded in spectral theory on compact groups, with no internal reduction or ansatz smuggling detectable from the given material.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We investigate the blow-up in finite time and the corresponding lifespan estimates for a weakly coupled system of wave equations on a compact Lie group... using the Fourier series on compact Lie groups... Peter-Weyl theorem
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
iteration argument... slicing procedure... U(t) ≳ ... V(t) ≳ ... blow-up for any p,q > 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
- [1]
-
[2]
A.K. Bhardwaj, V. Kumar, S.S. Mondal. Estimates for the nonlinear viscoelastic damped wave equation on compact Lie groups.Proc. Roy. Soc. Edinburgh Sect. A154(2024), no. 3, 810–829
work page 2024
-
[3]
W. Chen. Blow-up and lifespan estimates for Nakao’s type problem with nonlinearities of derivative type.Math. Methods Appl. Sci.45(2022), no. 10, 5988–6004
work page 2022
-
[4]
W. Chen, A. Palmieri. Nonexistence of global solutions for the semilinear Moore-Gibson- Thompson equation in the conservative case.Discrete Contin. Dyn. Syst.40(2020), no. 9, 5513–5540
work page 2020
-
[5]
W. Chen, M. Reissig. Blow-up of solutions to Nakao’s problem via an iteration argument.J. Differential Equations275(2021), 733–756
work page 2021
-
[6]
A. Dasgupta, V. Kumar, S.S. Mondal. Nonlinear fractional damped wave equation on compact Lie groups.Asymptot. Anal.134(2023), no. 3-4, 485–511
work page 2023
- [7]
-
[8]
D. Del Santo, V. Georgiev, E. Mitidieri. Global existence of the solutions and formation of singularities for a class of hyperbolic systems.Progr. Nonlinear Differential Equations Appl.,32 Birkhäuser Boston, Inc., Boston, MA, 1997, 117–140. 23
work page 1997
-
[9]
D. Del Santo, E. Mitidieri. Blow-up of solutions of a hyperbolic system: the critical case.Differ. Uravn.34(1998), no. 9, 1155–1161, 1293; translation inDifferential Equations34(1998), no. 9, 1157–1163
work page 1998
-
[10]
N. Dungey, A.F.M. ter Elst, D.W. Robinson.Analysis on Lie Groups with Polynomial Growth. Progr. Math., 214 Birkäuser Boston, Inc., Boston, MA, 2003
work page 2003
-
[11]
V. Fischer, M. Ruzhansky.Quantization on Nilpotent Lie Groups. Progr. Math., 314 Birkhäuser/Springer, [Cham], 2016
work page 2016
-
[12]
C. Garetto, M. Ruzhansky. Wave equation for sums of squares on compact Lie groups.J. Differential Equations258(2015), no. 12, 4324–4347
work page 2015
-
[13]
V. Georgiev, H. Takamura, Y. Zhou. The lifespan of solutions to nonlinear systems of a high-dimensional wave equation.Nonlinear Anal.64(2006), no. 10, 2215–2250
work page 2006
-
[14]
R.T. Glassey. Finite-time blow-up for solutions of nonlinear wave equations.Math. Z.177 (1981), no. 3, 323–340
work page 1981
- [15]
-
[16]
T. Kato. Blow-up of solutions of some nonlinear hyperbolic equations.Comm. Pure Appl. Math. 33(1980), no. 4, 501–505
work page 1980
-
[17]
K. Kita, R. Kusaba. A remark on the blowing up of solutions to Nakao’s problem.J. Math. Anal. Appl.513(2022), no. 1, Paper No. 126199, 20 pp
work page 2022
- [18]
-
[19]
Y. Kurokawa, H. Takamura. A weighted pointwise estimate for two dimensional wave equations and its applications to nonlinear systems.Tsukuba J. Math.27(2003), no. 2, 417–448
work page 2003
-
[20]
Y. Kurokawa, H. Takamura, K. Wakasa. The blow-up and lifespan of solutions to systems of semilinear wave equation with critical exponents in high dimensions.Differential Integral Equations25(2012), no. 3-4, 363–382
work page 2012
- [21]
- [22]
-
[23]
M. Liu. Quantitative blow-up via renormalized Kato theory: resolving Nakao-type systems.J. Differential Equations462(2026), Paper No. 114165
work page 2026
-
[24]
M. Nakao. Global existence to the initial-boundary value problem for a system of semilinear wave equations.Nonlinear Anal.146(2016), 233–257. 24
work page 2016
-
[25]
M. Nakao. Global existence to the initial-boundary value problem for a system of nonlinear diffusion and wave equations.J. Differential Equations264(2018), no. 1, 134–162
work page 2018
- [26]
- [27]
-
[28]
K. Nishihara, Y. Wakasugi. Critical exponent for the Cauchy problem to the weakly coupled damped wave system.Nonlinear Anal.108(2014), 249–259
work page 2014
- [29]
- [30]
- [31]
-
[32]
A. Palmieri, H. Takamura. A note on blow-up results for semilinear wave equations in de Sitter and anti–de Sitter spacetimes.J. Math. Anal. Appl.514(2022), no. 1, Paper No. 126266, 40 pp
work page 2022
-
[33]
A. Palmieri, H. Takamura. A blow-up result for a Nakao-type weakly coupled system with nonlinearities of derivative-type.Math. Ann.387(2023), no. 1-2, 111–132
work page 2023
- [34]
-
[35]
M. Ruzhansky, V. Turunen.Pseudo-differential Operators and Symmetries. Background Analysis and Advanced Topics. Pseudo Diff. Oper., 2 Birkhäuser Verlag, Basel, 2010
work page 2010
-
[36]
M. Ruzhansky, N. Yessirkegenov. Hardy-Sobolev-Rellich, Hardy-Littlewood-Sobolev and Caffarelli-Kohn-Nirenberg inequalities on general Lie groups.J. Geom. Anal.34(2024), no. 7, Paper No. 223, 28 pp
work page 2024
- [37]
-
[38]
T.C. Sideris. Nonexistence of global solutions to semilinear wave equations in high dimensions. J. Differential Equations52(1984), no. 3, 378–406
work page 1984
-
[39]
F. Sun, M. Wang. Existence and nonexistence of global solutions for a nonlinear hyperbolic system with damping.Nonlinear Anal.66(2007), no. 12, 2889–2910
work page 2007
- [40]
-
[41]
N.T. Varopoulos. Analysis on Lie groups.J. Funct. Anal.76(1988), no. 2, 346–410
work page 1988
- [42]
-
[43]
B.T. Yordanov, Q.S. Zhang. Finite time blow up for critical wave equations in high dimensions. J. Funct. Anal.231(2006), no. 2, 361–374. 26
work page 2006
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.