Namespaces
Variants
Actions

Difference between revisions of "Beurling-Lax theorem"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (AUTOMATIC EDIT (latexlist): Replaced 64 formulas out of 64 by TEX code with an average confidence of 2.0 and a minimal confidence of 2.0.)
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
A theorem involved with the characterization of shift-invariant subspaces of the Hardy space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b1202001.png" /> of analytic functions on the unit disc in terms of inner functions (cf. also [[Hardy spaces|Hardy spaces]]). Specifically, the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b1202002.png" /> can be characterized as the space of analytic functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b1202003.png" /> on the unit disc having [[Taylor series|Taylor series]] representation
+
<!--This article has been texified automatically. Since there was no Nroff source code for this article,  
 +
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
 +
was used.
 +
If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category.
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b1202004.png" /></td> </tr></table>
+
Out of 64 formulas, 64 were replaced by TEX code.-->
  
with square-summable coefficients (i.e., <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b1202005.png" />). The shift operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b1202006.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b1202007.png" /> is defined to be the operator of multiplication by the coordinate function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b1202008.png" />: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b1202009.png" />. A closed linear subspace <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020010.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020011.png" /> is said to be invariant for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020012.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020013.png" /> whenever <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020014.png" />. In 1949 (see [[#References|[a6]]]), A. Beurling proved that any such shift-invariant subspace has the form
+
{{TEX|semi-auto}}{{TEX|done}}
 +
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|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|Taylor series]] representation
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020015.png" /></td> </tr></table>
+
\begin{equation*} f ( z ) = \sum _ { n = 0 } ^ { \infty } a _ { n } z ^ { n } \end{equation*}
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020016.png" /> is an inner function. Here, an inner function is an [[Analytic function|analytic function]] on the unit disc with contractive values <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020017.png" /> such that its boundary values <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020018.png" /> (which exist for almost every point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020019.png" /> with respect to [[Lebesgue measure|Lebesgue measure]] on the unit circle) have modulus <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020020.png" /> (i.e. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020021.png" />) for almost all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020022.png" />. The usefulness of the result is enhanced by the fact that such inner functions can be factored <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020023.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020024.png" /> is a [[Blaschke product|Blaschke product]] which collects all the zeros of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020025.png" /> in the unit disc, and a singular inner function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020026.png" />, 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020027.png" /> generated by a given function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020028.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020029.png" />, one arrives at the inner-outer factorization <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020030.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020031.png" />. Here, the right factor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020032.png" /> is an outer function; such functions are characterized operator-theoretically as the cyclic vectors for the operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020033.png" />, or function-theoretically by an integral representation formula arising from an absolutely continuous measure on the unit circle. P.D. Lax [[#References|[a11]]] extended the result to finite-dimensional vector-valued <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020034.png" /> (in the alternative setting where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020035.png" /> of the unit disc is replaced by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020036.png" /> of the right half-plane). Later, P.R. Halmos [[#References|[a12]]] gave an elegant proof for the infinite-dimensional case. V.P. Potapov [[#References|[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 [[#References|[a9]]] and [[#References|[a16]]]) has proved more useful for engineering applications.
+
with square-summable coefficients (i.e., $\sum _ { n = 0 } ^ { \infty } | a _ { n } | ^ { 2 } &lt; \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 [[#References|[a6]]]), A. Beurling proved that any such shift-invariant subspace has the form
  
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020037.png" /> (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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020038.png" /> of the shift operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020039.png" /> to the orthogonal complement <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020040.png" /> of a shift-invariant subspace <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020041.png" /> serves as a model for a rich class of Hilbert-space operators. The model theories of L. de Branges and J. Rovnyak [[#References|[a7]]] and that of B. Sz.-Nagy and C. Foiaş [[#References|[a18]]] give two roughly equivalent generalizations of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020042.png" />, each of which leads to a model for an arbitrary, completely non-unitary [[Contraction operator|contraction operator]] on a Hilbert space. In both of these theories, the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020043.png" /> (a contractive, operator-valued, analytic function on the unit disc) is called the characteristic function of the associated operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020044.png" />. In the case where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020045.png" /> is inner (i.e., the boundary values on the unit circle are isometries almost everywhere), the model space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020046.png" /> reduces to the Beurling–Lax form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020047.png" />. There also has evolved a theory of so-called <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020049.png" /> operators, for which the operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020050.png" /> (with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020051.png" /> a scalar inner function) are the building blocks in an analogue of a canonical Jordan form which classifies <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020052.png" /> operators up to quasi-similarity (see [[#References|[a18]]] and [[#References|[a5]]]).
+
\begin{equation*} \theta H ^ { 2 } = \left\{ \theta ( z ) f ( z ) : f \in H ^ { 2 } \right\}, \end{equation*}
  
The model theoretical approach of M.S. Livsic and coworkers in the former Soviet Union (see [[#References|[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 [[#References|[a3]]] showed how a new type of Beurling–Lax representation for the vector-valued case (where one demands that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020053.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020054.png" /> 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|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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020055.png" /> can be interpreted as the range of a controllability operator, and there are explicit procedures for realizing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020056.png" /> as the transfer function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020057.png" /> of a unitary system
+
where $\theta ( z )$ is an inner function. Here, an inner function is an [[Analytic function|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|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|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 [[#References|[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 [[#References|[a12]]] gave an elegant proof for the infinite-dimensional case. V.P. Potapov [[#References|[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 [[#References|[a9]]] and [[#References|[a16]]]) has proved more useful for engineering applications.
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020058.png" /></td> </tr></table>
+
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 [[#References|[a7]]] and that of B. Sz.-Nagy and C. Foiaş [[#References|[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|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 [[#References|[a18]]] and [[#References|[a5]]]).
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020059.png" /></td> </tr></table>
+
The model theoretical approach of M.S. Livsic and coworkers in the former Soviet Union (see [[#References|[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 [[#References|[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|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
  
from the common zeros of the invariant subspace <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020060.png" /> (see, e.g., [[#References|[a2]]] and [[#References|[a16]]]). There have been recent extensions of a number of these ideas to time-varying systems (see, e.g., [[#References|[a10]]]) and even to non-linear systems (see [[#References|[a4]]]).
+
\begin{equation*} x ( n + 1 ) = A x ( n ) + b u ( n ), \end{equation*}
  
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020061.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020062.png" />, as well as extensions to more abstract [[Harmonic analysis|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., [[#References|[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 [[#References|[a17]]]) and a notion of inner divisor for the Bergman space [[#References|[a14]]] (cf. also [[Bergman spaces|Bergman spaces]]).
+
\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., [[#References|[a2]]] and [[#References|[a16]]]). There have been recent extensions of a number of these ideas to time-varying systems (see, e.g., [[#References|[a10]]]) and even to non-linear systems (see [[#References|[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|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., [[#References|[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 [[#References|[a17]]]) and a notion of inner divisor for the Bergman space [[#References|[a14]]] (cf. also [[Bergman spaces|Bergman spaces]]).
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> M.B. Abrahamse,   R.G. Douglas,   "A class of subnormal operators related to multiply connected domains" ''Adv. Math.'' , '''19''' (1976) pp. 1–43</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> J.A. Ball,   I. Gohberg,   L. Rodman,   "Interpolation of rational matrix functions" , ''Oper. Th. Adv. Appl.'' , '''45''' , Birkhäuser (1990)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> J.A. Ball,   J.W. Helton,   "A Beurling–Lax theorem for the Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020063.png" /> which contains most classical interpolation" ''J. Operator Th.'' , '''9''' (1983) pp. 632–658</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> J.A. Ball,   J.W. Helton,   "Shift invariant manifolds and nonlinear analytic function theory" ''Integral Eq. Operator Th.'' , '''11''' (1988) pp. 615–725</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> H. Bercovici,   "Operator theory and arithmetic in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020064.png" />" , ''Math. Surveys Monogr.'' , '''26''' , Amer. Math. Soc. (1988)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> A. Beurling,   "On two problems concerning linear transformations in Hilbert space" ''Acta Math.'' , '''81''' (1949) pp. 239–255</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> L. de Branges,   J. Rovnyak,   "Square summable power series" , Holt, Rinehart&amp;Winston (1966)</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top"> M.S. Brodskii,   "Triangular and Jordan representations of linear operators" , ''Transl. Math. Monogr.'' , '''32''' , Amer. Math. Soc. (1971)</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top"> "I. Schur Methods in Operator Theory and Signal Processing" I. Gohberg (ed.) , ''Oper. Th. Adv. Appl.'' , '''18''' , Birkhäuser (1986)</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top"> "Time–Variant Systems and Interpolation" I. Gohberg (ed.) , ''Oper. Th. Adv. Appl.'' , '''56''' , Birkhäuser (1992)</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top"> P.D. Lax,   "Translation invariant subspaces" ''Acta Math.'' , '''101''' (1959) pp. 163–178</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top"> P.R. Halmos,   "Shifts on Hilbert spaces" ''J. Reine Angew. Math.'' , '''208''' (1961) pp. 102–112</TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top"> J.W. Helton,   "Operator theory, analytic functions, matrices, and electrical engineering" , ''Conf. Board Math. Sci.'' , '''68''' , Amer. Math. Soc. (1987)</TD></TR><TR><TD valign="top">[a14]</TD> <TD valign="top"> H. Hedenmalm,   "A factorization theorem for square area-integrable analytic functions" ''J. Reine Angew. Math.'' , '''422''' (1991) pp. 45–68</TD></TR><TR><TD valign="top">[a15]</TD> <TD valign="top"> V.P. Potapov,   "The multiplicative structure of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b120/b120200/b12020065.png" />-contractive matrix functions" ''Amer. Math. Soc. Transl.'' , '''15''' : 2 (1960) pp. 131–243</TD></TR><TR><TD valign="top">[a16]</TD> <TD valign="top"> P.A. Regalia,   "Adaptive IIR filtering and signal processing and control" , M. Dekker (1995)</TD></TR><TR><TD valign="top">[a17]</TD> <TD valign="top"> S. Richter,   "A representation theorem for cyclic analytic two-isometries" ''Trans. Amer. Math. Soc.'' , '''328''' (1991) pp. 325–349</TD></TR><TR><TD valign="top">[a18]</TD> <TD valign="top"> B. Sz.-Nagy,   C. Foias,   "Harmonic analysis of operators on Hilbert space" , North-Holland (1970)</TD></TR></table>
+
<table><tr><td valign="top">[a1]</td> <td valign="top"> M.B. Abrahamse, R.G. Douglas, "A class of subnormal operators related to multiply connected domains" ''Adv. Math.'' , '''19''' (1976) pp. 1–43</td></tr><tr><td valign="top">[a2]</td> <td valign="top"> J.A. Ball, I. Gohberg, L. Rodman, "Interpolation of rational matrix functions" , ''Oper. Th. Adv. Appl.'' , '''45''' , Birkhäuser (1990) {{MR|1083145}} {{ZBL|0708.15011}} </td></tr><tr><td valign="top">[a3]</td> <td valign="top"> 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</td></tr><tr><td valign="top">[a4]</td> <td valign="top"> J.A. Ball, J.W. Helton, "Shift invariant manifolds and nonlinear analytic function theory" ''Integral Eq. Operator Th.'' , '''11''' (1988) pp. 615–725</td></tr><tr><td valign="top">[a5]</td> <td valign="top"> H. Bercovici, "Operator theory and arithmetic in $H ^ { \infty }$" , ''Math. Surveys Monogr.'' , '''26''' , Amer. Math. Soc. (1988) {{MR|0954383}} {{ZBL|0653.47004}} </td></tr><tr><td valign="top">[a6]</td> <td valign="top"> A. Beurling, "On two problems concerning linear transformations in Hilbert space" ''Acta Math.'' , '''81''' (1949) pp. 239–255</td></tr><tr><td valign="top">[a7]</td> <td valign="top"> L. de Branges, J. Rovnyak, "Square summable power series" , Holt, Rinehart&amp;Winston (1966) {{MR|215065}} {{ZBL|0153.39603}} </td></tr><tr><td valign="top">[a8]</td> <td valign="top"> M.S. Brodskii, "Triangular and Jordan representations of linear operators" , ''Transl. Math. Monogr.'' , '''32''' , Amer. Math. Soc. (1971) {{MR|0322542}} {{ZBL|}} </td></tr><tr><td valign="top">[a9]</td> <td valign="top"> "I. Schur Methods in Operator Theory and Signal Processing" I. Gohberg (ed.) , ''Oper. Th. Adv. Appl.'' , '''18''' , Birkhäuser (1986)</td></tr><tr><td valign="top">[a10]</td> <td valign="top"> "Time–Variant Systems and Interpolation" I. Gohberg (ed.) , ''Oper. Th. Adv. Appl.'' , '''56''' , Birkhäuser (1992)</td></tr><tr><td valign="top">[a11]</td> <td valign="top"> P.D. Lax, "Translation invariant subspaces" ''Acta Math.'' , '''101''' (1959) pp. 163–178</td></tr><tr><td valign="top">[a12]</td> <td valign="top"> P.R. Halmos, "Shifts on Hilbert spaces" ''J. Reine Angew. Math.'' , '''208''' (1961) pp. 102–112</td></tr><tr><td valign="top">[a13]</td> <td valign="top"> J.W. Helton, "Operator theory, analytic functions, matrices, and electrical engineering" , ''Conf. Board Math. Sci.'' , '''68''' , Amer. Math. Soc. (1987)</td></tr><tr><td valign="top">[a14]</td> <td valign="top"> H. Hedenmalm, "A factorization theorem for square area-integrable analytic functions" ''J. Reine Angew. Math.'' , '''422''' (1991) pp. 45–68</td></tr><tr><td valign="top">[a15]</td> <td valign="top"> V.P. Potapov, "The multiplicative structure of $J$-contractive matrix functions" ''Amer. Math. Soc. Transl.'' , '''15''' : 2 (1960) pp. 131–243</td></tr><tr><td valign="top">[a16]</td> <td valign="top"> P.A. Regalia, "Adaptive IIR filtering and signal processing and control" , M. Dekker (1995)</td></tr><tr><td valign="top">[a17]</td> <td valign="top"> S. Richter, "A representation theorem for cyclic analytic two-isometries" ''Trans. Amer. Math. Soc.'' , '''328''' (1991) pp. 325–349</td></tr><tr><td valign="top">[a18]</td> <td valign="top"> B. Sz.-Nagy, C. Foias, "Harmonic analysis of operators on Hilbert space" , North-Holland (1970) {{MR|275190}} {{ZBL|0201.45003}} </td></tr></table>

Latest revision as of 17:01, 1 July 2020

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-Lax_theorem&oldid=22111
This article was adapted from an original article by Joseph A. Ball (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article