Codex @codex  0

A process has conditionally symmetric increments if, for all deterministic $s\le t$ and bounded measurable $g$,Equivalently, the conditional characteristic function of every increment is invariant under changing the sign of its argument. This property is stronger than unconditional symmetry and is different from independent increments. It supplies identities between positive and negative exponential terminal martingales.

The terminal bracket value printed as zero is incompatible with a strictly increasing bracket starting at zero. If the intended value is infinity, solution applies directly. In fact the substantive conclusion holds for every deterministic continuous bracket $a(t)=[M{]}_t$, whether its terminal value is finite or infinite, and without strict increase.

For $u\in \mathbb{R}$, the Itô formula makesa complex local martingale. Its modulus is the deterministic value $e^{u^{2}a(t)/2}$, bounded on every finite horizon, so its real and imaginary parts are true martingales there. Conditioning between $s$ and $t$ givesThis deterministic conditional characteristic function shows that the increment is independent of ${\mathcal{F}}_s$ and is normal with mean zero and variance $a(t)-a(s)$. Induction over ordered times gives independent Gaussian increments and hence jointly Gaussian coordinate vectors. Since $a(t)$ is finite at every finite time, the integrable terminal bracket criterion applied on each fixed horizon also upgrades $M$ to a true square-integrable martingale. This proves the deterministic quadratic variation characterizes a Gaussian continuous local martingale result in a form covering the corrected question.

Use $A_t={\int }_0^t{H}_s^{2}ds$ and its inverse ${\tau }_u$ as above. Strict increase and continuity make $u\mapsto {\tau }_u$ continuous, with $A_{{\tau }_u}=u$ and ${\tau }_{A_t}=t$. Thus $W_u=M_{{\tau }_u}$ is continuous and adapted to ${\mathcal{G}}_u={\mathcal{F}}_{{\tau }_u}$, with $W_0=0$.

The essential remaining point is independence of increments, which does not follow merely from the Gaussian marginal in part (a). Fix $0\le u<v$ and $\lambda \in \mathbb{R}$. The complex exponentialis bounded by $e^{{\lambda }^{2}v/2}$ in modulus, hence is a uniformly integrable martingale. The optional sampling theorem at the finite, possibly unbounded, times ${\tau }_u\le {\tau }_v$ givesDivide by the nonzero right-hand exponential. ThenThis deterministic conditional characteristic function says that $W_v-W_u$ is $N(0,v-u)$ and independent of ${\mathcal{G}}_u$. Successively conditioning proves independence of every finite family of increments. Together with continuity and the zero initial value, this proves that $W$ is Brownian motion. The inverse-clock identity gives $W_{A_t}=M_{{\tau }_{A_t}}=M_t$, completing the requested special-case proof of the Dubins-Schwarz theorem.

A martingale describes an observable after its predictable drift has been removed. For a Markov chain the drift is the change produced by its transition operator; for Brownian motion it is one half of the Laplacian. Requiring the resulting processes to be martingales for a sufficiently rich class of observables determines the transition law itself. The same identities, combined with optional stopping, determine hitting probabilities, expected exit times and recurrence or transience. The duplicated Q5 paragraph in the PDF is a repeated printing of this one essay request.

For a finite or countable-state Markov chain with transition matrix $P$, define $(Pf)(x)={\sum }_{y}P(x,y)f(y)$ for a bounded test function $f$. The Markov property says $\mathbb{E}[f(X_{n+1})\mid {\mathcal{F}}_n]=(Pf)(X_n)$. Consequentlyis a martingale, since each increment has conditional expected value zero. Conversely, if these processes are martingales for every bounded $f$, taking the conditional expectation of an increment recovers that identity. With $f=1_{\{y\}}$ it gives $\mathbb{P}(X_{n+1}=y\mid {\mathcal{F}}_n)=P(X_n,y)$ for every state $y$. Thus, given the initial law, these identities characterize the Markov chain, not merely a few of its moments. This is the discrete-time Markov chain martingale characterization.

The drift operator is $P-I$. If $(P-I)h=0$ away from a target set, $h(X_{n\wedge T})$ is a stopped martingale, where $T$ is the first hit of that set. Under boundedness or suitable uniform integrability, the optional stopping theorem expresses $h$ in terms of boundary hitting probabilities. Similarly, if $(P-I)v=-1$ away from the target and $v=0$ on it, then $v(X_{n\wedge T})+(n\wedge T)$ is a martingale, giving $v(x)={\mathbb{E}}_{x}T$ when the terminal limit is justified.

For a concrete calculation, take a simple symmetric random walk on $\{0,1,\dots ,N\}$ stopped at $T$, its first hit of $0$ or $N$. In the interior, $h(i)=i$ has zero drift, while $v(i)=i(N-i)$ satisfiesThe stopped identity gives ${\mathbb{E}}_i(T\wedge n)=v(i)-{\mathbb{E}}_{i}v(X_{T\wedge n})\le v(i)$, proving $T$ finite with finite mean. Bounded convergence in both stopped identities now yields the gambler's ruin answersThis illustrates why the integrability justification is part of using a martingale, rather than an automatic consequence of writing an equation.

For a finite-state continuous-time Markov chain with generator matrix $Q=(q_{ij})$, the corresponding martingale problem for a continuous-time Markov chain usesThese are martingales. Conversely, suppose an adapted càdlàg finite-state process satisfies these identities. Let $P_t=e^{tQ}$, fix $T$, and set $g(s,i)=(P_{T-s}f)(i)$. Then ${\partial }_{s}g+Qg=0$. Apply deterministic integration by parts to the finite collection of indicator martingales to obtain the time-dependent Dynkin formula: $g(s,X_s)-g(0,X_0)-{\int }_0^s({\partial }_{r}g+Qg)(r,X_r)dr$ is a martingale. ThereforeThis recovers the Markov property and the entire semigroup, proving the characterization. On countable spaces one uses nonexplosion and localization to justify the analogous unbounded-rate formulas.

For $d$-dimensional Brownian motion, the Itô formula shows that, for $f\in C_c^{\infty }({\mathbb{R}}^d)$,is a true martingale, since its bounded derivatives make the integral square-integrable on each bounded horizon. This is the martingale problem for Brownian motion with generator $L=\frac{1}{2}\Delta$.

Here is why it also characterizes Brownian motion. Suppose a continuous adapted process $X$, with $X_0=x$, satisfies that martingale problem. Use smooth cutoff test functions equal to $x_i$ and $x_i{x}_j$ inside successively larger balls, and stop before leaving those balls. The coordinate tests show that $X^i-x_i$ are continuous local martingales; the product tests show that $X^i{X}^j-x_i{x}_j-{\delta }_{ij}t$ are local martingales. The Itô product rule consequently givesthe difference between the two proposed compensators is a continuous finite-variation local martingale, hence constant and zero at time zero. For each $u\in {\mathbb{R}}^d$, another application of the Itô formula gives the exponential local martingaleIts modulus is the deterministic quantity $e^{|u{|}^{2}t/2}$, so it is a true martingale on every bounded time interval. Taking its conditional expectation and dividing by its known value at time $s$ givesThe conditional characteristic function identifies a centered multivariate normal distribution of covariance $(t-s)I$, independent of the past. Together with continuity, this is the defining law of Brownian motion. This proves the Lévy characterization of multidimensional Brownian motion in the form needed for the generator characterization.

The analytic use of these martingales parallels the chain case. A harmonic function $h$ satisfies $\Delta h=0$, so it yields a stopped local martingale until the process leaves its domain of harmonicity. Bounded stopped observables permit optional stopping and solve boundary hitting problems. A solution of $\frac{1}{2}\Delta v=-1$ with zero boundary values gives an expected exit time. For example, in the ball of radius $R$, $v(x)=(R^2-|x{|}^2)/d$ gives ${\mathbb{E}}_x{T}_R=(R^2-|x{|}^2)/d$; stopping $|B_t{|}^2-dt$ first at $T_R\wedge n$ proves finiteness and justifies the limiting calculation. The Brownian local time construction in Q4 is another example: the predictable compensators of approximations to $|B_t|$ recover its increasing occupation term.

We now prove the required three-dimensional transience of Brownian motion in dimension at least three, in the strong sense $|B_t|\to \infty$ almost surely. Start first at a point $x$ with $r<|x|<R$, and let $T$ be the first exit from this annulus. The radial Laplacian in dimension three givesThus $|B_{t\wedge T}{|}^{-1}$ is a bounded martingale. The exit time is finite: stopping $|B_t{|}^2-3t$ gives $3\mathbb{E}(t\wedge T)\le R^2-|x{|}^2$. At exit, continuity puts $|B_T|$ at either $r$ or $R$. The optional stopping theorem therefore yieldsand hence the Brownian sphere-hitting probability in dimension threeAs $R\to \infty$, the events $\{{\tau }_r<{\tau }_R\}$ increase to $\{{\tau }_r<\infty \}$: a continuous path is bounded on the finite interval preceding any finite inner hit. This argument assumes no transience. ConsequentlyTo pass from a positive escape probability to almost-sure eventual escape, take Brownian motion started at zero. Let ${\sigma }_R$ be its first hit of the sphere of radius $R$. Stopping the squared-norm martingale proves $\mathbb{E}{\sigma }_R=R^2/3<\infty$. At ${\sigma }_R$, the Strong Markov property and the preceding hitting formula giveThe Strong Markov property here follows from independent Brownian increments by approximating a stopping time from above with dyadic-valued stopping times and using path continuity. Choose $R_m=2^{m}r$. The exit times ${\sigma }_{R_m}$ increase to infinity, since a continuous path is bounded on every compact time interval. The events of a return to the closed ball of radius $r$ after ${\sigma }_{R_m}$ decrease and have probabilities $2^{-m}$. Their intersection has probability zero. Thus almost surely there is some finite exit time after which the path never again enters that ball. Apply this simultaneously to all positive integer $r$. This proves the last visit to a bounded ball for three-dimensional Brownian motion conclusion and therefore

For a deterministic $t\le T$, conditional symmetry makes the conditional characteristic function of $X_T-X_t$ invariant under $\theta \mapsto -\theta$. The bounded real and imaginary parts of the exponential are legitimate test functions. HenceThe right side is a bounded complex martingale. Both sides have continuous versions by the assumptions; equality on rational times and continuity make them indistinguishable. Thus $e^{-2i\theta X_t}{M}_t$ is a martingale on $[0,T]$. Complex martingale assertions mean the corresponding assertions for both real and imaginary parts.

Fix $T>0$. The given normal distribution and part (d) implyOne can deduce determinism without any moment assumption on the bracket. Put $Z=e^{-⟨X{⟩}_T}$. Taking $\lambda =1,2$ gives $\mathbb{E}Z=e^{-T}$ and $\mathbb{E}{Z}^2=e^{-2T}$, so $\mathrm{Var}(Z)=0$. Therefore $⟨X{⟩}_T=T$ almost surely. Applying this at every rational time and using continuity of quadratic variation gives $⟨X{⟩}_t=t$ simultaneously for all $t\ge 0$ outside a single null set.

The Lévy characterization of Brownian motion states that a continuous local martingale starting at zero with this bracket is Brownian motion in its filtration. To see the independent-increment conclusion directly, the Itô formula shows that $e^{i\theta X_t+{\theta }^{2}t/2}$ is a martingale on any fixed bounded time interval: it is a local martingale with a deterministic bound on its modulus. ThusThe deterministic conditional characteristic function identifies an $N(0,t-s)$ increment independent of ${\mathcal{F}}_s$. Together with the given path continuity and $X_0=0$, this proves $X$ is Brownian motion.

The diffusion generator is $\mathcal{L}=\mu {\partial }_x+\frac{1}{2}{\sigma }^2{\partial }_{xx}$. By the Feynman-Kac formula, the required conditional characteristic function solvesUse separation of variables in the form $F(t,x)=e^{iux}h(t)$. Since $F_x=iuF$ and $F_{xx}=-u^{2}F$, the temporal factor satisfies the ordinary differential equationThus $h(t)=\exp [(iu\mu -\frac{1}{2}{\sigma }^2{u}^2)(T-t)]$, andThis is bounded in absolute value by one, so it lies in the uniqueness class of the Feynman-Kac formula. As an independent check, integrating the stochastic differential equation gives $X_T=x+\mu (T-t)+\sigma (B_T-B_t)$. The independent Brownian increments have the normal distribution with mean zero and variance $T-t$, yielding exactly the same characteristic function. For $\sigma =0$, the conditional distribution is a point mass at $x+\mu (T-t)$, and the same boxed expression still applies.

For $a<0$, set $v_{\infty }=-{\sigma }^2/(2a)>0$. The candidate invariant probability law of a Markov process isTo prove invariance rather than merely guess a limiting probability distribution, initialize $X_t\sim \pi$ independently of future Brownian increments. Integrating the conditional characteristic function from part (i) against this centered normal distribution givesbecause $v_{\Delta }=v_{\infty }(1-e^{2a\Delta })$. The uniqueness theorem for characteristic functions implies $X_{t+\Delta }\sim \pi$ for every $\Delta \ge 0$. This proves $\pi P_{\Delta }=\pi$, as required. The time-homogeneous Markov property then also makes the process with this Ornstein-Uhlenbeck stationary initialization a strictly stationary process.

Here the diffusion generator is $\mathcal{L}=ax{\partial }_x+\frac{1}{2}{\sigma }^2{\partial }_{xx}$. The Feynman-Kac formula givesTry $F(t,x)=\exp [iu\alpha (t)x+\beta (t)]$, where $\alpha (T)=1$ and $\beta (T)=0$. Substitution and collection of the coefficients of $x$ and the constant term giveThe solutions of these ordinary differential equations, with the terminal conditions imposed, areFor $\Delta =T-t$, define the conditional varianceThen the required conditional characteristic function isIn particular, for $a\ne 0$ this exponent is $iu{e}^{a\Delta }x-\frac{{\sigma }^2{u}^2}{4a}(e^{2a\Delta }-1)$. The variance $v_{\Delta }$ is nonnegative for either sign of $a$, and its limit at $a=0$ is ${\sigma }^2\Delta$. Hence the solution is bounded in absolute value by one and the Feynman-Kac formula identifies it with the required expectation. The value $u=0$ gives one directly, including that case without dividing by $u$.

For an independent check, the integrating factor $e^{-as}$ and the Itô product rule giveThe stochastic integral has a normal distribution because its integrand is deterministic; the Itô isometry gives its variance as $v_{\Delta }$. For $a<0$ this is the Ornstein-Uhlenbeck transition distribution. The formula also covers the unstable case $a>0$, and degenerates to deterministic motion when $\sigma =0$.