Habib AmmariDépartement de Mathématiques et Applications, Ecole Normale Supérieure, 45 Rue dʼUlm, 75005 Paris, FranceJosselin GarnierLaboratoire de Probabilités et Modèles Aléatoires, FranceWenjia JingDépartement de Mathématiques et Applications, Ecole Normale Supérieure, 45 Rue dʼUlm, 75005 Paris, FranceLoc Hoang NguyenDépartement de Mathématiques et Applications, Ecole Normale Supérieure, 45 Rue dʼUlm, 75005 Paris, France
Analysis of PDEsmathscidoc:2206.03005
Journal of Differential Equations, 254, (3), 1375-1395, 2013.2
This paper aims to mathematically advance the field of quantitative thermo-acoustic imaging. Given several electromagnetic data sets, we establish for the first time an analytical formula for reconstructing the absorption coefficient from thermal energy measurements. Since the formula involves derivatives of the given data up to the third order, it is unstable in the sense that small measurement noises may cause large errors. However, in the presence of measurement noise, the obtained formula, together with a noise regularization technique, provides a good initial guess for the true absorption coefficient. We finally correct the errors by deriving a reconstruction formula based on the least square solution of an optimal control problem and prove that this optimization step reduces the errors occurring and enhances the resolution.
Habib AmmariDepartement de Math ´ ematiques et Applications, Ecole Normale Sup ´ erieure, 45 Rue d’Ulm, ´ 75005 Paris, FranceJosselin GarnierLaboratoire de Probabilites et Mod ´ eles Al ` eatoires & Laboratoire Jacques-Louis Lions, ´ Universite Paris VII, 2 Place Jussieu, 75251 Paris Cedex 5, FranceWenjia JingDepartement de Math ´ ematiques et Applications, Ecole Normale Sup ´ erieure, 45 Rue d’Ulm, ´ 75005 Paris, France
We consider the optimization approach to the acousto-electric imaging problem. Assuming that the electric conductivity distribution is a small perturbation of a constant, we investigate the least-squares estimate analytically using (multiple) Fourier series, and confirm the widely observed fact that acousto-electric imaging has high resolution and is statistically stable. We also analyze the case of partial data and the case of limited-view data, in which some singularities of the conductivity can still be imaged.
Guillaume BalDepartment of Applied Physics & Applied Mathematics, Columbia University, New York, NY 10027Josselin GarnierLaboratoire de Probabilit´es et Mod`eles Al´eatoires & Laboratoire Jacques-Louis Lions, Universit´e Paris VII, 2 Place Jussieu, 75251 Paris Cedex 5, FranceYu GuDepartment of Applied Physics & Applied Mathematics, Columbia University, New York, NY 10027Wenjia JingDepartment of Applied Physics & Applied Mathematics, Columbia University, New York, NY 10027
We consider an elliptic pseudo-differential equation with a highly oscillating linear potential modeled as a stationary ergodic random field. The random field is a function composed with a centered long-range correlated Gaussian process. In the limiting of vanishing correlation length, the heterogeneous solution converges to a deterministic solution obtained by averaging the random potential. We characterize the deterministic and stochastic correctors. With proper rescaling, the mean-zero stochastic corrector converges to a Gaussian random process in probability and weakly in the spatial variables. In addition, for two prototype equations involving the Laplacian and the fractional Laplacian operators, we prove that the limit holds in distribution in some Hilbert spaces. We also determine the size of the deterministic corrector when it is larger than the stochastic corrector. Depending on the correlation structure of the random field and on the singularities of the Green’s function, we show that either the deterministic or the random part of the corrector dominates.
We consider the problem of the random fluctuations in the solutions to elliptic PDEs with highly oscillatory random coefficients. In our setting, as the correlation length of the fluctuations tends to zero, the heterogeneous solution converges to a deterministic solution obtained by averaging. When the Green’s function to the unperturbed operator is sufficiently singular (i.e., not square integrable locally), the leading corrector to the averaged solution may be either deterministic or random, or both in a sense we shall explain.
Our main application is the solution of an elliptic problem with random Robin boundary condition that may be used to model diffusion of signaling molecules through a layer of cells into a bulk of extracellular medium. The problem is then described by an elliptic pseudo-differential operator (a Dirichlet-to-Neumann operator) on the boundary of the domain with random potential.
In the physical setting of a three dimensional extracellular medium on top of a two-dimensional surface of cells forming a layer of epithelium, we show that the approximate corrector to averaging consists of a deterministic correction plus a Gaussian field of amplitude proportional to the correlation length of the random medium. The result is obtained under some assumptions on the four-point correlation function in the medium. We provide examples of such random media based on Gaussian and Poisson statistics.
Guillaume BalDepartment of Applied Physics and Applied Mathematics, Columbia University, New York NY, 10027Wenjia JingDepartment of Applied Physics and Applied Mathematics, Columbia University, New York, NY 10027, United States
Analysis of PDEsProbabilitymathscidoc:2206.03001
Discrete and Continuous Dynamical Systems, 28, (4), 1311-1343, 2010.12
We consider the theory of correctors to homogenization in stationary transport equations with rapidly oscillating, random coefficients. Let ε << 1 be the ratio of the correlation length in the random medium to the overall distance of propagation. As ε↓0, we show that the heterogeneous transport solution is well-approximated by a homogeneous transport solution. We then show that the rescaled corrector converges in (probability) distribution and weakly in the space and velocity variables, to a Gaussian process as an application of a central limit result. The latter result requires strong assumptions on the statistical structure of randomness and is proved for random processes constructed by means of a Poisson point process.