2

Formulations mathmatiques de lacoustique

La joie est en tout, il faut savoir lextraire (Confucius)

Rsum. Ce chapitre montre que la propagation des ondes acoustiques dans un fluide parfait est rgie par une quation dondes dont la solution harmonique satisfait une quation de Helmholtz qui, lorsque les conditions aux limites lui sont adjointes, dfinit la forme forte du problme continu auquel nous nous intressons. Afin dintroduire naturellement un estimateur derreur bas sur des champs admissibles, lquation de Helmholtz est dmontre de deux manires quivalentes et le concept dadmissibilit est dfini. Il existe peu de cas pour lesquels une solution analytique est disponible, raison pour laquelle nous souhaitons analyser la qualit de solutions approches de type lments finis. Ce chapitre nonce alors la forme faible du problme de lacoustique tel quil est rsolu par le logiciel commercial SYSNOISE. Lquivalence entre les formes forte et faible est assure mais la stabilit de la forme faible dun oprateur de Helmholtz diminue lorsque le nombre d'onde augmente (la constante de Babuska-Brezzi est inversement proportionnelle au nombre d'onde). Ce chapitre envisage galement lquation de Helmholtz comme un problme aux valeurs propres, ce qui correspond en fait la recherche de valeurs propres de loprateur laplacien, et rappelle trs brivement les formulations en minimum du quotient de Rayleigh et en forme faible. Enfin, nous dfinissons au cours de ce chapitre quatre problmes modles dont la solution analytique est connue et qui seront tudis systmatiquement dans les chapitres suivants tant du point de vue mathmatique (chapitre 3) que numrique (chapitres 3 et suivants).

Chapitre 2 Formulations mathmatiques de lacoustique

11

2.1 2.1.1

Mise en quations de lacoustique Hypothses

Nous nous intressons la propagation et la rflexion dondes de pression dans un fluide parfait non pesant. Le mouvement est suppos harmonique autour dun tat moyen (lambiance) au repos, hypothse non indispensable mais qui permet de simplifier les quations (vitesses du fluide ambiant nulles). La mise en quations se fait aisment partir des formes locales des lois fondamentales de la mcanique des milieux continus, ce qui conduit, aprs dfinition des conditions aux limites, la forme forte du problme de lacoustique (quation de Helmholtz). 2.1.2 Pourquoi plusieurs formulations

La forme forte se prte mal au calcul numrique lexception de la mthode des diffrences finies utilise de plus en plus rarement car on lui prfre dsormais les mthodes numriques bases sur les formes variationnelles. Ce travail est consacr lanalyse des solutions lments finis de type Galerkin qui sont des approximations de formes faibles (paragraphe 2.3). Les dveloppements et les tests numriques porteront principalement sur des problmes intrieurs (acoustique de cavits). Toutefois, ltude de problmes unidimensionnels avec conditions aux limites appropries nous permettra de simuler galement le comportement de la solution lments finis dans un milieu infini. Dans le cas gnral dun problme extrieur (rayonnement en milieu infini), il y a lieu de faire appel dautres mthodes numriques approchant parfois dautres formulations. Base sur la mme forme faible, la mthode dlments enveloppe dondes [AST94, CRE94] consiste discrtiser par lments finis traditionnels une sphre de rayon R et appliquer sa frontire des conditions aux limites de Neumann, approximation par lments enveloppe dondes des conditions aux limites linfini (conditions de Sommerfeld). L. Demkowicz et al. [GER96/1] montrent que lerreur de discrtisation de la mthode des lments enveloppe dondes est essentiellement due la discrtisation lments finis et non lapproximation des conditions linfini. Les conclusions du prsent travail stendent donc immdiatement aux solutions approches par lments enveloppe dondes. Les milieux infinis sont galement souvent tudis par la mthode des lments de frontire base sur une identit de Green (formulation intgrale). La formulation [COY94, MIG97] , ltude de la convergence et la qualit des solutions lments de frontire [DEM92] ont fait lobjet dtudes par ailleurs et ne sont pas dcrites ici. 2.2 2.2.1 Forme forte Lois fondamentales de la mcanique des milieux continus

