Open Access Research

Fractional exponential operators and time-fractional telegraph equation

Alireza Ansari

Author affiliations

Department of Applied Mathematics, Faculty of Mathematical Sciences, Shahrekord University, P.O. Box 115, Shahrekord, Iran

Citation and License

Boundary Value Problems 2012, 2012:125  doi:10.1186/1687-2770-2012-125


The electronic version of this article is the complete one and can be found online at: http://www.boundaryvalueproblems.com/content/2012/1/125


Received:27 July 2012
Accepted:12 October 2012
Published:29 October 2012

© 2012 Ansari; licensee Springer

This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

In this paper, the Bromwich integral for the inverse Mellin transform is used for finding an integral representation for a fractional exponential operator. This operator can be considered as an approach for solving partial fractional differential equations. Also, application of this operator for obtaining a formal solution of the time-fractional telegraph equation is discussed.

MSC: 26A33, 35A22, 44A10.

Keywords:
Laplace transform; Mellin transform; partial fractional differential equation; Wright function

1 Introduction and problem

We consider the exponential operator

e λ [ q ( x ) d d x + v ( x ) ] f ( x ) = f ( x ( λ ) ) g ( λ ) , (1.1)

where x ( λ ) , g ( λ ) are specified by the system of first-order differential equations [1]

