arXiv subjects
Publications and source records attributed to Gunther Uhlmann.
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.
We consider the inverse problem of determining a general semilinear term appearing in nonlinear parabolic equations. For this purpose, we derive a new criterion that allows to prove global recovery of some general class of semilinear terms from lateral boundary measurements of solutions of the equation with initial condition fixed at zero. More precisely, we prove, for what seems to be the first time, the unique and stable recovery of general semilinear terms depending on time and space variables independently of the solution of the nonlinear equation from the knowledge of the parabolic Dirichlet-to-Neumann map associated with the solution of the equation with initial condition fixed at zero. Our approach is based on the second linearization of the inverse problem under consideration.
In this article, we study a model problem featuring a Lévy process in a domain with semi-transparent boundary by considering the following perturbed fractional Laplacian operator \[\mathscr{L}_{b,q} := (-Δ)^t + (-Δ)_Ω^{s/2} \ b (-Δ)_Ω^{s/2} + q, \quad 0<s<t<1\] on a bounded Lipschitz domain $Ω\subset \mathbb{R}^n$. While the non-locality of the fraction Laplacian $(-Δ)^t$ depends on entire $\mathbb{R}^n$, in its non-local perturbation the non-locality depends on the domain $Ω$ through the regional fractional Laplacian term $(-Δ)^{s/2}_Ω$ and $b$ exhibits the semi-transparency of the process. We analyze the well-posedness of the model and certain qualitative property like unique continuation property, Runge approximation scheme considering its regional non-local perturbation. Then we move into studying the inverse problem and find that by knowing the corresponding Dirichlet to Neumann map (D-N map) of $\mathscr{L}_{b,c}$ on the exterior domain $\mathbb{R}^n \setminus Ω$, it is possible to determine the lower order perturbations `$b$',`$q$' in $Ω$. We also discuss the recovery of `$b$', `$q$' from a single measurement and its limitations.
We show that the knowledge of the Dirichlet-to-Neumann maps given on an arbitrary open non-empty portion of the boundary of a smooth domain in $\mathbb{R}^n$, $n\ge 2$, for classes of semilinear and quasilinear conductivity equations, determines the nonlinear conductivities uniquely. The main ingredient in the proof is a certain $L^1$-density result involving sums of products of gradients of harmonic functions which vanish on a closed proper subset of the boundary.
We show that a continuous potential $q$ can be constructively determined from the knowledge of the Dirichlet-to-Neumann map for the Schrödinger operator $-Δ_g+q$ on a conformally transversally anisotropic manifold of dimension $\geq 3$, provided that the geodesic ray transform on the transversal manifold is constructively invertible. This is a constructive counterpart of the uniqueness result of Dos Santos Ferreira-Kurylev-Lassas-Salo. A crucial role in our reconstruction procedure is played by a constructive determination of the boundary traces of suitable complex geometric optics solutions based on Gaussian beams quasimodes concentrated along non-tangential geodesics on the transversal manifold, which enjoy uniqueness properties. This is achieved by applying the simplified version of the approach of Nachman-Street to our setting. We also identify the main space introduced by Nachman-Street with a standard Sobolev space on the boundary of the manifold. Another ingredient in the proof of our result is a reconstruction formula for the boundary trace of a continuous potential from the knowledge of the Dirichlet-to-Neumann map.
We study the inverse boundary problem for a nonlinear magnetic Schrödinger operator on a conformally transversally anisotropic Riemannian manifold of dimension $n\ge 3$. Under suitable assumptions on the nonlinearity, we show that the knowledge of the Dirichlet-to-Neumann map on the boundary of the manifold determines the nonlinear magnetic and electric potentials uniquely. No assumptions on the transversal manifold are made in this result, whereas the corresponding inverse boundary problem for the linear magnetic Schrödinger operator is still open in this generality.
We consider the mixed ray transform of tensor fields on a three-dimensional compact simple Riemannian manifold with boundary. We prove the injectivity of the transform, up to natural obstructions, and establish stability estimates for the normal operator on generic three dimensional simple manifold in the case of 1+1 and 2+2 tensors fields. We show how the anisotropic perturbations of averaged isotopic travel-times of qS-polarized elastic waves provide partial information about the mixed ray transform of 2+2 tensors fields. If in addition we include the measurement of the shear wave amplitude, the complete mixed ray transform can be recovered. We also show how one can obtain the mixed ray transform from an anisotropic perturbation of the Dirichlet-to-Neumann map of an isotropic elastic wave equation on a smooth and bounded domain in three dimensional Euclidean space.
In this paper, we consider the boundary rigidity problem on a cylindrical domain in $\mathbb R^{1+n}$, $n\geq 2$, equipped with a stationary (time-invariant) Lorentzian metric. We show that the time separation function between pairs of points on the boundary of the cylindrical domain determines the stationary spacetime, up to some time-invariant diffeomorphism, assuming that the metric satisfies some a-priori conditions.
On a time-oriented Lorentzian manifold $(M,g)$ with non-empty boundary satisfying a convexity assumption, we show that the topological, differentiable, and conformal structure of suitable subsets $S\subset M$ of sources is uniquely determined by measurements of the intersection of future light cones from points in $S$ with a fixed open subset of the boundary of $M$; here, light rays are reflected at $\partial M$ according to Snell's law. Our proof is constructive, and allows for interior conjugate points as well as multiply reflected and self-intersecting light cones.
We study the isotropic elastic wave equation in a bounded domain with boundary with coefficients having jumps at a nested set of interfaces satisfying the natural transmission conditions there. We analyze in detail the microlocal behavior of such solution like reflection, transmission and mode conversion of S and P waves, evanescent modes, Rayleigh and Stoneley waves. In particular, we recover Knott's equations in this setting. We show that knowledge of the Dirichlet-to-Neumann map determines uniquely the speed of the P and the S waves if there is a strictly convex foliation with respect to them, under an additional condition of lack of full internal reflection of some of the waves.
We consider an inverse problem for the Boltzmann equation with nonlinear collision operator in dimensions $n\geq 2$. We show that the kinetic collision kernel can be uniquely determined from the incoming-to-outgoing mappings on the boundary of the domain provided that the kernel satisfies a monotonicity condition. Furthermore, a reconstruction formula is also derived. The key methodology is based on the higher-order linearization scheme to reduce a nonlinear equation into simpler linear equations by introducing multiple small parameters into the original equation.
We show that the scattering operator for defocusing energy critical semilinear wave equations \square u+f(u)=0, with f C-infinity and f ~ u^5, in three space dimensions, determines f.
We consider inverse boundary value problems for general real principal type differential operators. The first results state that the Cauchy data set uniquely determines the scattering relation of the operator and bicharacteristic ray transforms of lower order coefficients. We also give two different boundary determination methods for general operators, and prove global uniqueness results for determining coefficients in nonlinear real principal type equations. The article presents a unified approach for treating inverse boundary problems for transport and wave equations, and highlights the role of propagation of singularities in the solution of related inverse problems.
We show global uniqueness in the fractional Calderón problem with a single measurement and with data on arbitrary, possibly disjoint subsets of the exterior. The previous work \cite{GhoshSaloUhlmann} considered the case of infinitely many measurements. The method is again based on the strong uniqueness properties for the fractional equation, this time combined with a unique continuation principle from sets of measure zero. We also give a constructive procedure for determining an unknown potential from a single exterior measurement, based on constructive versions of the unique continuation result that involve different regularization schemes.
We show that the linear span of the set of scalar products of gradients of harmonic functions on a bounded smooth domain $Ω\subset \mathbb{R}^n$ which vanish on a closed proper subset of the boundary is dense in $L^1(Ω)$. We apply this density result to solve some partial data inverse boundary problems for a class of semilinear elliptic PDE with quadratic gradient terms.
We consider the partial data inverse boundary problem for the Schrödinger operator at a frequency $k>0$ on a bounded domain in $\mathbb{R}^n$, $n\ge 3$, with impedance boundary conditions. Assuming that the potential is known in a neighborhood of the boundary, we first show that the knowledge of the partial Robin-to-Dirichlet map at the fixed frequency $k>0$ along an arbitrarily small portion of the boundary, determines the potential in a logarithmically stable way. We prove, as the principal result of this work, that the logarithmic stability can be improved to the one of Hölder type in the high frequency regime.
We study the weighted light ray transform $L$ of integrating functions on a Lorentzian manifold over lightlike geodesics. We analyze $L$ as a Fourier Integral Operator and show that if there are no conjugate points, one can recover the spacelike singularities of a function $f$ from its the weighted light ray transform $Lf$ by a suitable filtered back-projection.
We show that the knowledge of the Dirichlet-to-Neumann map on an arbitrary open portion of the boundary of a domain in $\mathbb{R}^n$, $n\ge 2$, for a class of semilinear elliptic equations, determines the nonlinearity uniquely.