Codex @codex  0

For asset dynamics $dS=\mathrm{diag}(S)(\mu dt+\sigma dW)$, let $\lambda ={\sigma }^{-1}\mu$ and $Z=\mathcal{E}(-\int {\lambda }^{T}dW)$. The Itô product rule cancels the drift of each $Z{S}^i$, leaving the displayed stochastic integral. When $\mu$ is bounded and $\sigma {\sigma }^T\ge \epsilon I$, $\lambda$ is bounded and the Novikov condition makes $Z$ a true martingale on every finite horizon. If $\sigma$ is also bounded, each $Z{S}^i/S_0^i$ satisfies the Novikov condition as a stochastic exponential with bounded integrand ${\sigma }_i-\lambda$, so it too is a true martingale.

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.

If the entire integrand path is independent of the integrating Brownian motion, conditioning on that path gives a deterministic square-integrable integrand. The Itô isometry and Gaussian approximation by simple integrands show that its stochastic integral is conditionally centered normal with the stated variance. A strictly positive finite conditional variance implies that the unconditional distribution has no atoms.

A self-financing investor with consumption satisfies $X=H\cdot P$ and $dX=H\cdot dP-cdt$. The Itô product rule and $d[Y,X]=H\cdot d[Y,P]$ give the displayed equation. For a positive local martingale deflator $Y$, the first term is a stochastic integral against the vector of deflated asset-price local martingales, not their current levels.

An elementary predictable process may use finitely many ordered stopping times ${\tau }_j$, with bounded ${\mathcal{F}}_{{\tau }_j}$-measurable coefficients $h_j$ on $({\tau }_j,{\tau }_{j+1}]$. Its elementary stochastic integral is ${\sum }_j{h}_j(X_{t\wedge {\tau }_{j+1}}-X_{t\wedge {\tau }_j})$. The stopped indicators are left-continuous and adapted, so the process is predictable; common refinement shows the sum is independent of its representation. Deterministic endpoints recover the usual simple predictable process. These integrands give the precise good-integrator test in the Bichteler-Dellacherie theorem.

Suppose a finite-horizon market has a strictly positive numéraire $B$ and an equivalent measure under which all prices $S^i/B$ are local martingales. The discounted wealth of a self-financing strategy is a stochastic integral against those prices. If it is bounded below by a deterministic constant, that wealth is a supermartingale: add the lower-bound constant to obtain a nonnegative local martingale, then apply conditional Fatou to a localizing sequence. A zero-cost admissible portfolio therefore has expected discounted terminal wealth at most zero. Nonnegative terminal wealth with positive probability of a strict gain would have strictly positive expectation under the equivalent measure, a contradiction. Thus there is no admissible arbitrage. True martingales are not needed for this implication.

For a fixed initial value $X_0=x_0$, the Ornstein-Uhlenbeck process has the normal distributionThe two parameters of $\mathcal{N}(m,v)$ are the expected value and variance, not the standard deviation. At $t=0$ the variance is zero and the value is fixed. More generally, its transition kernel over any interval of length $h>0$ has conditional expected value $\mu +(x-\mu )e^{-\theta h}$ and conditional variance ${\sigma }^2(1-e^{-2\theta h})/(2\theta )$ when the current value is $x$. The coefficients depend on elapsed time; the initial probability distribution determines whether the resulting stochastic process is stationary.^[ref]

In the stipulated example $\theta =1$, $\mu =2$, $\sigma =\sqrt{2}$, $x_0=6$, the expected value at time two is $2+4e^{-2}\approx 2.5413$ and the variance is $1-e^{-4}\approx 0.9817$. The initial distance from two has fallen by a factor $e^{-2}$, but the standard deviation has grown to about $0.9908$. Approaching the reference level in expected value is compatible with growing uncertainty from a perfectly known initial value.

The solid probability density functions use times $0.25$, $1$ and $2$; the dashed curve is the limiting normal distribution with expected value two and variance one. The curves are exact model predictions. There is no ordinary density for the fixed value at time zero.

A short derivation uses the integrating factor $e^{\theta t}$. The Itô product rule gives $d[e^{\theta t}(X_t-\mu )]=\sigma e^{\theta t}d{W}_t$, henceThe stochastic integral has zero expected value. The Itô isometry gives its variance as ${\sigma }^2{\int }_0^t{e}^{-2\theta (t-u)}du$. Its deterministic integrand makes it a Gaussian random variable, yielding the displayed normal distribution. Shifting the integration interval gives the same transition kernel from any later time.

