Vous êtes sur la page 1sur 30

Contributions à l’étude de l’existence et de la régularité

pour une classe d’équations intégro-différentielles :


Cas retard et de type neutre.

Thèse présentée

par

Boubacar Diao1

1 Université Gaston Berger de Saint-Louis (UGB)

Le 20 juin 2016

UFR SAT-LANI
INTRODUCTION GENERALE
PRELIMINAIRES Sommaire
PRINCIPAUX RESULTATS

OUTLINE

1 INTRODUCTION GENERALE

2 PRELIMINAIRES

3 PRINCIPAUX RESULTATS

B. DIAO U.G.B Résultats d’existence sous la norme alpha


INTRODUCTION GENERALE
PRELIMINAIRES Motivations et Problématique
PRINCIPAUX RESULTATS

INTRODUCTION GÉNÉRALE

B. DIAO U.G.B Résultats d’existence sous la norme alpha


INTRODUCTION GENERALE
PRELIMINAIRES Motivations et Problématique
PRINCIPAUX RESULTATS

Formulation abstraite

Nous considérons le système suivant :

 Z t
 du(t) = −Au(t) +
 B(t − s)u(s)ds + F (t, ut ), t ≥ 0,
dt 0

u0 = ϕ ∈ Cα .

(1.1)

F (t, Aα u(t)) is well defined

Cα = C ([−r , 0], Xα ).

ut (θ) = u(t + θ) pour θ ∈ [−r , 0].

B. DIAO U.G.B Résultats d’existence sous la norme alpha


24
INTRODUCTION GENERALE
PRELIMINAIRES Motivations et Problématique
PRINCIPAUX RESULTATS

Motivations

1 Les EDOs et EDPs jouent des rôles très importants dans


le domaine de la modélisation mathématique.

2 Nous les rencontrons dans plusieurs domaines d’applica-


tion tels que la physique, la biologie, etc.

1
B. DIAO U.G.B Résultats d’existence sous la norme alpha
INTRODUCTION GENERALE
PRELIMINAIRES Motivations et Problématique
PRINCIPAUX RESULTATS

Motivations

-Modèle de Verlhust
du(t) u(t)
= τ u(t)(1 − ), pour t ≥ 0. (1.2)
dt K

-Modèle de réaction-diffusion
 2
 ∂u(t, x) = ∂ u(t, x) + f (t, x),
 t ≥ 0, x ∈ [0, 1],
∂t ∂x 2



u(t, 0) = u(t, 1) = 0 pour t ≥ 0, (1.3)




u(0, x) = u0 (x) pour x ∈ [0, 1].

Beaucoup d’informations concernant des processus biologiques et


physiques sont obtenues grâce à des équations de type (1.2)-(1.3).
2
B. DIAO U.G.B Résultats d’existence sous la norme alpha
INTRODUCTION GENERALE
PRELIMINAIRES Motivations et Problématique
PRINCIPAUX RESULTATS

Motivations

MATERIAUX A MEMOIRE OU LES ETRES VIVANTS

 Les équations différentielles de la mécanique classique sont telles qu’il en


résulte que le mouvement est déterminé par la simple connaissance des
positions et des vitesses, c’est-à-dire par l’état à un instant donné et à l’instant
infiniment voisin. Les états antérieurs n’y intervenant pas, l’hérédité n’y est
qu’un vain mot. L’application de ces équations où le passé ne se distingue pas
de l’avenir, où les mouvements sont de nature réversible, sont donc
inapplicables aux êtres vivants. Nous pouvons rêver d’équations fonctionnelles
plus compliquées que les équations classiques parce qu’elles renfermeront en
outre des intégrales prises entre un temps passé très éloigné et le temps actuel,
qui apporteront la part de l’hérédité. 
PICARD (1908)
3
B. DIAO U.G.B Résultats d’existence sous la norme alpha
INTRODUCTION GENERALE
PRELIMINAIRES Motivations et Problématique
PRINCIPAUX RESULTATS

Some Examples

-Retard en contrôle
∂ 2 u(t, x)

∂u(t, x)
= + f (t, x), t ≥ 0, x ∈ [0, 1],



∂t ∂x 2




(1.4)

 u(t, 0) = u(t, 1) = 0 pour t ≥ 0,





u(0, x) = u0 (x) pour x ∈ [0, 1].

Supposons que f (t, x) = b(x)v (t) (CTRL). Alors, pour


Z 1
v (t) = u(t, x)dx, (1.5)
0
nous avons un contrôle feedback. Pour un feedback plus réaliste,
on prend Z 1
v (t) = u(t − r , x)dx. (1.6)
0
4
B. DIAO U.G.B Résultats d’existence sous la norme alpha
INTRODUCTION GENERALE
PRELIMINAIRES Motivations et Problématique
PRINCIPAUX RESULTATS

Some example

,Modèle de conductuction de chaleur

 Z t 

cθ(x, t) + α(t − s)θ(x, s)ds (1.7)
∂t −∞
Z t
= κ∆θ(x, t) + r (x, t) + β(t − s)∆θ(x, s)ds.
−∞

P. L. Davis, On the linear theory of heat conduction for material with memory
SIAM Journal of Mathematical Analysis, V. 9, No. 1, 258 274, (1978).

9
B. DIAO U.G.B Résultats d’existence sous la norme alpha
INTRODUCTION GENERALE
PRELIMINAIRES Motivations et Problématique
PRINCIPAUX RESULTATS

Problèmatique

Cas B = 0

 du(t) = −Au(t) + F (t, ut ),



t ≥ 0,
dt (1.8)

u0 = ϕ ∈ C ([−r , 0], Xα ).

C. C. Travis, G. F. Webb. Existence, stability, and compact- ness in the


α-norm for partial functional differential equations, Transaction of the
American Mathematical Society, V.240, 129-143, (1978).

15
B. DIAO U.G.B Résultats d’existence sous la norme alpha
INTRODUCTION GENERALE
Puissance fractionnaire d’opérateurs linéaires fermés
PRELIMINAIRES
Opérateur résolvant
PRINCIPAUX RESULTATS

Quelques outils mathématiques

I-PRELIMINAIRES

B. DIAO U.G.B Résultats d’existence sous la norme alpha


INTRODUCTION GENERALE
Puissance fractionnaire d’opérateurs linéaires fermés
PRELIMINAIRES
Opérateur résolvant
PRINCIPAUX RESULTATS

Quelques outils mathématiques

Définition I.1
A0 = I et pour 0 < α < 1
Z ∞
−α 1
A = t α−1 T (t) dt (F1) et Aα = (A−α )−1 (F2).
Γ(α) 0

Norme-alpha

kxkα = kAα xk, x ∈ Xα = D(Aα ) = Im(A−α ).

A. Pazy. Semi groups of linear Operators and Application to Partial Differential


Equations. Applied Mathematical Sciences, V.44, Springer-Verlag, New-York, (2001).

17
B. DIAO U.G.B Résultats d’existence sous la norme alpha
INTRODUCTION GENERALE
Puissance fractionnaire d’opérateurs linéaires fermés
PRELIMINAIRES
Opérateur résolvant
PRINCIPAUX RESULTATS

Quelques outils mathématiques

Lemme I.1
Pour 0 < α < 1, nous avons les résultats suivants :

(i) Xα est un espace de Banach muni de la norme alpha ;


(ii) Aα est un opérateur linéaire fermé de domaine Xα ;
(iii) A−α est un opérateur borné sur X pour 0 ≤ α ≤ 1 ;
(iv) Si 0 < α ≤ β, alors D(Aβ ) ,→ D(Aα ). De plus, l’injection est
compacte si T (t) compact pour t > 0.

A. Pazy. Semi groups of linear Operators and Application to Partial Differential


