BDDC and FETI-DP under minimalist assumptions (Q2471833)

The FETI-DP, BDDC and P-FETI-DP preconditioners are derived in a simple abstract form using few algebraic assumptions. The paper is purely algebraic and it does not use any particular definition of method components, such as substructures and coarse degrees of freedom. It is proved that the P-FETI-DP and BDDC preconditioners are the same. Bounds for the eigenvalues of the preconditioned operators of FETI-DP and BDDC, and conditions for the equality of bounds, are given. The last result proves that under some conditions the spectra of both preconditioners are the same, except possibly for eigenvalue equal to one, and that all eigenvalues are larger or equal to one, and that the multiplicity of any common eigenvalue different from one is the same, and the multiplicity of the eigenvalue equal to one for FETI-DP is less than or equal to the multiplicity for BDDC. Finally, the abstract framework is illustrated on a substructuring example.