Académique Documents
Professionnel Documents
Culture Documents
INTRODUCTION
On sintresse dans cette tude lanalyse des mthodes numriques performantes permettant
de traiter les problmes de stabilit de couches fluides en mouvement. Cette analyse est
effectue dans le cas du problme classique de la stabilit de lcoulement de Poiseuille plan,
qui est dcrit par lquation aux valeurs propres dOrr-Sommerfeld, lorsque la perturbation de
cet coulement est proportionnelle expi(x - t). Une telle perturbation sera donc instable si
Im() > 0 (on parle de stabilit neutre si Im() = 0).
Des mthodes analytiques (Lin, 1945) ont dabord t employes pour rsoudre cette quation
dOrr-Sommerfeld. Des mthodes aux diffrences finies (par exemple : Gary et Helgason, 1970)
et des mthodes spectrales ont ensuite t utilises.
Les mthodes spectrales ont t dveloppes en utilisant diffrents types de fonctions de base,
les fonctions de base tant les fonctions propres de diffrents oprateurs diffrentiels
caractristiques, linaires, dont la forme doit se rapprocher le plus possible de la forme de base
de lquation que lon veut rsoudre. Ainsi, dans les applications, nous notons : fonctions de
Reid-Chandrasekhar (Gallagher et Mercer, 1962), polynmes de Chebyshev avec la mthode
de Galerkin-tau (Orszag, 1971), fonctions de base orthogonales gnralisant les fonctions de
Reid-Chandrasekhar (Grosch et Salwen, 1968, Dolph et Lewis, 1958).
Frdric lie, juin 1981 - http://fred.elie.free.fr - page 2/56
On sintresse plus particulirement dans cette tude aux mthodes spectrales utilisant des
polynmes de Chebyshev. Leur principal intrt rside dans leur grande prcision, comme la
signal Orszag (1971). Parmi ces mthodes la mthode tau, telle quelle est dveloppe par
Orszag (1971) prsente linconvnient de gnrer des valeurs propres (instabilits) parasites.
Valeurs propres parasites qui se retrouvent galement dans la mthode aux diffrences finies
de Garry-Helgason. Lobjet de la prsente tude est dliminer ces valeurs propres parasites,
dont lexistence est probablement lie lexplicitation des conditions aux limites (cf. Gottlieb et
Orszag, 1977). A cette fin, nous utilisons la mthode de Galerkin applique avec des fonctions
de base qui sont combinaisons linaires des polynmes de Chebyshev et qui vrifient les
conditions aux limites.
Le prsent mmoire sorganise donc comme suit.
Dans un souci de synthse, au chapitre 1, nous rappelons les mthodes spectrales, dans leur
gnralit, en insistant sur lorigine de la signification mathmatique des fonctions de base
(critres du minimax et des moindres carrs). On retiendra en particulier les relations (1) et
(2) du paragraphe 1.2.1 qui dfinissent les polynmes de Chebyshev, ainsi que la mthode de
Galerkin ( 1.5.1) dont nous aurons besoin dans la suite.
Au chapitre 2 nous regardons plus prcisment les polynmes de Chebyshev ainsi que les
problmes de stabilit et de convergence. Nous donnons au 2.5 des relations de
convolution qui nous serviront dans les calculs.
Au chapitre 3, nous rappelons les calculs aboutissant lquation dOrr-Sommerfeld (89) et
(90).
Aprs ces trois premiers chapitres de rappels, au chapitre 4 nous passons en revue les
diffrentes mthodes analytiques et numriques employes pour ltude de la stabilit de
lquation dOrr-Sommerfeld. Plus prcisment, aux 4.2.3 et 4.2.4, nous verrons les
mthodes spectrales utilisant les polynmes de Chebyshev. Au 4.2.3 nous prsentons la
mthode tau dveloppe par Orszag (dmonstration en annexe 1). Au 4.2.4 nous reformulons
les calculs par la mthode de Galerkin en utilisant des fonctions de base qui sont combinaisons
linaires de polynmes de Chebyshev, vrifiant automatiquement les conditions aux limites, et
examinons les rsultats numriques obtenus par cette mthode, les calculs tant donns en
annexe 2.
On prsente ci-dessous les principes de la mthode spectrale avant daborder le cas o les
fonctions de base sont les polynmes de Chebyshev.
minimum
cest--dire :
et les composantes de A,
On peut simplifier (3) en rendant la matrice diagonale. Pour cela on dcompose P n suivant des
polynmes k de degr k :
On exige ensuite que les polynmes k soient orthogonaux, cest--dire le produit scalaire tant
dfini par :
produit scalaire, et on dira que i est normalis si : ||i||2 = 1. Les relations (4) donnent alors :
(5)
et les critres de moindre carr donnent la norme de lerreur, introduite par lapproximation, en
vertu de lorthogonalit des i :
(6)
Les polynmes orthogonaux k ont les proprits suivantes :
Les k sont linairement indpendants.
PREUVE : Il faut montrer que
PROPOSITION :
on procde ainsi :
donc :
CQFD
On en dduit que les (k)k = 0,...,n forment une base de lespace des polynmes de degr n.
PROPOSITION :
PREUVE :
CQFD
0 k r Ak xk.
Il existe des coefficients r, r, et r-1 tels que lon ait la relation de rcurrence :
(7)
PREUVE :
Soit r choisi tel que r+1 - r xr soit de degr r. Ce polynme se dcompose alors
ainsi :
Or i < r 1 donc :
(8)
On peut alors dterminer r et r :
donc :
(9)
donc :
(10)
Dterminons enfin r 1 :
(11)
On se propose maintenant de trouver lquation diffrentielle dont r est solution :
On sait que si Qr est de degr r 1 alors :
Donc si on pose :
Frdric lie, juin 1981 - http://fred.elie.free.fr - page 9/56
(12)
on a :
ce qui donne :
(14)
(15)
(16)
La relation de rcurrence (7), compte tenu de (9), (10), (11) et de P 0 = 1 et P1 = x, donne :
(17)
avec :
0 k n akk = 0
akPk :
2) Polynmes de Chebyshev
Pour rendre petites les erreurs prs des points -1 et +1 on choisit comme fonction poids :
(18)
dont la solution est donne par les polynmes de Chebyshev, dfinis en (1) :
r = Tr
(19)
do :
cest--dire :
(20)
do une quation diffrentielle de la forme :
(21)
(15) donne :
(22)
(5) donne les coefficients ar dans la dcomposition Pn =
0 r n a rT r :
(23)
et daprs (6), le carr de la norme minimale de lerreur est :
(24)
o D est un oprateur diffrentiel tel que
(26)
R tant un oprateur linaire.
On suppose que u appartient un espace de Hilbert H muni du produit scalaire :
(27)
o w est une fonction poids, toujours positive. A partir de ce produit scalaire on peut dfinir une
norme || . ||H sur H :
|| u ||H = (u, u)1/2 = || u ||2 (28)
Lespace H vrifie le thorme de compltude : il existe un systme gnrateur libre (n)n,
dense dans H, cest--dire que H est la fermeture topologique (au sens de la norme || . || H) du
sous espace vectoriel engendr par les n, not [(n)n] :
H = adh [(n)n]
Cela se traduit, de manire quivalente, par la proposition suivante :
Pour tout u H, il existe une suite de fonctions complexes (a n)n telle que :
(29)
ce qui scrit, par abus dcriture :
On peut dmontrer que, sous certaines conditions, la convergence donne par (29), au sens de
la norme || . ||H = || . ||2 entrane la convergence uniforme, cest--dire au sens de la norme || . ||
, autrement dit :
On utilise ce thorme de compltude pour les mthodes spectrales, (29) tant appel
dcomposition spectrale de u.
Mais pour les rsolutions numriques on ne peut quutiliser un nombre fini de coefficients a n :
on obtient alors lapproximation spectrale par une fonction dessai, tronque au rang N :
(30)
avec les conditions aux limites :
(31)
Les fonctions de base sont orthogonales :
(n, m) = 0 si n m
Comme on la vu au 1.2.2, on se trouve dans cette situation en utilisant le critre des
moindres carrs.
(32)
o ce sont an(t) les inconnues. La fonction (x, t) satisfait les conditions aux limites :
(33)
la condition (33-b) ntant pas ncessairement exige. Dans le cas o elle lest, cela dfinit k
conditions aux limites sur n, k dpendant de .
(34)
La rsolution approximative de lquation diffrentielle (24) consiste annuler Res N selon une
certaine moyenne : cest ce quon appelle mthode des rsidus pondrs.
Soit un ensemble de fonctions gj (j ) donn, gj H. On cherche faire :
(35)
Le choix des gj dfinit la mthode. On a, entre autres :
(36)
avec Rj = 0 sur , ce qui dfinit k conditions aux limites pour les fonctions de base j.
1.5.1.2 Cas o les conditions aux limites sont quelconques (mthode des
multiplicateurs)
On a : Rn 0 sur . On exige alors que :
(37)
ce qui dfinit k conditions aux limites sur les fonctions pondration g j. Les gj se dcomposent
sur les fonctions de base selon :
Frdric lie, juin 1981 - http://fred.elie.free.fr - page 15/56
(38)
donc (37) donne :
(39)
et daprs (35) :
(40)
La vrification simultane de (39) et (40) conduit :
cest--dire :
(41)
alors :
(42)
Donc seuls les points de collocation vrifient exactement :
GuN(xj,t) = 0
Le choix des points de collocation peut tre :
- arbitraire,
- tel que les points de collocation soient les zros de n,
(43)
avec les k conditions aux limites :
(44)
Si lon exprime Gu exactement sous la forme :
(45)
(46)
avec les conditions (44).
Lautre faon de formuler la mthode tau est de dire que lapproximation
vrifie exactement
(47)
On obtient alors les quations des N + k coefficients de u N dans (43) en remplaant u par uN
dans (47) et en utilisant les k contraintes (44).
Lexplication de lappellation mthode tau est la suivante :
Lapproximation
ne vrifie pas exactement (24) au sens du produit scalaire (47). On cherche alors de quelle
quation cette approximation est-elle exactement solution (au sens du produit scalaire). Or on a
plus dquations que dinconnues an, ce qui nadmet pas toujours de rsolution possible parce
que le problme na pas en gnral de solution exacte en termes de n (n = 1, 2, ..., N). Donc le
surplus dquations est laiss, ou, ce qui revient au mme, il est perturb en ajoutant des
termes inconnus derreurs p(x, t) de telle faon quil soit compatible. On est donc amen
prendre comme quation vrifie exactement par lapproximation u N :
(48)
En appliquant la MRP (48) on a :
Frdric lie, juin 1981 - http://fred.elie.free.fr - page 18/56
(49)
Pour i = N+1, N+2, ... :
do :
(50)
1.5.4 Dans la suite nous allons regarder le cas o les fonctions de base sont les polynmes
de Chebyshev dfinis en 1.2.3. Nous laisserons de ct les sries de Fourier (pour celles-ci voir
par exemple rfrence [6]).
Polynmes de Chebyshev de T0 T5
cest--dire :
(52)
(53)
ce qui donne :
xj = cos (j/n)
j = 0, ..., n
Tn (xj) = (-1)j
De tels points de collocation sont ingalement espacs.
Si lon choisit une troncature lordre N, on choisira ceux qui sont extrema de T N(xj) :
(54)
Alors, pour tout n compris entre 0 et N :
(55)
Aux points de collocation on a :
donc :
(56)
que lon appelle transforme de Fourier rapide (FFT) des inconnues a n.
Inversement, posant :
il vient :
(57)
Dans le cas discret des points de collocation x j = cos j/N la proprit dorthogonalit discrte
scrit :
(58)
cest--dire :
On interprte ceci en disant que les a n sont les projections orthogonales de f sur la base
des Tn : ces coefficients an sont donns par les relations (23). Une fois dtermins, ces
coefficients an permettent dapprocher une fonction f selon lextension :
en utilisant lalgorithme de Clemshaw suivant, qui est tabli par rapport aux erreurs darrondi
(rfrence [3]) :
fN(x) = a0 B2 + B1x
(59-a)
avec la rcurrence :
En drivant lordre p :
donc :
cest--dire, en employant :
on a :
(60)
Sachant que :
(61)
Pour p = 1, on a :
a(1).
(62)
Pour p = 2, on a
a(2) ;
(61) donne :
(63)
Exprimons an-1(1) et an+1(1) en fonction des a(2) en utilisant (63) :
(64)
La relation (64) fournit un systme dquations linaires pour les inconnues a 0(2), ...., aN-2(2), en
supposant que les an sont connues. Do :
(65)
(66)
ce qui donne, en posant :
(67)
On a en particulier :
Plus particulirement :
(68)
(69)
Pour p fix, on vrifie que pour n assez grand la drive p-ime de T n se comporte comme n2p :
2.5 Convolution
Soit une fonction f(x,t) dveloppe suivant :
Le phnomne de Gibbs a lieu aux frontires pour les sries de Fourier, mais non pour les
sries de Chebyshev. Par contre, le phnomne de Gibbs peut avoir lieu pour -1 < x < 1 pour
les sries de Chebyshev.
Exemple : soit la fonction u(x) = signe (x) dfinie par :
signe (x) = 1 x 0
signe (x) = -1 x < 0
La dcomposition de signe(x) dans la base des T n(x) a pour coefficients :
do :
De faon gnrale, on dmontre que lallure locale des sommes partielles u N(x) des sries de
Chebyshev au voisinage dune discontinuit x 0 est donne par
a le graphe suivant :
(71)
On rappelle que la norme dun oprateur sur un espace fonctionnel de Hilbert H est dfinie par :
Le problme approch
||
(75)
Le thorme dquivalence de Lax-Richtmeyer (rfrence [8]) permet de faire le lien entre la
convergence et la stabilit :
: Si le problme (24) est bien pos et si (72) est
consistant, alors la stabilit de (72) implique la convergence de (72) vers le problme et
inversement.
THEOREME DEQUIVALENCE DE LAX-RICHTMEYER
On montre que loprateur EN(t) est un diffomorphisme que lon peut reprsenter par la
notation exponentielle
EN(t) = exp MNt
On dit que DN est un oprateur normal si DN commute avec son adjoint : DN*DN = DNDN*.
Dans ce cas :
o N est une valeur propre de D N et o e2Re(N)t reprsente une valeur propre de (exp M Nt)
(exp MN*t).
Et, toujours dans le cas o D N est normal, la condition de stabilit de Von Neumann pour DN
est
(76)
la condition tant ncessaire et suffisante.
Dans le cas doprateur non normal, qui est le cas le plus frquent, la condition de Von
Neumann est seulement ncessaire. On fait alors appel, dans ce cas, au thorme matriciel
de Kreiss (rfrence [1]) :
(1962) : Pour toute famille A(w), w tant un paramtre, de
matrices carres m x m, les propositions suivantes sont telles que (i) (ii) (iii) (iv) :
(i) Il existe des matrices symtriques H(w) telles que :
H(w)A(w) + A*(w)H(w) 0
et I H(w) (cest--dire les termes diagonaux de H sont 1)
||H(w)|| C pour une constante C
(ii) - ||exp A(w)t|| C, t 0
(iii) Re()||(I A(w))-1 C, pour une constante C et pour tout tel que Re() > 0
(iv) Il existe des matrices H(w) vrifiant (i) avec ||H(w)|| K(m)C, o K(m) ne dpend pas de
la famille A(w).
THOEREME MATRICIEL DE KREISS
Laptev et C. McCarthy (1975) ont montr que si C K(m)C, alors (iii) implique aussi (ii).
avec problme des valeurs initiales est dit algbriquement stable pour N si :
(77)
pour r, s et K(t) finis, et 0 t T. On dmontre, en utilisant la formule de Lie
3 LEQUATION DORR-SOMMERFELD
3.1 Introduction
Le problme est dtudier la stabilit temporelle de lcoulement de Poiseuille plan. Moyennant
certaines simplifications on part de lquation de base qui est celle dOrr-Sommerfeld, puis on
tudie la stabilit numrique de cette quation, une fois discrtise. On peut le faire, entre
autres, avec les mthodes spectrales, la mthode aux diffrences finies, la mthode de tir, etc.
et comparer les rsultats obtenus.
(78)
do le profil des vitesses, compte tenu des conditions aux limites : U(-a) = U(a) = 0
avec la continuit :
(82)
la condition (80) permet de ngliger les termes de 2 e ordre dus la perturbation. De plus, en
utilisant (78), le terme :
disparat dans la premire galit de (81). Il reste alors finalement les quations linarises :
(84)
On calcule successivement :
(87)
Lquation de continuit se traduit par :
Alors :
implique :
(88-a)
et v = v*(y) exp i(x - t) = -/x = -i(y) exp i(x - t) implique :
(88-b)
En remplaant (88-a) et (88-b) dans (87) on obtient lquation dOrr-Sommerfeld :
(89)
Frdric lie, juin 1981 - http://fred.elie.free.fr - page 34/56
(90)
(92)
A partir de (92) on montre que lon peut dduire une relation entre et R pour la stabilit neutre
Frdric lie, juin 1981 - http://fred.elie.free.fr - page 35/56
(93)
(quation de Rayleigh). Heisenberg (1924) cherche une solution de (93) sous la forme :
ce qui fournit deux des quatre solutions, 1 et 2. Ces solutions ne tiennent pas compte de la
viscosit, cest pourquoi les deux autres, 3 et 4, devront en tenir compte ( viscous
solutions ). En utilisant la mthode Wentzel-Brillouin-Kramer (WBK), Heisenberg obtient les
deux solutions visqueuses 3 et 4, sous la forme :
obtenus en remplaant (96) dans (89) et o y c est le point pour lequel U = . Lin (1945) fut le
premier montrer que le chemin correct dintgration doit tre au-dessous du point critique y c.
En remarquant que :
(rsultat analogue pour 4) et que 3(0)/3(-1), 3(0)/3(-1), etc. sont trs petits ds que R est
grand, on peut montrer que (92) se ramne :
ainsi qu :
(98)
Compte tenu de (98), (94) donne :
avec, notant wc = U - :
Lin dmontre ensuite que la partie imaginaire de la partie gauche de lgalit (98) scrit peu
prs :
(en ngligeant les termes en 4 et plus), et en dduit que (98) peut scrire :
(u - 1) + iv() = (Z)
(100)
(101)
o N et M sont des oprateurs diffrentiels linaires ; on remarquera que les conditions aux
limites (90) sont indpendantes de . Par la mthode aux diffrences finies lquation (101)
aboutit une quation matricielle, dite aux valeurs propres gnralises :
A + B = 0
que lon peut transformer en une quation aux valeurs propres ordinaires :
+I=0
dont la rsolution utilise lalgorithme Q-R (rfrence [17]).
Soit p le nombre de points du maillage utiliss et 2J + 1 le nombre de niveaux utiliss. A et B
ont alors les aspects suivants :
dont on dmontre que le n-ime coefficient du dveloppement est de lordre de 1/n 5 pour n
et que le rsidu de rang N est de lordre de 1/N 5 : ceci rsulte de la convergence non uniforme
des sries drives quatrime prs des frontires ; on obtient donc ainsi une prcision
quivalente celle obtenue par la mthode aux diffrences finies avec des erreurs de lordre de
(y)5.
Un autre exemple est le dveloppement de avec des fonctions de Reid-Chandrasekhar
Frdric lie, juin 1981 - http://fred.elie.free.fr - page 39/56
(102)
pour n 0, avec :
On peut simplifier (102), (103), (104) par des considrations de symtrie : ces quations sont
en effet spares en deux groupes sans couplage entre les coefficients a n, pour des n pairs et
impairs. Donc il existe un ensemble de solutions avec a n = 0 pour n impair ; la solution
correspondante (y) est alors symtrique cest--dire : (y) = (-y). Dans ce choix, le mode
propre instable concernera seulement la solution symtrique. On choisira alors N pair : N = 2M.
Ceci tant, il faut remarquer que les fonctions de base choisies ne vrifient pas les conditions
aux limites et que le dveloppement
ntant pas exact, les oprations formelles conduisant (102) ne sont pas correctes pour tous
les n. On dispose alors dau moins deux solutions : soit utiliser la mthode tau, avec
et pour laquelle (102) est valable pour 0 n N-4, soit utiliser la mthode de Galerkin en
utilisant des fonctions de base qui vrifient les conditions aux limites. Nous nous intressons
cette deuxime solution. La premire solution a t traite numriquement par Orszag
(rfrence [22]). Avec un Reynolds de R = 10 4 et = 1, il trouve que la valeur propre
correspondant au mode le plus instable est
= 0,23752649 + 0,00373967i
partir de M 25. Mais il trouve, comme il lexplique dans [1], que comme dans la mthode aux
diffrences finies, des modes instables parasites apparaissent, et il propose, toujours dans [1],
une mthode pour les viter (voir annexe 3).
En procdant un balayage numrique, il trouve que le Reynolds critique R c (cest--dire le
nombre de Reynolds le plus petit pour lequel apparat un mode propre instable) est :
Rc = 5772,22
et que le critique, c, est : c = 1,02056 0,00001.
Dautres valeurs critiques ont t trouves par dautres auteurs, avec des mthodes
diffrentes : Shen [14], en utilisant la thorie de Lin : Rc = 5360, c = 1,05 ; Thomas [19], en
utilisant les diffrences finies : Rc = 5780, c = 1,026 ; Nachtsheim (1964), rapport par Betchov
et Criminale (1967) ([26], [27]), en utilisant les diffrences finies : Rc = 5767, c = 1,02 ; Grosch
et Salwen [23] : Rc = 5750, c = 1,025.
(105)
Les quations de Galerkin sobtiennent en substituant la nouvelle expansion dans lquation
dOrr-Sommerfeld (89). Ces quations pour les coefficients de q n(y) (n pair) sont reformules
comme quations pour les coefficients a n (n = 0, 2, 4,..., N). Ces dernires quations sont (102)
pour n = 0, 2, 4,..., N avec un terme b 0 + nb2 ajout, avec
(106)
[22]).
= 1,02056
cest--dire les mmes valeurs trouves par Orszag. Ces valeurs restent les mmes pour N >
20.
CONCLUSION
Dans cette tude de la stabilit de lcoulement de Poiseuille plan, la mthode de Galerkin que
nous avons dveloppe a la mme prcision que la mthode tau dveloppe par Orszag, et
fournit les mmes valeurs. En particulier, nous retrouvons les valeurs critiques de R et de
calcules par Orszag : R = 5772,22 et = 1,02056.
De plus, elle a la proprit de faire disparatre les valeurs propres parasites. Ce rsultat est
intressant parce que la prsence des valeurs propres parasites pose un problme : si lon a le
droit de ne pas en tenir compte dans les calculs pour leur absence de signification physique
(comme le suggrent Gary et Helgason, et Orszag), on ne sait pas, par contre, a priori, pour
des coulements plus complexes les dtecter.
La mthode que nous avons introduite ne se limite pas au seul coulement de Poiseuille plan,
mais peut stendre des coulements de base unidimensionnels, sans parit, ce qui ncessite
des conditions aux limites supplmentaires. Il suffit pour cela de dterminer des fonctions de
base qn (comme en (105)) qui sont telles que :
sil y a L conditions aux limites, et vrifiant automatiquement ces conditions aux limites. On
applique alors la mthode Galerkin avec de telles fonctions de base, et lon obtient des
quations modifies par rapport celles obtenues par la mthode tau (comme en (106)). Ces
quations modifies se retrouvent facilement en appliquant des corrections directement tires
de la forme de qn, aux quations issues de la mthode Galerkin-tau. Ces corrections, linstar
Frdric lie, juin 1981 - http://fred.elie.free.fr - page 43/56
de (A2-8) (voir annexe 2), sont telles que, daprs la mthode des rsidus pondrs, lon ait :
o :
mthode tau et o
reprsente cette matrice modifie selon la mthode de Galerkin
employe avec les fonctions de base qn.
Une telle gnralisation donne des mthodes systmatiques de corrections, qui ont lavantage
dtre simples, et permet la suppression des valeurs propres parasites.
TABLEAUX
COURBES
(a)
(b)
COURBE 2 - Seuils de stabilit neutre pour un coulement de Poiseuille plan au voisinage des valeurs
critiques
ANNEXES
A1 Dmonstration de (102), (103), (104)
coefficient de la convolution 4y :
car :
on obtient le rsidu :
On applique ensuite la mthode des rsidus pondrs : (ResN, Tm) = 0, ce qui aboutit, aprs
arrangement des termes, puis multiplication par c n, compte tenu de lexpression du produit
scalaire (Tn, Tm) = cnnm, lquation (102).
On peut mettre (102) sous la forme matricielle suivante :
(A1.6)
avec:
= -i
(AC) = -R(E3) + 3R(E1) + R(E2)
(E) = -R(A2A) + R(AI)
X = [an]n = 0,...,N pair vecteur colonne des an.
Les matrices (A4A), (A2A), (AI), (E3), (E1), et (E2) correspondent aux termes suivants de
lquation dOrr-Sommerfeld :
Ces matrices (M) sont telles que le produit scalaire de leurs n-imes lignes par le vecteur
colonne X donne :
A2 Dmonstration de (106)
On dcompose N sur la nouvelle base des qn :
avec donc :
On prfre crire le nouveau rsidu partir de (A2.2) au lieu de (A2.1), pour mieux utiliser les
formules de drivation et de convolution (A1.1), (A1.2), (A1.3) et (A1.4), la signification des a n
tant cette fois donne par (A2.3). On obtient alors immdiatement :
(A2.4)
On obtient les quations de Galerkin en appliquant (A2.4) la mthode des rsidus pondrs
avec les fonctions de base qm, m 4 pair :
(ResN, qm) = 0
ce qui donne :
(A2.5)
On veut exprimer (A2.5) avec n 0 pair ; pour cela on fait de sorte que pour n = 0 : c0A0 2A0
Frdric lie, juin 1981 - http://fred.elie.free.fr - page 52/56
(A2.6)
ou encore, posant b2 = A0/2 A2/4 et b0 = -2A0 :
cnAn + nb2 + b0 = 0
n 0, pair
(A2.7)
avec:
(AC)*= -R(E3)* + 3R(E1)* + R(E2)*
(E)* = -R(A2A)* + R(AI)*
o (M)* reprsente la matrice (M) corrige compte tenu de (A2.6) :
(A2.8)
En appliquant (A2.8) pour chacune des matrices, on obtient :
la mthode tant encore valable pour lquation dOrr-Sommerfeld. les conditions aux limites
sont :
(x,t) = x (x,t) = 0 x = 1 (A3.3)
(o x = /x). Lide est quau lieu de substituer (A3.2) dans (A3.1) pour obtenir
xxt = xxxx
-1 x 1, t 0 (A3.4)
qui donne :
afin dobtenir :
compte tenu de (A3.7). Orszag tint le raisonnement suivant : (A3.6) avec 0 n N 4 est
quivalente (A3.9) avec 0 n N jointe (A3.10) pour 0 n N 4 ; on peut alors dire que
ce procd conduira de linstabilit parce que les conditions aux limites = 0 pour x = 1
pourront tre imposes (A3.2), et non (A3.1), tandis que les conditions x = 0 en x = 1
Frdric lie, juin 1981 - http://fred.elie.free.fr - page 54/56
pourront tre imposes (A3.1) pour > 0. Dautre part, si le systme est tronqu de la faon
indique par (A3.9) et (A3.10), chacune des quations peut jouer son propre rle en ajustant les
conditions aux limites : les conditions aux limites = 0 sont imposes (A3.10) tandis que les
conditions aux limites x = 0 le sont (A3.9).
REFERENCES
[1] D. GOTTLIEB, S. A. ORSZAG (1977), Numerical analysis of spectral methods theory and
applications NSF-CBMS Monograph 26, SIAM, Philadelphia
[2] S. A. ORSZAG, M. ISRAELI (1973), Numerical flow simulation by spectral methods in:
Numerical models of ocean circulation, Washington (1975)
[3] L. FOX, I. B. PARKER (1968): Chebyshev polynomials in numerical analysis in: Oxford
mathematical handbooks, Oxford University Press, London
[4] B. A. FINLAYSON (1972), The method of weighted residuals and variational principles,
Academic Press, New York
[5] C. LANCZOS (1956), Applied analysis Prentice-Hall, Englewood Cliffs, N. J.
[6] C. LANCZOS (1966), Discourse on Fourier series Hafner, New York
[7] B. BONDET DE LA BERNARDIE (1980), Contribution la modlisation et la simulation
numrique du comportement dynamique et thermique des fluides visqueux Thse de
doctorat, Institut de Mcanique des Fluides de Marseille
[8] R. D. RICHTMEYER, K. W. MORTON (1967), Difference methods for initial value
problems Interscience, N. Y.
[9] H. B. SQUIRE (1933), On the stability for three-dimensional disturbances of viscous fluid
flow between parallel walls Proc. Royal Soc., 1933
[10] W. HEISENBERG, ber Stabilitt und Turbulenz von Flssigkeitsstromen Ann. d. Phys.
vol. 74, pp. 577-627, 1924
[11] C. C. LIN, On the stability of two-dimensional parallel flows Quart. Appl. Math., Vol. 3,
pp. 117-142, 218-234, 277-301, 1945
[12] W. TOLLMIEN, ber die Entstehung der Turbulenz Ges. d. Wiss. Gttingen, Math.
Phys. Klasse, Nachr., pp. 21-44, 1929
[13] H. SCHLICHTING, Zur Enstehung der Turbulenz bei der Plattenstrmung Ges. d. Wiss.
Gttingen, Math. Phys. Klasse, Nachr., pp. 181-208, 1933
[14] S. F. SHEN, Journal of Aeron. Sci., vol. 21 (1954)
[15] J. GARY, R. HELGASON, A matrix method for ordinary differential eigenvalue problems
J. Comput. Phys. 5, 169-187 (1970)
[16] S. CONTE, The numerical solution of linear boundary value problems SIAM Rev. 8
(1966), 301-321
[17] J. WILKINSON, The algebraic eigenvalue problems Clarendon Press, Oxford, 1965
Frdric lie, juin 1981 - http://fred.elie.free.fr - page 55/56
[18] M. OSBORNE, Numerical methods for hydrodynamic stability problems SIAM, J. Appl.
Math. 15 (1967), 539-558
[19] L. THOMAS, The stability of plane Poiseuille flow Phys. Rev. 91 (1953), 780-783
[20] S. A. ORSZAG, 1971a, Galerkin approximations to flows within slabs, spheres and
cylinders Phys; Rev. Lett. 26, 1100-1103
[21] S. A. ORSZAG, 1971b, Numerical simulation of incompressible flows within simple
boundaries: 1. Galerkin (spectral) representations Studies in Appl. Math. 50, 293-327
[22] S. A. ORSZAG, 1971, Accurate solution of the Orr-Sommerfeld stability equation J.
Fluid Mech. (1971) vol. 50, part 4, pp. 689-703
[23] C. E. GROSCH, H. SALWEN, 1968, The stability of steady and time-dependent plane
Poiseuille flow J. Fluid. Mech. 34
[24] A. P. GALLAGHER, A. McD. MERCER, 1962, On the behaviour of small disturbances in
plane Couette flow J. Fluid Mech. 13
[25] C. L. DOLPH, D. C. LEWIS, 1958, On the application of infinite systems of ordinary
differential equations to perturbations of plane Poiseuille flow Quart. Appl. Math. 16
[26] NACHTSHEIM P. R., 1964, An initial value method for the numerical treatment of the OrrSommerfeld equation for the case of plane Poiseuille flow NASA Tech. D-2414
[27] BETCHOV R. and CRIMINALE W. O. 1967, Stability of parallel flows - Academic