Next Article in Journal
A Comparison Index for Costs of Interval Linear Programming Models
Previous Article in Journal
On Factorable Surfaces of Finite Chen Type in the Lorentz–Heisenberg Space H3
Previous Article in Special Issue
Symmetric and Asymmetric Double Series via Expansions over Legendre Polynomials
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

An Approximation Formula of the Integral Transform on Wiener Space

Department of Mathematics, Dankook University, Cheonan 31116, Republic of Korea
Axioms 2025, 14(8), 570; https://doi.org/10.3390/axioms14080570
Submission received: 9 May 2025 / Revised: 16 July 2025 / Accepted: 22 July 2025 / Published: 24 July 2025
(This article belongs to the Special Issue Recent Advances in Special Functions and Applications, 2nd Edition)

Abstract

In this paper, we introduce an integral transform with a kernel defined on the Wiener space. We first establish the existence of the integral transform and present several illustrative examples. As the main result, we derive an approximation theorem for the integral transform. Our approach demonstrates that the integral transform can be effectively computed even in cases where direct calculation is difficult or infeasible.
MSC:
Primary 42B10; 28C20; 60J65; 46G12

1. Introduction

An integral transform maps a function from its original function space into another, often more analytically tractable, function space through an integration process. In many cases, certain properties of the original function become more apparent or manageable in the transformed domain. Typically, the original function can be recovered via an appropriate inverse transform. The classical integral transform on Euclidean space is defined by the formula
T ( f ) ( v ) = R f ( u ) g ( u , v ) d u
for some appropriate functions f and g [1]. The function g is referred to as the kernel, integral kernel, or nucleus of the transform. Research on integral transforms in Euclidean spaces has a long and rich history, dating back to ancient times, and continues to be an active area of mathematical study. Mathematical notation aside, the motivation behind integral transforms is easy to understand. There are many classes of problems that are difficult to solve or at least quite unwieldy algebraically in their original representations. Depending on the structure of the kernel function, the integral transform is categorized under various classical types. Notable examples include the Fourier transform, the Laplace transform, the Hartley transform, and the two-sided Laplace transform [1,2,3,4,5].
For T > 0 , let C 0 [ 0 , T ] denote the classical Wiener space with the associated Wiener measure m w . On the Wiener space, many research results on integral transform have been obtained, and they are being generalized in various ways. However, research on the form in which the integral transform has a kernel in its definition itself is lacking [5,6,7,8,9,10,11,12,13,14,15]. Recently, several authors have published papers on integral transforms whose kernels involve the Fourier transform and the two-sided Laplace transform [3,16,17].
In this paper, we define an integral transform T G ( F ) of a functional F defined on C 0 [ 0 , T ] given a functional G defined on C 0 2 [ 0 , T ] C 0 [ 0 , T ] × C 0 [ 0 , T ] , and establish the existence of the integral transform T G ( F ) with some examples. Our integral transform T G ( F ) shares certain similarities with the classical integral transform T ( f ) . However, there are many differences in results and properties between T G ( F ) and T ( f ) on Euclidean space because, primarily because the Wiener measure m w is a probability measure. As a main result, we give an approximation formula of the integral transform T G ( F ) . The main theorem of this paper demonstrates that the integral transform T G ( F ) can be effectively approximated or computed even in cases where direct evaluation is analytically intractable or computationally prohibitive.
This paper is structured as follows. In Section 2, we introduce the fundamental definitions and notations necessary for understanding the subsequent developments. Section 3 presents an approximation of the integral transform, along with illustrative examples. Finally, Section 4 concludes the paper.

2. Preliminaries and Definitions

