https://9pdf.net/document/z3do597d-additive-schwarz-preconditioner-element-discretization-symmetric-elliptic-problems.html