Theory and Modern Applications

# Certain fundamental properties of generalized natural transform in generalized spaces

## Abstract

This paper considers the definition and the properties of the generalized natural transform on sets of generalized functions. Convolution products, convolution theorems, and spaces of Boehmians are described in a form of auxiliary results. The constructed spaces of Boehmians are achieved and fulfilled by pursuing a deep analysis on a set of delta sequences and axioms which have mitigated the construction of the generalized spaces. Such results are exploited in emphasizing the virtual definition of the generalized natural transform on the addressed sets of Boehmians. The constructed spaces, inspired from their general nature, generalize the space of integrable functions of Srivastava et al. (Acta Math. Sci. 35B:1386–1400, 2015) and, subsequently, the extended operator with its good qualitative behavior generalizes the classical natural transform. Various continuous embeddings of potential interests are introduced and discussed between the space of integrable functions and the space of integrable Boehmians. On another aspect as well, several characteristics of the extended operator and its inversion formula are discussed.

## 1 Introduction and preliminaries

The integral transform operators have attained their popularity due to their wide range of applications in various fields of science and engineering as, in most of cases, the physical phenomenon is converted into ordinary and partial differential equations. Along with interesting groups of integral transforms arising in literature, the natural transform NT was introduced by Khan and Khan [2] and renamed recently as the N-transform [36]. In addition to the shift and change of scale properties of the NT, the authors of [5] solved the unsteady fluid flow problem over a plane wall and highlighted that the transform converges to the Laplace and Sumudu transforms. Later, Belgacem et al. [3] defined the inverse natural transform formula and studied some properties and applications on Maxwell’s equation. When the real sectionwise continuous function $$\varphi (t)>0$$, $$\varphi (t)=0$$ for $$t<0$$ is of exponential order defined on A, where

$$A= \bigl\{ \varphi (t)|\exists M,\epsilon _{1},\epsilon _{2}>0, \bigl\vert \varphi (t) \bigr\vert < Me^{\frac{t}{\epsilon _{j}}}, \text{if }t\in ( -1 ) ^{j}\times [ 0,\infty ) \bigr\} ,$$

the natural transform NT is given by [2]

$$N ( \varphi ) ( u,v ) = \int _{0}^{ \infty }e^{-ut}\varphi ( vt )\,dt,\quad u>0,v>0.$$

For $$\alpha \in \mathbb{C}$$; $$\operatorname{Re} ( \alpha ) \geq 0$$ and $$k\in \mathbb{Z}_{+}$$, the generalized natural transform GNT or the $$M_{\alpha ,k}$$ transform of a function φ was proclaimed as [1, (1.1)]

$$M_{\alpha ,k} ( \varphi ) ( u,v ) = \int _{0}^{\infty }\varphi ( vt ) \frac{e^{-ut}}{ ( t^{k}+v^{k} ) ^{\alpha }}\,dt,$$

provided the integral part exists. The integral part of the preceding equation can be indeed motivated to yield

$$M_{\alpha ,k} ( \varphi ) ( u,v ) =v^{-k \alpha -1} \int _{0}^{\infty }\varphi ( t ) \frac{e^{-\frac{u}{v}t}}{ ( t^{k}+v^{k} ) ^{\alpha }}\,dt,$$
(1)

where u and v are the transform variables. The GNT transform corresponds to the NT for $$\alpha =0$$ [8] and to the Stieltjes transform for $$u=0$$ [9]. On top of that, it corresponds to the Laplace transform [10]

$$L ( \varphi ) ( v ) = \int _{0}^{ \infty }e^{-vt}\varphi ( t )\,dt$$

for $$\alpha =0$$ and $$u=1$$ and to the Sumudu transform [7]

$$S ( \varphi ) ( u ) = \int _{0}^{ \infty }e^{-t}\varphi ( ut )\,dt,\quad u\in ( -\epsilon _{1}, \epsilon _{2} )$$

for $$\alpha =0$$ and $$v=1$$, see, e.g., [7, 1117]. The Parseval type theorem of the GNT transform is given by [1, Theorem 3.1]

$$\int _{0}^{\infty } \frac{\varphi ( vu ) }{ ( u^{k}+v^{k} ) ^{\alpha _{1}}}M_{\alpha _{2},k} ( g ) ( t,v )\,dt= \int _{0}^{\infty } \frac{g ( vt ) }{ ( t^{k}+v^{k} ) ^{\alpha _{2}}}M_{\alpha _{1},k} ( \varphi ) ( t,v )\,dt.$$
(2)

The scaling property of the GNT transform for $$\beta >0$$ is given by [1, (2.4)]

$$M_{\alpha ,k} \bigl( \varphi \bigl( \beta ^{2}t \bigr) \bigr) ( u,v ) =\beta ^{k\alpha -1}M_{\alpha ,k} \bigl( \varphi ( t ) \bigr) \biggl( \frac{u}{\beta },\beta v \biggr) .$$

Due to [1, Theorem 2.1], the GNT transform of φ exists for all $$0< v<\mu$$ and $$\operatorname{Re} ( u ) >\frac{\mu }{\beta }$$, where the function φ is either continuous or piecewise continuous on $$[ 0,\infty )$$ and for certain given $$K,T,\beta >0$$,

$$\bigl\vert \varphi ( t ) \bigr\vert \leq Kt^{kRe ( \alpha ) }e^{t/\beta }\quad \text{for all }t>T.$$
(3)

Further, it converges uniformly with respect to the transform variable u provided $$\operatorname{Re} ( u ) \geq \alpha >\frac{\mu }{\beta }$$. The inversion of the GNT transform is defined by

$$\varphi ( t ) = \biggl( \frac{t^{m}}{v^{m}}+v^{m} \biggr) ^{ \alpha }L^{-1} \bigl( M_{\alpha ,k} \bigl( \varphi ( t ) \bigr) ( u,v ) \bigr) \biggl( \frac{t}{v} \biggr) ,\quad v \in ( 0,\mu )$$

provided that the involved integral converges absolutely, where $$L^{-1}$$ is the inverse Laplace transform operator. The Mellin-type convolution product of two integrable functions φ and g is defined by [18]

$$( \varphi \ominus g ) ( y ) = \int _{0}^{ \infty }\varphi ( x ) g \bigl( yx^{-1} \bigr) \frac{dx}{x}$$
(4)