In this section, we introduce the fundamental definitions and notations necessary for understanding the subsequent development of this paper. We then define an integral transform on Wiener space C 0 [ 0 , T ] . Furthermore, we establish the existence of the proposed integral transform and present several illustrative applications.
We state a well-known integration formula which is used later in this paper.
Theorem 1.
Let ( t 1 , , t n ) be an n-tuple of [ 0 , T ] with 0 = t 0 < t 1 < < t n = T . Let f : R n C be Lebesgue measurable and let F a functional of the form
F ( x ) = f ( x ( t 1 ) , , x ( t n ) ) .
Then,
C 0 [ 0 , T ] F ( x ) d m w ( x ) = C 0 [ 0 , T ] f ( x ( t 1 ) , , x ( t n ) ) d m w ( x ) = j = 1 n 1 2 π ( t j t j 1 ) 1 2 R n f ( u ) exp j = 1 n ( u j u j 1 ) 2 2 ( t j t j 1 ) d u ,
where u 0 = 0 , in the sense that if either side of (1) exists, then both sides exist and the equality holds [17,18,19,20,21].
We are now ready to state the definition of the integral transform of functionals on C 0 [ 0 , T ] .
Definition 1.
Let F be a functional on C 0 [ 0 , T ] and let G be a functional on C 0 2 [ 0 , T ] . The integral transform T G ( F ) of F given G is defined by the formula
T G ( F ) ( y ) = C 0 [ 0 , T ] F ( x ) G ( x , y ) d m w ( x ) , y C 0 [ 0 , T ]
if it exists. In this case, the functional G is called the kernel of integral transform T G .
Let E ( n ) be the class of all functionals F on C 0 n [ 0 , T ] of the form
F ( x 1 , , x n ) = f ( x 1 ( T ) , , x n ( T ) ) ,
where f is an infinitely differentiable function on R n with
| f ( u ) | A f exp B f j = 1 n | u j |
for some real numbers A f > 0 and B f 0 .
Remark 1.
Note that E ( n ) is a very rich class because E ( n ) has many unbounded functionals. In fact, if F is given by (3), then the function f is bounded if and only if it is a constant function.
In Theorem 2 below, we shall establish the existence of integral transform T G ( F ) of F given the kernel G.
Theorem 2.
Let F E ( 1 ) and G E ( 2 ) with F ( x ) = f ( x ( T ) ) and G ( x , y ) = g ( x ( T ) , y ( T ) ) . Then, the integral transform T G ( F ) of F given the kernel G exists, belongs to E ( 1 ) and is given by the formula
T G ( F ) ( y ) = Γ ( y ( T ) ) ,
where
Γ ( v ) = 1 2 π T R f ( u ) g ( u , v ) exp u 2 2 T d u .
Proof. 
Using Equations (1) and (2), we have
T G ( F ) ( y ) = C 0 [ 0 , T ] F ( x ) G ( x , y ) d m w ( x ) = C 0 [ 0 , T ] f ( x ( T ) ) g ( x ( T ) , y ( T ) ) d m w ( x ) = 1 2 π T R f ( u ) g ( u , y ( T ) ) exp u 2 2 T d u = Γ ( y ( T ) ) .
Furthermore, the function Γ is infinitely differentiable since g is an infinitely differentiable function, and using Equation (4), we see that
| Γ ( v ) | 1 2 π T R | f ( u ) | | g ( u , v ) | exp u 2 2 T d u A f A g 2 π T R exp { B f | u | + B g ( | u | + | v | ) } exp u 2 2 T d u A f A g 2 π T exp { B g | v | } R exp { ( B f + B g ) | u | } exp u 2 2 T d u = A Γ exp { B Γ | v | }
where
A Γ = A f A g 2 π T R exp { ( B f + B g ) | u | } exp u 2 2 T d u <
and B Γ = B g . These tell us that T G ( F ) is in E ( 1 ) , and hence, we complete the proof of Theorem 2 as desired. □
We conclude this section by presenting several examples that illustrate the utility of Theorem 2, using meaningful kernel functions analogous to those appearing in classical integral transforms on Euclidean space.
Example 1
(The kernel of the Fourier-transform). Let F and G be as in Theorem 2. Let g ( u , v ) = exp { i u v } . Then | g ( u , v ) | 1 = A g exp { B g ( | u | + | v | ) } , where A g = 1 and B g = 0 . Hence G ( x , y ) = g ( x ( T ) , y ( T ) ) E ( 2 ) . Thus, by Theorem 2, the integral transform T G ( F ) exists, and using Equation (5), we have
T G ( F ) ( y ) = 1 2 π T R f ( u ) exp { i u y ( T ) } exp u 2 2 T d u = h ^ ( y ( T ) )
where h ( u ) = f ( u ) exp u 2 2 T and f ^ denotes the Fourier-transform of f.
Example 2
(The kernel of the Hartley transform). Let F and G be as in Theorem 2. Let g ( u , v ) = cos ( u v ) + sin ( u v ) 2 π . Then | g ( u , v ) | 2 π = A g exp { B g ( | u | + | v | ) } , where A g = 2 π and B g = 0 . Hence G ( x , y ) = g ( x ( T ) , y ( T ) ) E ( 2 ) . Thus, by Theorem 2, the integral transform T G ( F ) exists, and using Equation (5), we have
T G ( F ) ( y ) = 1 2 π T R f ( u ) cos ( u y ( T ) ) + sin ( u y ( T ) ) 2 π exp u 2 2 T d u .
In fact,
| T G ( F ) ( y ) | f 1 π T <
provided f L 1 ( R ) .
Example 3
(The kernel of the Weierstrass transform). Let F and G be as in Theorem 2. Let g ( u , v ) = 1 4 π exp ( u v ) 2 4 . Then | g ( u , v ) | 1 = A g exp { B g ( | u | + | v | ) } , where A g = 1 and B g = 0 . Hence G ( x , y ) = g ( x ( T ) , y ( T ) ) E ( 2 ) . Thus, by Theorem 2, the integral transform T G ( F ) exists and using Equation (5), we have
T G ( F ) ( y ) = 1 2 π T R f ( u ) exp u 2 2 T ( u y ( T ) ) 2 4 d u .
In fact,
| T G ( F ) ( y ) | f 1 2 π T <
provided f L 1 ( R ) .
Example 4
(The kernel of the exponential weighted transform). Let F and G be as in Theorem 2. Let g ( u , v ) = exp { u + v } . Then | g ( u , v ) | A g exp { B g ( | u | + | v | ) } , where A g = 1 and B g = 1 . Hence G ( x , y ) = g ( x ( T ) , y ( T ) ) E ( 2 ) . Thus, by Theorem 2, the integral transform T G ( F ) exists and using Equation (5), we have
T G ( F ) ( y ) = 1 2 π T R f ( u ) exp u u 2 2 T d u exp { v } .
In fact,
| T G ( F ) ( y ) | f 1 k 2 π T exp { | v | }
provided f L 1 ( R ) where k ( u ) = exp u u 2 2 T because k L p ( R ) for all 1 p .

