Visco-elastodynamics at large strains Eulerian (Q2121439)

The author considers the visco-elastodynamic system in the \(v/F\)-formulation written as: \(\varrho \overset{.}{v}=\operatorname{div}(T+D)-\frac{\varrho }{2}(\operatorname{div}v)v+f\), with \(T=\varphi ^{\prime }(F)F^{\intercal }+\varphi (F)I\), \(D=\mathbb{D} e(v)-\operatorname{div}(\nu \left\vert \nabla e(v)\right\vert ^{p-2}\nabla e(v))\), \(\overset {.}{F}=(\nabla v)F\), where \(\overset{.}{v}=\frac{\partial v}{\partial t} +(v\cdot \nabla )v\), \(\overset{.}{F}=\frac{\partial F}{\partial t}+(v\cdot \nabla )F\), \(T\) is the conservative part of the Cauchy stress, \(D\) its dissipative part, \(\varrho \) is the constant mass density, and \(\nu >0\) is small. The author imposes that \(\varphi :\mathbb{R}^{d\times d}\rightarrow \lbrack 0,+\infty ]\) is continuously differentiable and the existence of \( l\in \mathbb{R}\) such that for every \(F\in \mathbb{R}^{d\times d}:0\leq \varphi (F)\leq l(1+\left\vert F\right\vert )\) and \(\left\vert \varphi ^{\prime }(F)\right\vert \leq l\),\(f\in L^{1}(I;L^{2}(\Omega ;\mathbb{R} ^{d}))+L^{2}(I;L^{2}(\Omega ;\mathbb{R}^{d}))\), \(g\in L^{2}(I;L^{1}(\Gamma ; \mathbb{R}^{d}))\), \(v_{0}\in L^{2}(\Omega ;\mathbb{R}^{d})\), \(F_{0}\in H^{1}(\Omega ;\mathbb{R}^{d\times d})\), \(\varrho ,\nu >0\), \(D\in (\mathbb{R} _{\mathrm{sym}}^{d\times d})^{2}\) is positive definite, \(p>d\). The author defines a weak solution to this problem as a couple \((v,F)\) with \(v\in L^{p}(I;W^{2,p}(\Omega ;\mathbb{R}^{d}))\cap H^{1}(I;L^{2}(\Omega ;\mathbb{R} ^{d}))\) such that \(v\cdot n=0\) on \(I\times \Gamma \) and \(F\in L^{2}(I\times \Omega ;\mathbb{R}^{d\times d})\), which satisfies an integral identity. The main result proves that under the above hypotheses, there exists a weak solution \((v,F)\) such that \(F\in L^{\infty }(I;H^{1}(\Omega ;\mathbb{R} ^{d\times d}))\) and the transport-and-evolution equation holds a.e. on \(I\times \Omega \), together with an energy balance. If \(\varphi \) is twice continuously differentiable with \(\varphi ^{\prime \prime }\) bounded, then \( \varphi ^{\prime }(F)\in L^{\infty }(I;H^{1}(\Omega ;\mathbb{R}^{d\times d})) \). For the proof, the author builds a Galerkin approximation of a regularized problem, for which he proves estimates, and he finally passes to the limit on the regularization parameter to 0 and on the integer involved in the Galerkin approximation.