 Research
 Open Access
 Published:
The analytical interface coupling of arbitraryorder fractional nonlinear hyperbolic scalar conservation laws
Advances in Difference Equations volume 2020, Article number: 650 (2020)
Abstract
In this paper, the existence and uniqueness of the interface coupling (IC) of time and spatial (TS) arbitraryorder fractional (AOF) nonlinear hyperbolic scalar conservation laws (NHSCL) are investigated. The technique of arbitrary fractional characteristic method (AFCM) is used to accomplish this task. We apply Jumarie’s modification of Riemann–Liouville and Liouville–Caputo’s definition to extend some formulae to the arbitraryorder fractional calculus. Then these formulae are utilized to prove the main theorem. In this process, we develop an analytic method, which gives us the ability to find the solution of IC AOF NHSCL. The feature of this method is that it enables us to verify that the obtained solution satisfies the fractional partial differential equation (FPDE), and the solution is unique. Furthermore, a few examples illustrate the implementation of this technique in the application section.
1 Introduction
The notion of hyperbolic conservation laws (HCLs) was raised about five decades ago [1, 2]. Long ago, the properties for a partial differential equations’ (PDEs’) system of this type were distinguished. Moreover, the interface coupling (IC) of HCLs has important applications. Several phenomena occur in mathematical physics, and their mathematical models are expressed in the form of the IC HCLs. Hence many researchers have tried to develop new techniques to find analytical and numerical solutions for IC HCLs. Many of them have been successful in introducing methods to find numerical solutions.
The analytical method has become a very appealing tool to pursue a solution to differential equations (DEs), which leads to the exact answer. Analytical results for most IC FDEs cannot be obtained, so developing a new method is important. To the best of our knowledge, the analytical solution of interface coupling fractional conservation law has not been addressed, yet. This article aims at fulfilling this gap and investigates the analytical solution of IC HCL. In the present paper, we adopt the fractional characteristic method (FCM), which is a very powerful technique that converts an IC FPDE to a system of IC FODE, which makes it possible to solve the problem. The FCM method was introduced by Guochang Wu [2], and it is further developed to address the IC AOF hyperbolic conservation laws. Due to its efficiency in obtaining the exact solution, it became a very attractive method for seeking answers to differential equations. The feature of this technique compared to the other analytical solution is the ability to check if the obtained solution is a correct answer to our problem by substituting the answer in the IC FPDE and showing it satisfies the differential equation.
The homogeneous interface coupling hyperbolic conservation laws in the form of arbitraryorder fractional (AOF) refers to firstorder systems of fractional PDEs in divergence form,
where u is a function of the spatial variables \(( x_{1}, \dots , x_{m} )\) and time t. The given functions \(\mathcal{H}\), \(\mathfrak{F}_{iR}\), \(\mathfrak{F}_{iL}\) and \(\mathcal{G}_{i}\) where \(i=1, \dots , m\) are smooth maps from \(\mathbb{R}\) to \(\mathbb{R}\). Also \(\alpha:\mathbb{R}\rightarrow ( 0,1)\), \(\gamma:\mathbb{R}\rightarrow ( 0,1)\), \(\beta _{i} ( \tau ): \mathbb{R}\rightarrow ( 0,1)\) and \(\lambda _{i} ( \tau ): \mathbb{R}\rightarrow ( 0,1 )\) where \(\alpha ( \tau )\), \(\gamma ( \tau )\), \(\beta _{i} ( \tau )\) and \(\lambda _{i} ( \tau )\) for \(i=1, \dots , m\) are continuous. The symbol \(\partial _{t}\) stands for \(\frac{\partial }{\partial t}\), and \(\partial _{x}\) stands for \(\frac{\partial }{\partial x}\). If we assume \(\alpha ( \tau ), \gamma ( \tau ) = 1\) and \(\beta _{i} ( \tau ), \lambda _{i} ( \tau ) =1\) for \(i=1, \dots , m\) in the above problem, then it reduces to the classical interface coupling conservation law, numerical approximations of which have been studied by researchers. We are wondering if there is any solution that is unique and satisfies the equation of IC AOF HNCL.
This paper is organized as follows: Sect. 2 elaborates the background on fractional calculus, constant and variableorder fractional derivative, and preliminaries on the definitions of Riemann–Liouville fractional derivative of variableorder, and Caputo derivative of variableorder are introduced. Then the definitions of Riemann–Liouville fractional derivative of arbitraryorder and Liouville–Caputo derivative of arbitraryorder are presented. Furthermore, the generalization of some integer calculus (IC) formulae to constant and arbitraryorder calculus, which will be used in later sections, is introduced. Section 3 presents the proof of the existence and uniqueness of IC VOF NHSCL, and in this process, we introduce a very powerful technique to solve interface coupling FPDEs. Section 4 shows the implementation of this analytical method to solve a few physical examples and presents a benchmark for solution of each one. Then, we used MATLAB to sketch the graphs of the obtained solutions.
2 Literature review
2.1 Background
Partial differential equations (PDEs) are one of the most essential and powerful mathematical tools to describe many phenomena. Scientists have been implementing PDEs in mathematical physics, engineering fields, solidstate physics, quantum mechanics, plasma physics, fluid mechanics, chemical kinematics, ecology, optical fibers, geochemistry, biology, meteorology, and so on. Hence many researchers have tried to develop new techniques to find exact or analytical solutions for PDEs. Many of them have been successful in introducing methods to find exact or analytical solutions for PDEs, such as the sine–cosine function method and Bernoulli’s equation approach [3, 4], the Kudryashov method [5], the functional variable method [6], the (G’/G)expansion method [7, 8], Hirota’s bilinear method [9], the first integral method [10], etc. However, the integer calculus often contradicts the experimental results, so it is more suitable to use fractional calculus, a generalization of it.
Fractional calculus (FC) exhibited a remarkable evolution during the last three decades and has attracted the attention of many researchers in many scientific areas [11–16]. The definition and concept of fractional derivative (FD) and fractional integral (FI) are presented in different forms. One of them is the Riemann–Liouville derivative [17], which has been mostly used in mathematical framework studies. Still, in the last decade, the Caputo derivative [18] became popular in applied sciences due to the way it is dealing with the initial conditions [18]. Also, the Grünwald–Letnikov definition is considered mostly for approximations in numerical methods. Also, Kilbas et al. [19] have a book titled “Theory and Applications of Fractional Differential Equations.”
Samko and Ross [20] introduced the concept of variableorder fractional (VOF) derivative and integral (which is a generalization of constantorder fractional derivative and integral) together with some basic properties in 1993. Lorenzo and Hartley [21] investigated the definitions of VOF operators in different forms and then summarized the research results of the VOF operators. Then, a new extension and valuable implementation of the VOF differential equations’ (DEs) models have been further developed [22]. Subsequently, VOF DEs have attracted more and more attention, describing their suitability in modeling, along with a large variety of phenomena, ranging from science to engineering. In particular, we mention anomalous diffusion [23, 24], viscoelastic mechanics [22, 25], the control system [26], chaotic systems [27], petroleum engineering [28], and many other branches of physics and engineering, to name a few [29–33].
The exact solutions of most VOF PDEs cannot be found easily, so numerical methods [34, 35] must be used. The solutions of the VOF PDEs are investigated by many authors using powerful numerical techniques. Several numerical methods, such as the homotopy perturbation method [36], the Adomian decomposition method [37], the variational iteration method [38], the differential transform method [39], the fractional Riccati expansion method [40], and the fractional subequation method [41–44], have been suggested for solving FDEs. However, solutions obtained through all these methods are local, and it is important to explore other techniques to find exact analytical solutions of FDEs [45].
2.2 Preliminaries
2.2.1 Riemann–Liouville and Liouville–Caputo variableorder fractional derivative for the function of one variable
The generalization of the Riemann–Liouville and Liouville–Caputo (LC) derivative from constant to variableorder of differentiation and integration have been presented [46]. Given \(\alpha (t) \in (0, 1)\), the left and right Riemann–Liouville and LC fractional derivatives and integrals of order \(\alpha (t)\) of a function \(x: [a, b] \rightarrow \mathbb{R}\) are generally defined in two different ways for Riemann–Liouville and three different ways for LC. The definition of the first type for Riemann–Liouville and of the third type for LC derivatives are presented as follows.
Definition 1
(Type I Riemann–Liouville fractional derivatives of variableorder \(\alpha (t)\) [46])
Given a function \(x: [a, b ] \rightarrow \mathbb{R}\) and \(0<\alpha (t)<1\),

1.
Type I left Riemann–Liouville fractional derivative of variableorder \(\alpha (t)\) is defined by
$$ {}_{a} D_{t}^{\alpha ( t )} x ( t ) = \frac{1}{\varGamma [ 1\alpha (t) ]} \frac{d}{dt} \int _{a}^{t} (t\tau )^{\alpha (t)} x ( \tau )\,d\tau ; $$(2.1) 
2.
Type I right Riemann–Liouville fractional derivative of variableorder \(\alpha (t)\) is defined by
$$\begin{aligned}& {}_{t} D_{b}^{\alpha ( t )} x ( t ) = \frac{1}{\varGamma [ 1\alpha (t) ]} \frac{d}{dt} \int _{t}^{b} (\taut )^{\alpha (t)} x ( \tau )\,d\tau . \end{aligned}$$(2.2)
Definition 2
(Type III Caputo fractional derivatives of variableorder \(\alpha(t)\) [46])
Given a function \(x: [a, b ] \rightarrow \mathbb{R}\) and \(0<\alpha (t)<1\),

1.
Type III left Caputo derivative of variableorder \(\alpha(t)\) is defined by
$$\begin{aligned}& {}_{a}^{C} D_{t}^{\alpha ( t )} x ( t ) = \frac{1}{\varGamma [ 1\alpha (t) ]} \int _{a}^{t} (t\tau )^{\alpha (t)} x ' ( \tau )\,d\tau ; \end{aligned}$$(2.3) 
2.
Type III right Caputo derivative of variableorder \(\alpha(t)\) is defined by
$$\begin{aligned}& {}_{t}^{C} D_{b}^{\alpha ( t )} x ( t ) = \frac{1}{\varGamma [ 1\alpha (t) ]} \int _{t}^{b} (\tau t)^{\alpha (t)} x ' ( \tau )\,d\tau . \end{aligned}$$(2.4)
2.2.2 New definition for Riemann–Liouville and Liouville–Caputo fractional arbitraryorder derivative
In the above definitions, the variable t in \(\alpha ( t )\) and \(x(t)\) is the same; however, it produces different definitions. Now we would like to introduce a definition where the variables of α and x are different; in this case, we will have only one definition for each, which is proper to name them as the Riemann–Liouville and Liouville–Caputo fractional arbitraryorder derivatives.
Definition 3
(New Riemann–Liouville fractional derivatives of arbitraryorder \(\alpha(t)\))
Given a function \(f: [a, b] \rightarrow \mathbb{R}\), and \(\alpha: \mathbb{R}\rightarrow ( 0,1)\), where \(f ( x )\) and \(\alpha ( t )\) are continuous,

