An inhomogeneous boundary value problem for nonlinear Schrödinger equations (Q5945592)

The authors consider the inhomogeneous initial value problem with unknown \(u= u(x,t)\) NEWLINE\[NEWLINE\begin{gathered} i\partial_t u=\Delta u- f(u),\qquad x\in\Omega\subset \mathbb{R}^n,\\ u(x,0)= \varphi(x),\\ u(x,t)= Q(x,t),\qquad x\in\partial\Omega.\end{gathered}\tag{1}NEWLINE\]NEWLINE The aim of the paper is to prove the followingNEWLINENEWLINE Theorem: Let \(\Omega\subset \mathbb{R}^n\) be an open, bounded or unbounded, subset with a \(C^\infty\) boundary \(\partial\Omega\) and let \(f(u)= g| u|^{p-1}u\) for some constants \(g\) and \(p\). Let \(\varphi\in H^1\) and let \(Q\in C^3(\partial\Omega\times (-\infty,\infty))\) have compact support and satisfy the compatibility condition \(\varphi(x)= Q(x,0)\) on \(\partial\Omega\) in the sense of traces. Let \(1< t<\infty\) then there exists a solution \(u\in L^\infty_{\text{loc}}((-\infty,\infty); H^1(\Omega)\cap L^{p+1}(\Omega))\) to the problem (1) for \(-\infty< t< \infty\). The partial differential equation is understood in the sense of distributions while the boundary condition is understood as \(u(.,t)- Q(.,t)\in H^1_0(\Omega)\) for a.e. \(t\).NEWLINENEWLINE To prove this theorem estimates for \(\partial u/\partial n\) are required. These estimates are derived in this paper and are used in proving the global existence of solutions with finite energy.NEWLINENEWLINE In this paper, apart from a brief comment at the end, questions of uniqueness and regularity are not considered.