Showing 1–27 of 27 results for author: Malham, S J

Direct Inversion for the Squared Bessel Process and Applications

Authors: Simon J. A. Malham, Anke Wiese, Yifan Xu

Abstract: In this paper we derive a new direct inversion method to simulate squared Bessel processes. Since the transition probability of these processes can be represented by a non-central chi-square distribution, we construct an efficient and accurate algorithm to simulate non-central chi-square variables. In this method, the dimension of the squared Bessel process, equivalently the degrees of freedom of… ▽ More In this paper we derive a new direct inversion method to simulate squared Bessel processes. Since the transition probability of these processes can be represented by a non-central chi-square distribution, we construct an efficient and accurate algorithm to simulate non-central chi-square variables. In this method, the dimension of the squared Bessel process, equivalently the degrees of freedom of the chi-square distribution, is treated as a variable. We therefore use a two-dimensional Chebyshev expansion to approximate the inverse function of the central chi-square distribution with one variable being the degrees of freedom. The method is accurate and efficient for any value of degrees of freedom including the computationally challenging case of small values. One advantage of the method is that noncentral chi-square samples can be generated for a whole range of values of degrees of freedom using the same Chebyshev coefficients. The squared Bessel process is a building block for the well-known Cox-Ingersoll-Ross (CIR) processes, which can be generated from squared Bessel processes through time change and linear transformation. Our direct inversion method thus allows the efficient and accurate simulation of these processes, which are used as models in a wide variety of applications. △ Less

Submitted 21 December, 2024; originally announced December 2024.

Comments: 23 pages, 3 figures

Direct linearisation of the non-commutative Kadomtsev-Petviashvili equations

Authors: Gordon Blower, Simon J. A. Malham

Abstract: We prove that the non-commutative Kadomtsev-Petviashvili (KP) equation and a `lifted' modified Kadomtsev-Petviashvili (mKP) equation are directly linearisable, and thus integrable in this sense. There are several versions of the non-commutative mKP equations, including the two-dimensional generalisations of the non-commutative modified Korteweg-de Vries (mKdV) equation and its alternative form (am… ▽ More We prove that the non-commutative Kadomtsev-Petviashvili (KP) equation and a `lifted' modified Kadomtsev-Petviashvili (mKP) equation are directly linearisable, and thus integrable in this sense. There are several versions of the non-commutative mKP equations, including the two-dimensional generalisations of the non-commutative modified Korteweg-de Vries (mKdV) equation and its alternative form (amKdV). Herein we derive the `lifted' mKP equation, whose solutions are the natural two-dimensional extension of those for the non-commutative mKdV equation derived in Blower and Malham. We also present the log-potential form of the mKP equation, from which all of these non-commutative mKP equations can be derived. To achieve the integrability results, we construct the pre-Poppe algebra that underlies the KP and mKP equations. This is a non-commutative polynomial algebra over the real line generated by the solution (and its partial derivatives) to the linearised form of the KP and mKP equations. The algebra is endowed with a pre-Poppe product, based on the product rule for semi-additive operators pioneered by Poppe for the commutative KP equation. Integrability corresponds to establishing a particular polynomial expansion in the respective pre-Poppe algebra. We also present numerical simulations of soliton-like interactions for the non-commutative KP equation. △ Less

Submitted 5 December, 2024; v1 submitted 2 December, 2024; originally announced December 2024.

Comments: 25 pages, 4 figures

Coagulation, non-associative algebras and binary trees

Authors: Simon J. A. Malham

Abstract: We consider the classical Smoluchowski coagulation equation with a general frequency kernel. We show that there exists a natural deterministic solution expansion in the non-associative algebra generated by the convolution product of the coalescence term. The non-associative solution expansion is equivalently represented by binary trees. We demonstrate that the existence of such solutions correspon… ▽ More We consider the classical Smoluchowski coagulation equation with a general frequency kernel. We show that there exists a natural deterministic solution expansion in the non-associative algebra generated by the convolution product of the coalescence term. The non-associative solution expansion is equivalently represented by binary trees. We demonstrate that the existence of such solutions corresponds to establishing the compatibility of two binary-tree generating procedures, by: (i) grafting together the roots of all pairs of order-compatibile trees at preceding orders, or (ii) attaching binary branches to all free branches of trees at the previous order. We then show that the solution represents a linearised flow, and also establish a new numerical simulation method based on truncation of the solution tree expansion and approximating the integral terms at each order by fast Fourier transform. In particular, for general separable frequency kernels, the complexity of the method is linear-loglinear in the number of spatial modes/nodes. △ Less

Submitted 24 November, 2023; v1 submitted 29 June, 2023; originally announced July 2023.

Comments: 20 pages, 3 tables, 2 figures. The updated version includes a new numerical method, outlined in the second half of Section 4. Another table and two figures have been added

The algebraic structure of the non-commutative nonlinear Schrodinger and modified Korteweg-de Vries hierarchy

Authors: Gordon Blower, Simon J. A. Malham

