This paper studies bulk-surface splitting methods of first order for (semi-linear) parabolic partial differential equations with dynamic boundary conditions. The proposed Lie splitting scheme is based on a reformulation of the problem as a coupled partial differential-algebraic equation system, i.e., the boundary conditions are considered as a second dynamic equation which is coupled to the bulk problem. The splitting approach is combined with bulk-surface finite elements and an implicit Euler discretization of the two subsystems. We prove first-order convergence of the resulting fully discrete scheme in the presence of a weak CFL condition of the form $τ\leq c h$ for some constant $c>0$. The convergence is also illustrated numerically using dynamic boundary conditions of Allen-Cahn-type.
We present a loosely coupled, non-iterative time-splitting scheme based on Robin-Robin coupling conditions. We apply a novel unified analysis for this scheme applied to both a Parabolic/Parabolic coupled system and a Parabolic/Hyperbolic coupled system. We show for both systems that the scheme is stable, and the error converges as $\mathcal{O}\big(Δt \sqrt{T +\log{\frac{1}{Δt}}}\big)$, where $Δt$ is the time step
We consider applying the Strang splitting to semilinear parabolic problems. The key ingredients of the Strang splitting are the decomposition of the equation into several parts and the computation of approximate solutions by combining the time evolution of each split equation. However, when the Dirichlet boundary condition is imposed, order reduction could occur due to the incompatibility of the split equations with the boundary condition. In this paper, to overcome the order reduction, a modified Strang splitting procedure is presented for the one-dimensional semilinear parabolic equation wit…
We consider the Dynamical Low Rank (DLR) approximation of random parabolic equations and propose a class of fully discrete numerical schemes. Similarly to the continuous DLR approximation, our schemes are shown to satisfy a discrete variational formulation. By exploiting this property, we establish stability of our schemes: we show that our explicit and semi-implicit versions are conditionally stable under a parabolic type CFL condition which does not depend on the smallest singular value of the DLR solution; whereas our implicit scheme is unconditionally stable. Moreover, we show that, in cer…
The Strang splitting method, formally of order two, can suffer from order reduction when applied to semilinear parabolic problems with inhomogeneous boundary conditions. The recent work [L .Einkemmer and A. Ostermann. Overcoming order reduction in diffusion-reaction splitting. Part 1. Dirichlet boundary conditions. SIAM J. Sci. Comput., 37, 2015. Part 2: Oblique boundary conditions, SIAM J. Sci. Comput., 38, 2016] introduces a modification of the method to avoid the reduction of order based on the nonlinearity. In this paper we introduce a new correction constructed directly from the flow of t…
We show that the Strang splitting method applied to a diffusion-reaction equation with inhomogeneous general oblique boundary conditions is of order two when the diffusion equation is solved with the Crank-Nicolson method, while order reduction occurs in general if using other Runge-Kutta schemes or even the exact flow itself for the diffusion part. We prove these results when the source term only depends on the space variable, an assumption which makes the splitting scheme equivalent to the Crank-Nicolson method itself applied to the whole problem. Numerical experiments suggest that the secon…
Optimized high-order splitting methods for some classes of parabolic equations
Universitat Politècnica de València（瓦伦西亚理工大学）；Universitat Jaume I（海梅一世大学）；INRIA Rennes and Ecole Normale Supérieure de Cachan（法国国家信息与自动化研究所雷恩分所与巴黎高等师范学校卡尚分校）；EHU/UPV（巴斯克大学/瓦伦西亚理工大学）
We derive a numerical method, based on operator splitting, to abstract parabolic semilinear boundary coupled systems. The method decouples the linear components which describe the coupling and the dynamics in the bulk and on the surface, and treats the nonlinear terms by approximating the integral in the variation of constants formula. The convergence proof is based on estimates for a recursive formulation of the error, using the parabolic smoothing property of analytic semigroups and a careful comparison of the exact and approximate flows. Numerical experiments, including problems with dynami…
ETH Zurich（苏黎世联邦理工学院）；University of Münster（明斯特大学）；Nanyang Technological University（南洋理工大学）
In this paper we introduce a numerical method for nonlinear parabolic PDEs that combines operator splitting with deep learning. It divides the PDE approximation problem into a sequence of separate learning problems. Since the computational graph for each of the subproblems is comparatively small, the approach can handle extremely high-dimensional PDEs. We test the method on different examples from physics, stochastic control and mathematical finance. In all cases, it yields very good results in up to 10,000 dimensions with short run times.
In this work, we consider parabolic models with dynamic boundary conditions and parabolic bulk-surface problems in 3D. Such partial differential equations based models describe phenomena that happen both on the surface and in the bulk/domain. These problems may appear in many applications, ranging from cell dynamics in biology, to grain growth models in polycrystalline materials. Using Difference Potentials framework, we develop novel numerical algorithms for the approximation of the problems. The constructed algorithms efficiently and accurately handle the coupling of the models in the bulk a…
Nonlinear parabolic equations are frequently encountered in applications and efficient approximating techniques for their solution are of great importance. In order to provide an effective scheme for the temporal approximation of such equations, we present a sum splitting scheme that comes with a straight forward parallelization strategy. The convergence analysis is carried out in a variational framework that allows for a general setting and, in particular, nontrivial temporal coefficients. The aim of this work is to illustrate the significant advantages of a variational framework for operator…
We study convergence of the evolving finite element semi-discretization of a parabolic partial differential equation on an evolving bulk domain. The boundary of the domain evolves with a given velocity, which is then extended to the bulk by solving a Poisson equation. The numerical solution to the parabolic equation depends on the numerical evolution of the bulk, which yields the time-dependent mesh for the finite element method. The stability analysis works with the matrix-vector formulation of the semi-discretization only and does not require geometric arguments, which are then required in t…
We introduce an unfitted finite element method with Lagrange-multipliers to study an Eulerian time stepping scheme for moving domain problems applied to a model problem where the domain motion is implicit to the problem. We consider a parabolic partial differential equation (PDE) in the bulk domain, and the domain motion is described by an ordinary differential equation (ODE), coupled to the bulk partial differential equation through the transfer of forces at the moving interface. The discretisation is based on an unfitted finite element discretisation on a time-independent mesh. The method-of…
We design and study splitting integrators for the temporal discretization of the stochastic FitzHugh--Nagumo system. This system is a model for signal propagation in nerve cells where the voltage variable is solution of a one-dimensional parabolic PDE with a cubic nonlinearity driven by additive space-time white noise. We first show that the numerical solutions have finite moments. We then prove that the splitting schemes have, at least, the strong rate of convergence $1/4$. Finally, numerical experiments illustrating the performance of the splitting schemes are provided.
A posteriori error estimation and adaptive strategy for PGD model reduction applied to parametrized linear parabolic problems
ENS Cachan/CNRS/Université Paris-Saclay（巴黎高等师范学校卡尚分校/CNRS/巴黎萨克雷大学）；Université Paris-Est, Laboratoire Modélisation et Simulation Multi Echelle, MSME UMR 8208 CNRS（巴黎东大学，多尺度建模与模拟实验室，MSME UMR 8208 CNRS）
We propose an approximation scheme for a class of semilinear parabolic equations that are convex and coercive in their gradients. Such equations arise often in pricing and portfolio management in incomplete markets and, more broadly, are directly connected to the representation of solutions to backward stochastic differential equations. The proposed scheme is based on splitting the equation in two parts, the first corresponding to a linear parabolic equation and the second to a Hamilton-Jacobi equation. The solutions of these two equations are approximated using, respectively, the Feynman-Kac …
The geometric motion of small droplets placed on an impermeable textured substrate is mainly driven by the capillary effect, the competition among surface tensions of three phases at the moving contact lines, and the impermeable substrate obstacle. After introducing an infinite dimensional manifold with an admissible tangent space on the boundary of the manifold, by Onsager's principle for an obstacle problem, we derive the associated parabolic variational inequalities. These variational inequalities can be used to simulate the contact line dynamics with unavoidable merging and splitting of dr…
In this paper, we construct and analyze a multiscale (finite element) method for parabolic problems with heterogeneous dynamic boundary conditions. As origin, we consider a reformulation of the system in order to decouple the discretization of bulk and surface dynamics. This allows us to combine multiscale methods on the boundary with standard Lagrangian schemes in the interior. We prove convergence and quantify explicit rates for low-regularity solutions, independent of the oscillatory behavior of the heterogeneities. As a result, coarse discretization parameters, which do not resolve the fin…