3. Approximation Formula of the Integral Transform

In this section, we give an approximation of the integral transform with examples.
As shown in the previous section, the existence of an integral transform can be established once a kernel function is given. However, depending on the structure of the kernel, proving the existence or evaluating the transform may become challenging or even infeasible through direct methods. In such cases, it becomes necessary to develop alternative approaches for the computation of the integral transform.
In order to express simply, we need a notation as below. Let f be an infinitely differentiable function on R n with
| f ( u ) | A f exp { B f j = 1 n | u j | }
for some real numbers A f > 0 and B f 0 . For a s N { 0 } , let
L ( f , u s ) = R u s f ( u ) exp u 2 2 T d u .
Then L ( f , u s ) always exists for all s N { 0 } because
| L ( f , u s ) | A f R | u | s exp u 2 2 T + B f | u | d u < .
In Lemma 1 below, we establish an integration formula.
Lemma 1.
Let F be an element of E ( 1 ) with F ( x ) = f ( x ( T ) ) . Then for a non-negative integer s, we have
C 0 [ 0 , T ] x s ( T ) F ( x ) d m w ( x ) = 1 2 π T L ( f , u s ) .
Proof. 
Using Equations (1) and (6), we have
C 0 [ 0 , T ] x s ( T ) F ( x ) d m w ( x ) = 1 2 π T R u s f ( u ) exp u 2 2 T d u = 1 2 π T L ( f , u s ) .
From Equation (7), we see that (8) always exists. □
Remark 2.
We shall explain the concept of the Taylor series at ( 0 , 0 ) of two variable function. Let g be an infinitely differentiable function on R 2 with the convergence radius set to infinity. Then we have the following expression:
g ( u , v ) = lim n g n ( u , v ) ,
where
g n ( u , v ) = k = 0 n m = 0 k a k m , m u k m v m
and
a k m , m = 1 ( k m ) ! m ! k g u k m v m | ( u , v ) = ( 0 , 0 ) , 0 ! = 1 ,
for more detailed see [1,2,4].
To obtain the main result, we need two lemmas. In the first lemma, we give a formula that the integral transform T G n ( F ) of F E ( 1 ) given G E ( 2 ) exists.
Lemma 2.
Let F E ( 1 ) . Let g n be as in Equation (10) and let G n ( x , y ) = g n ( x ( t ) , y ( T ) ) . Then G is in E ( 2 ) and
T G n ( F ) ( y ) = k = 0 n m = 0 k b k m , m L ( f , u k m ) y m ( T )
where b k m , m = 1 2 π T a k m , m .
Proof. 
Since F E ( 1 ) and G E ( 2 ) , from Theorem 2, the integral transform T G n ( F ) of F exists and it is an element of E ( 1 ) . We shall now prove equality in Equation (11) holds. Using Equations (1), (2) and (10), we have
T G n ( F ) ( y ) = C 0 [ 0 , T ] f ( x ( T ) ) g n ( x ( T ) , y ( T ) ) d m w ( x ) = k = 0 n m = 0 k a k m , m y m ( T ) C 0 [ 0 , T ] x k m ( T ) f ( x ( T ) ) d m w ( x ) = k = 0 n m = 0 k b k m , m L ( f , u k m ) y m ( T ) ,
which completes the proof of the Lemma 2. □
We next give a convergence formula for the kernel functionals.
Lemma 3.
Let G ( x , y ) = g ( x ( T ) , y ( T ) ) and let G n ( x , y ) = g n ( x ( T ) , y ( T ) ) , where g is as in Remark 2 and g n is as in Lemma 2. Then
G ( x , y ) = lim n G n ( x , y )
in the sense of L 1 ( C 0 2 [ 0 , T ] ) .
Proof. 
First, we note that
| g ( u , v ) g n ( u , v ) | | g ( u , v ) | + | g n ( u , v ) | A g exp { B g ( | u | + | v | ) } + k = 0 n m = 0 k | a k m , m | | u | k m | v | m .
Now, let
h ( u , v ) = A g exp { B g ( | u | + | v | ) } + k = 0 n m = 0 k | a k m , m | | u | k m | v | m .
Then we see that
R R h ( u , v ) exp u 2 + v 2 2 T d u d v < .
We next use Equations (9), (10) and (1) to establish Equation (12). Then one can see that
C 0 [ 0 , T ] C 0 [ 0 , T ] | G ( x , y ) G n ( x , y ) | d m w ( x ) d m w ( y ) = 1 2 π T R R | g ( u , v ) g n ( u , v ) | exp u 2 + v 2 2 T d u d v .
Thus, using the Dominated convergence theorem, we can conclude that
G ( x , y ) = lim n G n ( x , y )
in the sense of L 1 ( C 0 2 [ 0 , T ] ) . Hence we have the desired result. □
The following Theorem 3 below is the main result in this paper. Equation (13) is called the approximation formula of the integral transform T G ( F ) of F given G.
Theorem 3
(Approximation formula of the integral transform). Let F be as in Lemma 2 and let G and G n be as in Lemma 3. Then the integral transform T G ( F ) of F given G exists and is given by the formula
T G ( F ) ( y ) = lim n T G n ( F ) ( y )
in the sense of L 1 ( C 0 [ 0 , T ] ) .
Proof. 
Using Equations (2) and (12), we have
C 0 [ 0 , T ] | T G ( F ) ( y ) T G n ( F ) ( y ) | d m w ( y ) C 0 [ 0 , T ] C 0 [ 0 , T ] | F ( x ) | | G ( x , y ) G n ( x , y ) | d m w ( x ) d m w ( y ) 0
as n . Hence we have the desired result. □
We give a few examples to explain the usefulness of Theorem 3 above.
Example 5.
Let g ( u , v ) = sin u + v + π 2 and let G ( x , y ) = g ( x ( T ) , y ( T ) ) . Then G E ( 2 ) and we see that
k g u k m v m | ( u , v ) = ( 0 , 0 ) = 0 , k = 2 q + 1 1 , k = 4 q + 2 1 , k = 4 q
for q = 0 , 1 , 2 , . Hence using Equation (13), we have
T G ( F ) ( y ) = lim n T G n ( F ) ( y )
in the sense of L 1 ( C 0 [ 0 , T ] ) , where
T G n ( F ) ( y ) = 1 2 π T k = 0 n ( 1 ) k + 1 k 2 m = 0 k ( 1 ) s ( k ) L ( f , u k m ) ( k m ) ! m ! y m ( T ) ,
where
( 1 ) s ( k ) = 1 , k = 4 r 2 1 , o t h e r w i s e
for r = 1 , 2 , .
Example 6.
Let g ( u , v ) = 1 1 u v and let G ( x , y ) = g ( x ( T ) , y ( T ) ) . Then G E ( 2 ) and we see that
k g u k m v m | ( u , v ) = ( 0 , 0 ) = ( k + m ) ! k ! m ! .
Hence using Equation (13), we have
T G ( F ) ( y ) = lim n T G n ( F ) ( y )
in the sense of L 1 ( C 0 [ 0 , T ] ) , where
T G n ( F ) ( y ) = 1 2 π T k = 0 n m = 0 k L ( f , u k m ) ( k + m ) ! ( k m ) ! k ! ( m ! ) 2 y m ( T ) .
Example 7.
Let g ( u , v ) = sin ( 2 u ) + cos ( v ) and let G ( x , y ) = g ( x ( T ) , y ( T ) ) . Then G E ( 2 ) and we see that using Equation (13), we have
T G ( F ) ( y ) = lim n T G n ( F ) ( y )
in the sense of L 1 ( C 0 [ 0 , T ] ) , where
T G n ( F ) ( y ) = 1 2 π T [ 1 + k = 1 n m = 0 k ( ( 1 ) l ( k ) 2 k + ( 1 ) l ( k ) + 1 ) L ( f , u k m ) ( k m ) ! m ! y m ( T ) ]
where
l ( k ) = 1 , k = 4 r 2 1 , k = 4 r 0 , o t h e r w i s e
for r = 1 , 2 , .

