+ All Categories
Home > Documents > Kinetic theory of (lattice) waves

Kinetic theory of (lattice) waves

Date post: 02-Dec-2021
Category:
Upload: others
View: 2 times
Download: 0 times
Share this document with a friend
47
Intro DNLS Kinetic FPU Comments Extras Kinetic theory of (lattice) waves Jani Lukkarinen based on joint works with Herbert Spohn (TU M¨ unchen), Matteo Marcozzi (U Geneva), Alessia Nota (U Bonn), Christian Mendl (Stanford U), Jianfeng Lu (Duke U) Bristol 2018 Jani Lukkarinen Kinetic theory of lattice waves
Transcript
Page 1: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras

Kinetic theory of (lattice) waves

Jani Lukkarinen

based on joint works with

Herbert Spohn (TU Munchen),

Matteo Marcozzi (U Geneva), Alessia Nota (U Bonn),

Christian Mendl (Stanford U), Jianfeng Lu (Duke U)

Bristol 2018

Jani Lukkarinen Kinetic theory of lattice waves

Page 2: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Setup Evol H Init Theorem Cumulants

Part I

Time-correlations in stationary statesof the discrete NLS

[JL and H. Spohn, Invent. Math. 183 (2011) 79–188]

Jani Lukkarinen Kinetic theory of lattice waves

Page 3: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Setup Evol H Init Theorem Cumulants

Setup for the rigorous result 3

Finite lattice: L β‰₯ 2 , Ξ› = {0, 1, . . . , Lβˆ’ 1}d

Periodic BC: All arithmetic mod L

Dual lattice: Ξ›βˆ— = {0, 1L , . . . ,

Lβˆ’1L }

d

β€œIntegration” = finite sum:βˆ«Ξ›βˆ—

dk f (k) :=1

|Ξ›|βˆ‘kβˆˆΞ›βˆ—

f (k)

β€œDirac delta” = finite sum:

δΛ(k) := |Ξ›|1{k mod 1 = 0}

Fourier transform: (x ∈ Ξ›, k ∈ Ξ›βˆ—)

f (k) =βˆ‘yβˆˆΞ›

f (y)eβˆ’i2Ο€kΒ·y β‡’ f (x) =

βˆ«Ξ›βˆ—

dk β€² f (k β€²)ei2Ο€k β€²Β·x

Jani Lukkarinen Kinetic theory of lattice waves

Page 4: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Setup Evol H Init Theorem Cumulants

Evolution equations 4

Discrete nonlinear Schrodinger equation

id

dtψt(x) =

βˆ‘yβˆˆΞ›

Ξ±(x βˆ’ y)ψt(y) + Ξ»|ψt(x)|2ψt(x)

ψt : Ξ›β†’ C, t ∈ RΞ» > 0 (defocusing)

Harmonic coupling determined by Ξ± : Zd β†’ R.

Ξ± has finite range (for instance, nearest neighbour)

We assume also Ξ±(βˆ’x) = Ξ±(x)

Jani Lukkarinen Kinetic theory of lattice waves

Page 5: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Setup Evol H Init Theorem Cumulants

Conservation laws 5

Hamiltonian function

HΞ›(ψ) =βˆ‘x ,yβˆˆΞ›

Ξ±(x βˆ’ y)ψ(x)βˆ—Οˆ(y) +1

2Ξ»βˆ‘xβˆˆΞ›

|ψ(x)|4

Relate qx , px ∈ R to ψ by ψ(x) =1√2

(qx + ipx)

NLS equivalent to the Hamiltonian equations

qx = βˆ‚pxHΞ› , px = βˆ’βˆ‚qxHΞ›

Thus HΞ›(ψt) is conserved

By explicit differentiation, alsoβˆ‘

x |ψt(x)|2 is conserved

Jani Lukkarinen Kinetic theory of lattice waves

Page 6: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Setup Evol H Init Theorem Cumulants

Initial state 6

Probability distribution of ψ = ψ0 (Grand canonical ensemble)

1

Zλβ,Β΅eβˆ’Ξ²(HΞ›(ψ)βˆ’Β΅β€–Οˆβ€–2)

∏xβˆˆΞ›

[d(Reψ(x)) d(Imψ(x))]

Define ω : Td → R by ω = Fx→kα.

We consider only Ξ² > 0 and Β΅ < mink Ο‰(k)β‡’ Also the Gaussian measure at Ξ» = 0 is well-defined

Zλβ,¡ > 0 is the normalization constant

Let E denote expectation over the initial data

Jani Lukkarinen Kinetic theory of lattice waves

Page 7: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Setup Evol H Init Theorem Cumulants

Properties of the system 7

The solution ψt exists and is unique for all t ∈ R with anyinitial data ψ0 ∈ CΞ›. (conservation laws)

Initial state is stationary : E[F (ψt)] = E[F (ψ0)]

Also invariant under periodic translations:

E[F (Ο„xψ)] = E[F (ψ)], (Ο„xψ)(y) = ψ(y + x)

Translations commute with the time-evolution:

Ο„xψt = ψt |ψ0=Ο„xψ0

β€œGauge invariance”: similar invariance properties hold fortranslations of total phase, ψ0(x) 7β†’ eiΟ•Οˆ0(x), Ο• ∈ R.

Thus, for instance, E[ψt ] = 0, E[ψtβ€²Οˆt ] = 0,

E[ψtβ€²(xβ€²)βˆ—Οˆt(x)] = E[ψ0(0)βˆ—Οˆtβˆ’tβ€²(x βˆ’ x β€²)]

