Академический Документы
Профессиональный Документы
Культура Документы
aux
drives partielles
Cours et exercices corrigs
2e dition
RESSOURCES
Licence
coles dingnieurs
NUMRIQUES
DUNOD
www.bibliomath.com
www.bibliomath.com
Equations
aux drives partielles
2e dition
DUNOD
www.bibliomath.com
Illustration de couverture : Baillou - Fotolia.fr
www.bibliomath.com
T able des m a t i r e s
Avant-propos VII
Notations IX
Chapitre 1. Gnralits 1
1.1 Premires dfinitions 1
1.2 Exemples dquations aux drives partielles linaires en mcanique 5
Chapitre 4. Distributions 55
4.1 Motivation 55
4.2 Espace des fonctions tests 57
4.3 Espace des distributions 60
4.4 Drivation dune distribution 66
Dunod. La photocopie non autorise est un dlit.
4.5 Oprations 68
4.6 Distributions tempres 73
Exercices 75
Corrigs 77
www.bibliomath.com
quations aux drives partielles
IV
www.bibliomath.com
Table des matires
Index 266
www.bibliomath.com
www.bibliomath.com
A v a n t -pro po s
Cet ouvrage est une introduction ltude des quations aux drives partielles. Il
est destin aux tudiants de niveau L3 et M l des coles dingnieurs et filires univer
sitaires scientifiques. Il se base sur un cours de L3 donn aux tudiants en ingnierie
mcanique de lENS de Cachan et de luniversit Pierre et Marie Curie-Paris 6.
Les quations aux drives partielles (EDP) apparaissent extrmement frquem
ment en sciences appliques pour traduire des principes fondamentaux et modliser
de manire continue des phnomnes physiques. Face cela, les tudiants se re
trouvent souvent dsarms : les ouvrages dans ce domaine font gnralement appel
des prrequis complexes, donnent des exposs trop gnraux pour faire le lien avec
des applications, ou au contraire ludent les fondations et se spcialisent sur certains
aspects. Ltude des EDP est en effet un sujet trs vaste, sur lequel les ouvrages de
rfrence peuvent contenir plusieurs milliers de pages.
Cette seconde dition, revue et augmente, est, encore, le fruit dun compromis.
Si notre but est, toujours, de donner les lments ncessaires la comprhension
des EDP qui jalonnent le monde des sciences appliques, de savoir les interprter,
au sens classique et gnralis, connatre leurs principales proprits et, lorsque cela
est possible, les rsoudre, il nous a sembl important, en regard, dintroduire aussi
les approches variationnelles qui font le lien entre les EDP thoriques et le calcul
numrique. Ces mthodes sont, en effet, la base de techniques dapproximation
robustes extrmement utilises en ingnierie, dont il est intressant de connatre le
principe directeur.
Lobjectif du premier chapitre est de donner le vocabulaire de base et de discu
ter, de manire assez empirique, des proprits fondamentales des EDP les plus fr
quentes en physique. Nous nous intressons ensuite lanalyse classique dquations
du premier et second ordre. Nous introduisons notamment la notion de courbe carac
tristique dune EDP.
Dunod. La photocopie non autorise est un dlit.
VII
www.bibliomath.com
quations aux drives partielles
Le chapitre qui suit est consacr ltude dquations classiques (de transport, de
la chaleur, des ondes, de Laplace) laide des outils introduits aux chapitres prc
dents.
Le dernier chapitre est une introduction aux approches variationnelles, qui offrent
un cadre thorique riche dans lequel il est possible de prouver lexistence et lunicit
de la solution de certaines EDP.
la fin de chaque chapitre se trouve une slection dexercices types, avec, bien sr,
leurs corrigs dtaills. Ceux-ci se veulent volontairement simples, sans complication
calculatoire.
Quatre annexes compltent cet ouvrage. La premire est une remise en forme pour
se rapproprier les bases de gomtrie et calcul diffrentiel. La deuxime est consa
cre lanalyse hilbertienne, et donne les rsultats ncessaires concernant les espaces
de Banach et de Hilbert. La troisime annexe concerne lintgration de Lebesgue et
les espaces fonctionnels associs ; il sagit de permettre au lecteur non spcialiste de
comprendre comment cette thorie de lintgration conduit un cadre simple pour
dployer les mthodes prsentes dans louvrage. La dernire annexe prsente les
proprits fondamentale de lespace de Sobolev dans lequel les mthodes variation
nelles sont dployes.
La bibliographie recense quelques ouvrages de rfrence, permettant dapprofon
dir le sujet.
Nous tenons remercier Valentine Rey et Emmanuel Trlat pour leur relecture
attentive et leurs suggestions pertinentes.
Claire David
Pierre Gosselet
VIII
www.bibliomath.com
N o t a t io n s
Ensemble et topologie
- d, bord du domaine O.
( 01 sisi xx A2 \ A
Espaces fonctionnels
- Lp(2), 1 < p < oo espace de Lebesgue des fonctions dont la puissance p ieme est
intgrable sur 2.
- L(2), espace de Lebesgue des fonctions essentiellement bornes sur Q.
- C(2), espace des fonctions continues sur 2.
- C"(2), n e [1, o o ], espace des fonctions n fois continment drivables.
- C"(2), n e |[0, o o ], espace des fonctions de classe C"(2) support compact.
- )(Q) = C(2), espace des fonctions infiniment drivables support compact,
espace des fonctions tests pour les distributions.
- S(Rd), espace des fonctions dcroissance rapide, espace des fonctions tests
pour les distributions tempres.
- f(2) = C(2), espace des fonctions infiniment drivables sur 2, espace des
fonctions tests pour les distributions support compact.
Oprations sur les fonctions et les distributions
- supp(/), support de la fonction / .
- pour une fonction relle de la variable relle : / ' drive premire de / , f "
drive seconde, drive y-me.
Dunod. La photocopie non autorise est un dlit.
- f * g, produit de convolution
Notation multientier : a = (a i ....... aj) e N rf.
d
- N = 'Yj ah
/=i
- x e R d, xa = x x ^ . . . xa
dd monme.
IX
www.bibliomath.com
quations aux drives partielles
o Oprateurs diffrentiels
(d \
dx
> df
- Gradient spatial dune fonction scalaire : grad(/)
dy
df
<dz>
- Drive normale :
)
^ = dfn) = grd(/) n.
www.bibliomath.com
G n r a l it s
Ces conditions peuvent tre de nature trs diffrentes et influent fortement sur lexis
tence et la forme des solutions. Quand les conditions portent sur le bord complet du
domaine, on parle de problme aux frontires. Quand le domaine est dextension in
finie autour dun obstacle compact (par exemple lors de ltude de la signature radar
dun objet), on parle de problme extrieur.
Dunod. La photocopie non autorise est un dlit.
Quand les conditions ne portent que sur une partie du bord du domaine sur lequel
on connat la valeur de la fonction et de ses drives de degr infrieur lordre de
lquation, on parle de problme de Cauchy.
Les quations de la physique sont frquemment poses sur des domaines spatio-
temporels du type 2 = u)x [io. +[, o a>est un ouvert de lespace ou 3)
et [io, +[ est lintervalle temporel dtude, to est linstant initial (souvent pris gal
0). Le temps joue un rle particulier, dans la mesure o il est porteur du principe
de causalitL On a alors le plus souvent un problme aux frontires en espace et un
t- Cest le principe suivant lequel, si un phnomne physique, nomm cause, produit un autre phno
mne, Yeffet, alors ce dernier ne peut prcder la cause.
1
www.bibliomath.com
Chapitre 1 Gnralits
problme de Cauchy en temps que lon appelle galement problme aux conditioi
initiales.
Les problmes aux frontires et les problmes aux conditions initiales obisse
des logiques diffrentes : pour les premiers, ltat est partiellement connu sur le
bords et on cherche laide de Y EDP dterminer la solution
domaine a>, pour les seconds, ltat est compltement connu linstant initial to
on va chercher propager la solution linstant daprs puis, de proche en proche,
dterminer la solution sur lensemble de lintervalle temporel dtude.
Il nexiste pas de rsultats gnraux sur lexistence de solutions des quations au
drives partielles, il est ncessaire de restreindre ltude certains cas. On donn
donc, dans ce qui suit, une rapide classification des EDP et des conditions aux limite:
d2u d2u 2u ( du du
a {x ,y )1 + 2 b (x ,y ) + c {x ,y ) r + T \ u , x , y , , = 0
dx1 dxdy dyA \ dx dy
o a,b, c dsignent des fonctions des variables x et y, et T une fonction dfinie
dans un ouvert de R 5.
iii. On dit quune quation aux drives partielles est quasi-linaire si elle est de
la forme :
du du d2u du du d2u
a \u<dx
T T x<y + 2 b lu, ,x,y
dy dx2 d x d y dxdy
du du \ d2u du du
+ c\( - uT
dx dy ) dy2 + r \ ux y
www.bibliomath.com
1-1- Premires dfinitions
iv. On dit quune quation aux drives partielles est compltement non linaire
si elle dpend non linairement de ses termes dordre le plus lev.
Remarque 1.1
Dans le cas dun problme extrieur, VEDP est gnralement complte par un comportement
asymptotique linfini.
Dfinition 1.3
Un problme est bien pos au sens de Hadamard sil existe une unique solution
qui dpend des donnes de faon continue1.
www.bibliomath.com
Chapitre 1 Gnralits
f. Le terme rgularit est un raccourci pour parler des proprits de continuit, drivabilit (classique
ou faible) dune fonction, et de lappartenance de la fonction et de ses drives certains espaces de
Lebesgue.
www.bibliomath.com
1.2. Exemples dquations aux drives partielles linaires en mcanique
On aborde dans cet ouvrage quelques outils de fond pour comprendre les EDP et
quelques techniques de rsolution analytique. Trs souvent, pour une quation don
ne, une technique adapte donne une unique solution ; il faut garder en mmoire
que celle-ci nest pas ncessairement la seule solution de lquation. Nanmoins, les
exemples et exercices proposs dans cet ouvrage ne concernent que des problmes
bien poss pour lesquels on admettra lexistence et lunicit de la solution : on pourra
lgitimement parler de la (seule) solution.
Yt + divQxi?) = 0
Dunod. La photocopie non autorise est un dlit.
^ + grdOu).? = 0 (1.3)
Cette quation du premier ordre gouverne les phnomnes convectifs (i.e. le conta
minant est transport par le fluide), mais apparat aussi dans certains modles de
marchs boursiers (quation de Black-Scholes prsente en 7.5).
www.bibliomath.com
Chapitre 1 Gnralits
! + =0 (1.4)
dt dx
Si on suppose de plus que la vitesse v est constante, il apparat clairement que toute
fonction de la forme :
(jc, 0 h fi(x, t) = l(x - vt) (1.5)
est solution.
Ltude de YEDP seule a donc conduit une famille de solutions. Intressons-nous
maintenant un problme aux limites complet.
Considrons donc le domaine ]xo, x\ [x]*o +[, et supposons que lon connat la
concentration po linstant en tout point (problme valeur initiale).
Il sagit donc de rsoudre :
' dt dx
fx(x, to) = noix) V* ]x0, X\ [
qui correspond une propagation selon les x positifs (voir figure 1.1).
Remarque 1.2
La fonction initiale choisie dans la figure 1.1 nest pas de classe C1 (il y a des ruptures de
pente), et donc la solution i ne lest pas, ce qui pose problme au sens classique puisque
lquation aux drives partielles suppose de pouvoir driver.
Plus prcisment, on voit que lexpression de la solution (1.6) ne requiert a priori aucune
rgularit sur po, et que cette solution est par ailleurs tout fait satisfaisante dun point de
vue physique. Cest, typiquement, ce que lon appelle une solutionfaible du problme.
www.bibliomath.com
1.2. Exemples dquations aux drives partielles linaires en mcanique
(1.7)
n(x, t0) = po(x)
Cherchons sil est possible de caractriser la courbe reprsentative Cx dune fonction
t i-> X(t), vrifiant X(0) = Xo, et telle que ce problme se ramne une quation
diffrentielle ordinaire {EDO). A cet effet, posons :
fl{t)=p{X{t),t)
ce qui conduit :
d. du dX du
Ainsi, si = u, alors :
dt
^ = f(X{t), t)
Dans ce cas prcis, il est possible de dterminer X puis den dduire fi.
La courbe Cx est appele courbe caractristique de l quation aux drives par
tielles. Elle permet de ramener celle-ci systme diffrentiel dpendant de moins de
variables (ici, on passe dune quation aux drives partielles en (x, t) une quation
diffrentielle ordinaire en t).
On dit que la solution se propage selon la caractristique .
Ce rle particulier des courbes (et dans le cas gnral des surfaces) caractristiques
Dunod. La photocopie non autorise est un dlit.
conduit la mthode des caractristiques pour rsoudre les quations aux drives
partielles (essentiellement du premier ordre).
Si, au lieu de se donner une condition initiale p(x, to) = po(x), on stait donn une
condition selon la courbe caractristique :
www.bibliomath.com
Chapitre 1 Gnralits
duc
Ainsi, si = /(xo + v(t - q), t), on obtient une infinit de solutions, mais dans le
dt
cas contraire, il ny a aucune solution.
Les courbes caractristiques jouent donc galement un rle dans la dfinition de
problmes valeur initiale bien poss. Cette proprit est exploite dans la clas
sification des quations du second ordre.
1.2.2 q u a tio n d e la c h a le u r
Dsignons par ^ et T les fonctions flux de chaleur et temprature , des variables
spatiales (x, y), et du temps t.
Daprs le premier principe de la thermodynamique, une quation dtat et la loi
de Fourier, on a
.. ^ dT
dv = - c
f = -kgT
o c > 0 dsigne la chaleur spcifique, et k > 0 le coefficient de conductivit ther-
_ . . k
mique. Pour ce qui suit, on pose a = - .
c
Par combinaison, on obtient :
dT
- + aAT = 0 ( 1. 11)
dt
Lquation aux drives partielles ainsi obtenue est appele quation de la chaleur.
Elle gouverne tous les phnomnes diffusifs (cest donc aussi lquation de la diffu
sion).
Reprenons lquation en une dimension despace :
dT d2T
( 1. 12)
d t + a dx2
Ralisons une tude par invariance d chelle :
si (x, t) i-h> T(x, t) est solution, alors, pour e R, la fonction (x, t) i-> T(x, 2t)
X
est galement solution. En particulier, si on choisit formellement A = - , on voit que
x2 1
la solution ne dpend plus que de la variable z = .
Ceci incite chercher une solution sous la forme :
www.bibliomath.com
1.2. Exemples dquations aux drives partielles linaires en mcanique
ce qui conduit :
e 4a
v'(z) = Vi
puis* :
T(x, t) = erf
t . j 2t
+<^ > ? = 0
t. La fonction erf, ou fonction d erreur de Gauss, est donne par : erf(z) = e ^dr.
www.bibliomath.com
Chapitre 1 Gnralits
10
www.bibliomath.com
1.2. Exemples dquations aux drives partielles linaires en mcanique
1 .2 .B q u a tio n des o n d e s
Considrons un fluide isotherme. La thermodynamique permet de lier les variations
de volume (divergence de la vitesse) et de pression, la conservation de la quantit de
mouvement relie variation de vitesse et gradient de pression :
div() =
' as -4
P j : = -grad(p)
(1.14)
<32p 2
(1.15)
o
dudv
ce qui donne donc directement :
domaine Rx]0, + o o [.
Si on connat la configuration initiale po et la vitesse initiale vq, on a :
11
www.bibliomath.com
Chapitre 1 Gnralits
Si on considrait un domaine fini [jco, V|], il serait ncessaire de donner des condi
tions aux limites. Physiquement, elles pourraient tre :
i. des conditions de Dirichlet : pression impose (par exemple extrmit dun ins
trument la pression atmosphrique)
p(x.o
ii. des conditions de Neumann : vitesse ou gradient normal de pression impos (par
exemple air en contact avec la membrane vibrante dun tambour)
dp dY.fi o
(x0, t) = - p (x0, t) donn
12
www.bibliomath.com
1.2. Exemples dquations aux drives partielles linaires en mcanique
df df df
f(x + dx, y + dy, z + dz) = f{x, y,z) + dx - ^ + dy + dz-^
q2 q2 q2 s
+ 2dxdy +2 dxdz +2 dydz-
dxdy dxdz dydyz
+ o (dx2 + dy2 + dz2)
-+d
A/
JJ J d ^ X + dx,y + dy z + dz~)~ f ( x>y >z)) dv= 2 +
ky
Outre la grande rgularit de la solution, la principale observation que lon peut faire
est que le maximum de la temprature est obtenu sur le bord du domaine.
13
www.bibliomath.com
Chapitre 1 Gnralits
An = 0, pour (x, y) Q
u(x, 0) = u(x, 1) = 0, pour x e [0,1]
u(0, y) = 0, pour y [0,1] (1.16)
du
T-(0, y) = g(y), pour y [0,1]
ox
o g est une fonction donne deux fois drivable, nulle en 0 et 1.
Ce problme est ce que lon appelle un problme inverse : il ny a pas de condition
limite sur le bord x = 1, et il y a deux conditions sur le bord x = 0 (sur n et sa
drive normale). Ce type de problme se rencontre trs frquemment en pratique
puisquil correspond aux techniques de contrle non destructif : on peut imaginer
que lutilisateur souhaite connatre ltat du systme sur le bord inatteignable x = 1,
pour cel il impose une condition de Dirichlet nulle sur le bord x = 0 et mesure la
raction (de Neumann) g sur ce mme bord.
On verra au chapitre 6, que ce problme se prte parfaitement la sparation de
variables. Il est naturel de dvelopper la solution sur la base des fonctions :
On obtient alors
avec :
sin (kny)g{y)dy (1.18)
U)
telN*
Si on sintresse au systme sur le bord x = 1 en posant U(y) - M0> J/), on voit que :
\2
Ak sinh(& tt)^
(1.19)
iMi?,, h,
2([0,i]) = Z2 j (\ kit /
*sN* '
14
www.bibliomath.com
1.2. Exemples dquations aux drives partielles linaires en mcanique
15
www.bibliomath.com
www.bibliomath.com
E q u a t io n s a u x
DRIVES PARTIELLES
DU PREMIER ORDRE
Il est recommand de donner un rapide coup d'oeil aux rappels de l'annexe A.
'dx 'p s
dy A Q ( 2 . 1)
<dZj U J
ce qui, physiquement, sinterprte comme le fait dimposer en chaque point que le
dplacement infinitsimal soit parallle un vecteur donn.
Dfinition 2.1
On appelle solution du systme (<S) une courbe (C), dont la tangente en tout point
Dunod. La photocopie non autorise est un dlit.
Rechercher une solution du systme (S) revient donc trouver une reprsentation
paramtrique t M( ) = (x(t), y(t), z(t)) de la courbe C, telle que en tout point de
paramtre t :
(dx\ 'p '
dM dt
k =m Q ( 2.2)
dt
dz R JM(t)
^dt '
17
www.bibliomath.com
Chapitre 2 quations aux drives partielles du premier ordre
ce qui traduit bien la colinarit du vecteur tangent (C) au point M(f) et du vecteur
de composantes (P , Q, P)M(r).
Si P, Q,et R ne sannulent pas en M(i), alors :
dx dy
dt_t _
P(M (0) " <2(M(0) " R(M(t))
dx
Si P (respectivement Q,R) sannule en M(f), alors, il en est de mme pou
dt
du .
pectivement , ).
On supposera donc, dans ce qui suit, P, Q, R non simultanment nuis.
Quand elle est possible, la rsolution directe du systme (2.2) donne une repr
sentation paramtrique dune courbe solution de ( ). Puisque le problme est pos
dans R 3, une technique alternative pour caractriser une courbe est de la dfinir
comme lintersection de deux surfaces, ce qui est lobjet de la section suivante.
2.1.1 In t g ra le s p re m i re s
Dfinition 2,2
On appelle intgrale premire du systme (S) une fonction / de classe C 1 des
trois variables x, y, z,non constante, et telle que, pour toute solution
(x(i), y(t), )z(t) de (.S), la fonction t f(x(t), y(t), z(t)) soit constante.
Remarque 2.1
Dans cette dfinition, on voit directement que si Mo est un point de la courbe solution C, alors
celle-ci est trace sur la surface /,m0 dcrite implicitement par
T horm e 2.1. Une fonction f de classe C1 des trois variables x, y, z, est une
intgrale premire de (S) si et seulement si, dans tout domaine o les solutions de ( )
sont dfinies, elle vrifie :
df df df
P(x, y, z) -j^fx,y,z) + Q(x, y, z) -t^ ( x , y, z) + R(x, y, z) (x, 0 (S)
Dmonstration. Soit t h-> M (0 = (jc(0, y{t), )) une solution de (5), et / une int
grale premire.
Par drivation compose (A. 14) :
j / m ) =f i<M
(o)f wg(M
|wf O* (2.4)
18
www.bibliomath.com
2.1. Prambule : tude dun systme diffrentiel de la forme -
2 .1 .2 In t g ra le s p re m i re s in d p e n d a n te s
Dfinition 2.3
dh dh dh
dx dy dz
ne s }annule pas dans il, alors, / , g, h sont fonctionnellement indpendantes.
Dmonstration. La fonction (x, y, z) H (f(x, y, z), g(x, y, z), h(x, y, z)) de la dfi
nition ci-dessus est constante si et seulement si sa diffrentielle est nulle.
Les rsultats (A.6) et (A.8)) de lannexe A conduisent :
(df df d f\
dx dy dz 'dx
dg dg dg dy
0=-=($ f S) dx du dz
dh dn dh ,dZj
V(dx, dy, dz)
<dx dy dz >
19
www.bibliomath.com
Chapitre 2 quations aux drives partielles du premier ordre
dfSfdf)
'F T
dx + S Tdy+ R T
dz = 0 dx dy dz P '
dg dg bg dg dg dg
P + Q-r- + R-z- = 0 ou encore Q = 0
dx
dh
dy
dh
dz
dh n
dx dy dz
dh dn dh UJ
p Fx*Q d i * R a - dx dy dz J
Comme P , Qe t R ne sont pas simultanment nuis, la matrice du systme ne peut pas
tre de rang 3 (sinon la seule solution serait la solution triviale).
20
www.bibliomath.com
2.1. Prambule : tude dun systme diffrentiel de la forme = & = ?
D aprs le thorme 2.2, les trois fonctions ne sont pas indpendantes. Il existe
donc une fonction H non constante telle que :
y, z), g(x, y, z), h(x, y, z ) ) = 0
ce qui conduit :
(d f d f d f\
dx dy dz
idH dH dH\ dg dg dg
= 0
U / dg dh I dx dy dz
dh dh dh
dx dy dz
/ et g tant indpendantes, daprs le thorme 2.3 les deux premires lignes sont
. .. . , dH . , dH dH
indpendantes, et donc ne peut donc etre nul sans que et le soient, ce
dh df dg
qui est impossible (H non constante).
QH
Finalement, + 0 ; le thorme des fonctions implicites (A. 10) permet alors dex-
dh
primer h en fonction de / et g.
Alors, pour tout couple de rels ( a, b), les courbes Cab> intersection des surfaces
f(x, y,z) = a et g(x, y, z) = b, sont les solutions de (S).
On dispose galement d un mcanisme simple pour construire
P r o p o s it io n 2 .6 .
une nouvelle intgrale premire contenant Cab-
En effet, si T est une fonction telle que T'(a) = b, alors la courbe Cab appartient
galement la surface d quation h(x, y, z) = 0 , avec :
h(x, y,z) - T (f(x, y, z)) - g(x, y, z) (2.5)
(g) Dunod. La photocopie non autorise est un dlit.
2 .1 .B M th o d e d e r s o lu tio n
Pour rsoudre le systme (5), il faut donc dterminer deux intgrales premires in
dpendantes.
Toute intgrale premire / du systme diffrentiel (S) doit satisfaire (fi). Par suite :
i f J l d x + dl d y + dJ - dz
dx oy dz
( 2 .6)
21
www.bibliomath.com
Chapitre 2 quations aux drives partielles du premier ordre
En posant :
(df
= A(x, y, z)
dx
df
= B(x, y, z) (2.7)
dy
% = C(x, y, z)
dz
on aboutit au rsultat suivant :
Remarque 2.2
U ne relation de la form e :
a _ y
a y
3eR , - = ^=
a a + b y _ a Af l + b _ ^ _ a _ 7
ap + b af l + b p
La recherche d intgrales prem ires peut donc tre facilite grce la relation suivante .
dx _ dy dx dy Adx + Bdy (2 .9 )
si ( AP + BQ)
T -Q T Q A P + BQ
Exemple 2.1
dx _ dy _ dz
x(y-z) y(z-x) z(x-y)
On recherche d on c trois fon ction s A, B, C telles que :
22
www.bibliomath.com
2.2. quations aux drives partielles linaires du premier ordre
Comme
P+Q+R=0
alors :
A=B=C= 1
convient, ce qui conduit une premire intgrale premire :
d f \ = d x + dy + dz = /1 : (*, y, z) 1- x + y + z + Constante
On a aussi :
i/zP + xzQ + xj/P = 0
Par suite :
A(x, y, z) = */z , B(x, y, z) = *z , C(jc, */, z) = xy
convient, ce qui conduit une deuxime intgrale premire :
Les fonctions (x,y,z) -> x + + z et (x, y, z) h x/z tant indpendantes, les solutions
du systme considr sont donc les intersections des surfaces x + y + z = a e t xyz = b,
(1a, 7) g R2 (voir la figure 2.1).
Dunod. La photocopie non autorise est un dlit.
Figure 2.1- I n t g r a l e s p r e m i r e s i n d p e n d a n t e s e t c o u r b e c a r a c t r i s t i q u e s u r l e c a d r a n
x , y , z > 0 p o u r le x e m p l e 2.1
2.2 Q U A T IO N S A U X D R IV E S P A R T IE L L E S
L IN A IR E S D U P R E M IE R O R D R E
On sintresse maintenant la rsolution dune quation aux drives partielles quasi-
linaire du premier ordre :
23
www.bibliomath.com
Chapitre 2 quations aux drives partielles du premier ordre
Dfinition 2.4
2.2.1 R ec h e rc h e d e s o lu tio n s
Une solution / de (G)peut tre vue comme une fonction associant un poin
du plan une altitude z= f(x, y), et tre interprte comme une surface de R 3
On choisit alors de rechercher les solutions de () sous forme implicite, i.e. des
fonctions p dfinissant implicitement / comme solution de :
24
www.bibliomath.com
2.2. quations aux drives partielles linaires du premier ordre
Exemple 2.2
Soit rsoudre :
x(y - f ) j ^ + y (f - y )f
et
(x, y, z) i-> (f(x, y, z) = xyz
Les fonctions de la forme ( jc, y, z) h i//(x, y, z) = F((p(x, y, z), <p(x, y, z)) dcrivent len
semble des intgrales premires.
On peut donc donner les solutions / sous forme implicite :
Exemple 2.3
f df
y - i - X-y= (Si)
On voit directement que ( jc, y, z) h-> 0(x, y,z) = z est une intgrale premire.
Dunod. La photocopie non autorise est un dlit.
Par ailleurs :
0 = xdx + ydy = d{x2 + y2)
Autrement dit, ( jc, y, z) i-> </>(jc, y, z) = jc2 + y2 est galement une intgrale premire.
Toutes les solutions sont donc dfinies implicitement sous la forme
ce qui conduit :
f(x, y) = g(x2 + y2)
Les solutions sont les surfaces de rvolution daxe (O; 2).
25
www.bibliomath.com
Chapitre 2 quations aux drives partielles du premier ordre
2 .2 .2 C o u rb e s c a ra c t ris tiq u e s
D finition 2.5
D finition 2.6
Avec les hypothses et notations de la dfinition prcdente, une courbe est dite
caractristique en aucun point, sil nexiste aucun point M de N e o le vecteur
tangent soit colinaire au vecteur de composantes (u(M), u(M), u>(M)).
D finition 2.7
2 .2 .3 P ro b l m e d e C a u c h y
D finition 2.8
26
www.bibliomath.com
2.2. quations aux drives partielles linaires du premier ordre
Il sagit ici de gnraliser aux quations aux drives partielles du premier ordre les
rsultats existants pour le problme de Cauchy relatif une quation diffrentielle :
si lon dispose dune fonction /0 donne le long dune courbe paramtre, peut-on
obtenir la solution au voisinage de celle-ci ? Et, si oui, peut-on ainsi, de proche en
proche, obtenir la solution dans un domaine plus grand ?
Les hypothses danalycit conduisent chercher la solution sous la forme dun
dveloppement en srie autour de la courbe N0 o / est connue. Une condition nces
saire pour obtenir une telle forme de solution est de pouvoir faire un dveloppement
limit lordre 1 :
qr df l J \
f(x 0 + dx, i/o + dy) = fo(xo, i/o) + dx ~^(xo, i/o) + dy ~ ^ (xo, i/o) + o i -yjdx2 + dy2J
ce qui suppose donc que lon connaisse les drives partielles dordre 1. Cette condi
tion va faire apparatre des contraintes sur la courbe N0.
La courbe N0 tant rgulire, on peut dfinir une tangente en tout point, et donc
supposer que /0 est donne en fonction de labscisse curviligne s (qui rend le vecteur
tangent ts) unitaire).
On suppose que, en tout point de N q, la valeur de / est donne :
La condition aux limites donne donc une premire quation linaire sur les dri
ves partielles du premier ordre.
Il reste dterminer si lquation aux drives partielles crite sur N qpermet dob
tenir une deuxime quation indpendante.
Dunod. La photocopie non autorise est un dlit.
df df
u(x0, yo, f{x 0, I/o)) ^ + v(xo, i/o. f(x 0, i/o)) ^ = w(x0, I/o, f(x 0, I/o))
'u(x0, yo, f(x 0 , yo)) v(xo, yo, f(x 0 , I/o))' (d f) 'w(xo, yo, f(x 0 , yo))"
dx
xo dyo df dfo
' ds ds > dyJ < ds >
27
www.bibliomath.com
Chapitre 2 quations aux drives partielles du premier ordre
Alors, la donne d }une condition initiale analytique sur une courbe rgulire No, qui
n'est caractristique en aucun point, dfinit une unique solution analytique de (),
appele solution du problme de Cauchy relatif la courbe No.
Remarque 2 3
Ce thorme donne un rsultat local dexistence et dunicit de la solution analytique autour
de la courbe de condition initiale. Il ne donne pas a priori dinformation sur la taille du
domaine dexistence de la solution. De mme des solutions non-analytiques sont susceptibles
de coexister.
2 .2 .4 M th o d e d es c a ra c t ris tiq u e s
On vient de voir quun problme de Cauchy est bien pos si la condition limite nest
pas donne le long dune caractristique. Cela est d une proprit importante des
caractristiques qui conduit une mthode dtude des quations aux drives par
tielles.
Considrons donc un problme de Cauchy bien pos, o la courbe de condition
limite No nest pas une caractristique, et dterminons comment construire la courbe
28
www.bibliomath.com
2.2. quations aux drives partielles linaires du premier ordre
caractristique qui passe par le point (*0. i/o) de N0 correspondant labscisse curvi
ligne sq (voir la figure 2.2).
Remarque 2.4
i. Comme annonc par le thorme de Cauchy-Kowalewski, la solution obtenue par la m
thode des caractristiques est locale autour de la courbe de condition initiale, on est sr
de son existence que sur un intervalle t 6 [0, t/[ qui peut tre trs petit. En particulier, elle
nest plus valable ds que deux courbes caractristiques se coupent, comme par exemple
dans lquation de Burgers prsente la section 7.1.3.
29
www.bibliomath.com
Chapitre 2 quations aux drives partielles du premier ordre
U. On comprend ici dune autre manire pourquoi donner une condition limite le long dune
caractristique ne permet pas de propager la solution hors de la caractristique : cette
dernire bnficie en effet dune forme dautonomie (lvolution le long de la caract
ristique peut tre calcule indpendamment du reste du domaine).
Exercices
(fil)
H H Un problme de Cauchy
Rsoudre le problme de Cauchy pour (jc, e R+ x R :
df
= 0
y TX - X d-y
f i s , 0) = fis)
30
www.bibliomath.com
Corrigs
Corrigs
0i : O y , z ) ^ y
Le seconde ligne permet de dduire lintgrale premire 02
dx = Z dz= - d ( Vl - z 2)
V T ^2
0 = t + d ( V l - z 2)
et donc, finalement : _____
02 : (x, y , z )x + Vl - z2
Les deux fonctions tant indpendantes, toute solution est donc dfinie implicite
ment par :
F|
i/, x + -y f 2(x, y)j = Co
ce qui implique :
x + >/l - Z 2^ , y) = i//(y)
ifr tant une fonction de classe C l, le domaine dexistence de la solution est alors
lensemble des (x, y) tels que \x - i/(y)\< 1.
Dunod. La photocopie non autorise est un dlit.
Par suite :
f 2(x, y ) = l - ( x l f / ( y )
ce qui correspond un tuyau dont la section circulaire de rayon 1 reste ortho
gonale la ligne des centres dquation y h > (0( /), y, 0).
faM On reconnat un problme de Cauchy pour lequel la condition limite est donne
sur laxe des abscisses.
Lexemple 2.3 a mis en vidence le fait que les intgrales premires du systme ca
ractristique sont les surfaces de rvolution daxe (0;z).
31
www.bibliomath.com
Chapitre 2 quations aux drives partielles du premier ordre
32
www.bibliomath.com
E q u a t io n s a u x
DRIVES PARTIELLES
DU SECOND ORDRE
Les quations aux drives partielles du second ordre sont trs frquentes en phy
sique, leur tude est donc d'un grand intrt pratique.
On considre ici le cas des quations semi-linaires, qui permettent dj d'tudier
de trs nombreux phnomnes en mcanique, lectromagntisme, ...
Un cadre plus gnral conduirait de nombreuses difficults techniques qui de
manderaient de trs amples dveloppementsf le lecteur intress pourra se reporter
[5, 10].
Dfinition 3.2
Exemple 3.1
c tant un rel strictement positif, l quation des ondes (que lon a prsent en sec
tion 1.2.3 et que lon tudiera plus prcisment la section 7.2).
d2u 7 d2u
(3.2)
d fi~ C d ? =
est une quation aux drives partielles hyperbolique.
33
www.bibliomath.com
Chapitre 3 quations aux drives partielles du second ordre
Dfinition 3.3
Exemple 3.2
a tant un rel strictement positif, Vquation de diffusion (que lon a prsent en sec
tion 1.2.2 et que lon tudiera plus prcisment la section 7.3)
I J v \ ?
(3.4)
d x \ dx) dt
est une quation aux drives partielles parabolique.
Dfinition 3.4
Exemple 3.3
U quation de Laplace (prsente en section 1.2.4, et qui sera tudie plus longuement
la section 7.4)
2f d2f
(3.6)
dx2 + dy2
est une quation aux drives partielles elliptique.
Exemple 3.4 Transition sub/super-sonique
Aprs de nombreuses simplifications, lquation de la vitesse longitudinale v dans une
tuyre 1D est donne par :
2v d2v
0 (3.7)
34
www.bibliomath.com
3.2. Courbes caractristiques et problme de Cauchy
Remarque 3.1
Lorsque a, b, c sont constants, la nature de (8) est celle de la conique dquation
ax2 + 2b xy + cy2 = 0 (3.8)
On verra que cette quation est la transforme de lquation aux drives partielles dans le
domaine de Fourier (chapitre 5).
Dfinition 3.5
Dunod. La photocopie non autorise est un dlit.
35
www.bibliomath.com
Chapitre 3 quations aux drives partielles du second ordre
fis) = - ^ 0 ) = avec||lti)|| = 1
(3.11)
rt(s) = -^(s)y
as as
ce qui conduit :
f = ^ ( s)t(s) - s)rt(s)
as as
(3.12)
^ {s)ft{s) + -j^-(s)fls)
f W * ) ) = d A w t, = ^ (S )^ (S ) -
(3.13)
| < MM> = w + $ ( % ( , )
ds
Pour obtenir les drives secondes de / , on adjoint (6) les relations obtenues en
drivant les fonctions s ^ g x(s) = % (M0( )) et j ^ Gy(s) = | ( M 0( )) (dont les
valeurs sont donc connues). y
On pose :
36
www.bibliomath.com
3.2. Courbes caractristiques et problme de Cauchy
qui correspond donc la valeur du second membre de lquation aux drives par
tielles sur la courbe A/q, qui est donc lui aussi connu :
f q2 -C
Gx(s) = x'0(s) OoO), yo(s)) + y'0( s ) - j - (xo(i), yo(s))
dxdy
d2f
G 'y (s) = x'0(s) (xo (s),/o
i (s)) + (x0(.v), y0(s))
f fP f fp f
Fois) = a(x0(s), yois)) + 2b(x0(s), )) ^ + c(x0( ), y0(s))
*o(s) y'o(s) 0
(3.14)
a(xo(s),y0(s)) 2b(x0(s),y0(s)) c(x0(s), y0(s))
et vaut :
Si ce dterminant est nul, le systme prcdent a soit une infinit de solutions, soit
aucune solution.
Si le dterminant est non nul, les drives secondes de / sont dtermines de ma
nire unique sur No. On retrouve la mme condition si on cherche calculer les
drives dordre suprieur. On peut montrer que si toutes les fonctions donnes sont
analytiques, alors il est possible de dvelopper la fonction / en une srie entire de
rayon de convergence strictement positif, on est alors capable dtendre localement
la fonction sur un disque ouvert autour de chaque point de la courbe de condition
initiale (thorme de Cauchy-Kowalewski).
Remarque 3.2
Dunod. La photocopie non autorise est un dlit.
Si on avait choisi une autre paramtrisation de No que labscisse curviligne, on aurait conduit
les mmes calculs une constante multiplicative non-nulle prs (qui aurait correspondu la
norme des vecteurs tangent et normal). Le dterminant prcdent aurait donc gard la mme
signification.
Dfinition 3.6
On appelle courbes caractristiques de (6) les courbes rgulires de IR2, dont une
reprsentation paramtrique est
37
www.bibliomath.com
Chapitre 3 quations aux drives partielles du second ordre
et telles que :
Les courbes caractristiques sont donc celles sur lesquelles il nest pas possible de
faire porter les conditions initiales dun problme de Cauchy.
Dfinition 3.7
3 .2 .2 C alcu l p ra tiq u e
T h orm e 3.1 . Si la fonction a n est pas identiquement nulle, les courbes caract
ristiques de (S)sont les solutions de l quation
(3.16)
T h orm e 3.2. Sila fonction c n est pas identiquement nulle, les courbes car
ristiques de (f) sont les solutions de l quation
dx
c(x, y) (3.17)
dy
Thorm e 3.3. Si les fonctions a e t c sont identiquement nulles, les courbes carac
tristiques de (fi) sont les droites x = Constante, y = Constante.
a(xc(t), yc(t)) 0
Si x'c sannulait dans V,0, alors, daprs la dfinition 3.6 dune courbe caractris
tique, on devrait avoir a(xc(to), yc(to)) (y'cito))2 = 0 et donc y'c(to) = 0, ce qui entre en
contradiction avec la rgularit de la courbe caractristique.
38
www.bibliomath.com
3.2. Courbes caractristiques et problme de Cauchy
x'c{t) 0
La tangente C nest donc pas verticale : C peut tre assimile la courbe reprsen
tative dune fonction y = g(x) :
{ x = x = xc{t)
y = g(x) = yc(t)
Par suite :
. dy - ) (3.18)
y <*) = X
dx = tt
xfc:(t)
En divisant la relation {*R) membre membre par {x'c(t))2, on obtient :
v2
2 b(x,y) ty- + c(x,y) = 0 (3.19)
a(x y) ( ) - dx
On voit que la recherche de caractristiques (dans les cas non triviaux, i.e. a 0)
se ramne la rsolution dun problme du second ordre en
Lexistence de solutions relles dpend alors du signe du discriminant rduit
b2 - ac, qui caractrise la nature de lquation aux drives partielles.
Ainsi, dans le cas hyperbolique, il existe deux caractristiques relles, dans le cas
parabolique une caractristique relle et dans le cas elliptique deux caractristiques
complexes conjugues :
dy >Jb2 - ac
b2 - ac > 0 =-
dx a
dy b
pour a O , b - ac = 0 = = - (3.20)
dx a
Dunod. La photocopie non autorise est un dlit.
dy b >lac - b2
b - ac = 0 => = - i
dx a
Exemple 3.5
On considre lquation :
dx2 dy2
o C est une constante relle.
Cette quation est hyperbolique dans R2 tout entier.
39
www.bibliomath.com
Chapitre 3 quations aux drives partielles du second ordre
L e s c o u rb es caractristiq u es so n t le s so lu tio n s d e :
$ -
Il y a d o n c d eu x fa m ille s d e co u rb es caractristiq u es :
dy du
-T = 1 et -f = -1
dx dx
C e so n t d o n c le s d roites
y = x + C on stan te
Exemple 3.6
O n c o n sid r e l q u a tio n :
dx2 dy2
o C e st u n e co n sta n te r elle.
P our c e tte q u a tio n :
b2- a c = x2y2
C ette q u a tio n e st d o n c h y p e rb o liq u e e n d eh ors d e s a x e s d e c o o r d o n n es.
L e s co u rb es ca ractristiq u es son t le s so lu tio n s d e :
A H
Il y a d o n c d eu x fa m ille s d e co u rb es caractristiq u es :
dy _ x dy x
dx y et -dx
r =
y
ou en c o r e :
xdx = ydy
C e so n t d o n c le s co u rb es
x2 y2 = C on stan te
40
www.bibliomath.com
3.3. Rduction la forme standard
2f d2f 2f
a<x, y ) + 2 b ( x , y ) ^ + c ( . x , ) ^ =
I d f 2X d f Y2 \
y ~fd
l ld 2b(x, y) +
, J dX dY xy Y xy)
f 2X d f 2Y\ f 2X f 2Y\
Dunod. La photocopie non autorise est un dlit.
+ a(x, y) + c(x, y)
Xdx2 + Y dx2 ) X dy2 + Y dy2 J
et :
2
. d Xd X t ^
A(x, y) = a(x, y) + 2 b(x, y) + c(x, y)
dX &Y X Y X Y \ X
B(x, y) = a(x, y) + b(x, y)
dx dx dy dx + dx d y ) +CX, y dy dy
2
. dY dY , s
C(x, y) = a(x, y) + 2b(x,y) +c(x,y)
dx dy
41
www.bibliomath.com
Chapitre 3 quations aux drives partielles du second ordre
On obtient alors :
3 .3 .2 F o rm e s s ta n d a rd
quations hyperboliques
tant donne une quation hyperbolique {&h ), les caractristiques sont les solutions
de (3.20) : ______
dy_ _ b j b2 - g
dx a Va2
Aprs intgration, on obtient les courbes caractristiques sous forme implicite :
<Pi(x,y) = Ci , = 1,2
d2f
= g (!! * 1 f X ,Y (3.24)
dXdY \d X dY , J
En posant ensuite :
X = X+Y
= X -Y et KX, Y) = f(X, ) (3.25)
42
www.bibliomath.com
3.3. Rduction la forme standard
P ldL - ( i ld f x (3.26)
dP dP ~ \dP d P 1, '
Ce sont les deux formes standards d une EDP hyperbolique.
A Ol
dy_ _ __dx_
dx Q
y
on voit que le choix X = <pi(x, y) conduit annuler A{X, y).
Si besoin est, on peut galement annuler C en posant Y = <p2(x, y) (si c est nul, on
garde y = y).
Pour la suite, par drivation compose :
f_lX df_d__df_ f
dX ~ dX dX + d d X ~ dX + d
df __df _dX f d _ _ d f
dY ~ dX dY + d dY ~ dX d
Et, de mme :
d2f d \df I d df
dXdY ~ dX dY ~ dX d t d_
d X d _ l _ d f d d df
d Xd X dX d_ + d Xd d t d .
d_ d f _ d f i __ d df_d H lL
d
dX dX _ d dX d. dP dP
Dunod. La photocopie non autorise est un dlit.
quations paraboliques
tant donne une quation parabolique (fip), la caractristique est la solution
de (3.20) :
dy _ b
dx a
Aprs intgration, on obtient une courbe caractristique sous forme implicite :
<p{x, y) = C
43
www.bibliomath.com
Chapitre 3 quations aux drives partielles du second ordre
quations elliptiques
tant donne une quation elliptique (>s), les caractristiques sont les solutions
de (3.20) : ______
dy _ b . lac - b2
dx a 1 V a2
soient <p\(x, y) = Constante, et <p2(x, y) = Constante, une forme implicite des courbes
caractristiques. <pi et <f2 sont complexes conjugues.
Thorme 3.7. En posant :
( X + i Y = <pi(x,y)
etf(x,y) = f(X, Y) (3.29)
X - i Y = <p2(x,y)
(&e) s crit aussi :
X2
2L - r i f
*L+d
Y2 V'
X Y
d ld
dX Y
(3.30)
0=a
dx )\ dy (3.31)
= A C + 2iB
ce qui implique puisque A, B et C sont des fonctions relles :
A = C et B = 0 (3.32)
44
www.bibliomath.com
3.3. Rduction la forme standard
Exemple 3.7
On considre l quation suivante :
2&f , dd2f
2f 2 dq22f
_J n
* ^ 2 +2xy ^ : . + y t<fy2
dxdy t =0
dy y - = C onstante
dx x x
' Y
\ x = y-
x ou rciproquem ent X= X
J =y ,y= Y
On en dduit :
(dX y _ x2 X _ 1 X
dx x2 Y dy x 'Y
dY
= 0
. dx S -
df df_ d X dfdY _t f _dl
dx d X dx + Y dx Y dX
f ddX dfdY X df df
dy X dy + d Y dy Y dX + dY
d2f \ d f 1 dX _L \ d f ) Y
X2 d \X 2 d f 1
dx2 d X dx dx dY dx_ d x ~ Y X Y X
X 4 2f 2X? d f
Y2 d X 2 + Y2 dX
(Pf d f dX
_____ A
f Y
d y2 X dy dy Y dy dy
Dunod. La photocopie non autorise est un dlit.
X d_ x f f 1 ___
X f f
Y dX Y X dY Y Y X Y
X2 cPf_ 2 X 2f d 2f
+
Y2 dX2 ' Y d X d Y ' dY2
d2f d_ f dX I
d f Y _ X2 x f f
dxdy dX dy dx Y dy dx ~ ~Y X Y X Y
X*_ &j_ P df X 2 d2f
'2 dx2 Y2 X Y XY
45
www.bibliomath.com
Chapitre 3 quations aux drives partielles du second ordre
d2<p d2u
(3.37)
d + W 2=Ce<p(x Y) + <Pe(X Y)
o 0 e est une fonction connue de X et Y.
46
www.bibliomath.com
3.3. Rduction la forme standard
Exemple 3.8
On considre lquation
d2f d2f a /
----------- + 2 + f = 0 (6)
<9x2 dy2 dx
On identifie :
i y) = 1
v (Jtr, i/) e R2 : j b(x,y) = 0 => b2(x,y)~ a(x,y)c(x,y) = 1 > 0
t c(jc, f/) = -1
2d
l J l l J l l + f =2^l +4
d2f
dXdY + / = o
dx dx2 dy2 dX
ce qui conduit la forme'standard :
df df 2f
= 0
dx Y dXdY
On pose alors
f(X, Y) = v(X, Y)eX+^Y
47
www.bibliomath.com
Chapitre 3 quations aux drives partielles du second ordre
D o :
l = (. + <p) e^ +Y
dx \d x *7
<H = ( f y +ll(p) e*x+Y
y \dY
2f l d 2<p dtp dtp \ ,A X + fiY
X d ~ \ d X d + i i d X + X d +
Par su ite :
f df d2f f
dX dY dXdY 2
dtp dtp d2tp tA X +fiY
( + 2 y )^ - + (1 + 2 )- + 2 - + (( + n) + 2y +
dX dY dXdY H '
En choisissant :
1
^ = ~2
o n lim in e le s d r iv e s p rem i re s :
d f d f . d2f d2tp
= 2- eX+f Y = 0
dX + dY + 2 dXdY ' dXdY
c e qui co n d u it :
d2<p
= 0 <p(X, Y) = u{X) + v{Y)
dXdY
o u et v so n t d eu x fo n c tio n s arbitraires, d e c la s s e C 2.
O n a d o n c , fin a lem en t :
3 .3 .4 q u a tio n s d e d im e n s io n s u p rie u re
Dans le cas dquations aux drives partielles impliquant 3 variables (mais toujours
dordre 2), la dmarche est similaire lorsque les termes dordre deux sont de la forme :
48
www.bibliomath.com
Exercices
' A B D'
BCE
{ D E F)
Dans un domaine o toutes les valeurs propres sont du mme signe on parle de
problme elliptique.
Dans un domaine o une valeur propre est nulle et les autres de mme signe, on
parle de problme parabolique.
Dans un domaine o au moins deux valeurs propres sont de signes opposs, on
parle de problme hyperbolique.
Exercices
= 0 (6)
dx2 dy2 dx
d2
= L C ^ f - + (RC + LG) ^ + RGE i&r)
dx2 otl ot
U intrt de cette quation est d yenglober des quations plus spcifiques, puisque :
i. lorsque L = G = 0, {&T) devient :
d2E dE
dx2
Ce type d quation rgit de nombreux problmes de diffusion, et, en particulier,
la diffusion de la chaleur : c est lquation de la chaleur.
49
www.bibliomath.com
Chapitre 3 quations aux drives partielles du second ordre
(S)
dx2
50
www.bibliomath.com
Corrigs
Corrigs
On pose :
' a(x, y) =
V(jt,) R 2 : b(x, y) =0 b2(x, y) - a(x, y) c(x, y) = x4 > 0
. c(x, )y = - x 3
tau ' 2
x
soit encore :
dy
T x ~ X
Les caractristiques sont donc les paraboles dquation :
1 2
- x y = Constante
2
On pose alors :
X = \xl - y
V (x, y) e R 2 2 y
et f( X , Y) =)
Y = ^ x2 + y
2 y
Le Jacobien de cette transformation nest pas identiquement nul.
Dunod. La photocopie non autorise est un dlit.
On a alors :
df__. d x dl + dY dl + x dl
dl - x
dx dx X dx dY dX dY
df__. dX dl + dY df _ K + df
dy dy dX dy dY dX dY
2f _. J
+ dl + 2-
dx2 '" X dY [dX2 dY2 dXdY
& f = 2f 2f d2f
dy2 dX2 Y2 XY
51
www.bibliomath.com
Chapitre 3 * quations aux drives partielles du second ordre
f(x,y) = g ^ x 2 - yj + h ^ x 2 + yj
On pose :
r a(x, y) = 1
V (x, y) Re 2 : {b(x, 0 b2(x, y) - a(x, y) 0
y) = 2
Lquation donne est hyperbolique.
Les courbes caractristiques sont donnes par :
\2
0 =*
dy
= c
(1 )-^ dx
Les caractristiques sont donc les droites dquation :
= Constante
On pose alors :
V(x,y) e R 2 A y l l x + l 6t
52
www.bibliomath.com
Corrigs
2a c
(SX dI dXY 13*
On pose alors :
f{X, Y) = <p(X, Y ) e X+^
ce qui donne
eAX+vY
IH H
df (d<p )
d = [ d +p<ph
2f ( d2(p d<p , <p \ ,AX+fii
,
dXdY ~ [dXdY + P d X + d + M<P) e
Par suite :
-{ I
|2c|( r + 2 / j c ) ^ + (a + 2 ^ c ) ^ j | eX+tiY
En choisissant :
j a
Dunod. La photocopie non autorise est un dlit.
on obtient
53
www.bibliomath.com
www.bibliomath.com
D is t r ib u t io n s
4.1 M otivation
Les distributions jouent un rle fondamental pour l tude des quations aux drives
partielles. B ien plus quun outil com m ode pour traiter les discontinuits, elles
offrent un cadre nouveau d interprtation des EDP et permettent de disposer de tech
niques d analyse algbriques.
Ce chapitre a pour objectif de montrer que le cadre classique est parfois insuffisant
pour le traitement de certains problmes, et d introduire la thorie des distributions.
Considrons lquation des ondes dans R 2 :
#1 c2* (4.1)
dx2 dt2
Dans le chapitre Gnralits , nous avons vu que les solutions sont de la forme :
une solution toute fait satisfaisante d un point de vue physique. Cependant, au sens
classique, lquation aux drives partielles (4.1) suggre une rgularit C 2, proprit
qui a t utilise lors du changem ent de variables.
On voit donc que si lon se restreint au sens classique, on carte des problmes
irrguliers que lon peut rencontrer en physique. Lobjectif de la thorie des distribu
tions est de pouvoir interprter des quations com m e (4.1) dans un sens plus gnral
tel quune fonction de la forme (4.2) puisse tre considre com m e solution (au sens
faible ou au sens des distributions).
La thorie des distributions ne bouleverse heureusement pas tout ce qui fonctionne
bien classiquem ent . Les distributions peuvent apparatre com m e des fonctions
55
www.bibliomath.com
Chapitre 4 Distributions
gnralises . Elles englobent la quasi-totalit des fonctions (presque toutes les fonc
tions peuvent sinterprter comme des distributions), et la plupart des oprations dfi
nies sur les fonctions (addition, multiplication par un scalaire, multiplication par une
fonction C00, drivation, convolution) peuvent tre galement dfinies sur les distri
butions (et dans le cas o la distribution sidentifie une fonction, on retrouve les
rsultats classiques).
La thorie des distributions repose sur lvaluation de lquation dans des champs
tests . Pour cela, considrons une fonction <p s C (R2)^ valeurs dans R. Le
problme des ondes (4.1) classique conduit :
(4.3)
(4.4)
Il apparat que la fonction (u, v) h-> /( , v) = ft (u) + / 2(0) est solution, puisque par
exemple
car les drives de <f>sont galement des fonctions support compact et donc nuiles
pour \u\ suffisamment grand.
Par cette approche, on retrouve donc le rsultat classique sans faire dhypothse de
rgularit sur / .
Il ne faudrait pas croire que les distributions sont simplement une manipulation sur
les quations classiques (4.1) (on parle de formulation forte).
En effet, une expression comme (4.4) (dite formulation faible) peut trs bien tre le
rsultat de la modlisation physique dun problme. Par exemple, en mcanique des
milieux continus, le principe des puissances virtuelles pose comme axiome de base
lgalit de travaux (crits sous forme dintgrale et faisant intervenir une fonction
t. Fonction infiniment drivable support compact dans ]R2.
56
www.bibliomath.com
4.2. Espace des fonctions tests
test du type de <p) alors quune autre axiomatique pose comme quation de base une
quation aux drives partielles classique.
De manire vidente, les solutions fortes sont des solutions faibles ; les problmes
faibles sont donc plus gnraux que les problmes forts. Une dmarche dtude dune
quation aux drives partielles consiste chercher les solutions faibles et vrifier
si elles sont galement des solutions au sens fort (autrement dit si, en plus de rsoudre
le problme faible, elles ont suffisamment de rgularit pour tre drives).
La formulation faible offre un nouveau cadre dinterprtation des quations aux d
rives partielles particulirement riche, dans la mesure o elle permet lemploi dou
tils algbriques (en plus des outils danalyse classique) : dans lexpression f f<f>dA,
au lieu dtudier la fonction / , on peut aussi choisir dtudier la forme linaire Tf :
qui appartient au dual de C f, espace que lon peut munir dune topologie, et dans
lequel on peut faire de lapproximation. On prsente au chapitre 8, lusage de sous-
espaces de distributions particulirement adapts pour la recherche de solutions de
certains problmes aux frontires.
dienne du vecteur.
La topologie de lespace des distributions est assez complexe, en particulier cet
espace est non mtrisable. Lexpos qui suit est simplifi et se base sur des caractri
sations squentielles qui, dans ce cas prcis, dfinissent une topologie quivalente.
Dunod. La photocopie non autorise est un dlit.
Notation
S o it Q un ou vert d e Rd. O n d s ig n e par C(Q) o u D(Q) l e n se m b le d e s fo n c tio n s C(Q)
su p p ort1- co m p a c t valeu rs d ans R (o u C ). L a n o ta tio n D(Q) in siste sur l u tilisa tio n d e la
n o tio n d e c o n v e r g e n c e d o n n e la d fin itio n 4 .1 .
57
www.bibliomath.com
Chapitre 4 Distributions
Prouvons de plus que cet espace nest pas rduit la fonction nulle.
Soit *o O et (x
Bo r) c Q une boule contenue dans Q ; on peut construire
fonction C support gal (xo. r) '
B
e --2-l.v-.rol2 sj |x - x0| C r
fixa ,r(x ) (4.7)
0 ailleurs
titre dexemple, le trac de telles fonctions dans les cas des dimensions 1 et 2 est
donn sur les figures 4.1 et 4.2.
Notation
Lcriture des quations en dimension suprieure 1 est grandement simplifie par lutilisa
tion des multientiers pour transcrire les polynmes et les drivations partielles. Un multientier
est un lment de ; pour tout multientier a = {a\.......ac/) e Nrf, tout x ~ ( x \ , . . . , xti) e Q
et tout <\>e 2)(Q), on note :
dM<f>
m = |> ,
1=1 1=1
f K '
58
www.bibliomath.com
4.2. Espace des fonctions tests
On dit quune suite p)eni dlments de >(0) converge vers <p 'D(i
P
(<
et seulement si il existe un compact K de contenant
(autrement dit Vp, supp(^) c K), avec :
Il sagit donc dune convergence uniforme sur la fonction et toutes ses drives
partielles, sous la condition dun support commun. Cest une convergence trs stricte.
Remarque 4.1
Pour le lecteur non familier de ces concepts, il faut noter que la notion de convergence dans
?)(2) nest pas associe une norme mais une famille de semi-normes. La construction
topologique de D(i) est traite dans de nombreux ouvrages comme [17,18].
Il faut bien noter que les fonctions de D sont trs pratiques utiliser : en tant que
fonctions continues sur des compacts, elles sont bornes et appartiennent donc tous
les espaces Lp pour 1 < p<oo. Par ailleurs, bien que D puisse sembler un p
espace, des rsultats de densit montrent combien il est utile.
ifro i (jt)
Reprenons la fonction \pQ \ e 0 dfinie lquation (4.7), et posons
Jn ^o,idA
qui est donc normalise au sens de L'(i2).
On construit la famille de fonctions :
Chaque <pe est donc une fonction de D, normalise au sens de L'(O), dont le support
est la boule de centre 0 et de rayon e (voir figure 4.3). On peut facilement peupler D
grce un procd de convolution (voir annexe C.7) : pour tout u Ljoc(Q) et tout
Dunod. La photocopie non autorise est un dlit.
compact K de O , on pose : ue = <ps * u\k , o s est choisi suffisamment petit pour que
supp(w) c O ; ainsi, u e D(Q).
Un exemple important est donn la figure 4.4 puisquon y ralise une rgularisa
tion de la fonction indicatrice du segment [-1 ,1 ]. On observe que ipe *^[-1,1] a Pour
support [-(1 + e), 1 + e] et quelle vaut 1 sur [-(1 - e), 1 - e] (pour e < 1).
Une application est quil est possible pour O ouvert de R.d et K compact de O, de
construire une voisinage compact K de K dans Q.
59
www.bibliomath.com
Chapitre 4 Distributions
(/ - / * /(*) f f ( x - y
J r cI
J ^ ( / W - f(x - (4.10)
I
JB(e)
(f(x) f ( x y))</>e(
On appelle distribution sur fi toute forme linaire T continue sur D(O), on note :
T ! (j) G !D(i2) h T((p) = {T, (p) G IR
Les crochets sont en effet une notation classique en dualit.
60
www.bibliomath.com
4.3. Espace des distributions
Remarque 4.3
i. La linarit signifie que pour (, ) e D(Q)2 et a R :
(T, + ) = (T, ) + a(T , )
ii. La continuit (squentielle) signifie que pour toute suite (4>p)pen convergeant vers
>(Q) :
(T ,tp)-> (T ,t)
iii. La linarit implique que la continuit en 0 est quivalente la continuit dans tout )(2).
Notation
On dsigne par D'(i) lensemble des distributions sur D{i).
Dmonstration. Une forme linaire qui vrifie lquation (4.12) est clairement conti
nue sur D, cest donc une distribution.
Rciproquement, il faut prouver quune forme linaire T continue sur > vri
fie (4.12). On raisonne par labsurbe : on suppose quil existe un compact K de 2
tel que pour tout entier m et toute constante C > 0, il existe une fonction <pniic de D
support dans K telle que
Dunod. La photocopie non autorise est un dlit.
\(T,<t>m,c)\>cYJ I I ^ W I I l- (4.13)
61
www.bibliomath.com
Chapitre 4 Distributions
Contrairement D(Q), on munit D'(Q) dune topologie trs faible (de manire
ce quil soit facile de converger dans )').
D finition 4.3
P roposition 4.5. Si (TpipeN est une suite de distributions et si, pour tout <pde D(Q),
(Tp, d>
) converge dans R, alors i> lim ( T ) est une
r >+oo y
/?
compltude squentielle de D').
Dmonstration.
On a |/0 | < |/| ||0||l" et f est intgrable sur le compact K = supp(0) donc
MX l/l7dj ||0||lc()
ce qui, cumul lvidente linarit, prouve que T f est une distribution dordre 0 (pas
de drivation dans la majoration).
62
www.bibliomath.com
4.3. Espace des distributions
Remarque 4 A
Une consquence de ce thorme est la confusion frquente entre une fonction / et sa distri
bution associe Tf.
Il nen reste pas moins quil est incorrect de parler de la valeur dune distribution en un
point : une distribution na de valeur quapplique une fonction test. Mme dans les cas o
la distribution peut tre associe une fonction, lassociation na de sens que presque partout.
Exemple 4.1
i. La distribution de Diracf e )'(1R) est une distribution qui nest pas associable une
fonction : (, (/>) = 0(0). Par ailleurs, |0(O)| < | | 0 | | e t donc la distribution de Dirac
est dordre 0.
ii. La distribution de Dirac en ;co : XQ D'(Q) \ <f>e D i-> (XQ, 0) = 0(*o).
iii. La distribution de Heaviside* sur D(R) :
0 g D h (H, 0) = fR+(pd provient bien dune fonction L]oc (en loccurrence lin
dicatrice ^(o.+oof). Sinterroger sur la valeur dHeaviside en 0 ne correspond rien,
lidentification se fait au sens de Ljoc, et {0} est un ensemble de mesure nulle.
Remarque 4.5
T est relle si et seulement si T - T.
f. Paul Adrien Maurice Dirac (1902-1984), physicien et mathmaticien britannique, considr comme
un des pres de la mcanique quantique. Il reut, conjointement avec Erwin Schrdinger, le prix
Nobel de physique en 1933.
$. Oliver Heaviside (1850-1925), physicien britannique, a bien sr introduit la fonction de Heaviside
(aussi appele chelon unit ou marche), utilise communment dans ltude de systmes en automa
tique, mais galement reformul et simplifi les quations de Maxwell.
63
www.bibliomath.com
Chapitre 4 Distributions
D finition 4.5
D finition 4.6
vaut 0 en 0 mais (6',<p) = -1 . La subtilit est que 0 supp(0) ({0} est dans ladh
rence des points o <pnest pas nulle).
Proposition 4.8. Les distributions support compact sont toutes d ordre fini.
\(T,tp)\<c 2 \\da(m\u
64
www.bibliomath.com
4.3. Espace des distributions
On crit alors {T, <p) = {T,<p- ijfn<p) + (T, t//n<f>) o le terme de gauche est nul, car la
fonction est nulle sur K\ qui contient strictement supp(T) ; pour le terme de droite,
on utilise le fait que la distribution est dordre fini, et on dveloppe les drives avec
la formule de Leibniz :
|<r, 0>| < A ^ IIW ,m)(0Hl
a<p
Ounod. La photocopie non autorise est un dlit.
P
Z-i nP+i-fi n
a<p {Ka
La majoration tant valable pour tous les n suffisamment grands, on obtient le
rsultat.
65
www.bibliomath.com
Chapitre 4 Distributions
dT
(4.20)
dxj dxj
P ro p o sitio n 4.10. (7^) j,j est une suite de D'(L ) convergeant vers T alors :
dT_
(4.22)
dxj dxj
Exemple 4.2
On a H' =.
En effet : soit <pe >(R). Alors :
(H,<P) = -(H, p ) = -f (4.23) = - [0]o+ =
J R+
/ e C'(R) =
66
www.bibliomath.com
4.4. Drivation dune distribution
(Tf y = Tf + im *o)xo
En effet, soit 0 e >(R), on spare R en des domaines o les fonctions sont suffisamment
rgulires pour une intgration par parties :
<(77)',0> = -<77,0'>
(4.24)
Dunod. La photocopie non autorise est un dlit.
= (Tf + Uso)Xa,<p)
Exemple 4.5
Considrons le milieu bidimensionnel de R2 constitu de deux domaines homognes
R x R+ et R x R , et tudions lquation de conservation de la chaleur donne au sens
des distributions :
div(g) = s (4.25)
67
www.bibliomath.com
Chapitre 4 Distributions
= ( div(q)(pd
J R2
= I div(q)<pd + I div(q)(pd
J rxr- J/RxR+
rx
On a spar le domaine dintgration de manire intgrer par parties sur des sous-
domaines o q tait suffisamment rgulier.
Si on choisit une fonction (p support dans R x R" ou (exclusif) dans R x R+, on retrouve
lquation div(#) = s au sens classique.
Par contre, sur la ligne de discontinuit, on obtient :
I[q,jl(y = 0) = o
ce qui signifie que le saut de flux normal de chaleur doit tre nul (rsultat classique en
physique).
crire une loi de conservation au sens des distributions permet donc la prise en compte
des cas continus et discontinus.
supp(T ) c supp(T)
Dmonstration. Soit </> 0(i2) tel que supp(0) n supp(r) = 0 (donc (T, (p) = 0).
Alors : (daT, <p) = ( - l ) ^ ( r , da<f>) = 0, puisque supp(d'V) c supp(0).
Par suite : supp(0)fisupp(5Q'T) = 0. Le complmentaire de supp(T) est donc inclus
dans le complmentaire de supp(<9T).
4.5 O prations
4.5.1 P ro d u it p a r u n e fo n c tio n in fin im e n t d riv a b le
Sil nest malheureusement pas possible de dfinir le produit de deux distributions,
on peut nanmoins dfinir le produit dune distribution par une fonction infiniment
drivable.
68
www.bibliomath.com
4.5. Oprations
Dfinition 4.8
V0 g > ( ) : =
Remarque 4.6
Comme if/cp g ) ( 2 ) , lexpression a bien un sens. Par ailleurs, il faut vrifier que \j/T est bien
une distribution. La linarit est vidente.
Pour la continuit : soit (^p) N -> 0 dans )(2), on a (if/T, <pp) = (T, if/cpp), il suffit de
montrer que (^<Pp)pe 0 dans D(Q).
Soit K le support compact commun des (pp, if/ tant continue elle atteint son sup sur K et :
II0P ^ II l ~ (/O < \\</>p \\ l c ( K ) \ M \ l *>(K) 0
et concernant une drive premire (les suivantes sen dduisent), en omettant lindice L(K)
sur les normes pour raccourcir lexpression :
9{<ppip) d<Pp . d<PP d\p
m\ + i M 0
dxj ^ + 4l,d7J dx j dxj
La convergence au sens de (Q) de la suite
D n permet de conclure.
On a alors :
(pT, <t>p) - (T, ip<pp- (T, 0> = 0
4 .5 .2 T ra n s la tio n e t s y m trie
Notation
Dunod. La photocopie non autorise est un dlit.
Pour tout h de O, et tout <pde )(2), on dsigne par 4>i, la translate de <p
</>i, : x e ,h <pi,(x) =
h + - h) (4.27)
Dfinition 4.9
69
www.bibliomath.com
Chapitre 4 Distributions
Notation
Pour toute fonction / dfinie sur Cl(ouvert suppos symtrique par rap
par / la symtrise de / , dfinie pour tout xde
m = /(-* ) (4.29)
D finition 4.10
Remarque 4 .7
(0/0 = ($)-/!
Remarque 4.8
Ces formules sont lanalogue des formules de changements de variables dans une intgration :
si u est un C1 difformorphisme de Cl dans Q, pour x g on pose x = u~l(x) et pour
/ g L)oc() on dfinit / = / o u g L\oc(Cl), pour 0 g D(Q) ona0 = 0 o u e !D() et
dAx
o on reconnat notamment lintervention de la valeur absolue du jacobien du changement
de variables. De mme, pour un changement de variables dont le jacobien est C, on peut
associer T g D \Q ) la distribution f g D'(C ) telle que :
4 .5 .3 C o n v o lu tio n
D finition 4.11 C o n vo lu tio n d une d istrib u tio n et d une fonction
P ro p o sitio n 4.13.
. d(T * ) dT d(b
* 0 = T * et T * (f) G (fi).
dxj dxj OXj
ii. supp(r * 0) c supp(T) + supp(0).
70
www.bibliomath.com
4.5. Oprations
Pour lautre galit, il suffit de remarquer que <px = - </>x , donc, pour faire
porter la drive sur la distribution il faut changer le signe une fois de plus et
f \ x ) = T'*<t>.
Les autres proprits se dmontrent sans difficult.
Dfinition 4.12 Convolution de deux d istrib u tio n s
Soit T et S deux distributions dont au moins une est support compact, on dfinit
la convolution de T et S comme tant la seule distribution vrifiant :
Dunod. La photocopie non autorise est un dlit.
Remarque 4.9
Cette dfinition donne bien une unique distribution grce linjectivit de la convolution
entre une distribution et une fonction.
71
www.bibliomath.com
Chapitre 4 Distributions
.. d( T*S) dT dS
h- -------= *S = T * .
uXj uXj uXj
Ui. supp(r * S) c supp(T) + supp(S).
iv. T * (S * U) = ( r * S) * / = T * (5 * /).
VT 6 >'(R) : T * = T (4.33)
Remarque 4 . 10
Ce rsultat (cas particulier de la translation, prouv plus bas) coupl la proprit 4.5, montre
que lapproximation de lidentit <pe (4.9) converge (au sens des distributions) vers la distri
bution de Dirac.
Daprs la proposition 4.13, pour une distribution 7\ T * (> e 8(R).
Ainsi, toute distribution est alors la limite dune suite de fonctions de f(R), ce rsultat stend
mme >(R) en utilisant un procd de troncature.
Au final, on obtient la densit de D(R) dans >'(R).
Remarque 4.7 7
On peut tendre la dfinition de la convolution des cas o aucune distribution nest support
compact : il faut pour cela que les distributions aient des supports convolutifs : tant donn
(U, V) e '(JR/7)2, on dit que U et V sont supports convolutifs si, lorsque x e supp(U) et
y e supp(V) sont tels que (x + y) parcourt un ensemble born de R^, alors, x et y parcourent
tous les deux des ensembles borns.
Un cas dapplication classique concerne les fonctions et distributions causales (dfinies
sur R et support dans R+), que lon note D+(R) et >+(R).
Toutes les proprits prcdentes restent vraies pour des distributions supports convolutifs.
Remarque 4.12
On peut dfinir les deux algbres de convolution (/(R/7) +, *,.) et (i)+(R), +, *,.).
D m onstration .
Translation d'une fonction i// : V0 G )(R) :
72
www.bibliomath.com
4.6. Distributions tempres
=( T ,( <t>x
) -h)=
Dfinition 4.13
S ( R d) = \ u e C ( R d) / V k e t l ,
(
sup
xeRd, |or|<*,
|/
J
l (4.35)
Remarque 4.13
En pratique, il sagit le plus souvent de fonctions avec une exponentielle ngative en facteur,
typiquement x e ~ M.
Bien sr, les fonctions de S sont bornes et ont toutes leurs puissances intgrables (S c Lp
pour 1 < p<oo).
Remarque 4.14
S est un espace vectoriel stable par drivation et par multiplication par une fonction polyno
Dunod. La photocopie non autorise est un dlit.
miale.
Dfinition 4.14
On parle de convergence dans vS(R^) pour des suites de fonctions dont toutes les
drives pondres par nimporte quel polynme convergent uniformment :
une suite tend vers (p dans S si et seulement si, pour tous multientiers
a = ( a i ,..., a d),/3 = i(f, . . . , 5d)d e :
\\xaA<PP
r
-<P) \->+co
11 I)
0 (4.36)
73
www.bibliomath.com
Chapitre 4 Distributions
D finition 4.1 5
P ro p o sitio n 4.1 8. Les fonctions L ^fR ^) croissance modre (majores par une
fonction polynomiale), s'identifient des distributions tempres.
Dmonstration. Pour / croissance modre, il existe C et iV > 0 tels que pour tout
x de ( R d) :
)< C( 1 + \ x \ f
\f(x
Pour f Rd) :
IljRrf
f f<
pdA
<<CC I
JR
'R ''
(l + \ x \ f \f\dA
Exemple 4.6
74
www.bibliomath.com
Exercices
75
www.bibliomath.com
Chapitre 4 Distributions
et M() = )=0
76
www.bibliomath.com
Corrigs
Corrigs
On commence par chercher quelle condition une fonction de D(R) peut tre
la drive dune fonction de D(R).
Autrement dit, quelle condition, pour une fonction 6 )(R) donne, existe-
t-il une fonction (p e D (R) telle que ip?
Comme les fonctions sont support compact, elles sont nulles pour des e R
suffisamment grands (en valeur absolue). On peut crire )= et la
condition est quil faut que L tpdA = 0 pour que <psoit la drive dune fonction
de R ) .
Le problme se reformule donc en chercher les distributions qui sont nulles sur
les fonctions de 2) dont la moyenne est nulle :
(T,ip) = (S
77
www.bibliomath.com
Chapitre 4 Distributions
Par suite :
( T , 0 ) = (T,t//) + (T,
( T , 0 ) = (S, f t
oo
CX '/
Or, comme (p'(x)= J0 <p (t) dt, on dduit :
= - 2 lim fI </p>1'(x)
(x)]\n(x)dx + 2 lim U ' ( a ) ln(x)f
78
www.bibliomath.com
Corrigs
On utilise la parit de 0 l'pour intgrer sur {|x| > e) D (]e, k] U [-jfc, -e[
(Vp\,<f>) = - lim f ln 0
c-o+ J w>0
f 1- Soit a C(R, R) et e
T >'(R).
(a) Voir le cours, section 4.5.1.
(b)
((aT)',<p) = - ( a T , 0') = a(p') = - ( T , (or0)' - a'<p)
= - ( T , (a<p)') a '<!>) = \ a<p) +
{aT)' = a '{x)T + a{x)T'
2. On cherche rsoudre lquation xT -0 dans D '(R ).
(a) Soit 0 )(R) tel que <(0) = 0, on veut montrer que 3 e 0 (R ) tel que
0 - Xip.
On a
Sous cette forme il apparat clairement que tp est bien C et support com
pact supp($) c supp 0 donc <p e )(R).
Par suite :
Dunod. La photocopie non autorise est un dlit.
79
www.bibliomath.com
Chapitre 4 Distributions
0W = E -, * {x)
xi+ \r(x)
a<ip
o r 0 ( R ) est nulle en 0 ainsi que ses p prem ires drives. D aprs la pro
position 4.9 on sait que (T, r) =0 et donc
<7\0> = E < r ^0
)
a^p
= V (-1 ,M
f(T- x)){(a\<p)
a^p
a\
En posant ca = ( -1 )a(0T
, 0 0 ) on obtient T - =0 ca6(a).
80
www.bibliomath.com
Corrigs
5/3
On a :
T 4/3
dM 0 0
+T=0 1
dx
-1/:
M = - F i H,Oc - C) - F2H2e(x - 2) - Ax + B
M(0) = M(3) = 0 -1
8 = 0 ,^ = - ^ ^ Figure 4.5- E f f o r t e t m o m e n t l e
lo n g d e la p o u t r e
Dunod. La photocopie non autorise est un dlit.
81
www.bibliomath.com
www.bibliomath.com
T r a n s f o r m a t io n s f
INTGRALES
Ce chapitre a pour objectif de prsenter des techniques de calculs qui consistent
transformer la fonction inconnue f d une EDP en une nouvelle fonction F via une
association de la forme :
f F :X h fQ K(X, x )f(x )d x (5.1)
o K(X, x) est appel noyau de la transformation.
Un des intrts de ce type de transformation peut tre de diagonaliser un oprateur
diffrentiel (le laplacien pour la transforme de Fourier, la drivation en temps pour
la transforme de Laplace) et de remplacer des oprations diffrentielles par des
oprations algbriques (produits par des polynmes).
Le lecteur pourra trouver plus de prcisions dans [6] et des rsultats plus pousss
dans [1].
T : -> L fl C
(5.4)
U h->
83
www.bibliomath.com
Chapitre 5 Transformations intgrales
\ m \ < 1 II d v > 0
N I IIdxk L\ N-H+oo
f 'C >
fRrl (co)e+iwxdAOJ (5.6)
84
www.bibliomath.com
5.1. Transformation de Fourier
f f u(x)e
> IX>dAxv((o)dA,w = f f v(co)e ,X>dAU)u(x)dAx
JRd J R* JR d JR d
= f udA
JR*
MT(u )
= (-i)MT (xau) (5.10)
d(oa
Proposition 5.6. Transforme de Fourier d une drive
> , 'du ,
Si u Cl fl U et - G Ll, alors :
dxj
du
(Oj e L et uo u = - (5.11)
dxi
85
www.bibliomath.com
Chapitre 5 Transformations intgrales
7T= f = [u{x)e-'}X
^ l - f u(x)(-ijj )e~ix'0JdXx
OXj J Rrf Xj 1 iX j^ -c o j Rrl
Pour conclure, il faut montrer que le terme entre crochets est nul, on va donc montrer
que u(x) 0.
Xj~> oo
u tant C 1 :
CXj du
u(x) u(xi , . . . f 0, . . . , X(i) + I (-^ i yjj >Xd)dyj
J o ayj
du
Comme - L1, sa limite quand xj > +oo existe.
dxj
u admet donc une limite en oo, et, comme u e L1, cette limite doit tre nulle.
du
Par suite, u -> 0, le terme entre crochets est nul et donc : - = iojj(oj) m
*,>00 dX j
f*~g = f 9 (5.14)
86
www.bibliomath.com
5.1. Transformation de Fourier
= f e~"JW f e~'Z>f(z)dAzg(y)dAy = fg
JW JW
Notation
C om m e S(Rd) est un sou s-esp ace de L^IR^) on peut appliquer le produit scalaire L2 (not
(, -)Li) des fonctions de S :
f. Marc-Antoine Parseval des Chnes (1755-1836), mathmaticien franais. Il a apport des contribu
tions ltude des quations diffrentielles linaires, lintgration, et, bien sr, aux sries de Fourier.
$. Michel Plancherel (1885-1967), mathmaticien suisse, spcialiste danalyse harmonique, de physique
mathmatique, mais aussi algbriste.
87
www.bibliomath.com
Chapitre 5 Transformations intgrales
et :
= <5 I 7 >
Dmonstration. On utilise la proposition 5.3, avec g = h (que lon peut trouver grce
lautomorphisme), qui conduit, grce au thorme 5.8 et la proposition 5.2, :
* 5 7 *
On a alors :
Remarque 5.2
L a fo rm u le p r c d en te m on tre q u e la tran sform ation d e F ourier e s t c o n tin u e d e S(Rd) d an s
lu iv m m e q u an d o n m u n it l e s p a c e d e la to p o lo g ie in d u ite par c e lle d e L2( R rf). C e st m m e
1
une isomtrie (au facteu r p rs).
(2 nfl1
Remarque 5.3
Il est p o s s ib le d u tiliser u n e dfinition alternative d e la tran sform e d e Fourier, afin d o b ten ir
u n e iso m tr ie (sa n s facteu r correcteu r), et p ou r la q u e lle la fo rm u le d in v er sio n est sy m triq u e
CF'1 = f ) :
^ a lte rn a tive \ _ I
u{x)e~2ml0Xdx ( 5 .1 8 )
jRd
o u b ien :
<jra lte r n a tiv e ly ^ _ 1
f u(x)e-i(0Xdx ( 5 .1 9 )
(In)*2
T o u tefo is, c e s d fin itio n s m o d ifie n t le s rsu ltats ex ista n ts (ty p iq u e m e n t, un fa cteu r apparat
d an s la tra n sfo rm e d un p rod uit d e c o n v o lu tio n ).
5 .1 .3 T r a n s fo rm e d e F o u rie r-P la n c h e re l
La densit de SRd) dans L2(R.d) et la continuit de T et T~i sur S(Rd) permettent
de prolonger T et sur
<S(Rrf) tant inclus dans L*(R^), la dfinition de la transforme de Fourier est
encore valide. Mais, comme L2(Rd) n estpas strictement inclus dans L1(Rd), il existe
des fonctions de L2(Rd) pour lesquelles la formule (5.2) na pas de sens.
Typiquement, x h z------ est dans L2(R) mais pas dans (R).
88
www.bibliomath.com
5.1. Transformation de Fourier
Si f est absolument intgrable, on retrouve alors une expression qui ressemble beau
coup une intgrale de Riemann. Par abus, on s'autorise frquemment utiliser la
notation (5.2).
Notation
Pour S e S'(Rd) et 0 5(Rrf), on pose :
Remarque SA
Naturellement, si S sidentifie une fonction / , alors : S = /.
2 ii.
i da>k
89
www.bibliomath.com
Chapitre 5 Transformations intgrales
Exemple 5.7
i. T() = T() = 1 : la transforme de Fourier transforme llment neutre de la convo
lution en llment neutre de la multiplication.
ii. Dans R (i.e. en dimension 1), posons : T(\) = S. Alors :
r = T( 0) = 0 = i # ( l )
Remarque 5 .5
Le calcul de la transforme de Fourier dune convolution de distributions peut poser quelques
difficults (on nest pas assur que la convolution de deux distributions tempres existe, il
faut un support convolutif). Quand tout est bien dfini, la transforme de Fourier transforme
le produit de convolution en multiplication et la multiplication en produit de convolution.
5.2 T r a n s f o r m a t io n de La pla c e
Le problme majeur de la transformation de Fourier est qu elle nefonctionne simple
ment que dans S (ou S f). Si la dpendance en espace conduit souvent des fonctions
dans Sf ce n'est pas le cas du temps o on rencontre frquemment des phnomnes
croissance exponentielle.
L'ide est alors de multiplier la fonction tudier par une exponentielle dcrois
sante en temps, de manire ramener le problme dans S et pouvoir y appliquer la
transforme de Fourier
Si la transforme de Fourier fonctionne bien sur des grandeurs vectorielles (donc
dans un espace n dimensions)y la transforme de Laplace s'applique principale
ment des fonctions d'une variable'scalaire (le temps).
D'autre part, la transforme de Laplace s'applique des problmes dont l'tat est
connu pour t < 0 (c'est l'hypothse de causalit).
t. Lutilisation dune des dfinitions alternatives de la transforme de Fourier symtrique donnerait 1
au lieu de 2n.
90
www.bibliomath.com
5.2. Transformation de Laplace
Proposition 5.15.
i. It est un convexe de R (un intervalle) qui peut tre vide.
ii. Si T G >+(R), It est soit vide, soit de la forme [o> +[ ou ]fo>+[ avec
f t e R u {-oo}.
Dmonstration.
i. Soit (i, 2) /^. Il faut montrer que, pour 9 e]0 , 1 [ :
= 0 i + ( l - 0) f t e / r
~&
Posons : fi(t) = 7- -----7-.
H est infiniment drivable, valeurs dans [0, 1] et variations lentes.
/7(0 = 4 > ( t ) e ~ {^ t
o est une fonction C support limit gauche, qui vaut 1 sur un voisinage
de supp(r).
Remarque 5.6
i. Si T e f'(R), alors h = R.
ii. Si T g <S'(R), alors 0 e /7 .
91
www.bibliomath.com
Chapitre 5 Transformations intgrales
Exemple 5 .2
Dfinition 5.2
W + ip) = T(e^')in) rm = 1 (5 -2 4 )
Dfinition 5.3
P ro p o sitio n 5.1 7.
i. Injectivit : (T \) = X fT f) sur / 7-, n If2implique
dk
ii. Drivation : si T \R), alors r,{T) = { - \) k {tkT)
D
/ink
Dmonstration.
i. Linjectivit de la transforme de Laplace est une consquence de celle de la trans
forme de Fourier sur les distributions tempres.
ii. La drivation est prendre au sens de C (on utilise cet effet le changement de
variable (f, rj) > {p, p), qui conduit = -(c% - idfj). Le calcul utilise la
drivation sous le signe intgral et les formules de la drive dune transforme
de Fourier.
f. Lholomorphie est une extension de la notion de drivabilit aux fonctions de la variable complexe.
Cette condition est beaucoup plus forte que la drivabilit dans R, puisquune fonction holomorphe sur
un ouvert de C est e,i.e. indfiniment drivable et gale au voisinage de tout point de louvert
lytiqu
an
la somme de sa srie de Taylor.
92
www.bibliomath.com
5.2. Transformation de Laplace
Remarque 5 .7
D a n s le ca s d e fo n c tio n s, par e x e m p le , / e Ljoc(R ) et f(t < 0 ) = 0 , on p eu t interprter la
pp
tran sform e d e L a p la c e c o m m e le p r o lo n g e m e n t a n a ly tiq u e d e la tran sform e d e F ourier d e
/ (d fin ie sur l a x e im a g in a ire) au d em i-p la n > 0.
La b sc is se d e x iste n c e o est alors d fin ie c o m m e la b orn e in frieu re d e l e n se m b le d es
rendant e~&f(t) cr o issa n c e le n te (i.e . b o rn e par un p o ly n m e ) (c e qui revien t dire q u e
O n a alors :
(f)(p) = f f(t)e~pidt (5 .2 5 )
JlR+
5.2.2 P ro p ri t s
Dans ce qui suit, T e i)'(R ) dsigne une distribution. On se place sur /7 suppos
non vide.
soit :
(/') = p ( / )- / (0 ) (5.29)
www.bibliomath.com
Chapitre 5 Transformations intgrales
Dmonstration. .
, ,, , ..tiiicant la translation dans Fourier,
On a e-i'Th = e-th{e-&T)h et donc en utilisant
(Th)(p) = e^ hr((e-^ T )h)(v) = e ^ ' ^ T (e^ T M
, 1 T 1 J u n nroduit de convolution
Thorme 5.20. Transforme de Laplace d un proau
i. Soit T >'(R) et S e '(R). Alors :
(5.30)
l j c It*s
e~?T * e-#S = e * \T * S)
La notation est prendre avec prcaution puisque e~pt nest pas dans )(R), il faut
comprendre
(T, e-P<) = (e-^T, e-(P-^iff) (5.35)
oui//e >+(R) est gale 1 sur un voisinage de supp(T), et \ rend le terme de gauche
dans S' (R) et celui de droite dans S(R), le crochet est celui de la dualit entre S'
et S.
94
www.bibliomath.com
5.2. Transformation de Laplace
et que lon est dans les hypothses du thorme de Lebesgue pour permuter limite et
intgrale, alors :
i. pour p >0, on a :
r*+00 r*+00
Dmonstration. On pose :
lim fit)
t >+oo
f. Remarquons que pour que la fonction ait une limite en +oo, 0 doit ncessairement appartenir
lintervalle dexistence et il faut que les ples de la transforme de Laplace soient tous strictement
ngatifs ou ventuellement de partie relle nulle mais non conjugus.
95
www.bibliomath.com
Chapitre 5 Transformations intgrales
Comme f0 pe p,dt = 1, on a :
+00 I r*+oo
p p ) 1=
K Jo
1
p e ~ pt f ( t ) d t \ = 1 I
1
p+oo
Jo
{ ( - f ( t ) ) p e ~ p t dt\
Va
< \
jo
l i - f ( t ) \ p e ~ pt d t + J
Ja
\ ( - f ( t ) \ p e ~ p l dt
pA p + oo
< 211/llco J pe~ptd t + - J p e ~ p , dt
< 2 | | / | U ( l - _pA) + |
A tant fix :
\{-p (f)(p ) +! =e
Exemple 5.4
L e th o r m e p erm et d affirm er q u e la fo n c tio n d on t la tran sform e vau t ------ a p ou r
p(p + 2 )
valeu r fin ale
2
Par co n tre, il n e s a p p liq u e p as la fo n c tio n d o n t la tran sform e vau t ------- , p u isq u e
P\P ~~2 )
le p le en p = 2 im p liq u e q u e la fo n c tio n ten d vers l in fini en t -> +oo (m m e si la lim ite
en 0 d e la tran sform e m u ltip li e par p e x iste ).
5.2 .3 In v e rs io n
La question que Von se pose ici est, connaissant une fonction holomorphe dans une
bande de C, quelle condition est-elle la transforme de Laplace d }une fonction
(conditions de comportement Vinfini) ? Les formules pratiques de transforme in
verse font appel des proprits des fonctions complexes de la variable complexe
non abordes ici. En pratique, pour inverser une transforme de Laplace, on identi
fie des fonctions connues (en gnral des fractions rationnelles rduites en lments
simples).
96
www.bibliomath.com
5.2. Transformation de Laplace
Dfinition 5.4
T horm e 5.24. Dans ce qui suit, G dsigne une fonction holomorphe que Von
tudie sur son domaine dholomorphie (bande parallle Vaxe imaginaire).
Qe- Re(/?)r
/. 5/, pwr tout p du domaine d holomorphie de G : \G(p)\ < -------- , alors,
\p\2
l original g est continu et support dans [ o r , + o o [ .
ii. Sil existe une fonction polynomiale (fpoi de la variable p telle que, pour tout p
du domaine d holomorphie de G :
Qn e\Re(p)|r
\G(p)\ <
(1 + \p\r
(p)< C(1 +
\G
T horm e 5.25. Pour une fonction f continue, causale, a support compact, telle
que :
t (f){ico) L l(R )e tT (f ) 6 L 1(IR)
OJ
97
www.bibliomath.com
Chapitre 5 Transformations intgrales
<5'40>
hq kQ
Vz e C : Q(z) = f[(z - z = f ] (z " Zi^ (5.41)
/=1 1=1
_^G_ _*i_ r
c '7 (5.42)
/=1 7=1
(Z ~ ZiV
kQ lQ
V a: g R : Q(x) = ] ~ [ ] [( a - x)ttl ( a3 x2 + b j x + c j f j (5 .4 3 )
/=1 7=1
kQ ^ lQ Pi
Djj x + Ej
(5.44)
/=1 7=1
Xi)J + (x2 + bix + c)i
98
www.bibliomath.com
Exercices
5 .2 .4 F o rm u la ire
fit) if )ip )
m ;
tH(t) jt P >0
V
S
0
0
fit
S > >
Exercices
_
2. On considre la fonction ipdfinie sur R par <p(x) = e 2 .
Montrer que (p appartient <S(R) et que f R <p(x)dx =
3. Montrer que <p vrifie une quation diffrentielle linaire du premier ordre. En
dduire que sa transforme de Fourier (p vrifie une quation diffrentielle
prciser, puis que Cpest gale yfUtp.
4. Soit la suite (y^neiN* dfinie par :
99
www.bibliomath.com
Chapitre 5 Transformations intgrales
In(a) =
JR
f
f(A)<pn(A)e'adA, et Jn(a) =
Jr
f(a +
M A) = )
et en dduire que Jn(a) = fR
f (a +f )<()
En appliquant le thorme de Lebesgue C.6, montrer alors que :
lim Jn = 2 n f(a )
U>+00
6. Montrer par utilisation du thorme de Lebesgue que :
lim i m = cr f m
n *+oo
En dduire la formule de rciprocit sur <S(R) de la transforme de Fourier.
100
www.bibliomath.com
Exercices
On suppose que f T e L2([0 ,T]), et on dsigne par Z^.(R) lensemble des fonctions
T-priodiques dont la restriction une priode est de carr intgrable.
On rappelle lexpression des coefficients de Fourier exponentiels de / :
p 1 I r/'. 2 in n \ 1 \ 1 >5 lin n x
Jn = = f(x)e T dx et S f - ) f ne t
Vt J[o,rj Vf ^
1. Rsultats prliminaires
(a) Montrer que L2([0, T]) c L'([0, T]).
(b) Montrer que est une famille orthonormale de fonctions de
V / n e Z
L |(R ), puis la relier un problme de Sturm-Liouville* et en dduire
quelle constitue une base hilbertienne de L|(R ).
(c) Montrer quune fonction priodique non nulle et borne / ne peut pas ap
partenir L'(R), L2(R) ni tS(R), mais, par contre, quelle peut tre inter
prte comme une distribution tempre ( / e S' (R)).
(d) Montrer que Tia) est la distribution associe x i- e~mx et que :
T(eiaJ) = 2 na
Dunod. La photocopie non autorise est un dlit.
n ir = 5 ] <5r
neZ
(a) Montrer que III7 est une distribution tempre.
101
www.bibliomath.com
Chapitre 5 Transformations intgrales
z
(b) Soit <p e <S(R). On pose : P^ix) = f(x + nT).
n
Montrer que P C(R) et que est T-priodique.
(c) Dduire du dveloppement en srie de Fourier de P(x) que :
f = fr * in T
3. Application : dterminer la figure de diffraction if/ dun rseau unidimensionnel
de fentes rectangulaires.
On rappelle :
(5.46)
f. Werner Karl Heisenberg (1901-1976), physicien allemand. Il fut lun des fondateurs de la mcanique
quantique, ce qui lui valut, en 1932, le prix Nobel de physique.
102
www.bibliomath.com
Exercices
_
e 2
t h-* f(f)
V2?r
(m = -k y + -
1 mx = - k x + - x) + f
Dunod. La photocopie non autorise est un dlit.
o x et y sont les fonctions inconnues du temps ( > 0), avec les conditions :
La fonction / , qui dpend du temps t, est suppose connue, tout comme le rel a et
les constantes positives m, k, y.
Utiliser la transforme de Laplace pour rsoudre le systme diffrentiel.
On prendra y = Vmfc et /(i) = (t) et
oH
F
m on posera ^ = co^.
103
www.bibliomath.com
Chapitre 5 Transformations intgrales
fi x , 0) = ^ ( x , 0) = 0
dx
' / ( 0 , t) = v(t)H(t), v fonction donne
lim f(x , r) = 0 V/ e R +
(x,0 e [0,
V L]x R +, - ~ c2 =
o c>0 est la clrit, suppose constante.
On commence par deux questions prliminaires :
1. Soit / une fonction causale et pour a 0>, la fonctio
pour t > aet 0 pour t < a.Exprimer la transforme de Lap
de celle de / .
2 . Soit / une fonction causale priodique sur R +, de priode 0. On dfinit la
fonction causale f (extraction de la premire priode) :
0 pour t <0
fit) = fit) pour [0, T]
0 nour >
Montrer que :
-et m = </>
On revient au problme de la barre.
On considre les conditions initiales et limites suivantes
fix , 0) = 0 ' / ( 0,/) = 0
Vx eR+, l d f ; W e R +,
(x, 0) = 0 -df i L , t ) = mH(t)
dt dx
104
www.bibliomath.com
Exercices
105
www.bibliomath.com
Chapitre 5 Transformations intgrales
Corrigs
Par suite :
l/K \ f {n)it)\dt
<p(k\ x ) = P ( j c ) e T
o P est un polynme de degr k. Par consquent :
9 2
|x"!^ )(x )| ~ e(m+k)lnW-T ^ e(i+*)(W-i)-^- > 0
f e~Tdx = ( e~Tdx
JR WlR
= ( f e~ ^ dxdyj2 = f J = V2tt
106
www.bibliomath.com
Corrigs
do :
= ae~A2/1
De plus, 0(0) = (p(x)dx = V2tt, do a = V2r, et 0 = y/2n<f>.
4. I(a) et Jn(a) existent car / , 0, / et 0 sont toutes dans S. De plus :
r*+oo
f(A)eia = 1 f(x)e~ixdxeia
'-oo
r*+OO f'+OO
f(x)e-i(x-a)dx = 1 /( Z + a)e~axdX = f(X + a)(A)
'-OO J 'o o
*
0(J) = J e~,xdx ; u
Jr n
f e-^e~KAn)undu = n<p(nA)
Jr
U a ) = J /( * + a)4>n{x)dx = f f(x + a)n<j>{nx)dx ; x= -
Jr oIr
/>
= I /( a + -)-<p{v)dv
Jr n n
6. Le thorme de Lebesgue sapplique, puisque :
107
www.bibliomath.com
Chapitre 5 Transformations intgrales
Or:
lim /(a) = lim J (a)
Par suite :
Ainsi, pour m = n :
( _ L ein2nf , - ^ e im2nr ) =1
\Vr yff Jl 2[0,T]
108
www.bibliomath.com
Corrigs
et, pour n i m:
,F , I AO) = AT)
( l f (0 ) = % )T )
Les solutions sont de la forme :
t Aelt + Be~'I avec (A, B) C2
Les conditions aux bords imposent :
= (
ce qui conduit des valeurs propres doubles et des vecteurs propres de la
forme i n r t , qui constituent une base hilbertienne.
(c) Si / est non nulle : JQT \f(x)\p dx > 0, et donc :
r"(T+l)
H/IIzair) = I \f(x)\pdx = +oo
JnT
Par suite : / Z/(R).
Bien sr, une fonction priodique ne pouvant tre dcroissance rapide :
/ 1 S(R)
Par contre, une fonction priodique (suffisamment rgulire) peut tre
considre comme une distribution tempre. Typiquement, une fonction
priodique borne peut tre majore par un polynme, ce qui est un critre
pour appartenir S' (R).
Dunod. La photocopie non autorise est un dlit.
(d)
< n a) , 0 = (a, r m
109
www.bibliomath.com
Chapitre 5 Transformations intgrales
f(>) = 2 n Y jfnif.
neZ
Autrement dit, la transforme de Fourier est une somme de Dirac (sur les
points multiples de la pulsation) damplitude donne par les coefficients de
Fourier.
On parle de spectre de raies, caractristique des phnomnes priodiques,
2 . (a) Soit 0 e S( R). Alors : ( in r , <f>) = ^ <p(nT).
ne Z
Comme 0 est dcroissance rapide, on peut trouver A e R tel que, pour
tout entier n :
A
I<P(nT)\ <
( Tn)2 + 1
La srie est donc bien convergente.
La linarit est vidente.
Pour la continuit, soit une suite (0)eN convergeant vers (f> S, on a :
110- 0nlli,~(R) - * 0
11(1 + JC2) ^ - 0n)H(R) 0
il en rsulte :
110- 0/lll(R)
T )-M k T )\<
1 + (IcT)2
puis :
(LU7", <f) - <pn) < A||0 - 0||Z(R) > 0
(.y ~ x)
\<f>(nT + x) - <>(nT + y )| < 4>'(nT + x) + Il0"lb '([r,(n+l)r]) \y~x\
110
www.bibliomath.com
Corrigs
(C)
->()
Par suite :
(k l i n Ht \ 1 /s / 2 n 7 \ linnt
P*T(t) = JjP *T)ne = Z ^ r F r ^
weZ /iZ ' '
(d) On a :
(/ \-\^ l2 n 7 \ nnnt
Z <f>(t + kT) = , 0 <? r
te Z weZ ' '
ce qui donne :
(lU r, 0) = (IU&, $)
<in7-,0> = ( n L ;,^ )
T
H lr = TOdlij,)
T
T ~ \\n T) = n i 2s
T
Dunod. La photocopie non autorise est un dlit.
F(H I) = F(ni)
et donc, finalement :
T (U T) = 2 ^ U l2 s
T
11]
www.bibliomath.com
Chapitre 5 Transformations intgrales
{ f T * IH r )( x ) = * f T){x )
neZ
Ainsi :
(fr * UI:r)(-*o + kT) = fy(xo) = f(x o)
et :
/ = S t * fflr
Par suite :
f = 2nfr.U2,T
3. On a t = III,/ **[-/,/]
Le calcul de diffraction est un calcul de transforme de Fourier :
m =
O r:
t = 2nX[-l,l].Ul2n/d
112
www.bibliomath.com
Corrigs
Il reste donc calculer la transforme de Fourier dune fentre, qui fait appa
ratre un sinus c ardin al :
X h j] = I X[-i,i](x )e~iJXd x
JR
sin (0 )1)sin
cos (cox)dx = 2 -------- = 21-
= 2 ) col
= 2 / sinc(iu/)
f <p2(f)dt= - 2t<p'(t)4>(t)dt
JR 1 R
Comme <p <S(R) :
k<c=
Do le rsultat.
2. Lingalit de Cauchy-Schwarz conduit alors :
et donc
f
Dunod. La photocopie non autorise est un dlit.
De plus :
f Ur(o)|2 do) = f \a>2 |2 dco
]R vR
Il en rsulte :
dco
113
www.bibliomath.com
Chapitre 5 Transformations intgrales
3. On a :
X 2( t) d t =
X e
2 du
2
1y/2n 12Vtt Jfir C /y
n
1
2 y/n
et :
= l t2e 'idt= - i l f X( - T
2 n JR 2 n JR
00
1 f Ml T1 1 i
f ( e -dt
2/r 2 2 n JR
4 yf
Finalement :
f 2\j/2(aj)dt= 2 u)2i/2())dt
n
JR
_
~T
On pose v = x -y e tu = ,oyx+n note en majuscule les transformes de Laplace
(variable p).
On a :
I
mv = -kv - 2 t] +
m = -ku + /
et :
w(0) = 0, v(0) = 2a, ) = >(0) = 0
En appliquant la transforme de Laplace, on obtient alors :
r
(mp2 + 27 + k)V = 777 + 2inap
P
(mp2 + k)U =
P
puis :
1_______/Fo
V= + 2ap
(p2 + 2cop
>0P + Jq) \ P
Fo
U=
p(p2 + 02)
ce qui donne :
F0 Fq/ )qF
qp/ Jq
U=
P(P2 + u 20) (P2 + oj20)
114
www.bibliomath.com
Corrigs
On en dduit :
u(t) = ^ H ( t) ( l- c o s ( L 0t))
coi,
Sachant que ( p 2+ 2o)0p +cq) = (p + ,on a auss
F0 + 2ap2 _ F o H | 2a - F q/ oj2 F q/ ^ q + 2a
p(p + P
0)q )2 P+ 0)Q (p + (Jo)2
Par suite :
Et, finalement :
u +v
X(t) = = (2 - cos(cot) - e-W0' - t+ a e ^ (1 - "oO
\2 cq
u V Fo (<? mt + o)qte "f - cos(o)ot)} - ae
^ (1 - 0
y(t) = =
^2o0
F(p, x) = V ip)e~'x
Dunod. La photocopie non autorise est un dlit.
puis :
f i t ,x ) = l>(
115
www.bibliomath.com
Chapitre 5 Transformations intgrales
2. Soit /T-priodique,
r p . r(n+l)T
(/)= f(t)e -r 'd t= Y f(t)e~pldt
JnT
+oo +oo ~
=Z I I
m e - p(l+nT)dt = Y j e-P"T f{t)e~p ,dt
n=0 /1=0
( +0
\/i=0
d2F dF. m
3. On a p2 F - cL r = 0 avec F(0, p) = 0 et (L, p) =
dx2 dx
4. Cela donne : F(x, p) = A(p)e ^ + B(p)er
5. On a A(p) + B(p) = 0 et -A(p) e~^ + B(p) e'r = donc
T?f \ =
F(x,p) 1 - ([ec^ - e
mc ------ c)
Z7 e c + e c
6. On en dduit
_3 Lp
e v me R i
v (- p \ e f - e
F^ p ^ = - ^ { ec ~ e c ) ~ n s
F 1- e c
me (L-x)p (L+x)p (3 L-x) p (.v+3 L) p \
e c e c e c +e c J
p2( 1 - e~~
4L
On reconnat une fonction------priodique, constitue de la combinaison de 4
c
rampes retardes.
4L
On travaille sur 0 < t < x fix (0 < x < L) :
L-x
0 si 0<t<
L-x L-x L+x
t SI ------ < t < --------
c c c
2L L+ x 3L- x
SI ------ < t < ----------
c c.
3L + x 3L - x 3L + x
-t SI -------- < t < ---------
c c
3L + x
0 si -------- < t
116
www.bibliomath.com
MTHODE
DE SPARATION
DES VARIABLES
La sparation des variables est une technique simple permettant l obtention de so
lutions dune quation aux drives partielles. Elle connat actuellement un grand
intrt pour la rsolution des problmes non linaires multidimensionnels grand
nombre d inconnues.
Considrons une une quation aux drives partielles dont linconnue est une fonc
tion / de deux variables x et t, pose sur un domaine prismatique Ix x It, o et I,
sont des intervalles de R.
On suppose quau moins un des intervalles est born :
Ix = [a, b] , -oo < a < b < +oo
Le principe de la sparation des variables est de chercher une solution sous la forme :
(x, t) f( x , y) = Y j f (x 0 - X i
/ N ie N
ce chapitre.
X Y : Ix x Iy -* R
(x,y) ^X (x)Y(y) 1
117
www.bibliomath.com
Chapitre 6 Mthode de sparation des variables
D finition 6.1
Dfinition 6.2
N
f(x,y) = J ] x i(x)Yi(y) (6.3)
i=1
Lespace ^ ( / A) 0 ^(7^) est appel produit tensoriel de T (IX) et T (Iy).
Remarque 6.1
T ( I x) 0 T(Iy) est un sou s-esp ace vectoriel de T { I x x Iy)
Ladhrence de T { I X) est constitue par l ensem ble des sries de fonctions conver
gentes variables spares (dans un sens prciser : convergence sim ple, quadratique, uni
form e).
118
www.bibliomath.com
6.1. Fonctions variables spares
Dans ce chapitre, on sera en capacit dexhiber une base de lespace L2(IX) (grce
lhypothse dintervalle spatial born, le temps tant en gnral un intervalle de la
forme [0, +o[).
Remarque 6.2
On considrera, par la suite, des fonctions du temps t et de la variable despace x. Il est
possible de travailler sur des fonctions de lespace 2 ou 3 dimensions grce la proprit 6.1,
qui autorise utiliser la forme spare a priori.
assortie de conditions homognes sur le bord de Ix, notes C#, sur une dyade (x, t) hh>
X(x)T(t) non trivialement nulle, ce qui conduit :
b\T"{t) + b2T'(t) + b3 = axX"jx) + a 2X'(x) + a3
m x{x)
Le membre de gauche ne dpend que de la variable t, et celui de droite ne dpend
Dunod. La photocopie non autorise est un dlit.
que de la variable x : chacun de ces deux membres doit donc tre gal la mme
constante A R :
bi T"(t) + b2T \t) + 3 a{X"(x) + a2X'(x) + a3
(6.7)
m ~ X(x)
119
www.bibliomath.com
Chapitre 6 Mthode de sparation des variables
rx (J2({/) ,
En introduisant la fonction x i- p(x) = e- lJ, puis, en posant , wu
ai
obtient :
Ix + q^ X + S^ X = 0 (6.9)
r>lx
CH
qui est un problme aux valeurs propres particulier en (A, X) appel problme de
Sturm-Liouville.
Sous certaines hypothses, assez faibles, le spectre rsultant est discret : (/!,-),eN> et
les fonctions propres associes forment une base hilbertienne de lespace L2(IX)K
laide de cette base, on cherche les fonctions (T,-)/ff telles que lquation aux
drives partielles non homogne et les conditions initiales soient respects.
6.2 P ro b lm e de S t u r m -L io u v ille
On tudie dans cette section le problme aux valeurs propres exhib prcdem
ment (6.9). On donne, pour diffrentes configurations, les rsultats dexistence de
bases propres hilbertiennes.
Dans ce qui suit, on travaille sur un intervalle I de IR, p dsigne une fonction po
sitive de classe C1, q une fonction continue, et s une fonction continue et strictement
positive.
On introduit l'oprateur de Sturm-Liouville S , dfini par :
-K s i'f M <6-io)
et le problme aux valeurs propres associ :
S(X) + =0 (6.11)
Loprateur S est a priori dfini sur lespace des fonctions de classe C2 sur R.
120
www.bibliomath.com
6.2. Problme de Sturm-Liouville
).
(<S(f 9)l2(I)
s
f r s { i { p h q f) gsdx
f f c [ p% ) + " f s ) u
df
i fU p ) +,,9fs) d x - pgT x - p f Tx Jdl
df dg
( /, S (g ))L2(I)
P9Tx - p f Tx ai
Dans la suite, on choisit lintervalle I et les conditions aux limites tels que le terme
de bord sannule, loprateur de Sturm-Liouville est alors auto-adjoint dans ):
Dfinition 6.3
Dunod. La photocopie non autorise est un dlit.
Soit I = [a, b] c R.
On suppose que p est valeurs strictement positives. Les conditions aux limites
sont de type Dirichlet ou Neumann ou Fourier, on les crit de manire gnrique
sous la forme :
i a 0/(tf) + tfi/'(a ) = 0
avec (<2o , 0i.^o. h) e R 4/ ^ (6.12)
\ b Qm + bl f ( b ) = 0
121
www.bibliomath.com
Chapitre 6 Mthode de sparation des variables
Uol < |/li| < ... < |/1| avec lim |/l| = +oo
n -> + o o
iii. Pour tout entier naturel n, (pn a exactement n zros sur ]a, b[ ; de plus, les zros
de <pn-i sont intercals entre les zros de <pn.
. f ( x +) + f(x~)
Si, de plus, f est continue, la convergence est uniforme sur [a, b].
Dfinition 6.4
Soit [a, b] g R. p est suppose valeurs strictement positives. Les fonctions don
nes et les conditions aux limites sont supposes compatibles avec un comporte
ment priodique :
( p(a) = p(b)
q(a) = q(b) et m = (6 .1 4 )
fia ) =
{ s(a)= s(b)
P ro p o sitio n 6.3. On admet que le problme priodique possde les mmes pro
prits que le problme rgulier, l exception suivante :
4o est une valeur propre simple, mais les valeurs propres suivantes peuvent tre
multiples.
122
www.bibliomath.com
6.2. Problme de Sturm-Liouville
Proposition 6.4.
On se place sur le segment [-1 ,1 \ et on suppose que, pour tout x de [ - 1 ,1 ]:
n = n (n + 1) (6.15)
et donc :
Proposition 6.5.
On se place sur R tout entier, et on suppose que, pour tout rel x :
n = 2 n (6.18)
Dunod. La photocopie non autorise est un dlit.
123
www.bibliomath.com
Chapitre 6 Mthode de sparation des variables
et donc :
(- ])> , dne~^
H M = ' e: Vxe R (6.20)
Proposition 6.6.
On se place sur R +, et on suppose que, pour tout rel positif x :
et donc :
K(x) = - e x {dxn > Sx R + (6.23)
Proposition 6.7.
Pour a > 0 et v > 0, on se place sur [0, a\, et on suppose quet pour tout x de [0, a] :
v2
p(x) = s(x) = x , q(x) = ----
JC
124
www.bibliomath.com
6.2. Problme de Sturm-Liouville
=4 (6.24)
d l dJv(snx)\ v2 , , 0
Tx 1* dx ~ 7 ,/v(in;c) + slx M snx) = 0 Sx e]0, a[ (6.25)
Exemple 6.1
On considre le problme de Sturm-Liouville :
d2f
(6 )
{ d +f = (6.26)
/ ( 0) = /( i) cri)
/'(0) = / '( l ) (T2)
On reconnat un problme priodique.
Pour chercher les valeurs propres et les fonctions propres non indentiquement milles
/ associes, on rsout lquation diffrentielle () et on vrifie quelles conditions les
valeurs aux limites peuvent tre satisfaites.
i. Si = 0, alors :
/(*) = a x + p (a,/3) R2
P = a+p
a =a
Ounod. La photocopie non autorise est un dlit.
Par suite :
f(x) = P J e R*
= 0 est donc valeur propre simple. Les fonctions propres associes sont les fonc
tions constantes non milles.
ii. Si > 0, alors, en posant = co2, on obtient :
p sinh(cu x)
i / ( * ) = ol cosh ( > *) + (a, fi) R2
a = a co sh (iu ) + p sin h (iu )
[ >P = (oa sinh(iu) + a)p cosh(iu)
125
www.bibliomath.com
Chapitre 6 Mthode de sparation des variables
'cosh(cj) - 1 sinh(ic))
sinh(ij) cosh(j) - 1
c o s ( u ) - 1 sin(f)
- sin(j) co s (l >)
- 1
Le dterminant vaut 2(1 - cos(o/)). Pour co = 2nn (n e Z), le dterminant est nul, et
une solution non triviale est possible.
Les constantes a et j8 sont alors arbitraires.
Lespace propre associ la valeur propre n = - ( 2nn)2 est donc de dimension 2, une
base possible est forme des fonctions
Dfinition 6.5
On appelle relvement des conditions aux limites une fonction qui satisfait les
conditions aux limites, suffisamment rgulire pour tre introduite dans loprateur
diffrentiel.
126
www.bibliomath.com
6.3. Sparation des variables
Quitte poser
f(x , t) = /,( x ,t) + / ( x , t)
- + 2^~dx + + + f)J
alors, / est solution de la mme EDP, avec pour second membre h et des conditions
aux limites nulles (voir lexercice 6.4 pour un exemple de relvement).
On reprend alors lquation (6.1), o lon fait apparatre un oprateur de Sturm-
Liouville :
S ( f) + i ( O 0 + * * ) + h ( t) f(x , t) = h(x, t) (6.27)
avec, toujours, les conditions homognes au bord et les conditions initiales sur :
(x, t)/( x ,
ie N
soit :
2 (-AiXiTi+ biT'AXi + b2T'iXi + b3XiTi) = h(x, t)
Z6N
puis :
2 (bi T" + b2T[ +( h - ) = h(x, )
/eN
127
www.bibliomath.com
Chapitre 6 Mthode de sparation des variables
En exploitant le fait que la famille (X,),-6n est orthonormale^ pour dcoupler les qua
tions, on projette suivant Xj, j e N :
Les Tj, j e N, sont solutions dquations diffrentielles ordinaires avec des condi
tions initiales dcouples. Ils sont donc entirement dtermins.
f N{x,i) = Y J Xn{x)Tn{t)
n<N
Il reste alors dterminer si la suite de fonctions (/w)weN converge bien vers la solu
tion lorsque N tend vers linfini, mais aussi quel est le type de convergence (simple,
uniforme) et quelle est la rgularit de la limite.
Actuellement, les seules informations relatives la convergence sont connues en
t = 0 o les 77(0) et 77,(0), e N, sont issus de la projection de fonctions connues
sur la base hilbertienne : si les donnes initiales fo et go sont des fonctions de L?S{IX),
le thorme de Parseval permet daffirmer la convergence absolue des sries num
riques ^ |T(0)| et ^ |77(0)|. En fonction de la rgularit de ces mmes donnes
fl n
128
www.bibliomath.com
6.3. Sparation des variables
6 .3 .2 C o n v e rg e n c e d e la s rie d e fo n c tio n s
Dfinition 6.6
Proposition 6.8. S'il existe une suite positive {ap)pe^ telle que la srie de terme
T horm e 6.9.
i. Si, pour tout entier naturel p, sp est une fonction continue, et si la suite de fonc
tions (S n)nen converge uniformment vers S, alors S est continue sur [a, b].
ii. Si, pour tout entier naturel p, sp est de classe C 1, si la suite de fonctions (S n)neN
converge simplement, et si la suite de fonctions (S'n)ne^ converge uniformment,
alors S est de classe C 1, et
Dunod. La photocopie non autorise est un dlit.
peN
Les dfinitions et rsultats prcdents sont encore valables pour des fonctions de
plusieurs variables et la convergence uniforme dune srie de fonctions continues en
trane la continuit de la srie, la drivabilit (partielle) des termes et la convergence
uniforme de la srie drive entrane la drivabilit partielle de la srie.
Remarque 6 3
i. Un cas dapplication classique est le suivant : considrons la srie numrique, conver
gente, de terme gnral \T(0)\.
129
www.bibliomath.com
Chapitre 6 Mthode de sparation des variables
On suppose, en outre, quil existe une constante positive A telle que, pour tout t, on ait :
\Tn(t)\ < A|r(0)|. On suppose, de plus que la srie de fonctions ^ Tn(0)Xn converge
/t
uniformment.
Alors, il y a convergence normale (et donc uniforme) de la srie de terme gnral XnTn.
ii. En gnral, la convergence de la srie ^ XT ne pose pas trop de difficults. Il ne faut
n
pas oublier de sassurer de la convergence des sries drives.
6 .3 .3 T r o n c a tu re
En pratique, on ne calcule que les premiers termes du dveloppement II est donc
important de pouvoir valuer Verreur commise suite une troncature.
Proposition 6.10. Approximation, m esure de Terreur
Supposons qu'il existe un rel A strictement positif tel que, pour tout rel t de It :
\Tn(t)\<A\Tn(0)\
On tronque le dveloppement de f au rang p, en posant :
r
fp(x,t) = Y J Xn{x)Tn(t)
/1=0
ainsi que celui concernant la condition initiale :
p P
f p(x) = 2 ( * .. f )L2 Xn(x) = 2 Xn(x)Tlt(0) = f p(x, 0)
/ 1=0 / 1=0
Alors\ t = 0 :
et, t fix :
1B0
www.bibliomath.com
6.3. Sparation des variables
131
www.bibliomath.com
Chapitre 6 Mthode de sparation des variables
X"(x)-^-AX(x) = 0
' -1- - Pc
X(x) = pn sin(w x)
132
www.bibliomath.com
6.3. Sparation des variables
1 = fii f sin
si (ojfl x)dx
Jo
_ 02 1 - cos(2^ x)dxj
2/L _ sin(2o>L)\
P" \2 4> )
2 tm()nL)
2 4>n(l + tan2(iuL))
h
2(h2 + a>2)
qui donne lexpression de n.
On a alors :
2 +
Xn(x) = S in ( iJ x )
' h + L(h2 + a)2)
Daprs le thorme de Sturm-Liouville, la famille des (X);ieN est une base hilbertienne
de L2([0, L]).
Dunod. La photocopie non autorise est un dlit.
+oo
On cherche alors la solution de YEDP sous la forme 6 = ^ XnTn.
n=1
Lquation dans [0, L] devient :
+oo +00
puis :
-foo
Y j xn(rn + ATn) = o
n=i
133
www.bibliomath.com
Chapitre 6 Mthode de sparation des variables
Daprs les hypothses sur 0o> on peut dvelopper cette fonction sur la base et on sait quil
y a convergence quadratique et uniforme de la srie :
+oo +OQ
2 T( 0 ) x ( * ) = Y j ( 0 0 . Xn)mio.L]) X (x )
/1=1 /1=1
Do, finalement :
Rciproquement :
Vrifions que la fonction 0 ainsi obtenue est bien solution du problme aux frontires
initial (?V).
Le thorme de Parseval donne \Tn(0)\ = ||0|Il2([o,l]) : il y a donc convergence uniforme
n
de la srie en t = 0.
Par ailleurs, les \Tn\ sont des fonctions dcroissantes en temps. La srie ^ XnTnest donc
n
uniformment convergente sur [0, L] x [0, + o o [ .
Reste savoir si elle est une fois continment drivable.
On calcule cet effet le terme gnral de la srie drive une fois en tempsf :
Tn = -nTn
Pour 0 < to < t, on a :
| 7 | = A\T(t)\ = Ane-A^ - ,)\T(to)\
pour n suffisamment grand le terme en est plus petit que 1 et la srie converge
comme celle de terme gnral |T(io)|. Il y a donc convergence uniforme de la srie dri
ve sur [0, L]x]0, + o o [ et +oo
Jt (x,t) = Y j Xn(x)T'n(t)
/ 1=1
La fonction obtenue est donc bien solution du problme aux frontires initial (fy).
134
www.bibliomath.com
Exercices
Exercices
d 4y
E I 7 + pS0 (fi)
dx4
y(x, 0) =
et que chaque point de la poutre est anim dune vitesse transversale connue :
dy.
(x, 0) = i>o(x)
dt
o o et vo sont deux fonctions de classe C2 sur [0, L].
Les conditions aux limites dappui simples se traduisent par un dplacement et un
moment nul aux extrmits :
yi0. t)= y{L, t) =0
52m <92 (T)
Dunod. La photocopie non autorise est un dlit.
E I d (0t) = E I d (L,t) = 0
Dterminer, avec ces conditions aux limites, la solution de lquation aux drives
partielles ().
135
www.bibliomath.com
Chapitre 6 Mthode de sparation des variables
bour cadre circulaire, a t rsolu par Rudolf Friedrich Alfred Clebsch^ en 1862.
Mais le problme est encore ouvert : en 1966, le mathmaticien M. Kac a pos la
question suivante : Peut-on entendre la forme d un tambour ? , Le. la forme du
tambour est-elle dtermine de manire univoque par le spectre ?[11,13]
^ ^ ^
Lespace euclidien est rapport un repre orthonorm (O; i , j , k).
On dsigne par (r, <p) les coordonnes polaires dun point du plan z = 0.
On considre une membrane, fixe sur un cadre circulaire du plan z = 0, de centre O,
de rayon a.
f tant une fonction donne des variables r et tp, de classe C 2, le dplacement vertical
dun point de la membrane et la vitesse, linstant t = 0, sont :
( z(t = 0; r, (f) = f(r, (p)
\ ^ ( t = 0-,r,<p) = 0
136
www.bibliomath.com
Exercices
T , v _ (r\* v (~ 1) 1
"( r ) ( 2) ^ kl )! \ 2 /
k=0
Jn admet une infinit dnombrable de zros sur R + nots N-
Pour n e N fix, le problme de Sturm-Liouville ainsi obtenu admet une
infinit dnombrable de solutions (AiP, n avec :
\2
np = ^ v ) ' Rn
Pour n e N fix, les (Rn,p)PeN forment une base orthogonale (non nor
me) de r([0, a]).
2. Donner, en fonction de / et des fonctions (0)eN et n 2- lexpression
du dplacement vertical z.
137
www.bibliomath.com
Chapitre 6 Mthode de sparation des variables
138
www.bibliomath.com
Exercices
d2u , du
0 V(x, t) ]0, /[x]0, +oo[
a a + b u + ~dt
avec les conditions aux limites non homognes
et la condition
lim u(x, t)= 0 Vx ]0, /[
t >+oo
Dunod. La photocopie non autorise est un dlit.
139
www.bibliomath.com
Chapitre 6 Mthode de sparation des variables
Corrigs
12U Afin de chercher la base des fonctions de lespace, vu que lquation et les
conditions aux limites sont homognes, on injecte directement la forme spare dans
les quations :
y(x, t ) =X( x) T( t )
Il en rsulte :
140
www.bibliomath.com
Corrigs
i. Si A - 0, on a
X(x) = a + bx + ex2 + dx2 (a, b, c, d) e R 4
Les conditions aux limites conduisent a = b = c = d = 0.
Ce cas est liminer.
ii. Si A < 0, on pose = |/t| L On rappelle que les racines quatrimes de (-1 ) sont
les complexes e'% et e'~F.
On a donc :
_gff
J 1 -=VT
X(x) = ae^ + be s + ce* + de 6 ( a ,b ,c ,d ) C \ Im(X) = 0
Les conditions aux limites en 0 donnent :
X(0) + b + c + d 0
X"(0) = -^(a + b - c - d ) - 0
X(x) = a { e y i - e ^ ) + c0 A - e*i.-'T ,
.TT y TT r i3 ;r
X(L) = a(ese 4 - ese 4) + c(e^e 4 e*e 4 ) = 0
r ,(L) = ^ i ( ^ e'f - e ^ h - c i e * = 0
X(0) = a + c = 0
X"(0) = ^ ( - a + c) = 0
do a = c = 0.
Alors les conditions en L donnent :
r U ) = ^ ( - i s in ( | ) + rfsmh ( | ) ) =
141
www.bibliomath.com
Chapitre 6 Mthode de sparation des variables
- e ttN*
On pose alors :
k = - , k e N*
kn
Xk(x)
= ^ si ( )
Les Xk, k e fi, sont normaliss au sens du produit scalaire de lespace L2([0, L]),
dont ils forment une base hilbertienne.
On cherche alors la solution sous la forme
(x, t) i-> y(x, t) = ^ Xk(x)Tk(t)
ken*
On reprend lquation initiale :
*y p s d2y
dx* E l dt2
El pSt
Tk(t) = 7*(0) cos 1 -Tk(0)sin
V St J El p S )
Les constantes sobtiennent par projection des conditions initiales :
vo(x) = ^ ( x ,0 ) = J ] Tk(0)Xk(x)
ken*
(vo, Xk)L2([0,L]) = Tk(0)
142
www.bibliomath.com
Corrigs
y(x, t)
La majoration
L2 pS ,
VfceN*, sup IX*7*| < |7*(0)| +
x,t k2TT2
F i g u r e 6 . 2 - L e s S p r e m ie r s m o d e s d e v ib r a t io n d e la p o u t r e
Dunod. La photocopie non autorise est un dlit.
1
= -T " (t)R (r )0 (<p)
14B
www.bibliomath.com
Chapitre 6 Mthode de sparation des variables
144
www.bibliomath.com
Corrigs
2 R"(r) R'(r) 2 2
r +T + A r = rr
Rir) R(r)
'1 d f dR
R(r) = 0
r d r[ dr
R(a) = 0
R(0 ) < oo
D aprs lnonc, pour n fix, les solutions sont discrtes (indices par
p e N*) :
An , p -
Ounod. La photocopie non autorise est un dlit.
r i-> R,P(r)
Les premiers modes de la membranes sont reprsents sur les figures 6.3,
6.4, 6.5, 6.6.
145
www.bibliomath.com
Chapitre 6 Mthode de sparation des variables
n - a _ d2z
Az c2 dfi
= E
(/,/?)eNxN*
T*-p ( K p
'
; K ,p + \ Rn,p < ) - ^KpRn.P^n
= E
(n,p)6NxlN*
*./ (*(-
'
V .P- \
T 'n'.p) +& n ( - n,Pf n,P - j K p ) )
(Rnn,p)zw et K * L n tant des bases on a :
0 = (/ = 0; r, y>)
= E
(,p)eNxN*
*.p W ( 0 '< W , >() + ^ ' . / O ) )
146
www.bibliomath.com
Corrigs
$oW>)o,i(r) $o((t>)Ro,2(r )
Figure 6.5- M o d e ( l . l ) d u t a m b o u r f i9 u r e 6 6 ~ M o d e ( l, 2 ) d u t a m b o u r
147
www.bibliomath.com
Chapitre 6 Mthode de sparation des variables
Z(0) = Z( 1) = 0
5. Lquation caractristique de (fz) est donne par :
0 = r2 + 2r - A
Son discriminant rduit est :
1 +A
(a) Dans le cas o 1 + A = o>2 > 0, les deux racines relles distinctes sont
r = 1 a>
ce qui conduit :
Z(z) = e~z {Ae)Z + Be~)l)
o A et B sont deux constantes relles.
Les conditions aux limites imposent alors :
Z(0) = A + B = 0
Z(l) = e~l (Ae + B e-w) = 0
ce qui conduit ncessairement A = B = 0 et il nexiste pas de solution
non triviale.
(b) Dans le cas o 1 + A = to2 = 0, la racine double est r = -1 , ce qui conduit
:
Z(z) = e~z (A + B z)
o A et B sont deux constantes relles.
Les conditions aux limites imposent alors :
Z(0) = A = 0
Z(l) = e~1 (A + B) = 0
ce qui conduit ncessairement A = B = 0 et il nexiste pas de solution
non triviale.
(c) i. Dans le cas o 1 + A = -o ? < 0, les deux racines complexes distinctes
sont
r = 1 i(o
ce qui conduit :
148
www.bibliomath.com
Corrigs
Il en rsulte :
Zk(z) = Bke~z sin (knz)
iii. D
Xk(x) = Zk(z) = Z*(ln x) = sin (kn ln x)
les (Xk) forment une base hilbertienne de L?x([\,\), ils sont orthogo
naux au sens du produit scalaire associ :
teN* jfceJN
]T (T ,k'-AkTk)Xk = 0
keN*
Lindpendance linaire des X* conduit alors :
149
www.bibliomath.com
Chapitre 6 Mthode de sparation des variables
U(x, t) = o - y) + y _/,j
U est rgulier et vrifie les conditions aux limites.
On pose ensuite v = u - U.
v est solution de :
d2v , dv ( d2U dU \
a dx2 bc + J , = - [ , l ? + lu + T j
= m (<l> - - f ) + - y -'" )
La discussion usuelle sur les conditions aux limites conduit la base hilbertienne
suivante :
ISO
www.bibliomath.com
Corrigs
On projette alors le second membre sur la base : il faut donc calculer les projections
de x 1 et x h j :
(X, l)z,2([o,/]) -
V t X sin("'rT ) ,JC= - (- 1)n)
V2 C' . ( x\ V2/ 1V>+1
(xn, y) = - |
V l J l H[o,i)) IVlJo
sin l nn-]xdx = -----( - 1)
V U nn
La projection conduit donc, pour tout entier naturel n, :
_ <
?-JL)Tn + T'nj = uo ~ ~ {(b ~ a )e at + (b -/3 )(-l)n+le p)
2 2
Par hypothse : b - < 0, ce qui donnerait une exponentielle croissante en solution
du problme homogne, incompatible avec lhypothse de solution nulle linfini.
On cherche donc une solution particulire qui tend vers 0 en linfini, et donc :
ce qui conduit :
2 b- a
v{x, t) = V Ko
*h
=ii nn b - - a
Dunod. La photocopie non autorise est un dlit.
tant donn que le second membre est C 1, on a convergence uniforme des sries
spatiales.
Par ailleurs, les |7| sont borns et dcroissants (pour n croissant) ; il y a donc conver
gence uniforme de la srie de fonctions de (x, t) sur tout segment temporel.
151
www.bibliomath.com
www.bibliomath.com
Q uelq ues
QUATIONS AUX
DRIVES PARTIELLES
CLASSIQUES
Ce chapitre a pour objectif d futiliser les outils prcdemment exposs pour tudier
des quations classiques de la physique.
7.1 Q U A T IO N D E T R A N S P O R T
On reprend ltude de lquation de transport introduite la section 1.2.1
dx _ dt
(7.2)
c(x) 1
En drivant la solution le long dune caractristique, on retrouve bien la conserva
tion de la concentration :
(7.3)
= % (x(t),t) + c(x(t)) ^ ( x ( t) , t)
dt dx
=0
1 53
www.bibliomath.com
Chapitre 7 Quelques quations aux drives partielles classiques
7.1.1 C as o la c l rit e s t c o n s ta n te
Cas d un domaine non born
Les courbes caractristiques C r ont pour quation :
x - e t - Constante
Exemple 7.1
Considrons le cas suivant :
-r2
jUoW - e et c = 1
La figure 7.1 reprsente la surface solution sur laquelle on a reprsent la condition ini
tiale, un ensemble de courbes caractristiques et pour lune dentre elle des intgrales
premires associes.
154
www.bibliomath.com
7.1. quation de transport
(7.4)
p(x, 0) = po(x) x > 0
i. Cas dune clrit positive
La figure 7.2 reprsente le rseau des droites caractristiques, qui est donn par
x - e t = Constante.
Il est clair que, pour un point (x, t) tel que x - et < 0, la caractristique passant
par le point sort du domaine dtude par la ligne x = 0 et non sur la ligne de
condition initiale t = 0.
155
www.bibliomath.com
Chapitre 7 Quelques quations aux drives partielles classiques
ln(jc) - t = C on stan te
xe~l = A e R
xd = xd e~'d
H(x, t) = / / o ( * 0 = e _AV2'
L a figure 7 .4 m on tre la su rface so lu tio n sur la q u e lle on a rep rsen t la co n d itio n in itia le,
un e n se m b le d e co u rb es caractristiq u es et p our l u n e d entre e lle d es in t g ra les p rem ires
a sso c i e s.
156
www.bibliomath.com
7.1. quation de transport
du du
+ = 0 , x g R , g R (7 .6 )
dt dx
Un des intrts de lquation de Burgers est quelle peut s crire sous forme
conservative :
Dunod. La photocopie non autorise est un dlit.
du 9{
= 0 , xR , e R (7 .7 )
dt + dx
Si on considre le problme de Cauchy avec condition initiale :
9 + d
J = 0 , x R, t R (7 .8 )
dt dx
ti(x, 0) Ho(x)
157
www.bibliomath.com
Chapitre 7 Quelques quations aux drives partielles classiques
les caractristiques (jcc( ), tc(s),fic(s)) sont obtenues par intgration de (voir (2.16)) :
Pour un point (xd, td) donn, le pied de caractristique xd est donc solution dune
quation qui dpend de iq-
Reprenons le cas o mo (x ) = ; la caractristique issue du point xd a pour
quation :
xc - xd + Mo(xd) t = xd + e~x<i tc (7.11)
Dans le domaine o e~$ est trs petit (pour |jc| suffisamment grand) les droites
_ O2
caractristiques, quasiment verticales, sont parallles ; par contre, ds que e x<> nest
plus ngligeable devant 1 , les caractristiques ne sont plus parallles et donc se
croisent. La mthode des caractristiques ne peut alors plus sappliquer : si les ca
ractristiques de pied jci et *2 se croisent en on devrait avoir //(je,) = Mo(xi) et
M(xj) = Mo(xi) ce qui nest pas possible dans notre cas.
Il y a apparition dune ligne de discontinuit, ou onde de choc.
Ce phnomne est reprsent sur la figure 7.5 o on a trac le rseau des caract
ristiques, et o on peut observer les intersections.
Les croisements de caractristiques engendrent donc des difficults supplmen
taires ncessitant des mthodes de rsolution plus pousses. Ces phnomnes de croi
sement ne reprsentent quune partie des problmes que lon peut rencontrer lors de
ltude dquations de transport non linaires. La non-existence de solutions globales
requiert donc des traitements adapts.
7.2 Q U A T IO N D E S O N D E S
Lquation des ondes en dimension d despace scrit :
- c2Au = 0 Vx e R d, r e R
dt2
u(x, 0) = uq( x ) V jc e (7.12)
^ ( jc, 0) = i>o(*) V j : e R 1'
^ dt
158
www.bibliomath.com
7.2. quation des ondes
d2u
Pour la suite on tudie le cas unidimensionnel Au =
dx2
Dunod. La photocopie non autorise est un dlit.
1 1
u(x, t) = {-Uo(x - et) + Uo(x + C 0} + - I (t) dr (7.13)
2 c J x -c t
159
www.bibliomath.com
Chapitre 7 Quelques quations aux drives partielles classiques
x et = Constante
f = x - et
et u(x, t ) = w(, tj) (7.14)
Tj = x + et
d2u 2 d2u A 2 d2
f i ~ c a = ~4 c m (S' v)
Lquation des ondes devient donc :
d2
(7.15)
ddrj ( M = 0
Do:
(, V) = /( ) + 9(V)
Par suite :
w(x, t) = f(x - c t ) + g(x + et) (7.16)
Il suffit ensuite dexploiter les donnes de Cauchy :
ce qui implique :
f ( x ) + g'(x) =u'Q(x)
Vx e R
c ( - f { x ) + g'(x)) = v0(x)
160
www.bibliomath.com
7.2. quation des ondes
D o:
/(* ) = J U0(x) - Yc fo H O d r + C
V jc R
1 1 ex
g(x) = - u0(x) + J0 u0(t) d r - C
2 2c
o C est une constante relle.
La solution de lquation des ondes unidimensionnelle est donc donne par :
1 1 / r x+ct r x~ct \
u{x, t) = - ( uq(x + c t)+ uq(x - c 0) + I J vo(r) d r - J v0(t) drj a
= HO V^eR
t. ox
Par intgration, on en dduit :
{t,t) = Kx()eict t + K2(g)e-ict'
k 2(0 = ^HO - HO r
Il en rsulte :
-ict
(KOt) = HO + Ylco(^ } g,cSt + " 27? e
= { o ( 0 { e ^ H e - ^ ) + ^ ( e i^ - e - ic^)
HO .
- HO) C O S ( c t ) + sin(c^)
161
www.bibliomath.com
Chapitre 7 Quelques quations aux drives partielles classiques
Cette dernire forme montre que la transforme de Fourier admet bien une limite
finie en 0.
La formule dinversion de Fourier conduit alors :
L - c2 = - - c \ - + c (7.17)
dt2 dx2 d x ] \d t dx
lquation des ondes apparat comme un systme de deux quations de transport cou
ples.
du du
On pose i = et M2 = -x~, le systme peut scrire matriciellement sous la
dt dx
forme :
(dut \ / n 1\ (dut
(7.18)
On pose
(:) h "-0
Le systme scrit
dU , dU n
+ cA = 0 avec U(t = 0) = Uq
ot ox
On diagonalise la matrice
A = PDP~l
avec
- n l) '" - it .
On pose :
V = P~l U V0 = P~l U0
162
www.bibliomath.com
7.2. quation des ondes
V est solution de :
dV dV
+ cD = 0 avec V(t 0) = V0
ot ox
Les fonctions viet v2sont respectivement solution des problme
dv\ dvi
- + c - = 0
otox
ui(jc, 0) = VxeR
et :
dvi dvi
c - = 0 V j c s R,
ot ox
2 ( x , 0) = V2 ,o(x) V eR
ce qui conduit
Vjc R, i > 0 =
{v2(x,t) =
D e: ' J
t>i,oO) = 2 { - o W + cMoU)}
Vx e R
V2 ,o(x) = \ {y0 W + C u'0(x)}
on dduit :
Enfin, comme :
U(x,t) = P V(x,t)
il rsulte :
Dunod. La photocopie non autorise est un dlit.
du
-x:0 . 0 = ui(x,t)
ot , ,
c c1 1
= 2oMO -
~ c t)+ 2 MoO + c t^+ 2 v(x + c ^ + 2 V^X ~ Ct')
et donc :
O . 0 = 2 OoO + + Uq( x - c 0}
1 nx+c t 1 n x-c t
vQ()cU;- v0({)d + C(x)
2c Jo 2c o
163
www.bibliomath.com
Chapitre 7 Quelques quations aux drives partielles classiques
o C est une fonction dterminer grce la donne initiale, qui scrit alors :
Remarque 7.1
La form ule de D A lem bert m et en v id en ce deux classes de solutions :
i. la premire, se propageant la v itesse c (et donc lie au term e u(x - c t) et la valeur
propre c ) ;
ii. la seconde, se propageant la vitesse - c (et donc lie au term e u(x + c t) et la valeur
propre - c ) .
Remarque 7.2
Ce type d quation, avec une vitesse finie de propagation, induit des proprits remarquables
pour la solution, en term es de dpendance par rapport aux donnes de C auchy : de par la
form ule de d A lem bert, la solution valu e en * l instant t ne dpendra que des valeurs de
o et mi sur l intervalle [x - et, x + et] appel domaine de dpendance de (x, t)> et not D Xtt.
D e faon parfaitem ent sym trique, la donne de C auchy en un point xo sera m ise contribu
tion pour le calcul de la solution dans le cn e
7.3 Q U A T IO N D E L A C H A L E U R
On sintresse ici au problme :
(
du j
~aA u= 0 V (x, t) e x [0, +oo[ ^ ^
u(x, 0) = uo(x) Vx Rd
= -a\\f\\(t;,i)
www.bibliomath.com
7.3. quation de la chaleur
(. 0 = 0()
= T; 1 (e- 1
1*2'1'} * T ~ x {o(i)} = r x~l [e~a^ ' } * u0 (x)
avec :
r ;' \e - ^ '\
1 1 (4
Do, finalement :
1 f (x,t)= -V t j ,
-u-------- e u0 ( x - y ) d y
(4 na t) 2 J]Ri
Remarque 7.3
La valeur de la solution en un point x de Rrf dpend de toutes les valeurs de la donne de
Cauchy dans R'7.
De plus, pour des petites valeurs de t, seuls les points proches de joueront un rle important.
Dfinition 7.2
La fonction
1 IUII2
x --------- 7
4 al (7.20)
(47ra/)2
est appele noyau de la chaleur sur R rf.
Dunod. La photocopie non autorise est un dlit.
On voit que la solution est obtenue par convolution spatiale du noyau de la chaleur
avec le second membre.
Remarque 7.4
La prsence du terme exponentiel permet, mme lorsque la donne de Cauchy o nest pas
rgulire, dobtenir une fonction u de classe C dans IR^xJO, +oo[. Cest leffet rgularisant
de loprateur de la chaleur.
Par contre, cela entrane Y irrversibilit de lvolution de la solution, dans la mesure o la
solution un instant t > 0 est infiniment plus rgulire que la donne initiale.
165
www.bibliomath.com
Chapitre 7 Quelques quations aux drives partielles classiques
7.4.1 O p ra te u r d e Laplace
P roposition 7.2. Invariance par transformation euclidienne
Soit T une isomtrie affine de Bd :
(A(u o T~l))(T(x)) = (Au)(x) (7.21)
dT = R , d2T = 0
On pose alors : x = T(x) et (x) = u(x).
En utilisant les notations indicielles, on obtient, pour tout i de {1, . . . , n) :
du _ du dxj
dxj dxj dxi
d2 2u xjdxk du d2xj
dx2l dxidxk dxj dxj + xij x2
j i
2X j y dxj dxk
= 0 et Y j rtknj = jk
dx} -f
1=1
dxj dxi
tant donn que le laplacien est invariant par rotation, on a souvent intrt utiliser
des coordonnes polaires.
166
www.bibliomath.com
7.4. quation de Laplace
Dfinition 7.3
Z = jteir/M =
' i= 1
a n9
Z
OU
2 et
,= 1 Xi
du _ dv dr dr _ Xi
dxi dr xj dxi r
avec
2u _ d2v / dr \2 v d2r dh = \ _
dx? dr 2 \d xj) + rd x 2 dx 2 r r3
167
www.bibliomath.com
Chapitre 7 Quelques quations aux drives partielles classiques
Dfinition 7.6
A o-u(cr)= (7.25)
W/*=r
f. Eugne Beltrami (1835-1900), mathmaticien et physicien italien, qui apporta de nombreuses contri
butions la thorie de llasticit, lhydrodynamique, llectricit, au magntisme, ainsi quen gom
trie non-euclidienne.
168
www.bibliomath.com
7.4. quation de Laplace
Dmonstration. Une faon de dmontrer ce rsultat est dutiliser la densit des fonc
tions variables spares u (x ) = u(r)w(cr) dans lespace des fonctions C2(RJ).
d*
Ao-U(COS(0), sin(0)) = r(cOS(0), sin(0))
6Z
ii. Dans R3, en coordonnes sphriques usuelles (<pest la lo n g itu d e - 0 est la latitude) :
= ( 7 s r + 5 | ( " * ) ) W . *
f v-
(uA vA u )d Q . = f (7.27)
J i2 J an \ o n
7.4 .2 F o n ctio n s h a rm o n iq u e s
Dunod. La photocopie non autorise est un dlit.
Dfinition 7.7
Une fonction est dite harmonique sur i l si son laplacien est nul sur i l Cest donc
solution de lquation de Laplace Au = 0.
P ro p o sitio n 7.7. SoitFl (il) l ensemble des fonctions harmoniques sur un ouv
de R d.
f. Ainsi nomme daprs le mathmaticien George Green (1793-1841), physicien britannique, qui tra
vailla sur les applications de lanalyse llectricit et au magntisme,
f. Mikhal Vassilievitch Ostrogradski (1801-1862), physicien et mathmaticien russe.
169
www.bibliomath.com
Chapitre 7 Quelques quations aux drives partielles classiques
ii. Une forme quadratique (x\, ..., xj) -> ^ ^ UijXiXj est harmonique si la trace de
/= i j= \
d
Remarque 7.7
Dans R2, une partie significative des rsultats sobtient en identifiant une fonction harmo
nique la partie relle dune fonction holomorphe.
Proposition 7.8. Les polynmes harmoniques sont les seules distributions temp
res solutions de Vquation de Laplace sur R^.
Une fonction harmonique sur R^ borne est donc constante.
Pour n > 2, il existe des polynmes harmoniques de degr quelconque.
tant donne linvariance par rotation du laplacien, les solutions radiales de lqua
tion de Laplace ont un intrt particulier.
Proposition 7.9. Fonctions harmoniques radiales
On cherche les fonctions radiales harmoniques sur une couronne (0 est donc ex
clu)y elles sont de la forme :
i. pour d = 2, r u(r) = c ln(r) + co.
ii. pour d > 3, r h u(r) = + co-
170
www.bibliomath.com
7.4. quation de Laplace
Remarque 7.8
i. Si une fonction radiale harmonique est borne sur ]0, ro] alors elle est constante.
ii. Le calcul prcdent restant valable pour les distributions, on remarque quune distribution
radiale harmonique est une fonction (harmonique et analytique).
Au = 2n
Dans Rd (n > 3), on simplifie les calculs en remarquant que Au tant une distribu
tion radiale, on peut travailler sur des fonctions </>radiales :
Dunod. La photocopie non autorise est un dlit.
M ' - k
171
www.bibliomath.com
Chapitre 7 Quelques quations aux drives partielles classiques
7 .4 .3 q u a tio n d e L ap lace d a n s un d is q u e
On sintresse ici ltude de lquation de Poisson pose sur un disque o les co
ordonnes polaires et la technique de sparation de variables sont particulirement
efficaces.
On se place, dans R 2 muni de coordonnes polaires (r, 6 ), on cherche la solution
de lquation de Laplace avec conditions aux limites de Dirichlet non homognes,
dans le cas o le domaine dtude O est le disque de rayon > 0 , centr lorigine.
Le problme scrit donc :
ri2 !/ 1 ri u1 ri2
A = ( P + 7 Tr * ? W = 0 V< * 1 6 [ ' :2" [ (7.30)
u(r = R,0) =/(ri) Vri [
o / est une fonction rgulire telle que :
/ ( 0+) = / ( 2 0
f. Dcouverte par Simon Denis Poisson (1781-1840), mathmaticien, gomtre et physicien franais.
172
www.bibliomath.com
7.4. quation de Laplace
y"(r) | 1 y/(r) | 1 r ( 0 ) ^ 0
<p(r) r r2 lf/(d)
et donc :
r2 *Pir) + 9'if) *P'i0)
<p(r)r ip{tlf(9)
Le membre de gauche ne dpend que de la variable r, et celui de droite, de 9
uniquement : il existe donc un rel A tel que :
est encore vrifie. Par un raisonnement similaire sur 9, on montre que la rela
tion (7.31) est vrifie sur tout O.
Du nod. La photocopie non autorise est un dlit.
ne) =
V<9 e [0,2
m
(7.32)
H0+) = -)
<A'(0+) = ^ ( 2 0
173
www.bibliomath.com
Chapitre 7 Quelques quations aux drives partielles classiques
a = fi = 0
a = 0 fi e R
^0 = 4 = (7.33)
\ln
ce qui implique :
w eN (7.34)
Les valeurs propres sont donc doubles. Aprs normalisation, les vecteurs de base
sont :
^n,l(d) = j= COS(nd)
j pour n e N* (7.35)
^,2(0) = = sin (nd)
yn
174
www.bibliomath.com
7.4. quation de Laplace
cette quation contenant uniquement des termes de la forme r* tp^(r), il est naturel
de rechercher des solutions de la forme
r h rp
Par suite :
p - n
La solution devant tre de classe C2 lintrieur du disque, elle doit y tre borne.
Le cas p = - n, qui donne la solution non borne au voisinage de 0 (r i- p), est donc
rejeter.
La solution admissible est donc
<Pn : f
1
y R'1p {an cos(n6) + pn sin(0)f = f(9) , 6 e [0 , 2n[
Dunod. La photocopie non autorise est un dlit.
Zo Vi
l C2n
Rna = I f(t) cos (nt)dt
yn Jo (7.37)
1 C2n
R'1P,, = p I fit) sin (nt)dt
yn Jo
175
www.bibliomath.com
Chapitre 7 Quelques quations aux drives partielles classiques
On a donc, finalement :
1 r 2*
u(r,0) = J f{t)dt
>2n
f ( t ) COS(ftf)i/ij cos(n0) + |J ' f(t) sin(nt)J?| sin(n0) j
1
u{r, 0) = JoC2'n ( \r~ f 1 \
1 1 + 2 2 _J ^ cos(n (0 - 0 ) dt (7.38)
La fonction ainsi obtenue est parfaitement dfinie sur le disque tout entier.
En outre, comme
f +00
r
Z ^ cos(n (0 - 0) = Re 12 ^ !
U=l
= R eS L ei(e-0
1 _ g/(0-0
1 Re
= RJ ei - 0 _____ R - r ^ _______ |
\R (R - re^ -d ) (R - rg-i(0-O)J
(r R e ^ -r \
[R R2 + r2 - 2 Rr cos(0 - 1) j Rr cos(0
r R cos(fl - t ) - r 2
R2 + r2 - 2 r R cos(0 - 1)
+^ r"
1 +2Zj cC0S(n
o s ( n ((e0 ~ {^) -=
- 0 R 2 + r2 _2rR c o s ( O - t)
11=1 K
on a donc :
R2 - r 2
(r'e,= =1 /(,){ [R2 + r2 - 2 r R c o s ( 0 - t )
dt)
R2 - yMIl2 ^
u(M)
-rw \\\OM-OMR,t
* (7.39)
176
www.bibliomath.com
7.4. quation de Laplace
Mi
h f/*>f R2 - \\OM\\2
dt)
[\\OM - OMR<t\\2 )
(7.40)
m\ < f ( 6 ) < m2
alors :
m\ < u{r, 6) < m2 V Mr = (r cos0, r sin0) 2
C2n R2 - \\M\\2 d t _ f 2 ( ,2 rR c o s ( 6 - t) - r 2 )
Jo IlM - OMr\\2 Jo I R2 + r2 - 2 r R cos(0 - / ) /
Dunod. La photocopie non autorise est un dlit.
p2 n ( + pi )
= Jo i 1 + 2 Z ^ cos(" (0 ~ O) ^
= 2n
^271
cos (n (6 - t)) dt = 0
I
177
www.bibliomath.com
Chapitre 7 Quelques quations aux drives partielles classiques
t=T ~ , * = ln (7.41)
cr1 E
et on pose :
C(S,t) = EC(x, t)
ce qui conduit :
dC d2C dC ~
- j + f t - B - - ; (7.42)
T
o :
k .% (743)
- dC
Pour liminer les termes kC and (k - 1) de (7.42), on pose :
ox
178
www.bibliomath.com
7.5. Une quation aux drives partielles classique en finance : lquation de Black-Scholes
dC dC d2C
fC(x, r) + = (a2 + (k - l)r - k)C{x,r) + (2a + k - 1)-^+
T dx dx2
1 -k
a= , /3 = a +(k - l)a - k (7.46)
dC d2c \j ^ o-2 T
0, xR (7.47)
= V ( j i T ) e
'.r) = 2 ^ =
2 y/7IT J-,
f C0(y)e r dy
www.bibliomath.com
Chapitre 7 Quelques quations aux drives partielles classiques
(*+l).v . (*+l)z T
:*+l).v
? 2
Vf J x
2 Vf
( k +\ ) x , ( k + l ) 2 T a *+ oo
e 2 + 4
e 1 dz
yfn
( k +\ ) x , ( k + l ) 2 r
e 2 + 4 x (k + 1) -\fr\
y /n
f e rfi
'H* 2 J
( k+ ) x , ( k + l ) 2 r
e 2 + 4
f 2 N|
yfn
o la fonction derreur complmentaire erfc et la distribution gaussienne cumule N
sont dfinies, pour tout nombre rel x, par :
2 n+oo 2 2 z'-* 2
erfc(x) = I e- ' dt = = | 6
yTT J * yTT v / - c o
Finalement, on obtient :
tt+l).v . (*+l)' x r\
(k + 1) y/r\ (*-l).v
(*->* . (*-1)2t / x (k - \ ) y f r \
C(x, t ) - e - n(
\ V2? V2 - ) ~ e 2 4 N(~v^ tf )
Sachant que (7.46) donne :
(7.45) conduit :
{k+l ) x (A+l) T / CT" x
= e* + 1) V r j - e kT V5(fc- 1) Vf)
180
www.bibliomath.com
7.5. Une quation aux drives partielles classique en finance : lquation de Black-Scholes
Compte-tenu de (7.41) on a :
cr2( T - t )
r =
N J L _ - ( f c - i)o- V r ^7
- Vt - 1 /
dC
iii. Le Vega (dont le nom vient de la form e de la lettre v) v = .
cr
iv.Le Thta 0 =
dt '
dC
v. Le rho p =
dr'
181
www.bibliomath.com
Chapitre 7 Quelques quations aux drives partielles classiques
F i g u r e 7 . 7 - L e d e lt a , e n f o n c t io n d u p r ix d u s t o c k 5 e t d u t e m p s f, p o u r = 100,
r= 6% ,
La bonne stratgie, pour un trader, est de travailler sur des positions qui sont delta-
neutres au moins une fois par jour, et, quand lopportunit se prsente, d augm en
ter, le Gam m a et le Vga [2].
182
www.bibliomath.com
I n t r o d u c t io n
AUX APPROCHES
VARIATIONNELLES
Les approches variationnelles reprsentent des outils puissants pour la recherche de
solutions d quations aux drives partielles avec des conditions aux limites. Elles
permettent, en particulier, de travailler sur des domaines de form e trs gnrale, bor
ns ou non (ce qui n est pas le cas lorsque l on utilise des techniques de sparation
des variables). Elles donnent des rsultats d existence globale (et non juste autour
des conditions aux limites). Ce cadre m athmatique propice permet, en outre, de
construire des techniques d approximation fiables.
Dans ce qui suit, on travaillera uniquem ent sur des problm es elliptiques, ce qui
correspond souvent pour le physicien, des problm es purem ent spatiaux. Ceci dit,
en considrant les problmes d volution com m e des problm es spatiaux param
trs en temps, on peut dduire des proprits sur des classes de problmes beaucoup
plus gnrales. Le lecteur intress aura avantage tudier des ouvrages de rfrence
comm e [6 ,7 ,8 ].
8.1 P rincipe d es a p p r o c h e s v a r ia t io n n e l l e s
Un des problmes fondamentaux, lorsque l on tudie une EDP, est de choisir lespace
(et la structure algbrique correspondante) dans lequel on doit chercher la solution.
Un cadre idal est celui des espaces de Banach (espaces de Lebesgue, espace des
fonctions continues sur un compact muni de la norm e sup), mais le fait que la boule
unit ferme pour la topologie forte ne soit pas compacte (car ce sont des espaces de
dimension infinie) rend ltude difficile (toutes les suites n ont pas de valeurs d adh
rence).
Lide de base des approches variationnelles est de considrer les EDP au sens des
Dunod. La photocopie non autorise est un dlit.
183
www.bibliomath.com
Chapitre 8 Introduction aux approches variationnelles
Au + f = 0 dans Q
( 8. 1)
u= 0 sur d.
et o dil est le bord de il, / tant une donne du problme. Cette formulation du
problme est appele formulation forte. Ce systme correspond, typiquement, la
recherche de la flche dune membrane soumise son propre poids (si / reprsente la
gravit) attache sur le bord du domaine i l Cest aussi celui qui rgit la rpartition de
temprature dun domaine en contact avec un thermostat et soumis une source de
chaleur / . Par la suite, on fera des hypothses sur Q et sur / pour donner un contexte
dans lequel on sait dterminer si le problme possde, ou non, une solution.
La recherche de solutions la formulation forte (solutions au sens classique) nest
que rarement possible, on va donc commencer par donner lEDP (sans regarder
les conditions aux limites) un sens trs gnral en considrant que u et / sont des
distributions (chapitre 4). On a donc :
d2
En utilisant la dfinition du Laplacien A = ^ -, et la dfinition de la drivation
i=i dxf
au sens des distributions, on obtient
v-< / du d(f>
V<p e D(Q) (8.3)
I f W dx,l ~
184
www.bibliomath.com
8.1. Principe des approches variationnelles
Dfinition 8.1
u e H l(Q.)< => uL
2(Q), V i {1
uXj
grad(i<) 6 (L2(i))d
P ro p o sitio n 8.1.
i. H
1(Q) peut tre muni de la structure d espace de Hilbert grce au produit scalaire
suivant :
(u, v)H\ = ( u,u) L 2 + (grad(w), grad())(L2 )rf V (u, v) e H l(Q) x H l(Q.) (8.6)
(8.7)
Pour pouvoir l crire sous cette forme, il a fallu supposer que / tait au moins loca
lement intgrable. Pour la suite, on va mme supposer / e L2(fi), de faon pouvoir
tendre le domaine de dfinition de f.
La condition <f> D (fi) n est pas trs satisfaisante et peut tre amliore en tra
vaillant dans un espace plus grand. Dans labsolu, plus l espace de test est grand,
mieux la fonction u est spcifie. Il est ici possible de raisonner par densit en cher
chant le plus grand espace tel que lquation garde son sens.
185
www.bibliomath.com
Chapitre 8 Introduction aux approches variationnelles
Dfinition 8.2
P ro p o sitio n 8.2.
i. // ( f i) est unsous-espace vectoriel ferm de
ii. //(2) concide avec l ensemble des fonctions de H 1(il) qui s annulent sur i l
On voit que <p peut tre pris dans et que, par ailleurs, u doit appartenir
// ( f i) pour satisfaire les conditions aux limites.
Cette dernire proprit permet de faire passer la condition aux limites dans l es
pace de recherche de u. On aboutit enfin la formulation suivante du problme :
Cette formulation est appele formulation faible, elle permet d utiliser des tech
niques de recherche de solution et dapproximation trs puissantes.
Remarque 8.1
Pour ceux qui naiment pas les distributions, la formulation faible peut tre obtenue par des
techniques dintgration classiques (elle peut aussi tre donne directement comme modle
physique, comme cest le cas pour le principe des puissances virtuelles en mcanique). Lide
est de partir de lquation forte, de la multiplier par un champ test qui sannule sur <9i, din
tgrer sur le domaine puis de raliser une intgration par parties (thorme de la divergence) :
Au + / - 0 (8.9)
( 8 . 10)
soit :
( 8. 11)
'n
186
www.bibliomath.com
8.1. Principe des approches variationnelles
Lintgrale dune divergence sur un domaine est gale lintgrale du flux normal sur le
bord ; de plus, si g est un champ scalaire et v un champ vectoriel :
On en dduit :
Il faut complter la squence dquations en prcisant les espaces fonctionnels qui donnent
du sens lexpression obtenue. Il faut intgrer des gradients, ce qui require que u soit dans
Hl() et <pdans //(2). Il faut aussi prendre en compte les conditions aux limites sur u, ce
qui conduit u e //().
a(u, u) R V (u, v) e V2
a(u\ + U2,v) = a(ui,v) +a(u2,v) V ( w i , V3, V l R (8.18)
a(u, iq +H2) = a{u, vi) + fja(u, u2) V(k, ui,u2) V3, V/r R
187
www.bibliomath.com
Chapitre 8 Introduction aux approches variationnelles
Dans lannexe D, on donne des rsultats permettant de prouver les proprits sui
vantes :
i. I est continue sur V :
Dans la section 8.2, on prsente des thormes permettant de conclure sur lexis
tence et lunicit de la solution du problme dans V (et mme des rsultats plus
puissants). En 8.3, on montre que la solution du problme faible peut dans certain
cas avoir une rgularit au sens classique. En 8.4, on applique lapproche variation
nelles des EDP plus gnrales. Enfin, la section 8.5 prcise comment utiliser les
formulations faibles pour obtenir de bonnes approximations.
Pour clore cette introduction, donnons une formulation quivalente dans le cas o
la forme bilinaire a est symtrique, i.e. lorsque a(u, v) = a(v, u) pour tout ( m, v)
de V2.
Trouver u e V tel que, pour tout v V : J(u) < J(v), avec J(v) = ^ a(v, v) - l(v)
(8.23)
Remarque 8.2
Dans le cas de lquation de Poisson :
J{v) = ^
f grad(u)2dx - f fvdx
L Ja Jn
que lon interprte comme une nergie potentielle.
188
www.bibliomath.com
8.2. Problme variationnel abstrait
On reconnat un polynme du second degr en q. Pour que lingalit soit vraie pour
tout q e R, il faut que le discriminant soit ngatif ou nul, et donc
8.2 P ro blm e v a r ia t io n n e l a b st r a it
Dans cette partie, on tudie des problmes variationnels abstraits. Dans un espace de
Hilbert H, on introduit :
un convexe ferm K de H;
une forme bilinaire continue coercive a ;
une forme linaire continue /.
189
www.bibliomath.com
Chapitre 8 Introduction aux approches variationnelles
Pour la suite nous allons avoir besoin de nommer les diffrentes constantes. On d
signe par a la constante de coercivit de a et M sa constante de continuit. On pourra,
si besoin est, utiliser directement ||/||* pour la constante de continuit de /.
Le thorme le plus gnral se contente des hypothses ci-dessus, ceci dit, le cas
particulier o la forme bilinaire a est symtrique est trs intressant et joue un
rle pratique important. Le lecteur est invit consulter les annexes B.4 et B.5 qui
prouvent les thormes fondamentaux utiliss dans ce chapitre.
Dmonstration. Pour u e H, on a 0 < a||u||?, < a(v, v) = ||u||a < M\\u\\2H; ainsi, a
def
est un produit scalaire quivalent (., .)#, et (H, || ||a) est un espace de Hilbert dans
lequel l est continue. Daprs le thorme de Riesz (voir B. 15), il existe un unique L
de H tel que : l(v) = a(L, v), Vu e H. On a donc :
(8.26)
K tant un convexe ferm de (H, ||.||fl), daprs le thorme de projection (voir B.10),
Pk (L) e K est lunique vecteur tel que ||L - Pk (L)||a < ||L - u||a quel que soit v e K.
On en dduit que lexistence du minimiseur de lnergie, qui est u = P/r(L).
Corollaire 8.5. Sous les mmes hypothses, u = Pk (L) est l unique solution de
a(u, v - u) > l(v - u), Vu e K.
190
www.bibliomath.com
8.2: Problme variationnel abstrait
soit :
l(v - PK(L)) < a(PK(L), v - PK(L)) (8.29)
Rciproquement, supposons u e K et a(u, v - u) > l(v - u), Vu e K. On a alors :
(8.30)
Bien sr, le cas particulier o K est un sous-espace vectoriel ferm (que lon no
tera V) est intressant.
Dmonstration.
Unicit : si mi et U2 sont deux points fixes, on commence par crire :
f . Cest--dire quil existe une constante k dans lintervalle ]0 ,1 [ telle que, pour tout (x,y) e H1 :
Hr* - Ty\\ < ||x - /||.
191
www.bibliomath.com
Chapitre 8 Introduction aux approches variationnelles
Il en rsulte :
(1 - )||mi - K2II < 0 => i = 2 (8.33)
Existence : pour Mo H, on pose m+ 1 = T m ; on va montrer que la suite ( m)6N est
une suite de Cauchy.
Par rcurrence immdiate :
et :
\\Un+l ~ M ||// < *"||1 - M oll// (8.35)
Par ingalit triangulaire :
ce qui conduit :
(p-i \
l|w/i+p u\\n ^ k Z1=0* / lli ~ Mollh = t j ^lli - ollh (8.37)
1- k
Il en rsulte :
k"
Uh\\h < - -|| mi - Moll// >n->00 0 (8.38)
1- k
Comme (un)nn est une suite de Cauchy et que lespace est complet, elle converge
vers une limite u e H, qui vrifie : m = Tu. m
(AM,v) h = a(u, v) Vv 6 H
192
www.bibliomath.com
8.2. Problme variationnel abstrait
soit :
a(u\ + u2, v) = a(u\, v) + a(u2, v) = (AU|, v)H + (A2, v)H (8.40)
et donc :
(^(mi+h2) (ui A2), v)h = 0 (8.41)
ce qui prouve que A(H|+2) = (AMl + A2). On raisonne de mme sur Au avec A R,
on montre que Au = AAU. Et donc h A est linaire, on emploie donc la notation
Au (oprateur appliqu un vecteur).
Enfin :
\a(u, )| = \{Au, v)H\ < M\\u\\h\\v\\h
On prend v = Au, et on en dduit : ||Aw||// < M\\u\\n. Lapplication A est donc conti
nue.
193
www.bibliomath.com
Chapitre 8 Introduction aux approches variationnelles
Le rsultat prcdent dexistence et dunicit peut tre complt par une tude de
la relation entre la solution u et le chargement Z.
o on a utilis le fait que PK est contractante (voir B. 12). On arrive au mme rsultat
que pour le thorme de Lax-Milgram sur lespace entier.
Soit u tel que Tc{u) = u, on rappelle que la projection satisfait :
194
www.bibliomath.com
8.3. Notions sur la rgularit de la solution faible
On a vu que Hq() est un espace de Hilbert, que a est bilinaire symtrique continue
coercive, et que / est continue coercive. On peut en dduire, grce au thorme de
Stampacchia, que la solution u du problme faible existe et quelle est unique.
On peut maintenant sinterroger si cette solution u de //(O) a un sens plus clas
sique. On interprte lquation au sens des distributions pour <p T)(fL) c Hq(D) :
195
www.bibliomath.com
Chapitre 8 Introduction aux approches variationnelles
Au = 0 dans Cl
(8.51)
U= Ud sur dCl
Autrement dit on cherche une fonction harmonique dont la valeur est impose sur le
bord du domaine.
On introduit lespace suivant :
INlHi<C||rf||ffi (8.55)
o C est une constante qui dpend de O.
196
www.bibliomath.com
8.4. Traitement de quelques EDP
Au = 0 dans il
sur dil (8.56)
II
s
grad (u )-n = g sur dgil
On introduit lespace de recherche *V suivant :
cest un sous-espace affine de H1(il) dont lespace vectoriel associ <Vo est :
On a suppos que dil possdait la rgularit requise pour que loprateur de trace
restreinte (sur la portion dil du bord) soit bien dfini et continu. Dans ces conditions
*Vo est un sous-espace vectoriel ferm de H1(il). De mme, on suppose ici que uj est
suffisamment rgulier pour que lon puisse dfinir un relvement d de Ud dans *V.
Une proprit fondamentale de lespace 'Vo, qui servira montrer la coercivit
de la formulation variationnelle, est que, sous des conditions de forme de il, les
fonctions qui le composent vrifient une ingalit de Poincar ds que la mesure (de
surface) de duil nest pas nulle. Typiquement, on peut reprendre la dmonstration de
la proposition D. 10 pour Hq(H) avec 2 dans une bande de direction non parallle
duil.
Il faut bien noter que les conditions de Neumann ne rentrent pas dans lespace de
recherche (il faudrait utiliser un espace de recherche autre que H 1 pour leur donner
du sens).
La formulation variationnelle sobtient par multiplication par un champ test dans
'Vo et intgration par parties :
197
www.bibliomath.com
Chapitre 8 Introduction aux approches variationnelles
Cette formulation prend du sens pour g e L2(dgi), puisquon peut alors utiliser le
thorme de Cauchy-Schwarz pour montrer la continuit de la forme linaire (en
utilisant la continuit de lapplication trace pour passer de IM I^ Q) IMI#i(n))-
La formulation vrifie les hypothses du thorme de Stampacchia. On a donc
existence et unicit de la solution et continuit vis--vis du chargement, qui scrit :
198
www.bibliomath.com
8.4. Traitement de quelques EDP
dans lespace des fonctions moyenne nulle, que lon note fUm pour lequel, le tho
rme D.12 assure lexistence dune constante de Poincar.
Pour rsumer :
- Au = 0 dans Q
(8.66)
grad(w) n = g lu sur d.
199
www.bibliomath.com
Chapitre 8 Introduction aux approches variationnelles
8.5 T e c h n iq u e s d a p p r o x im a t io n
de R it z -G a l e r k in
Si les rsultats prcdents donnent lexistence et lunicit de la solution faible, ils
nindiquent pas comment la calculer. On va voir ici que la formulation faible per
met de dfinir des techniques dapproximation trs efficaces. Considrons donc une
formulation faible de la forme :
Trouver u dans H tel que, pour tout v e H : a(u, v) = l(v) (8.69)
ce qui est quivalent, si a est symtrique, la formulation nergtique :
Trouver u dans H tel que, pour tout v H : J(u) < J(v) avec J(v) = j a(v, v) - l(v)
(8.70)
o H est un espace de Hilbert, a une forme bilinaire continue coercive, l une forme
linaire continue.
Le principe de lapproximation consiste travailler dans un sous-espace vectoriel
de H de dimension finie, que lon dsigne par V*.
On introduit le problme approch suivant :
Trouver Uh dans V* tel que, pour tout v e V/t : a(uh, v) = l{v) (8.71)
ce qui est quivalent, si a est symtrique, la formulation nergtique :
Trouver U), dans V/, tel que, pour tout v e V* : J(uh) < J(v) (8.72)
Lexistence et lunicit de la solution de la formulation approche (et lquivalence
nergtique dans le cas symtrique) sont obtenues par application du thorme de
Lax-Milgram (ou Stampacchia dans le cas symtrique) dans le cas o K est un sous-
espace vectoriel. En particulier, cela signifie que, si la solution u appartient V*, alors
lapproximation conduira la solution exacte.
Daprs ce qui prcde, il est clair que u/t est la meilleure solution dans V* au
sens de lnergie dans le cas symtrique, cest aussi celle qui, dans tous les cas, rend
lerreur orthogonale V* (au sens de a). En effet, en prenant le problme faible de
base test dans Vh, on obtient :
a (u -u h,vh) = 0, Svh Vh (8.73)
On en dduit le rsultat suivant :
a\\u - Uh\\H < a(u - U h , u - Uh) = a( u - U h , u - Vf, + v/t - Uh), V it, V*
= a(u - u/,, u - Vh) + a( u - Uh, ity, - m/,)
=o (8.74)
< M \ \ u - u h\\H \ \ u - V h \ \ H
M
IlU- uh\\H < II - Vh\\H , Svh Vh
a
200
www.bibliomath.com
8.5. Techniques dapproximation de Ritz-Galerkin
Proposition 8.12. L e m m e d e C a
M
11 - /ill// < inf IIu - Vh\\H (8.75)
a vi,eVh
La matrice A hrite des proprits de la forme bilinaire a : elle est symtrique, dfinie
positive (grce la coercivit). Un tel systme peut tre rsolu par une factorisation
de Cholesky ou un gradient conjugu.
Dunod. La photocopie non autorise est un dlit.
201
www.bibliomath.com
Chapitre 8 Introduction aux approches variationnelles
Exercices
202
www.bibliomath.com
Exercices
Trouver u //(]0,1[) tel que, pour tout e //(]0,1[) : I(u) < I{v),
-A u + eu - f dans Q
(8.78)
u = 0 sur d.
o c est une fonction positive borne (i.e. c L(Q) et 0). Pour simplifier, on
pourra supposer c continue.
On veut montrer lexistence et lunicit dune solution faible dans //(O) au moyen
Dunod. La photocopie non autorise est un dlit.
203
www.bibliomath.com
Chapitre 8 Introduction aux approches variationnelles
Corrigs
1. Il faut vrifier que no est bien dfinie, autrement dit que est intgrable
sur I :
f \u'dt< f \\u\dt
I UQtp'dx = - I I
Ji J i J XQ
nxo nx r>b pX
=- I u' (t) d t< p '{x )d x - I I u ' (t) d t (/>'( x) d x
J a Jxo
204
www.bibliomath.com
Corrigs
mieux adapt :
=- I u'(t) ! <p'(x)dxdt
Jie[a,Ao] Jxe[a,l]
=- I u'(t)<p(t)dt
Jte[a,xo]
Donc (mq - u') = 0 au sens des distributions. Daprs lnonc, cela implique :
u ~ U pp C constante- Comme uq et c, u est donc (la classe d) une fonction
continue, et on peut identifier u avec u(xo ) + uq .
2. On travaille sur 7 = [a, b], qui est un intervalle born. On introduit la forme
trace gauche :
\7a(f)\ = \ m \ = /(* o )+ f f ( t ) d t
J[x0,a]
Dunod. La photocopie non autorise est un dlit.
l/(*o)l + f |/'( 0 | dt
Jla,b)
l/lj)l + Vit - I \ f f dt j
205
www.bibliomath.com
Chapitre 8 Introduction aux approches variationnelles
\ \< \b -a \-L
2 \ \ f \ \ L 2 + \ b - a \ +k f \ \ i ?
(a + b a2 b2
\2 / < ~2+ T
ce qui implique
On sait que / doit tre continu, on va supposer quil est de plus deux fois d
rivables par morceaux (sur [a, xq\ et [xo, b]) ce qui permettra de trouver une
solution. Sur les deux intervalles [a, xo] et [xo, b] on peut intgrer par parties :
= JP
a
( f - f ")(t>{t)dt + J x[ ob(f - f ") { t) m d t + ^ (xo)
206
www.bibliomath.com
Corrigs
d2u
r(x) = f{x) Vx e]0,1[, avec e L2(]0 , 1[) et(0) = m(1) = 0.
dxz
On peut crire :
d2u
- v(x) = f(x ) v(x) V u e //GO, 1[), V x e]0,1[
ce qui implique :
JT1 d2u T1
^djc2^ v(x)dx = J f(x )v (x )d x Vv e H q Q0 , 1[)
puis :
-^(x)u(x)l
dx J0
- f -y-W =
Jo dx
f(x ) v(x) dx
dx o
//(]0,1[).
Or:
du
= 0, car v e //Q0,1[) = > u(0) = u(l) = 0.
dx
Finalement, uest solution du problme variationnel :
Dunod. La photocopie non autorise est un dlit.
du
a(u, -(x) (x) dx v) =f
j dx dx
avec :
m f(x ) v(x) dx
- r
2. a : // (]0 ,1[) x // (]0 ,1[) * R est valeurs dans R.
^ a(-, ) est symtrique : V (u, v) e //(]0, 1[) x //(]0,1
207
www.bibliomath.com
Chapitre 8 Introduction aux approches variationnelles
^ a(-, ) est bilinaire : a(-, ) est symtrique et linaire par rapport chacune
de ses deux variables :
V/t e R, V(mi, u2) ff(]0, ID x Zf(]0, ID , Vo ff(]0, ID ,
208
www.bibliomath.com
Corrigs
209
www.bibliomath.com
Chapitre 8 Introduction aux approches variationnelles
a(-, ) //-coercive = > 3oro > 0 / Vu e //(]0 , 1[), a(v, u) > ao ||u||^,
a(-, ) dfinit un produit scalaire, not (, -)i et, pour tout u de //(]0,1[) :
0 < a o llvllff, < a(v, v )< M ||u||^,.
Ainsi, la norme associe au produit scalaire (, -)i, note || Ih, est quivalente
II Hjyi.
//(]0,1[) est donc un espace de Hilbert pour la norme || ||j, car //(]0,1[)
est un espace vectoriel norm complet pour la norme || ||i (les limites des
suites convergentes (donc de Cauchy) sont inchanges pour des normes qui
valentes) et muni dun produit scalaire (, -)i-
De plus, L( ) est une forme linaire continue sur //(]0,1[). On est donc dans
le cadre dapplication du thorme de reprsentation de Riesz dune forme
linaire :
3 ! u Hl0Q O ,\[ ) / m = (u,v)l =a(u,v) Vu 6 //(]0,1[).
Do lexistence (et lunicit !) dune solution au problme variationnel.
4. On veut montrer que a(u,v) = L(v) Vu //(]0,1[) <=> I(u) < /(u)
Vu e //(]0,1[).
| = | On suppose u solution de :
a(u,v) = Uv) Vu //(]0,1[)
~ \ a(v ~ u' v ~
car v - u //(]0,1[) (espace vectoriel) et,
a{u, v - u) - L(v - u)
>0
(= 0 si et seulement si u = v)
Do:
a(u, u) = L(v) Vu e //(]0,1[) = > I(u) < /(u) Vu e //(]0 , 1[)
210
www.bibliomath.com
Corrigs
ce qui implique :
Il en rsulte :
A = (a(u, v) - L())2 < 0 V u e // (]0 ,1[)
puis :
a(u, v) = L(v) V u e //(]0,1[)
Finalement :
I(u) < /( d) V tf<5(]0,1[) = > a(u, v) = L(d) V u Hl0(]0, 1[)
(w - un, v) i = 0 V v e Vn
soit :
(uN,v)i =(u,v)i Vv V n
(linarit de (, -)i par rapport la premire variable)
soit :
(un, v) = (m, u) i = L(u) V v Vn
211
www.bibliomath.com
Chapitre 8 Introduction aux approches variationnelles
ce qui implique :
puis :
a(uN, v) = ( m, u) i = L(v) Vu Vn
(daprs (4) applique u e Vn c //(]0,1[))
On cherche donc un dans Vn tel que, pour tout u de Vn :
a(uN, u) = L(v)
u = ipi V i e II, NJ
ce qui implique :
N
^ j a(<fij, <pi) = L{tpi) V i e |[1, NJ
j=i
En crivant ces quations sous forme matricielle, on obtient :
212
www.bibliomath.com
Corrigs
A jc - b
avec :
A - : :
=
a , X= , b =
\ v r
X= . , $ = .
Mn . SPn .
Par suite :
et :
[xT A x = 0 <=> x = 0R;v] = > A est dfinie
Ainsi, la matrice A est symtrique, relle, dfinie, positive : elle est donc
diagonalisable, et toutes ses valeurs propres sont strictement positives. Par
consquent :
det(A) ^ 0
et le systme linaire correspondant est un systme de Cramer. Il existe une
Dunod. La photocopie non autorise est un dlit.
- J Auvdx + c u u dx udx
JQ JQ
L
grad(u) grad(u) d:c + f
JQ
cuvdx I fvdx +
Jq
Le dernier terme est limin, car v sannule sur d.
213
www.bibliomath.com
Chapitre 8 Introduction aux approches variationnelles
\a(u
HX1 grad(w) grad(ii) dx + I cuv dx
J a
IMIffi < V ^ l l g r a d
X _^
J a J a
214
www.bibliomath.com
R a p p e l s d a n a l y s e
ET DE GOMTRIE
A .l Fo n c t io n s d e p l u s ie u r s v a r ia b l e s
A.1.1 Dfinitions
Q. tant un domaine ouvert* de R 2, on dfinit une fonction sur Q valeurs dans R :
/ i Q > R
(A.2)
M h /(M )
On dit que la fonction est continue en Mo = ( x q , i/ o) e O si :
V > 0 , 3 j] > O/VA avec ||/z|| < y , |/(M 0) - /(M 0 + h ) \ < s (A.3)
On rappelle que la continuit de la fonction implique celle des fonctions partielles
(x i> f(x, i/o) i/o fix), mais que la rciproque est fausse.
La fonction est diffrentiable en Mo = (xo. i/o) e O sil existe une forme linaire
note / m0 de R 2 dans R telle que
Dunod. La photocopie non autorise est un dlit.
215
www.bibliomath.com
Annexe A Rappels danalyse et de gomtrie
/ 2\
' d2F " 7 dx dx idy_
dx2 \xj 2 dx\
dXdX dx2
d2F dx dx I dx dy dx dy \ dy dy d2f
dXdY dXd \dX + dX) dXd dxdy
d2F dxdy^
, dY2 > V (!) dYdY S)
dy2 )
d2x d2y j
dx2 dX2 ( d f )
d2x d2y dx
(A.9)
dXdY dXdY d f
d2x d2y \d y )
d2 dY2 J
216
www.bibliomath.com
A.2. lments de gomtrie
dF _ d f dx d f y
X ~ xX + y X
dZ -
z - Z(x 1, *2) et = - j f - ( x i , X 2 , z) pour 1 = 1,2 (A. 10)
X li
A.2 lm ents de g o m t r ie
On considre lespace R 3 muni dun systme de coordonnes (jc, y, z) orthonormal.
Dunod. La photocopie non autorise est un dlit.
A.2.1 Courbes
Une courbe continue C est un ensemble de points dont les coordonnes dpendent
continment dun paramtre t. On crit :
rm "
C ! t h-* IM(r) y(t) y (A. 11)
II
,z(0,
217
www.bibliomath.com
Annexe A Rappels danalyse et de gomtrie
Si les fonctions sont C 1 et que les drives par rapport t ne sannulent pas simul
tanment, on peut dfinir le vecteur tangent (to) au point M(?o) :
(dx\
dt
dy
(A. 12)
dt
d t\
dF df(M(t)) d l (M(,dM.(t) = ( d f d f d f \ %
(A. 14)
dt dt d MK d t K) \dx y dzjm ) dt
dz
'd tl
Qr
o lon reconnat le gradient de / (not - ^ ) appliqu au vecteur tangent la courbe.
A.2.2 Surfaces
Une surface S est un ensemble de points dont les coordonnes dpendent contin
ment de deux paramtres ( m, v). On crit :
'x(u, vf 'x"
S : (u, v) i- y(u, V) = y (A. 15)
,z(u, V), U (u,v)
J
218
www.bibliomath.com
A.2. lments de gomtrie
Dans lespace R 3, une surface S peut tre dfinie (au moins localement) par une
quation implicite f(x, y, z) = Constante.
En diffrenciant cette expression au point Mo = (xo, yo, zo) de la surface, on ob
tient :
'dx
Idfdfdf
0 = df\t0 dy (A. 16)
(cbc dy dz ) m 0
,dz,
Pour quun vecteur (dx, dy, dz) appartienne au plan tangent S en Mo, il doit tre
orthogonal au gradient de / en M q.
Dunod. La photocopie non autorise est un dlit.
219
www.bibliomath.com
www.bibliomath.com
Elm en t s
d a n a l y s e
HILBERTIENNE
Lobjectif de cette annexe est de rappeler les principales proprits des structures
les plus utiles dans cet ouvrage. Pour un expos plus complet, contenant notam
ment ltude des espaces duaux, le lecteur est renvoy aux ouvrages de rf
rence [3,4,17,18].
Dans ce qui suit, E dsigne un espace vectoriel sur le corps des complexes C.
B .l DFINITIONS
B.l.l Norme
Dfinition B.l
On appelle norm e sur E une application ||.|| vrifiant les quatre axiomes suivants :
i. Positivit :
Vx e E :\\x\\ > 0 (B.l)
ii. H om ognit :
Vx E , V e C: \\ x \\ =|J|||x||
iv. Sparation :
Dunod. La photocopie non autorise est un dlit.
Vx E : llxll = 0 o x = 0 (B .4)
221
www.bibliomath.com
Annexe B lments danalyse hilbertienne
la norme retenue. Nanmoins, deux normes peuvent dfinir les mmes topologies si
elles sont quivalentes.
Dfinition B.2
Deux normes ||.||i et IMI2 sont quivalentes sil existe deux rels et /? strictement
positifs tels que
VxeE, a|Wlt <IWl2<jS|Wli (B.5)
P ro p o sitio n B .l . En dimension finie toutes les normes sont quivalentes (ce qui fait
quil n est pas ncessaire de les spcifier).
Remarque B. 1
Une norme est un cas particulier de distance, en effet on peut poser d(x, = |.v - y\\ (
est une application positive qui vrifie lingalit triangulaire et nest nulle que si y).
Outre des proprits topologiques, une norme fournit donc des proprits mtriques (comme
la compltude).
Dfinition B.3
ii. Symtrie :
V(x, y) e E x E , : <p(x, y) (p(y, x) (B.7)
Vx e E : <p{x,
0
(B.8)
<p(x, x) - 0 <= x - 0
222
www.bibliomath.com
B.l. Dfinitions
Dfinition B.5
Wx e E : <P(x, ^ 0
(B .ll)
<>(x, x) = 0 =0
Si ip est un produit scalaire (ou hermitien) alors x >-> f<p(x, x) est une norme que lon
note ||x||. On a alors le rsultat suivant :
On obtient ainsi un trinme du second degr en t, qui est toujours positif : son discri
minant rduit doit donc tre ngatif ou nul :
ce qui conduit :
l<>(x, y)l< ||x|| IMI
223
www.bibliomath.com
Annexe B lments danalyse hilbertienne
Si le discriminant est nul, alors, le trinme en admet une racine double, et il existe
alors un rel ttel que :
On appelle espace prhilbertien un espace vectoriel muni dun produit scalaire (ou
hermitien).
T h orm e B.3. Un espace vectoriel norm E peut tre muni d'une structure d'es
pace prhilbertien si et seulement s'il vrifie lidentit du paralllogramme :
E x E - >R
E x E - C
(*, y) i-> <P(x, y) =^ (||* + /||2 - ||* - /||2 + 11* + i /||2 - i||* - i /||2)
224
www.bibliomath.com
B.l. Dfinitions
(x, z) + (y, z) = ^ (||* + zll2 - II* - z||2 + Ily + z\\2 - Ily - z\\2)
(H q
ce rsultat stend tout sca aire reel en utilisant la densit* de Q dans R et la conti-
pP
nuit des applications i- P - x + z e t - H x z
q q q q
225
www.bibliomath.com
Annexe B lments danalyse hilbertienne
Exemple B. 1
Q tant dnombrable et dense dans R, R est sparable. Par extension, Rd est sparable.
Les espaces LPpour 1 < p < oo sont sparables (voir le chapitre
B .2 C o m p l t u d e
B.2.1 Suites
Une norme permet de dfinir une topologie (forte) et donc une notion de convergence.
Dfinition B.8
Une suite (*)eN d lments d un espace vectoriel norm (E, ||.||) converge dans
E vers une limite C si et seulement si :
Dfinition B.9
Une suite (*)6n dlments dun espace vectoriel norm ( , ||.||) est une suite de
Cauchy si et seulement si :
Remarque B.2
Une suite convergente est pcessairement une suite de Cauchy.
226
www.bibliomath.com
B.2. Compltude
Exemple B.2
Considrons lensemble des rationnels, Q, muni de la norme usuelle, i.e. la valeur abso
lue.
Pour tout rationnel q, on dsigne par E(q) sa partie entire.
Les suites (a)/I6N et (bfl)nen dfinies, pour tout entier naturel n, par :
sont bien des suites dlments de Q ; elles sont clairement des suites de Cauchy (pour
s > 0 donn, il suffit de choisir no dans la dfinition prcdente de sorte que > 10-("0+1)).
La suite (an),in converge dans Q vers ^ ; par contre, la suite (bn)neN ne converge pas
dans Q (elle converge dans un espace plus grand, en loccurrence R, vers n).
Un espace E est dit complet si toutes les suites de Cauchy de E convergent dans E.
Exemple B.3
R peut tre vu comme le plus petit espace contenant Q et rendant les suites de Cauchy
valeur dans Q convergentes.
Exemple B A
K tant un ensemble compact de Rd, considrons lespace C(K) des fonctions continues
de K dans R.
i. Muni de la norme sup (ou norme || ||l~(/o), C(K) est complet : les suites de fonc
tions continues sur K, qui sont de Cauchy au sens de la norme sup convergent vers des
fonctions continues^
(C(K), || ||l(A:)) est donc bien un espace de Banach.
227
www.bibliomath.com
Annexe B lments danalyse hilbertienne
ii. Muni de la norme || \\L2 C(K) nest pas complet, les suites de Cauchy convergeant
I dans un espace plus grand (en loccurrence L2(K)).
Pro p o sitio n B.6. Q. tant un ouvert de R**, les espaces de Lebesgue L P(Q),
1 < p < oo sont des espaces de Banach.
Dmonstration. Voir le chapitre sur lintgration de Lebesgue C.
Exemple B. 5
R, muni du produit scalaire (x, y) i-> x y, et de la norme x |jc|, est un espace de Hilbert.
Exemple B. 6
Rd, muni du produit scalaire canonique
d
i= 1
et de la norme
d
Exemple B . 7
Lespace des suites relles de carr sommable
228
www.bibliomath.com
B.3. Sommes hilbertiennes
et de la norme
x A ^ \xn\2
Exemple B. 8
Q tant un ouvert de R**, L2(Q) est un espace de Hilbert pour le produit scalaire
Remarque B.3
(T tant une fonction valeurs positives, et Q tant un ouvert de R^, on peut tre galement
amen travailler avec lespace L2(il) des fonctions / telles que
B .3 S o m m e s h ilb e r t ie n n e s
Dans un espace de dimension finie, comme R^, on dcrit facilement les lments de
Vespace par le choix d'une base approprie. Malheureusement ces outils si pratiques
n'existent plus en dimension infinie. En procdant par analogie, on a cherch dter
Dunod. La photocopie non autorise est un dlit.
miner s'il n'tait pas possible, en considrant des familles gnratrices, infinies mais
dnombrables, d'obtenir des proprits similaires celles qui existent en dimension
finie.
Dans ce qui suit, dsigne un espace de Hilbert, dont on notera (.,.) le produit
scalaire, et I un ensemble dindices.
t. Otto Ludwig Hlder (1859-937), mathmaticien allemand, qui travailla, notamment, sur les sries
de Fourier, mais, aussi, sur la thorie des groupes : il est lorigine du thorme de Jordan-Hlder
sur les groupes finis, qui permet de retrouver lunicit de la dcomposition dun entier en produit de
facteurs premiers. O. Hlder a aussi montr que la fonction Gamma ntait solution daucune quation
algbrique.
229
www.bibliomath.com
Annexe B lments danalyse hilbertienne
B.3.1 Orthogonalit
Dfinition B.13
(/ri ,h2)0
Dfinition B.14
Dfinition B.l 5
Dfinition B.l 6
230
www.bibliomath.com
B.3. Sommes hilbertiennes
Remarque B A
La dernire condition signifie quil nexiste pas dlment non nul de Tl qui soit orthogonal
tous les membres de la base hilbertienne (/f),ei e Tl1, i.e., pour x Tl :
V/ e I, ( x , hf) = 0 => x = 0
T horm e B.8. Tout espace de Hilbert sparable admet au moins une base hilber
tienne dnombrable.
Remarque B. 5
Dans le cas despaces non-sparables (mais complets), il existe toujours des bases hilber
tiennes, mais elles ne sont pas dnombrables. La dmonstration fait appel au lemme de
Zorn [18].
Remarque B. 6
Outre certaines bases classiques, les bases hilbertiennes utilises sont gnralement issues de
problmes aux valeurs propres, comme celui de Sturm-Liouville prsent au chapitre 6.2.
Exemple B. 9
Dunod. La photocopie non autorise est un dlit.
Lexemple le plus simple de base hilbertienne est la base canonique (en) de lespace ^2(N),
dfinie par :
en = {n,k)k^O (B. 19)
Pour tout entier naturel n, e est donc le vecteur dont toutes les composantes sont nulles,
sauf la nlme.
231
www.bibliomath.com
Annexe B lments danalyse hilbertienne
x = Y J(x,hh)hik (B.20)
k=0
= i wi 2 + z w 2- 2 Z w 2 = ii^ ii2 - Z w 2
n=1 n= 1 n= 1
La srie numrique des |jc/fI|2 est constitue de termes positifs (ou nuis) et elle est
borne (par ||*||), elle est donc absolument convergente.
Par suite, la srie de terme gnral (jc/a hin) est de Cauchy, puisque, pour tout entier
Ni < N:
N Ni N w
Xi,Mn ^ Xi,Mn = n Z * ' A ,n 2 = E ^ |2
/1=1 /1=1 n=M+l n=Ni+1
232
www.bibliomath.com
B.4. Projection sur un convexe ferm
* *
d< - X = ^ ll(*n - * ) + (*i - * ) l l
Dunod. La photocopie non autorise est un dlit.
2
(B.23)
< I
L
ll(* ~ *)ll + \L ll(*, - *)ll (,n , m ) - * o o d
*n ^ *n
donc - X d. Par ailleurs, en utilisant lgalit du paralllo-
<J-( >+oo
gramme, on obtient :
233
www.bibliomath.com
Annexe B lments danalyse hilbertienne
La suite (kn)ne^ est bien une suite de Cauchy ; comme j i est complet, elle converge
dans <H : kn - * x o e *7/, mais comme (&)neN est aussi une suite du ferm K, alors :
*0 K.
Unicit : Si on suppose que x\ et *0 sont dans K tels que ||*i - x\\n = || jco - *|| = d
alors, par convexit,
*1 + Xp
d< - X < x (ll*i - *11 + 11*0 - *11) = d (B.25)
2 2
Lgalit du paralllogramme
Le thorme prcdent a utilis les normes, on peut aussi travailler sur les produits
scalaires.
Dm onstration.
i. =* ii. Soit y K, pour t ]0,1[, on pose : Y = ty + { \ -t)* o e K- On a alors :
et donc :
( * - * 0, y - *0) < (B.27)
( x - y + y - x 0, y - *0) < 0
- (* - y, *0 - y)<n + Ily - *ll^ < 0 (B.28)
0 < Ily - *oll^ < (* - 1/, *0 - y)<n
234
www.bibliomath.com
B.4. Projection sur un convexe ferm
Il en rsulte :
II* - *ol^ < (* - XQ, x - y)<H < II* - *olMI* - y\\<H (B.31)
Pour tout z de K :
(1y ~ Pidy ). z - PKiy))<H ^ 0
et, en particulier, pour z = Pk (x) :
Dunod. La photocopie non autorise est un dlit.
Un cas particulier est celui o ATest un sous-espace vectoriel ferm (que lon note V).
235
www.bibliomath.com
Annexe B lments danalyse hilbertienne
Comme lingalit est vraie pour <pet -<p, cela nest possible que si, pour tout 0 de
V : (x - Pv(x), <f>) = 0.
{ Pv JXH)
Im (/V )= V
Pv projection orthogonale sur V <=>
PZv = Pv
(Pv(u), v)<H = (u, Pv(v))<H v (n, V) e Pi1
(B.34)
(i - P v ( u \),4>)^h =0'j
(<2 Pv(,u2)1 0)w = 0> ^ {Pv{u\ + uf) (Pv(ul) + Pv(u2 )i 0
(ni + n2 - Pv(u 1 + uf), 4>)<H = ol
(B.35)
ce qui signifie que Pv(u\ + 2) - (Pvit* 1) + Pviuf)) -L V or tous les termes sont
dans le sous-espace V donc Pviui + uf) = Pviu1) + Pv(u2)- En prenant U2 = ni
on obtient P v(m) = Py(n 1), en prenant U2 = ni, on a P(2ni) = 2P{u\). Par
rcurrence : P(nu\) = nP(u\) pour tout n Z. En posant nui = u2 dduit
-P (n 2) = P(,), et donc par rcurrence Pviqui) - qPviu 1) avec q e Q. Par
densit de Q dans R et par continuit de Pv, on dduit la linarit.
236
www.bibliomath.com
B.5. Dualit dans les espaces de Hilbert
(B.37)
De plus :
l l / l l * = I\hf\\<H
237
www.bibliomath.com
Annexe B lments danalyse hilbertienne
Dmonstration.
Unicit : si, pour / *W', il existe (/i|, h2) (H2 vrifiant :
<f, x) = A( f , h )
et
(f, h)
(h,Ah)n
WhWlf
- si x e est quelconque, on le dcompose sur ker / et (ker / ) x .
238
www.bibliomath.com
B.5. Dualit dans les espaces de Hilbert
239
www.bibliomath.com
www.bibliomath.com
Elm ents
d in t g r a t io n
de Lebesg u e
C .l M o t iv a t io n
Lintgrale de Riemann* telle qutudie dans les premires annes de Licence, se
rvle dun usage peu pratique :
i. les fonctions intgrables au sens de Riemann doivent tre les limites uniformes
de suites de fonctions en escaliers, ce qui impose une rgularit assez forte aux
fonctions manipuler ;
ii. les extensions aux intgrales sur des domaines 2D ou 3D ne sont pas triviales ;
iii. le traitement des domaines du type [a, + o o [ sur lesquels lintgrale est dfinie
comme la limite dintgrales sur des compacts croissants peut poser problme :
certaines fonctions oscillantes (telle / : i h-> sin(i2) qui correspond un r
sonateur de Fresnel) dont lintgrale de Riemann sur un domaine infini existe
alors que le systme est constamment acclr) pose des
difficults dinterprtation physique ;
iv. pour un domaine donn, lensemble des fonctions intgrable au sens de Riemann
ne peut tre muni dune structure topologique pratique (les espaces ne peuvent
Dunod. La photocopie non autorise est un dlit.
241
www.bibliomath.com
Annexe C lments dintgration de Lebesgue
ii. les fonctions qui interviennent dans la dfinition sont beaucoup plus gnrales
(fonctions mesurables) ;
iii. on approxime les fonctions par en-dessous , le cas chant on nhsitera pas
crire f f = + ;
l'v. lintgrale de Lebesgue conduit dfinir des espaces de Banach et de Hilbert trs
pratiques.
La construction de la thorie des probabilits et lintgration de Lebesgue pos
sdent des fondations communes (thorie de la mesure).
Notation
Dans la suite, on note R = R U {+00}u {- 00) la droite numrique acheve. Cet ensemble sert
manier des grandeurs pouvant tre infinies.
C .2 R a p id e c o n s t r u c t io n de l i n t g r a l e
d e L e be sg u e
D finition C.l
Une cr-algbre (ou tribu) est un ensemble de sous-ensembles de il stable par com
plmentation (dans O) et union dnombrable (et donc intersection dnombrable).
242
www.bibliomath.com
C.2. Rapide construction de lintgrale de Lebesgue
Remarque C. 1
Pour les thormes qui suivent (notamment sur le calcul dintgrales multiples), il est intres
sant de remarquer que la mesure de Lebesgue est cr-finie : on peut construire un recouvrement
de Q par des borliens de mesure finie.
Il existe des borliens de mesure nulle. On dira qu'une proprit est vraie presque
partout si elle est vraie partout sauf sur un ensemble de mesure nulle. Dans le cas
de la mesure de Lebesgue, les ensembles de mesure nulle les plus classiques sont
les unions dnombrables de singletons (par exemple /l(Q) = 0). Il existe d'autres
ensembles de mesure nulle mais ils sont plus tranges (ce sont des fraciales comme
l'ensemble triadique de Cantor). Typiquement, deux fonctions qui sont gales sauf en
quelques points sont gales presque partout.
Exemple C 7
Une fonction / continue nulle presque partout est nulle partout.
En effet, soit co lensemble de mesure nulle o / nest pas nulle : cj = f~ l (R*) ; or, R* est
ouvert, la continuit de / implique que est ouvert.
On peut donc faire rentrer une boule ouverte dans u, mais elle doit tre de rayon nul,
puisque :
0 = (j) > /l(boule)
Par suite : c j = 0.
Dans un espace mesurable (iQ, B), une fonction numrique / : Q >R est mesu
rable si, pour tout ouvert cu c R, Z1(eu) G Z
Remarque C.2
Il est noter que les fonctions mesurables sont trs gnrales : tout dabord construire un
ensemble qui nest pas un borlien est difficile (mais faisable), ensuite lexistence de fonctions
Dunod. La photocopie non autorise est un dlit.
non mesurables repose dans R sur lhypothse (indcidable) du continuum infini de Cantor
et dans R^ sur laxiome du choix.
On peut donc considrer que toutes les fonctions que nous utilisons sont mesurables.
Dfinition C.3
Une fonction / est dite tage sil existe une partition finie de O en borliens telle
que / soit constante sur chacun de ces borliens.
t. La mesurabilit est la seule rgularit requise pour envisager dintgrer des fonctions au sens de
Lebesgue. En particulier les fonctions continues sont mesurables.
243
www.bibliomath.com
Annexe C lments dintgration de Lebesgue
Remarque C.3
Une fonction tage est bien entendue mesurable.
Proposition C.l. Lensemble des fonctions tages est dense dans lensemble des
fonctions mesurables au sens de la convergence simple. De plus, les fonctions mesu
rables bornes sont limites uniforme de suites de fonctions tages.
Les ensembles antcdents sont les An = f~ x(In,k) (autrement dit, sur A, pour
k < 22n : k - 1 < 2 ''/ < k et 22" < / sur A,Ii22+i ), les A,hk sont des borliens puisque
/ est mesurable. On pose*
k=1
f < / et (/)nsN >/ simplement : en effet, en un point x, ds que f(x) < 2", on a
If(x) - f(x)\ < 2~" ; si / est borne, alors il suffit de choisir n tel que 2" > sup |/ | ;
on obtient ainsi la convergence uniforme.
C.2.3 Intgration
La construction de lintgrale se fait en plusieurs tapes :
i. Pour une fonction tage positive / : / vaut jfc sur le borlien bk ; les (bk) parti
tionnent Q, on pose alors :
ii. Pour une fonction mesurable positive / : fQfdA = sup <pd avec <p tage sur
(2, B) et 0 < <p < / presque partout sur O.
244
www.bibliomath.com
C.3. Rsultats importants
iii. Pour une fonction mesurable relle / , on dfinit ses parties positive et ngative
respectivement par :
/ + = supC/, 0) , / = su p (-/, 0)
Ji Jil Ji
f fd A = f -
iv. Pour une fonction mesurable / valeurs complexes, on intgre partie relle et
imaginaire sparment.
Dfinition C.4
Une fonction positive est dite intgrable au sens de Lebesgue si fQ fdA < +oo.
iii. Pour prouver qu une fonction f est Lebesgue-intgrable sur 2, il suffit de trouver
Dunod. La photocopie non autorise est un dlit.
Vx e : <
0
245
www.bibliomath.com
Annexe C lments dintgration de Lebesgue
Alors :
_,+00 (
lim J Q f nd/1 = f lim f nd e R +
n >-(-00
(C.2)
I lim inf f nd < lim inf [ f nd < lim sup f nd < f limsup^,rf/l (C.3)
JQ n^+oo n >+oo n->+co Jn Jn -> + 0 0
57/ em te une fonction g intgrable sur 2 que, pour tout entier naturel n :
\fn (x )\ < g ( x )
alors :
lim f f nd = f lim ///I (C.4)
n->+oo J Q J Q n- > + 00
V x e V 0 : \f(x,t)\< g (t)
246
www.bibliomath.com
C.4. Comparaison Riemann-Lebesgue
Thorme C.10. Si Jf
Q \f(x)\dx existe (au sens de Riemann) alors f est intgrable
sur [a, oo[ (au sens de Lebesgue) et JT f(x)d x = ^ fd.
Exemple C.2
x h est R iem an n in tg ra b le sur R , m a is p a s L e b e sg u e -in t g r a b le .
L e b e sg u e ), m a is p as fR ... q ui n a p as d e se n s.
Notation
On p ose :
' / = fn fd(Ax Ay)
Dunod. La photocopie non autorise est un dlit.
247
www.bibliomath.com
Annexe C lments dintgration de Lebesgue
Exemple C.3
On considre la fonction / dfinie par : f(x, y) =
xy
x2 + y2
Le calcul montre que :
- - 1 IJX
XIJ
f \f\d(x y) = +oo
Ja
Remarque C.5
La dmarche pour calculer une intgrale multiple consiste donc calculer dabord lintgrale
de la valeur absolue (grce au thorme de Tonelli) : si le rsultat est infini, la fonction nest
pas intgrale, sinon elle lest et on peut appliquer le thorme de Fubini ( la fonction sans
valeur absolue).
Remarque C.6
On reconnat le Jacobien du changement de variables ; la valeur absolue est une diffrence par
rapport Riemann, elle est due au fait que les domaines dintgration ne sont pas parcourus
selon une orientation donne.
i. Pour p e1,
[ +oo[, on note \\ f\y = \f\pd)p.
ii. Pour p= oo, on note ll/Hi = supessn |/ | = inf{C > 0 /|/| < C}
pp
iii. Soit lp() lensemble des fonctions telles que \\f\\u> < +oo.
248
www.bibliomath.com
C 6. Espaces de Lebesgue
Un problme avec ces espaces est que \\f\\u> = 0 => / = 0, et l application || \\u>
pp
ne spare pas des lments gaux presque partout (des lments non nuis, mais nuis
presque partout, prennent pour valeur zro). Pour palier ce problme, on quotiente
l espace par la relation = et on dfinit alors l espace Lp{i). Cette espace estform
pp
des classes dquivalence de l galit presque-partout, si ( / , g) e lp()2 avec f = g
pp
alors f et g sont reprsents par le mme lment dans Lp{il).
D f in it io n C .6 E sp ace de L e b e sg u e
On va prouver que l espace Lp{i) ainsi dfini est un espace vectoriel et que l ap
plication f i- \\f\\u> est une norme. Les caractres positif, dfini et homogne de
l application sont vidents, tout comme la non-vacuit de l espace et sa stabilit par
multiplication par un scalaire. Il reste prouver l ingalit triangulaire (qui impli
quera la stabilit de l espace par l addition), qui est dmontre l aide du rsultat
intermdiaire suivant.
P r o p o s i t i o n C l 4. Ingalit de H lder
( i- ) > ln (ap)+ (l - ln = ln
\P P ') P \
puisque -1 +
1 = 1.
,
P P'
Par suite :
, aP bP\
ab < +
P P
t- Ingalit dYoung.
249
www.bibliomath.com
Annexe C lments dintgration de Lebesgue
On en dduit :
P P'
puis, en intgrant :
i i =
P P
Preuve de lingalit triangulaire. On fait la dmonstration pour 1 < p < oo, le cas
p = oo tant plus classique. On montre dabord la stabilit de lespace par addition :
pour ( /, g) Z/(Q)2, comme p > 1 on a convexit de la fonction puissance p donc
Ilf + g\\p
D, = f If + gfdA
Jsi
< f (\f\ + \g\)\f + g\p~xdA
Jn
Proposition C.l 5.
L (Lp(Q), || ||jj>) est un espace de Banach pour 1 < p < oo.
ii. (L2(f2), || 11^2) est un espace de Hilbert, de produit scalaire associ
L = f fgdA
(f,g) (f,g)2 (C.8)
Jn
Dmonstration. Pour 1 < p < 00, soit (fn)nen une suite de Cauchy de LP(Q).
On peut donc en extraire une sous-suite (/^ ) telle que :
Wfnic+I ~ fnkWu* ^
Posons :
k- 1
s k () fn \ + ^ j ( f n k+i fn k) * ftiK
k= 1
250
www.bibliomath.com
C.6. Espaces de Lebesgue
Proposition C.16. Soient (/)6]n une sue de LP, et f une fonction de Lp, telles
que ||/ - f\\u> - 0.
Alors, il existe une sous-suite extraite (f,k) telle que
Dunod. La photocopie non autorise est un dlit.
251
www.bibliomath.com
Annexe C lments dintgration de Lebesgue
Exemple C A
La fonction de Heaviside dans R, qui vaut 0 sur R et 1 sur R+, est une fonction L\oc(R).
A ce titre, elle est utilise comme une distribution (voir le chapitre 4).
En tant que fonction de L)oc, il est important de noter que parler de sa valeur en 0 na pas
de sens ({0} tant un ensemble de mesure nulle).
Remarque C . 7
Il ny a pas de rsultat gnral dinclusion des espaces, sauf si on travaille sur un ensemble
de mesure finie (/1(2) < oo) auquel cas si p < q on a Lq c Lp (application de lingalit de
Hlder avec la fonction indicatrice du domaine).
Exemple C.5
D f in it io n C .7
u * v(x) f
JR'
u(x - y)v(y)dy (C.10)
n
Ilu * v\\Li =
h u(x - y)v dAx < \u(x - |
JRrf I d
On peut appliquer le thorme de Tonelli :
252
www.bibliomath.com
C.8. Rsultats de densit et de sparabilit
253
www.bibliomath.com
Annexe C lments dintgration de Lebesgue
Thorme C.21. Les espaces LP sont sparables (ils contiennent des sous-espaces
denses dnombrables) pour 1 < p < +oo. 1
254
www.bibliomath.com
P r o p r i t s
d e l e s p a c e
de So bo lev H ] ( q )
Dfinition D.l
On dsigne par H 1(Ci)le sous-ensemble de 1)'(il) des distributions qui peuvent
sidentifier une fonction de L2(il) et dont la drive (au sens des distributions)
peut sidentifier une fonction de L2().
D.l S tr u ct u r e a l g b r iq u e
P roposition D.l. H l(Q.) estun espace de Hilbert pour le produit scalair
pour tout ( u, v)de x H 1(Ci), par :
Rem arque D. 1
Dunod. La photocopie non autorise est un dlit.
Il en rsulte :
255
www.bibliomath.com
Annexe D Proprits de lespace de Sobolev H '(ft)
sont des fonctions die H1(Ci) et a e R un scalaire, il est vident que (u+a v) L2(Cl).
On sait que <9,m et sont dans lespace vectoriel L?(Ci), et que la drivation (faible)
est une application linaire^ donc <9,(w+ av) = (5,h + a djv) qui est donc dans L?(Ci).
Donc H1(Ci) est bien stable par laddition interne et la multiplication par un scalaire,
cest un espace sous-vectoriel de (Ci).
Par ailleurs, lapplication
est clairement bilinaire, symtrique, dfinie positive. Cest donc un produit scalaire.
Il reste vrifier la compltude. cet effet, on considre une suite de Cauchy
(w/OrceN de H\Ci) :
daprs la remarque, (urt)n^n et (diUn)ne]n sont des suites de Cauchy, chacune dans
L2(Ci) qui est complet. Elles convergent donc dans L2(Ci) : dsignons par
leurs limites respectives. Il reste montrer que 1/, = ,m. On raisonne par densit.
Linjection de L2(Ci) dans D'(Ci) est continue, ainsi, (u)nem et
convergent aussi dans T)'(Cl). Comme la drivation est continue dans D'(Cl), alors :
d,u >diU
256
www.bibliomath.com
D.2. Rgularit des fonctions, notion de trace
et donc
\a(u,v)\ < ||u||Hi Huilai (D.9)
Les thormes qui suivent permettent de mieux qualifier les fonctions de HlRd)
en termes de drivabilit classique et dintgrabilit. Une proprit remarquable est
Dunod. La photocopie non autorise est un dlit.
Ce thorme est utile pour donner une rgularit classique (drivabilit forte) aux
solutions des formulations faibles : on prouve quelles appartiennent des espaces de
Sobolev et automatiquement, on obtient une rgularit classique. En particulier, on a
les rsultats suivant en dimension 1 despace : //'(R ) c C(R) et H2(R) c C*(R).
257
www.bibliomath.com
Annexe D Proprits de lespace de Sobolev H1(n)
Thorme D.4. 2:
S id >
Ce thorme montre donc que lexistence dune drive faible permet de gagner
en intgrabilit (mieux que L2).
Il faut maintenant traiter le cas des domaines ouverts il c plus gnraux.
La description de tels domaines est assez lourde. Lide est de recouvrir . par des
ouverts sur lesquels on peut dfinir des paramtrages simples (le domaine est dcrit
par un atlas de cartes locales). Sur le bord de i, on souhaite pouvoir localement, via
un diffomorphisme, ramener le domaine un demi-espace infini (Figure D.l).
Dans ce qui suit, nous travaillerons systmatiquement sur des domaines suffi
samment rguliers . En particulier, on vitera les domaines qui ne sont pas que dun
ct de leur bord (Figure D.2), ainsi que les bords fractaux.
La question fondamentale, pour traiter des problmes avec conditions aux limites,
est la possibilit de dfinir une valeur sur le bord du domaine pour des fonctions de
La question nest pas triviale puisque, typiquement, on nest pas capable de
dfinir la valeur dune fonction de L2(Q.) sur un bord (qui est un ensemble de mesure
258
www.bibliomath.com
D.2. Rgularit des fonctions, notion de trace
volumique nulle), lexistence dune drive faible L2 qui va permettre de dfinir une
valeur au bord.
Dfinition D.2
Il faut bien comprendre quil sagit dune nouvelle notation : pour Q ouvert,
est lensemble des fonctions C support compact dans i l Comme . nest pas un
ouvert, D() est un objet mathmatique diffrent. En particulier, les fonctions de
D() peuvent avoir des valeurs non nulles sur <9il
Pour toute fonction dfinie sur i l sa trace est la fonction restreinte (ou prolonge)
dfinie sur le bord du domaine (sous rserve dexistence).
On va se ramener une configuration simple (quitte utiliser une carte locale sur
un domaine suffisamment rgulier). Dans R d_1 x R*, on pose soit u une
fonction dfinie sur R d_1 x R*, on veut pouvoir dfinir la fonction v, trace de u, en
Xd = 0 : v(x') = u(x', 0). Il faut distinguer les cas suivants :
si m e C(R'i), alors v est bien dfinie et e C(Rii_1).
I j | , du
si e C (R x R*) et existe et est borne lorsque Xd >0, alors v est bien
OXd
dfinie (prolongement par continuit).
si u e IXR^1 x R*) on peut dfinir :
yo ui
> yo(u) avec yo(u)(x ) - u ( x , 0) (D.10)
P ro p o sitio n D.6.
i. yo est continue de D (R rf_1 x R*) (muni de la topologie de R d_1 x R*)) dans
D(R^_1) (muni de la topologie de //5 (R d_1)).
ii. yo se prolonge en une application linaire continue surjective de R^-1 x R*)
d a n s H k R d- ).
iii. ker yo = Hq(R^-1 x R*), o on rappelle que //(D) a t dfini comme l adh
rence de D(Q) dans H l(Q,).
P ro p o sitio n D.7.
259
www.bibliomath.com
Annexe D Proprits de lespace de Sobolev H ](&)
i. L'espace trace H ll2(dSi) (qui peut tre dfini intrinsquement par transforme
de Fourier) concide avec les traces de fonctions de H 1(Ci). Toute fonction de
H2(dCi) est la trace d'au moins une fonction de H 1(Si).
ii. H l2 (d S l)cL 2(dSl).
iii. H(dSi) est un espace Hilbert pour le produit scalaire dfini, pour tout
(fi 9) H i2 (d S l)xH i2 (dSl):
(/(* )-/(* /))(? (* )-g({/))
(/> ^L2{dQ) +
LdflxdCl \x~y\d
dSxdSy (D. 11)
INI//1(O) l|w||tfl(]Rd)
Dfinition D.3
On dsigne par H~l(il) le dual de //(O). Cest un espace de Hilbert pour la norme
duale.
H l0 (Q -) > ),
\Q
L H q{Q) H l0(Q) (D.1
D .3 In g a l it s de P o in c a r
260
www.bibliomath.com
D.3. Ingalits de Poincar
D.3.1 D an s H ]0 (Q)
Lintrt de Hq vient du fait que la fonction est nulle sur dQ, ; il est clair quelle ne
peut grandir (en norme) que si son gradient est suffisamment grand, ou si le domaine
est grand. Cest ce que lon va prciser dans le cas dun domaine born dans au moins
une direction.
Dfinition D.4
Soit R rf tel que || = 1 (on note avec une simple barre la norme euclidienne
dans R d), et ]a, b[c R un intervalle de mesure finie non nulle :
= [x R d/ a < x (D.14)
P ro p o sitio n D.l 0. Soit l un ouvert de R rf tel que O c fi/,() (cffigure D.3), alors
a
Mu e H l0(Q), | \u l2 - ||grad(w)||^ 2)rf
<
\\2
Dunod. La photocopie non autorise est un dlit.
www.bibliomath.com
Annexe D Proprits de lespace de Sobolev H' (2)
Ainsi
h2
\L2 < - j II grad(w)||^2)rf (D.19)
Corollaire D.l 1. Si Cl est inclus dans une bande de largeur h, alors Vapplication
u e Hq( ) ||grad(M)||(L2)rf
262
www.bibliomath.com
D.3. Ingalits de Poincar
D .3.2 D an s H'(Cl)
Dans la difficult est que la fonction peut tre grande , mme pour un
petit gradient (il faut imaginer tout simplement une fonction constante). On doit donc
ajouter un contrle sur la fonction, classiquement, on utilise la moyenne.
Thorme D.l 2. Soit Q un ouvert born de tel que Vinjection de
Hl(i) > L2(0) soit compacte (ce que Von appelle un ouvert de Nikodyn). Alors :
i. Il existe Pq > 0 tel que pour u e H 1(O) avec I udx = 0 :
JQ
IMI2 < ^nllgrad()|| (D.22)
= - f udx
mes(2) J q
Alors, (u - ) satisfait les hypothses du premier rsultat, et :
D f in it io n D.5
263
www.bibliomath.com
www.bibliomath.com
B ib l io g r a p h ie
2011.
265
www.bibliomath.com
In d ex
Symbols dilatation
transforme de Fourier, 84
cr-algbre 242 transforme de Laplace, 93
distribution
A support compact, 64
association avec une fonction, 62
abscisse dexistence 92
conjugaison, 63
Application trace 259
de Dirac, 63,74,76
B de Heaviside, 63,74, 76, 252
de Poisson, 101
Banach-Picard 191 positive, 64
base hilbertienne 230 tempre, 73
domaine de dpendance 164
C dyade 118
Ca 201
Coercivit 188
condition aux limites quation
de Cauchy, 2, 160, 161, 164, 165 dadvection, 5
de Dirichlet, 3 de Burgers, 157
de Fourier, 3 de la chaleur, 8,100,164
de Neumann, 3 de Laplace, 166,177
relvement, 126 de transport, 5,153
condition initiale 2 des ondes, 11, 159-161
Constante de Poincar 263 espace
Contraction 235 complet, 227
convergence faible 62 de Banach, 227
convolution de Hilbert, 228
dune distribution et dune fonction, 70 de Lebesgue, 248
de deux distributions, 71 de Schwartz, 73
de deux fonctions, 252 des fonctions dcroissance rapide, 73
courbes caractristiques 26, 37, 38 sparable, 226,253
266
www.bibliomath.com
Index
267
www.bibliomath.com
quations aux drives partielles
268
www.bibliomath.com
www.bibliomath.com
72746 - (I) - (1,2) - OSB 80 - EPS - JRF
JOUVE
1, rue du Docteur Sauv, 53100 MAYENNE
2223070B
Dpt lgal : aot 2015
Dpt lgal l i,c dition : 2012
Imprim en France
www.bibliomath.com
SCIENCES SUP
O
M ATHM A TIQ U ES
PHYSIQUE
0 CHIMIE
^ S C I E N C E S DE LINGNIEUR
0 INFORMATIQUE
^ S C I E N C E S DE LA VIE
^ S C I E N C E S DE LA TERRE
Claire David
Pierre Gosselet
quations
aux drives partielles
Cours et exercices corrigs Claire David
Matre de confrences
lUPMC (Paris)
Cet ouvrage, destin aux tudiants en Licence de sciences ainsi au laboratoire
q u a u x lves in gn ieurs, est une in tro ductio n ltude des Jacques-Louis Lions.
quations aux drives partielles.
Il est articul en trois parties : prsentation des rsultats g Pierre Gosselet
n ra u x p o u r les q u a t io n s d ordre 1 et 2, a n a ly s e spectrale Charg de recherche
au CNRS.
(transformation de Laplace, transform ation de Fourier), et enfin Charg de cours lENS
q u e lq u e s e x e m p le s c la s s iq u e s d q u a t io n s a u x d rives par de Cachan.
tielles : quation de Laplace, quation de la chaleur, quation
des ondes.
Cette nouvelle dition a u gm ente intgre un chapitre d intro
duction a u x a p p ro ches variationnelles ainsi que de n o u v e a u x
exercices dont certains corrigs d v e lo p p s so n t d isp o n ib le s
sur le site dunod.com .
LICENCE DOCTORAT
Les actus
n
9 782100 727469
m
D U N O D
5789119
ISBN 978-2-10-072746-9 du savoir d u n o d .c o m
www.bibliomath.com