Next Article in Journal
Existence of Multiple Weak Solutions to a Discrete Fractional Boundary Value Problem
Previous Article in Journal
On the Timelike Circular Surface and Singularities in Minkowski 3-Space
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

High-Performance Computational Method for an Extended Three-Coupled Korteweg–de Vries System

School of Mathematics and Statistics, Ningxia University, Yinchuan 750021, China
*
Author to whom correspondence should be addressed.
Axioms 2023, 12(10), 990; https://doi.org/10.3390/axioms12100990
Submission received: 31 August 2023 / Revised: 10 October 2023 / Accepted: 12 October 2023 / Published: 19 October 2023
(This article belongs to the Topic Numerical Methods for Partial Differential Equations)

Abstract

:
This paper calculates numerical solutions of an extended three-coupled Korteweg–de Vries system by the q-homotopy analysis transformation method (q-HATM), which is a hybrid of the Laplace transform and the q-homotopy analysis method. Multiple investigations inspecting planetary oceans, optical cables, and cosmic plasma have employed the KdV model, significantly contributing to its development. The uniqueness, convergence, and maximum absolute truncation error of this algorithm are demonstrated. A numerical simulation has been performed to validate the accuracy and validity of the proposed approach. With high accuracy and few algorithmic processes, this algorithm supplies a series solution in the form of a recursive relation.

1. Introduction

In the past two decades, nonlinear science has begun to appear in modern mathematics, physics, engineering technology, and other important fields [1,2,3,4]. Presently, the primary topic of research in many categories, which include natural science and engineering technology, has shifted from linear problems to nonlinear problems. Such a form of complex problem necessitates extensive research and faces distinct difficulties. However, the study of nonlinear PDEs [5,6,7,8,9] has already started to encounter problems. In physics, fluid mechanics, communication technology, material science, dynamical systems, and biology, nonlinear coupled PDEs are commonly implemented. As a consequence, understanding how to solve nonlinear PDEs has both important theoretical and practical consequences.
Traditional numerical methods require more computer memory to calculate numerical solutions. This means that the semi-analytical technique and the Laplace transform eliminate the time-consuming drawbacks and need less CPU processing time while analyzing the numerical solutions of nonlinear phenomena in the actual world. A hybrid of the homotopy polynomials, the Laplace transform, and the q-HAM [10,11,12,13,14] is the q-HATM [15,16,17,18,19]. We analyze the uniqueness, convergence, and utmost absolute error [20,21] of q-HATM solutions. This algorithm has the advantages of both methods.
This article is going to investigate the extended three-coupled Korteweg–de Vries system [22,23,24],
u t = β 1 u x x x + β 2 u x v + β 2 u v x , v t = β 1 β 3 v x x x + 2 β 2 β 3 v v x β 2 w x , w t = β 1 w x x x + β 2 v w x 2 β 2 u u x ,
with real differentiable functions associated with variables x and t including u, v, and w, while β 1 , β 2 , and β 3 are three non-zero real constants. In investigations of planetary oceans, optical fibers, and cosmic plasma, the KdV model has been extensively employed.
The main framework of this paper is as follows. The fundamental concepts of the sub-equation method [25,26,27] and the q-HATM are outlined in Section 2; the uniqueness and convergence of numerical solutions are also confirmed. The extended three-coupled Korteweg–de Vries system is discussed in Section 3 along with its analytical and numerical solutions. Section 4 shows the numerical results and comments. Section 5 concludes by providing some recommendations and outlining the key findings.

2. Analysis of the Presented Methodology

2.1. The Sub Equation Method

The Riccati equation is the foundation of the sub equation approach,
ψ ( η ) = α + ψ 2 ( η ) .
When it comes to a particular PDE with two variables,
F ( x , t , u t , u x , u x x , ) = 0 ,
the travelling wave solution [25,26,27] is
η = b t + x , u ( x , t ) = U ( η ) ,
in this case, b is a constant that will be explained further.
Substituting Equation (4) into Equation (3), the following equation is established,
G ( U ( η ) , U ( η ) , ) = 0 .
Presumptive analytical solutions of Equation (5) are as follows:
U ( η ) = i = 0 N a i ψ i ( η ) , a N 0 ,
The principle of balance can be employed for estimating a positive integer N, and the coefficients a i ( 0 i N ) will be calculated afterward.
Equation (2) possesses five types of analytical solutions, which are listed below,
ψ ( η ) = α tan h ( α η ) , α < 0 , α cot h ( α η ) , α < 0 , 1 η , α = 0 , α tan ( α η ) , α > 0 , α cot ( α η ) , α > 0 .
With the help of the previously mentioned results, we can formulate equations for b and a i ( i = 1 , 2 , , N ) by juggling the coefficients of a polynomial describing ψ ( η ) . Then, we get the analytical solutions of Equation (3).

2.2. Fundamental Plan of the q-HATM