when the integral part exists. Consequently, the natural properties of this convolution product are due to [19] given by

\begin{aligned}&\varphi \ominus g=g\ominus \varphi , \qquad ( \varphi \ominus g_{1} ) \ominus g_{2}=\varphi \ominus ( g_{1}\ominus g_{2} )\quad \text{and} \\ &\varphi \ominus ( g_{1}+g_{2} ) =\varphi \ominus g_{1}+ \varphi \ominus g_{2}. \end{aligned}
(5)

Evaluations of the GNT transform of various special functions, polynomials, and derivatives are computed in the above citations. In this article we derive a convolution theorem and establish sets of generalized functions for the considered GNT transform. In Sect. 1, we have already reviewed certain definitions and preliminaries from literature. In Sect. 2, we derive the convolution theorem and provide auxiliary results to facilitate our next investigations. In Sect. 3, we prove axioms and determine spaces of Boehmians and give the extension of the generalized natural transform to the Boehmian spaces. In Sect. 4, we derive some characteristics of the transform in a sense of generalized functions.

## 2 Convolution theorem and auxiliary results

To proceed in this study, we denote by $$L^{1} ( \mathbb{R}_{+}^{2} )$$ the Lebesgue space of integrable functions over $$\mathbb{R}_{+}^{2}=\mathbb{R}_{+}\times \mathbb{R}_{+}$$, $$\mathbb{R}_{+}= ( 0,\infty )$$ and by $$C^{\infty } ( \mathbb{R}_{+} )$$ the Schwartz space of smooth functions of compact supports over $$\mathbb{R}_{+}$$. On the basis of the convolution product , we present a convolution formula that is very useful in the sequel.

### Definition 1

Let $$k\in \mathbb{Z}_{+}$$ and $$\alpha \in \mathbb{C}$$ such that $$\operatorname{Re} ( \alpha ) \geq 0$$. We denote by the integral equation

$$( \psi \oplus \varphi ) ( u,v ) = \int _{0}^{\infty }\varphi ( x ) \psi ( \sqrt{x}u,\sqrt{x}v ) \frac{d_{x}}{x^{k\alpha }}$$
(6)

provided the right-hand side of the above equation exists for every $$u>0$$ and $$v>0$$.

By taking into account Eq. (4) and Eq. (6), we derive a convolution theorem as follows.

### Theorem 2

Let $$\varphi \in L^{1} ( \mathbb{R}_{+} )$$, $$k\in \mathbb{Z}_{+}$$, and $$\alpha \in \mathbb{C}$$ such that $$\operatorname{Re} ( \alpha ) \geq 0$$. Then we have

$$M_{\alpha ,k} ( \varphi \ominus g ) =\varphi \oplus M_{ \alpha ,k}g$$

for every $$g\in C^{\infty } ( \mathbb{R}_{+} )$$.

### Proof

Let $$\varphi \in L^{1} ( \mathbb{R}_{+} )$$, $$k\in \mathbb{Z}_{+}$$, and $$\alpha \in \mathbb{C}$$ such that $$\operatorname{Re} ( \alpha ) \geq 0$$. Then invoking Eq. (4), Eq. (1) gives

$$M_{\alpha ,k} ( \varphi \ominus g ) ( u,v ) =v^{-k \alpha -1} \int _{0}^{\infty } \frac{e^{-\frac{u}{v}y}}{ ( y^{k}+v^{k} ) ^{\alpha }} \int _{0}^{\infty }\varphi ( x ) g \bigl( yx^{-1} \bigr) \frac{dx}{x}\,dy.$$

$$M_{\alpha ,k} ( \varphi \ominus g ) ( u,v ) =v^{-k \alpha -1} \int _{0}^{\infty }\varphi ( x ) \int _{0}^{\infty } \frac{e^{-\frac{u}{v}y}}{ ( y^{k}+v^{k} ) ^{\alpha }}g \bigl( yx^{-1} \bigr)\,dy \frac{dx}{x}.$$
(7)

By using the change of variables $$y=zx$$, along with simple computations, we get

\begin{aligned} M_{\alpha ,k} ( \varphi \ominus g ) ( u,v ) =&v^{-k \alpha -1} \int _{0}^{\infty }\varphi ( x ) \int _{0}^{\infty } \frac{e^{-\frac{u}{v}xz}}{ ( ( zx ) ^{k}+v^{k} ) ^{\alpha }}g ( z )\,dz\,dx \\ \text{i.e.}\quad =&v^{-k\alpha -1} \int _{0}^{ \infty }\varphi ( x ) \int _{0}^{\infty } \frac{e^{-\frac{u}{v}xz}}{x^{k\alpha } ( z^{k}+ ( \frac{v}{\sqrt{x}} ) ^{k} ) ^{\alpha }}g ( z )\,dz\,dx \\ \text{i.e.}\quad =&v^{-k\alpha -1} \int _{0}^{ \infty }\varphi ( x ) \int _{0}^{\infty } \frac{e^{-\frac{u\sqrt{x}}{\frac{v}{\sqrt{x}}}z}}{ ( z^{k}+ ( \frac{v}{\sqrt{x}} ) ^{k} ) ^{\alpha }}g ( z )\,dz \frac{dx}{x^{k\alpha }} \\ \text{i.e.}\quad =& \int _{0}^{\infty }\varphi ( x ) ( M_{\alpha ,k}g ) ( \sqrt{x}u, \sqrt{x}v ) \frac{dx}{x^{k\alpha }}. \end{aligned}

This completes the proof of the theorem. □

By Δ we denote the subset of the Schwartz space $$C^{\infty } ( \mathbb{R}_{+} )$$ of delta sequences $$\{ \delta _{0},\delta _{1},\ldots, \delta _{n},\ldots \}$$ such that Eq. (8) to Eq. (10) hold

