The quantum stochastic calculus developed by Hudson and Parthasarathy  is essentially a noncommutative extension of classical Ito stochastic calculus. In thistheory, annihilation, creation, and number operator processes in boson Fock space play the role of “quantum noises”  , which are in continuous time. In 2002, Attal  discussed and extended quantum stochastic calculus by means of the Skorohod integral of anticipation processes and the related gradient operator on Guichardet-Fock spaces. Usually, Fock spaces as the models of the Particle Systems are widely used in quantumphysics. Meanwhile, vacuum states described by empty set on Guichardet-Fockspaces play very important role at quantum physics.
Recently Privault   developed a Malliavin-type theory of stochastic calculus on Wiener spaces and showed its several interesting applications. In his article, Privault surveyed the moment identities for Skorohod integral and derived a formula for the expectation of random Hermit polynomials in Skorohod integral on Wiener spaces. It is well known that Guichardet-Fock space F and Wiener space W are Wiener-Ito-Segal isomorphic. Motivated by the above, we would like to study the expectation of random Hermit polynomials in Skorohod integral on Guichardet-Fock spaces. However, how to define the expectation on Guichardet-Fock spaces is the primary problem.
In this argument, we define expectation of according to isomorphic relation, i.e..
Meanwhile, we prove a moment identity for the Skorohod integrals and derive a formula for the expectation of random Hermite polynomial in Skorohod integral on Guichardet-Fock spaces. Particularly, under the condition, we prove the anticipative Girsanov identities on Guichardet-Fock spaces.
This paper is organized as follows. Section 2, we fix some necessarynotations and recall main notions and facts about Skorohod integral in Guichardet-Fock spaces. Section 3 and Section 4 state our main results.
In this section, we fix some necessary notations and recall mainnotions in Guichardet-Fock spaces. For detail formulation of Skorohod integrals, we refer reader to .
Let be the set of all nonnegative real numbers and the finite power set of, namely
where denotes the cardinality of as a set. Particularly, let be an atom of measure. We denote by the usual space of square integral real-valued functions on.
Fixing a complex separable Hilbert space, Guichardet-Fock space tensor product, which we identify with the space of square-integrable functions, is denoted by F.
For a Hilbert space-valued map, let
denotes the Skorohod integral operator. For a vector space-valued map, let and be the maps given by
respectively denote the stochastic gradient operator of f and the adapted gradient operator of f. Moreover, we write for the domain of the stochastic gradient as anunbounded Hilbert apace operator:
Definition 2.1 The value of at empty set is called the expectation of f on Guichardet-Fock space and is denoted by
Definition 2.2 For the map, the value of Skorohod integral at empty set is called the
expectation of on Guichardet-Fock space and is denoted by i.e..
Lemma 2.1 Let x be a map, if x is square integrable and the function is integrable, then and
Lemma 2.2 Let and let be Skorohod integrable, if the map
is integrable, then
Lemma 2.3 Let be measurable. For, we have
Theorem 2.1 For any and, we have
Lemma 2.4 Let and. Then for all we have
3. Random Hermit Polynomials
In Theorem 3.1 below, we compute the expectation of the random Hermit polynomial with respect to the Skorohod integral. This result will be applied in Section 4 to anticipate Girsanov identities on Guichardet-Fock spaces.
Theorem 3.1 For any and, we have
Especially, for and
then we have
Proof We divide two steps to prove the stability result.
Step 1. We first prove that for any,
For and, we have
replace 1 above with, we have
Hence, taking, we get
Step 2. For, and, we have
Hence, replacing 1 above with, we get
thus letting above, and use (2.3) in step 1, we get
4. Girsanov Identities
Corollary 4.1 Assume that with and that holds (3.1). Then, we
Proof We have
By Theorem 3.1 and Fubini theorem, we have
This shows that is deterministic and holds (3.1),
i.e. has a centered Gaussian distribution with variance on Guichardet-Fock spaces.
The authors are extremely grateful to the referees for their valuable comments and suggestions on improvement of the first version of the present paper. The authors are supported by National Natural Science Foundation of China (No. 11261027 and No. 11461061), supported by scientific research projects in Colleges and Universities in gansu province (No. 2015A-122) and supported by doctoral research start-up fund project of Lanzhou City Universities (No. LZCU-BS2015-02) and SRPNWNU (No. NWNU-LKQW-14-2).
 Hudson, R.L. and Parthasarathy, K.R. (1984) Quantum Ito’s Formula and Stochastic Evolutions. Communications in Mathematical Physics, 3, 301-323. http://dx.doi.org/10.1007/BF01258530
 Wang, C.S., Lu, Y.C. and Chai, H.F. (2011) An Alternative Approach to Privault’s Discrete-Time Chaotic Calculus. Journal of Mathematical Analysis and Applications, 2, 643-654. http://dx.doi.org/10.1016/j.jmaa.2010.08.021
 Zhang, J.H., Wang, C.S. and Tian, L.N. (2015) Localization of Unbounded Operators on Guichardet Spaces. Journal of Applied Mathematics and Physics, 3, 792-796. http://dx.doi.org/10.4236/jamp.2015.37096
 Attal, S. and Lindsay, J.M. (2004) Quantum Stochastic Calculus with Maximal Operator Domains. The Annals of Probability, 32, 488-529. http://dx.doi.org/10.1214/aop/1078415843
 Privault, N. (2009) Moment Identities for Skorohod Integrals on the Wiener Space and Applications. Electronic Communications in Probability, 14, 116-121. http://dx.doi.org/10.1214/ECP.v14-1450