Smith, Ralph C. 2013a. “Chapter 9: Uncertainty Propagation in Models.” In Uncertainty Quantification: Theory, Implementation, and Applications, 187–206. Computational Science & Engineering. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611973228.ch9
Smith, Ralph C. 2013b. “Chapter 10: Stochastic Spectral Methods.” In Uncertainty Quantification: Theory, Implementation, and Applications, 207–37. Computational Science & Engineering. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611973228.ch10.
Wentz, Jacqueline, and Alireza Doostan. 2023. “GenMod: A Generative Modeling Approach for Spectral Representation of PDEs with Random Inputs.” Journal of Computational Physics 472 (January):111691. https://doi.org/10.1016/j.jcp.2022.111691.
For random variables and a quantity of interest , polynomial chaos expansions approximate . Originally, this was with normally distributed , where the optimal polynomials are Hermite, but this has been generalized to other distributions (Wiener-Askey schemes).
This condition of Galerkin Projection (bottom) is a system of coupled, deterministic PDEs for the unknowns (for the original scalar PDE).
Non-Intrusive
Alternatively, PCE can be done non-intrusively, using a block box model for (rather than specifying it implicitly as the solution of a PDE above). With , and following some distribution, we solve for such that
where are the associated Wiener-Askey polynomials. For instance, if , are the Legendre Polynomials. Note that these polynomials are orthogonal with respect to the measure associated with the density of (). If also normalized, this means
Non-intrusively, we sample instances of and compute the associated . We want to choose the coefficients of our expansion so that it matches this data . For instance, we may wish to minimize the square of the error (Least Squares):
This is solved through the normal equations when , creating the standard measurement matrix and solution vector ,
You can't use 'macro parameter character #' in math mode\Psi { #T} \Psi \, \mathbf{c} = \Psi ^ T \mathbf{u} .
This system should be solved with factorization that makes use of the positive definite structure (Singular Value Decomposition or QR Decomposition). Note that in the limit of , You can't use 'macro parameter character #' in math mode\Psi { #T} \Psi \to \mathbf{I}, due to the aforementioned orthonormality.
Compressive Sensing
The above least squares requires , but for a -dimensional , and polynomials of maximum total order ,
The total number of terms grows rapidly in both and . Thus, we may need very many samples in order to even be determined (let alone sufficiently overdetermined).