Infinite-dimensional integration and the multivariate decomposition method
We further develop the \emph{Multivariate Decomposition Method} (MDM) for the Lebesgue integration of functions of infinitely many variables x1,x2,x3,… 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 fu are available for important subsets u, at some known cost. In this paper we introduce a new setting, in which it is assumed that each fu belongs to a normed space Fu, and that bounds Bu on ∥fu∥Fu are known. This contrasts with the assumption in many papers that weights γu, appearing in the norm of the infinite-dimensional function space, are somehow known. Often such weights γu were determined by minimizing an error bound depending on the Bu, the γu \emph{and} the chosen algorithm, resulting in weights that depend on the algorithm. In contrast, in this paper only the bounds Bu are assumed known. We give two examples in which we specialize the MDM: in the first case Fu is the ∣u∣-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.