pith. sign in

arxiv: 2505.10768 · v1 · submitted 2025-05-16 · 🧮 math.AP

Existence of solutions to the semilinear damped wave equation with non-L² slowly decaying data : polynomial nonlinearity case

Masahiro Ikeda , Takahisa Inui , Yuta Wakasugi This is my paper

Pith reviewed 2026-05-22 15:34 UTC · model grok-4.3

classification 🧮 math.AP
keywords semilinear damped wave equationexistence of solutionsslowly decaying datanon-L^2 datapolynomial nonlinearityhomogeneous Besov spacesL^p-L^q estimates
0
0 comments X

The pith

Solutions to the semilinear damped wave equation exist locally and globally for initial data that decay slowly and lie outside L^2.

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

The paper establishes local and global existence of solutions to the semilinear damped wave equation with polynomial nonlinearity for initial data that are slowly decaying and do not belong to L^2(R^n). It relies on L^p-L^q estimates for the linear damped wave solutions together with the fractional Leibniz rule in homogeneous Besov spaces. A reader would care because this removes the usual square-integrability requirement and thereby enlarges the set of admissible initial conditions for which the Cauchy problem is well-posed. The argument works directly in spaces that accommodate slower spatial decay at infinity.

Core claim

For the Cauchy problem of the semilinear damped wave equation with polynomial nonlinearity, local and global existence of solutions holds for slowly decaying initial data not belonging to L^2(R^n) in general. The proof is based on the L^p-L^q estimates of linear solutions and the fractional Leibniz rule in suitable homogeneous Besov spaces.

What carries the argument

L^p-L^q estimates for linear damped wave solutions combined with the fractional Leibniz rule in homogeneous Besov spaces, which control the polynomial nonlinearity for data outside L^2.

If this is right

  • Local existence holds for arbitrary data in the chosen homogeneous Besov spaces without smallness.
  • Global existence holds when the initial data are small in the appropriate Besov norm.
  • The same estimates yield existence for data whose decay is slower than any fixed positive power of distance.
  • The method bypasses L^2 integrability while still closing the nonlinear estimates.

Where Pith is reading between the lines

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

  • The same combination of linear estimates and fractional Leibniz rules could extend to other damped hyperbolic equations with power nonlinearities.
  • Sharpness of the decay threshold could be tested by constructing explicit data sequences that approach the boundary of the admissible Besov class.
  • The framework may adapt to systems or to nonlinearities with derivatives once the corresponding product laws in Besov spaces are verified.

Load-bearing premise

The L^p-L^q estimates for the linear damped wave solutions and the fractional Leibniz rule in homogeneous Besov spaces remain valid and sufficient when the initial data lie outside L^2.

What would settle it

A concrete initial datum that is slowly decaying, lies outside L^2, satisfies the smallness condition in the relevant Besov norm, yet produces a solution that blows up in finite time would falsify the global existence claim.

read the original abstract

We study the Cauchy problem of the semilinear damped wave equation with polynomial nonlinearity, and establish the local and global existence of the solution for slowly decaying initial data not belonging to $L^2(\mathbb{R}^n)$ in general. Our approach is based on the $L^p$-$L^q$ estimates of linear solutions and the fractional Leibniz rule in suitable homogeneous Besov spaces.

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

2 major / 2 minor

Summary. The manuscript studies the Cauchy problem for the semilinear damped wave equation with polynomial nonlinearity. It claims to establish local and global existence of solutions for initial data that decay slowly at spatial infinity and do not belong to L^2(R^n) in general. The approach is based on L^p-L^q estimates for the linear damped-wave propagator together with the fractional Leibniz rule applied in suitable homogeneous Besov spaces Ḃ^{s}_{p,q}.

Significance. If the estimates close rigorously, the result would extend local/global existence theory for damped semilinear waves beyond the usual L^2-based setting to a class of slowly decaying data outside L^2. This is potentially useful for long-time asymptotics in models where initial data have power-law decay slower than any L^2 integrability.

