Mathematical Problems in Engineering

Volume 2013 (2013), Article ID 531984, 7 pages

http://dx.doi.org/10.1155/2013/531984

Research Article

A Novel Integral Operator Transform and Its Application to Some FODE and FPDE with Some Kind of Singularities

Abdon Atangana¹ and Adem Kilicman²

¹Institute for Groundwater Studies, Faculty of Natural and Agricultural Sciences, University of the Free State, Bloemfontein 9300, South Africa

²Department of Mathematics and Institute for Mathematical Research, Universiti Putra Malaysia, 43400, Serdang, Selangor, Malaysia

Received 14 April 2013; Accepted 11 July 2013

Academic Editor: Hossein Jafari

Copyright © 2013 Abdon Atangana and Adem Kilicman. 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.

Abstract.

We introduced a novel integral transform operator. We proved the existence and the uniqueness of the relatively new operator. We presented some useful properties of the new operator. We presented the application of this operator for solving some kind of fractional ordinary and partial differential equation containing some kind of singularity.

1. Introduction

Mathematical notation aside, the motivation behind integral transforms is easy to understand. There are many classes of problems that are difficult to solve or at least quite unwieldy algebraically in their original representations. An integral transform “maps” an equation from its original “domain” into another domain [1–3]. Manipulating and solving the equation in the target domain can be much easier than manipulation and solution in the original domain. The solution is then mapped back to the original domain with the inverse of the integral transform. There exist few integral transform operators in the literature [1–3], which are commonly used to solve partial fractional and fractional ordinary differential equations.

The Fourier transform, named after Joseph Fourier, is a mathematical transform with many applications in physics and engineering [4–11]. Very commonly it transforms a mathematical function of time, , into a new function, sometimes denoted by , whose argument is frequency with units of cycles per second or (hertz) or radians per second. The new function is then known as the Fourier transform and/or the frequency spectrum of the function . The Fourier transform is also a reversible operation. Thus, given the function one can determine the original function ; see in [8].

The Laplace transform is an integral transform perhaps second only to the Fourier transform in its utility in solving physical problems [12–17]. The Laplace transform is particularly useful in solving linear ordinary differential equations or partial fractional differential equations such as those arising in the analysis of groundwater pollution model [13] and electronic circuits [14].

In mathematics, the Mellin transform [15] is an integral transform that may be regarded as the multiplicative version of the two-sided Laplace transform. This integral transform is closely connected to the theory of Dirichlet series and is often used in number theory and the theory of asymptotic expansions; it is closely related to the Laplace transform and the Fourier transform and the theory of the gamma function and allied special functions.

The Mellin transform is widely used in computer science because of its scale invariance property [18]. The magnitude of the Mellin transform of a scaled function is identical to the magnitude of the original function [18]. This scale invariance property is analogous to the Fourier transform’s shift invariance property. The magnitude of a Fourier transform of a time-shifted function is identical to the original function. This property is useful in image recognition. An image of an object is easily scaled when the object is moved towards or away from the camera [19].

In mathematics, the Sumudu transform is an integral transform similar to the Laplace transform, introduced in the early 1990s by Watugala to solve differential equations and control engineering problems [20–27]. It is equivalent to the Laplace-Carson transform with the substitution .

However, there exists some kind of fractional ordinary and partial differential equations with some kind of singularities that cannot be solved directly via the above integral transform operators. In particular, the following kind of fractional ordinary and partial differential equations

or

where , , is the fractional derivative (Riemann-Liouville or Caputo) and .

To solve the above equations, some scholars make use of the Frobenius method, to obtain the solutions in series form. The Laplace transform of the product of two functions is different from the product of the Laplace transform of the two functions. The Fourier transform of the product of two functions is equivalent to the convolution of the Fourier transform of the two functions. This renders it very difficult to apply directly either the Laplace transform or the Fourier transform operators to solve this type of equation. Therefore some scholars multiply on both sides of the above equations and then apply the Fourier or the Laplace transform. It is therefore worth to define an integral transform similar to Laplace or Laplace-Carson transform to transform such equation to an ordinary or partial differential equation without any additional transformation.

