Analysis of sparse grid multilevel estimators for multi-dimensional Zakai equations

Christoph Reisinger,Zhenru Wang
DOI: https://doi.org/10.48550/arXiv.1904.08334
2019-04-17
Abstract:In this article, we analyse the accuracy and computational complexity of estimators for expected functionals of the solution to multi-dimensional parabolic stochastic partial differential equations (SPDE) of Zakai-type. Here, we use the Milstein scheme for time integration and an alternating direction implicit (ADI) splitting of the spatial finite difference discretisation, coupled with the sparse grid combination technique and multilevel Monte Carlo sampling (MLMC). In the two-dimensional case, we find by detailed Fourier analysis that for a root-mean-square error (RMSE) $\varepsilon$, MLMC on sparse grids has the optimal complexity $O(\varepsilon^{-2})$, whereas MLMC on regular grids has $O(\varepsilon^{-2}(\log\varepsilon)^2)$, standard MC on sparse grids $O(\varepsilon^{-7/2}(|\log\varepsilon|)^{5/2})$, and MC on regular grids $O(\varepsilon^{-4})$. Numerical tests confirm these findings empirically. We give a discussion of the higher-dimensional setting without detailed proofs, which suggests that MLMC on sparse grids always leads to the optimal complexity, standard MC on sparse grids has a fixed complexity order independent of the dimension (up to a logarithmic term), whereas the cost of MLMC and MC on regular grids increases exponentially with the dimension.
Numerical Analysis
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: how to efficiently and accurately simulate and estimate the functionality of the solutions of multi - dimensional Zakai - type stochastic partial differential equations (SPDEs), especially for high - dimensional problems. Specifically, the article focuses on finding a balance point between computational complexity and precision to obtain the optimal error estimate at the minimum cost. ### Core problems of the paper 1. **Efficient simulation**: For multi - dimensional Zakai - type SPDEs (as shown in formula (1.1)), how to efficiently simulate their solutions through numerical methods. 2. **Error and complexity**: How to reduce the computational complexity while ensuring a certain precision, especially in high - dimensional cases. ### Specific problem descriptions - **Target functionality**: A specific functionality \(P_T\) is defined in the article, which represents the integral of the solution \(v(T, x, y)\) in two - dimensional space at time \(T\) (formula (1.5)). This functionality can be regarded as a loss function, similar to the default proportion in a credit portfolio. - **Selection of numerical methods**: To achieve efficient simulation, the article adopts multiple numerical methods: - The Milstein scheme is used for time integration. - The alternating direction implicit (ADI) splitting method is used for spatial discretization. - The sparse grid combination technique and the multi - level Monte Carlo (MLMC) sampling are combined. ### Key challenges - **High - dimensional problems**: As the dimension increases, the computational costs of the standard Monte Carlo method and the multi - level Monte Carlo method will increase exponentially. - **Optimal complexity**: The goal is to achieve the optimal computational complexity \(O(\epsilon^{- 2})\) given the root - mean - square error (RMSE) \(\epsilon\). ### Solutions - **Sparse grid combination technique**: Through the sparse grid combination technique, the computational burden brought by high - dimensional problems can be alleviated to a certain extent. The article proves that in the two - dimensional case, combining the sparse grid and MLMC methods can achieve the optimal complexity \(O(\epsilon^{-2})\). - **Theoretical analysis and numerical experiments**: Through Fourier analysis, the article studies in detail the error expansion of the sparse combination estimator and verifies the theoretical results through numerical experiments. ### Summary The main contribution of this paper lies in proposing a new method that combines the sparse grid combination technique and the multi - level Monte Carlo method, which can achieve the optimal computational complexity in the numerical simulation of multi - dimensional Zakai - type SPDEs, thus providing new ideas and tools for efficiently solving high - dimensional stochastic partial differential equations.