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)Σ=(V;X,W) consists of a Hilbert (state) space XX, a Kreĭn (signal) space WW, a maximal nonnegative (generating) subspace V   of the Kreĭn space K:=−X[∔]X[∔]WK:=−X[∔]X[∔]W. The sets of trajectories (x(⋅);w(⋅))(x(⋅);w(⋅)) generated by V   on the discrete time intervals I⊂ZI⊂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[⊥], V[⊥]⊂VV[⊥]⊂V, or V[⊥]=VV[⊥]=V, respectively. The set W+Σ of all signal components w(⋅)w(⋅) of trajectories (x(⋅);w(⋅))(x(⋅);w(⋅)) of Σ   on I=Z+I=Z+ with x(0)=0x(0)=0 and w(⋅)∈ℓ2(Z+;W)w(⋅)∈ℓ2(Z+;W) is called the future time domain behavior of Σ  . The Fourier transform Wˆ+Σ of W+Σ 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)K2(D;W) that as a topological vector space coincides with the usual Hardy space H2(D;W)H2(D;W), but has the indefinite Kreĭn space inner product inherited from WW. A subspace of K2(D;W)K2(D;W) with the above properties is called a passive future frequency domain behavior on  WW. It has been shown earlier by the present authors that every passive future frequency domain behavior Wˆ+ on WW may be realized as the future frequency domain behavior of some passive s/s system Σ, and that 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).