Equations. Applied Mathematical sciences, V.44, Springer-Verlag, New-York, (2001).
18
B. DIAO U.G.B Résultats d’existence sous la norme alpha
INTRODUCTION GENERALE
Puissance fractionnaire d’opérateurs linéaires fermés
PRELIMINAIRES
Opérateur résolvant
PRINCIPAUX RESULTATS

Quelques outils mathématiques


 Z t
du(t)
= −Au(t) + B(t − s)u(s) ds, pour t ≥ 0,

dt 0
(2.1)
u(0) = u0 ∈ X.

Définition I.2
(R(t))t≥0 ∈ L(X) est dite opérateur résolvant pour (2.1) si :
(a) R(0) = I et kR(t)k ≤ M exp(βt) pour M > 0 et β ∈ R ;
(b) Pour tout x ∈ X, R(t)x est continu pour t ≥ 0 ;
(c) R(t) ∈ L(D(A)) pour t ≥ 0. R(.)x ∈ C 1 (R+ , X) ∩ C (R+ , D(A)) pour
x ∈ D(A) et pour t ≥ 0, nous avons
Z t
R 0 (t)x = −AR(t)x + B(t − s)R(s)xds (2.2)
0
Z t
= −R(t)Ax + R(t − s)B(s)xds. (2.3)
0

19
B. DIAO U.G.B Résultats d’existence sous la norme alpha
INTRODUCTION GENERALE
Puissance fractionnaire d’opérateurs linéaires fermés
PRELIMINAIRES
Opérateur résolvant
PRINCIPAUX RESULTATS

Quelques outils mathématiques


 Z t
du(t)
= −Au(t) + B(t − s)u(s) ds, pour t ≥ 0,

dt 0
(2.4)
u(0) = u0 ∈ X.

Résultat d’existence
R(0) = I et pour t > 0
Z
1
R(t)x = e λt (λI − A − B ∗ (λ))−1 x dλ, pour x ∈ X. (2.5)
2πi Γ
De plus, nous avons :

kAα R(t)k ≤ , pour t>0 et 0 ≤ α < 1. (2.6)

R. Grimmer, A. J. Pritchard. Analytic resolvent operators for integral equations in a Banach


space,Journal of Differential Equation, V. 50, No.2 234–259, (1983).
20
B. DIAO U.G.B Résultats d’existence sous la norme alpha
INTRODUCTION GENERALE
Puissance fractionnaire d’opérateurs linéaires fermés
PRELIMINAIRES
Opérateur résolvant
PRINCIPAUX RESULTATS

Quelques outils mathématiques

Théorème I.2
Supposons qu’il existe une fonction c positive et intégrable sur
[0, b] telle que, pour tout y ∈ D(A), B(t)y ∈ W 1,1 ([0, b], X) pour
tout t ≥ 0 et
d
k B(t)y k ≤ c(t)|y |, y ∈ D(A), t ∈ [0, b]. (2.7)
dt
Alors il existe une constante positive L = L(b) telle que

kR(t + h) − R(t)R(h)kL(X) ≤ Lh pour t ∈ [0, b]. (2.8)

W. Desch, R. Grimmer, W. Schappacher. Some considerations for linear integrodifferential


equtions, Journal of Mathematical Analysis and Applications, V.104, 219-234, (1984).

Lemme α 6= 0 22
B. DIAO U.G.B Résultats d’existence sous la norme alpha
INTRODUCTION GENERALE
Retard infini de type neutre
PRELIMINAIRES
Conclusion
PRINCIPAUX RESULTATS

Quelques Résultats Obtenus

II-PRINCIPAUX RÉSULTATS

B. DIAO U.G.B Résultats d’existence sous la norme alpha


INTRODUCTION GENERALE
Retard infini de type neutre
PRELIMINAIRES
Conclusion
PRINCIPAUX RESULTATS

Solutions faible
 Z t
du(t)
= −Au(t) + B(t − s)u(s) ds + F (t, ut ), pour t ≥ 0,

