Showing 1–50 of 98 results for author: Roberts, A J

Efficient prediction of static and dynamical responses of functional graded beams using sparse multiscale patches

Authors: Thien Tran-Duc, J. E. Bunder, A. J. Roberts

Abstract: We develop a multiscale patch scheme for studying the system level characteristics of heterogeneous functional graded beams. The algorithm computes the detailed beam dynamics on the microscale, but only in small patches of the beam domain, and then applies symmetry-preserving interpolation to these patches to accurately predict the macroscale behaviour. To validate the algorithm, two examples of f… ▽ More We develop a multiscale patch scheme for studying the system level characteristics of heterogeneous functional graded beams. The algorithm computes the detailed beam dynamics on the microscale, but only in small patches of the beam domain, and then applies symmetry-preserving interpolation to these patches to accurately predict the macroscale behaviour. To validate the algorithm, two examples of functionally graded beams are investigated, namely cross-sectionally graded and axially graded. Gradient patterns are defined via volume fractions of aluminium and silicon carbine either over the beam's cross section or along its axial direction. In these examples the multiscale patch scheme only computes over a fraction of the beam's full-domain. Beam deflection and natural frequencies from the patch computations agree very well with existing experimental data and the full-domain computations. The algorithm is stable and robust, with errors consistently small and reliably reducible by increasing the number of patches. The reduction in the spatial domain of computation substantially improves the computational efficiency, with the computational time reducing by a factor of up to 17 when the patches cover 27% of the beam. △ Less

Submitted 16 July, 2024; originally announced July 2024.

Construct accurate multi-continuum micromorphic homogenisations in multi-D space-time with computer algebra

Authors: A. J. Roberts

Abstract: Homogenisation empowers the efficient macroscale system level prediction of physical scenarios with intricate microscale structures. Here we develop an innovative powerful, rigorous and flexible framework for asymptotic homogenisation of dynamics at the \emph{finite} scale separation of real physics, with proven results underpinned by modern dynamical systems theory. The novel systematic approach… ▽ More Homogenisation empowers the efficient macroscale system level prediction of physical scenarios with intricate microscale structures. Here we develop an innovative powerful, rigorous and flexible framework for asymptotic homogenisation of dynamics at the \emph{finite} scale separation of real physics, with proven results underpinned by modern dynamical systems theory. The novel systematic approach removes most of the usual assumptions, whether implicit or explicit, of other methodologies. By no longer assuming averages the methodology constructs so-called multi-continuum or micromorphic homogenisations systematically informed by the microscale physics. The developed framework and approach enables a user to straightforwardly choose and create such homogenisations with clear physical and theoretical support, and of highly controllable accuracy and fidelity. △ Less

Submitted 6 April, 2025; v1 submitted 3 July, 2024; originally announced July 2024.

Comments: 3rd version

MSC Class: 35B27; 74H10; 37L10; 35B40

Efficient computational homogenisation of 2D beams of heterogeneous elasticity using the patch scheme

Authors: Thien Tran-Duc, J. E. Bunder, A. J. Roberts

Abstract: Modern 'smart' materials have complex heterogeneous microscale structure, often with unknown macroscale closure but one we need to realise for large scale engineering and science. The multiscale Equation-Free Patch Scheme empowers us to non-intrusively, efficiently, and accurately predict the large scale, system level, solutions through computations on only small sparse patches of the given detail… ▽ More Modern 'smart' materials have complex heterogeneous microscale structure, often with unknown macroscale closure but one we need to realise for large scale engineering and science. The multiscale Equation-Free Patch Scheme empowers us to non-intrusively, efficiently, and accurately predict the large scale, system level, solutions through computations on only small sparse patches of the given detailed microscale system. Here the microscale system is that of a 2D beam of heterogeneous elasticity, with either fixed fixed, fixed-free, or periodic boundary conditions. We demonstrate that the described multiscale Patch Scheme simply, efficiently, and stably predicts the beam's macroscale, with a controllable accuracy, at finite scale separation. Dynamical systems theory supports the scheme. This article points the way for others to use this systematic non-intrusive approach, via a developing toolbox of functions, to model and compute accurately macroscale system-levels of general complex physical and engineering systems. △ Less

Submitted 17 August, 2023; originally announced August 2023.

Accurate and efficient multiscale simulation of a heterogeneous elastic beam via computation on small sparse patches

Authors: A. J. Roberts, Thien Tran-Duc, J. E. Bunder, Yannis Kevrekidis

Abstract: Modern `smart' materials have complex microscale structure, often with unknown macroscale closure. The Equation-Free Patch Scheme empowers us to non-intrusively, efficiently, and accurately simulate over large scales through computations on only small well-separated patches of the microscale system. Here the microscale system is a solid beam of random heterogeneous elasticity. The continuing chall… ▽ More Modern `smart' materials have complex microscale structure, often with unknown macroscale closure. The Equation-Free Patch Scheme empowers us to non-intrusively, efficiently, and accurately simulate over large scales through computations on only small well-separated patches of the microscale system. Here the microscale system is a solid beam of random heterogeneous elasticity. The continuing challenge is to compute the given physics on just the microscale patches, and couple the patches across un-simulated macroscale space, in order to establish efficiency, accuracy, consistency, and stability on the macroscale. Dynamical systems theory supports the scheme. This research program is to develop a systematic non-intrusive approach, both computationally and analytically proven, to model and compute accurately macroscale system levels of general complex physical and engineering systems. △ Less

Submitted 20 January, 2023; originally announced January 2023.

Two novel families of multiscale staggered patch schemes efficiently simulate large-scale, weakly damped, linear waves

Authors: J. Divahar, A. J. Roberts, Trent W. Mattner, J. E. Bunder, Ioannis G. Kevrekidis

Abstract: Many multiscale wave systems exhibit macroscale emergent behaviour, for example, the fluid dynamics of floods and tsunamis. Resolving a large range of spatial scales typically requires a prohibitively high computational cost. The small dissipation in wave systems poses a significant challenge to further developing multiscale modelling methods in multiple dimensions. This article develops and evalu… ▽ More Many multiscale wave systems exhibit macroscale emergent behaviour, for example, the fluid dynamics of floods and tsunamis. Resolving a large range of spatial scales typically requires a prohibitively high computational cost. The small dissipation in wave systems poses a significant challenge to further developing multiscale modelling methods in multiple dimensions. This article develops and evaluates two families of equation-free multiscale methods on novel 2D staggered patch schemes, and demonstrates the power and utility of these multiscale schemes for weakly damped linear waves. A detailed study of sensitivity to numerical roundoff errors establishes the robustness of developed staggered patch schemes. Comprehensive eigenvalue analysis over a wide range of parameters establishes the stability, accuracy, and consistency of the multiscale schemes. Analysis of the computational complexity shows that the measured compute times of the multiscale schemes may be 10^5 times smaller than the compute time for the corresponding full-domain computation. This work provides the essential foundation for efficient large-scale simulation of challenging nonlinear multiscale waves. △ Less

Submitted 27 October, 2022; originally announced October 2022.

Comments: 35 pages, 12 figures, and 6 tables

Embed to rigorously and accurately homogenise quasi-periodic multi-scale heterogeneous PDEs, with computer algebra

Authors: A. J. Roberts

Abstract: For microscale heterogeneous PDEs, this article further develops novel theory and methodology for their macroscale mathematical/asymptotic homogenization. This article specifically encompasses the case of quasi-periodic heterogeneity with finite scale separation: no scale separation limit is required. Dynamical systems theory frames the homogenization as a slow manifold of the ensemble of all phas… ▽ More For microscale heterogeneous PDEs, this article further develops novel theory and methodology for their macroscale mathematical/asymptotic homogenization. This article specifically encompasses the case of quasi-periodic heterogeneity with finite scale separation: no scale separation limit is required. Dynamical systems theory frames the homogenization as a slow manifold of the ensemble of all phase-shifts of the heterogeneity. Depending upon any perceived scale separation within the quasi-periodic heterogeneity, the homogenization may be done in either one step, or two sequential steps: the results are equivalent. The theory not only assures us of the existence and emergence of the homogenization, it also provides a practical systematic method to construct the homogenization to any specified order. For a class of heterogeneities, we show that the macroscale homogenization is potentially valid down to lengths which are just twice that of the microscale heterogeneity! This methodology provides a new rigorous and flexible approach to homogenization that potentially also provides correct initial and boundary conditions, treatment of forcing and control, and analysis of uncertainty. △ Less

Submitted 6 September, 2022; originally announced September 2022.

Staggered grids for multidimensional multiscale modelling

