Search arXivSearch

arXiv subjects

Adam R Stinchcombe

Publications and source records attributed to Adam R Stinchcombe.

7 recordsLinked to original sources

Walk-on-Interfaces: A Monte Carlo Estimator for an Elliptic Interface Problem with Nonhomogeneous Flux Jump Conditions and a Neumann Boundary Condition

Elliptic interface problems arise in numerous scientific and engineering applications, modeling heterogeneous materials in which physical properties change discontinuously across interfaces. In this paper, we present \textit{Walk-on-Interfaces} (WoI), a grid-free Monte Carlo estimator for a class of Neumann elliptic interface problems with nonhomogeneous flux jump conditions. Our Monte Carlo estimators maintain consistent accuracy throughout the domain and, thus, do not suffer from the well-known close-to-source evaluation issue near the interfaces. We also presented a simple modification with reduced variance. Estimation of the gradient of the solution can be performed, with almost no additional cost, by simply computing the gradient of the Green's function in WoI. Taking a scientific machine learning approach, we use our estimators to provide training data for a deep neural network that outputs a continuous representation of the solution. This regularizes our solution estimates by removing the high-frequency Monte Carlo error. All of our estimators are highly parallelizable, have a $\mathcal{O}(1 / \sqrt{\mathcal{W}})$ convergence rate in the number of samples, and generalize naturally to higher dimensions. We solve problems with many interfaces that have irregular geometry and in up to dimension six. Numerical experiments demonstrate the effectiveness of the approach and to highlight its potential in solving problems motivated by real-world applications.

math.NA

Evaluating singular and near-singular integrals on $C^2$ smooth surfaces with quadratic geometric approximation and closed form expressions

Most Fredholm integral equations involve integrals with weakly singular kernels. Once the domain of integration is discretized into flat triangular 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 due to the strongly singular behavior of these functions on triangular elements. 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 many commonly encountered differential operators. For strongly singular integrals involving normal derivatives of Green's functions, we introduce a more refined approximation of the derivatives of the Green's function on flat triangles. This method uses geometric information of the true surface of integration to approximate the original integral on the true domain using push-forward maps. This is better than simply setting the singular integrals to zero, while being faster than adaptive refinement methods. We provide an algorithm for explicit computations on triangles, and present necessary analytic formulas that the algorithm requires in the appendix.

math.NA

A boundary integral equation method for the complete electrode model in electrical impedance tomography with tests on experimental data

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.

math.NA

Fast Computation of Electrostatic Potentials for Piecewise Constant Conductivities

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\"{o}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.

math.NA

Promoter methylation in a mixed feedback loop circadian clock model

We introduce and analyze an extension of the mixed feedback loop model of Fran\c{c}ois and Hakim. Our extension includes an additional promoter state and allows for reversible protein sequestration, which was absent from the original studies of the mixed feedback loop model. Motivated by experimental observations that link DNA methylation with circadian gene expression, we use our extended model to investigate the role of DNA methylation(s) in the mammalian circadian clock. We extend the perturbation analysis of Fran\c{c}ois and Hakim to determine how methylation affects the presence and the periodicity of oscillations. We derive a modified Goodwin oscillator model as an approximation to show that although methylation contributes to period control, excessive methylation can abolish rhythmicity.

q-bio.MN

Solving Elliptic Equations with Brownian Motion: Bias Reduction and Temporal Difference Learning

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\"ive 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.

math.NA

A Derivative-Free Method for Solving Elliptic Partial Differential Equations with Deep Neural Networks

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.

cs.LG