International Journal of Partial Differential EquationsVolume 2014 (2014), Article ID 680760, 8 pageshttp://dx.doi.org/10.1155/2014/680760

Research Article

Variational Statement and Domain Decomposition Algorithms for Bitsadze-Samarskii Nonlocal Boundary Value Problem for Poisson’s Two-Dimensional Equation

Temur Jangveladze,1,2 Zurab Kiguradze,¹ and George Lobjanidze³

¹Ilia Vekua Institute of Applied Mathematics of Ivane Javakhishvili, Tbilisi State University, 2 University Street, 0186 Tbilisi, Georgia²Georgian Technical University, 77 Kostava Avenue, 0175 Tbilisi, Georgia³Caucasus University, 10 Politkovskaya Street, 0186 Tbilisi, Georgia

Received 10 February 2014; Accepted 4 June 2014; Published 19 June 2014

Academic Editor: Athanasios N. Yannacopoulos

Copyright © 2014 Temur Jangveladze et al. 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.

Abstract.

The Bitsadze-Samarskii nonlocal boundary value problem is considered. Variational formulation is done. The domain decomposition and Schwarz-type iterative methods are used. The parallel algorithm as well as sequential ones is investigated.

1. Introduction

In applied sciences different problems with nonlocal boundary conditions arise very often. In some nonlocal problems, unlike classical boundary value problems, instead of boundary conditions, the dependence between the value of an unknown function on the boundary and some of its values inside of the domain is given.

Modern investigation of nonlocal elliptic boundary value problems originates from Bitsadze and Samarskii work [1], in which by means of the method of integral equations the theorems are proved on the existence and uniqueness of a solution for the second order multidimensional elliptic equations in rectangular domains. Some classes of problems for which the proposed method works are given.

Many works are devoted to the investigation of nonlocal problems for elliptic equations (see, e.g., [2–18] and references therein).

It is known how a great role takes place in the variational formulation of classical and nonlocal boundary value problems in modern mathematics (see, e.g., [13–15, 19–27]).

It is also well known that in order to find the approximate solutions, it is important to construct useful economical algorithms. For constructing such algorithms, the method of domain decomposition has a great importance (see, e.g., [23, 28, 29]).

In the work [6] the iterative method of proving the existence of a solution of Bitsadze-Samarskii problem for Laplace equation was proposed. This iterative method is based on the idea of Schwarz alternating method [30, pages 249–254]. It should be noted that the usage of Schwarz alternating method not only gives us the existence of a solution, but also allows finding effective algorithms for numerical resolution of such problems. By this approach the nonlocal problem reduces to classical Dirichlet problems on whole domain that yields the possibility to apply the already developed effective methods for numerical resolution of these problems. In [7, 11–13, 15] using Schwarz alternating method and domain decomposition algorithms Bitsadze-Samarskii nonlocal problem is studied for Laplace equation. The domain decomposition algorithms are more economical than the method which was proposed in [6].

In the work [6] the reduction of nonlocal problem to the sequence of Dirichlet problems is studied. For investigating author used Schwarz lemma but not domain decomposition. At first domain decomposition for Bitsadze-Samarskii nonlocal boundary value problem was introduced in [7]. In the abstract [11] the convergence of the domain decomposition method for the second order nonlinear elliptic equation is given. In [12] the domain decomposition sequential and parallel algorithms are fixed. In [13] the sequential and parallel iterative algorithms are given. In [13] attention is devoted to the operator decomposition method and to the possibility of the variational formulation of the problem as well. In [15] the convergence of the domain decomposition parallel algorithm is fixed. Note that in the works [7, 11–13, 15] results are mainly given without proof.

In the works [9, 10, 16, 21, 22, 31–33] different methods are displayed for study of nonlocal problems in the theory of ordinary differential equations and in the theory of equations with partial derivatives.

The present work is devoted to the variational formulation and domain decomposition and Schwarz-type iterative methods for Bitsadze-Samarskii nonlocal boundary value problem for Poisson’s two-dimensional equation. Here we investigate the parallel algorithm as well as sequential ones. The rate of convergence is presented too.