Jani Lukkarinen Kinetic theory of lattice waves

Page 8: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Setup Evol H Init Theorem Cumulants

Field-field correlation function 8

Fix test-functions f , g ∈ `2, and assume they have finite support.

Observable

QλΛ(Ο„) := E[γ€ˆf , ψ0γ€‰βˆ—γ€ˆeβˆ’iΟ‰Ξ»Ο„Ξ»βˆ’2

g , ΟˆΟ„Ξ»βˆ’2〉]

Under additional assumptions on the decay of equilibriumcorrelations and on the dispersion relation:

Theorem

There is Ο„0 > 0 such that for all |Ο„ | < Ο„0

limΞ»β†’0

limΞ›β†’βˆž

QλΛ(Ο„) =

∫Td

dk g(k)βˆ—f (k)W (k)eβˆ’Ξ“1(k)|Ο„ |βˆ’iτΓ2(k)

Jani Lukkarinen Kinetic theory of lattice waves

Page 9: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Setup Evol H Init Theorem Cumulants

Summary of the main result 9

Loosely : for all not too large t = O(Ξ»βˆ’2),

E[ψ0(k β€²)βˆ—Οˆt(k)] β‰ˆ δΛ(k β€² βˆ’ k)W (k)eβˆ’iωλren(k)teβˆ’|Ξ»2t|Ξ“1(k)

W (k) = (Ξ²(Ο‰(k)βˆ’ Β΅))βˆ’1 = covariance function for Ξ» = 0

ωλren(k) = Ο‰(k) + Ξ»R0 + Ξ»2Ξ“2(k)

Ξ“1(k) β‰₯ 0

β‡’ k-space correlation decays exponentially in t,as dictated by eβˆ’|Ξ»

2t|Ξ“1(k).

Nearest neighbour couplings (Ο‰nn(k) = c βˆ’βˆ‘d

Ξ½=1 cos(2Ο€kΞ½))satisfy all of our assumptions if d β‰₯ 4

Jani Lukkarinen Kinetic theory of lattice waves

Page 10: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Setup Evol H Init Theorem Cumulants

Ξ“j(k) are real, and Ξ“(k) = Ξ“1(k) + iΞ“2(k) is given by

Ξ“(k1) = 2

∫ ∞0

dt

∫(Td )3

dk2dk3dk4Ξ΄(k1 + k2 βˆ’ k3 βˆ’ k4)

Γ— eit(Ο‰1+Ο‰2βˆ’Ο‰3βˆ’Ο‰4) (W2W3 + W2W4 βˆ’W3W4)

with Ο‰i = Ο‰(ki ), Wi = W (ki ).

β‡’ Ξ“1(k1) = 2Ο€1

W (k1)2

∫(Td )3

dk2dk3dk4Ξ΄(k1 + k2 βˆ’ k3 βˆ’ k4)

Γ— Ξ΄(Ο‰1 + Ο‰2 βˆ’ Ο‰3 βˆ’ Ο‰4)4∏

i=1

W (ki )

2Ξ“1(k) β‰₯ 0 coincides with the loss term of the linearisation ofCNL around W

Can be β€œderived” following the same recipe as for kineticequations (more later. . . )

Jani Lukkarinen Kinetic theory of lattice waves

Page 11: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Setup Evol H Init Theorem Cumulants

Main tool to handle non-Gaussian initial data 11Moments to cumulants formula

Cumulant expansion

For any index set I ,

E[∏i∈I

ψ0(ki , Οƒi )]

=βˆ‘

SβˆˆΟ€(I )

∏A∈S

[δΛ

(βˆ‘i∈A

ki

)C|A|(kA, ΟƒA)

],

where the sum runs over all partitions S of the index set I .

Here truncated correlation (cumulant) functions are

Cn(k , Οƒ) :=βˆ‘xβˆˆΞ›n

1{x1=0}eβˆ’i2Ο€

βˆ‘ni=1 xi Β·kiE

[ n∏i=1

ψ0(xi , Οƒi )]trunc

and for any random variables a1, . . . , an

E[ n∏i=1

ai

]trunc:= ΞΊ[a1, . . . , an] = βˆ‚Ξ·1 Β· Β· Β· βˆ‚Ξ·n lnE[e

βˆ‘i Ξ·iai ]

∣∣∣η=0

Jani Lukkarinen Kinetic theory of lattice waves

Page 12: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Setup Evol H Init Theorem Cumulants

Assumption: decay of initial correlations 12`1-clustering of the equilibrium measure

For sufficiently small Ξ» and for all n β‰₯ 4 the truncatedcorrelation functions (cumulants) should satisfy

supΞ›,Οƒβˆˆ{Β±1}n

βˆ‘xβˆˆΞ›n

1{x1=0}

∣∣∣E[ n∏i=1

ψ0(xi , Οƒi )]trunc∣∣∣ ≀ Ξ»cn0n!

For n = 2 should haveβˆ‘β€–xβ€–βˆžβ‰€L/2

∣∣∣E[ψ0(0)βˆ—Οˆ0(x)]βˆ’ E[ψ0(0)βˆ—Οˆ0(x)]Ξ»=0L=∞

∣∣∣ ≀ Ξ»2c20

Proven in [Abdesselam, Procacci, and Scoppola, 2009]

Estimates imply that β€–Cnβ€–βˆž <βˆžβ‡’ cumulant expansion encodes all singularities in ki

The rest is β€œjust” analysis of oscillatory integrals. . .

Jani Lukkarinen Kinetic theory of lattice waves

