A VICINAL SURFACE MODEL FOR EPITAXIAL GROWTH WITH LOGARITHMIC FREE ENERGY. Yuan Gao

Transcription

1 Manuscript submitted to doi:.3934/xx.xx.xx.xx AIMS Journals Volume, Number, Xxxx XXXX pp. 2 A VICINAL SURFACE MODEL FOR EPITAXIAL GROWTH WITH LOGARITHMIC FREE ENERGY Yuan Gao Department of Mathematics Hong Kong University of Science and Technology Clear Water Bay, Hong Kong Hangjie Ji, Jian-Guo Liu #, and Thomas P. Witelski # Department of Mathematics University of California, Los Angeles Los Angeles, CA 995, USA Department of Mathematics # Department of Physics Duke University Durham, NC 2778, USA January 2, 28 (Communicated by Peter E. Kloeden) Abstract. We study a continuum model for solid films that arises from the modeling of one-dimensional step flows on a vicinal surface in the attachment-detachment-limited regime. The resulting nonlinear partial differential equation, u t = u 2 (u 3 + αu) hhhh, gives the evolution for the surface slope u as a function of the local height h in a monotone step train. Subject to periodic boundary conditions and positive initial conditions, we prove the existence, uniqueness and positivity of global strong solutions to this PDE using two Lyapunov energy functions. The long time behavior of u converging to a constant that only depends on the initial data is also investigated both analytically and numerically Introduction. Epitaxial growth of crystal surfaces below the roughing temperature has attracted extensive interest. Unlike traditional modeling for fluid and solid mechanics where one starts with continuum theories for macroscopic variables, the modeling of crystal films was first established from the atomic perspective. At the nanoscale, crystal surfaces consist of basic structures such as interacting line defects (steps) and flat surface regions (facets). With adatoms detaching from one step and reattaching to another step after traveling along the facets, a step flow describes the mass transport along the crystal surface. For broader physical surveys of crystal growth we refer readers to [3,, 2]. From both discrete and continuum viewpoints, different models have been constructed to characterize step flows. From the discrete perspective, the dynamics of the steps are described by the step velocities using a Burton-Cabrera-Frank (BCF) type framework [3], which was investigated by Ozdemir and Zangwill [2]. The motion of these individual steps are usually modeled by systems of differential equations for step locations. At the macroscopic scale the continuum limit of step evolution is generally reformulated 2 Mathematics Subject Classification. Primary: 35K25, 35K55, 74A5. Key words and phrases. Vicinal surface, attachment-detachment-limited case, step slope, nonlinear partial differential equations. Corresponding author: Hangjie Ji (hangjie@math.ucla.edu).

