Abstract
A spatially two-dimensional sixth order PDE describing the evolution of a growing crystalline surface h(x, y, t) that undergoes faceting is considered with periodic boundary conditions, as well as its reduced one-dimensional version. These equations are expressed in terms of the slopes \(u_1=h_{x}\) and \(u_2=h_y\) to establish the existence of global, connected attractors for both equations. Since unique solutions are guaranteed for initial conditions in \(\dot{H}^2_{per}\), we consider the solution operator \(S(t): \dot{H}^2_{per} \rightarrow \dot{H}^2_{per}\), to gain our results. We prove the necessary continuity, dissipation and compactness properties.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We study the long time dynamics of the following system arising in modeling of the self assembly of nanostructures,
Here, \(h:\Omega \times \mathbb {R}_+ \rightarrow \mathbb {R}\) is the height of a growing crystalline surface undergoing faceting during growth, \(\delta >0\) is related to the deposition strength, \(W: \mathbb {R}^d \rightarrow \mathbb {R}\) is the anisotropy function derived from the surface energy anisotropy and \(\Omega \subset \mathbb {R}^d\) is the spatial domain with \(d=1\) or \(d=2\). Depending on the dimension we consider two specific cases for W given below, see (2), (3). We restrict our attention to special geometries and work with \(\Omega =(0,L)^d\), \(d=1,2\) and furthermore we assume periodic boundary conditions for h.
We show existence of global attractors for the above system and we shall also explain, why this result seems the best we can hope for. The PDE was introduced by Savina et al., see [20]. It has been derived by invoking Mullins’ surface diffusion formula [15], a normally impinging flux of adatoms to the surface and a strongly anisotropic surface energy formula. The reduced evolution equation is obtained by carrying out a long-wave approximation. The choice of periodic boundary conditions is realistic as the patterns of the nanostructures statistically repeat throughout the domain, which is much larger than the length-scales of interest. Numerical simulations imposing these kinds of boundary conditions show good agreement with the experimentally observed behavior of crystalline materials undergoing faceting and coarsening [7, 20]. We also notice that the analysis on periodic domains is easy to transfer for the numerical analysis of simulation schemes based on trigonometric interpolation. Such collocation methods are applied frequently to such problems.
We consider the following anisotropy functions W. If \(d=1\), then we take
yielding a double well potential. In the two dimensional case, a naive generalization of (2), i.e. \(W(F_1,F_2) = \frac{1}{4}(F_1^2+F_2^2-1)^2\) is not appropriate, if we want to model growing pyramids, see [20]. For this reason we deal with
where \(\alpha , \beta >0\) are anisotropy coefficients.
Formula (3) gives a quadruple well that is responsible for the faceting of the growing surface in shape of pyramids with four preferred orientations and hence preferred slopes. A constant A may be chosen such that W is always nonnegative.
In two related works, [10, Theorem 1.1] and [11, Theorem 2.1], we proved the existence of global in time weak solutions to (1) with periodic boundary data. There were no size restrictions on the data.
In [10, 11] we showed only exponential bounds on the growth of solutions which is not particularly suitable for studying long time behavior. We will find the remedy here and we will show existence of a global attractor of (1) for \(d=1,2\). The destabilizing term does not give us much hope to establish convergence to an equilibrium state. However, if we had a Liapunov functional, then we could hope to use methods based on Łojasiewicz inequality to show convergence of solutions to a steady state, see [19].
Our plan is to study first the one-dimensional problem, so that we can develop ideas that are used later also in the more complex case. It turns out that the trick applied in [11, 20] works very nicely. Namely, after differentiating (1) with respect to x we obtain a slope equation for the new unknown quantity \(u=h_x\), see (4). One advantage is that we obtain a new conserved quantity, \(\int _0^L u\,\text {d}x =0\). This will imply that the semigroup generated by \(\Delta ^3\) has an exponential decay. Another advantage is, the resulting equation is similar to the convective Cahn–Hilliard equation, which has already been analyzed to some extent. Equation (1) may be interpreted as a convective Cahn–Hilliard (CCH) type equation of higher order, hence we call it the HCCH equation. Note that it is the gradient system perturbed by a destabilizing Kardar-Parisi-Zhang type term \(|\nabla h|^2\).
Here, we use ideas from the theory of infinite dimensional dynamical systems [4, 18] combined with the available results on convective Cahn–Hilliard equation, e.g. [1, 3, 12]. Eden and Kalantarov noticed, see [1], that the structure of the lower order convective Cahn–Hilliard equation permits to deduce bounds implying the existence of an absorbing set. The same method can be applied here. We deduce from it the existence of an absorbing set in the \(H^1\) topology and we extend this result to \(H^2\). Showing its compactness in \(H^2\) requires further improvement of the regularity of weak solutions. Once we have achieved this goal, we may conclude the existence of a global attractor, see [14, Theorem 1].
We notice that, if we take the gradient of (1) with respect to the spatial variables in the two dimensional case, then the resulting system, see (8), has the structure which permits to carry the calculations we did for the one-dimensional problem. Thus, we establish the existence of the global attractor for the corresponding system, which is the result of the gradient of (1), and we call it the slope system, \(u=\nabla h\). Finally, we deduce from this existence result, the existence of a global attractor of the original Eq. (1), see Theorems 4, 5, 6.
We proceed as follows. In the next section we recall the notion of weak solutions and the necessary facts from [10, 11]. In addition we state the main results. In Sect. 3 we prove the existence of absorbing balls in \(H^1\) for the one-dimensional problem (4). This is done with the help of ideas taken from [1]. We also show in this section the necessary auxiliary facts. In Sect. 4, we study the system, which is obtained by taking the gradient of (1) and we call it the slope system. Its advantage is that we can use exactly the same method, as in the one-dimensional case to show the existence of an absorbing ball in \(H^1\). Next section is devoted to the proof of higher order regularity and compactness in \(H^2\) of the absorbing balls, we use the parameter variation formula for this purpose. This is done in both case \(d=1\) and \(d=2\).
Finally, we discuss the results and future plans in Sect. 6.
2 Preliminaries and Main Statements
2.1 Properties of Solutions and Main Statements
Im fact, we treat in [10, 11] existence of solutions in cases \(d=1\) and \(d=2\) differently. For the one-dimensional problem we switch to a new variable, the slope \(u=h_x\), i.e. we differentiate (1) with respect to x. The resulting problem is
where
In [11] we adopted a natural definition of a weak solution of the one-dimensional problem (4). In order to express it we introduce the following notation. The symbol \(H^k_{per}\) denotes the Sobolev space \(H_{per}^k(\Omega )\) of periodic functions, where \(\Omega = (0,L)^d\), \(d=1,\) \(d=2\), is a flat torus. Moreover, the dot over \(H^k_{per}\), i.e. \(\dot{H}^k_{per}\) means the space of functions with zero mean and \((H^k_{per})^*\) is the dual of \(H^k_{per}\).
We say that a function
is a weak solution to (4) provided that it fulfills, (see [11]),
with \(u(x,0)=u_0(x)\), where \(g(u)=\frac{1}{2} u^2\) and \(\Omega _T=\Omega \times (0,T)\). In fact, the first integral denotes the pairing between \(u_t\) and the test function \(\varphi \).
We showed the existence of such solutions:
Proposition 1
([11, Theorem 2.1, Theorem 3.3, Theorem 4.2])
-
(a)
If initial condition \(u_0\) is in \(\dot{H}^1_{per}\), then for any \(T>0\) there is a weak solution to (4) on the time interval [0, T).
-
(b)
If in addition \(u_0 \in \dot{H}^2_{per}\), then a weak solution constructed in part (a) is unique and
$$\begin{aligned} u \in L^2(0,T; \dot{H}^4_{per})\cap L^\infty \big (0,T; W^{1,\infty }(\Omega ) \big ), \end{aligned}$$(6)
For the two-dimensional problem (1) and (3) we established a similar result. We have shown the existence of a weak solution to (1) with periodic boundary conditions, understood as a function \(h \in C([0,T), H^3_{per})\) with \(h(\cdot ,0) =h_0\) and \(h_t \in L_\infty ((0,T),(H^{3}_{per})^*)\), such that h satisfies (1) in the distributional sense.
Proposition 2
([10, Theorem 1.1, Theorem 1.2]) Let us assume that \(\Omega = (0,L)^2\), \( h_0\in H^3_{per}\) and the nonlinearity is given by (3).
-
(a)
Then, there exists a unique weak solution to (1) on \([0,\infty )\).
-
(b)
If h is a weak solution to (1) on [0, T), then
$$\begin{aligned} h \in L^2 \big (0,T; H^5_{per} \big )\cap L^\infty \big (0,T; H^2_{per} \big ),\quad h_t\in L^2 \big (0,T; (H^{1}_{per})^* \big ). \end{aligned}$$(7)
Furthermore, the analysis of the two-dimensional problem gets simplified after we transform Eq. (1) to a system for the slopes, \(u = (u_1, u_2) =(h_x, h_y)\) and we study
The derivation of this equation and specification of W will be carried out in Sect. 5.
For the purpose of proving our main results we should recast Eqs. (4) and (8) in the terms of the semigroup theory.
Proposition 3
Let us denote by \(S(t)u_0\) the unique solution u(t) to (4) if \(d=1\), (respectively, (8) if \(d=2\)), with \(u_0\in (H^2_{per})^d\). Then, for each \(t>0\) operators \(S(t):(\dot{H}^2_{per})^d \rightarrow (\dot{H}^2_{per})^d\) are continuous. If we set \(S(0)=Id\), then the family \(\{ S(t) \}_{t\ge 0}\) forms a strongly continuous semigroup.
Continuity of S(t), \(t>0\) follows from results in [10, 11]. The uniqueness theorems imply that the family \(\{S(t)\}_{t\ge 0}\) has the semigroup property. It remains to establish strong continuity of the family \(\{S(t)\}_{t\ge 0}\) in the one-dimensional case. This will be done in Sect. 3.2. On the other hand, strong continuity of S in the two-dimensional case of (1) has been already established in [10].
The use of the language of the semigroup theory does not imply that we need to re-prove our existence results exploiting the analytical semigroup theory, see [5] or [2]. If we tried this, then we would repeat estimates specific for these problems presented in [10, 11]. However, we will need additional regularity estimates, which we will establish with the help of the constant variation formula see Sects. 2.3, 5.1.
Here are our main results.
Theorem 4
(1D Attractor in \(\dot{H}^2_{per}\)) Let us consider \(\Omega =(0,L)\) with \(L>0\) arbitrary. The semigroup \(S(t):\dot{H}^2_{per} \rightarrow \dot{H}^2_{per}, u_0 \mapsto S(t)u_0 = u(t) \) generated by the HCCH Eq. (4) with periodic boundary conditions has a compact global attractor.
Theorem 5
( 2D Attractor in \((\dot{H}^2_{per})^2 \)) Let us consider \(\Omega =(0,L)^2\) with \(L>0\) arbitrary. The semigroup \(S(t):(\dot{H}^2_{per})^2 \rightarrow (\dot{H}^2_{per})^2, u_0 \mapsto S(t)u_0 = u(t) \) generated by Eq. (8) with periodic boundary conditions has a compact global attractor.
Once we show these results we may address the question of the behaviour of the solutions to the original problem (1). We notice that one can easily recover a continuous function f from its derivative and its mean. Thus, the above results imply:
Theorem 6
The semigroup generated by Eq. (1) has a global attractor in \(H^3_{per}\) for \(d=1\) and \(d=2\).
We note that we have numerical evidence of the existence of such an attractor in the one-dimensional setting. Figure 1 shows similar pictures of the evolution as in [11] for two values of \(\delta \). For large values of \(\delta \) a strange attractor seems to be existent, see the time-space plot in (a) and one particular solution in (a’). For smaller values we numerically expect stationary solutions as in (b) and (b)’, or traveling wave (time-periodic) solutions. Note that once the structures form, the solutions stay in an \(\dot{H}^2_{per}\) ball as the theory predicts. One might hope to be able to prove that at least for small initial data the \(L^\infty \) norm of u stays roughly below 1, independently of the value for \(\delta \). Our analytical result, however, gives us information of different nature. We can take bigger initial conditions and still the absorption is in the same ball. This property is indicated in Fig. 2 where another typical evolution of Eq. (4) is shown together with the decrease of the norm of the discrete solution and the three phase spaces \((u,u_x), (u,u_{xx})\) and \((u_x, u_{xx})\). However, these runs calculated with a pseudospectral method discussed elsewhere [11], are particular examples with special initial conditions, fixed domain length and deposition parameter. The theory establishes a general result. We would like to remark, that more simulation results, also for the two-dimensional setting, can be found in [20].
2.2 Tools of Dynamical Systems
We will use the methods of the infinite dimensional dynamical systems, see the books by Hale, [4], Temam, [22] or Robinson, [18]. However, we will use the theorem guaranteeing existence of a compact global attractor as stated in [14]. The general theory stipulates that \(S(t):H \rightarrow H\) is a semigroup, where H is a Hilbert space. Following [14], we recall the necessary notions.
Let us suppose \( C_1,C_2\subset H\), by \(\hbox {dist}\,(C_1,C_2)\) we denote their Hausdorff semi-distance,
A non-empty set \(K \subset H\) is invariant, if
it attracts \(B \subset H\) if
A set \(K\subset H\) is called an absorbing set if for any bounded \(B \subset H\) there is time \(t_{K,B}\ge 0\) such that
Here, we note that any absorbing set attracts bounded sets.
For a bounded set \(B \subset H\), we define its \(\omega \)-limit set by the formula
A compact global attractor for \(S(\cdot )\) is a maximal compact invariant set.
Theorem 7
(see [14, Theorem 1]) Let us suppose that \(S(\cdot )\) has a compact attracting set K. Then there is a compact global attractor for \(S(\cdot )\) and \( \mathcal{A}= \omega (K)\).
Alternatively, we could establish first that \(S(t): (H^1_{per})^d \rightarrow (H^2_{per})^d\) is compact for \(t>0\). Then, we could draw the same conclusion slightly differently.
Theorem 7’ (see [4, Chapter 2], [17, Theorem 2.29]) Let us suppose that \(S(\cdot ): (H^1_{per})^d \rightarrow (H^2_{per})^d\) is compact for \(t>0\) and there is an absorbing set in \((H^1_{per})^d\). Then there is a compact global attractor for \(S(\cdot )\).
Our line of argument, however, is based on Theorem 7. This result will imply our Theorems 4 and 5 once we show its assumptions are fulfilled. For this purpose we need Proposition 3. We also have to show the existence of a compact attracting set K. This will be achieved in two steps. First, we will establish existence of an absorbing set in \(H^1\). Next, by application of a different method, the existence of an absorbing set in \(H^2\) and its compactness will be proved.
Note that \(\dot{H}^2_{per}\) is the correct choice of space for the slope systems (4) and (8), because we could not work with solution operators acting on lower order spaces due to the lack of uniqueness.
2.3 The Integral Representation of Solutions
The energy estimates become more tedious in two dimensions. Therefore, we choose a different approach to prove the higher oder absorption.
Let us consider the 2-d system, (28), for \(u=(u_1,u_2)\). We note that we have the formula
that has been used for the surface equation for h in [10]. Here the exponential operator is defined by
where the right hand side is the inverse Fourier transform, while \(\hat{f}\) denotes the Fourier coefficients. For more details we refer to the cited work.
It turns out that we can derive the same formula for solutions of the one dimensional problem (4). Indeed, since we have a unique weak solution, we may apply the Fourier transform to both sides of (4). The knowledge of the parameter variation formula for ODE’s yields,
3 The One-Dimensional Problem
In the following subsections we prove, by using Gronwall estimates, that there exists an absorbing ball in \(H^1\). Throughout the calculations, we denote by C a constant that may change from estimate to estimate, but does not depend on the initial condition. This quantity may rely on the domain length and the deposition related parameter, L and \(\delta \), respectively. Numbers whose actual value is needed for balances with other estimates are denoted by \(C_j\), where j is an integer index, and these numbers are fixed.
In the second part of this section we will show that the semigroup \(S(t): \dot{H}^2_{per} \rightarrow \dot{H}^2_{per}\) is indeed strongly continuous. This will be done by a series of a priori estimates of Galerkin approximations and passing to the limit.
3.1 Absorbing Ball in \(H^1\)
Consider the HCCH Eq. (4) with periodic boundary conditions on a domain \(\Omega = (0, L)\) and initial condition \(u(x, 0) = u_0(x)\). We extend the analysis from [11] by showing that the solutions are in fact absorbed into a ball whose radius does not depend on the initial value’s norm. To prove this result we will need to combine several estimates that we want to formulate as separate statements. Subsequently, we write the \(L^2\)-norm as \(\Vert \cdot \Vert = \Vert \cdot \Vert _{L^2(0,L)}\) and the \(L^2\) scalar product by \((\cdot , \cdot )\). Other norms are equipped with a corresponding subscript.
Lemma 8
Weak solutions to Eq. (4) with \(u_0\in \dot{H}^2_{per}\) fulfill
Proof
Application of the integral operator \((-\Delta )^{-2}:\dot{L}^2 \rightarrow \dot{H}_{per}^4\) to both sides of Eq. (4) yields
with \(g(u) = u^2/2\). The regularity guaranteed by (6) implies that the expression \(\frac{\delta }{a}(u^2)_x + (u_{xx} - f(u))_{xxxx}\) in Eq. (4) is in \(L^2(0,T;(\dot{H}_{per}^2)^*)\). Hence, \(u_t\) belongs to the same space and it may be paired with the left-hand-side of (12). Next, integration by parts, rearranging and using the Cauchy inequality with \(\epsilon \) yield,
Since \(\Vert (-\Delta )^{-1}[g(u)_x]\Vert \le C \Vert g(u)\Vert \), with an L dependent constant, we get
Choosing \(\epsilon _0 = 1/\delta \), we obtain
with a constant \(C_1 = C_1(L, \delta )\). In fact, by noting that
we obtain the estimate (11). \(\square \)
The result shown above can be used for proving the existence of absorbing sets in \(\dot{H}^1\), therefore one needs to take care of the right hand side in (11). This is done in the following lemma.
Lemma 9
The inequality
is true for all weak solutions of (4) with \(u_0\in \dot{H}^2_{per}\).
Proof
We use u as a test function in the same transformed Eq. (12),
This is again allowed due to the regularity property (6). Putting the convective term on the right hand side, we estimate it as
Furthermore, by using \(\Vert u\Vert ^2 \le \frac{1}{4}\Vert u\Vert _{L^4}^4 + \Vert 1\Vert =\frac{1}{4}\Vert u\Vert _{L^4}^4 + C_4\) we finally derive (15) with \(C_2 = C_3 + C_4\), where both \(C_3\) and \(C_4\) depend upon L. \(\square \)
Now we are able to prove the existence of the first absorbing set.
Theorem 10
(Absorbing balls in \(\dot{H}^1_{per}\)) The semigroup \(S(t):\dot{H}^2_{per} \rightarrow \dot{H}^2_{per}\), \(u_0 \mapsto S(t)u_0 = u(t) \) generated by Eq. (4) with periodic boundary conditions (i.e. the existence and uniqueness of weak solutions is guaranteed) has an \(H^1\) absorbing ball \( \mathcal{B}= \{u \in \dot{H}^1_{per} : \Vert u\Vert _{\dot{H}^1_{per}} \le \rho \}\), i.e. for a set \(B\subset \dot{H}^2_{per}\) bounded in the \(\dot{H}^1_{per}\) topology there is \(t_B\ge 0\) such that \(S(t)u_0 =u(t) \in \mathcal{B}\) for \(u_0\in B\) and \(t\ge t_B\).
Proof
We define the ’energy’
Then, by adding \(4 C_1\) times estimate (15) to (11), we obtain
Here we added and subtracted a small fraction of \( \mathcal{E}_1\) (\(\epsilon >0\)). A rearrangement yields
The \(H^1\) term does not make any trouble, as \(\epsilon \) can be chosen arbitrarily small. Furthermore, as
and
we can estimate the right hand side and put the terms back on the left hand side to balance them with the \(L^4\) term. In this way we derive
Choosing \(\epsilon \) sufficiently small yields
and Gronwall Lemma leads to
\(\square \)
Remark
We now know that \(\Vert u\Vert ^2 \le C, \Vert u_x\Vert ^2 \le C\) and \( \Vert u\Vert ^4_{L^4} \le C\), for a constant C independent of the initial condition that is undershot after a transient time. Since this case is one-dimensional this result leads to a uniform \(L^\infty \) bound on u. Furthermore, it was neither necessary to impose any restrictions to the deposition related parameter \(\delta \) nor to the domain length L to achieve the result.
By the same method we can establish the existence of an absorbing set in the \(H^2\) topology, but the argument is more involved. Possibly, we may show its compactness. However, this is of no use in the two dimensional case. This is why we will use a more general tool capable of handling both dimensional cases simultaneously. However, the starting point is the specific estimate like (18).
3.2 Strong Continuity of \(S(\cdot )\)
We need to show that in the one-dimensional case Eq. (4) generates a strongly continuous semigroup. Since the original argument in [11] is based on the Galerkin method applied to Eq. (4), we will use it here.
Proposition 11
Let us suppose that \(u_0 \in \dot{H}^2_{per}\), then \(S(t)u_0 \equiv u(t)\) converges to \(u_0\) in the \(\dot{H}^2_{per}\) topology, as \(t\rightarrow 0^+\), where S(t) is the semigroup operator defined by (4).
Proof
We will use the observation that if we have \(u\in L^2(0,T; \dot{H}^3_{per})\) and \(u_t\in L^2(0,T; (\dot{H}^{3}_{per})^*)\), then \(u \in C^0([0,T],\dot{L}^2)\). By the same token, \(u_{xx}\in L^2(0,T; \dot{H}^3_{per})\) and \(u_{txx}\in L^2(0,T; (\dot{H}^{3}_{per})^*)\) will imply that
The fact \(u\in L^2(0,T; \dot{H}^5_{per})\) or equivalently \(u_t\in L^2(0,T; (\dot{H}^{1}_{per})^*)\) is the content of Lemma 13. \(\square \)
We need the Gagliardo–Nirenberg inequality that holds on bounded domains \(\Omega \subset \mathbb {R}^n\), for \(n\le 3\). It states
where
and where \(c_1\) and \(c_2\) are positive constants. For \(p = \infty \) the fraction 1 / p is interpreted as 0.
Lemma 12
Let us suppose that \(u_0\in B\subset \dot{H}^2_{per}\), where B is a bounded subset of \(\dot{H}^1_{per}\). Then, weak solutions to Eq. (4) with \(u_0\in B\) for \(t\ge t_B\) fulfill
Proof
We note that
and we estimate each of the three terms separately. Using Gagliardo-Nirenberg inequality (19) with \(n=1, j=1, p=6, m=4, a=1/3, r=2\) and \(q=2\) we deduce
Now, the inequality \(a^2 b^2 \le a^6/3 + 2 b^3/3\) for positive a and b implies
The first term can be estimated as before, for the latter we again apply Gagliardo-Nirenberg inequality (19). We set \(j=2, p=q=3, m=4, r=2, n=1, a=12/23\) so that
Finally, we use \(ab \le a^p/p + b^q/q\) for conjugate numbers \(p=23/18\) and \(q=23/5\). This yields the overall estimate
The last term in (21) is just bounded by \(C \Vert u_{xxx}\Vert ^2\), so that we derived (20). \(\square \)
Lemma 13
Let us suppose that u is a weak solution to (4) with initial condition \(u_0\) in \(\dot{H}^2_{per}\). Then, \(u\in L^2(0,T;\dot{H}^5 _{per})\).
Proof
It is sufficient to show that \(u_t \in L^2(0,T;(H^{1}_{per})^*)\). If we know this, then Proposition 1 (b), Lemma 12 and Eq. (4) imply that
We act at the level of Galerkin approximation \(u^N\), see [11]. We apply the integral operator \((-\Delta )^{-1}:\dot{L}^2 \rightarrow \dot{H}_{per}^2\) to both sides of Eq. (4) to derive
We test this equation by \(u_t^N\) and estimate
Collecting the \(\Vert (-\Delta )^{-1/2} u_t^N\Vert ^2\) terms on the left hand side yields
Applying the estimate (20) and integrating with respect to t we get,
Since the right hand side is bounded uniformly in N due to the existence result established for the HCCH equation, we can pass to the limit and conclude that indeed our claim holds. \(\square \)
4 The Slope System in the Two Dimensional Setting
For the purpose of analysis of the two-dimensional spatial domain, we rewrite Eq. (1) as a system of slope equations. The surface with height h over the reference plane depends on the domain size, it grows due to coarsening that leads to an increase of the average size of the evolving structures. The slopes have a more dissipative character as the anisotropy of the surface energy forces the slopes to stay at a certain level that is independent of the domain size.
We write \(u_1 = h_x, u_2 = h_y\) and note that the function in (3) is now used with \(u_1\) and \(u_2\) as arguments. In the evolution equation we need to calculate the gradient of W with respect to its arguments \(u_1\) and \(u_2\), we denote it here by \(D_u\),
and further note that \(\mathrm{div}\,D_u W\) yields the second order linear and nonlinear terms. The fourth order term in the same potential stems from a corner regularization in the extended surface energy \(\tilde{W} = W + (\Delta h)^2/2\).
Now we transform Eq. (1) to a slope equation, using the same notation as introduced above. For this purpose we take the gradient of both sides of (1). If we set \(u = \left( \begin{array}{c} u_1 \\ u_2 \end{array}\right) = \left( \begin{array}{c} h_x \\ h_y \end{array}\right) = \nabla h\), then we will arrive at
It is obvious from (28) that any solution to this equation is a gradient.
The advantage of (28) is that it has the same structure as in the one-dimensional setting. Due to this fact and the prescription of periodic boundary conditions we have
and hence again work with Sobolev spaces with zero mean. We establish the first absorption property:
Lemma 14
There is a constant \(C>0\) such that, for any bounded set \(B \in (\dot{H}^2_{per})^2\), there exists a time \(\tilde{t}_B\), such that, for any \(u_0 \in B\) and any \(t \ge \tilde{t}_B\), the following uniform bounds hold
Proof
We consider now \((-\Delta )^{-2}\) to be the inverse operator of the bi-Laplacian \(\Delta ^2: \dot{H}^4_{per} \subset \dot{L}^2 \rightarrow \dot{L}^2 \) and apply it to our new transformed system,
The last equality is based on the observation that for any vector field \(X\in \dot{H}^1_{per}(\Omega ;\mathbb {R}^2)\) we have
This becomes obvious, after application of the Fourier transform to both sides,
As before, we can test (30) by \(u_t\). However, this time we integrate over a two-dimensional domain, and as we deal with a system, we add the two components together, where we write shortly \(\Vert (-\Delta )^{-1}u_t\Vert ^2 = \Vert (-\Delta )^{-1}(u_1)_t\Vert ^2 + \Vert (-\Delta )^{-1}(u_2)_t\Vert ^2 \) and keep this notation for all norms with arguments that are two-dimensional vectors, i.e. \(\Vert u\Vert _{L^p} = \Vert \sqrt{(u_1)^2 + (u_2)^2}\Vert _{L^p}\).
We arrive at
A series of integration by parts based on \(u_t =\nabla h_t\) yields,
Using the identity in (32) we derive
corresponding to (11) in the one-dimensional setting.
Using u as a test function in (30) and adding the components yields
Similarly, as before we use the identity
which can be derived by the same argument as above.
We estimate the two terms with the wrong sign as
where C depends on the domain parameter L as we applied Young’s inequality to \(u^2 \cdot 1\). Overall we have derived
Multiplying (33) by \(\alpha /(9 D_1)\) and adding to the above estimate yields
We define the energy
and proceed analogously as in the proof of Theorem 10. Hence, once again Gronwall Lemma yields the existence of absorbing sets in \(H^1\). \(\square \)
5 The Global Attractor
5.1 Additional Regularity
Let us come back to the two-dimensional case. For the convenience of the reader we recall the parameter variation formula (10),
The inspection of the proof of [10, Eq. (10)] reveals that in the case considered here we obtain a better estimate, due to the fact that u has zero mean. Namely, after setting
we can prove:
Lemma 15
If \(\epsilon >0\), \(p>0\) and \(\sup _{s\in [t_0,t]} \Vert v(\cdot ,s)\Vert _{H^{p-6(1-\epsilon )}} <\infty \), then
where \(\lambda _0 = L^6/2\).
We will present a sketch of the argument. We work with the Fourier variables \(\xi \in (L\mathbb {Z})^d\), (see also [10] for the details). Because of (29) there is no zeroth mode in the Fourier variables, hence
Thus, there is a positive constant \(C_p>0\) such that for all \(0\ne \xi \in (L\mathbb {Z})^d\), \(d=1,2\), we have
This and the identity \(e^{- |\xi |^6(t-s)} = e^{-\lambda _0(t-s)} e^{-(|\xi |^6-\lambda _0(t-s))} \) imply that
Here the last inequality follows from fast exponential decay \(e^{-y}y^{1-\epsilon } \le \tilde{C}\) that is true for any positive y. We used \(y = (t-s) (|\xi |^6-\lambda _0)\). Thus,
and hence (36) holds. We notice that the dimensionality of the problem does not intervene here.
We may now establish new results based on (36).
Lemma 16
There is a constant \(C>0\) such that, for any bounded set \(B \subset \dot{H}^2_{per}\), there exists a time \(t'_B=\tilde{t}_B+1>0\), such that, for any \(u_0 \in B\) and any \(t \ge t'_B\) we have
Proof
It is sufficient to show the following bound for any \(\alpha >0\)
for all \(t\ge t'_B\).
We note that indeed
and proceeding as in the proof of (36), we conclude that
Hence, it follows from (10) and (36) for \(s=1+\alpha \), where \(\alpha >0\),
where we pick \(t_0=\tilde{t}_B\) and \(D_uW(u)\) is the cubic nonlinearity. We notice that
Furthermore, we can estimate the other nonlinear term by
The last estimate is a consequence of Lemma 14. The uniformity of the constants of the last two estimates also comes from the uniform absorption of bounded sets of the energy (35). Our claim follows for \(t\ge t'_B = \tilde{t}_B +1\). \(\square \)
5.2 Compactness of Absorbing Balls
Using Lemma 15 we do not only show the existence of absorbing sets in \(H^2\) but also their compactness. Therefore we make the following key observation.
Proposition 17
There exist \(\alpha >0\) and a constant \(C(\alpha )>0\), such that for any bounded set \(B \subset (\dot{H}^2_{per})^d\), \(d=1,2\), there exists a time \(t_B=t'_B+1\), such that, for any \(u_0\in B\) and any \(t \ge t_B\) we have
Proof
We use again formula (36), this time we take \(p=2+\alpha \), we use (10) too. We get
We recall that \(\Vert (-\Delta )^{\alpha } e^{\Delta ^3 (t-t_0)} u_0\Vert \le C (t-t_0)^{-\alpha /3} \Vert u(t_0)\Vert \). Hence,
We also observe that due to Lemma 16 we have,
Combining these estimates with (40) we conclude that our claim holds for \(t\ge t_B= t'_B+1\).
\(\square \)
We may complete the proofs of Theorems 4 and 5 in one stroke. Proposition 17 yields compactness of an absorbing ball in \(H^2\) topology. On the other hand we have already established the strong continuity of the semigroup S(t). Thus, an application of Theorem 7 finishes the proof. \(\square \)
Now, we prove the final assertion. We transfer the above results to the problem expressed in terms of the shape h in (1).
Proof of Theorem 6
Exactly as in the slope system it is sufficient to show existence of a compact absorbing set in the \(H^3\) topology. First, we notice that it is easy to reconstruct a function \(h:\Omega =(0,L)^d\rightarrow \mathbb {R}\), when it is given its derivative \(u = \nabla h\) and the mean \(m=\int _{\Omega } h\). Indeed, we have the following formulas: in case \(d=1\),
and if \(d=2\),
These two formulas and Theorems 4 and 5 imply existence of compact absorbing sets, hence existence of a global attractor in \(H^3\). \(\square \)
6 Conclusions and Outlook
We have established the existence of global attractors in \(\dot{H}^2_{per}\) for the slope Eqs. (4) and (8). This enable us to show the existence of global attractors in \( H^3_{per}\) for (1) in the 1+1D and 1+2D settings. On the way, we showed that solutions to (4) and (8) enjoy further regularity. For the one-dimensional case we succeed in deriving proper uniform estimates by repeated application of Gronwall inequality. As we needed uniform constants for the estimates, the work may seem somewhat tedious at certain points, e.g. during the application of Gagliardo-Nirenberg’s inequality. Because of its repeated application this approach is not feasible the two-dimensional setting. Instead we reconsidered the constant variation formula from our previous work [10] to improve the regularity result. It turns out, once this approach is understood, the semigroup ansatz seems more elegant for this problem.
We are content with the results obtained for the presented equations. They coincide with the observations made with the help of a pseudospectral numerical method in the previous work [11], though we were not yet able to show or negate the existence of stationary or traveling wave solutions, which have been discussed in this publication. As we are not able to find a Lyapunov function, we were not in the position to use approaches based on the Łojasiewicz-Simon inequality (e.g. [13, 21]).
We do not know much about the \(\omega \)-limit set, but as Fig. 1 has already indicated, we expect to have time-periodic or stationary solutions for smaller values of \(\delta \) and a strange attractor for increased values of the deposition rate dependent parameter. Note that once the structures form, the solutions in this figure stay in an \(\dot{H}^2_{per}\) ball as predicted. The numerical simulations suggest that at least for small initial data the \(L^\infty \) norm of u stays roughly below 1, independently of the value for \(\delta \).
Change history
12 June 2019
The original version of this article unfortunately contained an error in Equations
References
Eden, A., Kalantarov, V.K.: The convective Cahn-Hilliard equation. App. Math. Lett. 20(4), 455–461 (2007)
Engel, K.-J., Nagel, R.: One-parameter semigroups for linear evolution equations. In: Brendle, S., Campiti, M., Hahn, T., Metafune, G., Nickel, G., Pallara, D., Perazzoli, C., Rhandi, A., Romanelli, S., Schnaubelt, R. (eds.) Graduate Texts in Mathematics, p. 194. Springer, New York (2000)
Golovin, A.A., Davis, S.H., Nepomnyashchy, A.A.: A convective Cahn-Hilliard model for the formation of facets and corners in crystal growth. Phys. D 122(1–4), 202–230 (1998)
Hale, J.K.: Asymptotic Behavior of Dissipative Systems. AMS, Providence (1988)
Henry, D.: Geometric Theory of Semilinear Parabolic Equations. Lecture notes in mathematics, p. 840. Springer, Berlin (1981)
Korzec, M.D.: Continuum modeling, analysis and simulation of the self-assembly of thin crystalline films, Ph.D. Thesis, Technical University in Berlin, (2010)
Korzec, M.D., Evans, P.L.: From bell shapes to pyramids: a reduced continuum model for self-assembled quantum dot growth. Phys. D 239, 465–474 (2010)
Korzec, M.D., Evans, P.L., Münch, A., Wagner, B.: Stationary solutions of driven fourth- and sixth-order Cahn–Hilliard type equations. SIAM J. Appl. Math. 69, 348–374 (2008)
Korzec, M.D., Münch, A., Wagner, B.: Anisotropic surface energy formulations and their effect on stability of a growing thin film. Interfaces Free Bound. 14, 545–568 (2012)
Korzec, M.D., Nayar, P., Rybka, P.: Global weak solutions to a sixth order Cahn–Hilliard type equation. SIAM J. Math. Anal. 44(5), 3369–3387 (2012)
Korzec, M.D., Rybka, P.: On a higher order convective Cahn–Hilliard type equation. SIAM J. Appl. Math. 72(4), 1343–1360 (2012)
Leung, K.-T.: Theory on morphological instability in driven systems. J. Stat. Phys. 61(1–2), 345–364 (1990)
Łojasiewicz, S.: Sur la géométrie semi- et sous-analytique. Ann. Inst. Fourier (Grenoble) 43, 1575–1595 (1993)
Łukaszewicz, G., Real, J., Robinson, J.C.: Invariant measures for dissipative systems and generalised banach limits. J. Dyn. Differ. Equ. 23, 225–250 (2011)
Mullins, W.W.: Theory of thermal grooving. J. Appl. Phys. 28(3), 333–339 (1957)
Pawłow, I., Zaja̧czkowski, W.M.: A sixth order Cahn–Hilliard type equation arising in oil-water-surfactant mixtures. Commun. Pure Appl. Anal. 10(6), 1823–1847 (2011)
Raugel, G.: Global Attractors in Partial Differential Equations. Handbook of Dynamical Systems, vol. 2, pp. 885–982. North-Holland, Amsterdam (2002)
Robinson, J.: Infinite-Dimensional Dynamical Systems. Cambridge University Press, Cambridge (2001)
Rybka, P., Hoffmann, K.-H.: Convergence of solutions to Cahn–Hilliard equation. Commun. PDE 24, 1055–1077 (1999)
Savina, T.V., Golovin, A.A., Davis, S.H., Nepomnyashchy, A.A., Voorhees, P.W.: Faceting of a growing crystal surface by surface diffusion. Phys. Rev. E 67, 021606 (2003)
Simon, L.: Asymptotics for a class of non-linear evolution equations, with applications to geometric problems. Ann. Math. 118, 525–571 (1983)
Temam, R.: Infinite-Dimensional Dynamical Systems in Mechanics and Physics. Springer, New York (1988)
Acknowledgments
MK would like to acknowledge the financial support by the DFG Research Center Matheon. Furthermore MK thanks the University of Warsaw for the hospitality during two visits in 2012. The work of PR was supported in part by NCN through 2011/01/B/ST1/01197 Grant. The authors thank the referee for his/her extensive comments which helped to improve the text.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Korzec, M.D., Nayar, P. & Rybka, P. Global Attractors of Sixth Order PDEs Describing the Faceting of Growing Surfaces. J Dyn Diff Equat 28, 49–67 (2016). https://doi.org/10.1007/s10884-015-9510-6
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10884-015-9510-6