All distributions in the sense of Schwartz are considered as signals and their Fourier transforms defined by Gel'fand and Shilov as frequency spectra. The necessary and sufficient condition for a signal to be bandlimited is that it is an entire function of exponential type. This follows from the Gel'fand and Shilov's theorem which states that any distribution whose Fourier transform has a compact support reduces to an entire function of exponential type and vice verse. But their original proof was incomplete; their definition of 'compact support' was insufficient. Here, a reasonable definition of 'compact support' is introduced and a rigorous proof of their theorem is presented. Once the theorem is established, many applications in various fields will be possible. Above all the so-called sampling theorem for bandlimited signal becomes the interpolation/extrapolation for entire function of exponential type. As it is shown from the Gel'fand and Shilov's theorem with the completion presented in this paper that the frequency hand of a bandlimited signal is a point set on the complex plane congruent with the complement of the existence domain of its Borel transform, an explicit interpolation/extrapolation formula with sampling points on the negative time axis can be constructed.
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Copy
Hiroshi SUGIYAMA, "On Gel'fand-Shilov's Theorem for Bandlimited Signals" in IEICE TRANSACTIONS on transactions,
vol. E73-E, no. 5, pp. 653-657, May 1990, doi: .
Abstract: All distributions in the sense of Schwartz are considered as signals and their Fourier transforms defined by Gel'fand and Shilov as frequency spectra. The necessary and sufficient condition for a signal to be bandlimited is that it is an entire function of exponential type. This follows from the Gel'fand and Shilov's theorem which states that any distribution whose Fourier transform has a compact support reduces to an entire function of exponential type and vice verse. But their original proof was incomplete; their definition of 'compact support' was insufficient. Here, a reasonable definition of 'compact support' is introduced and a rigorous proof of their theorem is presented. Once the theorem is established, many applications in various fields will be possible. Above all the so-called sampling theorem for bandlimited signal becomes the interpolation/extrapolation for entire function of exponential type. As it is shown from the Gel'fand and Shilov's theorem with the completion presented in this paper that the frequency hand of a bandlimited signal is a point set on the complex plane congruent with the complement of the existence domain of its Borel transform, an explicit interpolation/extrapolation formula with sampling points on the negative time axis can be constructed.
URL: https://global.ieice.org/en_transactions/transactions/10.1587/e73-e_5_653/_p
Copy
@ARTICLE{e73-e_5_653,
author={Hiroshi SUGIYAMA, },
journal={IEICE TRANSACTIONS on transactions},
title={On Gel'fand-Shilov's Theorem for Bandlimited Signals},
year={1990},
volume={E73-E},
number={5},
pages={653-657},
abstract={All distributions in the sense of Schwartz are considered as signals and their Fourier transforms defined by Gel'fand and Shilov as frequency spectra. The necessary and sufficient condition for a signal to be bandlimited is that it is an entire function of exponential type. This follows from the Gel'fand and Shilov's theorem which states that any distribution whose Fourier transform has a compact support reduces to an entire function of exponential type and vice verse. But their original proof was incomplete; their definition of 'compact support' was insufficient. Here, a reasonable definition of 'compact support' is introduced and a rigorous proof of their theorem is presented. Once the theorem is established, many applications in various fields will be possible. Above all the so-called sampling theorem for bandlimited signal becomes the interpolation/extrapolation for entire function of exponential type. As it is shown from the Gel'fand and Shilov's theorem with the completion presented in this paper that the frequency hand of a bandlimited signal is a point set on the complex plane congruent with the complement of the existence domain of its Borel transform, an explicit interpolation/extrapolation formula with sampling points on the negative time axis can be constructed.},
keywords={},
doi={},
ISSN={},
month={May},}
Copy
TY - JOUR
TI - On Gel'fand-Shilov's Theorem for Bandlimited Signals
T2 - IEICE TRANSACTIONS on transactions
SP - 653
EP - 657
AU - Hiroshi SUGIYAMA
PY - 1990
DO -
JO - IEICE TRANSACTIONS on transactions
SN -
VL - E73-E
IS - 5
JA - IEICE TRANSACTIONS on transactions
Y1 - May 1990
AB - All distributions in the sense of Schwartz are considered as signals and their Fourier transforms defined by Gel'fand and Shilov as frequency spectra. The necessary and sufficient condition for a signal to be bandlimited is that it is an entire function of exponential type. This follows from the Gel'fand and Shilov's theorem which states that any distribution whose Fourier transform has a compact support reduces to an entire function of exponential type and vice verse. But their original proof was incomplete; their definition of 'compact support' was insufficient. Here, a reasonable definition of 'compact support' is introduced and a rigorous proof of their theorem is presented. Once the theorem is established, many applications in various fields will be possible. Above all the so-called sampling theorem for bandlimited signal becomes the interpolation/extrapolation for entire function of exponential type. As it is shown from the Gel'fand and Shilov's theorem with the completion presented in this paper that the frequency hand of a bandlimited signal is a point set on the complex plane congruent with the complement of the existence domain of its Borel transform, an explicit interpolation/extrapolation formula with sampling points on the negative time axis can be constructed.
ER -