2 2 A VICINAL SURFACE MODEL WITH LOGARITHMIC FREE ENERGY as nonlinear PDEs [5, 9, 2, 7 2, 22, 26]. Based on the conservation of mass, the dynamic equation for the surface height of a solid film, h(t, x), can be written as ( ( )) h δg t = M( h), (.) δh where the mobility function M( h) is a functional of the gradients in h and G(h) represents a surface energy. The mobility function takes distinctive forms in different limiting regimes. In the diffusion-limited (DL) regime, where the dynamics is dominated by the diffusion across the terraces, M is a constant, M. While in the attachment-detachment-limited (ADL) case, the dominant processes are the attachment and detachment of atoms at step edges, and the mobility function takes the form [] M( h) = h. (.2) One form of the surface energy associated with the dynamical model (.) was identified [4] as G(h) = α h + 2 h 3 dx, (.3) where the first term represents the step-formation energy and leads to a conical singularity at h =, and the second term is the step-interaction energy and is consistent with the discrete model for the crystal surface which will be discussed later. In the DL regime, Giga and Kohn [4] rigorously showed that with periodic boundary conditions on h, finite-time flattening to a spatially-uniform solution, h C, occurs for α. A heuristic argument provided by Kohn [] indicates that the flattening dynamics is linear in time. However, in the ADL regime with the nonlinear mobility given by (.2), the dynamics of the surface height equation (.) is still an open question []. In the ADL case, using (.2) and (.3), the evolution equation for the surface dynamics becomes { [ ( h t = h α h )] } h h h. (.4) To simplify the problem, consider a one-dimensional monotone vicinal surface corresponding to a monotone step train in the discrete model. Without loss of generality, assume that h x > for the whole domain. Under this assumption the α term drops out and (.4) can be rewritten as ( ) ] h t = [ 3 h 2 h2 x. (.5) x xx x This equation can also be derived from the dynamic equation (.) using the surface energy (.3) with α =. Following the method introduced by Ozdemir and Zangwill [2] and Shehadeh et al. [], the new variable u(t, h) = h x (t, x) > can be adopted to rewrite the PDE as an evolution equation for the surface slope, u t = u 2 (u 3 ) hhhh. (.6) This is a fourth-order degenerate parabolic PDE and the existence of global weak solutions for this problem has been shown previously in [8]. Specifically, it was proved that the solution u is positive almost everywhere and that u converges to a constant solution in the limit of long times. The central difficulty is how to deal with singularities if u touches down to zero. A method for degenerate parabolic equations used in [2] was adapted by neglecting a zero measure set P T = {h [, ]; u(h) = }, which is a closed set so that we can define a distribution on (, T ) (, )\P T and formulate the definition of weak solutions In [8] the solution u(t, h) of (.6) was regularized by a small O(ɛ) perturbation, and it has been shown that the solution has a positive lower bound u ɛ(h) > ɛ. However, the main obstacle remains as the perturbation approaches zero. Since after taking the limit ɛ it is only guaranteed that u(h) > almost everywhere, we can not prevent u from touching down to zero where u tends to infinity. More explicitly, /u ɛ is in L space, which is non-reflexive, and there is no weak compactness in L space. Thus as we take the limit ɛ, u is in Radon space M([, ]), rather than L space. Hence we can not obtain ( u ) t = (u3 ) hhhh by directly taking the limit in the regularized problem.

3 A VICINAL SURFACE MODEL WITH LOGARITHMIC FREE ENERGY to (.6). Using this definition, the existence and almost-everywhere positivity of global weak solutions of (.6) was proved. Note that the slope equation (.6) can also be derived from discrete models in the BCF framework [3] by showing the convergence of the discrete model to its continuum limit [7]. Let {x i (t), i Z} be the step locations at time t and let the height of each step be a constant a = H/N, where x i+n (t) x i (t) = L is specified for a train of steps with a length scale L, and H represents the total height of N steps. In the ADL regime, the BCF model without deposition flux is expressed by the step-flow differential equations, dx i dt = ( ) µi+ a 2 2µ i + µ i for i =,, N, where µ i is a chemical potential giving the gradient of the free energy with respect to changes in the steps, µ i = E/ x i. When the free energy involves only local contributions due to the interaction among steps, f(r), it can be written as N ( ) xi+ x i E = a f. a i= Then, defining the step slopes u i (t) = a/(x i+ (t) x i (t)), we obtain the differential equations for slopes u i for i =, 2,, N, du i dt = [ ( ) ( ) ( ) ( ) ( )] a 4 u2 i f 4f + 6f 4f u i 2 u i ui + f. (.7) u i+ u i+2 Note that the right hand side of (.7) is equivalent to a centered finite difference discretization in the limit of the step height a, or equivalently, as the number of steps N. Therefore the solution of the slope ODE (.7) should converge to the solution u(t, h) of the continuum model [ ( )] u t = u 2 f, (.8) u hhhh where the step slope u is considered as a function of h. For vicinal surface models with entropic and elastic-dipole interactions, the continuum model (.8) is equivalent to the PDE (.6) in [8] with the local contribution f being f (r) = 2 r 2. In 22, Xiang [26] investigated a continuum model in the DL regime with nonlocal contributions with f 2 (r) = ln r. In order to improve the results for (.6) and explore other interesting dynamics in solid films, we modify the surface energy (.3) to incorporate a logarithmic factor, G(h) = α h x ln h x + 2 h x 3 dx. (.9) This modification is motivated by kinetic theory and related energy techniques, and the contribution from the new energy enables us to gain weak compactness in the proof of global strong solutions. This modified surface energy is comparable to (.3) as the logarithmic correction is negligible for small surface gradients. With this new energy, the one-dimensional evolution equation, restricted to the case when h x > on x L, is [ ( ) ] h t = α ln(h x ) + 3 h 2 h2 x, (.) x xx x This evolution equation is comparable to (.5) except for the logarithmic term due to the difference between the energy functional (.3) and (.9). The rate of dissipation of the surface energy (.9) for this model is dg L dt = δg L h t δh dx = ( δg ) 2 dx. h x δh x Applying the change of variables u(t, h) = h x (t, x) to (.), yields the slope equation u t = u 2 (u 3 + αu) hhhh. (.)

4 4 A VICINAL SURFACE MODEL WITH LOGARITHMIC FREE ENERGY h u x h Figure. (Left) A typical PDE simulation for (.) with α = on x and (right) the corresponding plot of u(t, h) with boundary conditions (.5) and H = 2, clearly showing the convergence of h to a straight line, with the slope u approaching to a spatially-uniform profile u = This one-dimensional fourth-order nonlinear PDE (.) is the main focus of this paper. Note that the previously studied model (.6) corresponds to the case α = in (.). Moreover, the continuum model (.) can also be derived from (.8) if the same r 2 and ln r elastic contributions in [8, 26] with only local step interactions are considered, with the local contributions in (.8) set to be f(r) = α ln r. (.2) 2r2 This form of f(r) is consistent with the choice of the surface energy in [26] where elastic interactions among steps are incorporated in the derivation of chemical potentials from a discrete BCF model. For the case α >, we introduce the scalings ũ = α /2 u, h = α /2 h, t = t for the governing slope equation (.), which after dropping the tildes leads to u t = u 2 (u 3 + u) hhhh. (.3) This rescaling simplifies the discussion of the original problem (.). To model a monotone step train with periodic slope where the maximum and minimum heights in each period do not change in time, we impose periodic boundary conditions on u, u(h) = u(h + H), (.4) corresponding to Dirichlet boundary conditions on h with a fixed height difference H in each period, h x (x) = h x (x + L), h() =, h(l) = H. (.5) Specifically, we investigate the regularity of solutions of (.3) associated with the periodic boundary condition (.4) and positive initial data u (h) = u(, h) c >, for some constant c >. (.6) In this work, we obtain a strictly positive lower bound for u, which prevents /u from blowing up, and prove the existence and uniqueness of global strong solutions to (.3) with periodic boundary conditions. We also study the long time behavior of u by investigating two related Lyapunov functionals for (.3). In the long time, u(t, h) converges to a spatially-uniform solution which only depends on the initial data u. Fig. shows typical evolution of the h-equation (.) solved numerically using finite differences with α =, L = and H = 2 starting from the monotone initial data h (x) =.5 tanh((x.5))+2(x.5)+ on x. It is observed that the monotone profile of h converges to the line h = 2x as t, with the corresponding slope profile u approaching to a spatially-uniform solution u = 2 as t.

5 A VICINAL SURFACE MODEL WITH LOGARITHMIC FREE ENERGY Since the model (.3) for h H is equivalent to the model with h up to a rescaling, for the rest of this paper we set H =. The structure of the rest of the paper is as follows. In section 2 we introduce two useful Lyapunov functions. In section 3 we show the regularity of solutions of PDE (.3) and the long time behavior of the PDE solution is further investigated in section 4. Numerical verification of these analytical results are then provided in section 5 with a brief discussion of the effect of the logarithmic term on the transient dynamics of the slope equation. 2. Two Lyapunov functions. It is important to note that if u is strictly positive, then (.3) can be written as (u ) t = (u 3 + u) hhhh, which yields the conservation law, u dh = u dh. (2.) In particular, using the relationship u(t, h) = h x (t, x) and boundary conditions (.4) and (.5), we conclude that u dh = x h dh = x h= x h= = L, (2.2) which gives an underlying connection between the surface height equation (.) and the slope equation (.3). Two Lyapunov energy functions of (.3) will now be introduced. Specifically, there is a special bivariational structure embedded in the slope equation (.3) that is useful in the proof of the regularity of solutions. With the energy density function f in (.2), the first Lyapunov function is given by F (u) := Then the variational structure of (.3) can be written as u t = u 2( u 2 δf ) δu which leads to the dissipation inequality for F (u), df dt = u t δf δu dh = In addition, we define the Lyapunov function 2 u2 + ln u dh. (2.3) hhhh, (u 3 + u)(u 3 + u) hhhh dh = E(u) := (u 3 + u) 2 hh dh. (2.4) ( (u 3 + u) hh ) 2 dh, (2.5) and direct calculation gives that δe/δu = (2 + 6u 2 )(u 3 + u) hhhh. Hence the PDE (.3) actually has a bi-variational structure which is given by u t = u2 δe 2 + 6u 2 δu = u2( u 2 δf ) δu. (2.6) hhhh This is the key point in proving the existence and positivity of u. From (2.6), we also obtain the dissipation inequality for E(u), de dt = δe u t δu dh = u 2 ( δe ) 2 dh. (2.7) 2 + 6u 2 δu Moreover, from (2.4) and (2.5), the relation between F (u) and E(u) turns out to be df dt + E =. (2.8)

6 6 A VICINAL SURFACE MODEL WITH LOGARITHMIC FREE ENERGY This, together with (2.7), gives that T E(T ) and thus T E(u(t)) dt = F (u()) F (u(t )) F (u()) ln u min dh, (2.9) E(u(T )) C for any T >, T where C is a constant depending only on initial data u, and u min is the minimal value of u over [, T ] [, H]. This formal observation is important to study the long time behavior of strong solutions to (.3). From the energy dissipation (2.7), to obtain an exponential decay for energy E, it remains to prove de that the dissipation rate of E should be bounded above by E, i.e., dt ce, which is usually shown by a logarithmic Sobolev inequality. One example for this is [25]. After proving the global positive lower bound for u, we will use Poincáre s inequality to obtain this relation and an exponential decay rate for the energy E. See the analysis for the long time behavior of strong solutions in section Global strong solution. In the following, with standard notations for Sobolev spaces, we denote Hper([, m ]) := {u(h) H m (R); u(h + ) = u(h) a.e. R}. (3.) First we give the definition of a strong solution to PDE (.3). Definition. For any T >, we define a strong solution u(t) to PDE (.3) to be a positive function that satisfies u C([, T ]; H 2 per([, ])) L 2 ([, T ]; H 4 per([, ])), (3.2) with initial data u and u t L 2 ([, T ]; L 2 per([, ])) (3.3) u t = (u 3 + u) hhhh for a.e. (t, h) [, T ] [, ]. (3.4) We now state the main result, the global existence of strong solutions to (.3) as follows. Theorem. For any T >, assume initial data u Hper([, 2 ]), u dh = L and u. Then there exists a unique global positive strong solution to PDE (.3) with initial data u and the following two energy-dissipation equalities hold E(u(T, )) + T F (u(t, )) + Further, the lower bound for u is obtained { u(t, h) min 2(u 2 + 3u 4 )((u 3 + u) hhhh ) 2 dh dt = E(u(, )), (3.5) T 3L 3 E(t), for (t, h) [, T ] [, ], where E = E(u()). E(u(t, )) dt = F (u(, )). (3.6) 2L E(t) We also point out the following two important facts: } { } min 3L 3, >, (3.7) E 6L Remark. If it is assumed that the initial data u is smooth in addition to the conditions in Theorem, then with the lower bound in (3.7) we can use standard arguments to obtain higher-order estimates for u, and therefore ensures positive smooth solutions to PDE (.3).

7 A VICINAL SURFACE MODEL WITH LOGARITHMIC FREE ENERGY Remark 2. Considering the limit E(t) as t in (3.7) in Theorem, we will have an asymptotic lower bound for u, u(t) for t. (3.8) 2L First we introduce two lemmas which will be used later. Lemma. For any -periodic function v(h), we have the following relation Proof. Notice that ((v 3 ) hh ) 2 dh = 9 ((v 3 ) hh ) 2 = [(3v 2 v h ) h ] 2 = [6vv 2 h + 3v2 v hh ] 2 v 4 (v hh ) 2 dh. (3.9) = 9v 4 v 2 hh + 36v2 v 4 h + 36v3 v 2 h v hh = 9v 4 vhh v2 vh 4 + 2v3 (vh 3 ) h = 9v 4 vhh 2 + 2(v3 vh 3 ) h. Integrating from to, we obtain (3.9). Lemma 2. For any function v(h) such that v hh L 2 ([, ]), assume that v achieves its minimal value at h, i.e. v min = v(h ). Then we have v(h) v min 2 3 v hh L 2 ([,]) h h 3 2. (3.) 54 Proof. Since v hh L 2 ([, ]), v h is continuous. Hence by v min = v(h ), we have v h (h ) = and v h (h) = v hh (s) ds h h 2 vhh L 2 ([,]). (3.) h Hence we have v(h) v min h s h 2 vhh L 2 ([,]) ds 2 3 h h 3 2 v hh L 2 ([,]) Proof of Theorem. Recall that L = u dh from (2.2), and denote u min as the minimal value of u in [, T ] [, ]. For any t [, T ], we also denote u m (t) as the minimal value of u(t) for h [, ]. Assume u achieves its minimal value at t,, i.e. u min = u(t, h ). Notice E = E(u ) = [(u 3 + u ) hh ] 2 dh C( u H 2 ([,])), due to Lemma. In Step, we first test some estimates under the a priori assumption u(t, h) u min { } 2 min 3L 3, > for any t [, T ], h [, ]. (3.2) E 6L In Step 2, we will show that this a priori assumption leads to a better lower bound. Then by standard modified method we can take the limit using those a priori estimates in Step. In Step 3, we prove the energy-dissipation equalities (3.5), (3.6) and thus obtain the existence result to (.3). In Step 4, we prove that the solution obtained above is unique. Step : A priori estimates.

8 8 A VICINAL SURFACE MODEL WITH LOGARITHMIC FREE ENERGY 62 First, we obtain the higher order estimate. Multiplying (.3) by (u 3 + u) hhhh and integrating by parts 63 lead to (u 3 ) hh u hht + 2 ((u hh) 2 ) t dh (3.3) = (u 3 + u) hhhh u t dh = u 2 ((u 3 + u) hhhh ) 2 dh. Then multiplying (.3) by 3u 2 (u 3 + u) hhhh and integrating by parts yields = Combining (3.3) and (3.4), we have de dt = d dt Then for any T >, which gives (u 3 ) hht u hh + 2 ((u3 hh )2 ) t dh (u 3 + u) hhhh (u 3 ) t dh = ((u 3 ) hh + u hh ) 2 dh = (u hh + (u 3 ) hh ) 2 dh E = T 3u 4 ((u 3 + u) hhhh ) 2 dh. (3.4) 2(u 2 + 3u 4 )((u 3 + u) hhhh ) 2 dh. (3.5) 2(u 2 + 3u 4 )((u 3 + u) hhhh ) 2 dh dt, (3.6) (u + u 3 ) hh L 2 ([,]) = E 2 E 2. (3.7) From (3.6) and (3.2), we also have (u 3 + u) hhhh L 2 ([,T ];L 2 ([,])) C( u H 2 ([,]), L). (3.8) Second, we use the a priori assumption (3.2) to get the lower order estimate. Denote u := u dh and ū := u u. From Poincáre s inequality and (3.7), we have u h 2 L 2 ([,]) u h 2 L 2 ([,]) + 9 u2 u h 2 L 2 ([,]) + 6 u hu 2 L 2 ([,]) = (u 3 + u) h 2 L 2 ([,]) E E, for any t [, T ]. Then by Poincáre s inequality we obtain u u 2 dh = ū 2 dh c u h 2 L 2 ([,]) ce ce, (3.9) and it remains to estimate u. Using Poincáre s inequality and Sobolev embedding again, we have ū L = u u L ([,]) u u H ([,]) c (u u ) h L 2 ([,]) ce 2 ce 2. (3.2) On the other hand, since u has lower bound assumption (3.2), we have (2.) and (2.2). Hence which implies L = This, together with (3.2), yields u dh = u + ū dh dh, (3.2) u ū L u L + ū L. (3.22) u L + ce/2 L + ce/2.

9 A VICINAL SURFACE MODEL WITH LOGARITHMIC FREE ENERGY 9 72 Thus for any T > we have the lower order estimate u L ([,T ];L 2 [,]) C( u H 2 ([,]), L), (3.23) 73 which also leads to u m (t) := min h [,] u(t) u L ([,T ];L 2 [,]) C( u H 2 ([,]), L) for any t [, T ]. (3.24) 74 Third, notice that the function u 3 + u is increasing. From Lemma 2, we have [u 3 (t) + u(t)] [u 3 m(t) + u m (t)] 2 3 (u3 + u) hh (t, ) L 2 ([,]) h h 3 2 for any t [, T ]. (3.25) 75 This, together with (3.7) and (3.24), shows that u 3 + u L ([,T ] [,]) C( u H 2 ([,]), L). (3.26) Hence we have and u L ([,T ] [,]) C( u H 2 ([,]), L), (3.27) u 3 + u L ([,T ];H 2 [,]) C( u H 2 ([,]), L). (3.28) Next, we define v = ϕ(u) := u 3 + u. From a priori assumption (3.2) and the estimate (3.27), we know that u = ϕ (v) is smooth on [v min, v max ]. Hence from Sobolev embedding we have u(t, ) H 2 ([,]) = ϕ (v(t, )) H 2 ([,]) C( v(t, ) L ([,])) v(t, ) H 2 ([,]) 78 for any t [, T ]. This, together with (3.27) and (3.28), implies the estimate u L ([,T ];H 2 ([,])) C( u H 2 ([,]), L). (3.29) 79 and u L ([, T ]; H 2 ([, ])). Similarly, we have u(t, ) H 4 ([,]) = ϕ (v(t, )) H 4 ([,]) C( v(t, ) L ([,])) v(t, ) H 4 ([,]) for any t [, T ]. This, together with (3.27) and (3.8), implies that u L 2 ([, T ]; H 4 ([, ])). Finally, we can also get the estimate for u t from (3.5), Hence we have T u 2 t dh dt = T u 4 ((u 3 + u) hhhh ) 2 dh dt E. u t L 2 ([,T ];L 2 ([,])) E 2. (3.3) Moreover, since u L 2 ([, T ]; H 4 ([, ])) and u t L 2 ([, T ]; L 2 ([, ])) by [6, Theorem 4, p. 288], we have u C([, T ]; H ([, ])) and for any s τ T τ s d dt u hh 2 L 2 ([,]) dt = τ which implies u C([, T ]; H 2 ([, ])). Step 2: Verify the a priori assumption. From (3.25), we have s 2u t 4 h u dh dt u t L 2 ([s,τ];l 2 ([,])) + 4 h u L 2 ([s,τ];l 2 ([,])), [u(t) u m (t)] 2 3 E(t) 2 h h 3 2 for any t [, T ]

10 A VICINAL SURFACE MODEL WITH LOGARITHMIC FREE ENERGY and for any < β 2, using the relationship in (2.2) we obtain Hence we have and for < β 2 β u m (t) + 2E(t) 2 3 β 3 2 = h +β h u m (t) + 2E(t) 2 3 β 3 2 dh u m (t) + 2E(t) 2 3 h h 3 2 dh = L. u u m (t) β L 2E 2 3 β 3 2, the right hand side attains its maximum value at dh β = { 2 for > E(t)L 2 2, for E(t)L 2 E(t)L 2 2. Then direct calculation leads to a lower bound u m that depends on E(t) where Therefore we have 3L 3 E(t) J (E(t)) = 2L E(t) 3 2 { } u m (t) min 3L 3 E(t), 2L E(t) u m (t) J (E(t)), (3.3) 2 for E(t) 2 L 2, for E(t) < 2 L 2. (3.32) for any t [, T ], (3.33) and taking the minimal value with respect to t [, T ], we have { } u min min 3L 3, > { } E 6L 2 min 3L 3,, (3.34) E 6L which verifies the a priori assumption (3.2) and shows that u min has a positive lower bound, { } u min min 3L 3, >. E 6L Thus we obtain (3.7). Step 3: Proof of energy-dissipation equalities. After obtaining the a priori estimates in Step, using standard compactness argument we obtain that for any T > and any φ i C ([, T ] [, ]), u satisfies T φ i u t dh dt + T φ i u 2 (u 3 + u) hhhh dh dt =. (3.35) This, together with the fundamental lemma of the calculus of variations, yields (3.4). Since we have a positive lower bound (3.7) for u, we can take φ i such that φ i u + u in L2 ([, T ]; L 2 ([, ])) as i.

11 A VICINAL SURFACE MODEL WITH LOGARITHMIC FREE ENERGY Hence from (3.2) and (3.3), we take a limit in (3.35) to obtain T = T ( 2 u2 + ln u ) t dh dt = T ((u 3 + u) hh ) 2 dh dt = T (u 3 + u)(u 3 + u) hhhh dh dt E dt, (3.36) which implies (3.6). Similarly, since (3.2) implies ( + 3u 2 )(u 3 + u) hhhh L 2 ([, T ]; L 2 ([, ])), we can take φ i in (3.35) such that φ i 2( + 3u 2 )(u 3 + u) hhhh in L 2 ([, T ]; L 2 ([, ])) as i. Hence from (3.2) and (3.3) again, we take a limit in (3.35) to obtain T de dt dt = which implies (3.5). T ( (u 3 + u) 2 hh)t dh dt = T Step 4: Uniqueness of the solution to (.3). Assume that u, v are two solutions of (.3). Then we have 2(3u 4 + u 2 )((u 3 + u) hhhh ) 2 dh dt, (3.37) (u v) t = u 2 (u 3 + u) hhhh + v 2 (v 3 + v) hhhh, (3.38) (u 3 v 3 ) t = 3u 4 (u 3 + u) hhhh + 3v 4 (v 3 + v) hhhh. (3.39) Combining (3.39) and (3.38), we have [u 3 + u v 3 v] t =(3v 2 + )v 2 (v 3 + v) hhhh (3u 2 + )u 2 (v 3 + v) hhhh (3.4) + (3u 2 + )u 2 (v 3 + v) hhhh (3u 2 + )u 2 (u 3 + u) hhhh. Recall that for any p, u p is increasing with respect to u, so from (3.7) there exist constants m, M > whose values depend on u H 2 ([,]), p and L and satisfy m u p M, m v p M. (3.4) First, multiplying (3.4) by (u 3 + u v 3 v) hhhh and integrating by parts, from Young s inequality and (3.8) we obtain [ (3v 4 3u 4 + v 2 u 2 )(v 3 + v) hhhh ] (u 3 + u v 3 v) hhhh dh 24 and c(m, M) u v L + c(m) 4 [(u 3 + u v 3 v) hhhh ] 2 dh, d dt 2 [(u3 + u v 3 v) hh ] 2 dh [ = (3v 4 3u 4 + v 2 u 2 )(v 3 ] + v) hhhh (u 3 + u v 3 v) hhhh dh (3u 2 + )u 2 [(u 3 + u v 3 v) hhhh ] 2 dh c(m, M) u v L + c(m) 4 c(m) [(u 3 + u v 3 v) hhhh ] 2 dh c(m, M) u v L 3c(m) 4 [(u 3 + u v 3 v) hhhh ] 2 dh [(u 3 + u v 3 v) hhhh ] 2 dh, (3.42)

12 2 A VICINAL SURFACE MODEL WITH LOGARITHMIC FREE ENERGY where (3.4) is used, and c(m, M) is a constant that only depends on m, M. Second, we multiply (3.4) by u 3 + u v 3 v and use integration by parts again. From (3.8), (3.4) and Young s inequality, we have d dt 2 [u3 + u v 3 v] 2 dh = Finally, (3.42) and (3.43) show that Again from (3.7), we have [ (3v 4 3u 4 + v 2 u 2 )(v 3 + v) hhhh ] (u 3 + u v 3 v) dh (3u 2 + )u 2 (u 3 + u v 3 v) hhhh (u 3 + u v 3 v) dh c(m, M) u v L 2 ([,]) + c(m) 4 [(u 3 + u v 3 v) hhhh ] 2 dh. (3.43) d dt u3 + u v 3 v 2 H 2 ([,]) c(m, M) v u 2 L ([,]). (3.44) u v u v (u 2 + v 2 + uv + ) = u 3 v 3 + u v Therefore d dt u3 + u v 3 v 2 H 2 ([,]) c(m, M) v u 2 L ([,]) c(m, M) u 3 + u v 3 v 2 L ([,]) c(m, M) u 3 + u v 3 v 2 H 2 ([,]). (3.45) Hence if u() = v(), Grönwall s inequality implies that u = v. This completes the proof of Theorem Long time behavior of strong solution. After establishing the global-in-time strong solution, we want to study how the solution will behavior for long times. For the PDE (.3) with periodic boundary conditions, the solution converges to a constant. Theorem 2. Under the same assumptions of Theorem, given the strong solution u obtained in Theorem, we have an exponentially decay estimate for energy E, i.e. E(u(t)) E e βt, as t +, (4.) where β is a positive constant depending on u. Besides, there exists a constant u = /L such that, as time t, u converges to u in the sense u(t, ) u L ([,]), as t. (4.2) Proof. Step : Exponential decay of the free energy E as t. By (3.5) we know that E is decreasing with respect to t. Combining (3.5) and the lower bound estimate (3.7), we have Note that the sharp Poincáre s inequality leads to d dt E + (2u2 min + 6u 4 min) (u 3 + u) hhhh 2 L 2 ([,]). (4.3) (u 3 + u) hh 2 L 2 ([,]) (u3 + u) hhhh 2 L 2 ([,]).

13 Thus from (4.3) we obtain A VICINAL SURFACE MODEL WITH LOGARITHMIC FREE ENERGY 3 d dt E (2u2 min + 6u 4 min) (u 3 + u) hhhh 2 L 2 ([,]) (2u 2 min + 6u 4 min) (u 3 + u) hh 2 L 2 ([,]) = (2u 2 min + 6u 4 min)e = βe with the constant β = 2u 2 min + 6u4 min >. Thus E(u(t)) converges to as t with an exponential decay rate E(u(t)) E e βt, 223 which shows that (4.) holds. 224 Step 2: Showing convergence to the stationary solution u = L. Since we have a positive lower bound for u (3.7), the relations (2.) and (2.2) hold. Recall the notations 225 in the proof of Theorem, u = which shows that This, together with (3.22), gives u dh and ū = u u. From Hölder s inequality, = ( ) 2 u dh u dh u L u. dh u u dh, u L L ([,]) ū L ([,]). (4.4) Thus from (3.2), we obtain u L L ([,]) u u L ([,]) + u L L ([,]) (4.5) ū L ([,]) ce 2, (4.6) which, combining with the decay of E in step, completes the proof. 5. Numerical study. To simulate the surface growth dynamics and explore beyond the analytical results presented in section 3 and section 4, we numerically investigate both the height equation (.) and the slope equations (.6) and (.3). While the numerical results presented in Fig. are obtained directly from solving the height equation (.) with Dirichlet boundary conditions (.5) and specified values for L and H, similar calculations can be carried out on the slope equations (.6) and (.3) with periodic boundary conditions (.4). Specifically, we are interested in different transient behaviors of the solutions to (.6) and (.3) and their long time behavior. Typical numerical simulations of (.6) and periodic boundary conditions are plotted in Figure 2, where the spatial variation grows starting from the initial data u (h) =.7.63 exp( 5(2h ) 2 ), (5.) and leads to a near-rupture transient behavior in the early stage before the solution converges to a constant solution u = u for t. While for equation (.3) (or equation (.) with α = ), starting from the same initial data, monotone behavior of the PDE solution u converging to u = u is presented in Fig. 3. With the initial condition (5.), we have L = u dh = 3.7, and the final state u =.27 can be obtained from the formula u = /L. The energy-dependent lower bound estimate (3.3) is also plotted in a dashed curve in Fig. 3 (right) in comparison to the numerical results. These numerical studies are conducted using centered finite differences in a Keller box scheme, where the fourth-order PDE (.3) is decomposed into a system of first-order differential equations u t + u 2 Q h =, Q = P h, P = K h, K = (u 3 + u) h. (5.2)

14 4 A VICINAL SURFACE MODEL WITH LOGARITHMIC FREE ENERGY.2.2 u.4 u h.5 h Figure 2. A numerical simulation of PDE (.6) plotted in semi-log coordinates starting from the initial condition (5.) (plotted with the dashed line): (Left) early stage nearrupture is approached as the global minimum decreases from.7 to.7 for < t <.32; (right) later stage behavior for t >.32 as the solution approaches to a constant u = u u.4 u m (t).2 /(2L).2. u m (t) J (E(t)).5 h t Figure 3. (Left) A numerical simulation of PDE (.3) starting from identical initial conditions used in Fig. 2 showing convergence to a spatially-uniform solution u = u as t. (Right) A plot showing that u m (t) = min h u(t, h) is bounded below by J (E(t)) given by (3.32) which is in line with the conclusion of Theorem, and that the asymptotic lower bound J (E(t)) /(2L) for t as in (3.8) We now revisit the long-time behavior of the solutions of (.3). It has been shown in the previous section that as t, the PDE solution u(t, h) approaches to a spatially-uniform solution u = u. To study the long time behavior of the solution, using u(t, h) = u +ɛv(t, h) we obtain the linearized equation for (.3) as ɛ, v t = r(u )v hhhh, (5.3) where the function r is defined as r(u) = u 2 (3u 2 + ). Note that the positivity of solutions to the fourth-order linear PDE (5.3) is not guaranteed. Furthermore, we perturb ū by individual Fourier mode disturbances u(t, h) = u + δe ikh e σt + O(δ 2 ), (5.4) where k is the wavenumber and σ represents the rate of the PDE solution converging to u. Substituting (5.4) into (.3) and linearizing about u = u leads to the dispersion relation σ = r(u )k 4, (5.5)

15 A VICINAL SURFACE MODEL WITH LOGARITHMIC FREE ENERGY 5 Fig. 2 Fig. 3 E(t) O(exp( 2σ t)) 3 O(exp( 2σt)) t Figure 4. Plots of corresponding energy E in (2.5) and (5.7) for PDE simulations in Fig. 2 and Fig. 3. The energy E(t) decays exponentially to zero following (5.6) with k = 2π which indicates that the steady state solution u u is stable with respect to any Fourier mode perturbations. As the spatially-uniform solution is approached in the long time, the energy E(t) decays exponentially in the form of E(t) = C exp(2σt) = C exp( 2r(u )k 4 t), for t. (5.6) where C depends on the initial conditions and other system parameters. We note that the energy decay rate 2r(u )k 4 obtained from the linear analysis is inline with the estimated bound of energy decay rate β = 2r(u min ) obtained in Theorem 2. Similar linear analysis for PDE (.6) leads to the energy decay rate (5.6) where the energy is given by E(u) = ((u 3 ) hh ) 2 dh (5.7) and the dispersion relation σ = σ = 3u 4 k 4. It is shown in Fig. 4 that the exponentially decay rates of the energy E(t) for the PDE simulations in Fig. 2 and Fig. 3 both agree with the above linearization result as t. 6. Discussion. The main contribution of this paper is showing the global strong solution for the continuum slope equation (.3) using the interesting bi-variational structure that the equation possesses. A formal derivation of the slope equation (.3) from the discrete model with an additional logarithmic energy term is included, as well as its connection with the surface height equation (6.) under the strict monotonicity assumption. Typical numerical simulations of both the height equation (.) and the slope equation (.3) are also presented in support of the analytical regularity estimate. In particular, we investigate the effect of an additional logarithmic contribution in the slope equation and show that the transient near-rupture behavior occurs in (.6). As t, the solution to (.3) converges exponentially to a constant solution u which is selected by the initial data. In addition to the evolution of monotone trains of steps with boundary conditions (.4) and (.5) described above, we are also inspired by Li and Liu s work on thin film epitaxy [5,6] to further investigate the surface height evolution h in the periodic setting, which is described by the height equation [ ( h t = α h ] x h x h x ln h x h x h x (6.) )xx x with associated periodic boundary conditions h(t, x) = h(t, x + L). Note that in this regime the solution h is allowed to have both positive and negative slopes which is not covered by the argument provided in section 3. While the regularity of solutions of (6.) in this regime is beyond the scope of this article, we shall present some preliminary numerical results and show the potential connection between (6.) and thin film epitaxy models with slope selections [5].

16 6 A VICINAL SURFACE MODEL WITH LOGARITHMIC FREE ENERGY h h x x x Figure 5. Evolution of the surface height h(t, x) and slope h x (t, x) following equation (6.2) with α = starting from initial condition h (x) = sin(2πx) on x, showing convergence to spatially-uniform solution h as t h.5 h x 3 H/2L H/2L x x Figure 6. Evolution of the surface height h(t, x) and slope h x (t, x) for equation (6.2) with α = starting from identical initial data used in Fig. 5, showing convergence to a piece-wise constant profile in h and jump in h x Since the logarithmic term in the chemical potential and the mobility function both become singular as h x, a direct finite-difference discretization of the equation leads to numerical difficulties. Therefore, we introduce regularization for both the logarithmic term and the mobility function in the model with small coefficients ɛ and δ, and numerically study the following regularized equation, [ ( h t = α h x ln h x ) ] h 2 x + ɛ 2 h 2 x + δ h x h x. (6.2) xx x With ɛ = δ = 5, numerical simulations for (6.2) with both α = and α = starting from identical initial data h (x) = sin(2πx) are presented in Fig. 5 and Fig. 6. It is observed that for the case α =, the height profile flattens out with a shock formed in the slope profile. This is consistent with the numerical results for the two-dimensional height profile without line tension in [24]. However, for α =, due to the contribution of the logarithmic term in (6.), a shock is formed in h at the extrema of the height profile, and the solution h approaches to a periodic piece-wise linear function with positive and negative slopes. Although the proof provided in Section 3 and Section 4 cannot be applied to this periodic setting directly, we plot the asymptotic bounds ±H/2L for the slope function from (3.8) to compare it with the slope profile obtained from the simulation in Fig. 6, where H =.2936 and L =, and the step height H is obtained from the difference between the two extrema in the final stage in Fig. 6 (left). It is suggestive that the asymptotic lower bound H/2L < h x away from the jump in h x and is still a good estimate of the slope profile.

17 A VICINAL SURFACE MODEL WITH LOGARITHMIC FREE ENERGY A number of questions remain to be answered. In the periodic surface height scenario, the interesting dynamics from numerical observation of the regularized problem (6.2) with non-zero logarithmic contribution need further investigation. While we use classical finite difference methods to numerically simulate the dynamics of the regularized problem (6.2), more sophisticated numerical schemes can be developed to capture the dynamics of the unregularized problem (6.). For instance, some numerical studies [4, 23, 24] of the well-known equation (.4) use a nonlinear Galerkin scheme and finite-element schemes have been applied to the corresponding DL regime [3]. In addition, we are also interested to study whether the logarithmic term in the surface energy contribute to the singularity at the edge of the facets and steps in the modeling of crystal surface evolution. Moreover, without the monotone assumption for initial data, the analysis of the general h-equations (.4) and (6.) is very challenging and still open. Due to the form of the mobility function h, new techniques are needed to rigorously describe the singularity that occurs at h =. Inspired by Xiang s work in [26] which incorporates nonlocal interactions in the DL regime, we are also interested in the nonlocal contributions in the ADL regime both analytically and numerically. Under the monotone assumption, the h-equation can be written as [ ( h t = H (h x ) + ( α ln h x + 3 ) ] ) 2 h2 x x h x where H represents the Hilbert transform. While in this work only the one-dimensional models are investigated, the equations in higher dimensions are also interesting future subjects. Furthermore, since the general PDE (.) can be obtained from linearizing the exponential in the Gibbs-Thomson relation by taking the approximation e δg δh also needs further investigation. + δg δh, the corresponding model ) M( h) e δg δh h ( t = Acknowledgments. This work was supported by the National Science Foundation under Grant No. DMS and KI-Net RNMS REFERENCES [] H. Al Hajj Shehadeh, R. V. Kohn and J. Weare, The evolution of a crystal surface: Analysis of a one-dimensional step train connecting two facets in the ADL regime, Physica D: Nonlinear Phenomena, 24 (2), [2] F. Bernis and A. Friedman, Higher order nonlinear degenerate parabolic equations, Journal of Differential Equations, 83 (99), [3] W. K. Burton, N. Cabrera and F. C. Frank, The growth of crystals and the equilibrium structure of their surfaces, Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences, 243 (95), [4] W. L. Chan, A. Ramasubramaniam, V. B. Shenoy and E. Chason, Relaxation kinetics of nano-ripples on Cu () surface, Physical Review B, 7 (24), [5] W. E and N. K. Yip, Continuum theory of epitaxial crystal growth. i, Journal of Statistical Physics, 4 (2), [6] L. C. Evans, Partial differential equations. graduate studies in mathematics, 9 (998), American Mathematical Society. [7] Y. Gao, J.-G. Liu and J. Lu, Continuum limit of a mesoscopic model with elasticity of step motion on vicinal surfaces, Journal of Nonlinear Science, 27 (27), [8] Y. Gao, J.-G. Liu and J. Lu, Weak solution of a continuum model for vicinal surface in the attachment-detachmentlimited regime, SIAM Journal on Mathematical Analysis, 49 (27), [9] N. Israeli and D. Kandel, Decay of one-dimensional surface modulations, Physical review B, 62 (2), 377. [] H.-C. Jeong and E. D. Williams, Steps on surfaces: experiment and theory, Surface Science Reports, 34 (999), [] R. V. Kohn, Surface relaxation below the roughening temperature: Some recent progress and open questions, in Nonlinear Partial Differential Equations, Springer, 22, [2] R. V. Kohn, T. S. Lo and N. K. Yip, Continuum limit of a step flow model of epitaxial growth, in MRS Proceedings, vol. 7, Cambridge Univ Press, 2, T 7. [3] R. V. Kohn and H. M. Versieux, Numerical analysis of a steepest-descent pde model for surface relaxation below the roughening temperature, SIAM Journal on Numerical Analysis, 48 (2), x, x

18 8 A VICINAL SURFACE MODEL WITH LOGARITHMIC FREE ENERGY [4] R. Kohn and Y. Giga, Scale-invariant extinction time estimates for some singular diffusion equations, Discrete and Continuous Dynamical Systems, 3 (2), [5] B. Li and J.-G. Liu, Thin film epitaxy with or without slope selection, European Journal of Applied Mathematics, 4 (23), [6] B. Li and J.-G. Liu, Epitaxial growth without slope selection: energetics, coarsening, and dynamic scaling, Journal of Nonlinear Science, 4 (24), [7] D. Margetis and R. V. Kohn, Continuum relaxation of interacting steps on crystal surfaces in 2+ dimensions, Multiscale Modeling & Simulation, 5 (26), [8] W. W. Mullins, Theory of thermal grooving, Journal of Applied Physics, 28 (957), [9] P. Nozières, On the motion of steps on a vicinal surface, Journal de Physique, 48 (987), [2] M. Ozdemir and A. Zangwill, Morphological equilibration of a corrugated crystalline surface, Physical Review B, 42 (99), 53. [2] A. Pimpinelli and J. Villain, Physics of crystal growth, vol. 9, Cambridge university press Cambridge, 998. [22] A. A. Rettori and J. Villain, Flattening of grooves on a crystal surface: A method of investigation of surface roughness, Journal de Physique, 49 (988), [23] V. B. Shenoy, A. Ramasubramaniam and L. B. Freund, A variational approach to nonlinear dynamics of nanoscale surface modulations, Surface science, 529 (23), [24] V. B. Shenoy, A. Ramasubramaniam, H. Ramanarayan, D. T. Tambe, W. L. Chan and E. Chason, Influence of stepedge barriers on the morphological relaxation of nanoscale ripples on crystal surfaces, Physical review letters, 92 (24), 256. [25] C. Villani, Topics in optimal transportation, 58, American Mathematical Soc., 23. [26] Y. Xiang, Derivation of a continuum model for epitaxial growth with elasticity on vicinal surface, SIAM Journal on Applied Mathematics, 63 (22), address: maygao@ust.hk address: hangjie@math.ucla.edu address: jliu@math.duke.edu address: witelski@math.duke.edu