<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">AJCM</journal-id><journal-title-group><journal-title>American Journal of Computational Mathematics</journal-title></journal-title-group><issn pub-type="epub">2161-1203</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/ajcm.2021.113013</article-id><article-id pub-id-type="publisher-id">AJCM-112212</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  Quartic Non-Polynomial Spline for Solving the Third-Order Dispersive Partial Differential Equation
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Zaki</surname><given-names>Mrzog Alaofi</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Talaat</surname><given-names>Sayed Ali</given-names></name><xref ref-type="aff" rid="aff2"><sup>2</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Faisal</surname><given-names>Abd Alaal</given-names></name><xref ref-type="aff" rid="aff3"><sup>3</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Silvestru</surname><given-names>Sever Dragomir</given-names></name><xref ref-type="aff" rid="aff4"><sup>4</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib></contrib-group><aff id="aff2"><addr-line>Department of Mathematics, Faculty of Sciences and Arts, Taibah University, Medina, Saudi Arabia</addr-line></aff><aff id="aff3"><addr-line>Department of Mathematics, Faculty of Science, Damanhour University, Damanhour, Egypt</addr-line></aff><aff id="aff4"><addr-line>Mathematics, College of Engineering &amp;amp; Science, Victoria University, Melbourne, Australia</addr-line></aff><aff id="aff1"><addr-line>Department of Mathematics, College of Science and Arts, King Khalid University, Muhayil Asir, Saudia Arabia</addr-line></aff><pub-date pub-type="epub"><day>27</day><month>09</month><year>2021</year></pub-date><volume>11</volume><issue>03</issue><fpage>189</fpage><lpage>206</lpage><history><date date-type="received"><day>25,</day>	<month>August</month>	<year>2021</year></date><date date-type="rev-recd"><day>25,</day>	<month>September</month>	<year>2021</year>	</date><date date-type="accepted"><day>28,</day>	<month>September</month>	<year>2021</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  In the present paper, we introduce a non-polynomial quadratic spline method for solving 
  third-order
   boundary value problems. 
  Third-order
   singularly perturbed boundary value problems occur frequently in many areas of applied sciences such as solid mechanics, quantum mechanics, chemical reactor theory, Newtonian fluid mechanics, optimal control, convection
  -
  diffusion
   processes, hydrodynamics, aerodynamics, etc. These problems have various important applications in fluid dynamics. The procedure involves a reduction of a 
  third-order
   partial differential equation to a first
  -
  order ordinary differential equation. Truncation errors are given. The unconditional stability of the method is analysed by the Von-Neumann stability analysis. The developed method is tested with an illustrated example, and the results are compared with other methods from the literature, which shows the applicability and feasibility of the presented method. Furthermore, 
  a 
  graphical comparison between analyt
  ical and approximate solution
  s
   is also shown for the illustrated example.
 
