SearcharxivSearch

arXiv subjects

Plamen Stefanov

Publications and source records attributed to Plamen Stefanov.

At least 19 recordsLinked to original sources

Local rigidity of the Euclidean metric for the anisotropic Calderón problem

We prove local rigidity of the Euclidean metric and close conformally Euclidean ones for the anisotropic Calderón problem on smooth compact domains $M\subset\mathbb{R}^n$, $n\ge3$. A smooth Riemannian metric $g$ with the same induced boundary metric and Dirichlet-to-Neumann map as the background $g_0$ is isometric to $g_0$ by a diffeomorphism fixing the boundary pointwise if $\|g-g_0\|_{H^s(M)}$ is sufficiently small, where $s>n/2+1$ is an integer. For $g_0=e^{2c}\e$, we assume that $\|c\|_{C^k(M)}$ is sufficiently small, with an integer $k\ge s+2$ and $k>3n/2+5$.

math.AP

High frequency wave propagation for the viscoelastic wave equation with singular memory

We study high-frequency propagation for a viscoelastic wave equation with spatially dependent hereditary memory in relative-history form. The kernel may have the integrable singularity $\mathfrak m(s,x)=s^{p-1}m(s,x)$, $0<p<1$; the regular case $p=1$ is included. Using the half-amplitude propagation distance and corresponding travel time as units, the wavelength $h\ll1$ yields the memory factor $\varepsilon=h^{1-p}$. We construct exact solutions with full two-scale geometric-optics expansions in powers $h^{k+(1-p)\ell}$. Memory modifies the propagation geometry through the instantaneous modulus $σ+\varepsilon\int_0^\infty\mathfrak m(s,\cdot)\,d s$, while the kernel singularity contributes $C_p=Γ(p)e^{iπp/2}$ to the leading transport equation. For $0<p<1$, this produces fractional scales, frequency-dependent attenuation, and a dispersive phase correction; for $p=1$, the fractional hierarchy disappears, attenuation is frequency independent, and the transport phase correction vanishes. We also derive a local damped wave equation whose incoming high-frequency solutions approximate the hereditary solutions with $O(h)$ error in semiclassical $C^k$ norms. Exterior observations for all incident directions and $0<h\ll1$ uniquely recover $σ_{\mathfrak m}$ and the full temporal jet of $m$ at $s=0$, which determine the expansion modulo $O(h^\infty)$. Finally, a contraction-semigroup argument gives well-posedness and arbitrary finite-order Sobolev regularity for spatially dependent weakly singular kernels and prescribed full prehistory, with explicit compatibility conditions and estimates uniform in $\varepsilon$. These estimates justify the geometric-optics construction.

math.AP

The linearized minimal surfaces problem

We characterize the kernel of the linearization $R$ of the minimal surface problem about the Euclidean metric in a bounded smooth domain $Ω\subset\mathbb{R}^n$, $n\ge2$, with the background minimal surfaces being the Euclidean planes. We show that, in the whole-space Euclidean decomposition, the kernel consists of potential fields and TT fields. For bounded domains, a similar phenomenon appears with additional boundary coupling conditions; in particular, the TT part may be coupled to a harmonic conformal component.

math.DG

Scattering rigidity for Hamiltonian systems with an application to Finsler geometry

We study scattering rigidity for Hamiltonian systems on $T^*M\setminus 0$, where $M$ is a manifold with boundary equipped with a positively homogeneous Hamiltonian function $H(x,ξ)$. We show that $H$ can be uniquely determined by the scattering relation up to a canonical transformation fixing the boundary (in a suitable sense) for positive energy levels $H=E>0$. We define the travel times $T(x,y)$ between boundary points, and show that their linearization leads to an X-ray transform over Hamiltonian curves, which we invert. When $E=0$, scattering rigidity can be formulated in terms of a diffeomorphism of the zero energy surfaces which preserves the boundary and respects the orbits of the Hamiltonian flows there, as well as the restricted symplectic form. The travel times are replaced by a defining function of pairs of boundary points which can be connected by a locally unique zero bicharacteristic. Its linearization leads to the "Hamiltonian light ray transform" which we invert modulo a gauge as well. As an application of this phase space approach, we prove semiglobal lens rigidity of non-trapping Finsler manifolds. The group of the gauge transformations consists of certain canonical transformations composed with Legendre transforms.

