-
Simultaneous Identification of Coefficients and Source in a Subdiffusion Equation from One Passive Measurement
Authors:
Maolin Deng,
Ali Feizmohammadi,
Bangti Jin,
Yavar Kian
Abstract:
This article is devoted to the detection of parameters in anomalous diffusion from a single passive measurement. More precisely, we consider the simultaneous identification of coefficients as well as a time-dependent source term appearing in a time-fractional diffusion equation from a single boundary or internal passive measurement. We obtain several uniqueness results in dimension one as well as…
▽ More
This article is devoted to the detection of parameters in anomalous diffusion from a single passive measurement. More precisely, we consider the simultaneous identification of coefficients as well as a time-dependent source term appearing in a time-fractional diffusion equation from a single boundary or internal passive measurement. We obtain several uniqueness results in dimension one as well as a multidimensional extension under some symmetry assumptions. Our analysis relies on spectral representation of solutions, complex and harmonic analysis combined with some known inverse spectral results for Sturm-Liouville operators. The theoretical results are complemented by a corresponding reconstruction algorithm and numerical simulations.
△ Less
Submitted 21 June, 2025;
originally announced June 2025.
-
Stable Determination and Reconstruction of a Quasilinear Term in an Elliptic Equation
Authors:
Jason Choy,
Maolin Deng,
Bangti Jin,
Yavar Kian
Abstract:
In this work, we investigate the inverse problem of determining a quasilinear term appearing in a nonlinear elliptic equation from the measurement of the conormal derivative on the boundary. This problem arises in several practical applications, e.g., heat conduction. We derive novel Hölder stability estimates for both multi- and one-dimensional cases: in the multi-dimensional case, the stability…
▽ More
In this work, we investigate the inverse problem of determining a quasilinear term appearing in a nonlinear elliptic equation from the measurement of the conormal derivative on the boundary. This problem arises in several practical applications, e.g., heat conduction. We derive novel Hölder stability estimates for both multi- and one-dimensional cases: in the multi-dimensional case, the stability estimates are stated with one single boundary measurement, whereas in the one-dimensional case, due to dimensionality limitation, the stability results are stated for the Dirichlet boundary condition varying in a space of dimension one. We derive these estimates using different properties of solution representations. We complement the theoretical results with numerical reconstructions of the quasilinear term, which illustrate the stable recovery of the quasilinear term in the presence of data noise.
△ Less
Submitted 12 April, 2025;
originally announced April 2025.
-
Point Source Identification in Subdiffusion from A Posteriori Internal Measurement
Authors:
Kuang Huang,
Bangti Jin,
Yavar Kian,
Georges Sadaka,
Zhi Zhou
Abstract:
In this work we investigate an inverse problem of recovering point sources and their time-dependent strengths from {a posteriori} partial internal measurements in a subdiffusion model which involves a Caputo fractional derivative in time and a general second-order elliptic operator in space. We establish the well-posedness of the direct problem in the sense of transposition and improved local regu…
▽ More
In this work we investigate an inverse problem of recovering point sources and their time-dependent strengths from {a posteriori} partial internal measurements in a subdiffusion model which involves a Caputo fractional derivative in time and a general second-order elliptic operator in space. We establish the well-posedness of the direct problem in the sense of transposition and improved local regularity. Using classical unique continuation of the subdiffusion model and improved local solution regularity, we prove the uniqueness of simultaneously recovering the locations of point sources, time-dependent strengths and initial condition for both one- and multi-dimensional cases. Moreover, in the one-dimensional case, the elliptic operator can have time-dependent coefficients. These results extend existing studies on point source identification for parabolic type problems. Additionally we present several numerical experiments to show the feasibility of numerical reconstruction.
△ Less
Submitted 11 December, 2024;
originally announced December 2024.
-
Simultaneous stable determination of quasilinear terms for parabolic equations
Authors:
Jason Choy,
Yavar Kian
Abstract:
In this work, we consider the inverse problem of simultaneously recovering two classes of quasilinear terms appearing in a parabolic equation from boundary measurements. It is motivated by several industrial and scientific applications, including the problems of heat conduction and population dynamics, and we study the issue of stability. More precisely, we derive simultaneous Lipschitz and Hölder…
▽ More
In this work, we consider the inverse problem of simultaneously recovering two classes of quasilinear terms appearing in a parabolic equation from boundary measurements. It is motivated by several industrial and scientific applications, including the problems of heat conduction and population dynamics, and we study the issue of stability. More precisely, we derive simultaneous Lipschitz and Hölder stability estimates for two separate classes of quasilinear terms. The analysis combines different arguments including the linearization technique with a novel construction of singular solutions and properties of solutions of parabolic equations with nonsmooth boundary conditions. These stability results may be useful for deriving the convergence rate of numerical reconstruction schemes.
△ Less
Submitted 9 December, 2024;
originally announced December 2024.
-
Determination and reconstruction of a semilinear term from point measurements
Authors:
Yavar Kian,
Hongyu Liu,
Li-Li Wang,
Guang-Hui Zheng
Abstract:
In this article we study the inverse problem of determining a semilinear term appearing in an elliptic equation from boundary measurements. Our main objective is to develop flexible and general theoretical results that can be used for developing numerical reconstruction algorithm for this inverse problem. For this purpose, we develop a new method, based on different properties of solutions of elli…
▽ More
In this article we study the inverse problem of determining a semilinear term appearing in an elliptic equation from boundary measurements. Our main objective is to develop flexible and general theoretical results that can be used for developing numerical reconstruction algorithm for this inverse problem. For this purpose, we develop a new method, based on different properties of solutions of elliptic equations, for treating the determination of the semilinear term as a source term from a point measurement of the solutions. This approach not only allows us to make important relaxations on the data used so far for solving this class of inverse problems, including general Dirichlet excitation lying in a space of dimension one and measurements located at one point on the boundary of the domain, but it also allows us to derive a novel algorithm for the reconstruction of the semilinear term. The effectiveness of our algorithm is corroborated by extensive numerical experiments. Notably, as demonstrated by the theoretical analysis, we are able to effectively reconstruct the unknown nonlinear source term by utilizing solely the information provided by the measurement data at a single point.
△ Less
Submitted 14 November, 2024;
originally announced November 2024.
-
Determination of time dependent source terms for Stokes systems in unbounded domains
Authors:
Adel Blouza,
Léo Glangetas,
Yavar Kian,
Van-Sang Ngo
Abstract:
This article is devoted to the analysis of inverse source problems for Stokes systems in unbounded domains where the corresponding velocity flow is observed on a surface. Our main objective is to study the unique determination of general class of time-dependent and vector-valued source terms with potentially unknown divergence. Taking into account the challenges inherent in this class of inverse s…
▽ More
This article is devoted to the analysis of inverse source problems for Stokes systems in unbounded domains where the corresponding velocity flow is observed on a surface. Our main objective is to study the unique determination of general class of time-dependent and vector-valued source terms with potentially unknown divergence. Taking into account the challenges inherent in this class of inverse source problems, we aim to identify the most precise conditions that ensure their resolution. Motivated by various fluid motion problems, we explore several class of boundary measurements. Our proofs are based on different arguments, including unique continuation properties for Stokes systems, approximate controllability, complex analysis, and the application of explicit harmonic functions and explicit solutions for Stokes systems. This analysis is complemented by a reconstruction algorithm and examples of numerical computations.
△ Less
Submitted 31 July, 2024;
originally announced July 2024.
-
Recovery of an inclusion in Photoacoustic imaging
Authors:
Yavar Kian,
Faouzi Triki
Abstract:
In photoacoustic imaging the objective is to determine the optical properties of biological tissue from boundary measurement of the generated acoustic wave. Here, we propose a restriction to piecewise constant media parameters. Precisely we assume that the acoustic speed and the optical coefficients take two different constants inside and outside a star shaped inclusion. We show that the inclusion…
▽ More
In photoacoustic imaging the objective is to determine the optical properties of biological tissue from boundary measurement of the generated acoustic wave. Here, we propose a restriction to piecewise constant media parameters. Precisely we assume that the acoustic speed and the optical coefficients take two different constants inside and outside a star shaped inclusion. We show that the inclusion can be uniquely recovered from a single measurement. We also derive a stability estimate of Lipschitz type of the inversion. The proof of stability is based on an integral representation and a new observability inequality for the wave equation with piecewise constant speed that is of interest itself.
△ Less
Submitted 7 July, 2024;
originally announced July 2024.
-
Identification of a Spatially-Dependent Variable Order in One-Dimensional Subdiffusion
Authors:
Jiho Hong,
Bangti Jin,
Yavar Kian
Abstract:
In this work we investigate an inverse problem of identifying a spatially variable order in the one-dimensional subdiffusion model from the boundary flux measurement. The model involves a generalized Caputo derivative in time, and arises in the mathematical modeling of anomalous diffusion in heterogeneous media. We prove the unique recovery of a monotone piecewise constant variable order and its r…
▽ More
In this work we investigate an inverse problem of identifying a spatially variable order in the one-dimensional subdiffusion model from the boundary flux measurement. The model involves a generalized Caputo derivative in time, and arises in the mathematical modeling of anomalous diffusion in heterogeneous media. We prove the unique recovery of a monotone piecewise constant variable order and its range for known and unknown media, respectively. The analysis is based on a delicate asymptotic expansion of the Laplace transform of the data as $p\to0$, which is of independent interest.
△ Less
Submitted 27 November, 2024; v1 submitted 2 July, 2024;
originally announced July 2024.
-
Partial data inverse problems for reaction-diffusion and heat equations
Authors:
Ali Feizmohammadi,
Yavar Kian,
Gunther Uhlmann
Abstract:
We study partial data inverse problems for linear and nonlinear parabolic equations with unknown time-dependent coefficients. In particular, we prove uniqueness results for partial data inverse problems for semilinear reaction-diffusion equations where Dirichlet boundary data and Neumann measurements of solutions are restricted to any open subset of the boundary. We also prove injectivity of the F…
▽ More
We study partial data inverse problems for linear and nonlinear parabolic equations with unknown time-dependent coefficients. In particular, we prove uniqueness results for partial data inverse problems for semilinear reaction-diffusion equations where Dirichlet boundary data and Neumann measurements of solutions are restricted to any open subset of the boundary. We also prove injectivity of the Fréchet derivative of the partial Dirichlet-to-Neumann map associated to heat equations. Our proof consists of two crucial ingredients; (i) we introduce an asymptotic family of spherical quasimodes that approximately solve heat equations modulo an exponentially decaying remainder term and (ii) the asymptotic study of a weighted Laplace transform of the unknown coefficient along a straight line segment in the domain where the weight may be viewed as a semiclassical symbol that itself depends on the complex-valued frequency. The latter analysis will rely on Phragmén-Lindelöf principle and Grönwall inequality.
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
-
Inverse Coefficient Problem for One-Dimensional Subdiffusion with Data on Disjoint Sets in Time
Authors:
Siyu Cen,
Bangti Jin,
Yavar Kian,
Eric Soccorsi,
Rachid Zarouf,
Zhi Zhou
Abstract:
In this work we investigate an inverse coefficient problem for the one-dimensional subdiffusion model, which involves a Caputo fractional derivative in time. The inverse problem is to determine two coefficients and multiple parameters (the order, and length of the interval) from one pair of lateral Cauchy data. The lateral Cauchy data are given on disjoint sets in time with a single excitation and…
▽ More
In this work we investigate an inverse coefficient problem for the one-dimensional subdiffusion model, which involves a Caputo fractional derivative in time. The inverse problem is to determine two coefficients and multiple parameters (the order, and length of the interval) from one pair of lateral Cauchy data. The lateral Cauchy data are given on disjoint sets in time with a single excitation and the measurement is made on a time sequence located outside the support of the excitation. We prove two uniqueness results for different lateral Cauchy data. The analysis is based on the solution representation, analyticity of the observation and a refined version of inverse Sturm-Liouville theory due to Sini [35]. Our results heavily exploit the memory effect of fractional diffusion for the unique recovery of the coefficients in the model. Several numerical experiments are also presented to complement the analysis.
△ Less
Submitted 18 March, 2024;
originally announced March 2024.
-
On time-fractional partial differential equations of time-dependent piecewise constant order
Authors:
Yavar Kian,
Marián Slodička,
Éric Soccorsi,
Karel Van Bockstal
Abstract:
This contribution considers the time-fractional subdiffusion with a time-dependent variable-order fractional operator of order $β(t)$. It is assumed that $β(t)$ is a piecewise constant function with a finite number of jumps. A proof technique based on the Fourier method and results from constant-order fractional subdiffusion equations has been designed. This novel approach results in the well-pose…
▽ More
This contribution considers the time-fractional subdiffusion with a time-dependent variable-order fractional operator of order $β(t)$. It is assumed that $β(t)$ is a piecewise constant function with a finite number of jumps. A proof technique based on the Fourier method and results from constant-order fractional subdiffusion equations has been designed. This novel approach results in the well-posedness of the problem.
△ Less
Submitted 5 February, 2024;
originally announced February 2024.
-
Determination of quasilinear terms from restricted data and point measurements
Authors:
Yavar Kian
Abstract:
We study the inverse problem of determining uniquely and stably quasilinear terms appearing in an elliptic equation from boundary excitations and measurements associated with the solutions of the corresponding equation. More precisely, we consider the determination of quasilinear terms depending simultaneously on the solution and the gradient of the solution of the elliptic equation from measureme…
▽ More
We study the inverse problem of determining uniquely and stably quasilinear terms appearing in an elliptic equation from boundary excitations and measurements associated with the solutions of the corresponding equation. More precisely, we consider the determination of quasilinear terms depending simultaneously on the solution and the gradient of the solution of the elliptic equation from measurements of the flux restricted to some fixed and finite number of points located at the boundary of the domain generated by Dirichlet data lying on a finite dimensional space. Our Dirichlet data will be explicitly given by affine functions taking values in $\mathbb R$. We prove our results by considering a new approach based on explicit asymptotic properties of solutions of these class of nonlinear elliptic equations with respect to a small parameter imposed at the boundary of the domain.
△ Less
Submitted 12 September, 2023;
originally announced September 2023.
-
Rigidity of inverse problems for nonlinear elliptic equations on manifolds
Authors:
Ali Feizmohammadi,
Yavar Kian,
Lauri Oksanen
Abstract:
We consider the inverse problem of determining coefficients appearing in semilinear elliptic equations stated on Riemannian manifolds with boundary given the knowledge of the associated Dirichlet-to-Neumann map. We begin with a negative answer to this problem. Owing to this obstruction, we consider a new formulation of our inverse problem in terms of a rigidity problem. Precisely, we consider case…
▽ More
We consider the inverse problem of determining coefficients appearing in semilinear elliptic equations stated on Riemannian manifolds with boundary given the knowledge of the associated Dirichlet-to-Neumann map. We begin with a negative answer to this problem. Owing to this obstruction, we consider a new formulation of our inverse problem in terms of a rigidity problem. Precisely, we consider cases where the Dirichlet-to-Neumann map of a semilinear equation coincides with the one of a linear equation and ask whether this implies that the equation must indeed be linear. We give a positive answer to this rigidity problem under some assumptions imposed to the Riemannian manifold and to the semilinear term under consideration.
△ Less
Submitted 9 June, 2023;
originally announced June 2023.
-
On determining and breaking the gauge class in inverse problems for reaction-diffusion equations
Authors:
Yavar Kian,
Tony Liimatainen,
Yi-Hsuan Lin
Abstract:
We investigate an inverse boundary value problem of determination of a nonlinear law for reaction-diffusion processes, which are modeled by general form semilinear parabolic equations. We do not assume that any solutions to these equations are known a priori, in which case the problem has a well known gauge symmetry. We determine, under additional assumptions, the semilinear term up to this symmet…
▽ More
We investigate an inverse boundary value problem of determination of a nonlinear law for reaction-diffusion processes, which are modeled by general form semilinear parabolic equations. We do not assume that any solutions to these equations are known a priori, in which case the problem has a well known gauge symmetry. We determine, under additional assumptions, the semilinear term up to this symmetry in a time-dependent anisotropic case modeled on Riemannian manifolds, and for partial data measurements on $\mathbb{R}^n$. Moreover, we present cases where it is possible to exploit the nonlinear interaction to break the gauge symmetry. This leads to full determination results of the nonlinear term. As an application, we show that it is possible to give a full resolution to classes of inverse source problems of determining a source term and nonlinear terms simultaneously. This is in strict contrast to inverse source problems for corresponding linear equations, which always have the gauge symmetry. We also consider a Carleman estimate with boundary terms based on intrinsic properties of parabolic equations.
△ Less
Submitted 28 March, 2023;
originally announced March 2023.
-
Determination of the sound speed and an initial source in photoacoustic tomography
Authors:
Yavar Kian,
Gunther Uhlmann
Abstract:
In thermoacoustic and photoacoustic tomography an electromagnetic wave is sent through a medium, heating it and therefore generating an elastic expansion that in turns generates an acoustic wave that is measured outside the medium. The general problem is to recover both the inhomogeneous sound speed and the initial pressure from the boundary measurements of the solution of the acoustic wave equati…
▽ More
In thermoacoustic and photoacoustic tomography an electromagnetic wave is sent through a medium, heating it and therefore generating an elastic expansion that in turns generates an acoustic wave that is measured outside the medium. The general problem is to recover both the inhomogeneous sound speed and the initial pressure from the boundary measurements of the solution of the acoustic wave equation with a single measurement of the pressure. We show that one can recover both the sound speed and the initial pressure assuming a monocitiy condition on the sound speed that includes the physically interesting case of piecewise constant sound speeds. We also establish a link between this problem and the corresponding transmission eigenvalue problem.
△ Less
Submitted 7 February, 2023;
originally announced February 2023.
-
Inverse Problems for Subdiffusion from Observation at an Unknown Terminal Time
Authors:
Bangti Jin,
Yavar Kian,
Zhi Zhou
Abstract:
Inverse problems of recovering space-dependent parameters, e.g., initial condition, space-dependent source or potential coefficient, in a subdiffusion model from the terminal observation have been extensively studied in recent years. However, all existing studies have assumed that the terminal time at which one takes the observation is exactly known. In this work, we present uniqueness and stabili…
▽ More
Inverse problems of recovering space-dependent parameters, e.g., initial condition, space-dependent source or potential coefficient, in a subdiffusion model from the terminal observation have been extensively studied in recent years. However, all existing studies have assumed that the terminal time at which one takes the observation is exactly known. In this work, we present uniqueness and stability results for three canonical inverse problems, e.g., backward problem, inverse source and inverse potential problems, from the terminal observation at an unknown time. The subdiffusive nature of the problem indicates that one can simultaneously determine the terminal time and space-dependent parameter. The analysis is based on explicit solution representations, asymptotic behavior of the Mittag-Leffler function, and mild regularity conditions on the problem data. Further, we present several one- and two-dimensional numerical experiments to illustrate the feasibility of the approach.
△ Less
Submitted 14 October, 2022;
originally announced October 2022.
-
Solving time-fractional diffusion equations with singular source term
Authors:
Yavar Kian,
Eric Soccorsi
Abstract:
This article deals with time-fractional diffusion equations with time-dependent singular source term. Whenever the order of the time-fractional derivative is either multi-term, distributed or space-dependent, we prove that the system admits a unique weak solution enjoying a Duhamel representation, provided that the time-dependence of the source term is a distribution.
This article deals with time-fractional diffusion equations with time-dependent singular source term. Whenever the order of the time-fractional derivative is either multi-term, distributed or space-dependent, we prove that the system admits a unique weak solution enjoying a Duhamel representation, provided that the time-dependence of the source term is a distribution.
△ Less
Submitted 4 September, 2022;
originally announced September 2022.
-
Recovery of a Distributed Order Fractional Derivative in an Unknown Medium
Authors:
Bangti Jin,
Yavar Kian
Abstract:
In this work, we study an inverse problem of recovering information about the weight in distributed-order time-fractional diffusion from the observation at one single point on the domain boundary. In the absence of an explicit knowledge of the medium, we prove that the one-point observation can uniquely determine the support bound of the weight. The proof is based on asymptotics of the data, analy…
▽ More
In this work, we study an inverse problem of recovering information about the weight in distributed-order time-fractional diffusion from the observation at one single point on the domain boundary. In the absence of an explicit knowledge of the medium, we prove that the one-point observation can uniquely determine the support bound of the weight. The proof is based on asymptotics of the data, analytic continuation and Titchmarch convolution theorem. When the medium is known, we give an alternative proof of an existing result, i.e., the one-point boundary observation uniquely determines the weight. Several numerical experiments are also presented to complement the analysis.
△ Less
Submitted 6 January, 2023; v1 submitted 26 July, 2022;
originally announced July 2022.
-
Inverse source problem with a posteriori boundary measurement for fractional diffusion equations
Authors:
Jaan Janno,
Yavar Kian
Abstract:
In this article we study inverse source problems for time-fractional diffusion equations from \textit{a posteriori} boundary measurement. Using the memory effect of these class of equations, we solve these inverse problems for several class of space or time dependent source terms. We prove also the unique determination of a general class of space-time dependent separated variables source terms fro…
▽ More
In this article we study inverse source problems for time-fractional diffusion equations from \textit{a posteriori} boundary measurement. Using the memory effect of these class of equations, we solve these inverse problems for several class of space or time dependent source terms. We prove also the unique determination of a general class of space-time dependent separated variables source terms from such measurement. Our approach is based on the study of singularities of the Laplace transform in time of boundary traces of solutions of time-fractional diffusion equations.
△ Less
Submitted 13 July, 2022;
originally announced July 2022.
-
Stable determination of unbounded potential by asymptotic boundary spectral data
Authors:
Yavar Kian,
Éric Soccorsi
Abstract:
We consider the Dirichlet Laplacian $A_q=-Δ+q$ in a bounded domain $Ω\subset \mathbb{R}^d$, $d \ge 3$, with real-valued perturbation $q \in L^{\max(2 , 3 d / 5)}(Ω)$. We examine the stability issue in the inverse problem of determining the electric potential $q$ from the asymptotic behavior of the eigenvalues of $A_q$. Assuming that the boundary measurement of the normal derivative of the eigenfun…
▽ More
We consider the Dirichlet Laplacian $A_q=-Δ+q$ in a bounded domain $Ω\subset \mathbb{R}^d$, $d \ge 3$, with real-valued perturbation $q \in L^{\max(2 , 3 d / 5)}(Ω)$. We examine the stability issue in the inverse problem of determining the electric potential $q$ from the asymptotic behavior of the eigenvalues of $A_q$. Assuming that the boundary measurement of the normal derivative of the eigenfunctions is a square summable sequence in $L^2(\partial Ω)$, we prove that $q$ can be Hölder stably retrieved through knowledge of the asymptotics of the eigenvalues
△ Less
Submitted 9 April, 2022; v1 submitted 18 March, 2022;
originally announced March 2022.
-
Lipschitz and Hölder stable determination of nonlinear terms for elliptic equations
Authors:
Yavar Kian
Abstract:
We consider the inverse problem of determining some class of nonlinear terms appearing in an elliptic equation from boundary measurements. More precisely, we study the stability issue for this class of inverse problems. Under suitable assumptions, we prove a Lipschitz and a Hölder stability estimate associated with the determination of quasilinear and semilinear terms appearing in this class of el…
▽ More
We consider the inverse problem of determining some class of nonlinear terms appearing in an elliptic equation from boundary measurements. More precisely, we study the stability issue for this class of inverse problems. Under suitable assumptions, we prove a Lipschitz and a Hölder stability estimate associated with the determination of quasilinear and semilinear terms appearing in this class of elliptic equations from measurements restricted to an arbitrary parts of the boundary of the domain. Besides their mathematical interest, our stability estimates can be useful for improving numerical reconstruction of this class of nonlinear terms. Our approach combines the linearization technique with applications of suitable class of singular solutions.
△ Less
Submitted 21 March, 2022; v1 submitted 6 March, 2022;
originally announced March 2022.
-
The enclosure method for the detection of variable order in fractional diffusion equations
Authors:
Masaru Ikehata,
Yavar Kian
Abstract:
This paper is concerned with a new type of inverse obstacle problem governed by a variable-order time-fraction diffusion equation in a bounded domain. The unknown obstacle is a region where the space dependent variable-order of fractional time derivative of the governing equation deviates from a known homogeneous background one. The observation data is given by the Neumann data of the solution of…
▽ More
This paper is concerned with a new type of inverse obstacle problem governed by a variable-order time-fraction diffusion equation in a bounded domain. The unknown obstacle is a region where the space dependent variable-order of fractional time derivative of the governing equation deviates from a known homogeneous background one. The observation data is given by the Neumann data of the solution of the governing equation for a specially designed Dirichlet data. Under a suitable jump condition on the deviation, it is shown that the most recent version of the time domain enclosure method enables one to extract information about the geometry of the obstacle and a qualitative nature of the jump, from the observation data.
△ Less
Submitted 17 February, 2022; v1 submitted 6 February, 2022;
originally announced February 2022.
-
Identification of unbounded electric potentials through asymptotic boundary spectral data
Authors:
Mourad Bellassoued,
Yavar Kian,
Yosra Mannoubi,
Eric Soccorsi
Abstract:
We prove that the real-valued electric potential $q \in L^{\max(2,3 n / 5)}(Ω)$ of the Dirichlet Laplacian $-Δ+q$ acting in a bounded domain $Ω\subset \mathbb{R}^n$, $n \ge 3$, is uniquely determined by the asymptotics of the eigenpairs formed by the eigenvalues and the boundary observation of the normal derivative of the eigenfunctions.
We prove that the real-valued electric potential $q \in L^{\max(2,3 n / 5)}(Ω)$ of the Dirichlet Laplacian $-Δ+q$ acting in a bounded domain $Ω\subset \mathbb{R}^n$, $n \ge 3$, is uniquely determined by the asymptotics of the eigenpairs formed by the eigenvalues and the boundary observation of the normal derivative of the eigenfunctions.
△ Less
Submitted 14 January, 2022;
originally announced January 2022.
-
Logarithmic stable recovery of the source and the initial state of time fractional diffusion equations
Authors:
Yavar Kian,
Eric Soccorsi,
Faouzi Triki
Abstract:
In this paper we study the inverse problem of identifying a source or an initial state in a time-fractional diffusion equation from the knowledge of a single boundary measurement. We derive logarithmic stability estimates for both inversions. These results show that the ill-posedness increases exponentially when the fractional derivative order tends to zero, while it exponentially decreases when t…
▽ More
In this paper we study the inverse problem of identifying a source or an initial state in a time-fractional diffusion equation from the knowledge of a single boundary measurement. We derive logarithmic stability estimates for both inversions. These results show that the ill-posedness increases exponentially when the fractional derivative order tends to zero, while it exponentially decreases when the regularity of the source or the initial state becomes larger. The stability estimate concerning the problem of recovering the initial state can be considered as a weak observability inequality in control theory. The analysis is mainly based on Laplace inversion techniques and a precise quantification of the unique continuation property for the resolvent of the time-fractional diffusion operator as a function of the frequency in the complex plane. We also determine a global time regularity for the time-fractional diffusion equation which is of interest itself.
△ Less
Submitted 20 December, 2021;
originally announced December 2021.
-
An inverse problem for a quasilinear convection--diffusion equation
Authors:
Ali Feizmohammadi,
Yavar Kian,
Gunther Uhlmann
Abstract:
We study the inverse problem of recovering a semilinear diffusion term $a(t,λ)$ as well as a quasilinear convection term $\mathcal B(t,x,λ,ξ)$ in a nonlinear parabolic equation $$\partial_tu-\textrm{div}(a(t,u) \nabla u)+\mathcal B(t,x,u,\nabla u)\cdot\nabla u=0, \quad \mbox{in}\ (0,T)\timesΩ,$$ given the knowledge of the flux of the moving quantity associated with different sources applied at the…
▽ More
We study the inverse problem of recovering a semilinear diffusion term $a(t,λ)$ as well as a quasilinear convection term $\mathcal B(t,x,λ,ξ)$ in a nonlinear parabolic equation $$\partial_tu-\textrm{div}(a(t,u) \nabla u)+\mathcal B(t,x,u,\nabla u)\cdot\nabla u=0, \quad \mbox{in}\ (0,T)\timesΩ,$$ given the knowledge of the flux of the moving quantity associated with different sources applied at the boundary of the domain. This inverse problem that is modeled by the solution dependent parameters $a$ and $\mathcal B$ has many physical applications related to various classes of cooperative interactions or complex mixing in diffusion processes. Our main result states that, under suitable assumptions, it is possible to fully recover the nonlinear diffusion term $a$ as well as the nonlinear convection term $\mathcal B$. The recovery of the diffusion term is based on the idea of solutions to the linearized equation with singularities near the boundary $\partial Ω$. Our proof of the recovery of the convection term is based on the idea of higher order linearization to reduce the inverse problem to a density property for certain anisotropic products of solutions to the linearized equation. We show this density property by constructing sufficiently smooth geometric optic solutions concentrating on rays in $Ω$.
△ Less
Submitted 14 November, 2021;
originally announced November 2021.
-
Equivalence of definitions of solutions for some class of fractional diffusion equations
Authors:
Yavar Kian
Abstract:
We study the unique existence of weak solutions for initial boundary value problems associated with different class of fractional diffusion equations including variable order, distributed order and multiterm fractional diffusion equations. So far, different definitions of weak solutions have been considered for these class of problems. This includes definition of solutions in a variational sense a…
▽ More
We study the unique existence of weak solutions for initial boundary value problems associated with different class of fractional diffusion equations including variable order, distributed order and multiterm fractional diffusion equations. So far, different definitions of weak solutions have been considered for these class of problems. This includes definition of solutions in a variational sense and definition of solutions from properties of their Laplace transform in time. The goal of the present article is to unify these two approaches by showing the equivalence of these two definitions. Such property allows also to show that the weak solutions under consideration combine the advantage of these two class of solutions which include representation of solutions by a Duhamel type of formula, suitable properties of Laplace transform of solutions, resolution of the equation in the sense of distributions and explicit link with the initial condition.
△ Less
Submitted 11 November, 2021;
originally announced November 2021.
-
Determination of source and initial values for acoustic equations with a time-fractional attenuation
Authors:
Xinchi Huang,
Yavar Kian,
Eric Soccorsi,
Masahiro Yamamoto
Abstract:
We consider the inverse problem of determining the initial states or the source term of a hyperbolic equation damped by some non-local time-fractional derivative. This framework is relevant to medical imaging such as thermoacoustic or photoacoustic tomography. We prove a stability estimate for each of these two problems, with the aid of a Carleman estimate specifically designed for the governing e…
▽ More
We consider the inverse problem of determining the initial states or the source term of a hyperbolic equation damped by some non-local time-fractional derivative. This framework is relevant to medical imaging such as thermoacoustic or photoacoustic tomography. We prove a stability estimate for each of these two problems, with the aid of a Carleman estimate specifically designed for the governing equation.
△ Less
Submitted 9 November, 2021;
originally announced November 2021.
-
Recovering Multiple Fractional Orders in Time-Fractional Diffusion in an Unknown Medium
Authors:
Bangti Jin,
Yavar Kian
Abstract:
In this work, we investigate an inverse problem of recovering multiple orders in a time-fractional diffusion model from the data observed at one single point on the boundary. We prove the unique recovery of the orders together with their weights, which does not require a full knowledge of the domain or medium properties, e.g., diffusion and potential coefficients, initial condition and source in t…
▽ More
In this work, we investigate an inverse problem of recovering multiple orders in a time-fractional diffusion model from the data observed at one single point on the boundary. We prove the unique recovery of the orders together with their weights, which does not require a full knowledge of the domain or medium properties, e.g., diffusion and potential coefficients, initial condition and source in the model. The proof is based on Laplace transform and asymptotic expansion. Further, inspired by the analysis, we propose a numerical procedure for recovering these parameters based on a nonlinear least-squares fitting with either fractional polynomials or rational approximations as the model function, and provide numerical experiments to illustrate the approach for small time $t$.
△ Less
Submitted 16 August, 2021; v1 submitted 4 June, 2021;
originally announced June 2021.
-
Uniqueness of Inverse Source Problems for General Evolution Equations
Authors:
Yavar Kian,
Yikan Liu,
Masahiro Yamamoto
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…
▽ More
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.
△ Less
Submitted 25 May, 2021;
originally announced May 2021.
-
Stable recovery of non-compactly supported electromagnetic potentials in unbounded domain
Authors:
Yavar Kian,
Yosra Soussi
Abstract:
We consider the inverse problem of determining an electromagnetic potential appearing in an infinite cylindrical domain from boundary measurements. More precisely, we prove the stable recovery of some general class of magnetic field and electric potential from boundary measurements. Assuming some knowledge of the unknown coefficients close to the boundary, we obtain also some results of stable rec…
▽ More
We consider the inverse problem of determining an electromagnetic potential appearing in an infinite cylindrical domain from boundary measurements. More precisely, we prove the stable recovery of some general class of magnetic field and electric potential from boundary measurements. Assuming some knowledge of the unknown coefficients close to the boundary, we obtain also some results of stable recovery with measurements restricted to some portion of the boundary. Our approach combines construction of complex geometric optics solutions and Carleman estimates suitably designed for our stability results stated in an unbounded domain.
△ Less
Submitted 18 March, 2021;
originally announced March 2021.
-
The Calderón inverse problem for isotropic quasilinear conductivities
Authors:
Cătălin I. Cârstea,
Ali Feizmohammadi,
Yavar Kian,
Katya Krupchyk,
Gunther Uhlmann
Abstract:
We prove a global uniqueness result for the Calderón inverse problem for a general quasilinear isotropic conductivity equation on a bounded open set with smooth boundary in dimension $n\ge 3$. Performing higher order linearizations of the nonlinear Dirichlet--to--Neumann map, we reduce the problem of the recovery of the differentials of the quasilinear conductivity, which are symmetric tensors, to…
▽ More
We prove a global uniqueness result for the Calderón inverse problem for a general quasilinear isotropic conductivity equation on a bounded open set with smooth boundary in dimension $n\ge 3$. Performing higher order linearizations of the nonlinear Dirichlet--to--Neumann map, we reduce the problem of the recovery of the differentials of the quasilinear conductivity, which are symmetric tensors, to a completeness property for certain anisotropic products of solutions to the linearized equation. The completeness property is established using complex geometric optics solutions to the linearized conductivity equation, whose amplitudes concentrate near suitable two dimensional planes.
△ Less
Submitted 10 March, 2021;
originally announced March 2021.
-
Reconstruction of a Space-Time Dependent Source in Subdiffusion Models via a Perturbation Approach
Authors:
Bangti Jin,
Yavar Kian,
Zhi Zhou
Abstract:
In this article we study inverse problems of recovering a space-time dependent source component from the lateral boundary observation in a subidffusion model. The mathematical model involves a Djrbashian-Caputo fractional derivative of order $α\in(0,1)$ in time, and a second-order elliptic operator with time-dependent coefficients. We establish a well-posedness and a conditional stability result f…
▽ More
In this article we study inverse problems of recovering a space-time dependent source component from the lateral boundary observation in a subidffusion model. The mathematical model involves a Djrbashian-Caputo fractional derivative of order $α\in(0,1)$ in time, and a second-order elliptic operator with time-dependent coefficients. We establish a well-posedness and a conditional stability result for the inverse problems using a novel perturbation argument and refined regularity estimates of the associated direct problem. Further, we present an algorithm for efficiently and accurately reconstructing the source component, and provide several two-dimensional numerical results showing the feasibility of the recovery.
△ Less
Submitted 18 May, 2021; v1 submitted 5 February, 2021;
originally announced February 2021.
-
Recovery of the Order of Derivation for Fractional Diffusion Equations in an Unknown Medium
Authors:
Bangti Jin,
Yavar Kian
Abstract:
In this work, we investigate the recovery of a parameter in a diffusion process given by the order of derivation in time for a class of diffusion type equations, including both classical and time-fractional diffusion equations, from the flux measurement observed at one point on the boundary. The mathematical model for time-fractional diffusion equations involves a Djrbashian-Caputo fractional deri…
▽ More
In this work, we investigate the recovery of a parameter in a diffusion process given by the order of derivation in time for a class of diffusion type equations, including both classical and time-fractional diffusion equations, from the flux measurement observed at one point on the boundary. The mathematical model for time-fractional diffusion equations involves a Djrbashian-Caputo fractional derivative in time. We prove a uniqueness result in an unknown medium (e.g., diffusion coefficients, obstacle, initial condition and source), i.e., the recovery of the order of derivation in a diffusion process having several pieces of unknown information. The proof relies on the analyticity of the solution at large time, asymptotic decay behavior, strong maximum principle of the elliptic problem and suitable application of the Hopf lemma. Further we provide an easy-to-implement reconstruction algorithm based on a nonlinear least-squares formulation, and several numerical experiments are presented to complement the theoretical analysis.
△ Less
Submitted 3 November, 2021; v1 submitted 18 January, 2021;
originally announced January 2021.
-
Recovery of nonlinear terms for reaction diffusion equations from boundary measurements
Authors:
Yavar Kian,
Gunther Uhlmann
Abstract:
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 t…
▽ More
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.
△ Less
Submitted 11 November, 2020;
originally announced November 2020.
-
Partial data inverse problems for quasilinear conductivity equations
Authors:
Yavar Kian,
Katya Krupchyk,
Gunther Uhlmann
Abstract:
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 harmo…
▽ More
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.
△ Less
Submitted 2 November, 2020; v1 submitted 21 October, 2020;
originally announced October 2020.
-
Inverse parabolic problems of determining functions with one spatial-component independence by Carleman estimate
Authors:
Oleg Yu. Imanuvilov,
Yavar Kian,
Masahiro Yamamoto
Abstract:
For an initial-boundary value problem for a parabolic equation in the spatial variable $x=(x_1,.., x_n)$ and time $t$, we consider an inverse problem of determining a coefficient which is independent of one spatial component $x_n$ by extra lateral boundary data. We apply a Carleman estimate to prove a conditional stability estimate for the inverse problem. Also we prove similar results for the cor…
▽ More
For an initial-boundary value problem for a parabolic equation in the spatial variable $x=(x_1,.., x_n)$ and time $t$, we consider an inverse problem of determining a coefficient which is independent of one spatial component $x_n$ by extra lateral boundary data. We apply a Carleman estimate to prove a conditional stability estimate for the inverse problem. Also we prove similar results for the corresponding inverse source problem.
△ Less
Submitted 21 September, 2020;
originally announced September 2020.
-
Simultaneous determination of coefficients, internal sources and an obstacle of a diffusion equation from a single measurement
Authors:
Yavar Kian
Abstract:
This article is devoted to the simultaneous resolution of three inverse problems, among the most important formulation of inverse problems for partial differential equations, stated for some class of diffusion equations from a single boundary measurement. Namely, we consider the simultaneous unique determination of several class of coefficients, some internal sources (a source term and an initial…
▽ More
This article is devoted to the simultaneous resolution of three inverse problems, among the most important formulation of inverse problems for partial differential equations, stated for some class of diffusion equations from a single boundary measurement. Namely, we consider the simultaneous unique determination of several class of coefficients, some internal sources (a source term and an initial condition) and an obstacle appearing in a diffusion equation from a single boundary measurement. Our problem can be formulated as the simultaneous determination of information about a diffusion process (velocity field, density of the medium), an obstacle and of the source of diffusion. We consider this problems in the context of a classical diffusion process described by a convection-diffusion equation as well as an anomalous diffusion phenomena described by a time fractional diffusion equation.
△ Less
Submitted 15 June, 2021; v1 submitted 17 July, 2020;
originally announced July 2020.
-
Well-posedness for weak and strong solutions of non-homogeneous initial boundary value problems for fractional diffusion equations
Authors:
Yavar Kian,
Masahiro Yamamoto
Abstract:
We study the well-posedness for initial boundary value problems associated with time fractional diffusion equations with non-homogenous boundary and initial values. We consider both weak and strong solutions for the problems. For weak solutions, we introduce a new definition of solutions which allows to prove the existence of solution to the initial boundary value problems with non-zero initial an…
▽ More
We study the well-posedness for initial boundary value problems associated with time fractional diffusion equations with non-homogenous boundary and initial values. We consider both weak and strong solutions for the problems. For weak solutions, we introduce a new definition of solutions which allows to prove the existence of solution to the initial boundary value problems with non-zero initial and boundary values and non-homogeneous terms lying in some arbitrary negative-order Sobolev spaces. For strong solutions, we introduce an optimal compatibility condition and prove the existence of the solutions. We introduce also some sharp conditions guaranteeing the existence of solutions with more regularity in time and space.
△ Less
Submitted 29 April, 2020;
originally announced April 2020.
-
Global recovery of a time-dependent coefficient for the wave equation from a single measurement
Authors:
Ali Feizmohammadi,
Yavar Kian
Abstract:
We consider the formally determined inverse problem of recovering an unknown time-dependent potential function from the knowledge of the restriction of the solution of the wave equation to a small subset, subject to a single external source. We show that one can determine the potential function, up to the natural obstruction for the problem, by using a single source placed in the exterior of the s…
▽ More
We consider the formally determined inverse problem of recovering an unknown time-dependent potential function from the knowledge of the restriction of the solution of the wave equation to a small subset, subject to a single external source. We show that one can determine the potential function, up to the natural obstruction for the problem, by using a single source placed in the exterior of the spacetime domain and subsequently measuring the solution in a small neighborhood outside of the spacetime domain. The approach is based on considering a dense collection of light rays and constructing a source function that combines a countable collection of sources that each generates a wave packet near a light ray in the collection. We show that measuring the solution corresponding to that single source simultaneously determines the light ray transform along all the light rays in the collection. The result then follows from injectivity of the light ray transform. Our proof also provides a reconstruction algorithm.
△ Less
Submitted 27 March, 2020; v1 submitted 26 February, 2020;
originally announced February 2020.
-
Identification of time-varying source term in time-fractional diffusion equations
Authors:
Yavar Kian,
Eric Soccorsi,
Qi Xue,
Masahiro Yamamoto
Abstract:
This paper is concerned with the inverse problem of determining the time and space dependent source term of diffusion equations with constant-order time-fractional derivative in $(0,2)$. We examine two different cases. In the first one, the source is the product of two spatial and temporal terms, and we prove that both of them can be retrieved by knowledge of one arbitrary internal measurement of…
▽ More
This paper is concerned with the inverse problem of determining the time and space dependent source term of diffusion equations with constant-order time-fractional derivative in $(0,2)$. We examine two different cases. In the first one, the source is the product of two spatial and temporal terms, and we prove that both of them can be retrieved by knowledge of one arbitrary internal measurement of the solution for all times. In the second case, we assume that the first term of the product varies with one fixed space variable, while the second one is a function of all the remaining space variables and the time variable, and we show that both terms are uniquely determined by two arbitrary lateral measurements of the solution over the entire time span. These two source identification results boil down to a weak unique continuation principle in the first case and a unique continuation principle for Cauchy data in the second one, that are preliminarily established. Finally, numerical reconstruction of spatial term of source terms in the form of the product of two spatial and temporal terms, is carried out through an iterative algorithm based on the Tikhonov regularization method.
△ Less
Submitted 25 June, 2021; v1 submitted 22 November, 2019;
originally announced November 2019.
-
Inverse initial problem for fractional reaction-diffusion equation with nonlinearities
Authors:
Tran Bao Ngoc,
Yavar Kian,
Nguyen Huy Tuan
Abstract:
The initial inverse problem of finding solutions and their initial values ($t = 0$) appearing in a general class of fractional reaction-diffusion equations from the knowledge of solutions at the final time ($t = T$). Our work focuses on the existence and regularity of mild solutions in two cases: \begin{itemize} \item[--] The first case: The nonlinearity is globally Lipschitz and uniformly bounded…
▽ More
The initial inverse problem of finding solutions and their initial values ($t = 0$) appearing in a general class of fractional reaction-diffusion equations from the knowledge of solutions at the final time ($t = T$). Our work focuses on the existence and regularity of mild solutions in two cases: \begin{itemize} \item[--] The first case: The nonlinearity is globally Lipschitz and uniformly bounded which plays important roles in PDE theories, and especially in numerical analysis. \item[--] The second case: The nonlinearity is locally critical which widely arises from the Navier-Stokes, Schrödinger, Burgers, Allen-Cahn, Ginzburg-Landau equations, etc. \end{itemize} Our solutions are local-in-time and are derived via fixed point arguments in suitable functional spaces. The key idea is to combine the theories of Mittag-Leffler functions and fractional Sobolev embeddings. To firm the effectiveness of our methods, we finally apply our main results to time fractional Navier-Stokes and Allen-Cahn equations.
△ Less
Submitted 26 March, 2021; v1 submitted 20 October, 2019;
originally announced October 2019.
-
Lecture on Calderón problem
Authors:
Yavar Kian
Abstract:
We consider the so called Calderón problem which corresponds to the determination of a conductivity appearing in an elliptic equation from boundary measurements. Using several known results we propose a simplified and self contained proof of this result.
We consider the so called Calderón problem which corresponds to the determination of a conductivity appearing in an elliptic equation from boundary measurements. Using several known results we propose a simplified and self contained proof of this result.
△ Less
Submitted 19 September, 2019;
originally announced September 2019.
-
Uniqueness to some inverse source problems for the wave equation in unbounded domains
Authors:
Guanghui Hu,
Yavar Kian,
Yue Zhao
Abstract:
This paper is concerned with inverse acoustic source problems in an unbounded domain with dynamical boundary surface data of Dirichlet kind. The measurement data are taken at a surface far away from the source support. We prove uniqueness in recovering source terms of the form $f(x)g(t)$ and $f(x_1,x_2,t) h(x_3)$, where $g(t)$ and $h(x_3)$ are given and $x=(x_1, x_2, x_3)$ is the spatial variable…
▽ More
This paper is concerned with inverse acoustic source problems in an unbounded domain with dynamical boundary surface data of Dirichlet kind. The measurement data are taken at a surface far away from the source support. We prove uniqueness in recovering source terms of the form $f(x)g(t)$ and $f(x_1,x_2,t) h(x_3)$, where $g(t)$ and $h(x_3)$ are given and $x=(x_1, x_2, x_3)$ is the spatial variable in three dimensions. Without these a priori information, we prove that the boundary data of a family of solutions can be used to recover general source terms depending on both time and spatial variables. For moving point sources radiating periodic signals, the data recorded at four receivers are proven sufficient to uniquely recover the orbit function. Simultaneous determination of embedded obstacles and source terms was verified in an inhomogeneous background medium using the observation data of infinite time period. Our approach depends heavily on the Laplace transform.
△ Less
Submitted 4 July, 2019;
originally announced July 2019.
-
Unique determination of several coefficients in a fractional diffusion(-wave) equation by a single measurement
Authors:
Yavar Kian,
Zhiyuan Li,
Yikan Liu,
Masahiro Yamamoto
Abstract:
We consider the inverse problem of determining different type of information about a diffusion process, described by ordinary or fractional diffusion equations stated on a bounded domain, like the density of the medium or the velocity field associated with the moving quantities from a single boundary measurement. This properties will be associated with some general class of time independent coeffi…
▽ More
We consider the inverse problem of determining different type of information about a diffusion process, described by ordinary or fractional diffusion equations stated on a bounded domain, like the density of the medium or the velocity field associated with the moving quantities from a single boundary measurement. This properties will be associated with some general class of time independent coefficients that we recover from a single Neumann boundary measurement, on some parts of the boundary, of the solution of our diffusion equation with a suitable boundary input, located on some parts of the boundary.
△ Less
Submitted 4 July, 2019;
originally announced July 2019.
-
Recovery of non-smooth coefficients appearing in anisotropic wave equations
Authors:
Ali Feizmohammadi,
Yavar Kian
Abstract:
We study the problem of unique recovery of a non-smooth one-form $\mathcal A$ and a scalar function $q$ from the Dirichlet to Neumann map, $Λ_{\mathcal A,q}$, of a hyperbolic equation on a Riemannian manifold $(M,g)$. We prove uniqueness of the one-form $\mathcal A$ up to the natural gauge, under weak regularity conditions on $\mathcal A,q$ and under the assumption that $(M,g)$ is simple. Under an…
▽ More
We study the problem of unique recovery of a non-smooth one-form $\mathcal A$ and a scalar function $q$ from the Dirichlet to Neumann map, $Λ_{\mathcal A,q}$, of a hyperbolic equation on a Riemannian manifold $(M,g)$. We prove uniqueness of the one-form $\mathcal A$ up to the natural gauge, under weak regularity conditions on $\mathcal A,q$ and under the assumption that $(M,g)$ is simple. Under an additional regularity assumption, we also derive uniqueness of the scalar function $q$. The proof is based on the geometric optic construction and inversion of the light ray transform extended as a Fourier Integral Operator to non-smooth parameters and functions.
△ Less
Submitted 19 March, 2019;
originally announced March 2019.
-
Reconstruction and stable recovery of source terms and coefficients appearing in diffusion equations
Authors:
Yavar Kian,
Masahiro Yamamoto
Abstract:
We consider the inverse source problem of determining a source term depending on both time and space variable for fractional and classical diffusion equations in a cylindrical domain from boundary measurements. With suitable boundary conditions we prove that some class of source terms which are independent of one space direction, can be reconstructed from boundary measurements. Actually, we prove…
▽ More
We consider the inverse source problem of determining a source term depending on both time and space variable for fractional and classical diffusion equations in a cylindrical domain from boundary measurements. With suitable boundary conditions we prove that some class of source terms which are independent of one space direction, can be reconstructed from boundary measurements. Actually, we prove that this inverse problem is well-posed. We establish also some results of Lipschitz stability for the recovery of source terms which we apply to the stable recostruction of time-dependent coefficients.
△ Less
Submitted 24 May, 2019; v1 submitted 25 February, 2019;
originally announced February 2019.
-
Hölder Stable Recovery of Time-Dependent Electromagnetic Potentials Appearing in a Dynamical Anisotropic Schrödinger Equation
Authors:
Yavar Kian,
Alexander Tetlow
Abstract:
We consider the inverse problem of Höldder-stably determining the time- and space-dependent coefficients of the Schrödinger equation on a simple Riemannian manifold with boundary of dimension $n\geq2$ from knowledge of the Dirichlet-to-Neumann map. Assuming the divergence of the magnetic potential is known, we show that the electric and magnetic potentials can be Hölder-stably recovered from these…
▽ More
We consider the inverse problem of Höldder-stably determining the time- and space-dependent coefficients of the Schrödinger equation on a simple Riemannian manifold with boundary of dimension $n\geq2$ from knowledge of the Dirichlet-to-Neumann map. Assuming the divergence of the magnetic potential is known, we show that the electric and magnetic potentials can be Hölder-stably recovered from these data. Here we also remove the smallness assumption for the solenoidal part of the magnetic potential present in previous results.
△ Less
Submitted 28 January, 2019;
originally announced January 2019.
-
Recovery of time dependent coefficients from boundary data for hyperbolic equations
Authors:
Ali Feizmohammadi,
Joonas Ilmavirta,
Yavar Kian,
Lauri Oksanen
Abstract:
We study uniqueness of the recovery of a time-dependent magnetic vector-valued potential and an electric scalar-valued potential on a Riemannian manifold from the knowledge of the Dirichlet to Neumann map of a hyperbolic equation. The Cauchy data is observed on time-like parts of the space-time boundary and uniqueness is proved up to the natural gauge for the problem. The proof is based on Gaussia…
▽ More
We study uniqueness of the recovery of a time-dependent magnetic vector-valued potential and an electric scalar-valued potential on a Riemannian manifold from the knowledge of the Dirichlet to Neumann map of a hyperbolic equation. The Cauchy data is observed on time-like parts of the space-time boundary and uniqueness is proved up to the natural gauge for the problem. The proof is based on Gaussian beams and inversion of the light ray transform on Lorentzian manifolds under the assumptions that the Lorentzian manifold is a product of a Riemannian manifold with a time interval and that the geodesic ray transform is invertible on the Riemannian manifold.
△ Less
Submitted 14 January, 2019;
originally announced January 2019.
-
Asymptotic estimates of solutions to time-fractional diffusion equations with space-dependent variable order
Authors:
Yavar Kian,
Diomba Sambou,
Eric Soccorsi
Abstract:
We examine the short and long-time behaviors of time-fractional diffusion equations with variable space-dependent order. More precisely, we describe the time-evolution of the solution to these equations as the time parameter goes either to zero or to infinity.
We examine the short and long-time behaviors of time-fractional diffusion equations with variable space-dependent order. More precisely, we describe the time-evolution of the solution to these equations as the time parameter goes either to zero or to infinity.
△ Less
Submitted 9 January, 2019;
originally announced January 2019.
-
Determination of convection terms and quasi-linearities appearing in diffusion equations
Authors:
Pedro Caro,
Yavar Kian
Abstract:
We consider the highly nonlinear and ill-posed inverse problem of determining some general expression $F(x,t,u,\nabla_xu)$ appearing in the diffusion equation $\partial_tu-Δ_x u+F(x,t,u,\nabla_xu)=0$ on $Ω\times(0,T)$, with $T>0$ and $Ω$ a bounded open subset of $\mathbb R^n$, $n\geq2$, from measurements of solutions on the lateral boundary $\partialΩ\times(0,T)$. We consider both linear and nonli…
▽ More
We consider the highly nonlinear and ill-posed inverse problem of determining some general expression $F(x,t,u,\nabla_xu)$ appearing in the diffusion equation $\partial_tu-Δ_x u+F(x,t,u,\nabla_xu)=0$ on $Ω\times(0,T)$, with $T>0$ and $Ω$ a bounded open subset of $\mathbb R^n$, $n\geq2$, from measurements of solutions on the lateral boundary $\partialΩ\times(0,T)$. We consider both linear and nonlinear expression of $F(x,t,u,\nabla_xu)$. In the linear case, the equation can be seen as a convection-diffusion equation and our inverse problem corresponds to the unique recovery, in some suitable sense, of a time evolving velocity field associated with the moving quantity as well as the density of the medium in some rough setting described by non-smooth coefficients on a Lipschitz domain. In the nonlinear case, we prove the recovery of more general quasi-linear expression appearing in a nonlinear parabolic equation associated with more complex model. Here the goal is to determine the underlying physical low of the system associated with our equation. In this paper, we consider for what seems to be the first time the unique recovery of a general vector valued first order coefficient, depending on both time and space variable. Moreover, we provide results of full recovery of some general class of quasi-linear terms admitting evolution inside the system independently of the solution from measurements at the boundary. These last results improve earlier works of Isakov in terms of generality and precision. In addition, our results give a partial positive answer, in terms of measurements restricted to the lateral boundary, to an open problem posed by Isakov in his classic book (\textit{Inverse Problems for Partial Differential Equations}) extended to the recovery of quasi-linear terms.
△ Less
Submitted 12 March, 2019; v1 submitted 20 December, 2018;
originally announced December 2018.
