- •Preface
- •Foreword
- •The Henri Poincaré Prize
- •Contributors
- •Contents
- •Stability of Doubly Warped Product Spacetimes
- •Introduction
- •Warped Product Spacetimes
- •Asymptotic Behavior
- •Fuchsian Method
- •Velocity Dominated Equations
- •Velocity Dominated Solution
- •Stability
- •References
- •Introduction
- •The Tomonaga Model with Infrared Cutoff
- •The RG Analysis
- •The Dyson Equation
- •The First Ward Identity
- •The Second Ward Identity
- •The Euclidean Thirring Model
- •References
- •Introduction
- •Lie and Hopf Algebras of Feynman Graphs
- •From Hochschild Cohomology to Physics
- •Dyson-Schwinger Equations
- •References
- •Introduction
- •Quantum Representation and Dynamical Equations
- •Quantum Singularity Problem
- •Examples for Properties of Solutions
- •Effective Theory
- •Summary
- •Introduction
- •Results and Strategy of Proofs
- •References
- •Introduction
- •Critical Scaling Limits and SLE
- •Percolation
- •The Critical Loop Process
- •General Features
- •Construction of a Single Loop
- •The Near-Critical Scaling Limit
- •References
- •Black Hole Entropy Function and Duality
- •Introduction
- •Entropy Function and Electric/Magnetic Duality Covariance
- •Duality Invariant OSV Integral
- •References
- •Weak Turbulence for Periodic NLS
- •Introduction
- •Arnold Diffusion for the Toy Model ODE
- •References
- •Angular Momentum-Mass Inequality for Axisymmetric Black Holes
- •Introduction
- •Variational Principle for the Mass
- •References
- •Introduction
- •The Trace Map
- •Introduction
- •Notations
- •Entanglement-Assisted Quantum Error-Correcting Codes
- •The Channel Model: Discretization of Errors
- •The Entanglement-Assisted Canonical Code
- •The General Case
- •Distance
- •Generalized F4 Construction
- •Bounds on Performance
- •Conclusions
- •References
- •Particle Decay in Ising Field Theory with Magnetic Field
- •Ising Field Theory
- •Evolution of the Mass Spectrum
- •Particle Decay off the Critical Isotherm
- •Unstable Particles in Finite Volume
- •References
- •Lattice Supersymmetry from the Ground Up
- •References
- •Stable Maps are Dense in Dimensional One
- •Introduction
- •Density of Hyperbolicity
- •Quasi-Conformal Rigidity
- •How to Prove Rigidity?
- •The Strategy of the Proof of QC-Rigidity
- •Enhanced Nest Construction
- •Small Distortion of Thin Annuli
- •Approximating Non-renormalizable Complex Polynomials
- •References
- •Large Gap Asymptotics for Random Matrices
- •References
- •Introduction
- •Coupled Oscillators
- •Closure Equations
- •Introduction
- •Conservative Stochastic Dynamics
- •Diffusive Evolution: Green-Kubo Formula
- •Kinetic Limits: Phonon Boltzmann Equation
- •References
- •Introduction
- •Bethe Ansatz for Classical Lie Algebras
- •The Pseudo-Differential Equations
- •Conclusions
- •References
- •Kinetically Constrained Models
- •References
- •Introduction
- •Local Limits for Exit Measures
- •References
- •Young Researchers Symposium Plenary Lectures
- •Dynamics of Quasiperiodic Cocycles and the Spectrum of the Almost Mathieu Operator
- •Magic in Superstring Amplitudes
- •XV International Congress on Mathematical Physics Plenary Lectures
- •The Riemann-Hilbert Problem: Applications
- •Trying to Characterize Robust and Generic Dynamics
- •Cauchy Problem in General Relativity
- •Survey of Recent Mathematical Progress in the Understanding of Critical 2d Systems
- •Random Methods in Quantum Information Theory
- •Gauge Fields, Strings and Integrable Systems
- •XV International Congress on Mathematical Physics Specialized Sessions
- •Condensed Matter Physics
- •Rigorous Construction of Luttinger Liquids Through Ward Identities
- •Edge and Bulk Currents in the Integer Quantum Hall Effect
- •Dynamical Systems
- •Statistical Stability for Hénon Maps of Benedics-Carleson Type
- •Entropy and the Localization of Eigenfunctions
- •Equilibrium Statistical Mechanics
- •Short-Range Spin Glasses in a Magnetic Field
- •Non-equilibrium Statistical Mechanics
- •Current Fluctuations in Boundary Driven Interacting Particle Systems
- •Fourier Law and Random Walks in Evolving Environments
- •Exactly Solvable Systems
- •Correlation Functions and Hidden Fermionic Structure of the XYZ Spin Chain
- •Particle Decay in Ising Field Theory with Magnetic Field
- •General Relativity
- •Einstein Spaces as Attractors for the Einstein Flow
- •Loop Quantum Cosmology
- •Operator Algebras
- •From Vertex Algebras to Local Nets of von Neuman Algebras
- •Non-Commutative Manifolds and Quantum Groups
- •Partial Differential Equations
- •Weak Turbulence for Periodic NSL
- •Ginzburg-Landau Dynamics
- •Probability Theory
- •From Planar Gaussian Zeros to Gravitational Allocation
- •Quantum Mechanics
- •Recent Progress in the Spectral Theory of Quasi-Periodic Operators
- •Recent Results on Localization for Random Schrödinger Operators
- •Quantum Field Theory
- •Algebraic Aspects of Perturbative and Non-Perturbative QFT
- •Quantum Field Theory in Curved Space-Time
- •Lattice Supersymmetry From the Ground Up
- •Analytical Solution for the Effective Charging Energy of the Single Electron Box
- •Quantum Information
- •One-and-a-Half Quantum de Finetti Theorems
- •Catalytic Quantum Error Correction
- •Random Matrices
- •Probabilities of a Large Gap in the Scaled Spectrum of Random Matrices
- •Random Matrices, Asymptotic Analysis, and d-bar Problems
- •Stochastic PDE
- •Degenerately Forced Fluid Equations: Ergodicity and Solvable Models
- •Microscopic Stochastic Models for the Study of Thermal Conductivity
- •String Theory
- •Gauge Theory and Link Homologies
Energy Diffusion and Superdiffusion
in Oscillators Lattice Networks
Stefano Olla
Abstract I review some recent results on the thermal conductivity of chains of oscillators whose Hamiltonian dynamics is perturbed by a noise conserving energy and momentum.
1 Introduction
Let us consider a 1-dimensional chain of oscillators indexed by x Z, whose formal Hamiltonian is given by
|
|
p2 |
|
|
|
H (p, q) = |
|
|
x |
+ V (qx+1 − qx ) + W (qx ) , |
(1) |
x |
2 |
||||
|
|
|
|
|
where qx indicate the displacement of the atom x from its equilibrium position, and px its momentum (we fix for the moment all masses equal to 1). The potential V and W are some smooth positive function growing at infinity fast enough. The W potential is often called pinning.
We want to understand the macroscopic properties of energy transport for the corresponding Hamiltonian dynamics
q˙x = px , p˙x = −∂qx H . |
(2) |
When we say “macroscopic energy transport” we are meaning a certain non-equi- librium evolution that we want to observe in a space-time macroscopic scale that should be specified. This space-time scale can be typical of the model and the same model can have distinct macroscopic scalings under which it will behave very dif-
Stefano Olla
Ceremade, UMR CNRS 7534, Université de Paris Dauphine, Place du Maréchal De Lattre De Tassigny, 75775 Paris Cedex 16, France, e-mail: olla@ceremade.dauphine.fr
V. Sidoraviciusˇ (ed.), New Trends in Mathematical Physics, |
539 |
© Springer Science + Business Media B.V. 2009 |
|
540 |
Stefano Olla |
ferently. For example in the case that W = 0 (unpinned system), total momentum is also conserved and hyperbolic scaling (in which space and time are scaled in the same way) is a natural one. In the hyperbolic scaling, energy is carried around by the momentum of the particles and macroscopic evolution equation is given by the Euler equations.
Another important scaling is the diffusive scaling (time scaled as square of space) where transport of energy happens by diffusion. The macroscopic equation is usually given by heat equation. For example, when the pinning potential W is present, total momentum is not conserved and nothing moves in the hyperbolic scale. Energy will move on the diffusive space-time scale, and macroscopically its evolution should be governed by heat equation. More precisely, defining the empirical distribution of the energy
|
|
E |
|
= |
|
|
|
E |
x (ε−2t ) |
(3) |
|
|
˜ε (G, t ) |
|
ε |
G(εx) |
|
||||
|
|
|
|
|
|
|
x |
|
|
|
where Ex = |
px2 |
+ V (qx+1 |
− qx ) + W (qx ) is the energy of particle x, and G is a |
|||||||
2 |
||||||||||
smooth test function on R with compact support. We expect that |
|
|||||||||
|
|
ε 0 E |
|
|
= |
G(y)u(y, t ) dy |
(4) |
|||
|
|
lim |
˜ε (G, t ) |
|
||||||
|
|
→ |
|
|
|
|
|
|
|
|
in some statistical sense, with u(y, t ) solution of the (non-linear) heat equation |
|
|||||||||
|
|
|
∂t u = ∂x (κ(u)∂x u). |
(5) |
The function κ(u) is called thermal conductivity and can be expressed in terms of the dynamics in equilibrium:
κ(u) = t lim |
1 |
x2[ Ex (t )E (0) T − u2] |
(6) |
2t T 2 |
|||
→∞ |
|
x |
|
where the temperature T = T (u) correspond thermodynamically to the average energy u, < · >T is the expectation of the dynamics in equilibrium at temperature T .
Proving (4)–(5) from an Hamiltonian microscopic dynamics is one of the major challenge in non-equilibrium statistical mechanics [8]. It is not clear under which conditions on the interaction and initial conditions this result could be valid. Even the proof of the existence of the limit (6) defining the thermal conductivity is completely open for any deterministic system. What is clear is that (4)–(5) are not always valid. For example if V and W are quadratic (harmonic chains), then the energy corresponding to each Fourier mode is conserved and carried ballistically without any interaction with the other modes. It results that thermal conductivity is infinite in this case ([16], and for a macroscopic equation in the hyperbolic scaling see [9], as explained in Sect. 4).
In nonlinear unpinned cases (W = 0) one expects, generically in dimension 1, that κ = +∞, and correspondingly a superdiffusion of energy. This fact seems con-
Energy Diffusion |
541 |
firmed by all numerical simulation of molecular dynamics [12], even though there is not a general agreement about the order of this superdiffusivity. Most interesting would be to understand what kind of stochastic process would govern this superdiffusion.
Adding a stochastic perturbation to the Hamiltonian dynamics certainly helps to obtain some mathematical result in these problems. Of course adding noise to the microscopic dynamics may change the macroscopic behavior. The ideal is to add noise terms that change as little as possible the macroscopic behaviour, at least qualitatively. For example it is important that this noise conserves energy, and eventually momentum, since these are the quantities we expect being conserved by the infinite system.
2 Conservative Stochastic Dynamics
We consider the Hamiltonian dynamics weakly perturbed by a stochastic noise acting only on momenta and locally preserving momentum and kinetic energy. The generator of the dynamics is
L = A + γ S |
(7) |
with γ > 0, where A is the usual Hamiltonian vector field |
|
A = {px ∂qx − (∂qx H )∂px }, |
(8) |
yx Z |
|
while S is the generator of the stochastic perturbation. The operator S acts only on the momenta {py } and generates a diffusion on the surface of constant kinetic energy and constant momentum. S is defined as
S = |
1 |
(Yz)2, |
(9) |
6 |
z Z
where
Yz = (pz − pz+1)∂pz−1 + (pz+1 − pz−1)∂pz + (pz−1 − pz)∂pz+1
which is a vector field tangent to the surface of constant kinetic energy and of constant momentum for three neighbouring particles. As a consequence energy and momentum are locally conserved which, of course, implies also the conservation of total momentum and total energy of the system, i.e. formally
S px = 0, SH = 0.
x Z
Since also the Hamiltonian dynamics conserves energy, we also have LH = 0. Furthermore in the unpinned case (W = 0), L x px = 0.
542 Stefano Olla
The evolution of {p(t ), q(t )} is given by the following stochastic differential
equations |
|
|
|
|
|
|
|
dqx = px dt, |
|
|
|||||
dpx = −∂x H dt + |
γ |
Δ(4px + px−1 + px+1)dt |
(10) |
||||
6 |
|||||||
+ |
|
γ |
|
|
|
||
|
|
k=−1,0,1(Yx+k px )dwx+k (t ). |
|
||||
|
3 |
|
|||||
Here {wy (t )}y Z are independent standard Wiener processes and |
is the discrete |
||||||
Laplacian on Z: Δf (z) = f (z + 1) + f (z − 1) − 2f (z) . |
|
In the unpinned 1-dimensional case, the equilibrium measures are particularly simple. In fact the right coordinates are rx = qx+1 − qx , and the family of product measures
μλ,p,β (dp, dr) = |
|
e−β(px −p)2/2 e−βV (rx )+λrx |
|
||||
|
√ |
|
π |
|
|
(11) |
|
|
|
|
|||||
|
2 |
|
Z(λ, β) |
||||
|
x Z |
|
|
|
are stationary for the dynamics. The three parameters λ, p, β correspond to the 3 conserved quantities of the dynamics (energy, momentum and x rx , the stretch of the chain), while Z(λ, β) is the normalization constant. It can be proven that these are the only translation invariant stationary measures of the dynamics ([6], we call this property “ergodicity of the infinite dynamics”). In more dimensions the unpinned case is much more complex and even the definition of these equilibrium measures are problematic (cf. [10]).
In the unpinned one-dimensional case, since momentum is conserved, there is a non trivial macroscopic evolution on the conserved quantities in the hyperbolic scaling (space and time scaled in the same way). Let us define the energy of particle x as
|
p2 |
1 |
|
|
Ex = |
x |
+ |
|
(V (rx−1) + V (rx )). |
2 |
2 |
Locally the conservation of energy can be written as
L |
E |
x |
= |
j E |
− |
j E |
(12) |
|
|
x−1,x |
x,x+1 |
|
where the instantaneous current of energy jx,xE +1 is the sum of the current due to the Hamiltonian mechanism plus the current due to the stochastic term of the dynamics:
j E |
= |
j E ,a |
+ |
j E ,s |
|
|
|
|
|
|
||||
x,x+1 |
x,x+1 |
|
x,x+1 |
|
|
|
|
|
(13) |
|||||
|
|
1 |
|
|
|
|
|
|
|
|
|
|
||
j E ,a |
|
(px |
+ |
px 1)V |
(rx ), |
j E ,s |
= − |
γ |
|
ϕx |
||||
|
|
|
||||||||||||
|
|
|
||||||||||||
x,x+1 |
= − 2 |
|
+ |
|
x,x+1 |
|
|
with ϕx = (px2+1 + 4px2 + px2−1 + px+1px−1 − 2px+1px − 2px px−1). Similarly conservation of momentum reads as
Energy Diffusion
Lpx |
= |
j p |
|
− |
jx,xp |
1, |
||
p |
x−1,x |
|
γ |
|
+ |
|||
jx,x 1 |
= V |
(rx ) + |
6 |
(4px + px−1 + px ) |
||||
+ |
|
|
|
|
|
|
|
|
while mass conservation is simply given by
Lrx = px+1 − px .
Let G(y) a test function continuous with compact support. We expect that
|
|
rx ( −1t ) |
probability |
|
r(t, y) |
||
|
|
px ( −1t ) |
|
|
|||
|
G( x) |
−→ |
G(y) |
p(t, y) dy |
|||
|
x |
Ex ( −1t ) |
|
→ |
0 |
|
e(t, y) |
|
|
|
|
543
(14)
(15)
(16)
where r(t, y), p(t, y), e(t, y) are given by the solution of the Euler hyperbolic system of equations
∂t r = ∂y p |
|
∂t p = ∂y P (r, e − p2/2) |
(17) |
∂t e = ∂y pP (r, e − p2/2) . |
|
Here P (r, u) is the thermodynamic pressure, which is related to the thermodynamic entropy S(r, u) by the relation
P (r, u) = − |
∂r S(r, u) |
(18) |
|||
∂uS(r, u) |
|
|
|
||
and S is defined from Z(λ, β) with a Legendre transform: |
|
||||
|
|
||||
S(r, u) = sup λr − βu − log Z(λ, β) |
β/2π |
. |
(19) |
||
λ,β |
|
Pressure P (r, u) is also given by the expectation of V (rx ) with respect to μλ,p,β , for the corresponding values of the parameters λ and β.
The hydrodynamic limit (16) can be proven rigorously in the smooth regime of equation (17), by using the relative entropy method ([14], see also [1] and [6] for the application to this specific model). Note that (16) does not depend on the strength of the microscopic noise γ . Noise here is used only to prove some ergodic properties for the dynamics, necessary to obtain the result. In fact without noise this limit may not be true, as for example in the linear case (V quadratic, see below). Note also that for smooth solutions the macroscopic evolution (17) is locally isoentropic,
i.e. |
p(t, y)2 |
|
|
||
|
d |
|
|
||
|
|
S r(t, y), e(t, y) − |
|
= 0. |
(20) |
|
dt |
2 |
A challenging open problem is to extend this result to solutions that present shocks, where the above derivative is (presumably) strictly positive.