Exact controllability of a problem of a linear elasticity system with evolutive Ventcel conditions (Q5949009)

The purpose of this work is to study exact controllability of a linear elasticity system, assuming evolutive Venttsel' conditions in a bounded domain of \(\mathbb{R}^3\). The author considers the following linear model: \[ \begin{cases} {\mathbf u}''-\text{div} \sigma({\mathbf u})= {\mathbf f}\quad & \text{in } Q_T=\Omega\times(0,T)\\ {\mathbf u}_T'' +\sigma_S{\mathbf u}-\text{div} \sigma_T^0 ({\mathbf u})={\mathbf g}_T \quad & \text{on }\Sigma_T= \Gamma \times(0,T)\\ {\mathbf u}_\nu'' +\sigma_\nu ({\mathbf u})+\sigma^0_T ({\mathbf u}): \partial_m\nu= g_\nu\quad & \text{on }\Sigma_T\\ {\mathbf u}(0)={\mathbf u}^0_1,\;{\mathbf u}'(0)={\mathbf u}_1^1\quad & \text{in }\Omega\\ {\mathbf u}|_\Gamma(0)= {\mathbf u}_2^0,\;({\mathbf u}|_\Gamma)'(0)= {\mathbf u}_2'\quad & \text{on } \Gamma.\end{cases} \] Here a general tool, the Hilbert uniqueness method, is used, reducing controllability to uniqueness. Some multipliers are defined on the boundary (the curvature tensor appears when computing some boundary integrals). The author provides precise proofs of existence (regularity) and uniqueness for the exact controllability. Moreover this work can be interesting in the framework of the study of exact controllability and stabilization of various problems with Ventcel's conditions.