Fractional exponential operators and time-fractional telegraph equation

Alireza Ansari

doi:10.1186/1687-2770-2012-125

Impact Factor 0.819

Research

Open Access

Fractional exponential operators and time-fractional telegraph equation

Alireza Ansari¹Email author

Boundary Value Problems20122012:125

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

Received: 27 July 2012

Accepted: 12 October 2012

Published: 29 October 2012

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) \frac{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]

{\begin{matrix} \frac{d}{d λ} x (λ) = q (x (λ)), x (0) = x \\ \frac{d}{d λ} g (λ) = v (x (λ)) g (λ), g (0) = 1 . \end{matrix}

(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) \frac{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}} = \frac{1}{\sqrt{π}} \int_{- \infty}^{\infty} e^{- ξ^{2} + 2 λ s ξ} d ξ,

(1.3)

e^{λ^{3} s^{3}} = \int_{- \infty}^{\infty} e^{\sqrt[3]{3} λ s ξ} Ai (ξ) d ξ,

(1.4)

where

Ai (ξ)

is the Airy function of the first kind given by

Ai (ξ) = \frac{1}{π} \int_{0}^{\infty} cos (\frac{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^{α}} = \int_{0}^{\infty} e^{- s t} \frac{1}{t} W (- α, 0; - λ^{α} t^{- α}) d t,

(1.6)

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

W (α, β; t) = \sum_{k = 0}^{\infty} \frac{t^{k}}{k! Γ (α k + β)}, α > - 1, β \in C, t \in 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}} = \frac{1}{π} \int_{- \infty}^{\infty} e^{s ξ} A_{n} (ξ, λ) d ξ, n = 2, 3, \dots,

(2.1)

where the function

A_{n} (ξ, λ)

is presented by

A_{n} (ξ, λ) = {\begin{matrix} \int_{0}^{\infty} cos (r ξ + {(- 1)}^{\frac{n + 1}{2}} λ^{n} r^{n})) d r, & n = 2 k + 1, \\ \frac{1}{n λ} \int_{0}^{\infty} e^{- r} \frac{cos (\frac{1}{λ} r^{\frac{1}{n}} ξ)}{r^{1 - \frac{1}{n}}} d r, & n = 4 k + 2, \\ \frac{1}{n λ} \int_{0}^{\infty} e^{r} \frac{cos (\frac{1}{λ} r^{\frac{1}{n}} ξ)}{r^{1 - \frac{1}{n}}} d r, & n = 4 k . \end{matrix}

(2.2)

Proof By the definition of the inverse of the Mellin transform for a function

e^{λ^{n} s^{n}}

, we have

\begin{array}{rcl} \frac{1}{2 π i} \int_{c - i \infty}^{c + i \infty} e^{λ^{n} s^{n}} t^{- s} d s & = & \frac{1}{2 π} \int_{0}^{\infty} e^{{(- i λ r)}^{n}} t^{i r} d r + \frac{1}{2 π} \int_{0}^{\infty} e^{{(i λ r)}^{n}} t^{- i r} d r \\ = & \frac{1}{2 π} \int_{0}^{\infty} e^{λ^{n} r^{n} e^{- \frac{n π}{2} i}} t^{i r} d r + \frac{1}{2 π} \int_{0}^{\infty} e^{λ^{n} r^{n} e^{\frac{n π}{2} i}} t^{- i r} d r \\ = & \frac{1}{2 π} \int_{0}^{\infty} e^{λ^{n} r^{n} cos (\frac{n π}{2})} e^{- i λ^{n} r^{n} sin (\frac{n π}{2}) + i r ln (t)} d r \\ + \frac{1}{2 π} \int_{0}^{\infty} e^{λ^{n} r^{n} cos (\frac{n π}{2})} e^{i λ^{n} r^{n} sin (\frac{n π}{2}) - i r ln (t)} d r \\ = & \frac{1}{π} \int_{0}^{\infty} e^{λ^{n} r^{n} cos (\frac{n π}{2})} cos (r ln (t) - λ^{n} r^{n} sin (\frac{n π}{2})) d r . \end{array}

(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,

\begin{array}{rcl} e^{λ^{n} s^{n}} & = & \frac{1}{π} M {\int_{0}^{\infty} e^{λ^{n} r^{n} cos (\frac{n π}{2})} cos (r ln (t) - λ^{n} r^{n} sin (\frac{n π}{2})) d r; s} \\ = & \frac{1}{π} \int_{0}^{\infty} t^{s - 1} \int_{0}^{\infty} e^{λ^{n} r^{n} cos (\frac{n π}{2})} cos (r ln (t) - λ^{n} r^{n} sin (\frac{n π}{2})) d r d t . \end{array}

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} = \int_{0}^{\infty} f (τ) [\frac{1}{2 π i} \int_{c - i \infty}^{c + i \infty} e^{- Φ (s) τ + t s} d s] d τ .