Page 13: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras `p -clustering DNLS

Part II

Asymptotic independence,evolution of cumulants,

and kinetic theory

[JL and M. Marcozzi, J. Math. Phys. 57 (2016) 083301 (27pp)]

Jani Lukkarinen Kinetic theory of lattice waves

Page 14: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras `p -clustering DNLS

Goal: Kinetic theory of homogeneous DNLS 14

Assume that the initial state is translation invariant,β€œgauge invariant” and with fast decay of correlations

Then there always is wt(x) such that

E[ψt(xβ€²)βˆ—Οˆt(x)] = wt(x

β€² βˆ’ x)

Kinetic conjecture: WΟ„ = limΞ»β†’0 limΞ›β†’βˆž(FwΟ„Ξ»βˆ’2) solves ahomogeneous non-linear Boltzmann–Peierls equation

βˆ‚Ο„WΟ„ (k) = CNL[WΟ„ (Β·)],

CNL[h](k1) = 4Ο€

∫(Td )3

dk2dk3dk4 Ξ΄(k1 + k2 βˆ’ k3 βˆ’ k4)

Γ— Ξ΄(Ο‰1 + Ο‰2 βˆ’ Ο‰3 βˆ’ Ο‰4) [h2h3h4 βˆ’ h1(h2h3 + h2h4 βˆ’ h3h4)]

Jani Lukkarinen Kinetic theory of lattice waves

Page 15: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras `p -clustering DNLS

Why study cumulants? 15

Observation: If y , z are independent random variables we have

E[ynzm] = E[yn]E[zm] 6= 0

whereas the corresponding cumulant is zero if n,m 6= 0.

Consider a random lattice field ψ(x), x ∈ Zd , which is (very)strongly mixing under lattice translations:

Assume that the fields in well separated regions becomeasymptotically independent as the separation grows.

Then ΞΊ[ψ(x), ψ(x + y1), . . . , ψ(x + ynβˆ’1)]β†’ 0 as |yi | β†’ ∞.How fast? `1- or `2-summably?

Not true for corresponding moments: E[|ψ(x)|2|ψ(x + y)|2]

Jani Lukkarinen Kinetic theory of lattice waves

Page 16: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras `p -clustering DNLS

Why study cumulants? 15

Observation: If y , z are independent random variables we have

E[ynzm] = E[yn]E[zm] 6= 0

whereas the corresponding cumulant is zero if n,m 6= 0.

Consider a random lattice field ψ(x), x ∈ Zd , which is (very)strongly mixing under lattice translations:

Assume that the fields in well separated regions becomeasymptotically independent as the separation grows.

Then ΞΊ[ψ(x), ψ(x + y1), . . . , ψ(x + ynβˆ’1)]β†’ 0 as |yi | β†’ ∞.How fast? `1- or `2-summably?

Not true for corresponding moments: E[|ψ(x)|2|ψ(x + y)|2]

Jani Lukkarinen Kinetic theory of lattice waves

Page 17: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras `p -clustering DNLS

`p-clustering states 16

Call the field `p-clustering if

supx∈Zd

βˆ‘y∈(Zd )nβˆ’1

|ΞΊ[ψ(x), ψ(x + y1), . . .]|p <∞, βˆ€n.

If 1 ≀ p ≀ 2, can take Fourier-transform in yβ‡’ functions F (n)(x , k), L∞ in x ∈ Zd and L2-integrable fork ∈ (Td)nβˆ’1.

`1-clustering implies that F (n)(x , k) is continuous anduniformly bounded (β‡’ helps in nonlinearities)

Many examples of `1-clustering thermal Gibbs states,e.g., discrete NLS [Abdesselam, Procacci, Scoppola]

Jani Lukkarinen Kinetic theory of lattice waves

Page 18: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras `p -clustering DNLS

Time-evolution of cumulants? 17

As before, consider deterministic evolution of ψt , with randominitial data for ψ0.

Cumulants are multilinear and permutation invariant

