Characterizations of Continuous Fractional Bessel Wavelet Transforms

Abstract

In this paper, we present a systematic study of the various characteristics and properties of some continuous and discrete fractional Bessel wavelet transforms. The method is based upon the theory of the fractional Hankel transform.

1. Introduction, Definitions and Preliminaries

Recently, the fractional Fourier transform of the real order $\alpha$ was introduced and studied by Luchko et al. [1]. This transform plays the same role for the fractional derivatives as the Fourier transform does for the ordinary derivatives. Moreover, in the case when $\alpha =1$, the fractional Fourier transform reduces to the Fourier transform in the usual sense (see, for example, [2] Chapter 3). Several important properties of the fractional Fourier transform, including (for example) the inversion formula and the operational relations for the fractional derivatives, together with its applications in solving some partial differential equations of fractional order, were also given by Luchko et al. [1].

Motivated by these theoretical developments, Upadhyay and Khatterwani [3] considered the fractional Hankel transform and presented the relation between a two-dimensional fractional Fourier transform and the fractional Hankel transform in terms of radial functions. They also derived other operational properties of the Hankel transform and the fractional Hankel transform (see also [4] Chapter 8 and [5]).

The continuous and discrete Bessel wavelet transforms were investigated by Pathak and Dixit [6] by using Haimo’s Hankel transform theory (see, for details, [7]). More recently, Srivastava et al. [8] studied a certain family of fractional wavelet transforms by applying the theory of the fractional Fourier transform. In the present sequel to the works of Pathak et al. (see [6,9]), Upadhyay and Khatterwani [3] and Srivastava et al. [8], our main objective is to develop the theory of the fractional wavelet transform by appealing to Haimo’s Hankel transform theory. This theory is important in the sense that we can, thereby, study the fractional Bessel wavelet transform in a more efficient way.

We begin by giving some definitions and properties that are useful for our present work.

Let $\mu$ be a positive real number. Suppose also that

$$\sigma \left(x\right)=\frac{x^{2\mu +1}}{2^{\mu +\frac{1}{2}}\mathsf{\Gamma }\left(\mu +\frac{3}{2}\right)}$$

(1)

and

$$j\left(x\right)=C_{\mu }{x}^{\frac{1}{2}-\mu }{J}_{\mu -\frac{1}{2}}\left(x\right),$$

(2)

where

$$C_{\mu }=2^{\mu -\frac{1}{2}}\mathsf{\Gamma }\left(\mu +\frac{1}{2}\right)$$

(3)

and $J_{\nu }\left(z\right)$ denotes the Bessel function of order $\nu$ (for details, see [10] Chapter 7 and [11]).

The space $L_{\sigma }^p\left(I\right),$ with $I=(0,\infty )$ and $1\leqq p\leqq \infty ,$ is the space of those real measurable functions $\varphi$ on $(0,\infty )$ for which

$${\parallel \varphi \parallel }_{p,\sigma }={\left({\int }_0^{\infty }{\left|\varphi \left(x\right)\right|}^p\mathrm{d}\sigma \left(x\right)\right)}^{\frac{1}{p}}<\infty (1\leqq p<\infty )$$

(4)

and

$${\parallel \varphi \parallel }_{\infty ,\sigma }=\underset{0<x<\infty }{ess\; sup}\left\{\right|\varphi \left(x\right)\left|\right\}<\infty .$$

(5)

We now recall the definition of the fractional Hankel transform.

Definition 1

(see [3,12]). For each $\varphi \in L_{\sigma }^1\left(I\right),$ the fractional Hankel transform of the function ϕ is defined by

$$\left(h_{\mu ,\alpha }\varphi \right)\left(w\right):={\int }_0^{\infty }j\left(w^{\frac{1}{\alpha }}x\right)\varphi \left(x\right)\mathrm{d}\sigma \left(x\right)$$

(6)

$$(0\leqq x<\infty ;0<\alpha \leqq 1).$$

If $\varphi \in L_{\sigma }^1\left(I\right)$ and $h_{\mu ,\alpha }\varphi \in L_{\sigma }^1\left(I\right)$, then the inversion formula of the fractional Hankel transform (6) is given for $0<\alpha \leqq 1$ by

$$\begin{array}{cc}\hfill \varphi \left(x\right)& ={\int }_0^{\infty }j\left(w^{\frac{1}{\alpha }}x\right)\left(h_{\mu ,\alpha }\varphi \right)\left(w\right)\hfill \\ \hfill & ·\left(\frac{w^{\frac{1}{\alpha }-1}}{\alpha }\right)\mathrm{d}\sigma \left(w\right)(0<x<\infty ).\hfill \end{array}$$

(7)

The definitions of the Hankel and related integral transforms that we used in this article can be found in [13] (see also [14]).

Theorem 1

(see [13], p. 314, Theorem 1). For $f\left(x\right)\in L^p(1<p\leqq 2),$ let

$$g_a\left(t\right):={\int }_0^a{\left(xt\right)}^{\frac{1}{2}}{J}_{\mu }\left(xt\right)f\left(x\right)\mathrm{d}x.$$

Also let $g\left(t\right)$ be the limit in the mean of $g_a\left(t\right),$ that is,