4. Conclusions

As illustrated in the examples of Section 2 and Section 3, there are numerous instances in which the structure of the kernel renders direct computation of the integral transform difficult or impractical. Nevertheless, by employing the theorem presented in Section 3, we have demonstrated that a wide class of integral transforms can be expressed in the form of convergent series representations.

Funding

The present research was supported by the research fund of Dankook University in 2025.

Data Availability Statement

Data is contained within the article.

Acknowledgments

The author would like to express gratitude to the referees for their valuable comments and suggestions, which have improved the original paper.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Kreyszig, E. Introductory Functional Analysis with Applications; John Wiley and Sons: Hoboken, NJ, USA, 1978. [Google Scholar]
  2. Cao, Y. On Convergence rate of Wiener-Ito expansion for generalized random variables. Int. J. Probab. Stoch. Processes 2006, 78, 179–187. [Google Scholar] [CrossRef]
  3. Chung, H.S.; Lee, I.Y. A generalized-transform for the Fourier-type functional and its applications. Integ. Trans. Spec. Funct. 2022, 33, 715–728. [Google Scholar] [CrossRef]
  4. Hu, Y. Ito-Wiener Chaos expansion with exact residual and correlation, variance inequalities. J. Theor. Probab. 1997, 10, 835–848. [Google Scholar] [CrossRef]
  5. Im, M.K.; Ji, U.C.; Park, Y.J. Relations among the first variation, the convolutions and the generalized Fourier-Gauss transforms. Bull. Korean Math. Soc. 2011, 48, 291–302. [Google Scholar] [CrossRef]
  6. Cameron, R.H.; Storvick, D.A. Some Banach algebras of analytic Feynman integrable functionals. In Analytic Functions, Kozubnik 1979; Lecture Notes in Mathematics; Dold, A., Eckmann, B., Eds.; Springer: Berlin/Heidelberg, Gernmany, 1980; Volume 798, pp. 18–67. [Google Scholar]
  7. Choi, J.G.; Lee, W.G.; Chang, S.J. Change of path formula on the function space with applications. Indag. Math. 2014, 25, 596–607. [Google Scholar] [CrossRef]
  8. Chung, D.M.; Park, C.; Skoug, D. Generalized Feynman integrals via conditional Feynman integrals. Michigan Math. J. 1993, 40, 377–391. [Google Scholar] [CrossRef]
  9. Chang, K.S.; Kim, B.S.; Yoo, I. Integral transforms and convolution of analytic functionals on abstract Wiener space. Numer. Funct. Anal. Optim. 2000, 21, 97–105. [Google Scholar] [CrossRef]
  10. Chung, D.M.; Ji, U.C. Transforms on white noise functionals with their applications to Cauchy problems. Nagoya Math. J. 1997, 147, 1–23. [Google Scholar] [CrossRef]
  11. Chung, H.S. Basic fundamental formulas for Wiener transforms associated with a pair of operators on Hilbert space. Mathematics 2021, 9, 2738. [Google Scholar] [CrossRef]
  12. Chung, H.S. A matrix transform on function space with related topics. Filomat 2021, 35, 4459–4468. [Google Scholar] [CrossRef]
  13. Chung, H.S. A matrix-Wiener transform with related topics on Hilbert space. Turk. J. Math. 2022, 64, 1064–1077. [Google Scholar] [CrossRef]
  14. Chung, H.S. An integral transform via the bounded linear operators on abstract Wiener space. Filomat 2023, 37, 5541–5552. [Google Scholar] [CrossRef]
  15. Kim, B.S.; Skoug, D. Integral transforms of functionals in L2(C0[0,T]). Rocky Mountain J. Math. 2003, 33, 1379–1393. [Google Scholar] [CrossRef]
  16. Chang, S.J.; Chung, H.S. A recurrence formula with respect to the Cameron-Storvick type theorem of the T-transform. Integ. Trans. Spec. Funct. 2020, 31, 323–338. [Google Scholar] [CrossRef]
  17. Choi, J.G.; Chang, S.J. Bilateral Laplace-Feynman transform for cylinder functionals on Wiener space. Integ. Trans. Spec. Funct. 2014, 25, 148–162. [Google Scholar] [CrossRef]
  18. Gross, L. Measurable functions on Hilbert spaces. Tran. Amer. Math. Soc. 1962, 3, 372–390. [Google Scholar] [CrossRef]
  19. Gross, L. Abstract Wiener space. Proc. fifth, Berkeley Sym. Math. Stat. Prob. 1965, 2, 31–42. [Google Scholar]
  20. Gross, L. Potential theory on Hilbert space. J. Funct. Anal. 1967, 1, 123–181. [Google Scholar] [CrossRef]
  21. Lee, Y.J. Integral transforms of analytic functions on abstract Wiener spaces. J. Funct. Anal. 1982, 47, 153–164. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Chung, H.S. An Approximation Formula of the Integral Transform on Wiener Space. Axioms 2025, 14, 570. https://doi.org/10.3390/axioms14080570

AMA Style

Chung HS. An Approximation Formula of the Integral Transform on Wiener Space. Axioms. 2025; 14(8):570. https://doi.org/10.3390/axioms14080570

Chicago/Turabian Style

Chung, Hyun Soo. 2025. "An Approximation Formula of the Integral Transform on Wiener Space" Axioms 14, no. 8: 570. https://doi.org/10.3390/axioms14080570

APA Style

Chung, H. S. (2025). An Approximation Formula of the Integral Transform on Wiener Space. Axioms, 14(8), 570. https://doi.org/10.3390/axioms14080570

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop