Abstract
During the last two decades, there has been a considerable interest in developing efficient radial basis functions (RBFs) algorithms for solving partial differential equations (PDEs). In this paper, we introduce the Petrov-Galerkin method for the numerical solution of the one-dimensional nonlinear Burger equation. In this method, the trial space is generated by the multiquadric (MQ) RBF and the test space is generated by the compactly supported RBF. In the time discretization of the equation, the Taylor series expansion is used. This method is applied on some test experiments, and the numerical results have been compared with the exact solutions. The , , and root-mean-square (RMS) errors in the solutions show the efficiency and the accuracy of the method.
1. Introduction
Burger's equation serves as a useful model for many interesting problems in applied mathematics and related sciences. It is in the models of effectively certain problems of a fluid flow nature, wherein either shocks or viscous dissipation is a significant factor.
The first steady-state solution of Burger's equation were given by Bateman [1] in 1915. However, the equation gets its name from the extensive research of Burgers [2] beginning in 1939. This equation has a large variety of applications in modeling of water in unsaturated soil, dynamics of soil water, statistics of flow problems, mixing and turbulent diffusion, cosmology, and seismology [3–5].
In one-dimension case, Burger's equation is given by where is a viscosity constant and the subscripts and denote the space and time differentiations, respectively. The initial condition and the boundary conditions are given by
Various numerical methods have been introduced to solve Burger's equation, such as cubic splines and finite differences [6], compact differencing method [7, 8], finite element method (FEM) [9], the Tau method [10], and the method of lines [11].
Many of these methods need the mesh generation and provide the solution of the problem on mesh points. But in recent years, other methods, namely, meshless methods, have been provided, which do not need to generate the mesh. In a meshless method, a set of scattered nodes is used instead of meshing the domain of the problem. A powerful tool for the scattered data interpolation problem is the RBFs. In the last two decades, the development of the RBFs as a truly meshless method for approximating the solutions of PDEs has drown the attention of many researchers in science and engineering. The initial development was due to the pioneering work of Kansa [12, 13] who directly collocated the RBFs for the approximated solution of the equations.
To date, useful meshless methods have been provided for the nonlinear PDEs, wherein the RBFs are used, such as the collocation method for solving Burger's equation [14], Korteweg-de Vries equation [15, 16], and sine-Gordon equation [17].
In this paper, we present the other meshless method, which is called the meshless local Petrov-Galerkin (MLPG) method. This method was first introduced by Atluri and Zhu [18]. The MLPG method is very general, can be based on the symmetric or unsymmetric local weak forms of the PDEs, and uses a variety of interpolation method for test and trial functions. Hence, we use the local unsymmetric weak form of the problem, and the MQ RBF and the compactly supported RBF are chosen as the trial and the test functions, respectively.
In classical methods, using low order time integration for transient problems may cause loss in the accuracy of the numerical schemes. On the other hand, increasing the order of time discretization can yield better results. The main idea behind the present time integration is to use more time derivatives in the Taylor series expansion. Recently, Daĝ et al. [19] have developed the Taylor-Galerkin and the Taylor-collocation methods for the numerical solution of Burger's equation by B-splines. The objective of the present paper is to obtain the numerical solution of Burger's equation by combining the MLPG method with the aforesaid time discretization of the Taylor series expansion that according to the best of our knowledge, this is the first demonstration of the application of it.
The paper is organized as follows. A brief knowledge of the RBFs interpolation is given in Section 2. In Section 3, the time discretization of Burger's equation is introduced, and in Section 4, the MLPG method is presented. In Section 5, we give several numerical experiments to demonstrate the accuracy and efficiency of our meshless numerical scheme, and Section 6 contains some conclusion.
2. Radial Basis Function Interpolation
In order to explain multivariate scattered data interpolation by RBFs, suppose a data vector of function values, sampled from an unknown function at a scattered finite point set , is given. Scattered data interpolation requires computing a suitable interpolant satisfying , that is,
To this end, the RBF interpolation scheme works with a fixed radial function , and the interpolant in (2.1) is assumed to have the form where denotes the Euclidean distances and form a basis for the -dimensional linear space of polynomials of total degree less than or equal to in variables.
Since enforcing the interpolation conditions in (2.1) leads to a system of linear equations in the unknowns and , one usually adds the additional conditions
In general, solving the interpolation problem based on the extended expansion (2.2), now amounts of solving a system to linear equations of the form: where the pieces are given by , , , and 0 is a zero vector of length .
From [20, 21], we know that we have a unique interpolant of if is a conditional positive definite RBF of order . The commonly used RBFs are MQ, Gaussian, and compactly supported RBFs, see Table 1. The MQ has been found to provide the most accurate approximation in most of the applications of the RBFs [22]. For the MQ RBF, , we have . In this case and for the one-dimensional space, the linear basis function is given by . Therefore, in one-dimensional and for the MQ approximation scheme, (2.2) yields the following expansion: and (2.3) yields From this equation, we obtain Substituting (2.7) into (2.5) yields or in the compact form, we obtain where the basis functions are given by
For more details about RBFs, see [23].
The variable in the MQ RBF, , wherein is replaced by , is known as the shape parameter controls the shape of the functions. The shape parameter influences the solution profoundly. Since the exact value of cannot be calculated, empirical studies have been made by researchers in the past to obtain a suitable value for the shape parameter . There are many methods for choosing the optimal value of , such as the brute force method [24] and the leave-one-out cross-validation (LOOCV) algorithm [25]. Some other methods for finding the optimal shape parameter were produced by Kansa and Hon [26], Hardy [27], and Franke [28].
In this paper, we use the value of the shape parameter that is suggested by Hardy [27]. Hardy suggested the value where is the distance from the th center to the nearest neighbor and is the number of centers.
3. Time Discretization
For the time discretization of (1.1), we use the Taylor series expansion. In this approach, the term , , is arranged with the help of the Taylor series expansion as Differentiating (1.1) with respect to time, may be written by For the time derivative in (3.2), using forward difference formula, can be rewritten as Substituting (3.3) into (3.1) and using the resulting expression in (1.1) yield the following time-discretized form of Burger's equation:
4. The Meshless Local Petrov-Galerkin Method
The MLPG approach was first proposed by Atluri and Zhu [18] for solving linear potential problems, by using domain discretization technique. The MLPG approach uses either a local symmetric weak form, or an unsymmetric weak form of the governing equation over the local subdomain.
In the application of a local Petrov-Galerkin scheme to the Burger's equation, (3.4) is multiplied with the weight function and the resulting equation is integrated over the local subdomain such as , which is a small region taken for each node in the global domain . Therefore, the local weak form, is obtained which requires to be twice differentiable and to be continuous. If not, will be infinity where is discontinuous and (4.1) makes no sense. On the other hand, there is no continuity requirement on the weight function in (4.1). Thus, the requirements on and are unsymmetric, in order to be admissible in (4.1). Hence, we denote (4.1) as a local unsymmetric weak form (LUWF). The weight function is often referred to as the test function. In (4.1), is a local subdomain associated with the point .
In this paper, the compactly supported RBFs are chosen as the test functions. In this case, is support of the compactly supported RBFs. The compactly supported RBFs are generally expressed in the form (Wu [29] and Wendland [30]), and where is a prescribed polynomial. By replacing with for , the basis function has support on . In the numerical results for compactly supported RBF, the Wendland function is used as follow:
In LUWF (4.1), the collocation approach is used to impose both the essential as well as natural boundary conditions. The 10-point Gauss quadrature rule [31] is used for the numerical integration of (4.1).
5. Numerical Experiments
Three test experiments are studied to investigate the robustness and the accuracy of the proposed method. The , , and RMS errors, which are defined by are used to measure the accuracy wherein is the approximate solution and is the exact solution of (1.1).
The computations associated with the experiments discussed above were performed in Maple 13 on a PC with a CPU of 2.4 GHZ.
Experiment 1. In this experiment, we consider the shock propagation solution of Burger's equation [19] as a numerical experiment. This solution is given by
Initial condition of the problem is obtained from (5.2) at time , and boundary conditions in (1.3) can be obtained from the exact solution. Propagation of the shock is studied with the parameters and over the solution domain . The computational results are listed in Tables 2, 3, and 4. We also plot the profiles of the solutions at , and 2.4 in Figure 1. Figure 2 represents the percentage absolute error at different time levels. Figure 3 represents the percentage absolute error for various values of at the time of Experiment 1.
According to Table 3, we observe that first the value of errors decrease, but for these values increase. When we add center points in order to improve the accuracy, the condition number of the interpolation matrix grows and then the problem becomes ill-conditioned. The ill-conditioning grows due to the decrease in the distance between points, and not to the increase in the number of center points [32].
(a)
(b)
(c)
(d)
(a)
(b)
(c)
(d)
(a)
(b)
(c)
(d)
Experiment 2. In this experiment, we consider Burger's equation (1.1) with exact solution [33], where the parameters , and are arbitrary constants. Initial condition of the problem is obtained from (5.3) at time , and boundary conditions in (1.3) can be obtained from the exact solution. We study this experiment with parameters , and . The computational results are listed in Tables 5, 6, and 7. We also plot profiles of the percentage absolute error at different time levels in Figure 4.
(a)
(b)
(c)
(d)
Experiment 3. In this experiment, we study (1.1) with the exact solution [34], with The initial function in (1.2) is obtained from (5.4) at time . The boundary functions and in (1.3) can be obtained from the exact solution. The computational results are listed in Tables 8, 9, and 10. Figure 5 represents the and norm errors for with various values of in Experiment 3.
(a)
(b)
6. Conclusion
In this paper, we present a new meshless method, the MLPG method, for solving Burger's equation. The Wendland compactly supported RBF is used as the test function in the local weak form, and in time discretization, the Taylor series expansion is used. Results of numerical experiments indicate that it is an accurate and efficient numerical scheme. The proposed method is a truly meshless method, which does not require domain elements in the interpolation. In the weak form, integrals are evaluated over the local subdomain instead of the global domain. This method can be extended to solve Burger's equation in the higher-order dimensions because the MQ RBF can easily be extended to higher dimensions. Also, because of the infinite differentiability of the RBFs, we can use the MLPG method for the PDEs with higher-order derivatives with respect to , for example, the Korteweg-de Vries equation.