Abstract: We prove that each member of the non-commutative nonlinear Schrodinger and modified Korteweg--de Vries hierarchy is a Fredholm Grassmannian flow, and for the given linear dispersion relation and corresponding equivalencing group of Fredholm transformations, is unique in the class of odd-polynomial partial differential fields. Thus each member is linearisable and integrable in the sense that time-e… ▽ More We prove that each member of the non-commutative nonlinear Schrodinger and modified Korteweg--de Vries hierarchy is a Fredholm Grassmannian flow, and for the given linear dispersion relation and corresponding equivalencing group of Fredholm transformations, is unique in the class of odd-polynomial partial differential fields. Thus each member is linearisable and integrable in the sense that time-evolving solutions can be generated by solving a linear Fredholm Marchenko equation, with the scattering data solving the corresponding linear dispersion equation. At each order, each member matches the corresponding non-commutative Lax hierarchy field which thus represent odd-polynomial partial differential fields. We also show that the cubic form for the non-commutative sine--Gordon equation corresponds to the first negative order case in the hierarchy, and establish the rest of the negative order non-commutative hierarchy. To achieve this, we construct an abstract combinatorial algebra, the Poppe skew-algebra, that underlies the hierarchy. This algebra is the non-commutative polynomial algebra over the real line generated by compositions, endowed with the Poppe product -- the product rule for Hankel operators pioneered by Ch. Poppe for classical integrable systems. Establishing the hierarchy members at non-negative orders, involves proving the existence of a `Poppe polynomial' expansion for basic compositions in terms of `linear signature expansions' representing the derivatives of the underlying non-commutative field. The problem boils down to solving a linear algebraic equation for the polynomial expansion coefficients, at each order. △ Less

Submitted 13 March, 2023; originally announced March 2023.

Comments: 66 pages, 5 tables

MSC Class: 35Q51; 35Q55

Applications of Grassmannian flows to coagulation systems

Authors: Anastasia Doikou, Simon J. A. Malham, Ioannis Stylianidis, Anke Wiese

Abstract: We demonstrate how many classes of Smoluchowski-type coagulation models can be realised as multiplicative Grassmannian flows and are therefore linearisable, and thus integrable in this sense. First, we prove that a general Smoluchowski-type equation with a constant frequency kernel, that encompasses a large class of such models, is realisable as a multiplicative Grassmannian flow. Second, we estab… ▽ More We demonstrate how many classes of Smoluchowski-type coagulation models can be realised as multiplicative Grassmannian flows and are therefore linearisable, and thus integrable in this sense. First, we prove that a general Smoluchowski-type equation with a constant frequency kernel, that encompasses a large class of such models, is realisable as a multiplicative Grassmannian flow. Second, we establish that several other related constant kernel models can also be realised as such. These include: the Gallay--Mielke coarsening model; the Derrida--Retaux depinning transition model and a general mutliple merger coagulation model. Third, we show how the additive and multiplicative frequency kernel cases can be realised as rank-one analytic Grassmannian flows. △ Less

Submitted 6 April, 2023; v1 submitted 14 January, 2022; originally announced January 2022.

Comments: 16 pages. This is now a shorter, more focused, version of the previous manuscript. Some new material has been added in the final main section. arXiv admin note: substantial text overlap with arXiv:1905.05035

The non-commutative Korteweg--de Vries hierarchy and combinatorial Poppe algebra

Authors: Simon J. A. Malham

Abstract: We give a constructive proof, to all orders, that each member of the non-commutative potential Korteweg-de Vries hierarchy is a Fredholm Grassmannian flow and is therefore linearisable. Indeed we prove this for any linear combination of fields from this hierarchy. That each member of the hierarchy is linearisable, and integrable in this sense, means that the time evolving solution can be generated… ▽ More We give a constructive proof, to all orders, that each member of the non-commutative potential Korteweg-de Vries hierarchy is a Fredholm Grassmannian flow and is therefore linearisable. Indeed we prove this for any linear combination of fields from this hierarchy. That each member of the hierarchy is linearisable, and integrable in this sense, means that the time evolving solution can be generated from the solution to the corresponding linear dispersion equation in the hierarchy, combined with solving an associated linear Fredholm equation representing the Marchenko equation. Further, we show that within the class of polynomial partial differential fields, at every order, each member of the non-commutative potential Korteweg--de Vries hierarchy is unique. Indeed, we prove to all orders, that each such member matches the non-commutative Lax hierarchy field, which is therefore a polynomial partial differential field. We achieve this by constructing the abstract combinatorial algebra that underlies the non-commutative potential Korteweg-de Vries hierarchy. This algebra is the non-commutative polynomial algebra over the real line generated by the set of all compositions endowed with the Poppe product. This product is the abstract representation of the product rule for Hankel operators pioneered by Ch. Poppe for integrable equations such as the Sine-Gordon and Korteweg-de Vries equations. Integrability of the hierarchy members translates, in the combinatorial algebra, to proving the existence of a `Poppe polynomial' expansion for basic compositions in terms of `linear signature expansions'. Proving the existence of such Poppe polynomial expansions boils down to solving a linear algebraic problem for the expansion coefficients, which we solve constructively to all orders. △ Less

