About this Journal Submit a Manuscript Table of Contents 
Journal of Function Spaces and Applications
Volume 2012 (2012), Article ID 703681, 10 pages
doi:10.1155/2012/703681
Research Article

On Holomorphic Solution for Space- and Time-Fractional Telegraph Equations in Complex Domain

Rabha W. Ibrahim

Institute of Mathematical Sciences, University Malaya, 50603 Kuala Lumpur, Malaysia

Received 19 February 2012; Revised 12 April 2012; Accepted 23 April 2012

Academic Editor: Josip E. Pecaric

Copyright © 2012 Rabha W. Ibrahim. 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 consider some classes of space- and time-fractional telegraph equations in complex domain in sense of the Riemann-Liouville fractional operators for time and the Srivastava-Owa fractional operators for space. The existence and uniqueness of holomorphic solution are established. We illustrate our theoretical result by examples.

1. Introduction

Fractional differential equations have emerged as a new branch of applied mathematics which has been used for many mathematical models in science and engineering. In fact, fractional differential equations are considered as an alternative model to nonlinear differential equations. Various types play important roles and tools not only in mathematics but also in physics, control systems, dynamical systems, and engineering to create the mathematical modeling of many physical phenomena. Naturally, such equations required to be solved. Many studies on fractional calculus and fractional differential equations, involving different operators such as Riemann-Liouville operators, Erdelyi-Kober operators, Weyl-Riesz operators, Caputo operators, and Grünwald-Letnikov operators, have appeared during the past three decades with its applications in other fields [1–6]. Recently, the existence of analytic solutions for fractional differential equations in complex domain is posed [7–10].

The study of nonlinear problems is of crucial importance in all areas of mathematics, mechanics, and physics. Some of the most interesting features of physical systems are hidden in their nonlinear behavior and can only be studied with appropriate methods designed to tackle and process nonlinear problems. One of the famous nonlinear problem is the telegraph equations used in signal analysis for transmission and propagation of electrical signals and also used in modeling reaction diffusion [11, 12]. Numerical solutions for these equations are posed; for example, the Adomian decomposition method (ADM) and homotopy perturbation method (HPM) were used to solve the space- and time-fractional telegraph equations (see [13]), Variational iteration method (VIM) was used to solve the linear and nonlinear telegraph equation (see [14–16]). Note that in [17], the methods (HPM) and (VIM) were compared for linear fractional partial differential equations. Also time-periodic solutions of these equations are studied (see [18]). Recently, Herzallah and Baleanu [19] gave a new model of the abstract fractional-order telegraph equation, and they studied the existence and uniqueness theorems of the strong and mild solutions as well as the continuation of this solution.

In the present paper, we establish the existence and uniqueness of solutions for classes of the space- and time-fractional telegraph equations in complex domain. The fractional derivative for the space is taken in the sense of the Srivastava-Owa operators while the fractional time derivative is taken in the sense of the Riemann-Liouville operators because the Riemann-Liouville fractional derivative could hardly pose the physical interpretation of the initial conditions required for the initial value problems involving fractional differential equations. One of the most frequently used tools in the theory of fractional calculus is furnished by the Riemann-Liouville operators.

Definition 1.1. The fractional-order (arbitrary) integral of the function 𝑓 of order 𝛼 > 0 is defined by 𝐼 𝛼 𝑎 𝑓 ( 𝑡 ) = 𝑡 𝑎 ( 𝑡 − 𝜏 ) 𝛼 − 1 Γ ( 𝛼 ) 𝑓 ( 𝜏 ) 𝑑 𝜏 . ( 1 . 1 ) When 𝑎 = 0 , one writes 𝐼 𝛼 𝑎 𝑓 ( 𝑡 ) = 𝑓 ( 𝑡 ) ∗ 𝜙 𝛼 ( 𝑡 ) , where ( ∗ ) denoted the convolution product, 𝜙 𝛼 𝑡 ( 𝑡 ) = 𝛼 − 1 Γ ( 𝛼 ) , 𝑡 > 0 , ( 1 . 2 ) and 𝜙 𝛼 ( 𝑡 ) = 0 , 𝑡 ≤ 0 , and 𝜙 𝛼 → 𝛿 ( 𝑡 ) as 𝛼 → 0 where 𝛿 ( 𝑡 ) is the delta function.

