Existence of large-data solutions to a thermo-piezoelectric system and forward operator analysis for associated inverse problems
Torben J. Fricke, Raphael Kuess, Felix Meyer
Abstract
We consider an inverse problem governed by the initial-boundary value problem for the thermoviscoelastic Kelvin-Voigt system \begin{align*}\left\{ \begin{array}{l} ρ(z,t) u_{tt}- \left(Γ(Θ) u_{zt} +p(z,t) u_z -βΘ\right)_z=0\\ b(z,t) Θ_t-\left(k(z,t)Θ_z\right)_z - Γ(Θ) u_{zt}^2+βΘu_{zt}=0, \end{array} \right. \end{align*} in an open bounded interval $Ω\subset\mathbb{R}$, for the evolution of the displacement variable $u$, and the temperature $Θ\geq 0$. Assuming the material coefficients $ρ$, $Γ$, $p$, $b$, $β$ and $k$ are strictly positive and bounded, a global-in-time existence result is established for weak solutions. The present manuscript demonstrates that this can be achieved under energy- and entropy-minimal assumptions, in the sense that global weak solutions are shown to exist for any initial data $$u_0\in W^{1,2}(Ω),\quad u_{0t}\in L^2(Ω)\quad\text{and}\quad 0\leΘ_0\in L^2(Ω).$$ The qualitative analysis of the evolution problem then allows to model and analyze the structural properties of the corresponding forward operator that naturally arises in inverse parameter identification settings. Therein, two modeling approaches of the observation operator as approximations of the electrical surface charge are presented and results on their well-definedness and boundedness are established. With the results on well-definedness and boundedness of the model operator, established in this paper as well, results on well-definedness, boundedness and continuous Fréchet differentiability of the forward operator are presented.