dt 0
(3.1)
u0 = ϕ ∈ Cα .

Définition II.1
Une fonction continue u : [0, b] → Xα est appelée solution faible
pour le système (3.1) si u0 = ϕ et u vérifie la formule suivante :
Z t
u(t) = R(t)ϕ(0) + R(t − s)F (s, us ) ds pour t ≥ 0. (3.2)
0

R. Grimmer, A. J. Pritchard. Analytic resolvent operators for integral equations in a Banach


space,Journal of Differential Equation, V. 50, No.2 234–259, (1983).

25
B. DIAO U.G.B Résultats d’existence sous la norme alpha
INTRODUCTION GENERALE
Retard infini de type neutre
PRELIMINAIRES
Conclusion
PRINCIPAUX RESULTATS

Existence globale
 Z t
 du(t)
= −Au(t) + B(t − s)u(s) ds + F (t, ut ), t ≥ 0,
(3.3)
 dt 0
u0 = ϕ ∈ C α .

(H2.1) Il existe une constante LF > 0 telle que

kF (t, ϕ1 ) − F (t, ϕ2 )k ≤ LF kϕ1 − ϕ2 kCα , pour t ≥ 0, ϕ1 , ϕ2 ∈ Cα .

Théorème II.1
Assumons que la condition (H2.1) soit valide. Alors, pour une
condition initiale ϕ ∈ Cα , le système (3.3) a une unique solution
faible définie pour tout t ≥ 0.

26
B. DIAO U.G.B Résultats d’existence sous la norme alpha
INTRODUCTION GENERALE
Retard infini de type neutre
PRELIMINAIRES
Conclusion
PRINCIPAUX RESULTATS

Dépendance continue
 Z t
du(t)
= −Au(t) + B(t − s)u(s) ds + F (t, ut ), pour t ≥ 0,

dt 0
(3.4)
u0 = ϕ ∈ Cα .

(H2.1) Il existe une constante LF > 0 telle que

kF (t, ϕ1 ) − F (t, ϕ2 )k ≤ LF kϕ1 − ϕ2 kC , pour t ≥ 0, ϕ1 , ϕ2 ∈ Cα .


α

