Theory and Modern Applications

# Hexagonal grid approximation of the solution of the heat equation on special polygons

## Abstract

We consider the first type boundary value problem of the heat equation in two space dimensions on special polygons with interior angles $$\alpha _{j}\pi$$, $$j=1,2,\ldots,M$$, where $$\alpha _{j}\in \{ \frac{1}{2},\frac{1}{3},\frac{2}{3} \}$$. To approximate the solution we develop two difference problems on hexagonal grids using two layers with 14 points. It is proved that the given implicit schemes in both difference problems are unconditionally stable. It is also shown that the solutions of the constructed Difference Problem 1 and Difference Problem 2 converge to the exact solution on the grids of order $$O ( h^{2}+\tau ^{2} )$$ and $$O ( h^{4}+\tau )$$ respectively, where h and $$\frac{\sqrt{3}}{2}h$$ are the step sizes in space variables $$x_{1}$$ and $$x_{2}$$ respectively and τ is the step size in time. Furthermore, theoretical results are justified by numerical examples on a rectangle, trapezoid and parallelogram.

## 1 Introduction

The use of differential equations in modeling of physical phenomenon is inevitable. Some modeling examples include but are not limited to the modeling of musical instruments such as string and wind instruments using digital waveguides, addressed by Smith [1]. For modeling of infectious diseases see Ahmed et al. [2], and for auto-catalytic chemical reactions see Iqbal et al. [3]. More examples may be given to atmospheric and oceanographic models (see Sadourny et al. [4]–Randall et al. [5]). Analytical techniques cannot solve most of the model problems appearing in practice. Therefore, numerical simulations gain importance in getting an understanding of dynamical systems.

One of the most important issues in numerical methods for the solution of dynamical problems is the well-founded choice of stable and economical computational algorithms. In numerical calculations of nuclear reactors it has been found worthwhile to use the implicit schemes for the solution of a two dimensional age–diffusion equation by Ehrlich and Hurwitz [6]. Most recently, by Ahmed et al. [2] a novel and time efficient positivity preserving numerical scheme to find the solution of an epidemic model involving a reaction–diffusion system in three dimensions has been designed. By Iqbal et al. [3] an unconditionally stable and structure preserving computational technique for fractional order Schnakenberg model has been given.

High accurate implicit schemes on triangular nets whose meshes are equilateral triangles for the two dimensional diffusion equation

$$\frac{\partial u}{\partial t}=\omega \biggl( \frac{\partial ^{2}u}{\partial x_{1}^{2}}+ \frac{\partial ^{2}u}{\partial x_{2}^{2}} \biggr),$$
(1)

where, $$\omega >0$$ is the thermometric conductivity or the diffusivity were studied by Richtmyer and Morton [7]. The analogue of $$O ( h^{2}+\tau ^{2} )$$ accurate, unconditionally stable three layer scheme with 9 points on hexagonal grids and a three layer scheme with 21 points, a two layer scheme with 14 points both converging with order $$O ( h^{4}+\tau ^{2} )$$ to the exact solution on hexagonal grids were given in Richtmyer and Morton [7]. Therein, the diffusion problem with heat source on a rectangle that irregular grids have centers $$\frac{h}{2}$$ units away from the sides of the rectangle at any time moment t with neighboring points emerging through these sides was not considered.

In the last few decades, hexagonal grid methods became of interest in many applied problems such as dynamical meteorology, dynamical oceanography and in the simulation of electrical wave phenomena. Sadourny et al. [4] developed a finite difference scheme for numerical integration of the nondivergent barotropic vorticity equation with an icosahedral–hexagonal grid covering the sphere. The given difference scheme for the advection of vorticity exactly conserved total vorticity, total square vorticity, and total kinetic energy. The authors of [4] showed that the high degree of the isotropy of the hexagonal grid made the formulation of an energy and vorticity conserving scheme simpler than for rectangular grids. Williamson [8] gave finite difference approximations for a nondivergent, barotropic model expressed in term of a streamfunction for an arbitrary triangular grid, which were applied to the spherical geodesic grid. Subsequently, Sadourney and Morel [9] demonstrated the applicability of the hexagonal grids to the primitive equations of fluid dynamics. Also, Sadourney [10], Thacker [11, 12], Salmon and Talley [13], Ničkovič [14] considered various aspects of the finite differencing on hexagonal grids. Later Ničkovič et al. [15] showed that hexagonal lattices have some advantages over commonly used square grids. As the authors in [15] mentioned “having better isotropy, they provide more accurate dispersion of gravity waves than square grids do and therefore they can be more appropriate for simulation of smaller-scale divergent processes”.

Recently, in the article Lee et al. [16] hexagonal grid finite difference methods were derived in a finite volume approach involving a standard Laplacian. The obtained schemes were used in the simulation of electrical wave phenomena propagated in two dimensional reserved-C type cardiac tissue, exhibiting both linear and spiral waves more efficiently than a similar computation carried out on rectangular finite volume schemes.

Dosiyev and Celiker [17] gave the approximation on the hexagonal grid of the Dirichlet problem for Laplace’s equation. The fourth order matching operator on the hexagonal grid was constructed and applied to justify a hexagonal version of the combined Block–Grid method for the Dirichlet problem with corner singularity. Thus, they obtained $$O ( h^{4} )$$ order of accuracy where h is the step size when using the 7-point scheme on the hexagonal grid instead of using 9-point scheme on the rectangular grid giving the computational advantages such as memory space and computational cost. Further, Dosiyev and Celiker [18] investigated a fourth order block-hexagonal grid approximation for the solution of Laplace’s equation on special polygons with singularities. It has been justified that in these polygons if the boundary functions away from the singular corners are from the Hölder classes $$C^{4,\lambda },0<\lambda <1$$, the uniform error is of order $$O ( h^{4} )$$ when the hexagon grid is applied in the “nonsingular” part of the domain.

Main contributions by this research are that we give two layer implicit schemes with 14 points by using the hexagonal grids for approximating the solution of first type boundary value problem of the heat equation in two space dimensions on special polygons Ω with interior angles $$\alpha _{j}\pi$$, $$j=1,2,\ldots,M$$, where $$\alpha _{j}\in \{ \frac{1}{2},\frac{1}{3},\frac{2}{3} \}$$. It is assumed that the heat source, the initial and boundary functions are given on $$\overline{Q}_{T}=\overline{\varOmega }\times [ 0,T ]$$, where $$x= ( x_{1},x_{2} ) \in \overline{\varOmega }$$ and $$t\in [ 0,T ]$$; the solution belongs to the Hölder space $$C_{x,t}^{6+\alpha,3+\frac{\alpha }{2}} ( \overline{Q}_{T} )$$, $$0<\alpha <1$$. Special difference schemes are proposed for the hexagonal grids that have centers $$\frac{h}{2}$$ units away from the orthogonal sides of these polygons at time moment t, which have a neighboring point in the pattern emerging through these sides. In Sect. 2, we consider the first type boundary value problem for a two dimensional heat equation on special polygons. In Sect. 3, a two layer implicit difference scheme with 14 points on hexagonal grids is proposed and it is proved that this scheme is unconditionally stable and the solution of the constructed Difference Problem 1 converges to the exact solution on the grids with $$O ( h^{2}+\tau ^{2} )$$ order of accuracy. In Sect. 4, we give a two layer implicit unconditionally stable scheme with 14 points on hexagonal grids and showed that the solution of the constructed Difference Problem 2 converges to the exact solution on the grids with $$O ( h^{4}+\tau )$$ order of accuracy. Section 5 is devoted to numerical experiments to justify the obtained theoretical results.

## 2 First type boundary value problem of the heat equation on special polygons

Let $$x=(x_{1},x_{2})$$, and Ω be an open simply connected polygon and $$\upsilon _{j}$$, $$j=1,2,\ldots,M$$, be its sides, including the ends, enumerated counterclockwise ($$\upsilon _{0}=\upsilon _{M}$$, $$\upsilon _{1}= \upsilon _{M+1}$$), and also let $$\alpha _{j}\pi$$, $$j=1,2,\ldots,M$$, where $$\alpha _{j}\in \{ \frac{1}{2},\frac{1}{3},\frac{2}{3} \}$$ be the interior angles formed by the sides $$\upsilon _{j-1}$$ and $$\upsilon _{j}$$. Furthermore, let $$S=\bigcup_{j=1}^{M}\upsilon _{j}$$ be the boundary of Ω and denote by $$\overline{\varOmega }=\varOmega \cup S$$ the closure of Ω. Let $$Q_{T}=\varOmega \times [ 0,T )$$, with lateral surface $$S_{T}$$, more precisely, the set of points $$( x,t )$$, $$x\in S$$ and $$t\in [ 0,T ]$$; also $$\overline{Q}_{T}$$ shows the closure of $$Q_{T}$$. Let l be a noninteger positive number, $$C_{x,t}^{l,\frac{l}{2}} ( \overline{Q}_{T} )$$ be the Banach space of functions $$u ( x,t )$$ that are continuous in $$\overline{Q}_{T}$$ together with all derivatives of the form

$$\frac{\partial ^{r+s_{1}+s_{2}}u}{\partial t^{r}\,\partial x_{1}^{s_{1}}\partial x_{2}^{s_{2}}} \quad\text{for }2r+s_{1}+s_{2}< l$$
(2)

with bounded norm

$$\Vert u \Vert _{C_{x,t}^{l,\frac{l}{2}} ( \overline{Q}_{T} ) }= \langle u \rangle _{Q_{T}}^{ ( l ) }+ \sum_{j=0}^{ [ l ] } \langle u \rangle _{Q_{T}}^{ ( j ) },$$
(3)

where

\begin{aligned} &\langle u \rangle _{Q_{T}}^{ ( j ) } =\sum _{2r+s_{1}+s_{2}=j}\max_{\overline{Q}_{T}} \biggl\vert \frac{\partial ^{r+s_{1}+s_{2}}u}{\partial t^{r}\,\partial x_{1}^{s_{1}}\partial x_{2}^{s_{2}}} \biggr\vert ,\quad j=0,1,2,\ldots, [ l ], \end{aligned}
(4)
\begin{aligned} &\langle u \rangle _{Q_{T}}^{ ( l ) } = \langle u \rangle _{x}^{ ( l ) }+ \langle u \rangle _{t}^{ ( \frac{l}{2} ) }, \end{aligned}
(5)
\begin{aligned} &\langle u \rangle _{x}^{ ( l ) } =\sum _{2r+s_{1}+s_{2}= [ l ] } \biggl\langle \frac{\partial ^{r+s_{1}+s_{2}}u}{\partial t^{r}\,\partial x_{1}^{s_{1}}\,\partial x_{2}^{s_{2}}} \biggr\rangle _{x}^{l- [ l ] }, \end{aligned}
(6)
\begin{aligned} &\langle u \rangle _{t}^{ ( \frac{l}{2} ) } =\sum _{0< l-2r-s_{1}-s_{2}< 2} \biggl\langle \frac{\partial ^{r+s_{1}+s_{2}}u}{\partial t^{r}\,\partial x_{1}^{s_{1}}\,\partial x_{2}^{s_{2}}} \biggr\rangle _{t}^{\frac{l-2r-s_{1}-s_{2}}{2}}, \end{aligned}
(7)

and the quantities $$\langle u \rangle _{x}^{\alpha }$$, $$\langle u \rangle _{t}^{\beta }$$ for $$\alpha,\beta \in ( 0,1 )$$ are defined as

\begin{aligned} &\langle u \rangle _{x}^{\alpha } =\sup_{ ( x,t ), ( x^{\prime },t ) \in \overline{Q}_{T}} \frac{ \vert u ( x,t ) -u ( x^{\prime },t ) \vert }{ \vert x-x^{\prime } \vert ^{\alpha }}, \end{aligned}
(8)
\begin{aligned} &\langle u \rangle _{t}^{\beta } =\sup_{ ( x,t ), ( x,t^{\prime } ) \in \overline{Q}_{T}} \frac{ \vert u ( x,t ) -u ( x,t^{\prime } ) \vert }{ \vert t-t^{\prime } \vert ^{\beta }}. \end{aligned}
(9)

We consider the first type boundary value problem for two space dimensional heat equation.

### Boundary Value Problem (BVP)

\begin{aligned} &Lu =f ( x,t ) \quad\text{on }Q_{T}, \end{aligned}
(10)
\begin{aligned} &u ( x,0 ) =\varphi ( x )\quad \text{on } \overline{\varOmega }, \end{aligned}
(11)
\begin{aligned} &u ( x,t ) =\phi ( x,t ) \quad\text{on }S_{T}, \end{aligned}
(12)

where $$x=(x_{1},x_{2})$$ and $$L\equiv \frac{\partial }{\partial t}-\omega ( \frac{\partial ^{2}}{\partial x_{1}^{2}}+ \frac{\partial ^{2}}{\partial x_{2}^{2}} )$$ and $$\omega >0$$ is constant.

The differentiability properties of solutions of boundary value problems for the Laplace equation on polygons were given by Volkov [19]. For elliptic equations, the behaviour of solutions near singularities of the boundary of the domain had been treated by Kondrat’ev [20]. For the differentiability properties of solutions of the parabolic equations on cylindrical domains with smooth boundary, see Ladyženskaja et al. [21], and Friedman [22]. The smoothness of solutions of parabolic equations in regions with edges was studied by Azzam and Kreyszig for the Dirichlet [23] and for the mixed boundary value problems in [24]. Hence, in this paper the obtained subsequent theoretical and numerical results are given under the assumption that the heat source function $$f ( x,t )$$ and the initial and boundary functions $$\varphi ( x )$$ and $$\phi ( x,t )$$ respectively, are given such that the BVP has unique solution u belonging to the class $$C_{x,t}^{6+\alpha,3+\frac{\alpha }{2}} ( \overline{Q}_{T} )$$.

### Remark 1

It is known that the use of classical finite difference method to solve the boundary value problems with singularities is ineffective. Therefore, a special construction is usually needed for the numerical scheme near the singularities in such a way that the order of convergence is the same as in the case of a smooth solution (see Dosiyev and Celiker [17], Dosiyev [25] and Dosiyev et al. [26]).

## 3 Second order accurate difference problem

Let $$h>0$$, we assign $$\varOmega ^{h}$$ a hexagonal grid on Ω, with step size h, defined as the set of nodes

\begin{aligned} \varOmega ^{h} ={}& \biggl\{ x=(x_{1},x_{2})\in \varOmega:x_{1}= \frac{i^{\prime }-j^{\prime }}{2}h, x_{2}= \frac{\sqrt{3}(i^{\prime }+j^{\prime })}{2}h, \\ & i^{\prime }=1,2,\ldots;j^{\prime }=0\pm 1\pm 2,\ldots \biggr\} , \end{aligned}
(13)

as shown in Fig. 1, Fig. 2 and Fig. 3 when Ω is a rectangle, parallelogram and trapezoid respectively. Let $$\upsilon _{j}^{h},j=1,2,\ldots,M$$ be the set of nodes on the interior of $$\upsilon _{j}$$ and let $$\widehat{\upsilon }_{j}^{h} = \upsilon _{j-1}\cap \upsilon _{j}$$ be the jth vertex of Ω, $$S^{h}=\bigcup_{j=1}^{M}(\upsilon _{j}^{h}\cup \widehat{\upsilon }_{j}^{h}),\overline{\varOmega }^{h}=\varOmega ^{h}\cup S^{h}$$. We assume that the lengths of the sides of the polygon are given such that irregular hexagon grids only have a right neighboring point or a left neighboring point emerging through the side of Ω when the center of the hexagon is $$\frac{h}{2}$$ units away from this side. Accordingly, we shall call these points right ghost points and left ghost points. Further, let $$\varOmega ^{\ast lh}$$, $$\varOmega ^{\ast rh}$$ denote the set of interior nodes whose distance from the boundary is $$\frac{h}{2}$$ and the hexagon has a left ghost point as shown in Fig. 4 or a right ghost point given in Fig. 5, respectively. We also denote by $$\varOmega ^{\ast h}=\varOmega ^{\ast lh}\cup \varOmega ^{\ast rh}$$ and $$\varOmega ^{0h}=\varOmega ^{h}\backslash \varOmega ^{\ast h}$$. Next, let

\begin{aligned} &\gamma _{\tau } = \biggl\{ t_{k}=k\tau, \tau = \frac{T}{M^{\prime }}, k=1,\ldots,M^{\prime } \biggr\} , \end{aligned}
(14)
\begin{aligned} &\overline{\gamma }_{\tau } = \biggl\{ t_{k}=k\tau, \tau = \frac{T}{M^{\prime }}, k=0,\ldots,M^{\prime } \biggr\} , \end{aligned}
(15)

and the set of internal nodes and lateral surface nodes be defined by

\begin{aligned} &\varOmega ^{h}\gamma _{\tau } =\varOmega ^{h} \times \gamma _{\tau }= \bigl\{ ( x,t ):x\in \varOmega ^{h}, t \in \gamma _{ \tau } \bigr\} , \end{aligned}
(16)
\begin{aligned} &S_{T}^{h} =S^{h}\times \overline{\gamma }_{\tau }= \bigl\{ ( x,t ):x\in S^{h}, t\in \overline{\gamma }_{\tau } \bigr\} . \end{aligned}
(17)

Let $$\varOmega ^{\ast lh}\gamma _{\tau }=\varOmega ^{\ast lh}\times \gamma _{ \tau }\subset \varOmega ^{h}\gamma _{\tau }$$ and $$\varOmega ^{\ast rh}\gamma _{\tau }=\varOmega ^{\ast rh}\times \gamma _{ \tau }\subset \varOmega ^{h}\gamma _{\tau }$$ and $$\varOmega ^{\ast h}\gamma _{\tau }=\varOmega ^{\ast lh}\gamma _{\tau } \cup \varOmega ^{\ast rh}\gamma _{\tau }$$, also $$\varOmega ^{0h}\gamma _{\tau }=\varOmega ^{h}\gamma _{\tau }\backslash \varOmega ^{\ast h}\gamma _{\tau }$$. We use the following notations:

• $$P_{0}$$ denotes the center of the hexagon.

• $$\mathrm{Patt} ( P_{0} )$$ is the pattern of the hexagon consisting the neighboring points $$P_{i},i=1,\ldots,6$$.

• Inc denotes the incidence matrix related to the neighborhood topology of all the hexagon centers.

• $$\lambda _{s} ( K )$$ present the eigenvalues $$\lambda _{s}$$, $$s=1,2,\ldots,N$$ of real matrix $$K\in R^{N\times N}$$.

Also

\begin{aligned} &u_{P_{1}}^{k+1} =u \biggl(x_{1}- \frac{h}{2},x_{2}+\frac{\sqrt{3}}{2}h,t+ \tau \biggr), \qquad u_{P_{3}}^{k+1}=u \biggl(x_{1}- \frac{h}{2},x_{2}- \frac{\sqrt{3}}{2}h,t+ \tau \biggr), \\ &u_{P_{2}}^{k+1} =u(x_{1}-h,x_{2},t+\tau ),\qquad u_{P_{5}}^{k+1}=u(x_{1}+h,x_{2},t+ \tau ), \\ &u_{P_{4}}^{k+1} =u \biggl(x_{1}+ \frac{h}{2},x_{2}-\frac{\sqrt{3}}{2}h,t+ \tau \biggr), \qquad u_{P_{6}}^{k+1}=u \biggl(x_{1}+ \frac{h}{2},x_{2}+ \frac{\sqrt{3}}{2}h,t+ \tau \biggr), \\ &u_{P_{0}}^{k+1} =u(x_{1},x_{2},t+\tau ), \qquad u_{P_{A}}^{k+1}=u( \widehat{p},x_{2},t+ \tau ),\qquad (\widehat{p},x_{2},t+\tau )\in S_{T}^{h}, \end{aligned}

where the value of $$\widehat{p}=x_{1}-\frac{h}{2}$$ if $$P_{0}\in \varOmega ^{\ast lh}\gamma _{\tau }$$ and $$\widehat{p}=x_{1}+\frac{h}{2}$$ if $$P_{0}\in \varOmega ^{\ast rh}\gamma _{\tau }$$ as also given in (29). Analogously, the values $$u_{P_{i}}^{k}\ i=0,\ldots,6$$ and $$u_{P_{A}}^{k}$$ present the exact solution at the same space coordinates of $$P_{i}\ i=0,\ldots,6$$ and $$P_{A}$$ respectively, but at time level t. Also we use the notations $$u_{h,\tau,P_{i}}^{k+1}$$, $$i=0,\ldots,6$$, $$u_{h,\tau,P_{A}}^{k+1}$$, and $$u_{h,\tau,P_{i}}^{k}$$, $$i=0,\ldots,6,u_{h,\tau,P_{A}}^{k}$$ to present the numerical solution at the same space coordinates of $$P_{i}$$, $$i=0,\ldots,6$$ and $$P_{A}$$ for time moments $$t+\tau$$ and $$t=k\tau$$, respectively. Further, $$f_{P_{0}}^{k+\frac{1}{2}}=f ( x_{1},x_{2},t+\frac{\tau }{2} )$$ and $$f_{P_{A}}^{k+\frac{1}{2}}=f ( \widehat{p},x_{2},t+\frac{\tau }{2} )$$ where is as defined in (29).

For the numerical solution of the BVP we propose the following difference problem.

### Difference Problem 1

\begin{aligned} &\varTheta _{h,\tau }u_{h,\tau }^{k+1} =\varLambda _{h,\tau }u_{h,\tau }^{k}+ \psi \quad\text{on }\varOmega ^{0h}\gamma _{\tau }, \end{aligned}
(18)
\begin{aligned} &\varTheta _{h,\tau }^{\ast }u_{h,\tau }^{k+1} = \varLambda _{h,\tau }^{ \ast }u_{h,\tau }^{k}+E_{h,\tau }^{\ast } \phi +\psi ^{\ast }\quad \text{on }\varOmega ^{\ast h}\gamma _{\tau }, \end{aligned}
(19)
\begin{aligned} &u_{h,\tau } =\varphi ( x ), \quad t=0\text{ on } \overline{\varOmega }^{h}, \end{aligned}
(20)
\begin{aligned} &u_{h,\tau } =\phi ( x,t ) \quad\text{on }S_{T}^{h}, \end{aligned}
(21)

for $$k=0,\ldots,M^{\prime }-1$$, where

\begin{aligned} &\psi =f_{P_{0}}^{k+\frac{1}{2}}, \end{aligned}
(22)
\begin{aligned} &\psi ^{\ast } =f_{P_{0}}^{k+\frac{1}{2}}-\frac{1}{6}f_{P_{A}}^{k+ \frac{1}{2}}, \end{aligned}
(23)
\begin{aligned} &\varTheta _{h,\tau }u^{k+1}= \biggl( \frac{1}{\tau }+ \frac{2\omega }{h^{2}} \biggr) u_{P_{0}}^{k+1}- \frac{\omega }{3h^{2}}\sum_{i=1}^{6}u_{P_{i}}^{k+1}, \end{aligned}
(24)
\begin{aligned} &\varLambda _{h,\tau }u^{k}= \biggl( \frac{1}{\tau }- \frac{2\omega }{h^{2}} \biggr) u_{P_{0}}^{k}+\frac{\omega }{3h^{2}} \sum_{i=1}^{6}u_{P_{i}}^{k}, \end{aligned}
(25)
\begin{aligned} &\varTheta _{h,\tau }^{\ast }u^{k+1} = \biggl( \frac{1}{\tau }+ \frac{7\omega }{3h^{2}} \biggr) u_{P_{0}}^{k+1}- \frac{\omega }{3h^{2}} \biggl( u(p+ \eta,x_{2},t+\tau ) \\ &\phantom{\varTheta _{h,\tau }^{\ast }u^{k+1} = }{} +u \biggl(p,x_{2}+\frac{\sqrt{3}}{2}h,t+\tau \biggr)+u \biggl(p,x_{2}- \frac{\sqrt{3}}{2}h,t+\tau \biggr) \biggr), \end{aligned}
(26)
\begin{aligned} &E_{h,\tau }^{\ast }\phi =\frac{2\omega }{9h^{2}} \biggl( \phi \biggl( \widehat{p},x_{2}+\frac{\sqrt{3}}{2}h,t+\tau \biggr)+\phi \biggl(\widehat{p},x_{2}- \frac{\sqrt{3}}{2}h,t+\tau \biggr) \\ &\phantom{E_{h,\tau }^{\ast }\phi =}{}+ \phi \biggl(\widehat{p},x_{2}+\frac{\sqrt{3}}{2}h,t \biggr)+ \phi \biggl( \widehat{p},x_{2}-\frac{\sqrt{3}}{2}h,t \biggr) \biggr) \\ &\phantom{E_{h,\tau }^{\ast }\phi =}{}+ \biggl( \frac{1}{6\tau }+\frac{8\omega }{9h^{2}} \biggr) \phi ( \widehat{p},x_{2},t+\tau )+ \biggl( -\frac{1}{6\tau }+ \frac{8\omega }{9h^{2}} \biggr) \phi (\widehat{p},x_{2},t), \end{aligned}
(27)
\begin{aligned} &\varLambda _{h,\tau }^{\ast }u^{k} = \biggl( \frac{1}{\tau }- \frac{7\omega }{3h^{2}} \biggr) u_{P_{0}}^{k}+ \frac{\omega }{3h^{2}} \biggl( u \biggl(p,x_{2}+ \frac{\sqrt{3}}{2}h,t \biggr) \\ &\phantom{\varLambda _{h,\tau }^{\ast }u^{k} =}{} +u \biggl(p,x_{2}-\frac{\sqrt{3}}{2}h,t \biggr)+u(p+ \eta,x_{2},t) \biggr) , \end{aligned}
(28)