Submitted 10 August, 2021; originally announced August 2021.

Comments: 43 pages, 4 tables

MSC Class: 35Q51; 35Q53; 35Q55

Integrability of local and nonlocal non-commutative fourth order quintic nonlinear Schrodinger equations

Authors: Simon J. A. Malham

Abstract: We prove integrability of a generalised non-commutative fourth order quintic nonlinear Schrodinger equation. The proof is relatively succinct and rooted in the linearisation method pioneered by Ch. Poppe. It is based on solving the corresponding linearised partial differential system to generate an evolutionary Hankel operator for the `scattering data'. The time-evolutionary solution to the non-co… ▽ More We prove integrability of a generalised non-commutative fourth order quintic nonlinear Schrodinger equation. The proof is relatively succinct and rooted in the linearisation method pioneered by Ch. Poppe. It is based on solving the corresponding linearised partial differential system to generate an evolutionary Hankel operator for the `scattering data'. The time-evolutionary solution to the non-commutative nonlinear partial differential system is then generated by solving a linear Fredholm equation which corresponds to the Marchenko equation. The integrability of reverse space-time and reverse time nonlocal versions, in the sense of Ablowitz and Musslimani, of the fourth order quintic nonlinear Schrodinger equation are proved contiguously by the approach adopted. Further, we implement a numerical integration scheme based on the analytical approach above which involves solving the linearised partial differential system followed by numerically solving the linear Fredholm equation to generate the solution at any given time. △ Less

Submitted 13 July, 2021; v1 submitted 29 September, 2020; originally announced September 2020.

Comments: 27 pages, 1 Figure, More background information, examples and citations added to the previous version. Clarified the text in a few places and removed abbreviations for consistency

MSC Class: 35G25; 35Q53; 35Q55

Series expansions and direct inversion for the Heston model

Authors: Simon J. A. Malham, Jiaqi Shen, Anke Wiese

Abstract: Efficient sampling for the conditional time integrated variance process in the Heston stochastic volatility model is key to the simulation of the stock price based on its exact distribution. We construct a new series expansion for this integral in terms of double infinite weighted sums of particular independent random variables through a change of measure and the decomposition of squared Bessel br… ▽ More Efficient sampling for the conditional time integrated variance process in the Heston stochastic volatility model is key to the simulation of the stock price based on its exact distribution. We construct a new series expansion for this integral in terms of double infinite weighted sums of particular independent random variables through a change of measure and the decomposition of squared Bessel bridges. When approximated by series truncations, this representation has exponentially decaying truncation errors. We propose feasible strategies to largely reduce the implementation of the new series to simulations of simple random variables that are independent of any model parameters. We further develop direct inversion algorithms to generate samples for such random variables based on Chebyshev polynomial approximations for their inverse distribution functions. These approximations can be used under any market conditions. Thus, we establish a strong, efficient and almost exact sampling scheme for the Heston model. △ Less

Submitted 7 January, 2021; v1 submitted 11 August, 2020; originally announced August 2020.

Comments: 87 pages, 11 figures

MSC Class: 91G60; 41A58; 34E05; 41A10; 60H30

Grassmannian flows and applications to non-commutative non-local and local integrable systems

Authors: Anastasia Doikou, Simon J. A. Malham, Ioannis Stylianidis

Abstract: We present a method for linearising classes of matrix-valued nonlinear partial differential equations with local and nonlocal nonlinearities. Indeed we generalise a linearisation procedure originally developed by Pöppe based on solving the corresponding underlying linear partial differential equation to generate an evolutionary Hankel operator for the `scattering data', and then solving a linear F… ▽ More We present a method for linearising classes of matrix-valued nonlinear partial differential equations with local and nonlocal nonlinearities. Indeed we generalise a linearisation procedure originally developed by Pöppe based on solving the corresponding underlying linear partial differential equation to generate an evolutionary Hankel operator for the `scattering data', and then solving a linear Fredholm equation akin to the Marchenko equation to generate the evolutionary solution to the nonlinear partial differential system. Our generalisation involves inflating the underlying linear partial differential system for the scattering data to incorporate corresponding adjoint, reverse time or reverse space-time data, and it also allows for Hankel operators with matrix-valued kernels. With this approach we show how to linearise the matrix nonlinear Schrödinger and modified Korteweg de Vries equations as well as nonlocal reverse time and/or reverse space-time versions of these systems. Further, we formulate a unified linearisation procedure that incorporates all these systems as special cases. Further still, we demonstrate all such systems are example Fredholm Grassmannian flows. △ Less

Submitted 7 September, 2020; v1 submitted 3 April, 2020; originally announced April 2020.

Comments: 31 pages

Journal ref: Physica D: Nonlinear Phenomena 415C (2021) 132744

Applications of Grassmannian flows to integrable systems

Authors: Anastasia Doikou, Simon J. A. Malham, Ioannis Stylianidis, Anke Wiese

