SearcharxivSearch

arXiv subjects

Jian Zhai

Publications and source records attributed to Jian Zhai.

At least 19 recordsLinked to original sources

Determination of an anisotropic perturbation in elastic inverse scattering

We consider a linearized inverse scattering problem for elastic waves. We prove that a fully anisotropic perturbation of the elastic parameters around an isotropic and homogeneous reference can be uniquely determined by (single-)scattered waves. We also give a quantitative stability estimate for an isotropic perturbation, and as a consequence a rigidity result is established.

math.AP

An inverse problem for compressible Euler's equations

We consider an inverse problem for the compressible Euler's equations in polytropic fluid. We show that by taking active measurements near a particle trajectory one can determine the background flow in a set where pressure waves can propagate from and return to the particle trajectory, under the additional assumption that the flow has nonzero vorticity.

math.AP

Determination of the density in the linear elastic wave equation

We study the inverse boundary value problem for the linear elastic wave equation in three-dimensional isotropic medium. We show that both the Lamé parameters and the density can be uniquely recovered from the boundary measurements under the strictly convex foliation condition.

math.AP

On the anisotropic Calderón's problem

We prove that the Riemannian metric on a compact manifold of dimension $n\geq 3$ with smooth boundary can be uniquely determined, up to an isometry fixing the boundary, by the Dirichlet-to-Neumann map associated to the Laplace-Beltrami operator.

math.AP

Invertibility of local geodesic transverse and mixed ray transforms II: higher order tensors

Consider a compact Riemannian manifold in dimension $n$ with strictly convex boundary. We show the local invertibility near a boundary point of the transverse ray transform of $2$ tensors for $n\geq 3$ and the mixed ray transform of $2+2$ tensors for $n=3$. When the manifold admits a strictly convex function, this local invertibility result leads to global invertibility.

math.DG

Determination of the density in a nonlinear elastic wave equation

This is a continuation of our study [Uhlmann-Zhai, JMPA, 2021] on an inverse boundary value problem for a nonlinear elastic wave equation. We prove that all the linear and nonlinear coefficients can be recovered from the displacement-to-traction map, including the density, under some natural geometric conditions on the wavespeeds.

math.AP

Invertibility of local geodesic transverse and mixed ray transforms I: basic cases

Consider a compact Riemannian manifold in dimension $n\geq 3$ with strictly convex boundary. We show that the transverse ray transform of $1$ tensors and the mixed ray transform of $1+1$ tensors are invertible, up to natural obstructions, near a boundary point. When the manifold admits a strictly convex function, this local invertibility result leads to a global result by a layer stripping argument.

math.DG

Increasing stability estimates for the inverse potential scattering problems

This paper is mainly concerned with the inverse scattering problem of determining the unknown potential for the classical Schrödinger equation in two and three dimensions. We establish the increasing stability of the inverse scattering problem from either multi-frequency near-field data or multi-frequency far-field pattern. The stability estimate consists of the Lipschitz type data discrepancy and the logarithmic high frequency tail of the potential function, where the latter decreases as the upper bound of the frequency increases. A novel method is proposed for the proof, which is based on choosing appropriate incident plane waves and an application of the quantitative analytic continuation. A key ingredient in the analysis is employing scattering theory to obtain an analytic region and resolvent estimates in this region for the resolvent in two and three dimensions. We further apply this method to study the inverse scattering problem of determining both the magnetic potential and electric potential for the three-dimensional magnetic Schrödinger equation.

math.AP

Increasing stability of a linearized inverse boundary value problem for a nonlinear Schrödinger equation on transversally anisotropic manifolds

We consider the problem of recovering a nonlinear potential function in a nonlinear Schrödinger equation on transversally anisotropic manifolds from the linearized Dirichlet-to-Neumann map at a large wavenumber. By calibrating the complex geometric optics (CGO) solutions according to the wavenumber, we prove the increasing stability of recovering the coefficient of a cubic term as the wavenumber becomes large.

math.AP

Nonlinear ultrasound imaging modeled by a Westervelt equation

We consider the ultrasound imaging problem governed by a nonlinear wave equation of Westervelt type with variable wave speed. We show that the coefficient of nonlinearity can be recovered uniquely from knowledge of the Dirichlet-to-Neumann map. Our proof is based on a second order linearization and the use of Gaussian beam solutions to reduce the problem to the inversion of a weighted geodesic ray transform. We propose an inversion algorithm and report the results of a numerical implementation to solve the nonlinear ultrasound imaging problem in a transmission setting in the frequency domain.

