Effective Hamiltonians For Constrained Quantum Systems

The authors consider the time-dependent Schrödinger equation on a Riemannian manifold with a potential that localizes a certain subspace of states close to a fixed submanifold . When the authors scale the potential in the directions normal to by a parameter , the solutions concentrate in an -neighborhood of . This situation occurs for example in quantum wave guides and for the motion of nuclei in electronic potential surfaces in quantum molecular dynamics. The authors derive an effective Schrödinger equation on the submanifold and show that its solutions, suitably lifted to , approximate the solutions of the original equation on up to errors of order at time . Furthermore, the authors prove that the eigenvalues of the corresponding effective Hamiltonian below a certain energy coincide up to errors of order with those of the full Hamiltonian under reasonable conditions.