A new practical framework for the stability analysis of perturbed saddle-point problems and applications

Hong, Qingguo; Kraus, Johannes; Lymbery, Maria; Philo, Fadi

doi:10.1090/mcom/3795

A new practical framework for the stability analysis of perturbed saddle-point problems and applications
HTML articles powered by AMS MathViewer

by Qingguo Hong, Johannes Kraus, Maria Lymbery and Fadi Philo HTML | PDF

Math. Comp. 92 (2023), 607-634 Request permission

Abstract:

In this paper we prove a new abstract stability result for perturbed saddle-point problems based on a norm fitting technique. We derive the stability condition according to Babuška’s theory from a small inf-sup condition, similar to the famous Ladyzhenskaya-Babuška-Brezzi (LBB) condition, and the other standard assumptions in Brezzi’s theory, in a combined abstract norm. The construction suggests to form the latter from individual fitted norms that are composed from proper seminorms.

This abstract framework not only allows for simpler (shorter) proofs of many stability results but also guides the design of parameter-robust norm-equivalent preconditioners. These benefits are demonstrated on mixed variational formulations of generalized Poisson, Stokes, vector Laplace and Biot’s equations.

References

James H. Adler, Francisco J. Gaspar, Xiaozhe Hu, Carmen Rodrigo, and Ludmil T. Zikatanov, Robust block preconditioners for Biot’s model, Domain decomposition methods in science and engineering XXIV, Lect. Notes Comput. Sci. Eng., vol. 125, Springer, Cham, 2018, pp. 3–16. MR 3989852, DOI 10.1007/978-3-319-93873-8_{1}
Douglas N. Arnold, Richard S. Falk, and R. Winther, Preconditioning in $H(\textrm {div})$ and applications, Math. Comp. 66 (1997), no. 219, 957–984. MR 1401938, DOI 10.1090/S0025-5718-97-00826-0
Douglas N. Arnold, Richard S. Falk, and Ragnar Winther, Finite element exterior calculus, homological techniques, and applications, Acta Numer. 15 (2006), 1–155. MR 2269741, DOI 10.1017/S0962492906210018
Douglas N. Arnold and Ragnar Winther, Mixed finite elements for elasticity, Numer. Math. 92 (2002), no. 3, 401–419. MR 1930384, DOI 10.1007/s002110100348
Ivo Babuška, Error-bounds for finite element method, Numer. Math. 16 (1970/71), 322–333. MR 288971, DOI 10.1007/BF02165003
Ivo Babuška and A. K. Aziz, Survey lectures on the mathematical foundations of the finite element method, The mathematical foundations of the finite element method with applications to partial differential equations (Proc. Sympos., Univ. Maryland, Baltimore, Md., 1972) Academic Press, New York, 1972, pp. 1–359. With the collaboration of G. Fix and R. B. Kellogg. MR 0421106
M. Bai, D. Elsworth, and J.-C. Roegiers, Multiporosity/multipermeability approach to the simulation of naturally fractured reservoirs, Water Resources Res. 29 (1993), no. 6, 1621–1633.
A. Battermann and M. Heinkenschloss, Preconditioners for Karush-Kuhn-Tucker matrices arising in the optimal control of distributed systems, Control and estimation of distributed parameter systems (Vorau, 1996) Internat. Ser. Numer. Math., vol. 126, Birkhäuser, Basel, 1998, pp. 15–32. MR 1627643
Michele Benzi, Gene H. Golub, and Jörg Liesen, Numerical solution of saddle point problems, Acta Numer. 14 (2005), 1–137. MR 2168342, DOI 10.1017/S0962492904000212
M. A. Biot, General theory of three-dimensional consolidation, J. Appl. Phys. 12 (1941), no. 2, 155–164.
M. A. Biot, Theory of elasticity and consolidation for a porous anisotropic solid, J. Appl. Phys. 26 (1955), 182–185. MR 66874, DOI 10.1063/1.1721956
Daniele Boffi, Franco Brezzi, and Michel Fortin, Mixed finite element methods and applications, Springer Series in Computational Mathematics, vol. 44, Springer, Heidelberg, 2013. MR 3097958, DOI 10.1007/978-3-642-36519-5
Wietse M. Boon, Miroslav Kuchta, Kent-Andre Mardal, and Ricardo Ruiz-Baier, Robust preconditioners for perturbed saddle-point problems and conservative discretizations of Biot’s equations utilizing total pressure, SIAM J. Sci. Comput. 43 (2021), no. 4, B961–B983. MR 4295052, DOI 10.1137/20M1379708
Dietrich Braess, Stability of saddle point problems with penalty, RAIRO Modél. Math. Anal. Numér. 30 (1996), no. 6, 731–742 (English, with English and French summaries). MR 1419936, DOI 10.1051/m2an/1996300607311
Dietrich Braess, Finite elements, 3rd ed., Cambridge University Press, Cambridge, 2007. Theory, fast solvers, and applications in elasticity theory; Translated from the German by Larry L. Schumaker. MR 2322235, DOI 10.1017/CBO9780511618635
F. Brezzi, On the existence, uniqueness and approximation of saddle-point problems arising from Lagrangian multipliers, Rev. Française Automat. Informat. Recherche Opérationnelle Sér. Rouge 8 (1974), no. R-2, 129–151 (English, with French summary). MR 365287
Franco Brezzi and Michel Fortin, Mixed and hybrid finite element methods, Springer Series in Computational Mathematics, vol. 15, Springer-Verlag, New York, 1991. MR 1115205, DOI 10.1007/978-1-4612-3172-1
Martin Burger and Wolfram Mühlhuber, Iterative regularization of parameter identification problems by sequential quadratic programming methods, Inverse Problems 18 (2002), no. 4, 943–969. MR 1929275, DOI 10.1088/0266-5611/18/4/301
Shuangshuang Chen, Qingguo Hong, Jinchao Xu, and Kai Yang, Robust block preconditioners for poroelasticity, Comput. Methods Appl. Mech. Engrg. 369 (2020), 113229, 21. MR 4120363, DOI 10.1016/j.cma.2020.113229
O. Coussy, Poromechanics, John Wiley & Sons, West Sussex, England, 2004.
L. Demkowicz, Babuška ${\Leftrightarrow }$ Brezzi??, Technical Report 08-06, ICE, The University of Texas at Austin, Texas Institute for Computational and Applied Mathematics, 2006.
Marco Discacciati, Edie Miglio, and Alfio Quarteroni, Mathematical and numerical models for coupling surface and groundwater flows, Appl. Numer. Math. 43 (2002), no. 1-2, 57–74. 19th Dundee Biennial Conference on Numerical Analysis (2001). MR 1936102, DOI 10.1016/S0168-9274(02)00125-3
Howard C. Elman, David J. Silvester, and Andrew J. Wathen, Finite elements and fast iterative solvers: with applications in incompressible fluid dynamics, Numerical Mathematics and Scientific Computation, Oxford University Press, New York, 2005. MR 2155549
Alexandre Ern and Jean-Luc Guermond, Theory and practice of finite elements, Applied Mathematical Sciences, vol. 159, Springer-Verlag, New York, 2004. MR 2050138, DOI 10.1007/978-1-4757-4355-5
Philip E. Gill, Walter Murray, and Margaret H. Wright, Practical optimization, Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], London-New York, 1981. MR 634376
V. Girault and P.-A. Raviart, Finite element approximation of the Navier-Stokes equations, Lecture Notes in Mathematics, vol. 749, Springer-Verlag, Berlin-New York, 1979. MR 548867, DOI 10.1007/BFb0063453
Roland Glowinski, Finite element methods for incompressible viscous flow, Handbook of numerical analysis, Vol. IX, Handb. Numer. Anal., IX, North-Holland, Amsterdam, 2003, pp. 3–1176. MR 2009826
L. Guo, Z. Li, J. Lyu, Y. Mei, J. Vardakis, D. Chen, C. Han, X. Lou, and Y. Ventikos, On the validation of a multiple-network poroelastic model using arterial spin labeling MRI data, Front. Comput. Neurosci. 13 (2019), PMID 31551742, PMCID PMC6733888.
Ernest L. Hall, Computer image processing and recognition, Computer Science and Applied Mathematics, Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London-Toronto, 1979. MR 553438
Ralf Hiptmair and Jinchao Xu, Nodal auxiliary space preconditioning in $\textbf {H}(\textbf {curl})$ and $\textbf {H}(\textrm {div})$ spaces, SIAM J. Numer. Anal. 45 (2007), no. 6, 2483–2509. MR 2361899, DOI 10.1137/060660588
Qingguo Hong and Johannes Kraus, Uniformly stable discontinuous Galerkin discretization and robust iterative solution methods for the Brinkman problem, SIAM J. Numer. Anal. 54 (2016), no. 5, 2750–2774. MR 3544656, DOI 10.1137/14099810X
Qingguo Hong and Johannes Kraus, Parameter-robust stability of classical three-field formulation of Biot’s consolidation model, Electron. Trans. Numer. Anal. 48 (2018), 202–226. MR 3820123, DOI 10.1553/etna_{v}ol48s202
Qingguo Hong, Johannes Kraus, Maria Lymbery, and Fadi Philo, Conservative discretizations and parameter-robust preconditioners for Biot and multiple-network flux-based poroelasticity models, Numer. Linear Algebra Appl. 26 (2019), no. 4, e2242, 25. MR 3979954, DOI 10.1002/nla.2242
Qingguo Hong, Johannes Kraus, Maria Lymbery, and Fadi Philo, Parameter-robust Uzawa-type iterative methods for double saddle point problems arising in Biot’s consolidation and multiple-network poroelasticity models, Math. Models Methods Appl. Sci. 30 (2020), no. 13, 2523–2555. MR 4192882, DOI 10.1142/S0218202520500499
Qingguo Hong, Johannes Kraus, Maria Lymbery, and Mary F. Wheeler, Parameter-robust convergence analysis of fixed-stress split iterative method for multiple-permeability poroelasticity systems, Multiscale Model. Simul. 18 (2020), no. 2, 916–941. MR 4102708, DOI 10.1137/19M1253988
Qingguo Hong, Johannes Kraus, Jinchao Xu, and Ludmil Zikatanov, A robust multigrid method for discontinuous Galerkin discretizations of Stokes and linear elasticity equations, Numer. Math. 132 (2016), no. 1, 23–49 (English, with Romanian summary). MR 3439214, DOI 10.1007/s00211-015-0712-y
Qingguo Hong, Yuwen Li, and Jinchao Xu, An extended Galerkin analysis in finite element exterior calculus, Math. Comp. 91 (2022), no. 335, 1077–1106. MR 4405489, DOI 10.1090/mcom/3707
Johannes Kraus, Raytcho Lazarov, Maria Lymbery, Svetozar Margenov, and Ludmil Zikatanov, Preconditioning heterogeneous $H(\textrm {div})$ problems by additive Schur complement approximation and applications, SIAM J. Sci. Comput. 38 (2016), no. 2, A875–A898. MR 3474851, DOI 10.1137/140974092
Sarvesh Kumar, Ricardo Oyarzúa, Ricardo Ruiz-Baier, and Ruchi Sandilya, Conservative discontinuous finite volume and mixed schemes for a new four-field formulation in poroelasticity, ESAIM Math. Model. Numer. Anal. 54 (2020), no. 1, 273–299. MR 4058208, DOI 10.1051/m2an/2019063
Yue Kuen Kwok and Wendong Zheng, Saddlepoint approximation methods in financial engineering, SpringerBriefs in Quantitative Finance, Springer, Cham, 2018. MR 3753567, DOI 10.1007/978-3-319-74101-7
O. A. Ladyženskaja and V. A. Solonnikov, Some problems of vector analysis, and generalized formulations of boundary value problems for the Navier-Stokes equation, Zap. Naučn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 59 (1976), 81–116, 256 (Russian, with English summary). Boundary value problems of mathematical physics and related questions in the theory of functions, 9. MR 0467031
O. A. Ladyzhenskaya, The mathematical theory of viscous incompressible flow, Mathematics and its Applications, Vol. 2, Gordon and Breach Science Publishers, New York-London-Paris, 1969. Second English edition, revised and enlarged; Translated from the Russian by Richard A. Silverman and John Chu. MR 0254401
Jeonghun J. Lee, Kent-Andre Mardal, and Ragnar Winther, Parameter-robust discretization and preconditioning of Biot’s consolidation model, SIAM J. Sci. Comput. 39 (2017), no. 1, A1–A24. MR 3590654, DOI 10.1137/15M1029473
Jeonghun J. Lee, Robust error analysis of coupled mixed methods for Biot’s consolidation model, J. Sci. Comput. 69 (2016), no. 2, 610–632. MR 3551338, DOI 10.1007/s10915-016-0210-0
J. J. Lee, E. Piersanti, K.-A. Mardal, and M. E. Rognes, A mixed finite element method for nearly incompressible multiple-network poroelasticity, SIAM J. Sci. Comput. 41 (2019), no. 2, A722–A747. MR 3922236, DOI 10.1137/18M1182395
D. Loghin and A. J. Wathen, Analysis of preconditioners for saddle-point problems, SIAM J. Sci. Comput. 25 (2004), no. 6, 2029–2049. MR 2086829, DOI 10.1137/S1064827502418203
Kent-Andre Mardal and Ragnar Winther, Preconditioning discretizations of systems of partial differential equations, Numer. Linear Algebra Appl. 18 (2011), no. 1, 1–40. MR 2769031, DOI 10.1002/nla.716
Peter Monk, Finite element methods for Maxwell’s equations, Numerical Mathematics and Scientific Computation, Oxford University Press, New York, 2003. MR 2059447, DOI 10.1093/acprof:oso/9780198508885.001.0001
Márcio A. Murad and Abimael F. D. Loula, Improved accuracy in finite element analysis of Biot’s consolidation problem, Comput. Methods Appl. Mech. Engrg. 95 (1992), no. 3, 359–382. MR 1156589, DOI 10.1016/0045-7825(92)90193-N
Márcio A. Murad and Abimael F. D. Loula, On stability and convergence of finite element approximations of Biot’s consolidation problem, Internat. J. Numer. Methods Engrg. 37 (1994), no. 4, 645–667. MR 1257948, DOI 10.1002/nme.1620370407
J. Nečas, Les méthodes directes en théorie des équations elliptiques, Masson et Cie, Éditeurs, Paris; Academia, Éditeurs, Prague, 1967.
R. A. Nicolaides, Existence, uniqueness and approximation for generalized saddle point problems, SIAM J. Numer. Anal. 19 (1982), no. 2, 349–357. MR 650055, DOI 10.1137/0719021
Ricardo Oyarzúa and Ricardo Ruiz-Baier, Locking-free finite element methods for poroelasticity, SIAM J. Numer. Anal. 54 (2016), no. 5, 2951–2973. MR 3552204, DOI 10.1137/15M1050082
Phillip Joseph Phillips and Mary F. Wheeler, A coupling of mixed and continuous Galerkin finite element methods for poroelasticity. I. The continuous in time case, Comput. Geosci. 11 (2007), no. 2, 131–144. MR 2327964, DOI 10.1007/s10596-007-9045-y
Phillip Joseph Phillips and Mary F. Wheeler, A coupling of mixed and continuous Galerkin finite element methods for poroelasticity. II. The discrete-in-time case, Comput. Geosci. 11 (2007), no. 2, 145–158. MR 2327966, DOI 10.1007/s10596-007-9044-z
Wil Schilders, Introduction to model order reduction, Model order reduction: theory, research aspects and applications, Math. Ind., vol. 13, Springer, Berlin, 2008, pp. 3–32. MR 2497742, DOI 10.1007/978-3-540-78841-6_{1}
Roger Temam, Navier-Stokes equations, 3rd ed., Studies in Mathematics and its Applications, vol. 2, North-Holland Publishing Co., Amsterdam, 1984. Theory and numerical analysis; With an appendix by F. Thomasset. MR 769654
K. Terzaghi, Erdbaumechanik auf bodenphysikalischer Grundlage, F. Deuticke, 1925.
Andrea Toselli and Olof Widlund, Domain decomposition methods—algorithms and theory, Springer Series in Computational Mathematics, vol. 34, Springer-Verlag, Berlin, 2005. MR 2104179, DOI 10.1007/b137868
B. Tully and Y. Ventikos, Cerebral water transport using multiple-network poroelastic theory: application to normal pressure hydrocephalus, J. Fluid Mech. 667 (2011), 188–215. MR 2754490, DOI 10.1017/S0022112010004428
Panayot S. Vassilevski and Raytcho D. Lazarov, Preconditioning mixed finite element saddle-point elliptic problems, Numer. Linear Algebra Appl. 3 (1996), no. 1, 1–20. MR 1373366, DOI 10.1002/(SICI)1099-1506(199601/02)3:1<1::AID-NLA67>3.3.CO;2-5
Son-Young Yi, Convergence analysis of a new mixed finite element method for Biot’s consolidation model, Numer. Methods Partial Differential Equations 30 (2014), no. 4, 1189–1210. MR 3200272, DOI 10.1002/num.21865
Walter Zulehner, Nonstandard norms and robust estimates for saddle point problems, SIAM J. Matrix Anal. Appl. 32 (2011), no. 2, 536–560. MR 2817503, DOI 10.1137/100814767