-
Canonical Temperature Control by Molecular Dynamics
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
"Pedagogical derivations for Nosé's dynamics can be developed in two different ways, (i) by starting with a temperature-dependent Hamiltonian in which the variable $s$ scales the time or the mass, or (ii) by requiring that the equations of motion generate the canonical distribution including a Gaussian distribution in the friction coefficient $ζ$. Nosé's papers follow the former approach. Because…
▽ More
"Pedagogical derivations for Nosé's dynamics can be developed in two different ways, (i) by starting with a temperature-dependent Hamiltonian in which the variable $s$ scales the time or the mass, or (ii) by requiring that the equations of motion generate the canonical distribution including a Gaussian distribution in the friction coefficient $ζ$. Nosé's papers follow the former approach. Because the latter approach is not only constructive and simple, but also can be generalized to other forms of the equations of motion, we illustrate it here. We begin by considering the probability density $f(q,p,ζ)$ in an extended phase space which includes $ζ$ as well as all pairs of phase variables $q$ and $p$. This density $f(q,p,ζ)$ satisfies the conservation of probability (Liouville's Continuity Equation)" $$(\partial f/\partial t) + \sum (\partial (\dot q f)/\partial q) + \sum (\partial (\dot p f)/\partial p) + \sum (\partial (\dot ζf)/\partial ζ) = 0 \ . $$ The multi-authored ``review''\cite{b1} motivated our quoting the history of Nosé and Nosé-Hoover mechanics, aptly described on page 31 of Bill's 1986 {\it Molecular Dynamics} book, reproduced above\cite{b2}.
△ Less
Submitted 13 February, 2024;
originally announced April 2024.
-
Time-Reversible Thermodynamic Irreversibility : One-Dimensional Heat-Conducting Oscillators and Two-Dimensional Newtonian Shockwaves
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
We analyze the time-reversible mechanics of two irreversible simulation types. The first is a dissipative one-dimensional heat-conducting oscillator exposed to a temperature gradient in a three-dimensional phase space with coordinate $q$, momentum $p$, and thermostat control variable $ζ$. The second type simulates a conservative two-dimensional $N$-body fluid with $4N$ phase variables $\{q,p\}$ un…
▽ More
We analyze the time-reversible mechanics of two irreversible simulation types. The first is a dissipative one-dimensional heat-conducting oscillator exposed to a temperature gradient in a three-dimensional phase space with coordinate $q$, momentum $p$, and thermostat control variable $ζ$. The second type simulates a conservative two-dimensional $N$-body fluid with $4N$ phase variables $\{q,p\}$ undergoing shock compression. Despite the time-reversibility of each of the three oscillator equations and all of the $4N$ manybody motion equations both types of simulation are irreversible, obeying the Second Law of Thermodynamics. But for different reasons. The irreversible oscillator seeks out an attractive dissipative limit cycle. The likewise irreversible, but thoroughly conservative, Newtonian shockwave eventually generates a reversible near-equilibrium pair of rarefaction fans. Both problem types illustrate interesting features of Lyapunov instability.
△ Less
Submitted 12 October, 2022; v1 submitted 2 October, 2022;
originally announced October 2022.
-
Thermodynamic Entropy from Sadi Carnot's Cycle using Gauss' and Doll's-Tensor Molecular Dynamics
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
Carnot's four-part ideal-gas cycle includes both isothermal and adiabatic expansions and compressions. Analyzing this cycle provides the fundamental basis for statistical thermodynamics. We explore the cycle here from a pedagogical view in order to promote understanding of the macroscopic thermodynamic entropy, the state function associated with thermal energy changes. From the alternative microsc…
▽ More
Carnot's four-part ideal-gas cycle includes both isothermal and adiabatic expansions and compressions. Analyzing this cycle provides the fundamental basis for statistical thermodynamics. We explore the cycle here from a pedagogical view in order to promote understanding of the macroscopic thermodynamic entropy, the state function associated with thermal energy changes. From the alternative microscopic viewpoint the Hamiltonian ${\cal H}(q,p)$ is the energy and entropy is the (logarithm of the) phase-space volume $Ω$ associated with a macroscopic state. We apply two novel forms of Hamiltonian mechanics to Carnot's Cycle: [1] Gauss' isokinetic mechanics for the isothermal segments and [2] Doll's Tensor for the isentropic adiabatic segments. We explore the equivalence of the microscopic and macroscopic views of Carnot's cycle for simple fluids here, beginning with the ideal Knudsen gas and extending the analysis to a prototypical simple fluid.
△ Less
Submitted 9 February, 2022; v1 submitted 29 January, 2022;
originally announced January 2022.
-
Computational Implementation of Maxwell's Knudsen-Gas Demon and Its Extension to a Two-Dimensional Soft-Disk Fluid
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
An interesting preprint by Puru Gujrati, "Maxwell's Demon Must Remain Subservient to Clausius' Statement" [ of the Second Law of Thermodynamics ], traces the development and application of Maxwell's Demon. He argues against the Demon on thermodynamic grounds. Gujrati introduces and uses his own version of a generalized thermodynamics in his criticism of the Demon. The complexity of his paper and t…
▽ More
An interesting preprint by Puru Gujrati, "Maxwell's Demon Must Remain Subservient to Clausius' Statement" [ of the Second Law of Thermodynamics ], traces the development and application of Maxwell's Demon. He argues against the Demon on thermodynamic grounds. Gujrati introduces and uses his own version of a generalized thermodynamics in his criticism of the Demon. The complexity of his paper and the lack of any accompanying numerical work piqued our curiousity. The internet provides well over two million "hits'' on the subject of "Maxwell's Demon". There are also hundreds of images of the Demon, superimposed upon a container of gas or liquid. However, there is not so much along the lines of simulations of the Demonic process. Accordingly, we thought it useful to write and execute relatively simple FORTRAN programs designed to implement Maxwell's low-density model and to develop its replacement with global Nosé-Hoover or local purely-Newtonian thermal controls. These simulations illustrate the entropy decreases associated with all three types of Demons.
△ Less
Submitted 10 January, 2022; v1 submitted 28 December, 2021;
originally announced December 2021.
-
Nonequilibrium Time Reversibility with Maps and Walks
Authors:
William Graham Hoover,
Carol Griswold Hoover,
Edward R. Smith
Abstract:
Time-reversible dynamical simulations of nonequilibrium systems exemplify both Loschmidt's and Zermélo's paradoxes. That is, computational time-reversible simulations invariably produce solutions consistent with the {\it irreversible} Second Law of Thermodynamics (Loschmidt's) as well as {\it periodic} in the time (Zermélo's, illustrating Poincaré recurrence). Understanding these paradoxical aspec…
▽ More
Time-reversible dynamical simulations of nonequilibrium systems exemplify both Loschmidt's and Zermélo's paradoxes. That is, computational time-reversible simulations invariably produce solutions consistent with the {\it irreversible} Second Law of Thermodynamics (Loschmidt's) as well as {\it periodic} in the time (Zermélo's, illustrating Poincaré recurrence). Understanding these paradoxical aspects of time-reversible systems is enhanced here by studying the simplest pair of such model systems.
The first is time-reversible, but nevertheless dissipative and periodic, the piecewise-linear compressible Baker Map. The fractal properties of that two-dimensional map are mirrored by an even simpler example, the one-dimensional random walk, confined to the unit interval. As a further puzzle the two models yield ambiguities in determining the fractals' information dimensions. These puzzles, including the classical paradoxes, are reviewed and explored here. We review our investigations presented in Budapest in 1997 and end with presentday questions posed as the Snook Prize Problems in 2020 and 2021.
△ Less
Submitted 19 September, 2021; v1 submitted 4 August, 2021;
originally announced August 2021.
-
The Simplest Viscous Flow
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
We illustrate an atomistic periodic two-dimensional stationary shear flow, $u_x = \langle \ \dot x \ \rangle = \dot εy$, using the simplest possible example, the periodic shear of just two particles ! We use a short-ranged "realistic" pair potential, $φ(r<2) = (2-r)^6 - 2(2-r)^3$. Many body simulations with it are capable of modelling the gas, liquid, and solid states of matter. A useful mechanics…
▽ More
We illustrate an atomistic periodic two-dimensional stationary shear flow, $u_x = \langle \ \dot x \ \rangle = \dot εy$, using the simplest possible example, the periodic shear of just two particles ! We use a short-ranged "realistic" pair potential, $φ(r<2) = (2-r)^6 - 2(2-r)^3$. Many body simulations with it are capable of modelling the gas, liquid, and solid states of matter. A useful mechanics generating steady shear follows from a special ("Kewpie-Doll" $\sim$ "$qp$-Doll") Hamiltonian based on the Hamiltonian coordinates $\{ q \}$ and momenta $\{ p \}$ : ${\cal H}(q,p) \equiv K(p) + Φ(q) + \dot ε\sum qp$. Choosing $qp \rightarrow yp_x$ the resulting motion equations are consistent with steadily shearing periodic boundaries with a strain rate $(du_x/dy) = \dot ε$. The occasional $x$ coordinate jumps associated with periodic boundary crossings in the $y$ direction provide a Hamiltonian that is a piecewise-continuous function of time. A time-periodic isothermal steady state results when the Hamiltonian motion equations are augmented with a continuously variable thermostat generalizing Shuichi Nosé's revolutionary ideas from 1984. The resulting distributions of coordinates and momenta are interesting multifractals, with surprising irreversible consequences from strictly time-reversible motion equations.
△ Less
Submitted 8 July, 2021; v1 submitted 20 June, 2021;
originally announced June 2021.
-
What is Liquid ? [in two dimensions]
Authors:
Karl P. Travis,
William Graham Hoover,
Carol Griswold Hoover,
Amanda Bailey Hass
Abstract:
We consider the practicalities of defining, simulating, and characterizing "Liquids" from a pedagogical standpoint based on atomistic computer simulations. For simplicity and clarity we study two-dimensional systems throughout. In addition to the infinite-ranged Lennard-Jones 12/6 potential we consider two shorter-ranged families of pair potentials. At zero pressure one of them includes just neare…
▽ More
We consider the practicalities of defining, simulating, and characterizing "Liquids" from a pedagogical standpoint based on atomistic computer simulations. For simplicity and clarity we study two-dimensional systems throughout. In addition to the infinite-ranged Lennard-Jones 12/6 potential we consider two shorter-ranged families of pair potentials. At zero pressure one of them includes just nearest neighbors. The other longer-ranged family includes twelve additional neighbors. We find that these further neighbors can help stabilize the liquid phase.
What about liquids? To implement Wikipedia's definition of liquids as conforming to their container we begin by formulating and imposing smooth-container boundary conditions. To encourage conformation further we add a vertical gravitational field. Gravity helps stabilize the relatively vague liquid-gas interface. Gravity reduces the messiness associated with the curiously-named "spinodal" (tensile) portion of the phase diagram. Our simulations are mainly isothermal. We control the kinetic temperature with Nosé-Hoover thermostating, extracting or injecting heat so as to impose a mean kinetic temperature over time. Our simulations stabilizing density gradients and the temperature provide critical-point estimates fully consistent with previous efforts from free energy and Gibbs' ensemble simulations. This agreement validates our approach.
△ Less
Submitted 27 March, 2021; v1 submitted 28 February, 2021;
originally announced March 2021.
-
Time-Symmetry Breaking in Hamiltonian Mechanics. III. A Memoir for Douglas James Henderson [1934-2020]
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
Following Berni Alder [1] and Francis Ree [2], Douglas Henderson was the third of Bill's California coworkers from the 1960s to die in 2020. Motivated by Doug's death we undertook better to understand Lyapunov instability and the breaking of time symmetry in continuum and atomistic simulations. Here we have chosen to extend our explorations of an interesting pair of nonequilibrium systems, the ste…
▽ More
Following Berni Alder [1] and Francis Ree [2], Douglas Henderson was the third of Bill's California coworkers from the 1960s to die in 2020. Motivated by Doug's death we undertook better to understand Lyapunov instability and the breaking of time symmetry in continuum and atomistic simulations. Here we have chosen to extend our explorations of an interesting pair of nonequilibrium systems, the steady shockwave and the unsteady rarefaction wave. We eliminate the need for boundary potentials by simulating the collisions of pairs of mirror-images projectiles. The resulting shock and rarefaction structures are respectively the results of the compression and the expansion of simple fluids. Shockwaves resulting from compression have a steady structure while the rarefaction fans resulting from free expansions continually broaden. We model these processes using classical molecular dynamics and Eulerian fluid mechanics in two dimensions. Although molecular dynamics is time-reversible the reversed simulation of a steady shockwave compression soon results in an unsteady rarefaction fan, violating the microscopic time symmetry of the motion equations but in agreement with the predictions of macroscopic Navier-Stokes fluid mechanics. The explanations for these results are an interesting combination of two (irreversible) instabilities, Lyapunov and Navier-Stokes.
△ Less
Submitted 4 December, 2020; v1 submitted 22 November, 2020;
originally announced November 2020.
-
Time-Symmetry Breaking in Hamiltonian Mechanics. II. A Memoir for Berni Julian Alder [1925-2020]
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
This memoir honors the late Berni Julian Alder, who inspired both of us with his pioneering development of molecular dynamics. Berni's work with Tom Wainwright, described in the 1959 Scientific American[1], brought Bill to interview at Livermore in 1962. Hired by Berni, Bill enjoyed over 40 years' research at the Laboratory. Berni, along with Edward Teller, founded UC's Department of Applied Scien…
▽ More
This memoir honors the late Berni Julian Alder, who inspired both of us with his pioneering development of molecular dynamics. Berni's work with Tom Wainwright, described in the 1959 Scientific American[1], brought Bill to interview at Livermore in 1962. Hired by Berni, Bill enjoyed over 40 years' research at the Laboratory. Berni, along with Edward Teller, founded UC's Department of Applied Science in 1963. Their motivation was to attract bright students to use the laboratory's unparalleled research facilities. In 1972 Carol was offered a joint LLNL employee-DAS student appointment at Livermore. Bill, thanks to Berni's efforts, was already a Professor at DAS. Carol became one of Bill's best students. Berni's influence was directly responsible for our physics collaboration and our marriage in 1989. The present work is devoted to two early interests of Berni's, irreversibility and shockwaves. Berni and Tom studied the irreversibility of Boltzmann's "H function" in the early 1950s[2]. Berni called shockwaves the "most irreversible" of hydrodynamic processes[3]. Just this past summer, in simulating shockwaves with time-reversible classical mechanics, we found that reversed Runge-Kutta shockwave simulations yielded nonsteady rarefaction waves, not shocks. Intrigued by this unexpected result we studied the exponential Lyapunov instabilities in both wave types. Besides the Runge-Kutta and Leapfrog algorithms, we developed a precisely-reversible manybody algorithm based on trajectory storing, just changing the velocities' signs to generate the reversed trajectories. Both shocks and rarefactions were precisely reversed. Separate simulations, forward and reversed, provide interesting examples of the Lyapunov-unstable symmetry-breaking models supporting the Second Law of Thermodynamics. We describe promising research directions suggested by this work.
△ Less
Submitted 15 October, 2020; v1 submitted 25 September, 2020;
originally announced October 2020.
-
From Hard Spheres and Cubes to Nonequilibrium Maps with Thirty-Some Years of Thermostatted Molecular Dynamics
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
This is our current research perspective on models providing insight into statistical mechanics. It is necessarily personal, emphasizing our own interest in simulation as it developed from the National Laboratories' work to the worldwide explosion of computation of today. We contrast the past and present in atomistic simulations, emphasizing those simple models which best achieve reproducibility a…
▽ More
This is our current research perspective on models providing insight into statistical mechanics. It is necessarily personal, emphasizing our own interest in simulation as it developed from the National Laboratories' work to the worldwide explosion of computation of today. We contrast the past and present in atomistic simulations, emphasizing those simple models which best achieve reproducibility and promote understanding. Few-body models with pair forces have led to today's "realistic" simulations with billions of atoms and molecules. Rapid advances in computer technology have led to change. Theoretical formalisms have largely been replaced by simulations incorporating ingenious algorithm development. We choose to study particularly simple, yet relevant, models directed toward understanding general principles. Simplicity remains a worthy goal, as does relevance. We discuss hard-particle virial series, melting, thermostatted oscillators with and without heat conduction, chaotic dynamics, fractals, the connection of Lyapunov spectra to thermodynamics, and finally simple linear maps. Along the way we mention directions in which additional modelling could provide more clarity and yet more interesting developments in the future.
△ Less
Submitted 17 August, 2020; v1 submitted 13 June, 2020;
originally announced June 2020.
-
Nonequilibrium Molecular Dynamics, Fractal Phase-Space Distributions, the Cantor Set, and Puzzles Involving Information Dimensions for Two Compressible Baker Maps
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
Deterministic and time-reversible nonequilibrium molecular dynamics simulations typically generate "fractal" [ fractional-dimensional ] phase-space distributions. Because these distributions and their time-reversed twins have zero phase volume, stable attractors "forward in time" and unstable (unobservable) repellors when reversed, these simulations are consistent with the Second Law of Thermodyna…
▽ More
Deterministic and time-reversible nonequilibrium molecular dynamics simulations typically generate "fractal" [ fractional-dimensional ] phase-space distributions. Because these distributions and their time-reversed twins have zero phase volume, stable attractors "forward in time" and unstable (unobservable) repellors when reversed, these simulations are consistent with the Second Law of Thermodynamics. These same reversibility and stability properties can also be found in compressible Baker Maps, or in their equivalent random walks, motivating their careful study. We illustrate these ideas with three examples: a Cantor-Set Map and two linear compressible Baker Maps, N2$(q,p)$ and N3$(q,p)$. The two Baker Maps' Information dimensions estimated from sequential mappings agree while those from pointwise iteration do not, with the estimates dependent upon details of the approach to the maps' nonequilibrium steady states.
△ Less
Submitted 7 September, 2020; v1 submitted 6 January, 2020;
originally announced January 2020.
-
2020 Ian Snook Prize Problem : Three Routes to the Information Dimensions for a One-Dimensional Stochastic Random Walk and for an Equivalent Prototypical Two-Dimensional Baker Map
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
The \…
▽ More
The \$1000 Ian Snook Prize for 2020 will be awarded to the author(s) of the most interesting paper exploring a pair of relatively simple, but fractal, models of nonequilibrium systems, a dissipative time-reversible Baker Map and an equivalent stochastic random walk. The two-dimensional deterministic, time-reversible, chaotic, fractal, and dissipative Baker map is equivalent to the stochastic one-dimensional random walk model for which three distinct estimates for the information dimension, $\{ \ 0.7897,\ 0.741_5, \ 0.7337 \ \}$ have all been put forward. So far there is no cogent explanation for the differences among them. We describe the three routes to the information dimension, $D_I$: [ 1 ] iterated Cantor-like mappings, [ 2 ] mesh-based analyses of single-point iterations, and [ 3 ] the Kaplan-Yorke Lyapunov dimension, thought by many to be exact for these models. We encourage colleagues to address this Prize Problem by suggesting, testing, and analyzing mechanisms underlying these differing results.
△ Less
Submitted 10 November, 2019; v1 submitted 24 October, 2019;
originally announced October 2019.
-
Random Walk Equivalence to the Compressible Baker Map and the Kaplan-Yorke Approximation to Its Information Dimension
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
Simple time-reversible systems can generate {\it irreversible} flows satisfying the Second Law of Thermodynamics. Maps, and equivalent random walks, can also do this. We study a pair of time-reversible Baker Maps, $N2$ and $N3$, which generate dissipative{\it fractal} phase-space structures. Steadily decreasing phase-space volumes correspond to the dissipation associated with entropy production. L…
▽ More
Simple time-reversible systems can generate {\it irreversible} flows satisfying the Second Law of Thermodynamics. Maps, and equivalent random walks, can also do this. We study a pair of time-reversible Baker Maps, $N2$ and $N3$, which generate dissipative{\it fractal} phase-space structures. Steadily decreasing phase-space volumes correspond to the dissipation associated with entropy production. Like three smooth reversible dissipative one-body phase-space flows developed in the 1980s and 1990s our maps generate fractal distributions, but in two dimensions rather than three, simplifying visualization and analyses. The continuity equation, which quantifies phase-volume loss, motivates study of the fractals' reduced ``information dimensions'', which were approximated by Kaplan and Yorke in terms of two-dimensional maps' two Lyapunov exponents. The maps studied here generate fractal (fractional dimensional) distributions in their phase spaces. By mapping uniformly dense grids of points, fractal dimensions can be determined by ``area-wise'' mappings. Beginning with a uniform grid area-wise mapping of the $N2$ Baker Map provides an information dimension of 1.78969. Alternatively, as many as a trillion iterations, starting from an arbitrary point, gives a smaller ``point-wise'' dimensionality, $1.741_5$. Neither of these precisely determined estimates matches the Kaplan-Yorke conjecture value, 1.7337. In the course of studying these three different approaches to information dimension we developed random walk equivalents to both mappings, which greatly simplifies analyses. We found that for the older $ N2$ Baker map the three approaches all disagree with one another! We later discovered that for the newer $N3$ Baker mapping the three approaches to information dimension, area-wise, point-wise and Kaplan-Yorke, agree.
△ Less
Submitted 28 March, 2023; v1 submitted 10 September, 2019;
originally announced September 2019.
-
Aspects of Dynamical Simulations, Emphasizing Nosé and Nosé-Hoover Dynamics and the Compressible Baker Map
Authors:
William G. Hoover,
Carol G. Hoover
Abstract:
Aspects of the Nosé and Nosé-Hoover dynamics developed in 1983-1984 along with Dettmann's closely related dynamics of 1996, are considered. We emphasize paradoxes associated with Liouville's Theorem. Our account is pedagogical, focused on the harmonic oscillator for simplicity, though exactly the same ideas can be, and have been, applied to manybody systems. Nosé, Nosé-Hoover, and Dettmann flows w…
▽ More
Aspects of the Nosé and Nosé-Hoover dynamics developed in 1983-1984 along with Dettmann's closely related dynamics of 1996, are considered. We emphasize paradoxes associated with Liouville's Theorem. Our account is pedagogical, focused on the harmonic oscillator for simplicity, though exactly the same ideas can be, and have been, applied to manybody systems. Nosé, Nosé-Hoover, and Dettmann flows were all developed in order to access Gibbs' canonical ensemble directly from molecular dynamics. Unlike Monte Carlo algorithms dynamical flow models are often not ergodic and so can fail to reproduce Gibbs' ensembles. Accordingly we include a discussion of ergodicity, the visiting of all relevant microstates corresponding to the desired ensemble. We consider Lyapunov instability too, the usual mechanism for phase-space mixing. We show that thermostated harmonic oscillator dynamics can be simultaneously expanding, incompressible, or contracting, depending upon the chosen "phase space". The fractal nature of nonequilibrium flows is also illustrated for two simple two-dimensional models, the hard-disk-based Galton Board and the time-reversible Baker Map. The simultaneous treatment of flows as one-dimensional and many-dimensional suggests some interesting topological problems for future investigations.
△ Less
Submitted 19 September, 2019; v1 submitted 12 August, 2019;
originally announced August 2019.
-
Aspects of Nosé and Nosé-Hoover Dynamics Elucidated
Authors:
W. G. Hoover,
C. G. Hoover
Abstract:
Some paradoxical aspects of the Nosé and Nosé-Hoover dynamics of 1984 and Dettmann's dynamics of 1996 are elucidated. Phase-space descriptions of thermostated harmonic oscillator dynamics can be simultaneously expanding, incompressible, or contracting, as is described here by a variety of three- and four-dimensional phase-space models. These findings illustrate some surprising consequences when Li…
▽ More
Some paradoxical aspects of the Nosé and Nosé-Hoover dynamics of 1984 and Dettmann's dynamics of 1996 are elucidated. Phase-space descriptions of thermostated harmonic oscillator dynamics can be simultaneously expanding, incompressible, or contracting, as is described here by a variety of three- and four-dimensional phase-space models. These findings illustrate some surprising consequences when Liouville's continuity equation is applied to Hamiltonian flows.
△ Less
Submitted 25 June, 2019;
originally announced June 2019.
-
The Nosé-Hoover, Dettmann, and Hoover-Holian Oscillators
Authors:
William Graham Hoover,
Julien Clinton Sprott,
Carol Griswold Hoover
Abstract:
To follow up recent work of Xiao-Song Yang on the Nosé-Hoover oscillator we consider Dettmann's harmonic oscillator, which relates Yang's ideas directly to Hamiltonian mechanics. We also use the Hoover-Holian oscillator to relate our mechanical studies to Gibbs' statistical mechanics. All three oscillators are described by a coordinate $q$ and a momentum $p$. Additional control variables $(ζ, ξ)$…
▽ More
To follow up recent work of Xiao-Song Yang on the Nosé-Hoover oscillator we consider Dettmann's harmonic oscillator, which relates Yang's ideas directly to Hamiltonian mechanics. We also use the Hoover-Holian oscillator to relate our mechanical studies to Gibbs' statistical mechanics. All three oscillators are described by a coordinate $q$ and a momentum $p$. Additional control variables $(ζ, ξ)$ vary the energy. Dettmann's description includes a time-scaling variable $s$, as does Nosé's original work. Time scaling controls the rates at which the $(q,p,ζ)$ variables change. The ergodic Hoover-Holian oscillator provides the stationary Gibbsian probability density for the time-scaling variable $s$. Yang considered {\it qualitative} features of Nosé-Hoover dynamics. He showed that longtime Nosé-Hoover trajectories change energy, repeatedly crossing the $ζ= 0$ plane. We use moments of the motion equations to give two new, different, and brief proofs of Yang's long-time limiting result.
△ Less
Submitted 12 August, 2019; v1 submitted 1 June, 2019;
originally announced June 2019.
-
Ergodic Isoenergetic Molecular Dynamics for Microcanonical-Ensemble Averages
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
Considerable research has led to ergodic isothermal dynamics which can replicate Gibbs' canonical distribution for simple ( small ) dynamical problems. Adding one or two thermostat forces to the Hamiltonian motion equations can give an ergodic isothermal dynamics to a harmonic oscillator, to a quartic oscillator, and even to the "Mexican-Hat" ( double-well ) potential problem. We consider here a t…
▽ More
Considerable research has led to ergodic isothermal dynamics which can replicate Gibbs' canonical distribution for simple ( small ) dynamical problems. Adding one or two thermostat forces to the Hamiltonian motion equations can give an ergodic isothermal dynamics to a harmonic oscillator, to a quartic oscillator, and even to the "Mexican-Hat" ( double-well ) potential problem. We consider here a time-reversible dynamical approach to Gibbs' "microcanonical" ( isoenergetic ) distribution for simple systems. To enable isoenergetic ergodicity we add occasional random rotations to the velocities. This idea conserves energy exactly and can be made to cover the entire energy shell with an ergodic dynamics. We entirely avoid the Poincaré-section holes and island chains typical of Hamiltonian chaos. We illustrate this idea for the simplest possible two-dimensional example, a single particle moving in a periodic square-lattice array of scatterers, the "cell model".
△ Less
Submitted 12 July, 2018; v1 submitted 26 June, 2018;
originally announced June 2018.
-
The $φ^4$ Model, Chaos, Thermodynamics, and the 2018 SNOOK Prizes in Computational Statistical Mechanics
Authors:
Wm. G. Hoover,
Carol G. Hoover
Abstract:
The one-dimensional $φ^4$ Model generalizes a harmonic chain with nearest-neighbor Hooke's-Law interactions by adding quartic potentials tethering each particle to its lattice site. In their studies of this model Kenichiro Aoki and Dimitri Kusnezov emphasized its most interesting feature : because the quartic tethers act to scatter long-wavelength phonons, $φ^4$ chains exhibit Fourier heat conduct…
▽ More
The one-dimensional $φ^4$ Model generalizes a harmonic chain with nearest-neighbor Hooke's-Law interactions by adding quartic potentials tethering each particle to its lattice site. In their studies of this model Kenichiro Aoki and Dimitri Kusnezov emphasized its most interesting feature : because the quartic tethers act to scatter long-wavelength phonons, $φ^4$ chains exhibit Fourier heat conduction. In his recent Snook-Prize work Aoki also showed that the model can exhibit chaos on the three-dimensional energy surface describing the two-body two-spring chain. That surface can include {\it at least two} distinct chaotic seas. Aoki pointed out that the model typically exhibits different kinetic temperatures for the two bodies. Evidently few-body $φ^4$ problems merit more investigation. Accordingly, the 2018 Prizes honoring Ian Snook (1945-2013) will be awarded to the author(s) of the most interesting work analyzing and discussing few-body $φ^4$ models from the standpoints of dynamical systems theory and macroscopic thermodynamics, taking into account the model's ability to maintain a steady-state kinetic temperature gradient as well as at least two coexisting chaotic seas in the presence of deterministic chaos.
△ Less
Submitted 11 June, 2018;
originally announced June 2018.
-
The 2017 SNOOK PRIZES in Computational Statistical Mechanics
Authors:
Wm. G. Hoover,
Carol G. Hoover
Abstract:
The 2017 Snook Prize has been awarded to Kenichiro Aoki for his exploration of chaos in Hamiltonian $φ^4$ models. His work addresses symmetries, thermalization, and Lyapunov instabilities in few-particle dynamical systems. A companion paper by Timo Hofmann and Jochen Merker is devoted to the exploration of generalized Hénon-Heiles models and has been selected for Honorable Mention in the Snook-Pri…
▽ More
The 2017 Snook Prize has been awarded to Kenichiro Aoki for his exploration of chaos in Hamiltonian $φ^4$ models. His work addresses symmetries, thermalization, and Lyapunov instabilities in few-particle dynamical systems. A companion paper by Timo Hofmann and Jochen Merker is devoted to the exploration of generalized Hénon-Heiles models and has been selected for Honorable Mention in the Snook-Prize competition.
△ Less
Submitted 8 April, 2018;
originally announced April 2018.
-
Time-Irreversibility is Hidden Within Newtonian Mechanics
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
We develop a bit-reversible implementation of Milne's Fourth-order Predictor algorithm so as to generate precisely time-reversible simulations of irreversible processes. We apply our algorithm to the collision of two zero-temperature Morse-potential balls, which collide to form a warm liquid oscillating drop. The oscillations are driven by surface tension and damped by the viscosities. We characte…
▽ More
We develop a bit-reversible implementation of Milne's Fourth-order Predictor algorithm so as to generate precisely time-reversible simulations of irreversible processes. We apply our algorithm to the collision of two zero-temperature Morse-potential balls, which collide to form a warm liquid oscillating drop. The oscillations are driven by surface tension and damped by the viscosities. We characterize the "important" Lyapunov-unstable particles during the collision and equilibration phases in both time directions to demonstrate the utility of the Milne algorithm in exposing "Time's Arrow".
△ Less
Submitted 7 March, 2018; v1 submitted 30 January, 2018;
originally announced January 2018.
-
Bit-Reversible Version of Milne's Fourth-Order Time-Reversible Integrator for Molecular Dynamics
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
We point out that two of Milne's fourth-order integrators are well-suited to bit-reversible simulations. The fourth-order method improves on the accuracy of Levesque and Verlet's algorithm and simplifies the definition of the velocity $v$ and energy $e = (q^2 + v^2)/2$ . ( We use this one-dimensional oscillator problem as an illustration throughout this paper ). Milne's integrator is particularly…
▽ More
We point out that two of Milne's fourth-order integrators are well-suited to bit-reversible simulations. The fourth-order method improves on the accuracy of Levesque and Verlet's algorithm and simplifies the definition of the velocity $v$ and energy $e = (q^2 + v^2)/2$ . ( We use this one-dimensional oscillator problem as an illustration throughout this paper ). Milne's integrator is particularly useful for the analysis of Lyapunov ( exponential ) instability in dynamical systems, including manybody molecular dynamics. We include the details necessary to the implementation of Milne's Algorithms.
△ Less
Submitted 28 June, 2017; v1 submitted 27 June, 2017;
originally announced June 2017.
-
Instantaneous Pairing of Lyapunov Exponents in Chaotic Hamiltonian Dynamics and the 2017 Ian Snook Prize
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
The time-averaged Lyapunov exponents support a mechanistic description of the chaos generated in and by nonlinear dynamical systems. The exponents are ordered from largest to smallest with the largest one describing the exponential growth rate of the (small) distance between two neighboring phase-space trajectories. Two exponents describe the rate for areas defined by three nearby trajectories. Th…
▽ More
The time-averaged Lyapunov exponents support a mechanistic description of the chaos generated in and by nonlinear dynamical systems. The exponents are ordered from largest to smallest with the largest one describing the exponential growth rate of the (small) distance between two neighboring phase-space trajectories. Two exponents describe the rate for areas defined by three nearby trajectories. The sum of the first three exponents is the rate for volumes defined by four nearby trajectories, and so on. Lyapunov exponents for Hamiltonian systems are symmetric. The time-reversibility of the motion equations links the growth and decay rates together in pairs. This pairing provides a more detailed explanation than Liouville's for the conservation of phase volume in Hamiltonian mechanics. Although correct for long-time averages, the dependence of trajectories on their past is responsible for the observed lack of detailed pairing for the instantaneous "local" exponents, $\{\ λ_i(t) \ \}$ . The 2017 Ian Snook Prizes will be awarded to the author(s) of an accessible and pedagogical discussion of local Lyapunov instability in small systems. We desire that this discussion build on the two nonlinear models described here, a double pendulum with Hooke's-Law links and a periodic chain of Hooke's-Law particles tethered to their lattice sites. The latter system is the $φ^4$ model popularized by Aoki and Kusnezov. A four-particle version is small enough for comprehensive numerical work and large enough to illustrate ideas of general validity.
△ Less
Submitted 7 March, 2017; v1 submitted 26 February, 2017;
originally announced March 2017.
-
Singly-Thermostated Ergodicity in Gibbs' Canonical Ensemble and the 2016 Ian Snook Prize Award
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
The 2016 Snook Prize has been awarded to Diego Tapias, Alessandro Bravetti, and David Sanders for their paper -- Ergodicity of One-Dimensional Systems Coupled to the Logistic Thermostat. They introduced a relatively stiff hyperbolic tangent thermostat force and successfully tested its ability to reproduce Gibbs' canonical distribution for the harmonic oscillator, the quartic oscillator, and the Me…
▽ More
The 2016 Snook Prize has been awarded to Diego Tapias, Alessandro Bravetti, and David Sanders for their paper -- Ergodicity of One-Dimensional Systems Coupled to the Logistic Thermostat. They introduced a relatively stiff hyperbolic tangent thermostat force and successfully tested its ability to reproduce Gibbs' canonical distribution for the harmonic oscillator, the quartic oscillator, and the Mexican Hat potentials. Their work constitutes an effective response to the 2016 Ian Snook Prize Award goal -- Finding ergodic algorithms for Gibbs' canonical ensemble using a single thermostat variable. We confirm their work here and highlight an interesting feature of the Mexican Hat problem when it is solved with an adaptive integrator.
△ Less
Submitted 22 January, 2017;
originally announced January 2017.
-
Singly-Thermostated Ergodicity in Gibbs' Canonical Ensemble and the 2016 Ian Snook Prize
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
For a harmonic oscillator, Nosé's single-thermostat approach to simulating Gibbs' canonical ensemble with dynamics samples only a small fraction of the phase space. Nosé's approach has been improved in a series of three steps: [ 1 ] several two-thermostat sets of motion equations have been found which cover the complete phase space in an ergodic fashion, [ 2 ] sets of single-thermostat motion equa…
▽ More
For a harmonic oscillator, Nosé's single-thermostat approach to simulating Gibbs' canonical ensemble with dynamics samples only a small fraction of the phase space. Nosé's approach has been improved in a series of three steps: [ 1 ] several two-thermostat sets of motion equations have been found which cover the complete phase space in an ergodic fashion, [ 2 ] sets of single-thermostat motion equations, exerting "weak control" over both forces and momenta, have been shown to be ergodic, and [ 3 ] sets of single-thermostat motion equations exerting weak control over two velocity moments provide ergodic phase-space sampling for the oscillator and for the rigid pendulum, but not for the quartic oscillator or for the Mexican Hat potential. The missing fourth step, motion equations providing ergodic sampling for anharmonic potentials requires a further advance. The 2016 Ian Snook Prize will be awarded to the author(s) of the most interesting original submission addressing the problem of finding ergodic algorithms for Gibbs' canonical ensemble using a single thermostat.
△ Less
Submitted 4 July, 2016;
originally announced July 2016.
-
A Tutorial: Adaptive Runge-Kutta Integration for Stiff Systems : Comparing the Nosé and Nosé-Hoover Oscillator Dynamics
Authors:
William Graham Hoover,
Julien Clinton Sprott,
Carol Griswold Hoover
Abstract:
"Stiff" differential equations are commonplace in engineering and dynamical systems. To solve them we need flexible integrators that can deal with rapidly-changing righthand sides. This tutorial describes the application of "adaptive" [ variable timestep ] integrators to "stiff" mechanical problems encountered in modern applications of Gibbs' 1902 statistical mechanics. Linear harmonic oscillators…
▽ More
"Stiff" differential equations are commonplace in engineering and dynamical systems. To solve them we need flexible integrators that can deal with rapidly-changing righthand sides. This tutorial describes the application of "adaptive" [ variable timestep ] integrators to "stiff" mechanical problems encountered in modern applications of Gibbs' 1902 statistical mechanics. Linear harmonic oscillators subject to nonlinear thermal constraints can exhibit either stiff or smooth dynamics. Two closely-related examples, Nosé's 1984 dynamics and Nosé-Hoover 1985 dynamics, are both based on Hamiltonian mechanics, as was ultimately clarified by Dettmann and Morriss in 1996. Both these dynamics are consistent with Gibbs' canonical ensemble. Nosé's dynamics is "stiff" and can present severe numerical difficulties. Nosé-Hoover dynamics, though it follows exactly the same trajectory, is "smooth" and relatively trouble-free. Our tutorial emphasises the power of adaptive integrators to resolve stiff problems like the Nosé oscillator. The solutions obtained illustrate the power of computer graphics to enrich numerical solutions. Adaptive integration with computer graphics are basic to an understanding of dynamical systems and statistical mechanics. These tools lead naturally into the visualization of intricate fractal structures formed by chaos as well as elaborate knots tied by regular nonchaotic dynamics. This work was invited by the American Journal of Physics.
△ Less
Submitted 23 September, 2016; v1 submitted 27 February, 2016;
originally announced February 2016.
-
The Equivalence of Dissipation from Gibbs' Entropy Production with Phase-Volume Loss in Ergodic Heat-Conducting Oscillators
Authors:
Puneet Kumar Patra,
William Graham Hoover,
Carol Griswold Hoover,
Julien Clinton Sprott
Abstract:
Gibbs' thermodynamic entropy is given by the logarithm of the phase volume, which itself responds to heat transfer to and from thermal reservoirs. We compare the thermodynamic dissipation described by phase-volume loss with heat-transfer entropy production. Their equivalence is documented for computer simulations of the response of an ergodic harmonic oscillator to thermostated temperature gradien…
▽ More
Gibbs' thermodynamic entropy is given by the logarithm of the phase volume, which itself responds to heat transfer to and from thermal reservoirs. We compare the thermodynamic dissipation described by phase-volume loss with heat-transfer entropy production. Their equivalence is documented for computer simulations of the response of an ergodic harmonic oscillator to thermostated temperature gradients. In the simulations one or two thermostat variables control the kinetic energy or the kinetic energy and its fluctuation. All of the motion equations are time-reversible. We consider both strong and weak control variables. In every case the time-averaged dissipative loss of phase-space volume coincides with the entropy produced by heat transfer. Linear response theory nicely reproduces the small-gradient results obtained by computer simulation. The thermostats considered here are ergodic and provide simple dynamical models, some of them with as few as three ordinary differential equations, while remaining capable of reproducing Gibbs' canonical phase-space distribution and precisely consistent with irreversible thermodynamics.
△ Less
Submitted 11 December, 2015; v1 submitted 10 November, 2015;
originally announced November 2015.
-
Nonequilibrium Systems : Hard Disks and Harmonic Oscillators Near and Far From Equilibrium
Authors:
William Graham Hoover,
Carol Griswold Hoover,
Julien Clinton Sprott
Abstract:
We relate progress in statistical mechanics, both at and far from equilibrium, to advances in the theory of dynamical systems. We consider computer simulations of time-reversible deterministic chaos in small systems with three- and four-dimensional phase spaces. These models provide us with a basis for understanding equilibration and thermodynamic irreversibility in terms of Lyapunov instability,…
▽ More
We relate progress in statistical mechanics, both at and far from equilibrium, to advances in the theory of dynamical systems. We consider computer simulations of time-reversible deterministic chaos in small systems with three- and four-dimensional phase spaces. These models provide us with a basis for understanding equilibration and thermodynamic irreversibility in terms of Lyapunov instability, fractal distributions, and thermal constraints
△ Less
Submitted 23 August, 2016; v1 submitted 29 July, 2015;
originally announced July 2015.
-
Time-Reversible Ergodic Maps and the 2015 Ian Snook Prize
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
The time reversibility characteristic of Hamiltonian mechanics has long been extended to nonHamiltonian dynamical systems modeling nonequilibrium steady states with feedback-based thermostats and ergostats. Typical solutions are multifractal attractor-repellor phase-space pairs with reversed momenta and unchanged coordinates, $(q,p)\longleftrightarrow (q,-p)$ . Weak control of the temperature,…
▽ More
The time reversibility characteristic of Hamiltonian mechanics has long been extended to nonHamiltonian dynamical systems modeling nonequilibrium steady states with feedback-based thermostats and ergostats. Typical solutions are multifractal attractor-repellor phase-space pairs with reversed momenta and unchanged coordinates, $(q,p)\longleftrightarrow (q,-p)$ . Weak control of the temperature, $\propto p^2$ and its fluctuation, resulting in ergodicity, has recently been achieved in a three-dimensional time-reversible model of a heat-conducting harmonic oscillator. Two-dimensional cross sections of such nonequilibrium flows can be generated with time-reversible dissipative maps yielding æsthetically interesting attractor-repellor pairs. We challenge the reader to find and explore such time-reversible dissipative maps. This challenge is the 2015 Snook-Prize Problem.
△ Less
Submitted 12 August, 2015; v1 submitted 4 July, 2015;
originally announced July 2015.
-
Ergodicity of a Singly-Thermostated Harmonic Oscillator
Authors:
William Graham Hoover,
Julien Clinton Sprott,
Carol Griswold Hoover
Abstract:
Although Nose's thermostated mechanics is formally consistent with Gibbs' canonical ensemble, the thermostated Nose-Hoover ( harmonic ) oscillator, with its mean kinetic temperature controlled, is far from ergodic. Much of its phase space is occupied by regular conservative tori. Oscillator ergodicity has previously been achieved by controlling two oscillator moments with two thermostat variables.…
▽ More
Although Nose's thermostated mechanics is formally consistent with Gibbs' canonical ensemble, the thermostated Nose-Hoover ( harmonic ) oscillator, with its mean kinetic temperature controlled, is far from ergodic. Much of its phase space is occupied by regular conservative tori. Oscillator ergodicity has previously been achieved by controlling two oscillator moments with two thermostat variables. Here we use computerized searches in conjunction with visualization to find singly-thermostated motion equations for the oscillator which are consistent with Gibbs' canonical distribution. These models are the simplest able to bridge the gap between Gibbs' statistical ensembles and Newtonian single-particle dynamics.
△ Less
Submitted 23 August, 2015; v1 submitted 28 April, 2015;
originally announced April 2015.
-
Comparison of Very Smooth Cell-Model Trajectories Using Five Symplectic and Two Runge-Kutta Integrators
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
Time-reversible symplectic methods, which are precisely compatible with Liouville's phase-volume-conservation theorem, are often recommended for computational simulations of Hamiltonian mechanics. Lack of energy drift is an apparent advantage of such methods. But all numerical methods are susceptible to Lyapunov instability, which severely limits the maximum time for which chaotic solutions can be…
▽ More
Time-reversible symplectic methods, which are precisely compatible with Liouville's phase-volume-conservation theorem, are often recommended for computational simulations of Hamiltonian mechanics. Lack of energy drift is an apparent advantage of such methods. But all numerical methods are susceptible to Lyapunov instability, which severely limits the maximum time for which chaotic solutions can be "accurate". The "advantages" of higher-order methods are lost rapidly for typical chaotic Hamiltonians. We illustrate these difficulties for a useful reproducible test case, the two-dimensional one-particle cell model with specially smooth forces. This Hamiltonian problem is chaotic and occurs on a three-dimensional constant-energy shell, the minimum dimension for chaos. We benchmark the problem with quadruple-precision trajectories using the fourth-order Candy-Rozmus, fifth-order Runge-Kutta, and eighth-order Schlier-Seiter-Teloy integrators. We compare the last, most-accurate particle trajectories to those from six double-precision algorithms, four symplectic and two Runge-Kutta.
△ Less
Submitted 21 April, 2015; v1 submitted 2 April, 2015;
originally announced April 2015.
-
Ergodicity of the Martyna-Klein-Tuckerman Thermostat and the 2014 Snook Prize
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
Nosé and Hoover's 1984 work showed that although Nosé and Nosé-Hoover dynamics were both consistent with Gibbs' canonical distribution neither dynamics, when applied to the harmonic oscillator, provided Gibbs' Gaussian distribution. Further investigations indicated that two independent thermostat variables are necessary, and often sufficient, to generate Gibbs' canonical distribution for an oscill…
▽ More
Nosé and Hoover's 1984 work showed that although Nosé and Nosé-Hoover dynamics were both consistent with Gibbs' canonical distribution neither dynamics, when applied to the harmonic oscillator, provided Gibbs' Gaussian distribution. Further investigations indicated that two independent thermostat variables are necessary, and often sufficient, to generate Gibbs' canonical distribution for an oscillator. Three successful time-reversible and deterministic sets of two-thermostat motion equations were developed in the 1990s. We analyze one of them here. It was developed by Martyna, Klein, and Tuckerman in 1992. Its ergodicity was called into question by Patra and Bhattacharya in 2014. This question became the subject of the 2014 Snook Prize. Here we summarize the previous work on this problem and elucidate new details of the chaotic dynamics in the neighborhood of the two fixed points. We apply six separate tests for ergodicity and conclude that the MKT equations are fully compatible with all of them, in consonance with our recent work with Clint Sprott and Puneet Patra.
△ Less
Submitted 28 January, 2015; v1 submitted 26 January, 2015;
originally announced January 2015.
-
Fracture toughness of calcium-silicate-hydrate grains from molecular dynamics simulations
Authors:
M. Bauchy,
H. Laubie,
M. J. Abdolhosseini Qomi,
C. G. Hoover,
F. -J. Ulm,
R. J. -M. Pellenq
Abstract:
Cement is the most widely used manufacturing material in the world and improving its toughness would allow for the design of slender infrastructure, requiring less material. To this end, we investigate by means of molecular dynamics simulations the fracture of calcium-silicate-hydrate (C-S-H), the binding phase of cement, responsible for its mechanical properties. For the first time, we report val…
▽ More
Cement is the most widely used manufacturing material in the world and improving its toughness would allow for the design of slender infrastructure, requiring less material. To this end, we investigate by means of molecular dynamics simulations the fracture of calcium-silicate-hydrate (C-S-H), the binding phase of cement, responsible for its mechanical properties. For the first time, we report values of the fracture toughness, critical energy release rate, and surface energy of C-S-H grains. This allows us to discuss the brittleness of the material at the atomic scale. We show that, at this scale, C-S-H breaks in a ductile way, which prevents from using methods based on linear elastic fracture mechanics. Knowledge of the fracture properties of C-S-H at the nanoscale opens the way for an upscaling approach to the design of tougher cement.
△ Less
Submitted 10 October, 2014;
originally announced October 2014.
-
Ergodicity of a Time-Reversibly Thermostated Harmonic Oscillator and the 2014 Ian Snook Prize
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
Shuichi Nosé opened up a new world of atomistic simulation in 1984. He formulated a Hamiltonian tailored to generate Gibbs' canonical distribution dynamically. This clever idea bridged the gap between microcanonical molecular dynamics and canonical statistical mechanics. Until then the canonical distribution was explored with Monte Carlo sampling. Nosé's dynamical Hamiltonian bridge requires the "…
▽ More
Shuichi Nosé opened up a new world of atomistic simulation in 1984. He formulated a Hamiltonian tailored to generate Gibbs' canonical distribution dynamically. This clever idea bridged the gap between microcanonical molecular dynamics and canonical statistical mechanics. Until then the canonical distribution was explored with Monte Carlo sampling. Nosé's dynamical Hamiltonian bridge requires the "ergodic" support of a space-filling structure in order to reproduce the entire distribution. For sufficiently small systems, such as the harmonic oscillator, Nosé's dynamical approach failed to agree with Gibbs' sampling and instead showed a complex structure, partitioned into a chaotic sea, islands, and chains of islands, that is familiar textbook fare from investigations of Hamiltonian chaos. In trying to enhance small-system ergodicity several more complicated "thermostated" equations of motion were developed. All were consistent with the canonical Gaussian distribution for the oscillator coordinate and momentum. The ergodicity of the various approaches has undergone several investigations, with somewhat inconclusive ( contradictory ) results. Here we illustrate several ways to test ergodicity and challenge the reader to find even more convincing algorithms or an entirely new approach to this problem.
△ Less
Submitted 1 August, 2014;
originally announced August 2014.
-
What is liquid? Lyapunov instability reveals symmetry-breaking irreversibilities hidden within Hamilton's many-body equations of motion
Authors:
Wm. G. Hoover,
C. G. Hoover
Abstract:
Typical Hamiltonian liquids display exponential "Lyapunov instability", also called "sensitive dependence on initial conditions". Although Hamilton's equations are thoroughly time-reversible, the forward and backward Lyapunov instabilities can differ, qualitatively. In numerical work, the expected forward/backward pairing of Lyapunov exponents is also occasionally violated. To illustrate, we consi…
▽ More
Typical Hamiltonian liquids display exponential "Lyapunov instability", also called "sensitive dependence on initial conditions". Although Hamilton's equations are thoroughly time-reversible, the forward and backward Lyapunov instabilities can differ, qualitatively. In numerical work, the expected forward/backward pairing of Lyapunov exponents is also occasionally violated. To illustrate, we consider many-body inelastic collisions in two space dimensions. Two mirror-image colliding crystallites can either bounce, or not, giving rise to a single liquid drop, or to several smaller droplets, depending upon the initial kinetic energy and the interparticle forces. The difference between the forward and backward evolutionary instabilities of these problems can be correlated with dissipation and with the Second Law of Thermodynamics. Accordingly, these asymmetric stabilities of Hamilton's equations can provide an "Arrow of Time". We illustrate these facts for two small crystallites colliding so as to make a warm liquid. We use a specially-symmetrized form of Levesque and Verlet's bit-reversible Leapfrog integrator. We analyze trajectories over millions of collisions with several equally-spaced time reversals.
△ Less
Submitted 3 April, 2015; v1 submitted 10 May, 2014;
originally announced May 2014.
-
Heat Conduction, and the Lack Thereof, in Time-Reversible Dynamical Systems: Generalized Nosé-Hoover Oscillators with a Temperature Gradient
Authors:
Julien Clinton Sprott,
William Graham Hoover,
Carol Griswold Hoover
Abstract:
We use nonequilibrium molecular dynamics to analyze and illustrate the qualitative differences between the one-thermostat and two-thermostat versions of equilibrium and nonequilibrium (heat-conducting) harmonic oscillators. Conservative nonconducting regions can coexist with dissipative heat conducting regions in phase space with exactly the same imposed temperature field.
We use nonequilibrium molecular dynamics to analyze and illustrate the qualitative differences between the one-thermostat and two-thermostat versions of equilibrium and nonequilibrium (heat-conducting) harmonic oscillators. Conservative nonconducting regions can coexist with dissipative heat conducting regions in phase space with exactly the same imposed temperature field.
△ Less
Submitted 12 April, 2014; v1 submitted 8 January, 2014;
originally announced January 2014.
-
Shockwave Compression and Joule-Thomson Expansion
Authors:
Wm. G. Hoover,
Carol G. Hoover,
Karl P. Travis
Abstract:
Structurally-stable atomistic one-dimensional shockwaves have long been simulated by injecting fresh cool particles and extracting old hot particles at opposite ends of a simulation box. The resulting shock profiles demonstrate tensor temperature, with the longitudinal temperature exceeding the transverse, and Maxwell's delayed response, with stress lagging strainrate and heat flux lagging tempera…
▽ More
Structurally-stable atomistic one-dimensional shockwaves have long been simulated by injecting fresh cool particles and extracting old hot particles at opposite ends of a simulation box. The resulting shock profiles demonstrate tensor temperature, with the longitudinal temperature exceeding the transverse, and Maxwell's delayed response, with stress lagging strainrate and heat flux lagging temperature gradient. Here this same geometry, supplemented by a short-ranged external "plug" field, is used to simulate steady Joule-Kelvin throttling flow of hot dense fluid through a porous plug, producing a dilute and cooler product fluid.
△ Less
Submitted 11 November, 2013; v1 submitted 7 November, 2013;
originally announced November 2013.
-
Time-Reversible Random Number Generators : Solution of Our Challenge by Federico Ricci-Tersenghi
Authors:
Wm. G. Hoover,
Carol G. Hoover
Abstract:
Nearly all the evolution equations of physics are time-reversible, in the sense that a movie of the solution, played backwards, would obey exactly the same differential equations as the original forward solution. By way of contrast, stochastic approaches are typically not time-reversible, though they could be made so by the simple expedient of storing their underlying pseudorandom numbers in an ar…
▽ More
Nearly all the evolution equations of physics are time-reversible, in the sense that a movie of the solution, played backwards, would obey exactly the same differential equations as the original forward solution. By way of contrast, stochastic approaches are typically not time-reversible, though they could be made so by the simple expedient of storing their underlying pseudorandom numbers in an array. Here we illustrate the notion of time-reversible random number generators. In Version 1 we offered a suitable reward for the first arXiv response furnishing a reversed version of an only slightly-more-complicated pseudorandom number generator. Here we include Professor Ricci-Tersenghi's prize-winning reversed version as described in his arXiv:1305.1805 contribution: "The Solution to the Challenge in `Time-Reversible Random Number Generators' by Wm. G. Hoover and Carol G. Hoover".
△ Less
Submitted 18 May, 2013; v1 submitted 4 May, 2013;
originally announced May 2013.
-
Hamiltonian Thermostats Fail to Promote Heat Flow
Authors:
Wm. G. Hoover,
Carol G. Hoover
Abstract:
Hamiltonian mechanics can be used to constrain temperature simultaneously with energy. We illustrate the interesting situations that develop when two different temperatures are imposed within a composite Hamiltonian system. The model systems we treat are "phi-4" chains, with quartic tethers and quadratic nearest-neighbor Hooke's-law interactions. This model is known to satisfy Fourier's law. Our p…
▽ More
Hamiltonian mechanics can be used to constrain temperature simultaneously with energy. We illustrate the interesting situations that develop when two different temperatures are imposed within a composite Hamiltonian system. The model systems we treat are "phi-4" chains, with quartic tethers and quadratic nearest-neighbor Hooke's-law interactions. This model is known to satisfy Fourier's law. Our prototypical problem sandwiches a Newtonian subsystem between hot and cold Hamiltonian reservoir regions. We have characterized four different Hamiltonian reservoir types. There is no tendency for any of these two-temperature Hamiltonian simulations to transfer heat from the hot to the cold degrees of freedom. Evidently steady heat flow simulations require energy sources and sinks, and are therefore incompatible with Hamiltonian mechanics.
△ Less
Submitted 15 July, 2013; v1 submitted 25 March, 2013;
originally announced March 2013.
-
Time-Symmetry Breaking in Hamiltonian Mechanics
Authors:
Wm. G. Hoover,
Carol G. Hoover
Abstract:
Hamiltonian trajectories are strictly time-reversible. Any time series of Hamiltonian coordinates {q} satisfying Hamilton's motion equations will likewise satisfy them when played "backwards", with the corresponding momenta changing signs : {+p} --> {-p}. Here we adopt Levesque and Verlet's precisely bit-reversible motion algorithm to ensure that the trajectory reversibility is exact, with the for…
▽ More
Hamiltonian trajectories are strictly time-reversible. Any time series of Hamiltonian coordinates {q} satisfying Hamilton's motion equations will likewise satisfy them when played "backwards", with the corresponding momenta changing signs : {+p} --> {-p}. Here we adopt Levesque and Verlet's precisely bit-reversible motion algorithm to ensure that the trajectory reversibility is exact, with the forward and backward sets of coordinates identical. Nevertheless, the associated instantaneous Lyapunov instability, or "sensitive dependence on initial conditions" of "chaotic" (or "Lyapunov unstable") bit-reversible coordinate trajectories can still exhibit an exponentially growing time-symmetry-breaking irreversibility. Surprisingly, the positive and negative exponents, as well as the forward and backward Lyapunov spectra, are usually not closely related, and so give four differing topological measures of "local" chaos. We have demonstrated this symmetry breaking for fluid shockwaves, for free expansions, and for chaotic molecular collisions. Here we illustrate and discuss this time-symmetry breaking for three statistical-mechanical systems, [1] a minimal (but still chaotic) one-body "cell model" with a four-dimensional phase space; [2] relatively small colliding crystallites, for which the whole Lyapunov spectrum is accessible; [3] a near-continuum inelastic collision of two larger 400-particle balls. In the last two of these pedagogical problems the two colliding bodies coalesce. The particles most prone to Lyapunov instability are dramatically different in the two time directions. Thus this Lyapunov-based symmetry breaking furnishes an interesting Arrow of Time.
△ Less
Submitted 8 March, 2013; v1 submitted 11 February, 2013;
originally announced February 2013.
-
Microscopic and Macroscopic Rayleigh-Benard Flows : Continuum and Particle Simulations, Turbulence, Fluctuations, Time Reversibility, and Lyapunov Instability
Authors:
Wm. G. Hoover,
Carol G. Hoover
Abstract:
We discuss the irreversibility, nonlocality, and fluctuations, as well as the Lyapunov and hydrodynamic instabilities characterizing atomistic, smooth-particle, and finite-difference solutions of the two-dimensional Rayleigh-Bénard problem. To speed up the numerical analysis we control the time-dependence of the Rayleigh number so as to include many distinct flow morphologies in a single simulatio…
▽ More
We discuss the irreversibility, nonlocality, and fluctuations, as well as the Lyapunov and hydrodynamic instabilities characterizing atomistic, smooth-particle, and finite-difference solutions of the two-dimensional Rayleigh-Bénard problem. To speed up the numerical analysis we control the time-dependence of the Rayleigh number so as to include many distinct flow morphologies in a single simulation. The relatively simple nature of these computational algorithms and the richness of the results they can yield make such studies and their interpretation particularly well suited to graduate-level research.
△ Less
Submitted 21 May, 2012;
originally announced May 2012.
-
Linking Microscopic Reversibility to Macroscopic Irreversibility, Emphasizing the Role of Deterministic Thermostats and Simple Examples, At and Away From Equilibrium
Authors:
William G. Hoover,
Carol G. Hoover
Abstract:
Molecular Dynamics and Statistical Mechanics make possible a particle-based understanding of Thermodynamics and Hydrodynamics, including the fascinating Loschmidt contradiction between time-reversible atomistic mechanics and the time-irreversible thermodynamic dissipation incorporated into macroscopic fluid and solid mechanics.
Molecular Dynamics and Statistical Mechanics make possible a particle-based understanding of Thermodynamics and Hydrodynamics, including the fascinating Loschmidt contradiction between time-reversible atomistic mechanics and the time-irreversible thermodynamic dissipation incorporated into macroscopic fluid and solid mechanics.
△ Less
Submitted 24 June, 2012; v1 submitted 6 May, 2012;
originally announced May 2012.
-
Steady Periodic Shear Flow is Stable in Two Space Dimensions . Nonequilibrium Molecular Dynamics vs Navier-Stokes-Fourier Stability Theory -- A Comment on two Arxiv Contributions
Authors:
Wm. G. Hoover,
Carol G. Hoover
Abstract:
Dufty, Lee, Lutsko, Montanero, and Santos have carried out stability analyses of steady stationary shear flows. Their approach is based on the compressible and heat conducting Navier-Stokes-Fourier model. It predicts the unstable exponential growth of long-wavelength transverse perturbations for both two- and three-dimensional fluids. We point out that the patently-stable two-dimensional periodic…
▽ More
Dufty, Lee, Lutsko, Montanero, and Santos have carried out stability analyses of steady stationary shear flows. Their approach is based on the compressible and heat conducting Navier-Stokes-Fourier model. It predicts the unstable exponential growth of long-wavelength transverse perturbations for both two- and three-dimensional fluids. We point out that the patently-stable two-dimensional periodic shear flows studied earlier by Petravic, Posch, and ourselves contradict these predicted instabilities. The stable steady-state shear flows are based on nonequilibrium molecular dynamics with simple thermostats maintaining nonequilibrium stationary states in two space dimensions. The failure of the stability analyses remains unexplained.
△ Less
Submitted 24 March, 2012; v1 submitted 6 March, 2012;
originally announced March 2012.
-
Time's Arrow for Shockwaves ; Bit-Reversible Lyapunov and "Covariant" Vectors ; Symmetry Breaking
Authors:
Wm. G. Hoover,
Carol G. Hoover
Abstract:
Strong shockwaves generate entropy quickly and locally. The Newton-Hamilton equations of motion, which underly the dynamics, are perfectly time-reversible. How do they generate the irreversible shock entropy? What are the symptoms of this irreversibility? We investigate these questions using Levesque and Verlet's bit-reversible algorithm. In this way we can generate an entirely imaginary past cons…
▽ More
Strong shockwaves generate entropy quickly and locally. The Newton-Hamilton equations of motion, which underly the dynamics, are perfectly time-reversible. How do they generate the irreversible shock entropy? What are the symptoms of this irreversibility? We investigate these questions using Levesque and Verlet's bit-reversible algorithm. In this way we can generate an entirely imaginary past consistent with the irreversibility observed in the present. We use Runge-Kutta integration to analyze the local Lyapunov instability of the forward and backward processes so as to identify those particles most intimately connected with the irreversibility described by the Second Law of Thermodynamics. Despite the perfect time symmetry of the particle trajectories, the fully-converged vectors associated with the largest Lyapunov exponents, forward and backward in time, are qualitatively different. The vectors display a time-symmetry breaking equivalent to Time's Arrow. That is, in autonomous Hamiltonian shockwaves the largest local Lyapunov exponents, forward and backward in time, are quite different.
△ Less
Submitted 10 July, 2014; v1 submitted 22 December, 2011;
originally announced December 2011.
-
Free Energy Changes, Fluctuations, and Path Probabilities
Authors:
William G. Hoover,
Carol G. Hoover
Abstract:
We illustrate some of the static and dynamic relations discovered by Cohen, Crooks, Evans, Jarzynski, Kirkwood, Morriss, Searles, and Zwanzig. These relations link nonequilibrium processes to equilibrium isothermal free energy changes and to dynamical path probabilities. We include ideas suggested by Dellago, Geissler, Oberhofer, and Schoell-Paschinger. Our treatment is intended to be pedagogical,…
▽ More
We illustrate some of the static and dynamic relations discovered by Cohen, Crooks, Evans, Jarzynski, Kirkwood, Morriss, Searles, and Zwanzig. These relations link nonequilibrium processes to equilibrium isothermal free energy changes and to dynamical path probabilities. We include ideas suggested by Dellago, Geissler, Oberhofer, and Schoell-Paschinger. Our treatment is intended to be pedagogical, for use in an updated version of our book: Time Reversibility, Computer Simulation, and Chaos. Comments are very welcome.
△ Less
Submitted 19 April, 2011;
originally announced April 2011.
-
Nonequilibrium Fluctuations in a Gaussian Galton Board (or Periodic Lorentz Gas) Using Long Periodic Orbits
Authors:
Wm. G. Hoover,
Carol G. Hoover
Abstract:
Predicting nonequilibrium fluctuations requires a knowledge of nonequilibrium distribution functions. Despite the distributions' fractal character some theoretical results, "Fluctuation Theorems", reminiscent of but distinct from, Gibbs' equilibrium statistical mechanics and the Central Limit Theorem, have been established away from equilibrium and applied to simple models. We summarize the simple…
▽ More
Predicting nonequilibrium fluctuations requires a knowledge of nonequilibrium distribution functions. Despite the distributions' fractal character some theoretical results, "Fluctuation Theorems", reminiscent of but distinct from, Gibbs' equilibrium statistical mechanics and the Central Limit Theorem, have been established away from equilibrium and applied to simple models. We summarize the simplest of these results for a Gaussian-thermostated Galton Board problem, a field-driven mass point moving through a periodic array of hard-disk scatterers. The billion-collision trillion-timestep data we analyze correspond to periodic orbits with up to 793,951,594 collisions and 447,064,397,614 timesteps.
△ Less
Submitted 9 January, 2011; v1 submitted 10 November, 2010;
originally announced November 2010.
-
Three Lectures: Nemd, Spam, and Shockwaves
Authors:
Wm. G. Hoover,
Carol G. Hoover
Abstract:
We discuss three related subjects well suited to graduate research. The first, Nonequilibrium molecular dynamics or "NEMD", makes possible the simulation of atomistic systems driven by external fields, subject to dynamic constraints, and thermostated so as to yield stationary nonequilibrium states. The second subject, Smooth Particle Applied Mechanics or "SPAM", provides a particle method, resembl…
▽ More
We discuss three related subjects well suited to graduate research. The first, Nonequilibrium molecular dynamics or "NEMD", makes possible the simulation of atomistic systems driven by external fields, subject to dynamic constraints, and thermostated so as to yield stationary nonequilibrium states. The second subject, Smooth Particle Applied Mechanics or "SPAM", provides a particle method, resembling molecular dynamics, but designed to solve continuum problems. The numerical work is simplified because the SPAM particles obey ordinary, rather than partial, differential equations. The interpolation method used with SPAM is a powerful interpretive tool converting point particle variables to twice-differentiable field variables. This interpolation method is vital to the study and understanding of the third research topic we discuss, strong shockwaves in dense fluids. Such shockwaves exhibit stationary far-from-equilibrium states obtained with purely reversible Hamiltonian mechanics. The SPAM interpolation method, applied to this molecular dynamics problem, clearly demonstrates both the tensor character of kinetic temperature and the time-delayed response of stress and heat flux to the strain rate and temperature gradients. The dynamic Lyapunov instability of the shockwave problem can be analyzed in a variety of ways, both with and without symmetry in time. These three subjects suggest many topics suitable for graduate research in nonlinear nonequilibrium problems.
△ Less
Submitted 27 September, 2010; v1 submitted 29 August, 2010;
originally announced August 2010.
-
Flexible Macroscopic Models for Dense-Fluid Shockwaves: Partitioning Heat and Work; Delaying Stress and Heat Flux; Two-Temperature Thermal Relaxation
Authors:
Wm. G. Hoover,
Carol G. Hoover,
Francisco J. Uribe
Abstract:
Macroscopic models which distinguish the longitudinal and transverse temperatures can provide improved descriptions of the microscopic shock structures as revealed by molecular dynamics simulations. Additionally, we can include three relaxation times in the models, two based on Maxwell's viscoelasticity and its Cattaneo-equation analog for heat flow, and a third thermal, based on the Krook-Boltzm…
▽ More
Macroscopic models which distinguish the longitudinal and transverse temperatures can provide improved descriptions of the microscopic shock structures as revealed by molecular dynamics simulations. Additionally, we can include three relaxation times in the models, two based on Maxwell's viscoelasticity and its Cattaneo-equation analog for heat flow, and a third thermal, based on the Krook-Boltzmann equation. This approach can replicate the observed lags of stress (which lags behind the strain rate) and heat flux (which lags behind the temperature gradient), as well as the eventual equilibration of the two temperatures. For profile stability the time lags cannot be too large. By partitioning the longitudinal and transverse contributions of work and heat and including a tensor heat conductivity and bulk viscosity, all the qualitative microscopic features of strong simple-fluid shockwave structures can be reproduced.
△ Less
Submitted 10 May, 2010;
originally announced May 2010.
-
Well-Posed Two-Temperature Constitutive Equations for Stable Dense Fluid Shockwaves using Molecular Dynamics and Generalizations of Navier-Stokes-Fourier Continuum Mechanics
Authors:
Wm. G. Hoover,
Carol G. Hoover
Abstract:
Guided by molecular dynamics simulations, we generalize the Navier-Stokes-Fourier constitutive equations and the continuum motion equations to include both transverse and longitudinal temperatures. To do so we partition the contributions of the heat transfer, the work done, and the heat flux vector between the longitudinal and transverse temperatures. With shockwave boundary conditions time-depe…
▽ More
Guided by molecular dynamics simulations, we generalize the Navier-Stokes-Fourier constitutive equations and the continuum motion equations to include both transverse and longitudinal temperatures. To do so we partition the contributions of the heat transfer, the work done, and the heat flux vector between the longitudinal and transverse temperatures. With shockwave boundary conditions time-dependent solutions of these equations converge to give stationary shockwave profiles. The profiles include anisotropic temperature and can be fitted to molecular dynamics results, demonstrating the utility and simplicity of a two-temperature description of far-from-equilibrium states.
△ Less
Submitted 7 March, 2010; v1 submitted 6 January, 2010;
originally announced January 2010.
-
Tensor Temperature and Shockwave Stability in a Strong Two-Dimensional Shockwave
Authors:
Wm. G. Hoover,
Carol G. Hoover
Abstract:
The anisotropy of temperature is studied here in a strong two-dimensional shockwave, simulated with conventional molecular dynamics. Several forms of the kinetic temperature are considered, corresponding to different choices for the local instantaneous stream velocity. A local particle-based definition omitting any "self" contribution to the stream velocity gives the best results. The configurat…
▽ More
The anisotropy of temperature is studied here in a strong two-dimensional shockwave, simulated with conventional molecular dynamics. Several forms of the kinetic temperature are considered, corresponding to different choices for the local instantaneous stream velocity. A local particle-based definition omitting any "self" contribution to the stream velocity gives the best results. The configurational temperature is not useful for this shockwave problem. Configurational temperature is subject to a shear instability and can give local negative temperatures in the vicinity of the shock front. The decay of sinusoidal shockfront perturbations shows that strong two-dimensional planar shockwaves are stable to such perturbations.
△ Less
Submitted 23 June, 2009; v1 submitted 12 May, 2009;
originally announced May 2009.
-
Single-Speed Molecular Dynamics of Hard Parallel Squares and Cubes
Authors:
Wm G Hoover,
Carol G Hoover,
Marcus N. Bannerman
Abstract:
The fluid and solid equations of state for hard parallel squares and cubes are reinvestigated here over a wide range of densities. We use a novel single-speed version of molecular dynamics. Our results are compared with those from earlier simulations, as well as with the predictions of the virial series, the cell model, and Kirkwood's many-body single-occupancy model. The single-occupancy model…
▽ More
The fluid and solid equations of state for hard parallel squares and cubes are reinvestigated here over a wide range of densities. We use a novel single-speed version of molecular dynamics. Our results are compared with those from earlier simulations, as well as with the predictions of the virial series, the cell model, and Kirkwood's many-body single-occupancy model. The single-occupancy model is applied to give the absolute entropy of the solid phases just as was done earlier for hard disks and hard spheres. The excellent agreement found here with all relevant previous work shows very clearly that configurational properties, such as the equation of state, do not require the maximum-entropy Maxwell-Boltzmann velocity distribution. For both hard squares and hard cubes the free-volume theory provides a good description of the high-density solid-phase pressure. Hard parallel squares appear to exhibit a second-order melting transition at a density of 0.79 relative to close-packing. Hard parallel cubes have a more complicated equation of state, with several relatively-gentle curvature changes, but nothing so abrupt as to indicate a first-order melting transition. Because the number-dependence for the cubes is relatively large the exact nature of the cube transition remains unknown.
△ Less
Submitted 10 July, 2009; v1 submitted 3 May, 2009;
originally announced May 2009.