β‡’ βˆ‚tΞΊ[ψt(x`)n`=1] =

nβˆ‘`=1

ΞΊ[βˆ‚tψt(x`), ψt(x`β€²)`β€² 6=`]

Solution? How to iterate into a closed hierarchy?

Computations often simplified by using Wick polynomialrepresentation of βˆ‚tψt

Jani Lukkarinen Kinetic theory of lattice waves

Page 19: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras `p -clustering DNLS

An example: Discrete NLS 18

Consider the DNLS with initial data for ψ0 which is

`1-clustering

Gauge invariant: ψ0(x) ∼ eiθψ0(x) for any ΞΈ ∈ Rβ‡’ also ψt will then be gauge invariant.

Slowly varying in space: the cumulants vary only slowly underspatial translations

Then, for instance, (x , y) 7β†’ E[ψ0(x)βˆ—Οˆ0(x + y)] isslowly varying in x and `1-summable in y .

Denote

Wt(x , k) =βˆ‘y∈Zd

eβˆ’i2Ο€kΒ·yE[ψt(x)βˆ—Οˆt(x + y)]

In the spatially homogeneous case, Wt(x , k) = Wt(k)= Wigner function (as defined in earlier works)

Jani Lukkarinen Kinetic theory of lattice waves

Page 20: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras `p -clustering DNLS

Higher order Wigner functions 19

ψt(x ,+1) = ψt(x) and ψt(x ,βˆ’1) = ψt(x)βˆ—

IF `p-clustering is preserved by the time-evolution, should study

Order-n β€œWigner functions”: x ∈ Zd , k ∈ (Td)nβˆ’1, Οƒ ∈ {Β±1}n

F(n)t (x , k , Οƒ)

=βˆ‘

y∈(Zd )nβˆ’1

eβˆ’i2Ο€kΒ·yΞΊ[ψt(x , Οƒ1), ψt(x + y1, Οƒ2), . . . , ψt(x + ynβˆ’1, Οƒn)]

1 Now Wt(x , k) = F(2)t (x , k , (βˆ’1, 1))

2 Its derivative involves only W and F (4)

3 Compute also the derivative of F (4) and β€œsolve” both byintegrating out the free evolution (in Duhamel form)

4 Insert F (4) result into W , and check/argue that the remainingF (4) and F (6) can be ignored for tβˆ’1, Ξ»οΏ½ 1

Jani Lukkarinen Kinetic theory of lattice waves

Page 21: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras `p -clustering DNLS

With Ο‰(k) = Ξ±(k) and ρt(x) = E[|ψt(x)|2] =∫dk Wt(x , k),

βˆ‚tWt(x , k) = βˆ’iβˆ‘z

Ξ±(z)ei2Ο€kΒ·z (Wt(x , k)βˆ’Wt(x βˆ’ z , k))

βˆ’i2Ξ»βˆ‘z

(ρt(x + z)βˆ’ ρt(x))

∫dk β€² ei2Ο€zΒ·(kβ€²βˆ’k)Wt(x , k

β€²)

βˆ’iΞ»

∫dk β€²1dk β€²2

(F

(4)t (x , k β€²1, k

β€²2, k βˆ’ k β€²1 βˆ’ k β€²2)βˆ’ F

(4)t (x , k β€²1, k

β€²2, k)

)

β‰ˆ βˆ’ 1

2Ο€βˆ‡kΟ‰(k) Β· βˆ‡xWt(x , k) + 2Ξ»βˆ‡xρt(x) Β· 1

2Ο€βˆ‡kWt(x , k)

+ Ξ»2CNL[Wt(x , Β·)](k)

O(Ξ») term is of Vlasov–Poisson type

The first two terms vanish for spatially homogeneous states

Using the same recipe in Part I yields Ξ“(k)

Jani Lukkarinen Kinetic theory of lattice waves

Page 22: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras `p -clustering DNLS

With Ο‰(k) = Ξ±(k) and ρt(x) = E[|ψt(x)|2] =∫dk Wt(x , k),

βˆ‚tWt(x , k) = βˆ’iβˆ‘z

Ξ±(z)ei2Ο€kΒ·z (Wt(x , k)βˆ’Wt(x βˆ’ z , k))

βˆ’i2Ξ»βˆ‘z

(ρt(x + z)βˆ’ ρt(x))

∫dk β€² ei2Ο€zΒ·(kβ€²βˆ’k)Wt(x , k

β€²)

βˆ’iΞ»

∫dk β€²1dk β€²2

(F

(4)t (x , k β€²1, k

β€²2, k βˆ’ k β€²1 βˆ’ k β€²2)βˆ’ F

(4)t (x , k β€²1, k

β€²2, k)

)β‰ˆ βˆ’ 1

2Ο€βˆ‡kΟ‰(k) Β· βˆ‡xWt(x , k) + 2Ξ»βˆ‡xρt(x) Β· 1

2Ο€βˆ‡kWt(x , k)

+ Ξ»2CNL[Wt(x , Β·)](k)

O(Ξ») term is of Vlasov–Poisson type

The first two terms vanish for spatially homogeneous states

Using the same recipe in Part I yields Ξ“(k)

Jani Lukkarinen Kinetic theory of lattice waves

Page 23: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Pre-therm Phonons Wigner BPeq Numerical

Part III

Kinetic theory of the onsiteFPU-chain (DNKG) with

pre-thermalization

[C.B. Mendl, J. Lu, and JL,Phys. Rev. E 94 (2016) 062104 (9 pp)]

Jani Lukkarinen Kinetic theory of lattice waves

Page 24: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Pre-therm Phonons Wigner BPeq Numerical

Pre-thermalization 22

Pre-thermalization = quasi-thermalizationThe system is thermalized but with β€œwrong”equilibrium states (e.g. extra conservation laws)

Happens if there are quasi-conserved observables with verylong equilibration times (e.g. with relaxation times of order eL

for system size L)

Problematic, since may interfere with relaxation of the β€œtrue”conservation laws:

For instance, if diffusive, L2 οΏ½ eL for system LοΏ½ 1

Jani Lukkarinen Kinetic theory of lattice waves

Page 25: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Pre-therm Phonons Wigner BPeq Numerical

FPU-type chains 23

We consider a chain of classical particles with nearest neighbourinteractions, dynamics defined by

The Hamiltonian

H =Nβˆ’1βˆ‘j=0

[12p

2j + 1

2q2j βˆ’ 1

2Ξ΄(qjβˆ’1qj + qjqj+1) + 14Ξ»q

4j

]

Ξ» β‰₯ 0 is the coupling constant for the onsite anharmonicity

If Ξ» = 0, the evolution is explicitly solvable using normalmodes whose dispersion relations are Β±Ο‰(k) with

Ο‰(k) =(1βˆ’ 2Ξ΄ cos(2Ο€k)

)1/2

The parameter 0 < Ξ΄ ≀ 12 controls the pinning onsite potential

This model is expected to have (diffusive) normal heatconduction for Ξ», Ξ΄ > 0

Jani Lukkarinen Kinetic theory of lattice waves

Page 26: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Pre-therm Phonons Wigner BPeq Numerical

Normal modes 24

From a solution (qi (t), pi (t)) define

Phonon fields

at(k , Οƒ) =1√

2Ο‰(k)[Ο‰(k)q(k, t) + iΟƒp(k , t)] , Οƒ ∈ {Β±1}

β‡’ d

dtat(k, Οƒ) = βˆ’iσω(k)at(k , Οƒ)

βˆ’iΟƒΞ»βˆ‘

Οƒβ€²βˆˆ{Β±1}3

∫(Ξ›βˆ—)3

d3k ′δΛ

(k βˆ’

3βˆ‘j=1

k β€²j

) 3∏`=0

1√2Ο‰(k β€²`)

