- Research
- Open Access
- Published:

# On a highly accurate approximation of the first and pure second derivatives of the Laplace equation in a rectangular parallelpiped

*Advances in Difference Equations*
**volume 2016**, Article number: 145 (2016)

## Abstract

We propose and justify difference schemes for the approximation of the first and pure second derivatives of a solution of the Dirichlet problem in a rectangular parallelepiped. The boundary values on the faces of the parallelepiped are supposed to have six derivatives satisfying the Hölder condition, to be continuous on the edges, and to have second- and fourth-order derivatives satisfying the compatibility conditions resulting from the Laplace equation. We prove that the solutions of the proposed difference schemes converge uniformly on the cubic grid of order \(O(h^{4})\), where *h* is a grid step. Numerical experiments are presented to illustrate and support the analysis made.

## Introduction

A highly accurate method is one of the powerful tools reducing the number of unknowns, which is the main problem in the numerical solution of differential equations, to get reasonable results. This becomes more valuable in 3D problems when we are looking for the derivatives of the unknown solution by the finite difference or finite element methods for a small discretization parameter *h*.

The derivative problem was investigated in [1], in which it was proved that the high-order difference derivatives uniformly converge to the corresponding derivatives of the solution for the 2D Laplace equation in any strictly interior subdomain with the same order *h* as in the given domain. The uniform convergence of the difference derivatives over the whole grid domain to the corresponding derivatives of the solution for the 2D Laplace equation with order \(O(h^{2})\) was proved in [2]. In [3], for the first and pure second derivatives of the solution for the 2D Laplace equation, special finite difference problems were investigated. It is proved that the solution of these problems converge to the exact derivatives with order \(O(h^{4})\).

In [4], for the 3D Laplace equation, the convergence of order \(O(h^{2})\) of the difference derivatives to the corresponding first-order derivatives of the exact solution is proved. It was assumed that the boundary values have the third derivatives on the faces and satisfy the Hölder condition. Furthermore, they are continuous on the edges, and their second derivatives satisfy the compatibility condition that is implied by the Laplace equation. Whereas in [5], when the boundary values on the faces of a parallelepiped are supposed to have the fourth derivatives satisfying the Hölder condition, the constructed difference schemes converge with order \(O(h^{2})\) to the first and pure second derivatives of the exact solution.

In this paper, we consider the Dirichlet problem for the Laplace equation on a rectangular parallelepiped. We assume that the boundary values on the faces have the sixth-order derivatives satisfying the Hölder condition, and the second- and fourth-order derivatives satisfy some compatibility conditions on the edges. We construct three different schemes on a cubic grid with mesh size *h*, whose solutions separately approximate the solution of the Dirichlet problem with order \(O(h^{6}\vert \ln h\vert ) \) and its first and pure second derivatives with order \(O(h^{4})\). We show that, for the same boundary functions, if we use fifth-order numerical differentiation formulae to construct the finite-difference problem for the first derivatives, then the accuracy can be increased up to \(O(h^{5}\vert \ln h\vert )\). Finally, numerical experiments are given to support the theoretical results.

## The Dirichlet problem on a rectangular parallelepiped

Let \(R= \{ (x_{1},x_{2},x_{3}):0< x_{i}< a_{i},i=1,2,3 \} \) be an open rectangular parallelepiped, \(\Gamma_{j}\) (\(j=1,2,\ldots,6\)) be its faces including the edges such that \(\Gamma_{j}\) for \(j=1,2,3\) (for \(j=4,5,6\)) belong to the plane \(x_{j}=0\) (to the plane \(x_{j-3}=a_{j-3}\)), let \(\Gamma=\bigcup_{j=1}^{6}\Gamma_{j}\) be the boundary of *R*, and let \(\gamma_{\mu \nu}=\Gamma_{\mu}\cap\Gamma_{\nu}\) be the edges of the parallelepiped *R*. We say that \(f\in C^{k,\lambda}(D)\) if *f* has *k*th derivatives on *D* satisfying the Hölder condition with exponent \(\lambda\in ( 0,1 ) \).