\begin{aligned}& \int _{0}^{\infty }\delta _{n} ( x )\,dx=1,\quad \forall n\in \mathbb{N}, \end{aligned}
(8)
\begin{aligned}& \int _{0}^{\infty } \bigl\Vert \delta _{n} (x ) \bigr\Vert _{L^{1} ( \mathbb{R}_{+}^{2} )}\,dx\leq c, \quad \text{for some constant }c\text{ and all }n\in \mathbb{N}, \end{aligned}
(9)
\begin{aligned}& \lim_{n\rightarrow \infty } \int _{ \vert x \vert >\varepsilon } \vert x \vert ^{k} \bigl\Vert \delta _{n} ( x ) \bigr\Vert _{L^{1} ( \mathbb{R}_{+}^{2} )}\,dx =0,\quad \forall k\in \mathbb{N} ,\varepsilon >0. \end{aligned}
(10)

### Theorem 3

Let $$U\in L^{1} ( \mathbb{R}_{+}^{2} )$$ and $$\phi _{1},\phi _{2}\in C^{\infty } ( \mathbb{R}_{+} )$$. Then we have

$$U\oplus ( \phi _{1}\ominus \phi _{2} ) = ( U\oplus \phi _{1} ) \oplus \phi _{2}\quad \textit{in }L^{1} \bigl( \mathbb{R}_{+}^{2} \bigr) .$$

### Proof

Let $$U\in L^{1} ( \mathbb{R}_{+}^{2} )$$ and $$\phi _{1}$$, $$\phi _{2}\in C^{\infty } ( \mathbb{R}_{+} )$$ be given arbitrary. Then, by applying Eq. (6) and Eq. (4), we assert

\begin{aligned} \bigl( U\oplus ( \phi _{1}\ominus \phi _{2} ) \bigr) ( u,v ) =& \int _{0}^{\infty }U ( \sqrt{x}u, \sqrt{x}v ) ( \phi _{1}\ominus \phi _{2} ) ( x ) \frac{dx}{x^{k\alpha }} \\ =& \int _{0}^{\infty }\phi _{2} ( t ) \int _{0}^{\infty }U ( \sqrt{x}u,\sqrt{x}v ) \phi _{1} \bigl( xt^{-1} \bigr) \frac{dx}{x^{k\alpha }} \frac{dt}{t} \\ =& \int _{0}^{\infty }\phi _{2} ( t ) \int _{0}^{\infty }U ( \sqrt{tz}u,\sqrt{tz}v ) \phi _{1} ( z ) \frac{dz}{z^{k\alpha }}\frac{dt}{t^{k\alpha }} \\ =& \int _{0}^{\infty }\phi _{2} ( t ) ( U \oplus \phi _{1} ) ( \sqrt{t}u,\sqrt{t}v ) \frac{dt}{t^{k\alpha }}. \end{aligned}

Hence, we have obtained

$$\bigl( U\oplus ( \phi _{1}\ominus \phi _{2} ) \bigr) ( u,v )= \bigl( ( U\oplus \phi _{1} ) \oplus \phi _{2} \bigr) ( u,v ).$$

This proves the first part. To complete the inclusion part of the theorem, we show that

$$U\oplus \phi \in L^{1} \bigl( \mathbb{R}_{+}^{2} \bigr)\quad \text{for }U \in L^{1} \bigl( \mathbb{R}_{+}^{2} \bigr) \text{ and }\phi \in C^{ \infty } ( \mathbb{R}_{+} ) .$$
(11)

Indeed, from Eq. (6) and Fubini’s theorem, we obtain

\begin{aligned} \Vert U\oplus \phi \Vert _{L^{1} ( \mathbb{R}_{+}^{2} ) } =& \int _{\mathbb{R}_{+}^{2}} \bigl\vert ( U \oplus \phi ) ( u,v ) \bigr\vert \,d ( u,v ) \\ \leq & \int _{\mathbb{R}_{+}^{2}} \int _{ \mathbb{R}_{+}} \bigl\vert U ( \sqrt{x}u,\sqrt{x}v ) \bigr\vert \bigl\vert \phi ( x ) \bigr\vert \,dx\,d ( u,v ). \end{aligned}

The definition of the norm $$\Vert \cdot \Vert _{L^{1} ( \mathbb{R}_{+}^{2} ) }$$ of $$L^{1} ( \mathbb{R}_{+}^{2} )$$ indeed implies that

$$\Vert U\oplus \phi \Vert _{L^{1} ( \mathbb{R}_{+}^{2} ) } \leq \Vert U \Vert _{L^{1} ( \mathbb{R}_{+}^{2} ) } \int _{\mathbb{R}_{+}} \bigl\vert \phi ( x ) \bigr\vert \,dx.$$
(12)

Therefore, the right-hand side of Eq. (12) is bounded by the compactness of the support of ϕ. Hence, our theorem is completely proved. □

## 3 The spaces $$B_{1}$$ and $$B_{2}$$

To proceed in the construction of the abstract Boehmian space, we demand two sets, say G and S, and two operations, say and , where G is a topological vector space, S is a subspace of G and, for $$\alpha ,\beta \in G$$ and $$x,y\in S$$, the operation $$\star :G\times S\rightarrow G$$ and satisfy the axioms: $$x\ast y=y\ast x\in S$$, $$(\alpha \star x)\star y=\alpha \star (x\ast y)$$, $$( \alpha +\beta )\star x=\alpha \star x+\beta \star x$$; and as $$\alpha _{n}\rightarrow \alpha$$ in G, we have $$\alpha _{n}\star y\rightarrow \alpha \star y$$ for sufficiently large values of n. Besides, there should be a collection Δ of sequences in S such that:

1. (i)

If $$\{ y_{1},y_{2},\ldots,y_{n},\ldots \} , \{ x_{1},x_{2},\ldots,x_{n},\ldots \} \in \Delta$$, then $$\{ x_{1}\ast y_{1},x_{2}\ast y_{2},\ldots,x_{n}\ast y_{n},\ldots \} \in \Delta$$.

2. (ii)

If $$\alpha \in G$$ and $$\{ y_{1},y_{2},\ldots,y_{n},\ldots \} \in \Delta$$, then $$\alpha \star y_{n}\rightarrow \alpha$$ in G as $$n\rightarrow \infty$$.

