The singular limit dynamics of the phase-field equations (Q628612)

Let \(\Omega=\prod _{i=1}^n(0,L_i)\), \(L_i>0\), \(n\leq2\), and consider the operator \[ N=-\Delta:H^2(\Omega)\cap H_0^1(\Omega)\to L^2(\Omega). \] This paper deals with the perturbed system \[ \delta \varphi_t+N\phi+g(\varphi)=u, \qquad \varepsilon u_t+\varphi_t+Nu =0\tag{1} \] with the boundary conditions \[ \varphi,u|_{\partial\Omega}=0 \tag{2} \] and the initial conditions \[ \varphi|_{t=0} =\varphi_0,\qquad u|_{t=0}=u_0 \tag{3} \] and the limit problem \(P\) \[ \delta \phi_t+N\varphi+g(\varphi)=u,\qquad \varphi_t+Nu=0 \] with the boundary conditions (2) and the initial condition \(\varphi|_{t=0} =\varphi_0\). Here \(\delta>0\), \(\varepsilon\in(0,\varepsilon_0]\), \(g\in C^2(\mathbb R)\) is a nonlinear function satisfying some growth assumption. For instance, \(g(s)=|s|^ps-bs\), \(b\in\mathbb R\), \(p>0\) is suitable. Several Banach spaces whose norms depend on \(\varepsilon\) are introduced: \(\mathcal H^i_\varepsilon\), \(i=0,1,2\). In particular, \({\mathcal H}^0_\varepsilon=H^1_0(\Omega)\times L^2(\Omega)\) with the norm \(\|(p,q)\|=(\|p\|_1^2+ \varepsilon\|q\|^2)^{\frac{1}{2}}\). Under additional assumptions on the regularity of the data, let \(S(t): H^1_0(\Omega\to H_0^1(\Omega)\) and \(S_\varepsilon(t):{\mathcal H}^0_\varepsilon\to{\mathcal H}^0_\varepsilon\) be the semigroups associated with problems \(P\) and a weak version \(P_\varepsilon\) of problem (1)--(3), respectively. The semigroup \(S(t)\) (resp., \(S_\varepsilon(t)\)) possesses a global attractor \({\mathcal A}\) bounded in \(H^2(\Omega)\) (resp., \({\mathcal A}_\varepsilon\) bounded in \({\mathcal H}^1_\varepsilon\)) and an exponential attractor \({\mathcal M}\) (resp., \({\mathcal M}_\varepsilon\)) such that the maps \(\varepsilon\to {\mathcal M}_\varepsilon\) and \(\varepsilon\to {\mathcal A}_\varepsilon\) are continuous. It is proved, in particular, that \[ \lim_{\varepsilon\to 0}\text{dist}_{{\mathcal H}^0_1}(({\mathcal M})_0,{\mathcal M}_\varepsilon)=0 \] and \[ \lim_{\varepsilon\to 0}\text{dist}_{{\mathcal H}^0_1}(({\mathcal A})_0,{\mathcal A}_\varepsilon)=0 \] (for any bounded set \(B\in H^2(\Omega)\cap H^1_0(\Omega)\), \((B)_0\) denotes its lifting in \({\mathcal H}^1_\varepsilon\): \((B)_0=\{(f,(I+\delta N)^{-1}(Nf+g(f)))\), \(f\in B\}\)). Existence and continuity of inertial manifolds associated to the perturbed problem are also investigated.