A Change of Scale Formula for Wiener Integrals about the First Variation on the Product Abstract Wiener Space

We shall prove the existence of the Wiener integral and the analytic Wiener and Feynman integral and we obtain those relationships and later, we prove the change of scale formula for the Wiener integral about the first variation of a function defined on the product abstract Wiener space. Later, we obtain those relationships in the Fresnel class as it’s corollaries.


Introduction
It has been known that Wiener measure and Wiener measurability behave badly under the change of scale transformation [1] and under translation [2]. However, Cameron, R.H. and Storvick, D.A. [3] proved that an analytic Feynman integral was expressed as a limit of Wiener integrals for a rather larger class of functionals on the Wiener space. They found a nice change of scale formula for Wiener integrals on the Wiener space [4]. Yoo, I. and Skoug, D. and Yoon, G. J. extended those results to an abstract Wiener space and Yeh-Wiener space in [5,6].
In [2,7,8], Cameron, R.H. and Martin, W.T. investigated the behavior of Wiener integrals on transformations and translations in 1945 and in 1947. In [1], they developed the behavior of measures and measurability under the change of scale on the Wiener space in 1947. In [9], Cameron, R.H. and Storvick, D.A. introduced a Banach algebra S of functionals on C 0 [0, T]. In [10][11][12], Kim, Y.S. proved the change of scale formula for the Wiener integral on the abstract Wiener space about the cylinder functions and the unbounded cylinder function and proved the relationship between the analytic Feynman integral and the Wiener integral and the first variation. In [13], Kim, Ahn, Chang, and Yoo prove the change of scale formula for the Wiener integral on the product abstract Wiener space in the class F (B ν ).
In this paper, we prove the existence of the analytic Feynman integral and prove the change of scale formula about the first variation for functions in F (B ν ) of the form We show that the first variation of the analytic Wiener integral and the analytic Feynman integral of G( x) can be perfectly expressed as the limit of the sequence of Wiener integrals of the first variation. Finally, we prove that for ν = 1, a change of scale formula for the Wiener integral about the first variation of F(x) in the Fresnel class F (B) holds as its corollaries.

Definitions and Preliminaries
Let H be a real separable infinite dimensional Hilbert space with inner product ·, · and norm | · | = ·, · . Let || · || 0 be a measurable norm on H with respect to the Gauss measure µ. Let B denote the completion of H with respect to || · || 0 . Let i denote the natural injection from H into B. The adjoint operator i * of i is one-to-one and maps B * continuously onto a dense subset of H * , where H * and B * are topological duals of H and B, respectively. By identifying H with H * and B * with i * B * , we have a triplet (B * , H, B) such that B * ⊂ H * ≡ H ⊂ B and h, x = (h, x) for all h in B * and x in H, where (·, ·) denotes the natural dual pairing between B * and B. By a well-known result of Gross [14], µ · i −1 has a unique countably additive extension m to the Borel σ-algebra B(B) on B. The triplet (H, B, m) is called an abstract Wiener space and m is called a Wiener measure. We denote the Wiener integral of a functional F by B F(x)dm(x). For more details, see [15][16][17]. Let {e j } ∞ j=1 denote a complete orthonormal system in H such that e j s are in B * . For each h ∈ H and x ∈ B, we define a stochastic inner product (·, ·) ∼ between H and B as follows: h, e j (e j , x) , if the limit exists, It is known in [16] that for every h ∈ H, (h, x) ∼ exists for m−a.e.x ∈ B in and it has a Gaussian distribution with mean zero and variance |h| 2 . Furthermore, it is easy to show that ∼ is essentially independent of the choice of the complete orthonormal system used in its definition, and finally that if {h 1 , · · · , h k } is an orthonormal set of elements in H, then (h 1 , x) ∼ , · · · , (h k , x) ∼ are independent Gaussian functionals with mean zero and variance one. Note that if both h and x are in H, then Let ν be a positive integer and let m ν denote ν-dimensional abstract Wiener measure and let B ν = B × B × · · · × B(ν times). We denote the Wiener integral of a function F defined on A property that holds except on a scale-invariant null set is said to hold scale-invariant almost everywhere (s.a.e.). See [18] for more about the scale-invariant measurability in abstract Wiener space.
Throughout this paper, let R n denote the n-dimensional Euclidean space and let C, C + , and C ∼ + denote the complex numbers, the complex numbers with positive real part, and the nonzero complex numbers with nonnegative real part, respectively. Let to be the analytic Wiener integral of G over B ν with parameter z, and for each z ∈ Ω, we write Let q = (q 1 , q 2 , · · · , q ν ) ∈ R ν , where q j , 1 ≤ j ≤ ν, is a nonzero real number and let G be a function on B ν whose analytic Wiener integral exists for each z in Γ. If the following limit exists, then we call it the analytic Feynman integral of G over B ν with parameter q, and we write where z approaches −i q through Γ and i 2 = −1.
Let M(H) be the space of complex-valued countably additive measures defined on B(H) , the Borel class of H. A complex-valued countably additive measure µ necessarily has finite total variation ||µ||. Under the norm || · || and with convolution as multiplication, M(H) is a commutative Banach algebra with identity. Now, we will introduce F (B ν ) in [13].
which is a stochastic Fourier transform of a measure µ ∈ M(H).
In [19], R.H. Cameron introduced the first variation theory of an indefinite Wiener integral on the Wiener space. We define the first variation on F (B ν ).

Definition 3.
Let G be a function on F (B ν ). Then, for u ∈ B ν , the function defined by is called the first variation of G in the direction u (if it exists).
The next theorem, which is quoted from [14], is necessary for proving theorems in F (B ) : Theorem 1. Let U be an open subset of C k , where C K = × k j=1 C is the product of k-copies of the complex plane C. Assume that f : U → C is continuous and analytic in each variable separately. That is, for each j, 1 ≤ j ≤ k, and for each point (z 1 , z 2 , · · · , z j−1 , z j+1 , · · · , z k ) ∈ C k−1 such that U j = {z j ∈ C : (z 1 , z 2 , · · · , z j , · · · , z k ) ∈ U} is non-empty, the function h(z j ) = f (z 1 , z 2 , · · · , z j , · · · , z k ) is analytic in U. Then h is analytic as a function of k complex variables in U. If U is connected and contains the set U + = {(z 1 , · · · , z k ) ∈ C k : Re(z j ) > 0, 1 ≤ j ≤ k}, then h is uniquely determined by its restriction to U + .
In the next section, we will use the following well-known integration formula: where c is a complex number with Re(c) > 0, d is a real number, and i 2 = −1.
We can deduce the following result in F (B) on the abstract Wiener space (H, B, m) :

Corollary 1.
For G ∈ F (B) and for s.a.e. u ∈ B, Now, we have the analytic Wiener integral and the analytic Feynman integral for the first variation of functions in F (B ν ).
We can deduce the following result in F (B) on the abstract Wiener space (H, B, m) : (1). For G ∈ F (B) and for z ∈ C + and for s.a.e. u ∈ B, where C + = {z ∈ C : Re(z) > 0}. (2).
To expand the main result, let {e j }, j = 1, 2, · · · , n, be an orthonormal set in H and let h ∈ H.
We need the following Lemma in [5] to prove properties in the next set of results.
Corollary 3. For G ∈ F (B) and for s.a.e. u ∈ B, is a Wiener integrable function of x ∈ B, and Now, we prove that the analytic Wiener integral of the first variation in F (B ν ) can be perfectly expressed as the limit of Wiener integrals on (H, B ν , m).

Theorem 4.
For every z ∈ Ω, Proof. By the bounded convergence theorem and Parseval's relation, we have Corollary 4. For G ∈ F (B) and for z ∈ C + and for s.a.e.u ∈ B, Now, we prove the change of scale formula for Wiener integrals under the first variation of G ∈ F (B ν ).
Using (27) for ν = 1, we have the the change of scale formula for Wiener integrals under the first variation in F (B): Corollary 6. For G ∈ F (B) and for real ρ > 0 and for s.a.e.u ∈ B, Finally, we show that the analytic Feynman integral of the first variation in F (B ν ) can be successfully expressed as the limit of a sequence of Wiener integrals of the first variation on (H, B ν , m). Theorem 6. Let {z k,m } m be a sequence of complex numbers from Ω such that {z k,m } m → −i q k (q k = 0) through Ω as m → ∞ for k = 1, 2, · · · , ν, where q = (q 1 , q 2 , · · · , q ν ) ∈ C ν . Then, where ∏ ν j=1 z j,m = z 1,m z 2,m · · · z ν,m and dm ν ( x) = dm(x 1 )dm(x 2 ) · · · dm(x ν ).

Remark 2.
In future works, we will try to prove rather nice formulas than the change of scale formula for the Wiener integral on the Wiener space and the abstract Wiener space and the product abstract Wiener space.
Funding: Fund of this paper was supported by NRF-2017R1A6A3A11030667.
Data Availability Statement: Data sharing not applicable.