Abstract
In this paper, we shall study the stability for distributed bilinear systems on a Hilbert state space that can be decomposed in two subspaces: unstable finite-dimensional and stable infinite-dimensional with respect to the evolution generator. Then, we shall show under a weaker observability assumption that stabilizing such a system with a feedback control of the form \(p_{r}(t)=-\Vert y(t)\Vert ^{-r}\langle y(t),By(t)\rangle \) for \(r<2\), reduces stabilizing only its projection on the finite-dimension subspace which make the whole system stable. To this end, we shall propose a new family of continuous feedback controls that guarantee the uniform stabilizability with an explicit optimal decay rate estimate of the stabilized state. Two illustrating examples and simulations are provided.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Bilinear systems have been considered since the early 1960s as a gateway between linear and nonlinear systems that are defined to be linear in both state and control when considered independently, with the nonlinearity (or bilinearity) arising from coupled terms involving products of system state and control (see [8, 19]). By formulating the model appropriately, the bilinear term could also be represented by products of system output and control input, i.e. the output is defined as a system state. Therefore many researchers have focused their studies on this class of systems and their applications ever since. By the beginning of 1970s, indeed, several comprehensive review articles and monographs (see [3, 8]) had already been published. The thrust for the study of bilinear systems comes from the intrinsic limits of linear models when dealing with practical applications in the field of ecology (e.g. populations models), biology as well as in nuclear fission (see [8]), transmission and power systems (see [6, 9]). Furthermore, there are several characteristics that render bilinear systems appealing also from the theoretical point of view. In this paper, we are concerned with the question of feedback stabilization of bilinear systems that can be described in the following form
on a real Hilbert space H with inner product \(\langle \cdot ,\cdot \rangle \) and corresponding norm \(\Vert \cdot \Vert \), where A generates a semigroup of contractions S(t) on H and \(B\in \mathcal {L}(H)\). While the real valued function \(p(\cdot )\in L^{2}(0,+\infty ;\mathbb {R})\) is a control. The obvious choice of the stabilizing feedback control is
(see [2]). In the case where B is sequentially continuous from \(H_{w}\) (H endowed with the weak topology) to H, the quadratic feedback \(p_{_0}(t)\) weakly stabilizes the system (1), provided that the following approximate observability assumption
holds (see [2]). Under the exact observability assumption
a strong stabilization result has been obtained using the control \(p_{_0}(t)\) (see [11]). However, in this way the convergence of the resulting closed loop state is not better than \(\Vert y(t)\Vert =\mathcal {O}(\frac{1}{\sqrt{t}})\).
The control \(p_{_2}(t)=-\frac{\langle y(t),By(t)\rangle }{\Vert y(t)\Vert ^{2}}\) has been considered for infinite-dimensional bilinear system in [13], where exponential stabilization results have been established provided that the observation assumption (4) holds. In [15] the rational decay rates are established i.e.,
using the following continuous feedback control
In the sequel of this section, we shall present an appropriate decomposition of the state space H and the system (1) via the spectral properties of the operator A, and we shall apply this approach to study the stabilization problem of the system (1). This problem has been considered in the finite-dimensional case [i.e., \(H = \mathbb {R}^{n}\) and \(A,B \in \mathbb {R}^{n^{2}}\) (see [4])], who showed that the condition
where \(ad^{k}(A,B)\) is defined recursively as \(ad^{0}(A,B)=B\), \(ad^{1}(A,B)=AB-BA\) and \(ad^{k+1}(A,B)=ad^{1}(A,ad^{k}(A,B)),\, \forall k\in I\!\! N\) is sufficient for exponential stabilization of the system (1) controlled by the feedback \(p_{_2}(t)\). In [7, 14], it has been shown that if the spectrum \(\sigma (A)\) of A can be decomposed into \( \sigma _u(A)=\{\lambda : \mathcal {R}e(\lambda )\ge -\gamma \}\) and \( \sigma _s(A) = \{\lambda :\mathcal {R}e(\lambda ) < -\gamma \}\), (for some \(\gamma >0\)), then the state space H can be decomposed according to
where \( H_u=P_{u}H =\hbox {vect}\{\varphi _{j},\, 1\le j\le N\}, H_s=P_{s}H=\hbox {vect}\{\varphi _{j},\, j> N\},\, P_{u}\) is given by
where C is a curve surrounding \(\sigma _{u}(A), P_{s}=I-P_{u}\) and for all \( j\ge 1,\, \varphi _{j}\) is the eigenvector associated to the eigenvalue \(\lambda _{j}\). The projection operators \(P_{u}\) and \(P_{s}\) commute with A, and we have \(A=A_{u}+A_{s}\) with \(A_{u}=P_{u}AP_{u}\) and \(A_{s}=P_{s}AP_{s}\). Also, for all \(y(t)\in H\), we set \(y_{u}=P_{u}y\) and \(y_{s}=P_{s}y\). If \(A_{s}\) satisfies the spectrum growth assumption:
which is equivalent to:
where \(S_{s}(t)\) denotes the semigroup generated by \(A_{s}\) in \(H_{s}\). In the sequel, we suppose that the operator B satisfies
where \(B_{u}=P_uBP_u\) and \(B_{s}=P_sBP_s\), (see [14]).
Let us consider that the system (1) can be decomposed in the following two subsystems:
in the state spaces \(H_u\) and \(H_s\) respectively. For linear systems and based on the above decomposition (8), it has been shown that the whole system can be divided into two uncoupled subsystems, one of which is exponentially stable without applying controls, while the other one is unstable (see [18]). So the instability problem in some sense reduces to a finite-dimensional one. In this paper, we shall study the uniform stabilizability of the system (1) and we shall establish the explicit decay estimate (5) under a weaker observability assumption based on the decomposition method described above of the system (1). The rest of the paper is as follows: the second and the third section are devoted to the main results. In the last section we give some applications and simulations.
Remark 1.1
-
1.
For finite-dimensional systems, the conditions (3) and (4) are equivalent (see [4, 17]). However, in infinite-dimensional case, and if B is compact, then the condition (4) is impossible. Indeed, if \((\varphi _j)\) is an orthonormal basis of H, then applying (4) for \(y=\varphi _j\) and using the fact that \(\varphi _j \rightharpoonup 0, \) as \(j\rightarrow +\infty \), we obtain the contradiction \(\delta =0\).
-
2.
Since S(t) is a semigroup of contractions, so \(S_{u}(t)=I_{u}\) (the identity operator). Indeed, the assumption that A generates a contraction semigroup implies that \(\sup (\lambda _{j})\le 0\). On the other hand, remarking that for all \(0<\gamma _{1}<\gamma \) the set \(\{\lambda _{j}|\, \lambda _{j} >-\gamma _{1}\}\) is also finite, we can take \(0<\gamma <\inf _{\lambda _{j}<0}(-\lambda _{j})\) so that \(\{\lambda _{j}|\, \lambda _{j} >-\gamma \}=\{0\}\), and hence \(S_{u}(t)=I_{u}\). Then, in this case the state space \(H_{u}=\ker (A_{u})\).
2 Stabilization results
Let us now recall the following definition concerning the asymptotic behavior of the system (1) (see e.g. [2]).
Definition 2.1
The system (1) is weakly (resp. strongly) stabilizable if there exists a feedback control such that the corresponding mild solution y(t) of the system (1) satisfies the properties:
-
1.
for each initial state \(y_{_0}\) of the system (1) there exists a unique mild solution defined for all \(t\in I\!R^{+}\) of the system (1),
-
2.
\(\{0\}\) is an equilibrium state of the system (1),
-
3.
\(y(t)\rightarrow 0\), weakly (resp. strongly), as \(t\rightarrow +\infty \), for all \(y_{_0}\in H\).
The following definition concerns the uniform and the uniform polynomial stabilization of the system (1).
Definition 2.2
-
1.
We say a dynamical system \((t, y_{_0}) \mapsto y(t, y_{_0})\) on a normed state space H is uniformly stable (with respect to bounded sets) if for any bounded set \(B \subset H\), we have
$$\begin{aligned} \limsup _{t\rightarrow +\infty }\{\Vert y(t,y_{_0})\Vert :y_{_0}\in B\}=0. \end{aligned}$$(15) -
2.
A dynamical system \((t, y_{_0}) \mapsto y(t, y_{_0})\) is uniformly polynomially stable, if for \(R > 0\) there exists a constant \(C_{R} > 0\) such that every solution of (1) with \(\Vert y_{_0}\Vert \le R\) satisfies
$$\begin{aligned} \Vert y(t)\Vert \le C_{R} t^{-\frac{1}{2-r}},\quad \hbox {as}\;t\rightarrow +\infty . \end{aligned}$$(16)
Remark 2.1
-
1.
The uniform polynomial stability implies the uniform stability and the last result is stronger than the strong stability as is in the Definition 2.1.
-
2.
The positive constant \(C_{R}\) depends on R and is independent of t.
-
3.
The uniform stability is consistent with the concept of uniform attraction in dynamical systems (see [5]).
Before we state our main results, the following lemmas will be needed.
Lemma 2.1
[1] Let \((s_{k})\) be a sequence of positive real numbers satisfying
where \(C > 0\) and \(\alpha >-1\) are constants. Then there exists a positive constant \(M_{2}\) (depending on \(\alpha \) and C) such that
Let us now recall the following existing result.
Lemma 2.2
[15] Let A generate a semigroup of contractions S(t) on H and let B be linear and bounded operator from H into itself. Then the system (1), controlled by (6) possesses a unique mild solution y(t) on \(\mathbb {R}^+\) for each \(y\in H \) which satisfies
for almost all \(T>0\).
The next result concerns the uniform stabilization of the system (1).
Theorem 2.1
-
1.
Let A generate a linear \(C_0\)-semigroup S(t) of contractions on H,
-
2.
A allow the decomposition (8) of H with \(\dim H_u < +\infty \) such that (11) holds, and
-
3.
\(B \in \mathcal {L}(H)\) be compact and satisfies (3).
Then the system (1) is uniformly stabilizable using the feedback control law
where the parameter \(\rho >0\) is chosen sufficiently small and \(\Lambda =\{t\ge 0:y(t)\ne 0\}\).
Proof
The system (1) controlled by (20) possesses a unique mild solution y(t) defined on a maximal interval \([0, t_{\max }[\) and given by the variation of constants formula:
where \(f(y)=-\rho \frac{\langle y,By\rangle }{\Vert y\Vert ^{r}}By\), for all \(y\ne 0, f(0)=0\) corresponds to (20). Since S(t) is a semigroup of contractions, we have:
It follows that
From (21) and using the fact that S(t) is a semigroup of contractions and Gronwall inequality, we deduce that the map \(y_{_0}\longrightarrow y(t)\) is continuous from H to H. We deduce that (23) holds for all \(y_{_0}\in H\) by density argument and hence \(t_{\max } = +\infty \) (see [16]). By virtue of (22) we have
This last inequality holds, by density, for all \(y_{_0}\in H\). It follows that the integral
converges. Consequently, we deduce from the Cauchy criterion that
Now let us show that \(y(t)\rightharpoonup 0\), as \(t\rightarrow +\infty \), (where \(\rightarrow \) refers to weak convergence). Let \(t_{n}\rightarrow +\infty \) such that \(y(t_{n})\) weakly converge in H, and let \(z\in H\) such that \(y(t_{n})\rightharpoonup z\), as \(t\rightarrow +\infty \). (The existence of such \((t_{n})\) and z are ensured by (23) and by the fact that space H is reflexive). Since S(t) is bounded and B is a compact operator, then for all \(t\ge 0\), we have \(S(t)y(t_{n})\rightharpoonup S(t)z\) and \(BS(t)y(t_{n})\rightarrow BS(t)z\), as \(n\rightarrow +\infty \). Then
Hence, by the dominated convergence theorem
Then using (19) and (25), we get \(\int _{0}^{T}|\langle BS(t)z,S(t)z\rangle |dt=0\), so \(\langle BS(t)z,S(t)z\rangle =0,\, \forall t\ge 0\), which gives, by virtue of (3) that \(z=0\). Hence \(y_{u}(t)\rightharpoonup 0\), as \(t\rightarrow +\infty \), and using the fact that \(\dim H_{u} < +\infty \), we deduce that \(y_{u}(t)\rightarrow 0\) as \(t\rightarrow +\infty \). The last result together with (23) (i.e., \(y_u(t)\) approaches to 0 depends only on the norm \(\Vert y_{_0}\Vert \)) show that \(y_{u}(t)\) converges uniformly to zeros as t tend to \(+\infty \). For the component \(y_{s}(t)\) of y(t), we have
It follows from (11) that
From Gronwall inequality, we obtain:
Then, for all \(R>0\), there exists a constant \(C_R>0\) such that \(\Vert y_{_0}\Vert \le R\), we have
Taking \(\rho <\frac{\gamma }{ M_{1}C_R \Vert B\Vert ^2}\), we deduce that \(y_s(t)\rightarrow 0\) uniformly as \(t\rightarrow +\infty \).
Hence \(y(t)=y_u(t)+y_s(t)\rightarrow 0\) uniformly as \(t\rightarrow +\infty \). \(\square \)
Remark 2.2
If \(y_{0}=0\) then \(y(t)=0\) for almost all \(t\ge 0\).
3 Polynomial decay rate estimate of the stabilized state
In this section, based on the decomposition method described above, we are concerned with the question of the uniform polynomial stabilizability of the system (1) with the decay estimate (16), using a continuous feedback control, which depends only on the unstable part, without compactness assumption of the operator B and under a weaker condition than (3).
Before we state our main result in this section, the following lemma will be needed.
Lemma 3.1
Let H be a Hilbert space such that \(\dim (H)<+\infty \), then the two inequality (3) and (4) are equivalent.
Proof
Firstly, it is evident that the inequality (4) implies (3).
Conversely, we shall show that (3) implies (4), for this purpose two situations are provided:
Case 1 \(z=0\), it is trivial that the estimate (4) holds.
Case 2 \(z\in H-\{0\}\), so
Indeed, we assume that there exists \(z\in H-\{0\}\), such that
which implies that \(\langle BS(t)z,S(t)z\rangle =0\), since the map \(t\longrightarrow S(t)z\) is continuous on \([0,+\infty [\). From (3) we get \(z=0\), which contradict with the fact that \(z\in H-\{0\}\) so (28) is satisfied. Furthermore, note that the map \(z\longrightarrow \int _{0}^{T}|\langle BS(t)z,S(t)z\rangle |dt\) depends continuously on z. Using now the fact that the set \(S=\{z\in H|\,\ \Vert z\Vert =1\}\) is compact in H (\(\dim (H)<+\infty \)). Then, from (28) one concludes that there exists a positive constant \(\delta >0\), such that
Hence, we deduce that (4) holds for all \(z\in S\). Now, for all \(z\in H-\{0\}\), one can take \(y=\frac{z}{\Vert z\Vert }\in S\), then from (29) we get
which immediately gives
This completes the proof of Lemma 3.1. \(\square \)
The main result in this section is as follows.
Theorem 3.1
-
1.
Let A generate a linear \(C_0\)-semigroup S(t) such that \(S_u(t)\) is of isometries and (11) holds,
-
2.
A allow the decomposition (8) of H with \(\dim H_u < +\infty \),
-
3.
\(B \in \mathcal {L}(H)\) such that for all \(y_{u}\in H_{u}\), we have
$$\begin{aligned} \langle B_{u}S_{u}(t)y_u,S_{u}(t)y_u\rangle =0,\quad \forall t\ge 0\Rightarrow y_u=0. \end{aligned}$$(30)
Then, for all \(R > 0\) there exists a constant \(C_{R} > 0\) such that every solution of (1) with \(\Vert y_{_0}\Vert \le R\), the feedback control law
satisfies
where the parameter \(\rho >0\) is chosen sufficiently small and \(\Lambda _u=\{t\ge 0: y_u(t)\ne 0\}\).
Proof
Let us consider the system:
Multiplying the system (33) by \(y_u(t)\) and integrating over \(\Omega \) and using the fact that \(S_{u}(t)\) is a semigroup of isometries, (so that \(\langle A_{u}\phi ,\phi \rangle = 0,\,\ \forall \phi \in \mathcal {D}(A_{u}))\), we obtain
which proves that the real function \(t\longrightarrow \Vert y_u(t)\Vert \) is decreasing on \(\mathbb {R}^{+}\), and we have
Hence, the system (33) admits a unique mild solution defined for almost all \(t\ge 0\) (see [15]).
Integrating now the last inequality over the interval \([kT,(k+1)T], k\in \mathbb {N}\) and \(T>0\), we obtain:
using now the estimate (19), we deduce that
Using the fact \(\dim (H_{u})<+\infty \), then from Lemma 3.1, the assumption (30) implies
Then, from (36) and (37) we get
using the fact that \(t\longrightarrow \Vert y_u(t)\Vert \) is a decreasing function, we obtain
which implies that
Letting \(s_{k}=\Vert y_u(kT)\Vert ^2\), the last inequality can be written as
Applying Lemma 2.1, we deduce that \( s_{k}\le \frac{M_{2}}{(k+1)^{\frac{2}{2-r}}}\). For \(k=[\frac{t}{T}]\) (\([\frac{t}{T}]\) designed the integer part of \(\frac{t}{T}\)), we obtain: \(s_{k}\le \frac{M_{3}}{t^{\frac{2}{2-r}}}\), (\(M_{3}(\Vert y_{0u}\Vert )=M_{3}>0 \)) which gives \(\Vert y_{u}(t)\Vert ^{2}\le \frac{M_{3}}{t^{\frac{2}{2-r}}}\). Hence, for all \(R_1>0\), there exists a constant \(C_{R_1}>0\) such that \(\Vert y_{0u}\Vert \le R_1\) implies
For the component \(y_s(t)\), we shall show that \(y_s(t)\) is defined for all \(t\ge 0\) and uniformly exponentially converges to 0, as \(t\rightarrow +\infty \). The system (1) excited by the control (31) admits a unique mild solution defined for almost all t in a maximal interval \( [0,t_\mathrm{max}[\) by
Thus
It follows from (11), (35) and (39) that
for almost all \(t\in [0,t_\mathrm{max}[\).
Then the scalar function \(z(t)=\Vert y_s(t)\Vert \,e^{\gamma t}\) satisfies
Gronwall inequality then yields
In other words, for all \(R_2>0\), there exists a positive constant \(C_{R_{2}}>0\) such that \(\Vert y_{0s}\Vert \le R_{2}\), we have
where \(C_{R_3}=\max \{C_{R_{1}},C_{R_{2}}\}\). Taking \(\rho <\frac{\gamma }{M_{1} C_{R_3}\Vert B\Vert ^2} \), it follows from (40) that \(y_s(t)\) is bounded on \( [0,t_\mathrm{max}[\), so \(t_\mathrm{max}=+\infty \), and the estimate (40) holds for all \(t\ge 0\). From the inequality (40) together with the choice of \(\rho \) sufficiently small, we deduce that there exists a constant \(C_{R_4}>0\) for which we have
Then, we conclude from (38) and (41) that the solution of the system (1) satisfies
such that \(C_{R_5}=C_{R_1}+C_{R_4}\). This completes the proof of Theorem 3.1. \(\square \)
Remark 3.1
-
1.
Since \(\Vert y_{u}(t)\Vert \) decreases, then we have
$$\begin{aligned} \exists t_{_0} \ge 0; y_{u}(t_{_0})=0 \Leftrightarrow y_{u}(t)=0,\quad \forall t \ge t_{0}. \end{aligned}$$In this case, we have
$$\begin{aligned} p_{r,u}(t)=0, \quad \forall t \ge t_{_0}\Longrightarrow y(t)=S_{s}(t-t_{_0})y_{s}(t_{_0}),\quad \forall t \ge t_{0}. \end{aligned}$$ -
2.
In Theorems 2.1 and 3.1, the parameter \(\rho >0\) is chosen sufficiently small which ensures that the exponential decay on the subspace corresponding to \(\sigma _{s}(A)\) overcomes the presence of the nonlinear control.
-
3.
The feedback (31) depends only on the unstable part \(y_u(t)\) and is uniformly bounded with respect to initial states.
- 4.
-
5.
In the case \(\dim H_u =+\infty \) and B is nonlinear and locally Lipschitz such that \(B(0)=0\). Then using the techniques as in [15], we can obtain the result of Theorem 3.1 if (4) is changed to (37).
-
6.
In the case \(r=2\), and under the weak observability condition (30), the exponential stability of the system (1) has been established (see [14]).
-
7.
The feedback (20) and (31) are continuous, whereas \(p_{2}(t)\) is not.
-
8.
If \(r=0\), we retrieve the result of [12].
-
9.
The decay estimate (42) is the best one.
-
10.
Taking \(\varphi (t)=\Vert y_{u}(t)\Vert ^{2}\) in (34), one can deduce that \(-\frac{1}{2\rho }\varphi ^{-2+\frac{r}{2}}(t)\varphi '(t)\le \Vert B\Vert ^{2}\). Integrating now the last inequality over [0, t], we obtain
$$\begin{aligned} \varphi (t)\ge \frac{1}{\left( 2\rho (1-\frac{r}{2})\Vert B\Vert ^{2}t+\frac{1}{\varphi ^{1-\frac{r}{2}}(0)}\right) ^{\frac{2}{2-r}}},\quad \forall t\ge 0, \end{aligned}$$so \(\Vert y_{u}(t)\Vert \ge \frac{1}{\bigg (2\rho (1-\frac{r}{2})\Vert B\Vert ^{2}t+\frac{1}{\Vert y_{u}(0)\Vert ^{2-r}}\bigg )^{\frac{1}{2-r}}},\, r<2\). Consequently, from (38) we deduce
$$\begin{aligned} \frac{M_{_1}}{t^{\frac{1}{2-r}}} \le \Vert y_{u}(t)\Vert \le \frac{M_{_2}}{t^{\frac{1}{2-r}}},\quad \hbox {as}\; t\rightarrow +\infty ,\,\, (M_{_2}\ge M_{_1}>0). \end{aligned}$$(43)
4 Applications
In this part, we shall give two illustrating examples of the established results.
Example 4.1
Let us consider the following fourth-order PDE equation:
where the state space is \(H = L^{2}(-\pi ,\pi )\), and the dynamic is defined by \(A=-\frac{\partial ^4 }{\partial x^4}-\frac{\partial ^2 }{\partial x^2}\), with \(\mathcal {D}(A)=\{y\in H^4(-\pi ,\pi )|\,\ \frac{\partial ^n y}{\partial x^n}(-\pi )=\frac{\partial ^n y }{\partial x^n}(\pi )=0,\,\ n=0,\ldots ,3\}\). The operator A is a infinitesimal generator of a \(C_{0}\)-semigroup of contractions in \(L^2(-\pi , \pi )\), with eigenvalues given by \(\lambda _{j}=-j^4+j^2,\, (j\in \mathbb {N}^{*})\), associated to the eigenfunctions \((\varphi _{j})_{j\ge 1}\) expressed by \(\varphi _{j}(x)=\frac{1}{\sqrt{\pi }}\sin (jx),\, \forall j\ge 1\), (see [10]). In this case \(S_{u}(t) = I_{H_{u}}\) (the identity operator), namely \(S_{u}(t)\) is a semigroup of isometries. Moreover, taking the operator of control by \(By=\sum _{j=1}^{+\infty }\frac{1}{j^{2}}\langle y,\varphi _{j}\rangle \varphi _{j}\). The family \((\varphi _{j})_{j\ge 1}\) is an orthonormal basis of \(L^2(-\pi ,\pi )\), and the solution y(t) of the system (44) can be written as:
The fact that \(\lambda _{1}=0\) and \(\lambda _{j}<0,\, \forall j\ge 2\), implies that the subspace \(H_{u}=\mathbb {R}\varphi _{1}\) i.e., the solution \(y_{1}(t)\in H_{u}\) is written as:
where the function \(a_{1}\) satisfies
It is easy to see that the operator B is compact, and A generates the semigroup S(t) such that \(S(t)y=\sum _{j=1}^{+\infty }e^{\lambda _{j}t}\langle y,\varphi _{j}\rangle \varphi _{j}\), and we have \(\langle BS(t)y,S(t)y\rangle =\sum _{j=1}^{+\infty }\frac{e^{\lambda _{j}t}}{j^2}|\langle y,\varphi _{j}\rangle |^{2},\, \forall t\ge 0\), so, it is clear that (3) holds. Consequently, the assumptions of the Theorem 2.1 are satisfied and the control (20) in this case is explicitly expressed by
which ensures the uniform stability of the system (44). Moreover, for the application of the Theorem 3.1, we have \(\langle B_{u}S_{u}(t)y_{u},S_{u}(t)y_{u}\rangle =|\langle y_{u},\varphi _{1}\rangle |^2=|a_{1}(t)|^2\), and therefore the hypothesis (30) is verified. Furthermore, from (45) we get:
which gives:
for any \(a_{1}(0)\ne 0\). Then, using the following control
we obtain
where \(C_{R_1}>0\). Using now the fact that \(\lambda _{j}<0\) for any \(j\ge 2\) and \(p_{r,u}(t)<0,\ \forall t\ge 0\), we deduce that
Hence,
which gives
where \(C_{R_2}>0\). Consequently, the system (44) is uniformly polynomially stabilizable with the decay estimate
where \(C_R=C_{R_1}+C_{R_2}\).
Remark 4.1
The two negative controls (46) and (47) satisfying the inequality \(|p_{r}(t)|=\mathcal {O}\left( \frac{1}{t}\right) ,\ \hbox {as}\,\ t\rightarrow +\infty \), and \(|p_{r,u}(t)|=\mathcal {O}\left( \frac{1}{t}\right) ,\ \hbox {as}\,\ t\rightarrow +\infty \).
The second example in this section is the following.
Example 4.2
Let us consider the following 1-d bilinear heat equation:
where y(t) is the temperature profile at time t. We suppose that the system is controlled via the flow of a liquid p(t) in an adequate metallic pipeline. Here we take the state space \(H=L^2(0,1)\) and the operator A is defined by \(Ay = \frac{\partial ^2 y}{\partial x^2}\), with
The domain of A gives the homogeneous Neumann boundary condition imposed at the ends of the bar which require specifying how the heat flows out of the bar and mean that both ends are insulated. The spectrum of A is given by the simple eigenvalues \(\lambda _j = -\pi ^2(j-1)^2,\, j\in \mathbb {N}^*\) and eigenfunctions \(\varphi _1 (x) = 1\) and \(\varphi _j (x) = \sqrt{2}\cos ((j-1)\pi x)\) for all \(j \ge 2\). Then the subspace \(H_{u}\) is the one-dimensional space spanned by the eigenfunction \(\varphi _1\), and we have \(S_{u}(t)y_{u}=\langle y_{u},\varphi _1\rangle \varphi _1\) so \(S_{u}(t)=I_{H_{u}}\) (the identity) and hence \(S_{u}(t)\) is a semigroup of isometries. For the operator of control B, we consider:
\(By = \sum _{j=1}^{+\infty }\alpha _j<y, \varphi _{j}>\varphi _{j},\, \alpha _j \ge 0,\ \forall j\ge 1\) and \(\sum _{j=1}^{+\infty }\alpha ^2_j <\infty \) (see [13]). From the relation:
we can see that (30) holds if \(\alpha _1 > 0\). To examine the estimate (32), remarking for the scalar functions \(y_{j}(t)=\langle y(t),\varphi _{j}\rangle ,\, \forall j\ge 1\), we have
for all \(y_{_0}\) such that \(y_{0u}\ne 0\), where \(r\in (-\infty ,2)\). This implies
where \(C_{R_1}>0\). Then the control in this case is defined by
For \(j\ge 2\), the functions \(y_{j}(t)\) are characterised by \(y_{j}(0)=\langle y(0),\varphi _{j}\rangle ,\, \forall j\ge 2\) and satisfy
which implies that
Then
which implies
where \(C_{R_2}>0\). The inequality (49) together with (51) give
where \(C_{R_3}=C_{R_1}+C_{R_2}\).
Remark 4.2
With the usual homogeneous Dirichlet boundary condition, the eigenvalues of the operator \(\Delta \) are all \(\lambda _{j}<0\), for any \(j\ge 1\). In this, case the system (48) is exponentially stable (taking \(p(t)=0\)).
4.1 Simulations
In this part, taking in the system (48), the operator \(B=I\), i.e., \(\alpha _{j}=1\), (\(j\ge 1\)) and \(y_{_0}(x)=6.75x\). Then we obtain the results shown in the Figs. 1, 2, 3, 4, 5, 6, 7, 8, 9 and 10. The Figs. 1, 2, 3, 4 and 8 are plotted in log scale, while the Figs. 5, 6, 7 and 9, 10 are plotted in the linear scale (takes the negative values).
The Figs. 1 and 2 represent the evolution of state and the norm of the free state (\(p(t)=0\)). By injecting in the system (48) the control \(p_{1.8,u}(t)\), (\(r=1.8\)), we obtain the Figs. 3, 4, 5 and 6, which show the evolution of the stabilized state, the norm and its logarithm. The Fig. 6 shows the evolution of logarithm of the norm divided by \(\log (t)\). Figure 7 represents the evolution of the stabilizing control.
The algebraic rate predicted by the Theorem 3.1 is \(-\)5 for \(r=1.8\), which is presumably approach the estimated rate exponent as t increases, as is shown in the Fig. 6.
In the special case \(r=2\), the exponential decay of the stabilized state has been established (see [14]). The control in this case is defined by \(p_{r,u}(t)=-\rho {\mathbf {1}}_{\{t\ge 0: y_{_u}(t)\ne 0\}}\), and we have the Figs. 8, 9 and 10.
Remark 4.3
In the simulations subsection, the norm \(\Vert \cdot \Vert \) means \(\Vert \cdot \Vert _{L^2(0,1)}\).
4.2 Conclusion
In this work, we have considered the problem of the uniform stabilization with polynomial decay rate estimate of the stabilized state for bilinear parabolic systems, that can be decomposed in the stable and unstable parts (14) and (13) under a weaker condition (30). We also have considered the problem of using a stabilizing feedback control depending only on the unstable part (13) that can make the whole system (1) stable. Also, the simulations illustrate perfectly the established theoretical results. Various topics of interest remain open, in case of extending this work to regional stabilization problem.
References
Ammari, K., Tucsnak, M.: Stabilization of second order evolution equations by a class of unbounded feedbacks. ESAIM Control Calc. Var. 6, 361–386 (2001)
Ball, J., Slemrod, M.: Feedback stabilization of distributed semilinear control systems. Appl. Math. Optim. 5, 169–179 (1979)
Bruni, C., Dipillo, G., Koch, G.: Bilinear systems: an appealing class of nearly linear systems in theory and applications. IEEE Trans. Autom. Control 19, 334–348 (1974)
Chen, M.S.: Exponential stabilization of a constrained bilinear system. Automatica. 34, 989–992 (1998)
Chueshov, I.D.: Introduction to the theory of infinite-dimensional dissipative systems. ACTA Scientific Publishing House, ISBN 966-7021-64-5 (in Russian) (1999)
Guo, L., Schwarz, H.: A control scheme for bilinear systems and application to a secondary controlled hydraulic rotary drive. In: Proceedings of the 28th IEEE Conference on Decision and Control. Tampa (1989)
Kato, T.: Perturbation theory for linear operators. Springer, New York (1980)
Mohler, R.R.: Bilinear Control Processe. Academic Press, New York (1973)
Mohler, R.R., Khapalov, A.Y.: Bilinear control and application to flexible a.c. transmission systems. J. Optim. Theory Appl. 105(3), 621–637 (2000)
Orlov, Y., Lou, Y., Christtfides, P.D.: Robust stabilization of infinite-dimensional systems using sliding mode output feedback control. Int. J. Control 77(12), 1115–1136 (2004)
Ouzahra, M.: Strong stabilization with decay estimate of semilinear systems. Syst. Control Lett. 57, 813–815 (2008)
Ouzahra, M.: Stabilisation of infinite-dimensional bilinear systems using a quadratic feedback control. Int. J. Control 82, 1657–1664 (2009)
Ouzahra, M.: Exponential and weak stabilization of constrained bilinear systems. SIAM J. Control Optim. 48(6), 3962–3974 (2010)
Ouzahra, M.: Feedback stabilization of parabolic systems with bilinear controls. Electron. J. Differ. Equ. 38, 1–10 (2011)
Ouzahra, M., Tsouli, A., Boutoulout, A.: Stabilisation and polynomial decay estimate for distributed semilinear systems. Int. J. Control 85(4), 451–456 (2012)
Pazy, A.: Semi-groups of linear operators and applications to partial differential equations. Springer, New York (1983)
Quinn, J.P.: Stabilization of bilinear systems by quadratic feedback control. J. Math. Anal. Appl. 75, 66–80 (1980)
Triggiani, R.: On the stabilizability problem in Banach space. J. Math. Anal. Appl. 52, 383–403 (1975)
Tsouli, A., Boutoulout, A.: Controllability of the parabolic system via bilinear control. J. Dyn. Control Syst. 20(3) (2014). doi:10.1007/s10883-014-9247-2
Acknowledgments
The authors would like to thank the anonymous referee for the very thorough reading of the paper and many helpful and constructive comments.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Tsouli, A., Boutoulout, A. Polynomial decay rate estimate for bilinear parabolic systems under weak observability condition. Rend. Circ. Mat. Palermo 64, 347–364 (2015). https://doi.org/10.1007/s12215-015-0204-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12215-015-0204-z