Basic Fundamental Formulas for Wiener Transforms Associated with a Pair of Operators on Hilbert Space

Abstract

Segal introduce the Fourier–Wiener transform for the class of polynomial cylinder functions on Hilbert space, and Hida then develop this concept. Negrin define the extended Wiener transform with Hayker et al. In recent papers, Hayker et al. establish the existence, the composition formula, the inversion formula, and the Parseval relation for the Wiener transform. But, they do not establish homomorphism properties for the Wiener transform. In this paper, the author establishes some basic fundamental formulas for the Wiener transform via some concepts and motivations introduced by Segal and used by Hayker et al. We then state the usefulness of basic fundamental formulas as some applications.

1. Introduction

Let X be a normed space and let T be a operator on X. In functional analysis theory and algebraic structures, the homomorphism properties

$$T(f\ast g)=T\left(f\right)T\left(g\right)$$

(1)

and

$$\left(T\right(f)\ast T(g\left)\right)=T\left(fg\right)$$

(2)

are very important subjects to various fields of mathematics for $f,g\in X$, where ∗ denotes a corresponding convolution product of T.

In [1,2,3], Segal introduce the Fourier–Wiener transform for the class of polynomial cylinder functions on Hilbert space. Hida then develop this concept via the Fourier analysis on the dual space of nuclear spaces [4,5]. In addition, Negrin obtain an explicit integral representation of the second quantization by use of an integral operator and hence the Wiener transform [6] is extended. Later, Hayker et al. analyze and study some results and formulas of them via the matrix expressions [7].

In [8,9], the authors establish the existence, the composition formula, the inversion formula and the parseval relationship for the Wiener transform. But, they do not establish homomorphism properties (1) and (2) for the Wiener transform.

In this paper, we shall establish homomorphism properties for the Wiener transform. In addition, we obtain an integration by parts formula, and give some applications of it with respect to the Wiener transform. Our integration by parts formula takes a different form than in the Euclidean space. The reason is that the measure used in this paper is a probability measure, unlike the Lebesgue measure.

2. Definitions and Preliminaries

In this section, we first state some definitions and notations to understand the paper.

Let ${\mathbf{H}}^{\prime }$ be a real Hilbert space and $\mathbf{H}$ be a complexification of ${\mathbf{H}}^{\prime }$. The inner product on $\mathbf{H}$ is given by the formula

$${⟨x+iy,x^{\prime }+i{y}^{\prime }⟩}_{\mathbf{H}}={⟨x,x^{\prime }⟩}_{{\mathbf{H}}^{\prime }}+{⟨y,y^{\prime }⟩}_{{\mathbf{H}}^{\prime }}+i{⟨y,x^{\prime }⟩}_{{\mathbf{H}}^{\prime }}-i{⟨x,y^{\prime }⟩}_{{\mathbf{H}}^{\prime }}.$$

Let A and B be operators defined on $\mathbf{H}$ such that there exists an orthonormal basis $\mathcal{B}={\left\{e_{\alpha }\right\}}_{\alpha \in \mathcal{A}}$ of $\mathbf{H}$ ($\mathcal{A}$ being some index set) consisting of elements of $\mathbf{H}$ with

$$A{e}_{\alpha }={\mu }_{\alpha }{e}_{\alpha },B{e}_{\alpha }={\lambda }_{\alpha }{e}_{\alpha }$$

(3)

for some complex numbers ${\mu }_{\alpha }$ and ${\lambda }_{\alpha }$. Then we note that for each $x\in \mathbf{H}$,

$$x=\sum _{\alpha \in \mathcal{A}}{⟨x,e_{\alpha }⟩}_{\mathbf{H}}{e}_{\alpha }$$

and so

$$Ax=\sum _{\alpha \in \mathcal{A}}{⟨x,e_{\alpha }⟩}_{\mathbf{H}}{\mu }_{\alpha }{e}_{\alpha }$$

and

$$Bx=\sum _{\alpha \in \mathcal{A}}{⟨x,e_{\alpha }⟩}_{\mathbf{H}}{\lambda }_{\alpha }{e}_{\alpha }.$$

We now state a class of functions used in this paper.

Definition 1.

Let f be a polynomial function on ${\mathbf{H}}^{\prime }$ defined by the formula

$$f\left(x\right)={⟨x,e_{{\alpha }_1}⟩}_{\mathbf{H}}^{n_1}{⟨x,e_{{\alpha }_2}⟩}_{\mathbf{H}}^{n_2}\cdots {⟨x,e_{{\alpha }_r}⟩}_{\mathbf{H}}^{n_r}$$

(4)

where $n_1,\cdots ,n_r\in \mathbb{N}\cup \left\{0\right\}$. Let $\mathcal{P}$ be the space of all complex-valued polynomial on ${\mathbf{H}}^{\prime }$.

We are ready to state definitions of the Wiener transform, the convolution product and the first variation for functions in $\mathcal{P}$.

Definition 2.

For each pair of operators A and B on $\mathbf{H}$, we define the Wiener transform ${\mathcal{F}}_{c,A,B}\left(f\right)$ of f by the formula