We consider the boundary value problem

where \(\Delta\equiv\partial^{2}/\partial x_{1}^{2}+\partial ^{2}/\partial x_{2}^{2}+\partial^{2}/\partial x_{3}^{2}\), and \(\varphi_{j}\) are given functions. Assume that

where \(1\leq\mu<\nu\leq6\), \(\nu-\mu\neq3\), \(t_{\mu\nu}\) is an element in \(\gamma_{\mu\nu}\), and \(t_{\mu}\) and \(t_{\nu}\) are elements of the normal to \(\gamma_{\mu\nu}\) on the face \(\Gamma _{\mu}\) and \(\Gamma_{\nu}\), respectively.

### Lemma 2.1

*The solution*
*u*
*of problem* (2.1) *is from*
\(C^{5,\lambda }(\overline{R})\).

The proof of Lemma 2.1 follows from Theorem 2.1 in [6].

### Lemma 2.2

*We have the inequality*

*where*
*u*
*is the solution of problem* (2.1).

### Proof

From Lemma 2.1 it follows that the functions \(\frac{\partial ^{4}u}{\partial x_{1}^{4}}\), \(\frac{\partial^{4}u}{\partial x_{2}^{4}}\), and \(\frac{\partial^{4}u}{\partial x_{3}^{4}}\) are continuous on *R̅*. We put \(w=\frac{\partial^{4}u}{\partial x_{1}^{4}}\). The function *w* is harmonic in *R* and is the solution of the problem

where

From conditions (2.2)-(2.5) it follows that

Hence, by Theorem 4.1 in [6] we have

Similarly, it is proved that

From (2.7)-(2.10) estimate (2.6) follows. □

### Lemma 2.3

*Let*
\(\rho(x_{1},x_{2},x_{3})\)
*be the distance from the current point of the open parallelepiped*
*R*
*to its boundary*, *and let*
\(\partial /\partial l\equiv\alpha_{1}\partial/\partial x_{1}+\alpha _{2}\partial /\partial x_{2}+\alpha_{3}\partial/\partial x_{3}\), \(\alpha _{1}^{2}+\alpha_{2}^{2}+\alpha_{3}^{2}=1\). *Then we have the inequality*

*where*
*c*
*is a constant independent of the direction of differentiation*
\(\partial/\partial l\), *and*
*u*
*is a solution of problem* (2.1).

### Proof

Since the sixth-order derivatives of the solution *u* of the form \(\partial^{6}/\partial x_{1}^{2p}\, \partial x_{2}^{2q}\, \partial x_{3}^{6-2p-2q} \), \(p+q+s=3\), are harmonic and by Lemma 2.2 are bounded in *R*, any eighth-order derivative can be obtained by twice differentiating some of these derivatives, on the basis of Lemma 3 from [7] (see Chapter 4, Section 3), we have

Inequality (2.11) follows from inequality (2.12). □

Let \(h>0\) and \(a_{i}/h\geq6\), \(i=1,2,3\). We assign \(R^{h}\), a cubic grid on *R*, with step *h*, obtained by the planes \(x_{i}=0, h, 2h,\ldots\) , \(i=1,2,3\). Let \(D_{h}\) be the set of nodes of this grid, \(R_{h}=R\cap D_{h}\), \(\Gamma_{jh}=\Gamma_{j}\cap D_{h}\), and \(\Gamma _{h}=\Gamma_{1h}\cup\Gamma_{2h}\cup\cdots\cup\Gamma_{6h}\).

Let the operator ℜ be defined as follows (see [8]):

where the sum \(\sum_{(k)}\) is taken over the grid nodes that are at a distance of \(\sqrt{k}h\) from the point \((x_{1},x_{2},x_{3})\), and \(u_{p}\), \(u_{q}\), and \(u_{r}\) are the values of *u* at the corresponding grid points.

