Namespaces
Variants
Actions

Difference between revisions of "White noise analysis"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (links)
Line 68: Line 68:
  
 
===Properties of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097760/w09776053.png" />===
 
===Properties of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097760/w09776053.png" />===
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097760/w09776054.png" /> is nuclear (cf. [[Nuclear space|Nuclear space]]), and an algebra under pointwise multiplication; elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097760/w09776055.png" /> have Gâteaux derivatives (cf. [[Gâteaux derivative|Gâteaux derivative]])
+
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097760/w09776054.png" /> is nuclear (cf. [[Nuclear space]]), and an algebra under [[pointwise multiplication]]; elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097760/w09776055.png" /> have [[Gâteaux derivative]]s
  
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097760/w09776056.png" /></td> </tr></table>
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097760/w09776056.png" /></td> </tr></table>
  
in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097760/w09776057.png" />, for any distribution-valued direction <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097760/w09776058.png" />. Their images in the Fock space are [[Annihilation operators|annihilation operators]]. Choosing, in particular, for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097760/w09776059.png" /> the Dirac distribution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097760/w09776060.png" />, the corresponding derivative operator is commonly denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097760/w09776061.png" /> (Hida derivative), and obeys Boson CCR <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097760/w09776062.png" />, as well as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097760/w09776063.png" />. The latter relation is the starting point for stochastic integration in the white noise analysis framework [[#References|[a4]]], Chapt. 8. Consider a [[Stochastic integral|stochastic integral]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097760/w09776064.png" />. Informally, using <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097760/w09776065.png" />, one would obtain
+
in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097760/w09776057.png" />, for any distribution-valued direction <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097760/w09776058.png" />. Their images in the Fock space are [[annihilation operators]]. Choosing, in particular, for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097760/w09776059.png" /> the Dirac distribution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097760/w09776060.png" />, the corresponding derivative operator is commonly denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097760/w09776061.png" /> (Hida derivative), and obeys Boson CCR <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097760/w09776062.png" />, as well as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097760/w09776063.png" />. The latter relation is the starting point for stochastic integration in the white noise analysis framework [[#References|[a4]]], Chapt. 8. Consider a [[Stochastic integral|stochastic integral]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097760/w09776064.png" />. Informally, using <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097760/w09776065.png" />, one would obtain
  
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097760/w09776066.png" /></td> </tr></table>
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097760/w09776066.png" /></td> </tr></table>

Revision as of 18:18, 1 December 2014

Since its inception in the nineteen seventies [a1]–, white noise analysis has developed into a viable framework for stochastic and infinite-dimensional analysis [a4][a6], with a growing number of applications in various disciplines, most notably perhaps in quantum physics. Informally speaking, the role here of (Gaussian, continuous parameter) white noise — a generalized random process (cf. Stochastic process, generalized) with independent values at each point [a7] — is that of an infinite system of coordinates on which to base an infinite-dimensional calculus. More precisely, the starting point is the -space of the white noise measure, which is then imbedded into Gel'fand triples of test, respectively generalized, function spaces with suitable properties. In particular, the test functions will be chosen sufficiently smooth to admit an infinite-dimensional differential calculus, which is then transported to the generalized functions by duality. With these established, various concepts have natural generalizations to the infinite-dimensional setting. Examples are: the gradient, Laplacian(s) [a4], Chapt. 6, the rotation group [a8], Fourier analysis, and Dirichlet forms. Below some of this is outlined; a comprehensive presentation can be found in [a4].

(Gaussian) white noise.

This is a generalized random process [a1], [a7]; for any Schwartz test function the "smeared out" process is a Gaussian random variable with mean zero and covariance

In terms of the white noise measure and its characteristic function , one has

By extending test functions to one obtains a version of Wiener's Brownian motion process by observing that

expresses the Wiener process in terms of white noise [a1], [a2]. In this sense Brownian functionals can be considered as functionals of white noise. A large collection of the latter is provided by those of finite variance, i.e. by the Hilbert space

The polynomials in , , form a dense subspace in , hence the monomials are a total set; to orthogonalize them one introduces the "normal ordered" , or "Wick ordered" or "Hermite" , products

where projects onto the subspace of polynomials of order at most . They are related to multiple Wiener integrals (cf. Wiener integral) [a9] through

By linearity and continuity these expressions extend from product kernel functions to symmetric -kernel functions ; as a result one obtains an isomorphism between the white noise Hilbert space and a Boson Fock space

Another characterization of is through the "S-" or "T-transform"

They are related through .

Generalized functions.

The main interest of the above constructions is to go beyond them, to consider functionals such as e.g. the "action integral" for Brownian motion ; or "Donsker d-functionDonsker's d-function" .

