Intereting Posts

Subspaces of a tensor product of vector spaces
Show an infinite family of polynomials is irreducible
What is the *middle* digit of $3^{100000}$?
Characteristic subgroups of a direct product of groups
Bounded operators with prescribed range
How to show $\gamma$ aka Euler's constant is convergent?
Same solution implying row equivalence?
$H$ is a maximal normal subgroup of $G$ if and only if $G/H$ is simple.
Free Group Generated By Image
How is the Lagrangian related to the perturbation function?
Olympiad-style question about functions satisfying condition $f(f(f(n))) = f(n+1) + 1$
Modules over a functor of points
If $n>m$, then the number of $m$-cycles in $S_n$ is given by $\frac{n(n-1)(n-2)\cdots(n-m+1)}{m}$.
Compositional “square roots”
Property (ii) of increasing functions in Chung's “A Course in Probability Theory”

I’m trying to prove that Brownian motion absorbed at the origin is a Markov process with respect to the original filtration $\{\mathcal{F}_{t}\}$. To be more specific, let $(B_{t},\mathcal{F}_{t})_{t \geq 0}$ be a 1-d brownian motion such that $B_{0}=x,\ a.s. \mathbb{P}\ $ for some $x>0.\ $ Let $T_{0}=\inf\{ t \geq 0, \ B_{t}=0\}$ be the hitting time of $0$, and define the Brownian motion absorbed at origin to be the process $\{B_{t \land T_{0}}, \mathcal{F}_{t} \}$. I want to show that such a process is Markov w.r.t. $\mathcal{F_{t}}, \ $ i.e. $$\mathbb{P}[B_{t \land T_{0}} \in \Gamma | \mathcal{F}_{s}]=\mathbb{P}[B_{t \land T_{0}} \in \Gamma |B_{s \land T_{0}}]$$ for every pair of $0<s<t$. And further more it has transition density given by: $$\mathbb{P}[B_{(t+s) \land T_{0}} \in dy |B_{s \land T_{0}}=z]=\mathbb{P}^{z}[B_{t} \in dy, \ T_{0} >t], \ \forall y,z >0,$$ where $\mathbb{P}^{z}$ is the probability measure under which $B$ starts from $z$ almost surely.

I tried to use the strong Markov property for Brownian motion to derive these equalities, but I’m having a hard time dealing with $T_{0}$. For example, if $0 \notin \Gamma$, then$\{B_{t \land T_{0}} \in \Gamma\}=\{B_{t} \in \Gamma, T_{0} >t\}$. But how to apply strong Markov property to compute $\mathbb{P}[B_{t} \in \Gamma, T_{0} >t\ | \mathcal{F}_{s} ]\ $?

Any answer or comment is greatly appreciated, thanks!

- Markovian Gaussian stationary process with continuous paths
- Connections between SDE and PDE
- Interpretation for the determinant of a stochastic matrix?
- Under what conditions does $(I-N)^{-1}$ exist?
- The strong Markov property with an uncountable index set
- Markov process vs. markov chain vs. random process vs. stochastic process vs. collection of random variables

- Can we define probability of an event involving an infinite number of random variables?
- probability circle determined by chord determined by two random points is enclosed in bigger circle
- Not a small, not a big set
- “Continuity” of stochastic integral wrt Brownian motion
- Expected number of coin tosses needed until all coins show heads
- Random $0-1$ matrices
- Do Kolmogorov's axioms really need only disjointness rather than pairwise disjointness?
- Dominated convergence and $\sigma$-finiteness
- Do random variables form a comma category?
- Getting at least $k$ heads in a row $l$ times over after at most $m$ flips.

For every $r$ let $\theta_r$ denote the time-shift by $r$. Then,

$$

[B_t\in\Gamma,T_0\gt t]=[T_0\gt s,B_s+(B_t-B_s)\in\Gamma,T_0\circ\theta_s\gt t-s],

$$

where $[T_0\gt s]$ and $B_s$ are $\mathcal F_s$-measurable and $B_t-B_s$ is independent of $\mathcal F_s$ and distributed like $B_{t-s}$. Hence,

$$

\mathbb P^x(B_t\in\Gamma,T_0\gt t\mid\mathcal F_s)=\mathbf 1_{T_0\gt s}\cdot u_{t-s}(B_s),

$$

where, for every $r$ and $y$,

$$

u_r(y)=\mathbb P^y(B_r\in\Gamma, T_0\gt r).

$$

Likewise,

$$

[B_{t\wedge T_0}\in\Gamma]=[B_t\in\Gamma,T_0\gt t]\cup[0\in\Gamma,T_0\lt t],

$$

hence

$$

\mathbb P^x(B_{t\wedge T_0}\in\Gamma\mid\mathcal F_s)=\mathbf 1_{T_0\gt s}\cdot u_{t-s}(B_s)+\mathbf 1_{0\in\Gamma}\cdot(1-\mathbf 1_{T_0\gt s}\cdot v_{t-s}(B_s)).

$$

where, for every $r$ and $y$,

$$

v_r(y)=\mathbb P^y(T_0\gt r).

$$

- What is the probability that $x_1+x_2+…+x_n \le n$?
- precise official definition of a cell complex and CW-complex
- A shrinking map that is not a contraction no fixed point.
- Tight sequence of processes
- Compute $\lim_{s\to 0} \left(\int_0^1 (\Gamma (x))^s\space\mathrm{dx}\right)^{1/s}$
- Prokhorov's theorem for finite signed measures?
- What is the most unfair set of three nontransitive dice?
- Physical or geometric meaning of complex derivative
- is there any good resource for video lectures of differential geometry?
- A layman's motivation for non-standard analysis and generalised limits
- Why is $\frac{1}{\infty } \approx 0 $ and $ \frac{1}{0} = {\infty}$?
- To compute $\frac{1}{2\pi i}\int_\mathcal{C} |1+z+z^2|^2 dz$ where $\mathcal{C}$ is the unit circle in $\mathbb{C}$
- Littlewood's Inequality
- Solving for $\sum_{n = 1}^{\infty} \frac{n^3}{8^n}$?
- Reference for matrix calculus