Balian–Low Theorem
   HOME

TheInfoList



OR:

In mathematics, the Balian–Low theorem in Fourier analysis is named for
Roger Balian Roger Balian (born 18 January 1933) is a French-Armenian physicist who has worked on quantum field theory, quantum thermodynamics, and theory of measurement. Balian is a member of French Académie des sciences (Academy of Sciences). His importan ...
and
Francis E. Low Francis Eugene Low (October 27, 1921 – February 16, 2007) was an American theoretical physicist. He was an Institute Professor at MIT, and served as provost there from 1980 to 1985. He was a member of the influential JASON Defense Advisory Gro ...
. The theorem states that there is no well-localized
window function In signal processing and statistics, a window function (also known as an apodization function or tapering function) is a mathematical function that is zero-valued outside of some chosen interval, normally symmetric around the middle of the int ...
(or
Gabor atom In applied mathematics, Gabor atoms, or Gabor functions, are functions used in the analysis proposed by Dennis Gabor in 1946 in which a family of functions is built from translations and modulations of a generating function. Overview In 1946, Den ...
) ''g'' either in time or frequency for an exact Gabor
frame A frame is often a structural system that supports other components of a physical construction and/or steel frame that limits the construction's extent. Frame and FRAME may also refer to: Physical objects In building construction *Framing (con ...
(Riesz Basis).


Statement

Suppose ''g'' is a square-integrable function on the real line, and consider the so-called Gabor system :g_(x) = e^ g(x - n a), for integers ''m'' and ''n'', and ''a,b>0'' satisfying ''ab=1''. The Balian–Low theorem states that if :\ is an
orthonormal basis In mathematics, particularly linear algebra, an orthonormal basis for an inner product space ''V'' with finite dimension is a basis for V whose vectors are orthonormal, that is, they are all unit vectors and orthogonal to each other. For examp ...
for the Hilbert space :L^2(\mathbb), then either : \int_^\infty x^2 , g(x), ^2\; dx = \infty \quad \textrm \quad \int_^\infty \xi^2, \hat(\xi), ^2\; d\xi = \infty.


Generalizations

The Balian–Low theorem has been extended to exact Gabor frames.


See also

* Gabor filter (in image processing)


References

* {{DEFAULTSORT:Balian-Low theorem Theorems in Fourier analysis