Abstract
In a separable Hilbert space X, we study the controlled evolution equation
where \(A\ge -\sigma I\) (\(\sigma \ge 0\)) is a self-adjoint linear operator, B is a bounded linear operator on X, and \(p\in L^2_{loc}(0,+\infty )\) is a bilinear control. We give sufficient conditions in order for the above nonlinear control system to be locally controllable to the jth eigensolution for any \(j\ge 1\). We also derive semi-global controllability results in large time and discuss applications to parabolic equations in low space dimension. Our method is constructive and all the constants involved in the main results can be explicitly computed.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In a separable Hilbert space X consider the nonlinear control system
where \(A:D(A)\subset X\rightarrow X\) is a linear self-adjoint operator on X such that \(A\ge -\sigma I\), with \(\sigma \ge 0\), B belongs to \({\mathcal {L}}(X)\), the space of all bounded linear operators on X, and p(t) is a scalar function representing a bilinear control. We suppose that the spectrum of A consists of a sequence of real numbers \(\{\lambda _k\}_{k\in {\mathbb {N}}^*}\) which can be ordered, whithout loss of generality, as \(-\sigma \le \lambda _k\le \lambda _{k+1}\rightarrow \infty \) as \(k\rightarrow \infty \). We denote by \(\{\varphi _k\}_{k\in {\mathbb {N}}^*}\) the corresponding eigenfunctions, \(A\varphi _k=\lambda _k\varphi _k,\) with \(\left\Vert \varphi _k \right\Vert =1\), \(\forall \,k\in {\mathbb {N}}^*\).
In the recent paper [1], we studied the stabilizability of (1.1) to the jth eigensolution of the free equation (\(p\equiv 0\)), \(\psi _j(t)=e^{-\lambda _j t}\varphi _j\), for every \(j\in {\mathbb {N}}^*\). For this purpose, we introduced the notion of j-null controllability in time \(T>0\) for the pair \(\{A,B\}\): denoting by \(y(\cdot ;y_0,p)\) the solution of the linear system
we say that \(\{A,B\}\) is j-null controllable in time \(T>0\) if for any initial condition \(y_0\in X\) there exists a control \(p\in L^2(0,T)\) such that
where \(N_T\) is a positive constant depending only on T. Then, the control cost is given by
In [1, Theorem 3.7] we have shown that, if \(\{A,B\}\) is j-null controllable, then (1.1) is locally superexponentially stabilizable to \(\psi _j\): for all \(u_0\) in some neighborhood of \(\varphi _j\) there exists a control \(p\in L^2_{loc}([0,+\infty ))\) such that the corresponding solution u of (1.1) satisfies
for suitable constants \(\omega ,M>0\) independent of \(u_0\). Notice that such a result holds only under the condition of j-null controllability for the pair \(\{A,B\}\). In particular, no assumptions are required on the behavior of the control cost.
Moreover, in [1, Theorem 3.8] we gave sufficient conditions to ensure the j-null controllability of \(\{A,B\}\): a gap condition for the eigenvalues of A and a rank condition on B.
In this paper, we address the related, more delicate, issue of the exact controllability of (1.1) to the eigensolutions \(\psi _j\) via bilinear controls. The main differences between the results of this paper and [1, Theorem 3.7] can be summarized as follows:
-
in addition to assuming the pair \(\{A,B\}\) to be j-null controllable, we further require that the control cost \(N(\cdot )\) satisfies \(N(\tau )\le e^{\nu /\tau }\) for any \(0<\tau \le T_0\), with \(\nu ,T_0>0\),
-
under the above stronger assumptions, not only we prove local exact controllability in any time, but also global exact controllablity in large time for a wide set of initial data.
The following result ensures local exact controllability for problem (1.1) assuming a precise behavior of the control cost for small time. In the last section of this paper, we show that such a behavior of the control cost is typical of parabolic problems in one space dimension.
Theorem 1.1
Let \(A:D(A)\subset X\rightarrow X\) be a densely defined linear operator such that
and let \(B:X\rightarrow X\) be a bounded linear operator. Assume that \(\{A,B\}\) is j-null controllable in any time \(T>0\) for some \(j\in {\mathbb {N}}^*\) and suppose that
for some constants \(\nu =\nu (j),T_0>0\).
Then, for any \(T>0\), there exists a constant \(R_{T}>0\) such that, for any \(u_0\in B_{R_{T}}(\varphi _j)\), there exists a control \(p\in L^2(0,T)\) such that the solution u of (1.1) satisfies \(u(T)=\psi _j(T)\). Moreover, the following estimate holds
where \(\Gamma _0\) and \(R_T\) can be computed as follows
with
The main idea of the proof consists in applying the stability estimates of [1] on a suitable sequence of time intervals of decreasing length \(T_j\), such that \(\sum _{j=1}^\infty T_j<\infty \). Such a sequence, which can be constructed only thanks to (1.4), has to be carefully chosen in order to fit the error estimates that we take from [1]. We point out that our method is fully constructive, being based on an algorithm that allows to compute all relevant constants. In particular, we make no use of inverse mapping theorems. Indeed, our strategy relies on the resolution of a moment problem to define a suitable control which steers the solution of our problem to the desired eigensolution. To this purpose, we use an estimate of the biorthogonal family to the family of exponentials that has been established in [15].
In [1], we gave sufficient conditions for j-null controllability. However, the hypotheses of [1, Theorem 3.8] do not guarantee the validity of condition (1.4) for the control cost. In the result that follows, we provide sufficient conditions for N(T) to satisfy (1.4). It would be interesting to understand if (1.4) is also necessary for the local exact controllability of (1.1).
Theorem 1.2
Let \(A:D(A)\subset X\rightarrow X\) be such that (1.3) holds and suppose that there exists a constant \(\alpha >0\) for which the eigenvalues of A fulfill the gap condition
Let \(j\in {\mathbb {N}}^*\) be fixed and let \(B: X\rightarrow X\) be a bounded linear operator such that there exist \(b,q>0\) for which
Then, the pair \(\{A,B\}\) is j-null controllable in any time \(T>0\), and the control cost N(T) satisfies (1.4) with
and \(\nu =\nu _j=\nu _j(M,b,q,\alpha )\), where
and
Here \(\Gamma (\cdot )\) is the Gamma function and C is a positive constant independent of T and \(\alpha \).
Observe that assumption (1.11) is stronger than [1, hypothesis (16)]. Nevertheless, it is satisfied by all the examples of parabolic problems that we presented in [1].
From Theorems 1.1 and 1.2 we deduce the following Corollary.
Corollary 1.3
Let \(A:D(A)\subset X\rightarrow X\) be such that (1.3) holds and suppose that there exists a constant \(\alpha >0\) for which (1.10) is satisfied. Let \(B: X\rightarrow X\) be a bounded linear operator that verifies (1.11) for some \(b,q>0\). Then, problem (1.1) is locally controllable to the jth eigensolution \(\psi _j\) in any time \(T>0\).
Furthermore, from Theorem 1.1 we deduce two semi-global controllability results in the case of an accretive operator A. In the first one, Theorem 1.4 below, we prove that all initial states lying in a suitable strip can be steered in finite time to the first eigensolution \(\psi _1\) (see Fig. 1). Moreover, we give a uniform estimate for the controllability time depending on the size of the projection of the initial datum \(u_0\) on \(\varphi _1^\perp \).
Theorem 1.4
Let \(A:D(A)\subset X\rightarrow X\) be a densely defined linear operator such that (1.3) holds with \(\sigma =0\) and let \(B:X\rightarrow X\) be a bounded linear operator. Let {A,B} be a 1-null controllable pair which satisfies (1.4). Then, there exists a constant \(r_1>0\) such that for any \(R>0\) there exists \(T_{R}>0\) such that for all \(u_0\in X\) with
problem (1.1) is exactly controllable to the first eigensolution \(\psi _1(t)=e^{-\lambda _1 t}\varphi _1\) in time \(T_{R}\).
Our second semi-global result, Theorem 1.5 below, ensures the exact controllability of all initial states \(u_0\in X\setminus \varphi _1^\perp \) to the evolution of their orthogonal projection along the first eigensolution. Such a function is defined by
where \(\psi _1\) is the first eigensolution. Notice that if \(\langle u_0,\varphi _1\rangle >0\) and \(\lambda _1>0\), \(\phi _1(\cdot )\) can been interpreted as a time-shift of \(\psi _1\):
with \(t_1:=\frac{1}{\lambda _1}\log \langle u_0,\varphi _1\rangle \).
Theorem 1.5
Let \(A:D(A)\subset X\rightarrow X\) be a densely defined linear operator such that (1.3) holds with \(\sigma =0\) and let \(B:X\rightarrow X\) be a bounded linear operator. Let {A,B} be a 1-null controllable pair which satisfies (1.4). Then, for any \(R>0\) there exists \(T_R>0\) such that for all \(u_0\in X\) with
system (1.1) is exactly controllable to \(\phi _1\), defined in (1.17), in time \(T_R\).
Notice that, denoting by \(\theta \) the angle between the half-lines \(\mathbb {R}_+\varphi _1\) and \(\mathbb {R}_+ u_0\), condition (1.18) is equivalent to
which defines a closed cone, say \(Q_R\), with vertex at 0 and axis equal to \(\mathbb {R}\varphi _1\) (see Fig. 2). Therefore, Theorem 1.5 ensures a uniform controllability time for all initial conditions lying in \(Q_R\). We observe that, since R is any arbitrary positive constant, all initial conditions \(u_0\in X\setminus \varphi _1^\perp \) can be steered to the corresponding projection to the first eigensolution. Indeed, for any \(u_0\in X\setminus \varphi _1^\perp \), we define
Then, for any \(R\ge R_0\) condition (1.18) is fulfilled:
The proof of Theorems 1.4 and 1.5 uses the strict accretivity of A in every direction \(\varphi _j\) with \(j> 1\). By letting the equation evolve freely under the action of the semigroup generated by \(-A\), the trajectory enters a neighbourhood of the 1-st eigenstate so that we can apply our local controllability result stated in Theorem 1.1.
Our approach allows for some extensions which cover more general control systems. For instance, operator B can be assumed to be unbounded provided that \(D(A^{1/2})\hookrightarrow D(B)\) and \(||B\varphi ||\le C\left( ||A^{1/2}\varphi ||+||\varphi ||\right) \), thus including the important example of the one dimensional Fokker-Planck equation. Moreover, we can also treat more general control costs satisfying
for some \(\alpha >0\), instead of (1.4). However, both extensions require a substantial amount of additional work. This is why we prefer to keep them for a forthcoming paper.
Finally, we would like to recall part of the huge literature on bilinear control of evolution equations, referring the reader to the references in [1] for more details. A seminal paper in this field is certainly the one by Ball et al. [3], which establishes that system (1.1) is not controllable along any reference trajectory. More precisely, denoting by \(u(t;u_0,p)\) the unique solution of (1.1), the attainable set from \(u_0\) defined by
is shown in [3] to have a dense complement, and so it cannot be a neighbourhood of the reference trajectory. Notice that, since we control our bilinear problem exactly to the reference trajectory, the negative result of [3] does not represent an obstacle for this kind of controllability.
As for positive results, we would like to mention Beauchard [5], on bilinear control of the wave equation, and Beauchard and Laurent [7] on bilinear control of the Schrödinger equation (see also [4] for a first result on this topic). The results obtained in these papers rely on linearization around the ground state, the use of the inverse mapping theorem, and a regularizing effect which takes place in both problems. The latter property allows the authors to work in spaces where the operator B turns out to be unbounded. Local controllability is proved for any positive time for the Schrödinger equation and for a sufficiently (optimal) large time for the wave equation. Both papers require the condition
to be satisfied, together with a suitable asymptotic behavior with respect to the eigenvalues. Notice that the structure of the second order operator and the fact that the space dimension equals one allow the authors of [5, 7] to apply Ingham’s theory [19] which requires a gap condition on the eigenvalues. We further observe that even if the genericity of assumption (1.19) is proved in both papers [5, 7], only few explicit examples of operators B of multiplication type are available in the literature. We refer to [2] where both a general constructive original method and an original algorithm for building potentials which satisfy the infinite non-vanishing conditions (1.19), and further the asymptotic condition (1.11), are established, for the first time to our knowledge.
If (1.19) is violated then it has been first shown by Coron [17], for a model describing a particle in a moving box, that there exists a minimal time for local exact controllability to hold. This model couples the Schrödinger equation with two ordinary differential equations modeling the speed and acceleration of the box (see also Beauchard and Coron [6] for local exact controllability for large time). A further paper by Beauchard and Morancey [9] for the Schrödinger equation extends [7] to cases for which the above condition is violated, that is, when there exist integers k such that \(\langle B\varphi _1,\varphi _k\rangle =0\).
An example of controllability to trajectories for nonlinear parabolic systems is studied in [18], where, however, additive controls are considered. In such an example, one can obtain controllability to free trajectories by Carleman estimates and inverse mapping arguments. Such a strategy seems hard to adapt to the current setting.
The paper which has the strongest connection with our work is the one by Beauchard and Marbach in [8], where the authors study small-time null controllability for a scalar-input heat equation in one space dimension, with nonlinear lower order terms. Among the results of such paper, we mention null-controllability to the first eigenstate of a heat equation with bilinear control. From this result it would be possible to deduce local controllability only to the first eigenstate of the heat equation subject to Neumann boundary conditions. It is worth noting that [8] addresses a specific parabolic equation. Moreover, the methods developed therein, relying on the so-called source term procedure, are totally different from ours.
We observe that the bilinear controls we use in this paper are just scalar functions of time. This fact explains why applications mainly concern problems in low space dimension, like the results in [4,5,6,7,8,9, 17]. A stronger control action could be obtained by letting controls depend on time and space. We refer the reader to [12, 13] for more on this subject.
This paper is organized as follows. In Sect. 2, we have collected some preliminaries as well as results from [1] that we need in order to prove Theorem 1.1. Section 3 contains such a proof, while Sect. 4 is devoted to demonstrate Theorem 1.2. In Sect. 5, we give the proof of our semi-global results (Theorems 1.4 and 1.5). Finally, applications of Theorem 1.1 to parabolic problems are analyzed is Sect. 6.
2 Preliminaries
In this section, we recall a well-known result for the well-posedness of our control problem and the regularity of the solution as well as some results from [1] that are necessary for the proof of Theorem 1.1. Moreover, we will remind the fundamental definition of j-null controllable pair.
We recall our general functional frame. Let \((X,\langle \cdot ,\cdot \rangle ,\left\Vert \cdot \right\Vert )\) be a separable Hilbert space, let \(A:D(A)\subset X\rightarrow X\) be a densely defined linear operator with the following properties
We denote by \(\{\lambda _k\}_{k\in {\mathbb {N}}^*}\) the eigenvalues of A, which can be ordered, whithout loss of generality, as \(-\sigma \le \lambda _k\le \lambda _{k+1}\rightarrow \infty \) as \(k\rightarrow \infty \), and by \(\{\varphi _k\}_{k\in {\mathbb {N}}^*}\) the corresponding eigenfunctions, \(A\varphi _k=\lambda _k\varphi _k,\) with \(\left\Vert \varphi _k \right\Vert =1\), \(\forall \,k\in {\mathbb {N}}^*\).
Let \(B:X\rightarrow X\) be a bounded linear operator. Fixed \(T>0\), consider the following bilinear control problem
If \(u_0\in X\), \(p\in L^2(0,T)\) and \(f\in L^2(0,T;X)\), a function \(u\in C^0([0,T],X)\) is called a mild solution of (2.2) if it satisfies
We introduce the following notation:
The well-posedness of (2.2) is ensured by the following proposition (see [3] for a proof).
Proposition 2.1
Let \(T>0\). For any \(u_0\in X\), \(p\in L^2(0,T)\) and \(f\in L^2(0,T;X)\) there exists a unique mild solution of (2.2).
Furthermore, \(u(\cdot )\) satisfies
for a suitable positive constant C(T).
Remark 2.2
Under the hypotheses of Proposition 2.1 it is possible to prove that the solution is more regular. Indeed, for every \(\varepsilon \in (0,T)\) it holds that \(u\in H^1(\varepsilon ,T;X)\cap L^2(\varepsilon ,T;D(A))\) and the following identity is satisfied
Furthermore, if \(u_0=0\) then \(u\in H^1(0,T;X)\cap L^2(0,T;D(A))\) (it can be deduced by applying, for instance, [10, Proposition 3.1, p. 130]).
Let us now consider the following nonlinear control problem
where \(\varphi _j\) is the jth eigenfunction of A. We denote by \(v(\cdot ;v_0,p)\) the solution of (2.4) associated with initial condition \(v_0\) and control p.
The following result establishes a bound for the solution of (2.4) in terms of the initial condition. We give its proof in “Appendix A” for the sake of clarity and completeness. This proof follows that of [1, Proposition 4.3], with a different presentation, in particular with respect to the assumptions in the statement.
Proposition 2.3
Let \(T>0\). Let \(A:D(A)\subset X\rightarrow X\) be a densely defined linear operator that satisfies (2.1) and let \(B:X\rightarrow X\) be a bounded linear operator. Let \(v_0\in X\) and let \(p\in L^2(0,T)\) be such that
with \(N_T\) a positive constant.
Then, \(v(\cdot ;v_0,p)\) verifies
where \(C_1(T,\left\Vert v_0 \right\Vert ):=e^{(2\sigma +\left\Vert B \right\Vert )T+2\left\Vert B \right\Vert N_T\sqrt{T}\left\Vert v_0 \right\Vert }(1+\left\Vert B \right\Vert N_T^2)\) and \(\sigma \) is defined in (2.1).
For any \(0\le s_0\le s_1\), we now introduce the linear problem
and we denote by \(y(\cdot ;y_0,s_0,p)\) the solution associated with initial condition \(y_0\) at time \(s_0\) and control p. Let us recall that for any fixed \(T>0\) and \(j\in {\mathbb {N}}^*\), we say that the pair \(\{A,B\}\) is j-null controllable in time T if there exists a constant \(N_T\) such that for every \(y_0\in X\) there exists a control \(p\in L^2(0,T)\) with
for which the solution of (2.7) with \(s_0=0\) and \(s_1=T\) satisfies \(y(T;y_0,0,p)=0\). In this case, we define the control cost as
With an approximation argument one realizes that (2.8) holds with \(N_T=N(T)\), that is, for every \(y_0\in X\) there exists \(p\in L^2(0,T)\) with \(\left\Vert p \right\Vert _{L^2(0,T)}\le N(T)\left\Vert y_0 \right\Vert \) such that \(y(T;y_0,0,p)=0\).
Now, consider the following control problem
with v the solution of (2.4). We denote by \(w(\cdot ;0,p)\) the solution of (2.10) associated with control p.
In the following proposition we give a quadratic estimate of the solution of (2.10) in terms of the initial condition of the Cauchy problem solved by v. We give its proof in “Appendix A” for the sake of clarity and completeness. This proof follows that of [1, Proposition 4.4], with a different presentation and a different hypothesis (2.11) compared to the corresponding ones in the statement of [1, Proposition 4.4].
Proposition 2.4
Let \(T>0\), \(A:D(A)\subset X\rightarrow X\) be a densely defined linear operator that satisfies (2.1) and \(B:X\rightarrow X\) be a bounded linear operator. Let \(p\in L^2(0,T)\) verify (2.5) with \(N_T=N(T)\) and \(v_0\in X\) be such that
Then, \(w(\cdot ;0,p)\) satisfies
where
3 Proof of Theorem 1.1
Fixed any \(j\in {\mathbb {N}}^*\) and any \(T>0\), our aim is to prove local exact controllability in time T for the following problem
to the jth eigensolution \(\psi _j=e^{-\lambda _j t}\varphi _j\) of A, that is the solution of (3.1) when \(p=0\) and \(u_0=\varphi _j\). Hereafter, we will denote by \(u(\cdot ;u_0,p)\) the solution of (3.1) associated with initial condition \(u_0\) and control p.
We recall that \(A:D(A)\subset X\rightarrow X\) is a densely defined linear operator that satisfies (1.3) and we denote by \(\{\lambda _k\}_{k\in {\mathbb {N}}^*}\) and \(\{\varphi _k\}_{k\in {\mathbb {N}}^*}\) the eigenvalues and the eigenfunctions of A, respectively. \(B:X\rightarrow X\) is a bounded linear operator. The pair \(\{A,B\}\) is assumed to be j-null controllable in any time, with control cost that satisfies (1.4).
The proof of Theorem 1.1 is divided into two main parts: the case \(\lambda _j=0\), that we build by a series of steps, and the case \(\lambda _j\ne 0\).
3.1 Case \(\lambda _j=0\)
If \(\lambda _j=0\) our reference trajectory will be the stationary function \(\psi _j\equiv \varphi _j\). Given \(T>0\), we define \(T_f\) as
where \(T_0\) is the constant in (1.4). We will actually build a control \(p\in L^2(0,T_f)\) such that \(u(T_f;u_0,p)=\psi _j\), and then, by taking \(p(t)\equiv 0\) for \(t>T_f\), the solution u of (3.1) will remain forever on the target trajectory \(\psi _j\).
Now, we define
and we observe that \(0<T_1\le 1\). Then, we introduce the sequence \(\{T_j\}_{j\in {\mathbb {N}}^*}\) as
and the time steps
with the convention that \(\sum _{j=1}^0T_j=0\). Notice that \(\sum _{j=1}^\infty T_j=\frac{\pi ^2}{6}T_1=T_f\).
Remark 3.1
Note that the sequence of times \((T_j)_{j \in {\mathbb {N}}^*}\) is strictly decaying towards 0, whereas the sequence of times \((\tau _j)_{j \in {\mathbb {N}}^*}\) is strictly increasing and converges to \(T_f\).
Set \(v:=u-\varphi _j\). We will consider the equation satisfied by v on suitable intervals of time \([s_0,s_1]\) and suitable initial data \(v^0\) at the initial time \(s_0\), as follows. Given any \(0\le s_0\le s_1\le T\), and any \(v^0\) in X, v is the solution of the following Cauchy problem
We denote by \(v(\cdot ;v^0,s_0,p)\) the solution of (3.6) associated with initial condition \(v^0\) at time \(s_0\) and control p. Observe that proving the controllability of u to \(\psi _j=\varphi _j\) in time \(T_f\) is equivalent to show the null controllability of v, that is, \(v(T_f;v_0,0,p)=0\), where \(v_0=u_0-\varphi _j\).
The strategy of the proof consists first of building a control \(p_1\in L^2(0,T_1)\) such that at time \(T_1\) the solution of (3.6) can be estimated by the square of the initial condition. We then iterate the procedure on consecutive time intervals of the form \([\tau _{n-1},\tau _n]\): each time we construct a control \(p_n\in L^2(\tau _{n-1},\tau _n)\) such that the solution of (3.6) on \([\tau _{n-1},\tau _n]\) at time \(\tau _n\) is estimated by the square of the initial condition on such interval. Hence, combining all those estimates and letting n go to infinity, we finally deduce that there exists a control \(p\in L^2_{loc}(0,+\infty )\) such that \(v(T_f;v_0,0,p)=0\) and so \(u(T_f;u_0,p)=\varphi _j\).
In practice, we shall build, by induction, controls \(p_n\in L^2(\tau _{n-1},\tau _n)\) for \(n\ge 1\) such that, setting
it holds that
where \(y(\cdot ;v_{n-1},\tau _{n-1},p_n)\) is the solution of (2.7) in \([\tau _{n-1},\tau _n]\), with initial condition \(v_{n-1}\) and control \(p_n\), and \(K(\cdot )\) is defined in (2.13).
Observe that, by construction,
3.1.1 First iteration
Let us start by studying control problem (3.6) in the first time interval \([s_0,s_1]=[\tau _0,\tau _1]=[0,T_1]\). Recalling that \(\{A,B\}\) is j-null controllable in any time, given \(v_0\in X\) there exists a control \(p_1\in L^2(0,T_1)\) such that
where \(N(T_1)\) is the control cost and \(y(\cdot ;v_0,0,p_1)\) is the solution of the linear problem (2.7). So, the first two items of (3.8) for \(n=1\) are fulfilled. We now apply Proposition 2.3 deducing that
where \(C_1(T_1,\left\Vert v_0 \right\Vert )=e^{(2\sigma +\left\Vert B \right\Vert )T_1+2\left\Vert B \right\Vert N(T_1)\sqrt{T_1}\left\Vert v_0 \right\Vert }(1+\left\Vert B \right\Vert N(T_1)^2)\).
We measure how close from 0 the solution of (3.6) is steered at time \(T_1\) by control \(p_1\). For this purpose, we introduce the function \(w(\cdot ):=v(\cdot ;v_0,0,p_1)-y(\cdot ;v_0,0,p_1)\) which satisfies the following Cauchy problem
Thanks to Proposition 2.4, if
then, the solution of (3.11) satisfies
where \(K(\cdot )\) is defined on \((0,\infty )\) as
Notice that, the first equality in (3.13) holds true because control \(p_1\) steers to 0 the solution of the linear problem [see (3.9)].
Remark 3.2
Observe that function \(K(\cdot )\) satisfies
Therefore, since \(T_1=\min \{6T/\pi ^2, 1,T_0\}\), combining the above inequality with (1.4), we deduce that there exists a constant \(\Gamma _0>\nu \) such that
where \(T_0\) is defined in (1.4).
Note that a suitable choice of constant \(\Gamma _0\) such that (3.15) holds is (1.6).
We now define the radius of the neighborhood of \(\varphi _j\) where we take the initial condition \(u_0\) as in (1.7). Let \(u_0\in B_{R_T}(\varphi _j)\), or equivalently \(v_0=u_0 - \varphi _j \in B_{R_T}(0)\), be chosen arbitrarily. With this choice we have that
and (3.12) is satisfied. Therefore, we get that
which proves 3. and 4. of (3.8) for \(n=1\).
3.1.2 Iterative step
Now, suppose that we have built controls \(p_j\in L^2(\tau _{j-1},\tau _j)\) such that (3.8) holds for each \(j=1,\dots ,n-1\). In particular, for \(j=n-1\), there exists \(p_{n-1}\in L^2(\tau _{n-1},\tau _n)\) which verifies
We shall now prove that there exists \(p_n\in L^2(\tau _{n-1},\tau _n)\) such that every item of (3.8) is fulfilled. We defined \(q_{n-1}\) and \(v_{n-1}\) as in (3.7) and we consider the following problem
where the control p has still to be suitably chosen. By the change of variables \(s=t-\tau _{n-1}\) and the definition (3.5), we shift the problem from \([\tau _{n-1},\tau _n]\) into the interval \([0,T_n]\). We introduce the functions \({\tilde{v}}(s)=v(s+\tau _{n-1})\) and \({\tilde{p}}(s)=p\left( s+\tau _{n-1}\right) \) and we rewrite (3.18) as
Recalling that \(\{A,B\}\) is j-null controllable in any time, there exists a control \({\tilde{p}}_n\in L^2(0,T_n)\) such that
where \({\tilde{y}}(\cdot ;v_{n-1},0,{\tilde{p}}_n)\) is the solution of the linear problem (2.7) on \([0,T_n]\). Furthermore, since \(v_{n-1}=v(\tau _{n-1};v_0,0,q_{n-1})=v(\tau _{n-1};v_{n-2},\tau _{n-2},p_{n-1})\), from 3. of (3.17) we obtain that
where we have used that the constant of the control cost \(\nu \) is less than or equal to \(\Gamma _0\) (see Remark 3.2), and the identity
which can be easily checked by induction.
We now choose the control \({\tilde{p}}={\tilde{p}}_n\) in (3.19) and still denote by \({\tilde{v}}\) the corresponding solution. We set \(w={\tilde{v}}-{\tilde{y}}\). Then, w solves (2.10) with \(T=T_n\) and \(p={\tilde{p}}_n\). So, we can apply Proposition 2.4 with \(T=T_n\) to problem (3.19) and since \(w(T_n;0,{\tilde{p}}_n)={\tilde{v}}(T_n;v_{n-1},0,{\tilde{p}}_n)\), we obtain that
We shift back the problem into the original interval \(\left[ \tau _{n-1},\tau _{n}\right] \), we define \(p_n(t):={\tilde{p}}_n( t-\tau _{n-1})\), and we get
and
So, we have proved the first two items of (3.8). Moreover, thanks to 3. of (3.17) and (3.15), that is, \(K(T_n)\le e^{\Gamma _0n^2/T_1}\), we deduce that
that is the third item of (3.8). Finally, using again (3.22) and 4. of (3.17) we obtain that
This concludes the induction argument and the proof of (3.8).
We are now ready to complete the proof of Theorem 1.1 for the case \(\lambda _j=0\). We observe that for all \(n\in {\mathbb {N}}^*\)
where we have used (3.15) and \(\sum _{j=1}^\infty j^2/2^j=6\). Notice that (3.24) is equivalent to
where \(q_n(t)=\sum _{j=1}^{n}p_j(t)\chi _{[\tau _{j-1},\tau _j]}(t)\). We now take the limit as \(n\rightarrow \infty \) in (3.25) and we get
since by hypothesis \(u_0\in B_{R_T}(\varphi _j)\), with \(R_T\) defined in (1.7), and so \(\left\Vert v_0 \right\Vert <e^{-6\Gamma _0/T_1}\). This means that, we have built a control \(p\in L^2_{loc}([0,\infty ))\), defined by
for which the solution u of (3.1) reaches the jth eigensolution \(\psi _j=\varphi _j\) in time \(T_f\), less than or equal to T, and stays on it forever.
Observe that, thanks to the first item of (3.8) and to (3.20), we are able to yield a bound for the \(L^2\)-norm of such a control:
Notice that since (3.2) holds, (3.28) implies (1.5).
3.2 Case \(\lambda _j\ne 0\)
Now, we face the case \(\lambda _j\ne 0\). We define the operator
We proved in [1, Lemma 4.7] that if \(\{A,B\}\) is j-null controllable, then the same holds for the pair \(\{A_j,B\}\). Furthermore, it is easy to check that also condition (1.4) is verified by the control cost associated with \(\{A_j,B\}\), if the same property holds for the control cost associated with the pair \(\{A,B\}\). In particular, if we call \(N_j(\cdot )\) the control cost associated to \(\{A_j,B\}\), then
where \(\nu ,T_0>0\) are the constants in (1.4).
It is possible to check that \(A_j\) satisfies (1.3) and moreover it has the same eigenfuctions, \(\{\varphi _k\}_{k\in {\mathbb {N}}^*}\), of A, while the eigenvalues are given by
In particular, \(\mu _j=0\).
We define the function \(z(t)=e^{\lambda _j t}u(t)\), where u is the solution of (3.1). Then, z solves the following problem
We define \(T_f\) as in (3.2) and \(R_{T}\) as in (1.7). We deduce from the previous analysis that, if \(u_0\in B_{R_{T}}(\varphi _j)\), then there exists a control \(p\in L^2([0,+\infty ))\) that steers the solution z to the eigenstate \(\varphi _j\) in time \(T_f\le T\). This implies the exact controllability of u to the eigensolution \(\psi _j(t)=e^{-\lambda _j t}\varphi _j\): indeed,
Remark 3.3
We observe that, from (3.28), it follows that \(\left\Vert p \right\Vert _{L^2(0,T_{f})}\rightarrow 0\) as \(T_f\rightarrow 0\). This fact is not surprising since as \(T_f\) approaches 0, also the size of the neighborhood where the initial condition can be chosen goes to zero.
4 Proof of Theorem 1.2
Before showing the proof of Theorem 1.2, we define formally for any fixed \(j\in {\mathbb {N}}^*\) the following function
where M is a positive constant, \(\omega _k:=\lambda _k-\lambda _1\), for all \(k\in {\mathbb {N}}^*\), \(\{\lambda _k\}_{k\in {\mathbb {N}}^*}\) are the eigenvalues of A. In Lemma 4.1 below, we investigate the behavior of \(G_{M,j}(T)\) for small values of T. Such a result will be crucial for the analysis of the control cost N(T) in Theorem 1.2.
Lemma 4.1
Let \(A:D(A)\subset X\rightarrow X\) be such that (1.3) and (1.10) hold and \(B:X\rightarrow X\) be such that (1.11) holds. Then, for any \(M,T>0\) the series in (4.1) is convergent and there exists a positive constant \(\nu _j\), such that
Moreover, a suitable choice of \(\nu _j=\nu _j(M,b,q, \alpha )\) is (1.13).
Proof
We first observe that there exists a constant \(C>0\) such that
So, thanks to assumption (1.11), we have that
For any \(\omega \ge 0\) we set \(f(\omega )=e^{-\omega T+M\sqrt{\omega }}\). The maximum value of f is attained at \(\omega =\left( \frac{M}{2T}\right) ^2\). So, we can bound \(G_{M,j}(T)\) as follows
Now, for any \(\omega \ge 0\) we define the function \(g(\omega )=\omega ^{2q}e^{-\omega T}\). Its derivative is given by
and therefore we deduce that
and g has a maximum at \(\omega =(2q)/T\). We define the following index:
Note that \(k_1(T)\) goes to \(\infty \) as T converges to 0. We can rewrite the sum in (4.4) as follows
For any \(k\le k_1-1\), we have
and for any \(k\ge k_1+2\)
So, by using estimates (4.6) and (4.7), (4.5) becomes
Furthermore, recalling that g has a maximum for \(\omega =2q/T\), it holds that
Finally, the integral term of (4.8) can be rewritten as
where by \(\Gamma (\cdot )\) we indicate the Euler integral of the second kind.
Therefore, we conclude from (4.9) and (4.10) that there exist two constants \(C_q,C_{q,\alpha }>0\) such that
We use this last bound to prove that there exists \(\nu _j>0\) such that
as claimed. \(\square \)
Remark 4.2
Observe that Lemma 4.1 holds even under different behaviors of the lower bound of the Fourier coefficients of \(B\varphi _j\). For instance, one can assume
with \(b,c>0\), instead of assumption (1.11).
Now we proceed with the proof of Theorem 1.2.
Proof of Theorem 1.2
Let \(T>0\) and consider problem (2.7). For any \(y_0\in X\) and \(p\in L^2(0,T)\) there exists a unique strong solution \(y\in C^0([0,T],X)\) of (2.7) that can be written as
(see, for instance, [10, Proposition 3.1, p. 130]).
Our aim is to find a control \(p\in L^2(0,T)\) for which \(y(T;y_0,0,p)=0\), that is equivalent to the following identity
Since, by hypothesis, the eigenfunctions of A form an orthonormal basis of X, the above formula reads as
or, equivalently,
By defining \(q(s):=e^{\lambda _1 s}p(s)\) and \(\omega _k:=\lambda _k-\lambda _1\ge 0\), the family of equations (4.14) can be rewritten as
Thanks to hypothesis (1.10), we can apply [15, Theorem 2.4] that ensures the existence of a biorthogonal family \(\{\sigma _k\}_{k\in {\mathbb {N}}^*}\) to the family of exponentials \(\{\zeta _k\}_{k\in {\mathbb {N}}^*}\), \(\zeta _k(s)=e^{\omega _ks}\), \(s\in [0,T]\).
We claim that the series
is convergent in \(L^2(0,T)\). Indeed, thanks to the following estimate, from [15, Theorem 2.4], for the biorthogonal family \(\{\sigma _k\}_{k\in {\mathbb {N}}^*}\)
with \(C>0\) independent of T and \(\alpha \), and
we obtain
Observe that, by Lemma 4.1, the right-hand side of the above estimate is finite for any \(T>0\).
Therefore, we define the control q as
and we deduce that \(q\in L^2(0,T)\) satisfies (4.15) and furthermore
where
Finally, returning to p, we obtain that
By taking
we deduce that \(\{A,B\}\) is j-null controllable in any time \(T>0\) with associated control cost (4.19).
What remains to prove is estimate (1.4) for the control cost N(T) defined in (4.19), for T small. Let us define \(T_0\) as in (1.12). Then for any \(0<T< T_0\), it holds that
We can assume without loss of generality that the constant \(C \ge 1\), since we can replace it by \(\max \left\{ 1, C\right\} \). We assume for all the sequel that \(C \ge 1\).
Since \(0<T< T_0 \le 1\), we claim that there exists \(\widetilde{M}>0\) such that
Indeed, we have
We set
We note that since \(C\ge 1\), we have
Hence from the two above estimates, we deduce (4.20). Moreover, we easily prove that
Therefore, the control cost N(T) given by (4.19) can be bounded from above as follows
where M is defined as in (1.14) and the function \(G_{M,j}(\cdot )\) is defined in (4.1). Finally, thanks to Lemma 4.1, we deduce that N(T) fulfills property (1.4) with \(\nu =\nu _j\). \(\square \)
5 Proof of Theorems 1.4 and 1.5
Before proving Theorem 1.4, let us show a preliminary result that demonstrates the statement in the case of an accretive operator with \(\lambda _1=0\).
Lemma 5.1
Let \(A:D(A)\subset X\rightarrow X\) be a densely defined linear operator such that (1.3) holds with \(\sigma =0\) and let \(B:X\rightarrow X\) be a bounded linear operator. Let {A,B} be a 1-null controllable pair which satisfies (1.4). Furthermore, we assume \(\lambda _1=0\). Then, there exists a constant \(r_1>0\) such that for any \(R>0\) there exists \(T_{R}>0\) such that for all \(v_0\in X\) that satisfy
problem (2.4) is null controllable in time \(T_{R}\).
Proof
First step. We fix \(T=1\). Thanks to Theorem 1.1, there exists a constant \(r_1>0\) such that, denoting by \(u_1\) the solution of (1.1) on [0, 1], if \(\left\Vert u_1(0)- \varphi _1 \right\Vert < \sqrt{2}r_1\) then there exists a control \(p_1\in L^2(0,1)\) for which the solution of (1.1) with p replaced by \(p_1\), satisfies \(u_1(1)=\varphi _1\). We set \(v_1=u_1- \varphi _1\) on [0, 1]. We deduce that if \(\left\Vert v_1(0) \right\Vert < \sqrt{2}r_1\) then there exists a control \(p_1\in L^2(0,1)\) for which the solution \(v_1\) of (2.4) on [0, 1] with p replaced by \(p_1\), satisfies \(v_1(1)=0\).
Second step. Let \(v_0\in X\) be the initial condition of (2.4). We decompose \(v_0\) as follows
where \(v_{0,1}\in \varphi _1^\perp \) and we suppose that \(\left| \langle v_0,\varphi _1\rangle \right| < r_1\). If \(R\le r_1\), then \( \left\Vert v_0 \right\Vert ^2 \le r^2_1+R^2\le 2r^2_1\) and we can directly apply the first step of the proof with \(T_R=1\). Otherwise, we define \(t_{R}\) as
and in the time interval \([0,t_{R}]\) we take the control \(p\equiv 0\). Then, for all \(t\in [0,t_{R}]\), we have that
In particular, for \(t=t_{R}\), it holds that \(\left\Vert v(t_{R}) \right\Vert ^2 < 2 r^2_1\).
Now, we define \(T_{R}:=t_{R}+1\) and set \(v_1(0)=v(t_R)\). Thanks to the first step of the proof, there exists a control \(p_1\in L^2(0,1)\), such that \(v_1(1)=0\), where \(v_1\) is the solution of (2.4) on [0, 1] with p replaced by \(p_1\).
Then \(v(t)=v_1(t-t_R)\) solves (2.4) in the time interval \((t_{R},T_{R}]\) with the control \(p_1(t-t_{R})\) that steers the solution v to 0 at \(T_{R}\). \(\square \)
Proof of Theorem 1.4
We start with the case \(\lambda _1=0\). Let \(u_0\in X\) satisfy (1.16). Set \(v(t):=u(t)-\varphi _1\), then v satisfies (2.4) and moreover \(v_0:=v(0)=u_0-\varphi _1\) fulfills (5.1). Thus, by Lemma 5.1, problem (1.1) is exactly controllable to the first eigensolution \(\psi _1 \equiv \varphi _1\) in time \(T_{R}\).
Now, we consider the case \(\lambda _1>0\). As in the proof of Theorem 1.1, we introduce the variable \(z(t)=e^{\lambda _1t}u(t)\) that solves problem (3.29). For such a system, since the first eigenvalue of \(A_1\) is equal 0, we have the exact controllability to \(\varphi _1\) in time \(T_{R}\). Namely \(z(T_{R})=\varphi _1\), that is equivalent to the exact controllability of u to \(\psi _1\):
The proof is thus complete. \(\square \)
Observe that the strategy of the proof uses the fact that operator A is accretive in all directions \(\varphi _j\) with \(j\ge 1\) and strictly accretive for \(j>1\). Therefore one cannot allow A to be striclty dissipative in all directions. Since the eigenvalues are counted in increasing order, the conclusion of Theorems 1.4 and 1.5 can only ensure global controllability to the first eigensolution.
The proof of Theorem 1.5 easily follows from Theorem 1.4.
Proof of Theorem 1.5
We assume (1.18). Suppose that \(\gamma :=\langle u_0,\varphi _1\rangle \ne 0\). We decompose \(u_0\) as \(u_0=\gamma \varphi _1+\zeta _1\), with \(\zeta _1:=u_0-\langle u_0,\varphi _1\rangle \varphi _1\in \varphi _1^\perp \) and define \({\tilde{u}}(t):=u(t)/\gamma \). Hence, \({\tilde{u}}\) solves
where \(\tilde{\zeta _1}:=\zeta _1/\gamma \).
We apply Theorem 1.4 to (5.4) to deduce the existence of \(T_R>0\) such that \({\tilde{u}}(T_R)=\psi _1(T_R)\). Therefore, the solution of (1.1) with initial condition \(u_0\in X\) that do not vanish along the direction \(\varphi _1\) can be exactly controlled in time \(T_R\) to the trajectory \(\phi _1(\cdot )=\langle u_0,\varphi _1\rangle \psi _1(\cdot )\), where \(\phi _1\) is defined in (1.17).
Note that if \(u_0\in X\) satisfies both \(u_0\in \varphi _1^\perp \) and (1.18), then we have trivially that \(u_0\equiv 0\). We then choose \(p\equiv 0\), so that the solution of (1.1) remains constantly equal to \(\phi _1\equiv 0\). \(\square \)
6 Applications
In this section we present some examples of parabolic equations for which Theorem 1.1 can be applied. The hypotheses (1.3),(1.10) and (1.11) have been verified in [1, 16], to which we refer for more details. We observe that, thanks to [1, Remark 6.1], since the second order operators considered in the examples are accretive (\(\langle Ax,x\rangle \ge 0\), for all \(x\in D(A)\)), it suffices to prove the following gap condition
which implies (1.10).
Furthermore, we note that the global results Theorem 1.4 and Theorem 1.5 can be applied to any example below. Note also that the given examples below are non-exhaustive.
6.1 Diffusion equation with Dirichlet boundary conditions
Let \(I=(0,1)\) and \(X=L^2(0,1)\). Consider the following problem
We denote by A the operator defined by
and it can be checked that A satisfies (1.3). We indicate by \(\{\lambda _k\}_{k\in {\mathbb {N}}^*}\) and \(\{\varphi _k\}_{k\in {\mathbb {N}}^*}\) the families of eigenvalues and eigenfunctions of A, respectively:
It is easy to see that (6.1) holds true [and so (1.10)]:
Let \(B:X\rightarrow X\) be the operator
with \(\mu \in H^3(I)\) such that
Observe that, for \(k\ne j\), integrating by parts, we find that
Since the integral terms represent the \(k^{th}\)-Fourier coefficients of the integrable functions \(\mu '''(x)\cos (j\pi x)\) and \(\mu '''(x)\sin (j\pi x)\), they converge to zero as k goes to infinity. Furthermore, using that
we deduce that there exists \(b>0\) such that
(see also [1, Sect. 6.1]). For instance, a suitable function that satisfies (6.3) is \(\mu (x)=x^2\): indeed, in this case
and we observe that \(\langle \mu \varphi _j,\varphi _j\rangle \ne 0\). More generally, we can address the reader to [2] to identify large classes of potential \(\mu \) satisfying the requested properties.
Therefore, problem (6.2) is controllable to the jth eigensolution \(\psi _j\) in any time \(T>0\) as long as \(u_0\in B_{R_T}(\varphi _j)\), with \(R_T>0\) a suitable constant, where \(\psi _j(t,x)=\sqrt{2}\sin (j\pi x)e^{-j^2\pi ^2t}\).
6.2 Diffusion equation with Neumann boundary conditions
Let \(I=(0,1)\), \(X=L^2(I)\) and consider the Cauchy problem
The operator A, defined by
satisfies (1.3) and has the following eigenvalues and eigenfunctions
Thus, the gap condition (6.1) is fulfilled with \(\alpha =\pi \). Fixed \(j\in {\mathbb {N}}\), the jth eigensolution is the function \(\psi _j(t,x)=e^{-\lambda _j t}\varphi _j(x)\).
We define \(B:X\rightarrow X\) as the multiplication operator by a function \(\mu \in H^2(I)\), \(B\varphi =\mu \varphi \), such that
It can be proved, by reasoning as in the previous example, that there exists \(b>0\) such that
(see also [1, Sect. 6.2]). For example, \(\mu (x)=x^2\) satisfies (6.6). Indeed, it can be shown that
and for \(j\ne 0\)
Therefore, problem (6.4) is controllable to the jth eigensolution \(\psi _j\) in any time \(T>0\) as long as \(u_0\in B_{R_T}(\varphi _j)\), with \(R_T>0\) a suitable constant.
6.3 Variable coefficient parabolic equation
Let \(I=(0,1)\), \(X=L^2(I)\) and consider the problem
We denote by \(A:D(A)\subset X\rightarrow X\) the following operator
It can be checked that A satisfies (1.3) and that the eigenvalues and eigenfunctions have the following expression
Furthermore, \(\{\lambda _k\}_{k\in {\mathbb {N}}^*}\) verifies the gap condition (6.1) with \(\alpha =\pi /\ln {2}\).
We fix \(j\in {\mathbb {N}}^*\) and define the operator \(B:X\rightarrow X\) by \(B\varphi =\mu \varphi \), where \(\mu \in H^2(I)\) is such that
Hence, thanks to (6.8), it is possible to show that (1.11) is fulfilled with \(q=3/2\) (see [1, Sect. 6.3]). For instance, when \(j=1\), an example of a suitable function \(\mu \) that satisfies (6.8) is \(\mu (x)=x\), see [1] for the verification.
Thus, from Theorem 1.1, we deduce that, for any \(T>0\), system (6.7) is controllable to the jth eigensolution if the initial condition \(u_0\) is close enough to \(\varphi _j\).
6.4 Diffusion equation in a 3D ball with radial data
In this example, we study the controllability of an evolution equation in the three dimensional unit ball \(B^3\) for radial data. The bilinear control problem is the following
where the Laplacian in polar coordinates for radial data is given by the following expression
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 hypothesis (1.3). We denote by \(\{\lambda _k\}_{k\in {\mathbb {N}}^*}\) and \(\{\varphi _k\}_{k\in {\mathbb {N}}^*}\) the families of eigenvalues and eigenvectors of A, \(A\varphi _k=\lambda _k\varphi _k\), namely
\(\forall \, k\in {\mathbb {N}}^*\), see [20, Sect. 8.14]. Since the eigenvalues of A are actually the same of the Dirichlet 1D Laplacian, (6.1) is satisfied, as we have seen in Example 6.1.
Fixed \(j\in {\mathbb {N}}^*\), let \(B:X\rightarrow X\) be the multiplication operator \(Bu(t,r)=\mu (r)u(t,r)\), with \(\mu \) be such that
Then, it can be proved that
with b a positive constant (see [1, Sect. 6.4]). For instance, \(\mu (x)=x^2\) verifies (6.11) and (6.12):
Therefore, by applying Theorem 1.1, we conclude that for any \(T>0\), the exists a suitable constant \(R_T>0\) such that, if \(u_0\in B_{R_T}(\varphi _j)\), problem (6.9) is exactly controllable to the jth eigensolution \(\psi _j\) in time T.
6.5 Degenerate parabolic equation
In this last section we want to address an example of a control problem for a degenerate evolution equation of the form
where \(\gamma \in [0,3/2)\) describes the degeneracy magnitude, for which Theorem 1.1 applies.
If \(\gamma \in [0,1)\) problem (6.13) is called weakly degenerate and the natural spaces for the well-posedness are the following weighted Sobolev spaces. Let \(I=(0,1)\) and \(X=L^2(I)\), we define
We denote by \(A:D(A)\subset X\rightarrow X\) the linear degenerate second order operator
It is possible to prove that A satisfies (1.3) (see, for instance [11]) and furthermore, if we denote by \(\{\lambda _k\}_{k\in {\mathbb {N}}^*}\) the eigenvalues and by \(\{\varphi _k\}_{k\in {\mathbb {N}}^*}\) the corresponding eigenfunctions, it turns out that the gap condition (6.1) is fulfilled with \(\alpha =\frac{7}{16}\pi \) (see [19], p. 135).
If \(\gamma \in [1,2)\), problem (6.13) is called strong degenerate and the corresponding weighted Sobolev space are described as follows: given \(I=(0,1)\) and \(X=L^2(I)\), we define
In this case the operator \(A:D(A)\subset X\rightarrow X\) is defined by
and it has been proved that (1.3) holds true (see, for instance [14]) and that (6.1) is satisfied for \(\alpha =\frac{\pi }{2}\) (see [19]).
We fix \(j=1\) and for all \(\gamma \in [0,3/2)\), we define the linear operator \(B:X\rightarrow X\) by \(Bu(t,x)=x^{2-\gamma }u(t,x)\) and in [16, Proof of Theorem 2.2] we have proved that there exists a constant \(b>0\) such that
Finally, by applying Theorem 1.1, we ensure the exact controllability of problem (6.13) to the first eigensolution, for both weakly and strongly degenerate problems.
Change history
30 July 2022
Missing Open Access funding information has been added in the Funding Note.
References
Alabau-Boussouira, F., Cannarsa, P., Urbani, C.: Superexponential stabilizability of evolution equations of parabolic type via bilinear control. J. Evol. Equ. 21, 941–967 (2020)
Alabau-Boussouira, F., Urbani, C.: A constructive mathematical algorithm for building mixing coupling real valued potentials with time control. Applications to exact controllability and stabilization in bilinear control. In preparation
Ball, J.M., Marsden, J.E., Slemrod, M.: Controllability for distributed bilinear systems. SIAM J. Control Optim. 20(4), 575–597 (1982)
Beauchard, K.: Local controllability of a 1-D Schrödinger equation. J. Math. Pures Appl. 84(7), 851–956 (2005)
Beauchard, K.: Local controllability and non-controllability for a 1D wave equation with bilinear control. J. Differ. Equ. 250(4), 2064–2098 (2011)
Beauchard, K., Coron, J.-M.: Controllability of a quantum particle in a moving potential well. J. Funct. Anal. 232(2), 328–389 (2006)
Beauchard, K., Laurent, C.: Local controllability of 1d linear and nonlinear Schrödinger equations with bilinear control. J. Math. Pures Appl. 94, 520–554 (2010)
Beauchard, K., Marbach, F.: Quadratic obstructions to small-time local controllability for scalar-input systems. J. Differ. Equ. 264(5), 3704–3774 (2018)
Beauchard, K., Morancey, M.: Local controllability of 1d Schrödinger equations with bilinear control and minimal time. Math. Control Relat. Fields 4(2), 125–160 (2014)
Bensoussan, A., Da Prato, G., Delfour, M.C., Mitter, S.K.: Representation and Control of Infinite Dimensional Systems, vol. 1. Birkhäuser, Boston (1992)
Campiti, M., Metafune, G., Pallara, D.: Degenerate self-adjoint evolution equations on the unit interval. In Semigroup Forum, vol. 57, pp. 1–36. Springer (1998)
Cannarsa, P., Floridia, G., Khapalov, A.Y.: Multiplicative controllability for semilinear reaction-diffusion equations with finitely many changes of sign. J. Math. Pures Appl. 108(4), 425–458 (2017)
Cannarsa, P., Khapalov, A.Y.: 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)
Cannarsa, P., Martinez, P., Vancostenoble, J.: Carleman estimate for a class of degenerate parabolic operators. SIAM J. Control Optim. 47(1), 1–19 (2008)
Cannarsa, P., Martinez, P., Vancostenoble, J.: The cost of controlling weakly degenerate parabolic equations by boundary controls. Math. Control Relat. Fields 7(2), 171–211 (2017)
Cannarsa, P., Urbani, C.: Superexponential stabilizability of degenerate parabolic equations via bilinear control. In: Inverse problems and related topics, pp. 31–45. Springer, Singapore (2020)
Coron, J.-M.: On the small-time local controllability of a quantum particle in a moving one-dimensional infinite square potential well. C. R. Math. Acad. Sci. Paris 342(2), 103–108 (2006)
Fernández-Cara, E., Guerrero, S., Imanuvilov, O.Y., Puel, J.-P.: Local exact controllability of the Navier-Stokes system. J. Math. Pures Appl. 83(12), 1501–1542 (2004)
Komornik, V., Loreti, P.: Fourier Series in Control Theory. Springer, Berlin (2005)
Lebedev, N.N.: Special Functions and Their Applications. Revised English edition. Translated and edited by Richard A. Silverman. Prentice-Hall Inc., Englewood (1965)
Acknowledgements
We are grateful to J. M. Coron and P. Martinez for their precious suggestions. We also wish to thank the anonymous referees for their constructive comments.
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 and C. Urbani: This authors acknowledge 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).
Appendix A Proofs of Propositions 2.3 and 2.4
Appendix A Proofs of Propositions 2.3 and 2.4
In this Appendix we present the proofs of Propositions 2.3 and 2.4 which follow those of [1, Proposition 4.3] and [1, Proposition 4.4], respectively. However, since the hypotheses of Propositions 2.3 and 2.4 are slightly different with respect to [1, Proposition 4.3] and [1, Proposition 4.4], we preferred to show their proofs in the current settings.
Proof of Proposition 2.3
Thanks to Remark 2.2, taking the scalar product of (2.4) with v, we obtain
Thus, we get that for a.e. \(t\in [\varepsilon ,T]\)
Therefore, since A satisfies (2.1), 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], the last inequality becomes
Finally, recalling estimate (2.5) for p, we get (2.6). \(\square \)
Proof of Proposition 2.4
Since \(w\in H^1(0,T;X)\cap L^2(0,T;D(A))\), taking the scalar product of both members of the equation in (2.10) with w(t), we obtain
Then, by Gronwall’s inequality, and appealing to (2.6) and (2.5), we get
Using (2.11), we obtain that
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. Exact controllability to eigensolutions for evolution equations of parabolic type via bilinear control. Nonlinear Differ. Equ. Appl. 29, 38 (2022). https://doi.org/10.1007/s00030-022-00770-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00030-022-00770-7