Codex @codex  0

Put $A_t=e^{-W_t+t/2}$ and $J_t={\int }_0^t{A}_s^{-1}d{B}_s$. The Itô formula gives $d{A}_t=-A_{t}d{W}_t+A_{t}dt$. The independence of the two Brownian motions gives $[W,B]=0$, so the product formula yieldsFor $f(x)=\arctan x$, $f^{\prime }(x)=(1+x^2{)}^{-1}$ and $f^{\prime \prime }(x)=-2x(1+x^2{)}^{-2}$. The drift terms cancel in the Itô formula:Define the rotated stochastic integralIt is a continuous local martingale withThe Lévy characterization of Brownian motion makes $Z$ a Brownian motion. Since ${\Theta }_t\in (-\pi /2,\pi /2)$ and $\cos {\Theta }_t=(1+X_t^2{)}^{-1/2}$,This is the arctangent transform of a two-noise affine diffusion.

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.

In the Gaussian white noise model, observe the entire pathwhere $W$ is standard Brownian motion and the deterministic drift belongs to L2 space on $[0,1]$. Equivalently, $dY(t)=f(t)dt+n^{-1/2}dW(t)$. For every deterministic $h\in L^2[0,1]$, the observed stochastic integral satisfiesThe noise $W(h)=\int hdW$ is an isonormal Gaussian process. In particular its variance is $\Vert h{\Vert }_2^2$. Gaussian white noise is interpreted through these integrals, rather than as an ordinary random function with a pointwise value at every time. No smoothness of $f$ is needed.

Here is the Gaussian maximum bound without independence. Put $M={\max }_{1\le i\le N}|g_i|$. It is integrable since it is bounded by ${\sum }_i|g_i|$. For every $\lambda >0$,The second inequality uses only the moment-generating function of the standard normal distribution, so independence is unnecessary. Jensen inequality gives $e^{\lambda EM}\le E{e}^{\lambda M}$, henceMinimizing at $\lambda =\sqrt{2\log (2N)}$ proves

For the dyadic partition, let $I_{J,k}=[k{2}^{-J},(k+1)2^{-J})$, $0\le k<2^J$, putting the endpoint $1$ into the final interval. The Haar scaling functionsform an orthonormal basis of the space $V_J$ of functions constant on each interval. The Haar wavelets can be written asFor $J\ge 1$, the constant function ${\varphi }_{0,0}=1$ together with ${\psi }_{j,k}$, $0\le j<J$, is another orthonormal basis of $V_J$. Indeed, each successive level splits a cell's two constants into their sum and difference; the number of basis elements is $1+{\sum }_{j=0}^{J-1}{2}^j=2^J$. Thus the Haar projection is the orthogonal projectionOn cell $I_{J,k}$ its value is $2^J{\int }_{I_{J,k}}f(t)dt$. The first formula also applies to $J=0$.

Estimate each coefficient by its observed stochastic integral:This is the Haar projection estimator in Gaussian white noise. The noise integrals over disjoint intervals form a Gaussian vector with zero off-diagonal covariance. The principle that uncorrelated jointly Gaussian variables are independent then makes these coefficients independent. ThereforeTaking expectations shows that ${\hat{\Pi }}_{V_J}f$ is an unbiased estimator of ${\Pi }_{V_J}f$, both coefficientwise and pointwise for the stated step-function representatives.

Only one scaling function is nonzero in each cell, so the supremum norm of the error has the exact formThe endpoint convention ensures the same identity at $1$. Apply the Gaussian maximum bound without independence with $N=2^J$ to obtain the supremum norm risk of a Haar projection estimator:The factor $2^{J/2}$ comes from cellwise scaling, while the extra square root of $J+1$ comes from taking the maximum over $2^J$ Gaussian errors.

