Canonical conservative state/signal shift realizations of passive discrete time behaviors

A passive linear discrete time invariant s/s (state/signal) system Σ = (V ;X,W) consists of a Hilbert (state) space X, a Kre˘ın (signal) space W, a maximal nonnegative (generating) subspace V of the Kre˘ın space K := −X [ ] X [ ] W. The sets of trajectories (x(·);w(·)) generated by V on the discrete time intervals I ⊂ Z are defined by x(n+1);x(n);w(n) ∈ V, n ∈ I. This system is forward conservative, or backward conservative, or conservative if V ⊂ V [⊥], V [⊥] ⊂ V , or V [⊥] = V , respectively. The set WΣ+ of all signal components w(·) of trajectories (x(·);w(·)) of Σ on I = Z+ with x(0) = 0 and w(·) ∈ 2(Z+;W) is called the future time domain behavior of Σ. The Fourier transform WΣ+ ofWΣ+ is called the future frequency domain behavior of Σ. This set is a maximal nonnegative right-shift invariant subspace in the Kre˘ın space K2(D;W) that as a topological vector space coincides with the usual Hardy space H2(D;W), but has the indefinite Kre˘ın space inner product inherited fromW. A subspace of K2(D;W) with the above properties is called a passive future frequency domain behavior onW. It has been shown earlier by the present authors that every passive future frequency domain behavior W+ on W may be realized as the future frequency domain behavior of some passive s/s system Σ, andthat it is possible to require, in addition, that Σ is (a) controllable and forward conservative, (b) observable and backward conservative, or (c) simple and conservative. These three types of realizations are determined by W+ up to unitary similarity. Canonical functional shift realizations of the types (a) and (b) have been obtained earlier by the present authors, and their connection to the classical de Branges–Rovnyak models have been discussed. Here we present analogous results for a realization of the type (c). © 2010 Elsevier Inc. All rights reserved