The discrete-time bounded-real lemma in digital filtering

The Lossless Bounded-Real lemma is developed in the discrete-time domain, based only on energy balance arguments. The results are used to prove a discrete-time version of the general Bounded-Real lemma, based on a matrix spectral-factorization result that permits a transfer matrix embedding process. Some applications of the results in digital filter theory are finally outlined.