Vanishing shear viscosity limit and incompressible limit of two dimensional compressible dissipative elastodynamics (Q6135946)

The authors consider the 2D compressible and dissipative elastodynamics system: \(\partial _{t}\rho +\nabla \cdot (\rho v)=0\), \(\partial _{t}(\rho v)+\nabla \cdot (\rho v\otimes v)+\nabla P=\nabla \cdot (\rho FF^{T})+\mu \Delta v+\lambda \nabla (\nabla \cdot v)\), \(\partial _{t}F+v\cdot \nabla F=\nabla vF\), where \(\rho =\rho (t,x)\) is the density, \(v=v(t,x)\) the velocity of the flow, \(P=P(t,x)\) the scalar pressure, \(F=(F_{1},F_{2}\)) the deformation matrix, \(F^{T}\) is the transpose of \(F\), \(\mu \geq 0\) the shear, and \(\lambda \geq 0\) the volume viscosity constant coefficients. The initial conditions \((\rho ,v,F)\mid _{t=0}=(\rho _{0},v_{0},F_{0})\) are imposed. The authors recall that for smooth solutions \((\rho ,v,F)\) to the above system, the physical constitution laws \(\rho detF=1\), \(F_{j}\cdot \nabla F_{k}=F_{k}\cdot \nabla F_{j}\), \(1\leq j,k\leq 2\), hold true for all \(t\geq 0 \). They consider the case where the pressure is linked to the density through: \(P=P(\rho )=\rho ^{3}/3\). The purpose of the paper is to describe the asymptotic behavior of the solution \((\rho ^{\mu ,\lambda },v^{\mu ,\lambda },F^{\mu ,\lambda })\) when \(\mu \) goes to 0 and \(\lambda \) goes to \( \infty \). Introducing \(\eta ^{\mu ,\lambda }=\rho ^{\mu ,\lambda }-1\), \( m^{\mu ,\lambda }=\rho ^{\mu ,\lambda }v^{\mu ,\lambda }\), \(G_{k}^{\mu ,\lambda }=\rho ^{\mu ,\lambda }(F_{k}^{\mu ,\lambda }-I)\), the preceding system can be equivalently reformulated as: \(\partial _{t}\eta ^{\mu ,\lambda }+\nabla \cdot m^{\mu ,\lambda }=0\), \(\partial _{t}m^{\mu ,\lambda }+\nabla \eta ^{\mu ,\lambda }-\nabla \cdot G^{\mu ,\lambda }-\mu \Delta m^{\mu ,\lambda }-\lambda \nabla (\nabla \cdot m^{\mu ,\lambda })=\mu \Delta \widehat{\mathcal{N}}_{c}^{\mu ,\lambda }+\lambda \nabla (\nabla \cdot \widehat{\mathcal{N}}_{c}^{\mu ,\lambda })+\nabla \cdot \widehat{\mathcal{N}} _{m}^{\mu ,\lambda }\), \(\partial _{t}G_{k}^{\mu ,\lambda }-\nabla _{k}m^{\mu ,\lambda }=\nabla \cdot \widehat{\mathcal{N}}_{G_{k}}^{\mu ,\lambda }\), with the constraints \(\eta ^{\mu ,\lambda }+trG^{\mu ,\lambda }=\widehat{M}_{\eta }^{\mu ,\lambda }\), \(\nabla _{k}\eta ^{\mu ,\lambda }+\nabla _{j}G_{jk}^{\mu ,\lambda }=0\), \(j,k=1,2\), where \(\widehat{\mathcal{N}}_{c}^{\mu ,\lambda }=-(1+\eta ^{\mu ,\lambda })^{-1}\eta ^{\mu ,\lambda }m^{\mu ,\lambda }\), \( \widehat{\mathcal{N}}_{m}^{\mu ,\lambda }=-(1+\eta ^{\mu ,\lambda })^{-1}m^{\mu ,\lambda }\otimes m^{\mu ,\lambda }-G_{k}^{\mu ,\lambda }\otimes G_{k}^{\mu ,\lambda }-\frac{1}{3}(3+\eta ^{\mu ,\lambda })(\eta ^{\mu ,\lambda })^{2}I\), \(\widehat{\mathcal{N}}_{G_{k}}^{\mu ,\lambda }=-(1+\eta ^{\mu ,\lambda })^{-1}G_{k}^{\mu ,\lambda }\otimes m^{\mu ,\lambda }-m^{\mu ,\lambda }\otimes G_{k}^{\mu ,\lambda }\), \(\widehat{M} _{\eta }^{\mu ,\lambda }=-\frac{1}{2}(1+\eta ^{\mu ,\lambda })^{-1}G_{1}^{\mu ,\lambda }\cdot (G_{2}^{\mu ,\lambda })^{\perp }-G_{2}^{\mu ,\lambda }\cdot (G_{1}^{\mu ,\lambda })^{\perp }\). The authors introduce the scaling operator \(S=t\partial _{t}+r\partial _{r}\) and the modified scaling operator \(\widetilde{S}=S+1\).\ Defining \(Z=(\partial _{t},\nabla _{1},\nabla _{2},\widetilde{\Omega })\), \(\Gamma =(\partial _{t},\nabla _{1},\nabla _{2},\widetilde{\Omega },\widetilde{S})\) they apply the high order derivatives \(\widetilde{S}^{s}Z^{z}\) to the preceding system, for any integer \(s\) and multi-index \(z\).\ They apply the Hodge decomposition to finally get a high order system. They also define a system for \((\rho ,v,E_{j})\), with \(E=F-1\), then a high order system and they again apply the Hodge decomposition. They define the generalized energy norms as \(\mathcal{E} _{\kappa }(t)=\sum_{s+\left\vert z\right\vert \leq \kappa }\left\Vert \widehat{U}^{(s,z)}\right\Vert _{L^{2}}^{2}=\sum_{s+\left\vert z\right\vert \leq \kappa }\left\Vert \widetilde{S}^{s}Z^{z}\widetilde{U}\right\Vert _{L^{2}}^{2}\) associated with the first high order system and \(\widetilde{ \mathcal{E}}_{\kappa }(t)=\sum_{s+\left\vert z\right\vert \leq \kappa }(\left\Vert \widetilde{U}^{(s,z)}\right\Vert _{L^{2}}^{2}+(\mu +\lambda )^{2}\left\Vert \widetilde{\eta }^{(s,z)}\right\Vert _{L^{2}}^{2})\) associated with the second high order system. For the main result, the authors define \(\Lambda =(r\partial _{r},\nabla ,\widetilde{\Omega })\) and the spaces \(H_{\Lambda }^{\kappa }=\{(f,g):\left\Vert \Lambda ^{\leq \kappa }f\right\Vert _{L^{2}}+\left\Vert \Lambda ^{\leq \kappa }g\right\Vert _{L^{2}}<\infty \}\), \(H_{\Gamma }^{\kappa }(T)=\{(f,g):[0,T)\rightarrow \mathbb{R}\times \mathbb{R}^{2}:(f,g)\in \bigcap _{j=0}^{\kappa }C^{j}([0,T);H_{\Lambda }^{\kappa -j})\}\). The main result proves that given constants \(M_{0}>0\) and \(0<\delta <1/2\), if \(\widetilde{U}^{\mu ,\lambda }\mid _{t=0}=(\eta _{0}^{\mu ,\lambda },\nu _{0}^{\mu ,\lambda },E^{\mu ,\lambda }0)\in H_{\Lambda }^{\kappa }\) with \(\kappa \geq 14\) satisfies \( \widetilde{\mathcal{E}}_{\kappa }(0)+\mathcal{E}_{\kappa }(0)\leq M_{0}^{2}\) , \(\widetilde{\mathcal{E}}_{\kappa -2}(0)+\mathcal{E}_{\kappa -2}(0)\leq \varepsilon \), there exists a positive constant \(\varepsilon _{0}\) depending only on \(M_{0}\), \(\kappa \) and \(\delta \) such that if \(\varepsilon \leq \varepsilon _{0}\), then there exists a unique global classical solution \( \widetilde{U}^{\mu ,\lambda }\in H_{\Gamma }^{\kappa }\) to the above compressible viscoelastic system satisfying \(\widetilde{\mathcal{E}}_{\kappa }(t)+\mathcal{E}_{\kappa }(t)\leq C_{0}^{2}M_{0}^{2}\left\langle t\right\rangle ^{\delta }\), \(\widetilde{\mathcal{E}}_{\kappa -2}(t)+\mathcal{ E}_{\kappa -2}(t)\leq \varepsilon \exp\{10C_{0}^{2}M_{0}\}\) for all \(t\in \lbrack 0,\infty )\), where \(C_{0}>1\) is a constant. Moreover, the sequence \( U^{\mu _{n},\lambda _{n}}\) has a subsequence \(U^{\mu _{n^{\prime }},\lambda _{n^{\prime }}}\) satisfying \(U^{\mu _{n^{\prime }},\lambda _{n^{\prime }}}(t)\rightarrow _{\mu _{n^{\prime }}\rightarrow 0,\lambda _{n^{\prime }}\rightarrow \infty }U^{(0,\infty )}(t)=(1,v^{0,\infty },F^{0,\infty })\) in \(C_{loc}^{\kappa -3}((0,\infty )\times \mathbb{R}^{2})\), where \((v^{0,\infty },F^{0,\infty })\) is the unique global solution to the limit incompressible elastodynamics \(\partial _{t}v+v\cdot \nabla v+\nabla q=\operatorname{div}(FF^{T})\), \( \partial _{t}F+v\cdot \nabla F=\nabla _{v}F\), \(\nabla \cdot v=0\). For the proof, the authors prove energy estimates, uniform estimates on the nonlinear terms, uniform energy estimates for higher- and lower-order terms, and they finally pass to the limit with respect to \(\mu \) and \(\lambda \) using Ascoli-Arzela theorem and a diagonalization argument.