major comments (2)
  1. The fixed-point argument in the chosen homogeneous Besov space requires explicit control of the low-frequency contribution of the linear damped-wave propagator when the data lie in Ḃ^{s}_{p,q} with p<2. Standard L^p-L^q decay estimates are typically derived under rapid decay or L^2 assumptions; the manuscript must supply a dedicated estimate (or lemma) showing that the Duhamel integral of the polynomial term remains inside the ball when the initial data have only slow spatial decay.
  2. The application of the fractional Leibniz rule in homogeneous Besov spaces to the nonlinearity must be justified without invoking L^2 integrability of the solution or its derivatives. If the proof relies on embedding or interpolation that implicitly uses L^2, this should be stated and verified separately for the non-L^2 regime.
minor comments (2)
  1. Clarify the precise range of p, q, s and the dimension n for which the claimed L^p-L^q estimates hold; the abstract is silent on these parameters.
  2. Add a short comparison paragraph with existing results for L^2 data to highlight the technical novelty of the non-L^2 extension.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the constructive major comments. We address each point below and have revised the manuscript where necessary to strengthen the arguments for the non-L^2 regime.

read point-by-point responses

  1. Referee: The fixed-point argument in the chosen homogeneous Besov space requires explicit control of the low-frequency contribution of the linear damped-wave propagator when the data lie in Ḃ^{s}_{p,q} with p<2. Standard L^p-L^q decay estimates are typically derived under rapid decay or L^2 assumptions; the manuscript must supply a dedicated estimate (or lemma) showing that the Duhamel integral of the polynomial term remains inside the ball when the initial data have only slow spatial decay.

    Authors: We agree that an explicit treatment of the low-frequency part is needed to close the argument rigorously when p<2. In the revised version we have inserted a new auxiliary lemma (now Lemma 3.4) that bounds the low-frequency contribution of the Duhamel integral directly in the homogeneous Besov norm Ḃ^{s}_{p,q}. The proof of the lemma uses the explicit Fourier multiplier representation of the damped-wave propagator together with the slow-decay assumption on the data; it does not rely on L^2 integrability. With this addition the fixed-point map is shown to map the ball into itself. revision: yes

  2. Referee: The application of the fractional Leibniz rule in homogeneous Besov spaces to the nonlinearity must be justified without invoking L^2 integrability of the solution or its derivatives. If the proof relies on embedding or interpolation that implicitly uses L^2, this should be stated and verified separately for the non-L^2 regime.

    Authors: The fractional Leibniz rule we invoke is the version valid on homogeneous Besov spaces Ḃ^{s}_{p,r} for 1 < p < ∞ (see e.g. the reference cited in Section 2). This estimate is proved via paraproduct decomposition and does not pass through L^2. The only embeddings used are the standard ones between homogeneous Besov spaces with the same p; they hold independently of any L^2 assumption. We have added a short clarifying paragraph after the statement of the rule (now Remark 2.3) that explicitly verifies the conditions for the range of p and s employed in the paper. revision: yes

Circularity Check

0 steps flagged

No circularity: existence proof applies external linear estimates and Besov-space tools to non-L² data

full rationale

The derivation proceeds by applying known L^p-L^q decay estimates for the linear damped-wave propagator and the fractional Leibniz rule in homogeneous Besov spaces Ḃ^{s}_{p,q} to close a fixed-point argument for the semilinear problem. These ingredients are imported from the literature rather than derived or fitted within the paper; the initial data are placed directly in the target space without redefining the estimates in terms of the nonlinear solution. No self-citation chain, ansatz smuggling, or renaming of a fitted quantity occurs. The argument therefore remains self-contained against external benchmarks for the linear estimates and does not reduce any claimed existence result to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on two standard assumptions from linear PDE theory and Besov-space analysis; no free parameters or new entities are introduced.