The aim of this work is to further introduce an integral transform operator that can be used to solve some kind of ordinary, partial and fractional ordinary, partial differential equation with some kind of singularities. We will start with the definition and present some theorems.

2. Definitions and Theorems

Definition 1. Let be a continuous function over an open interval such that its Laplace transform is time differentiable; then, the new integral transform of order of is defined as follows:

and the inverse of the new integral transform of order is defined as

where is the Laplace transform of . Before we continue, we will prove that the above definition is indeed the inverse operator transform of order . In fact from the definition of new transform of order of a function , we have that

thus

It follows that

Therefore the inverse of the new integral transform is well defined. Our next concern is to prove the uniqueness and the existence of the new integral transform.

Theorem 2. Let and be continuous functions defined for and having new transforms of order , , and , respectively. If , then .

Proof. From the definition of the inverse of the new transform of order , if is sufficiently large, then the integral expression, by

for the inverse of the new integral transform of order , can be used to obtain

By hypothesis we have that ; then replacing this in the above expression we have the following:

which boils down to

and this proves the uniqueness of the new integral transform of order .

Theorem 3. If is a piecewise continuous on every finite interval in and satisfies:

for all , then exists for all .

Proof. To prove the theorem we must show that the improper integral converges for . Splitting the improper integral into two parts, we have

The first integral on the right side exists by ; hence the existence of the new integral transform of order , , depends on the convergence of the second integral. By , we have

Now

this converges for . Then, by the comparison test for improper integrals theorem, , exists for .

Remark 4. There is a relationship between the Laplace transform and the new integral transform of order as follows:

where is the Laplace transform of .

Remark 5. There is a relationship between the Laplace-Carson transform and then new integral transform of order   as follows:

Theorem 6. A function which is continuous on and satisfies the growth condition can be recovered from the Laplace transform as follows:

Evidently, the main difficulty in using Theorem 6 for computing the inverse Laplace transform is the repeated symbolic differentiation of .

3. Some Properties of the New Integral Transform

In this section, we consider some of the properties of the new integral transform that will enable us to find further transform pairs without having to compute consider the following:

Let us verify the above properties. We will start with , by definition we have the following:

and then the first property is verified.

For II we have the following by definition:

Now using the property of the Laplace transform , from this we can further obtain

and then, the property number II is verified.

For number III we have the following: Let , then

By the theorem of inverse Laplace transform we obtain

numbers IV and V are obvious to be verified. For number VI we have the following by definition:

now using the property of Laplace transform of the convolution, we obtain the following:

and then, using the property of the derivative of order for the product of two functions, we obtain

and then, the property number VI is verified.

For number VII, by definition, we have the following:

now using the property of the Laplace transform,

now deriving the above expression times, we obtain the following expression:

that is:

This completes the proof of number VI.

4. Application to FODE and FPDE

Recently, the differential equations of fractional order derivative with singularities have been the focus of many studies due to their frequent appearance in various applications in fluid mechanics, viscoelasticity, biology physics, engineering, and groundwater models, in particular the monitoring of the flow through the geological formation and the pollution migration. Consequently, considerable attention has been given to the solutions of fractional differential equations and integral equations with singularity of physical interest. There exists in the literature some integral transform method that can be used to derive exact and approximate solutions for such equations; see, for instance, Laplace transform method [4–11], the Fourier transform method [12–17], the Mellin transform method [18, 19], the Sumudu transform method [20–27], the Adomian decomposition method [28, 29], and the homotopy decomposition method [30–33]. In this section we present the application of the proposed integral operator to the Cauchy-type of fractional ordinary differential and partial differential equations. We will start with the fractional ordinary differential equation. Here we consider the Cauchy-type equation of the following form:

To solve the above equation, we apply on both sides the new integral transform of order to obtain the following:

The new integral transform has gotten rid of the singularity; the new equation is just an ordinary fractional differential equation, which can be solved with, for instance, the homotopy decomposition method. Let us find the exact solution of the above equation for given below as

