Fredrik Lindgren

NA
3papers
109citations
Novelty23%
AI Score17

3 Papers

NAJan 2, 2018
On the discretisation in time of the stochastic Allen-Cahn equation

Mihály Kovács, Stig Larsson, Fredrik Lindgren

We consider the stochastic Allen--Cahn equation perturbed by smooth additive Gaussian noise in a spatial domain with smooth boundary in dimension $d\le 3$, and study the semidiscretisation in time of the equation by an Euler type split-step method. We show that the method converges strongly with a rate $O(Δt^{\frac12}) $. By means of a perturbation argument, we also establish the strong convergence of the standard backward Euler scheme with the same rate.

NAJan 2, 2018
Strong convergence of a fully discrete finite element approximation of the stochastic Cahn-Hilliard equation

Daisuke Furihata, Mihály Kovács, Stig Larsson et al.

We consider the stochastic Cahn-Hilliard equation driven by additive Gaussian noise in a convex domain with polygonal boundary in dimension $d\le 3$. We discretize the equation using a standard finite element method in space and a fully implicit backward Euler method in time. By proving optimal error estimates on subsets of the probability space with arbitrarily large probability and uniform-in-time moment bounds we show that the numerical solution converges strongly to the solution as the discretization parameters tend to zero.

NAJan 27, 2016
Pathwise existence of solutions to the Implicit Euler method for the stochastic Cahn-Hilliard Equation

Daisuke Furihata, Fredrik Lindgren, Shuji Yoshikawa

We consider the implicit Euler approximation of the stochastic Cahn-Hilliard equation driven by additive Gaussian noise in a spatial domain with smooth boundary in dimension $d\le 3$. We show pathwise existence and uniqueness of solutions for the method under a restriction on the step size that is independent of the size of the initial value and of the increments of the Wiener process. This result also relaxes the imposed assumption on the time step for the deterministic Cahn-Hilliard equation assumed in earlier existence proofs.