A remark on the reconstruction formula of the support function for the magnetic Schrödinger operator (Q6115686)

From MaRDI portal
scientific article; zbMATH DE number 7725244
Language Label Description Also known as
English
A remark on the reconstruction formula of the support function for the magnetic Schrödinger operator
scientific article; zbMATH DE number 7725244

    Statements

    A remark on the reconstruction formula of the support function for the magnetic Schrödinger operator (English)
    0 references
    0 references
    10 August 2023
    0 references
    We consider the magnetic Schrödinger equation \[ (\mathsf{D}_{A}^{2} + q_{0})u = 0, \] where \(\mathsf{D}_{A}^{2} := \sum_{j=1}^{n} \mathsf{D}_{A,j}(\mathsf{D}_{A,j}u)\) and \(\mathsf{D}_{A,j}:= \frac{1}{\mathbf{i}}\partial_{j} + A_{j}\). Let \(\Omega\) be a bounded smooth domain in \(\mathbb{R}^{n}\) (\(n=2,3\)). If zero is not an eigenvalue, then one can (formally) define the Dirichlet-to-Neumann map (DN-map) by \[ \Lambda_{q_{0}}f := \left. \partial_{\nu}u \right|_{\partial\Omega}, \] where \(\nu\) is the unit outward normal vector, \(\partial_{\nu}=\nu\cdot\nabla\) and \(u\) is the unique solution to \[ (\mathsf{D}_{A}^{2} + q_{0})u = 0 \text{ in }\Omega ,\quad u|_{\partial\Omega} = f. \] The main theme of this paper is to study the following two inverse problems by using Ikehata's enclosure method. {First inverse problem.} Let \(D\) be an open set with \(C^{2}\) boundary, consists of the union of disjoint bounded domains, satisfying \(\overline{D}\subset\Omega\) such that \(\Omega\setminus\overline{D}\) is connected. Let \(\lambda = \lambda(x)\) be a given function on \(\partial D\). If zero is not an eigenvalue, one can also (formally) define the corresponding DN-map by \[ \Lambda_{q_{0},D}^{\mathrm{(R)}}f := \left. \partial_{\nu}v \right|_{\partial\Omega}, \] where \(v\) is the unique solution to \[ (\mathsf{D}_{A}^{2} + q_{0})v = 0 \text{ in }\Omega\setminus\overline{D} ,\quad \left.(\nu\cdot(\nabla+\mathbf{i}A)v+\lambda v)\right|_{\partial D} = 0 ,\quad v|_{\partial\Omega} = f. \] In Theorem~1.6, the author gives a formula to reconstruct the \textit{convex hull} of the (impenerable Robin) obstacle \(D\) by comparing the boundary measurement without obstacle \(\Lambda_{q_{0}}\) and the boundary measurement with obstacle \(\Lambda_{q_{0},D}^{\mathrm{(R)}}\). {Second inverse problem.} Now we consider the situation when the (impenetrable) obstacle is absent. Let \(q \in L^{\infty}(\Omega)\) be a perturbation on \(q_{0}\) with some suitable contrast. Such perturbation \(q\) also can be viewed as a penetrable obstacle. In Theorem 1.13, the author gives a formula to reconstruct the \textit{convex hull} of the support of \(q\) by comparing the ``true'' boundary measurement \(\Lambda_{q_{0}}\) and the ``perturbed'' boundary measurement \(\Lambda_{q_{0}+q}\).
    0 references
    0 references
    inverse boundary value problem
    0 references
    enclosure method
    0 references
    magnetic Schrödinger operator
    0 references
    Dirichlet-to-Neumann map
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references