LetL be the space of rapidly decreasing smooth functions on ℝ andL * its dual space. Let (L 2)+ and (L 2)− be the spaces of test Brownian functionals and generalized Brownian functionals, respectively, on the white noise spaceL * with standard Gaussian measure. The Donsker delta functionδ(B(t)−x) is in (L 2)− and admits the series representation $$\delta (B(t) - x) = (2\pi t)^{ - 1/2} \exp ( - x^2 /2t)\sum\limits_{n = 0}^\infty {(n!2^n )^{ - 1} H_n (x/\sqrt {2t} )} \times H_n (B(t)/\sqrt {2t} )$$ , whereH n is the Hermite polynomial of degreen. It is shown that forφ in (L 2)+,g t,φ(x)≡〈δ(B(t)−x), φ〉 is inL and the linear map takingφ intog t,φ is continuous from (L 2)+ intoL. This implies that forf inL * is a generalized Brownian functional and admits the series representation $$f(B(t)) = (2\pi t)^{ - 1/2} \sum\limits_{n = 0}^\infty {(n!2^n )^{ - 1} \langle f,\xi _{n, t} \rangle } H_n (B(t)/\sqrt {2t} )$$ , whereξ n,t is the Hermite function of degreen with parametert. This series representation is used to prove the Ito lemma forf inL *, $$f(B(t)) = f(B(u)) + \int_u^t {\partial _s^ * } f'(B(s)) ds + (1/2)\int_u^t {f''} (B(s)) ds$$ , where∂ * is the adjoint of $$\dot B(s)$$ -differentiation operator∂ s .
Read full abstract