arXiv Science⌕ Search

arXiv subjects

Yavar Kian

Publications and source records attributed to Yavar Kian.

At least 19 recordsLinked to original sources

Reconstruction and well-posedness of an inverse coefficient problem for a diffusion equation

In this work, we investigate the inverse coefficient problem of determining an unknown coefficient in a diffusion equation from a single boundary flux measurement. More precisely, assuming that the domain is cylindrical, we develop a unified theoretical and numerical framework for the stable reconstruction of a space-time-dependent coefficient, by reformulating the inverse problem as a nonlinear equation. The inherent nonlinearity of the problem is transferred to an auxiliary nonlinear equation, enabling the application of techniques and concepts from nonlinear analysis. By combining representation formulas with regularity properties of solutions to diffusion equations, we extend to nonlinear inverse problems an approach that has so far been restricted to linear ones. The theoretical reconstruction procedure is complemented by a numerical analysis of the proposed method, including convergence and error estimates, as well as numerical experiments. The proposed reconstruction algorithm is directly inspired by the theoretical framework.

math.NA↗

Pollutant Concentration Reconstruction in Porous Media from Localized Measurements

Reliable environmental monitoring and groundwater protection heavily rely on the ability to reconstruct full pollutant concentration fields from sparse, partial field measurements. In porous media, dissolved contaminants are transported by groundwater flow while undergoing hydrodynamic dispersion and complex chemical or biological reactions. To address practical contamination challenges, this work investigates the reconstruction of pollutant distributions using water samples collected at discrete locations in unsaturated or saturated soils via sampling tubes equipped with ceramic tips. While these suction samplers provide critical local data, they inherently capture only a fraction of the subsurface environment, leaving wide areas unmonitored. Motivated by this real-world monitoring procedure, we propose steady and time-dependent advection-diffusion-reaction models to simulate contaminant transport. Our main contribution is a generalized unique continuation result demonstrating that, under appropriate physical and mathematical assumptions, two concentration fields coinciding on a non-empty observation region must match throughout the entire space-time domain, even when originating from different source configurations. We investigate this problem from both theoretical and numerical perspectives, backing our mathematical uniqueness results with numerical simulations that validate the efficiency and practical utility of our approach. The theoretical proofs combine regularity properties away from source singularities with unique-continuation principles for parabolic and elliptic partial differential equations, providing a robust framework for environmental risk assessment and site remediation.

math.AP↗

Recovery of a source of anomalous diffusion from space-time sparse data

We study an inverse source problem for a time-fractional sub- and super-diffusive anomalous diffusion equation on the unit disk with sparse boundary observations. We prove the recovery of a general class of $L^2$ sources for anomalous diffusion, with separated variables, from boundary measurements that are sparse in both space and time, using observations at two carefully chosen boundary points on a discrete set of times arbitrarily close to the final time. The analysis relies heavily on the memory effect of the model, properties of complex analysis and the representation of solutions.

math.AP↗

Simultaneous recovery of various time-dependent coefficients in a hyperbolic equation with space-time nonlocal attenuation

This article is devoted to the inverse problem of uniquely determining different classes of coefficients in a hyperbolic equation with space-time nonlocal attenuation from a local source-to-solution map. Our objective is to exploit the nonlocal attenuation mechanism to address inverse coefficient problems that remain open, or are even fundamentally intractable, for linear and nonlinear hyperbolic equations without attenuation. More precisely, by leveraging the interactions induced by nonlocal attenuation, we simultaneously determine general classes of leading and lower order coefficients depending on both space and time. In addition, we formulate our results using data collected on disjoint sets, thereby extending the existing theory and introducing the notion of data on sets disjoint in both space and time for hyperbolic equations. Our approach builds on key features of nonlocal operators, such as memory effects and the unique continuation principle, while integrating the interplay between local and nonlocal operators along with structural properties of hyperbolic equations.

math.AP↗

Inverse coefficient problem for the wave equation with nonlocal attenuation

In this article, we investigate the inverse problem of determining time-dependent first- and zeroth-order coefficients for a wave equation with nonlocal-in-time attenuation on a Riemannian manifold, using boundary measurements. This problem is motivated by applications in imaging and viscoelasticity, where such equations arise naturally, and we aim to characterize the properties of the underlying medium by recovering these coefficients. Our main objective is to exploit the memory properties of solutions induced by nonlocal attenuation, establishing the recovery of a general class of lower-order coefficients from boundary measurements collected over an arbitrarily small time interval. As a byproduct of our analysis, we also prove recovery results for time-dependent coefficients using measurements supported on disjoint time intervals. While such data restrictions are unavailable, and generally impossible, for the classical wave equation, we demonstrate that they become feasible under standard assumptions due to the presence of nonlocal-in-time attenuation. Our analysis combines techniques from differential geometry, the theory of partial differential equations with nonlocal terms, complex analysis, and the theory of nonlocal operators.

