Professional Documents
Culture Documents
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
bjdebus@sandia.gov
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Acknowledgement
Omar Knio Roger Ghanem Olivier Le Matre and many others ...
Duke University, Raleigh, NC University of Southern California, Los Angeles, CA LIMSI-CNRS, Orsay, France
US Department of Energy (DOE), Ofce of Advanced Scientic Computing Research (ASCR), Scientic Discovery through Advanced Computing (SciDAC) and Applied Mathematics Research (AMR) programs.
Sandia National Laboratories is a multi-program laboratory managed and operated by Sandia Corporation, a wholly owned subsidiary of Lockheed Martin Corporation, for the U.S. Department of Energys National Nuclear Security Administration under contract DE-AC04-94AL85000.
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Provide broad introduction to Polynomial Chaos-based forward UQ Propagate uncertainties from inputs to model prediction Only parametric uncertainties covered here, no model uncertainty What you should take away from this lecture An understanding of Polynomial Chaos expansions to represent random variables An understanding of intrusive and non-intrusive uncertainty propagation methods An appreciation for some of the challenges and associated mitigation approaches in forward UQ While this overview is broad, it is denitely not exhaustive
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Outline
1 2 3 4 5
Introduction Spectral Representation of Random Variables Forward Propagation of Uncertainty Sensitivity Analysis Addressing Challenges for PCE-based Uncertainty Quantication Representing Arbitrary RVs Sparse Quadrature Approaches for High-Dimensional Systems Taking Advantage of Sparsity in the System Choice of Observables in Oscillatory / Long Time Horizon Systems Stochastic Domain Decomposition Approaches Data Decomposition Approaches Systems with Inherent Stochasticity Summary References
6 7
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Representation of random variables with PCEs Convergence Galerkin projection Basis types
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
/2
dk x 2 /2 e , dx k
k = 1, 2, . . .
1 (x ) = x ,
2 (x ) = x 2 1,
3 (x ) = x 3 3 x , . . .
The Hermite polynomials form an orthogonal basis over [, ] with respect to the inner product 1 i j 2
i (x )j (x )w (x )dx = ij i2
/2
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
u=
k =0
u k k ( )
4 3 2 1 0.5 1.0
0 0.0
1.5
2.0
order k
: Gaussian RV
A random quantity is represented with an expansion consisting of functions of random variables multiplied with deterministic coefcients
Set of deterministic PC coefcients fully describes RV Separates randomness from deterministic dimensions
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
The multidimensional Hermite polynomial i (1 , . . . , n ) is a tensor product of i i i the 1D Hermite polynomials, with a suitable multi-index i = (1 , 2 , . . . , n ),
n
=
k =1
i (k )
k
i 1 1 2 2 1 1 1 2 2 2 1 ...
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
i j
...
=
k =1
i (k )j (k ) = ij 2 i
k k
g ( )
e /2 2
u=
k =0
uk k
i u =
k =0
uk i k = ui 2 i
ui =
u i 2 i
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
u=
k =0
uk k (1 , . . . , n )
u : Random Variable (RV) represented with multi-D PCE uk : PC coefcients (deterministic) k : Multi-D Hermite polynomials up to order p i : Gaussian RV n: Dimensionality of stochastic space P + 1: Number of PC terms: P + 1 =
(n+p)! n!p!
The number of stochastic dimensions represents the number of independent inputs, degrees of freedom that affect the random variable u
E.g. one stochastic dimension per uncertain model parameter Contributions from each uncertain input can be identied Compact representation of a random variable and its dependencies
Debusschere SNL Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Let (, S, P) be a probability space is an event space S is a -algebra on P is a probability measure on (, S) Random variables are functions X : R with a measure
if X 1 (A) S, then dene (A) = P(X 1 (A)). p (x ) = d /dx : the density of the random variable X (with respect to Expectation: f =
N
f p(x ) dx
random variables
S( ): -algebra generated by the set of random variables L2 (, S( ), P): Hilbert space of real-valued random variables dened on
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Convergence Theorem
A random variable u () in L2 (, S( ), P) can be described by a Polynomial Chaos (PC) expansion in terms of: the innite-dimensional i.i.d. Gaussian basis = {i ()} i =1 ;
u ()
a0 0 +
i1 =1
+
i1 =1 i2 =1
+
i1 =1 i2 =1 i3 =1
1 T p e 2 i1 . . . ip
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
The Polynomial Chaoses are by construction orthogonal with respect to the Gaussian probability measure They are thus identical with the corresponding multidimensional Hermite Polynomials The rst four PCs are given by 0 1 (i ) 2 (i1 , i2 ) 3 (i1 , i2 , i3 ) = = = = ... [R.G. Ghanem and P.D. Spanos, 1991] 1 i i1 i2 i1 i2 i1 i2 i3 i1 i2 i3 i2 i1 i3 i3 i1 i2
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
An L2 random variable u (x , t , ) can be described by a PC expansion in terms of: Hermite polynomials k , k = 1, . . . , ; the associated innite-dimensional Gaussian basis {i ()} i =1 ; spectral mode strengths uk (x , t ), k = 1, . . . , . Truncated to nite dimension n and order p, the PC expansion for u is written as
P
u (x , t , )
k =0
uk (x , t )k (())
(n+p)! n!p!
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Inner product: i j
b a
i ( ) j ( ) w ( ) d
domain Input parameter domain often dictates the most convenient choice of PC Polynomials functions can also be tailored to be orthogonal w.r.t.
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Postprocessing / Analysis
Moments Plotting PDFs of RVs represented with PCEs When is a PCE accurate enough?
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
u=
k =0
uk k ( )
Expectation: u = u0 Variance 2
= =
(u u )2
P
(
k =1 P
uk k ( ))2
P
=
k =1 j =1 P P
uj uk j ( )k ( )
=
k =1 j =1 P
uj uk j ( )k ( )
2 uk k ( )2 k =1
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
u=
k =0
uk k ( )
Analytical formula formula for PDF(u ) exists Involves polynomial root nding, and is hard to generalize to multi-D PCE is cheap to sample Brute-force sampling and bin samples into histogram Use Kernel Density Estimation (KDE) to get smoother PDF with fewer samples ui PDF(u ) = 1 Ns h
Ns
K
i =1
u ui h
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Source Wikipedia, Drleft; licensed under the Creative Commons Attribution-ShareAlike 3.0 License
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Approximation error in PCE is topic of a lot of research Rules of thumb: Higher order PC coefcients should decay Increase order until results no longer change Not always fail-proof ...
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
uk =
u k , 2 k
k = 0, . . . , P
Residual orthogonal to space of basis functions Two different approaches Intrusive: project governing equations Non-intrusive: project sampled model outpus
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Sample ODE with parameter : du = u dt Let be uncertain; introduce N (0, 1). Express and u using PCEs in :
P P
=
k =0
k k ( ),
u (t ) =
k =0
uk (t )k ( )
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Galerkin Projection on i ( )
d dt
uk (t )k ( ) =
p p ( )
uq (t )q ( )
k =0 P
p =0
q =0
k =0 P
duk (t ) k ( ) dt
=
p =0 q =0 P
p uq (t )p ( )q ( )
P
k =0 P
=
p=0 q =0 P P
p uq (t )p ( )q ( )i ( )
=
p =0 q =0 P P
p uq (t ) p ( )q ( )i ( )
k =0
=
p =0 q =0
p uq p q i
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
=
p =0 q =0
p uq Cpqi ,
i = 0, . . . , P
where Cpqi = p q i / 2 i The tensor Cpqi can be evaluated once and stored for any given PC order and dimension This tensor is sparse, i.e. many elements are zero
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
th
i j k 0 0 0 0 1 1 0 2 2 0 3 3 0 4 4 1 1 2 1 2 3 1 3 4 2 2 2 2 2 4 2 3 3 2 4 4 3 3 4 4 4 4
Cijk = i j k / 2 k and, k 0 1 2 3 4 2 k 1 1 2 6 24 i j k j i k k i j = = = i k j = j k i = k j i
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
th
i j k 0 0 0 0 1 1 0 2 2 0 3 3 0 4 4 1 1 2 1 2 3 1 3 4 2 2 2 2 2 4 2 3 3 2 4 4 3 3 4 4 4 4
value 1 1/3 1/5 1/7 1/9 2/15 3/35 4/63 2/35 2/35 4/105 0.029 0.026 0.018
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Pseudo-Spectral Construction1
w = u 2 v , Spectral: wi = = u 2 v
i P P
u=
k =0
u k k ,
j uk ul vm j k l m i ,
j =0 k =0 l =0 m =0
i = 0, . . . , P
large to pre-compute and store Pseudo-Spectral: Project each PC product onto a (P + 1)-polynomial before proceeding further, thus:
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Pseudo-Spectral Construction2
= uv w
i = uv w
=
j =0 k =0 P P
uk vj k j i , j k j i , uk w
j =0 k =0 P P
i = 0, . . . , P
= uw w
i = uw w
i = 0, . . . , P
w = w
wi = w
=
j =0 k =0
j k j i , k w
i = 0, . . . , P
Aliasing errors Efciency, and convenience [Debusschere et al., SIAM J. Sci. Comp., 2005.]
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Write system of equations for output Integration approach Borchardt-Gauss Algorithm: Arithmetic-Geometric Mean (AGM) series
[Debusschere et al., SISC 2005, McKale, Texas Tech, M.S. Thesis, 2011]
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
vw = u
vw
=
m =0 l =0
Cklm vl wm = uk
Vkm =
l =0
Cklm vl ,
Vw = u
More robust than Taylor series expansion for 1/u What about the condition number of V ?
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
du dx
= u , with solution u = ex
x
du
=
2
udx
e x e xo =
u dx
xo
ex exo
=
xo
2xu dx ,
ln(x ) ln(xo ) =
xo
dx x
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
P P To evaluate u (x ), x = k =0 xk k , u = k =0 u k k , use a deterministic IC xa such that u (xa ) is known = du /dx = f (u , x ); express u ... require: f is a rational function )k are found from the uk and xk coeffs ... ensures that (u evaluate the integral: P (x b )j (x a )j P
uk (xb ) uk (xa ) =
j =0
2
)i dxj Cijk (u
i =0
= u , 2xu , and 1/x resp. ok for ex , ex , and ln(x ), with u = u cos x but not for esin x , with u
CPU-intensive, only slightly more robust than Taylor series
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
w =uuv
Each deterministic function multiplication is transformed into a
corresponding polynomial chaos product Potential meta-code: take a general deterministic code function F (u ),
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Currently released (http://www.sandia.gov/UQToolkit/) C++ Tools for intrusive UQ with PCEs Under production, planned release Fall 2012 C++ Tools for non-intrusive UQ Matlab tools for intrusive and non-intrusive UQ Karhunen-Love decomposition Bayesian inference tools Many more examples and documentation Under development Adding support for multiwavelet based stochastic domain decompositions Support for arbitrary basis types
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
// Initialize PC class int ord = 5; // Order of PCE int dim = 1; // Number of uncertain parameters PCSet myPCSet("ISP",ord,dim,"LU"); // Legendre-Uniform PCEs // Initialize PC class int ord = 5; // Order of PCE int dim = 1; // Number of uncertain parameters PCSet myPCSet("NISP",ord,dim,"LU"); // Legendre-Uniform PCEs
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
// PC coefficients in double* double* a = new double[npc]; double* b = new double[npc]; double* c = new double[npc]; // Initialization a[0] = 2.0; a[1] = 0.1; ... // Perform some arithmetic myPCSet.Subtract(a,b,c); myPCSet.Prod(a,b,c); myPCSet.Exp(a,c); myPCSet.Log(a,c);
// PC coefficients in Arrays Array1D<double> aa(npc,0.e0); Array1D<double> ab(npc,0.e0); Array1D<double> ac(npc,0.e0); // Initialization aa(0) = 2.0; aa(1) = 0.1; ... // Perform arithmetic myPCSet.Subtract(aa,ab,ac); myPCSet.Prod(aa,ab,ac); myPCSet.Exp(aa,ac); myPCSet.Log(aa,ac);
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
3 ODEs for a monomer (u ), dimer (v ), and inert species (w ) adsorbing onto a surface out of gas phase. du = az cu 4duv dt dv = 2bz 2 4duv dt dw = ez fw dt z = 1uv w u (0) = v (0) = w (0) = 0.0
u
0.8 0.6 0.4 0.2 0.0 0 200 400
Time [-]
600
800
1000
(Vigil et al., Phys. Rev. E., 1996; Makeev et al., J. Chem. Phys., 2002)
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
u, v , w
Substitute PCEs into the governing equations Project the governing equations onto the PC basis functions Multiply with k and take the expectation Apply pseudo-spectral approximations where necessary UQTk elementary operations
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
b=
i =0
bi i ( )
u=
i =0
ui i ( )
v=
i =0
vi i ( )
w=
i =0
wi i ( ) z =
i =0
zi i ( )
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Surface Reaction Model: Substitute PCEs into governing equations and project onto basis functions
du dt d dt k d dt
P P
= =
az cu 4duv
P P P P
ui i
i =0
a
i =0
zi i c
i =0 P
ui i 4d
i =0 P
ui i
j =0
vj j
ui i
i =0
a k
i =0 P
zi i
c k
i =0
ui i
4d k
i =0
ui i
j =0
vj j
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
d uk 2 k dt d uk dt d uk dt
2 azk 2 k cuk k 4d i =0 j =0 P P
ui vj i j k i j k 2 k
azk cuk 4d
i =0 j =0 P P
ui vj
azk cuk 4d
i =0 j =0
ui vj Cijk
i j k 2 k
repeated use
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Surface Reaction Model: Substitute PCEs into governing equations and project onto basis functions
dv dt d dt k d dt
P P
= =
2bz 2 4duv
P P P P P
vi i
i =0
2
h =0
bh h
i =0 P
zi i
j =0 P
zj j 4d
i =0 P
ui i
j =0
vj j
vi i
i =0
2k
h =0 P
bh h
i =0 P
zi i
j =0
zj j
4d k
i =0
ui i
j =0
vj j
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
d vk 2 k dt d vk dt d vk dt
2
h =0 i =0 j =0 P P P
bh zi zj h i j k 4d
i =0 j =0
ui vj i j k
P P
2
h =0 i =0 j =0 P P P
bh zi zj
h i j k 4d 2 k
P P
ui vj
i =0 j =0
i j k 2 k
2
h =0 i =0 j =0
bh zi zj Dhijk 4d
i =0 j =0
ui vj Cijk
Pre-computing and storing the quad product Dhijk becomes cumbersome Use pseudo-spectral approach instead
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
gk g f = 2bz 2 = = z2 2bg fk
=
i =0 j =0 P
zi zj Cijk
P
2
i =0 j =0
bi gj Cijk
Limits the complexity of computing product terms Higher products can be computed by repeated use of the same binary product rule Does introduce errors if order of PCE is not large enough
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
// Build du/dt = a*z - c*u - 4.0*d*u*v aPCSet.Multiply(z,a,dummy1); aPCSet.Multiply(u,c,dummy2); aPCSet.SubtractInPlace(dummy1,dummy2); aPCSet.Prod(u,v,dummy2); aPCSet.MultiplyInPlace(dummy2,4.e0*d); aPCSet.Subtract(dummy1,dummy2,dudt);
// // // // // //
counterparts
Results in a set of coupled ODEs for the PC coefcients u , v , w , z represent vector of PC coefcients This set of equations is integrated to get the evolution of the PC
coefcients in time
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
// Build dv/dt = 2.0*b*z*z - 4.0*d*u*v aPCSet.Prod(z,z,dummy1); aPCSet.Prod(dummy1,b,dummy2); aPCSet.Multiply(dummy2,2.e0,dummy1); aPCSet.Prod(u,v,dummy2); aPCSet.MultiplyInPlace(dummy2,4.e0*d); aPCSet.Subtract(dummy1,dummy2,dvdt); // Build dw/dt = e*z - f*w aPCSet.Multiply(z,e,dummy1); aPCSet.Multiply(w,f,dummy2); aPCSet.Subtract(dummy1,dummy2,dwdt);
// // // // // //
Dummy variables used where needed to build the terms in the equations Data structure is currently being enhanced to provide the operation
counterparts
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
u
0.8 0.6 0.4 0.2 0.0 0 200 400
Time [-]
600
800
1000
Assume 0.5% uncertainty in b around nominal value Legendre-Uniform intrusive PC Mean and standard deviation for u , v , and w Uncertainty grows in time
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
0.5 0.4
u0 u1
u2 u3
u4 u5
[-]
ui
Time [-]
600
800
1000
Modes of u Modes decay with higher order Amplitudes of oscillations of higher order modes grow in time
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
350 300
200 150 100 50 0 0.315 0.320 0.325 0.330 0.335 0.340 0.345 0.350 0.310
250
t = 330.5 t = 756.5
16 14 12 10 8 6 4 2 0 0.10
t = 377.8 t = 803.0
0.15
0.20
0.25
0.30
0.35
(right)
Distributions get broader and multimodal as time increases Effect of accumulating uncertainty in phase of oscillation
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
v q + vv q t vq
= =
pq + 0
1 [(v ) + (v )T ] Re
Projection: for q = 0, . . . , P :
q v n v q t 2 pq
+1 q vn v q t
= = =
n n Cq + Dq
1 q v t
pq
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
v =
i =0
vi i
2 =
i =1
vi2 2 i
v0
v1
v2
v3
sd
v0
v1
v2
v3
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
u (bi )k (i )
qi u (bi )k (i )
u (x , t ; ) =
k =0
uk (x , t )k ( ())
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
u k ( )w ( )d =
1 Ns
Ns
u (i )k (i )
i =1
Samples are drawn according to the distribution of Monte-Carlo (MC) Latin-Hypercube-Sampling (LHS) Pros: Can be easily made fault tolerant Sometimes random samples is all we have Cons: slow convergence, but less dependent on number of stochastic
dimensions
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Quadrature approaches
Numerically evaluate integrals in Galerkin projection
Nq
u k ( )w ( )d =
i =1
qi u (i )k (i )
Gauss quadrature rules are very efcient are quadrature points, with corresponding weights qi Nq quadrature points can integrate polynomial of order 2Nq 1 exactly Gauss-Hermite and Gauss-Legendre quadrature tailored to specic choices of the weight function w ( ) As a rule of thumb, p + 1 quadrature points are needed for Galerkin projection of PCE of order p
If both u and k are of order p, then integrand is of order 2p 2p 2Nq 1 or Nq p + 1 2 Only exact if u is indeed a polynomial of order p
Pros: Can use existing codes as black box to evaluate u (i ) Embarrassingly parallel
d Cons: Tensor product rule for d dimensions requires Nq samples
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
3 ODEs for a monomer (u ), dimer (v ), and inert species (w ) adsorbing onto a surface out of gas phase. du = az cu 4duv dt dv = 2bz 2 4duv dt dw = ez fw dt z = 1uv w u (0) = v (0) = w (0) = 0.0
u
0.8 0.6 0.4 0.2 0.0 0 200 400
Time [-]
600
800
1000
(Vigil et al., Phys. Rev. E., 1996; Makeev et al., J. Chem. Phys., 2002)
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Quadrature:
// Get the quadrature points int nQdpts=myPCSet.GetNQuadPoints(); double* qdpts=new double[nQdpts]; myPCSet.GetQuadPoints(qdpts); ... // Evaluate parameter at quad pts for(int i=0;i<nQdpts;i++){ bval[i]=myPCSet.EvalPC(b,&qdpts[i]); } ... // Run model for all samples for(int i=0;i<nQdpts;i++){ u_val[i] = ... } // Spectral projection myPCSet.GalerkProjection(u_val,u); myPCSet.GalerkProjection(v_val,v); myPCSet.GalerkProjection(w_val,w);
Monte-Carlo Sampling:
// Get the sample points int nSamples=1000; Array2D<double> samPts(nSamples,dim); myPCSet.DrawSampleVar(samPts); ... // Evaluate parameter at sample pts for(int i=0;i<nSamples;i++){ ... // select samPt from samPts bval[i]=myPCSet.EvalPC(b,&samPt) } ... // Run model for all samples for(int i=0;i<nSamples;i++){ u_val[i] = ... } // Spectral projection myPCSet.GalerkProjectionMC(samPts,u_val,u); myPCSet.GalerkProjectionMC(samPts,v_val,v); myPCSet.GalerkProjectionMC(samPts,w_val,w);
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
u
0.8 0.6 0.4 0.2 0.0 0 200 400
1.0
NISP Quadrature
v w
NISP MC
u v w
Time [-]
600
800
1000
400
Time [-]
600
800
1000
Mean and standard deviation for u , v , and w Quadrature approach agrees well with ISP approach using 6 quadrature
points
Monte Carlo sampling approach converges slowly With a 1000 samples, results are quite different from ISP and NISP
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
[-]
ui
200
400
Time [-]
600
800
1000
Lower order modes agree perfectly Very small differences in higher order modes Difference increases with time
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
8 6 4 2 0 0.10 0.15
0.20
0.25
0.30
0.35
All pdfs based on 50K samples each and evaluated with Kernel Density
Estimation (KDE)
No difference in PDFs of sampled PCEs between NISP and ISP
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
8 6 4 2 0 0.10 0.15
0.20
0.25
0.30
0.35
All pdfs based on 50K samples each and evaluated with Kernel Density
Estimation (KDE)
Good agreement between intrusive, non-intrusive projection, and Monte
Carlo sampling
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Pros: Elegant One time solution of system of equations for the PC coefcients fully characterizes uncertainty in all variables at all times Tailored solvers can (potentially) take advantage of new hardware developments Cons: Often requires re-write of the original code Reformulated system is factor (P+1) larger than the original system and can be challenging to solve Challenges with increasing time-horizon for ODEs Many efforts in the community to automate ISP UQToolkit: http://www.sandia.gov/UQToolkit/ Sundance: http://www.math.ttu.edu/~klong/Sundance/html/ Stokhos: http://trilinos.sandia.gov/packages/stokhos/ ...
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
dimensionality reduction
(Adaptive) Sparse Quadrature approaches Compressive Sensing ...
Sampling methods have found very wide spread use in the community DAKOTA: http://dakota.sandia.gov/ ...
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Sensitivity Analysis
Obtaining global sensitivity analysis from PCEs Identify dominant sources of uncertainty Attribution
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
g (x1 , . . . , xd ) =
k =0
c k k (x )
Global sensitivity analysis Variance decomposition Total variance 2 Var [g (x )] = ck ||k ||2
k >0
Ii is the set of bases with only xi involved. Si is the uncertainty contribution that is due to i -th parameter only.
Iij is the set of bases with only xi and xj involved. Sij is the uncertainty contribution that is due to (i , j ) parameter pair.
Debusschere SNL Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
g (x1 , . . . , xd ) =
k =0
c k k (x )
In some cases, need to resort to Monte-Carlo estimation, e.g. Piecewise-PC with irregular subdomains Output transformations, e.g. build PC for log g (x ), but inquire sensitivity with respect to g (x ) A brute-force sampling of Var [E(g (x |xi )] is extremely inefcient. Tricks are available, given a single set of sampled input [Saltelli, 2002]. E.g., use E[g (x |xi )2 ] = E[g (x |xi )g (x |xi )] = 1 N 1
N
(r ) ) , g (x (r ) )g (x
r =1
is x with i -th element replaced by xi . where x Similar formulae available for joint sensitivity indices. Con: as all Monte-Carlo algorithms, converges slowly. Pro: sampling is cheap.
Debusschere SNL Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Representing input variables with arbitrary distributions Systems with high-dimensional uncertainty Systems with long time horizon / oscillatory behavior Nonlinearities in governing equations for intrusive UQ Physical constraints in uncertain quantities Systems with non-smooth behavior discontinuities Systems with inherent stochasticity
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Characterizing PCEs for uncertain inputs is a really difcult problem Inputs specied in a variety of ways Probability density function Samples Expert opinion (e.g. about 3.5) Often obtained from inverse problem solution See session on Bayesian inference Generally provides many samples of the uncertain inputs
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
100
PDF
50 0 20.73
20.74
20.75
20.76
20.77
20.78
Parameter b
Consider random variable a with CDF F () Either specied or constructed from samples with KDE CDF transformation F (a) = maps random variable a to uniform[0, 1]
random variable .
= ( ) maps uniform to normal RV The inverse CDF enables NISP projection
P
a=
k =0
ak k ( )
ak ak ( ) =
F 1 (( )) k ( )w ( )d
a
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
z=
i =0
zi i (1 , 2 , . . . , n ),
P +1=
(n + p)! n!p!
No general procedure Can choose {n, p} and the mode strengths by ensuring accurate capture of the PDF g (z ) select moments of z some observable of interest (z )
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Many distributions are unimodal and somewhat shaped like Gaussians MultiVariate Normal (MVN) approximations capture the mean and
# Compute mean parameter values par_mean = numpy.mean(samples,axis=0) # Compute the covariance par_cov = numpy.cov(samples,rowvar=0) # Compute the Cholesky Decomposition chol_lower = numpy.linalg.cholesky(par_cov)
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
5400 5400 0.600 0.525 5350 0.450 0.375 5380 5360 5340
CS
5300
5250
0.075 0.000
5200 1.30
1.32
1.34
S1
1.36
1.38
1.40
CS
5320 5300 5280 5260 5240 1.31 1.32 1.33 1.34 1.35 1.36 1.37 1.38 1.39
S1
S1 CS
= =
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
= =
F1 (1 ) F2|1 (2 |1 )
Fn|n1,...,1 (n |n1 , . . . , 1 )
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
20
0.8
15
Parameter 2
Parameter b
0.6
0.4
10
0.2
Parameter a
Parameter 1
=
k =0 P
ak k ( )
ak
Ra ( ) k ( )w ( )d
=
k =0
bk k ( )
bk
1 Rb ( ) k ( )w ( )d b
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
F (x , ) = F (x , )
fk (x ): eigenfunctions of Cov (x , y )
+
k =1
k fk (x )k
k : corresponding eigenvalues, all positive k : uncorrelated random variables, unit variance Samples are obtained by projecting realizations of F onto fk Generally not independent
Special case: for Gaussian F , k are i.i.d. normal random variables
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
wi Cov (x , yi )f (yi ) = f (x )
i =1
where wi are the weights for the quadrature rule that uses Np points yi where realizations are provided. Further manipulation leads to the eigenvalue problem Ag = g where A = WKW and g = Wf , with W being the diagonal matrix Wii = and Kij = Cov (xi , yj ). Solutions consist of pairs of eigenvalues k and eigenmodes fk = W 1 gk . wi
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
, f k (x )
k |l =
i =1
wi F (xi , l ) F (xi , )
fk (xi )/
If Gaussian process: automatically have rst order WH PCE If not, same approaches as for converting RVs to PCEs applied to KL
RVs
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
= 0.2
10
10
f(x)
f(x)
0.2 0.4 0.6 0.8 1.0
10
10
20 0.0
20 0.0
0.2
0.4
0.6
0.8
1.0
Covariance Cov (x1 , x2 ) = exp ((x1 x2 )2 / 2 ) Sample realizations are noisier as correlation length decreases
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
= 0.2
4 3 2 1 0 1 2 3 1.0 4 0.0 0.2 0.4
f1 f2 f3 f4
fn
0.6
0.8
fn
0.6
0.8
1.0
Eigenmodes of the covariance matrix Data covariance matrix constructed from 4096 Gaussian process realizations Higher modes are more oscillatory
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
= 0.2
PDF()
0.25
( )
0
PDF()
1 2 3 4
1 2 3 4
( )
0
Random variables obtained by projecting realizations onto KL modes Uncorrelated by construction Also independent due to nature of Gaussian Process
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Eigenvalue Magnitude
Eigenvalue #
30
40
60
decreases
More oscillatory modes needed to represent uctuations in x
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Eigenvalue Magnitude
100 10 10
-2 -4
10-6 10-8 0 10 20
Eigenvalue #
30
40
60
Large scale features can be resolved with small number of modes Smaller scale features require higher modes
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Eigenvalue Magnitude
2 terms
10 0 10 20 0.0
10
20
Eigenvalue #
30
40
60
fn
0.2
0.4
0.6
0.8
1.0
Large scale features can be resolved with small number of modes Smaller scale features require higher modes
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Eigenvalue Magnitude
4 terms
10 0 10 20 0.0
10
20
Eigenvalue #
30
40
60
fn
0.2
0.4
0.6
0.8
1.0
Large scale features can be resolved with small number of modes Smaller scale features require higher modes
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Eigenvalue Magnitude
6 terms
10 0 10 20 0.0
10
20
Eigenvalue #
30
40
60
fn
0.2
0.4
0.6
0.8
1.0
Large scale features can be resolved with small number of modes Smaller scale features require higher modes
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Eigenvalue Magnitude
8 terms
10 0 10 20 0.0
10
20
Eigenvalue #
30
40
60
fn
0.2
0.4
0.6
0.8
1.0
Large scale features can be resolved with small number of modes Smaller scale features require higher modes
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Eigenvalue Magnitude
10 terms
10 0 10 20 0.0
10
20
Eigenvalue #
30
40
60
fn
0.2
0.4
0.6
0.8
1.0
Large scale features can be resolved with small number of modes Smaller scale features require higher modes
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Eigenvalue Magnitude
14 terms
10 0 10 20 0.0
10
20
Eigenvalue #
30
40
60
fn
0.2
0.4
0.6
0.8
1.0
Large scale features can be resolved with small number of modes Smaller scale features require higher modes
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Eigenvalue Magnitude
16 terms
10 0 10 20 0.0
10
20
Eigenvalue #
30
40
60
fn
0.2
0.4
0.6
0.8
1.0
Large scale features can be resolved with small number of modes Smaller scale features require higher modes
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Eigenvalue Magnitude
18 terms
10 0 10 20 0.0
10
20
Eigenvalue #
30
40
60
fn
0.2
0.4
0.6
0.8
1.0
Large scale features can be resolved with small number of modes Smaller scale features require higher modes
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Eigenvalue Magnitude
1 terms
10 0 10 20 0.0
10
20
Eigenvalue #
30
40
60
fn
0.2
0.4
0.6
0.8
1.0
Large scale features can be resolved with small number of modes Smaller scale features require higher modes
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Eigenvalue Magnitude
2 terms
10 0 10 20 0.0
10
20
Eigenvalue #
30
40
60
fn
0.2
0.4
0.6
0.8
1.0
Large scale features can be resolved with small number of modes Smaller scale features require higher modes
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Eigenvalue Magnitude
3 terms
10 0 10 20 0.0
10
20
Eigenvalue #
30
40
60
fn
0.2
0.4
0.6
0.8
1.0
Large scale features can be resolved with small number of modes Smaller scale features require higher modes
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Eigenvalue Magnitude
4 terms
10 0 10 20 0.0
10
20
Eigenvalue #
30
40
60
fn
0.2
0.4
0.6
0.8
1.0
Large scale features can be resolved with small number of modes Smaller scale features require higher modes
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Eigenvalue Magnitude
5 terms
10 0 10 20 0.0
10
20
Eigenvalue #
30
40
60
fn
0.2
0.4
0.6
0.8
1.0
Large scale features can be resolved with small number of modes Smaller scale features require higher modes
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Eigenvalue Magnitude
6 terms
10 0 10 20 0.0
10
20
Eigenvalue #
30
40
60
fn
0.2
0.4
0.6
0.8
1.0
Large scale features can be resolved with small number of modes Smaller scale features require higher modes
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Eigenvalue Magnitude
7 terms
10 0 10 20 0.0
10
20
Eigenvalue #
30
40
60
fn
0.2
0.4
0.6
0.8
1.0
Large scale features can be resolved with small number of modes Smaller scale features require higher modes
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Eigenvalue Magnitude
8 terms
10 0 10 20 0.0
10
20
Eigenvalue #
30
40
60
fn
0.2
0.4
0.6
0.8
1.0
Large scale features can be resolved with small number of modes Smaller scale features require higher modes
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Eigenvalue Magnitude
9 terms
10 0 10 20 0.0
10
20
Eigenvalue #
30
40
60
fn
0.2
0.4
0.6
0.8
1.0
Large scale features can be resolved with small number of modes Smaller scale features require higher modes
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
KL of 2D Gaussian Process
= 0.1
1.0 0.8 0.6 y y 0.4 0.2 0.0 0.0 1.0 0.8 0.6 y y 0.4 0.2 0.0 0.0 1.0 0.8 0.6 0.4 0.2 0.0 0.0 1.0 0.8 0.6 0.4 0.2 0.0 0.0
= 0.2
1.0 0.8 0.6 y 0.4 0.2 0.0 0.0 1.0 0.8 0.6 y 0.4 0.2 0.0 0.0
= 0.5
0.2
0.4
0.6
0.8
1.0
0.2
0.4
0.6
0.8
1.0
0.2
0.4
0.6
0.8
1.0
0.2
0.4
0.6
0.8
1.0
0.2
0.4
0.6
0.8
1.0
0.2
0.4
0.6
0.8
1.0
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
2 f2
1.0 0.8 0.6
3 f3
1.0 0.8 0.6
4 f4
y
0.4 0.2 0.0 0.0 0.2 0.4 0.6 0.8 1.0
5 f5
1.0 0.8 0.6 1.0 0.8 0.6
6 f6
1.0 0.8 0.6
7 f7
1.0 0.8 0.6
8 f8
y
0.4 0.2 0.0 1.0 0.0 0.2 0.4 0.6 0.8 1.0
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
2 f2
1.0 0.8 0.6
3 f3
1.0 0.8 0.6
4 f4
y
0.4 0.2 0.0 0.0 0.2 0.4 0.6 0.8 1.0
5 f5
1.0 0.8 0.6 1.0 0.8 0.6
6 f6
1.0 0.8 0.6
7 f7
1.0 0.8 0.6
8 f8
y
0.4 0.2 0.0 1.0 0.0 0.2 0.4 0.6 0.8 1.0
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
2 f2
1.0 0.8 0.6
3 f3
1.0 0.8 0.6
4 f4
y
0.4 0.2 0.0 0.0 0.2 0.4 0.6 0.8 1.0
5 f5
1.0 0.8 0.6 1.0 0.8 0.6
6 f6
1.0 0.8 0.6
7 f7
1.0 0.8 0.6
8 f8
y
0.4 0.2 0.0 1.0 0.0 0.2 0.4 0.6 0.8 1.0
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
2D KL - eigenvalue spectrum
= 0.1 4 terms
1.0 0.8 0.6 y 0.4 0.2 y 0.4 0.2 0.2 0.4 0.6 0.8 1.0 0.0 0.0 0.2 0.4 0.6 0.8 1.0 0.0 0.0 x
16 terms
1.0 0.8 0.6
Eigenvalue Magnitude
104
10
100
32 terms
1.0 0.8 0.6 y 0.4 0.2 0.0 0.0 0.2 0.4 0.6 0.8 1.0 y
64 terms
1.0 0.8 0.6 0.4 0.2 0.0 0.0 0.2 0.4 0.6 0.8 1.0
10-2 0
Eigenvalue #
20
40
60
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
2D KL - eigenvalue spectrum
= 0.2 4 terms
1.0 0.8 0.6 y 0.4 0.2 y 0.4 0.2 0.2 0.4 0.6 0.8 1.0 0.0 0.0 0.2 0.4 0.6 0.8 1.0 0.0 0.0 x
16 terms
1.0 0.8 0.6
Eigenvalue Magnitude
104
10
100
32 terms
1.0 0.8 0.6 y 0.4 0.2 0.0 0.0 0.2 0.4 0.6 0.8 1.0 y
64 terms
1.0 0.8 0.6 0.4 0.2 0.0 0.0 0.2 0.4 0.6 0.8 1.0
10-2 0
Eigenvalue #
20
40
60
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
2D KL - eigenvalue spectrum
= 0.5 4 terms
1.0 0.8 0.6 y 0.4 0.2 y 0.4 0.2 0.2 0.4 0.6 0.8 1.0 0.0 0.0 0.2 0.4 0.6 0.8 1.0 0.0 0.0 x
16 terms
1.0 0.8 0.6
Eigenvalue Magnitude
104
10
100
32 terms
1.0 0.8 0.6 y 0.4 0.2 0.0 0.0 0.2 0.4 0.6 0.8 1.0 y
64 terms
1.0 0.8 0.6 0.4 0.2 0.0 0.0 0.2 0.4 0.6 0.8 1.0
10-2 0
Eigenvalue #
20
40
60
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Other approaches
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Need for sparse quadrature Sparse quadrature grids Application to surface reaction example
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Gauss-Legendre
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
1 + 20 d + 22 d2 + 4 d3 + 2 d4 3 3 3 3
1e+06
1e+100
p=7
1e+05 10000 1000 100 10 1
p=7
1e+80
p=5
p=5
1e+60
p=3
1e+40
p=3
1e+20
10
20
30
40
50
60
70
80
90
100
Dimensionality, d
1 0
20
40
60
80
100
p1 2
Dimensionality, d
Debusschere SNL
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
3 ODEs for a monomer (u ), dimer (v ), and inert species (w ) adsorbing onto a surface out of gas phase. du = az cu 4duv dt dv = 2bz 2 4duv dt dw = ez fw dt z = 1uv w u (0) = v (0) = w (0) = 0.0
u
0.8 0.6 0.4 0.2 0.0 0 200 400
Time [-]
600
800
1000
(Vigil et al., Phys. Rev. E., 1996; Makeev et al., J. Chem. Phys., 2002)
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
6
10
4
8
f e
101
PDF (uss)
6
d
0 -2 -4 -6 -6 -4 -2 0 2 4 6
102
c b a
103
a b c d e f
0 0
0.1
0.2
u ss
0.3
0.4
0.5
Output observable: time averaged u at steady state uss Assume all input parameters have Gaussian distributions with
expansion
Debusschere SNL Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
adaptive order
Sensitivity analysis High Dimensional Model Representation (HDMR) Adaptive sparse quadrature approaches
More generally, use only the basis terms needed to represent the
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
3 ODEs for a monomer (u ), dimer (v ), and inert species (w ) adsorbing onto a surface out of gas phase. du = az cu 4duv dt dv = 2bz 2 4duv dt dw = ez fw dt z = 1uv w u (0) = v (0) = w (0) = 0.0
u
0.8 0.6 0.4 0.2 0.0 0 200 400
Time [-]
600
800
1000
(Vigil et al., Phys. Rev. E., 1996; Makeev et al., J. Chem. Phys., 2002)
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
0.1
0.15
0.2 u
Debusschere SNL
0.25
0.3
0.35
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
4th-order Intrusive PC UQ
0.5 0.4 0.3
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
0.45 0.4 0.35 0.3 0.25 0.2 0.15 0.1 0.05 0 0 500 1000 1500 2000 time 2500
u u-mean-sampled u-mean-PC
3000
3500
4000
PC mean deviates away from the sampled-mean in time Large phase variances
Debusschere SNL Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Much better behaved uncertainty in state space Phase variances are not of interest per se Knowledge of the uncertainty in the orbit details are more of interest than the detailed phase variance errors
0.12
0.1
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
0.2
PC samp
0.15
0.1
0.05
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
0.4
0.3
PDF (uss)
u(t)
0.2
0.1
0 0
0 0
0.1
0.2
Time, t
u ss
0.3
0.4
0.5
Variation of b leads to different qualitative behaviors Output observable: average over time of u at steady state: uss Representative, e.g. of expected coverage in catalytic system Varied the parameter b by 10% around its nominal value Output PDF is generated by 100K samples of a 9-th order PC
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Monte-Carlo with 10000 samples (true PDF) 10-th order PC built with 12 samples
4
PDF (u ss)
0.1
0.2
uss
0.3
0.4
0.5
function evaluation.
However, the accuracy of the PC expansion needs to be properly
estimated.
E.g., multimodal variables are not well-captured, even with a high PC
order.
Debusschere SNL Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
domains
E.g. Gibbs oscillations around discontinuities As order increases, more oscillations
Piecewise representations can alleviate this Lower order approximations over subsections of stochastic domain Continuity of representation across subdomain boundaries is not required
Boundary is area of zero measure Allows easy representation of discontinuities
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
UQ in constant-pressure ignition
= =
wi , wT cp
M k =1
i = 1, , N
hi wi and wi =
ik Rk
Ak < Ak < Fk Ak Fk
= 0.95
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Large activation energy (Ek ) exponentials lead to very fast changes in species concentrations and temperature
Methane-air ignition
2000
1500
1000
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Increased Ek leads to higher peak dT /dt and higher consequence of small uncertainties in reaction rate constants
E=20K 0.040 Temperature Standard Deviation (K) Temperature Standard Deviation (K) 4 order WH PC 1000 Samples 0.030
th
0.020
0.010
0.000 10 10
10
10 time (sec)
10
10
0 0.212
0.218
Ak = Ak ( ), 1-D Wiener-Hermite PC UQ captures sampled stochastic behavior at low Ek with miniscule uncertainty in Ak (F = 1.00002, COV=105 ). Unphysical effects observed at high activation energy
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
300K
Non-zero
uncertainty in T for t
Increased PC
86.56
86.60
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
400
2500
300
200
1500
100
1000
Tmin
86.56
86.60
500 0.00
0.05
0.15
0.20
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
=
k =0
uk (x, t )k (1 , . . . , N )
=
=0
(x, t ) W (1 , . . . , N ) u
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Haar-Wavelets
j = 0, 1, . . . and k = 0, . . . , 2j 1
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Wiener-Haar Construction
The set of jw ,k (y ) is an orthonormal system Any function f L2 ([0, 1]) can be arbitrarily well approximated by the sum of its mean and a nite linear combination of the jw ,k (y ).
2 The wavelet set Wj ,k ( ()) jw ,k (p ( )) forms a basis for the space of L random processes. 2j 1
X ( ()) = Xo +
j =0 k =0
w Xjw ,k j ,k (p ( )) =
X W ( ())
Multidimensional {1 , 2 , . . . , N },
N
W=
k =1
Wk (k )
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Wiener-Haar PC able to represent uncertainty in systems exhibiting bifurcations depending on parameter values Poor convergence relative to PC constructions with smooth global bases on smooth functions Use multiwavelet construction (Alpert, 1993) employing higher order polynomials instead of the Haar-functions For efcient multidimensional construction, use Block-decomposition of the stochastic space A local MW construction on each block employing Scaled Legendre polynomials on [0, 1] First level Multiwavelet details Adaptive resolution in each dimension on each block
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
No = 1
IC U0 = 0.2,
U1 = 0.1
No : MW order Nr : MRA
resolution
Local
No = 2
1 0.8 0.6 0.4 U 0.2 0 -0.2 -0.4 -0.6 0 0.25 0.5 CDF 0.75 1 Nr=1 Nr=2 Nr=3 Nr=4 Nr=5 Nr=6 Exact 1 0.8 0.6 0.4 U 0.2 0 -0.2 -0.4 -0.6 0 Nr=1 Nr=2 Nr=3 Nr=4 Nr=5 Nr=6 Exact
No = 3
0.25
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
0.6
0.8
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Adaptive partitioning allows optimal combinations of resolution and order over space-time UQ problem can be done separately on each sub-domain This can be done intrusively or non-intrusively on each sub-domain Presents advantages in a massively parallel context
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
1 GRI
GRI+noise 0.1
di
GRI tig , i (1 + i )
N (0, 1)
0.01 1000 1100 1200 Initial Temperature (K) 1300
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
irreversible chemical model CH4 + 2O2 CO2 + 2H2 O R = [CH4 ][O2 ]kf kf = A exp(E /R o T )
10.8
(ln A, ln E , ln )
Good mixing with adaptive
2000
8000
10000
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
10.85
1
10.8
10.75
GRI+noise 0.1
10.7
10.65
10.6
30
31
32
33
34
35
0.01 1000
1300
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Means
3000 T 0.25 0.2 0.15 0.1 CH4 0.05 0 0 1000 1 CO2 H2O 1500 2000
Standard Deviations
0.06 T 0.05
2500 Temperature (K)
O2
Mass Fraction
Mass Fraction
200
0.462
0.468
4th Order Multiwavelet PC, Multiblock, Adaptive T ,max 400 K during ignition transient, 0.03
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
MW
Probability Density
0.1
Probability Density
0.459 sec
0.1
0.459 sec
0.05
0.05
0 1300
1600
0 1300
1600
Similar results from MC (20K samples) and MW PC Increased uncertainty, and long highT PDF tails, in time
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
MC 0.02 0.01 0 0.02 0.01 0 0.02 0.01 0 0.02 0.01 Density 0 0.02 0.01 0 1000 1500 0.4668 sec Density t = 0.4642 sec 0.02 0.01 0 0.02 0.01 0 0.02 0.01 0 0.02 0.01 0 0.02 0.01 0 1000 1500
MW t = 0.4642 sec
0.4660 sec
0.4660 sec
0.4664 sec
0.4664 sec
0.4668 sec
Transition from unimodal to bimodal PDFs Leakage of probability mass from pre-heat PDF highT tail
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
0.006 0.005
0.036675
Probability Density
0.03 0.025
0.042425
Probability Density
0.04325
1500
3000
1500
3000
1500
3000
1500
3000
0.04395
0.25 Probability Density
Probability Density
0.04475
0.01 0.008 0.006 0.004 0.002 0
0.052475
Probability Density Probability Density
0.066275
1500
3000
1500
3000
1500
3000
1500
3000
Bimodal solution PDFs for high uncertainty growth Unimodal for low uncertainty growth, with 0.044
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
variables
Separate data into multiple sets that are easier to represent Represent each with global PCE Overall results is a PC mixture model Generalization of Gaussian mixture models
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
X(t)
Reactions A + 2X B
a1 a2 a3 a4
3X X .
! !"!#$%
10
15
20
Propensities a1 = k1 AX (X 1)/2, a2 = k2 X (X 1)(X 2)/6, a3 = k3 B , a4 = k4 X . Nominal parameters k1 A 0.03 k2 0.0001 k3 B = 200 k4 3.5 A 105 B 2 105 X (0) 250
X(t)
! !"!&%%
0 5 10 15 20
X(t)
! !"!$'%
15 20
Time, t
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
Polynomial Chaos expansion represents any random variable as a polynomial of a standard random variable
Truncated PCE: nite dimension n and order p
P
X ( )
k =0
ck k ( )
(n+p)! . n!p!
= (1 , , n ) standard i.i.d. r.v. k standard orthogonal polynomials ck spectral modes. Most common standard Polynomial-Variable pairs: (continuous) Gauss-Hermite, Legendre-Uniform, (discrete) Poisson-Charlier.
[Wiener, 1938; Ghanem & Spanos, 1991; Xiu & Karniadakis, 2002]
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
ck k ( ) = gD ( )
Orthogonal projection: ck =
X ( )k ( ) 2 ( ) k
Intrusive Spectral Projection (ISP) Direct projection of governing equations Leads to deterministic equations for PC coefcients No explicit governing equation for SRNs Non-intrusive Spectral Projection (NISP) Sampling based No explicit evolution equation for X needed Galerkin projection not well-dened for SRNs
Debusschere SNL
Forward UQ
Introduction
PCES
Forward UQ
Sensitivity
Challenges
Summary
References
(t ) + X (t , ) = X
n =1
n () n fn (t )
n m = nm
fi(t)
Eigenvalues, ! n
1/2
1e+05
KL modes, ! i
-100