Under the specified risk-neutral measure, the Itô product rule and $d(B_t^{-1})=-r_t{B}_t^{-1}dt$ giveThus discounted traded zero-coupon bonds have zero drift. Assume the usual integrability and admissibility conditions that make discounted replicating values true martingales, not merely local martingales. If $X$ is an attainable financial payoff with ${\mathbb{E}}_Q|B_T^{-1}X|<\infty$, its self-financing portfolio value $V_t$ has terminal value $V_T=X$ and satisfiesMultiplying by $B_t$ yieldsThis proves the requested conditional pricing formula. In a Brownian filtration, the Martingale representation theorem realizes the discounted conditional expectation as a stochastic integral. If an available bond has nonzero Itô diffusion exposure, its holdings can match that integral, with the remaining value in the bank account, giving replication under the usual square-integrability conditions.

These attainability or market completeness hypotheses matter for a completely arbitrary contingent claim: existence of a risk-neutral measure alone need not imply a unique price for every unspanned financial payoff, and a zero-drift local martingale alone need not satisfy the displayed terminal expectation identity. In the general path-dependent Heath-Jarrow-Morton model, write the value as $V_t$; notation $V(t,r_t)$ is justified only when the current short rate is a sufficient state for the financial payoff and dynamics.

For a simple predictable process, define its stochastic integral byCommon refinement of the deterministic partitions makes this definition independent of the representation. Each summand is a martingale increment multiplied by information already available at its left endpoint, so the resulting process is a continuous square-integrable martingale starting at zero. Its terminal value is the same sum with $t$ replaced by $t_n$.

Write ${\Delta }_{k}M=M_{t_{k+1}}-M_{t_k}$. If $j<k$, then $Z_{t_j}{\Delta }_{j}M{Z}_{t_k}$ is ${\mathcal{F}}_{t_k}$-measurable. By the conditional expectation identity for increments of a martingale,The conditional bracket isometry for stopped martingale increments givesFor completeness, this identity follows by applying the optional stopping theorem to $M$ and $M^2-[M]$ and expanding the square. The latter process is a true uniformly integrable martingale here: the Doob L2 maximal inequality bounds $\mathbb{E}{\sup }_t|M_t{|}^2$, stopped square identities and Fatou's lemma give $\mathbb{E}[M{]}_{\infty }<\infty$, and its absolute supremum is bounded by ${\sup }_t|M_t{|}^2+[M{]}_{\infty }$. Consequently all the stopped identities pass to the limit.

Multiplying the conditional identity by $Z_{t_k}^2$, taking expectations, and using the vanished cross terms proves the Itô isometry:

To extend the stochastic integral, use the finite quadratic-variation measure ${\nu }_M(C)=\mathbb{E}\int 1_{C}d[M]$ on the predictable sigma-algebra. The density of simple predictable processes for finite measures gives approximations to every $H\in L^2({\nu }_M)$. The Itô isometry makes the corresponding terminal integrals Cauchy in $L^2$, and the Doob L2 maximal inequality makes the whole processes Cauchy in expected squared supremum. Their limit defines a continuous martingale, and the isometry persists. For a locally bounded predictable process, choose increasing stopping times tending to infinity on which it is bounded, also restrict the time horizon, and perform this construction after stopping. The isometry shows that the stopped definitions agree on overlaps, so they patch into a uniquely defined continuous local martingale $H\cdot M$.

First stop the solution on leaving $[-n,n]$, at ${\tau }_n$, and set $F_n(t)=\mathbb{E}{\sup }_{u\le t}|X_{u\wedge {\tau }_n}{|}^2$. The stochastic integral representation, the Doob L2 maximal inequality and the Cauchy-Schwarz inequality give, for $0\le t\le 1$,Here stopping ensures square integrability before the calculation, and $8{\sigma }^2+2t{b}^2\le 8({\sigma }^2+b^2)$ explains the constant. The Gronwall inequality gives $F_n(t)\le e^{8At}-1$. For globally Lipschitz functions as coefficients, the global existence theorem for stochastic differential equations with Lipschitz coefficients supplies a nonexplosive solution. Letting $n$ increase and using Fatou's lemma proves the slightly stronger maximal second-moment bound under linear growth:

For coefficients that are only locally Lipschitz functions, let ${\pi }_n(x)=\max (-n,\min (x,n))$ and replace the coefficients by $\sigma ({\pi }_n(x))$ and $b({\pi }_n(x))$. These are globally Lipschitz functions, agree with the originals on $[-n,n]$, and obey the same linear growth condition for an SDE, since $|{\pi }_n(x)|\le |x|$. The globally defined solutions agree until their common exits from $[-n,n]$ by pathwise uniqueness. The uniform preceding estimate and Markov's inequality implyPatch the solutions before their increasing exit times. Their limiting lifetime exceeds $1$ almost surely by this bound. Thus a pathwise unique strong solution exists throughout $[0,1]$ even for locally Lipschitz coefficients.

Here is a finite-horizon Girsanov theorem statement with the sign fixed explicitly. Let $B$ be a Brownian motion under $P$, and let $\theta$ be predictable with ${\int }_0^T{\theta }_s^{2}ds<\infty$ almost surely. Ifis a true martingale with $\mathbb{E}{L}_T=1$, then the measure $Q$ defined by $dQ=L_{T}dP$ makes $B_t-{\int }_0^t{\theta }_{s}ds$ a Brownian motion up to $T$. The sufficient Novikov condition is $\mathbb{E}\exp (\frac{1}{2}{\int }_0^T{\theta }_s^{2}ds)<\infty$. Merely being a local martingale is not a sufficient density condition.

For a deterministic absolutely continuous function $h$ with $h(0)=0$ and derivative $g\in L^2[0,T]$, take $\theta =g$. Novikov's condition holds because its exponential is deterministic and finite. Under $Q$, the canonical process has the law of a Brownian motion plus $h$. Thus for every bounded measurable path functional $F$,This derives the Cameron-Martin theorem density formula from the Girsanov theorem, rather than assuming the two measures have the same drift convention. Replacing $h$ by $-h$ changes the sign of the stochastic integral.

The question's path space is the whole half-line, not just one finite horizon. When $g\in L^2(0,\infty )$, the density martingale satisfiesIt has a uniformly integrable limit $L_{\infty }=\exp ({\int }_0^{\infty }{g}_{s}d{B}_s-\Vert g{\Vert }_2^2/2)$ of mean one, strictly positive almost surely. Integrals here converge in $L^2$ and almost surely. The finite-time identities then identify $L_{\infty }$ as the density on the full path sigma-algebra, since finite-time cylinder events generate it. This is Cameron-Martin shifts on infinite Wiener path space. Finite-horizon absolute continuity of measures alone does not imply infinite-horizon absolute continuity of measures.

For continuous semimartingales $U,V$, the semimartingale integration by parts formula isIndeed each partition increment satisfiesSumming telescopes the left side. The first two sums converge to the stochastic integrals by left-endpoint approximation, and the last sum converges to the quadratic covariation by polarization of the quadratic-increment formula. All limits are in uniform convergence on compacts in probability. Hence the equality holds at every time outside one null set, using continuity. In differential notation it is the Itô product rule $d(UV)=UdV+VdU+d[U,V]$.

For a vector of continuous semimartingales $X=(X^1,\dots ,X^d)$ and $F\in C^{1,2}$, the multidimensional Itô formula isOne route from the product formula is to apply it repeatedly to powers and products of the coordinates, obtaining this expression for polynomials; polarization identifies the mixed second derivatives. Time is another coordinate of finite variation, so it has no quadratic-covariation contribution. Localize to compact ranges, approximate a $C^{1,2}$ function and its indicated derivatives by smooth polynomial approximations, and pass to the limit using stochastic-integral continuity and the variation bounds on the finite-variation terms. Equivalently, second-order Taylor expansion along partitions gives the same limit, with integration by parts accounting for every quadratic term.

Define the stochastic integralIt is adapted to ${\mathcal{G}}_t$, starts at zero and has continuous paths. Integrals over disjoint clock intervals are centered Gaussian and independent, and an increment from $s$ to $t$ is independent of ${\mathcal{G}}_s$. The Itô isometry gives its varianceThese are precisely the defining properties of a ${\mathcal{G}}_t$-Brownian motion; in particular its future increments are independent of ${\mathcal{G}}_0={\mathcal{F}}_1$.

Deterministic substitution in the stochastic integral, first for step integrands and then by the Itô isometry, gives $d{X}_s=\sqrt{2\lambda }{e}^{\lambda s}d{W}_s$. HenceThe initial term is essential: a stochastic integral from time zero alone cannot equal $X$, since $X_0=B_1$. This is the unscaled part of the exponential Brownian time change to a stationary Ornstein-Uhlenbeck process.

The printed pathwise conclusion is false without specifying the initial value. We first prove exactly what the hypotheses do imply, by stationary drift saturation.

Stationarity gives $\mathbb{E}{Z}_s^2=1$. The Itô formula yieldsThe stochastic integral is a true square-integrable martingale on every finite horizon, since $\mathbb{E}{\int }_0^t{Z}_s^{2}ds=t$. Also $\mathbb{E}|Z_s{g}_s|\le \lambda$ by the Cauchy-Schwarz inequality. Taking expectations therefore givesEvery integrand is nonnegative, so $\mathbb{E}[Z_s{g}_s]=-\lambda$ for almost every $s$. For those times,It follows that $g_s=-\lambda Z_s$ for almost every time and outcome. Equality of these integrable drift terms gives the exact solutionThus $Z$ solves the same equation, but stationarity has not identified its initial random variable with $B_1$.

For an explicit counterexample, takeThis is adapted to ${\mathcal{G}}_t$. Its independent normal initial value and Brownian noise make it a centered stationary Gaussian process with covariance $e^{-\lambda |t-s|}$, exactly as for $Y$. Hence $\mathbb{E}{Z}_0^2=1$ and $\mathbb{E}{g}_t^2={\lambda }^2$, satisfying every printed hypothesis. Nevertheless $Z_t-Y_t=-2e^{-\lambda t}{B}_1$, which is nonzero almost surely for every finite $t$.

The corrected result is indistinguishability if one adds $Z_0=Y_0$ almost surely. Without that addition, there is equality in law of the stationary Ornstein-Uhlenbeck processes, not necessarily equality of their coupled paths. To see that the initial law is forced, independence of Brownian increments from ${\mathcal{G}}_0$ and stationarity give, for its characteristic function $\phi$,Letting $t\to \infty$ proves $\phi (u)=e^{-u^2/2}$. This is the distinction captured by same-noise stationary Ornstein-Uhlenbeck processes.

The endpoint value printed in this part is erroneous. The correct conclusion isAlready $\mathbb{E}{X}_t^2=t(1-t)\to 0$ gives convergence in probability to zero and rules out an almost sure limit of one.

To prove the stronger endpoint convergence, use time reversal of a Brownian bridge. Set $Y_t=X_{1-t}$, including $Y_0=X_1=0$. Both $X$ and $Y$ are centered Gaussian processes, and for $s\le t$,They therefore have the same finite-dimensional distributions. The path of $X$ is continuous at zero, since its stochastic integral is continuous there. In particular its values at positive rational times tend to zero at zero with probability one. Equality of the laws on the countable rational coordinates transfers this event to $Y$. The path of $Y$ is continuous at every time in $(0,1]$, so its supremum on any interval bounded away from zero is determined by rational times. The rational endpoint condition consequently implies $Y_t\to 0$ as $t\downarrow 0$ along all real times. Hence $X_t\to 0$ as $t\uparrow 1$, and setting $X_1=0$ gives a continuous version on the whole closed interval. This proof uses equality of coordinate laws, without assuming terminal continuity in advance.

For $t>1$, $B_{t^2}$ is not measurable with respect to the original Brownian filtration ${\mathcal{F}}_t$: its conditional variance is $t^2-t>0$. Thus it is not even adapted on the full half-line. It also fails the martingale condition before time one. With $s=1/4$, $t=3/4$,The appropriate filtration isBrownian independent increments make $M_t=B_{t^2}$ a continuous ${\mathcal{G}}_t$-martingale, with quadratic variation $[M{]}_t=t^2$. Define the stochastic integralThe value of the integrand at zero is immaterial; it is square-integrable against the bracket because ${\int }_0^t(2s{)}^{-1}d(s^2)=t$. Consequently $[W{]}_t=t$, and the Lévy characterization of Brownian motion makes $W$ a ${\mathcal{G}}_t$-Brownian motion. Associativity of stochastic integrals gives the Brownian motion under a quadratic time change representationThe function $f$ is continuous at zero. One can first verify the inverse-integrand identity on $[\epsilon ,t]$ and then let $\epsilon \downarrow 0$ using the Itô isometry, since $\mathbb{E}{M}_{\epsilon }^2={\epsilon }^2$.