Searcharxiv⌕ Search

arXiv subjects

M. I. Belishev

Publications and source records attributed to M. I. Belishev.

At least 19 recordsLinked to original sources

N-transform and factorization of the DN-map

Let $(Ω,g)$ be a smooth compact 3D Riemannian manifold with the smooth boundary $Γ$, $τ(x):={\rm dist\,}(x,Γ)$, $x\inΩ$; $Ω^τ:=\{x\inΩ\,|\,\,{\rm dist\,}(x,Γ)<τ$\}, $Γ^τ:=\{x\inΩ\,|\,\,{\rm dist\,}(x,Γ)=τ$\}, $τ\geqslant 0$. For the sake of technical simplicity, we deal with $Ω$ diffeomorphic to a ball in $\Bbb R^3$. Let $\mathscr P:=\{\nabla p\,|\,\,p\in H^1(Ω)\}$ be the space of the potential vector fields, and let $\mathscr L_λ:=\{\varkappa\nablaτ\,|\,\,\varkappa\in L_2(Ω)\}$ be the space of the vector fields parallel to $\nablaτ$. The N-transform is a map from $\mathscr P$ to $\mathscr L_λ$ defined layer-wise (in accordance with $Ω=\cup_{τ\geqslant 0}Γ^τ$) by $$ Nh\,\big|_{Γ^τ}:=(P^τh)\big|_{Γ^{τ-0}}, \qquadτ>0, $$ where $P^τ$ are the projections in $\mathscr P$ onto the subspaces $\mathscr P^τ:=\{h\in\mathscr P\,|\,\,{\rm supp\,}h\subset\overline{Ω^τ}\}$. We show that $N$ is a unitary operator. Let $p=p^f(x)$ be a solution to the Dirichlet problem: $Δ_g p=0$ in $Ω\setminusΓ$, $p=f$ on $Γ$. The DN-map $Λ$ is defined by $Λf:=-\langle\nabla p^f,\nablaτ\rangle$ on $Γ$. We show that the N-transform provides a certain factorization $Λ^{-1}=V^*V$ and discuss its possible usefulness for determination of $(Ω,g)$ from $Λ$.

math-ph↗

Functional models and self-modeling property of minimal Dirac operators on the half-line

We prove that minimal Dirac operators on the half-line are self-modeling, which means that such an operator is determined by its arbitrary unitary copy uniquely up to a transformation (shape equivalence) which changes its potential by a constant factor of modulus one. This result is obtained using the wave functional model of the minimal matrix Schrödinger operator on the half-line.

math-ph↗

On stability of triangular factorization of positive operators

Let $\mathfrak f=\{\mathscr F_s\}_{s>0}$ be a nest and $C$ a bounded positive operator in a Hilbert space $\mathscr F$. The representation $C=V^*V$ provided $V\mathscr F_s\subset\mathscr F_s$ is a triangular factorization (TF) of $C$ w.r.t. $\mathfrak f$. The factorization is stable if $C^α\underset{α\to\infty}\to C$ and $C^α=V^{α\,*}V^α$ implies $V^α\to V$. If $C$ is positive definite (isomorphism), then TF is stable. The paper deals with the case of positive but not positive definite $C$. We impose some assumptions on $C^α$ and $C$ which provide the stability of TF.

math.FA↗

Unified approach to classical equations of inverse problem theory

The boundary control (BC-) method is an approach to inverse problems based upon their deep relations to control and system theory. We show that the classical integral equations of inverse problem theory (Gelfand-Levitan, Krein and Marchenko equations) can be derived in the framework of the BC-method in a unified way. Namely, to solve each of these equations is in fact to solve a relevant boundary control problem, whereas its solution is determined by the inverse data.

math.AP↗

On an inverse problem in photoacoustic

We consider the problem of reconstruction of the Cauchy data for the wave equation in $\mathbb{R}^3$ and $\mathbb{R}^2$ by the measurements of its solution on the boundary of the unit ball.

math.AP↗

A model and characterization of a class of symmetric semibounded operators

Let $\mathcal G$ be a Hilbert space and $\mathfrak B(\mathcal G)$ the algebra of bounded operators, $\mathcal H=L_2([0,\infty);\mathcal G)$. An operator-valued function $Q\in L_{\infty,\rm loc}\left([0,\infty);\mathfrak B(\mathcal G)\right)$ determines a multiplication operator in $\mathcal H$ by $(Qy)(x)=Q(x)y(x)$, $x\geqslant0$. We say that an operator $L_0$ in a Hilbert space is a Schrödinger type operator, if it is unitarily equivalent to $-d^2/dx^2+Q(x)$ on a relevant domain. The paper provides a characterization of a class of such operators. The characterization is given in terms of properties of an evolutionary dynamical system associated with $L_0$. It provides a way to construct a functional Schrödinger model of $L_0$.