math.AP↗

Numerical Analysis of Space-Time Dependent Source Identification in Subdiffusion Equations

In this work, we propose an easy-to-implement fixed-point algorithm for reconstructing a space-time dependent source in a subdiffusion model from lateral boundary measurements. The numerical scheme combines a Galerkin finite element method for spatial discretization with a finite difference method for temporal discretization. We establish the linear convergence of the fixed-point iteration and derive an error bound that depends explicitly on the discretization parameters and the noise level. The error analysis relies on stability properties of the continuous inverse problem and technical estimates for the associated direct problem with limited-regularity data. Numerical experiments are presented to support and complement the theoretical analysis.

math.NA↗

Stability and Reconstruction of a Nonlinearity in a Parabolic Equation from Partial Boundary Data

In this work, we investigate the inverse problem of determining a semilinear term in a nonlinear parabolic equation from one single boundary flux measurement taken on an arbitrary subset of the boundary. More precisely, we address both uniqueness and stability issues of the inverse problem and establish new Hölder-type stability estimates. The Hölder exponent depends explicitly on the measurement configuration as well as on regularity properties of the semilinear term. The analysis relies on a novel approach based on the derivation of a suitable integral identity involving solutions of the associated adjoint equation. This allows reformulating the inverse problem as an inverse source problem with a sign-changing source term. The main results are obtained by combining fundamental properties of parabolic equations, including maximum principle and appropriate energy estimates. Finally, we complement the theoretical analysis with an iterative reconstruction algorithm inspired by inverse source problems, and illustrate its accuracy on several numerical experiments.

math.AP↗

Recovery of a Measure-valued Source in the Heat Equation from Sparse Boundary Measurements

This article is devoted to the inverse source problem of uniquely determining a measure-valued source from sparse boundary measurements. The measurements considered consist of flux observations over a time interval at two distinct points on the boundary of the domain. The main objective of this work is to extend the existing literature on inverse source problems from sparse boundary measurements, which has so far been limited to point sources or L2 sources, to the identification of a general class of Radon measures. Our approach combines several analytical tools, including regularity properties, boundary representations, and the time analyticity of solutions to the diffusion equation with singular sources. Our theoretical analysis is complemented by a numerical study of the problem. In particular, we investigate the reconstruction of point sources and of a source supported on a curve, and present numerical experiments illustrating the recovery of such sources from sparse boundary flux measurements.

math.AP↗

Stability Estimates for the Inverse Problem of Reconstructing Point sources in Parabolic Equations

In this work, we investigate the stability issue of the inverse problem of determining the locations and time-dependent amplitudes of point sources in a parabolic equation with a non-self adjoint elliptic operator from boundary observations. We derive different stability estimates for determining the locations and the amplitudes of the sources in the space, the plane as well as in dimension one. The analysis employs a novel approach that combines several different arguments, including the improved regularity of the solutions, the application of Carleman estimates, time extension of solutions, and construction of explicit solutions to the adjoint equations. Further we provide numerical reconstructions to complement the theoretical findings.

math.AP↗

Identification of a Point Source in the Heat Equation from Sparse Boundary Measurements

In this work we investigate the inverse problem of recovering one point source in the heat equation from sparse boundary measurement, i.e., the flux data at several points on the boundary. We prove the unique recovery of the location and piecewise constant in time amplitude when the domain is the unit ball in $\mathbb{R}^d$ ($d\geq2$), and the unique recovery of the location and compactly supported amplitude when the domain is simply connected, smooth and bounded in $\mathbb{R}^2$, under mild conditions on the observational points. The proof combines distinct analytical tools, including the representation of the flux data via Laplacian eigenfunctions on the unit ball, a detailed analysis of the properties of the heat and Poisson kernels, as well as methods drawn from complex analysis. Further we present several numerical experiments to illustrate the feasibility of the recovery from sparse boundary data.

math.AP↗

Unique Determination of Variable Order in Subdiffusion from a Single Measurement

