Inverse initial and inverse source problems of a time-fractional differential equation with Bessel operator are considered. Results on existence and uniqueness of solutions to these problems are presented. The solution method is based on series expansions using a set of Bessel functions of order zero. Convergence of the obtained series solutions is also discussed
In this article, We investigate an inverse problem of determining the time-dependent source factor in parabolic integro-differential equations from boundary data. We establish the uniqueness and the conditional stability estimate of Hölder type for the inverse source problem in a cylindrical shaped domain. Our methodology is based on the Bukhgeim-Klibanov method by means of the Carleman estimate. Here we also derive the "time-like" Carleman estimate for parabolic integro-differential equations.
In this work we establish log-type stability estimates for the inverse potential and conductivity problems with partial Dirichlet-to-Neumann map, where the Dirichlet data is homogeneous on the inaccessible part. This result, to some extent, improves our former result on the partial data problem in which log-log-type estimates were derived.
In this article, we study the unique determination of convection term and the time-dependent density coefficient appearing in a convection-diffusion equation from partial Dirichlet to Neumann map measured on boundary.
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.
As it is known various dynamical processes can be modeled through the systems of time-fractional order pseudo-differential equations. In the modeling process one frequently faces with determining the adequate orders of time-fractional derivatives in the sense of Riemann-Liouville or Caputo. This problem is qualified as an inverse problem. The right (vector) order can be found utilizing the available data. In this paper we consider this inverse problem for linear systems of fractional order pseudo-differential equations. We prove that the Fourier transform of the vector-solution $\widehat{U}(t,…
In this article, we study the stability in the inverse problem of determining the time-dependent convection term and density coefficient appearing in the convection-diffusion equation, from partial boundary measurements. For dimension $n\geq 2$, we show the convection term (modulo the gauge term) admits log-log stability, whereas log-log-log stability estimate is obtained for the density coefficient.
We study the inverse problem of identifying a periodic potential perturbation of the Dirichlet Laplacian acting in an infinite cylindrical domain, whose cross section is assumed to be bounded. We prove log-log stable determination of the potential with respect to the partial Dirichlet-to-Neumann map, where the Neumann data is taken on slightly more than half of the boundary of the domain.
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.
We consider two inverse boundary value problems for the time-harmonic Maxwell equations in an infinite slab. Assuming that tangential boundary data for the electric and magnetic fields at a fixed frequency is available either on subsets of one boundary hyperplane, or on subsets of different boundary hyperplanes, we show that the electromagnetic material parameters, the conductivity, electric permittivity, and magnetic permeability, are uniquely determined by these partial measurements.
In this paper, we study the stability of two inverse boundary value problems in an infinite slab with partial data. These problems have been studied by Li and Uhlmann for the case of the Schrodinger equation and by Krupchyk, Lassas and Uhlmann for the case of the magnetic Schrodinger equation. Here we quantify the method of uniqueness proposed by Li and Uhlmann and prove a log-log stability estimate for the inverse problems associated to the Schrodinger equation. The boundary measurements considered in these problems are modelled by partial knowledge of the Dirichlet-to-Neumann map: in the fir…
In this article, high frequency stability estimates for the determination of the potential in the Schrödinger equation are studied when the boundary measurements are made on slightly more than half the boundary. The estimates reflect the increasing stability property with growing frequency.
We prove that the scattering matrix at all energies restricted to an open subset of the boundary determines an asymptotically hyperbolic manifold modulo isometries that are equal to the identity on the open subset where the scattering matrix is known.
We consider Calderón's inverse boundary value problems for a class of nonlinear Helmholtz Schrödinger equations and Maxwell's equations in a bounded domain in $\R^n$. The main method is the higher-order linearization of the Dirichlet-to-Neumann map of the corresponding equations. The local uniqueness of the linearized partial data Calderón's inverse problem is obtained following \cite{DKSU}. The Runge approximation properties and unique continuation principle allow us to extend to global situations. Simultaneous recovery of some unknown cavity$/$boundary and coefficients are given as some appl…
In this article we consider an inverse boundary value problem for the time-harmonic Maxwell equations. We show that the electromagnetic material parameters are determined by boundary measurements where part of the boundary data is measured on a possibly very small set. This is an extension of earlier scalar results of Bukhgeim-Uhlmann and Kenig-Sjöstrand-Uhlmann to the Maxwell system. The main contribution is to show that the Carleman estimate approach to scalar partial data inverse problems introduced in those works can be carried over to the Maxwell system.
In this chapter, we mainly review theoretical results on inverse source problems for diffusion equations with the Caputo time-fractional derivatives of order $α\in(0,1)$. Our survey covers the following types of inverse problems: 1. determination of time-dependent functions in interior source terms 2. determination of space-dependent functions in interior source terms 3. determination of time-dependent functions appearing in boundary conditions
When considering fractional diffusion equation as model equation in analyzing anomalous diffusion processes, some important parameters in the model, for example, the orders of the fractional derivative or the source term, are often unknown, which requires one to discuss inverse problems to identify these physical quantities from some additional information that can be observed or measured practically. This chapter investigates several kinds of inverse coefficient problems for the fractional diffusion equation.
We consider the inverse boundary value problem for operators of the form $-\triangle+q$ in an infinite domain $Ω=\mathbb{R}\timesω\subset\mathbb{R}^{1+n}$, $n\geq3$, with a periodic potential $q$. For Dirichlet-to-Neumann data localized on a portion of the boundary of the form $Γ_1=\mathbb{R}\timesγ_1$, with $γ_1$ being the complement either of a flat or spherical portion of $\partialω$, we prove that a log-type stability estimate holds.
We prove that the knowledge of the Dirichlet-to-Neumann map, measured on a part of the boundary of a bounded domain in $\mathbb{R}^n, n\geq2$, can uniquely determine, in a nonlinear magnetic Schrödinger equation, the vector-valued magnetic potential and the scalar electric potential, both being nonlinear in the solution.
We study the inverse problem of determining the vector and scalar potentials $\mathcal{A}(t,x)=\left(A_{0},A_{1},\cdots,A_{n}\right)$ and $q(t,x)$, respectively, in the relativistic Schrödinger equation \begin{equation*} \Big{(}\left(\partial_{t}+A_{0}(t,x)\right)^{2}-\sum_{j=1}^{n}\left(\partial_{j}+A_{j}(t,x)\right)^{2}+q(t,x)\Big{)}u(t,x)=0 \end{equation*} in the region $Q=(0,T)\timesΩ$, where $Ω$ is a $C^{2}$ bounded domain in $\mathbb{R}^{n}$ for $n\geq 3$ and $T>\mbox{diam}(Ω)$ from partial data on the boundary $\partial Q$. We prove the unique determination of these potentials modulo a …
We construct an explicit Green's function for the conjugated Laplacian $e^{-ω\cdot x/h}Δe^{-ω\cdot x/h}$, which let us control our solutions on roughly half of the boundary. We apply the Green's function to solve a partial data inverse problem for the Schrödinger equation with potential $q \in L^{n/2}$. We also use this Green's function to derive $L^p$ Carleman estimates similar to the ones in Kenig-Ruiz-Sogge \cite{krs}, but for functions with support up to part of the boundary.
When considering fractional diffusion equation as model equation in analyzing anomalous diffusion processes, some important parameters in the model related to orders of the fractional derivatives, are often unknown and difficult to be directly measured, which requires one to discuss inverse problems of identifying these physical quantities from some indirectly observed information of solutions. Inverse problems in determining these unknown parameters of the model are not only theoretically interesting, but also necessary for finding solutions to initial-boundary value problems and studying pro…
We recover a nonlinear magnetic Schrödinger potential from measurement on an arbitrarily small open subset of the boundary on a compact Riemann surface. We assume that the magnetic potential satisfies suitable analytic properties, in which case the recovery can be obtained by a linearisation argument. The proof relies on the complex analytic methods introduced in [15].
We show that an electric potential and magnetic field can be uniquely determined by partial boundary measurements of the Neumann-to-Dirichlet map of the associated magnetic Schrödinger operator. This improves upon previous results of the author by including the determination of a magnetic field. The main technical advance is an improvement on the Carleman estimate for the magnetic Schrödinger operator with the appropriate boundary conditions. This allows the construction of complex geometrical optics solutions with greater regularity, which are needed to deal with the first order term in the o…
We are concerned with the Calderón inverse inclusion problem, where one intends to recover the shape of an inhomogeneous conductive inclusion embedded in a homogeneous conductivity by the associated boundary measurements. We consider the highly challenging case with a single partial boundary measurement, which constitutes a long-standing open problem in the literature. It is shown in several existing works that corner singularities can help to resolve the uniqueness and stability issues for this inverse problem. In this paper, we show that the corner singularity can be relaxed to be a certain …
The inverse source problem for the radiative transfer equation is considered, with partial data. Here it is shown that under certain smoothness conditions on the scattering and absorption coefficients, one can recover sources supported in a certain subset of the domain, which we call the visible set. Furthermore, it is shown for an open dense set of $C^{\infty}$ absorption and scattering coefficients that one can recover the part of the wave front set of the source that is supported in the microlocally visible set, modulo a function in the Sobolev space $H^{k}$ for $k$ arbitrarily large. This …
We consider the inverse problem of recovering the magnetic and potential term of a magnetic Schrödinger operator on certain compact Riemannian manifolds with boundary from partial Dirichlet and Neumann data on suitable subsets of the boundary. The uniqueness proof relies on proving a suitable Carleman estimate for functions which vanish only on a part of boundary and constructing complex geometric optics solutions which vanish on a part of the boundary.
Thanks to the test function of Bian-Guan[2], we successfully obtain a constant rank theorem for partial convex solutions of a class partial differential equations. This is the microscopic version of the macroscopic partial convexity principle in [1], and also is a generalization of the result in [2].
We use the method of synthetic differential geometry to revisit the geometric reasoning employed by Lie, Klein and others in their study of partial differential equations.
In dimension $n\geq 3$, we prove a local uniqueness result for the potentials $q$ of the Schrödinger equation $-Δu+qu=0$ from partial boundary data. More precisely, we show that potentials $q_1,q_2\in L^\infty$ with positive essential infima can be distinguished by local boundary data if there is a neighborhood of a boundary part where $q_1\geq q_2$ and $q_1\not\equiv q_2$.
In this study, we focus on identifying solution and an unknown space-dependent coefficient in a space-time fractional differential equation by employing fractional Taylor series method. The substantial advantage of this method is that we don't take any over-measured data into account. Consequently, we determine the solution and unknown coefficient more precisely. The presented examples illustrate that outcomes of this method are in high agreement with the exact ones of the corresponding problem. Moreover, it can be implemented and applied effectively comparing with other methods.
Lie symmetry analysis is an established method for generating symmetries of differential equations. We apply this method together the generalized fundamental theorem of double reduction. In particular, Noether symmetries and some associated conservation laws are constructed in our investigation to find exact solutions of higher order partial differential equations and complex partial differential equations.
This paper is devoted to the identification of the unknown smooth coefficient c entering the hyperbolic equation $c(x)\partial_{t}^{2}u - Δu = 0$ in a bounded smooth domain in $\R^{d}$ from partial (on part of the boundary) dynamic boundary measurements. In this paper we prove that the knowledge of the partial Cauchy data for this class of hyperbolic PDE on any open subset $Γ$ of the boundary determines explicitly the coefficient $c$ provided that $c$ is known outside a bounded domain. Then, through construction of appropriate test functions by a geometrical control method, we derive a formula…
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.
The goal of this paper is to investigate Gevrey properties of formal solutions of certain generalized linear partial differential equations with variable coefficients. In particular, we extend the notion of moment partial differential equations to include differential operators that are not connected with kernel functions. Using the modified version of Nagumo norms and the properties of the Newton polygon we compute the Gevrey estimate for formal solutions of such generalized partial differential equations.
A uniqueness result for the recovery of the electric and magnetic coefficients in the time-harmonic Maxwell equations from local boundary measurements is proven. No special geometrical condition is imposed on the inaccessible part of the boundary of the domain, apart from imposing that the boundary of the domain is $C^{1,1}$. The coefficients are assumed to coincide on a neighbourhood of the boundary, a natural property in applications.
The inverse problem for the Sturm- Liouville operator with complex periodic potential and discontinuous coefficients on the axis is studied. Main characteristics of the fundamental solutions are investigated, the spectrum of the operator is studied. We give formulation of the inverse problem, prove a uniqueness theorem and provide a constructive procedure for the solution of the inverse problem.
For v\in R^n let K be a compact set in R^n containing a suitable smooth surface and such that the intersection {tv+x:t\in R}\cap K is a closed interval or a single point for all x\in K. We prove that every linear first order differential operator with constant coefficients in direction v on space of Whitney functions E(K) admits a continuous linear right inverse.
We establish a global uniqueness result for an inverse boundary problem with partial data for the magnetic Schrödinger operator with a magnetic potential of class $W^{1,n}\cap L^\infty$, and an electric potential of class $L^n$. Our result is an extension, in terms of the regularity of the potentials, of the results [16] and [25]. As a consequence, we also show global uniqueness for a partial data inverse boundary problem for the advection-diffusion operator with the advection term of class $W^{1,n}\cap L^\infty$.
We prove uniqueness results for a Calderon type inverse problem for the Hodge Laplacian acting on graded forms on certain manifolds in three dimensions. In particular, we show that partial measurements of the relative-to-absolute or absolute-to-relative boundary value maps uniquely determine a zeroth order potential. The method is based on Carleman estimates for the Hodge Laplacian with relative or absolute boundary conditions, and on the construction of complex geometric optics solutions which reduce the Calderon type problem to a tensor tomography problem for 2-tensors. The arguments in this…
First, we establish the theory of fractional powers of first order differential operators with zero order terms, obtaining PDE properties and analyzing the corresponding fractional Sobolev spaces. In particular, our study shows that Lebesgue and Sobolev spaces with inverse measures (like the inverse Gaussian measure) play a fundamental role in the theory of fractional powers of the first order operators. Second, and motivated in part by such a theory, we lay out the foundations for the development of the harmonic analysis for \emph{inverse} measures. We discover new families of polynomials rel…
This article introduces the splitting method to systems responding to rough paths as external stimuli. The focus is on nonlinear partial differential equations with rough noise but we also cover rough differential equations. Applications to stochastic partial differential equations arising in control theory and nonlinear filtering are given.
We formulate stochastic partial differential equations on Riemannian manifolds, moving surfaces, general evolving Riemannian manifolds (with appropriate assumptions) and Riemannian manifolds with random metrics, in the variational setting of the analysis to stochastic partial differential equations. Considering mainly linear stochastic partial differential equations, we establish various existence and uniqueness theorems.
Let $Ω\subset \Bbb R^2$ be a bounded domain with $\partialΩ\in C^\infty$ and $L$ be a positive number. For a three dimensional cylindrical domain $Q=Ω\times (0,L)$, we obtain some uniqueness result of determining a complex-valued potential for the Schrödinger equation from partial Cauchy data when Dirichlet data vanish on a subboundary $(\partialΩ\setminus\widetildeΓ) \times [0,L]$ and the corresponding Neumann data are observed on $\widetildeΓ\times [0,L]$, where $\widetildeΓ$ is an arbitrary fixed open set of $\partialΩ.$
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 h…