Introduction to Stochastic SimulationPoster

1
Introduction to Stochastic Simulation Ran Zhou, Jing Mu, Tianyu Liang, Yunxiang Zhang, Zhan Zhang(Project Leader), Ikemefuna Agbanusi(Faculty Mentor) Illinois Geometry Lab IGL Open House, May 5th, 2016 Main Problem In this project, we have studied the movements of particles undergoing Brownian Motion in a bounded domain, specifically, we have worked on: The average time needed for a moving particle to leave a given domain for the first time The end point that a particle will leave from of a given region The path of particles’ movements in a given region with different boundary conditions Theoretical Model Let u(x, t; x 0 ) be the probability density function of finding a diffusing particle at location x at time t given that it was initially at location x 0 , u(x, t; x 0 ) satisfies the heat equation u t - Du xx = 0; 0 <x<L; t> 0 u(0,x)= δ (x - x 0 ) where x 0 (0,L). Survival Probability: The probability that the diffusing particle is in the interval [0,L] at time t given that it started at location x 0 S (t, x 0 )= Z L 0 u(t, x; x 0 )dx CDF of First Passage Distribution: The probability that the particle has left from either boundary point by time t P (τ t)=1 - P (τ t)=1 - S (t, x 0 ) where τ (x 0 ) is the first exit time of the particle No Passage Location Distribution: The conditional probability that particle appears in [0,z ] given it has not left [0,L] at time t G(t, z ; x 0 )= R z 0 u(t, x; x 0 )dx S (t, x 0 ) Probability of Exiting from a specific endpoint The probability of exiting at x =0 given the particle is exiting at time t j 0 (t)= u x (t, 0; x 0 ) u x (t, 0; x 0 ) - u x (t, L; x 0 ) Simulation Results: Diffusing Path and Mean First Exit Time Diffusing Path: Simulating paths by generating location of the particles at each time step Mean First Exit Time: For each initial location, generate several paths and calculate the mean exit time Boundary Condition I : Dirichlet-Dirichlet Starting at the midpoint of an interval with Dirichlet-Dirichlet boundary condition, the particle has equal probabilities of exiting from either end point The closer the initial location is to the end point, the faster, on average, the particle will leave the domain Boundary Condition II : Dirichlet-Neumann Starting at the midpoint of an interval, the particle will bounce back from the end with Neumann condition and exit from the end with Dirichlet condition The closer the initial location is to the end point with Neumann condition, the more time it takes for the particle to exit the interval Comparison In case of Dirichlet-Neumann condition, once the particle reaches the Neumann side, it will bounce back. Therefore, it takes longer, on average, for a particle to exit the region with Dirichlet-Neumann Boundary condition than it takes for Dirichlet-Dirichlet case. The Mean First Exit Time graphs also show that the empirical mean exit time distributions follow our theoretical results Simulation Algorithms We want to generate the path of a moving particle starting from initial location x 0 in an interval [a, b]. We divide [a, b] into some subintervals [x i-1 - δ 2 ,x i-1 + δ 2 ] and sample the exit time Δt and location x i in each subinterval using Monte Carlo Simulation The Algorithm: dt Time interval δ Length of subinterval t i Current time x i Current Location while x i [a, b] do · Sample first exit time Δt from First Passage Distribution in current subinterval · Sample corresponding exit location x 0 i Bernoulli(j x i-1 - δ 2 t)) if Δt < dt then t i t i-1 t x i x 0 i else · Sample No Passage location x 00 i t i t i-1 + dt x i x 00 i end if end while Applications The project has applications in studying the process of chemical reactions and behaviors of moving molecules: The time needed for a protein molecule to find a specific target How long does it take for a patient to feel the effect of a medication Future Work Our further work includes applying the 1-D case to: Other mixed boundary conditions like Robin-Robin Multiple particles on a single line Multiple particles in higher dimensions These posters are made with the support of University of Illinois at Urbana-Champaign Public Engagement Office

Transcript of Introduction to Stochastic SimulationPoster

