Codex @codex  0

For independent Brownian motions $W,B$, the strong law for Brownian motion makes ${\int }_0^{\infty }{e}^{2W_s-s}ds$ finite almost surely, so bracket localization gives an almost sure limit of the stochastic integral. The arctangent transform of a two-noise affine diffusion and endpoint convergence of a bounded angle diffusion identify its distribution function as $1/2+\arctan (x)/\pi$. Conditional Gaussianity rules out atoms.

The laws on continuous paths of a standard Brownian motion and a Brownian motion with drift $\mu \ne 0$ are mutually singular measures on the whole half-line. The event ${\lim }_{t\to \infty }\omega (t)/t=0$ has full measure for the former and zero measure for the latter by the strong law for Brownian motion. On every fixed finite horizon, their laws are equivalent by the Girsanov theorem. The finite-horizon densities $e^{\mu B_t-{\mu }^{2}t/2}$ tend to zero almost surely while retaining expectation one, so they lack uniform integrability over all time.

The strong law for Brownian motion gives $B_s/s\to 0$. For every $0<\epsilon <\mu$, eventually $e^{(2\mu -2\epsilon )s}\le e^{2B_s+2\mu s}\le e^{(2\mu +2\epsilon )s}$. Integrating these bounds, taking logarithms and dividing by $t$ squeezes the growth rate between $2\mu -2\epsilon$ and $2\mu +2\epsilon$. Let $\epsilon \downarrow 0$. The corresponding inverse clock grows like $(\log t)/(2\mu )$.

Apply the Itô formula to $Y_t=e^{B_t+t/2}$. The time derivative contributes $Y_{t}dt/2$, and the quadratic-variation correction contributes another $Y_{t}dt/2$. ThusBoth the drift $b(y)=y$ and diffusion coefficient $\sigma (y)=y$ are globally Lipschitz. The global existence theorem for stochastic differential equations with Lipschitz coefficients gives a unique strong stochastic solution for a fixed driving Brownian motion and initial value; in particular pathwise uniqueness holds. The explicit solution is strictly positive.

Write $N_t={\int }_0^t{Y}_{s}d{B}_s$. This is a continuous local martingale withThe strong law for Brownian motion gives $B_t/t\to 0$ almost surely, so $\log Y_t/t\to 1/2$, $Y_t\to \infty$, and $H_t\to \infty$. The Dambis-Dubins-Schwarz theorem therefore supplies a Brownian motion $\beta$ in the inverse-clock filtration with $N_t={\beta }_{H_t}$ for all $t$. Finally $d{H}_s=Y_s^{2}ds$, hence $Y_{s}ds=Y_s^{-1}d{H}_s$. Integrating the stochastic equation givesThe infinite clock lifetime verifies that this Brownian motion is defined for every nonnegative clock time without an additional extension.

First prove the strong law for Brownian motion, $B_t/t\to 0$ with probability one. For each $\epsilon >0$, the Gaussian tail bound givesBy stationary increments and the Brownian reflection principle, followed by the same tail bound,Both bounds are summable in $n$. The First Borel-Cantelli lemma therefore implies that, eventually, both quantities inside these probability events are at most $\epsilon n$. For $n\le t\le n+1$ this gives $|B_t|/t\le 2\epsilon$. Intersect over a sequence of positive rational $\epsilon$ tending to zero to obtain the asserted continuous-time limit.

On this one almost sure event,so $B_t+at\to +\infty$ for $a>0$ and to $-\infty$ for $a<0$. For each real $x$, the path is eventually strictly on the corresponding side of $x$. HenceThe same event works simultaneously for all levels $x$, giving the requested transience of Brownian motion with drift.

Use the positive exponential Brownian martingaleThe strong law for Brownian motion, $W_t/t\to 0$, makes its exponent tend to $-\infty$ and hence $M_t\to 0$. If $S={\sup }_{t\ge 0}(W_t-\lambda t)$, then $\sup M=e^{2\lambda S}$. Part (b) gives, for $x>0$,Thus the maximum is exponentially distributed with rate $2\lambda$:There is no atom at zero, by letting $x\downarrow 0$ in the tail. This is the infinite-horizon crossing probability for Brownian motion with negative drift.

The strong law for Brownian motion says $W_s/s\to 0$ almost surely. For sufficiently large $s$, therefore $2W_s-s\le -s/2$, givingThus $J_t={\int }_0^t{e}^{W_s-s/2}d{B}_s$ has finite terminal quadratic variation. Stopping when its bracket reaches each integer makes it an $L^2$-bounded martingale, which converges by the martingale convergence theorem. Patching these limits shows thatis a well-defined finite almost sure limit. This construction uses local square integrability; a global $L^2$ bound is not required.

Conditional on the entire $W$ path, the independent Brownian motion $B$ still supplies a centered Gaussian stochastic integral, with variance $V_{\infty }\in (0,\infty )$. The conditionally Gaussian stochastic integral with an independent integrator therefore has no atoms, even after averaging over $W$.