$${\mathcal{F}}_{c,A,B}\left(f\right)\left(y\right)={{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}f(Ax+By)d{g}_c\left(x\right)$$

(5)

where f is in $\mathcal{P}$ and the integration on ${\mathbf{H}}^{\prime }$ is performed with respect to the normalized distribution $g_c$ of the variance parameter $c>0$. In addition, we define the convolution product ${(f_1\ast f_2)}_A$ of $f_1$ and $f_2$ by the formula

$${(f_1\ast f_2)}_A\left(y\right)={{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}{f}_1\left(\frac{y+Ax}{\sqrt{2}}\right)f_2\left(\frac{y-Ax}{\sqrt{2}}\right)d{g}_c\left(x\right)$$

(6)

and the first variation ${\delta }_{B}f$ of f is defined by the formula

$${\delta }_{B}f\left(x\right|u)=\frac{\partial }{\partial k}f(x+kBu){|}_{k=0}$$

(7)

where $f,f_1,f_2\in \mathcal{P}$ if they exist.

3. Existence

In this section, we establish the existence of the convolution product and the first variation for function f of the form (4). Before doing this, we give a theorem for some formulas with respect to the Wiener transform ${\mathcal{F}}_{c,A,B}$ which are established by Hayker et al. [9].

Theorem 1.

Let $A,B,A^{\prime },B^{\prime },A^{″}$ and $B^{″}$ be operators on $\mathbf{H}$ given by

$$\begin{array}{l}A{e}_{\alpha }={\mu }_{\alpha }{e}_{\alpha },B{e}_{\alpha }={\lambda }_{\alpha }{e}_{\alpha },A^{\prime }{e}_{\alpha }={\mu }_{\alpha }^{\prime }{e}_{\alpha },B^{\prime }{e}_{\alpha }={\lambda }_{\alpha }^{\prime }{e}_{\alpha }\\ A^{″}{e}_{\alpha }={\mu }_{\alpha }^{″}{e}_{\alpha },B^{″}{e}_{\alpha }={\lambda }_{\alpha }^{″}{e}_{\alpha }\end{array}$$

where ${\mu }_{\alpha },{\mu }_{\alpha }^{\prime },{\mu }_{\alpha }^{″},{\lambda }_{\alpha },{\lambda }_{\alpha }^{\prime }$ and ${\lambda }_{\alpha }^{″}$ are complex numbers. Then we have the following assertions.

 (a)

(Existence): for any $f\in \mathcal{P}$,

$${\mathcal{F}}_{c,A,B}\left(f\right)\left(y\right)={\displaystyle \prod _{j=1}^r}\left({\displaystyle \sum _{p=0}^{[n_j/2]}}{}_{n_j}{C}_p{\mu }_{{\alpha }_j}^{2p}{\lambda }_{{\alpha }_j}^{n_j-2p}{⟨y,e_{{\alpha }_j}⟩}_{\mathbf{H}}^{n_j-2p}\frac{\left(2p\right)!}{p!}{\left(\frac{c}{2}\right)}^p\right)$$

(8)

and ${\mathcal{F}}_{c,A,B}\left(f\right)\in \mathcal{P}$.

 (b)

(Composition formula [9], Theorem 1):

$${\mathcal{F}}_{c,A^{\prime },B^{\prime }}\left({\mathcal{F}}_{c,A,B}\left(f\right)\right)\left(y\right)={\mathcal{F}}_{c,A^{″},B^{″}}\left(f\right)\left(y\right)$$

if and only if

$${\mu }_{\alpha }^2+{\left({\mu }_{\alpha }^{\prime }{\lambda }_{\alpha }\right)}^2={\left({\mu }_{\alpha }^{″}\right)}^{2}and{\lambda }_{\alpha }{\lambda }_{\alpha }^{\prime }={\lambda }_{\alpha }^{″}$$

for $\alpha \in \mathcal{A}$.

 (c)

(Inversion formula [9], Corollary 2):

$${\mathcal{F}}_{c,A^{\prime },B^{\prime }}\left({\mathcal{F}}_{c,A,B}\left(f\right)\right)\left(y\right)=f\left(y\right)$$

(9)

if and only if

$${\mu }_{\alpha }^2+{\left({\mu }_{\alpha }^{\prime }{\lambda }_{\alpha }\right)}^2=0and{\lambda }_{\alpha }{\lambda }_{\alpha }^{\prime }=1$$

for $\alpha \in \mathcal{A}$.

 (d)

(Parseval relation [9], Theorem 2):

$${{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}{\mathcal{F}}_{c,A,B}\left(f_1\right)\left(y\right)f_2\left(y\right)d{g}_c\left(y\right)={{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}{\mathcal{F}}_{c,A,B}\left(f_2\right)\left(y\right)f_1\left(y\right)d{g}_c\left(y\right)$$

if and only if

$${\mu }_{\alpha }^2+{\lambda }_{\alpha }^2=1$$

for $\alpha \in \mathcal{A}$. Furthermore, they show that it can be extended to the Unitary extension.

We shall obtain the existence of the convolution product and the first variation. To do this, we need an observation as below.

Remark 1.

For any $f_1$ and $f_2$ in $\mathcal{P}$, we can always express $f_1$ by Equation (4) and $f_2$ by

$$f_2\left(x\right)={⟨x,e_{{\alpha }_1}⟩}_{\mathbf{H}}^{m_1}{⟨x,e_{{\alpha }_2}⟩}_{\mathbf{H}}^{m_2}\cdots {⟨x,e_{{\alpha }_r}⟩}_{\mathbf{H}}^{m_r}$$

(10)

using the same nonnegative integer r and ${\alpha }_j$’s. Because, if $f_1\left(x\right)={⟨x,e_{{\alpha }_1}⟩}_{\mathbf{H}}^{n_1}{⟨x,e_{{\alpha }_3}⟩}_{\mathbf{H}}^{n_3}$ and $f_2\left(x\right)={⟨x,e_{{\alpha }_1}⟩}_{\mathbf{H}}^{n_1}{⟨x,e_{{\alpha }_2}⟩}_{\mathbf{H}}^{n_2}$, then we can set

$$f_1\left(x\right)={⟨x,e_{{\alpha }_1}⟩}_{\mathbf{H}}^{n_1}{⟨x,e_{{\alpha }_2}⟩}_{\mathbf{H}}^0{⟨x,e_{{\alpha }_3}⟩}_{\mathbf{H}}^{n_3}$$

and

$$f_2\left(x\right)={⟨x,e_{{\alpha }_1}⟩}_{\mathbf{H}}^{m_1}{⟨x,e_{{\alpha }_2}⟩}_{\mathbf{H}}^{m_2}{⟨x,e_{{\alpha }_3}⟩}_{\mathbf{H}}^0.$$

In addition, if $f_1\left(x\right)={⟨x,e_{\alpha }⟩}_{\mathbf{H}}^n$ and $f_2\left(x\right)={⟨x,e_{\beta }⟩}_{\mathbf{H}}^m$ for $n\ne m$, then we can set

$$f_1\left(x\right)={⟨x,e_{{\gamma }_1}⟩}_{\mathbf{H}}^{n_1}{⟨x,e_{{\gamma }_2}⟩}_{\mathbf{H}}^0$$

and

$$f_2\left(x\right)={⟨x,e_{{\gamma }_1}⟩}_{\mathbf{H}}^{m_1}{⟨x,e_{{\gamma }_2}⟩}_{\mathbf{H}}^0$$

where ${\gamma }_1=\alpha ,{\gamma }_2=\beta ,n_1=n,n_2=0,m_1=0$ and $m_2=m$.

In Theorem 1, we obtain the existence of the convolution product and the first variation for functions in $\mathcal{P}$.

Theorem 2.

Let $f_1$ and $f_2$ be elements of $\mathcal{P}$ and A as in Theorem 1. Then the convolution product ${(f_1\ast f_2)}_A$ of $f_1$ and $f_2$ exists, belongs to $\mathcal{P}$ and is given by the formula

$$\begin{array}{l}{(f_1\ast f_2)}_A\left(y\right)\\ ={\left(\frac{1}{2\pi c}\right)}^{\frac{r}{2}}{\displaystyle \prod _{j=1}^r}[{{\displaystyle \int }}_{\mathbb{R}}{\left(\frac{1}{\sqrt{2}}{⟨y,e_{{\alpha }_j}⟩}_{\mathbf{H}}+\frac{{\lambda }_{{\alpha }_j}}{\sqrt{2}}{u}_j\right)}^{n_j}\\ \times {\left(\frac{1}{\sqrt{2}}{⟨y,e_{{\alpha }_j}⟩}_{\mathbf{H}}-\frac{{\lambda }_{{\alpha }_j}}{\sqrt{2}}{u}_j\right)}^{m_j}exp\left\{-\frac{u_j^2}{2c}\right\}d{u}_j].\end{array}$$

(11)

Furthermore, the first variation ${\delta }_{A}f$ of f exists, belongs to $\mathcal{P}$ and is given by the formula

$${\delta }_{A}f\left(x\right|u)={\displaystyle \sum _{j=1}^r}{n}_j{\lambda }_{{\alpha }_j}{⟨u,e_{{\alpha }_j}⟩}_{\mathbf{H}}{f}_j\left(x\right)$$

(12)

where

$$f_j\left(x\right)={⟨x,e_{{\alpha }_1}⟩}_{\mathbf{H}}^{n_1}\times \cdots \times {⟨x,e_{{\alpha }_j}⟩}_{\mathbf{H}}^{n_j-1}\times \cdots \times {⟨x,e_{{\alpha }_r}⟩}_{\mathbf{H}}^{n_r}.$$

(13)

Proof. 

Using Equations (5) and (6), we have

$$\begin{array}{l}{(f_1\ast f_2)}_A\left(y\right)\\ ={{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}{\displaystyle \prod _{j=1}^r}{\left(\frac{1}{\sqrt{2}}{⟨y,e_{{\alpha }_j}⟩}_{\mathbf{H}}+\frac{{\lambda }_{{\alpha }_j}}{\sqrt{2}}{⟨x,e_{{\alpha }_j}⟩}_{\mathbf{H}}\right)}^{n_j}{\left(\frac{1}{\sqrt{2}}{⟨y,e_{{\alpha }_j}⟩}_{\mathbf{H}}-\frac{{\lambda }_{{\alpha }_j}}{\sqrt{2}}{⟨x,e_{{\alpha }_j}⟩}_{\mathbf{H}}\right)}^{m_j}d{g}_c\left(x\right)\\ ={\left(\frac{1}{2\pi c}\right)}^{\frac{r}{2}}{\displaystyle \prod _{j=1}^r}\left[{{\displaystyle \int }}_{\mathbb{R}}{\left(\frac{1}{\sqrt{2}}{v}_j+\frac{{\lambda }_{{\alpha }_j}}{\sqrt{2}}{u}_j\right)}^{n_j}{\left(\frac{1}{\sqrt{2}}{v}_j-\frac{{\lambda }_{{\alpha }_j}}{\sqrt{2}}{u}_j\right)}^{m_j}exp\left\{-\frac{u_j^2}{2c}\right\}d{u}_j\right]\end{array}$$

where $v_j={⟨y,e_{{\alpha }_j}⟩}_{\mathbf{H}}$ for $j=1,2,\cdots ,r$. The last integral always exists because

$${{\displaystyle \int }}_{\mathbb{R}}p\left(u\right)exp\left\{-\frac{u_j^2}{2c}\right\}du<\infty$$

for any polynomial function p. In addition, it is a polynomial in the variables

$${⟨y,e_{{\alpha }_1}⟩}_{\mathbf{H}},\cdots ,{⟨y,e_{{\alpha }_r}⟩}_{\mathbf{H}}.$$

We next establish Equation (12). From Equation (7), we have

$$\begin{array}{ll}{\delta }_{A}f\left(x\right|u)& =\frac{\partial }{\partial k}{\displaystyle \prod _{j=1}^r}{({⟨x,e_{{\alpha }_j}⟩}_{\mathbf{H}}+k{\lambda }_{{\alpha }_j}{⟨u,e_{{\alpha }_j}⟩}_{\mathbf{H}})}^{n_j}{|}_{k=0}\\ & ={\displaystyle \sum _{j=1}^r}{n}_j{\lambda }_{{\alpha }_j}{⟨u,e_{{\alpha }_j}⟩}_{\mathbf{H}}{f}_j\left(x\right).\end{array}$$

Finally, ${\delta }_{A}f$ is in $\mathcal{P}$ since $f_j\in \mathcal{P}$ for all $j=1,2\cdots ,r$. □

4. Homomorphism Properties and Basic Relationships

In this section, we establish some basic relationships among the Wiener transform, the convolution product and the first variation.

Theorem 3 tells us that the Wiener transform of the convolution product is the product of their Wiener transforms.

Theorem 3.

Let $f_1,f_2,A,B$ and $A^{\prime }$ be as in Theorem 1. Then

$${\mathcal{F}}_{c,A,B}{(f_1\ast f_2)}_A\left(y\right)={\mathcal{F}}_{c,A,B}\left(f_1\right)\left(\frac{y}{\sqrt{2}}\right){\mathcal{F}}_{c,A,B}\left(f_2\right)\left(\frac{y}{\sqrt{2}}\right).$$

(14)

Furthermore, under the hypothesis of Theorem 1, we have

$${({\mathcal{F}}_{c,A,B}\left(f_1\right)\ast {\mathcal{F}}_{c,A,B}\left(f_2\right))}_{A^{\prime }}\left(y\right)={\mathcal{F}}_{c,A,B}\left(f_1\left(\frac{·}{\sqrt{2}}\right)f_2\left(\frac{·}{\sqrt{2}}\right)\right)\left(y\right).$$

(15)

Proof. 

Using Equations (2), (6) and (11), we have

$$\begin{array}{l}{\mathcal{F}}_{c,A,B}{(f_1\ast f_2)}_A\left(y\right)\\ ={{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}{{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}{f}_1\left(\frac{Ax+By+Az}{\sqrt{2}}\right)f_2\left(\frac{Ax+By-Az}{\sqrt{2}}\right)d{g}_c\left(x\right)d{g}_c\left(z\right)\\ ={{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}{{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}{\displaystyle \prod _{j=1}^r}{\left(\frac{{\lambda }_{{\alpha }_j}}{\sqrt{2}}{⟨x,e_{{\alpha }_j}⟩}_{\mathbf{H}}+\frac{{\mu }_{{\alpha }_j}}{\sqrt{2}}{⟨y,e_{{\alpha }_j}⟩}_{\mathbf{H}}+\frac{{\lambda }_{{\alpha }_j}}{\sqrt{2}}{⟨z,e_{{\alpha }_j}⟩}_{\mathbf{H}}\right)}^{n_j}\\ \times {\displaystyle \prod _{j=1}^r}{\left(\frac{{\lambda }_{{\alpha }_j}}{\sqrt{2}}{⟨x,e_{{\alpha }_j}⟩}_{\mathbf{H}}+\frac{{\mu }_{{\alpha }_j}}{\sqrt{2}}{⟨y,e_{{\alpha }_j}⟩}_{\mathbf{H}}-\frac{{\lambda }_{{\alpha }_j}}{\sqrt{2}}{⟨z,e_{{\alpha }_j}⟩}_{\mathbf{H}}\right)}^{m_j}d{g}_c\left(x\right)d{g}_c\left(z\right)\\ ={\left(\frac{1}{2\pi c}\right)}^r{{\displaystyle \int }}_{{\mathbb{R}}^r}{{\displaystyle \int }}_{{\mathbb{R}}^r}{\displaystyle \prod _{j=1}^r}{\left(\frac{{\lambda }_{{\alpha }_j}}{\sqrt{2}}{u}_j+\frac{{\mu }_{{\alpha }_j}}{\sqrt{2}}{v}_j+\frac{{\lambda }_{{\alpha }_j}}{\sqrt{2}}{w}_j\right)}^{n_j}\\ \times {\displaystyle \prod _{j=1}^r}{\left(\frac{{\lambda }_{{\alpha }_j}}{\sqrt{2}}{u}_j+\frac{{\mu }_{{\alpha }_j}}{\sqrt{2}}{v}_j-\frac{{\lambda }_{{\alpha }_j}}{\sqrt{2}}{w}_j\right)}^{m_j}exp\left\{-{\displaystyle \sum _{j=1}^r}\frac{u_j^2+w_j^2}{2c}\right\}d\overrightarrow{u}d\overrightarrow{w}\end{array}$$

where $v_j={⟨y,e_{{\alpha }_j}⟩}_{\mathbf{H}}$ for $j=1,2,\cdots ,r$. Now let $u_j^{\prime }=\frac{u_j+w_j}{\sqrt{2}}$ and $w_j^{\prime }=\frac{u_j-w_j}{\sqrt{2}}$ for $j=1,2,\cdots ,r$. Then we have

$$\begin{array}{l}{\mathcal{F}}_{c,A,B}{(f_1\ast f_2)}_A\left(y\right)\\ ={\left(\frac{1}{2\pi c}\right)}^r{{\displaystyle \int }}_{{\mathbb{R}}^r}{{\displaystyle \int }}_{{\mathbb{R}}^r}{\displaystyle \prod _{j=1}^r}{\left({\lambda }_{{\alpha }_j}{u}_j^{\prime }+\frac{{\mu }_{{\alpha }_j}}{\sqrt{2}}{v}_j\right)}^{n_j}\\ \times {\displaystyle \prod _{j=1}^r}{\left({\lambda }_{{\alpha }_j}{w}_j^{\prime }+\frac{{\mu }_{{\alpha }_j}}{\sqrt{2}}{v}_j\right)}^{m_j}exp\left\{-{\displaystyle \sum _{j=1}^r}\frac{{\left(u_j^{\prime }\right)}^2+{\left(w_j^{\prime }\right)}^2}{2c}\right\}d\overrightarrow{u^{\prime }}d\overrightarrow{w^{\prime }}\\ ={\left(\frac{1}{2\pi c}\right)}^{\frac{r}{2}}{{\displaystyle \int }}_{{\mathbb{R}}^r}{\displaystyle \prod _{j=1}^r}{\left({\lambda }_{{\alpha }_j}{u}_j^{\prime }+\frac{{\mu }_{{\alpha }_j}}{\sqrt{2}}{v}_j\right)}^{n_j}exp\left\{-{\displaystyle \sum _{j=1}^r}\frac{{\left(u_j^{\prime }\right)}^2}{2c}\right\}d\overrightarrow{u^{\prime }}\\ \times {\left(\frac{1}{2\pi c}\right)}^{\frac{r}{2}}{{\displaystyle \int }}_{{\mathbb{R}}^r}{\displaystyle \prod _{j=1}^r}{\left({\lambda }_{{\alpha }_j}{w}_j^{\prime }+\frac{{\mu }_{{\alpha }_j}}{\sqrt{2}}{v}_j\right)}^{m_j}exp\left\{-{\displaystyle \sum _{j=1}^r}\frac{{\left(w_j^{\prime }\right)}^2}{2c}\right\}d\overrightarrow{w^{\prime }}\end{array}$$

where $v_j={⟨y,e_{{\alpha }_j}⟩}_{\mathbf{H}}$ for $j=1,2,\cdots ,r$. Hence, using Equation (8), we can conclude that

$${\mathcal{F}}_{c,A,B}{(f_1\ast f_2)}_A\left(y\right)={\mathcal{F}}_{c,A,B}\left(f_1\right)\left(\frac{y}{\sqrt{2}}\right){\mathcal{F}}_{c,A,B}\left(f_2\right)\left(\frac{y}{\sqrt{2}}\right).$$

In addition, using Equation (9), we have

$$\begin{array}{l}{\mathcal{F}}_{c,A^{\prime },B^{\prime }}{({\mathcal{F}}_{c,A,B}\left(f_1\right)\ast {\mathcal{F}}_{c,A,B}\left(f_2\right))}_{A^{\prime }}\left(y\right)\\ ={\mathcal{F}}_{c,A^{\prime },B^{\prime }}\left({\mathcal{F}}_{c,A,B}\left(f_1\right)\right)\left(\frac{y}{\sqrt{2}}\right){\mathcal{F}}_{c,A^{\prime },B^{\prime }}\left({\mathcal{F}}_{c,A,B}\left(f_2\right)\right)\left(\frac{y}{\sqrt{2}}\right)\\ =f_1\left(\frac{y}{\sqrt{2}}\right)f_2\left(\frac{y}{\sqrt{2}}\right),\end{array}$$

which yields Equation (15) as desired, where ${\mathcal{F}}_{c,A^{\prime },B^{\prime }}$ is as in Theorem 1. □

In our next theorem, we show that the Wiener transform and the first variation are commutable.

Theorem 4.

Let f be as in Theorem 1 and let A and B be as in Theorem 1. Let S be an operator on $\mathbf{H}$ with $S{e}_{\alpha }={\gamma }_{\alpha }{e}_{\alpha }$ for $\alpha \in \mathcal{A}$. Then

$${\delta }_S{\mathcal{F}}_{c,A,B}\left(f\right)\left(y\right|u)={\mathcal{F}}_{c,A,B}\left({\delta }_{BS}f(·|u)\right)\left(y\right).$$

(16)

Proof. 

Using Equations (5) and (7), we have

$$\begin{array}{l}{\delta }_S{\mathcal{F}}_{c,A,B}\left(f\right)\left(y\right|u)\\ =\frac{\partial }{\partial k}{\mathcal{F}}_{c,A,B}\left(f\right)(u+kSu){|}_{k=0}\\ =\frac{\partial }{\partial k}{{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}f(Ax+By+kBSu)d{g}_c\left(x\right){|}_{k=0}\\ =\frac{\partial }{\partial k}{{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}{\displaystyle \prod _{j=1}^r}{({\lambda }_{{\alpha }_j}{⟨x,e_{{\alpha }_j}⟩}_{\mathbf{H}}+{\mu }_{{\alpha }_j}{⟨y,e_{{\alpha }_j}⟩}_{\mathbf{H}}+k{\mu }_{{\alpha }_j}{\gamma }_{{\alpha }_j}{⟨u,e_{{\alpha }_j}⟩}_{\mathbf{H}})}^{n_j}d{g}_c\left(x\right){|}_{k=0}\\ ={\displaystyle \sum _{j=1}^r}{n}_j{\mu }_{{\alpha }_j}{\gamma }_{{\alpha }_j}{⟨u,e_{{\alpha }_j}⟩}_{\mathbf{H}}{\mathcal{F}}_{c,A,B}\left(f_j\right)\left(y\right)\end{array}$$

where $f_j$ is as in Equation (13). We next use Equations (5) and (7) again to get

$$\begin{array}{l}{\mathcal{F}}_{c,A,B}\left({\delta }_{S}f(·|u)\right)\left(y\right)\\ ={{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}\frac{\partial }{\partial k}f(Ax+By+kSu){|}_{k=0}d{g}_c\left(x\right)\\ =\frac{\partial }{\partial k}{{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}{\displaystyle \prod _{j=1}^r}{({\lambda }_{{\alpha }_j}{⟨x,e_{{\alpha }_j}⟩}_{\mathbf{H}}+{\mu }_{{\alpha }_j}{⟨y,e_{{\alpha }_j}⟩}_{\mathbf{H}}+k{\gamma }_{{\alpha }_j}{⟨u,e_{{\alpha }_j}⟩}_{\mathbf{H}})}^{n_j}d{g}_c\left(x\right){|}_{k=0}\\ ={\displaystyle \sum _{j=1}^r}{n}_j{\gamma }_{{\alpha }_j}{⟨u,e_{{\alpha }_j}⟩}_{\mathbf{H}}{\mathcal{F}}_{c,A,B}\left(f_j\right)\left(y\right)\end{array}$$

where $f_j$ is as in Equation (13). Comparing two expressions, we obtain Equation (16) as desired. □

From Equations (14) and (16) in Theorems 3 and 4, we have the following basic relationships.

Theorem 5.

Let $f_1$ and $f_2$ be as in Theorem 3. Let A and B as in Theorem 1 and let S as in Theorem 4. Then we have

$$\delta {(f_1\ast f_2)}_S\left(y\right|u)={(\delta f_1(·|u/\sqrt{2})\ast f_2)}_S\left(y\right)+{(f_1\ast \delta f_2(·|u/\sqrt{2}))}_S\left(y\right),$$

(17)

$$\begin{array}{l}{\mathcal{F}}_{c,A,B}{({\delta }_{BS}{f}_1(·|u)\ast {\delta }_{BS}{f}_2(·|u))}_A\left(y\right)\\ ={\delta }_S{\mathcal{F}}_{c,A,B}{f}_1(y/\sqrt{2}|u){\delta }_S{\mathcal{F}}_{c,A,B}{f}_2(y/\sqrt{2}|u),\end{array}$$

(18)

$$\begin{array}{l}{\mathcal{F}}_{c,A,B}\left({\delta }_{BS}{(f_1\ast f_2)}_A(·|u)\right)\left(y\right)\\ ={\delta }_S\left({\mathcal{F}}_{c,A,B}{f}_1(·/\sqrt{2}){\mathcal{F}}_{c,A,B}{f}_2(·/\sqrt{2})\right)\left(y\right|u)\\ ={\delta }_S{\mathcal{F}}_{c,A,B}{(f_1\ast f_2)}_A\left(y\right|u)\end{array}$$

(19)

and

$${({\mathcal{F}}_{c,A,B}{\delta }_{BS}{f}_1(·|u)\ast {\mathcal{F}}_{c,A,B}{\delta }_{BS}{f}_2(·|u))}_A\left(z\right)={({\delta }_S{\mathcal{F}}_{c,A,B}{f}_1(·|u)\ast {\delta }_S{\mathcal{F}}_{c,A,B}{f}_2(·|u))}_A\left(y\right).$$

(20)

Proof. 

We first note that Equation (17) follows directly from the definition of the first variation given by (7). Next we note that Equations (18) and (19) follow from Equations (14)–(16). Finally we note that Equation (20) follows immediately from Equations (14) and (16). □

5. Integration by Parts Formula with an Application

In this section, we obtain an integration by part formula, and give an application with respect to the Wiener transform.

Since the Lebesgue measure $m_L$ on ${\mathbb{R}}^r$ is an uniform measure and so we see that

$${{\displaystyle \int }}_{{\mathbb{R}}^r}h(\overrightarrow{u}+\overrightarrow{v})d{m}_L\left(\overrightarrow{u}\right)={{\displaystyle \int }}_{{\mathbb{R}}^r}h\left(\overrightarrow{w}\right)d{m}_L\left(\overrightarrow{w}\right)$$

by substitution for $w_j=u_j+v_j$ for $j=1,2,\cdots ,r$ if the integrals exist. It is called the translation theorem for the Lebesgue integrals. However, the distribution measure $g_c$ used in this paper is the Gaussian measure and hence, in generally,

$${{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}h(x+y)d{g}_c\left(x\right)\ne {{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}h\left(z\right)d{g}_c\left(z\right)$$

even if the integrals exist, see [10,11,12,13,14]. For this reason, a different form of formula is obtained in this paper.

Lemma 1.

Let s be a non-negative integer and let p be a function on $\mathbf{H}$ defined by the formula

$$p\left(x\right)={⟨x,e_{\alpha }⟩}_{\mathbf{H}}^s$$

(21)

for some $e_{\alpha }\in \mathcal{B}$. Then for all $x_0\in {\mathbf{H}}^{\prime }$,

$$\begin{array}{l}{{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}p(x+x_0)d{g}_c\left(x\right)\\ =exp\left\{-\frac{1}{2c}{⟨x_0,e_{\alpha }⟩}_{\mathbf{H}}^2\right\}{{\displaystyle \int }}_{\mathbf{H}}p\left(x\right)exp\left\{\frac{1}{c}{⟨x,e_{\alpha }⟩}_{\mathbf{H}}{⟨x_0,e_{\alpha }⟩}_{{\mathbf{H}}^{\prime }}\right\}d{g}_c\left(x\right).\end{array}$$

(22)

Proof. 

We set $v={⟨x_0,e_{\alpha }⟩}_{\mathbf{H}}$. Using Equations (8) and (21), we have

$$\begin{array}{l}{{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}p(x+x_0)d{g}_c\left(x\right)\\ ={\left(\frac{1}{2\pi c}\right)}^{\frac{1}{2}}{{\displaystyle \int }}_{\mathbb{R}}{(u+v)}^{s}exp\left\{-\frac{u^2}{2c}\right\}du\\ ={\left(\frac{1}{2\pi c}\right)}^{\frac{1}{2}}{{\displaystyle \int }}_{\mathbb{R}}{w}^{s}exp\left\{-\frac{{(w-v)}^2}{2c}\right\}dw\\ =exp\left\{-\frac{1}{2c}{v}^2\right\}{\left(\frac{1}{2\pi c}\right)}^{\frac{1}{2}}{{\displaystyle \int }}_{\mathbb{R}}{w}^{s}exp\left\{-\frac{w^2}{2c}+\frac{1}{c}vw\right\}dw\\ =exp\left\{-\frac{1}{2c}{⟨x_0,e_{\alpha }⟩}_{\mathbf{H}}^2\right\}{{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}p\left(x\right)exp\left\{\frac{1}{c}{⟨x,e_{\alpha }⟩}_{\mathbf{H}}{⟨x_0,e_{\alpha }⟩}_{\mathbf{H}}\right\}d{g}_c\left(x\right).\end{array}$$

Hence, we have the desired result. □

In Theorem 6, we obtain a translation theorem for $\mathbf{H}$-integrals.

Theorem 6

(Translation theorem for $\mathbf{H}$-integrals). Let f be as in Equation (4) and let $x_0\in {\mathbf{H}}^{\prime }$. Then

$$\begin{array}{l}{{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}f(x+x_0)d{g}_c\left(x\right)\\ =exp\left\{-\frac{1}{2c}{\displaystyle \sum _{j=1}^r}{⟨x_0,e_{\alpha }⟩}_{\mathbf{H}}^2\right\}{{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}f\left(x\right)exp\left\{\frac{1}{c}{\displaystyle \sum _{j=1}^r}{⟨x,e_{{\alpha }_j}⟩}_{\mathbf{H}}{⟨x_0,e_{{\alpha }_j}⟩}_{\mathbf{H}}\right\}d{g}_c\left(x\right).\end{array}$$

(23)

Proof. 

First, by using fact that

$${{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}f\left(x\right)d{g}_c\left(x\right)={{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}{⟨x,e_{{\alpha }_1}⟩}_{\mathbf{H}}^{n_1}d{g}_c\left(x\right)\cdots {{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}{⟨x,e_{{\alpha }_r}⟩}_{\mathbf{H}}^{n_r}d{g}_c\left(x\right),$$

and Equation (22) in Lemma 1 we can establish Equation (23) as desired. □

The following theorem is one of main results in this paper.

Theorem 7

(Integration by parts formula). Let f be as in Theorem 6 and let S be as in Theorem 4. Then

$$\begin{array}{l}c{{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}{\delta }_{S}f\left(x\right|u)d{g}_c\left(x\right)\\ =c{{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}f\left(x\right)d{g}_c\left(x\right)+{{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}f\left(x\right){\displaystyle \sum _{j=1}^r}{\gamma }_{{\alpha }_j}{⟨x,e_{{\alpha }_j}⟩}_{\mathbf{H}}{⟨u,e_{{\alpha }_j}⟩}_{\mathbf{H}}d{g}_c\left(x\right).\end{array}$$

(24)

Proof. 

Using Equations (1) and (7), we have

$$\begin{array}{l}{{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}{\delta }_{S}f\left(x\right|u)d{g}_c\left(x\right)\\ =\frac{\partial }{\partial k}{{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}f(x+kSu)d{g}_c\left(x\right){|}_{k=0}\\ =\frac{\partial }{\partial k}[exp\left\{-\frac{k^2}{2c}{\displaystyle \sum _{j=1}^r}{\gamma }_{{\alpha }_j}^2{⟨u,e_{\alpha }⟩}_{\mathbf{H}}^2\right\}\\ \times {{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}f\left(x\right)exp\left\{\frac{k}{c}{\displaystyle \sum _{j=1}^r}{\gamma }_{{\alpha }_j}{⟨x,e_{{\alpha }_j}⟩}_{\mathbf{H}}{⟨u,e_{{\alpha }_j}⟩}_{\mathbf{H}}\right\}d{g}_c\left(x\right)]{|}_{k=0}\\ ={{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}f\left(x\right)d{g}_c\left(x\right)+\frac{1}{c}{{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}f\left(x\right){\displaystyle \sum _{j=1}^r}{\gamma }_{{\alpha }_j}{⟨x,e_{{\alpha }_j}⟩}_{\mathbf{H}}{⟨u,e_{{\alpha }_j}⟩}_{\mathbf{H}}d{g}_c\left(x\right),\end{array}$$

which yields Equation (24) as desired. □

Finally, we give an application of Theorem 7.

Theorem 8

(Application of Theorem 7). Let f and S be as in Theorem 7. Let A and B as in Theorem 5. Then

$$\begin{array}{l}c{\mathcal{F}}_{c,A,B}\left({\delta }_{A}f(·|u)\right)\left(y\right)\\ =c{\mathcal{F}}_{c,A,B}\left(f\right)\left(y\right)+{{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}f(Ax+By){\displaystyle \sum _{j=1}^r}{\gamma }_{{\alpha }_j}{⟨x,e_{{\alpha }_j}⟩}_{\mathbf{H}}{⟨u,e_{{\alpha }_j}⟩}_{\mathbf{H}}d{g}_c\left(x\right).\end{array}$$

(25)

Proof. 

Using Equations (5) and (7), we have

$${\mathcal{F}}_{c,A,B}\left({\delta }_{A}f(·|u)\right)\left(y\right)=\frac{\partial }{\partial k}{{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}f(Ax+By+kAu)d{g}_c\left(x\right){|}_{k=0}.$$

Now, let $f_y\left(x\right)=f(x+y)$ and $f^A\left(x\right)=f\left(Ax\right)$. Then

$$f(Ax+By+kAu)={\left(f_{By}\right)}^A(x+ku)$$

and, hence, using Equation (24) by replacing f with ${\left(f_{By}\right)}^A$, we have

$$\begin{array}{l}{\mathcal{F}}_{c,A,B}\left({\delta }_{A}f(·|u)\right)\left(y\right)\\ =\frac{\partial }{\partial k}{{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}{\left(f_{By}\right)}^A(x+ku)d{g}_c\left(x\right){|}_{k=0}\\ ={{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}{\left(f_{By}\right)}^A\left(x\right)d{g}_c\left(x\right)+\frac{1}{c}{{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}{\left(f_{By}\right)}^A\left(x\right){\displaystyle \sum _{j=1}^r}{\gamma }_{{\alpha }_j}{⟨x,e_{{\alpha }_j}⟩}_{\mathbf{H}}{⟨u,e_{{\alpha }_j}⟩}_{\mathbf{H}}d{g}_c\left(x\right)\\ ={\mathcal{F}}_{c,A,B}\left(f\right)\left(y\right)+\frac{1}{c}{{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}f(Ax+By){\displaystyle \sum _{j=1}^r}{\gamma }_{{\alpha }_j}{⟨x,e_{{\alpha }_j}⟩}_{\mathbf{H}}{⟨u,e_{{\alpha }_j}⟩}_{\mathbf{H}}d{g}_c\left(x\right).\end{array}$$

Hence, we have the desired results. □

6. Applications

In this section, we give some applications to apply our fundamental formulas obtained in previous sections.

6.1. Application of Theorem 3

We first give an application to illustrate the usefulness of Equations (14) and (15) in Theorem 3.

Example 1.

Let $r=2$. Let $f_1\left(x\right)={⟨x,e_{{\alpha }_2}⟩}^2$ and let $f_2\left(x\right)={⟨x,e_{{\alpha }_1}⟩}^2⟨x,e_{{\alpha }_2}⟩$. Let A and B be as in Theorem 3. From Equation (8) we have

$${\mathcal{F}}_{c,A,B}\left(f_1\right)\left(y\right)={\lambda }_{{\alpha }_2}^2{⟨y,e_{{\alpha }_2}⟩}_{\mathbf{H}}^2+2c{\mu }_{{\alpha }_2}^2$$

and

$${\mathcal{F}}_{c,A,B}\left(f_2\right)\left(y\right)=[{\lambda }_{{\alpha }_1}^2{⟨y,e_{{\alpha }_1}⟩}_{\mathbf{H}}^2+2c{\mu }_{{\alpha }_1}^2]\left[{\mu }_{{\alpha }_2}{⟨y,e_{{\alpha }_2}⟩}_{\mathbf{H}}\right].$$

Hence, using Equation (14), we have

$$\begin{array}{l}{\mathcal{F}}_{c,A,B}{(f_1\ast f_2)}_A\left(y\right)\\ =\left[\frac{{\lambda }_{{\alpha }_2}^2}{2}{⟨y,e_{{\alpha }_2}⟩}_{\mathbf{H}}^2+2c{\mu }_{{\alpha }_2}^2\right]\left[\frac{{\lambda }_{{\alpha }_1}^2}{2}{⟨y,e_{{\alpha }_1}⟩}_{\mathbf{H}}^2+2c{\mu }_{{\alpha }_1}^2\right]\left[\frac{{\mu }_{{\alpha }_2}}{\sqrt{2}}{⟨y,e_{{\alpha }_2}⟩}_{\mathbf{H}}\right].\end{array}$$

(26)

Furthermore, we note that

$$f_1\left(x\right)f_2\left(x\right)={⟨x,e_{{\alpha }_1}⟩}^2{⟨x,e_{{\alpha }_2}⟩}^3$$

and so

$$\begin{array}{l}{\mathcal{F}}_{c,A,B}\left(f_1\left(\frac{·}{\sqrt{2}}\right)f_2\left(\frac{·}{\sqrt{2}}\right)\right)\left(y\right)\\ =\left[\frac{{\lambda }_{{\alpha }_1}^2}{2}{⟨y,e_{{\alpha }_1}⟩}_{\mathbf{H}}^2+2c{\mu }_{{\alpha }_1}^2\right]\left[\frac{{\lambda }_{{\alpha }_2}^3}{2}{⟨y,e_{{\alpha }_2}⟩}_{\mathbf{H}}^3+\frac{3c({\mu }_{{\alpha }_2}^2+{\lambda }_{{\alpha }_2})}{\sqrt{2}}{⟨y,e_{{\alpha }_2}⟩}_{\mathbf{H}}\right].\end{array}$$

Hence, using Equation (15), we have

$$\begin{array}{l}{({\mathcal{F}}_{c,A,B}\left(f_1\right)\ast {\mathcal{F}}_{c,A,B}\left(f_2\right))}_{A^{\prime }}\left(y\right)\\ =\left[\frac{{\lambda }_{{\alpha }_1}^2}{2}{⟨y,e_{{\alpha }_1}⟩}_{\mathbf{H}}^2+2c{\mu }_{{\alpha }_1}^2\right]\left[\frac{{\lambda }_{{\alpha }_2}^3}{2}{⟨y,e_{{\alpha }_2}⟩}_{\mathbf{H}}^3+\frac{3c({\mu }_{{\alpha }_2}^2+{\lambda }_{{\alpha }_2})}{\sqrt{2}}{⟨y,e_{{\alpha }_2}⟩}_{\mathbf{H}}\right].\end{array}$$

These tell us that the Wiener transform of convolution product and the convolution product of Wiener transforms can be calculated without concept of convolution product very easily.

6.2. Application of Theorem 5

We next give an application of Equation (19) in Theorem 5.

Example 2.

Let $f_1,f_2,A$ and B be as in Example 1. Using Equation (26), we have

$$\begin{array}{l}{\delta }_S{\mathcal{F}}_{c,A,B}{(f_1\ast f_2)}_A\left(y\right|u)\\ =\frac{\partial }{\partial k}{\mathcal{F}}_{c,A,B}{(f_1\ast f_2)}_A(y+kSu){|}_{k=0}\\ =\frac{\partial }{\partial k}(\left[\frac{{\lambda }_{{\alpha }_2}^2}{2}{({⟨y,e_{{\alpha }_2}⟩}_{\mathbf{H}}+k{\gamma }_{{\alpha }_2}{⟨u,e_{{\alpha }_2}⟩}_{\mathbf{H}})}^2+2c{\mu }_{{\alpha }_2}^2\right]\\ \times \left[\frac{{\lambda }_{{\alpha }_1}^2}{2}{({⟨y,e_{{\alpha }_1}⟩}_{\mathbf{H}}+k{\gamma }_{{\alpha }_1}{⟨u,e_{{\alpha }_1}⟩}_{\mathbf{H}})}^2+2c{\mu }_{{\alpha }_1}^2\right]\\ \times \left[\frac{{\mu }_{{\alpha }_2}}{\sqrt{2}}({⟨y,e_{{\alpha }_2}⟩}_{\mathbf{H}}+k{\gamma }_{{\alpha }_2}{⟨u,e_{{\alpha }_2}⟩}_{\mathbf{H}})\right]){|}_{k=0}\\ ={\lambda }_{{\alpha }_2}^2{⟨u,e_{{\alpha }_2}⟩}_{\mathbf{H}}\left[\frac{{\lambda }_{{\alpha }_2}^2}{2}{⟨y,e_{{\alpha }_2}⟩}_{\mathbf{H}}^2+2c{\mu }_{{\alpha }_2}^2\right]\left[\frac{{\lambda }_{{\alpha }_1}^2}{2}{⟨y,e_{{\alpha }_1}⟩}_{\mathbf{H}}^2+2c{\mu }_{{\alpha }_1}^2\right]\left[\frac{{\mu }_{{\alpha }_2}}{\sqrt{2}}{⟨y,e_{{\alpha }_2}⟩}_{\mathbf{H}}\right]\\ +{\lambda }_{{\alpha }_1}^2{⟨u,e_{{\alpha }_1}⟩}_{\mathbf{H}}\left[\frac{{\lambda }_{{\alpha }_2}^2}{2}{⟨y,e_{{\alpha }_2}⟩}_{\mathbf{H}}^2+2c{\mu }_{{\alpha }_2}^2\right]\left[\frac{{\lambda }_{{\alpha }_1}^2}{2}{⟨y,e_{{\alpha }_1}⟩}_{\mathbf{H}}^2+2c{\mu }_{{\alpha }_1}^2\right]\left[\frac{{\mu }_{{\alpha }_2}}{\sqrt{2}}{⟨y,e_{{\alpha }_2}⟩}_{\mathbf{H}}\right]\\ +\frac{{\mu }_{{\alpha }_2}}{\sqrt{2}}{⟨u,e_{{\alpha }_1}⟩}_{\mathbf{H}}\left[\frac{{\lambda }_{{\alpha }_2}^2}{2}{⟨y,e_{{\alpha }_2}⟩}_{\mathbf{H}}^2+2c{\mu }_{{\alpha }_2}^2\right]\left[\frac{{\lambda }_{{\alpha }_1}^2}{2}{⟨y,e_{{\alpha }_1}⟩}_{\mathbf{H}}^2+2c{\mu }_{{\alpha }_1}^2\right]\left[\frac{{\mu }_{{\alpha }_2}}{\sqrt{2}}{⟨y,e_{{\alpha }_2}⟩}_{\mathbf{H}}\right].\end{array}$$

Using this, we obtain that

$$\begin{array}{l}{\mathcal{F}}_{c,A,B}\left({\delta }_{BS}{(f_1\ast f_2)}_A(·|u)\right)\left(y\right)\\ ={\lambda }_{{\alpha }_2}^2{⟨u,e_{{\alpha }_2}⟩}_{\mathbf{H}}\left[\frac{{\lambda }_{{\alpha }_2}^2}{2}{⟨y,e_{{\alpha }_2}⟩}_{\mathbf{H}}^2+2c{\mu }_{{\alpha }_2}^2\right]\left[\frac{{\lambda }_{{\alpha }_1}^2}{2}{⟨y,e_{{\alpha }_1}⟩}_{\mathbf{H}}^2+2c{\mu }_{{\alpha }_1}^2\right]\left[\frac{{\mu }_{{\alpha }_2}}{\sqrt{2}}{⟨y,e_{{\alpha }_2}⟩}_{\mathbf{H}}\right]\\ +{\lambda }_{{\alpha }_1}^2{⟨u,e_{{\alpha }_1}⟩}_{\mathbf{H}}\left[\frac{{\lambda }_{{\alpha }_2}^2}{2}{⟨y,e_{{\alpha }_2}⟩}_{\mathbf{H}}^2+2c{\mu }_{{\alpha }_2}^2\right]\left[\frac{{\lambda }_{{\alpha }_1}^2}{2}{⟨y,e_{{\alpha }_1}⟩}_{\mathbf{H}}^2+2c{\mu }_{{\alpha }_1}^2\right]\left[\frac{{\mu }_{{\alpha }_2}}{\sqrt{2}}{⟨y,e_{{\alpha }_2}⟩}_{\mathbf{H}}\right]\\ +\frac{{\mu }_{{\alpha }_2}}{\sqrt{2}}{⟨u,e_{{\alpha }_1}⟩}_{\mathbf{H}}\left[\frac{{\lambda }_{{\alpha }_2}^2}{2}{⟨y,e_{{\alpha }_2}⟩}_{\mathbf{H}}^2+2c{\mu }_{{\alpha }_2}^2\right]\left[\frac{{\lambda }_{{\alpha }_1}^2}{2}{⟨y,e_{{\alpha }_1}⟩}_{\mathbf{H}}^2+2c{\mu }_{{\alpha }_1}^2\right]\left[\frac{{\mu }_{{\alpha }_2}}{\sqrt{2}}{⟨y,e_{{\alpha }_2}⟩}_{\mathbf{H}}\right]\\ =\left({\lambda }_{{\alpha }_2}^2{⟨u,e_{{\alpha }_2}⟩}_{\mathbf{H}}+{\lambda }_{{\alpha }_1}^2{⟨u,e_{{\alpha }_1}⟩}_{\mathbf{H}}+\frac{{\mu }_{{\alpha }_2}}{\sqrt{2}}{⟨u,e_{{\alpha }_1}⟩}_{\mathbf{H}}\right){\mathcal{F}}_{c,A,B}{(f_1\ast f_2)}_A\left(y\right).\end{array}$$

6.3. Application of Theorem 7

We finish this paper by giving an application of Equation (25) in Theorem 7. Equation (25) tells us that

$$\begin{array}{l}{{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}f(Ax+By){\displaystyle \sum _{j=1}^r}{\gamma }_{{\alpha }_j}{⟨x,e_{{\alpha }_j}⟩}_{\mathbf{H}}{⟨u,e_{{\alpha }_j}⟩}_{\mathbf{H}}d{g}_c\left(x\right)\\ =c{\mathcal{F}}_{c,A,B}\left({\delta }_{A}f(·|u)\right)\left(y\right)-c{\mathcal{F}}_{c,A,B}\left(f\right)\left(y\right).\end{array}$$

(27)

The left-hand side of Equation (27) contains some polynomial-weight and so it is not easy to calculate. However, by using Equation (27), we can calculate it very easy via the Wiener transform and the first variation. We shall explain this as example.

Example 3.

Let $f_1,f_2,A$ and B be as in Example 1. Then we have

$${\mathcal{F}}_{c,A,B}\left({\delta }_A{f}_1(·|u)\right)\left(y\right)=2{\mu }_{{\alpha }_2}{\lambda }_{{\alpha }_2}{⟨y,e_{{\alpha }_2}⟩}_{\mathbf{H}}$$

and

$${\mathcal{F}}_{c,A,B}\left(f_1\right)\left(y\right)={\lambda }_{{\alpha }_2}^2{⟨y,e_{{\alpha }_2}⟩}_{\mathbf{H}}^2+2c{\mu }_{{\alpha }_2}^2.$$

Hence, using Equation (27), we obtain that

$$\begin{array}{l}{{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}{[{\mu }_{{\alpha }_2}{⟨x,e_{{\alpha }_2}⟩}_{\mathbf{H}}+{\lambda }_{{\alpha }_2}{⟨y,e_{{\alpha }_2}⟩}_{\mathbf{H}}]}^2{\mu }_{{\alpha }_2}{⟨x,e_{{\alpha }_2}⟩}_{\mathbf{H}}{⟨u,e_{{\alpha }_2}⟩}_{\mathbf{H}}d{g}_c\left(x\right)\\ =2c{\mu }_{{\alpha }_2}{\lambda }_{{\alpha }_2}{⟨y,e_{{\alpha }_2}⟩}_{\mathbf{H}}-c{\lambda }_{{\alpha }_2}^2{⟨y,e_{{\alpha }_2}⟩}_{\mathbf{H}}^2+2c^2{\mu }_{{\alpha }_2}^2.\end{array}$$

In addition, we have

$$\begin{array}{ll}{\mathcal{F}}_{c,A,B}\left({\delta }_A{f}_2(·|u)\right)\left(y\right)& =2c{\mu }_{{\alpha }_1}^3{\lambda }_{{\alpha }_2}{⟨u,e_{{\alpha }_1}⟩}_{\mathbf{H}}{⟨y,e_{{\alpha }_2}⟩}_{\mathbf{H}}+2{\mu }_{{\alpha }_1}^3{\lambda }_{{\alpha }_1}^2{⟨u,e_{{\alpha }_1}⟩}_{\mathbf{H}}{⟨y,e_{{\alpha }_1}⟩}_{\mathbf{H}}\\ & +{\mu }_{{\alpha }_2}{⟨u,e_{{\alpha }_2}⟩}_{\mathbf{H}}(c{\mu }_{{\alpha }_1}^2+{\lambda }_{{\alpha }_1}^2{⟨y,e_{{\alpha }_1}⟩}_{\mathbf{H}}^2).\end{array}$$

and

$${\mathcal{F}}_{c,A,B}\left(f_2\right)\left(y\right)=[{\lambda }_{{\alpha }_1}^2{⟨y,e_{{\alpha }_1}⟩}_{\mathbf{H}}^2+2c{\mu }_{{\alpha }_1}^2]\left[{\mu }_{{\alpha }_2}{⟨y,e_{{\alpha }_2}⟩}_{\mathbf{H}}\right].$$

Thus, from Equation (27) we conclude that

$$\begin{array}{l}{{\displaystyle \int }}_{{\mathbf{H}}^{\prime }}{[{\mu }_{{\alpha }_1}{⟨x,e_{{\alpha }_1}⟩}_{\mathbf{H}}+{\lambda }_{{\alpha }_1}{⟨y,e_{{\alpha }_1}⟩}_{\mathbf{H}}]}^2\\ \times [{\mu }_{{\alpha }_2}{⟨x,e_{{\alpha }_2}⟩}_{\mathbf{H}}+{\lambda }_{{\alpha }_2}{⟨y,e_{{\alpha }_2}⟩}_{\mathbf{H}}]{\displaystyle \sum _{j=1}^2}{\gamma }_{{\alpha }_j}{⟨x,e_{{\alpha }_j}⟩}_{\mathbf{H}}{⟨u,e_{{\alpha }_j}⟩}_{\mathbf{H}}d{g}_c\left(x\right)\\ =2c^2{\mu }_{{\alpha }_1}^3{\lambda }_{{\alpha }_2}{⟨u,e_{{\alpha }_1}⟩}_{\mathbf{H}}{⟨y,e_{{\alpha }_2}⟩}_{\mathbf{H}}+2c{\mu }_{{\alpha }_1}^3{\lambda }_{{\alpha }_1}^2{⟨u,e_{{\alpha }_1}⟩}_{\mathbf{H}}{⟨y,e_{{\alpha }_1}⟩}_{\mathbf{H}}\\ +c{\mu }_{{\alpha }_2}{⟨u,e_{{\alpha }_2}⟩}_{\mathbf{H}}(c{\mu }_{{\alpha }_1}^2+{\lambda }_{{\alpha }_1}^2{⟨y,e_{{\alpha }_1}⟩}_{\mathbf{H}}^2)\\ -c[{\lambda }_{{\alpha }_1}^2{⟨y,e_{{\alpha }_1}⟩}_{\mathbf{H}}^2+2c{\mu }_{{\alpha }_1}^2]\left[{\mu }_{{\alpha }_2}{⟨y,e_{{\alpha }_2}⟩}_{\mathbf{H}}\right].\end{array}$$

7. Conclusions

According to some results and formula in previous papers [1,2,3,7,8,9,15] and our results and formulas in previous Section 3, Section 4 and Section 5, we note that all results can be explained by the eigenvalue of operators on Hilbert space. As you can see from the results of the previous Section 3, Section 4 and Section 5, we are able to obtain various relationships that are not found in the previous research results. We also see in Section 6 that our results can be applied to various functions in the application of various fields. Therefore, it can be seen that the results in this paper are structured in a generalized form.