Research Article | Open Access

S. K. Q. Al-Omari, "On the Sumudu Transform and Its Extension to a Class of Boehmians", *International Scholarly Research Notices*, vol. 2014, Article ID 463901, 6 pages, 2014. https://doi.org/10.1155/2014/463901

# On the Sumudu Transform and Its Extension to a Class of Boehmians

**Academic Editor:**C. Zhu

#### Abstract

Boehmians are used for all objects obtained by an algebraic construction similar to that of the field of quotients. In literature, several integral transforms have been extended to various Boehmian spaces but a few to the space of strong Boehmians. As shown in the work of Al-Omari (2013), this work describes certain spaces of Boehmians. The Sumudu transform is therefore established and it is one-one and continuous in the space of Boehmians. The inverse transform is given and some results are also discussed.

#### 1. Introduction

Integral transforms are widely used in the literature, where some are often used for solving differential equations. The Sumudu transform was introduced by Watugala [1] and discussed by Weerakoon in [2]. Many properties are established in [3–5]. Having scale and unit-preserving properties, the Sumudu transform can be used to solve problems without resorting to new frequency domains. In [6] the classical Sumudu transform has been investigated over functions of two variables. In [7] the classical theorems in [6] are extended to distribution spaces and a space of Boehmians.

In this note we discuss the cited transform on certain space of strong Boehmians. Definitions and classical properties of Sumudu transforms are briefly given in Section 1. The general construction of usual and strong Boehmians is given in Sections 2 and 3, respectively. In Section 4, the Sumudu transform is extended to Boehmians and many properties are also obtained.

The Sumudu transform of is given by [1] over a set of functions given as where is of convergent series type and .

Denote by the usual convolution product of and .

Then the Sumudu transform of the convolution product is given as where and denote the Sumudu transform of and , respectively.

Following are general properties of Sumudu transforms.(i)If , and , are the Sumudu transforms of and , respectively, then (ii)(iii)

For details, see [8].

For strong Boehmians, see [9]. For usual Boehmians, see [10–19].

#### 2. Strong Boehmians

Denote by the set of positive real numbers. By denote the Schwartz space of test functions of compact support over and by the space of smooth functions over , where , . The dual space of , namely , consists of distributions of compact support [14, 20, 21].

Between and , the convolution product of and is given by where .

Since notations and denote a same product, when is either defined over or , the role of and may be interchanged in the text of this paper.

Let be the subset of of test functions such that The pair of functions, , , is said to be a quotient of functions, denoted as , if and only if where Two quotients and are said to be equivalent, , if and only if

Let the set be given as Then the equivalence class containing is said to be a strong Boehmian.

The space of all such Boehmians is denoted by and is the so-called the space of strong Boehmians.

Following conclusions are useful in the sequel [9, p.p. ].()Let ; then .()Let and ; then .()Let and ; then we have that and ()Let ; then .()Let , and ; then we have where .

Addition and scalar multiplications in are defined in the usual way as Differentiation and the operation in the space in are given as

Convergence, in , is defined as follows. A sequence of strong Boehmians is said to be convergent to a Boehmian in if for some , , and such that , , we have as in .

#### 3. General Boehmians

Boehmians were first constructed as a generalization of regular Mikusinski operators [16]. The minimal structure necessary for the construction of Boehmians consists of the following elements: (i) A set ; (ii) a commutative semigroup ,*; (iii) an operation such that for each and , , a collection , ; a collection such that if , , , then ; if , then . is the set of all delta sequences. Consider If , , , then we say . The relation is an equivalence relation in . The space of equivalence classes in is denoted by . Elements of are general Boehmians. Between and there is a canonical embedding expressed as . The operation can be extended to by . In , there are two types of convergence. () A sequence in is said to be convergent to in , denoted by , if there exists a delta sequence such that , , , and as , in , for every . () A sequence in is said to be convergent to in , denoted by , if there exists a such that , , and as in .

The following is equivalent for the statement of convergence: in if and only if there is and such that , and for each , as in .

For further discussion see [10–19].

#### 4. Sumudu Transform of Strong Boehmians

We start investigation by establishing the following theorem.

Theorem 1 (the convolution theorem). *Let and . Then one has
**
where , .*

*Proof. *By using the definition of Sumudu transform, Fubini’s theorem then gives

The substitution implies and, hence

Hence

This completes the proof of the theorem.

