Pith. sign in

REVIEW 3 major objections 4 minor 62 references

The nonlinear Schr\"odinger equation on the half-space

T0 review · 3 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves local well-posedness of the cubic NLS on the half-space $\mathbb{R}^n_+$ in dimensions $n\ge 2$ for Sobolev data above $s=n/2-1$, the same threshold as the whole-space problem, using the unified transform and sharper…

desk verdict Solid extension of the Fokas-method well-posedness program to half-space NLS, but the main theorem leans on an omitted boundary-extension lemma and a sloppy beta_n definition. read the letter →

arxiv 2411.16610 v1 pith:N3IGWDVN submitted 2024-11-25 math.AP

A. Alexandrou Himonas , Fangchi Yan This is my paper · ORCID
classification math.AP MSC 35Q5535G3135G1637K10
keywords cubicnonlinearSchrödingerequationhalf-spaceinitial-boundaryvalueproblemunifiedtransformmethodwell-posednessinSobolevspacesBourgaintrilinearestimatesboundarycompatibilityconditionstemporal
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper claims that the cubic nonlinear Schrödinger equation on the half-space $\mathbb{R}^n_+$ is locally well-posed for initial data in $H^s$ and boundary data in a natural boundary Bourgain space $\mathcal{B}^s_T$ whenever $s>n/2-1$, for every dimension $n\ge 2$, provided the data are small and satisfy compatibility conditions. This is the same Sobolev threshold as the whole-space Cauchy problem, so the claim is that the boundary costs no loss of regularity. The proof constructs the solution by a fixed point around the unified transform solution formula, splitting the forced linear problem into an initial-value part, a forcing part, and a pure boundary part, and uses new trilinear estimates in Bourgain spaces with $b<1/2$. In dimension $n=2$ and regularity $0

What carries the argument

The machinery is the unified transform solution formula (1.16) for the forced linear ibvp, expressed as a full-space Fourier integral minus a contour integral over $\partial D^+$ plus a boundary-data term; the decomposition (3.14) that separates the solution into a homogeneous initial-value problem, an inhomogeneous initial-value problem, and a pure boundary problem; the reduced pure ibvp estimate (Theorem 2.1); and the extension lemma (Lemma 3.1) that moves boundary data from $(0,T)$ into compactly supported data on $(0,2)$. The temporal Bourgain spaces $Y^{s,b}$ defined in (1.10) are the new ingredient forced by the boundary, and the trilinear estimates of Theorem 1.4 are what allow the iteration map to contract despite $b<1/2$.

What would settle it

Take an admitted exponent $s$ with $\lfloor(2s-1)/4\rfloor\ge 0$ and set $G_0(x',t)=t^{m}\varphi(x')\psi_T(t)$ with $m=\lfloor(2s-1)/4\rfloor+1$, $\varphi\in H^s(\mathbb{R}^{n-1})$ nonzero, and $\psi_T$ supported in $(0,T)$. Compute the ratio of the optimal compactly supported extension norm $\|h\|_{\mathcal{B}^s}$ to $\|G_0\|_{\mathcal{B}^s_T}$; if this ratio is unbounded as $T\to 0$, Lemma 3.1 fails and the proof of the linear estimates (and hence Theorem 1.1) loses its core step. The paper's own optimality construction already shows the trilinear estimate fails at $s=n/2-1$, which rules out lowering the threshold by this method.

Watch

Extended reading notes

Core claim

The central discovery is that the initial-boundary value problem (1.1) with Dirichlet boundary data is locally well-posed in the same Sobolev range as the whole-space problem: for $s>s_n=n/2-1$ and $(2s-1)/4\notin \mathbb{N}_0$, small data $(u_0,g_0)$ satisfying the compatibility conditions (3.21) yield a unique solution $u\in X^{s,b}\cap Y^{s,b}$ for some $b\in(0,1/2)$, with a locally Lipschitz data-to-solution map. The quantitative heart is the pair of linear estimates (1.21)--(1.22) and the trilinear estimates (1.23)--(1.24), whose admissible Bourgain exponents occupy $1/2-\beta_n\le b'\le b<1/2$, with $\beta_n$ given by (1.25). Theorem 1.5 shows the trilinear estimate is optimal, failing at $s\le n/2-1$, so the threshold is not an artifact of the method. For $n=2$ and $0<s<1/2$, the small-data assumption is eliminated and the lifespan satisfies (1.14).

