No Arabic abstract
In this article, we investigate inverse source problems for a wide range of PDEs of parabolic and hyperbolic types as well as time-fractional evolution equations by partial interior observation. Restricting the source terms to the form of separated variables, we establish uniqueness results for simultaneously determining both temporal and spatial components without non-vanishing assumptions at $t=0$, which seems novel to the best of our knowledge. Remarkably, mostly we allow a rather flexible choice of the observation time not necessarily starting from $t=0$, which fits into various situations in practice. Our main approach is based on the combination of the Titchmarsh convolution theorem with unique continuation properties and time-analyticity of the PDEs under consideration.
In this paper, we discuss the uniqueness for solution to time-fractional diffusion equation $partial_t^alpha (u-u_0) + Au=0$ with the homogeneous Dirichlet boundary condition, where an elliptic operator $-A$ is not necessarily symmetric. We prove that the solution is identically zero if its normal derivative with respect to the operator $A$ vanishes on an arbitrary small part of the spatial domain over a time interval. The proof is based on the Laplace transform and the spectral decomposition, and is valid for more general time-fractional partial differential equations, including those involving non symmetric operators.
This article is concerned with two inverse problems on determining moving source profile functions in evolution equations with a derivative order $alphain(0,2]$ in time. In the first problem, the sources are supposed to move along known straight lines, and we suitably choose partial interior observation data in finite time. Reducing the problems to the determination of initial values, we prove the unique determination of one and two moving source profiles for $0<alphale1$ and $1<alphale2$, respectively. In the second problem, the orbits of moving sources are assumed to be known, and we consider the full lateral Cauchy data. At the cost of infinite observation time, we prove the unique determination of one moving source profile by constructing test functions.
In this article, we investigate the determination of the spatial component in the time-dependent second order coefficient of a hyperbolic equation from both theoretical and numerical aspects. By the Carleman estimates for general hyperbolic operators and an auxiliary Carleman estimate, we establish local Holder stability with both partial boundary and interior measurements under certain geometrical conditions. For numerical reconstruction, we minimize a Tikhonov functional which penalizes the gradient of the unknown function. Based on the resulting variational equation, we design an iteration method which is updated by solving a Poisson equation at each step. One-dimensional prototype examples illustrate the numerical performance of the proposed iteration.
In this paper we present some basic uniqueness results for evolutive equations under density constraints. First, we develop a rigorous proof of a well-known result (among specialists) in the case where the spontaneous velocity field satisfies a monotonicity assumption: we prove the uniqueness of a solution for first order systems modeling crowd motion with hard congestion effects, introduced recently by emph{Maury et al.} The monotonicity of the velocity field implies that the $2-$Wasserstein distance along two solutions is $lambda$-contractive, which in particular implies uniqueness. In the case of diffusive models, we prove the uniqueness of a solution passing through the dual equation, where we use some well-known parabolic estimates to conclude an $L^1-$contraction property. In this case, by the regularization effect of the non-degenerate diffusion, the result follows even if the given velocity field is only $L^infty$ as in the standard Fokker-Planck equation.
Given $(M,g)$, a compact connected Riemannian manifold of dimension $d geq 2$, with boundary $partial M$, we consider an initial boundary value problem for a fractional diffusion equation on $(0,T) times M$, $T>0$, with time-fractional Caputo derivative of order $alpha in (0,1) cup (1,2)$. We prove uniqueness in the inverse problem of determining the smooth manifold $(M,g)$ (up to an isometry), and various time-independent smooth coefficients appearing in this equation, from measurements of the solution on a subset of $partial M$ at fixed time. In the flat case where $M$ is a compact subset of $mathbb R^d$, two out the three coefficients $rho$ (weight), $a$ (conductivity) and $q$ (potential) appearing in the equation $rho partial_t^alpha u-textrm{div}(a abla u)+ q u=0$ on $(0,T)times Omega$ are recovered simultaneously.