Background

The linear canonical transform (LCT) (Bodenheimer et al. 1971; Sheridan 2016; Pei and Ding 2002; Xu et al. 2015b, a), which was introduced in the 1970s, is an integral transform with three free parameters. Many widely used linear transform in optical system modeling and digital signal processing, such as the Fourier transform (FT), the fractional Fourier transform (FrFT), the Fresnel transform and scaling operations are all special cases of the LCT (Xu et al. 2015b, a; Almeida 1994; Sharma et al. 2013; Zhao et al. 2014; Shi et al. 2014). Due to its extra degrees of freedom, the LCT is more flexible and has been shown to be a powerful tool for optics, filter design, signal synthesis, time-frequency analysis, phase retrieval, pattern recognition, encryption, modulation, multiplexing in communication and many other areas (Zhang 2016b; Zhao et al. 2010, 2009; Song and Zhao 2014; Zhang 2015; Sharma and Joshi 2006; Zhang 2016a; Stern 2008; Li et al. 2007). Therefore, developing the relevant theorems for LCT are of importance in optical systems and many signal processing applications.

Simultaneously, computational amount and storage load have gradually increased due to the rapid development of digital signal processing. In order to decrease the computational amount and storage load, different sampling rates and the conversion between them are typically required in many real applications, such as image processing, digital audio and communications. Under these circumstances, the theory of multirate signal processing was introduced and improved in Vaidyanathan (1990). Decimation and interpolation are the two basic building blocks in the multirate digital signal processing systems. The decimator is utilized to decrease the sampling rate and interpolator to increase the sampling rate. What’s more, the FT and FrFT domain analysis of decimation and interpolation in the multirate digital signal processing have been well studied in Vaidyanathan (1990), Tao et al. (2008), Meng et al. (2007). As the LCT has recently been found many applications in optics and digital signal processing, the relevant theorems, such as convolution theorems, uncertainty principle theorems, sampling theorems, and others in the LCT domain have been well established (Zhang 2016b; Zhao et al. 2009, 2010; Song and Zhao 2014; Zhang 2015; Sharma and Joshi 2006; Zhang 2016a). However, to the best of our knowledge, the analysis of decimation and interpolation in the LCT domain has never been presented before. It is therefore theoretically interesting and practically useful to analyze the decimation and interpolation in the LCT domain.

Our objective in the paper is to study the LCT domain analysis of decimation and interpolation, which can not only generalize the relevant theories of the FT and the FRFT, but also act as the basis of multirate signal processing theorems in the LCT domain. We firstly give the definition of equivalent filter in the LCT domain, which is a generalization of the equivalent filter in the FRFT domain. Then, due to the polyphase decomposition is very fundamental to the efficient implementation of decimation and interpolation in the multirate digital signal processing systems, the polyphase networks for decimator and interpolator in the LCT domain have been proposed based on the definition of equivalent filter. Finally, as an application, the perfect reconstruction expressions for differential filters in the LCT domain have been presented.

Methods

The linear canonical transform

The continuous-time LCT with parameter \(A=(a,b,c,d)\) of a signal or function x(t) denoted by \(L_x^A (u)\), is defined as Bodenheimer et al. (1971)