3∏j=1

at(kβ€²j , Οƒβ€²j )

Here k ∈ Ξ›βˆ— := {βˆ’ 12 + 1

N , . . . ,12βˆ’

1N ,

12}

for a finite periodic chain of length N (= |Ξ›βˆ—|)

Jani Lukkarinen Kinetic theory of lattice waves

Page 27: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Pre-therm Phonons Wigner BPeq Numerical

Wigner function 25

Assume a spatially homogeneous state and consider thecorresponding Wigner function

wt(k ; L) :=

βˆ«Ξ›βˆ—

dk β€²γ€ˆat(k β€²)βˆ—at(k)〉 =βˆ‘yβˆˆΞ›

eβˆ’i2Ο€y Β·kγ€ˆat(0)βˆ—at(y)〉

We expect (β€œkinetic conjecture”) that then the following limit exists

WΟ„ (k) = limΞ»β†’0

limLβ†’βˆž

wΞ»βˆ’2Ο„ (k; L)

Describes evolution of covariances for large lattices (Lβ†’βˆž)at kinetic time-scales (t = Ξ»βˆ’2Ο„ = O(Ξ»βˆ’2))

Jani Lukkarinen Kinetic theory of lattice waves

Page 28: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Pre-therm Phonons Wigner BPeq Numerical

Boltzmann–Peierls equation 26

In addition, the limiting Wigner functions should satisfy thefollowing phonon Boltzmann equation

βˆ‚

βˆ‚tW (k0, t) = 12πλ2

βˆ‘Οƒβˆˆ{Β±1}3

∫T3

d3k3∏`=0

1

2Ο‰`

Γ—Ξ΄(k0 +3βˆ‘

j=1

Οƒjkj) Ξ΄(Ο‰0 +

3βˆ‘j=1

σjωj

)Γ—[W1W2W3 + W0(Οƒ1W2W3 + Οƒ2W1W3 + Οƒ3W1W2)

]Here Wi = W (ki , t), Ο‰i = Ο‰(ki )

For chosen nearest neighbour interactions, the collisionΞ΄-functions have solutions only if

βˆ‘3j=1Οƒj = βˆ’1

Jani Lukkarinen Kinetic theory of lattice waves

Page 29: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Pre-therm Phonons Wigner BPeq Numerical

Boltzmann–Peierls equation 27

Kinetic equation (spatially homogeneous initial data)

βˆ‚

βˆ‚tW (k0, t) =

9Ο€

4Ξ»2

∫T3

d3k1

Ο‰0Ο‰1Ο‰2Ο‰3

Γ— Ξ΄(Ο‰0 + Ο‰1 βˆ’ Ο‰2 βˆ’ Ο‰3)Ξ΄(k0 + k1 βˆ’ k2 βˆ’ k3)

Γ—[W1W2W3 + W0W2W3 βˆ’W0W1W3 βˆ’W0W1W2

]

Stationary solutions are

W (k) =1

Ξ²β€²(Ο‰(k)βˆ’ Β΅β€²)

Β΅β€² results from number conservation which is broken by theoriginal evolution (then expect Β΅β€² = 0)

Jani Lukkarinen Kinetic theory of lattice waves

Page 30: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Pre-therm Phonons Wigner BPeq Numerical

Spatially homogeneous kinetic theory 28

Microsystem Dynamics: free evolution + Ξ» Γ— perturbation

wt(k) =∫

dk β€²γ€ˆat(k β€²)βˆ—at(k)〉 Initial state: translation invariant & β€œchaotic”

↓ ↓ (weak coupling)

βˆ‚Ο„WΟ„ (k) = C[WΟ„ ](k) Boltzmann equation for WΟ„ = limΞ»β†’0

wΞ»βˆ’2Ο„

↓ β†“βˆ‚Ο„S [WΟ„ ] = Οƒ[WΟ„ ] S = kinetic entropy (H-function)

Οƒ = entropy production β‰₯ 0

↓ ↓σ[W eql] = 0 ⇐ W eql from an equilibrium state

(classifies stationary solutions)

Jani Lukkarinen Kinetic theory of lattice waves

Page 31: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Pre-therm Phonons Wigner BPeq Numerical

Numerical simulations (Christian Mendl) 29

To compare in more detail to kinetic theory, we considerseveral stochastic, periodic and translation invariant initialdata: Then

Wsim(k, t) =1

Nγ€ˆ|a(k , t)|2〉

Computing the covariance from simulated equilibrium states(one parameter, Ξ²) and fitting numerically to the kineticformula (two parameters, Ξ²β€², Β΅β€²) yields

Ξ² 1 10 100 1000

Ξ²β€² 0.912 8.98 97.1 986.4Β΅β€² -0.488 -0.229 -0.0426 -0.0120

