On Kreĭn's formula (Q2518325)

Let \(A_0\) be a fixed selfadjoint extension of a closed symmetric operator \(S\) on a Hilbert space \(\mathfrak H\). The well-known Kreǐn formula \[ P_{\mathfrak H}(\tilde A-\lambda)^{-1}\big|{\mathfrak H}=(A_0-\lambda)^{-1}-\gamma(\lambda)\bigl(M(\lambda)+\tau)(\lambda)\bigr)^{-1}\gamma(\overline{\lambda})^* \] gives a description of the compressed resolvents of selfadjoint extensions \(\tilde A\) of \(S\) in larger Hilbert spaces \(\tilde{\mathfrak H}\). The aim of of the paper under review is to give a simple complete analytical proof of this formula. The results are are formulated slightly more generally in terms of linear relations (multivalued linear operators).