- Research Article
- Open access
- Published:
Approximate Controllability of a Reaction-Diffusion System with a Cross-Diffusion Matrix and Fractional Derivatives on Bounded Domains
Boundary Value Problems volume 2010, Article number: 281238 (2010)
Abstract
We study the following reaction-diffusion system with a cross-diffusion matrix and fractional derivatives in
,
in
,
on
,
,
in
where
is a smooth bounded domain,
, the diffusion matrix
has semisimple and positive eigenvalues
,
,
is an open nonempty set, and
is the characteristic function of
. Specifically, we prove that under some conditions over the coefficients
, the semigroup generated by the linear operator of the system is exponentially stable, and under other conditions we prove that for all
the system is approximately controllable on
.
1. Introduction
In this paper we prove controllability for the following reaction-diffusion system with cross diffusion matrix:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ1_HTML.gif)
where is an open nonempty set of
and
is the characteristic function of
.
We assume the following assumptions.
(H1) is a smooth bounded domain in
.
(H2) The diffusion matrix has semisimple and positive eigenvalues
(H3) are real constants,
are real constants belonging to the interval
(H4)
(H5) The distributed controls .
Specifically, we prove the following statements.
(i) If and
, where
is the first eigenvalue of
with Dirichlet condition, or if
, and
then, under the hypotheses (H1)–(H3), the semigroup generated by the linear operator of the system is exponentially stable.
(ii) If and under the hypotheses (H1)–(H5), then, for all
and all open nonempty subset
of
the system is approximately controllable on
This paper has been motivated by the work done in [1] and the work done by H. Larez and H. Leiva in [2]. In the work [1], the auther studies the asymptotic behavior of the solution of the system
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ2_HTML.gif)
supplemeted with the initial conditions
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ3_HTML.gif)
The author proved that in the Banach space where
is the space of bounded uniformly continuous real valued functions on
, if
and
are locally Lipshitz and under some conditions over the coefficients
, and if
then
for all
Moreover,
and
satisfy the system of ordinary differential equations
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ4_HTML.gif)
with the initial data
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ5_HTML.gif)
The same result holds for
In the work done in [2], the authers studied the system (1.1) with , and
They proved that if the diffusion matrix
has semi-simple and positive eigenvalues
,
then if
(
is the first eigenvalue of
), the system is approximately controllable on
for all open nonempty subset
of
2. Notations and Preliminaries
In the following we denote by
the set of
matrices with entries from
,
the set of all measurable functions
such that
,
the set of all the functions
that have generalized derivatives
for all
,
the closure of the set
in the Hilbert space
,
the set of all the functions
that have generalized derivatives
for all
.
We will use the following results.
Theorem 2.1 (cf. [3]).
Let us consider the following classical boundary-eigenvalue problem for the laplacien:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ6_HTML.gif)
where is a nonempty bounded open set in
and
.
This problem has a countable system of eigenvalues and
as
.
(i) All the eigenvalues have finite multiplicity
equal to the dimension of the corresponding eigenspace
.
(ii) Let be a basis of the
for every
then the eigenvectors
form a complete orthonormal system in the space
Hence for all
we have
If we put
then we get
.
(iii) Also, the eigenfunctions , where
is the space of infinitely continuously differentiable functions on
and compactly supported in
.
(iv) For all we have
.
(v) The operator generates an analytic semigroup
on
defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ7_HTML.gif)
Definition 2.2.
Let a real number, the operator
is defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ8_HTML.gif)
In particular, we obtain and
. Since
form a complete orthonormal system in the space
then it is dense in
, and hence
is dense in
.
Proposition 2.3 (cf. [4]).
Let be a Hilbert separable space and
and
two families of bounded linear operators in
, with
a family of complete orthogonal projections such that
Define the following family of linear operators Then
(a) is a linear and bounded operator if
with
continiuous for
(b) under the above condition (a), is a strongly continiuous semigroup in the Hilbert space
whose infinitesimal generator
is given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ9_HTML.gif)
Theorem 2.4 (cf. [5]).
Suppose is connected,
is a real function in
, and
on a nonempty open subset of
. Then
in
.
3. Abstract Formulation of the Problem
In this section we consider the following notations.
-
(i)
is a Hilbert space with the inner product
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ10_HTML.gif)
We define
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ11_HTML.gif)
-
(iii)
Let
then we can define the linear operator
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ12_HTML.gif)
where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ13_HTML.gif)
Therefore, for all
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ14_HTML.gif)
If we put
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ15_HTML.gif)
then (3.3) can be written as
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ16_HTML.gif)
and we have for all
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ17_HTML.gif)
Consequently, system (1.1) can be written as an abstract differential equation in the Hilbert space in the following form:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ18_HTML.gif)
where and
is a bounded linear operator from
into
.
4. Main Results
4.1. Generation of a
-Semigroup
Theorem 4.1.
If , then, under hypotheses (H1)–(H3), the linear operator
defined by (3.3) is the infinitesimal generator of strongly continuous semigroup
given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ19_HTML.gif)
where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ20_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ21_HTML.gif)
Moreover, if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ22_HTML.gif)
then the -semigoup
is exponentially stable, that is, there exist two positives constants
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ23_HTML.gif)
Proof.
In order to apply the Proposition 2.3, we observe that can be written as follows:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ24_HTML.gif)
where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ25_HTML.gif)
Therefore, and
Now, we have to verify condition (a) of the Proposition 2.3. We shall suppose that Then, there exists a set
of complementary projections on
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ26_HTML.gif)
If is the matrix passage from the canonical basis of
to the basis composed with the eigenvectors of
, then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ27_HTML.gif)
Hence,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ28_HTML.gif)
We have also
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ29_HTML.gif)
From (4.10)-(4.11) into (4.7) we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ30_HTML.gif)
where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ31_HTML.gif)
As we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ32_HTML.gif)
As as
then this implies the existence of a positive number
and a real number
such that
for every
Therefore
is a strongly continious semigroup
given by (4.1). We can even estimate the constants
and
as follows.
-
(i)
If
As
, then there exist constants
(4.15)
hence, if we put
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ34_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ35_HTML.gif)
we easily obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ36_HTML.gif)
If
. If we put
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ37_HTML.gif)
then we find that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ38_HTML.gif)
Therefore, the linear operator generates a strongly continuous semigroup
on
given by expression (4.1).
Finally, if we have already proved (4.20). Using (4.20) into (4.1) we get that the
-semigoup
is exponentially stable. The expression (4.5) is verfied with
and
is defined by (4.19).
Theorem 4.2.
If
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ39_HTML.gif)
then, under the hypotheses (H1)–(H3), the linear operator defined by (3.3) is the infinitesimal generator of strongly continuous semigroup exponentially stable
defined by (4.1). Specially, there exist two positives constants
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ40_HTML.gif)
To prove this result, we need the following lemma.
Lemma 4.3.
For every two real positives constants and
, one has for every
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ41_HTML.gif)
and for every
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ42_HTML.gif)
Proof of Lemma 4.3.
It is easy to verify that for every , for all
.
Let and
, then we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ43_HTML.gif)
Hence, we get (4.23).
Also, it is easy to verify that for every , for all
. Let
and
, then we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ44_HTML.gif)
Hence, from (4.26) we get
for all
and
, which gives (4.24).
With the same manner we can prove that for every and every
we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ45_HTML.gif)
and consequently, for every two real positives constants and
and every
we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ46_HTML.gif)
Now, we are ready to prove Theorem 4.2.
Proof of Theorem 4.2.
By applying Proposition 2.3 we start from formula (4.12) and we put
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ47_HTML.gif)
where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ48_HTML.gif)
To estimate we have in taking into account
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ49_HTML.gif)
and applying the Lemma 4.3 we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ50_HTML.gif)
for all and
. But we have
, for all
Then we get for every
that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ51_HTML.gif)
From (4.31)-(4.33) we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ52_HTML.gif)
where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ53_HTML.gif)
and
Applying Lemma 4.3 and taking into account (4.21) we get with the same manner that for every
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ54_HTML.gif)
where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ55_HTML.gif)
and or every
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ56_HTML.gif)
where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ57_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ58_HTML.gif)
From (4.34)-(4.40) into (4.12) we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ59_HTML.gif)
where is defined by (4.17) and
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ60_HTML.gif)
Using (4.41) into (4.1) we get that the -semigoup
generated by
is exponentially stable. Expression (4.22) is verfied with
and
is defined by (4.42).
4.2. Approximate Controllability
Befor giving the definition of the approximate controllabiliy for the sytem (3.9), we have the following known result: for all and
the initial value problem (3.9) admits a unique mild solution given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ61_HTML.gif)
This solution is denoted by
Definition 4.4.
System (3.9) is said to be approximately controllable at time whenever the set
is densely embedded in
; that is,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ62_HTML.gif)
The following criteria for approximate controllability can be found in [6].
Criteria 1.
System (3.9) is approximately controllable on if and only if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ63_HTML.gif)
Now, we are ready to formulate the third main result of this work.
Theorem 4.5.
If the following condition
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ64_HTML.gif)
is satisfied; then, under hypotheses (H1)–(H5), for all and all open subset
system (3.9) is approximately controllable on
.
Proof.
The proof of this theorem relies on the Criteria 1 and the following lemma.
Lemma 4.6.
Let and
be sequences of real numbers such that
,
and
, for all
, then for any
one has
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ65_HTML.gif)
Proof of Lemma 4.6.
By analyticity we get and from this we get
. Under the assumptions of the lemma we get
as
and so
If
, we divide
by
and we pass
we get
. If
we divide
by
and we pass
and get
. If
, we divide
by
and we pass
and get
But in this we case we can integrate under the symbol of sommation over the intervall
and we get
. Hence
. Continuing this way we see that
for all
We are now ready to prove Theorem 4.5. For this purpose, we observe that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ66_HTML.gif)
where is the
-semigroup generated by
.
Without lose of generality, we suppose that Hence
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ67_HTML.gif)
where
Now, suppose for that
, for all
Then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ68_HTML.gif)
If (4.46) is satisfied, then (4.50) take the form
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ69_HTML.gif)
Then, from lemma 4.6 we obtain that for and all
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ70_HTML.gif)
Since we get that all
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ71_HTML.gif)
On the other hand, from Theorem 2.4 we know that are analytic functions, which implies the analticity of
and
Then we can conclude that for
and all
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F281238/MediaObjects/13661_2009_Article_911_Equ72_HTML.gif)
Hence for all
which implies that
This completes the proof of Theorem 4.5.
References
Badraoui S:Asymptotic behavior of solutions to a
reaction-diffusion system with a cross diffusion matrix on unbounded domains. Electronic Journal of Differential Equations 2006,2006(61):1-13.
Larez H, Leiva H:Interior controllability of a
a reaction-diffusion system with cross diffusion matrix. to appear in Boundary Value Problems
Zeidler E: Applied Functional Analysis, Applied Mathematical Sciences. Volume 109. Springer, New York, NY, USA; 1995:xvi+404.
Leiva H:A lemma on
-semigroups and applications. Quaestiones Mathematicae 2003,26(3):247-265. 10.2989/16073600309486057
Axler S, Bourdon P, Ramey W: Harmonic Function Theory, Graduate Texts in Mathematics. Volume 137. Springer, New York, NY, USA; 1992:xii+231.
Curtain RF, Zwart H: An Introduction to Infinite-Dimensional Linear Systems Theory, Texts in Applied Mathematics. Volume 21. Springer, New York, NY, USA; 1995:xviii+698.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Badraoui, S. Approximate Controllability of a Reaction-Diffusion System with a Cross-Diffusion Matrix and Fractional Derivatives on Bounded Domains. Bound Value Probl 2010, 281238 (2010). https://doi.org/10.1155/2010/281238
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2010/281238