Load-bearing premise

The whole proof leans on Lemma 3.1, which asserts that boundary data in $\mathcal{B}^s_T$ with vanishing time derivatives up to order $\lfloor(2s-1)/4\rfloor$ at $t=0$ can be extended to a compactly supported function with controlled $\mathcal{B}^s$ norm; the paper states this lemma without proof.

Editorial extensions

If this is right

  • If Theorem 1.1 is correct, cubic NLS on the half-space is locally well-posed at the same Sobolev exponent as the whole-space problem in every dimension $n\ge 2$, so the boundary does not force a loss of regularity for small data.
  • In two dimensions with $0<s<1/2$, the result applies to data of any size and gives an explicit lifespan $T_0=c_0[1+\|u_0\|_{H^s}+\|g_0\|_{\mathcal{B}^s_T}]^{-32/s}$.
  • The data-to-solution map is locally Lipschitz continuous, so nearby initial and boundary data produce nearby solutions in the Bourgain norms.
  • The compatibility conditions (3.21) are part of the well-posedness statement: boundary data must match the solution's time derivatives at the corner, determined recursively from the equation.
  • Since the trilinear estimate is optimal, no well-posedness below $s=n/2-1$ can be obtained by this contraction method in these Bourgain spaces.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same inductive structure should yield analogous thresholds for the other cubic nonlinearities $\pm u^3$ and $\pm |u|^2\bar u$ on the half-space, with different low-regularity limits, just as on the half-line.
  • If Lemma 3.1 is proved as stated, the method likely transfers to other dispersive equations with explicit unified-transform formulae, where the boundary will again force temporal Bourgain spaces and $b<1/2$ estimates.
  • The small-data restriction in Theorem 1.1 for $n\ge 3$ may be an artifact of controlling the full $X^{s,b}\cap Y^{s,b}$ norm at once; a lifespan-shortening argument like the one used for $n=2$ might extend the large-data result to higher dimensions.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper studies the initial-boundary value problem for the linear and cubic nonlinear Schrödinger equations on the half-space R^n_+, n ≥ 2. The linear problem is solved via the Fokas unified transform, and the solution formula is used to derive linear estimates in spatial and temporal Bourgain-type spaces, introducing a boundary data space B^s. The main result, Theorem 1.1, claims local well-posedness for small data at the same Sobolev threshold s > n/2 - 1 as the whole-space Cauchy problem, with a locally Lipschitz data-to-solution map, under compatibility conditions. A second result, Theorem 1.2, claims arbitrary-size data well-posedness in dimension n = 2 for 0 < s < 1/2. The proof strategy is a contraction argument on the Fokas-based iteration map, supported by trilinear estimates in X^{s,b} and Y^{s,b} spaces and by an optimality argument for the trilinear exponents.

Significance. If correct, the main theorem is a significant advance: it matches the known whole-space Sobolev threshold in all dimensions n ≥ 2 for a half-space IBVP, and the boundary data space B^s is a natural object emerging from the Fokas formula. The paper contains substantial original technical work: the detailed microlocal proof of the linear estimates for the reduced pure IBVP, the trilinear estimates in spatial and temporal Bourgain spaces, and the optimality construction in Section 8. The derivation of the homogeneous estimates leading to (2.13) is a genuine strength, as is the explicit change-of-variables structure that motivates the B^s norm. However, the main theorem rests on an unproved extension lemma and on a fixed-point argument whose compatibility requirements are not fully addressed, so the significance is contingent on those gaps being closed.