Checking whether their kernel functions are in the Fock space, one finds that in the first example the kernel functions are given by , which is clearly not square integrable. In the second example the are square integrable, but their norms fail to be square summable. Thus, a good extension of should be one that relaxes both the -property of the kernel functions and the square summability of their norms.

A standard procedure to enlarge Hilbert spaces is through the construction of Gel'fand triples, such as e.g.

with defined as a countable (intersection of) Hilbert space(s):

where is the self-adjoint operator in . Here one invokes the second quantization [a10] of operators such as . It is given as a linear operator in by its action on normal ordered monomials:

One constructs the space of test functionals again as the intersection of operator domains:

and obtains thus the Gel'fand triple

Elements of the spaces and are called Hida test functions (or functionals) and Hida distributions, respectively.

Properties of

is nuclear (cf. Nuclear space), and an algebra under pointwise multiplication; elements of have Gâteaux derivatives

in , for any distribution-valued direction . Their images in the Fock space are annihilation operators. Choosing, in particular, for the Dirac distribution , the corresponding derivative operator is commonly denoted by (Hida derivative), and obeys Boson CCR , as well as . The latter relation is the starting point for stochastic integration in the white noise analysis framework [a4], Chapt. 8. Consider a stochastic integral . Informally, using , one would obtain

In Itô integrals one deals with a forward time differential, hence with acting on a non-anticipating integrand , giving zero: . This produces not only a viable approach to Itô integration but, more importantly, natural generalizations such as to anticipating integrands [a11]. Further, is Fréchet differentiable (cf. Fréchet derivative), is given by . One has and for all Hida test functions . Every Hida test function has a version

with smooth kernels , extending continuously to all [a12].

The dual space of Hida distributions has the following properties: all Hida distributions are of finite order (); the - and -transform extend to , as application of the distribution to exponential functions which are in : ; any positive Hida distribution is a measure (a theorem of Kondrat'ev, Samoilenko and Yokoi, [a13], [a14]).

Examples of Hida distributions.

1) local Wick powers:

2) Donsker's -function:

with .

3) the white noise -function , given by

4) normalized Gaussians:

Note that the normalized exponential of example 4) has a well-defined -transform for a much larger class of operators than for which the Gaussian and the normalizing constant of the denominator are defined separately. For such one may define by its -transform, a fact which is quite often useful in order to describe Hida distributions in terms of their - or -transform. This is possible because of the following characterization theorem, [a15]. The following three statements are equivalent:

a) Let be a complex-valued functional on the Schwartz space such that, for any : i) has an entire analytic extension in ; and ii) a bound

holds for some positive and , and all complex .

b) is the -transform of a Hida distribution .

c) is the -transform of a Hida distribution .

Functionals with the above property a) have been called -functionals. A corollary to this theorem serves to ensure convergence of sequences of Hida distributions if the corresponding -functionals converge uniformly. Analogous theorems have been shown to hold for more general Gaussian systems, covering, in particular, the interesting cases of generalized functions of multi-parameter white noise or of vector-valued Brownian motion [a16]. Other variants deal with spaces where the growth condition a) ii) for the -functionals is relaxed [a17], [a18].

Evidently, the construction of spaces of generalized functions enlarging is far from being unique. Other examples are the triple studied by P.A. Meyer [a19], H. Sugita [a21], S. Watanabe [a20] with a large test function space and, consequently, less distributions. Note also the paper of P. Krée in [a5] for an overview and references to his original work. Conversely, the triple proposed by Meyer and J.-A. Yan [a18] arrives at a larger distribution space by omitting the growth condition of -functionals. An example of a space of test functionals discussed in the context of quantum probability is the space of [a22].

There are many applications and consequences of the characterization theorem, e.g. ) it is straightforward to verify the -functional properties in the examples of -transforms given above; the theorem assures immediately that these expressions are indeed -transforms of Hida distributions. ) The -functionals evidently form an algebra under pointwise addition and multiplication; this induces two algebraic structures on . The corresponding products of distributions are convolution (using ), and the normal ordered product (with ). ) There exists a linear relation between pairs of Hida transformations, through

If one replaces the white noise measure by a normal distribution, one finds that is nothing but the Fourier transform of .

The infinite-dimensional Fourier transform.

Cf. [a23][a25], [a4], Chapt. 9. The above remark suggests the following definition: For one calls the Fourier transform of .

Some examples and properties are as follows. The Fourier transform of is the white noise -function at zero: , . The Fourier transform intertwines derivative and coordinate multiplications:

This is what singles out as the natural extension of the Fourier transform to infinite dimension: it is (up to constant multiples, of course) the unique continuous linear transformation from to itself with this intertwining property [a26].

Dirichlet forms.

Cf. [a27], [a28], [a4], Chapt. 10. Recalling that positive Hida distributions are measures, one obtains Dirichlet forms [a29][a31] from

for any Hida distribution that is strictly positive (i.e., positive on all open sets) and such that is closeable on . For any such one then has in ,

where is the self-adjoint generator of a Markov semi-group associated with a diffusion process with state space .

Some applications.

The above is a direct generalization of the finite-dimensional local Dirichlet forms in [a32] in terms of quantum-mechanical ground states, which give rise to Schrödinger Hamiltonians and to diffusion processes solving non-linear stochastic differential equations. In the present setting one is led to ask the question whether one can describe the ground states of relativistic and Euclidean quantum field theories by (generalized) density functions with respect to the white noise measure , i.e. via positive , and whether these then satisfy the above conditions so as to give rise to Dirichlet forms. The first question has been answered, in terms of Fröhlich bounds on the -point functions and in terms of the existence of so-called -bounds [a33], the second is answered in [a34], for various models of constructive quantum field theory.

Another fruitful application of white noise analysis in quantum physics is provided by Feynman's path integral. It is well known that the Feynman "integral" is not one with respect to a measure. Hence one cannot hope to interpret it as a weighted average over trajectories, unless one admits distribution-valued weights. A first, still somewhat heuristic, attempt to do so was undertaken in [a35]. More recently, examples as well as a general criterion were given for which the Feynman integral is indeed the action of a distribution from the space [a36]. The interest in this approach is essentially twofold: to explore the scope of the method (i.e. the large class of Schrödinger problems that can be solved in this fashion), and to obtain useful quantum-mechanical relationships by manipulating the Feynman integral with the tools of white noise analysis such as, e.g., integration by parts [a37], [a4], Chapt. 12.

For quantum probability in terms of white noise see [a38]. Hydrodynamic flows in random media are studied in [a39]. For examples of white noise analysis techniques applied to the solution of stochastic partial differential equations see [a40], [a41].

References

