TY - JOUR
T1 - EXPLICIT UNCONDITIONALLY STABLE METHODS FOR THE HEAT EQUATION VIA POTENTIAL THEORY
AU - Barnett, Alex
AU - Epstein, Charles L.
AU - Greengard, Leslie
AU - Jiang, Shidong
AU - Wang, Jun
N1 - Publisher Copyright:
© 2019, Mathematical Sciences Publishers. All rights reserved.
PY - 2019
Y1 - 2019
N2 - We study the stability properties of explicit marching schemes for second-kind Volterra integral equations that arise when solving boundary value problems for the heat equation by means of potential theory. It is well known that explicit finite-difference or finite-element schemes for the heat equation are stable only if the time step Δt is of the order O(Δx2), where Δx is the finest spatial grid spacing. In contrast, for the Dirichlet and Neumann problems on the unit ball in all dimensions d ≥ 1, we show that the simplest Volterra marching scheme, i.e., the forward Euler scheme, is unconditionally stable. Our proof is based on an explicit spectral radius bound of the marching matrix, leading to an estimate that an L2-norm of the solution to the integral equation is bounded by cd Td/2 times the norm of the right-hand side. For the Robin problem on the half-space in any dimension, with constant Robin (heat transfer) coefficient κ, we exhibit a constant C such that the forward Euler scheme is stable if Δt < C/κ2, independent of any spatial discretization. This relies on new lower bounds on the spectrum of real symmetric Toeplitz matrices defined by convex sequences. Finally, we show that the forward Euler scheme is unconditionally stable for the Dirichlet problem on any smooth convex domain in any dimension, in the L∞-norm.
AB - We study the stability properties of explicit marching schemes for second-kind Volterra integral equations that arise when solving boundary value problems for the heat equation by means of potential theory. It is well known that explicit finite-difference or finite-element schemes for the heat equation are stable only if the time step Δt is of the order O(Δx2), where Δx is the finest spatial grid spacing. In contrast, for the Dirichlet and Neumann problems on the unit ball in all dimensions d ≥ 1, we show that the simplest Volterra marching scheme, i.e., the forward Euler scheme, is unconditionally stable. Our proof is based on an explicit spectral radius bound of the marching matrix, leading to an estimate that an L2-norm of the solution to the integral equation is bounded by cd Td/2 times the norm of the right-hand side. For the Robin problem on the half-space in any dimension, with constant Robin (heat transfer) coefficient κ, we exhibit a constant C such that the forward Euler scheme is stable if Δt < C/κ2, independent of any spatial discretization. This relies on new lower bounds on the spectrum of real symmetric Toeplitz matrices defined by convex sequences. Finally, we show that the forward Euler scheme is unconditionally stable for the Dirichlet problem on any smooth convex domain in any dimension, in the L∞-norm.
KW - Abel equation
KW - convex sequence
KW - forward Euler scheme
KW - heat equation
KW - modified Bessel function of the first kind
KW - stability analysis
KW - Toeplitz matrix
KW - Volterra integral equation
UR - http://www.scopus.com/inward/record.url?scp=85095824834&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85095824834&partnerID=8YFLogxK
U2 - 10.2140/paa.2019.1.709
DO - 10.2140/paa.2019.1.709
M3 - Article
AN - SCOPUS:85095824834
SN - 2578-5893
VL - 1
SP - 709
EP - 742
JO - Pure and Applied Analysis
JF - Pure and Applied Analysis
IS - 4
ER -