Let $$\{ \alpha _{1},\alpha _{2},\ldots,\alpha _{n},\ldots \} \in G$$ and $$\{ y_{1},y_{2},\ldots,y_{n},\ldots \} \in \Delta$$, then by A we denote the collection of all pairs of sequences $$(\alpha _{n},y_{n})$$ such that $$\alpha _{n}\star y_{m}=\alpha _{m}\star y_{n}$$, $$m,n\in \mathbb{N}$$. Each element of A is said to be a quotient of sequences and is denoted by $$\frac{\alpha _{n}}{y_{n}}$$. We define a relation on A by $$\alpha _{n}/y_{n}\sim \beta _{n}/x_{n}$$ if

$$\alpha _{n}\star x_{m}=\beta _{m}\star y_{n},\quad \forall m,n\in \mathbb{N}.$$

The relation is an equivalence relation on A and decomposes it into disjoint equivalence classes. Each equivalence class is said to be a Boehmian. Every Boehmian is denoted by $$X_{\alpha _{n}}= ( \frac{\alpha _{n}}{y_{n}} )$$. The collection of all Boehmians is, for more convenience, denoted by $$B(G,S,\star ,\Delta )$$ or B. Every element α of G is identified uniquely as a member of B by $$( \frac{\alpha \star y_{n}}{y_{n}} )$$ where $$(y_{n})\in \Delta$$. The space B is a vector space with

$$\biggl( \frac{\alpha _{n}}{y_{n}} \biggr) + \biggl( \frac{\beta _{n}}{x_{n}} \biggr) = \biggl( \frac{\alpha _{n}\star x_{n}+\beta _{n}\star x_{n}}{y_{n}\ast x_{n}} \biggr)\quad \text{and}\quad \mu \biggl( \frac{\alpha _{n}}{y_{n}} \biggr) = \biggl( \frac{\mu \alpha _{n}}{y_{n}} \biggr) , \quad \mu \in \mathbb{C}.$$

In what follows, we construct the Boehmian spaces $$B_{1}\approx B ( L^{1} ( \mathbb{R}_{+} ) , ( C^{ \infty } ( \mathbb{R}_{+} ) ,\Delta ,\ominus ) ,\ominus )$$ and $$B_{2}\approx B ( L^{1} ( \mathbb{R}_{+}^{2} ) , ( C^{\infty } ( \mathbb{R}_{+} ) ,\Delta ,\ominus ) ,\oplus )$$ with the products (to act as ) and (to act as ) that seem to comply with the delta sequences and the operator $$M_{\alpha ,k}$$. We refer to [7, 14, 15, 2034] for an outright description and full details of abstract constructions of various Boehmian spaces and transform operators.

However, we provide several systematic hypotheses to generate the space $$B_{2}$$ of Boehmians. The following theorem includes a straightforward proof alluded to a simple integral calculus. Hence it has been detailed.

### Theorem 4

Let $$U_{n},U,U_{1},U_{2}\in L^{1} ( \mathbb{R}_{+}^{2} )$$ and $$\phi \in C^{\infty } ( \mathbb{R}_{+} )$$. Then we have

$$( U_{1}+U_{2} ) \oplus \phi =U_{1}\oplus \phi +U_{2} \oplus \phi ,\qquad ( \zeta U ) \oplus \phi =\zeta ( U \oplus \phi ),$$

where $$\zeta \in C$$, and, if $$U_{n}\rightarrow U$$ in $$L^{1} ( \mathbb{R}_{+}^{2} )$$, then

$$U_{n}\oplus \phi \rightarrow U\oplus \phi$$

as $$n\rightarrow \infty$$ in $$L^{1} ( \mathbb{R}_{+}^{2} )$$.

### Theorem 5

If $$U\in L^{1} ( \mathbb{R}_{+}^{2} )$$ and $$( \delta _{n} ) \in \Delta$$, then $$U\oplus \delta _{n}\rightarrow U$$ as $$n\rightarrow \infty$$.

### Proof

By the property $$\int _{-\infty }^{\infty }\delta _{n}=1$$ of delta sequences and the definition of the norm $$\Vert \cdot \Vert _{L^{1} ( \mathbb{R}_{+}^{2} ) }$$ together with the facts that $$\delta _{n}\in C^{\infty } ( \mathbb{R}_{+} )$$ and $$\operatorname{supp}\delta _{n}\subset ( \alpha _{n},\beta _{n} )$$, for all $$n\in \mathbb{N}$$, we write

\begin{aligned}& \Vert U\oplus \delta _{n}-U \Vert _{L^{1} ( \mathbb{R}_{+}^{2} ) } \\& \quad = \int _{\mathbb{R}_{+}^{2}} \biggl\vert \int _{\mathbb{R}_{+}}U ( \sqrt{x}u,\sqrt{x}v ) \delta _{n} ( x ) \frac{dx}{x^{k\alpha }}-U ( u,v ) \biggr\vert \,d ( u,v ) \\& \quad = \int _{\mathbb{R}_{+}^{2}} \biggl\vert \int _{ \mathbb{R}_{+}}U ( \sqrt{x}u,\sqrt{x}v ) \delta _{n} ( x ) \frac{d_{x}}{x^{k\alpha }}-U ( u,v ) \int _{\mathbb{R}_{+}} \delta _{n} ( x )\,dx \biggr\vert \,d ( u,v ) \\& \quad \leq \int _{\alpha _{n}}^{\beta _{n}} \int _{ \mathbb{R}_{+}^{2}} \biggl\vert \frac{U ( \sqrt{x}u,\sqrt{x}v ) }{x^{k\alpha }}-U ( u,v ) \biggr\vert \bigl\vert \delta _{n} ( x ) \bigr\vert \,dx\,d ( u,v ). \end{aligned}

By applying certain favorable computations and considering the facts

\begin{aligned}& \biggl\vert \frac{U ( \sqrt{x}u,\sqrt{x}v ) }{x^{k\alpha }}-U ( u,v ) \biggr\vert \leq 2 \Vert U \Vert _{L^{1} ( \mathbb{R}_{+}^{2} ) }\quad \text{and} \\& \bigl\vert \delta _{n} ( x ) \bigr\vert \leq A\quad \text{for some real number }A, \end{aligned}

we end up with

$$\Vert U\oplus \delta _{n}-U \Vert _{L^{1} ( \mathbb{R}_{+}^{2} ) }\leq 2A \Vert U \Vert _{L^{1} ( \mathbb{R}_{+}^{2} ) } ( \beta _{n}-\alpha _{n} ) \rightarrow 0 \quad \text{as }n\rightarrow \infty .$$

