skip to main content

Attention:

The NSF Public Access Repository (PAR) system and access will be unavailable from 11:00 PM ET on Thursday, January 16 until 2:00 AM ET on Friday, January 17 due to maintenance. We apologize for the inconvenience.


Title: A path integral Monte Carlo (PIMC) method based on Feynman-Kac formula for electrical impedance tomography
A path integral Monte Carlo method (PIMC) based on a Feynman-Kac formula for the Laplace equation with mixed boundary conditions is proposed to solve the forward problem of the electrical impedance tomography (EIT). The forward problem is an important part of iterative algorithms of the inverse EIT problem, and the proposed PIMC provides a local solution to find the potentials and currents on individual electrodes. Improved techniques are proposed to compute with better accuracy both the local time of reflecting Brownian motions (RBMs) and the Feynman-Kac formula for mixed boundary problems of the Laplace equation. Accurate voltage-to-current maps on the electrodes of a model 3-D EIT problem with eight electrodes are obtained by solving a mixed boundary problem with the proposed PIMC method.  more » « less
Award ID(s):
1950471
PAR ID:
10475018
Author(s) / Creator(s):
; ; ; ;
Publisher / Repository:
Elsevier
Date Published:
Journal Name:
Journal of Computational Physics
Volume:
476
Issue:
C
ISSN:
0021-9991
Page Range / eLocation ID:
111862
Subject(s) / Keyword(s):
EIT Reflecting Brownian motion Boundary local time Feynman-Kac formula Laplace equation Mixed boundary problem
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Buttazzo, G. ; Casas, E. ; de Teresa, L. ; Glowinski, R. ; Leugering, G. ; Trélat, E. ; Zhang, X. (Ed.)
    An optimal control problem is considered for a stochastic differential equation with the cost functional determined by a backward stochastic Volterra integral equation (BSVIE, for short). This kind of cost functional can cover the general discounting (including exponential and non-exponential) situations with a recursive feature. It is known that such a problem is time-inconsistent in general. Therefore, instead of finding a global optimal control, we look for a time-consistent locally near optimal equilibrium strategy. With the idea of multi-person differential games, a family of approximate equilibrium strategies is constructed associated with partitions of the time intervals. By sending the mesh size of the time interval partition to zero, an equilibrium Hamilton–Jacobi–Bellman (HJB, for short) equation is derived, through which the equilibrium value function and an equilibrium strategy are obtained. Under certain conditions, a verification theorem is proved and the well-posedness of the equilibrium HJB is established. As a sort of Feynman–Kac formula for the equilibrium HJB equation, a new class of BSVIEs (containing the diagonal value Z ( r , r ) of Z (⋅ , ⋅)) is naturally introduced and the well-posedness of such kind of equations is briefly presented. 
    more » « less
  2. The aim of this work is to present a sampling-based algorithm designed to solve various classes of stochastic differential games. The foundation of the proposed approach lies in the formulation of the game solution in terms of a decoupled pair of forward and backward stochastic differential equations (FBSDEs). In light of the nonlinear version of the Feynman–Kac lemma, probabilistic representations of solutions to the nonlinear Hamilton–Jacobi–Isaacs equations that arise for each class are obtained. These representations are in form of decoupled systems of FBSDEs, which may be solved numerically. 
    more » « less
  3. Abstract We present a mixed finite element method for approximating a fourth-order elliptic partial differential equation (PDE), the Kirchhoff plate equation, on a surface embedded in ${\mathbb {R}}^{3}$, with or without boundary. Error estimates are given in mesh-dependent norms that account for the surface approximation and the approximation of the surface PDE. The method is built on the classic Hellan–Herrmann–Johnson method (for flat domains), and convergence is established for $C^{k+1}$ surfaces, with degree $k$ (Lagrangian, parametrically curved) approximation of the surface, for any $k \geqslant 1$. Mixed boundary conditions are allowed, including clamped, simply-supported and free conditions; if free conditions are present then the surface must be at least $C^{2,1}$. The framework uses tools from differential geometry and is directly related to the seminal work of Dziuk, G. (1988) Finite elements for the Beltrami operator on arbitrary surfaces. Partial Differential Equations and Calculus of Variations, vol. 1357 (S. Hildebrandt & R. Leis eds). Berlin, Heidelberg: Springer, pp. 142–155. for approximating the Laplace–Beltrami equation. The analysis here is the first to handle the full surface Hessian operator directly. Numerical examples are given on nontrivial surfaces that demonstrate our convergence estimates. In addition, we show how the surface biharmonic equation can be solved with this method. 
    more » « less
  4. Abstract We develop a linearized boundary control method for the inverse boundary value problem of determining a potential in the acoustic wave equation from the Neumann-to-Dirichlet map. When the linearization is at the zero potential, we derive a reconstruction formula based on the boundary control method and prove that it is of Lipschitz-type stability. When the linearization is at a nonzero potential, we prove that the problem is of Hölder-type stability in two and higher dimensions. The proposed reconstruction formula is implemented and evaluated using several numerical experiments to validate its feasibility. 
    more » « less
  5. Electrical Impedance Tomography (EIT) is a well-known imaging technique for detecting the electrical properties of an object in order to detect anomalies, such as conductive or resistive targets. More specifically, EIT has many applications in medical imaging for the detection and location of bodily tumors since it is an affordable and non-invasive method, which aims to recover the internal conductivity of a body using voltage measurements resulting from applying low frequency current at electrodes placed at its surface. Mathematically, the reconstruction of the internal conductivity is a severely ill-posed inverse problem and yields a poor quality image reconstruction. To remedy this difficulty, at least in part, we regularize and solve the nonlinear minimization problem by the aid of a Krylov subspace-type method for the linear sub problem during each iteration. In EIT, a tumor or general anomaly can be modeled as a piecewise constant perturbation of a smooth background, hence, we solve the regularized problem on a subspace of relatively small dimension by the Flexible Golub-Kahan process that provides solutions that have sparse representation. For comparison, we use a well-known modified Gauss–Newton algorithm as a benchmark. Using simulations, we demonstrate the effectiveness of the proposed method. The obtained reconstructions indicate that the Krylov subspace method is better adapted to solve the ill-posed EIT problem and results in higher resolution images and faster convergence compared to reconstructions using the modified Gauss–Newton algorithm. 
    more » « less