Multilevel Picard approximations overcome the curse of dimensionality when approximating semilinear heat equations with gradient-dependent nonlinearities in $L^p$-sense

Tuan Anh Nguyen
2024-10-12
Abstract:We prove that multilevel Picard approximations are capable of approximating solutions of semilinear heat equations in $L^{p}$-sense, ${p}\in [2,\infty)$, in the case of gradient-dependent, Lipschitz-continuous nonlinearities, in the sense that the computational effort of the multilevel Picard approximations grow at most polynomially in both the dimension $d$ and the reciprocal $1/\epsilon$ of the prescribed accuracy $\epsilon$.
Numerical Analysis,Analysis of PDEs
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the "curse of dimensionality" problem encountered in the numerical approximation of high - dimensional nonlinear partial differential equations (PDEs). Specifically, the paper focuses on whether the Multilevel Picard (MLP) approximation method can effectively overcome the problem of the sharp increase in computational complexity with the increase in dimension when solving semilinear heat equations (with nonlinear terms depending on gradients) in the Lp sense (\(p\in[2,\infty)\)). The main contribution of the paper is to prove that, under appropriate assumptions, the MLP algorithm can achieve a computational complexity that only grows polynomially, which is related to the dimension \(d\) and the reciprocal \(1 /\epsilon\) of the required accuracy \(\epsilon\), thus effectively solving the approximation problem of high - dimensional nonlinear PDEs. By introducing an improved MLP algorithm and conducting a strict mathematical analysis on it, the paper proves that this algorithm can overcome the curse of dimensionality, that is, it can accurately approximate the solution of high - dimensional semilinear heat equations while ensuring controllable computational complexity. This result has important theoretical and practical application values for multiple fields that need to handle high - dimensional problems, such as financial engineering, economics, quantum mechanics, and statistical physics.