The following introduces [15,16,17,18,19] the basic idea of the q-HATM for nonlinear PDEs, assuming that the PDEs have the following form,
u t ( x , t ) + N u ( x , t ) + R u ( x , t ) = f ( x , t ) ,
where N is Lipschitz continuous and a nonlinear differential operator. The linear differential operator R is bounded, meaning that given a number μ , we acquire R u μ u . The source term is f ( x , t ) . Applying the Laplace transform to Equation (8), we have
s L [ u ( x , t ) ] + L [ N u ( x , t ) ] + L [ R u ( x , t ) ] = u ( x , 0 ) + L [ f ( x , t ) ] ,
The simplification of Equation (9) gives
L [ u ( x , t ) ] + 1 s L [ N u ( x , t ) + R u ( x , t ) f ( x , t ) ] 1 s u ( x , 0 ) = 0 .
The following is the nonlinear operator,
B [ Θ ( x , t ; q ) ] = L [ Θ ( x , t ; q ) ] + 1 s L [ N Θ ( x , t ; q ) + R Θ ( x , t ; q ) f ( x , t ) ] 1 s Θ ( x , t ; q ) ( 0 + ) ,
where the real function of q, x, and t is Θ ( x , t ; q ) and q [ 0 , 1 n ] ( n 1 ) is an embedding parameter. The q-HATM supplies the following non-zero auxiliary function,
( 1 n q ) L [ Θ ( x , t ; q ) u 0 ( x , t ) ] = q H ( x , t ) B [ Θ ( x , t ; q ) ] ,
where the Laplace transform is designated by L , the initial guess of u ( x , t ) is represented as u 0 ( x , t ) , and the auxiliary parameter 0 . In the following, we present the conclusions for q = 1 n and q = 0 , respectively,
Θ ( x , t ; 1 n ) = u ( x , t ) , Θ ( x , t ; 0 ) = u 0 ( x , t ) .
The solutions Θ ( x , t ; q ) converge to solutions u ( x , t ) from the initial guess u 0 ( x , t ) as the embedding parameter q increases from 0 to 1 n . Employing Taylor’s theorem [28] about q, the series expansion of function Θ ( x , t ; q ) is given,
Θ ( x , t ; q ) = u 0 ( x , t ) + l = 1 u l ( x , t ) q l ,
where
u l ( x , t ) = 1 l ! l Θ ( x , t ; q ) q l | q = 0 .
If Equation (14) converges at q = 1 n and the initial guess u 0 , asymptotic parameter n, and auxiliary parameter values are set appropriately,
u ( x , t ) = lim q 1 n Θ ( x , t ; q ) = l = 0 u l ( x , t ) ( 1 n ) l .
Dividing Equation (12) by l ! after differentiating it l times concerning q. Finalize by taking q = 0 and becoming,
L [ u l ( x , t ) k l u l 1 ( x , t ) ] = H ( x , t ) R l ( u l 1 ) ,
here
u l = u 0 , u 1 , u l .
The inverse Laplace transform acts on Equation (17), which becomes
u l ( x , t ) = k l u l 1 ( x , t ) + H ( x , t ) L 1 [ R l ( u l 1 ) ] ,
where
R l ( u l 1 ) = 1 ( l 1 ) ! l 1 B ( Θ ( x , t ; q ) ) q l 1 | q = 0 , k l = 0 , l 1 , n , l > 1 .
To acquire the iteration terms of u l ( x , t ) , our suggested technique employs homotopy polynomials to provide a unique correction function. The numerical solutions for q-HATM series are
u [ M ] ( x , t ) = l = 0 M u l ( x , t ) ( 1 n ) l .

2.3. Convergence Analysis of the q-HATM

