Equations dondes

MOHSSINE Fatima-Zahrae
10-06-2013
Table des matires
1 Introduction 2
1.1 Histoire du concept donde . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Gnralis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2.1 Classication des e.d.p. linaires du second ordre . . . . . . 6
1.2.2 Exemples de modles hyperboliques . . . . . . . . . . . . . 6
1.2.3 Exemples de modles paraboliques . . . . . . . . . . . . . . 9
1.2.4 Equation des ondes - Equation de la chaleur . . . . . . . . . 11
2 Lquation des ondes 12
2.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.2 Rsolution analytique de lquation de dAlembert . . . . . . . . . 14
2.2.1 Rappels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.2.2 Rsolution de lquation une dimension . . . . . . . . . . 15
2.2.3 Cas dun problme symtrie sphrique . . . . . . . . . . . 21
2.3 Etude de la mthode dapproche . . . . . . . . . . . . . . . . . . . 22
2.3.1 Rappels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.3.2 Schma de base . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.3.3 Consistance - Erreur de troncature . . . . . . . . . . . . . . 28
2.3.4 Stabilit - Estimation dnergie discrte . . . . . . . . . . . 29
2.3.5 Convergence . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
3 Application : Cordes vibrantes 33
3.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.2 Equation des cordes vibrantes . . . . . . . . . . . . . . . . . . . . . 35
3.3 Rsolution numrique . . . . . . . . . . . . . . . . . . . . . . . . . . 40
4 Conclusion 47
1
Chapitre 1
Introduction
1.1 Histoire du concept donde
Le concept donde est lun des plus universels de la physique mathma-
tique. Ce dernier, labor au XVIIe sicle, lorsque la division entre mathma-
tiques et physique (et philosophie aussi) navait pas le caractre institutionnel
que nous lui connaissons, est n de lobservation dun phnomne des plus or-
dinaires : la propagation donde ou des rides la surface de leau (les mots wave
en anglais et Welle en allemand dsignent aussi bien une onde quune vague).
Alors que le concept donde envahissait progressivement tous les domaines de
la physique, au point de devenir lun des deux concepts ontologiques fonda-
mentaux de la physique classique, se dveloppait ltude de ses proprits pro-
prement mathmatiques, tude lie aux travaux du XVIIIe sicle sur les qua-
tions aux drives partielles. lheure actuelle, la situation est telle quun phy-
sicien et un mathmaticien, parlant dondes, ont besoin de sassurer quils
parlent bien de la mme chose.
En dehors des rides la surface de leau, archtype pdagogique, le concept
donde permet de parler en termes physico-mathmatiques de phnomnes
aussi divers que le son (ondes sonores considres comme des ondes de pres-
sion se propageant dans lair), ou que la lumire (de nature lectromagntique,
combinaison de deux champs, lectrique et magntique, dont le couplage est
rgi par les quations de Maxwell). On parlera galement en termes donde de
la propagation des branlements dans les solides ; dans ce cas, il peut sagir
soit dune onde de compression (modlise par la compression des ressorts
liant les wagons dun train, se propageant dun bout lautre du train lorsquon
y accroche une locomotive), soit dondes doscillation, lesquelles peuvent tre
soit longitudinales (les atomes vibrant alors le long de la direction de propa-
2
gation), soit transversales (les atomes vibrant dans un plan perpendiculaire
cette mme direction). Par exemple, les ondes sismiques qui se propagent
dans la crote terrestre lors dun tremblement de terre sont de compression et
doscillation. Toujours dans le domaine classique, on parlera donde de choc
pour dsigner le sillage qui accompagne le mouvement dune source mettrice
dondes : sillage dun bateau sur la mer, bien sr, mais galement sillage sonore
dun avion se dplaant une vitesse supersonique ou sillage (dit de Cerenkov)
dune particule charge en mouvement rapide.
Lapplication du concept donde des domaines aussi vastes que divers tra-
duit simplement le fait que des quations de mme type admettent des solu-
tions de mme type, indpendamment de la nature physique des grandeurs
dont les tres mathmatiques, gurant dans ces quations, sont les reprsen-
tants. Cest pourquoi lon sintressera plus dans lanalyse qui suit aux dter-
minations du concept donde qu la description de ses divers champs dap-
plications. Ce faisant, on ne saurait oublier que le concept donde nest pas un
concept mathmatique et ne peut donc, en aucun cas, se rsumer ltude
mathmatique des quations (dites quations des ondes) qui rgissent les ph-
nomnes ondulatoires.
En physique classique, les concepts donde et de particule vont ncessaire-
ment de pair et lorsquil apparut, au dbut de ce sicle, que la physique clas-
sique ne permettait pas de rendre compte de phnomnes que les progrs tech-
niques rendaient observables, les notions donde et de particule durent, en-
semble, tre soumises une rvision - rvision dchirante du fait de luniversa-
lit de ces deux concepts.
Cependant, tout aulong de llaborationde la dualit onde-corpuscule, vint
natre lide que le concept donde (tout comme celui de particule) na, pro-
prement parler, de sens que dans le domaine classique, numriquement dli-
mit par rfrence la constante quantique, dite de Planck, h. Cest pourquoi
des expressions telles que longueur donde de De Broglie associe une par-
ticule, ou fonction donde ne doivent pas tre prises au pied de la lettre : il
ny a pas donde dans le domaine quantique et, si le mot onde y intervient, ce
nest que de faon mtaphorique.
3
1.2 Gnralis
On se propose dans ce paragraphe de dcrire quelques proprits lmen-
taires des quations aux drives partielles (e.d.p.) linaires du second ordre
coefcients constants, autrement dit, dans le cas de deux variables, des qua-
tions de la forme :
a

2
u
x
2
+b

2
u
xy
+c

2
u
y
2
+
u
x
+
u
y
+u F(x, y) (1.1)
o a, b, c, , , dsignent six nombres rels donns (a, b, c tant non tous
nuls), F une fonction continue de deux variables relles dnie sur un ouvert U
du plan et u une fonction inconnue, suppose de classe C
2
.
On distingue a priori deux types de problmes :
- ceux dans lesquels nintervient pas la variable temps t, et qui ne dpendent
donc que des variables spatiales x, y, z ; ils sont appels problmes station-
naires ;
- ceux dans lesquels intervient, en plus des variables spatiales x, y, z, la va-
riable temps t ; ils sont appels problmes dvolution.
On recherche le plus souvent des solutions vriant des conditions aux li-
mites, signiant que la solution considre u, a priori dnie sur louvert U du
plan, satisfait certaines conditions sur la frontire de U. On distingue ce sujet
deux types de conditions, celles de Dirichlet et de Neumann.
Les conditions de Dirichlet imposent la solution u dtre continue sur
ladhrence de U, cest--dire sur U et sa frontire, et dtre alors gale une
fonction donne sur la frontire de U.
Les conditions de Neumann imposent la solution u dtre continue sur
ladhrence de U, cest--dire sur U et sa frontire, et dadmettre en tout point
de la frontire de Uune drive u/N suivant le vecteur normal Norient vers
lextrieur de la frontire de U (suppose sufsamment rgulire) gale une
fonction donne.
Dans un problme dvolution, on recherche de plus des solutions vriant
certaines conditions initiales (ou conditions de Cauchy), signiant que, lins-
4
tant t = 0, la solution u(x, y, z, t ) de lquation vrie
u(x, y, z, 0) f (x, y, z) (1.2)
o f est une fonction donne, et parfois
u
t
(x, y, z, 0) g(x, y, z) (1.3)
o g est une fonction donne.
Les problmes que lon peut alors tudier sont les suivants :
- Un probleme stationnaire donn avec des conditions aux limites ou un
probleme dvolution donn avec des conditions aux limites et des conditions
initiales, admettent-ils une solution et une seule ?
- Dans lafrmative, la solution obtenue dpend-elle continument des don-
nes (autrement dit, une "petite" erreur commise sur les conditions aux limites
ousur les conditions initiales conduit-elle une "petite" erreur sur la solution) ?
Notons ds maintenant que la linarit de lquation (1.1) implique que :
- les solutions de lquationhomogne (quationobtenue lorsque le second
membre F est nul) forment un espace vectoriel ;
-la solution gnrale de lquation complte sobtient comme la somme
dune solution particulire de lquation avec second membre et de la solution
gnrale de lquation homogne.
5
1.2.1 Classication des e.d.p. linaires du second ordre
Lquation aux drives partielles (1.1) :
a

2
u
x
2
+b

2
u
xy
+c

2
u
y
2
+
u
x
+
u
y
+u F(x, y) (1.4)
est dite de type :
- hyperbolique lorsque b
2
4ac >0
- parabolique lorsque b
2
4ac 0
- eliptique lorsque b
2
4ac <0
b
2
4ac est le discriminant de lquation (1.1).
1.2.2 Exemples de modles hyperboliques
Equation de transport linaire Lquation hyperbolique la plus simple est
lquation de transport lineaire. Elle consiste trouver la solution u(x, t ) R
de lquation aux derivees partielles suivante :
_
_
_
u
t
+c(x, t )
u
x
0 , t 0, x R
u(x, t 0) u
0
(x) , x R (1.5)
Ici le scalaire c(x, t) est donn : cest par dnition la vitesse de propagation as-
socie lquation, au point x linstant t.
Cette quation qui peut sembler trs simple pose des difcults numriques
considrables, elle est toujours lobjet de recherches actuellement (il sagit no-
tamment de savoir calculer la solution sur des temps trs grands). Par ailleurs,
couple dautres quations, elle pose des difcults thoriques galement.
On rencontre cette quation dans un grand nombre dapplications.Citons
Exemple : La circulation automobile On tudie la circulation automobile
sur une route. La variable u(x, t) reprsente la quantit de voitures prsentes
entre les bornes x et x +x linstant t et on appelle F(x, t) le ux de voitures
6
par minute qui passent linstant t devant la borne x. On suppose que chaque
conducteur ajuste la vitesse de sa voiture en fonction uniquement de la vitesse
de la voiture qui le prcde. Alors la conservation de la quantit de voitures (il
ny a ni station-service, ni itinraires de dlestage) se traduit par :
u
t
(x, t ) +
F
x
(x, t ) 0
Si toutes les voitures roulaient vitesse constante donne c, on aurait :
F(x, t ) cu(x, t )
et donc lquation de transport linaire (1.5).
Lquation des ondes et ses variantes Lquation des ondes fournit un des
exemples les plus simples de systme hyperbolique. Voyons cet aspect en d-
tail. Les ondes scalaires se propagent dans un milieu monodimensionnel selon
lquation :
_

2
u
t
2
c
2

2
u
x
2
0 , t R, x R
u(x, t 0) u
0
(x) , x R
u
t
(x, t 0) u
1
(x) , x R (1.6)
Ici la constante c dsigne la vitesse de londe. Cette quationdu deuxime ordre
peut aussi tre crite comme un systme dquations hyperboliques du pre-
mier ordre. En effet, posons :
v
u
t
, w
u
x
7
On a alors :
_

_
w
t
c
v
x
0
w
x
c
v
t
0 (1.7)
Si on introduit le vecteur U et la matrice C dnis par :
U
_
w
v
_
C
_
0 c
c 0
_
lquation (1.6) se met sous la forme :
U
t
+C
U
x
0
quon peut voir comme une quation de transport linaire vectorielle o la so-
lution est valeurs dans R
2
.
Exemple : Acoustique linaire Le son est en fait une consquence dun
mouvement matriel doscillation : une corde qui vibre ou la membrane dun
haut-parleur par exemple. Cette vibrationprovoque unmouvement des atomes
lavoisinant qui va se dplacer de proche en proche sous forme donde de pres-
sion. La vlocit du son varie suivant le milieu dans lequel il se propage. Le
principal facteur est la densit de ce milieu : dans un gaz, sa vitesse est plus
faible que dans un liquide.
On appelle p(x, t ) la pression du uide au point x linstant t et c la vitesse
du son dans le milieu quon suppose constante ici (le milieu est homogne). La
fonction p est alors solution de lquation des ondes dans R
3
:
8

2
p
t
2
c
2
(

2
p
x
2
+

2
p
y
2
+

2
p
z
2
) f (x, y, z, t )
o f est la source lorigine du son.
1.2.3 Exemples de modles paraboliques
Equation de la chaleur Lquation de la chaleur en une dimension est don-
ne par lquation diffrentielle partielle suivante :
u
t
(x, t ) c

2
u
x
2
(x, t ) x R , t >0 (1.8)
o c >0 est une constante donne, u est une fonction inconnue relle de deux
variables x et t . Lquation de la chaleur est lexemple le plus simple dune
quation parabolique.
Ici, u u(x, t ) est la temprature dans un conducteur une dimension. La
valeur de u(x, t ) dpend du temps t 0 et de la position x. En gnral, la valeur
de u(x, t ) en t 0 est donne.
Nous voulons donc rsoudre le problme de Cauchy :
_
_
_
u
t
(x, t ) c

2
u
x
2
0 , t >0, x R
u(x, 0) f (x) , x R (1.9)
9
Conducteurs stationnaires : quation de la chaleur dans un mur
Soit une paroi dpaisseur e, ce mur est homogne : k est constant, sparant
deux milieux temprature xe et uniforme, T
0
( gauche) et T
1
( droite).
Dans ce solide, lquation de la chaleur en stationnaire (toute drive du type

t
est donc identiquement nulle) est simplement :
d
2
T
dx
2
0
la temprature est linaire
dT
dx
a puis T ax +b , la temprature passe de T0
T1, de x = 0 e donc
T T
0
+
x
e
(T
1
T
0
)
et le ux est constant dans le solide, il vaut :
q k(T
1
T
0
)/e
Le ux entrant est le mme que le ux sortant. Si T
0
>T
1
, le ux est positif, il va
bien du chaud au froid.
10
1.2.4 Equation des ondes - Equation de la chaleur
Pas deffet rgularisant Contrairement lquation de la chaleur, il ny a pas
deffet rgularisant de la solution pour lquation des ondes : la solution nest
pas plus (ni moins) rgulire que sa donne initiale. Cest galement une pro-
prit typique des EDP hyperboliques linaires. Elle est fortement lie au carac-
tre "rversible" en temps de lquation. En particulier, les singularits ven-
tuelles sont simplement propages (ce qui pourrait nous amener envisager
des solutions dans un sens plus faible que prcdemment).
Corollaire : Stabilit en norme L

(R[O, T]) Soit T > 0 x et > 0 donn,

soient (g
1
, h
1
) et (g
2
, h
2
) deux couples de fonctions dans C
2
(R) C(R) tels que
|g
1
g
2
|

, |h
1
h
2
|

Soient u
1
et u
2
les solutions respectivement obtenues pour ces donnes de
Cauchy. Alors, pour tout x R et tout t R
+
, t T, on a
[u
1
(x, t ) u
2
(x, t )[ (1+T)
Absence de principe du maximum Contrairement lquation de la chaleur,
on ne dispose pas dun principe du maximum pour lquation des ondes. Pour
sen convaincre, on regarde par exemple la solution dans le cas g 0 et h / 0.
La solution nest pas nulle et donc elle ne vrie pas
mi n
xR
u(x, 0) u(x, t ) max
xR
u(x, 0).
11
Chapitre 2
Lquation des ondes
2.1 Introduction
Lquationdes ondes est unmodle simpli pour la propagationdes ondes
acoustiques, des ondes sonores, lctromagntiques et lastiques. Elle implique
une quantit scalaire relle (qui dans le cas de llasticit et de llctromagn-
tisme doit cder la place des vecteurs ou des tenseurs) et scrit sous la forme :

2
t
u Zu 0 (2.1)
Quand le problme est considr dans un domaine diffrent de lespace
entier, on impose des conditions aux limites. Les plus classiques sont encore
resp. Dirichlet, Neumann et la condition dimpdance :
sur : u(x, t ) 0, resp.
n
u(x, t ) 0, resp.
n
u +Z(x)
t
u 0
Ces conditions aux limites ont des interprtations physiques simples. La
condition de Dirichlet correspond aux vibrations dun objet x par sa fron-
tire : une membrane de tambour ou une corde vibrante attache par ses ex-
trmits. La condition de Neumann est adapte pour un instrument vent.
Les conditions aux limites pour les quations de Maxwell sont des combinai-
sons explicites des conditions de Dirichlet et de Neumann. Enn, la condi-
tion dimpdance correspond au cas o la frontire absorbe de lnrgie. Des
conditions aux limites de ce type sintroduisent donc trs naturellement pour
des problmes de revtement absorbant en acoustique ou en furtivit radar.
Elles sont aussi utilises, avec des variantes lorsquon fait des simulations nu-
12
mriques des ondes se propageant dans des milieux innis (par exemple, le
complmentaire dun obstacle) et que lon veut borner le domaine de calcul en
tenant compte du fait que londe se disperse linni avec une condition de
radiation ci-dessous.
Pour les quations de llasticit la situation est cependant trs diffrente.
A lintrieur du domaine les quations de llasticit se dcomposent en deux
types dquations dondes, lune pour les ondes longitudinales et lautre pour
les ondes transverse, par contre avec la condition"physique" dabsence de force
extrieure sur la frontire, la situation au bord est plus complexe. Dune part,
les ondes longitudinales et transverses interagissent, et dautre part, on observe
des ondes se propageant essentiellement au bord dites ondes de Rayleigh. Ce
sont celles ci que lon observe la surface de la terre lors de tremblement de
terre.
Les phnomnes de propagation dondes se rencontrent dans de nombreuses
applications. Onrencontre essentiellement trois types dondes : les ondes acous-
tiques, cest dire les ondes qui se propagent dans un uide (eau ou air par
exemple) ; les ondes lastiques , cest dire les ondes qui se propagent dans un
solide ; et les ondes lctromagntiques, par exemple la lumire.
Tous ces diffrents modles conduisent un mme type dquations : les qua-
tions hyperboliques dordre 2, cest dire les quations de la forme
d
2
u
dt
2
+Au f (2.2)
o A est un oprateur diffrentiel en espace dordre 2.
Loutil de modlisation numrique est essentiel : il est bien sr dans la plu-
part des cas, en particulier des applications relles, impossible de rsoudre ces
quations de faon exacte explicitement. On doit donc avoir recours au calcul
numrique dune solution approche. Ce qui va nous interesser ici, cest une
des mthodes pour approcher ces quations et les difcults quon rencontre
pour la mettre en uvre numriquement et pour obtenir une "bonne solution
approche".
13
Les notions fondamentales lorsquon approche u, la solution exacte, par u
h
une solution approche, sont :
c La convergence : cest dire savoir si u
h
tend vers u et en quel sens ?
c La consistance : si lerreur de troncature tend vers 0 ?
c la stabilit : si on perturbe les donnes, comment est perturbe la
solution?
2.2 Rsolution analytique de lquation de dAlem-
bert
2.2.1 Rappels
Rgle de la chane Le nom "rgle de la chane" est le nom donn la formule
de drivation dune composition de deux fonctions drivables :
(g f )
t
(x) f
t
(x)g
t
( f (x)) (2.3)
Ce nom nest pas dun usage encore trs courant dans les pays francophones, il
est par contre trs rpandu dans la littrature anglo-saxone (sous le nom chai-
nes rule) et concerne surtout les fonctions p.variables : si g est diffrentiable
sur un ouvert Ude IR
n
, si u
1
,...,u
n
sont des fonctions dune variable relle d-
nie sur un intervalle I de IR et telles que (u
1
(t ),...,u
n
(t )) appartiennent u pour
tout t de I, alors on a :
(g(u
1
, ..., u
n
))
t

i 1
u
t
i
(t )
g
x
i
(u
1
(t ), ..., u
n
(t )) (2.4)
14
2.2.2 Rsolution de lquation une dimension
Nous rsolvons ici lquation dondes :
1
c
2

2
t
u(x, t )
2
x
u(x, t ) f (x, t ), pour x IR et t >0 (2.5)
munie des conditions initiales
u(x, 0) u
0
(x) et
t
u(x, 0) u
1
(x)
avec un terme source f D(IR IR
+
) et des conditions initiales u
0
et u
1
dans
D(IR).
Pour dterminer une solution analytique de ce problme, on pose le change-
ment de variables
_
X x +ct
Y x ct (2.6)
ou de manire quivalente
_

_
x
X +Y
2
y
X Y
2c
(2.7)
On introduit aussi les reprsentations de u et de f dans ces nouvelles coordon-
nes
U(X, Y ) u(x, y) et F(X, Y ) f (x, y)
15
Daprs la rgle de la chane, on a :
u
x
(x, t )
X
x
U
X
(X, Y ) +
Y
x
U
Y
(X, Y ) (

X
+

Y
)U(X, Y ) (2.8)
En rptant le raisonnement, on obtient :

2
u
x
2
(x, t ) (

X
+

Y
)
2
U(X, Y ) (2.9)
De mme, on a :
u
t
(x, t )
X
t
U
X
(X, Y ) +
Y
t
U
Y
(X, Y ) c(

X


Y
)U(X, Y ) (2.10)
et

2
u
t
2
(x, t ) c
2
(

X


Y
)
2
U(x, t ) (2.11)
Dans ces nouvelles coordonnes, lquation de dAlembert scrit :
(

X


Y
)
2
U(X, Y ) (

X
+

Y
)
2
U(X, Y ) F(X, Y ) (2.12)
Ceci se simplie en :
4(

2
U
XY
(X, Y ) F(X, Y ) (2.13)
16
Traitons dabord le cas o : F(X, Y ) 0
On a

2
U
XY
(X, Y ) 0
Nous intgrons tout dabordpar rapport X. La fonction
U
Y
est donc une constante
en X, cest dire une fonction de Y .
U
Y
(X, Y ) W(Y )
On intgre alors cette fonction par rapport Y. Nous notons u
+
une primitive
de W. La fonctionU(X, Y ) est donne par :
U(X, Y ) u

(X) +u
+
(Y )
avec u

une fonction de X, cest dire une constante en Y .

Nous avons obtenu :
u(x, t ) u
+
(x ct ) +u

(x +ct )
La fonction u est dcompose en deux termes. Le premier u
+
est un terme pro-
pagatif dans le sens x croissant se dplaant la vitesse c.
Le second u

est un terme propagatif dans le sens x dcroissant se dplaant

la vitesse -c.
Pour dterminer u
+
et u

, nous utilisons les conditions aux limites, et

_
u
+
(x) +u

(x) u
0
(x)
cu
t
+
(x) +cu
t

(x) u
1
(x) (2.14)
17
En intgrant la deuxime galit, on obtient :
cu
+
(x) +cu

(x) u
0
(x)
_
x

u
1
(x)ds +C (2.15)
_

_
u
+
(x)
u
0
(x)
2

1
2c
_
x

u
1
(s)ds
C
2c
u

(x)
u
0
(x)
2
+
1
2c
_
x

u
1
(s)ds +
C
2c
(2.16)
En formant la somme
u(x, t ) u
+
(x ct ) +u

(x +ct )
on obtient donc une expression qui ne dpend pas de la constante dintgra-
tion C. Aprs simplication, on obtient :
u(x, t )
u
0
(x ct )
2
+
u
0
(x +ct )
2
+
1
2c
_
x+ct
xct
u
1
(s)ds (2.17)
Traitons ensuite le cas : u
0
(x) 0 et u
1
(x) 0
Dans le nouveau jeu de variables, les conditions initiales scrivent :
pour tout Z IR
et
_

_
U(Z, Z) 0
U
X
(Z, Z) 0
U
Y
(Z, Z) 0 (2.18)
18
On peut alors intgrer (2.13) et obtenir :
U
Y
(X
t
, Y )
U
Y
(Y, Y )
_
X
t
Y

2
U
XY
(X, Y )dX
_
X
t
Y
F(X, Y )
4
dX (2.19)
cest dire daprs (2.18)
U
Y
(X
t
, Y )
_
X
t
Y
F(X, Y )
4
dX (2.20)
Puis en intgrant suivant Y , on a :
U(X
t
, X
t
) U(X
t
, Y
t
)
_
X
t
Y
t
U
Y
(X
t
, Y )
_
X
t
Y
t
(
_
X
t
Y
F(X, Y )
4
dX)dY (2.21)
On a donc,
U(X
t
, Y
t
)
_
X
t
Y
t
(
_
X
Y
F(X, Y )
4
dX)dY (2.22)
En notant

T
X
t
,Y
t lensemble de IR
2
donn par :

T
X
t
,Y
t {(x, y) IR
2
: Y
t
<Y < X < X
t
} (2.23)
On a
19
U(X
t
, Y
t
)
_

T
X
t
,Y
t
F(X, Y )
4
dXdY (2.24)
Dans les variables (x, t ), cette expression devient
U(x
t
, t
t
)
_
T
x
t
,y
t
f (x, t )
2
dxdt (2.25)
o T
x
t
,t
t limage rciproque de

T
X
t
,Y
t , qui est appel cne du pass.
T
x
t
,t
t {(x, t ) IR IR
+
: x
t
ct
t
<x ct <x +ct <x
t
+ct } (2.26)
Le cas gnral :
Pour obtenir la solution dans le cas gnral, il nous suft de sommer (2.17) et
(2.25)
u(x, t )
u
0
(x ct )
2
+
u
0
(x +ct )
2
+
1
2c
_
x+ct
xct
u
1
(s)ds +
_
T
x,t
f
2
(2.27)
Unicit de la solution
Si
u(x, 0) 0
alors
u
+
(x) u

(x)
Si en plus

t
u(x, 0) 0
alors
u
t

(x) 0
do on conclut que u
+
(x) c u

(x) pour tout x IR et donc u 0

20
2.2.3 Cas dun problme symtrie sphrique
La fonction f (m, t ) chrche ne dpend que du temps t et de la distance
r OM. Le laplacien scrit alors en coordonnes sphriques
Zf
1
r
2

r
(r
2
f
r
) (2.28)
On effctue le changement de variables r f
alors,
f
r

1
r

r


r
2
(2.29)
Do
f
1
r
2

r
(r

r
)
1
r

r
2
(2.30)
Ainsi, lquation des ondes scrit
1
r

r
2

1
c
2

2
t
2
(

r
) 0 (2.31)
Soit

r
2

1
c
2

t
2
0 (2.32)
On reconnait sous cette dernire forme lquation des ondes une dimension
tudie prcdemment.
21
La solution gnrale de lquation de dAlembert pour un problme symtrie
sphrique scrit
f (r, t )
1
r
f
+
(t
r
c
) +
1
r
f

(t +
r
c
) (2.33)
Comme il a t dj vu, les fonctions f
+
et f

sont arbitraires, dtermines par

les conditions aux limites, repsentant respectivement deux ondes sphriques
divergente et convergente par rapport lorigine O.
Contrairement aux ondes planes qui se propagent sans dformation, les ondes
sphriques saffaiblissent (comme
1
r
) quand on sloigne de lorigine O.
2.3 Etude de la mthode dapproche
2.3.1 Rappels
Espace prhilbertien
Dnition Soit V un espace vectoriel complexe. On appelle produit sca-
laire sur V une fonction <.[. >: V V C qui vrie les conditions suivantes ;
f , g, h V, C
P
1
: < f [ g +h > < f [ g >+< f [ h >
P
2
: < f [ g > < f [ g >
P
3
: < f [ g > <g [ f >
P
4
: < f [ f > 0 et < f [ f > 0 ssi f 0
Autrement dit, un produit scalaire est une forme hermitienne, dnie positive
et non dgnre.
Un espace vectoriel muni dun produit scalaire est appel " espace prhilber-
tien".
22
Norme Dans un espace prhilbertien, on appelle norme de f le nombre
rel positif
| f | < f [ f >
1
2
On vrie immdiatement que :
(1) | f | [ [ | f |
(2) | f | 0 ssi f 0
Distance et topologie Dans un espace prhilbertien, on appelle distance
de f g la quantit :
d( f , g) |f g|
Cette quantit possde les proprits suivantes :
d( f , g) O et d( f , g) 0 ssi f g
d( f , g) d(g, f )
d( f , g) d( f , h) +d(h, g)
Caractristiques de la notion usuelle de distance dans R
n
.
Disposant de la notion de distance, on peut commencer faire de lanalyse sur
un espace prhilbertien; on peut dnir les concepts de boule ouverte ou fer-
me, de continuit, etc...
On sait particulirement ce que signie lexpression "f est voisin de g", ou en-
core, " la suite f
n
converge vers f ", cest dire on a une topologie dnie par
23
la distance ( un espace vectoriel muni dune distance est appel espace m-
trique).
On dnit en effet :
la suite { f }
n
converge vers f si d( f
n
, f )
n+
0
la suite { f }
n
est convergente, sil existe f (dans lespace considr) tel
que f
n
f .
la suite { f }
n
est de Cauchy si d( f
n
, f ) 0 quand n, m
Dans le cas dun espace norm, et en particulier dun espace prhilbertien, on
parlera de convergence forte ou convergence en norme, de topologie forte ou
de la norme :
f
n
f lim
x
| f
n
f | 0
Espaces complets, espaces de Hilbert On vrie immdiatement que toute
suite convergente dans un espace prhilbertien est une suite de Cauchy :
si f
n
f , alors d( f
n
, f
m
) d( f
n
, f ) +d( f , f
m
) 0
Mais linverse nest pas vrai. Do les dnitions :
un espace mtrique dans lequel toute suite de Cauchy est convergente est
appel complet.
un espace prhilbertien complet est appel espace de Hilbert.
Lespace de Hilbert l
2
On appelle l
2
lensemble de toutes les suites x
(x
k
) de nombres complexes de carr sommable :

k1
[x
k
[
2
<
24
Cet espace l
2
est un espace de Hilbert pour les oprations suivantes :
i/ structure despace vectoriel :
x +y (x
k
+y
k
)
x (x
k
)
ii/ produit scalaire :
< x [ y >

k1
x
k
y
k
iii/ l
2
est complet.
Lespace de Hilbert L
2
() Soit une partie mesurable de R pour la me-
sure de Lebesgue. Soit M() lensemble des fonctions dnies sur , mesu-
rables et de carr sommable, au sens de lintgrale de Lebesgue :
_

[ f (x)[
2
dx <
Cet espace M() est un espace vectoriel sur lequel on dnit la relation dqui-
valence :
f g f (x) g(x) presque partout.
On dnote par L
2
() lespace quotient M() : un lment de L
2
() est donc
une classe dquivalence des fonctions, gales presque partout (on identie
parfois M() et L
2
() ), mais cela peut crer des confusions.
25
Lexpression suivante :
_

f (x) g(x)dx
dnit un scalaire sur M(), et aussi sur L
2
(). Celui-ci est ds lors un es-
pace prhilbertien. On montre en outre (thorme de Riez-Fisher) que L
2
()
est complet, cest dire un espace de Hilbert, pour autant que lon utilise lin-
tgrale de Lebesgue.
2.3.2 Schma de base
Onsouhaite rsoudre de manire approche lquationdes ondes pose sur
le domaine born en espace ]0, 1[ avec conditions aux limites priodiques
_

2
u
t
2
c
2

2
u
x
2
0 , t >0 , x ]0, 1[
u(t , x +1) u(t , x) , t >0 , x ]0, 1[
u(0, x) g(x) , x ]0, 1[
u
t
(0, x) h(x) , x ]0, 1[ (2.34)
Les fonctions g et h sont supposes admettre des prolongements 1-priodiques
de classe C
2
et C
1
respectivement. Onpropose unschma numrique pour ap-
procher la solution u aux points
x
0
0 , x
j
j x , j 0, ..., J +1 , x
J +1
1
aux instants
t
n
nt , n N
26
Sappuyant sur des dveloppements de Taylor de la solution exacte u au voisi-
nage du point (x, t), le schma aux diffrences nies propos calcule des valeurs
u
n
j
approchant la valeur exacte u(t
n
, x
j
).
Dnition : Schma centr pour lquation des ondes On dnit le schma
centr pour lquation des ondes par :
u
n+1
j
2u
n
j
+u
n1
j
t
2
c
2
u
n
j +1
2u
n
j
+u
n
j 1
x
2
0 , n 1 , 0 j J . (2.35)
avec les donnes initiales
u
0
j
g(x
j
) , u
1
j
u
0
j
+t h(x
j
) , 1 0 j J (2.36)
et une condition de priodicit :
u
n
J+1
u
n
0
, n >1. (2.37)
Cest un schma explicite :
u
n+1
j
2u
n
j
u
n1
j
+
c
2
t
2
x
2
(u
n
j +1
2u
n
j
u
n
j 1
) (2.38)
Les donnes initiales sont construites sur la base du dveloppement de Taylor
de u lordre 1 en t 0, mais pour approcher la donne initiale u
1
lordre 2,
on peut prfrer dnir :
u
1
j
u
0
j
+t h(x
j
) +c
2
t
2
2x
2
(u
0
j +1
2u
0
j
u
0
j 1
) (2.39)
27
2.3.3 Consistance - Erreur de troncature
Dnition : Erreur de troncature On appelle erreur de troncature lerreur
commise en supposant que la solution exacte ralise le schma numrique :

n
j

u(x
j
, t
n+1
) 2u(x
j
, t
n
) +u(x
j
, t
n1
)
t
2
c
2
u(x
j +1
, t
n
) 2u(x
j
, t
n
) +u(x
j 1
, t
n
)
x
2
0
(2.40)
Le schma est dit consistant si lerreur de troncature tend vers 0 lorsque t et
x tendent vers 0. On appelle ordre de consistance du schma en espace p et
en temps m les entiers tels que

n
j
o(t
m
+x
p
) (2.41)
Attention, lerreur de troncature nest pas lerreur entre la solution exacte
et celle approche par le schma. Nous verrons plus loincette erreur de conver-
gence , mais il y a un peu de travail avant de pouvoir la quantier prcisment.
Lemme 1 Le schma centr (2.35) est consistant dordre 2 en espace et 2 en
temps.
Dmonstration En utilisant la formule de Taylor pour la solution exacte u
suppose sufsamment rgulire, on trouve :
u(x
j
, t
n+1
) 2u(x
j
, t
n
) +u(x
j
, t
n1
)
t
2


2
u
t
2
(x
j
, t
n
) +
2
4!
t
2

4
u
t
4
(x
j
, t
n
) +o(t
4
)
u(x
j +1
, t
n
) 2u(x
j
, t
n
) +u(x
j 1
, t
n
)
x
2


2
u
x
2
(x
j
, t
n
) +
2
4!
x
2

4
u
x
4
(x
j
, t
n
) +o(x
4
)
Puisque u est solution, les premiers termes disparaissent ; il reste alors une er-
reur de troncature
28

n
j

1
12
( t
2

4
u
t
4
(x
j
, t
n
) c
2
x
2

4
u
x
4
(x
j
, t
n
) ) +o(t
4
+x
4
) (2.42)
Do le rsultat.
Remarque noter que si u est de classe C
4
, alors on peut facilement obtenir

4
t t t t
u c
4

4
xxxx
u. Le choix particulier t c x permet ainsi dannuler exac-
tement le terme rsiduel dans la formule ci-dessus de manire obtenir une
erreur de troncature en o(t
4
+x
4
).
2.3.4 Stabilit - Estimation dnergie discrte
En plus de la consistance dnie prcdemment, une autre notion fonda-
mentale dans lanalyse dun schma numrique est sa stabilit .
Dnition : Stabilit dun schma aux diffrences nies Un schma num-
rique est dit stable si la solution discrte linstant t
n
est borne indpendam-
ment des paramtres de discrtisation x et t .
Lquation des ondes se prte mal des estimations en norme innie (on
a remarqu prcdemment labsence dun principe du maximum pour la so-
lution exacte). On se place ici dans le cadre de lanalyse de stabilit L
2
. On re-
cherche donc une borne en norme L
2
de la solution.
Pour tout instant n N, on assimile la solution numrique (u
n
j
) un l-
ment de L
2
([0, 1]) en posant |u
n
| (
_
1
0
[ u(t
n
, x)[
2
dx )
1/2
o u(t
n
, . ) est la
fonction constante sur chaque intervalle [x
j
, x
j +1
[ gale u
n
j
.
Autrement dit, |u
n
| (
J

j 0
[u
n
j
[
2
x)
1/2
.
On considre galement le produit scalaire associ : (u, v)
J

j 0
u
j
v
j
x .
Lanalyse de stabilit est obtenue ici sur la base de la proprit de conser-
vation de lnergie. On montre plus prcisment que le schma prserve une
nergie discrte.
29
Lemme : Conservation de lnergie discrte Soient u
0
et u
1
dans L
2
([0, 1]) et
soit (u
n
j
) la solution numrique du schma (2.35). On pose
E
n+1/2
: |
u
n+1
u
n
t
|
2
2
+
1
2
(Au
n
, u
n+1
)
avec (Au
n
)
j

c
2
x
2
(u
n
j +1
2u
n
j
+u
n
j 1
) . Alors lnergie discrte E
n+1/2
est
une quantit indpendante de n :
E
n+1/2
E
1/2
, n N. (2.43)
Dmonstration On part de lquation (2.35) multiplie par la drive discrte
centre (u
n+1
j
u
n1
j
)/(2t ), on obtient alors pour tout j et n :
J

j 0
[
u
n+1
j
2u
n
j
+u
n1
j
t
2
u
n+1
j
u
n1
j
2t
c
2
u
n
j +1
2u
n
j
+u
n
j 1
x
2
u
n+1
j
u
n1
j
2t
] x 0
Le premier terme nest rien dautre que
J

j 0
(u
n+1
j
u
n
j
)
2
(u
n
j
u
n1
j
)
2
2t
3
x
1
2t
(|
u
n+1
u
n
t
|
2
|
u
n
u
n1
t
|
2
)
Le second terme donne :
c
2
1
2x
2
t
(

j
(u
n
j +1
2u
n
j
+u
n
j 1
)u
n+1
j
x

j
(u
n
j +1
2u
n
j
+u
n
j 1
)u
n1
j
x )
30
c
2
1
2x
2
t
(

j
(u
n
j +1
2u
n
j
+u
n
j 1
)u
n+1
j
x

j
(u
n1
j +1
2u
n1
j
+u
n1
j 1
)u
n
j
x )

1
2t
((Au
n
, u
n+1
) (Au
n1
, u
n
))
En rassemblant les morceaux, on obtient nalement E
n+1/2
E
n1/2
.
Lemme technique - admis Sous la condition CFL : ct /x <1, lnergie
discrte E
n+1/2
constitue une forme quadratique positive. Plus prcisment, on
a :
1
2
(1
2
) |
u
n+1
u
n
t
|
2
E
n+1/2
(2.44)
Corollaire : Stabilit L
2
Sous la condition CFL ct x <1, le schma
(2.35) est stable dans L
2
. Cest--dire quil existe une constante M > 0 indpen-
dante de t et de x telle que pour tout n N
|u
n
| Mt
n
+|u
0
|
Dmonstration Considrant la conservation de lnergie discrte et linga-
lit (2.44), on obtient :
|u
n+1
u
n
| t
_
2E
n+1/2
1
2
puis en utilisant lingalit triangulaire on en dduit que
|u
n+1
| t
_
2E
n+1/2
1
2
+|u
n
|
31
Par rcurrence on obtient alors facilement lestimation
|u
n
| t
n
_
2E
n+1/2
1
2
+|u
0
|
De plus on peut majorer E
1/2
indpendamment de t et x.
2.3.5 Convergence
Dnition : Erreur de convergence On appelle erreur de convergence la dif-
frence entre la solution exacte et la solution numrique
e
n
j
u(x
j
, t
n
) u
n
j
(2.45)
On dira que le schma est convergent si pour tout T > 0
lim
t 0
x0
sup
n>0
t
n
T
|(u
n
j
u(x
j
, t
n
))
j Z
|
2
0 (2.46)
En fait, lerreur de convergence est alors du mme ordre que lerreur de tronca-
ture si les donnes initiales sont approches au mme ordre.
laide des proprits de consistance et de stabilit, un rsultat classique
permet dobtenir la convergence de la solutionnumrique vers la solutionexacte.
Le thorme de Lax afrme que, pour un schma linaire, consistance et sta-
bilit implique convergence .
Thorme : Convergence du schma centr - Admis Si la solution u du pro-
blme de Cauchy est assez rgulire, et sous la condition CFL ct < x, le
schma centr (2.35) est convergent.
32
Chapitre 3
Application : Cordes vibrantes
3.1 Introduction
Une corde est un milieu continu unidimensionnel ayant une longueur nie
ou parfois innie. Elle possde gnralement des proprits dlasticit et peut
tre tendue ses deux extrmits et tre amene une longueur suprieure
sa longueur de repos. Dans ce cas, elle possde une tension interne dont lef-
fet est dattirer toute portion de la corde vers sa position dquilibre. Pour une
corde tendue, la position dquilibre correspond la ligne droite joignant les
deux extrmits.
La corde tendue peut tre modlise au niveau microscopique par la jux-
taposition de ressorts de taille innitsimale coupls entre proches voisins et
exerant lun sur lautre des forces de rappel. Lorsquon carte une portion de
la corde de sa position dquilibre (cest--dire de la ligne droite) elle subit im-
mdiatement les forces de rappel des portions voisines et il en rsulte un mou-
vement oscillatoire autour de la position dquilibre qui cre une onde qui se
propage sur toute la corde. Le mouvement dune corde tendue carte de sa
position dquilibre peut se faire dans les trois directions despace. On peut ce-
pendant distinguer deux cas. Un mouvement transversal ou orthogonal la po-
sition dquilibre de la corde tendue et un mouvement longitudinal la corde.
Nous nous intresserons dans ce paragraphe uniquement au mouvement
transversal et nous prciserons chaque fois quil est ncessaire dimposer des
conditions physiques qui empchent la corde davoir un mouvement longitu-
dinal. Le mouvement transversal peut se faire en chaque point de la corde dans
le plan orthogonal la corde. Ainsi, si la corde tendue se trouve ltat dqui-
libre le long de laxe des x, les plans orthogonaux la corde sont parallles au
33
plan Oyz. Le mouvement transversal est donc en gnral bidimensionnel dans
ces plans. Nous considrerons le cas simpli dunmouvement transversal uni-
dimensionnel, parralllement lun des axes orthogonaux Ox, que nous choi-
sissons comme tant laxe des z. Nous supposerons que les conditions initiales
imposes, ainsi que dautres conditions physiques, assurent la corde la possi-
bilit davoir un tel mouvement au cours du temps.
Un point de la corde sera repr par labscisse x de sa position dquilibre,
qui reste inchang au cours du temps, et par lordonne z qui reprsente lcart
algbrique (positif ou ngatif ) de sa position partir de laxe dquilibre Ox de
la corde. Comme ce point se dplace au cours du temps, lordonne z est une
fonction du temps, z = z(t). Lensemble des points de la corde seront reprs par
une seule fonction u(t, x), dans laquelle t reprsente linstant dobservation de
la corde et x labscisse du point observ, alors que u(t, x) reprsente lordonne
z de ce point (avec abscisse x) cet instant t (voir Fig. 3.1). A un instant t donn,
la fonction u(t ; x), considre comme fonction de x, donne la courbe continue
forme par la corde dans le plan Oxz.
FIGURE 3.1 Un point de la corde repr linstant t par son abscisse x et son
ordonne u(t,x)
34
3.2 Equation des cordes vibrantes
Nous considrons une corde tendue caractrise par une tension interne T.
La tension a la dimension dune force et reprsente la force attractive exerce
par une partie de la corde sur son voisinage immdiat. De ce fait, la tension
est porte par un vecteur tangent a la corde au point considr et dirig vers
la partie de la corde exerant cette force. Nous supposons pour le moment que
la tension dpend aussi du point de la corde considr et par consquent est
une fonction de labscisse x : T T(x). La corde a en outre une masse dnie
par une masse linique (masse par unit de longueur). Pour le cas gnral
dune corde non-homogne, la masse linique nest pas constante et dpend
de x : (x).
Au cours des calculs, nous nous placerons dans lapproximation des petits
mouvements, pour laquelle les dformations transversales de la corde sont trs
petites par rapport la longueur lquilibre de la corde tendue.
Pour tablir lquation du mouvement de la corde, nous considrons une
tranche innitsimale de la corde correspondant lintervalle [x; x +dx] (Fig.
3.2). La tensionexerce sur la tranche par sonvoisinage se trouvant s a gauche
est gale en module T(x) et est dirige vers lextrieur, faisant un angle (x)
avec laxe des x. Langle est algbrique et est compt positivement dans le sens
trigonomtrique partir de lhorizontale. La tension exerce sur la tranche par
son voisinage se trouvant sa droite est gale en module T(x +dx) T(x) +
dT(x) et est dirige aussi vers lextrieur, faisant un angle (x +dx) +d
avec laxe des x. Dans le calcul des forces en prsence, on peut ignorer les ten-
sions internes la tranche, car elles sannulent mutuellement. En effet, chaque
point interne de la tranche subit des tensions gales en modules ( cause de la
continuit de T) et opposes en sens par ses voisinages de gauche et de droite.
Les seuls points particuliers restants, qui sont les points extrmes de la tranche,
ont une masse nulle (ayant une paisseur nulle) et ne peuvent contribuer eux
seuls lquation du mouvement.
35
FIGURE 3.2 Tensions exerces sur une tranche innitsimale de la corde ten-
due
La projection des forces sur laxe des x nous donne :
dFx (T +dT) cos(+d) T cos (3.1)
Dans lapproximation des petits mouvements, langle (x) (exprim en radian)
reste petit devant 1. Dans ce cas, on peut faire lapproximation
cos 1

2
2
+... 1. Lquation (3.1) devient :
dF
x
dT (3.2)
La force dF
x
tant dirige suivant laxe des x reprsente une force longitudi-
nale la corde dans son tat dquilibre. La prsence dune force longitudinale
engendre invitablement, quelles que soient les conditions initiales, un mou-
vement longitudinal des points de la corde. Comme on sintresse uniquement
au mouvement transversal de la corde, il est ncessaire que la composante (3.2)
de la force soit nulle. Par consquent on doit avoir :
dT 0; T T
0
constante (3.3)
36
Par consquent, une conditionncessaire pour empcher lapparitiondunmou-
vement longitudinal des points de la corde est que la tension T de la corde soit
constante partout. En choisissant linstant initial les composantes longitudi-
nales des vitesses nulles, la corde aura aux instants ultrieurs uniquement un
mouvement transversal.
La projection des forces sur laxe des z donne :
dF
z
(T +dT) sin(+d) T sin : (3.4)
En faisant lapproximation sin

3
3!
+... et en tenant compte de lq.
(3.3), lq. (3.4) devient :
dF
z
T
0
d (3.5)
Dautre part, pour petit, on a aussi tan. Or, tan reprsente aussi la
pente, linstant t, de la courbe u(t ; x) au point x de la corde, qui est donne
par la drive (partielle) de u par rapport x. Nous avons ainsi :
tan
u
x
: (3.6)
Pour avoir d, il suft de diffrentier lexpression prcdente t constant :
d d
u
x


2
u
x
2
dx (3.7)
Lquation (3.4) devient :
37
dF
z
T
0
(
u
x
+

2
u
x
2
dx) T
0
u
x
T
0
u
x
dx (3.8)
La vitesse de la corde au point x est donn par la drive premire de u par
rapport au temps :
v(t , x)
u(t , x)
t
(3.9)
Puisque u reprsente le dplacement transversal des points de la corde, la vi-
tesse v reprsente aussi une vitesse transversale laxe de la corde.
Lacclration en x est donne par la drive seconde de u par rapport au
temps :
a(t , x)

2
u(t , x)
t
2
(3.10)
La masse de la tranche considre est dM(x) (x)dx. Lquation du mou-
vement (ou quation de Newton, cest--dire masse acclration = force ex-
trieure ) devient :
(x)dx

2
u
t
2
T
0

2
u
x
2
dx (3.11)
En divisant par (x)dx, on obtient :

2
u
t
2

T
0

2
u
x
2
(3.12)
Nous considrerons dsormais une corde homogne, de masse linique uni-
forme
0
.
38
Lquation (3.12) devient :

2
u(t , x)
t
2

T
0

2
u(t , x)
x
2
(3.13)
En dnissant
c
2

T
0

0
(3.14)
lq. (3.13) scrit aussi :
1
c
2

2
u
t
2


2
u
x
2
(3.15)
Cest lquationdumouvement des cordes vibrantes. Auniveaumathmatique,
elle est appele quationde dAlembert une dimensiondespace. La constante
c est identie avec la vitesse de propagationouclrit de londe. Atitre dexemple,
si la tension de la corde est T
0
50N (ce qui quivaut approximativement
la force exerce par le poids dune masse de 5 kg) et sa masse linique
0

50g.m
1
, on trouve c = 31 ; 7ms
1
.
39
3.3 Rsolution numrique
Considrons le problme hyperbolique (2.34)
_

2
u
t
2
c
2

2
u
x
2
0 , t >0 , x ]0, 1[
u(t , x +1) u(t , x) , t >0 , x ]0, 1[
u(0, x) g(x) , x ]0, 1[
u
t
(0, x) h(x) , x ]0, 1[ (3.16)
On suppose que g est de classe C
2
et h de classe C. on suppose gale-
ment que ces 2 fonctions satisfont les conditions de compatibilit g(0) g(1)
h(0) h(1) 0.
Lorsque la dimension de lespace considr N vaut 1 et ]0, 1[, lquation
dondes modlise les petites variations dune corde qui nest soumise aucune
force extrieure.
Pour chaque t, le graphe de la fonction :
x u(x, t ) concide avec la conguration de la corde linstant t.
De manire gnrale lquation dondes modlise la propagation dune onde
dans un milieu lastique homogne D
N
La condition u(0, t ) u(1, t ) 0 exprime que la corde est xe au bord de
lespace considr [a, b]([0, 1]).
Les conditions u(x, 0) g(x) et (u/t )(x, 0) h(x) traduisent ltat
initial du systme : ce sont les donnes de Cauchy ; la conguration initiale est
dcrite par g(x) et la vitesse initiale par h(x).
Le problme (3.16) est approch sur un intervalle de temps [0, T]. Nous al-
lons nous donner une grille dnie par (h, k) avec h 1/(M+1) [le pas des-
pace], k T/N [le pas de temps], M D et N D

. Nous considrons le
schma suivant :
40
_

_
u
n+1
j
2u
n
j
+u
n1
j
k
2
c
2
u
n
j +1
2u
n
j
+u
n
j 1
h
2
, 1 n N 1 , 1 j M .
u
n
0
u
n
M+1
, 0 n N
u
0
j
g( j h) , 1 j M
u
1
j
u
0
j
k
h( j h) +
k
2
c
2
u
0
j +1
2u
0
j
+u
0
j 1
h
2
1 j M (3.17)
Comme nous avons pu le constater, Matlab nadmet pas dindice nul ; il va donc
falloir dans le programme dcaler les indices de +1 de manire viter ce pro-
blme. Nous mettrons galement le temps en indice de colonne, alors que les-
pace en indice de ligne. Aussi nous aurons le nouveau systme :
_

_
u
n+1
j
2u
n
j
+u
n1
j
k
2
c
2
u
n
j +1
2u
n
j
+u
n
j 1
h
2
, 2 n N , 2 j M+1 .
u
n
1
u
n
M+2
, 1 n N +1
u
1
j
g(( j 1)h) , 2 j M+1
u
2
j
u
1
j
k
h(( j 1)h) +
k
2
c
2
u
1
j +1
2u
1
j
+u
1
j 1
h
2
, 1 j M+1 (3.18)
La convergence de ce schma na lieu que sous certaines hypothses dj men-
tionnes et pour la condition suivante :
c
k
h
1
Prsentation de la fonction Soient c un paramtre reprsentant en physique
la vitesse de propagation de londe, M: nombre de sous-intervalles de la subdi-
visionde [a,b], N: nombre de sous-intervalles dans la subdivisionde lintervalle
[0,T] ; linstruction V = ondes (g,h,M,N,T,c) renvoie la matrice V de dimension
(M+2) (N +1) partir de fonctions arbitraires " g " et " h " dnies plus haut
(paramtres initiaux).
41
Algorithme de la fonction ondes
f unct i on V ondes(g, h, M, N, T, c) ;
M 9; N 20 ;
T 1; c 1;
h 1/(M+1) ;
k T/N ;
L c k/h;
V zer os(M+2, N +1) ;
f or i 2 : M+1
V (i , 1) f eval (g, (i 1) h);
end;
f or i 2 : M+1;
V (i , 2) k f eval (h, (i 1)h)+((L
2
)/2)(V (i +1, 1)2V (i , 1)+V (i 1, 1))+
V (i , 1);
end;
f or j 2 : N
f or i 2 : M+1
V (i , j +1) 2V (i , j ) (1L
2
) +(L
2
) (V (i +1, j ) +V (i 1, j )) V (i , j 1);
end;
end;
f or j 1 : N +1,
pl ot (V (:, j ));
axi s([1, M+2, 1, 1]) ;
pause (0.01);
end;
mesh(V );
42
Test de la fonction ondes Pour tester notre fonction, nous allons prendre le
schma simple suivant dont on connat la solution :
_

_
u(x, 0) g(x) sin(x)
u
t
h(x) 0
u(0, t ) u(1, t ) 0 (3.19)
Les quations aux drives partielles sont vries.
Une solution scrit : u(x, t ) cos(ct ) sin(x)
Nous avons crer pour cette question une nouvelle fonction appele test dont
voici lalgorithme :
function [vo, v] t est (g, h, M, N, T, c);
M 9; N 20; T 1; c 1; f @(x)si n(pi x); g 0;
vo=zeros(M+2,N+1) ;
h=1/(M+1) ;
k=T/N;for j=1 :N+1
for i=2 :M+1
vo(i,j)=cos(pi*(j-1)*c*k)*sin(pi*(i-1)*h) ;
end;
end;
v=ondes(g,h,M,N,T,c) ;
gure(1) ;
mesh(vo) ;
title(Solution vraie) ;
gure(2) ;
mesh(v) ;
title(Solution approche) ;
Les simulations avec Matlab du premier schma test sont les suivantes :
43
FIGURE 3.3 Solution exacte
FIGURE 3.4 Solution approche
44
Un autre test de notre fonction, avec le schma simple suivant dont on
connat la solution :
_

_
u(x, 0) g(x) sin(2x)
u
t
h(x) 0
u(0, t ) u(1, t ) 0 (3.20)
Les quations aux drives partielles sont vries.
Une solution scrit : u(x, t ) cos(2ct ) sin(2x)
Les simulations avec Matlab du deuxime schma test sont les suivantes :
45
FIGURE 3.5 Solution exacte
FIGURE 3.6 Solution approche
46
Chapitre 4
Conclusion
Lquation des ondes est un exemple typique dquations hyperboliques. Il
faudra retenir qu une condition frontire (ou limite) donne en x correspond
un comportement donde diffrent.
Nous avons rsolu analytiquement lquation de dAlembert une dimen-
sion (de dimension trois), puis nous avons tudier numriquement une m-
thode pour approcher la solution exacte de cette quation. Autrement dit, nous
avons montrer que cette mthode est consistante, stable et convergente.
Et nalement, nous avons tudier un cas particulier de systmes hyperbo-
liques : "cordes vibrantes".
47
BIBLIOGRAPHIE
1 Benjamin Boutin, "quation des ondes", Agrgation de mathmatiques
Calcul scientique, Universit de Rennes 1.
2 Grard DEBEAUMARCH, "Introduction aux quations aux drives par-
tielles linaires", lcole normale suprieure de Cachan.
3 H. Sazdjian, "ONDES", Universit Paris XI.
4 Eliane Bcache, "Schmas numriques pour la rsolution de lquation
des ondes", ENSTA - Janvier 2009.
48