The proof is therefore ended. □

The trustworthy conclusion which can be drawn from Theorems 3, 4, and 5 is the presence of the space $$B_{2}$$ as a Boehmian space. A Boehmian in $$B_{2}$$ is defined as $$X_{\varphi _{n}}= ( \frac{\varphi _{n}}{\delta _{n}} )$$. In $$B_{2}$$, if $$X_{\varphi _{n}}= ( \frac{\varphi _{n}}{\delta _{n}} )$$ and $$X_{g_{n}}= ( \frac{g_{n}}{\varepsilon _{n}} )$$ are two Boehmians, then typically we define

$$X_{\varphi _{n}}+X_{g_{n}}= \biggl( \frac{\varphi _{n}\oplus \delta _{n}+g_{n}\oplus \delta _{n}}{\delta _{n}\ominus \varepsilon _{n}} \biggr) ,\qquad \beta X_{\varphi _{n}}= \biggl( \frac{\beta \varphi _{n}}{\delta _{n}} \biggr)\quad \text{for all } \beta \in \mathbb{C}.$$

Also, for $$\alpha \in \mathbb{R}$$ and $$\omega \in L^{1} ( \mathbb{R}_{+}^{2} )$$, we resp. define , the differentiation $$D^{\alpha }$$, and the extension of to $$B_{2}\oplus L^{1} ( \mathbb{R}_{+}^{2} )$$ in $$B_{2}$$ as

$$X_{\varphi _{n}}\oplus X_{g_{n}}= \biggl( \frac{\varphi _{n}\oplus g_{n}}{\delta _{n}\oplus \varepsilon _{n}} \biggr) ,\qquad D^{\alpha }X_{\varphi _{n}}= \biggl( \frac{D^{\alpha }\varphi _{n}}{\delta _{n}} \biggr),\quad \text{and}\quad X_{\varphi _{n}}\oplus \omega = \frac{\varphi _{n}\oplus \omega }{\delta _{n}}.$$

### Definition 6

Let $$\beta _{n},\beta \in B_{2}$$, $$n=1,2,3,\ldots$$ . Then the sequence $$\{ \beta _{1},\beta _{2},\ldots,\beta _{n},\ldots \}$$ is δ-convergent to β, denoted by $$\delta -\lim_{n\rightarrow \infty }\beta _{n}=\beta ( \beta _{n} \overset{\delta }{\rightarrow }\beta )$$, provided there can be found a delta sequence $$( \delta _{n} )$$ such that

• $$( \beta _{n}\oplus \delta _{k} )$$ and $$( \beta \oplus \delta _{k} ) \in L^{1} ( \mathbb{R}_{+}^{2} )$$ for all $$n,k\in \mathbb{N}$$,

• $$\lim_{n\rightarrow \infty }\beta _{n}\oplus \delta _{k}= \beta \oplus \delta _{k}$$ in $$L^{1} ( \mathbb{R}_{+}^{2} )$$ for all $$k\in \mathbb{N}$$.

Or, equivalently, $$\delta -\lim_{n\rightarrow \infty }\beta _{n}=\beta$$ if and only if there are $$\varphi _{n,k}$$, $$\varphi _{k}\in L^{1} ( \mathbb{R}_{+}^{2} )$$ and $$( \delta _{k} ) \in \Delta$$ such that

• $$\beta _{n}= ( \frac{\varphi _{n,k}}{\delta _{k}} )$$, $$\beta = ( \frac{\varphi _{k}}{\delta _{k}} )$$,

• to every $$k\in \mathbb{N}$$, we have$$\lim_{n \rightarrow \infty }\varphi _{n,k}=\varphi _{k}$$ in $$L^{1} ( \mathbb{R}_{+}^{2} )$$.

### Definition 7

Let $$\beta _{n},\beta \in B_{2}$$ for $$n=1,2,3,\ldots$$ . Then the sequence $$\{ \beta _{1},\beta _{2},\ldots,\beta _{n},\ldots \}$$ is Δ-convergent to β, denoted by Δ-$$\lim_{n \rightarrow \infty }\beta _{n}=\beta ( \beta _{n} \overset{\Delta }{\rightarrow }\beta )$$, provided there can be found a delta sequence $$\{ \delta _{1},\delta _{2},\ldots,\delta _{n},\ldots \}$$ such that

• $$( \beta _{n}-\beta ) \oplus \delta _{n}\in L^{1} ( \mathbb{R}_{+}^{2} )$$ ($$\forall n\in \mathbb{N}$$)

• $$\lim_{n\rightarrow \infty } ( \beta _{n}-\beta ) \oplus \delta _{n}=0$$ in $$L^{1} ( \mathbb{R}_{+}^{2} )$$.

Similarly, for $$U_{n},U,U_{1},U_{2}\in L^{1} ( \mathbb{R}_{+} )$$ and $$\phi \in C^{\infty } ( \mathbb{R}_{+} )$$, we can easily check the construction of the space $$B_{1}$$ by using the familiar properties of the Mellin type convolution (see Eq. (5)), which are $$U\ominus \phi =\phi \ominus U$$ and $$( U\ominus \phi _{1} ) \ominus \phi _{2}=U\ominus ( \phi _{1}\ominus \phi _{2} )$$ for $$U\in L^{1} ( \mathbb{R}_{+} )$$ and $$\phi _{1},\phi _{2}\in C^{\infty } ( \mathbb{R}_{+} )$$, and applying analogous techniques in proving the axioms:

1. (i)

$$( U_{1}+U_{2} ) \ominus \phi =U_{1}\ominus \phi +U_{2} \ominus \phi$$.

2. (ii)

$$( \zeta U ) \ominus \phi =\zeta ( U\ominus \phi )$$, where $$\zeta \in \mathbb{C}$$.

3. (iii)

If $$U_{n}\rightarrow U$$ in $$L^{1} ( \mathbb{R}_{+} )$$, then $$U_{n}\ominus \phi \rightarrow U\ominus \phi$$ as $$n\rightarrow \infty$$ in $$L^{1} ( \mathbb{R}_{+} )$$.

4. (iv)