major comments (3)
  1. [Section 3, Lemma 3.1 and Proposition 3.3] Lemma 3.1 is load-bearing but is not proved: the paper states 'we omit the proof of Lemma 3.1 here' immediately after (3.18). Proposition 3.3, which supplies the pure-IBVP estimates (3.15)-(3.16), is proved in three sentences by extending G0 via Lemma 3.1 and then applying Theorem 2.1. These pure-IBVP estimates are the only input for the boundary term in the decomposition (3.14), and hence they feed directly into the fixed-point estimates (9.4)-(9.6) for Theorem 1.1. The displayed equivalence before the omission is only a sketch and does not by itself establish the claimed anisotropic extension with compact support in (0,2) and controlled B^s norm. The cited Sobolev extension theorem in [50] is not directly applicable to the anisotropic, ξ'-dependent weight in (1.4). This gap must be closed by a full proof or by a precise reference that covers the B^s spaces used here.
  2. [Section 9, proof of Theorem 1.1, equations (9.1)-(9.6)] The contraction map Φ(u)=S[u0,g0; ∓|u|^2u] is defined on the ball B(r) in X^{s,b}∩Y^{s,b}, but the linear estimates of Theorem 1.3 are stated only under compatibility condition (3.21), and the proof of Proposition 3.3 requires the trace conditions (3.17) on the reduced boundary data G0. For an arbitrary iterate u in B(r), the forcing ∓|u|^2u need not satisfy the compatibility conditions needed to make G0 trace-free at t=0; moreover, functions in X^{s,b} with b<1/2 do not in general have the temporal traces needed to impose those conditions. The manuscript does not define a subspace of functions satisfying the compatibility conditions, nor does it prove that Φ maps such a subspace to itself. Without this, the application of (1.21)-(1.22) in (9.4) is not justified, and the contraction argument as written is incomplete.
  3. [Section 9, proof of Theorem 1.2, after (9.15); compare with (1.25) and (1.14)] The proof of Theorem 1.2 sets β2=s/8 and uses Lemma 9.1 with b-b'=s/16, which leads to the lifespan bound T0 ∼ [1+‖u0‖+‖g0‖]^{-32/s} in (1.14). However, the definition of β_n in (1.25) gives β2=1/16 for every n=2 and 0<s<1/2, because the second term in the minimum is always larger than 1/16. With β2=1/16, the same argument gives b-b'=1/32 and hence the different lifespan exponent -64. The two choices are inconsistent, and consequently Theorem 1.2 as stated is not actually proved by the argument in Section 9.
minor comments (4)
  1. [Section 6, equation (6.12)] The definition of the region A2 appears to be misprinted: it reads |ζ| ≤ |ξ-ζ-η| < |ξ-ζ-η|, which is not meaningful; in view of the definition of A1 in (6.11), it should presumably read |ζ| ≤ |ξ-ζ-η| < |η|.
  2. [Section 9, equations (9.9)-(9.11)] The identity used for |u|^2u - |v|^2v is written with missing conjugate symbols and is hard to parse; please write the standard decomposition (u-v)|u|^2 + v (ar{u}-ar{v})(u+v) or the equivalent form, and specify exactly how the extensions ilde{u} and ilde{v} in (9.10) are chosen from u and v.
  3. [Section 3, after (3.18)] The sentence 'The extension in B^s space is similar to the extension in Sobolev spaces Hs' is not a substitute for a proof, especially for the negative range -3/2 < s < 0 where the displayed equivalence is not given; please at least state the precise extension theorem being used and explain how its trace count matches floor((2s-1)/4).
  4. [Section 2, proof of Theorem 2.1, around (2.21)] The chain '≲ ‖h‖²_{Ḃs} ≲ ‖h‖²_{B^s}' contains a redundant repetition; the intended intermediate step is the extension of the τ-integration, which should be stated explicitly.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the boundary space B^s is derived from the Fokas solution formula rather than imposed, and the well-posedness theorem rests on independently proved linear and trilinear estimates.

full rationale