As expected, Ξ²β€² β‰ˆ Ξ² and Β΅β€² β‰ˆ 0 for large Ξ²

Jani Lukkarinen Kinetic theory of lattice waves

Page 32: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Pre-therm Phonons Wigner BPeq Numerical

Set N = 64 (periodic BC), Ξ΄ = 14 (pinning)

Consider two sets of non-equilibrium initial data:

A) Bimodal momentum distribution (Ξ» = 1):Choose an initial ”temperature” Ξ²0 and sample positions qjfrom the corresponding equilibrium distribution and themomenta pj from the bimodal distribution

Zβˆ’1 exp[βˆ’Ξ²0

(4p4

j βˆ’ 12p

2j

)]B) Random phase, with given initial Wigner function (Ξ» = 1

2 , 10):Take a function W0(k) and compute initial qj and pj from

a(k) =√

NW0(k) eiΟ•(k)

where each Ο•(k) is i.i.d. randomly distributed, uniformly on[0, 2Ο€]

Jani Lukkarinen Kinetic theory of lattice waves

Page 33: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Pre-therm Phonons Wigner BPeq Numerical

A) Bimodal initial data

●●●●●●●●●

●●●●●

●●●●●●

●●●●●●

●●●

●●●●●●

●●●●●●

●●●●●●

●●●●●●●●●●●●●●●●●●

-0.4 -0.2 0 0.2 0.4k

0.03

0.04

0.05

W(k,t)

(a) t = 0

●●●●●●●●●

●●●●●●●

●●●

●

●

●

●

●

●

●●

●●

●

●

●●●

●

●

●●

●●

●

●

●

●

●

●●●●●●●●●●●●●●●●●

●●●

-0.4 -0.2 0 0.2 0.4k

0.03

0.04

0.05

W(k,t)

(b) t = 150

●●●●●●●●●●●●

●●●●

●●●

●

●

●

●

●●●●●

●

●

●

●●●

●

●

●●●

●

●●

●

●

●

●●

●●●●●●●●●●●●●●

●●●●

-0.4 -0.2 0 0.2 0.4k

0.03

0.04

0.05

W(k,t)

(c) t = 250

●●●●●●●●●●●●●

●●●●●●●●

●

●

●●●●●

●●●●●●

●●●●●●●

●

●

●●●●●●●●●●●●●●●●●●●

●●●▲▲▲▲▲▲▲▲▲▲▲

β–²β–²β–²β–²

β–²β–²β–²β–²β–²β–²

β–²

β–²

β–²β–²β–²β–²β–²

β–²β–²β–²β–²β–²β–²

β–²β–²β–²β–²β–²β–²β–²

β–²

β–²

β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²

β–²β–²β–²

-0.4 -0.2 0 0.2 0.4k

0.03

0.04

0.05

W(k,t)

(d) t = 500

●●●●●●●●●●●●●

●●●●●

●●●●●●●●●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●●●▲▲▲▲▲▲▲▲▲▲▲

β–²β–²β–²β–²

β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²

β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²

β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²

-0.4 -0.2 0 0.2 0.4k

0.03

0.04

0.05

W(k,t)

(e) t = 1000

●●●●●●●●●●●

●●●●●

●●●●●●●●●●●●●●

●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●●●●●●▲▲▲▲▲▲▲

β–²β–²β–²β–²β–²

β–²β–²β–²β–²

β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²

β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²

-0.4 -0.2 0 0.2 0.4k

0.03

0.04

0.05

W(k,t)

(f) t = 2500

Wigner function from simulations (blue dots) vs.solving the kinetic equation (yellow triangles) starting at t = 500.(black dashed line) Kinetic equilibrium profile fitted to (f)

Jani Lukkarinen Kinetic theory of lattice waves

Page 34: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Pre-therm Phonons Wigner BPeq Numerical

B) Random phase initial data (Ξ» = 12)

●●●●●●●●●

●

●

●

●

●

●●●●●

●

●

●

●

●●●●●●●●●●●●

●●●●●

●●●●

●●●●●●

●●

●

●

●●●●●●●

●●●●

-0.4 -0.2 0 0.2 0.4k

0.02

0.04

0.06W(k,t)

(a) t = 0

●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●

●●●●●●●●●●●●●

●●●●●●●●●●●●●●

●●●░░░░░░

β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘

β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘

β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘

β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘

β–‘β–‘β–‘

-0.4 -0.2 0 0.2 0.4k

0.02

0.04

0.06W(k,t)

(b) t = 250

●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●

●●●●●●●

●●●●

●●●●●

●●●●●●●●●●

●●●▲▲▲▲▲▲▲▲▲▲▲▲▲

β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²

β–²β–²β–²β–²β–²β–²β–²

β–²β–²β–²β–²

β–²β–²β–²β–²β–²

β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²

β–²β–²β–²

-0.4 -0.2 0 0.2 0.4k

0.02

0.04

0.06W(k,t)

(c) t = 500

●●●●●●●●

●●●●

●●●●●●●●●●●●●●●●●●

●●●●●●●●●●●●●●

●●●●●

●●●●●●●●●●●●●●

●●▲▲▲▲▲▲▲

β–²β–²β–²β–²

β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²

β–²β–²β–²β–²β–²β–²β–²β–²

β–²β–²β–²β–²β–²β–²β–²β–²

β–²β–²β–²β–²

β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²

-0.4 -0.2 0 0.2 0.4k

0.02

0.04

0.06W(k,t)

(d) t = 1000

●●●●●●●●●●●