If $$U\in L^{1} ( \mathbb{R}_{+} )$$ and $$( \delta _{n} ) \in \Delta$$, then $$U\ominus \delta _{n}\rightarrow U$$ as $$n\rightarrow \infty$$.

Operations on $$B_{1}$$ can be stated as they have already been defined on the space $$B_{2}$$. Therefore, in $$B_{1}$$, if $$X_{U_{n}}= ( \frac{U_{n}}{\delta _{n}} )$$ and $$X_{V_{n}}= ( \frac{V_{n}}{\varepsilon _{n}} )$$ are two Boehmians, then we define

$$X_{U_{n}}+X_{V_{n}}= \biggl( \frac{U_{n}\ominus \delta _{n}+V_{n}\ominus \delta _{n}}{\delta _{n}\ominus \varepsilon _{n}} \biggr) ,\qquad \beta X_{U_{n}}= \biggl( \frac{\beta U_{n}}{\delta _{n}} \biggr) \quad \text{for all }\beta \in \mathbb{C}.$$

Also, for $$\alpha \in \mathbb{R}$$ and $$U\in L^{1} ( \mathbb{R}_{+} )$$, we resp. define the application of to Boehmians, the differentiation $$D^{\alpha }$$, and the extension of to $$B_{1}\ominus L^{1} ( \mathbb{R}_{+} )$$ in $$B_{1}$$ as

$$X_{U_{n}}\ominus X_{V_{n}}= \biggl( \frac{U_{n}\ominus V_{n}}{\delta _{n} \ominus \varepsilon _{n}} \biggr) ,\qquad D^{\alpha }X_{U_{n}}= \biggl( \frac{D^{\alpha }U_{n}}{\delta _{n}} \biggr), \quad \text{and}\quad X_{U_{n}}\ominus U= \frac{U_{n}\ominus U}{\delta _{n}}.$$

Hence we have the following definition.

### Definition 8

Let $$( \frac{U_{n}}{\delta _{n}} ) \in B_{1}$$, then we define the generalized $$M_{\alpha ,k}$$ of $$X_{U_{n}}= ( \frac{U_{n}}{\delta _{n}} )$$ as

$$\bar{M}_{\alpha ,k} \biggl( \frac{U_{n}}{\delta _{n}} \biggr) = \bar{M}_{\alpha ,k}X_{U_{n}}= \biggl( \frac{M_{\alpha ,k}U_{n}}{\delta _{n}} \biggr) .$$

By the fact that $$M_{\alpha ,k}U_{n}\in L^{1} ( \mathbb{R}_{+}^{2} )$$, the formula in the above equation is well-defined.

### Remark 9

Let $$\{ \Omega _{1},\Omega _{2},\ldots,\Omega _{n},\ldots \} \in \Delta$$ and $$U\in L^{1} ( \mathbb{R}_{+}^{2} )$$, $$U=M_{\alpha ,k}\psi$$ for some fixed $$\psi \in L^{1} ( \mathbb{R}_{+}^{2} )$$, then we have:

1. (i)

If $$X_{\tilde{\psi }}= ( \frac{\psi \ominus \Omega _{n}}{\Omega _{n}} )$$, then the mapping $$\psi \rightarrow X_{\tilde{\psi }}$$ from $$L^{1} ( \mathbb{R}_{+} )$$ into $$B_{1}$$ is an injective.

2. (ii)

If $$Y_{\tilde{U}}= ( \frac{U\oplus \Omega _{n}}{\Omega _{n}} )$$, then the mapping $$U\rightarrow Y_{\tilde{U}}$$ from $$L^{1} ( \mathbb{R}_{+}^{2} )$$ into $$B_{2}$$ is an injective.

From Remark 9, it may be said that $$L^{1} ( \mathbb{R}_{+} )$$ (resp. $$L^{1} ( \mathbb{R}_{+}^{2} )$$) can be identified as subspaces of $$B_{1}$$ (resp. $$B_{2}$$).

### Remark 10

1. (i)

Let $$( \psi _{n} ) \in \Delta$$. Then, if $$f_{n}\rightarrow f$$ in $$L^{1} ( \mathbb{R}_{+} )$$ as $$n\rightarrow \infty$$, then for all $$k\in \mathbb{N}$$,

$$f_{n}\ominus \psi _{k}\rightarrow f\ominus \psi _{k}\quad \text{as }n \rightarrow \infty .$$
2. (ii)

Let $$( \Omega _{n} ) \in \Delta$$. Then, if $$U_{n}\rightarrow U$$ in $$L^{1} ( \mathbb{R}_{+}^{2} )$$ as $$n\rightarrow \infty$$, then for all $$k\in \mathbb{N}$$,

$$U_{n}\oplus \Omega _{k}\rightarrow U\oplus \Omega _{k}\quad \text{as }n\rightarrow \infty .$$

It follows from above that $$X_{f_{n}}\rightarrow X_{f}$$ in $$B_{1}$$ and $$Y_{U_{n}}\rightarrow Y_{U}$$ in $$B_{2}$$ as $$n\rightarrow \infty$$. Moreover, the following can also be inferred.

### Theorem 11

The mappings defined in Remark 10are continuous embedding of $$L^{1} ( \mathbb{R}_{+} )$$ (resp. $$L^{1} ( \mathbb{R}_{+}^{2} )$$) into the space $$B_{1}$$ (resp. $$B_{2}$$).

## 4 General properties

In this section, we provide certain properties of the generalized natural integral transform. In fact, the results here are brief and concise, and give the reader a general overview of the generalized operator as most of similar properties are enumerated in the previous work of the author.

### Theorem 12

Let $$X_{U_{n}}= ( \frac{U_{n}}{\delta _{n}} )$$. Then the mapping $$X_{U_{n}}\rightarrow Y_{U_{n}}$$, defined by

$$U_{A}X_{U_{n}}=Y_{U_{n}},$$

is linear and coincides with the classical transform $$M_{\alpha ,k}:L^{1} ( \mathbb{R}_{+} ) \rightarrow L^{1} ( \mathbb{R}_{+}^{2} )$$.

### Proof