The recommended approach has been employed during this study to investigate the convergence of Equation (8).
Theorem 1
(Uniqueness theorem). For any α in ( 0 , 1 ) , where γ = ( λ + μ ) T + n + , the solution of Equation (8) generated employing the q-HATM is unique.
Proof. 
The solution to Equation (8) is expressed as
u ( x , t ) = l = 0 u l ( x , t ) ( 1 n ) l ,
where
u l ( x , t ) = L 1 [ 1 s L [ N u ( x , t ) + R u ( x , u ) ] ] + ( k l + ) u l 1 ( x , t ) ( 1 k l n ) 1 s [ u ( x , 0 ) + f ( x , t ) ] .
Assuming that the two solutions to Equation (8) are u and u , the above equation yields the following result:
| u u | = | L 1 [ 1 s L [ N ( u u ) + R ( u u ) ] ] + ( n + ) ( u u ) | .
It follows from the Laplace convolution theorem [29] that we possess
| u u | 0 t ( | N ( u u ) | + | R ( u u ) | ) ( t τ ) d τ + ( n + ) | u u | 0 t ( λ + μ ) | u u | ( t τ ) d τ + ( n + ) | u u | .
Further, making use of the integral mean value theorem [30],
| u u | ( λ + μ ) | u u | T + ( n + ) | u u | γ | u u | ,
where γ = ( λ + μ ) T + n + . This means that,
| u u | γ | u u | ( γ 1 ) | u u | 0 ,
as 0 < γ < 1 ; then, u = u . As a result, Equation (8) has a unique solution. □
Theorem 2
(Convergence theorem). Considering that Q : X X is a nonlinear mapping, alongside X, in this case, being a Banach space, this allows for
Q ( u ) Q ( w ) γ u w , u , w X .
In line with Banach’s theory [31] of fixed points, Q has a fixed point. The sequence generated via the q-HATM similarly converges to the fixed point of Q for u 0 and w 0 , which has been selected at random among X, and
u l u n γ n 1 γ u 1 u 0 , u 0 , w 0 X .
Proof. 
The norm is denoted by g ( t ) =max t J | g ( t ) | . The Banach space ( C [ J ] , . ) includes continuous functions performed on J. As previously mentioned, the sequence u n is a Cauchy-like sequence in the Banach space X,
u l u n = m a x t J | u l u n | = m a x t J | L 1 [ 1 s L [ N ( u l 1 u n 1 ) + R ( u l 1 u n 1 ) ] ] + ( n + ) ( u l 1 u n 1 ) | m a x t J [ L 1 [ 1 s L [ | N ( u l 1 u n 1 ) | + | R ( u l 1 u n 1 ) | ] ] + ( n + ) | u l 1 u n 1 | ] .
The Laplace transform’s convolution theorem allows the following:
u l u n m a x t J [ 0 t [ | N ( u l 1 u n 1 ) | + | R ( u l 1 u n 1 ) | ] ( t τ ) d τ + ( n + ) | u l 1 u n 1 | ] m a x t J [ 0 t [ [ ( λ + μ ) | u l 1 u n 1 | ] ( t τ ) d τ + ( n + ) | u l 1 u n 1 | ] .
Following that, implementing the integral mean value theorem,
u l u n m a x t J [ ( λ + μ ) | u l 1 u n 1 | T + ( n + ) | u l 1 u n 1 | ] γ u l 1 u n 1 γ = ( λ + μ ) T + n + .
If l = n + 1 , then the situation is as follows:
u n + 1 u n γ u n u n 1 γ 2 u n 1 u n 2 γ n u 1 u 0 .
Employing the trigonometric inequality produces
u l u n = u n + 1 u n + u n + 2 u n + 1 + + u l u l 1 u n + 1 u n + u n + 2 u n + 1 + + u l u l 1 [ γ n + γ n + 1 + + γ l 1 ] u 1 u 0 γ n × [ 1 + γ + + γ l n 1 ] u 1 u 0 γ n × 1 γ l n 1 1 γ u 1 u 0 .
Since 0 < γ < 1 , then 1 γ l n 1 < 1 , and we have
u l u n γ n 1 γ u 1 u 0 .
However, u 1 u 0 < , so as l , then u l u n 0 . Given that all Cauchy sequences are convergent, the sequence u n in the Banach space C [ J ] is a Cauchy sequence. □
Theorem 3.
The utmost absolute truncation error will be calculated as follows if there is a real number 0 < γ < 1 and u l + 1 γ u l is satisfied:
u ( x , t ) u [ M ] ( x , t ) γ M + 1 n M ( n γ ) u 0 ( x , t ) .
Proof. 
Given the values of n ( n 1 ) and ( 0 ) , we have
u ( x , t ) u [ M ] ( x , t ) = l = 0 u l ( x , t ) ( 1 n ) l l = 0 M u l ( x , t ) ( 1 n ) l l = M + 1 u l ( x , t ) ( 1 n ) l l = M + 1 γ l u 0 ( x , t ) ( 1 n ) l l = M + 1 ( γ n ) l u 0 ( x , t ) ( γ n ) M + 1 [ 1 + γ n + ( γ n ) 2 + ] u 0 ( x , t ) ( γ n ) M + 1 1 1 γ n u 0 ( x , t ) = γ M + 1 n M ( n γ ) u 0 ( x , t ) .
This proof of the theorem has now been finished. □

3. Applications of the Extended Three-Coupled Korteweg–de Vries System

3.1. Analytical Solutions for Equation (1)

We right now utilize the sub equation approach to discover the analytical solutions to Equation (1). As a consequence, we perform the wave transformation described below,
η = b t + x , u ( x , t ) = U ( η ) , v ( x , t ) = V ( η ) , w ( x , t ) = W ( η ) .
Here are the simplified ODEs that result from inserting Equation (38) into Equation (1),
b U = β 1 U + β 2 U V + β 2 U V , b V = β 1 β 3 V + 2 β 2 β 3 V V β 2 W , b W = β 1 W + β 2 V W 2 β 2 U U .
The homogeneous balance between the nonlinear item and the highest-order derivative has to be obtained by Equation (39), which results in the following solutions,
U ( η ) = a 0 + a 1 ψ ( η ) + a 2 ψ 2 ( η ) , V ( η ) = b 0 + b 1 ψ ( η ) + b 2 ψ 2 ( η ) , W ( η ) = c 0 + c 1 ψ ( η ) + c 2 ψ 2 ( η ) .
The following solutions are derived by computing the system of equations created by substituting Equation (40) into Equation (39),
a 0 = a 2 ( 144 α β 1 3 18 b 0 β 1 2 β 2 + a 2 2 β 2 3 + 144 α β 1 3 β 3 + 36 b 0 β 1 2 β 2 β 3 ) 108 β 1 3 , a 1 = 0 , b 2 = 6 β 1 β 2 , c 2 = a 2 2 β 2 3 β 1 , b 1 = 0 , c 1 = 0 , b = a 2 2 β 2 3 + 144 α β 1 3 β 3 + 36 b 0 β 1 2 β 2 β 3 18 β 1 2 ,
where a 2 , b 0 , and c 0 are arbitrary constants. In other words, we acquire three different travelling wave solutions for Equation (1): a soliton solution with α < 0 ,
u ( x , t ) = a 2 ( 144 α β 1 3 18 b 0 β 1 2 β 2 + a 2 2 β 2 3 + 144 α β 1 3 β 3 + 36 b 0 β 1 2 β 2 β 3 ) 108 β 1 3 a 2 α tan h 2 ( α ( x + a 2 2 β 2 3 + 144 α β 1 3 β 3 + 36 b 0 β 1 2 β 2 β 3 18 β 1 2 t ) ) , v ( x , t ) = b 0 + 6 β 1 β 2 α tan h 2 ( α ( x + a 2 2 β 2 3 + 144 α β 1 3 β 3 + 36 b 0 β 1 2 β 2 β 3 18 β 1 2 t ) ) , w ( x , t ) = c 0 a 2 2 β 2 3 β 1 α tan h 2 ( α ( x + a 2 2 β 2 3 + 144 α β 1 3 β 3 + 36 b 0 β 1 2 β 2 β 3 18 β 1 2 t ) ) ,
a periodic solution with α > 0 ,
u ( x , t ) = a 2 ( 144 α β 1 3 18 b 0 β 1 2 β 2 + a 2 2 β 2 3 + 144 α β 1 3 β 3 + 36 b 0 β 1 2 β 2 β 3 ) 108 β 1 3 + a 2 α tan 2 ( α ( x + a 2 2 β 2 3 + 144 α β 1 3 β 3 + 36 b 0 β 1 2 β 2 β 3 18 β 1 2 t ) ) , v ( x , t ) = b 0 6 β 1 β 2 α tan 2 ( α ( x + a 2 2 β 2 3 + 144 α β 1 3 β 3 + 36 b 0 β 1 2 β 2 β 3 18 β 1 2 t ) ) , w ( x , t ) = c 0 + a 2 2 β 2 3 β 1 α tan 2 ( α ( x + a 2 2 β 2 3 + 144 α β 1 3 β 3 + 36 b 0 β 1 2 β 2 β 3 18 β 1 2 t ) ) ,
and a rational solution with α = 0 ,
u ( x , t ) = a 2 ( 18 b 0 β 1 2 β 2 + a 2 2 β 2 3 + 36 b 0 β 1 2 β 2 β 3 ) 108 β 1 3 + a 2 ( 18 β 1 2 18 β 1 2 x + a 2 2 β 2 3 + 36 b 0 β 1 2 β 2 β 3 ) 2 , v ( x , t ) = b 0 6 β 1 β 2 ( 18 β 1 2 18 β 1 2 x + a 2 2 β 2 3 + 36 b 0 β 1 2 β 2 β 3 ) 2 , w ( x , t ) = c 0 + a 2 2 β 2 3 β 1 ( 18 β 1 2 18 β 1 2 x + a 2 2 β 2 3 + 36 b 0 β 1 2 β 2 β 3 ) 2 .

3.2. Numerical Solutions for Equation (1)

Take Equation (1), for example,
u t = β 1 u x x x + β 2 u x v + β 2 u v x , v t = β 1 β 3 v x x x + 2 β 2 β 3 v v x β 2 w x , w t = β 1 w x x x + β 2 v w x 2 β 2 u u x ,
with initial conditions
u ( x , 0 ) = a 2 ( 144 α β 1 3 18 b 0 β 1 2 β 2 + a 2 2 β 2 3 + 144 α β 1 3 β 3 + 36 b 0 β 1 2 β 2 β 3 ) 108 β 1 3 a 2 α tan h 2 ( α x ) , v ( x , 0 ) = b 0 + 6 β 1 β 2 α tan h 2 ( α x ) , w ( x , 0 ) = c 0 a 2 2 β 2 3 β 1 α tan h 2 ( α x ) .
When the starting conditions from Equation (46) are coupled with the Laplace transform from Equation (45), we obtain
L [ u ( x , t ) ] = 1 s L [ β 1 3 u x 3 + β 2 u x v + β 2 u v x ] + 1 s u ( x , 0 ) , L [ v ( x , t ) ] = 1 s L [ β 1 β 3 3 v x 3 + 2 β 2 β 3 v v x β 2 w x ] + 1 s v ( x , 0 ) , L [ w ( x , t ) ] = 1 s L [ β 1 3 w x 3 + β 2 v w x 2 β 2 u u x ] + 1 s w ( x , 0 ) .
The following formula is used to create the zero-order deformation equation, where i = 1 , 2 , 3 , and Θ i ( x , t ; q ) = Θ i , respectively,
( 1 n q ) L [ Θ 1 u 0 ( x , t ) ] = q H ( x , t ) B 1 ( Θ 1 , Θ 2 , Θ 3 ) , ( 1 n q ) L [ Θ 2 v 0 ( x , t ) ] = q H ( x , t ) B 2 ( Θ 1 , Θ 2 , Θ 3 ) , ( 1 n q ) L [ Θ 3 w 0 ( x , t ) ] = q H ( x , t ) B 3 ( Θ 1 , Θ 2 , Θ 3 ) .
The nonlinear operators are:
B 1 1 ( Θ 1 , Θ 2 , Θ 3 ) = L [ Θ 1 ] 1 s u ( x , 0 ) 1 s L [ β 1 3 Θ 1 x 3 + β 2 Θ 1 x Θ 2 + β 2 Θ 1 Θ 2 x ] , B 2 2 ( Θ 1 , Θ 2 , Θ 3 ) = L [ Θ 2 ] 1 s v ( x , 0 ) 1 s L [ β 1 β 3 3 Θ 2 x 3 + 2 β 2 β 3 Θ 2 Θ 2 x β 2 Θ 3 x ] , B 3 3 ( Θ 1 , Θ 2 , Θ 3 ) = L [ Θ 3 ] 1 s w ( x , 0 ) 1 s L [ Θ 1 3 Θ 3 x 3 + β 2 Θ 2 Θ 3 x 2 β 2 Θ 1 Θ 1 x ] .
The algorithm which has been proposed as follows has been employed to calculate the m-order deformation equation,
L [ u l ( x , t ) k l u l 1 ( x , t ) ] = R 1 , l ( u l 1 , v l 1 , w l 1 ) , L [ v l ( x , t ) k l v l 1 ( x , t ) ] = R 2 , l ( u l 1 , v l 1 , w l 1 ) , L [ w l ( x , t ) k l w l 1 ( x , t ) ] = R 3 , l ( u l 1 , v l 1 , w l 1 ) ,
where
R 1 , l ( u l 1 , v l 1 , w l 1 ) = L [ u l 1 ( x , t ) ] ( 1 k l n ) 1 s u ( x , 0 ) 1 s L [ β 1 3 u l 1 x 3 + β 2 k = 0 l 1 v k u l 1 k x + β 2 k = 0 l 1 u k v l 1 k x ] , R 2 , l ( u l 1 , v l 1 , w l 1 ) = L [ v l 1 ( x , t ) ] ( 1 k l n ) 1 s v ( x , 0 ) 1 s L [ β 1 β 3 3 v l 1 x 3 + 2 β 2 β 3 k = 0 l 1 v k v l 1 k x β 2 w l 1 x ] , R 3 , l ( u l 1 , v l 1 , w l 1 ) = L [ w l 1 ( x , t ) ] ( 1 k l n ) 1 s w ( x , 0 ) 1 s L [ β 1 3 w l 1 x 3 + β 2 k = 0 l 1 v k w l 1 k x 2 β 2 k = 0 l 1 u k u l 1 k x ] .
In Equation (50), we can utilize the inverse Laplace transform to deduce
u l ( x , t ) = k l u l 1 ( x , t ) + L 1 R 1 , l ( u l 1 , v l 1 , w l 1 ) , v l ( x , t ) = k l v l 1 ( x , t ) + L 1 R 2 , l ( u l 1 , v l 1 , w l 1 ) , w l ( x , t ) = k l w l 1 ( x , t ) + L 1 R 3 , l ( u l 1 , v l 1 , w l 1 ) .
The following results have been achieved by dealing with the equations provided earlier,
u 0 ( x , t ) = a 2 ( 144 α β 1 3 18 b 0 β 1 2 β 2 + a 2 2 β 2 3 + 144 α β 1 3 β 3 + 36 b 0 β 1 2 β 2 β 3 ) 108 β 1 3 a 2 α tan h 2 ( α x ) , v 0 ( x , t ) = b 0 + 6 β 1 β 2 α tan h 2 ( α x ) , w 0 ( x , t ) = c 0 a 2 2 β 2 3 β 1 α tan h 2 ( α x ) , u 1 ( x , t ) = α α a 2 h t tanh α x sec h 2 α x a 2 2 β 2 3 + 36 β 1 2 β 3 4 α β 1 + b 0 β 2 9 β 1 2 , v 1 ( x , t ) = 2 α α h t tanh α x sec h 2 α x a 2 2 β 2 3 + 36 β 1 2 β 3 4 α β 1 + b 0 β 2 3 β 1 β 2 , w 1 ( x , t ) = β 2 β 2 3 + 36 β 1 2 β 2 4 β 1 β 3 h t tanh ( x ) sec h 2 ( x ) 27 β 1 3 ,
Similar calculations can be carried out for the remaining iteration terms. Finally, the numerical solutions of Equation (45) are supplied as
u [ M ] ( x , t ) = u 0 ( x , t ) + l = 1 M u l ( x , t ) ( 1 n ) l , v [ M ] ( x , t ) = v 0 ( x , t ) + l = 1 M v l ( x , t ) ( 1 n ) l , w [ M ] ( x , t ) = w 0 ( x , t ) + l = 1 M w l ( x , t ) ( 1 n ) l .
As N , the numerical solutions for Equation (1) correspondingly converge to the analytical solutions of Equation (45) for n = 1 and = 1 .

4. Numerical Results and Simulation

With the q-HATM results in mind, the extended three-coupled Korteweg–de Vries system will be numerically simulated in this section. The comparisons between numerical solutions and analytical solutions generated by q-HATM with a five-term approximation are shown in Figure 1, Figure 2 and Figure 3. The absolute error function of Equation (1) is shown in Figure 4. The curves are shown in Figure 5, Figure 6 and Figure 7 for distinct n and x values. By altering the horizontal line in the curve, which symbolizes the convergence range of the extended coupled Korteweg–de Vries system, we may change the convergence range of the series solutions. Figure 5, Figure 6 and Figure 7 emphatically demonstrate that the numerical solutions converge in the intervals ( 2.1 , 0.1 ) and ( 3.8 , 0.2 ) for n = 1 and n = 2 , respectively. As a result, we discovered that the range of the permitted convergence interval is wider when n = 3 . Figure 5, Figure 6 and Figure 7 demonstrate that when the n value increases, the convergence range also does. The comparisons between numerical solutions and analytical solutions are displayed in Table 1, Table 2 and Table 3. These charts show the accuracy of the results of the proposed method.

5. Conclusions

In the current study, the q-HATM and the Laplace transform have been employed to evaluate numerical solutions of an extended coupled Korteweg–de Vries system. The suggested technique has the benefit of not necessitating any discretization, linearization, or interference. The asymptotic parameter n and auxiliary parameter have been incorporated in the numerical solutions of the q-HATM, which provides us with a rapid means to modify the convergence speed and range within the found series solutions. The numerical outcomes show what a successful, accurate, and robust procedure iteration is for solving PDEs. Finally, we can prove that the proposed method is more systematic and accurate, and it can be used to study the complicated processes of nonlinear phenomena.

Author Contributions

Conceptualization, P.W. and X.F.; software, P.W.; investigation, P.W.; data curation, X.F.; writing—original draft preparation, P.W.; writing—review and editing, P.W. and X.F.; supervision, X.F.; funding acquisition, X.F. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

The material of this article includes the data reported in this study.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Leung, A.W. Systems of Nonlinear Partial Differential Equations: Applications to Biology and Engineering; Springer Science Business Media: Dordrecht, The Netherlands, 2013. [Google Scholar]
  2. Inc, M.; Yusuf, A.; Aliyu, A.I.; Baleanu, D. Soliton solutions and stability analysis for some conformable nonlinear partial differential equations in mathematical physics. Opt. Quantum Electron. 2018, 50, 190. [Google Scholar] [CrossRef]
  3. Zayed, E.M.E.; Arnous, A.H. Exact Traveling Wave Solutions of Nonlinear PDEs in Mathematical Physics Using the Modified Simple Equation Method. Appl. Appl. Math. 2013, 8, 553–572. [Google Scholar]
  4. Boureghda, A. Numerical solution of the oxygen diffusion in absorbing tissue with a moving boundary. Commun. Numer. Methods Eng. 2006, 22, 933–942. [Google Scholar] [CrossRef]
  5. Botmart, T.; Alotaibi, B.M.; Shah, R.; El-Sherif, L.S.; El-Tantawy, S.A. A Reliable Way to Deal with the Coupled Fractional Korteweg-De Vries Equations within the Caputo Operator. Symmetry 2022, 14, 2452. [Google Scholar] [CrossRef]
  6. Aljahdaly, N.H.; Akgül, A.; Shah, R.; Mahariq, I.; Kafle, J. A comparative analysis of the fractional-order coupled Korteweg–De Vries equations with the Mittag–Leffler law. J. Math. 2022, 8876149–8876178. [Google Scholar] [CrossRef]
  7. Shah, N.A.; Alyousef, H.A.; El-Tantawy, S.A.; Shah, R.; Chung, J.D. Analytical investigation of fractional-order Korteweg-De-Vries-type equations under Atangana-Baleanu-Caputo operator: Modeling nonlinear waves in a plasma and fluid. Symmetry 2022, 14, 739. [Google Scholar] [CrossRef]
  8. Ma, W.-X. AKNS type reduced integrable bi-Hamiltonian hierarchies with four potentials. Appl. Math. Lett. 2023, 145, 108775. [Google Scholar] [CrossRef]
  9. Ma, W.-X. Four-component integrable hierarchies of Hamiltonian equations with (m+n+2)th-order Lax pairs. Theor. Math. Phys. 2023, 216, 1180–1188. [Google Scholar] [CrossRef]
  10. Liao, S. On the homotopy analysis method for nonlinear problems. Appl. Math. Comput. 2004, 147, 499–513. [Google Scholar] [CrossRef]
  11. Liao, S. Series solution of nonlinear eigenvalue problems by means of the homotopy analysis method. Nonlinear Anal. Real World Appl. 2009, 10, 2455–2470. [Google Scholar] [CrossRef]
  12. Liao, S.; Tan, Y. A general approach to obtain series solutions of nonlinear differential equations. Stud. Appl. Math. 2007, 119, 297–354. [Google Scholar] [CrossRef]
  13. Liao, S.J. An approximate solution technique which does not depend upon small parameters: A special example. Int. J. Non-Linear Mech. 1995, 30, 371–380. [Google Scholar] [CrossRef]
  14. El-Tawil, M.A.; Huseen, S.N. The Q-homotopy analysis method (QHAM). Int. J. Appl. Math. Mech. 2012, 8, 51–75. [Google Scholar]
  15. Zhao, Y.; Lin, Z.; Liu, Z. The improved homotopy analysis method for the Thomas–Fermi equation. Appl. Math Comput. 2012, 218, 8363–8369. [Google Scholar] [CrossRef]
  16. Mesloub, S.; Alsaud, H. Exploring the Efficiency of the q-Homotopy Analysis Transform Method for Solving a Fractional Initial Boundary Value Problem with a Nonlocal Condition. Axioms 2023, 12, 790. [Google Scholar] [CrossRef]
  17. Shah, R.; Khan, H.; Baleanu, D. Fractional Whitham–Broer–Kaup equations within modified analytical approaches. Axioms 2019, 8, 125. [Google Scholar] [CrossRef]
  18. Malagi, N.S.; Veeresha, P.; Prasannakumara, B.C.; Prasanna, G.D.; Prakasha, D.G. A new computational technique for the analytic treatment of time-fractional Emden Fowler equations. Math. Comput. Simul. 2021, 190, 362–376. [Google Scholar] [CrossRef]
  19. Veeresha, P.; Prakasha, D.G. A novel technique for (2+1)-dimensional time-fractional coupled Burgers equations. Math. Comput. Simul. 2019, 166, 324–345. [Google Scholar] [CrossRef]
  20. El-Tawil, M.A.; Huseen, S.N. On Convergence of q-Homotopy Analysis Method. Int. J. Contemp. Math. Sci. 2013, 8, 481–497. [Google Scholar] [CrossRef]
  21. Veeresha, P.; Prakasha, D.G.; Kumar, D. An efficient technique for nonlinear time-fractional Klein-Fock-Gordon equation. Appl. Math. Comput. 2020, 364, 124637. [Google Scholar] [CrossRef]
  22. Gao, X.Y.; Guo, Y.J.; Shan, W.-R.; Zhou, T.Y. Singular manifold, auto-Bäcklund transformations and symbolic-computation steps with solitons for an extended three-coupled Korteweg-de Vries system. Int. J. Geom. Methods Mod. Phys. 2022, 19, 2250229. [Google Scholar] [CrossRef]
  23. Gao, X.Y.; Guo, Y.J.; Shan, W.R.; Zhou, T.Y. Report on an extended three-coupled Korteweg-de Vries system. Ric. Mat. 2023. [Google Scholar] [CrossRef]
  24. Gao, X.Y.; Guo, Y.J.; Shan, W.R. Hetero-Bäcklund transformation, bilinear forms and N solitons for a generalized three-coupled Korteweg-de Vries system. Qual. Theory Dyn. Syst. 2021, 20, 87–98. [Google Scholar] [CrossRef]
  25. Ray, S.; Sahoo, S. New Exact Solutions of Fractional Zakharov-Kuznetsov and Modified Zakharov-Kuznetsov Equations Using Fractional Sub-Equation Method. Commun. Theor. Phys. 2015, 63, 25–30. [Google Scholar] [CrossRef]
  26. Senol, M. Analytical and approximate solutions of (2+1)-dimensional time-fractional Burgers-Kadomtsev-Petviashvili equation. Commun. Theor. Phys. 2020, 72, 055003. [Google Scholar] [CrossRef]
  27. Adel, M. Numerical simulations for the variable order two-dimensional reaction sub-diffusion equation: Linear and Nonlinear. Fractals 2022, 30, 2240019. [Google Scholar] [CrossRef]
  28. Odibat, Z.M.; Shawagfeh, N.T. Generalized Taylor’s formula. Appl. Math. Comput. 2007, 186, 286–293. [Google Scholar] [CrossRef]
  29. Podlubny, I. Fractional Differential Equations; Academic Press: New York, NY, USA, 1999. [Google Scholar]
  30. Nikonorov, Y.G. On the integral mean value theorem. Sib. Math. J. 1993, 34, 150–152. [Google Scholar] [CrossRef]
  31. Magrenan, A.A. A new tool to study real dynamics: The convergence plane. Appl. Math. Comput. 2014, 248, 215–224. [Google Scholar] [CrossRef]
Figure 1. (a) Numerical solutions. (b) Analytical solutions. (c) Comparison of numerical solutions and analytical solutions at n = 1 and = 1 for Equation (1).
Figure 1. (a) Numerical solutions. (b) Analytical solutions. (c) Comparison of numerical solutions and analytical solutions at n = 1 and = 1 for Equation (1).
Axioms 12 00990 g001
Figure 2. (a) Numerical solutions. (b) Analytical solutions. (c) Comparison of numerical solutions and analytical solutions at n = 1 and = 1 for Equation (1).
Figure 2. (a) Numerical solutions. (b) Analytical solutions. (c) Comparison of numerical solutions and analytical solutions at n = 1 and = 1 for Equation (1).
Axioms 12 00990 g002
Figure 3. (a) Numerical solutions. (b) Analytical solutions. (c) Comparison of numerical solutions and analytical solutions at n = 1 and = 1 for Equation (1).
Figure 3. (a) Numerical solutions. (b) Analytical solutions. (c) Comparison of numerical solutions and analytical solutions at n = 1 and = 1 for Equation (1).
Axioms 12 00990 g003
Figure 4. Surface of (a) absolute error = | u e x a . u n u m . | . (b) Absolute error = | v e x a . v n u m . | . (c) Absolute error = | w e x a . w n u m . | at n = 1 and = 1 of Equation (1).
Figure 4. Surface of (a) absolute error = | u e x a . u n u m . | . (b) Absolute error = | v e x a . v n u m . | . (c) Absolute error = | w e x a . w n u m . | at n = 1 and = 1 of Equation (1).
Axioms 12 00990 g004
Figure 5. When n = 1 and t = 0.01 , the outline of (a) numerical solutions u, (b) numerical solutions v, and (c) numerical solutions w with different x values.
Figure 5. When n = 1 and t = 0.01 , the outline of (a) numerical solutions u, (b) numerical solutions v, and (c) numerical solutions w with different x values.
Axioms 12 00990 g005
Figure 6. When n = 2 and t = 0.01 , the outline of (a) numerical solutions u, (b) numerical solutions v, and (c) numerical solutions w with different x values.
Figure 6. When n = 2 and t = 0.01 , the outline of (a) numerical solutions u, (b) numerical solutions v, and (c) numerical solutions w with different x values.
Axioms 12 00990 g006
Figure 7. When n = 3 and t = 0.01 , the outline of (a) numerical solutions u, (b) numerical solutions v, and (c) numerical solutions w with different x values.
Figure 7. When n = 3 and t = 0.01 , the outline of (a) numerical solutions u, (b) numerical solutions v, and (c) numerical solutions w with different x values.
Axioms 12 00990 g007
Table 1. Numerical results for numerical and analytical solutions of u ( x , t ) when n = 1 and = 1 .
Table 1. Numerical results for numerical and analytical solutions of u ( x , t ) when n = 1 and = 1 .
txNumericalExactAbsolute Error
0.1−10−0.25000001−0.25000001 1.99840 × 10 15
−5−0.25016025−0.25016025 4.51094 × 10 11
0−1.24610392−1.24610390 2.24716 × 10 8
5−0.25020576−0.25020576 4.70228 × 10 11
10−0.25000001−0.25000000 2.10942 × 10 15
0.2−10−0.25000001−0.25000001 6.45040 × 10 14
−5−0.25014142−0.25014142 1.41446 × 10 9
0−1.23453776−1.23453633 1.42947 × 10 6
5−0.25023315−0.25023315 1.53703 × 10 9
10−0.25000001−0.25000001 6.99441 × 10 14
Table 2. Numerical results for numerical and analytical solutions of v ( x , t ) when n = 1 and = 1 .
Table 2. Numerical results for numerical and analytical solutions of v ( x , t ) when n = 1 and = 1 .
txNumericalExactAbsolute Error
0.1−10−0.99999999−0.99999999 4.02223 × 10 15
−5−0.99967950−0.99967950 9.02187 × 10 11
00.992207850.99220780 4.49431 × 10 8
5−0.99958848−0.99958848 9.40457 × 10 11
10−0.99999998−0.99999998 4.20917 × 10 15
0.2−10−0.99999999−0.99999999 1.28923 × 10 13
−5−0.99971716−0.99971716 2.82892 × 10 9
00.969075520.96907266 2.85893 × 10 6
5−0.99953370−0.99953370 3.07407 × 10 9
10−0.99999998−0.99999998 1.39870 × 10 13
Table 3. Numerical results for numerical and analytical solutions of w ( x , t ) when n = 1 and = 1 .
Table 3. Numerical results for numerical and analytical solutions of w ( x , t ) when n = 1 and = 1 .
txNumericalExactAbsolute Error
0.1−101.999999991.99999999 2.01112 × 10 15
−51.999839751.99983975 4.51093 × 10 11
01.003896081.00389610 2.24716 × 10 8
51.999794241.99979424 4.70228 × 10 11
101.999999991.99999999 2.10459 × 10 15
0.2−101.999999991.99999999 6.44650 × 10 14
−51.999858581.99985858 1.41446 × 10 9
01.015462241.01546367 1.42947 × 10 6
51.999766851.99976685 1.53703 × 10 9
101.999999991.99999999 6.99350 × 10 14
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Wang, P.; Feng, X. High-Performance Computational Method for an Extended Three-Coupled Korteweg–de Vries System. Axioms 2023, 12, 990. https://doi.org/10.3390/axioms12100990

AMA Style

Wang P, Feng X. High-Performance Computational Method for an Extended Three-Coupled Korteweg–de Vries System. Axioms. 2023; 12(10):990. https://doi.org/10.3390/axioms12100990

Chicago/Turabian Style

Wang, Panpan, and Xiufang Feng. 2023. "High-Performance Computational Method for an Extended Three-Coupled Korteweg–de Vries System" Axioms 12, no. 10: 990. https://doi.org/10.3390/axioms12100990

APA Style

Wang, P., & Feng, X. (2023). High-Performance Computational Method for an Extended Three-Coupled Korteweg–de Vries System. Axioms, 12(10), 990. https://doi.org/10.3390/axioms12100990

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop