×

A fast matrix-free algorithm for spectral approximations to the Schrödinger equation. (English) Zbl 1327.65170

Summary: We consider the linear time-dependent Schrödinger equation with a time-dependent smooth potential on an unbounded domain. A Galerkin spectral method with a tensor-product Hermite basis is used as a discretization in space. Discretizing the resulting ODE for the Hermite expansion coefficients involves the computation of the action of the Galerkin matrix on a vector in each time step. We propose a fast algorithm for the direct computation of this matrix-vector product without actually assembling the matrix itself. The costs scale linearly in the size of the basis. Together with the application of a hyperbolically reduced basis, this reduces the computational effort considerably and helps cope with the infamous curse of dimensionality. The application of the fast algorithm is limited to the case of the potential being significantly smoother than the solution. The error analysis is based on a binary tree representation of the three-term recurrence relation for the one-dimensional Hermite functions. The fast algorithm constitutes an efficient tool for schemes involving the action of a matrix due to spectral discretization on a vector, and it is also applicable in the context of spectral approximations for linear problems other than the Schrödinger equation.

MSC:

65M12 Stability and convergence of numerical methods for initial value and initial-boundary value problems involving PDEs
65M15 Error bounds for initial value and initial-boundary value problems involving PDEs
65M70 Spectral, collocation and related methods for initial value and initial-boundary value problems involving PDEs
65Z05 Applications to the sciences
81-08 Computational methods for problems pertaining to quantum theory
81Q05 Closed and approximate solutions to the Schrödinger, Dirac, Klein-Gordon and other equations of quantum mechanics

References:

[1] M. Abramowitz and I. A. Stegun, {\it Handbook of Mathematical Functions}, Dover, New York, 1972. · Zbl 0543.33001
[2] G. Avila and T. Carrington, {\it Nonproduct quadrature grids for solving the vibrational Schrödinger equation}, J. Chem. Phys., 131 (2009), pp. 174103-1-174103-15.
[3] G. Avila and T. Carrington, {\it Using nonproduct quadrature grids to solve the vibrational Schrödinger equation in {\it 12}D}, J. Chem. Phys., 134 (2011), pp. 054126-1-054126-16.
[4] G. Avila and T. Carrington, {\it Using a pruned basis, a non-product quadrature grid, and the exact Watson normal-coordinate kinetic energy operator to solve the vibrational Schrodinger equation for C{\it 2}H{\it 4}}, J. Chem. Phys., 135 (2011), pp. 064101-1-064101-12.
[5] G. Avila and T. Carrington, {\it Solving the vibrational Schrödinger equation using bases pruned to include strongly coupled functions and compatible quadratures}, J. Chem. Phys., 137 (2012), pp. 174108-1-174108-13.
[6] S. Blanes, F. Casas, J. A. Oteo, and J. Ros, {\it The Magnus expansion and some of its applications}, Phys. Rep., 470 (2009), pp. 151-238.
[7] H.-J. Bungartz and M. Griebel, {\it Sparse Grids}, Acta Numer., 13 (2004), pp. 147-269. · Zbl 1118.65388
[8] C. Canuto, A. Quarteroni, M. Y. Hussaini, and T. A. Zang, {\it Spectral Methods: Fundamentals in Single Domains}, Springer, Berlin, 2006. · Zbl 1093.76002
[9] Y. Cao, Y. Jiang, and Y. Xu, {\it A fast algorithm for orthogonal polynomial expansions on sparse grids}, J. Complexity, 30 (2014), pp. 683-715. · Zbl 1300.65009
[10] E. Faou and V. Gradinaru, {\it Gauss-Hermite wavepacket dynamics: Convergence of the spectral and pseudo-spectral approximation}, IMA J. Numer. Anal., 29 (2009), pp. 1023-1045. · Zbl 1183.65111
[11] E. Faou, V. Gradinaru, and Ch. Lubich, {\it Computing semiclassical quantum dynamics with Hagedorn wavepackets}, SIAM J. Sci. Comput., 31 (2009), pp. 3027-3041. · Zbl 1194.81096
[12] L. Gauckler, {\it Convergence of a split-step Hermite method for the Gross-Pitaevskii equation}, IMA J. Numer. Anal., 31 (2011), pp. 396-415. · Zbl 1223.65079
[13] W. Gautschi, {\it Numerical Analysis: An Introduction}, 2nd ed., Birkhäuser, Basel, 2012. · Zbl 1378.65002
[14] T. Gerstner and M. Griebel, {\it Numerical integration using sparse grids}, Numer. Algorithms, 18 (1998), pp. 209-232. · Zbl 0921.65022
[15] V. Gradinaru, {\it Fourier transform on sparse grids: Code design and application to the time dependent Schrödinger equation}, Computing, 80 (2007), pp. 1-22. · Zbl 1117.65137
[16] V. Gradinaru, {\it Strang splitting for the time dependent Schrödinger equation on sparse grids}, SIAM J. Numer. Anal., 46 (2007), pp. 103-123. · Zbl 1160.65053
[17] M. Hochbruck and Ch. Lubich, {\it On Magnus integrators for time-dependent Schrödinger equations}, SIAM J. Numer. Anal., 41 (2003), pp. 945-963. · Zbl 1049.65064
[18] J. C. Light and T. Carrington, {\it Discrete variable representations and their utilization}, Adv. Chem. Phys., 114 (2000), pp. 263-310.
[19] Ch. Lubich, {\it From Quantum to Classical Molecular Dynamics: Reduced Models and Numerical Analysis}, European Mathematics Society, Zurich, 2008. · Zbl 1160.81001
[20] U. Peskin, R. Kosloff, and N. Moiseyev, {\it The solution of the time-dependent Schrödinger equation by the (t, t’) method: The use of global polynomial propagators for time-dependent Hamiltonians}, J. Chem. Phys., 100 (1994), pp. 8849-8855.
[21] W. H. Press, S. A. Teukolsky, W. T. Vetterling, and B. P. Flannery, {\it Numerical Recipes: The Art of Scientific Computing}, 3rd ed., Cambridge University Press, New York, 2007. · Zbl 1132.65001
[22] S. A. Smolyak, {\it Quadrature and interpolation formulas for tensor products of certain classes of functions}, Dokl. Akad. Nauk SSSR, 4 (1963), pp. 240-243. · Zbl 0202.39901
[23] B. Thaller, {\it Visual Quantum Mechanics}, Springer, New York, 2000. · Zbl 1056.81001
[24] Ch. Van Loan, {\it The Sensitivity of the Matrix Exponential}, SIAM J. Numer. Anal., 14 (1977), pp. 971-981. · Zbl 0368.65006
[25] Ch. Zenger, {\it Sparse grids}, in Parallel Algorithms for Partial Differential Equations, Notes Numer. Fluid Mech. 31, W. Hackbusch, ed., Vieweg, Braunschweig, 1991, pp. 241-251. · Zbl 0763.65091
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.