Research Article | Open Access

# The Approximate Solution of 2D Dirichlet Problem in Doubly Connected Domains

**Academic Editor:**Jacopo Bellazzini

#### Abstract

We propose a new method for constructing an approximate solution of the two-dimensional Laplace equation in an arbitrary doubly connected domain with smooth boundaries for Dirichlet boundary conditions. Using the fact that the solution of the Dirichlet problem in a doubly connected domain is represented as the sum of a solution of the Schwarz problem and a logarithmic function, we reduce the solution of the Schwartz problem to the Fredholm integral equation with respect to the boundary value of the conjugate harmonic function. The solution of the integral equation in its turn is reduced to solving a linear system with respect to the Fourier coefficients of the truncated expansion of the boundary value of the conjugate harmonic function. The unknown coefficient of the logarithmic component of the solution of the Dirichlet problem is determined from the following fact. The Cauchy integral over the boundary of the domain with a density that is the boundary value of the analytical in this domain function vanishes at points outside the domain. The resulting solution of the Dirichlet problem is the sum of the real part of the Cauchy integral in the given domain and the logarithmic function. In order to avoid singularities of the Cauchy integral at points near the boundary, the solution at these points is replaced by a linear function. The resulting numerical solution is continuous in the domain up to the boundaries. Three examples of the solution of the Dirichlet problem are given: one example demonstrates the solution with constant boundary conditions in the domain with a complicated boundary; the other examples provide a comparison of the approximate solution with the known exact solution in a noncircular domain.

#### 1. Introduction

Here we introduce the Cauchy integral method for the solution of the Dirichlet problem in doubly connected domains. The proposed method gives an analytical approximate solution to this problem. This analytical solution is differentiable at the interior points and can be calculated at any point in the domain of solution and this is the main advantage of the Cauchy integral method. The method can be applied to arbitrary simply and multiply connected domains with smooth boundaries. Furthermore, it is applicable for the domains with piecewise smooth boundary curves which can be approximated by Fourier polynomial. This technic can be extended to apply the method to Poisson equation, biharmonic equation, and some other types of problems with different types of boundary conditions (Neumann and mixed). It can be applied for solving Riemann-Hilbert problem for analytical functions. The base of these problems is the Dirichlet problem. Here we introduce the solution of 2D Laplace equation with Dirichlet conditions in order to declare the basic idea of the method. In Section 3 we have to improve the behavior of the solution in the form of the Cauchy integral with the help of the linearization technic due to the singularity of Cauchy integral at the points closed to the boundaries.

The mathematical theory regarding Laplace’s equation is often referred to as the potential theory, given the significance the equation holds for describing physical phenomena such as gravitational and electrical potentials. Laplace equation with Dirichlet boundary conditions arises in different areas such as electrostatics (where it describes the electrostatic potential in a charge-free region), gravitation (where it describes the gravitational potential in free space), steady state flow of inviscid fluids, and steady state heat conduction. Many authors (e.g., [1–4]) introduced integral equation methods for the two-dimensional Laplace equation solution in order to calculate the potential field. The boundary value problem was reduced to an integral equation. The singular kernel in the obtained boundary integral equation was manipulated so that the numerical integration methods or any other numerical methods can be applied directly to evaluate the integrals without any difficulty.

The numerical solution of two-dimensional Laplace equation with Dirichlet boundary conditions in doubly connected domain has been introduced by many authors; for example, the complex variable boundary element methods has been presented in [5]. A highly accurate collocation Trefftz method appeared in [6].

The proposed method constructs the approximate Cauchy integral solution of 2D Dirichlet problem in doubly connected domains. The method is based on the reduction of the problem to the Fredholm integral equation of the second kind for the boundary values of the conjugate harmonic function. The singularity of the obtained integral equation is overcome by using the Hilbert formula. The solution of the resulting integral equation is reduced to the solution of a truncated linear system by using the truncated Fourier series. Finally, the solution of Dirichlet problem has the form of the real part of the Cauchy integral. The solution at the points near the boundaries is approximated by linear functions.

#### 2. 2D Dirichlet Problem for the Laplace Equation

Let be a doubly connected domain and be the smooth boundary of , where is the outer smooth curve and is the inner smooth curve. The corresponding Dirichlet problem for the Laplace equation is to find the doubly differentiable in function , which is continuous in and satisfies the Laplace equationand the boundary conditions in the form

#### 3. The Numerical Solution of the 2D Dirichlet Problem in Doubly Connected Domain

##### 3.1. The Cauchy Integral Method

Consider a doubly connected domain with the boundary . Assume that the boundary is composed of the outer smooth curve , passed in a counterclockwise direction, and the inner smooth curve , passed in a clockwise direction. The Dirichlet problem then is as follows: given the functions , it is necessary to find , such that , .

Assume that is analytic in ; the solution of the Dirichlet problem according to [7] has the form , , where is a real-valued parameter which will be calculated later. So the boundary values of the analytic in function can be written in the parametric form as follows: Due to [7] the function is analytic in if and only ifwhere the corresponding singular integral at the right-hand side of the relation is a principle value integral and , , are written in the form of truncated Fourier polynomials:After separating the imaginary part in (4) we obtain the following system of equations: We consider the factor in the expression in order to separate the improper PV integral in the Fredholm equation of the second kind as follows [8, 9]: so (7)-(8) take the formHere Let us search for the solution of the system of Fredholm integral equations (11) in the form of Fourier series as follows: According to [8, 10], (11) has a unique solution if we set the summands

The solvability of (11) is proved in [8] where the Fourier series solution form of the functions , leads us to an infinite linear system of equations which can be reduced to a finite one according to the following lemma.

Lemma 1 (see [8]). *Let the numbers and a constant exist so that and the function possesses the bounded second derivative: . Then, the approximate solution of the uniquely resolvable Fredholm integral equation of the second kind , where is periodic and is periodic with respect to both variables, can be reduced to solution of finite linear system with error estimated by where is the finite linear system rank.*

According to the previous lemma and [10, 11] the unique solution of the second kind Fredholm integral equation system (11) can be expressed in the form of truncated Fourier series with arbitrary summands as follows: where , . Put relation (15) into (11) and write down the finite linear system in the matrix form as follows [12, 13]:Here are the right-hand side vectors, is the identity matrix, and is a coefficient block matrix. The elements of these matrices can be easily calculated by writing formulas (11) into the matrix form.

The solution of the linear system of (16) is the vector with the elements that are linear functions of the parameter . Since the point is an exterior point of the domain and , are the boundary values of the analytic in function, the value of can be calculated from the following formula:

We can satisfy (18) for , if we apply least square method. Finally, the solution of Dirichlet problem (1)-(2) in the doubly connected domain can be expressed as

##### 3.2. Improving the Approximate Solution at the Points Near Boundaries

Here we introduce a new technic to improve the approximate solution at the points near boundaries. The technic depends on the approximation of the harmonic function solution of Dirichlet problem at these points by linear functions.

Let us define the reference curves: where are the radii of curvature of the boundaries , . Let the approximate solution at the points of reference curves calculated by the Cauchy integral method be .

Define is the domain with boundaries . The solution of Dirichlet problem at the points of ∖ is approximated with linear functions as follows.

Firstly, for every point , we construct a straight line which is perpendicular to the curve and passes through this point. The straight line provides the projections of the point on the curves , which will be defined as , .

Secondly, the approximate solution of 2D Dirichlet problem is calculated at this point by substituting in the following linear equation:

#### 4. Numerical Examples

The Cauchy integral method was applied to the 2D Dirichlet problem and highly accurate results for regular and irregular doubly connected domains with smooth boundaries are obtained. Numerical examples are presented to verify the accuracy of the proposed method in the earlier sections.

*Example 1. *Let us define the doubly connected domain with nonstarlike boundaries as in [10]. The boundaries are composed of the outer and inner parametric curves, respectively, as follows:

The method was applied and we use a constant boundary values which equal and the contour plot of the solution is shown in Figure 1. The figure shows that the extreme values of the solution are on the boundaries.

*Example 2. *Consider the doubly connected domain defined in [6, 14] as shown in Figure 2. The boundaries consisted of a complex Epitrochoid as the outer smooth boundary curve given by relationwhereand the inner curve given by ,

where

The boundary conditions are derived from the closed form of the exact solution . The method was applied for a = 4; b = 1 and the value of constant was calculated and equal to . The absolute error along the points of circle with radius is shown in Figure 3. The figure demonstrates the accuracy of the method with absolute error less than which is better than the Trefftz method introduced in [6]. This example shows the effectivity of our method at the points near the boundaries.

*Example 3. *Consider the doubly connected domain shown in Figure 4. The boundaries consist of the kite-shape as the outer smooth boundary curve given by whereand the inner curve ,

whereTo test the method we consider the exact solution .

Figure 5 shows the absolute error which is calculated along the points of circle with radius equal to 0.6. The maximum error is 1.315E-08 which shows that the proposed method gives highly accurate results for the interior domain when compared with the exact solution.

#### 5. Conclusions

The Cauchy integral method gives highly accurate results for the solution of 2D Dirichlet problem for irregular doubly connected domains. The proposed algorithm improves the approximate solution at the points near the boundaries. The method is applicable for domains bounded by any smooth curve approximated by Fourier polynomial. Numerical experiments are given to verify the efficiency of the method.

#### Data Availability

The data used to support the findings of this study are available from the corresponding author upon request.

#### Conflicts of Interest

The authors declare that they have no conflicts of interest.

#### Acknowledgments

This work is performed according to the Russian Government Program of Competitive Growth of Kazan Federal University.

#### References

- I. Fredholm, “Sur une classe d’équations fonctionnelles,”
*Acta Mathematica*, vol. 27, no. 1, pp. 365–390, 1903. View at: Publisher Site | Google Scholar | MathSciNet - J. L. Hess and A. M. O. Smith, “Calculation of non-lifting potential flow about arbitrary three-dimensional bodies,”
*Journal of Ship Research*, vol. 8, no. 2, pp. 22–44, 1964. View at: Google Scholar - M. A. Jaswon, “Integral equation methods in potential theory,”
*Proceedings of the Royal Society of London. Series A*, vol. 275, pp. 23–32, 1963. View at: Google Scholar | MathSciNet - J. L. Blue, “Boundary integral solutions of Laplace's equation,”
*Bell Labs Technical Journal*, vol. 57, no. 8, pp. 2797–2822, 1978. View at: Publisher Site | Google Scholar | MathSciNet - C. K. Hsieh and A. J. Kassab, “Complex variable boundary element methods for the solution of potential problems in simply and multiply connected domains,”
*Computer Methods Applied Mechanics and Engineering*, vol. 86, no. 2, pp. 189–213, 1991. View at: Publisher Site | Google Scholar | MathSciNet - C.-S. Liu, “A highly accurate collocation Trefftz method for solving the Laplace equation in the doubly connected domains,”
*Numerical Methods for Partial Differential Equations*, vol. 24, no. 1, pp. 179–192, 2008. View at: Publisher Site | Google Scholar | MathSciNet - F. D. Gakhov,
*Boundary Value Problems*, Oxford: Pergamon Press, 1966. View at: MathSciNet - P. N. Ivanshin and E. A. Shirokova, “Approximate conformal mappings and elasticity theory,”
*Journal of Complex Analysis*, Art. ID 4367205, 8 pages, 2016. View at: Publisher Site | Google Scholar | MathSciNet - N. I. Muskhelishvili,
*Singular integral equations*, Springer Netherlands, Netherlands, 1958. View at: MathSciNet - D. F. Abzalilov and E. A. Shirokova, “The approximate conformal mapping onto simply and doubly connected domains,”
*Complex Variables and Elliptic Equations. An International Journal*, vol. 62, no. 4, pp. 554–565, 2017. View at: Publisher Site | Google Scholar | MathSciNet - E. A. Shirokova, “On the approximate conformal mapping of the unit disk on a simply connected domain,”
*Russian Mathematics (Iz. VUZ)*, vol. 58, no. 3, pp. 47–56, 2014. View at: Publisher Site | Google Scholar | MathSciNet - F. G. Tricomi,
*Integral Equations*, Interscience, New York, NY, USA, 1957. View at: MathSciNet - R. G. Cooke,
*Infinite Matrices & sequence spaces*, Dover publications Inc, New York, NY, USA, 2014. - Z.-Q. Wang, S. Li, Y. Ping, J. Jiang, and T.-F. Ma, “A highly accurate regular domain collocation method for solving potential problems in the irregular doubly connected domains,”
*Mathematical Problems in Engineering*, Art. ID 397327, 9 pages, 2014. View at: Publisher Site | Google Scholar | MathSciNet

#### Copyright

Copyright © 2018 Atallah El-shenawy and Elena A. Shirokova. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.