ACTA MATHEMATICA VIETNAMICA
Volume 24, Number 2, 1999, pp. 129–145 129
SOLUTIONS D’UNE ´
EQUATION DIFF´
ERENTIELLE
FONCTIONNELLE SEMI-LIN´
EAIRE `
A RETARD
INFINI DANS UN ESPACE DE BANACH
SGHIR ABDELHAQ
Abstract. This paper is concerned with the existence of solutions to the
initial value problem for a semilinear functional differential equation with
infinite delay in a Banach space:
½x0(t)=Lxt+f(t,xt), t[0,a] (a>0)
x(t)=ϕ(t)t]−∞,0].
The result is based on the Leray-Schauder alternative and a priori bounds
on solutions.
1. Introduction
Soit Eun espace de Banach r´eel de norme not´ee |.|Eet soit B:= BE
l’espace de phases satisfaisant les axiomes fondamentales introduites par
Hale et Kato [5]. Si x: lR E, alors pour tout tlR+, nous d´efinissons
une application xt: lREpar xt(θ) = x(t+θ).
Dans ce papier, nous ´etudions dans la premi`ere partie une m´ethode
similaire `a celle d’Arino-Sanchez [1] pour l’existence d’une formule de la
variation de la constante pour le probl`eme de Cauchy non homog`ene as-
soci´e `a l’´equation diff´erentielle fonctionnelle `a retard infini
x0(t) = Lxt+h(t), t 0
o`u L:B Eest un op´erateur lin´eaire continu et h: lR+Eune
fonction continue.
Dans la seconde partie et par utilisation de la formule de la variation de
la constante trouv´ee, nous ´etudions l’existence des solutions du probl`eme
semi-lin´eaire
Received May 5, 1997; in revised form September 29, 1997.
1991 Mathematics Subject Classification. Primary 34 K30.
Keywords and phrases. Equation diff´erentielle fonctionnelle semi-lin´eaire `a retard infini;
formule de la variation de la constante.
130 SGHIR ABDELHAQ
P(ϕ)½x0(t) = Lxt+f(t, xt), t I:= [0, a]
x0=ϕ,
o`u (a, ϕ)lR+
× B sont donn´es et f:I× B Eest une fonction
compl`etement continue v´erifiant une certaine propri´et´e de bornage.
Les ´equations diff´erentielles (fonctionnelles) sont ´etudi´ees par plusieurs
auteurs, par exemple Deimling [2], Iwamiya [7], Martin [8], Pazy [9], Schu-
macher [10], Shin [11] et Travis et Webb [12].
2. Pr´
eliminaires
D´esignons par B:= B( lR;E), l’espace vectoriel des fonctions d´efinies
sur lR`a valeurs dans Emuni d’une semi-norme not´ee |.|B, et
E[a] = {x:] − ∞, a]E|x0∈ B et x|Iest continue }pour a > 0,
E={x: lR E|x0∈ B et x|lR+est continue }.
Dans la suite de ce travail, nous supposons que l’espace de phases B
satisfait les axiomes suivants:
A)Best un espace complet.
B1) Si x∈ E[a] (rep. E), alors xt∈ B et la fonction t7−xtest
continue pour tout tI(resp. tlR+).
B2) Il existe une constante l0>0 et deux fonctions K, M : lR+lR+
telles que:
Kest continue sur lR+;
Mest localement born´ee;
pour toute fonction x∈ E[a] (resp. E) et tout tI(resp. tlR+),
1
l0|x(t)|E≤ |xt|BK(t) sup
0st
|x(s)|E+M(t)|x0|B.
C) Si (ϕn) est une suite de Cauchy dans Bet si lim
n→∞ sup
θK
|ϕn(θ)
ϕ(θ)|E= 0 pour tout compact KlR, alors ϕ∈ B et lim
n→∞|ϕnϕ|B= 0.
Nous notons par,
Ka= sup
tI
K(t) et Ma= sup
tI
M(t).
Donnons maintenant quelques espaces de phases Bqui v´erifient les axiomes
pr´ec´edents voir par exemple [5], [6].
SOLUTIONS D’UNE ´
EQUATION DIFF ´
ERENTIELLE... 131
Example 2.1. Posons
BC ={ϕC( ] − ∞,0]; E) : |ϕ(θ)|Eest born´ee sur ] − ∞,0]}
BU ={ϕBC :ϕest uniform´ement continue sur ] − ∞,0]}
C={ϕBC : lim
θ→−∞ ϕ(θ) existe dans E}
C={ϕBC : lim
θ→−∞ ϕ(θ) = 0},
et soit |ϕ|B= sup
θ0
|ϕ(θ)|E; alors les trois sous-espaces BU, Cet C
v´erifient les axiomes pr´ec´edents, par contre BC ne v´erifie pas B1) avec
K(t) = M(t) = l0= 1.
Example 2.2. Soit γlR, posons
Cγ={ϕC(] − ∞,0]; E) : lim
θ→−∞ eγθ ϕ(θ) existe dans E}
et |ϕ|γ= sup
θ0
eγθ |ϕ(θ)|E; alors Cγerifie les axiomes pr´ec´edents avec
K(t) = sup
tθ0
eγθ = max(1, eγt), M (t) = eγt et l0= 1.
Example 2.3. Soit γlR+, posons
Lγ=nϕ: lRE:ϕest mesurable sur ] − ∞,r],
continue sur [r, 0] et |ϕ|Lγ<+o,
o`u 0 r < et |ϕ|Lγ= sup
rθ0
|ϕ(θ)|E+
r
R
−∞
eγθ |ϕ(θ)|E; alors Lγ
v´erifie les axiomes pr´ec´edents avec l0= 1,
K(t) =
1 si 0 tr,
1 +
r
Z
t
eγθ si t > r,
132 SGHIR ABDELHAQ
M(t) =
max ³1 +
r
Z
rt
eγθ , eγt´si 0 tr,
max ³
t
Z
rt
eγθ , eγt´si t > r.
Enfin, rappelons que le probl`eme de Cauchy homog`ene
(H)½x0(t) = Lxtt0,
x0=ϕ ϕ ∈ B,
o`u L:B Eest un op´erateur lin´eaire continu, admet une unique solution
x(ϕ) E C1( lR+;E) et que pour tout t0, l’op´erateur T(t) : B → B
d´efini par T(t)ϕ=xt(ϕ) est un semi-groupe lin´eaire de classe (C0) et
satisfaisant la propri´et´e de translation:
³T(t)ϕ´(θ) = (ϕ(t+θ) si t+θ0,
³T(t+θ)ϕ´(0) si t+θ0,
pour tlR+,θlRet ϕ∈ B.
Son g´en´erateur infinit´esimal Aest d´efini par
= lim
h0+
T(h)ϕϕ
h(quand cette limite existe dans B).
De plus, pour chaque ϕ∈ B, la solution du probl`eme (H) est donn´ee par
x(ϕ)(t) = (ϕ(t) si t0,
³T(t)ϕ´(0) si t0.
Nous pouvons expliciter D(A) (domaine de A) et dans des cas parti-
culiers de B(voir par exemple [6]).
3. Formule de variation de constante
Consid´erons le probl`eme de Cauchy non homog`ene
(N.H)½x0(t) = Lxt+h(t)t0,
x0=ϕ ϕ ∈ B,
SOLUTIONS D’UNE ´
EQUATION DIFF ´
ERENTIELLE... 133
o`u hC([0,[; E).
Th´eor`eme 3.1. Le probl`eme (N.H) admet une unique solution x∈ E ∩
C1( lR+, E).
D´emonstration. Il est clair que xest solution du probl`eme (N.H) si, et
seulement si la restriction de x`a tout intervale ] − ∞, a] (o`u a > 0) v´erifie
l’´equation inegrale:
x(t) =
ϕ(0) +
t
Z
0
Lxsds +
t
Z
0
h(s)ds, si tI,
ϕ(t) si t0.
Pour tout a > 0, consid´erons le ferm´e
Cϕ={yC([0, a]; E); y(0) = ϕ(0)}
et pour yCϕ, d´efinissons la fonction ˜ypar
˜y(t) = ½ϕ(t) si t0,
y(t) si tI,
alors ˜y∈ E[a] et d’apr`es l’axiome B1), ˜yt∈ B et t7−˜ytest continue sur
I.
Nous choisissons une constante n´egative γconvenable et nous munis-
sons l’espace de Banach C(I;E) de la norme (´equivalente `a la norme sup.)
kykγ:= sup
tI
|y(t)|Eeγt,pour tout yC(I;E).
Consid´erons maintenant l’op´erateur τefini sur Cϕpar,
τy(t) = ϕ(0) +
t
Z
0
L˜ysds +
t
Z
0
h(s)ds, pour tout tI.
Il est clair que τyCϕsi yCϕ. Pour tous y, z Cϕet tout tI
|τy(t)τz(t)|El
t
Z
0
|˜ys˜zs|Bds o`u l:= kLk,
1 / 17 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !