Grushin Problem

A block-operator (or operator matrix) formulation that adjoins auxiliary input/output or projection operators to a non-Fredholm, degenerate, or nearly singular operator in order to obtain an extended system that is Fredholm or invertible; widely used in spectral reduction, microlocal analysis, and boundary problems.