We will make use of the new integral transform to derive analytical solution of (34). Applying the new transform of order 1 on both sides of the above equation,  we obtain the following expression:

where  . Now, one can derive the solution of the ordinary order differential equation with respect to the Laplace transform of :

with an arbitrary real constant that will be obtained via the initial condition. We next expand the exponential function in the integrand in a series, and using term-by-term integration, we arrive at the following expression:

with of course

Now, applying the inverse Laplace transform on and using the fact that

we obtain

with the generalized Wright function for and [34–37]. We next expand the exponential function in power series, multiplying the resulting two series; in addition to this if we consider the number defined for , and ,

The above family of number possesses satisfies the following recursive formula:

which produces the explicit expression for in the form of

Now having the above expression on hand, we can derive that

However, remembering (40) with , we can further derive the following expression for as

or in the simplified version we have

where

It follows that the solution of the Cauchy-type equation is in the form of

We will examine the solution of the following fractional partial differential equation of the following form:

with initial and boundary conditions of the form

To solve the above problem, the first step consists of applying the new integral transform on both sides of (49) to obtain

where is the Laplace variable. The next step in this derivation is to apply the Fourier transform in time to obtain

where is the Fourier variable. It follows that the solution of the above equation is simply given as

The next step is to put exponential function in series form as follows

Then, we first apply the inverse Laplace in both sides of the above equation to obtain

Making use of the linearity to the inverse Laplace transform, we obtain

And finally making use of the inverse Fourier transform and its linearity, we obtain

This, produces the solution of (49).

5. Conclusion

We introduced a new integral operator transform. We presented its existence and uniqueness. We presented some properties and its application for solving some kind of ordinary and partial fractional differential equations that arise in many fields of sciences.

Conflict of Interests

The authors declare that they have no conflict of interests.

Authors’ Contribution

A. Atangana wrote the first draft and A. Kilicman corrected the final version. All authors read and approved the final draft.

Acknowledgments

The authors would like to thank the referee for some valuable comments and helpful suggestions. Special thanks go to the editor for his valuable time spent to evaluate this paper.

References

A. D. Polyanin and A. V. Manzhirov, Handbook of Integral Equations, CRC Press, Boca Raton, Fla, USA, 1998.

R. K. M. Thambynayagam, The Diffusion Handbook: Applied Solutions for Engineers, McGraw-Hill, New York, NY, USA, 2011.

M. Hazewinkel, “Integral transform,” in Encyclopedia of Mathematics, Springer, 2001.

B. Boashash, Time-Frequency Signal Analysis and Processing: A Comprehensive Reference, Elsevier Science, Oxford, UK, 2003.

S. Bochner and K. Chandrasekharan, Fourier Transforms, Princeton University Press, Princeton, NJ, USA, 1949.

R. N. Bracewell, the Fourier Transform and Its Applications, McGraw-Hill, Boston, Mass, USA, 3rd edition, 2000.

G. A. Campbell and R. M. Foster, Fourier Integrals for Practical Applications, D. Van Nostrand Company, New York, NY, USA, 1948.

E. U. Condon, “Immersion of the Fourier transform in a continuous group of functional transformations,” Proceedings of the National Academy of Sciences of the USA, vol. 23, pp. 158–164, 1937.

J. Duoandikoetxea, Fourier Analysis, vol. 29, The American Mathematical Society, Providence, RI, USA, 2001.

L. Grafakos, Classical and Modern Fourier Analysis, Prentice-Hall, 2004.

E. Hewitt and K. A. Ross, Abstract Harmonic Analysis. Vol. II: Structure and Analysis for Compact Groups. Analysis on Locally Compact Abelian Groups, Springer, New York, NY, USA, 1970.

L. Schwartz, “Transformation de Laplace des distributions,” Seminaire Mathématique de l'Université de Lund, vol. 1952, pp. 196–206, 1952 (French).

A. Atangana and A. Kilicman, “Analytical solutions of the space-time fractional derivative of advection dispersion equation,” Mathematical Problems in Engineering, vol. 2013, Article ID 8531279, 2013.

