Abstract
Finite element methods have been frequently employed in seeking the numerical solutions of PDEs. In this study, a Galerkin finite element numerical scheme is constructed to explore numerical solutions of the generalized Kuramoto–Sivashinsky (gKS) equation. A quartic trigonometric tension (QTT) B-spline function is adapted as base of the Galerkin technique. The incorporation of B-spline Galerkin in space discretization generates the time-dependent system. Then, the use of Crank–Nicolson time integration algorithm to this system gives the wholly discretized scheme. The efficiency of the method is tested over several initial boundary value problems. In addition, the stability of the computational scheme is analyzed by considering Von Neumann technique. The computational results obtained by the suggested scheme are simulated and compared with the commonly existing numerical findings.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Introduction
Many phenomena are classified through constructing the nonlinear PDEs in many disciplines such as mathematical physics. The generalized Kuramoto–Sivashinksy (gKS) equation is one of these equations which has been widely used in modeling wave mechanism in the context of such fields. In this study, numerical simulations of wave patterns are investigated for the KS model which is given as the following nonlinear PDE in one dimension [22],
along with the initial condition (IC),
and boundary conditions (BCs),
where \(\alpha\), \(\beta\) and \(\vartheta\) are presented as real constants. The nonlinear advection term is given by \(uu_{x}\), the dissipation term is known as \(u_{xx}\) and dispersion term is presented as \(u_{xxx}\) in the model description of the gKS equation. Plasma physics, concentration waves, flame propagation and reaction-diffusion dynamics, free surface film-flows and two face flows in plain or cylindrical geometries [16,17,18] are simulated computationally by the gKS equation. Tanh-function [11], Chebyshev spectral collocation [15], radial basis function-based mesh-free [26], Lattice Boltzmann [19], meshless method of lines [13], He’s variational iteration [24], finite difference and collocation [20], differential quadrature [23] and generalization of Gegenbauer Wavelet Collocation [6] methods are build up to calculate numerical and analytical solutions of the various classes of KS equation.
The gKS equation is classified by proper determination of \(\beta\). For instance, when \(\beta\) is zero, this type of the equation is named as Kuramoto–Sivashinsky (KS) equation which models wave pattern in various physical and chemical fields. When the parameters are chosen as \(\alpha =\vartheta =1\) and \(\beta =0\), the model represents the wave patterns in unstabilized flames and thin hydrodynamic films [12]. The special case without \(u_{xxx}\) is handled numerically using collocation method via exponential cubic B-spline, trigonometric cubic B-spline and septic B-spline [9, 10, 29]. Local discontinuous Galerkin method and differential quadrature method are applied in [27, 28]. In this study, since gKS equation has derivatives of up to fourth order, it can be integrated using quartic trigonometric B-splines.
Splines are extensively used tools in many fields of applied mathematics. These functions are used not only to represent geometric design, but also to model scientific data. Thus, many splines have been proposed by researches to interpolate complex function, to fit curves at some given points and to solve differential equations [1,2,3]. Trigonometric tension B-splines are nonpolynomial splines consisting of two or more trigonometric functions having the form of bell-shaped curve. A quartic trigonometric tension (QTT) B-splines are introduced in the paper [4] to get numerical results of the Burgers–Huxley equation. Also, in that work, a QTT B-spline collocation method with Crank–Nicolson combination is build up for integrating the Burgers–Huxley equation. In another study, current splines are employed to the base of a collocation method to obtain computational solutions of regularized long wave equation [14]. Recent applications of present spline function to the nonlinear models are presented in [7, 8].
More recently, the KS model has been investigated by scholars in numerical and analytical sense. A study is conducted to find the numerical solutions of KS model via fourth-order Runge–Kutta method [5]. Analytical findings have been contributed in [25] by adopting Laplace transform and variational iteration methods for integer and fractional types of KS model. Another study has been devoted to explore the well-posedness of the KS equation in two dimensions [21].
The rest of the work is constructed as follows: In Sect. 2, the B–spline function is explored by considering the necessary higher-order derivative definitions. The employment of the methodology is also presented which gives the space-time discretized scheme in Sect. 3. Then, Sect. 4 serves the stability investigation of the scheme based on Von-Neumann stability method. Section 5 presents numerical experiments showing the capability of the current procedure. Depictions of the solutions are presented in one- or two-dimensional views. Physical pattern of the experimental cases is simulated. Section 6, therefore, reveals the advantages of the current scheme with conclusive notes and possible extensions of the study.
Description of QTT B-splines
In this section, the description of the newly proposed B-spline function is explored based on trigonometric and polynomial functions. First, consider the uniformly partitioned interval [a, b] as in \(a=x_{0}<x_{1}<\ldots <x_{N}=b\) into finite elements \([x_{m},x_{m+1}]\) assuming mesh length as \(h=x_{m+1}-x_{m},\) \(m=0,1,\ldots ,N-1.\) The current QTT B-spline function of order \(k=2\) is given as [4],
where \(\tau = \sqrt{\eta },\mathrm{{ }}\eta = \frac{\pi }{h}\left( {\eta \in \mathbf{{R}}} \right)\) shows the tension parameter. When the order is given as \(k\ge 3,\) the following recursive formula is presented to derive the higher-order QTT B-spline \(T_{m,k}(x)\),
where \(\gamma _{m,k}=\left( \int \limits _{-\infty }^{\infty }T_{m,k}(s)ds\right) ^{-1},\) for \(m=0,\pm 1,\ldots\).
Now, considering equations (4) and (5), QTT B-splines for \(k=5\) are represented as,
where \(\theta =\frac{r}{2\tau ^{2}}\), \(r=\frac{1}{2h^{2}(1-M)},\) \(C_{m+j}=\cos (\tau (x_{m+j}-x))\), \(D_{m+j}=(x_{m+j}-x),\) \(M=\cos (\tau h)\). The detailed values of the QTT B-Spline function at the connected values are explored in Table 1.
where
-
\(\phi _{1} =r( h^{2}\tau ^{2}+2\cos (\tau h)-2) /2\tau ^{2}\),
-
\(\phi _{2} =r( h^{2}\tau ^{2}-2\cos (\tau h)( h^{2}\tau ^{2}+1) +2) /2\tau ^{2}\),
-
\(\phi _{3} =r( h\tau -\sin (\tau h)) /\tau\) ,
-
\(\phi _{4} =r( -h\tau +3\sin (\tau h)-2\cos (\tau h)h\tau )/\tau\) ,
-
\(\phi _{5} =r(1-\cos (\tau h))\),
-
\(\phi _{6} =r\tau \sin (\tau h)\),
-
\(\phi _{7} =-3r\tau \sin (\tau h)\).
The general form of the B-Spline functions depends on the distinct-free parameter \(\tau\). The QTT B-splines over the domain \([-1,1]\) are depicted in Fig. 1 considering \(\tau =9\).
Application of the method using QTT B-splines
The set of QTT B-splines given by \(T_{m,5}(x),\) \(m=-2,\ldots ,N+1\) is known to be a basis on the problem domain [a, b]. Therefore, the solutions given by U(x, t) are approximated by assembling the QTT B-splines \(T_{m,5}(x)\) for the analytical solutions u(x, t) as,
The values given by \(\gamma _{m}(t)\) are presented as unknown variables which will be evaluated with the treatment of Galerkin method. Over the sample finite element \([x_{m},x_{m+1}],\) approximated solution which is represented by Eq. (7) is given in terms of five QTT B-spline shape functions as the following,
The unknown function U and its related derivatives given by \(U_{x},U_{xx},U_{xxx}\) on \([x_{m},x_{m+1}]\) are carried out in terms of \(\gamma _{m}\) by using (8) and the QTT B-spline curve suggested in (6) as the following,
Regarding the Galerkin methodology, the following integral from a to b is presented as,
where w(x) is named as weight function. Over the typical element \([x_{m},x_{m+1}]\), the distribution of integral Eq. (10) is
Now, the transformation \(\xi =x-x_{m}\), \(0<\xi <h\) is applied to Eq. (11) which corresponds to
Then, the QTT B-spline shape functions \(T_{j}(x),\) \(j=m-2,\ldots ,m+2\) on [0, h] can be obtained in terms of the local coordinate \(\xi\) as,
Therefore, using Eqs. (13) into Eq. (8) and employing Eq. (8) into Eq. (12) entail to the following,
in which \(^{\prime }\) and \(\cdot\) express space and time derivatives, respectively. Now, consider the following matrix forms for each \(i,j,k=m-2(1)m+2\) as,
where the matrices \({\mathbf {A}}^{e},\) \({\mathbf {C}}^{e},{\mathbf {D}}^{e},\) \({\mathbf {E}}^{e}\) are presented in \(5\times 5\) dimension and the matrix \({\mathbf {B}}^{e}\) is the element matrix with the dimension \(5\times 5\times 5,\) then with the representations of these element matrices Eq. (14) is reorganized as,
where \(\gamma =(\gamma _{m-2},\ldots ,\gamma _{m+2})^{T}.\) Now, the local element matrices given in Eq. (16) are assembled which yields the following global matrix equation,
Then, the unknown parameters \(\gamma\) and its related derivative form \({\dot{\gamma }}\) are accomplished by the Crank–Nicolson formulation including the time stages \(n+1\) with n as,
Therefore, iterative formula is obtained for the time parameters \(\gamma ^{n}\) as the following,
The last expression consists of \(N+4\) linear equations and \(N+4\) unknowns as \((\gamma _{-2}^{n+1},\gamma _{-1}^{n+1},\ldots ,\gamma _{N+1}^{n+1})\). Then, with the use of BCs and initial value of the problem, the vector \((\gamma _{-2}^{0},\gamma _{-1}^{0},\ldots ,\gamma _{N+1}^{0})\) is achieved. In addition, nonlinearity is handled by replacing the term \({\mathbf {B}}(\gamma ^{n})\) with \({\mathbf {B}}(\gamma ^{n+1})\) so that the system is obtained by the Gauss elimination method. In addition to increase the accuracy, and to tackle the nonlinearity, it is essential to apply the following iteration at each time steps as,
Finally, the solutions of the resultant system of the linear equations give the desired computational solutions.
Stability analysis
The Von Neumann stability analysis is implemented to discuss the stable computational difference scheme. Firstly, the term U is assumed as local constant which is given as a part of the nonlinear term \(UU_{x}\), so that Fourier stability method for Eq. (19) can be performed. In order to do so, a typical member of the (19) is considered as,
where the parameters \(\omega _{i},\) \(i=1,\ldots ,9\) are assembled from the system (19) in which these values are not explained since they include long and complicated expressions. Then, adressing the Fourier mode \(\gamma _{m}^{n}=s^{n}e^{im\theta }\) for the linearized difference equation, following relation is written as,
Thus, the growth factor quantity is obtained as the following equation,
where
Obviously, the quantity in the last expression \(\left| q\right|\) is less than or equal to 1 which, therefore, proves to preserve the unconditionally stable difference scheme. However, each parameter is preferred to give efficient numerical solutions.
Application of the suggested method to experimental cases
In this section, some experimental cases are considered to validate the results produced by suggested method. To measure the accuracy of the proposed method for a fair comparison, calculations are carried out with the global relative error (Gre) given by,
where u shows the exact and U represents the numerical solutions, respectively.
Solitary wave propagation
As a first case, numerical solution of Eq. (1) is given under the selection of parameters as \(\alpha =\vartheta =1\) and \(\beta =4\). Analytical solution is given by [19],
The IC is determined by setting \(t=0\) in the analytical solution and homogen Neumann BCs are used. The solution of this problem preserves the solitary wave profile with initial position \(x_{s}\) and speed s. The parameters of \(s=6,\) \(k=\frac{1}{2},\) \(x_{s}=-10\) in Eq. (21) are preferred in calculations. The program is carried out considering the interval \([-30,30]\) for \(\varDelta t=0.0001\) and space step \(h=0.1\) as in the study [19] . In Table 2, values of Gre at some times are documented to make comparison results of suggested method with ones for [19] and CPU time of the suggested Galerkin technique is calculated by considering time steps as 0.01 and 0.0001 to show the cost in Table 2. Suggested method gives far better results than the method given in the work [19]. In addition, solutions are much more efficient even the larger time step is preferred. For instance, with \(\varDelta t = 0.01\), suggested algorithm gives error \(3.1885 \times 10^{-3}\), whereas cubic spline Lattice Boltzmann method produces \(3.5172 \times 10^{-2}\) at time stage \(t=4\) using the time step \(\varDelta t= 0.0001\).
The solitary wave propagation is depicted in 3D at time \(t=4\) in Fig. 2. And also, in Fig. 3, the solutions at \(t=1,2,3,4\) are illustrated for \(\varDelta t=0.001\) and \(h=0.1\).
Shock wave profile of KS equation
The computational calculations are carried out for the numerical solution of Eq. (1) considering the following analytical solution:
The IC is determined by the closed-form solution given by Eq. (22), and homogen Neumann BCs are used. The numerical results are obtained on the finite interval \([-30,30]\) with \(\varDelta t=0.01\) and \(h=0.4\) and compared with the well-known existing methods such as quintic B-spline collocation method [22], exponential cubic B-spline collocation method [9] and the differential quadrature method [23]. Table 3 serves these numerical findings according to the parameters as \(s=5,\) \(k=\sqrt{\frac{11}{76}},\) \(x_{s}=-12.\)
Shock wave simulations of the KS equation are presented by Fig. 4 in 3D view over \(0\le t \le 4\). In addition, generation of the shock waves is visualized in Fig. 5 considering at time levels \(t=1,2,3,4\) with \(\varDelta t=0.001\) and \(h=0.1\). Depictions of the shock profile of KS equation exhibit the physical nature of the wave propagation.
The chaotic nature of KS equation
Numerical solution of Eq. (1) is get for \(\alpha =\vartheta =1\) and \(\beta =0\). This example is a special a case of gKS which is known to exhibit chaotic behavior when spatial domain is finite. Such model is given under the Gaussian IC as,
BCs are determined by considering conditions given by (3). The computational domain is considered as \([-30,30]\) with \(N=120,\) \(\varDelta t=0.001\) space and time partitions. In Fig. 6, wave pattern is simulated over \(0\le t \le 5\) and Fig. 8 shows the depiction of turbulent flow on \(0\le t \le 20\) temporal domain in 3D views. In addition, in Figs. 7 and 9, depictions of the numerical solutions of the gKS equation are presented at time stages \(t=5\) and \(t=20\), respectively. It can be observed that the numerical results well exhibit chaotic behavior of the model as expected.
Conclusion
In this work, using QTT B-splines, Galerkin technique is constructed for the numerical solution of the gKS equation. The present method to simulate solitary wave propagation numerically provides less error than in comprasion with the Lattice Boltzmann method as given in Table 2. Shock profile wave propagation is presented to show accuracy of the method compared with the quintic collocation method and quintic B-spline-base differential quadrature. Table 3 also shows that the current scheme gives efficient results than those existing works. In the last experimental case, chaotic solution of the KS equation is simulated and proved to preserve turbulent wave nature of the current model. Thus, the proposed method is shown to be capable for generating numerical solution of high accuracy for the solution of the gKS equation. The experimental results are quite satisfactory when compared with the other results of the literature. So it can be concluded that the QTT B-spline Galerkin method is both efficient and reliable for getting the numerical findings of the PDEs. The proposed algorithm can be further considered as preferable for the numerical solution of the PDEs with derivatives of up to fourth order since it can be integrated using QTT B-splines quite efficiently.
References
Ak, T.: Numerical experiments for long nonlinear internal waves via gardner equation with dual-power law nonlinearity. Int. J. Mod. Phys. C 30(1950066), 1–18 (2019)
Ak, T., Dhawan, S., Inan, B.: Numerical solutions of the generalized Rosenau–Kawahara–Rlw equation arising in fluid mechanics via B-spline collocation method. Int. J. Mod. Phys. C 29(1850116), 1–10 (2019)
Ak, T., Saha, A., Dhawan, S.: Performance of a hybrid computational scheme on traveling waves and its dynamic transition for Gilson–Pickering equation. Int. J. Mod. Phys. C 30(1950028), 1–10 (2019)
Alinia, N., Zarebnia, M.: A numerical algorithm based on a new kind of tension b-spline function for solving Burgers–Huxley equation. Numer. Algorit. 82, 1121–1142 (2019)
Bhatt, H., Chowdhury, A.: A high-order implicit–explicit runge–kutta type scheme for the numerical solution of the Kuramoto–Sivashinsky equation. Int. J. Comput. Math. 1–20 (2020)
Celik, I.: Generalization of gegenbauer wavelet collocation method, to the generalized Kuramoto–Sivashinsky equation. Int. J. Appl. Comput. Math. 4(111), 1–19 (2018)
Dag, I., Hepson, O.E.: Hyperbolic-trigonometric tension b-spline galerkin approach for the solution of fisher equation. In: AIP Conference Proceedings, vol. 2334, p. 090004. AIP Publishing LLC (2021)
Dag, I., Hepson, O.E.: Hyperbolic-trigonometric tension b-spline galerkin approach for the solution of rlw equation. In: AIP Conference Proceedings, vol. 2334, p. 090005. AIP Publishing LLC (2021)
Ersoy, O., Dag, I.: The exponential cubic b-spline collocation method for the Kuramoto–Sivashinsky equation. Filomat 30(3), 853–861 (2016)
Ersoy Hepson, O.: Generation of the trigonometric cubic b-spline collocation solutions for the Kuramoto–Sivashinsky(ks) equation. AIP 1978(470099), 1–5 (2018)
Fan, E.: Extended tanh-function method and its applications to nonlinear equations. Phys. Lett. A 277, 212–218 (2000)
Grimshaw, R., Hooper, A.P.: The non-existence of a certain class of travelling wave solutions of the Kuramoto–Sivashinsky equation. Phys. D 50, 231–238 (1991)
Haq, S., Bibi, N., Tirmizi, S.I.A., Usman, M.: Meshless method of lines for the numerical solution of generalized Kuramoto–Sivashinsky equation. Appl. Math. Comput. 217, 2404–2413 (2010)
Hepson, O.E., Yiğit, G.: Numerical investigations of physical processes for regularized long wave equation. In: International Online Conference on Intelligent Decision Science, pp. 710–724. Springer (2020)
Khater, A.H., Temsah, R.S.: Numerical solutions of the generalized Kuramoto–Sivashinsky equation by chebyshev spectral collocation methods. Comput. Math. Appl. 56, 1465–1472 (2008)
Kuramoto, Y.: Diffusion-induced chaos in reaction systems. Prog. Theor. Phys. 64, 346–367 (1978)
Kuramoto, Y., Tsuzuki, T.: On the formation of dissipative structures in reaction-diffusion systems reductive perturbation approach. Prog. Theor. Phys. 54(3), 687–699 (1973)
Kuramoto, Y., Tsuzuki, T.: Persistent propagation of concentration waves in dissipative media far from thermal equilibrium. Prog. Theor. Phys. 55(2), 356–369 (1976)
Lai, H., Ma, C.: Lattice Boltzmann method for the generalized Kuramoto–Sivashinsky equation. Phys. A 388, 1405–1412 (2009)
Lakestani, M., Dehghan, M.: Numerical solutions of the generalized Kuramoto–Sivashinsky equation using b-spline functions. Appl. Math. Model. 36, 605–617 (2012)
Larios, A., Yamazaki, K.: On the well-posedness of an anisotropically-reduced two-dimensional Kuramoto–Sivashinsky equation. Phys. D Nonlinear Phenom. 411, 132560 (2020)
Mittal, R.C., Arora, G.: Quintic b-spline collocation method for numerical solution of the Kuramoto–Sivashinsky equation. Commun. Nonlinear Sci. Numer. Simul. 15, 2798–2808 (2010)
Mittal, R.C., Dahiya, S.: A quintic b-spline based differential quadrature method for numerical solution of Kuramoto–Sivashinsky equation. Int. J. Nonlinear Sci. Numer. 18(2), 103–114 (2017)
Porshokouhi, M.G., Ghanbari, B.: Application of he’s variational iteration method for solution of the family of Kuramoto–Sivashinsky equations. J. King Saud Univ. Sci. 23, 407–411 (2011)
Shah, R., Khan, H., Baleanu, D., Kumam, P., Arif, M.: A semi-analytical method to solve family of Kuramoto–Sivashinsky equations. J. Taibah Univ. Sci. 14(1), 402–411 (2020)
Uddin, M., Haq, S., Islam, S.: A mesh-free numerical method for solution of the family of Kuramoto–Sivashinsky equations. Appl. Math. Comput. 56, 1465–1472 (2008)
Yan, X., Chi-Wang, S.: Local discontinuous galerkin methods for the Kuramoto–Sivashinsky equations and the ito-type coupled kdv equations. Comput. Method Appl. M 195, 3430–3447 (2006)
Yigit, G., Bayram, M.: Polynomial based differential quadrature for numerical solutions of Kuramoto–Sivashinsky equation. Therm. Sci. 23(1), 129–137 (2019)
Zarabnia, M., Parvaz, R.: Septic b-spline collocation method for numerical solution of the Kuramoto–Sivashinsky equation. Int. J. Math. Comput. Phys. Elect. Comput. Eng. 7, 544–548 (2013)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Ersoy Hepson, O. Numerical simulations of Kuramoto–Sivashinsky equation in reaction-diffusion via Galerkin method. Math Sci 15, 199–206 (2021). https://doi.org/10.1007/s40096-021-00402-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40096-021-00402-8