On a stability of time-optimal version of the Boundary Control method

Abstract

Let $Ω$ be a Riemannian manifold with boundary. The time-optimal version of the BC-method determines the parameters in the $T$-neigh\-bor\-hood $Ω^T$ of $\partialΩ$ from the boundary observations (response operator) $R^{2T}$ on the time segment $[0,2T]$. It visualizes the invisible waves supported in $Ω^T$, by reconstructing the operator $W^T$ that creates these waves. The visualization is based on the triangular factorization of the operator $C^T:=W^{T\,*}W^T$ in the form $C^T:=F^{T\,*}F^T$ with a factor $F^T=U^{T}W^T$, where $U^T$ is a unitary operator. The factorization $C^T\mapsto F^T$ has certain continuity properties, due to which the time-optimal reconstruction $R^{2T}\mapsto C^T\mapsto F^T\mapsto W^T$ turns out to be continuous (stable) in the sense of relevant operator topologies (convergences). As an example, determination of the potential $q$ in the wave equation $u_{tt}-Δu+qu=0$ from $R^{2T}$ is considered. We show that $R^{2T}_j\to R^{2T}$ implies $q_j\to q$ in $H^{-2}(Ω^T)$. However, the question of quantitative estimates of stability (the rate of convergence) remains open.

Theorems & Definitions (10)

• Lemma 1
• proof
• Lemma 2
• proof
• Theorem 1
• Proposition 1
• Proposition 2
• Proposition 3
• Lemma 3
• proof