</p></abstract><kwd-group><kwd>Non-Polynomial Spline</kwd><kwd> Third-Order Dispersive Partial Differential Equation</kwd><kwd> Stability</kwd><kwd> Convergent</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>The field of nonlinear dispersive waves has undergone enormous development since the work of Stokes, Boussinesq, and Korteweg and de Vries (KdV)—all of whom studied water wave problems in the nineteenth century. In the 1960s, researchers developed effective asymptotic methods for deriving nonlinear wave equations, such as the KdV equation, which governed a broad class of physical phenomena [<xref ref-type="bibr" rid="scirp.112212-ref1">1</xref>]. Some approaches for solving nonlinear partial differential equations have been addressed in recent literature; the most prominent of these were the non-polynomial spline methods. The non-polynomial spline used for solving nonlinear partial differential equations was employed by many researchers. The most known and well-focused results are those presented by Ramadan et al. (2005), who used a numerical method for approximation of Burger’s equation [<xref ref-type="bibr" rid="scirp.112212-ref2">2</xref>]. Shock waves and blowup arising in third-order nonlinear dispersive equations were studied in 2008 by Galaktionov, V.A. and Pohozaev, S.I. [<xref ref-type="bibr" rid="scirp.112212-ref3">3</xref>]. In [<xref ref-type="bibr" rid="scirp.112212-ref4">4</xref>] [<xref ref-type="bibr" rid="scirp.112212-ref5">5</xref>], the criteria for deriving stability conditions of the different methods were considered for the numerical solution of a third-order linear dispersive equation. Research by Tirmizi et al. (2008) used Quartic non-polynomial spline functions to develop a class of numerical methods for solving self-adjoint singularly perturbed problems [<xref ref-type="bibr" rid="scirp.112212-ref6">6</xref>]. In 2011, Taiwo and Ogunlaran developed a numerical technique for solving linear fourth-order boundary-value problems, which were initially reduced to a system of second-order boundary-value problems [<xref ref-type="bibr" rid="scirp.112212-ref7">7</xref>]. In research by Lin (2014), a numerical method based on splines in tension was developed for solving the RLW equation. The method was tested by using single solitary waves, the interaction of two solitary waves, and solitary waves with Maxwellian initial condition [<xref ref-type="bibr" rid="scirp.112212-ref8">8</xref>]. In the same year, Mustafa and Ilhame discussed the method of lines is applied to the boundary-value problem for the third-order partial differential equation [<xref ref-type="bibr" rid="scirp.112212-ref9">9</xref>]. In 2017, El-Danaf et al. considered the Generalised Regularised Long Wave (GRLW) equation. They studied the interaction of solitons, where no analytic solution is known during the interaction. The Maxwellian initial condition for the GRLW equation was used [<xref ref-type="bibr" rid="scirp.112212-ref10">10</xref>]. A year later, Li et al. solved the time-fractional nonlinear Schr&#246;dinger equation [<xref ref-type="bibr" rid="scirp.112212-ref11">11</xref>]. In 2018, Sultana et al. presented a new three-level implicit method, which was developed to solve linear and nonlinear third-order dispersive partial differential equations [<xref ref-type="bibr" rid="scirp.112212-ref12">12</xref>]. In 2019, Shahna demonstrated how to solve fourth-order boundary value problems whose highest-order derivative was multiplied by a small perturbation parameter [<xref ref-type="bibr" rid="scirp.112212-ref13">13</xref>]. In this paper, a novel approach, based on using non-polynomial splines to solve a third-order dispersive partial differential equation is proposed. The third-order dispersive partial differential equation we will use is [<xref ref-type="bibr" rid="scirp.112212-ref14">14</xref>].</p><p>∂ η ∂ t + ∂ 3 η ∂ x 3 = g ( x , t ) ,     a ≤ x ≤ b ,     t &gt; 0 (1)</p><p>where g ( x , t ) is a source term. The boundary conditions associated with Equation (1) are assumed to be of the form:</p><p>η ( a , t ) = β 1 ( t ) ,     η ( b , t ) = β 2 ( t ) ,   η x x ( b , t ) = β 3 ( t ) ,     t &gt; 0 (2)</p><p>and the initial condition is:</p><p>η ( x , 0 ) = f ( x ) ,     a ≤ x ≤ b . (3)</p><p>The spline functions proposed, as defined in [<xref ref-type="bibr" rid="scirp.112212-ref15">15</xref>], have the form T 4 = s p a n { 1 , x , x 2 , sin ω x , cos ω x } where ω is the frequency of the trigonometric part of the spline functions, which will be used to increase the accuracy of our method.</p></sec><sec id="s2"><title>2. Analysis of the Method</title><p>The first step in the non-polynomial spline method is to create a grid with two mesh constants h and k. The grid points for this situation are ( x i , t j ) where x i = a + i h , i = 0 , 1 , ⋯ , N + 1 and t j = j k , j = 0 , 1 , ⋯ .</p><p>Let Z i j be an approximation to η ( x i , t j ) , obtained by the segment P i ( x , t j ) of the mixed spline function passing through the points ( x i , Z i j ) and ( x i + 1 , Z i + 1 j ) .</p><p>Each segment has the form:</p><p>P i ( x , t j ) = a i ( t j ) cos ω ( x − x i ) + b i ( t j ) sin ω ( x − x i ) + c i ( t j ) ( x − x i ) 2     + d i ( t j ) ( x − x i ) + e i ( t j ) . (4)</p><p>for each i = 0 , 1 , ⋯ , N . To obtain expressions for the coefficients of Equation (4) in terms of Z i j , Z i + 1 j , M i j , S i j , and S i j + 1 , we first define:</p><p>P i ( x i , t j ) = Z i j ,     P i ( x i + 1 , t j ) = Z i + 1 j ,     P i ( 1 ) ( x i ) = M i j , P i ( 3 ) ( x i , t j ) = S i j ,     P i ( 3 ) ( x i + 1 , t j ) = S i + 1 j . (5)</p><p>Using Equations (4) and (5), we get:</p><p>a i + e i = Z i j ,</p><p>a i cos θ + b i sin θ + h 2 c i + h d i + e i = Z i + 1 j ,</p><p>b i ω + d i = M i j , (6)</p><p>− ω 3 b i = S i j ,</p><p>a i ω 3 sin θ − b i ω 3 cos θ = S i + 1 j .</p><p>where a i ≡ a i ( t j ) , b i ≡ b i ( t j ) , c i ≡ c i ( t j ) , d i ≡ d i ( t j ) , e i ≡ e i ( t j ) , and θ = ω h .</p><p>By solving the last five equations in (6), we obtain the following:</p><p>a i = h 3 S i + 1 j − S i j cos θ θ 3 sin θ , b i = − h 3 S i j θ 3 ,</p><p>c i = Z i + 1 j − Z i j h 2 + h ( S i + 1 j + S i j ) ( 1 − cos θ ) θ 3 sin θ − M i j h − h S i j θ 2 (7)</p><p>d i = M i j + h 2 S i j θ 2 , e i = Z i j − h 3 S i + 1 j − S i j cos θ θ 3 sin θ .</p><p>Using the continuity condition of the first and second derivatives at x = x i , that is P i ( n ) ( x i , t j ) = P i − 1 ( n ) ( x i , t j ) where n = 1 and 2, we get the following relations:</p><p>ω b i + d i = − a i − 1 ω sin θ + b i − 1 ω cos θ + 2 h c i − 1 + d i − 1</p><p>− ω 2 a i + 2 c i = − a i − 1 ω 2 cos θ − b i − 1 ω 2 sin θ + 2 c i − 1 (8)</p><p>Using expressions in Equation (7), then Equation (8) becomes:</p><p>M i j + M i − 1 j = 2 h ( Z i j − Z i − 1 j ) − h 2 θ 2 ( S i − 1 j + S i j ) + 2 h 2 θ 3 sin θ ( S i − 1 j + S i j ) ( 1 − cos θ ) (9)</p><p>M i j − M i − 1 j = h 2 S i j cos θ θ sin θ − h 2 2 θ sin θ ( S i − 1 j + S i + 1 j ) + 1 h ( Z i − 1 j − 2 Z i j + Z i + 1 j )                                   + h 2 θ 3 sin θ ( 1 − cos θ ) ( S i + 1 j − S i − 1 j ) + h 2 θ 2 ( S i − 1 j − S i j ) (10)</p><p>Adding Equations (8) and (10), we get:</p><p>M i j = 1 2 h ( Z i + 1 j − Z i − 1 j ) − h 2 θ 2 S i j + h 2 2 θ 3 sin θ ( 1 − cos θ ) ( S i − 1 j + 2 S i j + S i + 1 j )                   + h 2 S i j cos θ 2 θ sin θ − h 2 4 θ sin θ ( S i − 1 j + S i + 1 j ) . (11)</p><p>Similarly,</p><p>M i − 1 j = 1 2 h ( Z i j − Z i − 2 j ) − h 2 θ 2 S i − 1 j + h 2 2 θ 3 sin θ ( 1 − cos θ ) ( S i − 2 j + 2 S i − 1 j + S i j )                     + h 2 S i − 1 j cos θ 2 θ sin θ − h 2 4 θ sin θ ( S i − 2 j + S i j ) . (12)</p><p>Using M i j and M i − 1 j in Equations (10) and (11) gives the following relation:</p><p>1 2 h ( Z i + 1 j − Z i − 1 j + Z i j − Z i − 2 j ) − h 2 θ 2 ( S i j + S i − 1 j ) + h 2 ( 1 − cos θ ) 2 θ 3 sin θ ( S i − 2 j + 3 S i − 1 j + 3 S i j + S i + 1 j ) + h 2 ( S i j + S i − 1 j ) cos θ 2 θ sin θ − h 2 4 θ sin θ ( S i − 2 j + S i − 1 j + S i j + S i + 1 j ) = 2 h ( Z i j − Z i − 1 j ) − h 2 θ 2 ( S i − 1 j + S i j ) + 2 h 2 θ 3 sin θ ( S i − 1 j + S i j ) ( 1 − cos θ )</p><p>or:</p><p>  − Z i − 2 j − h 3 S i − 2 j ( cos θ − 1 θ 3 sin θ + 1 2 θ sin θ ) + 3 Z i − 1 j   − h 3 S i − 1 j ( 1 − cos θ θ 3 sin θ − cos θ θ sin θ + 1 2 θ sin θ ) − 3 Z i j   − h 3 S i j ( 1 − cos θ θ 3 sin θ − cos θ θ sin θ + 1 2 θ sin θ ) + Z i + 1 j   − h 3 S i + 1 j ( cos θ − 1 θ 3 sin θ + 1 2 θ sin θ ) = 0 ,     i = 2 , ⋯ , N .</p><p>This equation can be rewritten in the following simple form:</p><p>− Z i − 2 j + 3 Z i − 1 j − 3 Z i j + Z i + 1 j = α S i − 2 j + β S i − 1 j + β S i j + α S i + 1 j ,     i = 2 , ⋯ , N . (13)</p><p>where:</p><p>α = h 3 ( cos θ − 1 θ 3 sin θ + 1 2 θ sin θ )     and     β = h 3 ( 1 − cos θ θ 3 sin θ − cos θ θ sin θ + 1 2 θ sin θ )</p><p>Remark 1. As ω → 0 , that is θ → 0 , then ( α , β ) → ( h 3 24 , 11 h 3 24 ) , and system (13) reduces to ordinary quartic spline:</p><p>− Z i − 2 j + 3 Z i − 1 j − 3 Z i j + Z i + 1 j = h 3 24 ( S i − 2 j + 11 S i − 1 j + 11 S i j + S i + 1 j ) ,</p><p>Using Equation (1), we can write S i − 2 j , S i − 1 j , S i j and S i + 1 j , in the form:</p><p>S i − 2 j = ∂ 3 Z i − 2 j ∂ x 3 = ( g i − 2 j − ∂ Z i − 2 j ∂ t ) , S i − 1 j = ∂ 3 Z i − 1 j ∂ x 3 = ( g i − 1 j − ∂ Z i − 1 j ∂ t )</p><p>S i j = ∂ 3 Z i j ∂ x 3 = ( g i j − ∂ Z i j ∂ t ) , S i + 1 j = ∂ 3 Z i + 1 j ∂ x 3 = ( g i + 1 j − ∂ Z i + 1 j ∂ t )</p><p>These equations can be discretised in the form:</p><p>S i − 2 j ≈ ( g i − 2 j − ( Z i − 2 j − Z i − 2 j − 1 k ) ) , S i − 1 j ≈ ( g i − 1 j − ( Z i − 1 j − Z i − 1 j − 1 k ) ) , S i j ≈ ( g i j − ( Z i j − Z i j − 1 k ) ) , S i + 1 j ≈ ( g i + 1 j − ( Z i + 1 j − Z i + 1 j − 1 k ) ) . (14)</p><p>The use of Equation (13) in Equation (14) gives us the following system:</p><p>− Z i − 2 j + 3 Z i − 1 j − 3 Z i j + Z i + 1 j = α ( g i − 2 j − Z i − 2 j − Z i − 2 j − 1 k ) + β ( g i − 1 j − Z i − 1 j − Z i − 1 j − 1 k )         + β ( g i j − Z i j − Z i j − 1 k ) + α ( g i + 1 j − Z i + 1 j − Z i + 1 j − 1 k ) ,</p><p>or:</p><p>A i Z i − 2 j + B i Z i − 1 j + C i Z i j + D i Z i + 1 j = α Z i − 2 j − 1 + β Z i − 1 j − 1 + β Z i j − 1 + α Z i + 1 j − 1 + δ i j ,     i = 2 , ⋯ , N . (15)</p><p>where:</p><p>A i = − k + α , B i = 3 k + β , C i = − 3 k + β , D i = k + α</p><p>and:</p><p>δ i j = k ( α g i − 2 j + β g i − 1 j + β g i j + α g i + 1 j )</p><p>System (15) consists of N-1 equations in unknowns Z i j , i = 0 , ⋯ , N + 1 . To get a solution to this system, we need three additional equations. Two equations are obtained from the first two parts in Equation (2).</p><p>Z 0 j = η ( a , t ) = β 1 ( t ) ,     Z N + 1 j = η ( b , t ) = β 2 ( t ) (16)</p><p>The third equation can be obtained from the third part of Equation (2), that is ∂ 2 Z N + 1 j ∂ x 2 = η x x ( b , t ) = β 3 ( t ) , which can be discretised:</p><p>− 10 Z N − 4 j + 61 Z N − 3 j − 156 Z N − 2 j + 214 Z N − 1 j − 154 Z N j + 45 Z N + 1 j ≈ 12 h 2 ∂ 2 Z N + 1 j ∂ x 2 = 12 h 2 β 3 ,       j ≥ 0 (17)</p><p>Writing Equations (15) - (17) in matrix form gives:</p><p>Q Z j = Q * Z j − 1 + r j (18)</p><p>where:</p><p>Z j = ( Z 0 j Z 1 j Z 2 j ⋯ Z N − 1 j Z N j Z N + 1 j ) t ,</p><p>Q = [ 1 0 0 0 0 0 0 ⋯ 0 A 2 B 2 C 2 D 2 0 0 0 ⋯ 0 0 A 3 B 3 C 3 D 3 0 0 ⋯ 0 0 ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 0 0 A N − 1 B N − 1 C N − 1 D N − 1 0 0 ⋯ 0 0 0 A N B N C N D N 0 ⋯ 0 − 10 61 − 156 214 − 154 45 0 ⋯ 0 0 0 0 0 0 1 ] ,</p><p>Q * = [ 0 0 0 0 0 0 0 ⋯ 0 α β β α 0 0 0 ⋯ 0 0 α β β α 0 0 ⋯ 0 0 ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ ⋮ ⋮ 0 0 α β β α 0 0 ⋯ 0 0 0 α β β α 0 ⋯ 0 0 0 0 0 0 0 0 ⋯ 0 0 0 0 0 0 0 ] ,</p><p>and r j = ( β 1 ( t j ) , δ 2 j , ⋯ , δ N j , 12 h 2 β 3 ( t j ) , β 2 ( t j ) ) t . The initial condition η ( x , t 0 ) = f ( x ) , for each a ≤ x ≤ b , implies that Z i 0 = f ( x i ) , for each i = 0 , 1 , ⋯ , N + 1 . These values can be used in Equation (2.15) to find the value of Z i 1 , for each i = 0 , 1 , ⋯ , N + 1 . If the procedure is reapplied once all the approximations Z i 1 are known, the values of Z i 2 , Z i 3 , ⋯ can be obtained in a similar manner.</p></sec><sec id="s3"><title>3. Error Analysis</title><p>Using Equation (14), we obtain the truncation error:</p><p>T i j = A i η i − 2 j + B i η i − 1 j + C i η i j + D i η i + 1 j − α η i − 2 j − 1 − β η i − 1 j − 1 − β η i j − 1 − α η i + 1 j − 1 − δ i j (19)</p><p>where:</p><p>A i = − k + α , B i = 3 k + β , C i = − 3 k + β , D i = − k + α</p><p>and:</p><p>δ i j = k ( α g i − 2 j + β g i − 1 j + β g i j + α g i + 1 j )</p><p>Expanding Equation (19) in Taylor series, in terms of η ( x i , t j ) and its derivatives, we obtain the following expression:</p><p>T i j = A i ( 1 − 2 h 1 ! D x + ( 2 h ) 2 2 ! D x 2 − ⋯ ) η i j + B i ( 1 − h D x + h 2 2 ! D x 2 − ⋯ ) η i j       + C i η i j + D i ( 1 + h D x + h 2 2 ! D x 2 + h 3 3 ! D x 3 + ⋯ ) η i j       − α ( 1 + ( − k D t − 2 h D x ) + 1 2 ! ( − k D t − 2 h D x ) 2 + ⋯ ) η i j       − β ( 1 + ( − k D t − h D x ) + 1 2 ! ( − k D t − h D x ) 2 + ⋯ ) η i j</p><p>  − β ( 1 − k D t + k 2 2 ! D t 2 − k 3 3 ! D t 3 + ⋯ ) η i j   − α ( 1 + ( − k D t + h D x ) + 1 2 ! ( − k D t + h D x ) 2 + ⋯ ) η i j   − k α ( 1 − 2 h D x + ( 2 h ) 2 2 ! D x 2 − ⋯ ) g i j − k β ( 1 − h D x + h 2 2 ! D x 2 − ⋯ ) g i j   − k β g i j − k α ( 1 + h D x + h 2 2 ! D x 2 + ⋯ ) g i j</p><p>where g i j = D t η i j + D x 3 η i j . After simple calculations, we get:</p><p>T i j = − k ( − 2 h 1 ! D x + ( 2 h ) 2 2 ! D x 2 − ⋯ ) η i j + 3 k ( − h D x + h 2 2 ! D x 2 − ⋯ ) η i j       + k ( h D x + h 2 2 ! D x 2 + h 3 3 ! D x 3 + ⋯ ) η i j       − 2 ( β + α ) ( − k D t + k 2 2 ! D t 2 − k 3 3 ! D t 3 + ⋯ ) η i j       + ( β + α ) h ( − 1 2 ! ( 2 1 ) k D t + 1 3 ! ( 3 1 ) k 2 D t 2 − ⋯ ) D x η i j       + ( β + 5 α ) h 2 ( 1 3 ! ( 3 2 ) k D t − 1 4 ! ( 4 2 ) k 2 D t 2 + ⋯ ) D x 2 η i j</p><p>  + ( β + 7 α ) h 3 ( − 1 4 ! ( 4 3 ) k D t + 1 5 ! ( 5 3 ) k 2 D t 2 − ⋯ ) D x 3 η i j + ⋯   − k α ( − 2 h D x + ( 2 h ) 2 2 ! D x 2 − ⋯ ) ( D t + D x 3 ) η i j   − k β ( − h D x + h 2 2 ! D x 2 − ⋯ ) ( D t + D x 3 ) η i j   − k α ( h D x + h 2 2 ! D x 2 + ⋯ ) ( D t + D x 3 ) η i j − 2 k ( β + α ) ( D t + D x 3 ) η i j</p><p>T i j = k ( h 3 − 2 ( β + α ) ) D x 3 η i j + k h ( − h 3 2 + ( β + α ) ) D x 4 η i j     + k h 2 ( h 3 4 − 1 2 ( β + 5 α ) ) D x 5 η i j + k h 3 ( − h 3 12 + 1 6 ( β + 7 α ) ) D x 6 η i j     + k h 4 ( h 3 40 − 1 24 ( β + 17 α ) ) D x 7 η i j + ⋯     + 2 ( β + α ) ( − k 2 2 ! D t 2 + k 3 3 ! D t 3 − ⋯ ) η i j</p><p>  + ( β + α ) h ( 1 3 ! ( 3 1 ) k 2 D t 2 − 1 4 ! ( 4 1 ) k 3 D t 3 + ⋯ ) D x η i j   + ( β + 5 α ) h 2 ( − 1 4 ! ( 4 2 ) k 2 D t 2 + 1 5 ! ( 5 2 ) k 3 D t 3 − ⋯ ) D x 2 η i j   + ( β + 7 α ) h 3 ( 1 5 ! ( 5 3 ) k 2 D t 2 − 1 6 ! ( 6 3 ) k 3 D t 3 + ⋯ ) D x 3 η i j + ⋯ . (20)</p><p>For β + α = h 3 2 , the local truncation error is of order o ( k h 2 + k 2 h 3 ) but for β + α = h 3 2 and α = 0 it is of o ( k h 4 + k 2 h 3 ) .</p><p>Remark 2. The previous relations, which enable us to choose α and β , can be obtained using simple calculations by expanding Equation (19) in terms of u i j and its derivatives, which is the local truncation error of Equation (19), as follows:</p><p>T * i j = − η i − 2 j + 3 η i − 1 j − 3 η i j + η i + 1 j − α D x 3 η i − 2 j − β D x 3 η i − 1 j − β D x 3 η i j − α D x 3 η i + 1 j ,</p><p>T i j = ( h 3 − 2 ( β + α ) ) D x 3 η i j + h ( − h 3 2 + ( β + α ) ) D x 4 η i j       + h 2 ( h 3 4 − 1 2 ( β + 5 α ) ) D x 5 η i j + h 3 ( − h 3 12 + 1 6 ( β + 7 α ) ) D x 6 η i j       + h 4 ( h 3 40 − 1 24 ( β + 17 α ) ) D x 7 η i j + ⋯ .</p></sec><sec id="s4"><title>4. Stability</title><p>Using the Von Neumann method, the stability of the method can be investigated. According to this method, the solution of the difference Equation (14) can be written in the form:<sup> </sup></p><p>Z i j = ζ j exp ( q ϕ i h ) (21)</p><p>where ϕ is the wave number, q = − 1 , h is the element size, and ζ j is the amplification factor at time level j. Inserting the latter expression for Z i j in scheme (14), we obtain the characteristic equation in the form:</p><p>ζ j { A i exp ( ( i − 2 ) q ϕ h ) + B i exp ( ( i − 1 ) q ϕ h ) + C i exp ( i q ϕ h ) + D i exp ( ( i + 1 ) q ϕ h ) } = ζ j − 1 { α exp ( ( i − 2 ) q ϕ h ) + β exp ( ( i − 1 ) q ϕ h ) + β exp ( i q ϕ h ) + α exp ( ( i + 1 ) q ϕ h ) }</p><p>A i = − k + α , B i = 3 k + β , C i = − 3 k + β , D i = − k + α</p><p>After simple calculations, we obtain:</p><p>ζ = α exp ( − 2 q ϕ h ) + β exp ( − q ϕ h ) + β + α exp ( q ϕ h ) A i exp ( − 2 q ϕ h ) + B i exp ( − q ϕ h ) + C i + D i exp ( q ϕ h ) (22)</p><p>Using Euler’s formula, that is:</p><p>exp [ q φ ] = cos φ + q sin φ ,     φ = ϕ h ,</p><p>Equation (22) becomes:</p><p>ζ = X * + q Y * X + q Y (23)</p><p>where:</p><p>X * = α cos 2 φ + ( β + α ) cos φ + β Y * = − α sin 2 φ + ( α − β ) sin φ X = ( α − k ) cos 2 φ + ( β + α + 4 k ) cos φ + ( β − 3 k ) Y = ( k − α ) sin 2 φ + ( − 2 k + α − β ) sin φ (24)</p><p>Using cos 2 φ = 1 − 2 sin 2 φ , and cos φ = 1 − 2 sin 2 φ 2 , we can write the equations in (24) as:</p><p>X * = 2 ( cos 2 φ 2 ) ( β + α − 4 α sin 2 φ 2 ) Y * = − 2 ( sin φ 2 cos φ 2 ) ( β + α − 4 α sin 2 φ 2 ) X = [ 2 ( cos 2 φ 2 ) ( β + α − 4 α sin 2 φ 2 ) − 8 k sin 4 φ 2 ] = X * + T Y = − 2 ( sin φ 2 cos φ 2 ) ( β + α − 4 α sin 2 φ 2 ) − 8 k cos φ 2 sin 3 φ 2 = Y * + G (25)</p><p>where T = − 8 k sin 4 φ 2 , G = − 8 cos φ 2 sin 3 φ 2 ,</p><p>Using (24), we obtain:</p><p>| ζ | = X * 2 + Y * 2 X 2 + Y 2 (26)</p><p>The equations in (26) enable us to rewrite the last equation in the form:</p><p>| ζ | = X * 2 + Y * 2 ( X * + T ) 2 + ( Y * + G ) 2 .</p><p>or:</p><p>| ζ | = X * 2 + Y * 2 X * 2 + T 2 + Y * 2 + G 2 + δ . (27)</p><p>where δ = 2 X * T + 2 Y * G . Using Equation (27), δ becomes:</p><p>δ = − 32 k cos 2 φ 2 sin 4 φ 2 ( β + α − 4 α sin 2 φ 2 )               + 32 k cos 2 φ 2 sin 4 φ 2 ( β + α − 4 α sin 2 φ 2 ) = 0</p><p>This result enables us to write Equation (27) as:</p><p>| ζ | = X * 2 + Y * 2 X * 2 + Y * 2 + T 2 + G 2 . (28)</p><p>For stability, we must have | ζ | ≤ 1 (otherwise ζ j in Equation (21) would grow in an unbounded manner). Using Equation (28), we can say that the stability condition, that is | ζ | ≤ 1 , is satisfied.</p></sec><sec id="s5"><title>5. Numerical Example</title><p>In this section, we obtain numerical solutions of Equation (1) for a numerical example.</p><p>Consider the non-homogeneous third-order dispersive partial differential equation [<xref ref-type="bibr" rid="scirp.112212-ref14">14</xref>]:</p><p>∂ η ∂ t + ∂ 3 η ∂ x 3 = − sin ( π x ) sin t − π 3 cos ( π x ) cos t ,     0 ≤ x ≤ 1 ,     t &gt; 0</p><p>with boundary conditions:</p><p>η ( 0 , t ) = η ( 1 , t ) = 0 ,       η x x ( 0 , t ) = η x x ( 1 , t ) = 0 ,     t &gt; 0</p><p>and the initial condition:</p><p>η ( x , 0 ) = sin π x ,       0 ≤ x ≤ 1</p><p>The exact solution of this problem is:</p><p>η ( x , t ) = sin π x cos t</p><p>The obtained numerical results are listed in the Tables 1-7, where all calculations are carried out using Mathematica. The accuracy of method is measured by computing L<sub>∞</sub>-error norm, Max. Absolute error, as shown in Tables 1-3 and <xref ref-type="table" rid="table5">Table 5</xref> illustrates numerical and exact solutions for: h = 0.025 , k = 0.0005 , β = − α + h 3 2 .</p><p>The reason that the accuracy in <xref ref-type="table" rid="table1">Table 1</xref> is the best is because: α = 0 , β = − α + h 3 2 .</p><table-wrap id="table1" ><label><xref ref-type="table" rid="table1">Table 1</xref></label><caption><title> The L ∞ -error between the numerical and exact solutions when h = 0.025 , k = 0.0005 , α = 0 , β = − α + h 3 2 </title></caption><table><tbody><thead><tr><th align="center" valign="middle" >Time</th><th align="center" valign="middle" >0.500</th><th align="center" valign="middle" >1.500</th><th align="center" valign="middle" >2.00</th><th align="center" valign="middle" >2.500</th></tr></thead><tr><td align="center" valign="middle" >L ∞ -error</td><td align="center" valign="middle" >4.59312 * 10<sup>−6</sup></td><td align="center" valign="middle" >5.05911 * 10<sup>−7</sup></td><td align="center" valign="middle" >2.01782 * 10<sup>−6</sup></td><td align="center" valign="middle" >4.047 * 10<sup>−6</sup></td></tr></tbody></table></table-wrap><table-wrap id="table2" ><label><xref ref-type="table" rid="table2">Table 2</xref></label><caption><title> The L ∞ -error between the numerical and exact solutions when h = 0.025 , k = 0.0005 , α = h 3 160 , β = − α + h 3 2 </title></caption><table><tbody><thead><tr><th align="center" valign="middle" >Time</th><th align="center" valign="middle" >0.500</th><th align="center" valign="middle" >1.500</th><th align="center" valign="middle" >2.00</th><th align="center" valign="middle" >2.500</th></tr></thead><tr><td align="center" valign="middle" >L ∞ -error</td><td align="center" valign="middle" >7.28473 * 10<sup>−5</sup></td><td align="center" valign="middle" >9.0094 * 10<sup>−6</sup></td><td align="center" valign="middle" >3.09094 * 10<sup>−5</sup></td><td align="center" valign="middle" >6.31829 * 10<sup>−5</sup></td></tr></tbody></table></table-wrap><table-wrap id="table3" ><label><xref ref-type="table" rid="table3">Table 3</xref></label><caption><title> The L ∞ -error between the numerical and exact solutions when h = 0.025 , k = 0.0005 , α = h 3 24 , β = − α + h 3 2 </title></caption><table><tbody><thead><tr><th align="center" valign="middle" >Time</th><th align="center" valign="middle" >0.500</th><th align="center" valign="middle" >1.500</th><th align="center" valign="middle" >2.00</th><th align="center" valign="middle" >2.500</th></tr></thead><tr><td align="center" valign="middle" >L ∞ -error</td><td align="center" valign="middle" >4.63835 * 10<sup>−4</sup></td><td align="center" valign="middle" >5.7401 * 10<sup>−5</sup></td><td align="center" valign="middle" >1.9661 * 10<sup>−4</sup></td><td align="center" valign="middle" >4.02159 * 10<sup>−4</sup></td></tr></tbody></table></table-wrap><table-wrap id="table4" ><label><xref ref-type="table" rid="table4">Table 4</xref></label><caption><title> The comperasion between the numerical and exact solutions when h = 0.025 , k = 0.0005 , t = 2 , α = 0 , β = − α + h 3 2 </title></caption><table><tbody><thead><tr><th align="center" valign="middle" >X</th><th align="center" valign="middle" >Exact Solution</th><th align="center" valign="middle" >Numerical Solution</th></tr></thead><tr><td align="center" valign="middle" >0.1</td><td align="center" valign="middle" >−0.128596</td><td align="center" valign="middle" >−0.129457</td></tr><tr><td align="center" valign="middle" >0.2</td><td align="center" valign="middle" >−0.244605</td><td align="center" valign="middle" >−0.2446030</td></tr><tr><td align="center" valign="middle" >0.3</td><td align="center" valign="middle" >−0.336669</td><td align="center" valign="middle" >−0.3366680</td></tr><tr><td align="center" valign="middle" >0.4</td><td align="center" valign="middle" >−0.395779</td><td align="center" valign="middle" >−0.3957770</td></tr><tr><td align="center" valign="middle" >0.5</td><td align="center" valign="middle" >−0.416147</td><td align="center" valign="middle" >−0.4161450</td></tr><tr><td align="center" valign="middle" >0.6</td><td align="center" valign="middle" >−0.395779</td><td align="center" valign="middle" >−0.3957780</td></tr><tr><td align="center" valign="middle" >0.7</td><td align="center" valign="middle" >−0.336669</td><td align="center" valign="middle" >−0.3366700</td></tr><tr><td align="center" valign="middle" >0.8</td><td align="center" valign="middle" >−0.244605</td><td align="center" valign="middle" >−0.2446046</td></tr><tr><td align="center" valign="middle" >0.9</td><td align="center" valign="middle" >−0.128596</td><td align="center" valign="middle" >−0.129457</td></tr></tbody></table></table-wrap><table-wrap id="table5" ><label><xref ref-type="table" rid="table5">Table 5</xref></label><caption><title> The L ∞ -error between the numerical and exact solutions when h = π 20 , k = 0.002 , α = h 3 160 , β = − α + h 3 2 </title></caption><table><tbody><thead><tr><th align="center" valign="middle" >Time</th><th align="center" valign="middle" >1.9</th><th align="center" valign="middle" >2</th><th align="center" valign="middle" >2.1</th></tr></thead><tr><td align="center" valign="middle" >L ∞ -error</td><td align="center" valign="middle" >2.9822 * 10<sup>−3 </sup></td><td align="center" valign="middle" >3.31405 * 10<sup>−3 </sup></td><td align="center" valign="middle" >3.68684 * 10<sup>−3 </sup></td></tr></tbody></table></table-wrap><table-wrap id="table6" ><label><xref ref-type="table" rid="table6">Table 6</xref></label><caption><title> The comperasion between the numerical and exact solutions when h = π 20 , k = 0.002 , α = h 3 160 , β = − α + h 3 2 , t = 2 </title></caption><table><tbody><thead><tr><th align="center" valign="middle" >X</th><th align="center" valign="middle" >Exact Solution</th><th align="center" valign="middle" >Numerical Solution</th></tr></thead><tr><td align="center" valign="middle" >0.1</td><td align="center" valign="middle" >−0.128596</td><td align="center" valign="middle" >−0.129126</td></tr><tr><td align="center" valign="middle" >0.2</td><td align="center" valign="middle" >−0.244605</td><td align="center" valign="middle" >−0.2445870</td></tr><tr><td align="center" valign="middle" >0.3</td><td align="center" valign="middle" >−0.336669</td><td align="center" valign="middle" >−0.3366450</td></tr><tr><td align="center" valign="middle" >0.4</td><td align="center" valign="middle" >−0.395779</td><td align="center" valign="middle" >−0.3957500</td></tr><tr><td align="center" valign="middle" >0.5</td><td align="center" valign="middle" >−0.416147</td><td align="center" valign="middle" >−0.4161160</td></tr><tr><td align="center" valign="middle" >0.6</td><td align="center" valign="middle" >−0.395779</td><td align="center" valign="middle" >−0.3957500</td></tr><tr><td align="center" valign="middle" >0.7</td><td align="center" valign="middle" >−0.336669</td><td align="center" valign="middle" >−0.3366450</td></tr><tr><td align="center" valign="middle" >0.8</td><td align="center" valign="middle" >−0.244605</td><td align="center" valign="middle" >−0.2445870</td></tr><tr><td align="center" valign="middle" >0.9</td><td align="center" valign="middle" >−0.128596</td><td align="center" valign="middle" >−0.129126</td></tr></tbody></table></table-wrap><p>For, the local truncation error is of order o ( k h 4 + k 2 h 3 ) but for: β + α = h 3 2 , α ≠ 0 it is of order o ( k h 2 + k 2 h 3 ) .</p><p>The following figures from Figures 1-11 show the relation between the numerical and exact solutions of the dispersive equation for virus time and discretization’s (h).</p><p>The following figures from Figures 12-15 show the 3D of the numerical solutions of the dispersive equation for virus time and the same discretization’s (h).</p><table-wrap id="table7" ><label><xref ref-type="table" rid="table7">Table 7</xref></label><caption><title> The L ∞ -error between the numerical and exact solutions when h = π 20 , k = 0.002 , α = h 3 160 ,   β = − α + h 3 2 </title></caption><table><tbody><thead><tr><th align="center" valign="middle" >Time</th><th align="center" valign="middle" >1.9</th><th align="center" valign="middle" >2</th><th align="center" valign="middle" >2.1</th></tr></thead><tr><td align="center" valign="middle" >L ∞ -errors<sub> </sub></td><td align="center" valign="middle" >1.86724 * 10<sup>−3</sup></td><td align="center" valign="middle" >2.08023 * 10<sup>−3</sup><sup> </sup></td><td align="center" valign="middle" >2.31321 * 10<sup>−3</sup><sup> </sup></td></tr></tbody></table></table-wrap></sec><sec id="s6"><title>6. Concluding Remarks</title><p>This paper is devoted to the quartic non-polynomial spline functions for solving the third-order dispersive partial differential equation. Recent trends in computational mathematics, mathematical physics and mechanics have widely used numerical methods to solve such problems. The results obtained using the quartic non-polynomial spline functions are very encouraging. It has been shown that the L-∞ errors norm confirm the theoretical convergence. The convergence analysis of the method proved that our scheme is third-order convergent o ( k h 2 + k 2 h 3 ) . Also, the method is shown to be unconditionally stable. The numerical example illustrates that the non-polynomial spline functions are more adaptable in approximating functions. The graphs between exact and approximate solutions for the numerical examples show the superiority of our method compared with [<xref ref-type="bibr" rid="scirp.112212-ref8">8</xref>].</p></sec><sec id="s7"><title>Conflicts of Interest</title><p>The authors declare no conflicts of interest regarding the publication of this paper.</p></sec><sec id="s8"><title>Cite this paper</title><p>Alaofi, Z.M., Ali, T.S., Alaal, F.A. and Dragomir, S.S. (2021) Quartic Non-Polynomial Spline for Solving the Third-Order Dispersive Partial Differential Equation. American Journal of Computational Mathematics, 11, 189-206. https://doi.org/10.4236/ajcm.2021.113013</p></sec></body><back><ref-list><title>References</title><ref id="scirp.112212-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Ablowitz, M.J. (2011) Nonlinear Dispersive Waves: Asymptotic Analysis and Solitons. Cambridge University Press, Cambridge. https://doi.org/10.1017/CBO9780511998324</mixed-citation></ref><ref id="scirp.112212-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Ramadan, M.A., El-Danaf, T.S. and. Alaal, F.E.I.A. (2007) Application of the Non-Polynomial Spline Approach to the Solution of the Burgers Equation. The Open Applied Mathematics Journal, 1, 15-20. https://doi.org/10.2174/1874114200701010015</mixed-citation></ref><ref id="scirp.112212-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Galaktionov, V.A. and Pohozaev, S.I. (2008) Third-Order Nonlinear Dispersive Equations: Shocks, Rarefaction, and Blowup Waves. Computational Mathematics and Mathematical Physics, 48, 1784-1810. https://doi.org/10.1134/S0965542508100060</mixed-citation></ref><ref id="scirp.112212-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Comerford, R. (2000) Computing. IEEE Spectrum, 37, 45-50. https://doi.org/10.1109/6.815438</mixed-citation></ref><ref id="scirp.112212-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Miller, J.H. (1971) On the Location of Zeros of Certain Classes of Polynomials with Application to Numerical Analysis. IMA Journal of Applied Mathematics, 8, 397-406. https://doi.org/10.1093/imamat/8.3.397</mixed-citation></ref><ref id="scirp.112212-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Tirmizi, I.A., Fazal-i-Haq, and Siraj-ul-Islam (2008) Non-Polynomial Spline Solution of Singularly Perturbed Boundary-Value Problems. Applied Mathematics and Computation, 196, 6-16. https://doi.org/10.1016/j.amc.2007.05.029</mixed-citation></ref><ref id="scirp.112212-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Taiwo, O.A. and Ogunlaran, O.M. (2011) A Non-Polynomial Spline Method for Solving Linear Fourth-Order Boundary-Value Problems. International Journal of Physical Sciences, 6, 3246-3254.</mixed-citation></ref><ref id="scirp.112212-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Lin, B. (2015) Non-Polynomial Splines Method for Numerical Solutions of the Regularized Long Wave Equation. International Journal of Computer Mathematics, 92, 1591-1607. https://doi.org/10.1080/00207160.2014.950254</mixed-citation></ref><ref id="scirp.112212-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Kudu, M. and Amirali, I. (2014) Method of Lines for Third Order Partial Differential Equations. Journal of Applied Mathematics and Physics, 2, 33-36. https://doi.org/10.4236/jamp.2014.22005</mixed-citation></ref><ref id="scirp.112212-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">El-Danaf, T.S., Raslan, K.R. and Ali, K.K. (2017) Non-Polynomial Spline Method for Solving the Generalized Regularized Long Wave Equation. Communication in Mathematical Modeling and Applications, 2, 1-17.</mixed-citation></ref><ref id="scirp.112212-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Li, M., Ding, X. and Xu, Q. (2018) Non-Polynomial Spline Method for the Time-Fractional Nonlinear Schr&amp;#246dinger Equation. Advances in Difference Equations, 2018, Article No. 318. https://doi.org/10.1186/s13662-018-1743-3</mixed-citation></ref><ref id="scirp.112212-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">Sultana, T., Khan, A. and Khandelwal, P. (2018) A New Non-Polynomial Spline Method for Solution of Linear and Non-Linear Third Order Dispersive Equations. Advances in Difference Equations, 2018, Article No. 316. https://doi.org/10.1186/s13662-018-1763-z</mixed-citation></ref><ref id="scirp.112212-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">Khan, A. and Shahna (2019) Non-Polynomial Quadratic Spline Method for Solving Fourth Order Singularly Perturbed Boundary Value Problems. Journal of King Saud University—Science, 31, 479-484. https://doi.org/10.1016/j.jksus.2017.08.006</mixed-citation></ref><ref id="scirp.112212-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">Wazwaz, A.M. (2003) An Analytic Study on the Third-Order Dispersive Partial Differential Equations. Applied Mathematics and Computation, 142, 511-520. https://doi.org/10.1016/S0096-3003(02)00336-3</mixed-citation></ref><ref id="scirp.112212-ref15"><label>15</label><mixed-citation publication-type="other" xlink:type="simple">Siraj-Ul-Islam, Khan, M.A., Tirmizi, I.A. and Twizell, E.H. (2005) Non-Polynomial Spline Approach to the Solution of a System of Third-Order Boundary-Value Problems. Applied Mathematics and Computation, 168, 152-163. https://doi.org/10.1016/j.amc.2004.08.044</mixed-citation></ref></ref-list></back></article>