math.AP

Witten-type topological field theory of self-organized criticality for stochastic neural networks

We study the Witten-type topological field theory(W-TFT) of self-organized criticality(SOC) for stochastic neural networks. The Parisi-Sourlas-Wu quantization of general stochastic differential equations (SDEs) for neural networks, the Becchi-Rouet-Stora-Tyutin(BRST)-symmetry of the diffusion system and the relation between spontaneous breaking and instantons connecting steady states of the SDEs, as well as the sufficient and necessary condition on pseudo-supersymmetric stochastic neural networks are obtained. Suppose neuronal avalanche is a mechanism of cortical information processing and storage \cite{Beggs}\cite{Plenz1}\cite{Plenz2} and the model of stochastic neural networks\cite{Dayan} is correct, as well as the SOC system can be looked upon as a W-TFT with spontaneously broken BRST symmetry. Then we should recover the neuronal avalanches and spontaneously broken BRST symmetry from the model of stochastic neural networks. We find that, provided the divergence of drift coefficients is small and non-constant, the model of stochastic neural networks is BRST symmetric. That is, if the SOC of brain neural networks system can be looked upon as a W-TFT with spontaneously broken BRST symmetry, then the general model of stochastic neural networks which be extensively used in neuroscience \cite{Dayan} is not enough to describe the SOC. On the other hand, using the Fokker-Planck equation, we show the sufficient condition on diffusion so that there exists a steady state probability distribution for the stochastic neural networks. Rhythms of the firing rates of the neuronal networks arise from the process, meanwhile some biological laws are conserved.

q-bio.NC

Single pixel X-ray transform and related inverse problems

In this paper, we analyze the nonlinear single pixel X-ray transform $K$ and study the reconstruction of $f$ from the measurement $Kf$. Different from the well-known X-ray transform, the transform $K$ is a nonlinear operator and uses a single detector that integrates all rays in the space. We derive stability estimates and an inversion formula of $K$. We also consider the case where we integrate along geodesics of a Riemannian metric. Moreover, we conduct several numerical experiments to corroborate the theoretical results.

math.AP

Semiclassical analysis of elastic surface waves

In this paper, we present a semiclassical description of surface waves or modes in an elastic medium near a boundary, in spatial dimension three. The medium is assumed to be essentially stratified near the boundary at some scale comparable to the wave length. Such a medium can also be thought of as a surficial layer (which can be thick) overlying a half space. The analysis is based on the work of Colin de Verdière on acoustic surface waves. The description is geometric in the boundary and locally spectral "beneath" it. Effective Hamiltonians of surface waves correspond with eigenvalues of ordinary differential operators, which, to leading order, define their phase velocities. Using these Hamiltonians, we obtain pseudodifferential surface wave equations. We then construct a parametrix. Finally, we discuss Weyl's formulas for counting surface modes, and the decoupling into two classes of surface waves, that is, Rayleigh and Love waves, under appropriate symmetry conditions.

math.AP

The Dirichlet-to-Neumann map for a semilinear wave equation on Lorentzian manifolds

We consider the semilinear wave equation $\Box_g u+a u^4=0$, $a\neq 0$, on a Lorentzian manifold $(M,g)$ with timelike boundary. We show that from the knowledge of the Dirichlet-to-Neumann map one can recover the metric $g$ and the coefficient $a$ up to natural obstructions. Our proof rests on the analysis of the interaction of distorted plane waves together with a scattering control argument, as well as Gaussian beam solutions.

math.AP

An inverse boundary value problem for a semilinear wave equation on Lorentzian manifolds

We consider an inverse boundary value problem for a semilinear wave equation on a time-dependent Lorentzian manifold with time-like boundary. The time-dependent coefficients of the nonlinear terms can be recovered in the interior from the knowledge of the Neumann-to-Dirichlet map. Either distorted plane waves or Gaussian beams can be used to derive uniqueness.

math.AP

On an inverse boundary value problem for a nonlinear elastic wave equation

We consider an inverse boundary value problem for a nonlinear elastic wave equation which was studied in [de Hoop, Uhlmann, Wang. Math. Ann. (2019) doi:10.1007/s00208-018-01796-y]. We show that all the parameters appearing in the equation can be uniquely determined from boundary measurements under certain geometric assumptions. The proof is based on second order linearization and Gaussian beams.

math.AP