Abstract: We show how many classes of partial differential systems with local and nonlocal nonlinearities are linearisable in the sense that they are realisable as Fredholm Grassmannian flows. In other words, time-evolutionary solutions to such systems can be constructed from solutions to the corresponding underlying linear partial differential system, by solving a linear Fredholm equation. For example, it… ▽ More We show how many classes of partial differential systems with local and nonlocal nonlinearities are linearisable in the sense that they are realisable as Fredholm Grassmannian flows. In other words, time-evolutionary solutions to such systems can be constructed from solutions to the corresponding underlying linear partial differential system, by solving a linear Fredholm equation. For example, it is well-known that solutions to classical integrable partial differential systems can be generated by solving a corresponding linear partial differential system for the scattering data and then solving the linear Fredholm (or Volterra) integral equation known as the Gel'fand-Levitan-Marchenko equation. In this paper and in a companion paper, Doikou et al. [DMSW:graphflows], we both, survey the classes of nonlinear systems that are realisable as Fredholm Grassmannian flows, and present new example applications of such flows. We also demonstrate the usefulness of such a representation. Herein we extend the work of Poppe and demonstrate how solution flows of the non-commutative potential Korteweg de Vries and nonlinear Schrodinger systems are examples of such Grassmannian flows. In the companion paper we use this Grassmannian flow approach as well as an extension to nonlinear graph flows, to solve Smoluchowski coagulation and related equations. △ Less

Submitted 14 January, 2022; v1 submitted 13 May, 2019; originally announced May 2019.

Comments: 56 pages, 4 figures. This manuscript has grown significantly in a major revision. Indeed it has been split into two, with the second part in a new stand-alone companion paper "Applications of Grassmannian and graph flows to coagulation systems"

Partial differential systems with nonlocal nonlinearities: Generation and solutions

Authors: Margaret Beck, Anastasia Doikou, Simon J. A. Malham, Ioannis Stylianidis

Abstract: We develop a method for generating solutions to large classes of evolutionary partial differential systems with nonlocal nonlinearities. For arbitrary initial data, the solutions are generated from the corresponding linearized equations. The key is a Fredholm integral equation relating the linearized flow to an auxiliary linear flow. It is analogous to the Marchenko integral equation in integrable… ▽ More We develop a method for generating solutions to large classes of evolutionary partial differential systems with nonlocal nonlinearities. For arbitrary initial data, the solutions are generated from the corresponding linearized equations. The key is a Fredholm integral equation relating the linearized flow to an auxiliary linear flow. It is analogous to the Marchenko integral equation in integrable systems. We show explicitly how this can be achieved through several examples including reaction-diffusion systems with nonlocal quadratic nonlinearities and the nonlinear Schrodinger equation with a nonlocal cubic nonlinearity. In each case we demonstrate our approach with numerical simulations. We discuss the effectiveness of our approach and how it might be extended. △ Less

Submitted 30 January, 2018; v1 submitted 26 September, 2017; originally announced September 2017.

Comments: 4 figures

Grassmannian flows and applications to nonlinear partial differential equations

Authors: Margaret Beck, Anastasia Doikou, Simon J. A. Malham, Ioannis Stylianidis

Abstract: We show how solutions to a large class of partial differential equations with nonlocal Riccati-type nonlinearities can be generated from the corresponding linearized equations, from arbitrary initial data. It is well known that evolutionary matrix Riccati equations can be generated by projecting linear evolutionary flows on a Stiefel manifold onto a coordinate chart of the underlying Grassmann man… ▽ More We show how solutions to a large class of partial differential equations with nonlocal Riccati-type nonlinearities can be generated from the corresponding linearized equations, from arbitrary initial data. It is well known that evolutionary matrix Riccati equations can be generated by projecting linear evolutionary flows on a Stiefel manifold onto a coordinate chart of the underlying Grassmann manifold. Our method relies on extending this idea to the infinite dimensional case. The key is an integral equation analogous to the Marchenko equation in integrable systems, that represents the coodinate chart map. We show explicitly how to generate such solutions to scalar partial differential equations of arbitrary order with nonlocal quadratic nonlinearities using our approach. We provide numerical simulations that demonstrate the generation of solutions to Fisher--Kolmogorov--Petrovskii--Piskunov equations with nonlocal nonlinearities. We also indicate how the method might extend to more general classes of nonlinear partial differential systems. △ Less

Submitted 30 January, 2018; v1 submitted 16 February, 2017; originally announced February 2017.

Comments: 26 pages, 2 figures

Algebraic Structures and Stochastic Differential Equations driven by Levy processes

Authors: Charles Curry, Kurusch Ebrahimi-Fard, Simon J. A. Malham, Anke Wiese

Abstract: We construct an efficient integrator for stochastic differential systems driven by Levy processes. An efficient integrator is a strong approximation that is more accurate than the corresponding stochastic Taylor approximation, to all orders and independent of the governing vector fields. This holds provided the driving processes possess moments of all orders and the vector fields are sufficiently… ▽ More We construct an efficient integrator for stochastic differential systems driven by Levy processes. An efficient integrator is a strong approximation that is more accurate than the corresponding stochastic Taylor approximation, to all orders and independent of the governing vector fields. This holds provided the driving processes possess moments of all orders and the vector fields are sufficiently smooth. Moreover the efficient integrator in question is optimal within a broad class of perturbations for half-integer global root mean-square orders of convergence. We obtain these results using the quasi-shuffle algebra of multiple iterated integrals of independent Levy processes. △ Less