Afin dtablir lquation rgissant la propagation dune onde acoustique, nous partons des lois fondamentales de la mcanique des milieux continus. Ces lois sont principalement les lois de bilan : de la masse, de la quantit de mouvement et du moment de la quantit de mouvement [WAR93/1] . Toutefois, seules les deux premires interviennent explicitement dans les dveloppements ci-dessous et sont rappeles ici dans leur forme locale (ces quations sont valables en tous points du milieu continu ) :

Chapitre 2 Formulations mathmatiques de lacoustique

12

Conservation de la masse (loi de continuit)

t + i v i = 0 Conservation de la quantit de mouvement (loi de la rsultante cintique)

(2.1)

v i = j i j

(2.2)

pour un fluide non pesant, en tenant compte de la loi de conservation du moment de la quantit de mouvement (loi du moment cintique). Rappelons que la signification des symboles a t groupe dans la prface (pages vi et vii) et que nous adoptons systmatiquement la convention de sommation sur les indices muets.
2.2.2 Loi de comportement

Nous considrons que londe se propage dans un fluide parfait dfini par la loi de comportement
i j = -pi j
2.2.3 quation donde

(2.3)

Londe acoustique est considre comme une petite perturbation de pression par rapport un tat moyen : lambiance. Nous pouvons donc dvelopper les variables principales de masse volumique, de pression et de vitesse en les contributions dcrivant lambiance (indice 0) et celles dcrivant la perturbation (indice ').

= 0 + '

p = p0 + p '

v i = v i 0 + v'i

(2.4)

Si nous supposons lambiance au repos (cest--dire, en labsence dcoulement moyen) et uniforme, on a,

0 = constante

p 0 = constante

vi 0 = 0

(2.5)

Compte tenu des hypothses (2.3) (2.5), les lois fondamentales (2.1) et (2.2) deviennent, en faisant lhypothse de petites perturbations : Loi de continuit sous les hypothses de lacoustique

t ' + 0 i v' i = 0
Loi de la rsultante cintique sous les hypothses de lacoustique

(2.6)

0 t v' i + i p' = 0

(2.7)

En considrant lcoulement isotherme, lquation dtat donne le lien entre la pression et la masse volumique. Elle peut tre dveloppe en srie de Taylor autour de lambiance limite au premier ordre, elle scrit alors,

p - p0 =

dp - 0 d = 0

(2.8)

et dfinit la vitesse de propagation du son c (souvent appele clrit), dp = c2 d = 0

(2.9)

Chapitre 2 Formulations mathmatiques de lacoustique

13

En drivant lquation (2.6) par rapport au temps et lquation (2.7) par rapport aux variables spatiales xi, on peut liminer v ' i . En tenant compte de lquation dtat (2.8), nous obtenons lquation donde, t t p ' = c2 i i p '
2.2.4 quation de Helmholtz - mthode n 1

(2.10)

Nous cherchons une solution harmonique lquation donde (2.10) telle que,
p ' (x , y , z, t ) = p (x , y , z) e j t (2.11)

qui permet dliminer la variable temporelle de lquation (2.10) et de faire apparatre la pulsation . Lquation (2.10) scrit alors,
2 i i p + p=0 c

(2.12)

Le coefficient du deuxime terme dfinit le nombre d'onde, k = = 2 c (2.13)

o dsigne la longueur donde. Le nombre donde k apparat donc comme le nombre dondes par unit (2) de longueur donde. partir dici, nous omettrons lindice tant entendu que les grandeurs considres sont toujours les distributions spatiales des perturbations harmoniques par rapport lambiance

p + k2 p = 0 montrant que la variation de pression doit satisfaire une quation de Helmholtz.

2.2.5 quation de Helmholtz - mthode n 2

(2.14)

Il est possible dobtenir lquation de Helmholtz sans tablir explicitement lquation donde (2.10). Cette faon de procder est peu classique mais elle nous permettra dintroduire plus naturellement lestimateur derreur en champs admissibles (chapitre 5). Reprenons la dmonstration en postulant immdiatement que les pressions et les vitesses ont un comportement harmonique, respectivement (2.11) et v' i (x, y, z, t ) = v i (x, y, z) e j t (2.15)

La loi de la rsultante cintique sous les hypothses de lacoustique (2.7) scrit alors, en omettant les indices et 0
j v i + i p = 0

(2.16)

De mme, la loi de continuit (2.6) scrit

1 j p + v = 0 i i c2 ou encore, - j c i v i + k p = 0 (2.18)

(2.17)

Chapitre 2 Formulations mathmatiques de lacoustique

14

En drivant lquation (2.16) par rapport aux variables spatiales xi, on peut liminer i v i de lquation (2.18), il vient i i p + k2 p = 0 qui est lquation de Helmholtz prcdemment obtenue (2.14).
2.2.6 Lien entre pression et vitesse acoustiques

(2.19)

Nous utiliserons abondamment la relation (2.16) dans la suite car elle est la base de lestimateur derreur a posteriori en champs admissibles. Nous y ferons rfrence en parlant de la relation pression-vitesses et lcrivons en faisant apparatre le nombre d'onde, principal paramtre de nos tudes thoriques et numriques
j ck v i + i p = 0

(2.20)

2.2.7

Conditions aux limites

Nous notons le frontire du domaine . Pour le cas des problmes intrieurs, les conditions aux limites sont de trois types. Les parties du contour D, N et R que nous dfinissons ci-dessous forment une partition du contour , cest--dire quelles sont telles que
D N R = D N = N R = D R = Conditions aux limites de Dirichlet p=p sur D (2.22) (2.21)

o p dsigne la valeur impose de la pression. lexception des problmes acadmiques ou lorsque lon dispose de mesures exprimentales de pressions, ce cas se rencontre trs rarement en pratique. Ainsi, du point de vue mathmatique, il est remarquable de noter que loprateur de Helmholtz ne ncessite pas ladjonction systmatique de conditions aux limites de Dirichlet pour garantir lunicit de la solution, comme cest le cas pour loprateur de Poisson ou pour les quations dquilibre de llasticit [WAR96/2] . Conditions aux limites de Neumann n p = - j v n sur N (2.23)

o v n dsigne la valeur impose de la composante normale de la vitesse. La condition de Neumann modlise la vibration dun panneau. Cest de loin la plus rpandue en pratique o lon tient compte du comportement vibratoire de la structure en effectuant dabord un calcul de rponse dynamique et ensuite, sous lexcitation des vitesses ainsi calcules, un calcul de rponse acoustique. Nous aurons loccasion de dcrire cette mthodologie, et ses limites, en dtail au chapitre 7. Conditions aux limites de Robin n p = - j A n p sur R (2.24)

Chapitre 2 Formulations mathmatiques de lacoustique

15

o An est un coefficient dadmittance. Cette condition sexprime souvent laide du coefficient dimpdance mais nous conviendrons de lutiliser toujours sous la forme (2.24) car ladmittance An et limpdance Zn sont relies par la relation An Zn = 1 (2.25)

Physiquement, les conditions de Robin modlisent labsorption de londe acoustique par les matriaux environnants (plancher, toit, rideaux, ...). La difficult majeure de la modlisation rside dans lvaluation du coefficient dadmittance. En fait, il nexiste pas de moyen de mesurer ce coefficient mais il est li au coefficient dabsorption [BER92] variant de 0 1 mesur classiquement par lexprience du tube de Kundt. Le lien entre le coefficient dabsorption et limpdance sexprime par = 1 - R2 o R est un facteur de rflexion dfini par (2.26)

R=

Z n - Zcaractristique Z n + Zcaractristique (2.27)

. avec limpdance caractristique Zcaractristique = c air = 416 5 Pa s / m Il faut remarquer que la valeur de l'impdance nest pas dtermine de faon univoque (il y a deux valeurs de Zn par valeur de ). Cependant, une seule de ces valeurs est raliste car, en pratique, on trouve des coefficients dimpdance dans la plage 1000 Z n 20000 ( Pa s m ) Conditions aux limites de Sommerfeld Lorsque londe acoustique se propage en milieu infini, il y a lieu dadjoindre des conditions aux limites caractrisant londe de pression linfini. Ces conditions portent le nom de Sommerfeld et sexpriment, pour le cas dune surface rayonnante en champ libre dans un milieu de dimensions d, par
p 1 -d - j k p = o (r 2) r o u = o (r) est la notation usuelle de Landau pour exprimer que

(2.28)

lim u = 0 r r

(2.29) .

2.2.8

Champs admissibles

Nous dveloppons au chapitre 5 un estimateur derreur a posteriori bas sur la construction de champs satisfaisant la forme forte du problme. Ces champs sont dits admissibles et sont dfinis par les conditions suivantes. Champ de pression cinmatiquement admissible Lorsquun champ de pression respecte les conditions aux limites de Dirichlet (2.22), nous dirons, par analogie avec llasticit, quil est cinmatiquement admissible. Si un champ de pression respecte les conditions aux limites de Dirichlet homognes (p = 0 ), nous dirons quil est cinmatiquement homogne. Champ de vitesses statiquement admissible Les conditions aux limites de Neumann (2.23) et de Robin (2.24) peuvent tre crites directement en variables de vitesses

Chapitre 2 Formulations mathmatiques de lacoustique

16

vn = vn vn = An p

sur N sur R

(2.30) (2.31)

Lorsquun champ de vitesses respecte la loi de continuit (2.18) ainsi que les conditions aux limites de Neumann (2.30) et de Robin (2.31), nous dirons, par analogie avec llasticit, quil est statiquement admissible.

2.2.9

Problme modle gnral

Nous ferons frquemment allusion la forme forte du problme modle que nous venons dtablir et qui est la base du dveloppement du logiciel SYSNOISE. Nous le dnommons problme modle gnral pour le distinguer des cas particuliers que nous analyserons ci-dessous. Les tudes numriques qui suivent mettront en vidence le rle essentiel jou par le nombre d'onde. Cest pourquoi, nous systmatisons nos quations pour y faire apparatre le nombre d'onde p + k2 p = 0 p=p dans (2.32) (2.33) (2.34) (2.35)

sur D sur N sur R

n p = - j c k v n n p = - j c k A n p

2.2.10 Prsence de sources acoustiques en volume

Dans le cas o le volume contient une ou plusieurs sources acoustiques, lquation de Helmholtz prend la forme, p + k2 p = f (2.36)

1 o f C ( ) dpend du type de sources considres (sphrique, cylindrique, etc.). J.-L. Migeot montre [MIG97] pour des sources ponctuelles, que ce problme peut se ramener au problme modle gnral en dcomposant la pression en une onde incidente induite par le rayonnement des sources en champ libre (dont la solution analytique est connue) et une onde diffracte solution dune quation de Helmholtz homogne dont les conditions aux limites ont t adaptes. Nous considrons donc que ce cas est inclus dans le problme modle gnral (2.32-35)

2.2.11 Problmes modles particuliers

Tout au long de ce travail, les dveloppements mathmatiques et les tests porteront sur des cas particuliers du problme modle gnral. Lorsque les variables spatiales sont adimensionnelles, elles sont notes par les lettres grecques (, , ) et le nombre d'onde correspondant . Dans le cas de variables dimensionnelles, on les note respectivement (x, y, z) et k. Problme modle 1

d2 p d 2

- 2p = f

dans ( 0 1 ) (2.37)

p( 0 ) = 0

(2.38)

Chapitre 2 Formulations mathmatiques de lacoustique

17

dp ( 1 ) - j p( 1 ) = 0 d Il est important de remarquer que lon travaille en variables adimensionnelles dfinies par
= x L =kL

(2.39)

(2.40) (2.41)

o L est une longueur caractristique (en pratique, pour des problmes bi- ou tridimensionnels, il y a lieu de prendre la plus grande longueur). Lintrt de cette dfinition sera soulign au paragraphe 2.3.5. Le problme modle 1 est illustr la figure 2.1. Remarquons bien que la condition aux limites de Robin (2.39) implique que lon choisisse c A n = - 1 (2.42)

ce qui conduit une onde plane qui se propage en milieu infini sans amortissement. Par souci de simplicit, les constantes matrielles et c sont choisies de telle faon que leur produit soit unitaire (c = 250 m/s, = 0.004 kg/m3). Il est possible de trouver f tel que le problme (2.37-39) est quivalent au problme d2 p d 2 - 2p = 0 dans ( 0 , 1 ) (2.43) p( 0 ) = 1 dp ( 1 ) - j p( 1 ) = 0 d dont la solution se calcule aisment (2.44)

(2.45)

p( ) = e j = cos( ) + j sin ( )

(2.46)

La plupart des dveloppements mathmatiques porteront sur le problme (2.37-39) tandis que les tests numriques porteront sur le problme (2.43-45).
vn = 0 p=1 A n = -1 c x L
figure 2.1. Problme modle 1

Chapitre 2 Formulations mathmatiques de lacoustique

18

Problme modle 2 d2 p + k 2 p = 0 dx 2 dans ( 0 , L ) (2.47)

vn ( 0 ) = v0 vn ( L ) = 0

(2.48)

v0

vn = 0

x
L
figure 2.2. Problme modle 2

Le problme modle 2 est illustr la figure 2.2., les constantes matrielles sont celles de lair (c = 340 m/s, = 1.225 kg/m3). Remarquons bien que la condition aux limites de Neumann en x = 0 scrit en variables de pression par
n p( 0 ) = - j c k v 0

(2.49)

et dpend donc galement du nombre d'onde. La solution analytique du problme modle 2 scrit p = - j cv 0 cos[ k ( L-x) ] sin ( k L )

(2.50)

Il sagit dun problme intrieur qui fait apparatre les frquences propres lies aux nombres d'onde k = m L Problme modle 3
2 p x2
m N

(2.51)

2 p y2

+ k2 p = 0

dans ( 0 , L ) ( 0 , L ) (2.52)
sur le ct ( x , y = 0) sur le ct ( x = L , y ) sur le ct ( x , y = L) sur le ct ( x = 0 , y )

p + j k p sin = 0 y p - j k p cos = 0 x p - j k p sin = 0 y

- p + j k p cos = 0 x p (0 , 0 ) = 1

(2.53)

Chapitre 2 Formulations mathmatiques de lacoustique

19

Le problme modle 3 correspond la propagation dune onde plane suivant une direction par rapport laxe x. La solution analytique scrit p = e j k ( x cos + y sin ) = cos[ k ( x cos + y sin ) ] + j sin [ k ( x cos + y sin ) ]

(2.54)

Ici galement les constantes matrielles et c sont choisies de telle faon que leur produit soit unitaire (c = 250 m/s, = 0.004 kg/m3).

y A n = - sin c

A n = cos c p=1 A n = sin c L

figure 2.3. Problme modle 3

A n = - cos c x

Enfin, le problme modle 4 correspond la recherche de modes propres dune cavit carre et sera dfini ci-dessous (paragraphe 2.5.4)
2.3 Forme faible

2.3.1

Principes mathmatiques

Ce paragraphe sinspire principalement des rfrences [STR73] et [BAB96/2] mais la terminologie sera adapte systmatiquement lacoustique. La forme forte du problme modle gnral (2.32-35) peut tre formule par diffrentes formes faibles quivalentes, comme la voqu lintroduction du paragraphe 2.1.2. Les lecteurs peu familiers avec lanalyse fonctionnelle trouveront en annexe 9.2 les notions principales indispensables la lecture des paragraphes qui suivent. Toutes les formes variationnelles peuvent se ramener ceci : on considre deux espaces de Hilbert V1 (espace complexe des fonctions dessai p) et V2 (espace complexe des fonctions tests w), on dfinit une V1 V2 C V C forme bilinaire a(p , w) de et une fonctionnelle linaire (w) de 2 . La forme variationnelle consiste alors chercher p V 1 telle que a(p , w) = (w) w V2 (2.55)

o dsigne le complexe conjugu (ce choix sera justifi au paragraphe 3.5). Pour que la formulation (2.55) ait un sens, il convient toujours de dmontrer que p existe, est unique et est solution de la forme forte du problme modle. Lintroduction des formes faibles est indispensable car elles sont la base des approximations par lments finis (Chapitre 3).

Chapitre 2 Formulations mathmatiques de lacoustique

20

2.3.2

Forme variationnelle du problme modle gnral

On dfinit les espaces V 1 = H D( ) = p H 1 ( ) p = p D V 2 = H 0 ( ) = w H1 ( ) w = 0 D

1 1

(2.56) (2.57)

Lespace H1() est un espace de Hilbert o les fonctions p et leurs drives premires sont de carr sommable (dfinition 9.20). On note galement que p V 1 dfinie par la relation (2.56) est cinmatiquement admissible et w V 2 dfinie par la relation (2.57) est cinmatiquement homogne. On dfinit ensuite les oprateurs
a(p , w) =

i p i w - k 2 p w d +
R

j c k A n p w d (2.58)

(w) = N

j c k v n w d (2.59)

La forme variationnelle snonce alors p V1 a (p , w) = (w) w V2 (2.60)

est solution du problme modle gnral. Il existe de nombreuses formes variationnelles [STR73, BAB96/2] mais la forme (2.58-60) a la faveur des ingnieurs car elle correspond, en lasticit, au principe des travaux virtuels [WAR96/2] . La dmonstration de lquivalence entre la forme forte du problme modle gnral (2.32-35) et sa forme faible (2.58-60) est aisment tablie par la mthode des rsidus pondrs (le poids est not w ici) et ne sera pas dtaille puisquon la trouve intgralement dans [WAR94/1, MIG97], en prenant soin de considrer les fonctions tests complexes, ce qui ne modifie pas la dmonstration. Nous remarquons que les conditions aux limites de Neumann et de Robin (respectivement) apparaissent sous forme faible dans cette formulation dans les relations (2.58) et (2.59) (respectivement). Par contre, nous choisissons a priori des fonctions dessai cinmatiquement admissibles (voir dfinition 2.56 de V1).
2.3.3 Problme variationnel bien pos : principes

La mthode des lments finis que nous introduisons au chapitre suivant est base sur la forme variationnelle (2.60). Cette forme nest pas dfinie positive pour tout nombre donde suprieur au nombre donde correspondant la premire frquence propre. Il est donc ncessaire de sintresser aux conditions dexistence et dunicit de la solution du problme (2.60). Cest cette ide qui a conduit I. Babuska dune part [BAB73] , et F. Brezzi dautre part [BRE74] introduire une condition de stabilit aussi appele condition inf-sup ou encore condition de Babuska-Brezzi (BB) pour les solutions variationnelles et les solutions numriques approches. Cette condition peut scrire [BAB96/3] inf sup a(p , w) = >0 p V1 w V2

p V1 w V2

(2.61)

Chapitre 2 Formulations mathmatiques de lacoustique

21

o dsigne le module du nombre complexe et V dsigne une norme dfinie pour lespace V (voir annexe 9.2). Nous rappelons ci-dessous (paragraphe 2.3.5.) la condition de stabilit de la forme faible du problme modle 1 car elle est une premire illustration de la spcificit de loprateur de Helmholtz.
2.3.4 Forme variationnelle du problme modle 1

Dans le but de simplifier les dmonstrations qui suivent, cest le problme modle 1 qui sera analys dun point de vue mathmatique, et ensuite, les conclusions seront confrontes des tests numriques plus gnraux. La formulation variationnelle du problme modle 1 conduit un choix particulier des espaces de Sobolev
1 V = V1 = V2 = H1 0 ( ) = u H ( ) u (0 ) = 0

(2.62)

On dfinit ensuite les oprateurs

1

a 1 (p , w) =
0

dp dw - 2 p w d - j p (1 ) w(1 ) d d (2.63)
1

1 (w) =
0

f w d (2.64)

La forme variationnelle snonce alors p V est solution du problme modle 1.

2.3.5 Stabilit en semi-norme H1 pour le problme modle 1

a 1 (p, w) = 1 (w)

w V

(2.65)

Afin dillustrer les spcificits des analyses par lments finis de problmes acoustiques, nous allons commenter la condition inf-sup (2.61) pour le problme modle 1 tablie par F. Ihlenburg et al. [IHL95/2] . Thorme Il existe des constantes C1 et C2 indpendantes de telles que la constante de Babuska-Brezzi est borne par C1 C 2 avec = inf sup a 1 (p, w) p 1 w 1 (2.66)

p V wV

(2.67)

o 1 dsigne la semi-norme H1 (pour linstant nous adoptons la dfinition 9.28, mais le choix de la norme approprie sera discut au paragraphe 3.5) Dmonstration La dmonstration se trouve in extenso dans [IHL95/2] .

Chapitre 2 Formulations mathmatiques de lacoustique

22

Commentaires Ce rsultat est fondamental. Il montre que la stabilit de la forme faible dun oprateur de Helmholtz diminue lorsque le nombre d'onde augmente, cest--dire quune faible variation de lexcitation f (2.37) peut engendrer une grande variation de la solution p.
2.4 Forme dextrmum

La forme dextrmum conduit une mthode approche 1 lments finis de type Ritz. Elle consiste, pour le problme modle gnral (2.32-35), chercher p H D ( ) telle que ( p ) = 0 o, (p) = 1 a ( p , p ) - (p) 2 (2.69) p H1 0 ( ) (2.68)

Dans le cas de lacoustique, comme dans le cas de llasticit linaire, les mthodes de Galerkin et de Ritz conduisent exactement au mme problme discret. Par contre, loprateur a( p , p ) ntant pas dfini positif, il nest pas possible dtablir une formulation de minimum comme en lasticit [IHL97/3, pp. 53-55] .
2.5 Problme aux valeurs propres

2.5.1

Quotient de Rayleigh

Du point de vue mathmatique, lquation de Helmholtz dfinit un problme aux valeurs propres lorsque le nombre donde nest pas impos. Pour le problme modle gnral, les valeurs propres et les vecteurs propres sont complexes par la prsence de condition damortissement structural sur R. Dans les applications courantes, lingnieur cherchera plutt obtenir les valeurs propres et les fonctions propres relles pour le systme non amorti, dont linterprtation est analogue aux modes structuraux [WAR94/2] . Nous dfinissons donc un cas particulier du problme modle gnral par sa forme forte
+ k2 = 0 =0 n = 0 sur D sur \ D (2.70) dans

o les conditions aux limites de Dirichlet sont choisies homognes, hypothse non indispensable. Lquation de Helmholtz peut scrire, en posant = k2 - = (2.71)

qui est un problme classique de Sturm-Liouvillle possdant une infinit de valeurs propres relles positives ranges dans lordre croissant 1 2 3 ... m ... et lensemble de fonctions propres associes orthonormes < m , n > = mn m, n (2.73) (2.72)

Chapitre 2 Formulations mathmatiques de lacoustique

23

o < , > dsigne le produit scalaire (9.10). Le quotient de Rayleigh est dfini par
R ( ) =

c( , ) <,>

(2.74)

c( , w) =

i i w d (2.75)

est la forme bilinaire classique associe un oprateur de Laplace. Avec la dfinition (2.75), nous avons c( m , n ) = i m i n d = m si m = n 0 si m n (2.76)

compte tenu de la proprit dorthogonalit (2.73) et de la dfinition (2.71) de la valeur propre [STR73] . Les fonctions qui rendent le quotient de Rayleigh stationnaire (extrmum) sont les fonctions propres et le quotient de Rayleigh donne la valeur propre correspondante. En effet, exprimons les fonctions tests et dessai dans la base modale

=
i=1

i i (2.77)

o les coefficients valent i = < i , > Le quotient de Rayleigh scrit alors

(2.78)

c( R ( ) = <
i=1 i=1

i i,
i=1

i i) i i >
i=1

i i ,

(2.79)

cest--dire,

R ( ) = i = 1

i 2 i 2 i

i=1

(2.80)

en tenant compte de (2.73) et (2.76). Exprimant la condition dextrmum, R ( ) =0 m il vient,

(2.81)

Chapitre 2 Formulations mathmatiques de lacoustique

24

R ( ) = m

2 m m
i=1

2 i - 2 m
i=1

i 2 i

(
i=1

2 i )

(2.82)

ou encore

R ( ) = m

2 m
i=1

2 i ( m - i ) 2 i )
i=1 2