and

$$\textstyle\begin{cases} p=x_{1}+\frac{h}{2},\qquad \widehat{p}=x_{1}-\frac{h}{2},\qquad \eta =\frac{h}{2} &\text{if }P_{0}\in \varOmega ^{\ast lh}\gamma _{\tau }, \\ p=x_{1}-\frac{h}{2},\qquad \widehat{p}=x_{1}+\frac{h}{2},\qquad \eta =-\frac{h}{2} &\text{if }P_{0}\in \varOmega ^{\ast rh}\gamma _{\tau }.\end{cases}$$
(29)

### Theorem 2

The order of approximation of the implicit scheme in Difference Problem1is$$O ( h^{2}+\tau ^{2} )$$.

### Proof

Let $$( x_{1},x_{2},t+\tau ) \in \varOmega ^{\ast }\gamma _{ \tau }$$ be the center of the hexagon ($$P_{0}$$) at time moment $$t+\tau$$. By the continuity of the solution u, the heat equation (10) is also satisfied at the boundary points $$(\widehat{p},x_{2},t+\frac{\tau }{2})$$ denoted by $$P_{A}$$. Therefore, we give the $$O ( h^{2}+\tau ^{2} )$$ difference approximation of the heat equation (10) at $$(\widehat{p},x_{2},t+\frac{\tau }{2})$$ when $$\widehat{p}=x_{1}-\frac{h}{2}$$ as

\begin{aligned} \frac{u_{h,\tau,P_{A}}^{k+1}-u_{h,\tau,P_{A}}^{k}}{\tau } ={}& \omega \biggl( \frac{2}{h^{2}} \bigl( u_{h,\tau,P_{0}}^{k+1}-2u_{h, \tau,P_{A}}^{k+1}+u_{h,\tau,P_{2}}^{k+1} \bigr) \\ &{}+ \frac{2}{3h^{2}} \bigl( u_{h,\tau,P_{1}}^{k+1}-2u_{h, \tau,P_{A}}^{k+1}+u_{h,\tau,P_{3}}^{k+1} \bigr) +\frac{2}{h^{2}} \bigl( u_{h,\tau,P_{0}}^{k}-2u_{h,\tau,P_{A}}^{k}+u_{h,\tau,P_{2}}^{k} \bigr) \\ &{}+ \frac{2}{3h^{2}} \bigl( u_{h,\tau,P_{1}}^{k}-2u_{h,\tau,P_{A}}^{k}+u_{h, \tau,P_{3}}^{k} \bigr) \biggr) +f_{P_{A}}^{k+\frac{1}{2}}. \end{aligned}
(30)

Using Eq. (30) the following equation can be derived for the sum of left ghost points $$P_{2}$$ at time moments $$t+\tau$$, and $$t=k\tau$$,

\begin{aligned} u_{h,\tau,P_{2}}^{k+1}+u_{h,\tau,P_{2}}^{k} ={}& \frac{h^{2}}{2\tau \omega }u_{h,\tau,P_{A}}^{k+1}+ \frac{8}{3}u_{h,\tau,P_{A}}^{k+1}-u_{h,\tau,P_{0}}^{k+1}- \frac{1}{3}u_{h,\tau,P_{1}}^{k+1}-\frac{1}{3}u_{h,\tau,P_{3}}^{k+1}- \frac{h^{2}}{2\tau \omega }u_{h,\tau,P_{A}}^{k} \\ &{}+\frac{8}{3}u_{h,\tau,P_{A}}^{k}-u_{h,\tau,P_{0}}^{k}- \frac{1}{3}u_{h,\tau,P_{1}}^{k}- \frac{1}{3}u_{h,\tau,P_{3}}^{k}- \frac{h^{2}}{2\omega }f_{P_{A}}^{k+\frac{1}{2}}. \end{aligned}
(31)

Analogously, we use the following difference approximation of the heat equation (10) at the boundary points $$(\widehat{p},x_{2},t+\frac{\tau }{2})$$ when $$\widehat{p}=x_{1}+\frac{h}{2}$$:

\begin{aligned} \frac{u_{h,\tau,P_{A}}^{k+1}-u_{h,\tau,P_{A}}^{k}}{\tau } ={}& \omega \biggl( \frac{2}{h^{2}} \bigl( u_{h,\tau,P_{0}}^{k+1}-2u_{h, \tau,P_{A}}^{k+1}+u_{h,\tau,P_{5}}^{k+1} \bigr) \\ &{}+ \frac{2}{3h^{2}} \bigl( u_{h,\tau,P_{4}}^{k+1}-2u_{h, \tau,P_{A}}^{k+1}+u_{h,\tau,P_{6}}^{k+1} \bigr) +\frac{2}{h^{2}} \bigl( u_{h,\tau,P_{0}}^{k}-2u_{h,\tau,P_{A}}^{k}+u_{h,\tau,P_{5}}^{k} \bigr) \\ &{}+ \frac{2}{3h^{2}} \bigl( u_{h,\tau,P_{4}}^{k}-2u_{h,\tau,P_{A}}^{k}+u_{h, \tau,P_{6}}^{k} \bigr) \biggr) +f_{P_{A}}^{k+\frac{1}{2}}, \end{aligned}
(32)

with the order of approximation $$O ( h^{2}+\tau ^{2} )$$. The sum of right ghost points $$P_{5}$$ at time moments $$t+\tau$$, and $$t=k\tau$$ is obtained from (32),

\begin{aligned} u_{h,\tau,P_{5}}^{k+1}+u_{h,\tau,P_{5}}^{k} ={}& \frac{h^{2}}{2\tau \omega }u_{h,\tau.P_{A}}^{k+1}+ \frac{8}{3}u_{h,\tau,P_{A}}^{k+1}-u_{h,\tau,P_{0}}^{k+1}- \frac{1}{3}u_{h,\tau,P_{4}}^{k+1}-\frac{1}{3}u_{h,\tau,P_{6}}^{k+1}- \frac{h^{2}}{2\tau \omega }u_{h,\tau,P_{A}}^{k} \\ &{}+\frac{8}{3}u_{h,\tau,P_{A}}^{k}-u_{h,\tau,P_{0}}^{k}- \frac{1}{3}u_{h,\tau,P_{4}}^{k}- \frac{1}{3}u_{h,\tau,P_{6}}^{k}- \frac{h^{2}}{2\omega }f_{P_{A}}^{k+\frac{1}{2}}. \end{aligned}
(33)

Using (31), (33) and (18) we obtain the scheme (19). Let the error function be $$\varepsilon _{h,\tau }=u_{h,\tau }-u$$. Then $$\varepsilon _{h,\tau }$$ satisfies the following difference problem:

\begin{aligned} &\varTheta _{h,\tau }\varepsilon _{h,\tau }^{k+1} = \varLambda _{h,\tau } \varepsilon _{h,\tau }^{k}+\varPsi _{1}^{k}\quad\text{on }\varOmega ^{0h}\gamma _{ \tau }, \end{aligned}
(34)
\begin{aligned} &\varTheta _{h,\tau }^{\ast }\varepsilon _{h,\tau }^{k+1} =\varLambda _{h, \tau }^{\ast }\varepsilon _{h,\tau }^{k}+ \varPsi _{2}^{k}\quad\text{on } \varOmega ^{\ast h} \gamma _{\tau }, \end{aligned}
(35)
\begin{aligned} &\varepsilon _{h,\tau } =0, \quad t=0\text{ on }\overline{\varOmega }^{h}, \end{aligned}
(36)
\begin{aligned} &\varepsilon _{h,\tau } =0\quad \text{on }S_{T}^{h}, \end{aligned}
(37)

where,

\begin{aligned} &\varPsi _{1}^{k} =\varLambda _{h,\tau }u^{k}- \varTheta _{h,\tau }u^{k+1}+ \psi, \end{aligned}
(38)
\begin{aligned} &\varPsi _{2}^{k} =\varLambda _{h,\tau }^{\ast }u^{k}- \varTheta _{h,\tau }^{ \ast }u^{k+1}+\psi ^{\ast }. \end{aligned}
(39)

Let $$\widehat{\varTheta }_{h,\tau }$$ be the operator that coincides with $$\varTheta _{h,\tau }$$ for the points in $$\varOmega ^{0h}\gamma _{\tau }$$, and coincides with $$\varTheta _{h,\tau }^{\ast }$$ for the points in $$\varOmega ^{\ast h}\gamma _{\tau }$$. Analogously, let $$\widehat{\varLambda }_{h,\tau }$$ be the operator that coincides with $$\varLambda _{h,\tau }$$ for the points in $$\varOmega ^{0h}\gamma _{\tau }$$ and coincides with $$\varLambda _{h,\tau }^{\ast }$$ for the points in $$\varOmega ^{\ast h}\gamma _{\tau }$$. Further $$\widehat{\varPsi }^{k}$$ denotes the truncation error $$\varPsi _{1}^{k}$$ and $$\varPsi _{2}^{k}$$ for the points belonging to $$\varOmega ^{0h}\gamma _{\tau }$$ and $$\varOmega ^{\ast h}\gamma _{\tau }$$ respectively. Then the system (34)–(37) can be given as

\begin{aligned} &\widehat{\varTheta }_{h,\tau }\varepsilon _{h,\tau }^{k+1} =\widehat{\varLambda }_{h,\tau }\varepsilon _{h,\tau }^{k}+ \widehat{\varPsi }^{k}\quad\text{on } \varOmega ^{h}\gamma _{\tau }, \end{aligned}
(40)
\begin{aligned} &\varepsilon _{h,\tau } =0,\quad t=0 \text{ on }\overline{\varOmega }^{h}, \end{aligned}
(41)
\begin{aligned} &\varepsilon _{h,\tau } =0\quad \text{on }S_{T}^{h}. \end{aligned}
(42)

Using Taylor’s expansion around the point $$( x_{1},x_{2},t+\frac{\tau }{2} )$$ and from the assumption that $$u\in C_{x,t}^{6+\alpha,3+\frac{\alpha }{2}} ( \overline{Q}_{T} )$$, we obtain the $$\widehat{\varPsi }^{k}=O ( h^{2}+\tau ^{2} )$$ order of the approximation. Thus, the order of the approximation of the implicit scheme in Difference Problem 1 is $$O ( h^{2}+\tau ^{2} )$$. □

Next we analyze the stability for Difference Problem 1 by using spectral method. Let us label the interior grid points in $$\varOmega ^{h}\gamma _{\tau }$$ by $$Q_{j}$$, $$j=1,2,\ldots,N$$ at every time level along spatial variable $$x_{1}$$ (lexicographical ordering). The neighboring topology of all hexagon centers can be given by the set

$$T= \bigl\{ ( i,j ):\text{ if the grid }Q_{i}\in \mathrm{Patt} ( Q_{j} ), i\neq j,1\leq i,j\leq N \bigr\} ,$$
(43)