$$\begin{aligned} X_A (u)&= L_x^A (u) = L_A [x(t)](u) = \left\{ \begin{array}{ll} \int _{ - \infty }^\infty {x(t)K_A (u,t)} dt,&{} \quad b \ne 0 \\ \sqrt{d} e^{j(cd/2)u^2 } x(du), &{} \quad b = 0 \\ \end{array} \right. \end{aligned}$$
(1)

where abcd are real numbers satisfying \(ad-bc=1\), and the kernel \(K_A (u,t)\) is given by

$$\begin{aligned} K_A (u,t) = C_A e^{j\left(\frac{a}{{2b}}t^2 - \frac{1}{b}tu + \frac{d}{{2b}}u^2 \right)} \end{aligned}$$
(2)

and \(C_A = \sqrt{1/j2\pi b}\). It is noted that when \(b=0\), the LCT of a signal is essentially a chirp multiplication. So we shall confine our attention to LCT for \(b \ne 0\) in the following sections. Conversely, the inverse LCT is expressed as

$$\begin{aligned} x(t) = \int _{ - \infty }^\infty {L_x^A (u)K_{A^{ - 1} } } (u,t)du\mathrm{{ }} \end{aligned}$$
(3)

where \(A^{ - 1} = (d, - b, - c,a)\).

Discrete-time linear canonical transform

In digital signal processing systems, the signals used are digital signals sampled from the analog signal. Their representations in LCT domain should be obtained by discrete-time LCT (DTLCT). The definition of DTLCT have been proposed in Pei and Ding (2000), Koc et al. (2008), Oktem and Ozaktas (2009), Hennelly and Sheridan (2005), Healy and Sheridan (2009) from different perspectives. In this subsection, we introduce the definition in Pei and Ding (2000), i.e. the DTLCT of \(x(n) = x_s (t)\) is defined as

$$\begin{aligned} {\tilde{X}}_A (u) = \sqrt{\frac{1}{{j2\pi b}}} e^{j(d/2b)u^2 } \sum \limits _{n = - \infty }^{n = \infty } {x(n) e^{j(a/2b)n^2 \Delta t^2 } e^{ - j(1/b)un\Delta t} } \end{aligned}$$
(4)

In order to make further studies, the digital frequency in the LCT domain is defined as \(w = u \cdot \Delta t\). Substituting w into Eq. (4), we have

$$\begin{aligned} {\tilde{X}}_A (w) = \sqrt{\frac{1}{{j2\pi b}}} e^{j(d/2b)(w/\Delta t)^2 } \sum \limits _{n = - \infty }^{n = \infty } {x(n)e^{j(a/2b)n^2 \Delta t^2 } e^{ - j(1/b)nw} } \end{aligned}$$
(5)

The digital frequency in LCT domain is the instrument in the study of LCT domain analysis of the sampling rate conversion, as well as signal polyphase representation and filter bank theorems in LCT domain.

Simplified linear canonical transform

The simplified LCT, which has the same capabilities as the original LCT for the design of the LCT filter, digital computation, optical implementation and gradient-index medium system, is defined as Pei and Ding (2000)

$$\begin{aligned} \bar{X}_{(a,b,c,d)} (u) = \sqrt{\frac{1}{{j2\pi b}}} \int _{ - \infty }^\infty {x(t)} e^{j(a/2b)t^2 } e^{ - j(1/b)ut} dt \end{aligned}$$
(6)

Simultaneously, the inverse simplified LCT is expression as

$$\begin{aligned} x(t) = \sqrt{\frac{1}{{ - j2\pi b}}} \int _{ - \infty }^\infty {\bar{X}_{(a,b,c,d)} (u)} e^{j( - a/2b)t^2 } e^{j(1/b)ut} du \end{aligned}$$
(7)

Results

The LCT domain analysis of decimation and interpolation

To study the decimation and interpolation in the LCT domain, in this section, we firstly give the definition of equivalent filter in the LCT domain. Then, the direct implementation structure for decimation and interpolation in the LCT domain are derived based on the definition. Moreover, the polyphase networks for decimation and interpolation in the LCT domain are also deduced.

Equivalent FIR filter in the LCT domain

The convolution theorem for signals in the LCT domain have been introduced in Wei et al. (2012), Deng et al. (2006). Analogously, based on the definition of DTLCT, the convolution theorem in the DTLCT domain can be expressed as:

$$\begin{aligned} f(nT)\,=\, & {} \sqrt{\frac{1}{{j2\pi b}}} e^{ - j\frac{a}{{2b}}(nT)^2 } \left[ \left( h(nT)e^{j\frac{a}{{2b}}(nT)^2 } \right) *\left( x(nT)e^{j\frac{a}{{2b}}(nT)^2 }\right) \right] \end{aligned}$$
(8)
$$\begin{aligned} F_A (w)\,=\, & {} e^{ - j\frac{{dw^2 }}{{2bT^2 }}} X_A (w)H_A (w) \end{aligned}$$
(9)

where \(F_A (w)\), \(X_A (w)\), \(H_A (w)\) denotes the DTLCT of signal f(t), x(t), h(t), respectively. From Eq. (9), it is easy to know that the convolution theorem for the DTLCT contains an extra chirp factor and hence does not easily implement in the time domain. On the other hand, by multiplying the \(e^{ - j\frac{{dw^2 }}{{2bT^2}}}\) to both sides of Eq. (9), we can obtain

$$\begin{aligned} F_A (w)e^{ - j\frac{{dw^2 }}{{2bT^2 }}} = X_A (w)e^{ - j\frac{{dw^2 }}{{2bT^2 }}} H_A (w)e^{ - j\frac{{dw^2 }}{{2bT^2 }}} \end{aligned}$$
(10)

According the definition of simplified LCT, we get

$$\begin{aligned} \bar{Y}_A (w) = \bar{X}_A (w)\bar{H}_A (w) \end{aligned}$$
(11)

Equation (11) shows that the convolution of two signals is equivalent to simple multiplication of their simplified LCTs in the simplified LCT domain. It is more useful in practical filtering. Based on this, we give the definition of the equivalent filter in the LCT domain as follows.

Definition 1

Suppose \(H_A (w)\) denotes the DTLCT of the finite length sequence h(nT), then we define \(\bar{H}_A (w)\) as the equivalent filter in the LCT domain.

$$\begin{aligned} \bar{H}_A (w) = H_A (w)e^{ - j\frac{{dw^2 }}{{2bT^2 }}} \end{aligned}$$
(12)

This definition shows that the equivalent FIR filter in the LCT domain does not contain an extra chirp factor and is easy to implement in the time domain. In addition, when substituting special parameters into the equivalent FIR filter for the LCT, the equivalent FIR filter in the FRFT domain can be obtained.

The polyphase implementation of decimation and interpolation in the LCT domain

The polyphase decomposition is very fundamental to the efficient implementation of decimation and interpolation in the multirate digital signal processing systems. It can be applied for the derivation of new sampling theorems and the recovering bandlimited signal from nonuniformly sampled versions. Theories and applications of polyphase decomposition for the decimation and interpolation in the FT and FRFT domain have been well studied in Vaidyanathan (1990), Tao et al. (2008), Meng et al. (2007). To obtain the polyphase implementation of decimation and interpolation in the LCT domain, we study the direct implementation structure for decimation and interpolation in the LCT domain at first.

Now, let us consider the definition of equivalent FIR filter, the block diagram notation of decimation process in the LCT domain can be depicted in Fig. 1.

Fig. 1
figure 1

Decimation by the factor D

Then, according to the convolution theorem in the LCT domain, the direct implementation structure for decimation process in the LCT domain can be obtained in Fig. 2.

Fig. 2
figure 2

Direct implementation structure of decimator

From Fig. 2, it is easy to show that the direct implementation structure for decimation in the LCT domain is inefficient due to every calculation \(y(n_1 T_1 )\) needs to be completed within a \(T_1\). However, the calculation efficiency can be improved by utilizing the equivalent FIR filter and exchanging the \(e^{ - j\frac{{dw^2 }}{{2bT^2 }}}\) and the decimator. Thus, the direct efficiency implementation structure for decimator in LCT domain can be obtained in Fig. 3. It shows that the calculated amount in Fig. 3 reduced to 1 / D of the direct implementation structure in Fig. 2. Similar to the decimator case, the efficiency implementation structure for interpolator in the LCT domain also can be obtained.

Fig. 3
figure 3

Efficiency implementation structure of decimator

From above analysis, the direct efficiency implementation structure for decimator and interpolator in the LCT domain have been derived. To obtain the polyphase networks for decimation and implementation in the LCT domain, the polyphase networks for equivalent filter have been derived in the following at first.

Let \(\bar{H}_A (w) = H_A (w)e^{ - j\frac{{dw^2 }}{{2bT^2 }}}\) be an equivalent filter, H(w) is written in the form

$$\begin{aligned} H(w) =&\sum \limits _{n = 0}^{Q - 1} {h(nD + 0)e^{j\frac{{dw^2 }}{{2bT^2 }}} e^{j\frac{a}{{2b}}(nD)^2 T^2 } e^{ - j(nD)w/b} } \\&+ \sum \limits _{n = 0}^{Q - 1} {h(nD + 1)e^{j\frac{{dw^2 }}{{2bT^2 }}} e^{j\frac{a}{{2b}}(nD + 1)^2 T^2 } e^{ - j(nD + 1)w/b} } \\&+ \cdots \\&+ \sum \limits _{n = 0}^{Q - 1} {h(nD + k)e^{j\frac{{dw^2 }}{{2bT^2 }}} e^{j\frac{a}{{2b}}(nD + k)^2 T^2 } e^{ - j(nD + k)w/b}} \end{aligned}$$
(13)

where \(N = QD\) stands for the length of FIR filter in the LCT domain, and

$$\begin{aligned} &\sum \limits _{n = 0}^{Q - 1} {h(nD + k)e^{j\frac{{dw^2 }}{{2bT^2 }}} e^{j\frac{a}{{2b}}(nD + k)^2 T^2 } e^{ - j(nD + k)w/b} }\\&\quad = e^{ - jkw/b} e^{j\frac{a}{{2b}}k^2 T^2 } e^{j\frac{{dw^2 }}{{2bT^2 }}} \sum \limits _{n = 0}^{Q - 1} {h(nD + k) } \times e^{j\frac{a}{{2b}}(n^2 D^2 + 2knD)T^2 } e^{ - jnDw/b} \end{aligned}$$
(14)

Then, suppose

$$\begin{aligned} E_k (Dw)&= e^{j\frac{{dw^2 }}{{2bT^2 }}} \sum \limits _{n = 0}^{Q - 1} {\left( h(nDT + kT)e^{j\frac{{2aknDT{}^2}}{{2b}}} \right) } \times e^{j\frac{{an^2 D^2 T{}^2}}{{2b}}} e^{ - jnDw/b} \\&= F_A [g_k (nDT)] \end{aligned}$$
(15)

where

$$\begin{aligned} g_k (nDT) = h(nDT + kT)e^{j\frac{{2aknDT{}^2}}{{2b}}} \end{aligned}$$
(16)

Therefore, we can obtain

$$\begin{aligned} H(w) = \sum \limits _{k = 0}^{D - 1} {e^{ - jkw/b} e^{j\frac{a}{{2b}}k^2 T^2 } } E_k (Dw) \end{aligned}$$
(17)

According to Eq. (12), we can rewrite Eq. (17) as

$$\begin{aligned} \bar{H}(w) = \sum \limits _{k = 0}^{D - 1} {e^{ - jkw/b} e^{j\frac{a}{{2b}}k^2 T^2 } } \bar{E}_k (Dw) \end{aligned}$$
(18)

where

$$\begin{aligned} \bar{E}_k (Dw) = \sum \limits _{n = 0}^{Q - 1} {\left( h(nDT + kT)e^{j\frac{{2aknDT{}^2}}{{2b}}} \right) e^{j\frac{{an^2 D^2 T{}^2}}{{2b}}} e^{ - jnDw/b} } \end{aligned}$$
(19)

On the other hand, from the properties of the LCT, we get

$$\begin{aligned} F_A [\delta (nT - kT)]&= K_A e^{j\frac{{dw^2 }}{{2bT^2 }}} \sum \limits _{n = - \infty }^\infty {\delta (nT - kT)e^{j\frac{a}{{2b}}(nT)^2 } e^{ - jnw/b} } \\&= K_A e^{j\frac{{dw^2 }}{{2bT^2 }}} e^{j\frac{a}{{2b}}(kT)^2 } e^{ - jkw/b} \\ \end{aligned}$$
(20)

From above all, we obtain

$$\begin{aligned} H(w)&= \sum \limits _{k = 0}^{D - 1} {e^{ - jkw/b} e^{j\frac{a}{{2b}}k^2 T^2 } } E_k (Dw) \\&= \frac{1}{{K_A }}e^{ - j\frac{{dw^2 }}{{2bT^2 }}} \sum \limits _{k = 0}^{D - 1} {F_A [\delta (nT - kT)]} E_k (Dw) \\ \end{aligned}$$
(21)

Assume that

$$\begin{aligned} Y_A (w) = X_A (w)\bar{H}_A (w) \end{aligned}$$
(22)

Substituting Eq. (21) into Eq. (22) and rearranging it, we get

$$\begin{aligned} Y_A (w)e^{j\frac{{dw^2 }}{{2bT^2 }}}&= X_A (w)H_A (w) \\&= \frac{1}{{K_A }}\sum \limits _{k = 0}^{D - 1} {e^{ - j\frac{{dw^2 }}{{2bT^2 }}} } X_A (w)F_A [\delta (nT - kT)]E_k (Dw) \\ \end{aligned}$$
(23)

From the convolution theorem in the LCT domain, \(X_A (w)\) can be written as

$$\begin{aligned} X_A (w)&= \frac{1}{{K_A }}e^{ - j\frac{{dw^2 }}{{2bT^2 }}} X_A (w)F_A [\delta (nT - kT)] \\&= F_A \left[ e^{ - j\frac{{an^2 T^2 }}{{2b}}} x(nT - kT)e^{j\frac{{a(n - k)^2 T^2 }}{{2b}}} e^{j\frac{{ak^2 T^2 }}{{2b}}} \right] \\ \end{aligned}$$
(24)

From Eqs. (23) and (24), we have

$$\begin{aligned} Y_A (w)&= e^{ - j\frac{{dw^2 }}{{2bT^2 }}} E_k (Dw) \sum \limits _{k = 0}^{D - 1} {F_A \left[ e^{ - j\frac{{an^2 T^2 }}{{2b}}} x(nT - kT) e^{j\frac{{a(n - k)^2 T^2 }}{{2b}}} e^{j\frac{{ak^2 T^2 }}{{2b}}}\right] } \\&= \sum \limits _{k = 0}^{D - 1} {F_A \left[ e^{ - j\frac{{an^2 T^2 }}{{2b}}} x(nT - kT)e^{j\frac{{a(n - k)^2 T^2 }}{{2b}}} e^{j\frac{{ak^2 T^2 }}{{2b}}}\right] } \bar{E}_k (Dw) \end{aligned}$$
(25)

Based on this equation, the polyphase implementation of equivalent FIR filter in the LCT domain can be derived in Fig. 4.

Fig. 4
figure 4

Polyphase implementation of equivalent filter in the LCT domain

Similarly, the polyphase implementation of \(\bar{E}_k (Dw)\) can be obtained in Fig. 5.

Fig. 5
figure 5

Polyphase implementation of \(\bar{E}_k (Dw)\)

Then, according to Figs. 1 and 4, the polyphase implementation structure for decimation in LCT domain can be obtained in Fig. 6. Likewise, the polyphase implementation structure for interpolation in LCT domain also can be derived.

Fig. 6
figure 6

Polyphase implementation of decimator

Furthermore, the polyphase implementation structure for decimation and interpolation in LCT domain have many real applications, such as it can perform digital filtering the general case, it also can offer significant saving in computation rate and hardware in two important applications, sampling rate alternation and realization of filter banks.

Discussion

Application in the LCT differential filter

Differential sampling can be used to decrease the computational amount and storage load in the system. In this section, the application of decimation and interpolation in the LCT differential filter have been studied. Based on the analysis in previous section, the perfect reconstruction expressions for differential filters in the LCT domain can be obtained. Here, the LCT differential filters depicted in Fig. 7 is considered. Following the method for the FRFT, the first order difference in the LCT domain is defined as \(x(n_1 T_1 ) - x(n_1 T_1 - T_1 )e^{ - j(n - 1)T_1 ^2 d/b}\). Thus, the output of the system in Fig. 7 can be written as:

$$\begin{aligned} \tilde{\hat{X}}_0 (w_1 )&= V_0 (w_1 )\bar{F}_0 (w_1 ) = Y_0 (w_1 )\bar{F}_0 (w_1 ) \\&= \bar{F}_0 (w_1 )\left[ \frac{1}{2}\sum \limits _{k = 0}^1 {X_A } \left( w_1 - \frac{{2k\pi b}}{2}\right) \bar{H}_0 \left( w_1 - \frac{{2k\pi b}}{2}\right) e^{j 2k\pi b \frac{{(w_1 - 2k\pi b/2)}}{{2T_1 ^2 }}} \right] \end{aligned}$$
(26)
$$\begin{aligned} \tilde{\hat{X}}_1 (w_1 )&= V_1 (w_1 )\bar{F}_1 (w_1 ) = Y_1 (w_1 )\bar{F}_1 (w_1 ) \\&= \bar{F}_1 (w_1 )\left[ \frac{1}{2}\sum \limits _{k = 0}^1 {X_A } \left( w_1 - \frac{{2k\pi b}}{2}\right) \bar{H}_1 \left(w_1 - \frac{{2k\pi b}}{2}\right)e^{j 2k\pi b \frac{{(w_1 - 2k\pi b/2)}}{{2T_1 ^2 }}} \right] \\ \end{aligned}$$
(27)

Therefore, the \(\tilde{\hat{X}}(w_1 )\) is equal to

$$\begin{aligned} \tilde{\hat{X}}(w_1 ) &=\tilde{\hat{X}}_0 (w_1 ) + \tilde{\hat{X}}_1 (w_1 )= V_0 (w_1 )\bar{F}_0 (w_1 ) + V_1 (w_1 )\bar{F}_1 (w_1 ) \\ &=\frac{1}{2}X_A (w_1 )((\bar{F}_0 (w_1 )\bar{H}_0 (w_1 ) + \bar{F}_1 (w_1 )\bar{H}_1 (w_1 )) \\&\quad + \frac{1}{2}X_A (w_1 - \pi b)(\bar{F}_0 (w_1 )\bar{H}_0 (w_1 - \pi b) + \bar{F}_1 (w_1 )\bar{H}_1 (w_1 - \pi b)) e^{j\pi b (w_1 - \pi b)/T_1 ^2 } \end{aligned}$$
(28)

On the other hand, from the equivalent filter in the LCT domain, we have

$$\begin{aligned} S_0 (w_1 ) = H_0 (w_1 )X_A (w_1 )e^{ - j\frac{{dw_1 ^2 }}{{2bT_1 ^2 }}} \end{aligned}$$
(29)
$$\begin{aligned} S_1 (w_1 ) = H_1 (w_1 )X_A (w_1 )e^{ - j\frac{{dw_1 ^2 }}{{2bT_1 ^2 }}} \end{aligned}$$
(30)

where

$$\begin{aligned} H_0 (w_1 )\,=\, & {} L_A [\delta (n_1 T_1 )] \,=\, e^{j\frac{{dw_1 ^2 }}{{2bT_1 ^2 }}} \end{aligned}$$
(31)
$$\begin{aligned} H_1 (w_1 )\,=\, & {} L_A [\delta (n_1 T_1 ) - \delta (n_1 T_1 - T_1 )] = e^{j\frac{{dw_1 ^2 }}{{2bT_1 ^2 }}} - e^{j\frac{{dw_1 ^2 }}{{2bT_1 ^2 }}} e^{j\frac{{aT_1 ^2 }}{{2b}}} e^{ - jw_1 /b} \end{aligned}$$
(32)

From Eqs. (29) to (32), we get

$$\begin{aligned} s_0 (n_1 T_1 )&= K_A e^{ - j\frac{a}{{2b}}n_1^2 T_1^2 } \left[x(n_1 T_1 )e^{j\frac{a}{{2b}}n_1^2 T_1^2 } * \delta (n_1 T_1 )e^{j\frac{a}{{2b}}n_1^2 T_1^2 } \right] = x(n_1 T_1 ) \end{aligned}$$
(33)
$$\begin{aligned} s_1 (n_1 T_1 )&= K_A e^{ - j\frac{a}{{2b}}n_1^2 T_1^2 }\left[ x(n_1 T_1 )e^{j\frac{a}{{2b}}n_1^2 T_1^2 } * (\delta (n_1 T_1 ) - \delta (n_1 T_1 - T_1 ))e^{j\frac{a}{{2b}}n_1^2 T_1^2 } \right] \nonumber \\&= x(n_1 T_1 ) - x(n_1 T_1 - T_1 ))e^{ - j(n - 1)T_1^2 a/b} \end{aligned}$$
(34)

From the above equations, we can get the the equivalent filter in the system as

$$\begin{aligned} \bar{H}_0 (w_1 )\,=\, & {} H_0 (w_1 )e^{ - j\frac{{dw_1 ^2 }}{{2bT_1 ^2 }}} = 1 \end{aligned}$$
(35)
$$\begin{aligned} \bar{H}_1 (w_1 )\,=\, & {} H_1 (w_1 )e^{ - j\frac{{dw_1 ^2 }}{{2bT_1 ^2 }}} = 1 - e^{j\frac{{aT_1 ^2 }}{{2b}}} e^{ - jw_1 /b} \end{aligned}$$
(36)

It is easy to find that to recovery the original signal in the LCT differential filter, the following equation should be established.

$$\begin{aligned} \bar{F}_0 (w_1 )\bar{H}_0 (w_1 ) + \bar{F}_1 (w_1 )\bar{H}_1 (w_1 ) = K \end{aligned}$$
(37)
$$\begin{aligned} \bar{F}_0 (w_1 )\bar{H}_0 (w_1 - \pi b) + \bar{F}_1 (w_1 )\bar{H}_1 (w_1 - \pi b) = 0 \end{aligned}$$
(38)

From Eqs. (35) to (38), we obtain

$$\begin{aligned}&F_0 (w_1 )e^{ - j\frac{{dw_1^2 }}{{2bT_1^2 }}} + F_1 (w_1 )e^{ - j\frac{{dw_1^2 }}{{2bT_1^2 }}} \left(1 - e^{j\frac{{aT_1^2 }}{{2b}}} e^{ - jw_1 /b} \right) = K \end{aligned}$$
(39)
$$\begin{aligned}&F_0 (w_1 )e^{ - j\frac{{dw_1^2 }}{{2bT_1^2 }}} + F_1 (w_1 )e^{ - j\frac{{dw_1^2 }}{{2bT_1^2 }}} \left(1 - e^{j\frac{{aT_1^2 }}{{2b}}} e^{ - j(w_1 - \pi b)/b} \right) = 0 \end{aligned}$$
(40)

Then we have

$$\begin{aligned} \bar{F}_1 (w_1 )= & {} \frac{K}{{e^{jaT_1^2 /2b} (e^{ - j(w_1 - \pi b)/b} - e^{ - jw_1 /b} )}} \end{aligned}$$
(41)
$$\begin{aligned} \bar{F}_1 (w_1 )= & {} \frac{{K(e^{jaT_1^2 /2b} e^{ - j(w_1 - \pi b)/b} - 1)}}{{e^{jaT_1^2 /2b} (e^{ - j(w_1 - \pi b)/b} - e^{ - jw_1 /b} )}} \end{aligned}$$
(42)

The above two equations are the conditions that the original signal can be perfect reconstruction from differential filters in the LCT domain. It can be used to decrease computational amount and storage load in digital signal processing system. In addition, when substituting special parameters into the LCT differential filters, the perfect reconstruction expressions from differential filters in the FT and FRFT domain can be obtained. Therefore, we conclude that the formula we derived is more general and useful.

Fig. 7
figure 7

The differential filters in the LCT domain

Conclusions

This paper has analyzed the decimation and interpolation in the LCT domain, which can advance the theorems for multirate signal processing in the LCT domain. First, the definition of equivalent FIR filter in the LCT domain has been proposed. By using the definition, the direct implementation structure for decimation and interpolation in the LCT domain have been derived. In addition, the polyphase implementation of decimation and interpolation in the LCT domain also have been obtained. Finally, as an application, the perfect reconstruction expressions for differential filters in the LCT domain have been obtained. The future research and work will be in the direction of real applications of the multirate signal processing theories in the LCT domain.