In this section the existence and uniqueness of solutions of the involved subproblems are proved. Besides the Laplace equation this includes the so-called saddle point theory which is an abstract framework and is then applied to the Stokes equations as well as to the coupled Stokes–Darcy problem in Chap. 6.
- [GR86]Vivette Girault and Pierre-Arnaud Raviart. Finite element methods for Navier-Stokes equations, volume 5 of Springer Series in Computational Mathematics. Springer-Verlag, Berlin, 1986. Theory and algorithms.Google Scholar
- [QV99]Alfio Quarteroni and Alberto Valli. Domain decomposition methods for partial differential equations. Numerical Mathematics and Scientific Computation. The Clarendon Press Oxford University Press, New York, 1999. Oxford Science Publications.Google Scholar