We consider the following finite difference approximations of problem (2.1):

By the maximum principle (see [9], Chapter 4), problem (2.14) has a unique solution.

In what follows and for simplicity, we denote by \(c,c_{1},c_{2},\ldots \) constants that are independent of *h* and the nearest factor, and the identical notation will be used for various constants.

Let \(R^{kh}\) be the set of nodes of the grid \(R^{h}\) whose distance from Γ is *kh*. It is obvious that \(1\leq k\leq N(h)\), where

We define, for \(1\leq k\leq N(h)\),

### Lemma 2.4

*The solution of the system*

*satisfies the inequality*

### Proof

For the proof, see Lemma 2 in [10]. □

### Lemma 2.5

*Let*
*u*
*be a solution of problem* (2.1). *Then*

### Proof

Let \((x_{10},x_{20},x_{30})\) be a point of \(R^{1h}\), and let

be an elementary cube, some faces of which lie on the boundary of the rectangular parallelepiped *R*. On the vertices of \(R_{0}\) and on the center of its faces and edges. there lie the nodes of which the function values are used to evaluate \(\Re u(x_{10},x_{20},x_{30})\). We represent a solution of problem (2.1) in some neighborhood of \(x_{0}=(x_{10},x_{20},x_{30})\in R^{1h}\) by Taylor’s formula

where \(p_{7}(x_{1},x_{2},x_{3})\) is the seventh-order Taylor polynomial, and \(r_{8}(x_{1},x_{2},x_{3})\) is the remainder term. Taking into account that the function *u* is harmonic, we have

Now, we estimate \(r_{8}\) at the nodes of the operator ℜ. We take a node \((x_{10}+h,x_{20},x_{30}+h)\), which is one of the twenty six nodes of ℜ, and consider the function

of single variable *s*, which is the arc length along the straight line through the points \((x_{10}-h,x_{20},x_{30}-h)\) and \((x_{10}+h,x_{20},x_{30}+h)\). By Lemma 2.3 we have

We represent the function (2.20) around the point \(s=0\) by Taylor’s formula

where \(\tilde{p}_{7}(s)\equiv p_{7} ( x_{10}+\frac{s}{\sqrt {2}},x_{20},x_{30}+\frac{s}{\sqrt{2}} ) \) is the seventh-order Taylor polynomial of the variable *s*, and

is the remainder term. By the continuity of \(\tilde{r}_{8}(s)\) on the interval \([ -\sqrt{2}h,\sqrt{2}h ] \) and estimate (2.21) we obtain

where \(c_{1}\) is a constant independent of the choice of \((x_{10},x_{20},x_{30})\in R^{kh}\).

Estimate (2.23) is obtained analogously for the remaining twenty five nodes on the closed cube (2.17). Since the norm of the operator ℜ in the uniform metric is equal to one, by (2.23) we have

From (2.18), (2.19), and (2.24) we obtain

for any \((x_{10},x_{20},x_{30})\in R^{1h}\).

Now, let \((x_{10},x_{20},x_{30})\) be a point of \(R^{kh}\) for \(2\leq k\leq N(h)\). By Lemma 2.3 for any *k*, \(2\leq k\leq N(h)\), we obtain

where \(c_{3}\) is a constant independent of *k*, \(2\leq k\leq N(h)\), and the choice of \((x_{10},x_{20},x_{30})\in R^{kh}\). From (2.18), (2.19), and (2.25) estimate (2.16) follows. □

### Lemma 2.6

*Assume that the boundary functions*
\(\varphi_{j}\), \(j=1,2,\ldots,6\), *satisfy conditions* (2.2)-(2.5). *Then*

*where*
\(u_{h}\)
*is the solution of the finite difference problem* (2.14), *and*
*u*
*is the exact solution of problem* (2.1).

### Proof

Let

By (2.14) and (2.27) the error function satisfies the system of equations

We represent a solution of system (2.28) as follows:

where \(\varepsilon_{h}^{k}\), \(1\leq k\leq N(h)\), with \(N(h)\) defined by (2.15), is a solution of the system

where

Then for the solution of (2.30) by applying Lemmas 2.4 and 2.5 we have

By (2.27), (2.29), and (2.31) we obtain

□

Let *ω* be a solution of the problem

where \(\psi_{j}\), \(j=1,2,\ldots,6\), are given functions, and

### Lemma 2.7

*We have the estimate*

*where*
*ω*
*is the exact solution of problem* (2.32), *and*
\(\omega_{h}\)
*is the exact solution of the finite difference problem*

### Proof

It follows from Lemma 1.2 in [5] that

where *u* is the solution of problem (2.32). Then, instead of inequality (2.12), we have

where \(\rho(x_{1},x_{2},x_{3})\) is the distance from \((x_{1},x_{2},x_{3})\in R\) to the boundary Γ.

By estimate (2.38) and Taylor’s formula, by analogy with the proof of Lemma 2.5 we have

We put

Then, as in the proof of Lemma 2.6, we obtain

□

## Approximation of the first derivative

Let \(v=\frac{\partial u}{\partial x_{1}}\), and let \(\Phi_{j}=\frac {\partial u}{\partial x_{1}}\) on \(\Gamma_{j}\), \(j=1,2,\ldots,6\), and consider the boundary value problem

where *u* is a solution of the boundary value problem (2.1).

We define the following operators \(\Phi_{\nu h}\), \(\nu=1,2,\ldots,6\):

where \(u_{h}\) is the solution of finite difference problem (2.14).

### Lemma 3.1

*We have the inequality*

*where*
\(u_{h}\)
*is the solution of problem* (2.14), *and*
*u*
*is the solution of problem* (2.1).

### Proof

It is obvious that \(\Phi_{ph}(u_{h})-\Phi_{ph}(u)=0\) for \(p=2,3,5,6\). For \(k=1\), by (3.2) and Lemma 2.6 we have

The same inequality is also true when \(k=4\). □

### Lemma 3.2

*We have the inequality*

*where*
\(\Phi_{kh}\), \(k=1,4\), *are defined by* (3.2), (3.3), *and*
\(\Phi_{k}=\frac{\partial u}{\partial x_{1}}\)
*on*
\(\Gamma_{k}\), \(k=1,4\).

### Proof

From Lemma 2.1 it follows that \(u\in C^{5,0}(\overline{R})\). Then, at the end points \((0,\nu h,\omega h)\in\Gamma_{1}^{h}\) and \((a_{1},\nu h,\omega h)\in\Gamma_{4}^{h}\) of each line segment

expressions (3.2) and (3.3) give the fourth-order approximation of \(\frac{\partial u}{\partial x_{1}}\), respectively. From the truncation error formulas (see [11]) it follows that

By Lemma 3.1 and estimate (3.7), (3.6) follows. □

We consider the finite difference boundary value problem

where \(\Psi_{jh}\), \(j=1,2,\ldots,6\), are defined by (3.2)-(3.4).

### Theorem 3.3

*We have the estimate*

*where*
*u*
*is the solution of problem* (2.1), *and*
\(v_{h}\)
*is the solution of the finite difference problem* (3.8).

### Proof

Let

where \(v=\frac{\partial u}{\partial x_{1}}\). From (3.8) and (3.10) we have

We represent

where

By Lemma 3.2 and by the maximum principle, for the solution of system (3.12)-(3.13), we have

The solution \(\varepsilon_{h}^{2}\) of system (3.14) is the error of the approximate solution obtained by the finite difference method for problem (3.1) when on the boundary nodes \(\Gamma_{jh}\), the approximate values are defined as the exact values of the functions \(\Phi _{j}\) in (3.1). It is obvious that \(\Phi_{j}\), \(j=1,2,\ldots,6\), satisfy the conditions