Definition 1.2. The fractional-order (arbitrary) derivative of the function 𝑓 of order 0 < 𝛼 < 1 is defined by 𝐷 𝛼 𝑎 𝑑 𝑓 ( 𝑡 ) = 𝑑 𝑡 𝑡 𝑎 ( 𝑡 − 𝜏 ) − 𝛼 𝑑 Γ ( 1 − 𝛼 ) 𝑓 ( 𝜏 ) 𝑑 𝜏 = 𝐼 𝑑 𝑡 𝑎 1 − 𝛼 𝑓 ( 𝑡 ) . ( 1 . 3 ) From Definitions 1.1 and 1.2, one has 𝐷 𝛼 𝑡 𝜇 = Γ ( 𝜇 + 1 ) 𝑡 Γ ( 𝜇 − 𝛼 + 1 ) 𝜇 − 𝛼 𝐼 , 𝜇 > − 1 , 0 < 𝛼 ≤ 1 , 𝛼 𝑡 𝜇 = Γ ( 𝜇 + 1 ) 𝑡 Γ ( 𝜇 + 𝛼 + 1 ) 𝜇 + 𝛼 , 𝜇 > − 1 , 𝛼 > 0 . ( 1 . 4 ) We will use the notation 𝜕 𝛼 / 𝜕 𝑡 𝛼 for the fractional-order derivative.

The Srivastava-Owa fractional operators are (see [20]) as follows.

Definition 1.3. The fractional derivative of order 𝛼 is defined, for a function 𝑓 ( 𝑧 ) , by 𝐷 𝛼 𝑧 1 𝑓 ( 𝑧 ) ∶ = 𝑑 Γ ( 1 − 𝛼 ) 𝑑 𝑧 𝑧 0 𝑓 ( 𝜁 ) ( 𝑧 − 𝜁 ) 𝛼 𝑑 𝜁 , 0 ≤ 𝛼 < 1 , ( 1 . 5 ) where the function 𝑓 ( 𝑧 ) is analytic in simply connected region of the complex 𝑧 -plane ℂ containing the origin, and the multiplicity of ( 𝑧 − 𝜁 ) − 𝛼 is removed by requiring l o g ( 𝑧 − 𝜁 ) to be real when ( 𝑧 − 𝜁 ) > 0 .

Definition 1.4. The fractional integral of order 𝛼 is defined, for a function 𝑓 ( 𝑧 ) , by 𝐼 𝛼 𝑧 1 𝑓 ( 𝑧 ) ∶ = Γ ( 𝛼 ) 𝑧 0 𝑓 ( 𝜁 ) ( 𝑧 − 𝜁 ) 𝛼 − 1 𝑑 𝜁 , 𝛼 > 0 , ( 1 . 6 ) where the function 𝑓 ( 𝑧 ) is analytic in simply-connected region of the complex 𝑧 -plane ( ℂ ) containing the origin, and the multiplicity of ( 𝑧 − 𝜁 ) 𝛼 − 1 is removed by requiring l o g ( 𝑧 − 𝜁 ) to be real when ( 𝑧 − 𝜁 ) > 0 .

Remark 1.5. From Definitions 1.3 and 1.4, we have 𝐷 𝛼 𝑧 𝑧 𝜇 = Γ ( 𝜇 + 1 ) 𝑧 Γ ( 𝜇 − 𝛼 + 1 ) 𝜇 − 𝛼 𝐼 , 𝜇 > − 1 , 0 < 𝛼 < 1 , 𝛼 𝑧 𝑧 𝜇 = Γ ( 𝜇 + 1 ) 𝑧 Γ ( 𝜇 + 𝛼 + 1 ) 𝜇 + 𝛼 , 𝜇 > − 1 , 𝛼 > 0 . ( 1 . 7 ) By using the majorant concept, we establish the existence and uniqueness of holomorphic solution.

Definition 1.6. The major are relations, described as follows: if ∑ 𝑎 𝑎 ( 𝑥 ) = 𝑖 𝑥 𝑖 and ∑ 𝐴 𝐴 ( 𝑥 ) = 𝑖 𝑥 𝑖 , then one says that 𝑎 ( 𝑥 ) ≪ 𝐴 ( 𝑥 ) if and only if | 𝑎 𝑖 | ≤ | 𝐴 𝑖 | for each 𝑖 .

2. Existence of Unique Solution

