-
Time-fractional diffusion equations with randomness, and efficient numerical estimations of expected values
Authors:
Josef Dick,
Hecong Gao,
William McLean,
Kassem Mustapha
Abstract:
In this work, we explore a time-fractional diffusion equation of order $α\in (0,1)$ with a stochastic diffusivity parameter. We focus on efficient estimation of the expected values (considered as an infinite dimensional integral on the parametric space corresponding to the random coefficients) of linear functionals acting on the solution of our model problem. To estimate the expected value computa…
▽ More
In this work, we explore a time-fractional diffusion equation of order $α\in (0,1)$ with a stochastic diffusivity parameter. We focus on efficient estimation of the expected values (considered as an infinite dimensional integral on the parametric space corresponding to the random coefficients) of linear functionals acting on the solution of our model problem. To estimate the expected value computationally, the infinite expansions of the random parameter need to be truncated. Then we approximate the high-dimensional integral over the random field using a high-order quasi-Monte Carlo method. This follows by approximating the deterministic solution over the space-time domain via a second-order accurate time-stepping scheme in combination with a spatial discretization by Galerkin finite elements. Under reasonable regularity assumptions on the given data, we show some regularity properties of the continuous solution and investigate the errors from estimating the expected value. We report on numerical experiments that complement the theoretical results.
△ Less
Submitted 1 September, 2024;
originally announced September 2024.
-
A simple modification to mitigate locking in conforming FEM for nearly incompressible elasticity
Authors:
K. Mustapha,
W. McLean,
J. Dick,
Q. T. Le Gia
Abstract:
Due to the divergence-instability, the accuracy of low-order conforming finite element methods (FEMs) for nearly incompressible elasticity equations deteriorates as the Lamé parameter $λ\to\infty$, or equivalently as the Poisson ratio $ν\to1/2$. This effect is known as {\itshape locking} or {\itshape non-robustness}. For the piecewise linear case, the error in the ${\bf L}^2$-norm of the standard…
▽ More
Due to the divergence-instability, the accuracy of low-order conforming finite element methods (FEMs) for nearly incompressible elasticity equations deteriorates as the Lamé parameter $λ\to\infty$, or equivalently as the Poisson ratio $ν\to1/2$. This effect is known as {\itshape locking} or {\itshape non-robustness}. For the piecewise linear case, the error in the ${\bf L}^2$-norm of the standard Galerkin conforming FEM is bounded by~$Cλh^2$, resulting in poor accuracy for practical values of~$h$ if $λ$ is sufficiently large. In this short paper, we show that the locking phenomenon can be reduced by replacing $λ$ with~$λ_h=λμ/(μ+λh/L)<λ$ in the stiffness matrix, where $μ$ is the second Lamé parameter and $L$ is the diameter of the body $Ω$. We prove that with this modification, the error in the ${\bf L}^2$-norm is bounded by $Ch$ for a constant $C$ that does not depend on $λ$. Numerical experiments confirm this convergence behaviour and show that, for practical meshes, our method is more accurate than the standard method if $λ$ is larger than about $μL/h$. Our analysis also shows that the error in the ${\bf H}^1$-norm is bounded by $Cλ_h^{1/2}\,h$, which improves the $Cλ^{1/2}\,h$ estimate for the case of conforming FEM.
△ Less
Submitted 27 February, 2025; v1 submitted 9 July, 2024;
originally announced July 2024.
-
High-order QMC nonconforming FEMs for nearly incompressible planar stochastic elasticity equations
Authors:
J. Dick,
T. Le Gia,
W. McLean,
K. Mustapha,
T. Tran
Abstract:
In a recent work (Dick et al, arXiv:2310.06187), we considered a linear stochastic elasticity equation with random Lamé parameters which are parameterized by a countably infinite number of terms in separate expansions. We estimated the expected values over the infinite dimensional parametric space of linear functionals ${\mathcal L}$ acting on the continuous solution $\vu$ of the elasticity equati…
▽ More
In a recent work (Dick et al, arXiv:2310.06187), we considered a linear stochastic elasticity equation with random Lamé parameters which are parameterized by a countably infinite number of terms in separate expansions. We estimated the expected values over the infinite dimensional parametric space of linear functionals ${\mathcal L}$ acting on the continuous solution $\vu$ of the elasticity equation. This was achieved by truncating the expansions of the random parameters, then using a high-order quasi-Monte Carlo (QMC) method to approximate the high dimensional integral combined with the conforming Galerkin finite element method (FEM) to approximate the displacement over the physical domain $Ω.$ In this work, as a further development of aforementioned article, we focus on the case of a nearly incompressible linear stochastic elasticity equation. To serve this purpose, in the presence of stochastic inhomogeneous (variable Lamé parameters) nearly compressible material, we develop a new locking-free symmetric nonconforming Galerkin FEM that handles the inhomogeneity. In the case of nearly incompressible material, one known important advantage of nonconforming approximations is that they yield optimal order convergence rates that are uniform in the Poisson coefficient. Proving the convergence of the nonconforming FEM leads to another challenge that is summed up in showing the needed regularity properties of $\vu$. For the error estimates from the high-order QMC method, which is needed to estimate the expected value over the infinite dimensional parametric space of ${\mathcal L}\vu,$ we %rely on (Dick et al. 2022). We are required here to show certain regularity properties of $\vu$ with respect to the random coefficients. Some numerical results are delivered at the end.
△ Less
Submitted 18 February, 2024;
originally announced February 2024.
-
An $α$-robust and second-order accurate scheme for a subdiffusion equation
Authors:
Kassem Mustapha,
William McLean,
Josef Dick
Abstract:
We investigate a second-order accurate time-stepping scheme for solving a time-fractional diffusion equation with a Caputo derivative of order~$α\in (0,1)$. The basic idea of our scheme is based on local integration followed by linear interpolation. It reduces to the standard Crank--Nicolson scheme in the classical diffusion case, that is, as $α\to 1$. Using a novel approach, we show that the prop…
▽ More
We investigate a second-order accurate time-stepping scheme for solving a time-fractional diffusion equation with a Caputo derivative of order~$α\in (0,1)$. The basic idea of our scheme is based on local integration followed by linear interpolation. It reduces to the standard Crank--Nicolson scheme in the classical diffusion case, that is, as $α\to 1$. Using a novel approach, we show that the proposed scheme is $α$-robust and second-order accurate in the $L^2(L^2)$-norm, assuming a suitable time-graded mesh. For completeness, we use the Galerkin finite element method for the spatial discretization and discuss the error analysis under reasonable regularity assumptions on the given data. Some numerical results are presented at the end.
△ Less
Submitted 24 March, 2024; v1 submitted 10 January, 2024;
originally announced January 2024.
-
Numerical Evaluation of Mittag-Leffler Functions
Authors:
William McLean
Abstract:
The Mittag-Leffler function is computed via a quadrature approximation of a contour integral representation. We compare results for parabolic and hyperbolic contours, and give special attention to evaluation on the real line. The main point of difference with respect to similar approaches from the literature is the way that poles in the integrand are handled. Rational approximation of the Mittag-L…
▽ More
The Mittag-Leffler function is computed via a quadrature approximation of a contour integral representation. We compare results for parabolic and hyperbolic contours, and give special attention to evaluation on the real line. The main point of difference with respect to similar approaches from the literature is the way that poles in the integrand are handled. Rational approximation of the Mittag-Leffler function on the negative real axis is also discussed.
△ Less
Submitted 7 August, 2022;
originally announced August 2022.
-
Error Profile for Discontinuous Galerkin Time Stepping of Parabolic PDEs
Authors:
William McLean,
Kassem Mustapha
Abstract:
We consider the time discretization of a linear parabolic problem by the discontinuous Galerkin (DG) method using piecewise polynomials of degree at most $r-1$ in $t$, for $r\ge1$ and with maximum step size~$k$. It is well known that the spatial $L_2$-norm of the DG error is of optimal order $k^r$ globally in time, and is, for $r\ge2$, superconvergent of order $k^{2r-1}$ at the nodes. We show that…
▽ More
We consider the time discretization of a linear parabolic problem by the discontinuous Galerkin (DG) method using piecewise polynomials of degree at most $r-1$ in $t$, for $r\ge1$ and with maximum step size~$k$. It is well known that the spatial $L_2$-norm of the DG error is of optimal order $k^r$ globally in time, and is, for $r\ge2$, superconvergent of order $k^{2r-1}$ at the nodes. We show that on the $n$th subinterval $(t_{n-1},t_n)$, the dominant term in the DG error is proportional to the local right Radau polynomial of degree $r$. This error profile implies that the DG error is of order $k^{r+1}$ at the right-hand Gauss--Radau quadrature points in each interval. We show that the norm of the jump in the DG solution at the left end point $t_{n-1}$ provides an accurate \emph{a posteriori} estimate for the maximum error over the subinterval $(t_{n-1},t_n)$. Furthermore, a simple post-processing step yields a \emph{continuous} piecewise polynomial of degree $r$ with the optimal global convergence rate of order $k^{r+1}$. We illustrate these results with some numerical experiments.
△ Less
Submitted 22 September, 2022; v1 submitted 7 August, 2022;
originally announced August 2022.
-
Uniform stability for a spatially-discrete, subdiffusive Fokker-Planck equation
Authors:
William McLean,
Kassem Mustapha
Abstract:
We prove stability estimates for the spatially discrete, Galerkin solution of a fractional Fokker-Planck equation, improving on previous results in several respects. Our main goal is to establish that the stability constants are bounded uniformly in the fractional diffusion exponent $α\in(0,1]$. In addition, we account for the presence of an inhomogeneous term and show a stability estimate for the…
▽ More
We prove stability estimates for the spatially discrete, Galerkin solution of a fractional Fokker-Planck equation, improving on previous results in several respects. Our main goal is to establish that the stability constants are bounded uniformly in the fractional diffusion exponent $α\in(0,1]$. In addition, we account for the presence of an inhomogeneous term and show a stability estimate for the gradient of the Galerkin solution. As a by-product, the proofs of error bounds for a standard finite element approximation are simplified.
△ Less
Submitted 26 December, 2020;
originally announced December 2020.
-
Implementation of high-order, discontinuous Galerkin time stepping for fractional diffusion problems
Authors:
William McLean
Abstract:
The discontinuous Galerkin dG method provides a robust and flexible technique for the time integration of fractional diffusion problems. However, a practical implementation uses coefficients defined by integrals that are not easily evaluated. We describe specialised quadrature techniques that efficiently maintain the overall accuracy of the dG method. In addition, we observe in numerical experimen…
▽ More
The discontinuous Galerkin dG method provides a robust and flexible technique for the time integration of fractional diffusion problems. However, a practical implementation uses coefficients defined by integrals that are not easily evaluated. We describe specialised quadrature techniques that efficiently maintain the overall accuracy of the dG method. In addition, we observe in numerical experiments that known superconvergence properties of dG time stepping for classical diffusion problems carry over in a modified form to the fractional-order setting.
△ Less
Submitted 22 March, 2020;
originally announced March 2020.
-
A semidiscrete finite element approximation of a time-fractional Fokker-Planck equation with nonsmooth initial data
Authors:
Kim Ngan Le,
William McLean,
Kassem Mustapha
Abstract:
We present a new stability and convergence analysis for the spatial discretization of a time-fractional Fokker--Planck equation in a convex polyhedral domain, using continuous, piecewise-linear, finite elements. The forcing may depend on time as well as on the spatial variables, and the initial data may have low regularity. Our analysis uses a novel sequence of energy arguments in combination with…
▽ More
We present a new stability and convergence analysis for the spatial discretization of a time-fractional Fokker--Planck equation in a convex polyhedral domain, using continuous, piecewise-linear, finite elements. The forcing may depend on time as well as on the spatial variables, and the initial data may have low regularity. Our analysis uses a novel sequence of energy arguments in combination with a generalized Gronwall inequality. Although this theory covers only the spatial discretization, we present numerical experiments with a fully discrete scheme employing a very small time step, and observe results consistent with the predicted convergence behavior.
△ Less
Submitted 8 February, 2019;
originally announced February 2019.
-
Existence, uniqueness and regularity of the solution of the time-fractional Fokker-Planck equation with general forcing
Authors:
Kim-Ngan Le,
William McLean,
Martin Stynes
Abstract:
A time-fractional Fokker-Planck initial-boundary value problem is considered, with differential operator $u_t-\nabla\cdot(\partial_t^{1-α}κ_α\nabla u-\textbf{F}\partial_t^{1-α}u)$, where $0<α<1$. The forcing function $\textbf{F} = \textbf{F}(t,x)$, which is more difficult to analyse than the case $\textbf{F}=\textbf{F}(x)$ investigated previously by other authors. The spatial domain…
▽ More
A time-fractional Fokker-Planck initial-boundary value problem is considered, with differential operator $u_t-\nabla\cdot(\partial_t^{1-α}κ_α\nabla u-\textbf{F}\partial_t^{1-α}u)$, where $0<α<1$. The forcing function $\textbf{F} = \textbf{F}(t,x)$, which is more difficult to analyse than the case $\textbf{F}=\textbf{F}(x)$ investigated previously by other authors. The spatial domain $Ω\subset\mathbb{R}^d$, where $d\ge 1$, has a smooth boundary. Existence, uniqueness and regularity of a mild solution $u$ is proved under the hypothesis that the initial data $u_0$ lies in $L^2(Ω)$. For $1/2<α<1$ and $u_0\in H^2(Ω)\cap H_0^1(Ω)$, it is shown that $u$ becomes a classical solution of the problem. Estimates of time derivatives of the classical solution are derived---these are known to be needed in numerical analyses of this problem.
△ Less
Submitted 7 February, 2019;
originally announced February 2019.
-
Regularity theory for time-fractional advection-diffusion-reaction equations
Authors:
William McLean,
Kassem Mustapha,
Raed Ali,
Omar M. Knio
Abstract:
We investigate the behavior of the time derivatives of the solution to a linear time-fractional, advection-diffusion-reaction equation, allowing space- and time-dependent coefficients as well as initial data that may have low regularity. Our focus is on proving estimates that are needed for the error analysis of numerical methods. The nonlocal nature of the fractional derivative creates substantia…
▽ More
We investigate the behavior of the time derivatives of the solution to a linear time-fractional, advection-diffusion-reaction equation, allowing space- and time-dependent coefficients as well as initial data that may have low regularity. Our focus is on proving estimates that are needed for the error analysis of numerical methods. The nonlocal nature of the fractional derivative creates substantial difficulties compared with the case of a classical parabolic PDE. In our analysis, we rely on novel energy methods in combination with a fractional Gronwall inequality and certain properties of fractional integrals.
△ Less
Submitted 3 February, 2019;
originally announced February 2019.
-
Well-posedness of time-fractional, advection-diffusion-reaction equations
Authors:
William McLean,
Kassem Mustapha,
Raed Ali,
Omar Knio
Abstract:
We establish the well-posedness of an initial-boundary value problem for a general class of time-fractional, advection-diffusion-reaction equations, allowing space- and time-dependent coefficients as well as initial data that may have low regularity. Our analysis relies on novel energy methods in combination with a fractional Gronwall inequality and properties of fractional integrals.
We establish the well-posedness of an initial-boundary value problem for a general class of time-fractional, advection-diffusion-reaction equations, allowing space- and time-dependent coefficients as well as initial data that may have low regularity. Our analysis relies on novel energy methods in combination with a fractional Gronwall inequality and properties of fractional integrals.
△ Less
Submitted 5 February, 2019; v1 submitted 10 October, 2018;
originally announced October 2018.
-
A discrete Grönwall inequality with application to numerical schemes for subdiffusion problems
Authors:
Hong-lin Liao,
William McLean,
Jiwei Zhang
Abstract:
We consider a class of numerical approximations to the Caputo fractional derivative. Our assumptions permit the use of nonuniform time steps, such as is appropriate for accurately resolving the behavior of a solution whose derivatives are singular at~$t=0$. The main result is a type of fractional Grönwall inequality and we illustrate its use by outlining some stability and convergence estimates of…
▽ More
We consider a class of numerical approximations to the Caputo fractional derivative. Our assumptions permit the use of nonuniform time steps, such as is appropriate for accurately resolving the behavior of a solution whose derivatives are singular at~$t=0$. The main result is a type of fractional Grönwall inequality and we illustrate its use by outlining some stability and convergence estimates of schemes for fractional reaction-subdiffusion problems. This approach extends earlier work that used the familiar L1 approximation to the Caputo fractional derivative, and will facilitate the analysis of higher order and linearized fast schemes.
△ Less
Submitted 22 November, 2018; v1 submitted 26 March, 2018;
originally announced March 2018.
-
A second-order scheme with nonuniform time steps for a linear reaction-sudiffusion problem
Authors:
Hong-lin Liao,
William McLean,
Jiwei Zhang
Abstract:
Stability and convergence of a time-weighted discrete scheme with nonuniform time steps are established for linear reaction-subdiffusion equations. The Caupto derivative is approximated at an offset point by using linear and quadratic polynomial interpolation. Our analysis relies on two tools: a discrete fractional Grönwall inequality and the global consistency analysis. The new consistency analys…
▽ More
Stability and convergence of a time-weighted discrete scheme with nonuniform time steps are established for linear reaction-subdiffusion equations. The Caupto derivative is approximated at an offset point by using linear and quadratic polynomial interpolation. Our analysis relies on two tools: a discrete fractional Grönwall inequality and the global consistency analysis. The new consistency analysis makes use of an interpolation error formula for quadratic polynomials, which leads to a convolution-type bound for the local truncation error. To exploit these two tools, some theoretical properties of the discrete kernels in the numerical Caputo formula are crucial and we investigate them intensively in the nonuniform setting. Taking the initial singularity of the solution into account, we obtain a sharp error estimate on nonuniform time meshes. The fully discrete scheme generates a second-order accurate solution on the graded mesh provided a proper grading parameter is employed. An example is presented to show the sharpness of our analysis.
△ Less
Submitted 28 April, 2019; v1 submitted 26 March, 2018;
originally announced March 2018.
-
Wider contours and adaptive contours
Authors:
Shev MacNamara,
William McLean,
Kevin Burrage
Abstract:
Contour integrals in the complex plane are the basis of effective numerical methods for computing matrix functions, such as the matrix exponential and the Mittag-Leffler function. These methods provide successful ways to solve partial differential equations, such as convection--diffusion models. Part of the success of these methods comes from exploiting the freedom to choose the contour, by appeal…
▽ More
Contour integrals in the complex plane are the basis of effective numerical methods for computing matrix functions, such as the matrix exponential and the Mittag-Leffler function. These methods provide successful ways to solve partial differential equations, such as convection--diffusion models. Part of the success of these methods comes from exploiting the freedom to choose the contour, by appealing to Cauchy's theorem. However, the pseudospectra of non-normal matrices or operators present a challenge for these methods: if the contour is too close to regions where the norm of the resolvent matrix is large, then the accuracy suffers. Important applications that involve non-normal matrices or operators include the Black--Scholes equation of finance, and Fokker--Planck equations for stochastic models arising in biology. Consequently, it is crucial to choose the contour carefully. As a remedy, we discuss choosing a contour that is wider than it might otherwise have been for a normal matrix or operator. We also suggest a semi-analytic approach to adapting the contour, in the form of a parabolic bound that is derived by estimating the field of values. To demonstrate the utility of the approaches that we advocate, we study three models in biology: a monomolecular reaction, a bimolecular reaction and a trimolecular reaction. Modelling and simulation of these reactions is done within the framework of Markov processes. We also consider non-Markov generalisations that have Mittag-Leffler waiting times instead of the usual exponential waiting times of a Markov process.
△ Less
Submitted 19 December, 2017;
originally announced December 2017.
-
Fractional Euler Limits and Their Applications
Authors:
Shev MacNamara,
Bruce I Henry,
William McLean
Abstract:
Generalisations of the classical Euler formula to the setting of fractional calculus are discussed. Compound interest and fractional compound interest serve as motivation. Connections to fractional master equations are highlighted. An application to the Schlogl reactions with Mittag-Leffler waiting times is described.
Generalisations of the classical Euler formula to the setting of fractional calculus are discussed. Compound interest and fractional compound interest serve as motivation. Connections to fractional master equations are highlighted. An application to the Schlogl reactions with Mittag-Leffler waiting times is described.
△ Less
Submitted 10 September, 2016;
originally announced September 2016.
-
Exponential sum approximations for $t^{-β}$
Authors:
William McLean
Abstract:
Given $β>0$ and $δ>0$, the function $t^{-β}$ may be approximated for $t$ in a compact interval $[δ,T]$ by a sum of terms of the form $we^{-at}$, with parameters $w>0$ and $a>0$. One such an approximation, studied by Beylkin and Monzón, is obtained by applying the trapezoidal rule to an integral representation of $t^{-β}$, after which Prony's method is applied to reduce the number of terms in the s…
▽ More
Given $β>0$ and $δ>0$, the function $t^{-β}$ may be approximated for $t$ in a compact interval $[δ,T]$ by a sum of terms of the form $we^{-at}$, with parameters $w>0$ and $a>0$. One such an approximation, studied by Beylkin and Monzón, is obtained by applying the trapezoidal rule to an integral representation of $t^{-β}$, after which Prony's method is applied to reduce the number of terms in the sum with essentially no loss of accuracy. We review this method, and then describe a similar approach based on an alternative integral representation. The main difference is that the new approach achieves much better results before the application of Prony's method; after applying Prony's method the performance of both is much the same.
△ Less
Submitted 6 June, 2017; v1 submitted 1 June, 2016;
originally announced June 2016.
-
Finite element approximation of a time-fractional diffusion problem in a non-convex polygonal domain
Authors:
Kim Ngan Le,
William McLean,
Bishnu Lamichhane
Abstract:
An initial-boundary value problem for the time-fractional diffusion equation is discretized in space using continuous piecewise-linear finite elements on a polygonal domain with a re-entrant corner. Known error bounds for the case of a convex polygon break down because the associated Poisson equation is no longer $H^2$-regular. In particular, the method is no longer second-order accurate if quasi-…
▽ More
An initial-boundary value problem for the time-fractional diffusion equation is discretized in space using continuous piecewise-linear finite elements on a polygonal domain with a re-entrant corner. Known error bounds for the case of a convex polygon break down because the associated Poisson equation is no longer $H^2$-regular. In particular, the method is no longer second-order accurate if quasi-uniform triangulations are used. We prove that a suitable local mesh refinement about the re-entrant corner restores second-order convergence. In this way, we generalize known results for the classical heat equation due to Chatzipantelidis, Lazarov, Thomée and Wahlbin.
△ Less
Submitted 29 January, 2016;
originally announced February 2016.
-
Numerical solution of the time-fractional Fokker-Planck equation with general forcing
Authors:
Kim Ngan Le,
William McLean,
Kassem Mustapha
Abstract:
We study two schemes for a time-fractional Fokker-Planck equation with space- and time-dependent forcing in one space dimension. The first scheme is continuous in time and is discretized in space using a piecewise-linear Galerkin finite element method. The second is continuous in space and employs a time-stepping procedure similar to the classical implicit Euler method. We show that the space disc…
▽ More
We study two schemes for a time-fractional Fokker-Planck equation with space- and time-dependent forcing in one space dimension. The first scheme is continuous in time and is discretized in space using a piecewise-linear Galerkin finite element method. The second is continuous in space and employs a time-stepping procedure similar to the classical implicit Euler method. We show that the space discretization is second-order accurate in the spatial $L_2$-norm, uniformly in time, whereas the corresponding error for the time-stepping scheme is $O(k^α)$ for a uniform time step $k$, where $α\in(1/2,1)$ is the fractional diffusion parameter. In numerical experiments using a combined, fully-discrete method, we observe convergence behaviour consistent with these results.
△ Less
Submitted 21 July, 2015;
originally announced July 2015.
-
Time-stepping error bounds for fractional diffusion problems with non-smooth initial data
Authors:
William McLean,
Kassem Mustapha
Abstract:
We apply the piecewise constant, discontinuous Galerkin method to discretize a fractional diffusion equation with respect to time. Using Laplace transform techniques, we show that the method is first order accurate at the \$n\$th time level \$t_n\$, but the error bound includes a factor \$t_n^{-1}\$ if we assume no smoothness of the initial data. We also show that for smoother initial data the gro…
▽ More
We apply the piecewise constant, discontinuous Galerkin method to discretize a fractional diffusion equation with respect to time. Using Laplace transform techniques, we show that the method is first order accurate at the \$n\$th time level \$t_n\$, but the error bound includes a factor \$t_n^{-1}\$ if we assume no smoothness of the initial data. We also show that for smoother initial data the growth in the error bound as \$t_n\$ decreases is milder, and in some cases absent altogether. Our error bounds generalize known results for the classical heat equation and are illustrated for a model problem.
△ Less
Submitted 9 May, 2014;
originally announced May 2014.
-
Solving parabolic equations on the unit sphere via Laplace transforms and radial basis functions
Authors:
Q. T. Le Gia,
William McLean
Abstract:
We propose a method to construct numerical solutions of parabolic equations on the unit sphere. The time discretization uses Laplace transforms and quadrature. The spatial approximation of the solution employs radial basis functions restricted to the sphere. The method allows us to construct high accuracy numerical solutions in parallel. We establish $L_2$ error estimates for smooth and nonsmooth…
▽ More
We propose a method to construct numerical solutions of parabolic equations on the unit sphere. The time discretization uses Laplace transforms and quadrature. The spatial approximation of the solution employs radial basis functions restricted to the sphere. The method allows us to construct high accuracy numerical solutions in parallel. We establish $L_2$ error estimates for smooth and nonsmooth initial data, and describe some numerical experiments.
△ Less
Submitted 19 July, 2012;
originally announced July 2012.
-
Superconvergence of a discontinuous Galerkin method for fractional diffusion and wave equations
Authors:
Kassem Mustapha,
William McLean
Abstract:
We consider an initial-boundary value problem for $\partial_tu-\partial_t^{-α}\nabla^2u=f(t)$, that is, for a fractional diffusion ($-1<α<0$) or wave ($0<α<1$) equation. A numerical solution is found by applying a piecewise-linear, discontinuous Galerkin method in time combined with a piecewise-linear, conforming finite element method in space. The time mesh is graded appropriately near $t=0$, but…
▽ More
We consider an initial-boundary value problem for $\partial_tu-\partial_t^{-α}\nabla^2u=f(t)$, that is, for a fractional diffusion ($-1<α<0$) or wave ($0<α<1$) equation. A numerical solution is found by applying a piecewise-linear, discontinuous Galerkin method in time combined with a piecewise-linear, conforming finite element method in space. The time mesh is graded appropriately near $t=0$, but the spatial mesh is quasiuniform. Previously, we proved that the error, measured in the spatial $L_2$-norm, is of order $k^{2+α_-}+h^2\ell(k)$, uniformly in $t$, where $k$ is the maximum time step, $h$ is the maximum diameter of the spatial finite elements, $α_-=\min(α,0)\le0$ and $\ell(k)=\max(1,|\log k|)$. Here, we generalize a known result for the classical heat equation (i.e., the case $α=0$) by showing that at each time level $t_n$ the solution is superconvergent with respect to $k$: the error is of order $(k^{3+2α_-}+h^2)\ell(k)$. Moreover, a simple postprocessing step employing Lagrange interpolation yields a superconvergent approximation for any $t$. Numerical experiments indicate that our theoretical error bound is pessimistic if $α<0$. Ignoring logarithmic factors, we observe that the error in the DG solution at $t=t_n$, and after postprocessing at all $t$, is of order $k^{3+α_-}+h^2$.
△ Less
Submitted 12 June, 2012;
originally announced June 2012.
-
Fast summation by interval clustering for an evolution equation with memory
Authors:
William McLean
Abstract:
We solve a fractional diffusion equation using a piecewise-constant, discontinuous Galerkin method in time combined with a continuous, piecewise-linear finite element method in space. If there are $N$ time levels and $M$ spatial degrees of freedom, then a direct implementation of this method requires $O(N^2M)$ operations and $O(NM)$ active memory locations, owing to the presence of a memory term:…
▽ More
We solve a fractional diffusion equation using a piecewise-constant, discontinuous Galerkin method in time combined with a continuous, piecewise-linear finite element method in space. If there are $N$ time levels and $M$ spatial degrees of freedom, then a direct implementation of this method requires $O(N^2M)$ operations and $O(NM)$ active memory locations, owing to the presence of a memory term: at each time step, the discrete evolution equation involves a sum over \emph{all} previous time levels. We show how the computational cost can be reduced to $O(MN\log N)$ operations and $O(M\log N)$ active memory locations.
△ Less
Submitted 19 March, 2012;
originally announced March 2012.
-
Iterative methods for shifted positive definite linear systems and time discretization of the heat equation
Authors:
William McLean,
Vidar Thomée
Abstract:
In earlier work we have studied a method for discretization in time of a parabolic problem which consists in representing the exact solution as an integral in the complex plane and then applying a quadrature formula to this integral. In application to a spatially semidiscrete finite element version of the parabolic problem, at each quadrature point one then needs to solve a linear algebraic system…
▽ More
In earlier work we have studied a method for discretization in time of a parabolic problem which consists in representing the exact solution as an integral in the complex plane and then applying a quadrature formula to this integral. In application to a spatially semidiscrete finite element version of the parabolic problem, at each quadrature point one then needs to solve a linear algebraic system having a positive definite matrix with a complex shift, and in this paper we study iterative methods for such systems. We first consider the basic and a preconditioned version of the Richardson algorithm, and then a conjugate gradient method as well as a preconditioned version thereof.
△ Less
Submitted 22 November, 2011;
originally announced November 2011.
