|
Sparse grids are a numerical technique to represent, integrate or interpolate high dimensional functions. They were originally found by the Russian mathematician Symolyak. Computer algorithms for efficient implementations of such grids were later developed by Michael Griebel and Christoph Zenger.
Curse of dimension
The standard way of representing multidimensional functions are tensor or full grids. The number of basis functions or nodes (grid points) that have to be stored and processed depend exponentially on the number of dimensions. Even with todays computational power it is not possible to process functions with more than 4 or 5 dimensions.
The curse of dimension is expressed in the order of the integration error that is made by a quadrature of level l, with Nl points. The function has regularity r, i.e. is r times differentiable. The number of dimensions is d.
<math>|E_l| = O(N_l^{-\frac{r}{d}})<math>
Smolyak's quadrature rule
Smolyak found a computationally more efficient method of integrating multidimensional functions based on a univariate quadrature rule Q(1). The d-dimensional Smolyak integral Q(d)of a function f can be written as a recursion forumal with the tensor product.
<math>Q_l^{(d)} f = \left(\sum_{i=0}^l \left(Q_i^{(1)}-Q_{i-1}^{(1)}\right)\otimes Q_{l-i}^{(d-1)}\right)f<math>
The index to Q is the level of the discretization. A 1-d integration on level i is computed by the evaluation of O(2i) points. The error estimate for a function of regularity r is:
<math>|E_l| = O\left(N_l^{-r}\left(\log N_l\right)^{(d-1)(r+1)}\right)<math>
References
|
