The Schrödinger-Korteweg-de Vries system on the half-line (Q6546907)

The authors consider the coupling between the nonlinear Schrödinger equation and the Korteweg-de Vries equation on the half line,\N\[\N\left\{ \begin{aligned} & i\partial _t u+\partial_x^2 u +|u|^2 u = \kappa_1 uv,\quad t\in (0,T),\ x\in (0,\infty),\\\N& \partial_t v +\partial_x^3 v+\frac{1}{2}\partial_x(v^2)=\kappa_2\partial_x (|u|^2),\\\N& u(x,0)=u_0(x),\quad v(x,0)=v_0(x),\\\N&u(0,t) = g_0(t),\quad v(0,t)=h_0(t), \end{aligned} \right.\N\]\Nwhere \(\kappa_1,\kappa_2\in \mathbb{R}\). The main result, stated in Theorem~1.1, establishes local well-posedness (on some time interval \((0,T_0)\) with \(0<T_0\le T\)) for this initial-boundary value problem, in Bourgain spaces, provided that the initial data and the boundary data satisfy\N\begin{align*}\N& (u_0,v_0)\in H_x^{s_1}(\mathbb{R}^+)\times H_x^{s_2}(\mathbb{R}^+),\\\N&(g_0,h_0)\in H_t^{(2s_1+1)/4}(0,T)\times H_t^{(s_2+1)/3}(0,T),\N\end{align*}\Nunder the assumption\N\[\N0<s_1<\frac{1}{2},\quad \max\left(-\frac{3}{4},s_1-1\right)<s_2\le 2s_1-\frac{1}{2}.\N\]\NThe proof consists of a fixed point argument on an integral formulation of the above system based on the Fokas unified transform method (which may be viewed as some analogue of the Duhamel's formula in this context), in suitable Bourgain spaces associated to the linear Schrödinger equation for \(u\) and the linear KdV equation (also called Airy equation) for \(v\) (with a slight modification of the standard definition of Bourgain spaces in the case of \(v\)). An important part of the paper is dedicated to the proof of trilinear and bilinear estimates in such spaces, in the Schrödinger and KdV Bourgain spaces, respectively.