In this paper, we present a mathematical description for excitable biological membranes, in particular neuronal membranes. We aim to model the (spatio-) temporal dynamics, e.g., the travelling of an action potential along the axon, subject to noise, such as ion channel noise. Using the framework of Piecewise Deterministic Processes (PDPs) we provide an exact mathematical description-in contrast to pseudo-exact algorithms considered in the literature-of the stochastic process one obtains coupling a continuous time Markov chain model with a deterministic dynamic model of a macroscopic variable, that is coupling Markovian channel dynamics to the time-evolution of the transmembrane potential. We extend the existing framework of PDPs in finite dimensional state space to include infinite-dimensional evolution equations and thus obtain a stochastic hybrid model suitable for modelling spatio-temporal dynamics. We derive analytic results for the infinite-dimensional process, such as existence, the strong Markov property and its extended generator. Further, we exemplify modelling of spatially extended excitable membranes with PDPs by a stochastic hybrid version of the Hodgkin-Huxley model of the squid giant axon. Finally, we discuss the advantages of the PDP formulation in view of analytical and numerical investigations as well as the application of PDPs to structurally more complex models of excitable membranes.
We present limit theorems for a sequence of Piecewise Deterministic Markov Processes (PDMPs) taking values in a separable Hilbert space. This class of processes provides a rigorous framework for stochastic spatial models in which discrete random events are globally coupled with continuous space-dependent variables solving partial differential equations, e.g., stochastic hybrid models of excitable membranes. We derive a law of large numbers which establishes a connection to deterministic macroscopic models and a martingale central limit theorem which connects the stochastic fluctuations to diffusion processes. As a prerequisite we carry out a thorough discussion of Hilbert space valued martingales associated to the PDMPs. Furthermore, these limit theorems provide the basis for a general Langevin approximation to PDMPs, i.e., stochastic partial differential equations that are expected to be similar in their dynamics to PDMPs. We apply these results to compartmental-type models of spatially extended excitable membranes. Ultimately this yields a system of stochastic partial differential equations which models the internal noise of a biological excitable membrane based on a theoretical derivation from exact stochastic hybrid models.
We study the effect of additive noise on integro-differential neural field equations. In particular, we analyze an Amari-type model driven by a Q-Wiener process, and focus on noise-induced transitions and escape. We argue that proving a sharp Kramers’ law for neural fields poses substantial difficulties, but that one may transfer techniques from stochastic partial differential equations to establish a large deviation principle (LDP). Then we demonstrate that an efficient finite-dimensional approximation of the stochastic neural field equation can be achieved using a Galerkin method and that the resulting finite-dimensional rate function for the LDP can have a multiscale structure in certain cases. These results form the starting point for an efficient practical computation of the LDP. Our approach also provides the technical basis for further rigorous study of noise-induced transitions in neural fields based on Galerkin approximations.Mathematics Subject Classification (2000):
60F10, 60H15, 65M60, 92C20.
Hybrid systems, and Piecewise Deterministic Markov Processes in particular, are widely used to model and numerically study systems exhibiting multiple time scales in biochemical reaction kinetics and related areas. In this paper an almost sure convergence analysis for numerical simulation algorithms for Piecewise Deterministic Markov Processes is presented. The discussed numerical methods arise through discretisina a constructive method defining these processes. The stochastic problem of simulating the random, path-dependent jump times of such processes is reformulated as a hitting time problem for a system of ordinary differential equations with random threshold. Then deterministic continuous methods (methods with dense output) are serially employed to solve these problems numerically. We show that the almost sure asymptotic convergence rate of the stochastic algorithm is identical to the order of the embedded deterministic method. We illustrate our theoretical findings by numerical examples from mathematical neuroscience were Piecewise Deterministic Markov Processes are used as biophysically accurate stochastic models of neuronal membranes. stochastic simulation; hybrid algorithm; almost sure convergence; Piecewise Deterministic Markov Process. *
An asymptotic stability analysis of numerical methods used for simulating stochastic differential equations with additive noise is presented. The initial part of the paper is intended to provide a clear definition and discussion of stability concepts for additive noise equation derived from the principles of stability analysis based on the theory of random dynamical systems. The numerical stability analysis presented in the second part of the paper is based on the semi-linear test equation dX(t) = (AX(t) + f(X(t))) dt + σ dW(t), the drift of which satisfies a contractive one-sided Lipschitz condition, such that the test equation allows for a pathwise stable stationary solution. The θ-Maruyama method as well as linear implicit and two exponential Euler schemes are analysed for this class of test equations in terms of the existence of a pathwise stable stationary solution. The latter methods are specifically developed for semi-linear problems as they arise from spatial approximations of stochastic partial differential equations.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.