De acuerdo con la teoría de Sz.-Nagy y Foias, un amplio conjunto de operadores lineales completamente no-isométricos sobre espacios de Hilbert separables se pueden modelar a través del operador backward shift restringido a algún espacio de de Branges-Rovnyak sobre el disco unidad. Estos modelos funcionales incluyen los espacios modelo, que son los únicos subespacios invariantes cerrados para el backward shift en los espacios clásicos de Hardy.