Submitted 5 November, 2018; v1 submitted 19 January, 2016; originally announced January 2016.

Comments: 41 pages, 11 figures

MSC Class: 60H10; 60H35

Journal ref: Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, 2019, issue 475: 20180567

The exponential Lie series for continuous semimartingales

Authors: Kurusch Ebrahimi-Fard, Simon J. A. Malham, Frederic Patras, Anke Wiese

Abstract: We consider stochastic differential systems driven by continuous semimartingales and governed by non-commuting vector fields. We prove that the logarithm of the flowmap is an exponential Lie series. This relies on a natural change of basis to vector fields for the associated quadratic covariation processes, analogous to Stratonovich corrections. The flowmap can then be expanded as a series in comp… ▽ More We consider stochastic differential systems driven by continuous semimartingales and governed by non-commuting vector fields. We prove that the logarithm of the flowmap is an exponential Lie series. This relies on a natural change of basis to vector fields for the associated quadratic covariation processes, analogous to Stratonovich corrections. The flowmap can then be expanded as a series in compositional powers of vector fields and the logaritm of the flowmap can thus be expanded in the Lie algebra of vector fields. Further, we give a direct self-contained proof of the corresponding Chen-Strichartz formula which provides an explicit formula for the Lie series coefficients. Such exponential Lie series are important in the development of strong Lie group integration schemes that ensure approximate solutions themselves lie in any homogeneous manifold on which the solution evolves. △ Less

Submitted 5 November, 2015; v1 submitted 25 June, 2015; originally announced June 2015.

Comments: 25 pages

MSC Class: 60H10; 60H35

Journal ref: Proc. R. Soc. A, vol. 471, 2015, 20150429

Flows and stochastic Taylor series in Ito calculus

Authors: Kurusch Ebrahimi-Fard, Simon J. A. Malham, Frederic Patras, Anke Wiese

Abstract: For stochastic systems driven by continuous semimartingales an explicit formula for the logarithm of the Ito flow map is given. A similar formula is also obtained for solutions of linear matrix-valued SDEs driven by arbitrary semimartingales. The computation relies on the lift to quasi-shuffle algebras of formulas involving products of Ito integrals of semimartingales. Whereas the Chen-Strichartz… ▽ More For stochastic systems driven by continuous semimartingales an explicit formula for the logarithm of the Ito flow map is given. A similar formula is also obtained for solutions of linear matrix-valued SDEs driven by arbitrary semimartingales. The computation relies on the lift to quasi-shuffle algebras of formulas involving products of Ito integrals of semimartingales. Whereas the Chen-Strichartz formula computing the logarithm of the Stratonovich flow map is classically expanded as a formal sum indexed by permutations, the analogous formula in Ito calculus is naturally indexed by surjections. This reflects the change of algebraic background involved in the transition between the two integration theories. △ Less

Submitted 27 April, 2015; originally announced April 2015.

Journal ref: J. Phys. A: Math. Theor. 48 495202 (2015)

Levy Processes and Quasi-Shuffle Algebras

Authors: Charles Curry, Kurusch Ebrahimi-Fard, Simon J. A. Malham, Anke Wiese

Abstract: We investigate the algebra of repeated integrals of semimartingales. We prove that a minimal family of semimartingales generates a quasi-shuffle algebra. In essence, to fulfill the minimality criterion, first, the family must be a minimal generator of the algebra of repeated integrals generated by its elements and by quadratic covariation processes recursively constructed from the elements of the… ▽ More We investigate the algebra of repeated integrals of semimartingales. We prove that a minimal family of semimartingales generates a quasi-shuffle algebra. In essence, to fulfill the minimality criterion, first, the family must be a minimal generator of the algebra of repeated integrals generated by its elements and by quadratic covariation processes recursively constructed from the elements of the family. Second, recursively constructed quadratic covariation processes may lie in the linear span of previously constructed ones and of the family, but may not lie in the linear span of repeated integrals of these. We prove that a finite family of independent Levy processes that have finite moments generates a minimal family. Key to the proof are the Teugels martingales and a strong orthogonalization of them. We conclude that a finite family of independent Levy processes form a quasi-shuffle algebra. We discuss important potential applications to constructing efficient numerical methods for the strong approximation of stochastic differential equations driven by Levy processes. △ Less

Submitted 21 November, 2013; v1 submitted 7 November, 2013; originally announced November 2013.

Comments: 10 pages

MSC Class: 60H30; 60G44

Journal ref: Stochastics,Volume 86, Issue 4, 2014

Computing the Maslov index for large systems

Authors: Margaret Beck, Simon J. A. Malham

