Epitaxial Growth Without Slope Selection: Energetics, Coarsening, and Dynamic Scaling
Epitaxial Growth Without Slope Selection: Energetics, Coarsening, and Dynamic Scaling
Epitaxial Growth Without Slope Selection: Energetics, Coarsening, and Dynamic Scaling
429–451 (2004)
DOI: 10.1007/s00332-004-0634-9
Summary. We study a continuum model for epitaxial growth of thin films in which the
slope of mound structure of film surface increases. This model is a diffusion equation for
the surface height profile h which is assumed to satisfy the periodic boundary condition.
The equation happens to possess a Liapunov or “free-energy” functional. This functional
consists of the term |h|2 , which represents the surface diffusion, and − log(1 + |∇h|2 ),
which describes the effect of kinetic asymmetry in the adatom attachment-detachment.
We first prove for large time t that the interface width—the standard deviation of the
height profile—is bounded above by O(t 1/2 ), the averaged gradient is bounded above
by O(t 1/4 ), and the averaged energy is bounded below by O(− log t). We then consider
a small coefficient ε 2 of |h|2 with ε = 1/L and L the linear size of the underlying
system, and study the energy asymptotics in the large system limit ε → 0. We show that
global minimizers of the free-energy functional exist for each ε > 0, the L 2 -norm of
the gradient of any global minimizer scales as O(1/ε), and the global minimum energy
scales as O(log ε). The existence of global energy minimizers and a scaling argument
are used to construct a sequence of equilibrium solutions with different wavelengths.
Finally, we apply our minimum energy estimates to derive bounds in terms of the linear
system size L for the saturation interface width and the corresponding saturation time.
Key words. epitaxial growth, coarsening, interface width, dynamic scaling, energy min-
imization, equilibrium
1. Introduction
In a typical layer-by-layer epitaxial growth that begins with a flat substrate, surface
morphological instabilities often occur as the film thickness reaches a critical value.
These instabilities manifest themselves as a sort of spinodal decomposition. As a result,
the nucleation of islands starts and many nuclei appear on the film surface. Such nuclei
evolve into mounds, and the mound structure coarsens. During the coarsening process,
the number of mounds decreases. Experiments and numerical simulations suggest that
the well-characterized lateral size of mounds, λ(t), increases as λ(t) ∝ t n , where t is the
time variable and n > 0 is a constant called the coarsening exponent. The interface width
w(t), which is the standard deviation of the height profile and measures the roughness
of the surface, also increases as w(t) ∝ t β , where β > 0 is a constant called the growth
exponent. When the finite size of the underlying system becomes effective, the interface
width saturates, and the saturation value ws = ws (L) satisfies that ws (L) ∝ L α , where
L is the linear size of the underlying system and α > 0 is a constant called the roughness
exponent. The corresponding saturation time ts = ts (L) satisfies the dynamic scaling
law ts (L) ∝ L z , where z is a constant called the dynamic exponent. In general, z = α/β.
See Figure 1. These scaling laws are often experimentally measurable, and contain much
microscopic information. See [2], [3], [6], [8], [12], [16], [21], [23], [25]–[28], [32]–[37]
and the references therein.
To understand these interesting phenomena, we consider in this work the diffusion
equation
∇h
∂t h = −∇ · − 2 h (1.1)
1 + |∇h|2
for the height profile h, measured in a co-moving frame, of a thin film in epitaxial growth.
We assume that the height profile h is spatially -periodic, where = (0, L)d ⊂ Rd is
a d-dimensional, open cube with d ≥ 1 an integer and L > 0 the linear size of the cube,
and is the closure of , i.e., = [0, L]d .
For epitaxial growth, d = 2. In this case, the biharmonic term in (1.1) describes the
surface diffusion [10], [22]. The nonlinear, lower-order term in (1.1) was first proposed
ws
β
t
0 ts t
Fig. 1. Scaling laws in epitaxial growth.
Epitaxial Growth without Slope Selection 431
Thus, the term |h|2 in the energy functional (1.2) can be replaced by i,d j=1 |∂xi x j h|2 ,
which has all the second-order derivatives. This property follows from the periodicity
along the coordinate directions, and does not imply that the surface diffusion is isotropic.
Using the identities
∇h 1 − |∇h|2 2|∇h|3
∇· = h + κ
1 + |∇h|2 (1 + |∇h|2 )2 (1 + |∇h|2 )2
and
h = ∂ 2 h + |∇h|κ,
432 B. Li and J.-G. Liu
∇h ∇h
where κ = ∇ · |∇h| is the mean curvature of level curves h = constants and ∂ = |∇h| ·∇
denotes the derivative tangential to the surface, we can rewrite our underlying growth
equation (1.1) as
|∇h|2 − 1 2 |∇h|
ht = ∂ h− κ − 2 h. (1.4)
(1 + |∇h|2 )2 1 + |∇h|2
Thus, the nonlinear term in the equation describes the anisotropic diffusion in epitaxial
growth: The curvature term represents the diffusion in the transverse direction and the
∂ 2 h term represents the diffusion in the direction of the surface gradient.
The linearization of (1.4) around a flat surface h 0 (x) = m · x for a given vector
m = (m 1 , m 2 ) ∈ R2 leads to the linearized equation of the growth equation (1.1) [18],
[29]
|m|2 − 1 2 1
∂t h = ∂ h− ∂ 2 h − 2 h,
(1 + |m|2 )2 m 1 + |m|2 ⊥m
where ∂ m = m · ∇/|m| and ∂⊥m = m ⊥ · ∇/|m| with m ⊥ = (−m 2 , m 1 ) denote the
derivatives parallel and perpendicular to the tilt vector m, respectively. Clearly, a singular
surface (m = 0) is linearly unstable. The change of the sign in the coefficient of ∂ 2m h
at |m| = 1 indicates the transition to step-flow growth. Since the coefficient of ∂⊥m 2
h
is always negative, the step-flow growth is linearly unstable with respect to transverse
fluctuations [4], [18].
Heuristic scaling analysis with an assumption of the existence of scaling laws and
large-scale numerical simulations of this model suggest that the interface width w(t)
and the lateral size of mounds λ(t) grow as O(t 1/2 ) and O(t 1/4 ), respectively [8], [11],
[24], [28], [33]. Thus, the characteristic slope of mounds scales as O(t 1/4 ) and becomes
unbounded. Moreover, this no-slope-selection model predicts that the saturation inter-
face width ws (L) ∝ L 2 . Consequently, the predicted growth, roughness, and dynamic
exponents are
1
β= , α = 2, z = 4. (1.5)
2
In contrast to this model without slope selection, the model with slope selection is
governed by the (scaled) free energy
1 2 1
Ẽ(h) = |∇h|2 − 1 + |h|2 d x, (1.6)
4 2
where the first term selects the (scaled) mound slope 1. This model predicts the exponent
β = 1/3 [15], [16], [21], [23], [28]. Recently, Kohn and Yan [15] rigorously proved an
averaged version of a one-sided bound for this one-third law.
For both of the models, we showed in [20] a nonlinear morphological instability in the
rough-smooth-rough pattern that is experimentally observed [9] and the well-posedness
of the corresponding initial-boundary-value problems.
Setting ε = 1/L, we can rescale the “energy” to get
where
1 ε2
E ε (h) = − log 1 + |∇h|2 + |h|2 d x, (1.8)
1
2 2
and 1 = (0, 1)d is the unit cube in Rd . The related gradient flow, which is the same as
the scaled (1.1), is
∇h
∂t h = −∇ · − ε 2 2 h. (1.9)
1 + |∇h|2
Our goal of this work is to understand the energetics, coarsening, and dynamic scaling
of the interfacial dynamics in epitaxial growth without the slope selection, and to justify
rigorously the scaling laws predicted by the underlying model.
Our main results are as follows:
(1) For any solution h of (1.1), we show for large time t that
See Section 2. All the bounds are independent of the dimension d and the system
size L. They are only one-sided. A two-sided bound is often not universally true.
For instance, an upper bound for the energy like E(h(t)) ≤ O(− log t) will not be
true for a steady-state solution h.
Note that our basic bounds lead to the O(−t 1/2 log t) lower bound for E(h(t))wh (t).
This is different from a constant lower bound for the same quantity in the slope-
selection model, cf. [15].
(2) For any ε > 0, we show that global minimizers of the scaled energy E ε defined
in (1.8) exist. Here, a global minimizer is a height profile that has the least energy
among the class of smooth and periodic height profiles. For small ε > 0, we also
show that
1
∇ hε L2( 1) = O
m
, (m = 0, 1, 2),
ε
for any energy minimizer of E ε and that
(3) For any solution h of (1.1), any ξ ∈ R with 1/L < ξ < 1, and tξ > 0 such that
E(h(tξ )) = − log(ξ L), we show for large t that
t 1/2
4(σ −1)
t ≥ O (ξ L) σ ,
∞
Let C per ( ) be the set of all restrictions onto of all real-valued, -periodic, C ∞ -
∞
functions on Rd . For any integer m ≥ 0, let Hperm
( ) be the closure of C per ( ) in the
usual Sobolev space W ( ) [1], [7]. Let
m,2
H( ) = h ∈ Hper 2
( ): − h dx = 0 .
In particular,
wh (t) = − |h(x, t)|2 d x, ∀ h ∈ H( ).
Theorem 2.1 (bounds on the interface width, gradient, and energy). Let h(·): [0,∞) →
H( ) be a weak solution of (1.1) on (0, T ) for any T > 0 [20]. Let t0 ≥ 0.
(1) An upper bound on the interface width. We have
wh (t) ≤ 2(t − t0 ) + [wh (t0 )]2 , ∀ t ≥ t0 . (2.2)
and
t 1/2
[wh (t0 )]2 1/2
− − |∇h(x, τ )|2 d xdτ ≤ 1 + t + t0 + [wh (t0 )]2 , ∀ t > t0 .
t0 2(t − t0 )
(2.4)
(3) A lower bound on the energy. We have
t √
1
− E(h(τ ))dt ≥ − log 1 + 3t , ∀ t > t0 + [wh (t0 )]2 . (2.5)
t0 2
Note that, for large t, the bounds in (2.2), (2.4), and (2.5) are exactly those in (1.10),
(1.11), and (1.12), respectively.
436 B. Li and J.-G. Liu
Proof of Theorem 2.1. (1) By the definition of a weak solution [20], we have (see [28])
d |∇h|2
[wh (t)] = 2− hh t d x = 2−
2
− |h| d x ≤ 2,
2
∀ t > 0. (2.6)
dt 1 + |∇h|2
Thus, integrating from t0 to t > t0 and then taking the square root, we obtain (2.2).
(2) It follows from (2.6) that
1 d |∇h|2
[wh (t)] + − (h) d x = −
2 2
d x ≤ 1.
2 dt 1 + |∇h|2
leading to (2.3).
Now, it follows from an integration by parts, the Cauchy-Schwarz inequality, (2.2),
and (2.3) that for any t > t0 ,
t t
− − |∇h(x, τ )|2 d xdτ = − − [−h(x, τ )]h(x, τ ) d xdτ
t0 t0
t 1/2 t 1/2
≤ − − |h(x, τ )| d xdτ
2
− − |h(x, τ )| d xdτ
2
t0 t0
t 1/2 1/2
[wh (t0 )]2
≤ − 2(τ − t0 ) + [wh (t0 )]2 dτ 1+
t0 2(t − t0 )
1/2 [wh (t0 )]2
1/2
≤ t + t0 + [wh (t0 )]2 1+ .
2(t − t0 )
Since − log is a convex function, we obtain by Jensen’s inequality, (2.4), and (2.7) that
t t
1
− E(h(τ )) dτ ≥ − log 1 + − − |∇h(x, τ )|2 d xdτ
t0 2 t0
1/2
1 [wh (t0 )]2 1/2
≥ − log 1 + 1 + t + t0 + [wh (t0 )]2
2 2(t − t0 )
1 √
≥ − log 1 + 3t ,
2
proving (2.5).
Epitaxial Growth without Slope Selection 437
In this section, we assume the space dimension is d = 1 and consider the energy
functional (1.8) and the related gradient flow (1.9). We first calculate simple height
profiles that have low energies. We then determine the local shape of equilibria. Detailed
one-dimensional analysis on the scaling laws can be found in [24].
Let j ≥ 1 be an integer. Divide the interval [0, 1] into 2 j small intervals of the same
length 1/2 j. Let k > 0 and δ > 0 be real numbers with 2δ < 1/2 j. Define a trial function
h ∈ C 1 [0, 1] by
kx, if 0 ≤ x < 1
− δ,
2
4j
− k
x − 1
+ k 1
− δ
, if 1
−δ ≤ x < 1
+ δ,
2δ 4j
4j 2 4j 4j
h(x) = −k x − 2 j , +δ ≤ x < − δ,
1 1 3
if
2
4j 4j
k
x − 3
− k 1
− δ
, if 3
−δ ≤ x < 3
+ δ,
2δ
4j 4j 2 4j 4j
k x − 1 , if 3
+ δ ≤ x ≤ 1j ,
j 4j
and
1 (i − 1) i
h x+ = h(x) ∀x ∈ , , i = 2, . . . , j.
j j j
k -k
O 1/4j- δ 1/4j+ δ x
1/j 1
-a O a x
log(1 + g 2 ) + ε 2 g 2 = c2 ,
Let 0 < σ < 1. With the change of variables g = kz, we obtain that
σk σ
dg kdz
x(σ k) = ε =ε .
0 1+k 2 0 1+k 2
log 1+g2 log 1+k 2 z2
Here, σ represents the ratio of the profile slope at the position x and the far-field slope
k. Clearly,
x(σ k) → 0, as σ → 0+ . (3.6)
Moreover, since (1 + k 2 )/(1 + k 2 z 2 ) ≤ 1/z 2 for z ∈ (0, 1), we get by changing the
variable y = 1/z that
σ ∞ ∞
dz dy dy
x(σ k) ≥ kε = kε 2
√ → kε 2
√ , as σ → 1.(3.7)
0 log z12 1/σ y 2 log y 1 y 2 log y
The last integral on [1, ∞) is finite and independent of ε and k. It follows from (3.6) and
(3.7) that the size of the transition region is O(kε). This agrees with (3.1) and (3.2).
Multiplying both sides of (3.4) by h and integrating by parts, we get
1 1
h 2
ε 2 h 2 d x = d x ≤ 1.
0 0 1 + h 2
This, together with (3.5) which is generally satisfied by g = h everywhere in (0, 1),
leads to
1
1 ε 2 2
E ε (h) = − log(1 + g ) + g
2
dx
0 2 2
1
1
= − log(1 + k 2 ) + ε 2 g 2 d x
0 2
∼ − log k, as k → ∞.
This agrees with our previous calculations of the energetics; cf. (3.1) and (3.3).
4. Energy Minimization
In this section, we study the variational problem of minimizing the scaled energy (1.8)
defined on 1 = (0, 1)d . Our main result is the following theorem, which is a rigorous
version of the basic properties we obtained from our heuristic calculations:
E (h ε ) = min E ε (h).
h∈H( 1)
Epitaxial Growth without Slope Selection 441
Moreover,
eε ∼ log ε, as ε → 0. (4.2)
√
(3) There exist two constants C2 > 0 and C3 > 0 such that for any ε ∈ (0, e−C1 / 2)
and any global minimizer h ε ∈ H( 1 ) of E ε : H( 1 ) → R,
C2 C3
≤ ∇ m hε ≤ , m = 0, 1, 2, (4.3)
ε ε
where ∇ 0 h = h, ∇ 1 h = ∇h, ∇ 2 h = h, and · is the L 2 ( 1 )-norm.
Corollary 4.1. For any integer j ≥ 1, there exists h j ∈ H( ) that satisfies the following
properties:
(1) The function h j is L/ j -periodic. Moreover, if h ∈ H( ) is L/ j -periodic, then
Now, define h j (x) = (1/ j)h̃ j ( j x) for any x ∈ Rd . One easily verifies that h j is L/ j -
periodic, and that (4.4) holds true, since for any h ∈ H( ) that is L/ j -periodic,
1 1
E(h) = E j (h̃) ≥ d E j (h̃ j ) = E(h j ),
jd j
where h(x) = (1/ j)h̃( j x) for any x ∈ Rd . This proves (4.4), which in turn implies (4.5)
directly. Part (1) is proved.
442 B. Li and J.-G. Liu
Equivalently,
∇h j
j (h j ) = −∇ ·
2
, in .
1 + |∇h j |2
Thus, by a simple argument using the regularity theory of elliptic equations and the fact
that h j is periodic, we see that h j is smooth and satisfies (4.7) pointwise. Consequently,
(4.6) follows from the scaling h j (x) = (1/ j)h̃ j ( j x).
To prove Theorem 4.1, we need several lemmas. For the first lemma, see Figure 4.
(2) If µ ∈ (0, 1), then there exists a unique sµ ∈ (0, ∞) such that
and that
log(1 + s) > µs, if s ∈ (0, sµ ),
(4.10)
log(1 + s) < µs, if s ∈ (sµ , ∞).
(3) As a function of µ, sµ defined above increases from 0 to ∞ as µ decreases from 1
to 0. Moreover,
log(1 + sµ )
lim = 1. (4.11)
µ→0+ log µ1
(2) Fix µ ∈ (0, 1). Let f (s) = log(1+s)−µs (s > −1) and s0 = 1/µ−1 > 0. Then,
f (s0 ) = 0. We have that f (s) > 0 on (0, s0 ), since f (s) > 0 on (0, s0 ) and f (0) = 0.
Similarly, f (s) < 0 on (s0 , ∞), and f (s0 ) = µ−log µ−1. This is a decreasing function
of µ ∈ (0, 1), since the derivative with respect to µ ∈ (0, 1) is negative. Moreover, its
value at µ = 1 is 0. Thus, f (s0 ) > 0. Also, f (s) → −∞ as s → ∞. Thus, there exists
a unique sµ ∈ (s0 , ∞) that satisfies (4.9) and (4.10).
(3) Notice that µ = s −1 log(1 + s) defines a continuously differentiable function for
s ∈ (0, ∞) with µ (s) < 0, and µ(s) → 1 as s → 0+ and µ(s) → 0 as s → ∞. Thus,
by the inverse function theorem, s = s(µ) defines a function of µ ∈ (0, 1). Obviously,
Epitaxial Growth without Slope Selection 443
y = µs
y = log(1+s)
O sµ s
Fig. 4. The meaning of sµ in Lemma 4.1.
s(µ) = sµ as defined in (4.9). Moreover, since s (µ) = 1/µ (s) < 0, sµ increases from 0
to ∞ as µ decreases from 1 to 0. Finally, taking the logarithmic functions of both sides
of (4.9) and dividing them further by log sµ , we get
log log(1 + sµ ) log µ log µ log(1 + sµ )
= +1= · + 1. (4.12)
log sµ log sµ log(1 + sµ ) log sµ
Since sµ → ∞ as µ → 0+ ,
log log(1 + sµ ) log log(1 + sµ ) log(1 + sµ )
= · → 0, as µ → 0+ . (4.13)
log sµ log(1 + sµ ) log sµ
Now, (4.11) follows from (4.12) and (4.12).
cf. (1.3). We also recall the following Poincaré inequalities for the unit cell 1 =
(0, 1)d [7]:
h ≤ C4 ∇h , ∀ h ∈ H( 1 ), (4.15)
∇h ≤ C5 h , ∀ h ∈ H( 1 ), (4.16)
where C4 > 0 and C5 > 0 are constants. The first inequality follows from the fact that
any h ∈ H( 1 ) has zero mean. The second inequality follows from the fact that the
mean of any first-order partial derivative of h ∈ H( 1 ) over 1 vanishes.
Lemma 4.2 (lower bound). Let ε > 0 and µ = ε2 /(2C52 ) > 0. Let s(ε) = 0 if µ ≥ 1
and s(ε) = sµ ∈ (0, ∞), as defined in Lemma 4.1, if 0 < µ < 1. We have
1 ε2
E ε (h) ≥ − log(1 + s(ε)) + (h)2 d x, ∀ h ∈ H( 1 ).
2 4 1
444 B. Li and J.-G. Liu
Proof. Fix h ∈ H( 1 ).
We have by Lemma 4.1 and the Poincaré inequality (4.16) that
1
E ε (h) = − log(1 + |∇h|2 ) d x
2 {x∈ 1 :|∇h|2 ≤s(ε)}
1 ε2
− log(1 + |∇h|2 ) d x + (h)2 d x
2 {x∈ 1 :|∇h|2 >s(ε)} 2 1
1 ε2 ε2
≥ − log(1 + s(ε)) − |∇h| 2
d x + (h)2 d x
2 4C52 1 2 1
1 ε2
≥ − log(1 + s(ε)) + (h)2 d x,
2 4 1
as desired.
Lemma 4.3 (upper bound). For each ε > 0, there exists h̃ ε ∈ H( 1) such that
E ε (h̃ ε ) ≤ log ε + C6 , ∀ε > 0,
where C6 > 0 is a constant independent of ε.
Proof. To better illustrate the idea, we prove the result for the case d = 2. The general
case can be treated similarly.
Define as before a 1-periodic, C 1 -function φε : R → R by
ks, if 0 ≤ s < 18 ,
2
−4k s − 14 + 3k , if 18 ≤ s < 38 ,
16
φε (s) = −k s − 2 , 1
if 38 ≤ s < 58 ,
2 3k
4k s − 4 − 16 ,
3
if 58 ≤ s < 78 ,
k(s − 1), if 78 ≤ s ≤ 1,
√ √
where k = 1/ ε. Note that we choose the slope k to be proportional to 1/ ε not 1/ε,
cf. (3.1). This is because the constructed profile will be a product of two such one-
dimensional trial functions. Note also that we choose the size of a “transition region” to
be δ = 1/8. It is easy to verify that
1
φ(s) ds = 0,
0
k 1 3 5 7
|φε (s)| ≥ , ∀s ∈ , ∪ , , (4.17)
8 8 8 8 8
and
3k
|φε (s)| ≤ , |φε (s)| ≤ k, |φε (s)| ≤ 8k, a.e. s ∈ R. (4.18)
16
Define
h̃ ε (x) = φε (x1 )φε (x2 ), ∀ x = (x1 , x2 ) ∈ R2 .
Clearly, h̃ ε ∈ H( 1 ).
Epitaxial Growth without Slope Selection 445
1
2 2
The second
√ term in the energy E ε (h̃ ε ) is easy to bound by (4.18) and the fact that
k = 1/ ε:
ε2 ε2 2
(h̃ ε )2 d x = φε (x1 )φε (x2 ) + φε (x1 )φε (x2 ) d x
2 2
1 1
≤ ε 2
|φε (x1 )|2 |φε (x2 )|2 + |φε (x1 )|2 |φε (x2 )|2 d x
1
9
≤ . (4.19)
2
For the first term in the energy E ε (h̃ ε ), we have by the symmetry and (4.17) that
1
− log(1 + |∇ h̃ ε |2 ) d x
2
1
= −8 log(1 + |∇ h̃ ε |2 ) d x
(0,1/4)×(0,1/4)
= −8 log 1 + |φε (x1 )|2 |φε (x2 )|2 + |φε (x1 )|2 |φε (x2 )|2 d x
(0,1/4)×(0,1/4)
= −8 log 1 + k 4 (x12 + x22 ) d x
(0,1/8)×(0,1/8)
−8 log 1 + |φε (x1 )|2 |φε (x2 )|2 + k 2 |φε (x1 )|2 d x
(1/8,1/4)×(0,1/8)
−8 log 1 + k 2 |φε (x2 )|2 + |φε (x1 )|2 |φε (x2 )|2 d x
(0,1/8)×(1/8,1/4)
−8 log 1 + |φε (x1 )|2 |φε (x2 )|2 + |φε (x1 )|2 |φε (x2 )|2 d x
(1/8,1/4)×(1/8,1/4)
≤ −8 log k 4 x12 + x22 d x
(0,1/8)×(0,1/8)
−8 log k 2 |φε (x1 )|2 d x
(1/8,1/4)×(0,1/8)
−8 log k 2 |φε (x2 )|2 d x
(0,1/8)×(1/8,1/4)
−8 log |φε (x1 )|2 |φε (x2 )|2 + |φε (x1 )|2 |φε (x2 )|2 d x
(1/8,1/4)×(1/8,1/4)
1
≤ − log k − 8 4
log x12 + x22 d x
8 (0,1/8)×(0,1/8)
4 4
1 k 1 k
− log − log
8 64 8 64
2
1 2 k 2 k 1 2
−8 log 8k x1 − + 8k x2 − dx
(1/8,1/4)×(1/8,1/4) 4 8 8 4
= log ε + C7 ,
446 B. Li and J.-G. Liu
where
3
C7 = log 2 − 8 log x12 + x22 d x
2 (0,1/8)×(0,1/8)
2 2
1 1
−8 log x1 − + x2 − dx
(1/8,1/4)×(1/8,1/4) 4 4
is a finite number. This, together with (4.19), leads to the desired estimate with C6 =
C7 + 9/2.
|∇h ε |2
ε (h ε ) d x =
2 2
d x.
1 + |∇h ε |2
Proof. If h ε ∈ Hper
2
( 1)
2
is a critical point of E ε : Hper ( 1) → R, then
∇h ε · ∇g
δ E ε (h ε )(g) = − + ε 2
h ε g d x = 0, ∀ g ∈ Hper
2
( 1 ).
1 + |∇h ε |2
Proof of Theorem 4.1. (1) Fix ε > 0. By Lemma 4.2, we have eε = infh∈H( 1 ) E ε (h) >
−∞. Let {h j }∞ j=1 be an infimizing sequence of E ε : H( 1 ) → R. It follows from
Lemma 4.2, the Poincaré inequalities (4.15) and (4.16), and the identity (4.14) that
{h j }∞j=1 is bounded in Hper ( 1 ). Thus, up to a subsequence, h j h ε in H ( 1 ) for
2 2
|∇h j |2 − |∇h ε |2
≤
1 + |∇h |2 d x
1 ε
≤ ( ∇h j + ∇h ε ) ∇h j − ∇h ε
→ 0, as j → ∞.
Therefore,
1 ε2
eε = lim inf E ε (h j ) ≥ − log(1 + |∇h ε |2 ) + (h ε )2 d x = E ε (h ε ) ≥ eε .
j→∞
1
2 2
This implies that h ε is a global minimizer of E ε in H( 1 ).
(2) The estimate (4.1) follows from Lemma 4.3 with C1 = C6 . It follows from
Lemma 4.2, the definition of s(ε) (cf. Lemma 4.2), and (4.11) in Lemma 4.1 that
eε E ε (h ε ) − 12 log(1 + s(ε))
lim inf = lim inf ≥ lim inf = 1. (4.20)
ε→0 + log ε ε→0+ log ε ε→0+ log ε
By Lemma 4.3,
eε log ε + C6
lim sup ≤ lim sup = 1. (4.21)
ε→0+ log ε ε→0+ log ε
Now, the desired asymptotics (4.2) follows from (4.20) and (4.21).
(3) Let h ε ∈ H( 1 ) be a global minimizer of E ε : H( 1 ) → R. Clearly, h ε is also a
2
global minimizer of E ε : Hper ( 1 ) → R. Thus, h ε is a critical point of E ε : Hper
2
( 1) →
R. Consequently, we have by Lemma 4.4 that
|∇h ε |2
ε2 (h ε )2 d x = ≤ 1. (4.22)
1 2
1 + |∇h ε |2
Noting that the negative logarithmic function is convex, we have by Jensen’s inequality
that
1
eε = E ε (h ε ) ≥ − log 1 + |∇h ε |2 d x .
2 1
Hence,
e−2C1 1 −C1
|∇h ε | d x ≥2
, if ε ∈ 0, √ e . (4.23)
1
2ε 2 2
From (4.23), we have by an integration by parts, the Cauchy-Schwarz inequality, and
(4.22) that
e−2C1
≤ |∇h ε |2
d x = (−h ε )h ε d x
2ε 2 1 1
1/2 1/2 1/2
1
≤ |h ε | d x
2
|h ε | d x
2
≤ |h ε | d x
2
,
1 1
ε 1
leading to
e−4C1
|h ε |2 d x ≥
. (4.24)
1
4ε 2
Now all the estimates in (4.3) follow from (4.22), (4.24), the Poincaré inequalities
(4.15) and (4.16), and the equivalence of norms (4.14).
448 B. Li and J.-G. Liu
We now consider the free energy (1.2) that is defined with = (0, L)d . By Theorem 4.1
and the change of variables in (1.7), we have that
√ C
and for L ≥ 2e 1 that
C2 L 4−2m
≤ − |∇ m h L |2 d x ≤ C3 L 4−2m , m = 0, 1, 2, (5.1)
√ h(·) : [0, ∞)
Theorem 5.1. Let √ → H( ) be a weak solution of (1.1) on (0, T ) for any
T > 0. Let L > 2 and ξ ∈ ( 2/L , 1). Let tξ > 0 be such that
t 1/2
ξ2
− [wh (τ )]2 dτ ≥ √ L 2. (5.3)
tξ 8
We remark that the time tξ approximates the saturation time. In general, tξ is larger
when the parameter ξ is closer to 1. The inequality (5.3) gives a lower bound, in an
averaged version, for the saturation interface width. The inequality (5.4) is an asymptotic,
lower bound for the saturation time: As ξ is closer to 1 and σ becomes very large, the
bound becomes O(L 4 ). The assumption for this lower bound is that the time t is larger
than tξ , which is the time at which the energy of a profile h reaches nearly the minimum
value.
Epitaxial Growth without Slope Selection 449
Proof of Theorem 5.1. (1) It is easy to verify from the energy (1.2) and (1.1) that
d
E(h(t)) = −− h 2t d x ≤ 0, ∀ t > 0. (5.5)
dt
Thus, the energy decays. Consequently, we have by (5.2) that
E(h(t)) ≤ E(h(tξ )) = − log(ξ L), ∀ t ≥ tξ . (5.6)
This and Jensen’s inequality imply that
t
− log(ξ L) = − E(h(tξ )) dτ
tξ
t
≥ − E(h(τ )) dτ
tξ
t
1
≥ − − − log 1 + |∇h(x, τ )|2 d xdτ
tξ 2
t
1
≥ − log 1 + − − |∇h(x, τ )| d xdτ .
2
2 tξ
Acknowledgments
This work was partially supported by the NSF through grant DMS-0072958 and DMS-
0107218. The authors thank Dr. Robert L. Pego for many interesting discussions. They
also thank the referee for the insightful and suggestive comments.
References
[18] J. Krug and M. Schimschak. Metastability of step flow growth in 1 + 1 dimensions. J. Phys.
I France, 5:1065–1086, 1995.
[19] Z.-W. Lai and S. Das Sarma. Kinetic growth with surface relaxation: Continuum versus
atomistic models. Phys. Rev. Lett., 66:2348–2351, 1991.
[20] B. Li and J.-G. Liu. Thin film epitaxy with or without slope selection. European J. Applied
Math., 14(6):713–743, 2003.
[21] D. Moldovan and L. Golubović. Interfacial coarsening dynamics in epitaxial growth with
slope selection. Phys. Rev. E, 61(6):6190–6214, 2000.
[22] W. W. Mullins. Theory of thermal grooving. J. Appl. Phys., 28:333–339, 1957.
[23] M. Ortiz, E. Repetto, and H. Si. A continuum model of kinetic roughening and coarsening
in thin films. J. Mech. Phys. Solids, 47:697–730, 1999.
[24] P. Politi and A. Torcini. Coarsening in surface growth models without slope selection. J.
Phys. A: Math. Gen., 33:L77–L82, 2000.
[25] P. Politi and J. Villain. Ehrlich-Schwoebel instability in molecular-beam epitaxy: A minimal
model. Phys. Rev. B, 54(7):5114–5129, 1996.
[26] I. Raistrick and M. Hawley. Scanning tunneling and atomic force microscope studies of thin
sputtered films of YBa2 Cu3 O7 . In S. L. Shinde and D. A. Rudman, editors, Interfaces in
High-Tc Superconducting Systems, pages 28–70. Springer-Verlag, New York, 1994.
[27] A. Roshko, F. Stork, D. Rudman, D. Aldrich, and P. M. Hotsenpiller. Comparison of het-
eroepitaxial YBa2 Cu3 O7−δ and TiO thin film growth. J. Crystal Growth, 174:398–408, 1997.
[28] M. Rost and J. Krug. Coasening of surface structures in unstable epitaxial growth. Phys.
Rev. E, 55(4):3952–3957, 1997.
[29] M. Rost, P. Šmilauer, and J. Krug. Unstable epitaxy on vicinal surfaces. Surface Sci.,
369:393–402, 1996.
[30] R. L. Schwoebel. Step motion on crystal surfaces II. J. Appl. Phys., 40:614, 1969.
[31] R. L. Schwoebel and E. J. Shipsey. Step motion on crystal surfaces. J. Appl. Phys., 37:3682,
1966.
[32] M. Siegert. Coarsening dynamics in crystalline thin films. Phys. Rev. Lett., 81(25):5481–
5484, 1998.
[33] M. Siegert and M. Plischke. Slope selection and coarsening in molecular beam epitaxy. Phys.
Rev. Lett., 73(11):1517–1520, 1994.
[34] J. A. Stroscio, D. T. Pierce, M. D. Stiles, and A. Zangwill. Coarsening of unstable surface
features during Fe(001) homoepitaxy. Phys. Rev. Lett., 75(23):4246–4249, 1995.
[35] K. Thürmer, R. Koch, M. Weber, and K. H. Rieder. Dynamic evolution of pyramid structures
during growth of epitaxial Fe(001) films. Phys. Rev. Lett., 75(9):1767–1770, 1995.
[36] J. Villain. Continuum models of crystal growth from atomic beams with and without des-
orption. J. de Phys. I, 1:19–42, 1991.
[37] D. D. Vvedensky, A. Zangwill, C. N. Luse, and M. R. Wilby. Stochastic equations of motion
for epitaxial growth. Phys. Rev. E, 48:852–862, 1993.