Mean-Square Convergence Analysis of a Three-Level MGRIT Method for Linear Stochastic Evolution Equations with Additive Noise
Abstract
We investigate the mean-square convergence of a three-level multigrid reduction-in-time (MGRIT) method based on F-relaxation for linear stochastic evolution equations driven by additive Gaussian noise. The method combines exponential Euler time stepping on the finest grid with implicit Euler discretizations on the two coarser grids. The inexact solution of the intermediate-level full approximation scheme problem gives rise to coupled error recursions involving two interlevel propagator discrepancies. Under a common spectral decomposition of the drift and noise covariance operators, we establish a geometric contraction estimate in a modal mean-square norm, with a contraction factor uniform in the temporal grids and both coarsening factors. We further derive fixed-iteration temporal error bounds that are uniform in the first coarsening factor and explicitly quantify the dependence on the second. For a fixed iteration count k and a fixed second coarsening factor, we prove an O(ΔT1r) error bound relative to the finest-grid reference solution for 0<r≤ k+1 provided that ℛr,B<∞. We also prove that the error-propagation operator is nilpotent on each fixed temporal grid, ensuring finite termination of the iteration. Numerical experiments illustrate the theoretical convergence behavior and compare temporal critical-path work under a unit-cost model.
Related
- Almost Sure Convergence Analysis of Stochastic Gradient Methods with Clipping and Additive Noise
- Convergence of finite element approximations for the one-dimensional stochastic Burgers equation with additive trace-class noise
- Sharp Error Estimates for a Fully Discrete Approximation of Semilinear Stochastic Convection--Diffusion Equations with Additive Noise and Nonsmooth Initial Data
- Convergence and error analysis for numerical approximations of stochastic Leray-Lions equations
- Convergence of a fully discrete approximation for the stochastic 2D Euler equations with Kraichnan transport noise
BibTeX
@misc{zhang2026meansquare,
title = {{Mean-Square Convergence Analysis of a Three-Level MGRIT Method for Linear Stochastic Evolution Equations with Additive Noise}},
author = {Liying Zhang and Zhiheng Xu},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.39962},
eprint = {2610.39962},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.39962},
}
RIS
TY - UNPB
TI - Mean-Square Convergence Analysis of a Three-Level MGRIT Method for Linear Stochastic Evolution Equations with Additive Noise
AU - Liying Zhang
AU - Zhiheng Xu
PY - 2026
DA - 2026/10/29
PB - arXiv
DO - 10.48550/arxiv.2610.39962
UR - https://arxiv.org/abs/2610.39962
AB - We investigate the mean-square convergence of a three-level multigrid reduction-in-time (MGRIT) method based on F-relaxation for linear stochastic evolution equations driven by additive Gaussian noise. The method combines exponential Euler time stepping on the finest grid with implicit Euler discretizations on the two coarser grids. The inexact solution of the intermediate-level full approximation scheme problem gives rise to coupled error recursions involving two interlevel propagator discrepancies. Under a common spectral decomposition of the drift and noise covariance operators, we establish a geometric contraction estimate in a modal mean-square norm, with a contraction factor uniform in the temporal grids and both coarsening factors. We further derive fixed-iteration temporal error bounds that are uniform in the first coarsening factor and explicitly quantify the dependence on the second. For a fixed iteration count k and a fixed second coarsening factor, we prove an O(ΔT_1^r) error bound relative to the finest-grid reference solution for 0<r≤ k+1 provided that ℛ_r,B<∞. We also prove that the error-propagation operator is nilpotent on each fixed temporal grid, ensuring finite termination of the iteration. Numerical experiments illustrate the theoretical convergence behavior and compare temporal critical-path work under a unit-cost model.
ER -