Sz.-Nagy–Foias Functional Model

• The Sz.-Nagy–Foias functional model is a framework for analyzing completely non-unitary contractions using defect operators and operator-valued inner functions.
• Its extension to weighted Hardy spaces employs weighted shifts and power-series expansions to generalize classical dilation theorems for hypercontractions.
• The model’s applications span system theory and spectral analysis, offering a unified approach for classifying invariant subspaces and synthesizing linear system behavior.

The Sz.-Nagy–Foias type functional model is a central paradigm in operator theory for completely non-unitary contractions, establishing deep connections between shift-invariant subspaces, operator-valued inner functions, conservative linear systems, and the structure of contraction operators. The model has evolved to encompass weighted Hardy spaces, multivariable and noncommutative settings, and symmetry-equivariant frameworks, yielding a broad landscape of functional analytic operator models with applications in dilation theory, system theory, and spectral analysis.

1. Origin, Classical Structure, and Generalizations

The classical Sz.-Nagy–Foias model is constructed for $C_{\cdot 0}$ contractions on Hilbert spaces, where the defect operators $D_T = (I-T^*T)^{1/2}$ and $D_{T^*} = (I-TT^*)^{1/2}$ and their respective defect spaces $\mathcal{D}_T$, $\mathcal{D}_{T^*}$ yield analytic data characterizing the operator. The characteristic function $\Theta_T(z)$ is defined as

$\Theta_{T}(z) = -T + z\,D_{T^*}(I - zT^*)^{-1}D_T.$

This contractive analytic function implements the model operator as a compression of the unilateral shift on Hardy space $H^2(\mathcal{D}_{T^*})$ to the orthogonal complement of $\Theta_T H^2(\mathcal{D}_T)$, thus establishing an equivalence between operator-invariant subspaces and function-theoretic data (Ball et al., 2018).

The approach generalizes to weighted Hardy spaces $H^2_\beta$, by replacing the standard shift operator with a weighted shift $S_\beta$, using the weight sequence $\beta_n$ arising in the definition of hypercontractions. The characteristic function then manifests as a weighted power-series expansion: $$\Theta_k(z) = D_k + z\,C\,R_{\boldsymbol{\beta},k+1}(zA)B_k$$ with coefficients $\beta_{j+1}/\beta_j$, encoding the structure induced by the weight (Ball et al., 2014).

2. Beurling-Lax Theorem and Correspondence of Structures

The Sz.-Nagy–Foias model interacts fundamentally with the Beurling-Lax theorem: any shift-invariant subspace of Hardy space corresponds bijectively to an operator-valued inner function, and vice versa. The model theory thus establishes a categorical equivalence between:

• shift-invariant subspaces of (weighted) Hardy spaces,
• operator-valued inner functions (characteristic functions),
• conservative discrete-time input/state/output linear systems,
• $C_{\cdot 0}$ Hilbert-space contraction operators (Ball et al., 2014).

In the weighted setting, the shift invariance is relative to $S_\beta$ and coinvariant subspaces are realized via factorization techniques adapted to the underlying weights, allowing for the extension of model theory to classes such as hypercontractions.

3. Functional Model in Weighted Hardy Spaces

In $H^2_\beta$, the construction requires extracting the appropriate inner function via the explicit weighted power-series: $$\Theta_k(z)\,u = D_k\,u + \sum_{j=0}^\infty \frac{\beta_{j+1}}{\beta_j} C A^j B_k u\,z^{j+1}$$ for $u \in \mathcal{U}_k$. The identification between the preimage under $S_\beta^*$ and the model function gives rise to a functional model operator on the weighted subspace that preserves the shift structure adjusted by the $\beta$ sequence, and generalizes the system-theoretic realization to the weighted context (Ball et al., 2014).

4. Linear System Connections and Operator Model Theory

The Sz.-Nagy–Foias construction serves as the analytic foundation for realization theory of discrete-time conservative linear systems, where the transfer (characteristic) function essentially corresponds to the input-output map of the system over the unit disk: $\Theta_k(z) = D_k + z C (I - zA)^{-1} B_k$ The weighted version modifies the resolvent to include $R_{\boldsymbol{\beta},k+1}(zA)$, aligning the system's evolution with the underlying weight structure. This ensures the correspondence between system-theoretic dynamics, invariance under weighted shifts, and operator model theory (Ball et al., 2014).

5. Shift-Invariant and Coinvariant Subspaces

The identification and classification of shift-invariant and coinvariant subspaces in terms of operator models extends the scope of the Sz.-Nagy–Foias theory. In $H^2_\beta$, these subspaces are characterized via weighted inner functions, and the model-theoretic approach yields a precise functional calculus for understanding the structure and uniqueness of invariant spaces, essential for applications in interpolation and system synthesis (Ball et al., 2014).

6. Impact and Applications

The Sz.-Nagy–Foias type functional model (in both classical and weighted forms) underpins the analysis of contraction operators, facilitates the realization theory of linear systems, and forms the basis for dilation theorems and commutant lifting in operator theory. The correspondence established by the model between analytic, operator, and system-theoretic frameworks enables powerful techniques for classifying invariant subspaces, factorizing transfer functions, and synthesizing system behaviors in the abstract functional analytic setting.

The methodology generalized to weighted Hardy spaces provides the necessary structure for handling classes of hypercontractions and more intricate spectral or invariance properties, broadening the domain of model-theoretic results and informing further developments in multivariable and noncommutative model theory.

---

For further foundational details and developments, see "Weighted Hardy spaces: shift invariant and coinvariant subspaces, linear systems and operator model theory" (Ball et al., 2014).