Abstract

We consider a quantum particle in an infinite square potential well of R <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">n</sup> , n = 2; 3, subjected to a uniform electric field in space. Under the dipolar moment approximation, the wave function solves a PDE of Schro¿dinger type. We study the spectral controllability in finite time of the linearized system around the ground state. We characterize one necessary condition for spectral controllability in finite time: (Kal) if Ω is the bottom of the well, then for every eigenvalue λ of -Δ <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">Ω</sub> <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">D</sup> the projections of the dipolar moment onto every (normalized) eigenvector associated to λ are linearly independent in R <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">n</sup> . In 3D, our main result states that spectral controllability in finite time never holds for one-directional dipolar moment. The proof uses classical results from trigonometric moment theory and properties about the set of zeros of entire functions. In 2D, we first prove the existence of a minimal time T <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">min</sub> (Ω) > 0 for spectral controllability i.e., if T > T <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">min</sub> (Ω), one has spectral controllability in time T if condition (Kal) holds true for (Ω) and, if T < T <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">min</sub> (Ω) and the dipolar moment is one-directional, then one does not have spectral controllability in time T. We next characterize a necessary and sufficient condition on the dipolar moment insuring that spectral controllability in time T > T <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">min</sub> (Ω) holds generically with respect to the domain. The proof relies on shape differentiation and a careful study of Dirichlet-to-Neumann operators associated to certain Helmholtz equations.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call