- Research Article
- Open Access

# Eigenvectors of the Discrete Fourier Transform Based on the Bilinear Transform

- Ahmet Serbes
^{1}Email author and - Lutfiye Durak-Ata (EURASIP Member)
^{1}

**2010**:191085

https://doi.org/10.1155/2010/191085

© A. Serbes and L. Durak-Ata. 2010

**Received:**19 February 2010**Accepted:**24 June 2010**Published:**14 July 2010

## Abstract

Determining orthonormal eigenvectors of the DFT matrix, which is closer to the samples of Hermite-Gaussian functions, is crucial in the definition of the discrete fractional Fourier transform. In this work, we disclose eigenvectors of the DFT matrix inspired by the ideas behind bilinear transform. The bilinear transform maps the analog space to the discrete sample space. As *j*
in the analog *s*-domain is mapped to the unit circle one-to-one without aliasing in the discrete *z*-domain, it is appropriate to use it in the discretization of the eigenfunctions of the Fourier transform. We obtain Hermite-Gaussian-like eigenvectors of the DFT matrix. For this purpose we propose three different methods and analyze their stability conditions. These methods include better conditioned commuting matrices and higher order methods. We confirm the results with extensive simulations.

## Keywords

- Discrete Fourier Transform
- Eigenvalue Decomposition
- Taylor Approximation
- Chirp Rate
- Analog Domain

## 1. Introduction

Discretization of the fractional Fourier transform (FrFT) is vital in many application areas including signal and image processing, filtering, sampling, and time-frequency analysis [1–3]. As FrFT is related to the Wigner distribution [1], it is a powerful tool for time-frequency analysis, for example, chirp rate estimation [4].

There have been numerous discrete fractional Fourier transform (DFrFT) definitions [5–11]. Santhanam and McClellan [5] define a DFrFT simply as a linear combination of powers of the DFT matrix. However, this definition is not satisfactory, since it does do not mimic the properties of the continuous FrFT.

Candan et al. [6] use the matrix, which has been introduced earlier by Dickinson and Steiglitz [12] to find the eigenvectors of the DFT matrix in order to generate a DFrFT matrix. The matrix commutes with the DFT matrix, which ensures that both of these matrices share at least one eigenvector set in common. This approach is based on the second-order Hermite-Gaussian generating differential equation. Candan et al. [6] simply replace the derivative operator with the second-order discrete Taylor approximation to second derivative and the Fourier operator with the DFT matrix.

Pei et al. [7] define a commuting matrix inspired by the work of Grünbaum [13], whose eigenvectors approximate the samples of continuous Hermite-Gaussian functions better than the eigenvectors of . Furthermore, the authors use linear combinations of and matrices as to furnish the basis of eigenvectors for the DFrFT matrix.

Candan introduces
[8] matrices whose eigenvectors are higher-order approximations to the Hermite-Gaussian functions. The idea is to employ higher-order Taylor series approximations to the derivative operator, which replaces the second derivative operator in the Hermite-Gaussian generating differential equation. However, the order of approximation *k* is limited by the dimension of the
matrix
.

Pei et al. [10] recently removed the upper bound of this approximation and obtained higher—order approximations. However, it needs high computational cost to generate Pei's matrices. More recently, in [14] the authors present the closed form of matrix as in the limit.

In this work, we find eigenvectors of the DFT matrix in a completely different way. We define the derivative operator as its bilinear discrete equivalent to discretize the Hermite-Gaussian differential equation. Since the bilinear transform maps the analog domain to the discrete domain one-to-one, we find eigenvectors which are close to the samples of the Hermite-Gaussian functions. We also analyze the stability issues. Additionally, two more methods are proposed, which employ better conditioned and higher-order bilinear matrices.

The paper is organized as follows. Section 2 gives introductory information on Hermite-Gaussian functions, basics of how to generate commuting matrices and the bilinear transform. Section 3 presents the proposed methods by defining the bilinear transform-based commuting matrices including the stability analysis. Simulation results and performance analysis are given in Section 4. The paper concludes in Section 5.

## 2. Preliminaries

### 2.1. Hermite-Gaussian Functions

where denotes the second derivative operator.

### 2.2. Commuting Matrix Generation

Let and be square matrices. If , then and are commuting matrices. If and commute, they share at least one set of common eigenvector sets [6].

Theorem 1.

One can further extend this idea such that, if is circulant and symmetric the above equation is also valid.

Proof.

**,**and is the dimensional of . As is symmetric, the above equation is equivalent to

