Abstract
The Hilbert Uniqueness Method introduced by J.-L. Lions in 1988 has great interest among scientists in the control theory, because it is a basic tool to get controllability results for evolutive systems. Our aim is to outline the Hilbert Uniqueness Method for first order coupled systems in the presence of memory terms in general Hilbert spaces. At the end of the paper we give some applications of our general results.
You have full access to this open access chapter, Download conference paper PDF
1 Introduction
It is well known that heat equations with memory of the following type
with \(\alpha >0\), cannot be controlled to rest for large classes of memory kernels and controls, see e.g. [3, 4]. The motivation for that kind of results is due to the smoothing effect of the solutions, because (1) is a parabolic equation when the constant \(\alpha \) before the Laplacian is positive.
On the other hand the class of the partial integro-differential equations changes completely if in the Eq. (1) one takes \(\alpha =0\). The physical model relies on the Cattaneo’s paper [1]. Indeed, in [1] to overcome the fact that the solutions of the heat equation propagate with infinite speed, Cattaneo proposed the following equation
with \(K(t)=e^{-\gamma t}\), \(\gamma \) being a positive constant. The interest for equations of the type (2) is in the property of the solutions to have finite propagation speed, the same property of the solutions of wave equations.
From a mathematical point of view, a natural question is to study integro-differential equations of the type
where M(t) is a suitable kernel, locally integrable on \((0,+\infty )\), and \(\triangle ^2\) denotes the biharmonic operator, that is in the N-dimensional case
The Hilbert Uniqueness Method has been introduced by Lions, see [7, 8], to study control problems for partial differential systems. That method has been largely used in the literature, see e.g. [5].
Inspired by those problems, the goal of the present paper is to describe the Hilbert Uniqueness Method, for coupled hyperbolic equations of the first order with memory in a general Hilbert space, when the integral kernels involved are general functions \(k_1, k_2\in L^1(0,T)\) and integral terms also occur in the coupling:
In another context, in [2] the authors study the exact controllability of the equation
where \(\omega \) is a given nonempty open subset of \(\varOmega \). The hyperbolic nature of (3) allows to show its exact controllability under suitable conditions on the waiting time T and the controller \(\omega \), thanks to observability inequalities for the solutions of the dual system obtained by means of Carleman estimates.
For a different approach leading to solve control problems for hyperbolic systems, we refer to [6, 11].
2 The Hilbert Uniqueness Method
Let H be a real Hilbert space with scalar product \(\langle \cdot \, ,\, \cdot \rangle \) and norm \(\Vert \cdot \Vert \).
We consider a linear operator \(\mathcal {A}:D(\mathcal {A})\subset H\rightarrow H\) with domain \(D(\mathcal {A})\), \(k_1,k_2\in L^1(0,T)\) and \({{\mathcal {L}}}_i\) (\(i=1,2\)) linear operators on H with domain \(D({{\mathcal {L}}}_i)\supset D(\mathcal {A})\). We assume that \({{\mathcal {L}}}_2\) is self-adjoint and \({{\mathcal {L}}}_1\) is self-adjoint on a subset of its domain that will be precised later.
Moreover, let \(H_1\) be another real Hilbert space with scalar product \(\langle \cdot \, ,\, \cdot \rangle _{H_1}\) and norm \(\Vert \cdot \Vert _{H_1}\) and \(\mathcal {B}\in L(H_0;H_1)\), where \(H_0\) is a space such that \(D(\mathcal {A})\subset H_0\subset H\). In the applications \(\mathcal {B} \) could be, for example, a trace operator.
We take into consideration the following first order coupled system with memory
with null initial conditions
and satisfying
For a reachability problem we mean the following.
Definition 1
Given \(T>0\) and \(u_{10}\,,u_{20}\in H\), a reachability problem consists in finding \(g_i\in L^2(0,T;H_1)\), \(i=1,2\) such that the weak solution u of problem (4)–(6) verifies the final conditions
One can solve such reachability problems by means of the Hilbert Uniqueness Method. To show that, we proceed as follows.
To begin with, we assume the following conditions.
Assumptions (H1)
-
1.
There exists a self-adjoint positive linear operator A on H with dense domain D(A) satisfying
$$\begin{aligned} D(A)\subset D(\mathcal {A}), \qquad \mathcal {A}x=Ax \quad \forall x\in D(A), \qquad D(\sqrt{A})=\mathrm{Ker}(\mathcal {B}). \end{aligned}$$ -
2.
\(\mathcal {L}_2\) is self-adjoint and \(\mathcal {L}_1\) is self-adjoint on \(D(\mathcal {A})\cap \mathrm{Ker}(\mathcal {B})\), that is
$$\begin{aligned} \langle \mathcal {L}_1\varphi , \xi \rangle =\langle \varphi , \mathcal {L}_1\xi \rangle , \quad \forall \varphi ,\xi \in D(\mathcal {A})\cap \mathrm{Ker}(\mathcal {B}). \end{aligned}$$(8) -
3.
There exists \(D_\nu \in L(H_0;H_1)\) such that the following identity holds
$$\begin{aligned} \langle \mathcal {A}\varphi , \xi \rangle =\langle \varphi , A\xi \rangle -\langle \mathcal {B}\varphi ,D_\nu \xi \rangle _{H_1}, \quad \forall \varphi \in D(\mathcal {A}),\xi \in D(A). \end{aligned}$$(9)
Now, we consider the adjoint system of (4), that is, the following coupled system
with given final data
We assume that for final data sufficiently regular an existence and regularity result for the solution of (10)–(11) holds. Precisely:
Theorem 1
For any \(z_{1T}\in D(A)\) and \(z_{2T}\in D(A^{2})\) there exists a unique solution \((z_1,z_2)\) of (10)–(11) such that \(z_1\in C^{1}([0,T],H)\cap C([0,T],D(A))\) and \(z_2\in C^{1}([0,T],H)\cap C([0,T],D(A^2))\).
That type of result will be true in the applications, taking into account that backward problems are equivalent to forward problems by means of a change of the variable t into \(t-T\).
If Theorem 1 holds true, then the regularity of the solution \((z_1,z_2)\) of (10)–(11) and assumption (H1)-3 allow to obtain the following properties: the functions \(D_\nu z_i\), \(i=1,2\), belong to \(C(0,T;H_1)\), because \(D(A)\subset D(\mathcal {A})\subset H_0\). So, we can consider the nonhomogeneous problem
If \((\phi _1,\phi _2)\) denotes the solution of problem (12), then we can introduce the following linear operator on \(H\times H\):
We will prove the next result.
Theorem 2
If \((\xi _{1},\xi _{2})\) is the solution of the system
where \((\xi _{1T},\xi _{2T})\in D(A)\times D(A^2)\), then the identity
holds true.
Proof
We multiply the first equation in (12) by \(\xi _1(t)\) and integrate on [0, T], so we have
In the second term of the above identity we change the order of integration and, since \(\xi _1(t)\in D(A)\), we can use (9) to get
Note that, in virtue of assumption (H1)-1, one has \(D({A})\subset D(\mathcal {A})\cap \mathrm{Ker}(\mathcal {B})\); so, changing again the order of integration and applying (8), we obtain
If we integrate by parts the first term in (14) and take into account the previous two identities, then, in view also of \(\phi _1(0)=0\), we get
As a consequence of the former equation and
we obtain
In a similar way, we multiply the second equation in (12) by \(\xi _2(t)\) and integrate on [0, T]: if we integrate by parts the first term, take into account that \(\phi _2(0)=0\) and change the order of integration in the other two terms, then we have
Now, we observe that from (9) it follows for any \(\varphi \in D(\mathcal {A}^2)\) and \(\xi \in D(A^2)\)
Putting the above equation into (16) and taking into account that the operator \({{\mathcal {L}}}_2\) is self-adjoint yield
In virtue of
we get
If we sum Eqs. (15) and (17), then we have
that is, (13) holds true. \(\square \)
If we take \((\xi _{1T},\xi _{2T})=(z_{1T},z_{2T})\) in (13), then we have
Consequently, we can introduce a semi-norm on the space \(D(A)\times D(A^2)\). Precisely, if we consider, for any \((z_{1T},z_{2T})\in D(A)\times D(A^2)\), the solution \((z_1,z_2)\) of the system (10)–(11), then we define
We observe that \(\Vert \cdot \Vert _{F}\) is a norm if and only if the following uniqueness theorem holds.
Theorem 3
If \((z_1,z_2)\) is the solution of problem (10)–(11) such that
then
The validity of Theorem 3 is the starting point for the application of the Hilbert Uniqueness Method. Indeed, if we assume that Theorem 3 holds true, then we can define the Hilbert space F as the completion of \(D(A)\times D(A^2)\) for the norm \(\Vert \cdot \Vert _F\). Thanks to (13) and (19) we have
where \(\langle \cdot ,\cdot \rangle _F\) denotes the scalar product associated with the norm \(\Vert \cdot \Vert _F\).
Consequently,
Thanks to the above inequality, the operator \(\varPsi \) can be extended uniquely to a linear continuous operator, denoted again by \(\varPsi \), from F into its dual space \(F'\). By (20) it follows that
and, as a consequence, we have that the operator \(\varPsi :F\rightarrow F'\) is an isomorphism.
Moreover, the key point to characterize the space F is to establish observability estimates of the following type
for suitable spaces \(F_1\,,F_2\). In that case, the uniqueness result stated by Theorem 3 holds true, so the operator \(\varPsi :F\rightarrow F'\) is an isomorphism, and in virtue of (19) and (21) we get
with the equivalence of the respective norms. Finally, we are able to solve the reachability problem (4)–(7) for \((u_{10},u_{20})\in F'_1\times F'_2\).
3 Applications
Example 1
Let \(H=L^2(0,\pi )\) be endowed with the usual scalar product and norm. In [9] we take \({\mathcal {A}}=\frac{d^2}{dx^2}\) with null Dirichlet boundary conditions, \(k_1(t)=\frac{\beta }{\eta }e^{-\eta t}+1-\frac{\beta }{\eta }\), \(k_2\equiv 1\). We examine the case in which \({\mathcal {L}}_i=a_i \mathrm{I}\), with \(a_i\in {{\mathbb {R}}}\), \(i=1,2\) and \(\mathrm{I}\) the identity operator on H.
By writing the solutions as Fourier series, we are able to prove Theorems 1 and 3, thanks also to some properties of the solutions of integral equations. In particular, by showing suitable Ingham type estimates, we prove observability estimates of the type (21) where \(F=H^1_0(0,\pi )\times H^1_0(0,\pi )\). Therefore, we can deduce reachability results by means of the Hilbert Uniqueness Method.
Example 2
We consider \(H=L^2(0,\pi )\) endowed with the usual scalar product and norm. In [9] we take \({\mathcal {A}}=\frac{d^2}{dx^2}\) with null Dirichlet boundary conditions, \(k_1(t)=\frac{\beta }{\eta }e^{-\eta t}+1-\frac{\beta }{\eta }\), \(k_2\equiv 1\), \({\mathcal {L}}_1=a_1\frac{d^2}{dx^2}\) and \({\mathcal {L}}_2=a_2\mathrm{I}\) with \(a_i\in {{\mathbb {R}}}\), \(i=1,2\).
Example 3
Let \(H=L^2(\varOmega )\) be endowed with the usual scalar product and norm. In [10] we take \({\mathcal {A}}=\triangle \) with null Dirichlet boundary conditions, \(k_1(t)=\frac{\beta }{\eta }e^{-\eta t}+1-\frac{\beta }{\eta }\), \(k_2\equiv 1\), \({\mathcal {L}}_1=a_1\triangle \) and \({\mathcal {L}}_2=a_2\mathrm{I}\) with \(a_i\in {{\mathbb {R}}}\), \(i=1,2\).
References
Cattaneo, C.: Sulla conduzione del calore. Atti Sem. Mat. Fis. Univ. Modena 3, 83–101 (1949)
Fu, X., Yong, J., Zhang, X.: Controllability and observability of a heat equation with hyperbolic memory kernel. J. Differ. Equ. 247, 2395–2439 (2009)
Guerrero, S., Imanuvilov, O.Y.: Remarks on non controllability of the heat equation with memory. ESAIM Control Optim. Calc. Var. 19, 288–300 (2013)
Ivanov, S., Pandolfi, L.: Heat equation with memory: lack of controllability to rest. J. Math. Anal. Appl. 355, 1–11 (2009)
Komornik, V.: Exact Controllability and Stabilization: The Multiplier Method. RAM: Research in Applied Mathematics. Masson/Wiley, Paris/Chichester (1994)
Lasiecka, I., Triggiani, R.: Exact controllability of the wave equation with Neumann boundary control. Appl. Math. Optim. 19, 243–290 (1989)
Lions, J.-L.: Contrôlabilité Exacte, Perturbations et Stabilisation de Systèmes Distribués. Tome 1. Contrôlabilité Exacte, with appendices by E. Zuazua, C. Bardos, G. Lebeau and J. Rauch. Rech. Math. Appl., vol. 8. Masson, Paris (1988)
Lions, J.-L.: Contrôlabilité Exacte, Perturbations et Stabilisation de Systèmes Distribués. Tome 2. Perturbations. Rech. Math. Appl., vol. 9. Masson, Paris (1988)
Loreti, P., Sforza, D.: Control problems for weakly coupled systems with memory. J. Differ. Equ. 257, 1879–1938 (2014)
Loreti, P., Sforza, D.: Observability of \(N\)-dimensional integro-differential systems. Discret. Contin. Dyn. Syst. Ser. S 9, 745–757 (2016)
Triggiani, R.: Exact boundary controllability on \(L_2(\Omega )\times H^{-1}(\Omega )\) of the wave equation with Dirichlet boundary control acting on a portion of the boundary \(\partial \Omega \), and related problems. Appl. Math. Optim. 18, 241–277 (1988)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 IFIP International Federation for Information Processing
About this paper
Cite this paper
Loreti, P., Sforza, D. (2016). The Hilbert Uniqueness Method for a Class of Integral Operators. In: Bociu, L., Désidéri, JA., Habbal, A. (eds) System Modeling and Optimization. CSMO 2015. IFIP Advances in Information and Communication Technology, vol 494. Springer, Cham. https://doi.org/10.1007/978-3-319-55795-3_33
Download citation
DOI: https://doi.org/10.1007/978-3-319-55795-3_33
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-55794-6
Online ISBN: 978-3-319-55795-3
eBook Packages: Computer ScienceComputer Science (R0)