and shows the sparsity pattern of the incidence matrix Inc. Thus, the entries of the matrix $$\mathrm{Inc}\in R^{N\times N}$$ are

$$\mathrm{Inc}_{ij}=\textstyle\begin{cases} 0&\text{if } ( i,j ) \notin T, \\ 1&\text{if }(i,j)\in T.\end{cases}$$
(44)

The algebraic linear system of equations obtained by the Difference Problem 1 can be given in matrix form:

$$KU^{k+1}=SU^{k}+\tau \bigl( F^{k+\frac{1}{2}}+G^{k^{\ast }} \bigr),$$
(45)

where $$K,S\in R^{N\times N}$$ are given as

$$K= \biggl( I+\frac{\omega \tau }{h^{2}}B \biggr),\qquad S= \biggl( I- \frac{\omega \tau }{h^{2}}B \biggr)$$
(46)

and

$$B=D_{1}-\frac{1}{3}\mathrm{Inc}\in R^{N\times N}.$$
(47)

Here $$U^{k+1},U^{k},F^{k+\frac{1}{2}}$$ and $$G^{k^{\ast }}$$ are vectors of order N and $$F^{k+\frac{1}{2}}$$ and $$G^{k^{\ast }}$$ are obtained by evaluating the heat source function in (22), (23) at time level $$( k+\frac{1}{2} ) \tau$$ and the boundary and initial functions in Difference Problem 1 (18)–(21), respectively. Also $$k^{\ast }$$ denotes that values at time moments $$t+\tau$$, and $$t=k\tau$$ are used, and I is the identity matrix. $$D_{1}$$ is a diagonal matrix with entries

$$d_{1,jj}=\textstyle\begin{cases} 2&\text{if }Q_{j}\in \varOmega ^{0h}\gamma _{\tau }, \\ \frac{7}{3}&\text{if }Q_{j}\in \varOmega ^{\ast h}\gamma _{\tau },\end{cases}\displaystyle \quad j=1,2,\ldots,N.$$
(48)

### Lemma 3

(Lemma 6.2 of [27])

Let$$K= [ k_{ij} ]$$be$$N\times N$$matrix with$$k_{ij}\leq 0$$for all$$i\neq j$$and$$k_{ii}>0$$. IfKis strictly diagonally dominant thenKis anM-matrix.

### Theorem 4

(Theorem 4.9 of [27])

If$$K= [ k_{ij} ]$$is strictly diagonally dominant or irreducibly diagonally dominant, thenKis nonsingular. If in addition its diagonal entries are positive, i.e. $$k_{ii}>0$$, then$$\operatorname{Re}(\lambda _{s} ( K ) )>0$$for all eigenvalues$$\lambda _{s}$$ofK.

### Lemma 5

(a) The matrixBin (47) is a symmetric positive definite matrix.

(b) The matrixKin (46) is nonsingularM-matrix and is also a symmetric positive definite matrix.

### Proof

(a) Using (43) if $$Q_{i}\in \mathrm{Patt} ( Q_{j} )$$ for $$i\neq j$$, $$1\leq i,j\leq N$$ this implies that $$Q_{j}\in \mathrm{Patt} ( Q_{i} )$$ giving $$\mathrm{Inc}^{T}=\mathrm{Inc}$$. Thus, B is symmetric and since a hexagonal grid is a connected grid in a simply connected polygon Ω, using (47) one can easily show that the matrix B is an irreducibly diagonally dominant matrix with $$b_{ii}>0$$, $$i=1,\ldots,N$$. Hence by Theorem 4, B is a positive definite matrix.

(b) The main diagonal entries $$k_{ii}>0$$, $$i=1,\ldots,N$$, and $$k_{ij}\leq 0$$ for $$i\neq j$$, and $$1\leq i,j\leq N$$. Since $$k_{ii}>\sum_{j=1,j\neq i}^{N} \vert k_{ij} \vert$$ for all $$i=1,2,\ldots,N$$, the matrix $$K=I+\frac{\omega \tau }{h^{2}}D_{1}-\frac{\omega \tau }{3h^{2}}\mathrm{Inc}$$ is strictly diagonally dominant matrix and Lemma 3 implies that K is an M-matrix and its inverse $$K^{-1}\geq 0$$. Also $$K^{T}= ( I+\frac{\omega \tau }{h^{2}}B ) ^{T}=K$$ and K is symmetric real matrix. Therefore, all eigenvalues $$\lambda _{s}$$ of K are real. Using Theorem 4 we find that $$\operatorname{Re}(\lambda _{s}(K))=\lambda _{s}(K)>0$$ for all eigenvalues $$\lambda _{s}$$ of K; thus, K is a symmetric positive definite matrix. □

### Theorem 6

The implicit scheme of the Difference Problem1is unconditionally stable and the solution$$u_{h,\tau }$$converges to the exact solutionuwith order of accuracy$$( h^{2}+\tau ^{2} )$$.

### Proof

On the basis of Lemma 5, the matrices B and K are symmetric and positive definite matrices. Since K is symmetric, $$K^{-1}$$ is also symmetric and the eigenvalues of $$K^{-1}$$ satisfy $$0<\lambda _{s} ( K^{-1} ) \leq \frac{1}{1+\frac{\omega \tau }{h^{2}}\min_{1\leq s\leq N}(\lambda _{s} ( B ) )}<1$$ for $$\frac{\omega \tau }{h^{2}}>0$$ and we get $$\Vert K^{-1} \Vert _{2}<1$$. Also

\begin{aligned} \bigl( K^{-1}S \bigr) ^{T} ={}&SK^{-1}= \biggl( I- \frac{\omega \tau }{h^{2}}B \biggr) \biggl( I+\frac{\omega \tau }{h^{2}}B \biggr) ^{-1} \\ ={}&\frac{1}{\det ( I+\frac{\omega \tau }{h^{2}}B ) } \biggl( I-\frac{\omega \tau }{h^{2}}B \biggr) \mathrm{Adj} \biggl( I+\frac{\omega \tau }{h^{2}}B \biggr) \\ ={}& \biggl( I+\frac{\omega \tau }{h^{2}}B \biggr) ^{-1} \biggl[ I- \frac{1}{\det ( I+\frac{\omega \tau }{h^{2}}B ) } \biggl( I+ \frac{\omega \tau }{h^{2}}B \biggr) \\ &{}\times \biggl( \frac{\omega \tau }{h^{2}}B \biggr) \mathrm{Adj} \biggl( I+ \frac{\omega \tau }{h^{2}}B \biggr) \biggr] \\ ={}& \biggl( I+\frac{\omega \tau }{h^{2}}B \biggr) ^{-1} \biggl( I- \frac{\omega \tau }{h^{2}}B \biggr) =K^{-1}S, \end{aligned}
(49)

where $$\det ( I+\frac{\omega \tau }{h^{2}}B )$$ and $$\mathrm{Adj} ( I+\frac{\omega \tau }{h^{2}}B )$$ are the determinant and the adjoint matrix of $$K=I+\frac{\omega \tau }{h^{2}}B$$, respectively. Thus $$K^{-1}S$$ is a real symmetric matrix; therefore, the eigenvalues $$\lambda _{s} ( K^{-1}S )$$ are real. Using the Gershgorin theorem for the estimation of the spectrum of the matrix B gives

$$0< \lambda _{s} ( B ) \leq 4.$$
(50)

Since B is a symmetric positive definite matrix, it follows that $$B=P^{T}DP$$ with P orthogonal and D diagonal matrix of eigenvalues $$\lambda _{s} ( B )$$. Then $$K=I+\frac{\omega \tau }{h^{2}}B= P^{T} ( I+\frac{\omega \tau }{h^{2}}D ) P$$ and $$K^{-1}= P^{T} ( I+\frac{\omega \tau }{h^{2}}D ) ^{-1}P$$ and

$$K^{-1}S=P^{T} \biggl( I+\frac{\omega \tau }{h^{2}}D \biggr) ^{-1}PP^{T} \biggl( I-\frac{\omega \tau }{h^{2}}D \biggr) P ,$$
(51)

that is, the matrix $$K^{-1}S$$ is similar to $$( I+\frac{\omega \tau }{h^{2}}D ) ^{-1} ( I-\frac{\omega \tau }{h^{2}}D )$$ so from (49) we get

\begin{aligned} \bigl\Vert K^{-1}S \bigr\Vert _{2}=\rho \bigl( K^{-1}S \bigr) &= \max_{1\leq s\leq N} \biggl\vert \lambda _{s} \biggl( \biggl( I+ \frac{\omega \tau }{h^{2}}D \biggr) ^{-1} \biggl( I- \frac{\omega \tau }{h^{2}}D \biggr) \biggr) \biggr\vert \\ &\leq \biggl\vert \frac{1-\frac{\omega \tau }{h^{2}}\min_{1\leq s\leq N}(\lambda _{s} ( B ) )}{1+\frac{\omega \tau }{h^{2}}\min_{1\leq s\leq N}(\lambda _{s} ( B ) )} \biggr\vert < 1 \quad\text{for } \frac{\omega \tau }{h^{2}}>0. \end{aligned}
(52)

Using (52) and by induction follows that

\begin{aligned} \bigl\Vert U^{k+1} \bigr\Vert _{2} &\leq \bigl\Vert K^{-1}S \bigr\Vert _{2} \bigl\Vert U^{k} \bigr\Vert _{2}+\tau \bigl\Vert K^{-1} \bigr\Vert _{2} \bigl( \bigl\Vert F^{k+\frac{1}{2}} \bigr\Vert _{2}+ \bigl\Vert G^{k^{\ast }} \bigr\Vert _{2} \bigr) \\ &\leq \bigl\Vert U^{0} \bigr\Vert _{2}+\tau \sum _{k^{ \prime }=0}^{k} \bigl( \bigl\Vert F^{k^{\prime }+\frac{1}{2}} \bigr\Vert _{2}+ \bigl\Vert G^{k^{\prime ^{\ast }}} \bigr\Vert _{2} \bigr). \end{aligned}
(53)

Since $$K^{-1}S$$ is a real symmetric matrix it is also a normal matrix; hence, the von Neumann condition for stability is sufficient as well as necessary for stability (see Lax and Richtmyer [28]). Therefore, Eq. (53) shows that the implicit scheme in Difference Problem 1 is unconditionally stable. The error function $$\varepsilon _{h,\tau }$$ satisfying (40)–(42) can be given in the matrix form (45) at time level $$t= ( k+1 ) \tau$$ as

$$KE^{k+1}=SE^{k}+\tau \widehat{\varPsi }^{k}.$$
(54)

where, E is vector of order N. Thus, from Theorem 2 and (53), (54) we have

$$\bigl\Vert E^{k+1} \bigr\Vert _{2}\leq \tau \sum _{k^{ \prime }=0}^{k} \bigl\Vert \widehat{\varPsi }^{k^{\prime }} \bigr\Vert _{2} \leq c_{1} \bigl( h^{2}+\tau ^{2} \bigr),$$
(55)

where, $$c_{1}$$ is positive constant independent from h and τ and depends on the bounded derivatives of the solution u of the form (2) of at most sixth order in the truncation error $$\widehat{\varPsi }^{k}$$ as given in (38) and (39). Let $$\Vert \varepsilon _{h,\tau }^{k+1} \Vert _{C}= \bigcap_{\overline{\varOmega ^{h}\gamma _{\tau }} \{ t=(k+1)\tau \} }{\max } \vert \varepsilon _{h,\tau }^{k+1} \vert = \Vert E^{k+1} \Vert _{\infty }$$, then on the basis of norm concordance and using (55) we get

$$\bigl\Vert \varepsilon _{h,\tau }^{k+1} \bigr\Vert _{C}\leq \bigl\Vert E^{k+1} \bigr\Vert _{2} \leq c_{1} \bigl( h^{2}+\tau ^{2} \bigr).$$
(56)

Therefore, the solution $$u_{h,\tau }$$ converges to the exact solution u with order of accuracy $$( h^{2}+\tau ^{2} )$$. □

## 4 Fourth order accurate implicit difference problem

