7790400ec9d1bfd3.tex
1: \begin{abstract}
2: The transparent boundary condition for the free Schr\"{o}dinger equation 
3: on a rectangular computational domain requires implementation of an operator of the
4: form $\sqrt{\partial_t-i\triangle_{\Gamma}}$ where $\triangle_{\Gamma}$ is the 
5: Laplace-Beltrami operator. It is known that this operator is nonlocal in 
6: time as well as space which poses a significant challenge in developing an
7: efficient numerical method of solution. The computational complexity of the
8: existing methods scale with the number of time-steps which can be attributed to
9: the nonlocal nature of the boundary operator. In this work, we report an 
10: effectively local approximation for the boundary operator such that the
11: resulting complexity remains independent of number of time-steps. At the heart
12: of this algorithm is a Pad\'e approximant based rational approximation of
13: certain fractional operators that handles corners of the domain adequately. 
14: For the spatial discretization, we use a Legendre-Galerkin spectral method with
15: a new boundary adapted basis which ensures that the resulting linear system 
16: is banded. A compatible boundary-lifting procedure is also presented which
17: accommodates the segments as well as the corners on the boundary. The proposed
18: novel scheme can be implemented within the framework of any one-step
19: time marching schemes. In particular, we demonstrate these ideas for two
20: one-step methods, namely, the backward-differentiation formula of order 1 (BDF1) and the 
21: trapezoidal rule (TR). For the sake of comparison, we also present a convolution 
22: quadrature based scheme conforming to the one-step methods which is 
23: computationally expensive but serves as a golden standard. 
24: Finally, several numerical tests are presented to 
25: demonstrate the effectiveness of our novel method as well as to verify the 
26: order of convergence empirically. 
27: \end{abstract}
28: