Beruflich Dokumente
Kultur Dokumente
Anne 3
Priode 1
MAP558
PROGRAMME DAPPROFONDISSEMENT
SCIENCES DE LINGNIEUR, SIMULATION ET MODLISATION
dition 2007
Avant Propos
Ce cours constitue une introduction la modlisation, ltude mathmatique et numrique
des phnomnes de propagation dondes.
De nombreuses applications industrielles relvent de cette modlisation. Citons pour la propagation des ondes acoustiques la rduction des nuisances sonores des automobiles, avions, hlicoptres..., loptimisation de lacoustique des salles de concert. Pour la propagation des ondes
lectromagntiques, le dimensionnement des antennes de tlcommunications, la dtection et la
caractrisation de menaces (missiles, avions de combat...), la protection des quipements lectroniques embarqus. Pour la propagation des ondes lastiques, la dtection de fissures dans les
centrales nuclaires, fuselages davion...
Mme si les applications voques prcdemment sont totalement indpendantes, la physique sous-jacente et donc les mthodes mathmatiques et numriques permettant de les tudier
ont beaucoup de points communs. Lobjectif de ce cours est de mettre en valeur les principaux
rsultats thoriques communs ainsi que les mthodes numriques disponibles et/ou mergentes,
utilises aujourdhui dans lindustrie.
Il est bien entendu que dans le cadre de ce cours lintgralit des rsultats disponibles sur
lensemble des physiques ne peut tre prsente, le cours peut servir nanmoins de base mathmatique et numrique aux ingnieurs concerns par la physique des ondes.
Ce cours concerne les niveaux M1 et M2, les paragraphes matriser par les M1 seront indiqus pendant le cours. Donc si certains passages la premire lecture peuvent rebuter notamment
cause des aspects mathmatiques, il nous a paru important de ne pas sparer les 2 niveaux afin
de garder ce cours une unit.
Il est difficile de prtendre lexhaustivit dans une introduction aux phnomnes de propagation dondes, le parti pris a donc t de prsenter les deux approches temporelle et frquentielle
mais de ntudier que deux mthodes numriques : la mthode des diffrences finies dans le domaine temporel et la mthode des quations intgrales dans le domaine frquentiel. En effet ces
deux mthodes sont largement rpandues dans lindustrie.
Le premier chapitre, introductif, prsente le contexte gnral des phnomnes de propagation dondes : modlisation physique, notion temporel-frquentiel, problme de diffraction. Il est
illustr par quelques applications industrielles.
La plupart des proprits caractristiques des phnomnes de propagation dondes (propagation vitesse finie, conservation de lnergie...) sont faciles apprhender sur le cas le plus
simple de ltude de lquation des ondes en une dimension despace. Le deuxime chapitre
extrait du cours de Patrick Joly y est donc consacr.
Page 1/275
Le troisime chapitre, aprs la prsentation de quelques solutions explicites, contient lanalyse mathmatique dans le domaine frquentiel puis temporel dun problme de diffraction :
existence, unicit, proprits des solutions de deux problmes modles.
La mthode des diffrences finies dans le domaine temporel (DFDT) est largement utilise
dans lindustrie pour la rsolution numrique des phnomnes de propagation dondes. Dans le
quatrime chapitre, nous prsentons une approche systme de premier ordre, le lecteur pourra se
rfrer au cours dEliane Bcache pour ltude exhaustive des schmas numriques de lquation
des ondes. Nous avons choisi comme problme modle les quations de Maxwell en 3 dimensions despace, une sance de TP informatique illustrant ce chapitre.
Dans le domaine frquentiel, pour la rsolution numrique des problmes de diffraction en
milieu homogne, cest la mthode des quations intgrales qui est largement utilise. Le chapitre 5 prsente ses fondements thoriques, bass sur la reprsentation intgrale et le chapitre 6
sa rsolution numrique par une mthode dlments finis de frontire. Depuis quelques annes,
cette mthode a t trs largement tendue en terme de taille de problmes traits et donc dapplications accessibles par lintroduction de la mthode mutiple rapide (FMM : Fast Multipole
Method). Une prsentation succinte du principe de cette mthode conclut le chapitre 6.
Nous avons regroup dans lannexe les formules et thormes mathmatiques les plus utiles
pour ltude des phnomnes de propagation dondes.
Nous devons beaucoup Jean-Claude Ndlec, notre directeur de thse, qui nous a patiemment initis aux phnomnes de propagation dondes. Nous saluons sa contribution majeure au
dveloppement des quations intgrales, son cours de DEA et son livre consacr ce sujet nous
ont beaucoup inspirs.
Nous remercions Patrick Joly pour sa large contribution aux chapitres consacrs ltude
mathmatique et numrique des phnomnes de propagation dondes dans le domaine temporel
dont il est un spcialiste plus que reconnu. Il a form plusieurs gnrations dlves sur ce sujet.
Comment ne pas voquer les changes fructueux avec Eric Duceau, qui suit et soutient nos
travaux de recherche depuis dix ans ? Il a contribu par ses suggestions avises et ses connaissances approfondies dans ce domaine llaboration de ce cours. Nous len remercions chaleureusement.
La partie consacre aux mthodes multiples rapides est extraite de la thse de Guillaume
Sylvand que nous remercions, ces mthodes ont rvolutionn le domaine dapplication des mthodes intgrales.
Ce document doit aussi Fabien Mangeant et Grard-Pascal Piau la prsentation des applications industrielles en Compatibilit Electromagntique, en furtivit et antennes. Quils soient
remercis ici.
Pierre Benjamin, Barbara Cochard et Franois Bereux nous ont fait bnficier de leur expertise sur les mthodes numriques utilises dans lindustrie, avec Erwann Feat qui tous les ans
participe la sance de TP informatique, ils nous ont permis de donner ce cours un vrai aspect
industriel sans compter leur support quotidien.
Il convient videmment de souligner ce que ce cours doit au centre de recherche dEADS, les
rsultats numriques prsents ici sont un exemple des travaux de recherche qui y sont effectus.
Le premier auteur remercie particulirement la direction dEADS Innovation Works de lui avoir
laiss le temps de se consacrer cet enseignement.
Page 2/275
Sources et co-auteurs
Patrick Joly : Analyse et approximation de modles de propagation dondes.Partie 1 Analyse mathmatique. Cours de lEcole Polytechnique, Edition 2001.
Eliane Bcache, Patrick Joly : Analyse et approximation de modles de propagation
dondes. Analyse numrique Partie 2. Cours de lEcole Polytechnique, Majeure SIMS,
Edition 2004.
Eliane Bcache : Schmas numriques pour la rsolution de lquation des ondes. MASTER Modlisation & Simulation. ENSTA, Janvier 2005.
Guillaume Sylvand : La mthode multiple rapide en lectromagntisme. Performances,
paralllisation, applications. Thse de doctorat de lcole nationale des ponts et chausses.
Juin 2002 .
Rfrences
La littrature disponible sur le sujet qui nous concerne est trs abondante et souvent technique.
Nous donnons quelques rfrences permettant dapprofondir certains points. Cette liste est loin
dtre exhaustive.
Le lecteur intress par les preuves mathmatiques rigoureuses des diffrents rsultats pourra
consulter
- pour les notions de base sur la thorie des distributions :
J.M. Bony, Cours danalyse. Thorie des distributions et analyse de Fourier, ditions de lcole
Polytechnique (2001).
- pour un cours de base sur le calcul intgral, les espaces de Hilbert, la transforme de Fourier
et lanalyse une variable complexe :
Page 3/275
- pour le lecteur intress par plus de dtails sur les quations intgrales dans le domaine
frquentiel :
J.C Ndlec, Acoustics ans Electromagnetic equations. Integral representations for harmonic
problems, Applied Mathematics Science, 144, Springer Verlag, New-York (2001)
- pour un panorama des dveloppements rcents autour de la mthode des diffrences finies
temporelles pour la simulation des problmes dlectromagntisme, et des exemples dapplication assez varis :
A. Taflove, and S.C. Hagness, Computation Electrodynamics : the Finite- Difference Time-Domain
Method, Artech House, 3rd ed. (2005).
Page 4/275
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Page 5/275
.
.
.
.
.
.
.
.
.
.
.
.
.
.
9
9
10
10
15
18
20
20
21
26
27
29
30
34
40
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
45
45
45
46
48
50
51
54
54
57
59
63
64
64
65
66
70
2.5.1
2.5.2
Le problme de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . 72
Le problme de Neumann . . . . . . . . . . . . . . . . . . . . . . . . . 75
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
79
79
80
80
83
87
87
89
90
91
93
93
94
95
97
99
99
100
100
103
115
119
119
119
121
122
124
124
125
130
132
137
140
146
149
150
155
161
Page 6/275
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5 quations intgrales
5.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.1.1 Conventions et notations . . . . . . . . . . . . . . . . . . . . .
5.2 Distributions de simple et double couche . . . . . . . . . . . . . . . . .
5.2.1 Dfinitions . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.2.2 Produit de convolution . . . . . . . . . . . . . . . . . . . . . .
5.2.3 Formule des sauts . . . . . . . . . . . . . . . . . . . . . . . . .
5.3 Rayonnement dune source dans lespace libre . . . . . . . . . . . . . .
5.3.1 Rayonnement dune source quelconque . . . . . . . . . . . . .
5.3.2 Sources ponctuelles . . . . . . . . . . . . . . . . . . . . . . . .
5.3.3 Sources volumiques . . . . . . . . . . . . . . . . . . . . . . .
5.3.4 Sources surfaciques - Potentiels de simple et double couche . .
5.4 Thorme de reprsentation intgrale . . . . . . . . . . . . . . . . . . .
5.4.1 Rayonnement en prsence dun obstacle . . . . . . . . . . . . .
5.4.2 Solutions de lquation homogne en prsence dun obstacle . .
5.4.3 Projecteurs de Caldern . . . . . . . . . . . . . . . . . . . . .
5.5 quations intgrales . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.5.1 Choix du prolongement et de la trace . . . . . . . . . . . . . .
5.5.2 Problme de Dirichlet extrieur . . . . . . . . . . . . . . . . .
5.5.3 Problme de Dirichlet intrieur . . . . . . . . . . . . . . . . . .
5.5.4 Problme de Neumann extrieur . . . . . . . . . . . . . . . . .
5.5.5 Problme de Neumann intrieur . . . . . . . . . . . . . . . . .
5.5.6 quivalence entre problmes aux limites et quations intgrales
5.6 Quelques applications de la formule de reprsentation . . . . . . . . . .
5.6.1 Reprsentation intgrale 1D . . . . . . . . . . . . . . . . . . .
5.6.2 Formules de Poisson et de Cauchy . . . . . . . . . . . . . . .
5.6.3 Angle solide . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.6.4 Proprit de la moyenne . . . . . . . . . . . . . . . . . . . . .
5.6.5 Reprsentation intgrale de sin(k|x|)/(4|x|) . . . . . . . . . .
5.6.6 Ondes planes . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.6.7 Les modes intrieurs . . . . . . . . . . . . . . . . . . . . . . .
5.7 Gnralisation de la formule de reprsentation intgrale . . . . . . . . .
5.7.1 Fonction de Green dun problme aux limites . . . . . . . . . .
5.7.2 Fonction de Green avec condition de Dirichlet - Rciprocit . .
5.7.3 Nouvelle reprsentation intgrale - Formule de Poisson en 3D .
5.8 Formulations variationnelles . . . . . . . . . . . . . . . . . . . . . . .
5.8.1 Calcul formel . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.8.2 Normes de Sobolev dpendant de la frquence . . . . . . . . .
5.8.3 Loprateur intgral de simple couche . . . . . . . . . . . . . .
5.8.4 La drive normale de loprateur intgral de double couche . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Page 7/275
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
167
167
168
169
169
170
171
172
172
173
176
177
188
188
189
193
195
196
196
199
199
200
201
203
204
204
207
208
209
210
211
212
212
213
215
216
216
217
219
221
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
225
225
226
226
228
228
229
229
237
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
261
262
262
263
263
264
265
266
269
269
270
272
273
274
274
Page 8/275
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Chapitre 1
Introduction aux phnomnes de
propagation dondes et applications
industrielles
1.1 Introduction
Avant daborder ltude mathmatique et numrique des phnomnes de propagation dondes,
il convient de rappeler le lien troit de tout dveloppement de mthodes numriques avec la problmatique de la modlisation ; les quations que lon cherche rsoudre, les approximations
faites sur elles proviennent du savoir faire des physiciens, de ltat de lart des numriciens et
des besoins concrets des ingnieurs : il existe un compromis entre la complexit souhaite du modle, les contraintes temps de calcul lies au savoir-faire et la capacit des ordinateurs existants
et les exigences de prcision. La modlisation des phnomnes physiques constitue une partie
non ngligeable de lapproximation numrique de ces phnomnes. Les problmes de propagation dondes font partie des problmes hyperboliques linaires, la linarit permet un traitement
de la variable temps par transforme de Fourier, on parle dtude dans le domaine frquentiel.
Nous prsentons les 2 domaines dapplication : le domaine temporel cest dire lquation des
ondes, le domaine frquentiel cest dire lquation dHelmholtz car ces deux domaines sont
utiliss dans lindustrie : le fonctionnement dune antenne studie une frquence donne ou
autour de celle-ci, ltude de lagression de la foudre se modlise plutt en temporel. Les caractristiques principales des phnomnes de propagaton dondes sont la propagation vitesse finie,
la notion de causalit (qui fixe le sens du temps) dans le domaine temporel. Ceci se traduit dans
le domaine frquentiel par un certain comprtement linfini, impos par la condition de radiation
de Sommerfeld.
Ce chapitre prsente donc les diffrents modles physiques (propagation des ondes acoustiques, lectromagntiques et lastiques), fixe le contexte gnral dun problme de diffraction
dans les domaines frquentiel et temporel et en donne des exemples dapplication industrielle.
Dans les chapitres suivants, les dmonstrations mathmatiques porteront essentiellement sur le
cas scalaire, on illustrera certains aspects autant que possible sur le systme de Maxwell, les
Page 9/275
ondes lastiques nous ameneraient plus de calculs techniques qui cacheraient les notions fondamentales pour un cours introductif.
d
(T UT ) + grad pT = 0
dt
Conservation de lentropie pour les fluides parfaits :
pT
T = Cste
avec T la masse volumique, UT la vitesse, pT la pression, la constante caractristique des
d
fluides parfaits. La drive
dsigne la drive particulaire donne par :
dt
d
=
+ UT . grad
dt
t
Les ondes acoustiques sont caractrises par la masse volumique acoustique , la pression
perturbation lordre 1 des masse volumique, pression et
acoustique p, la vitesse acoustique U
vitesse du fluide. On note avec lindice 0 les caractristiques lordre 0 du fluide. Soit :
T = 0 +
UT = U0 + U
Page 10/275
pT = p0 + p
et on note
d
la drive particulaire lordre 0.
dt0
=
+ U0 . grad
dt0
t
On linarise ensuite les quations dEuler. A lordre 0, on rsout les quations de la mcanique des fluides qui permettent de dterminer lcoulement principal ou porteur que lon
supposera stationnaire. A lordre 1, les quations deviennent :
Conservation de la masse :
d
+ div(U0 ) = 0
.
+ (U
grad)0 + div(0 U)
dt0
Conservation de la quantit de mouvement :
0
dU
d
U0 + (U.
+
grad)(0 U0 ) + grad p = 0
dt0 dt0
Conservation de lentropie :
=
p0
0
En utilisant la loi des gaz parfaits, cette relation devient :
p
= Rs T = c2
avec Rs = R/M la constante spcifique du gaz, R la constante universelle des gaz parfaits
et M la masse molaire du gaz. c est la vitesse du son dans le fluide. Par exemple dans lair,
Rs = 287 J kg K1 , = 1, 4, 15C, la vitesse du son vaut approximativement 340 ms 1 .
On peut donc liminer la masse volumique acoustique puisquelle est directement proportionnelle la pression acoustique. Les ondes acoustiques sont donc dtermines par un systme
dquations en pression-vitesse provenant de la conservation de la masse et de la quantit de
mouvement.
d
= .
Supposons le fluide au repos : U0 = 0, 0 et p0 sont des constantes et
dt0
t
Le systme devient :
1 p
= 0
+ 0 div U
c2 t
(1.1)
En prenant
0 U +
grad p
t
= 0
:
de la premire quation et div de la deuxime, on peut liminer U
t
Page 11/275
1 2p
= 0
c2 t2 + t (0 div U )
+ div
(0 div U)
grad p = 0
t
En remarquant que div grad = , on constate que la pression vrifie lquation des ondes
(scalaire).
1 2p
p = 0
c2 t2
Prenons le rotationnel de la deuxime quation du systme (1.1), oprateur rot, nous obtenons :
(rot U)
=0
t
en utilisant la proprit rot grad = 0.
On constate donc que la vitesse des ondes acoustiques reste irrotationnelle si elle ltait
lorigine des temps.
= 0
t c2
2
0 U + (
grad p)
= 0
2
t
t
La vitesse acoustique vrifie lquation (vectorielle) suivante :
1 2U
=0
grad div U
2
2
c t
(1.2)
Sagit-il dune quation des ondes ? Nous rappellons la formule reliant les oprateurs de
drivation au laplacien vectoriel :
u=
grad div u rot rot u
(1.3)
=
Sous lhypothse dirrotationnalit de la vitesse acoustique lorigine des temps, alors grad div U
U , lquation (1.2) devient :
1 2U
U
=0
c2 t2
(1.4)
Page 12/275
qui est lquation des ondes vectorielle. Attention, il ny a pas quivalence entre les deux
quations puisque dans lquation (1.4) linformation rot U
= 0 a disparu.
Cas dun coulement porteur uniforme suppos suivant laxe Oz, 0 et p0 sont des constantes
et
0 (x, t) = U0ez
U
et
+ U0
=
dt0
t
z
Les quations deviennent :
1 dp
+ U0 p
+ 0 div U
2
c dt0
c2 z
(1.5)
En prenant
:
U
(1.6)
= 0
dU
U0 dp
0
+ 2
ez + grad p = 0
dt0
c dt0
d
de la premire quation et div de la deuxime, on peut nouveau liminer
dt0
d
1 d2 p
+ U0 d p
+
(
div
U)
0
2
c2 dt0
dt0
c2 dt0 z
= 0
dU
U dp
0 div( ) + 0
+ div grad p = 0
2
dt0
c z dt0
Page 13/275
p| = 0.
La condition de Neumann :
(1.8)
p
= grad p .n| = 0
n |
Pour dfinir les conditions aux limites appropries, il faut revenir la physique du problme
considr, en effet la dtermination des conditions aux limites fait partie intgrante de ltape
de modlisation comme pour les quations poses dans les domaines. La condition de Dirichlet
correspond des obstacles dits mous (ou soft) et celle de Neumann des obstacles dits rigides
(ou hard), laquelle est la plus pertinente ? Dans le monde physique dans lequel nous vivons, le
fluide ne pntre pas lintrieur des obstacles, les dplacements normaux des particules et donc
leurs vitesses normales sont donc nuls aux parois. Cest donc la condition de Neumann (car
=
U
grad p ) qui est utilise dans lensemble des modles.
Signalons quen fait il y a un couplage entre le fluide et la structure au niveau de linterface,
les ondes acoustiques peuvent donc mettre en vibration la structure et transmettre lintrieur des
cavits (comme ltage o est dpos le satellite pendant son lancement) une onde acoustique.
Le domaine de la vibro-acoustique est un domaine en pleine expansion au niveau des mthodes
de simulation.
Certains matriaux comme les matriaux absorbants acoustiques par exemple possdent des
proprits de dissipation de lnergie, la modlisation fine de ce matriau est inacessible avec les
moyens informatiques et les techniques numriques actuelles lchelle des structures, on utilise
alors un modle quivalent pour traduire de faon macroscopique ses proprits absorbantes.
Frquemment on introduit une impdance quivalente et la condition aux limites utilise est
alors celle de Robin dite aussi dimpdance.
Page 14/275
p
p
=0
n
t |
(1.9)
Limpdance peut tre un scalaire mais aussi de faon plus gnrale un oprateur dpendant
des variables despace et/ou du temps.
B
D
div D
div B
(1.10)
= rot E
= rot H
= 0
= 0
B(x,
t) = (x)H(x,
t)
D(x,
t) = (x)E(x,
t)
o (x) est la permabilit magntique et (x) la permittivit lectrique du milieu. Nous nous
limiterons au cas o (x) et (x) sont des scalaires positifs. Dans le cas le plus gnral ce sont
des oprateurs 3x3 pouvant dpendre du temps (nous ne considrerons pas non plus dans le cadre
de ce cours dventuelles non-linarits). Ils caractrisent le comportement lectromagntique du
matriau dans lequel londe se propage. Les variations en x dcrivent lventuelle htrognit
du milieu.
Page 15/275
H
rot
E
+
= 0
E
(1.12)
= 0
rot H
div(E)
= 0
div(H)
= 0
Remarquons que les quations ne sont pas indpendantes, en effet nous disposons de 8 quations pour 6 inconnues (en dimension 3). En prenant la div des deux premires quations, comme
t div(H) = 0
(1.13)
div(E)
= 0
t
et E
taient divergence nulle, ils le restent
Donc si lorigine des temps les champs H
tout temps ultrieur, ce qui donne les deux dernires quations du systme (1.12). Nous pouvons
(resp.E)
du systme (1.12) rduit aux deux premires quations en prenant le 1
liminer H
rot
(1.14)
2E
+ rot(1 rotE)
= 0.
2
t
(1.15)
2H
+ rot(1 rotH)
= 0.
2
t
Cas particulier : milieu homogne isotrope Plaons nous dans le cas particulier dun milieu
homogne isotrope, et sont alors des constantes. Les quations prcdentes deviennent :
2E
+ rot rotE
= 0
2
t
(1.16)
2H
+ rot rotH
= 0
2
t
Page 16/275
On voit alors apparatre la quantit qui est homogne linverse dune vitesse au carr.
On introduit donc c :
1
c=
qui reprsente la vitesse des ondes lectromagntiques dans le milieu dilectrique. Dans le
vide, on a c trs proche de 3. 108 m s1 qui correspond la vitesse de la lumire.
et H
sont divergence
En utilisant lexpression (1.3) et en remarquant que les champs E
nulle, on obtient sans difficult les quations suivantes
(1.17)
1 2E
c2 t2 E = 0
1 2H
H
= 0
c2 t2
H)
vrifent lquation des ondes vecce qui justifie que les champs lectromagntiques ( E,
torielle. De mme que prcdemment pour la vitesse acoustique, il convient de remarquer que
ce nouveau systme nest pas quivalent au systme (1.16) puisque les conditions de divergence
nulle ont disparu du systme(1.17).
Comme pour lacoustique, il convient de dterminer les conditions aux limites au bord des
structures pour achever la modlisation.
La plupart des structures mtalliques se modlisent par le modle dit du conducteur parfait,
les champs lectromagntiques ne pntrent pas lintrieur de la structure et il y a continuit
et de la composante normale du champ
de la composante tangentielle du champ lectrique E
Les conditions aux limites sont donc :
magntique H.
n | = 0
E
et
. n | = 0
H
Il faut noter que cette notion de conducteur parfait nest quun modle, valable sous certaines
hypothses. En particulier certaines frquences, lhypothse de non pntration des champs
lectromagntiques devient fausse, il y a une distance dite paisseur de peau le long de laquelle les champs sattnuent progressivement. Il faut alors adapter la condition aux limites ce
phnomne physique.
De mme que pour lacoustique, des conditions dimpdances existent permettant de prendre
en compte diffrents matriaux : par exemple une fine couche de dilectrique revtant un mtal
peut se modliser sous certaines hypothses par une condition aux limites dite dimpedance :
n Z n H
n | = 0
E
o limpdance Z peut tre un scalaire mais aussi un oprateur dans le cas le plus gnral.
Page 17/275
(1.18)
i = 1, 2, 3,
o (u) dsigne le tenseur (en loccurence une matrice symtrique) des contraintes associ au
champ de dplacements u (x, t) et = (x) dsigne la densit du matriau. Il faut adjoindre
aux quations dquilibre (1.18) la loi de comportement du matriau. Dans le cas dun matriau
linaire isotrope, cette loi est la loi de Hooke ( ij dsigne le symbole de Kronecker) :
ij (u) = div u ij + 2 ij (u)
(1.19)
o (u) = ij (u) dsigne le tenseur des dformations (linaris) associ au champ de dplacements u :
1 ui uj
(1.20)
ij (u) =
+
2 xj
xi
et o = (x), = (x) dsignent les constantes de Lam (ou coefficients de Lam). Les fonctions , , sont strictement positives et caractrisent le comportement lastique du matriau.
Leur variation en fonction de x dcrit lventuelle htrognt du milieu de propagation.
A partir des quations (1.19), il est facile dobtenir la formulation en dplacements du problme :
3
ui uj
2 ui
(1.21)
2
( div u)
+
= 0, i = 1, 2, 3.
t
xi
xj
xj
xi
j=1
Supposons le matriau homogne, soit et indpendant de x, les quations prcdentes
deviennent :
3
3
uj
2 ui
2 ui
(div u)
= 0, i = 1, 2, 3.
(1.22)
2
2
t
xi
x
x
x
i
j
j
j=1
j=1
Page 18/275
(1.23)
2 u
u
grad(div u)
grad(div u) = 0,
2
t
(1.24)
2 u
Nous reconnaissons dans lquation (1.24) les termes vectoriels rencontrs dune part pour
la vitesse acoustique dautre part pour les champs lectromagntiques, ce qui nous amne
considrer deux types de solutions, celles div nulle et celles rot nul.
2 u
u = 0,
( + 2)
t2
qui est lquation des ondes vectorielles avec pour vitesse c P donne par
c2P =
+ 2
2 u
u = 0,
2
t
qui est lquation des ondes vectorielles avec pour vitesse c S donne par
c2S =
pour la pression, quation des ondes vectorielle rot nul pour la vitesse), lectromagntisme
(quation des ondes vectorielle div nulle) et lasticit (quation des ondes vectorielle rot ou
div nuls) sont de complexit croissante.
Considrons maintenant les conditions aux limites pour achever la modlisation. Sur lventuelle frontire du domaine , on pourra considrer deux types de conditions aux limites :
la condition de bord encastr
(1.27)
u| = 0.
Page 19/275
(1.28)
ij (u) nj = 0 sur , i = 1, 2, 3.
j=1
(1.29)
La condition (1.27) nest autre que la condition de Dirichlet homogne : elle exprime le fait
que les points du bord sont immobiles. La condition (1.29) peut tre vue comme une condition
de Neumann homogne gnralise : elle exprime le fait quaucune force de surface extrieure
nest applique sur la surface .
it
e
R
ei2f t p(t) dt
p(t) dt =
R
(1.35)
F (p(t)q(t)) =
(1.36)
(1.37)
(1.38)
(1.39)
F (1) =
=
F e
F ((t)) =
F ((t )) =
f() =
(1.40)
i0 t
1
(
p q)() = (
p q)(f )
f
2
2() = (f )
2( 0 ) = (f f0 )
1
ei
f() si f (t) R
Par exemple, en utilisant (1.32), avec la convention prcdente, lquation des ondes scalaire
devient lquation de Helmholtz scalaire,
2
u =
u k 2 u = 0
c2
lquation des ondes vectorielles devient lquation de Helmholtz vectorielle,
= 0
V
k2 V
= 0
rot H + i0 E
pour les inconnues ou champs transformes de Fourieret o lon a vit dcrire les chapeaux
au dessus des flches pour ne pas alourdir lcriture et parce quil ny a pas dambiguit compte
tenu de la prsence explicite de .
(1.41)
H
+ 0
rot E
t
E
rot H
0
t
= 0
= 0
Page 21/275
1
0 g (t x/c)
rot E
= E
c
La premire quation du systme (1.41) implique :
1
0 g (t x/c) = 0
0 g (t x/c) + 0 H
E
c
do
0 = 1 E
0
H
Z0
(1.42)
avec
Z0 =
0
0
est
Par une analyse dimensionnelle, on remarquera que Z0 est homogne une impdance (H
1
1
est en V m ). Z0 est appele impdance du vide et vaut environ 120 en Ohm.
en A m et E
Londe est maintenant compltement dtermine, il nous reste vrifier la deuxime quation du
systme (1.41).
1
?
0 g (t x/c) =
0 g (t x/c) 0 E
0
H
c
(1.43)
= 0. En effet, comme | | = 1, on a
est vraie. La rponse est oui, puisque E
0 + E
0 = E
0
E
Page 22/275
= 0
rot H + i0 E
0 eikx
E(x,
) = g()E
0 eikx
H(x,
) = g()H
c
0 et H
0 vrifiant les relations (1.42) et (1.43). Le vecteur k est appel vecteur donde, il a pour
E
module le nombre donde k et sa direction correspond la direction de propagation. Remarquons
qu frquence fixe, g() est juste une constante multiplicative.
On aurait pu chercher directement une solution du systme (1.44) sans passer par le calcul
temporel prcdent. Posons
0 eikx
E(x,
) = E
0 eikx
H(x,
) = H
k = k
avec
k=
Changeons de physique pour introduire les ondes planes en acoustique, nous le ferons en frquentiel, lexpression gnrale en temporel sen dduit aisment. Le systme acoustique frquentiel pos dans tout lespace et sans terme source scrit de la manire suivante avec la convention
en temps eit
i
= 0
p + 0 div U
(1.45)
c2
i U
+ grad p = 0
0
que lon rcrit en introduisant k le nombre donde et Z 0 = 0 c limpdance acoustique :
= 0
ikp + Z0 div U
(1.46)
+ grad p = 0
ikZ0 U
donnes par
Les pression et vitesse acoustiques p et U
p(x) = p0 eikx
(x) = U
0 eikx
U
sont solutions de (1.46) si et seulement si :
0 = 0
+ iZ0k U
ikp0
0 + ikp0
ikZ0 U
= 0
En liminant lun ou lautre des champs, on obtient les relations suivantes :
k k = k 2
0 est colinaire k
U
Les quiphases sont de mme que prcdemment des plans perpendiculaires au vecteur donde
qui est de module le nombre donde et la vitesse acoustique est colinaire au vecteur donde.
Considrons dsormais un champ vectoriel V gnral vrifiant lquation de Helmholtz vectorielle (1.48) et cherchons-le sous la forme front donde plan :
(1.47)
(x) = V
0 eikx
V
(1.48)
= 0
V
k2 V
il est immdiat alors que V (x) donn par (1.47) est solution de lquation (1.48) si et seulement
si
0 = 0
0 k 2 V
(k k)V
Page 24/275
=
(1.49)
0 = k (k V
0 ) + k k V
0
k 2 V
on obtient
k
Aprs normalisation, on constate que la relation vectorielle obtenue (1.50) en notant = le
k
vecteur unitaire correspondant la direction de propagation
0 ) + V
0
0 = ( V
(1.50)
V
permet de dcomposer toute onde plane vectorielle en somme donde plane rotationnel nul
et donde plane divergence nulle. La vitesse acoustique est un exemple du premier cas, les
champs lectromagntiques du second cas. Dans le systme de llasticit, les ondes dites de
pression correspondent des dplacements colinaires la direction de propagation, les ondes
dites de cisaillement des dplacements orthogonaux la direction de propagation.
Les dfinitions et notations suivantes sont classiquement adoptes :
f=
2
2
1
T = =
f
k=
c
2
= cT =
k
(1.51)
Il existe des solutions non triviales cette quation diffrentes des ondes planes. Soit par exemple
u(x) =
sin(kr)
,
r
r = |x| =
x21 + x22 + x23
Page 25/275
Notons que cette fonction est rgulire mme lorigine et dcroissance lente linfini. En
utilisant lexpression du Laplacien en coordonnes sphriques, on obtient :
u =
1 2
1 2
(ru)
=
(sin(kr)) = k 2 u
r r 2
r r 2
cos(kr)
r
est solution des quations de Helmholtz en dehors de lorigine. Il en est de mme par linarit
pour
eikr
u (x) =
r
Les quiphases sont des sphres. Quand r +, celles-ci deviennent localement planes.
Plaons-nous au voisinage dun point X = R loin de lorigine (R
1). On a pour un point
courant x dans ce voisinage :
1/2
r = |x| = |X + (x X)| = |X|2 + 2X (x X) + |x X|2
1/2
2
|x |2
= R 1 + x + 2
R
R
1
= R + x + O
R
avec x = x X et ainsi
eikr
eikR kx
k = k
e
r
R
Londe se comporte donc localement comme une onde plane se propageant le long du vecteur
eikR
. Ceci explique pourquoi le
directeur , une fois mis en facteur le facteur dattnuation
R
modle donde plane est frquemment utilis pour dcrire des sources incidentes sphriques
venant de loin.
peut pas dfinir de conditions initiales puisque la variable temps a disparu aprs transformation
de Fourier. Pour obtenir lunicit de la solution physique frquentielle, il importe de retrouver le
sens du temps. On doit donc pour fermer le systme imposer une condition suplmentaire.
La condition de radiation de Sommerfeld introduite partir de considrations nergtiques
E
(1.52)
r
ikE 0
quand r +
r
permet de choisir la solution physique. Nous verrons dans le chapitre 3, lors du choix de la
bonne solution lmentaire, le lien entre causalit et condition de radiation.
Remarque 3. Attention, lexpression de la condition de radiation dpend du choix de la convention en temps ! ! ! En effet, le lecteur ne doit pas oublier que toutes les quantits dpendant de ik
deviennent opposes quand on change de convention. Lexpression ci-dessus (1.52) est valable
pour la convention en eit .
Remarquons dj que les ondes planes ne vrifient pas cette condition. Soit u(x) = u 0 eik x
une onde plane se propageant dans la direction , on a :
u
iku = iku0 ( er 1) eik x
r
La condition de radiation
nest vrife que dans la direction er = , dans toutes les autres
u
iku + quand r +.
directions r
r
Dans le domaine temporel, les ondes planes ne sont pas physiques car elles ne sont pas
causales et sont donc limines par le choix de conditions initiales. De mme nous voyons dans
le domaine frquentiel que la condition de radiation les limine comme solutions non physiques.
et
. n | = 0
H
avec la frontire de et n la normale extrieure . Soit le problme gnral de diffraction
avec termes sources situs en dehors de lobstacle :
rot
E
+
= m
s
0
dans D ( R)
E
rot H 0
= js
n = 0
dans D ( R)
H n = 0
Nous allons dcomposer les champs (dits totaux) comme superposition de champs dits incidents
et de champs dits diffracts. Dfinissons dabord les champs incidents : ce sont les champs crs
par les termes sources qui existeraient sil ny avait pas dobstacle, cest dire comme si lon
remplissait le domaine initialement occup par lobstacle par un matriau de mmes caractristiques que le domaine extrieur. Les champs incidents sont donc solutions de :
Hinc
rot Einc + 0
= m
s
t
dans D (R3 R)
inc
= js
rot Hinc 0
t
En dfinissant les champs diffracts (ED , HD ) par
=
E
Einc + ED
= Hinc + HD
H
nous obtenons le systme dquations suivant :
HD
D
rot
E
= 0
+
ED
rot HD 0
= 0
t
ED n = Einc n
HD n = Hinc n
D
E = HD = 0
dans D ( R+ )
dans D ( R+ )
t=0
en notant t = 0 un instant avant que le champ incident narrive sur lobstacle. Nous navons
donc mis la causalit que sur le champ diffract, ce qui nous autorise utiliser comme modle
les ondes planes comme ondes incidentes puisque nous avons vu que suffisamment loin des
sources tout champ se propageant en domaine infini se comporte ainsi. Nous pouvons de mme
Page 28/275
rot E
i0H
s
dans D ()
rot H + i0 E = js
n = 0
dans D ()
H n = 0
On introduit de mme les champs incidents solutions de :
s
rot Einc i0 Hinc = m
inc
inc
rot H + i0 E
= js
dans D (R3 )
=
E
Einc + ED
= Hinc + HD
H
on obtient le systme :
dans D ()
dans D ()
quand r +
Il est important de noter que la condition de radiation est indispensable sur les champs diffracts
pour obtenir un problme bien pos et physique. De mme que dans le domaine temporel, le
problme de diffraction pos comme un problme aux limites sans terme source est adapt aussi
un champ incident de type onde plane.
de matriaux passifs dont les paramtres radiolectriquesont adapts soit la menace pressentie, soit une large bande de frquence mais avec des performances moindres. En dernier recours, des solutions dites actives (la cible met une onde venant dtruire londe
incidente par interfrence) sont utilises pour dcaractriser la plateforme.
Dans les deux cas, le problme se ramne caractriser la signature des diffrentes menaces
(missiles, porte-avion, avion de chasse...).
F IG . 1.2 Maillage dun avion pour tude de furtivit : influence de lentre dair
Le problme a dabord t pos dans le domaine frquentiel : les radars travaillant en gnral
sur une bande de frquence relativement troite.
Dans le cadre de la modlisation de certains missiles, la signature est trs faible et on cherche
donc des rsultats prcis pour des niveaux bas. On privilgiera donc une mthode numrique
frquentielle et trs prcise. Lorsque les objets sont grands devant la longueur donde, on peut
utiliser une approximation dite haute frquence des quations de Maxwell et ramener ltude des
diffrentes interactions onde-structure des phnomnes gomtriques comme pour les rayons
lumineux.
Les diffrentes mthodes dites asymptotiques utilises dans lindustrie (Geometrical Theory
of Diffraction GTD, Uniform Theory of Diffraction UTD, Physical Theory of Diffraction PTD)
nentrent pas dans le cadre de ce cours qui se limite uniquement aux mthodes dites numriques
rsolvant les quations de Maxwell sans approximation.
Page 31/275
E dif f (R, , ) 2
|
E inc
Cette quantit est homogne une surface et correspond la surface dont il faudrait disposer
si elle diffusait de faon isotrope dans tout lespace pour renvoyer un cho de mme puissance
que celui effectivement reu par le rcepteur.
Au dbut des annes 80, la mthode des Equations Intgrales est apparue et sest impose
dans la gamme des basses moyennes frquences pour le calcul de la SER de diffrents objets.
La mthode des Equations Intgrales sera prsente en dtail au chapitre 5, nous nous contenterons ici den prsenter les principales proprits.
Le problme de diffraction prcdent est un problme pos dans un domaine extrieur, au
sens du complmentaire dun domaine born (la cible), ce domaine est donc infini et se pose alors
automatiquement pour toute mthode numrique le problme de la troncature du domaine de
calcul (on ne va pas mailler jusqu linfini). Nous verrons chapitre 2 quune condition aux limites
de champ nul revient gnrer un mur parfaitement rflchissant, soit donc par le principe des
images une onde de mme amplitude revenant dans le domaine de calcul.
En utilisant la fonction de Green (solution lmentaire des quations de Maxwell), on peut
par produit de convolution reprsenter la solution de tout problme de diffraction pos en milieu
homogne par une intgrale dfinie sur la surface de lobjet diffractant et fonction uniquement
de traces (ou limites) des champs solutions sur lobjet. Cette reprsentation intgrale permet de
prendre en compte directement le comportement linfini de la solution, ce qui permet de lever
le problme de troncature prcdent. La dtermination des traces des champs solutions se fait
en rsolvant un problme aux limites pos sur la surface de lobjet diffractant, cest lquation
Page 32/275
intgrale. On peut mettre cette quation sous forme variationnelle en suivant les techniques
habituelles utilises pour les problmes lliptiques et utiliser une mthode dlments finis pour
obtenir un systme linaire rsoudre.
Par conservation des ennuis (il ny a pas de miracle ! !), si on sest certes ramen un problme pos sur des surfaces et non plus des volumes donc gnrant moins dinconnues, le systme linaire obtenu nest plus creux comme pour une EDP rsolue par une mthode dlments
finis usuelle mais compltement plein. La limitation en terme de taille de problme trait provient
de cette caractristique : si on choisit une mthode de rsolution directe comme une mthode de
Gauss il faut stocker la matrice (ce qui nest plus trop un problme dornavant vu le faible prix
des disques) et surtout lalgorithme de rsolution est en nombre dinconnues au cube.
Calculons lordre de grandeur des problmes. La taille dun problme dpend de la surface de
lobjet considr en terme de longueurs donde. En effet, la solution frquentielle est oscillante
et sexprime en terme de eikx avec k le nombre donde fonction de la frquence. Pour dcrire une
fonction sinusoidale, il faut au minimum disposer de 5 points par longueur donde. Supposons
que nous maillons la surface S de lobjet en triangle rectangle isocle de cot h, le nombre
dlments triangulaires Nel est donn par
S = Nel
La taille maximum des artes tant
h2
2
2
25
o est la longueur donde. En lectromagntisme, pour un objet mtallique les inconnues sont
positionnes au milieu des artes, nous avons alors asymptotiquement la dpendance suivante :
3
Ninc = Nel
2
donc
S
2
La longueur donde tant inversement proportionnelle la frquence du calcul, on voit immdiatement que le cot en temps de calcul de la rsolution est proportionnel la puissance sixime
de la frquence. Donc multiplier par 2 la frquence induit une multiplication par 64 du temps de
calcul pour une frquence ! ! !
Quelques chiffres permettent de mesurer lampleur du potentiel de la mthode intgrale et de
ses volutions rcentes (en particulier lintroduction des mthodes multiples que nous prsenterons au chapitre 6) :
Mthode intgrale sur station de travail : taille des problmes traits : 10 000 inconnues
annes 80
Mthode intgrale parallle sur super calculateurs : taille des problmes traits :100 000
inconnues annes 90
Ninc = 150
Page 33/275
Mthode intgrale + Fast Multipole Method (FMM) : taille des problmes traits : 1 000 000
inconnues fin des annes 90
Mthode intgrale + FMM + paralllisme : taille des problmes traits : 40 000 000 inconnues annes 2000
15 000 inconnues correspond des surfaces de lordre de 1002 donc des objets nexcdant
par 10 denvergure. 1 500 000 inconnues correspond des surfaces de lordre de 10 0002 donc
des objets nexcdant par 100 denvergure. A 300MHz, la longueur donde est d1m, les objets
accessibles pour la mthode intgrale classique non parallle sont de lordre de 10m 2 et passent
avec la mthode FMM 100m2 . Pour fixer les ides, un missile de croisire a par exemple une
surface de lordre de 10 m2 . On peut donc parler de vritable rvolution puisque lon a gagn au
moins un facteur 10 soit sur la dimension caractristique des objets traits frquence fixe soit
sur la frquence maximum possible pour des objets de taille fixe. Nous aborderons au chapitre 6
la mthode FMM et les perspectives actuelles des mthodes numriques, en particulier lutilisation de mthodes intgrales temporelles qui peuvent permettre dobtenir le calcul de la SER sur
toute la bande de frquence. Les figures (1.4) et (1.5) prsentent les traces des champs lectromagntiques, pour une structure diffractante reprsentant une entre dair sur un fuselage, issues
dun calcul FMM comportant plus d1 million dinconnues, les oscillations sont caractristiques
de la longueur donde (le fuselage une longueur denviron 70) ce qui illustre lapport de la
mthode FMM.
plus frquente dquipements lectroniques dans les avions (suppression de commandes de vol
hydrauliques) et les automobiles (la peugeot 307 contient autant dlectronique quun A320 du
dbut des annes 1980...), utilisation non contrle des appareils lectroniques par les passagers
dun avion, dveloppement dun grand nombre de normes (norme CE pour le domaine civil grand
public cre dans les annes 1990).
Les solutions pour se prmunir des inconvnients associs une non-matrise de la CEM
existent : blindage des structures/cbles par des matriaux mtalliques (effet cage de Faraday),
protection hardware (filtrage ou crtage des signaux en entre de carte lectronique par un
composant lectronique), protection software (traitement logiciel du signal), ... Lenjeu industriel
est de matriser le dimensionnement de ces protections pour aboutir au meilleur compromis cot
- poids - risque consenti. Ce compromis doit tre valu le plus tt possible dans un cycle de
conception afin doffrir la meilleure solution.
Pour les grands systmes, on distingue classiquement plusieurs types danalyses de compatibilit lectromagntique :
Compatibilit antennaire (fonctionnement simultan de diffrentes antennes)
Compatibilit intra systme (fonctionnement simultan dquipements lectriques/lectroniques)
Compatibilit inter systme (arrive dun avion sur un aroport, passage dune voiture sous
une ligne de courant)
Dans tous ces cas, pour effectuer une analyse globale sur un grand systme, on distingue dans
le problme trois notions qui correspondent au dcoupage du problme physique global :
Source : Elle doit tre caractrise par ses proprits dmission (niveaux de champs lectromagntiques, nergie transmise, frquence de transmission, ...)
Mode de couplage : Les modes de couplage entre une source de perturbation et une victime peuvent tre classifis selon le type de perturbation et son support de propagation :
Couplage par conduction : propagation dune tension ou dun courant sur des conducteurs,
Couplage par champ : propagation dun champ lectromagntique dans un milieu nonconducteur (air, autre type de matriau isolant) ou conducteur (blindage mtallique).
Couplage par champ
lectromagntique
Source
de perturbation
Couplage
par induction
+
V
Equipement
victime
du systme, distance). Le modle utilis est un modle de Kirchhoff, le systme peut alors tre reprsent par des lments lectriques. La rsolution du problme revient chercher les solutions
dun circuit lectrique.
Page 38/275
le radome qui doit assurer simultanment une protection mcanique de lantenne et tre
transparent aux frquences de travail pour assurer les performances nominales de lantenne (minimiser le Taux dOndes Stationnaires caractrisant les ondes rflchies par le
radme, ne pas modifier le diagramme de rayonnement)
limpdance dantenne qui doit tre la plus proche possible de limpdance du circuit
lctronique qui lui est raccord pour viter la dsadaptation
En ce qui concerne la conception dantennes, ds le milieu des annes 80, la mthode intgrale a t trs utilise, en particulier la taille des lments rayonnants tant de lordre de la
longueur donde, les modles restaient trs raisonnablesen terme de taille et temps de calcul. Ce
domaine a bnfici directement du dveloppement des mthodes intgrales pour la furtivit.
Limplantation dantennes sur porteur reste limite quelques centaines de MHz par mthodes exactes, on utilisera une mthode asymptotique comme la GTD pour valuer partir de
la description fine de lantenne dans son environnement proche la perturbation apporte par la
structure porteuse.Les figures (1.13) et (1.14) illustrent la modlisation fine par mthode intgrale.
La figure (1.16) illustre la mise en oeuvre dune mthode asymptotique base de rayons travaillant directement sur la CAO (1.15) et non pas sur un maillage de la structure.
Page 41/275
F IG . 1.13 Modlisation par lments finis dune antenne VHF et son environnement proche
Page 42/275
F IG . 1.16 rayons directs, rayons rflchis par les surfaces, rayons diffracts par les artes
Ce couplage faible de mthodes numriques (faible car on ne prend pas en compte les effets
de la structure dans le fonctionnement propre de lantenne) se rvle souvent efficace : en effet,
la donne observe est le diagramme de rayonnement de lantenne, ce champ dit lointain est plus
rgulier que celui au voisinage trs proche de lantenne et donc ne ncessite pas une description
trop fine pour tre prcis. La mthode FMM a permis dans ce domaine aussi de gagner un ordre
de grandeur dans la taille des problmes considrs.
En revanche, la problmatique du couplage entre antennes est plus difficile car la donne observe (le coefficient de couplage) est une donne non moyenne et peu rgulire. Actuellement
avec la puissance informatique disposition seule une mthodologie de couplage ou dcomposition de domaines peut permettre daugmenter les frquences tudiables.
Signalons pour conclure limportance et la difficult de la validation des mthodes numriques. Les essais exprimentaux restent le seul moyen de validation en particulier dans la zone
des moyennes frquences o peu de mthodes exactes sont disponibles et o les mthodes asymptotiques ne sont pas encore valides.
Page 43/275
Page 44/275
Chapitre 2
Analyse des problmes de propagation
dondes en dimension 1 despace
2.1 Introduction
Dans le cas monodimensionnel, lquation des ondes sans terme source sous sa forme gnrale non dispersive tenant compte dhtrognit scrit simplement :
2u
u
(2.1)
(x) 2
(x)
=0
t
x
x
Cette quation est notamment utilise pour modliser la propagation des ondes le long dune
corde : elle est aussi appele quation des cordes vibrantes ou quation du tlgraphiste. Sans entrer dans les dtails de la modlisation, mentionnons simplement que les mouvements des points
de la corde, suppose rectiligne au repos, sont supposs unidimensionnels et transverses. Le scalaire u(x, t) reprsente alors le dplacement (avec son signe !) du point de la corde dabcisse x
linstant t. La prsence des coefficients et permet de prendre en compte les proprits de la
corde (section, densit,...) qui peuvent ventuellement varier dun point un autre.
Nous allons voir que, sans utiliser des outils mathmatiques sophistiqus, on peut dire beaucoup de choses sur cette quation et ainsi apprhender facilement les principales proprits de
lquation des ondes. Ceci confrera ce chapitre un caractre trs lmentaire sur le plan technique. En outre, nous ne nous proccuperons pas toujours de la justification rigoureuse des calculs que nous mnerons (celle-ci est notamment possible la lumire des chapitres qui suivront)
et insisterons plutt sur les rsultats et les ides associs cette modlisation.
gale
c=
(2.2)
/.
2 u
c
= 0,
x R, t > 0,
t2
x2
(2.3)
u(x, 0) = u0 (x),
x R,
(x, 0) = u1(x),
x R.
t
Il se trouve que ce problme peut se rsoudre analytiquement.
u1 () d.
+
2c xct
Dmonstration. Nous utiliserons le changement de variable :
= x + ct
= x ct,
et introduisons la fonction :
U(, ) = u(x, t),
dont il est facile de vrifier quelle satisfait
2U
= 0.
Nous en dduisons quil existe deux fonctions dune variable f (.) et g(.) telles que :
U(, ) = f () + g().
En revenant linconnue originale u, nous obtenons :
u(x, t) = f (x ct) + g(x + ct).
Pour obtenir f et g nous utilisons les conditions initiales :
u(x, 0) = u0 (x)
= f (x) + g(x) = u0 (x),
u
(x, 0) = u1 (x) = c{f (x) g (x)} = u1 (x).
t
Page 46/275
1 x
u1(t) dt + A,
f (x) g(x) =
c 0
f (x) + g(x) = u (x),
0
1 x
A
1
u1 (t)dt + ,
f (x) = u0 (x)
2
2c 0
2
x
1
1
A
g(x) = u0 (x) +
u1 (t)dt ,
2
2c 0
2
expressions dont le rsultat annonc se dduit aisment. Le lecteur notera que, contrairement aux
fonctions f et g, la quantit f (x ct) + g(x + ct) est indpendante de A.
Remarque 4. Nous avons tabli ci-dessus un rsultat intermdiaire important qui exprime que
toute solution de lquation des ondes homognes
(2.5)
2
2u
2 u
c
=0
t2
x2
(2.6)
D(x, t)
xct
x+ct
ba
, b ct < x < a + ct}
2c
(2.8)
u1 (y) dy.
On en dduit quen tout point de lespace, pour t assez grand, la fonction t u(x, t) est
constante. Plus prcisment :
a+b
1
ba 1
+ |x
| = u(x, t) =
u1 (y) dy.
(2.9)
t > T (x) =
2c
c
2
2c R
En particulier, la solution ne revient pas ncessairement 0 (sauf si lintgrale de u 1 est nulle) :
comme on le verra, ceci est spcifique la dimension 1.
Page 48/275
x=act
x=a+ct
u=0
u=0
(x 2, t 2)
(x 1, t 1)
D(x 2, t 2)
D(x 1, t 1)
u=0
u=0
Page 49/275
Pour mieux illustrer ces proprits, nous reprsentons sur les figures 2.4 et 2.5 les solutions du
problme (2.3) pour les deux jeux de donnes suivants :
u0 (x) = (x), u1 (x) = 0,
(2.10)
u0 (x) = 0, u1 (x) = (x),
o :
(x) = (1 x2 )2 si |x| < 1,
(2.11)
(x) = 0 sinon.
9
8
7
6
5
t
4
3
2
1
0
10
10
u
c
1
t
2
2
9
8
7
6
5
t
4
3
2
1
0
10
10
k
k
k
k
( (., 0), (., 0)) C (R) C (R) = ( (., t), (., t)) C (R) C (R),
t
x
t
x
u
( (., 0), u (., 0)) H k (R) H k (R) = ( u (., t), u (., t)) H k (R) H k (R).
t
x
t
x
Ce type de proprit est assez caractristique de la famille des quations hyperboliques linaires
laquelle appartient lquation des ondes. Elle situe ce type dquation dans une position intermdiaire entre :
Les quations paraboliques linaires qui ont un effet rgularisant : mme pour des donnes
initiales non rgulires, la solution devient trs rgulire pour t > 0. Le prototype dune
telle quation est lquation de la chaleur.
Les quations hyperboliques non linaires qui peuvent introduire des singularits : mme
pour des donnes initiales rgulires, la solution peut devenir singulire en temps fini. Le
prototype dune telle quation est lquation de Burgers.
Page 51/275
o E(t) est par dfinition lnergie totale de la solution. De la remarque 4, on dduit que toute
solution dnergie finie de lquation des ondes (2.5) est ncessairement de la forme :
u(x, t) = f (x ct) + g(x + ct),
(f, g) H 1 (R)2 .
(2.16)
Autrement dit, linstar de la solution u(x, t), la fonction e(x, t) est une quantit quadratique
en u qui, contrairement une quantit quadratique quelconque apparat comme la somme dune
onde se propageant vers la droite et dune onde se propageant vers la gauche. En particulier, on
en dduit que (invariance de lintgrale par translation) :
2
(2.17)
E(t) = c
{f (x)2 + g (x)2 } dx ( indpendant de t).
R
c
= 0.
t2 t
x2 t
dx =
(| | ) dx,
2
2 R t t
R t t
(2.18)
u
1d
=
{ | |2 dx},
2 dt R t
alors que, moyennant une intgration par parties
2
u u
2 u u
2
2
c
dx
=
c
dx,
R x t
R xt x
c2
u 2
(2.19)
(| | ) dx,
=
2 R t x
u
c2 d
{ | |2 dx}.
=
2 dt R x
Ainsi en ajoutant (2.18) et (2.19), on obtient :
d
{E(t)} = 0.
dt
(2.20)
Page 52/275
c
= 0,
t2
x2
proprit quil est difficile dtablir directement partir de la seule quation des ondes vrifie par u. Cette proprit est du reste spcifique au cas de la dimension 1, contrairement la
conservation de lnergie totale. Comme un petit calcul montre que :
e
u u
(x, 0) = c2 (
)(x, 0),
t
x x t
il sensuit que si les donnes initiales u 0 et u1 sont support dans lintervalle [a, b], on a
e
(x, 0) dx = 0,
R t
ce qui permet de retrouver le fait que e(x, t) est nulle dans la rgion :
{(x, t) / t >
ba
, b ct < x < a + ct}
2c
c
= 0,
t2 t
x2 t
e(x, t) dx
b+ct
est dcroissante. Or, comme les donnes initiales sont support dans [a, b],
F (0) =
e(x, 0) dx = 0,
b
On en dduit que la fonction u(x, t) est constante dans la rgion x > b + ct, et donc nulle
puisque u0 lest pour x > b. De faon analogue, on peut tablir que u(x, t) est nulle dans la
rgion x < a ct. La proprit de propagation vitesse finie est alors dmontre.
(2.22)
Page 54/275
(k, ) R2 .
Remarque 7. Contrairement ce que nous avons implicitement fait jusquici nous avons introduit une solution valeurs complexes. Lquation des ondes tant coefficients rels, il est clair
qu partir dune solution u valeurs complexes, on obtient des solutions valeurs relles en
considrant Re u ou Im u.
Remarque 8. On constate que, en tout point :
|u(x, t)| = 1.
On dit que u(x, t) est une onde damplitude 1. Bien sr, si la fonction u donne par (2.22) est
solution de lquation des ondes, par linarit de celle-ci, il en sera de mme de la fonction :
u(x, t) = A exp i(t kx)
o A dsigne un nombre complexe quelconque. On dit quon a affaire une onde damplitude
A. En particulier :
|u(x, t)| = |A|.
La fonction dfinie par (2.22) est oscillante en temps et en espace (voir figure 2.6) et on
dfinit :
k est le nombre donde. La solution est priodique en espace de priode = 2/|k| : la
longueur donde.
est la pulsation (souvent abusivement appele frquence, la frquence tant f (ou )=
/2). La solution est priodique en temps de priode T = 2/ = 1/f
1.5
1.5
= cT
1.0
1.0
0.5
0.5
0.0
0.5
0.5
1.0
1.0
1.5
0.0
1.5
0.0
0.2
0.4
0.6
0.8
1.0
0.0
0.2
0.4
0.6
0.8
1.0
Page 55/275
En crivant que :
x
), V =
V
k
on voit quil sagit dune onde se propageant la vitesse (dite vitesse de phase) :
u(x, t) = exp i (t
V =
.
k
Pour que (2.22) soit solution de lquation des ondes (2.5), on voit que et k doivent satisfaire
la relation de dispersion :
2 c2 k 2 = 0.
(2.23)
Considrant cette relation comme une quation en o k joue le rle de paramtre, on voit que
cette quation admet deux solutions relles :
= ck.
(2.24)
(2.25)
ce qui se traduit aussi par le fait quoscillations spatiales et temporelles sont relies par :
= cT.
(2.26)
On constate que la vitesse V ne dpend pas de k. En dautres termes, toutes les longueurs donde
se propagent la mme vitesse : on dira que lquation des ondes est non dispersive. Cest ce
qui fait quun signal de forme quelconque, que lon peut voir via la transformation de Fourier nous y revenons un peu plus loin - comme la superposition de signaux harmoniques de longueurs
donde diffrentes, se propagera sans dformation (cf remarque 4).
Remarque 9. De faon gnrale, si on sintresse une quation aux drives partielles linaire
de la forme :
L(
(2.27)
, )u = 0,
t x
o L(., .) est un polynme de deux variable dont on dsignera par N t le degr par rapport la
premire variable on peut toujours chercher des solutions de la forme (2.22) avec cette fois :
k R,
C.
qui est une quation polynmiale en de degr N t dont les racines (rptes avec leur multiplicit) sont notes :
{j (k), 1 j Nt }.
Par dfinition, on dira que lquation (2.27) est hyperbolique si et seulement si
j (k) R,
1 j Nt , k R.
Ceci assure que le problme de Cauchy associ (2.27) est bien pos. Si en outre les vitesses
de phase k Vj (k) = j (k)/k sont constantes, on dit que lquation (2.27) est non dispersive.
Dans le cas contraire, on dit quelle est dispersive. Nous retrouverons ces notions lorsque nous
tudierons les schmas de discrtisation de lquation des ondes.
Un calcul lmentaire
Im( (
u(x)eit ) = Re (
u(x)eit i) = Re (
u(x)eiti 2 ) = u(x, t +
)
2
montre que la partie imaginaire de u(x)eit correspond la solution u(x, t) initiale soumise
une simple translation dans lorigine des temps, donc la partie relle et la partie imaginaire de
u(x)eit verifient lquation des ondes. Il est immdiat alors que u vrifie lquation suivante :
(2.28)
2
u(x)
u(x) = 0
c2
Page 57/275
u(x) k 2 u(x) = 0
(2.29)
(2.30)
(2.31)
Re (
u(x)eit ) correspond la solution relle de lquation des ondes associe la source
f(x)cos(t) et Im (
u(x)eit ) correspond la solution relle de lquation des ondes associe
f(x)sin(t) (qui est simplement dcale dans le temps par rapport la prcdente).
Interprtons la solution de lquation de Helmholtz (2.31) :
Soient u0 et fonctions relles de la variable despace telles que u(x) = u0 ei avec
] , ]. La solution u(x, t) scrit :
u(x, t) = u0 cos(t + )
u0 reprsente donc lamplitude de londe et son dphasage qui correspond un retard du
point de vue algbrique ( > 0 , u(x, t) est en retard sur f (x, t), < 0 , u(x, t) est en avance sur
f (x, t) )
Remarque 10. Le choix de la convention en temps eit ou eit dans la dfinition de u ne
change pas lquation homogne (cest dire sans second membre) (2.29) vrifie par u, mais
change seulement linterprtation de la phase du rsultat. Pour la convention e it , un dphasage
positif correspond une avance comme le montre la formule :
u(x, t) = u0 cos(+t + )
En gnral, les mathmaticiens utilisent la convention e it et les physiciens eit souvent
note ejt car i reprsente le courant lectrique. Les solutions complexes obtenues u entre les
deux conventions sont conjugues lune de lautre, donc on pourrait penser que larbitraire du
choix de la convention importe peu.
Il convient de se proccuper pour tout rsultat frquentiel du choix de la convention en temps
quand :
Page 58/275
Le thorme de Lax-Milgram qui donne un rsultat dexistence et dunicit pour les problmes
variationnels elliptiques ne peut sappliquer pour le problme (2.32) puisquil ny a pas coer
civit (stricte positivit) de la forme bilinaire grad u . grad v k 2 u v. Il faudra donc
dautres thormes pour obtenir un tel rsultat indispensable avant la mise en oeuvre de toute
mthode numrique. En effet, rsoudre un systme linaire provenant dune quation o lon
nest pas assur de lexistence ou unicit conduit dans le meilleur des cas des NaN (Not a
Number) ou un crash brutal du programme (floating exception ). Le chapitre 2 prsentera les
rsultats mathmatiques spcifiques lquation de Helmholtz.
Rappelons simplement ici que cette transformation est inversible et que, lorsque u est dans L 1 (R)
(transformation de Fourier inverse) :
1
u(k)eikx dk.
(2.34)
u(x) =
2 R
Page 59/275
Pour viter des difficults purement techniques on se limitera au cas o les donnes u 0 et u1 sont
rgulires support compact et o :
(2.36)
u1 (y) dy = 0.
R
(2.38)
(2.40)
sin(ckt)
.
ck
u1 (k)
a+ (k) = 1 (
u0 (k) + i
),
2
ck
(2.43)
u1 (k)
a (k) = 1 (
u0 (k) i
).
2
ck
Page 60/275
Remarque 13. Lorsque u0 et u1 sont support compact, les fonctions u 0 et u1 sont trs rgulires et, grce lhypothse (2.36), u 1 (0) = 0. Il sensuit que les fonctions a + (k) et a (k) sont
bien dfinies et rgulires.
Remarque 14. Si nous dsignons par A loprateur dfini formellement par :
A = c2
2
x2
A
u(k), A(k)
= c2 k 2 .
1
+
u (x, t) =
a+ (k) exp(ik(x ct)) dk
2 R
u (x, t) =
a (k) exp(ik(x + ct)) dk
2 R
Page 61/275
avec
u0 (., t) = F 1 u0 (., t)
u1 (., t) = F 1 u1 (., t)
(2.45)
Rappelons ici la proprit bien connue de la transformation de Fourier vis--vis des oprateurs
de translation (a R) :
ua (x) = u(x a) = ua (k) = u(k) exp(ika).
(2.46)
Nous utilisons alors (2.46) pour appliquer la transformation de Fourier inverse lgalit (2.45)
et obtenons :
1
u0 (x, t) = (u0 (x + ct) + u0 (x ct)).
2
1
Pour calculer u (x, t) nous observons que, en posant :
x
u1 () d,
v1 (x) =
nous avons
dv1
(x),
dx
ce qui se traduit aprs transformation de Fourier par :
u1 (x) =
v1 (k),
u1 (k) = ik
Page 62/275
et on peut crire :
u1 (k, t) =
1
(
v1 (k) exp(i(ck)t) v1 (k) exp(i(ck)t)) .
2c
|
u1 (k, t)| t |
u1 (k)|.
Grce au thorme de Plancherel qui exprime, rappelons le, que la norme L2 dune fonction est
gale ( un coefficient multiplicatif prs...) celle de sa transforme de Fourier, nous dduisons :
u0 (., t)L2 u0L2 ,
Cette ingalit exprime que lapplication ( t > 0 fix) qui au couple (u 0, u1 ) fait correspondre
la solution u(., t) linstant t (cette application est parfaitement dfinie pour (u 0 , u1 ) rgulires
support compact par exemple) se prolonge de manire unique (via un argument de densit)
en une application linaire continue de L2 L2 dans lui-mme. Cest en ce sens un rsultat de
stabilit (ou de continuit dans L 2 ). Lingalit 2.47 est typiquement lingalit que lon cherchera reproduire (ou du moins un quivalent) lorsque lon tudiera la stabilit L 2 dun schma
numrique.
Page 63/275
Remarque 16. Il est facile de retrouver lingalit 2.47 directement partir de la formule de
dAlembert. Toutefois, la mthode de Fourier a lavantage de se gnraliser trs aisment en
dimension suprieure.On peut aussi montrer avec la formule de dAlembert (la mthode de Fourier nest alors plus oprante) une ingalit de stabilit analogue dans les espaces L p avec
p [1, +], p = 2, savoir :
u(., t)Lp u0Lp + t u1Lp .
(2.48)
Toutefois, on peut dmontrer que ce type dingalit nest plus vrai en dimension suprieure ou
gale 2. On dit que, sauf en dimension 1, lquation des ondes nest pas bien pose dans L p
pour p = 2.
Exercice 3. Dmontrer lingalit de stabilit Lp (2.48).
Page 64/275
2 G
c
= 0,
x R, t > 0,
t2
x2
(2.50)
G(x, 0) = 0,
x R,
(x, 0) = (x),
x R.
t
Il est alors facile de vrifier que la formule (2.4) scrit encore :
(2.51)
u(x, t) = G(x y, t) u1 (y) dy +
G(x y, t) u0 (y) dy .
t
R
R
Cette formule est en fait gnrale car elle stend, ainsi que nous le verrons nimporte quelle
dimension despace. Par dfinition la fonction G(x, t) est la fonction de Green ou solution lmentaire de lquation des ondes 1D (2.3).
2 u
c
= f,
x R, t > 0,
t2
x2
(2.52)
u(x, 0) = 0.
x R,
(x, 0) = 0,
x R.
t
Nous verrons dans le chapitre qui suit que la solution de ce problme scrit :
t
G(x y, t s) f (y, s) dy ds.
(2.53)
u(x, t) =
0
Page 65/275
(2.55)
Aussi paradoxal que a puisse paratre, la formule explicite nest pas trs commode pour tablir
ce type de rsultat et il est plus pratique de passer par la transformation de Fourier en espace. Il
est facile de montrer que la transforme de Fourier spatiale u(k, t) de la solution de (2.52) est
donne par :
t
sin(ck(t s))
f (k, s) ds,
(2.58)
u(k, t) =
ck
0
Page 66/275
t
u
(k, t) =
cos(ck(t s)) f(k, s) ds.
t
0
En particulier, par Cauchy-Schwartz, on a les majorations :
t
u
s)|2 ds,
|f(k,
|c x (k, t)| t
0
t
2
s)|2 ds.
| (k, t)| t
|f(k,
t
0
Le thorme de Plancherel permet alors daboutir aux estimations :
t
u
|c
|f (x, s)|2 dx ds,
(x, t)| dx t
x
R
R
0
t
| (x, t)|2 dx t
|f (x, s)|2 dx ds.
t
R
R
0
ce qui montre que :
f L1loc (R+ ; L2 (R)) = u L (R+ ; H 1(R)) W 1, (R+ ; L2 (R)).
Par ailleurs, partir de la formule :
t+h
u
c (k, t + h) c u
s) ds
(k, t) = i
sin(ck(t + h s)) f(k,
x
x
t
t
+ i [ sin(ck(t + h s)) sin(ck(t s) ] f(k, s) ds,
0
u
C 0 (R+ ; L2 (R)).
x
Page 67/275
u
C 0 (R+ ; L2 (R)),
t
nimplique pas
u C 0 (R+ ; H 2 (R)),
autrement dit on ne gagne pas deux crans de rgularit en gnral. Pour cela, considrons la
fonction f (x, t) dfinie par :
f (x, t) = 1 si |x| < c t,
(2.59)
0
(R+ ; L2 (R)),
f Cloc
1
f
/ Cloc
(R+ ; L2 (R)),
0
f
/ Cloc
(R+ ; H 1 (R)).
1 cc t2 x2
u(x,
t)
=
,
si |x| c t,
2c
(c
+
c
1 (ct |x|)2
(2.61)
c
, si c t |x| ct,
u(x,
t)
=
2c (c2 (c )2 )
u(x, t) = 0,
si |x| ct.
Le graphe de la fonction x u(x, t) est donc une runion darcs de parabole, comme
illustr par la figure 2.8.
Page 68/275
u C 0 (R+ , H 2 (R)).
1 cc t2 x2
u(x,
t)
=
,
si |x| ct,
2c (c + c )
1 (c t |x|)2
(2.63)
u(x,
t)
=
c
, si ct |x| c t,
2c (c2 (c )2 )
u(x, t) = 0,
si |x| c t.
A nouveau, cette fonction est de classe C 1 et en particulier :
(2.64)
u C 0 (R+ , H 2 (R)).
u(x, t) = 0,
si |x| ct.
Cette fois, il est clair (voir figure 2.9) que la drive en x de u est discontinue travers les
droites x = c t et que par consquent :
(2.66)
t > 0,
u(., t)
/ H 2 (R).
(2.67)
Exercice 7. Dmontrer partir de la formule (2.58) que lon a bien la rgularit (2.62) ds que
f satisfait (2.67).
2 u
c
= 0,
x R+ , t > 0,
t2
x2
(2.68)
x R+ ,
u(x, 0) = u0 (x),
u (x, 0) = u1 (x),
x R+ .
t
Pos tel quel, le problme (2.68) est mal pos : il admet une infinit de solutions. Pour sen
convaincre, il suffit de remarquer que si f (x) est une fonction rgulire de la variable relle
support dans le demi-espace x < 0, la fonction :
u(x, t) = f (x ct)
est une solution de (2.68) associe aux donnes initiales homognes u 0 (x) = u1(x) = 0. Pour
obtenir un problme bien pos, il faut complter (2.68) par une condition aux limites en x = 0.
Nous considrerons deux conditions aux limites classiques :
La condition de Dirichlet homogne :
(2.69)
u(0, t) = 0,
t > 0.
u
(0, t) = 0,
x
t > 0.
Pour raliser que le problme de non unicit est alors lev, il suffit par exemple de remarquer que
chacun des problmes (2.68, 2.69) ou (2.68, 2.70) possde la proprit de conservation de lnergie, laquelle entrane en particulier un rsultat dunicit (voir Remarque 5). Pour sen convaincre,
nous tablissons une identit dnergie dans le demi-espace pour toute solution dnergie finie
de (2.68). Les calculs sont presque identiques ceux dj effectus dans la section 2.2 pour le
cas de lespace entier. De lquation des ondes, nous dduisons :
2
2 u u
2 u u
c
= 0,
t2 t
x2 t
x > 0, t > 0.
Par ailleurs :
(2.71)
R+
1
2 u u
u 2
dx =
(| | ) dx,
2
t t
2 R+ t t
u
1d
{
| |2 dx},
=
2 dt R+ t
alors que
(2.72)
u
2 u u
2 u u
u
2
2
c
dx
=
c
dx + c2 (0, t)
(0, t),
t
x
R+ x t
R+ xt x
u
u 2
u
c2
(| | ) dx + c2 (0, t)
(0, t),
=
2 R+ t x
t
x
u
u
u
c2 d
{
(0, t).
| |2 dx} + c2 (0, t)
=
2 dt R+ x
t
x
Si on dfinit lnergie :
E(t) =
e(x, t) dx < +,
R
u
u
d
{E(t)} = c2 (0, t)
(0, t).
dt
t
x
u
u
(0, t)
(0, t) = 0,
t
x
t > 0.
On en dduit que toute solution dnergie finie de (2.68, 2.69) o (2.68,2.70) satisfait :
E(t) = E(0),
t > 0,
c
t2
x2
est pair en x, cest dire invariant par le changement de variable x x. Une consquence
immdiate sur le problme de Cauchy (2.3) est la suivante (cette proprit se lit dailleurs sur la
formule de dAlembert) :
Si les donnes initiales u0 et u1 de (2.3) sont paires, tout instant t > 0 la fonction
x u(x, t) est paire.
Si les donnes initiales u0 et u1 de (2.3) sont impaires, tout instant t > 0 la fonction
x u(x, t) est impaire.
Partons maintenant des donnes initiales u 0 et u1 du problme (2.68, 2.69) (elles sont seulement
dfinies pour x > 0) et construisons leurs prolongements par imparit u 0 et u1 :
u0 (x) = u0(x) si x > 0, u0(x) = u0 (x) si x < 0,
(2.74)
u1 (x) = u1(x) si x > 0, u1(x) = u1 (x) si x < 0.
Soit u(x, t) la solution du problme de Cauchy sur R associ aux donnes initiales u 0 et u1 :
2
2
u
2 u
c
= 0,
x R, t > 0,
t2
x2
(2.75)
u(x, 0) = u0 (x),
x R,
(x, 0) = u1(x),
x R.
t
Nous avons alors le rsultat suivant :
Thorme 2. La solution u(x, t) du problme (2.68, 2.69) nest autre que la restriction au demiespace x > 0 de la solution u(x, t) du problme (2.75).
En effet, observons simplement que :
u(x, t) satisfait bien sr lquation des ondes dans le demi-espace x > 0 (puisquelle la
satisfait sur R tout entier).
A linstant t = 0, par construction mme de u 0 et u1 , on a
u(x, 0) = u0 (x),
Page 72/275
u
(x, 0) = u1 (x),
t
pour x > 0.
u0 = u+
u+
0 , u
0
0 +u
0,
0 = u
0 = u
+
+
u1 = u1 + u1 , u1 = u1 , u1 = u1
o, par dfinition :
+
(
u+
0 ,u
1 ) (prolongement de (u0 , u1 ) par 0 dans le demi-espace x < 0) est la source relle,
support dans x > 0.
(
u
0 ,u
1 ) est la source image, support dans x < 0.
Par linarit, on a le principe de superposition :
u(x, t) = u+ (x, t) + u (x, t),
o
u+
+
u+ est la solution du problme de Cauchy associ aux donnes (
0 ,u
1 ) : cest londe
mise par la source relle, cest dire la solution quon observerait sil ny avait pas de
bord, souvent appele onde incidente. (Attention u + = + u)
u
u1 = 0,
u0 = (x 3)
Aux instants suivants, la partie de londe mise par la source relle qui se propage vers la
droite poursuit sa route sans perturbation. Celle qui se propage vers la gauche rentre dans
le milieu invisible x < 0 et est en quelque sorte remplace par la partie de londe
mise par la source image qui se propage vers la droite. On dit que londe incidente, qui
se propageait vers la gauche, a donn naissance une onde rfchie, se propageant vers la
droite.
On constate enfin que la rflexion saccompagne dun changement de signe : on dit que la
rflexion seffectue avec le coefficient de rflexion :
R = 1.
(2.77)
Page 74/275
Pour le cas dune condition de Dirichlet non homogne, le principe des images ne sapplique
plus. Nous renvoyons le lecteur lexercice suivant :
Exercice 8. Rsoudre explicitement le problme suivant :
2
2
u
2 u
c
= 0,
x R+ , t > 0,
t2
x2
(2.78)
x R+ ,
u(x, 0) = u0 (x),
u (x, 0) = u1 (x),
x R+ .
t
avec la condition aux limites (la fonction g tant donne) :
(2.79)
u(0, t) = g(t),
t > 0.
2 u
x R, t > 0,
t2 c x2 = 0,
(2.81)
u(x, 0) = u0 (x),
x R,
(x, 0) = u1(x),
x R.
t
Nous avons alors le rsultat suivant :
Thorme 3. La solution u(x, t) du problme (2.68, 2.70) nest autre que la restriction au demiespace x > 0 de la solution u(x, t) du problme (2.81).
Largumentation est essentiellement la mme que pour le thorme 2 ceci prs que les
donnes u0 et u1 tant paires, la solution u est paire en x. Ds quelle est drivable, elle satisfait
donc :
u
(0, t) = 0,
x
cest dire la condition de Neumann en x = 0.
Le rsultat du thorme 3 sinterprte comme pour le problme de Dirichlet en terme de
sources images, le prolongement par parit venant simplement se substituer au prolongement
Page 75/275
par imparit. La diffrence essentielle avec la condition de Dirichlet est que le phnomne de
rflexion seffectue sans changement de signe. On dit quon a un coefficient de rflexion :
R = 1.
(2.82)
A titre dillustration, nous avons reprsent sur la figure 2.12 (voir la figure 2.13 pour linterprtation en terme du principe des images) la solution du problme pour les donnes (2.76).
2 u
x R+ , t > 0,
t2 c x2 = 0,
(2.83)
x R+ ,
u(x, 0) = u0 (x),
u (x, 0) = u1 (x),
x R+ .
t
Page 76/275
u
(0, t) = g(t),
x
t > 0.
Page 77/275
Page 78/275
Chapitre 3
Analyse mathmatique du problme de
diffraction 3D
3.1 Introduction
Ce chapitre est consacr lanalyse mathmatique du problme de diffraction en dimension
3 en domaine frquentielle puis en domaine temporel.
Nous avons vu dans le paragraphe 1.3.2 des solutions des quations dondes dans lespace
libre : les ondes planes qui nont pas de termes sources et les ondes sphriques qui ont un terme
source concentr en un point. Pour prendre en compte des termes sources gnraux, et pour
mieux comprendre la condition de radiation de Sommerfled, il nous faut calculer les solutions
lmentaires. Elles permettent de mieux comprendre la physique des phnomnes et serviront de
base la mthode des quations intgrales dans le chapitre 5. Cest lobjet du 3.2.
Nous calculons ensuite la forme gnrale des solutions sans second membre en dehors dune
boule. Ce sont les solutions qui nous intressent dans la pratique, car les termes sources que nous
considrons sont support compact. Pour cela, nous avons besoin de quelques fonctions spciales. Nous introduisons la base des harmoniques sphriques fonctions de Bessel et de Hankel.
Elles nous permettent de calculer analytiquement (sous forme de sries) les ondes lintrieur et
lextrieur de la sphre. Ces solutions sont trs utiles pour dmontrer des rsultats thoriques
dune part et servent de rfrence pour valider les mthodes numriques dautre part.
Nous passons ensuite lanalyse mathmatique du problme de diffraction en domaine frquentiel. Nous nous contentons du cas scalaire avec conditions aux limites de Dirichlet. Il sagit
de rsoudre une EDP en domaine infini dont les solutions ne sont pas dans L 2 . Une formulation
variationnelle ne peut tre obtenue en intgrant dans tout lespace. Mais la condition de radiation
de Sommerfeld et les calculs de solutions explicites lextrieur dune sphre du paragraphe
3.3.3 et la relation dimpdance sur la sphre, explicite dans la base de sharmoniques sphriques,
vue au paragraphe 3.3.4 permettent de tronquer le domaine infini par une grande sphre et de
se ramener un problme aux limites dans un domaine born avec conditions aux limites nonlocales sur la sphre. Nous dmontrons que ce problme vrifie les hypothses de lalternative de
Fredholm et en dmontrant lunicit de la solution, nous en dduisons lexistence. Nous aurions
Page 79/275
pu dmontrer ce rsultat par la mthode dabsorption limite, nous en donnons les grandes lignes.
Les techniques qui permettent dtudier le problme temporel reposent sur lutilisation du
thorme de Hille-Yosida rappel au paragraphe A.5.6 pour tablir lexistence et unicit, lemme
de Grnwall pour obtenir des estimations dnergie. Ces estimations serviront au chapitre 4 lors
de la discrtisation des quations dondes avec la mthode des diffrences finies en domaine
temporel. Au chapitre 5, nous voquerons une autre approche pour ltude des problmes temporels reposant sur la transforme de Fourier-Laplace, ltude de problmes frquentiels coercifs
(du fait de la frquence complexe !) et enfin le retour en temporel grce au thorme de PaleyWiener.
Lu = f
En effet,
L(E f )
(LE) f
linarit de L
E solution lmentaire
En ajoutant une solution lmentaire toute solution non triviale du problme homogne, on
trouve une nouvelle solution lmentaire. Pour un problme bien pos, en imposant en plus des
conditions sur le comportement de la solution, par exemple le comportement linfini, conditions souvent dictes par des considrations physiques, la solution lmentaire est unique. A titre
dexemple, rappelons le thorme fondamental de llectrostatique : lunique solution nulle
linfini de
E(x) = (x)
dans D (R3 )
est
E(x) =
1
4|x|
Ceci donne, par produit de convolution, lexpression du potentiel lectrique V dune charge
ponctuelle Q positionne lorgine. V est nul linfini et vrifie lquation de Poisson :
V =
Page 80/275
Q
0
dans D (R3 )
Modlisation des phnomnes de propagation dondes
On retrouve
Q
40 |x|
Remarquons aussi que lon dduit de la solution lmentaire les solutions distributions pour
des seconds membres f contenant des drives (au sens des distributions) de la fonction Dirac .
En effet, la solution de
dans D (Rn )
Lu =
xi
est donne par :
E
E
u=E(
) =
=
xi
xi
xi
Revenons lquation des ondes en temporel et en frquentiel. On cherche E solution causale
de
1 2
E(x, t) = (x)(t)
dans D (R3 R)
2
2
c t
En utilisant (1.32) et (1.38), on vrifie que la transforme de Fourier en temps de E est solution
lmentaire du problme de Helmholtz :
V (x) =
dans D (R3 )
) = (x)
( + k 2 )E(x,
1 d2
(rg ) k 2 g = (x)
r dr 2
dans D (R3 )
pour r > 0.
On en dduit que :
eikr
r
r
Remarque 17. Lexpression du Laplacien en fonction de r dpend de la dimension despace. La
forme prcdente nest donc valable quen dimension 3 !
ikr
) = g (r) = a+ e
E(x,
+ a
Revenons dans le domaine temporel par transformation de Fourier inverse, en utilisant (1.39),
on obtient :
(t r/c)
(t + r/c)
+ a
E(x, t) = a+
r
r
E + (x,t)
E (x,t)
Page 81/275
pour t < 0
+
{0}
pour
t=0
(t) =
{0} pour t = 0
(t) =
pour t > 0
Cest une sphre qui existe pour les temps ngatifs, et qui seffondre la vitesse c pour disparatre
au temps t = 0. Pour visualiser lvolution de en cours du temps, il suffit de passer le film
de + lenvers !
La solution E (x, t) devient causale en inversant le sens dcoulement du temps. Cest donc
bien le choix du sens de lcoulement du temps qui permet dobtenir lunicit de la solution
lmentaire de lquation des ondes. On dmontre en utilisant la dfinition de la drive au sens
des distributions que cette solution lmentaire est :
E(x, t) =
(t r/c)
4r
Dans le domaine frquentiel, la solution physique est la transforme de Fourier de LA solution temporelle. Avec notre choix de convention pour la transformation de Fourier e it (cf
eikr
est la bonne solution lmentaire.
(1.31)), on obtient que a+
r
La condition de radiation (1.52) implique que a = 0. Nous rappelons les formules de drivation connatre :
r
grad r =
r
(3.1)
r
grad f (r) = f (r)
r
(3.2)
Donc,
E
1 eikr r
1 eikr r
+
=a
er + a
er
ik
ik
r
r
r r
r
r r
soit encore
Page 82/275
1 eikr
1 eikr
E
+
=a
+ a ik
ik
r
r
r
r
r
Modlisation des phnomnes de propagation dondes
et
ik E = a+ ik
eikr
eikr
a ik
r
r
En additionnant, on obtient :
E
1
1
ik E = a+ O( 2 ) + a O( )
r
r
r
do le rsultat.
Exercice 10. En notant que (+k 2 )g = 0 en dehors de lorigine, et en reprenant la dfinition
1
.
de la drive au sens des distributions, vrifier que a + =
4
On appelle Fonction ou Noyau de Green note G(x, y) la fonction dfinie par E(x y) avec
E solution lmentaire. Pour lquation de Helmholtz, dans le cas tridimensionnel et avec la
convention en temps eit , nous avons :
eik|xy|
4|x y|
G(x, y) = E(x y) =
2
u
f
k u=
u
(3.3)
iku 0
quand r +
r
r
Par produit de convolution, on obtient :
u(x) =
R3
R3
eik|xy|
f (y) dy
4|x y|
Pour que cette expression ait un sens, on doit imposer des restrictions sur f , par exemple f
L2loc (R3 ), cest--dire f support compact et de carr intgrable.
..
k
E
rot i0
= (x) i,k
..
k
H
i0
rot
.
qui vrifient, composante par composante, la condition de radiation (1.52) linfini. Ces 6 solutions forment un tenseur 6 6 qui est le tenseur de Green du systme de Maxwell frquentiel.
Une fois ce tenseur obtenu, toute solution dans R 3 du systme de Maxwell avec termes sources
sobtiendra par produit de convolution.
En fait, nous nallons pas utiliser la notation tensorielle, mais plutt chercher les champs lectromagntiques gnrs par des sources ponctuelles de type courants lectriques et magntiques
positionnes en un point y quelconque :
m(x)
= m
0 (x y)
j(x) = j0 (x y)
En effet, ce type de sources est trs utilis dans le milieu de llectromagntisme, on parle de
diples lectriques et magntiques. En particulier, beaucoup dantennes ont un fonctionnement
de type diple lectrique (comme un fil de longueur/4 positionn sur un plan mtallique) ou
diple magntique (fente de longueur /4 dans un plan mtallique). Donc la connaissance de ces
solutions lmentaires est indispensable.
Dans la suite, y est fix, et les oprateurs de drivation agissent en x. Les vecteurs m
0 et j0
sont des vecteurs qui pourront ensuite dpendre de y.
et H,
En remarquant que les quations de Maxwell possdent une certaine symtrie en E
cherchons dabord lexpression des champs rayonns par un diple lectrique.
= 0
rot E
i0 H
(3.4)
dans D (R3 )
rot H + i0E = j0 (x y)
On obtiendra les champs rayonns par un diple magntique en appliquant les transpositions
suivantes lexpression des champs rayonns par un diple lectrique.
E
H
j0
(3.5)
H
E
0
m
0
= i0j0 (x y)
rot rot E
2 0 0 E
=k 2
Page 84/275
=
H(x, y) =
rot E = rot G(x, y)j0
i0
Le champ rayonn par un diple magntique se calcule de manire analogue et sans nouveau
calcul en utilisant (3.5).
Lexpression des champs lectromagntiques rayonns par des sources diplaires j0 et m
0
positionnes au point y est donc donne par (3.6) :
1
0 (y)
E(x, y) = ikZ0 1 + k 2 grad div G(x, y)j0 (y) rot G(x, y)m
(3.6)
ik
1
eikR ik x
eik|xy|
e
4|x y|
4R
eik|xy|
yx
eikR ik x
1
)
ik
e
|x y| 4|x y| |x y|
4R
Page 85/275
Par suite,
eikR ik x
gradx divx (G(x, y)j0 (y)) = gradx (gradx G(x, y) j0 (y)) k 2
( j0 (y))
e
4R
On obtient alors dans le cas du diple lectrique le comportement lointain suivant des champs
lectromagntiques dans la direction :
eikR
y) ikZ0 j0 ( j0 )
eik x
E(x,
4R
eikR
H(x,
eik x
y) ik j0
4R
En posant,
soit :
eikR
E
j
=
ikZ
(
j
)
0
0
0
0
4R
ikR
H
0 = ik j0 e
4R
E(x)
E0 eik x
0 eik x
H(x)
H
On remarque que le comportement linfini est localement celui dune onde plane
0
E0 = Z0 H
0 =
Z0 H
E0
Nous voyons alors apparatre une autre condition de radiation permettant de ne conserver que les
ondes physiques, cette condition dite de Silver-Muller scrit :
er ) 0
r(E(r)
Z0 H(r)
quand r +
Elle dcoule directement du comportement linfini des champs rayonns par des sources lmentaires. Il est facile de dmontrer que les ondes planes ne vrifient pas cette condition ( part
uniquement dans la direction vers laquelle elles se propagent) ni les ondes diplaires dpendant
eikr
. Lorsque lon rsout numriquement le systme de Maxde lautre solution lmentaire
r
H,
cest cette condition qui est souvent utilise plutt que
well en gardant les deux champs E,
celle de Sommerfeld.
Remarque 18. Lexpression des champs lectromagntiques rayonns par un diple lectrique
potentiel
sobtient classiquement en utilisant les potentiels lectriques, V potentiel scalaire et A
vecteur. En utilisant successivement les 2 thormes de Poincar (les champs divergence nulle
Page 86/275
drivent dun rotationnel et les champs rotationnel nul drivent dun gradient) dans le systme
(3.4), on obtient :
=
rot A
0 H
i A
=
E
grad V
Le potentiel vecteur tant dfini un gradient prs et le potentiel scalaire une constante prs,
on utilise classiquement une jauge (ici celle de Lorentz en frquence)
i V = 0
div A
c2
qui permet de dcoupler les deux potentiels, qui vrifient alors respectivement lquation de
Helmholtz scalaire et vectorielle avec comme second membre respectif la charge lectrique
source et le courant lectrique source. On obtient alors directement les champs rayonns (3.6).
1 2
1
S =
+
2
2
sin
sin
sin
dm
Pl (x)
dxm
pour 1 x 1
o Pl est le polynme de Legendre de degr l. Alors la famille (Y l,m )lN, lml dfinie par
"
Yl,m(, ) =
2l + 1 (l m)! m
P (cos )eim
4 (l + m)! l
ul,m Yl,m
l,m
|ul,m|2
l,m
En utilisant lexpression du Laplacien en coordonnes sphriques, on trouve que U l,m (r) vrifie
lquation diffrentielle suivante :
2
l(l + 1)
Ul,m
+ Ul,m
Ul,m = 0
r
r2
pour r > 0
et
1
r l+1
(3.8)
l,m
ul,m
1
r l+1
Yl,m (, )
Les ul,m sont des coefficients dterminer grce la condition aux limites. Dans le cas dun
problme de Dirichlet :
u0l,m Yl,m(, )
sur S =
u = u0 =
l,m
on trouve
ul,m = u0l,m
Dans le cas dun problme de Neumann :
u
=g=
gl,m Yl,m (, )
n
l,m
En utilisant (3.7) et (3.8), on trouve :
gl,m
pour le problme intrieur
l
gl,m
pour le problme extrieur
=
l+1
ul,m =
ul,m
Page 89/275
dans
On trouve que les coefficients Ul,m sont solution de lquation de Bessel sphrique :
2
l(l + 1)
2
pour r > 0
Ul,m + Ul,m + k
Ul,m = 0
r
r2
On montre que
(1)
(2)
1
2
hl (kr) + l,m
hl (kr)
Ul,m (r) = l,m
(1)
hl (r)
= (r)
1 d
r dr
l
eir
r
(2)
(1)
hl (r) = hl (r)
= (i)
avec
l
m
=
ir
le
l
l
m
m=0
1
rm
(l + m)!
m!(l m)!2m
(1)
eir
r
quand r +
(2)
eir
r
quand r +
hl (r) (i)l
alors que
hl (r) (i)l
( + k 2 )u = 0 dans
u = u0 sur S
u0l,mYl,m (, )
l,m
Page 90/275
Pour reprsenter une solution des quations de Helmholtz lintrieur de la sphre, il faut utiliser
les combinaisons des fonctions de Hankel sphriques bornes lorigine :
(1)
jl (r) = m hl (r)
Il sagit des fonctions de Bessel sphriques usuelles.
Indpendamment de toute condition aux limites, les calculs prcdents montrent que toute
solution des quations de Helmholtz pour r > 1 et vrifiant la condition de radiation linfini
scrit sous la forme :
ul,m hl (kr)Yl,m(, )
(3.9)
u(r, , ) =
l,m
(1)
o partir dici, on note hl = hl sans aucune confusion. Cette formule est connue sous le nom
de dveloppement multipolaire.
En utilisant le comportement asymptotique des h l linfini, on dmontre que :
(3.10)
eikr
eikr
l
a(, )
(i) ul,mYl,m (, ) =
u(r, , )
r l,m
r
uniformment en (, ).
hl (k)
hl (k)
Ul,m Yl,m
l,m
zl (k)Ul,m Yl,m
l,m
uYl,mdS
S
avant de les multiplier par zl . T est ce quon appelle un oprateur pseudo-diffrentiel dordre 1.
De plus, on montre les ingalits importantes suivantes :
Proposition 3. Pour tout v H 1/2 (S), on a
e(T v, v) Cv2H 1/2 (S)
m(T v, v) > 0
o (, ) est le crochet de dualit H 1/2 (S) H 1/2 (S) (linaire droite, anti-linaire gauche).
Remarque 19. La premire ingalit est un rsultat de coercivit sur T . La deuxime exprime
que lnergie rayonne est positive. La preuve de ce thorme repose sur les proprits de signe
de zl quon dmontre en se basant sur la proprit de rcurrence homographique suivante :
zl+1 (k) = (l + 2)
k2
zl (k) l
et le calcul explicite de z0 . Dailleurs, cest cette mme rcurrence quon utilise pour calculer z l
dans la pratique.
Remarque 20. Pour transposer les rsultats prcdents sur la sphre S R de rayon R > 0, il
suffit de remplacer zl (k) par
Zl (k, R) = k
Page 92/275
1
hl (kR)
= zl (kR)
hl (kR)
R
Modlisation des phnomnes de propagation dondes
Terminons ce paragraphe par une remarque sur loprateur de Dirichlet-Neumann du Laplacien. Le problme de Dirichlet intrieur (dans la boule) admet une solution unique. Il en est de
mme pour le problme de Dirichlet extrieur ( la boule) avec condition de potentiel nul linfini. On peut donc introduire loprateur de Dirichlet intrieur T int et loprateur de Dirichlet
extrieur T ext . Daprs les calculs du 3.3.2, on a
T int :
Ul,m Yl,m
lUl,m Yl,m
l,m
et
T ext :
Ul,m Yl,m
l,m
l,m
(l + 1)Ul,m Yl,m
l,m
T int + T ext = I
O I est linjection canonique de H 1/2 (S) dans H 1/2 (S). T ext est donc une perturbation compacte de T int .
tendre vers 0 et obtenir une solution du problme initiale. Cest le principe dabsorption limite.
Nous ne dvelopperons pas cette technique, mais en dirons quelques mots dans le paragraphe
3.4.5.
Un autre technique consiste tronquer le domaine et crire des conditions aux limites dites
transparentes sur linterface de troncature, i.e. des conditions aux limites qui ne vont pas gnrer
des rflexions : toute onde qui arrive sur une telle interface va pouvoir sortir du domaine. La
solution du problme aux limites dans le domaine tronqu est ainsi la restriction ce domaine de
la solution du problme dans le domaine extrieur. Cette approche permettra une approximation
par lments finis. En effet, mme si une formulation dans tout le domaine extrieur est possible,
comment mailler un domaine infini ? Nous tronquons le domaine par une sphre et profitons
du calcul de loprateur de Dirichlet-Neumann introduit dans le paragraphe 3.3.4 pour crire la
condition transparente. Ceci permet dtablir le thorme dexistence et unicit.
Dans la pratique, on prfrera tronquer le plus prs possible de lobstacle pour diminuer
autant que possible le domaine de calcul et optimiser par consquent le temps de calcul. Une
interface de type sphrique nest pas toujours adapte. Dans ce cas, la condition aux limites
transparente nest plus simple implmenter. De plus, pour des raisons defficacit numrique,
on prfrera un oprateur local, alors que loprateur de Dirichlet-Neumann exact ne lest pas.
On travaille avec ce que lon appelle des conditions aux limites absorbantes. Dun point de vue
thorique, nous pouvons utiliser ce genre de conditions aux limites pour dmontrer lexistence
et unicit de la solution du problme dans le domaine tronqu. Cette fois-ci, cette solution nest
plus la restriction de la solution dans tout le domaine extrieur. Mais on dmontre que lorsque
R , cette solution tend vers la solution cherche dans tout voisinage born de lobstacle.
Nous ne dvelopperons pas cette technique.
Pour terminer, signalons un autre type de problmes : la diffraction par des obstacles nonborns. Par un exemple, un obstacle priodique dans une ou deux directions de lespace, un plan
ou un demi-plan infini. Ces obstacles pouvant tre localement perturbs. . . Nous ne traiterons pas
non plus ce genre de problmes dans le cadre de ce cours.
( + k 2 )p = 0 dans
p = 0 sur
(3.12)
in
p p vrifie la condition de radiation de Sommerfeld
p est londe totale. psc = p pin est londe diffracte.
dans D (Oi )
et
dans D (O)
u1
u2
=
n
n
sur
Dmonstration. En testant par une fonction test C 0 (O), et en remarquant que u L2 (O),
on obtient :
(( + k 2 )u, ) = (u, ( + k 2 ))
2
2
u(x)((x) + k (x))dx =
=
O
i=1
Oi
ui (x)((x) + k 2 (x))dx
Page 95/275
ui
(( + k )u, ) =
(ui (x) + k ui (x))(x)dx
ui
d
n
n
i
i
O
i
i=1
i=1
=0
# $
u
[u]
d
=
n
n
2
o
n = n1
[u] = u1 u2
$
u
u1 u2
=
n
n
n
( + k 2 )pR = 0
dans R
pR = 0
sur
(3.13)
D ()
sur SR
La condition de Dirichlet sur tant vrifie par pR , on en conclut que pR est solution de (3.13).
Soit maintenant pR solution du (3.13). Montrons quon peut la prolonger en une solution de
(3.12). Dveloppons la trace sur la sphre SR du champ diffract psc sur la base des harmoniques
sphriques :
1
sc
pl,m = 2
psc Yl,m dSR
R SR
Page 96/275
dans R3 \ BR
( + k 2 )P sc = 0
sc
sc
P
= p
sur SR
sc
P vrifie la condition de radiation de Sommerfeld
Daprs les calculs du paragraphe 3.3.3, nous pouvons expliciter P sc
hl (kr)
Yl,m (, )
P sc (r, , ) =
psc
l,m
hl (kR)
l,m
Posons alors :
p=
pR
dans R
sc
in
P +p
dans R3 \ BR
o 0 est loprateur trace sur SR , (, ) le produit de dualit H 1/2 (SR ) H 1/2 (SR ), antilinaire
par rapport H 1/2 (SR ). Posons
H = {p H 1 (R ) : p = 0 sur }
a(, ) est dfinie continue sur H H.
On dfinit aussi g le vecteur :
g = T pin
pin
H 1/2 (SR )
n
qH
Thorme 2 (Existence et unicit). Le problme (3.14) admet une solution unique dans H. De
plus
pH CLH
Dmonstration. Le rsultat peut tre dmontr grce lalternative de Fredholm sous sa forme
variationnelle (cf. annexe, corollaire 1). Nous allons montrer que les hypothses du corollaire
sont vrifies.
Posons :
a0 (p, q) =
p q +
pq (T 0 p, 0 q)
R
et
a1 (p, q) = (k + 1)
2
pq
R
quand n
q H
sur SR
avec p et sa drive normale nulles sur la sphre. Le thorme de Cauchy-Kowalewskaya implique p 0 dans tout R . Do lunicit de la solution. Remarquons que lunicit dcoule de la
condition de radiation (au travers de la proposition 3).
En appliquant lalternative de Fredholm, le problme (3.14) admet une solution unique dans
H qui vrifie de plus
pH CLH
Page 98/275
eik|xy|
eik |xy|
= e|xy|
4|x y|
4|x y|
est facile : on choisit celle qui dcrot linfini, i.e. G + qui dcrot exponentiellement. La condition de radiation de Sommerfeld est alors remplace par une condition de dcroissance du champ
et de son gradient de sorte que la formule de Green dintgration par partie devienne valable dans
et permette une formulation variationnelle dans H 01 ().
On pose H = H01 () et
p q (k )
a (p, q) =
pq
On remarque que :
ea (p, ik p) =
p q + |k |
pq
a (, ) est donc coercif et le problme admet une solution unique daprs le thorme de LaxMilgram.
Il reste ensuite montrer quon peut faire tendre vers 0. Pour cela, on dmontrer que la
solution est analytique par rapport la frquence complexe dans le demi-plan m > 0. Ensuite
en raisonnant par labsurde, on montre que pour tout R assez grand, la norme H 1 (R ) est borne.
Ceci permet de passer la limite pour des frquences relles avec obtention dune solution dans
H 1 (R ).
Page 99/275
u div (u) = f,
(x, t) RN R+ ,
2
t
(3.15)
x RN ,
u(x, 0) = u0 (x),
u (x, 0) = u1 (x),
x RN .
t
Les coefficients (x) et (x) caractrisant le milieu de propagation sont supposs satisfaire les
hypothses suivantes :
(x), (x) mesurables,
0 < (x) + < +,
0 < (x) + < +,
(3.16)
p.p. x RN ,
p.p. x RN .
Les donnes du problme sont donc, outre les coefficients (x) et (x) :
les donnes initiales (u0 (x), u1 (x)),
le second membre f (x, t).
Linconnue du problme est la fonction u(x, t).
v = 0,
v
1
f
div(u) = ,
t
(x),
u(x,
0)
=
u
v(x, 0) = u1 (x).
(3.17)
(u, u ) = u(x) u(x) (x) dx,
(u, u, ) L2 (RN ) L2 (RN ) L (RN ),
0,
f dx
f dx.
RN
Par ailleurs, nous dsignerons par (.,.) le produit scalaire usuel de L2 (RN ) ce qui correspond
(., .) lorsque (x) 1. La norme associe au produit scalaire (., .) sera note u
On notera galement loprateur div ( ) et on posera :
D( ) = {u H 1 (RN ) / u = div (u) L2 (RN )}
que lon munira de sa norme naturelle
u2 = u2 + u2 + u2 .
On introduit alors :
D(A) = D( ) H 1 (RN ),
et on dfinit loprateur non born sur H : A : D(A) H H par
A
u
v
.
1
div (u)
dU
+ AU = F,
dt
U(0) = U0 ,
U0 = (u0 u1 )t .
Page 101/275
= (u, v) = (u, v) .
Par consquent :
1
1
(AU, U)H = (u, v) u 2 v 2 .
2
2
Dautre part :
U 2H = u 2 + u 2 + v 2 ,
donc
*
1 )
(AU, U)H + U 2H ( ) u 2 + v 2 ,
2
ce qui entrane
1
,
2
U D(A).
v + u = f,
f H 1 (RN ),
1
(3.19)
g L2 (RN ).
div (u) + v = g,
1
div (u) + 2 u = g + f,
u H 1 (RN ).
Le thorme de Lax-Milgram permet daffirmer que le problme (3.21) admet bien une
solution (unique) dans H 1 (RN ). En remontant (3.20), on voit que div (u) L 2 (RN )
donc que u D( ).
Pour remonter (3.19), il suffit alors de poser v = u f qui est bien un lment de
H 1 (RN ). Nous avons donc dmontr que A + I tait surjectif pour tout 0. Pour
conclure au caractre maximal monotone de A + I, il suffit de raisonner avec = + 1.
Page 102/275
u
, on dduit que u C 2 (R+ ; L2 (RN )) ce qui achve la dmonstration.
t
d2
u+Au=f
dt2
avec, sans prciser pour linstant de cadre fonctionnel (espace de Hilbert, domaine de A,...)
1
Au = div(u),
f = f / .
La dmarche suivie au paragraphe prcdent sur lquation des ondes (3.15) se gnralise facilement une quation abstraite du type (3.22) sous rserves dhypothses adquates sur loprateur
A.
Page 103/275
et
|u|H C |u|V , u V,
et dautre part que V est dense dans H. On se donne par ailleurs une forme bilinaire sur V :
(u, v) V V a(u, v) R,
que lon suppose continue et symtrique :
M > 0 tel que (u, v) V V,
(3.23)
(u, v) V V, a(u, v) = a(v, u).
> 0,
tel que
u V,
v V,
V = H 1 (RN ),
et si on pose :
(3.25)
RN
{ u v + u.v } dx,
(u, v)V =
RN
u.v dx,
a(u, v) =
RN
Pour dfinir le problme dvolution abstrait du second ordre, nous nous donnons :
(u0 , u1) D(A) V,
f C 0 (R+ ; H).
(3.27)1
dt2 + Au = f, t > 0,
(3.27)
u(0) = u0 ,
(3.27)2
du
(0) = u1 ,
(3.27)3
dt
toute fonction u de la variable relle t valeurs dans D(A) possdant la rgularit :
u C 2 (R+ ; H) C 1 (R+ ; V ) C 0 (R+ ; D(A)),
vrifiant (3.27) au sens classique cest dire que :
Page 105/275
du
,
dt
D(A),
dU
+ AU = F,
dt
(3.28)
U(0) = U0 .
Les problmes (3.27) et (3.28) sont quivalents au sens du lemme suivant (dont la preuve, vidente, est ici omise).
Lemme 2. Si u est une solution classique du problme (3.27) , alors
U = (u, v =
du
)
dt
est une solution classique du problme (3.28). Rciproquement si U = (u, v) est une solution
classique du problme (3.28), u est une solution classique du problme (3.27).
Page 106/275
.
2
f C 1 (R+ ; H),
Le problme de Dirichlet.
(3.30)
2u
(x, t) R+ ,
t2 div (u) = f,
u(x, 0) = u0(x),
x ,
(x, 0) = u1 (x),
x ,
t
x , t > 0.
u| = 0,
Page 107/275
On peut facilement voir que ce problme entre dans le cadre de la thorie abstraite dcrite au
paragraphe prcdent si on pose :
(3.31)
(u, v)V = { u v + u.v } dx,
a(u, v) =
u.v dx,
u D(A),
Le problme de Neumann
2u
div (u) = f,
(x, t) R+ ,
x ,
u(x, 0) = u0(x),
(x, 0) = u1 (x),
x ,
u | = 0,
x , t > 0.
(3.32)
Page 108/275
Pour faire rentrer ce problme dans la thorie du paragraphe prcdent, il suffit, par rapport au
cas du problme de Dirichlet de remplacer H01 () par H 1 (). On pose donc :
H = L2 (), V = H 1 (),
(u, v) =
u v dx,
H
(u, v)V = { u v + u.v } dx,
(3.33)
a(u, v) =
u.v dx,
D(A) = D( , ) = {u H 1 () / u = div (u) L2 ()},
1
u D(A), Au = div (u).
v V.
Pour simplifier (ce nest pas essentiel contrairement la proprit (3.34)), nous ferons lhypothse supplmentaire que la forme bilinaire a(., .) est positive (ce qui est le cas dans la plupart
des applications) :
u V,
(3.36)
a(u, u) 0,
n 0.
Il est alors facile dobtenir une reprsentation quasi-explicite de la solution du problme dvolution abstrait. Cest ce quon appelle la dcomposition modale, ou reprsentation modale de la
solution :
Thorme 8. Si on rajoute les hypothses (3.34) et (3.36) lhypothse (3.29), la solution u du
problme (3.27) scrit :
+
u(t)
=
un (t) wn ,
n=1
sin( n t)
(3.37)
sin( n (t s))
+
(f (s), wn )H ds,
n
0
o la srie converge uniformment sur tout intervalle de temps born dans H, V et D(A).
Dmonstration. Le fait que {wn , n 1} soit une base hilbertienne nous permet dcrire :
u(t) =
+
(u(t), wn )H wn ,
n=1
Remarque 23. Pour le cas du problme de Cauchy (f = 0), la formule (3.37) fait apparaitre la
solution comme la superposition (dnombrable) de fonctions priodiques du temps de priodes
respectives
2
Tn =
,
n
Cette formule est rapprocher de la formule obtenue par transformation de Fourier dans le cas
N = 1, = R et , constants : la variable continue k est remplace par lindice entier n et
la fonction w(k; .) = exp ikx par wn . Ceci sinterprte laide de la thorie spectrale : dans le
cas Fourier , loprateur A a un spectre purement continu alors que dans le cas de la formule
(3.37), le spectre est purement discret. Notons galement que w n est ici un vrai mode propre de
loprateur A (il appartient au domaine de A) alors que w(k; .) est un mode propre gnralis
(il nappartient pas au domaine de A).
Remarque 24. Dans le cas o on ne fait plus lhypothse de coercivit (3.36), loprateur
A
admet des valeurs propres ngatives. Lexpression (3.37) reste valable avec le nombre n imaginaire pur. Pour ces modes, la fonction u n (t) est alors exponentiellement croissante.
Revenons maintenant aux problmes de Dirichlet et Neumann (3.30) et (3.32). Nous faisons
lhypothse supplmentaire :
Louvert est born,
auquel cas il est bien connu que :
(3.38)
On est alors dans le cadre dapplication du thorme . Introduisons la famille des fonctions
propres wnD et valeurs propres D
n du problme de Dirichlet (3.30), cest dire de loprateur A
dfini par (3.31) :
D
dans ,
div(wnD ) = D
n wn
wnD = 0,
sur ,
ainsi que les fonctions propres wnN et valeurs propres N
n du problme de Neumann (3.32), cest
dire de loprateur A dfini par (3.33)
N
div(wnN ) = N
n wn
wnN
= 0,
n
dans ,
sur ,
+
D
D
u (x, t) =
uD
n (t) wn (x),
n=1
D
D
(t)
=
u
(x)w
(x)
dx
cos(
D
u
0
n
n
n t)
D
sin(
n t)
D
+
u
(x)w
(x)
dx
1
n
t
D
sin( n (t s))
+
f (x, s), wn (x) dx ds,
0
n
+
N
N
u (x, t) =
uN
n (t) wn (x),
n=1
N
N
(t)
=
u
(x)w
(x)
dx
cos(
N
u
0
n t)
n
n
sin(
N
n t)
N
u
(x)w
(x)
dx
+
1
n
t
N
sin( n (t s))
+
f (x, s), wn (x) dx ds.
0
n
Terminons cette section par un exercice dapplication du thorme 9 :
Exercice 11. Dans cet exercice, on se place en milieu homogne et on suppose donc que les
coefficients et sont constants avec :
= c2 .
2 D
D
u (x, t) =
u (t) sin(px1 ) sin(qx1 ),
p,q=1 pq
2
D
u0 (x) sin(px1 ) sin(qx1 ) dx cos( p2 + q 2 ct)
upq (t) =
sin(
p2 + q 2 ct)
2
u
(x)
sin(px
)
sin(qx
)
dx
+
1
1
1
c
p2 + q 2
3. Quel est lquivalent de la formule prcdente pour le problme de Neumann (3.32) ?
4. Montrer que si
D = { p2 + q 2 , (p, q) N N },
il nexiste pas de rel strictement positif tel que tout lment de D soit un multiple entier de
(cest dire tel que D N ). En dduire que la soltuion des problmes (3.30) et (3.32) nest
(en gnral) pas priodique en temps.
Le cas du systme de Maxwell
Pour rester dans le cadre gnral que nous avons tudi, nous traitons le systme de Maxwell
sous sa forme systme du deuxime ordre et cherchons donc rsoudre le problme suivant :
2E
(x, t) R3 R+ ,
2 + rot(1 rotE) = f.
t
(3.39)
x R3 ,
E(x, 0) = E0 (x),
E (x, 0) = E (x),
x R3 .
1
t
La permittivit lectrique (x) et la permabilit magntique (x) sont des fonctions mesurables
satisfaisant :
0 < (x) + < +, p.p. x RN ,
0 < (x) + < +, p.p. x RN .
Remarque 25. Si on revient aux quations de base on a
f =
j
,
t
o j dsigne la densit de courant. Dautre part, si E 0 dsigne le champ lectrique initial, E 1 est
reli au champ magntique initial H 0 par :
E1 = 1 rot H0 .
Page 113/275
Le cadre mathmatique adapt au systme (3.39) fait appel un espace fonctionnel particulier :
H(rot, R3 ) = {u L2 (R3 )3 / rotu L2 (R3 )3 }
qui est un espace de Hilbert muni du produit scalaire :
3 2
(u, v) H(rot, R ) , (u, v)rot =
{ u v + rotu rotv) dx.
R3
R3
Exercice 12. Montrer la formule (3.40) (raisonner dabord avec u et v rgulires support
compact et conclure par densit).
On peut alors appliquer la thorie abstraite si on pose :
H = L2 (R3 )3 , V = H(rot, R3 ),
u v dx,
(u, v)H =
R3
(u, v)V = (u, v)rot ,
a(u, v) =
rotu rotv dx,
R3
D(A) == { u H(rot, R3 ) / rot(1 rotu) L2 (R3 )3 },
u D(A), Au = 1 rot(1 rotu).
On aboutit alors au rsultat dexistence suivant :
Thorme 10. Si on fait les hypothses :
(E0 , E1 ) D(A) H(rot, R3 ),
f
C 1 (R+ ; L2 (R3 )3 ),
le problme (3.39) admet une unique solution forte :
E C 2 (R+ ; L2 (R3 )3 ) C 1 (R+ ; H(rot, R3 ) C 0 (R+ ; D(A)).
Remarque 26. Si on revient aux champs magntiques et lectriques initiaux H 0 et E0 , les hypothses sur les donnes initiales prennent une forme symtrique :
(E0 , H0 ) H(rot, R3 ) H(rot, R3 ),
1
u
1
(x) | (x, t)|2 + (x) |u(x, t)|2
2
t
2
E(u, t) < +,
(3.41)
Dmonstration.
d
E(u, t) =
dt
u 2 u
,
t t2
+
u
u,
t
u 2 u
,
div (u)
t t2
(3.42)
1
2
u(t) (2E0 ) +
(3.43)
f (s) 1 ds,
0
t
f (s) 1 ds,
1
2
u(t) u0 + t (2E0 ) +
(3.44)
(t s) f (s) 1 ds,
du
du
(s))|
(s) f (s) 1 ,
dt
dt
du
(s) 2 2E(u, s) :
dt
1
du
|(f (s), (s))| 2 E(u, s) 2 f (s) 1 .
dt
En reportant dans (3.45), nous obtenons :
t
1
E(u, s) E0 + 2
f (s) 1 E(u, s) 2 ds.
soit encore, comme
Pour conclure nous utiliserons une variante du lemme de Gronwall, que nous dmontrerons un
peu plus loin.
Lemme 4. Soit ]0, 1[, C > 0 et (t) et m(t) deux fonctions continues et positives dfinies
sur [0, T ] et satisfaisant :
t
m(s) (s) ds,
t [0, T ] (t) C +
0
alors on a :
t [0, T ] (t) {C
+ (1 )
m(s) ds} 1 .
0
Page 116/275
m(t) =
2 f (t) 1 ,
Il vient :
1
E(u, t) {E0 +
2
1
2
C = E0 ,
1
= .
2
f (s) 1 ds}2 .
Pour obtenir les estimations (3.42) et (3.43) il suffit alors de remarquer que
sont majors par
du
(t) et u(t)
dt
du
(s)ds
dt
et dutiliser (3.42).
Remarque 28. Nous avons choisi de passer par la forme intgre (3.45) de lidentit (3.41) et
par le lemme de Gronwall 4 en raison du caractre fondamental de ce lemme dans beaucoup
dapplications. On peut toutefois utiliser un raccourci en remarquant que (3.41) entrane :
1
d
E(u, t) 2 E(u, t) 2 f (t) 1
dt
et en intgrant cette inquation diffrentielle.
Dmonstration du lemme 4 :
Soit t [0, T ], on introduit la fonction :
G(t) = C +
G est drivable et on a :
G (t) = m(t) (t) .
Par hypothse (t) G(t). De plus, comme est positif, la fonction x x est croissante. Par
consquent, compte tenu de la positivit de m(t), il vient :
G (t) m(t) G(t) ,
soit encore
G(t) G (t) m(t).
Page 117/275
m(s) ds.
0
Montrer que :
m(s) ds.
0
Remarque 29. Le rsultat du thorme 12 est bien un rsultat de continuit de la solution par
rapport aux donnes. Plus exactement il exprime que lapplication (u 0, u1 , f ) u dfinie par
le thorme dexistence et unicit est continue de D(A) H 1 (RN ) C 1 (0, T ; RN ), munie de la
topologie de lespace H 1 (RN ) L2 (RN ) L1 (0, T ; RN ), valeurs dans lespace fonctionnel
W (0, T ) = C 1 (0, T ; L2 ) C 0 (0, T ; H 1),
muni de la norme
(3.46)
u W (0,T ) =
sup{ u(t) +
[0,T ]
du
(t) + u(t) },
dt
Page 118/275
Chapitre 4
Mthode des diffrences finies en temporel
pour le systme de Maxwell
4.1 Introduction-Identit dnergie-Dcomposition en ondes
planes harmoniques
4.1.1 Introduction
Nous prsentons dans ce chapitre la mthode des diffrences finies dans le domaine temporel
pour le systme de Maxwell. Cette mthode trs populaire sappelle en anglais FDTD : Finite
Differences in Time Domain. Nous tudierons dans un premier temps le cas de la dimension 1 et
introduirons les notions essentielles (condition CFL, consistance, stabilit par mthode dnergie, dispersion numrique). Le cas de la dimension 3 sera alors abord et tudi en dtail. Les
constantes caractrisant les milieux pourront varier en espace mais nous considrerons quelles
ne dpendent pas de la variable temps (cas des matriaux dispersifs).
H
rot E(x,
t) +
(x, t) = 0,
E
(x, t) = 0,
rot H(x,
t)
(4.1)
t
0 (x),
E(x,
0) = E
0 (x),
H(x, 0) = H
x R3 , t > 0,
x R3 , t > 0,
x R3 ,
x R3 .
= r 0
0
0
= 0,
rot E + r 0 0
t
=0
r 0 0
rot 00 H
t
que lon rcrit :
r (Z0 H)
+ rot E
= 0,
c
t
E
=0
r
rot(Z0 H)
c t
la quantit homogne un champ lectrique
Dans toute la suite nous dsignerons encore par H
Z0 H.
Le systme rsoudre est donc (nous avons pour simplifier suppos quil ny a pas de terme
source mais des donnes initiales uniquement) :
r H
c
t
r E
(x, t) rot H(x,
t) = 0,
x R3 , t > 0,
(4.2)
c t
0 (x),
x R3 ,
E(x,
0) = E
0 (x),
x R3 .
H(x, 0) = H
Page 120/275
r H
c
t
r E
(x, t) rot H(x,
t) = j(x, t),
x R3 , t > 0,
(4.3)
c t
0 (x),
0) = E
x R3 ,
E(x,
0 (x),
x R3 .
H(x, 0) = H
Dfinition 2. On dfinit lnergie lectromagntique E(t) linstant t par
1
1
1
2
2
t)|2 + r |H(x,
t)|2 ) dx = ||E(t)||
E(t) =
(r |E(x,
r + ||H(t)||r
2
2
2
Thorme 13. (Identit de lnergie)
1d
E(t) = (m,
H)(t)
(j, E)(t)
c dt
0 ( , ) dsigne le produit scalaire de [L 2 (R3 )]3 . La variation de lnergie est gale au travail
des forces extrieures.
la deuxime par E,
on adiDmonstration. On multiplie la premire quation de (4.3) par H,
tionne et on intgre en espace :
r H
r E
(j, E)
.E +
.H)(x, t) dx + ( rot H.
E + rot E.
H)(x, t) dx = (m,
H)
(
c t
c t
La formule dintgration par parties pour le rotationnel donne immdiatement
( rot H.
E + rot E.
H)(x, t) dx = 0
car il ny pas de terme de bord. Pour conclure, on reconnait :
E
= 1 |E|
2
.E
t
2 t
Page 121/275
||H(t)||
r (2E(0)) 2 + c
||f (s)|| ds
avec ||f (t)|| = ||j(t)||1/r + ||m(t)||
1/r .
Dmonstration. On tablit par Cauchy-Schwarz la majoration suivante :
H) (j, E) (t) ||m(t)||
(m,
1/r ||H(t)||r + ||j(t)||1/r ||E(t)||r
2
2
On a les majorations ||E(t)||
r 2E(t) et ||H||r 2E(t). On en dduit
(j, E)
(t) (2)E 12 (t) ||m(t)||
H)
+
||
j(t)||
(m,
1/r
1/r
t
c
E(t) E(0)
||f (s)||ds
2 0
Les ingalits proposes sobtiennent alors immdiatement.
1
2
1
2
Nous avons obtenu la continuit de la solution en fonction des donnes initiales (via lnergie
au temps t = 0) et des termes sources. Nous retrouverons par la suite des rsultats quivalents.
dans le cas de la mthode des diffrences finies, en particulier pour dterminer linfluence sur
la condition de stabilit des schmas de la prise en compte des conditions aux limites ainsi que
ltude de dispersion numrique. On se place dans le cas de matriaux homognes, donc sans
perte de gnralit avec r = r = 1.
A toute fonction u(x, t) dfinie sur (Rn , R) de rgularit suffisante, on associe u(k, t) dfinie
sur (Rn , R) par
1
u(k, t) = n
u(x, t) eik.x dx
n
2 R
et la transforme de Fourier inverse permet dobtenir la relation :
1
u(k, t) e+ik.x dk
u(x, t) = n
2 Rn
transforms de Fourier des solutions E
et H
du
Nous introduisons donc les champs E et H
.
rot u = ik u.
k, .), H(
k, .)) sont donc solutions du problme diffrentiel en temps
Pour tout k, les champs (E(
suivant
1 dH
= 0,
c
dt
1 dE
E(0)
= E0 ,
0.
H(0) = H
En prenant le produit scalaire des 2 premires quations de (4.4) par k, on obtient lquivalent
de la relation de divergence nulle des champs lectromagntiques soit laide des conditions
initiales :
k = E
0 .k
k = H
0 .k
E.
H.
les composantes de E et H
orthogonales k, il est ais de verifier en liminant
On note E et H
tout tour lun des champs quelles sont solutions des quations diffrentielles suivantes :
1 d2 E
= 0
+ |k|2 E
c2 dt2
et
1 d2 H
= 0
+ |k|2 H
c2 dt2
Page 123/275
1, = i k E0,
H
|k|
On en dduit que pour chaque k, les solutions du problme continu sont combinaison linaire
de cos((k)t)eik.x et sin((k)t)eik.x , ce qui dmontre la stabilit de la solution en fonction
des donnes initiales. On note que cest le fait que (k) soit rel qui assure cette stabilit. On
obtiendra sur le schma numrique une relation analogue qui permettra de quantifier sur grilles
rgulires la dispersion du schma.
=
= 0.
y
z
0
u
x
x
rot u = 0
uy = x uz
uz
0
+ u
y
x
Hx
Ex
=
= 0 soit Ex (x, t) = Ex,0(x) et Hx (x, t) =
t
t
Hx,0 (x) pour tout t 0 et deux systmes dquations dcoupls en (E y , Hz ) et (Ez , Hy ) de la
Nous obtenons alors immdiatement
Page 124/275
forme :
(4.5)
r h
e
(x, t) +
(x, t) = 0,
c t
x
r e (x, t) + h (x, t) = 0,
c t
x
e(x, 0) = e0 (x),
h(x, 0) = h0 (x),
x R, t > 0,
x R, t > 0,
x R,
x R.
1 p
= e, la premire quation de (4.5) donne
c t
1
p
r h 1 2 p
+
=
(r h +
)=0
c t
c xt
c t
x
soit
p
= r h. En reportant dans la deuxime quation de (4.5), on obtient :
x
r 2 p
1 p
(
)=0
2
2
c t
x r x
x
En posant p0 (x) = r h0 (s) ds et p1 (x) = ce0 (x), on obtient que p est solution de
r 2 p
1 p
(
)(x, t) = 0,
x R, t > 0,
(x, t)
2
2
c t
x r x
(4.6)
x R,
p(x, 0) = p0 (x),
p (x, 0) = p1 (x),
x R.
t
soit le problme de Cauchy associ lquation des ondes scalaire en dimension 1. Rsoudre en
dimension 1 lquation scalaire du deuxime ordre ou le systme du premier ordre est rigoureusement la mme chose. Nous choisissons de privilgier lapproche systme du premier ordre car
elle se gnralise plus exhaustivement dans le cas des dimensions dordre suprieur quelque soit
le systme considr (Maxwell, Euler linaris...).
f (x + h) f (x)
h
Page 125/275
f (x) f (x h)
h
Il est ais de vrifier en utilisant la formule de Taylor que ces approximations sont dordre 1.
f (x)
(4.7)
ce qui montre que
f (xj ) =
avec lestimation :
|(h)| = |
h2
f (j ), j ]xj , xj+1 [
2
f (xj+1 ) f (xj )
+ (h)
h
h2
h
f (j )|
sup |f ()|
2
2 ]xj ,xj+1[
Pour gagner un ordre suplmentaire, il est usuel dutiliser des schmas centrs, en effet sur grille
rgulire par parit, on obtient dans les dveloppements de Taylor uniquement des termes pairs en
puissance de h. On doit cependant supposer plus de rgularit f . On obtient alors (si f C 3 ) :
f (xj ) =
soit une approximation dordre 2. Le fait dutiliser une approximation centre permettra aussi de
mettre en vidence une conservation dnergie, essentielle pour tablir des rsultats de stabilit
par mthode nergtique.
Lespace de Hilbert intervenant aprs approximation ponctuelle est lespace L 2h . Nous prcisons ci-dessous ces proprits principales.
Lespace L2h
On considre lespace de Hilbert L2h :
L2h =
uh = (uj )jZ ,
/
|uj |2 < +
0
muni de la norme uh 2 = h j |uj |2 et du produit scalaire associ (uh , vh ) = h j uj vj . De
0
mme que pour le cas continu, on notera u h 2 = h j j |uj |2 .
Il y a deux faons dapprocher en espace une fonction u(x) L2 (R) par une suite uh de L2h :
lapproximation ponctuelle (si u(x) est continue)
uj = u(xj ),
(4.8)
ou par valeur moyenne :
1
uj =
h
(4.9)
xj+ 1
2
u(x) dx.
xj 1
2
Page 126/275
Pour ces 2 types dapproximation (qui interviendront dans le schma de dmarrage) nous
aurons besoin destimations de stabilit . Lespace L 2h est isomorphe au sous-espace de L2 (R)
des fonctions constantes par morceaux, en effet la suite u h = (uj )jZ peut tre assimile la
fonction uh (x)
uh (x) = uj si x ]xj 1 , xj+ 1 []xj h/2, xj + h/2[
2
L2h
1
fj =
h
xj+ 1
2
f (x) dx,
xj 1
2
1
uj u(xj ) =
h
xj+ 1
2
xj 1
2
mais on remarque que les bornes de lintgrale sont symtriques par rapport x j , ce qui nous
autorise esprer un ordre de plus dans le dveloppement limit, on utilise la formule de Taylor
avec reste intgral lordre 2
x
u(x) u(xj ) (x xj )u (xj ) =
(x s) u(s) ds,
xj
et comme :
xj+ 1
2
(x xj )u (xj ) dx = 0,
xj 1
2
on a
1
uj u(xj ) =
h
xj+ 1
2
xj 1
2
dx
(x s) u (s) ds ,
xj
Page 127/275
on obtient
2
x
(x s) u (s) ds dx Ch4 u 2L2
]x
xj
1 ,xj+ 1 [
j 2
2
xj+ 1
2
xj 1
2
x 1
x
x 1
x 1
1
j+ 2
j+ 2
j+ 2
1
2
dx( (x s) u (s) ds) 2
1 dx
h
h
xj
x 1
x 1
x 1
j 2
j 2
j 2
2
x
(x s) u(s) ds dx
xj
Et donc en regroupant,
u 2L2
]x
1
j 2
,x
1
j+ 2
xj+ 1
2
|u(s)|2 ds
xj 1
2
xj+ 1
2
|u(s)|2 ds
xj 1
2
Et comme on peut raisonnablement supposer h major par une constante, on obtient lestimation
uniforme suivante dans le cas de lapproximation (4.8) :
uh CuH 1
Quant lestimation derreur
dapproximation.
Nous utiliserons ces rsultats lors de ltude de stabilit et convergence des schmas.
Consistance et stabilit dun schma
Nous renvoyons au cours de G. Allaire pour une tude prcise des notions de stabilit et
consistance. Nous rappelons ici les principales dfinitions.
Soit L un oprateur aux drives partielles en temps et en espace. Soit u la solution espacetemps dun problme de type :
L u(x, t) = g(x, t)
x R, t > 0
Pour simplifier les dfinitions, nous ne tenons pas compte ici des conditions initiales. On note
Lt,h un oprateur sur les suites (uni ) approchant loprateur L par une mthode de diffrences
finies. On introduit alors la solution du schma discret :
Lt,h uni = gin
i Z, n > 0
quand
t, h 0
Remarque 31. Lerreur de troncature est une erreur qui indique comment loprateur continu
est approch par le schma discret. Ce nest pas une erreur entre la solution exacte et la solution
approche (erreur de convergence) mais cest une erreur qui quantifie quel ordre la solution
exacte vrifie le schma.
Remarque 32. Nous pouvons crire de 2 faons lerreur de troncature : Comme u est solution
de
L u(x, t) g(x, t) = 0
x R, t > 0
Nous avons
ni = [Lt,h L] u(xi , tn ) [gin g(xi, tn )]
Page 129/275
n+ 1
inconnues e et h sur des grilles dcales en temps et en espace, par exemple : H i+ 12 approxi2
mera h(xi+ 1 , tn+ 2 ) et Ein approximera e(xi , tn ). On crit donc une approximation de la premire
2
quation autour de (xi+ 1 , tn )
2
n+ 1
n 1
Hi+ 12 Hi+ 12
h
n
2
2
(xi+ 1 , t )
2
t
t
et
E n Ein
e
(xi+ 1 , tn ) i
2
x
h
1
On voit quil est naturel dapproximer la deuxime quation autour de (x i , tn 2 ) :
1
E n Ein1
e
(xi , tn 2 ) i
t
t
Page 130/275
et
n 1
n 1
Hi+ 12 Hi 12
1
h
2
2
(xi , tn 2 )
x
h
On note Bh et Ch respectivement les oprateurs dfinis sur les suites H h = (Hi+ 1 )iZ et Eh =
2
(Ei )iZ par
(Bh Hh )i =
Hi+ 1 Hi 1
2
et
(Ch Eh )i+ 1 =
2
Ei+1 Ei
h
mation de loprateur rot et Ch de loprateur rot. Nous proposons donc le schma dit sautemouton (leap-frog en anglais), la figure 4.1 illustre lorigine de ces noms :
n+ 21
n 21
i+ 12 H
H
1
r
i+ 2
i+ 21
2
c
t
(4.10)
n1
i
n
n 1
r Ei Ei
+ (Bh Hh 2 )i = 0 n 1
c
t
Evidemment pour parfaitement dterminer le schma, il faut rajouter un schma de dmarrage
1
tenant compte des conditions initiales. Supposons E h0 et Hh2 connus, la deuxime relation de
(4.10) permet de dterminer explicitement Eh1 . La premire quation permet alors de dterminer
3/2
explicitement Hh
Ei+1 Ei
h
Hi+ 1 =
Ei (
Hi 1 Hi+ 1
2
)=
Ei (Bh Hh )i
De mme :
Ei+1 Ei
2|Ei+1 |2 + 2|Ei |2
4
(
(
|Ei |2
)2
2
2
h
h
h
i
i
i
O on a utilis lingalit (a b)2 2a2 + 2b2 , on peut mme prouver que cette estimation est
optimale en prenant des suites alternes de 1 et -1 support de plus en plus grand. La dernire
ingalit se dmontre de mme.
Thorme 5. Le schma saute-mouton est consistant dordre 2 en temps et en espace.
Exercice 15. A laide de dveloppements de Taylor, dmontrer le thorme prcdent.
pour j
/ [jmin , jmax ] un+1
=0
j
n
ou Ei+
1 que si :
2
pour j
/ [jmin 1, jmax + 1]
Ce qui veut dire quen un pas de temps, la solution sest propage dun pas en espace
droite et un pas en espace gauche. On peut donc dfinir une vitesse de propagation numrique
Page 132/275
Vnum = h/t qui traduit la propagation de londe numrique droite et gauche (comme dans
le cas continu). Pour esprer la convergence du schma numrique, il est ncessaire dimposer
cette vitesse dtre suprieure celle de la vitesse de propagation des ondes c, cest la condition
ncessaire de Courant-Friedrichs-Levy qui scrit en dimension 1 :
(4.11)
Vnum c
ct
1
h
F IG . 4.2
1
1
<
: pas de convergence
c
Vnum
Si Vnum c, (figure 4.3), cest le cne de propagation continu qui est inclus dans le cne
de propagation numrique. Dans la zone intermdaire la solution exacte u est nulle alors que
la solution approche ne lest pas a priori. Mais ce nest pas un obstacle la convergence du
schma : uh,t peut trs bien tendre vers 0 dans cette zone quand h et t tendent vers 0.
Page 133/275
F IG . 4.3
1
Vnum
<
1
: convergence possible
c
Si nous utilisons les cnes de dpendance, le raisonnement suivant permet daboutir aussi
la condition ncessaire de convergence.
On considre M = (xj , tn ) un point de la grille de calcul. Les points qui ont servi calculer
unj sont contenus dans un cne de sommet M darte les demi droites issues de M et de pente
h/t, not K (M), (figure 4.4). La solution approche unj dpend donc uniquement des va
+
leurs de u0 et u1 sur le segment [M0,
, M0,
] = [xjn , xj+n ] = [(j n)h, (j + n)h]. La solution
0
1
exacte dpend des valeurs de u et u sur le segment [M , M + ], avec M = (xj ctn , 0) et
M + = (xj + ctn , 0)
Page 134/275
+
, M0,
], cest dire le cne de dpendance numrique contient
Cas 1 : [M , M + ] [M0,
le cne de dpendance exacte, on a donc toutes les informations ncessaires pour construire la
solution approche. Ce cas correspond (j n)h xj ctn (j + n)h soit ct h.
+
, M0,
] [M , M + ], cest dire le cne de dpendance numrique est stricCas 2 : [M0,
tement contenu dans le cne de dpendance exacte et la solution approche ne tient pas compte
des valeurs (non nulles) de la solution lextreiur du cne numrique. Il ne peut donc y avoir
convergence. Ce cas correspond ct > h.
Nous pouvons alors aisment obtenir par raisonnement analogue la condition ncessaire de
convergence dans le cas des dimensions suprieures. La solution lmentaire en dimension 2
(fonction de Green) est :
H(t |x|/c)
G(x, t) =
2 t2 |x|2/c2
et en dimension 3 :
G(x, t) =
(t |x|/c)
4|x|
condition
ncessaire de convergence scrit de mme l cnt soit nh/ 3 cnt soit encore
ct/h 3/3.
Remarque 33. Dans le cas dun schma implicite, la vitesse numrique de propagation devient
infinie (linverse dune matrice creuse est a priori une matrice pleine !). La condition ncessaire
de convergence est alors automatiquement assure, le cne de propagation numrique (en fait le
demi-plan suprieur en dim 1) contenant toujours le cne de propagation continu.
Page 135/275
Page 136/275
n+ 21
n 21
i+ 21 H
H
1
r
i+ 2
i+ 12
2
2
c
t
(4.12)
i n
n1
n 1
n 1
r Ei Ei
+ (Bh Hh 2 )i = ji 2
c
t
Dans un premier temps, on considre les sources nulles de faon pouvoir identifier quelle est
lnergie discrte. Nous multiplions la premire quation de (4.10) par un quivalent discret de
n+ 1
n 1
Hi+ 12 + Hi+ 12
2
h(xi+ 1 , tn ), soit
2
2
aprs sommation sur i :
n+ 1
n 1
n+ 1
n 1
1
2
Hi+ 12 Hi+ 12 + Hi+ 12
2 H
i+
i+ 1
r
2
h + (Ch Ehn ,
n+ 21
Hh
n 21
+ Hh
2
) = 0,
n+ 12
n 21
i+ 1 n+ 1
i+ 1 n 1
H
+
H
1
2
2
n
h
h
)=0
r 2 |Hi+ 12 | h
r 2 |Hi+ 12 | h (Eh , Bh
2
2
2ct
2
i
i
Page 137/275
n1
n
1
n 1 E + Eh
)=0
ir |Ein |2 h
ir |Ein1 |2 h + (Bh Hh 2 , h
2ct
2
i
i
En sommant les deux expressions, certains termes sliminent :
n+ 21
n 1
n1
n
1
+ Hh 2
1
n 1 E + Eh
n+ 1
n 1
(Ehn , Bh
)+(BhHh 2 , h
) = (Ehn , Bh Hh 2 )+ (Ehn1 , Bh Hh 2 )
2
2
2
2
qui est une quantit de type f (n + 1) f (n). On dfinit donc lnergie discrte par
Hh
1 n+ 1
1
ct
n+ 1
(Bh Hh 2 , Ehn )
= Hh 2 2r + Ehn 2r
2
2
2
Nous avons donc le premier rsultat dnergie suivant
n+ 21
Eh
n+ 21
Eh
n 21
= Eh
de la solution de
= Eh2 , n 1
n+ 1
devenir ngatif et grand en valeur absolue permettant aux termes H h 2 2r et Ehn 2r de devenir
aussi trs grands tout en laissant lnergie se conserver ! Toutefois, on pressent que quand ct
devient assez petit, ce produit scalaire peut devenir faible devant la somme des 2 normes.
m
En notant m
r ,r les valeurs minimales de r (x), r (x), on a la majoration
n+ 21
(Bh Hh
et donc
, Ehn )
n+ 21
Eh
1
1
2
1
n+ 21
n+ 21 2
n
H
(H
E
r + Ehn 2r )
r
r
h
h
h
mh
m m h
m
r r
r r
ct
ct
1
1
n+ 1
(1 m m )Hh 2 2r + (1 m m )Ehn 2r
2
r r h
2
r r h
Donc en notant cM =
c
m
r m
r
Lemme 5. Sous la condition = c ht < 1, on a les estimations pour les champs solutions du
systme (4.12)
H n+ 21 2 2 E n+ 21
r
h
1 h
1
E n 2 2 E n+ 2
h r
1 h
Dans le cas o il ny a pas de sources extrieures, on a de plus
H n+ 21 2 2 E 12
r
h
1 h
1
E n 2 2 E 2
h r
1 h
Le rsultat est encore incomplet puisque lestimation prcdente nest pas uniforme en h
puisquelle fait apparaitre lnergie discrte au temps t = 12 t et donc des normes discrtes
dpendant de h. Lestimation uniforme sera tablie lorsque nous prciserons le schma de dmarrage mais nous avons dj tabli lors des rappels que pour les 2 approximations spatiales
prsentes, il y avait une estimation uniforme en espace ncessitant plus ou moins de rgularit
sur les donnes initiales.
Nous introduisons prsent les termes sources.
Thorme 15. (Identit de lnergie)
1
n+ 21
H
n 21
= (mnh , h
Eh Eh
ct
n+ 21
n 21
+ Hh
2
n 12
) (jh
Ehn + Ehn1
)
2
< 1,
ct
Eh +
||fhk ||
2(1 ) k=1
1
2
cM t
h
/2
n
1
2
ct k
2
Eh +
||fh ||
1
1
k=1
n
1
2
ct k
n+ 21
2
Eh +
||f ||
||Hh ||r
1
1 k=1 h
||Ehn ||r
k 21
1
n+ 21
n 1
Eh Eh 2 fhn
ct
"
1
2(1 )
n+ 12
n 21
Eh + Eh
i+ 2
exactes aux noeuds de la grille espace-temps, en supposant ces solutions suffisamment rgulires.
Ein = e(xi , tn )
n+
n+ 2 H n+ 2
eh,H2 = H
h
h
Si les solutions Ehn et Hh 2 du schma discretis verifient avec des notations simplifies
h
r
n+ 21 n
H
+ (Ch Ehn )h = +mnh ,
D
t h
h
c
hr
n 1
n 1
n 1
Eh0 = fh (e0 , h0 )
= gh (e0 , h0 )
H
h
Lerreur de consistance est alors dfinie en injectant dans le schma la solution exacte :
h
r
n+ 12 n
Dt Hh
+ (Ch Ehn )h = +mnh + nh,E ,
h
c
1
1
1
1
hr
n n 2
n 2 )h = j n 2 n 2
c Dt Eh h + (Bh H
h
h
h,H
1
1
2 = gh (e0 , h0 ) + 2
h
h,H
Par linarit en soustrayant les deux expressions, on obtient que lerreur de convergence est
la solution du schma discret avec termes sources gaux lerreur de consistance et donnes
initiales lies au schma de dmarrage (fh (e0 , h0 ), gh (e0 , h0 )). On comprend alors pourquoi la
convergence est obtenue quand il y a consistance et stabilit : le rsultat de stabilit permet de
majorer lerreur de convergence par lerreur de consistance et le rsultat de consistance assure
que cette dernire tend vers 0 et prcise lordre de convergence en fonction de t et h. Nous
avons donc :
h
r
n+ 12 n
c
h
1
1
r D en n 21 + (B en 2 ) = n 2
t h,E h
h h,H h
c
h,H
e0h,E = 0h,E
1
1
2
2
eh,H
= h,H
n+ 1
Fh 2
cM t
h
vrifient
n+ 21
Fh
ct
Fh +
||fhk ||
2(1 ) k=1
||enh,E ||r
2
1
n+ 1
||eh,H2 ||r
1
2
ct k
||f ||
1 k=1 h
n
Fh2 +
2
1
/2
n
1
ct k
2
Fh +
||f ||
1 k=1 h
k 1
n12
n+12 H
H
i+
i+
2
h
(x 1 , tn ) +
t i+ 2
1
t
1
t
tn+ 21
tn
tn
1
n 2
(tn+ 2 s)2 3 h
(xi+ 1 , s) ds
2
t3
2
1
(tn 2 s)2 3 h
(xi+ 1 , s) ds
2
t3
2
De mme,
n ) 1 = e (x 1 , tn )+ 1
(Ch E
h i+ 2
x i+ 2
h
xi+1
xi+ 1
(xi+1 x)2 3 e
1
(x, tn ) dx+
3
2
x
h
(xi x)2 3 e
(x, tn ) dx
3
2
x
xi+ 1
xi
i+ 1
r 2
1
t
tn+ 2
n+ 12
(t
tn
1
h
s) h
1
1 , s) ds +
(x
i+
2
2
t3
t
xi+1
xi+ 1
Page 142/275
s) h
(x 1 , s) ds
2
t3 i+ 2
(t
tn 2
(xi+1 x) e
1
(x, tn ) dx +
3
2
x
h
2
n 12
tn
xi+ 1
xi
(xi x) e
(x, tn ) dx
2
x3
2
tn+ 21 n+ 1
tn+ 21 n+ 1
tn+ 21 3
2
3
4
2 s) h
2 s)
(t
(t
1
h
1
(xi+ 1 , s) ds
(
| 3 |2 (xi+ 1 , s)ds)
ds)(
3
2
2
2
t tn
2
t
t tn
4
t
tn
On intgre ensuite en temps le polynme pour obtenir :
2
tn+ 21 n+ 1
tn+ 21 3
2
3
2 s) h
(t
C
h
1
(xi+ 1 , s) ds
(t5 )
| 3 |2 (xi+ 1 , s) ds
3
2
2
2
t tn
2
t
t
t
tn
De mme,
1
h
xi+1
xi+ 1
(xi+1 x) e
(x, tn ) dx Ch3
2
x3
2
Et donc on obtient :
|ni+ 1 ,E |2
2
xi+1
xi+ 1
3e 2
| (x, tn )dx
x3
C t
tn+ 2
tn
3h
| 3 |2 (xi+ 1 , s) ds + t3
2
t
xi+1
h3
xi+ 1
e 2
| (x, tn )dx + h3
3
x
|ni+ 1 ,E |2 C t3
tn+ 2
1
tn 2
h2
| (xi+ 1 , s) ds + h3
2
t3
tn
1
tn 2
3h 2
| (xi+ 1 , s) ds
2
t3
xi+ 1
xi
e 2
| (x, tn )dx
3
x
xi+1
xi
e 2
| (x, tn )dx
x3
tn+ 21 3
3
h
e
ht3
| 3 |2 (xi+ 1 , s) ds + h4 3 (tn )2L2
nh,E 21 C
1
2
r
t
x
tn 2
i
soit encore en permutant intgrale et signe somme
tn+ 21
3
3h
e
t3
h| 3 |2 (xi+ 1 , s) ds + h4 3 (tn )2L2
nh,E 21 C
1
2
r
t
x
tn 2
i
Page 143/275
la majoration :
i
donc
nh,E 21
3h
h| 3 |2 (xi+ 1 , s)
2
t
1
tn 2
3h
(s)2H 1
t3
tn+ 2
3h
(x, s)on
t3
t3
h
e
(s)2H 1 ds + h4 3 (tn )2L2
3
t
x
Nous avons obtenu des estimations uniformes en espace. Pour la variable temps, on se place dans
le cadre des fonctions continues en temps de [0, T ] valeurs dans un espace de Hilbert H. Soit
si u C 0 (0, T, H), on dfinit
uC 0 (0,T,H) = sup (u(t)H )
[0,T ]
cas (4.8)
cas (4.9)
cas (4.8)
cas (4.9)
Hh2 doit approcher h(x, t = t/2). Nous avons de mme 2 choix dapproximation en espace comme prcdemment. La difficult supplmentaire provient du dcalage dun demi-pas
de temps par rapport la donne initiale h0 (x) = h(x, t = 0). Un premier choix est de prendre
1
Hh2 = h0,h
Nous tablissons sans difficult comme pour E h0 des estimations uniformes de stabilit, et on
tudie lerreur du schma. On a alors
1
2
2
2 H2
eh,H
= h,H
=H
h
h
On constate que le schma nest plus alors prcis qu lordre 1 en temps. Le thorme de convergence montre que mme si lerreur de consistance est dordre 2 en temps et en espace le schma
nest que dordre 1 en temps si lapproximation du schma de dmarrage nest que dordre 1.
Il est donc fondamental dutiliser un bon schma de dmarrage pour obtenir lordre maximal
de convergence. Nous effectuons donc un dveloppement limit lordre suprieur pour obtenir
lordre 2 en temps :
1
2 1 = h(x 1 , t ) = h0 (x 1 ) + t h (x 1 , 0) + O(t2 )
H
i+ 2
i+ 2
i+ 2
2
2 t i+ 2
Comme
r (xi+ 1 )
2
h
(xi+ 1 , 0)
t
2
e
= x
(xi+ 1 , 0), on a :
2
c e
c
h
(xi+ 1 , 0) = i+ 1
(xi+ 1 , 0) = i+ 1 (Ch Eh0 )i+ 1 + O(h2)
2
2
2
t
2 x
2
r
2
Hi+
1 = h0 (xi+ 1 )
2
c t
(Ch Eh0 )i+ 1
i+ 12 2
2
2
Exercice 17. Etablir que, pour le choix prcdent, lerreur de convergence eh,H
= O(t2 ) +
O(h2 ).
une relation de dualit entre les approximations C h et Bh des oprateurs rot et rot essentielle pour dfinir lnergie discrte
la constante de continuit de loprateur Bh qui permet de dterminer la condition de
stabilit
Il est important de noter que lon obtient lordre maximal du schma que si la solution, donc
les donnes sont assez rgulires. Dans le cas contraire, nous navons plus le droit deffectuer les
dveloppements limits et donc lordre observ sera infrieur.
n kx
Page 146/275
i)
n+ 1
et Hi+ 12 =
2
He
et factorisons respectivement e
i(t,h tn kxi+ 1 )
2
1
n 2
et ei(t,h t
kxi )
h
1 H it,h t
E ik h
+it,h t
2 e
2 ) +
(e
(e 2 eik 2 ) = 0,
c t
H ik h
1 E it,h t
+it,h t
ik h2
2 e
2 ) +
2 e
) = 0,
(e
(e
c t
On obtient le systme suivant, en notant =
ct
h
le coefficient CFL :
t
+ 2iE sin kh
=0
2iH sin t,h
2
2
2iE sin
t,h t
2
+ 2iH sin kh
=0
2
On obtient la relation :
t,h t
kh
= 2 sin2
2
2
Nous retrouvons que sous la condition CFL, 1, pour tout k, les pulsations t,h sont relles,
le schma est donc stable. On a de plus la relation suivante entre la solution positive t,h (k) et
k:
2
kh
t,h =
arcsin( sin )
t
2
Un dveloppement limit nous montre que
ct kh
t,h t
3
3
+ O(t ) =
+ O(h )
2
h
2
sin2
soit encore
t,h = kc + O(t2 ) + O(h2 )
Nous retrouvons ainsi directement que le schma est dordre 2 en temps et en espace.
Analyse de la dispersion numrique
t,h
kc
Page 147/275
On obtient :
h,t(k)
2
ct
kh
2
K
=
arcsin(
sin ) =
arcsin( sin )
kc
tkc
h
2
K
2
qh,t =
K
1
2
arcsin( sin ) =
arcsin( sin(G))
K
2
G
Pour convenablement reprsenter en espace un signal sinusoidal nous savons quun critre de
maillage est de disposer dau moins 5 points par longueur donde, il est donc largement raisonnable de limiter la valeur de G 0.5. Analysons le rsultat obtenu :
Quand est fix et h 0 (et donc t aussi), on a
q(, G) = 1 (1 2 )K 2 /12 +
On retrouve que le schma converge et est dordre 2 (et mme dordre infini si = 1). En
raffinant le maillage, la dispersion diminue.
Pour fix, la fonction G q(, G) est dcroissante. Donc plus on a de points par
longueur donde plus q est proche de 1. En particulier la dispersion est meilleure sur les
basses frquences que les hautes frquences. Les ondes numriques vont moins vite que
les ondes continues.
pour G fix, la fonction q(, G) est croissante. Le meilleur schma est donc obtenu
pour le plus grand possible et limit par la condition CFL. Soit en 1D pour = 1, on
a q(1, G) = 1 on retrouve que le schma est exact dans ce cas l, toutes les frquences se
propagent la mme vitesse.
Sous la condition 1, on retrouve la stabilit du schma puisque les h,t(k) sont rels
quelque soit k. Sil existait des h,t (k) complexes alors une des deux valeurs solutions
aurait une partie imaginaire strictement positive et donc il y a aurait des solutions qui
explosent. Lanalyse de dispersion est souvent utilise pour trouver rapidement la condition
de stabilit dun schma.
La limite quand 0 correspond :
q( 0, G)
1
1
2
K
sin(G) =
sin(G) =
sin( )
G
G
K
2
Page 148/275
1.05
1.00
0.95
0.90
0.85
0.80
0.75
0.70
0.65
0.60
0.00
0.05
0.10
0.15
0.20
0.25
0.30
0.35
0.40
0.45
0.50
Nous nous intressons la rsolution du systme de Maxwell re-dimensionn en 3 dimensions despace. Dans toute la suite, nous supposerons que r r 1.
1 H
c t
1 E
(x, t) rot H(x,
t) = 0,
c t
E(x, 0) = E0 (x),
0 (x),
H(x, 0) = H
x R3 , t > 0,
x R3 , t > 0,
x R3 ,
x R3 .
Page 149/275
rot u =
ux
uy
y
uz
=
uz uy
y
z
ux uz
z
x
uy ux
x
y
Nous suivons la dmarche introduite en dimension 1 pour la direction x en dcalant dun demi
pas en temps et en espace les quantits couples (Ey , Hz ) et (Ez , Hy ) (et donc les permutations
circulaires sur les directions) pour obtenir des approximations centres.
et H
de la manire suivante :
Nous proposons dapprocher les champs E
n
Ex,i+ 1 ,j,k
2
n
n = Ey,i,j+
1
E
,k
h
2
n
Ez,i,j,k+ 1
2
n+ 2
H
h
n+ 1
H 2
x,i,j+ 1 ,k+ 1
2
2
n+ 1
= Hy,i+21 ,j,k+ 1
2
2
n+ 21
Hz,i+ 1 ,j+ 1 ,k
2
On vrifie que Ex et Hy sont positionnes au mme endroit en x et y et dcals dune demi maille
en z et ainsi de suite par permutation circulaire. Nous proposons alors le schma suivant :
Page 150/275
(4.13)
1
c
1
c
1
c
1
c
1
c
1
c
1
1
n+ 2
n 2
1 ,k+ 1 Hx,i,j+ 1 ,k+ 1
x,i,j+ 2
2
2
2
En
t
H
1
n+ 2
1
n 2
H
1
1
1
y,i+ 2 ,j,k+ 2
y,i+ 1
2 ,j,k+ 2
1
1
n+ 2
n 2
1 ,j+ 1 ,k Hz,i+ 1 ,j+ 1 ,k
z,i+ 2
2
2
2
t
En
1 ,j,k
x,i+ 2
E n1 1
x,i+ 2 ,j,k
t
n1
1 ,k Ey,i,j+ 1 ,k
y,i,j+ 2
2
En
t
En
z,i,j,k+ 1
2
E n1
z,i,j,k+ 1
2
1 ,j,k+1
x,i+ 2
1
z,i,j,k+ 2
E n
1 ,j,k
x,i+ 2
z
En
E n
y,i+1,j+ 1
2 ,k
1 ,k
y,i,j+ 2
y
H
1
n 2
H
1
1
1
x,i,j+ 2 ,k+ 2
x,i,j+ 1
2 ,k 2
1
1
n 2
n 2
1 Hy,i 1 ,j,k+ 1
y,i+ 1
,j,k+
2
2
2
2
En
z,i+1,j,k+ 1
2
En
=0
E n
1 ,j+1,k
x,i+ 2
z,i,j,k+ 1
2
=0
E n
1 ,j,k
x,i+ 2
=0
1
1
n 2
n 2
1 Hy,i+ 1 ,j,k 1
y,i+ 1
,j,k+
2
2
2
2
z
H
1
1
n 2
n 2
H
1
1 ,j+ 1 ,k
1
z,i+ 2 ,j+ 2 ,k
z,i 2
2
x
H
1 ,k
y,i,j+ 2
E n
1
n 2
1 ,k+1
y,i,j+ 2
E n
1
1
n 2
n 2
1 ,j+ 1 ,k Hz,i+ 1 ,j 1 ,k
z,i+ 2
2
2
2
En
y
En
t
H
z,i,j+1,k+ 1
2
1
1
n 2
n 2
1 ,k+ 1 Hx,i,j 1 ,k+ 1
x,i,j+ 2
2
2
2
=0
=0
=0
Les 2 Grilles
La figure 4.9 prsente sur une maille de la grille (i, j, k) la position des inconnues discrtes.
Lintrt industriel dune mthode de diffrences finies sur grille rgulire apparait immdiatement, aucun stockage de gomtrie nest ncessaire, les points sont reprs uniquement par
leur triplet dindice (nombres entiers) et la donne de x, y, z suffit dterminer les positions gomtriques. Les inconnues sont elles aussi repres par les indices (i, j, k) de la maille
lmentaire auquelles elles appartiennent.
h sont positionns au milieu des artes de mme direction
On remarque que les champs E
h sont au centre des faces perpendiculaires leur direction.
alors que les champs H
En introduisant la grille duale, figure 4.10 dont les sommets sont les centres des cubes de la
h sont positionns au milieu des
grille initiale, on constate que sur cette grille duale les champs H
h sont au centre des faces perpendiculaires leur
artes de mme direction alors que les champs E
direction. Cette dualit des grilles est cohrente avec le fait que dans les quations de Maxwell
les oprateurs intervenants sont rot et rot et quil y a donc une symtrie des inconnues et des
quations que nous retrouvons dans le schma discret.
Page 152/275
rot E
dS
Hz (x, y, zk ) dS +
+ (rot E)z (x, y, zk ) dxdy =
c t
c dt
S
S
S
dsigne llment daire porte par la normale extrieure la face S oriente dans le sens
o dS
trigonomtrique.
On note alors Hz,i+ 1 ,j+ 1 ,k la moyenne de Hz sur la face S :
2
2
1
Hz (x, y, zk ) dS
Hz,i+ 1 ,j+ 1 ,k =
2
2
xy
S
et on choisit une discrtisation centre en temps autour de t n soit :
n+ 1
n 1
2
2
xy Hz,i+ 21 ,j+ 21 ,k Hz,i+ 21 ,j+ 21 ,k
Hz (x, y, zk )dS =
c
t
S
On utilise la formule de la circulation pour le terme en rot E
:
rot E
dS = E
1d
c dt
(i+1,j,k)
C(i,j,k)
Page 153/275
n 1
2
2
xy Hz,i+ 21 ,j+ 21 ,k Hz,i+ 21 ,j+ 21 ,k
n
n
n
n
+x(Ex,i+
Ex,i+
)+y(Ey,i+1,j+
)=0
1
1
1 E
y,i,j+ 21 ,k
,j,k
,j+1,k
,k
2
2
2
c
t
n 1
2
2
1 Hz,i+ 1 ,j+ 1 ,k Hz,i+ 1 ,j+ 1 ,k
2
n
n
Ey,i,j+
Ey,i+1,j+
1
1
,k
,k
2
n
n
Ex,i+
Ex,i+
1
1
,j+1,k
,j,k
2
=0
En effectuant le mme raisonnement sur les autres sections carres de la grille, puis sur la grille
duale, on trouve les 6 expressions du schma de Yee.
Vitesse de propagation numrique
On sintresse au cne de dpendance de chaque inconnue. Prenons pas exemple, Ex,i+ 1 ,j,k
2
litration n, quelles sont les inconnues auquelles il contribue dans les tapes suivantes ?
Larte qui le porte appartient quatre boucles de circulation, donc il contribue ltape
n + 1/2 4 valeurs de H :
n+ 1
n+ 1
Hy,i+21 ,j,k 1
2
n+ 1
Hy,i+21 ,j,k+ 1
n+ 1
Hz,i+21 ,j 1 ,k
Hz,i+21 ,j+ 1 ,k
Ces 4 champs H contribuent leur tour ltape n + 1 aux 4 artes qui entourent la face au
milieu de laquelle ils sont positionns soit en tout 5 artes suivant e x , 4 artes suivant ey et 4
artes suivant ez , voir figure 4.12 :
n+1
Ex,i+
1
,j,k
n+1
Ex,i+
1
,j,k+1
n+1
Ex,i+
1
,j,k1
2
n+1
Ex,i+
1
,j1,k
2
n+1
Ex,i+
1
,j+1,k
2
n+1
Ey,i,j
1
,k
2
n+1
Ey,i+1,j
1
,k
2
n+1
Ey,i,j+
1
,k
2
n+1
Ey,i+1,j+
1
,k
2
n+1
Ez,i,j,k
1
n+1
Ez,i+1,j,k
1
n+1
Ez,i,j,k+
1
n+1
Ez,i+1,j,k+
1
Il est facile alors de voir que tous ces champs E comme H sont situs sur des points contenus
dans loctadre rgulier centr autour de i + 12 , j, k et de distance aux sommets h, voir figure
4.6. En fait, loctadre est lgrement tronqu dans la direction x puisque les points i 12 , j, k et
i + 32 , j, k ne sont pas atteints, les plans extrmes rencontrs sont les plans x = x i et x = xi+1 .
Une composante de champ se propage plus vite ( la vitesse V num = h/t) dans les directions
transverses que dans la sienne propre.
Page 154/275
ct
1
h
3
1
1
n+ 2 H
n 2
1
H
h
h
n )h = 0,
hE
n1
+ (C
h
c
t
(4.14)
n n1
1
1 Eh Eh + (B
hH
n 2 )h = 0 n 1
h
c
t
h donne un champ positionn comme H
h,
h sur un champ E
On remarque que laction de C
h sur un champ B
h donne un champ positionn comme E
h.
de mme laction de B
j
i
k
On note alors Ch , respectivement Ch , Ch les oprateurs de drivation discrets dans les directions ex , respectivement ey , ez sur des positions entires valeur sur les positions dcales et
Page 155/275
ui+1,, ui,,
x
On note Bhi (resp Bhj , Bhk ) les oprateurs de drivation discrets mais sur la grille dcale, envoyant
des donnes positionnes aux demi indices valeur sur les positions entires. Par exemple
(Bhk uh ),,k =
u,,k+ 1 u,,k 1
2
Nous avons dmontr que les oprateurs Ch et Bh taient 2 2 duaux lun de lautre dans la
mesure o les positions nintervenant pas dans la drivation sont les mmes. Nous pouvons alors
h et B
h en fonction des oprateurs 1D.
facilement exprimer C
j
i
k
i
Bh Hh = Bh Hx,h + Bh Hz,h
Ch Eh = Ch Ex,h Ch Ez,h
j
j
i
i
Ch Ey,h Ch Ex,h
Bh Hy,h + Bh Hx,h
Nous pouvons alors noncer le rsultat de dualit suivant :
h et C
h sont duaux lun de lautre
Thorme 7. Les oprateurs B
h, H
h)
hE
h ) = (E
h, B
hH
(C
Dmonstration.
h, H
h ) = +(C j Ez,h , Hx,h ) (C k Ey,h , Hx,h)
hE
(C
h
h
+(Chk Ex,h , Hy,h ) (Chi Ez,h , Hy,h )
+(Chi Ez,h , Hz,h) (Chj Ex,h , Hz,h)
On remarque que Ez,h et Hx,h sont positionns au mme endroit pour les directions diffrentes
de y, on peut donc utiliser la dualit des oprateurs 1D, C hj , Bhj pour le premier terme. Le mme
raisonnement sapplique aux autres termes, donc :
h, H
hE
h ) = +(Ez,h , B j Hx,h ) (Ey,h , B k Hx,h )
(C
h
h
+(Ex,h , Bhk Hy,h ) (Ez,h , Bhi Hy,h )
+(Ey,h , Bhi Hz,h ) (Ex,h , Bhj Hz,h )
= (Ex,h , Bhj Hz,h + Bhk Hy,h )
(Ey,h , Bhk Hx,h + Bhi Hz,h )
(Ez,h , Bhi Hy,h + Bhj Hx,h )
h, B
h)
hH
= (E
Page 156/275
u=
div u
rot rot u
Cette proprit, associe la conservation de la divergence :
div(r E)
=0
t
et
div(r H)
=0
t
et H
vrifient lquation des ondes vectorielles. Nous allons dmontrer
permet de montrer que E
dans le cas discret lquivalent de ces deux proprits.
=
div
Equivalent discret de la relation
rot rot
hH
h
hB
Un quivalent discret de rot rot H
est C
j
Ch (Bhi Hy,h + Bhj Hx,h ) Chk (Bhk Hx,h + Bhi Hz,h )
j
j
k
k
i
i
Ch Bh Hh ==
Ch (Bh Hz,h + Bh Hy,h ) Ch (Bh Hy,h + Bh Hx,h )
Chi (Bhk Hx,h + Bhi Hz,h ) Chj (Bhj Hz,h + Bhk Hy,h )
qui se rcrit :
(Chj Bhj + Chk Bhk )Hx,h Chj Bhi Hy,h Chk Bhi Hz,h
hB
hH
h == (C k B k + C i B i )Hy,h C k B j Hz,h C i B j Hx,h
C
h h
h h
h h
h h
(Chi Bhi + Chj Bhj )Hz,h Chi Bhk Hx,h Chj Bhk Hy,h
Page 157/275
h,H H
h = Ay,h,H Hy,h = (C i B i + B j C j + C k B k )Hy,h
A
h h
h h
h h
(Bhi Chi + Chj Bhj + Chk Bhk )Hx,h Chj Bhi Hy,h Chk Bhi Hz,h Bhi Chi Hx,h
hB
hH
h = (C i B i + B j C j + C k B k )Hy,h C k B j Hz,h C i B j Hx,h B j C j Hy,h
C
h h
h h
h h
h h
h h
h h
(Chi Bhi + Chj Bhj + Bhk Chk )Hz,h Chi Bhk Hx,h Chj Bhk Hy,h Bhk Chk Hz,h
Les oprateurs Ch et Bh commutant ds que = , on obtient
j
j
k
i
Ch Bh Hh =
Ay,h,H Hy,h Bh (Ch Hz,h + Ch Hx,h + Ch Hy,h )
Bh uh
h,H uh = B uh
k
Bh uh
h,H uh est une approximation centre de u,
qui renvoye un vecteur positionn comme H
h.
h approxime
En se souvenant que C
rot et B
h approxime rot, nous venons de dmontrer lqui
=
div
h :
valent discret de
rot rot appliqu des champs H
h,H divh,H H
hB
h =
h + C
hH
h
h,H H
A
h , les
Il est facile de dmontrer quune relation semblable existe applique des champs E
h,E , divh,E devant tre adaptes au positionnement des
h,E ,
dfinitions des oprateurs discrets A
h sur la grille (on change les roles des B et C )
champs E
h
h
Conservation de la divergence en discret
Nous allons tablir (quen absence de sources), il y a comme dans le domaine continu conservation de la divergence des champs.
Thorme 8. Les solutions du schma de Yee (4.14) en labsence de termes sources vrifient :
1
n+ 2 = divh,H H
n 2 = divh,H H
2
divh,H H
h
h
h
n1
et
n = divh,E E
n1 = divh,E E
0
divh,E E
h
h
h
n1
1 divh,H H
h
c
n 21
divh,H H
h
t
hE
h = 0
+ divh,H C
Or,
hE
h =
divh,H C
= 0
car les oprateurs Ch et Ch commutent ds que = . On en dduit immdiatement
1
n+ 2 divh,H H
n 2 = 0
divh,H H
h
h
h = 0. Nous avons utilis les
La deuxime relation se montre de mme en utilisant div h,E B
t 0
et
t 0
t) = div(r E)(x,
0)
div(r E)(x,
2 = divh,E E
0 , pour tout n 1, les
Thorme 9. En labsence de termes sources et si divh,H H
h
h
solutions du schma de Yee en 3 dimensions vrifient :
1
1
n+ 2 2 12 H
n+ 2 2
hH
B
h
h
h2M
et
12 n 2
E
h2M h
n 2
hE
C
h
o hM dsigne un pas moyen dfini par :
"
hM =
3
1
x2
1
y 2
1
z 2
hH
B
h
n+ 21
hH
hB
= (C
h
n+ 21
,H
h
n+ 21
h,H H
) = (A
h
n+ 21
,H
h
n+ 21
h,H divh,H H
) + (
h
n+ 21
,H
h
n+ 2 , on a
En utilisant la nullit de div h,H H
h
1
n+ 2 2 = (A
n+ 2 , H
hH
h,H H
n+ 2 )
B
h
h
h
n+ 1
n+ 1
n+ 1
n+ 1
n+ 1
n+ 1
n+ 1
n+ 1
n+ 1
Page 160/275
1
y 2
1
1
n+ 2 2
)
H
2
h
z
ct
3
1
=
hM
3
3
qui est bien la condition ncessaire obtenue en utilisant le cne de propagation numrique sur
grille rgulire et lon peut vrifier par essais numriques que cest la condition CFL maximum.
Nous laissons le soin au lecteur de vrifier la convergence avec ordre 2 en temps et en espace en
gnralisant les rsultats obtenus en dimension 1.
sin( kx2x )
.
x
De mme par
Bhk agit comme un oprateur multiplicatif de valeur 2i z2 . La proprit stend sans diffih ( B
h ) en fonction des C ( B ) , on
cult aux autres indices. En utilisant lexpression de C
h
h
obtient le systme vectoriel :
t
1 0
0 = 0
H sin t,h
+ 2ikh E
2i ct
2
1 0
E sin
2i ct
t,h t
2
0 =0
2ikk H
Page 161/275
sin( kx x )
2
x
ky y
kh = sin( 2 )
y
sin( kz z )
2
z
On en dduit :
0 kh = 0
0 kh = E
H
relation quon aurait obtenue en utilisant les quations sur la divergence des champs. Les seules
et H
orthogonales
ondes harmoniques lectromagntiques pouvant se propager ont des champs E
la direction dfinie par kh .
0 H
0 = 0. Le systme scrit alors :
On en dduit aussi que E
0 = 1 H
0 kh sin t,ht
|kh |2 E
ct
2
0
H kk =
1 0
E
ct
sin
t,h t
2
0 kh , on obtient :
et donc, en liminant H
0
0 = ( 1 )2 sin2 t,h t E
|kh |2 E
ct
2
Nous obtenons la relation de dispersion :
sin2
t,h t
= (ct)2 |kh |2
2
La condition de stabilit est dassurer des solutions relles t,h quelque soit k. On obtient :
(ct)2 (
1
1
1
+
+
)1
2
2
x
y
z 2
soit encore :
ct
1
1
x2
1
y 2
1
z 2
1 2
sin (2))K 2 /24 + O(K 4)
2
Donc on constate quon approche la vitesse lordre 2 et de faon infrieure pour les frquences
qui nous intressent. Le fait que q dpende de langle signifie que le schma introduit une
anisotropie numrique, pour une frquence donne, un fix, les ondes ne se propagent pas la
mme vitesse dans toutes les directions.
Pour = /4, on obtient lexpression suivante :
q(, K, ) = 1 (1 2
q(, K, /4) =
2
K
arcsin( 2 sin )
K
2 2
Donc le cas le plus favorable est obtenu pour la valeur de maximum gale max =
2
,
2
2
, K, /4) = 1
2
Le schma nest exact que dans les directions diagonales pour la valeur maximum de la CFL.
Pour fix, on remarque que le schma est de moins en moins dispersif pour variant entre 0
et /4. Le cas pire correspond la propagation dans les directions du maillage. De mme on
observe que le phnomne de dispersion est accentu quand la CFL diminue. Cest pour cela que
les logiciels de calcul travaillent CFL maximum ! ! ! Nous prsentons ci-dessous diffrentes
courbes de dispersion pour des valeurs angulaires fixes permettant de voir linfluence de la CFL
ainsi que des courbes danisotropie reprsentant pour diverses CFL (paramtres par =
)
max
linfluence des paramtres N = 1/G nombre de points par longueur donde et direction de
londe.
q( =
Page 163/275
1.00
0.95
0.90
0.85
0.80
0.75
0.70
0.65
0.60
0.00
0.05
0.10
0.15
0.20
0.25
0.30
0.35
0.40
0.45
0.50
1.00
0.95
0.90
0.85
0.80
0.75
0.00
0.05
0.10
0.15
0.20
0.25
0.30
0.35
0.40
0.45
0.50
Page 164/275
1.02
1.00
0.98
0.96
0.94
0.92
0.90
0.88
0.86
0.84
0.82
0.80
0.00
0.05
0.10
0.15
0.20
0.25
0.30
0.35
0.40
0.45
0.50
0.5
0.0
0.0
0.2
0.5
1.0
0.4
0.6
0.8
1.0
Page 165/275
0.5
0.0
0.0
0.2
0.5
1.0
0.4
0.6
0.8
1.0
0.5
0.0
0.0
0.2
0.5
1.0
0.4
0.6
0.8
1.0
Page 166/275
Chapitre 5
Reprsentation intgrale des ondes en
dimension 3 - quations intgrales
5.1 Introduction
Ce chapitre est une introduction la mthode des quations intgrales, le chapire suivant
traitera de la mthode des lments finis de frontire qui en est la version discrte. Le principe
est le suivant : on veut rsoudre une quation aux drives partielles (EDP) linaire coefficients constants dans un domaine intrieur ou extrieur, avec des conditions aux limites et des
conditions linfini. On suppose connue la solution lmentaire vrifiant les conditions linfini de cette quation crite dans tout lespace. On se ramne dabord lquation homogne en
rsolvant explicitement lquation avec second membre (ou terme source) dans tout lespace
par convolution du terme source avec la solution lmentaire. On utilise ensuite un thorme de
reprsentation intgrale qui donne une expression explicite de la solution du problme homogne en tout point de lespace. Cette expression intgrale fait intervenir la solution lmentaire
et des fonctions dfinies sur la frontire qui sont les sauts de certaines traces de la solution sur
la frontire, comme les sauts de pression et de vitesse normale dans les problmes dacoustique.
Ces traces sont des inconnues du problme. On dmontre galement que tout champ reprsent
ainsi (avec des fonctions quelconque dfinies sur la frontire) vrifie lEDP dans le volume et
les conditions linfini. Pour quun tel champ soit solution du problme aux limites, il ne reste
plus qu imposer les conditions aux limites sur le bord. Ceci conduit lquation intgrale. On
a ramen un problme aux limites pos dans un volume (ventuellement infini) une quation
intgrale pos sur le bord de ce volume.
Le plan du chapitre est le suivant : nous commenons par quelques rappels mathmatiques
sur les distributions de simple et double couche, la convolution et la formule des sauts dcline
en plusieurs versions pour les oprateurs diffrentiels usuels.
Nous tudions ensuite le rayonnement dune source dans lespace libre. Le champ solution
est obtenu en convolant le terme source, i.e. le second membre de lquation, avec la solution
lmentaire. Nous dveloppons plus particulirement le cas particulier des sources surfaciques.
Ceci nous amne introduire et tudier les principales proprits des potentiels de simple et
Page 167/275
double couche.
Dans le 5.4, nous tablissons le thorme de reprsentation intgrale des solutions rgulires
de lquation de Helmholtz en dehors dune surface ferme et vrifiant la condition de radiation
de Sommerfeld linfini. Les oprateurs donnant les valeurs de la solution sur le bord vrifient
des proprits intressantes, en particulier, celles de projecteurs (de Caldern).
Nous montrons ensuite comment ramener la rsolution des problmes de Dirichlet et Neumann intrieurs et extrieurs pour lquation de Helmholtz des quations intgrales avec inconnues sur la frontire. Nous tudions ensuite les relations entre les problmes dEDP et les
diffrentes quations intgrales obtenues.
Dans le 5.6, nous tudions quelques applications de la formule de reprsentation, en dehors
des quations intgrales. En particulier, nous faisons le lien avec des formules que le lecteur
aurait vu par ailleurs : proprit de la moyenne et la formule de Poisson pour les fonctions
harmoniques, la formule de Cauchy pour les fonctions holomorphes.
Le 5.7 donne quelques gnralisations de la notion de fonction de Green et de la formule de
reprsentation intgrale.
Dans le dernier paragraphe, nous tudions les oprateurs intgraux rencontrs prcdemment
des densits dans des espaces de Sobolev. Nous tablissons les proprits de continuit et des
estimations de coercivit dans le cas de frquences complexes. Les dmonstrations utilisent les
prorpits de problmes dEDP avec conditions de transmission travers la frontire.
Page 168/275
5.2.1 Dfinitions
Soit une fonction rgulire dfinie sur . Rappelons quon appelle distribution de simple
couche de densit sur la mesure de Radon s() = (x) d(x) :
s(), = (x)(x) d(x) D(R3 )
Cest une distribution dordre 0 support dans . Par exemple, en lectrostatique, une densit
volumique de charge dont lpaisseur (du support) est trs petite est souvent approche par
une densit surfacique de charge en intgrant sur lpaisseur. Cette densit de charge est
modlise par lobjet mathmatique s().
On dfinit galement la distribution de double couche de densit note d() :
On a
(x)
(x + n(x)) d(x)
(x)
(x) d(x)
En dveloppant ces calculs, on dmontre que le potentiel de double couche est la limite de la
somme de deux potentiels de simple couche de densits opposes sur la surface et une surface
obtenue en dplaant les points de dune distance suivant la normale. Do lorigine
Page 169/275
du terme double couche. Cest la gnralisation au cas dune surface de la notion de diple
ponctuel. Plus prcisment, on remarque que pour tout D(R 3 )
(x)n(x) (x) d(x)
d(), =
= s(n),
= div (s(n)) ,
do la relation
d() = div (s(n))
Rn
= f (x).
o f(x)
Cette dfinition se gnralise D D : pour T D (Rn ) et D(Rn ), on pose
T (x) = T, (x )
qui appartient C (Rn ). Par exemple
s() (x) =
(5.1)
(x y)(y)d(y)
Comme s() est dordre 0, on peut facilement montrer que la formule est valable pour continue.
On gnralise ensuite ce produit D E , i.e. convolution dune distribution quelconque et
dune autre support compact. Pout T D (Rn ) et S E (Rn ), on pose
T S, = S, T D(Rn )
On a
o T D (Rn ) T , = T, .
supp(T S) supp(T ) + supp(S)
Pour a Rn , notons a loprateur de translation de vecteur a, i.e. pour D(Rn ),
a (x) = (x a). Pour T D (Rn ), on dfinit a T comme suit
a T, = T, a
Page 170/275
D(Rn )
On a
a (u ) = a u = u a
Si a dsigne la masse de Dirac en a, on a
a u = a u
En particulier, est llment neutre : T = T pour tout T D (Rn ).
Si U est une application linaire continue de D(Rn ) dans lui-mme qui commute avec les
translations, i.e. a U = Ua pour tout a Rn , alors il existe u E (Rn ) tel que :
U = u
D(Rn )
Les quations aux drives partielles linaires sont des cas particuliers dquations de convolution. En effet, la drive scrit comme une convolution
T = T
et E (Rn ).
T3 =
Le
produit
de
convolution
est
commutatif.
Il
est
associatif
sous
condition
:
T
T
1
2
T1 T2 T3 si au moins deux des trois distributions sont support compact. Exemple :
(5.2)
(T S) = (T S) = ( T ) S = T ( S)
u
xi
ue
e
x dans
i
=
i
u
dans i
xi
Page 171/275
La formule des sauts donne la valeur dune drive partielle de u au sens des distributions en
fonction des drives partielles de ue dans e et ui dans i et du saut de u :
u
(5.3)
{u} =
s([u] ni )
xi
xi
Cette formule se dcline sous plusieurs formes pour des champs scalaires et vectoriels. Soit de
= {A}
un champ de vecteurs rgulier de part et dautre , nous avons les relations
plus A
suivantes :
(5.4)
(5.5)
3 4 3
4
= div A
s([A
n])
div A
(5.6)
4
3 4 3
n])
rot A = rot A + s([A
(5.7)
u
]) + d([u])
n
En raisonnant, composante par composante, on voit que cette dernire formule est galement
valable pour un champ vectoriel. Mais en utilisant la dcomposition suivante du Laplacien vectoriel :
= div A
A
rot rot A
on trouve :
= {A}
s([div A]
n) + s([
{A}
rot A
n])
(5.8)
n]) +
s([A
rot s([A
n])
et
lim r
dans D (R3 )
E
ikE
r
=0
lim r
dans D (R3 )
p
ikp
r
=0
eik|xy|
4|x y|
Au paragraphe 3.2, nous avons galement calcul, dans le cas des quations de Maxwell, le
champ lectromagntique rayonn par des sources lmentaires du systme du premier ordre : les
diples lectrique et magntique. Transposons cette analyse au cas de lquation de Helmholtz.
Remarquons que lquation du second ordre
( + k 2 )p = T
dans D (R3 )
avec p satisfaisant la condition de radiation linfini, est quivalente au systme du premier ordre
ik p + div v = T
ik
ik v + p = 0
p et v satisfaisant la condition de radiation linfini. Cest le systme de lacoustique linaire o
p est la pression et v la vitesse ( un facteur 0 c prs).
Nous pouvons alors considrer des sources ponctuelles lmentaires localises en un point y
pour le systme :
ik p + divx v = Q(y)(x y)
dans D (R3 )
(5.9)
ik v + x p = F (y)(x y)
o Q(y) et F (y) sinterprtent ( une constante 0 c prs) comme un dbit et une force. Comme
plus haut, Q(y) et F (y) sont des constantes. p est alors solution de
(x + k 2 )p = T
dans D (R3 )
avec
= x (Q(y)(x y)) + 1
S
rotx rotx +k 2 F (y)(x y)
ik
En convolant la solution lmentaire E avec les seconds membres (5.10) et (5.11), on trouve :
= q
ik p + div V
dans D (R3 )
ik V + p = 0
(5.11)
est rotationnel nul dans D (R3 ) et au lieu dune source de dbit et une source
o maintenant, V
de force, nous avons uniquement une source de dbit somme dun monople et dun diple :
q = Q(y)(x y) divx P (y)(x y)
En effet, si
P = P
le deuxime terme est la limite au sens des distributions de deux monoples positionns en deux
points trs proche y 2s , damplitudes opposes P/s :
s
s
P
(x y + ) (x y )
divx P (y)(x y) = P (y) x (x y) = lim+
s0 s
2
2
Le lecteur dmontrera ce rsultat proprement en testant la formule avec des fonctions rgulires.
V vrifie directement :
= x q
(x + k 2 )V
do la nouvelle expression pour la vitesse :
(5.13)
(x, y) = x G(x, y)Q(y) + x divx G(x, y)P (y)
V
( + k 2 )p =
est donne par
G(x, y) (y)dy
p(x) =
(5.14)
R3
ik p + div v = q
dans D (R3 )
ik v + p = f
avec q et f densits volumiques de dbit et de force, fonctions rgulires support compact dans
R3 , on obtient les nouvelles formules de reprsentation :
G(x, y)q(y)dy div
G(x, y)f(y)dy
(5.15)
p(x) = ik
R3
et
(5.16)
v(x) =
R3
R3
G(x, y)q(y)dy
G(x, y)f(y)dy
R3
= x G(x, y) f(y)
rotx G(x, y)f(y)
mais
x G(x, y) = y G(x, y)
En utilisant la formule dintgration par partie (A.6), on trouve :
rot
G(x, y)f(y)dy
=
G(x, y) rot f(y)dy
R3
R3
G(x, y) rot f (y)dy ik
G(x, y)f(y)dy
rot
ik
3
3
R
R
Page 176/275
( + k 2 )p = s( )
vrifiant la condition de radiation est donne par :
p = E s( )
p est dit potentiel de simple couche, et loprateur S dfini par
S = E s( )
est appel oprateur intgral de simple couche.
Thorme 10 (Le potentiel de simple couche). Pour toute fonction rgulire dfinie sur , le
potentiel de simple couche p = S a les proprits suivantes :
1. p est une fonction continue dans R 3 , de classe C en dehors de ,
pour tout x R3
(5.18)
S (x) = G(x, y) (y)d(y)
dans R3 \
1
A () =
4
eiky (y)d(y)
= + + D
n
2
p e
= + D
n
2
(5.22)
D (x) =
(5.23)
G
(x, y) (y)d(y)
nx
pour x
le noyau G/nx ayant une singularit en 1/|x y| et est donc dans L 1 (). Ainsi, la
drive normale de p subit un saut gal sur :
#
$ i e
p
p
p
=
=
n
n
n
Dmonstration.
1. Comme vu plus haut au 5.3.1, p = E T est C dans le complmentaire
du support de T E (R3 ). Ici supp s( ) = . Pour dmontrer la continuit travers ,
rgularisons E prs de lorigine, par exemple en posant pour > 0 petit :
E(x) si |x|
ik
E (x) =
e
si |x|
4
E est continue. On a daprs 5.2.2
p (x) = E s( ) (x) =
E (x y) (y)d(y)
x R3
Soit x . En remarquant que dans le plan tangent en x , llment daire est rdrd
(coordonnes polaires centres en x), on voit que la singularit en 1/|x y| est intgrable
sur , i.e. E L1 (). Donc lintgrale
G(x, y) (y)d(y)
quand 0
do
(5.24)
x R3
G(x, y) (y)d(y)
p(x) =
De mme, en remarquant que G(z, ) est uniformment dans L1 () pour z dans le voisinage de x , le thorme de Lebesgue permet de montrer que
p(x) =
lim
zx,zi
p(z) =
lim
zx,ze
p(y)
pour tout x .
2. p vrifie lquation de Helmholtz homogne en dehors de , puisque
( + k 2 ) E s( ) = (E + k 2 E) s( ) = s( ) = s( )
et le support de s( ) est .
3. Calculons le comportement de potentiel de simple couche p quand r = |x| tend vers
linfini, pour une direction dobservation donne
x
dans la sphre unit.
=
|x|
Pour y , donc born, on a uniformment en y :
1/2
|x y| = |x|2 2x y + |y|2
y |y|2 1/2
= r 1 2 + 2
r
r
1
= r y+O
r
De mme,
1
y
1
= + 2 +O
|x y|
r
r
Do
eikr iky
eik|xy|
=
e
+O
4|x y|
4r
1
r3
1
r2
et la formule (5.20).
4. Dmontrons dabord que pour x , le noyau
G
(x, y) = n(x) x G(x, y)
nx
est dans L1 (). Une analyse sommaire indique que
eik|xy|
1
G
(x, y) =
ik
(x
y)
n
(x)
nx
4|x y|2
|x y|
Page 179/275
(0) = 0 et
do
(0) = 0
Dautre part
pour = o(1)
do
(x y) n(x) = O(|x y|2)
Pour x , la singularit du noyau G/nx est donc en 1/|x y|. On en conclut quil est
galement dans L1 (). Il en est de mme pour G/ny (dmonstration analogue).
Calculons la drive normale du potentiel de simple couche intrieure, comme la limite :
i
p
p
x + 0n(x) = lim n(x) S (x + sn(x))
(x) =
s0,s<0
n
n
Pour la drive normale extrieure, nous prendrons la limite quand s tend vers 0 par valeurs
positives.
Soit donc s = 0 de signe fix et > 0 deux distances suffisamment petites devant les
dimensions de . Notons z = x + sn(x), z est dans i si s < 0 dans e si s > 0 (pour s
suffisamment petit). Notons lintersection de avec la boule B(x, ) de centre x et de
rayon . Dcoupons lintgrale en deux :
n(x) z G(z, y) (y)d(y) +
n(x) z G(z, y) (y)d(y)
n(x) S (z) =
Page 180/275
Pour chacune des deux intgrales, nous allons faire tendre s vers 0 ( signe fix) et > 0
fix suffisamment petit, puis nous ferons tendre vers 0 + .
La deuxime intgrale ne pose pas de problme. En effet, fix, le noyau est rgulier au
voisinage de x et
G
n(x) z G(z, y) (y)d(y) =
(x, y) (y)d(y)
lim
i
e
zx,z
\
\ nx
Dautre part, nous avons dmontr plus haut que le noyau
G
(x, y)
nx
est L1 () pour x , on a donc
G
lim i e
n(x)z G(z, y) (y)d(y) =
(x, y) (y)d(y)+o(1) = D (x)+o(1)
zx,z
n
x
\
pour petit.
Traitons la premire intgrale. Pour petit, la fonction tant rgulire, on a
n(x) z G(z, y) (y)d(y) = ( (x) + O())
n(x) z G(z, y)d (y)
On a
(z y) n(x)
+O
n(x) z G(z, y) =
4|z y|3
1
|x y|
Lintgrale sur du terme en 1/|x y| tant en O(), nous sommes ramens au calcul de
1
(z y) n(x)
n(x) z G(z, y)d(y) =
d (y) + O()
4 4|z y|3
Utilisons la paramtrisation introduite plus haut pour estimer cette dernire intgrale. Dans
la base locale ( , 3 ), ( dans le plan tangent Tx et 3 suivant n(x)). on a
0
et
y=
z=
( )
s
ce qui donne
(z y) n(x)
s ( )
=
2 32
|z y|3
| |2 + s ( )
Q
o Q T x est louvert de paramtrisation de , quon pourrait choisir pour simplifier comme tant le disque de centre lorigine (x) et de rayon (celui-ci dfinissant ).
Lutilisation des coordonnes polaires facilite les calculs :
3
3
2
2 2
s | | + s
d = 2s
2 + s2 2 d
Q
1
d 2
+ s2 2 d
= 2s
0 d
1
= 2 sgn(s) s(2 + s2 ) 2
c..d. 1/2 ( prs) suivant que s tend 0 par valeurs positives ou ngatives, c..d. si z
tend x en venant de e ou de i . Do la formule (5.22).
Remarque 3. Comme nous le verrons plus loin, lintgrale
(y z) n(y)
d (y)
|y z|3
qui est quivalente lintgrale que nous cherchions calculer, est langle solide sous lequel
on voit depuis z. En prenant petit, ressemble un disque plat, et en rapprochant z de
x une distance trop petite devant , apparat comme un plan infini. Langle solide est 2
suivant la position de par rapport la normale.
Potentiel de double couche
Considrons maintenant le systme du premier ordre avec q et f des densits surfaciques de
dbit et de force. Pour des raisons qui apparatront plus loin, considrons le cas particulier dune
densit de force normale :
f = n
o n est le vecteur normale unitaire sur . Le systme scrit
ik p + div v = s(q)
dans D (R3 )
ik v + p = s(n)
Page 182/275
o s(q) et s(n) sont les distributions de simple couche de densits q et n. Les mmes calculs
que prcdemment conduisent
( + k 2 )p = ik s(q) div s(n)
o lon reconnat dans le terme source, la somme dune distribution de simple couche et dune
distribution de double couche
d() = div s(n)
v vrifie
( + k )v = s(q)
2
(5.25)
et
(5.26)
v = Sq
Nous avons dj tudi dans le paragraphe prcdent les proprits du potentiel de simple couche,
i.e. le cas = 0. En particulier, nous avons dmontr que la composante normale de la vitesse
est discontinue sur :
q
v i n = D q
2
(5.27)
q
v e n = + D q
2
do le saut
[v n] = q
Dans la suite, nous supposons q = 0 et nous prcisons les expressions de p et v, en particulier
sur . Pour cela, introduisons loprateur D dfini par
D = E d() = div S(n)
(5.28)
D est appel oprateur intgral de double couche. p = D est dit potentiel de double couche.
Nous appelons vitesse associe p le champ de vecteurs dfini par lquation :
(5.29)
v =
1
(p s(n))
ik
dans D (R3 )
qui a lexpression :
(5.30)
v =
dans D (R3 )
Page 183/275
Thorme 11 (Le potentiel de double couche). Pour toute fonction rgulire dfinie sur ,
le potentiel de double couche p = D a les proprits suivantes :
1. p est une fonction de classe C en dehors de , et pour tout x dans R 3 \ , on a
G
(x, y)(y)d(y)
(5.31)
p(x) =
ny
2. p est solution de lquation de Helmholtz homogne en dehors de :
( + k 2 )p = 0
dans R3 \
ik
A() =
4
(5.34)
avec
(5.35)
lim
zi
D(x) =
D(z) =
G
(x, y)(y)d(y)
ny
Le noyau G/ny ayant une singularit en 1/|x y| et est donc dans L 1 (). Ainsi, p subit
un saut de la traverse de :
[p] = pi pe =
5. Lexpression (5.30) de la vitesse v associe p = D est quivalente la suivante :
(5.36)
Page 184/275
v =
dans D (R3 )
Remarque 4. rot et rot sont des oprateurs diffrentiels surfaciques. Ils drivent tangentiellement sur . Si tant un contour dans le plan, ils correspondraient la drive par rapport
labscisse curviligne. Le lecteur est renvoy lannexe A.4 pour une introduction rapide et
lmentaire ces oprateurs.
Dmonstration.
1. Comme prcdemment, p = E d() est C en dehors du support de
d(). En x R3 \ , nous avons
p(x) = div G(x, y)(y)n(y)d(y) = x G(x, y) n(y)(y)d(y)
1
r2
De mme,
y G(x, y) = ikG(x, y)
Do le rsultat.
4. Nous savons dj que pour x le noyau
G
(x, y)
ny
a une singularit en 1/|xy| intgrable sur . Comme plus haut nous calculons pour x
les limites
G
i
(x + sn(x), y)(y)d(y)
p (x) = lim
s0,s<0 ny
et
G
e
(x + sn(x), y)(y)d(y)
p (x) = lim
s0,s>0 ny
Comme plus haut, nous considrons s = 0 de signe fix et > 0 deux distances suffisamment petites devant les dimensions de . Notons z = x + sn(x), z est dans i si s < 0
Page 185/275
1
|x y|
rot
Gn (x, y)(y)n(y) d(y) =
Gn
(x, y)n(y)
ny
Ainsi
y Gn (x, y) n(y) = ,y Gn (x, y) n(y)
Page 186/275
rot
rot Gn (x, y) (y)d(y)
En passant ensuite la limite, avec la mme justification que plus haut, nous trouvons
(5.38)
dans D (R3 )
nous aurions t gns par la singularit de type distribution de simple couche. En effet, la
vitesse est un champ de vecteur rgulier par morceaux, alors que le gradient de la pression est
la somme dun champ de vecteur rgulier par morceaux (le gradient de p dans i et dans e ) et
dune distribution de simple couche sur :
2
div S(n) = rot S(rot ) k S(n) + s(n)
dans D (R3 )
De fait, le lecteur vrifiera que lexpression formelle suivante
5
2G
p
(x) = n(x) div S(n) =
(x, y)(y)d(y)
n
nx ny
Page 187/275
pour x 0
x2
2
f (x) =
1 x2 + 1 pour x > 0
2
et soit g la fonction dfinie sur R par
g(x) = x
La drive de f est donne par
f (x) = x + (x)
f nest pas gale g dans D (R), mais
f (x) = g(x)
dans R \ {0}
x0+
x0
x0
x0
f est lanalogue de p, g lanalogue de ikv . On conoit quil est plus facile de manipuler g qui
est une fonction plutt que f qui est une distribution. . .
dans D (R3 )
pin vrifiant la condition de radiation linfini. On se ramne ainsi aux rsultats du paragraphe
prcdent. pin est londe qui existerait en absence de la frontire . Cest ce quon appelle champ
incident. Nous sommes ainsi ramens travailler avec le champ diffract p sc = ppin qui verifie
lquation homogne dans i e
( + k 2 )psc = 0
dans D (i e )
sur
=
n
n
n
Si
(pi + k 2 pi ) = 0
et
dans D (i ),
(pe + k 2 pe ) = 0 dans D (e ),
dans D (R3 )
pour x e i
Page 189/275
et
1 i
p (x) + pe (x) = S(x) D(x)
2
(5.40)
Dautre part
pour x
2
p = S + rot S(rot ) k S(n) s(n)
dans D (R3 )
(5.41)
p(x) = S(x) + rot S(rot )(x) k 2 S(n)(x)
pour x i e
et
(5.42)
1
2
p i
p i
(x) +
(x)
n
n
o o S, S, D, D, D et N
rappelons les expressions :
S(x) =
D(x) =
D(x) =
S(x) =
(5.43)
D(x) =
D (x) =
N(x) =
= D (x) N(x)
pour x
pour x R3
G
(x, y)(y) d(y)
ny
div G(x, y)(y)n(y) d(y)
G(x, y)(y) d(y)
G
(x, y)(y) d(y)
ny
G
(x, y)(y) d(y)
nx
+k 2 G(x, y)(y)n(y) n(x) d(y)
pour x R3 \
pour x R3 \
pour x
pour x
pour x
pour x
p(y) + k 2 p(y) G(x, y)dy
0=
,R
=0
y G(x, y) + k 2 G(x, y) p(y)dy =
,R
,R
=0
p
G
(y)G(x, y)
(x, y)p(y) d(y)
o est la normale extrieure . Rappelons que la normale n sur est oriente vers lextrieur
de i . ,R = S SR i e , o lon a distingu la frontire commune de i et e pour
pouvoir distinguer les termes de bords de lintgration par partie venant de lintrieur et ceux
venant de lextrieur (qui viennent avec le signe oppos). Dans les intgrales sur i , on a = n,
alors que dans les intgrales sur e , on a = n, do
# $
p
G
termes sur =
(x, y)[p](y) d(y)
G(x, y)
(y)
n
ny
y
SR
p est solution de lquation de Helmholtz homogne en dehors dune boule et vrifie la condition
de radiation de Sommerfeld, et par suite daprs les proprits des fonction de Hankel et le
dveloppement multipolaire de p, on a :
p
1
1
ikp = O
et
p
=
O
R2
R
Page 191/275
4
S 4
La continuit de p en x permet de conclure pour le deuxime terme sur S :
G
eik 1
+ ik
(x, y)p(y)dS(y) =
p(y)dS (y) = p(x) + O()
4
S y
S
=42 p(x)+O()
Ceci dmontre la formule pour un point x dans . Soit maintenant x sur . Les termes sur
sont remplacs par des intgrales sur \ B(x, ). Le noyau G(x, y) est C pour y = x, et a une
singularit en 1/|x y| en x, intgrable sur , et par consquent
# $
# $
p
p
G(x, y)
(y)d(y) G(x, y)
(y)d(y)
n
n
\B(x,)
Ce sont les termes sur S qui nont pas la mme limite que plus haut. En effet la boule B(x, )
nest plus incluse dans , mais se partage entre i et e . S = Si Se , asymptotiquement deux
demi-sphres de rayon ( petit).
1
G
1
eik
i
ik
Remarque 8. Pour reprsenter les solutions de lquation de Helmholtz dans lun des deux ouverts i ou e uniqement, il suffit, par exemple, de considrer la fonction nulle dans le deuxime
ouvert pour se ramener aux hypothses du thorme de reprsentation. En effet, la fonction nulle
vrifie lquation homogne ainsi que la condition de radiation (dans le cas de louvert extrieur). Dans ce cas, les sauts sont les traces.
Remarque 9. Attention : ce thorme nous dit uniquement comment reprsenter les solutions de
lquation homogne en fonction de certaines quantits sur le bord, et que nous ne connaissons pas forcment, et non de rsoudre un problme aux limites. Dans le paragraphe 5.5, nous
utilisons cette forme de la solution pour imposer les conditions aux limites. Ceci conduit ce
quon appelle une quation intgrale. La rsolution de celle-ci donne accs et , et par suite
p et son gradient partout dans lespace grce la formule de reprsentation intgrale, ce qui
rsout le problme aux limites.
Remarque 10. La formule de reprsentation se gnralise au cas dune surface lipschitzienne.
Les relations sur le bord sont alors vrifies presque partout sur . En particulier, supposons
que est rgulire par morceaux et que x se trouve sur une singularit gomtrique (didre,
coin, pointe de cne. . . ). Dans la dmonstration, interviennent les facteurs aire(S i )/(4) et
aire(Si )/(4). Pour une surface rgulire, Si et Se ressemblent deux demi-sphres pour
suffisamment petit, do le facteur 1/2 devant p i et pe . Ces facteurs doivent tre remplacs par
les rapports 4 des limites des angles solides intrieur et extrieur de S i et S e . Par exemple,
sur larte dune cube, ces facteurs sont 1/4 et 3/4, et sur le coin de celui-ci 1/8 et 7/8. La
notion dangle solide de cette singularit sera rappele dans le paragraphe 5.6.3.
Remarque 11. Le thorme est valable pour k rel ou complexe et mme pour k = 0. Cest la
condition linfini qui change. Par exemple, pour k = k 1 + ik2 C avec k2 > 0, le choix du
noyau de Green
eik|xy|
eik1 |xy|
G(x, y) =
= ek2 |xy|
4|x y|
4|x y|
exponentiellement dcroissant linfini, correspond un champ dans H 1 linfini. De mme, le
choix du noyau
1
G(x, y) =
4|x y|
correspond une condition champ nul linfini pour k = 0.
p = S D
dans D (R3 )
Page 193/275
I
i
D +
S
p
2
I
=
(5.45)
+H
=
pi
N
+
+ D
n
2
et
(5.46)
pe
pe =
H=
#
I
+
+D
2
o H est loprateur
Ainsi
I
D +
2
p
=
n
D S
N D
I
= +H
2
$
= [p]
et
I
+H
2
Ce =
I
H
2
et
(5.47)
Ce2 = Ce ,
Ci + Ce = I.
On les appelle projecteurs de Caldern intrieur et extrieur respectivement. Les relations (5.47)
peuvent sexpliciter de la manire suivante :
(5.48)
DS = SD
(5.49)
ND = D N
(5.50)
D 2 SN =
I
4
(5.51)
D 2 NS =
I
4
Page 194/275
Dmonstration. Dmontrons la proprit de projecteur intrieur. tant donns et , nous dfinissons p par
p = S D
En remarquant que
1 i
p + pe = pi = pe +
2
2
2
et la manipulation analogue sur les drives normales, les relations de traces (5.40) et (5.42) nous
disent que
i
p
=
+H
pi
2
n
Considrons maintenant la fonction w i dfinie de la manire suivante :
p(x) si x i
i
w (x) =
0
sinon.
Daprs le thorme de reprsentation intgrale on a
w i = Sq D
avec q =
pi
n
Do
wi
w i
n
I
+H
2
pi
pi
n
=
pi
I
+ H pi
2
n
I
+H
2
Pour dmontrer la proprit de projecteur extrieur, on raisonne sur la fonction w e qui vaut p
lextrieur et 0 lintrieur.
(5.52)
avec
=
(5.53)
pi pe
n
n
= p i pe
et
sur
Remarque 12. Attention, et nauront pas la mme valeur suivant le prolongement choisi.
Nous les distinguerons par un indice dsignant ce dernier. Lexposant e ou i rappellera quil
sagit au dpart de la rsolution dun problme extrieur ou intrieur.
( + k 2 )pe = 0 dans e ,
pe = p0 sur ,
(5.54)
pe
n
sur
et
e0 = p0
sur
= + D e0 Ne0
n
2
on trouve une nouvelle quation intgrale :
I
(5.56)
+ D e0 = Np0
2
Prolongement par la solution du problme de Dirichlet intrieur
On obtient pi en rsolvant (par la pense) le problme de Dirichlet intrieur avec la mme
donne p0 . Sans exhiber cette solution, on sait que dans ce cas le saut eD de p est nul et p est un
potentiel de simple couche :
p = SeD
Cette fois, eD na pas dinterprtation physique vidente (en fonction de la solution extrieure).
En prenant la trace sur , on obtient la nouvelle quation intgrale :
(5.57)
SeD = p0
sur .
Loprateur inverser est le mme que pour (5.55), mais le second membre nest pas le mme,
non plus na plus la mme signification.
Le prolongement nest pas unique si k 2 est une valeur propre de loprateur avec condition de Dirichlet dans i . On en dduit que loprateur S ne sera pas inversible ces frquences
propres.
Lutilisation de la trace de la drive normale ne donne pas une nouvelle quation intgrale :
I
pe
= + D eD
n
2
En utilisant lquation intgrale (5.55) et la relation de Caldern (5.48) on trouve :
I
I
e
+ D SD = + D p0
2
2
qui est lquation (5.57) compose par loprateur (I/2 + D).
Page 197/275
(5.58)
I
+ D eN = p0
2
Le prolongement nest pas unique si k 2 est une valeur propre de loprateur avec condition
de Neumann dans i . On en dduit que loprateur (I/2 + D) ne sera pas inversible ces
frquences propres.
Prolongement par la solution du problme de Robin intrieur ou astuce de Brakhage et
Werner
On rsout le problme de Robin intrieur :
2 i
i
( + k )p = 0 dans ,
i
p ikpi = g sur .
n
o est un nombre complexe quelconque partie relle strictement positif pour obtenir une
condition aux limites dissipative. Cest un nombre sans unit qui reprsente une admittance
relative. Dans ce cas, ce problme a une solution unique et lquation intgrale obtenue sera
inversible quelque soit la frquence.
En prenant
pe
ikpe
g=
n
e
e
on obtient des sauts R et R proportionnels :
eR = ikeR
La trace de p sur donne la nouvelle quation intgrale
I
+D
eR = p0
ikS
2
(5.59)
Page 198/275
(5.62)
Si0
I
+ D p0
2
I
+ D i0 = Np0
2
SiD = p0
(5.63)
(5.64)
I
D iN = p0
2
(5.65)
( + k 2 )pe = 0 dans e ,
pe
= g sur ,
e
p vrifie la condition de radiation linfini.
Ne0
+D g
2
I
D e0 = Sg
2
Page 199/275
(5.68)
Le prolongement nest pas unique si k 2 est une valeur propre de loprateur avec condition
de Neumann dans i . On en dduit que loprateur N ne sera pas inversible ces frquences
propres.
En prolongeant par la solution du problme de Dirichlet intrieur, p est un oprateur de simple
couche et lquation intgrale devient :
I
(5.69)
+ D eD = g
2
En prolongeant par la solution du problme de Robin, le prolongement est unique et lon obtient
lquation intgrale :
I
D
N + ik
(5.70)
eR = g
2
( + k 2 )pi = 0 dans i ,
pi
= g sur ,
i
p vrifie la condition de radiation linfini.
(5.71)
Le lecteur vrifiera quavec les 4 prolongements vus plus haut, on obtient les quations intgrales
suivantes :
I
i
N0 = + D g
(5.72)
2
(5.73)
I
+ D i0 = Sg
2
NiN = g
(5.74)
(5.75)
Page 200/275
+ D eD = g
2
Modlisation des phnomnes de propagation dondes
I
2
D p0
tant donne une solution p e du problme de Dirichlet extrieur, nous avons dmontr que
e0 = pe /n est solution de lquation (5.55). Ce qui tablit lexistence dau moins une solution de cette quation intgrale, le problme de Dirichlet extrieur (5.54) admettant une solution
unique. Inversement, soit e0 solution de (5.55). Alors
p = Se0 + Dp0
est solution de lquation de Helmholtz e (et i ) et vrifie la condition de radiation linfini.
Dautre part, la premire relation (5.46) donne la trace extrieure de p :
I
e
+ D p0 = p0
p|e = S0 +
2
La restriction de p e est donc solution du problme de Dirichlet extrieur (5.54). Ainsi, trouver
une solution de lquation intgrale quivaut en trouver une pour le problme aux limites.
Daprs (5.45) la trace intrieure de p est nulle :
I
e
p|i = S0 + + D p0 = 0
2
Donc la restriction pi de p i est solution du problme de Dirichlet homogne. Notons (k nD )2
les valeurs propres de avec condition de Dirichlet homogne.
Si k {knD }, p est nulle lintrieure et e0 = pe /n. Dans ce cas, lquation intgrale
(5.55) a une solution et une seule.
Sil existe n tel que k = knD , alors pi est un vecteur propre quelqconque dans lespace propre
EnD associ knD et en notant n sa drive normale sur , lquation intgrale admet alors les
solutions :
pe
+ n
e0,n =
n
Page 201/275
Dans ce cas, lquation intgrale (5.55) admet toujours une solution mais elle nest pas unique.
On peut lui ajouter la drive normale n de nimporte quel vecteur propre. Cette solution parasite de rayonne pas lextrieur :
Se0,n (x) + Dp0 (x) = Se0 (x) + Dp0 (x) = pe (x)
pour x e
pi pe
n
n
En transposant loprateur, on voit que ceci est la consquence de la relation (5.86) vue plus haut.
I
D D
n = 0
2
Enfin signalons que les relations dorthogonalit (5.76) sont en gnral vrifies par les donnes
physiques. Le lecteur est invit le vrifier pour p 0 trace dune onde plane ou dune onde
sphrique dont la source est situe dans le domaine extrieur.
tude de lquation intgrale (5.58) :
I
2
+ D eN = p0
tant donne une solution p e du problme de Dirichlet extrieur, il nous faut cette fois-ci
prolonger lintrieur en rsolvant le problme de Neumann intrieur avec la donne p e /n.
Notons {(knN )2 } les valeurs propres du problme de Neumann intrieur pour , E nN les sousespaces propres associs.
Si k {knN }, le problme intrieur admet une solution et une seule, note p i . Alors
eN = pi p0
est solution de lquation intgrale.
Sil existe n tel que k = knN , alors pi existe ssi les conditions dorthogonalit suivantes sont
vrifies :
pe
(5.77)
uN
n
n
la diffrence des relations (5.76), ici la quantit qui doit vrifier les relations dorthogonalit
nest pas connu ! tant donne p0 , on ne peut pas savoir a priori, si ces relations seront vrifies
avant de rsoudre le problme extrieur ! Dans le cas o ces relations sont vrifies, eN est
dtermin modulo le noyau de I/2 + D qui nest rien dautre que lespace de traces sur des
N
vecteurs propres uN
n En daprs (5.88).
e
Inversement, si N est solution de lquation intgrale (5.58), alors
p = DeN
est solution de lquation de Helmholtz lintrieur et lextrieur et vrifie la condition de
radiation de Sommerfled linfini.
eik|x|
2ik
est la solution lmentaire de lquation de Helmholtz 1D, i.e. :
ek (x) =
(ek + k 2 ek ) =
dans D (R)
et qui vrifie la condition de radiation (5.78), alors daprs la formule des sauts 1D, on a
(u + k 2 u) = +
dans D (R)
avec
= u(0) u(0+)
= u(0) u (0+)
On en dduit
u = ek ( + ) = ek + ek
1
ln(|x y|)
2
Limage peut tre parcourue plusieurs fois, do la notion dindice dun point z par rapport au
chemin :
1
d
(5.79)
Ind (z) =
2i z
Cest une fonction valeurs entires dans = C \ qui est constante sur chaque composante
connexe de et qui est nulle sur la composante connexe non borne de . Cest le nombre de
tours autour de z queffectue le point (t) quand t varie de . Le lecteur fera le lien avec le
thorme de Gauss en dimension 3 (voir plus bas).
Rappelons que lintgrale sur la courbe (qui intervient dans la formule de reprsentation
intgrale) est dfinie par
f (z)d(z) =
f ((t))| (t)|dt
Considrons le cas particulier o est le cercle unit. i est le disque unit ouvert. Soit u
une fonction harmonique dans i continue dans i . La formule de reprsentation intgrale dit
que
2
u
1 2
1
ln r 2r cos( t) + 1
(1, t)dt
u(r, ) =
2 0 2
r
(5.80)
2
1
r cos( t)
+
u(1, t)dt
2
2 0 r 2r cos( t) + 1
pour tout x i (r < 1). Mais dans ce cas, en dveloppant u en srie de Fourier par rapport
, la relation entre u et sa drive normale est explicite. En effet, si lon crit en coordonnes
polaires
u(1, ) =
u0n ein
nZ
un (r)ein
pour r 1
nZ
+
n=1
(z n + z n ) =
r |n| ein =
nZ
1 r2
r 2 2r cos + 1
pour r < 1,
(5.83)
avec
(t)
| (t)|
le vecteur tangent unitaire (n = n1 + in2 et = n2 + in1 ). En effet, notons I le membre de
gauche de la formule (5.82).
1
u((t))
I=
(t)| (t)|dt
2i (t) z
=
Page 206/275
or
(t) z
1
=
(t) z
|(t) z|2
En dveloppant les calculs, on trouve (en mlangeant notations vectorielles et complexes) :
((t) z) (t) = ( z) + i( z) n
avec = (t). Do
1
I=
2i
z
z
u()
() + i
n() d()
| z|2
| z|2
En remarquant que
ln | z| =
z
| z|2
lexpression devient :
1
1
(ln | z|) u()d() +
(ln | z|) u()d()
I=
2i
2 n
I1
I2
On reconnat dans I2 le potentiel de double couche. En intgrant par partie et en utilisant (5.83)
I1 devient :
1
1
u
u
I1 =
ln | z| ()d() =
ln | z| ()d()
2i
2
n
Do le rsultat.
p(x) =
1 si x i
0 si x e
4 si x i
2 si x
d(y) =
|x y|
ny
0 si x e
On retrouve le thorme de Gauss de langle solide. En effet, langle solide sous lequel on voit
= n(y)d(y) depuis x est :
llment de surface oriente d
d(x, y) =
1
u d
r2
Page 207/275
o r est la distance entre x et llment daire, u le vecteur unitaire port par la droite joignant x
llment daire :
yx
u =
|y x|
Au signe prs, cest laire de la portion de la sphre unit intersecte par le cne de sommet x
qui sappuie sur llment daire.
(y x) n(y)
1
d(x, y) =
d(y) =
d(y)
|y x|3
ny |x y|
est une surface oriente dans R3 , et x , langle solide sous lequel on voit depuis x est
donne
1
(x) =
d(y)
|x y|
ny
Le thorme de Gauss dit que langle solide sous lequel on voit une surface ferme est 4 (i.e.
tout lespace) si on est lintrieur et 0 si lon se trouve lextrieur.
Le lecteur a probablement vu ce rsultat en cours dlectrostatique avec un autre vocabulaire :
Soit une charge lectrique ponctuelle q positionne en x. La loi de Coulomb dit que son champ
lectrostatique est donn par
q u
E(y)
=
40 r 2
A partir de cette formule, le thorme de Gauss dit que le flux lectrostatique sortant dune
surface ferme est gal q/0 si x est lintrieur et 0 si x est lextrieur. Gauss en a dduit
une gnralisation de la loi de Coulomb :
=
div E
0
o est la densit volumique de charge.
(y)dS(y)
u(y)dS(y)
u(x) =
4|x y|
S 4|x y| n
S ny
1
1
u
(y)dS(y) +
u(y)dS(y)
=
4 S n
42 S
Page 208/275
1
u(x) =
aire(S )
u(y)dS(y)
S
do le rsultat.
eik|x|
= Er (x) + iEi (x)
4|x|
( + k 2 )Ei = 0
dans D (R3 )
k
er n ik
=
dSR (y)
4R SR
4r
4r 2
R
4r
avec r = |y|, y = rer . Quand R , x tant fix, on a le dveloppement :
r = |(y x) + x|
1/2
= R2 + 2x (y x) + |x|2
1/2
|x|2
x
yx
la normale SR
= R 1+2 + 2
avec =
R R
|y x|
1
= R+x+O
R
Page 209/275
On a aussi
Un changement de variable nous ramne intgrer sur S la sphre unit centre lorigine
(dSR (y) = R2 dS())
cos k(R + x ) i sin k(R + x ) dS() + O
S
1
1
ikx
e
dS()
+
O
= k
(4)2 S
R
eikR
Ei (x) = k
(4)2
1
R
eikx ()dS()
A (x) =
4 S
A est un oprateur continu de L2 (S) dans L2 (), cest ladjoint de loprateur de champ lointain
1
eikx (x)d(x)
A() =
4
vu plus haut. La partie imaginaire Si de S scrit alors :
sin(k|x y|)
(y)d(y)
Si (x) =
4|x y|
1
1
= k
eik(xy) dS() (y)d(y)
4 4 S
1
1
ikx
iky
= k
e
e
(y)d(y) dS()
4 S
4
soit
Si = kA A
Si est ainsi un oprateur positif. Nous verrons limportance dune telle factorisation dans le
paragraphe 6.3 consacr la mthode des multiples rapides.
|| = 1
ik(r+y)
ikx
e
1 yx
e
n(y) d(y) =
ik n(y) ik
si x
4r
r
r
2
0
si x e
avec r = |x y|.
dans i
1
i
D
avec uD
n H0 ( ). kn forme une suite qui tend vers linfini, et les u n forment une base or2
D
thogonale de L (). Les sous-espaces propres associs En sont de dimension finie (daprs
lalternatie de Fredholm). Notons
uD
n
=
D
n
n
On a
0
0
I
=
+H
2
D
D
n
n
et
0
0
0
I
= +H
2
D
n
Autrement dit :
SD
n = 0
(5.85)
et
I
+ D D
n = 0
2
(5.86)
Dmontrons que
(5.87)
I
uD
n
ker(S) = ker + D = D
n =
2
n
avec
uD
n
EnD
En effet, si S = 0, la fonction
p = S
Page 211/275
+D =0
2
alors la fonction
p = S
=
I
pe
= +D =0
n
2
e
Do p = 0 dans daprs lunicit de la solution du problme de Neumann extrieur. On en
dduit que
S = 0
vrifie
Do le rsultat.
Le lecteur vrifiera, quen faisant le mme raisonnement sur les modes propres du problme de
Neumann intrieur que :
+
,
I
N
N
(5.88)
+ D = N
ker(N) = ker
avec uN
n = (un )|
n En
2
o EnN est un sous-espace propre du problme de Neumann intrieur.
Problmes dans le demi-espace : lors de la rsolution dun problme aux limites autour dun
obstacle i de frontire borne, on est souvent amen prendre en compte la prsence du
sol quon reprsente par un plan infini P (penser un problme dacoustique automobile).
La frontire du domaine o lon rsout lEDP est ainsi P . Supposons que sur P , on
impose une condition de Dirichlet ou Neumann homogne. Lutilisation de la fonction de
Green dans le demi-espace vrifiant la condition aux limites homogne de Dirichlet ou
de Neumann sur le plan P permet de reprsenter la solution du problme par les mmes
formules que plus haut, avec la nouvelle fonction de Green, faisant intervenir uniquement
des intgrales sur . Lutilisation de ces fonctions de Green permet galement de rduire la
rsolution de lquation intgrale sur un objet symtrique deux problmes sur la moiti
de lobjet. Le lecteur calculera en exercice les fonctions de Green du demi-espace avec
conditions de Dirichlet et Neumann (on pensera au miroir plan).
Conditions aux limites sur born : En rsolvant, numriquement ou analytiquement quand
cela est possible, le problme aux limites avec une source lmentaire en un point y, on
peut utiliser cette solution pour reprsenter en y la solution pour tout second membre de
la condition aux limites. Nous ferons dans le paragraphe suivant les calculs pour le cas
particulier de la condition de Dirichlet.
Milieux priodiques : par exemple les antennes rseaux. En utilisant la fonction de Green priodique, on peut se ramener une formule de reprsentation intgrale sur la frontire
dune cellule lmentaire de priodicit.
Cas particuliers : dans beaucoup de cas particuliers dEDP ou de conditions aux limites, on ne
dispose pas dune expression explicite de la fonction de Green. Nanmoins, il peut savrer
intressant de la calculer numriquement, et la stocker/tabuler pour lutiliser ensuite dans
un code dquation intgrale.
( + k 2 )U(xs , x) = (x xs ) dans e
U(xs , x) = 0
sur
(5.89)
U(xs , x) est la fonction de Green de lquation de Helmholtz dans e nulle sur et vrifiant la
condition de radiation linfini.
Comme nous lavons mentionn au 5.4, ce problme se met sous la forme dun problme de
diffraction dune onde incidente, solution des quations avec second membre dans tout lespace :
( + k 2 )U in (xs , x) = (x xs ) dans R3
U in (xs , x) vrifie la condition de radiation de Sommerfeld
Page 213/275
eik|xsx|
4|xs x|
U in (xs , x) est londe incidente dans notre problme, londe diffracte U d (xs , x) = U(xs , x)
U in (xs , x) vrifiant :
( + k 2 )U d (xs , x) = 0
dans e
Daprs les rsultats dmontrs au 3.4, ce problme admet une solution unique.
Soient xs et xs deux points distincts dans e . Nous dmontrons que
U(xs , xs ) = U(xs , xs )
(5.90)
s
SR S(xs ,)S(xs ,)
o est la normale sortante e,R sur ses diffrentes frontires.
Lintgrale sur est nulle cause des conditions aux limites.
Avec les mme arguments que ceux du thorme de reprsentation intgrale, lintgrale sur
SR tend vers 0 car lintgrant est en 1/R3 .
Pour tudier lintgrale sur S(xs , ), remarquons que U(xs , x) est rgulier sur S(xs , ) et que
U(xs , x) = G(xs , x) + U d (xs , x) o U d (xs , x) est rgulier, et
G
eik
1
(xs , x) =
ik +
pour x S(xs , )
4
Enfin, rappelons que llment daire sur S(xs , ) est dSxs = 2 dSxs , dSxs tant llment daire
de la sphre unit centre en xs . Lintgrale de termes en 1/ sur S(xs , ) tend vers 0.
Lintgrale sur S(xs , ) est la somme de deux termes, le premier tend vers U in (xs , x), en
effet :
1
1
U
+O
(xs , x)U(xs , x)dSxs (x) =
(U(xs , xs ) + O()) dSxs (x)
2
S(xs ,)
S(xs ,)
= U(xs , xs ) + O()
Le deuxime terme tend vers 0, en effet :
U
1
4
S(xs ,)
S(xs ,)
= O()
Page 214/275
R2
x
|x|2
Si on note A et A les points dabscisse x et x respectivement. La sphre SR est le lieu des points
M (dabscisse y) tel que
OA
R
MA
=
=
MA
R
OA
Dans ce cas particulier, la fonction de Green scrit
U(x, y) =
(5.91)
1
R
1
Notons que cette formule donne explicitement la solution du problme de Dirichlet extrieur en
fonction de U.
En effet, soit x e , on considre > 0 suffisamment petit pour que la boule B(x, ) e ,
et R > 0 suffisamment grand pour que B(0, R). On note e,R = (e B(0, R)) \ B(x, ),
et on intgre par partie
2
2
I=
(U(xs , x) + k U(xs , x))u(x) U(xs , x)(u(x) + k u(x)) dx
e,R
On trouve :
0=
SR S(xs ,)
u
U
(xs , x)u(x) U(xs , x) (x) dS(x)
Page 215/275
Comme plus haut, les termes sur SR tendent vers 0 quand R tend vers linfini, et les termes sur
S(xs , ) tendent vers u(x). Enfin, lun des termes sur est nul cause de la condition aux limites
sur U, le second est :
U
(xs , x)u(x)d(x)
n
do la formule.
u(x) =
U
(x, y)u(y)d(y)
ny
x e
u solution du problme de Dirichlet extrieur avec donne u 0 sur le bord est donne explicitement
par cette formule, en substituant u 0 u dans lintgrale.
Dans le cas particulier de lquation de Laplace, en utilisant la fonction de Green (5.91), on
retrouve en dveloppant les calculs la formule de Poisson :
R
u(r, , ) =
4
r 2 R2
(r 2
R2
2rR cos )
3/2
u(R, , ) sin d d
:
o est langle AOM
cos = sin sin cos( ) + cos cos
pour toute fonction test t dans un espace dterminer. Nous avons vu au chapitre 3 que dans
i la solution variationnelle de lquation de Helmholtz est dans H 1 (i ) et lextrieur dans
H 1 (e BR ) pour toute boule de rayonn R assez grand (pour contenir i ). grad p est dans
H(div) de part et dautre de . Par consquent, qui est le saut de la drive normale de p
1
1
devrait tre dans H 2 (). Il nous faut alors donner un sens S pour H 2 () alors que
Page 216/275
dans les paragraphes prcdents, nous avons travaill avec des champs rguliers. Il faut donner
un sens la forme sesquilinaire
eik|xy|
t
(y)t (x)d(y)d(x)
S(x) (x)d(x) =
4|x
y|
Grce la nouvelle formule (5.37), on a aprs intgration par partie (cf. formule (A.36)) :
t
2
t
S(rot )(x) rot (x)d(x) + k
S(n)(x) n (x)d(x) = g(x)t (x)d(x)
soit
= g(x)t (x)d(x)
tant un saut de pression, lespace serait naturellement H 2 (). Remarquons que si nous d1
1
montrons que S est continu de H 2 () dans H 2 (), la forme sesquilinaire N, t sera continue. Il est donc essentiel de bien tudier loprateur S.
En fait, nous pouvons gnraliser la dfinition des distributions de simple et double couche
des densits dans les espace de Sobolev, et dfinir les potentiels comme le rsultat de la convolution de la solution lmentaire E avec ces distributions. Nous avons choisi de dfinir ces oprateurs comme les solutions de problmes de transmission, et grce aux intgrales de volume
obtenir des estimations de la norme de ces oprateurs.
Dans les dmonstrations qui vont suivre, nous allons supposer que k est complexe avec une
partie imaginaire strictement positive. Ceci simplifiera ltude en rendant le problme coercif et
fournira un contrle facile de la norme de la solution. Le cas k rel est plus dlicat.
Ces estimations pour k complexe peuvent servir ltude du problme temporel par application du thorme de Paley-Wiener.
Pour commencer, introduisons des normes de Sobolev dpendant de la frquence, quivalentes aux normes classiques frquence fixe.
Dans ce qui suit, k R + ikI avec kI > 0 fix.
Page 217/275
Cette dfinition suppose que les coordonnes sont adimensionnes. Si x est une variable despace homogne une longueur, le deuxime terme a la dimension du premier divise par une
longueur au carr. Pour rendre cette dfinition cohrente, il faudrait pondrer le deuxime terme
par exemple par 1/|k|2, le nombre donde tant homogne linverse dune longueur. Posons :
1
2
2
|u(x)| dx + 2
|u(x)|2 dx
u1,|k|, =
|k|
en
s
||2
=
u()|2d
1 + 2 |
|k|
Rd
u2s,|k|,Rd
On peut reprciser les ingalits de trace et de relvement. Si lon note 0 lapplication trace de
1
H 1 () dans H 2 (), on peut dmontrer quil existe une constante C(, k I ) > 0 telle que
1
(5.93)
u H 1 ()
(5.94)
De mme, les champs de vecteurs dans lespace de Hilbert H(div, ), i.e. espace des champs
de vecteurs dans L2 ()3 divergence dans L2 (), ont une trace normale n (v ) = v n dans
1
H 2 () et on a
(5.95)
v H(div, )
Cette application trace est surjective, et pour tout g H 2 (), il existe v H(div, ) tel que
n (v) = g et
(5.96)
Page 218/275
H 2 () et on a
12
1
1 ,|k|, C(, kI )|k| 2 |k|2 |p|2L2 () + |p|2L2 ()
(5.97)
Remarquons que cette dfinition ne dpend pas du relvement choisi. Lingalit de CauchySchwarz donne
|, q0 | |p|L2 () |q|L2 () + |p|L2 () |q|L2 ()
12
2
2
2
|p|L2 () + |k| |p|L2 () q1,|k|,
C(, kI )|k|
21
12
2
2
2
|p|L2 () + |k| |p|L2 () q0 1 ,|k|,
2
do le rsultat.
1
( + k 2 )p = 0 dans D (i e )
[p] = 0 sur
(5.98)
$
#
= sur
n
De plus, p dpend continment de et on a
(5.99)
(5.100)
On a le rsultat de coercivit :
e + 1 ikS, 1 C(, kI )|k|1 2 1 ,|k|,
(5.101)
t H 2 ()
1 =+ 1 ikp0 , t 1
2
p(x)
q (x)dx k
a(p, q) = ik
R3
p(x)
q (x)dx
R3
12 , 0 (q)+ 21
Page 220/275
Daprs le lemme de Lax-Milgram, le problme variationnel (5.102) admet une solution unique
qui de plus vrifie
1
pV C(, kI )|k| 2 1 ,|k|,
2
et donc
avec
1
1
N = g H 2 ()
ik
1
[div w]
ik
Page 221/275
H 2 () et on a
(5.103)
12
3
2L2 () + |k|2| div w|
1 ,|k|, C(, kI )|k| 2 | div w|
2L2 ()
2
Dmonstration. Cest galement une trace par dualit. Soit g H 2 (), il existe un relvement
v H(div, ) (donc dans H(div, R3 )) tel que
1
Remarquons que cette dfinition ne dpend pas du relvement choisi. Lingalit de CauchySchwarz donne
L2 ()3 |v|L2 () + | div w|
L2 () | div v |L2 ()
k| 1 , g 1 | | div w|
2
2
12
12
1
| div w|
2L2 ()3 + |k|2| div w|
L2 ()
|v|2L2 () + 2 | div v|2L2 ()
|k|
12
| div w|
2L2 ()3 + |k|2| div w|
L2 () vdiv,|k|,
12
1
C(, kI )|k| 2 | div w|
L2 () g 1 ,|k|,
2L2 ()3 + |k|2 | div w|
2
do le rsultat.
1
div w
ik w
= 0 dans D (i e )
ik
[w
n] = 0 sur
(5.104)
[div w]
= sur
ik
Cette solution sexprime en fonction de loprateur de simple couche
1
2
w
=
rot S(rot ) k S(n)
ik
w
dpend continuement de et on a
(5.105)
w
div,|k|,R3 C(, kI )|k| 2 1 ,|k|,
2
Notons N loprateur
N : ikn (w)
Page 222/275
On a le rsultat de coercivit :
(5.107)
e + 1
2
1
N, 1 C(, kI )|k|1 21 ,|k|,
2
2
ik
1
1
N, t 1
2
ik
t H 2 ()
|a(w,
v)| |k| w
V vV
2V
e a(w,
w)
= kI w
Page 223/275
Daprs le lemme de Lax-Milgram, le problme variationnel (5.102) admet une solution unique
qui de plus vrifie
1
w
V C(, kI )|k| 2 1 ,|k|,
2
1
w)
N, 1 = e a(w,
2
ik
on trouve
En utilisant lingalit (5.103) avec div w
= k 2 w,
21 ,|k|, C(, kI )|k| w
2V
2
do
e + 1
2
1
N, 1 C(, kI )|k|1 21 ,|k|,
2
2
ik
do le rsultat de coercivit.
Page 224/275
Chapitre 6
Mthode des lments finis de frontire
6.1 Introduction
Dans ce chapitre, nous tudions sur un cas simple lapproximation des quations intgrales
par la mthode des lments finis de frontire, par opposition la mthode des lments finis
de volume qui sintresse lEDP. Dans la littrature anglo-saxonne, cette mthode est souvent
dsigne par son acronyme BEM pour Boundary Element Method.
Au lieu de discrtiser directement lEDP, on discrtise une quation intgrale dont la solution
permet de remonter la solution de lEDP grce la formule de reprsentation intgrale. Partant
de la formulation variationnelle de lquation intgrale, faisant intervenir des intgrales doubles
(surface-surface), lapproximation de lespace variationnel par un espace discret dlments finis
de frontire conduit un systme linaire avec une matrice pleine complexe, souvent symtrique.
Ceci dtermine les densits (par exemple les sauts de pression et vitesse normale en acoustique)
qui permettent dans un deuxime temps de dduire le champ en nimporte quel point de lespace
grce la formule de reprsentation intgrale.
Cette mthode est connue pour sa grande prcision. En effet, la reprsentation intgrale base
sur le modle discrtis, vrifie exactement lEDP (sous rserve de bien calculer les intgrales
qui interviennent dans les formules) et la condition de radiation linfini : cest dans le noyau de
Green ! Lerreur de discrtisation provient dune part de lapproximation de la gomtrie, dautre
part de celle de la condition aux limites, qui est vrifie au sens faible. Notons quindustriellement, ltape de prparation des donnes de calcul est trs lourde et consommatrice en temps
ingnieur. La simplification de ltape de maillage (de surface plutt que de volume), ds quil
sagit dobjet industriels complexes, est un autre intrt pratique de la mthode. Le maillage doit
bien approcher la vraie gomtrie tout en respectant la longueur donde. Pour des applications
o lon sintresse au champ lointain, un pas de maillage de lordre du cinquime de la longueur
donde suffit en gnral. On trouve dans la littrature une autre approximation des quations intgrales par la mthode de collocation. Elle a t populaire chez les ingnieurs, car elle conduit
une intgration approche assez simple mettre en uvre informatiquement, et de plus lassemblage de la matrice ne faisant pas intervenir dintgrale double (provenant dune intgration
avec un point de Gauss) est plus rapide quavec une mthode variationnelle et un calcul prPage 225/275
cautionneux de ces intgrales. Ceci se fait au dtriment de la prcision. On est souvent oblig
de surmailler pour atteindre une bonne prcision. Or ltape dassemblage de la matrice a une
complexit en O(N 2 ), o N est le nombre dinconnues, et ltape de rsolution par mthode
directe est en O(N 3 ). Pour des problmes pratiques, ltape dimensionnante est ltape de rsolution du systme linaire. Pour un nombre dinconnues grandissant, la rsolution directe nest
plus possible, mme avec les plus gros ordinateurs. Nous prsentons la mthode des multiples
rapides qui permet de rsoudre le systme par mthode itrative, rclamant chaque itration
de savoir calculer le produit matrice fois vecteur. Cette mthode permet de calculer une bonne
approximation de ce produit sans jamais assembler toute la matrice et avec une complexit en
O(N ln N) au lieu de O(N 2 ). Cette mthode dveloppe rcemment est en train de simposer
dans lindustrie avec lextension croissante de son domaine dapplications.
t V
avec V = H 2 (),
s(, t ) =+ 1 S, t 1
2
et
P0 (t ) =+ 1 p0 , t 1
2
Lapproximation par lments finis de frontire consiste dabord approcher la surface par un
maillage Th en triangle par exemple. On note h la surface approche. Ce maillage vrifie
les proprits habituelles (sur lintersection de deux triangles, la qualit des lments. . . ). Pour
esprer avoir des rsultats raisonnable, il faut que la taille h des lments soit plus petite que la
longueur donde. Pour la plupart des applications, notamment celle o lon sintresse au champ
lointain, une taille de triangles infrieure au cinquime de la longueur donde est suffisante. Le
nombre de triangle crot donc comme le carr de la frquence.
On approche ensuite lespace variationnel V par lespace
Vh0 = {h = i sur le triangle Ti , Ti Th }
Page 226/275
i (x) =
1
sur le triangle Ti
aire(Ti )
0
ailleurs
N
hi i (x)
i=1
th Vh
o
sh (h , th )
=
h h
et
P0,h (th )
=
h
t
p6
0,h (x)h (x)dh (x)
p6
0,h tant obtenu laide de loprateur de linterpolation. En gnral, p 0 est la trace dune
onde incidente, par exemple une onde plane. On prend alors pour p6
0,h , la trace de celle-ci sur
le maillage.
Notons S h la matrice N N suivante :
1
eik|xy|
1
h
dTj (y)dTi (x)
Si,j = sh (j , i) =
aire(Ti ) aire(Tj ) Ti Tj 4|x y|
S h est une matrice pleine complexe symtrique (non hermitienne).
Notons P0h le vecteur de coordonnes
1
h
P0,i =
p6
0,h (x)dTi (x)
aire(Ti ) Ti
Le problme discret est quivalent rsoudre le systme
(6.1)
S h h = P0h
Page 227/275
N
j=1
hj
1
aire(Tj )
G(x, y)dTj (y)
Tj
et que les intgrales sur les triangles Tj sont calcules par des formules approches.
G(xs , x)dTi (x)
Ti
1
aire(Tj )
G(x, y)dTj (y)
Tj
(hxs )(Gxs ) = t (Gxs )(S h )1 (Gxs ) = t (Gxs )(S h )1 (Gxs ) = t (hxs )(Gxs )
Principe de base La mthode multiple rapide permet de raliser de manire conomique des
produits matrice-vecteur.
On se donne donc un vecteur h = (hi )1iN reprsentant la fonction
0
h
h (x) = 1jN j j (x), et on cherche calculer le produit S h h dont la i-ime coordonne
scrit :
h
(S )i =
(6.2)
Lide de base de la mthode multiple est de tenter de sparer les variables x et y afin de pouvoir sparer les deux intgrales. Pour cela, il nous faut rcrire le noyau de Green diffremment.
Cette rcriture dterminera la forme que prendront les fonctions manipules par la FMM.
Simplification des termes matriciels Pour des quations intgrales plus compliques, on pourra
toujours se ramener calculer des expressions de la forme :
G(x, y)f (x)g(y)dh(x)dh (y)
(6.3)
h
M1
M2
y
=
xy
xM1 + M1 M2 + M2 y
On souhaiterait donc dcomposer le noyau de Green G(x, y) de la mme manire. Le thorme daddition de Gegenbauer permet de faire cela. Prcisons tout dabord quelques notations :
on dsigne par S la sphre unit de R3 , par s un point gnrique de S, par Pl le polynme de
(1)
Legendre de rang l, et par hl la fonction de Hankel sphrique du premier type de rang l. On a
alors la dcomposition suivante pour le noyau de Green :
ik
L
(6.4)
G(x, y) =
lim
eiks.xM1 TM
s)eiks.M2 y ds
M2 (
2
1
L+
16
sS
Page 230/275
o
L
TM
s) =
(
1 M2
(6.5)
(1)
(2l + 1)il hl (k.|M1M2 |)Pl (cos(s, M1M2 ))
0lL
Tchons dinterprter la formule (6.4). Elle comporte trois termes : le terme e iks.xM1 transporte linformation du point source x au point M 1 . Le terme TM1M2 (s) assure le transfert de
linformation entre M1 et M2 . Enfin, le terme eiks.M2 y transporte linformation jusquau point
destination y. On voit que dans cette formule, les variables x et y sont bien spares. La fonction
(6.5) sappelle fonction de transfert.
x1
x1
y1
y2
x2
M2
M1
x3
y3
(a) Sans la FMM
y1
y2
x2
M1
M2
x3
y3
(b) Avec la FMM
C
M
C
M
Page 232/275
(6.6)
xh C
yh C
xh C
sS
(6.7)
yh
C
sS
#
L
s)
TM
M (
$
iks.xM
e
xh C
f (x)dh (x)
FC ne dpend que du courant f , de la cellule C et de son centre M. Elle reprsente linfluence du domaine h C sur lextrieur. FC sera parfois appele fonction dmission
de C. Dune manire gnrale, les fonctions dfinies sur S comme FC seront appeles
fonctions de radiation.
L
Transfert : on multiplie la fonction FC par la fonction de transfert TM
M . Le produit rsultant
est toujours une fonction dfinie sur S, elle reprsente laction des courants f ports par
h C au point M de lespace.
sS
(6.9)
,
r0 = MM
= xM
+ M y
r = xy
MM
|r0 |
5
(6.10)
on peut se contenter de prendre L = k|r| termes dans la somme de la srie (6.5) pour obtenir
la convergence (La notation L = k|r| est un raccourci pour L = !k|r|" o !x" dsigne la
partie entire de x). Dans la pratique, cette valeur de L savre convenable pour des valeurs de
a suprieure 2, mais conduit une FMM peu prcise en dessous. Pour une mthode prcise
103 (i.e. un cart relatif de 103 entre les produits matrice-vecteur classiques et multiples), on
peut prendre les valeurs prsentes dans la table 6.1.
a
/4
/2
L
8
12
20
32
(6.11)
3a
|r0 |
5
. 3a 1, 9a
2
Cette condition exclut toutes les cellules C ayant une face, une arte
ou un sommet en com
mun avec C, puisquon a alors |r0 |/a qui vaut 1 dans le premier cas, 2 dans le second et 3
dans le troisime. Bien sr C = C est galement exclu.
On qualifiera dsormais de voisines deux cellules ayant au moins un sommet commun. On
vient donc de voir que :
Si C et C ne sont pas voisines, la srie (6.5) peut tre tronque au rang L = k|r|. On peut
alors calculer linteraction entre h C et h C partir de (6.7).
Page 234/275
Les fonctions L de S ont une base naturelle qui est celle des harmoniques sphriques, note :
2
(Yl,m)l0, lml
La fonction TrL0 appartient lespace engendr par les harmoniques de rang l L : on dit
quelle est de largeur de bande L.
Or le terme eiks.r se dveloppe en srie :
(1)
(6.12)
eiks.r =
(2l + 1)il jl (k.|r|)Pl (cos(s, r))
l0
De la mme manire que lon arrte la somme de la fonction de transfert TrL0 au rang L, on
dmontre que la srie eiks.r peut tre tronque au rang L avec une erreur du mme ordre. On
dduit du rsultat prcdent que la fonction intgre TrL0 eiks.r est de largeur de bande 2L, cest
dire quelle peut scrire :
eiks.r TrL0 (s) =
Al,m Yl,m (s)
lml
0l2L
Il nous faut trouver des points de quadrature sp et des poids p qui intgrent exactement les
harmoniques sphriques Yl,m(, ) avec 0 l 2L et l m l.
Le choix le plus simple est de prendre pour points dintgration une distribution uniforme sur
et sur :
i = i + 1/2
0 i 2L,
2L + 1
j = 2 j
0 j 2L
2L + 1
associs aux poids dintgration adquats.
Le choix fait ici nest pas optimal, mais il est le plus simple implmenter, et est suffisant en
premire approche.
Rcapitulatif On a dsormais tous les lments pour raliser un produit matrice-vecteur multiple un niveau. On se donne un courant surfacique t en entre, et un dcoupage de h travers
une grille. Le produit S h h se ralise en deux parties :
Page 235/275
xh C
yh C
f est lune des composantes de t, ou bien divh (t). j reprsente lexpression correspondante pour j . Le rsultat de cette intgration constitue la partie interaction proche de la
j-ime composante du vecteur S h h .
avant de les fusionner. Dans lalgorithme FFT, on procde de la mme manire. A chaque fois,
lopration (tri dans le premier cas, Fourier dans le second) effectue sur chaque demi-ensemble
rend triviale la mme opration effectue sur lensemble tout entier.
Dans notre cas, on a aussi une proprit de ce type : si on divise une cellule C centre en M
en deux cellules C1 centre en M1 et C2 centre en M2 , on a la relation suivante entre fonctions
de radiation dfinies par lquation (6.8) :
C
M
C
M
On dfinit une structure hirarchique sapparentant un arbre entre ces deux grilles. Le niveau
0 est le haut de larbre, le niveau 1 le bas de larbre. Les cellules du niveau 1 issues de la division
dune cellule du niveau 0 sont appels enfants de cette cellule. La relation inverse dfinit le
parent dune cellule. Ce type de lien est illustr par des flches sur la figure 6.10. En trois
dimensions, chaque cellule du niveau 0 a au plus huit enfants (on ne garde que les cellules ayant
une intersection non-vide avec h ), et chaque cellule du niveau 1 a exactement un parent.
Pour circuler au sein de cet arbre, dfinissons quelques notations. On indique le niveau dune
cellule par un exposant entre parenthse ct du nom de cette cellule : C (0) ou C (1) . On note
p(C) le parent dune cellule, et e(C) lensemble des enfants dune cellule. Enfin, on qualifie de
voisines deux cellules ayant au moins un sommet en commun et se trouvant au mme niveau de
larbre. On conserve la notation v(C) pour dsigner lensemble des cellules voisines de C.
Page 238/275
Niveau 0
Parent
Enfant
Niveau 1
Quelles interactions quel niveau ? Avec deux grilles, on a potentiellement deux mthodes
multiple, une au niveau 0, lautre au niveau 1. Essayons de voir quand utiliser chacune des deux.
On se donne une cellule C (1) ainsi quune fonction de base j localise dans C (1) . Sur la
figure 6.11, on a reprsent en gris fonc la cellule C (1) ainsi que son parent p(C (1) ). En gris
clair, on a leurs voisins respectifs. On a galement reprsent par des points pais sur chacun des
deux niveaux quatre degrs de libert sur h , dont le numro j localis dans C (1) .
De manire schmatique, pour un niveau donn, cette zone gris clair reprsente la portion
du maillage qui ne peut pas interagir en mode multiple avec la fonction de base j localise
dans la cellule gris fonc (cf. section 6.3.1). Evidemment, la zone blanche contient la portion du
maillage qui peut interagir en mode multiple avec j .
Niveau 0
2
Niveau 1
1
2
Pour traiter linteraction dun degr de libert donn avec le degr de libert j, trois cas de
figure se prsentent. Ils sont reprsents sur la figure 6.11.
Linteraction entre le dl 1 et le dl j ne peut se faire en mode multiple ni au niveau 0, ni au
niveau 1. On est oblig de la traiter en mode proche.
Page 239/275
Banlieues de C
Distantes de C
Comme on le voit sur la figure 6.12, les cellules du niveau 1 sont partages en trois sousensembles qui sont (des plus proches aux plus loignes de C) :
Les voisines de C, nots v(C), contenant C elle-mme ;
Les banlieues de C, notes b(C) ;
Les cellules distantes de C, notes d(C), qui sont les cellules restantes..
Compte tenu de la dfinition de v(C) et de b(C), on peut crire :
(6.17)
Page 240/275
Page 241/275
yh C (1)
Chacun des trois sous-ensembles identifis sur les figures 6.12 et 6.13 va tre trait sparment.
Les cellules voisines
Comme dans le cas mono-niveau, on traite tout dabord linteraction de C (1) avec ses voisines
via un produit matrice-vecteur classique. Le terme correspondant scrit :
G(x, y)h (x)j (y)dh(x)dh (y)
C (1) v(C (1) )
xh C (1)
yh C (1)
xh C (1)
yh C (1)
sS
eiks.M y
yh C (1)
C (1) b(C (1) )
(1)
L
TM
s)
M (
xh C (1)
eiks.xM h (x)dh (x) j (y)dh(y)ds
xh C (0)
(1) ))
C (0) v(p(C
/
On utilise la dcomposition du noyau (6.4) crite au niveau 0 entre C (0) centre en M (0) et
C (0) (parent de C (1) ) centre en M (0) . On obtient :
(6.18)
(0)
(0)
(0)
eiks.M y
T L (0) (0) (s)
eiks.xM h (x)dh (x) j (y)dh (y)ds
sS
yh C (1)
(1) ))
C (0) v(p(C
/
xh C (0)
On retrouve les trois tapes de la mthode multiple au niveau 0, que lon va lgrement
adapter :
/ v(p(C (1) )). On va utiliser
1. Initialisation des fonctions de radiation pour les cellules C (0)
la formule suivante :
iks.xM (0)
iks.M (1)M (0)
iks.xM (1)
e
h (x)dh (x) =
e
e
h (x)dh (x)
xh C (0)
xh C (1)
FC (0) (s) =
(6.19)
eiks.M
(1)M (0)
FC (1) (s)
On va donc dabord initialiser les fonctions de radiation F C (1) au niveau 1, puis utiliser
(6.19) pour remonter au niveau 0 et calculer FC (0) .
2. Transfert de ces fonctions vers p(C (1) ). Ces transferts ont lieu au niveau 0.
3. Intgration du rsultat. On note GC (0) le terme entre crochets dans (6.18). Comme pour
linitialisation, on va dabord changer de niveau en crivant :
GC (1) (s) = eiks.M
(6.20)
(0)M (1)
GC (0) (s)
sS
GC (1) (s)eiks.M
(1) y
j (y)dsdh (y)
Page 243/275
F niveau 0
G niveau 0
2. Montee
1. Initialisation
4. Descente
5. Transfert
F niveau 1
6. Integration
G niveau 1
Synthse
Le traitement des cellules distantes et des cellules banlieues met en jeu des phases dinitialisation et dintgration au niveau 1 qui sont similaires, on va donc les mettre en commun. Mettant
de ct les interactions proches, on voit apparatre une mthode multiple bi-niveau en 6 tapes
prsentes figure 6.14.
1. Initialisation des fonctions de radiation F C (1) au niveau 1.
2. Monte : on calcule les fonctions de radiation F C (0) au niveau 0 en sommant les contributions des enfants avec (6.19).
3. Transfert au niveau 0 : on calcule les fonctions de radiation G C (0) sommant les contributions
des cellules non-voisines.
4. Descente : on calcule la premire partie de GC (1) en descendant la contribution du parent
avec (6.20).
5. Transfert au niveau 1 : on rajoute GC7
(1) la contribution des cellules banlieues. Ce rajout
est symbolis sur la figure 6.14 par le
6. Intgration au niveau 1 des fonctions G C (1) .
Monte et descente Difficults lies au changement de niveau
Lalgorithme multiple bi-niveau met jour deux nouveaux type doprations par rapport au
cas mono-niveau : les montes et les descentes. Dans lalgorithme continu, ces quations se rduisent un changement de centre, comme dans (6.19) et (6.20). Par exemple, une multiplication
(0) (1)
par eiks.M M transforme une fonction de radiation attache une cellule centre en M (0) en
fonction centre en M (1) . On appellera cette opration une translation, le vecteur de translation
tant bien sr M (0)M (1) ici.
Lorsquon passe de lalgorithme continu lalgorithme discret, on doit tenir compte du
nombre de ples aux niveaux 0 et 1, nots L(0) et L(1) . Ce nombre de ples est calcul partir du
pas du dcoupage, il dpend donc du niveau. Quelle que soit la manire choisie pour calculer
L,
on aura toujours L(0) > L(1) . Si on choisit dutiliser la formule simple L = kr (o r = 3a est
le diamtre dune cellule), alors L(0) sera le double de L(1) .
Si le changement de niveau saccompagne dun changement du nombre de ples, il saccompagne aussi dun changement de discrtisation de la sphre unit S. Cette dernire est choisie
pour pouvoir intgrer exactement les fonctions de largeur de bande 2L .
Page 244/275
(1)
On note (sk (0) , k ) et (sk (1) , k ) les quadratures respectivement des niveaux 0 et 1. On doit
donc tre capable de passer de lune lautre de ces quadratures de la manire la plus prcise
possible.
Extrapolation
(1)
(0)
On appelle extrapolation le passage de la grille (sk (1) , k ) la grille (sk (0) , k ). On oublie
provisoirement le changement de centre qui va normalement de pair avec le passage dune cellule
la cellule parent. Nous allons voir dans un premier temps lalgorithme basique pour raliser
cette opration, puis nous prsenterons lalgorithme rapide utilis dans notre implmentation
FMM.
Algorithme basique
dfinie par :
(6.21)
FC (1) (s) =
(1)
xh C (1)
On ne connat cette fonction que par ses valeurs sur la grille F C (1) (sk (1) ). On sait nanmoins
que cest une fonction de largeur de bande L(1) /2 ( une erreur prs). En effet, on a tronqu la
srie (6.12)
au rang L(1) dans le cas o r dfini par (6.9) vrifiait seulement la condition (6.11) :
|r| 3a (o a est larte du dcoupage au niveau considr). Ici le vecteur dans lexponentielle
(1) | 3a/2.
relie un point de C (1) son centre, donc il vrifie la condition plus restrictive : | xM
On peut alors tronquer la srie au rang L(1) /2 tout en conservant la mme erreur .
Partant de l, on peut crire FC (1) sous la forme :
Al,m Yl,m(s)
FC (1) (s) =
lml
0lL(1) /2
Pour calculer les coefficients Al,m , il suffit dutiliser lorthonormalit des harmoniques sphriques, qui permet dcrire :
(6.22)
Al,m =
FC (1) (s)Yl,m
(s)ds
sS
(6.23)
Al,m =
k FC (1) (sk (1) )Yl,m
(sk (1) )
sk (1)
Page 245/275
(6.24)
lml
0lL(1)
Sachant que FC (0) est de largeur de bande L(0) , cette quation revient complter les coefficients (Al,m ) par des zros pour L(1) < l L(0) . En insrant (6.23) dans (6.24), on obtient :
(6.25)
(1)
sk
lml
(0) (1)
(1)
0lL(1)
Cette opration est donc un simple produit matrice-vecteur, par une matrice dont le nombre
de colonnes est le nombre de points de quadrature au niveau 1, et dont le nombre de lignes est le
nombre de points de quadrature au niveau 0.
Cette matrice est plus simple quil ny parat, puisque le terme entre crochets peut scrire :
Yl,m
(sk (1) )Yl,m(sk (0) ) =
0lL(1)
lml
(6.26)
2l + 1
Pl (cos )
4
0lL(1)
L(1) + 1
(P (1) (cos ) PL(1) +1 (cos ))
4(1 cos ) L
o lon note langle que font les vecteurs unitaires sk (0) et sk (1) :
cos = sk (0) .sk (1)
La deuxime formule ci-dessus nest valable que si cos = 1. Le nombre doprations de
cette extrapolation est gal au produit des tailles des quadratures de S aux niveau 0 et 1, soit
environ 4(L(0) L(1) )2 avec notre discrtisation usuelle. Cette formulation de lextrapolation est la
plus simple implmenter, il existe une mthode pour acclrer ces calculs que lon ne prsentera
pas ici.
Rduction
(0)
(1)
On appelle rduction le passage de la grille (sk (0) , k ) la grille (sk (1) , k ). Comme pour
lextrapolation, on met entre parenthse le changement de centre qui va normalement de pair
avec le passage dune cellule une des cellules enfants.
Soit une cellule C (0) au niveau 0, et la fonction de radiation GC (0) dfinie par :
Page 246/275
GC (0) (s) =
(0)
T L (0)
(0) )
C (0) v(C
/
M (0)
On ne connat cette fonction que par ses valeurs sur la grille GC (0) (sk (0) ). On sait nanmoins
que cest une fonction de largeur de bande L(0) ( une erreur prs). En effet, la fonction de
(0)
transfert T L (0) (0) est de largeur de bande L(0) , donc on peut ngliger les harmoniques de rang
M M
suprieur.
Partant de l, on peut crire GC (0) sous la forme :
Al,m Yl,m(s)
GC (0) (s) =
lml
0lL(0)
Pour calculer les coefficients Al,m , il suffit dutiliser lorthonormalit des harmoniques sphriques, qui permet dcrire :
GC (0) (s)Yl,m
(s)ds
(6.27)
Al,m =
sS
La fonction calculer GC (1) tant amene a tre ajoute au rsultat des transferts au niveau 1
(de largeur de bande L(1) ) avant dtre intgre, seuls les coefficients Al,m avec 0 l L(1) nous
intressent. Sous cette condition, dans (6.27) la fonction sous le signe intgrale est de largeur de
bande maximale L(0) + L(1) < 2L(0) , donc notre quadrature au niveau 0 lintgre exactement :
(0)
(6.28)
Al,m =
k GC (0) (sk (0) )Yl,m
(sk (0) )
sk (0)
Une fois calculs les coefficients (Al,m ) pour l m l et 0 l L(1) , on peut calculer
GC (1) sur la grille du niveau 1 en crivant tout simplement :
(6.29)
lml
0lL(1)
Sachant que GC (0) est de largeur de bande L(0) , cette quation revient annuler les coefficients
(Al,m ) pour L(1) < l L(0) . En insrant (6.28) dans (6.29), on obtient :
(0)
sk
lml
(0)
(1) (0)
0lL(1)
Page 247/275
Cette opration est donc un produit matrice-vecteur par la matrice transpose de celle utilise
pour les montes.
Changement de centre
Le changement de niveau dans lalgorithme multiple associe toujours un changement de
quadrature de S et un changement de centre de radiation (On a choisit dappeler translation
lopration de changement de centre). Dans le cas dune monte, cela se voit dans (6.19). Pour
une descente, cest la formule (6.20). A chaque fois, on a la possibilit de faire la translation
avant ou aprs le changement de grille (extrapolation ou rduction).
Niveau 0
Niveau 1
Translation
Extrapolation
Somme
(1) (0)
FC (0) (s) =
C
eiks.M
(1)M (0)
enfant dans la seconde. Cette dernire est donc sensiblement plus lente. De mme, dans le cas
de la descente, on a intrt rduire la fonction de radiation du parent avant de la translater vers
chacun des enfants.
Algorithme deux niveaux Nous allons rcapituler tous les points voqus dans cette section,
et crire compltement lalgorithme multiple deux niveaux pour la formulation EFIE. On se
donne un courant surfacique scalaire h (x) en entre, et un dcoupage de h travers deux grilles
imbriques. Le produit S h h se ralise en deux parties :
Interactions proches : elles sont traites au niveau 1, exactement comme dans le cas mononiveau (cf. quation (6.13)).
Interactions Lointaines : le calcul se fait en six tapes.
1. Initialisation : pour toute cellule C (1) du niveau 1, on calcule la fonction de radiation
(1)
eiks.xM h (x)dh (x)
FC (1) (s) =
xC (1)
(0) )
C (0) v(C
/
(0)M (1)
GC (0) (s)
Niveau 0
Niveau 1
Niveau 2
Niveau 3
Racine
Niveau 0
Niveau 1
Feuilles
Niveau 2
Page 251/275
(a) Niveau 0
(b) Niveau 1
(c) Niveau 2
(d) Niveau 3
(e) Niveau 4
(f) Niveau 5
Page 252/275
le bas. On remonte dans larbre lorsque le numro de niveau dcrot, et inversement une
descente correspond une incrmentation du numro de niveau.
Enfants : on appelle toujours enfants de C, et lon note e(C) les cellules issues de la subdivision de C. Une cellule possde au plus huit enfants. Les feuilles nont pas denfant, les
autres cellules ont toujours au moins un enfant (sinon cela impliquerait que cette cellule
ne coupe pas h ).
Parent : cest bien sr la relation inverse. Toutes les cellules ont exactement un parent, sauf la
racine qui nen a pas. On note p(C) le parent de C.
Voisines : on appelle voisines de C toutes les cellules du mme niveau de larbre que C ayant au
moins un sommet en commun avec C. Le nombre de voisines dune cellule est toujours au
moins un (elle-mme), et au plus 333 = 27. Aux niveaux 0 et 1, toutes les cellules sont
voisines. Deux cellules situes des niveaux diffrents ne seront pas considres comme
voisines, mme si elles se touchent. On note v(C) lensemble des cellules voisines de C.
Banlieues : on appelle banlieues des cellules qui ne sont pas voisines mais dont les parents
respectifs le sont. Cette dfinition implique que deux cellules banlieues sont toujours au
mme niveau de larbre. Aux niveaux 0 et 1, aucune cellule nest banlieue (puisquelles
sont toutes voisines). Le nombre de banlieues peut tre zro, mais nexcde jamais 827
27 = 189. En effet, le parent de C a au plus 27 voisines, qui ont chacune au plus 8 enfants,
soit 8 27 candidats, parmi lesquels il faut ter les voisines de C, do le rsultat de
189 (cf. figure 6.19 sur laquelle pour simplifier on a conserv toutes les cellules). On note
b(C) lensemble des cellules banlieues de C. Soulignons que les banlieues dune cellule C
ne sont pas les voisins de ses voisins.
Cellule C
Voisines de C
Banlieues de C
Sur la figure 6.20, on a reprsent (dans le cas de lairbus A318) en rouge les portions de
maillage non-voisines et/ou banlieues aux niveaux 0 4 par rapport un degr de libert de
rfrence (point par la flche). Remarquons quaux niveaux 0 et 1 ces ensembles sont vides, et
quau niveau 2 ils sont gaux.
Page 253/275
Page 254/275
Algorithme multi-niveau complet Conception On dcoupe notre objet laide dun octree,
soit N le nombre de niveaux de cet arbre. La racine est le niveau 0, les feuilles forment le niveau
N 1. Comparons de manire synthtique les deux algorithmes FMM dj tudis. Dune part,
lalgorithme FMM un niveau (le niveau N 1 en loccurrence) comporte trois tapes (figure
6.21) :
1. Initialisation au niveau N 1.
2. Transfert au niveau N 1 entre cellules non-voisines.
3. Intgration au niveau N 1.
Initialisation
Transfert
Niveau (N1)
Integration
Niveau (N2)
G
Descente
Montee
Transfert
Initialisation
Niveau (N1)
Integration
Page 256/275
(6.31)
(d1)
M (d)
GC (d1) (s)
=
(a) Non-voisins de C
(d)
+
(b) Non-voisins du parent
(c) Banlieues de C
(d)
Niveau (N3)
G
Descente
Montee
Transfert
Niveau (N2)
G
Descente
Montee
Initialisation
Niveau (N1)
Transfert
Integration
Page 258/275
Niveau 0
Niveau 1
Niveau 2
Transfert
G
Descente
Montee
Transfert
Niveau 3
.....
Niveau (N2)
Descente
Montee
Transfert
G
Descente
Montee
Transfert
Initialisation
Niveau (N1)
Integration
Page 259/275
Page 260/275
Annexe A
Formulaire et rappels mathmatiques
Page 261/275
= e1
+ e2
+ e3
x1
x2
x3
o (e1 , e2 , e3 ) est la base canonique de R3 . On note les oprateurs de drivation laide de cette
oprateur. Ainsi :
gradient de f
grad f = f
rotationel de A
= A
div A
rot A
= A
Laplacien de f
f = 2 f
:
divergence de A
f
f
f
+ e2
+ e3
x1
x2
x3
= A1 + A2 + A3
A
x1
x2
x3
A3 A2
A1 A3
A2 A1
A = e1
+ e2
+ e3
x2
x3
x3
x1
x1
x2
f = e1
2 f =
Page 262/275
2f
2f
2f
+
+
x21 x22 x23
Modlisation des phnomnes de propagation dondes
z
= 1 (A ) + 1 A + Az
A
z
A
1
A
1
A
A
A
z
= e
A
+ e
+ ez
(A )
z
z
2
2
1
f
f
1 f
2 f =
+ 2 2+ 2
z
f = e
1
A = er
(sin A )
+ e
(rA )
r sin
r sin
r r
Ar
1
(rA )
+e
r r
1
f
1
2f
1
2
2 f
r
+ 2
sin
+ 2 2
f = 2
r r
r
r sin
r sin 2
f = er
Noter que
1
r 2 r
1 2
2 f
(rf )
r
r
r r 2
Page 263/275
a a = 0
a (b c) = b (c a) = c (a b)
a (b c) = (a c)b (a b)c
2a
( a) = ( a) ||
(a b) (c d)
( a)
( a)
(a)
(a)
(a b)
(a d)(
b c)
(a c)(b d)
0
0
( a) 2a
a + a
a + a
= (a )b + (b )a + a ( b) + b ( a)
(a b) = b ( a) a ( b)
(a b) = a( b) b( a) + (b )a (a )b
Page 264/275
=
=
=
=
=
=
f
dx =
xi
f ni d
(A.16)
dx =
n d
(A.17)
a dx =
n a d
(A.18)
( a + a) dx =
a n d
(A.19)
( a + a) dx =
(n a) d
(A.20)
(b a a b) dx =
(b n) a d
2
(A.21)
( + ) dx =
2
2
( ) dx =
(A.22)
d
n
n
Page 265/275
Comme est une surface rgulire, il existe 0 > 0 tel que si (x, ) < 0 , il existe un unique
x tel que
|x x | = (x, )
x est la projection orthogonale de x sur : x = (x). On introduit alors la notion de voisinage
tubulaire
0 = {x R3 ; (x, ) < 0 } = +
0 0
avec
e
+
0 = {x : (x, ) < 0 }
et
0 = {x : (x, ) < 0 }
grad (x, ) si x
0
Ce champ prolonge continuement la normale unitaire n sur sortante de i , et pour tout x 0
on a
n(x) = n(x )
avec x = (x)
Le voisinage tubulaire peut tre paramtr ainsi :
0 = {x = x(x , s) = x + sn(x ), avec x , 0 < s < 0 }
et
+
n(x ), avec x ,
0 = {x = x(x , s) = x + s
0 < s < 0 }
pour tout x 0
Modlisation des phnomnes de propagation dondes
La drive par rapport s dune fonction rgulire dfinie dans le voisinage tubulaire, est confondue avec la drive normale sur s . Soit maintenant une fonction rgulire sur . On note
8 la
fonction dfinie dans le voisinage tubulaire de faon constante suivant la normale :
(x)
8
=
8 x + sn(x ) = (x )
de la faon suivante :
On dfinit loprateur gradient surfacique (ou tangent) not grad ou
(A.23)
=
grad = grad |
8
cest le gradient de
8 valu sur .
De la mme faon, on dfinit loprateur grads . On dmontre que pour une fonction quelconque u rgulire dfinie dans le voisinage tubulaire, on a en tout point x = x + sn(x ) (en
particulier pour s = 0) :
(A.24)
u
n
grad u = grads u +
s
On dfinit loprateur rotationnel surfacique (ou tangent) dun champ scalaire de la faon
suivante :
(A.25)
rot = rot
8n |
Le champ de normale tant un gradient, son rotationnel est nul. Donc
rot
8n = grad
8 n
do
(A.26)
rot = grad n
Soit maintenant un champ tangent u dfini sur . On le prolonge dans le voisinage tubulaire de
la faon suivante :
avec x = (x)
8
u(x) = u(x )
On dfinit alors la divergence surfacique du champ de vecteurs u par :
(A.27)
u |
div u = div 8
Le rotationnel surfacique du champ de vecteurs u est est un champ scalaire dfini par :
8
n |
(A.28)
rot u = rot u
Cest un champ scalaire. On dmontre que
(A.29)
rot u = div u n
Page 267/275
On dmontre que pour un champ de vecteur quelconque u rgulier dfini dans le voisinage tubulaire, on a sur :
(A.30)
rot u n | = rot u
o u est la composante tangentielle de la trace de u sur .
On peut alors introduire loprateur Laplacien surfacique scalaire ou oprateur de LaplaceBeltrami :
(A.31)
Loprateur Laplacien tangentiel vectoriel ou oprateur de Hodge qui agit sur des champs de
vecteurs tangents est dfini par :
(A.32)
On a les relations :
(A.33)
div rot = 0
(A.34)
rot grad = 0
On a les formules dintgration par partie suivantes ( est une surface ferme !) :
(A.36)
(A.37)
(A.38)
(x) (x)d(x) =
(A.39)
u(x) v (x)d(x) = div u(x) div v(x)d(x) + rot u(x) rot v (x)d(x)
Page 268/275
u H
et
u, u = 0 si u = 0
u, v H
et u = u, u1/2 dfinit une norme. Dans le cas o H est complet pour cette norme, on dit que
H est un espace de Hilbert.
Une suite xn dans H converge vers x, et on note xn x, si la suite relle xn x converge
vers 0. On dit que la suite xn converge faiblement vers x, et on note xn x si
xn , y x, y
y H
Une suite (fortement) convergente est faiblement convergente vers la mme limite. La rciproque
nest pas vraie. On montre que toute suite borne admet une sous-suite qui converge faiblement.
Une forme bilinaire (ou sesquilinaire) a(, ) : H H R (ou C) est
continue sil existe C > 0 tel que
|a(u, v)| Cu v
u, v H
u H
Attention : dans la pratique, nous sommes souvent en prsence de plusieurs espace imbriqus
avec des normes diffrentes. Il est important de rappeler pour quelle norme, une forme est coercive. On dira par exemple quelle H-coercive si elle lest pour la norme de H.
Remarque 14. La dfinition de la coercivit la plus couramment utilise ne fait pas intervenir
le module. Cest le cas pour les formes bilinaires et les formes hermitiennes. Dans le cas dune
forme sesquilinaire gnrale, a(u, u) nest pas forcment rel, do le module dans la dfinition.
Page 269/275
||
u(x)D (x)dx
C0 ()
(D u, ) = (1)
D u, D vL2 ()
||m
m tant une norme quivalente la norme H m (Rn ) . Dans cette dfinition, nous pouvons remplacer lentier positif m par un rel s quelconque et dfinir ainsi H s (Rn ). Cette fois,
H0m (Rn ) = H m (Rn ). On peut ensuite tendre cette dfinition des ouverts rguliers ainsi
qu des surfaces de Rn , en utilisant des techniques de dcomposition de lunit et de cartes
locales. Ces espaces peuvent sobtenir par les techniques dinterpolation despaces introduites
par Jacques-Louis Lions, mais ceci dpasse le cadre de ce chapitre de rappels.
Nous voyons que pour s > t, H s () H t (), i.e. plus s crot, plus on est rgulier. On
dmontre que mN H m () C (). On peut ainsi dfinir les traces sur le bord = dune
fonction de H m () et celles de certaines de ces drives pour m assez grand. Par exemple, on
peut dfinir une application linaire continue
0 : H 1 () H 1/2 ()
tel que si u H 1 () est continue dans jusquau bord, ce qui nest pas toujours le cas en
dimension 3 par exemple, 0 (u) est la restriction de u sur le bord . Et ainsi,
H01 () = {u H 1 () : 0 (u) = 0}
On peut dfinir lapplication trace de H s () dans H s1/2 () pour s > 1/2. Ainsi par exemple,
une fonction u L2 () na pas de trace sur la frontire !
Pour terminer, citons les deux rsultats importants suivants :
Lemme 4 (Poincar). Soit un ouvert de Rn born dans une direction. Il existe une contante
C > 0, tel que :
uL2 () CuL2 ()
u H01 ()
Thorme 17 (Rellich). Soit un ouvert born de Rn . Linjection canonique H01 () L2 ()
est compacte. En imposant des conditions de rgularit sur , linjection canonique H 1 ()
L2 () est galement compacte.
Page 271/275
(A.40)
v H
Ce thorme donne une condition suffisante pour rsoudre un problme linaire du type
Au = f
(A.41)
pour A : H H linaire continue et f donn dans H . Cest un outil simple et puissant pour
rsoudre des quations aux drives partielles elliptiques. (A.41) est le problme dEDP et (A.40)
sa formulation variationnelle. Ces deux formulations sont quivalentes.
Prenons par exemple le problme de Dirichlet pour le Laplacien :
u = f dans
u = 0 sur =
avec f H 1 ().
Le problme crit avec les oprateurs est le suivant : H = H01 (), A = : H H et
pour tout f H , on cherche u H tel que Au = f .
La formulation variationnelle peut se retrouver facilement, en remarquant que pour
C0 ()
3
u
(u, ) =
(
,
)=
u
xi xi
i=1
Comme C0 () est dense dans H, on dfinit alors la forme bilinaire a(, ) par
u
pour u, v H01 ()
a(u, v) =
v H
La forme bilinaire a(, ) est clairement continue sur H H et daprs le lemme de Poincar, elle
est H-coercive. Daprs le thorme de Lax-Milgram, il existe une solution unique au problme.
De plus, il existe une constante C > 0, tel que
uH01 () Cf H 1 ()
Page 272/275
v H) = u = 0
u H
De plus, il existe une constante C > 0 tel que pour tout f H , la solution u du problme
variationnel vrifie :
uH Cf H
Page 273/275
pour t0 t t1
t0
dt
u(0) = u0 .
o F (t) est une fonction donne de R+ dans H. Par dfinition, on appellera solution classique,
ou solution forte, de (A.42), toute fonction u vrifiant :
du
(t) + Au(t) = F (t) pour tout t 0 et satisfaisant u(0) = u 0 .
dt
Remarque 37. On demande F (t) la rgularit C 1 (R+ ; H) alors quon aurait pu attendre
C 0 (R+ ; H) (voir remarque 36). On notera que si la somme
du
+ Au C 1 (R+ ; H),
dt
on a seulement pour chaque terme
du
C 0 (R+ ; H) et Au C 0 (R+ ; H).
dt
Page 275/275
DITION 2007
IMPRIM EN FRANCE