(2.83)

La drive du quotient de Rayleigh sannule pour le mode propre m car tous les coefficients i sont nuls lexception de m mais dans ce cas la parenthse ( m - m ) est nulle. Dans le cas de valeurs propres multiples, cette proprit reste valable en se rappelant que toute combinaison de modes propres est un mode propre et forme donc un hyperplan de stationnarit du quotient de Rayleigh. Avec les proprits dorthogonalit (2.73) et (2.76), il vient immdiatement R ( m ) = c( m , m ) = m < m , m >

(2.84)

2.5.2

Forme faible

La recherche des fonctions propres peut galement tre formule de manire faible, avec V lespace des fonctions cinmatiquement homognes relles (dfinitions 2.56-57 restreintes aux variables relles), V c ( , w) = < w , w > w V (2.85)

Les deux formulations (minimisation du quotient de Rayleigh et forme faible) conduisent au mme rsultat. Trs souvent, on calcule les fonctions propres par la forme faible (2.85) et on dduit du quotient de Rayleigh (2.84) la valeur propre correspondante. La forme bilinaire c( , w) est toujours dfinie positive en prsence de conditions aux limites de Dirichlet. Toutes les mthodes et rsultats obtenus pour des problmes elliptiques sont donc dapplication. 2.5.3 Rponse force par superposition modale

