Related papers: Global Convergence and Uniqueness for an Inverse P…
We consider a strongly damped wave equation on compact manifolds, both with and without boundaries, and formulate the corresponding inverse problems. For closed manifolds, we prove that the metric can be uniquely determined, up to an…
This work investigates the inverse drift problem in the one-dimensional parabolic equation with the final time data. The authors construct an operator first, whose fixed points are the unknown drift, and then apply it to prove the…
This paper is concerned with the convergence of a series associated with a certain version of the convexification method. That version has been recently developed by the research group of the first author for solving coefficient inverse…
The classical Gel'fand's inverse problem asks whether a Riemannian manifold is uniquely determined by the knowledge of the heat kernel on any open subset of the manifold. We study this inverse problem in the non-smooth setting in the…
This article develops the numerical and theoretical study of a reconstruction algorithm of a potential in a wave equation from boundary measurements, using a cost functional built on weighted energy terms coming from a Carleman estimate.…
The subject of diffraction of waves by sharp boundaries has been studied intensively for well over a century, initiated by groundbreaking mathematicians and physicists including Sommerfeld, Macdonald and Poincar\'e. The significance of such…
A convexification-based numerical method for a Coefficient Inverse Problem for a parabolic PDE is presented. The key element of this method is the presence of the so-called Carleman Weight Function in the numerical scheme. Convergence…
We consider inverse boundary value problems for elliptic equations of second order of determining coefficients by Dirichlet-to-Neumann map on subboundaries, that is, the mapping from Dirichlet data supported on $\partial\Omega\setminus…
The Fermat-Weber location problem requires finding a point in $\mathbb{R}^n$ that minimizes the sum of weighted Euclidean distances to $m$ given points. An iterative solution method for this problem was first introduced by E. Weiszfeld in…
This paper is dedicated to addressing the simultaneous inversion problem involving the initial value and space-dependent source term in a time-fractional diffusion-wave equation. Firstly, we establish the uniqueness of the inverse problem…
We present a general framework to study uniqueness, stability and reconstruction for infinite-dimensional inverse problems when only a finite-dimensional approximation of the measurements is available. For a large class of inverse problems…
We study proof techniques for bisimilarity based on unique solution of equations. We draw inspiration from a result by Roscoe in the denotational setting of CSP and for failure semantics, essentially stating that an equation (or a system of…
Motivated by the uniqueness problem for monostable semi-wavefronts, we propose a revised version of the Diekmann and Kaper theory of a nonlinear convolution equation. Our version of the Diekmann-Kaper theory allows 1) to consider new types…
We consider the following inverse problem: Suppose a $(1+1)$-dimensional wave equation on $\mathbb{R}_+$ with zero initial conditions is excited with a Neumann boundary data modelled as a white noise process. Given also the Dirichlet data…
Consider the problem of finding an optimal value of some objective functional subject to constraints over numerical domain. This type of problem arises frequently in practical engineering tasks. Nowdays almost all general methods for…
The problem of reconstruction of an unknown refractive index $k(x)$ of an inhomogeneous solid $P$ is considered. The refractive index is assumed to be a piecewise-H\"{o}lder function The original boundary value problem for the Helmholtz…
This is a review paper of the role of Carleman estimates in the theory of Multidimensional Coefficient Inverse Problems since the first inception of this idea in 1981.
In this paper, we present a variant of the circumcenter method for the Convex Feasibility Problem (CFP), ensuring finite convergence under a Slater assumption. The method replaces exact projections onto the convex sets with projections onto…
We establish global-in-time existence and non-uniqueness of probabilistically strong solutions to the three dimensional Navier--Stokes system driven by space-time white noise. In this setting, solutions are expected to have space regularity…
We consider an inverse problem for an inhomogeneous wave equation with discrete-in-time sources, modeling a seismic rupture. We assume that the sources occur along a path with subsonic velocity, and that data are collected over time on some…