Application of Stability Criteria for Complex-Valued Impulsive System by Lyapunov Function

Abstract

Stability criteria for the complex-valued impulsive system are applied widely in many fields, such as quantum systems, which have been studied in recent decades. In this paper, I investigate the Lyapunov control of finite dimensional complex-valued systems with impulsive control fields, where the studied complex-valued systems are governed by the Schrödinger equation and can be used in quantum systems. By one Lyapunov function based on state error and the invariant principle of impulsive systems, I study the convergence of complex-valued systems with impulsive control fields and propose new results for the mentioned complex-valued systems in the form of sufficient conditions. A numerical simulation to validate the proposed control method is provided.

Share and Cite:

Yang, W. (2024) Application of Stability Criteria for Complex-Valued Impulsive System by Lyapunov Function. International Journal of Modern Nonlinear Theory and Application, 13, 45-52. doi: 10.4236/ijmnta.2024.134004.

1. Introduction

The concept of stability theory is fundamental to the fields of control theory and system engineering [1]-[6]. In the stability problem, the state error of the system is required to converge to zero. For example, the authors in references [7]-[12] have investigated the stability problem for different systems.

The common setting adopted in the aforementioned works is always in real number fields, i.e., the objective of the study is real-valued differential systems. The authors in [12]-[15] studied the stability problem of complex-valued differential systems. The complex-valued differential system has many potential applications in science and engineering, such as the quantum system, which is one of the classical complex-valued systems. There have been many theoretical and experimental breakthroughs in the stability study of quantum systems [16]-[21], and references therein indicate that quantum control has become an important area of research.

Impulsive dynamical systems are a special class of dynamical systems which exhibit continuous evolution typically described by ordinary differential equations and instantaneous state jumps or impulses. Nowadays, there have been various approaches for control of impulsive dynamical systems [8] [10] [11] [22], which indicates that increasing interest in the analysis and synthesis of impulsive systems, or impulsive control systems, due to their significance both in theory and applications.

Quantum control is a significant aspect of quantum information processing and quantum technologies. It is the cornerstone of quantum technology, extensively utilized in quantum computing and quantum communication. Various approaches for finite-time control of quantum systems have been developed.

In order to drive the system state to its target in less time, I add an impulsive control field beside the continuous control field and apply the impulsive control method to control quantum systems from the result in [3], when one control field with a given frequency, quantum systems governed by the Schrödinger equation can be described as impulsive dynamical systems.

In this paper, I apply the stability criteria for a complex-valued impulsive system to give a better option to drive the quantum state to its target. The Lyapunov function is presented based on state error. In Section 2, a complex-valued system with impulsive control fields is presented, and introduce the invariant principle of impulsive systems. In Section 3, I give one control field to drive quantum state based on one Lyapunov function and analyze the asymptotic stability of quantum systems with impulsive control fields. In order to justify the effectiveness of the proposed control fields, one simulation experiment is given in Section 4.

2. Notations and Definitions

Consider the impulsive dynamical system described by