In the present paper, we consider the fractional differential equations 𝜃 ( 𝑧 ) 𝐷 𝛼 𝑧 𝜕 𝑢 ( 𝑡 , 𝑧 ) + 𝜆 𝛽 𝑢 ( 𝑡 , 𝑧 ) 𝜕 𝑡 𝛽 = 𝐹 𝑡 , 𝑧 , 𝑢 , 𝑢 𝑡 , 0 < 𝛼 ≤ 1 , 1 < 𝛽 ≤ 2 , ( 2 . 1 ) subject to the initial condition 𝑢 | 𝑡 = 0 = 0 in a neighborhood of 𝑧 = 0 , where 𝑡 ∈ 𝐽 ∶ = [ 0 , 1 ] , 𝑧 ∈ 𝑈 ∶ = { 𝑧 ∈ ℂ ∶ | 𝑧 | < 1 } , 𝑢 ( 𝑡 , 𝑧 ) is an unknown function, 𝜃 ( 𝑧 ) ∶ = 𝜗 𝑧 𝛼 such that 𝜗 ≠ 0 , 𝑧 ∈ 𝑈 , 𝜆 ≠ 0 is a constant, and 𝐹 is a holomorphic function on 𝐽 × 𝑈 × ℂ × ℂ . Thus, we can expand it as follows: 𝐹 ( 𝑡 , 𝑧 , 𝑢 , 𝑣 ) ∶ = 𝛾 ( 𝑡 ) 𝑧 + 𝛿 ( 𝑡 ) 𝑢 + 𝜂 ( 𝑡 ) 𝑣 + 𝑅 2 ( 𝑡 , 𝑧 , 𝑢 , 𝑣 ) , ( 2 . 2 ) where 𝛾 ( 𝑡 ) ∶ = 𝜕 𝐹 𝜕 𝑧 ( 𝑡 , 0 , 0 , 0 ) , 𝛿 ( 𝑡 ) ∶ = 𝜕 𝐹 𝜕 𝑢 ( 𝑡 , 0 , 0 , 0 ) , 𝜂 ( 𝑡 ) ∶ = 𝜕 𝐹 𝜕 𝑣 ( 𝑡 , 0 , 0 , 0 ) , ( 2 . 3 ) and the degree of 𝑅 2 ( 𝑡 , 𝑧 , 𝑢 , 𝑣 ) with respect to ( 𝑡 , 𝑧 , 𝑢 , 𝑣 ) is greater than or equal to 2.

We need the following result.

Lemma 2.1 (see [21]). Let 𝑅 > 0 , and let 𝑓 ( 𝑥 ) be a holomorphic function on 𝐷 𝑅 = { 𝑥 ∈ ℂ ∶ | 𝑥 | < 𝑅 } . If for any 𝑟 > 0 , 0 < 𝑟 < 𝑅 , 𝑓 ( 𝑥 ) satisfies m a x | 𝑥 | ≤ 𝑟 | | 𝑓 | | ≤ 𝜌 ( 𝑥 ) ( 𝑅 − 𝑟 ) 𝜇 ( 2 . 4 ) for some 𝜌 > 0 and 𝜇 ≥ 0 , then one has m a x | 𝑥 | ≤ 𝑟 | | | 𝜕 𝑓 ( 𝑥 ) | | | ≤ 𝜕 𝑥 ( 𝜇 + 1 ) 𝑒 𝜌 ( 𝑅 − 𝑟 ) 𝜇 + 1 . ( 2 . 5 )

Theorem 2.2. Assume the problem (2.1). If 𝛼 ∈ ( 0 , 1 ] , 𝜗 ≠ 0 , and Γ ( 𝑛 + 1 ) Γ ( 𝑛 + 1 − 𝛼 ) 𝜗 − 𝛿 ( 𝑡 ) ≠ 0 , 𝑛 ∈ ℕ , ( 2 . 6 ) then (2.1) has a unique holomorphic solution 𝑢 ( 𝑡 , 𝑧 ) near ( 0 , 0 ) ∈ 𝐽 × 𝑈 .