math.DG

The Light ray transform for pseudo-Euclidean metrics

We study the ray transform $L$ over null (light) rays in the pseudo-Euclidean space with signature $(n',n'')$, $n'\ge2$, $n''\ge2$. We analyze the normal operator $L'L$, derive an inversion formula, and prove stability estimates. We show that the symbol $p(ξ)$ is elliptic but singular at the light cone. We analyze $L$ as an Fourier Integral Operator as well. Finally, we compare this to the Minkowski case.

math.DG

The DC Kerr Effect in Nonlinear Optics

We use weakly nonlinear geometric optics to study a model for the DC Kerr effect (the Kerr electro-optic effect), in which a light beam propagating through a material with strong nonlinear optical properties can have its polarization rotated by applying a strong external electric field. This effect is used to build fast switches (Kerr cells). We prove existence of an exact solution of the nonlinear Maxwell system with a cubic Kerr nonlinearity, with the wavelength $h$ being a small parameter. We justify the effect within this model, and also solve the inverse problem of recovery of the nonlinear susceptibility $χ^{(3)}$ from the change of the polarization.

math.AP

Boundary determination and local rigidity of analytic metrics in the Lorentzian scattering rigidity problem

We study the scattering rigidity problem in Lorentzian geometry: recovery of a Lorentzian metric from the scattering relation known on a lateral timelike boundary. We show that one can recover the jet of the metric up to a gauge transformation near a lightlike strictly convex point. Assuming that the metric is real analytic, we show that one can recover the metric up to a gauge transformation as well near such a point.

math.DG

The Lorentzian scattering rigidity problem and rigidity of stationary metrics

We study scattering rigidity in Lorentzian geometry: recovery of a Lorentzian metric from the scattering relation $\mathcal{S}^\sharp$ known on a lateral boundary. We show that, under a non-conjugacy assumption, every defining function $r(x,y)$ of pairs of boundary points which can be connected by a lightlike geodesic plays the role of the boundary distance function in the Riemannian case in the following sense. Its linearization is the light ray transform of tensor fields of order two which are the perturbations of the metric. Next, we study scattering rigidity of stationary metrics in time-space cylinders and show that it can be reduced to boundary rigidity of magnetic systems on the base; a problem studied previously. This implies several scattering rigidity results for stationary metrics.

math.DG

Sampling the X-ray transform on simple surfaces

We study the problem of proper discretizing and sampling issues related to geodesic X-ray transforms on simple surfaces, and illustrate the theory on simple geodesic disks of constant curvature. Given a notion of band limit on a function, we provide the minimal sampling rates of its X-ray transform for a faithful reconstruction. In Cartesian sampling, we quantify the quality of a sampling scheme depending on geometric parameters of the surface (e.g. curvature and boundary curvature), and the coordinate system used to represent the space of geodesics. When aliasing happens, we explain how to predict the location, orientation and frequency of the artifacts.

math.AP

Weakly nonlinear geometric optics for the Westervelt equation and recovery of the nonlinearity

We study the non-diffusive Westervelt equation in the weakly nonlinear regime. We show that the leading profile equation is of Burgers' type. We show that a compactly supported nonlinearity $α$ can be reconstructed from the tilt of the transmitted high frequency wave packets sent from different directions since those tilts are proportional to the X-ray transform of $α$.

math.AP

Recovery of a cubic non-linearity in the wave equation in the weakly non-linear regime

We study the inverse problem of recovery a compactly supported non-linearity in the semilinear wave equation $u_{tt}-Δu+ α(x) |u|^2u=0$, in two and three dimensions. We probe the medium with complex-valued harmonic waves of wavelength $h$ and amplitude $h^{-1/2}$, then they propagate in the weakly non-linear regime; and measure the transmitted wave when it exits the support of $α$. We show that one can extract the Radon transform of $α$ from the phase shift of such waves, and then one can recover $α$. We also show that one can probe the medium with real-valued harmonic waves and obtain uniqueness for the linearized problem.

math.AP

Inverse Boundary Problem for the Two Photon Absorption Transport Equation

This work studies the inverse boundary problem for the two photon absorption radiative transport equation. We show that the absorption coefficients and scattering coefficients can be uniquely determined from the \emph{albedo} operator. If scattering is absent, we do not require smallness of the incoming source and the reconstructions of the absorption coefficients are explicit.

math.AP

Sampling linear inverse problems with noise

We study the effect of additive noise to the inversion of FIOs associated to a diffeomorphic canonical relation. We use the microlocal defect measures to measure the power spectrum of the noise and analyze how that power spectrum is transformed under the inversion. In particular, we compute the standard deviation of the noise added to the inversion as a function of the standard deviation of the noise added to the data. As an example, we study the Radon transform in the plane in parallel and fan-beam coordinates, and present numerical examples.

math.AP

The solid-fluid transmission problem

We study microlocally the transmission problem at the interface between an isotropic linear elastic solid and a linear inviscid fluid. We set up a system of evolution equations describing the particle displacement and velocity in the solid, and pressure and velocity in the fluid, coupled by suitable transmission conditions at the interface. We show well posedness for the coupled system and study the problem microlocally, constructing a parametrix for it using geometric optics. This construction describes the reflected and transmitted waves, including mode converted ones, related to incoming waves from either side. We also study formation of surface Scholte waves. Finally, we prove that under suitable assumptions, we can recover the s- and the p-speeds, as well as the speed of the liquid, from boundary measurements.

math.AP

Recovery of a general nonlinearity in the semilinear wave equation

We study the inverse problem of recovery a non-linearity $f(x,u)$, which is compactly supported in $x$, in the semilinear wave equation $u_{tt}-Δu+ f(x,u)=0$. We probe the medium with either complex or real-valued harmonic waves of wavelength $\sim h$ and amplitude $\sim 1$. They propagate in a regime where the non-linearity affects the subprincipal but not the principal term, except for the zeroth harmonics. We measure the transmitted wave when it exits $\text{supp}_x f$. We show that one can recover $f(x,u)$ when it is an odd function of $u$, and we can recover $α(x)$ when $f(x,u)=α(x)u^{2m}$. This is done in an explicit way as $h\to0$.

math.AP

Local and global boundary rigidity and the geodesic X-ray transform in the normal gauge

In this paper we analyze the local and global boundary rigidity problem for general Riemannian manifolds with boundary $(M,g)$. We show that the boundary distance function, i.e., $d_g|_{\partial M\times\partial M}$, known near a point $p\in \partial M$ at which $\partial M$ is strictly convex, determines $g$ in a suitable neighborhood of $p$ in $M$, up to the natural diffeomorphism invariance of the problem. We also consider the closely related lens rigidity problem which is a more natural formulation if the boundary distance is not realized by unique minimizing geodesics. The lens relation measures the point and the direction of exit from $M$ of geodesics issued from the boundary and the length of the geodesic. The lens rigidity problem is whether we can determine the metric up to isometry from the lens relation. We solve the lens rigidity problem under the assumption that there is a function on $M$ with suitable convexity properties relative to $g$. This can be considered as a complete solution of a problem formulated first by Herglotz in 1905. We also prove a semi-global results given semi-global data. This shows, for instance, that simply connected manifolds with strictly convex boundaries are lens rigid if the sectional curvature is non-positive or non-negative or if there are no focal points. The key tool is the analysis of the geodesic X-ray transform on 2-tensors, corresponding to a metric $g$, in the normal gauge, such as normal coordinates relative to a hypersurface, where one also needs to allow weights. This is handled by refining and extending our earlier results in the solenoidal gauge.

math.DG