Chap.
Etude qualitative I : barrières
Ce chapitre concerne les équa .
diff .
d' ordre 1 en dimension 1 .
1. Définition .
Soit f : Ixu → IR comme dans le problème de
Cauchy
On appelle sur solution -
stricte de
équa diff l'
ff4 ) .
. x
'
= x
toute
fonction dérivable u : Ix , p [ R → ( IX. MCI)
vérifiant : tt -4413f ,
n' (E) y f f ute ) ) ,
.
On appelle sous -
solution stricte .
- - -
-
n' ft ) ( IGUCHI .
Propriété
e -
locale -
Soit
f comme dans la définition ,
et
u :X ,p[ → R une sur -
solution stricte .
et se :X , B [ → IR une solution .
Supposons qu' on a un b e) 4ps [ tel que
x
(b) = u (b) .
•
On a alors n' (b) { n' (b) :
en
effet n' (b) =
f ( buts))
n' (b) > f ( b alby ,
=
f ( 4x4 ) ) = x
'
(b) .
Il existe alors t > o tel
•
que ,
(1) Pour tout te ] b- S
,
bf ,
on a u (E) f x (t)
(2) Pour tout te ] b bxs
,
[
,
on a x ( H fu ( t ) .
Mle
ÏË
de se
[
-9J ç÷÷↳
:
ulb ) -
mi - -
,
-
.
ai
'
actif
t
- -
.
.
- -
:
-
-
.
.
.
C
b
te
Justifions ceci : soit h÷ u -
x h est dérivable en
t - b
,
l' (b)
et yo .
On en a
h ( tt =
h (b) + (t b) L' (b)
-
+ o
ft -
b)
= To
(pour # b)
=
ft b) [ l' (b)
-
+
o¥bI ]
Par déf
"
fini 0¥54
"
. de o on a
=
0 :
,
,
l' (b)
en
appliquant la définition de la limite avec
E =
,
on obtient un nombre 5) o tel que
V-tejb-s.bxsl.to#jYsk' (b)
Pour tel ? htt ) f- b) [l' (b) 0¥71 )
un t =
-
#
le de t b Or htt alt ) alt )
a
signe
-
-
.
=
Donc la de (H et (t) ] b- S biff
on a
comparaison u x sur ,
.
[ .
le théorème des barrières .
Théorème .
Soit x :
3413f → R une solution de l'équa
diff x
'
f ft
=
,
x ) ,
où
f : Ixu → B est continue .
Soit t.c-Jx.pl -
(1) Si u : 34 PC → IR est une sur -
solution stricte de l'
équa
diff , et si x ( to ) fu ( to) ,
alors xft ) fuit ) pour tout
te
[ to ,
P [
" "
(2)
"
sous - solution stricte
"
xltof > u ( to ) alors xltl > u tt ) pour
tout
,
te [to , PE .
4.
%
bis)
"
"
sur -
solution stricte
) xct ) > alt )
"
x ( to ) > alto ,
alors
pour
tout te Jx , to ]
)
" " "
@ bis sous - solution stricte
x.
( to ) Gatto ) alors x (E) fact )
pour
tout te JX , to ] .
Remarques :
"
% large
"
le poly sur -
solution
,
théorème
→ avec
f C'
•
les 4 points sont très
analogues ,
en démontrera seulement
le point (1) .
du point d)
•
Idée de la preuve : si la solution démarre en dessous
de la sur solution comme elle ne
peut la croiser du
que
-
d' après
propriété
" "
haut vers le bus la locale elle va
,
rester en dessous .
3. Démonstration du point d) du théorème .
Puy .
On considère :
. une
fonction continue
f : Ix U →
IR
IR
. une solution x :
) L , p [ →
- une sur -
solution u
:] x
,13C → IR
. un réel t . e) x
, n [ tel
que
x (to ) fu ( to ) .
But : montrer que V-tefto.sc x (E) fact ) .
,
(a) On considère l' ensemble
4f13
A =
ftp.ztopxftffult/V-tc-ft.,tsI } .
et b =
Sup A .
On a
xltlfufttpouhoutt-dans.tl:)
✓
Htt ) . .
en
effet si t fb , la déf .
de la boue sup .
nous donne un
alors
ts C- A tel
que
t f ts , par déf de A on a bien x (e) En Lt ) .
ca t C- ( to ta ] ,
Si b =p gagné On raisonne alors l'absurde
par
on a
• . en
,
supposant et on cherche une contradiction .
(b) On a b) .
f. . .
preuve plus bas
)
(c) D'après la
propriété locale ,
_
il excite f) o tel que
pour
tout te [ b, b + SC, on a xlt ) Gutt ) .
Ceci b= Sup
contredit A
,
car bt
{ E A. .
Reste à montrer -
(b) :
• On a vu en (a) que alt ) ⇐ alt ) pour
tout te fto bf
, .
par passage à la limite
lorsque t → b, au obtient x. (b) §§u (b) .
.
(et continuité de u eh deu
)
•
Si x (b) tu (b) ,
c'est que
x (b) tu (b) ,
mais alors
par
continuité des fonctions x et ce
,
il existe un f> o
tel
on ait x H ) ( alt ) pour tout te ] b- f , be f [
que encore
.
cdm bsr
.
Alors b
-
{ + C- A : ceci contredit b =
Sup A .
en
Par l' absurde
,
on a donc x
(b) = ce
(b) .
DMG on peut suppose
,
beffa
que
4. Utilisation
Considérons l' égua .
duff .
n' = x -
et "
( x
'
=
flt ) ,
x avec
fft.se/=x -
ette ) .
Soit solution l'équa diff feta )
µ
a une de n' = x -
u : R t
-
R
Alors n est une sur - solution de n' = x - et "
%
.im "
n' A) = alt ) , .eu#sa*s .
[ u solution
de n' = ce
