Namespaces
Variants
Actions

Beurling-Lax theorem

From Encyclopedia of Mathematics
(Redirected from Beurling–Lax theorem)
Jump to: navigation, search

A theorem involved with the characterization of shift-invariant subspaces of the Hardy space $H ^ { 2 }$ of analytic functions on the unit disc in terms of inner functions (cf. also Hardy spaces). Specifically, the space $H ^ { 2 }$ can be characterized as the space of analytic functions $f ( z )$ on the unit disc having Taylor series representation

\begin{equation*} f ( z ) = \sum _ { n = 0 } ^ { \infty } a _ { n } z ^ { n } \end{equation*}

with square-summable coefficients (i.e., $\sum _ { n = 0 } ^ { \infty } | a _ { n } | ^ { 2 } < \infty$). The shift operator $S$ on $H ^ { 2 }$ is defined to be the operator of multiplication by the coordinate function $z$: $S: f ( z ) \rightarrow z f ( z )$. A closed linear subspace $\mathcal{M}$ of $H ^ { 2 }$ is said to be invariant for $S$ if $S f \in \mathcal{M}$ whenever $f \in \mathcal{M}$. In 1949 (see [a6]), A. Beurling proved that any such shift-invariant subspace has the form

\begin{equation*} \theta H ^ { 2 } = \left\{ \theta ( z ) f ( z ) : f \in H ^ { 2 } \right\}, \end{equation*}

