1. Introduction
The quantum stochastic calculus developed by Hudson and Parthasarathy [1] 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” [2] [3], which are in continuous time. In 2002, Attal [4] 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 [5] [6] 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.
2. Notations
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 [4].
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
(2.1)
we denote
Lemma 2.2 Let and let be Skorohod integrable, if the map
is integrable, then
(2.2)
Lemma 2.3 Let be measurable. For, we have
(2.3)
where,.
Theorem 2.1 For any and, we have
(2.4)
where
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
(3.1)
then we have
. (3.2)
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
have
Proof We have
hence
By Theorem 3.1 and Fubini theorem, we have
This shows that is deterministic and holds (3.1),
we have
i.e. has a centered Gaussian distribution with variance on Guichardet-Fock spaces.
Acknowledgements
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).