Since the function \(v=\frac{\partial u}{\partial x_{1}}\) is harmonic on *R* with the boundary functions \(\Psi_{j}\), \(j=1,2,\ldots,6\), by (3.16)- (3.18) and Lemma 2.7 we obtain

By (3.11), (3.15), and (3.19), inequality (3.9) follows. □

### Remark 1

By Lemma 2.2 the sixth-order pure derivatives are bounded in *R*. Therefore, if we replace formulae (3.2) and (3.3) by the fifth-order forward and backward numerical differentiation formulae (see Chapter 2 in [12]), then by analogy with the proof of estimate (3.9) we obtain

## Approximation of the pure second derivatives

We denote by \(\omega=\frac{\partial^{2}u}{\partial x_{1}^{2}}\). The function *ω* is harmonic on *R*, by Lemma 2.1 is continuous on *R̅*, and is a solution of the following Dirichlet problem:

where

Let \(\omega_{h}\) be the solution of the finite difference problem

where \(\chi_{j}\), \(j=1,2,\ldots,6\), are the functions determined by (4.2) and (4.3).

### Theorem 4.1

*We have the estimate*

*where*
\(\omega=\frac{\partial^{2}u}{\partial x_{1}^{2}}\), *u*
*is the solution of problem* (2.1), *and*
\(\omega_{h}\)
*is the solution of the finite difference problem* (4.4).

### Proof

By the continuity of the function *ω* on *R̅*, from (2.2)-(2.5) and (4.2), (4.3) it follows that

The boundary functions \(\chi_{j}\), \(j=1,2,\ldots,6\), in (4.1) by (4.6)-(4.8) satisfy all conditions of Lemma 2.7, from which the proof of the error estimate (4.5) follows. □

## Numerical results

Let \(R= \{ ( x_{1},x_{2},x_{3} ) :0< x_{i}<1,i=1,2,3 \} \), and let Γ be the boundary of *R*. We consider the following problem:

where

is the exact solution of this problem.

Let *U* be the exact solution of the continuous problem, and \(U_{h}\) be its approximate values on \(\overline{R}^{h}\). We denote \(\Vert U-U_{h}\Vert _{\overline{R}^{h}}=\max_{\overline{R}^{h}}\vert U-U_{h}\vert \) and \(E_{U}^{m}=\frac{\Vert U-U_{2^{-m}}\Vert _{\overline{R}^{h}}}{\Vert U-U_{2^{- ( m+1 ) }}\Vert _{\overline{R}^{h}}}\).

In Tables 1 and 2, the maximum errors and the order of convergence of the approximate solution for different step sizes *h* are given, which corresponds to order of accuracy \(O(h^{6}\vert \ln h\vert )\). In Tables 2 and 3, the results for the first and pure second derivatives of problem (5.1) are presented, which correspond to \(O(h^{4})\). The results presented in Table 4 show that the accuracy is improved by using the fifth-order accurate formulae for the same conditions imposed on the given boundary functions.

## Conclusion

A highly accurate difference schemes are proposed and investigated under the conditions imposed on the given boundary values to approximate the solution of the 3D Laplace equation and its first and pure second derivatives on a cubic grid. The uniform convergence for the approximate solution at the rate of \(O(h^{6}\vert \ln h\vert )\) and for the first and pure second derivatives at the rate of \(O(h^{4})\) is proved. It is shown that the accuracy for the approximate value of the first derivatives can be improved up to \(O(h^{5}\vert \ln h\vert )\) for the same boundary functions by using the fifth-order formulae on some faces of the parallelepiped.

The obtained results can be used to justify finding the above-mentioned derivatives of the solution of 3D Laplace boundary value problems on domains described as unions or as intersections of a finite number of rectangular parallelepipeds by the difference method, using the Schwarz or Schwarz-Neumann iterations (see [13–19]).

## References

- 1.
Lebedev, VI: Evaluation of the error involved in the grid method for Newmann’s two dimensional problem. Sov. Math. Dokl.

**1**, 703-705 (1960) - 2.
Volkov, EA: On convergence in \(C_{2}\) of a difference solution of the Laplace equation on a rectangle. Russ. J. Numer. Anal. Math. Model.

**14**(3), 291-298 (1999) - 3.
Dosiyev, AA, Sadeghi, HM: A fourth order accurate approximation of the first and pure second derivatives of the Laplace equation on a rectangle. Adv. Differ. Equ.

**2015**, 67 (2015). doi:10.1186/s13662-015-0408-8 - 4.
Volkov, EA: On the convergence in \(C_{h}^{1}\) of the difference solution to the Laplace equation in a rectangular parallelepiped. Comput. Math. Math. Phys.

**45**(9), 1531-1537 (2005) - 5.
Volkov, EA: On the grid method for approximating the derivatives of the solution of the Dirichlet problem for the Laplace equation on the rectangular parallelepiped. Russ. J. Numer. Anal. Math. Model.

**19**(3), 269-278 (2004) - 6.
Volkov, EA: On differential properties of solutions of the Laplace and Poisson equations on a parallelepiped and efficient error estimates of the method of nets. Proc. Steklov Inst. Math.

**105**, 54-78 (1969) - 7.
Mikhailov, VP: Partial Differential Equations. Mir, Moscow (1978)

- 8.
Mikeladze, SE: On the numerical solution of Laplace’s and Poisson’s differential equations. Izv. Acad. Nauk SSSR, Ser. Mat.

**2**, 271-292 (1938) - 9.
Samarskii, AA: The Theory of Difference Schemes. Dekker, New York (2001)

- 10.
Volkov, EA, Dosiyev, AA: A highly accurate homogeneous scheme for solving the Laplace equation on a rectangular parallelepiped with boundary values in \(C^{k,1}\). Comput. Math. Math. Phys.

**52**(6), 879-886 (2012) - 11.
Burder, RL, Douglas Faires, J: Numerical Analysis. Brooks/Cole, Cengage Learning, Boston (2011)

- 12.
Bakhvalov, NS, Zhidkov, NP, Kobelkov, GM: Numerical Methods. Nauka, Moscow (1987) (in Russian)

- 13.
Kantorovich, LV, Krylov, VI: Approximate Methods of Higher Analysis. Noordhoff, Groningen (1958)

- 14.
Badea, L: On the Schwarz-Neumann method with an arbitrary number of domains. IMA J. Numer. Anal.

**24**, 215-238 (2004) - 15.
Dosiyev, AA: The high accurate block-grid method for solving Laplace’s boundary value problem with singularities. SIAM J. Numer. Anal.

**42**(1), 153-178 (2004) - 16.
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.

**22**(3), 291-307 (2007) - 17.
Dosiyev, AA: The block-grid method for the approximation of the pure second order derivatives for the solution of Laplace’s equation on a staircase polygon. J. Comput. Appl. Math.

**259**, 14-23 (2014) - 18.
Dosiyev, AA, Buranay, CS, Subasi, D: The block-grid method for solving Laplace’s equation on polygons with nonanalytic boundary conditions. Bound. Value Probl.

**2010**, Article ID 468594 (2010). doi:10.1155/2010/468594 - 19.
Dosiyev, AA, Celiker, E: Approximation on the hexagonal grid of the Dirichlet problem for Laplace’s equation. Bound. Value Probl.

**2014**, 73 (2014)

## Author information

### Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

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

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

## About this article

### Cite this article

Dosiyev, A.A., Sadeghi, H.MM. On a highly accurate approximation of the first and pure second derivatives of the Laplace equation in a rectangular parallelpiped.
*Adv Differ Equ* **2016, **145 (2016). https://doi.org/10.1186/s13662-016-0868-5

Received:

Accepted:

Published:

### MSC

- 65M06
- 65M12
- 65M22

### Keywords

- finite difference method
- approximation of derivatives
- uniform error
- Laplace equation