Abstract
This paper investigates the generalized pattern of Poisson summation formulae from the special affine Fourier transform (SAFT) and offset Hilbert transform (OHT) points of view. Several novel summation formulae are derived accordingly. Firstly, the relationship between SAFT (or OHT) and Fourier transform (FT) is obtained. Then, the generalized Poisson sum formulae are obtained based on above relationships. The novel results can be regarded as the generalizations of the classical results in several transform domains such as FT, fractional Fourier transform, and the linear canonical transform.
1. Introduction
The classical Poisson summation formula, which demonstrates that the sum of infinite samples in the time domain of a signal is equivalent to the sum of infinite samples of in the Fourier domain, is of importance in theories and applications of signal processing [1]. The traditional Poisson sum formula can be represented as follows [2]: or where denotes the Fourier transform (FT) of a signal and stands for the sampling interval. Not only does Poisson summation formula play a key role in various branches of the mathematics, but also it finds numerous applications in lots of fields, for example, mechanics, signal processing community, and many other scientific fields. The Poisson summation formula is related to the Fourier transform, and, with the development of modern signal processing technologies, there are many other kinds of transforms that have been proposed, it is therefore worthwhile and interesting to investigate the Poisson sum formula in deep associated with these kinds of new integral transforms.
The special affine Fourier transform (SAFT) [3, 4], also known as the offset linear canonical transform [5, 6] or the inhomogeneous canonical transform [5], is a six-parameter class of linear integral transform. Many well-known transforms in signal processing and optic systems are its special cases such as Fourier transform (FT), fractional Fourier transform (FRFT), the linear canonical transform (LCT), time shifting and scaling, frequency modulation, pulse chirping, and others [7, 8]. SAFT can be interpreted as a time shifting and frequency modulated version of LCT [9–11], that is much more flexible because of its extra parameters . Recently, it has been widely noticed in many practical applications along with the rapid development of LCT [12–14]. Thus, developing relevant theorems for SAFT is of importance and necessary in optical systems and many signal processing applications as well.
In addition, the generalized Hilbert transform closely related to SAFT, called offset Hilbert transform (OHT), is another powerful tool in the fields of optics and signal processing community [15]. It has been presented recently and widely used for image processing, especially for edge detection and enhancement, because it can emphasize the derivatives of the image [16, 17]. In recent decades, many essential theories and useful applications of SAFT and OHT have been derived from in-depth researching on it [8, 15, 18, 19]. To the best of our knowledge, Poisson sum formula has been generalized with many transforms such as FRFT, LCT, fractional Laplace transform and fractional Hilbert transform [1, 2, 20, 21]. However, none of the research papers throw light on the study of the traditional Poisson sum formula associated with the SAFT and OHT yet. Based on the existing results, the motivation of this paper is to generalize the above-mentioned Poisson sum formula into SAFT and OHT domains.
The rest of this paper is organized as follows. Section 2 gives some fundamental knowledge of SAFT and OHT. In Section 3, we give the relationships between SAFT/OHT and FT in detail. Some novel Poisson summation formulae associated with SAFT are presented in Section 4. Section 5 concludes the paper.
2. Preliminaries
2.1. The Special Affine Fourier Transform
The special affine Fourier transform (SAFT) with real parameters of a signal is defined by the following [5, 22]: where and . Note that, for , the SAFT of a signal is essentially a chirp multiplication and it is of no particular interest for our objective in this work. Hence, without loss of generality, we set in the following section unless stated otherwise. The inverse of an SAFT with parameter is given by an SAFT with parameter , which is where . This can be verified by the definition of SAFT. Most of important transforms can be its special cases when parameter is replaced with specific parameters. For example, when , SAFT coincides with FT; when , SAFT is FRFT; when , SAFT equals LCT. Furthermore, many important theories on SAFT have been investigated [8, 15, 23, 24].
2.2. Offset Hilbert Transform
The offset Hilbert transform (OHT) of a signal is defined as follows [15]: It should be noted that the above definition uses the Cauchy principal value of the integral (denoted here by p.v.). To obtain the relationship between the stand and HT and OHT, we can rewrite (6) as Notice that computing the OHT of a signal is equivalent to multiplying it by a chirp, , then passing the product through a standard Hilbert filter and finally multiplying the output by the chirp, . This relationship between OHT and the classical HT can be shown in Figure 1.
3. The Relationships between SAFT/OHT and Fourier Transform
In order to derive novel Poisson summation formulae based on SAFT and OHT, some relationships between SAFT/OHT and FT are obtained in this section firstly.
Lemma 1. Suppose the SAFT of a signal with parameters is , and set , and then the following relations hold: where is the FT of signal .
Proof. It is easy to verify Lemma 1 by the definitions of SAFT and FT.
Lemma 2. Suppose the SAFT of a signal with parameters is , and set , and then the following relations hold: where is the FT of signal .
Proof. According to the definition of OHT, By replacing , (10) can be rewritten as This completes the proof of Lemma 2.
4. Main Results
Based on the relationships in Lemmas 1 and 2, the generalized Poisson summation formulae associated with SAFT and OHT are derived in following subsections, respectively.
4.1. The Poisson Sum Formula Based on SAFT
Theorem 3. The Poisson summation formulae of a signal in the SAFT domain with parameter are
Proof. If we set , from the traditional Poisson sum formula for in the Fourier domain, that is, (1), we obtain By directly using Lemma 1, we derive that Theorem 3 is proved by simple calculation on (15).
Equations (13) and (15) can be regarded as the generalization of classical Poisson sum formula based on SAFT. It should be noticed that when the parameters of the SAFT are chosen to be the special cases of the SAFT, the derived results reduce to the classical results of Fourier transform domain, fractional Fourier transform domain, and linear canonical transform domains. It clearly demonstrates that the infinite sum of periodic phase-shifted replica of a signal in the time domain is equivalent to the infinite sum of periodic phase-shifted replica in the SAFT domain.
In addition, it is of importance to investigate the Poisson sum formula of signals with compact support in SAFT domain. A signal is said to have compact support in SAFT domain if its SAFT , where is some real number. Without loss of generality, let in the following analysis.
Corollary 4. Suppose a signal is band-limited in SAFT domain with a compact support ; then the Poisson sum formula derived in Theorem 3 can be rewritten as the following forms according to the replica period : (a)When and , (b)When and ,(c)When and ,
Proof. (a) Since is a band-limited signal in SAFT domain with a compact support , it is easy to derive the right hand of (12) that is equal to zeros when . That is, from , we derive that and . Thus, it is easy to derive that Substituting (19) into (12) yields the final results.
(b) It is easy to prove that only when , is nonzero. The right hand of (12) is Substituting (20) into (12) yields the final results.
(c) The proof of this situation is similar to the proof of (a) and (b), and we omit it here.
4.2. The Poisson Sum Formula Based on OHT
Theorem 5. The Poisson sum formula of a signal in the OHT domain with parameter is as follows:
Proof. If we set , it is easy to verify Theorem 5 via (1) and Lemma 2: That is By simple calculation, Theorem 5 is completed.
Equation (21) can be seen as the Poisson sum formula associated with offset Hilbert transform. Furthermore, it is worthwhile and interesting to study the signals with compact support in offset Hilbert transform domain. Let be the OHT of a signal . Then is said to have compact support in OHT domain, if for , where is some real number.
Corollary 6. Suppose signal is band-limited in OHT domain with a compact support ; then the Poisson sum formula derived in Theorem 5 can be rewritten as the following forms according to the replica period : (a)When and , (b)When and , (c)When and ,
Proof. It is easy to verify this corollary using Theorem 5 and the similar method in Corollary 4.
5. Conclusion
In this paper, the traditional Poisson summation formula has been generalized into SAFT and OHT domain. Theorems 3 and 5 are the generalizations of Poisson summation formulae based on SAFT and OHT, respectively. In addition, signals with compact support are mostly used in signal processing and considered in this paper as well. Some novel results associated with Poisson summation formula have been derived in the form of Corollaries 4 and 6.
Conflicts of Interest
The author declares that there are no conflicts of interest regarding the publication of this paper.
Acknowledgments
This work was supported in part by the National Natural Science Foundation of China (no. 61402044) and Beijing City Board of Education Science and Technology Plan (no. KM201711232009).