1.
New left Riemann–Liouville fractional derivative of arbitraryorder \(\alpha(t)\) is defined by
$$\begin{aligned}& {}_{a} D_{x}^{\alpha ( t )} f ( x ) = \frac{1}{\varGamma [ 1\alpha ( t ) ]} \frac{d}{dx} \int _{a}^{x} ( xs )^{\alpha ( t )} f ( s )\,ds; \end{aligned}$$(2.5) 
2.
New right Riemann–Liouville fractional derivative of arbitraryorder \(\alpha(t)\) is defined by
$$\begin{aligned}& {}_{x} D_{b}^{\alpha ( t )} f ( x ) = \frac{1}{\varGamma [ 1 \alpha ( t ) ]} \frac{d}{dx} \int _{x}^{b} ( \mathrm{s}x )^{ \alpha ( t )} f ( s )\,ds . \end{aligned}$$(2.6)
Definition 4
(New LiouvilleCaputo fractional derivatives of arbitraryorder \(\alpha(t)\))
Given a function \(f: [a, b] \rightarrow \mathbb{R}\), and \(\alpha: \mathbb{R}\rightarrow ( 0,1)\), where \(f ( x )\) and \(\alpha ( t )\) are continuous, then

1.
New left Liouville–Caputo derivative of arbitraryorder \(\alpha(t)\) is defined by
$$\begin{aligned}& {}_{a}^{C} D_{x}^{\alpha ( t )} f ( x ) = \frac{1}{\varGamma [ 1\alpha ( t ) ]} \int _{a}^{x} ( x\tau )^{\alpha ( t )} f ' ( \tau )\,d\tau ; \end{aligned}$$(2.7) 
2.
New right Liouville–Caputo derivative of arbitraryorder \(\alpha(t)\) is defined by
$$\begin{aligned}& {}_{x}^{C} D_{b}^{\alpha ( t )} f ( x ) = \frac{1}{\varGamma [ 1\alpha ( t ) ]} \int _{x}^{b} ( \taux )^{\alpha ( t )} f ' ( \tau )\,d\tau . \end{aligned}$$(2.8)
2.2.3 Some results based on Definitions 3 and 4
We can extend all the results in Jumarie’s paper [47] about the fractional constantorder to the fractional arbitraryorder, based on Definitions 3 and 4 and replacing of α with \(\alpha (t)\). Consequently, we present some of these results as follows.
Proposition 1
The following formulas hold true:
The formulae that are presented above will be used to prove the theorem and to solve the examples in the application section. We can also derive the following integrating formulae using (2.10), (2.11), and (2.12).
Proposition 2
The following formulas hold true:
Remark 1
The main tool that we use to prove the theorem is the extension of “the fractional characteristic method” from constantorder to arbitraryorder, introduced by Guocheng Wu [48].
3 Existence and uniqueness
Let us consider the IC AOF NHSCL in one dimension which is defined by
Let \(C_{R} : \mathbb{R} \rightarrow \mathbb{R}\) and \(C_{L} : \mathbb{R} \rightarrow \mathbb{R}\) be two “smooth” functions.
The modified Riemann–Liouville derivative of AOF with parameters \(\alpha (\tau )\) and \(\beta ( \tau )\) is
In equation (3.1), we use the notations \(\partial _{t}^{\alpha ( \tau )} u(x,t):= {}_{0} D_{t}^{\alpha ( \tau )} u(x,t)\) for \(0 < \alpha ( \tau ) \leq \) 1, and similarly \(\partial _{x}^{\beta ( \tau )} u(x,t):= {}_{0} D_{x}^{\beta ( \tau )} u(x,t)\) for \(0<\beta (\tau ) \leq 1\).
Theorem 1
Let us consider
with an initial condition \(u(x,0): \mathbb{R} \rightarrow \mathbb{R}\), and a suitable “continuity” condition or “coupling condition” at the interface \(x=0\), namely

(i)
\(f, C_{L}, C_{R} \in C^{1}(\mathbb{R})\),

(ii)
F and f are differentiable with respect to ξ and ζ,

(iii)
ξ and ζ are fractionally differentiable with respect to x and t,