Linearity is obvious. To show consistency of the transform $$M_{\alpha ,k}$$, let $$U\in L^{1} ( \mathbb{R}_{+} )$$, then U can be identified in $$B_{1}$$ as $$X_{U}$$ where $$X_{U}= ( \frac{U\ominus \delta _{n}}{\delta _{n}} )$$, which is the representation of U in $$B_{1}$$. Indeed, $$\{ \delta _{1},\delta _{2},\ldots,\delta _{n},\ldots \}$$ is independent of $$( \frac{U\ominus \delta _{n}}{\delta _{n}} )$$. Now by the convolution theorem, we have

$$\bar{M}_{\alpha ,k}X_{U}= \biggl( \frac{M_{\alpha ,k} ( U\ominus \delta _{n} ) }{\delta _{n}} \biggr) = \biggl( \frac{M_{\alpha ,k}U\oplus \delta _{n}}{\delta _{n}} \biggr) =Y_{U}.$$

Therefore, $$Y_{U}$$ is the identification in $$B_{2}$$ of $$M_{\alpha ,k}U$$ in $$L^{1} ( \mathbb{R}_{+}^{2} )$$.

The proof is therefore finished. □

### Theorem 13

Let $$X_{f_{n}}= ( \frac{U_{n}}{\delta _{n}} )$$ and $$\bar{M}_{\alpha ,k}X_{U_{n}}=Y_{U_{n}}$$. Then the mapping $$X_{U_{n}}\rightarrow Y_{U_{n}}$$ is one-to-one, onto, and continuous with respect to the convergence of the Boehmian spaces. A similar proof for this theorem can be performed by a similar way to that of [27, 28]. Hence it has been omitted.

We introduce the inverse integral operator of $$U_{A}$$ as follows.

### Definition 14

Let $$Y_{U_{n}}\in B_{2}$$, $$Y_{U_{n}}=\bar{M}_{\alpha ,k}X_{U_{n}}=\frac{M_{\alpha ,k}\chi _{n}}{\delta _{n}}$$, $$( \delta _{n} ) \in \Delta$$, $$X_{U_{n}}= ( \frac{U_{n}}{\delta _{n}} )$$. We define the inverse $$\bar{M}_{\alpha ,k}$$ integral operator of $$Y_{U_{n}}$$ as

$$\bar{M}_{\alpha ,k}^{-1}Y_{U_{n}}=X_{U_{n}}.$$
(13)

### Theorem 15

The inverse mapping $$Y_{U_{n}}\rightarrow X_{U_{n}}$$ is linear.

### Proof

Consider two Boehmians $$Y_{V_{n}}$$ and $$Y_{U_{n}}$$ in $$B_{2}$$, where $$Y_{V_{n}}= ( \frac{M_{\alpha ,k}V_{n}}{\delta _{n}} )$$ and $$Y_{U_{n}}= ( \frac{M_{\alpha ,k}U_{n}}{\epsilon _{n}} )$$. Then, for all $$n\in \mathbb{N}$$, the convolution theorem and the linearity of the integral reveal

$$Y_{V_{n}}+Y_{U_{n}}= \biggl( \frac{M_{\alpha ,k}V_{n}\oplus \epsilon _{n}+M_{\alpha ,k}U_{n}\oplus \epsilon _{n}}{\delta _{n}\ominus \epsilon _{n}} \biggr) = \biggl( \frac{M_{\alpha ,k} ( V_{n}\ominus \epsilon _{n}+U_{n}\ominus \delta _{n} ) }{\delta _{n}\ominus \epsilon _{n}} \biggr) .$$

Hence, Definition 14 yields

$$\bar{M}_{\alpha ,k}^{-1} ( Y_{V_{n}}+Y_{U_{n}} ) = \biggl( \frac{V_{n}\ominus \epsilon _{n}+U_{n}\ominus \delta _{n}}{\delta _{n}\ominus \epsilon _{n}} \biggr) .$$

Notion of addition in $$B_{1}$$ implies

$$\bar{M}_{\alpha ,k}^{-1} ( Y_{V_{n}}+Y_{U_{n}} ) =X_{V_{n}}+X_{U_{n}},$$

where $$X_{V_{n}}= ( \frac{V_{n}}{\delta _{n}} )$$ and $$X_{U_{n}}= ( \frac{U_{n}}{\epsilon _{n}} )$$. To complete the proof of the theorem, we indeed, for some $$\eta \in \mathbb{C}$$ and all $$n\in N$$, have

$$\bar{M}_{\alpha ,k}^{-1} ( \eta Y_{V_{n}} ) =\eta \bar{M}_{ \alpha ,k}^{-1}Y_{V_{n}}.$$

This finishes the proof of the theorem. □

The generalized convolution theorem can be drawn as follows.

### Theorem 16

Let $$Y_{U_{n}}\in B_{2}$$ and $$U\in D$$. Then we have

1. (i)

$$\bar{M}_{\alpha ,k}^{-1} ( Y_{U_{n}}\oplus U ) =X_{U_{n}}\ominus U$$,

2. (ii)

$$\bar{M}_{\alpha ,k} ( X_{U_{n}}\ominus U ) =Y_{U_{n}}\oplus U$$.

### Proof

Assume $$Y_{U_{n}}\in B_{2}$$ and $$U\in D$$. Then we have

$$\bar{M}_{\alpha ,k}^{-1} ( Y_{U_{n}}\oplus U ) = \bar{M}_{\alpha ,k}^{-1} \biggl( \frac{M_{\alpha ,k}U_{n}}{\epsilon _{n}} \oplus U \biggr) =\bar{M}_{\alpha ,k}^{-1} \biggl( \frac{M_{\alpha ,k}U_{n}\oplus U}{\epsilon _{n}} \biggr) .$$

By using Theorem 2 and Eq. (13), the above equation reveals

$$\bar{M}_{\alpha ,k}^{-1} ( Y_{U_{n}}\ominus U ) = \bar{M}_{ \alpha ,k}^{-1} \biggl( \frac{M_{\alpha ,k} ( U_{n}\ominus U ) }{\epsilon _{n}} \biggr) = \biggl( \frac{U_{n}}{\epsilon _{n}}\ominus U \biggr) =X_{U_{n}} \ominus U.$$

Proof of the part $$\bar{M}_{\alpha ,k} ( X_{U_{n}}\ominus U ) =Y_{U_{n}} \oplus U$$ is quite similar.

This finishes the proof of the theorem. □

## References

