• Aucun résultat trouvé

Quelques preuves de convergence

Transmission = Dirichlet

Algorithmek≥1 Ω= (−∞, L)

Quelques preuves de convergence

Transmission = Dirichlet

Erreurs : et les solutions s’´ecrivent

ˆ

Quelques preuves de convergence

Transmission = Dirichlet

En utilisant les CL enx=Letx= 0, on obtient ˆ

ek1(x, ω) =eL(λ−λ+)ˆek−21 , x≤L ˆ

ek2(x, ω) =eL(λ−λ+)ˆek−22 , x≥0.

Taux de convergence ρ(ω) =

Quelques preuves de convergence

Transmission = Dirichlet

|ˆeki| ≤e−dk/2eαL|ˆe0i|.

L’erreur tend vers0dans chaque sous domaine PlusLest grand, plus la convergence est rapide SiL= 0, pas de convergence : eˆk+1i = ˆek−1i ,∀k >1.

Quelques preuves de convergence

Transmission = DtN

= (−∞, L) (∂t+L)ek1= 0, ek1(x,0) = 0,

B+ek1(L, t) =B+ek−12 (L, t),

+= (0,+∞) (∂t+L)ek2 = 0, ek2(x,0) = 0,

Bek2(0, t) =Bek−11 (0, t), B+=∂x−ΛetB=∂x−Λ+

On a pourk≥1

ˆ

ek1(x, ω) =αk(ω)eλ+x, x≤L ˆ

ek2(x, ω) =βk(ω)eλx, x≥0, et donc

xˆek1(x, ω)−λ+ˆek1(x, ω) = 0, x≤L

xˆek2(x, ω)−λk2(x, ω) = 0, x≥0.

Commeeˆ0i sont quelconques, ˆe1i sont non triviaux.

Quelques preuves de convergence

Transmission = DtN

Par les conditions de transmission, on a

xˆe21(L, ω)−λ21(L, ω) =∂x12(L, ω)−λ12(L, ω) =0,

x22(0, ω)−λ+ˆe22(0, ω) =∂x11(0, ω)−λ+ˆe11(0, ω) =0.

et donc

α22= 0 soit encore

ˆ

e21= ˆe22= 0.

On a donc

u21=u|

et u22=u| Ω+. Convergence en 2 ´etape∀L.

SWR pour ´ Eq. R´ eac/Diff/Advec.

Remarques

Pour la chaleur, on peut approcherΛ±=∂t1/2

√ν par une quadrature.

Ex : Antoine, CB, 03,

Pour l’´equation g´en´erale, c’est trop compliqu´e : on doit proc`eder `a des approximations du symbole de l’op´erateurΨDO.

SWR pour ´ Eq. R´ eac/Diff/Advec.

Transmission = Taylor 0 et 1

Taylor deδ1/2pour|ω| 1.

δ1/2≈p

a2+ 4νc+ 2ν

√a2+ 4νcω.

D’o`u

λ±0 =a±p

2ν etλ±1 =a±p 2ν ±qω , avecp >0etq >0. Ici,p=q=√

a2+ 4νc: valable seulement pour|ω| 1.

Optimisation depetq

Conditions de transmission optimis´ees

xuk+11 −Sjuk+11 =∂xuk2−Sjuk2, j= 0,1,

xuk+12 −Sj+uk+12 =∂xuk1−Sj+uk1, j= 0,1.

Quelques preuves de convergence

Transmission = Taylor 0 et 1

On aˆek1keλ+x,x≤Leteˆk2keλx,x≥0et

xˆek+11 −Sjk+11 =∂xk2−Sjk2, j= 0,1,

xˆek+12 −Sj+k+12 =∂xk1−Sj+ˆek1, j= 0,1.

On trouve

αk+1+−λ0)eλ+Lk−λ0)eλL, βk+1−λ+0) =αk+−λ+0).

Ainsi

αk+1= λ−λ0

λ+−λ0 ·λ+−λ+0

λ−λ+0 e−λ+)Lαk−1.

Or,λ++00 =a/ν et donc

αk+1=

λ+−λ+0 λ−λ+0

2

e−λ+)Lαk−1.

Quelques preuves de convergence

Transmission = Taylor 0 et 1

Taux de convergence

ρ0(ω, p) =

On a convergence mˆeme si L= 0et elle est plus rapide que Dirichlet.

Idem pour l’ordre 1.

Quelques preuves de convergence

Transmission = optimisation depetq

Taylor est bas´e sur une approximation basse fr´equence.

Pour obtenir une meilleure approximation,optimisation du taux de convergence sur toutes les fr´equences.

V. Martin, 2003, th`ese + articles.