Abstract: We address the problem of computing the Maslov index for large linear symplectic systems on the real line. The Maslov index measures the signed intersections (with a given reference plane) of a path of Lagrangian planes. The natural chart parameterization for the Grassmannian of Lagrangian planes is the space of real symmetric matrices. Linear system evolution induces a Riccati evolution in the ch… ▽ More We address the problem of computing the Maslov index for large linear symplectic systems on the real line. The Maslov index measures the signed intersections (with a given reference plane) of a path of Lagrangian planes. The natural chart parameterization for the Grassmannian of Lagrangian planes is the space of real symmetric matrices. Linear system evolution induces a Riccati evolution in the chart. For large order systems this is a practical approach as the computational complexity is quadratic in the order. The Riccati solutions, however, also exhibit singularites (which are traversed by changing charts). Our new results involve characterizing these Riccati singularities and two trace formulae for the Maslov index as follows. First, we show that the number of singular eigenvalues of the symmetric chart representation equals the dimension of intersection with the reference plane. Second, the Cayley map is a diffeomorphism from the space of real symmetric matrices to the manifold of unitary symmetric matrices. We show the logarithm of the Cayley map equals the arctan map (modulo 2i) and its trace measures the angle of the Langrangian plane to the reference plane. Third, the Riccati flow under the Cayley map induces a flow in the manifold of unitary symmetric matrices. Using the natural unitary action on this manifold, we pullback the flow to the unitary Lie algebra and monitor its trace. This avoids singularities, and is a natural robust procedure. We demonstrate the effectiveness of these approaches by applying them to a large eigenvalue problem. We also discuss the extension of the Maslov index to the infinite dimensional case. △ Less

Submitted 6 November, 2013; v1 submitted 7 October, 2013; originally announced October 2013.

Comments: 15 pages, two figures

Algebraic structure of stochastic expansions and efficient simulation

Authors: Kurusch Ebrahimi-Fard, Alexander Lundervold, Simon J. A. Malham, Hans Munthe-Kaas, Anke Wiese

Abstract: We investigate the algebraic structure underlying the stochastic Taylor solution expansion for stochastic differential systems.Our motivation is to construct efficient integrators. These are approximations that generate strong numerical integration schemes that are more accurate than the corresponding stochastic Taylor approximation, independent of the governing vector fields and to all orders. Th… ▽ More We investigate the algebraic structure underlying the stochastic Taylor solution expansion for stochastic differential systems.Our motivation is to construct efficient integrators. These are approximations that generate strong numerical integration schemes that are more accurate than the corresponding stochastic Taylor approximation, independent of the governing vector fields and to all orders. The sinhlog integrator introduced by Malham & Wiese (2009) is one example. Herein we: show that the natural context to study stochastic integrators and their properties is the convolution shuffle algebra of endomorphisms; establish a new whole class of efficient integrators; and then prove that, within this class, the sinhlog integrator generates the optimal efficient stochastic integrator at all orders. △ Less

Submitted 12 March, 2012; v1 submitted 23 December, 2011; originally announced December 2011.

Comments: 19 pages

Journal ref: Proc. R. Soc. A, August 8, 2012, vol. 468 no. 2144

Evans function and Fredholm determinants

Authors: Issa Karambal, Simon J. A Malham

Abstract: We explore the relationship between the Evans function, transmission coefficient and Fredholm determinant for systems of first order linear differential operators on the real line. The applications we have in mind include linear stability problems associated with travelling wave solutions to nonlinear partial differential equations, for example reaction-diffusion or solitary wave equations. The Ev… ▽ More We explore the relationship between the Evans function, transmission coefficient and Fredholm determinant for systems of first order linear differential operators on the real line. The applications we have in mind include linear stability problems associated with travelling wave solutions to nonlinear partial differential equations, for example reaction-diffusion or solitary wave equations. The Evans function and transmission coefficient, which are both finite determinants, are natural tools for both analytic and numerical determination of eigenvalues of such linear operators. However, inverting the eigenvalue problem by the free state operator generates a natural linear integral eigenvalue problem whose solvability is determined through the corresponding infinite Fredholm determinant. The relationship between all three determinants has received a lot of recent attention. We focus on the case when the underlying Fredholm operator is a trace class perturbation of the identity. Our new results include: (i) clarification of the sense in which the Evans function and transmission coefficient are equivalent; and (ii) proof of the equivalence of the transmission coefficient and Fredholm determinant, in particular in the case of distinct far fields. △ Less

Submitted 26 November, 2014; v1 submitted 30 June, 2011; originally announced July 2011.

Comments: 26 pages

MSC Class: 47B10 (Primary) 47G10; 34B27 (Secondary) 34L05

Efficient almost-exact Levy area sampling

Authors: Simon J. A. Malham, Anke Wiese

