Volume 2023, Issue 1 1294070
Research Article
Open Access

Invariant Solutions and Conservation Laws of the Time-Fractional Telegraph Equation

Ramin Najafi

Corresponding Author

Ramin Najafi

Department of Mathematics, Maku Branch, Islamic Azad University, Maku, Iran azad.ac.ir

Search for more papers by this author
Ercan Çelik

Ercan Çelik

Department of Applied Mathematics and Informatics, Kyrgyz–Turkish Manas University, Bishkek, Kyrgyzstan manas.edu.kg

Search for more papers by this author
Neslihan Uyanık

Neslihan Uyanık

Department of Mathematics and Science Education, Faculty of Education, Anadolu University, Eskişehir, Turkey anadolu.edu.tr

Search for more papers by this author
First published: 29 August 2023
Academic Editor: Igor Freire

Abstract

In this study, the Lie symmetry analysis is given for the time-fractional telegraph equation with the Riemann–Liouville derivative. This equation is useable to describe the physical processes of models possessing memory. By applying classical and nonclassical Lie symmetry analysis for the telegraph equation with α, β time-fractional derivatives and some technical computations, new infinitesimal generators are obtained. The actual methods give some classical symmetries while the nonclassical approach will bring back other symmetries to these equations. The similarity reduction and conservation laws to the fractional telegraph equation are found.

1. Introduction

For decades, because fractional differential equations have a major role in many different fields of science, the theory of fractional differential equations has attracted broad interest in the different areas of applied sciences [15]. The fractional derivatives have also been of basic importance in the mathematical modeling of many systems in control [6], chemistry–biochemistry [7, 8], finance [9], disease transmission dynamics [1012], and other disciplines. Fractional derivatives supply a perfect and elegant tool to describe diverse materials and processes with memory and hereditary characteristic of a variety of different phenomena. By Xu et al. [13], Zhang et al. [14], Xu and Zhang [15], and Zhang et al. [16], the analytical solutions of the fractional differential equations have been obtained. The telegraph equations describe the current and voltage of wave propagation of electric signals in a cable transmission line to find distance and time, and has many applications such as neutron transport [17], random walk of suspension flows [18], signal analysis for transmission, propagation of electrical signals [19] etc. Since the telegraph equation with classical derivatives can not wells match the abnormal diffusion phenomena during the finite long transmit progress, where the voltage or the current wave possibly exists, in modeling of this equation, from the point of view of memory effects, we obtain the fractional telegraph equations with fractional derivatives [2022]. The time-fractional telegraph equation can be written as follows:
(1)
where γ1, γ2, γ3 are arbitrary constants, f(x, t) is smooth function and represent the Riemann–Liouville fractional derivatives. For α = 2, β = 1, the equation becomes the classical telegraph equation. Recently, the fractional telegraph equation has been studied comprehensively theoretically and numerically [2326]; however, there are limited works using analytical methods. Lie group theory plays a fundamental role in the theory of differential equations and it is efficiently used to get exact solutions to differential equations and fractional differential equations in some disciplines [2733]. To obtain new infinitesimal generators of a fractional differential equation and new solutions, we use the class of conditional symmetries or the so-called nonclassical symmetry method, which is proposed by Bluman and Cole [34] for the first time. A number of investigators have applied the method to find analytical solutions for the fractional differential equations [3540]. Conservation laws have a crucial role in the mathematical physics. They describe the physically conserved quantities such as energy, mass, and other constants of the motion. Noether’s [41] theorem produces a link between symmetries and conservation laws of the differential equations.

In this paper, we intend to get the nonclassical Lie group method and conservation laws of the telegraph equation with fractional order. We obtain by using the nonclassical method, infinitesimal generators that are new when compared with obtained symmetries by the classical method. The continuation of the article is as given below: mathematical preliminaries of the Riemann–Liouville fractional derivative and a description of classical and nonclassical Lie symmetry analysis are presented in Section 2. In Section 3 classical, nonclassical Lie symmetries, and similarity reductions of the telegraph equation with fractional order are constructed. Utilizing the obtained symmetries nontrivial conservation laws are given in Section 4.

2. Preliminaries

This section deals with basic concepts, definitions, and lemmas of fractional derivatives and classical, and nonclassical Lie symmetry analysis.