Authors: J. Divahar, A. J. Roberts, Trent W. Mattner, J. E. Bunder, Ioannis G. Kevrekidis

Abstract: Numerical schemes for wave-like systems with small dissipation are often inaccurate and unstable due to truncation errors and numerical roundoff errors. Hence, numerical simulations of wave-like systems lacking proper handling of these numerical issues often fail to represent the physical characteristics of wave phenomena. This challenge gets even more intricate for multiscale modelling, especiall… ▽ More Numerical schemes for wave-like systems with small dissipation are often inaccurate and unstable due to truncation errors and numerical roundoff errors. Hence, numerical simulations of wave-like systems lacking proper handling of these numerical issues often fail to represent the physical characteristics of wave phenomena. This challenge gets even more intricate for multiscale modelling, especially in multiple dimensions. When using the usual collocated grid, about two-thirds of the resolved wave modes are incorrect with significant dispersion. But, numerical schemes on staggered grids (with alternating variable arrangement) are significantly less dispersive and preserve much of the wave characteristics. Also, the group velocity of the energy propagation in the numerical waves on a staggered grid is in the correct direction, in contrast to the collocated grid. For high accuracy and to preserve much of the wave characteristics, this article extends the concept of staggered grids in full-domain modelling to multidimensional multiscale modelling. Specifically, this article develops 120 multiscale staggered grids and demonstrates their stability, accuracy, and wave-preserving characteristic for equation-free multiscale modelling of weakly damped linear waves. But most characteristics of the developed multiscale staggered grids must also hold in general for multiscale modelling of many complex spatio-temporal physical phenomena such as the general computational fluid dynamics. △ Less

Submitted 25 July, 2022; originally announced July 2022.

Comments: 42 pages, 13 figures, and 1 table

Learning high-order spatial discretisations of PDEs with symmetry-preserving iterative algorithms

Authors: J. E. Bunder, A. J. Roberts

Abstract: Common techniques for the spatial discretisation of PDEs on a macroscale grid include finite difference, finite elements and finite volume methods. Such methods typically impose assumed microscale structures on the subgrid fields, so without further tailored analysis are not suitable for systems with subgrid-scale heterogeneity or nonlinearities. We provide a new algebraic route to systematically… ▽ More Common techniques for the spatial discretisation of PDEs on a macroscale grid include finite difference, finite elements and finite volume methods. Such methods typically impose assumed microscale structures on the subgrid fields, so without further tailored analysis are not suitable for systems with subgrid-scale heterogeneity or nonlinearities. We provide a new algebraic route to systematically approximate, in principle exactly, the macroscale closure of the spatially-discrete dynamics of a general class of heterogeneous non-autonomous reaction-advection-diffusion PDEs. This holistic discretisation approach, developed through rigorous theory and verified with computer algebra, systematically constructs discrete macroscale models through physics informed by the PDE out-of-equilibrium dynamics, thus relaxing many assumptions regarding the subgrid structure. The construction is analogous to recent gray-box machine learning techniques in that predictions are directed by iterative layers (as in neural networks), but informed by the subgrid physics (or 'data') as expressed in the PDEs. A major development of the holistic methodology, presented herein, is novel inter-element coupling between subgrid fields which preserve self-adjointness of the PDE after macroscale discretisation, thereby maintaining the spectral structure of the original system. This holistic methodology also encompasses homogenisation of microscale heterogeneous systems, as shown here with the canonical examples of heterogeneous 1D waves and diffusion. △ Less

Submitted 13 April, 2022; originally announced April 2022.

Adaptively detect and accurately resolve macro-scale shocks in an efficient Equation-Free multiscale simulation

Authors: John Maclean, J. E. Bunder, I. G. Kevrekidis, A. J. Roberts

Abstract: The Equation-Free approach to efficient multiscale numerical computation marries trusted micro-scale simulations to a framework for numerical macro-scale reduction -- the patch dynamics scheme. A recent novel patch scheme empowered the Equation-Free approach to simulate systems containing shocks on the macro-scale. However, the scheme did not predict the formation of shocks accurately, and it coul… ▽ More The Equation-Free approach to efficient multiscale numerical computation marries trusted micro-scale simulations to a framework for numerical macro-scale reduction -- the patch dynamics scheme. A recent novel patch scheme empowered the Equation-Free approach to simulate systems containing shocks on the macro-scale. However, the scheme did not predict the formation of shocks accurately, and it could not simulate moving shocks. This article resolves both issues, as a first step in one spatial dimension, by embedding the Equation-Free, shock-resolving patch scheme within a classic framework for adaptive moving meshes. Our canonical micro-scale problems exhibit heterogeneous nonlinear advection and heterogeneous diffusion. We demonstrate many remarkable benefits from the moving patch scheme, including efficient and accurate macro-scale prediction despite the unknown macro-scale closure. Equation-free methods are here extended to simulate moving, forming and merging shocks without a priori knowledge of the existence or closure of the shocks. Whereas adaptive moving mesh equations are typically stiff, typically requiring small time-steps on the macro-scale, the moving macro-scale mesh of patches is typically not stiff given the context of the micro-scale time-steps required for the sub-patch dynamics. △ Less

Submitted 25 August, 2021; originally announced August 2021.

Comments: 35 A5 pages, 12 figures, submitted to SISC

Linking Machine Learning with Multiscale Numerics: Data-Driven Discovery of Homogenized Equations

Authors: Hassan Arbabi, Judith E. Bunder, Giovanni Samaey, Anthony J. Roberts, Ioannis G. Kevrekidis

Abstract: The data-driven discovery of partial differential equations (PDEs) consistent with spatiotemporal data is experiencing a rebirth in machine learning research. Training deep neural networks to learn such data-driven partial differential operators requires extensive spatiotemporal data. For learning coarse-scale PDEs from computational fine-scale simulation data, the training data collection process… ▽ More The data-driven discovery of partial differential equations (PDEs) consistent with spatiotemporal data is experiencing a rebirth in machine learning research. Training deep neural networks to learn such data-driven partial differential operators requires extensive spatiotemporal data. For learning coarse-scale PDEs from computational fine-scale simulation data, the training data collection process can be prohibitively expensive. We propose to transformatively facilitate this training data collection process by linking machine learning (here, neural networks) with modern multiscale scientific computation (here, equation-free numerics). These equation-free techniques operate over sparse collections of small, appropriately coupled, space-time subdomains ("patches"), parsimoniously producing the required macro-scale training data. Our illustrative example involves the discovery of effective homogenized equations in one and two dimensions, for problems with fine-scale material property variations. The approach holds promise towards making the discovery of accurate, macro-scale effective materials PDE models possible by efficiently summarizing the physics embodied in "the best" fine-scale simulation models available. △ Less

Submitted 24 August, 2020; originally announced August 2020.

MSC Class: 35B27

Journal ref: JOM 2020

Equation-free patch scheme for efficient computational homogenisation via self-adjoint coupling

Authors: J. E. Bunder, I. G. Kevrekidis, A. J. Roberts

Abstract: Equation-free macroscale modelling is a systematic and rigorous computational methodology for efficiently predicting the dynamics of a microscale system at a desired macroscale system level. In this scheme, the given microscale model is computed in small patches spread across the space-time domain, with patch coupling conditions bridging the unsimulated space. For accurate simulations, care must b… ▽ More Equation-free macroscale modelling is a systematic and rigorous computational methodology for efficiently predicting the dynamics of a microscale system at a desired macroscale system level. In this scheme, the given microscale model is computed in small patches spread across the space-time domain, with patch coupling conditions bridging the unsimulated space. For accurate simulations, care must be taken in designing the patch coupling conditions. Here we construct novel coupling conditions which preserve translational invariance, rotational invariance, and self-adjoint symmetry, thus guaranteeing that conservation laws associated with these symmetries are preserved in the macroscale simulation. Spectral and algebraic analyses of the proposed scheme in both one and two dimensions reveal mechanisms for further improving the accuracy of the simulations. Consistency of the patch scheme's macroscale dynamics with the original microscale model is proved. This new self-adjoint patch scheme provides an efficient, flexible, and accurate computational homogenisation in a wide range of multiscale scenarios of interest to scientists and engineers. △ Less

Submitted 14 July, 2020; originally announced July 2020.

A multiscale scheme accurately simulates macroscale shocks in an equation-free framework

Authors: John Maclean, J. E. Bunder, A. J. Roberts, I. G. Kevrekidis

