Invariance and the structure of...Maxwell-Boltzmann equation Methods of structure determination for...

Post on 30-Aug-2020

2 views 0 download

transcript

Thanks: Kaushik Dayal, Stefan Müller, Traian Dumitrica

Invarianceand the structure of

matterRichard JamesUniversity of Minnesotajames@umn.edu

October 24, 2015 Ericksen@90

October 24, 2015 Ericksen@90

October 24, 2015 Ericksen@90

Three examples

October 24, 2015 Ericksen@90

An invariant manifold of molecular dynamics

Maxwell-Boltzmann equation

Methods of structure determination for non-crystalline structures (Maxwell’s equations)

…of invariance under discrete groups, and implications for thestructure of matter

Isometry groups

Ericksen@90

This product rule implies

Identity

The main subject of The International Tables of Crystallographyare isometry groups containing three linearly independent translations

October 24, 2015

Examples of isometry groups Translation group

Theorem: If a discrete group of isometries does not contain a translation and does not consist entirely of rotations, it is expressible in one of the forms

where

Full list: Dayal, Elliott, James

BAB

DC

A DC

Ericksen@90October 24, 2015

Three examples

October 24, 2015 Ericksen@90

An invariant manifold of molecular dynamics

Maxwell-Boltzmann equation

Methods of structure determination for non-crystalline structures (Maxwell’s equations)

…of invariance under discrete groups and implications for thestructure of matter

A time-dependent invariant manifold of the equations of molecular dynamics

simulated atoms

a discrete group of isometries(N can be infinite)

all of the atoms

The elements can depend on t>0, but this time dependence must beconsistent with

,t

Ericksen@90October 24, 2015

Atomic forces

Frame-indifference

Permutation invariance

The force satisfies

where Π is a permutation that preserves species.

(These conditions satisfied, e.g., by the Hellmann-Feynmanforce based on Born-Oppenheimer quantum mechanics)

Ericksen@90October 24, 2015

Potential energy

These conditions can be found by formally differentiating the frame-indifference and permutation invariance of the potential energy,

( but of course this calculation would not make sense when N = ∞ )

Ericksen@90October 24, 2015

TheoremAssume the restrictions on the potential energy above and let be a time-dependent discrete group of isometries satisfying the restriction on the time-dependence given above. If satisfy the equations of molecular dynamics, i.e.,

then also satisfy the equations of molecular dynamics:

Ericksen@90October 24, 2015

Proof

Ericksen@90October 24, 2015

Allowed time dependence of the group elements

The permitted time-dependence,

that is,

This is satisfied (in the absence of excessive assumptions on the solution)if and only if

Ericksen@90October 24, 2015

This is an invariant manifold of the equations of molecular dynamics

October 24, 2015

p = {p1,…, pN}

(p0, q0)

q = {q1,…,qN}

t

Dayal, James, JMPS (2010)

In the case of the translation group…

The form of the manifold is independent of the material

Ericksen@90

Simplest case - translation group

simulated atoms

discrete translation group

all of the atoms

permitted time-dependence

affine in t

Ericksen@90October 24, 2015

All of continuum mechanics inherits this (these) invariant manifold(s)

Lagrangian Eulerian

because

Ericksen@90

If thermodynamics is included, the energy equation becomes an ODE for thetemperature

The solution for the temperature is not universal.October 24, 2015

October 24, 2015 Ericksen@90

Other groups besides the translation group

B. de St. Venant, Memoire sur la torsion des prismes, Mem. Des Savants Etrangers 14 (1855), 233-560

J. L. Ericksen, Adv. Appl. Mech. (ed. C-S Yih) 17 (1977), 189-244:

Three examples

October 24, 2015 Ericksen@90

An invariant manifold of molecular dynamics

Maxwell-Boltzmann equation

Methods of structure determination for non-crystalline structures (Maxwell’s equations)

…of invariance under discrete groups and implications for thestructure of matter

Maxwell-Boltzmann equationmolecular densityfunction

Ericksen@90

Maxwell-Boltzmann equation

October 24, 2015

f

f log f

1/e

Solutions on the invariant manifold have their own “statistics”

Use translation group (i.e., gases fill volumes)

0

Ericksen@90

y

October 24, 2015

This yields an exact reduction of the Maxwell-Boltzmann equation

Includes many (all?) known exact solutions of the equations of the moments for special force laws

Does not include the Bobylev-Krook-Wu solution

