Behavior of a Scale Factor for Wiener Integrals of an Unbounded Function ()
1. Introduction
In [1] , M. D. Brue introduced the functional transform on the Feynman integral (1972). In [2] , R. H. Cameron wrote the paper about the translation pathology of a Wiener spac (1972). In [3] [4] [5] , 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 [6] [7] , 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 [8] , M. D. Gaysinsky and M. S. Goldstein proved the Self-Adjointness of a Schrödinger Operator and Wiener Integrals (1992).
In [9] , G. W. Johnson and M. L. Lapidus wrote the paper about the Feynman integral and Feynman’s Operational Calculus (2000). In [10] , G. W. Johnson and D. L. Skoug proved the scale-invariant measurability in Wiener Space (1979).
In [11] and [12] , 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 [13] , 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
by
.
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
(2.1)
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
(2.2)
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
(2.3)
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
(2.4)
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:
(2.5)
where a is a complex number with
, b is a real number, and
.
3. Main Results
Define a function
on the Wiener space by
(3.1)
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
,
(3.2)
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
,
(3.3)
Proof. By the Wiener integration Formula (2.4), we have that
(3.4)
Lemma 3.3. Let
be defined by (3.1). For a finite real
and a finte real
,
(3.5)
Proof. By the above Lemma, we have that
(3.6)
Now we define a concept of the scale factor for the Wiener integral which was first defined in [13] :
Definition 3.4. We define the scale factor for the Wiener integral by the real number
of the absolute value of the Wiener integral:
(3.7)
where
is a real valued function defined on R.
Property.
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
,
(3.8)
Example. For the scale factor
, we can investigate the very interesting behavior of the Wiener integral:
(3.9)
Remark.
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.
4. Conclusions
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 [13] .
Note that the function in [13] 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:
Remark.
1) The solution of the heat (or diffusion) equation
(3.10)
is that for a real
,
(3.11)
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 [8] and the book [12] .
3) If we let
, the solution of this heat (or diffusion) equation is
(3.12)
4) If we let
, then
(3.13)
is a solution of a heat (or diffusion) equation:
(3.14)
This equation is of the form:
(3.15)
5) If we let
, then we can express the solution of the heat (or diffusion) equation by the formula
(3.16)
6) By this motivation, we first define the scale factor of the Wiener integral by the real number
in the paper [13] .
Remark.
I am very grateful for the referee to comment in details.
Supported
This article was supported by the National Research Foundation grant NRF-2017R1A6311030667.