Construction, structure and asymptotic approximations of a microdifferential transparent boundary condition for the linear Schrödinger equation. (Q1606249)

The linear Schrödinger equation free from any potential: \[ L(\partial_x, \partial_t) u =(\text{ i}\partial_t+\Delta) u(x,t)=0\,,\quad (x,t)\in\mathbb R^2_x\times \mathbb R_t \] subject to initial condition \[ u(x,0)=u_0(x)\,,\qquad x\in \mathbb R^2_x \] with \(u_0\in H^1(\mathbb{R}^2_x)\) with a compact support is considered. A transparent boudary condition for this equation is constructed through a microlocal approximation of the operator associating the Dirichlet data to the Neumann one in a ``\(M\)-quasi hyperbolic'' region. Several quasi-analytic characterization results concerning the asymptotic expansion of the total symbol of this operator in a subclass of inhomogeneous symbols with a quasi-polynomial-like structure are stated. Some consequences of these results to the efficient numerical treatment of the problem are discussed.