is complete. We can conclude that while generating DFT commuting matrices, a good choice is to chose real, symmetric and circulant matrices and replace them with in (10).

### 2.3. Bilinear Transform

Bilinear transform is a useful and popular tool in signal and system analysis, which is often used to map the Laplace -domain to the -domain. There are numerous finite difference approximation (FDA) methods for this mapping. The most popular ones are the forward and backward difference methods and the bilinear transform. The forward difference method discretizes the derivative operator by mapping whereas the backward difference method impose .

with the discrete second derivative operator .

## 3. Obtaining DFT Commuting Matrices

An easy and accurate way of obtaining Hermite-Gaussian-like eigenvectors of the DFT matrix is to define a better commuting matrix, which imitates the Hermite-Gaussian generating differential equation given in (3) as a discrete substitute. In this section we disclose an elegant way of obtaining better commuting matrices by taking advantage of the bilinear transform, which is a good discrete substitute for the derivative operator.

We omit the coefficient , since it has no effect on the eigenvectors of .

Theorem 2.

commutes with the DFT matrix.

Proof.

As
and
are both circulant and symmetric,
is symmetric and circulant also. We use Theorem 1 given in Section 2.2, which states that *any* circulant and symmetric matrix
can be used to generate a commuting matrix as in (10). Since
is both circulant and symmetric, the proof is complete.

After generating the commuting matrix , we find its eigenvectors. The eigenvectors are Hermite-Gaussian-like eigenvectors with the number of zero-crossings equal to the order of Hermite-Gaussian eigenvectors. In Section 4 we give extensive simulations and results on these Hermite-Gaussian like eigenvectors.

### 3.1. Stability

*small*in the diagonal of to overcome instability. Then is changed to

Adding a small value in the diagonal will not perturb the eigenvectors of the commuting matrix.

### 3.2. Better Conditioned Bilinear Methods

As , the commuting matrix is better conditioned. The optimum value of is found to be approximately , which is given in Section 4.

### 3.3. Higher-order Bilinear Differentiation Matrix Substitutes

where we name as th-order bilinear approximation to the second derivative, and are real scalars. The value of is chosen for , as it is an optimum value with respect to minimum total error norm which is discussed in Section 4. We have not come up with an analytical expression of 's yet, however, genetic and/or pattern search algorithms may be used to optimize the coefficients.

Optimum coefficients generated for .

| Optimum Value |
---|---|

| 1.00 |

| 0.247634068038315 |

| −0.103839534211561 |

| −0.141176982675410 |

| 0.005956945393076 |

| −0.008133047918379 |

| −0.020103743248487 |

| −0.001866823892062 |

| −0.000336065416294 |

| −0.002383849560258 |

| −0.000725049220057 |

| −0.000698349278537 |

| −0.003339855815284 |

| −0.001759635742928 |

So far, three different methods are proposed, which are summarized in Algorithm 1. The first method computes , in which a small is added in the diagonal of to achieve stability. In the second method we alter the diagonal of , with a value . Changing the diagonal both improves the performance and ensures stability. In the last proposed method we find higher-order matrices, using the and its weighted powers with for a better definition of the commuting matrix. Afterwards, we replace the computed , , or with in (17). The obtained matrix is the DFT-commuting matrix whose eigenvectors are the Hermite-Gaussian-like orthonormal vectors.

**Algorithm 1:** Summary of the proposed algorithms.

( ) Compute one of , , or matrices.

( ) Replace the computed matrix in (17) as a substitute for

and compute the DFT-commuting matrix .

( ) Find the eigenvectors of , which are Hermite-

Gaussian-like orthonormal vectors.

## 4. Simulations and Results

We have proposed three different techniques for finding Hermite-Gaussian-like eigenvectors of the DFT. In the first method we employ defined in (21). As a second method we use as defined in (22) for different values of . Finally, we employ given in (23). We replace each matrices in (17) as a substitute to to generate commuting matrices . Afterwards, we find eigenvectors of these commuting matrices and find the norm of error between samples of corresponding Hermite-Gaussian functions and the eigenvectors.

Comparison of errors between for , , and and with the dimensional is given in Figure 2(b). The error norm is measured as the norm of error between the samples of Hermite-Gaussian functions and Hermite-Gaussian like eigenvectors of using these matrices. As it is clear from the figures, the best overall performance is obtained in the method when .

## 5. Conclusions

