Stabilization of an ODE–Schrödinger Cascade

https://doi.org/10.1016/j.sysconle.2013.03.003Get rights and content

Abstract

We consider the problem of stabilization of a linear ODE with input dynamics governed by the linearized Schrödinger equation. The interconnection between the ODE and Schrödinger equation is bi-directional at a single point. We construct an explicit feedback law that compensates the Schrödinger dynamics at the inputs of the ODE and stabilizes the overall system. Our design is based on a two-step backstepping transformation by introducing an intermediate system and an intermediate control. By adopting the Riesz basis approach, the exponential stability of the closed-loop system is built with the pre-designed decay rate and the spectrum-determined growth condition is obtained. A numerical simulation is provided to illustrate the effectiveness of the proposed design.

Introduction

The backstepping approach, which was originally developed for parabolic PDEs [1], [2], has recently been applied to control problems for PDE–ODE cascades [3], [4], [5], [6], [7] etc., with applications of interest including fluids, structures, thermal, chemically-reacting, and plasma systems. This method uses an invertible Volterra integral transformation together with the boundary feedback to convert the unstable plant into a well-damped target system. The kernel of this transformation satisfies a certain PDE and ODE, which turn out to be solvable in closed form. In [3], the backstepping method was applied to a system which consists of the first-order hyperbolic PDE coupled with a second-order (in space) ODE. This system resembles the Korteweg–de Vries equation which describes shallow water waves and ion acoustic waves in plasma. In [5], predictor-like feedback laws and observers have been developed for diffusion PDE–ODE cascades. In [6], an explicit feedback law was developed that compensates the wave PDE dynamics at the input of an linear time-invariant ODE and stabilizes the overall system. In [7], PDE–ODE cascades considered were extended from Dirichlet type interconnections to Neumann type interconnections. For PDE–ODE cascades considered above, the interconnection between the PDE and the ODE is one directional. For example, in [5], the dynamics at the input of the ODE is governed by a heat equation, whereas the ODE does not act on the PDE. In some cases, the interconnection between them could be bi-directional, i.e., the PDE and ODE are coupled with each other as discussed in [8].

In this paper, we consider a problem of stabilization of an ODE–Schrödinger equation cascade as in (1), (2), (3), (4), where the interconnection between them is bi-directional at a single point:Ẋ(t)=AX(t)+Bu(0,t),t>0,ut(x,t)=iuxx(x,t),x(0,1),t>0,ux(0,t)=CX(t),u(1,t)=U(t) where ACn×n, BCn×1, CC1×n; X(t)Cn×1 is the state of ordinary differential equation; u(x,t)C is the state of Schrödinger equation; and U(t)C is the control force to the entire system. The whole system is depicted in Fig. 1. Both states of ODE and Schrödinger equation are complex valued. The motivation for this kind of problem can be provided in the context of various applications in quantum mechanics, chemical process control, and other areas.

The stabilization of the linearized Schrödinger equation using boundary control was investigated in [9], [10], [11]. For exact controllability and observability results, see [12], [13], [14]. The interconnection of Schrödinger–heat equation with boundary coupling was considered in [15] and the Schrödinger equation has the Gevrey regularity under the compensation of the heat equation. As in [11], [16], the Schrödinger equation is usually considered as a complex-valued heat equation such that the backstepping method developed for parabolic PDEs could be applied. Motivated by two-step backstepping transformations in [5], which was adopted to improve performance and achieve exponential stability with arbitrarily fast decay rate, we adopt two-step backstepping control design to make the system stable in this paper.

Compared with our previous works using backstepping designs, the main contributions of the results in this paper lie in:

  • (i)

    Instead of one-step backstepping control, which results in difficulty in finding the kernels for the stabilization of the ODE–Schrödinger cascade considered in this paper, the design developed in this paper is based on a two-step backstepping transformation by introducing an intermediate system and an intermediate control.

  • (ii)

    Instead of the Lyapunov synthesis, the Riesz basis approach is adopted in this paper, through which the exponential stability of the closed-loop system was built with the pre-designed decay rate and the spectrum-determined growth condition was obtained.

The paper is organized as follows. In Section 2, the two-step backstepping design is developed using the bounded and invertible operators. First, we design the comprehensive control to convert the original system into the intermediate system. Secondly, we design the intermediate control to convert the intermediate system into the final target system. Section 3 is devoted to the spectral analysis of the target system. In Section 4, Riesz spectral method is adopted for the stability analysis of the closed-loop system. Finally, a simulation example and the concluding remarks are provided in Section 5.

In this paper, we consider the following energy Hilbert space H=Cn×L2(0,1) with inner product f1,f2H=X1T¯X2+01z1(x)¯z2(x)dx,fi=(Xi,zi)H,i=1,2, and H-norm fiH=(XiCn2+ziL2(0,1)2)12.

Section snippets

Backstepping design

The control objective is to make the system (1), (2), (3), (4) exponentially stable. To achieve this, a new cascaded ODE–PDE target system is introduced in the form: Ẋ(t)=(A+BK)X(t)+Bz(0,t),zt(x,t)=izxx(x,t)cz(x,t),c>0,zx(0,t)=0,z(1,t)=0 where z(x,t)C, c>0 is an arbitrary pre-defined decay rate, and we assume that the pair (A,B) is stabilizable and take KC1×n to be a known vector such that A+BK is Hurwitz.

In this section, we seek the boundary controller U(t) in (4) to exponentially

Stability analysis for the target system

In this section, we consider the target system (8), (9), (10), (11). Define the system operator of (8), (9), (10), (11) by {Az(X,z)=((A+BK)X+Bz(0),izcz),(X,z)D(Az),D(Az)={(X,z)Cn×H2(0,1)|z(1)=z(0)=0}. Then (8), (9), (10), (11) can be written as an evolution equation in H: {dYz(t)dt=AzYz(t),t>0,Yz(0)=Yz0. where Yz(t)=(X(t),z(,t)).

Theorem 1

Let Az be given by (55). Then Az1 exists and is compact on H and hence σ(Az), the spectrum of Az, consists of isolated eigenvalues of finitely algebraic

Stability analysis for the closed-loop system

In this section, we will investigate the stability of the closed-loop systems for both (X,w) and (X,u).

Simulation results and concluding remarks

In this section, we present the results of numerical simulations for the system (1), (2), (3), (4) with boundary control (37), (52). The scalar case is considered here, with the parameters of the system taken as A=1,B=1,C=1,K=5,c=3. The response of the closed-loop of the plant (1), (2), (3), (4) are shown in Fig. 3. Both the ODE and Schrödinger equation are stabilized. Fig. 4 shows the control effort (only the real part is shown).

In conclusion, we have designed an explicit feedback law for a

References (19)

There are more references available in the full text version of this article.

Cited by (96)

  • Dynamics compensation approach to stabilization and observation for abstract linear systems

    2023, Journal of Mathematical Analysis and Applications
    Citation Excerpt :

    Regarding the time-delay as the dynamics dominated by a transport equation, the input delay compensation problem comes down to the boundary control of an ODE-PDE cascade. Actually, the PDE backstepping method can compensate for various actuator dynamics which include but not limited to the general first order hyperbolic equation dynamics [12], the heat equation dynamics [13,29,32,34], the wave equation dynamics [14,29] and the Schrödinger equation dynamics [26]. However, the PDE backstepping transformation relies heavily on the choice of the target systems which are built on the basis of intuition not theory.

View all citing articles on Scopus
1

The second author is supported by the National Natural Science Foundation of China.

View full text