●●●●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●▲▲▲▲▲▲

β–²β–²β–²β–²β–²β–²β–²

β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²

β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²

-0.4 -0.2 0 0.2 0.4k

0.02

0.04

0.06W(k,t)

(e) t = 5000

●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●▲▲▲▲▲▲▲▲▲▲▲▲▲▲

β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²

β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²β–²

-0.4 -0.2 0 0.2 0.4k

0.02

0.04

0.06W(k,t)

(f) t = 10000

Wigner function from simulations (blue dots) vs.solving the kinetic equation (yellow triangles) starting at t = 500.(f) Expected equilibrium distribution (red dot-dashed line)

Jani Lukkarinen Kinetic theory of lattice waves

Page 35: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Pre-therm Phonons Wigner BPeq Numerical

Eventual relaxation towards equilibrium? (Ξ» = 10)

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●

0.2 0.4 0.6 0.8 1Γ—106t

-5Γ—10-4

0

5Γ—10-4Δρ(t)

(a) ρsim(t)βˆ’ ρsim(tmax)

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●

0.2 0.4 0.6 0.8 1Γ—106t

-5Γ—10-4

0

5Γ—10-4Ξ”e(t)

(b) esim(t)βˆ’ esim(tmax)

Figure : Time evolution of the density and energy differences usingΞ» = 10 (β‡’ kinetic time-scale (Ξ²/Ξ»)2 β‰ˆ 10) and longer simulation timetmax = 106

Will this trend continue until true equilibrium values have beenreached?

Jani Lukkarinen Kinetic theory of lattice waves

Page 36: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Open

Open problems 34

Pre-thermalization: What is going on here?

Is it 1D effect only?

. . . or finite size?

. . . or just for some initial data?

Inhomogeneous initial data:Does kinetic theory perform as well?. . . with the Vlasov–Poisson term?Proofs and proper assumptions?

For rigorous proofs of time-correlations:a priori estimates for propagation of clustering forequilibrium time-correlations derived in[JL, M. Marcozzi and A. Nota, arXiv:1601.08163 ]

Anything similar for non-stationary states?

Jani Lukkarinen Kinetic theory of lattice waves

Page 37: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Proof Wick Simulations Entropy

Appendix

Jani Lukkarinen Kinetic theory of lattice waves

Page 38: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Proof Wick Simulations Entropy

Outline of the proof 36

1 Show that it is enough to prove the result assuming t > 0

2 Iterate a Duhamel formula N0(Ξ») times to expand at into aperturbation sum (we choose N0! β‰ˆ Ξ»βˆ’p, for a small p)

3 There are two types of terms in the expansion:

Main terms These will contain a finite monomial of a0 whoseexpectation can be evaluated using theβ€œmoments to cumulants formula”.

Error terms These will involve also as for some s > 0.The expectation is estimated by a Schwarzbound and stationarity of the equilibriummeasure⇒ The bound involves again only

finite moments of a0.

Jani Lukkarinen Kinetic theory of lattice waves

Page 39: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Proof Wick Simulations Entropy

4 Each cumulant induces linear dependencies between the wavevectors. These can be encoded in β€œFeynman graphs”.

5 This results in a sum with roughly (N0!)2 non-zero terms.However, most of these vanish in the limit Ξ»β†’ 0, due tooscillating phase factors.

6 Careful classification of graphs: we use a special resolution ofthe wave vector constraints which allows an estimation basedon identifying, and iteratively estimating, certain graphmotives.

7 Only a small fraction of the graphs (leading graphs) willremain. These consist of graphs obtained by iterative additionof one of the 20 leading motives.

8 The limit of the leading graphs is explicitly computable, andtheir sum yields the result in the main theorem.

Jani Lukkarinen Kinetic theory of lattice waves

Page 40: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Proof Wick Simulations Entropy

Wick polynomials 38

Generating functions

gt(λ) := ln gmom,t(λ), gmom,t(λ) := E[eλ·ψt ] .

Then with βˆ‚JΞ» :=∏

i∈J βˆ‚Ξ»i , yJ =

∏i∈J yi ,

ΞΊ[ψt(x)J ] = βˆ‚JΞ»gt(0) , E[ψt(x)J ] = βˆ‚JΞ»gmom,t(0)

Define

Gw(ψt , λ) =eλ·ψt

E[eλ·ψt ]

β‡’ βˆ‚tΞΊ[ψt(x)J ] = βˆ‚JΞ»βˆ‚tgt(Ξ»)∣∣λ=0

= βˆ‚JΞ»E[Ξ» Β· βˆ‚tψt Gw(ψt , Ξ»)]∣∣λ=0

=βˆ‘`∈J

E[βˆ‚tψt(x`) βˆ‚J\`Ξ» Gw(ψt , 0)]

βˆ‚JΞ»Gw(ψt , 0) = :ψt(x)J : are called Wick polynomials

Jani Lukkarinen Kinetic theory of lattice waves

Page 41: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Proof Wick Simulations Entropy

WP have been mainly used for Gaussian fields.They were introduced in quantum field theory where theunperturbed measure concerns Gaussian (free) fields

Gaussian case has significant simplifications:If Cj β€²j = ΞΊ[yj β€² , yj ] denotes the covariance matrix ,

Gw(y , Ξ») = exp[Ξ» Β· (y βˆ’ γ€ˆy〉)βˆ’ Ξ» Β· CΞ»/2] .

β‡’ Wick polynomials are Hermite polynomials

The resulting orthogonality properties are used in the Wienerchaos expansion and Malliavin calculus

Jani Lukkarinen Kinetic theory of lattice waves

Page 42: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Proof Wick Simulations Entropy

Truncated moments-to-cumulants formula

E[yJβ€²:yJ :

]=

βˆ‘Ο€βˆˆP(Jβ€²βˆͺJ)

∏AβˆˆΟ€

(ΞΊ[yA]1{A 6βŠ‚J}) (1)

:yJ : are Β΅-a.s. unique polynomials of order |J| such that (1)holds for every J β€²

Multi-truncated moments-to-cumulants formula

Suppose L β‰₯ 1 is given and consider a collection of L + 1 indexsequences J β€², J`, ` = 1, . . . , L. Then with I = J β€² βˆͺ (βˆͺL`=1J`)

E[yJβ€²

L∏`=1

