View source for Brownian functional

A certain [[Random variable|random variable]] defined on the Wiener space (cf. [[Wiener space, abstract|Wiener space, abstract]]). Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110950/b1109501.png" /> be the space of continuous functions from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110950/b1109502.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110950/b1109503.png" /> vanishing at zero, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110950/b1109504.png" /> be its Borel <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110950/b1109505.png" />-field and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110950/b1109506.png" /> be the Wiener measure, which is the [[Probability measure|probability measure]] on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110950/b1109507.png" /> making the coordinate mappings a [[Brownian motion|Brownian motion]]. Then a Brownian functional is a measurable mapping defined on the [[Probability space|probability space]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110950/b1109508.png" /> with (generally) real values.

Such random variables are distinguished for several reasons:

a) they are met in a great number of applications, including filtering and mathematical finance;

b) they arise in connection with classical [[Potential theory|potential theory]], cf. [[#References|[a1]]];

c) stochastic analysis naturally yields Brownian functionals defined by stochastic integrals or stochastic differential equations, cf. [[#References|[a2]]], [[#References|[a3]]].

In many recent works, the motivation to study Brownian functionals comes from their irregularity even when their definition is simple. A Wiener [[Stochastic integral|stochastic integral]] with respect to the one-dimensional Brownian motion is generally discontinuous, cf. [[#References|[a4]]]. From dimension two onwards appears a particularly deep irregularity; for example, Lévy's area, [[#References|[a3]]], [[#References|[a5]]],

<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/b/b110/b110950/b1109509.png" /></td> </tr></table>

is not Riemann-integrable, even when truncated, and the same happens for solutions of stochastic differential equations not satisfying the commutativity condition, [[#References|[a3]]]. This non-Riemann-integrability is essential and does not depend on the Borelian version. It causes difficulties in numerical computations and simulation, [[#References|[a4]]].

Some regularity results exist nevertheless. Brownian functionals are often approximately continuous (cf. [[Approximate continuity|Approximate continuity]]) in a neighbourhood of a point of the Wiener space which is a regular function (e.g., belongs to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110950/b11095010.png" />). This has been first proved by D. Stroock and S.R. Varadhan ([[#References|[a6]]] and [[#References|[a3]]]) for solutions of stochastic differential equations (cf. [[Stochastic differential equation|Stochastic differential equation]]) with regular coefficients in connection with the theorem on the support of a diffusion. Hence it makes sense to define their values at such points. Although the set of these regular Brownian paths is negligible with respect to the Wiener measure, certain Brownian functionals are completely determined by their restriction to this set. This fact is the keystone of several recent works on the concept of a skeleton of a Brownian functional, [[#References|[a7]]], [[#References|[a8]]].

Moreover, an important trend of research in the stochastic calculus of variation, [[#References|[a10]]], [[#References|[a11]]], [[#References|[a12]]], allows one to obtain regularity results for the laws of Brownian functionals following ideas initiated by P. Malliavin. It is also possible to pullback on the Wiener space measures or distributions defined on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110950/b11095011.png" />. This gives distributions in the sense of Watanabe, [[#References|[a9]]], [[#References|[a10]]], which are generalized Brownian functionals (similarly to Schwartz distributions, which are generalized functions, cf. [[Generalized function|Generalized function]]).

An interesting tool for studying Brownian functionals and generalized Brownian functionals are Wiener chaos expansions (cf. also [[Wiener chaos decomposition|Wiener chaos decomposition]]; [[#References|[a9]]], [[#References|[a11]]], [[#References|[a12]]], [[#References|[a13]]]), which, in classical form, express a square-integrable Brownian functional as the sum of a series of multiple Wiener–Itô integrals. Using this approach, the existence of the skeleton of a Brownian functional is connected with transformation of multiple Wiener–Itô integrals into multiple Stratonovich integrals (cf. also [[Stratonovich integral|Stratonovich integral]]), which involves questions about the existence of traces for certain operators or kernels, [[#References|[a14]]], [[#References|[a15]]].

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  S.C. Port,   Ch.J. Stones,   "Brownian motion and classical potential theory" , Acad. Press  (1978)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  Ph. Protter,   "Stochastic integration and differential equations" , Springer  (1990)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  N. Ikeda,   Sh. Watanabe,   "Stochastic differential equations and diffusion processes" , North-Holland and Kodansha  (1981)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  N. Bouleau,   D. Lépingle,   "Numerical methods for stochastic processes" , Wiley  (1994)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  H. Sugita,   "Various topologies on the Wiener space and Lévy's stochastic area"  ''Probab. Th. Rel. Fields'' , '''91'''  (1992)  pp. 283–296</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  D. Stroock,   S.R. Varadhan,   "On the support of a diffusion process with application to the strong maximum principle" , ''Proc. Sixth Berkeley Symp. Math. Stat. and Probab.'' , '''III''' , Univ. California Press  (1972)  pp. 333–359</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  H. Sugita,   "Properties of holomorphic Wiener functions, skeletons, contractions and local Taylor expansions"  ''Probab. Th. Rel. Fields'' , '''100'''  (1994)  pp. 117–130</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  S. Fang,   J. Ren,   "Sur les squelettes et les dérivées de Malliavin des fonctions holomorphes sur l'espace de Wiener complexe"  ''J. Math. Kyoto Univ.'' , '''33'''  (1993)  pp. 749–764</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  Sh. Watanabe,   "On stochastic differential equations and Malliavin calculus"  ''Tata Inst. Fundam. Research'' , '''73''' , Springer  (1979)</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  Sh. Watanabe,   "Malliavin calculus in term of generalized Wiener functionals" , ''Theory and Applications of Random Fields'' , ''Lecture Notes in Control and Information Sciences'' , '''49''' , Springer  (1983)</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  D. Nualart,   "The Malliavin calculus and related topics" , Springer  (1995)</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top">  N. Bouleau,   F. Hirsch,   "Dirichlet forms and analysis on Wiener space" , W. de Gruyter  (1991)</TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top">  J.A. Yan,   "Développement des distributions suivant les chaos de Wiener et applications à l'analyse stochastique" , ''Sem. de Probab. XXI'' , ''Lecture Notes in Mathematics'' , '''1247''' , Springer  (1987)  pp. 27–32</TD></TR><TR><TD valign="top">[a14]</TD> <TD valign="top">  R. Léandre,   P.A. Meyer,   "Sur le développement d'une diffusion en chaos de Wiener" , ''Sem. de Probab. XXII'' , ''Lecture Notes in Mathematics'' , '''1372''' , Springer  (1989)  pp. 161–164</TD></TR><TR><TD valign="top">[a15]</TD> <TD valign="top">  D. Nualart,   M. Zakai,   "Multiple Wiener–Itô integrals possessing a continuous extension"  ''Probab. Th. Rel. Fields'' , '''85'''  (1990)  pp. 134–145</TD></TR></table>