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 f ( ( h 1 x ) ∼ , ⋯ , ( h n , x ) ∼ ) with f ∈ L p ( R n ) ,1 ≤ p ≤ ∞ on the abstract Wiener space: the analytic Wiener integral exists for f ∈ L p ( R n ) ,1 ≤ p ≤ ∞ , and the analytic Feynman integral exists for f ∈ L 1 ( R n ) (1998) and (2001). But the Feynman integral does not always exist for 1 < p .

In [13] , Y. S. Kim investigates a behavior of a scale factor for the Wiener integral of a function F ( x ) = exp { ∫ 0 T θ ( t , x ( t ) ) d t } , where θ : [ 0, T ] × R → C is defined by θ ( t , u ) = ∫ R exp { i u v } d σ t ( v ) which is a Fourier-Stieltzes transform of a complex Borel measure σ t ∈ M ( R ) and M ( R ) is a set of complex Borel measures defined on R.

In this paper, we investigate the behavior of a scale factor ρ > 0 for the Wiener integral ∫ C 0 [ 0, T ]   F ( ρ x ) d m ( x ) which is defined on the Wiener space C 0 [ 0, T ] about the unbounded function F ( x ) = exp { a ∑ j = 1 n ∫ 0 T α j d x } with a > 0 , where { α 1 , α 2 , ⋯ , α n } is an orthonormal set of elements in L 2 [ 0, T ] on the Wiener space C 0 [ 0, T ] .

Let C 0 [ 0, T ] denote the space of real-valued continuous functions x on [ 0, T ] such that x ( 0 ) = 0 . Let M denote the class of all Wiener measurable subsets of C 0 [ 0, T ] and let m denote a Wiener measure and ( C 0 [ 0, T ] , M , m ) be a Wiener measure space and we denote the Wiener integral of a function

F : C 0 [ 0, T ] → C by ∫ C 0 [ 0, T ]   F ( x ) d m ( x ) .

A subset E of C 0 [ 0, T ] is said to be scale-invariant measurable if ρ E ∈ M for each ρ > 0 , and a scale-invariant measurable set N is said to be scale-invariant null if m ( ρ N ) = 0 for each ρ > 0 . 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 F ≈ G . A function F defined on the scale invariant measurable set E is a scale invariant measurable function if F ( α x ) is a Wiener measurable function for all α > 0 .

Throughout this paper, let R n denote the n-dimensional Euclidean space and let C , C + , and C + ∼ 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 C 0 [ 0, T ] such that the integral

J ( F ; λ ) = ∫ C 0 [ 0 , T ]   F ( λ − 1 2 x ) d m ( x ) (2.1)

exists for all real λ > 0 . If there exists a function J ∗ ( F ; z ) analytic on C + such that J ∗ ( F ; λ ) = J ( F ; λ ) for all real λ > 0 , then we define J ∗ ( F ; z ) to be the analytic Wiener integral of F over C 0 [ 0, T ] with parameter z, and for each z ∈ C + , we write

I a w ( F ; z ) = J ∗ ( F ; z ) ≡ ∫ C 0 [ 0, T ] a n w z F ( x ) d m ( x ) . (2.2)

Let q be a non-zero real number and let F be a function defined on C 0 [ 0, T ] whose analytic Wiener integral exists for each z in C + . If the following limit exists, then we call it the analytic Feynman integral of F over C 0 [ 0, T ] with parameter q, and we write

I a f ( F ; q ) = lim z → − i q I a w ( F ; z ) ≡ ∫ C 0 [ 0 , T ] a n w q   F ( x ) d m ( x ) , (2.3)

where z approaches − i q through C + and i 2 = − 1 .

Let { e k } k = 1 n be a complete orthonormal set and e k ∈ C [ 0, T ] ∩ B [ 0, T ] for k = 1 , 2 , ⋯ , n and α ∈ L 2 [ 0, T ] and x ∈ C 0 [ 0, T ] . We define a Paley-Wiener-Zygmund integral (P.W.Z) of x with respect to α by

∫ 0 T α ( t ) d x ( t ) ≡ lim n → ∞ ∫ 0 T ∑ k = 1 n ( α , e k ) e k ( t ) d x ( t ) .

Theorem 2.2 (Wiener Integration Formula). Let C 0 [ 0, T ] be a Wiener space. Then