Let $$f_{P_{0}}^{k+1}=f ( x_{1},x_{2},t+\tau )$$, $$f_{P_{A}}^{k+1}=f ( \widehat{p},x_{2},t+\tau )$$ and $$f_{P_{A}}^{k}=f ( \widehat{p},x_{2},t )$$ where, is as defined in (29). Analogously $$\partial _{x_{1}}^{2}f_{P_{0}}^{k+1}= \frac{\partial ^{2}f}{\partial x_{1}^{2}} \vert _{ ( x_{1},x_{2},t+\tau ) }$$ and $$\partial _{x2}^{2}f_{P_{0}}^{k+1}= \frac{\partial ^{2}f}{\partial x_{2}^{2}} \vert _{ ( x_{1},x_{2},t+\tau ) }$$. We give the following difference problem for the solution of the given BVP.

### Difference Problem 2

\begin{aligned} &\widetilde{\varTheta }_{h,\tau }u_{h,\tau }^{k+1} = \widetilde{\varLambda }_{h,\tau }u_{h,\tau }^{k}+ \widetilde{\psi }\quad\text{on }\varOmega ^{0h} \gamma _{\tau }, \end{aligned}
(57)
\begin{aligned} &\widetilde{\varTheta }_{h,\tau }^{\ast }u_{h,\tau }^{k+1} =\widetilde{\varLambda }_{h, \tau }^{\ast }u_{h,\tau }^{k}+ \widetilde{E}_{h,\tau }^{\ast }\phi +\widetilde{\psi }^{\ast }\quad\text{on }\varOmega ^{\ast h}\gamma _{\tau }, \end{aligned}
(58)
\begin{aligned} &u_{h,\tau } =\varphi ( x ),\quad t=0\text{ on } \overline{\varOmega }^{h}, \end{aligned}
(59)
\begin{aligned} &u_{h,\tau } =\phi ( x,t ) \quad\text{on }S_{T}^{h}, \end{aligned}
(60)

$$k=0,\ldots,M^{\prime }-1$$, where

\begin{aligned} &\widetilde{\psi } =f_{P_{0}}^{k+1}+\frac{1}{16}h^{2} \bigl( \partial _{x_{1}}^{2}f_{P_{0}}^{k+1}+ \partial _{x_{2}}^{2}f_{P_{0}}^{k+1} \bigr), \end{aligned}
(61)
\begin{aligned} &\widetilde{\psi }^{\ast } =\frac{h^{2}}{96\tau \omega }f_{P_{A}}^{k+1}-\frac{h^{2}}{96\tau \omega }f_{P_{A}}^{k}-\frac{1}{6}f_{P_{A}}^{k+1}+f_{P_{0}}^{k+1} \\ &\phantom{\widetilde{\psi }^{\ast } =}{}+\frac{1}{16}h^{2} \bigl( \partial _{x_{1}}^{2}f_{P_{0}}^{k+1}+ \partial _{x_{2}}^{2}f_{P_{0}}^{k+1} \bigr) , \end{aligned}
(62)
\begin{aligned} &\widetilde{\varTheta }_{h,\tau }u^{k+1}= \biggl( \frac{3}{4\tau }+ \frac{4\omega }{h^{2}} \biggr) u_{P_{0}}^{k+1}+ \biggl( \frac{1}{24\tau }- \frac{2\omega }{3h^{2}} \biggr) \sum _{i=1}^{6}u_{P_{i}}^{k+1}, \end{aligned}
(63)
\begin{aligned} &\widetilde{\varLambda }_{h}u^{k}=\frac{3}{4\tau }u_{P_{0}}^{k}+ \frac{1}{24\tau }\sum_{i=1}^{6}u_{P_{i}}^{k} , \end{aligned}
(64)
\begin{aligned} &\widetilde{\varTheta }_{h,\tau }^{\ast }u^{k+1} = \biggl( \frac{17}{24\tau }+\frac{14\omega }{3h^{2}} \biggr) u_{P_{0}}^{k+1}+ \biggl( \frac{1}{24\tau }-\frac{2\omega }{3h^{2}} \biggr) \biggl( u \biggl(p,x_{2}+\frac{\sqrt{3}}{2}h,t+ \tau \biggr) \\ &\phantom{\widetilde{\varTheta }_{h,\tau }^{\ast }u^{k+1} =}{} +u \biggl(p,x_{2}-\frac{\sqrt{3}}{2}h,t+\tau \biggr)+u(p+ \eta,x_{2},t+ \tau ) \biggr), \end{aligned}
(65)
\begin{aligned} &\widetilde{E}_{h,\tau }^{\ast }\phi = \biggl( - \frac{1}{36\tau }+ \frac{4\omega }{9h^{2}} \biggr) \biggl( \phi \biggl( \widehat{p},x_{2}+ \frac{\sqrt{3}}{2}h,t+\tau \biggr)+\phi \biggl(\widehat{p},x_{2}-\frac{\sqrt{3}}{2}h,t+\tau \biggr) \biggr) \\ &\phantom{\widetilde{E}_{h,\tau }^{\ast }\phi =}{}+ \biggl( \frac{1}{18\tau }+\frac{16\omega }{9h^{2}} \biggr) \phi ( \widehat{p},x_{2},t+\tau )+\frac{1}{36\tau } \biggl( \phi \biggl(\widehat{p},x_{2}+ \frac{\sqrt{3}}{2}h,t \biggr) \\ &\phantom{\widetilde{E}_{h,\tau }^{\ast }\phi =}{}+\phi \biggl( \widehat{p},x_{2}-\frac{\sqrt{3}}{2}h,t \biggr) \biggr) \\ &\phantom{\widetilde{E}_{h,\tau }^{\ast }\phi =}{}-\frac{1}{18\tau }\phi (\widehat{p},x_{2},t), \end{aligned}
(66)
\begin{aligned} &\widetilde{\varLambda }_{h,\tau }^{\ast }u^{k} = \frac{17}{24\tau }u_{P_{0}}^{k}+\frac{1}{24\tau } \biggl( u \biggl(p,x_{2}+\frac{\sqrt{3}}{2}h,t \biggr) \\ &\phantom{\widetilde{\varLambda }_{h,\tau }^{\ast }u^{k} =}{} +u \biggl(p,x_{2}-\frac{\sqrt{3}}{2}h,t \biggr)+u(p+ \eta,x_{2},t) \biggr) , \end{aligned}
(67)

and $$p,\widehat{p},\eta$$ are as defined in (29).

We remark that ψ̃ in (61) can be taken as (see also Lee et al. [16])

$$\widetilde{\psi }=\frac{3}{4}f_{P_{0}}^{k+1}+ \frac{1}{24}\sum_{i=1}^{6}f_{P_{i}}^{k+1}.$$
(68)

### Theorem 7

The order of approximation of the implicit scheme in Difference Problem2is$$O ( h^{4}+\tau )$$.

### Proof

Let $$( x_{1},x_{2},t+\tau ) \in \varOmega ^{\ast lh}\gamma _{ \tau }$$ be the center of the hexagon ($$P_{0}$$) at time level $$t+\tau$$. The heat equation (10) is also satisfied at the boundary points $$(\widehat{p},x_{2},t+\tau )$$ and $$(\widehat{p},x_{2},t)$$ where, $$\widehat{p}=x_{1}-\frac{h}{2}$$. We give the difference approximation of the heat equation (10) at these boundary points ($$P_{A}$$),

\begin{aligned} &\frac{u_{h,\tau,P_{A}}^{k+1}-u_{h,\tau,P_{A}}^{k}}{\tau } \\ &\quad= \omega \biggl( \frac{4}{h^{2}} \bigl( u_{h,\tau,P_{0}}^{k+1}-2u_{h, \tau,P_{A}}^{k+1}+u_{h,\tau,P_{2}}^{k+1} \bigr) \\ &\qquad{}+ \frac{4}{3h^{2}} \bigl( u_{h,\tau,P_{1}}^{k+1}-2u_{h, \tau,P_{A}}^{k+1}+u_{h,\tau,P_{3}}^{k+1} \bigr) \biggr) +f_{P_{A}}^{k+1}, \end{aligned}
(69)
\begin{aligned} &\frac{u_{h,\tau,P_{A}}^{k+1}-u_{h,\tau,P_{A}}^{k}}{\tau } \\ &\quad= \omega \biggl( \frac{4}{h^{2}} \bigl( u_{h,\tau,P_{0}}^{k}-2u_{h, \tau,P_{A}}^{k}+u_{h,\tau,P_{2}}^{k} \bigr) \\ &\qquad{}+ \frac{4}{3h^{2}} \bigl( u_{h,\tau,P_{1}}^{k}-2u_{h,\tau,P_{A}}^{k}+u_{h, \tau,P_{3}}^{k} \bigr) \biggr) +f_{P_{A}}^{k}, \end{aligned}
(70)

respectively, both with order of approximation $$O ( h^{2}+\tau )$$. For the left ghost points from Eq. (69) we get

\begin{aligned} u_{h,\tau,P_{2}}^{k+1}={}& \biggl( \frac{h^{2}}{4\tau \omega }+ \frac{8}{3} \biggr) u_{h,\tau,P_{A}}^{k+1}- \frac{h^{2}}{4\tau \omega }u_{h, \tau,P_{A}}^{k}-u_{h,\tau,P_{0}}^{k+1}- \frac{1}{3}u_{h,\tau,P_{1}}^{k+1} \\ &{}- \frac{1}{3}u_{h,\tau,P_{3}}^{k+1}- \frac{h^{2}}{4\omega }f_{P_{A}}^{k+1}, \end{aligned}
(71)

and from (70) results

\begin{aligned} u_{h,\tau,P_{2}}^{k}={}&\frac{h^{2}}{4\tau \omega }u_{h,\tau,P_{A}}^{k+1}+ \biggl( \frac{8}{3}-\frac{h^{2}}{4\tau \omega } \biggr) u_{h,\tau,P_{A}}^{k}-u_{h, \tau,P_{0}}^{k}- \frac{1}{3}u_{h,\tau,P_{1}}^{k} \\ &{}-\frac{1}{3}u_{h,\tau,P_{3}}^{k}-\frac{h^{2}}{4\omega }f_{P_{A}}^{k}. \end{aligned}
(72)

Analogously, when $$( x_{1},x_{2},t+\tau ) \in \varOmega ^{\ast rh}\gamma _{ \tau }$$ for the right ghost points approximation we obtain

\begin{aligned} &u_{h,\tau,P_{5}}^{k+1}= \biggl( \frac{h^{2}}{4\tau \omega }+ \frac{8}{3} \biggr) u_{h,\tau,P_{A}}^{k+1}- \frac{h^{2}}{4\tau \omega }u_{h, \tau,P_{A}}^{k}-u_{h,\tau,P_{0}}^{k+1}- \frac{1}{3}u_{h,\tau,P_{4}}^{k+1}- \frac{1}{3}u_{h,\tau,P_{6}}^{k+1}- \frac{h^{2}}{4\omega }f_{P_{A}}^{k+1}, \end{aligned}
(73)
\begin{aligned} &u_{h,\tau,P_{5}}^{k}=\frac{h^{2}}{4\tau \omega }u_{h,\tau,P_{A}}^{k+1}+ \biggl( \frac{8}{3}-\frac{h^{2}}{4\tau \omega } \biggr) u_{h,\tau,P_{A}}^{k}-u_{h, \tau,P_{0}}^{k}- \frac{1}{3}u_{h,\tau,P_{4}}^{k}-\frac{1}{3}u_{h,\tau,P_{6}}^{k}-\frac{h^{2}}{4\omega }f_{P_{A}}^{k}. \end{aligned}
(74)

Using (71)–(74) and (57) we obtain the scheme (58). Let the error function be $$\varepsilon _{h,\tau }=u_{h,\tau }-u$$. Then $$\varepsilon _{h,\tau }$$ satisfies the following difference problem:

\begin{aligned} &\widetilde{\varTheta }_{h,\tau }\varepsilon _{h,\tau }^{k+1} =\widetilde{\varLambda }_{h,\tau }\varepsilon _{h,\tau }^{k}+\widetilde{\varPsi }_{1}^{k} \quad\text{on }\varOmega ^{0h}\gamma _{\tau }, \end{aligned}
(75)
\begin{aligned} &\widetilde{\varTheta }_{h,\tau }^{\ast }\varepsilon _{h,\tau }^{k+1} =\widetilde{\varLambda }_{h,\tau }^{\ast }\varepsilon _{h,\tau }^{k}+ \widetilde{\varPsi }_{2}^{k}\quad\text{on } \varOmega ^{\ast h}\gamma _{\tau }, \end{aligned}
(76)
\begin{aligned} &\varepsilon _{h,\tau } =0, \quad t=0\text{ on }\overline{\varOmega }^{h}, \end{aligned}
(77)
\begin{aligned} &\varepsilon _{h,\tau } =0\quad \text{on }S_{T}^{h}, \end{aligned}
(78)

where,

\begin{aligned} &\widetilde{\varPsi }_{1}^{k} =\widetilde{\varLambda }_{h,\tau }u^{k}- \widetilde{\varTheta }_{h,\tau }u^{k+1}+\widetilde{\psi }, \end{aligned}
(79)
\begin{aligned} &\widetilde{\varPsi }_{2}^{k} =\widetilde{\varLambda }_{h,\tau }^{\ast }u^{k}-\widetilde{\varTheta }_{h,\tau }^{\ast }u^{k+1}+\widetilde{\psi }^{\ast }. \end{aligned}
(80)

Let $$\widehat{\widetilde{\varTheta }}_{h,\tau }$$ be the operator that coincides with $$\widetilde{\varTheta }_{h,\tau }$$ for the points in $$\varOmega ^{0h}\gamma _{\tau }$$, and coincides with $$\widetilde{\varTheta }_{h,\tau }^{\ast }$$ for the points in $$\varOmega ^{\ast h}\gamma _{\tau }$$. Analogously, let $$\widehat{\widetilde{\varLambda }}_{h,\tau }$$ be the operator that coincides with $$\widetilde{\varLambda }_{h,\tau }$$ for the points in $$\varOmega ^{0h}\gamma _{\tau }$$ and coincides with $$\widetilde{\varLambda }_{h,\tau }^{\ast }$$ for the points in $$\varOmega ^{\ast h}\gamma _{\tau }$$. Also $$\widehat{\widetilde{\varPsi }}^{k}$$ denotes the truncation error $$\widetilde{\varPsi }_{1}^{k}$$ and $$\widetilde{\varPsi }_{2}^{k}$$ for the points belonging to $$\varOmega ^{0h}\gamma _{\tau }$$ and $$\varOmega ^{\ast h}\gamma _{\tau }$$, respectively. Then the system (75)–(78) can be given as

\begin{aligned} &\widehat{\widetilde{\varTheta }}_{h,\tau }\varepsilon _{h,\tau }^{k+1} =\widehat{\widetilde{\varLambda }}_{h,\tau }\varepsilon _{h,\tau }^{k}+ \widehat{\widetilde{\varPsi }}^{k}\quad\text{on }\varOmega ^{h}\gamma _{\tau }, \end{aligned}
(81)
\begin{aligned} &\varepsilon _{h,\tau } =0,\quad t=0\text{ on }\overline{\varOmega }^{h}, \end{aligned}
(82)
\begin{aligned} &\varepsilon _{h,\tau } =0\quad \text{on }S_{T}^{h}. \end{aligned}
(83)

Using Taylor’s expansion at the point $$( x_{1},x_{2},t+\tau )$$ and from the assumption that $$u\in C_{x,t}^{6+\alpha,3+\frac{\alpha }{2}} ( \overline{Q}_{T} )$$ we obtain the $$\widehat{\widetilde{\varPsi }}=O ( h^{4}+\tau )$$ order of the approximation. Therefore, the order of approximation of the implicit scheme in Difference Problem 2 (57)–(60) is $$O ( h^{4}+\tau )$$. □

The algebraic linear system of equations obtained by the Difference Problem 2 can be presented in matrix form

$$\widetilde{K}U^{k+1}=\widetilde{S}U^{k}+\tau \bigl( \widetilde{F}^{k^{ \ast }}+\widetilde{G}^{k^{\ast }} \bigr),$$
(84)

where $$\widetilde{K},\widetilde{S}\in R^{N\times N}$$ are given as

\begin{aligned} &\widetilde{K} = \biggl( \widetilde{D}_{1}+\frac{1}{24} \mathrm{Inc}+ \frac{\omega \tau }{h^{2}}\widetilde{B} \biggr), \qquad\widetilde{S}= \biggl( \widetilde{D}_{1}+\frac{1}{24}\mathrm{Inc} \biggr), \end{aligned}
(85)
\begin{aligned} &\widetilde{B} =\widetilde{D}_{2}-\frac{2}{3}\mathrm{Inc}\in R^{N\times N}. \end{aligned}
(86)

$$\widetilde{F}^{k^{\ast }}$$ and $$\widetilde{G}^{k^{\ast }}$$ are vectors of order N obtained by evaluating the heat source function f in (61), (62) and the boundary and initial function values in Difference Problem 2 (57)–(60), respectively. Also $$k^{\ast }$$ denotes that values from $$(k+1)\tau$$ and are used and $$\widetilde{D}_{1},\widetilde{D}_{2}$$ are diagonal matrices with entries

\begin{aligned} &{\widetilde{d}_{1,jj}}=\textstyle\begin{cases} \frac{3}{4}&\text{if }Q_{j}\in \varOmega ^{0h}\gamma _{\tau }, \\ \frac{17}{24}&\text{if }Q_{j}\in \varOmega ^{\ast h}\gamma _{\tau },\end{cases}\displaystyle \quad j=1,2,\ldots,N, \end{aligned}
(87)
\begin{aligned} &{\widetilde{d}_{2,jj}}=\textstyle\begin{cases} 4&\text{if }Q_{j}\in \varOmega ^{0h}\gamma _{\tau }, \\ \frac{14}{3}&\text{if }Q_{j}\in \varOmega ^{\ast h}\gamma _{\tau },\end{cases}\displaystyle \quad j=1,2,\ldots,N, \end{aligned}
(88)

respectively.

### Lemma 8

The matrices$$\widetilde{K},\widetilde{S}$$in (85) andin (86) are symmetric positive definite matrices.

### Proof

The matrix is nonnegative and strictly diagonally dominant matrix and is irreducibly diagonally dominant matrices with positive main diagonal entries. Since Inc is symmetric we see that $$\widetilde{B},\widetilde{S}$$ are also symmetric. Thus, Theorem 4 implies that $$\widetilde{B},\widetilde{S}$$ have positive eigenvalues. Therefore $$\widetilde{B},\widetilde{S}$$ are symmetric positive definite matrices. Using $$\widetilde{K}= \widetilde{S}+\frac{\omega \tau }{h^{2}}\widetilde{B}$$ and that the sum of two symmetric positive definite matrices is symmetric positive definite shows that is symmetric positive definite. □

On the basis of Lemma 8, is invertible and the algebraic linear system (84) can be rewritten as

\begin{aligned} &\widetilde{A}U^{k+1} =U^{k}+\tau \widetilde{S}^{-1} \bigl( \widetilde{F}^{k^{\ast }}+\widetilde{G}^{k^{\ast }} \bigr), \end{aligned}
(89)
\begin{aligned} &\widetilde{A} =I+\frac{\omega \tau }{h^{2}}\widetilde{S}^{-1} \widetilde{B}. \end{aligned}
(90)

### Lemma 9

The matrixÃin (90) is symmetric positive definite.

### Proof

$$\widetilde{S}=I-\frac{1}{16}\widetilde{B}$$ and have the same basis vectors spanning their eigenspaces, therefore on the basis of Lemma 8 and using that every real symmetric matrix is orthogonal equivalent to a real diagonal matrix we have $$\widetilde{S}=P^{T}\Delta _{1}P$$ and $$\widetilde{B}=P^{T}\Delta _{2}P$$ where $$\Delta _{1}$$ and $$\Delta _{2}$$ are diagonal matrices and P is orthogonal matrix of which the columns are the normalized basis vectors spanning the eigenspaces of and . From $$\Delta _{1}^{-1}\Delta _{2}=\Delta _{2}\Delta _{1}^{-1}$$ it follows that

$$\widetilde{S}^{-1}\widetilde{B}= \bigl( P^{T}\Delta _{1}^{-1}P \bigr) P^{T}\Delta _{2}P=P^{T}\Delta _{2}\Delta _{1}^{-1}P= \bigl( \widetilde{S}^{-1}\widetilde{B} \bigr) ^{T}.$$
(91)

So $$\widetilde{S}^{-1}\widetilde{B}$$ is symmetric, thus $$\widetilde{S}^{-1}\widetilde{B}$$ commutes. Since the product of two symmetric positive definite matrices that commute is also symmetric positive definite (see [27] and [29]) we have $$\lambda _{s} ( \widetilde{S}^{-1}\widetilde{B} ) >0$$ as

$$\widetilde{S}^{-1}\widetilde{B}=\widetilde{S}^{-1} \widetilde{B}^{ \frac{1}{2}}\widetilde{B}^{\frac{1}{2}}= \widetilde{B}^{-\frac{1}{2}}\widetilde{B}^{ \frac{1}{2}}\widetilde{S}^{-1} \widetilde{B}^{\frac{1}{2}}\widetilde{B}^{ \frac{1}{2}},$$
(92)

that is, $$\widetilde{S}^{-1}\widetilde{B}$$ is similar to the symmetric matrix $$\widetilde{B}^{\frac{1}{2}}\widetilde{S}^{-1}\widetilde{B}^{ \frac{1}{2}}$$. We have

$$x^{T}\widetilde{B}^{\frac{1}{2}}\widetilde{S}^{-1} \widetilde{B}^{ \frac{1}{2}}x=z^{T}\widetilde{S}^{-1} \dot{z}>0,$$
(93)

for every $$z=\widetilde{B}^{\frac{1}{2}}x\neq 0$$. Thus, the eigenvalues $$\lambda _{s} ( \widetilde{B}^{\frac{1}{2}}\widetilde{S}^{-1} \widetilde{B}^{\frac{1}{2}} ) >0$$, implying that $$\lambda _{s} ( \widetilde{S}^{-1}\widetilde{B} ) >0$$ and $$\lambda _{s} ( \widetilde{A} ) >0$$. □

### Theorem 10

The implicit scheme of the Difference Problem2is unconditionally stable and the solution$$u_{h,\tau }$$converges to the exact solutionuwith order of accuracy$$O ( h^{4}+\tau )$$.

### Proof

Using (90) Lemma 9 implies that

$$0< \lambda _{s} \bigl( \widetilde{A}^{-1} \bigr) \leq \frac{1}{1+\frac{\omega \tau }{h^{2}}\min_{1\leq s\leq N} ( \lambda _{s} ( \widetilde{S}^{-1}\widetilde{B} ) ) }< 1,$$
(94)

for $$\frac{\omega \tau }{h^{2}}>0$$ and since Ã is symmetric matrix $$\widetilde{A}^{-1}$$ is also symmetric matrix, therefore $$\Vert \widetilde{A}^{-1} \Vert _{2}<1$$. Also using (85)–(90) and the Gershgorin theorem to estimate the spectrum of we get $$0<\lambda _{s} ( \widetilde{B} ) \leq 8$$, and $$\Vert ( \widetilde{K} ) ^{-1} \Vert _{2}= \Vert ( \widetilde{S}\widetilde{A} ) ^{-1} \Vert _{2}\leq 2$$. Multiplying both sides of (89) by $$\widetilde{A}^{-1}$$ and taking the second norm and by using norm properties and induction give

\begin{aligned} \bigl\Vert U^{k+1} \bigr\Vert _{2} &\leq \bigl\Vert U^{k} \bigr\Vert _{2}+2\tau \bigl( \bigl\Vert \widetilde{F}^{k^{\ast }} \bigr\Vert _{2}+ \bigl\Vert \widetilde{G}^{k^{\ast }} \bigr\Vert _{2} \bigr) \\ &\leq \bigl\Vert U^{0} \bigr\Vert _{2}+2\tau \sum _{k^{ \prime }=1}^{k} \bigl( \bigl\Vert \widetilde{F}^{k^{\prime \ast }} \bigr\Vert _{2}+ \bigl\Vert \widetilde{G}^{k^{\prime \ast }} \bigr\Vert _{2} \bigr). \end{aligned}
(95)

Hence, the inequality (94) gives the Von Neumann necessary condition for stability. Since Ã is real symmetric matrix it is also normal matrix and the condition (94) is as well as the sufficient condition for stability (see Lax and Richtmyer [28]). Therefore, equation (95) yields that the implicit scheme (18), (19) is unconditionally stable. The error function $$\varepsilon _{h,\tau }$$ satisfying (81)–(83) can be given in the matrix form (89) at time level $$t= ( k+1 ) \tau$$ as

$$\widetilde{A}E^{k+1}=E^{k}+\tau \widetilde{S}^{-1} \widehat{\widetilde{\varPsi }}^{k}.$$
(96)

where, E is vector of order N. Thus, from Theorem 2 and (95), (96) we have

$$\bigl\Vert E^{k+1} \bigr\Vert _{2}\leq 2\tau \sum _{k^{ \prime }=0}^{k} \bigl\Vert \widehat{ \widetilde{\varPsi }}^{k^{\prime }} \bigr\Vert _{2}\leq c_{2} \bigl( h^{4}+\tau \bigr),$$
(97)

where, $$c_{2}$$ is positive constant independent from h and τ and depends on the bounded derivatives of the solution u of the form (2) of at most sixth order in the truncation error $$\widehat{\widetilde{\varPsi }}^{k}$$ as given in (79) and (80). Using norm concordance and the inequality (97) we get

$$\bigl\Vert \varepsilon _{h,\tau }^{k+1} \bigr\Vert _{C}\leq \bigl\Vert E^{k+1} \bigr\Vert _{2} \leq c_{2} \bigl( h^{4}+\tau \bigr).$$
(98)

Hence, the solution $$u_{h,\tau }$$ converges to the exact solution u on the hexagonal grids with order of accuracy $$( h^{4}+\tau )$$. □

## 5 Numerical results

We consider the open polygon Ω as the rectangle $$\varOmega _{\mathrm{Rec}}= \{ ( x_{1},x_{2} ):0< x_{1}<1,0<x_{2}< \frac{\sqrt{3}}{2} \}$$, the trapezoid $$\varOmega _{\mathrm{Tra}}= \{ ( x_{1},x_{2} ):0< x_{2}< \frac{\sqrt{3}}{2},0<x_{1}<\frac{x_{2}}{\sqrt{3}}+1 \}$$ and the parallelogram $$\varOmega _{\mathrm{Par}}= \{ ( x_{1},x_{2} ):0< x_{2}<\frac{\sqrt{3}}{2},\frac{x_{2}}{\sqrt{3}}<x_{1}< \frac{x_{2}}{\sqrt{3}}+1 \}$$ and we take $$t\in [ 0,1 ]$$. We consider three examples of which the constant ω in the operator $$L\equiv \frac{\partial }{\partial t}-\omega ( \frac{\partial ^{2}}{\partial x_{1}^{2}}+\frac{\partial ^{2}}{\partial x_{2}^{2}} )$$ is taken one. All the computations are performed using Mathematica in double precision on a personal computer with properties AMD Ryzen 7 1800X Eight Core Processor 3.60 GHz. Also we used conjugate gradient method to solve the obtained algebraic linear system of equations at each time level. All tables adopt the following notations:

• $$\mathrm{CT}^{\mathrm{Exi}},i=1,2,3$$ present the total Central Processing Unit time in seconds per time level for the Example 1, Example 2 and Example 3, respectively.

• neg means that $$\mathrm{CT}^{\mathrm{Exi}},i=1,2,3$$, is less than one milliseconds.

### Example 1

(Test problem with smooth boundary and initial functions in the pure diffusion case ($$f\mathbf{=0}$$))

\begin{aligned} &Lu=0\quad\text{on }Q_{T}, \\ &u ( x_{1},x_{2},0 ) =\sin \biggl( \frac{\pi }{6}x_{1}+ \frac{\pi }{3}x_{2} \biggr)\quad \text{on }\overline{ \varOmega }, \\ &u ( x_{1},x_{2},t ) =e^{\frac{-5\pi ^{2}}{36}t}\sin \biggl( \frac{\pi }{6}x_{1}+\frac{\pi }{3}x_{2} \biggr)\quad \text{on }S_{T}, \end{aligned}

and, the exact solution is $$u ( x_{1},x_{2},t ) =e^{\frac{-5\pi ^{2}}{36}t}\sin ( \frac{\pi }{6}x_{1}+\frac{\pi }{3}x_{2} )$$.

### Example 2

(Test problem with decreased smoothness on the boundary, initial functions and heat source)

\begin{aligned} &Lu=- \biggl( \frac{37}{12}t^{\frac{25}{12}}\sin \bigl( t^{\frac{37}{12}} \bigr) +\frac{1147}{72}x_{1}^{\frac{25}{6}}+\frac{1147}{36}x_{2}^{\frac{25}{6}} \biggr) \quad\text{on }Q_{T}, \\ &u ( x_{1},x_{2},0 ) =\frac{1}{2}x_{1}^{\frac{37}{6}}+x_{2}^{\frac{37}{6}}+1 \quad \text{on }\overline{\varOmega } \\ &u ( x_{1},x_{2},t ) =\frac{1}{2}x_{1}^{\frac{37}{6}}+x_{2}^{\frac{37}{6}}+ \cos \bigl( t^{\frac{37}{12}} \bigr) \quad\text{on }S_{T}, \end{aligned}

and the exact solution is $$u ( x_{1},x_{2},t ) =\frac{1}{2}x_{1}^{\frac{37}{6}}+x_{2}^{\frac{37}{6}}+\cos ( t^{\frac{37}{12}} )$$.

On the grid points $$\overline{\varOmega ^{h}\gamma _{\tau }}$$, which is the closure of $$\varOmega ^{h}\gamma _{\tau }$$ we denote the error function $$\varepsilon _{h,\tau }$$ by $$\varepsilon _{\mathrm{Rec}}^{\mathrm{Exi}(h,\tau )},\varepsilon _{\mathrm{Tra}}^{\mathrm{Exi}(h,\tau )}$$ and $$\varepsilon _{\mathrm{Par}}^{\mathrm{Exi}(h,\tau )}\ i=1,2$$ when Ω is the rectangle ($$\varOmega _{\mathrm{Rec}}$$), trapezoid ($$\varOmega _{\mathrm{Tra}}$$) and parallelogram ($$\varOmega _{\mathrm{Par}}$$) respectively, for the Example 1 and Example 2. Also maximum norms of the errors $$\max_{\overline{\varOmega ^{h}\gamma _{\tau }}} \vert \varepsilon _{h,\tau } \vert$$ for the Example 1 and Example 2 ($$i=1,2$$) are denoted by $$\Vert \varepsilon _{\mathrm{Rec}}^{\mathrm{Exi}(h,\tau )} \Vert _{\infty }, \Vert \varepsilon _{\mathrm{Tra}}^{\mathrm{Exi}(h,\tau )} \Vert _{\infty }$$ and $$\Vert \varepsilon _{\mathrm{Par}}^{\mathrm{Exi}(h,\tau )} \Vert _{\infty }$$ on $$\varOmega _{\mathrm{Rec}},\varOmega _{\mathrm{Tra}}$$ and $$\varOmega _{\mathrm{Par}}$$, respectively. Further, we denote the order of convergence of the approximate solution $$u_{h,\tau }$$ to the exact solution u for the Example 1 and Example 2 obtained by using the Difference Problem 1 with

\begin{aligned} &{}_{2}\Re _{\mathrm{Rec}}^{\mathrm{Exi}}=\log _{2} \biggl( \frac{ \Vert \varepsilon _{\mathrm{Rec}}^{\mathrm{Exi}(2^{-\mu },2^{-\lambda })} \Vert _{\infty }}{ \Vert \varepsilon _{\mathrm{Rec}}^{\mathrm{Exi}(2^{- ( \mu +1 ) },2^{- ( \lambda +1 ) })} \Vert _{\infty }} \biggr),\quad i=1,2, \end{aligned}
(99)
\begin{aligned} &{}_{2}\Re _{\mathrm{Tra}}^{\mathrm{Exi}}=\log _{2} \biggl( \frac{ \Vert \varepsilon _{\mathrm{Tra}}^{\mathrm{Exi}(2^{-\mu },2^{-\lambda })} \Vert _{\infty }}{ \Vert \varepsilon _{\mathrm{Tra}}^{\mathrm{Exi}(2^{- ( \mu +1 ) },2^{- ( \lambda +1 ) })} \Vert _{\infty }} \biggr),\quad i=1,2, \end{aligned}
(100)
\begin{aligned} &{}_{2}\Re _{\mathrm{Par}}^{Ex1}=\log _{2} \biggl( \frac{ \Vert \varepsilon _{\mathrm{Par},}^{\mathrm{Exi}(2^{-\mu },2^{-\lambda })} \Vert _{\infty }}{ \Vert \varepsilon _{\mathrm{Par}}^{\mathrm{Exi}(2^{- ( \mu +1 ) },2^{- ( \lambda +1 ) })} \Vert _{\infty }} \biggr),\quad i=1,2, \end{aligned}
(101)

for the considered domains respectively. Table 1, Table 2, Table 3 demonstrate the $$\mathrm{CT}^{Ex1}$$, $$\mathrm{CT}^{Ex2}$$ and the maximum norm of the errors for $$h=2^{-\mu },\mu =3,4,5,6,7,8$$ when $$\tau =2^{-\lambda },\lambda =8,9,10,11,12,13$$ and the order of convergence of $$u_{h,\tau }$$ to the exact solution u with respect to h and τ obtained by using the constructed Difference Problem 1 for the Example 1 and Example 2 on a rectangle, trapezoid and parallelogram, respectively. These tables show that the proposed Difference Problem 1 has quadratic convergence order in both the spatial and time variables.

Next we solve both examples by using the Difference Problem 2 and denote the obtained order of convergence of the approximate solution $$u_{h,\tau }$$ to the exact solution u for the Example 1 and Example 2 ($$i=1,2$$) by

\begin{aligned} &{}_{4}\Re _{\mathrm{Rec}}^{\mathrm{Exi}}=\log _{2} \biggl( \frac{ \Vert \varepsilon _{\mathrm{Rec}}^{\mathrm{Exi}(2^{-\mu },2^{-\lambda })} \Vert _{\infty }}{ \Vert \varepsilon _{\mathrm{Rec}}^{\mathrm{Exi}(2^{- ( \mu +1 ) }, 2^{- ( \lambda +4 ) })} \Vert _{\infty }} \biggr),\quad i=1,2, \end{aligned}
(102)
\begin{aligned} &{}_{4}\Re _{\mathrm{Tra}}^{\mathrm{Exi}}=\log _{2} \biggl( \frac{ \Vert \varepsilon _{\mathrm{Tra}}^{\mathrm{Exi}(2^{-\mu },2^{-\lambda })} \Vert _{\infty }}{ \Vert \varepsilon _{\mathrm{Tra}}^{\mathrm{Exi}(2^{- ( \mu +1 ) }, 2^{- ( \lambda +4 ) })} \Vert _{\infty }} \biggr),\quad i=1,2, \end{aligned}
(103)
\begin{aligned} &{}_{4}\Re _{\mathrm{Par}}^{\mathrm{Exi}}=\log _{2} \biggl( \frac{ \Vert \varepsilon _{\mathrm{Par},}^{\mathrm{Exi}(2^{-\mu },2^{-\lambda })} \Vert _{\infty }}{ \Vert \varepsilon _{\mathrm{Par}}^{\mathrm{Exi}(2^{- ( \mu +1 ) }, 2^{- ( \lambda +4 ) })} \Vert _{\infty }} \biggr),\quad i=1,2, \end{aligned}
(104)

for the considered domains respectively. Table 4, Table 5, Table 6 show the $$\mathrm{CT}^{Ex1}$$, $$\mathrm{CT}^{Ex2}$$, maximum norm of the errors for $$h=2^{-\mu },\mu =4,5,6,7,8$$ when $$\tau =2^{-\lambda },\lambda =6,10,14,18,22$$ and the order of convergence of $$u_{h,\tau }$$ to the exact solution u with respect to h and τ obtained by using the constructed Difference Problem 2 for the Example 1 and Example 2 on rectangle, trapezoid and parallelogram respectively. These tables demonstrate that the approximate solution $$u_{h,\tau }$$ of the proposed Difference Problem 2 converges to the exact solution u with fourth order in the spatial variables and linearly with respect to time variable t. Figure 6, Fig. 7 and Fig. 8 demonstrate the absolute error functions $$\vert \varepsilon _{\mathrm{Rec}}^{Ex2(2^{-6},2^{-14})} \vert$$, $$\vert \varepsilon _{\mathrm{Par}}^{Ex2(2^{-6},2^{-14})} \vert$$ and $$\vert \varepsilon _{\mathrm{Tra}}^{Ex2(2^{-6},2^{-14})} \vert$$, respectively, at time moments $$t=0.25$$ and $$t=0.75$$ obtained by using the Difference Problem 2 for the numerical solution of Example 2 when $$h=2^{-6}$$ and $$\tau =2^{-14}$$.

### Example 3

(A benchmark problem)

\begin{aligned} &Lu=f ( x_{1},x_{2},t ) \quad\text{on }Q_{T}, \\ &u ( x_{1},x_{2},0 ) =0\quad\text{on }\overline{\varOmega }_{\mathrm{Rec}} \\ &u ( 0,x_{2},t ) =u ( 1,x_{2},t ) =u ( x_{1},0,t ) =u \biggl( x_{1},\frac{\sqrt{3}}{2},t \biggr) =0\quad\text{on }S_{T}, \end{aligned}

where,

\begin{aligned} f ( x_{1},x_{2},t ) ={}&x_{1}^{\frac{49}{8}} \biggl( x_{2}^{2}-\frac{\sqrt{3}}{2}x_{2} \biggr) \sin ( x_{1}-1 ) \cos t \\ &{}- \biggl( x_{2}^{2}-\frac{\sqrt{3}}{2}x_{2} \biggr) \sin t \biggl[ \frac{2009}{64}x_{1}^{\frac{33}{8}}\sin ( x_{1}-1 ) +\frac{49}{4}x_{1}^{\frac{41}{8}}\cos ( x_{1}-1 ) \\ &{}+ x_{1}^{\frac{49}{8}}\sin ( x_{1}-1 ) \biggr] -2x_{1}^{\frac{49}{8}}\sin ( x_{1}-1 ) \sin t. \end{aligned}

The exact solution of Example 3 is not given. Using the proposed Difference Problem 1 we obtain the approximate solution $$u_{2^{-\mu,}2^{-\lambda }} ( x_{1},x_{2},t )$$ at each time level for $$\mu =4,5,6$$, and $$\lambda =9,10,11$$, respectively. Table 7 presents $$u_{2^{-\mu,}2^{-\lambda }} ( x_{1},x_{2},t )$$ at the grid points $$( 0.125,\frac{\sqrt{3}}{16},1 )$$, $$( 0.25,\frac{\sqrt{3}}{16},1 )$$, $$( 0.375,\frac{\sqrt{3}}{16},1 )$$, $$( 0.5,\frac{\sqrt{3}}{16},1 )$$, $$( 0.625,\frac{\sqrt{3}}{16},1 )$$, $$( 0.75,\frac{\sqrt{3}}{16},1 )$$ and $$( 0.875,\frac{\sqrt{3}}{16},1 )$$ and the order of convergence at the point $$P ( x_{1},x_{2},t )$$, denoted by

$$_{2}\Re _{\mathrm{Rec}}^{Ex3} ( P ) =\log _{2} \biggl\vert \frac{u_{2^{-4},2^{-9}} ( P ) -u_{2^{-5},2^{-10}} ( P ) }{u_{2^{-5},2^{-10}} ( P ) -u_{2^{-6},2^{-11}} ( P ) } \biggr\vert .$$
(105)

Next by applying the given Difference Problem 2 we obtain the approximate solution $$u_{2^{-\mu,}2^{-\lambda }} ( x_{1},x_{2},t )$$ at each time level for $$\mu =4,5,6$$, and $$\lambda =6,10,14$$, respectively. The approximate solutions at the same chosen grid points and the order of convergence at these points

$$_{4}\Re _{\mathrm{Rec}}^{Ex3} ( P ) =\log _{2} \biggl\vert \frac{u_{2^{-4},2^{-6}} ( P ) -u_{2^{-5},2^{-10}} ( P ) }{u_{2^{-5},2^{-10}} ( P ) -u_{2^{-6},2^{-14}} ( P ) } \biggr\vert .$$
(106)

are shown in Table 8. By analyzing the values of (105) and (106) in the fifth columns of Table 7 and Table 8 respectively, we conclude that the order of convergence is quadratic in both the spatial and time variables on $$t=1$$ when Difference Problem 1 is used, and it is of fourth order in the spatial variables and linear in time variable while Difference Problem 2 is applied. Figure 9 illustrates the approximate solution $$u_{2^{-6},2^{-14}} ( x_{1},x_{2},t )$$ of the Example 3 obtained by using Difference Problem 2 at time moments $$t=0.25$$ and $$t=1$$.

## 6 Concluding remarks

Using hexagonal grids we proposed unconditionally stable two layer implicit difference problems with 14 points for the solution of first type boundary value problem of the heat equation in two space dimensions on special polygons. The methodology given in this research may be extended to constructing highly accurate implicit splitting schemes (fractional step methods) and alternating direction methods (ADI) (see Peaceman and Rachford[30], Douglas [31, 32] and [33]) for the solution of first type boundary value problem of the heat equation in three space dimensions.

Furthermore, the given schemes may be used to construct special difference problems for the first order derivatives of the solution of first type boundary value problem of two dimensional heat equation on a rectangle with respect to the space variables. For the derivative of the solution of first type boundary value problem to the one dimensional heat equation, with respect to the space variable see Buranay and Farinola [34].

## References

1. Smith, J.O.: Physical modeling using digital waveguides. Comput. Music J. 16(4), 74–91 (1992)

2. Ahmed, N., Ali, M., Baleanu, D., Rafiq, M., Ur Rehman, M.A.: Numerical analysis of diffusive susceptible-infected-recovered epidemic model in three space dimension. Chaos Solitons Fractals 132, 109535 (2020)

3. Iqbal, Z., Ahmed, N., Baleanu, D., Rafiq, M., Iqbal, M.S., Ur-Rehman, M.A.: Structure preserving computational technique for fractional order Schnakenberg model. Comput. Appl. Math. 39(2), 61 (2020)

4. Sadourney, R., Arakawa, A., Mintz, Y.: Integration of the nondivergent barotropic vorticity equation with an icosahedral-hexagonal grid for the sphere. Mon. Weather Rev. 96, 351–356 (1968)

5. Randall, D., Ringer, R., Heikes, J.R.P., Baumgardner, J.: Climate modelling with spherical geodesic grids. Comput. Sci. Eng. 4(5), 32–41 (2002)

6. Ehrlich, R., Hurwitz, H. Jr.: Multigroup methods for neutron problems. Nucleonics 12, 23 (1954)

7. Richtmyer, R.D., Morton, K.W.: Difference Methods for Initial-Value Problems, 2nd edn. Wiley, New York (1967)

8. Williamson, D.: Integration of the barotropic vorticity equation on a spherical geodesic grid. Tellus 20, 642–653 (1968)

9. Sadourney, R., Morel, P.: A finite-difference approximation of the primitive equations for a hexagonal grid on a plane. Mon. Weather Rev. 97, 439–445 (1969)

10. Sadourney, R.: Numerical integration of the primitive equation on a spherical grid with hexagonal cells. In: Proceedings of the WMOTUGG Symposium on Numerical Whether Prediction, vol. VII, pp. 45–77 (1969)

11. Thacker, W.C.: Irregular grid finite difference techniques: simulations of oscillations in shallow circular basins. J. Phys. Oceanogr. 7, 284–292 (1977)

12. Thacker, W.C.: Comparison of finite element and finite difference schemes, part II: two dimensional gravity wave motion. J. Phys. Oceanogr. 8, 680–689 (1978)

13. Salmon, R., Talley, M.L.: Generalization of Arakawa Jacobian. J. Comput. Phys. 83, 246–259 (1989)

14. Ničkovič, S.: On the use of hexagonal grids for simulation of atmospheric processes. Contrib. Atmos. Phys. 67, 103–107 (1994)

15. Ničkovič, S., Gavrilov, M.B., Tosič, I.A.: Geostrophic adjuctment on hexagonal grids. Mon. Weather Rev. 130, 668–683 (2002)

16. Lee, D., Tien, H.C., Luo, C.P., Luk, H.-N.: Hexagonal grid methods with applications to partial differential equations. Int. J. Comput. Math. 91(9), 1986–2009 (2014)

17. Dosiyev, A.A., Celiker, E.: Approximation on the hexagonal grid of the Dirichlet problem for Laplace’s equation. Bound. Value Probl. 2014, 73 (2014)

18. Dosiyev, A.A., Celiker, E.: A fourth order block-hexagonal grid approximation for the solution of Laplace’s equation with singularities. Adv. Differ. Equ. 2015, 59 (2015)

19. Volkov, E.A.: Differentiability properties of solutions of boundary value problems for the Laplace equation on a polygon. Tr. Mat. Inst. Steklova 77, 113–142 (1965)

20. Kondrat’ev, V.A.: Singularities of a solution of Dirichlet’s problem for a second order elliptic equation in the neighborhood of an edge. Diff. Urevnen. 13, 2026–2033 (1977)

21. Ladyženskaja, O.A., Solonnikov, V.A., Ural’ceva, N.N.: Linear and Quasi-Linear Equations of Parabolic Type Translation of Mathematical Monographs, vol. 23. American Mathematical Society, USA (1967)

22. Friedman, A.: Partial Differential Equations of Parabolic Type. Krieger, Malabar (1983)

23. Azzam, A., Kreyszig, E.: On solutions of parabolic equations in regions with edges. Bull. Aust. Math. Soc. 22, 219–230 (1980)

24. Azzam, A., Kreyszig, E.: Smoothness of solutions of parabolic equations in regions with edges. Nagoya Math. J. 84, 159–168 (1981)

25. Dosiyev, A.A.: The high accurate block-grid method for solving Laplace’s boundary value problem with singularities. SIAM J. Numer. Anal. 42(1), 153–178 (2004)

26. Dosiyev, A.A., Buranay, S.C., Subasi, D.: The highly accurate block-grid method in solving Laplace’s equation for nonanalytic boundary condition with corner singularity. Comput. Math. Appl. 64, 616–632 (2012)

27. Axelsson, O.: Iterative Solution Methods. Cambridge University Press, New York (1994)

28. Lax, P.D., Richtmyer, R.D.: Survey of the stability of linear finite difference equations. Commun. Pure Appl. Math. 9, 267–293 (1956)

29. Taussky, O.: Positive-definite matrices and their role in the study of the characteristic roots of general matrices. Adv. Math. 2(2), 175–186 (1968)

30. Peaceman, D., Rachford, H.H. Jr.: The numerical solution of parabolic and elliptic differential equations. J. Soc. Ind. Appl. Math. 3, 28 (1955)

31. Douglas, J.: On the numerical integration of $$\frac{ \partial ^{2}u}{\partial x^{2}}+\frac{\partial ^{2}u}{\partial y^{2}}= \frac{\partial u}{\partial t}$$ by implicit methods. J. Soc. Ind. Appl. Math. 3, 42 (1955)

32. Bagrinovskii, K.A., Godunov, S.K.: Difference schemes for multidimensional problems. Dokl. Akad. Nauk USSR 115, 431 (1957)

33. Marchuk, G.I.: Splitting and Alternating Methods, Handbook of Numerical Analysis, vol. 1. Elsevier, Amsterdam (1990)

34. Buranay, S.C., Farinola, L.A.: Implicit methods for the first derivative of the solution to heat equation. Adv. Differ. Equ. 2018, 430 (2018)

Not applicable.

### Availability of data and materials

No data and material has been used.

Not applicable.

## Author information

Authors

### Contributions

The authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

### Corresponding author

Correspondence to Suzan C. Buranay.

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests.

## Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and permissions

Buranay, S.C., Arshad, N. Hexagonal grid approximation of the solution of the heat equation on special polygons. Adv Differ Equ 2020, 309 (2020). https://doi.org/10.1186/s13662-020-02749-z

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/s13662-020-02749-z