Lorsque l’on discr`etise en temps, les fr´equences disponibles sont|ω| ∈hπ T, π

Taux de convergence sans recouvrement

ν= 0.01,a= 1,c= 0,

∆t= 10−2,L= 0et T = 1.

Quelques preuves de convergence

Transmission = optimisation depetq

Taylor est bas´e sur une approximation basse fr´equence.

Pour obtenir une meilleure approximation,optimisation du taux de convergence sur toutes les fr´equences.

V. Martin, 2003, th`ese + articles.

Lorsque l’on discr`etise en temps, les fr´equences disponibles sont|ω| ∈hπ T, π

Taux de convergence avec recouvrement

ν= 0.01,a= 1,c= 0,

∆t= 10−2,L= 10−4 et T = 1.

Quelques preuves de convergence

Transmission = optimisation depetq

A r´esoudre

minp>0 max

π

Quelques preuves de convergence

Transmission = optimisation depetq

4 5

Taux de convergence sans recouvrement

ν= 0.01,a= 1, c= 0,

∆t= 10−2, L= 0etT = 1.

Exemples

Halpern,Absorbing Boundary Conditions and Optimized Schwarz Waveform Relaxation, BIT 03

Ω = (0,6),T = 2.5, CL. Dirichlet homog`enes,∆x= 2.10−2,∆t= 5.10−3, 8 sous-domaines.

x

0 1 2 3 4 5 6

u

0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9

1 time = 0.000

Exemples

Conditions de transmission de Dirichlet

0 1 2 x3 4 5 6

Exemples

Conditions de transmission optimis´ee

0 1 2 x3 4 5 6

Exemples

Halpern,Absorbing Boundary Conditions and Optimized Schwarz Waveform Relaxation, BIT 03 TAYLOR ORDER 0 OPTIMIZED ORDER 0 TAYLOR ORDER 1 OPTIMIZED ORDER 1

iteration

error

4 sous domaines

0 1 2 3 4 5 6 7 8 9 10 TAYLOR ORDER 0 OPTIMIZED ORDER 0 TAYLOR ORDER 1 OPTIMIZED ORDER 1

iteration

error

8 sous domaines

Plan

1 De la DDM en espace `a la DDM espace-temps

2 Historique de la m´ethode de relaxation d’ondes

3 La m´ethode SWR

4 Propri´et´es

5 D´eveloppements

6 Mise en œuvre

D´ eveloppements

´Eq r´eaction-diffusion-convection 2D : V. Martin, th`ese 2003, Appl. Num. Math.

2005

tu+b· ∇u−ν∆u+cu=f, avecb= (a, b).

R´esultats de convergence similaires

Existence, unicit´e, r´egularit´e dans espaces de Sobolev Vitesse non constante

u= 0

u= 0

∂u

∂x = 0

∂u

∂y = 0

+

y x

D´ eveloppements

´Eq r´eaction-diffusion-convection 2D : V. Martin, th`ese 2003, Appl. Num. Math.

2005

0.2 Ordre 0 optimisé

Dirichlet

0.2 Ordre 0 optimisé

Dirichlet solution

Coupe de l’it´er´e 2

D´ eveloppements

´Eq r´eaction-diffusion-convection 2D : V. Martin, th`ese 2003, Appl. Num. Math.

2005

0.2 Ordre 0 optimisé

Dirichlet solution

Coupe de l’it´er´e 3

D´ eveloppements

´Eq r´eaction-diffusion-convection 2D : V. Martin, th`ese 2003, Appl. Num. Math.

2005

2 Taylor Ordre0

Ordre0 Optimisé Taylor Ordre1 Ordre1 Optimisé

ν= 0.01

Convergence (sans recouvrement) pour ν= 0.01

Convergence (sans recouvrement) pour ν= 1

D´ eveloppements

´Eq r´eaction-diffusion-convection 2D : V. Martin, th`ese 2003, Appl. Num. Math.

2005

4 Taylor Ordre0

Ordre0 Optimisé Taylor Ordre1 Ordre1 Optimisé

ν= 0.01

Convergence (sans recouvrement) pour ν= 0.01

4 Taylor Ordre0

Ordre0 Optimisé Taylor Ordre1 Ordre1 Optimisé

ν= 1

Convergence (sans recouvrement) pour ν= 1

D´ eveloppements

´Eq r´eaction-diffusion-convection 2D : V. Martin, th`ese 2003, Appl. Num. Math.

2005

4 Taylor Ordre0

Ordre0 Optimisé Taylor Ordre1 Ordre1 Optimisé Ordre2 Optimisé

ν= 1

Convergence (sans recouvrement) pour ν= 1

D´ eveloppements

´Eq r´eaction-diffusion-convection 2D : V. Martin, th`ese 2003, Appl. Num. Math.