Proof . We realize that (2.1) has a formal solution 𝑢 ( 𝑡 , 𝑧 ) = ∞ 𝑘 = 1 𝑢 𝑘 ( 𝑡 ) 𝑧 𝑘 , ( 𝑧 ∈ 𝑈 ) . ( 2 . 7 ) Then, substitut the series (2.7) into (2.1) and comparing the coefficients of 𝑧 𝑘 in two sides of the equation yield Γ ( 2 ) 𝑢 Γ ( 2 − 𝛼 ) 𝜗 − 𝛿 ( 𝑡 ) 1 ( 𝑡 ) + 𝜆 𝑢 1 ( 𝛽 ) ( 𝑡 ) − 𝜂 ( 𝑡 ) 𝑢 1 ( 𝑡 ) = 𝛾 ( 𝑡 ) ⟹ 𝑢 1 ( 𝛽 ) ( 𝑡 ) = 𝑓 1 𝑡 , 𝑢 1 Γ ( 3 ) 𝑢 Γ ( 3 − 𝛼 ) 𝜗 − 𝛿 ( 𝑡 ) 2 ( 𝑡 ) + 𝜆 𝑢 2 ( 𝛽 ) ( 𝑡 ) − 𝜂 ( 𝑡 ) 𝑢 2 ( 𝑡 ) = 𝜙 1 𝑢 1 , 𝑢 1 ⟹ 𝑢 2 ( 𝛽 ) ( 𝑡 ) = 𝑓 2 𝑡 , 𝑢 2 ⋮ Γ ( 𝑛 + 1 ) 𝑢 Γ ( 𝑛 + 1 − 𝛼 ) 𝜗 − 𝛿 ( 𝑡 ) 𝑛 ( 𝑡 ) + 𝜆 𝑢 𝑛 ( 𝛽 ) ( 𝑡 ) − 𝜂 ( 𝑡 ) 𝑢 𝑛 ( 𝑡 ) + 𝜙 𝑛 − 1 𝑢 1 , … , 𝑢 𝑛 − 1 , 𝑢 1 , … , 𝑢 𝑛 − 1 ⟹ 𝑢 𝑛 ( 𝛽 ) ( 𝑡 ) = 𝑓 𝑛 𝑡 , 𝑢 𝑛 . ( 2 . 8 ) Thus, we obtain the following formula: 𝑢 𝑛 ( 𝛽 ) [ ] ( 𝑡 ) + ( Γ ( 𝑛 + 1 ) / Γ ( 𝑛 + 1 − 𝛼 ) ) 𝜗 − 𝛿 ( 𝑡 ) 𝜆 𝑢 𝑛 ( 𝑡 ) = Φ ( 𝑡 ) , ( 2 . 9 ) where 𝜙 0 ( 𝑡 ) = 𝛾 ( 𝑡 ) and 𝜙 Φ ( 𝑡 ) ∶ = 𝑛 − 1 𝑢 1 , … , 𝑢 𝑛 − 1 , 𝑢 1 , … , 𝑢 𝑛 − 1 + 𝜂 ( 𝑡 ) 𝑢 𝑛 ( 𝑡 ) 𝜆 . ( 2 . 1 0 ) Hence, from the idea given in [22], solutions to fractional Cauchy problems are obtained by subordinating the solution to the original Cauchy problem, problem (2.9), and consequently problem (2.1) has a unique solution in a neighborhood of 𝑧 = 0 .
Now, we proceed to prove that the formal series solution (2.7) is convergent near ( 0 , 0 ) ∈ ( 𝐽 , 𝑈 ) . We expand the remainder term 𝑅 2 ( 𝑡 , 𝑧 , 𝑢 , 𝑣 ) into Taylor series with respect to ( 𝑡 , 𝑢 , 𝑣 ) , that is, 𝑅 2 ( 𝑡 , 𝑧 , 𝑢 , 𝑣 ) = 𝑚 + 𝑛 + 𝑝 ≥ 2 𝑎 𝑚 , 𝑛 , 𝑝 ( 𝑡 ) 𝑧 𝑚 𝑢 𝑛 𝑣 𝑝 , ( 2 . 1 1 ) such that(i) 𝑎 𝑚 , 𝑛 , 𝑝 ( 𝑡 ) is holomorphic in 𝐽 ,(ii) | 𝑎 𝑚 , 𝑛 , 𝑝 ( 𝑡 ) | ≤ 𝐴 𝑚 , 𝑛 , 𝑝 , 𝐴 𝑚 , 𝑛 , 𝑝 > 0 on 𝐽 ,(iii) ∑ 𝑚 + 𝑛 + 𝑝 ≥ 2 𝐴 𝑚 , 𝑛 , 𝑝 𝑧 𝑚 𝑉 𝑛 + 𝑝 converges in ( 𝑧 , 𝑉 ) where 𝑉 > 0 satisfies | 𝑢 | ≤ 𝑉 and | 𝑣 | ≤ 𝑉 .From (2.9), we observe that [ ] ( Γ ( 2 ) / Γ ( 2 − 𝛼 ) ) 𝜗 − 𝛿 ( 𝑡 ) 𝜆 + 𝜕 𝛽 𝜕 𝑡 𝛽 𝑢 1 ( 𝑡 ) = 𝛾 ( 𝑡 ) + 𝜂 ( 𝑡 ) 𝑢 1 ⋮ [ ] ( Γ ( 𝑘 ) / Γ ( 𝑘 − 𝛼 ) ) 𝜗 − 𝛿 ( 𝑡 ) 𝜆 + 𝜕 𝛽 𝜕 𝑡 𝛽 𝑢 𝑘 = ( 𝑡 ) 𝑚 + 𝑛 + 𝑝 ≥ 2 ⎡ ⎢ ⎢ ⎣ 𝑚 + 𝑘 1 + ⋯ + 𝑘 𝑛 + 𝑙 1 + ⋯ + 𝑙 𝑝 = 𝑘 𝑎 𝑚 , 𝑛 , 𝑝 ( 𝑡 ) × 𝑢 𝑘 1 × ⋯ × 𝑢 𝑘 𝑛 × 𝜕 𝑢 𝑙 1 𝜕 𝑡 × ⋯ × 𝜕 𝑢 𝑙 𝑝 ⎤ ⎥ ⎥ ⎦ . 𝜕 𝑡 ( 2 . 1 2 ) Without loss of generality, we may assume that there exists a constant 𝐾 > 0 such that | | 𝑢 1 | | | | | | ( 𝑡 ) ≤ 𝐾 , 𝜕 𝑢 1 ( 𝑡 ) | | | | 𝜕 𝑡 ≤ 𝐾 . ( 2 . 1 3 ) Denoting 1 𝐶 ∶ = ‖ ‖ , ( Γ ( 2 ) / Γ ( 2 − 𝛼 ) ) 𝜗 − 𝛿 ( 2 . 1 4 ) then we pose the following formula: 𝐶 𝑉 ( 𝑧 ) = 𝐾 𝑧 + 1 − 𝑟 𝑚 + 𝑛 + 𝑝 ≥ 2 𝐴 𝑚 , 𝑛 , 𝑝 ( 1 − 𝑟 ) 𝑚 + 𝑛 + 𝑝 − 2 𝑧 𝑚 𝑉 𝑛 𝑉 𝑝 , ( 2 . 1 5 ) where 𝑟 is a parameter with 0 < 𝑟 < 1 . Since (2.15) is an analytic functional equation in 𝑉 then in view of the implicit function theorem, (2.15) has a unique holomorphic solution 𝑉 ( 𝑧 ) in a neighborhood of 𝑧 = 0 with 𝑉 ( 0 ) = 0 . Expanding 𝑉 ( 𝑧 ) into Taylor series in 𝑧 , we have 𝑉 ( 𝑧 ) = 𝑘 ≥ 1 𝑉 𝑘 𝑧 𝑘 , ( 2 . 1 6 ) where 𝑉 𝑘 = 𝐶 1 − 𝑟 𝑚 + 𝑛 + 𝑝 ≥ 2 ⎡ ⎢ ⎢ ⎣ 𝑚 + 𝑘 1 + ⋯ + 𝑘 𝑛 + 𝑙 1 + ⋯ + 𝑙 𝑝 = 𝑘 𝐴 𝑚 , 𝑛 , 𝑝 ( 1 − 𝑟 ) 𝑚 + 𝑛 + 𝑝 − 2 × 𝑉 𝑘 1 × ⋯ × 𝑉 𝑘 𝑛 × 0 ! 𝑒 𝑉 𝑙 1 × ⋯ × ( 𝑝 − 1 ) ! 𝑒 𝑉 𝑙 𝑝 ⎤ ⎥ ⎥ ⎦ 𝐶 ∶ = 𝑘 ( 1 − 𝑟 ) 𝑘 − 1 , 𝑘 ∈ ℕ > 0 , ( 2 . 1 7 ) with 𝐶 1 = 𝐾 .
Next, our aim is to show that the series ∑ 𝑘 ≥ 1 𝑉 𝑘 𝑧 𝑘 is a major series for the formal series solution ∑ 𝑘 ≥ 1 𝑢 𝑘 𝑧 𝑘 near 𝑧 = 0 . For this purpose, we will show that | | 𝑢 𝑘 | | ≤ 𝑉 𝑘 o n 𝐽 𝑟 [ ] | | | | ∶ = 0 , 𝑟 , 𝑟 < 1 , ( 2 . 1 8 ) 𝜕 𝑢 𝑘 | | | | 𝜕 𝑡 ≤ ( 𝑘 − 1 ) ! 𝑒 𝑉 𝑘 o n 𝐽 𝑟 . ( 2 . 1 9 ) Since ( 1 − 𝑟 ) < 1 implies 1 ( 1 − 𝑟 ) 𝑚 + 𝑛 + 𝑝 − 2 ≥ 1 , 𝑟 < 1 , ( 2 . 2 0 ) then we have | | 𝑢 𝑘 | | ≤ 𝐶 𝑚 + 𝑛 + 𝑝 ≥ 2 ⎡ ⎢ ⎢ ⎣ 𝑚 + 𝑘 1 + ⋯ + 𝑘 𝑛 + 𝑙 1 + ⋯ + 𝑙 𝑝 = 𝑘 𝐴 𝑚 , 𝑛 , 𝑝 × | | 𝑢 𝑘 1 | | × | | 𝑢 ( 𝑡 ) × ⋯ 𝑘 𝑛 | | × | | | | ( 𝑡 ) 𝜕 𝑢 𝑙 1 ( 𝑡 ) | | | | | | | | 𝜕 𝑡 × ⋯ × 𝜕 𝑢 𝑙 𝑝 ( 𝑡 ) | | | | ⎤ ⎥ ⎥ ⎦ 𝜕 𝑡 ≤ 𝐶 𝑚 + 𝑛 + 𝑝 ≥ 2 ⎡ ⎢ ⎢ ⎣ 𝑚 + 𝑘 1 + ⋯ + 𝑘 𝑛 + 𝑙 1 + ⋯ + 𝑙 𝑝 = 𝑘 𝐴 𝑚 , 𝑛 , 𝑝 × 𝑉 𝑘 1 × ⋯ × 𝑉 𝑘 𝑛 × 0 ! 𝑒 𝑉 𝑙 1 × ⋯ × ( 𝑝 − 1 ) ! 𝑒 𝑉 𝑙 𝑝 ⎤ ⎥ ⎥ ⎦ ≤ 𝐶 𝑚 + 𝑛 + 𝑝 ≥ 2 ⎡ ⎢ ⎢ ⎣ 𝑚 + 𝑘 1 + ⋯ + 𝑘 𝑛 + 𝑙 1 + ⋯ + 𝑙 𝑝 = 𝑘 𝐴 𝑚 , 𝑛 , 𝑝 ( 1 − 𝑟 ) 𝑚 + 𝑛 + 𝑝 − 2 × 𝑉 𝑘 1 × ⋯ × 𝑉 𝑘 𝑛 × 0 ! 𝑒 𝑉 𝑙 1 × ⋯ × ( 𝑝 − 1 ) ! 𝑒 𝑉 𝑙 𝑝 ⎤ ⎥ ⎥ ⎦ ≤ 𝐶 𝑘 ( 1 − 𝑟 ) 𝑘 − 2 ≤ 𝐶 𝑘 ( 1 − 𝑟 ) 𝑘 − 1 = 𝑉 𝑘 . ( 2 . 2 1 ) Hence, we obtain the inequality (2.19). Next, by using Lemma 2.1, we pose that | | | | 𝜕 𝑢 𝑘 | | | | ≤ 𝜕 𝑡 ( 𝑘 − 1 ) 𝑒 𝐶 𝑘 ( 1 − 𝑟 ) 𝑘 − 1 ≤ ( 𝑘 − 1 ) ! e 𝐶 𝑘 ( 1 − 𝑟 ) 𝑘 − 1 = ( 𝑘 − 1 ) ! 𝑒 𝑉 𝑘 . ( 2 . 2 2 ) This completes the proof of Theorem 2.2.

