Abstract
In this paper we propose and analyze some strategies to construct asymptotically optimal algorithms for solving boundary reductions of the Laplace equation in the interior and exterior of a polygon. The interior Dirichlet or Neumann problems are, in fact, equivalent to a direct treatment of the Dirichlet-Neumann mapping or its inverse, i.e., the Poincaré-Steklov (PS) operator. To construct a fast algorithm for the treatment of the discrete PS operator in the case of polygons composed of rectangles and regular right triangles, we apply the Bramble-Pasciak-Xu (BPX) multilevel preconditioner to the equivalent interface problem in theH 1/2-setting. Furthermore, a fast matrix-vector multiplication algorithm is based on the frequency cutting techniques applied to the local Schur complements associated with the rectangular substructures specifying the nonmatching decomposition of a given polygon. The proposed compression scheme to compute the action of the discrete interior PS operator is shown to have a complexity of the orderO(N logq N),q ε [2, 3], with memory needsO(N log2 N), whereN is the number of degrees of freedom on the polygonal boundary under consideration. In the case of exterior problems we propose a modification of the standard direct BEM whose implementation is reduced to the wavelet approximation applied to either single layer or hypersingular harmonic potentials and, in addition, to the matrix-vector multiplication for the discrete interior PS operator.
Similar content being viewed by others
References
V.I. Agoshkov, Poincaré-Steklov operators and domain decomposition methods in finite-dimensional spaces, in:Proc. 1st Int. Symp. on Domain Decomposition Methods for PDEs, eds. R. Glowinski et al. (SIAM, Philadelphia, 1988) pp. 73–112.
V.I. Agoshkov and V.I. Lebedev, Poincaré-Steklov operators and domain decomposition methods in variational problems, in:Vychisl. Protsessy & Systemy 2 (Nauka, Moscow, 1985) pp. 173–227 (in Russian).
B. Alpert, G. Beylkin, R.R. Coifman and V. Rokhlin, Wavelet-like bases for the fast solution of second-kind integral equations, SIAM J. Sci. Statist. Comp. 14 (1993) 159–189.
N.S. Bakhvalov and M. Yu. Orekhov, On fast methods for the solution of Poisson equation, Zh. Vychisl. Mat. Mat. Fiz. 22 (1982) 1386–1392 (in Russian).
G. Beylkin, R. Coifman and V. Rokhlin, Fast wavelet transforms and numerical algorithms I, Commun. Pure Appl. Math. 44 (1991) 141–183.
F.A. Bornemann, On the convergence of cascadic iterations for elliptic problems, Preprint SC 94-8, ZIB, Berlin (March 1994).
J.H. Bramble,Multigrid Methods (Longman Scientific and Technical, London, 1993).
J.H. Bramble, J.E. Pasciak and A.H. Schatz, The construction of preconditioners for elliptic problems by substructuring, I, Math. Comp. 47 (1986) 103–134.
J.H. Bramble, J.E. Pasciak and J. Xu, Parallel multilevel preconditioners, Math. Comp. 55 (1990) 1–22.
M. Costabel, Boundary integral operators on Lipschitz domains: elementary results, SIAM J. Math. Anal. 19 (1988) 613–625.
M. Costabel and E.P. Stephan, Duality estimates for the numerical solution of integral equations, Numer. Math. 54 (1988) 339–353.
W. Dahmen and A. Kunoth, Multilevel preconditioning, Numer. Math. 63 (1992) 315–344.
W. Dahmen, S. Prössdorf and R. Schneider, Wavelet approximation methods for pseudodifferential equations I: Stability and convergence, Math. Zeits. 215 (1994) 583–620.
W. Dahmen, S. Prössdorf and R. Schneider, Wavelet approximation methods for pseudo-differential equations II: Matrix compression and fast solution, Adv. Comp. Math. 1 (1993) 259–335.
W. Dahmen, S. Prössdorf and R. Schneider, Multiscale methods for pseudo-differential equations, in:Recent Advances in Wavelet Analysis, eds. L.L. Schumaker and G. Webb (Academic Press, 1994) pp. 191–235.
W. Dahmen, B. Kleemann, S. Prössdorf and R. Schneider, A multiscale method for the double layer potential equation on a polyhedron,Advances in Computational Mathematics, eds. H.P. Dikshit and C.A. Micchelli (World Scientific, Singapore/New Jersey/London/Hong Kong, 1994) pp. 15–57.
P. Deuflhard, Cascadic conjugate gradient methods for elliptic partial differential equations I. Algorithms and numerical results, Preprint SC 93-23, ZIB, Berlin (1993).
M. Dryja and O.B. Widlund, Multilevel additive methods for elliptic finite element problems, in:Parallel Algorithms for PDEs (Proc. 6th GAMM-Seminar, Kiel) ed. W. Hackbusch (Vieweg, Braunschweig, 1991) pp. 58–69.
J. Elschner, The double layer potential operators over polyhedral domains I: solvability in weighted Sobolev spaces, Appl. Anal. 45 (1992) 117–134.
W. Hackbusch and Z.P. Nowak, On the fast matrix multiplication in the boundary element method by panel clustering, Numer. Math. 54 (1989) 463–491.
G.C. Hsiao, B.N. Khoromskij and W.L. Wendland, Boundary integral operators and domain decomposition, Preprint Math. Inst. A, 94-11, University of Stuttgart (1994); Adv. Comp. Math., submitted.
G.C. Hsiao and W.L. Wendland, A finite element method for some integral equations of the first kind, J. Math. Anal. Appl. 58 (1977) 449–481.
S. Jaffard, Wavelet methods for fast resolution of elliptic problems, SIAM J. Numer. Anal. 29 (1992) 965–986.
B.N. Khoromskij, On fast computations with the inverse to harmonic potential operators via domain decomposition, Preprint Nr. 233/6.Jg./TU Chemnitz (1992); Numer. Lin. Alg. Appl. (1995), to appear.
B.N. Khoromskij and W.L. Wendland, Spectrally equivalent preconditioners for boundary equations in substructuring techniques, East-West J. Numer. Math. 1 (1992) 1–26.
B.N. Khoromskij, G.E. Mazurkevich and E.G. Nikonov, Cost-effective computations with boundary interface operators in elliptic problems, Preprint JINR, E11-163-93, Dubna (1993).
B.N. Khoromskij and G. Schmidt, Fast interface solvers for biharmonic Dirichlet problem on polygonal domains, Preprint No. 162, WIAS, Berlin (1995), submitted to Numer. Math.
J.L. Lions and E. Magenes,Non-Homogeneous Boundary Value Problems and Applications I (Springer, New York, 1972).
V.G. Maz'ya, Boundary integral equations, Sovrem. Problemy Matem., Fundam. Napravlen. 27 (1988) 131–228 (in Russian).
P. Oswald, Norm equivalencies and multilevel Schwarz preconditioning for variational problems, Preprint 92/01, University of Jena (1992).
P. Oswald,Multilevel Finite Element Approximations: Theory and Applications (Teubner, Stuttgart, 1994).
T. von Petersdorff and C. Schwab, Wavelet approximations for first kind boundary integral equations on polygons, Techn. Note, Inst. for Phys. Sci. and Techn., University of Maryland at College Park (February, 1994).
T. von Petersdorff, C. Schwab and R. Schneider, Multiwavelets for second kind integral equations, Techn. Note, Inst. for Phys. Sci. and Techn., University of Maryland at College Park (September 1994).
A. Rathsfeld, A wavelet algorithm for the solution of the double layer potential equation over polygonal boundaries, J. Integral Equations Appl. 7 (1995) 47–98.
G. Schmidt and B.N. Khoromskij, Boundary integral equations for the biharmonic Dirichlet problem on nonsmooth domains, Preprint No. 129, WIAS, Berlin (1994); Math. Meth. Appl. Sci. (1995), to appear.
V.V. Shaidurov, Some estimates of the rate of convergence for the cascadic conjugate-gradient method, Preprint No. 4, Otto-von-Guericke-Universität, Magdeburg (1994).
V.V. Shaidurov, The convergence of the cascadic conjugate-gradient method under a deficient regularity, in:Problems and Methods in Mathematical Physics, eds. L. Jentsch and F. Tröltzsch (1994) pp. 185–194.
E.P. Stephan and T. Tran, A multi-level additive Schwarz method for hypersingular integral equations, Preprint, University of Hannover (August, 1994).
W.L. Wendland, Strongly elliptic boundary integral equations, in:The State of the Art in Numerical Analysis, eds. A. Iserles and M. Powell (Clarendon Press, Oxford, 1987) pp. 511–561.
H. Yserentant, On the multi-level splitting of finite element spaces, Numer. Math. 49 (1986) 379–412.
X. Zhang, Multilevel Schwarz methods, Numer. Math. 63 (1992) 521–539.
E.P. Zhidkov and B.N. Khoromskij, Numerical algorithms on a sequence of grids and their applications in magnetostatics and theoretical physic problems, Elem. Part. Nucl. Phys. 19 (1988) 622–668 (in Russian).
Author information
Authors and Affiliations
Additional information
Communicated by C.A. Micchelli
Rights and permissions
About this article
Cite this article
Khoromskij, B.N., Prössdorf, S. Multilevel preconditioning on the refined interface and optimal boundary solvers for the Laplace equation. Adv Comput Math 4, 331–355 (1995). https://doi.org/10.1007/BF02123480
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02123480
Keywords
- Boundary integral equations
- domain decomposition
- fast elliptic problem solvers
- interface operators
- matrix compression
- multilevel preconditioning