# Carleman estimate and application to an inverse source problem for a viscoelasticity model in anisotropic case

We consider an anisotropic hyperbolic equation with memory term: $$ \partial_t^2 u(x,t) = \sum_{i,j=1}^n \partial_i(a_{ij}(x)\partial_ju) + \int^t_0 \sum_{| \alpha| \le 2} b_{\alpha}(x,t,\eta)\partial_x^{\alpha}u(x,\eta) d\eta + F(x,t) $$ for $x \in \Omega$ and $t\in (0,T)$ or $\in (-T,T)$, which is a model equation for viscoelasticity. First we establish a Carleman estimate for this equation with overdetermining boundary data on a suitable lateral subboundary $\Gamma \times (-T,T)$. Second we apply the Carleman estimate to establish a both-sided estimate of $| u(\cdot,0)|_{H^3(\Omega)}$ by $\partial_{\nu}u|_{\Gamma\times (0,T)}$ under the assumption that $\partial_tu(\cdot,0) = 0$ and $T>0$ is sufficiently large, $\Gamma \subset \partial\Omega$ satisfies some geometric condition. Such an estimate is a kind of observability inequality and related to the exact controllability. Finally we apply the Carleman estimate to an inverse source problem of determining a spatial varying factor in $F(x,t)$ and we establish a both-sided Lipschitz stability estimate.

## Similar Publications

In this short note we consider an unconventional overdetermined problem for the torsion function: let $n\geq 2$ and $\Omega$ be a bounded open set in $\mathbb{R}^n$ whose torsion function $u$ (i.e. the solution to $\Delta u=-1$ in $\Omega$, vanishing on $\partial\Omega$) satisfies the following property: $\sqrt{M-u(x)}$ is convex, where $M=\max\{u(x)\,:\,x\in\overline\Omega\}$. Read More

We establish a maximum principle for a two-point function in order to analyze the convexity of level sets of harmonic functions. We show that this can be used to prove a strict convexity result involving the smallest principal curvature of the level sets. Read More

For population systems modeled by age-structured hyperbolic partial differential equations (PDEs) that are bilinear in the input and evolve with a positive-valued infinite-dimensional state, global stabilization of constant yield set points was achieved in prior work. Seasonal demands in biotechnological production processes give rise to time-varying yield references. For the proposed control objective aiming at a global attractivity of desired yield trajectories, multiple non-standard features have to be considered: a non-local boundary condition, a PDE state restricted to the positive orthant of the function space and arbitrary restrictive but physically meaningful input constraints. Read More

We continue our study of geometric analysis on (possibly non-reversible) Finsler manifolds, based on the Bochner inequality established by the author and Sturm. Following the approach of the $\Gamma$-calculus a la Bakry et al, we show the dimensional versions of the Poincare--Lichnerowicz inequality, the logarithmic Sobolev inequality, and the Sobolev inequality. In the reversible case, these inequalities were obtained by Cavalletti--Mondino in the framework of curvature-dimension condition by means of the localization method. Read More

In order to solve the Boltzmann equation numerically, in the present work, we propose a new model equation to approximate the Boltzmann equation without angular cutoff. Here the approximate equation incorporates Boltzmann collision operator with angular cut-off and the Landau collision operator. As a first step, we prove the well-posedness theory for our approximate equation. Read More

The convergence of spectra via two-scale convergence for double-porosity models is well known. A crucial assumption in these works is that the stiff component of the body forms a connected set. We show that under a relaxation of this assumption the (periodic) two-scale limit of the operator is insufficient to capture the full asymptotic spectral properties of high-contrast periodic media. Read More

A coupled system of semilinear wave equations is considered, and a small data global existence result related to the Strauss conjecture is proved. Previous results have shown that one of the powers may be reduced below the critical power for the Strauss conjecture provided the other power sufficiently exceeds such. The stability of such results under asymptotically flat perturbations of the space-time where an integrated local energy decay estimate is available is established. Read More

First the Hardy and Rellich inequalities are defined for the submarkovian operator associated with a local Dirichlet form. Secondly, two general conditions are derived which are sufficient to deduce the Rellich inequality from the Hardy inequality. In addition the Rellich constant is calculated from the Hardy constant. Read More

The well-known Ambrosetti-Prodi theorem considers perturbations of the Dirichlet Laplacian by a nonlinear function whose derivative jumps over the principal eigenvalue of the operator. Various extensions of this landmark result were obtained for self-adjoint operators, in particular by Berger and Podolak, who gave a geometrical description of the solution set. In this text we show that similar theorems are valid for non self-adjoint operators. Read More

Traveling wave solutions of (2 + 1)-dimensional Zoomeron equation(ZE) are developed in terms of exponential functions involving free parameters. It is shown that the novel Lie group of transformations method is a competent and prominent tool in solving nonlinear partial differential equations(PDEs) in mathematical physics. The similarity transformation method(STM) is applied first on (2 + 1)-dimensional ZE to find the infinitesimal generators. Read More