Introduction to Stochastic SimulationRan Zhou, Jing Mu, Tianyu Liang, Yunxiang Zhang, Zhan Zhang(Project Leader), Ikemefuna Agbanusi(Faculty Mentor)

Illinois Geometry LabIGL Open House, May 5th, 2016

Main Problem

In this project, we have studied the movements ofparticles undergoing Brownian Motion in a boundeddomain, specifically, we have worked on:

The average time needed for a moving particle toleave a given domain for the first timeThe end point that a particle will leave from of a givenregionThe path of particles’ movements in a given regionwith different boundary conditions

Theoretical Model

Let u(x, t;x0) be the probability density function of findinga diffusing particle at location x at time t given that it wasinitially at location x0, u(x, t;x0) satisfies the heat equation

ut −Duxx = 0; 0 < x < L; t > 0

u(0, x) = δ(x− x0)

where x0 ∈ (0, L).Survival Probability:The probability that the diffusing particle is in theinterval [0, L] at time t given that it started at locationx0

S(t, x0) =

∫ L

0

u(t, x;x0)dx

CDF of First Passage Distribution:The probability that the particle has left from eitherboundary point by time t

P (τ ≤ t) = 1− P (τ ≥ t) = 1− S(t, x0)

where τ (x0) is the first exit time of the particleNo Passage Location Distribution:The conditional probability that particle appears in[0, z] given it has not left [0, L] at time t

G(t, z;x0) =

∫ z0 u(t, x;x0)dx

S(t, x0)

Probability of Exiting from a specific endpointThe probability of exiting at x = 0 given the particle isexiting at time t

j0(t) =ux(t, 0;x0)

ux(t, 0;x0)− ux(t, L;x0)

Simulation Results: Diffusing Path and Mean First Exit TimeDiffusing Path: Simulating paths by generating location of the particles at each time stepMean First Exit Time: For each initial location, generate several paths and calculate the mean exittime

Boundary Condition I : Dirichlet-Dirichlet

Starting at the midpoint of an interval withDirichlet-Dirichlet boundary condition, theparticle has equal probabilities of exiting fromeither end point

The closer the initial location is to the endpoint, the faster, on average, the particle willleave the domain

Boundary Condition II : Dirichlet-Neumann

Starting at the midpoint of an interval, theparticle will bounce back from the end withNeumann condition and exit from the end withDirichlet condition

The closer the initial location is to the endpoint with Neumann condition, the more timeit takes for the particle to exit the interval

ComparisonIn case of Dirichlet-Neumann condition, once the particle reaches the Neumann side, it will bounceback. Therefore, it takes longer, on average, for a particle to exit the region with Dirichlet-NeumannBoundary condition than it takes for Dirichlet-Dirichlet case.The Mean First Exit Time graphs also show that the empirical mean exit time distributions follow ourtheoretical results

Simulation Algorithms

We want to generate the path of a moving particle startingfrom initial location x0 in an interval [a, b]. We divide [a, b]into some subintervals [xi−1 − δ

2, xi−1 + δ2] and sample the

exit time ∆t and location xi in each subinterval usingMonte Carlo SimulationThe Algorithm:dt← Time intervalδ ← Length of subintervalti← Current timexi← Current Locationwhile xi ∈ [a, b] do· Sample first exit time ∆t from First PassageDistribution in current subinterval· Sample corresponding exit locationx′

i ∼ Bernoulli(jxi−1−δ2(∆t))

if ∆t < dt thenti← ti−1 + ∆txi← x

i

else· Sample No Passage location x′′iti← ti−1 + dtxi← x

′′

i

end ifend while

Applications

The project has applications in studying the process ofchemical reactions and behaviors of moving molecules:

The time needed for aprotein molecule to finda specific targetHow long does it takefor a patient to feel theeffect of a medication

Future WorkOur further work includes applying the 1-D case to:

Other mixed boundary conditions like Robin-RobinMultiple particles on a single lineMultiple particles in higher dimensions

These posters are made with the support of University of Illinois at Urbana-Champaign Public Engagement Office