axioms (2)
  • domain assumption L^p-L^q estimates hold for the linear damped wave equation
    Invoked as the basis for controlling the linear evolution in the abstract.
  • standard math Fractional Leibniz rule applies in homogeneous Besov spaces
    Used to estimate the nonlinear term.

pith-pipeline@v0.9.0 · 5596 in / 1226 out tokens · 45269 ms · 2026-05-22T15:34:28.993000+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

32 extracted references · 32 canonical work pages

  1. [1]

    Bayesian Segmentation of Atrium Wall Using Globally-Optimal Graph Cuts on 3D Meshes

    H. Bahouri, J.-Y. Chemin, R. Danchin, Fourier Analysis and Nonlinear Partial Differen- tial Equations, Springer-Verlag Berlin Heidelberg (2011) https://doi.org/10.1007/978-3-642- 16830-7

    work page doi:10.1007/978-3-642- 2011

  2. [2]

    Bergh, J

    J. Bergh, J. L¨ ofstr¨ om, Interpolation Spaces. An Introduction, Grundlehren der Mathematischen Wissenschaften, vol. 223, Springer-Verlag, Berlin-New York (1976) https://doi.org/10.1007/978-3-642-66451-9

    work page doi:10.1007/978-3-642-66451-9 1976

  3. [3]

    Fujita,On the blowing up of solutions of the Cauchy problem foru t = ∆u+u 1+α, J

    H. Fujita,On the blowing up of solutions of the Cauchy problem foru t = ∆u+u 1+α, J. Fac. Sci. Univ. Tokyo Sec. I13, 109–124 (1966)

    work page 1966

  4. [4]

    Ginibre, T

    J. Ginibre, T. Ozawa, G. Velo,On the existence of the wave operators for a class of nonlinear Schr¨ odinger equations, Ann. Inst. Henri Poincar´ e60, 211–239 (1994)

    work page 1994

  5. [5]

    Hajaiej, L

    H. Hajaiej, L. Molinet, T. Ozawa, B. Wang,Necessary and sufficient conditions for the fractional Gagliardo-Nirenberg inequalities and applications to Navier–Stokes and generalized boson equations, in: Harmonic analysis and nonlinear partial differential equations, 159–175, RIMS Kˆ okyˆ uroku Bessatsu, B26, Res. Inst. Math. Sci. (RIMS), Kyoto, (2011)

    work page 2011

  6. [6]

    Ozawa and K

    N. Hayashi, E.-I. Kaikina, P.-I. Naumkin,Damped wave equation with su- per critical nonlinearities, Differential Integral Equations17, 637–652 (2004) https://doi.org/10.57262/die/1356060352

    work page doi:10.57262/die/1356060352 2004

  7. [7]

    Hidano, C

    K. Hidano, C. Wang,Fractional derivatives of composite functions and the Cauchy problem for the nonlinear half wave equation, Selecta Mathematica, 25:2 (2019) https://doi.org/10.1007/s00029-019-0460-4

    work page doi:10.1007/s00029-019-0460-4 2019

  8. [8]

    Hosono, T

    T. Hosono, T. Ogawa,Large time behavior andL p-Lq estimate of solutions of 2- dimensional nonlinear damped wave equations, J. Differential Equations203, 82–118 (2004) https://doi.org/10.1016/j.jde.2004.03.034

    work page doi:10.1016/j.jde.2004.03.034 2004

  9. [9]

    Cham: Springer, 2016

    T. Hyt¨ onen, J. van Neerven, M. Veraar, L. Weis, Analysis in Banach spaces. Vol. I. Martin- gales and Littlewood–Paley theory. Ergeb. Math. Grenzgeb. (3), 63[Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics] Springer, Cham, xvi+614 pp. (2016) https://doi.org/10.1007/978-3-319-48520-1

    work page doi:10.1007/978-3-319-48520-1 2016

  10. [10]

    Ikehata, M

    R. Ikehata, M. Ohta,Critical exponents for semilinear dissipative wave equations inR N, J. Math. Anal. Appl.269, 87–97 (2002) https://doi.org/10.1016/S0022-247X(02)00021-5

    work page doi:10.1016/s0022-247x(02)00021-5 2002

  11. [11]

    Ikehata,Global existence of solutions for semilinear damped wave equa- tion in 2-D exterior domain, J

    R. Ikehata,Global existence of solutions for semilinear damped wave equa- tion in 2-D exterior domain, J. Differential Equations200, 53–68 (2004) https://doi.org/10.1016/j.jde.2003.08.009

    work page doi:10.1016/j.jde.2003.08.009 2004

  12. [12]

    Ikehata,Two dimensional exterior mixed problem for semilinear damped wave equations, J

    R. Ikehata,Two dimensional exterior mixed problem for semilinear damped wave equations, J. Math. Anal. Appl.301, 366–377 (2005) https://doi.org/10.1016/j.jmaa.2004.07.028 NONLINEAR DAMPED W A VE EQUATION 25

    work page doi:10.1016/j.jmaa.2004.07.028 2005

  13. [13]

    Ikehata, K

    R. Ikehata, K. Tanizawa,Global existence of solutions for semilinear damped wave equations inR N with noncompactly supported initial data, Nonlinear Anal.61, 1189–1208 (2005) https://doi.org/10.1016/j.na.2005.01.097

    work page doi:10.1016/j.na.2005.01.097 2005

  14. [14]

    Ikeda, T

    M. Ikeda, T. Inui, Y. Wakasugi,The Cauchy problem for the nonlinear damped wave equation with slowly decaying data, NoDEA Nonlinear Differential Equations Appl.24, no. 2, Art. 10, 53 pp. (2017) https://doi.org/10.1007/s00030-017-0434-1

    work page doi:10.1007/s00030-017-0434-1 2017

  15. [15]

    Ikeda, T

    M. Ikeda, T. Inui, M. Okamoto, Y. Wakasugi,L p-Lq estimates for the damped wave equation and the critical exponent for the nonlinear problem with slowly decaying data, Comm. Pure Appl. Anal.18, 1967–2008 (2019) https://doi.org/10.3934/cpaa.2019090

    work page doi:10.3934/cpaa.2019090 1967

  16. [16]

    Ikeda, K

    M. Ikeda, K. Taniguchi, Y. Wakasugi,Global existence and asymptotic behavior for nonlinear damped wave equations on measure spaces, Evolution Equations and Control Theory 13, 1101–1125 (2024) https://doi.org/10.3934/eect.2024018

    work page doi:10.3934/eect.2024018 2024

  17. [17]

    Kaneko, H

    K. Kaneko, H. Kozono, S. Shimizu,Stationary solution to the Navier–Stokes equations in the scaling invariant Besov space and its regularity, Indiana Univ. Math. J.68(2019), 857–880

    work page 2019

  18. [18]

    Matsumura,On the asymptotic behavior of solutions of semi-linear wave equations, Publ

    A. Matsumura,On the asymptotic behavior of solutions of semi-linear wave equations, Publ. Res. Inst. Math. Sci.12(1976), 169–189

    work page 1976

  19. [19]

    Nakao, K

    M. Nakao, K. Ono,Existence of global solutions to the Cauchy problem for the semilinear dis- sipative wave equations, Math. Z.214, 325–342 (1993) https://doi.org/10.1007/BF02572407

    work page doi:10.1007/bf02572407 1993

  20. [20]

    A construction of equivalence subrelations for intermediate subalgebras

    T. Narazaki,L p-Lq estimates for damped wave equations and their applications to semi-linear problem, J. Math. Soc. Japan56, 585–626 (2004) https://doi.org/10.2969/jmsj/1191418647

    work page doi:10.2969/jmsj/1191418647 2004

  21. [21]

    Narazaki, K

    T. Narazaki, K. Nishihara,Asymptotic behavior of solutions for the damped wave equation with slowly decaying data, J. Math. Anal. Appl.338, 803–819 (2008) https://doi.org/10.1016/j.jmaa.2007.05.068

    work page doi:10.1016/j.jmaa.2007.05.068 2008

  22. [22]

    Nishihara,L p-Lq estimates of solutions to the damped wave equation in 3-dimensional space and their application, Math

    K. Nishihara,L p-Lq estimates of solutions to the damped wave equation in 3-dimensional space and their application, Math. Z.244, 631–649 (2003) https://doi.org/10.1007/s00209- 003-0516-0

    work page doi:10.1007/s00209- 2003

  23. [23]

    Ono,Global existence and asymptotic behavior of small solutions for semi- linear dissipative wave equations, Discrete Contin

    K. Ono,Global existence and asymptotic behavior of small solutions for semi- linear dissipative wave equations, Discrete Contin. Dyn. Syst.9, 651–662 (2003) https://doi.org/10.3934/dcds.2003.9.651

    work page doi:10.3934/dcds.2003.9.651 2003

  24. [24]

    Ono,Decay estimates for dissipative wave equations in exterior domains, J

    K. Ono,Decay estimates for dissipative wave equations in exterior domains, J. Math. Anal. Appl.286, 540–562 (2003) https://doi.org/10.1016/S0022-247X(03)00489-X

    work page doi:10.1016/s0022-247x(03)00489-x 2003

  25. [25]

    M. Reed, B. Simon, Methods of modern mathematical physics. I. Functional analysis. Second edition, Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York, xv+400 pp. (1980)

    work page 1980

  26. [26]

    Runst, W

    T. Runst, W. Sickel, Sobolev Spaces of Fractional Order, Nemytskij Operators, and Nonlinear Partial Differential Equations, Berlin, New York: De Gruyter (2011)

    work page 2011

  27. [27]

    Sawano, Theory of Besov Spaces, Dev

    Y. Sawano, Theory of Besov Spaces, Dev. Math., 56, Springer, Singapore, xxiii+945 pp. (2018) https://doi.org/10.1007/978-981-13-0836-9

    work page doi:10.1007/978-981-13-0836-9 2018

  28. [28]

    M. Sobajima,Global existence of solutions to semilinear damped wave equation with slowly decaying initial data in exterior domain, Differential Integral Equations32, 615–638 (2019) https://doi.org/10.57262/die/1571731512

    work page doi:10.57262/die/1571731512 2019

  29. [29]

    Todorova, B

    G. Todorova, B. Yordanov,Critical exponent for a nonlinear wave equation with damping, J. Differential Equations174, 464–489 (2001) https://doi.org/10.1006/jdeq.2000.3933

    work page doi:10.1006/jdeq.2000.3933 2001

  30. [30]

    Regularity for a class of non-lin ear elliptic systems

    H. Triebel, Theory of Function Spaces, Reprint of the 1983 Edition, Springer Basel AG (2010) https://doi.org/10.1007/978-3-0346-0416-1

    work page doi:10.1007/978-3-0346-0416-1 1983

  31. [31]

    F. B. Weissler,Existence and non-existence of global solutions for a semilinear heat equation, Israel J. Math.38, 29–40 (1981) https://doi.org/10.1007/BF02761845

    work page doi:10.1007/bf02761845 1981

  32. [32]

    Zhang,A blow-up result for a nonlinear wave equation with damping: the critical case, C

    Qi S. Zhang,A blow-up result for a nonlinear wave equation with damping: the critical case, C. R. Acad. Sci. Paris S´ er. I Math.333, 109–114 (2001) https://doi.org/10.1016/S0764- 4442(01)01999-1 Email address:ikeda@ist.osaka-u.ac.jp/masahiro.ikeda@keio.jp/masahiro.ikeda@riken.jp Email address:inui@math.sci.osaka-u.ac.jp Email address:wakasugi@hiroshima-u.ac.jp

    work page doi:10.1016/s0764- 2001