Vous êtes sur la page 1sur 78

N

dordre :
Rpublique Algrienne Dmocratique et Populaire Minstre de lEnseignement
Suprieur et de la Recherche Scientique
UNIVERSITE KASDI MERBAH OUARGLA
INSTITUT DES SCIENCES ET TECHNOLOGIE
Prsent pour lobtention du diplme de
MAGISTER
Spcialit : Mathmatiques
Option : Mathmatiques Appliques
par : Messaoud Guesba
Thme
Sur quelques quations intgrales non linaires
Soutenu le 04/07/2012
Devant le jury compos de :
Djamel Ahmed CHACHA Pr. luniversit de KASDI MERBAH Ouargla Prsident
Amara GUERFI MC luniversit de KASDI MERBAH Ouargla Rapporteur
Mohamed Said SAID MC luniversit de KASDI MERBAH Ouargla Examinateur
Remerciements
Je tiens remercier, en premier lieu, les membres du jury qui ont bien voulu lire mon
travail.
Je remercie le docteur Amara Guer, directeur de mon mmoire, pour sa disponibilit
et ses conseils judicieux tout au long de ce travail.
Je remercie : le professeur Djamel Ahmed Chacha et le docteur Mohamed Said Said qui
ont accept dtre membres de mon jury.
Je remercie galemen lest Messieurs les professeurs : Mostefa Nadir (Universit de Msila)
et Abdeerrazek Karoui (Universit de Binzerte,Tunisie ), qui ont aide pour donner un bon
travail.
Je Salue lensemble des membres du dpartement de mathmatique de luniversit de
KASDI MERBAH Ouargla.
i
Table des matires
INTRODUCTION 1
1 RAPPELS ET NOTIONS FONDAMENTALES 3
1.1 ESPACES FONCTIONNELS . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.1 Dnitions (Rappels) . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.2 Ingalits des auxiliaires . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2 NOTIONS SUR LES OPRATEURS . . . . . . . . . . . . . . . . . . . . . . 9
1.2.1 Les oprateurs linaires borns . . . . . . . . . . . . . . . . . . . . . . 9
1.2.2 Oprateur intgral linaire . . . . . . . . . . . . . . . . . . . . . . . . 11
1.2.3 L oprateur adjoint . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.2.4 Oprateurs compacts . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.2.5 Oprateur produit . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.2.6 Oprateur contractant . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.2.7 Oprateur de Nemytskii . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.2.8 Oprateur de Hammerstein . . . . . . . . . . . . . . . . . . . . . . . 19
1.2.9 Equations aux Oprateurs Compacts . . . . . . . . . . . . . . . . . . 19
2 GNRALITS SUR LES QUATIONS INTGRALES 25
2.1 INTRODUCTION . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.2 CLASSIFICATION DES EQUATIONS INTEGRALES . . . . . . . . . . . . 28
2.2.1 EQUATIONS INTEGRALES LINEAIRES . . . . . . . . . . . . . . . 28
2.2.2 EQUATIONS INTEGRALES NON LINEAIRES . . . . . . . . . . . 31
ii
Table des matires
2.2.3 EQUATIONS INTEGRALES MIXTES . . . . . . . . . . . . . . . . . 33
2.2.4 EQUATIONS INTEGRALES SINGULIERS . . . . . . . . . . . . . . 34
2.3 Liaison entre les quations direntielles linaires et les quations intgrales
de Volterra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2.4 Existence et unicit de la solution de lquation intgrale linaire de Volterra 38
2.5 Existence et unicit de la solution de lquation intgrale non linaire de Volterra 40
2.6 Mthodes de rsolution approche des quations intgrales non linaires . . . 42
3 LEXISTENCE DES SOLUTIONS DEQUATIONS INTEGRALES DE
Hammerstein ET Hammerstein-Volterra 44
3.1 INTRODUCTION . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
3.1.1 Position du problme . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
3.1.2 Thormes de point xe . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.1.3 Rsultats de compacit . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.2 Rsultats dexistence des solutions des quations de Hammerstein . . . . . . 52
3.3 Existence et unicit de la solution continue de lquation de Hammerstein-
Volterra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
3.3.1 Thorme dexistence . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
3.3.2 Lunicit de la solution . . . . . . . . . . . . . . . . . . . . . . . . . . 62
4 APPLICATION DU ALTERNATIVE NON LINAIRE 64
4.1 INTRODUCTION . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
4.1.1 Position du problme . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
4.1.2 Alternative non linaire de Leray-Schauder . . . . . . . . . . . . . . . 65
4.2 RSULTATS DEXISTENCE . . . . . . . . . . . . . . . . . . . . . . . . . . 65
CONCLUSION 72
BIBLIOGRAPHIE 73
iii
INTRODUCTION
J. Fourier (1768-1830) est le premier mathmaticien qui a dcouvert ce genre dquations
intgrales d au fait quil a obtenu la formule de la transformation de Fourier. Il est clair
quon peut interprter la formule dinversion en tant que fournir loprateur inverse de
loprateur dintgrale de Fourier.
En 1837, J. Liouville (1809-1882) a publi une discussion sur la relation entre les qua-
tions intgrales et les quations direntielles dans lesquelles il montrait quune solution
particulire dune quation direntielle linaire est obtenue en rsolvante une quation
intgrale.
En 1887, V. Volterra (1860-1940) a tabli la mthode de rsolution des quations int-
grales par les noyaux itrs. En outre, il a tendu la thorie dquations intgrales aux qua-
tions intgro-direntielles et aux quations intgrales singulires.
Fredholm (1866-1927) a tudie la mthode pour rsoudre lquations intgrales de deux-
ime espce. La thorie des quations intgrales intervient dans plusieurs domines des math-
matiques, beaucoup de problmes dans le domaine des quations direntielles ordinaires
et partielles, la physique mathmatique, les problmes de contacts et de larstrophysique peut
tre formule comme une quation intgrale.
Ainsi, la thorie de lquations intgrales a t un domine de recherche actif dans la math-
matiques appliques et la physique mathmatique.
Limportance des quations intgrales dans toutes les branches de la science et lingnierie
nous amne tudier certaines de ces quations et les raliser numriquement.
Dans ce mmoire, nous allons traiter quelques quations intgrales non-liaires, o on
tudie lexistence des solutions de ces quations.
1
INTRODUCTION
Notre travail est reparti en quatre chapitres.
Dans le premier chapitre, nous rappelons les notions de lanalyse fonctionnelle, les espaces
mtriques; lespace Hilbert; lespace 1
j
([c. /]), et on reprsent les oprateurs compacts et
ses proprits.
Le deuxime chapitre, prsente une classication entre les quations intgrales linaires et
non-linaires, comme on a donn des exemples sur ces quations, en n on etude lexistence
et lunicit de la solution de lquation intgrale linaire et non- linaire de Volterra, comme
on prsente la rsolution approche dquation intgrale non-linaire exactement la mthode
approximations successives.
Dans le troisime chapitre, on commance par poser notre problme o on dmontre
lexistence des solutions dans lespace 1
j
([c. /]) des quations intgrales non-linaires de
types Hammerstein, et lexistence et lunicit de la solution continue des quations intgrales
non-linaire de Hammerstein-Volterra en utilisant des thormes du point xe.
Le quatrime chapitre, on dmontre lexistence de la solution dune quation intgrale
non-linaire aussi que la modlisation de linltration des uides, en appliquant lalternative
non linaire de Leray-Schauder.
2
Chapitre 1
RAPPELS ET NOTIONS
FONDAMENTALES
1.1 ESPACES FONCTIONNELS
1.1.1 Dnitions (Rappels)
Commenons par rappeler la dnition dun espace vectoriel norm.
Dnition 1.1.1 ( Espace vectoriel norm)
Soit E un espace vectoriel sur le corps | = R ou C, on appelle norme sur lespace 1
toute application note || dnie sur 1 valeurs dans R
+
,
vriant pour tout r, dans 1 et c dans |
i) |r| = 0 si seulement si r = 0.
ii) |cr|= [c[ |r| (homognit ).
iii) |r +| _ |r| +|| ( ingalit triangulaire ).
Tout espace vectoriel muni dune norme est appel espace vectoriel norm.
Exemple 1.1.1
Soit C ([c. /] . R), lespace vectoriel des fonctions continues sur [c. /] valeurs relles.
Pour tout , C ([c. /] . R), on pose
3
1.1. ESPACES FONCTIONNELS
|,|
1
=
_
b
o
,(r)dr et |,|
o
= sup
a[ob]
[,(r)[ .
Les applications ||
1
et ||
o
sont des normes sur C ([c. /] . R).
Dnition 1.1.2 (Espace mtrique complet)
On dit que 1 est un espace mtrique complet si toute suite de Cauchy de 1 converge
dans 1.
Dnition 1.1.3 (Espace de Banach)
Tout espace vectoriel norm complet est appel espace de Banach.
Exemple 1.1.2
( C ([c. /] . R) . ||
o
) est un espace de Banach.
Dnition 1.1.4 (Produit scalaire)
Soit 1 un espace vectoriel sur R, un produit scalaire sur 1 est application de 1 1
dans R, note . possdant les proprits suivantes :
pour tout r. . . dans 1 et c. , dans R,
i) cr +,. . = cr. . +, . ..
ii) r. = . r.
iii) r. r _ 0.
iv) r. r = 0 implique r = 0.
Un espace vectoriel muni dun produit scalaire est appel un espace euclidien ou un
espace prhibertien.
Remarque 1.1.1
Un produit scalaire sur 1 dnit une norme sur 1 par la formule suivante
|r|
1
=
_
r. r.
4
1.1. ESPACES FONCTIONNELS
Dnition 1.1.5 (Espace de Hilbert)
Un espace de Hilbert est espace vectoriel muni dun produit scalaire, et qui est complet
pour la norme associe ce produit scalaire.
Dnition 1.1.6 (Espace C [c /])
Des fonctions continues sur [c. /], de norme |r| = max
t2ja;bj
[r (t)[.
Dnition 1.1.7 (Espace C
I
[c. /])
Des fonctions / fois continument drivables sur [c. /], de norme
|r| =
I

i=0
max

r
i
(t)

. telle que r
0
(t) = r (t) .
Dnition 1.1.8 (Espace 1
1
())
Soit un ouvert de R
a
, on dsigne par 1
1
() des fonctions intgrable sur valeur
dans R, on pose
|,|
1
=
_

[, (r)[ dr.
Dnition 1.1.9 (Espace 1
1
())
Soit 1 _ j _ + , on pose
1
1
() =
_
, : R, , mesurable et [, (r)[
j
1
1
()
_
.
muni de la norme
|,|
1
p
= |,|
j
= (
_

[, (r)[
j
dr)
1
p
.
Si j = , on a L
o
() est lespace des fonctions , : R mesurable, vriant
c 0 telle que [, (r)[ _ c. j.j. sur .
La norme est note par
|,|
1
1
= |,|
o
= inf c 0. [, (r)[ _ c. j.j. sur .
5
1.1. ESPACES FONCTIONNELS
Remarque 1.1.2
Si , 1
o
(), on a
[, (r)[ _ |,|
o
. j.j. sur .
Thorme 1.1.1 (Fischer - Riesz)
Lespace 1
1
est un espace de Banach pour tout 1 _ j _ .
Thorme 1.1.2 (Thorme de convergence domine de Lebesgue)
Soit (,
a
) une suite de fonctions de 1
1
. On suppose que
i) ,
a
(r) ,(r) j.j. sur .
ii) il existe une fonction q 1
1
telle que pour chaque :, [,
a
(r)[ _ q(r) j.j. sur .
Alors
, 1
1
() et |,
a
,|
1
1
0.
Thorme 1.1.3 (voir [6] )
Soient (,
a
) une suite de 1
j
et , 1
j
, tels que
|,
a
,|
1
p
0.
Alors, il existe une sous-suite extraite (,
a
k
) telle que
i) ,
a
k
(r) ,(r) j.j.sur .
ii) [,
a
k
(r)[ _ /(r) \/ et j.j. sur , avec / 1
j
.
1.1.2 Ingalits des auxiliaires
a) Ingalit de Hlder
Soient j et deux exposants conjugues ( i.e.
1
j
+
1

= 1 ) et , 1
j
, q 1
q
alors,
,.q 1
1
et
_
[,q[ _ |,|
j
. |q|
q
. (1.1.1)
b) Ingalit de Cauchy - Schwarz
6
1.1. ESPACES FONCTIONNELS
Pour j = = 2, lingalit (1.1.1) devient
_
[,q[ dr _
__
[,[
2
dr
_
1
2
__
[q[
2
dr
_
1
2
. (1.1.2)
c) Ingalit de Minikowski
Soit j > 1 et ,, q deux fonctions dans 1
1
(); alors, la somme , + q est aussi dans
1
1
() et lon a
|, +q|
j
_ |,|
j
+|q|
j
. (1.1.3)
d) Une ingalit utile
Soit c
i
(1 _ i _ `) des rels strictement positifs et j _ 1 un entier naturel.
Alors
_
i=.

i=1
c
i
_
j
_ 2
(.1)(j1)
i=.

i=1
c
j
i
. (1.1.4)
e) Ingalit de Young
Soit j. deux rels exposants conjugues. Alors
\(c. /) R
2
+
: c/ _
c
j
j
+
/
q

. (1.1.5)
Lemme de Gronwall
Soient ,, et trois fonctions continues sur segment [c. /], valeurs positives et vriant
lingalit
\t [c. /] . (t) _ ,(t) +
t
_
o
(:) (:) d:.
Alors
\t [c. /] . (t) _ ,(t) +
t
_
o
,(:) (:) exp
_
_
t
_
c
(n) dn
_
_
d:. (1.1.6)
Preuve
En posant
1 (t) =
t
_
o
(:) (:) d:.
7
1.1. ESPACES FONCTIONNELS
En multipliant les deux membres de lingalit donne en hypothse par (t), on obtient
1
0
(t) (t) 1(t) _ ,(t) (t) .
ce qui secrit aussi
G
0
(t) _ ,(t) (t) exp
_
_

t
_
c
(:) d:
_
_
avec G(t) = 1 (t) exp
_
_

t
_
c
(:) d:
_
_
Comme G(c) = 1 (c) = 0, on en dduit, par intgration
G(t) _
t
_
o
,(:) (:) exp
_
_

t
_
c
(n) dn
_
_
d:
Or par hypothse,
(t) _ ,(t) +G(t) exp
_
_
t
_
c
(:) d:
_
_
.
do le rsulta en utilisant lingalit ci-dessus.
Corollaire 1.1.1
Soient et : [c. /] R
+
deux fonctions continues vriviant
c _ 0,\t [c. /] , (t) _ c +
t
_
o
(:) (:) d:
Alors
\t [c. /] . (t) _ c exp
_
_
t
_
o
(:) d:
_
_
. (1.1.7)
Preuve
Il sagit du lemme de Gronwall dans le cas particulier o , est constante gale c, on a
donc pour tout t [c. /] .
(t) _ c+
t
_
o
c (:) exp
_
_
t
_
c
(n) dn
_
_
d: = c+c
_
_
exp
_
_
t
_
c
(n) dn
_
_
_
_
t
o
= c exp
_
_
t
_
o
(:) d:
_
_
.

8
1.2. NOTIONS SUR LES OPRATEURS
1.2 NOTIONS SUR LES OPRATEURS
1.2.1 Les oprateurs linaires borns
Dnition 1.2.1
Soient A et 1 deux espaces norms, un oprateur dni sur A dans 1 et dite linaire
sil vrie les conditions suivantes :
pour tout n, dans A et c, , dans R
i) n 1 .
ii)(cn +,) = cn +,.
Dnition 1.2.2
Un oprateur linaire dni sur A dans 1 et dite born sil existe une constante
positive C, telle que :
|n|
Y
_ C |n|
A
. \n A.
Proposition 1.2.1
Le plus petit de nombres C vriant cette ingalit sappelle norme de loprateur et
se note ||, on a
|| = sup
|&|1
|n| = sup
&,=0
|n|
|n|
.
Preuve
Pour la preuve voir [19].
Proposition 1.2.2
Soient A et 1 deux espaces norms et 1 : A 1 un oprateur linaire, les propriets
suivantes sont quivalentes
i) Loprateur 1 est continu sur A.
ii) Loprateur 1 est continu au point 0
A
.
iii) Loprateur 1 est born.
9
1.2. NOTIONS SUR LES OPRATEURS
Thorme 1.2.1
Soit un oprateur linaire born dun espace de Banach 1 dans lui-mme avec || < 1,
et soit 1 loprateur identique dans 1.
Alors, loprateur 1 admet un oprateur inverse born, donn par la srie de Neu-
mann :
(1 )
1
=
o

I=0

I
,
de plus
_
_
(1 )
1
_
_
_
1
1 ||
.
Dmonstration
De la relation || < 1, on a la convergence absolue
o

I=0
_
_

I
_
_
_
o

I=0
||
I
=
1
1 ||
.
Dans lespace de Banach 1(1) ( lespace 1(1) de tous les oprateurs linaires continus
sur 1 dans lui-mme), par consquent la srie de Neumann converge en norme et dnie un
oprateur linaire born
o =
o

I=0

I
,
avec la relation
|o| _ (1 ||)
1
de plus o est linverse de (1 ).
En eet, utilisons les notations
_

0
= 1 ct
I
=
I1
_
, on peut voir que :
o (1 ) = lim
ao
a

I=0

I
(1 ) = lim
ao
_
1
a+1
_
= 1
aussi
(1 ) o = (1 ) lim
ao
a

I=0

I
= lim
ao
_
1
a+1
_
= 1
10
1.2. NOTIONS SUR LES OPRATEURS
puisque la norme
_
_

a+1
_
_
_ ||
a+1
0, lorsque : .
1.2.2 Oprateur intgral linaire
Dnition 1.2.3
Un oprateur intgral linaire est un oprateur qui admet une formulation de la forme
suivante
(,) r =
b
_
o
1 (r. t) ,(t) dt.
La fonction 1 tant appele noyau de loprateur .
Remarque 1.2.1
Si 1 est une fonction continue de [c. /][c. /], loprateur est appel oprateur intgral
noyau continu 1.
1.2.3 L oprateur adjoint
Thorme 1.2.2
Soit H un espace de Hilbert et soit un oprateur linaire born dni sur H valeur
dans H, alors il xiste un oprateur linaire born not
+
dni de H dans H par
,. = ,.
+
pour tout , et H
de plus, on a
|| = |
+
| .
11
1.2. NOTIONS SUR LES OPRATEURS
Proposition 1.2.3
Soit un oprateur intgral dni partir dun noyau 1 continu sur [c. /] [c. /] par
la formule suivante
\r [c. /] , (,) r =
b
_
o
1 (r. t) ,(t) dt
Alors, loprateur admet un unique oprateur adjoint
+
pour le produit scalaire usuel de
1
2
. Pour tout r [c. /],
(
+
) r =
b
_
o
1 (t. r) (t) dt.
Preuve
Pour , et deux fonctions de C([c. /]), on a
,. = ,.
+

donc
b
_
o
,(t)
+
( (t)) dt =
b
_
o
,(r) (r) dr
=
b
_
o
_
_
_
b
_
o
1 (r. t) ,(t) dt
_
_
_
(r) dr.
En vertu du thorme de Fubini relatif aux intgrales doubles, on tablit que
,(r) . =
b
_
o
b
_
o
[1 (r. t) (r) dr] ,(t) dt
=
b
_
o
,(t)
_
_
b
_
o
1 (r. t) (r) dr
_
_
dt
12
1.2. NOTIONS SUR LES OPRATEURS
=
b
_
o
,(t)
+
() (t) dt
il en rsulte que ladjoint
+
est dni pour tout r dans [c. /] par

+
(r) =
b
_
o
1 (t. r) (t) dt.
Corollaire 1.2.1
Soit loprateur intgral de noyau 1, et
+
est loprateur intgral de noyau 1
+
, avec
1
+
(t. r) = 1 (r. t)
Dnition 1.2.4 (Oprateur auto-adjoint)
Soit H un espace de Hilbert, on dit que loprateur est auto-adjoint si
+
= , i.e.
si pour tout r. H on a
,. = ,. .
Corollaire 1.2.2
Loprateur integral de noyau 1 est auto-adjoint si, et seulement si, le noyau 1 est
symtrique :
1 (r. t) = 1 (t. r) , \r. t [c. /] .
1.2.4 Oprateurs compacts
Dnition 1.2.5 (Compacit)
Soit l un ensemble dun espace norm A, l est dit compact si de tout recouvrement
de l par des ouverts de l on peut extaire un sous-recouvrement ni i.e.
\\
)
. , J (ouverts); l

)J
\
)
. \
)(I)
. , (/) = 1. 2. .... : tel que l
a

I=1
\
)
(/) .
13
1.2. NOTIONS SUR LES OPRATEURS
Dnition 1.2.6
Un sous ensemble dun espace norm est dit relativement compact si son adhrence est
compacte.
Dnition 1.2.7 (Oprateur compact)
Soit 1 un oprateur dun espace norm A dans un espace norm 1 , on dit que 1 est
un oprateur compact sil envoie tout ensemble born dans A un ensemble relativement
compact dans 1 .
Dnition 1.2.8 (oprateur compltement continu)
Loprateur 1 est dite compltement continu, si elle est continu et compact.
Dnition 1.2.9
Loprateur 1 est compact, si et seulement si pour toute suite borne r
a

a1
A, la
suite 1r
a

a1
admet que sous suite convergente dans 1 .
Dans le cas particulier o A = C ([c. /]), le thorme suivant dArzela-Ascoli est gnrale-
ment utilis pour prouver la compacit de 1.
Thorme 1.2.3 ( Arzela-Ascoli )
Une condition ncessaire et susante qune famille des fonctions continues dnies sur
lintervalle compact [c. /], est compacte dans C ([c. /]) est que cette famille est uniformment
borne et quicontinue.
Thorme 1.2.4
Loprateur intgral de C ([c. /]) dans C ([c. /]) noyau continu est un oprateur
compact.
Dmonstration
Soit 1 un ensemble born de C ([c. /]) alors, on a
14
1.2. NOTIONS SUR LES OPRATEURS
|,| _ `. pour tout , 1, de plus
[,(r)[ _ ` [/ c[ max
a,t[o,b]
[1 (r. t)[ . \r [c. /] et \, 1.
Dou lensemble (1) uniformment born.
Dautre part, le noyau 1 est uniformment continu sur le compact [c. /] [c. /], dou
pour tout r. t. . de [c. /], on a
\ 0. o 0, tel que [r t[ < o == [1 (r. .) 1 (t. .)[ <

` [/ c[
.
Do,
[,(r) ,(t)[ < . pour tout , 1 et r. t [c. /] avec [r t[ < o.
Ceci exprime que lensemble (1) est quicontinu, do (1) est relativement compact
par le thorme dArzela-Ascoli, alors est compact.
Thorme 1.2.5
Un oprateur compact est un oprateur born, la rciproque est fausse.
Dmonstration
En eet, si on dsigne par
1(0. 1) = r A, |r| _ 1 ,
alors, 1 (1(0. 1)) est relativement compact dou
|1r| _ C. \r 1(0. 1) .
Alors 1 est born.
Rciproquement, loprateur indentique 1 de A dans A est born, mais il nest pas com-
pact car 1 (1(0. 1)) = 1(0. 1), nest pas relativement compacte sauf si A est de dimension
nie.
Thorme 1.2.6
Une combinaison linaire 1 = c1
1
+ ,1
2
des oprateurs compacts est un oprateur
compact.
15
1.2. NOTIONS SUR LES OPRATEURS
Thorme 1.2.7
Le produit 1
1
1
2
de deux oprateurs borns 1
1
et 1
2
est compact si lun des oprateurs
1
1
ou 1
2
est compact.
Thorme 1.2.8
Soit A un espace norm et 1 un espace de Banach, et soit 1
a
une suite doprateurs
compacts de A dans 1 .
Si lim
ao
|1
a
1| = 0.
Alors, 1 est compact.
Thorme 1.2.9
Soit 1 un oprateur born de A dans 1 , image 1 (A) de dimension nie. Alors 1est
compact.
1.2.5 Oprateur produit
Soient 1
1
et 1
2
deux oprateurs intgraux sur 1
j
(1) avec des noyaux 1
1
et 1
2
respective-
ment, loprateur produit not 1
1
1
2
envoie aussi 1
j
(1) dans 1
j
(1), o
(1
1
1
2
) , = 1
1
(1
2
,) .
Si les noyaux 1
1
et 1
2
justient linterchangement de lordre dintgration alors, on
peut dduire le noyau 1 du produit 1
1
1
2
en fonction de 1
1
et 1
2
.
1
1
1
2
,(r) =
_
1
1
(r. .)
_
1
2
,(.) d.
=
_
1
1
(r. .) d.
_
1
2
(.. ) ,() d
=
_
,() d
_
1
1
(r. .) 1
2
(.. ) d..
16
1.2. NOTIONS SUR LES OPRATEURS
Do loprateur 1
1
1
2
est un oprateur intgral de noyau,
1 (r. ) =
_
1
1
(r. .) 1
2
(.. ) d..
Notons que si, on prend 1
1
= 1
2
= 1, de noyau 1
1
= 1
2
= 1, alors loprateur
1
1
1
2
= 1
2
admet le noyau 1
2
(r. ) donn par
1
2
(r. ) =
_
1 (r. .) 1 (.. ) d..
par itration le noyau 1
a
(r. ) de 1
a
est
1
a
(r. ) =
_
1 (r. .) 1
a1
(.. ) d..
Dans la suite le noyau 1
a
(r. ) sera appel noyau itr de 1 (r. ).
Dnition 1.2.10 (Noyau faiblement singulier)
On appelle noyau faiblement singulier la fonction 1 continue sur GG R
a
R
a
sauf
peut tre aux points r = t et telle que,
\r. G, r ,= t. ` 0, [1 (r. t)[ <
`
[r t[
ac
. 0 < c _ :.
Proposition 1.2.4 (voir [22])
Loprateur intgral de C (G) dans C (G) noyau faiblement singulier est un oprateur
compact.
Dnition 1.2.11 (Noyau dgnr)
On appelle noyau dgnr une noyau de la forme
1 (r. t) =
a

i=1
c
i
(r) /
i
(t) .
Proposition 1.2.5
Soit un oprateur intgral noyau dgnr. Limage de est de dimension nie.
17
1.2. NOTIONS SUR LES OPRATEURS
1.2.6 Oprateur contractant
Dnition 1.2.12
Soient H est un espace de Hilbert et 1 un oprateur born, loprateur 1 est dit oprateur
contractant sil existe une constante 1 telle que 0 < 1 < 1 et
\,
1
. ,
2
H. |1,
1
1,
2
| _ 1|,
1
,
2
| .
Thorme 1.2.10 (principe de contraction de Banach)
Soit 1 un oprateur contractant dans un espace de Hilbert H.
Alors, 1, = , admet une solution unique , dans H, cette solution est le point xe de
cet oprateur.
Corollaire 1.2.3
Supposons que loprateur 1 admet un point xe dans lespace de Hilbert H, alors
loprateur 1
a
, : N admet le mme point xe.
Corollaire 1.2.4
Soit 1 un oprateur dans lespace H tel que loprateur 1
a
, : N est un oprateur
contractant, alors 1 admet un unique point xe , dans lespace H.
1.2.7 Oprateur de Nemytskii
Dnition 1.2.13
On dit quune fonction , : R
a
R, est une fonction de Carathdory si lapplication
(r. :) , (r. :) est continue en : et mesurable en r.
Loprateur 1 dni par
(1n) (r) = , (r. :)
est appel oprateur de Nemytskii.
18
1.2. NOTIONS SUR LES OPRATEURS
1.2.8 Oprateur de Hammerstein
Dnition 1.2.14
La fonction , tant une fonction de Carathodory, on suppose compact et considre
un noyau de Green G associ la fonction ,.
Alors, loprateur H dni par
(Hn) (r) =
_

G(r. ) , (. n()) d
est appel oprateur de Hammerstein.
Exemple 1.2.1
Si est un domaine de R
a
, une solution n du problme
_
n = , (r. n) dans ,
n = 0 sur J.
peut se mettre sous la forme intgrale
n(r) =
_

G(r. ) , (. n()) d,
o G est le noyau de Green.
1.2.9 Equations aux Oprateurs Compacts
Dnition 1.2.15
Lquation dnit par :
1, = ,
est dite une quation de premire espce.
Si lquation est dnit par :
, 1, = ,
Cette quation est dite une quation de deuxime espce.
o , est une fonction donne et , la fonction inconnue.
19
1.2. NOTIONS SUR LES OPRATEURS
Remarque 1.2.2
Si , = 0, lquation est une quation homogne.
Sinon cette quation est dite quation non-homogne.
Thorme 1.2.11
Soit un oprateur compact dun espace norm A dans lui- mme, loprateur 1 = 1
le noyau de loprateur 1 dni par,
1c:1 = ` (1) = , A; 1, = (1 ) , = 0 ,
est un sous espace ferm et de dimension nie.
Dmonstration
En eet, le noyau 1c:1 dun oprateur linaire est sous espace vectoriel, de plus, soit
,
a
1c:1 une suite convergente vers la fonction , alors, de la continuit de loprateur
1, on obtient
1,
a
= 0 = 1, = 0.
Do le noyau 1c:1 est ferm.
Dautres part, toute fonction , 1c:1 satisfait lquation , = ,; dou la restriction
de loprateur lensemble 1c:1 concide avec lindentit, tant compact de A dans
A il en est de mme de 1c:1 dans 1c:1 et par consquent 1c:1 est dimension nie car
lindentit ne peut tre compact que un espace de dimension nie.
Thorme 1.2.12
La suite densemble des noyaux
1c:1. 1c:1
2
. .... 1c:1
a
. ...
est une suite croissante stationnaire, Autrement dit, elle ne contient quun nombre ni
densembles distincts, cest dire il existe un entier j N tel que,
0 1c:1 1c:1
2
... 1c:1
j
= 1c:1
j+1
= ...
20
1.2. NOTIONS SUR LES OPRATEURS
Le nombre j est appel le nombre de Riesz de loprateur compact pour lensemble
des noyaux 1c:1
a
.
Thorme 1.2.13
Limage de loprateur 1 dni par :
Im(1) = 1 (A) = = 1,; telle que , A
est un sous espace ferm.
Thorme 1.2.14
La suite densembles des images
Im(1) . Im
_
1
2
_
. .... Im(1
a
) . ...
est une suite dcroissante et ne contient quun nombre ni densembles distincts. Autrement
dit, il existe un nombre N tel que
... = Im
_
1
q+1
_
= Im(1
q
) ... Im
_
1
2
_
Im(1) Im
_
1
0
_
= A
Le nombre est appel le nombre de Riesz de loprateur compact pour lensemble
des images Im(1
a
).
Preuve
Pour la preuve voir [22].
Lemme 1.2.1
Le nombre de Riesz j pour lensemble des noyaux 1c:1
a
et le nombre de Riesz pour
lensemble des images Im(1
a
) sont gaux. Auterement dit
j = .
Thorme 1.2.15
21
1.2. NOTIONS SUR LES OPRATEURS
Les sous espaces 1c:1
v
et Im(1
v
) sont supplmentaires. Autrement dit
A = 1c:1
v
Im(1
v
)
o : = j = est le nombre de Riesz.
Thorme 1.2.16
Soit un oprateur compact dun espace norm A dans lui-mme, alors pour que
lquation non homogne
1, = , , = , (1.2.1)
admette une solution unique , A, pour tout , A, il faut et il sut que lquation
homogne
1, = , , = 0 (1.2.2)
admette la solution triviale , = 0.
Dmonstration
En eet, supposons que lquation (1.2.1) admette une solution pour tout , A, cela
veut dire que loprateur 1 est surjectif et le nombre de Riesz : = 0. Do linjectivit de
loprateur 1. Autrement dit lquation (1.2.2) admet la solution triviale , = 0.
Rciproquement, supposons que lquation (1.2.2) admette uniquement la solution triv-
iale , = 0, cela veut dire que loprateur 1 est injectif et le nombre de Riesz : = 0, Do la
surjectivit de loprateur 1 et par consquent la bijectivit de cet oprateur. Autrement
dit lexistente et lunicit de la solution de lquation (1.2.1).
Thorme 1.2.17
Soit un oprateur compact dun espace norm A dans lui-mme, alors pour que
lquation homogne
, , = 0
22
1.2. NOTIONS SUR LES OPRATEURS
admet un nombre ni de solutions linairement indpendants ,
1
. ,
2
. .... ,
a
.
Alors, lquation non homogne
, , = ,
admet une solution , A de la forme
,(r) = (r) +
a

i=1
c
i
,
i
o c
1
. c
2
. .... c
a
sont arbitraires et une solution particulire de lquation non ho-
mogne.
Approximation successive
Il est remarquer que la somme partielle
,
a
=
a

I=0

I
,
de la srie de Neumann vrie lquation
,
a+1
= ,
a
+,. \: N
do la relation directe entre la srie de Neumann et la thorie des approximations
successives.
Thorme 1.2.18
Soit un oprateur linaire born dun espace de Banach 1 dans lui-mme avec || < 1,
et soit 1 loprateur identique dans 1 pour tout , 1 lapproximation successive
,
a+1
= ,
a
+,.
avec ,
0
un vecteur arbitraire de 1 converge vers une unique solution , de lquation
, , = ,.
Dmonstration
23
1.2. NOTIONS SUR LES OPRATEURS
Il est ais de voir que de la relation prcdente, on a
,
0
= ,
,
1
= ,
0
+, = , +,
,
2
= ,
1
+, =
2
, +, +,
...
,
a+1
= ,
a
+, =
a

I=0

I
, +, =
a+1
, +
a

I=0

I
,.
Do
lim
ao
,
a+1
= lim
ao
_

a+1
, +
a

I=0

I
,
_
= lim
ao
a

I=0

I
, =
o

I=0

I
,
= (1 )
1
,.
24
Chapitre 2
GNRALITS SUR LES
QUATIONS INTGRALES
2.1 INTRODUCTION
Dnition 2.1.1
On appelle quation integrale une quation fonctionnelle o la fonction inconnue gure
sous le singe dintgrations
_
.
Cest on gnrale lquation par rapport linconnue , de la forme
_
1
1 (r. t. ,(t)) dt = `,(r) +, (r) , r 1 (2.1.1)
o 1 est un espace mesur, , (r) une fonction mesurable donne sur 1, ` un scalaire
donn qui peut tre rel ou complexe, et 1 une fonction mesurable sur 1
3
appele noyau
de lquation intgrale.
Avec toutes ces donnes, notre problme est de chercher la fonction , qui satisfait
lquation (2.1.1).
Remarque 2.1.1
25
2.1. INTRODUCTION
i) Si on prend
1 (r. t. ,(t)) = 1 (r. t) ,(t) ,
lquation (2.1.1) devient linaire, est sinon devient quation intgrale non linaire.
ii) Le type le plus gnral dune quation intgrale est
/(r) ,(r) = , (r) +`
_
1
1 (r. t. ,(t)) dt.
La fonction /(r) dtermine le type de lquation.
iii) Notons que lquation peut tre crite sous forme doprateur
1, = `, +,
o loprateur 1 secrit comme
1,(r) =
_
1
1 (r. t. ,(t)) dt.
Lemme 2.1.1 (voir [14])
Soit 1 une fonction de lspace 1
2
(]c. /[]c. /[), alors loprateur 1 dni par
1,(r) =
b
_
o
1 (r. t) ,(t) dt. r ]c. /[
est bien dni, en tant quoprateur de 1
2
(]c. /[) dans lui-mme.
Lemme 2.1.2 (voir [14])
Soit 1 1
2
(]c. /[]c. /[). Loprateur intgral 1 de noyau 1 est compact de 1
2
(]c. /[)
dans lui-mme.
Proposition 2.1.1
26
2.1. INTRODUCTION
On dnit la norme du noyau 1 (r. ) pour j et conjugus, avec 1 _ j. _ par
|1|
j
=
_

_
_
_
1
_
_
1
[1 (r. t)[
q
dt
_
p
q
dr
_1
p
pour 1 < j <
_
1
c:: sup
t
[1 (r. t)[ dr pour j = 1
c:: sup
a
_
1
[1 (r. t)[ dt pour j =
si on suppose que cette norme est nie
|1|
j
< . (2.1.2)
Alors, loprateur intgral 1 de noyau 1 (r. ) envoie 1
j
(1) dans 1
j
(1) de plus, on a
|1,|
j
_ |1|
j
|,|
j
Preuve
Cas o 1 < j < , lingalit de Hlder, nous donne
_
1
_
_
1
[1 (r. t)[ [,(t)[ dt
_
j
dr _
_
1
_
_
_
1
[1 (r. t)[
q
dt
_
p
q
|,|
j
j
_
dr = |1|
j
j
|,|
j
j
ce qui implique que loprateur 1,(r) =
_
1
1 (r. t) ,(t) dt, existe presque partout, avec
|1,|
j
_ |1|
j
|,|
j
.
Cas o j = 1, on a
_
1
_
1
[1 (r. t)[ [,(t)[ dtdr _
_
1
c:: sup
t
[1 (r. t)[ dr
_
1
[,(t)[ dt.
do
|1,|
1
_ |1|
1
|,|
1
.
Cas o j = , on a
27
2.2. CLASSIFICATION DES EQUATIONS INTEGRALES
c:: sup
a
[1,(r)[ = c:: sup
a

_
1
1 (r. t) ,(t) dt

_ c:: sup
t
[,(t)[ c:: sup
a
_
1
[1 (r. t)[ dt
do
|1,|
o
_ |1|
o
|,|
o
.
Remarque 2.1.2
Pour j = 2, la conditions (2.1.2) devient
_
1
_
1
[1 (r. t)[
2
drdt < .
2.2 CLASSIFICATIONDES EQUATIONS INTEGRALES
2.2.1 EQUATIONS INTEGRALES LINEAIRES
Dnition 2.2.1 (Equation intgrale de Fredholm)
On appelle quation intgrale de Fredholm une quation, une inconnue ,(r) de la
forme
/(r) ,(r) = , (r) +`
b
_
o
1 (r. t) ,(t) dt, (2.2.1)
o , (r), 1 (r. t) sont des fonctions connues et ` est un paramtere non nul, rel ou
complexe.
La fonction /(r) dtermine le type de lquation intgrale.
i) Si /(r) = 0, lquation (2.2.1) scrit
, (r) +`
b
_
o
1 (r. t) ,(t) dt = 0. (2.2.2)
28
2.2. CLASSIFICATION DES EQUATIONS INTEGRALES
et sappelle quation intgrale de Fredholm de premire espce.
ii) Si /(r) = n =constante ,= 0, lquation (2.2.1) scrit
n,(r) = , (r) +
b
_
o
1 (r. t) ,(t) dt. (2.2.3)
et sappelle quation intgrale de Fredholm de seconde espce.
iii) Si /(r) ,= 0, donc la formule (2.2.1) est appele quation intgrale de Fredholm de
troisime espce.
Remarque 2.2.1
1 Si , (r) = 0, lquation (2.2.1) est dite homogne.
2 Si , (r) ,= 0, lquation (2.2.1) est dite non homogne.
Dnition 2.2.2 (Equation intgrale de Volterra)
On appelle quation intgrale linaire de Volterra, une quation de la forme
/(r) ,(r) = , (r) +`
a
_
o
1 (r. t) ,(t) dt. (2.2.4)
i) On appelle quation intgrale de Volterra de premire espce, si /(r) = 0, donc
lquation (2.2.4) scrit
, (r) +`
a
_
o
1 (r. t) ,(t) dt = 0. (2.2.5)
ii) On appelle quation intgrale de Volterra de seconde espce, si /(r) = n =constante
,= 0, donc lquation (2.2.4) scrit
n,(r) = , (r) +
a
_
o
1 (r. t) ,(t) dt. (2.2.6)
iii) Si /(r) ,= 0, donc la formule (2.2.4) est appele quation intgrale de Volterra de
troisime espce.
29
2.2. CLASSIFICATION DES EQUATIONS INTEGRALES
Remarque 2.2.2
1 Si , (r) = 0, donc lquation (2.2.4) est dite homogne.
2 Si , (r) ,= 0, donc lquation (2.2.4) est dite non homogne.
Remarque 2.2.3
Lquation intgrale de Volterra est un cas particulier de lquation intgrale de Fred-
holm, il sut de prendre le noyau 1 vrie la condition
1 (r. t) = 0, pour r < t.
Dnition 2.2.3 (Equation intgrale de Wiener-Hoph)
On appelle quation intgrale de Wiener-Hoph une quation de la forme
/(r) ,(r) +`
o
_
o
1 (r t) ,(t) dt = , (r) . (2.2.7)
Dnition 2.2.4 (Equation intgrale de Renwal)
Lquations intgrales de la forme
/(r) ,(r) +`
a
_
o
1 (r t) ,(t) dt = , (r) . (2.2.8)
sont appeles quation intgrale de Renwal.
Dnition 2.2.5 (Equation intgrale dAbel)
On appelle quation intgrale linaire dAbel une quation de la forme
a
_
o
,(t)
(r t)
c
dt = , (r) . (2.2.9)
.
o c est une constante, 0 < c < 1.
30
2.2. CLASSIFICATION DES EQUATIONS INTEGRALES
2.2.2 EQUATIONS INTEGRALES NON LINEAIRES
Dnition 2.2.6 (Equation intgrale de Fredholm)
Lquation intgrale non linaire de Fredholm de premire espce prendre la forme
, (r) +`
b
_
o
1 (r. t. ,(t)) dt = 0. (2.2.10)
est appele quation intgrale de Fredholm de second espce, de la forme
n,(r) = , (r) +`
b
_
o
1 (r. t. ,(t)) dt. (2.2.11)
o n =constante ,= 0,
et troisime espce, de la forme
/(r) ,(r) = , (r) +`
b
_
o
1 (r. t. ,(t)) dt. (2.2.12)
Dnition 2.2.7 (Equation intgrale de Volterra)
Lquation intgrale non linaire de Volterra de premire espce prendre la forme
, (r) +`
a
_
o
1 (r. t. ,(t)) dt = 0. (2.2.13)
est appele quation intgrale de Volterra de second espce, de la forme
n,(r) = , (r) +`
a
_
o
1 (r. t. ,(t)) dt. (2.2.14)
et troisime espce, de la forme
/(r) ,(r) = , (r) +`
a
_
o
1 (r. t. ,(t)) dt. (2.2.15)
Remarque 2.2.4
31
2.2. CLASSIFICATION DES EQUATIONS INTEGRALES
1 Si , (r) = 0, donc lquation est dite homogne.
2 Si , (r) ,= 0, donc lquation est dite non homogne.
Dnition 2.2.8 (Equation intgrale de Hammerstein)
On appelle quation intgrale de Hammerstein une quation de la forme
/(r) ,(r) +`
b
_
o
1 (r. t) 1 (t. ,(t)) dt = , (r) . (2.2.16)
Dnition 2.2.9 (Equation intgrale de Hammerstein-Volterra)
On appelle quation intgrale de Hammerstein-Volterra une quation de la forme
/(r) ,(r) +`
a
_
o
1 (r. t) 1 (t. ,(t)) dt = , (r) . (2.2.17)
Dnition 2.2.10 (Equation intgrale dAbel)
On appelle quation integrale dAbel une quation de la forme
,(r) =
a
_
o
(r t)
c1
q (,(t)) dt. (2.2.18)
o 0 < c < 1 et q : [0. ) [0. ) tel que : q (0) = 0 et q (r) 0.
Dnition 2.2.11 (Equation intgrale de Lalesco)
On appelle quation intgrale de Lalesco une quation de la forme
,(r) = , (r) +
a
_
0
_
1
1
(r. t) ,(t) +1
2
(r. t) ,
2
(t) + 1
a
(r. t) ,
a
(t)

dt. (2.2.19)
Dnition 2.2.12 (Equation intgrale de Bratu)
32
2.2. CLASSIFICATION DES EQUATIONS INTEGRALES
Lquation intgrale non linaire de Bratu prendre la forme:
,(r) = `
b
_
o
G(r. t) c
,(t)
dt. (2.2.20)
/ est un nombre positif donn et G(r. t) dsigne la fonction de Green
G(r. t) =
_

_
(/ r) (t c)
/ c
, t _ r
(/ t) (r c)
/ c
, t _ r
Proposition 2.2.1 (voir [5])
Le solution de (2.2.20) comme solution lquation
d
2
,
dt
2
+`c
,
= 0, ,(c) = ,(/) = 0.
Thorme 2.2.1 (Thorme de Bratu)
Pour chaque valeur de ` comprise entre 0 et `
1
=
(1. 8745...)
2
/
2
, lquation (2.2.20) a deux
solutions relles et distinctes.
Preuve
Voir [5] et [8]
2.2.3 EQUATIONS INTEGRALES MIXTES
Dnition 2.2.13 (Equation intgrale de Fredholm-Volterra)
On appelle quation intgrale de Fredholm-Volterra une quation de la forme
/(r) ,(r. t) +`
b
_
o
1 (r. ) ,(. t) d +`
t
_
0
1 (t. :) ,(r. :) d: = , (r. t) . t [0. 1] . 1 < .
(2.2.21)
La fonction / dtermine le type de lquation intgrale.
Dnition 2.2.14 (Equation intgrale deVolterra-Fredholm)
33
2.2. CLASSIFICATION DES EQUATIONS INTEGRALES
On appelle quation intgrale deVolterra- Fredholm une quation de la forme
/(r) ,(r. t) +
t
_
0
b
_
o
1 (r. t) 1(t. :),(. :) dd: = , (r. t) . t [0. 1] . 1 < . (2.2.22)
Dnition 2.2.15 (Equation intgrale non linaire de Hammerstein- Volterra)
On appelle quation intgrale non linaire de Hammerstein- Volterra une quation de la
forme
/(r) ,(r. t) = , (r. t)+
b
_
o
1 (r. ) (. ,(. t)) d+
t
_
0
1 (t. :) ,(r. :) d:. t [0. 1] . 1 <
(2.2.23)
2.2.4 EQUATIONS INTEGRALES SINGULIERS
Dnition 2.2.16
On dit quune quation intgrale est singulire si lune ou le deux limites de lintgrale
sont innies, par exemple;
,(r) = , (r) +`
o
_
0
sin (rt) ,(t) dt.
ou bien le noyau devient inni au voisinage des points de lintgrale, par exemple;
, (r) =
a
_
0
H (r. t)
(r t)
c
,(t) dt.
Singularit de type Volterra ou Fredholm
On considre lquation intgrale de deuxime espce de la forme
,(r) = , (r) +
a
_
o
` (r. t) 1 (r. t) ,(t) dt. c _ r < . (2.2.24)
34
2.2. CLASSIFICATION DES EQUATIONS INTEGRALES
o 1 (r. ) est faiblement singulier, en gnral
1 (r. ) =
_
[r t[
c
, 0 < c < 1
log [r t[
Alors
i) Lquation (2.2.24) est de Volterra.
ii) Si r = /, lquation (2.2.24) est de Fredholm.
iii) Le cas o 1 (r. ) = [r t[
c
, 0 < c < 1 sappelle singularit algbrique.
iv) Le cas o 1 (r. ) = log [r t[, sappelle singularit logarthmique.
Dnition 2.2.17 (Equation intgrale de Carleman)
On appelle quation intgrale de Carleman une quation de la forme
j (r)
1
:i
1
_
1
,(t)
t r
dt +
1
:i
1
_
1
(t)
t r
,(t) dt = , (r) . (2.2.25)
o j et sont des fonctions continues.
Dnition 2.2.18 (Singularit de type de Cauchy)
Soit 1 un domaine born et connexe dans un plan complexe, alors lintgrale de Cauchy
est donn par la formule
1
2:i
_
01
,(t)
t r
dt = , (r) , t C. (2.2.26)
Dnition 2.2.19
On appelle quation intgrale de Cauchy une quation de la forme
c (r) ,(r) +/ (r)
_

,(t)
r t
dt +
_

1 (r. t) ,(t) dt = , (r) . (2.2.27)


telle que = J1.
35
2.3. Liaison entre les quations direntielles linaires et les quations intgrales de
Volterra
2.3 Liaison entre les quations direntielles linaires
et les quations intgrales de Volterra
Rduction dune quation direntielle une quation intgrale. Parfois il y a intrt
rduire la rsolution dune quation direntielle la rsolution dune quation intgrale.
La rsolution de lquation direntielle linaire
d
a

dr
a
+c
1
(r)
d
a1

dr
a1
+ +c
a
(r) = 1 (r)
coecient continus c
i
(r) (i = 1. 2. . :) avec les conditions intiales
(0) = C
0
.
0
(0) = C
1
. .
a1
(0) = C
a1
peut tre ramene la rsolution dune quation intgrale de Volterra de seconde espce.
Illustrons notre armation sur lexemple de lquation direntielle du second ordre
d
2

dr
2
+c
1
(r)
d
dr
+c
2
(r) = 1 (r) .
(0) = C
0
.
0
(0) = C
1
.
Posons
d
2

dr
2
= ,(r) .
Do, vu les conditions initiales, on obtient successivement
d
dr
=
a
_
0
,(t) dt +C
1
, =
a
_
0
(r t) ,(t) dt +C
1
r +C
0
Nous avons utilis la formule
a
_
a
0
dr
a
_
a
0
dr
a
_
a
0
. .
a
,(r)dr =
1
(: 1)!
a
_
a
0
(r .)
a1
, (.) d..
36
2.3. Liaison entre les quations direntielles linaires et les quations intgrales de
Volterra
Compte tenu de mettons lquation direntielle sous la forme
,(r) +
a
_
0
c
1
(r) ,(t) dt +C
1
c
1
(r) +
a
_
0
c
2
(r) (r t) ,(t) dt +C
1
rc
2
(r) +C
0
c
2
(r) = 1 (r)
ou
,(r) +
a
_
0
[c
1
(r) +c
2
(r) (r t)] ,(t) dt = 1 (r) C
1
c
1
(r) C
1
rc
2
(r) C
0
c
2
(r) .
Posant
1 (r. t) = [c
1
(r) +c
2
(r) (r t)], , (r) = 1 (r) C
1
c
1
(r) C
1
rc
2
(r) C
0
c
2
(r) .
nous ramenons lquation la forme suivante
,(r) = , (r) +
a
_
0
1 (r. t) ,(t) dt.
i.e. nous obtenous une quation intgrale de Volterra de seconde espce.
Exemple 2.3.1
Soit lquation direntielle

00
+r
0
+ = 0.
et aux conditions initiales
(0) = 1.
0
(0) = 0
Posons

00
= ,(r) .
37
2.4. Existence et unicit de la solution de lquation intgrale linaire de Volterra
Alors

0
=
a
_
0
,(t) dt +
0
(0) == =
a
_
0
(r t) ,(t) dt + 1.
Portons dans lquation direntielle donne, il vient
,(r) +
a
_
0
r,(t) dt +
a
_
0
(r t) ,(t) dt + 1 = 0
ou
,(r) = 1
a
_
0
(2r t) ,(t) dt
Remarque 2.3.1
Le problme de Cauchy
_

0
= , (r. )
(0) =
0
qui peut tre converti lquation intgrale non linaire
=
0
+
a
_
0
, (t. ) dt
2.4 Existence et unicit de la solution de lquation
intgrale linaire de Volterra
On considre lquation intgrale de Volterra de seconde espce
,(r) = , (r) +`
a
_
o
1 (r. t) ,(t) dt (2.4.1)
o 1 (r. t) est une fonction continue pour 0 _ r _ c, 0 _ t _ r, et , (r) est continue
lorsque 0 _ r _ c.
Dnition 2.4.1 (Rsolvante dune quation intgrale)
38
2.4. Existence et unicit de la solution de lquation intgrale linaire de Volterra
On appelle rsolvonte de lquation intgrale, toute fonction 1(r. t; `) donne par
1(r. t; `) =
o

a=0
`
a
1
a+1
(r. t) .
o les 1
a
sont les noyaux itrs dnis par la relation de rcurrence suivante
1
1
(r. t) = 1 (r. t) , 1
a
(r. t) =
a
_
t
1 (r. :) 1
a1
(:. t) d:.
Lemme 2.4.1
La rsolvante 1(r. t; `) vrie lquation suivante
1(r. t; `) = 1 (r. t) +`
a
_
t
1 (r. :) 1(:. t; `) d:.
Thorme 2.4.1 (voir [17])
Soit 1 (r. t) est une fonction continue pour 0 _ r _ c, 0 _ t _ r, et , (r) est continue
lorsque 0 _ r _ c.
Lquation (2.4.1) admet une solution unique et continue donne par la formule
,(r) = , (r) +`
a
_
o
1(r. t; `) , (t) dt.
Remarque 2.4.1
Le thorme 2.4.1 reste vrai pour les quation intgrale de Fredholm de seconde espce.
Thorme 2.4.2
Soit lquation intgrale de Volterra de premire espce
a
_
o
1 (r. t) ,(t) dt = , (r) (2.4.2)
39
2.5. Existence et unicit de la solution de lquation intgrale non linaire de Volterra
telles que ,. 1 des fonctions continues, drivables sur [c. /],
1 (r. r) ,= 0 et
b
_
o
b
_
o
[1 (r. t)[
2
drdt < .
Alors, il existe une solution unique et continue de lquation (2.4.2).
Preuve
On remarque dabord quon
, (c) =
o
_
o
1 (r. t) ,(t) dt = 0
Lquation (2.4.2) peut tre transforme en une quation de Volterra de deuxime espce
en utilisant la rgle de Leibniz
J
Jr
a
_
o
1 (r. t) ,(t) dt = 1 (r. r) ,(r) +
a
_
o
J
Jr
1 (r. t) ,(t) dt = ,
0
(r)
comme 1 (r. r) ,= 0, alors
,(r) =
,
0
(r)
1 (r. r)

a
_
o
1
0
a
(r. t)
1 (r. r)
,(t) dt
qui est une quation de Volterra de deuxime espce, et par le thorme 2.4.1 on obtient
lexistence et lunicit de la solution ,.
2.5 Existence et unicit de la solution de lquation
intgrale non linaire de Volterra
Thorme 2.5.1
Soit lquation intgrale non linaire de Volterra suivante :
,(r) = , (r) +
a
_
0
1 (r. t. ,(t)) dt, 0 _ r < +. (2.5.1)
Suppossons que les conditions suivantes sont vries :
40
2.5. Existence et unicit de la solution de lquation intgrale non linaire de Volterra
i) , : [0. +[R est continue.
ii) 1 : [0. +[[0. +[R, est une fonction continue satisfait la condition Lipschitz
suivante :
[1 (r. t. n) 1 (r. t. )[ _ 1[n [ . tel que r. t [0. +[ et n. R.
Alors, lquation (2.5.1) admet une solution unique , C ([0. +[. R).
Preuve
On choisit la norme suivante
[q[ = sup
a
[q (r)[ exp (1r)
On dnit loprateur 1 comme suit :
1,(r) = , (r) +
a
_
0
1 (r. t. ,(t)) dt
A n de prouver que lquation (2.5.1) admet une solution, il faut montrer que loprateur
1 admet un point xe.
Dabord, on montre que 1 est contractante.
[1,(r) 1 (r)[ _ sup
a
_
_
_
exp (1r)
a
_
0
[1 (r. t. ,(t)) 1 (r. t. (t))[ dt
_
_
_
_ 1sup
a
_
_
_
exp (1r)
a
_
0
[,(t) (t)[ dt
_
_
_
_ 1sup
a
_
_
_
exp (1r)
a
_
0
exp (1t) exp (1t) [,(t) (t)[ dt
_
_
_
_ 1[, [ sup
a
_
_
_
exp (1r)
a
_
0
exp (1t) dt
_
_
_
_ 1[, [ sup
a
_
exp (1r)
exp (1r) 1
1
_
41
2.6. Mthodes de rsolution approche des quations intgrales non linaires
_ (1 exp (1r)) [, [ .
Puisque
(1 exp (1r)) < 1,
alors, 1 est contractante, daprs le principe de Banach loprateur 1 admet un point xe
unique , C ([0. +[), qui est une solution unique de lquation intgrale (2.5.1).
2.6 Mthodes de rsolution approche des quations
intgrales non linaires
Mthode des approximations successives
La mthode des approximations successives peut, a priori, tre applique tous les prob-
lmes non linaires.
On considre lquation intgrale non linaire de Volterra
,(r) = , (r) +
a
_
0
1 (r. t. ,(t)) dt (2.6.1)
nous cherchons la solution de (2.6.1) sous forme de limite de la suite ,
a
(r), o par
exemple ,
0
(r) = , (r) et les termes suivants ,
I
(r) se calculent de proche en proche daprs
la formule
,
I
(r) = , (r) +
a
_
0
1
_
r. t. ,
I1
(t)
_
dt. / = 1. 2. .... :. (2.6.2)
Si , (r) et 1 (r. t. .) sont de carr sommable et satisfont aux conditions
[1 (r. t. .
2
) 1 (r. t. .
1
)[ _ c (r. t) [.
2
.
1
[ .

a
_
0
1 (r. t. ,(t)) dt

_ j (r) , (2.6.3)
avec c (r. t) et j (r) tels quon ait dans le domaine fondamental (0 _ t _ r _ c):
42
2.6. Mthodes de rsolution approche des quations intgrales non linaires
o
_
0
j
2
(r) dr _ `
2
.
o
_
0
dr
a
_
0
c
2
(r. t) dt _
2
.
Alors, lquation intgrale non linaire de Volterra de seconde espce (2.6.1) possde une
solution et une seule, savoir ,(r) 1
2
(0. c), dnie comme la limite de ,
a
(r) lorsque
: :
,(r) = lim
ao
,
a
(r) .
les fonctions ,
a
(r) tant calcules par les formules de rcurrence (2.6.2).
On peut prendre pour ,
0
(r) nimporte quelle fonction de 1
2
(0. c) (en particulier, une
fonction continue) qui remplit la condition (2.6.3).
Notons quun bon choix de lapproximation initiale est susceptible de faciliter la rsolu-
tion de lquation.
Exemple 2.6.1
On utilise la technique des approximations successives pour rsoudre lquation intgrale
,(r) =
a
_
0
1 +,
2
(t)
1 +t
2
dt.
en prenant pour approximation initiale ,
0
(r) = r.
On a alors
,
1
(r) =
a
_
0
1 +t
2
1 +t
2
dt = r
on truove de mme
,
a
(r) = r, (: = 2. 3. ...) .
La suite ,
a
(r) est donc une suite stationnaire r tendant vers ,(r) = r.
On obtient de suite la solution
,(r) = r
de lquation intgrale donne.
43
Chapitre 3
LEXISTENCE DES SOLUTIONS
DEQUATIONS INTEGRALES DE
Hammerstein ET
Hammerstein-Volterra
3.1 INTRODUCTION
3.1.1 Position du problme
Dans ce chapitre nous tudions lexistence des solutions dquation intgrale non linaire de
type Hammerstein dans 1
j
([c. /]),
,(t) = q (t) +
b
_
o
1 (t. :) , (:. ,(:)) d:. < c _ t _ / < +. (3.1.1)
Un intrt particulier est consacr au cas o le noyau 1 (.. .) satisfait la condition
1 (t. :) = 0. pour c _ t _ : _ /,
dans ce cas, lquation (3.1.1) est rduit lquation de Hammerstein-Volterra suivante
44
3.1. INTRODUCTION
,(t) = q (t) +
t
_
o
1 (t. :) , (:. ,(:)) d:. < c _ t _ / < +. (3.1.2)
Nous avons tudi quelques rsultats dexistence et luncit de la solution de (3.1.2) dans
C ([c. /]).
On considre loprateur 1 dni par :
1,(t) = q (t) +
b
_
o
1 (t. :) , (:. ,(:)) d:. \t [c. /] . (3.1.3)
On applique la thorie du point xe sur loprateur 1 sous des conditions donnes sur
loprateur et sur domaine, an dassurer lexistence du point xe.
A n de prouver que lquation admet une solution, il faut montrer que loprateur 1
admet un point xe.
3.1.2 Thormes de point xe
En analyse, les thormes de point xe sont un rsultat qui permet darmer quune fonction
, admet sous certaines conditions un point xe. Ces thormes se rvlent tre des outils
trs utiles en mathmatiques, principalement dans le domaine de la rsolution des quations
direntielles.
Le thorme du point xe de Banach donne un critre gnral dans les espaces mtriques
complets pour assurer que le procd ditration dune fonction tend vers un point xe.
Thorme 3.1.1 (Thorme du point xe de Schauder)
Soit 1 un sous-ensemble convexe, ferm, born, non vide dun espace de Banach A et
1 : 1 1 est un oprateur continu et 1 (1) relativement compact.
Alors, 1 admet au moins un point xe.
Preuve
Pour la preuve voir [12].
Thorme 3.1.2
45
3.1. INTRODUCTION
Soit 1 une boule ouverte dun espace de Banach A et 1 : 1 1 est compact et
continu, alors 1 a un point xe.
Thorme 3.1.3 (Thorme du point xe de Schaefer)
Soit A un espace de Banach et 1 : A A est un oprateur compltement continu.
On a alors lalternative suivante :
i) Ou bien, lquation oprateur r = `1r admet une solution pour ` = 1.
ii) Ou bien, lensemble o = r A : r = `1r, ` ]0. 1[ est non born.
3.1.3 Rsultats de compacit
Dans le cas particulier o A = C ([c. /]), le thorme dArzela-Ascoli est gnralement utilis
pour prouve la compacit de 1.
En utilisant certaines conditions sur les fonctions q () et , (. ) en combinant le thorme
dArzelz-Ascoli avec un rsultat densit 1
j
, nous prouvons la compacit de loprateur 1
dans 1
j
([c. /]), j _ 1.
Thorme 3.1.4
Soit G un sous-ensemble de R, et , : G R R fonction satisfaisante les conditions
de Carathodory.
Supposons que , vrie la condition suivante
[, (r. n)[ _ [c (r)[ +c [n[
p
q
. \n R et j.j. r G. (3.1.4)
o c 1
q
(G. R), et c R
+
.
Alors, loprateur dni par
(1n) (r) = , (r. n(r)) . n 1
j
(G. R) et j.j. r G.
est born et continu de lespace 1
j
(G) dans 1
q
(G) .
Preuve
On dduit de lhypothse (3.1.4) la majoration suivante
46
3.1. INTRODUCTION
[, (r. n(r))[
q
_
_
[c (r)[ +c [n[
p
q
_
q
et donc
|1n|
q
= (
_
G
[, (r. n(r))[
q
dr)
1
q
_
_
_
_
G
_
[c (r)[ +c [n[
p
q
_
q
dr
_
_
1
q
Par lingalit de Minkowski, il vient
|1n|
q
_ (
_
G
[c (r)[
q
dr)
1
q
+ (
_
G
c
q
[n[
j
dr)
1
q
_ |c|
q
+c(
_
G
[n[
j
dr)
1
q
on obtient
|1n|
q
_ |c|
q
+c
_
|n|
j
_
p
q
< .
Donc, loprateur 1 est born.
Pour montrer la continuit de 1, on considre une suite (n
a
) convergente vers n dans
1
j
(G); elle admet une sous-suite (n
a
k
) convergente j.j. dans G vers n, et il existe n 1
j
(G)
telle que [n
a
k
(r)[ _ [ n(r)[ j.j. r G. La fonction , tant continue en la seconde variable,
, (r. n
a
k
(r)) converge, quand / , vers , (r. n(r)) j.j.r G.
De plus, grce lingalit dans lingalit (1.1.4), on obtient les estimations suivantes
|1n
a
k
1n|
q
q
=
_
G
[, (r. n
a
k
(r)) , (r. n(r))[
q
dr
_
_
G
([, (r. n
a
k
(r))[ +[, (r. n(r))[)
q
dr
_ 2
q1
_
G
([, (r. n
a
k
(r))[
q
+[, (r. n(r))[
q
) dr
47
3.1. INTRODUCTION
_ 2
q1
_
G
__
[c (r)[ +c [n
a
k
[
p
q
_
q
+
_
[c (r)[ +c [n[
p
q
_
q
_
dr
_ 2
q1
_
_
_
2
_
G
[c (r)[
q
dr +c
q
_
_
_
G
[n[
j
dr +
_
G
[n
a
k
[
j
dr
_
_
_
_
_
_ C
_
|c|
q
q
+|n|
j
j
+|n
a
k
|
j
j
_
_ C
0
.
o C et C
0
sont deux constantes indpendantes de :.
De plus,
|1n
a
k
|
q
_ |1n|
q
+|1n
a
k
1n|
q
.
La suite (1n
a
k
) est donc borne indpendamment de : dans 1
q
(G). En vertu du
thorme de la convergence domine de Lebesgue, on obtient nalement de convergence
dans 1
q
(G) de la suite (1n
a
k
) vers 1n.
Lemme 3.1.1
Sous les conditions ci-dessus, soit j _ 1 un nombre rel et soit [1. +] le conjugu
de j. Supposons que loprateur 1 satisfait la condition suivante,
\n 1
1
([c. /]) . 1n 1
q
([c. /]) .
Alors, 1 est un oprateur continu de 1
1
([c. /]) dans 1
q
([c. /]).
En outre, il existe une constante C 0 et / 1
q
([c. /]) telle que
[, (r. n)[ _ C [n[
j1
+[/(r)[ , \r [c. /] . \n R.
Thorme 3.1.5
On considre loprateur 1 donn par (3.1.3), et soit j _ 1 et le conjugu de j.
Supposons que q 1
j
([c. /]), et quil existe une constante positive C et fonction /
1
q
([c. /]), telle que
[, (r. n)[ _ C [n[
j1
+[/(r)[ . \r [c. /] . \n R. (3.1.5)
48
3.1. INTRODUCTION
Supposons que le noyau 1 (. ) 1
j
_
[c. /]
2
_
.
Alors, \n 1
j
([c. /]) . 1n 1
j
([c. /]), et 1 est un oprateur compact.
Preuve
Nous avons crit loprateur 1 de la forme : 1 = 1
1
+1
1
, tel que
1
1
(n) (t) = q (t) . 1
1
(n) (t) =
b
_
o
1 (t. :) , (:. n(:)) d:. t [c. /] .
Il est clair que 1
1
est un oprateur compact sur 1
j
([c. /]). Ainsi, pour prouver que 1
est compact, il sut de prouver que 1
1
: 1
1
([c. /]) 1
1
([c. /]) est compact.
Notez qu partir de (3.1.5), on conclut que si n 1
j
([c. /]), alors la fonction :
, (:. n(:)) appartient 1
q
([c. /]).
Soit n 1
j
([c. /]), puis en utilisant lingalit de Hlder, on obtient
|1
1
(n)|
j
j
=
b
_
o

b
_
o
1 (t. :) , (:. n(:)) d:

j
dt _
b
_
o
b
_
o
[1 (t. :)[
j
d:
_
_
b
_
o
[, (:. n(:))[
q
d:
_
_
p
q
dt
_ |1|
j
j
_
_
_
C [n(:)[
j1
+/(:)
_
_
q
_
j
_ |1|
j
j
_
C
_
|n|
j
_
j1
+|/|
q
_
j
.
Par consquent, on obtient
|1
1
(n)|
j
_ |1|
j
_
C
_
|n|
j
_
j1
+|/|
q
_
< +.
Alors, \n 1
1
([c. /]), on obtient 1
1
n 1
j
([c. /]).
La preuve de la compacit de 1, est eectu par les deux tapes suivantes.
Premire tape
Dans cette tape, nous supposons que 1 (t. :) C
_
[c. /]
2
_
et nous montrons que :
1
1
: 1
1
([c. /]) C ([c. /])
est compact.
Nous montrons dabord que 1
1
(1
j
([c. /])) C ([c. /]).
49
3.1. INTRODUCTION
Soit n 1
j
([c. /]) et t, t
0
[c. /], il est clair que
[1
1
n(t) 1
1
n(t
0
)[ _
b
_
o
[1 (t. :) 1 (t
0
. :)[
_
C [n(:)[
j1
+[/(:)[
_
d:
_ sup
c[o,b]
[1 (t. :) 1 (t
0
. :)[
b
_
o
_
C [n(:)[
j1
+[/(:)[
_
d:
_ sup
c[o,b]
[1 (t. :) 1 (t
0
. :)[ (/ c)
1
p
_
C
_
|n|
j
_
j1
+|/|
q
_
.
Comme 1 (. ) est uniformment continu sur [c. /]
2
, alors lingalit prcdente implique
que 1
1
n C ([c. /]).
Ensuite, soit o = (n
a
)
a
, : N un ensemble born de 1
1
([c. /]), nous vrions que
1
1
(o) est uniformment born et quicontinu.
On a \: N, |n
a
|
j
_ `, ` est une constante positive, on peut facilement vrier que
[1
1
n
a
(t)[ _ |1|
o
(/ c)
1
p
_
C`
j1
+|/|
q
_
, \: N, \t [c. /] .
Donc, 1
1
(o) est uniformment born dans C ([c. /]).
En outre, il est facile de vrier que si t, t
0
[c. /], puis \: N, on obtient
[1
1
n
a
(t) 1
1
n
a
(t
0
)[ _ sup
c[o,b]
[1 (t. :) 1 (t
0
. :)[ (/ c)
1
p
_
C
_
|n|
j
_
j1
+|/|
q
_
.
Cela montre que 1
1
(o) est quicontinu.
En utilisant le thorme dArzela-Ascoli, on obtient 1
1
(o) est compact dans C ([c. /]),
pour la topologie de 1
1
([c. /]) est plus faible que la topologie de C ([c. /]), alors 1
1
(o) est
compact dans 1
1
([c. /]).
Deuxime tape
Nous montrons que 1
1
est compact dans le cas gnral o 1 1
j
_
[c. /]
2
_
. Notez que
dans ce cas, il existe une suite de noyau (1
a
(t. :))
a
C
_
[c. /]
2
_
, telle que |1
a
1|
j
0
que : +.
50
3.1. INTRODUCTION
Soit o un ensemble dni prcdent et born de 1
j
([c. /]), comme 1
1
(. ) C
_
[c. /]
2
_
,
en utilisant la premire tape, on conclut que 1
1
1
est compact. Ainsi, il existe (n
(1)
a
)
a
une
suite de (n
a
)
a
tel que
_
1
1
1
(n
(1)
a
)
a
_
a
est convergente. De mme, il existe (n
(2)
a
)
a
une suite
de (n
(1)
a
)
a
tel que
_
1
1
2
(n
(2)
a
)
a
_
a
est convergente; plus gnralement, \: N, il existe une
suite (n
(n)
a
)
a
de (n
(n1)
a
)
a
tel que
_
1
1
m
(n
(n)
a
)
a
_
a
est convergente.
Ensuite, on envisage la suite diagonale (n
(a)
a
)
a
, nous prouvons que
_
1
1
(n
(a)
a
)
a
_
a
est une
suite de Cauchy dans 1
1
([c. /]), nous notons dabord que \/. |. : N, on a
_
_
_1
1
(n
(I)
I
) 1
1
(n
(|)
|
)
_
_
_
j
_
_
_
_1
1
(n
(I)
I
) 1
1
n
(n
(I)
I
)
_
_
_
j
+
_
_
_1
1
n
(n
(I)
I
) 1
1
n
(n
(|)
|
)
_
_
_
j
+
_
_
_1
1
n
(n
(|)
|
) 1
1
(n
(|)
|
)
_
_
_
j
.
(3.1.6)
On a
_
1
1
n
(n
(|)
|
)
_
|
convergente, alors \ 0, il existe `
.
N telle que
_
_
_1
1
n
(n
(I)
I
) 1
1
n
(n
(|)
|
)
_
_
_
j
<

3
. \|. / _ `
.
. (3.1.7)
Dautre part, on obtient
_
_
_1
1
(n
(I)
I
) 1
1
n
(n
(I)
I
)
_
_
_
j
j
_
b
_
o
_
_
b
_
o
[1
a
(t. :) 1 (t. :)[

,(:. n
(I)
I
(:))

d:
_
_
j
dt
_ |1 1
a
|
j
j
C
_
_
_
_n
(I)
I
_
_
_
j1
j
+|/|
q
_
j
.
Comme \/ N, n
(I)
I
o, alors lingalit prcdente implique;
_
_
_1
1
(n
(I)
I
) 1
1
n
(n
(I)
I
)
_
_
_
j
_ |1 1
a
|
j
_
C`
j1
+|/|
q
_
. (3.1.8)
On a |1 1
a
|
j
0, que : +, puis en utilisant lingalit prcdente, on
conclut quil existe `
.
N, telle que
_
_
_1
1
(n
(I)
I
) 1
1
n
(n
(I)
I
)
_
_
_
j
_

3
. \: _ `
.
. \/ N.
En combinant (3.1.7)-(3.1.8), on conclut que
_
1
I
(n
(a)
a
)
a
_
a
est une suite de Cauchy dans
lespace de Banach 1
j
([c. /]). Par consquent, toute suite borne de 1
1
(o) est une suite
convergente, alors 1
1
(o) est compact, pour tout o un sous-ensemble born de 1
j
([c. /]) .
51
3.2. Rsultats dexistence des solutions des quations de Hammerstein
Cela montre que 1
1
est un oprateur compact sur 1
j
([c. /]) .
3.2 Rsultats dexistence des solutions des quations
de Hammerstein
Notre rsultat dexistence du premier problme (3.1.1) est donn par le thorme suivant.
Thorme 3.2.1
On considre lquation intgrale non linaire (3.1.1), et soit 1 _ j _ 2 un nombre rel
et [1. +] le conjugu de j.
Supposons que 1 (. ) 1
j
_
[c. /]
2
_
et q () 1
j
([c. /]). En outre, supposons que la
fonction , (. ) satisfait aux conditions du Lemme 3.1.1. Ensuite, les rsultats suivants
dtiennent
(R
1
) Si 1 _ j < 2, alors (3.1.1) admet une solution , 1
j
([c. /]).
(R
2
) Si j = 2, et le noyau 1 satisfait lune des deux conditions suivantes :
(c
1
) C |1|
2
< 1, o C constante est donne par le Lemme 3.1.1.
(c
2
) 1 (t. :) = 0, \: _ t et [1 (t. :)[ _ [1
1
(t)[ [1
2
(:)[, o 1
1
() est born et mesurable
sur [c. /] et 1
2
() 1
j
([c. /]).
Alors, lquation (3.1.1) admet une solution , 1
j
([c. /]).
Preuve
Notons dabord que la fonction , (. ) satisfait aux conditions de Lemme 3.1.1, il vrie
lingalit (3.1.5) pour une constante C 0 et /() 1
q
([c. /]). Ainsi, daprs le thorme
3.1.5, on conclut que loprateur 1 dni par (3.1.3) est un oprateur compact de 1
j
([c. /])
dans 1
j
([c. /]).
La continuit de 1 dans 1
j
([c. /]) est une simple consquence de la continuit de
loprateur 1 sur 1
j
([c. /]). Plus prcisment, soit , 1
j
([c. /]) et soit (,
a
)
a
une suite de
1
j
([c. /]) qui converge vers ,.
Puis, en utilisant les proprits de 1 ainsi que lingalit de Hlder, on obtient
52
3.2. Rsultats dexistence des solutions des quations de Hammerstein
|1,
a
() 1,()|
j
j
_
b
_
o
_
_
b
_
o
[1 (t. :)[ [1 (,
a
) (:) 1 (,) (:)[ d:
_
_
j
dt
_
b
_
o
_
_
b
_
o
[1 (t. :)[
j
d:
_
_
_
_
b
_
o
[1 (,
a
) (:) 1 (,) (:)[
q
_
_
p
q
dt
_ |1 (,
a
) 1 (,)|
j
q
|1|
1
1
.
Comme 1 : 1
j
([c. /]) 1
q
([c. /]) est continu, alors lingalit prcdente implique la
continuit de 1. Puisque 1 est compact, alors 1 est compltement continu.
Si , 1
j
([c. /]), en utilisant lingalit (3.1.5) avec lingalit de Hlder, on peut facile-
ment vrier que
|1,|
j
_ |q|
j
+|1|
j
_
C
_
|,|
j
_
j1
+|/|
q
_
. (3.2.1)
Pour prouver le rsultat dexistence (1
1
), on utilise le thorme du point xe de Schaefer
et dmontre que pour 1 _ j < 2, lensemble
o = , 1
j
([c. /]) ; , = `1,, ` ]0. 1[ ,
est born. En utilisant (3.2.1), il est facile de voir que \, o, on obtient
|,|
j
_ |1,|
j
_ C |1|
j
_
|,|
j
_
j1
+|q|
j
+|1|
j
|/|
q
.
ou bien
_
|,|
j
_
j1
_
_
|,|
j
_
2j
C |1|
j
_
_ |q|
j
+|1|
j
|/|
q
.
Comme1 _ j < 2 , alors lingalit prcdente implique quil existe une constante ` 0
telle que |,|
j
_ `. Ainsi, o est uniformment born par `.
Par consquent, en utilisant le thorme de Schaefer, on conclut que lquation (3.1.1)
admet une solution , 1
j
([c. /]).
Ensuite, nous prouvons (1
2
), on examine dabord le cas particulier (c
1
). Comme , o,
puis de (3.2.1), on obtient
53
3.2. Rsultats dexistence des solutions des quations de Hammerstein
|,|
2
_ |1,|
2
_ |q|
2
+|1|
2
(C |,|
2
+|/|
2
) .
Si C |1|
2
< 1, alors lingalit prcdente implique que \, o, on dduit
|,|
2
_
|q|
2
+|1|
2
|/|
2
1 C |1|
2
= `.
Ainsi, o est born. Par consquent, si C |1|
2
< 1, alors lquation (3.1.1) vrie le
thorme du point xe de Schaefer do elle admet une solution , 1
j
([c. /]).
Enn, sous la condition (c
2
), toute solution de , = `1, pour ` [0. 1] satisfait les
ingalites suivantes
[,(t)[ _ |q|
o
+[1
1
(t)[
t
_
o
[1
2
(:)[ [/(:)[ d: +C [1
1
(t)[
t
_
o
[1
2
(:)[ [,(:)[ d:. t [c. /]
_ |q|
o
+|1
1
|
o
|1
2
|
2
|/|
2
+C |1
1
|
o
t
_
o
[1
2
(:)[ [,(:)[ d:
_ +
t
_
o
c(:) [,(:)[ d:.
o = |q|
o
+|1
1
|
o
|1
2
|
2
|/|
2
et c(:) = C |1
1
|
o
[1
2
(:)[ 1
2
([c. /]) 1
1
([c. /]).
Ainsi, en utilisant lingalit de Gronwall, on conclut que , satisfait la relation suivante
|,|
2
_
_
/ c exp (|c|
1
) .
Par consquent, lquation (3.1.1) admet une solution dans 1
2
([c. /]) par le thorme du
point xe de Schaefer.
Notons que le rsultat du thorme ci-dessus nest valable que dans le cas o 1 _ j _ 2.
En outre, si j = 2, alors la condition (c
1
) est une srieuse limitation du thorme 3.1.5. Pour
surmontrer ces problmes, on peut utiliser une pratique pondre 1
j
-norme et le thorme
du point xe de Schauder. Cest lobjet du thorme suivant.
Thorme 3.2.2
54
3.2. Rsultats dexistence des solutions des quations de Hammerstein
Considrons lquation (3.1.1) o les fonctions q (t), , (:. r) sont aussi proposes par le
thorme prcdent, et soit j _ 1 un nombre rel et le conjugu de j.
Supposons galement quil existe une constante C
1
0 et / 1
j
([c. /]) telle que
[, (:. r)[ _ C
1
[r[ +[/(:)[ . j j : [c. /] . \r R. (3.2.2)
En outre, supposons quil existe fonction j, continue, borne, non nulle, positive sur
[c. /], et telle que la fonction
(t) =
_

_
_
_
b
_
o
[1(t. :)[
q
(j(:))

q
p
d:
_
_
1
q
, si j 1, < +,
sup
c[o,b]
[1(t. :)[
j(:)
, si j = 1, = +.
appartient 1
j
([c. /] . dj).
Si C
1
||
j,j
< 1,
alors, lquation (3.1.1) admet une solution , 1
j
([c. /]).
Preuve
Nous dnissions dabord lespace A = 1
j
([c. /] . dj), par
1
j
([c. /] . dj) =
_
, 1
j
([c. /]) , |,|
j,j
< +
_
.
Telle que, ||
j,j
est une fonction relle positive dnie sur 1
j
([c. /]) par
\, 1
j
([c. /]) . |,|
j,j
=
_
_
b
_
o
[, (t)[
j
j(t) dt
_
_
1
p
.
En utilisant les proprits de la fonction j, il est clair que ||
j,j
est une norme et que
A = 1
j
([c. /] . dj) est un espace de Banach. Deplus les deux normes ||
j
et ||
j,j
sont
quivalentes. Ainsi, tout ensemble born dans A est un ensemlble born dans 1
j
([c. /]) .
Ensuite, soit 1 un nombre rel positif qui sera x, supposons 1
1
est un sous- ensemble
born, ferm, convexe dun espace A, dni par
1
1
=
_
, A, |,|
j,j
_ 1
_
.
55
3.2. Rsultats dexistence des solutions des quations de Hammerstein
Comme loprateur intgral 1 donn par (3.1.3) est compact sur 1
j
([c. /]) et 1
1
est un
ensemble born de 1
j
([c. /]), alors 1 (1
1
) est relativement compact dans 1
j
([c. /]) _ A.
Ensuite, nous montrons que si C
1
||
j,j
< 1, alors il existe 1
0
0 tel que \1 _ 1
0
, on
obtient 1 (1
1
) _ 1
1
. Cela se fait comme suit. Soit , 1
1
, en utilisant lingalit de
Hlder, (3.2.2) et le thorme de Fubini, on obtient les ingalits suivantes.
|1
1
,|
j
j,j
_
b
_
o
j(t)
_
_
b
_
o
[1 (t. :)[
(j(:))
1
p
(j(:))
1
p
(C
1
[,(:)[ +[/(:)[) d:
_
_
j
dt
_
b
_
o
j(t)
_
_
b
_
o
[1 (t. :)[
q
(j(:))
q
p
d:
_
_
p
q
_
_
b
_
o
j(:) (C
1
[,(:)[ +[/(:)[)
j
d:
_
_
dt
_ |C
1
, +/|
j
j,j
b
_
o
j(t)
_
_
b
_
o
[1 (t. :)[
q
(j(:))
q
p
d:
_
_
p
q
dt
_
_
C
1
|,|
j,j
+|/|
j,j
_
j
||
j
j,j
Comme 1, = q +1
1
,, et |,|
j,j
_ 1, alors lingalit
|1,|
j,j
_ |q|
j,j
+||
j,j
|/|
j,j
+C
1
|,|
j,j
||
j,j
.
Par consquent, 1 (1
1
) _ 1
1
, pour tout
1 _
|q|
j,j
+||
j,j
|/|
j,j
1 C
1
||
j,j
= 1
0
.
Enn, en utilisant le thorme du point xe de Schauder, on conclut que (3.1.1) admet
une solution , 1
j
([c. /]) .
Nous allons donner un exemple.
Exemple 3.2.1
On considre lquation intgrale non linaire suivante
56
3.2. Rsultats dexistence des solutions des quations de Hammerstein
,(t) = q (t) + `
1
_
0
exp (5 (: t))
5
_
t +:
_
,(:) + ln
_
1 +,
2
(:)
_
d:. t [0. 1] , (3.2.3)
o q 1
2
([0. 1]) et ` 0 est un paramtre rel.
Le noyau 1(. ) appartient 1
2
([0. 1]
2
),
1 (t. :) = `
exp (5 (: t))
5
_
t +:
1
2
([0. 1]
2
).
En outre, le calcul numrique nous donne |1|
2
t 3.0030`.
Dautre part, la fonction , (:. r) = r + ln (1 +r
2
) satisfait clairement la condition de
1
2
Carathodory.
Comme
lim
a+o
, (:. r)
r
= 1. \: [0. 1] .
alors, \ 0, il existe 1 < C
1,.
< 1 +, C
2,.
0 telle que
[, (:. r)[ _ C
1,.
[r[ +C
2,.
. \r R. : [0. 1] .
Notons que la [, (:. r)[ r, \r 0. Par consquent, il est ncessaire que C
1,.
1.
En utilisant lingalit prcdente et le thorme 3.2.1, on conclut que (3.2.3) admet une
solution dans 1
2
([0. 1]), pour tout 0 _ ` < `
0
t 0.3330.
Si ` `
0
, le thorme 3.2.1, nest plus applicable, nous utilisons le thorme 3.2.2 pour
prouver le rsultat dexistence pour les grandes valeurs de `, pour j = = 2 on considre
une mesure pondre de Lebsgue sur [0. 1], dj(t) = j(t) dt, o j(t) = exp (10t).
En vertu du thorme 3.2.2 la fonction (t) est donne par la formule suivante,
(t) =
_
_
1
_
0
[1 (t. :)[
2
j(:)
d:
_
_
1
2
=
`
5
c
5t
_
ln
_
t + 1
t
_
.
Notez que 1
2
([0. 1] . dj) et ||
2,j
=
`
5
_
2 ln 2.
57
3.3. Existence et unicit de la solution continue de lquation de Hammerstein-Volterra
Puisque la constante C
1,.
satisfait 1 < C
1,.
< 1+, \ 0, en utilisant le thorme 3.2.2
, on conclut que lquation (3.2.3) admet une solution dans 1
2
([0. 1]), pour tout
0 _ ` < `
1
=
5
_
2 ln 2
t 4.2466.
Il sagit dune amlioration signicative du rsultat donn par le thorme 3.2.1.
Dans cette section, nous donnons un rsultat dexistence et unicit pour une solution
continue de lquation intgrale non linaire de Hammerstein-Volterra.
3.3 Existence et unicit de la solution continue de lquation
de Hammerstein-Volterra
3.3.1 Thorme dexistence
Notre rsultat dexistence est donn par le thorme suivant.
Thorme 3.3.1
Considrons lquation intgrale non linaire de Hammerstein-Volterra suivante
,(t) = 1, = q (t) +
t
_
o
1 (t. :) , (:. ,(:)) d:. t [c. /] . (3.3.1)
Supposons que q C ([c. /]), et le noyau 1 satisfait les conditions suivantes,
(i) 1 (t. :) _ 0, \t. : [c. /] . 1 (t. :) _ 1 (t
0
. :), \t _ t
0
;
(ii) La fonction t
t
_
o
1 (t. :) d:, est continue sur [c. /];
(iii) \t
0
[c. /], : 1 (t
0
. :) 1
1
([c. /]) .
On suppose que la fonction , (. ) est continue sur [c. /] R et satisfait la condition
suivante,
[, (:. r)[ _ c
1
[r[ +c
2
. \r R. (3.3.2)
o c
1
, c
2
sont deux constantes positives.
58
3.3. Existence et unicit de la solution continue de lquation de Hammerstein-Volterra
En outre, supposons que le noyau 1 satisfait la condition suivante,
sup
t[o,b]
t
_
o
1 (t. :) d: <
1
c
1
. (3.3.3)
Alors, lquation (3.3.1) admet au moins une solution , C ([c. /]).
Preuve
Nous allons prouver que loprateur 1 est compltement continu de C ([c. /]) dans
C ([c. /]). Pour prouver que 1 (C ([c. /])) C ([c. /]), nous procdons comme suit.
Soit , C ([c. /]) et t, t
0
[c. /], on peut supposer que t < t
0
. Puis, utilissons (i), on
obtient
[1,(t) 1,(t
0
)[ _ [q(t) q(t
0
)[+
t
_
o
(1 (t. :) 1 (t
0
. :)) [, (:. ,(:))[ d:+
t
0
_
t
1 (t
0
. :) [, (:. ,(:))[ d:
(3.3.4)
0 _
t
_
o
(1 (t. :) 1 (t
0
. :)) d: _

t
_
o
1 (t. :) d:
t
0
_
o
1 (t
0
. :) d:

+
t
0
_
t
1 (t
0
. :) d:. (3.3.5)
de (ii), (iii) et (3.3.5), on conclut que
lim
tt
0
t
0
_
t
1 (t
0
. :) d: = lim
tt
0
t
_
o
(1 (t. :) 1 (t
0
. :)) d: = 0. (3.3.6)
Puisque , est borne sur [c. /], et , (. ) satisfait (3.3.2), alors il existe une constante
` 0 telle que
[, (:. ,(:))[ _ `. \: [c. /] . (3.3.7)
En combinant (3.3.4), (3.3.6) et (3.3.7), on conclut que 1, C ([c. /]).
Note galement que la continuit de 1 sur C ([c. /]) est une consquence directe de (ii)
et la continuit de , (. ) sur [c. /] R.
Ensuite, pour prouver la compacit de 1, il sut de vrier que 1 satisfait la condition
de thorme dAscoli-Arzela.
59
3.3. Existence et unicit de la solution continue de lquation de Hammerstein-Volterra
Soit o = ,
a
. : N un ensemble born de C ([c. /]) avec une constante C
S
. Alors,
\: N, on obtient
|1,
a
|
o
_ |q|
o
+ (c
1
C
S
+c
2
) sup
t[o,b]
t
_
o
1 (t. :) d: = `
S
.
Do 1 (o) est uniformment born.
Remplaans , par ,
a
dans (3.3.4), en utilisant (3.3.6) et (3.3.7), on montre que 1 (o)
est quicontinu. Ainsi, que le thorme d Arzela-Ascoli, on conclut que 1 : C ([c. /])
C ([c. /]) est compltement continu.
Ensuite, soit 1 0 un nombre rel positif, on considre 1
1
est une boule convexe et
ferme de C ([c. /]), note par
1
1
= , C ([c. /]) , |,|
o
_ 1 .
En utilisant (3.3.2), on obtient lingalit suivante
|1,|
o
_ |q|
o
+ (c
1
1 +c
2
) sup
t[o,b]
t
_
o
1 (t. :) d:.
Par consquent, si sup
t[o,b]
t
_
o
1 (t. :) d: <
1
c
1
, do 1 (1
1
) _ 1
1
, telle que
1 _
|q|
o
+c
2
sup
t[o,b]
t
_
o
1 (t. :) d:
1 c
1
sup
t[o,b]
t
_
o
1 (t. :) d:
= 1
0
.
En utilisant le thorme du point xe de Schauder, on conclut que lquation (3.3.1)
admet une solution continue sur [c. /].
Remarque 3.3.1
Supposons que dans le thorme prcdent, la fonction , (. ) satisfait lingalit suivante
[, (:. r)[ _ c
1
[r[
j
+c
2
. \r R, \: [c. /] . (3.3.8)
60
3.3. Existence et unicit de la solution continue de lquation de Hammerstein-Volterra
o 0 _ j < 1 et c
1
, c
2
0. Alors, il existe c
0
1
, c
0
2
0 telle que
[, (:. r)[ _ c
0
1
[r[ +c
0
2
. \r R, \: [c. /] .
et telle que sup
t[o,b]
t
_
o
1 (t. :) d: <
1
c
0
1
. Ainsi, par le thorme prcdent, on conclut que si et
seulement si , (. ) satisfait (3.3.8), puis lquation (3.3.1) admet une solution , C ([c. /]).
Remarque 3.3.2
Comme La fonction t
t
_
o
1 (t. :) d: est continue, alors la condition (3.3.3) est satis-
faite pour /c assez petit. Par consquent, le thorme prcdent assure toujours lexistence
dune solution de (3.3.1) dans un voisinage de c.
Exemple 3.3.1 (quation intgrale non linaire dAbel )
On considre lquation intgrale non linaire dAbel de seconde espce
,(t) = q (t) +
t
_
0
1
(t :)
c
(,(:))
j
d:. t [0. 1] et 1 < +. (3.3.9)
o 0 _ c < 1, 0 _ j _ 1 et q C ([0. 1]).
Il est clair que le noyau
1 (t. :) =
1
(t :)
c

[0;t[
(:) ,
vri les conditions (i) et (iii) du thorme 3.3.1.
La fonction H (t) telle que
H (t) =
t
_
0
1 (t. :) d: =
t
1c
1 c
,
est continue sur [0. 1] .
Si j < 1, en utilisant le thorme prcdent et la remarque 3.3.1 , on conclut que
lquation (3.3.9) admet une solution continue sur [0. 1], pour tout nombre rel 1 0.
Enn, si j = 1, alors le thorme prcdent assure lexistence dune solution continue de
(3.3.9) sur [0. 1] pour tout nombre rel positif 1 < (1 c)
1
1
.
61
3.3. Existence et unicit de la solution continue de lquation de Hammerstein-Volterra
3.3.2 Lunicit de la solution
Lunicit de la solution de (3.3.1) est donne par la proposition suivante
Proposition 3.3.1
Supposons que la fonction , (. ) propose par le thorme prcdent satisfait la condition
suivante,
[, (:. r) , (:. )[ _ 1[r [
v
. \r. R.
pour des constantes 1 0 et 0 < : _ 1. Alors, dans les conditions du thorme
prcdent, lquation (3.3.1) admet une solution unique et continue sur [c. /] .
Preuve
Soit `
1
une constante positive donne par
`
1
= sup
t[o,b]
t
_
o
1 (t. :) d:.
Par contradiction, supposons que lquation (3.3.1) admet deux solutions direntes ,,
C ([c. /]), alors il existe 0 _ < 1 telle que |, |
o
_ , il est clair que \t [c. /], on
obtient
[1,(t) 1 (t)[ _ 1
t
_
o
1 (t. :) [,(:) (:)[
v
d: _ (|, |
o
)
v
1`
1
(t c) .
En utilisant lingalit prcdente, on obtient

1
2
,(t) 1
2
(t)

_ 1
t
_
o
1 (t. :) [1,(:) 1 (:)[
v
d:
_ (|, |
o
)
v
2
(1`
1
)
v+1
t
_
o
(: c)
v
d:
_ (|, |
o
)
v
2
(1`
1
)
v+1
(t c)
v+1
: + 1
.
62
3.3. Existence et unicit de la solution continue de lquation de Hammerstein-Volterra
De mme, on obtient

1
3
,(t) 1
3
(t)

_ (|, |
o
)
v
3
(1`
1
)
v
2
+v+1
(t c)
v
2
+v+1
(: + 1) (:
2
+: + 1)
.
Plus gnralement, pour tout : entier positif, on obtient
[1
a
,(t) 1
a
(t)[ _ (|, |
o
)
v
n
(1`
1
)
v
n1
+...+v+1
(t c)
v
n1
+...+v+1
(: + 1) (:
2
+: + 1) ... (:
a1
+... +: + 1)
.
Par consquent,
|1
a
, 1
a
|
o
_ (|, |
o
)
v
n (1`
1
(/ c))
v
n1
+...+v+1
(: + 1) (:
2
+: + 1) ... (:
a1
+... +: + 1)
.
_ |, |
o
|, |
v
n
1
o
(1`
1
(/ c))
v
n1
+...+v+1
(: + 1) (:
2
+: + 1) ... (:
a1
+... +: + 1)
.
Puisque 0 < : _ 1 et que |, |
o
_ , pour certain 0 < < 1, alors lingalit
prcdente implique
|1
a
, 1
a
|
o
_ |, |
o
max
_
1. (1`
1
(/ c))
1
1r
_
(: + 1) (:
2
+: + 1) ... (:
a1
+... +: + 1)
.
Comme
a1

)=1
(:
)
+... +: + 1) + que : +, alors il existe `
0
N, tel que
max
_
1. (1`
1
(/ c))
1
1r
_
(: + 1) (:
2
+: + 1) ... (:
a1
+... +: + 1)
< 1. \: _ `
0
.
alors, on conclut que
|1
a
, 1
a
|
o
< |, |
o
. \: _ `
0
. (3.3.10)
Dautre part, puisque ,, sont deux solutions de (3.3.1) et des points xes de 1 alors,
ils sont des points xes de 1
a
, \: N. Par consquent, ,, satisfont lgalit suivante,
|1
a
, 1
a
|
o
= |, |
o
.
Ce qui contredit (3.3.10), on conclut que (3.3.1) admet une solution unique.
63
Chapitre 4
APPLICATION DU ALTERNATIVE
NON LINAIRE
Dans ce chapitre nous dmontrons lexistence de la solution une quation intgrale non
linaire la modlisation de linltration de uide dans un milieu poreux homogne et istrope
moyen terme.
4.1 INTRODUCTION
4.1.1 Position du problme
Prenons la thorie mathmatique de linltration de uide partir dun rsevoir cylindrique
dans un milieu poreux homogne et istrope.
On considre lquation intgrale suivante
,
2
(t) = , (t) +
t
_
0
1 (t :) ,(:) d:. t R
+
. (4.1.1)
o 1 et , sont des fonctions connues dependent de paramtres physiques.
La fonction , inconnue dsigne lhauteur de uide dessus de la base horizontale, multi-
plie par un facteur positif.
Cest la raison pour pourquoi, du point de vue physique, les solutions non ngatives de
(4.1.1) sont les plus intret.
64
4.2. RSULTATS DEXISTENCE
Pour montrer les rsultats dexistence des solutions de lquation (4.1.1), on va appliquer
lalternative non linaire de Leary-Schauder.
4.1.2 Alternative non linaire de Leray-Schauder
Thorme 4.1.1
Soit un ouvert, born dun ensemble convexe o dans espace de Banach et : o
un oprateur compact et supposons que 0 .
Alors, on a lalternative suivante
(i) Ou bien admet un point xe dans ,
(ii) Ou bien il existe r J, ` [0. 1] telle que r = `r.
Preuve
Pour la preuve voir [11].
4.2 RSULTATS DEXISTENCE
Thorme 4.2.1
Supposons que 1 C
1
(R
+
. R
+
) est croissante et que la fonction , C
1
(R
+
. R
+
) est
croissante avec , (0) = 0.
Alors, lquation (4.1.1) admet une solution ,(t) sur R
+
avec ,(t) _ 0 pour t R
+
.
Preuve
On considre lquation intgro-direntielle suivante
r
0
(t) = ,
0
(t) +1 (0) .(r (t)) +
t
_
0
1
0
(t :) .(r (:))d:. t 0. (4.2.1)
avec la condition initiale
r (0) = 0. (4.2.2)
o . C (R. R
+
) est la fonction
65
4.2. RSULTATS DEXISTENCE
. (r) =
_
_
_
_
r. si r _ 0.
0. si r < 0.
Nous allons tablir des estimations priori, indpendante de `, pour les solutions de la
famille des problmes (0 _ ` _ 1)
_

_
r
0
(t) = `
_
_
,
0
(t) +1 (0) .(r (t)) +
t
_
0
1
0
(t :) . (r (:)) d:
_
_
.
r (0) = 0.
(4.2.3)
considres sur lintervale [0. 1] .
Soit 1
+
, dsigne la drive de Dini suprieure droite de la fonction ,.
On pose (t) =
_
[r (t)[; t [0. 1] . telle que r (t) est une solution (4.2.3) sur [0. 1].
Nous ont suite que
_
1
+

2
_
(t) = lim
I0
+
sup

2
(t +/)
2
(t)
/
_

r
0
(t)

. 0 < t < 1.
car

2
(t +/)
2
(t)
/
=
[r (t +/)[ [r (t)[
/
_
[r (t +/) r (t)[
/
. 0 < t < 1.
Tenant compte de (4.2.3), nous obtenons
_
1
+

2
_
(t) _ ,
0
(t) +1 (0) (t) +
t
_
0
1
0
(t :) (:) d:. 0 < t < 1.
Maintenant on dsigne
o (t) = , (t) +1 (0)
t
_
0
(:) d: +
t
_
0
_
_
_
c
_
0
1
0
(: t) (t) dt
_
_
_
d:. 0 _ t _ 1.
Do on obtient
_
1
+

2
_
(t) _ o
0
(t) . 0 < t < 1.
66
4.2. RSULTATS DEXISTENCE
donc
_
1
+
_

2
o
__
(t) _ 0. 0 < t < 1.
Nous dduisons de cette ingalit par la continuit que la fonction (
2
o) est dcrois-
sante.
Ainsi,

2
(t) o (t) _
2
(0) o (0) = 0. 0 _ t _ 1.
qui est,

2
(t) _ , (t) +1 (0)
t
_
0
(:) d: +
t
_
0
_
_
_
c
_
0
1
0
(: t) (t) dt
_
_
_
d:. 0 _ t _ 1.
On dnie
\ (t) = 1 +, (1) + 1 (0)
t
_
0
(:) d: +
t
_
0
_
_
_
c
_
0
1
0
(: t) (t) dt
_
_
_
d:. 0 _ t _ 1.
Nous avons ensuite que 1 _ \ (t) et
2
(t) _ \ (t) sur [0. 1] .
Notez que
\
0
(t) = 1 (0) (t) +
t
_
0
1
0
(t :) (:) d:. 0 _ t _ 1.
ainsi
\
0
(t) _ 1 (0)
_
\ (t) +
t
_
0
1
0
(t :)
_
\ (:)d:. 0 _ t _ 1.
puisque \ (t) _ 1 sur [0. 1] est croissante, on obtient que
\
0
(t)
2
_
\ (t)
_
1
2
1 (0) +
1
2
t
_
0
1
0
(t :) d: =
1
2
1 (t) . 0 _ t _ 1.
67
4.2. RSULTATS DEXISTENCE
Notez que
_
\ (0) _ 1 +, (1)
par intgration on obtient
_
\ (t) _ 1 +, (1) +
1
2
t
_
0
1 (:) d:.
Comme
2
(t) _ \ (t) sur [0. 1], donc
_
[r (t)[ _ 1 +, (1) +
1
2
t
_
0
1 (:) d:. (4.2.4)
Posons
_
1 = 1 +, (1) +
1
2
1
_
0
1 (:) d:. 1 0.
Notons || = sup
0t1
[ (t)[ pour C ([0. 1]), et soit A un espace de Banach dni par
A =
_
r C
1
([0. 1]) : r (0) = 0
_
.
avec la norme
|r|
1
= |r| +
_
_
_r
0
_
_
_, pour tout r A.
Notez que loprateur linaire 1 : A C ([0. 1]), dni par 1r = r
0
, alors loprateur
inverse 1
1
est born.
Notons par 1 : A C ([0. 1]) loprateur
1r(t) = ,
0
(t) +1 (0) .(r (t)) +
t
_
0
1
0
(t :) .(r (:))d:. 0 _ t _ 1.
et dni :A A par
r = 1
1
1r, pour tout r A.
68
4.2. RSULTATS DEXISTENCE
Il est clair que est un oprateur compact.
On suppose que lensemble ouvert suivante
=
_
r A : |r|
1
< 1 +1 + sup
0t1
,
0
(t) +1(1)
_
1
_
.
Si r A vri (4.2.3) pour ` (0. 1), alors
_
_
_r
0
_
_
_ _ sup
0t1
,
0
(t) +1(0)
_
1 +
_
1
t
_
0
1
0
(t :) d:
_ sup
0t1
,
0
(t) +1(1)
_
1.
et
|r| _ 1
Do
|r|
1
_ 1 + sup
0t1
,
0
(t) +1(1)
_
1.
Alors, quil nya pas de point r J pour tout ` (0. 1) . telle que r = `r
On dduit que loprateur admet un point xe r dans , par lalternative non linaire.
Alors,
r = r = 1
1
1r.
Donc
1r = 1r.
Do
r
0
(t) = ,
0
(t) +1 (0) .(r (t)) +
t
_
0
1
0
(t :) .(r (:))d:. 0 _ t _ 1
Donc r(t) est une solution de le problme (4.2.1) (4.2.2) sur [0. 1].
69
4.2. RSULTATS DEXISTENCE
Comme r (0) = 0, nous obtenons de la forme de (4.2.1) que r(t) _ 0 sur [0. 1] an que,
si nous laissons
,(t) =
_
r(t). 0 _ t _ 1.
Daprs (4.2.1), on obtient
2,(t),
0
(t) = ,
0
(t) +1(0),(t) +
t
_
0
1
0
(t :) ,(:)d:. 0 _ t _ 1.
qui est un rendement dintgration (,(0) = 0 et ,(0) = 0)
,
2
(t) = , (t) +
t
_
0
1 (t :) ,(:) d:. 0 _ t _ 1.
Nous avons prouv que lquation (4.1.1) admet une solution ,(t) sur [0. 1] avec ,(t) _ 0
pour tout t dans lintervalle [0. 1].
Soit
r
1
= lim
t1
,
2
(t) = ,
2
(1) .
et
r(t) = .(t) +r
1
.
Comme avant, nous montrons que lquation intgro-direntielle suivante
.
0
(t) = ,
0
(t) +
1
_
0
1
0
(t :) ,(:)d: +1(0). (.(t) +r
1
)
+
t
_
1
1
0
(t :) . (.(:) +r
1
) d:. t _ 1.
avec la condition initiale
.(1) = 0
70
4.2. RSULTATS DEXISTENCE
admet une solution .(t) sur lintervalle [1. 2] et que .(t) _ 0 sur [1. 2].
Laissez nous prolonger ,(t) sur [0. 2] en laissant
,(t) =
_
.(t) +r
1
. 0 _ t _ 2.
Do ,(t) est une solution de lquation (4.1.1) sur [0. 2].
Poursuivant de la mme faon, on obtient une solution de lquation (4.1.1) sur R
+
, qui
est non ngative sur R
+
.
71
CONCLUSION
Dans ce mmoire, on a tudi lexistence et lunicit des solutions de quelques quations
intgrales non-linaires.
On a commenc par quelques prliminaires sur les espaces fonctionnels et les oprateurs
et on a donn la classication des quations integrales, puis on a trait trois thormes du
point xe celui de Schauder et Schafer
Aprs, on a montr lexistence des solutions sur 1
j
([c. /]) de lquation intgrale non-
linaire de Hammerstein par lutilisation du thorme de point xe de Schaefer et Schauder,
en mettant des conditions sur le noyau de loprateur intgral, comme on a montr lexistence
et lunicit de la solution continue de lquation intgrale non-linaire de Hammerstein-
Volterra, en utilisant le thorme de point xe de Schauder, comme on a donn des exemples
sur ces quations.
Enn, nous dmontrons lexistence de solutions une quation intgrale non linaire la
modlisation de linltration de uide dans un milieu homogne et istrope moyen terme,
en lui appliquer lalternative non linaire de Learay-Schauder.
72
Bibliographie
[1] Abdou M.A. On the solution of linear and nonlinear integral equation, Applied Math-
ematics and computation 146(2003)857-871.
[2] Abdou M.A, EL-sayed W.G, Deebs E.I. A solution of a nonlinear integral equation,
Applied Mathematics and computation 160(2005)1-14.
[3] Agarwal R.P, Meehan M et Oregan D. Fixed point theory and applications, Cambridge
tracts in mathematics, 2001.
[4] Boccara H. Analyse fonctionnelle, Editions Marketing, Paris, 1984.
[5] Bratu G. Sur les quations intgrales non linaires, Bulletin de la S. M. F., tomme
42(1914)113-142..
[6] Brezis H. Analyse fonctionnelle, Thorie et application, Masson, Paris, 1992.
[7] Constantin A. Nonlinear alternative : application to an integral equation, Journal of
applied analysis Vol. 5, No. 1(1999), pp. 119-123.
[8] Davis H.T. Intoduction to nonlinear dierential and integral equation, New York, 1962.
[9] Djebali S. Le degr topologique : thorie et applications, E.N.S, Kouba, Alger, 2006.
[10] Gagui B. Rsolution des quations intgrales par les mthodes adaptatives, Mmoire
de magister universit de Msila 2006.
[11] Granas A, Dugundji J. Fixed point theory, Springer, Monographs in mathematics, 1985.
[12] Hochstadt H. Integral Equation, New York, 1973.
73
BIBLIOGRAPHIE
[13] Karoui A, Jawahdou A. Existence and approximate 1
j
and continous solutions of non-
linear integral equation of the Hammerstein and Volterra types, Appl 216(2010)2077-
2091.
[14] Kern M. Problmes Inverses, Ecole suprieure dingnieurs Lonard de Vinci, 2003.
[15] Khirani A. Rsolution des quations intgrales non linaire type Volterra, Mmoire de
magister universit de Msila 2011.
[16] Kolmogrov A, Fomine S. Elements de la thorie des fonctions et de lanalyse fonction-
nelle, Mir. 1977.
[17] Krasnov M, Kisslev A, Makarenko G. Equations intgales, problmes et exercices,
Editions Mir, Moscou, 1977.
[18] Lions J.L. Quelques mthodes de Rsolution de Problmes aux Limites non Linaires,
Dunud, Paris, 1969.
[19] Lovitt W.V. Linear integral equation, New York, 1950.
[20] Mostefai A. Cours de topologie, O.P.U. 1989.
[21] Muskhelshvili N.I. Singular integral equations, Noordho, Groningen. The Netherlands,
1953.
[22] Nadir M. Cours danalyse fonctionnelle, universit de Msila, 2004.
[23] Nadir M. Cours sur les quations intgrales, universit de Msila, 2008.
[24] Trnoguine V, Pissarevski B, Soboleva T. Problmes et exercices danalyse fonction-
nelle, Editions Mir, Moscou, 1987.
[25] Zeidler E. Nonlinear Functional Analysis and its Aplications. Vol. I : Fixed point The-
orems, Springer Verlag, New York, 1986.
74

Vous aimerez peut-être aussi