# On Holomorphic Solution for Space- and Time-Fractional Telegraph

Authors: Rabha W. Ibrahim
Journal: Journal of Function Spaces and Applications
 (2012)

---

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


---

## Body

## 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 functionf of order α>0 is defined by
(1.1)Iaαf(t)=∫at(t-τ)α-1Γ(α)f(τ)dτ.
When a=0, one writes Iaαf(t)=f(t)*ϕα(t), where (*) denoted the convolution product,
(1.2)ϕα(t)=tα-1Γ(α),t>0,
and ϕα(t)=0,t≤0, and ϕα→δ(t) as α→0 where δ(t) is the delta function.Definition 1.2.
The fractional-order (arbitrary) derivative of the functionf of order 0<α<1 is defined by
(1.3)Daαf(t)=ddt∫at‍(t-τ)-αΓ(1-α)f(τ)dτ=ddtIa1-αf(t).
From Definitions 1.1 and 1.2, one has
(1.4)Dαtμ=Γ(μ+1)Γ(μ-α+1)tμ-α,μ>-1,0<α≤1,Iαtμ=Γ(μ+1)Γ(μ+α+1)tμ+α,μ>-1,α>0.
We will use the notation ∂α/∂tα 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 f(z), by
(1.5)Dzαf(z):=1Γ(1-α)ddz∫0z‍f(ζ)(z-ζ)αdζ,0≤α<1,
where the function f(z) is analytic in simply connected region of the complex z-plane ℂ containing the origin, and the multiplicity of (z-ζ)-α is removed by requiring log(z-ζ) to be real when (z-ζ)>0.Definition 1.4.
The fractional integral of orderα is defined, for a function f(z), by
(1.6)Izαf(z):=1Γ(α)∫0z‍f(ζ)(z-ζ)α-1dζ,α>0,
where the function f(z) is analytic in simply-connected region of the complex z-plane (ℂ) containing the origin, and the multiplicity of (z-ζ)α-1 is removed by requiring log(z-ζ) to be real when (z-ζ)>0.Remark 1.5.
From Definitions1.3 and 1.4, we have
(1.7)Dzαzμ=Γ(μ+1)Γ(μ-α+1)zμ-α,μ>-1,0<α<1,Izαzμ=Γ(μ+1)Γ(μ+α+1)zμ+α,μ>-1,α>0.
By using the majorant concept, we establish the existence and uniqueness of holomorphic solution.Definition 1.6.
The major are relations, described as follows: ifa(x)=∑‍aixi and A(x)=∑‍Aixi, then one says that a(x)≪A(x) if and only if |ai|≤|Ai| for each i.


## 2. Existence of Unique Solution

