1: \LaTeXparent{C:/TKUNA/TEX;master}
2:
3: \ChildDefaults{chapter:0,page:1}
4:
5: \section{WHITE NOISE ANALYSIS}
6:
7: In this section we give a brief overview of concepts and theorems of white
8: noise analysis which we use.\cite{HKPS93,Kuo96,Ob94}.
9:
10: The starting point of $d$-dimensional white noise analysis is the real
11: separable Hilbert space
12: \begin{equation}
13: L_d^2:=L^2\left( {\R}\right) \otimes {\R}^d,\quad d\in {\N,}
14: \end{equation}
15: which is unitary isomorphic to a direct sum of $d$ identical copies of $L^2({%
16: \R)}$ the space of real valued square-integrable functions with respect to
17: Lebesgue measure. The norm in $L_d^2$ is given by
18: \begin{equation}
19: \left| f\right| _0:=\sum_{j=1}^d\int_{{\Ri}}f_j^2\left( s\right) \mathrm{d}s,%
20: \text{\quad }f\in L_d^2
21: \end{equation}
22: In this space we choose the densely imbedded nuclear space
23: \begin{equation}
24: S_d:=S\left( {\R}\right) \otimes {\R}^d{.}
25: \end{equation}
26: A typical element $\xi \in S_d$ is a $d$-dimensional vector where each
27: component is a Schwartz test function. By $\left| \cdot \right| _p$ we
28: denote a family of Hilbert norms topologizing $S_d$. Together with the dual
29: space
30: \begin{equation}
31: S_d^{\prime }:=S^{\prime }\left( {\R}\right) \otimes {\R}^d
32: \end{equation}
33: we obtain the basic nuclear triple
34: \begin{equation}
35: S_d\subset L_d^2\subset S_d^{\prime }.
36: \end{equation}
37: Let $\mathcal{B}$ be the $\sigma $-algebra generated by cylinder sets on $%
38: S_d^{\prime }$. Using Minlos' theorem we construct a measure space on $%
39: \left( S_d^{\prime },\mathcal{B}\right) $ by fixing the characteristic
40: function.
41:
42: \begin{equation}
43: \int_{S_d^{\prime }}\exp \left( i\left\langle \omega ,\xi \right\rangle
44: \right) \mathrm{d\mu }\left( \omega \right) =\exp \left( -\frac 12\left| \xi
45: \right| _0^2\right) ,\quad \xi \in S_d,
46: \end{equation}
47: where $\left\langle \cdot ,\cdot \right\rangle $ denotes the dual pairing
48: between $S_d^{\prime }$ and $S_d$. The space $\left( S_d^{\prime },\mathcal{B%
49: },\mu \right) $ is called the vector valued white noise space. Within this
50: formalism a version of $d$-dimensional Wiener's Brownian motion is given by
51: \begin{equation}
52: B\left( \tau \right) :=\left\langle \omega ,{\1}_{\left[ 0,\tau \right)
53: }\right\rangle :=\left( \left\langle \omega ,{\1}_{\left[ 0,\tau \right)
54: }\otimes e_1\right\rangle ,\ldots ,\left\langle \omega ,{\1}_{\left[ 0,\tau
55: \right) }\otimes e_d\right\rangle \right) ,\quad \omega \in S_d^{\prime },
56: \label{DeBrownian}
57: \end{equation}
58: where $\{e_1,\ldots ,e_d\}$ denotes the canonical basis of ${\R}^d$. We
59: shall construct a Gel'fand triple with smooth and generalized functions of
60: white noise around the complex Hilbert space
61: \begin{equation}
62: L^2\left( \mu \right) :=L^2\left( S_d^{\prime },\mathcal{B},\mu \right)
63: \end{equation}
64: and we denote the scalar product in this space by
65: \begin{equation}
66: \left( \!\left( f,g\right) \!\right) =\int_{S_d^{\prime }}\bar f\left(
67: \omega \right) g\left( \omega \right) \mathrm{d}\mu \left( \omega \right)
68: ,\quad \;f,g\in L^2\left( \mu \right) .
69: \end{equation}
70: We proceed by choosing first a special subspace $\left( S_d\right) ^1$ of
71: test functionals. Then we construct the Gel'fand triple
72: \begin{equation}
73: \left( S_d\right) ^1\subset L^2\left( \mu \right) \subset \left( S_d\right)
74: ^{-1}.
75: \end{equation}
76: Elements of the space $\left( S_d\right) ^{-1}$ are called Kondratiev
77: distributions, the well known Hida distributions form a subspace. Instead of
78: reproducing the explicit construction here,\cite{Ko78,KLS96}
79: we shall characterize the distributions by their $T$-transforms in
80: Theorem \ref{ThCharKonrad} below. Let $\Phi \in \left( S_d\right) ^{-1}$
81: then there exist $p,q\in {\N}_0$ such that we can define for every
82: \begin{equation}
83: \xi \in U_{p,q}:=\left\{ \xi \in S_d\,\left| \,\left| \xi \right|
84: _p^2<2^{-q}\right. \right\}
85: \end{equation}
86: the $T$-transform by
87: \begin{equation}
88: T\Phi \left( \xi \right) :=\left\langle \!\left\langle \Phi ,\exp \left(
89: i\left\langle \cdot ,\xi \right\rangle \right) \right\rangle \!\right\rangle
90: \end{equation}
91: where $\left\langle \!\left\langle \cdot ,\cdot \right\rangle
92: \!\right\rangle $ denotes the bilinear extension of the scalar product of $%
93: L^2\left( \mu \right) $. The definition of the $T$-transform can be extended
94: via analytic continuation to the complexification of $S_d$ which we denote
95: by $S_{d,{\Ci}}$. Further we need the definition of holomorphy in a nuclear
96: space.\cite{Ba85}
97:
98: \begin{definition}
99: \label{DeHolomorph}A function $F:U\rightarrow {\C}$ is holomorphic on an
100: open set $U\subseteq S_{d,{\Ci}}$ iff for all $\theta _0\in U$
101:
102: \begin{enumerate}
103: \item for any $\theta \in S_{d,{\Ci}}$ the mapping $\lambda \mapsto F\left(
104: \theta _0+\lambda \theta \right) $ is holomorphic in some neighborhood of $0$
105: in ${\C}$,
106:
107: \item there exists an open neighborhood $U^{\prime }$ of $\theta _0$ such
108: that $F$ is bounded on $U^{\prime }$.
109: \end{enumerate}
110:
111: $F$ is holomorphic at $0$ iff $F$ is holomorphic in a neighborhood of $0$.
112: \end{definition}
113:
114: Now we can give the above mentioned characterization theorem, which is in
115: the case of Hida distributions due to Refs.~20 and 21,\nocite{PS91,KLPSW96}
116: and for Kondratiev distributions to Ref.~18.\nocite{KLS96}
117:
118: \begin{theorem}
119: \label{ThCharKonrad}Let $U\subseteq S_{d,{\Ci}}$ be open and $F:U\rightarrow
120: {\C}$ be holomorphic at zero, then there exists a unique $\Phi \in (S_d)^{-1}
121: $ such that $T\Phi =F$. Conversely, let $\Phi \in (S_d)^{-1}$ then $T\Phi $
122: is holomorphic at zero. The correspondence between $F$ and $\Phi $ is a
123: bijection if we identify holomorphic functions which coincide on an open
124: neighborhood of zero.
125: \end{theorem}
126:
127: As a consequence of the characterization we have also a criterion for
128: sequences and integrals with respect to an additional parameter.%
129:
130: \begin{theorem}
131: \label{ThSequenceKonrad}Let $\left( \Phi _n\right) _{n\in {\Ni}}$ be a
132: sequence in $(S_d)^{-1}$, such that there exists $U_{p,q}$, $p,q\in {\N}_0$,
133: so that
134:
135: \begin{enumerate}
136: \item all $T\Phi _n$ are holomorphic on $U_{p,q};$
137:
138: \item there exists $C>0$ such that $\left| T\Phi _n\left( \theta \right)
139: \right| \leq C$ for all $\theta \in U_{p,q}$ and all $n\in {\N}$,
140:
141: \item $\left( T\Phi _n\left( \theta \right) \right) _{n\in {\Ni}}$ is a
142: Cauchy sequence in ${\C}$ for all $\theta \in U_{p,q}$.
143: \end{enumerate}
144:
145: \noindent Then $\left( \Phi _n\right) _{n\in {\Ni}}$ converges strongly in $%
146: (S_d)^{-1}$.
147: \end{theorem}
148:
149: \begin{theorem}
150: \label{ThIntegralKonrad}Let $\left( \Lambda ,\mathcal{A},\nu \right) $ be a
151: measure space and $\lambda \mapsto \Phi _\lambda $ a mapping from $\Lambda $
152: to $(S_d)^{-1}$. We assume that there exists $U_{p,q}$ , $p,q\in {\N}_0$,
153: such that
154:
155: \begin{enumerate}
156: \item $T\Phi _\lambda $, is holomorphic on $U_{p,q}$ for every $\lambda \in
157: \Lambda $;
158:
159: \item the mapping $\lambda \mapsto T\Phi _\lambda \left( \theta \right) $
160: is measurable for every $\theta \in U_{p,q}$.
161:
162: \item there exists $C\in L^1\left( \Lambda ,\,\nu \right) $ such that
163: \begin{equation}
164: \left| T\Phi _\lambda \left( \theta \right) \right| \leq C\left( \lambda
165: \right)
166: \end{equation}
167: for all $\theta \in U_{p,q}$ and for $\nu $-almost all $\lambda \in \Lambda $%
168: .
169: \end{enumerate}
170:
171: Then there exist $p^{\prime }$,$~q^{\prime }\in {\N}_0$, which only depend
172: on $p,q$, such that $\Phi _\lambda $ is Bochner integrable.
173:
174: In particular,
175: \begin{equation}
176: \int_\Lambda \Phi _\lambda \mathrm{d}\nu \left( \lambda \right) \in \left(
177: S_d\right) ^{-1}
178: \end{equation}
179:
180: and $T\left[ \int_\Lambda \Phi _\lambda \mathrm{d}\nu \left( \lambda \right)
181: \right] $ is holomorphic on $U_{p^{\prime },q^{\prime }}$. We may
182: interchange dual pairing and integration
183: \begin{equation}
184: \Bigg{\langle} \!\! \Bigg{\langle} \int_\Lambda \Phi_\lambda
185: \mathrm{d}\nu \left( \lambda \right) ,\varphi \Bigg{\rangle}
186: \!\! \Bigg{\rangle} =\int_\Lambda \big{\langle} \! \big{\langle} \Phi _\lambda
187: ,\varphi \big{\rangle} \! \big{\rangle} \mathrm{d}\nu \left( \lambda \right)
188: ,\quad \varphi \in \left( S_d\right)^1.
189: \end{equation}
190: \end{theorem}
191:
192: At the end of this section we want to give some examples of distributions.
193: \cite{HKPS93}
194:
195: \begin{example}
196: \emph{To define the kinetic energy factor in the path integrals one would
197: like to give a meaning to the formal expression }
198: \[
199: \exp \left( c\int_{{\Ri}}\omega \left( t\right) ^2\mathrm{d}t\right) ,
200: \]
201: \emph{where }$c$\emph{\ is a complex constant. We define the normalized
202: exponential }
203: \[
204: \limfunc{Nexp}\left( c\int_{{\Ri}}\omega \left( t\right) ^2\mathrm{d}%
205: t\right)
206: \]
207: \emph{as a distribution via the following }$T$\emph{-transform }
208: \[
209: T\limfunc{Nexp}\left( c\int_{{\Ri}}\omega \left( t\right) ^2\mathrm{d}%
210: t\right) \left( \xi \right) =\exp \left( \frac 1{4c-2}\int_{{\Ri}}\xi
211: ^2\left( \tau \right) \mathrm{d}\tau \right) ,\quad c\neq \frac 12.
212: \]
213: \end{example}
214:
215: \begin{example}
216: \emph{Donsker's delta function\label{DeDonsker}. In order to `pin' Brownian
217: motion at a point }$a\in {\R}^d$\emph{\ we want to consider the formal
218: composition of the Dirac delta distribution with Brownian motion: }$\delta
219: \left( B\left( t\right) -a\right) .$\emph{\ This can be given a precise
220: meaning as a Hida distribution.\cite{Kuo92} Its }$T$
221: \emph{-transform is given by}
222: \[
223: T\left[ \delta \left( B\left( t\right) -a\right) \right] \left( \xi \right)
224: =\frac 1{\left( 2\pi t\right) ^{\frac d2}}\exp \left( -\frac 1{2t}\left(
225: \int_0^ti\xi \left( s\right) ds+x_0-a\right) ^2-\frac 12\left| \xi \right|
226: _0^2\right)
227: \]
228: \end{example}