In  , M. D. Brue introduced the functional transform on the Feynman integral (1972). In  , R. H. Cameron wrote the paper about the translation pathology of a Wiener spac (1972). In    , R. H. Cameron and W. T. Martin proved some theorems on the transformation and the translation and used the expression of the change of scale for Wiener integrals (1944, 1947). In   , R. H. Cameron and D. A. Storvick proved relationships between Wiener integrals and analytic Feynman integrals to prove the change of scale formula for Wiener integral on the Wiener space in 1987. In  , M. D. Gaysinsky and M. S. Goldstein proved the Self-Adjointness of a Schrödinger Operator and Wiener Integrals (1992).
In  , G. W. Johnson and M. L. Lapidus wrote the paper about the Feynman integral and Feynman’s Operational Calculus (2000). In  , G. W. Johnson and D. L. Skoug proved the scale-invariant measurability in Wiener Space (1979).
In  and  , Y. S. Kim proved a change of scale formula for Wiener integrals about cylinder functions with on the abstract Wiener space: the analytic Wiener integral exists for , and the analytic Feynman integral exists for (1998) and (2001). But the Feynman integral does not always exist for .
In  , Y. S. Kim investigates a behavior of a scale factor for the Wiener integral of a function , where is defined by which is a Fourier-Stieltzes transform of a complex Borel measure and is a set of complex Borel measures defined on R.
In this paper, we investigate the behavior of a scale factor for the Wiener integral which is defined on the Wiener space about the unbounded function with , where is an orthonormal set of elements in on the Wiener space .
2. Definitions and Preliminaries
Let denote the space of real-valued continuous functions x on such that . Let denote the class of all Wiener measurable subsets of and let m denote a Wiener measure and be a Wiener measure space and we denote the Wiener integral of a function
A subset E of is said to be scale-invariant measurable if for each , and a scale-invariant measurable set N is said to be scale-invariant null if for each . A property that holds except on a scale-invariant null set is said to hold scale-invariant almost everywhere (s-a.e.). If two functionals F and G are equal s-a.e., we write . A function F defined on the scale invariant measurable set E is a scale invariant measurable function if is a Wiener measurable function for all .
Throughout this paper, let denote the n-dimensional Euclidean space and let , and denote the set of complex numbers, the set of complex numbers with positive real part, and the set of non-zero complex numbers with nonnegative real part, respectively.
Definition 2.1. Let F be a complex-valued measurable function on such that the integral
exists for all real . If there exists a function analytic on such that for all real , then we define to be the analytic Wiener integral of F over with parameter z, and for each , we write
Let q be a non-zero real number and let F be a function defined on whose analytic Wiener integral exists for each z in . If the following limit exists, then we call it the analytic Feynman integral of F over with parameter q, and we write
where z approaches through and .
Let be a complete orthonormal set and for and and . We define a Paley-Wiener-Zygmund integral (P.W.Z) of x with respect to by
Theorem 2.2 (Wiener Integration Formula). Let be a Wiener space. Then
where is an orthonormal set of elements in and is a Lebesgue measurable function and and and is a Paley-Wiener-Zygmund integral for .
Remark. We will use several times the following well-known integration formula:
where a is a complex number with , b is a real number, and .
3. Main Results
Define a function on the Wiener space by
where is a finite real number and is an orthonormal set of elements in .
Lemma 3.1. For a finite real number , the unbounded cylinder function in (3.1) is a Wiener integrable function.
Proof. By the Wiener integration Formula (2.4), we have that for a finite real number ,
Remark. If we let and , then is unbounded for a finite real number .
Lemma 3.2. Let be defined by (3.1). For a finite real and a finite real ,
Proof. By the Wiener integration Formula (2.4), we have that
Lemma 3.3. Let be defined by (3.1). For a finite real and a finte real ,
Proof. By the above Lemma, we have that
Now we define a concept of the scale factor for the Wiener integral which was first defined in  :
Definition 3.4. We define the scale factor for the Wiener integral by the real number of the absolute value of the Wiener integral:
where is a real valued function defined on R.
We investigate the interesting behavior of the scale factor for the Wiener integral by analyzing the Wiener integral as followings: For real and for a finite real number ,
Example. For the scale factor , we can investigate the very interesting behavior of the Wiener integral:
1) Whenever the scale factor is increasing, the Wiener integral increases very rapidly. Whenever the scale factor is decreasing, the Wiener integral decreases very rapidly.
2) The function for in (3.1) is an increasing function of a scale factor , because the exponential function is an increasing function of .
3) Whenever the scale factor is increasing and decreasing, the Wiener integral varies very rapidly.
What we have done in this research is that we investigate the very interesting behavior of the scale factor for the Wiener integral of an unbounded function.
From these results, we find an interesting property for the Wiener integral as a function of a scale factor which was first defined in  .
Note that the function in  is bounded and the function of this paper is unbounded!
Finally, we introduce the motivation and the application of the Wiener integral and the Feynman integral and the relationship between the scale factor and the heat (or diffusion) equation:
1) The solution of the heat (or diffusion) equation
is that for a real ,
where and and and is a -valued continuous function defined on such that .
2) is the energy operator (or, Hamiltonian) and is a Laplacian and is a potential. This Formula (3.11) is called the Feynman-Kac formula. The application of the Feynman-Kac Formula (in various settings) has been given in the area: diffusion equations, the spectral theory of the schrödinger operator, quantum mechanics, statistical physics, for more details, see the paper  and the book  .
3) If we let , the solution of this heat (or diffusion) equation is
4) If we let , then
is a solution of a heat (or diffusion) equation:
This equation is of the form:
5) If we let , then we can express the solution of the heat (or diffusion) equation by the formula
6) By this motivation, we first define the scale factor of the Wiener integral by the real number in the paper  .
This article was supported by the National Research Foundation grant NRF-2017R1A6311030667.