BZPEER

preprint2022arXiv

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$ .

preprint2022arXiv

Stability of determination of Riemann surface from its DN-map in terms of Teichmüller distance

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$ .

preprint2021arXiv

On characterization of Dirichlet-to-Neumann map of Riemannian surface with boundary

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.

preprint2020arXiv

On an evolutionary dynamical system of the first order with boundary control

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}$ .

preprint2020arXiv

On the EIT problem for nonorientable surfaces

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.

preprint2016arXiv

The reconstruction of sound speed in the Marmousi model by the boundary control method

We present the results on numerical testing of the Boundary Control Method in the sound speed determination for the acoustic equation on semiplane. This method for solving multidimensional inverse problems requires no a priory information about the parameters under reconstruction. The application to the realistic Marmousi model demonstrates that the boundary control method is workable in the case of complicated and irregular field of acoustic rays. By the use of the chosen boundary controls, an `averaged' profile of the sound speed is recovered (the relative error is about $10-15\%$ ). Such a profile can be further utilized as a starting approximation for high resolution iterative reconstruction methods.

preprint2015arXiv

Numerical testing in determination of sound speed from a part of boundary by the BC-method

We present the results of numerical testing on determination of the sound speed $c$ in the acoustic equation $u_{tt}-c^2Δu=0$ by the ${\it boundary}$ ${control}$ ${method}$ . The inverse data is a response operator (a hyperbolic Dirichlet-to-Neumann map) given on controls, which are supported on ${\it a part}$ of the boundary. The speed is determined in the subdomain covered by acoustic rays, which are emanated from the points of this part orthogonally to the boundary. The determination is ${\it time-optimal}$ : the longer is the observation time, the larger is the subdomain, in which $c$ is recovered. The numerical results are preceded with brief exposition of the relevant variant of the BC-method.

preprint2013arXiv

A C*-algebra associated with dynamics on a graph of strings

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.

preprint2013arXiv

Elements of noncommutative geometry in inverse problems on manifolds

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.

preprint2013arXiv

Non-smooth unobservable states in control problem for the wave equation in ${\mathbb R}^3$ (corrected)

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>ξ\}$ .

preprint2012arXiv

A unitary invariant of semi-bounded operator in reconstruction of manifolds

With a densely defined symmetric semi-bounded operator of nonzero defect indexes $L_0$ in a separable Hilbert space ${\cal H}$ we associate a topological space $Ω_{L_0}$ ({\it wave spectrum}) constructed from the reachable sets of a dynamical system governed by the equation $u_{tt}+(L_0)^*u=0$ . Wave spectra of unitary equivalent operators are homeomorphic. In inverse problems, one needs to recover a Riemannian manifold $Ω$ via dynamical or spectral boundary data. We show that for a generic class of manifolds, $Ω$ is isometric to the wave spectrum $Ω_{L_0}$ of the minimal Laplacian $L_0=-Δ|_{C^\infty_0(Ω\backslash \partial Ω)}$ acting in ${\cal H}=L_2(Ω)$ , whereas $L_0$ is determined by the inverse data up to unitary equivalence. Hence, the manifold can be recovered (up to isometry) by the scheme `data $\Rightarrow L_0 \Rightarrow Ω_{L_0} \overset{\rm isom}= Ω$ '. The wave spectrum is relevant to a wide class of dynamical systems, which describe the finite speed wave propagation processes. The paper elucidates the operator background of the boundary control method (Belishev`1986), which is an approach to inverse problems based on their relations to control theory.

preprint2012arXiv

C*-algebras and inverse problem of electrodynamics

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.

preprint2012arXiv

Dynamical System with Boundary Control Associated with Symmetric Semi-Bounded Operator

Let $L_0$ be a closed densely defined symmetric semi-bounded operator with nonzero defect indexes in a separable Hilbert space $\cal H$ . It determines a {\it Green system} $\{{\cal H}, {\cal B}; L_0, Γ_1, Γ_2\}$ , where ${\cal B}$ is a Hilbert space, and $Γ_i: {\cal H} \to \cal B$ are the operators related through the Green formula $(L_0^*u, v)_{\cal H}-(u,L_0^*v)_{\cal H}=(Γ_1 u, Γ_2 v)_{\cal B} - (Γ_2 u, Γ_1 v)_{\cal B}.$ The {\it boundary operators} $Γ_i$ are chosen canonically in the framework of the Vishik theory. With the Green system one associates a {\it dynamical system with boundary control} (DSBC) {align*} & u_{tt}+L_0^*u = 0 && {\rm in}\,\,\,{\cal H}, \,\,\,t>0 & u|_{t=0}=u_t|_{t=0}=0 && {\rm in}\,\,\,{\cal H} & Γ_1 u = f && {\rm in}\,\,\,{\cal B},\,\,\,t \geqslant 0. {align*} We show that this system is {\it controllable} if and only if the operator $L_0$ is completely non-self-adjoint. A version of the notion of a {\it wave spectrum} of $L_0$ is introduced. It is a topological space determined by $L_0$ and constructed from reachable sets of the DSBC.

