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 Guo-chang 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 arbitrary-order fractional (AOF) refers to first-order systems of fractional PDEs in divergence form,

$$\begin{aligned}& \textstyle\begin{cases} \partial _{t}^{\alpha ( \tau )} \mathcal{H} ( u ) + \sum_{i =1}^{m} \mathfrak{F}_{iL} ( u ) \partial _{x_{i}}^{\beta _{i} ( \tau )} \mathcal{G}_{i} ( u ) =0, &x_{i} < 0, t >0, i =1,\dots , m, \\ \partial _{t}^{\gamma ( \tau )} \mathcal{H} ( u ) + \sum_{i =1}^{m} \mathfrak{F}_{iR} ( u ) \partial _{x_{i}}^{\lambda _{i} ( \tau )} \mathcal{G}_{i} ( u ) =0,& x_{i} >0, t >0, i =1,\dots , m, \end{cases}\displaystyle \\& 0< \alpha ( \tau ), \gamma ( \tau ),\beta _{i} ( \tau ), \lambda _{i} ( \tau ) \leq 1,\quad \tau \epsilon \mathbb{ R}, \end{aligned}$$

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 variable-order fractional derivative, and preliminaries on the definitions of Riemann–Liouville fractional derivative of variable-order, and Caputo derivative of variable-order are introduced. Then the definitions of Riemann–Liouville fractional derivative of arbitrary-order and Liouville–Caputo derivative of arbitrary-order are presented. Furthermore, the generalization of some integer calculus (IC) formulae to constant- and arbitrary-order 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, solid-state 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 [1116]. 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 variable-order fractional (VOF) derivative and integral (which is a generalization of constant-order 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 [2933].

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 [4144], 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 variable-order fractional derivative for the function of one variable

The generalization of the Riemann–Liouville and Liouville–Caputo (LC) derivative from constant to variable-order 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 variable-order \(\alpha (t)\) [46])