2005

4 Taylor Ordre0

Ordre0 Optimisé Taylor Ordre1 Ordre1 Optimisé

ν= 1

Convergence (sans recouvrement) pour ν= 1

Convergence (avec recouvrement) pour ν= 1

Un recouvrement am´eliore la convergence

D´ eveloppements

´Eq r´eaction-diffusion-convection 2D : V. Martin, th`ese 2003, Appl. Num. Math.

2005

R´esultats pour vitesse variable similaires

Couplage zones convection pure / convection-diffusion; Aussi : Gander, Halpern, Japhet, Martin 2007.

D´ eveloppements

D’Anfray, Halpern, Ryan, M2AN 2002, Couplage Diff´erences Finies/´El´ements Finis

´Evolution d’une bulle chaude autour d’un profil d’aile, fenˆetre de 10 pas de temps.

D´ eveloppements

D´ eveloppements

Advection nonlin´eaire, Gander, Rohde,Overlapping Schwarz Waveform Relaxation for Convection Dominated Dissipative Conservation Laws, SIAM J. Sci.

Comp., 2005

tu+∂xf(u) =ε∂x2u.

Equation de r´´ eaction-diffusion semi-lin´eaire, Caetano, Gander, Halpern et Szeftel Schwarz Waveform Relaxation Algorithms for Semilinear Reaction-Diffusion Equations, Networks and Heterogeneous Media, AMS, 2010.

tu−ν∆u+f(u) = 0.

Condition optimis´ee d’ordre 2 et condition de transmission non lin´eaire.

Syst`eme d’´equations de r´eaction-diffusion semi-lin´eaires, Descombes, Dolean and GanderSchwarz Waveform Relaxation Methods for Systems of Semi-Linear Reaction-Diffusion Equations, Lecture Notes in CSE, 2010.

Advection-r´eaction-diffusion avec coeff. non constants + Galerkin discontinu, Halpern, Japhet et SzeftelOptimized Schwarz Waveform Relaxation and Discontinuous Galerkin Time Stepping for Heterogeneous Problem, SIAM J. Numer.

Anal., 2012

D´ eveloppements

ξ∂tu+∇ ·(bu−ν∇u) = 0.

ξporosit´e discontinue =ξ1= 0.1etξ2 = 1,Ω = (0,1)×(0,2),T= 1.5, ν1= 0.003,ν2= 0.01

Domaine

DG apr`es 10 fenˆetres en temps et 5 it´erations par

fenˆetre

Erreur

D´ eveloppements

Equation des ondes´

M.J. Gander, L. Halpern and F. Nataf,Optimal Schwarz Waveform Relaxation for the One Dimensional Wave Equation, SIAM J. Numer. Anal., 2003.

SWR optimis´ee M.J. Gander and L. Halpern,Absorbing Boundary Conditions for the Wave Equation and Parallel Computing, Math. of Comp., 2004.

Onde non lin´eaire, L. Halpern and J. Szeftel.,Nonlinear Schwarz Waveform Relaxation for Semilinear Wave Propagation, Math. Comp., 2009

Maxwell

V. Dolean, M. El Bouajaji, M.J. Gander and S. Lanteri,Optimized Schwarz Methods for Maxwell’s Equations, Lecture Notes in CSE, 2010.

Y. Courvoisier, M.J. Gander,Time domain Maxwell equations and Schwarz Waveform Relaxation methods, Lecture Notes in CSE, 2012.

D´ eveloppements

Schr¨odinger

Lin´eaire, L. Halpern and J. Szeftel. Optimized and Quasi-Optimal Schwarz Waveform Relaxation for the One Dimensional Schr¨odinger, M3AS, 2010.

Lin´eaire + potentiels, X. Antoine, E. Lorin, A.D. Bandrauk,Domain Decomposition Methods and High-Order Absorbing Boundary Conditions for the Numerical Simulation of the Time Dependent Schr¨odinger Equation with Ionization and Recombination by Intense Electric Field, JCP, 2014, 2016.

Lin´eaire + potentiels + nonlin´eaire multi-D, C. Besse, F. Xing 2016, 2017.

Fluides

V. Martin,Schwarz Waveform Relaxation Algorithms for the Linear Viscous Equatorial Shallow Water Equations, SIAM J. Sci. Comput., 2009

E. Audusse, P. Dreyfuss, B. Merlet,Schwartz wave form relaxation for primitive equations of the ocean, SIAM J. Sci. Comput. 2010.

Plan

1 De la DDM en espace `a la DDM espace-temps

2 Historique de la m´ethode de relaxation d’ondes

3 La m´ethode SWR

4 Propri´et´es

5 D´eveloppements

6 Mise en œuvre

Documents relatifs