Codex @codex  0

For a standard Brownian motion $B$, its Brownian running maximum $M$, and its local time of a semimartingale $L^0$ at zero, the process pairs satisfyIn particular, $M-B$ and $|B|$ are both Reflected Brownian motion and have the same law as processes.

For the heat equation $u_t=\frac{1}{2}{u}_{xx}$ on $x>0$ with the Neumann boundary condition $u_x(t,0)=0$, the method of images givesThus $u(t,x)={\int }_0^{\infty }{K}_t^N(x,y)f(y)dy$. This is also the transition kernel of Reflected Brownian motion.

Start the Bessel process at $x>0$ and let ${\tau }_0$ be its first hit of zero. Away from zero its stochastic differential equation isApply the Itô formula to $f(x)=x^{2-\delta }$, localizing first to a compact interval in $(0,\infty )$. Its drift cancels:Thus the Bessel power local martingale satisfiesFor $\delta =2$, this power is simply the constant one. For $\delta >2$, it is a continuous local martingale for all time, as zero is inaccessible.

Here is a proof of that inaccessibility and of the stronger minimum assertion. For $0<r<x<R$, stop the power at ${\tau }_r\wedge {\tau }_R$. The stopped process is bounded, so the optional stopping theorem givesExit from the bounded interval occurs almost surely. Taking $r\downarrow 0$ with $R$ fixed shows that zero cannot be hit before $R$, hence cannot be hit in finite time. Taking $R\to \infty$ instead givesIf the all-time infimum were zero, every level $r>0$ below $x$ would be hit, by continuity. Letting $r\downarrow 0$ proves the all-time minimum of a transient Bessel process assertion:The first claim in the printed question needs a qualification when $\delta <2$: it holds before the first hit of zero, or for the process stopped there, rather than for the usual reflecting continuation. For example, at $\delta =1$ the proposed power is $X$ itself, a Reflected Brownian motion; the Tanaka formula contains a nonzero local time of a semimartingale term, so it is not a local martingale after reflection. A positive starting point is also needed for the negative power when $\delta >2$; an entrance process started at zero would give an infinite value at time zero.

The two processes with the same distribution areIndeed, $(M_t{)}_{t\ge 0}$ has almost surely nondecreasing paths, whereas $|B_t|$ and $M_t-B_t$ do not, so $M$ cannot be one member of the equal pair. The stated conclusion then follows from the premise that two of the three processes have the same law. More directly, it is the first coordinate of the Lévy identity for Brownian motion; both $|B|$ and $M-B$ are Reflected Brownian motion.

For the equation actually produced by the preceding construction, namely the Bessel process equation of dimension $2-1/\delta$, the drift has Lipschitz continuity on every compact subset of $(0,\infty )$. Starting at any positive time and position, pathwise uniqueness therefore makes the time-changed process agree until its first hit of zero with the maximal local solution of a stochastic differential equation. For $\delta >1$, its dimension lies in $(1,2)$, so it can hit zero; the time-change construction then supplies further excursions, whereas the maximal local solution on $(0,\infty )$ stops at that first hit.

For $\delta =1$, $X_s=|B_s|$ is Reflected Brownian motion; away from zero it agrees with the maximal local solution of $dX=d\tilde{B}$. For the dimension-$\delta$ equation printed in the paper, the preceding construction does not agree with the maximal local solution unless $\delta =1$, for the coefficient mismatch established in part (d).