1. Srivastava, H.M., Luo, M., Raina, R.K.: A new integral transform and its applications. Acta Math. Sci. 35B(6), 1386–1400 (2015)

2. Khan, Z.H., Khan, W.A.: N-transform properties and applications. NUST J. Eng. Sci. 1(1), 127–133 (2008)

3. Belgacem, F.B.M., Silambarasan, R.: Maxwell’s equations solutions by means of the natural transform. Math. Eng. Sci. Aerosp. 3(3), 313–323 (2012)

4. Al-Omari, S.K.Q.: Natural transform in boehmian spaces. Nonlinear Stud. 22(2), 291–297 (2015)

5. Belgacem, F.B.M., Silambarasan, R.: Applications of the natural transform to Maxwell equations. In: Prog. Electromag. Resear. Symp. Proc., Suzhou, pp. 12–16 (2011)

6. Belgacem, F.B.M., Silambarasan, R.: Theory of natural transform. Math. Eng. Sci. Aerosp. 3, 105–135 (2012)

7. Al-Omari, S.K.Q., Agarwal, P.: Some general properties of a fractional Sumudu transform in the class of Boehmians. Kuwait J. Sci. 43(2), 206–220 (2016)

8. Al-Omari, S.K.Q.: Certain results related to the N-transform of certain class of functions and differential operators. Adv. Differ. Equ. 2018, 7 (2018)

9. Srivastava, H.M.: Some remarks on a generalization of the Stieltjes transform. Publ. Math. (Debr.) 23, 119–122 (1976)

10. Feng, S., Zhigang, P.: The inverse Laplace transform theorem of Henstock–Kurzweil integrable function. Acta Math. Sci. 27A(6), 1155–1163 (2007)

11. Atangana, A., Kilicman, A.: The use of Sumudu transform for solving certain nonlinear fractional heat-like equations. Abstr. Appl. Anal. 2013, Article ID 737481 (2013)

12. Kilicman, A., Gadain, H.E.: On the applications of Laplace and Sumudu transforms. J. Franklin Inst. 247, 848–862 (2010)

13. Singh, J., Kumar, D., Kilicman, A.: Homotopy perturbation method for fractional gas dynamics equation using Sumudu transform. Abstr. Appl. Anal. 2013, Article ID 934060 (2013)

14. Al-Omari, S.K.Q., Kilicman, A.: An estimate of Sumudu transform for Boehmians. Adv. Differ. Equ. 77, 1–12 (2013)

15. Al-Omari, S.K.Q.: Boehmian spaces for a class of Whittaker integral transformations. Kuwait J. Sci. 43(4), 32–38 (2016)

16. Eltayeb, H., Kilicman, A.: A note on the Sumudu transforms and differential equations. Appl. Math. Sci. 4(22), 1089–1098 (2010)

17. Kilicman, A., Eltayeb, H., Agarwal, R.P.: On Sumudu transform and system of differential equations. Abstr. Appl. Anal. 2010, Article ID 598702 (2010)

18. Zemanian, A.H.: Generalized Integral Transformation. Dover, New York (1968) First Published by Interscience Publishers

19. Pathak, R.S.: Integral Transforms of Generalized Functions and Their Applications. Gordon & Breach, New York (1997)

20. Banerji, P., Al-Omari, K., Debnath, L.: Tempered distributional Fourier sine (cosine) transform. Integral Transforms Spec. Funct. 17(11), 759–768 (2006)

21. Al-Omari, S.K.Q., Agarwal, P., Choi, J.: Real covering of the generalized Hankel–Clifford transform of Fox kernel type of a class of Boehmians. Bull. Korean Math. Soc. 52(5), 1607–1619 (2015)

22. Boehme, T.K.: The support of Mikusinski operators. Trans. Am. Math. Soc. 176, 319–334 (1973)

23. Nemzer, D.: Periodic Boehmians II. Bull. Aust. Math. Soc. 44, 271–278 (1991)

24. Nemzer, D.: The Laplace transform on a class of Boehmians. Bull. Aust. Math. Soc. 46, 347–352 (1992)

25. Al-Omari, S.K.Q.: On the application of natural transforms. Int. J. Pure Appl. Math. 84, 729–744 (2013)

26. Karunakaran, V., Vembu, R.: Hilbert transform on periodic Boehmians. Houst. J. Math. 29, 439–454 (2005)

27. Al-Omari, S.K.Q., Baleanu, D.: Some remarks on short-time Fourier integral operators and classes of rapidly decaying functions. Math. Methods Appl. Sci. 42(16), 5354–5361 (2018)

28. Al-Omari, S., Baleanu, D.: Quaternion Fourier integral operators for spaces of generalized quaternions. Math. Methods Appl. Sci. 41, 9477–9484 (2018)

29. Al-Omari, S.K.Q.: Some estimate of a generalized Bessel–Struve transform on certain space of generalized functions. Ukr. Math. J. 69(9), 1155–1165 (2017)

30. Al-Omari, S.K.Q.: Some characteristics of S transforms in a class of rapidly decreasing Boehmians. J. Pseudo-Differ. Oper. Appl. 5(4), 527–537 (2014)

31. Al-Omari, S.: On q-analogues of the natural transform of certain q-Bessel functions and some application. Filomat 31(9), 2587–2598 (2017)

32. Mikusinski, P.: Boehmians and pseudoquotients. Appl. Math. Inf. Sci. 5, 192–204 (2011)

33. Al-Omari, S.K.Q.: On the generalized double Sumudu transforms of distributions and space of Boehmians. Int. J. Algebra 6(3), 139–146 (2012)

34. Al-Omari, S.K.Q., Al-Omari, J.F.: Some extensions of a certain integral transform to a quotient space of generalized functions. Open Math. 13, 816–825 (2015)

## Acknowledgements

The authors would like to thank their friends and Springer Nature for their support.

## Funding

No funding sources to be declared.

## Author information

Authors

### Contributions

The authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.

### Corresponding author

Correspondence to Shrideh Khalaf Al-Omari.

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests.

## Rights and permissions

Reprints and permissions

Al-Omari, S.K., Araci, S. Certain fundamental properties of generalized natural transform in generalized spaces. Adv Differ Equ 2021, 163 (2021). https://doi.org/10.1186/s13662-021-03328-6