Backward shift operator and finite dimensional de Branges Rovnyak spaces in the ball

Recently Bolotnikov and Rodman characterized finite dimensional backward shift invariant subspaces of the Arveson space. In this note we study finite dimensional backward shift invariant Hilbert spaces contractively included in the Arveson space. To that purpose we redefine in an appropriate way the backward shift operators in terms of power series expansions.