Disposant des modes propres, la rponse force peut tre obtenue par superposition modale complte (solution exacte du problme modle gnral 2.32-35)

p=
i=1

i i (2.86)

ou tronque (solution approche) en se restreignant aux m modes propres i choisis en fonction de la gamme de frquence tudie
p +m

p* =
i=p

i i (2.87)

Chapitre 2 Formulations mathmatiques de lacoustique

25

Bien sr, cette dernire mthode introduit une erreur supplmentaire, mais elle ne fait pas lobjet du prsent travail. 2.5.4 Problme modle

Problme modle 4 Le problme modle 4 correspond au calcul des modes propres de loprateur laplacien pour une cavit carre. 2 p x2 + 2 p y2 + k2 p = 0 dans ( 0 , L ) ( 0 , L ) (2.88) vn = 0 sur (2.89)

Le neuvime mode propre (premier mode non multiple) est donn par la relation (pour L = 10 m) = cos x cos y 5 5 (2.90)

vn = 0 L

x L
figure 2.4. Problme modle 4

Les constantes matrielles sont celles de lair (c = 340 m/s, = 1.225 kg/m3). Le problme modle 4 ainsi introduit permettra dillustrer que les estimateurs derreur a posteriori dvelopps pour le calcul derreur sur la rponse force sappliquent galement au calcul derreur sur les modes propres. Toutefois, pour pouvoir se comparer un mode exact, il est indispensable de disposer de modes uniques, comme celui choisi en (2.90), car dans le cas de modes multiples, il nest pas possible de prdire quelle combinaison linaire des modes sera produite par le logiciel lments finis.