The outline of this paper is as follows. In Section 2 for the Poisson equation in a rectangle we state Bitsadze-Samarskii nonlocal problem. In Section 3 the variational formulation of this problem is discussed. The convergence of the Schwarz-type iterative sequential algorithm is studied in Section 4. The same question for parallel algorithm is considered in Section 5. In Section 6 some conclusions are given.

2. Formulation of Problem

In the plane , let us consider the rectangle , where and are the given positive constants. By we denote the boundary of the rectangle and by the intersection of the line with the set .

Consider the nonlocal Bitsadze-Samarskii boundary value problem [1] where is the Laplace operator,  , ; is a given function, ; and is an unknown function.

Uniqueness of the solution of problem (1)–(3) follows from the extremum principle. It is known [1] that if is a continuous function on , then there exists unique regular solution of problem (1)–(3) .

3. Variational Statement of Problem

We use usual and Sobolev spaces and . Let us denote by the vector space of all real functions satisfying the following conditions: is defined almost everywhere on , the boundary value is defined almost everywhere on , and , .

Functions and are assumed as the same element of if almost everywhere on and almost everywhere on .

Let and the operator which extends elements of as follows:

Operator associates to every function of the vector space the following function in such a way that the function is the odd function with respect to the variable almost everywhere for almost all .

Let us define on vector space the scalar product

Introducing the scalar product (5), let us denote vector space by where the norm is defined as follows:

The following statements take place [24].

Theorem 1. The norm defined in by the formula is equivalent to the norm .

Theorem 2. Space is complete with the metric .

Let the domain of definition of the operator be the vector space of the elements defined on for which the following conditions are fulfilled:(1),  ,  , ;(2),  .

Theorem 3. The vector space is dense in the space .

Thus, the operator acts from the dense vector space of the Hilbert space to the space .

Theorem 4. Operator is positively defined on the vector space .

To show the symmetry of the operator we use the following two lemmas, whose proofs are not difficult.

Lemma 5. For an arbitrary function of the vector space the following identity is valid:

Lemma 6. For two arbitrary functions and of the vector space we have

The scalar product given by (5) can be represented in the form

In the case of the scalar product (5) we have the positively defined operator , but it is not symmetric.

As is positive definite operator defined on the vector space which is dense in the space , for the problem (1)–(3) we can use the standard way of the variational formulation [27].

Let us introduce the new scalar product on :

Denote by the corresponding norm and by the corresponding metric. By we denote the space obtained after completion of by the metric .

The following statement is true [24].

Theorem 7. The function belongs to the space if and only if the following relations are fulfilled:

Thus, functions of the space satisfy boundary conditions. For every function there exists a unique function in the space , which minimizes the quadratic functional

For any function the following relation is fulfilled

The function from the space which minimizes the functional (14) is called the generalized solution of the equation .

If the function is sufficiently smooth then is a solution in a classical sense of problem (1)–(3).

4. Domain Decomposition and Sequential Algorithm

In this section and next sections, for simplicity, let us consider Laplace equation with nonlocal (3) and again for simplicity homogeneous Dirichlet (2) conditions. So, we study the following problem:

For problem (15)–(17) let us consider the following sequential iterative procedure:

Here we utilize the following notations: where is a fixed point of the interval , , , and is any continuous function on the segment , which satisfies the following conditions: .

The iterative procedure (18) reduces our nonlocal nonclassical problem (15)–(17) to the investigation of the sequence of classical Dirichlet boundary value problems on every step of the iteration.

The following statement takes place.

Theorem 8. The sequential iterative process (18) converges to a solution of problem (15)–(17) uniformly in the domain , and the following estimations are true: where is a constant independent of functions , , , and constant depends on .

Proof. Note that solving problem (18), we get two sequences of harmonic functions, which are defined on the domains and , respectively.We have the following relations: if   and , then , that is ; if and , then , that is .Let us introduce the notations: If , then, for the harmonic function , applying the lemma from [30, pages 250–254] to the domain , we have where and depends only on domain .If , then, for the harmonic function , applying the extremum principle [30, pages 218] to the domain , we have If for some index , then from the extremum principle we get . So, the inequality (22) is also true.If for some index , then from the extremum principle we get again . So, the inequality (23) is also true.From the estimations (22) and (23) obtained above it follows that This means that the sequences and tend to zero, and we obtain the uniform convergence of the series in the domains and , respectively.According to Weierstrass theorem [30, pages 232, 233], the functions and are harmonic ones, defined, respectively, in and , and satisfy the condition (16). As for domain , we have the following relations: if and , then ; if and , then .The latter difference tends to zero uniformly.Again, according to the extremum principle, we obtain that the functions and coincide with each other in the domain and define a regular harmonic function on , which represents the solution of the problem (15)–(17).Now, let us estimate the rate of convergence of the iterative process (18). Using the triangle inequality, the extremum principle and the second inequality of (24), we have Thus, If in this inequality we tend to , then we obtain in the domain Analogous estimation is true for in the domain .Consequently, we get This completes the proof of Theorem 8.

5. Domain Decomposition and Parallel Algorithm

Algorithm (18) for the solution of the problem (15) has a sequential form. Now, let us consider one more approach to the solution of the problem (15)–(17). In this case the search of approximate solutions on domains and will be carried out not by means of a sequential algorithm but in a parallel way.

Consider the following overlapping parallel iterative process: where and are any continuous functions on the segment , which satisfy the following conditions: ,  .

The following statement takes place.

Theorem 9. The parallel iterative process (30) converges to a solution of the problem (15)–(17) uniformly in the domain , and the following estimations are true: where is a constant independent of functions , , and , and constant depends on , .

Proof. Let us prove this theorem in a similar way as Theorem 8 was proven. We should note that the boundary value problems (30) are simultaneously solved in domains and , respectively. Sequences of harmonic functions , are defined on and , respectively.The following relations are satisfied: if and , then ; that is, ; if and , then ; that is, .If we introduce the notation and, for the harmonic function , apply the lemma from [30, pages 250–254] to the domain , we will have the estimation where and depends on domain only.If , then from the extremum principle we get that and the inequality (33) is clear.If , then, for the harmonic function , from the extremum principle in the domain we have If , then, using again the extremum principle, we have and the inequality (34) holds.From the estimations (33) and (34), we obtain That means that the sequences and tend to zero.Thus, in this case, the series analogous to the series from (25) are also uniformly convergent. The corresponding harmonic functions and are defined in and , respectively, and satisfy condition (16). As for the common part of these domains, we have if and , then ; if and , then and this difference tends to zero, when . Thus, the functions and again coincide in the domain and define a regular harmonic function on , which represents the solution of the problem (15)–(17).Let us estimate the rate of convergence of the constructed sequences.We should remark that from the second inequality of (35) we have the following: if , then if , then Using the triangle inequality, we get Taking into account inequalities (36) and (37) for and , we obtain from (36) If and , then from (38) we have If and , then and at last, supposing and , we have If in the obtained inequalities we tend to the limit, when , we get the following estimations.If   and , then if   and , then if   and , then and if   and , then Let us estimate and . We have So, for any , we obtain the following relation in the domain : Analogous estimation is true for in the domain Theorems similar to Theorems 8 and 9 are valid for the sequential as well as parallel algorithms for multigrid domain decomposition case too.

6. Conclusion

Because of importance of nonlocal problems many scientific articles are devoted for their investigation. We gave one problem to illustrate the variational formulation and domain decomposition of the problem. Nonlocal problems for the second and the fourth order ordinary and partial differential equations are also studied by authors. Nonlocal boundary value problems with some kind of nonlocal integral conditions are studied as well (see, e.g., [15, 24–26] and references therein).

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