∫ C 0 [ 0 , T ]   f ( ∫ 0 T α 1 d x , ∫ 0 T α 2 d x , ⋯ , ∫ 0 T α n d x ) d m ( x ) = ( 1 2π ) n 2 ∫ R n f ( u → ) exp { − 1 2 ∑ j = 1 n   u j 2 } d u → (2.4)

where { α 1 , α 2 , ⋯ , α n } is an orthonormal set of elements in L 2 [ 0, T ] and f : R n → C is a Lebesgue measurable function and u → = ( u 1 , u 2 , ⋯ , u n ) and d u → = d u 1 d u 2 ⋯ d u n and ∫ 0 T α j d x is a Paley-Wiener-Zygmund integral for 1 ≤ j ≤ n .

Remark. We will use several times the following well-known integration formula:

∫ R exp { − a u 2 + i b u } d u = π a exp { − b 2 4 a } (2.5)

where a is a complex number with R e   a > 0 , b is a real number, and i 2 = − 1 .

Define a function F : C 0 [ 0, T ] → C on the Wiener space by

F ( x ) = exp { a ∑ j = 1 n ∫ 0 T α j d x } (3.1)

where a > 0 is a finite real number and { α 1 , α 2 , ⋯ , α n } is an orthonormal set of elements in L 2 [ 0, T ] .

Lemma 3.1. For a finite real number a > 0 , the unbounded cylinder function F ( x ) in (3.1) is a Wiener integrable function.

Proof. By the Wiener integration Formula (2.4), we have that for a finite real number a > 0 ,

∫ C 0 [ 0, T ]   F ( x ) d m ( x ) = ( 1 2π ) n 2 ⋅ ∫ R n exp { a ∑ j = 1 n   u j   − 1 2 ∑ j = 1 n   u j 2 } d u → = ( 1 2π ) n 2 ⋅ ( 2 π ) n 2 ⋅ exp { + n 2 a 2 } = exp { + n 2 a 2 } < ∞ (3.2)

Remark. If we let F ( x ) = f ( ∫ 0 T α 1 d x , ∫ 0 T α 2 d x , ⋯ , ∫ 0 T α n d x ) and f : R n → C , then f ( u → ) = exp { a ∑ j = 1 n   u j } is unbounded for a finite real number a > 0 .

Lemma 3.2. Let F : C 0 [ 0, T ] → C be defined by (3.1). For a finite real ρ > 0 and a finite real a > 0 ,

∫ C 0 [ 0, T ]   F ( ρ x ) d m ( x ) = exp { + n 2 a 2 ρ 2 } (3.3)

Proof. By the Wiener integration Formula (2.4), we have that

∫ C 0 [ 0, T ]   F ( ρ x ) d m ( x ) = ( 1 2π ) n 2 ⋅   ∫ R n exp { a   ρ ∑ j = 1 n   u j   − 1 2 ∑ j = 1 n   u j 2 } d u → = ( 1 2π ) n 2 ⋅ ( 2π ) n 2 ⋅ exp { + n 2 a 2 ρ 2 } = exp { + n 2 a 2 ρ 2 } < ∞ (3.4)

Lemma 3.3. Let F : C 0 [ 0, T ] → C be defined by (3.1). For a finite real ρ > 0 and a finte real a > 0 ,

∫ C 0 [ 0, T ]   F ( ρ x ) d m ( x ) = [ ∫ C 0 [ 0, T ]   F ( x ) d m ( x ) ] ρ 2 (3.5)

Proof. By the above Lemma, we have that