2.1. Basic Definition on Fractional Derivatives

Definition 1. [5] Let . The Riemann–Liouville fractional derivative of order m − 1 < αm of a function fL1[0, T] is defined by

(2)
for all t ∈ (0, T).

Proposition 1. [5] Let f be analytical in (−h, h) for some h > 0, and let . Then

(3)
for 0 < t < h/2, where f(n)(t) denotes the n-th derivative of f at t.

Proposition 2. [5] (Leibniz’s formula for Riemann–Liouville fractional derivative) Let and assume that f and g are analytical on (−h, h) with some h > 0. Then,

(4)
for 0 < t < h/2.

Definition 2. [5] Let . The function Eα,β defined by

(5)
whenever the series converges is called the two-parameter Mittag–Leffler function with parameters α and β.

2.2. Description of Classical and Nonclassical Lie Symmetry Analysis

Let us consider a one-parameter Lie group of infinitesimal transformations G on an open subset MX × UR3 with coordinate (x, t, u)
(6)
(7)
(8)
where ε is the group parameter. Then its associated Lie algebra is spanned by the following infinitesimal generators
(9)
We first recall the details of the classical symmetries method for the fractional differential equation. Let us consider the following time-fractional differential equation
(10)
defined over MX × UR3. A one-parameter group of transformations as in Equation (7), is a classical Lie symmetry group of Equation (10) if and only if for every infinitesimal generator V of G we have
(11)
where
(12)
with
(13)
Using Leibniz’s formula for Riemann–Liouville fractional operator and the chain rule, we can write
(14)
where
(15)
Here φu = φ/u, , denotes the total derivative operator defined by
(16)
and , denote the total fractional derivative and the total derivative of f, w.r.t. t, respectively.
According to the group of transformations in nonclassical methods Equation (7), we consider the invariant surface condition
(17)
and we investigate the invariance of both the original equations together with this equation. Because for every ξ, τ, and φ the invariant surface condition is always invariant under the group of transformations Equation (7), then a one-parameter group Equation (7), is a nonclassical Lie symmetry group of Equation (10) if and only if for every infinitesimal generator V of G, we have
(18)

3. Lie Symmetries and Similarity Reductions of the Time-Fractional Telegraph Equation

In this section, we study the invariance properties of the time-fractional telegraph equation. Let us consider the time-fractional telegraph equation
(19)
where γ1, γ2, γ3 are arbitrary constants and f(x, t) is given smooth function. Now we wish to obtain infinitesimals ξ, τ, and φ so that the one-parameter group Equation (7) be a symmetry group admitted by Equation (19). According to Equation (11) and by applying
(20)
to Equation (19), we have the classical Lie’s invariance criterion
(21)
whenever u satisfies Equation (19). Substituting φ(α, t), φ(β, t), φxx into this equation, replacing
by −γ2u + γ3uxx + f whenever it occurs, and equating the coefficients of the various monomials in the partial derivatives of u, we obtain the classical determining equations for the symmetry group of the time-fractional telegraph equation. Notice that φ(β, t) is defined similarly to φ(α, t). To analyze theses, the coefficients of are
(22)
respectively, hence τ is constant. On the other hand, due to the lower limit of integral in Definition 2.1 be invariant under the group of transformations Equation (7), we have to suppose that
(23)
Similarly, the coefficients of (or ) shows that ξ(x, t, u) = ρ1 and the coefficients of and (or ) reveals that
(24)
where ρ1, ρ2 are arbitrary constants, k is an arbitrary function and satisfies the following fractional equation
(25)
Therefore
(26)
and the classical symmetry algebra of Equation (19) is spanned by the three vector fields
(27)

Example 1. Let f(x, t) = eλxh(t) where λ is arbitrary constant. To obtain a classical invariant solution of Equation (19), we consider the one-parameter group generated by V = V1 + λV2 with invariant solution u(x, t) = eλxg(t). Substituting this solution into Equation (19), the reduced fractional ordinary differential equation (ODE) is

(28)

If, for example, γ2 = γ3λ2 the solution of this equation can be written in terms of Mittag–Leffler functions

