[go: up one dir, main page]

Next Article in Journal
A Novel Analytical Approach for the Solution of Fractional-Order Diffusion-Wave Equations
Next Article in Special Issue
A Review of Recent Developments in Autotuning Methods for Fractional-Order Controllers
Previous Article in Journal
A New Three-Step Root-Finding Numerical Method and Its Fractal Global Behavior
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Multiweighted-Type Fractional Fourier Transform: Unitarity

Information Science Teaching and Research Section, School of Mathematics and Statistics, Northeastern University at Qinhuangdao, Qinhuangdao 066004, China
*
Author to whom correspondence should be addressed.
Fractal Fract. 2021, 5(4), 205; https://doi.org/10.3390/fractalfract5040205
Submission received: 3 October 2021 / Revised: 27 October 2021 / Accepted: 1 November 2021 / Published: 8 November 2021
(This article belongs to the Special Issue Fractional-Order System: Control Theory and Applications)

Abstract

:
The definition of the discrete fractional Fourier transform (DFRFT) varies, and the multiweighted-type fractional Fourier transform (M-WFRFT) is its extended definition. It is not easy to prove its unitarity. We use the weighted-type fractional Fourier transform, fractional-order matrix and eigendecomposition-type fractional Fourier transform as basic functions to prove and discuss the unitarity. Thanks to the growing body of research, we found that the effective weighting term of the M-WFRFT is only four terms, none of which are extended to M terms, as described in the definition. Furthermore, the program code is analyzed, and the result shows that the previous work (Digit Signal Process 2020: 104: 18) based on MATLAB for unitary verification is inaccurate.

1. Introduction

The multiweighted-type fractional Fourier transform (M-WFRFT) is the extended definition of the weighted-type fractional Fourier transform (WFRFT), and its application has been described in detail in our previous research [1]. Here, we focus on summarizing and analyzing the theory of the M-WFRFT. In [2], Zhu et al. proposed the definition of the multifraction Fourier transform, i.e., the M-WFRFT. Researchers have applied this definition to image encryption but have not discussed the properties of the definition itself. Early research work [3,4,5] laid a solid foundation for the proposal of the M-WFRFT. In 1995, Shih proposed a new type of fractional-order Fourier transform (FRFT), which is called WFRFT because it is a linear summation [3]. This definition has period 4, so it is also called the 4-WFRFT. Subsequently, Liu et al. extended the definition of the WFRFT, and the generalized definition has period M = 4l, where l = 1,2, ... [4,5]. Zhu’s M-WFRFT is proposed on this basis, and its period is any integer M > 4 [2]. However, little is known about the properties of these definitions. Ran et al. sought to present a unified framework with the help of a generalized permutation matrix group and discussed its properties [6]. This research greatly promotes the theoretical development of WFRFTs. Unfortunately, there is no proof of unitarity, and the focus of the previous studies has been the generality of weighted coefficients. Recently, some new definitions based on the M-WFRFT have been proposed [7,8,9,10,11]. For example, Tao et al. proposed multiple-parameter fractional Fourier transforms (MPFRFTs) [8], Ran et al. proposed modified multiple-parameter fractional Fourier transforms (m-MPFRFTs) [9], and Zhao et al. proposed vector power multiple-parameter fractional Fourier transforms (VPMPFRFTs) [10,11]. Unfortunately, the properties of these definitions have not been discussed.
First, Santhanam et al. demonstrated the properties of the WFRFT and proved its unitarity using weighted coefficients [12]. However, this work ignores that the basis function is also a part of the definition. For the M-WFRFT, its basis function is the fractional power of the Fourier transform, so it is not easy to prove its properties. Some recent research results have also failed to prove its properties [13,14,15,16,17,18]. We proposed a new reformulation of the M-WFRFT to prove its periodicity, additivity and boundary [1]. Unfortunately, unitarity is only discussed by means of numerical simulation. This paper is a follow-up of previous research work and mainly seeks to prove and discuss the unitarity of the M-WFRFT. However, the most recent studies have also enlightened our research [19,20].
The remainder of this paper is organized as follows. Section 2 proposes a new reformulation of the M-WFRFT. The unitarity of the M-WFRFT is proven in Section 3. The deviation caused by the numerical simulation is discussed in Section 4. Finally, the conclusions are presented in Section 5.

2. Reformulation of M-WFRFT

Shih proposed the WFRFT [3], and its definition can be expressed as
F α f t = l = 0 3 A l α f l t ,
with
A l α = cos ( α l ) π 4 cos 2 ( α l ) π 4 exp 3 ( α l ) i π 4 ,
where f l t = F l f t ; l = 0 , 1 , 2 , 3 , (F denotes Fourier transform). Shih’s WFRFT with period 4 is also called the 4-weighted-type fractional Fourier transform (4-WFRFT).
We further improve the weighted coefficient A l α , as shown in Equation (3).
A l α = cos ( α l ) π 4 cos 2 ( α l ) π 4 exp 3 ( α l ) i π 4 = 1 2 × exp ( α l ) π i 4 + exp ( α l ) π i 4 × 1 2 × exp 2 ( α l ) π i 4 + exp 2 ( α l ) π i 4 × exp 3 ( α l ) i π 4 = 1 4 1 + exp 2 ( α l ) π i 4 + exp 4 ( α l ) π i 4 + exp 6 ( α l ) π i 4 = 1 4 k = 0 3 exp 2 π i k ( α l ) 4 .
Then, we can obtain Equation (4) as
A 0 α A 1 α A 2 α A 3 α = 1 4 1 1 1 1 1 i 1 i 1 1 1 1 1 i 1 i B 0 α B 1 α B 2 α B 3 α ,
where B k α = exp 2 π i k α 4 ,   k = 0 , 1 , 2 , 3 . Equation (4) provides ideas for expanding the definition in the future.
Liu et al., generalize Shih’s definition, and the generalized definition is shown to have M-periodic eigenvalues with respect to the order of Hermite–Gaussian functions (M = 4l, where l = 1,2,3, ...) [4,5].
Subsequently, Zhu et al. proposed a multifractional Fourier transform whose period can be any integer (M > 4), so this definition is also called the M-WFRFT [2]. Zhu et al., extended the weighting coefficient A l α , which is more general; the result is shown in Equation (5).
A 0 α A 1 α A M 1 α = 1 M u 0 × 0 u 0 × 1 u 0 × ( M 1 ) u 1 × 0 u 1 × 1 u 1 × ( M 1 ) u ( M 1 ) × 0 u ( M 1 ) × 1 u ( M 1 ) × ( M 1 ) B 0 α B 1 α B M 1 α ,
where u = exp 2 π i / M and B k α = exp 2 π i k α M ,   k = 0 , 1 , , M 1 . Then,
A l α = 1 M k = 0 M 1 exp 2 π i k ( α l ) M ; l = 0 , 1 , , M 1 .
The M-WFRFT is defined as
F M α f t = l = 0 M 1 A l α f l t ,
where the basic functions are f l t = F 4 l / M f ( t ) ;   l = 0 , 1 , , M 1 (F denotes the Fourier transform).
At present, the M-WFRFT is widely used in image encryption and signal processing [7,8,9,10,11,21,22,23,24,25]. Unfortunately, few researchers have discussed its properties, and the proponents of the definition have not explained the properties. We find that it is not easy to prove the properties of the M-WFRFT (Equation (7)). Some researchers have discussed the properties using the weighted coefficient A l α but ignore that the basis function is also a part of the definition [6,12]. Therefore, we present a new reformulation of the M-WFRFT. As such, Equation (7) can be expressed as
F M α f t = A 0 α f 0 t + A 1 α f 1 t + + A M 1 α f M 1 t = A 0 α F 0 M f t + A 1 α F 4 M f t + + A M 1 α F 4 M 1 M f t = A 0 α I + A 1 α F 4 M + + A M 1 α F 4 M 1 M f t = I , F 4 M , , F 4 M 1 M A 0 α A 1 α A M 1 α f t .
By Equations (5) and (8), Equation (9) is obtained as
F M α f t = 1 M I , F 4 M , , F 4 M 1 M u 0 × 0 u 0 × 1 u 0 × ( M 1 ) u 1 × 0 u 1 × 1 u 1 × ( M 1 ) u ( M 1 ) × 0 u ( M 1 ) × 1 u ( M 1 ) × ( M 1 ) B 0 α B 1 α B M 1 α f t ,
where u = exp 2 π i / M , B k α = exp 2 π i k α M ,   k = 0 , 1 , , M 1 and F denotes the Fourier transform. Here, let
Y 0 = u 0 × 0 I + u 1 × 0 F 4 M + + u M 1 × 0 F 4 M 1 M , Y 1 = u 0 × 1 I + u 1 × 1 F 4 M + + u M 1 × 1 F 4 M 1 M , Y 2 = u 0 × 2 I + u 1 × 2 F 4 M + + u M 1 × 2 F 4 M 1 M , Y M 1 = u 0 × M 1 I + u 1 × M 1 F 4 M + + u M 1 × M 1 F 4 M 1 M .
Definition 1.
A new reformulation of the M-WFRFT as
T M W α f t = 1 M Y 0 , Y 1 , , Y M 1 B 0 α B 1 α B M 1 α f t = 1 M k = 0 M 1 Y k B k α f t ,
where B k α = exp 2 π i k α M ;   k = 0 , 1 , , M 1 .
Remark 1.
Our previous work [1] discussed that the new reformulation helps to prove the properties. Unitarity is often used in signal processing. Unfortunately, previous research work only presents simulation verification. This paper will seek to prove and discuss the unitarity.

3. Unitarity

A complex matrix U satisfies
U U H = U H U = I ,
where H denotes the conjugate transpose and I is the identity matrix. Then, U is called a unitary matrix. The greatest difficulty in proving the unitarity of the M-WFRFT is considering the basis function F 4 l / M ,   l = 0 , 1 , , M 1 . The basis function is related to the discrete fractional Fourier transform (DFRFT), and the definition of the DFRFT varies. Therefore, we seek to use different types of DFRFT as the basis function to verify the unitarity of M-WFRFT.

3.1. 4-WFRFT as the Basis Function

Proposition 1.
4-WFRFT is used as the basis function, so the M-WFRFT has unitarity.
Proof. 
The definition of the 4-WFRFT is shown in Equation (1), and Equation (13) can be obtained as
F α f t = A 0 α I + A 1 α F + A 2 α F 2 + A 3 α F 3 f t = I , F , F 2 , F 3 A 0 α A 1 α A 2 α A 3 α f t .
From Equations (4) and (13), we obtain
F α f t = 1 4 I , F , F 2 , F 3 1 1 1 1 1 i 1 i 1 1 1 1 1 i 1 i B 0 α B 1 α B 2 α B 3 α f t ,
where B k α = exp 2 π i k α 4 ,   k = 0 , 1 , 2 , 3 . Here, let
P 0 = I + F + F 2 + F 3 P 1 = I F i F 2 + F 3 i P 2 = I F + F 2 F 3 P 3 = I + F i F 2 F 3 i .
Then, the 4-WFRFT can be re-expressed as
T 4 W α f t = 1 4 P 0 , P 1 , P 2 , P 3 B 0 α B 1 α B 2 α B 3 α f t .
Thus, the discrete 4-WFRFT can be expressed as
T 4 W α = 1 4 P 0 , P 1 , P 2 , P 3 B 0 α B 1 α B 2 α B 3 α .
From Equation (10), Y k can be expressed as
Y k = u 0 × k × I + u 1 × k × F 4 M + + u M 1 × k × F 4 M 1 M ; k = 0 , 1 , , M 1 ,
The 4-WFRFT as the basis function is
Y k = u 0 × k × T 4 M 0 + u 1 × k × T 4 M 4 M + + u M 1 × k × T 4 M 4 M 1 M .
From Equations (17) and (19), we can obtain
Y k = 1 4 ( P 0 , P 1 , P 2 , P 3 ) ( u 0 × k × ( B 0 0 B 1 0 B 2 0 B 3 0 ) + u 1 × k × ( B 0 4 M B 1 4 M B 2 4 M B 3 4 M ) + + u ( M 1 ) × k × ( B 0 4 ( M 1 ) M B 1 4 ( M 1 ) M B 2 4 ( M 1 ) M B 3 4 ( M 1 ) M ) ) = 1 4 ( P 0 , P 1 , P 2 , P 3 ) ( u 0 × k × B 0 0 + u 1 × k × B 0 4 M + + u ( M 1 ) × k × B 0 4 ( M 1 ) M u 0 × k × B 1 0 + u 1 × k × B 1 4 M + + u ( M 1 ) × k × B 1 4 ( M 1 ) M u 0 × k × B 2 0 + u 1 × k × B 2 4 M + + u ( M 1 ) × k × B 2 4 ( M 1 ) M u 0 × k × B 3 0 + u 1 × k × B 3 4 M + + u ( M 1 ) × k × B 3 4 ( M 1 ) M ) ,
where k = 0 , 1 , , M 1 and u = exp 2 π i / M . Therefore, we obtain
Y k = 1 4 ( P 0 , P 1 , P 2 , P 3 ) ( 1 + exp ( 2 π i 1 k M ) + exp ( 2 π i 2 k M ) + + exp ( 2 π i ( M 1 ) k M ) 1 + exp ( 2 π i 1 ( k 1 ) M ) + exp ( 2 π i 2 ( k 1 ) M ) + + exp ( 2 π i ( M 1 ) ( k 1 ) M ) 1 + exp ( 2 π i 1 ( k 2 ) M ) + exp ( 2 π i 2 ( k 2 ) M ) + + exp ( 2 π i ( M 1 ) ( k 2 ) M ) 1 + exp ( 2 π i 1 ( k 3 ) M ) + exp ( 2 π i 2 ( k 3 ) M ) + + exp ( 2 π i ( M 1 ) ( k 3 ) M ) ) = 1 4 ( P 0 , P 1 , P 2 , P 3 ) ( S 0 ( k ) S 1 ( k ) S 2 ( k ) S 3 ( k ) ) .
For sequence S 0 k , it can be expressed as
S 0 k = a 1 1 q M 1 q = 1 exp 2 π i k M M 1 exp 2 π i k M .
where a 1 = 1 . Then, we obtain
S 0 k = M , k 0 mod M 0 , k 0 mod M .
For sequence S 1 k ,
S 1 k = 1 e 2 π i k 1 / M M 1 e 2 π i k 1 / M ,
we obtain
S 1 k = M , k 1 mod M 0 , k 1 mod M .  
For sequence S 2 k ,
S 2 k = 1 e 2 π i k 2 / M M 1 e 2 π i k 2 / M ,
we obtain
S 2 k = M , k 2 mod M 0 , k 2 mod M .
For sequence S 3 k ,
S 3 k = 1 e 2 π i k 3 / M M 1 e 2 π i k 3 / M ,
we obtain
S 3 k = M , k 3 mod M 0 , k 3 mod M .
Then, Equation (21) can be expressed as
Y k = M 4 P k , k = 0 , 1 , 2 , 3 0 , k = 4 , 5 , , M 1 .
Therefore, the M-WFRFT Equation (11) is written as
T M W α = 1 M Y 0 , Y 1 , , Y M 1 B 0 α B 1 α B M 1 α = 1 4 P 0 , P 1 , P 2 , P 3 , 0 , , 0 B 0 α B 1 α B M 1 α = 1 4 P 0 , P 1 , P 2 , P 3 B 0 α B 1 α B 2 α B 3 α .
From the expressions, we notice that Equations (17) and (31) are the same, but in fact they are different. The difference is that for Equation (31), B k α = exp 2 π i k α M ;   k = 0 , 1 , , M 1 . However, this does not affect the proof of unitarity. □
Remark 2.
In our previous work [1], we proved the unitarity of Equation (17). When the 4-WFRFT is selected as the basis function, the M-WFRFT has unitarity. From Equation (31), we notice that the weighted sum of the M-WFRFT is only four terms.

3.2. Fractional-Order Matrix as the Basis Function

In our previous numerical simulation, a fractional-order matrix was used to verify the unitarity of the M-WFRFT [1]. In this section, we present the theoretical analysis to improve the previous work.
Proposition 2.
Fractional-order matrix is used as the basis function, so the M-WFRFT has unitarity.
Proof. 
The calculation of the fractional power of the matrix is applied to the eigenvalues, so eigenvalue decomposition of the matrix is required. Therefore, the eigendecomposition of the matrix can be expressed as
F = V D V H ,
where F is the DFT matrix, V is the eigenvector, and D is the eigenvalue matrix.
In [26,27], the eigenvalues of the DFT can be expressed as λ n = e n π i / 2 . Then, the possible values of the eigenvalue are λ r = 1 , 1 , i , i ; r = 1 , 2 , , n . In this way, the eigenvalue matrix D can be expressed as
D = λ 1 0 0 0 λ 2 0 0 0 λ n .
Then, the fractional power operation of matrix F can be expressed as
F 4 l / M = V D 4 l / M V H .
where l = 0 , 1 , , M 1 . For Equation (10), Y k can be expressed as
Y k = u 0 × k I + u 1 × k × F 4 M + + u M 1 × k × F 4 M 1 M = u 0 × k V D 0 V H + u 1 × k V D 4 / M V H + + u M 1 × k V D 4 M 1 / M V H .
where k = 0 , 1 , , M 1 .Therefore, we can obtain
Y k = V ( u 0 × k × D 0 + u 1 × k × D 4 / M + + u ( M 1 ) × k × D 4 ( M 1 ) / M ) V H = V ( u 0 × k λ 1 0 + u 1 × k λ 1 4 / M + + u ( M 1 ) × k λ 1 4 ( M 1 ) / M 0 0 0 u 0 × k λ 2 0 + u 1 × k λ 2 4 / M + + u ( M 1 ) × k λ 2 4 ( M 1 ) / M 0 0 0 u 0 × k λ n 0 + u 1 × k λ n 4 / M + + u ( M 1 ) × k λ n 4 ( M 1 ) / M ) V H = V ( Q 1 ( k ) 0 0 0 Q 2 ( k ) 0 0 0 0 Q n ( k ) ) V H .
Here, let
Q 1 k = u 0 × k λ 1 0 + u 1 × k λ 1 4 / M + + u M 1 × k λ 1 4 M 1 / M Q 2 k = u 0 × k λ 2 0 + u 1 × k λ 2 4 / M + + u M 1 × k λ 2 4 M 1 / M Q n k = u 0 × k λ n 0 + u 1 × k λ n 4 / M + + u M 1 × k λ n 4 M 1 / M .
The multiplicities of the DFT eigenvalues [26,27] are shown in Table 1. Therefore, there is
λ r = 1 , i , 1 , i = e 4 n π i / 2 , e 4 n + 1 π i / 2 , e 4 n + 2 π i / 2 , e 4 n + 3 π i / 2 = e 2 n π i e 0 π i / 2 , e 2 n π i e π i / 2 , e 2 n π i e 2 π i / 2 , e 2 n π i e 3 π i / 2 = e 0 π i / 2 , e π i / 2 , e 2 π i / 2 , e 3 π i / 2 .
For Equation (37), Q r k , r = 1 , 2 , , n can be expressed as
Q r k = u 0 × k λ r 0 + u 1 × k λ r 4 / M + + u M 1 × k λ r 4 M 1 / M .
When the eigenvalues λ r = e 0 π i / 2 = 1 and u = e 2 π i / M , Q r 1 k can be expressed using Equation (39), as
Q r 1 k = u 0 × k λ r 0 + u 1 × k λ r 4 / M + + u M 1 × k λ r 4 M 1 / M = 1 + e 2 π i 1 k 0 / M + e 2 π i 2 k 0 / M + + e 2 π i M 1 k 0 / M = 1 e 2 π i k 0 / M M 1 e 2 π i k 0 / M .
Therefore, we obtain
Q r 1 k = 0 , k 0 mod M M , k 0 mod M .
When the eigenvalue λ r = e π i / 2 = i , Q r i k can be expressed using Equation (39), as
Q r i k = u 0 × k λ r 0 + u 1 × k λ r 4 / M + + u M 1 × k λ r 4 M 1 / M = 1 + e 2 π i 1 k 1 / M + e 2 π i 2 k 1 / M + + e 2 π i M 1 k 1 / M = 1 e 2 π i k 1 / M M 1 e 2 π i k 1 / M .
Therefore, there is
Q r i k = 0 , k 1 mod M M , k 1 mod M .
When the eigenvalue λ r = e 2 π i / 2 = 1 , Q r 1 k can be expressed using Equation (39), as
Q r 1 k = u 0 × k λ r 0 + u 1 × k λ r 4 / M + + u M 1 × k λ r 4 M 1 / M = 1 + e 2 π i 1 k 2 / M + e 2 π i 2 k 2 / M + + e 2 π i M 1 k 2 / M = 1 e 2 π i k 2 / M M 1 e 2 π i k 2 / M .
Then, we can obtain
Q r 1 k = 0 , k 2 mod M M , k 2 mod M .
When the eigenvalue λ r = e 3 π i / 2 = i , Q r i k can be expressed using Equation (39), as
Q r i k = u 0 × k λ r 0 + u 1 × k λ r 4 / M + + u M 1 × k λ r 4 M 1 / M = 1 + e 2 π i 1 k 3 / M + e 2 π i 2 k 3 / M + + e 2 π i M 1 k 3 / M = 1 e 2 π i k 3 / M M 1 e 2 π i k 3 / M .
Therefore, there is
Q r i k = 0 , k 3 mod M M , k 3 mod M .
Using Equations (41), (43), (45) and (47), we can formulate Equation (36) as
Y k = Y k , k = 0 , 1 , 2 , 3 0 , k = 4 , 5 , , M 1 .
In this way, the M-WFRFT of Equation (11) can also be expressed as Equation (49).
T M W α = 1 M Y 0 , Y 1 , , Y M 1 B 0 α B 1 α B M 1 α = 1 M Y 0 , Y 1 , Y 2 , Y 3 , 0 , , 0 B 0 α B 1 α B M 1 α = 1 M Y 0 , Y 1 , Y 2 , Y 3 B 0 α B 1 α B 2 α B 3 α ,
where B k α = exp 2 π i k α M ; k = 0 , 1 , , M 1 .
The effective weighted sum of the M-WFRFT based on the fractional-order matrix is also four terms. In order to prove its unitarity, we denote
T M W α H = 1 M Y 0 H B 0 α + Y 1 H B 1 α + Y 2 H B 2 α + Y 3 H B 3 α ,
Therefore, there is
T M W α T M W α H = 1 M 2 k = 0 3 l = 0 3 Y k Y l H B k α B l α .
From Equation (36), we can obtain
Y k Y l H = V Q 1 k 0 0 0 Q 2 k 0 0 0 0 Q n k V H V Q 1 l 0 0 0 Q 2 l 0 0 0 0 Q n l V H H .
The eigenvector V of the DFT can be defined as a real symmetric matrix [27,28,29]; and through Equations (41), (43), (45) and (47), we know that the value of Q r k is 0 or M (M is an integer greater than 4). Therefore, Y l H = Y l . Then, Equation (52) can be expressed as
Y k Y l H = Y k Y l = V Q 1 k Q 1 l 0 0 0 Q 2 k Q 2 l 0 0 0 0 Q n k Q n l V H ,
and
Q r k Q r l = M 2 , k = l 0 , k l .
Therefore, we can obtain
Y k Y l H = M Y k ,   k = l 0 , k l .
Then, the result of Equation (51) is
T M W α T M W α H = 1 M 2 k = 0 3 l = 0 3 Y k Y l H B k α B l α = 1 M Y 0 + Y 1 + Y 2 + Y 3 = 1 M V M 0 0 0 M 0 0 0 M V H = I .
 □
Remark 3.
With the help of theoretical analysis, we can confirm that the M-WFRFT based on the fractional-order matrix has unitarity. However, we find that the theoretical analysis deviates from the previous numerical simulation [1], which we will discuss further in Section 4.

3.3. Eigendecomposition-Type FRFT as the Basis Function

