-
Numerical approximation of SDEs driven by fractional Brownian motion for all $H\in(0,1)$ using WIS integration
Authors:
Utku Erdogan,
Gabriel J. Lord,
Roy B. Schieven
Abstract:
We examine the numerical approximation of a quasilinear stochastic differential equation (SDE) with multiplicative fractional Brownian motion. The stochastic integral is interpreted in the Wick-Itô-Skorohod (WIS) sense that is well defined and centered for all $H\in(0,1)$. We give an introduction to the theory of WIS integration before we examine existence and uniqueness of a solution to the SDE.…
▽ More
We examine the numerical approximation of a quasilinear stochastic differential equation (SDE) with multiplicative fractional Brownian motion. The stochastic integral is interpreted in the Wick-Itô-Skorohod (WIS) sense that is well defined and centered for all $H\in(0,1)$. We give an introduction to the theory of WIS integration before we examine existence and uniqueness of a solution to the SDE. We then introduce our numerical method which is based on the theoretical results in \cite{Mishura2008article, Mishura2008} for $H\geq \frac{1}{2}$. We construct explicitly a translation operator required for the practical implementation of the method and are not aware of any other implementation of a numerical method for the WIS SDE. We then prove a strong convergence result that gives, in the non-autonomous case, an error of $O(Δt^H)$ and in the non-autonomous case $O(Δt^{\min(H,ζ)})$, where $ζ$ is a Hölder continuity parameter. We present some numerical experiments and conjecture that the theoretical results may not be optimal since we observe numerically a rate of $\min(H+\frac{1}{2},1)$ in the autonomous case. This work opens up the possibility to efficiently simulate SDEs for all $H$ values, including small values of $H$ when the stochastic integral is interpreted in the WIS sense.
△ Less
Submitted 10 April, 2024;
originally announced April 2024.
-
Strong convergence of a class of adaptive numerical methods for SDEs with jumps
Authors:
Cónall Kelly,
Gabriel Lord,
Fandi Sun
Abstract:
We develop adaptive time-step** strategies for Itô-type stochastic differential equations (SDEs) with jump perturbations. Our approach builds on adaptive strategies for SDEs. Adaptive methods can ensure strong convergence of nonlinear SDEs with drift and diffusion coefficients that violate global Lipschitz bounds by adjusting the stepsize dynamically on each trajectory to prevent spurious growth…
▽ More
We develop adaptive time-step** strategies for Itô-type stochastic differential equations (SDEs) with jump perturbations. Our approach builds on adaptive strategies for SDEs. Adaptive methods can ensure strong convergence of nonlinear SDEs with drift and diffusion coefficients that violate global Lipschitz bounds by adjusting the stepsize dynamically on each trajectory to prevent spurious growth that can lead to loss of convergence if it occurs with sufficiently high probability. In this article we demonstrate the use of a jump-adapted mesh that incorporates jump times into the adaptive time-step** strategy. We prove that any adaptive scheme satisfying a particular mean-square consistency bound for a nonlinear SDE in the non-jump case may be extended to a strongly convergent scheme in the Poisson jump case where jump and diffusion perturbations are mutually independent and the jump coefficient satisfies a global Lipschitz condition.
△ Less
Submitted 13 January, 2024; v1 submitted 11 December, 2023;
originally announced December 2023.
-
Weak Convergence Of Tamed Exponential Integrators for Stochastic Differential Equations
Authors:
Utku Erdogan,
Gabriel J. Lord
Abstract:
We prove weak convergence of order one for a class of exponential based integrators for SDEs with non-globally Lipschtiz drift. Our analysis covers tamed versions of Geometric Brownian Motion (GBM) based methods as well as the standard exponential schemes. The numerical performance of both the GBM and exponential tamed methods through four different multi-level Monte Carlo techniques are compared.…
▽ More
We prove weak convergence of order one for a class of exponential based integrators for SDEs with non-globally Lipschtiz drift. Our analysis covers tamed versions of Geometric Brownian Motion (GBM) based methods as well as the standard exponential schemes. The numerical performance of both the GBM and exponential tamed methods through four different multi-level Monte Carlo techniques are compared. We observe that for linear noise the standard exponential tamed method requires severe restrictions on the stepsize unlike the GBM tamed method.
△ Less
Submitted 4 July, 2024; v1 submitted 19 April, 2023;
originally announced April 2023.
-
Convergence of a splitting method for a general interest rate model
Authors:
Gabriel Lord Mengchao Wang
Abstract:
We prove mean-square convergence of a novel numerical method, the tamed-splitting method, for a generalized Ait-Sahalia interest rate model. The method is based on a Lamperti transform, splitting and applying a tamed numerical method for the nonlinearity. The main difficulty in the analysis is caused by the non-globally Lipschitz drift coefficients of the model. We examine the existence, uniquenes…
▽ More
We prove mean-square convergence of a novel numerical method, the tamed-splitting method, for a generalized Ait-Sahalia interest rate model. The method is based on a Lamperti transform, splitting and applying a tamed numerical method for the nonlinearity. The main difficulty in the analysis is caused by the non-globally Lipschitz drift coefficients of the model. We examine the existence, uniqueness of the solution and boundedness of moments for the transformed SDE.We then prove bounded moments and inverses moments for the numerical approximation. The tamed-splitting method is a hybrid method in the sense that a backstop method is invoked to prevent solutions from overshooting zero and becoming negative. We successfully recover the mean-square convergence rate of order one for the tamed-splitting method. In addition we prove that the probability of ever needing the backstop method to prevent a negative value can be made arbitrarily small. In our numerical experiments we compare to other numerical methods in the literature for realistic parameter values.
△ Less
Submitted 2 December, 2022;
originally announced December 2022.
-
Piecewise linear interpolation of noise in finite element approximations of parabolic SPDEs
Authors:
Gabriel Lord,
Andreas Petersson
Abstract:
Efficient simulation of stochastic partial differential equations (SPDE) on general domains requires noise discretization. This paper employs piecewise linear interpolation of noise in a fully discrete finite element approximation of a semilinear stochastic reaction-advection-diffusion equation on a convex polyhedral domain. The Gaussian noise is white in time, spatially correlated, and modeled as…
▽ More
Efficient simulation of stochastic partial differential equations (SPDE) on general domains requires noise discretization. This paper employs piecewise linear interpolation of noise in a fully discrete finite element approximation of a semilinear stochastic reaction-advection-diffusion equation on a convex polyhedral domain. The Gaussian noise is white in time, spatially correlated, and modeled as a standard cylindrical Wiener process on a reproducing kernel Hilbert space. This paper provides the first rigorous analysis of the resulting noise discretization error for a general spatial covariance kernel. The kernel is assumed to be defined on a larger regular domain, allowing for sampling by the circulant embedding method. The error bound under mild kernel assumptions requires non-trivial techniques like Hilbert--Schmidt bounds on products of finite element interpolants, entropy numbers of fractional Sobolev space embeddings and an error bound for interpolants in fractional Sobolev norms. Examples with kernels encountered in applications are illustrated in numerical simulations using the FEniCS finite element software. Key findings include: noise interpolation does not introduce additional errors for Matérn kernels in $d\ge2$; there exist kernels that yield dominant interpolation errors; and generating noise on a coarser mesh does not always compromise accuracy.
△ Less
Submitted 23 May, 2023; v1 submitted 20 October, 2022;
originally announced October 2022.
-
The heat modulated infinite dimensional Heston model and its numerical approximation
Authors:
Fred Espen Benth,
Gabriel Lord,
Giulia Di Nunno,
Andreas Petersson
Abstract:
The HEat modulated Infinite DImensional Heston (HEIDIH) model and its numerical approximation are introduced and analyzed. This model falls into the general framework of infinite dimensional Heston stochastic volatility models of (F.E. Benth, I.C. Simonsen '18), introduced for the pricing of forward contracts. The HEIDIH model consists of a one-dimensional stochastic advection equation coupled wit…
▽ More
The HEat modulated Infinite DImensional Heston (HEIDIH) model and its numerical approximation are introduced and analyzed. This model falls into the general framework of infinite dimensional Heston stochastic volatility models of (F.E. Benth, I.C. Simonsen '18), introduced for the pricing of forward contracts. The HEIDIH model consists of a one-dimensional stochastic advection equation coupled with a stochastic volatility process, defined as a Cholesky-type decomposition of the tensor product of a Hilbert-space valued Ornstein-Uhlenbeck process, the mild solution to the stochastic heat equation on the real half-line. The advection and heat equations are driven by independent space-time Gaussian processes which are white in time and colored in space, with the latter covariance structure expressed by two different kernels. First, a class of weight-stationary kernels are given, under which regularity results for the HEIDIH model in fractional Sobolev spaces are formulated. In particular, the class includes weighted Matérn kernels. Second, numerical approximation of the model is considered. An error decomposition formula, pointwise in space and time, for a finite-difference scheme is proven. For a special case, essentially sharp convergence rates are obtained when this is combined with a fully discrete finite element approximation of the stochastic heat equation. The analysis takes into account a localization error, a pointwise-in-space finite element discretization error and an error stemming from the noise being sampled pointwise in space. The rates obtained in the analysis are higher than what would be obtained using a standard Sobolev embedding technique. Numerical simulations illustrate the results.
△ Less
Submitted 8 September, 2023; v1 submitted 21 June, 2022;
originally announced June 2022.
-
An adaptive splitting method for the Cox-Ingersoll-Ross process
Authors:
Cónall Kelly,
Gabriel J. Lord
Abstract:
We propose a new splitting method for strong numerical solution of the Cox-Ingersoll-Ross model. For this method, applied over both deterministic and adaptive random meshes, we prove a uniform moment bound and strong error results of order $1/4$ in $L_1$ and $L_2$ for the parameter regime $κθ>σ^2$. We then extend the new method to cover all parameter values by introducing a \emph{soft zero} region…
▽ More
We propose a new splitting method for strong numerical solution of the Cox-Ingersoll-Ross model. For this method, applied over both deterministic and adaptive random meshes, we prove a uniform moment bound and strong error results of order $1/4$ in $L_1$ and $L_2$ for the parameter regime $κθ>σ^2$. We then extend the new method to cover all parameter values by introducing a \emph{soft zero} region (where the deterministic flow determines the approximation) giving a hybrid type method to deal with the reflecting boundary. From numerical simulations we observe a rate of order $1$ when $κθ>σ^2$ rather than $1/4$. Asymptotically, for large noise, we observe that the rates of convergence decrease similarly to those of other schemes but that the proposed method making use of adaptive timestep** displays smaller error constants.
△ Less
Submitted 7 February, 2023; v1 submitted 17 December, 2021;
originally announced December 2021.
-
Strong Convergence of a GBM Based Tamed Integrator for SDEs and an Adaptive Implementation
Authors:
Utku Erdogan,
Gabriel J. Lord
Abstract:
We introduce a tamed exponential time integrator which exploits linear terms in both the drift and diffusion for Stochastic Differential Equations (SDEs) with a one sided globally Lipschitz drift term. Strong convergence of the proposed scheme is proved, exploiting the boundedness of the geometric Brownian motion (GBM) and we establish order 1 convergence for linear diffusion terms. In our impleme…
▽ More
We introduce a tamed exponential time integrator which exploits linear terms in both the drift and diffusion for Stochastic Differential Equations (SDEs) with a one sided globally Lipschitz drift term. Strong convergence of the proposed scheme is proved, exploiting the boundedness of the geometric Brownian motion (GBM) and we establish order 1 convergence for linear diffusion terms. In our implementation we illustrate the efficiency of the proposed scheme compared to existing fixed step methods and utilize it in an adaptive time step** scheme. Furthermore we extend the method to nonlinear diffusion terms and show it remains competitive. The efficiency of these GBM based approaches are illustrated by considering some well-known SDE models.
△ Less
Submitted 21 June, 2021;
originally announced June 2021.
-
Strong convergence of a Verlet integrator for the semi-linear stochastic wave equation
Authors:
Lehel Banjai,
Gabriel Lord,
Jeta Molla
Abstract:
The full discretization of the semi-linear stochastic wave equation is considered. The discontinuous Galerkin finite element method is used in space and analyzed in a semigroup framework, and an explicit stochastic position Verlet scheme is used for the temporal approximation. We study the stability under a CFL condition and prove optimal strong convergence rates of the fully discrete scheme. Nume…
▽ More
The full discretization of the semi-linear stochastic wave equation is considered. The discontinuous Galerkin finite element method is used in space and analyzed in a semigroup framework, and an explicit stochastic position Verlet scheme is used for the temporal approximation. We study the stability under a CFL condition and prove optimal strong convergence rates of the fully discrete scheme. Numerical experiments illustrate our theoretical results. Further, we analyze and bound the expected energy and numerically show excellent agreement with the energy of the exact solution.
△ Less
Submitted 16 September, 2020;
originally announced September 2020.
-
The role of adaptivity in a numerical method for the Cox-Ingersoll-Ross model
Authors:
Cónall Kelly,
Gabriel Lord,
Heru Maulana
Abstract:
We demonstrate the effectiveness of an adaptive explicit Euler method for the approximate solution of the Cox-Ingersoll-Ross model. This relies on a class of path-bounded timestep** strategies which work by reducing the stepsize as solutions approach a neighbourhood of zero. The method is hybrid in the sense that a convergent backstop method is invoked if the timestep becomes too small, or to pr…
▽ More
We demonstrate the effectiveness of an adaptive explicit Euler method for the approximate solution of the Cox-Ingersoll-Ross model. This relies on a class of path-bounded timestep** strategies which work by reducing the stepsize as solutions approach a neighbourhood of zero. The method is hybrid in the sense that a convergent backstop method is invoked if the timestep becomes too small, or to prevent solutions from overshooting zero and becoming negative. Under parameter constraints that imply Feller's condition, we prove that such a scheme is strongly convergent, of order at least 1/2. Control of the strong error is important for multi-level Monte Carlo techniques. Under Feller's condition we also prove that the probability of ever needing the backstop method to prevent a negative value can be made arbitrarily small. Numerically, we compare this adaptive method to fixed step implicit and explicit schemes, and a novel semi-implicit adaptive variant. We observe that the adaptive approach leads to methods that are competitive in a domain that extends beyond Feller's condition, indicating suitability for the modelling of stochastic volatility in Heston-type asset models.
△ Less
Submitted 24 January, 2022; v1 submitted 24 February, 2020;
originally announced February 2020.
-
Strong convergence of an adaptive time-step** Milstein method for SDEs with monotone coefficients
Authors:
Cónall Kelly,
Gabriel Lord,
Fandi Sun
Abstract:
We introduce an explicit adaptive Milstein method for stochastic differential equations (SDEs) with no commutativity condition. The drift and diffusion are separately locally Lipschitz and together satisfy a monotone condition. This method relies on a class of path-bounded time-step** strategies which work by reducing the stepsize as solutions approach the boundary of a sphere, invoking a backst…
▽ More
We introduce an explicit adaptive Milstein method for stochastic differential equations (SDEs) with no commutativity condition. The drift and diffusion are separately locally Lipschitz and together satisfy a monotone condition. This method relies on a class of path-bounded time-step** strategies which work by reducing the stepsize as solutions approach the boundary of a sphere, invoking a backstop method in the event that the timestep becomes too small. We prove that such schemes are strongly $L_2$ convergent of order one. This order is inherited by an explicit adaptive Euler-Maruyama scheme in the additive noise case. Moreover we show that the probability of using the backstop method at any step can be made arbitrarily small. We compare our method to other fixed-step Milstein variants on a range of test problems.
△ Less
Submitted 19 November, 2022; v1 submitted 30 August, 2019;
originally announced September 2019.
-
Selection of quasi-stationary states in the stochastically forced Navier-Stokes equation on the torus
Authors:
Margaret Beck,
Eric Cooper,
Gabriel Lord,
Konstantinos Spiliopoulos
Abstract:
The stochastically forced vorticity equation associated with the two dimensional incompressible Navier-Stokes equation on $D_δ:=[0,2πδ]\times [0,2π]$ is considered for $δ\approx 1$, periodic boundary conditions, and viscocity $0<ν\ll 1$. An explicit family of quasi-stationary states of the deterministic vorticity equation is known to play an important role in the long-time evolution of solutions b…
▽ More
The stochastically forced vorticity equation associated with the two dimensional incompressible Navier-Stokes equation on $D_δ:=[0,2πδ]\times [0,2π]$ is considered for $δ\approx 1$, periodic boundary conditions, and viscocity $0<ν\ll 1$. An explicit family of quasi-stationary states of the deterministic vorticity equation is known to play an important role in the long-time evolution of solutions both in the presence of and without noise. Recent results show the parameter $δ$ plays a central role in selecting which of the quasi-stationary states is most important. In this paper, we aim to develop a finite dimensional model that captures this selection mechanism for the stochastic vorticity equation. This is done by projecting the vorticity equation in Fourier space onto a center manifold corresponding to the lowest eight Fourier modes. Through Monte Carlo simulation, the vorticity equation and the model are shown to be in agreement regarding key aspects of the long-time dynamics. Following this comparison, perturbation analysis is performed on the model via averaging and homogenization techniques to determine the leading order dynamics for statistics of interest for $δ\approx1$.
△ Less
Submitted 10 January, 2020; v1 submitted 29 May, 2019;
originally announced May 2019.
-
Local time step** methods and discontinuous Galerkin methods applied to diffusion advection reaction equations
Authors:
Assionvi H. Kouevi,
Gabriel J. Lord
Abstract:
This paper is focussed on the numerical resolution of diffusion advection and reaction equations (DAREs) with special features (such as fractures, walls, corners, obstacles or point loads) which globally, as well as locally, have important effects on the solution. We introduce a multilevel and local time solver of DAREs based on the discontinuous Galerkin (DG) method for the spatial discreization…
▽ More
This paper is focussed on the numerical resolution of diffusion advection and reaction equations (DAREs) with special features (such as fractures, walls, corners, obstacles or point loads) which globally, as well as locally, have important effects on the solution. We introduce a multilevel and local time solver of DAREs based on the discontinuous Galerkin (DG) method for the spatial discreization and time step** methods such as exponential time differencing (ETD), exponential Rosenbrock (EXPR) and implicit Euler (Impl) methods. The efficiency of our solvers is shown with several experiments on cyclic voltammetry models and fluid flows through domains with fractures.
△ Less
Submitted 27 May, 2019;
originally announced May 2019.
-
Reversible and non-reversible Markov Chain Monte Carlo algorithms for reservoir simulation problems
Authors:
P. Dobson,
I. Fursov,
G. Lord,
M. Ottobre
Abstract:
We compare numerically the performance of reversible and non-reversible Markov Chain Monte Carlo algorithms for high dimensional oil reservoir problems; because of the nature of the problem at hand, the target measures from which we sample are supported on bounded domains. We compare two strategies to deal with bounded domains, namely reflecting proposals off the boundary and rejecting them when t…
▽ More
We compare numerically the performance of reversible and non-reversible Markov Chain Monte Carlo algorithms for high dimensional oil reservoir problems; because of the nature of the problem at hand, the target measures from which we sample are supported on bounded domains. We compare two strategies to deal with bounded domains, namely reflecting proposals off the boundary and rejecting them when they fall outside of the domain. We observe that for complex high dimensional problems reflection mechanisms outperform rejection approaches and that the advantage of introducing non-reversibility in the Markov Chain employed for sampling is more and more visible as the dimension of the parameter space increases.
△ Less
Submitted 16 March, 2019;
originally announced March 2019.
-
Adaptive time-step** for Stochastic Partial Differential Equations with non-Lipschitz drift
Authors:
Stuart Campbell,
Gabriel Lord
Abstract:
We introduce an explicit, adaptive time-step** scheme for the simulation of SPDEs with one-sided Lipschitz drift coefficients. Strong convergence rates are proven for the full space-time discretisation with multiplicative trace-class noise by considering the space and time discretisation separately. Adapting the time-step size to ensure strong convergence is shown numerically to produce more acc…
▽ More
We introduce an explicit, adaptive time-step** scheme for the simulation of SPDEs with one-sided Lipschitz drift coefficients. Strong convergence rates are proven for the full space-time discretisation with multiplicative trace-class noise by considering the space and time discretisation separately. Adapting the time-step size to ensure strong convergence is shown numerically to produce more accurate solutions when compared to alternative fixed time-step** strategies for the same computational effort.
△ Less
Submitted 21 August, 2019; v1 submitted 21 December, 2018;
originally announced December 2018.
-
Adaptive Euler methods for stochastic systems with non-globally Lipschitz coefficients
Authors:
Cónall Kelly,
Gabriel Lord
Abstract:
We present strongly convergent explicit and semi-implicit adaptive numerical schemes for systems of stiff stochastic differential equations (SDEs) where both the drift and diffusion are non-globally Lipschitz continuous. This stiffness may originate either from a linear operator in the drift, or from a perturbation of the nonlinear structures under discretisation, or both. Typical applications ari…
▽ More
We present strongly convergent explicit and semi-implicit adaptive numerical schemes for systems of stiff stochastic differential equations (SDEs) where both the drift and diffusion are non-globally Lipschitz continuous. This stiffness may originate either from a linear operator in the drift, or from a perturbation of the nonlinear structures under discretisation, or both. Typical applications arise from the space discretisation of an SPDE, stochastic volatility models in finance, or certain ecological models. We prove that a timetep** strategy that adapts the stepsize based on the drift alone is sufficient to control growth and to obtain strong convergence with polynomial order. The order of strong convergence of our scheme is $(1-\varepsilon)/2$, for $\varepsilon\in(0,1)$, where $\varepsilon$ becomes arbitrarily small as the number of available finite moments for solutions of the SDE increases. Numerically, we compare the adaptive semi-implicit method to a fully drift implicit method, three tamed type methods and a truncated method. Our numerical results show that the adaptive semi-implicit method is well suited as a general purpose solver, is more robust than the explicit time step** methods and more efficient than the drift implicit method.
△ Less
Submitted 1 June, 2021; v1 submitted 28 May, 2018;
originally announced May 2018.
-
A positivity preserving convergent event based asynchronous PDE solver
Authors:
Daniel Stone,
Gabriel Lord
Abstract:
A new numerical scheme for conservation equations based on evolution by asynchronous discrete events is presented. During each event of the scheme only two cells of the underlying Cartesian grid are active, and an event is processed as the exact evolution of this subsystem. This naturally leads to and adaptive scheme in space and time. Numerical results are presented which show that the error of t…
▽ More
A new numerical scheme for conservation equations based on evolution by asynchronous discrete events is presented. During each event of the scheme only two cells of the underlying Cartesian grid are active, and an event is processed as the exact evolution of this subsystem. This naturally leads to and adaptive scheme in space and time. Numerical results are presented which show that the error of the asynchronous scheme decreases to zero as a control parameter is reduced. The construction of the scheme allows it to be expressed as repeated multiplications of matrix exponentials on an initial state vector; thus techniques such as the Goldberg series and the Baker Campbell Hausdorff (BCH) formula can be used to explore the theoretical properties of the scheme. We present the framework of a convergence proof in this manner.
△ Less
Submitted 21 October, 2016;
originally announced October 2016.
-
Asynchronous Discrete Event Schemes for PDEs
Authors:
Daniel Stone,
Sebastian Geiger,
Gabriel Lord
Abstract:
A new class of asynchronous discrete-event simulation schemes for advection-diffusion-reaction equations are introduced, which is based on the principle of allowing quanta of mass to pass through faces of a Cartesian finite volume grid. The timescales of these events are linked to the flux on the the face, and the schemes are self-adaptive, local in time and space. Experiments are performed on rea…
▽ More
A new class of asynchronous discrete-event simulation schemes for advection-diffusion-reaction equations are introduced, which is based on the principle of allowing quanta of mass to pass through faces of a Cartesian finite volume grid. The timescales of these events are linked to the flux on the the face, and the schemes are self-adaptive, local in time and space. Experiments are performed on realistic physical systems related to porous media flow applications, including a large 3D advection diffusion equation and advection diffusion reaction systems. The results are compared to highly accurate results where the temporal evolution is computed with exponential integrator schemes using the same finite volume discretisation. This allows a reliable estimation of the solution error. Our results indicate a first order convergence of the error as a control parameter is decreased.
△ Less
Submitted 17 October, 2016;
originally announced October 2016.
-
Adaptive timestep** strategies for nonlinear stochastic systems
Authors:
Cónall Kelly,
Gabriel J. Lord
Abstract:
We introduce a class of adaptive timestep** strategies for stochastic differential equations with non-Lipschitz drift coefficients. These strategies work by controlling potential unbounded growth in solutions of a numerical scheme due to the drift. We prove that the Euler-Maruyama scheme with an adaptive timestep** strategy in this class is strongly convergent. Specific strategies falling into…
▽ More
We introduce a class of adaptive timestep** strategies for stochastic differential equations with non-Lipschitz drift coefficients. These strategies work by controlling potential unbounded growth in solutions of a numerical scheme due to the drift. We prove that the Euler-Maruyama scheme with an adaptive timestep** strategy in this class is strongly convergent. Specific strategies falling into this class are presented and demonstrated on a selection of numerical test problems. We observe that this approach is broadly applicable, can provide more dynamically accurate solutions than a drift-tamed scheme with fixed stepsize, and can improve MLMC simulations.
△ Less
Submitted 13 October, 2016;
originally announced October 2016.
-
A New Class of Exponential Integrators for Stochastic Differential Equations With Multiplicative Noise
Authors:
Utku Erdoğan,
Gabriel J. Lord
Abstract:
In this paper, we present new types of exponential integrators for Stochastic Differential Equations (SDEs) that take the advantage of the exact solution of (generalised) geometric Brownian motion. We examine both Euler and Milstein versions of the scheme and prove strong convergence. For the special case of linear noise we obtain an improved rate of convergence for the Euler version over standard…
▽ More
In this paper, we present new types of exponential integrators for Stochastic Differential Equations (SDEs) that take the advantage of the exact solution of (generalised) geometric Brownian motion. We examine both Euler and Milstein versions of the scheme and prove strong convergence. For the special case of linear noise we obtain an improved rate of convergence for the Euler version over standard integration methods. We investigate the efficiency of the methods compared with other exponential integrators and show that by introducing a suitable homotopy parameter these schemes are competitive not only when the noise is linear but also in the presence of nonlinear noise terms.
△ Less
Submitted 28 September, 2016; v1 submitted 25 August, 2016;
originally announced August 2016.
-
New efficient substep** methods for exponential timestep**
Authors:
Daniel Stone,
Gabriel Lord
Abstract:
Exponential integrators are time step** schemes which exactly solve the linear part of a semilinear ODE system. This class of schemes requires the approxima- tion of a matrix exponential in every step, and one successful modern method is the Krylov subspace projection method. We investigate the effect of breaking down a single timestep into arbitrary multiple substeps, recycling the Krylov subsp…
▽ More
Exponential integrators are time step** schemes which exactly solve the linear part of a semilinear ODE system. This class of schemes requires the approxima- tion of a matrix exponential in every step, and one successful modern method is the Krylov subspace projection method. We investigate the effect of breaking down a single timestep into arbitrary multiple substeps, recycling the Krylov subspace to minimise costs. For these recyling based schemes we analyse the lo- cal error, investigate them numerically and show they can be applied to a large system with 106 unknowns. We also propose a new second order integrator that is found using the extra information from the substeps to form a corrector to increase the overall order of the scheme. This scheme is seen to compare favourably with other order two integrators.
△ Less
Submitted 6 August, 2016;
originally announced August 2016.
-
Basis properties of the p,q-sine functions
Authors:
Lyonell Boulton,
Gabriel Lord
Abstract:
We improve the currently known thresholds for basisness of the family of periodically dilated p,q-sine functions. Our findings rely on a Beurling decomposition of the corresponding change of coordinates in terms of shift operators of infinite multiplicity. We also determine refined bounds on the Riesz constant associated to this family. These results seal mathematical gaps in the existing literatu…
▽ More
We improve the currently known thresholds for basisness of the family of periodically dilated p,q-sine functions. Our findings rely on a Beurling decomposition of the corresponding change of coordinates in terms of shift operators of infinite multiplicity. We also determine refined bounds on the Riesz constant associated to this family. These results seal mathematical gaps in the existing literature on the subject.
△ Less
Submitted 28 November, 2014; v1 submitted 28 May, 2014;
originally announced May 2014.
-
Effects of noise on models of spiny dendrites
Authors:
Emma J. Coutts,
Gabriel J. Lord
Abstract:
We study the effects of noise in two models of spiny dendrites. Through the introduction of different types of noise to both the Spike-diffuse-spike (SDS) and Baer-Rinzel (BR) models we investigate the change in behaviour of the travelling wave solutions present in the deterministic systems, as noise intensity increases. We show that the speed of wave propagation in the SDS and BR models respectiv…
▽ More
We study the effects of noise in two models of spiny dendrites. Through the introduction of different types of noise to both the Spike-diffuse-spike (SDS) and Baer-Rinzel (BR) models we investigate the change in behaviour of the travelling wave solutions present in the deterministic systems, as noise intensity increases. We show that the speed of wave propagation in the SDS and BR models respectively decreases and increases as the noise intensity in the spine heads increases. Interestingly the discrepancy between the models does not seem to arise from the type of active spine head dynamics employed by the model but rather by the form of the spine density used. In contrast the cable is very robust to noise and as such the speed shows very little variation from the deterministic system. We look at the effect of the noise interpretation used to evaluate the stochastic integral; Ito or Statonovich and discuss which may be appropriate. We also show that the correlation time and length scales of the noise can enhance propagation of travelling wave solutions where the white noise dominates the signal and produces noise induced phenomena.
△ Less
Submitted 13 April, 2011;
originally announced April 2011.
-
Stochastic exponential integrators for finite element discretization of SPDEs for multiplicative and additive noise
Authors:
Gabriel J Lord,
Antoine Tambue
Abstract:
We consider the numerical approximation of a general second order semi--linear parabolic stochastic partial differential equation (SPDEs) driven by space-time noise, for multiplicative and additive noise. We examine convergence of exponential integrators for multiplicative and additive noise. We consider noise that is in trace class and give a convergence proof in the mean square $L^{2}$ norm. We…
▽ More
We consider the numerical approximation of a general second order semi--linear parabolic stochastic partial differential equation (SPDEs) driven by space-time noise, for multiplicative and additive noise. We examine convergence of exponential integrators for multiplicative and additive noise. We consider noise that is in trace class and give a convergence proof in the mean square $L^{2}$ norm. We discretize in space with the finite element method and in our implementation we examine both the finite element and the finite volume methods. We present results for a linear reaction diffusion equation in two dimensions as well as a nonlinear example of two-dimensional stochastic advection diffusion reaction equation motivated from realistic porous media flow.
△ Less
Submitted 13 April, 2011; v1 submitted 10 March, 2011;
originally announced March 2011.
-
Approximation properties of the $q$-sine bases
Authors:
Lyonell Boulton,
Gabriel Lord
Abstract:
For $q>12/11$ the eigenfunctions of the non-linear eigenvalue problem associated to the one-dimensional $q$-Laplacian are known to form a Riesz basis of $L^2(0,1)$. We examine in this paper the approximation properties of this family of functions and its dual, in order to establish non-orthogonal spectral methods for the $p$-Poisson boundary value problem and its corresponding parabolic time evolu…
▽ More
For $q>12/11$ the eigenfunctions of the non-linear eigenvalue problem associated to the one-dimensional $q$-Laplacian are known to form a Riesz basis of $L^2(0,1)$. We examine in this paper the approximation properties of this family of functions and its dual, in order to establish non-orthogonal spectral methods for the $p$-Poisson boundary value problem and its corresponding parabolic time evolution initial value problem. The principal objective of our analysis is the determination of optimal values of $q$ for which the best approximation is achieved for a given $p$ problem.
△ Less
Submitted 9 February, 2011; v1 submitted 15 August, 2010;
originally announced August 2010.
-
Freezing Stochastic Travelling Waves
Authors:
G. J. Lord,
V. Thuemmler
Abstract:
We consider in this paper travelling wave solutions to stochastic partial differential equations and corresponding wave speed. As a particular example we consider the Nagumo equation with multiplicative noise which we mainly consider in the Stratonovich sense. A standard approach to determine the position and hence speed of a wave is to compute the evolution of a level set. We compare this approac…
▽ More
We consider in this paper travelling wave solutions to stochastic partial differential equations and corresponding wave speed. As a particular example we consider the Nagumo equation with multiplicative noise which we mainly consider in the Stratonovich sense. A standard approach to determine the position and hence speed of a wave is to compute the evolution of a level set. We compare this approach against an alternative where the wave position is found by minimizing the $L^2$ norm against a fixed profile. This approach can also be used to stop (or freeze) the wave and obtain a stochastic partial differential algebraic equation that we then discretize and solve. Although attractive as it leads to a smaller domain size it can be numerically unstable due to large convection terms. We compare numerically the different approaches for estimating the wave speed. Minimization against a fixed profile works well provided the support of the reference function is not too narrow. We then use these techniques to investigate the effect of both \Ito and Stratonovich noise on the Nagumo equation as correlation length and noise intensity increases.
△ Less
Submitted 19 April, 2011; v1 submitted 2 June, 2010;
originally announced June 2010.
-
Stochastic Exponential Integrators for a Finite Element Discretization of SPDEs
Authors:
Gabriel J. Lord,
Antoine Tambue
Abstract:
We consider the numerical approximation of general semilinear parabolic stochastic partial differential equations (SPDEs) driven by additive space-time noise. In contrast to the standard time step** methods which uses basic increments of the noise and the approximation of the exponential function by a rational fraction, we introduce a new scheme, designed for finite elements, finite volumes or f…
▽ More
We consider the numerical approximation of general semilinear parabolic stochastic partial differential equations (SPDEs) driven by additive space-time noise. In contrast to the standard time step** methods which uses basic increments of the noise and the approximation of the exponential function by a rational fraction, we introduce a new scheme, designed for finite elements, finite volumes or finite differences space discretization, similar to the schemes in \cite{Jentzen3,Jentzen4} for spectral methods and \cite{GTambue} for finite element methods. We use the projection operator, the smoothing effect of the positive definite self-adjoint operator and linear functionals of the noise in Fourier space to obtain higher order approximations. We consider noise that is white in time and either in $H^1$ or $H^2$ in space and give convergence proofs in the mean square $L^{2}$ norm for a diffusion reaction equation and in mean square $ H^{1}$ norm in the presence of an advection term. For the exponential integrator we rely on computing the exponential of a non-diagonal matrix. In our numerical results we use two different efficient techniques: the real fast \Leja points and Krylov subspace techniques. We present results for a linear reaction diffusion equation in two dimensions as well as a nonlinear example of two-dimensional stochastic advection diffusion reaction equation motivated from realistic porous media flow.
△ Less
Submitted 28 May, 2010;
originally announced May 2010.
-
Finite to infinite steady state solutions, bifurcations of an integro-differential equation
Authors:
S. K. Bhowmik,
D. B. Duncan,
M. Grinfeld,
G. J. Lord
Abstract:
We consider a bistable integral equation which governs the stationary solutions of a convolution model of solid--solid phase transitions on a circle. We study the bifurcations of the set of the stationary solutions as the diffusion coefficient is varied to examine the transition from an infinite number of steady states to three for the continuum limit of the semi--discretised system. We show how…
▽ More
We consider a bistable integral equation which governs the stationary solutions of a convolution model of solid--solid phase transitions on a circle. We study the bifurcations of the set of the stationary solutions as the diffusion coefficient is varied to examine the transition from an infinite number of steady states to three for the continuum limit of the semi--discretised system. We show how the symmetry of the problem is responsible for the generation and stabilisation of equilibria and comment on the puzzling connection between continuity and stability that exists in this problem.
△ Less
Submitted 28 April, 2010;
originally announced April 2010.
-
A modified semi--implict Euler-Maruyama Scheme for finite element discretization of SPDEs with additive noise
Authors:
Gabriel J Lord,
Antoine Tambue
Abstract:
We consider the numerical approximation of a general second order semi--linear parabolic stochastic partial differential equation (SPDE) driven by additive space-time noise. We introduce a new modified scheme using a linear functional of the noise with a semi--implicit Euler--Maruyama method in time and in space we analyse a finite element method (although extension to finite differences or finite…
▽ More
We consider the numerical approximation of a general second order semi--linear parabolic stochastic partial differential equation (SPDE) driven by additive space-time noise. We introduce a new modified scheme using a linear functional of the noise with a semi--implicit Euler--Maruyama method in time and in space we analyse a finite element method (although extension to finite differences or finite volumes would be possible). We prove convergence in the root mean square $L^{2}$ norm for a diffusion reaction equation and diffusion advection reaction equation. We present numerical results for a linear reaction diffusion equation in two dimensions as well as a nonlinear example of two-dimensional stochastic advection diffusion reaction equation. We see from both the analysis and numerics that the proposed scheme has better convergence properties than the standard semi--implicit Euler--Maruyama method.
△ Less
Submitted 19 July, 2016; v1 submitted 12 April, 2010;
originally announced April 2010.
-
Bifurcations in the regularized Ericksen bar model
Authors:
M. Grinfeld,
G. J. Lord
Abstract:
We consider the regularized Ericksen model of an elastic bar on an elastic foundation on an interval with Dirichlet boundary conditions as a two-parameter bifurcation problem. We explore, using local bifurcation analysis and continuation methods, the structure of bifurcations from double zero eigenvalues. Our results provide evidence in support of Müller's conjecture \cite{Muller} concerning the…
▽ More
We consider the regularized Ericksen model of an elastic bar on an elastic foundation on an interval with Dirichlet boundary conditions as a two-parameter bifurcation problem. We explore, using local bifurcation analysis and continuation methods, the structure of bifurcations from double zero eigenvalues. Our results provide evidence in support of Müller's conjecture \cite{Muller} concerning the symmetry of local minimizers of the associated energy functional and describe in detail the structure of the primary branch connections that occur in this problem. We give a reformulation of Müller's conjecture and suggest two further conjectures based on the local analysis and numerical observations. We conclude by analysing a ``loop'' structure that characterizes $(k,3k)$ bifurcations.
△ Less
Submitted 17 January, 2008; v1 submitted 8 November, 2007;
originally announced November 2007.
-
Efficient strong integrators for linear stochastic systems
Authors:
Gabriel Lord,
Simon J. A. Malham,
Anke Wiese
Abstract:
We present numerical schemes for the strong solution of linear stochastic differential equations driven by an arbitrary number of Wiener processes. These schemes are based on the Neumann (stochastic Taylor) and Magnus expansions. Firstly, we consider the case when the governing linear diffusion vector fields commute with each other, but not with the linear drift vector field. We prove that numer…
▽ More
We present numerical schemes for the strong solution of linear stochastic differential equations driven by an arbitrary number of Wiener processes. These schemes are based on the Neumann (stochastic Taylor) and Magnus expansions. Firstly, we consider the case when the governing linear diffusion vector fields commute with each other, but not with the linear drift vector field. We prove that numerical methods based on the Magnus expansion are more accurate in the mean-square sense than corresponding stochastic Taylor integration schemes. Secondly, we derive the maximal rate of convergence for arbitrary multi-dimensional stochastic integrals approximated by their conditional expectations. Consequently, for general nonlinear stochastic differential equations with non-commuting vector fields, we deduce explicit formulae for the relation between error and computational costs for methods of arbitrary order. Thirdly, we consider the consequences in two numerical studies, one of which is an application arising in stochastic linear-quadratic optimal control.
△ Less
Submitted 21 August, 2007;
originally announced August 2007.
-
Numerical variational methods applied to cylinder buckling
Authors:
Jiri Horak,
Gabriel J. Lord,
Mark A. Peletier
Abstract:
We review and compare different computational variational methods applied to a system of fourth order equations that arises as a model of cylinder buckling. We describe both the discretization and implementation, in particular how to deal with a 1 dimensional null space. We show that we can construct many different solutions from a complex energy surface. We examine numerically convergence in th…
▽ More
We review and compare different computational variational methods applied to a system of fourth order equations that arises as a model of cylinder buckling. We describe both the discretization and implementation, in particular how to deal with a 1 dimensional null space. We show that we can construct many different solutions from a complex energy surface. We examine numerically convergence in the spatial discretization and in the domain size. Finally we give a physical interpretation of some of the solutions found.
△ Less
Submitted 17 November, 2006;
originally announced November 2006.
-
Cylinder Buckling: The Mountain Pass as an Organizing Center
Authors:
Jiri Horak,
Gabriel J. Lord,
Mark A. Peletier
Abstract:
We revisit the classical problem of the buckling of a long thin axially compressed cylindrical shell. By examining the energy landscape of the perfect cylinder we deduce an estimate of the sensitivity of the shell to imperfections. Key to obtaining this is the existence of a mountain pass point for the system. We prove the existence on bounded domains of such solutions for all most all loads and…
▽ More
We revisit the classical problem of the buckling of a long thin axially compressed cylindrical shell. By examining the energy landscape of the perfect cylinder we deduce an estimate of the sensitivity of the shell to imperfections. Key to obtaining this is the existence of a mountain pass point for the system. We prove the existence on bounded domains of such solutions for all most all loads and then numerically compute example mountain pass solutions. Numerically the mountain pass solution with lowest energy has the form of a single dimple. We interpret these results and validate the lower bound against some experimental results available in the literature.
△ Less
Submitted 13 July, 2005;
originally announced July 2005.