Namespaces
Variants
Actions

Difference between revisions of "Balian-Low theorem"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (AUTOMATIC EDIT (latexlist): Replaced 52 formulas out of 52 by TEX code with an average confidence of 2.0 and a minimal confidence of 2.0.)
(latex details)
 
Line 11: Line 11:
 
\begin{equation*} \{ e ^ { 2 \pi i m b x } g ( x - n a ) : n , m \in \mathbf{Z} \} = \{ g _ { n , m} : n , m \in \mathbf{Z} \}, \end{equation*}
 
\begin{equation*} \{ e ^ { 2 \pi i m b x } g ( x - n a ) : n , m \in \mathbf{Z} \} = \{ g _ { n , m} : n , m \in \mathbf{Z} \}, \end{equation*}
  
where $g \in L ^ { 2 } ( \mathbf{R} )$ is a fixed window function and $a , b > 0$ are fixed lattice parameters. The goal is to write an arbitrary function $f \in L ^ { 2 } ( \mathbf{R} )$ in a series of the form
+
where $g \in L ^ { 2 } ( \mathbf{R} )$ is a fixed window function and $a , b > 0$ are fixed lattice parameters. The goal is to write an arbitrary function $f \in L ^ { 2 } ( \mathbf{R} )$ in a series of the form
  
 
\begin{equation} \tag{a1} f ( x ) = \sum _ { n \in \mathbf{Z} } \sum _ { m \in \mathbf{Z} } c _ { n , m } (\, f ) g _ { n , m } ( x ), \end{equation}
 
\begin{equation} \tag{a1} f ( x ) = \sum _ { n \in \mathbf{Z} } \sum _ { m \in \mathbf{Z} } c _ { n , m } (\, f ) g _ { n , m } ( x ), \end{equation}
  
where the coefficients $\{ c _ { n ,m}  ( f ) : n , m \in \mathbf{Z} \}$ depend linearly on $f$. One requires that the collection $\{ g _ { n  , m} : n , m \in \mathbf{Z} \}$ forms a frame for $L ^ { 2 } ( \mathbf{R} )$, that is, that there exist constants $A , B > 0$ such that for any $f \in L ^ { 2 } ( \mathbf{R} )$,
+
where the coefficients $\{ c _ { n ,m}  ( f ) : n , m \in \mathbf{Z} \}$ depend linearly on $f$. One requires that the collection $\{ g _ { n  , m} : n , m \in \mathbf{Z} \}$ forms a frame for $L ^ { 2 } ( \mathbf{R} )$, that is, that there exist constants $A , B > 0$ such that for any $f \in L ^ { 2 } ( \mathbf{R} )$,
  
 
\begin{equation} \tag{a2} A \| f \| _ { 2 } ^ { 2 } \leq \sum _ { n \in \mathbf Z } \sum _ { m \in \mathbf Z } |\langle f , g _ { n  , m} \rangle | ^ { 2 } \leq B \| f \| _ { 2 } ^ { 2 }. \end{equation}
 
\begin{equation} \tag{a2} A \| f \| _ { 2 } ^ { 2 } \leq \sum _ { n \in \mathbf Z } \sum _ { m \in \mathbf Z } |\langle f , g _ { n  , m} \rangle | ^ { 2 } \leq B \| f \| _ { 2 } ^ { 2 }. \end{equation}
  