math-ph↗

Three-dimensional inverse acoustic scattering problem by the BC-method

Let $Σ:=[0,\infty)\times S^2$, $\mathscr F:=L_2(Σ)$. The {\it forward} acoustic scattering problem under consideration is to find $u=u^f(x,t)$ satisfying \begin{align} \label{Eq 01} &u_{tt}-Δu+qu=0, && (x,t) \in {\mathbb R}^3 \times (-\infty,\infty); \\ \label{Eq 02} &u \mid_{|x|<-t} =0 , && t<0;\\ \label{Eq 03} &\lim_{s \to -\infty} s\,u((-s+τ)\,ω,s)=f(τ,ω), && (τ,ω) \in Σ; \end{align} for a real valued compactly supported potential $q\in L_\infty(\Bbb R^3)$ and a control $f \in\mathscr F$. The response operator $R: \mathscr F\to\mathscr F$, \begin{align*} & (Rf)(τ,ω)\,:= \lim_{s \to +\infty} s\, u^f((s+τ)\,ω,s), \quad (τ,ω) \in Σ\end{align*} depends on $q$ {\it locally}: if $ξ>0$ and $f\in\mathscr F^ξ:=\{f\in\mathscr F\,|\,\,\,f\!\mid_{[0,ξ)}=0\}$ holds, then the values $(Rf)\!\mid_{τ\geqslantξ}$ are determined by $q\!\mid_{|x|\geqslantξ}$ (do not depend on $q\!\mid_{|x|<ξ}$). The {\it inverse problem} is: for an arbitrarily fixed $ξ>0$, to determine $q\mid_{|x|\geqslantξ}$ from $X^ξR\upharpoonright\mathscr F^ξ$, where $X^ξ$ is the projection in $\mathscr F$ onto $\mathscr F^ξ$. It is solved by a relevant version of the boundary control method. The key point of the approach are recent results on the controllability of the system (\ref{Eq 01})--(\ref{Eq 03}).

math.AP↗

On the M.Kac problem with augmented data

Let $Ω$ be a bounded plane domain. As is known, the spectrum $0<λ_1<λ_2\leqslant\dots$ of its Dirichlet Laplacian $L=-Δ{\upharpoonright}[H^2(Ω)\cap H^1_0(Ω)]$ does not determine $Ω$ (up to isometry). By this, a reasonable version of the M.Kac problem is to augment the spectrum with relevant data that provide the determination. To give the spectrum is to represent $L$ in the form $\tilde L=ΦLΦ^*={\rm diag\,}\{λ_1,λ_2,\dots\}$ in the space ${\bf l}_2$, where $Φ:L_2(Ω)\to{\bf l}_2$ is the Fourier transform. Let ${\mathscr K}=\{h\in L_2(Ω)\,|\,\,Δh=0\,\,{\rm in}\,\,Ω\}$ be the harmonic function subspace, $\tilde{\mathscr K}=Φ{\mathscr K}\subset{\bf l}_2$. We show that, in a generic case, the pair $\tilde L,\tilde {\mathscr K}$ determines $Ω$ up to isometry, what holds not only for the plain domains (drums) but for the compact Riemannian manifolds of arbitrary dimension, metric, and topology. Thus, the subspace $\tilde{\mathscr K}\subset{\bf l}_2$ augments the spectrum, making the problem uniquely solvable.

math-ph↗

Triangular factorization of operators and reconstruction of systems

The paper provides a coherent presentation of an operator scheme, which is used in an approach to inverse problems of mathematical physics (the boundary control method). The scheme is based on the triangular factorization of operators. It not only solves inverse problems but provides the functional models of a class of symmetric semi-bounded operators. The class is characterized in the terms of an evolutionary dynamical system associated with the operator.

math-ph↗

A functional model of a class of symmetric semi-bounded operators

Let $L_0$ be a closed symmetric positive definite operator with nonzero defect indices $n_\pm(L_0)$ in a separable Hilbert space ${\mathscr H}$. It determines a family of dynamical systems $α^T$, $T>0$, of the form \begin{align*} & u"(t)+L_0^*u(t) = 0 && {\rm in}\,\,\,{\mathscr H}, \,\,\,0 0$. We show that under these assumptions the operator $L_0$ is unitarily equivalent to the minimal Schrödinger operator $S_0=-D^2+q$ in ${L_2(0,\infty)}$ with a smooth real-valued potential $q$, which is in the limit point case at infinity. It is also proved that $S_0$ provides a canonical wave model of $L_0$.

