Searcharxiv⌕ Search

arXiv subjects

Vitaly Katsnelson

Publications and source records attributed to Vitaly Katsnelson.

12 recordsLinked to original sources
arXiv2025

Principal spectral rigidity implies subprincipal spectral rigidity

We study the inverse spectral problem of jointly recovering a radially symmetric Riemannian metric and an additional coefficient from the Dirichlet spectrum of a perturbed Laplace-Beltrami operator on a bounded domain. Specifically, we consider the elliptic operator \[ L_{a,b} := e^{a-b} \nabla \cdot e^b \nabla \] on the unit ball $ B \subset \mathbb{R}^3 $, where the scalar functions $ a = a(|x|) $ and $ b = b(|x|) $ are spherically symmetric and satisfy certain geometric conditions. While the function $ a $ influences the principal symbol of $ L $, the function $ b $ appears in its first-order terms. We investigate the extent to which the Dirichlet eigenvalues of $ L_{a,b} $ uniquely determine the pair $ (a, b) $ and establish spectral rigidity results under suitable assumptions.

math.AP↗
arXiv2024

Recovery of piecewise smooth parameters in an acoustic-gravitational system of equations from exterior Cauchy data

In this paper, we study an inverse problem for an acoustic-gravitational system whose principal symbol is identical to that of an acoustic wave operator. The displacement vector of a gas or liquid between the unperturbed and perturbed flow is denoted by $u(t,x)$. It satisfies a partial differential equation (PDE) system with a principal symbol corresponding to an acoustic wave operator, but with additional terms to account for a global gravitational field and self-gravitation. These factors make the operator nonlocal, as it depends on the wave speed and density of mass. We assume that all parameters are piecewise smooth in $\mathbb{R}^3$ (i.e., smooth everywhere except for jump discontinuities across closed hypersurfaces called interfaces) but unknown inside a bounded domain $Ω$. We are given the solution operator for this acoustic-gravitational system, but only outside $Ω$ and only for initial data supported outside $Ω$. Using high-frequency waves, we prove that the piecewise smooth wave speed and density are uniquely determined by this map under certain geometric conditions.

math.AP↗
arXiv2023

Spherically symmetric terrestrial planets with discontinuities are spectrally rigid

We establish spectral rigidity for spherically symmetric manifolds with boundary and interior interfaces determined by discontinuities in the metric under certain conditions. Rather than a single metric, we allow two distinct metrics in between the interfaces enabling the consideration of two wave types, like P- and S-polarized waves in isotropic elastic solids. Terrestrial planets in our solar system are approximately spherically symmetric and support toroidal and spheroidal modes. Discontinuities typically correspond with phase transitions in their interiors. Our rigidity result applies to such planets as we ensure that our conditions are satisfied in generally accepted models in the presence of a fluid outer core. The proof is based on a novel trace formula. We also prove that the length spectrum of the Euclidean ball is simple.

math.AP↗
arXiv2022

Recovery of piecewise smooth density and Lamé parameters from high-frequency exterior Cauchy data

We consider an isotropic elastic medium occupying a bounded domain D whose density and Lamé parameters are piecewise smooth. In the elastic wave initial value inverse problem, we are given the solution operator for the elastic wave equation, but only outside the domain D and only for initial data supported outside D, and we study the recovery of the density and Lamé parameters. For known density, results have recently been obtained using the scattering control method to recover wave speeds. Here, we extend this result to include the recovery of the density in addition to the Lamé parameters under certain geometric conditions using techniques from microlocal analysis and a connection to local tensor tomography.

math.AP↗
arXiv2022

Recovery of wave speeds and density of mass across a heterogeneous smooth interface from acoustic and elastic wave reflection operators

We revisit the problem of recovering wave speeds and density across a curved interface from reflected wave amplitudes. Such amplitudes have been exploited for decades in (exploration) seismology in this context. However, the analysis in seismology has been based on linearization and mostly flat interfaces. Here, we present a nonlinear analysis allowing curved interfaces, establish uniqueness and provide a reconstruction, while making the notion of amplitude precise through a procedure rooted in microlocal analysis.

math.AP↗
arXiv2019

Recovery of discontinuous Lamé parameters from local dynamic boundary data

Consider an isotropic elastic medium $Ω\subset \mathbb{R}^3$ whose Lamé parameters are piecewise smooth. In the elastic wave initial value inverse problem, we are given the solution operator for the elastic wave equation, but only outside $Ω$ and only for initial data supported outside $Ω$. Using the recently introduced scattering control series in the acoustic case, we prove that piecewise smooth Lamé parameters are uniquely determined by this map under certain geometric conditions. We also show the extent that multiple scattering in the interior may be suppressed and eliminated with access to only this partial solution map, which is akin to the dynamic Dirichlet-to-Neumann map.