preprint2011arXiv

Time-optimal reconstruction of Riemannian manifold via boundary electromagnetic measurements

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).

preprint2010arXiv

An unitary invariant of semi-bounded operator and its application to inverse problems

Let $L_0$ be a closed densely defined symmetric semi-bounded operator with nonzero defect indexes in a separable Hilbert space ${\cal H}$ . With $L_0$ we associate a metric space $Ω_{L_0}$ that is named a {\it wave spectrum} and constructed from trajectories $\{u(t)\}_{t \geq 0}$ of a dynamical system governed by the equation $u_{tt}+(L_0)^*u=0$ . The wave spectrum is introduced through a relevant von Neumann operator algebra associated with the system. Wave spectra of unitary equivalent operators are isometric. In inverse problems on {\it unknown} manifolds, one needs to recover a Riemannian manifold $Ω$ via dynamical or spectral boundary data. We show that for a generic class of manifolds, $Ω$ is {\it isometric} to the wave spectrum $Ω_{L_0}$ of the minimal Laplacian $L_0=-Δ|_{C^\infty_0(Ω\backslash \partial Ω)}$ acting in ${\cal H}=L_2(Ω)$ , whereas $L_0$ is determined by the inverse data up to unitary equivalence. By this, one can recover the manifold by the scheme "the data $\Rightarrow L_0 \Rightarrow Ω_{L_0} \overset{\rm isom}= Ω$ ". The wave spectrum is relevant to a wide class of dynamical systems, which describe the finite speed wave propagation processes. The paper elucidates the operator background of the boundary control method (Belishev, 1986) based on relations of inverse problems to system and control theory.

M. I. Belishev

Research overview

Is this your work?

15 publications

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

Stability of determination of Riemann surface from its DN-map in terms of Teichmüller distance

On characterization of Dirichlet-to-Neumann map of Riemannian surface with boundary

On an evolutionary dynamical system of the first order with boundary control

On the EIT problem for nonorientable surfaces

The reconstruction of sound speed in the Marmousi model by the boundary control method

Numerical testing in determination of sound speed from a part of boundary by the BC-method

A C*-algebra associated with dynamics on a graph of strings

Elements of noncommutative geometry in inverse problems on manifolds

Non-smooth unobservable states in control problem for the wave equation in ${\mathbb R}^3$ (corrected)

A unitary invariant of semi-bounded operator in reconstruction of manifolds

C*-algebras and inverse problem of electrodynamics

Dynamical System with Boundary Control Associated with Symmetric Semi-Bounded Operator

Time-optimal reconstruction of Riemannian manifold via boundary electromagnetic measurements

An unitary invariant of semi-bounded operator and its application to inverse problems

See the researcher in context

Building this map preview

M. I. Belishev

Research overview

Is this your work?

15 publications

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

Stability of determination of Riemann surface from its DN-map in terms of Teichmüller distance

On characterization of Dirichlet-to-Neumann map of Riemannian surface with boundary

On an evolutionary dynamical system of the first order with boundary control

On the EIT problem for nonorientable surfaces

The reconstruction of sound speed in the Marmousi model by the boundary control method

Numerical testing in determination of sound speed from a part of boundary by the BC-method

A C*-algebra associated with dynamics on a graph of strings

Elements of noncommutative geometry in inverse problems on manifolds

Non-smooth unobservable states in control problem for the wave equation in R3{\mathbb R}^3R3 (corrected)

A unitary invariant of semi-bounded operator in reconstruction of manifolds

C*-algebras and inverse problem of electrodynamics

Dynamical System with Boundary Control Associated with Symmetric Semi-Bounded Operator

Time-optimal reconstruction of Riemannian manifold via boundary electromagnetic measurements

An unitary invariant of semi-bounded operator and its application to inverse problems

See the researcher in context

Building this map preview

Non-smooth unobservable states in control problem for the wave equation in ${\mathbb R}^3$ (corrected)