We consider an optimal control problem describing a laser-induced population transfer on a $n$-level quantum system. For a convex cost depending only on the moduli of controls (i.e. the lasers intensities), we prove that there always exists a minimizer in resonance. This permits to justify some strategies used in experimental physics. It is also quite important because it permits to reduce remarkably the complexity of the problem (and extend some of our previous results for $n=2$ and $n=3$): instead of looking for minimizers on the sphere ${S}^{2n-1}\subset {\u2102}^{n}$ one is reduced to look just for minimizers on the sphere ${S}^{n-1}\subset {\mathbb{R}}^{n}$. Moreover, for the reduced problem, we investigate on the question of existence of strict abnormal minimizer.

Classification: 49J15, 81V80, 53C17, 49N50

Keywords: control of quantum systems, optimal control, sub-riemannian geometry, resonance, pontryagin maximum principle, abnormal extremals, rotating wave approximation

@article{COCV_2004__10_4_593_0, author = {Boscain, Ugo and Charlot, Gr\'egoire}, title = {Resonance of minimizers for n-level quantum systems with an arbitrary cost}, journal = {ESAIM: Control, Optimisation and Calculus of Variations}, publisher = {EDP-Sciences}, volume = {10}, number = {4}, year = {2004}, pages = {593-614}, doi = {10.1051/cocv:2004022}, zbl = {1072.49002}, mrnumber = {2111082}, language = {en}, url = {http://www.numdam.org/item/COCV_2004__10_4_593_0} }

Boscain, Ugo; Charlot, Grégoire. Resonance of minimizers for n-level quantum systems with an arbitrary cost. ESAIM: Control, Optimisation and Calculus of Variations, Volume 10 (2004) no. 4, pp. 593-614. doi : 10.1051/cocv:2004022. http://www.numdam.org/item/COCV_2004__10_4_593_0/

[1] Control Theory from the Geometric Viewpoint. Springer-Verlag, EMS (2004) 1-410. | MR 2062547 | Zbl 1062.93001

and ,[2] Sub-Riemannian metrics: minimality of abnormal geodesics versus subanaliticity. ESAIM: COCV 2 (1997) 377-448. | Numdam | MR 1483765 | Zbl 0902.53033

and ,[3] Controllability of quantum mechanical systems by root space decomposition of $su\left(N\right)$. J. Math. Phys. 43 (2002) 2051-2062. | MR 1893660 | Zbl 1059.93016

,[4] On subsemigroups of semisimple Lie groups. Ann. Inst. H. Poincaré Anal. Non Linéaire 13 (1996) 117-133. | Numdam | MR 1373474 | Zbl 0848.93006

, and ,[5] The tangent space in sub-Riemannian geometry. Sub-Riemannian geometry. Progr. Math. 144 (1996) 1-78. | MR 1421822 | Zbl 0862.53031

,[6] Coerent population transfer among quantum states of atomes and molecules. Rev. Mod. Phys. 70 (1998) 1003-1025.

, and ,[7] Sufficient Conditions for Optimality and the Justification of the Dynamics Programming Principle. SIAM J. Control Optim. 4 (1996) 326-361. | MR 197205 | Zbl 0143.32004

,[8] The Role of Singular Trajectories in Control Theory. Springer, SMAI, Vol. 40 (2003). | MR 1996448 | Zbl 1022.93003

and ,[9] | MR 2031058 | Zbl 1137.49001

and B Piccoli, Optimal Synthesis for Control Systems on 2-D Manifolds. Springer, SMAI, Vol. 43 (2004).[10] Optimal Control in laser-induced population transfer for two- and three-level quantum systems. J. Math. Phys. 43 (2002) 2107-2132. | MR 1893663 | Zbl 1059.81195

, , , and ,[11] On the K+P problem for a three-level quantum system: Optimality implies resonance. J. Dyn. Control Syst. 8 (2002) 547-572. | MR 1931898 | Zbl 1022.53028

, and ,[12] Optimal Control on a $n$-level Quantum System, in Proc. of the 2nd IFAC Workshop on Lagrangian and Hamiltonian Methods for Nonlinear Control, Astolfi, Gordillo and van der Schaft Eds., Elsevier (2003). | MR 2082965

, and ,[13] Determination of the transitivity of bilinear systems. SIAM J. Control Optim. 17 (1979) 212-221. | MR 525022 | Zbl 0406.93037

and ,[14] Existence of Regular Syntheses for General Problems. J. Differ. Equations 38 (1980) 317-343. | MR 605053 | Zbl 0417.49030

,[15] Every Normal Linear System Has a Regular Time-Optimal Synthesis. Math. Slovaca 28 (1978) 81-100. | MR 527776 | Zbl 0369.49013

,[16] Optimal control of two-level quantum systems. IEEE Trans. Automat. Control 46 (2001) 866-876. | Zbl 0993.81070

and ,[17] Population switching between vibrational levels in molecular beams. Chem. Phys. Lett. 149 (1988) 463.

, , , , and ,[18] Controlabilite des sytemes bilineaires. SIAM J. Control Optim. 20 (1982) 377-384. | MR 652214 | Zbl 0579.93005

and ,[19] Carnot-Carathéodory spaces seen from within. Sub-Riemannian geometry. Progr. Math. 144 (1996) 79-323. | MR 1421823 | Zbl 0864.53025

,[20] Rydberg Atoms in “Circular” states. Phys. Rev. Lett. 51 (1983) 1430-1433.

and ,[21] Geometric Control Theory. Cambridge University Press (1997). | MR 1425878 | Zbl 0940.93005

,[22] Control Systems on Semisimple Lie Groups and Their Homogeneous Spaces. Ann. Inst. Fourier 31 (1981) 151-179. | Numdam | MR 644347 | Zbl 0453.93011

and ,[23] Controllability of Non-Linear systems. J. Differ. Equation 12 95-116. | MR 338882 | Zbl 0242.49040

and ,[24] Time optimal control in spin systems. Phys. Rev. A 63 (2001).

, and ,[25] Cartan decomposition of SU(n) and Control of Spin Systems. J. Chem. Phys. 267 (2001) 11-23.

and ,[26] Inversion produced and reversed by adiabatic passage. Phys. Rep. 178 (1989) 1-24.

, and ,[27] A Tour of Subriemannian Geometry. American Mathematical Society, Mathematical Surveys and Monographs (2002). | MR 1867362 | Zbl 1044.53022

,[28] A survey of singular curves in sub-Riemannian geometry. J. Dyn. Control Syst. 1 (1995) 49-90. | MR 1319057 | Zbl 0941.53021

,[29] Classifications of Generic Singularities for the Planar Time-Optimal Synthesis. SIAM J. Control Optim. 34 (1996) 1914-1946. | MR 1416494 | Zbl 0865.49022

,[30] Regular Synthesis and Sufficiency Conditions for Optimality. SIAM. J. Control Optim. 39 (2000) 359-410. | MR 1788064 | Zbl 0961.93014

and ,[31] The Mathematical Theory of Optimal Processes. John Wiley and Sons, Inc (1961). | Zbl 0117.31702

, , and ,[32] Optimal control of quantum-mechanical systems: Existence, numerical approximation, and applications. Phys. Rev. A 37 (1988). | MR 949169

, and ,[33] Quantum control by decomposition of su(2). Phys. Rev. A 62 (2000).

, , and ,[34] Controllability of Invariant Systems on Lie Groups and Homogeneous Spaces. J. Math. Sci. 100 (2000) 2355-2427. | MR 1776551 | Zbl 1073.93511

,[35] The theory of coherent atomic excitation. New York, NY, Wiley (1990).

,[36] The Structure of Time-Optimal Trajectories for Single-Input Systems in the Plane: the ${C}^{\infty}$ Nonsingular Case. SIAM J. Control Optim. 25 (1987) 433-465. | MR 877071 | Zbl 0664.93034

,