math-ph↗

Wave propagation in abstract dynamical system with boundary control

Let $L_0$ be a positive definite operator in a Hilbert space $\mathscr H$ with the defect indexes $n_\pm\geqslant 1$ and let $\{{\rm Ker\,}L^*_0;Γ_1,Γ_2\}$ be its canonical (by M.I.Vishik) boundary triple. The paper deals with an evolutionary dynamical system of the form \begin{align*} & u_{tt}+{L_0^*} u=0 &&\text{in}\,\,{\mathscr H},\,\,\,t>0;\\ & u\big|_{t=0}=u_t\big|_{t=0}=0 && {\rm in}\,\,{\mathscr H};\\ & Γ_1 u=f(t), && t\geqslant 0, \end{align*} where $f$ is a boundary control (a ${\rm Ker\,}L^*_0$-valued function of time), $u=u^f(t)$ is a trajectory. Some of the general properties of such systems are considered. An abstract analog of the finiteness principle of wave propagation speed is revealed.

math.DS↗

Canonical form of $C^*$-algebra of eikonals related to the metric graph

The eikonal algebra $\mathfrak E$ of the metric graph $Ω$ is an operator $C^*$--algebra defined by the dynamical system which describes the propagation of waves generated by sources supported in the boundary vertices of $Ω$. This paper describes the canonical block form of the algebra $\mathfrak E$ of an arbitrary compact connected metric graph. Passing to this form is equivalent to constructing a functional model which realizes $\mathfrak E$ as an algebra of continuous matrix-valued functions on its spectrum $\widehat{\mathfrak{E}}$. The results are intended to be used in the inverse problem of reconstruction of the graph by spectral and dynamical boundary data. Bibliography: 28 items.

math.OA↗

Canonical forms of metric graph eikonal algebra and graph geometry

The algebra of eikonals $\mathfrak E$ of a metric graph $Ω$ is an operator $C^*$-algebra determined by dynamical system with boundary control that describes wave propagation on the graph. In this paper, two canonical block forms (algebraic and geometric) of the algebra $\mathfrak E$ are provided for an arbitrary connected locally compact graph. These forms determine some metric graphs (frames) $\mathfrak F^{\,\rm a}$ and $\mathfrak F^{\,\rm g}$. Frame $\mathfrak F^{\,\rm a}$ is determined by the boundary inverse data. Frame $\mathfrak F^{\,\rm g}$ is related to graph geometry. A class of ordinary graphs is introduced, whose frames are identical: $\mathfrak F^{\,\rm a}\equiv\mathfrak F^{\,\rm g}$. The results are supposed to be used in the inverse problem that consists in determination of the graph from its boundary inverse data.

math-ph↗

On stability of determination of Riemann surface from its DN-map

Suppose that $M$ is a Riemann surface with boundary $\partial M$, $Λ$ is its DN-map, and $\mathscr E:M\to\mathbb{C}^{n}$ % $\mathfrak{J}_{M}$ is a holomorphic immersion. Let $M'$ be diffeomorphic to $M$, $\partial M=\partial M'$; let $Λ'$ be the DN map of $M'$. Let us write $M'\in\mathbb M_t$ if $\parallelΛ'-Λ\parallel_{H^{1}(\partial M)\to L_{2}(\partial M)}\leqslant t$ holds. We show that, for any holomorphic immersion $\mathscr{E}: M \to \mathbb C^n$ ($n\geqslant 1$), the relation \begin{equation*} \sup_{M'\in \mathbb{M}_{t}}\inf_{\mathscr{E}'}d_{H}(\mathscr E'(M'),\mathscr{E}(M))\underset{t\to 0}{\longrightarrow}0, \end{equation*} holds, where $d_H$ is the Haussdorf distance in $\mathbb C^n$ and the infimum is taken over all holomorphic immersions $\mathscr E': M'\mapsto\mathbb C^n$.

math-ph↗

Toeplitz matrices in the Boundary Control method

Solving inverse problems by dynamical variant of the BC-method is basically reduced to inverting the connecting operator $C^T$ of the dynamical system, for which the problem is stated. Realizing the method numerically, one needs to invert the Gram matrix $\hat C^T=\{(C^Tf_i,f_j)\}_{i,j=1}^N$ for a representative set of controls $f_i$. To raise the accuracy of determination of the solution, one has to increase the size $N$, which, especially in the multidimensional case, leads to a rapid increase in the amount of computations. However, there is a way to reduce it by the proper choice of $f_j$, due to which the matrix $\hat C^T$ gets a specific block-Toeplitz structure. In the paper, we explain, where this property comes from, and outline a way to use it in numerical implementation of the BC-algorithms.

math.NA↗