Past exam of the stochastic differential equations and Brownian motion in complex analysis course of the University of Oxford / 2010 (C10.1, DMAC 2483, DMCO 2483)

Source: released examination bundle, Part C 2007 11.pdf, pages 372–377. All six questions in both halves are covered. No mark allocations are printed.

Write the stochastic differential equation in integral form and replace the unknown integrand by the preceding Picard iterate. With the deterministic initial vector $a$, the recursion isEach iterate is a continuous adapted process. The Itô isometry inductively gives its square integrability on every bounded time interval, so all these Itô integrals are well defined.

Use $s$ for the dummy integration variable in the printed integral. The Itô isometry givesThe assumed second-moment bound also proves the integrability needed to apply the Itô isometry. The extra time integration is the source of the factorial improvement.

Set $K={\sum }_i\Vert A^i{\Vert }_{\mathrm{op}}^2$, where the norms are operator norms, and $D_m=y^{(m+1)}-y^{(m)}$. Independence of the Brownian coordinates and the vector Itô isometry giveInduction, as in part (b), yields the Factorial Picard estimate for a linear stochastic differential equationFor $t\le T$, the triangle inequality in $L^2$ therefore bounds any tail of the iterates by the corresponding tail ofThis numerical series converges by the ratio test: successive terms have ratio $\sqrt{KT/(m+2)}\to 0$. Thus the iterates are Cauchy in $L^2$, uniformly in the deterministic time parameter on each bounded interval. Completeness of Lp spaces gives a limit $y_t$. Once its continuous adapted version is chosen in part (d), the Itô isometry permits passage to the limit in the integral equation: the squared norm of each integral difference is bounded by $K{\int }_0^T\mathbb{E}|y_s^{(m)}-y_s{|}^{2}ds\to 0$. Consequently the Picard limit solves the stochastic differential equation.

For every $m$, $D_m$ is a continuous square-integrable vector martingale. Its norm is a submartingale, so the Doob L2 maximal inequality and the estimate from part (c) giveThe Cauchy-Schwarz inequality now showsBy Tonelli's theorem, the random sum of these suprema is finite almost surely. Therefore the telescoping series $a+{\sum }_m{D}_m(t)$ converges absolutely and uniformly on $[0,T]$ outside one null event. Its limit is continuous and agrees at each fixed time with the $L^2$ limit from part (c). Taking the intersection of the probability-one events for integer $T$ provides a single version on the whole half-line. HenceThis also gives the requested pointwise almost-sure convergence of the full sequence.

Standard Brownian motion is centered, so $m_t=0$. If $s\le t$, write $B_t=B_s+(B_t-B_s)$; the final increment is independent of $B_s$ and has mean zero. ThusThis is the Brownian covariance kernel. Together with joint Gaussianity and continuous paths, it gives the Gaussian-process characterization of Brownian motion.

For positive times the transformed process is centered and jointly Gaussian, andIts paths are continuous away from zero. To verify continuity at zero, we need $B_u/u\to 0$ almost surely as $u\to \infty$. The strong law of large numbers applied to the independent increments $B_{n+1}-B_n$ gives $B_n/n\to 0$. On the unit interval after $n$, the Doob L2 maximal inequality givesThe Borel-Cantelli first lemma, first for each positive rational $\epsilon$, shows that these between-integer fluctuations divided by $n$ tend to zero. Hence $B_u/u\to 0$ for all real $u\to \infty$, and $t{B}_{1/t}\to 0$ as $t\downarrow 0$.

The Gaussian-process characterization of Brownian motion now proves $X$ is standard Brownian motion, with respect to its natural filtration. This is time inversion of Brownian motion; the transformed process need not be adapted to the original forward filtration.

The Itô formula for $f(x)=x^4$ givesThe stochastic integral has expectation zero: its square integrability on a finite horizon follows from the finite sixth moments of a normal distribution. Since $\mathbb{E}{B}_s^2=s$, integration and expectation yield

Put $Q_t=⟨M,M{⟩}_t$ and $F(x,q)=e^{\sigma x-{\sigma }^{2}q/2}$. In the two-variable Itô formula, $Q$ has finite variation, while the only nonzero quadratic term is $d⟨M⟩=dQ$. ThereforeThis proves the stochastic exponential solves the equation. Its initial value is $e^{\sigma M_0}$; no normalization $M_0=0$ was stipulated.

The resulting process is initially a continuous local martingale. Since $Q_t\ge 0$ and $|M_t|<C$,A bounded local martingale is a true martingale: apply the martingale identity to a localizing sequence and use dominated convergence in conditional expectations. The deterministic bound works on every finite horizon, proving $Z$ is a martingale on every $[0,T]$. The bound on $Q$ also gives a positive deterministic lower bound $e^{-|\sigma |C-{\sigma }^{2}C/2}$, although the upper bound already proves the martingale assertion.

There is a printed domain error: $\mathrm{Re}z>0$ defines the right half-plane. Taken literally, continuity forces $\mathrm{Re}{Z}_{T_H}=0$ almost surely, so its law is a point mass at zero. The displayed density belongs to the intended upper half-plane $\mathrm{Im}z>0$, with $b>0$. We prove that intended assertion explicitly.

Write $Z_t=a+X_t+i(b+Y_t)$ for independent standard Brownian motions. The exit time $T$ is the first time $Y$ hits $-b$, and depends only on $Y$. Its density, by the supplied Brownian first-passage time law, is $b(2\pi t^3{)}^{-1/2}{e}^{-b^2/(2t)}$. Conditional on $T=t$, the real exit coordinate is normally distributed with mean $a$ and variance $t$. Independence therefore givesWith $u=[b^2+(x-a{)}^2]/(2t)$, the integral is $2/[b^2+(x-a{)}^2]$. Thus the Cauchy exit law from a Brownian half-plane isFor the literal right half-plane, the corresponding nondegenerate coordinate is $\mathrm{Im}{Z}_{T_H}$, whose density is $a/\{\pi [a^2+(y-b{)}^2]\}$ for $a>0$.

If $f:D\to D^{\prime }$ is a conformal map, the image of planar Brownian motion in $D$ is Brownian motion in $D^{\prime }$ after the increasing clock changeMore precisely, $f(Z_{A^{-1}(u)})$ is planar Brownian motion, starting at $f(Z_0)$ and run up to the relevant exit time. The Itô formula and the Cauchy-Riemann equations give image-coordinate local martingales with common bracket $A$ and zero cross bracket; the Lévy characterization of multidimensional Brownian motion identifies the time-changed process. In particular, conformal invariance of planar Brownian motion transports exit locations and harmonic measure, while changing traversal speed.

For $z=x+iy$ in the strip,so $\mathrm{Im}f(z)>0$. This is a bijective conformal map onto the upper half-plane. One way to verify bijectivity is to factor it as $w=e^{\pi z/a}$, followed by $(w+w^{-1})/2$. The first map gives $\mathrm{Im}w>0$, $|w|>1$. The two inverse roots of the second map have product one; for any point in the upper half-plane exactly one root has modulus greater than one, and its imaginary part is positive because $\mathrm{Im}[(w+w^{-1})/2]=(1-|w{|}^{-2})\mathrm{Im}w/2$.

The three boundary pieces map as follows: the lower edge goes to $(1,\infty )$, the upper edge to $(-\infty ,-1)$, and the vertical edge to $(-1,1)$. Thus the desired exit event becomes exit from the upper half-plane to the left of $-1$. WriteBy conformal invariance of harmonic measure and the Cauchy exit law from a Brownian half-plane,The strip exit is finite almost surely, since its imaginary coordinate exits $(0,a)$ in finite time; corners have probability zero because individual points are polar points for planar Brownian motion. This is the Top-edge exit probability of a Brownian half-strip.

Let $\alpha =\pi q/a\in (0,\pi )$. With $q$ and $a$ fixed,The principal arctangent satisfies $\arctan (\cot \alpha )=\pi /2-\alpha$ throughout this interval. Substitution givesFar from the vertical boundary, the limit agrees with the one-dimensional Brownian motion probability of reaching height $a$ before zero.

The disk exit time is finite almost surely; for example, either coordinate of the planar Brownian motion eventually leaves $(-1,1)$. By path continuity, the exit lies on the unit circle. Starting at the origin, rotational invariance of planar Brownian motion makes the exit law invariant under every circle rotation. The unique rotation-invariant probability measure is normalized arc length. Consequently $Z_{T_D}$ is uniform on the unit circle, or equivalently its angle has density $1/(2\pi )$ on $[0,2\pi )$.

By conformal invariance of planar Brownian motion, $w(Z_{T_D})$ has the uniform boundary law from part (a), because the image process starts at zero. A disk automorphism extends to an orientation-preserving boundary diffeomorphism. Choose a continuous angular lift $\varphi :\mathbb{R}\to \mathbb{R}$ satisfyingThe principal-angle version may have a branch jump, which is harmless for the density. The change of variables for probability densities yields the exit-angle density ${\varphi }^{\prime }(\theta )/(2\pi )$. Differentiating the boundary relation givesTaking absolute values proves ${\varphi }^{\prime }(\theta )=|w^{\prime }(e^{i\theta })|$. ThereforeThe angular lift explains rigorously the derivative appearing in the printed hint despite the principal-angle branch cut.

By Brownian scaling, $r^{-1}{Z}_{r^{2}t}$ is planar Brownian motion started at $w_0/r$. Its unit-disk exit angle is exactly the original radius-$r$ exit angle. Substitute $z_0=w_0/r$ into the supplied Poisson kernel for the unit disk:This density is with respect to angle $d\theta$. Its density with respect to arc length would be smaller by a factor $r$.

Put $\rho =|z|$. The triangle inequality gives $1-\rho \le |z-e^{i\theta }|\le 1+\rho$, so the Poisson kernel for the unit disk obeysIf $\rho \le r$, replace the lower bound by $(1-r)/(1+r)$ and the upper bound by $(1+r)/(1-r)$. Integrating against the positive measure $h(e^{i\theta })d\theta /(2\pi )$ givesHere $u(0)$ is exactly the uniform boundary average from part (a). Positivity permits multiplication of the pointwise kernel bounds; continuity on the compact circle ensures all integrals are finite. This is the Harnack inequality on the unit disk.

Use first that planar Brownian motion avoids a fixed point, so the path starting at $1$ never reaches zero. Its continuous logarithmic lift, initialized at zero, has real part $U_t=\log |Z_t|$ and imaginary part the continuous unwrapped angle ${\Theta }_t$. Local branches of the complex logarithm, patched along the path, and the Itô formula show that both coordinates are continuous local martingales withThe clock is finite on every compact time interval, since a continuous nonvanishing path stays a positive distance from zero there. It is continuous and strictly increasing. Moreover $\tau (\infty )=\infty$: by recurrence, planar Brownian motion spends infinite total time in a fixed disk, and inside the unit disk the clock integrand is at least one. This is the divergence of a positive planar Brownian occupation integral.

The common-clock time change of orthogonal local martingales, using the Lévy characterization of multidimensional Brownian motion, supplies independent Brownian coordinates ${\zeta }^1,{\zeta }^2$ such that $U_t+i{\Theta }_t={\zeta }_{\tau (t)}$. Exponentiating givesTo identify the inverse clock, write $A={\tau }^{-1}$. The derivative of an inverse function and the representation just obtained giveConsequentlyThe strict inequality in this generalized inverse has the same infimum as the unique inverse value, since $A$ is continuous and strictly increasing onto the half-line.

Assume $0<r<1<R$, as required for the annulus and logarithms. The logarithmic radius of planar Brownian motion is a local martingale. Stopping at $T=T_{r,R}$ keeps it between the constants $\log r$ and $\log R$, so the stopped process is a bounded martingale. The exit time is finite almost surely because the annulus is bounded and Brownian motion eventually exits its containing disk.

The optional stopping theorem followed by dominated convergence gives $\mathbb{E}\log |Z_T|=\log |Z_0|=0$. Continuity puts the exit radius at either $r$ or $R$. If $p$ is the inner-exit probability, then $p\log r+(1-p)\log R=0$. HenceStopping before taking expectations matters: the unstopped logarithmic-radius process is a strict local martingale, so one cannot assume its unrestricted expectation is constant.

The second coordinate ${\zeta }^2$ is one-dimensional Brownian motion, whose zero set is unbounded almost surely by recurrence. The clock $\tau$ and its inverse are continuous, increasing, and unbounded, so the unwrapped angle ${\Theta }_t={\zeta }_{\tau (t)}^2$ has zeros at arbitrarily large original times.

To ensure the times are stopping times for the original Brownian filtration, define directlyThe logarithmic lift makes $\Theta$ a continuous adapted process. Hitting a closed set after a stopping time is a stopping time under the usual filtration conditions, and the unbounded zero set proves inductively that each $T_n$ is finite almost surely. Since $T_n\ge T_{n-1}+1$, the sequence tends to infinity, and continuity givesGeometrically, the Brownian path returns to the positive real ray at arbitrarily late times with zero net unwrapped winding angle about the origin. The assertion is stronger than principal argument zero, which also allows any integer number of completed turns.

The long-time Spitzer winding theorem states that, for the continuous unwrapped angle ${\Theta }_t$ of planar Brownian motion started at $1$,Here $C$ has the standard symmetric Cauchy distribution. The notation means convergence in distribution: for every real $x$,Equivalently, expectations converge for every bounded continuous test function. This is a statement about the laws at large deterministic times, without asserting almost-sure convergence of sample paths. The angle is unwrapped; a principal argument is bounded and would instead give zero after division by $\log t$.