Research Article  Open Access
Navnit Jha, R. K. Mohanty, Vinod Chauhan, "Geometric Mesh ThreePoint Discretization for FourthOrder Nonlinear Singular Differential Equations in Polar System", Advances in Numerical Analysis, vol. 2013, Article ID 614508, 10 pages, 2013. https://doi.org/10.1155/2013/614508
Geometric Mesh ThreePoint Discretization for FourthOrder Nonlinear Singular Differential Equations in Polar System
Abstract
Numerical method based on three geometric stencils has been proposed for the numerical solution of nonlinear singular fourthorder ordinary differential equations. The method can be easily extended to the sixthorder differential equations. Convergence analysis proves the thirdorder convergence of the proposed scheme. The resulting difference equations lead to block tridiagonal matrices and can be easily solved using block GaussSeidel algorithm. The computational results are provided to justify the usefulness and reliability of the proposed method.
1. Introduction
Consider the fourthorder boundary value problem: subject to the necessary boundary conditions:
where and , , , and are real constants and .
Or equivalently
subject to the natural boundary conditions:
Fourthorder differential equations occur in various areas of mathematics such as viscoelastic and inelastic flows, beam theory, Lifshitz point in phase transition physics (e.g., nematic liquid crystal, crystals, and ferroelectric crystals) [1], the rolls in a RayleighBenard convection cell (two parallel plates of different temperature with a liquid in between) [2], spontaneous pattern formation in secondorder materials (e.g., polymeric fibres) [3], the waves on a suspension bridge [4, 5], geological folding of rock layers [6], buckling of a strut on a nonlinear elastic foundation [7], traveling water waves in a shallow channel [8], pulse propagation in optical fibers [9], system of two reaction diffusion equation [10], and so forth.
The existence and uniqueness of the solution for the fourth and higherorder boundary value problems have been discussed in [11â€“14]. In the recent past, the numerical solution of fourthorder differential equations has been developed using multiderivative, finite element method, Ritz method, spline collocation, and finite difference method [15â€“18]. The determination of eigen values of self adjoint fourthorder differential equations was developed in [19] using finite difference scheme. The motivation of variable mesh technique for differential equations arises from the theory of electrochemical reactionconvectiondiffusion problems in onedimensional space geometry [20]. The geometric mesh method for selfadjoint singular perturbation problems using finite difference approximations was discussed in [21]. The use of geometric mesh in the context of boundary value problems was studied extensively in [22â€“24]. In this paper, we derive a geometric mesh finite difference method for the solution of fourth and sixthorder differential boundary value problems with order of accuracy being three. The simplicity of the proposed method lies in its threepoint discretization without any use of fictitious nodes. The scheme is compact and applicable to both singular and nonsingular problems. The resulting difference equations are solved using block GaussSeidel algorithm for linear case, and corresponding Newtonâ€™s method has been applied to nonlinear problems.
The paper is outlined in the following manner: in Section 2, the derivation of the method is discussed in detail. In Section 3, we define the procedure for numerical solution to singular problems in such a way that the method retains the order and accuracy even in the vicinity of singularity. In Section 4, algorithmic details are provided for the numerical solution of sixthorder differential equations. The convergence property has been discussed briefly in Section 4. The numerical illustrations based on geometric mesh as well as uniform mesh were provided in Section 5. The paper is concluded in the last section with future development and remarks.
2. Derivation of the Numerical Scheme
We discretize the solution region such that . Let and be the nonuniform step size, and let be the geometric mesh ratio. Let and denote the exact solution values of and at the mesh and , be their approximate solutions, respectively.
Consider the following threepoint geometric mesh discretizations for and : where
Define
It is easy to verify that where , , and so forth.
Now, let where and are free parameters to be determined.
With the help of (8) and (11), it follows that
Further, we define
With the help of (12)(13), it follows that
With the help of approximations (10), (14), the difference equation (6) at each internal mesh , is approximated as follows: where
The difference scheme (15) to be of , the coefficients of in (16) must be zero, and hence we obtain
Thus the values associated with (17) are given by , and the local truncation errors given by (16) becomes , . However, for , the error reduces to .
3. Application to Singular Problem
Consider the singular fourthorder linear differential equation in cylindrical polar coordinates: or equivalently
where , , and are the singular coefficients. The associated boundary conditions are given by (4). For , 1, or 2, the differential equation (18) shows planar, cylindrical, or spherical geometries (see, [25, 26]).
Applying the difference schemes (5) and (15) to (19) and (20), respectively, we obtain a system of coupled difference equations for : where
Note that the scheme (21) fails when the solution is to be determined at . We overcome this difficulty by modifying the scheme in such a way that the solutions retain order and accuracy even in the vicinity of singularity . We consider the following approximations:
Using the similar approximations of , and and neglecting terms, we can rewrite (21) with the help of compact operators as
where
The modified scheme (24) is free from the terms , hence easily solved for . The difference equation (24) along with the boundary conditions (4) gives a linear system of equations for the unknowns , , . The resulting block tridiagonal system can be easily solved using block GaussSeidel algorithm.
4. Extension to SixthOrder Differential Equations
The proposed method can be easily extended to the sixthorder differential equations: subject to the necessary boundary conditions:
or equivalently, subject to the natural boundary conditions:
We outline the similar algorithm for (28) as follows: where the values of are same as obtained in Section 2.
Then, the approximations for (26) or (28) can be obtained by the following relations for :
The boundary conditions (27) are used to obtain values at for and , respectively. The numerical scheme may be implemented by neglecting terms from (31).
5. Convergence Analysis
In this section, we derive the difference scheme of singular problem and investigate the convergence property of the proposed scheme. Consider the model problem or equivalently
along with the boundary conditions (2).
If and on , then the boundary value problem (33) has a unique solution. Under these assumptions (see, [27]), there are constants and such that , .
For the convergence, the coefficients , , and associated with (5) and (15) must be negative (see, [22]), from which we obtain the condition .
Now applying the methods (5) and (15) to (33) and using the similar technique discussed in Section 3 for singular coefficients and , we obtain the following system of difference equations: where Incorporating the boundary values , , , and , the system of difference equations (34) in the matrixvector form can be written as where is the block tridiagonal matrix, , , and .
Let , , and , which satisfies
Let be the discretization error vector, and let , be the discretization errors at the node . Subtracting (37) from (36), we obtain the error equation: Also, we obtain
Thus for sufficiently small or equivalently as , we obtain the relations , and , . Hence, the graph of the matrix is strongly connected, and thus the matrix is irreducible (see, [28]).
Further, let be the sum of the th row sum of the matrix ; then we have the following.
For ,
For ,
For ,
This implies the following.
For ,
For ,
For ,
For sufficiently small value of , that is, in the limiting case as , we obtain
Hence we find that is monotone (see, [29, 30]). Consequently exists, and .
Let be the (, )th element of , and we define
From the theory of matrix, we know that
Thus the following bounds can be estimated with the help of series expansions.
For ,
For ,
For ,
With the help of (48), we obtain the following bounds:
From (38) and (52), we obtain the following error estimates:
This proves the thirdorder convergence of the proposed method. We generalize the above results in the following theorem.
Theorem 1. The method given by (15) for the numerical solution of fourthorder singular differential equation (1) with sufficiently small and , gives a thirdorder convergent solution.
6. Computational Illustrations
To illustrate the geometric mesh finite difference method, we have solved both linear and nonlinear problems. The boundary conditions may be obtained from the analytical solution as a test procedure. The numerical accuracy of results are tested using maximum absolute errors and root mean square errors with the error tolerance being â‰¤10^{âˆ’15}. For the simplicity in computation, we choose , for and define the geometric mesh as follows ([24]):
The subsequent mesh spacing is determined by , . If the boundary value problems exhibit layer behaviour near the left boundary (see, [21]), the solution value can be captured by choosing . If the layer occurs at the right boundary, we choose . If the layer occurs in the interior region, then mesh in the first half of the interval may be arranged by choosing and second half of the interval by choosing .
All the numerical computations are performed using long double length arithmetic in under Linux operating system with 2â€‰GB operational memory.
Example 1. Consider the fourthorder linear problem (see, [31]) in the polar form:
The analytical solution is . The errors estimates for various values of are reported in Tables 1 and 2 for uniform mesh and geometric mesh , respectively.