$$g\left(t\right):=\mathrm{l}.\mathrm{i}.\mathrm{m}.\left\{g_a\left(t\right)\right\}.$$

If

$$f_a\left(x\right):={\int }_0^a{\left(xt\right)}^{\frac{1}{2}}{J}_{\mu }\left(xt\right)g\left(t\right)\mathrm{d}t,$$

(8)

then

$$f_a\left(x\right)\in L^p(1<p\leqq 2)\mathit{and}f\left(x\right):=\mathrm{l}.\mathrm{i}.\mathrm{m}.\left\{f_a\left(x\right)\right\}.$$

(9)

Remark 1.

Motivated by the results of Wing [13], in the present article, all of the results for the fractional Bessel wavelet transform hold true for $p=2$ by exploiting the theory of the fractional Hankel transform. Thus, if $\varphi \in L_{\sigma }^2\left(I\right)$ and $\psi \in L_{\sigma }^2\left(I\right),$ then the following Parseval-Goldstein formula holds true:

$$\begin{array}{cc}\hfill {\int }_0^{\infty }\varphi \left(x\right)\psi \left(x\right)\mathrm{d}\sigma \left(x\right)& ={\int }_0^{\infty }\left(h_{\mu ,\alpha }\varphi \right)\left(w\right)\left(h_{\mu ,\alpha }\psi \right)\left(w\right)\hfill \\ \hfill & ·\left(\frac{w^{\frac{1}{\alpha }-1}}{\alpha }\right)\mathrm{d}\sigma \left(w\right),\hfill \end{array}$$

(10)

provided that each member of (10) exists (see, for example, [15]).

In order to define the continuous fractional Bessel wavelet transform, we shall need the definition of the fractional Hankel convolution, which is given below.

Definition 2

(see [12]). Let $\varphi \in L_{\sigma }^1\left(I\right)$ and $\psi \in L_{\sigma }^1\left(I\right)$. Then the fractional Hankel convolution is defined by