{ x ˙ ( t )= f c ( x( t ) ), t( τ k , τ k+1 ); Δx( t )= f d ( x( t ) ), t= τ k . (2.1)

where x( t ) n denotes the system state, f c ( x ) is a continuous function from n to n , the set E={ τ 1 , τ 2 ,: τ 1 < τ 2 < } + is an unbounded, closed, discrete subset of + which denotes the set of times when jumps occur, and f d : n n denotes the incremental change of the state at the time τ k . In the n-dimensional complex space n , I choose the most common norm x := x * x , where x is represented as a column vector ( x 1 , x 2 ,, x n ) T , and x * denotes its conjugate transpose.

Denote by M n ( ) the space of n×n complex matrices with an inner product ( , ): M n ( )× M n ( ) ,

( a,b )=Tr( ab ),

and the norm a 2 =( a,a ) . As we know, quantum systems are typical complex systems, whose state variables are defined on the complex field. Consider the following n-level quantum system with two control fields, and set the Plank constant =1 :

i| β ˙ ( t )=( H 0 + f 1 ( t ) H 1 + k=1 f 2 ( t ) H 2 δ( t τ k ) )| β( t ), (2.2)

where the ket | β( t ) n represents the state vector of quantum systems, which is right continuous, and the state vector evolves on or in a sphere with radius one, and I denote the set of quantum states by V S n , and δ( ) is the Dirac impulse. Physically, two states | β 1 and | β 2 that differ by a phase θ( t )R , i.e., | β 1 =exp( iθ( t ) )| β 2 , describe the same physical state in or on the sphere of n . I denote the bra associated with the ket | β( t ) with β( t )| . When the quantum system evolves freely under its own internal dynamics, i.e., there is no external field implemented on the system, just the free Hamiltonian H 0 is introduced. H j ( j=1,2 ) represents the interaction energy between the system and the external classical control fields f j ( t )( j=1,2 ) , and is called interaction Hamiltonian. H j ( j=0,1,2 ) are all n×n self-adjoint operators in the n-dimensional Hilbert space and assumed to be time-independent. In this paper, I set the first control function f 1 ( t ) is continuous, and the other one f 2 ( t ) only takes effect on quantum systems at the impulsive points E.

In quantum control, the target state is usually an eigenstate of the free Hamiltonian, and I set the target state | β f satisfies:

H 0 | β f = λ f | β f ,

where λ f is the eigenvalue of H 0 corresponding to | β f .

By the same method in [4], I obtain that quantum systems (2.2) with impulsive control fields can be described as

{ i| β ˙ ( t )=( H 0 + f 1 ( t ) H 1 )| β( t ), t τ k ; Δ|β= f 2 ( t ) H 2 | β( τ k ), t= τ k . (2.3)

When taking non-trivial geometry about states, I add a second control ω corresponding to θ( t ) into consideration [9], then investigate the following quantum systems

i| β ˙ ( t )=( H 0 + f 1 ( t ) H 1 + k=1 f 2 ( t ) H 2 δ( t τ k )+ωI )| β( t ), (2.4)

where I is the identity matrix. If the control field f 2 ( t ) only takes effect at the impulsive point E, the quantum systems with impulsive control fields are

{ i| β ˙ ( t )=( H 0 + f 1 ( t ) H 1 +ωI )| β( t ), t τ k ; Δ|β= f 2 ( t ) H 2 | β( τ k ), t= τ k . (2.5)

Subject to quantum systems (2.2) or (2.4), I focus on finding control fields f 1 ( t ) and f 2 ( τ k ) , such that the quantum systems with impulsive control field (2.3) or (2.5) are driven to target states. Firstly, I introduce the invariant principle of impulsive systems.

Lemma 2.1 [2] Consider the impulsive dynamical system (2.1), assume D c D is a compact positively invariant set with respect to (2.1), and assume that there exists a C 1 function V: D c such that

1) V ˙ ( x( t ) )0,x D c ,t τ k ;

2) V( x( τ k ) )+ f d ( x( τ k ) )V( x( τ k ) ),x D c ,t= τ k ;

Let

G{ x D c :t τ k , V ˙ ( x( t ) )=0}{x D c :t= τ k ,V( x( τ k ) )+ f d ( x( τ k ) )=V( x( τ k ) ) } ,

and let MG denote the largest invariant set contained in G. If x 0 D c , then x( t )M as t .

3. Impulsive Control of Quantum System

In this section, I shall design an impulsive feedback controller for complex-valued quantum systems. As can be seen later, the proposed controller is not only simple and direct, but the bus can also stabilise the quantum systems so that all trajectories will converge to the target state. When the phase θ is considered, I choose the Lyapunov function based on the state error [9] [19].

Theorem 1 For quantum system (2.5), if H 0 is non-degenerate, set the control fields λ f +ω= K 0 g 0 ( Im( β f |β( t ) ) ) , f 1 ( t )= K 1 g 1 ( Im( β f | H 1 |β( t ) ) ) , and f 2 ( τ k )= 2Re( β( τ k )| H 2 | β( τ k ) β f ) Tr( H 2 4 ) , where constants K j >0( j=0,1 ) , the image of function y j = g j ( x j ) passes the origin of plane x j y j monotonically and lies in quadrant I or III, then quantum systems with impulses (2.5) converge to the largest invariant set V S n E 2 , where E 2 ={ |β: β f | H 1 |β=0,Im( β f |β )=0 } . If all the states in E 2 are equivalent to the target state | β f , then the systems will converge asymptotically to the target state | β f .

Proof. I choose a Lyapunov function based on state error,

V( | β( t ),t )= β( t ) β f | β( t ) β f . (3.1)

When t τ k , V ˙ =( λ f +ω )Im( β f | β( t ) ) f 1 ( t )Im( β f | H 1 | β( t ) ) , the simple control field

λ f +ω= K 0 g 0 ( Im( β f | β( t ) ) ), f 1 = K 1 g 1 ( Im( β f | H 1 | β( t ) ) ), (3.2)

I have

V ˙ ( t )= K 0 Im( β f | β( t ) ) g 0 ( Im( β f | β( t ) ) ) K 1 Im( β f | H 1 | β( t ) ) g 1 ( Im( β f | H 1 | β( t ) ) ) <0( t τ k ).

When t= τ k ,

V( | β( τ k ), τ k )=V( | β( τ k + ), τ k + ) =( β( τ k )|( I+ f 2 ( τ k ) H 2 ) β f | )( ( I+ f 2 ( τ k ) H 2 )| β( τ k )| β f ) = β( τ k ) β f | β( τ k ) β f +2 f 2 ( τ k )Re( β( τ k )| H 2 | β( τ k ) β f ) + f 2 2 ( τ k ) β( τ k )| H 2 2 | β( τ k ), (3.3)

since β( τ k )| H 2 2 | β( τ k ) β( τ k ) 2 H 2 2 Tr( H 2 4 ) , by the control field f 2 ( τ k )= 2Re( β( τ k )| H 2 | β( τ k ) β f ) Tr( H 2 4 ) , I have

V( | β( τ k ), τ k )= β( τ k ) β f | β( τ k ) β f 4R e 2 ( β( τ k )| H 2 | β( τ k ) β f ) Tr( H 2 4 ) + 4R e 2 ( β( τ k )| H 2 | β( τ k ) β f ) Tr( H 2 4 ) β( τ k )| H 2 2 | β( τ k ) V( | β( τ k ), τ k ). (3.4)

Using the control field λ f +ω, f 1 (t) (3.2), the largest invariant set of quantum systems with impulsive control fields (2.5) is V S n E 2 [9], where E 2 ={ |β: β f | H 1 |β=0,Im( β f |β )=0 } . From the invariant principle Lemma 2.1, the quantum systems with impulsive control fields (2.5) will converge to V S n E 2 .

Thus I complete the proof.

4. Illustrative Examples

In order to illustrate the effectiveness of the proposed method in this paper, one numerical simulation was presented for a five-level quantum system, and the Fourth-Order Runge-Kitta method was used to solve the problem with a time step size of 0.05.

Example 1. Consider the five-level quantum system with internal Hamiltonian and the control Hamiltonians given as follows:

H 0 =( 1 0 0 0 0 0 1.1 0 0 0 0 0 1.2 0 0 0 0 0 1.4 0 0 0 0 0 1.7 ), H 1 =( 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 ), H 2 =( 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 ).

Let the initial state and the target state also be | β 0 = ( 1 0 0 0 0 ) T and | β f = ( 0 0 0 0 1 ) T , respectively. The parameters are chosen as K 1 =0.15 , K 2 =0.001 . Set the state | β( t )= ( x 1 x 2 x 3 x 4 x 5 ) T , by the same control fields

λ f +ω= K 0 g 0 ( Im( β f |β( t ) ) ),

f 1 ( t )= K 1 g 1 ( Im( β f | H 1 |β( t ) ) ),

f 2 ( τ k )= 2Re( β( τ k )| H 2 | β( τ k ) β f ) Tr( H 2 4 ) ,

The simulation results are shown in Figure 1. In Figure 1(a), the population of the system with impulsive control field f 2 is shown, component | x 5 | increases to 1, and other components decrease to 0. The result shown in Figure 1(b) demonstrates the control performance without impulsive control, component | x 5 | increases to 1 firstly, then decreases a little. The final transition probability attains about 0.99942 in Figure 1(a), which is better than the one (about 0.99581) in Figure 1(b), and significantly, the control method with one impulsive control field can prevent the evolution from decaying.

(a)

(b)

Figure 1. (a) The population of the five-level system trajectory from | β 0 by control fields f 1 , f 2 in Example 1; (b) The population of the five-level system trajectory from | β 0 without control field f 2 in Example 1.

5. Conclusion

In this paper, I have introduced the Lyapunov control method to complex-valued systems with impulsive control fields and given one kind of control field based on a Lyapunov function inspired by state error. The theoretical results have been verified by a numerical simulation to illustrate the effectiveness and advantages of the proposed method compared with existing results.

Acknowledgements

The authors would like to thank the editor and the reviewers for their constructive comments and suggestions, which improved the quality of the paper. This work is supported by the founding 20AR57 of Shanghai Dianji University.

Conflicts of Interest

The author declares no conflicts of interest regarding the publication of this paper.

References

[1] D’Alessandro, D. (2007) Introduction to Quantum Control and Dynamics. CRC Press.
[2] Chellaboina, V., Bhat, S.P. and Haddad, W.M. (2003) An Invariance Principle for Nonlinear Hybrid and Impulsive Dynamical Systems. Nonlinear Analysis: Theory, Methods & Applications, 53, 527-550.
https://doi.org/10.1016/s0362-546x(02)00316-4
[3] Dong, D. and Petersen, I.R. (2010) Quantum Control Theory and Applications: A Survey. IET Control Theory & Applications, 4, 2651-2671.
https://doi.org/10.1049/iet-cta.2009.0508
[4] Dong, Y. and Sun, J. (2008) On Hybrid Control of a Class of Stochastic Non-Linear Markovian Switching Systems. Automatica, 44, 990-995.
https://doi.org/10.1016/j.automatica.2007.08.006
[5] Dong, D., Xing, X., Ma, H., Chen, C., Liu, Z. and Rabitz, H. (2020) Learning-based Quantum Robust Control: Algorithm, Applications, and Experiments. IEEE Transactions on Cybernetics, 50, 3581-3593.
https://doi.org/10.1109/tcyb.2019.2921424
[6] Tersigni, S.H., Gaspard, P. and Rice, S.A. (1990) On Using Shaped Light Pulses to Control the Selectivity of Product Formation in a Chemical Reaction: An Application to a Multiple Level System. The Journal of Chemical Physics, 93, 1670-1680.
https://doi.org/10.1063/1.459680
[7] Cong, S. (2007) Quantum Control Strategy Based on State Distance. Acta Automatica Sinica, 33, 28-31.
https://doi.org/10.1360/aas-007-0028
[8] Li, C., Sun, J. and Sun, R. (2010) Stability Analysis of a Class of Stochastic Differential Delay Equations with Nonlinear Impulsive Effects. Journal of the Franklin Institute, 347, 1186-1198.
https://doi.org/10.1016/j.jfranklin.2010.04.017
[9] Mirrahimi, M., Rouchon, P. and Turinici, G. (2005) Lyapunov Control of Bilinear Schrödinger Equations. Automatica, 41, 1987-1994.
https://doi.org/10.1016/j.automatica.2005.05.018
[10] Wu, S.L., Li, K. and Huang, T.Z. (2011) Exponential Stability of Static Neural Networks with Time Delay and Impulses. IET Control Theory & Applications, 5, 943-951.
https://doi.org/10.1049/iet-cta.2010.0329
[11] Xu, J. and Sun, J. (2010) Finite-Time Stability of Linear Time-Varying Singular Impulsive Systems. IET Control Theory & Applications, 4, 2239-2244.
https://doi.org/10.1049/iet-cta.2010.0242
[12] Zhu, J. and Sun, J. (2018) Stability and Exponential Stability of Complex-Valued Discrete Linear Systems with Delay. International Journal of Control, Automation and Systems, 16, 1030-1037.
https://doi.org/10.1007/s12555-017-0243-7
[13] Fang, T. and Sun, J. (2013) Stability Analysis of Complex-Valued Impulsive System. IET Control Theory & Applications, 7, 1152-1159.
https://doi.org/10.1049/iet-cta.2013.0116
[14] Fang, T. and Sun, J. (2014) Stability of Complex-Valued Impulsive System with Delay. Applied Mathematics and Computation, 240, 102-108.
https://doi.org/10.1016/j.amc.2014.04.062
[15] Zhang, S., Xia, Y. and Zheng, W. (2015) A Complex-Valued Neural Dynamical Optimization Approach and Its Stability Analysis. Neural Networks, 61, 59-67.
https://doi.org/10.1016/j.neunet.2014.10.003
[16] Dann, R., Levy, A. and Kosloff, R. (2018) Time-Dependent Markovian Quantum Master Equation. Physical Review A, 98, Article 052129.
https://doi.org/10.1103/physreva.98.052129
[17] Jandura, S. and Pupillo, G. (2022) Time-Optimal Two and Three-Qubit Gates for Rydberg Atoms. Quantum, 6, 712.
https://doi.org/10.22331/q-2022-05-13-712
[18] Kallush, S., Dann, R. and Kosloff, R. (2022) Controlling the Uncontrollable: Quantum Control of Open-System Dynamics. Science Advances, 8, eadd0828.
https://doi.org/10.1126/sciadv.add0828
[19] Kuang, S. and Cong, S. (2009) Generalized Control of Quantum Systems in the Frame of Vector Treatment. Journal of Control Theory and Applications, 7, 395-399.
https://doi.org/10.1007/s11768-009-7210-7
[20] Schirmer, S.G., Langbein, F.C., Weidner, C.A. and Jonckheere, E. (2022) Robust Control Performance for Open Quantum Systems. IEEE Transactions on Automatic Control, 67, 6012-6024.
https://doi.org/10.1109/tac.2022.3181249
[21] Zhao, S., Lin, H. and Xue, Z. (2012) Switching Control of Closed Quantum Systems via the Lyapunov Method. Automatica, 48, 1833-1838.
https://doi.org/10.1016/j.automatica.2012.05.069
[22] Shi, S., Zhang, Q., Yuan, Z. and Liu, W. (2011) Hybrid Impulsive Control for Switched Singular Systems. IET Control Theory & Applications, 5, 103-111.
https://doi.org/10.1049/iet-cta.2009.0444

Copyright © 2025 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.