Proposition 3.
Eigendecomposition-type FRFT is used as the basis function, so the M-WFRFT has unitarity.
Proof. 
In [2], Zhu et al. proposed the M-WFRFT and stated that the basis function is the FRFT, as shown in Equation (57).
F α f t = K α u , t f t d t ,
where the transform kernel is given by
K α u , t = A α e i u 2 + t 2 2 cot ϕ i u t csc ϕ α k π δ u t α = 2 k π δ u + t α = 2 k + 1 π ,
where ϕ = α π / 2 is interpreted as a rotation angle in the phase plane and A α = 1 i cot α / 2 π .
As we know, Equation (57) is a continuous FRFT, and a discrete FRFT is used for numerical simulation. At present, the discrete definition [29] closest to the continuous FRFT is
F α m , n = k = 0 N 1 v k m e i π 2 k α v k n ,
where v k n is an arbitrary orthonormal eigenvector set of the N × N DFT matrix. Equation (59) can be written as
F α = V D α V H ,
where V = v 0 , v 1 , , v N 1 , v k is the kth-order DFT Hermite eigenvector, and D α is a diagonal matrix, defined as
D α = diag 1 , e i π 2 α , , e i π 2 N 2 α , e i π 2 N 1 α ,   w h e n   N   i s   o d d ,
and
D α = diag 1 , e i π 2 α , , e i π 2 N 2 α , e i π 2 N α ,   w h e n   N   i s   e v e n .
We only prove that N is odd (when N is even, the proof process is the same). Therefore, there is
D α = diag 1 α , i α , 1 α , i α , 1 α , i α , 1 α , i α , , 1   o r 1 α .
Then, Equation (10) can be written as
Y k = u 0 × k × F 0 + u 1 × k × F 4 M + + u ( M 1 ) × k × F 4 ( M 1 ) M = u 0 × k V ( 1 0 0 0 ( i ) 0 0 0 0 ( 1   o r   1 ) 0 ) V H + u 1 × k V ( 1 0 0 0 ( i ) 4 M 0 0 0 ( 1   o r   1 ) 4 M ) V H + + u ( M 1 ) × k V ( 1 0 0 0 ( i ) 4 ( M 1 ) M 0 0 0 ( 1   o r   1 ) 4 ( M 1 ) M ) V H .
We can further obtain Equation (65) as
Y k = V Q 1 k 0 0 0 Q i k 0 0 0 Q 1   o r 1 k V H .
The diagonal matrix of Equation (65) can be expressed as
diag Q 1 k , Q i k , Q 1 k , Q i k , Q 1 k , Q i k , , Q 1   o r 1 k .
Then, Q 1 k is the same as Equation (40), Q i k is the same as Equation (46), Q 1 k is the same as Equation (44), and Q i k is the same as Equation (42). Thus, Y k can be obtained as
Y k = Y k , k = 0 , 1 , 2 , 3 0 , k = 4 , 5 , , M 1 .
All the following proofs are the same as Section 3.2. In other words, the M-WFRFT has unitarity. □
Remark 4.
From Equation (67), it is not difficult to find that there are only four weighted terms of the M-WFRFT based on the eigendecomposition-type FRFT.

3.4. Other Types of FRFTs

There are three types of discrete definitions of the FRFT. In Section 3.1, the linear WFRFT is used. The fractional-order matrix is used in Section 3.2. The discrete FRFT, which is called the eigendecomposition type, is used in Section 3.3. Then, there is a sampling-type FRFT.
In [30], a sampling-type FRFT is proposed, and its process can be written as follows:
(a)
Chirp multiplication
g x 0 = exp i p x 0 2 tan f / 2 f x 0 ;
(b)
Chirp convolution
g x = A ϕ exp [ i π csc ( ϕ ) ( x x 0 ) 2 ] g ( x 0 ) d x 0 ;
(c)
Chirp multiplication
f α x = exp i π x 2 tan ϕ / 2 g x .
The definition of the sampling type is the numerical simulation of a continuous FRFT.
The discretization of the FRFT has been extensively studied [12], and the three main types of DFRFTs are compared, as shown in Table 2. We noticed that the sampling-type FRFT did not satisfy additivity and unitarity.
Remark 5.
The M-WFRFT is an extended definition, and its basis function can be expressed as shown in Figure 1. The sampling type FRFT does not satisfy the additivity and unitarity, so it cannot be used as a basis function.

4. Discussion

Our previous research only verified the unitarity of the M-WFRFT via numerical simulation [1], but the simulation results are different from the theoretical proof in Section 3.2. Next, we will analyze and discuss this issue. Equation (10) can be verified using MATLAB, and its program is shown in Code 1.
Code 1. The program of Equation (10).
  • function Yk = Yk(N,M)
  • % M is the resulting weighting term, for example: M = 4(4-WFRFT); M = 5(5-WFRFT)
  • % N is the length of the signal;
  • F = zeros(N);
  • for k = 1:N
  •   for h = 1:N
  •     F(h,k) = exp(2*pi*i*(h − 1)*(k − 1)/N)/sqrt(N); % IDFT
  •   end
  • end
  • F = fftshift(F);
  •  for k = 0:M − 1
  •   yy = F^(4*k/M); % Fractional power of Fourier transform
  •   y{k + 1} = yy;
  • end
  • %   celldisp(y);
  • u = zeros(M);
  • for k = 1:M
  •   for h = 1:M
  •     u(h,k) = exp(−2*pi*i*(h−1)*(k−1)/M); %DFT
  •   end
  • end
  • for k = 1:M
  •   YY = zeros(N);
  •   for h = 1:M
  •     YY = YY + u(h,k)*y{h};
  •    end
  •     Y{k} = YY; % Yk in the paper is obtained
  • end
  • Celldisp(y)