As the eigenvectors that are closer to the samples of continuous Hermite-Gaussian functions are important for a better definition of DFrFT, we employ bilinear transform-based methods to define better commuting matrices. We have proposed three different methods and analyzed their stability issues. A stable method is proposed by inserting a small in the diagonal of the bilinear matrix. Better—conditioned bilinear differentiation matrices that have better performance are also obtained. Besides, a method of generating higher-order bilinear differentiating matrices is also suggested.

Simulation results show that the proposed methods posess better eigenvectors when compared to the other methods recently suggested.

Future works on this subject may include finding a closed form expression for the coefficients generating the higher-order bilinear matrices, . Furthermore, matrices may be used in linear combinations with other commuting matrices, such as .

## Authors’ Affiliations

## References

- Ozaktas HM, Zalevski Z, Kutay MA:
*The Fractional Fourier Transform with Applications in Optics and Signal Processing*. John Wiley & Sons, New York, NY, USA; 2001.Google Scholar - Kutay MA, Ozaktas HM, Ankan O, Onural L: Optimal filtering in fractional Fourier domains.
*IEEE Transactions on Signal Processing*1997, 45(5):1129-1143. 10.1109/78.575688View ArticleGoogle Scholar - Xia X-G: On bandlimited signals with fractional Fourier transform.
*IEEE Signal Processing Letters*1996, 3(3):72-74. 10.1109/97.481159View ArticleGoogle Scholar - Akay O, Boudreaux-Bartels GF: Fractional convolution and correlation via operator methods and an application to detection of linear FM signals.
*IEEE Transactions on Signal Processing*2001, 49(5):979-993. 10.1109/78.917802View ArticleGoogle Scholar - Santhanam B, McClellan JH: The discrete rotational Fourier transform.
*IEEE Transactions on Signal Processing*1996, 44(4):994-998. 10.1109/78.492554View ArticleGoogle Scholar - Candan Ç, Kutay MA, Ozaktas HM: The discrete fractional Fourier transform.
*IEEE Transactions on Signal Processing*2000, 48(5):1329-1337. 10.1109/78.839980MathSciNetView ArticleMATHGoogle Scholar - Pei S-C, Hsue W-L, Ding J-J: Discrete fractional Fourier transform based on new nearly tridiagonal commuting matrices.
*IEEE Transactions on Signal Processing*2006, 54(10):3815-3828.View ArticleGoogle Scholar - Candan Ç: On higher order approximations for Hermite-Gaussian functions and discrete fractional Fourier transforms.
*IEEE Signal Processing Letters*2007, 14(10):699-702.View ArticleGoogle Scholar - Pei S-C, Ding J-J, Hsue W-L, Chang K-W: Generalized commuting matrices and their eigenvectors for DFTs, offset DFTs, and other periodic operations.
*IEEE Transactions on Signal Processing*2008, 56(8):3891-3904.MathSciNetView ArticleGoogle Scholar - Pei S-C, Hsue W-L, Ding J-J: DFT-commuting matrix with arbitrary or infinite order second derivative approximation.
*IEEE Transactions on Signal Processing*2009, 57(1):390-394.MathSciNetView ArticleGoogle Scholar - Santhanam B, Santhanam TS: Discrete Gauss-Hermite functions and eigenvectors of the centered discrete Fourier transform.
*Proceedings of the IEEE International Conference on Acoustics, Speech and Signal Processing ( ICASSP '07), 2007*3: 1385-1388.MATHGoogle Scholar - Dickinson BW, Steiglitz K: Eigenvectors and functions of the discrete Fourier transform.
*IEEE Transactions on Acoustics, Speech, and Signal Processing*1982, 30(1):25-31. 10.1109/TASSP.1982.1163843MathSciNetView ArticleMATHGoogle Scholar - Grünbaum FA: The eigenvectors of the discrete Fourier transform: a version of the Hermite functions.
*Journal of Mathematical Analysis and Applications*1982, 88(2):355-363. 10.1016/0022-247X(82)90199-8MathSciNetView ArticleGoogle Scholar - Serbes A, Durak L: Efficient computation of DFT commuting matrices by a closed–form infinite order approximation to the second differentiation matrix. Signal Process. In pressGoogle Scholar
- Golub GG, Van Load CF:
*Matrix Computations*. 3rd edition. The Johns Hopkins University Press, London, UK; 1993.Google Scholar - Goldberg DE:
*Genetic Algorithms in Search, Optimzation and Machine Learning*. Addison-Wesley, Reading, Mass, USA; 1989.Google Scholar - Audet C, Dennis JE Jr.: Analysis of generalized pattern searches.
*SIAM Journal on Optimization*2003, 13(3):889-903.MathSciNetView ArticleMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.