Strichartz estimates for Schr\"odinger equations with nonlinear boundary interactions
Pith reviewed 2026-05-25 04:06 UTC · model grok-4.3
The pith
A new Duhamel representation formula separates bulk and boundary dynamics to yield sharp Strichartz estimates for the half-space Schrödinger equation with nonlinear Neumann boundary interactions driven by the Bessel operator.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Using a new Duhamel representation formula that separates bulk and boundary dynamics, sharp Strichartz estimates are established for the linear inhomogeneous problem adapted to the half-space geometry and the singular structure of the Bessel operator, revealing a dichotomy between a ≥ 0 where bulk and boundary show unified dispersive behavior and -1 < a < 0 where anomalous dispersion occurs, and these estimates are applied to prove well-posedness for the nonlinear problem in the L_a^2-mass critical and subcritical regimes with global well-posedness for small critical data when a ≥ 0 and finite-time existence when -1 < a < 0.
What carries the argument
The new Duhamel representation formula that separates bulk and boundary dynamics and identifies the precise role of the boundary propagator driven by the Bessel operator Ba.
If this is right
- For a ≥ 0, global well-posedness holds for sufficiently small critical data.
- Local and global well-posedness results are obtained in the subcritical case for a ≥ 0.
- For -1 < a < 0, existence and uniqueness hold on arbitrary finite time intervals for sufficiently small critical data.
- Local well-posedness is established in the subcritical regime for -1 < a < 0.
Where Pith is reading between the lines
- The separation of bulk and boundary could be adapted to study other dispersive equations with interface singularities.
- Weighted estimates in the anomalous regime may inform analysis of related nonlocal problems with memory effects.
- Similar techniques might yield Strichartz bounds for wave equations with analogous boundary interactions.
- Numerical verification of the boundary propagator's effect could test the predicted dichotomy in dispersion.
Load-bearing premise
The new Duhamel representation formula accurately captures the interaction between the bulk Schrödinger evolution and the nonhomogeneous Neumann boundary data driven by the Bessel operator Ba.
What would settle it
An explicit counterexample to the Strichartz estimates for the inhomogeneous linear problem with the prescribed nonhomogeneous Neumann data from the Bessel operator, or a computation demonstrating that the dispersive decay rates differ from those predicted in either regime of a.
read the original abstract
We study a Schr\"odinger equation in the upper half-space with a nonlinear Neumann boundary interaction driven by the Bessel operator $\Ba$, $a>-1$. The problem arises naturally as an extension formulation for a nonlocal NLS with memory and can also be interpreted as a Schr\"odinger evolution with a nonlinear singular source concentrated on a codimension-one interface. We first develop a complete linear theory for the associated inhomogeneous problem with nonhomogeneous Neumann data. A central ingredient is a new Duhamel representation formula that separates bulk and boundary dynamics and identifies the precise role of the boundary propagator. Using this formula, we establish sharp Strichartz estimates adapted to the geometry of the half-space and the singular structure induced by the Bessel operator. The analysis reveals a basic dichotomy between the regimes $a\ge 0$ and $-1<a<0$: in the former, bulk and boundary exhibit a unified dispersive behavior, whereas in the latter the dispersive structure becomes anomalous, requiring weighted estimates and distinct functional frameworks for the bulk and boundary contributions. As an application of the linear theory, we prove well-posedness results for the nonlinear problem in the $L_a^2$-mass critical and subcritical regimes. For $a\ge 0$, we obtain global well-posedness for sufficiently small critical data, together with local and global results in the subcritical case. In the anomalous range $-1<a<0$, we establish existence and uniqueness on arbitrary finite time intervals for sufficiently small critical data, as well as local well-posedness in the subcritical regime. The results provide a unified dispersive framework for Schr\"odinger equations with nonlinear boundary interactions and singular extension structures associated with nonlocal-in-time dynamics.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops linear theory for the inhomogeneous Schrödinger equation in the upper half-space with nonhomogeneous Neumann data driven by the Bessel operator Ba (a > -1), centered on a new Duhamel representation formula that separates bulk and boundary dynamics. It derives sharp Strichartz estimates adapted to the half-space geometry and the singular structure of Ba, revealing a dichotomy: unified dispersive decay for a ≥ 0 versus anomalous behavior requiring weighted estimates for -1 < a < 0. These are applied to prove well-posedness for the nonlinear problem, including global existence for small critical data when a ≥ 0 and finite-time existence when -1 < a < 0, plus local/global results in subcritical regimes.
Significance. If the Duhamel formula and resulting estimates hold without hidden losses, the work supplies a unified dispersive framework for Schrödinger equations with nonlinear boundary interactions and singular extension structures tied to nonlocal-in-time dynamics. It would strengthen the toolkit for interface problems and memory-type NLS, with the regime dichotomy offering concrete guidance on when standard versus weighted spaces are needed.
major comments (2)
- [Linear theory / Duhamel formula (abstract and early sections)] The central linear theory (abstract and §2–3) rests entirely on the asserted new Duhamel representation formula separating bulk Schrödinger evolution from boundary dynamics induced by Ba. Without an explicit derivation showing that the boundary propagator term exactly encodes the nonhomogeneous Neumann data (no mismatch or hidden loss), the subsequent sharp Strichartz estimates and the a ≥ 0 vs. -1 < a < 0 dichotomy cannot be verified; any discrepancy would propagate directly into the weighted estimates required for -1 < a < 0.
- [Strichartz estimates section] § on Strichartz estimates: the claim of 'sharp' estimates without additional losses for the anomalous regime (-1 < a < 0) is load-bearing for the well-posedness dichotomy. The manuscript must exhibit the precise operator bounds or kernel estimates confirming that the weighted spaces compensate exactly for the anomalous dispersion; otherwise the finite-time existence result for small critical data rests on an unverified assumption.
minor comments (2)
- [Introduction] Notation for the Bessel operator Ba and the weighted spaces L_a^2 should be introduced with a self-contained definition or reference in the introduction to aid readability.
- [Introduction] The abstract states existence of proofs for linear theory and well-posedness; the main text should include a brief roadmap indicating where the Duhamel formula is derived and where the estimates are proved.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive feedback. We address each major comment below, providing references to the existing derivations while agreeing to expand the exposition for greater explicitness.
read point-by-point responses
-
Referee: [Linear theory / Duhamel formula (abstract and early sections)] The central linear theory (abstract and §2–3) rests entirely on the asserted new Duhamel representation formula separating bulk Schrödinger evolution from boundary dynamics induced by Ba. Without an explicit derivation showing that the boundary propagator term exactly encodes the nonhomogeneous Neumann data (no mismatch or hidden loss), the subsequent sharp Strichartz estimates and the a ≥ 0 vs. -1 < a < 0 dichotomy cannot be verified; any discrepancy would propagate directly into the weighted estimates required for -1 < a < 0.
Authors: The Duhamel representation is derived explicitly in Section 2 via the spectral decomposition associated to the Bessel operator Ba. We construct the boundary propagator as the solution to the homogeneous problem with the prescribed Neumann data and verify by direct computation in the Fourier-Bessel domain that the resulting formula satisfies the inhomogeneous boundary condition without mismatch or hidden loss. The separation into bulk and boundary terms follows from the standard variation-of-constants argument adapted to the half-space geometry. To make this verification more prominent, we will insert an additional lemma isolating the boundary-condition check in the revised manuscript. revision: yes
-
Referee: [Strichartz estimates section] § on Strichartz estimates: the claim of 'sharp' estimates without additional losses for the anomalous regime (-1 < a < 0) is load-bearing for the well-posedness dichotomy. The manuscript must exhibit the precise operator bounds or kernel estimates confirming that the weighted spaces compensate exactly for the anomalous dispersion; otherwise the finite-time existence result for small critical data rests on an unverified assumption.
Authors: Section 3 derives the sharp Strichartz estimates directly from the kernel representation furnished by the Duhamel formula. For the anomalous regime -1 < a < 0 the kernel asymptotics are obtained from the known decay properties of the Bessel functions; the weighted spaces are then shown to restore the optimal decay rate, yielding operator bounds independent of frequency. These bounds appear in Proposition 3.4 and the ensuing corollaries. We will add an appendix containing the full oscillatory-integral estimates and the explicit computation of the operator norms to render the compensation argument fully transparent. revision: yes
Circularity Check
No circularity: new Duhamel formula and Strichartz estimates derived from standard background without self-referential reduction
full rationale
The paper introduces a new Duhamel representation formula as a central ingredient for the linear theory, asserted to separate bulk and boundary dynamics independently of the target Strichartz estimates or nonlinear well-posedness results. No quoted step reduces a prediction or uniqueness claim to a fitted parameter, self-citation chain, or definitional tautology; the dichotomy between a ≥ 0 and -1 < a < 0 regimes follows from the formula's explicit construction rather than being presupposed. Standard functional-analytic tools for half-space problems and Bessel operators provide external grounding, and the well-posedness applications are downstream consequences rather than inputs. This is the normal case of a self-contained derivation.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The Bessel operator Ba for a > -1 possesses the spectral and mapping properties needed to define a boundary propagator compatible with the Neumann data.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/ArithmeticFromLogic.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
A central ingredient is a new Duhamel representation formula that separates bulk and boundary dynamics... U(X,t)=T*_a(u0)+D_a(F)+Θ*_a(Φ)
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
admissible triple (q,r,m) satisfies 2/q + d/r + a+1/m = d+a+1/2 when a≥0
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]
A. S. Ackleh & K. Deng,On the critical exponent for the Schr¨ odinger equation with a nonlinear boundary condition. Differential Integral Equations 17 (2004), no. 11-12, 1293-1307. 4
work page 2004
-
[2]
R. Adami and A. Teta,A class of nonlinear Schr¨ odinger equations with concentrated nonlinearity. J. Funct. Anal., 180 (2001), 148-175. 3
work page 2001
-
[3]
S. Albeverio, Z. Brze´ zniak & L. Dabrowski,Time-dependent propagator with point interaction. J. Phys. A 27 (1994), no. 14, 4933-4943. 3
work page 1994
-
[4]
S. Albeverio, Z. Brze´ zniak & L. Dabrowski,Fundamental solution of the heat and Schr¨ odinger equations with point interaction. J. Funct. Anal. 130 (1995), no. 1, 220-254. 3
work page 1995
-
[5]
S. Albeverio, F. Gesztesy, R. Høegh-Krohn & H. Holden,Solvable models in quantum mechanics. Second edition. With an appendix by Pavel Exner. AMS Chelsea Publishing, Providence, RI, 2005. xiv+488 pp. 3
work page 2005
-
[6]
R. Anton,Global existence for defocusing cubic NLS and Gross-Pitaevskii equations in three dimensional exterior domains. J. Math. Pures Appl. (9) 89 (2008), no. 4, 335-354. 4
work page 2008
-
[7]
C. Audiard,Global Strichartz estimates for the Schr¨ odinger equation with non zero boundary conditions and appli- cations. Ann. Inst. Fourier (Grenoble) 69 (2019), no. 1, 31-80. 3
work page 2019
-
[8]
A. Banerjee, D. Danielli, N. Garofalo & A. Petrosyan,The structure of the singular set in the thin obstacle problem for degenerate parabolic equations. Calc. Var. Partial Differential Equations 60 (2021), no. 3, Paper No. 91, 52 pp. 13
work page 2021
-
[9]
V. Banica & N. Visciglia,Scattering for NLS with a delta potential. J. Differential Equations 260 (2016), no. 5, 4410-4439. 3
work page 2016
-
[10]
J. L. Bona, S-M. Sun & B.-Y. Zhang,Nonhomogeneous boundary-value problems for one-dimensional nonlinear Schr¨ odinger equations. J. Math. Pures Appl. (9) 109 (2018), 1-66. 3
work page 2018
-
[11]
N. Burq, P. G´ erard & N. Tzvetkov,On nonlinear Schr¨ odinger equations in exterior domains. Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire 21 (2004), no. 3, 295-318. 4
work page 2004
-
[12]
F. Buseghin & N. Garofalo,Strichartz estimates for a class of Schr¨ odinger equations with a drift. Amer. J. of Math., to appear. 13
-
[13]
C. Cacciapuoti, D. Finco & D. Noja,Well posedness of the nonlinear Schr¨ odinger equation with isolated singularities. J. Differential Equations 305 (2021), 288-318. 3
work page 2021
-
[14]
C. Cacciapuoti, D. Finco & D. Noja,Failure of scattering for the NLSE with a point interaction in dimension two and three. Nonlinearity 36 (2023), no. 10, 5298-5310. 3
work page 2023
-
[15]
L. Caffarelli & L. Silvestre,An extension problem related to the fractional Laplacian. Comm. Partial Differential Equations 32 (2007), no. 7-9, 1245-1260. 4
work page 2007
-
[16]
Cazenave,Semilinear Schr¨ odinger equations
T. Cazenave,Semilinear Schr¨ odinger equations. Courant Lect. Notes Math., 10 New York University, Courant Institute of Mathematical Sciences, New York; American Mathematical Society, Providence, RI, 2003, xiv+323 pp. 11 46
work page 2003
-
[17]
J. E. Colliander & C. E. Kenig,The generalized Korteweg-de Vries equation on the half line. Comm. Partial Differ- ential Equations 27 (2002), no. 11-12, 2187-2266. 3
work page 2002
- [18]
- [19]
-
[20]
M. B. Erdo˘ gan & N. Tzirakis,Regularity properties of the cubic nonlinear Schr¨ odinger equation on the half line. J. Funct. Anal. 271 (2016), no. 9, 2539-2568. 3
work page 2016
-
[21]
D. J. Frantzeskakis, G. Theocharis, F. K. Diakonos, Peter Schmelcher, Y. S. Kivshar,Interaction of dark solitons with localized impurities in Bose-Einstein condensates. Physical Review A, 66(5) 053608 (2002), p.1-9 3
work page 2002
-
[22]
R. Fukuizumi, M. Ohta & T. Ozawa,Nonlinear Schr¨ odinger equation with a point defect. Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire 25 (2008), no. 5, 837-845. 3
work page 2008
-
[23]
N. Garofalo & G. Staffilani,Strichartz estimates for a Schr¨ odinger equation on the half-line with a Neumann boundary condition. ArXiv:2507.19998 3, 9, 10, 11, 13, 19, 43, 44, 45
- [24]
-
[25]
J. Ginibre & G. Velo,On a class of nonlinear Schr¨ odinger equations. I. The Cauchy problem, general case. J. Functional Analysis 32 (1979), no. 1, 1-32. 11
work page 1979
-
[26]
J. Ginibre & G. Velo,The global Cauchy problem for the nonlinear Schr¨ odinger equation revisited. Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire 2 (1985), no. 4, 309-327. 11
work page 1985
-
[27]
I. S. Gradshteyn & I. M. Ryzhik,Tables of integrals, series, and products, Academic Press, 1980. 28
work page 1980
-
[28]
S. Gustafson & T. Inui,Blow-up or grow-up for the threshold solutions to the nonlinear Schr¨ odinger equation. Dyn. Partial Differ. Equ. 20 (2023), no. 3, 213-225. 3
work page 2023
-
[29]
S. Gustafson & T. Inui,Threshold even solutions to the nonlinear Schr¨ odinger equation with delta potential at high frequencies. Discrete Contin. Dyn. Syst. 44 (2024), no. 10, 3135-3176. 3
work page 2024
-
[30]
S. Gustafson, T. Inui & I. Shimizu,Multi-solitons for the nonlinear Schr¨ odinger equation with repulsive Dirac delta potential. NoDEA Nonlinear Differential Equations Appl. 32 (2025), no. 3, Paper No. 53, 40 pp. 3
work page 2025
-
[31]
N. Hayashi & E. I. Kaikina,Inhomogeneous Dirichlet-boundary value problem for nonlinear Schr¨ odinger equations with a power nonlinearity on the upper half-plane. Nonlinear Anal. 187 (2019), 279-306. 3, 4
work page 2019
-
[32]
N. Hayashi, E. I. Kaikina & T. Ogawa,Small solutions to the nonlinear Schr¨ odinger equation with a nonlinear Neumann boundary condition. J. Math. Anal. Appl. 550 (2025), no. 2, Paper No. 129648, 22 pp. 4
work page 2025
-
[33]
N. Hayashi, T. Ogawa & T. Sato,The initial-boundary value problem for the nonlinear Schr¨ odinger equation with the nonlinear Neumann boundary condition on the half-line. J. Differential Equations 422 (2025), 355-385. 4
work page 2025
-
[34]
A. Himonas & D. Mantzavinos,The nonlinear Schr¨ odinger equation on the half-line with a Robin boundary condition. Anal. Math. Phys. 11 (2021), no. 4, Paper No. 157, 25 pp. 3
work page 2021
-
[35]
A. Himonas & D. Mantzavinos,The Robin and Neumann problems for the nonlinear Schr¨ odinger equation on the half-plane. Proc. A 478 (2022), no. 2265, Paper No. 279, 20 pp. 3
work page 2022
-
[36]
J. Holmer,The initial-boundary-value problem for the1D nonlinear Schr¨ odinger equation on the half-line. Differential Integral Equations 18 (2005), no. 6, 647-668. 3
work page 2005
- [37]
-
[38]
J. Holmer & M. Zworski,Breathing patterns in nonlinear relaxation. Nonlinearity 22 (2009), no. 6, 1259-1301. 3
work page 2009
-
[39]
Ivanovici,On the Schr¨ odinger equation outside strictly convex obstacles
O. Ivanovici,On the Schr¨ odinger equation outside strictly convex obstacles. Anal. PDE 3 (2010), no. 3, 261-293. 4
work page 2010
-
[40]
N. N. Lebedev,Special functions and their applications, Revised edition, translated from the Russian and edited by R. A. Silverman. Unabridged and corrected republication. Dover Publications, Inc., New York, 1972. xii+308 pp. 19
work page 1972
- [41]
-
[42]
M. Kemppainen, P. Sj¨ ogren & J. L. Torrea,Wave extension problem for the fractional Laplacian. Discrete Contin. Dyn. Syst. 35 (2015), no. 10, 4905-4929. 4
work page 2015
- [43]
- [44]
-
[45]
H. Kovaˇ r´ ık & A. Sacchetti,A nonlinear Schr¨ odinger equation with two symmetric point interactions in one dimen- sion. J. Phys. A 43 (2010), no. 15, 155205, 16 pp. 3
work page 2010
-
[46]
M. Mir´ on & E. Sadurn´ ı,Stationary scattering for the nonlinear Schr¨ odinger equation with point-like obstacles: exact solutions. Nonlinear Dyn. 113, 5627-5641 (2025) 3
work page 2025
-
[47]
S. J. Montgomery-Smith,Time decay for the bounded mean oscillation of solutions of the Schr¨ odinger and wave equations. Duke Math. J. 91 (1998), no. 2, 393-408. 6 47
work page 1998
- [48]
- [49]
-
[50]
Pazy,Semigroups of linear operators and applications to partial differential equations
A. Pazy,Semigroups of linear operators and applications to partial differential equations. Appl. Math. Sci., 44 Springer-Verlag, New York, 1983, viii+279 pp. 14
work page 1983
-
[51]
L. Pitaevskii & S. Stringari,Bose-Einstein condensation. Internat. Ser. Monogr. Phys., 116 The Clarendon Press, Oxford University Press, Oxford, 2003, x+382 pp. 3
work page 2003
- [52]
-
[53]
E. M. Stein,Singular integrals and differentiability properties of functions. Princeton Math. Ser., No. 30 Princeton University Press, Princeton, NJ, 1970, xiv+290 pp. 24
work page 1970
-
[54]
W. Strauss & C. Bu,An inhomogeneous boundary value problem for nonlinear Schr¨ odinger equations. J. Differential Equations 173 (2001), no. 1, 79-91. 3
work page 2001
-
[55]
C. Sulem & P.-L. Sulem,The nonlinear Schr¨ odinger equation. Appl. Math. Sci., 139 Springer-Verlag, New York, 1999, xvi+350 pp. 11
work page 1999
-
[56]
Tao,Nonlinear dispersive equations
T. Tao,Nonlinear dispersive equations. CBMS Reg. Conf. Ser. Math., 106 Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 2006, xvi+373 pp. 6
work page 2006
-
[57]
M. Tsutsumi,On global solutions to the initial-boundary value problem for the nonlinear Schr¨ odinger equations in exterior domains. Comm. Partial Differential Equations 16 (1991), no. 6-7, 885-907. 4
work page 1991
-
[58]
Tsutsumi,Global solutions of the nonlinear Schr¨ odinger equation in exterior domains
Y. Tsutsumi,Global solutions of the nonlinear Schr¨ odinger equation in exterior domains. Comm. Partial Differential Equations 8 (1983), no. 12, 1337-1374. 4 School of Mathematical and Statistical Sciences, Arizona State University Email address, Nicola Garofalo:nicola.garofalo@asu.edu Department of Mathematics, Massachusetts Institute of Technology, Camb...
work page 1983
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.