where $\theta ( z )$ is an inner function. Here, an inner function is an analytic function on the unit disc with contractive values $| \theta ( z ) | \leq 1$ such that its boundary values $\theta ( e ^ { i t } ) = \operatorname { lim } _ { r \rightarrow 1 } \theta ( r e ^ { i t } )$ (which exist for almost every point $e ^ { i t }$ with respect to Lebesgue measure on the unit circle) have modulus $1$ (i.e. $| \theta ( e ^ { i t } | = 1$) for almost all $e ^ { i t }$. The usefulness of the result is enhanced by the fact that such inner functions can be factored $\theta ( z ) = b ( z ) . s ( z )$, where $b ( z )$ is a Blaschke product which collects all the zeros of $\theta ( z )$ in the unit disc, and a singular inner function $s ( z )$, given by an explicit integral formula in terms of a singular measure on the unit circle. When one applies the result to the cyclic invariant subspace $\mathcal{M}$ generated by a given function $f$ in $H ^ { 2 }$, one arrives at the inner-outer factorization $f = \theta . g$ of $f$. Here, the right factor $g$ is an outer function; such functions are characterized operator-theoretically as the cyclic vectors for the operator $S$, or function-theoretically by an integral representation formula arising from an absolutely continuous measure on the unit circle. P.D. Lax [a11] extended the result to finite-dimensional vector-valued $H ^ { 2 }$ (in the alternative setting where $H ^ { 2 }$ of the unit disc is replaced by $H ^ { 2 }$ of the right half-plane). Later, P.R. Halmos [a12] gave an elegant proof for the infinite-dimensional case. V.P. Potapov [a15] worked out an analogue of the parametrization (in terms of zeros and a singular measure on the circle) of an inner function for the matrix-valued case. It turns out that the parametrization of matrix inner functions (and, more generally, of contractive analytic matrix-functions on the unit disc) in terms of Schur parameters (see [a9] and [a16]) has proved more useful for engineering applications.

Generalizations and applications of this result have been going strong (with some interruptions) to the present day (1998). Beurling already observed that the detailed parametrization of inner functions (in terms of zero locations and singular measures on the unit circle as sketched above) leads to a complete characterization of the lattice structure of the lattice of invariant subspaces for the shift operator $S$ (a strikingly different structure from the previously worked out case of self-adjoint or unitary operators). In the 1960s, operator theorists realized that the compression $T ( \theta ) = P _ { \mathcal{H} ( \theta ) } S | _ { \mathcal{H} ( \theta ) }$ of the shift operator $S$ to the orthogonal complement $\mathcal{H} ( \theta ) = H ^ { 2 } \ominus \theta H ^ { 2 }$ of a shift-invariant subspace $\mathcal{M} = \theta H ^ { 2 }$ serves as a model for a rich class of Hilbert-space operators. The model theories of L. de Branges and J. Rovnyak [a7] and that of B. Sz.-Nagy and C. Foiaş [a18] give two roughly equivalent generalizations of $\mathcal{H} ( \theta ) = H ^ { 2 } \ominus \theta H ^ { 2 }$, each of which leads to a model for an arbitrary, completely non-unitary contraction operator on a Hilbert space. In both of these theories, the function $\theta$ (a contractive, operator-valued, analytic function on the unit disc) is called the characteristic function of the associated operator $T$. In the case where $\theta$ is inner (i.e., the boundary values on the unit circle are isometries almost everywhere), the model space $\mathcal{H} ( \theta )$ reduces to the Beurling–Lax form $\mathcal{H} ( \theta ) = H ^ { 2 } \ominus \theta H ^ { 2 }$. There also has evolved a theory of so-called $C _ { 0 }$ operators, for which the operator $T ( \theta )$ (with $\theta$ a scalar inner function) are the building blocks in an analogue of a canonical Jordan form which classifies $C _ { 0 }$ operators up to quasi-similarity (see [a18] and [a5]).

The model theoretical approach of M.S. Livsic and coworkers in the former Soviet Union (see [a8]) gives an alternative formulation with emphasis on the system-theoretic aspects (where the characteristic function appears as the transfer function of a discrete-time, linear, energy-conserving system) rather than on connections with Beurling–Lax representations for shift-invariant subspaces. In 1983, J.A. Ball and J.W. Helton [a3] showed how a new type of Beurling–Lax representation for the vector-valued case (where one demands that $\mathcal{M} = \theta H ^ { 2 }$ and $\theta ( e ^ { i t } )$ preserve an indefinite rather than Hilbert-space inner product) leads directly to the linear-fractional parametrization for the solution set of a Nevanlinna–Pick interpolation problem. Connections with engineering applications, such as signal processing, robust control and system identification, have led to new questions, different points of view, and an emphasis on robust computational procedures; in particular, the model space $\mathcal{H} ( \theta )$ can be interpreted as the range of a controllability operator, and there are explicit procedures for realizing $\theta$ as the transfer function $\theta ( z ) = d + c z ( I - z A ) ^ { - 1 } b$ of a unitary system

\begin{equation*} x ( n + 1 ) = A x ( n ) + b u ( n ), \end{equation*}

\begin{equation*} y ( n ) = c x ( n ) + d u ( n ) \end{equation*}

from the common zeros of the invariant subspace $\mathcal{M}$ (see, e.g., [a2] and [a16]). There have been recent extensions of a number of these ideas to time-varying systems (see, e.g., [a10]) and even to non-linear systems (see [a4]).

There have been other extensions from the point of view of function-theoretic operator theory. Already in the 1960s, other workers (such as D. Lowdenslager, H. Helson and J. Wermer) obtained Beurling-type representations for shift-invariant subspaces in $H ^ { p }$ or $L ^ { p }$, as well as extensions to more abstract harmonic analysis and function-algebra settings. A more delicate Beurling–Lax representation theorem has been shown to hold for Hardy spaces on finitely-connected planar domains, where unitary representations of the fundamental group of the underlying domain play a fundamental role in the description (see, e.g., [a1]). Recently (1990s) there have been attempts to generalize Halmos' wandering subspace construction in still other directions. For example, there is a Beurling-like representation theorem for invariant subspaces of the Dirichlet shift (see [a17]) and a notion of inner divisor for the Bergman space [a14] (cf. also Bergman spaces).

References

[a1] M.B. Abrahamse, R.G. Douglas, "A class of subnormal operators related to multiply connected domains" Adv. Math. , 19 (1976) pp. 1–43
[a2] J.A. Ball, I. Gohberg, L. Rodman, "Interpolation of rational matrix functions" , Oper. Th. Adv. Appl. , 45 , Birkhäuser (1990) MR1083145 Zbl 0708.15011
[a3] J.A. Ball, J.W. Helton, "A Beurling–Lax theorem for the Lie group $U ( m , n )$ which contains most classical interpolation" J. Operator Th. , 9 (1983) pp. 632–658
[a4] J.A. Ball, J.W. Helton, "Shift invariant manifolds and nonlinear analytic function theory" Integral Eq. Operator Th. , 11 (1988) pp. 615–725
[a5] H. Bercovici, "Operator theory and arithmetic in $H ^ { \infty }$" , Math. Surveys Monogr. , 26 , Amer. Math. Soc. (1988) MR0954383 Zbl 0653.47004
[a6] A. Beurling, "On two problems concerning linear transformations in Hilbert space" Acta Math. , 81 (1949) pp. 239–255
[a7] L. de Branges, J. Rovnyak, "Square summable power series" , Holt, Rinehart&Winston (1966) MR215065 Zbl 0153.39603
[a8] M.S. Brodskii, "Triangular and Jordan representations of linear operators" , Transl. Math. Monogr. , 32 , Amer. Math. Soc. (1971) MR0322542
[a9] "I. Schur Methods in Operator Theory and Signal Processing" I. Gohberg (ed.) , Oper. Th. Adv. Appl. , 18 , Birkhäuser (1986)
[a10] "Time–Variant Systems and Interpolation" I. Gohberg (ed.) , Oper. Th. Adv. Appl. , 56 , Birkhäuser (1992)
[a11] P.D. Lax, "Translation invariant subspaces" Acta Math. , 101 (1959) pp. 163–178
[a12] P.R. Halmos, "Shifts on Hilbert spaces" J. Reine Angew. Math. , 208 (1961) pp. 102–112
[a13] J.W. Helton, "Operator theory, analytic functions, matrices, and electrical engineering" , Conf. Board Math. Sci. , 68 , Amer. Math. Soc. (1987)
[a14] H. Hedenmalm, "A factorization theorem for square area-integrable analytic functions" J. Reine Angew. Math. , 422 (1991) pp. 45–68
[a15] V.P. Potapov, "The multiplicative structure of $J$-contractive matrix functions" Amer. Math. Soc. Transl. , 15 : 2 (1960) pp. 131–243
[a16] P.A. Regalia, "Adaptive IIR filtering and signal processing and control" , M. Dekker (1995)
[a17] S. Richter, "A representation theorem for cyclic analytic two-isometries" Trans. Amer. Math. Soc. , 328 (1991) pp. 325–349
[a18] B. Sz.-Nagy, C. Foias, "Harmonic analysis of operators on Hilbert space" , North-Holland (1970) MR275190 Zbl 0201.45003
How to Cite This Entry:
Beurling–Lax theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Beurling%E2%80%93Lax_theorem&oldid=22112