W. M. Siebert, Circuits, Signals, and Systems, MIT Press, Cambridge, Mass, USA, 1986.

A. Atangana, “A note on the triple laplace transform and its applications to some kind of third-order differential equation,” Abstract and Applied Analysis, vol. 2013, Article ID 769102, 10 pages, 2013.

D. V. Widder, “What is the Laplace transform?” The American Mathematical Monthly, vol. 52, pp. 419–425, 1945.

J. Williams, Laplace Transforms (Problem Solvers), vol. 10, George Allen and Unwin, 1973.

P. Flajolet, X. Gourdon, and P. Dumas, “Mellin transforms and asymptotics: harmonic sums,” Theoretical Computer Science, vol. 144, no. 1-2, pp. 3–58, 1995.

J. Galambos and I. Simonelli, Products of Random Variables: Applications to Problems of Physics and to Arithmetical Functions, vol. 4, Marcel Dekker, New York, NY, USA, 2004.

G. K. Watugala, “Sumudu transform: a new integral transform to solve differential equations and control engineering problems,” International Journal of Mathematical Education in Science and Technology, vol. 24, no. 1, pp. 35–43, 1993.

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.

M. G. M. Hussain and F. B. M. Belgacem, “Transient solutions of Maxwell's equations based on sumudu transform,” Progress in Electromagnetics Research, vol. 74, pp. 273–289, 2007.

F. Oberhettinger and L. Badii, Tables of Laplace Transforms, Springer, Berlin, Germany, 1973.

V. A. Ditkin and A. P. Prudnikov, Integral Transforms and Operational Calculus, Pergamon Press, Oxford, UK, 1965.

W. Balser, From Divergent Power Series to Analytic Functions, vol. 1582, Springer, Berlin, Germany, 1994.

A. Atangana and A. Kilicma, “The use of sumudu transform for solving certain nonlinear fractional heat-like equations,” Abstract and Applied Analysis, vol. 2013, Article ID 737481, p. 12, 2013.

S. Weerakoon, “The “Sumudu transform” and the Laplace transform: reply,” International Journal of Mathematical Education in Science and Technology, vol. 28, no. 1, p. 160, 1997.

M. Y. Ongun, “The Laplace Adomian Decomposition Method for solving a model for HIV infection of cells,” Mathematical and Computer Modelling, vol. 53, no. 5-6, pp. 597–603, 2011.

A. Atangana, “New class of boundary value problems,” Information Sciences Letters, vol. 1, no. 2, pp. 67–76, 2012.

A. Atangana and J. F. Botha, “Analytical solution of groundwater flow equation via homotopy decomposition method,” Journal of Earth Science and Climatic Change, vol. 3, article 115, 2012.

A. Atangana and A. Secer, “The time-fractional coupled-Korteweg-de-Vries equations,” Abstract and Applied Analysis, vol. 2013, Article ID 947986, 8 pages, 2013.

A. Atangana and E. Alabaraoye, “Solving a system of fractional partial differential equations arising in the model of HIV infection of CD4⁺ cells and attractor one-dimensional Keller-Segel equations,” in Advances in Difference Equations, vol. 2013, article 94, 2013.

A. Atangana, A. Ahmed, and N. Bilick, “A generalized version of a low velocity impact between a rigid sphere and a transversely isotropic strain-hardening plate supported by a rigid substrate using the concept of non-integer derivatives,” Abstract and Applied Analysis, vol. 2013, Article ID 671321, 9 pages, 2013.

K. B. Oldham and J. Spanier, The Fractional Calculus, Academic Press, New York, NY, USA, 1974.

I. Podlubny, Fractional Differential Equations, vol. 198, Academic Press, New York, NY, USA, 1999.

K. S. Miller and B. Ross, An Introduction to the Fractional Calculus and Fractional Differential Equations, John Wiley & Sons, New York, NY, USA, 1993.

A. A. Kilbas, H. M. Srivastava, and J. J. Trujillo, Theory and Applications of Fractional Differential Equations, Elsevier, Amsterdam, The Netherlands, 2006.