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
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
, let
denote the classical Wiener space with the associated Wiener measure
. 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 of a functional F defined on given a functional G defined on , and establish the existence of the integral transform with some examples. Our integral transform shares certain similarities with the classical integral transform . However, there are many differences in results and properties between and on Euclidean space because, primarily because the Wiener measure is a probability measure. As a main result, we give an approximation formula of the integral transform . The main theorem of this paper demonstrates that the integral transform 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 . 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 be an n-tuple of with . Let be Lebesgue measurable and let F a functional of the formThen,where , 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 .
Definition 1. Let F be a functional on and let G be a functional on . The integral transform of F given G is defined by the formulaif it exists. In this case, the functional G is called the kernel of integral transform . Let
be the class of all functionals
F on
of the form
where
f is an infinitely differentiable function on
with
for some real numbers
and
.
Remark 1. Note that is a very rich class because 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 of F given the kernel G.
Theorem 2. Let and with and . Then, the integral transform of F given the kernel G exists, belongs to and is given by the formulawhere Proof. Using Equations (
1) and (
2), we have
Furthermore, the function
is infinitely differentiable since
g is an infinitely differentiable function, and using Equation (
4), we see that
where
and
. These tell us that
is in
, 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 . Then , where and . Hence . Thus, by Theorem 2, the integral transform exists, and using Equation (5), we havewhere and denotes the Fourier-transform of f. Example 2 (The kernel of the Hartley transform).
Let F and G be as in Theorem 2. Let . Then , where and . Hence . Thus, by Theorem 2, the integral transform exists, and using Equation (5), we haveIn fact,provided . Example 3 (The kernel of the Weierstrass transform).
Let F and G be as in Theorem 2. Let . Then , where and . Hence . Thus, by Theorem 2, the integral transform exists and using Equation (5), we haveIn fact,provided . Example 4 (The kernel of the exponential weighted transform).
Let F and G be as in Theorem 2. Let . Then , where and . Hence . Thus, by Theorem 2, the integral transform exists and using Equation (5), we haveIn fact,provided where because for all . 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
with
for some real numbers
and
. For a
, let
Then
always exists for all
because
In Lemma 1 below, we establish an integration formula.
Lemma 1. Let F be an element of with . Then for a non-negative integer s, we have Proof. Using Equations (
1) and (
6), we have
From Equation (
7), we see that (
8) always exists. □
Remark 2. We shall explain the concept of the Taylor series at of two variable function. Let g be an infinitely differentiable function on with the convergence radius set to infinity. Then we have the following expression:whereandfor 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 of given exists.
Lemma 2. Let . Let be as in Equation (10) and let . Then G is in andwhere . Proof. Since
and
, from Theorem 2, the integral transform
of
F exists and it is an element of
. We shall now prove equality in Equation (
11) holds. Using Equations (
1), (
2) and (
10), we have
which completes the proof of the Lemma 2. □
We next give a convergence formula for the kernel functionals.
Lemma 3. Let and let , where g is as in Remark 2 and is as in Lemma 2. Thenin the sense of . Proof. First, we note that
Now, let
Then we see that
We next use Equations (
9), (
10) and (
1) to establish Equation (
12). Then one can see that
Thus, using the Dominated convergence theorem, we can conclude that
in the sense of
. 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
of
F given
G.
Theorem 3 (Approximation formula of the integral transform).
Let F be as in Lemma 2 and let G and be as in Lemma 3. Then the integral transform of F given G exists and is given by the formulain the sense of . Proof. Using Equations (
2) and (
12), we have
as
. Hence we have the desired result. □
We give a few examples to explain the usefulness of Theorem 3 above.
Example 5. Let and let . Then and we see thatfor . Hence using Equation (13), we havein the sense of , wherewherefor . Example 6. Let and let . Then and we see thatHence using Equation (13), we havein the sense of , where Example 7. Let and let . Then and we see that using Equation (13), we havein the sense of , wherewhere for .
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.