pith. sign in

arxiv: 2511.06985 · v2 · submitted 2025-11-10 · 🧮 math.AP

A note on the fourth-order Schrodinger equation with spatially growing inhomogeneous source term

Alaa Mohammed Alqaied , Tarek Saanouni This is my paper

Pith reviewed 2026-05-17 23:51 UTC · model grok-4.3

classification 🧮 math.AP
keywords fourth-order Schrödinger equationinhomogeneous termspherical symmetrylocal well-posednessglobal existenceStrauss estimatesbiharmonic equation
0
0 comments X

The pith

The fourth-order Schrödinger equation with a spatially growing inhomogeneous term has local and global solutions in energy space under spherical symmetry.

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

This paper develops well-posedness theory for a nonlinear biharmonic Schrödinger equation that includes an unbounded inhomogeneous source term. The term breaks translation invariance, posing a challenge for standard methods. Using spherical symmetry and Strauss-type estimates, the authors prove local existence in the energy space and global existence for small data. They also establish local existence in Sobolev spaces of lower regularity. These results matter for modeling wave phenomena in inhomogeneous media where standard symmetry arguments fail.

Core claim

The paper shows that despite the spatially growing inhomogeneous term disrupting translation invariance, local and global solutions can be constructed in the energy space for small data, and locally in lower regularity Sobolev spaces, by relying on spherical symmetry to apply Strauss estimates that control the source.

What carries the argument

Strauss-type estimates applied to spherically symmetric functions, which bound the effects of the unbounded inhomogeneous term.

If this is right

  • Local existence holds in the energy space for spherically symmetric initial data.
  • Small spherically symmetric data yield global-in-time solutions.
  • Local well-posedness extends to Sobolev spaces below energy regularity.
  • The inhomogeneous term is handled without relying on translation invariance.

Where Pith is reading between the lines

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

  • The radial symmetry requirement could potentially be relaxed using other decay estimates for non-radial data.
  • Similar techniques might apply to other higher-order dispersive equations with growing potentials or sources.
  • These existence results could serve as a starting point for studying scattering or asymptotic stability in this model.

Load-bearing premise

Solutions must be spherically symmetric so that Strauss-type estimates can control the unbounded inhomogeneous term.

What would settle it

An explicit counterexample of a non-spherically symmetric small-data solution that fails to exist or blows up immediately due to the growing source term would disprove the approach.

read the original abstract

This paper studies a non-linear biharmonic Sch\"odinger equation with an unbounded inhomogeneous term. The main goal is to develop a local theory but also a global theory for small data, in the energy space. Moreover, we develop a local theory in Sobolev spaces with lower regularity. The challenge is to deal with the inhomogeneous unbounded term, which broke down the space translation invariance. In order to handle the inhomogenous term, we use some Strauss type estimates, which require a spherically symmetric assumption.

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

1 major / 2 minor

Summary. The manuscript studies the fourth-order nonlinear Schrödinger equation with a spatially growing inhomogeneous source term. Under the assumption of radial symmetry, it claims to establish local well-posedness and small-data global existence in the energy space, together with a local well-posedness theory in Sobolev spaces of lower regularity, by applying Strauss-type radial decay estimates to control the unbounded inhomogeneous term that breaks translation invariance.

Significance. If the results hold, the work would provide a modest extension of well-posedness theory for biharmonic Schrödinger equations to the setting of unbounded inhomogeneous terms, showing that radial symmetry and Strauss estimates suffice to recover local existence even when translation invariance is lost. The lower-regularity result, if justified, would be the most novel contribution.

major comments (1)
  1. [local theory in lower-regularity Sobolev spaces] The section on local well-posedness in H^s for s < 1: the contraction-mapping argument relies on Strauss-type pointwise decay to estimate the Duhamel integral for the inhomogeneous term, but the classical Strauss bound |u(x)| ≲ |x|^{-(n-1)/2} ||∇u||_2 requires H^1 regularity. No alternative decay estimate or additional regularity assumption is supplied to justify the same control when the solution is sought only in H^s with s < 1; this undermines the claimed lower-regularity local theory.
minor comments (2)
  1. [Abstract] The abstract and introduction should explicitly state the spatial dimension n and the precise growth rate of the inhomogeneous term (e.g., |x|^α with α > 0).
  2. [Introduction] Function-space definitions (e.g., the precise energy space and the admissible range of s) are not given in the provided text; they should appear before the statements of the main theorems.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for highlighting a potential issue in the justification of the local well-posedness result in lower-regularity Sobolev spaces. We address the comment below and will incorporate the necessary clarification in a revised version.

read point-by-point responses

  1. Referee: [local theory in lower-regularity Sobolev spaces] The section on local well-posedness in H^s for s < 1: the contraction-mapping argument relies on Strauss-type pointwise decay to estimate the Duhamel integral for the inhomogeneous term, but the classical Strauss bound |u(x)| ≲ |x|^{-(n-1)/2} ||∇u||_2 requires H^1 regularity. No alternative decay estimate or additional regularity assumption is supplied to justify the same control when the solution is sought only in H^s with s < 1; this undermines the claimed lower-regularity local theory.

    Authors: We agree that the classical Strauss decay estimate is stated for H^1 radial functions and that the manuscript does not explicitly supply an alternative version or reference for the H^s case with s < 1. The radial symmetry assumption is used throughout to control the inhomogeneous term via pointwise bounds, but the details of the decay for lower regularity were not expanded upon. In the revision we will add a precise statement (or short proof) of the radial decay estimate valid for functions in H^s_radial when s > 1/2, together with a reference to the relevant literature on Strauss-type inequalities in fractional Sobolev spaces. This will justify the estimates on the Duhamel integral in the contraction-mapping argument for the lower-regularity local theory. We view this addition as strengthening the presentation of what we consider the most novel part of the work. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected in derivation chain

full rationale

The paper establishes local and global well-posedness for the fourth-order Schrödinger equation with growing inhomogeneous term by imposing spherical symmetry to invoke external Strauss radial decay estimates, then applying standard contraction mapping in energy space and lower-regularity Sobolev spaces. These steps draw on classical Sobolev theory and cited radial estimates that are independent of the target result; no equation or assumption is defined in terms of the claimed existence or uniqueness, and no fitted parameter is relabeled as a prediction. The approach remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The results rest on standard functional-analytic tools for radial functions and dispersive estimates; no new free parameters or invented entities are introduced in the abstract.

axioms (1)
  • standard math Standard Sobolev embedding and Strauss radial estimates hold in the chosen function spaces
    Invoked to control the inhomogeneous term once spherical symmetry is assumed

pith-pipeline@v0.9.0 · 5376 in / 1172 out tokens · 29663 ms · 2026-05-17T23:51:43.645572+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

26 extracted references · 26 canonical work pages

  1. [1]

    Aldovardi & J

    M. Aldovardi & J. Bellazzini,A note on the fractional Hardy inequality. Boll. Unione Mat. Ital. 16 (2023), 667-676

    work page 2023

  2. [2]

    J. An, Y. Jo & J. Kim,Continuous dependence of the Cauchy problem for the inhomogeneous biharmonic NLS equation in sobolev spaces, Colloq. Math., 177 (2024), 49-80. 20

    work page 2024

  3. [3]

    J. An, J. Kim & P. Ryu,Local well-posedness for the inhomogeneous biharmonic nonlinear Schr¨ odinger equation in Sobolev spaces, Z. Anal. Anwend., 41 (2022), 239-258

    work page 2022

  4. [4]

    J. An, J. Kim & P. Ryu,Sobolev-Lorentz spaces with an application to the inhomogeneous biharmonic NLS equation, Discrete Contin. Dyn. Syst. Ser. B, 29 (2024), 3326-3345

    work page 2024

  5. [5]

    J. An, P. Ryu & J. Kim,Small data global well-posedness for the inhomogeneous biharmonic NLS in Sobolev spaces, Discrete Contin. Dyn. Syst. Ser. B, 28 (2023), 2789-2802

    work page 2023

  6. [6]

    R. Bai & T. Saanouni,Non global solutions for non-radial inhomogeneous nonlinear Schr¨ odinger equa- tions, Electronic Journal of Differential Equations, 2025, no. 55 (2025), 1-21

    work page 2025

  7. [7]

    Berg´ e,Soliton stability versus collapse, Phys

    L. Berg´ e,Soliton stability versus collapse, Phys. Rev. E, 62, no.3 (2000), 30713074

    work page 2000

  8. [8]

    Campos & C

    L. Campos & C. M. Guzman,Scattering for the non-radial inhomogenous biharmonic NLS equation, Calc. Var. 61, 156 (2022)

    work page 2022

  9. [9]

    Cardoso, C

    M. Cardoso, C. M. Guzm` an & A. Pastor,Global well-posedness and critical norm concentration for inhomogeneous biharmonic NLS, Monatsh Math 198, 1–29 (2022)

    work page 2022

  10. [10]

    Y. Cho & T. Ozawa,Sobolev inequalities with symmetry, Commun. Contemp. Math. 11, no. 3 (2009) 355-365

    work page 2009

  11. [11]

    Y. Cho, T. Ozawa & C. Wang,Finite time blowup for the fourth-order NLS, Bull. Korean Math. Soc. 53, no. 2 (2016), 615-640

    work page 2016

  12. [12]

    V. D. Dinh,Non-radial finite-time blow-up for the fourth-order nonlinear Schr¨ odinger equations, Appl. Math. Lett., 132 (2022), Paper No. 108084, 9

    work page 2022

  13. [13]

    Guo,Scattering for the focusingL 2 -supercritical and ˙H 2 -subcritical biharmonic NLS equations, J

    Z. Guo,Scattering for the focusingL 2 -supercritical and ˙H 2 -subcritical biharmonic NLS equations, J. Anal. Math. 124, no. 1 (2014), 1-38

    work page 2014

  14. [14]

    C. M. Guzman & A. Pastor,On the inhomogeneous biharmonic nonlinear schr¨ odinger equation: local, global and stability results, Nonl. Anal.: Real World App. 56 (2020), 103174

    work page 2020

  15. [15]

    C. M. Guzman & A. Pastor,Some remarks on the inhomogeneous biharmonic NLS equation, Nonlinear Analysis: Real World Applications, 67 (2022), 103643

    work page 2022

  16. [16]

    V. I. Karpman,Stabilization of soliton instabilities by higher-order dispersion: fourth-order nonlinear Schr¨ odinger equation, Phys. Rev. E. 53, no. 2, (1996), 1336-1339

    work page 1996

  17. [17]

    V. I. Karpman & A. G. Shagalov,Stability of soliton described by nonlinear Schr¨ odinger type equations with higher-order dispersion, Phys D. 144, (2000), 194-210

    work page 2000

  18. [18]

    Leoni,A first course in Sobolev spaces, Grad

    G. Leoni,A first course in Sobolev spaces, Grad. Stud. Math., 181. American Mathematical Society, Providence, RI, second edition (2017)

    work page 2017

  19. [19]

    X. Liu & T. Zhang,Bilinear Strichartz’s type estimates in Besov spaces with application to inhomogeneous nonlinear biharmonic Schr¨ odinger equation, J. Differ. Equa. 296 (2021), 335-368

    work page 2021

  20. [20]

    Saanouni,Scattering for radial defocusing inhomogeneous bi-Harmonic Schr¨ odinger equations, Poten- tial Anal 56 (2022), 649-667

    T. Saanouni,Scattering for radial defocusing inhomogeneous bi-Harmonic Schr¨ odinger equations, Poten- tial Anal 56 (2022), 649-667

    work page 2022

  21. [21]

    Saanouni,Energy scattering for radial focusing inhomogeneous bi-harmonic Schr¨ odinger equations, Calc

    T. Saanouni,Energy scattering for radial focusing inhomogeneous bi-harmonic Schr¨ odinger equations, Calc. Var. 60, no. 113 (2021)

    work page 2021

  22. [22]

    Saanouni & R

    T. Saanouni & R. Ghanmi,On energy critical inhomogeneous bi-harmonic nonlinear Schr¨ odinger equa- tion, Adv. Oper. Theory 9, 1 (2024)

    work page 2024

  23. [23]

    Saanouni & R

    T. Saanouni & R. Ghanmi,A note on the inhomogeneous fourth-order Schr¨ odinger equation, J.Pseudo. Differ. Oper. Appl. 13, no. 56 (2022)

    work page 2022

  24. [24]

    Saanouni & C

    T. Saanouni & C. Peng,Local Well-Posedness of a Critical Inhomogeneous Bi-harmonic Schr¨ odinger Equation, Mediterr. J. Math. 20, 170 (2023)

    work page 2023

  25. [25]

    Pausader,Global well-posedness for energy critical fourth-order Schr¨ odinger equations in the radial case, Dyn

    B. Pausader,Global well-posedness for energy critical fourth-order Schr¨ odinger equations in the radial case, Dyn. Partial Differ. Equ. 4, no. 3 (2007), 197-225

    work page 2007

  26. [26]

    M. I. Weinstein,Nonlinear Schr¨ odinger equations and sharp interpolation estimates, Comm. Math. Phys. 87 (1983), 567-576. (T. Saanouni)Department of Mathematics, College of Science, Qassim University, Buraydah, Kingdom of Saudi Arabia. Email address:t.saanouni@qu.edu.sa (A. M. Alqaied)Department of Mathematics, College of Science, Qassim University, Bura...

    work page 1983