Abstract: Scientists and engineers often create accurate, trustworthy, computational simulation schemes - but all too often these are too computationally expensive to execute over the time or spatial domain of interest. The equation-free approach is to marry such trusted simulations to a framework for numerical macroscale reduction - the patch dynamics scheme. This article extends the patch scheme to scenar… ▽ More Scientists and engineers often create accurate, trustworthy, computational simulation schemes - but all too often these are too computationally expensive to execute over the time or spatial domain of interest. The equation-free approach is to marry such trusted simulations to a framework for numerical macroscale reduction - the patch dynamics scheme. This article extends the patch scheme to scenarios in which the trusted simulation resolves abrupt state changes on the microscale that appear as shocks on the macroscale. Accurate simulation for problems in these scenarios requires extending the patch scheme by capturing the shock within a novel patch, and also modifying the patch coupling rules in the vicinity in order to maintain accuracy. With these two extensions to the patch scheme, straightforward arguments derive consistency conditions that match the usual order of accuracy for patch schemes. The new scheme is successfully tested on four archetypal problems. This technique will empower scientists and engineers to accurately and efficiently simulate, over large spatial domains, multiscale multiphysics systems that have rapid transition layers on the microscale. △ Less

Submitted 2 March, 2020; v1 submitted 26 February, 2020; originally announced February 2020.

Comments: 21 pages, 9 figures

A toolbox of Equation-Free functions in Matlab\Octave for efficient system level simulation

Authors: John Maclean, J. E. Bunder, A. J. Roberts

Abstract: The `equation-free toolbox' empowers the computer-assisted analysis of complex, multiscale systems. Its aim is to enable you to immediately use microscopic simulators to perform macro-scale system level tasks and analysis, because micro-scale simulations are often the best available description of a system. The methodology bypasses the derivation of macroscopic evolution equations by computing the… ▽ More The `equation-free toolbox' empowers the computer-assisted analysis of complex, multiscale systems. Its aim is to enable you to immediately use microscopic simulators to perform macro-scale system level tasks and analysis, because micro-scale simulations are often the best available description of a system. The methodology bypasses the derivation of macroscopic evolution equations by computing the micro-scale simulator only over short bursts in time on small patches in space, with bursts and patches well-separated in time and space respectively. We introduce the suite of coded equation-free functions in an accessible way, link to more detailed descriptions, discuss their mathematical support, and introduce a novel and efficient algorithm for Projective Integration. Some facets of toolbox development of equation-free functions are then detailed. Download the toolbox functions (https://github.com/uoa1184615/EquationFreeGit) and use to empower efficient and accurate simulation in a wide range of your science and engineering problems. △ Less

Submitted 7 April, 2020; v1 submitted 31 January, 2020; originally announced February 2020.

Comments: 35 pages, 4 figures

Rigorous modelling of nonlocal interactions determines a macroscale advection-diffusion PDE

Authors: A. J. Roberts

Abstract: A slowly-varying or thin-layer multiscale assumption empowers macroscale understanding of many physical scenarios from dispersion in pipes and rivers, including beams, shells, and the modulation of nonlinear waves, to homogenisation of micro-structures. Here we begin a new exploration of the scenario where the given physics has non-local microscale interactions. We rigorously analyse the dynamics… ▽ More A slowly-varying or thin-layer multiscale assumption empowers macroscale understanding of many physical scenarios from dispersion in pipes and rivers, including beams, shells, and the modulation of nonlinear waves, to homogenisation of micro-structures. Here we begin a new exploration of the scenario where the given physics has non-local microscale interactions. We rigorously analyse the dynamics of a basic example of shear dispersion. Near each cross-section, the dynamics is expressed in the local moments of the microscale non-local effects. Centre manifold theory then supports the local modelling of the system's dynamics with coupling to neighbouring cross-sections as a non-autonomous forcing. The union over all cross-sections then provides powerful new support for the existence and emergence of a macroscale model advection-diffusion PDE global in the large, finite-sized, domain. The approach quantifies the accuracy of macroscale advection-diffusion approximations, and has the potential to open previously intractable multiscale issues to new insights. △ Less

Submitted 20 January, 2020; originally announced January 2020.

Large-scale simulation of shallow water waves with computation only on small staggered patches

Authors: J. E. Bunder, J. Divahar, Ioannis G. Kevrekidis, Trent W. Mattner, A. J. Roberts

Abstract: The multiscale patch scheme is built from given small micro-scale simulations of complicated physical processes to empower large macro-scale simulations. By coupling small patches of simulations over unsimulated spatial gaps, large savings in computational time are possible. Here we discuss generalising the patch scheme to the case of wave systems on staggered grids in 2D space. Classic macro-scal… ▽ More The multiscale patch scheme is built from given small micro-scale simulations of complicated physical processes to empower large macro-scale simulations. By coupling small patches of simulations over unsimulated spatial gaps, large savings in computational time are possible. Here we discuss generalising the patch scheme to the case of wave systems on staggered grids in 2D space. Classic macro-scale interpolation provides a generic coupling between patches that achieves arbitrarily high order consistency between the emergent macro-scale simulation and the underlying micro-scale dynamics. Eigen-analysis indicates that the resultant scheme empowers feasible computation of large macro-scale simulations of wave systems even with complicated underlying physics. As examples we use the scheme to simulate some wave scenarios via a turbulent shallow water model. △ Less

Submitted 16 December, 2019; originally announced December 2019.

Multiscale modelling of microscale heterogeneous systems: analysis supports systematic and efficient macroscale modelling and simulation

Authors: A. J. Roberts

