On the non-homogeneous boundary value problem for Schrödinger equations (Q379541)

In this paper, the author studied the initial boundary value problem for the Schrödinger equation with non-homogeneous Dirichlet boundary conditions: \(i\partial_t u+\Delta_D u=f\), \(u(x,0)=u_0\), \(x\in \Omega\), \(u|_{x\in \partial \Omega}=g\). Special care is devoted to the space where the boundary data belong. When \(\Omega\) is the complement of a non-trapping obstacle, well-posedness for boundary data of optimal regularity is obtained by transposition arguments in Section 2. In Section 3, in the case when \(\Omega^c\) is convex, a local smoothing property (similar to the one for the Cauchy problem) is proved, which states that \[ \|(1+|x|)^{-1/2}\nabla u\|_{L^2_{T,x}}+ \|\partial_n u\|_{L^2([0,T]\times \partial \Omega)} \leq C_{\varepsilon,T}( \|g\|_{H^{1+\varepsilon,2}_0}+\|u_0\|_{H^{1/2}_0}+\|f\|_{L^2_{T,x}}), \] when \(f\) is compactly supported. As a corollary, certain weak \(L^p_T L^q\) Strichartz estimates (for weakly admissible pairs \((p,q)\) with \(1/p+d/q=d/2\) and \(p>2\)) are obtained. As an application, local well-posedness for a class of subcritical non-linear Schrödinger equations with dimension \(d=2,3\) is derived in Section 4.