Given a function \(x: [a, b ] \rightarrow \mathbb{R}\) and \(0<\alpha (t)<1\),

  1. 1.

    Type I left Riemann–Liouville fractional derivative of variable-order \(\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. 2.

    Type I right Riemann–Liouville fractional derivative of variable-order \(\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} (\tau-t )^{-\alpha (t)} x ( \tau )\,d\tau . \end{aligned}$$
    (2.2)

Definition 2

(Type III Caputo fractional derivatives of variable-order \(\alpha(t)\) [46])

Given a function \(x: [a, b ] \rightarrow \mathbb{R}\) and \(0<\alpha (t)<1\),

  1. 1.

    Type III left Caputo derivative of variable-order \(\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. 2.

    Type III right Caputo derivative of variable-order \(\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 arbitrary-order 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 arbitrary-order derivatives.

Definition 3

(New Riemann–Liouville fractional derivatives of arbitrary-order \(\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. 1.

    New left Riemann–Liouville fractional derivative of arbitrary-order \(\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} ( x-s )^{-\alpha ( t )} f ( s )\,ds; \end{aligned}$$
    (2.5)
  2. 2.

    New right Riemann–Liouville fractional derivative of arbitrary-order \(\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 Liouville-Caputo fractional derivatives of arbitrary-order \(\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. 1.

    New left Liouville–Caputo derivative of arbitrary-order \(\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. 2.

    New right Liouville–Caputo derivative of arbitrary-order \(\alpha(t)\) is defined by

    $$\begin{aligned}& {}_{x}^{C} D_{b}^{\alpha ( t )} f ( x ) = \frac{1}{\varGamma [ 1-\alpha ( t ) ]} \int _{x}^{b} ( \tau-x )^{-\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 constant-order to the fractional arbitrary-order, 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:

$$\begin{aligned}& D_{x}^{\alpha ( t )} x^{\gamma } = \frac{\varGamma ( \gamma + 1)}{\varGamma [ \gamma + 1 - \alpha ( t ) ]} x^{\gamma - \alpha ( t )},\quad \gamma > 0, \end{aligned}$$
(2.9)
$$\begin{aligned}& D_{x}^{\alpha ( t )} x^{\alpha ( t )} = \varGamma \bigl[ \alpha ( t ) + 1 \bigr], \end{aligned}$$
(2.10)
$$\begin{aligned}& D_{x}^{\alpha ( t )} \bigl( e^{x^{\alpha ( t )}} \bigr) = \varGamma \bigl[ 1+ \alpha ( t ) \bigr] e^{x^{\alpha ( t )}}, \end{aligned}$$
(2.11)
$$\begin{aligned}& D_{x}^{\alpha ( t )} \ln x^{\alpha ( t )} = \frac{\varGamma [ 1+ \alpha ( t ) ]}{ x^{\alpha ( t )}} . \end{aligned}$$
(2.12)

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:

$$\begin{aligned}& \int ( dx )^{\alpha ( t )} = x^{\alpha ( t )}, \end{aligned}$$
(2.13)
$$\begin{aligned}& \int e^{x^{\alpha ( t )}} ( dx )^{\alpha ( t )} = e^{x^{\alpha ( t )}}, \end{aligned}$$
(2.14)
$$\begin{aligned}& \int \frac{ ( dx )^{\alpha ( t )}}{x^{\alpha ( t )}} =\ln x^{\alpha ( t )} . \end{aligned}$$
(2.15)

Remark 1

The main tool that we use to prove the theorem is the extension of “the fractional characteristic method” from constant-order to arbitrary-order, introduced by Guo-cheng Wu [48].

3 Existence and uniqueness

Let us consider the IC AOF NHSCL in one dimension which is defined by

$$\begin{aligned}& \textstyle\begin{cases} \partial _{t}^{\alpha ( \tau )} u ( x, t ) + C_{L} ( u ( x, t ) ) \partial _{x}^{\beta ( \tau )} u ( x, t ) =0,& x < 0, t >0, \\ \partial _{t}^{\gamma ( \tau )} u ( x, t ) + C_{R} ( u ( x, t ) ) \partial _{x}^{\lambda ( \tau )} u ( x, t ) =0, &x >0, t >0, \end{cases}\displaystyle \\& 0< \alpha ( \tau ), \beta ( \tau ), \gamma ( \tau ), \lambda ( \tau ) \leq 1, \quad \tau \epsilon \mathbb{ R}. \end{aligned}$$
(3.1)

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

$$\begin{aligned}& \begin{aligned} &{}_{0} D_{y}^{\gamma ( \tau )} M ( y ) = \frac{1}{\varGamma ( 1- \gamma ( \tau ) )} \frac{d}{dy} \int _{0}^{y} ( y - \xi )^{- \gamma ( \tau )} \bigl( M ( \xi ) - M ( 0 ) \bigr)\,d\xi , \\ &0 < \gamma ( \tau ) \leq 1,\qquad \gamma ( \tau ):= \alpha ( \tau ), \beta ( \tau ),\qquad y:= x, t . \end{aligned} \end{aligned}$$
(3.2)

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

$$\begin{aligned}& \textstyle\begin{cases} \partial _{t}^{\alpha ( \tau )} u ( x, t ) + C_{L} ( u ( x, t ) ) \partial _{x}^{\beta ( \tau )} u ( x, t ) =0,& x < 0, t >0, \\ \partial _{t}^{\gamma ( \tau )} u ( x, t ) + C_{R} ( u ( x, t ) ) \partial _{x}^{\lambda ( \tau )} u ( x, t ) =0,& x >0, t >0, \end{cases}\displaystyle \\& 0< \alpha ( \tau ), \beta ( \tau ), \gamma ( \tau ), \lambda ( \tau ) \leq 1 \\& u ( x, 0 ) = f ( x ),\quad x \in \mathbb{ R}, \end{aligned}$$
(3.3)

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

  1. (i)

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

  2. (ii)

    F and f are differentiable with respect to ξ and ζ,

  3. (iii)

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

  4. (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 arbitrary-order fractional characteristics. To construct the continuous solutions, we consider the total differential “du” given by

$$\begin{aligned}& \textstyle\begin{cases} du = \frac{1}{\varGamma (1+ \alpha ( \tau ))} \frac{\partial ^{\alpha ( \tau )} u}{\partial t^{\alpha ( \tau )}} ( dt )^{\alpha ( \tau )} + \frac{1}{\varGamma (1+ \beta ( \tau ))} \frac{\partial ^{\beta ( \tau )} u}{\partial x^{\beta ( \tau )}} ( dx )^{\beta ( \tau )},& x < 0, \\ du = \frac{1}{\varGamma (1+\gamma ( \tau ))} \frac{\partial ^{\gamma ( \tau )} u}{\partial t^{\gamma ( \tau )}} ( dt )^{\gamma ( \tau )} + \frac{1}{\varGamma (1+ \lambda ( \tau ))} \frac{\partial ^{\lambda ( \tau )} u}{\partial x^{\lambda ( \tau )}} ( dx )^{\lambda ( \tau )},& x >0, \end{cases}\displaystyle \\& 0< \alpha ( \tau ), \beta ( \tau ), \gamma ( \tau ), \lambda ( \tau ) \leq 1, \end{aligned}$$
(3.4)

so that the points \((x, t)\) are assumed to lie on a curve \(\varUpsilon (\mathrm{upsilon})\). Then (3.4) can be written as:

$$\begin{aligned}& \textstyle\begin{cases} \frac{du}{ ( dt )^{\alpha ( \tau )}} = \frac{\partial ^{\alpha ( \tau )} u}{\partial t^{\alpha ( \tau )}} + \frac{\varGamma (1+ \alpha ( \tau ))}{\varGamma (1+ \beta ( \tau ))} \frac{\partial ^{\beta ( \tau )} u}{\partial x^{\beta ( \tau )}} \frac{ ( dx )^{\beta ( \tau )}}{ ( dt )^{\alpha ( \tau )}},& x < 0, \\ \frac{du}{ ( dt )^{\gamma ( \tau )}} = \frac{\partial ^{\gamma ( \tau )} u}{\partial t^{\gamma ( \tau )}} + \frac{\varGamma (1+\gamma ( \tau ))}{\varGamma (1+ \lambda ( \tau ))} \frac{\partial ^{\lambda ( \tau )} u}{\partial x^{\lambda ( \tau )}} \frac{ ( dx )^{\lambda ( \tau )}}{ ( dt )^{\gamma ( \tau )}},& x >0. \end{cases}\displaystyle \end{aligned}$$
(3.5)

Comparing (3.3) with (3.5), we deduce the following FODEs:

$$\begin{aligned}& \textstyle\begin{cases} \frac{du}{( dt )^{\alpha ( \tau )}} =0,& x < 0,\\ \frac{du}{ ( dt )^{\gamma ( \tau )}} =0,& x >0, \end{cases}\displaystyle \end{aligned}$$
(3.6)

and

$$\begin{aligned}& \textstyle\begin{cases} \frac{ ( dx )^{\beta ( \tau )}}{ ( dt )^{\alpha ( \tau )}} = \frac{\varGamma (1+ \beta ( \tau ))}{\varGamma (1+ \alpha ( \tau ))} C_{L} ( u ),& x< 0,\\ \frac{ ( dx )^{\lambda ( \tau )}}{ ( dt )^{\gamma ( \tau )}} = \frac{\varGamma (1+\lambda ( \tau ))}{\varGamma (1+\gamma ( \tau ))} C_{R} ( u ), &x>0. \end{cases}\displaystyle \end{aligned}$$
(3.7)

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.

Figure 1
figure 1

Characteristics curves in the \((x, t) \)-plane

Thus, the family of the fractional characteristic curves of ϒ is the solution of (3.7). Then

$$\begin{aligned}& \textstyle\begin{cases} \int du =0,\quad x < 0,\qquad u ( \xi , 0 ) = f ( \xi ),\\ \int du =0, \quad x >0,\qquad u ( \zeta , 0) = f ( \zeta ), \end{cases}\displaystyle \end{aligned}$$
(3.8)

and

$$\begin{aligned}& \textstyle\begin{cases} \frac{ ( dx )^{\beta ( \tau )}}{ ( dt )^{\alpha ( \tau )}} =\mu ( \tau ) C_{L} ( u ), \quad x< 0, \\ \frac{ ( dx )^{\lambda ( \tau )}}{ ( dt )^{\gamma ( \tau )}} = \eta ( \tau ) C_{R} ( u ), \quad x>0, \end{cases}\displaystyle \end{aligned}$$
(3.9)

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

$$\begin{aligned}& \textstyle\begin{cases} u ( x, t ) = f ( \xi ),& \text{for } x < 0, \\ u ( x, t ) = f ( \zeta ), &\text{for } x >0, \end{cases}\displaystyle \end{aligned}$$
(3.10)

and the integration of (3.9) gives

$$\begin{aligned}& \textstyle\begin{cases} \int ( dx )^{\beta (\tau )} =\mu ( \tau ) F ( \xi ) \int ( dt )^{\alpha (\tau )}, \quad x ( 0 ) =\xi , & x < 0, \\ \int ( dx )^{\lambda ( \tau )} =\eta ( \tau ) F ( \zeta ) \int ( dt )^{\gamma ( \tau )},\quad x ( 0 ) =\zeta ,& x >0, \end{cases}\displaystyle \end{aligned}$$
(3.11)

where

$$\begin{aligned}& \textstyle\begin{cases} F ( \xi ) = C_{L} ( f ( \xi ) ),& x < 0,\\ F ( \zeta ) = C_{R} ( f ( \zeta ) ),& x >0. \end{cases}\displaystyle \end{aligned}$$
(3.12)

Using formula (2.13), from (3.11) we obtain the following result:

$$\begin{aligned}& \textstyle\begin{cases} x^{\beta ( \tau )} = \mu ( \tau ) t^{\alpha ( \tau )} F ( \xi ) + \xi ^{\beta ( \tau )},& x < 0,\\ x^{\lambda ( \tau )} =\eta ( \tau ) t^{\gamma ( \tau )} F ( \zeta ) + \zeta ^{\lambda ( \tau )},& x >0, \end{cases}\displaystyle \end{aligned}$$
(3.13)

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 initial-value problem (3.3), which can be presented in parametric form as

$$\begin{aligned}& \textstyle\begin{cases} u ( x, t ) = f ( \xi ),& x < 0,\\ u ( x, t ) = f ( \zeta ),& x >0,\\ x^{\beta ( \tau )} = \mu ( \tau ) t^{\alpha ( \tau )} F ( \xi ) + \xi ^{\beta ( \tau )}, &x < 0, \\ x^{\lambda ( \tau )} =\eta ( \tau ) t^{\gamma ( \tau )} F ( \zeta ) + \zeta ^{\lambda ( \tau )},& x >0, \end{cases}\displaystyle \end{aligned}$$
(3.14)

where

$$ \textstyle\begin{cases} F ( \xi ) = C_{L} ( f ( \xi ) ),& x < 0,\\ F ( \zeta ) = C_{R} ( f ( \zeta ) ),& x >0. \end{cases} $$

(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

$$\begin{aligned}& \textstyle\begin{cases} D_{x}^{\beta ( \tau )} u ( x, t ) = D_{x}^{\beta ( \tau )} f ( \xi ),& x < 0,\\ D_{t}^{\alpha ( \tau )} u ( x, t ) = D_{t}^{\alpha ( \tau )} f ( \xi ),& x < 0,\\ D_{x}^{\lambda ( \tau )} u ( x, t ) = D_{x}^{\lambda ( \tau )} f ( \xi ), &x >0,\\ D_{t}^{\gamma ( \tau )} u ( x, t ) = D_{t}^{\gamma ( \tau )} f ( \xi ),& x >0, \end{cases}\displaystyle \end{aligned}$$
(3.15)

leading to

$$\begin{aligned}& \textstyle\begin{cases} \frac{\partial ^{\beta ( \tau )} u}{\partial x^{\beta ( \tau )}} = f_{\xi } ( \xi ) \xi _{x}^{ [ \beta ( \tau ) ]}, &x < 0,\\ \frac{\partial ^{\alpha ( \tau )} u}{\partial t^{\alpha ( \tau )}} = f_{\xi } ( \xi ) \xi _{t}^{ [ \alpha ( \tau ) ]},& x < 0,\\ \frac{\partial ^{\lambda ( \tau )} u}{\partial x^{\lambda ( \tau )}} = f_{\zeta } ( \zeta ) \zeta _{x}^{ [ \lambda ( \tau ) ]}, &x >0,\\ \frac{\partial ^{\gamma ( \tau )} u}{\partial t^{\gamma ( \tau )}} = f_{\zeta } ( \zeta ) \zeta _{t}^{ [ \gamma ( \tau ) ]},& x >0, \end{cases}\displaystyle \end{aligned}$$
(3.16)

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

$$\begin{aligned}& \textstyle\begin{cases} D_{x}^{\beta ( \tau )} x^{\beta ( \tau )} = D_{x}^{\beta ( \tau )} [ \mu ( \tau ) t^{\alpha ( \tau )} F ( \xi ) + \xi ^{\beta ( \tau )} ],& x < 0,\\ D_{t}^{\alpha ( \tau )} x^{\beta ( \tau )} = D_{t}^{\alpha ( \tau )} [ \mu ( \tau ) t^{\alpha ( \tau )} F ( \xi ) + \xi ^{\beta ( \tau )} ],& x < 0,\\ D_{x}^{\lambda ( \tau )} x^{\lambda ( \tau )} = D_{x}^{\lambda ( \tau )} [ \eta ( \tau ) t^{\gamma ( \tau )} F ( \zeta ) + \zeta ^{\lambda ( \tau )} ], &x >0,\\ D_{t}^{\gamma ( \tau )} x^{\lambda ( \tau )} = D_{t}^{\gamma ( \tau )} [ \eta ( \tau ) t^{\gamma ( \tau )} F ( \zeta ) + \zeta ^{\lambda ( \tau )} ],& x >0, \end{cases}\displaystyle \end{aligned}$$
(3.17)

where using formula (2.10) leads to

$$\begin{aligned}& \textstyle\begin{cases} \varGamma ( 1+ \beta ( \tau ) ) = [ \mu ( \tau ) t^{\alpha ( \tau )} F_{\xi } ( \xi ) + \beta \xi ^{\beta ( \tau ) -1} ] \xi _{x}^{ [ \beta ( \tau ) ]},& x < 0, \\ 0= [ \mu ( \tau ) t^{\alpha ( \tau )} F_{\xi } ( \xi ) + \beta ( \tau ) \xi ^{\beta ( \tau ) -1} ] \xi _{t}^{ [ \alpha ( \tau ) ]} +\varGamma ( 1+ \beta ( \tau ) ) F ( \xi ),& x < 0,\\ \varGamma ( 1+ \lambda ( \tau ) ) = [ \eta ( \tau ) t^{\gamma ( \tau )} F_{\zeta } ( \zeta ) + \lambda \zeta ^{\lambda ( \tau ) -1} ] \zeta _{x}^{ [ \lambda ( \tau ) ]},& x >0,\\ 0= [ \eta ( \tau ) t^{\gamma ( \tau )} F_{\zeta } ( \zeta ) + \lambda ( \tau ) \zeta ^{\lambda ( \tau ) -1} ] \zeta _{t}^{ [ \gamma ( \tau ) ]} +\varGamma ( 1+ \lambda ( \tau ) ) F ( \zeta ),& x >0. \end{cases}\displaystyle \end{aligned}$$
(3.18)

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

$$\begin{aligned}& \textstyle\begin{cases} \frac{\partial ^{\beta ( \tau )} u}{\partial x^{\beta ( \tau )}} = \frac{\varGamma (1+ \beta ( \tau )) f_{\xi } ( \xi )}{\mu ( \tau ) t^{\alpha ( \tau )} F_{\xi } ( \xi ) + \beta ( \tau ) \xi ^{\beta ( \tau )-1}},& x < 0,\\ \frac{\partial ^{\alpha ( \tau )} u}{\partial t^{\alpha ( \tau )}} =- \frac{\varGamma ( 1+ \beta ( \tau ) ) f_{\xi } ( \xi ) F ( \xi )}{\mu ( \tau ) t^{\alpha ( \tau )} F_{\xi } ( \xi ) + \beta ( \tau ) \xi ^{\beta ( \tau ) -1}},& x < 0,\\ \frac{\partial ^{\lambda ( \tau )} u}{\partial x^{\lambda ( \tau )}} = \frac{\varGamma (1+ \lambda ( \tau )) f_{\zeta } ( \zeta )}{\eta ( \tau ) t^{\gamma ( \tau )} F_{\zeta } ( \zeta ) + \lambda ( \tau ) \xi ^{\lambda ( \tau )-1}},& x >0,\\ \frac{\partial ^{\gamma ( \tau )} u}{\partial t^{\gamma ( \tau )}} =- \frac{\varGamma ( 1+ \lambda ( \tau ) ) f_{\zeta } ( \zeta ) F ( \xi )}{\eta ( \tau ) t^{\gamma ( \tau )} F_{\zeta } ( \zeta ) + \lambda ( \tau ) \xi ^{\lambda ( \tau ) -1}},& x >0. \end{cases}\displaystyle \end{aligned}$$
(3.19)

Substituting (3.19) into (3.3), we have

$$ \textstyle\begin{cases} - \frac{\varGamma ( 1+ \beta ( \tau ) ) f_{\xi } ( \xi ) F ( \xi )}{\mu ( \tau ) t^{\alpha ( \tau )} F_{\xi } ( \xi ) + \beta ( \tau ) \xi ^{\beta ( \tau ) -1}} + C_{L} ( u ( x, t ) ) \frac{\varGamma (1+ \beta ( \tau )) f_{\xi } ( \xi )}{\mu ( \tau ) t^{\alpha ( \tau )} F_{\xi } ( \xi ) + \beta ( \tau ) \xi ^{\beta ( \tau )-1}} =0,& x < 0, t >0, \\ - \frac{\varGamma ( 1+ \lambda ( \tau ) ) f_{\zeta } ( \zeta ) F ( \xi )}{\eta ( \tau ) t^{\gamma ( \tau )} F_{\zeta } ( \zeta ) + \lambda ( \tau ) \xi ^{\lambda ( \tau ) -1}} + C_{R} ( u ( x, t ) ) \frac{\varGamma (1+ \lambda ( \tau )) f_{\zeta } ( \zeta )}{\eta ( \tau ) t^{\gamma ( \tau )} F_{\zeta } ( \zeta ) + \lambda ( \tau ) \xi ^{\lambda ( \tau )-1}} =0,& x >0, t >0, \end{cases} $$

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

$$ \textstyle\begin{cases} \mu ( \tau ) t^{\alpha ( \tau )} F_{\xi } ( \xi ) + \beta ( \tau ) \xi ^{\beta ( \tau ) -1} \neq 0,& x < 0, \\ \eta ( \tau ) t^{\gamma ( \tau )} F_{\zeta } ( \zeta ) + \lambda ( \tau ) \xi ^{\lambda ( \tau ) -1} \neq 0,& x >0. \end{cases} $$

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,

$$\begin{aligned}& \textstyle\begin{cases} u ( x, t ) = f ( \xi ),& x < 0,\\ u ( x, t ) = f ( \zeta ),& x >0,\\ x^{\beta ( \tau )} = \mu ( \tau ) t^{\alpha ( \tau )} F ( \xi ) + \xi ^{\beta ( \tau )},& x < 0, \\ x^{\lambda ( \tau )} =\eta ( \tau ) t^{\gamma ( \tau )} F ( \zeta ) + \xi ^{\lambda ( \tau )},& x >0, \end{cases}\displaystyle \end{aligned}$$
(3.20)

and

$$\begin{aligned}& \textstyle\begin{cases} v ( x, t ) = f ( \xi ),& x < 0,\\ v ( x, t ) = f ( \zeta ),& x >0,\\ x^{\beta ( \tau )} = \mu ( \tau ) t^{\alpha ( \tau )} F ( \xi ) + \xi ^{\beta ( \tau )},& x < 0, \\ x^{\lambda ( \tau )} =\eta ( \tau ) t^{\gamma ( \tau )} F ( \zeta ) + \zeta ^{\lambda ( \tau )},& x >0. \end{cases}\displaystyle \end{aligned}$$
(3.21)

Therefore from (3.20) and (3.21), we obtain

$$\begin{aligned}& \textstyle\begin{cases} u ( x, t ) = f ( \xi ) = v ( x, t ), &x < 0, \\ u ( x, t ) = f ( \zeta ) = v ( x, t ),& x >0. \end{cases}\displaystyle \end{aligned}$$
(3.22)

Alternatively,

$$ \textstyle\begin{cases} x^{\beta ( \tau )} = \mu ( \tau ) t^{\alpha ( \tau )} F ( \xi ) + \xi ^{\beta ( \tau )},& x < 0,\\ x^{\lambda ( \tau )} =\eta ( \tau ) t^{\gamma ( \tau )} F ( \zeta ) + \zeta ^{\lambda ( \tau )},& x >0. \end{cases} $$

Hence (3.22) implies that

$$\begin{aligned}& \textstyle\begin{cases} \mathrm{u} ( x, t ) = u ( \xi ,0 ) = f ( \xi ) = v ( x, t ),& x < 0, \\ \mathrm{u} ( x, t ) = u ( \zeta ,0 ) = f ( \zeta ) = v ( x, t ),& x >0, \end{cases}\displaystyle \end{aligned}$$
(3.23)

so uniqueness is proved. □

4 Application

Consider the arbitrary-order fractional interface coupling of two nonlinear hyperbolic equations

$$\begin{aligned}& \textstyle\begin{cases} \partial _{t}^{\alpha ( \tau )} u ( x, t ) + C_{L} ( u ( x, t ) ) \partial _{x}^{\beta ( \tau )} u ( x, t ) =0, &x < 0, t >0, \\ \partial _{t}^{\gamma ( \tau )} u ( x, t ) + C_{R} ( u ( x, t ) ) \partial _{x}^{\lambda ( \tau )} u ( x, t ) =0,& x >0, t >0, \end{cases}\displaystyle \\& 0< \alpha ( \tau ), \beta ( \tau ), \gamma ( \tau ), \lambda ( \tau ) \leq 1, \\& u ( x, 0 ) = f ( x ),\quad x \epsilon \mathbb{ R}, \end{aligned}$$
(4.1)

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

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

  3. (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 space-time fractional arbitrary-order 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

$$\begin{aligned}& \textstyle\begin{cases} \frac{\partial ^{\alpha ( \tau )} u}{\partial t^{\alpha ( \tau )}} + k \frac{\partial ^{\beta ( \tau )} u}{\partial x^{\beta ( \tau )}} =0,\quad x < 0, \\ \frac{\partial ^{\gamma ( \tau )} u}{\partial t^{\gamma ( \tau )}} + h \frac{\partial ^{\lambda ( \tau )} u}{\partial x^{\lambda ( \tau )}} =0,\quad x >0, \end{cases}\displaystyle \end{aligned}$$
(4.2)
$$\begin{aligned}& \begin{aligned} &0< \alpha ( \tau ), \beta ( \tau ), \gamma ( \tau ), \lambda ( \tau ) \leq 1 , \\ &u ( x,0 ) =f ( x ) = \sin 2x +5 \cos x . \end{aligned} \end{aligned}$$
(4.3)

Solution

According to Theorem 1, we can write the following FPDEs:

$$\begin{aligned}& \textstyle\begin{cases} \frac{du}{( dt )^{\alpha ( \tau )}} =0, \qquad u ( \xi , 0 ) = f ( \xi ), &x < 0,\\ \frac{du}{ ( dt )^{\gamma ( \tau )}} =0,\qquad u ( \zeta , 0) = f ( \zeta ),& x >0, \\ \frac{ ( dx )^{\beta ( \tau )}}{ ( dt )^{\alpha ( \tau )}} =\mu ( \tau ) k,\qquad x ( 0 ) =\xi ,&x < 0,\\ \frac{ ( dx )^{\lambda ( \tau )}}{ ( dt )^{\gamma ( \tau )}} =\eta ( \tau ) h,\qquad x ( 0 ) =\zeta , &x >0, \end{cases}\displaystyle \end{aligned}$$
(4.4)

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

$$\begin{aligned}& \textstyle\begin{cases} \int du =0,\qquad u ( \xi , 0 ) = f ( \xi ),& x < 0, \\ \int du =0,\qquad u ( \zeta , 0) = f ( \zeta ),& x >0, \\ \int ( dx )^{\beta ( \tau )} =\mu ( \tau ) k \int ( dt )^{\alpha ( \tau )},\qquad x ( 0 ) =\xi ,& x < 0,\\ \int ( dx )^{\lambda ( \tau )} =\eta ( \tau ) h \int ( dt )^{\gamma ( \tau )},\qquad x ( 0 ) =\zeta ,& x >0, \end{cases}\displaystyle \end{aligned}$$
(4.5)

then, implementing formula (2.13), we obtain the parametric solution

$$\begin{aligned}& \textstyle\begin{cases} u ( x, t ) = f ( \xi ),& x < 0,\\ u ( x, t ) = f ( \zeta ),& x >0,\\ x^{\beta ( \tau )} = \mu ( \tau ) k t^{\alpha ( \tau )} + \xi ^{\beta ( \tau )},& x < 0, \\ x^{\lambda ( \tau )} =\eta ( \tau ) h t^{\gamma ( \tau )} + \xi ^{\lambda ( \tau )},& x >0, \end{cases}\displaystyle \end{aligned}$$
(4.6)

since

$$\begin{aligned}& \textstyle\begin{cases} u ( x, t ) = f ( \xi ),& x < 0,\\ u ( x, t ) = f ( \zeta ),& x >0,\\ \xi = ( x^{\beta ( \tau )} - \mu ( \tau ) k t^{\alpha ( \tau )} )^{{1} / {\beta ( \tau )}},& x < 0, \\ \zeta = ( x^{\lambda ( \tau )} - \eta ( \tau ) h t^{\gamma ( \tau )} )^{{1} / {\lambda ( \tau )}},& x >0, \end{cases}\displaystyle \end{aligned}$$
(4.7)

and therefore the solution can be written as

$$\begin{aligned}& \textstyle\begin{cases} u ( x, t ) = f ( \xi ) = f ( ( x^{\beta ( \tau )} - \mu ( \tau ) k t^{\alpha ( \tau )} )^{{1} / {\beta ( \tau )}} ),& x < 0,\\ u ( x, t ) = f ( \zeta ) = f ( ( x^{\lambda ( \tau )} - \eta ( \tau ) h t^{\gamma ( \tau )} )^{{1} / {\lambda ( \tau )}} ),& x >0. \end{cases}\displaystyle \end{aligned}$$
(4.8)

The general solution for Example 1, assuming the initial condition \(u ( x,0 ) =f ( x ) = \sin 2x +5 \cos x\), is

$$\begin{aligned}& \textstyle\begin{cases} u ( x, t ) = \sin 2 ( x^{\beta ( \tau )} - \mu ( \tau ) k t^{\alpha ( \tau )} )^{{1} / {\beta ( \tau )}} +5 \cos ( x^{\beta ( \tau )} - \mu ( \tau ) k t^{\alpha ( \tau )} )^{{1} / {\beta ( \tau )}}, \\ \quad x < 0,\\ u ( x, t ) = \sin 2 ( x^{\lambda ( \tau )} - \eta ( \tau ) h t^{\gamma ( \tau )} )^{{1} / {\lambda ( \tau )}} +5 \cos ( x^{\lambda ( \tau )} - \eta ( \tau ) h t^{\gamma ( \tau )} )^{{1} / {\lambda ( \tau )}}, \\ \quad x >0. \end{cases}\displaystyle \end{aligned}$$
(4.9)

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

$$\begin{aligned}& \textstyle\begin{cases} D_{x}^{\beta ( \tau )} u ( x, t ) = D_{x}^{\beta ( \tau )} f ( \xi ),& x < 0,\\ D_{t}^{\alpha ( \tau )} u ( x, t ) = D_{t}^{\alpha ( \tau )} f ( \xi ),& x < 0,\\ D_{x}^{\lambda ( \tau )} u ( x, t ) = D_{x}^{\lambda ( \tau )} f ( \xi ), &x >0,\\ D_{t}^{\gamma ( \tau )} u ( x, t ) = D_{t}^{\gamma ( \tau )} f ( \xi ),& x >0, \end{cases}\displaystyle \end{aligned}$$
(4.10)

leading to

$$\begin{aligned}& \textstyle\begin{cases} \frac{\partial ^{\beta ( \tau )} u}{\partial x^{\beta ( \tau )}} = f_{\xi } ( \xi ) \xi _{x}^{ [ \beta ( \tau ) ]},& x < 0,\\ \frac{\partial ^{\alpha ( \tau )} u}{\partial t^{\alpha ( \tau )}} = f_{\xi } ( \xi ) \xi _{t}^{ [ \alpha ( \tau ) ]},& x < 0,\\ \frac{\partial ^{\lambda ( \tau )} u}{\partial x^{\lambda ( \tau )}} = f_{\zeta } ( \zeta ) \zeta _{x}^{ [ \lambda ( \tau ) ]},& x >0,\\ \frac{\partial ^{\gamma ( \tau )} u}{\partial t^{\gamma ( \tau )}} = f_{\zeta } ( \zeta ) \zeta _{t}^{ [ \gamma ( \tau ) ]},& x >0. \end{cases}\displaystyle \end{aligned}$$
(4.11)

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

$$\begin{aligned}& \textstyle\begin{cases} D_{x}^{\beta ( \tau )} x^{\beta ( \tau )} = D_{x}^{\beta ( \tau )} [ \mu ( \tau ) kt^{\alpha ( \tau )} + \xi ^{\beta ( \tau )} ],& x < 0,\\ D_{t}^{\alpha ( \tau )} x^{\beta ( \tau )} = D_{t}^{\alpha ( \tau )} [ \mu ( \tau ) k t^{\alpha ( \tau )} + \xi ^{\beta ( \tau )} ],& x < 0,\\ D_{x}^{\lambda ( \tau )} x^{\lambda ( \tau )} = D_{x}^{\lambda ( \tau )} [ \eta ( \tau ) ht^{\gamma ( \tau )} + \zeta ^{\lambda ( \tau )} ],& x >0,\\ D_{t}^{\gamma ( \tau )} x^{\lambda ( \tau )} = D_{t}^{\gamma ( \tau )} [ \eta ( \tau ) ht^{\gamma ( \tau )} + \zeta ^{\lambda ( \tau )} ],& x >0, \end{cases}\displaystyle \end{aligned}$$
(4.12)

which, using formula (2.10), leads to

$$\begin{aligned}& \textstyle\begin{cases} \varGamma ( 1+ \beta ( \tau ) ) = \beta ( \tau ) \xi ^{\beta ( \tau ) -1} \xi _{x}^{ [ \beta ( \tau ) ]}, &x < 0, \\ 0=\varGamma ( 1+ \beta ( \tau ) ) k + \beta ( \tau ) \xi ^{\beta ( \tau ) -1} \xi _{t}^{ [ \alpha ( \tau ) ]},& x < 0,\\ \varGamma ( 1+ \lambda ( \tau ) ) = \lambda ( \tau ) \zeta ^{\lambda ( \tau ) -1} \zeta _{x}^{ [ \lambda ( \tau ) ]},& x >0,\\ 0=\varGamma ( 1+ \lambda ( \tau ) ) h + \lambda ( \tau ) \zeta ^{\lambda ( \tau ) -1} \zeta _{t}^{ [ \gamma ( \tau ) ]},& x >0. \end{cases}\displaystyle \end{aligned}$$
(4.13)

Obtaining \(\xi _{x}^{ [ \beta ( \tau ) ]}\), \(\xi _{t}^{ [ \alpha ( \tau ) ]}\), \(\zeta _{x}^{ [ \lambda ( \tau ) ]}\) and \(\zeta _{t}^{ [ \gamma ( \tau ) ]}\) from (4.13),

$$\begin{aligned}& \textstyle\begin{cases} \xi _{x}^{ [ \beta ( \tau ) ]} = \frac{\varGamma ( 1+ \beta ( \tau ) )}{\beta ( \tau ) \xi ^{\beta ( \tau ) -1}},& x < 0, \\ \xi _{t}^{ [ \alpha ( \tau ) ]} = - \frac{\varGamma ( 1+ \beta ( \tau ) ) k}{\beta ( \tau ) \xi ^{\beta ( \tau ) -1}},& x < 0, \\ \zeta _{x}^{ [ \lambda ( \tau ) ]} = \frac{\varGamma ( 1+ \lambda ( \tau ) )}{\lambda ( \tau ) \zeta ^{\lambda ( \tau ) -1}},& x >0, \\ \zeta _{t}^{ [ \gamma ( \tau ) ]} = - \frac{\varGamma ( 1+ \lambda ( \tau ) ) h}{\lambda ( \tau ) \zeta ^{\lambda ( \tau ) -1}},& x >0, \end{cases}\displaystyle \end{aligned}$$
(4.14)

and substituting into (4.11), we have

$$\begin{aligned}& \textstyle\begin{cases} \frac{\partial ^{\beta ( \tau )} u}{\partial x^{\beta ( \tau )}} = f_{\xi } ( \xi ) \frac{\varGamma ( 1+ \beta ( \tau ) )}{\beta ( \tau ) \xi ^{\beta ( \tau ) -1}},& x < 0,\\ \frac{\partial ^{\alpha ( \tau )} u}{\partial t^{\alpha ( \tau )}} = - f_{\xi } ( \xi ) \frac{\varGamma ( 1+ \beta ( \tau ) ) k}{\beta ( \tau ) \xi ^{\beta ( \tau ) -1}}, &x < 0,\\ \frac{\partial ^{\lambda ( \tau )} u}{\partial x^{\lambda ( \tau )}} = f_{\zeta } ( \zeta ) \frac{\varGamma ( 1+ \lambda ( \tau ) )}{\lambda ( \tau ) \zeta ^{\lambda ( \tau ) -1}},& x >0,\\ \frac{\partial ^{\gamma ( \tau )} u}{\partial t^{\gamma ( \tau )}} =- f_{\zeta } ( \zeta ) \frac{\varGamma ( 1+ \lambda ( \tau ) ) h}{\lambda ( \tau ) \zeta ^{\lambda ( \tau ) -1}},& x >0. \end{cases}\displaystyle \end{aligned}$$
(4.15)

Substituting (4.15) into (4.2), we have

$$ \textstyle\begin{cases} - f_{\xi } ( \xi ) \frac{\varGamma ( 1+ \beta ( \tau ) ) k}{\beta ( \tau ) \xi ^{\beta ( \tau ) -1}} + k f_{\xi } ( \xi ) \frac{\varGamma ( 1+ \beta ( \tau ) )}{\beta ( \tau ) \xi ^{\beta ( \tau ) -1}} =0, &x < 0, \\ - f_{\zeta } ( \zeta ) \frac{\varGamma ( 1+ \lambda ( \tau ) ) h}{\lambda ( \tau ) \zeta ^{\lambda ( \tau ) -1}} + h f_{\zeta } ( \zeta ) \frac{\varGamma ( 1+ \lambda ( \tau ) )}{\lambda ( \tau ) \zeta ^{\lambda ( \tau ) -1}} =0,& x >0, \end{cases} $$

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 \):

$$\begin{aligned}& \textstyle\begin{cases} \frac{\partial u}{\partial t} + k \frac{\partial u}{\partial x} =0, &x < 0,\\ \frac{\partial u}{\partial t} + h \frac{\partial u}{\partial x} =0,& x >0, \end{cases}\displaystyle \end{aligned}$$
(4.16)

with the initial condition

$$ u ( x,0 ) = f ( x ) = \sin 2 x +5 \cos x. $$

The solution u is

$$ \textstyle\begin{cases} u ( x, t ) = \sin 2 ( x - kt ) +5 \cos ( x - kt ),& x < 0,\\ u ( x, t ) = \sin 2 ( x - ht ) +5 \cos ( x - ht ),& x >0. \end{cases} $$

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.

Figure 2
figure 2

The graph of the solution u in the classic case in Example 1 for different values of k and h

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.

Figure 3
figure 3

The graph of u in Example 1 with different values for \(\alpha ( \tau )\), \(\beta ( \tau )\), \(\gamma ( \tau )\), \(\lambda ( \tau )\), k, and h

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 space-time fractional arbitrary-order, which is given by

$$\begin{aligned}& \textstyle\begin{cases} e^{t^{\alpha ( \tau )}} \frac{\partial ^{\alpha ( \tau )} u}{\partial t^{\alpha ( \tau )}} + e^{x^{\beta ( \tau )}} \frac{\partial ^{\beta ( \tau )} u}{\partial x^{\beta ( \tau )}} =0,& x < 0, \\ e^{x^{\gamma ( \tau )}} \frac{\partial ^{\gamma ( \tau )} u}{\partial t^{\gamma ( \tau )}} + e^{x^{\lambda ( \tau )}} \frac{\partial ^{\lambda ( \tau )} u}{\partial x^{\lambda ( \tau )}} =0,& x >0, \end{cases}\displaystyle \\& 0< \alpha ( \tau ), \beta ( \tau ), \gamma ( \tau ), \lambda ( \tau ) \leq 1, \\& u ( x,0 ) =f ( x ) = e^{2x} + \cos 2x. \end{aligned}$$
(4.17)

Solution

According to Theorem 1, for \(x<0\), we have

$$\begin{aligned}& \textstyle\begin{cases} \frac{du}{ ( dt )^{\alpha ( \tau )}} =0, \\ u ( x,0 ) = f ( \xi ), \\ \frac{ ( dx )^{\beta ( \tau )}}{ ( dt )^{\alpha ( \tau )}} = \frac{\varGamma ( 1+ \beta ( \tau ) )}{\varGamma ( 1+ \alpha ( \tau ) )} \frac{ e^{x^{\beta ( \tau )}}}{ e^{t^{\alpha ( \tau )}}}, \\ x ( 0 ) = \xi , \end{cases}\displaystyle \end{aligned}$$
(4.18)

and for \(x>0\), we have

$$\begin{aligned}& \textstyle\begin{cases} \frac{du}{ ( dt )^{\gamma ( \tau )}} =0, \\ u ( x,0 ) = f ( \zeta ), \\ \frac{ ( dx )^{\lambda ( \tau )}}{ ( dt ) ^{\gamma ( \tau )}} = \frac{\varGamma ( 1+ \lambda ( \tau ) )}{\varGamma ( 1+ \gamma ( \tau ) )} \frac{ e^{x^{\lambda ( \tau )}}}{ e^{t^{\gamma ( \tau )}}}, \\ x ( 0 ) = \zeta . \end{cases}\displaystyle \end{aligned}$$
(4.19)

Then the integration of (4.18) gives

$$\begin{aligned}& \textstyle\begin{cases} \int du =0, \\ u ( x,0 ) = f ( \xi ), \\ \int e^{- x^{\beta ( \tau )}} ( dx )^{\beta ( \tau )} = \mu ( \tau ) \int e^{t^{\alpha ( \tau )}} ( dt )^{\alpha ( \tau )},\\ x ( 0 ) = \xi , \end{cases}\displaystyle \end{aligned}$$
(4.20)

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

$$\begin{aligned}& \textstyle\begin{cases} u = C_{1}, \\ u ( x,0 ) = f ( \xi ), \\ e^{- x^{\beta ( \tau )}} = \mu ( \tau ) e^{- t^{\alpha ( \tau )}} + C_{2}, \\ x ( 0 ) = \xi , \end{cases}\displaystyle \end{aligned}$$
(4.21)

and leads to

$$\begin{aligned}& \textstyle\begin{cases} u ( x, t ) = f ( \xi ),& x < 0,\\ e^{- x^{\beta ( \tau )}} = \mu ( \tau ) e^{- t^{\alpha ( \tau )}} + e^{- \xi ^{\beta ( \tau )}},& x < 0. \end{cases}\displaystyle \end{aligned}$$
(4.22)

Similar to the above, from (4.19), we obtain

$$\begin{aligned}& \textstyle\begin{cases} u ( x, t ) = f ( \zeta ),& x > 0,\\ e^{- x^{\lambda ( \tau )}} = \eta ( \tau ) e^{- t^{\gamma ( \tau )}} + e^{- \zeta ^{\lambda ( \tau )}},& x >0, \end{cases}\displaystyle \end{aligned}$$
(4.23)

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

$$\begin{aligned}& \textstyle\begin{cases} u ( x, t ) = f ( \xi ), &x < 0,\\ u ( x, t ) = f ( \zeta ),& x >0,\\ e^{- x^{\beta ( \tau )}} = \mu ( \tau ) e^{- t^{\alpha ( \tau )}} + e^{- \xi ^{\beta ( \tau )}}, &x < 0, \\ e^{- x^{\lambda ( \tau )}} = \eta ( \tau ) e^{- t^{\gamma ( \tau )}} + e^{- \zeta ^{\lambda ( \tau )}},& x >0, \end{cases}\displaystyle \end{aligned}$$
(4.24)

and (4.24) can be written in the following form:

$$\begin{aligned}& \textstyle\begin{cases} u ( x, t ) = f ( \xi ) = f ( \ln ( ( \mu ( \tau ) e^{- t^{\alpha ( \tau )}} - e^{- x^{\beta ( \tau )}} )^{{1} / {\beta ( \tau )}} ) ),& x < 0,\\ u ( x, t ) = f ( \xi ) = f ( \ln ( ( \eta ( \tau ) e^{- t^{\gamma ( \tau )}} - e^{- x^{\lambda ( \tau )}} )^{{1} / {\lambda ( \tau )}} ) ),& x >0. \end{cases}\displaystyle \end{aligned}$$
(4.25)

Considering the initial condition

$$ u ( x,0 ) =f ( x ) = e^{2x} + \cos 2x $$

and (4.25), we have

$$\begin{aligned}& \textstyle\begin{cases} u ( x, t ) = e^{2 \ln ( ( \mu ( \tau ) e^{- t^{\alpha ( \tau )}} - e^{- x^{\beta ( \tau )}} )^{{1} / {\beta ( \tau )}} )} \\ \hphantom{u ( x, t ) =}{} + \cos ( 5 \ln ( ( \mu ( \tau ) e^{- t^{\alpha ( \tau )}} - e^{- x^{\beta ( \tau )}} )^{{1} / {\beta ( \tau )}} ) ),& x < 0,\\ u ( x, t ) = e^{2 \ln ( ( \eta ( \tau ) e^{- t^{\gamma ( \tau )}} - e^{- x^{\lambda ( \tau )}} )^{{1} / {\lambda ( \tau )}} )} \\ \hphantom{u ( x, t ) =}{} + \cos ( 5 \ln ( ( \eta ( \tau ) e^{- t^{\gamma ( \tau )}} - e^{- x^{\lambda ( \tau )}} )^{{1} / {\lambda ( \tau )}} ) ),& x >0, \end{cases}\displaystyle \end{aligned}$$
(4.26)

which leads to

$$\begin{aligned}& \textstyle\begin{cases} u ( x, t ) = ( \mu ( \tau ) e^{- t^{\alpha ( \tau )}} - e^{- x^{\beta ( \tau )}} )^{{2} / {\beta ( \tau )}} \\ \hphantom{u ( x, t ) =}{} + \cos ( 5 \ln ( \mu ( \tau ) e^{- t^{\alpha ( \tau )}} - e^{- x^{\beta ( \tau )}} )^{{1} / {\beta ( \tau )}} ),& x < 0,\\ u ( x, t ) = ( \eta ( \tau ) e^{- t^{\gamma ( \tau )}} - e^{- x^{\lambda ( \tau )}} )^{{2} / {\lambda ( \tau )}} \\ \hphantom{u ( x, t ) =}{} + \cos ( 5 \ln ( \eta ( \tau ) e^{- t^{\gamma ( \tau )}} - e^{- x^{\lambda ( \tau )}} )^{{1} / {\lambda ( \tau )}} ),& x >0. \end{cases}\displaystyle \end{aligned}$$
(4.27)

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

$$\begin{aligned}& \textstyle\begin{cases} D_{x}^{\beta ( \tau )} u ( x, t ) = D_{x}^{\beta ( \tau )} f ( \xi ),& x < 0,\\ D_{t}^{\alpha ( \tau )} u ( x, t ) = D_{t}^{\alpha ( \tau )} f ( \xi ), &x < 0,\\ D_{x}^{\lambda ( \tau )} u ( x, t ) = D_{x}^{\lambda ( \tau )} f ( \xi ),& x >0,\\ D_{t}^{\gamma ( \tau )} u ( x, t ) = D_{t}^{\gamma ( \tau )} f ( \xi ), &x >0, \end{cases}\displaystyle \end{aligned}$$
(4.28)

leading to

$$\begin{aligned}& \textstyle\begin{cases} \frac{\partial ^{\beta ( \tau )} u}{\partial x^{\beta ( \tau )}} = f_{\xi } ( \xi ) \xi _{x}^{ [ \beta ( \tau ) ]}, &x < 0,\\ \frac{\partial ^{\alpha ( \tau )} u}{\partial t^{\alpha ( \tau )}} = f_{\xi } ( \xi ) \xi _{t}^{ [ \alpha ( \tau ) ]},& x < 0,\\ \frac{\partial ^{\lambda ( \tau )} u}{\partial x^{\lambda ( \tau )}} = f_{\zeta } ( \zeta ) \zeta _{x}^{ [ \lambda ( \tau ) ]},& x >0,\\ \frac{\partial ^{\gamma ( \tau )} u}{\partial t^{\gamma ( \tau )}} = f_{\zeta } ( \zeta ) \zeta _{t}^{ [ \gamma ( \tau ) ]},& x >0. \end{cases}\displaystyle \end{aligned}$$
(4.29)

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

$$\begin{aligned}& \textstyle\begin{cases} D_{x}^{\beta ( \tau )} e^{- x^{\beta ( \tau )}} = D_{x}^{\beta ( \tau )} [ \mu ( \tau ) e^{- t^{\alpha ( \tau )}} + e^{- \xi ^{\beta ( \tau )}}, ],& x < 0,\\ D_{t}^{\alpha ( \tau )} e^{- x^{\beta ( \tau )}} = D_{t}^{\alpha ( \tau )} [ \mu ( \tau ) e^{- t^{\alpha ( \tau )}} + e^{- \xi ^{\beta ( \tau )}} ],& x < 0,\\ D_{x}^{\lambda ( \tau )} e^{- x^{\lambda ( \tau )}} = D_{x}^{\lambda ( \tau )} [ \eta ( \tau ) e^{- t^{\gamma ( \tau )}} + e^{- \zeta ^{\lambda ( \tau )}} ],& x >0,\\ D_{t}^{\gamma ( \tau )} e^{- x^{\lambda ( \tau )}} = D_{t}^{\gamma ( \tau )} [ \eta ( \tau ) e^{- t^{\gamma ( \tau )}} + e^{- \zeta ^{\lambda ( \tau )}} ],& x >0, \end{cases}\displaystyle \end{aligned}$$
(4.30)

which, using formula (2.10), leads to

$$\begin{aligned}& \textstyle\begin{cases} \varGamma ( 1+ \beta ( \tau ) ) e^{- x^{\beta ( \tau )}} = \beta ( \tau ) \xi ^{\beta ( \tau ) -1} e^{- \xi ^{\beta ( \tau )}} \xi _{x}^{ [ \beta ( \tau ) ]}, &x < 0, \\ 0=\varGamma ( 1+ \beta ( \tau ) ) e^{- t^{\alpha ( \tau )}} + \beta ( \tau ) \xi ^{\beta ( \tau ) -1} e^{- \xi ^{\beta ( \tau )}} \xi _{t}^{ [ \alpha ( \tau ) ]},& x < 0,\\ \varGamma ( 1+ \lambda ( \tau ) ) e^{- x^{\lambda ( \tau )}} = \lambda ( \tau ) \zeta ^{\lambda ( \tau ) -1} e^{- \zeta ^{\lambda ( \tau )}} \zeta _{x}^{ [ \lambda ( \tau ) ]},& x >0,\\ 0=\varGamma ( 1+ \lambda ( \tau ) ) e^{- t^{\gamma ( \tau )}} + \lambda ( \tau ) \zeta ^{\lambda ( \tau ) -1} e^{- \zeta ^{\lambda ( \tau )}} \zeta _{t}^{ [ \gamma ( \tau ) ]},& x >0. \end{cases}\displaystyle \end{aligned}$$
(4.31)

Obtaining \(\xi _{x}^{ [ \beta ( \tau ) ]}\), \(\xi _{t}^{ [ \alpha ( \tau ) ]}\), \(\zeta _{x}^{ [ \lambda ( \tau ) ]}\), and \(\zeta _{t}^{ [ \gamma ( \tau ) ]}\) from (4.31), namely

$$\begin{aligned}& \textstyle\begin{cases} \xi _{x}^{ [ \beta ( \tau ) ]} = \frac{\varGamma ( 1+ \beta ( \tau ) ) e^{- x^{\beta ( \tau )}}}{\beta ( \tau ) \xi ^{\beta ( \tau ) -1} e^{- \xi ^{\beta ( \tau )}}},& x < 0, \\ \xi _{t}^{ [ \alpha ( \tau ) ]} = - \frac{\varGamma ( 1+ \beta ( \tau ) ) e^{- t^{\alpha ( \tau )}}}{\beta ( \tau ) \xi ^{\beta ( \tau ) -1} e^{- \xi ^{\beta ( \tau )}}},& x < 0, \\ \zeta _{x}^{ [ \lambda ( \tau ) ]} = \frac{\varGamma ( 1+ \lambda ( \tau ) ) e^{- x^{\lambda ( \tau )}}}{\lambda ( \tau ) \zeta ^{\lambda ( \tau ) -1 e^{- \zeta ^{\lambda ( \tau )}}}},& x >0, \\ \zeta _{t}^{ [ \gamma ( \tau ) ]} = - \frac{\varGamma ( 1+ \lambda ( \tau ) ) h}{\lambda ( \tau ) \zeta ^{\lambda ( \tau ) -1} e^{- \zeta ^{\lambda ( \tau )}}}, &x >0, \end{cases}\displaystyle \end{aligned}$$
(4.32)

and substituting (4.32) into (4.17), we have

$$\begin{aligned}& \textstyle\begin{cases} \frac{\partial ^{\beta ( \tau )} u}{\partial x^{\beta ( \tau )}} = f_{\xi } ( \xi ) \frac{\varGamma ( 1+ \beta ( \tau ) ) e^{- x^{\beta ( \tau )}}}{\beta ( \tau ) \xi ^{\beta ( \tau ) -1} e^{- \xi ^{\beta ( \tau )}}}, &x < 0,\\ \frac{\partial ^{\alpha ( \tau )} u}{\partial t^{\alpha ( \tau )}} = - f_{\xi } ( \xi ) \frac{\varGamma ( 1+ \beta ( \tau ) ) e^{- t^{\alpha ( \tau )}}}{\beta ( \tau ) \xi ^{\beta ( \tau ) -1} e^{- \xi ^{\beta ( \tau )}}}, &x < 0,\\ \frac{\partial ^{\lambda ( \tau )} u}{\partial x^{\lambda ( \tau )}} = f_{\zeta } ( \zeta ) \frac{\varGamma ( 1+ \lambda ( \tau ) ) e^{- x^{\lambda ( \tau )}}}{\lambda ( \tau ) \zeta ^{\lambda ( \tau ) -1 e^{- \zeta ^{\lambda ( \tau )}}}}, &x >0,\\ \frac{\partial ^{\gamma ( \tau )} u}{\partial t^{\gamma ( \tau )}} =- f_{\zeta } ( \zeta ) \frac{\varGamma ( 1+ \lambda ( \tau ) ) h}{\lambda ( \tau ) \zeta ^{\lambda ( \tau ) -1} e^{- \zeta ^{\lambda ( \tau )}}},& x >0. \end{cases}\displaystyle \end{aligned}$$
(4.33)

And substituting (4.15) into (4.2), we have

$$ \textstyle\begin{cases} - e^{t^{\alpha ( \tau )}} f_{\xi } ( \xi ) \frac{\varGamma ( 1+ \beta ( \tau ) ) e^{- t^{\alpha ( \tau )}}}{\beta ( \tau ) \xi ^{\beta ( \tau ) -1} e^{- \xi ^{\beta ( \tau )}}} + e^{x^{\beta ( \tau )}} f_{\xi } ( \xi ) \frac{\varGamma ( 1+ \beta ( \tau ) ) e^{- x^{\beta ( \tau )}}}{\beta ( \tau ) \xi ^{\beta ( \tau ) -1} e^{- \xi ^{\beta ( \tau )}}} =0,& x < 0, \\ - e^{x^{\gamma ( \tau )}} f_{\zeta } ( \zeta ) \frac{\varGamma ( 1+ \lambda ( \tau ) ) h}{\lambda ( \tau ) \zeta ^{\lambda ( \tau ) -1} e^{- \zeta ^{\lambda ( \tau )}}} + e^{x^{\lambda ( \tau )}} f_{\zeta } ( \zeta ) \frac{\varGamma ( 1+ \lambda ( \tau ) ) e^{- x^{\lambda ( \tau )}}}{\lambda ( \tau ) \zeta ^{\lambda ( \tau ) -1 e^{- \zeta ^{\lambda ( \tau )}}}} =0,& x >0, \end{cases} $$

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

$$\begin{aligned}& \textstyle\begin{cases} u ( x, t ) = f ( \xi ) = f (\ln ( e^{- t} - e^{- x} ) ),& x < 0,\\ u ( x, t ) = f ( \zeta ) = f ( \ln ( e^{- t} - e^{- x} ) ),& x >0. \end{cases}\displaystyle \end{aligned}$$
(4.34)

With initial condition \(u ( x,0 ) =f ( x ) = e^{2x} + \cos 5x\) the solution can be written as

$$\begin{aligned}& \textstyle\begin{cases} u ( x, t ) = f ( \xi ) = e^{2 \ln ( e^{- t} - e^{- x} )} +\cos ( 5 \ln ( e^{- t} - e^{- x} ) ),& x < 0,\\ u ( x, t ) = f ( \zeta ) = e^{2 \ln ( e^{- t} - e^{- x} )} +\cos ( 5 \ln ( e^{- t} - e^{- x} ) ),& x >0, \end{cases}\displaystyle \end{aligned}$$
(4.35)

and its graph is given in Fig. 4.

Figure 4
figure 4

The graphs of the classic case of Example 2 where \(\alpha ( \tau ) = \beta ( \tau ) = \gamma ( \tau ) = \lambda ( \tau ) =1\)

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.

Figure 5
figure 5

The graphs of the solution u in Example 2 with different values for \(\alpha ( \tau )\), \(\beta ( \tau )\), \(\gamma ( \tau )\), and \(\lambda ( \tau )\)

Example 3

Here we find the analytical solution of a couple interface fractional arbitrary-order differential equation

$$\begin{aligned}& \textstyle\begin{cases} \frac{t^{\alpha ( \tau )}}{\varGamma ( 1+ \alpha ( \tau ) )} \frac{\partial ^{\alpha ( \tau )} u}{\partial t^{\alpha ( \tau )}} + \frac{3 x^{ \beta ( \tau )}}{\varGamma ( 1+ \beta ( \tau ) )} \frac{\partial ^{\beta ( \tau )} u}{\partial x^{\beta ( \tau )}} =0, &x < 0,\\ \frac{t^{\gamma ( \tau )}}{\varGamma ( 1+ \gamma ( \tau ) )} \frac{\partial ^{\gamma ( \tau )} u}{\partial t^{\gamma ( \tau )}} + \frac{5 x^{ \lambda ( \tau )}}{\varGamma ( 1+ \lambda ( \tau ) )} \frac{\partial ^{\lambda ( \tau )} u}{\partial x^{\lambda ( \tau )}} =0, &x >0, \end{cases}\displaystyle \\& 0< \alpha ( \tau ), \beta ( \tau ), \gamma ( \tau ), \lambda ( \tau ) \leq 1, \\& u ( x,1 ) =f ( x ) = \cos x +3 \sin x. \end{aligned}$$
(4.36)

Solution

Based on the method introduced in Theorem 1, for \(x<0\),

$$\begin{aligned}& \textstyle\begin{cases} \frac{du}{ ( dt )^{\alpha ( \tau )}} =0, \\ u ( x,1 ) = f ( \xi ), \\ \frac{\varGamma ( 1+ \alpha ( \tau ) )}{\varGamma ( 1+ \beta ( \tau ) )} \frac{ ( dx )^{\beta ( \tau )}}{ ( dt )^{\alpha ( \tau )}} =3 \frac{\varGamma ( 1+ \alpha ( \tau ) )}{\varGamma ( 1+ \beta ( \tau ) )} \frac{x^{\beta ( \tau )}}{t^{\alpha ( \tau )}},\\ x ( 1 ) = \xi , \end{cases}\displaystyle \end{aligned}$$
(4.37)

and for \(x>0\),

$$\begin{aligned}& \textstyle\begin{cases} \frac{du}{ ( dt )^{\gamma ( \tau )}} =0, \\ u ( x,1 ) = f ( \zeta ), \\ \frac{\varGamma ( 1+ \gamma ( \tau ) )}{\varGamma ( 1+ \lambda ( \tau ) )} \frac{ ( dx )^{\lambda ( \tau )}}{ ( dt )^{\gamma ( \tau )}} =5 \frac{\varGamma ( 1+ \gamma ( \tau ) )}{\varGamma ( 1+ \lambda ( \tau ) )} \frac{x^{\lambda ( \tau )}}{t^{\gamma ( \tau )}},\\ x ( 1 ) = \zeta . \end{cases}\displaystyle \end{aligned}$$
(4.38)

The integration of (4.37) and (4.38) is given below: for \(x<0\), we have

$$\begin{aligned}& \textstyle\begin{cases} \int du =0, \\ u ( x,1 ) = f ( \xi ), \\ \int \frac{1}{x^{\beta ( \tau )}} ( dx )^{\beta ( \tau )} =3 \int \frac{1}{t^{\alpha ( \tau )}} ( dt )^{\alpha ( \tau )}, \\ x ( 1 ) = \xi , \end{cases}\displaystyle \end{aligned}$$
(4.39)

and for \(x>0\), we obtain

$$\begin{aligned}& \textstyle\begin{cases} \int du =0, \\ u ( x,1 ) = f ( \zeta ), \\ \int \frac{1}{x^{\lambda ( \tau )}} ( dx )^{\lambda ( \tau )} =5 \int \frac{1}{t^{\gamma ( \tau )}} ( dt )^{\gamma ( \tau )}, \\ x ( 1 ) = \zeta . \end{cases}\displaystyle \end{aligned}$$
(4.40)

The integration of (4.39) and (4.40), by formula (2.15), for \(x<0\) leads to

$$\begin{aligned}& \textstyle\begin{cases} u = C_{1}, \\ u ( x,1 ) = f ( \xi ), \\ \ln x^{\beta ( \tau )} =3\ln t^{\alpha ( \tau )} + C_{2}, \\ x ( 1 ) = \xi , \end{cases}\displaystyle \end{aligned}$$
(4.41)

and for \(x>0\), it leads to

$$\begin{aligned}& \textstyle\begin{cases} u = C_{3}, \\ u ( x,1 ) = f ( \zeta ), \\ \ln x^{\lambda ( \tau )} =5\ln t^{\gamma ( \tau )} + C_{4}, \\ x ( 1 ) = \zeta . \end{cases}\displaystyle \end{aligned}$$
(4.42)

From equations (4.41) and (4.42), we obtain the following parametric solution:

$$\begin{aligned}& \textstyle\begin{cases} u = f ( \xi ),& x < 0,\\ u = f ( \zeta ),&x >0,\\ \ln x^{\beta ( \tau )} =3\ln t^{\alpha ( \tau )} +\ln \xi ^{\beta ( \tau )},& x < 0,\\ \ln x^{\lambda ( \tau )} =5\ln t^{\gamma ( \tau )} +\ln \zeta ^{\lambda ( \tau )},& x >0, \end{cases}\displaystyle \end{aligned}$$
(4.43)

which simplifies to

$$\begin{aligned}& \textstyle\begin{cases} u = f ( \xi ),& x < 0,\\ u = f ( \zeta ),& x >0,\\ x^{\beta ( \tau )} = \xi ^{\beta ( \tau )} t^{3 \alpha ( \tau )},& x < 0,\\ x^{\lambda ( \tau )} = \zeta ^{\lambda ( \tau )} t^{5 \gamma ( \tau )},& x >0. \end{cases}\displaystyle \end{aligned}$$
(4.44)

Let us assume the initial condition \(f ( x ) = \cos x+3 \sin x\), then the solution is

$$\begin{aligned}& \textstyle\begin{cases} u ( x, t ) = f ( ( x^{\beta ( \tau )} t^{-3 \alpha ( \tau )} )^{{1} / {\beta ( \tau )}} ) \\ \hphantom{u ( x, t )}= \cos ( x^{\beta ( \tau )} t^{-3 \alpha ( \tau )} )^{{3} / {\beta ( \tau )}} +3 \sin ( x^{\beta ( \tau )} t^{-3 \alpha ( \tau )} )^{{1} / {\beta ( \tau )}},& x < 0,\\ u ( x, t ) = f ( ( x^{\lambda ( \tau )} t^{-5 \gamma ( \tau )} )^{{1} / {\beta ( \tau )}} ) \\ \hphantom{u ( x, t )} = \cos ( x^{\lambda ( \tau )} t^{-5 \gamma ( \tau )} )^{{3} / {\lambda ( \tau )}} +3\sin ( x^{\lambda ( \tau )} t^{-5 \gamma ( \tau )} )^{{1} / {\lambda ( \tau )}},& x >0. \end{cases}\displaystyle \end{aligned}$$
(4.45)

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

$$\begin{aligned}& \textstyle\begin{cases} D_{x}^{\beta ( \tau )} u ( x, t ) = D_{x}^{\beta ( \tau )} f ( \xi ),&x < 0,\\ D_{t}^{\alpha ( \tau )} u ( x, t ) = D_{t}^{\alpha ( \tau )} f ( \xi ),& x < 0,\\ D_{x}^{\lambda ( \tau )} u ( x, t ) = D_{x}^{\lambda ( \tau )} f ( \xi ), &x >0,\\ D_{t}^{\gamma ( \tau )} u ( x, t ) = D_{t}^{\gamma ( \tau )} f ( \xi ),& x >0, \end{cases}\displaystyle \end{aligned}$$
(4.46)

leading to

$$\begin{aligned}& \textstyle\begin{cases} \frac{\partial ^{\beta ( \tau )} u}{\partial x^{\beta ( \tau )}} = f_{\xi } ( \xi ) \xi _{x}^{ [ \beta ( \tau ) ]},& x < 0,\\ \frac{\partial ^{\alpha ( \tau )} u}{\partial t^{\alpha ( \tau )}} = f_{\xi } ( \xi ) \xi _{t}^{ [ \alpha ( \tau ) ]},& x < 0,\\ \frac{\partial ^{\lambda ( \tau )} u}{\partial x^{\lambda ( \tau )}} = f_{\zeta } ( \zeta ) \zeta _{x}^{ [ \lambda ( \tau ) ]},& x >0,\\ \frac{\partial ^{\gamma ( \tau )} u}{\partial t^{\gamma ( \tau )}} = f_{\zeta } ( \zeta ) \zeta _{t}^{ [ \gamma ( \tau ) ]},& x >0. \end{cases}\displaystyle \end{aligned}$$
(4.47)

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

$$\begin{aligned}& \textstyle\begin{cases} D_{x}^{\beta ( \tau )} \ln x^{\beta ( \tau )} = D_{x}^{\beta ( \tau )} [ 3\ln t^{\alpha ( \tau )} +\ln \xi ^{\beta ( \tau )} ],& x < 0,\\ D_{t}^{\alpha ( \tau )} \ln x^{\beta ( \tau )} = D_{t}^{\alpha ( \tau )} [ 3\ln t^{\alpha ( \tau )} +\ln \xi ^{\beta ( \tau )} ],& x < 0,\\ D_{x}^{\lambda ( \tau )} \ln x^{\lambda ( \tau )} = D_{x}^{\lambda ( \tau )} [ 5\ln t^{\gamma ( \tau )} +\ln \zeta ^{\lambda ( \tau )} ],& x >0,\\ D_{t}^{\gamma ( \tau )} \ln x^{\lambda ( \tau )} = D_{t}^{\gamma ( \tau )} [ 5\ln t^{\gamma ( \tau )} +\ln \zeta ^{\lambda ( \tau )} ],& x >0, \end{cases}\displaystyle \end{aligned}$$
(4.48)

which, using formula (2.10), leads to

$$\begin{aligned}& \textstyle\begin{cases} \frac{\varGamma ( 1+ \beta ( \tau ) )}{x^{\beta ( \tau )}} = \frac{\beta ( \tau ) \xi ^{\beta ( \tau ) -1}}{\xi ^{\beta ( \tau )}} \xi _{x}^{ [ \alpha ( \tau ) ]},& x < 0, \\ 0= \frac{3 \varGamma ( 1+ \alpha ( \tau ) )}{t^{\alpha ( \tau )}} + \frac{\beta ( \tau ) \xi ^{\beta ( \tau ) -1}}{\xi ^{\beta ( \tau )}} \xi _{t}^{ [ \alpha ( \tau ) ]},& x < 0,\\ \frac{\varGamma ( 1+ \lambda ( \tau ) )}{x^{\lambda ( \tau )}} = \frac{\lambda ( \tau ) \zeta ^{\lambda ( \tau ) -1}}{\zeta ^{\lambda ( \tau )}} \zeta _{x}^{ [ \lambda ( \tau ) ]},& x >0,\\ 0= \frac{5 \varGamma ( 1+ \gamma ( \tau ) )}{t^{\gamma ( \tau )}} + \frac{\lambda ( \tau ) \zeta ^{\lambda ( \tau ) -1}}{\zeta ^{\lambda ( \tau )}} \zeta _{t}^{ [ \gamma ( \tau ) ]},& x >0. \end{cases}\displaystyle \end{aligned}$$
(4.49)

Obtaining \(\xi _{x}^{ [ \beta ( \tau ) ]}\), \(\xi _{t}^{ [ \alpha ( \tau ) ]}\), \(\zeta _{x}^{ [ \lambda ( \tau ) ]}\), and \(\zeta _{t}^{ [ \gamma ( \tau ) ]}\) from (4.13), namely

$$\begin{aligned}& \textstyle\begin{cases} \xi _{x}^{ [ \beta ( \tau ) ]} = \frac{\varGamma ( 1+ \beta ( \tau ) ) \xi }{x^{\beta ( \tau )} \beta ( \tau )},& x < 0 \\ \xi _{t}^{ [ \alpha ( \tau ) ]} = - \frac{3\varGamma ( 1+\alpha ( \tau ) ) \xi }{t^{\alpha ( \tau )} \beta ( \tau )},& x < 0\\ \zeta _{x}^{ [ \lambda ( \tau ) ]} = \frac{\varGamma ( 1+ \lambda ( \tau ) ) \zeta }{t^{\gamma ( \tau ) \lambda ( \tau )}},& x >0, \\ \zeta _{t}^{ [ \gamma ( \tau ) ]} = - \frac{5\varGamma ( 1+\gamma ( \tau ) ) \zeta }{t^{\gamma ( \tau )} \lambda ( \tau )},& x >0, \end{cases}\displaystyle \end{aligned}$$
(4.50)

and substituting (4.50) into (4.47), we have

$$\begin{aligned}& \textstyle\begin{cases} \frac{\partial ^{\beta ( \tau )} u}{\partial x^{\beta ( \tau )}} = f_{\xi } ( \xi ) \frac{\varGamma ( 1+ \beta ( \tau ) ) \xi }{x^{\beta ( \tau )} \beta ( \tau )},& x < 0,\\ \frac{\partial ^{\alpha ( \tau )} u}{\partial t^{\alpha ( \tau )}} = - f_{\xi } ( \xi ) \frac{3 \varGamma ( 1+ \alpha ( \tau ) ) \xi }{t^{\alpha ( \tau )} \beta ( \tau )}, &x < 0,\\ \frac{\partial ^{\lambda ( \tau )} u}{\partial x^{\lambda ( \tau )}} = f_{\zeta } ( \zeta ) \frac{\varGamma ( 1+ \lambda ( \tau ) ) \zeta }{t^{\gamma ( \tau ) \lambda ( \tau )}},& x >0,\\ \frac{\partial ^{\gamma ( \tau )} u}{\partial t^{\gamma ( \tau )}} =- f_{\zeta } ( \zeta ) \frac{5 \varGamma ( 1+ \gamma ( \tau ) ) \zeta }{t^{\gamma ( \tau )} \lambda ( \tau )},& x >0. \end{cases}\displaystyle \end{aligned}$$
(4.51)

Substituting (4.51) into (4.36), we have

$$ \textstyle\begin{cases} - \frac{t^{\alpha ( \tau )}}{\varGamma ( 1+ \alpha ( \tau ) )} f_{\xi } ( \xi ) \frac{3 \varGamma ( 1+ \alpha ( \tau ) ) \xi }{t^{\alpha ( \tau )} \beta ( \tau )} + \frac{3 x^{ \beta ( \tau )}}{\varGamma ( 1+ \beta ( \tau ) )} f_{\xi } ( \xi ) \frac{\varGamma ( 1+ \beta ( \tau ) ) \xi }{x^{\beta ( \tau )} \beta ( \tau )} =0,& x < 0, \\ - \frac{t^{\gamma ( \tau )}}{\varGamma ( 1+ \gamma ( \tau ) )} f_{\zeta } ( \zeta ) \frac{5 \varGamma ( 1+ \gamma ( \tau ) ) \zeta }{t^{\gamma ( \tau )} \lambda ( \tau )} + \frac{5 x^{ \lambda ( \tau )}}{\varGamma ( 1+ \lambda ( \tau ) )} f_{\zeta } ( \zeta ) \frac{\varGamma ( 1+ \lambda ( \tau ) ) \zeta }{t^{\gamma ( \tau ) \lambda ( \tau )}} =0, &x >0. \end{cases} $$

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

$$\begin{aligned}& \textstyle\begin{cases} t \frac{\partial u}{\partial t} +3 x \frac{\partial u}{\partial x} =0,& x < 0, \\ t \frac{\partial u}{\partial t} + 5 x \frac{\partial u}{\partial x} =0,& x >0, \end{cases}\displaystyle ,\qquad u ( x,0 ) = f ( x ) = \cos x +3\sin x, \end{aligned}$$
(4.52)

therefore, the solution is

$$\begin{aligned}& \textstyle\begin{cases} u ( x, t ) = f ( x t^{-3} ) = \cos ( x t^{-3} )^{3} +3\sin x t^{-3},& x < 0,\\ u ( x, t ) = f ( x t^{-3} ) = \cos ( x t^{-3} )^{3} +3\sin x t^{-5},& x >0. \end{cases}\displaystyle \end{aligned}$$
(4.53)

Its graph is given in Fig. 6.

Figure 6
figure 6

The graph of the solution u in Example 3 where \(\alpha ( \tau ) = \beta ( \tau ) = \gamma ( \tau ) = \lambda ( \tau ) =1\)

The graphs of solution u with different values for \(\alpha ( \tau )\), \(\beta ( \tau )\), \(\gamma ( \tau )\) and \(\lambda ( \tau )\) are given in Fig. 7.

Figure 7
figure 7figure 7

The graphs the solution in Example 3 with different values for \(\alpha ( \tau )\), \(\beta ( \tau )\), \(\gamma ( \tau )\), and \(\lambda ( \tau )\)

5 Summary

We have proved the existence and uniqueness of the interface coupled arbitrary-order 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 integer-order calculus to the constant-order and arbitrary-order 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.