- Open Access
Approximation on the hexagonal grid of the Dirichlet problem for Laplace’s equation
© Dosiyev and Celiker; licensee Springer. 2014
- Received: 28 November 2013
- Accepted: 9 March 2014
- Published: 28 March 2014
The fourth order matching operator on the hexagonal grid is constructed. Its application to the interpolation problem of the numerical solution obtained by hexagonal grid approximation of Laplace’s equation on a rectangular domain is investigated. Furthermore, the constructed matching operator is applied to justify a hexagonal version of the combined Block-Grid method for the Dirichlet problem with corner singularity. Numerical examples are illustrated to support the analysis made.
MSC:35A35, 35A40, 35C15, 65N06, 65N15, 65N22, 65N99.
- Laplace’s equation
- Dirichlet boundary value problem
- hexagonal grids
- matching operator
- interpolation for harmonic functions
- Block-Grid method
When solving PDEs, many approximate methods, such as overlapping versions of domain decomposition, composite grids and different types of combined methods, use the matching operator to connect the subsystems within them. Hence, the approximation of the solutions relies heavily on the order of accuracy of the matching operator, as well as on the order of accuracy of the subsystems. In  and , the second order matching operator is used to construct and justify the second order composite grid method for solving Laplace’s boundary value problems. In , the fourth order matching operator is constructed and used for the fourth order composite grids and in  and  it is used for the fourth order Block-Grid method. In [6–9], the sixth order matching operator is constructed for the Block-Grid method and it is used for the sixth order composite grids in .
In all of the above mentioned papers, the fourth and sixth order matching operators were constructed on the basis of the 9-point finite difference solution of Laplace’s equation on square grids. In this paper, the matching operator is constructed for the solution of the Dirichlet problem on a hexagonal grid. In order to approximate the given differential equations at each regular node on a hexagonal grid, the six equidistant nodes surrounding are used, and the truncation error obtained is . Thus, we obtain the same order of accuracy when using the 7-point scheme on the hexagonal grid, as we do when using the 9-point scheme on the rectangular grid (see ). This has many computational advantages such as (i) the matrix of the system will contain seven diagonals rather than nine and will lead to less use of memory space, (ii) the calculations will require less computational effort and (iii) the algorithm will be easier to implement. Hexagonal grids are favored in many applied problems in dynamical meteorology and dynamical oceanography as well (see [12–14]), due to the benefits a hexagonal grid provides, compared to a rectangular grid.
Even though using a hexagonal grid has the above mentioned advantages, it has not been used before in methods such as composite grids, domain decomposition, and combined methods, as the fourth order matching operator for connecting the subsystems together was not constructed. In this paper, in Section 2, the approximate solution in a hexagonal grid on a rectangular domain is analyzed. In Section 3 a fourth order matching operator is constructed and its application to find the fourth order accurate approximate solution on the closed domain is considered. Section 4 contains the justification of using a hexagonal grid for the solution of Laplace’s equation on a staircase polygon, with the use of the Block-Grid method. This method requires the application of the matching operator constructed in Section 3 and gives an overall fourth order accuracy. Numerical examples are illustrated in Section 5 to support the analysis made.
Let be the set of nodes on the interior of , and let , , . Also let denote the set of nodes whose distance from the boundary γ of is and .
From formulae (2.9) and (2.10) it follows that the coefficients of the expressions and are non-negative, and their sums do not exceed one. Hence, on the basis of the maximum principle, it follows that the solution of system (2.6)-(2.8) exists and it is unique (see ).
Everywhere below we will denote constants which are independent of h and of the cofactors on their right by , generally using the same notation for different constants for simplicity.
Proof The proof of this lemma is similar to the proof of the comparison theorem (see Ch. 4 in ). □
are the truncation errors of equations (2.6) and (2.7), respectively.
Let denote the set of points such that all the nodes to determine the expression belong to , and contain the points P, where some of the nodes emerge through the side , . We construct the fourth order matching operator by considering the cases when the point P belongs to one of the sets or .
Case 1. The point lies on the line connecting two neighboring grid nodes (a grid line).
Remark 3.1 When , the node , which is closest to P, is taken as the origin.
Case 2. The point lies inside a grid cell of the hexagonal grid.
From the distribution of the nodes it becomes obvious that only 17 nodes are needed for this approximation (see Figure 2).
In the case , , the 17 nodes used have the same distribution as the reflection of the nodes in Figure 2 about the line . In the cases , and , the nodes for are defined analogously.
In the case when P falls into a triangle of Type B, we rotate the artificial grids formed for Type A with an angle of 180∘, for all four cases of δ and κ specified earlier.
Case 3. , where on the side , , and , .
Remark 3.2 We obtain the representation (3.13), with a less number of grid nodes in (3.10) or (3.11) for the points on the boundary γ of Π.
where u is the exact solution of problem (2.1), (2.2).
Proof According to Theorem 3.1 in , from conditions (3.15) and (3.16) it follows that . Then on the basis of (3.1), (3.5), (3.8), (3.13), and Remark 3.2, we obtain inequality (3.17). □
where is the solution of the finite difference problem (2.6)-(2.8).
where u is the solution of problem (2.1), (2.2).
Let G be an open simply connected staircase polygon, let , , be its sides, including the ends, and let , , be the interior angle formed by the sides and (). Furthermore, let s be the arc length measured along the boundary of G in the positive direction and be the value of s at the vertex , be a polar system of coordinates with pole in and the angle taken counterclockwise from the side .
are satisfied. At the vertices for no compatibility conditions for boundary functions are required; in particular the values of and at these vertices might be different. Additionally, it is required that when , the boundary functions on and are given as algebraic polynomials of arclength s measured along γ.
is harmonic and bounded on the open sector ;
continuous everywhere on apart from the point , when ;
continuously differentiable on ;
satisfies the given boundary conditions on and , .
The function with properties (i)-(iv) is given in .
is the kernel of the Poisson integral for a unit circle.
The approximation of the integral representation given in the following lemma is used to construct an approximate solution of problem (4.1) around the singular vertices , .
where is the curvilinear part of the boundary of the sector .
Proof The proof follows from Theorems 3.1 and 5.1 in . □
All singular corners , , are separated by the double sectors , , with , , and . The polygon is covered by overlapping rectangles , , and sectors , , such that the distance from to a singular point is greater than for all and .
On each rectangle , the seven point difference scheme for the approximation of Laplace’s equation on a hexagonal grid is used, with step size , h is a parameter, and as an approximate solution on , , the harmonic function (4.6) is used.
We use the matching operator constructed in Section 3 to connect the subsystems.
For obtaining the numerical solution of the algebraic system of equations (2.1), (2.2), we outline the procedure: Let , , be certain fixed open rectangles with sides and parallel to the sides of G, and . We use to denote the boundary of the rectangle , is the curvilinear part of the boundary of the sector and .
The overlapping condition is imposed on the arrangement of the rectangles , : any point P lying on , , or located on , , falls inside at least one of the rectangles , where the distance from P to is not less than some constant independent of P. The quantity is called the gluing depth of the rectangles , .
where , , ; , and are defined as equations (2.9), (2.10), and (2.11) in Section 2, respectively.
The solution of the system of equations (4.7)-(4.11) is a numerical solution of problem (2.1), (2.2) on (‘nonsingular’ part of the polygon G).
Theorem 4.2 There is a natural number such that for all and , where is the gluing depth, the system of equations (4.7)-(4.11) has a unique solution.
follows. However, taking (4.14) into account in (4.13) we have that the nonzero maximum value can not be at the points on either. Since the set is connected, from equation (4.12) it follows that . □
is the approximation of the integral representation (4.6) with the use of the composite mid-point rule. We use the function as an approximate solution of problem (2.1), (2.2) on the closed block , (‘singular’ parts of the polygon G).
Proof The proof follows from estimations (4.23)-(4.25) and the principle of maximum by analogy to the proof of Theorem 6.1 in . □
where , .
Proof Estimation (4.27) is obtained from the integral representation (4.6) and formula (4.15) by using estimations (4.25) and (4.26). Estimation (4.28) for is obtained by using inequality (4.27) and Lemma 6.12 in . □
To support the theoretical results, numerical examples have been solved in two different domains.
Example 5.1 Approximation in a rectangular domain.
with the boundary γ. The hexagonal grid (2.5), denoted , is assigned to the grid Π, where denotes the set of nodes on the boundary γ.
is the exact solution in the rectangular domain.
This example is solved using the incomplete LU-decomposition method (see , Ch. 5), and all the calculations are carried out in double precision. As a convergence test, we request the maximum residual error to be 10−12, and as a starting point is used.
Approximation in a rectangle with smooth exact solution
1.15727 × 10−7
7.33698 × 10−9
4.58658 × 10−10
2.89896 × 10−11
2.02482 × 10−12
Example 5.2 Less smooth function.
Approximation in a rectangle with less smooth exact solution
1.9285677 × 10−4
1.1998304 × 10−5
7.4809403 × 10−7
4.67808169 × 10−8
2.922653 × 10−9
Example 5.3 The matching operator.
Results for approximation of inner points with the matching operator
9.624329 × 10−9
Results for approximation of near boundary points with the matching operator
1.716286 × 10−8
3.85255412 × 10−8
5.385032 × 10−10
4.3619541 × 10−9
2.2436186 × 10−10
3.41679468 × 10−10
2.4942270 × 10−11
2.8927971 × 10−12
Example 5.4 Approximation in an L-shaped domain.
where , and the nonsingular part is . The system of Block-Grid equations is solved by Schwarz’s alternating method. The quadrature nodes on the circular arc, whose radius is taken as 0.75, and the overlapping boundaries of the rectangles are renewed after each Schwarz’s iteration. The nodes on the circular arc, the inner boundaries of the overlapping rectangles and the nodes in the set are renewed using the matching operator constructed above. Since the boundary functions are harmonic polynomials on the sides and , the nodes whose neighbors emerge outside of the domain from these sides are approximated using the function . Finally, the solution on the singular part is approximated using the integral representation [3, 9].
The order of convergence in ‘nonsingular’ part
9.9742 × 10−4
3.57195 × 10−5
8.2649 × 10−7
5.373923 × 10−8
5.373923 × 10−8
3.418192 × 10−9
The order of convergence in ‘singular’ part
9.9742 × 10−4
3.57195 × 10−5
8.2649 × 10−7
5.373923 × 10−8
5.373923 × 10−8
3.418192 × 10−9
The fourth order classical 7-point scheme on a hexagonal grid is applied on a rectangular domain. This leads to some of the nodes emerging from the two parallel sides while approximating points whose distance from the boundary is . This problem was overcome by devising an approximating equation for near-boundary nodes, which included the use of three inner nodes around the point of evaluation and three points lying on the boundary. The fourth order matching operator has been constructed on the hexagonal grid functions. It is applied to construct a fourth order accurate interpolating function, on the closed rectangle, for the numerical solution of Laplace’s equation on the hexagonal grids. Further, the matching operator and the hexagonal grid approximation in a rectangle are used to obtain and justify the Block-Grid method in solving the Dirichlet problem for Laplace’s equation on staircase polygons.
Numerical examples have been provided as an illustration of the theoretical results mentioned above.
The matching operator constructed can be applied to many other forms of domain decomposition or combined methods. It will also be an interesting study to extend the approximation of the methods to using mixed or Neumann boundary conditions.
- Volkov EA: Method of composite meshes for finite and infinite domain with a piecewise-smooth boundary. Tr. Mat. Inst. Steklova 1968, 96: 117-148.Google Scholar
- Volkov EA: On the method of composite meshes for Laplace’s equation on polygons. Tr. Mat. Inst. Steklova 1976, 140: 68-102.Google Scholar
- Dosiyev AA: A fourth order accurate composite grids method for solving Laplace’s boundary value problems with singularities. Comput. Math. Math. Phys. 2002, 42(6):832-849.MathSciNetGoogle Scholar
- Dosiyev AA, Buranay SC: A fourth order accurate difference-analytical method for solving Laplace’s boundary value problem with singularities. In Mathematical Methods in Engineers. Edited by: Tas K, Machado JAT, Baleanu D. Springer, Berlin; 2007:167-176.View ArticleGoogle Scholar
- Dosiyev AA, Buranay SC:A fourth-order block-grid method for solving Laplace’s equation on a staircase polygon with boundary functions in . Abstr. Appl. Anal. 2013., 2013: Article ID 864865 10.1155/2013/864865Google Scholar
- Dosiyev AA, Buranay SC, Subasi D: The highly accurate block-grid method in solving Laplace’s equation for nonanalytic boundary condition with corner singularity. Comput. Math. Appl. 2012, 64: 612-632.MathSciNetView ArticleGoogle Scholar
- Dosiyev AA: A block-grid method for increasing accuracy in the solution of the Laplace equation on polygons. Russ. Acad. Sci. Dokl. Math. 1992, 45(2):396-399.MathSciNetGoogle Scholar
- Dosiyev AA: A block-grid method of increased accuracy for solving Dirichlet’s problem for Laplace’s equation on polygons. Comput. Math. Math. Phys. 1994, 34(5):591-604.MathSciNetGoogle Scholar
- Dosiyev AA: The high accurate block-grid method for solving Laplace’s boundary value problem with singularities. SIAM J. Numer. Anal. 2004, 42(1):153-178. 10.1137/S0036142900382715MATHMathSciNetView ArticleGoogle Scholar
- Volkov EA, Dosiyev AA: A high accurate composite grid method for solving Laplace’s boundary value problems with singularities. Russ. J. Numer. Anal. Math. Model. 2007, 22(3):291-307.MATHMathSciNetView ArticleGoogle Scholar
- Samarskii AA: The Theory of Difference Schemes. Dekker, New York; 2001.MATHView ArticleGoogle Scholar
- Ničkovic S, Gavrilov MB, Tošic IA: Geostrophic adjustment on hexagonal grids. Mon. Weather Rev. 2002, 130(3):668-683. 10.1175/1520-0493(2002)130<0668:GAOHG>2.0.CO;2View ArticleGoogle Scholar
- Majewski D, Liermann D, Prohl P, Ritter B, Buchhold M, Hanisch T, Paul G, Wergen W, Baumgardner J: The operational global icosahedral-hexagonal gridpoint model GME: description and high-resolution tests. Mon. Weather Rev. 2002, 130(2):319-338. 10.1175/1520-0493(2002)130<0319:TOGIHG>2.0.CO;2View ArticleGoogle Scholar
- Sadourny R, Morel P: A finite-difference approximation of the primitive equations for a hexagonal grid on a plane. Mon. Weather Rev. 1969, 97(6):439-445. 10.1175/1520-0493(1969)097<0439:AFAOTP>2.3.CO;2View ArticleGoogle Scholar
- Volkov EA: On differentiability properties of solutions of boundary value problems for the Laplace and Poisson equations on a rectangle. Proc. Steklov Inst. Math. 1965, 77: 101-126.MATHGoogle Scholar
- Kantorovich LV, Krylov VI: Approximate Methods of Higher Analysis. Noordhoff, Groningen; 1958.MATHGoogle Scholar
- Volkov EA: Block Method for Solving the Laplace Equation and Constructing Conformal Mappings. CRC Press, Boca Raton; 1994.MATHGoogle Scholar
- Volkov EA: An exponentially converging method for solving Laplace’s equation on polygons. Math. USSR Sb. 1980, 37(3):295-325. 10.1070/SM1980v037n03ABEH001954MATHView ArticleGoogle Scholar
- Smith GD: Numerical Solution of Partial Differential Equations: Finite Difference Methods. Oxford University Press, Oxford; 1985.MATHGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.