-
On an inverse problem in photoacoustic
Authors:
M. I. Belishev,
D. Langemann,
A. S. Mikhaylov,
V. S. Mikhaylov
Abstract:
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.
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.
△ Less
Submitted 8 May, 2025;
originally announced May 2025.
-
A model and characterization of a class of symmetric semibounded operators
Authors:
M. I. Belishev,
S. A. Simonov
Abstract:
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 t…
▽ More
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$.
△ Less
Submitted 1 April, 2025;
originally announced April 2025.
-
Three-dimensional inverse acoustic scattering problem by the BC-method
Authors:
M. I. Belishev,
A. F. Vakulenko
Abstract:
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…
▽ More
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}).
△ Less
Submitted 9 September, 2024; v1 submitted 29 July, 2024;
originally announced July 2024.
-
On the M.Kac problem with augmented data
Authors:
M. I. Belishev,
A. F. Vakulenko
Abstract:
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…
▽ More
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.
△ Less
Submitted 26 May, 2024;
originally announced May 2024.
-
Triangular factorization of operators and reconstruction of systems
Authors:
M. I. Belishev
Abstract:
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…
▽ More
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.
△ Less
Submitted 29 January, 2024;
originally announced January 2024.
-
A functional model of a class of symmetric semi-bounded operators
Authors:
M. I. Belishev,
S. A. Simonov
Abstract:
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<t<T,\\ & u(0)=u'(0)=0 && {\rm in}\,\,\,{\mathscr H},\\ & Γ_1 u(t) = f(t), &&0\leqslant t \leqslant T, \end{al…
▽ More
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<t<T,\\ & u(0)=u'(0)=0 && {\rm in}\,\,\,{\mathscr H},\\ & Γ_1 u(t) = f(t), &&0\leqslant t \leqslant T, \end{align*} where $\{{\mathscr H};Γ_1,Γ_2\}$ ($Γ_{1,2}:{\mathscr H}\to{\rm Ker\,} L_0^*$) is the canonical (Vishik) boundary triple for $L_0$, $f$ is a boundary control (${\rm Ker\,} L_0^*$-valued function of $t$) and $u=u^f(t)$ is the solution (trajectory).
Let $L_0$ be completely non-self-adjoint and $n_\pm(L_0)=1$, so that $f(t)=φ(t)e$ with a scalar function $φ\in {L_2(0,T)}$ and $e\in{\rm Ker\,} L_0^*$. Let the map $W^T: φ\mapsto u^f(T)$ be such that $C^T=(W^T)^*W^T=\mathbb I+K^T$ with an integral operator $K^T$ in ${L_2(0,T)}$ which has a smooth kernel. Assume that $C^T$ an isomorphism in ${L_2(0,T)}$ for all $T>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$.
△ Less
Submitted 2 November, 2023;
originally announced November 2023.
-
Wave propagation in abstract dynamical system with boundary control
Authors:
M. I. Belishev
Abstract:
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}\,\,{\ma…
▽ More
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.
△ Less
Submitted 2 July, 2023;
originally announced July 2023.
-
Canonical form of $C^*$-algebra of eikonals related to the metric graph
Authors:
M. I. Belishev,
A. V. Kaplun
Abstract:
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…
▽ More
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.
△ Less
Submitted 10 December, 2022;
originally announced December 2022.
-
Canonical forms of metric graph eikonal algebra and graph geometry
Authors:
M. I. Belishev,
A. V. Kaplun
Abstract:
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)…
▽ More
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.
△ Less
Submitted 13 November, 2022; v1 submitted 24 October, 2022;
originally announced October 2022.
-
Stability of determination of Riemann surface from its DN-map in terms of Teichmüller distance
Authors:
M. I. Belishev,
D. V. Korikov
Abstract:
As is known, the Dirichlet-to-Neumann operator $Λ$ of a Riemannian surface $(M,g)$ determines the surface up to conformal equivalence class $[(M,g)]$. Such classes constitute the Teichmüller space with the distance ${\rm d}_T$. We show that the determination is continuous: $\|Λ-Λ'\|_{H^1(\partial M)\to L_2(\partial M)}\to 0$ implies ${\rm d}_T([(M,g)],[(M',g')])\to 0$.
As is known, the Dirichlet-to-Neumann operator $Λ$ of a Riemannian surface $(M,g)$ determines the surface up to conformal equivalence class $[(M,g)]$. Such classes constitute the Teichmüller space with the distance ${\rm d}_T$. We show that the determination is continuous: $\|Λ-Λ'\|_{H^1(\partial M)\to L_2(\partial M)}\to 0$ implies ${\rm d}_T([(M,g)],[(M',g')])\to 0$.
△ Less
Submitted 30 July, 2022;
originally announced August 2022.
-
On stability of determination of Riemann surface from its DN-map
Authors:
M. I. Belishev,
D. V. Korikov
Abstract:
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 a…
▽ More
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$.
△ Less
Submitted 26 March, 2022; v1 submitted 29 December, 2021;
originally announced December 2021.
-
Toeplitz matrices in the Boundary Control method
Authors:
M. I. Belishev,
N. A. Karazeeva
Abstract:
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…
▽ More
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.
△ Less
Submitted 8 July, 2021;
originally announced July 2021.
-
Electric Impedance Tomography problem for surfaces with internal holes
Authors:
A. V. Badanin,
M. I. Belishev,
D. V. Korikov
Abstract:
Let $(M,g)$ be a smooth compact Riemann surface with the multicomponent boundary $Γ=Γ_0\cupΓ_1\cup\dots\cupΓ_m=:Γ_0\cup\tildeΓ$. Let $u=u^f$ obey $Δu=0$ in $M$, $u|_{Γ_0}=f,\,\,u|_{\tildeΓ}=0$ (the grounded holes) and $v=v^h$ obey $Δv=0$ in $M$, $v|_{Γ_0}=h,\,\,\partial_νv|_{\tildeΓ}=0$ (the isolated holes). Let $Λ_{g}^{\rm gr}: f\mapsto\partial_νu^f|_{Γ_{0}}$ and…
▽ More
Let $(M,g)$ be a smooth compact Riemann surface with the multicomponent boundary $Γ=Γ_0\cupΓ_1\cup\dots\cupΓ_m=:Γ_0\cup\tildeΓ$. Let $u=u^f$ obey $Δu=0$ in $M$, $u|_{Γ_0}=f,\,\,u|_{\tildeΓ}=0$ (the grounded holes) and $v=v^h$ obey $Δv=0$ in $M$, $v|_{Γ_0}=h,\,\,\partial_νv|_{\tildeΓ}=0$ (the isolated holes). Let $Λ_{g}^{\rm gr}: f\mapsto\partial_νu^f|_{Γ_{0}}$ and $Λ_{g}^{\rm is}: h\mapsto\partial_νv^h|_{Γ_{0}}$ be the corresponding DN-maps. The EIT problem is to determine $M$ from $Λ_{g}^{\rm gr}$ or $Λ_{g}^{\rm is}$.
To solve it, an algebraic version of the BC-method is applied. The main instrument is the algebra of holomorphic functions on the ma\-ni\-fold ${\mathbb M}$, which is obtained by gluing two examples of $M$ along $\tildeΓ$. We show that this algebra is determined by $Λ_{g}^{\rm gr}$ (or $Λ_{g}^{\rm is}$) up to isometric isomorphism. Its Gelfand spectrum (the set of characters) plays the role of the material for constructing a relevant copy $(M',g',Γ_{0}')$ of $(M,g,Γ_{0})$. This copy is conformally equivalent to the original, provides $Γ_{0}'=Γ_{0},\,\,Λ_{g'}^{\rm gr}=Λ_{g}^{\rm gr},\,\,Λ_{g'}^{\rm is}=Λ_{g}^{\rm is}$, and thus solves the problem.
△ Less
Submitted 15 April, 2021;
originally announced April 2021.
-
On characterization of Dirichlet-to-Neumann map of Riemannian surface with boundary
Authors:
M. I. Belishev,
D. V. Korikov
Abstract:
Let $(M,g)$ be a smooth compact orientable two-dimensional Riemannian manifold ({\it surface}) with a smooth metric tensor $g$ and smooth connected boundary $Γ$. Its {\it DN-map} $Λ_g:{C^\infty}(Γ)\to{C^\infty}(Γ)$ is associated with the (forward) elliptic problem $ Δ_gu=0 \,\,\, {\rm in}\,\,M\setminusΓ,\,\,u=f \,\,\, {\rm on}\,\,\,Γ$, and acts by…
▽ More
Let $(M,g)$ be a smooth compact orientable two-dimensional Riemannian manifold ({\it surface}) with a smooth metric tensor $g$ and smooth connected boundary $Γ$. Its {\it DN-map} $Λ_g:{C^\infty}(Γ)\to{C^\infty}(Γ)$ is associated with the (forward) elliptic problem $ Δ_gu=0 \,\,\, {\rm in}\,\,M\setminusΓ,\,\,u=f \,\,\, {\rm on}\,\,\,Γ$, and acts by
$ Λ_g f:=\partial_νu^f \,\,\, {\rm on}\,\,\,Γ,
$ where $Δ_g$ is the Beltrami-Laplace operator, $u=u^f(x)$ is the solution, $ν$ is the outward normal to $Γ$. The corresponding {\it inverse problem} is to determine the surface $(M,g)$ from its DN-map $Λ_g$.
We provide the necessary and sufficient conditions on an operator acting in ${C^\infty}(Γ)$ to be the DN-map of a surface. In contrast to the known conditions by G.Henkin and V.Michel in terms of multidimensional complex analysis, our ones are based on the connections of the inverse problem with commutative Banach algebras.
△ Less
Submitted 5 March, 2021;
originally announced March 2021.
-
On the EIT problem for nonorientable surfaces
Authors:
M. I. Belishev,
D. V. Korikov
Abstract:
Let $(Ω,g)$ be a smooth compact two-dimensional Riemannian manifold with boundary, $Λ_g: f\mapsto \partial_νu|_{\partialΩ}$ its DN map, where $u$ obeys $Δ_g u=0$ in $Ω$ and $u|_{\partial Ω}=f$. The Electric Impedance Tomography problem is to determine $Ω$ from $Λ_g$.
A criterion is proposed that enables one to detect (via $Λ_g$) whether $Ω$ is orientable or not.
The algebraic version of the BC…
▽ More
Let $(Ω,g)$ be a smooth compact two-dimensional Riemannian manifold with boundary, $Λ_g: f\mapsto \partial_νu|_{\partialΩ}$ its DN map, where $u$ obeys $Δ_g u=0$ in $Ω$ and $u|_{\partial Ω}=f$. The Electric Impedance Tomography problem is to determine $Ω$ from $Λ_g$.
A criterion is proposed that enables one to detect (via $Λ_g$) whether $Ω$ is orientable or not.
The algebraic version of the BC-method is applied to solve the EIT problem for the Moebius band. The main instrument is the algebra of holomorphic functions on the double covering ${\mathbb M}$ of $M$, which is determined by $Λ_g$ up to an isometric isomorphism. Its Gelfand spectrum (the set of characters) plays the role of the material for constructing a relevant copy $(M',g')$ of $(M,g)$. This copy is conformally equivalent to the original, provides $\partial M'=\partial M,\,\,Λ_{g'}=Λ_g$, and thus solves the problem.
△ Less
Submitted 17 September, 2020;
originally announced September 2020.
-
On an evolutionary dynamical system of the first order with boundary control
Authors:
M. I. Belishev,
S. A. Simonov
Abstract:
The work is carried out as part of the program to construct a new functio\-nal (so-called {\it wave}) model of symmetric operators. It is shown that an abstract evolutionary dynamic system of the first order (with respect to time) with boundary control, which is determined by a symmetric operator $L_0:{\mathscr H}\to{\mathscr H}$, is controllable if and only if $L_0$ has no maximal symmetric parts…
▽ More
The work is carried out as part of the program to construct a new functio\-nal (so-called {\it wave}) model of symmetric operators. It is shown that an abstract evolutionary dynamic system of the first order (with respect to time) with boundary control, which is determined by a symmetric operator $L_0:{\mathscr H}\to{\mathscr H}$, is controllable if and only if $L_0$ has no maximal symmetric parts in~${\mathscr H}$.
△ Less
Submitted 27 June, 2020;
originally announced June 2020.
-
Eikonal algebra on a graph of simple structure
Authors:
M. I. Belishev,
A. V. Kaplun
Abstract:
An eikonal algebra ${\mathfrak E}(Ω)$ is a C*-algebra related to a metric graph $Ω$. It is determined by trajectories and reachable sets of a dynamical system associated with the graph. The system describes the waves, which are initiated by boundary sources (controls) and propagate into the graph with finite velocity. Motivation and interest to eikonal algebras comes from the inverse problem of re…
▽ More
An eikonal algebra ${\mathfrak E}(Ω)$ is a C*-algebra related to a metric graph $Ω$. It is determined by trajectories and reachable sets of a dynamical system associated with the graph. The system describes the waves, which are initiated by boundary sources (controls) and propagate into the graph with finite velocity. Motivation and interest to eikonal algebras comes from the inverse problem of reconstruction of the graph via its dynamical and/or spectral boundary data. Algebra ${\mathfrak E}(Ω)$ is determined by these data. In the mean time, its structure and algebraic invariants (irreducible representations) are connected with topology of $Ω$. We demonstrate such connections and study ${\mathfrak E}(Ω)$ by the example of $Ω$ of a simple structure. Hopefully, in future, these connections will provide an approach to reconstruction.
△ Less
Submitted 18 March, 2020;
originally announced March 2020.
-
The wave model of metric spaces
Authors:
M. I. Belishev,
S. A. Simonov
Abstract:
Let $Ω$ be a metric space, $A^t$ denote the metric neighborhood of the set $A\subsetΩ$ of the radius $t$; ${\mathfrak O}$ be the lattice of open sets in $Ω$ with the partial order $\subseteq$ and the order convergence. The lattice of $\mathfrak O$-valued functions of $t\in(0,\infty)$ with the point-wise partial order and convergence contains the family…
▽ More
Let $Ω$ be a metric space, $A^t$ denote the metric neighborhood of the set $A\subsetΩ$ of the radius $t$; ${\mathfrak O}$ be the lattice of open sets in $Ω$ with the partial order $\subseteq$ and the order convergence. The lattice of $\mathfrak O$-valued functions of $t\in(0,\infty)$ with the point-wise partial order and convergence contains the family ${I\mathfrak O}=\{A(\cdot)\,|\,\,A(t)=A^t,\,\,A\in{\mathfrak O}\}$. Let $\widetildeΩ$ be the set of atoms of the order closure $\overline{I\mathfrak O}$. We describe a class of spaces for which the set $\widetildeΩ$, equipped with an appropriate metric, is isometric to the original space $Ω$.
The space $\widetildeΩ$ is the key element of the construction of the wave spectrum of a symmetric operator semi-bounded from below, which was introduced in a work of one of the authors. In that work, a program of constructing a functional model of operators of the aforementioned class was devised. The present paper is a step in realization of this program.
△ Less
Submitted 10 January, 2019;
originally announced January 2019.
-
Local boundary controllability in classes of differentiable functions for the wave equation
Authors:
M. I. Belishev
Abstract:
The well-known fact following from the Holmgren-John-Tataru uniqueness theorem is a local approximate boundary $L_2$-controllability of the dynamical system governed by the wave equation. Generalizing this result, we establish the controllability in certain classes of differentiable functions in the domains filled up with waves.
The well-known fact following from the Holmgren-John-Tataru uniqueness theorem is a local approximate boundary $L_2$-controllability of the dynamical system governed by the wave equation. Generalizing this result, we establish the controllability in certain classes of differentiable functions in the domains filled up with waves.
△ Less
Submitted 3 August, 2017;
originally announced August 2017.
-
On algebras of three-dimensional quaternionic harmonic fields
Authors:
M. I. Belishev
Abstract:
A quaternionic field is a pair $p=\{α,u\}$ of function $α$ and vector field $u$ given on a 3d Riemannian maifold $Ω$ with the boundary. The field is said to be harmonic if $\nabla α={\rm rot\,}u$\, in $Ω$. The linear space of harmonic fields is not an algebra w.r.t. quaternion multiplication. However, it may contain the commutative algebras, what is the subject of the paper. Possible application o…
▽ More
A quaternionic field is a pair $p=\{α,u\}$ of function $α$ and vector field $u$ given on a 3d Riemannian maifold $Ω$ with the boundary. The field is said to be harmonic if $\nabla α={\rm rot\,}u$\, in $Ω$. The linear space of harmonic fields is not an algebra w.r.t. quaternion multiplication. However, it may contain the commutative algebras, what is the subject of the paper. Possible application of these algebras to the impedance tomography problem is touched on.
△ Less
Submitted 8 January, 2017; v1 submitted 25 November, 2016;
originally announced November 2016.
-
On a calculus of variations problem
Authors:
Mikhail I. Belishev,
Aleksandr V. Ivanov
Abstract:
The paper is of scientific-methodical character. The classical soap film shape (minimal surface) problem is considered, the film being stretched between two parallel coaxial rings. An analytical approach based on relations to the Sturm-Liouville problem is proposed. An energy terms interpretation of the classical Goldschmidt condition is discussed. Appearance of the soliton potential in course of…
▽ More
The paper is of scientific-methodical character. The classical soap film shape (minimal surface) problem is considered, the film being stretched between two parallel coaxial rings. An analytical approach based on relations to the Sturm-Liouville problem is proposed. An energy terms interpretation of the classical Goldschmidt condition is discussed. Appearance of the soliton potential in course of the second variation analysis is noticed.
△ Less
Submitted 18 March, 2016;
originally announced March 2016.
-
Non-smooth unobservable states in control problem for the wave equation in ${\mathbb R}^3$ (corrected)
Authors:
M. I. Belishev,
A. F. Vakulenko
Abstract:
The paper deals with a dynamical system \begin{align*} &u_{tt}-Δu=0, \qquad (x,t) \in {\mathbb R}^3 \times (-\infty,0) \\ &u \mid_{|x|<-t} =0 , \qquad t<0\\ &\lim_{s \to \infty} su((s+τ)ω,-s)=f(τ,ω), \qquad (τ,ω) \in [0,\infty)\times S^2\,, \end{align*} where $u=u^f(x,t)$ is a solution ({\it wave}), $f \in {\cal F} :=L_2\left([0,\infty);L_2\left(S^2\right)\right)$ is a {\it control}. For the reach…
▽ More
The paper deals with a dynamical system \begin{align*} &u_{tt}-Δu=0, \qquad (x,t) \in {\mathbb R}^3 \times (-\infty,0) \\ &u \mid_{|x|<-t} =0 , \qquad t<0\\ &\lim_{s \to \infty} su((s+τ)ω,-s)=f(τ,ω), \qquad (τ,ω) \in [0,\infty)\times S^2\,, \end{align*} where $u=u^f(x,t)$ is a solution ({\it wave}), $f \in {\cal F} :=L_2\left([0,\infty);L_2\left(S^2\right)\right)$ is a {\it control}. For the reachable sets ${\cal U}^ξ:=\{u^f(\cdot, -ξ)\,|\,\, f \in {\cal F}\}\,\,(ξ\geqslant 0)$, the embedding ${\cal U}^ξ\subset {\cal H}^ξ:=\{y \in L_2({\mathbb R}^3)\,|\,\,\,y|_{|x|<ξ}=0\}$ holds, whereas the subspaces ${\cal D}^ξ:={\cal H}^ξ\ominus {\cal U}^ξ$ of unreachable ({\it unobservable}) states are nonzero for $ξ> 0$. There was a conjecture motivated by some geometrical optics arguments that the elements of ${\cal D}^ξ$ are $C^\infty$-smooth with respect to $|x|$. We provide rather unexpected counterexamples of $h\in {\cal D}^ξ$ with ${\rm sing\,supp\,}h \subset \{x\in{\mathbb R}^3|\,\,|x|=ξ_0>ξ\}$.
△ Less
Submitted 24 November, 2013;
originally announced November 2013.
-
A C*-algebra associated with dynamics on a graph of strings
Authors:
M. I. Belishev,
N. Wada
Abstract:
A C*-algebra $\mathfrak E$ associated with a dynamical system on a metric graph is introduced. The system is governed by the wave equation and controlled from boundary vertices. Algebra $\mathfrak E$ is generated by the so-called {\it eikonals}, which are self-adjoint operators related with reachable sets of the system. Its structure is the main subject of the paper. We show that $\mathfrak E$ is…
▽ More
A C*-algebra $\mathfrak E$ associated with a dynamical system on a metric graph is introduced. The system is governed by the wave equation and controlled from boundary vertices. Algebra $\mathfrak E$ is generated by the so-called {\it eikonals}, which are self-adjoint operators related with reachable sets of the system. Its structure is the main subject of the paper. We show that $\mathfrak E$ is a direct sum of "elementary blocks". Each block is an algebra of operators multiplying ${\mathbb R}^n$-valued functions by continuous matrix-valued functions of special kind. The eikonal algebra is determined by the boundary inverse data. This shows promise of its possible applications to inverse problems.
△ Less
Submitted 24 July, 2013; v1 submitted 17 June, 2013;
originally announced June 2013.
-
Elements of noncommutative geometry in inverse problems on manifolds
Authors:
M. I. Belishev,
M. N. Demchenko
Abstract:
We deal with two dynamical systems associated with a Riemannian manifold with boundary. The first one is a system governed by the scalar wave equation, the second is governed by the Maxwell equations. Both of the systems are controlled from the boundary. The inverse problem is to recover the manifold via the relevant measurements at the boundary (inverse data).
We show that the inverse data dete…
▽ More
We deal with two dynamical systems associated with a Riemannian manifold with boundary. The first one is a system governed by the scalar wave equation, the second is governed by the Maxwell equations. Both of the systems are controlled from the boundary. The inverse problem is to recover the manifold via the relevant measurements at the boundary (inverse data).
We show that the inverse data determine a C*-algebras, whose (topologized) spectra are identical to the manifold. By this, to recover the manifold is to determine a proper algebra from the inverse data, find its spectrum, and provide the spectrum with a Riemannian structure.
The paper develops an algebraic version of the boundary control method, which is an approach to inverse problems based on their relations to control theory.
△ Less
Submitted 13 June, 2013;
originally announced June 2013.
-
C*-algebras and inverse problem of electrodynamics
Authors:
M. I. Belishev,
M. N. Demchenko
Abstract:
We consider the dynamical inverse problem for the Maxwell system on a Riemannian 3-manifold with boundary in a time-optimal set-up. Using BC-method we show that the data of the inverse problem (electromagnetic measurements on the boundary) determine a $C$*-algebra, which has a spectrum homeomorphic to a part of the manifold. This part depends on the duration of measurements.
We consider the dynamical inverse problem for the Maxwell system on a Riemannian 3-manifold with boundary in a time-optimal set-up. Using BC-method we show that the data of the inverse problem (electromagnetic measurements on the boundary) determine a $C$*-algebra, which has a spectrum homeomorphic to a part of the manifold. This part depends on the duration of measurements.
△ Less
Submitted 31 May, 2012;
originally announced May 2012.
-
Time-optimal reconstruction of Riemannian manifold via boundary electromagnetic measurements
Authors:
M. I. Belishev,
M. N. Demchenko
Abstract:
A dynamical Maxwell system is \begin{align*} & e_t={\rm curl\,} h, \quad h_t=-{\rm curl\,} e &&{\rm in}\,\,Ω\times (0,T) & e|_{t=0}=0,\,\,\,\,h|_{t=0}=0 &&{\rm in}\,\,Ω & e_θ=f &&{\rm in}\,\,\, \partialΩ\times [0,T] \end{align*} where $Ω$ is a smooth compact oriented $3$-dimensional Riemannian manifold with boundary, $(\,\cdot\,)_θ$ is a tangent component of a vector at the boundary, $e=e^f(x,t)$…
▽ More
A dynamical Maxwell system is \begin{align*} & e_t={\rm curl\,} h, \quad h_t=-{\rm curl\,} e &&{\rm in}\,\,Ω\times (0,T) & e|_{t=0}=0,\,\,\,\,h|_{t=0}=0 &&{\rm in}\,\,Ω & e_θ=f &&{\rm in}\,\,\, \partialΩ\times [0,T] \end{align*} where $Ω$ is a smooth compact oriented $3$-dimensional Riemannian manifold with boundary, $(\,\cdot\,)_θ$ is a tangent component of a vector at the boundary, $e=e^f(x,t)$ and $h=h^f(x,t)$ are the electric and magnetic components of the solution. With the system one associates a response operator $R^T: f \mapsto -ν\wedge h^f|_{\partialΩ\times (0,T)}$, where $ν$ is an outward normal to $\partialΩ$.
The time-optimal setup of the inverse problem, which is relevant to the finiteness of the wave speed propagation, is: given $R^{2T}$ to recover the part $Ω^T:=\{x\in Ω\,|\,{\rm dist\,}(x,\partial Ω)<T\}$ of the manifold. As was shown by Belishev, Isakov, Pestov, Sharafutdinov (2000), for {\it small enough} $T$ the operator $R^{2T}$ determines $Ω^T$ uniquely up to isometry.
Here we prove that uniqueness holds for {\it arbitrary} $T>0$ and provide a procedure that recovers ${Ω^T}$ from $R^{2T}$. Our approach is a version of the boundary control method (Belishev, 1986).
△ Less
Submitted 29 January, 2011;
originally announced January 2011.
