Application of Stability Criteria for Complex-Valued Impulsive System by Lyapunov Function ()
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
(2.1)
where
denotes the system state,
is a continuous function from
to
, the set
is an unbounded, closed, discrete subset of
which denotes the set of times when jumps occur, and
denotes the incremental change of the state at the time
. In the n-dimensional complex space
, I choose the most common norm
, where x is represented as a column vector
, and
denotes its conjugate transpose.
Denote by
the space of
complex matrices with an inner product
,
and the norm
. 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
:
(2.2)
where the ket
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
, and
is the Dirac impulse. Physically, two states
and
that differ by a phase
, i.e.,
, describe the same physical state in or on the sphere of
. I denote the bra associated with the ket
with
. 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
is introduced.
represents the interaction energy between the system and the external classical control fields
, and is called interaction Hamiltonian.
are all
self-adjoint operators in the n-dimensional Hilbert space
and assumed to be time-independent. In this paper, I set the first control function
is continuous, and the other one
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
satisfies:
where
is the eigenvalue of
corresponding to
.
By the same method in [4], I obtain that quantum systems (2.2) with impulsive control fields can be described as
(2.3)
When taking non-trivial geometry about states, I add a second control
corresponding to
into consideration [9], then investigate the following quantum systems
(2.4)
where I is the identity matrix. If the control field
only takes effect at the impulsive point E, the quantum systems with impulsive control fields are
(2.5)
Subject to quantum systems (2.2) or (2.4), I focus on finding control fields
and
, 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
is a compact positively invariant set with respect to (2.1), and assume that there exists a
function
such that
1)
;
2)
;
Let
,
and let
denote the largest invariant set contained in G. If
, then
as
.
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
is non-degenerate, set the control fields
,
, and
, where constants
, the image of function
passes the origin of plane
monotonically and lies in quadrant I or III, then quantum systems with impulses (2.5) converge to the largest invariant set
, where
. If all the states in
are equivalent to the target state
, then the systems will converge asymptotically to the target state
.
Proof. I choose a Lyapunov function based on state error,
(3.1)
When
,
, the simple control field
(3.2)
I have
When
,
(3.3)
since
, by the control field
, I have
(3.4)
Using the control field
(3.2), the largest invariant set of quantum systems with impulsive control fields (2.5) is
[9], where
. From the invariant principle Lemma 2.1, the quantum systems with impulsive control fields (2.5) will converge to
.
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:
Let the initial state and the target state also be
and
, respectively. The parameters are chosen as
,
. Set the state
, by the same control fields
The simulation results are shown in Figure 1. In Figure 1(a), the population of the system with impulsive control field
is shown, component
increases to 1, and other components decrease to 0. The result shown in Figure 1(b) demonstrates the control performance without impulsive control, component
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
by control fields
in Example 1; (b) The population of the five-level system trajectory from
without control field
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.