In this short note, we investigate simultaneous recovery inverse problems for semilinear elliptic equations with partial data. The main technique is based on higher order linearization and monotonicity approaches. With these methods at hand, we can determine the diffusion, cavity and coefficients simultaneously by knowing the corresponding localized Dirichlet-Neumann operators.
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}…
In this paper, we study inverse boundary problems associated with semilinear parabolic systems in several scenarios where both the nonlinearities and the initial data can be unknown. We establish several simultaneous recovery results showing that the passive or active boundary Dirichlet-to-Neumann operators can uniquely recover both of the unknowns, even stably in a certain case. It turns out that the nonlinearities play a critical role in deriving these recovery results. If the nonlinear term belongs to a general $C^1$ class but fulfilling a certain growth condition, the recovery results are …
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 Dirich…
Given $k\in\mathbb N$, we define a class of continuous piecewise functions $f$ having abrupt but controlled magnitude changes so that the problem $$Δu +f(u)=0,\quad x\in \mathbb R^N, N> 2, $$ has at least $k$ radially symmetric ground state solutions.
We study various partial data inverse boundary value problems for the semilinear elliptic equation $Δu+ a(x,u)=0$ in a domain in $\mathbb R^n$ by using the higher order linearization technique introduced in [LLS 19, FO19]. We show that the Dirichlet-to-Neumann map of the above equation determines the Taylor series of $a(x,z)$ at $z=0$ under general assumptions on $a(x,z)$. The determination of the Taylor series can be done in parallel with the detection of an unknown cavity inside the domain or an unknown part of the boundary of the domain. The method relies on the solution of the linearized p…
We study the recovery of piecewise analytic density and stiffness tensor of a three-dimensional domain from the local dynamical Dirichlet-to-Neumann map. We give global uniqueness results if the medium is transversely isotropic with known axis of symmetry or orthorhombic with known symmetry planes on each subdomain. We also obtain uniqueness of a fully anisotropic stiffness tensor, assuming that it is piecewise constant and that the interfaces which separate the subdomains have curved portions. The domain partition need not to be known. Precisely, we show that a domain partition consisting of …
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 un…
We study the local recovery of an unknown piecewise constant anisotropic conductivity in EIT (electric impedance tomography) on certain bounded Lipschitz domains $Ω$ in $\mathbb{R}^2$ with corners. The measurement is conducted on a connected open subset of the boundary $\partialΩ$ of $Ω$ containing corners and is given as a localized Neumann-to-Dirichlet map. The above unknown conductivity is defined via a decomposition of $Ω$ into polygonal cells. Specifically, we consider a parallelogram-based decomposition and a trapezoid-based decomposition. We assume that the decomposition is known, but t…
We show that under a certain non-cancellation condition the attenuated Radon transform uniquely determines piecewise constant attenuation $a$ and piecewise $C^2$ source density $f$ with jumps over real analytic boundaries possibly having corners. We also look at numerical examples in which the non-cancellation condition fails and show that unique reconstruction of multi-bang $a$ and $f$ is still appears to be possible although not yet explained by theoretical results.
We consider the inverse problem of determining a general nonlinear term appearing in a semilinear hyperbolic equation on a Riemannian manifold with boundary $(M,g)$ of dimension $n=2,3$. We prove results of unique recovery of the nonlinear term $F(t,x,u)$, appearing in the equation $\partial_t^2u-Δ_gu+F(t,x,u)=0$ on $(0,T)\times M$ with $T>0$, from some partial knowledge of the solutions $u$ on the boundary of the time-space cylindrical manifold $(0,T)\times M$ or on the lateral boundary $(0,T)\times\partial M$. We determine the expression $F(t,x,u)$ both on the boundary $x\in\partial M$ and i…
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 t…
In this paper, we are concerned with the local existence and singularity structure of low regularity solutions to the semilinear generalized Tricomi equation $\p_t^2u-t^mΔu=f(t,x,u)$ with typical discontinuous initial data $(u(0,x), \p_tu(0,x))=(0, \vp(x))$; here $m\in\Bbb N$, $x=(x_1, ..., x_n)$, $n\ge 2$, and $f(t,x,u)$ is $C^{\infty}$ smooth in its arguments. When the initial data $\vp(x)$ is a homogeneous function of degree zero or a piecewise smooth function singular along the hyperplane ${t=x_1=0}$, it is shown that the local solution $u(t,x)\in L^{\infty}([0,T]\times\Bbb R^n)$ exists an…
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 uniquen…
We find an explicit form of weak solutions to a Riemann problem for a degenerate semilinear parabolic equation with piecewise constant diffusion coefficient. It is demonstrated that the phase transition lines (free boundaries) correspond to the minimum point of some strictly convex function of a finite number of variables. In the limit as number of phases tend to infinity we obtain a variational formulation of self-similar solution with an arbitrary nonnegative diffusion function.
In this article we focus on inverse problems for a semilinear elliptic equation. We show that a potential $q$ in $L^{n/2+\varepsilon}$, $\varepsilon>0$, can be determined from the full and partial Dirichlet-to-Neumann map. This extends the results from [M. Lassas, T. Liimatainen, Y.-H. Lin, and M. Salo, Partial data inverse problems and simultaneous recovery of boundary and coefficients for semilinear elliptic equations, Rev. Mat. Iberoam. (2021)] where this is shown for Hölder continuous potentials. Also we show that when the Dirichlet-to-Neumann map is restricted to one point on the boundary…
In this work, we study an inverse problem of recovering a space-time dependent diffusion coefficient in the subdiffusion model from the distributed observation, where the mathematical model involves a Djrbashian-Caputo fractional derivative of order $α\in(0,1)$ in time. The main technical challenges of both theoretical and numerical analysis lie in the limited smoothing properties due to the fractional differential operator and high degree of nonlinearity of the forward map from the unknown diffusion coefficient to the distributed observation. We establish two conditional stability results usi…
