Pathwise uniform convergence of a full discretization for a three-dimensional stochastic Allen-Cahn equation with multiplicative noise

Binjie Li,Qin Zhou

2024-06-18

Abstract:This paper analyzes a full discretization of a three-dimensional stochastic Allen-Cahn equation with multiplicative noise. The discretization uses the Euler scheme for temporal discretization and the finite element method for spatial discretization. A key contribution of this work is the introduction of a novel stability estimate for a discrete stochastic convolution, which plays a crucial role in establishing pathwise uniform convergence estimates for fully discrete approximations of nonlinear stochastic parabolic equations. By using this stability estimate in conjunction with the discrete stochastic maximal $L^p$-regularity estimate, the study derives a pathwise uniform convergence rate that encompasses general general spatial $L^q$-norms. Moreover, the theoretical convergence rate is verified by numerical experiments.

Numerical Analysis

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is about the path - wise uniform convergence of the numerical solution of the three - dimensional stochastic Allen - Cahn equation under multiplicative noise conditions and the convergence estimate problem in the general space \(L^q\) norm. Specifically, the authors focus on the following points:

1. **Path - wise uniform convergence**: The existing literature mainly focuses on the \(L^p(\Omega; L^2)\) norm error estimate of fully discrete approximations, while lacking path - wise uniform convergence estimates and convergence estimates in the general space \(L^q\) norm. This paper fills this gap.

2. **New stability estimate**: In order to establish path - wise uniform convergence, the author introduces a new stability estimate of discrete stochastic convolutions, which is crucial for the proof of path - wise uniform convergence of fully discrete approximations of nonlinear stochastic parabolic equations.

3. **Numerical verification**: The theoretical convergence rate is verified through numerical experiments.

### Specific problem description

The paper studies a three - dimensional stochastic Allen - Cahn equation with multiplicative noise:
\[
\begin{cases}
dy(t) = (\Delta y + y - y^3)(t)dt + F(y(t))dW_H(t), & 0 < t \leq T, \\
y(0) = v,
\end{cases}
\]
where \(T\in(0, \infty)\), the initial value \(v\) is given, and the operator \(F\) will be defined later.

### Main contributions

1. **Stability estimate**: The stability estimate of discrete stochastic convolutions is established:
\[
E \left[ \max_{1 \leq j \leq J} \left\| \sum_{k = 0}^{j - 1} \int_{t_k}^{t_{k + 1}} (I-\tau\Delta_h)^{k - j}P_hg(t)dW_H(t) \right\|^p_{L^q} \right] \leq c \|g\|^p_{L^p(\Omega\times(0, T); \gamma(H, L^q))}
\]
for all \(g\in L^p_F(\Omega\times(0, T); \gamma(H, L^q))\), where \(p\in(2, \infty)\) and \(q\in[2, \infty)\).

2. **Error estimate**: For fully discrete approximations, using the Euler scheme for time discretization and the finite element method for space discretization, the following error estimate is established:
\[
\left\| \max_{1 \leq j \leq J} \| y(t_j)-Y_j \|_{L^q} \right\|_{L^p(\Omega)} \leq c (h^{2-\epsilon}+\tau^{1/2})
\]
for all \(p\in(2, \infty)\), \(q\in[2, \infty)\) and \(\epsilon > 0\).

These contributions not only fill the gaps in the existing literature, but also provide a new method for the numerical analysis of nonlinear stochastic parabolic equations.