math.AP↗
arXiv2018

Scattering Control for the Wave Equation with Unknown Wave Speed

Consider the acoustic wave equation with unknown, not necessarily smooth, wave speed $c$. We propose and study an iterative control procedure that erases the history of a wave field up to a given depth in a medium, without any knowledge of $c$. In the context of seismic or ultrasound imaging, this can be viewed as removing multiple reflections from normal-directed wavefronts.

math.AP↗
arXiv2018

Reconstruction of piecewise smooth wave speeds using multiple scattering

Let $c$ be a piecewise smooth wave speed on $\mathbb R^n$, unknown inside a domain $Ω$. We are given the solution operator for the scalar wave equation $(\partial_t^2-c^2Δ)u=0$, but only outside $Ω$ and only for initial data supported outside $Ω$. Using our recently developed scattering control method, we prove that piecewise smooth wave speeds are uniquely determined by this map, and provide a reconstruction formula. In other words, the wave imaging problem is solvable in the piecewise smooth setting under mild conditions. We also illustrate a separate method, likewise constructive, for recovering the locations of interfaces in broken geodesic normal coordinates using scattering control.

math.AP↗
arXiv2017

Spectral rigidity for spherically symmetric manifolds with boundary

We prove a trace formula for three-dimensional spherically symmetric Riemannian manifolds with boundary which satisfy the Herglotz condition: The wave trace is singular precisely at the length spectrum of periodic broken rays. In particular, the Neumann spectrum of the Laplace--Beltrami operator uniquely determines the length spectrum. The trace formula also applies for the toroidal modes of the free oscillations in the earth. We then prove that the length spectrum is rigid: Deformations preserving the length spectrum and spherical symmetry are necessarily trivial in any dimension, provided the Herglotz condition and a generic geometrical condition are satisfied. Combining the two results shows that the Neumann spectrum of the Laplace--Beltrami operator is rigid in this class of manifolds with boundary.

math.DG↗
arXiv2016

Diffraction of Elastic Waves by Edges

We investigate the diffraction of singularities of solutions to the linear elastic equation on manifolds with edge singularities. Such manifolds are modeled on the product of a smooth manifold and a cone over a compact fiber. For the fundamental solution, the initial pole generates a pressure wave (p-wave), and a secondary, slower shear wave (s wave). If the initial pole is appropriately situated near the edge, we show that when a p-wave strikes the edge, the diffracted p-waves and s-waves (i.e. loosely speaking, do not correspond to limits of p-rays which just miss the edge) are weaker in a Sobolev sense than the incident p-wave. We also show an analogous result for an s-wave that hits the edge, and provide results for more general situations.

math.AP↗
arXiv2009

Sign patterns for chemical reaction networks

Most differential equations found in chemical reaction networks (CRNs) have the form $dx/dt=f(x)= Sv(x)$, where $x$ lies in the nonnegative orthant, where $S$ is a real matrix (the stoichiometric matrix) and $v$ is a column vector consisting of real-valued functions having a special relationship to $S$. Our main interest will be in the Jacobian matrix, $f'(x)$, of $f(x)$, in particular in whether or not each entry $f'(x)_{ij}$ has the same sign for all $x$ in the orthant, i.e., the Jacobian respects a sign pattern. In other words species $x_j$ always acts on species $x_i$ in an inhibitory way or its action is always excitatory. In Helton, Klep, Gomez we gave necessary and sufficient conditions on the species-reaction graph naturally associated to $S$ which guarantee that the Jacobian of the associated CRN has a sign pattern. In this paper, given $S$ we give a construction which adds certain rows and columns to $S$, thereby producing a stoichiometric matrix $\widehat S$ corresponding to a new CRN with some added species and reactions. The Jacobian for this CRN based on $\hat S$ has a sign pattern. The equilibria for the $S$ and the $\hat S$ based CRN are in exact one to one correspondence with each equilibrium $e$ for the original CRN gotten from an equilibrium $\hat e$ for the new CRN by removing its added species. In our construction of a new CRN we are allowed to choose rate constants for the added reactions and if we choose them large enough the equilibrium $\hat e$ is locally asymptotically stable if and only if the equilibrium $e$ is locally asymptotically stable. Further properties of the construction are shown, such as those pertaining to conserved quantities and to how the deficiencies of the two CRNs compare.

math.DS↗