Stability result for viscoelastic wave equation with dynamic boundary conditions (Q1990727)

The authors prove an exponential decay for the semigroup solution to the viscoelastic equation $u_{tt}-\Delta u+\int_{0}^{t}g(s)\Delta u(t-s)ds=0$ posed in $\Omega \times (0,\infty)$, where $\Omega $ is a bounded domain in $ \mathbb{R}^{n}$. The boundary $\partial \Omega $ is decomposed in $\Gamma_{0}\cup \Gamma_{1}$ and the boundary condition $u_{tt}=-(\frac{\partial u}{\partial \nu}+\int_{0}^{t}g(s)\frac{\partial u}{\partial \nu}(x,t-s)ds)=0$ is imposed on $\Gamma_{1}\times (0,\infty)$, while the homogeneous Dirichlet boundary condition $u=0$ is imposed on $\Gamma_{0}\times (0,\infty)$. The initial conditions $u(x,0)=u_{0}(x)$ and $u_{t}(x,0)=u_{1}$ are imposed. The relaxation function $g$ is supposed to be a nonnegative and differentiable function on $(0,\infty)$ such that $1-\int_{0}^{\infty}g(s)ds=l>0$ and there exist positive $\zeta_{0}$ and $\zeta_{1}$ such that $-\zeta_{1}g(t)$ $\leq g^{\prime}(t)\leq -\zeta_{0}g(t)$ in $\mathbb{R}$. \par Introducing $V=(u,u_{t},\gamma_{1}(u_{t}),\eta)$, where $\gamma_{1}$ is the trace operator on $\Gamma_{1}$ and $\eta (x,t)=u(x,t)-u(x,t-s)$, the authors first write an equivalent formulation of this problem as $V^{\prime}(t)+\mathcal{A}V(t)=0$ posed in the Hilbert space $\mathcal{H}=H_{\Gamma_{0}}^{1}(\Omega)\times L^{2}(\Omega)\times L^{2}(\Gamma_{1})\times \mathcal{M}$, where $\mathcal{M}=L_{g}^{2}(\mathbb{R}_{+};H_{\Gamma_{0}}^{1}(\Omega))$. The initial condition $V(0)=V_{0}$ is imposed. Assuming that the initial data $V_{0}$ belongs to $\mathcal{H}$ and using $m$-dissipative arguments, the authors prove the existence of a solution $V\in C(\mathbb{R}_{+};\mathcal{H})$. If the initial condition $V_{0}$ further belongs to the domain $D(\mathcal{A})$ of the dissipative operator$\mathcal{A}$, this solution is classically proved to belong to $C^{1}(\mathbb{R}_{+};\mathcal{H})\cap C(\mathbb{R}_{+};D(\mathcal{A}))$. \par The main result of the paper proves that $\left\Vert e^{t\mathcal{A}}V_{0}\right\Vert_{\mathcal{H}}\leq Ce^{-\gamma t}\left\Vert V_{0}\right\Vert_{D(\mathcal{A})}$. The proof is decomposed in two main steps, the authors proving that for every real number $\beta$, the resolvent $i\beta I-\mathcal{A}$ is injective and surjective.