Next, we are describing a usual space of Boehmians by images of Sumudu transforms of strong Boehmians.

Consider the following definition.

*Definition 2. *Let , or simply , be a set of delta sequences such that and , , as .

Let be the set of images of Sumudu transforms of all elements and, be the set of Sumudu transforms of all delta sequences from .

For and , we introduce the operation as

Lemma 3. *Let and ; then , .**Proof is immediate since and .*

Lemma 4. *The following hold true. *(i)*If , then , .*(ii)*Let and be such that ; then
*

*Proof. *Proof of (i). For all we can find their related sequences . Since , , it follows
, by (23).

This proves Part (i) of the lemma.

Proof of (ii). For each delta sequence we see that
Hence

This implies

This completes the proof of the lemma.

Hence, from Lemma 4, can be regarded as delta sequence in .

Lemma 5. *The mapping defined by
**Satisfies the following properties. *(i)*, for every , .*(ii)*If and , then .*(iii)*If , , then .**Proof is straightforward from definitions.**For similar proofs see [15] and other cited papers.*

Lemma 6. *The following hold true. *(i)*If and then as .*(ii)*If and then as .*

*Proof. *Proof of (i). Let , , . The hypothesis of the lemma implies

as in .

Proof of (ii). Let ; then the fact that as implies

as in .

This completes the proof of the lemma.

The general Boehmian space , or , is, therefore, constructed.

The sum and multiplication by a scalar of two Boehmians in are defined in a natural way as The operation and differentiation in are, respectively, defined by On the other hand, we are concerned with the strong space of Boehmians that can be described by the set and the subset , injected with the family of delta sequences. Such a space is denoted by , or, simply, by , for more convenience. With this injection, the space preserves the operations of addition, scalar multiplication, differentiation, and the convolution given to general Boehmians. Theorem 1 then suggests the following definition.

*Definition 7. *Let and ; then we define the Sumudu transform of the strong Boehmian in by
where has its usual meaning.

Theorem 8. *The Sumudu transform is well-defined.*

*Proof. *Let be such that ; then using (12) we get
Applying the convolution theorem on both sides of (35) yields
Hence
This completes the proof of the theorem.

Theorem 9. *Let and ; then the mapping is one-one.*

*Proof. *Assume in . Using (34) we get

By (23) we get

Using Theorem 1, (39) becomes

Since is one-one we get

The property of equivalence classes in , therefore, implies

Hence .

This completes the proof of the theorem

Theorem 10. * is continuous with respect to convergence.*

*Proof. *Let . By using convergence in and [9, Theorem 2.6] we can find common for all such that , and as . Hence as . Therefore

Hence, as in .

This completes the proof of the theorem.

*Definition 11. *Let in ; then we define the inverse of by the formula

in .

Theorem 12. *The mapping is well-defined.*

*Proof. *Let ; then . Using (23) we get

Theorem 1 implies . Hence

This completes the proof of the Theorem.

Theorem 13. *The mapping is linear.*

*Proof. *Let and ; then using (23) we write

Also, is obvious.

The proof is completed.

Theorem 14. *The mapping is continuous with respect to convergence.*

*Proof. *Let , , , and as . Applying the inverse Sumudu transform yields as . Thus as .

This completes the proof of the theorem.

If the family of delta sequences is not described in the strong Boehmian space we have considered in this note, it will be interesting to pay attention to the following remarks.

*Useful Remark*. (i) The injection defined by

is continuous and independent of the choice of .

(ii) The injection defined by

is continuous.

*Proof. *Proof of (i) is same as that of [9, Theorem 3.1].

Detailed proof of (ii) is as follows.

Suppose , , and as uniformly on compact subsets of . Then

as .

Employing (i) we get

That is

as . Therefore

as .

This completes the proof of the remark.

#### Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.

#### References