(iv)
\(\mu ( \tau ) t^{\alpha ( \tau )} F_{\xi } ( \xi ) + \beta ( \tau ) \xi ^{\beta ( \tau ) 1} \neq 0 \) for \(x<0\) and \(\eta ( \tau ) t^{\gamma ( \tau )} F_{\zeta } ( \zeta ) + \lambda ( \tau ) \xi ^{\lambda ( \tau ) 1} \neq 0 \) for \(x>0\), are satisfied.
Then there exists a unique solution \(u: (x, t) \in \mathbb{R} \times \mathbb{R}_{+} \rightarrow u(x, t) \in \mathbb{R} \) of (3.3) for \(0<\alpha ( \tau ),\beta ( \tau ), \gamma ( \tau ), \lambda ( \tau ) \leq 1 \).
Proof
(i) The existence of the solution for (3.3). We implement the method of arbitraryorder fractional characteristics. To construct the continuous solutions, we consider the total differential “du” given by
so that the points \((x, t)\) are assumed to lie on a curve \(\varUpsilon (\mathrm{upsilon})\). Then (3.4) can be written as:
Comparing (3.3) with (3.5), we deduce the following FODEs:
and
The solutions of (3.7) are called the fractional characteristic curves of equation (3.3). Thus the solution of (3.3) is reduced to finding the solution of a quadruple of simultaneous ordinary differential equations (3.6) and (3.7).
From (3.6), u is constant along each characteristic curve and each \(C_{L} (u)\) or \(C_{R} ( u )\) remains constant on ϒ. Hence (3.7) gives the characteristic curves of (3.3), which form a family of curves in the \((x, t) \)plane. It means that if the ϒ family of curves can be obtained, then the general solution of (3.3) is obtained. If we assume that the initial condition on the characteristic curve ϒ is given by ξ if \(x<0\) and ζ if \(x>0\), then ϒ intersects \(t = 0\) when \(x<0\) at \(x = \xi \), infering \(u(\xi , 0) = f(\xi )\) whilst if \(x>0\) at \(x=\zeta \) then \(u( \zeta , 0) = f( \zeta )\) on the entire curve of ϒ as shown in Fig. 1.
Thus, the family of the fractional characteristic curves of ϒ is the solution of (3.7). Then
and
where \(\mu ( \tau ) = \frac{\varGamma (1+ \beta ( \tau ) )}{\varGamma (1+ \alpha ( \tau ) )}\) and \(\eta ( \tau ) = \frac{\varGamma (1+\lambda ( \tau ) )}{\varGamma (1+\gamma ( \tau ) )}\). Equations (3.8) and (3.9) indicate a quadruple of FODEs on ϒ. However, equation (3.9) cannot be solved because \(C_{L}\) and \(C_{R}\) are functions of u, but (3.8) can easily be solved to obtain \(u= \mathrm{constant}\), so \(u ( \xi , 0 ) = f ( \xi )\) for \(x<0\) and \(u( \zeta , 0) = f( \zeta )\) for \(x>0\) on the entire curves of ϒ. Hence (3.8) leads to
and the integration of (3.9) gives
where
Using formula (2.13), from (3.11) we obtain the following result:
which are the characteristic curves of (3.3) (they are straight lines when \(\alpha = \beta =\gamma =\lambda = 1\)). The values of u on the curves (3.13) are constant, and it depends on ξ for \(x<0\) and ζ for \(x>0\). Therefore (3.10) and (3.13) are the solution of the initialvalue problem (3.3), which can be presented in parametric form as
where
(ii) Demonstrating (3.14) is a solution of (3.3). We show that (3.14) satisfies (3.3). Differentiating the first and second equations of (3.14) with respect to x with an order of \(\beta ( \tau )\) and \(\gamma ( \tau )\), and with respect to t with an order of \(\alpha ( \tau )\) and \(\lambda ( \tau )\) yields
leading to
where \(f_{\xi } ( \xi ) = D_{\xi } f (\xi )\), \(\xi _{x}^{ [ \beta ( \tau ) ]}=D_{x}^{\beta ( \tau )} \xi \) and \(\xi _{t}^{ [ \alpha ( \tau ) ]} = D_{t}^{\alpha ( \tau )} \xi \) (similar for ζ). Also, we differentiate the third and fourth equation of (3.14) with respect to x with an order of \(\beta ( \tau )\) and \(\gamma ( \tau )\), and with respect to t with an order of \(\alpha ( \tau )\) and \(\lambda ( \tau )\) to get
where using formula (2.10) leads to
Obtaining \(\xi _{x}^{ [ \beta ( \tau ) ]}\), \(\xi _{t}^{ [ \alpha ( \tau ) ]}\), \(\zeta _{x}^{ [ \lambda ( \tau ) ]}\) and \(\zeta _{t}^{ [ \gamma ( \tau ) ]}\) from (3.18), and substituting into (3.16), we have
Substituting (3.19) into (3.3), we have
since \(F ( \xi ) = C_{L} ( f ( \xi ) )\) for \(x<0\) and \(F ( \zeta ) = C_{R} ( f ( \zeta ) )\) for \(x>0\), equation (3.3) is satisfied provided
The solution (3.14) also satisfies the initial condition at \(t = 0\), since \(x=\xi \) for \(x<0\) and \(x = \zeta \) for \(x>0\).
(iii) Showing the uniqueness. Assume that \(u(x, t)\) and \(v(x, t)\) are two solutions of (3.3). Then they should satisfy (3.14), that is,
and
Therefore from (3.20) and (3.21), we obtain
Alternatively,
Hence (3.22) implies that
so uniqueness is proved. □
4 Application
Consider the arbitraryorder fractional interface coupling of two nonlinear hyperbolic equations
with an initial condition \(u(x,0): \mathbb{R} \rightarrow \mathbb{R}\) and also a suitable “continuity” condition or “coupling condition” at the interface \(x=0\).
To make this coupling condition more explicit, we begin by considering the simplest possible case where \(C_{L} (u)\) and \(C_{R} (u)\) are nonzero constants. For the classic case, where \(\alpha ( \tau ) = \beta ( \tau ) = \gamma ( \tau ) = \lambda ( \tau ) =1\) E. Godlewski [49] has given the following results; the distinguished cases depend on the directions of the characteristic lines:

(1)
\(C_{L} (u) >0\), \(C_{R} (u) >0\) or \(C_{L} (u) <0\), \(C_{R} (u) <0\): we can impose the continuity of u at \(x=0\);

(2)
\(C_{L} (u) >0\), \(C_{R} (u) <0\): no continuity condition is required at \(x=0\);

(3)
\(C_{L} (u) <0\), \(C_{R} (u) >0\): we need to specify \(u ( 0,t )\) at \(x=0\), otherwise the solution u is not defined in the fan \(C_{L} t < x< C_{R} t\).
Let us examine the above result by the following example.
Example 1
We obtain the analytical solution for interface coupling spacetime fractional arbitraryorder equations of fluid mechanics that are dealing with two different complex systems of equations on each side of the interface, which in this case are \(C_{L} (u) = \mathrm{constant} = k \) and \(C_{R} (u) = \mathrm{constant} =h\). The system is
Solution
According to Theorem 1, we can write the following FPDEs:
where \(\mu ( \tau ) = \frac{\varGamma (1+ \beta ( \tau ) )}{\varGamma (1+ \alpha ( \tau ) )}\) and \(\eta ( \tau ) = \frac{\varGamma (1+\lambda ( \tau ) )}{\varGamma (1+\gamma ( \tau ) )}\). Integrating (4.4), we have
then, implementing formula (2.13), we obtain the parametric solution
since
and therefore the solution can be written as
The general solution for Example 1, assuming the initial condition \(u ( x,0 ) =f ( x ) = \sin 2x +5 \cos x\), is
Benchmark 1
(For Example 1)
We make sure that (4.6) is the solution, and satisfies (4.2). Differentiating the first and second equation of (4.6) with respect to x with an order of \(\beta ( \tau )\) and \(\gamma ( \tau )\), and with respec to t with an order of \(\alpha ( \tau )\) and \(\lambda ( \tau )\) gives
leading to
Also, we differentiate the third and fourth equation of (4.6) with respect to x with an order of \(\beta ( \tau )\) and \(\gamma ( \tau )\), and with respect to t with an order of \(\alpha ( \tau )\) and \(\lambda ( \tau )\) to get
which, using formula (2.10), leads to
Obtaining \(\xi _{x}^{ [ \beta ( \tau ) ]}\), \(\xi _{t}^{ [ \alpha ( \tau ) ]}\), \(\zeta _{x}^{ [ \lambda ( \tau ) ]}\) and \(\zeta _{t}^{ [ \gamma ( \tau ) ]}\) from (4.13),
and substituting into (4.11), we have
Substituting (4.15) into (4.2), we have
therefore (4.6) is the solution of (4.2). The answer (4.6) also satisfies the initial condition at \(t = 0\), since \(x=\xi \) for \(x<0\) and \(x = \zeta \) for \(x>0\).
Remark 2
We consider the classic case of Example 1, where \(\alpha ( \tau ) = \beta ( \tau ) = \gamma ( \tau ) = \lambda ( \tau ) =1 \):
with the initial condition
The solution u is
The graphs of the solution u for different values of k and h are given in Fig. 2. Each graph of the solution u for various values of h and k has only real part that is shown in segments (a), in which time is continuous, and in segments (b) when time is \(t=0,1,2,3,4\), and 5.
Also, we consider Example 1 with other values for \(\alpha ( \tau )\), \(\beta ( \tau )\), \(\gamma ( \tau )\), and \(\lambda ( \tau )\) and the graphs of u are given in Fig. 3. In these cases, the solution u has real and imaginary parts.
Remark 3
We can conclude from the analysis of results in Example 1 that the solution u at the interface \(x=0\) is continuous when \(C_{L} ( u ) =k=h= C_{R} (u)\) both in classic and fractional cases, which matches the result by E. Godlewski. But when \(C_{L} ( u ) =k\neq h= C_{R} (u)\), the continuity does not hold; therefore, it does not match with the result by E. Godlewski.
Example 2
Here we investigating the solution of a more complicated form of the interface coupling of the spacetime fractional arbitraryorder, which is given by
Solution
According to Theorem 1, for \(x<0\), we have
and for \(x>0\), we have
Then the integration of (4.18) gives
where \(\mu ( \tau ) = \frac{\varGamma ( 1+\beta ( \tau ) )}{\varGamma ( 1+\alpha ( \tau ) )}\). By formula (2.14) the integration of (4.20) for \(x>0\) yields
and leads to
Similar to the above, from (4.19), we obtain
where \(\eta (\tau ) = \frac{\varGamma ( 1+\lambda ( \tau ) )}{\varGamma ( 1+\gamma ( \tau ) )} \). Therefore, (4.22) and (4.23) give the parametric solution below for (4.17) as
and (4.24) can be written in the following form:
Considering the initial condition
and (4.25), we have
which leads to
Benchmark 2
(For Example 2)
We make sure that (4.24) is the solution, and satisfies (4.17). Differentiating the first and second equation of (4.24) with respect to x with an order of \(\beta ( \tau )\) and \(\gamma ( \tau )\), and with respect to t with an order of \(\alpha ( \tau )\) and \(\lambda ( \tau )\) gives
leading to
Also, we differentiate the third and fourth equation of (4.24) with respect to x with an order of \(\beta ( \tau )\) and \(\gamma ( \tau )\), and with respect to t with an order of \(\alpha ( \tau )\) and \(\lambda ( \tau )\) to get
which, using formula (2.10), leads to
Obtaining \(\xi _{x}^{ [ \beta ( \tau ) ]}\), \(\xi _{t}^{ [ \alpha ( \tau ) ]}\), \(\zeta _{x}^{ [ \lambda ( \tau ) ]}\), and \(\zeta _{t}^{ [ \gamma ( \tau ) ]}\) from (4.31), namely
and substituting (4.32) into (4.17), we have
And substituting (4.15) into (4.2), we have
therefore (4.6) is the solution of (4.2). The answer (4.6) also satisfies the initial condition at \(t = 0\), since \(x=\xi \) for \(x<0\) and \(x = \zeta \) for \(x>0\).
Remark 4
Consider the classic case of Example 2 where \(\alpha ( \tau ) = \beta ( \tau ) = \gamma ( \tau ) = \lambda ( \tau ) =1\), therefore the solution is
With initial condition \(u ( x,0 ) =f ( x ) = e^{2x} + \cos 5x\) the solution can be written as
and its graph is given in Fig. 4.
The graphs of the solution u in Example 2 for different values of \(\alpha ( \tau )\), \(\beta ( \tau )\), \(\gamma ( \tau )\), and \(\lambda ( \tau )\) are given in Fig. 5, where (a) and (c) are the graphs of the real and imaginary part of the solutions u where time is continuous, and (b) and (d) are the graphs the real and imaginary part of the solution u with the different values for the time at \(t=0,1,2,3,4\), and 5.
Example 3
Here we find the analytical solution of a couple interface fractional arbitraryorder differential equation
Solution
Based on the method introduced in Theorem 1, for \(x<0\),
and for \(x>0\),
The integration of (4.37) and (4.38) is given below: for \(x<0\), we have
and for \(x>0\), we obtain
The integration of (4.39) and (4.40), by formula (2.15), for \(x<0\) leads to
and for \(x>0\), it leads to
From equations (4.41) and (4.42), we obtain the following parametric solution:
which simplifies to
Let us assume the initial condition \(f ( x ) = \cos x+3 \sin x\), then the solution is
Benchmark 3
(For Example 3)
We make sure that (4.44) is the solution, and satisfies (4.36). Differentiating the first and second equation of (4.44) with respect to x with an order of \(\beta ( \tau )\) and \(\gamma ( \tau )\), and with respect to t with an order of \(\alpha ( \tau )\) and \(\lambda ( \tau )\) gives
leading to
Also, we differentiate the thirdand fourth equation of (4.6) with respect to x with an order of \(\beta ( \tau )\) and \(\gamma ( \tau )\), and with respect to t with an order of \(\alpha ( \tau )\) and \(\lambda ( \tau )\) to get
which, using formula (2.10), leads to
Obtaining \(\xi _{x}^{ [ \beta ( \tau ) ]}\), \(\xi _{t}^{ [ \alpha ( \tau ) ]}\), \(\zeta _{x}^{ [ \lambda ( \tau ) ]}\), and \(\zeta _{t}^{ [ \gamma ( \tau ) ]}\) from (4.13), namely
and substituting (4.50) into (4.47), we have
Substituting (4.51) into (4.36), we have
Therefore (4.6) is the solution of (4.2). The answer (4.6) also satisfies the initial condition at \(t = 0\), since \(x=\xi \) for \(x<0\) and \(x = \zeta \) for \(x>0\).
Remark 5
The classic form of Example 3 where \(\alpha ( \tau ) = \beta ( \tau ) = \gamma ( \tau ) = \lambda ( \tau ) =1\) is
therefore, the solution is
Its graph is given in Fig. 6.
The graphs of solution u with different values for \(\alpha ( \tau )\), \(\beta ( \tau )\), \(\gamma ( \tau )\) and \(\lambda ( \tau )\) are given in Fig. 7.
5 Summary
We have proved the existence and uniqueness of the interface coupled arbitraryorder fractional hyperbolic nonlinear scalar conservation law under some conditions. We have used the generalization of the classical characteristic method that is extended to the fractional characteristic method. Further, we used the generalization of some formulae from the integerorder calculus to the constantorder and arbitraryorder fractional calculus. In the process of proving the existence and the uniqueness of IC AOF HNSCL, we have developed an analytical method that can be used to solve FPDE problems. The feature of this technique is the ability to show that the obtained solutions satisfy the FPDE, so it can be used as a benchmark in the problems to ensure that the results are correct and exact. And finally, we’ve shown the application of this approach by presenting a few physical examples. In addition, we’ve also shown the graphs for the different values of \(\alpha ( \tau )\), \(\beta ( \tau )\), \(\gamma ( \tau )\) and \(\lambda (\tau )\) in each problem and also provided the benchmark as well.
Availability of data and materials
Not applicable.
Abbreviations
 IC:

Interface Coupling
 TS:

Time and Spatial
 LC:

Liouville–Caputo
 VOF:

VariableOrder Fractional
 AOF:

ArbitraryOrder Fractional
 HCL:

Hyperbolic Conservation Laws
 NHSCL:

Nonlinear Hyperbolic Scalar Conservation Laws
 AFCM:

Arbitrary Fractional Characteristic Method
 PDEs:

Partial Differential Equations
 ODEs:

Ordinary Differential Equations
 FC:

Fractional Calculus
 FD:

Fractional Derivative
 FI:

Fractional Integral
 DEs:

Differential Equations
 FODEs:

Fractional Ordinary Differential Equations
 FODE:

Fractional Ordinary Differential Equation
 FPDEs:

Fractional Partial Differential Equations
 FPDE:

Fractional Partial Differential Equation
References
MyintU, T., Debnath, L.: Linear Partial Differential Equations for Scientists and Engineers (2007)
Wu, G.C.: A fractional characteristic method for solving fractional partial differential equations. Appl. Math. Lett. 24, 1046–1050 (2011)
Mirzazadeh, M., et al.: Optical solitons in nonlinear directional couplers by sine–cosine function method and Bernoulli’s equation approach. Nonlinear Dyn. 81, 1933–1949 (2015)
Eslami, M., Mirzazadeh, M.: Optical solitons with Biswas–Milovic equation for power law and dualpower law nonlinearities. Nonlinear Dyn. 83, 731–738 (2016)
Mirzazadeh, M., Eslami, M., Biswas, A.: Dispersive optical solitons by Kudryashov’s method. Optik 125, 6874–6880 (2014)
Nazarzadeh, A., Eslami, M., Mirzazadeh, M.: Exact solutions of some nonlinear partial differential equations using functional variable method. Pramana J. Phys. 81, 225–236 (2013)
Biswas, A., Mirzazadeh, M., Eslami, M.: Dispersive dark optical soliton with Schödinger–Hirota equation by G′/Gexpansion approach in power law medium. Optik 125, 4215–4218 (2014)
Eslami, M., Neyrame, A., Ebrahimi, M.: Explicit solutions of nonlinear \((2+1)\)dimensional dispersive long wave equation. J. King Saud Univ., Sci. 24, 69–71 (2012)
Liu, J.G., Eslami, M., Rezazadeh, H., Mirzazadeh, M.: Rational solutions and lump solutions to a nonisospectral and generalized variablecoefficient Kadomtsev–Petviashvili equation. Nonlinear Dyn. 95, 1027–1033 (2019)
Mirzazadeh, M., Eslami, M.: Exact solutions of the Kudryashov–Sinelshchikov equation and nonlinear telegraph equation via the first integral method. Nonlinear Anal., Model. Control 17, 481–488 (2012)
Baleanu, D., Agrawal, O.P., Muslih, S.I.: Lagrangians with linear velocities within Hilfer fractional derivative. In: Proceedings of the ASME Design Engineering Technical Conference, vol. 3, pp. 335–338 (2011)
Tenreiro Machado, J.A.: Fractional derivatives: probability interpretation and frequency response of rational approximations. Commun. Nonlinear Sci. Numer. Simul. 14, 3492–3497 (2009)
Machado, J.A.T.: And I say to myself: what a fractional world! Fract. Calc. Appl. Anal. 14, 635–654 (2011)
Magin, R., Ortigueira, M.D., Podlubny, I., Trujillo, J.: On the fractional signals and systems. Signal Process. 91, 350–371 (2011)
Baleanu, D., Shiri, B., Srivastava, H.M., Al Qurashi, M.: A Chebyshev spectral method based on operational matrix for fractional differential equations involving nonsingular MittagLeffler kernel. Adv. Differ. Equ. 2018, 353 (2018)
Baleanu, D., Jajarmi, A., Sajjadi, S.S., Mozyrska, D.: A new fractional model and optimal control of a tumorimmune surveillance with nonsingular derivative operator. Chaos 29, 083127 (2019)
Angelini, F., Herzel, S.: Journal of computational and applied. J. Comput. Appl. Math. 259, 385–393 (2014)
Podlubny, I.: Fractional differential equations to methods of their solution and some of their applications. In: Fractional Differential Equations: An Introduction to Fractional Derivatives 340. Academic Press, San Diego (1998)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)
Samko, S.G., Ross, B.: Integration and differentiation to a variable fractional order. Integral Transforms Spec. Funct. 1, 277–300 (1993)
Lorenzo, C.F., Hartley, T.T.: Initialization, conceptualization, and application in the generalized (fractional) calculus. Crit. Rev. Biomed. Eng. 35, 447–553 (2007)
Coimbra, C.F.M.: Mechanics with variableorder differential operators. Ann. Phys. 12, 692–703 (2003)
Chechkin, A.V., Gorenflo, R., Sokolov, I.M.: Fractional diffusion in inhomogeneous media. J. Phys. A, Math. Gen. 38(42), L679–L684 (2005)
Sun, H., Chen, W., Chen, Y.: Variableorder fractional differential operators in anomalous diffusion modeling. Phys. A, Stat. Mech. Appl. 388(21), 4586–4592 (2009)
Diaz, G., Coimbra, C.F.M.: Nonlinear dynamics and control of a variable order oscillator with application to the van der Pol equation. Nonlinear Dyn. 56, 145–157 (2009)
Chang, A., Sun, H.: Timespace fractional derivative models for \(\mathrm{CO}_{2}\) transport in heterogeneous media. Fract. Calc. Appl. Anal. 21, 151–173 (2018)
Wu, G.C., Deng, Z.G., Baleanu, D., Zeng, D.Q.: New variableorder fractional chaotic systems for fast image encryption. Chaos 29, 083103 (2019)
Obembe, A.D., Hossain, M.E., AbuKhamsin, S.A.: Variableorder derivative time fractional diffusion model for heterogeneous porous media. J. Pet. Sci. Eng. 152, 391–405 (2017)
Cai, W., Chen, W., Fang, J., Holm, S.: A survey on fractional derivative modeling of powerlaw frequencydependent viscous dissipative and scattering attenuation in acoustic wave propagation. Appl. Mech. Rev. 70(3), 030802 (2018)
Yan, Y., Sun, Z.Z., Zhang, J.: Fast evaluation of the Caputo fractional derivative and its applications to fractional diffusion equations: a secondorder scheme. Commun. Comput. Phys. 22, 1028–1048 (2017)
Langlands, T.A.M., Henry, B.I.: Fractional chemotaxis diffusion equations. Phys. Rev. E, Stat. Nonlinear Soft Matter Phys. 81(5), 051102 (2010)
Povstenko, Y., Klekot, J.: The Dirichlet problem for the timefractional advection–diffusion equation in a line segment. Bound. Value Probl. 2016, 89 (2016)
Zhang, L., Li, S.: Regularity of weak solutions of the Cauchy problem to a fractional porous medium equation. Bound. Value Probl. 2015, 28 (2015)
Ren, Y., Tao, M., Dong, H., Yang, H.: Analytical research of \((3+ 1)\)dimensional Rossby waves with dissipation effect in cylindrical coordinate based on Lie symmetry approach. Adv. Differ. Equ. 2019, 13 (2019)
Abdelkawy, M.A., Zaky, M.A., Bhrawy, A.H., Baleanu, D.: Numerical simulation of time variable fractional order mobileimmobile advectiondispersion model. Rom. Rep. Phys. 67, 773–791 (2015)
Gupta, P.K., Singh, M.: Homotopy perturbation method for fractional Fornberg–Whitham equation. Comput. Math. Appl. 61, 250–254 (2011)
Saha Ray, S.: Analytical solution for the space fractional diffusion equation by twostep Adomian decomposition method. Commun. Nonlinear Sci. Numer. Simul. 14, 1295–1306 (2009)
Nazari, D., Shahmorad, S.: Application of the fractional differential transform method to fractionalorder integrodifferential equations with nonlocal boundary conditions. J. Comput. Appl. Math. 234, 883–891 (2010)
Cui, Z., Mao, Z., Yang, S., Yu, P.: Approximate analytical solutions of fractional perturbed diffusion equation by reduced differential transform method and the homotopy perturbation method. Math. Probl. Eng. 2013, Article ID 186934 (2013)
AbdelSalam, E.A.B., Yousif, E.A.: Solution of nonlinear spacetime fractional differential equations using the fractional Riccati expansion method. Math. Probl. Eng. 2013, Article ID 846283 (2013)
Zhang, S., Zhang, H.Q.: Fractional subequation method and its applications to nonlinear fractional PDEs. Phys. Lett. A 375, 1069–1073 (2011)
Abdelkawy, M.A., ElKalaawy, O.H., AlDenari, R.B., Biswas, A.: Application of fractional subequation method to nonlinear evolution equations. Nonlinear Anal., Model. Control 23, 710–723 (2018)
Gepreel, K.A., Mohamed, M.S.: Analytical approximate solution for nonlinear space–time fractional Klein–Gordon equation. Chin. Phys. B 22, 1 (2013)
Yulita, R., Batiha, B., Shatnawi, M.T.: Solutions of fractional Zakharov–Kuznetsov equations by fractional complex transform. Int. J. Appl. Math. Res. 5, 24–28 (2016)
Shirkhorshidi, S.M.R., Rostamy, D., Othman, W.A.M., Awang, M.A.O.: The arbitraryorder fractional hyperbolic nonlinear scalar conservation law. Adv. Differ. Equ. 2020, 1 (2020)
Tavares, D., Almeida, R., Torres, D.F.M.: Caputo derivatives of fractional variable order: numerical approximations. Commun. Nonlinear Sci. Numer. Simul. 35, 69–87 (2016)
Jumarie, G.: On the derivative chainrules in fractional calculus via fractional difference and their application to systems modelling. Cent. Eur. J. Phys. 11(6), 617–633 (2013)
Wu, G.: A fractional characteristic method for solving fractional partial differential equations. Appl. Math. Lett. 24(7), 1046–1050 (2011)
Godlewski, E., Raviart, P.A.: The numerical interface coupling of nonlinear hyperbolic systems of conservation laws: I. The scalar case. Numer. Math. 97, 81–130 (2004)
Acknowledgements
Reza Shirkhorshidi would like to express his sincere gratitude and appreciation to Fatemeh Zahedifar, who helped revised the English grammar of the paper.
Funding
This paper is support by the University of Malaya. The grant number is llRG001C2019.
Author information
Authors and Affiliations
Contributions
The main idea of this paper was proposed by RS, WAMO and DR. RS prepared the manuscript initially and performed all the steps of the proofs in this research. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no known competition for financial interests or personal relationships that could have appeared to influence the work reported in this paper.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Shirkhorshidi, S.M.R., Othman, W.A.M., Awang, M.A.O. et al. The analytical interface coupling of arbitraryorder fractional nonlinear hyperbolic scalar conservation laws. Adv Differ Equ 2020, 650 (2020). https://doi.org/10.1186/s13662020030803
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662020030803
Keywords
 Arbitraryorder fractional calculus
 Interface coupling arbitraryorder fractional nonlinear scalar conservation law
 Arbitraryorder fractional characteristic method
 Jumarie’s modification of Riemann–Liouville arbitraryorder fractional derivative