3. Applications

In this section, we pose two examples that demonstrate the performance and efficiency for solving time- and space-fractional telegraph equations.

Example 3.1. Assume the following equation: 𝑧 0 . 5 𝐷 1 . 1 2 8 𝑧 0 . 5 𝜕 𝑢 ( 𝑡 , 𝑧 ) + 1 . 5 𝑢 ( 𝑡 , 𝑧 ) 𝜕 𝑡 1 . 5 = 𝑢 𝑡 [ ] , ( 𝑡 , 𝑧 ) + 1 . 5 𝑢 ( 𝑡 , 𝑧 ) , 𝑡 ∈ 𝐽 = 0 , 1 𝑢 ( 0 , 𝑧 ) = 0 , ( 3 . 1 ) where 𝑢 ( 𝑡 , 𝑧 ) is the unknown function. Since the condition ( Γ ( 𝑛 + 1 ) / Γ ( 𝑛 + 1 − 𝛼 ) ) 𝜗 − 𝛿 ( 𝑡 ) ≠ 0 , 𝑛 ∈ ℕ is satisfied, then in view of Theorem 2.2, the problem (3.1) has a unique holomorphic solution near ( 0 , 0 ) ∈ 𝐽 × 𝑈 . To verify this, we put 𝑧 𝑢 ( 𝑡 , 𝑧 ) = 𝜇 ( 𝑡 ) 𝑧 + 𝑣 ( 𝑡 , 𝑧 ) 𝑣 ( 𝑡 , 𝑧 ) = 𝑂 2 ( 3 . 2 ) as a formal solution. Therefore, 𝜇 ( 𝑡 ) satisfies 𝜇 ( 𝑡 ) ( 1 . 5 ) = 𝜇 ( 𝑡 ) + 0 . 5 𝜇 ( 𝑡 ) . ( 3 . 3 ) The last equation is equivalent to the equation of the form 𝜕 𝛾 𝜇 ( 𝑡 ) 𝜕 𝑡 𝛾 = 𝑔 𝑡 , 𝜇 ( 𝑡 ) , 𝜇 ] , ( 𝑡 ) , 𝛾 ∈ ( 1 , 2 ( 3 . 4 ) where 𝑔 is a contraction function whenever | 𝜇 ′ ( 𝑡 ) − 𝜌 ′ ( 𝑡 ) | ≤ 𝑎 | 𝜇 ( 𝑡 ) − 𝜌 ( 𝑡 ) | , 𝑎 ∈ ( 0 , 0 . 5 ) ; thus the holomorphic solution 𝜇 ( 𝑡 ) exists uniquely and converges in a neighborhood of the origin (the Banach fixed-point theorem).

Example 3.2. Assume the following equation: 𝑧 0 . 5 𝐷 1 . 1 2 8 𝑧 0 . 5 𝑢 ( 𝑡 , 𝑧 ) + 𝑢 𝑡 𝑡 = 𝑢 𝑡 [ ] , 𝑢 ( 𝑡 , 𝑧 ) − 𝑢 ( 𝑡 , 𝑧 ) , 𝑡 ∈ 𝐽 = 0 , 1 ( 0 , 𝑧 ) = 0 , ( 3 . 5 ) where 𝑢 ( 𝑡 , 𝑧 ) is the unknown function. The condition of Theorem 2.2 is valid; hence, the problem (3.5) has a unique holomorphic solution near ( 0 , 0 ) ∈ 𝐽 × 𝑈 . To realize this, (3.5) can be reduced to the following problem: 𝜓 ( 𝑡 ) = 𝜓 ( 𝑡 ) − 2 𝜓 ( 𝑡 ) , 𝜓 ( 0 ) = 0 . ( 3 . 6 ) Thus, the problem (3.6) has a unique solution.

4. Conclusion

The telegraph equation appears when we look for a mathematical model for the electrical flow in a metallic cable. In virtue of the laws of electricity, we posed generalized fractional partial differential equations (2.1) in a complex domain where the unknown variable is the voltage 𝑢 . The conventional power series method (tool from classical functional analysis) has been successfully employed for finding the solution of space- and time-fractional telegraph equations. The space- and time-fractional derivatives are considered in the Srivastava-Owa and Riemann-Liouville sense, respectively. The results of the examples show that conventional power series method is a reliable and efficient method for solving space- and time-fractional telegraph equations and also other equations in complex domain.

References

  1. I. Podlubny, Fractional Differential Equations, vol. 198 of Mathematics in Science and Engineering, Academic Press, San Diego, Calif, USA, 1999.
  2. R. Hilfer, Applications of Fractional Calculus in Physics, World Scientific Publishing, River Edge, NJ, USA, 2000. View at Publisher · View at Google Scholar
  3. B. J. West, M. Bologna, and P. Grigolini, Physics of Fractal Operators, Institute for Nonlinear Science, Springer, New York, NY, USA, 2003.
  4. A. A. Kilbas, H. M. Srivastava, and J. J. Trujillo, Theory and Applications of Fractional Differential Equations, vol. 204 of North-Holland Mathematics Studies, Elsevier Science B.V., Amsterdam, The Netherlands, 2006.
  5. J. Sabatier, O. P. Agrawal, and J. A. Machado, Advance in Fractional Calculus: Theoretical Developments and Applications in Physics and Engineering, Springer, Dordrecht, The Netherlands, 2007. View at Publisher · View at Google Scholar
  6. D. Baleanu, B. Guvenc Ziya, and J. A. Tenreiro, New Trends in Nanotechnology and Fractional Calculus Applications, Springer, New York, NY, USA, 2010. View at Publisher · View at Google Scholar
  7. R. W. Ibrahim, “On holomorphic solutions for nonlinear singular fractional differential equations,” Computers & Mathematics with Applications, vol. 62, no. 3, pp. 1084–1090, 2011. View at Publisher · View at Google Scholar
  8. R. W. Ibrahim, “Existence and uniqueness of holomorphic solutions for fractional Cauchy problem,” Journal of Mathematical Analysis and Applications, vol. 380, no. 1, pp. 232–240, 2011. View at Publisher · View at Google Scholar
  9. R. W. Ibrahim, “On generalized Srivastava-Owa fractional operators in the unit disk,” Advances in Difference Equations, vol. 2011, article 55, 2011.
  10. R. W. Ibrahim, “Ulam stability for fractional differential equation in complex domain,” Abstract and Applied Analysis, vol. 2012, Article ID 649517, 8 pages, 2012. View at Publisher · View at Google Scholar
  11. L. Debnath, Nonlinear Partial Differential Equations for Scientists and Engineers, Birkhäuser, Boston, Mass, USA, 1997.
  12. A. C. Metaxas and R. J. Meredith, Industrial Microwave Heating, Peter Peregrinus, London, UK, 1993.
  13. S. Momani, “Analytic and approximate solutions of the space- and time-fractional telegraph equations,” Applied Mathematics and Computation, vol. 170, no. 2, pp. 1126–1134, 2005. View at Publisher · View at Google Scholar
  14. J. Biazar, H. Ebrahimi, and Z. Ayati, “An approximation to the solution of telegraph equation by variational iteration method,” Numerical Methods for Partial Differential Equations, vol. 25, no. 4, pp. 797–801, 2009. View at Publisher · View at Google Scholar
  15. R. Yulita Molliq, M. S. M. Noorani, and I. Hashim, “Variational iteration method for fractional heat- and wave-like equations,” Nonlinear Analysis: Real World Applications, vol. 10, no. 3, pp. 1854–1869, 2009. View at Publisher · View at Google Scholar
  16. A. Sevimlican, “An approximation to solution of space and time fractional telegraph equations by He's variational iteration method,” Mathematical Problems in Engineering, vol. 2010, Article ID 290631, 10 pages, 2010. View at Publisher · View at Google Scholar
  17. S. Momani and Z. Odibat, “Comparison between the homotopy perturbation method and the variational iteration method for linear fractional partial differential equations,” Computers & Mathematics with Applications, vol. 54, no. 7-8, pp. 910–919, 2007. View at Publisher · View at Google Scholar
  18. G. M. d. Araújo, R. B. Gúzman, and S. B. d. Menezes, “Periodic solutions for nonlinear telegraph equation via elliptic regularization,” Computational & Applied Mathematics, vol. 28, no. 2, pp. 135–155, 2009.
  19. M. A. E. Herzallah and D. Baleanu, “On abstract fractional order telegraph equation,” Journal of Computational and Nonlinear Dynamics, vol. 5, no. 2, pp. 1–5, 2010.
  20. H. M. Srivastava and S. Owa, Univalent Functions, Fractional Calculus, and Their Applications, Ellis Horwood Series: Mathematics and Its Applications, Ellis Horwood, Chichester, UK, 1989.
  21. E. Hille, Ordinary Differential Equations in the Complex Domain, Wiley-Interscience, New York, NY, USA, 1976.
  22. B. Baeumer and M. M. Meerschaert, “Stochastic solutions for fractional Cauchy problems,” Fractional Calculus & Applied Analysis, vol. 4, no. 4, pp. 481–500, 2001.