-
Space-time FLAVORS: finite difference, multisymlectic, and pseudospectral integrators for multiscale PDEs
Authors:
Molei Tao,
Houman Owhadi,
Jerrold E. Marsden
Abstract:
We present a new class of integrators for stiff PDEs. These integrators are generalizations of FLow AVeraging integratORS (FLAVORS) for stiff ODEs and SDEs introduced in [Tao, Owhadi and Marsden 2010] with the following properties: (i) Multiscale: they are based on flow averaging and have a computational cost determined by mesoscopic steps in space and time instead of microscopic steps in space an…
▽ More
We present a new class of integrators for stiff PDEs. These integrators are generalizations of FLow AVeraging integratORS (FLAVORS) for stiff ODEs and SDEs introduced in [Tao, Owhadi and Marsden 2010] with the following properties: (i) Multiscale: they are based on flow averaging and have a computational cost determined by mesoscopic steps in space and time instead of microscopic steps in space and time; (ii) Versatile: the method is based on averaging the flows of the given PDEs (which may have hidden slow and fast processes). This bypasses the need for identifying explicitly (or numerically) the slow variables or reduced effective PDEs; (iii) Nonintrusive: A pre-existing numerical scheme resolving the microscopic time scale can be used as a black box and easily turned into one of the integrators in this paper by turning the large coefficients on over a microscopic timescale and off during a mesoscopic timescale; (iv) Convergent over two scales: strongly over slow processes and in the sense of measures over fast ones; (v) Structure-preserving: for stiff Hamiltonian PDEs (possibly on manifolds), they can be made to be multi-symplectic, symmetry-preserving (symmetries are group actions that leave the system invariant) in all variables and variational.
△ Less
Submitted 1 April, 2011;
originally announced April 2011.
-
Geometric, Variational Discretization of Continuum Theories
Authors:
Evan S. Gawlik,
Patrick Mullen,
Dmitry Pavlov,
Jerrold E. Marsden,
Mathieu Desbrun
Abstract:
This study derives geometric, variational discretizations of continuum theories arising in fluid dynamics, magnetohydrodynamics (MHD), and the dynamics of complex fluids. A central role in these discretizations is played by the geometric formulation of fluid dynamics, which views solutions to the governing equations for perfect fluid flow as geodesics on the group of volume-preserving diffeomorphi…
▽ More
This study derives geometric, variational discretizations of continuum theories arising in fluid dynamics, magnetohydrodynamics (MHD), and the dynamics of complex fluids. A central role in these discretizations is played by the geometric formulation of fluid dynamics, which views solutions to the governing equations for perfect fluid flow as geodesics on the group of volume-preserving diffeomorphisms of the fluid domain. Inspired by this framework, we construct a finite-dimensional approximation to the diffeomorphism group and its Lie algebra, thereby permitting a variational temporal discretization of geodesics on the spatially discretized diffeomorphism group. The extension to MHD and complex fluid flow is then made through an appeal to the theory of Euler-Poincaré systems with advection, which provides a generalization of the variational formulation of ideal fluid flow to fluids with one or more advected parameters. Upon deriving a family of structured integrators for these systems, we test their performance via a numerical implementation of the update schemes on a cartesian grid. Among the hallmarks of these new numerical methods are exact preservation of momenta arising from symmetries, automatic satisfaction of solenoidal constraints on vector fields, good long-term energy behavior, robustness with respect to the spatial and temporal resolution of the discretization, and applicability to irregular meshes.
△ Less
Submitted 23 October, 2010;
originally announced October 2010.
-
Temperature and Friction Accelerated Sampling of Boltzmann-Gibbs Distribution
Authors:
Molei Tao,
Houman Owhadi,
Jerrold E. Marsden
Abstract:
This paper is concerned with tuning friction and temperature in Langevin dynamics for fast sampling from the canonical ensemble. We show that near-optimal acceleration is achieved by choosing friction so that the local quadratic approximation of the Hamiltonian is a critical damped oscillator. The system is also over-heated and cooled down to its final temperature. The performances of different co…
▽ More
This paper is concerned with tuning friction and temperature in Langevin dynamics for fast sampling from the canonical ensemble. We show that near-optimal acceleration is achieved by choosing friction so that the local quadratic approximation of the Hamiltonian is a critical damped oscillator. The system is also over-heated and cooled down to its final temperature. The performances of different cooling schedules are analyzed as functions of total simulation time.
△ Less
Submitted 6 July, 2010;
originally announced July 2010.
-
From efficient symplectic exponentiation of matrices to symplectic integration of high-dimensional Hamiltonian systems with slowly varying quadratic stiff potentials
Authors:
Molei Tao,
Houman Owhadi,
Jerrold E. Marsden
Abstract:
We present a multiscale integrator for Hamiltonian systems with slowly varying quadratic stiff potentials that uses coarse timesteps (analogous to what the impulse method uses for constant quadratic stiff potentials). This method is based on the highly-non-trivial introduction of two efficient symplectic schemes for exponentiations of matrices that only require O(n) matrix multiplications operatio…
▽ More
We present a multiscale integrator for Hamiltonian systems with slowly varying quadratic stiff potentials that uses coarse timesteps (analogous to what the impulse method uses for constant quadratic stiff potentials). This method is based on the highly-non-trivial introduction of two efficient symplectic schemes for exponentiations of matrices that only require O(n) matrix multiplications operations at each coarse time step for a preset small number n. The proposed integrator is shown to be (i) uniformly convergent on positions; (ii) symplectic in both slow and fast variables; (iii) well adapted to high dimensional systems. Our framework also provides a general method for iteratively exponentiating a slowly varying sequence of (possibly high dimensional) matrices in an efficient way.
△ Less
Submitted 13 April, 2011; v1 submitted 23 June, 2010;
originally announced June 2010.
-
Structure preserving Stochastic Impulse Methods for stiff Langevin systems with a uniform global error of order 1 or 1/2 on position
Authors:
Molei Tao,
Houman Owhadi,
Jerrold E. Marsden
Abstract:
Impulse methods are generalized to a family of integrators for Langevin systems with quadratic stiff potentials and arbitrary soft potentials. Uniform error bounds (independent from stiff parameters) are obtained on integrated positions allowing for coarse integration steps. The resulting integrators are explicit and structure preserving (quasi-symplectic for Langevin systems).
Impulse methods are generalized to a family of integrators for Langevin systems with quadratic stiff potentials and arbitrary soft potentials. Uniform error bounds (independent from stiff parameters) are obtained on integrated positions allowing for coarse integration steps. The resulting integrators are explicit and structure preserving (quasi-symplectic for Langevin systems).
△ Less
Submitted 23 June, 2010;
originally announced June 2010.
-
Non-intrusive and structure preserving multiscale integration of stiff ODEs, SDEs and Hamiltonian systems with hidden slow dynamics via flow averaging
Authors:
Molei Tao,
Houman Owhadi,
Jerrold E. Marsden
Abstract:
We introduce a new class of integrators for stiff ODEs as well as SDEs. These integrators are (i) {\it Multiscale}: they are based on flow averaging and so do not fully resolve the fast variables and have a computational cost determined by slow variables (ii) {\it Versatile}: the method is based on averaging the flows of the given dynamical system (which may have hidden slow and fast processes)…
▽ More
We introduce a new class of integrators for stiff ODEs as well as SDEs. These integrators are (i) {\it Multiscale}: they are based on flow averaging and so do not fully resolve the fast variables and have a computational cost determined by slow variables (ii) {\it Versatile}: the method is based on averaging the flows of the given dynamical system (which may have hidden slow and fast processes) instead of averaging the instantaneous drift of assumed separated slow and fast processes. This bypasses the need for identifying explicitly (or numerically) the slow or fast variables (iii) {\it Nonintrusive}: A pre-existing numerical scheme resolving the microscopic time scale can be used as a black box and easily turned into one of the integrators in this paper by turning the large coefficients on over a microscopic timescale and off during a mesoscopic timescale (iv) {\it Convergent over two scales}: strongly over slow processes and in the sense of measures over fast ones. We introduce the related notion of two-scale flow convergence and analyze the convergence of these integrators under the induced topology (v) {\it Structure preserving}: for stiff Hamiltonian systems (possibly on manifolds), they can be made to be symplectic, time-reversible, and symmetry preserving (symmetries are group actions that leave the system invariant) in all variables. They are explicit and applicable to arbitrary stiff potentials (that need not be quadratic). Their application to the Fermi-Pasta-Ulam problems shows accuracy and stability over four orders of magnitude of time scales. For stiff Langevin equations, they are symmetry preserving, time-reversible and Boltzmann-Gibbs reversible, quasi-symplectic on all variables and conformally symplectic with isotropic friction.
△ Less
Submitted 13 April, 2010; v1 submitted 9 August, 2009;
originally announced August 2009.
-
A resolution of the transition to turbulence paradox
Authors:
Rouslan Krechetnikov,
Jerrold E. Marsden
Abstract:
Understanding the transition to turbulence has been impeded by a modeling oversight
Understanding the transition to turbulence has been impeded by a modeling oversight
△ Less
Submitted 25 July, 2008; v1 submitted 4 July, 2008;
originally announced July 2008.
-
On the stability analysis in the transition to turbulence problem
Authors:
R. Krechetnikov,
J. E. Marsden
Abstract:
In this note, which is of general stability theory interest, we discuss some of the key assertions usually stated in the context of the transition to turbulence problem. In particular, the two main points made here in the setting of the transition problem are (i) the crucial dependence of the stability results on whether the problem is considered on infinite or semi-infinite domain, and (ii) the…
▽ More
In this note, which is of general stability theory interest, we discuss some of the key assertions usually stated in the context of the transition to turbulence problem. In particular, the two main points made here in the setting of the transition problem are (i) the crucial dependence of the stability results on whether the problem is considered on infinite or semi-infinite domain, and (ii) the energy conservation by the nonlinear terms of the Navier-Stokes equations. As an application, we demonstrate that the Couette flow, when analyzed in the mathematical setting most correctly reflecting the way the experiments are usually done, is spectrally unstable for finite Reynolds numbers in apparent contradiction to the commonly accepted classical century-old results. Also, the interrelation of various stability notions, the effects of infinite dimensionality, the covariant nature of the transition phenomena and how non-normality of the linear operators and finite-amplitude instability fit into this picture are discussed as well.
△ Less
Submitted 28 June, 2008;
originally announced June 2008.
-
Variational Integrators for Maxwell's Equations with Sources
Authors:
Ari Stern,
Yiying Tong,
Mathieu Desbrun,
Jerrold E. Marsden
Abstract:
In recent years, two important techniques for geometric numerical discretization have been developed. In computational electromagnetics, spatial discretization has been improved by the use of mixed finite elements and discrete differential forms. Simultaneously, the dynamical systems and mechanics communities have developed structure-preserving time integrators, notably variational integrators t…
▽ More
In recent years, two important techniques for geometric numerical discretization have been developed. In computational electromagnetics, spatial discretization has been improved by the use of mixed finite elements and discrete differential forms. Simultaneously, the dynamical systems and mechanics communities have developed structure-preserving time integrators, notably variational integrators that are constructed from a Lagrangian action principle. Here, we discuss how to combine these two frameworks to develop variational spacetime integrators for Maxwell's equations. Extending our previous work, which first introduced this variational perspective for Maxwell's equations without sources, we also show here how to incorporate free sources of charge and current.
△ Less
Submitted 13 March, 2008;
originally announced March 2008.
-
A mechanistic model of separation bubble
Authors:
R. Krechetnikov,
J. E. Marsden,
H. M. Nagib
Abstract:
This work uncovers the low-dimensional nature the complex dynamics of actuated separated flows. Namely, motivated by the problem of model-based predictive control of separated flows, we identify the requirements on a model-based observer and the key variables and propose a prototype model in the case of thick airfoils as motivated by practical applications.
The approach in this paper differs f…
▽ More
This work uncovers the low-dimensional nature the complex dynamics of actuated separated flows. Namely, motivated by the problem of model-based predictive control of separated flows, we identify the requirements on a model-based observer and the key variables and propose a prototype model in the case of thick airfoils as motivated by practical applications.
The approach in this paper differs fundamentally from the logic behind known models, which are either linear or based on POD-truncations and are unable to reflect even the crucial bifurcation and hysteresis inherent in separation phenomena. This new look at the problem naturally leads to several important implications, such as, firstly, uncovering the physical mechanisms for hysteresis, secondly, predicting a finite amplitude instability of the bubble, and thirdly to new issues to be studied theoretically and tested experimentally. More importantly, by employing systematic reasoning, the low-dimensional nature of these complex phenomena at the coarse level is revealed.
△ Less
Submitted 8 October, 2007;
originally announced October 2007.
-
Geometric Computational Electrodynamics with Variational Integrators and Discrete Differential Forms
Authors:
Ari Stern,
Yiying Tong,
Mathieu Desbrun,
Jerrold E. Marsden
Abstract:
In this paper, we develop a structure-preserving discretization of the Lagrangian framework for electromagnetism, combining techniques from variational integrators and discrete differential forms. This leads to a general family of variational, multisymplectic numerical methods for solving Maxwell's equations that automatically preserve key symmetries and invariants.
In doing so, we demonstrate…
▽ More
In this paper, we develop a structure-preserving discretization of the Lagrangian framework for electromagnetism, combining techniques from variational integrators and discrete differential forms. This leads to a general family of variational, multisymplectic numerical methods for solving Maxwell's equations that automatically preserve key symmetries and invariants.
In doing so, we demonstrate several new results, which apply both to some well-established numerical methods and to new methods introduced here. First, we show that Yee's finite-difference time-domain (FDTD) scheme, along with a number of related methods, are multisymplectic and derive from a discrete Lagrangian variational principle. Second, we generalize the Yee scheme to unstructured meshes, not just in space but in 4-dimensional spacetime. This relaxes the need to take uniform time steps, or even to have a preferred time coordinate at all. Finally, as an example of the type of methods that can be developed within this general framework, we introduce a new asynchronous variational integrator (AVI) for solving Maxwell's equations. These results are illustrated with some prototype simulations that show excellent energy and conservation behavior and lack of spurious modes, even for an irregular mesh with asynchronous time stepping.
△ Less
Submitted 27 May, 2009; v1 submitted 30 July, 2007;
originally announced July 2007.
-
A Dynamic alpha Model for the Lagrangian Averaged Navier-Stokes-alpha Equations
Authors:
Hongwu Zhao,
Kamran Mohseni,
Jerrold E. Marsden
Abstract:
This paper has been withdrawn by the authors for adding some results.
This paper has been withdrawn by the authors for adding some results.
△ Less
Submitted 11 May, 2004; v1 submitted 27 April, 2004;
originally announced April 2004.
-
Lagrangian Averaging for Compressible Fluids
Authors:
H. S. Bhat,
R. C. Fetecau,
J. E. Marsden,
K. Mohseni,
M. West
Abstract:
This paper extends the derivation of the Lagrangian averaged Euler (LAE-$α$) equations to the case of barotropic compressible flows. The aim of Lagrangian averaging is to regularize the compressible Euler equations by adding dispersion instead of artificial viscosity. Along the way, the derivation of the isotropic and anisotropic LAE-$α$ equations is simplified and clarified.
The derivation in…
▽ More
This paper extends the derivation of the Lagrangian averaged Euler (LAE-$α$) equations to the case of barotropic compressible flows. The aim of Lagrangian averaging is to regularize the compressible Euler equations by adding dispersion instead of artificial viscosity. Along the way, the derivation of the isotropic and anisotropic LAE-$α$ equations is simplified and clarified.
The derivation in this paper involves averaging over a tube of trajectories $η^ε$ centered around a given Lagrangian flow $η$. With this tube framework, the Lagrangian averaged Euler (LAE-$α$) equations are derived by following a simple procedure: start with a given action, Taylor expand in terms of small-scale fluid fluctuations $ξ$, truncate, average, and then model those terms that are nonlinear functions of $ξ$. Closure of the equations is provided through the use of \emph{flow rules}, which prescribe the evolution of the fluctuations along the mean flow.
△ Less
Submitted 7 September, 2004; v1 submitted 17 November, 2003;
originally announced November 2003.