Théorème II.2
Assumons que la condition (H2.1) soit valide. Alors l’opérateur
solution U(t)ϕ = ut (., ϕ) est continu de [0; ∞[ dans Cα pour
chaque ϕ ∈ Cα fixé et il existe un réel δ et une fonction scalaire
P tels que, pour t ≥ 0 et ϕ1 , ϕ2 ∈ Cα , nous avons

kU(t)ϕ1 − U(t)ϕ2 k ≤ P(δ)e δt kϕ1 − ϕ2 kCα . (3.5)

27
B. DIAO U.G.B Résultats d’existence sous la norme alpha
INTRODUCTION GENERALE
Retard infini de type neutre
PRELIMINAIRES
Conclusion
PRINCIPAUX RESULTATS

Estimation utile
(H2.2) Pour 0 ≤ β < 1 et t ≥ 0, nous avons B(t) ∈ L(Xβ , X). Nous assumons que
kB(t)xk ≤ bβ (t) kxkβ pour x ∈ Xβ avec bβ ∈ Lqloc (0, ∞) et q > 1/(1 − β).

Théorème II.3
Assumons que l’hypothèse (H2.2) soit vérifiée. Alors, pour
chaque a > 0, il existe une constante positive M = M(a) telle
que, pour 0 ≤ h < t ≤ a et x ∈ X, nous avons l’estimation
suivante :
  Z h
α
A R(t + h)x − R(t)R(h)x ≤ M
ds
α
kxk . (3.6)
0 s

Lemme α = 0 28
B. DIAO U.G.B Résultats d’existence sous la norme alpha
INTRODUCTION GENERALE
Retard infini de type neutre
PRELIMINAIRES
Conclusion
PRINCIPAUX RESULTATS

Compacité du flot
 Z t
du(t)
= −Au(t) + B(t − s)u(s) ds + F (t, ut ), pour t ≥ 0,

dt 0
(3.7)
u0 = ϕ ∈ Cα .

(H2.1) F est lipschitzien par rapport au second argument.

(H2.2) Pour 0 ≤ β < 1 et t ≥ 0, alors B(t) ∈ L(Xβ , X). Nous assumons de plus que
q
kB(t)xk ≤ bβ (t) kxkβ pour x ∈ Xβ avec bβ ∈ Lloc (0, ∞) et q > 1/(1 − β).

(H2.3) Le semi-groupe (T (t))t≥0 généré par −A est compact pour t > 0.

Théorème II.4
Assumons que les conditions (H2.1)-(H2.3) soient valides. Alors
le flot U(t), défini de Cα dans Cα par U(t)ϕ = ut (., ϕ), est
compact pour t > r , où ut (., ϕ) représente la solution faible du
système (3.7) de condition initiale ϕ.

29
B. DIAO U.G.B Résultats d’existence sous la norme alpha
INTRODUCTION GENERALE
Retard infini de type neutre
PRELIMINAIRES
Conclusion
PRINCIPAUX RESULTATS

Existence locale
 Z t
du(t)
= −Au(t) + B(t − s)u(s) ds + F (t, ut ), pour t ≥ 0,

dt 0
(3.8)
u0 = ϕ ∈ Cα .

(H2.1) F est une fonction lipschitzienne par rapport au second argument.

(H2.2) Pour 0 ≤ β < 1 et t ≥ 0, alors B(t) ∈ L(Xβ , X). Nous assumons de plus que
q
kB(t)xk ≤ bβ (t) kxkβ pour x ∈ Xβ avec bβ ∈ Lloc (0, ∞) et q > 1/(1 − β).

(H2.3) Le semi-groupe (T (t))t≥0 généré par −A est compact pour t > 0.

Théorème II.5
Supposons que les conditions (H2.1)-(H2.3) soient valides. De
plus, assumons que F est continue sur un ouvert J × Ω de
R+ × Cα . Alors, pour chaque ϕ ∈ Ω, le système (3.8) a au moins
une solution faible définie sur un intervalle quelconque [0, b].

30
B. DIAO U.G.B Résultats d’existence sous la norme alpha
INTRODUCTION GENERALE
Retard infini de type neutre
PRELIMINAIRES
Conclusion
PRINCIPAUX RESULTATS

Explosion en temps fini


 Z t
du(t)
= −Au(t) + B(t − s)u(s) ds + F (t, ut ) pour t ≥ 0,

dt 0
(3.9)
u0 = ϕ ∈ Cα .

(H2.1) F est une fonction lipschitzienne par rapport au second argument.


(H2.2) Pour 0 ≤ β < 1 et t ≥ 0, alors B(t) ∈ L(Xβ , X). Nous assumons de plus que
q
kB(t)xk ≤ bβ (t) kxkβ pour x ∈ Xβ avec bβ ∈ Lloc (0, ∞) et q > 1/(1 − β).

(H2.3) Le semi-groupe (T (t))t≥0 généré par −A est compact pour t > 0.

Théorème II.6
Assumons que les conditions (H2.1)-(H2.3) soient vraies et que F soit une
fonction complètement continue. Alors, pour chaque ϕ ∈ Cα , le système
(3.9) a une solution faible u(., ϕ) sur un intervalle maximal d’existence
[−r , bϕ [. De plus, si bϕ < ∞, nous avons

lim ku(t, ϕ)kα = +∞. (3.10)



t→bϕ

31
B. DIAO U.G.B Résultats d’existence sous la norme alpha
INTRODUCTION GENERALE
Retard infini de type neutre
PRELIMINAIRES
Conclusion
PRINCIPAUX RESULTATS

Existence globale (bis)


 Z t
du(t)
= −Au(t) + B(t − s)u(s) ds + F (t, ut ), pour t ≥ 0,

dt 0
(3.11)
u0 = ϕ ∈ Cα .

(H2.1) F est une fonction lipschitzienne par rapport au second argument.


(H2.2) Pour 0 ≤ β < 1 et t ≥ 0, alors B(t) ∈ L(Xβ , X). Nous assumons de plus que
q
kB(t)xk ≤ bβ (t) kxkβ pour x ∈ Xβ avec bβ ∈ Lloc (0, ∞) et q > 1/(1 − β).
(H2.3) Le semi-groupe (T (t))t≥0 généré par −A est compact pour t > 0.

Théorème II.7
Assumons que (H2.1)-(H2.3) soient vraies et qu’il existe des
fonctions continues positives f1 et f2 telles que, pour ϕ ∈ Cα et
t ≥ 0, nous avons kF (t, ϕ)k ≤ f1 (t) kϕkCα + f2 (t) (CA). Alors le
système (3.11) a une solution faible définie pour tout t ≥ 0.

32
B. DIAO U.G.B Résultats d’existence sous la norme alpha
INTRODUCTION GENERALE
Retard infini de type neutre
PRELIMINAIRES
Conclusion
PRINCIPAUX RESULTATS

Solution stricte
 Z t
du(t)
= −Au(t) + B(t − s)u(s) ds + F (t, ut ) pour t ≥ 0,

dt 0
(3.12)
u0 = ϕ ∈ Cα .

(H2.1) F est une fonction lipschitzienne par rapport au second argument.

(H2.4) F est continûment différentiable et les dérivées partielles ∂t F et ∂ϕ F sont localement lipschitziennes par
rapport au second argument.

Théorème II.8
Assumons que les conditions (H2.1) et (H2.4) soient valides.
Soit ϕ dans Cα1 telle que ϕ(0) ∈ Y et ϕ̇(0) = −Aϕ(0) + F (0, ϕ)
(CR). Alors la solution faible du système (3.12) est une solution
stricte.

34
B. DIAO U.G.B Résultats d’existence sous la norme alpha
INTRODUCTION GENERALE
Retard infini de type neutre
PRELIMINAIRES
Conclusion
PRINCIPAUX RESULTATS

Résultat en articles

B. Diao, K. Ezzinbi and M. Sy, Existence, regularity and


compactness properties, in the α-norm, for some partial
functional integrodifferential equations with finite delay,
Journal of Differential Equations and Dynamical System, No.
233,DOI 10.1007/s12591-014-0233-7, (2013).

52

B. DIAO U.G.B Résultats d’existence sous la norme alpha


INTRODUCTION GENERALE
Retard infini de type neutre
PRELIMINAIRES
Conclusion
PRINCIPAUX RESULTATS

Autres articles

B. Diao, K. Ezzinbi and M. Sy, Some results in the


α-norm for a class of neutral partial functional in-
tegrodifferential equations with finite delay. Afrika
Mathematika, No. 0313, DOI 10.1007 /s13370-014-
0313-4, (2014).

B. Diao, K. Ezzinbi and M. Sy, Existence and regularity


in the α-norm for some partial functional integrodiffe-
rential equations with infinite delay, (preprint 2014).

53
B. DIAO U.G.B Résultats d’existence sous la norme alpha
INTRODUCTION GENERALE
Retard infini de type neutre
PRELIMINAIRES
Conclusion
PRINCIPAUX RESULTATS

-Conclusion

Retard fini Infini-neutre

Existence, compacité, Existence globale, la


régularité, explosion régularité.
dépendance continue.

Résultat redémotré : pour 0 ≤ h ≤ t ≤ a

kR(t + h)x − R(t)R(h)xk ≤ Mh kxk . (α = 0)

Z h
ds
kR(t + h)x − R(t)R(h)xkα ≤ M kxk . (α 6= 0)
0 sα
54
B. DIAO U.G.B Résultats d’existence sous la norme alpha

Vous aimerez peut-être aussi