A unit-root autoregressive process retains shocks permanently, whereas a causal time series with $|\varphi |<1$ reverts towards its mean. Testing the unit root determines whether stationary autoregressive analysis is appropriate or differencing is needed. For the model without an intercept or trend, use the Dickey–Fuller test against the lower-sided alternative $\varphi <1$ near the null. PutThis is the ordinary regression statistic for a zero coefficient when $\Delta X_t$ is regressed on $X_{t-1}$, but its null probability distribution is not the usual Student law. Under the standard unit-root initialization $X_1=o_P(\sqrt{n})$ and innovations independent of the starting value,where $W$ is standard Brownian motion. If $d_{\alpha }$ is the lower $\alpha$-quantile of $D$, the asymptotic level-$\alpha$ critical region isThe deterministic terms and null initialization must match the critical-value table. For exact finite-sample size of a statistical test, calibrate the statistic from its Gaussian random walk null with the specified initial condition and noise scale; for a zero starting value its distribution is scale-free. The printed two-sided recurrence alone specifies neither an initial law nor a universal finite-sample critical value. Ordinary normal quantiles do not give the intended size of a statistical test.

A standard Brownian motion has $B_0=0$, continuous paths almost surely, and independent increments with $B_t-B_s\sim N(0,t-s)$ for $0\le s<t$. With a specified filtration, the increment is also independent of the information available at time $s$.

A standard real Brownian motion relative to a filtration $({\mathcal{F}}_t)$ is an adapted stochastic process with $B_0=0$ almost surely, continuous paths almost surely, andEquivalently, it has independent increments and stationary increments, each with a normal distribution of mean zero and variance equal to the elapsed time, together with continuous paths and the stated initial value. The filtration may be its natural filtration. A Brownian motion started at $z$ is $z+W_t$ for a standard process $W$; multidimensional standard Brownian motion has independent standard real coordinate processes. The normalization is variance $t$ at time $t$.

For every $w\in C^{\alpha }[0,1]$, its finite Hölder seminorm gives the deterministic boundWhen $\alpha >1/2$, the right-hand side tends to zero. Thus under any probability measure on the stated coordinate sigma-algebra, these measurable finite-coordinate sums converge to zero on every path, and hence almost surely.

If the coordinate process were a Brownian motion, part (b) would make the same sums converge to one in $L^2$, and hence in probability. Almost sure convergence to zero also implies convergence in probability to zero. Uniqueness of a limit in probability is a contradiction. Therefore no such Brownian measure exists:This is the quadratic variation obstruction to Hölder regularity. It does not address the critical exponent $\alpha =1/2$, where the displayed deterministic bound does not tend to zero.

Let $\mu$ be the given Brownian motion law on $C[0,1]$. Choose $\alpha <\beta <1/2$ and an integer $p$ with $p(1/2-\beta )>1$. For the largest adjacent level-$n$ increment $A_n$, Brownian scaling and the Markov inequality givewhere $c_p=\mathbb{E}|\mathcal{N}(0,1){|}^p<\infty$. These probabilities are summable, so the Borel-Cantelli lemma gives a finite random $K$ such that $A_n\le K{2}^{-n\beta }$ for every $n$, after absorbing the finitely many exceptional levels.

For $s<t$, choose $m$ with $2^{-m}\le t-s<2^{1-m}$. Their left dyadic approximations at level $m$ differ by at most two grid steps; each finer approximation adds at most one adjacent increment. Continuity and dyadic increment chaining therefore giveThus paths are $\beta$-Hölder and hence $\alpha$-Hölder on $[0,1]$. This direct proof supplies the relevant Brownian Hölder regularity, also obtainable from the Kolmogorov continuity theorem.

The full-measure subset $E_{\alpha }=C^{\alpha }[0,1]$ is measurable in $C[0,1]$, because continuity identifies its seminorm with a countable supremum:Its finiteness event is a countable union of countable intersections of coordinate-measurable events. The sigma-algebra specified on $E_{\alpha }$ is precisely the trace of the coordinate sigma-algebra on $C[0,1]$. Define $\nu (A)=\mu (A)$ for trace-measurable $A\subseteq E_{\alpha }$; equivalently restrict the Brownian law to its full-measure subset. Since $\mu (E_{\alpha })=1$, no renormalization is needed, and all finite-dimensional coordinate laws are unchanged. This is the required probability measure:The construction uses the requested coordinate sigma-algebra and makes no assumption about a separable Hölder-norm topology.

The printed uniqueness claim omits nondegeneracy of the limit. The zero process is a Lévy process, and every $\alpha >1/2$ yields that limit. We first classify all possibilities under the stated assumptions, then identify the unique nonzero one.