Abstract: These are lecture notes for five sessions in the AMSI Winter School on 'Computational Modelling of Heterogeneous Media' held at QUT in July 2019 [https://ws.amsi.org.au/]. Aim: Discuss a mix of new mathematical approaches for multiscale modelling, heterogeneous material in particular, along with corresponding novel computational techniques and issues. I include discussion of a developing toolbox… ▽ More These are lecture notes for five sessions in the AMSI Winter School on 'Computational Modelling of Heterogeneous Media' held at QUT in July 2019 [https://ws.amsi.org.au/]. Aim: Discuss a mix of new mathematical approaches for multiscale modelling, heterogeneous material in particular, along with corresponding novel computational techniques and issues. I include discussion of a developing toolbox that empowers you to implement effective multiscale `equation-free' computation [https://github.com/uoa1184615/EquationFreeGit.git]. △ Less

Submitted 18 July, 2019; originally announced July 2019.

Normal forms and invariant manifolds for nonlinear, non-autonomous PDEs, viewed as ODEs in infinite dimensions

Authors: Peter Hochs, A. J. Roberts

Abstract: We prove that a general class of nonlinear, non-autonomous ODEs in Fréchet spaces are close to ODEs in a specific normal form, where closeness means that solutions of the normal form ODE satisfy the original ODE up to a residual that vanishes up to any desired order. In this normal form, the centre, stable and unstable coordinates of the ODE are clearly separated, which allows us to define invaria… ▽ More We prove that a general class of nonlinear, non-autonomous ODEs in Fréchet spaces are close to ODEs in a specific normal form, where closeness means that solutions of the normal form ODE satisfy the original ODE up to a residual that vanishes up to any desired order. In this normal form, the centre, stable and unstable coordinates of the ODE are clearly separated, which allows us to define invariant manifolds of such equations in a robust way. In particular, our method empowers us to study approximate centre manifolds, given by solutions of ODEs that are central up to a desired, possibly nonzero precision. The main motivation is the case where the Fréchet space in question is a suitable function space, and the maps involved in an ODE in this space are defined in terms of derivatives of the functions, so that the infinite-dimensional ODE is a finite-dimensional PDE. We show that our methods apply to a relevant class of nonlinear, non-autonomous PDEs in this way. △ Less

Submitted 11 June, 2019; originally announced June 2019.

Comments: 62 pages

Lyapunov exponents of the Kuramoto-Sivashinsky PDE

Authors: Russell A. Edson, J. E. Bunder, Trent W. Mattner, A. J. Roberts

Abstract: The Kuramoto-Sivashinsky equation is a prototypical chaotic nonlinear partial differential equation (PDE) in which the size of the spatial domain plays the role of a bifurcation parameter. We investigate the changing dynamics of the Kuramoto-Sivashinsky PDE by calculating the Lyapunov spectra over a large range of domain sizes. Our comprehensive computation and analysis of the Lyapunov exponents a… ▽ More The Kuramoto-Sivashinsky equation is a prototypical chaotic nonlinear partial differential equation (PDE) in which the size of the spatial domain plays the role of a bifurcation parameter. We investigate the changing dynamics of the Kuramoto-Sivashinsky PDE by calculating the Lyapunov spectra over a large range of domain sizes. Our comprehensive computation and analysis of the Lyapunov exponents and the associated Kaplan-Yorke dimension provides new insights into the chaotic dynamics of the Kuramoto-Sivashinsky PDE, and the transition to its 1D turbulence. △ Less

Submitted 25 February, 2019; originally announced February 2019.

Nonlinear emergent macroscale PDEs, with error bound, for nonlinear microscale systems

Authors: J. E. Bunder, A. J. Roberts

Abstract: Many physical systems are formulated on domains which are relatively large in some directions but relatively thin in other directions. We expect such systems to have emergent structures that vary slowly over the large dimensions. Common mathematical approximations for determining the emergent dynamics often rely on self-consistency arguments or limits as the aspect ratio of the `large' and `thin'… ▽ More Many physical systems are formulated on domains which are relatively large in some directions but relatively thin in other directions. We expect such systems to have emergent structures that vary slowly over the large dimensions. Common mathematical approximations for determining the emergent dynamics often rely on self-consistency arguments or limits as the aspect ratio of the `large' and `thin' dimensions becomes nonphysically infinite. Here we extend to nonlinear dynamics a new approach [IMA J. Appl. Maths, DOI: 10.1093/imamat/hxx021] which analyses the dynamics at each cross-section of the domain via a rigorous multivariate Taylor series. Then centre manifold theory supports the global modelling of the system's emergent dynamics in the large but finite domain. Interactions between the cross-section coupling and both fast and slow dynamics determines quantitative error bounds for the nonlinear modelling. We illustrate the methodology by deriving the large-scale dynamics of a thin liquid film, where the film is subject to a Coriolis force induced by a rotating substrate. The approach developed here quantifies the accuracy of known approximations, extends such approximations to mixed order modelling, and may open previously intractable modelling issues to new tools and insights. △ Less

Submitted 27 June, 2018; originally announced June 2018.

Backwards theory supports modelling via invariant manifolds for non-autonomous dynamical systems

Authors: A. J. Roberts

Abstract: This article establishes the foundation for a new theory of invariant/integral manifolds for non-autonomous dynamical systems. Current rigorous support for dimensional reduction modelling of slow-fast systems is limited by the rare events in stochastic systems that may cause escape, and limited in many applications by the unbounded nature of PDE operators. To circumvent such limitations, we initia… ▽ More This article establishes the foundation for a new theory of invariant/integral manifolds for non-autonomous dynamical systems. Current rigorous support for dimensional reduction modelling of slow-fast systems is limited by the rare events in stochastic systems that may cause escape, and limited in many applications by the unbounded nature of PDE operators. To circumvent such limitations, we initiate developing a backward theory of invariant/integral manifolds that complements extant forward theory. Here, for deterministic non-autonomous ODE systems, we construct a conjugacy with a normal form system to establish the existence, emergence and exact construction of center manifolds in a finite domain for systems `arbitrarily close' to that specified. A benefit is that the constructed invariant manifolds are known to be exact for systems `close' to the one specified, and hence the only error is in determining how close over the domain of interest for any specific application. Built on the base developed here, planned future research should develop a theory for stochastic and/or PDE systems that is useful in a wide range of modelling applications. △ Less

Submitted 30 May, 2022; v1 submitted 19 April, 2018; originally announced April 2018.

MSC Class: 37C60; 34D09; 34E13; 37G05; 34D35; 34D15

Couple microscale periodic patches to simulate macroscale emergent dynamics

Authors: Hammad Alotaibi, Barry Cox, A. J. Roberts

Abstract: This article proposes a new way to construct computationally efficient `wrappers' around fine scale, microscopic, detailed descriptions of dynamical systems, such as molecular dynamics, to make predictions at the macroscale `continuum' level. It is often significantly easier to code a microscale simulator with periodicity: so the challenge addressed here is to develop a scheme that uses only a giv… ▽ More This article proposes a new way to construct computationally efficient `wrappers' around fine scale, microscopic, detailed descriptions of dynamical systems, such as molecular dynamics, to make predictions at the macroscale `continuum' level. It is often significantly easier to code a microscale simulator with periodicity: so the challenge addressed here is to develop a scheme that uses only a given periodic microscale simulator; specifically, one for atomistic dynamics. Numerical simulations show that applying a suitable proportional controller within `action regions' of a patch of atomistic simulation effectively predicts the macroscale transport of heat. Theoretical analysis establishes that such an approach will generally be effective and efficient, and also determines good values for the strength of the proportional controller. This work has the potential to empower systematic analysis and understanding at a macroscopic system level when only a given microscale simulator is available. △ Less

Submitted 2 March, 2017; v1 submitted 1 March, 2017; originally announced March 2017.

Slowly varying, macroscale models emerge from microscale dynamics over multiscale domains

Authors: A. J. Roberts, J. E. Bunder

Abstract: Many physical systems are well described on domains which are relatively large in some directions but relatively thin in other directions. In this scenario we typically expect the system to have emergent structures that vary slowly over the large dimensions. For practical mathematical modelling of such systems we require efficient and accurate methodologies for reducing the dimension of the origin… ▽ More Many physical systems are well described on domains which are relatively large in some directions but relatively thin in other directions. In this scenario we typically expect the system to have emergent structures that vary slowly over the large dimensions. For practical mathematical modelling of such systems we require efficient and accurate methodologies for reducing the dimension of the original system and extracting the emergent dynamics. Common mathematical approximations for determining the emergent dynamics often rely on self-consistency arguments or limits as the aspect ratio of the 'large' and 'thin' dimensions becomes unphysically infinite. Here we build on a new approach, previously establish for systems which are large in only one dimension, which analyses the dynamics at each cross-section of the domain with a rigorous multivariate Taylor series. Then centre manifold theory supports the local modelling of the system's emergent dynamics with coupling to neighbouring cross-sections treated as a non-autonomous forcing. The union over all cross-sections then provides powerful support for the existence and emergence of a centre manifold model global in the large finite domain. Quantitative error estimates are determined from the interactions between the cross-section coupling and both fast and slow dynamics. Two examples provide practical details of our methodology. The approach developed here may be used to quantify the accuracy of known approximations, to extend such approximations to mixed order modelling, and to open previously intractable modelling issues to new tools and insights. △ Less

Submitted 14 December, 2016; v1 submitted 6 December, 2016; originally announced December 2016.

Comments: arXiv admin note: text overlap with arXiv:1310.1541

Dynamics of suspended rigid aggregating particles in flowing medium: theory, analysis and scientific computing

Authors: Sarthok Sircar, Anthony J. Roberts

Abstract: We develop and present a unified multi-scale model (involving three scales of spatial organisation) to study the dynamics of rigid aggregating particles suspended in a viscous fluid medium and subject to a steady poiseuille flow. At micro-level, the theory of adhesion describing the attachment / detachment kinetics of two rigid spheres coated with binding ligands, is utilized to describe the colli… ▽ More We develop and present a unified multi-scale model (involving three scales of spatial organisation) to study the dynamics of rigid aggregating particles suspended in a viscous fluid medium and subject to a steady poiseuille flow. At micro-level, the theory of adhesion describing the attachment / detachment kinetics of two rigid spheres coated with binding ligands, is utilized to describe the collision frequency function. The meso-scale dynamics is outlined through a continuous general dynamic equation governing the time rate of change of the particle size distribution function. The micro-meso coupling is achieved via the balancing of the mesoscale drag forces and couples with the micro-scale forces associated with the binder kinetics. Inside the macro domain (i.e., a long pipe), the model is equation free and divided into equal sized patches. The macroscale solution within each patch is obtained via appropriate (extrapolatory) coupling and amplitude conditions. △ Less

Submitted 6 October, 2016; originally announced October 2016.

Comments: 25 pages, 3 figures. arXiv admin note: text overlap with arXiv:1312.1415

Boundary conditions for macroscale waves in an elastic system with microscale heterogeneity

Authors: Chen Chen, A. J. Roberts, J. E. Bunder

Abstract: Multiscale modelling aims to systematically construct macroscale models of materials with fine microscale structure. However, macroscale boundary conditions are typically not systematically derived, but rely on heuristic arguments, potentially resulting in a macroscale model which fails to adequately capture the behaviour of the microscale system. We derive the macroscale boundary conditions of th… ▽ More Multiscale modelling aims to systematically construct macroscale models of materials with fine microscale structure. However, macroscale boundary conditions are typically not systematically derived, but rely on heuristic arguments, potentially resulting in a macroscale model which fails to adequately capture the behaviour of the microscale system. We derive the macroscale boundary conditions of the macroscale model for longitudinal wave propagation on a lattice with periodically varying density and elasticity. We model the macroscale dynamics of the microscale Dirichlet, Robin-like, Cauchy-like and mixed boundary value problem. Numerical experiments test the new methodology. Our method of deriving boundary conditions significantly improves the accuracy of the macroscale models. The methodology developed here can be adapted to a wide range of multiscale wave propagation problems. △ Less

Submitted 22 March, 2016; originally announced March 2016.

Smooth subgrid fields underpin rigorous closure in spatial discretisation of reaction-advection-diffusion PDEs

Authors: G. A. Jarrad, A. J. Roberts

Abstract: Finite difference/element/volume methods of discretising PDEs impose a subgrid scale interpolation on the dynamics. In contrast, the holistic discretisation approach developed herein constructs a natural subgrid scale field adapted to the whole system out-of-equilibrium dynamics. Consequently, the macroscale discretisation is fully informed by the underlying microscale dynamics. We establish a new… ▽ More Finite difference/element/volume methods of discretising PDEs impose a subgrid scale interpolation on the dynamics. In contrast, the holistic discretisation approach developed herein constructs a natural subgrid scale field adapted to the whole system out-of-equilibrium dynamics. Consequently, the macroscale discretisation is fully informed by the underlying microscale dynamics. We establish a new proof that in principle there exists an exact closure of the dynamics of a general class of reaction-advection-diffusion PDEs, and show how our approach constructs new systematic approximations to the in-principle closure starting from a simple, piecewise-linear, continuous approximation. Under inter-element coupling conditions that guarantee continuity of several field properties, the holistic discretisation possesses desirable properties such as a natural cubic spline first-order approximation to the field, and the self-adjointness of the diffusion operator under periodic, Dirichlet and Neumann macroscale boundary conditions. As a concrete example, we demonstrate the holistic discretisation procedure on the well-known Burgers' PDE, and compare the theoretical and numerical stability of the resulting discretisation to other approximations. The approach developed here promises to be able to systematically construct automatically good, macroscale discretisations to a wide range of PDEs, including wave PDEs. △ Less

Submitted 2 February, 2016; originally announced February 2016.

Ligand mediated adhesive mechanics of two deformed spheres

Authors: Sarthok Sircar, Andrei Kotousov, Giang Nguyen, Anthony J. Roberts

Abstract: A self-consistent model is developed to investigate attachment / detachment kinetics of two soft, deformable microspheres with irregular surface and coated with flexible binding ligands. The model highlights how the microscale binding kinetics of these ligands as well as the attractive/repulsive potential of the charged surface affects the static deformed configuration of the spheres. It is shown… ▽ More A self-consistent model is developed to investigate attachment / detachment kinetics of two soft, deformable microspheres with irregular surface and coated with flexible binding ligands. The model highlights how the microscale binding kinetics of these ligands as well as the attractive/repulsive potential of the charged surface affects the static deformed configuration of the spheres. It is shown that in the limit of smooth, neutral charged surface (i.e., the Debye length, $κ\rightarrow \infty $), interacting via elastic binders (i.e., the stiffness coefficient, $λ\rightarrow 0$) the adhesion mechanics approaches the regime of application of the JKR theory, and in this particular limit, the contact radius scales with the particle radius, according to the scaling law, $R_c\propto R^{\frac{2}{3}}$. We show that adhesion dominates in larger particles with highly charged surface and with resilient binders. Normal stress distribution within the contact area fluctuates with the binder stiffness coefficient, from a maximum at the center to a maximum at the periphery of the region. Surface heterogeneities result in a diminished adhesion with a distinct reduction in the pull off force, larger separation gap, weaker normal stress and limited area of adhesion. These results are in agreement with the published experimental findings. △ Less

Submitted 9 October, 2015; originally announced October 2015.

Comments: Keywords: Bioadhesion, contact mechanics, surface deformation, binding kinetics, JKR theory, DMT theory. arXiv admin note: text overlap with arXiv:1504.05641

Macroscale boundary conditions for a non-linear heat exchanger

Authors: Chen Chen, A. J. Roberts, J. E. Bunder

Abstract: Multiscale modelling methodologies build macroscale models of materials with complicated fine microscale structure. We propose a methodology to derive boundary conditions for the macroscale model of a prototypical non-linear heat exchanger. The derived macroscale boundary conditions improve the accuracy of macroscale model. We verify the new boundary conditions by numerical methods. The techniques… ▽ More Multiscale modelling methodologies build macroscale models of materials with complicated fine microscale structure. We propose a methodology to derive boundary conditions for the macroscale model of a prototypical non-linear heat exchanger. The derived macroscale boundary conditions improve the accuracy of macroscale model. We verify the new boundary conditions by numerical methods. The techniques developed here can be adapted to a wide range of multiscale reaction-diffusion-advection systems. △ Less

Submitted 6 July, 2015; originally announced July 2015.

Surface deformation and shear flow in ligand mediated cell adhesion

Authors: Sarthok Sircar, Anthony J. Roberts

Abstract: We present a single, unified, multi-scale model to study the attachment\detachment dynamics of two deforming, near spherical cells, coated with binding ligands and subject to a slow, homogeneous shear flow in a viscous fluid medium. The binding ligands on the surface of the cells experience attractive and repulsive forces in an ionic medium and exhibit finite resistance to rotation via bond tiltin… ▽ More We present a single, unified, multi-scale model to study the attachment\detachment dynamics of two deforming, near spherical cells, coated with binding ligands and subject to a slow, homogeneous shear flow in a viscous fluid medium. The binding ligands on the surface of the cells experience attractive and repulsive forces in an ionic medium and exhibit finite resistance to rotation via bond tilting. The macroscale drag forces and couples describing the fluid flow inside the small separation gap between the cells, are calculated using a combination of methods in lubrication theory and previously published numerical results. For a select range of material and fluid parameters, a hysteretic transition of the sticking probability curves between the adhesion and fragmentation domain is attributed to a nonlinear relation between the total microscale binding forces and the separation gap between the cells. We show that adhesion is favored in highly ionic fluids, increased deformability of the cells, elastic binders and a higher fluid shear rate (until a critical value). Continuation of the limit points predict a bistable region, indicating an abrupt switching between the adhesion and fragmentation regimes at critical shear rates, and suggesting that adhesion of two deformable surfaces in shearing fluids may play a significant dynamical role in some cell adhesion applications. △ Less

Submitted 21 April, 2015; originally announced April 2015.

Comments: 23 pages, 11 figures

Accuracy of patch dynamics with mesoscale temporal coupling for efficient exascale simulation

Authors: J. E. Bunder, A. J. Roberts, I. G. Kevrekidis

Abstract: Massive parallelisation has lead to a dramatic increase in available computational power. However, data transfer speeds have failed to keep pace and are the major limiting factor in the development of exascale computing. New algorithms must be developed which minimise the transfer of data. Patch dynamics is a computational macroscale modelling scheme which provides a coarse macroscale solution of… ▽ More Massive parallelisation has lead to a dramatic increase in available computational power. However, data transfer speeds have failed to keep pace and are the major limiting factor in the development of exascale computing. New algorithms must be developed which minimise the transfer of data. Patch dynamics is a computational macroscale modelling scheme which provides a coarse macroscale solution of a problem defined on a fine microscale by dividing the domain into many nonoverlapping, coupled patches. Patch dynamics is readily adaptable to massive parallelisation as each processor can evaluate the dynamics on one, or a few, patches. However, patch coupling conditions interpolate across the unevaluated parts of the domain between patches, and are typically reevaluated at every microscale time step, thus requiring almost continuous data transfer. We propose a modified patch dynamics scheme which minimises data transfer by only reevaluating the patch coupling conditions at `mesoscale' time scales which are significantly larger than the microscale time of the microscale problem. We analyse the error arising from patch dynamics with mesoscale temporal coupling as a function of the mesoscale time interval, patch size, and ratio between the microscale and macroscale. △ Less

Submitted 7 April, 2015; originally announced April 2015.

Ion mediated crosslink driven mucous swelling kinetics

Authors: S. Sircar, A. J. Roberts

Abstract: We present an experimentally guided, multi-phasic, multi-species ionic gel model to compare and make qualitative predictions on the rheology of mucus of healthy individuals (Wild Type) versus those infected with Cystic Fibrosis. The mixture theory consists of the mucus (polymer phase) and water (solvent phase) as well as several different ions: H+, Na+ and Ca++. The model is linearized to study th… ▽ More We present an experimentally guided, multi-phasic, multi-species ionic gel model to compare and make qualitative predictions on the rheology of mucus of healthy individuals (Wild Type) versus those infected with Cystic Fibrosis. The mixture theory consists of the mucus (polymer phase) and water (solvent phase) as well as several different ions: H+, Na+ and Ca++. The model is linearized to study the hydration of spherically symmetric mucus gels and calibrated against the experimental data of mucus diffusivities. Near equilibrium, the linearized form of the equation describing the radial size of the gel, reduces to the well-known expression used in the kinetic theory of swelling hydrogels. Numerical studies reveal that the Donnan potential is the dominating mechanism driving the mucus swelling/deswelling transition. However, the altered swelling kinetics of the Cystic Fibrosis infected mucus is not merely governed by the hydroelectric composition of the swelling media, but also due to the altered movement of electrolytes as well as due to the defective properties of the mucin polymer network. △ Less

Submitted 20 January, 2015; originally announced January 2015.

Comments: 18 pages, 9 figures

Modelling suspended sediment in environmental turbulent fluids

Authors: Meng Cao, A. J. Roberts

Abstract: Modelling sediment transport in environmental turbulent fluids is a challenge. This article develops a sound model of the lateral transport of suspended sediment in environmental fluid flows such as floods and tsunamis. The model is systematically derived from a 3D turbulence model based on the Smagorinski large eddy closure. Embedding the physical dynamics into a family of problems and analysing… ▽ More Modelling sediment transport in environmental turbulent fluids is a challenge. This article develops a sound model of the lateral transport of suspended sediment in environmental fluid flows such as floods and tsunamis. The model is systematically derived from a 3D turbulence model based on the Smagorinski large eddy closure. Embedding the physical dynamics into a family of problems and analysing linear dynamics of the system, centre manifold theory indicates the existence of slow manifold parametrised by macroscale variables. Computer algebra then constructs the slow manifold in terms of fluid depth, depth-averaged lateral velocities, and suspended sediment concentration. The model includes the effects of sediment erosion, advection, dispersion, and also the interactions between the sediment and turbulent fluid flow. Vertical distributions of the velocity and concentration in steady flow agree with the established experimental data. Numerical simulations of the suspended sediment under large waves show that the developed model predicts physically reasonable phenomena. △ Less

Submitted 7 July, 2014; originally announced July 2014.

Comments: 10 figures

Multiscale modelling couples patches of two-layer thin fluid flow

Authors: Meng Cao, A. J. Roberts

Abstract: The multiscale gap-tooth scheme uses a given microscale simulator of complicated physical processes to enable macroscale simulations by computing only only small sparse patches. This article develops the gap-tooth scheme to the case of nonlinear microscale simulations of thin fluid flow. The microscale simulator is derived by artificially assuming the fluid film flow having two artificial layers b… ▽ More The multiscale gap-tooth scheme uses a given microscale simulator of complicated physical processes to enable macroscale simulations by computing only only small sparse patches. This article develops the gap-tooth scheme to the case of nonlinear microscale simulations of thin fluid flow. The microscale simulator is derived by artificially assuming the fluid film flow having two artificial layers but no distinguishing physical feature. Centre manifold theory assures that there exists a slow manifold in the two-layer fluid film flow. Eigenvalue analysis confirms the stability of the microscale simulator. This article uses the gap-tooth scheme to simulate the two-layer fluid film flow. Coupling conditions are developed by approximating the values at the edges of patches by neighbouring macroscale values. Numerical eigenvalue analysis suggests that the gap-tooth scheme with the developed two-layer microscale simulator empowers feasible computation of large scale simulations of fluid film flows. We also implement numerical simulations of the fluid film flow by the gap-tooth scheme. Comparison between a gap-tooth simulation and a microscale simulation over the whole domain demonstrates that the gap-tooth scheme feasibly computes fluid film flow dynamics with computational savings. △ Less

Submitted 27 May, 2014; originally announced May 2014.

Comments: 8 figures and 1 table

Multiscale modelling couples patches of nonlinear wave-like simulations

Authors: Meng Cao, A. J. Roberts

Abstract: The multiscale gap-tooth scheme is built from given microscale simulations of complicated physical processes to empower macroscale simulations. By coupling small patches of simulations over unsimulated physical gaps, large savings in computational time are possible. So far the gap-tooth scheme has been developed for dissipative systems, but wave systems are also of great interest. This article dev… ▽ More The multiscale gap-tooth scheme is built from given microscale simulations of complicated physical processes to empower macroscale simulations. By coupling small patches of simulations over unsimulated physical gaps, large savings in computational time are possible. So far the gap-tooth scheme has been developed for dissipative systems, but wave systems are also of great interest. This article develops the gap-tooth scheme to the case of nonlinear microscale simulations of wave-like systems. Classic macroscale interpolation provides a generic coupling between patches that achieves arbitrarily high order consistency between the multiscale scheme and the underlying microscale dynamics. Eigen-analysis indicates that the resultant gap-tooth scheme empowers feasible computation of large scale simulations of wave-like dynamics with complicated underlying physics. As an pilot study, we implement numerical simulations of dam-breaking waves by the gap-tooth scheme. Comparison between a gap-tooth simulation, a microscale simulation over the whole domain, and some published experimental data on dam breaking, demonstrates that the gap-tooth scheme feasibly computes large scale wave-like dynamics with computational savings. △ Less

Submitted 25 April, 2014; originally announced April 2014.

Comments: 29 pages, 12 figures

Resolution of subgrid microscale interactions enhances the discretisation of nonautonomous partial differential equations

Authors: J. E. Bunder, A. J. Roberts

Abstract: Coarse grained, macroscale, spatial discretisations of nonlinear nonautonomous partial differential\difference equations are given novel support by centre manifold theory. Dividing the physical domain into overlapping macroscale elements empowers the approach to resolve significant subgrid microscale structures and interactions between neighbouring elements. The crucial aspect of this approach is… ▽ More Coarse grained, macroscale, spatial discretisations of nonlinear nonautonomous partial differential\difference equations are given novel support by centre manifold theory. Dividing the physical domain into overlapping macroscale elements empowers the approach to resolve significant subgrid microscale structures and interactions between neighbouring elements. The crucial aspect of this approach is that centre manifold theory organises the resolution of the detailed subgrid microscale structure interacting via the nonlinear dynamics within and between neighbouring elements. The techniques and theory developed here may be applied to soundly discretise on a macroscale many dissipative nonautonomous partial differential\difference equations, such as the forced Burgers' equation, adopted here as an illustrative example. △ Less

Submitted 30 December, 2013; originally announced December 2013.

Comments: arXiv admin note: substantial text overlap with arXiv:math/0601702

Better buffers for patches in macroscale simulation of systems with microscale randomness

Authors: J. E. Bunder, A. J. Roberts, I. G. Kevrekidis

Abstract: We consider one dimensional lattice diffusion model on a microscale grid with many discrete diffusivity values which repeat periodicially. Computer algebra explores how the dynamics of small coupled `patches' predict the slow emergent macroscale dynamics. We optimise the geometry and coupling of patches by comparing the macroscale predictions of the patch solutions with the macroscale solution on… ▽ More We consider one dimensional lattice diffusion model on a microscale grid with many discrete diffusivity values which repeat periodicially. Computer algebra explores how the dynamics of small coupled `patches' predict the slow emergent macroscale dynamics. We optimise the geometry and coupling of patches by comparing the macroscale predictions of the patch solutions with the macroscale solution on the infinite domain, which is derived for a general diffusivity period. The results indicate that patch dynamics is a viable method for numerical macroscale modelling of microscale systems with fine scale roughness. Moreover, the minimal error on the macroscale is generally obtained by coupling patches via `buffers' that are as large as half of each patch. △ Less

Submitted 23 June, 2016; v1 submitted 4 December, 2013; originally announced December 2013.

Center manifolds for infinite dimensional random dynamical systems

Authors: Xiaopeng Chen, Anthony J. Roberts, Jinqiao Duan

Abstract: Stochastic center manifolds theory are crucial in modelling the dynamical behavior of complex systems under stochastic influences. A multiplicative ergodic theorem on Hilbert space is proved to be satisfied to the exponential trichotomy condition. Then the existence of stochastic center manifolds for infinite dimensional random dynamical systems is shown under the assumption of exponential trichot… ▽ More Stochastic center manifolds theory are crucial in modelling the dynamical behavior of complex systems under stochastic influences. A multiplicative ergodic theorem on Hilbert space is proved to be satisfied to the exponential trichotomy condition. Then the existence of stochastic center manifolds for infinite dimensional random dynamical systems is shown under the assumption of exponential trichotomy. The theory provides a support for the discretisations of nonlinear stochastic partial differential equations with space-time white noise. △ Less

Submitted 15 October, 2013; originally announced October 2013.

Comments: 33pages. arXiv admin note: substantial text overlap with arXiv:1210.5924

MSC Class: Primary 37L55; Secondary 37D10

Macroscale, slowly varying, models emerge from the microscale dynamics in long thin domains

Authors: A. J. Roberts

Abstract: Many practical approximations in physics and engineering invoke a relatively long physical domain with a relatively thin cross-section. In this scenario we typically expect the system to have structures that vary slowly in the long dimension. Extant mathematical approximation methodologies are typically self-consistency or limit arguments as the aspect ratio becomes unphysically infinite. The prop… ▽ More Many practical approximations in physics and engineering invoke a relatively long physical domain with a relatively thin cross-section. In this scenario we typically expect the system to have structures that vary slowly in the long dimension. Extant mathematical approximation methodologies are typically self-consistency or limit arguments as the aspect ratio becomes unphysically infinite. The proposed new approach is to analyse the dynamics based at each cross-section in a rigorous Taylor polynomial. Then centre manifold theory supports the local modelling of the system's dynamics with coupling to neighbouring locales treated as a non-autonomous forcing. The union over all cross-sections then provides powerful new support for the existence and emergence of a centre manifold model global in the long domain, albeit finite sized. Our resolution of the coupling between neighbouring locales leads to novel quantitative estimates of the error induced by long slow space variations. Four examples help develop and illustrate the approach and results. The approach developed here may be used to quantify the accuracy of known approximations, to extend such approximations to mixed order modelling, and to open previously intractable modelling issues to new tools and insights. △ Less

Submitted 8 December, 2013; v1 submitted 6 October, 2013; originally announced October 2013.

Numerical integration of ordinary differential equations with rapidly oscillatory factors

Authors: J. E. Bunder, A. J. Roberts

Abstract: We present a methodology for numerically integrating ordinary differential equations containing rapidly oscillatory terms. This challenge is distinct from that for differential equations which have rapidly oscillatory solutions: here the differential equation itself has the oscillatory terms. Our method generalises Filon quadrature for integrals, and is analogous to integral techniques designed to… ▽ More We present a methodology for numerically integrating ordinary differential equations containing rapidly oscillatory terms. This challenge is distinct from that for differential equations which have rapidly oscillatory solutions: here the differential equation itself has the oscillatory terms. Our method generalises Filon quadrature for integrals, and is analogous to integral techniques designed to solve stochastic differential equations and, as such, is applicable to a wide variety of ordinary differential equations with rapidly oscillating factors. The proposed method flexibly achieves varying levels of accuracy depending upon the truncation of the expansion of certain integrals. Users will choose the level of truncation to suit the parameter regime of interest in their numerical integration. △ Less

Submitted 22 May, 2013; originally announced May 2013.

Comments: 25 pages, two figures

Center manifolds for stochastic evolution equations

Authors: Xiaopeng Chen, A. J. Roberts, Jinqiao Duan

Abstract: Stochastic invariant manifolds are crucial in modelling the dynamical behavior of dynamical systems under uncertainty. Under the assumption of exponential trichotomy, existence and smoothness of center manifolds for a class of stochastic evolution equations with linearly multiplicative noise are proved. The exponential attraction and approximation to center manifolds are also discussed. Stochastic invariant manifolds are crucial in modelling the dynamical behavior of dynamical systems under uncertainty. Under the assumption of exponential trichotomy, existence and smoothness of center manifolds for a class of stochastic evolution equations with linearly multiplicative noise are proved. The exponential attraction and approximation to center manifolds are also discussed. △ Less

Submitted 22 October, 2012; originally announced October 2012.

Comments: 33pages

MSC Class: 60H15; 35R60

Modify the Improved Euler scheme to integrate stochastic differential equations

Authors: A. J. Roberts

Abstract: A practical and new Runge--Kutta numerical scheme for stochastic differential equations is explored. Numerical examples demonstrate the strong convergence of the method. The first order strong convergence is then proved using Ito integrals for both Ito and Stratonovich interpretations. As a straightforward modification of the deterministic Improved Euler/Heun method, the method is a good entry lev… ▽ More A practical and new Runge--Kutta numerical scheme for stochastic differential equations is explored. Numerical examples demonstrate the strong convergence of the method. The first order strong convergence is then proved using Ito integrals for both Ito and Stratonovich interpretations. As a straightforward modification of the deterministic Improved Euler/Heun method, the method is a good entry level scheme for stochastic differential equations, especially in conjunction with Higham's introduction [SIAM Review, 43:525--546, 2001]. △ Less

Submitted 2 October, 2012; originally announced October 2012.

Simulating Stochastic Inertial Manifolds by a Backward-Forward Approach

Authors: Xingye Kan, Jinqiao Duan, Ioannis G. Kevrekidis, Anthony J. Roberts

Abstract: A numerical approach for the approximation of inertial manifolds of stochastic evolutionary equations with multiplicative noise is presented and illustrated. After splitting the stochastic evolutionary equations into a backward and a forward part, a numerical scheme is devised for solving this backward-forward stochastic system, and an ensemble of graphs representing the inertial manifold is conse… ▽ More A numerical approach for the approximation of inertial manifolds of stochastic evolutionary equations with multiplicative noise is presented and illustrated. After splitting the stochastic evolutionary equations into a backward and a forward part, a numerical scheme is devised for solving this backward-forward stochastic system, and an ensemble of graphs representing the inertial manifold is consequently obtained. This numerical approach is tested in two illustrative examples: one is for a system of stochastic ordinary differential equations and the other is for a stochastic partial differential equation. △ Less

Submitted 21 June, 2012; originally announced June 2012.

Computer algebra compares the stochastic superslow manifold of an averaged SPDE with that of the original slow-fast SPDE

Authors: A. J. Roberts

Abstract: The computer algebra routines documented here empower you to reproduce and check many of the details described by an article on large deviations for slow-fast stochastic systems [abs:1001.4826]. We consider a 'small' spatial domain with two coupled concentration fields, one governed by a 'slow' reaction-diffusion equation and one governed by a stochastic 'fast' linear equation. In the regime of a… ▽ More The computer algebra routines documented here empower you to reproduce and check many of the details described by an article on large deviations for slow-fast stochastic systems [abs:1001.4826]. We consider a 'small' spatial domain with two coupled concentration fields, one governed by a 'slow' reaction-diffusion equation and one governed by a stochastic 'fast' linear equation. In the regime of a stochastic bifurcation, we derive two superslow models of the dynamics: the first is of the averaged model of the slow dynamics derived via large deviation principles; and the second is of the original fast-slow dynamics. Comparing the two superslow models validates the averaging in the large deviation principle in this parameter regime. △ Less

Submitted 19 April, 2012; originally announced April 2012.

Self similarity and attraction in stochastic nonlinear reaction-diffusion systems

Authors: Wei Wang, A. J. Roberts

Abstract: Similarity solutions play an important role in many fields of science: we consider here similarity in stochastic dynamics. Important issues are not only the existence of stochastic similarity, but also whether a similarity solution is dynamically attractive, and if it is, to what particular solution does the system evolve. By recasting a class of stochastic PDEs in a form to which stochastic centr… ▽ More Similarity solutions play an important role in many fields of science: we consider here similarity in stochastic dynamics. Important issues are not only the existence of stochastic similarity, but also whether a similarity solution is dynamically attractive, and if it is, to what particular solution does the system evolve. By recasting a class of stochastic PDEs in a form to which stochastic centre manifold theory may be applied we resolve these issues in this class. For definiteness, a first example of self-similarity of the Burgers' equation driven by some stochastic forced is studied. Under suitable assumptions, a stationary solution is constructed which yields the existence of a stochastic self-similar solution for the stochastic Burgers' equation. Furthermore, the asymptotic convergence to the self-similar solution is proved. Second, in more general stochastic reaction-diffusion systems stochastic centre manifold theory provides a framework to construct the similarity solution, confirm its relevance, and determines the correct solution for any compact initial condition. Third, we argue that dynamically moving the spatial origin and dynamically stretching time improves the description of the stochastic similarity. Lastly, an application to an extremely simple model of turbulent mixing shows how anomalous fluctuations may arise in eddy diffusivities. The techniques and results we discuss should be applicable to a wide range of stochastic similarity problems. △ Less

Submitted 5 November, 2011; originally announced November 2011.

Comments: 44 pages, embedded movie visible in at least Acrobat Reader

On the approximation for singularly perturbed stochastic wave equations

Authors: Wei Wang, Yan Lv, A. J. Roberts

Abstract: We explore the relation between fast waves, damping and imposed noise for different scalings by considering the singularly perturbed stochastic nonlinear wave equations νu_{tt}+u_t=\D u+f(u)+ν^α\dot{W} on a bounded spatial domain. An asymptotic approximation to the stochastic wave equation is constructed by a special transformation and splitting of $νu_{t}$. This splitting gives a clear descript… ▽ More We explore the relation between fast waves, damping and imposed noise for different scalings by considering the singularly perturbed stochastic nonlinear wave equations νu_{tt}+u_t=\D u+f(u)+ν^α\dot{W} on a bounded spatial domain. An asymptotic approximation to the stochastic wave equation is constructed by a special transformation and splitting of $νu_{t}$. This splitting gives a clear description of the structure of $u$. The approximating model, for small $ν>0$\,, is a stochastic nonlinear heat equation for exponent $0\leqα<1$\,, and is a deterministic nonlinear wave equation for exponent $α>1$\,. △ Less

Submitted 14 September, 2011; originally announced September 2011.

Comments: 11 pages

Averaging approximation to singularly perturbed nonlinear stochastic wave equations

Authors: Yan Lv, A. J. Roberts

Abstract: An averaging method is applied to derive effective approximation to the following singularly perturbed nonlinear stochastic damped wave equation νu_{tt}+u_t=\D u+f(u)+ν^α\dot{W} on an open bounded domain $D\subset\R^n$\,, $1\leq n\leq 3$\,. Here $ν>0$ is a small parameter characterising the singular perturbation, and $ν^α$\,, $0\leq α\leq 1/2$\,, parametrises the strength of the noise. Some scalin… ▽ More An averaging method is applied to derive effective approximation to the following singularly perturbed nonlinear stochastic damped wave equation νu_{tt}+u_t=\D u+f(u)+ν^α\dot{W} on an open bounded domain $D\subset\R^n$\,, $1\leq n\leq 3$\,. Here $ν>0$ is a small parameter characterising the singular perturbation, and $ν^α$\,, $0\leq α\leq 1/2$\,, parametrises the strength of the noise. Some scaling transformations and the martingale representation theorem yield the following effective approximation for small $ν$, u_t=\D u+f(u)+ν^α\dot{W} to an error of $\ord{ν^α}$\,. △ Less

Submitted 21 July, 2011; originally announced July 2011.

Comments: 16 pages. Submitted

Accurate macroscale modelling of spatial dynamics in multiple dimensions

Authors: A. J. Roberts, Tony MacKenzie, J. E. Bunder

Abstract: Developments in dynamical systems theory provides new support for the macroscale modelling of pdes and other microscale systems such as Lattice Boltzmann, Monte Carlo or Molecular Dynamics simulators. By systematically resolving subgrid microscale dynamics the dynamical systems approach constructs accurate closures of macroscale discretisations of the microscale system. Here we specifically explor… ▽ More Developments in dynamical systems theory provides new support for the macroscale modelling of pdes and other microscale systems such as Lattice Boltzmann, Monte Carlo or Molecular Dynamics simulators. By systematically resolving subgrid microscale dynamics the dynamical systems approach constructs accurate closures of macroscale discretisations of the microscale system. Here we specifically explore reaction-diffusion problems in two spatial dimensions as a prototype of generic systems in multiple dimensions. Our approach unifies into one the modelling of systems by a type of finite elements, and the `equation free' macroscale modelling of microscale simulators efficiently executing only on small patches of the spatial domain. Centre manifold theory ensures that a closed model exist on the macroscale grid, is emergent, and is systematically approximated. Dividing space either into overlapping finite elements or into spatially separated small patches, the specially crafted inter-element/patch coupling also ensures that the constructed discretisations are consistent with the microscale system/PDE to as high an order as desired. Computer algebra handles the considerable algebraic details as seen in the specific application to the Ginzburg--Landau PDE. However, higher order models in multiple dimensions require a mixed numerical and algebraic approach that is also developed. The modelling here may be straightforwardly adapted to a wide class of reaction-diffusion PDEs and lattice equations in multiple space dimensions. When applied to patches of microscopic simulations our coupling conditions promise efficient macroscale simulation. △ Less

Submitted 16 January, 2012; v1 submitted 6 March, 2011; originally announced March 2011.

Comments: some figures with 3D interaction when viewed in Acrobat Reader. arXiv admin note: substantial text overlap with arXiv:0904.0855

Computer algebra derives the slow manifold of patch or element dynamics on lattices in two dimensions

Authors: Tony MacKenzie, A. J. Roberts

Abstract: Developments in dynamical systems theory provides new support for the discretisation of \pde{}s and other microscale systems. Here we explore the methodology applied to the gap-tooth scheme in the equation-free approach of Kevrekidis in two spatial dimensions. The algebraic detail is enormous so we detail computer algebra procedures to handle the enormity. However, modelling the dynamics on 2D spa… ▽ More Developments in dynamical systems theory provides new support for the discretisation of \pde{}s and other microscale systems. Here we explore the methodology applied to the gap-tooth scheme in the equation-free approach of Kevrekidis in two spatial dimensions. The algebraic detail is enormous so we detail computer algebra procedures to handle the enormity. However, modelling the dynamics on 2D spatial patches appears to require a mixed numerical and algebraic approach that is detailed in this report. Being based upon the computation of residuals, the procedures here may be simply adapted to a wide class of reaction-diffusion equations. △ Less

Submitted 10 February, 2011; originally announced February 2011.

Macroscopic discrete modelling of stochastic reaction-diffusion equations on a periodic domain

Authors: Wei Wang, A. J. Roberts

Abstract: Dynamical systems theory provides powerful methods to extract effective macroscopic dynamics from complex systems with slow modes and fast modes. Here we derive and theoretically support a macroscopic, spatially discrete, model for a class of stochastic reaction-diffusion partial differential equations with cubic nonlinearity. Dividing space into overlapping finite elements, a special coupling con… ▽ More Dynamical systems theory provides powerful methods to extract effective macroscopic dynamics from complex systems with slow modes and fast modes. Here we derive and theoretically support a macroscopic, spatially discrete, model for a class of stochastic reaction-diffusion partial differential equations with cubic nonlinearity. Dividing space into overlapping finite elements, a special coupling condition between neighbouring elements preserves the self-adjoint dynamics and controls interelement interactions. When the interelement coupling parameter is small, an averaging method and an asymptotic expansion of the slow modes show that the macroscopic discrete model will be a family of coupled stochastic ordinary differential equations which describe the evolution of the grid values. This modelling shows the importance of subgrid scale interaction between noise and spatial diffusion and provides a new rigourous approach to constructing semi-discrete approximations to stochastic reaction-diffusion partial differential equations. △ Less

Submitted 11 March, 2010; originally announced March 2010.

Comments: 25 pages

Large deviations for slow-fast stochastic partial differential equations

Authors: Wei Wang, A. J. Roberts, Jinqiao Duan

Abstract: A large deviation principle is derived for stochastic partial differential equations with slow-fast components. The result shows that the rate function is exactly that of the averaged equation plus the fluctuating deviation which is a stochastic partial differential equation with small Gaussian perturbation. This also confirms the effectiveness of the approximation of the averaged equation plus… ▽ More A large deviation principle is derived for stochastic partial differential equations with slow-fast components. The result shows that the rate function is exactly that of the averaged equation plus the fluctuating deviation which is a stochastic partial differential equation with small Gaussian perturbation. This also confirms the effectiveness of the approximation of the averaged equation plus the fluctuating deviation to the slow-fast stochastic partial differential equations. △ Less

Submitted 26 January, 2010; originally announced January 2010.

Comments: 30 pages

MSC Class: 34c15

Average and deviation for slow-fast stochastic partial differential equations

Authors: W. Wang, A. J. Roberts

Abstract: Averaging is an important method to extract effective macroscopic dynamics from complex systems with slow modes and fast modes. This article derives an averaged equation for a class of stochastic partial differential equations without any Lipschitz assumption on the slow modes. The rate of convergence in probability is obtained as a byproduct. Importantly, the deviation between the original equa… ▽ More Averaging is an important method to extract effective macroscopic dynamics from complex systems with slow modes and fast modes. This article derives an averaged equation for a class of stochastic partial differential equations without any Lipschitz assumption on the slow modes. The rate of convergence in probability is obtained as a byproduct. Importantly, the deviation between the original equation and the averaged equation is also studied. A martingale approach proves that the deviation is described by a Gaussian process. This gives an approximation to errors of $\mathcal{O}(\e)$ instead of $\mathcal{O}(\sqrt{\e})$ attained in previous averaging. △ Less

Submitted 9 April, 2009; originally announced April 2009.

Comments: 22 pages, 5 figures