Generalized Schwartz algorithm with variable parameters
Generalized Schwartz algorithm with variable parameters
复制标题
DOI:
10.1515/rnam.1990.5.1.1
复制
发表时间:
1990
期刊:
影响因子:
--
通讯作者:
V. Agoshkov;V. Lebedev
中科院分区:
文献类型:
--
作者:
V. Agoshkov;V. Lebedev
The paper introduces special classes of operators-reflection operators in the particle transport theory and Poincare Steklov operators in elliptic boundary value problems. The properties of these operators and the general theory of iterative processes are used to propose techniques for construction and investigation of various algorithms of the generalized Schwartz method (the domain decomposition method). Estimates of the convergence rate for a number of specific algorithms are proved. The Scwartz iterative algorithm is widely known for solving the Dirichlet problem for the Laplace equation [15] in which the domain Ω is decomposed into two subdomains ΩΙ and Ω2 which have a nonzero intersection. It is interesting to investigate the generalization of this method to the case where the subdomains ΩΙ and Ω2 have only a common boundary. An interest has recently arisen in investigating the feasibilities of such generalized Schwartz algorithm (or of the domain decomposition method) as applied to various problems of mathematical physics [1,9,10,12-14,17]. Stationary iterative processes were considered in [1,9,10,12-14]; in [17], the parameters were chosen by making use of the one-step minimization of a quadratic functional. This paper investigates the efficiency of non-stationary iterative methods with variable parameters, which generalize some methods known before, suggests new iterative schemes and presents optimal sets of parameters. The paper also investigates the feasibilities of the block Chebyshev method suggested in [4]. To solve the formulated problems, it is necessary to investigate the location of the spectrum of some operators defined on the common part of the boundary; these operators are called Poincare-Steklov operators. The authors consider it their duty to note that their interest in the problems discussed in the paper was stimulated by the results obtained in [1,13,14], and their attention to the papers by A. Poincare and V. A. Steklov was drawn by V. P. Mikhailov. 1. BLOCK CHEBYSHEV METHOD FOR SOLVING SYSTEMS WITH TWO-CYCLIC MATRICES Let us recall the description of the block Chebyshev method [4] as its iterative scheme is well suited for investigating the generalized Schwartz algorithm. Let DV D2, C^ and C2 be linear operators mapping the Banach space Β into itself, the operators D^ and D2 be invertible, v^ v2, gl and ̂ be elements of B. Consider the system of equation ll = 12 + #!> 22 = ll +£· i·) Assume that // = D2~C2D1~C1, Sp(//) e [ra,Af], where 1 ^). (1.6) Here, cu>is a T-sequence' [14]. In the case of the symmetricity of the operator //, the convergence of the method is estimated in a certain norm by the formula Remark 1.2. Method (1.2) can be generalized into the method with the operators D., Ct and g. dependent on k. These operators and the right-hand sides g. can be found from the system of equations U1 = U2 + *ljc ' 2Jk2 = 2/2 + fyc i') equivalent to system (1.1). Remark 1.2. Other versions of optimization of method (1.2) with c^ Φ 1 are constructed in [4]. , Generalized Schwartz algorithm 2. TRANSPORT EQUATION 2.1. Case of two half -spaces. Let us consider the transport equation μ do c a dx 2 1 given in the entire space. Let /(*,/*) be a function finitary in x, c = cx for jt > 0 and c = c^ for * 0. Construct the iterative sequence ν*(μ) in the following way. Using a given function ν£(μ), find for jc > 0 the solution φ^(χ,μ) to equation (2.1), which satisfies the condition φ^Ο,μ) =ν*(μ) for μ > 0. Set and ν*) . Then, find the solution φ ι χ , μ ) to equation (2.1) for * 0 and set ,/i) v2(/i)) for // > 0. For any function ν(/^)€Ζ^ there exists for * > 0 a unique solution φ^χ,μ) to the problem Λ -7^ + ^ι = ν dx 2 -1 (2 2) We have thus defined on L^ a linear operator 51 putting each function v(/^) into correspondence with the Sanction ^1(//)€l2 by the rule w^/ι) = ̂ (0,-/i): "i = i· Likewise, for j: < 0 there exists a unique solution φ2(χ,μ) to the problem