We tested from 2 to 1000 dimension and found that Y k was a real matrix only when the dimensions were
N = 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 , 10 , 11 , 12 , 13 , 16 , 18 , 21 , 28 , 29 , 32 , 33 , 44 .
Therefore, the unitarity of the M-WFRFT is only available in the aforementioned cases. Y k has the following rules:
{ 5 - W F R F T Y 0 Y 1 Y 2 Y 3 Y 4 6 - W F R F T Y 0 Y 1 Y 2 Y 3 Y 4 Y 5 7 - W F R F T Y 0 Y 1 Y 2 Y 3 Y 4 Y 5 Y 6 8 - W F R F T Y 0 Y 1 Y 2 Y 3 Y 4 Y 5 Y 6 Y 7 M- W F R F T Y 0 Y 1 Y 2 Y 3 Y 4 Y M 3 Y M 2 Y M 1
where the blue Y k indicates that the result is zero.
For other dimensions, the M-WFRFT does not have unitarity, and Y k is as follows:
{ 5 - W F R F T Y 0 Y 1 Y 2 Y 3 Y 4 6 - W F R F T Y 0 Y 1 Y 2 Y 3 Y 4 Y 5 7 - W F R F T Y 0 Y 1 Y 2 Y 3 Y 4 Y 5 Y 6 8 - W F R F T Y 0 Y 1 Y 2 Y 3 Y 4 Y 5 Y 6 Y 7 M- W F R F T Y 0 Y 1 Y 2 Y 3 Y 4 Y M 3 Y M 2 Y M 1
where the blue Y k indicates that the result is zero.
The numerical simulation results show that the M-WFRFT has unitarity only in certain dimensions. Following the theory of Section 3.2, the program is shown in Code 2. Our purpose is to compare the results of Code 2 with the results of Code 1.
Code 2. The program of Equation (36).
  • function Yk = Yk1(N.M)
  • % M is the resulting weighting term, for example: M = 4(4-WFRFT); M = 5(5-WFRFT)
  • % N is the length of the signal;
  • F = zeros(N);
  • for k = 1:N
  •    for h = 1:N
  •     F(h,k) = exp(2*pi*i*(h − 1)*(k − 1)/N)/sqrt(N); % IDFT
  •    end
  • end
  • F = fftshift(F);
  • [V,D] = eig(F);
  • for k = 0:M − 1
  •    YY = zeros(N);
  •     for l = 0:M − 1
  •      YY = YY + exp(−2*pi*i*k*l/M)*D^(4*l/M);
  •     end
  •    YY = V*YY*inv(V);
  •    Y{k + 1} = YY;    % Yk in the paper is obtained
  • end
  • celldisp(Y)
After verification, we found that the results of Codes 1 and 2 are the same. Therefore, the numerical simulation shows that the unitarity of the M-WFRFT is related to signal length. However, our theoretical analysis shows that the unitarity of the M-WFRFT does not depend on signal length. Therefore, there is a problem insofar as the simulation verification is inconsistent with the theoretical analysis. In order to solve this problem, we will analyze it with a specific numerical value. For Code 2, when M = 7 and N = 13, we can obtain the eigenvalue of the DFT in line 11 of Code 2. Therefore, the eigenvalue matrix D is
D = ( i i i 0 i i i 1 1 1 1 0 1 1 1 ) 13 × 13
Then, for Equation (36), the calculated values of Y k ( k = 0 , 1 , , 6 ) are
Y 0 = V ( 0 0 0 0 0 0 0 0 0 0 7 0 7 7 7 ) V 1 ;
Y 1 = V ( 7 7 7 0 0 0 0 0 0 0 0 0 0 0 0 ) V 1 ;
Y 2 = V ( 0 0 0 0 0 0 0 7 7 7 0 0 0 0 0 ) V 1 ;
Y 3 = V ( 0 0 0 0 0 ) V 1 ;
and Y 4 = Y 5 = Y 3 ;
Y 6 = V ( 0 0 0 0 7 7 7 0 0 0 0 0 0 0 0 ) V 1 .
In the results obtained, the values of Y 3 , Y 4 and Y 5 are zero; Equation (72) is verified.
If M = 7 and N = 14, we can obtain the eigenvalue of the DFT in line 11 of Code 2. Therefore, the eigenvalue matrix D is
D = ( 1 1 1 0 1 i i i i i i 1 0 1 1 1 ) 14 × 14
Then, using Equation (36), the calculated values of Y k ( k = 0 , 1 , , 6 ) are
Y 0 = V ( 7 7 7 0 7 0 0 0 0 0 0 0 0 0 0 0 ) V 1 ;
Y 1 = V ( 0 0 0 0 0 7 7 0 7 0 0 0 0 0 0 0 ) V 1 ;
Y 2 = V ( 0 0 0 0 0 0 0 0 0 0 0 7 0 0 7 7 ) V 1 ;
Y 3 = V ( 0 0 0 0 0 ) V 1 ;
and Y 4 = Y 3 ;
Y 5 = V ( 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 ) V 1 ;
Y 6 = V ( 0 0 0 0 0 0 0 7 0 7 7 0 0 0 0 0 ) V 1 ;
In the results obtained, the values of Y 3 and Y 4 are zero, and Equation (73) is verified.
When N = 13, Equation (72) is obtained by means of Code 1. However, in the theoretical analysis, the nonzero terms of Y k are Y 0 , Y 1 , Y 2 and Y 3 , which are different from the simulation results presented by Equation (72). This problem is generated by fractional power operation, based on MATLAB, mainly in line 15 of Code 2 (line 12 of Code 1), and its operation D 4 l / M ( F 4 l / M ).
According to the deMoivre theorem, we know that
r cos θ + i sin θ n = r n cos n θ + i sin n θ .
where n is a positive integer. Therefore, for Equation (87),
x n = r cos θ + i sin θ ,
the results have n roots
x k = r n cos θ + 2 k π / n + i sin θ + 2 k π / n .
where k = 0 , 1 , , n 1 . However, in the numerical simulation, we only obtained one of the roots. For example, i = cos 3 π / 2 + i sin 3 π / 2 . Using MATLAB to calculate i 1 / 2 , we obtain 0.7071 − 0.7071i. The actual results should be that the two roots are 0.7071 − 0.7071i and −0.7071 + 0.7071i, respectively. This leads to the deviation between the simulation results (Equation (72)) and the theory (Section 3.2).
For N = 14, the simulation results (Equation (73)) show that the M-WFRFT does not have unitarity. However, the theoretical (Section 3.2) explanation has unitarity. This problem is caused by fractional exponentiation operation based on MATLAB. In Equation (80), we notice the position of the eigenvalue (−1), but after the fractional power operation based on MATLAB, Equations (83) and (85) appear. Therefore, the final numerical simulation results show that the M-WFRFT does not have unitarity. In fact, the correct result is the sum of Equations (83) and (85).
Using the above analysis, we explain the error of the operation based on MATLAB, which is also the clarification of our previous research work. The final conclusion is that the M-WFRFT has unitarity. The M-WFRFT code is shown in Appendix A, and interested researchers can verify it.

5. Conclusions

In this paper, we present a new reformulation of the M-WFRFT to prove its unitarity. The M-WFRFT uses the DFRFT as the basis function, and the diversity of the DFRFT leads to different definitions of the M-WFRFT. We use the linear weighted-type, fractional-order matrix and eigendecomposition-type FRFT as the basis functions and prove the unitarity of the M-WFRFT. The results show that M-WFRFTs based on these three definitions have unitarity. However, with greater research, the results also show that the effective weighted sum of the M-WFRFT is only four terms. That is to say, as an extended definition of the WFRFT, the M-WFRFT shows no increase in its weighting term. It has great reference value for the application of the M-WFRFT. Furthermore, we note the deviation between the numerical simulation and the theoretical analysis, which reveals that the unitary verification based on MATLAB is inaccurate for the previous work. Finally, we analyze two examples and establish the reasons for the deviation. In other words, the fractional power operation directly based on MATLAB can only obtain one root at a time.

Author Contributions

Methodology, T.Z.; software, T.Z.; validation, T.Z. and Y.C.; investigation, Y.C.; writing—original draft preparation, T.Z.; writing—review and editing, T.Z.; supervision, T.Z.; funding acquisition, T.Z. All authors have read and agreed to the published version of the manuscript.

Funding

This study was supported by the Fundamental Research Funds for the Central Universities (N2123016); and the Scientific Research Projects of Hebei colleges and universities (QN2020511).

Acknowledgments

We would like to express our great appreciation to the editors and reviewers.

Conflicts of Interest

The authors declare no conflict of interest.

Appendix A

M-WFRFT code is written; its basis function is the WFRFT. By calling “celldisp (Y)”, Y k is verified in Section 3.1.
  • %% M-WFRFT (multi-weighted type fractional Fourier transform)
  • % The basis function F^(4*l/M) is WFRFT
  • function F = mwfrft(alpha,M,N)
  • % This code is written by Tieyu Zhao, E-mail: [email protected];
  • % alpha is the transform order;
  • % M is the resulting weighting term, for example: M = 4(4-WFRFT); M = 5(5-WFRFT)
  • % N is the length of the signal;
  • for l = 0:M − 1
  •   yy = wfrft(N,4*l/M); % WFRFT
  •   y{l + 1} = yy;
  • end
  • % celldisp(y);
  • D = zeros(M);
  • for k = 1:M
  •   for h = 1:M
  •     D(h,k) = exp(−2*pi*i*(h − 1)*(k − 1)/M); % DFT
  •   end
  • end
  • for k = 1:M
  •   YY = zeros(N);
  •   for h = 1:M
  •     YY = YY + D(h,k)*y{h};
  •   end
  •   Y{k} = YY; % Yk is obtained in Section 3.1
  • end
  • % celldisp(Y)
  • B = zeros(1,M);
  • for k = 0:M-1
  •   B(k + 1) = B(k + 1) + exp(2*pi*i*k*alpha/M); % B_alpha
  • end
  • F = zeros(N);
  • for k = 0:M-1
  •   F = F+B(k + 1)*Y{k + 1}/M; % M-WFRFT
  • end
  •  
  • function F = wfrft(N,beta) % WFRFT
  • Y = eye(N);
  • y1 = fftshift(fft(Y))/(sqrt(N));
  • y2 = y1*y1;
  • y3 = conj(y1);
  • pl = zeros(1,4);
  • for k = 0:3
  •     pl(k + 1) = pl(k + 1) + exp(i*3*pi*(beta − k)/4)*cos(pi*(beta − k)/2)*cos(pi*(beta − k)/4);
  • end
  • F = pl(1)*Y + pl(2)*y1 + pl(3)*y2 + pl(4)*y3;

References

  1. Zhao, T.; Yuan, L.; Li, M.; Chi, Y. A reformulation of weighted fractional Fourier transform. Digit. Signal Process. 2020, 104, 102807. [Google Scholar] [CrossRef]
  2. Zhu, B.; Liu, S.; Ran, Q. Optical image encryption based on multifractional Fourier transforms. Opt. Lett. 2000, 25, 1159–1161. [Google Scholar] [CrossRef] [PubMed]
  3. Shih, C.C. Fractionalization of Fourier transform. Opt. Commun. 1995, 118, 495–498. [Google Scholar] [CrossRef]
  4. Liu, S.; Jiang, J.; Zhang, Y.; Zhang, J. Generalized fractional Fourier transforms. J. Phys. A Math. Gen. 1997, 30, 973. [Google Scholar] [CrossRef]
  5. Liu, S.T.; Zhang, J.D.; Zhang, Y. Properties of the fractionalization of a Fourier transform. Opt. Commun. 1997, 133, 50–54. [Google Scholar] [CrossRef]
  6. Ran, Q.; Yeung, D.S.; Tsang, E.C.; Wang, Q. General multifractional Fourier transform method based on the generalized permutation matrix group. IEEE Trans. Signal Process. 2004, 53, 83–98. [Google Scholar]
  7. Zhao, T.Y.; Ran, Q.W. The Weighted Fractional Fourier Transform and Its Application in Image Encryption. Math. Probl. Eng. 2019, 2019, 1–10. [Google Scholar] [CrossRef]
  8. Tao, R.; Lang, J.; Wang, Y. Optical image encryption based on the multiple-parameter fractional Fourier transform. Opt. Lett. 2008, 33, 581–583. [Google Scholar] [CrossRef]
  9. Ran, Q.W.; Zhang, H.Y.; Zhang, J.; Tan, L.Y.; Ma, J. Deficiencies of the cryptography based on multiple-parameter fractional Fourier transform. Opt. Lett. 2009, 34, 1729–1731. [Google Scholar] [CrossRef]
  10. Ran, Q.W.; Zhao, T.Y.; Yuan, L.; Wang, J.; Xu, L. Vector power multiple-parameter fractional Fourier transform of image encryption algorithm. Opt. Laser Eng. 2014, 62, 80–86. [Google Scholar] [CrossRef]
  11. Zhao, T.; Ran, Q.; Yuan, L.; Chi, Y.; Ma, J. Security of image encryption scheme based on multi-parameter fractional Fourier transform. Opt. Commun. 2016, 376, 47–51. [Google Scholar] [CrossRef]
  12. Santhanam, B.; McClellan, J.H. The discrete rotational Fourier transform. IEEE Trans. Signal Process. 1996, 44, 994–998. [Google Scholar] [CrossRef]
  13. Saxsena, R.; Singh, K. Fractional Fourier Transform: A novel tool for signal processing. J. Indian Inst. Sci. 2005, 85, 11–26. [Google Scholar]
  14. Tao, R.; Zhang, F.; Wang, Y. Research progress on discretization of fractional Fourier transform. Sci. China Ser. F Inf. Sci. 2008, 51, 859. [Google Scholar] [CrossRef]
  15. Kang, X.; Tao, R.; Zhang, F. Multiple-parameter discrete fractional transform and its applications. IEEE Trans. Signal Process. 2016, 64, 3402–3417. [Google Scholar] [CrossRef]
  16. Zhang, Y.; Wang, S.; Yang, J.F.; Zhang, Z.; Phillips, P.; Sun, P.; Yan, J. A comprehensive survey on fractional Fourier transform. Fund. Inf. 2017, 151, 1–48. [Google Scholar] [CrossRef]
  17. Zayed, A. Two-dimensional fractional Fourier transform and some of its properties. Integral Transforms Spec. Funct. 2018, 29, 553–570. [Google Scholar] [CrossRef]
  18. Gómez-Echavarría, A.; Ugarte, J.P.; Tobón, C. The Fractional Fourier transform as a biomedical signal and image processing tool: A review. Biocybern. Biomed. Eng. 2020, 40, 1081–1093. [Google Scholar] [CrossRef]
  19. Liu, Y.; Zhang, F.; Miao, H.; Tao, R. The hopping discrete fractional Fourier transform. Signal Process. 2021, 178, 7763. [Google Scholar] [CrossRef]
  20. Hosny, K.M.; Darwish, M.M.; Aboelenen, T. New fractional-order Legendre-Fourier moments for pattern recognition applications. Commun. Comput. Inf. Sci. 2020, 103, 7324. [Google Scholar] [CrossRef]
  21. Li, Y.; Song, Z.Q.; Sha, X.J. The multi-weighted type fractional fourier transform scheme and its application over wireless communications. EURASIP J. Wirel. Commun. 2018, 2018, 1–10. [Google Scholar] [CrossRef] [Green Version]
  22. Fang, X.; Zhang, N.; Zhang, S.; Chen, D.; Sha, X.; Shen, X. On physical layer security: Weighted fractional Fourier transform based user cooperation. IEEE Trans. Wirel. Commun. 2017, 16, 5498–5510. [Google Scholar] [CrossRef]
  23. Zhang, Y.D.; Chen, S.; Wang, S.H.; Yang, J.F.; Phillips, P. Magnetic resonance brain image classification based on weighted-type fractional Fourier transform and nonparallel support vector machine. Int. J. Imaging Syst. Technol. 2015, 25, 317–327. [Google Scholar]
  24. Liang, Y.; Da, X.; Wang, S. On narrowband interference suppression in OFDM-based systems with CDMA and weighted-type fractional Fourier transform domain preprocessing. KSII Trans. Internet Inf. Syst. (TIIS) 2017, 11, 5377–5391. [Google Scholar]
  25. Sha, X.j.; Qiu, X.; Mei, L. Hybrid carrier CDMA communication system based on weighted-type fractional Fourier transform. IEEE Commun. Lett. 2012, 16, 432–435. [Google Scholar]
  26. McClellan, J.; Parks, T. Eigenvalue and eigenvector decomposition of the discrete Fourier transform. IEEE Trans. Audio Electroacoust. 1972, 20, 66–74. [Google Scholar] [CrossRef]
  27. Dickinson, B.; Steiglitz, K. Eigenvectors and functions of the discrete Fourier transform. IEEE Trans. Acoust. Speech Signal Process. 1982, 30, 25–31. [Google Scholar]
  28. Bose, N. Eigenvectors and eigenvalues of 1-D and nD DFT matrices. AEU-Int. J. Electron. Commun. 2001, 55, 131–133. [Google Scholar]
  29. Candan, C.; Kutay, M.A.; Ozaktas, H.M. The discrete fractional Fourier transform. IEEE Trans. Signal Process. 2000, 48, 1329–1337. [Google Scholar]
  30. Ozaktas, H.M.; Arikan, O.; Kutay, M.A.; Bozdagt, G. Digital computation of the fractional Fourier transform. IEEE Trans. Signal Process. 1996, 44, 2141–2150. [Google Scholar]
Figure 1. Time-frequency denotation of the M-WFRFT operator.
Figure 1. Time-frequency denotation of the M-WFRFT operator.
Fractalfract 05 00205 g001
Table 1. Multiplicities of the DFT eigenvalues.
Table 1. Multiplicities of the DFT eigenvalues.
N1−1ii
4nn + 1nnn − 1
4n + 1n + 1nnn
4n + 2n + 1n + 1nn
4n + 3n + 1n + 1n + 1n
Table 2. Comparison of the three main types of DFRFT.
Table 2. Comparison of the three main types of DFRFT.
Linear Weighted TypeEigendecomposition TypeSampling Type
Unitarity×
Additivity×
Approximation×
Closed-form×
ComplexityO(NlogN)O(N2)O(NlogN)
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Zhao, T.; Chi, Y. Multiweighted-Type Fractional Fourier Transform: Unitarity. Fractal Fract. 2021, 5, 205. https://doi.org/10.3390/fractalfract5040205

AMA Style

Zhao T, Chi Y. Multiweighted-Type Fractional Fourier Transform: Unitarity. Fractal and Fractional. 2021; 5(4):205. https://doi.org/10.3390/fractalfract5040205

Chicago/Turabian Style

Zhao, Tieyu, and Yingying Chi. 2021. "Multiweighted-Type Fractional Fourier Transform: Unitarity" Fractal and Fractional 5, no. 4: 205. https://doi.org/10.3390/fractalfract5040205

Article Metrics

Back to TopTop