Image Systems for Brownian Motion with a Reflecting Boundary
Summary
The document presents a question about the transition density of a drifted Wiener process confined to the positive half-line by a reflecting boundary at zero. It states the forward equation, an initial point-mass condition, and a zero-flux boundary condition, then quotes a proposed method-of-images representation. That representation includes a direct Gaussian term, a point image at the reflected starting location, and a continuous distribution of further image sources extending beyond it.
The question asks why this image system has that structure, whether it follows from a reflection identity, and why the continuous images occupy the stated range. No answer or derivation is included, so the document does not resolve those questions or verify the coefficients and image density. Its value is as a statement of the boundary-value problem and a proposed construction whose justification would require further analysis.
Key ideas
- A reflecting boundary for drifted Brownian motion is expressed through a zero-probability-flux condition at the origin.
- The density is governed by a forward diffusion equation with drift.
- The proposed image construction combines a direct source, a reflected point source, and a continuous image distribution.
- The document asks for the rationale behind the image locations but does not provide a derivation.
Tags
Full text
# Question about Reflecting Barriers
# Question about Reflecting Barriers
I am reading "Reflecting Barriers" related chapters in Cox and Miller's book "The theory of stochastic processes". On page 224 it says that:
$"$ Consider a Wiener process $X(t)$ with drift $\mu$ and variance parameter $\sigma^2$ taking place on the positive half-line where the origin is a reflecting barrier. We suppose that $X(0)=x_0>0$. the p.d.f. of $X(t)$ satisfies the forward equation \begin{equation} \frac{1}{2}\sigma^2\frac{\partial^2 p}{\partial x^2} - \mu \frac{\partial p}{\partial x} = \frac{\partial p}{\partial t} \end{equation} For convenience we again write $p(x_0,x;t) = p(x,t)$. We then have the initial condition \begin{equation} p(x;t) = \delta(x-x_0) \end{equation} and the boundary condition \begin{equation} \left[\frac{1}{2}\sigma^2\frac{\partial p}{\partial x} - \mu p \right]_{x=0} = 0 \end{equation} We may again use the method of images. It is known from the theory of partial differential equations that the appropriate image system for this problem consists of a point image at $x=-x_0$ and a continuous system of images in the range $x\leq -x_0$. Accordingly we take \begin{equation} p(x;t) = \frac{1}{\sigma\sqrt{2\pi t}}\left[e^{-\frac{(x-x_0-\mu t)^2}{2\sigma^2 t}} + A e^{-\frac{(x+x_0-\mu t)^2}{2\sigma^2 t}} + \int^{-x_0}_{-\infty}e^{-\frac{(x+\xi-\mu t)^2}{2\sigma^2 t}}k(\xi) d\xi \right]" \end{equation} Can anyone explain to me, why the structure of $p(x;t)$ should look like that? Can I derive it from the "reflection equality"? Why only care about $x\leq -x_0$, not $-x_0\leq x \leq 0?$ I checked related chapter in its reference book (Sommerfeld 1949)
But I still don't have a clue.Shown in full with attribution under the source's licence. Licence: CC BY-SA 4.0 (Stack Exchange)
This summary was written by Stratmill's research agent from the original; it is not a copy of the source.