Abstract: We present a new method for sampling the Levy area for a two-dimensional Wiener process conditioned on its endpoints. An efficient sampler for the Levy area is required to implement a strong Milstein numerical scheme to approximate the solution of a stochastic differential equation driven by a two-dimensional Wiener process whose diffusion vector fields do not commute. Our method is simple and com… ▽ More We present a new method for sampling the Levy area for a two-dimensional Wiener process conditioned on its endpoints. An efficient sampler for the Levy area is required to implement a strong Milstein numerical scheme to approximate the solution of a stochastic differential equation driven by a two-dimensional Wiener process whose diffusion vector fields do not commute. Our method is simple and complementary to those of Gaines-Lyons and Wiktorsson, and amenable to quasi-Monte--Carlo implementation. It is based on representing the Levy area by an infinite weighted sum of independent Logistic random variables. We use Chebychev polynomials to approximate the inverse distribution function of sums of independent Logistic random variables in three characteristic regimes. The error is controlled by the degree of the polynomials, we set the error to be uniformly 10^(-12). We thus establish a strong almost-exact Levy area sampling method. The complexity of our method is square logarithmic. We indicate how our method can contribute to efficient sampling in higher dimensions. △ Less

Submitted 20 January, 2014; v1 submitted 1 July, 2011; originally announced July 2011.

Comments: 19 pages, 3 figures

MSC Class: 60H05; 60H35; 65C30; 91G60

An introduction to SDE simulation

Authors: Simon J. A. Malham, Anke Wiese

Abstract: We outline the basic ideas and techniques underpinning the simulation of stochastic differential equations. In particular we focus on strong simulation and its context. We also provide illustratory examples and sample matlab algorithms for the reader to use and follow. Our target audience is advanced undergraduate and graduate students interested in learning about simulating stochastic differentia… ▽ More We outline the basic ideas and techniques underpinning the simulation of stochastic differential equations. In particular we focus on strong simulation and its context. We also provide illustratory examples and sample matlab algorithms for the reader to use and follow. Our target audience is advanced undergraduate and graduate students interested in learning about simulating stochastic differential equations. We try to address the FAQs we have encountered. △ Less

Submitted 5 April, 2010; originally announced April 2010.

Comments: 27 pages, 3 figures, review article

MSC Class: 60H10; 60H35

Stochastic expansions and Hopf algebras

Authors: Simon J. A. Malham, Anke Wiese

Abstract: We study solutions to nonlinear stochastic differential systems driven by a multi-dimensional Wiener process. A useful algorithm for strongly simulating such stochastic systems is the Castell--Gaines method, which is based on the exponential Lie series. When the diffusion vector fields commute, it has been proved that at low orders this method is more accurate in the mean-square error than corre… ▽ More We study solutions to nonlinear stochastic differential systems driven by a multi-dimensional Wiener process. A useful algorithm for strongly simulating such stochastic systems is the Castell--Gaines method, which is based on the exponential Lie series. When the diffusion vector fields commute, it has been proved that at low orders this method is more accurate in the mean-square error than corresponding stochastic Taylor methods. However it has also been shown that when the diffusion vector fields do not commute, this is not true for strong order one methods. Here we prove that when there is no drift, and the diffusion vector fields do not commute, the exponential Lie series is usurped by the sinh-log series. In other words, the mean-square error associated with a numerical method based on the sinh-log series, is always smaller than the corresponding stochastic Taylor error, in fact to all orders. Our proof utilizes the underlying Hopf algebra structure of these series, and a two-alphabet associative algebra of shuffle and concatenation operations. We illustrate the benefits of the proposed series in numerical studies. △ Less

Submitted 17 April, 2009; v1 submitted 15 May, 2008; originally announced May 2008.

Comments: 23 pages, 4 figures

MSC Class: 16W30; 60H10; 60H35; 65C30; 81R60; 93E03

Computing stability of multi-dimensional travelling waves

Authors: Veerle Ledoux, Simon J. A. Malham, Jitse Niesen, Vera Thümmler

Abstract: We present a numerical method for computing the pure-point spectrum associated with the linear stability of multi-dimensional travelling fronts to parabolic nonlinear systems. Our method is based on the Evans function shooting approach. Transverse to the direction of propagation we project the spectral equations onto a finite Fourier basis. This generates a large, linear, one-dimensional system… ▽ More We present a numerical method for computing the pure-point spectrum associated with the linear stability of multi-dimensional travelling fronts to parabolic nonlinear systems. Our method is based on the Evans function shooting approach. Transverse to the direction of propagation we project the spectral equations onto a finite Fourier basis. This generates a large, linear, one-dimensional system of equations for the longitudinal Fourier coefficients. We construct the stable and unstable solution subspaces associated with the longitudinal far-field zero boundary conditions, retaining only the information required for matching, by integrating the Riccati equations associated with the underlying Grassmannian manifolds. The Evans function is then the matching condition measuring the linear dependence of the stable and unstable subspaces and thus determines eigenvalues. As a model application, we study the stability of two-dimensional wrinkled front solutions to a cubic autocatalysis model system. We compare our shooting approach with the continuous orthogonalization method of Humpherys and Zumbrun. We then also compare these with standard projection methods that directly project the spectral problem onto a finite multi-dimensional basis satisfying the boundary conditions. △ Less

Submitted 1 December, 2008; v1 submitted 12 May, 2008; originally announced May 2008.