The first author thanks Fulbright Visiting Scholar Program (Grant no. AY 2012-2013, USA) and the Shota Rustaveli National Science Foundation (Grant no. DI/16/4-120/11, Georgia) for the financial support and the Naval Postgraduate School in Monterey, CA, USA, for hosting him during the nine months of his tenure in 2012-2013. The second author thanks the Shota Rustaveli National Scientific Foundation (Grant no. YS/40/5-106/12, Georgia) for the financial support and the Naval Postgraduate School in Monterey, CA, USA, for hosting him during the four months of his tenure in 2013.

References

A. V. Bitsadze and A. A. Samarskii, “On some simplified generalization of the linear elliptic problems,” Doklady Akademii Nauk SSSR, vol. 185, pp. 739–740, 1969 (Russian).

A. Ashyralyev, “On well-posedness of the nonlocal boundary value problems for elliptic equations,” Numerical Functional Analysis and Optimization, vol. 24, no. 1-2, pp. 1–15, 2003.

A. Ashyralyev and E. Ozturk, “The numerical solution of the Bitsadze-Samarskii nonlocal boundary value problems with the Dirichlet-Neumann condition,” Abstract and Applied Analysis, vol. 2012, Article ID 730804, 13 pages, 2012.

A. Ashyralyev, O. Tetikoglu, and F. Songul, “FDM for elliptic equations with Bitsadze-Samarskii-Dirichlet conditions,” Abstract and Applied Analysis, vol. 2012, Article ID 454831, 22 pages, 2012.

G. Berikelashvili, D. Gordeziani, and S. Kharibegashvili, “Finite difference scheme for one mixed problem with integral condition,” in Proceedings of the 2nd WSEAS International Conference on Finite Differences, Finite Elements, Finite Volumes, Boundary Elements, pp. 118–120, 2009.

D. G. Gordeziani, “On one method of solving the Bitsadze-Samarskii boundary value problem,” in Proceedings of the Industrial and Applied Mathematics Seminar, pp. 39–41, 1970, 1970 (Russian).

T. A. Jangveladze, “On one iterative method of solution of Bitsadze-Samarskii boundary value problem,” Manuscript, Faculty of Applied Mathematics and Cybernetics of Tbilisi State University, Tbilisi, Georgia, 1975 (Georgian).

D. G. Gordeziani, On the Methods of Solution for One Class of Non-Local Boundary Value Problems, University Press, Tbilisi, Georgia, 1981 (Russian).

A. K. Gushin and V. P. Mikhailov, “On the continuity of the solutions of a class of non-local problems for an elliptic equation,” Sbornik: Mathematics, vol. 186, no. 2, pp. 197–219, 1995 (Russian).

V. A. Il’in and E. I. Moiseev, “Two-dimensional nonlocal boundary value problem for Poisson’s operator in the differential and difference forms,” Mathematical Modelling, vol. 2, pp. 139–156, 1990 (Russian).

T. A. Jangveladze, “Domain decomposition method for Bitsadze-Samarskii boundary value problem for second order nonlinear elliptic equation,” in Proceedings of the Postgraduate Students' Scientific Conference of Ivane Javakhishvili Tbilisi State University, p. 7, Tbilisi State University, Tbilisi, Georgia, 1977.

T. A. Jangveladze and Z. V. Kiguradze, “Domain decomposition for Bitsadze-Samarskii boundary value problem,” Reports of Enlarged Sessions of the Seminar of I. Vekua Institute of Applied Mathematics, vol. 16, pp. 16–19, 2001.