I walked the derivation chain from the Fokas formula (1.16) through the reduced pure IBVP estimates (Theorem 2.1) to the fixed-point argument (Section 9) and found no step that reduces to its own inputs. The boundary Bourgain space B^s is defined in (1.4), but its appearance is justified in the proof of Theorem 2.1: the estimate (2.13) arises from the change of variables τ = -ξ'^2 - ξ_n^2 with Jacobian 2ξ_n, so B^s is uncovered from the solution formula rather than chosen to force the conclusion. The linear estimates (1.20)-(1.22) are assembled from standard homogeneous and inhomogeneous IVP estimates (Propositions 3.1, 3.2) plus the pure IBVP estimates, and the trilinear estimates (Theorems 1.4, Lemmas 6.1 and 7.1) are proved within the paper using Tao-style multiplier arguments and L4 Strichartz estimates cited to independent works. The fixed-point contraction in Theorem 1.1 uses only these estimates and standard small-data/large-data choices; no parameter is fitted to the data being predicted. The only passage that demands scrutiny is Lemma 3.1, whose proof is explicitly omitted ('we omit the proof of Lemma 3.1 here'). I flag this as a completeness gap: Proposition 3.3 and hence the linear estimates depend on it. However, this is not circularity, because Lemma 3.1 is an extension statement modeled on an external result (Theorem 11.4 of Lions-Magenes [50]) and does not assume the target linear or trilinear estimates. Self-citations such as [23], [33], and [37] are contextual references to prior half-line and half-plane results or accompany standard lemmas that also carry independent citations (e.g., [31] for the Laplace transform bound and [59] for multiplier lemmas); they are not load-bearing in the sense of supplying a contested premise. Thus the central derivation is self-contained and no prediction is equivalent to an input by construction.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

No empirical or fitted parameters appear; the Sobolev exponent s, Bourgain indices b and b', and the constants c_i are variables and estimates constants rather than data-fitted values. The new function spaces B^s and Y^{s,b} are definitions, not postulated physical entities. The main extra assumptions are the standard tools of harmonic analysis and the compatibility conditions at the corner, the latter being a genuine restriction on admissible boundary data for s > 1/2.

assumptions (3)
  • standard math Standard Fourier analysis and Bourgain space framework, including Plancherel, the L2 boundedness of the Laplace transform (Lemma 2.2), the calculus inequality (6.27), Strichartz-type L4 estimates (Lemma 6.4), and multiplier lemmas from Tao.
    Invoked throughout the paper as established external results, not introduced or proved by the authors.
  • domain assumption The boundary data satisfy the corner compatibility conditions (3.19)-(3.21) for s > 1/2, and the boundary data space B^s_T is defined as a restriction space.
    These conditions are required for the B^s extension lemma (Lemma 3.1) and therefore for the linear estimates in the higher-regularity regime. They restrict the class of admissible boundary data.
  • ad hoc to paper Lemma 3.1: boundary data satisfying the trace conditions extend to compactly supported B^s functions with controlled norm.
    The lemma is load-bearing for Proposition 3.3 and Theorem 1.3, but its proof is explicitly omitted in the paper ('we omit the proof of Lemma 3.1 here').

how reviews work

0 comments
Cite this review

Pith. "Pith review of The nonlinear Schr\"odinger equation on the half-space." pith.science (2026). https://pith.science/paper/N3IGWDVN