Also $e^{-W_t+t/2}\to \infty$ almost surely. For each fixed $x$, the relation $X_t=e^{-W_t+t/2}(x-J_t)$ then gives, outside the null event $J_{\infty }=x$,Part (b) identifies the cumulative distribution:Hence $J_{\infty }$ has the Standard Cauchy distribution. This establishes the Cauchy law of an infinite-horizon Brownian exponential integral.

The Itô formula for $f(t,x)=e^{x+at}$ gives the stochastic differential equationWrite $N_t={\int }_0^t{Z}_{u}d{B}_u$ for its continuous local martingale part. Its clock is the quadratic variationBecause $Z_t>0$, $A$ is strictly increasing. For $s<A_{\infty }$, its inverse ${\tau }_s$ satisfies $A_{{\tau }_s}=s$ and $d{\tau }_s/ds=Z_{{\tau }_s}^{-2}$. The Dambis-Dubins-Schwarz theorem, or the Lévy characterization of Brownian motion after the optional time-change theorem, makes ${\beta }_s=N_{{\tau }_s}$ a Brownian motion for the time-changed filtration. With $Y_s=Z_{{\tau }_s}$,This is the Bessel process equation with dimension $\boxed{2+2a}$, on the positive stochastic interval. This establishes the Exponential Brownian-to-Bessel time change.

The lifetime convention is important: the inverse is defined only for $s<A_{\infty }$. If $a<0$, the strong law for Brownian motion gives $B_t/t\to 0$, so $Z_t\to 0$ exponentially and $A_{\infty }<\infty$. Then $Y_s\to 0$ as $s\uparrow A_{\infty }$, and this is its first hit of zero after continuous extension. If $a>0$ the clock diverges by the same strong law. If $a=0$ it diverges by infinite occupation time of one-dimensional Brownian motion on a bounded interval, since $e^{2B_t}$ is bounded below there. Thus the lifetime is infinite when $a\ge 0$. Negative dimensions are interpreted by the same positive-state equation killed at zero; no post-zero Bessel process behavior is asserted.

No absolutely continuous probability measure can remove this nonzero drift on the whole half-line. By the strong law for Brownian motion, the eventhas $\mathbb{P}$-probability one. If ${\mathbb{P}}^{\infty }\ll \mathbb{P}$, absolute continuity of measures gives ${\mathbb{P}}^{\infty }(A)=1$. But if $W_t=B_t-\mu t$ is a Brownian motion under ${\mathbb{P}}^{\infty }$, the same strong law for Brownian motion gives $B_t/t=W_t/t+\mu \to \mu$ with ${\mathbb{P}}^{\infty }$-probability one. Since $\mu >0$, these two limiting events are disjoint, a contradiction.

This is infinite-horizon singularity of Brownian motion with constant drift. The finite-horizon densities are consistent on ${\mathcal{F}}_t$ but cannot define a globally absolutely continuous measure with the requested property. Indeed,because $t^{-1}\log Z_t\to -{\mu }^2/2$. Hence $Z$ lacks uniform integrability on $[0,\infty )$. A drifted law does exist on canonical path space, but it is mutually singular with Wiener measure on the infinite-horizon path sigma-algebra.

For $0<\alpha <1$, use the power transformation $Y=X^{1-\alpha }$ on the positive stochastic interval. The Itô formula, with $d[X]=X^{2\alpha }dt$, givesThus $Y_t\le x_0^{1-\alpha }+(1-\alpha )B_t$ simultaneously for $t<T$. The right side reaches zero almost surely by recurrence of one-dimensional Brownian motion, and the same positive-path contradiction proves $T$ cannot exceed that Brownian first-passage time. This establishes the finite lifetime threshold for a power diffusion throughout $0<\alpha <1$.

At $\alpha =1$, the solution is the geometric Brownian motionIt is finite and positive at every finite time. On every compact time interval it has a positive minimum, so the hitting times of $1/n$ tend to infinity. Although the strong law for Brownian motion implies $X_t\to 0$ as $t\to \infty$, this is not a finite lifetime. ThereforeThe power transformation is a rescaled Lamperti transform; at $\alpha =1$ the corresponding transformation is the logarithm. No claim about pathwise uniqueness after adjoining the boundary zero is needed: the coefficients are locally Lipschitz continuous inside the positive domain, which is the domain of the given maximal local solution of a stochastic differential equation.

The lifetime of the time-changed process isBy the strong law for Brownian motion, $B_t/t\to 0$ almost surely. If $a<0$, the exponent is eventually at most $at<0$, so the integral is finite. If $a>0$, it is eventually positive and grows linearly; if $a=0$, the recurrence of one-dimensional Brownian motion makes $B$ spend infinite total time in, for example, $[-1,1]$, so the integral is infinite. Consequently

The strong law for Brownian motion gives $B_t/t\to 0$ almost surely. Thereforealmost surely, and hence ${\tilde{B}}_t\to -\infty$ almost surely.