-
A Locking-free modified conforming FEM for planar elasticity
Authors:
K. Mustapha,
W. McLean,
J. Dick,
Q. T. Le Gia
Abstract:
Due to the divergence-instability, low-order conforming finite element methods (FEMs) for nearly incompressible elasticity equations suffer from the so-called locking phenomenon as the Lamé parameter $λ\to\infty$ and consequently the material becomes more and more incompressible. For the piecewise linear case, the error in the $L^2$-norm of the standard Galerkin conforming FEM is bounded by…
▽ More
Due to the divergence-instability, low-order conforming finite element methods (FEMs) for nearly incompressible elasticity equations suffer from the so-called locking phenomenon as the Lamé parameter $λ\to\infty$ and consequently the material becomes more and more incompressible. For the piecewise linear case, the error in the $L^2$-norm of the standard Galerkin conforming FEM is bounded by $C_λh^2$. However, $C_λ\to \infty$ as $λ\to \infty$, resulting in poor accuracy for practical values of $h$ if $λ$ is sufficiently large. In this short paper, we show that for 2D problems the locking phenomenon can be controlled by replacing $λ$ with $λ^α$ in the stiffness matrix, for a certain choice of $α=α_*(h,λ)$ in the range $0<α\le 1$. We prove that for this optimal choice of $α$, the error in the $L^2$-norm is bounded by $Ch$ where $C$ does not depend on $λ$. Numerical experiments confirm the expected convergence behaviour and show that, for practical meshes, our locking-free method is more accurate than the standard method if the material is nearly incompressible. Our analysis also shows that the error in the $H^1$-norm is bounded by $Ch^{1/2}$, but our numerical experiments suggest that this bound is not sharp.
△ Less
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-step** 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-step** 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 Step** 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 step** 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 step** 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.
-
New polarimetric and spectroscopic evidence of anomalous enrichment in spinel-bearing Calcium-Aluminium-rich Inclusions among L-type asteroids
Authors:
M. Devogèle,
P. Tanga,
A. Cellino,
Ph. Bendjoya,
J. -P. Rivet,
J. Surdej,
D. Vernet,
J. M. Sunshine,
S. J. Bus,
L. Abe,
S. Bagnulo,
G. Borisov,
H. Campins,
B. Carry,
J. Licandro,
W. McLean,
N. Pinilla-Alonso
Abstract:
Asteroids can be classified into several groups based on their spectral reflectance. Among these groups, the one belonging to the L-class in the taxonomic classification based on visible and near-infrared spectra exhibit several peculiar properties. First, their near-infrared spectrum is characterized by a strong absorption band interpreted as the diagnostic of a high content of the FeO bearing sp…
▽ More
Asteroids can be classified into several groups based on their spectral reflectance. Among these groups, the one belonging to the L-class in the taxonomic classification based on visible and near-infrared spectra exhibit several peculiar properties. First, their near-infrared spectrum is characterized by a strong absorption band interpreted as the diagnostic of a high content of the FeO bearing spinel mineral. This mineral is one of the main constituents of Calcium-Aluminum-rich Inclusions (CAI) the oldest mineral compounds found in the solar system. In polarimetry, they possess an uncommonly large value of the inversion angle incompatible with all known asteroid belonging to other taxonomical classes. Asteroids found to possess such a high inversion angle are commonly called Barbarians based on the first asteroid on which this property was first identified, (234)~Barbara. In this paper we present the results of an extensive campaign of polarimetric and spectroscopic observations of L-class objects. We have derived phase-polarization curves for a sample of 7 Barbarians, finding a variety of inversion angles ranging between 25 and 30$^{\circ}$. Spectral reflectance data exhibit variations in terms of spectral slope and absorption features in the near-infrared. We analyzed these data using a Hapke model to obtain some inferences about the relative abundance of CAI and other mineral compounds. By combining spectroscopic and polarimetric results, we find evidence that the polarimetric inversion angle is directly correlated with the presence of CAI, and the peculiar polarimetric properties of Barbarians are primarily a consequence of their anomalous composition.
△ Less
Submitted 20 February, 2018;
originally announced February 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-step** 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-step** 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-step** 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-step** 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.
-
Straightforward Bibliography Management in R with the RefManageR Package
Authors:
Mathew W. McLean
Abstract:
This work introduces the R package RefManageR, which provides tools for importing and working with bibliographic references. It extends the bibentry class in R in a number of useful ways, including providing R with previously unavailable support for BibLaTeX. BibLaTeX provides a superset of the functionality of BibTeX, including full Unicode support, no memory limitations, additional fields and en…
▽ More
This work introduces the R package RefManageR, which provides tools for importing and working with bibliographic references. It extends the bibentry class in R in a number of useful ways, including providing R with previously unavailable support for BibLaTeX. BibLaTeX provides a superset of the functionality of BibTeX, including full Unicode support, no memory limitations, additional fields and entry types, and more sophisticated sorting of references. RefManageR provides functions for citing and generating a bibliography with hyperlinks for documents prepared with RMarkdown or RHTML. Existing .bib files can be read into R and converted from BibTeX to BibLaTeX and vice versa. References can also be imported via queries to NCBI's Entrez, Zotero libraries, Google Scholar, and CrossRef. Additionally, references can be created by reading PDFs stored on the user's machine with the help of Poppler. Entries stored in the reference manager can be easily searched by any field, by date ranges, and by various formats for name lists (author by last names, translator by full names, etc.). Entries can also be updated, combined, sorted, printed in a number of styles, and exported.
△ Less
Submitted 9 March, 2014;
originally announced March 2014.
-
Improved annotation of 3-prime untranslated regions and complex loci by combination of strand-specific Direct RNA Sequencing, RNA-seq and ESTs
Authors:
Nick Schurch,
Christian Cole,
Alexander Sherstnev,
Junfang Song,
Céline Duc,
Kate G. Storey,
W. H. Irwin McLean,
Sara J. Brown,
Gordon G. Simpson,
Geoffrey J. Barton
Abstract:
The reference annotations made for a genome sequence provide the framework for all subsequent analyses of the genome. Correct annotation is particularly important when interpreting the results of RNA-seq experiments where short sequence reads are mapped against the genome and assigned to genes according to the annotation. Inconsistencies in annotations between the reference and the experimental sy…
▽ More
The reference annotations made for a genome sequence provide the framework for all subsequent analyses of the genome. Correct annotation is particularly important when interpreting the results of RNA-seq experiments where short sequence reads are mapped against the genome and assigned to genes according to the annotation. Inconsistencies in annotations between the reference and the experimental system can lead to incorrect interpretation of the effect on RNA expression of an experimental treatment or mutation in the system under study. Until recently, the genome-wide annotation of 3-prime untranslated regions received less attention than coding regions and the delineation of intron/exon boundaries. In this paper, data produced for samples in Human, Chicken and A. thaliana by the novel single-molecule, strand-specific, Direct RNA Sequencing technology from Helicos Biosciences which locates 3-prime polyadenylation sites to within +/- 2 nt, were combined with archival EST and RNA-Seq data. Nine examples are illustrated where this combination of data allowed: (1) gene and 3-prime UTR re-annotation (including extension of one 3-prime UTR by 5.9 kb); (2) disentangling of gene expression in complex regions; (3) clearer interpretation of small RNA expression and (4) identification of novel genes. While the specific examples displayed here may become obsolete as genome sequences and their annotations are refined, the principles laid out in this paper will be of general use both to those annotating genomes and those seeking to interpret existing publically available annotations in the context of their own experimental data
△ Less
Submitted 11 November, 2013;
originally announced November 2013.
-
Restricted Likelihood Ratio Tests for Linearity in Scalar-on-Function Regression
Authors:
Mathew W. McLean,
Giles Hooker,
David Ruppert
Abstract:
We propose a procedure for testing the linearity of a scalar-on-function regression relationship. To do so, we use the functional generalized additive model (FGAM), a recently developed extension of the functional linear model. For a functional covariate X(t), the FGAM models the mean response as the integral with respect to t of F{X(t),t} where F is an unknown bivariate function. The FGAM can be…
▽ More
We propose a procedure for testing the linearity of a scalar-on-function regression relationship. To do so, we use the functional generalized additive model (FGAM), a recently developed extension of the functional linear model. For a functional covariate X(t), the FGAM models the mean response as the integral with respect to t of F{X(t),t} where F is an unknown bivariate function. The FGAM can be viewed as the natural functional extension of generalized additive models. We show how the functional linear model can be represented as a simple mixed model nested within the FGAM. Using this representation, we then consider restricted likelihood ratio tests for zero variance components in mixed models to test the null hypothesis that the functional linear model holds. The methods are general and can also be applied to testing for interactions in a multivariate additive model or for testing for no effect in the functional linear model. The performance of the proposed tests is assessed on simulated data and in an application to measuring diesel truck emissions, where strong evidence of nonlinearities in the relationship between the functional predictor and the response are found.
△ Less
Submitted 22 October, 2013;
originally announced October 2013.
-
Bayesian Functional Generalized Additive Models with Sparsely Observed Covariates
Authors:
Mathew W. McLean,
Fabian Scheipl,
Giles Hooker,
Sonja Greven,
David Ruppert
Abstract:
The functional generalized additive model (FGAM) was recently proposed in McLean et al. (2013) as a more flexible alternative to the common functional linear model (FLM) for regressing a scalar on functional covariates. In this paper, we develop a Bayesian version of FGAM for the case of Gaussian errors with identity link function. Our approach allows the functional covariates to be sparsely obser…
▽ More
The functional generalized additive model (FGAM) was recently proposed in McLean et al. (2013) as a more flexible alternative to the common functional linear model (FLM) for regressing a scalar on functional covariates. In this paper, we develop a Bayesian version of FGAM for the case of Gaussian errors with identity link function. Our approach allows the functional covariates to be sparsely observed and measured with error, whereas the estimation procedure of McLean et al. (2013) required that they be noiselessly observed on a regular grid. We consider both Monte Carlo and variational Bayes methods for fitting the FGAM with sparsely observed covariates. Due to the complicated form of the model posterior distribution and full conditional distributions, standard Monte Carlo and variational Bayes algorithms cannot be used. The strategies we use to handle the updating of parameters without closed-form full conditionals should be of independent interest to applied Bayesian statisticians working with nonconjugate models. Our numerical studies demonstrate the benefits of our algorithms over a two-step approach of first recovering the complete trajectories using standard techniques and then fitting a functional regression model. In a real data analysis, our methods are applied to forecasting closing price for items up for auction on the online auction website eBay.
△ Less
Submitted 26 May, 2017; v1 submitted 15 May, 2013;
originally announced May 2013.
-
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.
-
Forecasting emergency medical service call arrival rates
Authors:
David S. Matteson,
Mathew W. McLean,
Dawn B. Woodard,
Shane G. Henderson
Abstract:
We introduce a new method for forecasting emergency call arrival rates that combines integer-valued time series models with a dynamic latent factor structure. Covariate information is captured via simple constraints on the factor loadings. We directly model the count-valued arrivals per hour, rather than using an artificial assumption of normality. This is crucial for the emergency medical service…
▽ More
We introduce a new method for forecasting emergency call arrival rates that combines integer-valued time series models with a dynamic latent factor structure. Covariate information is captured via simple constraints on the factor loadings. We directly model the count-valued arrivals per hour, rather than using an artificial assumption of normality. This is crucial for the emergency medical service context, in which the volume of calls may be very low. Smoothing splines are used in estimating the factor levels and loadings to improve long-term forecasts. We impose time series structure at the hourly level, rather than at the daily level, capturing the fine-scale dependence in addition to the long-term structure. Our analysis considers all emergency priority calls received by Toronto EMS between January 2007 and December 2008 for which an ambulance was dispatched. Empirical results demonstrate significantly reduced error in forecasting call arrival volume. To quantify the impact of reduced forecast errors, we design a queueing model simulation that approximates the dynamics of an ambulance system. The results show better performance as the forecasting method improves. This notion of quantifying the operational impact of improved statistical procedures may be of independent interest.
△ Less
Submitted 25 July, 2011;
originally announced July 2011.