Exact Traveling Wave Solutions of the Local Fractional Bidirectional Propagation System Equations

Abstract

In this paper, within the scope of the local fractional derivative theory, bidirectional propagation system local fractional equations are researched. Compared with the unidirectional propagation of nonlinear waves in a pipeline, the bidirectional propagation system equations studied in this paper can better describe the propagation of nonlinear waves in a channel. This study is groundbreaking and offers more possibilities for the bidirectional propagation of nonlinear waves in the simulation pipeline. The exact traveling wave solutions of the non-differentiable type defined on the Cantor sets are obtained. The characteristics of the particular solutions of a fixed fractal dimension are discussed. It is proven that the local fractional nonlinear bidirectional wave equations can describe the interaction of fractal waves. It is also shown that the study of traveling wave solutions of nonlinear local fractional equations has important significance in mathematical physics.

1. Introduction

Fractional calculus (FC) has important applications in the physics and engineering fields, such as particle physics [1], wave dynamics [2], electronic systems [3], calculation methods of mathematical physics and so on [4]. The history of fractional derivatives dates back to the 17th century (Diethelm (2010), Oldham and Spanier (1974) and Podlubny (1999)). The concept theory of fractional derivatives is more suitable for modeling. The specific concept of local fractional calculus (LFC) theory was first proposed by Kolwankar and Gangal [5,6,7] based on the Riemann–Liouville fractional order, which is a kind of derivative used to deal with many non-differentiable problems from the perspective of science and engineering [8,9]. When dealing with non-differentiable problems in science and engineering, local models are used to describe fractional ordinary differential equations or partial differential equations. Many media or substances in nature have very complex microstructures, and it is impossible to quantitatively describe their microstructures with simple geometries. Therefore, LFC plays an important role in mathematics, physics and applied science, and its practicability and accuracy are becoming stronger and stronger [10,11].

Recently, there have been many approximation and analytical methods [12] for partial differential equations with local fractional derivative operators, such as the local fractional decomposition method, local fractional variational iteration method, local fractional homotopy perturbation method [13,14] and local fractional class expansion method. At the same time, by applying the local fractional theory and a new effective algorithm [15], the exact solution of the local fractional equation defined on the Cantor set is obtained. Yang [16] redefined and generalized the local order and constructed a complete framework of a local order. A new method for calculating the exact traveling wave solutions of partial-order partial differential equations is proposed, including those of Kortewegdevries [17], Boussinesq [18] and Burgers [19], among others [20]. The results show that the theoretical method is precise, feasible and has great practical significance.

In this paper, we discuss the local fractional equations for a model system describing the bidirectional propagation of nonlinear diffusion waves in water channels as follows. Unlike describing the unidirectional propagation of the nonlinear waves in a pipeline, bidirectional propagation system equations can better describe the propagation of the nonlinear waves in a water channel:

$$\left\{\begin{array}{c}\frac{{\partial }^{\rho }\eta }{\partial t^{\rho }}+\frac{{\partial }^{\rho }u}{\partial x^{\rho }}+\eta \frac{{\partial }^{\rho }\eta }{\partial x^{\rho }}+u\frac{{\partial }^{\rho }\eta }{\partial x^{\rho }}+a\frac{{\partial }^{3\rho }u}{\partial x^{3\rho }}-b\frac{{\partial }^{3\rho }\eta }{\partial x^{2\rho }\partial t^{\rho }}=0,\hfill \\ \frac{{\partial }^{\rho }u}{\partial t^{\rho }}+\frac{{\partial }^{\rho }\eta }{\partial x^{\rho }}+u\frac{{\partial }^{\rho }u}{\partial x^{\rho }}+c\frac{{\partial }^{3\rho }u}{\partial x^{3\rho }}-d\frac{{\partial }^{3\rho }u}{\partial x^{2\rho }\partial t^{\rho }}=0,\hfill \end{array}\right.$$

(1)

where a, b, c and d are real constants, $\rho$ is the fractal dimension, where x is the distance along the channel (scaled by the undisturbed depth of the water h), and t is the elapsed time scaled by $\sqrt{h/g}$, where g indicates the acceleration of gravity. The variable $\eta =\eta (x,t)$ is the non-dimensional deviation of the water surface (scaled by h), which is from an undisturbed position, and $u=u(x,t)$ is the non-dimensional horizontal velocity (scaled by $\sqrt{gh}$) at a height $\theta h$ of the water with $0\le \theta \le 1$ above the bottom of the channel [20]. When $\rho =1$, Equation (1) is formally equivalent to the classic Boussinesq system, which was derived by Bona, Saut and Toland. It is used to describe a small-amplitude long wave in the waterway, and first-order correction is carried out with a small parameter (representing the typical amplitude depth ratio). The existence of an accurate traveling wave solution is usually very helpful to the theoretical and numerical research of the system.

The main purpose of this paper is to study the exact traveling wave solutions to bidirectional wave equations. This paper is a pioneering study of the local fractional equations for bidirectional propagation systems, providing more possibilities for simulating the bidirectional propagation of nonlinear waves in a pipeline. The structural design of this paper is as follows. In Section 2, the basic theories of the local partial-order derivative (LFD) and local partial-order integral (LFI) are introduced. In Section 3, the exact traveling wave solution of the bidirectional wave equation is given. In Section 4, the special solutions of the bidirectional wave equation with graphs are discussed, and the interactions between the local fractional nonlinear bidirectional wave equations are proven. Finally, the main points are summarized, and the significance and limitations of this study are illustrated in Section 5.

2. Brief of the Local Fractional Derivative

In this section, we introduce the concepts of the local fractional derivative (LFD) and local fractional partial derivatives (LFPDs) of non-differentiable functions, as well as the solutions to local fractional Ricati differential equations (LFRDE):

Definition 1. 

Let $C_{\rho }$ be a set of non-differentiable functions with a fractal dimension. Assuming that $\Xi \left(\xi \right)\in C_{\rho }(x,y)$, the local fractional derivative of $\Xi \left(\xi \right)$ with an order $\rho (0<\rho <1)$ at the point $\xi ={\xi }_0$ is defined by [21,22]

$$D^{\rho }\Xi \left({\xi }_0\right)=\frac{d^{\rho }\Xi \left({\xi }_0\right)}{d{\xi }^{\rho }}=\frac{{\Delta }^{\rho }(\Xi \left(\xi \right)-\Xi \left({\xi }_0\right))}{{(\xi -{\xi }_0)}^{\rho }},$$

(2)

where

$${\Delta }^{\rho }(\Xi \left(\xi \right)-\Xi \left({\xi }_0\right))\cong \Gamma (1+\rho )\Delta [\Xi \left(\xi \right)-\Xi \left({\xi }_0\right)].$$

(3)

The basic operations of the LFD are as follows [16]:

$$\begin{array}{cc}\hfill & \left(M_1\right)D^{\rho }[{\Xi }_1\left(\xi \right)\pm {\Xi }_2\left(\xi \right)]=D^{\rho }{\Xi }_1\left(\xi \right)\pm D^{\rho }{\Xi }_2\left(\xi \right),\hfill \\ \hfill & \left(M_2\right)D^{\rho }\left[{\Xi }_1\left(\xi \right){\Xi }_2\left(\xi \right)\right]=\left[D^{\rho }{\Xi }_1\left(\xi \right)\right]{\Xi }_2\left(\xi \right)+{\Xi }_1\left(\xi \right)\left[D^{\rho }{\Xi }_2\left(\xi \right)\right],\hfill \\ \hfill & \left(M_3\right)D^{\rho }[{\Xi }_1\left(\xi \right)/{\Xi }_2\left(\xi \right)]=\left[D^{\rho }{\Xi }_1\left(\xi \right)\right]{\Xi }_2\left(\xi \right)-{\Xi }_1\left(\xi \right)\left[D^{\rho }{\Xi }_2\left(\xi \right)\right]/{\Xi }_2^2\left(\xi \right),\hfill \end{array}$$

(4)

provided ${\Xi }_2\left(\xi \right)\ne 0$.

The special functions defined on the fractal sets are

$$\begin{array}{cc}\hfill & {\Xi }_{\rho }\left(i^{\rho }{\xi }^{\rho }\right)=\sum _{n=0}^{\infty }\frac{{\xi }^{np}}{\Gamma (1+np)},\hfill \\ \hfill & {sin}_{\rho }\left({\xi }^{\rho }\right)={cos}_{\rho }\left({\xi }^{\rho }\right),\hfill \\ \hfill & {cos}_{\rho }\left({\xi }^{\rho }\right)=-{sin}_{\rho }\left({\xi }^{\rho }\right),\hfill \\ \hfill & {tan}_{\rho }=\frac{1}{{cot}_{\rho }},\hfill \\ \hfill & {tanh}_{\rho }=\frac{1}{{coth}_{\rho }}.\hfill \end{array}$$

(5)

Definition 2. 

The local fractional partial derivative (LFPD) ${\Xi }_{\rho }(\mu ,\theta )$ in the order ρ with respect to θ is defined by [23,24]

$${\Xi }_{\theta ,\rho }^{\left(\rho \right)}(\mu ,{\theta }_0)=\frac{\partial {\Xi }_{\rho }(\mu ,\theta )}{\partial {\theta }^{\rho }}\mid \theta ={\theta }_0=\underset{\theta \to {\theta }_0}{lim}\frac{{\Delta }^{\rho }({\Xi }_{\rho }(\mu ,\theta )-{\Xi }_{\rho }(\mu ,\theta ))}{{(\theta -{\theta }_0)}^{\rho }},$$

(6)

provided that the line exists where

$${\Delta }^{\rho }({\Xi }_{\rho }(\mu ,\theta )-{\Xi }_{\rho }(\mu ,{\theta }_0))\cong (1+\rho )\Delta ({\Xi }_{\rho }(\mu ,\theta )-{\Xi }_{\rho }(\mu ,{\theta }_0)).$$

(7)

Supposing that ${\Xi }_{\rho }(\mu ,\theta )$, where $\mu =\mu (\tau ,\eta )$, then we have [25]

$$\frac{{\partial }^{\rho }{\Xi }_{\rho }(\mu ,\theta )}{\partial {\mu }^{\rho }}=\frac{{\partial }^{\rho }{\Xi }_{\rho }(\mu ,\theta )}{\partial {\tau }^{\rho }}{\left(\frac{\partial \tau }{\partial \mu }\right)}^{\rho }+\frac{{\partial }^{\rho }{\Xi }_{\rho }(\mu ,\theta )}{\partial {\eta }^{\rho }}{\left(\frac{\partial \eta }{\partial \mu }\right)}^{\rho },$$

(8)

In addition, the LFPD of a high order is defined as

$$\frac{{\partial }^{m\rho }{\Xi }_{\rho }(\mu ,\theta )}{\partial {\mu }^{m\rho }}=\overbrace{\frac{{\partial }^{\rho }}{\partial {\mu }^{\rho }}\cdots \frac{{\partial }^{\rho }}{\partial {\mu }^{\rho }}}{\Xi }_{\rho }(\mu ,\theta ).$$

(9)

Definition 3. 

Let $\Xi \left(\xi \right)\in C_{\rho }(x,y)$. The local fractional integral (LFI) of $\Xi \left(\xi \right)$ in the interval $[x,y]$ is defined as [16]

$$\begin{array}{c}\hfill {}_x{I}_y\Xi \left(\xi \right)=\frac{1}{\Gamma (1+\rho )}{\int }_x^y\Xi \left(\xi \right){\left(d\xi \right)}^{\rho }=\frac{1}{\Gamma (1+\rho )}\underset{\Delta \tau \to 0}{lim}\sum _{j=0}^{j=N-1}\Xi \left(\xi \right){(\Delta \xi )}^{\rho },\end{array}$$

(10)

where $\Delta \xi ={\xi }_{j+1}-{\xi }_j$, $j=0,\cdots ,N-1$, ${\xi }_0$ and ${\xi }_N=y$. Supposing that $\Xi \left(\xi \right)\in C_{\rho }[\alpha ,\beta ]$, we can write the following rules:

$$\begin{array}{cc}\hfill & {}_x{I}_y\Xi \left(\xi \right)=0,\alpha =\beta ,\hfill \\ \hfill & {}_x{I}_y\Xi \left(\xi \right)={-}_x{I}_y^{\left(\epsilon \right)}\phi \left(u\right),\alpha <\beta ,\hfill \\ \hfill & {}_x{I}_y\Xi \left(\xi \right)=\phi \left(u\right),\rho =0,\hfill \end{array}$$

(11)

where $\Xi \left(\xi \right)$ is the local fractional integral on $[x,y]$. The properties of the LFI are as follows [26]:

$$\begin{array}{cc}\hfill & \left(R1\right)\frac{1}{\Gamma (1+\rho )}{\int }_x^m[D^{\left(\rho \right)}\Xi \left(\xi \right){\left(d\xi \right)}^{\rho }]=\Xi \left(m\right)-\Xi \left(x\right),\hfill \\ \hfill & \left(R2\right)D^{\left(\rho \right)}[\frac{1}{\Gamma (1+\rho )}{\int }_x^m{D}^{\left(\rho \right)}\Xi \left(\xi \right){\left(d\xi \right)}^{\rho }]=\Xi \left(x\right).\hfill \end{array}$$

(12)

3. Exact Traveling Wave Solutions of Bidirectional Wave Equations

The focus of this section is to find the exact traveling wave solutions of non-differentiable bidirectional wave equations. First of all, we introduce the local fractional-order bidirectional wave equations:

$$\begin{array}{cc}\hfill & \frac{{\partial }^{\rho }\eta }{\partial t^{\rho }}+\frac{{\partial }^{\rho }u}{\partial x^{\rho }}+\eta \frac{{\partial }^{\rho }\eta }{\partial x^{\rho }}+u\frac{{\partial }^{\rho }\eta }{\partial x^{\rho }}+a\frac{{\partial }^{3\rho }u}{\partial x^{3\rho }}-b\frac{{\partial }^{3\rho }\eta }{\partial x^{2\rho }\partial t^{\rho }}=0,\hfill \\ \hfill & \frac{{\partial }^{\rho }u}{\partial t^{\rho }}+\frac{{\partial }^{\rho }\eta }{\partial x^{\rho }}+u\frac{{\partial }^{\rho }u}{\partial x^{\rho }}+c\frac{{\partial }^{3\rho }u}{\partial x^{3\rho }}-d\frac{{\partial }^{3\rho }u}{\partial x^{2\rho }\partial t^{\rho }}=0,\hfill \end{array}$$

(13)

where $\rho$ is the fractal dimension. In order to find the exact traveling wave solutions of Equation (13), we introduce the complex wave transformations as follows:

$$\left\{\begin{array}{c}u(x,t)=U\left(\xi \right),\hfill \\ \eta (x,t)=V\left(\xi \right),\hfill \\ {\xi }^{\rho }=x^{\rho }+x_0^{\rho }+C_s^{\rho }{t}^{\rho },\hfill \end{array}\right.$$

(14)

where $x_0$ and $C_s$ are constant and

$$\underset{\rho \to 1}{lim}\xi =x+x_0-C_{s}t.$$

(15)

According to the definition and properties of local fractional derivatives, we obtain

$$\begin{array}{cc}\hfill & \frac{{\partial }^{\rho }\eta (x,t)}{\partial t^{\rho }}=\frac{{\partial }^{\rho }V\left(\xi \right)}{\partial {\xi }^{\rho }}{(\frac{\partial \xi }{\partial t})}^{\rho }=-C_s^{\rho }\frac{{\partial }^{\rho }V\left(\xi \right)}{\partial {\xi }^{\rho }},\hfill \\ \hfill & \frac{{\partial }^{\rho }u(x,t)}{\partial x^{\rho }}=\frac{{\partial }^{\rho }U\left(\xi \right)}{\partial {\xi }^{\rho }}{(\frac{\partial \xi }{\partial x})}^{\rho }=\frac{{\partial }^{\rho }U\left(\xi \right)}{\partial {\xi }^{\rho }},\hfill \\ \hfill & \frac{{\partial }^{\rho }\eta (x,t)}{\partial x^{\rho }}=\frac{{\partial }^{\rho }V\left(\xi \right)}{\partial {\xi }^{\rho }},\hfill \\ \hfill & \frac{{\partial }^{3\rho }\eta (x,t)}{\partial x^{3\rho }}=\frac{{\partial }^{3\rho }U\left(\xi \right)}{\partial {\xi }^{3\rho }},\hfill \\ \hfill & \frac{{\partial }^{\rho }u(x,t)}{\partial t^{\rho }}=\frac{{\partial }^{\rho }U\left(\xi \right)}{\partial {\xi }^{\rho }}{(\frac{\partial \xi }{\partial t})}^{\rho }=-C_s^{\rho }\frac{{\partial }^{\rho }U\left(\xi \right)}{\partial {\xi }^{\rho }},\hfill \\ \hfill & \frac{{\partial }^{3\rho }\eta (x,t)}{\partial t^{2\rho }\partial t^{\rho }}=\frac{{\partial }^{3\rho }V\left(\xi \right)}{\partial {\xi }^{3\rho }}{(\frac{\partial \xi }{\partial x})}^{2\rho }{(\frac{\partial \xi }{\partial t})}^{\rho }=-C_s^{\rho }\frac{{\partial }^{3\rho }V\left(\xi \right)}{\partial {\xi }^{3\rho }},\hfill \\ \hfill & \frac{{\partial }^{3\rho }u(x,t)}{\partial t^{2\rho }\partial t^{\rho }}=\frac{{\partial }^{3\rho }U\left(\xi \right)}{\partial {\xi }^{3\rho }}{(\frac{\partial \xi }{\partial x})}^{2\rho }{(\frac{\partial \xi }{\partial t})}^{\rho }=-C_s^{\rho }\frac{{\partial }^{3\rho }U\left(\xi \right)}{\partial {\xi }^{3\rho }}.\hfill \end{array}$$

(16)

By substituting Equation (16) into Equation (13), the local fractional nonlinear ordinary differential equations are given:

$$\begin{array}{cc}\hfill & -C_s^{\rho }\frac{{\partial }^{\rho }V\left(\xi \right)}{\partial {\xi }^{\rho }}+\frac{{\partial }^{\rho }U\left(\xi \right)}{\partial {\xi }^{\rho }}+V\left(\xi \right)\frac{{\partial }^{\rho }U\left(\xi \right)}{\partial {\xi }^{\rho }}+U\left(\xi \right)\frac{{\partial }^{\rho }V\left(\xi \right)}{\partial {\xi }^{\rho }}\hfill \\ \hfill & +a\frac{{\partial }^{3\rho }U\left(\xi \right)}{\partial {\xi }^{3\rho }}+b{C}_s^{\rho }\frac{{\partial }^{3\rho }V\left(\xi \right)}{\partial {\xi }^{3\rho }}=0,\hfill \end{array}$$

(17)

$$\begin{array}{cc}\hfill & -C_s^{\rho }\frac{{\partial }^{\rho }U\left(\xi \right)}{\partial {\xi }^{\rho }}+\frac{{\partial }^{\rho }V\left(\xi \right)}{\partial {\xi }^{\rho }}+U\left(\xi \right)\frac{{\partial }^{\rho }U\left(\xi \right)}{\partial {\xi }^{\rho }}\hfill \\ \hfill & +c\frac{{\partial }^{3\rho }V\left(\xi \right)}{\partial {\xi }^{3\rho }}+d{C}_s^{\rho }\frac{{\partial }^{3\rho }U\left(\xi \right)}{\partial {\xi }^{3\rho }}=0,\hfill \end{array}$$

(18)

Because of the chain rule of the LFD (see M2), Equations (17) and (18) become

$$\begin{array}{cc}\hfill & \frac{d^{\rho }}{d{\xi }^{\rho }}[-C_s^{\rho }V\left(\xi \right)]+\frac{d^{\rho }}{d{\xi }^{\rho }}\left[U\left(\xi \right)\right]+\frac{d^{\rho }}{d{\xi }^{\rho }}\left[U\left(\xi \right)V\left(\xi \right)\right]\hfill \\ \hfill & +a\frac{{\partial }^{3\rho }U\left(\xi \right)}{\partial {\xi }^{3\rho }}+b{C}_s^{\rho }\frac{{\partial }^{3\rho }V\left(\xi \right)}{\partial {\xi }^{3\rho }}=0,\hfill \end{array}$$

(19)

$$\begin{array}{cc}\hfill & \frac{d^{\rho }}{d{\xi }^{\rho }}[-C_s^{\rho }U\left(\xi \right)]+\frac{d^{\rho }}{d{\xi }^{\rho }}\left[V\left(\xi \right)\right]+\frac{d^{\rho }}{d{\xi }^{\rho }}[\frac{1}{2}{U}^2\left(\xi \right)]\hfill \\ \hfill & +c\frac{{\partial }^{3\rho }V\left(\xi \right)}{\partial {\xi }^{3\rho }}+d{C}_s^{\rho }\frac{{\partial }^{3\rho }U\left(\xi \right)}{\partial {\xi }^{3\rho }}=0.\hfill \end{array}$$

(20)

where the local fractional derivatives are with respect to $\xi$. Because we are looking for the solutions of a solitary wave, meaning that the solutions are asymptotically small as they move away from their peaks and thus $\left(U\right(\xi ),V(\xi \left)\right)\to 0$, as $\xi \to +\infty$, Equations (19) and (20) can be integrated once to yield

$$\begin{array}{cc}\hfill & [-C_s^{\rho }+U\left(\xi \right)]V\left(\xi \right)+b{C}_s^{\rho }\frac{{\partial }^{2\rho }V\left(\xi \right)}{\partial {\xi }^{2\rho }}=-U\left(\xi \right)-a\frac{{\partial }^{2\rho }U\left(\xi \right)}{\partial {\xi }^{2\rho }},\hfill \end{array}$$

(21)

$$\begin{array}{cc}\hfill & V\left(\xi \right)+c\frac{{\partial }^{2\rho }V\left(\xi \right)}{\partial {\xi }^{2\rho }}=C_s^{\rho }U\left(\xi \right)-\frac{1}{2}{U}^2\left(\xi \right)-d{C}_s^{\rho }\frac{{\partial }^{2\rho }U\left(\xi \right)}{\partial {\xi }^{2\rho }}.\hfill \end{array}$$

(22)

Suppose that $U\left(\xi \right)$ and $V\left(\xi \right)$ are proportional to each other, namely $U\left(\xi \right)=BV\left(\xi \right)$ with B being a constant. We can obtain

$$\begin{array}{cc}\hfill & [-C_s^{\rho }B-B^2]V\left(\xi \right)-(b{C}_s^{\rho }B+a{B}^2)\frac{{\partial }^{2\rho }U\left(\xi \right)}{\partial {\xi }^{2\rho }}=B^2{V}^2\left(\xi \right),\hfill \end{array}$$

(23)

$$\begin{array}{cc}\hfill & [2C_s^{\rho }B-2]V\left(\xi \right)-(2d{C}_s^{\rho }B+2c)\frac{{\partial }^{2\rho }U\left(\xi \right)}{\partial {\xi }^{2\rho }}=B^2{V}^2\left(\xi \right).\hfill \end{array}$$

(24)

For the sake of Equations (23) and (24) having nontrivial solitary wave solutions, the two equations must be the same, which implies

$$\begin{array}{cc}\hfill & B^2+C_s^{\rho }B-2,\hfill \end{array}$$

(25)

$$\begin{array}{cc}\hfill & a{B}^2+(b-2d)C_s^{\rho }-2c=0.\hfill \end{array}$$

(26)

A system of Equations (25) and (26) is linear with respect to the unknowns $B^2$ and $C_s^{\rho }B$, whose solutions depend on the values of $a,b,c$ and d as follows [27,28,29]:

Case 1: If $a-b+2d\ne 0$, then there is only one solution for $B^2=2(-b+c+2d)/(a-b+2d)$ and $C_s^{\rho }B=2-B^2$ to find out.

Case 2: If $a-b+2d=0$ and $a=c$, then there are infinitely many solutions, which reads as $C_s^{\rho }B=2-B^2$, where $B^2$ is arbitrary.

Case 3: If $a-b+2d=0$ and $a\ne c$, then there is no solution.

In the case of Equations (25) and (26), by taking the derivative of Equations (23) and (24) and using Equations (25) and (26), we find that this satisfies

$$2(1-B^2)V^{\prime }\left(\xi \right)-[(a-b)B^2+2b]\frac{{\partial }^{3\rho }U\left(\xi \right)}{\partial {\xi }^{3\rho }}=2B^{2}V\left(\xi \right)V^{\prime }\left(\xi \right),$$

(27)

The solution to Equation (27) can be obtained by using the following lemma [30], which can be found in many standard works:

Lemma 1. 

Let $\alpha ,\beta$ be real constants. The following equation has a solitary wave solution if $\alpha \beta >0$ such that

$$\alpha {\eta }^{\prime }\left(\xi \right)-\beta {\eta }^{‴}\left(\xi \right)=\eta \left(\xi \right){\eta }^{\prime }\left(\xi \right).$$

(28)

Moreover, the solitary wave solution can be obtained:

$$\beta \left(\xi \right)=3\alpha {\mathrm{sech}}^2(\frac{1}{2}\sqrt{\frac{\alpha }{\beta }}(\xi +{\xi }_0)),$$

(29)

where ${\xi }_0$ is an arbitrary constant. Therefore, with the help of the above lemma, Equation (27) is satisfied:

$$(B^2-1)((b-a)B^2-2b)>0,$$

(30)

Notice that $B=0$ is not a solution to Equations (25) and (26), so the traveling wave’s exact solution to the bidirectional wave equation is as follows:

$$\begin{array}{cc}\hfill & V\left(\xi \right)=\frac{3(1-B^2)}{B^2}{\mathrm{sech}}_{\rho }^2[\frac{1}{2}\sqrt{\frac{2(1-B^2)}{(a-b)B^2+2b}}(x^{\rho }+x_0^{\rho }-C_s^{\rho }{t}^{\rho })],\hfill \end{array}$$

(31)

$$\begin{array}{cc}\hfill & U\left(\xi \right)=BV\left(\xi \right).\hfill \end{array}$$

(32)

The above solutions can be written in a more familiar form. Let

$${\eta }_0=\frac{3(1-B^{2)}}{B^2},$$

(33)

Therefore, the exact traveling wave solution can be expressed as follows:

$$\begin{array}{cc}\hfill & v(x,t)={\eta }_0{\mathrm{sech}}_{\rho }^2\left(\lambda (x^{\rho }+x_0^{\rho }-C_s^{\rho }{t}^{\rho })\right),\hfill \\ \hfill & u(x,t)=\pm \sqrt{\frac{3}{{\eta }_0+3}}{\eta }_0{\mathrm{sech}}_{\rho }^2\left(\lambda (x^{\rho }+x_0^{\rho }-C_s^{\rho }{t}^{\rho })\right),\hfill \end{array}$$

(34)

where $C_s^{\rho }=\frac{3+2{\eta }_0}{\pm \sqrt{3(3+{\eta }_0)}}$, $\lambda =\frac{1}{2}\sqrt{\frac{2{\eta }_0}{3(a+b)+2b{\eta }_0}}$.

4. Discussion of the Solutions

For the convenience of drawing and analysis, we assume that $x_0=0$. Then, Equation (34) becomes

$$\begin{array}{cc}\hfill & v(x,t)={\eta }_0{\mathrm{sech}}_{\rho }^2\left(\lambda (x^{\rho }-C_s^{\rho }{t}^{\rho })\right),\hfill \\ \hfill & u(x,t)=\pm \sqrt{\frac{3}{{\eta }_0+3}}{\eta }_0{\mathrm{sech}}_{\rho }^2\left(\lambda (x^{\rho }-C_s^{\rho }{t}^{\rho })\right).\hfill \end{array}$$

(35)

When $\lambda =\frac{1}{2}$, ${\eta }_0=3$, then $C_s^{\rho }=\frac{3}{\sqrt{2}}$, the Equation(35) is rewritten as

$$\begin{array}{cc}\hfill & v(x,t)=3{\mathrm{sech}}_{\rho }^2[\frac{1}{2}(x^{\rho }-\frac{3}{\sqrt{2}}{t}^{\rho })],\hfill \\ \hfill & u(x,t)=3\frac{1}{\sqrt{2}}{\mathrm{sech}}_{\rho }^2[\frac{1}{2}(x^{\rho }-\frac{3}{\sqrt{2}}{t}^{\rho })].\hfill \end{array}$$

(36)

By selecting appropriate parameters, the images of the exact traveling wave solutions of bidirectional wave equations and the interaction with two solitons are drawn as shown in Figure 1 and Figure 2.

It can be seen from Figure 1 that pulse heights of $u(x,t)$ and $v(x,t)$ were within the range of [1.5, 4.5] and [1.5, 4], respectively. Similarly, after the interaction of the two solitons, a pulse height within the range of [1.5, 4.5] was added.

When $\lambda =\frac{1}{2}$, ${\eta }_0=9$, and $C_s^{\rho }=\frac{7}{2}$, the Equation (35) is rewritten as

$$\begin{array}{cc}\hfill & v(x,t)=9{\mathrm{sech}}_{\rho }^2[\frac{1}{2}(x^{\rho }-\frac{7}{2})],\hfill \\ \hfill & u(x,t)=\frac{9}{2}{\mathrm{sech}}_{\rho }^2[\frac{1}{2}(x^{\rho }-\frac{7}{2})],\hfill \end{array}$$

(37)

To further investigate the effect of the changing parameters on the exact traveling wave solution of the bidirectional wave equation and the interaction of the two solitons, increasing the velocity parameters, Figure 3 and Figure 4 were obtained.

For the bidirectional wave model, the wave phenomenon described by the local fractional was more accurate, and the numerical simulation results were more suitable for real life.

From Figure 1 and Figure 3, we can clearly see that the bidirectional wave equations can describe fractal waves during the bidirectional propagation of fluid in a waterway. In addition to the physical quantities $u(x,t)$ and $v(x,t)$ forming a pulse, a soliton pulse formed as the time domain expanded. By changing ${\eta }_0$ in Equation (33), we obtained Figure 1 and Figure 3. By comparing Figure 1 and Figure 3, it is easy to find that the pulse height of $u(x,t)$ or $v(x,t)$ was higher with the propagation speeds of the waves. In Figure 2 and Figure 4, we show the elastic interaction between two solitons. It can be seen that both solitons maintained their initial velocities and shapes after the interaction. The strength of interaction between the solitons decreased with the increase in soliton spacing.

5. Conclusions

In this study, we first extended the theory of local fractional derivatives and local fractional integrals to a bidirectional propagation system of nonlinear diffusion waves in water channels. We obtained the fractal diagram of the functions with the help of the drawing toolbox in MATLAB (R2019a). The exact traveling 3D figures were given. The propagation process and interaction characteristics of the two solitons described by the bidirectional propagation system were analyzed and discussed. The results show that the characteristic solutions reflected the interaction of fractal waves in nonlinear diffusion waves in waterways. However, there were many practical factors such as the pressure, eddy current and resistance that were not taken into account, and these factors will have an impact on the results, which should be taken into account in the follow-up study. In conclusion, the study of bidirectional propagation system nonlinear local fractional-order equations is of great significance to describing the characteristics of special fractal functions.