Abstract
We study the stabilizability of a class of abstract parabolic equations of the form
where the control \(p(\cdot )\) is a scalar function, A is a self-adjoint operator on a Hilbert space X that satisfies \(A\ge -\sigma I\), with \(\sigma >0\), and B is a bounded linear operator on X. Denoting by \(\{\lambda _k\}_{k\in {\mathbb {N}}^*}\) and \(\{\varphi _k\}_{j\in {\mathbb {N}}^*}\) the eigenvalues and the eigenfunctions of A, we show that the above system is locally stabilizable to the eigensolutions \(\psi _j={\mathrm{e}}^{-\lambda _j t}\varphi _j\) with doubly exponential rate of convergence, provided that the associated linearized system is null controllable. Moreover, we give sufficient conditions for the pair \(\{A,B\}\) to satisfy such a property, namely a gap condition for A and a rank condition for B in the direction \(\varphi _j\). We give several applications of our result to different kinds of parabolic equations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In the field of control theory of dynamical systems, a huge amount of works is devoted to the study of models in which the control enters as an additive term (boundary or internal locally distributed controls); see, for instance, the books [22, 23] by Lions. On the other hand, these kinds of control systems are not suitable to describe processes that change their physical characteristics in response to the control. This issue is quite common for the so-called smart materials and in many biomedical, chemical and nuclear chain reactions. Indeed, under the process of catalysis some materials are able to change their principal parameters (see the examples in the monograph [20] by Khapalov for more details.)
To deal with these situations, an important role is played by multiplicative controls, that is, controls that appear in the equations as coefficients.
Due to a weaker control action, exact controllability results are not to be expected with multiplicative controls. Nevertheless, approximate controllability has been obtained for different types of initial/target conditions. For instance, in [18] Khapalov proved a result of nonnegative approximate controllability for a 1D semilinear parabolic equation. In [19], the same author proved approximate and exact null controllability for a bilinear parabolic system with reaction term satisfying Newton’s law. Paper [16], by Floridia, is devoted to the study of global approximate multiplicative controllability for nonlinear degenerate parabolic problems. In [8, 10], results of approximate controllability of a one-dimensional reaction–diffusion equation via multiplicative control and with sign changing data are proved. Finally, we recall that some results of approximate controllability have been also obtained for hyperbolic equations with bilinear control (see, for instance, [13]).
An even more specific and weaker class of controls are bilinear controls which enter the equation as scalar functions of time as, for instance, in the following system:
Here, \(A:D(A)\subset X\rightarrow X\) is a linear operator on a Hilbert space \((X,\langle \cdot ,\cdot \rangle )\) and B is a bounded linear operator on X.
A fundamental result in control theory for this type of evolution equations is the one due to Ball et al. [3] which establishes that under the assumption that A is the generator of a \(C^0\)-semigroup of bounded linear operators on X, system (1) fails to be controllable. Indeed, denoting by \(u(t;p,u_0)\) the unique solution of (1), it is shown in [3] that the attainable set from \(u_0\), defined by,
has a dense complement.
On the other hand, when B is unbounded, the possibility of proving a positive controllability result remains open. This idea of exploiting the unboundedness of B was used by Beauchard and Laurent in [5] to study the Schrödinger equation:
For such an equation, the authors proved local exact controllability around the ground state in a stronger topology than the natural one of \(X=H^2\cap H^1_0(0,1)\), for which the multiplication operator \(Bu(t,x)=\mu (x)u(t,x)\) is unbounded. In other terms, the above result could be regarded as a description of the attainable set from the ground state as a certain submanifold of the original Banach space.
Following the same strategy, Beauchard [4] studied the controllability of the wave equation:
In both papers [4, 5], a key point of the analysis is the application of the inverse mapping theorem, which is made possible by the controllability of the associated linearized problem. This is the reason why, for parabolic equations, the above strategy meets an obstruction: The spaces for which one can prove controllability of the linearized equation are not well adapted to the use of the inverse map technique.
It is important to stress the fact that the negative result by Ball, Marsden and Slemrod still allows for exact controllability to a trajectory \({\bar{u}}(\cdot ;{\bar{p}},\bar{u_0})\) by a bilinear control. With respect to controllability to trajectories with additive controls, we mention the result in [15] by Fernández-Cara, Guerrero, Imanuvilov and Puel for the Navier–Stokes equations.
In this paper, we are interested in studying the possibility of steering the solution of (1), with a bilinear control, to any eigensolution of the operator A. In order to explain what an eigensolution is, let X be a separable Hilbert space, \(A:D(A)\subset X\rightarrow X\) be a self-adjoint operator with compact resolvent, satisfying \(A\ge -\sigma I\), with \(\sigma \ge 0\) (see Sect. 2 for more on notation and assumptions) and let \(\{\lambda _k\}_{k\in {\mathbb {N}}^*}\) be the eigenvalues of A, \((\lambda _k\le \lambda _{k+1},\,\,\forall \,k\in {\mathbb {N}}^*)\), with associated eigenfunctions \(\{\varphi _k\}_{k\in {\mathbb {N}}^*}\). For every \(j\ge 1\), the function \(\psi _j(t)={\mathrm{e}}^{-\lambda _j t}\varphi _j\) will be called the jth eigensolution of A.
Our approach is based on the null controllability in some time \(T>0\) of the linearized system:
a property that we call j-null controllability of the pair \(\{A,B\}\).
Indeed, in Theorem 3.7 we show that, if \(\{A,B\}\) is j-null controllable, then the nonlinear system (1) is locally superexponentially stabilizable to the eigensolution \(\psi _j\) of A. The proof relies on a “quadratic estimate” for the difference between the solution of (1) and its linearization along \(\psi _j\) (Proposition 4.4).
Finally, we investigate the notion of j-null controllability, providing sufficient conditions for such a property. In Theorem 3.8, we prove that \(\{A,B\}\) is j-null controllable if the gap condition
holds true for some \(\alpha >0\), and B satisfies
We recall that condition (4), which is required to use the moment method (see, e.g., [4, 5]), is usually satisfied by elliptic operators in one space dimension. As far as (5) is concerned, we observe that (3) fails to be null controllable if (5) (i) is violated (see Remark 3.9). On the other hand, for specific problems like the Schrödinger equation one can allow for (5) (i) to be violated for a finite number of eigenstates assuming additional conditions (see [6]).
The above stabilizability result can be used to study several classes of parabolic problems, for which checking the validity of the assumptions on A and B is usually straightforward. For instance, we can treat the heat equation with a controlled source term of the form
with Dirichlet or Neumann boundary conditions, as well as operators with variable coefficients
or even 3D problems with radial data symmetry such as
The above examples are restricted to one space dimension because of the gap condition in Theorem 3.10. On the other hand, the control we construct is just a scalar function of time. As such, its influence on the system is necessarily limited. In order to treat problems in higher dimension, one should probably use bilinear controls depending on both time and space (see, e.g., [9, 17]).
The results of this paper have been applied to degenerate parabolic equations in [12]. Moreover, our method can be adapted to obtain exact controllability to eigensolutions (see [1]) under slightly more restrictive assumptions, as well as to treat equations with an unbounded coefficient B such as the Fokker–Planck equations (see [2]).
The outline of the paper is the following. In Sect. 2, we introduce the notation and the preliminary assumptions on the data. Section 3 is devoted to our main results. In Sects. 4 and 5, we show the proofs of Theorems 3.7 and 3.8 . Finally, in Sect. 6 we give applications to several examples of parabolic problems.
2 Preliminaries
Let \((X,\langle \cdot ,\cdot \rangle )\) be a separable Hilbert space. We denote by \(||\cdot ||\) the associated norm on X and by \(B_R(\varphi )\) the open ball of radius \(R>0\), centered in \(\varphi \in X\).
Let \(A:D(A)\subset X\rightarrow X\) be a densely defined, linear operator with the following properties:
We recall that under the above assumptions A is a closed operator and D(A) is itself a Hilbert space with the scalar product
Moreover, \(-A\) is the infinitesimal generator of a strongly continuous semigroup on X which will be denoted by \({\mathrm{e}}^{-tA}\).
Let \({\mathbb {N}}^*\) denote the real numbers greater or equal than 1. In view of the above assumptions, there exists an orthonormal basis \(\{\varphi _k\}_{k\in {\mathbb {N}}^*}\) in X of eigenfunctions of A, that is, \(\varphi _k\in D(A)\), \(||\varphi _k||=1\) and \(A\varphi _k=\lambda _k\varphi _k\), \(\forall \, k \in {\mathbb {N}}^*\), where \(\{\lambda _k\}_{k\in {\mathbb {N}}^*}\subset {\mathbb {R}}\) denote the corresponding eigenvalues. We recall that \(\lambda _k\ge -\sigma \), \(\forall \, k\in {\mathbb {N}}^*\), and we suppose—without loss of generality—that \(\{\lambda _k\}_{k\in {\mathbb {N}}^*}\) is ordered so that \(-\sigma \le \lambda _k\le \lambda _{k+1}\rightarrow \infty \) as \(k\rightarrow \infty \).
The associated semigroup has the following representation:
Let \(T>0\) and consider the problem
where \(u_0\in X\) and \(f\in L^2(0,T;X)\). We now recall two definitions of solution of problem (8) (see, e.g., [7, p. 129]):
-
the function \(u\in C([0,T], X)\) defined by
$$\begin{aligned} u(t)={\mathrm{e}}^{-tA}u_0+\int \nolimits _0^t {\mathrm{e}}^{-(t-s)A}f(s)\mathrm{d}s \end{aligned}$$(9)is called the mild solution of (8),
-
u is a strong solution of (8) in \(L^2(0,T;X)\) if there exists a sequence \(\{u_k\}\subseteq H^1(0,T;X)\cap L^2(0,T;D(A))\) such that
$$\begin{aligned} \begin{array}{c} u_k\rightarrow u, \text{ and } u'_k-Au_k\rightarrow f \text{ in } L^2(0,T;X),\\ u_k(0)\rightarrow u_0 \text{ in } X, \text{ as } k\rightarrow \infty . \end{array} \end{aligned}$$
The well-posedness of the Cauchy problem (8) is a classical result (see, for instance, [7, Proposition 3.1, p. 130]).
Theorem 2.1
Let \(u_0\in X\) and \(f\in L^2(0,T;X)\). Under hypothesis (6), problem (8) has a unique strong solution in \(L^2(0,T;X)\). Moreover, u belongs to C([0, T]; X) and coincides with the mild solution (9).
Furthermore, there exists a constant \(C_0(T)>0\) such that
and \(C_0(T)\) is nondecreasing with respect to T.
3 Main result
We consider the bilinear control problem
where u is the state variable and \(p\in L^2_{\mathrm{loc}}([0,+\infty ))\) is the control function.
We recall that, in general, the exact controllability problem for system (11) has a negative answer when B is a bounded linear operator, as shown by Ball, Marsden and Slemrod in [3].
We are interested in studying the stabilizability of system (11) to a fixed trajectory. Given an initial condition \(u_0\in X\) and a control \(p\in L^2_{\mathrm{loc}}([0,+\infty ))\), we denote by \(u(\cdot ;u_0,p):[0,+\infty )\rightarrow X\) the corresponding solution of (11).
Definition 3.1
Given \({\bar{u}}_0\in X\) and \({\bar{p}}\in L^2_{\mathrm{loc}}([0,+\infty ))\), we say that the control system (11) is locally stabilizable to \({\bar{u}}(\cdot ;{\bar{u}}_0,{\bar{p}})\) if there exists \(\delta >0\) such that, for every \(u_0\in B_\delta ({\bar{u}}_0)\), there exists a control \(p\in L^2_{\mathrm{loc}}([0,+\infty ))\) such that
Definition 3.2
Given \({\bar{u}}_0\in X\) and \({\bar{p}}\in L^2_{\mathrm{loc}}([0,+\infty ))\), we say that the control system (11) is locally exponentially stabilizable to \({\bar{u}}(\cdot ;{\bar{u}}_0,{\bar{p}})\) if for any \(\rho >0\), there exists \(R(\rho )>0\) such that, for every \(u_0\in B_{R(\rho )}({\bar{u}}_0)\), there exists a control \(p\in L^2_{\mathrm{loc}}([0,+\infty ))\) such that
where \(M>0\) is a constant that depends only on A and B.
Definition 3.3
Given \({\bar{u}}_0\in X\) and \({\bar{p}}\in L^2_{\mathrm{loc}}([0,+\infty ))\), we say that the control system (11) is locally superexponentially stabilizable to \({\bar{u}}(\cdot ;{\bar{u}}_0,{\bar{p}})\) if for any \(\rho >0\) there exists \(R(\rho )>0\) such that, for every \(u_0\in B_{R(\rho )}({\bar{u}}_0)\), there exists a control \(p\in L^2_{\mathrm{loc}}([0,+\infty ))\) such that
where \(M,\omega >0\) are suitable constants depending only on A and B.
For any \(j\in {\mathbb {N}}^*\), we recall that we set \(\psi _j(t)={\mathrm{e}}^{-\lambda _j t}\varphi _j\) and we call \(\psi _j\) the jth eigensolution of A. Observe that \(\psi _j\) solves (11) with \(p=0\) and \(u_0=\varphi _j\). We shall study the superexponential stabilizability of (11) to \(\psi _j\).
We observe that, at least for strictly accretive operators A, system (11) is trivially locally exponentially stabilizable to any trajectory \(\psi _j\) by choosing the control \(p=0\).
The novelty of our work is the construction of a control function p that steers u(t) arbitrary close to \(\psi _j(t)\) at superexponential speed of decay.
Let \(B: X\rightarrow X\) be a bounded linear operator. From now on, we denote by \(C_B\) the norm of B, that is,
and, without loss of generality, we suppose \(C_B\ge 1\).
Let \(A:D(A)\subset X\rightarrow X \) be a densely defined linear operator such that (6) hold.
Definition 3.4
Let \(T>0\). The pair \(\{A,B\}\) is called j-null controllable in time T if there exists a constant \(N(T)>0\) such that for every \(y_0\in X\) one can find a control \(p\in L^2(0,T)\) satisfying
and for which \(y(T)=0\), where \(y(\cdot )\) is the solution of
\(N(T)>0\) is called the control cost.
Definition 3.5
The pair \(\{A,B\}\) is called j-null controllable if there exists \(T_0>0\) such that \(\{A,B\}\) is j-null controllable in time \(T_0\).
Remark 3.6
Observe that if \(\{A,B\}\) is j-null controllable in time \(T_0\), it is j-null controllable in any time \(T>T_0\).
We can now state our main result.
Theorem 3.7
Let \(\{A,B\}\) be a j-null controllable pair. Then, system (11) is superexponentially stabilizable to \(\psi _j\), for any \(j\ge 1\).
In the following result, we give sufficient conditions for j-null controllability.
Theorem 3.8
Let \(A:D(A)\subset X\rightarrow X\) be a densely defined linear operator that satisfies (6) and such that there exists a constant \(\alpha >0\) for which its eigenvalues fulfill the gap condition
Let \(B: X\rightarrow X\) be a bounded linear operator such that
Then, the pair \(\{A,B\}\) is j-null controllable.
Remark 3.9
We observe that assumption (16) (i) is necessary for the null controllability of the linear system (14). Indeed, fixed any \(T>0\) and \(y_0\in X\), suppose that there exists \(p\in L^2(0,T)\) such that \(y(T)=0\). Taking the Fourier expansion of the solution of (14), thanks to (7) and (9), the previous identity is equivalent to
Since the family \(\{\varphi _k\}_{k\in {\mathbb {N}}^*}\) forms an othonormal basis of X, it holds that
In particular, if (16) (i) is violated, there exists some \({\bar{k}}\in {\mathbb {N}}^*\) such that \(\langle B\varphi _j,\varphi _{{\bar{k}}}\rangle =0\). Hence, in the \({\bar{k}}\)th direction we have that
which yields to \(y_0\in \varphi _{{\bar{k}}}^\perp \).
From Theorems 3.7 and 3.8 , we easily deduce the following result:
Corollary 3.10
Let \(A:D(A)\subset X\rightarrow X\) be a densely defined linear operator that satisfies (6) and (15). Let \(B:X\rightarrow X\) be a bounded linear operator such that (16) holds.
Then, problem (11) is locally superexponentially stabilizable to any eigensolution \(\psi _j\), \(j\ge 1\).
4 Proof of Theorem 3.7
The proof of Theorem 3.7 will be built through a series of propositions. The first result is the well-posedness of the problem
We introduce the following notation:
4.1 Well-posedness
Proposition 4.1
Let \(T>0\). If \(u_0\in X\), \(p\in L^2(0,T)\) and \(f\in L^2(0,T;X)\), then there exists a unique mild solution of (17), i.e., a function \(u\in C([0,T];X)\) such that
Moreover, there exists a constant \(C_1(T)>0\) such that
Hereafter, we denote by C a generic positive constant which may differ from line to line even if the symbol remains the same. Constants which play a specific role will be distinguished by an index, i.e., \(C_0\), \(C_B\), ....
The proof of the existence of the mild solution of (17) is given in [3]. For what concerns the bound for the solution u of (17), it turns out that, by applying estimate (10) of Theorem 2.1 to (17), if \(C_0(T)C_B||p||_{L^2(0,T)}\le 1/2\), then we have inequality (19) with \(C_1=C_2\) defined by
where \(C_0(T)\) is introduced in (10). Otherwise, to obtain (19), we proceed by subdividing the interval [0, T] into smaller subintervals for which \(C_0(T)C_B||p||_{L^2}\le 1/2\) in all of them. In this case, the constant \(C_1\) in inequality (19) is defined by
where m is the number of subintervals.
To prove Theorem 3.7, we first start by assuming \(\{A,B\}\) to be j-null controllable and such that the jth eigenvalue of A is zero, that is \(\lambda _j=0\), and we prove the local superexponential stabilizability of (11) to the trajectory \(\varphi _j\). Then, we will recover the case \(\lambda _j\ne 0\) and the stabilization to any trajectory \(\psi _j\) from the previous one.
4.2 Uniform estimate for the solution of the nonlinear system
Consider the system
and the trajectory \(\varphi _j\) that is a solution of (22) when \(p=0\), \(u_0=\varphi _j\) and \(\lambda _j=0\). Setting \(v:=u-\varphi _j\), we observe that v is the solution of the following Cauchy problem:
Remark 4.2
Applying Theorem 2.1, we find that \(v\in C([0,T];X)\) is a mild solution of (23), that is
where
Since \(p(\cdot )B(v(\cdot )+\varphi _j)\in L^2(0,T;X)\), recalling Theorem 2.1, we have that \(V_1\in H^1(0,T;X)\cap L^2(0,T;D(A))\), while \(V_0\in C^1((0,T];X)\cap C((0,T];D(A))\). Therefore, for every \(\varepsilon \in (0,T)\), \(v\in H^1(\varepsilon ,T;X)\cap L^2(\varepsilon ,T;D(A))\) and for almost every \(t\in [\varepsilon ,T]\) the following equality holds:
Showing the stabilizability of the solution u of (22) to the trajectory \(\varphi _j\) is equivalent to proving the stabilizability to 0 of system (23).
Proposition 4.3
Let \(\{A,B\}\) be j-null controllable in time \(T_0\) and assume \(\lambda _j=0\). Let \(p_0\in L^2(0,T_0)\) be a control satisfying (13) such that \({\bar{v}}(T_0)=0\), where \({\bar{v}}(\cdot )\) is the solution of the following linear system:
Then, the solution v of (23) with \(p=p_0\) and \(T=T_0\) satisfies
where \(C_B=||B||\ge 1\), \(\sigma \) is defined in (6) and \(N(T_0)\) is the control cost in (13).
Proof
Thanks to Remark 4.2, taking the scalar product of (25) with v, we obtain
Thus, we get that for a.e. \(t\in [\varepsilon ,T_0]\)
Therefore, since A satisfies (6), we have that
We now integrate the last inequality from \(\varepsilon \) to t to obtain
and, by Gronwall’s inequality, we conclude that
Taking the limit as \(\varepsilon \rightarrow 0\), we find
Thus, taking the supremum over the interval \([0,T_0]\), the last inequality becomes
Finally, recalling estimate (13) for \(p_0\), we get (27). \(\square \)
4.3 Quadratic estimate for the solution of the nonlinear system
Let \(p_0\in L^2(0,T_0)\) be as in Proposition 4.3. We introduce the function \(w(t):=v(t)-{\bar{v}}(t)\), where v is the solution of (23) with \(p=p_0\) and \(T=T_0\) and \({\bar{v}}\) is the solution of (26). Then, w satisfies the following Cauchy problem:
We define the constant
where we recall that \(\sigma \), \(C_B\) and \(N(T_0)\) are defined in (6), (12) and (13) respectively.
Proposition 4.4
Let \(\{A,B\}\) be j-null controllable in time \(T_0\) and assume \(\lambda _j=0\). If
then the solution of (30) satisfies
Proof
Since \(w\in H^1(0,T_0;X)\cap L^2(0,T_0;D(A))\), taking the scalar product of both members of the equation in (30) with w(t), we obtain
Then, by Gronwall’s inequality, and appealing to (27) and (13), we get
Thus, from (32), we obtain that \(N(T_0)||v_0||\le 1\). Therefore,
which yields to (33). \(\square \)
4.4 Iterated quadratic estimate and Proof of Theorem 3.7
Recalling that \({\bar{v}}(T_0)=0\), we deduce from (33) that
Now, we want to obtain an estimate as (36) for the solution v of problem (23) defined in successive time intervals of the form \([nT,(n+1)T]\), with \(n\ge 1\).
Proposition 4.5
Let \(\{A,B\}\) be j-null controllable in time \(T_0\) and assume \(\lambda _j=0\). Let \(v_0\in X\) be such that
where \(K_0\) is defined in (31).
Then, there exists a control \(p_n\in L^2(nT_0,(n+1)T_0)\) such that the corresponding solution v of (23) on the time interval \([nT_0,(n+1)T_0]\) satisfies
Proof
We proceed by induction on n. For \(n=0\), the result has been proved in Proposition 4.4. We suppose that it is true for any index until \(n-1\), and we prove it for n. Iterating the construction of the solution v of (23) in consecutive time intervals of the form \([kT_0,(k+1)T_0]\) until \(k+1=n\), we set \(v_{nT_0}=v(nT_0)\) and we consider the system
We shift this problem in the time interval \([0,T_0]\) by introducing the variable \(s:=t-nT_0\) and the functions \({\tilde{v}}(s)=v(s+nT_0)\), \({\tilde{p}}_n(s)=p_n(s+nT_0)\). Then, \({\tilde{v}}\) is the solution of the following Cauchy problem:
Since \(\{A,B\}\) is j-null controllable in time \(T_0\), there exists a control \({\tilde{p}}_n\in L^2(0,T_0)\) such that the associated linear system of (40) is null controllable and moreover \({\tilde{p}}_n\) satisfies
Therefore, coming back to the original time interval \([nT_0,(n+1)T_0]\) and setting \({p}_n(t):={\tilde{p}}_n(t-nT_0)\), for all \(t\in [nT_0,(n+1)T_0]\), we find that
Moreover, since by inductive hypothesis
we deduce that
Hence, we can use Proposition 4.4 for problem (39), obtaining
and this concludes the induction argument and the proof of the proposition. \(\square \)
The last step that allows us to prove Theorem 3.7 consists in showing the rapid decay of the solution u of our initial problem (11) to the fixed stationary trajectory \(\varphi _j\).
Proposition 4.6
Let \(\{A,B\}\) be j-null controllable in time \(T_0\) and assume \(\lambda _j=0\).
Then, there exists a constant \(C_{T_0}>0\) such that for every \(\theta \in (0,1)\) and for every \(||v_0||\le \frac{\theta }{K_0}\), with \(K_0\) defined as in (31), there exists a control \(p\in L^2_{\mathrm{loc}}(0,+\infty )\) for which the solution u of (11) satisfies
Proof
We have supposed that \(||v_0||\le \frac{\theta }{K_0}\), with \(\theta \in (0,1)\). Thus, (38) at rank \(n-1\), becomes
Consider now the time interval \([nT_0,(n+1)T_0]\). From estimate (19) used here for problem (39) in the time interval \([nT_0,(n+1)T_0]\) and from the bound (41) for the control \(p_n\), we deduce that there exists a constant \(C_{T_0}>0\) such that
Therefore, using (38) in (47), we obtain that
Since \(n\le \frac{t}{T_0}\le (n+1)\) and \(\theta \in (0,1)\), it holds that
By definition, \(v(t)=u(t)-\varphi _j\). So, we deduce (45). \(\square \)
We now prove Theorem 3.7 for \(\lambda _j=0\).
Proof of Theorem 3.7 (case \(\lambda _j=0\)) Since \(\{A,B\}\) is by assumption j-null controllable, there exists \(T_0>0\) such that \(\{A,B\}\) is j-null controllable in time \(T_0\). By hypothesis, the jth eigenvalue of A is equal to zero; hence, we have to prove the superexponential stabilizability of system (22) to the eigensolution \(\psi _j\equiv \varphi _j\).
Let \(\rho >0\) and let \(\theta \in (0,1)\) be the value for which \(\theta ={\mathrm{e}}^{-2\rho }\). Then, setting \(R_\rho :=\frac{{\mathrm{e}}^{-2\rho }}{K_0}\), from Proposition 4.6, if \(||u_0-\varphi _j||\le R_{\rho }\), then
Hence, by defining
we conclude the proof of local superexponential stabilizability of problem (11) to the jth eigensolution, when \(\lambda _j=0\), by means of a control \(p\in L^2_{\mathrm{loc}}(0,+\infty )\) defined as
\(\square \)
We now deal with the general case \(\lambda _j\ne 0\).
Lemma 4.7
Let A satisfy hypothesis (6). If \(\{A,B\}\) is j-null controllable, then \(\{A_j,B\}\) is j-null controllable, where \(A_j:D(A)\subset X\rightarrow X\) is defined as
Proof
It is immediate to check that \(A_j\) verifies (6). Let us show that \(\{A_j,B\}\) is j-null controllable in the same time \(T_0>0\) as \(\{A,B\}\).
We have to prove that the following problem
is null controllable and that the desired estimate (13) on q holds true. Now, defining \(Y(t):={\mathrm{e}}^{-\lambda _j t}y(t)\) and \(p(t):={\mathrm{e}}^{-\lambda _j t}q(t)\), we can rewrite problem (52) as
Since \(\{A,B\}\) is j-null controllable, there exists a time \(T_0>0\), a constant \(N(T_0)>0\) and a control \(p\in L^2(0,T_0)\) such that \(Y(T_0;y_0,p)=0\) and
Hence, we deduce that the solution of (52) satisfies \(y(T_0;y_0,q)=0\) with \(q(t)={\mathrm{e}}^{\lambda _j t}p(t)\). Furthermore,
\(\square \)
We are ready to complete the proof of Theorem 3.7.
Proof of Theorem 3.7 (case \(\lambda _j\ne 0\))
Now, in order to deal with the case \(\{A,B\}\) j-null controllable in time \(T_0\) and \(\lambda _j\ne 0\), we consider the operator \(A_j\) defined in (51).
From Lemma 4.7, we have that \(\{A_j,B\}\) is j-null controllable in time \(T_0\). Moreover, the eigenvalues of \(A_j\) are given by
(in particular, \(\mu _j=0\)), with the same eigenfunctions than those of A, \(\{\varphi _k\}_{k\in {\mathbb {N}}^*}\).
Observe that \(z(t):={\mathrm{e}}^{\lambda _j t}u(t)\), with u the solution of (11), solves
So, we can apply the first part of the proof of Theorem 3.7 (for \(\mu _j=0\)) to this problem and deduce that for all \(\rho >0\) there exists \(R_\rho >0\) such that, if \(||u_0-\varphi _j||\le R_\rho \), then
where \(M,\omega \) are positive constants.
Therefore,
The conclusion follows by possibly increasing \(\rho \)Footnote 1. \(\square \)
5 Proof of Theorem 3.8
Let us recall the notion of biorthogonal family and a result we will use to show that \(\{A,B\}\) is j-null controllable under the conditions of Theorem 3.8.
Definition 5.1
Let \(\{\zeta _j\}\) and \(\{\sigma _k\}\) be two sequences in a Hilbert space H. We say that the two families are biorthogonal or, that \(\{\zeta _j\}\) (resp.\(\{\sigma _k\}\)) is biorthogonal to \(\{\sigma _k\}\) (resp. \(\{\zeta _j\}\)), if
where \(\delta _{jk}\) is the Kronecker delta.
The notion of biorthogonal family was used by Fattorini and Russell in [14], where they introduced the moment method. Such a technique was developed later by several authors. We recall below the result proved in [11].
Theorem 5.2
Let \(T>0\), let \(\{\omega _k\}_{k\in {\mathbb {N}}}\) be a nonnegative increasing sequence, and set \(\zeta _k(t):={\mathrm{e}}^{\omega _k t}\), \(t\in [0,T]\), \(k\ge 0\).
If, for some \(\alpha >0\),
then there exists a family \(\{\sigma _j\}_{j\ge 0}\) which is biorthogonal to \(\{\zeta _k\}_{k\ge 0}\) in \(L^2(0,T)\), that is,
Furthermore, there exist constants \(C_\alpha ,C_\alpha (T)>0\) such that
Proof of Theorem 3.8
In order to prove that \(\{A,B\}\) is j-null controllable, we have to show that there exists \(T>0\) such that the following problem
is null controllable with \(p\in L^2(0,T)\) that satisfies (13).
First, we observe that by the hypothesis on A, the eigenfunctions \(\{\varphi _k\}_{k\in {\mathbb {N}}^*}\) form an orthonormal basis of X.
Let \(T>\tau \), where \(\tau \) has been defined in (16). For any \(y_0\in X\) and \(p\in L^2(0,T)\), it follows from Proposition 4.1 that there exists a unique mild solution \(y\in C^0([0,T],X)\) of (56) that can be represented by the formula
We want to find \(p\in L^2(0,T)\) such that \(y(T)=0\); thus, the following equality must hold:
Therefore,
Thus, proving null controllability of the linear system (56) reduces to finding a function \(p\in L^2(0,T)\) that satisfies
Taking \(q(t):={\mathrm{e}}^{\lambda _1 s}p(s)\) and \(\omega _k:=\lambda _k-\lambda _1\ge 0\), the family of Eqs. (60) can be rewritten as
Thanks to assumption (15), there exists \(\alpha >0\) such that the gap condition \(\sqrt{\omega _{k+1}}-\sqrt{\omega _k}\ge \alpha \) holds for all \(k\in {\mathbb {N}}^*\). Then, Theorem 5.2 ensures the existence of a family \(\{\sigma _k\}_{k\in {\mathbb {N}}^*}\) such that \(\int \nolimits _0^T \sigma _k(t){\mathrm{e}}^{\omega _j t}\mathrm{d}t=\delta _{kj}\), \(\forall \,k,j\in {\mathbb {N}}^*\).
We claim that the series
is convergent in \(L^2(0,T)\). Indeed, appealing to estimate (55) for \(\{\sigma _k\}_{k\in {\mathbb {N}}^*}\)
We observe that the above right-hand side is finite because hypothesis (16) (ii) guarantees
because \(T>\tau \).
Therefore, the control function \(q(t):=\sum _{k\in {\mathbb {N}}^*}\frac{\langle y_0,\varphi _k\rangle }{\langle B\varphi _j,\varphi _k\rangle }\sigma _k(t)\) belongs to \(L^2(0,T)\) and satisfies
thanks to the properties of \(\{\sigma _k\}_{k\in {\mathbb {N}}^*}\).
Finally, returning to p, we deduce that
The conclusion follows by taking
\(\square \)
6 Applications
In this section, we discuss examples of bilinear control systems to which we can apply Corollary 3.10. The first problems we study are 1D parabolic equations of the form
in the state space \(X=L^2(0,1)\), with Dirichlet or Neumann boundary conditions and with B the following multiplication operators:
where the functions \(\mu \) are in some appropriate Sobolev space.
Then, we prove the superexponential stabilizability of the following one-dimensional equation with variable coefficients
with Dirichlet boundary conditions.
Finally, we apply Corollary 3.10 to the following parabolic equation
for radial data in the 3D unit ball \(B^3\).
In each example, we will denote by \(\{\lambda _k\}_{k\in {\mathbb {N}}^*}\) and \(\{\varphi _k\}_{k\in {\mathbb {N}}^*}\), respectively, the eigenvalues and eigenfunctions of the second-order operator associated with the problem under investigation. We will take \(({\bar{u}},{\bar{p}})=(\psi _j,0)\) as reference trajectory–control pair, where \(\psi _j={\mathrm{e}}^{-\lambda _j t}\varphi _j\) are the eigensolutions associated with the second-order operator at hand.
Remark 6.1
All the second-order operators considered in the aforementioned examples are accretive, that is, \(\langle Ax,x\rangle \ge 0\), for all \(x\in D(A)\). Hence, the eigenvalues \(\{\lambda _k\}_{k\in {\mathbb {N}}^*}\) are nonnegative.
In this case, we claim that it is sufficient to verify the following gap condition to have (15):
Indeed, if (66) holds, we have that
for all \(k\ge 1\), that is (15).
6.1 Dirichlet boundary conditions
Let \(\Omega =(0,1)\), \(X=L^2(\Omega )\) and consider the problem
where \(p\in L^2(0,T)\) is the control function, u the state variable, and \(\mu \) is a function in \(H^3(\Omega )\).
We denote by A the operator defined by
A satisfies all the properties in (6): In particular, it is strictly accretive and its eigenvalues and eigenfunctions have the following explicit expressions:
It is straightforward to prove that the eigenvalues fulfill the required gap property. Indeed,
So, (66) is satisfied (hence (15) holds).
In order to apply Corollary 3.10 to system (67) and deduce the superexponential stabilizability to the trajectory \(\psi _j\), we need to prove that
-
\(\langle B\varphi _j,\varphi _k\rangle \ne 0\), for all \(k\in {\mathbb {N}}^*,\)
-
there exists \(\tau >0\) such that
$$\begin{aligned} \sum _{k\in {\mathbb {N}}^*}\frac{{\mathrm{e}}^{-2\lambda _k \tau }}{|\langle B\varphi _j,\varphi _k\rangle |^2}<+\infty . \end{aligned}$$
Following the strategy in [5, formula (8)] (for the case \(j=1\)), we find that
Thus, if
we deduce that \(\langle \mu \varphi _j,\varphi _k\rangle \) is of order \(1/k^3\) as \(k\rightarrow \infty \).
Remark 6.2
An example of a function which satisfies (69) is \(\mu (x)=x^2\). Indeed, in this case
and so \(\langle \mu \varphi _j,\varphi _k\rangle \ne 0\) for all \(k\in {\mathbb {N}}^*\) and furthermore there exists a constant \(C_j>0\), that depends on j, such that
We conclude that, under assumption (69),
and thanks to the polynomial behavior of the bound
for all \(\tau >0\).
Therefore, all the hypotheses of Corollary 3.10 are satisfied and system (67), with initial condition \(u_0\) in a neighborhood of the eigenstate \(\varphi _j\), is superexponentially stabilizable to the eigensolution \(\psi _j\), for all \(j\ge 1\).
Remark 6.3
Assumption (70) for problem (67) is not too restrictive. In fact, it is possible to prove that the set of functions in \(H^3(\Omega )\) for which (70) holds is dense in \(H^3(\Omega )\). For a proof of this fact, see Appendix A in [5].
6.2 Neumann boundary conditions
Now, we look at an example with Neumann boundary conditions: Let \(\Omega =(0,1)\) and consider the following bilinear stabilizability problem:
Let \(X=L^2(\Omega )\). When we rewrite (71) in abstract form, the operators A and B are defined by
where \(\mu \) is a real-valued function in \(H^2(\Omega )\).
Operator A satisfies the assumptions in (6), and it is possible to compute explicitly its eigenvalues and eigenfunctions:
Since the eigenvalues are the same of those in Example 6.1 for \(k\ge 1\), the gap condition is satisfied for all \(k\ge 0\).
Integrating by parts, we find that the scalar product \(\langle \mu \varphi _j,\varphi _k\rangle \) is equal to
Thus, reasoning as Example 6.1, if \(\langle B\varphi _j,\varphi _k\rangle \ne 0\), \(\forall k \in {\mathbb {N}}\) and \(\mu ^{\prime }{}(1)\pm \mu ^{\prime }{}(0)\ne 0\), we have that
and therefore the series in (16) is finite for all \(\tau >0\).
Remark 6.4
An example of a suitable function \(\mu \) for problem (71) that satisfies the above hypothesis is \(\mu (x)=x^2\), for which
and for \(j\ne 0\)
Applying Corollary 3.10, it follows that system (71), with initial condition \(u_0\) in a neighborhood of \(\varphi _j\), is superexponentially stabilizable to the eigensolution \(\psi _j\), for any \(j\in {\mathbb {N}}\).
6.3 Dirichlet boundary conditions, variable coefficients
In this example, we analyze the superexponential stabilizability of a parabolic equation in divergence form with nonconstant coefficients in the second-order term.
Let \(\Omega =(0,1)\), \(X=L^2(\Omega )\) and consider the problem
where \(p\in L^2(0,T)\) is the control and \(\mu \) is a function in \(H^2(\Omega )\) with some properties to be specified later.
We denote by A the operator
where \(D(A)=H^2\cap H^1_0(\Omega )\) and it is possible to prove that A satisfies the properties in (6). The eigenvalues and eigenfunctions of A are computed as follows:
The gap condition (66) holds:
Hence, from Remark 6.1, hypothesis (15) is verified.
Now, we check the hypotheses on the operator \(B\varphi =\mu \varphi \) needed to apply Corollary 3.10. We recall that we want to prove that:
-
\(\langle B\varphi _j,\varphi _k\rangle \ne 0\), for all \(k\in {\mathbb {N}}^*\),
-
there exists \(\tau >0\) such that
$$\begin{aligned} \sum _{k\in {\mathbb {N}}^*}\frac{{\mathrm{e}}^{-2\lambda _k \tau }}{|\langle B\varphi _j,\varphi _k\rangle |^2}<+\infty . \end{aligned}$$(74)
Let us compute the Fourier coefficients of \(B\varphi _j\):
Observe that, for the same reason of Example 6.1, if \(2\mu '(1)\pm \mu '(0)\ne 0\) and \(\langle \mu \varphi _j,\varphi _k\rangle \ne 0\), \(\forall \, k \in {\mathbb {N}}^*\), then there exists a constant \(C>0\) such that \(|\langle B\varphi _j,\varphi _k\rangle |\) is bounded from below by \(C\lambda _k^{-3/2}\), for all \(k\in {\mathbb {N}}^*\). Thus, series (74) is finite for all \(\tau >0\).
Remark 6.5
Let us fix \(j=1\). As an example of a function \(\mu \) that verifies the lower bound \(|\langle \mu \varphi _1,\varphi _k\rangle |\ge C\lambda _k^{-3/2}\), one can consider again \(\mu (x)=x\): Indeed, it satisfies the sufficient condition \(2\mu '(1)\pm \mu '(0)\ne 0\) and the Fourier coefficients of \((B\varphi _1)(x)=x\varphi _1(x)\) are all different from zero:
This concludes the verification of the hypotheses of Corollary 3.10 that imply the superexponential stabilizability of (73) with initial condition \(u_0\) in a neighborhood of \(\varphi _j\) to the eigensolution \(\psi _j\), for all \(j\in {\mathbb {N}}^*\).
6.4 3D ball with radial data
In this example, we consider an evolution equation in the three-dimensional unit ball \(B^3\) for radial data. The bilinear stabilizability problem is the following:
where the Laplacian in polar coordinates for radial data has the form
The function \(\mu \) is a radial function as well in the space \(H^3_r(B^3)\), where the spaces \(H^k_r(B^3)\) are defined as follows:
The domain of the Dirichlet Laplacian \(A:=-\Delta \) in X is \(D(A)=H^2_{r}\cap H^1_0(B^3)\). We observe that A satisfies the hypotheses required to apply Theorem 3.10. We denote by \(\{\lambda _k\}_{k\in {\mathbb {N}}^*}\) and \(\{\varphi _k\}_{k\in {\mathbb {N}}^*}\) the families of eigenvalues and eigenfunctions of A, \(A\varphi _k=\lambda _k\varphi _k\), namely
See [21], section 8.14. The family \(\{\varphi _k\}_{k\in {\mathbb {N}}^*}\) forms an orthonormal basis of X.
In order to prove a superexponential stabilizability result to the eigensolutions \(\psi _j\), we need to verify the remaining hypotheses in Corollary 3.10 regarding the gap condition of the eigenvalues of A and the properties of the operator \(B:X\mapsto X\), \(B\varphi =\mu \varphi \).
Since the Laplacian in the 3D ball for radial data behaves as a one-dimensional operator, the analysis is very similar to the previous cases. Indeed, since the eigenvalues of the operator A are actually the same of the 1D Dirichlet Laplacian, we have
In order to compute a suitable lower bound for the Fourier coefficients of \(B\varphi _j\), we recall the following property of radial symmetric functions \(f=f(r)\): The integral over the unit ball \(B^n\subset {\mathbb {R}}^n\) of \(f=f(r)\) reduces to
where \(|S^{n-1}|\) is the measure of the surface of the sphere \(S^{n-1}\).
Therefore,
Following the same argument as in Example 6.1, if all the coefficients \(\langle \mu \varphi _j,\varphi _k\rangle \) are different from zero and, moreover, \(\mu '(1)\pm \mu '(0)\ne 0\), then there exists a constant \(C>0\) such that
and thus the series in (74) is finite also in this case, for all \(\tau >0\).
Remark 6.6
An example of a function \(\mu \in H^3_{r}(B^3)\) with the aforementioned properties is \(\mu (r)=r^2\). In this case, the Fourier coefficients of \(B\varphi _j\) are defined by
Finally, applying Corollary 3.10, we deduce that, fixed \(T>0\), for all \(\rho >0\), there exists \(R_\rho >0\) such that, if the initial condition \(u_0\) satisfies \(||u_0-\varphi _j||\le R_\rho \), then
where \(M,\omega >0\) are suitable constants.
Notes
For \(\lambda _j>0\), take \(\rho ={\bar{\rho }}\) and for \(\lambda _j<0\) take \(\rho \ge {\bar{\rho }}+\frac{|\lambda _j|}{\omega }\) Then, \(\forall \bar{\rho }>0,\exists R_{\bar{\rho }}>0\) s.t. if \(\Vert u_0-\varphi _j\Vert \le R_{\bar{\rho }}\), we have that \(||u(t)-\psi _j(t)||\le {{M}}{\mathrm{e}}^{-\rho {\mathrm{e}}^{{\bar{\omega }}t}}\).
References
F. Alabau-Boussouira, P. Cannarsa, and C. Urbani. Exact controllability to the ground state solution for evolution equations of parabolic type via bilinear control. preprint available onarXiv:1811.08806.
F. Alabau-Boussouira, P. Cannarsa, and C. Urbani. Bilinear control for evolution equations of parabolic type with unbounded lower order terms. in preparation.
J.M. Ball, J.E. Marsden, and M. Slemrod. Controllability for distributed bilinear systems. SIAM Journal on Control and Optimization, 20(4):575–597, 1982.
K. Beauchard. Local controllability and non-controllability for a 1d wave equation with bilinear control. Journal of Differential Equations, 250(4):2064–2098, 2011.
K. Beauchard and C. Laurent. Local controllability of 1d linear and nonlinear Schrödinger equations with bilinear control. J. Math. Pures Appl., 94:520–554, 2010.
K. Beauchard and M. Morancey. Local controllability of 1D Schrödinger equations with bilinear control and minimal time. Mathematical Control & Related Fields, 4(2):125–160, 2014.
A. Bensoussan, G. Da Prato, M.C. Delfour, and S.K. Mitter. Representation and control of infinite dimensional systems, volume 1. Birkhäuser Boston, 1992.
P. Cannarsa, G. Floridia, and A. Y. Khapalov. Multiplicative controllability for semilinear reaction-diffusion equations with finitely many changes of sign. Journal de Mathématiques Pures et Appliquées, 108(4):425–458, 2017.
P. Cannarsa and A. Y. Khapalov. Micromotions and controllability of a swimming model in an incompressible fluid governed by 2-d or 3-d navier–stokes equations. Journal of Mathematical Analysis and Applications, 465(1):100–124, 2018.
P. Cannarsa and A.Y. Khapalov. Multiplicative controllability for reaction–diffusion equations with target states admitting finitely many changes of sign. Discrete Contin. Dyn. Syst. Ser. B, 14:1293–1311, 2010.
P. Cannarsa, P. Martinez, and J. Vancostenoble. The cost of controlling weakly degenerate parabolic equations by boundary controls. Mathematical Control & Related Fields, 7(2):171–211, 2017.
P. Cannarsa and C. Urbani. Superexponential stabilizability of degenerate parabolic equations via bilinear control. Inverse Problems and Related Topics, 310:31–45, 2020.
T. Chambrion, P. Mason, M. Sigalotti, and U. Boscain. Controllability of the discrete-spectrum Schrödinger equation driven by an external field. Annales de l’IHP Analyse non linéaire, 26(1):329–349, 2009.
H.O. Fattorini and D.L. Russell. Exact controllability theorems for linear parabolic equations in one space dimension. Archive for Rational Mechanics and Analysis, 43(4):272–292, 1971.
E. Fernández-Cara, S. Guerrero, O Y. Imanuvilov, and J.-P. Puel. Local exact controllability of the Navier–Stokes system. Journal de Mathématiques Pures et Appliquées, 83(12):1501–1542, 2004.
G. Floridia. Approximate controllability for nonlinear degenerate parabolic problems with bilinear control. Journal of Differential Equations, 257(9):3382–3422, 2014.
A. Khapalov, P. Cannarsa, F. S. Priuli, and G. Floridia. Well-posedness of 2-d and 3-d swimming models in incompressible fluids governed by Navier–Stokes equations. Journal of Mathematical Analysis and Applications, 429(2):1059–1085, 2015.
A.Y. Khapalov. Global non-negative controllability of the semilinear parabolic equation governed by bilinear control. ESAIM: Control, Optimisation and Calculus of Variations, 7:269–283, 2002.
A.Y. Khapalov. On bilinear controllability of the parabolic equation with the reaction–diffusion term satisfying newton’s law. J. Comput. Appl. Math, 21(1):275–297, 2002.
A.Y. Khapalov. Controllability of partial differential equations governed by multiplicative controls. Springer, Berlin, 2010.
N.N. Lebedev. Special functions and their applications. Revised English edition. Translated and edited by Richard A. Silverman. Prentice-Hall Inc., Englewood Cliffs, NJ, 1965.
J.-L. Lions. Contrôlabilité exacte, perturbations et stabilisation de systèmes distribués. tome 1. RMA, 8, 1988.
J.L. Lions. Contrôlabilité exacte, stabilisation et perturbations de systemes distribues. tome 2., 1988.
Acknowledgements
The authors would like to thank K. Beauchard for her precious comments and the anonymous reviewers for their suggestions which helped us to improve our manuscript. The last two authors would also like to thank A. Duca for interesting discussions.
Funding
Open access funding provided by Università degli Studi di Roma Tor Vergata within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This paper was partly supported by the INdAM National Group for Mathematical Analysis, Probability and their Applications. P. Cannarsa: This author acknowledges support from the MIUR Excellence Department Project awarded to the Department of Mathematics, University of Rome Tor Vergata, CUP E83C18000100006. C. Urbani: This author is grateful to University Italo Francese (Vinci Project 2018).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Alabau-Boussouira, F., Cannarsa, P. & Urbani, C. Superexponential stabilizability of evolution equations of parabolic type via bilinear control. J. Evol. Equ. 21, 941–967 (2021). https://doi.org/10.1007/s00028-020-00611-z
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00028-020-00611-z