{ d d λ x ( λ ) = q ( x ( λ ) ) , x ( 0 ) = x d d λ g ( λ ) = v ( x ( λ ) ) g ( λ ) , g ( 0 ) = 1 . (1.2)

By the above exponential operator, Dattoli et al. found solutions of some boundary value problems arising in mathematical physics in terms of integral transforms type; see [2,3] and references therein. Also, they used this operational technique to describe properties of some special polynomials and functions [4-6]; also see [4].

When we encounter an exponential operator of higher order e λ α s α , where α is integer or non-integer and s = q ( x ) d d x + v ( x ) , it is of interest to have an integral representation to reduce the order and apply the relation (1.1). For example, for exponential operators of orders two and three, we can write the Gauss-Weierstrass and the Airy integrals [2,7]

e λ 2 s 2 = 1 π e ξ 2 + 2 λ s ξ d ξ , (1.3)

e λ 3 s 3 = e 3 3 λ s ξ Ai ( ξ ) d ξ , (1.4)

where Ai ( ξ ) is the Airy function of the first kind given by

Ai ( ξ ) = 1 π 0 cos ( t 3 3 + ξ t ) d t . (1.5)

For the fractional exponential operator e λ α s α , 0 < α < 1 , it may occur that this operator can be written as the Laplace transform of the Wright function [8-10]

e λ α s α = 0 e s t 1 t W ( α , 0 ; λ α t α ) d t , (1.6)

where the Wright function is presented by the following relation [11]:

W ( α , β ; t ) = k = 0 t k k ! Γ ( α k + β ) , α > 1 , β C , t C . (1.7)

In this paper, in a general case we obtain an integral representation for e λ α s α , α > 0 , with order one for s, and then we show how this operator can be applied to find the formal solutions of partial fractional differential equations (PFDEs).

This problem for integral representation is referred to as the inverse of the Mellin transform of e λ α s α , α > 0 , and in Section 2, we state main theorems and corollaries related to it. In Section 3, as an application of this technique, we find formal solutions of the space-fractional Moshinskii’s equation and the time-fractional telegraph equation. Finally, in Section 4 the main conclusions are drawn.

2 Main theorems and corollaries

In this section, we establish some theorems on the fractional exponential operator which can be useful for solving PFDEs. First, we derive an integral representation for the operator e λ n s n , which can be considered as a generalized representation of the relations (1.3) and (1.4).

Theorem 2.1The following identity holds true for c 1 < s < c 2 :

e λ n s n = 1 π e s ξ A n ( ξ , λ ) d ξ , n = 2 , 3 , , (2.1)

where the function A n ( ξ , λ ) is presented by

A n ( ξ , λ ) = { 0 cos ( r ξ + ( 1 ) n + 1 2 λ n r n ) ) d r , n = 2 k + 1 , 1 n λ 0 e r cos ( 1 λ r 1 n ξ ) r 1 1 n d r , n = 4 k + 2 , 1 n λ 0 e r cos ( 1 λ r 1 n ξ ) r 1 1 n d r , n = 4 k . (2.2)

Proof By the definition of the inverse of the Mellin transform for a function e λ n s n , we have

1 2 π i c i c + i e λ n s n t s d s = 1 2 π 0 e ( i λ r ) n t i r d r + 1 2 π 0 e ( i λ r ) n t i r d r = 1 2 π 0 e λ n r n e n π 2 i t i r d r + 1 2 π 0 e λ n r n e n π 2 i t i r d r = 1 2 π 0 e λ n r n cos ( n π 2 ) e i λ n r n sin ( n π 2 ) + i r ln ( t ) d r + 1 2 π 0 e λ n r n cos ( n π 2 ) e i λ n r n sin ( n π 2 ) i r ln ( t ) d r = 1 π 0 e λ n r n cos ( n π 2 ) cos ( r ln ( t ) λ n r n sin ( n π 2 ) ) d r . (2.3)

The above relation implies that the Mellin transform of the last integral is equal to the function e λ n s n , that is,

e λ n s n = 1 π M { 0 e λ n r n cos ( n π 2 ) cos ( r ln ( t ) λ n r n sin ( n π 2 ) ) d r ; s } = 1 π 0 t s 1 0 e λ n r n cos ( n π 2 ) cos ( r ln ( t ) λ n r n sin ( n π 2 ) ) d r d t .

By setting ln ( t ) = ξ , we get the relation (2.1). □

Theorem 2.2 (The Schouten-Van der Pol theorem for the Laplace transform [12])

Letcbe a suitable real constant such that F ( s ) and Φ ( s ) are analytic functions in the half-plane s > c and F ( s ) is the Laplace transform of f ( t ) . Then the inverse of the Laplace transform F ( Φ ( s ) ) is given by

g ( t ) = L 1 { F ( Φ ( s ) ) ; t } = 0 f ( τ ) [ 1 2 π i c i c + i e Φ ( s ) τ + t s d s ] d τ . (2.4)

Proof Using the definition of the Laplace transform for F ( Φ ( s ) )

F ( Φ ( s ) ) = 0 e Φ ( s ) τ f ( τ ) d τ ,

replacing in the inverse of the Laplace transform F ( Φ ( s ) )

g ( t ) = L 1 { F ( Φ ( s ) ) ; t } = 1 2 π i c i c + i F ( Φ ( s ) ) e t s d s

and changing the order of integration, we get the relation (2.4). □

Corollary 2.3It is obvious that by setting Φ ( s ) = s α , 0 < α < 1 , in the relations (2.4) and using the relation (1.6) for the inverse of the Laplace transform e s α , the inverse of the Laplace transform F ( s α ) can be presented by

L 1 { F ( s α ) ; t } = 1 t 0 f ( τ ) W ( α , 0 ; τ t α ) d τ . (2.5)

Corollary 2.4By setting F ( s ) = e λ n s n and combining the relations (2.1) and (2.5), we get a new integral representation for the fractional exponential equation e λ n s γ

e λ n s γ = 1 π e s ξ A n ( α ) ( ξ , λ ) d ξ , γ = n α , 0 < α 1 , (2.6)

where the function A n ( α ) ( ξ ) is given by

A n ( α ) ( ξ , λ ) = 1 ξ 0 A n ( τ , λ ) W ( α , 0 ; τ ξ α ) d τ . (2.7)

In view of the theorems of a fractional exponential operator expressed in this section, we may apply this operator to PFDEs in the next section.

3 Application to partial fractional differential equations

Example 3.1 In connection with initial-value diffusions, we consider the space-fractional Moshinskii’s equation of order γ in the Riemann-Liouville sense [12]

t u ( x , t ) = 1 1 + x 2 ( ( 1 + x 2 ) x ) γ u ( x , t ) , γ > 0 , x > 0 , t > 0 (3.1)

with the Cauchy-type initial condition as u ( x , 0 ) = f ( x ) .

In order to obtain the solution of (3.1), by solving the first-order partial differential with respect to t and applying the initial condition, the formal solution in the form of fractional exponential operator gives rise to

u ( x , t ) = e t 1 + x 2 ( ( 1 + x 2 ) x ) γ f ( x ) . (3.2)

Now, by setting ( t 1 + x 2 ) 1 n = λ , s = ( 1 + x 2 ) x and applying Corollary 2.4 for the integral representation of e λ n s γ , we can write the solution in terms of the integral transform as

u ( x , t ) = 1 π e ( 1 + x 2 ) x ξ A n ( α ) ( ξ , λ ) f ( x ) d ξ , γ = n α , 0 < α 1 ,

where the function A n ( α ) ( ξ , λ ) is given by the relation (2.7). The above relation can be simplified in the following form:

u ( x , t ) = 1 π A n ( α ) ( ξ , ( t 1 + ( tan ( ξ + tan 1 ( x ) ) ) 2 ) 1 n ) f ( tan ( ξ + tan 1 ( x ) ) ) d ξ , (3.3)

where we used the relations (1.1) and (1.2) by choosing the functions q ( x ) = 1 + x 2 and v ( x ) = 0 .

Example 3.2 As another application, we consider the time-fractional telegraph equation [13,14]

2 x 2 u ( x , t ) = [ a 2 α t 2 α + b α t α + c ] u ( x , t ) , 0 < α 1 , x , t > 0 , a , b , c R (3.4)

with initial and asymptotic conditions u ( 0 , t ) = f ( t ) , lim x u ( x , t ) = 0 .

Similar to the previous problem by solving the equation with respect to x and applying the initial and asymptotic conditions, the formal solution takes the form:

u ( x , t ) = e x a 2 α t 2 α + b α t α + c f ( t ) . (3.5)

Now, by setting t = s and writing an integral representation for e x a s 2 + b s + c in terms of the Bessel function of order one, we get [15]

(3.6)

We can rewrite the relation (3.5) in the following form:

u ( x , t ) = e x b 2 a 0 1 τ W ( α , 0 ; x a τ α ) f ( t τ ) d τ x Δ a e b 2 a 0 1 τ f ( t τ ) x a J 1 ( Δ a u 2 a x 2 ) u 2 a x 2 × W ( α , 0 ; u τ α ) d u d τ , (3.7)

where we used the relation (2.6) for the linearization of a fractional exponential operator e x s α , and then we applied the relations (1.1) and (1.2) by substituting q ( x ) = 1 and v ( x ) = 0 .

4 Conclusions

This paper provides some new results in the theory of fractional derivative. These results show the flexible operational technique can be used in a fairly wide context beside the integral transforms for obtaining the formal solutions of PFDEs.

Also, this technique can be considered as a promising approach for many applications in applied sciences.

Competing interests

The author declares that he has no competing interests.

Acknowledgements

The author was partially supported by the Center of Excellence for Mathematics, University of Shahrekord.

References

  1. Dattoli, G, Ottaviani, PL, Torte, A, Vazquez, L: Evolution operators equations: integration with algebraic and finite difference methods. Applications to physical problems in classical and quantum mechanics and quantum field theory. Riv. Nuovo Cimento. 20, 1–133 (1997)

  2. Dattoli, G, Srivastava, HM, Zhukovsky, Z: Operational methods and differential equations with applications to initial-value problems. Appl. Math. Comput.. 184, 979–1001 (2007). Publisher Full Text OpenURL

  3. Dattoli, G, Ricci, PE, Khomasuridze, I: Operational methods, special polynomial and functions and solution of partial differential equations. Integral Transforms Spec. Funct.. 15(4), 309–321 (2004). Publisher Full Text OpenURL

  4. Babusci, D, Dattoli, G, Sacchetti, D: The Airy transform and the associated polynomials. Cent. Eur. J. Phys.. 9(6), 1381 (2011). Publisher Full Text OpenURL

  5. Dattoli, G: Operational methods, fractional operators and special polynomials. Appl. Math. Comput.. 141, 151–159 (2003). Publisher Full Text OpenURL

  6. Dattoli, G, Ricci, PE, Sacchetti, D: Generalized shift operators and pseudo-polynomials of fractional order. Appl. Math. Comput.. 141, 215–224 (2003). Publisher Full Text OpenURL

  7. Vallee, O, Soares, M: Airy Functions and Applications to Physics, Imperial College Press, London (2004)

  8. Aghili, A, Ansari, A: Solving partial fractional differential equations using the L A -transform. Asian-Eur. J math.. 3(2), 209–220 (2010). Publisher Full Text OpenURL

  9. Aghili, A, Ansari, A: Solution to system of partial fractional differential equation using the L 2 -transform. Anal. Appl.. 9(1), 1–9 (2011). Publisher Full Text OpenURL

  10. Ansari, A, Refahi Sheikhani, A, Saberi Najafi, H: Solution to system of partial fractional differential equation using the fractional exponential operators. Math. Methods Appl. Sci.. 35, 119–123 (2012). Publisher Full Text OpenURL

  11. Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations, Elsevier, Amsterdam (2006)

  12. Duffy, DG: Transform Methods for Solving Partial Differential Equations, CRC Press, New York (2004)

  13. Chen, J, Liu, F, Anh, V: Analytical solution for the time-fractional telegraph equation by the method of separating variables. J. Math. Anal. Appl.. 338, 1364–1377 (2008). Publisher Full Text OpenURL

  14. Orsingher, E, Beghin, L: Time-fractional telegraph equations and telegraph processes with Brownian time. Probab. Theory Relat. Fields. 128, 141–160 (2004). Publisher Full Text OpenURL

  15. Ditkin, VA, Prudnikov, AP: Integral Transforms and Operational Calculus, Pergamon, Elansford (1965) English translation