Abstract
In this paper, we discuss an approximation of the first and pure second order derivatives for the solution of the Dirichlet problem on a rectangular domain. The boundary values on the sides of the rectangle are supposed to have the sixth derivatives satisfying the Hölder condition. On the vertices, besides the continuity condition, the compatibility conditions, which result from the Laplace equation for the second and fourth derivatives of the boundary values, given on the adjacent sides, are also satisfied. Under these conditions a uniform approximation of order \(O(h^{4})\) (h is the grid size) is obtained for the solution of the Dirichlet problem on a square grid, its first and pure second derivatives, by a simple difference scheme. Numerical experiments are illustrated to support the analysis made.
Similar content being viewed by others
1 Introduction
Since the operation of differentiation is ill conditioned, to find a highly accurate approximation for the derivatives of the solution of a differential equation becomes problematic, especially when the smoothness is restricted.
In [1], it was proved that the higher order difference derivatives uniformly converge to the corresponding derivatives of the solution of the Laplace equation in any strictly interior subdomain, with the same order of h as which the difference solution converges on the given domain. In [2], by using the difference solution of the Dirichlet problem for the Laplace equation on a rectangle, the uniform convergence of its first and pure second divided difference over the whole grid domain to the corresponding derivatives of the exact solution with the rate \(O(h^{2})\) is proved. In [3], the difference schemes on a rectangular parallelepiped were constructed, where solutions approximate the Dirichlet problem for the Laplace equation and its first and second derivatives. Under the assumptions that the boundary functions belong to \(C^{4,\lambda }\), \(0<\lambda<1\), on the faces, are continuous on the edges, and their second-order derivatives satisfy the compatibility condition, the solution to their difference schemes converges uniformly on the grid with the rate of \(O(h^{2})\).
In this paper, we consider the Dirichlet problem for the Laplace equation on a rectangle, when the boundary values belong to \(C^{6,\lambda }\), \(0<\lambda <1\), on the sides of the rectangle and as a whole are continuous on the vertices. Also the 2τ, \(\tau=1,2\), order derivatives satisfy the compatibility conditions on the vertices which result from the Laplace equation. Under these conditions, we construct the difference problems, the solutions of which converge to the first and pure second derivatives of the exact solution with the order \(O(h^{4})\). Finally, numerical experiments are given in the last part of the paper to support the theoretical results.
2 The Dirichlet problem on rectangular domains
Let \(\Pi= \{ (x,y):0< x<a,0<y<b \} \) be a rectangle, \(a/b\) be rational, \(\gamma_{j}\) (\(\gamma_{j}^{\prime}\)), \(j=1,2,3,4\), be the sides, including (excluding) the ends, enumerated counterclockwise starting from the left side (\(\gamma_{0}\equiv\gamma_{4}\), \(\gamma_{5}\equiv\gamma _{1}\)), and let \(\gamma=\bigcup_{j=1}^{4}\gamma_{j}\) be the boundary of Π. Denote by s the arclength, measured along γ, and by \(s_{j}\) the value of s at the beginning of \(\gamma_{j}\). We say that \(f\in C^{k,\lambda}(D)\), if f has kth derivatives on D satisfying a Hölder condition with exponent \(\lambda\in(0,1)\).
We consider the boundary value problem
where \(\Delta\equiv\partial^{2}/\partial x^{2}+\partial^{2}/\partial y^{2}\), \(\varphi_{j}\) are given functions of s. Assume that
Lemma 2.1
The solution u of problem (1) is from \(C^{5,\lambda }(\overline{\Pi})\).
The proof of Lemma 2.1 follows from Theorem 3.1 in [4].
Lemma 2.2
The inequality is true
where u is the solution of problem (1).
Proof
From Lemma 2.1 it follows that the functions \(\frac{\partial ^{4}u}{\partial x^{4}}\) and \(\frac{\partial^{4}u}{\partial y^{4}}\) are continuous on \(\overline{\Pi}\). We put \(w=\frac{\partial^{4}u}{\partial x^{4}}\). The function w is harmonic in Π and is the solution of the problem
where
From the conditions (2) and (3) it follows that
Hence, on the basis of Theorem 6.1 in [5], we have
Similarly, it is proved that
From (5)-(7), estimation (4) follows. □
Lemma 2.3
Let \(\rho(x,y)\) be the distance from a current point of the open rectangle Π to its boundary and let \(\partial/\partial l\equiv \alpha \partial/\partial x+\beta\partial/\partial y\), \(\alpha^{2}+\beta^{2}=1\). Then the next inequality holds:
where c is a constant independent of the direction of the derivative \(\partial/\partial l\), u is a solution of problem (1).
Proof
According to Lemma 2.2, we have
Since any eighth order derivative can be obtained by two times differentiating some of the derivatives \(\partial^{6}/\partial x^{2p}\,\partial y^{6-2p}\), \(0\leq p\leq3\), on the basis of estimations (29) and (30) from [6], we obtain
From (9), inequality (8) follows. □
Let \(h>0\), and \(a/h\geq6\), \(b/h\geq6\) be integers. We assign \(\Pi ^{h}\), a square net on Π, with step h, obtained by the lines \(x,y=0,h,2h,\ldots\) . Let \(\gamma_{j}^{h}\) be a set of nodes on the interior of \(\gamma_{j}\), and let
Let the operator B be defined as follows:
We consider the classical 9-point finite difference approximation of problem (1):
By the maximum principle, problem (11) has a unique solution.
In what follows, and for simplicity, we will denote by \(c,c_{1},c_{2},\ldots\) constants which are independent of h and the nearest factor, and identical notation will be used for various constants.
Let \(\Pi^{1h}\) be the set of nodes of the grid \(\Pi^{h}\) that are at a distance h from γ, and let \(\Pi^{2h}=\Pi^{h}\backslash\Pi ^{1h}\).
Lemma 2.4
The following inequality holds:
where u is a solution of problem (1).
Proof
Let \((x_{0},y_{0})\) be a point of \(\Pi^{1h}\), and let
be an elementary square, some sides of which lie on the boundary of the rectangle Π. On the vertices of \(R_{0}\) and on the mid-points of its sides lie the nodes of which the function values are used to evaluate \(Bu(x_{0},y_{0})\).
We represent a solution of problem (1) in some neighborhood of \((x_{0},y_{0})\in\Pi^{1h}\) by Taylor’s formula
where \(p_{7}(x,y)\) is the seventh order Taylor’s polynomial, \(r_{8}(x,y)\) is the remainder term. Taking into account that the function u is harmonic, by exhaustive calculations, we have
Now, we estimate \(r_{8}\) at the nodes of the operator B. We take a node \((x_{0}+h,y_{0}+h)\) which is one of the eight nodes of B, and we consider the function
of one variable s. By virtue of Lemma 2.3, we have
We represent function (16) around the point \(s=0\) by Taylor’s formula
where \(\widetilde{p}_{7}(s)\equiv p_{7} ( x_{0}+\frac{s}{\sqrt{2}},y_{0}+\frac{s}{\sqrt{2}} ) \) is the seventh order Taylor’s polynomial of the variable s, and
is the remainder term.
On the basis of (17) and the integral form of the remainder term of Taylor’s formula, we have
Taking into account the continuity of the function \(\widetilde {r}_{8}(s)\) on \([ -\sqrt{2}h,\sqrt{2}h ] \), from (18) and (19), we obtain
where \(c_{1}\) is a constant independent of the point taken, \((x_{0},y_{0})\) on \(\Pi^{1h}\).
Estimation (20) is obtained analogously for the remaining seven nodes of the operator B. Since the norm of the operator is equal to 1 in the uniform metric, by using (20), we have
Hence, on the basis of (14), (15), (17), and linearity of the operator B, we obtain
for any \((x_{0},y_{0})\in\Pi^{1h}\).
Now, let \((x_{0},y_{0})\) be a point of \(\Pi^{2h}\), and let in the Taylor formula (14) corresponding to this point, the remainder term \(r_{8}(x,y)\) be represented in the Lagrange form. Then \(Br_{8}(x_{0},y_{0})\) contains eighth order derivatives of the solution of problem (1) at some points of the open square \(R_{0}\) defined by (13), when \((x_{0},y_{0})\in\Pi^{2h}\). The square \(R_{0}\) lies at a distance from the boundary γ of the rectangle Π; it is not less than h. Therefore, on the basis of Lemma 2.3, we obtain
where \(c_{3}\) is a constant independent of the point \(( x_{0},y_{0} ) \in\Pi^{2h}\). Again, on the basis of (14), (15), and (22) follows estimation (12) at any point \((x_{0},y_{0})\in\Pi^{2h}\). Lemma 2.4 is proved. □
We present two more lemmas. Consider the following systems:
where \(g_{h}\) and \(\overline{g}_{h}\) are given functions, and \(\vert g_{h}\vert \leq\overline{g}_{h}\) on \(\Pi^{h}\).
Lemma 2.5
The solutions \(q_{h}\) and \(\overline{q}_{h}\) of systems (23) and (24) satisfy the inequality
The proof of Lemma 2.5 follows from the comparison theorem (see Chapter 4 in [7]).
Lemma 2.6
For the solution of the problem
the following inequality holds:
where \(d=\max\{a,b\}\), \(\rho=\rho(x,y)\) is the distance from the current point \((x,y)\in\overline{\Pi}^{h}\) to the boundary of the rectangle Π.
Proof
We consider the functions
which are solutions of the equation \(\overline{q}_{h}=B\overline{q}_{h}+h^{6} \) on \(\Pi^{h}\). By virtue of Lemma 2.5, we obtain
□
Theorem 2.7
Assume that the boundary functions \(\varphi_{j}\), \(j=1,2,3,4\) satisfy conditions (2) and (3). Then
where \(u_{h}\) is the solution of the finite difference problem (11), and u is the exact solution of problem (1).
Proof
Let
It is obvious that
By virtue of estimation (12) for \((Bu-u)\) and by applying Lemma 2.5 to the problems (25) and (28), on the basis of Lemma 2.6 we obtain
3 Approximation of the first derivative
We denote \(\Psi_{j}=\frac{\partial u}{\partial x}\) on \(\gamma_{j}\), \(j=1,2,3,4\), and consider the boundary value problem:
where u is a solution of the boundary value problem (1).
We put
where \(u_{h}\) is the solution of the finite difference boundary value problem (11).
Lemma 3.1
The following inequality is true:
where \(u_{h}\) is the solution of problem (11), u is the solution of problem (1).
Proof
On the basis of (31), (32), and Theorem 2.7, we have
□
Lemma 3.2
The following inequality holds
Proof
From Lemma 2.1 it follows that \(u\in C^{5,0}(\overline{\Pi})\). Then, at the end points \((0,\nu h)\in\gamma_{1}^{h}\) and \((a,\nu h)\in\gamma _{3}^{h}\) of each line segment \(\{ (x,y):0\leq x\leq a,0< y=\nu h<b \} \), (31) and (32) give the fourth order approximation of \(\frac{\partial u}{\partial x}\), respectively. From the truncation error formulas (see [8]) it follows that
On the basis of Lemma 3.1 and estimation (33) follows (35).
We consider the finite difference boundary value problem
where \(\Psi_{jh}\), \(j=1,2,3,4\), are defined by (31)-(33). □
Theorem 3.3
The estimation is true
where u is the solution of problem (1), \(v_{h}\) is the solution of the finite difference problem (37).
Proof
Let
where \(v=\frac{\partial u}{\partial x}\). From (37) and (39), we have
We represent
where
By Lemma 3.2 and by the maximum principle, for the solution of system (42), (43), we have
The solution \(\epsilon_{h}^{2}\) of system (44) is the error of the approximate solution obtained by the finite difference method for problem (30), when the boundary values satisfy the conditions
Since the function \(v=\frac{\partial u}{\partial x}\) is harmonic on Π with the boundary functions \(\Psi_{j}\), \(j=1,2,3,4\), on the basis of (46), (47), and Remark 15 in [9], we have
4 Approximation of the pure second derivatives
We denote \(\omega=\frac{\partial^{2}u}{\partial x^{2}}\). The function ω is harmonic on Π, on the basis of Lemma 2.1 is continuous on \(\overline{\Pi}\) and is a solution of the following Dirichlet problem:
where
From the continuity of the function ω on \(\overline{\Pi}\) and from (2), (3) and (50), (51) it follows that
Let \(\omega_{h}\) be a solution of the finite difference problem
where \(\digamma_{j}\), \(j=1,2,3,4\), are the functions determined by (50) and (51).
Theorem 4.1
The following estimation holds:
where \(\omega=\frac{\partial^{2}u}{\partial x^{2}}\), u is the solution of problem (1) and \(\omega_{h}\) is the solution of the finite difference problem (54).
Proof
On the basis of conditions (52) and (53), the exact solution of problem (49) belongs to the class of functions \(\widetilde{C}^{4,\lambda}(\overline{\Pi})\) (see [9]). Therefore, inequality (55) follows from the results in [9] (see Remark 15), as the case of the Dirichlet problem. □
5 Numerical example
Let \(\Pi= \{ ( x,y ) :-1< x<1,0<y<1 \} \), and let γ be the boundary of Π. We consider the following problem:
where
is the exact solution of this problem.
Let U be the exact solution and \(U_{h}\) be its approximate values on \(\overline{\Pi}^{h}\) of the Dirichlet problem on the rectangular domain Π. We denote \(\Vert U-U_{h}\Vert _{\overline{\Pi}^{h}}= \max_{\overline{\Pi}^{h}}\vert U-U_{h}\vert \), \(\Re _{U}^{m}=\frac{\Vert U-U_{2^{-m}}\Vert _{\overline{\Pi}^{h}}}{\Vert U-U_{2^{- ( m+1 ) }}\Vert _{\overline{\Pi}^{h}}}\).
In Table 1 and in Table 2, the maximum errors and the convergence order of the approximations of the first and pure second derivatives of problem (56) for different step sizes h are presented.
The results show that the approximate solutions converge as \(O(h^{4})\).
The shapes of \(\frac{\partial u}{\partial x}\) and \(\frac{\partial ^{2}u}{\partial x^{2}}\) and their approximations are demonstrated in Figure 1 and Figure 2, respectively.
6 Conclusion
The obtained results can be used to highly approximate the derivatives for the solution of Laplace’s equation by the finite difference method, in some version of domain decomposition methods, in composite grid methods, and in the combined methods for solving Laplace’s boundary value problems on polygons (see [10–13]).
References
Lebedev, VI: Evaluation of the error involved in the grid method for Newmann’s two dimensional problem. Sov. Math. Dokl. 1, 703-705 (1960)
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)
Volkov, EA: On the grid method for approximating the derivatives of the solution of the Dirichlet problem for the Laplace equation on the rectangular parallelpiped. Russ. J. Numer. Anal. Math. Model. 19(3), 269-278 (2004)
Volkov, EA: Differentiability properties of solutions of boundary value problems for the Laplace and Poisson equations on a rectangle. Proc. Steklov Inst. Math. 77, 101-126 (1965)
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)
Volkov, EA: On the solution by the grid method of the inner Dirichlet problem for the Laplace equation. Transl. Am. Math. Soc. 24, 279-307 (1963)
Samarskii, AA: The Theory of Difference Schemes. Marcel Dekker, New York (2001)
Burden, RL, Faires, JD: Numerical Analysis. Brooks/Cole, Cengage Learning, Boston (2011)
Dosiyev, AA: On the maximum error in the solution of Laplace equation by finite difference method. Int. J. Pure Appl. Math. 7(2), 229-241 (2003)
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)
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)
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)
Volkov, EA: Grid approximation of the first derivatives of the solution to the Dirichlet problem for the Laplace equation on a polygon. Proc. Steklov Inst. Math. 255, 92-107 (2006)
Author information
Authors and 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 is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
About this article
Cite this article
Dosiyev, A.A., Sadeghi, H.M. 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). https://doi.org/10.1186/s13662-015-0408-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-015-0408-8