Professional Documents
Culture Documents
1. Introduction
First we consider the evolution equation
′
U (t) = AU(t) + k(t)BU(t − τ ) in (0, ∞),
(1.1) U(0) = U0 ,
BU(t − τ ) = f (t) for t ∈ (0, τ ),
to L1loc ([0, +∞); R), and τi is a variable time delay. Under some mild
assumptions on the involved functions and parameters we will establish
the well-posedness of the problem (1.6), and we will obtain exponential
decay estimates for its solutions.
The nonlinear version of previous model
and hence
Z t
U(t) = S(t)U0 + k(s)S(t − s)BU(s − τ )ds, t ∈ [0, τ ].
0
and hence
Z t
−
U(t) = S(t − τ )U(τ ) + k(s)S(t − s)BU(s − τ )ds, t ∈ [τ, 2τ ].
τ
Putting together the partial solutions obtained in the first and second
steps we get a unique continuous solution U : [0, 2τ ] → R satisfying
Duhamel’s formula
Z t
U(t) = S(t)U0 + k(s)S(t − s)BU(s − τ )ds, t ∈ [0, 2τ ].
0
and
Then there exists a constant M ′ > 0 such that the solutions of (1.1)
satisfy the estimate
′
(3.4) kU(t)k ≤ M ′ e−(ω−ω )t for all t ≥ 0.
Proof. Using our previous notation β(s) = M kBk eωτ |k(s + τ )| we
have
Z t
β(s) ds − ωt ≤ γ − (ω − ω ′)t for all t ≥ 0.
0
Combining this with (3.2) the estimate (3.4) follows with M ′ := αeγ .
6 V. KOMORNIK AND C. PIGNOTTI
for all t ≥ 0.
Proof. First we consider the case with time delays functions τi (·) bounded
from below by some positive constants, i.e., there exists for each i =
1, . . . , l a constant τ i > 0 such that
τi (t) ≥ τ i for all t ≥ 0.
Then we may argue step by step, as in the proof of Proposition 2.1, by
restricting ourselves each time to a time interval of length
τmin := min {τ i : i = 1, . . . , l} > 0.
Indeed, we infer from the assumption (1.3) that
t − τi (t) ≤ t − τ i ≤ t − τmin
for all t ≥ 0 and i = 1, . . . , l. Therefore, if t ∈ [kτmin , (k + 1)τmin ], then
t − τi (t) ≤ kτmin for all i = 1, . . . , l.
Now, we pass to the general case. For each fixed positive number
ǫ ≤ 1 we set
(4.2) τiǫ (t) := τi (t) + ǫ, t ≥ 0, i = 1, . . . , l.
Moreover, we extend the initial data fi to continuous functions f˜i :
[−τ ∗ − 1, 0] → H with the constant τ ∗ defined in (1.5).
Since τiǫ (t) ≥ ǫ > 0 for all t and i, the corresponding model (1.6)
with initial data U0 , f˜i and time delay functions τiǫ (·) has a unique
ENERGY DECAY FOR EVOLUTION EQUATIONS WITH DELAY 7
and hence
Uǫ1 (t) − Uǫ2 (t) =
Z t Xl
S(t − s) ki (s) [Bi Uǫ1 (s − τiǫ1 (s)) − Bi Uǫ2 (s − τiǫ1 (s))] ds
0 i=1
Z t l
X
+ S(t − s) ki (s) [Bi Uǫ2 (s − τiǫ1 (s)) − Bi Uǫ2 (s − τiǫ2 (s))] ds.
0 i=1
It follows that
(4.3) eωt kUǫ1 (t) − Uǫ2 (t)k ≤ M(I1 + I2 )
with
l Z
X t
I1 := e−ωs |ki ||Bi k kUǫ1 (s − τiǫ1 (s)) − Uǫ2 (s − τiǫ1 (s))k ds
ǫ
i=1 τi 1 (0)
and
l Z
X t
I2 := e−ωs |ki |kBi k kBi Uǫ2 (s − τiǫ1 (s)) − Bi Uǫ2 (s − τiǫ2 (s))k ds.
i=1 0
for all t and i, we have for every fixed T > 0 the estimate
(4.6) I2 ≤ C(T ; ǫ1 − ǫ2 ),
Theorem 4.2. Assume that there exist two constants ω ′ ∈ (0, ω) and
γ ∈ R such that
l Z t
X eωτ i
(4.7) M kBi k ki (ϕ−1 ′
i (s)) ds ≤ γ + ω t for all t ≥ 0.
i=1
1 − c i 0
Then there exists a constant M ′ > 0 such that the solutions of (1.6)
satisfy the estimate
′
(4.8) kU(t)k ≤ M ′ e−(ω−ω )t for all t ≥ 0.
for all t ≥ 0.
Now we make the change of variable ϕi (s) := s − τi (s) = σ for every
i = 1, . . . , l. Note that the functions ϕi (·) are invertible by (1.4). We
have the estimates
Z t
eω(s−τi (s)) |ki (s)| kBi U(s − τi )k ds
0
t−τi (t)
1
Z
≤ eωσ |ki (ϕ−1
i (σ)| kBi U(σ)k dσ
1 − ci −τi (0)
ENERGY DECAY FOR EVOLUTION EQUATIONS WITH DELAY 9
and hence
l Z 0
ωt
X eωτ i
e kU(t)k ≤ M kU0 k + M eωs |ki (ϕ−1
i (s))| kfi (s)k ds
i=1
1 − c i −τ i (0)
l
X eωτ i Z t
+M eωs |ki (ϕ−1
i (s))| kBi k kU(s)k ds
i=1
1 − ci 0
l
X eωτ i
(4.10) β̃(t) = M |ki (ϕ−1
i (s))|kBi k,
i=1
1 − c i
i.e.,
Rt
β̃(s) ds−ωt
(4.11) kU(t)k ≤ αe 0 for all t ≥ 0.
5. A nonlinear model
We now consider the nonlinear model (1.7), where the operator A,
as before, generates an exponentially stable semigroup (S(t))t≥0 in a
Hilbert space H, and for each i = 1, . . . , l,
• Bi is a continuous linear operator of H into itself,
• ki ∈ L1loc ([0, +∞); R),
• τi is a variable time delay satisfying (1.3) and (1.4),
• fi ∈ C([−τ ∗ , 0]; H) with τ ∗ defined in (1.5).
Furthermore, the nonlinear function F satisfies some local Lipschitz
assumption as precised below.
We will prove an exponential stability result for small initial data
under a suitable well-posedness assumption. Then, we will give a class
of examples for which this assumption is satisfied.
Concerning F we assume that F (0) = 0, and that the following local
Lipschitz condition is satisfied: for each constant r > 0 there exists a
constant L(c) > 0 such that
l Z
X τ∗
(5.2) kU0 k2H + |ki (s)| · kfi (s)k2H ds < ρ2 ,
i=1 0
′
kU(t)k ≤ M̃ e−(ω−ω −M L(Cρ ))t for all t ≥ 0.
ENERGY DECAY FOR EVOLUTION EQUATIONS WITH DELAY 11
for all t ≥ 0.
Now, as before, we make the change of variable ϕi (s) := s−τi (s) = σ
for every i = 1, . . . , l to get the estimate
l Z 0
ωt
X eωτ i
e kU(t)k ≤ M kU0 k + M eωs |ki (ϕ−1
i (s))| · kfi (s)k ds
i=1
1 − c i −τi (0)
l Z t
X eωτ i
+M eωs |ki (ϕ−1
i (s))| · kBi k · kU(s)k ds
i=1
1 − c i 0
Z t
+ ML(Cρ ) eωs kU(s)k ds
0
ωt
for all t ≥ 0. Setting ũ(t) = e kU(t)k we may rewrite it in the form
Z t Z t
ũ(t) ≤ α̃ + β̃(s)ũ(s) ds + ML(Cρ ) ũ(s) ds for all t ≥ 0,
0 0
and
(5.5) akuk2Wi ≤ kC ∗ uk2W0
for all u ∈ W and i = 1, . . . , l, with suitable positive constants di and
a.
Furthermore, let Ψ : W̃ → R be a functional having a Gâteaux
derivative DΨ(u) in every u ∈ Ŵ . In the same spirit as in [1], we
assume the following:
(i) For every u ∈ W̃ there is a constant c(u) such that
|DΨ(u)(v)| ≤ c(u)kvkW , ∀ v ∈ W̃ ,
where DΨ(u) is the Gâteaux derivative of the functional Ψ at u.
Thus, Ψ can be extended to the whole W and we denote by ∇Ψ(u)
the unique vector representing DΨ(u) in the Riesz isomorphism,
namely
h∇Ψ(u), viW = DΨ(u)(v), ∀ v ∈ W.
(ii) For all r > 0 there exists a constant L(r) > 0 such that
1/2
k∇Ψ(u) − ∇Ψ(v)kW ≤ L(r)kA0 (u − v)kW ,
1/2 1/2
for all u, v ∈ Ŵ satisfying kA0 ukW ≤ r and kA0 vkW ≤ r.
(iii) Ψ(0) = 0, ∇Ψ(0) = 0, and there exists an increasing continuous
function h such that, ∀ u ∈ W̃ ,
1/2 1/2
k∇Ψ(u)kW ≤ h(kA0 ukW )kA0 ukW
for all u ∈ W̃ .
In this framework, let us consider the following second-order model:
1 1 1/2
E(t) := E(t, u(·)) = kut k2W + kA0 uk2W − Ψ(u)
2 2
l t
1X 1
Z
+ |ki (ϕ−1 ∗ 2
i (s))| · kDi ut (s)kWi ds.
2 i=1 1 − ci t−τi (t)
We are going to show that the problem (5.6) satisfies the well-posedness
assumption and the exponential decay estimate of Theorem 5.1 for
small initial data under a suitable compatibility condition between the
functions ki and the constant a in (5.5). We need a preliminary lemma.
Lemma 5.2. Assume that ki (t) = ki1 (t) + ki2 (t) with ki1 ∈ L1 ([0, +∞))
and ki2 ∈ L∞ (0, +∞) for i = 1, . . . , l. Furthermore, assume that
2a 1 − ci
(5.8) kki2 k∞ ≤ · , i = 1, . . . , l.
l 2 − ci
Then, for any solution u of problem (5.6), defined on [0, T ) for some
T > 0, and satisfying E(t) ≥ 41 kut (t)k2 for all t ∈ [0, T ), we have
with
Pl R +∞ 1
2 di ( 1−c |ki1 (ϕ−1 1
i (s))|+|ki (s)|) ds
(5.10) C̄ = e i=1 0 i .
14 V. KOMORNIK AND C. PIGNOTTI
Proof. First we restrict ourselves to the time interval [0, τmin ] where
τmin is the constant defined in (5.7). In such an interval the model can
be rewritten in the abstract form
( Pl
U ′ (t) = AU(t) + i=1 ki (t)Gi (t) + F (U(t)) in (0, ∞),
(5.12)
U(0) = U0 ,
Z 1
(5.13) |Ψ(u)| ≤ |h∇Ψ(su), ui| ds
0
1
1
Z
1/2 1/2 1/2 1/2
≤ kA0 uk2W h(skA0 ukW )s ds ≤ h(kA0 ukW )kA0 uk2W
0 2
1 1 1/2
E(0) = ku1 k2W + kA0 u0 k2W − Ψ(u0 )
2 2
l Z 0
1 X 1
+ |ki (ϕ−1 ∗ 2
i (s))| kDi ut (s)kWi ds
2 i=1 1 − ci −τi (0)
1 1 1/2
≥ ku1 k2W + kA0 u0 k2W
2 4
l Z 0
1X 1
|ki (ϕ−1 ∗ 2
i (s))| kDi ut (s)kWi ds > 0.
2 i=1 1 − ci −τi (0)
for all t ∈ [0, δ). Indeed, let r be the supremum of all s ∈ [0, δ) such
that (5.15) holds true for every t ∈ [0, s]. Arguing by contradiction,
suppose thatr < δ. Then by continuity we have
1 1 1/2
(5.16) E(r) = kut (r)k2W + kA0 u(r)k2W
4 4
l Z r
1X 1
+ |ki (ϕ−1 ∗ 2
i (s))| kDi ut (s)kWi ds.
4 i=1 1 − ci r−τi (r)
1/2
Indeed, this assumption implies kA0 u0 kW < ρ and then, observing
that C̄ > 1, we have
1
−1 1
1
1/2
h kA0 u0 kW < h(ρ) = h h ( ) < .
2C̄ 1/2 2 2
Moreover, from (5.13) we get the estimate
3 1/2 1
E(0) ≤ kA0 u0 k2W + ku1 k2W
4 2
l Z 0
1X 1
+ |ki (ϕ−1 2 2
i (s))| kgi (s)kWi ds < ρ ,
2 i=1 1 − ci −τi (0)
6. Examples
In the following examples we consider a non-empty bounded domain
Ω in Rn with a boundary Γ of class C 2 .
18 V. KOMORNIK AND C. PIGNOTTI
utt (x, t) − ∆u(x, t) + aχO (x)ut (x, t)
−k(t)χÕ (x)ut (x, t − τ ) = 0 in Ω × (0, ∞),
(6.1) u(x, t) = 0 on Γ × (0, ∞),
u(x, t − τ ) = u0 (x, t) in Ω × (0, τ ],
ut (x, t − τ ) = u1 (x, t) in Ω × (0, τ ],
where a is a positive constant, τ > 0 is the time delay, and the damping
coefficient k belongs to L1loc (0, ∞). The set Õ ⊂ Ω where the delay
feedback is localized can be any measurable subset of Ω.
Setting U = (u, ut )T , this problem can be rewritten in the form (1.1)
with H = H01(Ω) × L2 (Ω),
0 1
A=
∆ χO
and B : H → H defined by
B(u, v)T = (0, χÕ v)T .
It is well-known that A generates a strongly continuous semigroup
which is exponentially stable (see e.g. [17, 9]). Since kBk ≤ 1, we
have exponential stability result under the assumption
Z t
ωτ
(6.2) Me |k(t + τ )| ds ≤ γ + ω ′ t for all t ≥ 0
0
R∞
u tt (x, t) − ∆u(x, t) + 0
µ(s)∆u(x, t − s)ds
= k(t)χO (x)ut (x, t − τ )) in Ω × (0, ∞),
(6.3)
u(x, t) = 0 on Γ × (0, ∞),
u(x, t) = u0 (x, t) in Ω × (−∞, 0]
where
u0 (x) = u0 (x, 0), x ∈ Ω,
(6.5) u1 (x) = ∂u
∂t
0
(x, t)|t=0 , x ∈ Ω,
η (x, s) = u (x, 0) − u (x, −s),
0 0 0 x ∈ Ω, s ∈ (0, ∞).
Let us introduce the Hilbert space L2µ ((0, ∞); H01(Ω)) of H01 -valued
functions on (0, ∞), endowed with the inner product
Z Z ∞
hϕ, ψiL2µ ((0,∞);H01 (Ω)) = µ(s)∇ϕ(x, s)∇ψ(x, s)ds dx,
Ω 0
with domain
D(A) := (u, v, η) ∈ H01 (Ω) × H01 (Ω) × L2µ ((0, ∞); H01(Ω)) :
Z ∞
(1 − µ̃)u + µ(s)η(s)ds ∈ H 2 (Ω) ∩ H01 (Ω),
0
ηs ∈ Lµ ((0∞); H01(Ω))
2
utt (x, t) − ∆u(x, t) + aχO (x)ut (x, t)
−k(t)χÕ (x)ut (x, t − τ )
µ
= |u(x, t)| u(x, t) in Ω × (0, ∞),
(6.6)
u(x, t) = 0 on Γ × (0, ∞),
u(x, t − τ ) = u0 (x, t) in Ω × (0, τ ],
u (x, t − τ ) = u (x, t) in Ω × (0, τ ],
t 1
where a is a positive constant, τ > 0 is the time delay, and the damping
coefficient k belongs to L1loc (0, ∞). Moreover, we assume k = k 1 + k 2
with k1 ∈ L1 ([0, +∞)) and k2 ∈ L∞ (0, +∞) satisfying kk 2 k∞ < a.
Setting U = (u, ut)T , this problem can be rewritten in the form (1.7)
with H = H01(Ω) × L2 (Ω),
0 1
A=
∆ χO
and B : H → H defined by
B(u, v)T = (0, χÕ v)T .
It is well-known that A generates a strongly continuous semigroup
which is exponentially stable (see e.g. [17, 9]). Next, consider the
functional
1
Z
Ψ(u) := |u(x)|µ+2 dx, u ∈ H01(Ω),
µ+2 Ω
4
which is well-defined, for 0 < µ ≤ n−2 , by Sobolev’s embedding theo-
rem. Note that Ψ is Gâteaux differentiable at every u ∈ H01 (Ω) and its
Gâteaux derivative is given by
Z
DΨ(u)(v) = |u(x)|µ u(x)v(x) dx, v ∈ H01 (Ω).
Ω
4
As showed in [1], assuming 0 < µ < n−2 , then Ψ satisfies previous
assumptions (i), (ii), (iii), and then problem (6.6) is included in the
abstract form (5.12). Since the assumptions of Lemma 5.2 are satisfied
then Theorem 5.1 holds for small initial data if (6.2) is satisfied for
some ω ′ < ω and γ ∈ R, where M and ω denote the positive constants
in the exponential estimate (1.2) for the semigroup generated by A.
Remark. A large variety of other examples could be considered, e.g., the
wave equation with standard dissipative boundary conditions and in-
ternal delays, plate equations with internal/boundary/viscoelastic dis-
sipative feedbacks and internal delays, elasticity systems with different
kinds of feedbacks.
22 V. KOMORNIK AND C. PIGNOTTI
References
[1] F. Alabau-Boussouira, P. Cannarsa and D. Sforza. Decay estimates
for second order evolution equations with memory. J. Funct. Anal., 254:1342–
1372, 2008.
[2] C. Bardos, G. Lebeau and J. Rauch. Sharp sufficient conditions for the
observation, control and stabilization of waves from the boundary. SIAM J.
Control Optim., 30:1024–1065, 1992.
[3] A. Bátkai and S. Piazzera. Semigroups for delay equations, Research Notes
in Mathematics, 10. AK Peters, Ltd., Wellesley, MA, 2005.
[4] C.M. Dafermos. Asymptotic stability in viscoelasticity. Arch. Rational Mech.
Anal., 37:297–308, 1970.
[5] R. Datko, J. Lagnese and M. P. Polis. An example on the effect of time
delays in boundary feedback stabilization of wave equations. SIAM J. Control
Optim., 24:152–156, 1986.
[6] G. Fragnelli and C. Pignotti. Stability of solutions to nonlinear wave
equations with switching time-delay. Dyn. Partial Differ. Equ., 13:31-51, 2016.
[7] C. Giorgi, J.E. Muñoz Rivera and V. Pata. Global attractors for a semi-
linear hyperbolic equation in viscoelasticity. J. Math. Anal. Appl., 260:83–99,
2001.
[8] A. Haraux, P. Martinez and J. Vancostenoble. Asymptotic stability
for intermittently controlled second-order evolution equations. em SIAM J.
Control Optim., 43:2089–2108, 2005.
[9] V. Komornik. Exact controllability and stabilization. The multiplier method.
Masson, Paris and John Wiley & Sons, Chicester, 1994.
[10] V. Komornik and E. Zuazua. A direct method for the boundary stabilization
of the wave equation, J. Math. Pures Appl. (9) 69 (1990), 33–54.
[11] J.-L. Lions. Exact controllability, stabilizability, and perturbations for dis-
tributed systems, Siam Rev. 30 (1988), 1–68.
[12] S. Nicaise and C. Pignotti. Exponential stability of abstract evolution
equations with time delay. J. Evol. Equ., 15:107–129, 2015.
[13] S. Nicaise and C. Pignotti. Well–posedness and stability results for nonlin-
ear abstract evolution equations with time delays. J. Evol. Equ., 18:947–971,
2018.
[14] A. Pazy. Semigroups of linear operators and applications to partial differential
equations, Vol. 44 of Applied Math. Sciences. Springer-Verlag, New York, 1983.
[15] C. Pignotti. Stability results for second-order evolution equations with mem-
ory and switching time-delay. J. Dynam. Differential Equations, 29:1309–1324,
2017.
[16] C. Pignotti. A note on stabilization of locally damped wave equations with
time delay. Systems and Control Lett., 61:92–97, 2012.
[17] E. Zuazua. Exponential decay for the semi-linear wave equation with locally
distributed damping. Comm. Partial Differential Equations, 15:205–235, 1990.
ENERGY DECAY FOR EVOLUTION EQUATIONS WITH DELAY 23