Skip to main content

Fractional exponential operators and time-fractional telegraph equation

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.

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 ) dt.
(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 − α ) dt,
(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.1 The 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])

Let c be 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 ds

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

Corollary 2.3 It 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.4 By 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.

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 1997, 20: 1-133.

    Google Scholar 

  2. Dattoli G, Srivastava HM, Zhukovsky Z: Operational methods and differential equations with applications to initial-value problems. Appl. Math. Comput. 2007, 184: 979-1001. 10.1016/j.amc.2006.07.001

    Article  MathSciNet  Google Scholar 

  3. Dattoli G, Ricci PE, Khomasuridze I: Operational methods, special polynomial and functions and solution of partial differential equations. Integral Transforms Spec. Funct. 2004, 15(4):309-321. 10.1080/10652460410001673013

    Article  MathSciNet  Google Scholar 

  4. Babusci D, Dattoli G, Sacchetti D: The Airy transform and the associated polynomials. Cent. Eur. J. Phys. 2011, 9(6):1381. 10.2478/s11534-011-0057-9

    Google Scholar 

  5. Dattoli G: Operational methods, fractional operators and special polynomials. Appl. Math. Comput. 2003, 141: 151-159. 10.1016/S0096-3003(02)00329-6

    Article  MathSciNet  Google Scholar 

  6. Dattoli G, Ricci PE, Sacchetti D: Generalized shift operators and pseudo-polynomials of fractional order. Appl. Math. Comput. 2003, 141: 215-224. 10.1016/S0096-3003(02)00334-X

    Article  MathSciNet  Google Scholar 

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

    Book  Google Scholar 

  8. Aghili A, Ansari A:Solving partial fractional differential equations using the L A -transform. Asian-Eur. J math. 2010, 3(2):209-220. 10.1142/S1793557110000143

    Article  MathSciNet  Google Scholar 

  9. Aghili A, Ansari A:Solution to system of partial fractional differential equation using the L 2 -transform. Anal. Appl. 2011, 9(1):1-9. 10.1142/S0219530511001765

    Article  MathSciNet  Google Scholar 

  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. 2012, 35: 119-123. 10.1002/mma.1545

    Article  MathSciNet  Google Scholar 

  11. Kilbas AA, Srivastava HM, Trujillo JJ North-Holland Mathematics Studies 204. In Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.

    Google Scholar 

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

    Book  Google Scholar 

  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. 2008, 338: 1364-1377. 10.1016/j.jmaa.2007.06.023

    Article  MathSciNet  Google Scholar 

  14. Orsingher E, Beghin L: Time-fractional telegraph equations and telegraph processes with Brownian time. Probab. Theory Relat. Fields 2004, 128: 141-160. 10.1007/s00440-003-0309-8

    Article  MathSciNet  Google Scholar 

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

    Google Scholar 

Download references

Acknowledgements

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

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Alireza Ansari.

Additional information

Competing interests

The author declares that he has no competing interests.

Rights and permissions

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

Reprints and permissions

About this article

Cite this article

Ansari, A. Fractional exponential operators and time-fractional telegraph equation. Bound Value Probl 2012, 125 (2012). https://doi.org/10.1186/1687-2770-2012-125

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-2770-2012-125

Keywords