-
Manifold learning for parameter reduction
Authors:
Alexander Holiday,
Mahdi Kooshkbaghi,
Juan M. Bello-Rivas,
C. William Gear,
Antonios Zagaris,
Ioannis G. Kevrekidis
Abstract:
Large scale dynamical systems (e.g. many nonlinear coupled differential equations) can often be summarized in terms of only a few state variables (a few equations), a trait that reduces complexity and facilitates exploration of behavioral aspects of otherwise intractable models. High model dimensionality and complexity makes symbolic, pen--and--paper model reduction tedious and impractical, a diff…
▽ More
Large scale dynamical systems (e.g. many nonlinear coupled differential equations) can often be summarized in terms of only a few state variables (a few equations), a trait that reduces complexity and facilitates exploration of behavioral aspects of otherwise intractable models. High model dimensionality and complexity makes symbolic, pen--and--paper model reduction tedious and impractical, a difficulty addressed by recently developed frameworks that computerize reduction. Symbolic work has the benefit, however, of identifying both reduced state variables and parameter combinations that matter most (effective parameters, "inputs"); whereas current computational reduction schemes leave the parameter reduction aspect mostly unaddressed. As the interest in map** out and optimizing complex input--output relations keeps growing, it becomes clear that combating the curse of dimensionality also requires efficient schemes for input space exploration and reduction. Here, we explore systematic, data-driven parameter reduction by means of effective parameter identification, starting from current nonlinear manifold-learning techniques enabling state space reduction. Our approach aspires to extend the data-driven determination of effective state variables with the data-driven discovery of effective model parameters, and thus to accelerate the exploration of high-dimensional parameter spaces associated with complex models.
△ Less
Submitted 11 November, 2018; v1 submitted 22 July, 2018;
originally announced July 2018.
-
Coarse-Grained Descriptions of Dynamics for Networks with both Intrinsic and Structural Heterogeneities
Authors:
Tom Bertalan,
Yan Wu,
Carlo Laing,
C. William Gear,
Ioannis G. Kevrekidis
Abstract:
Finding accurate reduced descriptions for large, complex, dynamically evolving networks is a crucial enabler to their simulation, analysis, and, ultimately, design. Here we propose and illustrate a systematic and powerful approach to obtaining good collective coarse-grained observables-- variables successfully summarizing the detailed state of such networks. Finding such variables can naturally le…
▽ More
Finding accurate reduced descriptions for large, complex, dynamically evolving networks is a crucial enabler to their simulation, analysis, and, ultimately, design. Here we propose and illustrate a systematic and powerful approach to obtaining good collective coarse-grained observables-- variables successfully summarizing the detailed state of such networks. Finding such variables can naturally lead to successful reduced dynamic models for the networks. The main premise enabling our approach is the assumption that the behavior of a node in the network depends (after a short initial transient) on the node identity: a set of descriptors that quantify the node properties, whether intrinsic (e.g. parameters in the node evolution equations) or structural (imparted to the node by its connectivity in the particular network structure). The approach creates a natural link with modeling and "computational enabling technology" developed in the context of Uncertainty Quantification. In our case, however, we will not focus on ensembles of different realizations of a problem, each with parameters randomly selected from a distribution. We will instead study many coupled heterogeneous units, each characterized by randomly assigned (heterogeneous) parameter value(s). One could then coin the term Heterogeneity Quantification for this approach, which we illustrate through a model dynamic network consisting of coupled oscillators with one intrinsic heterogeneity (oscillator individual frequency) and one structural heterogeneity (oscillator degree in the undirected network). The computational implementation of the approach, its shortcomings and possible extensions are also discussed.
△ Less
Submitted 28 April, 2017;
originally announced May 2017.
-
iMapD: intrinsic Map Dynamics exploration for uncharted effective free energy landscapes
Authors:
Eliodoro Chiavazzo,
Ronald R. Coifman,
Roberto Covino,
C. William Gear,
Anastasia S. Georgiou,
Gerhard Hummer,
Ioannis G. Kevrekidis
Abstract:
We describe and implement iMapD, a computer-assisted approach for accelerating the exploration of uncharted effective Free Energy Surfaces (FES), and more generally for the extraction of coarse-grained, macroscopic information from atomistic or stochastic (here Molecular Dynamics, MD) simulations. The approach functionally links the MD simulator with nonlinear manifold learning techniques. The add…
▽ More
We describe and implement iMapD, a computer-assisted approach for accelerating the exploration of uncharted effective Free Energy Surfaces (FES), and more generally for the extraction of coarse-grained, macroscopic information from atomistic or stochastic (here Molecular Dynamics, MD) simulations. The approach functionally links the MD simulator with nonlinear manifold learning techniques. The added value comes from biasing the simulator towards new, unexplored phase space regions by exploiting the smoothness of the (gradually, as the exploration progresses) revealed intrinsic low-dimensional geometry of the FES.
△ Less
Submitted 31 December, 2016;
originally announced January 2017.
-
Data-Driven Reduction for Multiscale Stochastic Dynamical Systems
Authors:
Carmeline J. Dsilva,
Ronen Talmon,
C. William Gear,
Ronald R. Coifman,
Ioannis G. Kevrekidis
Abstract:
Multiple time scale stochastic dynamical systems are ubiquitous in science and engineering, and the reduction of such systems and their models to only their slow components is often essential for scientific computation and further analysis. Rather than being available in the form of an explicit analytical model, often such systems can only be observed as a data set which exhibits dynamics on sever…
▽ More
Multiple time scale stochastic dynamical systems are ubiquitous in science and engineering, and the reduction of such systems and their models to only their slow components is often essential for scientific computation and further analysis. Rather than being available in the form of an explicit analytical model, often such systems can only be observed as a data set which exhibits dynamics on several time scales. We will focus on applying and adapting data mining and manifold learning techniques to detect the slow components in such multiscale data. Traditional data mining methods are based on metrics (and thus, geometries) which are not informed of the multiscale nature of the underlying system dynamics; such methods cannot successfully recover the slow variables. Here, we present an approach which utilizes both the local geometry and the local dynamics within the data set through a metric which is both insensitive to the fast variables and more general than simple statistical averaging. Our analysis of the approach provides conditions for successfully recovering the underlying slow variables, as well as an empirical protocol guiding the selection of the method parameters.
△ Less
Submitted 21 January, 2015;
originally announced January 2015.
-
On the acceleration of spatially distributed agent-based computations: a patch dynamics scheme
Authors:
** Liu,
Giovanni Samaey,
C. William Gear,
Ioannis G. Kevrekidis
Abstract:
In recent years, individual-based/agent-based modeling has been applied to study a wide range of applications, ranging from engineering problems to phenomena in sociology, economics and biology. Simulating such agent-based models over extended spatiotemporal domains can be prohibitively expensive due to stochasticity and the presence of multiple scales. Nevertheless, many agent-based problems exhi…
▽ More
In recent years, individual-based/agent-based modeling has been applied to study a wide range of applications, ranging from engineering problems to phenomena in sociology, economics and biology. Simulating such agent-based models over extended spatiotemporal domains can be prohibitively expensive due to stochasticity and the presence of multiple scales. Nevertheless, many agent-based problems exhibit smooth behavior in space and time on a macroscopic scale, suggesting that a useful coarse-grained continuum model could be obtained. For such problems, the equation-free framework [16-18] can significantly reduce the computational cost. Patch dynamics is an essential component of this framework. This scheme is designed to perform numerical simulations of an unavailable macroscopic equation on macroscopic time and length scales; it uses appropriately initialized simulations of the fine-scale agent-based model in a number of small "patches", which cover only a fraction of the spatiotemporal domain. In this work, we construct a finite-volume-inspired conservative patch dynamics scheme and apply it to a financial market agent-based model based on the work of Omurtag and Sirovich [22]. We first apply our patch dynamics scheme to a continuum approximation of the agent-based model, to study its performance and analyze its accuracy. We then apply the scheme to the agent-based model itself. Our computational experiments indicate that here, typically, the patch dynamics-based simulation requires only 20% of the full agent-based simulation in space, and need occur over only 10% of the temporal domain.
△ Less
Submitted 28 April, 2014;
originally announced April 2014.
-
Reduced models in chemical kinetics via nonlinear data-mining
Authors:
Eliodoro Chiavazzo,
C. William Gear,
Carmeline J. Dsilva,
Neta Rabin,
Ioannis G. Kevrekidis
Abstract:
The adoption of detailed mechanisms for chemical kinetics often poses two types of severe challenges: First, the number of degrees of freedom is large; and second, the dynamics is characterized by widely disparate time scales. As a result, reactive flow solvers with detailed chemistry often become intractable even for large clusters of CPUs, especially when dealing with direct numerical simulation…
▽ More
The adoption of detailed mechanisms for chemical kinetics often poses two types of severe challenges: First, the number of degrees of freedom is large; and second, the dynamics is characterized by widely disparate time scales. As a result, reactive flow solvers with detailed chemistry often become intractable even for large clusters of CPUs, especially when dealing with direct numerical simulation (DNS) of turbulent combustion problems. This has motivated the development of several techniques for reducing the complexity of such kinetics models, where eventually only a few variables are considered in the development of the simplified model. Unfortunately, no generally applicable a priori recipe for selecting suitable parameterizations of the reduced model is available, and the choice of slow variables often relies upon intuition and experience. We present an automated approach to this task, consisting of three main steps. First, the low dimensional manifold of slow motions is (approximately) sampled by brief simulations of the detailed model, starting from a rich enough ensemble of admissible initial conditions. Second, a global parameterization of the manifold is obtained through the Diffusion Map (DMAP) approach, which has recently emerged as a powerful tool in data analysis/machine learning. Finally, a simplified model is constructed and solved on the fly in terms of the above reduced (slow) variables. Clearly, closing this latter model requires nontrivial interpolation calculations, enabling restriction (map** from the full ambient space to the reduced one) and lifting (map** from the reduced space to the ambient one). This is a key step in our approach, and a variety of interpolation schemes are reported and compared. The scope of the proposed procedure is presented and discussed by means of an illustrative combustion example.
△ Less
Submitted 25 July, 2013;
originally announced July 2013.
-
Parameterization of non-linear manifolds
Authors:
C. W. Gear
Abstract:
In this report we consider the parameterization of low-dimensional manifolds that are specified (approximately) by a set of points very close to the manifold in the original high-dimensional space. Our objective is to obtain a parameterization that is (1-1) and non singular (in the sense that the Jacobian of the map between the manifold and the parameter space is bounded and non singular).
In this report we consider the parameterization of low-dimensional manifolds that are specified (approximately) by a set of points very close to the manifold in the original high-dimensional space. Our objective is to obtain a parameterization that is (1-1) and non singular (in the sense that the Jacobian of the map between the manifold and the parameter space is bounded and non singular).
△ Less
Submitted 8 April, 2013; v1 submitted 26 August, 2012;
originally announced August 2012.
-
Manifold learning techniques and model reduction applied to dissipative PDEs
Authors:
Benjamin E. Sonday,
Amit Singer,
C. William Gear,
Ioannis G. Kevrekidis
Abstract:
We link nonlinear manifold learning techniques for data analysis/compression with model reduction techniques for evolution equations with time scale separation. In particular, we demonstrate a `"nonlinear extension" of the POD-Galerkin approach to obtaining reduced dynamic models of dissipative evolution equations. The approach is illustrated through a reaction-diffusion PDE, and the performance o…
▽ More
We link nonlinear manifold learning techniques for data analysis/compression with model reduction techniques for evolution equations with time scale separation. In particular, we demonstrate a `"nonlinear extension" of the POD-Galerkin approach to obtaining reduced dynamic models of dissipative evolution equations. The approach is illustrated through a reaction-diffusion PDE, and the performance of different simulators on the full and the reduced models is compared. We also discuss the relation of this nonlinear extension with the so-called "nonlinear Galerkin" methods developed in the context of Approximate Inertial Manifolds.
△ Less
Submitted 23 November, 2010;
originally announced November 2010.
-
Analysis and Computation of a Discrete KdV-Burgers Type Equation with Fast Dispersion and Slow Diffusion
Authors:
Zvi Artstein,
C. William Gear,
Ioannis G. Kevrekidis,
Marshall Slemrod,
Edriss S. Titi
Abstract:
The long time behavior of the dynamics of a fast-slow system of ordinary differential equations is examined. The system is derived from a spatial discretization of a Korteweg-de Vries-Burgers type equation, with fast dispersion and slow diffusion. The discretization is based on a model developed by Goodman and Lax, that is composed of a fast system drifted by a slow forcing term. A natural split…
▽ More
The long time behavior of the dynamics of a fast-slow system of ordinary differential equations is examined. The system is derived from a spatial discretization of a Korteweg-de Vries-Burgers type equation, with fast dispersion and slow diffusion. The discretization is based on a model developed by Goodman and Lax, that is composed of a fast system drifted by a slow forcing term. A natural split to fast and slow state variables is, however, not available. Our approach views the limit behavior as an invariant measure of the fast motion drifted by the slow component, where the known constants of motion of the fast system are employed as slowly evolving observables; averaging equations for the latter lead to computation of characteristic features of the motion. Such computations are presented in the paper.
△ Less
Submitted 19 August, 2009;
originally announced August 2009.
-
Analysis of the accuracy and convergence of equation-free projection to a slow manifold
Authors:
A. Zagaris,
C. W. Gear,
T. J. Kaper,
I. G. Kevrekidis
Abstract:
In [C.W. Gear, T.J. Kaper, I.G. Kevrekidis, and A. Zagaris, Projecting to a Slow Manifold: Singularly Perturbed Systems and Legacy Codes, SIAM J. Appl. Dyn. Syst. 4 (2005) 711-732], we developed a class of iterative algorithms within the context of equation-free methods to approximate low-dimensional, attracting, slow manifolds in systems of differential equations with multiple time scales. For…
▽ More
In [C.W. Gear, T.J. Kaper, I.G. Kevrekidis, and A. Zagaris, Projecting to a Slow Manifold: Singularly Perturbed Systems and Legacy Codes, SIAM J. Appl. Dyn. Syst. 4 (2005) 711-732], we developed a class of iterative algorithms within the context of equation-free methods to approximate low-dimensional, attracting, slow manifolds in systems of differential equations with multiple time scales. For user-specified values of a finite number of the observables, the m-th member of the class of algorithms (m = 0, 1, ...) finds iteratively an approximation of the appropriate zero of the (m+1)-st time derivative of the remaining variables and uses this root to approximate the location of the point on the slow manifold corresponding to these values of the observables. This article is the first of two articles in which the accuracy and convergence of the iterative algorithms are analyzed. Here, we work directly with explicit fast--slow systems, in which there is an explicit small parameter, epsilon, measuring the separation of time scales. We show that, for each m = 0, 1, ..., the fixed point of the iterative algorithm approximates the slow manifold up to and including terms of O(epsilon^m). Moreover, for each m, we identify explicitly the conditions under which the m-th iterative algorithm converges to this fixed point. Finally, we show that when the iteration is unstable (or converges slowly) it may be stabilized (or its convergence may be accelerated) by application of the Recursive Projection Method. Alternatively, the Newton-Krylov Generalized Minimal Residual Method may be used. In the subsequent article, we will consider the accuracy and convergence of the iterative algorithms for a broader class of systems-in which there need not be an explicit small parameter-to which the algorithms also apply.
△ Less
Submitted 11 July, 2007;
originally announced July 2007.
-
Projective and Coarse Projective Integration for Problems with Continuous Symmetries
Authors:
Michail E. Kavousanakis,
Radek Erban,
Andreas G. Boudouvis,
C. William Gear,
Ioannis G. Kevrekidis
Abstract:
Temporal integration of equations possessing continuous symmetries (e.g. systems with translational invariance associated with traveling solutions and scale invariance associated with self-similar solutions) in a ``co-evolving'' frame (i.e. a frame which is co-traveling, co-collapsing or co-exploding with the evolving solution) leads to improved accuracy because of the smaller time derivative in…
▽ More
Temporal integration of equations possessing continuous symmetries (e.g. systems with translational invariance associated with traveling solutions and scale invariance associated with self-similar solutions) in a ``co-evolving'' frame (i.e. a frame which is co-traveling, co-collapsing or co-exploding with the evolving solution) leads to improved accuracy because of the smaller time derivative in the new spatial frame. The slower time behavior permits the use of {\it projective} and {\it coarse projective} integration with longer projective steps in the computation of the time evolution of partial differential equations and multiscale systems, respectively. These methods are also demonstrated to be effective for systems which only approximately or asymptotically possess continuous symmetries. The ideas of projective integration in a co-evolving frame are illustrated on the one-dimensional, translationally invariant Nagumo partial differential equation (PDE). A corresponding kinetic Monte Carlo model, motivated from the Nagumo kinetics, is used to illustrate the coarse-grained method. A simple, one-dimensional diffusion problem is used to illustrate the scale invariant case. The efficiency of projective integration in the co-evolving frame for both the macroscopic diffusion PDE and for a random-walker particle based model is again demonstrated.
△ Less
Submitted 4 August, 2006;
originally announced August 2006.
-
Projecting to a Slow Manifold: Singularly Perturbed Systems and Legacy Codes
Authors:
C. W. Gear,
T. J. Kaper,
I. G. Kevrekidis,
A. Zagaris
Abstract:
The long-term dynamics of many dynamical systems evolve on an attracting, invariant "slow manifold" that can be parameterized by a few observable variables. Yet a simulation using the full model of the problem requires initial values for all variables. Given a set of values for the observables parameterizing the slow manifold, one needs a procedure for finding the additional values such that the…
▽ More
The long-term dynamics of many dynamical systems evolve on an attracting, invariant "slow manifold" that can be parameterized by a few observable variables. Yet a simulation using the full model of the problem requires initial values for all variables. Given a set of values for the observables parameterizing the slow manifold, one needs a procedure for finding the additional values such that the state is close to the slow manifold to some desired accuracy. We consider problems whose solution has a singular perturbation expansion, although we do not know what it is nor have any way to compute it. We show in this paper that, under some conditions, computing the values of the remaining variables so that their (m+1)-st time derivatives are zero provides an estimate of the unknown variables that is an mth-order approximation to a point on the slow manifold in sense to be defined. We then show how this criterion can be applied approximately when the system is defined by a legacy code rather than directly through closed form equations.
△ Less
Submitted 14 May, 2004;
originally announced May 2004.
-
From molecular dynamics to coarse self-similar solutions: A simple example using equation-free computation
Authors:
L. Chen,
P. G. Debenedetti,
C. W. Gear,
I. G. Kevrekidis
Abstract:
In the context of the recently developed "equation-free" approach to the computer-assisted analysis of complex systems, we illustrate the computation of coarsely self-similar solutions. Dynamic renormalization and fixed point algorithms for the macroscopic density dynamics are applied to the results of short bursts of appropriately initialized molecular dynamics in a simple diffusion simulation.…
▽ More
In the context of the recently developed "equation-free" approach to the computer-assisted analysis of complex systems, we illustrate the computation of coarsely self-similar solutions. Dynamic renormalization and fixed point algorithms for the macroscopic density dynamics are applied to the results of short bursts of appropriately initialized molecular dynamics in a simple diffusion simulation. The approach holds promise for locating coarse self-similar solutions and the corresponding exponents in a variety of multiscale computational contexts.
△ Less
Submitted 24 December, 2003;
originally announced December 2003.
-
Constraint-defined Manifolds: a Legacy Code Approach to Low-dimensional Computation
Authors:
C. W. Gear,
I. G. Kevrekidis
Abstract:
If the dynamics of an evolutionary differential equation system possess a low-dimensional, attracting, slow manifold, there are many advantages to using this manifold to perform computations for long term dynamics, locating features such as stationary points, limit cycles, or bifurcations. Approximating the slow manifold, however, may be computationally as challenging as the original problem. If…
▽ More
If the dynamics of an evolutionary differential equation system possess a low-dimensional, attracting, slow manifold, there are many advantages to using this manifold to perform computations for long term dynamics, locating features such as stationary points, limit cycles, or bifurcations. Approximating the slow manifold, however, may be computationally as challenging as the original problem. If the system is defined by a legacy simulation code or a microscopic simulator, it may be impossible to perform the manipulations needed to directly approximate the slow manifold. In this paper we demonstrate that with the knowledge only of a set of ``slow'' variables that can be used to {\it parameterize} the slow manifold, we can conveniently compute, using a legacy simulator, on a nearby manifold. Forward and reverse integration, as well as the location of fixed points are illustrated for a discretization of the Chafee-Infante PDE for parameter values for which an Inertial Manifold is known to exist, and can be used to validate the computational results.
△ Less
Submitted 15 December, 2003;
originally announced December 2003.
-
Equation-free modeling of evolving diseases: Coarse-grained computations with individual-based models
Authors:
Jaime Cisternas,
C. William Gear,
Simon Levin,
Ioannis G. Kevrekidis
Abstract:
We demonstrate how direct simulation of stochastic, individual-based models can be combined with continuum numerical analysis techniques to study the dynamics of evolving diseases. % Sidestep** the necessity of obtaining explicit population-level models, the approach analyzes the (unavailable in closed form) `coarse' macroscopic equations, estimating the necessary quantities through appropriat…
▽ More
We demonstrate how direct simulation of stochastic, individual-based models can be combined with continuum numerical analysis techniques to study the dynamics of evolving diseases. % Sidestep** the necessity of obtaining explicit population-level models, the approach analyzes the (unavailable in closed form) `coarse' macroscopic equations, estimating the necessary quantities through appropriately initialized, short `bursts' of individual-based dynamic simulation. % We illustrate this approach by analyzing a stochastic and discrete model for the evolution of disease agents caused by point mutations within individual hosts. % Building up from classical SIR and SIRS models, our example uses a one-dimensional lattice for variant space, and assumes a finite number of individuals. % Macroscopic computational tasks enabled through this approach include stationary state computation, coarse projective integration, parametric continuation and stability analysis.
△ Less
Submitted 9 October, 2003;
originally announced October 2003.
-
Application of Coarse Integration to Bacterial Chemotaxis
Authors:
S. Setayeshgar,
C. W. Gear,
H. G. Othmer,
I. G. Kevrekidis
Abstract:
We have developed and implemented a numerical evolution scheme for a class of stochastic problems in which the temporal evolution occurs on widely-separated time scales, and for which the slow evolution can be described in terms of a small number of moments of an underlying probability distribution. We demonstrate this method via a numerical simulation of chemotaxis in a population of motile, in…
▽ More
We have developed and implemented a numerical evolution scheme for a class of stochastic problems in which the temporal evolution occurs on widely-separated time scales, and for which the slow evolution can be described in terms of a small number of moments of an underlying probability distribution. We demonstrate this method via a numerical simulation of chemotaxis in a population of motile, independent bacteria swimming in a prescribed gradient of a chemoattractant. The microscopic stochastic model, which is simulated using a Monte Carlo method, uses a simplified deterministic model for excitation/adaptation in signal transduction, coupled to a realistic, stochastic description of the flagellar motor. We show that projective time integration of ``coarse'' variables can be carried out on time scales long compared to that of the microscopic dynamics. Our coarse description is based on the spatial cell density distribution. Thus we are assuming that the system ``closes'' on this variable so that it can be described on long time scales solely by the spatial cell density. Computationally the variables are the components of the density distribution expressed in terms of a few basis functions, given by the singular vectors of the spatial density distribution obtained from a sample Monte Carlo time evolution of the system. We present numerical results and analysis of errors in support of the efficacy of this time-integration scheme.
△ Less
Submitted 10 August, 2003;
originally announced August 2003.
-
Coarse Projective kMC Integration: Forward/Reverse Initial and Boundary Value Problems
Authors:
R. Rico-Martinez,
C. W. Gear,
I. G. Kevrekidis
Abstract:
In "equation-free" multiscale computation a dynamic model is given at a fine, microscopic level; yet we believe that its coarse-grained, macroscopic dynamics can be described by closed equations involving only coarse variables. These variables are typically various low-order moments of the distributions evolved through the microscopic model. We consider the problem of integrating these unavailab…
▽ More
In "equation-free" multiscale computation a dynamic model is given at a fine, microscopic level; yet we believe that its coarse-grained, macroscopic dynamics can be described by closed equations involving only coarse variables. These variables are typically various low-order moments of the distributions evolved through the microscopic model. We consider the problem of integrating these unavailable equations by acting directly on kinetic Monte Carlo microscopic simulators, thus circumventing their derivation in closed form. In particular, we use projective multi-step integration to solve the coarse initial value problem forward in time as well as backward in time (under certain conditions). Macroscopic trajectories are thus traced back to unstable, source-type, and even sometimes saddle-like stationary points, even though the microscopic simulator only evolves forward in time. We also demonstrate the use of such projective integrators in a shooting boundary value problem formulation for the computation of "coarse limit cycles" of the macroscopic behavior, and the approximation of their stability through estimates of the leading "coarse Floquet multipliers".
△ Less
Submitted 9 July, 2003;
originally announced July 2003.
-
The Gap-Tooth Method in Particle Simulations
Authors:
C. William Gear,
Ju Li,
Ioannis G. Kevrekidis
Abstract:
We explore the gap-tooth method for multiscale modeling of systems represented by microscopic physics-based simulators, when coarse-grained evolution equations are not available in closed form. A biased random walk particle simulation, motivated by the viscous Burgers equation, serves as an example. We construct macro-to-micro (lifting) and micro-to-macro (restriction) operators, and drive the c…
▽ More
We explore the gap-tooth method for multiscale modeling of systems represented by microscopic physics-based simulators, when coarse-grained evolution equations are not available in closed form. A biased random walk particle simulation, motivated by the viscous Burgers equation, serves as an example. We construct macro-to-micro (lifting) and micro-to-macro (restriction) operators, and drive the coarse time-evolution by particle simulations in appropriately coupled microdomains (teeth) separated by large spatial gaps. A macroscopically interpolative mechanism for communication between the teeth at the particle level is introduced. The results demonstrate the feasibility of a closure-on-demand approach to solving hydrodynamics problems.
△ Less
Submitted 3 March, 2003; v1 submitted 3 March, 2003;
originally announced March 2003.
-
Reverse Integration for Computing Stationary Points of Unstable Stiff Systems
Authors:
C. W. Gear,
Ioannis Kevrekidis
Abstract:
Using existing, forward-in-time integration schemes, we demonstrate that it is possible to compute unstable, saddle-type fixed points of stiff systems of ODEs when the stable compenents are fast (i.e., rapidly damped) while the unstable components are slow. The approach has implications for the reverse (backward in time) integration of such stiff systems, and for the coarse reverse integration o…
▽ More
Using existing, forward-in-time integration schemes, we demonstrate that it is possible to compute unstable, saddle-type fixed points of stiff systems of ODEs when the stable compenents are fast (i.e., rapidly damped) while the unstable components are slow. The approach has implications for the reverse (backward in time) integration of such stiff systems, and for the coarse reverse integration of microscopic/stochastic simulations.
△ Less
Submitted 24 February, 2003;
originally announced February 2003.
-
Deciding the Nature of the "Coarse Equation" through Microscopic Simulations: the Baby-Bathwater Scheme
Authors:
Ju Li,
Panayotis G. Kevrekidis,
C. William Gear,
Ioannis G. Kevrekidis
Abstract:
Recent developments in multiscale computation allow the solution of ``coarse equations'' for the expected macroscopic behavior of microscopically/stochastically evolving particle distributions without ever obtaining these coarse equations in closed form. The closure is obtained ``on demand'' through appropriately initialized bursts of microscopic simulation. The effective coupling of microscopic…
▽ More
Recent developments in multiscale computation allow the solution of ``coarse equations'' for the expected macroscopic behavior of microscopically/stochastically evolving particle distributions without ever obtaining these coarse equations in closed form. The closure is obtained ``on demand'' through appropriately initialized bursts of microscopic simulation. The effective coupling of microscopic simulators with macrosocopic behavior embodied in this approach requires certain decisions about the nature of the unavailable ``coarse equation''. Such decisions include (a) the determination of the highest spatial derivative active in the equation, (b) whether the coarse equation satisfies certain conservation laws, and (c) whether the coarse dynamics is Hamiltonian. These decisions affect the number and type of boundary conditions as well as the nature of the algorithms employed in good solution practice. In the absence of an explicit formula for the temporal derivative, we propose, implement and validate a simple scheme for deciding these and other similar questions about the coarse equation using only the microscopic simulator. Microscopic simulations under periodic boundary conditions are carried out for appropriately chosen families of random initial conditions; evaluating the sample variance of certain statistics over the simulation ensemble allows us to infer the highest order of spatial derivatives active in the coarse equation. In the same spirit we show how to determine whether a certain coarse conservation law exists or not, and we discuss plausibility tests for the existence of a coarse Hamiltonian or integrability. We argue that such schemes constitute an important part of the equation-free approach to multiscale computation.
△ Less
Submitted 7 December, 2002;
originally announced December 2002.
-
Boundary processing for Monte Carlo Simulations in the Gap-Tooth Scheme
Authors:
C. W. Gear,
Ioannis G. Kevrekidis
Abstract:
This note reports on a scheme for interpolating the boundary conditions be- tween non-adjacent modeling regions when the model is based on Monte-Carlo computations of a collection of particles. The scheme conserves particles in a natural way, and thereby can be made to conserve other quantities.
This note reports on a scheme for interpolating the boundary conditions be- tween non-adjacent modeling regions when the model is based on Monte-Carlo computations of a collection of particles. The scheme conserves particles in a natural way, and thereby can be made to conserve other quantities.
△ Less
Submitted 9 November, 2002;
originally announced November 2002.
-
Equation-Free Multiscale Computation: enabling microscopic simulators to perform system-level tasks
Authors:
Ioannis G. Kevrekidis,
C. William Gear,
James M. Hyman,
Panagiotis G. Kevrekidis,
Olof Runborg,
Constantinos Theodoropoulos
Abstract:
We present and discuss a framework for computer-aided multiscale analysis, which enables models at a "fine" (microscopic/stochastic) level of description to perform modeling tasks at a "coarse" (macroscopic, systems) level. These macroscopic modeling tasks, yielding information over long time and large space scales, are accomplished through appropriately initialized calls to the microscopic simu…
▽ More
We present and discuss a framework for computer-aided multiscale analysis, which enables models at a "fine" (microscopic/stochastic) level of description to perform modeling tasks at a "coarse" (macroscopic, systems) level. These macroscopic modeling tasks, yielding information over long time and large space scales, are accomplished through appropriately initialized calls to the microscopic simulator for only short times and small spatial domains. Our equation-free (EF) approach, when successful, can bypass the derivation of the macroscopic evolution equations when these equations conceptually exist but are not available in closed form. We discuss how the mathematics-assisted development of a computational superstructure may enable alternative descriptions of the problem physics (e.g. Lattice Boltzmann (LB), kinetic Monte Carlo (KMC) or Molecular Dynamics (MD) microscopic simulators, executed over relatively short time and space scales) to perform systems level tasks (integration over relatively large time and space scales,"coarse" bifurcation analysis, optimization, and control) directly. In effect, the procedure constitutes a systems identification based, "closure on demand" computational toolkit, bridging microscopic/stochastic simulation with traditional continuum scientific computation and numerical analysis. We illustrate these ideas through examples from chemical kinetics (LB, KMC), rheology (Brownian Dynamics), homogenization and the computation of "coarsely self-similar" solutions, and discuss various features, limitations and potential extensions of the approach.
△ Less
Submitted 10 September, 2002;
originally announced September 2002.