@misc{pith2026241116610,
  author       = {Pith},
  title        = {Pith review of: The nonlinear Schr\"odinger equation on the half-space},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/N3IGWDVN}},
  note         = {Machine review of arXiv:2411.16610}
}
abstract

This work studies the initial-boundary value problem for both the linear Schr\"odinger equation and the cubic nonlinear Schr\"odinger equation on the half-space in higher dimensions ($n\ge 2$). First, the forced linear problem is solved on the half-space via the Fokas method and then using the obtained solution formula new and interesting linear estimates are derived with data and forcing in appropriate spaces. Second, the well-posedness of the nonlinear problem on the half-space is proved with initial data in Sobolev spaces $H^s(\mathbb{R}^n_+)$, with $s>\frac{n}{2}-1$, and boundary data in natural Bourgain spaces $\mathcal{B}^s$ that reflect the boundary regularity of the linear problem. The proof method consists of showing that the iteration map defined via the Fokas solution formula is a contraction by establishing sharper trilinear estimates. The presence of the boundary introduces solution spaces that involve temporal Bourgain spaces.

Figures

Figures reproduced from arXiv: 2411.16610 by the authors.

Figure 1.1
Figure 1.1. Domain D+ Linear Estimates. Next, we estimate the Fokas solution S [PITH_FULL_IMAGE:figures/full_fig_p004_1_1.png] view at source ↗
Figure 2
Figure 2. [PITH_FULL_IMAGE:figures/full_fig_p007_2.png] view at source ↗
Figure 2
Figure 2. [PITH_FULL_IMAGE:figures/full_fig_p008_2.png] view at source ↗
Figures from the paper (1 more)
Figure 2
Figure 2. Figure 2 [PITH_FULL_IMAGE:figures/full_fig_p010_2.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

62 extracted references · 62 canonical work pages

  1. [50]

    Lions and E

    J. Lions and E. Magenes, Non-homogeneous boundary value problems and applications . Vol. I, Springer-Verlag, New York-Heidelberg, 1972, xvi+357 pp

    work page 1972

  2. [1]

    Audiard, Global Strichartz estimates for the Schr¨ odinger equation with non zero boundary conditions and applica- tions

    C. Audiard, Global Strichartz estimates for the Schr¨ odinger equation with non zero boundary conditions and applica- tions. Ann. Inst. Fourier (Grenoble) 69 (2019), 31-80

    work page 2019

  3. [2]

    Bekiranov, T

    D. Bekiranov, T. Ogawa and G. Ponce, Interaction equations for short and long dispersive waves . J. Funct. Anal. 158 (1998), no. 2, 357–388

    work page 1998

  4. [3]

    Bona, S.M

    J.L. Bona, S.M. Sun and B.-Y. Zhang, A non-homogeneous boundary-value problem for the Korteweg -de Vries equation in a quarter plane . Trans. Amer. Math. Soc. 354 (2002), no. 2, 427–490

    work page 2002

  5. [4]

    Bona, S.M

    J.L. Bona, S.M. Sun and B.-Y. Zhang, A nonhomogeneous boundary-value problem for the Korteweg- de Vries equation posed on a finite domain . Comm. Partial Differential Equations 28 (2003), no. 7-8, 1391–1436

    work page 2003

  6. [5]

    Bona, S.M

    J.L. Bona, S.M. Sun and B.-Y. Zhang, Nonhomogeneous boundary value problems of one-dimensiona l nonlinear Schr¨ odinger equations. J. Math. Pures Appl. 109 (2018), 1–66

    work page 2018

  7. [6]

    Bourgain Fourier transform restriction phenomena for certain latti ce subsets and applications to nonlinear evolution equations

    J. Bourgain Fourier transform restriction phenomena for certain latti ce subsets and applications to nonlinear evolution equations. Geom. Funct. Anal. 3 (1993), no. 2, 107–156

    work page 1993

  8. [7]

    Bourgain, Fourier transform restriction phenomena for certain latti ce subsets and applications to nonlinear evolution equations

    J. Bourgain, Fourier transform restriction phenomena for certain latti ce subsets and applications to nonlinear evolution equations. Part II: The KdV equation . Geom. Funct. Anal. 3 (1993), no. 3, 209–262

    work page 1993

Show all 62 references
  1. [8]

    Bourgain, Refinements of Strichartz’ inequality and applications to 2 D-NLS with critical nonlinearity

    J. Bourgain, Refinements of Strichartz’ inequality and applications to 2 D-NLS with critical nonlinearity . Internat. Math. Res. Notices (1998), no. 5, 253–283

    1998

  2. [9]

    Bourgain, Global solutions of nonlinear Schr¨ odinger equations

    J. Bourgain, Global solutions of nonlinear Schr¨ odinger equations . Amer. Math. Soc. Colloq. Publ., 46 American Mathematical Society, Providence, RI, 1999, viii+182 pp

    1999

  3. [10]

    Cazenave, Semilinear Schr¨ odinger equations

    T. Cazenave, Semilinear Schr¨ odinger equations. New York University, Courant Institute of Mathematical Sc iences, New York; American Mathematical Society, Providence, RI, 2 003, xiv+323 pp

  4. [11]

    Cazenave and F.B

    T. Cazenave and F.B. Weissler, The Cauchy problem for the critical nonlinear Schr¨ odinger equation in Hs. Nonlinear Anal. 14 (1990), no. 10, 807–836

    1990

  5. [12]

    Colliander, J.-M

    J.E. Colliander, J.-M. Delort, C.E. Kenig and G. Staffila ni, Bilinear estimates and applications to 2D NLS . Trans. Amer. Math. Soc. 353 (2001), no. 8, 3307–3325. 38 The Nonlinear Schr¨ odinger equation on the half-space

    2001

  6. [13]

    Colliander and C.E

    J.E. Colliander and C.E. Kenig, The generalized Korteweg-de Vries equation on the half-lin e. Comm. Partial Differ- ential Equations 27 (2002), no. 11-12, 2187–2266

    2002

  7. [14]

    Craig, C

    W. Craig, C. Sulem and P.-L. Sulem, Nonlinear modulation of gravity waves: a rigorous approach . Nonlinearity 5 (1992), 497-522

    1992

  8. [15]

    Deconinck, T

    B. Deconinck, T. Trogdon and V. Vasan, The method of Fokas for solving linear partial differential eq uations. SIAM Rev. 56 (2014), no. 1, 159–186

    2014

  9. [16]

    Erdoˇ gan and N

    M.B. Erdoˇ gan and N. Tzirakis, Regularity properties of the cubic nonlinear Schr¨ odinger equation on the half line . J. Funct. Anal. 271 (2016), 2539–2568

    2016

  10. [17]

    Faminskii, An initial boundary-value problem in a half-strip for the Ko rteweg-de Vries equation in fractional-order Sobolev spaces

    A.V. Faminskii, An initial boundary-value problem in a half-strip for the Ko rteweg-de Vries equation in fractional-order Sobolev spaces. (English summary) Comm. Partial Differential Equations 29 (2004), no. 11-12, 1653–1695

    2004

  11. [18]

    Faminskii, Global well-posedness of two initial-boundary-value prob lems for the Korteweg-de Vries equation

    A.V. Faminskii, Global well-posedness of two initial-boundary-value prob lems for the Korteweg-de Vries equation . Differential Integral Equations 20 (2007), no. 6, 601–642

    2007

  12. [19]

    Fokas, A unified transform method for solving linear and certain non linear PDEs

    A.S. Fokas, A unified transform method for solving linear and certain non linear PDEs . Proc. Roy. Soc. London Ser. A 453 (1997), no. 1962, 1411–1443

    1997

  13. [20]

    Fokas, A new transform method for evolution partial differential equ ations

    A.S. Fokas, A new transform method for evolution partial differential equ ations. IMA J. Appl. Math. 67 (2002), no. 6, 559–590

    2002

  14. [21]

    Fokas, A unified approach to boundary value problems

    A.S. Fokas, A unified approach to boundary value problems . CBMS-NSF Regional Conference Series in Applied Math- ematics, 78. Society for Industrial and Applied Mathematic s (SIAM), Philadelphia, PA, 2008. xvi+336 pp

    2008

  15. [22]

    Fokas, A

    A.S. Fokas, A. Himonas and D. Mantzavinos, The Korteweg-de Vries equation on the half-line . Nonlinearity 29 (2016), no. 2, 489–527

    2016

  16. [23]

    Fokas, A

    A.S. Fokas, A. Himonas and D. Mantzavinos, The nonlinear Schr¨ odinger equation on the half-line . Trans. Amer. Math. Soc. 369 (2017), no.1, 681–709

    2017

  17. [24]

    Fokas, A.R

    A.S. Fokas, A.R. Its and L.-Y. Sung, The nonlinear Schr¨ odinger equation on the half-line . Nonlinearity 18 (2005), no.4, 1771–1822

    2005

  18. [25]

    Fokas and J

    A.S. Fokas and J. Lenells, The unified method: I. Nonlinearizable problems on the half- line. J. Phys. A 45 (2012), no. 19, 195201, 38 pp

    2012

  19. [26]

    Fokas and B

    A.S. Fokas and B. Pelloni, Introduction. Unified transform for boundary value problems, 1-9, SIAM, P hiladelphia, PA, 2015

    2015

  20. [27]

    Fokas and E

    A.S. Fokas and E. Spence, Synthesis, as opposed to separation, of variables . SIAM Rev. 54 (2012), no. 2, 291–324

    2012

  21. [28]

    Ginibre and G

    J. Ginibre and G. Velo, On a class of nonlinear Schr¨ odin ger equations. I. The Cauchy problem, general case, J. Functional Analysis 32 (1979), no. 1, 1–32

    1979

  22. [29]

    Ginibre and G

    J. Ginibre and G. Velo, On a class of nonlinear Schr¨ odinger equations. III. Specia l theories in dimensions 1, 2 and 3 . Ann. Inst. H. Poincar´ e Sect. A (N.S.) 28 (1978), no. 3, 287–316

    1978

  23. [30]

    Ginibre and G

    J. Ginibre and G. Velo, The global Cauchy problem for the nonlinear Schr¨ odinger eq uation revisited . (English, with French summary), Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire 2 (1985), no. 4, 309–327

    1985

  24. [31]

    Hardy, The constants of certain inequalities

    G.H. Hardy, The constants of certain inequalities . J. London Math. Soc. 8 (1933), no. 2, 114–119

    1933

  25. [32]

    Himonas and D

    A. Himonas and D. Mantzavinos, The “good” Boussinesq equation on the half-line . J. Differential Equations 258 (2015), no. 9, 3107–3160

    2015

  26. [33]

    Himonas and D

    A. Himonas and D. Mantzavinos, Well-posedness of the nonlinear Schr¨ odinger equation on the half-plane . Nonlinearity 33 (2020), no. 10, 5567–5609

    2020

  27. [34]

    Himonas and D

    A. Himonas and 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

    2021

  28. [35]

    Himonas and F

    A. Himonas and F. Yan, A higher dispersion KdV equation on the half-line . J. Differential Equations 333 (2022), 55–102

    2022

  29. [36]

    Himonas and F

    A. Himonas and F. Yan, The Modified Korteweg-de Vries System on the Half-Line . J. Dynam. Differential Equations (2023). https://doi.org/10.1007/s10884-023-10271-5

    2023 doi

  30. [37]

    Himonas and F

    A. Himonas and F. Yan, The Schr¨ odinger equation with cubic nonlinearities on the half-line in low regularity spaces . J. Math. Anal. Appl. 537 (2024), no. 1, Paper No. 128259

    2024

  31. [38]

    Holmer, The initial-boundary-value problem for the 1D nonlinear Sc hr¨ odinger equation on the half-line

    J. Holmer, The initial-boundary-value problem for the 1D nonlinear Sc hr¨ odinger equation on the half-line. Differential Integral Equations 18 (2005), no. 6, 647–668

    2005

  32. [39]

    Holmer, The initial-boundary-value problem for the Korteweg-de Vr ies equation

    J. Holmer, The initial-boundary-value problem for the Korteweg-de Vr ies equation . Comm. Partial Differential Equa- tions 31 (2006), no. 8, 1151–1190

    2006

  33. [40]

    Kato, On nonlinear Schr¨ odinger equations

    T. Kato, On nonlinear Schr¨ odinger equations. Ann. Inst. H. Poincar´ e Phys. Th´ eor.46 (1987), no. 1, 113–129

    1987

  34. [41]

    Kenig, G

    C.E. Kenig, G. Ponce and L. Vega, On the (generalized) Korteweg-de Vries equation . Duke Math. J. 59 (1989), no. 3, 585–610. A. Himonas & F. Yan 39

    1989

  35. [42]

    Kenig, G

    C.E. Kenig, G. Ponce and L. Vega, Oscillatory integrals and Regularity of Dispersive Equati ons. Indiana Univ. Math. J. 40 (1991), no.1, 33–69

    1991

  36. [43]

    Kenig, G

    C.E. Kenig, G. Ponce and L. Vega, Well-posedness and scattering results for the generalized Korteweg-de Vries equation via the contraction principle . Comm. Pure Appl. Math. 46 (1993), no. 4, 527–620

    1993

  37. [44]

    Kenig, G

    C.E. Kenig, G. Ponce, and L. Vega, Quadratic forms for the 1-D semilinear Schr¨ odinger equation. Trans. Amer. Math. Soc. 348 (1996), no. 8, 3323–3353

    1996

  38. [45]

    Kenig, G

    C.E. Kenig, G. Ponce and L. Vega, A bilinear estimate with applications to the KdV equation . J. Amer. Math. Soc. 9 (1996), no. 2, 573–603

    1996

  39. [46]

    Killip and M

    R. Killip and M. Visan, KdV is well-posed in H −1. Ann. of Math. (2) 190 (2019), no. 1, 249–305

    2019

  40. [47]

    Lenells, The KdV equation on the half-line: the Dirichlet to Neumann m ap

    J. Lenells, The KdV equation on the half-line: the Dirichlet to Neumann m ap. J. Phys. A 46 (2013), no. 34, 345203, 20 pp

    2013

  41. [48]

    Lenells and A.S

    J. Lenells and A.S. Fokas, The unified method: II. NLS on the half-line with t-periodic boundary conditions . J. Phys. A 45 (2012), no. 19, 195202, 36 pp

    2012

  42. [49]

    Linares and G

    F. Linares and G. Ponce, Introduction to nonlinear dispersive equations . Universitext. Springer, New York, 2009. xii+256 pp

    2009

  43. [51]

    Molinet and D

    L. Molinet and D. Pilod Bilinear Strichartz estimates for the Zakharov-Kuznetsov e quation and applications . Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire32 (2015), no. 2, 347–371

    2015

  44. [52]

    Peregrine, Water waves, nonlinear Schr¨ odinger equations and their so lutions

    D. Peregrine, Water waves, nonlinear Schr¨ odinger equations and their so lutions. J. Austral. Math. Soc. Ser. B 25 (1983), 16-43

    1983

  45. [53]

    Pitaevskii and S

    L. Pitaevskii and S. Stringari, Bose-Einstein condensation, Clarendon Press, 2003

    2003

  46. [54]

    Ran, S.M

    Y. Ran, S.M. Sun and B.Y. Zhang Nonhomogeneous boundary value problems of nonlinear Schr¨ odinger equations in a half plane . SIAM J. Math. Anal. 50 (2018), no. 3, 2773–2806

    2018

  47. [55]

    Strichartz, Restrictions of Fourier transforms to quadratic surfaces a nd decay of solutions of wave equations

    R.S. Strichartz, Restrictions of Fourier transforms to quadratic surfaces a nd decay of solutions of wave equations . Duke Math. J. 44 (1977), no. 3, 705–714

    1977

  48. [56]

    Sulem and P.-L

    C. Sulem and P.-L. Sulem, The nonlinear Schr¨ odinger equation: self-focusing and wa ve collapse , Springer, 1999

    1999

  49. [57]

    Talanov, Self-focusing of electromagnetic waves in nonlinear media

    V. Talanov, Self-focusing of electromagnetic waves in nonlinear media . Radiophysics 8 (1964), 254-257

    1964

  50. [58]

    Tao, Multilinear weighted convolution of L2-functions, and applications to nonlinear dispersive equa tions

    T. Tao, Multilinear weighted convolution of L2-functions, and applications to nonlinear dispersive equa tions. Amer. J. Math. 123 (2001), no. 5, 839–908

    2001

  51. [59]

    Tao, Nonlinear Dispersive Equations-Local and Global Analysis

    T. Tao, Nonlinear Dispersive Equations-Local and Global Analysis . CBMS Regional Conference Series in Mathe- matics, 106. Published for the Conference Board of the Mathe matical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 2006. xvi+373 pp

    2006

  52. [60]

    Tsutsumi, L2-solutions for nonlinear Schr¨ odinger equations and nonlinear groups

    Y. Tsutsumi, L2-solutions for nonlinear Schr¨ odinger equations and nonlinear groups. Funkcial. Ekvac. 30 (1987), no. 1, 115–125

    1987

  53. [61]

    Weiland and H

    J. Weiland and H. Wiljelmsson, Coherent nonlinear interaction of waves in plasmas , Pergamon Press, 1977

    1977

  54. [62]

    Zakharov and A

    V. Zakharov and A. Shabat, Exact theory of two-dimensional self-focusing and one-dim ensional self-modulation of waves in nonlinear media . Sov. Phys. JETP 34 (1972), 63-69. A. Alexandrou Himonas Fangchi Yan Department of Mathematics Department of Mathematics University of Not...

    1972

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.