We study the inverse problem of recovering a spatially dependent variable order in a time-fractional diffusion model from the boundary flux measurement generated by a single boundary excitation. It arises in the identification of heterogeneous media in anomalous diffusion processes. In this work, we establish several new uniqueness results for the inverse problem in the case of piecewise constant variable orders, without any monotonicity condition. The analysis follows a new approach that combines properties of harmonic functions, a linearization technique in the Laplace domain, and tools from complex, asymptotic, and geometrical analysis. In addition, we weaken the regularity assumptions on the problem data and extend the analysis of previous contributions to higher-dimensional settings.

math.AP↗

Inverse problem for the geometric Navier-Stokes equations

We consider the inverse problem of determining a compact Riemannian manifold with boundary from fixed time observations of the solution, restricted to a small subset in space, for the Navier-Stokes system with a local source on the manifold. Our approach is based on a reduction to an inverse problem for an auxiliary hyperbolic Stokes system, via linearization and spectral techniques. We solve the resulting inverse problem by a new generalization of the Boundary Control method.

math.AP↗

Recovery of nonlinear material parameters in a quasilinear Lamé system

We investigate the inverse problem of determining nonlinear elastic material parameters from boundary stress measurements corresponding to prescribed boundary displacements. The material law is described by a nonlinear, space-independent elastic tensor depending on both the displacement and the strain, and gives rise to a general class of quasilinear Lamé systems. We prove the unique and stable recovery of a wide class of space-independent nonlinear elastic tensors, including the identification of two nonlinear isotropic Lamé moduli as well as certain anisotropic tensors. The boundary measurements are assumed to be available at a finite number of boundary points and, in the isotropic case, at a single point. Moreover, the measurements are generated by boundary displacements belonging to an explicit class of affine functions. The analysis is based on structural properties of nonlinear Lamé systems, including asymptotic expansions of the boundary stress and tensorial calculus.

math.AP↗

Recovery of Sturm-Liouville operators from partial boundary spectral data and applications

We study the inverse Sturm-Liouville problem on a finite interval from partial knowledge of spectral data. Specifically, we show that the potential can be uniquely reconstructed from the knowledge of a fraction of Dirichlet eigenvalues together with the normal derivatives of the corresponding eigenfunctions at both endpoints. We present two novel applications of our spectral result in inverse coefficient determination problems for evolutionary PDEs that include passive wave-based imaging of a medium and active imaging for the time-dependent Schrödinger equation with unknown internal sources. Our results yield finite time measurement bounds for such inverse coefficient determination problems. A central innovation is the use of Kahane's interpolation theorem to analyze endpoint time traces of solutions, enabling the recovery without requiring analyticity assumptions or infinite-time data, as in previous approaches. Finally, in the appendix, we present a spectral interpolation theorem for one-dimensional Schrödinger operators, which may be of independent interest.

math.AP↗

Unique and Stable Recovery of Space-Variable Order in Multidimensional Subdiffusion

In this work we investigate the unique identifiability and stable recovery of a spatially dependent variable-order in the subdiffusion model from the boundary flux measurement. We establish several new unique identifiability results from the observation at one point on the boundary without / with the knowledge of medium properties, and a conditional Lipschitz stability estimate when the observation is available on the whole boundary. The analysis crucially employs resolvent estimates in the $L^r(Ω)$ ($r>d$) spaces, solution representation in the Laplace domain and novel asymptotic expansions of the Laplace transform of the boundary flux at $p= 0$ and $p=1$.

math.AP↗

Uniqueness and stability in determining the wave equation from a single passive boundary measurement

This article addresses the inverse problem of simultaneously recovering both the wave speed coefficient and an unknown initial condition (acting as the source) for the multidimensional wave equation from a single passive boundary measurement. Specifically, we establish uniqueness and Hölder stability estimates for determining these parameters in the wave equation on $\mathbb{R}^3$, where only a single boundary measurement of the solution--generated by the unknown source--is available. Our work connects to thermoacoustic and photoacoustic tomography (TAT/PAT) for the physically relevant case of piecewise constant sound speeds. We significantly relax the stringent conditions previously required for resolving this problem, extending results to general classes of piecewise constant sound speeds over inclusions with unknown locations. Moreover, we do not require decay properties in time of solutions to the wave equation, which enables our study to accommodate a much broader class of unknown sources. The approach combines low frequency-domain solution representations with distinctive properties of elliptic and hyperbolic equations.

math.AP↗

Simultaneous Identification of Coefficients and Source in a Subdiffusion Equation from One Passive Measurement

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.

math.AP↗

Stable Determination and Reconstruction of a Quasilinear Term in an Elliptic Equation

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.

math.AP↗