Inequality (a2) implies the existence of coefficients $\{ c _ { n ,m}  ( f ) : n , m \in \mathbf{Z} \}$ satisfying (a1) and the inequality $B ^ { - 1 } \| f \| _ { 2 } ^ { 2 } \leq \sum _ { n , m \in \mathbf{Z} } | c _ { n , m } ( f ) | ^ { 2 } \leq A ^ { - 1 } \| f \| _ { 2 } ^ { 2 }$. This inequality can be interpreted as expressing the continuous dependence of $f$ on the coefficients $\{ c _ { n ,m}  ( f ) : n , m \in \mathbf{Z} \}$ and the continuous dependence of these coefficients on $f$. Whether or not an arbitrary collection of Gabor functions $\{ g _ { n  , m} : n , m \in \mathbf{Z} \}$ forms a frame for $L ^ { 2 } ( \mathbf{R} )$ depends on the window function $g$ and on the lattice density $( a b ) ^ { - 1 }$. The lattice density $( a b ) ^ { - 1 } = 1$ is referred to as the critical density, for the following reason. If $( a b ) ^ { - 1 } = 1$ and $\{ g _ { n  , m} : n , m \in \mathbf{Z} \}$ forms a frame, then that frame is non-redundant, i.e., it is a [[Riesz basis|Riesz basis]]. If $( a b ) ^ { - 1 } > 1$ and $\{ g _ { n  , m} : n , m \in \mathbf{Z} \}$ forms a frame, then that frame is redundant, i.e., the representation (a1) is not unique. If $( a b ) ^ { - 1 } < 1$, then for any $g \in L ^ { 2 } ( \mathbf{R} )$, the collection $\{ g _ { n  , m} : n , m \in \mathbf{Z} \}$ is incomplete. See [[#References|[a9]]], [[#References|[a10]]].
+
Inequality (a2) implies the existence of coefficients $\{ c _ { n ,m}  ( f ) : n , m \in \mathbf{Z} \}$ satisfying (a1) and the inequality $B ^ { - 1 } \| f \| _ { 2 } ^ { 2 } \leq \sum _ { n , m \in \mathbf{Z} } | c _ { n , m } ( f ) | ^ { 2 } \leq A ^ { - 1 } \| f \| _ { 2 } ^ { 2 }$. This inequality can be interpreted as expressing the continuous dependence of $f$ on the coefficients $\{ c _ { n ,m}  ( f ) : n , m \in \mathbf{Z} \}$ and the continuous dependence of these coefficients on $f$. Whether or not an arbitrary collection of Gabor functions $\{ g _ { n  , m} : n , m \in \mathbf{Z} \}$ forms a frame for $L ^ { 2 } ( \mathbf{R} )$ depends on the window function $g$ and on the lattice density $( a b ) ^ { - 1 }$. The lattice density $( a b ) ^ { - 1 } = 1$ is referred to as the critical density, for the following reason. If $( a b ) ^ { - 1 } = 1$ and $\{ g _ { n  , m} : n , m \in \mathbf{Z} \}$ forms a frame, then that frame is non-redundant, i.e., it is a [[Riesz basis|Riesz basis]]. If $( a b ) ^ { - 1 } > 1$ and $\{ g _ { n  , m} : n , m \in \mathbf{Z} \}$ forms a frame, then that frame is redundant, i.e., the representation (a1) is not unique. If $( a b ) ^ { - 1 } < 1$, then for any $g \in L ^ { 2 } ( \mathbf{R} )$, the collection $\{ g _ { n  , m} : n , m \in \mathbf{Z} \}$ is incomplete. See [[#References|[a9]]], [[#References|[a10]]].
  
The time-frequency atom $g_{n,m}$ is said to be localized at time $na$ and frequency $m b$ since the [[Fourier transform|Fourier transform]] of $g_{n,m}$ is given by $e ^ { 2 \pi i m n a b } e ^ { 2 \pi i m b x }\hat{ g} ( \gamma - m b )$. A window function $g$ is said to have  "good localization"  in time and frequency if both $g$ and its Fourier transform $\hat{g}$ decay rapidly at infinity. Good localization can be measured in various ways. One way is to require that $\| tg ( t ) \| _ { 2 } \| \gamma \hat{g} ( \gamma ) \| _ { 2 } &lt; \infty$. This is related to the classical uncertainty principle inequality, which asserts that any function $g \in L ^ { 2 } ( \mathbf{R} )$ satisfies $\| \operatorname { tg } ( t ) \| _ { 2 } \| \gamma \hat{g} ( \gamma ) \| _ { 2 } \geq ( 4 \pi ) ^ { - 1 } \| g \| _ { 2 } ^ { 2 }$.
+
The time-frequency atom $g_{n,m}$ is said to be localized at time $na$ and frequency $m b$ since the [[Fourier transform|Fourier transform]] of $g_{n,m}$ is given by $e ^ { 2 \pi i m n a b } e ^ { 2 \pi i m b x }\hat{ g} ( \gamma - m b )$. A window function $g$ is said to have  "good localization"  in time and frequency if both $g$ and its Fourier transform $\hat{g}$ decay rapidly at infinity. Good localization can be measured in various ways. One way is to require that $\| tg ( t ) \| _ { 2 } \| \gamma \hat{g} ( \gamma ) \| _ { 2 } < \infty$. This is related to the classical uncertainty principle inequality, which asserts that any function $g \in L ^ { 2 } ( \mathbf{R} )$ satisfies $\| \operatorname { tg } ( t ) \| _ { 2 } \| \gamma \hat{g} ( \gamma ) \| _ { 2 } \geq ( 4 \pi ) ^ { - 1 } \| g \| _ { 2 } ^ { 2 }$.
  
 
The Balian–Low theorem asserts that if $( a b ) ^ { - 1 } = 1$ and if $\{ g _ { n  , m} : n , m \in \mathbf{Z} \}$ forms a frame for $L ^ { 2 } ( \mathbf{R} )$, then $g$ cannot have good localization. Specifically: If $( a b ) ^ { - 1 } = 1$ and if $\{ g _ { n  , m} : n , m \in \mathbf{Z} \}$ forms a frame for $L ^ { 2 } ( \mathbf{R} )$, then $\| t g ( t ) \| _ { 2 } \| \gamma \hat{g} ( \gamma ) \| _ { 2 } = \infty$, i.e., $g$ maximizes the uncertainty principle inequality.
 
The Balian–Low theorem asserts that if $( a b ) ^ { - 1 } = 1$ and if $\{ g _ { n  , m} : n , m \in \mathbf{Z} \}$ forms a frame for $L ^ { 2 } ( \mathbf{R} )$, then $g$ cannot have good localization. Specifically: If $( a b ) ^ { - 1 } = 1$ and if $\{ g _ { n  , m} : n , m \in \mathbf{Z} \}$ forms a frame for $L ^ { 2 } ( \mathbf{R} )$, then $\| t g ( t ) \| _ { 2 } \| \gamma \hat{g} ( \gamma ) \| _ { 2 } = \infty$, i.e., $g$ maximizes the uncertainty principle inequality.
Line 30: Line 30:
  
 
====References====
 
====References====
<table><tr><td valign="top">[a1]</td> <td valign="top">  R. Balian,  "Un principe d'incertitude fort en théorie du signal ou en mécanique quantique"  ''C.R. Acad. Sci. Paris'' , '''292'''  (1981)  pp. 1357–1362</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  G. Battle,  "Heisenberg proof of the Balian–Low theorem"  ''Lett. Math. Phys.'' , '''15'''  (1988)  pp. 175–177</td></tr><tr><td valign="top">[a3]</td> <td valign="top">  G. Battle,  "Phase space localization theorem for ondelettes"  ''J. Math. Phys.'' , '''30'''  (1989)  pp. 2195–2196</td></tr><tr><td valign="top">[a4]</td> <td valign="top">  J. Benedetto,  C. Heil,  D. Walnut,  "Differentiation and the Balian–Low Theorem"  ''J. Fourier Anal. Appl.'' , '''1'''  (1995)  pp. 355–402</td></tr><tr><td valign="top">[a5]</td> <td valign="top">  I. Daubechies,  "The wavelet transform, time-frequency localization and signal analysis"  ''IEEE Trans. Inform. Th.'' , '''39'''  (1990)  pp. 961–1005</td></tr><tr><td valign="top">[a6]</td> <td valign="top">  I. Daubechies,  A.J.E.M. Janssen,  "Two theorems on lattice expansions"  ''IEEE Trans. Inform. Th.'' , '''39'''  (1993)  pp. 3–6</td></tr><tr><td valign="top">[a7]</td> <td valign="top">  H. Feichtinger,  K. Gröchenig,  "Gabor frames and time—frequency distributions"  ''J. Funct. Anal.'' , '''146'''  (1997)  pp. 464–495</td></tr><tr><td valign="top">[a8]</td> <td valign="top">  F. Low,  "Complete sets of wave packets"  C. DeTar (ed.)  et al. (ed.) , ''A Passion for Physics: Essays in Honor of Geoffrey Chew'' , World Sci.  (1985)  pp. 17–22</td></tr><tr><td valign="top">[a9]</td> <td valign="top">  M. Rieffel,  "Von Neumann algebras associated with pairs of lattices in Lie groups"  ''Math. Ann.'' , '''257'''  (1981)  pp. 403–418</td></tr><tr><td valign="top">[a10]</td> <td valign="top">  J. Ramanathan,  T. Steger,  "Incompleteness of Sparse Coherent States"  ''Appl. Comput. Harm. Anal.'' , '''2'''  (1995)  pp. 148–153</td></tr></table>
+
<table>
 +
<tr><td valign="top">[a1]</td> <td valign="top">  R. Balian,  "Un principe d'incertitude fort en théorie du signal ou en mécanique quantique"  ''C.R. Acad. Sci. Paris'' , '''292'''  (1981)  pp. 1357–1362</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  G. Battle,  "Heisenberg proof of the Balian–Low theorem"  ''Lett. Math. Phys.'' , '''15'''  (1988)  pp. 175–177</td></tr><tr><td valign="top">[a3]</td> <td valign="top">  G. Battle,  "Phase space localization theorem for ondelettes"  ''J. Math. Phys.'' , '''30'''  (1989)  pp. 2195–2196</td></tr><tr><td valign="top">[a4]</td> <td valign="top">  J. Benedetto,  C. Heil,  D. Walnut,  "Differentiation and the Balian–Low Theorem"  ''J. Fourier Anal. Appl.'' , '''1'''  (1995)  pp. 355–402</td></tr><tr><td valign="top">[a5]</td> <td valign="top">  I. Daubechies,  "The wavelet transform, time-frequency localization and signal analysis"  ''IEEE Trans. Inform. Th.'' , '''39'''  (1990)  pp. 961–1005</td></tr><tr><td valign="top">[a6]</td> <td valign="top">  I. Daubechies,  A.J.E.M. Janssen,  "Two theorems on lattice expansions"  ''IEEE Trans. Inform. Th.'' , '''39'''  (1993)  pp. 3–6</td></tr><tr><td valign="top">[a7]</td> <td valign="top">  H. Feichtinger,  K. Gröchenig,  "Gabor frames and time—frequency distributions"  ''J. Funct. Anal.'' , '''146'''  (1997)  pp. 464–495</td></tr><tr><td valign="top">[a8]</td> <td valign="top">  F. Low,  "Complete sets of wave packets"  C. DeTar (ed.)  et al. (ed.) , ''A Passion for Physics: Essays in Honor of Geoffrey Chew'' , World Sci.  (1985)  pp. 17–22</td></tr><tr><td valign="top">[a9]</td> <td valign="top">  M. Rieffel,  "Von Neumann algebras associated with pairs of lattices in Lie groups"  ''Math. Ann.'' , '''257'''  (1981)  pp. 403–418</td></tr><tr><td valign="top">[a10]</td> <td valign="top">  J. Ramanathan,  T. Steger,  "Incompleteness of Sparse Coherent States"  ''Appl. Comput. Harm. Anal.'' , '''2'''  (1995)  pp. 148–153</td></tr>
 +
</table>

Latest revision as of 07:48, 12 February 2024

A theorem dealing with the representation of arbitrary functions in $L ^ { 2 } ( \mathbf{R} )$ as a sum of time-frequency atoms, or Gabor functions (cf. also Gabor transform), of the form

\begin{equation*} \{ e ^ { 2 \pi i m b x } g ( x - n a ) : n , m \in \mathbf{Z} \} = \{ g _ { n , m} : n , m \in \mathbf{Z} \}, \end{equation*}

where $g \in L ^ { 2 } ( \mathbf{R} )$ is a fixed window function and $a , b > 0$ are fixed lattice parameters. The goal is to write an arbitrary function $f \in L ^ { 2 } ( \mathbf{R} )$ in a series of the form

\begin{equation} \tag{a1} f ( x ) = \sum _ { n \in \mathbf{Z} } \sum _ { m \in \mathbf{Z} } c _ { n , m } (\, f ) g _ { n , m } ( x ), \end{equation}

where the coefficients $\{ c _ { n ,m} ( f ) : n , m \in \mathbf{Z} \}$ depend linearly on $f$. One requires that the collection $\{ g _ { n , m} : n , m \in \mathbf{Z} \}$ forms a frame for $L ^ { 2 } ( \mathbf{R} )$, that is, that there exist constants $A , B > 0$ such that for any $f \in L ^ { 2 } ( \mathbf{R} )$,

\begin{equation} \tag{a2} A \| f \| _ { 2 } ^ { 2 } \leq \sum _ { n \in \mathbf Z } \sum _ { m \in \mathbf Z } |\langle f , g _ { n , m} \rangle | ^ { 2 } \leq B \| f \| _ { 2 } ^ { 2 }. \end{equation}

Inequality (a2) implies the existence of coefficients $\{ c _ { n ,m} ( f ) : n , m \in \mathbf{Z} \}$ satisfying (a1) and the inequality $B ^ { - 1 } \| f \| _ { 2 } ^ { 2 } \leq \sum _ { n , m \in \mathbf{Z} } | c _ { n , m } ( f ) | ^ { 2 } \leq A ^ { - 1 } \| f \| _ { 2 } ^ { 2 }$. This inequality can be interpreted as expressing the continuous dependence of $f$ on the coefficients $\{ c _ { n ,m} ( f ) : n , m \in \mathbf{Z} \}$ and the continuous dependence of these coefficients on $f$. Whether or not an arbitrary collection of Gabor functions $\{ g _ { n , m} : n , m \in \mathbf{Z} \}$ forms a frame for $L ^ { 2 } ( \mathbf{R} )$ depends on the window function $g$ and on the lattice density $( a b ) ^ { - 1 }$. The lattice density $( a b ) ^ { - 1 } = 1$ is referred to as the critical density, for the following reason. If $( a b ) ^ { - 1 } = 1$ and $\{ g _ { n , m} : n , m \in \mathbf{Z} \}$ forms a frame, then that frame is non-redundant, i.e., it is a Riesz basis. If $( a b ) ^ { - 1 } > 1$ and $\{ g _ { n , m} : n , m \in \mathbf{Z} \}$ forms a frame, then that frame is redundant, i.e., the representation (a1) is not unique. If $( a b ) ^ { - 1 } < 1$, then for any $g \in L ^ { 2 } ( \mathbf{R} )$, the collection $\{ g _ { n , m} : n , m \in \mathbf{Z} \}$ is incomplete. See [a9], [a10].

The time-frequency atom $g_{n,m}$ is said to be localized at time $na$ and frequency $m b$ since the Fourier transform of $g_{n,m}$ is given by $e ^ { 2 \pi i m n a b } e ^ { 2 \pi i m b x }\hat{ g} ( \gamma - m b )$. A window function $g$ is said to have "good localization" in time and frequency if both $g$ and its Fourier transform $\hat{g}$ decay rapidly at infinity. Good localization can be measured in various ways. One way is to require that $\| tg ( t ) \| _ { 2 } \| \gamma \hat{g} ( \gamma ) \| _ { 2 } < \infty$. This is related to the classical uncertainty principle inequality, which asserts that any function $g \in L ^ { 2 } ( \mathbf{R} )$ satisfies $\| \operatorname { tg } ( t ) \| _ { 2 } \| \gamma \hat{g} ( \gamma ) \| _ { 2 } \geq ( 4 \pi ) ^ { - 1 } \| g \| _ { 2 } ^ { 2 }$.

The Balian–Low theorem asserts that if $( a b ) ^ { - 1 } = 1$ and if $\{ g _ { n , m} : n , m \in \mathbf{Z} \}$ forms a frame for $L ^ { 2 } ( \mathbf{R} )$, then $g$ cannot have good localization. Specifically: If $( a b ) ^ { - 1 } = 1$ and if $\{ g _ { n , m} : n , m \in \mathbf{Z} \}$ forms a frame for $L ^ { 2 } ( \mathbf{R} )$, then $\| t g ( t ) \| _ { 2 } \| \gamma \hat{g} ( \gamma ) \| _ { 2 } = \infty$, i.e., $g$ maximizes the uncertainty principle inequality.

More generally, the term "Balian–Low theorem" or "Balian–Low-type theorem" can refer to any theorem which asserts time and frequency localization restrictions on the elements of a Riesz basis. Such theorems include, for example, [a4], Thm. 3.2, in which a different criterion for "good localization" for the elements of a Gabor system is used, [a7], Thm. 4.4, in which more general time-frequency lattices for Gabor systems are considered, and [a3], which asserts a time-frequency restriction on bases of wavelets (cf. also Wavelet analysis).

The Balian–Low theorem was originally stated and proved by R. Balian [a1] and independently by F. Low [a8] under the stronger assumption that $\{ g _ { n , m} : n , m \in \mathbf{Z} \}$ forms an orthonormal basis (cf. also Orthonormal system) for $L ^ { 2 } ( \mathbf{R} )$, and an extension of their argument to frames was given by I. Daubechies, R.R. Coifmann and S. Semmes [a5]. An elegant and entirely new proof of the theorem for orthonormal bases using the classical uncertainty principle inequality was given by G. Battle [a2], and an extension of this argument to frames was given by Daubechies and A.J.E.M. Janssen [a6]. Proofs of the Balian–Low theorem for frames use the differentiability properties of the Zak transform in an essential way.

References

[a1] R. Balian, "Un principe d'incertitude fort en théorie du signal ou en mécanique quantique" C.R. Acad. Sci. Paris , 292 (1981) pp. 1357–1362
[a2] G. Battle, "Heisenberg proof of the Balian–Low theorem" Lett. Math. Phys. , 15 (1988) pp. 175–177
[a3] G. Battle, "Phase space localization theorem for ondelettes" J. Math. Phys. , 30 (1989) pp. 2195–2196
[a4] J. Benedetto, C. Heil, D. Walnut, "Differentiation and the Balian–Low Theorem" J. Fourier Anal. Appl. , 1 (1995) pp. 355–402
[a5] I. Daubechies, "The wavelet transform, time-frequency localization and signal analysis" IEEE Trans. Inform. Th. , 39 (1990) pp. 961–1005
[a6] I. Daubechies, A.J.E.M. Janssen, "Two theorems on lattice expansions" IEEE Trans. Inform. Th. , 39 (1993) pp. 3–6
[a7] H. Feichtinger, K. Gröchenig, "Gabor frames and time—frequency distributions" J. Funct. Anal. , 146 (1997) pp. 464–495
[a8] F. Low, "Complete sets of wave packets" C. DeTar (ed.) et al. (ed.) , A Passion for Physics: Essays in Honor of Geoffrey Chew , World Sci. (1985) pp. 17–22
[a9] M. Rieffel, "Von Neumann algebras associated with pairs of lattices in Lie groups" Math. Ann. , 257 (1981) pp. 403–418
[a10] J. Ramanathan, T. Steger, "Incompleteness of Sparse Coherent States" Appl. Comput. Harm. Anal. , 2 (1995) pp. 148–153
How to Cite This Entry:
Balian-Low theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Balian-Low_theorem&oldid=55436
This article was adapted from an original article by D. Walnut (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article