(29)
where c1, c2 are arbitrary constants and Iα is the Riemann–Liouville fractional integral operator of order α, thus
(30)
is the solution of time-fractional telegraph equation.

If h(t) = tp where p ≥ 0 then

(31)

Choosing suitable values, the figures for Equation (31) have been displayed in Figures 1 and 2.

Details are in the caption following the image
The plot of u(x, t) obtained by Example 1 for values of (a) α = 1.5, β = 0.5, λ = 0.3, γ1 = 0.2, c1 = 0.8, c2 = 0.9, and p = 0 and (b) α = 1.8, β = 0.8, λ = 0.8, γ1 = 1, c1 = 0.4, c2 = 0.8, and p = 0.
Details are in the caption following the image
The plot of u(x, t) obtained by Example 1 for values of (a) α = 1.5, β = 0.5, λ = 0.3, γ1 = 0.2, c1 = 0.8, c2 = 0.9, and p = 0 and (b) α = 1.8, β = 0.8, λ = 0.8, γ1 = 1, c1 = 0.4, c2 = 0.8, and p = 0.
Details are in the caption following the image
The plot of u(x, t) obtained by Example 1 for values of α = 1.25, 1.5, 1.75, 2 and β = 0.25, 0.5, 0.75, 1 (a) at the time t = 1, (b) for −10 < x < 10 and 0 < t < 10; with parameters λ = γ1 = c1 = c2 = p = 1.
Details are in the caption following the image
The plot of u(x, t) obtained by Example 1 for values of α = 1.25, 1.5, 1.75, 2 and β = 0.25, 0.5, 0.75, 1 (a) at the time t = 1, (b) for −10 < x < 10 and 0 < t < 10; with parameters λ = γ1 = c1 = c2 = p = 1.

Example 2. If there exists a class of solutions g(x, t, u) = c to the Equation (19) admitting group Equation (7), defines a solution too [39], then we have

(32)

Now we consider the one-parameter group generated by V3 = k(x, t)/u of the Equation (19), where k satisfies the Equation (25). According to Equation (32), we can write

(33)

The solution of this equation can be written in the form

(34)
so
(35)

If we assume, for instance, f(x, t) = w(x, t) = z(x)h(t) therefore

(36)

Substituting this solution into Equation (19), thus according to Equation (25) and assuming that

(37)
the reduced fractional ODE is
(38)

The solution of this equation can be written in terms of Mittag–Leffler functions

(39)
where c3, c4 are arbitrary constants. According to Equation (37), if we assume that then we determine the solution of Equation (19) in the following cases:
  • If Δ > 0, then we have

(40)
where m1, m2 denote the real roots to the auxiliary equation of Equation (40).
  • If Δ = 0, then we have

(41)
where m denote the repeated real root to the auxiliary equation of Equation (37).
  • If Δ < 0, then we have

(42)
where θ1 ± θ2i denote the complex roots to the auxiliary equation of Equation (37) and c5, …, c10 are arbitrary constants.

Our next goal is now to obtain nonclassical determining equations, employing Pr(α, t)V to Equation (19) and according to Equation (18), the nonclassical infinitesimal invariance criterion is given by

(43)
which must be satisfied whenever u satisfies Equation (19) and the invariant surface condition Equation (17). According to invariant surface condition, we consider two different cases: ξ ≠ 0 and ξ = 0. In the case ξ ≠ 0, without loss of generality, we can choose ξ = 1, then we have
(44)
(45)

After substituting φ(α, t), φ(β, t), φxx into Equation (43) with ξ = 1, replacing by −γ2u + γ3uxx + f similar to classical case, and also resubstituting the expressions ux, uxt, uxx wherever it occurs, we attain the nonclassical determining equations for the symmetry group. Now we analyze the order of the derivatives which appear. The coefficient of ututt is τ2τu = 0, thus we conclude τ = 0 or τu = 0.

If τ = 0 according to coefficient of (or ), we have

(46)
where Θ(x, u), Ξ(x, t) are arbitrary functions. After substituting φ into the remaining term gives
(47)
where θ(x) and Ξ(x, t) satisfy the following system
(48)
(49)

To find the function Ξ(x, t), we solve equation Equation (48) thus

(50)
where ρ3, …, ρ6 are arbitrary constants. A comparison with Equation (24) shows that the nonclassical method is more general than the classical method for the symmetry group.