Comments: 23 pages, 9 figures (some in colour). v2: added details and other changes to presentation after referees' comments, now 26 pages

MSC Class: 37M20 (Primary) 34L16; 35K57; 37L15; 65L15

Journal ref: SIAM J. Appl. Dynam. Systems, 8(1):480-507, 2009

Chi-square simulation of the CIR process and the Heston model

Authors: Simon J. A. Malham, Anke Wiese

Abstract: The transition probability of a Cox-Ingersoll-Ross process can be represented by a non-central chi-square density. First we prove a new representation for the central chi-square density based on sums of powers of generalized Gaussian random variables. Second we prove Marsaglia's polar method extends to this distribution, providing a simple, exact, robust and efficient acceptance-rejection method f… ▽ More The transition probability of a Cox-Ingersoll-Ross process can be represented by a non-central chi-square density. First we prove a new representation for the central chi-square density based on sums of powers of generalized Gaussian random variables. Second we prove Marsaglia's polar method extends to this distribution, providing a simple, exact, robust and efficient acceptance-rejection method for generalized Gaussian sampling and thus central chi-square sampling. Third we derive a simple, high-accuracy, robust and efficient direct inversion method for generalized Gaussian sampling based on the Beasley-Springer-Moro method. Indeed the accuracy of the approximation to the inverse cumulative distribution function is to the tenth decimal place. We then apply our methods to non-central chi-square variance sampling in the Heston model. We focus on the case when the number of degrees of freedom is small and the zero boundary is attracting and attainable, typical in foreign exchange markets. Using the additivity property of the chi-square distribution, our methods apply in all parameter regimes. △ Less

Submitted 2 July, 2012; v1 submitted 29 February, 2008; originally announced February 2008.

Comments: 32 pages, 6 figures, 8 tables, update

MSC Class: 60H10; 60H35; 93E20; 91G20

Grassmannian spectral shooting

Authors: Veerle Ledoux, Simon J. A. Malham, Vera Thummler

Abstract: We present a new numerical method for computing the pure-point spectrum associated with the linear stability of coherent structures. In the context of the Evans function shooting and matching approach, all the relevant information is carried by the flow projected onto the underlying Grassmann manifold. We show how to numerically construct this projected flow in a stable and robust manner. In par… ▽ More We present a new numerical method for computing the pure-point spectrum associated with the linear stability of coherent structures. In the context of the Evans function shooting and matching approach, all the relevant information is carried by the flow projected onto the underlying Grassmann manifold. We show how to numerically construct this projected flow in a stable and robust manner. In particular, the method avoids representation singularities by, in practice, choosing the best coordinate patch representation for the flow as it evolves. The method is analytic in the spectral parameter and of complexity bounded by the order of the spectral problem cubed. For large systems it represents a competitive method to those recently developed that are based on continuous orthogonalization. We demonstrate this by comparing the two methods in three applications: Boussinesq solitary waves, autocatalytic travelling waves and Ekman boundary layer. △ Less

Submitted 6 July, 2009; v1 submitted 4 October, 2007; originally announced October 2007.

Comments: 32 pages, 17 figures

MSC Class: 65L15

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.

Comments: 27 pages, 4 figures

MSC Class: 60H10; 60H35; 93E20

Stochastic Lie group integrators

Authors: Simon J. A. Malham, Anke Wiese

Abstract: We present Lie group integrators for nonlinear stochastic differential equations with non-commutative vector fields whose solution evolves on a smooth finite dimensional manifold. Given a Lie group action that generates transport along the manifold, we pull back the stochastic flow on the manifold to the Lie group via the action, and subsequently pull back the flow to the corresponding Lie algeb… ▽ More We present Lie group integrators for nonlinear stochastic differential equations with non-commutative vector fields whose solution evolves on a smooth finite dimensional manifold. Given a Lie group action that generates transport along the manifold, we pull back the stochastic flow on the manifold to the Lie group via the action, and subsequently pull back the flow to the corresponding Lie algebra via the exponential map. We construct an approximation to the stochastic flow in the Lie algebra via closed operations and then push back to the Lie group and then to the manifold, thus ensuring our approximation lies in the manifold. We call such schemes stochastic Munthe-Kaas methods after their deterministic counterparts. We also present stochastic Lie group integration schemes based on Castell--Gaines methods. These involve using an underlying ordinary differential integrator to approximate the flow generated by a truncated stochastic exponential Lie series. They become stochastic Lie group integrator schemes if we use Munthe-Kaas methods as the underlying ordinary differential integrator. Further, we show that some Castell--Gaines methods are uniformly more accurate than the corresponding stochastic Taylor schemes. Lastly we demonstrate our methods by simulating the dynamics of a free rigid body such as a satellite and an autonomous underwater vehicle both perturbed by two independent multiplicative stochastic noise processes. △ Less

Submitted 16 October, 2007; v1 submitted 31 March, 2007; originally announced April 2007.

Comments: 20 pages, 4 figures

MSC Class: 60H10; 60H35; 93E20