In the present paper, we consider the fractional differential equations(2.1)θ(z)Dzαu(t,z)+λ∂βu(t,z)∂tβ=F(t,z,u,ut),0<α≤1,1<β≤2,
subject to the initial condition u|t=0=0 in a neighborhood of z=0, where t∈J:=[0,1],z∈U:={z∈ℂ:|z|<1},u(t,z) is an unknown function, θ(z):=ϑzα such that ϑ≠0,z∈U,λ≠0 is a constant, and F is a holomorphic function on J×U×ℂ×ℂ. Thus, we can expand it as follows:
(2.2)F(t,z,u,v):=γ(t)z+δ(t)u+η(t)v+R2(t,z,u,v),
where
(2.3)γ(t):=∂F∂z(t,0,0,0),δ(t):=∂F∂u(t,0,0,0),η(t):=∂F∂v(t,0,0,0),
and the degree of R2(t,z,u,v) with respect to (t,z,u,v) is greater than or equal to 2.We need the following result.Lemma 2.1 (see [21]).
LetR>0, and let f(x) be a holomorphic function on DR={x∈ℂ:|x|<R}. If for any r>0,0<r<R,f(x) satisfies
(2.4)max⁡|x|≤r|f(x)|≤ρ(R-r)μ
for some ρ>0 and μ≥0, then one has
(2.5)max⁡|x|≤r|∂f(x)∂x|≤(μ+1)eρ(R-r)μ+1.Theorem 2.2.
Assume the problem (2.1). If α∈(0,1], ϑ≠0, and
(2.6)Γ(n+1)Γ(n+1-α)ϑ-δ(t)≠0,n∈N,
then (2.1) has a unique holomorphic solution u(t,z) near (0,0)∈J×U.Proof .
We realize that (2.1) has a formal solution
(2.7)u(t,z)=∑k=1∞‍uk(t)zk,(z∈U).
Then, substitut the series (2.7) into (2.1) and comparing the coefficients of zk in two sides of the equation yield
(2.8)[Γ(2)Γ(2-α)ϑ-δ(t)]u1(t)+λu1(β)(t)-η(t)u1′(t)=γ(t)⟹u1(β)(t)=f1(t,u1)[Γ(3)Γ(3-α)ϑ-δ(t)]u2(t)+λu2(β)(t)-η(t)u2′(t)=ϕ1(u1,u1′)⟹u2(β)(t)=f2(t,u2)⋮[Γ(n+1)Γ(n+1-α)ϑ-δ(t)]un(t)+λun(β)(t)-η(t)un′(t)+ϕn-1(u1,…,un-1,u1′,…,un-1′)⟹un(β)(t)=fn(t,un).
Thus, we obtain the following formula:
(2.9)un(β)(t)+[(Γ(n+1)/Γ(n+1-α))ϑ-δ(t)]λun(t)=Φ(t),
where ϕ0(t)=γ(t) and
(2.10)Φ(t):=ϕn-1(u1,…,un-1,u1′,…,un-1′)+η(t)un′(t)λ.
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 z=0.
Now, we proceed to prove that the formal series solution (2.7) is convergent near (0,0)∈(J,U). We expand the remainder term R2(t,z,u,v) into Taylor series with respect to (t,u,v), that is,
(2.11)R2(t,z,u,v)=∑m+n+p≥2‍am,n,p(t)zmunvp,
such that(i)
am,n,p(t) is holomorphic in J,(ii)
|am,n,p(t)|≤Am,n,p,Am,n,p>0 on J,(iii)
∑m+n+p≥2‍Am,n,pzmVn+p converges in (z,V) where V>0 satisfies |u|≤V and |v|≤V.From (2.9), we observe that
(2.12){[(Γ(2)/Γ(2-α))ϑ-δ(t)]λ+∂β∂tβ}u1(t)=γ(t)+η(t)u1′⋮{[(Γ(k)/Γ(k-α))ϑ-δ(t)]λ+∂β∂tβ}uk(t)=∑m+n+p≥2‍[∑m+k1+⋯+kn+l1+⋯+lp=k‍am,n,p(t)×uk1×⋯×ukn×∂ul1∂t×⋯×∂ulp∂t].
Without loss of generality, we may assume that there exists a constant K>0 such that
(2.13)|u1(t)|≤K,|∂u1(t)∂t|≤K.
Denoting
(2.14)C:=1‖(Γ(2)/Γ(2-α))ϑ-δ‖,
then we pose the following formula:
(2.15)V(z)=Kz+C1-r∑m+n+p≥2‍Am,n,p(1-r)m+n+p-2zmVnVp,
where r is a parameter with 0<r<1. Since (2.15) is an analytic functional equation in V then in view of the implicit function theorem, (2.15) has a unique holomorphic solution V(z) in a neighborhood of z=0 with V(0)=0. Expanding V(z) into Taylor series in z, we have
(2.16)V(z)=∑k≥1‍Vkzk,
where
(2.17)Vk=C1-r∑m+n+p≥2‍[∑m+k1+⋯+kn+l1+⋯+lp=k‍Am,n,p(1-r)m+n+p-2×Vk1×⋯=C1-r∑m+n+p≥2‍×Vkn×0!(eVl1)×⋯×(p-1)!(eVlp)∑m+k1+⋯+kn+l1+⋯+lp=k‍]:=Ck(1-r)k-1,k∈N>0,
with C1=K.
Next, our aim is to show that the series∑k≥1‍Vkzk is a major series for the formal series solution ∑k≥1‍ukzk near z=0. For this purpose, we will show that
(2.18)|uk|≤Vkon⁡Jr:=[0,r],r<1,(2.19)|∂uk∂t|≤(k-1)!(eVk)onJr.
Since (1-r)<1 implies
(2.20)1(1-r)m+n+p-2≥1,r<1,
then we have
(2.21)|uk|≤C∑m+n+p≥2‍[∑m+k1+⋯+kn+l1+⋯+lp=k‍Am,n,p×|uk1(t)|×⋯×|ukn(t)|×|∂ul1(t)∂t|×⋯×|∂ulp(t)∂t|∑m+k1+⋯+kn+l1+⋯+lp=k‍]≤C∑m+n+p≥2‍[∑m+k1+⋯+kn+l1+⋯+lp=k‍Am,n,p×Vk1×⋯×Vkn×0!(eVl1)×⋯×(p-1)!(eVlp)∑m+k1+⋯+kn+l1+⋯+lp=k‍]≤C∑m+n+p≥2‍[∑m+k1+⋯+kn+l1+⋯+lp=k‍Am,n,p(1-r)m+n+p-2×Vk1×⋯×Vkn×0!(eVl1)×⋯×(p-1)!(eVlp)∑m+k1+⋯+kn+l1+⋯+lp=k‍]≤Ck(1-r)k-2≤Ck(1-r)k-1=Vk.
Hence, we obtain the inequality (2.19). Next, by using Lemma 2.1, we pose that
(2.22)|∂uk∂t|≤(k-1)eCk(1-r)k-1≤(k-1)!eCk(1-r)k-1=(k-1)!(eVk).
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:(3.1)z0.51.128Dz0.5u(t,z)+∂1.5u(t,z)∂t1.5=ut(t,z)+1.5u(t,z),t∈J=[0,1],u(0,z)=0,
where u(t,z) is the unknown function. Since the condition (Γ(n+1)/Γ(n+1-α))ϑ-δ(t)≠0,n∈ℕ is satisfied, then in view of Theorem 2.2, the problem (3.1) has a unique holomorphic solution near (0,0)∈J×U. To verify this, we put
(3.2)u(t,z)=μ(t)z+v(t,z)(v(t,z)=O(z2))
as a formal solution. Therefore, μ(t) satisfies
(3.3)μ(t)(1.5)=μ′(t)+0.5μ(t).
The last equation is equivalent to the equation of the form
(3.4)∂γμ(t)∂tγ=g(t,μ(t),μ′(t)),γ∈(1,2],
where g is a contraction function whenever |μ′(t)-ρ′(t)|≤a|μ(t)-ρ(t)|,a∈(0,0.5); thus the holomorphic solution μ(t) exists uniquely and converges in a neighborhood of the origin (the Banach fixed-point theorem).Example 3.2.
Assume the following equation:(3.5)z0.51.128Dz0.5u(t,z)+utt=ut(t,z)-u(t,z),t∈J=[0,1],u(0,z)=0,
where u(t,z) 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)∈J×U. To realize this, (3.5) can be reduced to the following problem:
(3.6)ψ′′(t)=ψ′(t)-2ψ(t),ψ(0)=0.
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 u. 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.



---

*Source: 703681-2012-07-03.xml*