Uniform decay rates for the energy of weakly damped defocusing semilinear Schrödinger equations with inhomogeneous Dirichlet boundary control (Q639502)

The authors study the existence, regularity and long time behavior of solutions of the following nonlinear Schrödinger equation on a bounded domain \(\Omega \subset \mathbb{R}^n\) with smooth boundary \(\Gamma\): \[ \mathrm{i} \partial_t u - \Delta u + f\left(|u|^2 \right)u + \mathrm{i}a u = 0, \quad \Omega_\infty = \Omega \times (0,+\infty), \] supplemented by the spatial inhomogeneous Dirichlet boundary condition \(u = Q\) on \(\Gamma_\infty = \Gamma \times (0,+\infty)\) and the initial condition \(u(0) = u_0\) in \(\Omega\). The nonlinearity is \(f(s) = g s^{p/2}\) for \(g>0\) (defocusing case) and \(p>0\), and \(a \geq 0\) is a constant. The originality of the work is the treatment of the nonhomogeneous boundary force \(Q\). The main results are presented in Section~2. In particular, the existence of weak solutions in \(C([0,T],L^2(\Omega)) \cap L^\infty([0,T],H^1 \cap L^{p+2}(\Omega))\) under appropriate conditions on the initial data \(u_0\) and the force \(Q\) is given by Theorem~1, where decay estimates for \(u\) are also provided (uniqueness is not known to hold). Strong solutions are discussed in Theorems~2 and~3 for \(n\leq 3\). Existence and uniqueness of a solution which decays exponentially in time in \(H^2(\Omega)\) is granted under some smallness assumptions on \(u_0\) and \(Q\). The strategy of the proof is presented in a pedagogical fashion in Section~3, and relies on an appropriate rewriting of the problem as a nonlinear Schrödinger equation with homogeneous Dirichlet boundary conditions, but with a rather unpleasant nonlinearity. The existence of solutions is obtained by a limiting procedure involving appropriate approximations and truncations of the nonlinearity. The proofs of Theorems~1, 2 and~3 are provided in Sections~4, 5 and~6 respectively.