T. Jangveladze, Z. Kiguradze, and G. Lobjanidze, “On decomposition methods and variational formulation for Bitsadze-Samarskii nonlocal boundary value problem for two-dimensional second order elliptic equations,” in Proccedings of the 15th WSEAS International Conference on Applied Mathematics (MATH '10), pp. 116–121, Athens, Greece, December 2010.

J. Mo and C. Ouyang, “A class of nonlocal boundary value problems of nonlinear elliptic systems in unbounded domains,” Acta Mathematica Scientia, vol. 21, no. 1, pp. 93–97, 2001.

Z. V. Kiguradze, “Domain decomposition and parallel algorithm for Bitsadze-Samarskii boundary value problem,” Reports of Enlarged Sessions of the Seminar of I. Vekua Institute of Applied Mathematics, vol. 10, pp. 49–51, 1995.

B. P. Paneyakh, “On some nonlocal boundary value problems for linear differential operators,” Matematicheskie Zametki, vol. 35, no. 3, pp. 425–433, 1984 (Russian).

M. P. Sapagovas and P. U. Chegis, “On some boundary value problems with nonlocal conditions,” Differential Equations, vol. 23, pp. 1268–1274, 1987 (Russian).

A. L. Skubachevskii, “On a spectrum of some nonlocal elliptic boundary value problems,” Sbornik: Mathematics, vol. 117, pp. 548–558, 1982 (Russian).

T. A. Jangveladze and G. B. Lobjanidze, “On a variational statement of a nonlocal boundary value problem for a fourth-order ordinary differential equation,” Differentsial'nye Uravneniya, vol. 45, no. 3, pp. 325–333, 2009 (Russian), English translation in Differential Equations vol. 45, no. 3, pp. 335–343, 2009

T. A. Jangveladze and G. B. Lobjanidze, “On a nonlocal boundary value problem for a fourth-order ordinary differential equation,” Differentsial'nye Uravneniya, vol. 47, no. 2, pp. 181–188, 2011 (Russian), English translation in Differential Equations vol. 47, no. 2, pp. 179–186, 2011

G. L. Karakostas and P. Ch. Tsamatos, “Sufficient conditions for the existence of nonnegative solutions of a nonlocal boundary value problem,” Applied Mathematics Letters, vol. 15, no. 4, pp. 401–407, 2002.

I. Kiguradze and T. Kiguradze, “Conditions for the well-posedness of nonlocal problems for higher order linear differential equations with singularities,” Georgian Mathematical Journal, vol. 18, no. 4, pp. 735–760, 2011.

P. L. Lions, “On the Schwarz alternating method I,” in First International Symposium on Domain Decomposition Methods for Partial Differential Equations, R. Glowinski, G. H. Golub, G. A. Meurant, and J. Periaux, Eds., pp. 2–42, SIAM, Philadelphia, Pa, USA, 1988.

G. Lobjanidze, “On the variational formulation of Bitsadze-Samarskii problem for the equation ,” Reports of Enlarged Sessions of the Seminar of I. Vekua Institute of Applied Mathematics, vol. 18, pp. 39–42, 2003.

G. Lobjanidze, “On variational formulation of some nonlocal boundary value problems by symmetric continuation operation of a function,” Journal of Applied Mathematics and Mechanics, vol. 12, pp. 15–22, 2006.

G. Lobjanidze, “On variational formulation of some nonlocal boundary value problem,” Reports of Enlarged Sessions of the Seminar of I. Vekua Institute of Applied Mathematics, vol. 25, pp. 80–85, 2011.

K. Rektorys, Variational Methods in Mathematics, Science and Engineering, Springer, Prague, Czech Republic, 1980.

S. Nepomnyaschikh, “Domain decomposition methods,” Radon Series on Computational and Applied Mathematics, vol. 1, pp. 89–160, 2007.

A. Quarteroni and A. Valli, Domain Decomposition Methods for Partial Differential Equations, Oxford University Press, Oxford, UK, 1999.

R. Courant and D. Hilbert, Methods of Mathematical Physics, vol. 2, Leningrad, Moscow, Russia, 1951 (Russian).

Ch. P. Gupta and S. I. Trofimchuk, “A sharper condition for the solvability of a three-point second order boundary value problem,” Journal of Mathematical Analysis and Applications, vol. 205, no. 2, pp. 586–597, 1997.

A. Lomtatidze and L. Malaguti, “On a nonlocal boundary value problem for second order nonlinear singular differential equations,” Georgian Mathematical Journal, vol. 7, no. 1, pp. 133–154, 2000.

R. Ma and N. Castaneda, “Existence of solutions of nonlinear m-point boundary-value problems,” Journal of Mathematical Analysis and Applications, vol. 256, no. 2, pp. 556–567, 2001.