For $t>0$, part (b) givesfor each fixed $\theta \ne 0$. If $\alpha <1/2$, the characteristic functions tend to zero for every nonzero parameter and remain one at zero. This discontinuous function cannot be the characteristic function of a probability law. The characteristic-function convergence theorem therefore rules out even one-dimensional weak convergence of random variables at a positive time.

For joint convergence, take $0=t_0<t_1<\cdots <t_m$ and write $q_k={\sum }_{j=k}^m{\theta }_j$. Independent increments giveAt $\alpha =1/2$, this tends to $\exp \{-\frac{1}{2}{\sum }_k(t_k-t_{k-1})q_k^2\}$. These are exactly the joint laws of standard Brownian motion: increments are independent centred normals with variances $t_k-t_{k-1}$. The assumed limiting Lévy process thus has the Brownian law.

For $\alpha >1/2$, the same joint characteristic functions tend to one. Every limiting vector is zero. The càdlàg path convention then makes the limiting process identically zero almost surely: first intersect the zero-value events at rational times, then use right continuity. The complete scaling classification of a continuous-time symmetric simple random walk isIn particular, if a nonzero limiting Lévy process is intended, the unique exponent is $\alpha =1/2$, andThe finite-dimensional Brownian law, together with the Lévy càdlàg convention, determines the process law and its continuous version. No assertion of path-space convergence of the approximating walks is needed here.

For the simple predictable process from part (a), define its stochastic integral byThe time-zero value contributes nothing. Write $D_i=M_{t\wedge t_{i+1}}-M_{t\wedge t_i}$. If $i<j$ and $t>t_j$, then $h_i{D}_i{h}_j$ is ${\mathcal{F}}_{t_j}$-measurable and $\mathbb{E}[D_j\mid {\mathcal{F}}_{t_j}]=0$. If $t\le t_j$, then $D_j=0$. Boundedness ensures integrability, so all off-diagonal terms vanish by conditional expectation. ConsequentlyThe quadratic variation theorem says $M^2-[M]$ is a local martingale. A bounded continuous martingale is square-integrable, and localization gives the conditional second-moment identityMultiplication by $h_i^2$ and summation therefore give the Itô isometryFor Brownian motion, $[M{]}_s=s$. More generally the Itô isometry holds for every predictable process with finite right-hand side, against a continuous square-integrable martingale. Indeed, on a fixed horizon the quadratic-variation measure ${\mu }_M(E)=\mathbb{E}{\int }_0^t{1}_{E}d[M]$ is finite. Part (c) approximates the integrand by simple predictable processes; the displayed equality makes the elementary integrals Cauchy in $L^2$ and defines their unique limit. The finite sum is exactly the elementary case of the Itô isometry.

For a continuous local martingale $M$, its stochastic exponential isThe Itô formula gives $d{Z}_t=Z_{t}d{M}_t$ and $Z_0=1$, so $Z$ is a strictly positive local martingale. The finite-horizon Girsanov theorem says: if $Z$ is a true martingale on $[0,T]$ and $d\tilde{\mathbb{P}}=Z_{T}d\mathbb{P}$ on ${\mathcal{F}}_T$, then for every continuous local martingale $N$ under $\mathbb{P}$,For an infinite-horizon change of measure, assume $Z$ is a uniformly integrable martingale and use its terminal density $Z_{\infty }$. In particular, if $M=\int \theta dB$, the process $\tilde{B}=B-\int \theta ds$ is Brownian motion under the new probability measure, by the Lévy characterization of Brownian motion.

The quadratic variation cannot change. Adding the continuous finite-variation process $-[N,M]$ leaves $[\tilde{N}]=[N]$. Also the same pathwise partition sums defining $[N]$ have the same limit under an absolutely continuous change of measure; convergence in probability transfers by integrability of the density. Thus the bracket of the unchanged process $N$, now a semimartingale, is also unchanged. The local martingale property itself need not survive. This is quadratic covariation under an absolutely continuous measure change.

