Skip to main content
Erschienen in: Numerical Algorithms 2/2022

18.04.2022 | Original Paper

Highly scalable hybrid domain decomposition method for the solution of huge scalar variational inequalities

verfasst von: Zdeněk Dostál, David Horák, Jakub Kružík, Tomáš Brzobohatý, Oldřich Vlach

Erschienen in: Numerical Algorithms | Ausgabe 2/2022

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

The unpreconditioned hybrid domain decomposition method was recently shown to be a competitive solver for linear elliptic PDE problems discretized by structured grids. Here, we plug H-TFETI-DP (hybrid total finite element tearing and interconnecting dual primal) method into the solution of huge boundary elliptic variational inequalities. We decompose the domain into subdomains that are discretized and then interconnected partly by Lagrange multipliers and partly by edge averages. After eliminating the primal variables, we get a quadratic programming problem with a well-conditioned Hessian and bound and equality constraints that is effectively solvable by specialized algorithms. We prove that the procedure enjoys optimal, i.e., asymptotically linear complexity. The analysis uses recently established bounds on the spectrum of the Schur complements of the clusters interconnected by edge/face averages. The results extend the scope of scalability of massively parallel algorithms for the solution of variational inequalities and show the outstanding efficiency of the H-TFETI-DP coarse grid split between the primal and dual variables.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Axelsson, O.: Iterative Solution Methods. Cambridge University Press, Cambridge (1994)CrossRef Axelsson, O.: Iterative Solution Methods. Cambridge University Press, Cambridge (1994)CrossRef
3.
Zurück zum Zitat Brzobohatý, T., Dostál, Z., Kozubek, T., Kovář, P., Markopoulos, A.: Cholesky decomposition with fixing nodes to the stable computation of a generalized inverse of the stiffness matrix of a floating structure. Int. J. Numer. Methods Eng. 88(5), 493–509 (2011)MathSciNetCrossRef Brzobohatý, T., Dostál, Z., Kozubek, T., Kovář, P., Markopoulos, A.: Cholesky decomposition with fixing nodes to the stable computation of a generalized inverse of the stiffness matrix of a floating structure. Int. J. Numer. Methods Eng. 88(5), 493–509 (2011)MathSciNetCrossRef
4.
Zurück zum Zitat Brzobohatý, T., Jarošová, M., Kozubek, T., Menšík, M., Markopoulos, A.: The hybrid total FETI method. In: Proceedings of the Third International Conference on Parallel, Distributed, Grid, and Cloud Computing for Engineering Civil-Comp (2013) Brzobohatý, T., Jarošová, M., Kozubek, T., Menšík, M., Markopoulos, A.: The hybrid total FETI method. In: Proceedings of the Third International Conference on Parallel, Distributed, Grid, and Cloud Computing for Engineering Civil-Comp (2013)
5.
Zurück zum Zitat Conn, A. R., Gould, N. I. M., Toint, P. L.: A globally convergent augmented Lagrangian algorithm for optimization with general constraints and simple bounds. SIAM J. Numer. Anal. 28, 545–572 (1991)MathSciNetCrossRef Conn, A. R., Gould, N. I. M., Toint, P. L.: A globally convergent augmented Lagrangian algorithm for optimization with general constraints and simple bounds. SIAM J. Numer. Anal. 28, 545–572 (1991)MathSciNetCrossRef
6.
Zurück zum Zitat Dostál, Z.: Conjugate gradient method with preconditioning by projector. Int. J. Comput. Math. 23, 315–324 (1988)CrossRef Dostál, Z.: Conjugate gradient method with preconditioning by projector. Int. J. Comput. Math. 23, 315–324 (1988)CrossRef
7.
Zurück zum Zitat Dostál, Z.: A proportioning based algorithm with rate of convergence for bound constrained quadratic programming. Numer. Algorithms 34(2–4), 293–302 (2003)MathSciNetCrossRef Dostál, Z.: A proportioning based algorithm with rate of convergence for bound constrained quadratic programming. Numer. Algorithms 34(2–4), 293–302 (2003)MathSciNetCrossRef
8.
Zurück zum Zitat Dostál, Z.: An optimal algorithm for bound and equality constrained quadratic programming problems with bounded spectrum. Computing 78, 311–328 (2006)MathSciNetCrossRef Dostál, Z.: An optimal algorithm for bound and equality constrained quadratic programming problems with bounded spectrum. Computing 78, 311–328 (2006)MathSciNetCrossRef
9.
Zurück zum Zitat Dostál, Z.: On the decrease of a quadratic function along the projected–gradient path. ETNA 31, 25–59 (2008)MathSciNetMATH Dostál, Z.: On the decrease of a quadratic function along the projected–gradient path. ETNA 31, 25–59 (2008)MathSciNetMATH
10.
Zurück zum Zitat Dostál, Z.: Optimal quadratic programming algorithms, with applications to variational inequalities, 1st edn. Springer, New York (2009)MATH Dostál, Z.: Optimal quadratic programming algorithms, with applications to variational inequalities, 1st edn. Springer, New York (2009)MATH
11.
Zurück zum Zitat Dostál, Z., Horák, D.: Theoretically supported scalable FETI for numerical solution of variational inequalities. SIAM J. Numer. Anal. 45(2), 500–513 (2007)MathSciNetCrossRef Dostál, Z., Horák, D.: Theoretically supported scalable FETI for numerical solution of variational inequalities. SIAM J. Numer. Anal. 45(2), 500–513 (2007)MathSciNetCrossRef
12.
Zurück zum Zitat Dostál, Z., Schöberl, J.: Minimizing quadratic functions subject to bound constraints with the rate of convergence and finite termination. Comput. Opt. Appl. 30(1), 23–44 (2005)MathSciNetCrossRef Dostál, Z., Schöberl, J.: Minimizing quadratic functions subject to bound constraints with the rate of convergence and finite termination. Comput. Opt. Appl. 30(1), 23–44 (2005)MathSciNetCrossRef
13.
Zurück zum Zitat Dostál, Z., Vlach, O.: An accelerated augmented Lagrangian algorithm with adaptive orthogonalization strategy for bound and equality constrained quadratic programming and its application to large-scale contact problems of elasticity. J. Comput. Appl. Math. 394(1), 113565 (2021)MathSciNetCrossRef Dostál, Z., Vlach, O.: An accelerated augmented Lagrangian algorithm with adaptive orthogonalization strategy for bound and equality constrained quadratic programming and its application to large-scale contact problems of elasticity. J. Comput. Appl. Math. 394(1), 113565 (2021)MathSciNetCrossRef
14.
Zurück zum Zitat Dostál, Z., Gomes, F.A.M., Santos, S.A.: Duality based domain decomposition with natural coarse space for variational inequalities. J. Comput. Appl. Math. 126(1–2), 397–415 (2000)MathSciNetCrossRef Dostál, Z., Gomes, F.A.M., Santos, S.A.: Duality based domain decomposition with natural coarse space for variational inequalities. J. Comput. Appl. Math. 126(1–2), 397–415 (2000)MathSciNetCrossRef
15.
Zurück zum Zitat Dostál, Z., Friedlander, A., Santos, SA: Augmented Lagrangians with adaptive precision control for quadratic programming with simple bounds and equality constraints. SIAM J. Optim. 13(4), 1120–1140 (2003)MathSciNetCrossRef Dostál, Z., Friedlander, A., Santos, SA: Augmented Lagrangians with adaptive precision control for quadratic programming with simple bounds and equality constraints. SIAM J. Optim. 13(4), 1120–1140 (2003)MathSciNetCrossRef
16.
Zurück zum Zitat Dostál, Z., Horák, D., Kučera, R.: Total FETI—an easier implementable variant of the FETI method for numerical solution of elliptic PDE. Commun. Numer. Methods Eng. 22, 1155–1162 (2006)MathSciNetCrossRef Dostál, Z., Horák, D., Kučera, R.: Total FETI—an easier implementable variant of the FETI method for numerical solution of elliptic PDE. Commun. Numer. Methods Eng. 22, 1155–1162 (2006)MathSciNetCrossRef
17.
Zurück zum Zitat Dostál, Z., Kozubek, T., Vlach, O.: Reorthogonalization based stiffness preconditioning in FETI algorithms with applications to variational inequalities. Numer. Lin. Algebra Appl. 22(6), 987–998 (2015)MathSciNetCrossRef Dostál, Z., Kozubek, T., Vlach, O.: Reorthogonalization based stiffness preconditioning in FETI algorithms with applications to variational inequalities. Numer. Lin. Algebra Appl. 22(6), 987–998 (2015)MathSciNetCrossRef
18.
Zurück zum Zitat Dostál, Z., Kozubek, T., Sadowská, M., Vondrák, V.: Scalable Algorithms for Contact Problems AMM, vol. 36. Springer, New York (2016)CrossRef Dostál, Z., Kozubek, T., Sadowská, M., Vondrák, V.: Scalable Algorithms for Contact Problems AMM, vol. 36. Springer, New York (2016)CrossRef
19.
Zurück zum Zitat Dostál, Z., Horák, D., Sojka, R.: On the efficient reconstruction of displacements in FETI methods for contact problems. Adv. Electr. Electron. Eng. 15, 237–241 (2017) Dostál, Z., Horák, D., Sojka, R.: On the efficient reconstruction of displacements in FETI methods for contact problems. Adv. Electr. Electron. Eng. 15, 237–241 (2017)
21.
Zurück zum Zitat Dostál, Z, Brzobohatý, T, Vlach, O: Schur complement spectral bounds for large hybrid FETI-DP clusters and huge three-dimensional scalar problems. J. Numer. Math. (2021) Dostál, Z, Brzobohatý, T, Vlach, O: Schur complement spectral bounds for large hybrid FETI-DP clusters and huge three-dimensional scalar problems. J. Numer. Math. (2021)
23.
Zurück zum Zitat Farhat, C., Roux, F.-X.: A method of finite element tearing and interconnecting and its parallel solution algorithm. Int. J. Numer. Methods Eng. 32, 1205–1227 (1991)MathSciNetCrossRef Farhat, C., Roux, F.-X.: A method of finite element tearing and interconnecting and its parallel solution algorithm. Int. J. Numer. Methods Eng. 32, 1205–1227 (1991)MathSciNetCrossRef
24.
Zurück zum Zitat Farhat, C., Roux, F.-X.: An unconventional domain decomposition method for an efficient parallel solution of large-scale finite element systems. SIAM J. Sci. Comput. 13, 379–396 (1992)MathSciNetCrossRef Farhat, C., Roux, F.-X.: An unconventional domain decomposition method for an efficient parallel solution of large-scale finite element systems. SIAM J. Sci. Comput. 13, 379–396 (1992)MathSciNetCrossRef
25.
Zurück zum Zitat Farhat, C., Mandel, J., Roux, F. -X.: Optimal convergence properties of the FETI domain decomposition method. Comput. Methods Appl. Mech. Eng. 115, 365–385 (1994)MathSciNetCrossRef Farhat, C., Mandel, J., Roux, F. -X.: Optimal convergence properties of the FETI domain decomposition method. Comput. Methods Appl. Mech. Eng. 115, 365–385 (1994)MathSciNetCrossRef
26.
Zurück zum Zitat Farhat, C., Lesoinne, M., Pierson, K.: A scalable dual-primal domain decomposition method. Numer. Lin. Algebra Appl. 7(7–8), 687–714 (2000)MathSciNetCrossRef Farhat, C., Lesoinne, M., Pierson, K.: A scalable dual-primal domain decomposition method. Numer. Lin. Algebra Appl. 7(7–8), 687–714 (2000)MathSciNetCrossRef
27.
Zurück zum Zitat Hlaváček, I., Haslinger, J., Nečas, J., Lovíšek, J.: Solution of variational inequalities in mechanics. Springer, Berlin (1988). Topics in Matrix Analysis. Cambridge University Press, Cambridge (1991)CrossRef Hlaváček, I., Haslinger, J., Nečas, J., Lovíšek, J.: Solution of variational inequalities in mechanics. Springer, Berlin (1988). Topics in Matrix Analysis. Cambridge University Press, Cambridge (1991)CrossRef
28.
Zurück zum Zitat Jarošová, M., Klawonn, A., Rheinbach, O.: Projector preconditioning and transformation of basis in FETI-DP algorithms for contact problem. Math. Comput. Simul. 82(10), 1894–1907 (2012)MathSciNetCrossRef Jarošová, M., Klawonn, A., Rheinbach, O.: Projector preconditioning and transformation of basis in FETI-DP algorithms for contact problem. Math. Comput. Simul. 82(10), 1894–1907 (2012)MathSciNetCrossRef
29.
Zurück zum Zitat Klawonn, A., Rheinbach, O.: A parallel implementation of dual-primal FETI methodsfor three dimensional linear elasticity using a transformation of basis. SIAM J. Sci. Comput. 28(5), 1886–1906 (2006)MathSciNetCrossRef Klawonn, A., Rheinbach, O.: A parallel implementation of dual-primal FETI methodsfor three dimensional linear elasticity using a transformation of basis. SIAM J. Sci. Comput. 28(5), 1886–1906 (2006)MathSciNetCrossRef
30.
Zurück zum Zitat Klawonn, A., Rheinbach, O.: A hybrid approach to 3-level FETI. Proc. Appl. Math. Mech. 90(1), 10841–10843 (2008)CrossRef Klawonn, A., Rheinbach, O.: A hybrid approach to 3-level FETI. Proc. Appl. Math. Mech. 90(1), 10841–10843 (2008)CrossRef
31.
Zurück zum Zitat Klawonn, A., Rheinbach, O.: Highly scalable parallel domain decomposition methods with an application to biomechanics. Z. Angew. Math. Mech. 90(1), 5–32 (2010)MathSciNetCrossRef Klawonn, A., Rheinbach, O.: Highly scalable parallel domain decomposition methods with an application to biomechanics. Z. Angew. Math. Mech. 90(1), 5–32 (2010)MathSciNetCrossRef
32.
Zurück zum Zitat Klawonn, A., Widlund, O.: Dual–primal FETI method for linear elasticity. Commun. Pure Appl. Anal. LIX, 1523–1572 (2006)MathSciNetMATH Klawonn, A., Widlund, O.: Dual–primal FETI method for linear elasticity. Commun. Pure Appl. Anal. LIX, 1523–1572 (2006)MathSciNetMATH
33.
Zurück zum Zitat Klawonn, A., Lanser, M., Rheinbach, O.: Toward extremally scalable nonlinear domain decomposition methods for elliptic partiall differential equations. SIAM J. Sci. Comput. (37) 6, C667–C696 (2015)CrossRef Klawonn, A., Lanser, M., Rheinbach, O.: Toward extremally scalable nonlinear domain decomposition methods for elliptic partiall differential equations. SIAM J. Sci. Comput. (37) 6, C667–C696 (2015)CrossRef
34.
Zurück zum Zitat Kružík, J., Horák, D., Čermák, M., Pospísil, L., Pecha, M.: Active set expansion strategies in MPRGP algorithm. Adv. Eng. Softw. 149(1028), 95 (2020) Kružík, J., Horák, D., Čermák, M., Pospísil, L., Pecha, M.: Active set expansion strategies in MPRGP algorithm. Adv. Eng. Softw. 149(1028), 95 (2020)
35.
Zurück zum Zitat Lee, J.: Domain decomposition methods for auxiliary linear problems of an elliptic variational inequality. In: Bank, R., et al (eds.) Domain Decomposition Methods in Science and Engineering XX, Lecture Notes in Computational Science and Engineering, vol. 91, pp 319–326 (2013) Lee, J.: Domain decomposition methods for auxiliary linear problems of an elliptic variational inequality. In: Bank, R., et al (eds.) Domain Decomposition Methods in Science and Engineering XX, Lecture Notes in Computational Science and Engineering, vol. 91, pp 319–326 (2013)
36.
Zurück zum Zitat Lee, J.: Two domain decomposition methods for auxiliary linear problems for a multibody variational inequality. SIAM J. Sci. Comput. 35(3), 1350–1375 (2013)MathSciNetCrossRef Lee, J.: Two domain decomposition methods for auxiliary linear problems for a multibody variational inequality. SIAM J. Sci. Comput. 35(3), 1350–1375 (2013)MathSciNetCrossRef
37.
Zurück zum Zitat Li, J., Widdlund, O. B.: FETI-DP, BDDC,and block Cholesky method. Int. J. Num. Methods Eng. 66, 250–271 (2006)MathSciNetCrossRef Li, J., Widdlund, O. B.: FETI-DP, BDDC,and block Cholesky method. Int. J. Num. Methods Eng. 66, 250–271 (2006)MathSciNetCrossRef
38.
Zurück zum Zitat Pechstein, C.: Finite and boundary element tearing and interconnecting solvers for multiscale problems. Springer, Heidelberg (2013)CrossRef Pechstein, C.: Finite and boundary element tearing and interconnecting solvers for multiscale problems. Springer, Heidelberg (2013)CrossRef
40.
Zurück zum Zitat Toselli, A., Widlund, O. B.: Domain decomposition methods—algorithms and theory Springer Series on Computational Mathematics, vol. 34. Springer, Berlin (2005)CrossRef Toselli, A., Widlund, O. B.: Domain decomposition methods—algorithms and theory Springer Series on Computational Mathematics, vol. 34. Springer, Berlin (2005)CrossRef
41.
Zurück zum Zitat Vodstrčil, P., Bouchala, J., Jarošová, M., Dostál, Z.: On conditioning of Schur complements of h-TFETI clusters for 2D problems governed by Laplacian. Appl. Math. 62(6), 699–718 (2017)MathSciNetCrossRef Vodstrčil, P., Bouchala, J., Jarošová, M., Dostál, Z.: On conditioning of Schur complements of h-TFETI clusters for 2D problems governed by Laplacian. Appl. Math. 62(6), 699–718 (2017)MathSciNetCrossRef
Metadaten
Titel
Highly scalable hybrid domain decomposition method for the solution of huge scalar variational inequalities
verfasst von
Zdeněk Dostál
David Horák
Jakub Kružík
Tomáš Brzobohatý
Oldřich Vlach
Publikationsdatum
18.04.2022
Verlag
Springer US
Erschienen in
Numerical Algorithms / Ausgabe 2/2022
Print ISSN: 1017-1398
Elektronische ISSN: 1572-9265
DOI
https://doi.org/10.1007/s11075-022-01281-3

Weitere Artikel der Ausgabe 2/2022

Numerical Algorithms 2/2022 Zur Ausgabe

Premium Partner