:yJ` :

]=

βˆ‘Ο€βˆˆP(I )

∏AβˆˆΟ€

(ΞΊ[yA]1{A 6βŠ‚J`, βˆ€`}

).

Jani Lukkarinen Kinetic theory of lattice waves

Page 43: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Proof Wick Simulations Entropy

Suppose that the evolution equation of the random variables yj(t)can be written in a form

βˆ‚tyj(t) =βˆ‘I

M Ij (t) :y(t)I :

Then the cumulants satisfy

βˆ‚tΞΊ[y(t)I β€² ] =βˆ‘`∈I β€²

βˆ‘I

M I` (t)E

[:y(t)I : :y(t)I

β€²\`:]

where the truncated moments-to-cumulants formula implies

E[

:y(t)I : :y(t)Iβ€²\`:]

=βˆ‘Ο€βˆˆP(Iβˆͺ(I β€²\`))

∏AβˆˆΟ€

(ΞΊ[y(t)A]1{A∩I 6=βˆ…, A∩(I β€²\`) 6=βˆ…}

)β‡’ evolution hierarchy for cumulants

Jani Lukkarinen Kinetic theory of lattice waves

Page 44: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Proof Wick Simulations Entropy

The discrete NLS equation on the lattice Zd deals with functionsψ : RΓ— Zd β†’ C which satisfy

iβˆ‚tψt(x) =βˆ‘y∈Zd

Ξ±(x βˆ’ y)ψt(y) + Ξ»|ψt(x)|2ψt(x)

Assuming that E[ψt(x)] = 0 and using the WP one gets

iβˆ‚tψt(x) =βˆ‘y∈Zd

Ξ±(x βˆ’ y) :ψt(y): +2λρt(x) :ψt(x):

+Ξ» :ψt(x)βˆ—Οˆt(x)ψt(x):

ρt(x) = E[ψt(x)βˆ—Οˆt(x)] = E[|ψt(x)|2]

This splitting was called β€œpair truncation” in [JL, Spohn](Part I)

Jani Lukkarinen Kinetic theory of lattice waves

Page 45: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Proof Wick Simulations Entropy

Molecular dynamics simulations (Kenichiro Aoki, 2006) 43

T βˆ’ βˆ†T2 T + βˆ†T

2N sites

1 Simulate a chain of N particles with two heat baths(Nose-Hoover) at ends, waiting until a steady state reached

2 Measure temperature and current profiles:

Ti = γ€ˆp2i 〉, J =

1

N

βˆ‘jγ€ˆJj ,j+1〉 β‰ˆ γ€ˆJi ,i+1〉

3 Fourier’s Law predicts that when βˆ†T β†’ 0,

βˆ’ N

βˆ†TJ β†’ ΞΊ(T ,N) .

Repeat for several βˆ†T , and estimate ΞΊ(T ,N) from the slope.

4 Increase N to estimate ΞΊ(T ) = limNβ†’βˆž

ΞΊ(T ,N).

Jani Lukkarinen Kinetic theory of lattice waves

Page 46: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Proof Wick Simulations Entropy

Comparison to kinetic prediction 44

Simulations yield good agreement with the kinetic prediction ofT 2ΞΊ(T ) β‰ˆ 0.28 Ξ΄βˆ’3/2 for T β†’ 0, Ξ΄ small (black solid line)

οΏ½ T = 0.1

Β© T = 0.4

4 T = 4

Jani Lukkarinen Kinetic theory of lattice waves

Page 47: Kinetic theory of (lattice) waves

Intro DNLS Kinetic FPU Comments Extras Proof Wick Simulations Entropy

Evolution of entropy 45

●

●

●

●●

●

●

●

●

● ●

●

●

●

●

●

●

●

●

●

●

●

●

●

●

●

●

●●

●

●

●

●

●

●

●●

●

●●

●

●●

●

●

●

●

●

●

●

●●

●

●

●

●

●

●

●●

●●

●

●

●●

●

●

●

●

●

●

●

●●●●●

●

●

●●●●●●

●●●

●

●

●●

●

●

●

●

●●●●●●●●

●●●●●●●●●●●●●●●●●●

●

●●

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●

● microscopic

● kinetic

500 1000 1500 2000 2500t

-3.458

-3.46

-3.462

-3.464

S(t)

(a) Bimodal initial data

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●

●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●

● microscopic

● kinetic

2000 4000 6000 8000 10000t

-3.58

-3.57

-3.56

-3.55S(t)

(b) Random phase initial data

Time evolution of entropy S(t) =

∫dk logW (k , t)

(blue dots) W = Wigner function measured from simulations

(orange dots) W = solution to the kinetic equation, initial data fromt = 500 simulation results

Jani Lukkarinen Kinetic theory of lattice waves


Recommended