$$(\varphi \#\psi )\left(x\right)={\int }_0^{\infty }{\varphi }_{\alpha }(x,y)\psi \left(y\right)\mathrm{d}\sigma \left(y\right)(0<\alpha \leqq 1),$$

(11)

where the fractional Hankel translation ${\varphi }_{\alpha }(x,y)$ is given by

$${\varphi }_{\alpha }(x,y)={\int }_0^{\infty }\varphi \left(z\right)D_{\alpha }(x,y,z)\mathrm{d}\sigma \left(z\right)(0<x,y<\infty )$$

(12)

and

$$\begin{array}{cc}\hfill D_{\alpha }(x,y,z)& ={\int }_0^{\infty }j\left(w^{\frac{1}{\alpha }}x\right)j\left(w^{\frac{1}{\alpha }}y\right)j\left(w^{\frac{1}{\alpha }}z\right)\hfill \\ \hfill & ·\left(\frac{w^{\frac{1}{\alpha }-1}}{\alpha }\right)\mathrm{d}\sigma \left(w\right).\hfill \end{array}$$

(13)

Using (6) and (7), we obtain

$${\int }_0^{\infty }j\left(w^{\frac{1}{\alpha }}x\right)D_{\alpha }(x,y,z)\mathrm{d}\sigma \left(x\right)=j\left(w^{\frac{1}{\alpha }}y\right)j\left(w^{\frac{1}{\alpha }}z\right)$$

(14)

$$(0<x,y<\infty ;0\leqq w<\infty ),$$

which, upon setting $w=0$, yields

$${\int }_0^{\infty }{D}_{\alpha }(x,y,z)\mathrm{d}\sigma \left(z\right)=1.$$

(15)

Several properties of the fractional Hankel convolution given in Definition 2, which involves the fractional Hankel transform given in Definition 1, are being recorded below.

(i) If $\varphi \in L_{\sigma }^1\left(I\right)$ and $\psi \in L_{\sigma }^1\left(I\right)$, then

$${\parallel \varphi \#\psi \left]\right|}_{1,\sigma }\leqq {\parallel \varphi \parallel }_{1,\sigma }·{\parallel \psi \parallel }_{1,\sigma }(0<\alpha \leqq 1).$$

(16)

(ii) If $\varphi \in L_{\sigma }^1\left(I\right)$ and $\psi \in L_{\sigma }^p\left(I\right),$ then

$${\parallel \varphi \#\psi \parallel }_{p,\sigma }\leqq {\parallel \varphi \parallel }_{1,\sigma }·{\parallel \psi \parallel }_{p,\sigma }(0<\alpha \leqq 1).$$

(17)

(iii) If $\varphi \in L_{\sigma }^p\left(I\right)$ and $\psi \in L_{\sigma }^q\left(I\right),$ then

$${\parallel \varphi \#\psi \parallel }_{r,\sigma }\leqq {\parallel \varphi \parallel }_{p,\sigma }·{\parallel \psi \parallel }_{q,\sigma }\left(0<\alpha \leqq 1;\frac{1}{r}=\frac{1}{p}+\frac{1}{q}-1\right).$$

(18)

(iv) If $\varphi \in L_{\sigma }^1\left(I\right)$ and $\psi \in L_{\sigma }^1\left(I\right),$ then

$$h_{\mu ,\alpha }(\varphi \#\psi )=\left(h_{\mu ,\alpha }\varphi \right)\left(h_{\mu ,\alpha }\psi \right)(0<\alpha \leqq 1).$$

(19)

Throughout this paper, the dilation is defined in the following way:

$$D_{a^{\frac{1}{\alpha }}}{\varphi }_{\alpha }(x,y)=a^{-2\mu -\frac{1}{\alpha }}{\varphi }_{\alpha }\left(\frac{x}{a^{\frac{1}{\alpha }}},\frac{y}{a^{\frac{1}{\alpha }}}\right).$$

(20)

In this paper, we apply the aforementioned concepts and theories (which were developed in [6,7,8,9,13]) to introduce and investigate the fractional wavelet and the fractional Bessel wavelet transform. We also discuss the relationship between the fractional Bessel wavelet transform and the fractional Hankel transform. The Parseval-Goldstein formula for the fractional wavelet transform and the inversion formula for the fractional Bessel wavelet transform are also investigated.

It is widely recognized that various developments in wavelet theory and on the associated families of continuous, discrete and fractional wavelet transforms provide methods for solving several otherwise intractable problems in the mathematical, physical and engineering sciences.

Some of their modern applications are diverse, such as wave propagation, data compression, image processing, pattern recognition, computer graphics, the detection of aircraft and submarines, the resolution and synthesis of signals and improvements in CAT scans and other medical imaging technologies. Our present investigation is motivated essentially by today’s remarkably greater demand for mathematical tools and techniques to provide both the theory and applications of wavelets and wavelet transforms to interested scientists and engineers.

Our plan in this paper is as follows. In the next section (Section 2), we introduce and present a detailed study of the continuous fractional Bessel wavelet transform by applying its relationship with the continuous fractional Hankel transform given by Definition 1. Section 3 deals with some applications of the fractional Bessel wavelet transform (see Definition 3) in a certain weighted Sobolev-type space by exploiting the theory of the fractional Hankel transform. Finally, in our concluding section (Section 4, we give several remarks and observations that are based upon the findings of our present investigation.

2. The Continuous Fractional Bessel Wavelet Transform

In this section, our main object is to study the continuous fractional Bessel wavelet transform and to develop its various properties by applying the theory of the fractional Hankel transformation.

Definition 3

(see [12]). Let the function $\psi \in L_{\sigma }^p\left(I\right)$ be given for $1\leqq p\leqq 2$. If $a>0,$$b\geqq 0$ and $0<\alpha \leqq 1,$ the fractional Bessel wavelet ${\psi }_{b,a^{\frac{1}{\alpha }}}\left(x\right)$ is defined by

$$\begin{array}{cc}\hfill {\psi }_{b,a^{\frac{1}{\alpha }}}\left(x\right)& :=D_{a^{\frac{1}{\alpha }}}{\psi }_{\alpha }(b,x)=a^{-2\mu -\frac{1}{\alpha }}{\psi }_{\alpha }\left(\frac{b}{a^{\frac{1}{\alpha }}},\frac{x}{a^{\frac{1}{\alpha }}}\right)\hfill \end{array}$$

(21)

$$\begin{array}{cc}\hfill & =a^{-2\mu -\frac{1}{\alpha }}{\int }_0^{\infty }{D}_{\alpha }\left(\frac{b}{a^{\frac{1}{\alpha }}},\frac{x}{a^{\frac{1}{\alpha }}},z\right)\psi \left(z\right)\mathrm{d}\sigma \left(z\right),\hfill \end{array}$$

(22)

in which the integral is convergent by virtue of the developments presented by Haimo [7] and Pathak et al. (see [6,9]).

Definition 4

(see [12]). By taking the function $\psi \in L_{\sigma }^2\left(I\right)$ and the fractional wavelet ${\psi }_{b,a^{\frac{1}{\alpha }}}\left(x\right)$ given by Definition 3$,$ the fractional Bessel wavelet transform $B_{\psi }f(b,a)$ is defined for $0<\alpha \leqq 1$ by

$$\begin{array}{cc}\hfill B_{\psi }f(b,a)& :=⟨f\left(t\right),{\psi }_{b,a^{\frac{1}{\alpha }}}\left(t\right)⟩={\int }_0^{\infty }f\left(t\right)\overline{{\psi }_{b,a^{\frac{1}{\alpha }}}\left(t\right)}\mathrm{d}\sigma \left(t\right)\hfill \\ \hfill & =a^{-2\mu -\frac{1}{\alpha }}{\int }_0^{\infty }{\int }_0^{\infty }f\left(t\right)D_{\alpha }\left(\frac{b}{a^{\frac{1}{\alpha }}},\frac{t}{a^{\frac{1}{\alpha }}},z\right)\hfill \end{array}$$

(23)

$$\begin{array}{cc}\hfill & ·\overline{\psi \left(z\right)}\mathrm{d}\sigma \left(z\right)\mathrm{d}\sigma \left(t\right),\hfill \end{array}$$

(24)

provided that the integral is convergent.

Theorem 2.

If $\psi \in L_{\sigma }^2\left(I\right)$ and $f\in L_{\sigma }^2\left(I\right),$ then the continuous fractional wavelet transform can be expressed as follows:

$$\begin{array}{cc}\hfill B_{\psi }f(b,a)& ={\int }_0^{\infty }j\left(w^{\frac{1}{\alpha }}b\right)\left(h_{\mu ,\alpha }f\right)\left(w\right)\left(\overline{h_{\mu ,\alpha }\psi }\right)\left(aw\right)\hfill \\ \hfill & ·\left(\frac{w^{\frac{1}{\alpha }-1}}{\alpha }\right)\mathrm{d}\sigma \left(w\right)(0<\alpha \leqq 1).\hfill \end{array}$$

(25)

Proof. 

Following the lines described in [6], if we use (24), we find that

$$\begin{array}{c}\hfill B_{\psi }f(b,a)=a^{-2\mu -\frac{1}{\alpha }}{\int }_0^{\infty }{\int }_0^{\infty }f\left(t\right)D_{\alpha }\left(\frac{b}{a^{\frac{1}{\alpha }}},\frac{t}{a^{\frac{1}{\alpha }}},z\right)\overline{\psi \left(z\right)}\mathrm{d}\sigma \left(z\right)\mathrm{d}\sigma \left(t\right).\end{array}$$

Thus, upon substituting from (13), we obtain

$$\begin{array}{cc}\hfill B_{\psi }f(b,a)& =a^{-2\mu -\frac{1}{\alpha }}\left[{\int }_0^{\infty }{\int }_0^{\infty }f\left(t\right)\right({\int }_0^{\infty }j\left(\frac{b}{a^{\frac{1}{\alpha }}}{\xi }^{\frac{1}{\alpha }}\right)j\left(\frac{t}{a^{\frac{1}{\alpha }}}{\xi }^{\frac{1}{\alpha }}\right)\hfill \\ \hfill & ·j\left({\xi }^{\frac{1}{\alpha }}z\right)\left(\frac{{\xi }^{\frac{1}{\alpha }-1}}{\alpha }\right)\mathrm{d}\sigma \left(\xi \right)\left)\overline{\psi \left(z\right)}\mathrm{d}\sigma \left(z\right)\mathrm{d}\sigma \left(t\right)\right],\hfill \end{array}$$

which, in view of (6) and (7), yields

$$\begin{array}{cc}\hfill B_{\psi }f(b,a)& =a^{-2\mu -\frac{1}{\alpha }}{\int }_0^{\infty }j\left(\frac{b}{a^{\frac{1}{\alpha }}}{\xi }^{\frac{1}{\alpha }}\right)\overline{\left(h_{\mu ,\alpha }\psi \right)}\left(\xi \right)\left(h_{\mu ,\alpha }f\right)\left(\frac{\xi }{a}\right)\hfill \\ \hfill & ·\left(\frac{{\xi }^{\frac{1}{\alpha }-1}}{\alpha }\right)\mathrm{d}\sigma \left(\xi \right).\hfill \end{array}$$

(26)

Finally, upon setting $\xi =aw$, this last Equation (26) leads us to the result (25) as asserted by Theorem 2. □

Theorem 3.

For a function $\psi \in L_{\sigma }^2\left(I\right)$ and, for any signal $f\in L_{\sigma }^2\left(I\right),$ the following relation holds true:

$$h_{\mu ,\alpha }\left(B_{\psi }f(b,a)\right)\left(w\right)=\left(h_{\mu ,\alpha }f\left(w\right)\right)\left(\overline{h_{\mu ,\alpha }\psi }\right)\left(aw\right)$$

(27)

for $0<\alpha \leqq 1$.

Proof. 

From (7) and (25), we have

$$B_{\psi }f(b,a)=h_{\mu ,\alpha }^{-1}\left[\left(h_{\mu ,\alpha }f\left(w\right)\right)\left(\overline{h_{\mu ,\alpha }\psi }\right)\left(aw\right)\right]\left(b\right).$$

(28)

Now, by using (6) in (28), we obtain (27). The proof of Theorem 3 is thus completed. □

Theorem 4.

Let $\psi \in L_{\sigma }^2\left(I\right)$. Then, for any $f,g\in L_{\sigma }^2\left(I\right),$ the following Parseval-Goldstein formula holds true for the fractional Bessel wavelet transform given by Definition 4:

$$\begin{array}{cc}\hfill & {\int }_0^{\infty }{\int }_0^{\infty }{B}_{\psi }f(b,a)\overline{B_{\psi }g(b,a)}{a}^{-2\mu -1}\mathrm{d}\sigma \left(b\right)\mathrm{d}\sigma \left(a\right)\hfill \\ \hfill & =C_{\psi ,\alpha }⟨f,g⟩,\hfill \end{array}$$

(29)

where

$$C_{\psi ,\alpha }:={\int }_0^{\infty }{\left|\left(h_{\mu ,\alpha }\psi \right)\left(aw\right)\right|}^2{a}^{-2\mu -1}\mathrm{d}\sigma \left(a\right)<\infty .$$

(30)

Proof. 

From [6], p. 245, in conjunction with Theorem 3 and (29), we have

$$\begin{array}{cc}\hfill & {\int }_0^{\infty }{\int }_0^{\infty }{B}_{\psi }f(b,a)\overline{B_{\psi }g(b,a)}{a}^{-2\mu -1}\mathrm{d}\sigma \left(b\right)\mathrm{d}\sigma \left(a\right)\hfill \\ \hfill & =\left[{\int }_0^{\infty }\left({\int }_0^{\infty }{B}_{\psi }f(b,a)\overline{B_{\psi }g(b,a)}d\sigma \left(b\right)\right)a^{-2\mu -1}\mathrm{d}\sigma \left(a\right)\right]\hfill \\ \hfill & =\left[{\int }_0^{\infty }\right({\int }_0^{\infty }{h}_{\mu ,\alpha }^{-1}\left[\left(h_{\mu ,\alpha }f\right)\left(w\right)\left(\overline{h_{\mu ,\alpha }\psi }\right)\left(aw\right)\right]\left(b\right)\hfill \\ \hfill & ·h_{\mu ,\alpha }^{-1}\left[\left(\overline{h_{\mu ,\alpha }g}\right)\left(w\right)\left(h_{\mu ,\alpha }\psi \right)\left(aw\right)\right]\left(b\right)\mathrm{d}\sigma \left(b\right)\left)a^{-2\mu -1}\mathrm{d}\sigma \left(a\right)\right].\hfill \end{array}$$

(31)

Now, by using the Parseval-Goldstein formula (10) for the fractional Hankel transform in the $L_{\sigma }^2\left(I\right)$ sense, we find from (31) that

$$\begin{array}{cc}\hfill & {\int }_0^{\infty }{\int }_0^{\infty }{B}_{\psi }f(b,a)\overline{B_{\psi }g(b,a)}{a}^{-2\mu -1}\mathrm{d}\sigma \left(b\right)\mathrm{d}\sigma \left(a\right)\hfill \\ \hfill & =\left[{\int }_0^{\infty }\right({\int }_0^{\infty }\left(h_{\mu ,\alpha }f\right)\left(w\right)\left(\overline{h_{\mu ,\alpha }\psi }\right)\left(aw\right)\left(\overline{h_{\mu ,\alpha }g}\right)\left(aw\right)\left(h_{\mu ,\alpha }\psi \right)\left(aw\right)\hfill \\ \hfill & ·\left(\frac{w^{\frac{1}{\alpha }-1}}{\alpha }\right)\mathrm{d}\sigma \left(w\right)\left)a^{-2\mu -1}\mathrm{d}\sigma \left(a\right)\right]\hfill \\ \hfill & ={\int }_0^{\infty }\left({\int }_0^{\infty }{\left|\left(h_{\mu ,\alpha }\psi \right)\left(aw\right)\right|}^2{a}^{-2\mu -1}\mathrm{d}\sigma \left(a\right)\right)\left(h_{\mu ,\alpha }f\right)\left(w\right)\left(h_{\mu ,\alpha }g\right)\left(w\right)\hfill \\ \hfill & ·\left(\frac{w^{\frac{1}{\alpha }-1}}{\alpha }\right)\mathrm{d}\sigma \left(w\right)\hfill \\ \hfill & =C_{\psi ,\alpha }⟨\frac{w^{\frac{1}{\alpha }-1}}{\alpha }\left(h_{\mu ,\alpha }f\right)\left(w\right),\left(\overline{h_{\mu ,\alpha }g}\right)\left(w\right)⟩,\hfill \end{array}$$

which, by applying (10) in the $L_{\sigma }^2\left(I\right)$ sense, yields the Parseval-Goldstein Formula (29) as asserted by Theorem 4. □

Theorem 5.

Let $0<\alpha \leqq 1,$$a>0$ and $b>0$. If $\psi \in L^2\left(I\right),$ then

$$h_{\mu ,b,\alpha }\left({\psi }_{b,a^{\frac{1}{\alpha }}}\left(t\right)\right)\left(w\right)=j\left(w^{\frac{1}{\alpha }}t\right)\left(h_{\mu ,\alpha }\psi \right)\left(aw\right).$$

(32)

Proof. 

Our demonstration of Theorem 5 is fairly straightforward. We choose to omit the details involved. □

Theorem 6.

Let $\psi \in L_{\sigma }^2\left(I\right)$. Then a signal $f\in L_{\sigma }^2\left(I\right)$ can be reconstructed by means of the following inversion formula:

$$f\left(t\right)=\frac{1}{C_{\psi ,\alpha }}{\int }_0^{\infty }{\int }_0^{\infty }{B}_{\psi }f(b,a){\psi }_{b,a^{\frac{1}{\alpha }}}\left(t\right)a^{-2\mu -1}\mathrm{d}\sigma \left(b\right)\mathrm{d}\sigma \left(a\right),$$

(33)

where $C_{\psi ,\alpha }$ is given by (30) and $0<\alpha \leqq 1$.

Proof. 

We begin by observing that

$$\begin{array}{cc}\hfill & \frac{1}{C_{\psi ,\alpha }}{\int }_0^{\infty }{\int }_0^{\infty }{B}_{\psi }f(b,a){\psi }_{b,a^{\frac{1}{\alpha }}}\left(t\right)a^{-2\mu -1}\mathrm{d}\sigma \left(b\right)\mathrm{d}\sigma \left(a\right)\hfill \\ \hfill & =\frac{1}{C_{\psi ,\alpha }}{\int }_0^{\infty }\left({\int }_0^{\infty }{B}_{\psi }f(b,a){\psi }_{b,a^{\frac{1}{\alpha }}}\left(t\right)\mathrm{d}\sigma \left(b\right)\right)\hfill \\ \hfill & ·a^{-2\mu -1}\mathrm{d}\sigma \left(a\right).\hfill \end{array}$$

(34)

Now, in view of the earlier work in [8], the Parseval-Goldstein Formula (10) for the fractional Hankel transform (10) and Theorem 5, we find that

$$\begin{array}{cc}\hfill & \frac{1}{C_{\psi ,\alpha }}{\int }_0^{\infty }{\int }_0^{\infty }{B}_{\psi }f(b,a){\psi }_{b,a^{\frac{1}{\alpha }}}\left(t\right)a^{-2\mu -1}\mathrm{d}\sigma \left(b\right)\mathrm{d}\sigma \left(a\right)\hfill \\ \hfill & =\frac{1}{C_{\psi ,\alpha }}{\int }_0^{\infty }({\int }_0^{\infty }{h}_{\mu ,b,\alpha }\left[B_{\psi }f(b,a)\right]\left(w\right)h_{\mu ,b,\alpha }\left[{\psi }_{b,a^{\frac{1}{\alpha }}}\left(t\right)\right]\left(w\right)\hfill \\ \hfill & ·\left(\frac{w^{\frac{1}{\alpha }-1}}{\alpha }\right)\mathrm{d}\sigma \left(w\right))\frac{d\sigma \left(a\right)}{a^{2\mu +1}},\hfill \end{array}$$

(35)

that is, that

$$\begin{array}{cc}\hfill & \frac{1}{C_{\psi ,\alpha }}{\int }_0^{\infty }{\int }_0^{\infty }{B}_{\psi }f(b,a){\psi }_{b,a^{\frac{1}{\alpha }}}\left(t\right)a^{-2\mu -1}\mathrm{d}\sigma \left(b\right)\mathrm{d}\sigma \left(a\right)\hfill \\ \hfill & =\frac{1}{C_{\psi ,\alpha }}{\int }_0^{\infty }({\int }_0^{\infty }\left(h_{\mu ,\alpha }f\right)\left(w\right)\overline{\left(h_{\mu ,\alpha }\psi \right)}\left(aw\right)j\left(w^{\frac{1}{\alpha }}t\right)\hfill \\ \hfill & ·\left(h_{\mu ,\alpha }\psi \right)\left(aw\right)\left(\frac{w^{\frac{1}{\alpha }-1}}{\alpha }\right)\mathrm{d}\sigma \left(w\right))a^{-2\mu -1}\mathrm{d}\sigma \left(a\right)\hfill \\ \hfill & =\frac{1}{C_{\psi ,\alpha }}{\int }_0^{\infty }\left({\int }_0^{\infty }{\left|\left(h_{\mu ,\alpha }\psi \right)\left(aw\right)\right|}^2{a}^{-2\mu -1}\mathrm{d}\sigma \left(a\right)\right)\hfill \\ \hfill & ·j\left(w^{\frac{1}{\alpha }}t\right)\left(h_{\mu ,\alpha }f\right)\left(w\right)\left(\frac{w^{\frac{1}{\alpha }-1}}{\alpha }\right)\mathrm{d}\sigma \left(w\right)\hfill \\ \hfill & =\frac{C_{\psi ,\alpha }}{C_{\psi ,\alpha }}{\int }_0^{\infty }j\left(w^{\frac{1}{\alpha }}t\right)\left(h_{\mu ,\alpha }f\right)\left(w\right)\left(\frac{w^{\frac{1}{\alpha }-1}}{\alpha }\right)\mathrm{d}\sigma \left(w\right)\hfill \\ \hfill & =f\left(t\right),\hfill \end{array}$$

(36)

which evidently completes the proof of Theorem 6. □

Theorem 7.

Let $\psi \in L_{\sigma }^2\left(I\right)$. Then the discrete fractional Bessel wavelet transform of a signal $f\in L_{\sigma }^2\left(I\right)$ is given by

$$B_{\psi }f(m,n)={\int }_0^{\infty }f\left(t\right)\overline{{\psi }_{\alpha ,m,n}}\left(t\right)\mathrm{d}\sigma \left(t\right)(0<\alpha \leqq \infty ),$$

(37)

where

$${\psi }_{\alpha ,m,n}\left(t\right)=a_0^{-m\left(2\mu +\frac{1}{\alpha }\right)}\psi \left(n{b}_0,a_0^{-\frac{m}{\alpha }}t\right).$$

(38)

Proof. 

We can easily obtain the result (37), which is asserted by Theorem 7, from [6] by using the equations (21) to (23). □

3. Application of the Fractional Bessel Wavelet Transform in a Weighted Sobolev Type Space

In this section, with the help of the developments in [16], we give applications of the fractional Bessel wavelet transform in weighted Sobolev-type space by exploiting the theory of the fractional Hankel transform.

Definition 5.

The convolution product for the fractional Bessel wavelet transform is formally defined by

$$B_{\psi }(f\otimes g)(b,a)=\left(B_{\psi }f\right)(b,a)\left(B_{\psi }g\right)(b,a).$$

(39)

The relation between the convolution product for the fractional Bessel wavelet transform (39) and the fractional Hankel convolution (11) is now given below.

Lemma 1.

If $f,g,\psi \in L_{\sigma }^1\left(I\right),$ then

$$\begin{array}{cc}\hfill & \left(\overline{h_{\mu ,\alpha }\psi }\right)\left(aw\right)\left(h_{\mu ,\alpha }(f\otimes g)\right)\left(w\right)\hfill \\ \hfill & \left[\left(\overline{h_{\mu ,\alpha }\psi }\right)(a·)\left(h_{\mu ,\alpha }f\right)(·)\#\left(\overline{h_{\mu ,\alpha }\psi }\right)(a·)\left(h_{\mu ,\alpha }g\right)(·)\right]\left(w\right).\hfill \end{array}$$

(40)

Proof. 

In order to prove Lemma 1, we find from (27) that

$$h_{\mu ,\alpha }\left(B_{\psi }(f\otimes g)(b,a)\right)\left(w\right)=\left(\overline{h_{\mu ,\alpha }\psi }\right)\left(aw\right)\left(h_{\mu ,\alpha }(f\otimes g)\right)\left(w\right),$$

which, by virtue of (39), leads us to

$$\begin{array}{c}\hfill \left(\overline{h_{\mu ,\alpha }\psi }\right)\left(aw\right)\left(h_{\mu ,\alpha }(f\otimes g)\right)\left(w\right)=h_{\mu ,\alpha }\left[\left(B_{\psi }f\right)(b,a)\left(B_{\psi }g\right)(b,a)\right]\left(w\right).\end{array}$$

Now, from (28), we find that

$$\begin{array}{cc}\hfill & \left(\overline{h_{\mu ,\alpha }\psi }\right)\left(aw\right)\left(h_{\mu ,\alpha }(f\otimes g)\right)\left(w\right)\hfill \\ \hfill & =h_{\mu ,\alpha }[h_{\mu ,\alpha }^{-1}\left(\left(\overline{h_{\mu ,\alpha }\psi }\right)\left(aw\right)\left(h_{\mu ,\alpha }f\right)\left(w\right)\right)\left(b\right)\hfill \\ \hfill & ·h_{\mu ,\alpha }^{-1}\left(\left(\overline{h_{\mu ,\alpha }\psi }\right)\left(aw\right)\left(h_{\mu ,\alpha }g\right)\left(w\right)\right)\left(b\right)]\left(w\right).\hfill \end{array}$$

Finally, by applying (19), we find

$$\begin{array}{cc}\hfill & \left(\overline{h_{\mu ,\alpha }\psi }\right)\left(aw\right)\left(h_{\mu ,\alpha }(f\otimes g)\right)\left(w\right)\hfill \\ \hfill & =\left[\left(\overline{h_{\mu ,\alpha }\psi }\right)(a·)\left(h_{\mu ,\alpha }f\right)(·)\#\left(\overline{h_{\mu ,\alpha }\psi }\right)(a·)·\left(h_{\mu ,\alpha }g\right)(·)\right]\left(w\right),\hfill \end{array}$$

(41)

which evidently completes our demonstration of Lemma 1. □

Next, motivated by the developments in the earlier work [17], p. 142, Equation (1.5), we give the following definition of a weighted Sobolev space.

Definition 6.

Let $k\left(w\right)$ be an arbitrary weight function and suppose that $H_{\mu }^{\prime }\left(I\right)$ is the dual of the Zemanian space $H_{\mu }\left(I\right)$ for $I=(0,\infty )$. Then a function $\varphi \in H_{\mu }^{\prime }\left(I\right)$ is said to belong to the weighted Sobolev space $G_{\mu ,k}^p\left(I\right)$ for $\mu \in \mathbb{R}$ and $1\leqq p<\infty ,$ if its fractional Hankel transform $h_{\mu ,\alpha }\varphi$ corresponding to a locally integrable function ϕ over $I=(0,\infty )$ satisfies the following norm:

$${\parallel \varphi \parallel }_{p,\mu ,\sigma ,k}={\left({\int }_0^{\infty }{\left|k\left(w\right)\left(h_{\mu ,\alpha }\varphi \right)\left(w\right)\right|}^p\mathrm{d}\sigma \left(w\right)\right)}^{\frac{1}{p}}<\infty$$

(42)

$$(\mu \in \mathbb{R};1\leqq p<\infty ).$$

In what follows, we first set

$$k\left(w\right)=\left(\overline{h_{\mu ,\alpha }\psi }\right)\left(aw\right)$$

for fixed $a>0$, and we then establish the following result.

Theorem 8.

Let $f\in G_{\mu ,k}^1\left(I\right),$$g\in G_{\mu ,k}^p\left(I\right)$ and $1\leqq p<\infty$. Then

$${\parallel f\otimes g\parallel }_{p,\mu ,\sigma ,k}\leqq {\parallel f\parallel }_{1,\mu ,\sigma ,k}{\parallel g\parallel }_{p,\mu ,\sigma ,k}.$$

(43)

Proof. 

In view of (39) and (42), we have

$$\begin{array}{cc}\hfill {\parallel f\otimes g\parallel }_{p,\mu ,\sigma ,k}& ={\left({\int }_0^{\infty }|k\left(w\right)\left(h_{\mu ,\alpha }(f\otimes g)\right)\left(w\right){|}^p\mathrm{d}\sigma \left(w\right)\right)}^{\frac{1}{p}}\hfill \\ \hfill & ={\left({\int }_0^{\infty }|\left(\overline{h_{\mu ,\alpha }\psi }\right)\left(aw\right)\left(h_{\mu ,\alpha }(f\otimes g)\right)\left(w\right){|}^p\mathrm{d}\sigma \left(w\right)\right)}^{\frac{1}{p}}.\hfill \end{array}$$

(44)

Now, by using (40), Equation (44) becomes

$$\begin{array}{cc}\hfill {\parallel f\otimes g\parallel }_{p,\mu ,\sigma ,k}& =\left({\int }_0^{\infty }\right|[\left(\overline{h_{\mu ,\alpha }\psi }\right)(a·)\left(h_{\mu ,\alpha }f\right)(·)\hfill \\ \hfill & \#\left(\overline{h_{\mu ,\alpha }\psi }\right)(a·)\left(h_{\mu ,\alpha }g\right)(·)]\left(w\right){|}^p\mathrm{d}\sigma \left(w\right){)}^{\frac{1}{p}},\hfill \end{array}$$

and, in view of (17), we find that

$$\begin{array}{cc}\hfill {\parallel f\otimes g\parallel }_{p,\mu ,\sigma ,k}& \leqq \parallel \left(\overline{h_{\mu ,\alpha }\psi }\right)(a·)\left(h_{\mu ,\alpha }f\right)(·){\parallel }_{1,\sigma }\parallel \hfill \\ \hfill & ·\left(\overline{h_{\mu ,\alpha }\psi }\right)(a·)\left(h_{\mu ,\alpha }g\right)(.){\parallel }_{p,\sigma }.\hfill \end{array}$$

Finally, by making use of (42), we obtain

$${\parallel f\otimes g\parallel }_{p,\mu ,\sigma ,k}\leqq {\parallel f\parallel }_{1,\mu ,\sigma ,k}{\parallel g\parallel }_{p,\mu ,\sigma ,k},$$

which proves Theorem 8. □

Theorem 9.

Let $f\in G_{\mu ,k}^p\left(I\right),$$g\in G_{\mu ,k}^q\left(I\right),$ $1\leqq p,q<\infty$ and

$$\frac{1}{r}=\frac{1}{p}+\frac{1}{q}-1.$$

Then

$${\parallel f\otimes g\parallel }_{r,\mu ,\sigma ,k}\leqq {\parallel f\parallel }_{p,\mu ,\sigma ,k}{\parallel g\parallel }_{q,\mu ,\sigma ,k}.$$

(45)

Proof. 

The proof of Theorem 9 follows from (42) and (18). We choose to omit the details involved. □

Various other characteristics and properties of the fractional Bessel wavelet transform and the discrete fractional Bessel wavelet transform will be investigated in our next paper.

4. Concluding Remarks and Observations

In our present article, we have introduced the continuous fractional Bessel wavelet transform and, by following the concepts and the theoretical developments presented in [6,7,8,9], we have studied the Parseval-Goldstein formula and inversion formula for the continuous fractional Bessel wavelet transform by applying the theory of the fractional Hankel transform. We have also established the relationship between the fractional Hankel transform and the continuous fractional Bessel wavelet transform. The corresponding theory of the discrete fractional Bessel wavelet transform and its various other properties and characteristics can also be discussed by taking the above-mentioned theory.

More precisely, we have chosen to list our findings in this investigation as follows. The introductory section (Section 1) provides the relevant details about the preliminaries and the background material, as well as the motivation for our study, together with a potentially useful result (Theorem 1). In Section 2, we have defined and presented a systematic study of the continuous fractional Bessel wavelet transform given in Definition 3 by applying its relationship with the continuous fractional Hankel transform given by Definition 1. Our main results in Section 2 have been stated and proven as Theorems 2 to 7.

In Section 3, we have considered some applications of the fractional Bessel wavelet transform (see Definition 3) in a certain weighted Sobolev-type space by exploiting the theory of the fractional Hankel transform (see Definition 1). The main results in Section 3 have been presented as Lemma 1, Theorem 8 and Theorem 9.

The theory that we have developed in this article is potentially useful for a variety of applications of the fractional Bessel wavelet transform in signal processing, image processing, quantum mechanics and other areas of engineering and applied sciences. Some instances of applications have been presented in Section 3 (see also several recent developments involving continuous and discrete wavelet transforms in [5,18,19,20,21,22,23,24,25,26,27], each of which will presumably motivate further researches involving the continuous and discrete fractional Bessel wavelet transforms).

We conclude this article by further remarking that our motivation for choosing the fractional-order Bessel wavelet is that it is a potentially useful generalization of the widely-investigated Bessel wavelet, particularly, in the case when the order $\alpha =1$, the fractional Bessel wavelet becomes the Bessel wavelet, which was investigated in [6]. Discussions such as those presented in this sequel were initiated by Srivastava et al. [8]. Some interesting applications of the fractional-order Bessel wavelet transform in the areas of time-invariant linear filters and integral equations involving the fractional wavelet in the kernel can be found in several recent works (see, for example, [12]; see also [28,29,30]).