Infinite-dimensional integration and the multivariate decomposition method

DOI10.1016/J.CAM.2017.05.031zbMATH Open1370.65013arXiv1501.05445OpenAlexW2964159143MaRDI QIDQ2012602FDOQ2012602

Dirk Nuyens, Leszek Plaskota, Grzegorz W. Wasilkowski, F. Y. Kuo, Ian H. Sloan

Publication date: 1 August 2017

Published in: Journal of Computational and Applied Mathematics (Search for Journal in Brave)

Abstract: We further develop the emph{Multivariate Decomposition Method} (MDM) for the Lebesgue integration of functions of infinitely many variables $x_1,x_2,x_3,ldots$ with respect to a corresponding product of a one dimensional probability measure. Although a number of concepts of infinite-dimensional integrals have been used in the literature, questions of uniqueness and compatibility have mostly not been studied. We show that, under appropriate convergence conditions, the Lebesgue integral equals the `anchored' integral, independently of the anchor. The MDM assumes that point values of $f_{mathfraku}$ are available for important subsets $mathfraku$, at some known cost. In this paper we introduce a new setting, in which it is assumed that each $f_{mathfraku}$ belongs to a normed space $F_{mathfraku}$, and that bounds $B_{mathfraku}$ on $|f_{mathfraku}{|}_{F_{mathfraku}}$ are known. This contrasts with the assumption in many papers that weights $gamm{a}_{mathfraku}$, appearing in the norm of the infinite-dimensional function space, are somehow known. Often such weights $gamm{a}_{mathfraku}$ were determined by minimizing an error bound depending on the $B_{mathfraku}$, the $gamm{a}_{mathfraku}$ emph{and} the chosen algorithm, resulting in weights that depend on the algorithm. In contrast, in this paper only the bounds $B_{mathfraku}$ are assumed known. We give two examples in which we specialize the MDM: in the first case $F_{mathfraku}$ is the $|mathfraku|$-fold tensor product of an anchored reproducing kernel Hilbert space, and in the second case it is a particular non-Hilbert space for integration over an unbounded domain.

Full work available at URL: https://arxiv.org/abs/1501.05445

zbMATH Keywords

cubaturereproducing kernel Hilbert spacealgorithmerror boundquadratureLebesgue integrationinfinite-dimensionalmultivariate decomposition method

Mathematics Subject Classification ID

Numerical quadrature and cubature formulas (65D32) Multidimensional problems (41A63) Approximate quadratures (41A55) Hilbert spaces with reproducing kernels (= (proper) functional Hilbert spaces, including de Branges-Rovnyak and other structured spaces) (46E22) Integration of real functions of several variables: length, area, volume (26B15)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Application of quasi-Monte Carlo methods to elliptic PDEs with random diffusion coefficients: a survey of analysis and implementation
• Quasi-Monte Carlo Finite Element Methods for a Class of Elliptic Partial Differential Equations with Random Coefficients
• Infinite-dimensional quadrature and approximation of distributions
• When are quasi-Monte Carlo algorithms efficient for high dimensional integrals?
• Higher Order QMC Petrov--Galerkin Discretization for Affine Parametric Operator Equations with Random Field Inputs
• Quasi-Monte Carlo methods for elliptic PDEs with random coefficients and applications
• Convergence rates of best \(N\)-term Galerkin approximations for a class of elliptic SPDEs
• Tractability of approximation of \(\infty\)-variate functions with bounded mixed partial derivatives
• On decompositions of multivariate functions
• High-dimensional integration: The quasi-Monte Carlo way
• Explicit cost bounds of algorithms for multivariate tensor product problems
• On the quasi-Monte Carlo method with Halton points for elliptic PDEs with log-normal diffusion
• Liberating the dimension
• On tractability of linear tensor product problems for \(\infty \)-variate classes of functions
• Weighted geometric discrepancies and numerical integration on reproducing kernel Hilbert spaces
• Infinite-dimensional integration on weighted Hilbert spaces
• The error bounds and tractability of quasi-Monte Carlo algorithms in infinite dimension
• Monte Carlo Simulation of Stochastic Integrals when the Cost of Function Evaluation Is Dimension Dependent
• Liberating the dimension for \(L_2\)-approximation
• On tractability of path integration
• Liberating the Dimension for Function Approximation and Integration
• Average case tractability of approximating ∞-variate functions
• Deterministic multi-level algorithms for infinite-dimensional integration on \(\mathbb R^{\mathbb N}\)
• Liberating the dimension for function approximation: standard information
• A new algorithm and worst case complexity for Feynman-Kac path integration.
• Liberating the dimension for function approximation
• Tractability of infinite-dimensional integration in the worst case and randomized settings
• Multi-level Monte Carlo algorithms for infinite-dimensional integration on \(\mathbb R^{\mathbb N}\)
• On weighted Hilbert spaces and integration of functions of infinitely many variables
• Lower Error Bounds for Randomized Multilevel and Changing Dimension Algorithms
• Efficient algorithms for multivariate and \(\infty\)-variate integration with exponential weight
• Optimal Randomized Multilevel Algorithms for Infinite-Dimensional Integration on Function Spaces with ANOVA-Type Decomposition
• Scrambled Polynomial Lattice Rules for Infinite-Dimensional Integration
• Optimal randomized changing dimension algorithms for infinite-dimensional integration on function spaces with ANOVA-type decomposition
• Infinite-dimensional integration in weighted Hilbert spaces: anchored decompositions, optimal deterministic algorithms, and higher-order convergence
• Multi-level quasi-Monte Carlo finite element methods for a class of elliptic PDEs with random coefficients
• Quasi-Monte Carlo finite element methods for elliptic PDEs with lognormal random coefficients
• Multilevel higher order QMC Petrov-Galerkin discretization for affine parametric operator equations
• Multilevel Quasi-Monte Carlo methods for lognormal diffusion problems
• On the Choice of Weights in a Function Space for Quasi-Monte Carlo Methods for a Class of Generalised Response Models in Statistics
• Correction to ``Quasi-Monte Carlo methods for high-dimensional integration: the standard (weighted Hilbert space) setting and beyond

Cited In (12)

• Grouped Transformations and Regularization in High-Dimensional Explainable ANOVA Approximation
• Learning multivariate functions with low-dimensional structures using polynomial bases
• Efficient Implementations of the Multivariate Decomposition Method for Approximating Infinite-Variate Integrals
• On efficient weighted integration via a change of variables
• \( \varepsilon \)-superposition and truncation dimensions in average and probabilistic settings for \(\infty \)-variate linear problems
• On equivalence of weighted anchored and ANOVA spaces of functions with mixed smoothness of order one in \(L_1\) or \(L_\infty\)
• Sparse additive function decompositions facing basis transforms
• The uniform sparse FFT with application to PDEs with random coefficients
• MDFEM: multivariate decomposition finite element method for elliptic PDEs with uniform random diffusion coefficients using higher-order QMC and FEM
• MDFEM: Multivariate decomposition finite element method for elliptic PDEs with lognormal diffusion coefficients using higher-order QMC and FEM
• Approximation of High-Dimensional Periodic Functions with Fourier-Based Methods
• Tractability of approximation of \(\infty\)-variate functions with bounded mixed partial derivatives

Uses Software

• QMC4PDE

This page was built for publication: Infinite-dimensional integration and the multivariate decomposition method

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2012602)