We analyze the complexity of the sparse-grid interpolation and sparse-grid quadrature of countably-parametric functions which take values in separable Banach spaces with unconditional bases. Assuming a suitably quantified holomorphic dependence on the parameters, we establish dimension-independent convergence rate bounds for sparse-grid approximation schemes. Analogous results are shown in the case that the parametric families are obtained as approximate solutions of corresponding parametric-holomorphic, nonlinear operator equations as considered in [A. Cohen and A. Chkifa and Ch. Schwab: Breaking the curse of dimensionality in sparse polynomial approximation of parametric PDEs, J. Math. Pures Appl. 103 (2015) 400–428], for example by means of stable, finite-dimensional approximations. We discuss in detail nonlinear Petrov–Galerkin projections. Error and convergence rate bounds for constructive and explicit multilevel, sparse tensor approximation schemes combining sparse-grid interpolation in the parameter space and general, multilevel discretization schemes in the physical domain are proved. The present results unify and generalize earlier works in terms of the admissible multilevel approximations in the physical domain (comprising general stable Petrov–Galerkin and discrete Petrov–Galerkin schemes, collocation and stable domain approximations) and in terms of the admissible operator equations (comprising smooth, nonlinear locally well-posed operator equations). Additionally, a novel computational strategy to localize sequences of nested index sets for the anisotropic Smolyak interpolation in parameter space is developed which realizes best [Formula: see text]-term benchmark convergence rates. We also consider Smolyak-type quadratures in this general setting, for which we establish improved convergence rates based on cancellations in the integrands’ gpc expansions by symmetries of quadratures and the probability measure [J.Z̃ech and Ch.S̃chwab: Convergence rates of high dimensional Smolyak quadrature, Report 2017-27, SAM ETH Zürich (2017)]. Several examples illustrating the abstract theory include domain uncertainty quantification (UQ) for general, linear, second-order, elliptic advection–reaction–diffusion equations on polygonal domains, where optimal convergence rates of FEM are known to require local mesh refinement near corners. Further applications of the presently developed theory comprise evaluations of posterior expectations in Bayesian inverse problems.
Read full abstract