- G. K. Watugala, “Sumudu transform—a new integral transform to solve differential equations and control engineering problems,”
*Mathematical Engineering in Industry*, vol. 6, no. 4, pp. 319–329, 1997. View at: Google Scholar - S. Weerakoon, “Application of sumudu transform to partial differential equations,”
*International Journal of Mathematical Education in Science and Technology*, vol. 25, no. 2, pp. 277–283, 1994. View at: Google Scholar - M. A. Asiru, “Further properties of the sumudu transform and its applications,”
*International Journal of Mathematical Education in Science and Technology*, vol. 33, no. 3, pp. 441–449, 2002. View at: Google Scholar - S. Weerakoon, “Complex inversion formula for sumudu transforms,”
*International Journal of Mathematical Education in Science and Technology*, vol. 29, no. 4, pp. 618–621, 1998. View at: Google Scholar - F. B. M. Belgacem, A. A. Karaballi, and S. L. Kalla, “Analytical investigations of the sumudu transform and applications to integral production equations,”
*Mathematical Problems in Engineering*, vol. 2003, no. 3-4, pp. 103–118, 2003. View at: Publisher Site | Google Scholar - H. A. Eltayeb and A. Kilicman, “On double sumudu transform and double Laplace transform,”
*Malaysian Journal of Mathematical Sciences*, vol. 4, no. 1, pp. 17–30, 2010. View at: Google Scholar - S. K. Q. Al-Omari, “Generalized functions for double sumudu transformation,”
*International Journal of Algebra*, vol. 6, no. 3, pp. 139–146, 2011. View at: Google Scholar - J. Zhang, “A sumudu based algorithm for solving differential equations,”
*Computer Science Journal of Moldova*, vol. 15, no. 3, pp. 303–313, 2007. View at: Google Scholar - E. R. Dill and P. Mikusinski, “Strong boehmians,”
*Proceedings of the American Mathematical Society*, vol. 119, no. 3, pp. 885–888, 1993. View at: Publisher Site | Google Scholar | Zentralblatt MATH - S. K. Q. Al-Omari, D. Loonker, P. K. Banerji, and S. L. Kalla, “Fourier sine (cosine) transform for ultradistributions and their extensions to tempered and ultraBoehmian spaces,”
*Integral Transforms and Special Functions*, vol. 19, no. 6, pp. 453–462, 2008. View at: Publisher Site | Google Scholar | Zentralblatt MATH - S. K. Q. Al-Omari and A. Kiliçman, “On diffraction fresnel transforms for boehmians,”
*Abstract and Applied Analysis*, vol. 2011, Article ID 712746, 11 pages, 2011. View at: Publisher Site | Google Scholar | Zentralblatt MATH - S. K. Q. Al-Omari, “Hartley transforms on certain space of generalized functions,”
*Georgian Mathematical Journal*, vol. 20, no. 3, pp. 415–426, 2013. View at: Google Scholar - S. K. Q. Al-Omari and A. Kilicman, “Note on boehmians for class of optical fresnel wavelet transforms,”
*Journal of Function Spaces and Applications*, vol. 2012, Article ID 405368, 14 pages, 2012. View at: Publisher Site | Google Scholar | Zentralblatt MATH - S. K. Q. Al-Omari and A. Kılıçman, “On generalized Hartley-Hilbert and Fourier-Hilbert transforms,”
*Advances in Diference Equations*, vol. 2012, no. 232, 2012. View at: Publisher Site | Google Scholar - S. K. Q. Al-Omari, “Notes for hartley transforms of generalized functions,”
*Italian Journal of Pure and Applied Mathematics*, vol. 28, pp. 21–30, 2011. View at: Google Scholar | Zentralblatt MATH - T. K. Boehme, “The support of mikusinski operators,”
*Transactions of the American Mathematical Society*, vol. 176, pp. 319–334, 1973. View at: Google Scholar - P. Mikusinski, “Fourier transform for integrable boehmians,”
*Rocky Mountain Journal of Mathematics*, vol. 17, no. 3, pp. 577–582, 1987. View at: Google Scholar - S. K. Q. Al-Omari, “On the application of natural transforms,”
*International Journal of Pure and Applied Mathematics*, vol. 85, no. 4, pp. 729–744, 2013. View at: Google Scholar - S. K. Q. Al-Omari and A. Kilicman, “Some remarks on the extended Hartley-Hilbert and Fourier-Hilbert transforms of boehmians,”
*Abstract and Applied Analysis*, vol. 2013, Article ID 348701, 6 pages, 2013. View at: Publisher Site | Google Scholar - R. S. Pathak,
*Integral Transforms of Generalized Functions and Their Applications*, Gordon and Breach Science Publishers, Australia, 1997. - A. H. Zemanian,
*Generalized Integral Transformation, Dover Publications*, Interscience Publishers, New York, NY, USA, 1st edition, 1987.

#### Copyright

Copyright © 2014 S. K. Q. Al-Omari. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.