(2.4)

Proof Using the definition of the Laplace transform for

F (Φ (s))

F (Φ (s)) = \int_{0}^{\infty} e^{- Φ (s) τ} f (τ) d τ,

replacing in the inverse of the Laplace transform

F (Φ (s))

g (t) = L^{- 1} {F (Φ (s)); t} = \frac{1}{2 π i} \int_{c - i \infty}^{c + i \infty} F (Φ (s)) e^{t s} d s

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} = \frac{1}{t} \int_{0}^{\infty} 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^{γ}} = \frac{1}{π} \int_{- \infty}^{\infty} e^{s ξ} A_{n}^{(α)} (ξ, λ) d ξ, γ = n α, 0 < α \leq 1,

(2.6)

where the function

A_{n}^{(α)} (ξ)

is given by

A_{n}^{(α)} (ξ, λ) = \frac{1}{ξ} \int_{0}^{\infty} 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]

\frac{\partial}{\partial t} u (x, t) = \frac{1}{1 + x^{2}} {((1 + x^{2}) \frac{\partial}{\partial 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^{\frac{t}{1 + x^{2}} {((1 + x^{2}) \frac{\partial}{\partial x})}^{γ}} f (x) .

(3.2)

Now, by setting

{(\frac{t}{1 + x^{2}})}^{\frac{1}{n}} = λ

,

s = (1 + x^{2}) \frac{\partial}{\partial 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) = \frac{1}{π} \int_{- \infty}^{\infty} e^{(1 + x^{2}) \frac{\partial}{\partial x} ξ} A_{n}^{(α)} (ξ, λ) f (x) d ξ, γ = n α, 0 < α \leq 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) = \frac{1}{π} \int_{- \infty}^{\infty} A_{n}^{(α)} (ξ, {(\frac{t}{1 + {(tan (ξ + {tan}^{- 1} (x)))}^{2}})}^{\frac{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]

\frac{\partial^{2}}{\partial x^{2}} u (x, t) = [a \frac{\partial^{2 α}}{\partial t^{2 α}} + b \frac{\partial^{α}}{\partial t^{α}} + c] u (x, t), 0 < α \leq 1, x, t > 0, a, b, c \in R

(3.4)

with initial and asymptotic conditions $u (0, t) = f (t)$ , ${lim}_{x \to \infty} 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 \sqrt{a \frac{\partial^{2 α}}{\partial t^{2 α}} + b \frac{\partial^{α}}{\partial t^{α}} + c}} f (t) .

(3.5)

Now, by setting

\frac{\partial}{\partial t} = s

and writing an integral representation for

e^{- x \sqrt{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:

\begin{array}{rcl} u (x, t) & = & e^{- \frac{x b}{2 \sqrt{a}}} \int_{0}^{\infty} \frac{1}{τ} W (- α, 0; - x \sqrt{a} τ^{- α}) f (t - τ) d τ \\ - x \sqrt{\frac{Δ}{a}} e^{- \frac{b}{2 a}} \int_{0}^{\infty} \frac{1}{τ} f (t - τ) \int_{x \sqrt{a}}^{\infty} \frac{J_{1} (\sqrt{\frac{Δ}{a}} \sqrt{u^{2} - a x^{2}})}{\sqrt{u^{2} - a x^{2}}} \\ \times W (- α, 0; - u τ^{- α}) d u d τ, \end{array}

(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.

Declarations

Acknowledgements

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

Authors’ Affiliations

(1)

Department of Applied Mathematics, Faculty of Mathematical Sciences, Shahrekord University

References

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
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.001MathSciNetView ArticleGoogle Scholar
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/10652460410001673013MathSciNetView ArticleGoogle Scholar
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-9Google Scholar
Dattoli G: Operational methods, fractional operators and special polynomials. Appl. Math. Comput. 2003, 141: 151-159. 10.1016/S0096-3003(02)00329-6MathSciNetView ArticleGoogle Scholar
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-XMathSciNetView ArticleGoogle Scholar
Vallee O, Soares M: Airy Functions and Applications to Physics. Imperial College Press, London; 2004.View ArticleGoogle Scholar
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/S1793557110000143MathSciNetView ArticleGoogle Scholar
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/S0219530511001765MathSciNetView ArticleGoogle Scholar
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.1545MathSciNetView ArticleGoogle Scholar
Kilbas AA, Srivastava HM, Trujillo JJ North-Holland Mathematics Studies 204. In Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.Google Scholar
Duffy DG: Transform Methods for Solving Partial Differential Equations. CRC Press, New York; 2004.View ArticleGoogle Scholar
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.023MathSciNetView ArticleGoogle Scholar
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-8MathSciNetView ArticleGoogle Scholar
Ditkin VA, Prudnikov AP: Integral Transforms and Operational Calculus. Pergamon, Elansford; 1965. English translationGoogle Scholar

Copyright

This article is published under license to BioMed Central Ltd. 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.