-
Evaluating singular and near-singular integrals on $C^2$ smooth surfaces with a novel geometric method and closed form expressions
Authors:
Andrew Zheng,
Spyros Alexakis,
Adam R Stinchcombe
Abstract:
Most Fredholm integral equations involve integrals with weakly singular kernels. Once the domain of integration is discretized into elements, these weakly singular kernels become strongly singular or ``near-singular". Common methods to compute these integrals when the kernel is a Green's function include the Duffy transform, polar coordinates with closed analytic formulas, and singularity extracti…
▽ More
Most Fredholm integral equations involve integrals with weakly singular kernels. Once the domain of integration is discretized into elements, these weakly singular kernels become strongly singular or ``near-singular". Common methods to compute these integrals when the kernel is a Green's function include the Duffy transform, polar coordinates with closed analytic formulas, and singularity extraction. However, these methods do not generalize well to the normal derivatives of Green's functions. We provide methods to integrate both the Green's function and its normal derivative on smooth surfaces discretized by triangular elements in three dimensions. For strongly singular integrals involving normal derivatives of Green's functions, we provide two methods that can accurately approximate the true integrals on the true domain. The Geometric method uses geometric information of the true surface of integration to approximate the original integral on the true domain using push-forward maps. The Interpolation-Duffy method heuristically cancels out the singularity and then evaluates the integral using a quadrature scheme. Both methods are better than simply setting the singular integrals to zero, while being faster than adaptive refinement methods. The explicit analytic formulas for integrating polynomials $p$ of degree less than three are provided.
△ Less
Submitted 17 February, 2025;
originally announced February 2025.
-
A boundary integral equation method for the complete electrode model in electrical impedance tomography with tests on experimental data
Authors:
Teemu Tyni,
Adam R Stinchcombe,
Spyros Alexakis
Abstract:
We develop a boundary integral equation-based numerical method to solve for the electrostatic potential in two dimensions, inside a medium with piecewise constant conductivity, where the boundary condition is given by the complete electrode model (CEM). The CEM is seen as the most accurate model of the physical setting where electrodes are placed on the surface of an electrically conductive body,…
▽ More
We develop a boundary integral equation-based numerical method to solve for the electrostatic potential in two dimensions, inside a medium with piecewise constant conductivity, where the boundary condition is given by the complete electrode model (CEM). The CEM is seen as the most accurate model of the physical setting where electrodes are placed on the surface of an electrically conductive body, and currents are injected through the electrodes and the resulting voltages are measured again on these same electrodes. The integral equation formulation is based on expressing the electrostatic potential as the solution to a finite number of Laplace equations which are coupled through boundary matching conditions. This allows us to re-express the solution in terms of single layer potentials; the problem is thus re-cast as a system of integral equations on a finite number of smooth curves. We discuss an adaptive method for the solution of the resulting system of mildly singular integral equations. This solver is both fast and accurate. We then present a numerical inverse solver for electrical impedance tomography (EIT) which uses our forward solver at its core. To demonstrate the applicability of our results we test our numerical methods on an open electrical impedance tomography data set provided by the Finnish Inverse Problems Society.
△ Less
Submitted 27 March, 2024; v1 submitted 26 May, 2023;
originally announced May 2023.
-
A Multi-Scale Simulation of Retinal Physiology
Authors:
Belal Abuelnasr,
Adam R. Stinchcombe
Abstract:
We present a detailed physiological model of the retina that includes the biochemistry and electrophysiology of phototransduction, neuronal electrical coupling, and the spherical geometry of the eye. The model is a parabolic-elliptic system of partial differential equations based on the mathematical framework of the bi-domain equations, which we have generalized to account for multiple cell-types.…
▽ More
We present a detailed physiological model of the retina that includes the biochemistry and electrophysiology of phototransduction, neuronal electrical coupling, and the spherical geometry of the eye. The model is a parabolic-elliptic system of partial differential equations based on the mathematical framework of the bi-domain equations, which we have generalized to account for multiple cell-types. We discretize in space with non-uniform finite differences and step through time with a custom adaptive time-stepper that employs a backward differentiation formula and an inexact Newton method. A refinement study confirms the accuracy and efficiency of our numerical method. Numerical simulations using the model compare favorably with experimental findings, such as desensitization to light stimuli and calcium buffering in photoreceptors. Other numerical simulations suggest an interplay between photoreceptor gap junctions and inner segment, but not outer segment, calcium concentration. Applications of this model and simulation include analysis of retinal calcium imaging experiments, the design of electroretinograms, the design of visual prosthetics, and studies of ephaptic coupling within the retina.
△ Less
Submitted 8 March, 2023;
originally announced March 2023.
-
Fast Computation of Electrostatic Potentials for Piecewise Constant Conductivities
Authors:
Kyle Bower,
Kirill Serkh,
Spyros Alexakis,
Adam R Stinchcombe
Abstract:
We present a novel numerical method for solving the elliptic partial differential equation problem for the electrostatic potential with piecewise constant conductivity. We employ an integral equation approach for which we derive a system of well-conditioned integral equations by representing the solution as a sum of single layer potentials. The kernel of the resulting integral operator is smooth p…
▽ More
We present a novel numerical method for solving the elliptic partial differential equation problem for the electrostatic potential with piecewise constant conductivity. We employ an integral equation approach for which we derive a system of well-conditioned integral equations by representing the solution as a sum of single layer potentials. The kernel of the resulting integral operator is smooth provided that the layers are well-separated. The fast multiple method is used to accelerate the generalized minimal residual method solution of the integral equations. For efficiency, we adapt the grid of the Nyström method based on the spectral resolution of the layer charge density. Additionally, we present a method for evaluating the solution that is efficient and accurate throughout the domain, circumventing the close-evaluation problem. To support the design choices of the numerical method, we derive regularity estimates with bounds explicitly in terms of the conductivities and the geometries of the boundaries between their regions. The resulting method is fast and accurate for solving for the electrostatic potential in media with piecewise constant conductivities.
△ Less
Submitted 30 May, 2022;
originally announced May 2022.
-
Solving Elliptic Equations with Brownian Motion: Bias Reduction and Temporal Difference Learning
Authors:
Cameron Martin,
Hongyuan Zhang,
Julia Costacurta,
Mihai Nica,
Adam R Stinchcombe
Abstract:
The Feynman-Kac formula provides a way to understand solutions to elliptic partial differential equations in terms of expectations of continuous time Markov processes. This connection allows for the creation of numerical schemes for solutions based on samples of these Markov processes which have advantages over traditional numerical methods in some cases. However, naïve numerical implementations s…
▽ More
The Feynman-Kac formula provides a way to understand solutions to elliptic partial differential equations in terms of expectations of continuous time Markov processes. This connection allows for the creation of numerical schemes for solutions based on samples of these Markov processes which have advantages over traditional numerical methods in some cases. However, naïve numerical implementations suffer from statistical bias and sampling error. We present methods to discretize the stochastic process appearing in the Feynman-Kac formula that reduce the bias of the numerical scheme. We also propose using temporal difference learning to assemble information from random samples in a way that is more efficient than the traditional Monte Carlo method.
△ Less
Submitted 31 July, 2020;
originally announced August 2020.
-
A Derivative-Free Method for Solving Elliptic Partial Differential Equations with Deep Neural Networks
Authors:
Jihun Han,
Mihai Nica,
Adam R Stinchcombe
Abstract:
We introduce a deep neural network based method for solving a class of elliptic partial differential equations. We approximate the solution of the PDE with a deep neural network which is trained under the guidance of a probabilistic representation of the PDE in the spirit of the Feynman-Kac formula. The solution is given by an expectation of a martingale process driven by a Brownian motion. As Bro…
▽ More
We introduce a deep neural network based method for solving a class of elliptic partial differential equations. We approximate the solution of the PDE with a deep neural network which is trained under the guidance of a probabilistic representation of the PDE in the spirit of the Feynman-Kac formula. The solution is given by an expectation of a martingale process driven by a Brownian motion. As Brownian walkers explore the domain, the deep neural network is iteratively trained using a form of reinforcement learning. Our method is a 'Derivative-Free Loss Method' since it does not require the explicit calculation of the derivatives of the neural network with respect to the input neurons in order to compute the training loss. The advantages of our method are showcased in a series of test problems: a corner singularity problem, an interface problem, and an application to a chemotaxis population model.
△ Less
Submitted 16 January, 2020;
originally announced January 2020.
