Professional Documents
Culture Documents
Pingbing Ming
k mpb@lsec.cc.ac.cn http//lsec.cc.ac.cn/˜mpb
Collaborators: W. E (Princeton) & Zhijian Yang (RIT) & Jingrun Chen (CAS)
Continuum
1s Mechanics
Kinetic
1µs Theory
Molecular
1ps Dynamics
Quantum
1fs Mechanics
space
o 1nm 1µ m 1m
1A
...
General feature: concurrent coupling (on-the-fly) domain
decomposition
Q: stability? accuracy?
Quasicontinuum method – p.
Al (1 1 1) Nanoindentation: MD analysis
Atomistic model is a
must-be
Long range elastic field is
equally important (large
cells)
The vast majority of atoms
in MD moves according to
the smooth elastic field
=⇒MD wasteful!
Coupled atomistic
continuum model
Fig. 2: J. Li et al, Nature, description
418(2002), 307
MD Molecular Dynamics
without all the atoms
Quasicontinuum method – p.
Quasicontinuum method: methodology
http://www.qcmethod.com
Original papers:
TADMOR , O RTIZ AND P HILLIPS, Phil. Mag. 96(1996), 1529–1563
K ANP AND O RTIZ, J. Mech. Phys. Solids, 49(2001), 1899–1923
Review papers:
M ILLER AND TADMOR , J. Comput. Aided Mat. Des., 9(2002),
203–239
MRS Bulletin 32(2007), Nov., 920–926
Modeling Simul. Mater. Sci. Eng. 17(2009), (053001)
Quasicontinuum method – p.
Cauchy-Born rule
y=x+Ax
ζ 2 (6) −12 −6
WCB (A) = ε0 |1 + A| − 2|1 + A|
ζ(12)
Quasicontinuum method – p.
Formulation of QC
PNrep
Choose representative atom Nrep ≪ N ui = α=1 Sα (xi )uα
Calculate local energy
XZ
E local = WCB (∇u(x))d x
K K
tot
EQC = E local + E nonlocal
Quasicontinuum method – p.
Local QC
X
WLQC (∇V ): = |K|WCB (∇V ), V ∈ XH
K∈TH
Quasicontinuum method – p.
Why we need to understand QC?
Motivation
Successful method for modeling static properties of crystalline
solids at zero temperature
The simplest example for understanding the algorithmic
issues in coupled atomistic/continuum methods:
Temperature = 0
No dynamics
Objective
Whether the matching between the continuum and atomistic
models causes large error? consistency
Whether new numerical instabilities can arise as a result of
atomistic/continuum coupling? stability
Many groups: Lin; E et al; Le Bris & Lions; Luskin et al; Süli et al;
Oden; Prudhomme · · ·
This is a very good problem: the simplest one to understand the
atomistic/continuum coupled multiscale/multiphysics method: no
temperature; no dynamics so far
This is a new type of problem for numerical analysis community
Consistency problem
Consistency in the bulk: understanding the passage
Cauchy-Born rule
atomistic model −−−−−−−−−−→ continuum model
1X
V = V0 (yi − yj )
2
i6=j
1 X X du
≃ V0 1 + (xi ) jǫ
2 i dx
j6=i
X du Z du
= W (xi ) ≃ W (x) d x
dx dx
i
1 X
W (A) = V0 (1 + A)iǫ
2ǫ i
Set-up
Lennard-Jones potential
next nearest neighborhood interaction
△ lattice: Cauchy-Born rule is valid
lattice: Cauchy-Born rule is invalid
Cauchy-Born rule gives negative shear modulus
phonon spectra is degenerate
40
35
30
25
20
15
10
−5
100
80 100
60 80
40 60
40
20
20
0 0
If Born criterion is true, and for p > d, there ∃K, R s.t. for any
kf kLp ≤ K, ∃|uCB of the continuum problem s.t. kuCB kW 2,p ≤ R, and
uCB is a W 1,∞ −local minimizer
(c) ǫxx = 0.12 (d) ǫxx = 0.13 (e) ǫxx = 0.15 (f) ǫxx = 0.17
Consistency in the bulk (for simple system, the two models should
produce consistent results) Under Born and Lindmann
stability criteria
The atomistic model is a consistent approximation of
Cauchy-Born elasticity model
Cauchy-Born elasticity model is a consistent coarse-graining
of the atomistic model
This result is valid for d = 1, 2, 3
Refer to J.L. Ericksen, On the Cauchy-Born rule,
Mathematics and Mechanics of Solids 13: 199-220,
2008
′ ′ ′ 1 ′
f1̄ = −V (r3̄1̄ ) − V (r2̄1̄ ) + V (r1̄0 ) + V (r1̄1 )
2
f0 = −V ′ (r2̄0 ) − V ′ (r1̄0 ) + V ′ (r01 ) + 2V ′ (2r01 )
1
f1 = − V ′ (r1̄1 ) − 2V ′ (2r01 ) − V ′ (r01 ) + V ′ (r12 ) + 2V ′ (2r12 )
2
At equilibrium state: ǫ=bond length
1 1
f1̄ = − V ′ (2ǫ) f0 = V ′ (2ǫ) f1 = − V ′ (2ǫ)
2 2
−3 0.6
x 10
10
0.5
8
0.4
6
0.3
4
D (yqc−x)
0.2
yqc−x
0.1
+
0
−2 0
−4 −0.1
−6 −0.2
−8 −0.3
0 5 10 15 20 25 30 35 0 5 10 15 20 25 30 35
N N
b ≡ y QC − x,
y D+ yi ≡ (yi+1 − yi )/ǫ.
lower bound:
1
D+ (y−1 − x−1 ) ≥ , N ≥ 4.
5
0.4 −0.86
0.2 −0.88
0 −0.9
−0.2 −0.92
V(r)
V(r)
−0.4 −0.94
−0.6 −0.96
−0.8 −0.98
−1 −1
0 2 4 6 8 10 0.5 1 1.5
r r
0.04
0.02
−0.02
−10 −5 0 5 10
0.1
−0.1
−10 −5 0 5 10
−3
2nd componet of yqc−x x 10
4 0.2
2
0.1
−x)
0
qc
0
D+(y
−2
2
−0.1
−4
−6 −0.2
60 60
50 40
40 40 40
30
30 20
20 20 20
10 10
0 0 0 0
e e e1 e
1 2 2
3 4 5 6 7
harmonic potential
Dirichlet boundary condition imposed on boundaries
special case: x−direction=Dirichlet BC; y−direction=periodic BC,
reduces to 1−d case
2N
X −1
kπ
ak sinh[(M + m)αk ] sin (N + n), continuum
2N
k=1
(yQC − x)(m, n) =
2N
X −1
kπ
b k F m (γ ,
k kδ ) + ck fm (γ ,
k kδ ) sin (n + N ), atomistic
k=1
2N
λk kπ
cosh αk = 1 + , λk = 2 sin2
5 4N
1 p 1 p
cosh γk = 1 + 25 + 8λk , cosh δk = −1 + 25 + 8λk
4 4
Fm (γ, δ) = sinh[(M − m)γ] + 2 sinh γ cosh[(M − m)γ] − cosh[(M − m)δ]
fm (γ, δ) = Fm (δ, γ)
ak , bk , ck = certain parameters
No ghost force!
Quasicontinuum method – p.3
Other ghost-force free methods
If Born criteria is true, there exists constant κ, such that if kf kLp (Ω) ≤ κ
with p > d, then
kuCB − uQC kH 1 ≤ CH
stable
Original QC
O(1/ǫ) near interface
LTE = (Lǫatom − Lǫqc )(y atom ) =
O(ǫ2 ) away from interface
y − y
1 yi − yi−2 i i+2
LTEi = − V ′ +V′
ǫ ǫ ǫ
2(y − y ) 2(y − y )
i i−1 i i+1
− 2V ′ − 2V ′
ǫ ǫ
= D+ Qi ,
y − y y − y
i i−2 i+1 i−1
Qi = V ′ +V′
ǫ ǫ
y − y
i i−1
− 2V ′
ǫ
| h LTE, wi | ≤ Cǫk w kd
In short kLTEk−d ≤ Cǫ
h F , wi
kF k−d = sup Spijker, 1968; Tikhonov & Samarskiǐ, 1962
w∈R2N +1 k w kd
w 2 w 2 X2N 2
1 2N +1 wi+1 − wi 1/2
k w kd : = + + .
ǫ ǫ ǫ
i=1
Quasicontinuum method – p.3
Stability of ghost-force free QC
h Hw, wi ≥ Λk w k2d
∂2E
Hij = |x Q-QC, GCS
∂yi ∂yj
∂fi
Hij = − |x force-based QC
∂yj
P P
1. Translation invariance of E =⇒ j Hij = 0 = i Hij
2. For any w ∈ RN
X 1X
h Hw, wi = Hij wi wj = − (wi − wj )Hij (wi − wj )
ij
2 ij
w
w
discrete Fourier transform; stab. cond.
X X wi − wj 2
≥ λ1
ǫ
i |j−i|≤M
Consistency error
h Hw, wi ≥ Λk w k2d
Convergence rate
QQC is stable
Convergence
kD+ (y qqc − y atom )k∞ ≤ Cǫ