∫ C 0 [ 0, T ]   F ( ρ x ) d m ( x ) = exp { + n 2 a 2 ρ 2 } = [ exp { + n 2 a 2 } ] ρ 2 = [ ∫ C 0 [ 0, T ] F ( x ) d m ( x ) ] ρ 2 (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 ρ > 0 of the absolute value of the Wiener integral:

G ( ρ ) = | ∫ C 0 [ 0, T ] F ( ρ x ) d m ( x ) | (3.7)

where G : R → R 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 ρ > 0 and for a finite real number a > 0 ,

∫ C 0 [ 0, T ]   F ( ρ x ) d m ( x ) = exp { + n 2 a 2 ρ 2 } . (3.8)

Example. For the scale factor ρ = { ⋯ , 1 100 , 1 10 , 1 , 10 , 10 2 , ⋯ } , we can investigate the very interesting behavior of the Wiener integral:

( a )     ∫ C 0 [ 0, T ]   F ( 1 100 x ) d m ( x ) = [ ∫ C 0 [ 0, T ]   F ( x ) d m ( x ) ] 1 10000 ( b )     ∫ C 0 [ 0, T ]   F ( 1 10 x ) d m ( x ) = [ ∫ C 0 [ 0, T ]   F ( x ) d m ( x ) ] 1 100 ( c )     [ ∫ C 0 [ 0, T ]   F ( 1 100 x ) d m ( x ) ] 100 = [ ∫ C 0 [ 0, T ]   F ( 1 10 x ) d m ( x ) ] ( d )     ∫ C 0 [ 0, T ]   F ( ρ x ) d m ( x ) = [ ∫ C 0 [ 0, T ]   F ( x ) d m ( x ) ] ρ 2 (3.9)

Remark.

1) Whenever the scale factor ρ > 1 is increasing, the Wiener integral increases very rapidly. Whenever the scale factor 0 < ρ < 1 is decreasing, the Wiener integral decreases very rapidly.

2) The function G ( ρ ) = | ∫ C 0 [ 0, T ] F ( ρ x ) d m ( x ) | for F ( x ) in (3.1) is an increasing function of a scale factor ρ > 0 , because the exponential function y = e x 2 is an increasing function of x ∈ R .

3) Whenever the scale factor ρ > 0 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 [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

∂ ψ ∂ t   = − i h [ − h 2 2 m ∂ ψ 2 ∂ ξ 2 + V ( ξ ) ψ ] , (3.10)

is that for a real λ > 0 ,

ψ λ ( t , ξ ) = ∫ C 0 t exp { − i h ∫ 0 t   V ( λ − 1 2 x ( s ) + ξ ) d s } ⋅ ψ ( λ − 1 2 x ( s ) + ξ ) d m ( s ) (3.11)

where ψ λ ( ⋅ , ξ ) = ϕ ( ξ ) and ϕ ∈ L 2 ( R d ) and ξ ∈ R d and x ( ⋅ ) is a R d -valued continuous function defined on [ 0, t ] such that x ( 0 ) = 0 .

2) H = − Δ + V is the energy operator (or, Hamiltonian) and Δ is a Laplacian and V : R d → R 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 λ = ρ − 2 , the solution of this heat (or diffusion) equation is

ψ ρ ( t , ξ ) = ∫ C 0 t exp { − i h ∫ 0 t   V ( ρ x ( s ) + ξ ) d s } ⋅ ϕ ( ρ x ( s ) + ξ ) d m ( s )   (3.12)

4) If we let h = m i   λ = − i m ρ − 2 , then

ψ ρ ( t , ξ ) = ∫ C 0 t exp { + m ρ 2 ∫ 0 t   V ( ρ x ( s ) + ξ ) d s } ⋅ ϕ ( ρ x ( s ) + ξ ) d m ( s ) (3.13)

is a solution of a heat (or diffusion) equation:

∂ ψ ∂ t = 1 m ρ 2 [ ( m 2 ρ 2 2 m ) ∂ ψ 2 ∂ ξ 2 + V ( ξ ) ψ ] . (3.14)

This equation is of the form:

∂ ψ ∂ t = 1 2 ∂ ψ 2 ∂ ξ 2 + 1 m ρ 2 V ( ξ ) ψ . (3.15)

5) If we let F ( x ) = exp { − i h ∫ 0 t   V ( λ − 1 2 x ( s ) + ξ ) d s ⋅ ϕ ( λ − 1 2 x ( s ) + ξ ) } , then we can express the solution of the heat (or diffusion) equation by the formula

ψ ρ ( t , ξ ) = ∫ C 0 t F ( ρ x ) d m ( x )   , ψ λ ( t , ξ ) = ∫ C 0 t F ( λ − 1 2 x ) d m ( x ) (3.16)

6) By this motivation, we first define the scale factor of the Wiener integral by the real number ρ > 0 in the paper [13] .

Remark. I am very grateful for the referee to comment in details.

This article was supported by the National Research Foundation grant NRF-2017R1A6311030667.

The author declares no conflicts of interest regarding the publication of this paper.

Kim, Y.S. (2019) Behavior of a Scale Factor for Wiener Integrals of an Unbounded Function. Applied Mathematics, 10, 326-332. https://doi.org/10.4236/am.2019.105023