(with Stefan Müller)

Ericksen@90

satisfies

October 24, 2015

Further simplification for inverse 5th powermolecules

Ericksen@90

Assume

Choose ξ(t) and η(t) to remove the time dependence. Get

removes the time dependence (In each case get explicit formulas for ξ(t) and η(t))

Return to the reduced Maxwell-Boltzmann equation:

October 24, 2015

Example 1

October 24, 2015 Ericksen@90

a

n

t

H(t)

H0

!

1.

Example 2

Plate moving atconstant velocity a Stationary

platea

n

Ericksen@90

!t

H(t)

H0

2.

October 24, 2015

Remarks

g(t,w)

w

Caveat: we have not (yet) given an existence theorem for the initial datumG(w), i.e., for

Consistency of the behavior of H and its definition?

Both the solutions of Boltzmann and the numerical results on pulling carbon nanotubes at constant strain rate suggest that there is a statistical mechanics for the invariant manifold. If so, it cannot be based on the invariant measure of ordinary statistical mechanics (Gibbs measure) because

Hamiltonian constant Ericksen@90

f

f log f

1/e

October 24, 2015

Three examples

October 24, 2015 Ericksen@90

An invariant manifold of molecular dynamics

Maxwell-Boltzmann equation

Methods of structure determination for non-crystalline structures (Maxwell’s equations)

…of invariance under discrete groups and implications for thestructure of matter

X-ray diffraction

October 24, 2015 Ericksen@90

Coherent diffractive imaging requires a coherent source of hard x-rays, , i.e., one of these:

October 24, 2015 Ericksen@90

LINAC at SLAC: 2 mile longlinear accelerator,longest in the world

$ 400,000,000.

Some of the most interesting structures today are not crystals

October 24, 2015 Ericksen@90

Buckyball (Smalley, Kurl, Kroto, Nobel Prize 1996) Carbon nanotubes

Graphene (Geim and Novoselov, Nobel Prize 2010)

Amyloid protein (causes Alzheimer's, Parkinson's and

Creutzfeldt-Jakob disease)H1N1 bird flu virus

Ebola virus

Myovirusbacteriophage

Forthcoming work on the crystallizationproblem for these kinds of structures: B. Schmidt and P. Dondl

“Objective structures”

Our method Focus on structures generated by isometry groups (objective

structures) Exploit the mathematical analog

Design radiation for the inverse problem

October 24, 2015 Ericksen@90

eigenfunction of the Laplacian(i.e., solves the time-harmonic wave equation)

eigenfunction of the translation group:

Jüstel, Friesecke, James

eigenfunction of the Laplacian(i.e., solves the time-harmonic wave equation)

eigenfunction of the isometry group* that generates the objective structure

Key point:isometries are in invariance groupof the Helmholtzequation. Hence,structural invariancecoincides with invariance of the PDE

Design criterion

October 24, 2015 Ericksen@90

eigenfunction of the Laplacian(i.e., solves the time-harmonic wave equation)

eigenfunction of the isometry group* that generates the objective structure

Remarks The solution is vector-valued, and the required action is

The design criterion is

is a character of G. We do not know thestructure ahead of time, so, which group G?

Explicit form of the design criterion for the simplest helical group

October 24, 2015 Ericksen@90

We design in a super group G’

G’ is isomorphic to

This implies the character The explicit form of the design criterion is

Problem: find functions of this form satisfying Helmholtz, i.e., of the form

G that generates the structure is a discrete subgroup of G’

October 24, 2015 Ericksen@90Ebola virus

Ebola Virus

Konstantinov et al., Visual Science nsf.gov

Solution: twisted waves

October 24, 2015 Ericksen@90

Jüstel, Friesecke, James

and the magnetic field is given by

Important parameters:α, β

Twisted waves interact with helicalstructures in the same way as

plane waves do for crystals

October 24, 2015 Ericksen@90 Jüstel, Friesecke, James

Slightly off resonance: destructive interference (A. Weil’s theorem)

On resonance: constructive interference

How do you build the machine?

October 24, 2015 Ericksen@90

(…for under $ 400,000,000.)

Theoretical concept:

Example: reconstruction of Pf1

October 24, 2015 Ericksen@90

formula for far-fieldscattered radiation

unbiased: random initialphases, no structuralinformation used

reconstruction algorithm(JFJ + Elser)

Jüstel, Friesecke, James