adaptive methods for elliptic pde with random operators€¦ · the adaptive wavelet approach...
TRANSCRIPT
![Page 1: Adaptive Methods for Elliptic PDE with Random Operators€¦ · The Adaptive Wavelet Approach computethe residual to sufficient accuracy The adaptive algorithms Cohen, Dahmen and](https://reader034.vdocuments.us/reader034/viewer/2022042217/5ebfec4997389926ad05ea29/html5/thumbnails/1.jpg)
Adaptive Methods for Elliptic PDE withRandom Operators
Claude Jeffrey Gittelson
Purdue University
SIAM Conference on Uncertainty QuantificationRaleigh, North Carolina
April 4, 2012
![Page 2: Adaptive Methods for Elliptic PDE with Random Operators€¦ · The Adaptive Wavelet Approach computethe residual to sufficient accuracy The adaptive algorithms Cohen, Dahmen and](https://reader034.vdocuments.us/reader034/viewer/2022042217/5ebfec4997389926ad05ea29/html5/thumbnails/2.jpg)
Outline
1 Random Elliptic PDEA Model ProblemLegendre Chaos ExpansionStructure of the Operator
2 Adaptive Stochastic GalerkinGalerkin ProjectionAn Idealized Adaptive Algorithm
3 The Adaptive Wavelet ApproachComputation of the ResidualAn Adaptive AlgorithmSpatial Discretization
4 The Adaptive Finite Element ApproachA Residual-based Error Estimator
![Page 3: Adaptive Methods for Elliptic PDE with Random Operators€¦ · The Adaptive Wavelet Approach computethe residual to sufficient accuracy The adaptive algorithms Cohen, Dahmen and](https://reader034.vdocuments.us/reader034/viewer/2022042217/5ebfec4997389926ad05ea29/html5/thumbnails/3.jpg)
A Model ProblemElliptic boundary value problem on a domain D ⊂ Rd,
−∇ · (a∇u) = f in D,u = 0 on ∂D.
Karhunen–Loeve expansion of the random field a,
a(y, x) B a(x) +∞∑
m=1
ymam(x) , y = (ym)∞m=1∈ [−1, 1]∞ .
Assume the random variables ym are independent anduniformly distributed on [−1, 1], and
∞∑m=1
∥∥∥∥∥am
a
∥∥∥∥∥L∞(D)
< 1 , a > 0 , a, 1/a ∈ L∞(D) .
![Page 4: Adaptive Methods for Elliptic PDE with Random Operators€¦ · The Adaptive Wavelet Approach computethe residual to sufficient accuracy The adaptive algorithms Cohen, Dahmen and](https://reader034.vdocuments.us/reader034/viewer/2022042217/5ebfec4997389926ad05ea29/html5/thumbnails/4.jpg)
Legendre Chaos ExpansionExpand the solution u(y, x) as
u(y, x) =∑µ∈F
uµ(x)Pµ(y)
for the tensorized Legendre polynomials
Pµ(y) B∞∏
m=1
Pµm(ym) =∏
m∈supp µ
Pµm(ym) ,
µ ∈ F B {µ ∈ N∞0
; # supp µ < ∞} .
The coefficients u B (uµ)µ∈F in H10(D) satisfy an equation
Au = f ,
where A represents −∇ · (a∇ ) in the basis (Pµ)µ∈F .
![Page 5: Adaptive Methods for Elliptic PDE with Random Operators€¦ · The Adaptive Wavelet Approach computethe residual to sufficient accuracy The adaptive algorithms Cohen, Dahmen and](https://reader034.vdocuments.us/reader034/viewer/2022042217/5ebfec4997389926ad05ea29/html5/thumbnails/5.jpg)
Structure of the OperatorDeterministic differential operators from coefficientsa(y) = a +
∑m ymam,
Av B −∇ · (a∇v) , Amv B −∇ · (am∇v) .
Action of A on u0 = u0P0(y),
A(u0P0(y)) = (Au0)P0(y) +∞∑
m=1
1√
3(Amu0)Pεm(y) .
Similar for the other terms in u(y) =∑µ∈F uµPµ(y).
Au is an infinite sequence even if u is finitely supported.
Truncated operators A[M]: truncate series after M terms.support increases at most by a factor 2M + 1.
![Page 6: Adaptive Methods for Elliptic PDE with Random Operators€¦ · The Adaptive Wavelet Approach computethe residual to sufficient accuracy The adaptive algorithms Cohen, Dahmen and](https://reader034.vdocuments.us/reader034/viewer/2022042217/5ebfec4997389926ad05ea29/html5/thumbnails/6.jpg)
Structure of the OperatorDeterministic differential operators from coefficientsa(y) = a +
∑m ymam,
Av B −∇ · (a∇v) , Amv B −∇ · (am∇v) .
Action of A[M] on u0 = u0P0(y),
A[M](u0P0(y)) = (Au0)P0(y) +M∑
m=1
1√
3(Amu0)Pεm(y) .
Similar for the other terms in u(y) =∑µ∈F uµPµ(y).
Au is an infinite sequence even if u is finitely supported.
Truncated operators A[M]: truncate series after M terms.support increases at most by a factor 2M + 1.
![Page 7: Adaptive Methods for Elliptic PDE with Random Operators€¦ · The Adaptive Wavelet Approach computethe residual to sufficient accuracy The adaptive algorithms Cohen, Dahmen and](https://reader034.vdocuments.us/reader034/viewer/2022042217/5ebfec4997389926ad05ea29/html5/thumbnails/7.jpg)
Outline
1 Random Elliptic PDEA Model ProblemLegendre Chaos ExpansionStructure of the Operator
2 Adaptive Stochastic GalerkinGalerkin ProjectionAn Idealized Adaptive Algorithm
3 The Adaptive Wavelet ApproachComputation of the ResidualAn Adaptive AlgorithmSpatial Discretization
4 The Adaptive Finite Element ApproachA Residual-based Error Estimator
![Page 8: Adaptive Methods for Elliptic PDE with Random Operators€¦ · The Adaptive Wavelet Approach computethe residual to sufficient accuracy The adaptive algorithms Cohen, Dahmen and](https://reader034.vdocuments.us/reader034/viewer/2022042217/5ebfec4997389926ad05ea29/html5/thumbnails/8.jpg)
Galerkin ProjectionGalerkin projection u = (uµ)µ∈Λ, u(y) =
∑µ∈Λ uµPµ(y), Λ ⊂ F ,
〈Au, v〉 = 〈f, v〉
for all v in the same subspace as u, i.e. orthogonal projection ofu w.r.t. the energy norm ‖v‖2 = 〈Av, v〉 on `2(F ; H1
0(D)).
Residual r = (rµ)µ∈F = f − Au = A(u − u) ∈ `2(F ; H−1(D)).
‖u − u‖ h ‖u − u‖ h ‖r‖
Given Λ ⊂ F , finite element spaces for uµ, compute u byconjugate gradient iteration,preconditioner A = −∇ · (a∇ ) applies independently toeach uµ.
![Page 9: Adaptive Methods for Elliptic PDE with Random Operators€¦ · The Adaptive Wavelet Approach computethe residual to sufficient accuracy The adaptive algorithms Cohen, Dahmen and](https://reader034.vdocuments.us/reader034/viewer/2022042217/5ebfec4997389926ad05ea29/html5/thumbnails/9.jpg)
An Idealized Adaptive AlgorithmInitialize Λ0 B ∅, u0 = 0.
1 Compute ri = (riµ)µ∈F B f − Aui.
2 Refine Λi to Λi+1 based on ri.3 Compute the Galerkin projection ui+1 = (ui+1
µ )µ∈Λi+1
If ‖ri|Λi+1‖ ≥ ϑ‖ri‖ with 0 < ϑ < 1, then∥∥∥u − ui+1∥∥∥ ≤ √
1 − κ−1ϑ2∥∥∥u − ui
∥∥∥ .
If ϑ < κ−1/2 and #Λi+1 is minimal with ‖ri|Λi+1‖ ≥ ϑ‖ri‖, then
‖u − πN(u)‖ . N−s =⇒∥∥∥u − ui
∥∥∥ . (#Λi)−s ,
where πN(u) is a best N-term approximation of u in `2(F ; H10(D)).
![Page 10: Adaptive Methods for Elliptic PDE with Random Operators€¦ · The Adaptive Wavelet Approach computethe residual to sufficient accuracy The adaptive algorithms Cohen, Dahmen and](https://reader034.vdocuments.us/reader034/viewer/2022042217/5ebfec4997389926ad05ea29/html5/thumbnails/10.jpg)
Outline
1 Random Elliptic PDEA Model ProblemLegendre Chaos ExpansionStructure of the Operator
2 Adaptive Stochastic GalerkinGalerkin ProjectionAn Idealized Adaptive Algorithm
3 The Adaptive Wavelet ApproachComputation of the ResidualAn Adaptive AlgorithmSpatial Discretization
4 The Adaptive Finite Element ApproachA Residual-based Error Estimator
![Page 11: Adaptive Methods for Elliptic PDE with Random Operators€¦ · The Adaptive Wavelet Approach computethe residual to sufficient accuracy The adaptive algorithms Cohen, Dahmen and](https://reader034.vdocuments.us/reader034/viewer/2022042217/5ebfec4997389926ad05ea29/html5/thumbnails/11.jpg)
The Adaptive Wavelet Approachcompute the residual to sufficient accuracy
The adaptive algorithmsCohen, Dahmen and DeVore, Adaptive wavelet methods for ellipticoperator equations: convergence rates, Math. Comp., 2001.
Gantumur, Harbrecht and Stevenson, An optimal adaptive waveletmethod without coarsening of the iterands, Math. Comp., 2007.
are formulated for abstract Riesz bases.
Apply to the basis (Pµ)µ∈F in place of wavelets.
Gittelson, An adaptive stochastic Galerkin method for random ellipticoperators, Math. Comp., accepted.
Gittelson, Adaptive Galerkin methods for parametric and stochasticoperator equations, Ph.D. Thesis, ETH Zurich, 2011, supervised by Ch.Schwab.
![Page 12: Adaptive Methods for Elliptic PDE with Random Operators€¦ · The Adaptive Wavelet Approach computethe residual to sufficient accuracy The adaptive algorithms Cohen, Dahmen and](https://reader034.vdocuments.us/reader034/viewer/2022042217/5ebfec4997389926ad05ea29/html5/thumbnails/12.jpg)
Computation of the ResidualConstruct approximation q = (qµ)µ∈Ξ of A−1r = A−1(f − Au).
1 Approximate Audecompose u = (uµ)µ∈Λ into u = u{1} + · · · + u{J} accordingto ‖uµ‖,truncations Mj determine Ξ ⊂ F through
g = (gµ)µ∈Ξ B A[M1]u{1} + · · · + A[MJ]u{J} ≈ Au .
2 Compute q B A−1(f − g)independent solve of Aqµ = fµ − gµ for each µ ∈ Ξ.
3 Relative accuracy ‖q − A−1r‖ ≤ ω‖q‖ ensures
‖r|Ξ‖ ≥ ϑ‖r‖ , ϑ =1 − ω1 + ω
.
![Page 13: Adaptive Methods for Elliptic PDE with Random Operators€¦ · The Adaptive Wavelet Approach computethe residual to sufficient accuracy The adaptive algorithms Cohen, Dahmen and](https://reader034.vdocuments.us/reader034/viewer/2022042217/5ebfec4997389926ad05ea29/html5/thumbnails/13.jpg)
An Adaptive AlgorithmInitialize Λ0 B ∅, u0 = 0.
1 Compute qi = (qiµ)µ∈Ξi with∥∥∥qi
− A−1ri∥∥∥ ≤ ω ∥∥∥qi
∥∥∥ .
2 Construct a minimal set Λi ⊂ Λi+1 ⊂ Λi ∪ Ξi with∥∥∥qi|Λi+1 − A−1ri
∥∥∥ ≤ ω ∥∥∥qi|Λi+1
∥∥∥ .
3 Compute the Galerkin projection ui+1 = (ui+1µ )µ∈Λi+1 .
Ensured convergence in the energy norm,∥∥∥u − ui+1∥∥∥ ≤ √
1 − κ−1ϑ2∥∥∥u − ui
∥∥∥ , ϑ =1 − ω1 + ω
.
![Page 14: Adaptive Methods for Elliptic PDE with Random Operators€¦ · The Adaptive Wavelet Approach computethe residual to sufficient accuracy The adaptive algorithms Cohen, Dahmen and](https://reader034.vdocuments.us/reader034/viewer/2022042217/5ebfec4997389926ad05ea29/html5/thumbnails/14.jpg)
ExampleElliptic two-point boundary value problem
−∇ · (a∇u) = f in (0, 1), u(0) = u(1) = 0 .
Model problemf (x) = xa(x) = 1, i.e. A = −∆
Fast decayam(x) = cm−4 sin(mπx), scaled such that c
∑∞
m=1 m−4 = 5/6
Slow decayam(x) = cm−2 sin(mπx), scaled such that c
∑∞
m=1 m−2 = 1/2
Spatial discretizationlinear finite elementsuniform mesh with 1024 elements
![Page 15: Adaptive Methods for Elliptic PDE with Random Operators€¦ · The Adaptive Wavelet Approach computethe residual to sufficient accuracy The adaptive algorithms Cohen, Dahmen and](https://reader034.vdocuments.us/reader034/viewer/2022042217/5ebfec4997389926ad05ea29/html5/thumbnails/15.jpg)
Example (fast decay)
0 0.2 0.4 0.6 0.8 1
0.5
1
1.5
a(x)
0 0.2 0.4 0.6 0.8 10
2
4
6
8
10·10−2 u(x)
![Page 16: Adaptive Methods for Elliptic PDE with Random Operators€¦ · The Adaptive Wavelet Approach computethe residual to sufficient accuracy The adaptive algorithms Cohen, Dahmen and](https://reader034.vdocuments.us/reader034/viewer/2022042217/5ebfec4997389926ad05ea29/html5/thumbnails/16.jpg)
Example (fast decay)
100 101 102 103
10−5
10−4
10−3
10−2
10−1
100
#Λ, #Ξ
erro
rbou
nd
solutionresidual
![Page 17: Adaptive Methods for Elliptic PDE with Random Operators€¦ · The Adaptive Wavelet Approach computethe residual to sufficient accuracy The adaptive algorithms Cohen, Dahmen and](https://reader034.vdocuments.us/reader034/viewer/2022042217/5ebfec4997389926ad05ea29/html5/thumbnails/17.jpg)
Example (slow decay)
0 0.2 0.4 0.6 0.8 1
0.8
1
1.2
a(x)
0 0.2 0.4 0.6 0.8 10
2
4
6
8·10−2 u(x)
![Page 18: Adaptive Methods for Elliptic PDE with Random Operators€¦ · The Adaptive Wavelet Approach computethe residual to sufficient accuracy The adaptive algorithms Cohen, Dahmen and](https://reader034.vdocuments.us/reader034/viewer/2022042217/5ebfec4997389926ad05ea29/html5/thumbnails/18.jpg)
Example (slow decay)
100 101 102 103 104
10−3
10−2
10−1
#Λ, #Ξ
erro
rbou
nd
solutionresidual
![Page 19: Adaptive Methods for Elliptic PDE with Random Operators€¦ · The Adaptive Wavelet Approach computethe residual to sufficient accuracy The adaptive algorithms Cohen, Dahmen and](https://reader034.vdocuments.us/reader034/viewer/2022042217/5ebfec4997389926ad05ea29/html5/thumbnails/19.jpg)
Spatial DiscretizationApproximate solution
u = (uµ)µ∈Λ , u(y) =∑µ∈Λ
uµPµ(y) ,
with uµ in in separate finite element spaces (Vµ)µ∈Λ.
Computation of the residual1 Approximate Au,
refinement of Λ to Ξ.2 Compute an approximation q of A−1(f − g),
independent solves of Aqµ = fµ − gµ for all µ ∈ Ξ,a posteriori error estimator ensures accuracy,finite element spaces (Wµ)µ∈Ξ for (qµ)µ∈Ξ.
Refinement of Vµ chosen as subspace of Vµ +Wµ, µ ∈ Λ ∪ Ξ.
![Page 20: Adaptive Methods for Elliptic PDE with Random Operators€¦ · The Adaptive Wavelet Approach computethe residual to sufficient accuracy The adaptive algorithms Cohen, Dahmen and](https://reader034.vdocuments.us/reader034/viewer/2022042217/5ebfec4997389926ad05ea29/html5/thumbnails/20.jpg)
ExampleElliptic two-point boundary value problem
−∇ · (a∇u) = f in (0, 1), u(0) = u(1) = 0 .
Model problemf (x) = xa(x) = 1, i.e. A = −∆
Fast decayam(x) = cm−4 sin(mπx), scaled such that c
∑∞
m=1 m−4 = 5/6
Slow decayam(x) = cm−2 sin(mπx), scaled such that c
∑∞
m=1 m−2 = 1/2
Spatial discretizationlinear finite elements on uniform dyadic meshesresidual-based a posteriori error estimator
![Page 21: Adaptive Methods for Elliptic PDE with Random Operators€¦ · The Adaptive Wavelet Approach computethe residual to sufficient accuracy The adaptive algorithms Cohen, Dahmen and](https://reader034.vdocuments.us/reader034/viewer/2022042217/5ebfec4997389926ad05ea29/html5/thumbnails/21.jpg)
Example (fast decay)
100 101 102 103 104 105 106
10−5
10−4
10−3
10−2
10−1
100
degrees of freedom
erro
rbou
nd
solutionresidual
![Page 22: Adaptive Methods for Elliptic PDE with Random Operators€¦ · The Adaptive Wavelet Approach computethe residual to sufficient accuracy The adaptive algorithms Cohen, Dahmen and](https://reader034.vdocuments.us/reader034/viewer/2022042217/5ebfec4997389926ad05ea29/html5/thumbnails/22.jpg)
Example (slow decay)
100 101 102 103 104 105 106 107
10−3
10−2
10−1
degrees of freedom
erro
rbou
ndsolutionresidual
![Page 23: Adaptive Methods for Elliptic PDE with Random Operators€¦ · The Adaptive Wavelet Approach computethe residual to sufficient accuracy The adaptive algorithms Cohen, Dahmen and](https://reader034.vdocuments.us/reader034/viewer/2022042217/5ebfec4997389926ad05ea29/html5/thumbnails/23.jpg)
Outline
1 Random Elliptic PDEA Model ProblemLegendre Chaos ExpansionStructure of the Operator
2 Adaptive Stochastic GalerkinGalerkin ProjectionAn Idealized Adaptive Algorithm
3 The Adaptive Wavelet ApproachComputation of the ResidualAn Adaptive AlgorithmSpatial Discretization
4 The Adaptive Finite Element ApproachA Residual-based Error Estimator
![Page 24: Adaptive Methods for Elliptic PDE with Random Operators€¦ · The Adaptive Wavelet Approach computethe residual to sufficient accuracy The adaptive algorithms Cohen, Dahmen and](https://reader034.vdocuments.us/reader034/viewer/2022042217/5ebfec4997389926ad05ea29/html5/thumbnails/24.jpg)
The Adaptive Finite Element Approachcompute an upper bound for the residual
an a posteriori error estimator provides a bound for theerror and guides the refinement,no extra refinement just to compute the residual.
joint work withRoman Andreev, Martin Eigel, Christoph Schwab, Elmar
Zander
![Page 25: Adaptive Methods for Elliptic PDE with Random Operators€¦ · The Adaptive Wavelet Approach computethe residual to sufficient accuracy The adaptive algorithms Cohen, Dahmen and](https://reader034.vdocuments.us/reader034/viewer/2022042217/5ebfec4997389926ad05ea29/html5/thumbnails/25.jpg)
A Residual-based Error EstimatorThe residual r = (rν)ν∈F of u = (uµ)µ∈Λ has the form
rν = fν + ∇ · (a∇uν) +∑µ∈Λ
∇ · (aνµ∇uµ) .
Standard error estimators cannot be applied if uµ is piecewisesmooth on a finer mesh than uν. Projection Πν onto Vν,
rν = fν + ∇ · (a∇uν) +∑µ∈Λ
∇ · (aνµ∇Πνuµ)
︸ ︷︷ ︸a posteriori error estimator
+∑µ∈Λ
∇ · (aνµ∇(uµ − Πνuµ))
︸ ︷︷ ︸triangle inequality
for ν ∈ Λ, refinement of Vν based on both terms.activation of indices ν ∈ F \ Λ based on the second term.
Computations for ν ∈ F \ Λ involve only scalars such as ‖uµ‖.
![Page 26: Adaptive Methods for Elliptic PDE with Random Operators€¦ · The Adaptive Wavelet Approach computethe residual to sufficient accuracy The adaptive algorithms Cohen, Dahmen and](https://reader034.vdocuments.us/reader034/viewer/2022042217/5ebfec4997389926ad05ea29/html5/thumbnails/26.jpg)
SummaryThe adaptive Galerkin paradigm applies to equations withrandom operators.The parameter dependence is removed by expanding w.r.t.a tensorized polynomial basis on the parameter domain.Adaptive wavelet-type methods can ensure convergence,but computation of the residual is costly.A posteriori error estimators can be extended to bound theerror and guide refinements in an adaptive finiteelement-type method.
Thank you for your attention
![Page 27: Adaptive Methods for Elliptic PDE with Random Operators€¦ · The Adaptive Wavelet Approach computethe residual to sufficient accuracy The adaptive algorithms Cohen, Dahmen and](https://reader034.vdocuments.us/reader034/viewer/2022042217/5ebfec4997389926ad05ea29/html5/thumbnails/27.jpg)
SummaryThe adaptive Galerkin paradigm applies to equations withrandom operators.The parameter dependence is removed by expanding w.r.t.a tensorized polynomial basis on the parameter domain.Adaptive wavelet-type methods can ensure convergence,but computation of the residual is costly.A posteriori error estimators can be extended to bound theerror and guide refinements in an adaptive finiteelement-type method.
Thank you for your attention
![Page 28: Adaptive Methods for Elliptic PDE with Random Operators€¦ · The Adaptive Wavelet Approach computethe residual to sufficient accuracy The adaptive algorithms Cohen, Dahmen and](https://reader034.vdocuments.us/reader034/viewer/2022042217/5ebfec4997389926ad05ea29/html5/thumbnails/28.jpg)
ReferencesGittelson, Adaptive Galerkin methods for parametric and stochasticoperator equations, Ph.D. Thesis, ETH Zurich, 2011, supervised by Ch.Schwab.
Gittelson, An adaptive stochastic Galerkin method for random ellipticoperators, Math. Comp., accepted.
Gittelson, Uniformly convergent adaptive methods for a class ofparametric operator equations, M2AN, accepted.
Chkifa, Cohen, DeVore and Schwab, Sparse adaptive Taylorapproximation algorithms for parametric and stochastic elliptic PDEs,SAM Report, 2011-44.
Cohen, DeVore and Schwab, Convergence rates of best N-termGalerkin approximations for a class of elliptic sPDEs, FoCM, 2010.
Cohen, DeVore and Schwab, Analytic regularity and polynomialapproximation of parametric and stochastic elliptic PDE’s, Anal. Appl.,2011.
Gittelson, Convergence rates of multilevel and sparse tensorapproximations for a random elliptic PDE, SINUM, submitted.