[a1] T. Hida, "Stationary stochastic processes" , Princeton Univ. Press (1970)
[a2] T. Hida, "Brownian motion" , Springer (1980)
[a3a] I. Kubo, S. Takenaka, "Calculus on Gaussian white noise I-II" Proc. Japan Acad. , 56 (1980) pp. 376–380; 411–416
[a3b] I. Kubo, S. Takenaka, "Calculus on Gaussian white noise III" Proc. Japan Acad. , 57 (1981) pp. 433–437
[a3c] I. Kubo, S. Takenaka, "Calculus on Gaussian white noise IV" Proc. Japan Acad. , 58 (1982) pp. 186–189
[a4] T. Hida, H.-H. Kuo, J. Potthoff, L. Streit, "White noise - an infinite dimensional calculus" (To appear)
[a5] T. Hida (ed.) H.-H. Kuo (ed.) J. Potthoff (ed.) L. Streid (ed.) , White noise analysis - mathematics and applications , World Sci. (1990)
[a6] H.-H. Kuo, "Lectures on white noise analysis" Soochow Math. J. (1992)
[a7] I.M. Gel'fand, N.Ya. Vilenkin, "Generalized functions. Applications of harmonic analysis" , 4 , Acad. Press (1968) (Translated from Russian)
[a8] T. Hida, "Infinite-dimensional rotation group and unitary group" H. Heyer (ed.) , Probab. Measures on Groups IX Proc. Oberwolfach 17–23 Jan. 1988 , Lect. notes in math. , 1379 , Springer (1989) pp. 125–134
[a9] K. Ito, "Multiple Wiener integral" J. Math. Soc. Japan , 3 (1951) pp. 157–169
[a10] B. Simon, "The Euclidean (quantum) field theory" , Princeton Univ. Press (1974)
[a11] J. Asch, J. Potthoff, "Itô's lemma without non-anticipatory conditions" Probab. Th. Rel. Fields , 88 (1991) pp. 17–46
[a12] I. Kubo, Y. Yokoi, "A remark on the space of testing random variables in the white noise calculus" Nagoya Math. J. , 115 (1989) pp. 139–149
[a13] Yu.G. [Yu.G. Kondrat'ev] Kondratiev, Yu.S. Samoilenko, "Integral representation of generalized positive definite kernels of an infinite number of variables" Soviet Math. Dokl. , 17 (1976) pp. 517–521 Dokl. Akad. Nauk SSSR , 227 : 4 (1976) pp. 800–803
[a14] Y. Yokoi, "Positive generalized white noise functionals" Hiroshima Math. J. , 20 (1990) pp. 137–157
[a15] J. Potthoff, L. Streit, "A characterization of Hida distributions" J. Funkt. Anal. , 101 (1991) pp. 212–229
[a16] L. Streit, W. Westerkamp, "A generalization of the characterization theorem for generalized functionals of white noise" BiBos Preprint : 480 (1991)
[a17] Yu.G. [Yu.G. Kondrat'ev] Kondratiev, L. Streit, "Spaces of white noise distributions. Constructions, descriptions, applications I" BiBos Preprint : 510 ((To appear in Rep. Math. Phys.))
[a18] P.A. Meyer, J.-A. Yan, "Les "fonctions caractéristiques" des distributions sur l'espace de Wiener" Univ. Strasbourg Preprint (1991)
[a19] P.A. Meyer, "Quelques résultats analytiques sur le semigroupe d'Ornstein–Uhlenbeck en dimension infinie" , Theory and Application of Random Fields , Springer (1983) pp. 201–214
[a20] S. Watanabe, "Stochastic differential equations and Malliavin calculus" , Tata Inst. (1984)
[a21] H. Sugita, "Sobolev spaces of Wiener functionals and Malliavin's calculus" J. Math. Kyoto Univ. , 25 (1985) pp. 31–48
[a22] J.M. Lindsay, H. Maassen, "An integral kernel approach to noise" L. Accardi (ed.) W. von Waldenfels (ed.) , Quantum Probability and Applications III , Lect. notes in math. , 1303 , Springer (1988) pp. 192–208
[a23] H.-H. Kuo, "The Fourier transform in white noise calculus" J. Multivariate Anal. , 31 (1989) pp. 311–327
[a24] J.-A. Yan, "An elementary proof of a theorem of Lee" Acta Math. Sci. , 11 : 3 (1991) pp. 356–360
[a25] Y.-J. Lee, "Analytic version of test functionals, Fourier transform and a characterization of measures in white noise calculus" J. Funct. Anal. , 100 (1991) pp. 359–380
[a26] T. Hida, H.-H. Kuo, N. Obata, "Transformations for white noise functionals" J. Funct. Anal. (To appear)
[a27] T. Hida, J. Potthoff, L. Streit, "Dirichlet forms and white noise analysis" Comm. Math. Phys. , 116 (1988) pp. 235–245
[a28] J. Potthoff, M. Röckner, "On the contraction property of energy forms on infinite-dimensional spaces" J. Funct. Anal. , 92 (1990) pp. 155–165
[a29] M. Fukushima, "Dirichlet forms and Markov processes" , Kodansha & North-Holland (1980)
[a30] S. Kusuoka, "Dirichlet forms and diffusion processes on Banach spaces" J. Fac. Sci. Univ. Tokyo Sect. IA , 29 (1982) pp. 79–95
[a31] S. Albeverio, M. Röckner, "New developments in the theory and application of Dirichlet forms" S. Albeverio (ed.) et al. (ed.) , Stochastic Processes, Physics and Geometry , World Sci. (1990) pp. 27–76
[a32] S. Albeverio, R. Hoegh-Krohn, L. Streit, "Energy forms, Hamiltonians and distorted Brownian paths" J. Math. Phys. , 18 (1977) pp. 909–917
[a33] J. Potthoff, L. Streit, "Invariant states on random and quantum fields: -bounds and white noise analysis" J. Funct. Anal. (To appear)
[a34] S. Albeverio, T. Hida, J. Potthoff, M. Röckner, L. Streit, "Dirichlet forms in terms of white noise analysis: I, II" Rev. Math. Phys. , 1 (1990) pp. 291–312; 313–323
[a35] T. Hida, L. Streit, "Generalized Brownian functionals and the Feynman integral" Stoch. Proc. Appl. , 16 (1983) pp. 55–69
[a36] M. de Faria, J. Potthoff, L. Streit, "The Feynman integrand as a Hida distribution" J. Math. Phys. , 32 (1991) pp. 2123–2127
[a37] D.C. Khandekar, L. Streit, "Constructing the Feynman integrand" Ann. Physik , 1 (1992) pp. 49
[a38] Zh. Huang, "Quantum white noises - white noise approach to quantum stochastic calculus" Preprint Wuhan University
[a39] T. Lindstrom, B., et al. Oksendal, "Dynamical systems in random media: a white noise functional approach" Preprint, Oslo (1990)
[a40] P.L. Chow, "Generalized solution of some parabolic equations with a random drift" J. Appl. Math. Optimization , 20 (1989) pp. 81–96
[a41] C. Cochran, J. Potthoff, "Fixed point principles for stochastic partial differential equations" LSU preprint (1992)
How to Cite This Entry:
White noise analysis. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=White_noise_analysis&oldid=12949
This article was adapted from an original article by L. Streit (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article