Boundary Control and Calderón type Inverse Problems in Non-local heat equation
Saumyajit Das
TL;DR
This work analyzes two non-local parabolic models driven by the fractional Laplacian $(-\Delta)^a$ with $a\in(1/2,1)$ and smooth potentials, focusing on density of solution spaces on an interior time-slice and on the boundary, and on Calderón-type inverse problems for recovering the potential $q$. The authors leverage the Pohozaev identity, a framework of $\mu$-transmission spaces, and dual/variational density methods to obtain both qualitative and quantitative density results, enabling reconstruction of $q$ from interior or boundary data and establishing equivalence between the two inverse problems. A key contribution is the boundary-non-vanishing property of eigenfunctions, derived via Pohozaev-type identities for an elliptic problem, which holds without restricting $a$. Collectively, the results advance nonlocal parabolic inverse problems, boundary controllability, and the utility of boundary traces in transmission-space analyses.
Abstract
We examine various density results related to the solutions of the non-local heat equation at a specific time slice, focusing on two distinct models: one with homogeneous Dirichlet boundary condition and the other with singular boundary data. In both the cases, we assume the non-local exponent $a\in(\frac{1}{2},1)$. We explore both the qualitative and quantitative aspects of the approximations. Additionally, we address Calderón-type inverse problems for these parabolic models, where we recover the potentials by analyzing the solutions either on the boundary or at a particular time slice. In both the density results and the Calderón type inverse problems, the Pohozaev identity plays a crucial role. Finally, in the last section, we apply the Pohozaev identity to a specific elliptic eigenvalue problem and demonstrate that the eigenfunctions, when divided by an appropriate power of the distance function, can not vanish on any non-empty open subset of the boundary. This particular eigenvalue problem does not need any restriction on the non-local exponent.