The reference Brownian motion must start at $x$, and both laws must use the same stopped-path rule. Under the reference probability measure let $R_s=x+W_s$, let $\tau$ be its exit time from $(a,b)$, and put $T=t\wedge \tau$ and $c=(\delta -1)/2$. The Girsanov density for a stopped Bessel process, as a functional of the stopped reference path, isUse the predictable process ${\theta }_s=c{R}_s^{-1}{1}_{\{s\le \tau \}}$, with any harmless choice at the endpoint. On $[0,t]$, $\int {\theta }_s^{2}ds\le c^{2}t/a^2$. The Novikov condition holds; under the density $D$, the Girsanov theorem makes ${\tilde{W}}_s=W_s-{\int }_0^s{\theta }_{u}du$ a Brownian motion. Before exit, $d{R}_s=c{R}_s^{-1}ds+d{\tilde{W}}_s$, which is the required stochastic differential equation. The drift is a locally Lipschitz function on $(0,\infty )$, so pathwise uniqueness and uniqueness in law hold up to this exit time.

For a version involving just the endpoint and an ordinary integral, the Itô formula for $\log R$ givesThusThe stopped density is measurable from the stopped path, so it is also the Radon-Nikodym derivative of the stopped-path laws. The stopping times in this formula are evaluated on the reference path, rather than taken from a different realization of $X$. A zero-start reference Brownian motion would have a different deterministic initial value and could not dominate this law.

A weak solution of a stochastic differential equation consists of a filtered probability space, an adapted continuous process $X$, and a Brownian motion $B$ relative to that filtration, with specified initial distribution, such that for every finite $t$ the coefficient integrals are finite andIn one dimension the integrability conditions are ${\int }_0^t\sigma (X_s{)}^{2}ds<\infty$ and ${\int }_0^t|b(X_s)|ds<\infty$. The noise integral is the Itô integral. A solution on a prescribed stochastic basis with prescribed $B$ is distinguished from this weak construction.

A strong solution of a stochastic differential equation uses the prescribed $B$ and initial variable, and is adapted to their augmented natural filtration; thus no additional randomness is needed. For deterministic $X_0=x$, each $X_t$ is determined by the driving Brownian motion through time $t$. Merely being adapted to a larger filtration is insufficient for this definition.

Uniqueness in law means that any two weak stochastic solutions with the same initial distribution have the same law of $X$ on continuous path space. Pathwise uniqueness means that two solutions on one stochastic basis, with the same $B$ and almost surely equal initial values, are indistinguishable stochastic processes. The latter compares paths under the same noise, rather than just comparing their probability distributions.

Fix $X_0=x$ and a finite horizon $T$. Begin under Wiener measure $\mathbb{P}$ with $X_t=x+W_t$, and let $K$ bound $|b|$. The bounded progressively measurable process $b(X)$ is an admissible Itô integral integrand. PutThe Novikov condition follows from ${\int }_0^{T}b(X_s{)}^{2}ds\le K^{2}T$. With $d\mathbb{Q}=Z_{T}d\mathbb{P}$, the Girsanov theorem says that $B=W-{\int }_0^{\cdot }b(X_s)ds$ is Brownian motion. Therefore a weak stochastic solution exists, sinceConsistent finite-horizon densities on canonical continuous path space give a solution for all finite times. No uniform integrability at infinite time is needed for this extension.

For uniqueness in law, take any weak stochastic solution under a measure $\mathbb{Q}$ and reverse the change of measure:Again the Novikov condition holds. Under $\mathbb{P}$, $W=B+\int b(X_s)ds=X-x$ is Brownian motion, so the law of $X$ is the fixed shifted Wiener measure. Substitution of $dB=dX-b(X)dt$ givesUnder shifted Wiener measure, the stochastic integral on the right has a fixed measurable version as a functional of the canonical path. It can be defined by simple predictable processes converging in the integrand $L^2$ norm and an almost surely convergent subsequence of their integrals. Equivalence of the two finite-horizon measures preserves that version. Thus for every bounded measurable path functional $F$,The right-hand side depends only on $b,x,T$, not on the chosen solution. This proves uniqueness in law on every finite horizon, and hence on the whole continuous path space. This is Weak existence and uniqueness in law for an additive-noise SDE with bounded drift. For merely measurable $b$, one should not assume that naive deterministic left-endpoint samples of $b(X)$ converge; the predictable $L^2$ approximation is the appropriate definition.