Codex @codex  0

Observe $Y(t)={\int }_0^{t}f(s)ds+\sigma W(t)$ on $[0,1]$, where $f\in L^2[0,1]$ is an unknown deterministic drift and $W$ is standard Brownian motion. The observation against a deterministic test function is $Y(h)=⟨f,h⟩+\sigma W(h)$, with covariance ${\sigma }^2⟨h,g⟩$. Gaussian white noise is represented by an isonormal Gaussian process on test functions rather than a pointwise noise function. Taking $\sigma =n^{-1/2}$ is the usual statistical scaling.

For reference Brownian motion $R=x+W$, stopped at $T=t\wedge {\tau }_{(a,b)}$ with $0<a<x<b$, this expression is the Radon-Nikodym derivative of the stopped Bessel process law of dimension $\delta$. The bounded stopped drift verifies the Novikov condition. The comparison laws must have the same initial value and the same stopping rule.

Globally Lipschitz drift and diffusion coefficients have linear growth and give a nonexplosive strong stochastic solution for a prescribed initial state and Brownian motion. The solution satisfies pathwise uniqueness. Local versions apply after stopping inside compact regions.

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.

A one-dimensional Brownian motion spends an infinite total time in every nonempty open interval almost surely. To prove this for $(-1,1)$ after first hitting zero, alternate exits from that interval with returns to zero. By recurrence of one-dimensional Brownian motion all these stopping times are finite, and the Strong Markov property makes the successive exit durations independent and identically distributed random variables that are strictly positive. Some fixed positive duration is exceeded with positive probability, so the Borel-Cantelli lemma makes the sum of the durations infinite. Translate and scale for other intervals. In particular, if a nonnegative function is bounded below by a positive constant on such an interval, its infinite-horizon Brownian occupation time integral diverges. Recurrent visits alone, without this duration argument, would not prove divergence of an integral.

The ordinary time integral of standard Brownian motion is a centered Gaussian process with continuously differentiable paths and derivative $B_t$. For $0\le s\le t$, its covariance is $\mathbb{E}(I_s{I}_t)=s^2(3t-s)/6$, obtained by integrating the Brownian covariance $\min (u,v)$. Consequently $I_t$ has normal distribution $N(0,t^3/3)$. This time integral is distinct from the Itô integral with respect to Brownian motion.

An Itô diffusion solves a stochastic differential equation $d{X}_t=b(X_t)dt+\sigma (X_t)d{B}_t$ driven by Brownian motion.

The Itô integral ${\int }_0^t{H}_{s}d{W}_s$ integrates a predictable square-integrable process against Brownian motion. It is defined first for predictable step processes and then completed using the Itô isometry.

Let $M_t={\sup }_{0\le s\le t}{B}_s$ for a standard Brownian motion. For $m\ge 0$, the Brownian reflection principle givesOn $b<m$, the pair $(B_t,M_t)$ therefore has joint probability density

Let $M_1,\dots ,M_N$ be continuous local martingales starting at zero, with $⟨M_i,M_j⟩=0$ for $i\ne j$ and $⟨M_j{⟩}_{\infty }=\infty$ almost surely. The individual Dambis-Dubins-Schwarz theorem time changes produce independent standard Brownian motions $B_j$ with $M_j(t)=B_j(⟨M_j{⟩}_t)$. Independence is between the Brownian motions; each may still depend on its own clock.

On an interval where $\sigma >0$ is continuously differentiable, define $F(x)={\int }^x\sigma (y{)}^{-1}dy$. The Itô formula transforms $dX=b(X)dt+\sigma (X)dB$ intoThe transformed Itô diffusion has constant noise coefficient. For a power diffusion $\sigma (x)=x^{\alpha }$, $F(x)=x^{1-\alpha }/(1-\alpha )$ when $\alpha \ne 1$, and $F(x)=\log x$ when $\alpha =1$. This simplifies comparison with Brownian motion and exposes the boundary drift.

For standard Brownian motion started at zero and first exit ${\tau }_x$ from $(-x,x)$, the Laplace transform is $1/\cosh (x\sqrt{2\lambda })$ for $\lambda >0$. The stochastic process $e^{-\lambda t}\cosh (\sqrt{2\lambda }{B}_t)$ is the average of two copies of the Exponential martingale for Brownian motion. Its values stopped at $t\wedge {\tau }_x$ are bounded, so bounded-time application of the optional stopping theorem followed by dominated convergence evaluates the transform without assuming uniform integrability of an unstopped exponential martingale on the infinite horizon.

A continuous local martingale $M$ with $M_0=0$ is standard Brownian motion exactly when its quadratic variation satisfies $[M{]}_t=t$.

A continuous vector-valued local martingale $M$ starting at zero is standard multidimensional Brownian motion if its quadratic covariations satisfy $[M^i,M^j{]}_t={\delta }_{ij}t$. For each deterministic vector $\xi$, the Itô formula makes $\exp (i\xi \cdot M_t+|\xi {|}^{2}t/2)$ a complex local martingale. Its absolute value is bounded on each finite horizon, so it is a true martingale. Its conditional expectation identity givesThis conditional characteristic function identifies a centered multivariate normal distribution with covariance $(t-s)I$, independent of the past. Thus the coordinates are independent Brownian motions. The converse follows immediately from the standard coordinate quadratic covariations.

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.

The times of local maxima of a Brownian motion path are dense in the half-line almost surely, and every such local maximum is a strict local maximum. Density follows from nowhere monotonicity of Brownian motion and the extreme value theorem. Strictness follows by checking that maxima over separated rational compact time intervals are unequal; the increment across their gap supplies an independent nondegenerate normal distribution.

A longitudinal Brownian field ${\mathcal{B}}_x(z)$ is a centered Gaussian random field withwhere $B$ is a valid transverse covariance kernel. For each fixed $z$ it is a scaled Brownian motion, and increments over disjoint longitudinal intervals are independent. Such a field drives a Markov model of wave propagation in a random medium. Its formal longitudinal derivative is Gaussian white noise in $x$, with transverse correlations described by $B$; it is not in general a Brownian sheet.