If τ ≠ 0 and τu = 0 the set of determining equations for the nonclassical symmetry group of Equation (19) are incompatible.

In the case ξ = 0 and τ ≠ 0, we have

(51)
and nonclassical determining equations unfortunately is impossible.

Example 3. According to Equation (50), let . Assume that Ξ(x, t) = 0 and f(x, t) = (x + ρ4)h(t). Then by considering invariat surface condition Equation (20), we have

(52)
whose general solution is given by
(53)

Substituting of this solution into Equation (19) reduces it to following fractional ODE

(54)

After solving this fractional ODE, taking into account Equation (53) we find the exact solutions of the Equation (19). For example, whenever α = 2β and let r1, r2 denote the roots of the equation x2 + γ1x + γ2 = 0, assuming r1r2 we have

(55)
so
(56)

If r1 = r2, then

(57)
where c1, c2 are arbitrary constants.

Example 4. Suppose that , Ξ(x, t) = 0 and

(58)

Then in view of the invariant surface condition, we have ux = θ(x)u. Differentiating this equation with respect to x leads to

(59)

Thus, the general solution of the equation is

(60)
where F and G are arbitrary functions. Substituting into Equation (19), after some simplifications, we find the reduced fractional ODEs
(61)
(62)

We can solve these equations similar to previous examples and obtain the exact solutions to Equation (19).

4. Conservation Laws

In the current section, we will focus on the conservation laws of Equation (19). A vector C = (Cx, Ct) is called a conserved vector for Equation (19), if it fulfills the conservation equation
(63)
where the conserved density Ct and the spatial flux Cx are functions of x, t, u, integer-order derivatives, fractional integrals and fractional derivatives of u. Equation (63) is called a conservation law for Equation (19). The new conservation theorem proposed by Ibragimov [42] provides a method to construct conservation laws for differential equations. Based on this theorem, the Lagrangian formal for Equation (19) can be introduced as follows:
(64)
where v(x, t) is a new dependent variable. Thus the functional of Equation (19) through the formal Lagrangian Equation (64) is presented as follows:
(65)
A necessary condition for functional to have an extremum is
(66)
Here the Euler–Lagrange operator can be represented in the form
(67)
where and are the adjoint operators of and are defined by
(68)
Thus according to Equation (66), the adjoint equation to Equation (19) is given by
(69)
We also use fundamental identity [4244]
(70)
where Nt and Nx represent the Noether’s operators, I is the identity operator, Pr(α, t)V is given by Equation (20) and we can rewrite in the following form
(71)
where W = φτutξux and the same as Equation (16), are defined by
(72)
(73)
Therefore according to Equation (70), we have
(74)
where
(75)
(76)
(77)
(78)
and the integral operator J is defined by
(79)
This integral satisfies the property
(80)
So for Equation (19), the operator Nt and Nx can be written by the following formula
(81)
(82)
Since for all infinitesimal generator V admitted by Equation (19) and its any solution
(83)
therefore, in view of Equation (70), the conservation law of Equation (19) can be written as follows:
(84)
Now, we present the components of conserved vectors for Equation (19). Using Equations (81) and (82), we have
(85)
where v(x, t) is an arbitrary nontrivial solution of Equation (69) and for different infinitesimal generator Vi, i = 1, …, 3, of Equation (19), Wi are defined as follows:
(86)

5. Conclusion

In this paper, the methods of classical and nonclassical Lie symmetry analysis are applied to the time-fractional telegraph equation. The Lie symmetry method has had an enormous success when applied to a diverse range of differential equations. The idea of looking for the exact solutions and conservation law for the more derivatives of fractional and integer-order will motivate the nonclassical Lie symmetry method to study such types of fractional partial differential equations (PDEs). The results shown in this work demonstrate how the nonclassical approaches grab the new exact solutions to differential equations with fractional order. Moreover, we constructed conservation laws for the time-fractional telegraph equation by Ibragimovâ€s conservation theorem adapted to the time-fractional PDEs.

Conflicts of Interest

The authors declare that they have no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper.

Data Availability

Data supporting this research article are available on request.

    The full text of this article hosted at iucr.org is unavailable due to technical difficulties.