EUROPEAN TRANSACTIONS ON TELECOMMUNICATIONS Eur. Trans. Telecomms. (2008) Published online in Wiley InterScience (www.interscience.wiley.com) DOI: 10.1002/ett.1320 Signal Processing Causal discrete-time system approximation of non-bandlimited continuous-time systems by means of discrete prolate spheroidal wave functions Roman Tzschoppe∗ and Johannes B. Huber Institute of Information Transmission, University of Erlangen-Nuremberg, Germany SUMMARY In general, linear time-invariant (LTI) continuous-time (CT) systems can be implemented by means of LTI discrete-time (DT) systems, at least for a certain frequency band. If a causal CT system is not bandlimited, the equivalent DT system may has be to non-causal for perfectly implementing the CT system within a certain frequency band. This paper studies the question to which degree a causal DT system can approximate the CT system. By reducing the approximation frequency band, the approximation accuracy can be increased—at the expense of a higher energy of the impulse response of the DT system. It turns out, that there exists a strict trade-off between approximation accuracy, measured in the squared integral error, and energy of the impulse response of the DT system. The theoretically optimal trade-off can be achieved by approximations based on a weighted linear combination of the discrete prolate spheroidal wave functions (DPSWFs). The results are not limited to the case of approximating a CT system by means of a causal DT system, but they generally hold for the approximation of an arbitrary spectrum by means of a spectrum of an indexlimited time sequence. Copyright © 2008 John Wiley & Sons, Ltd. 1. INTRODUCTION If the transfer function of a continuous-time linear timeinvariant (CT-LTI) system is bandlimited, the CT system can be perfectly implemented by a discrete-time (DT) system, when the sampling frequency is chosen according to the sampling theorem. The DT system is referred to as the impulse-invariant DT version of the CT system, since the impulse response of the DT version is obtained by sampling the impulse response of the CT system [5]. In case a CT system is not bandlimited, an impulseinvariant version does not exist. Nevertheless, if the input signal is bandlimited, there exists a DT system perfectly approximating the CT system within the frequency band of the bandlimited input signal. But if the CT system is causal, it turns out that the DT system has to be non-causal, in general. Discrete prolate spheroidal sequences (DPSSs) and their counterpart in frequency domain, the discrete prolate spheroidal wave functions (DPSWFs), have properties, which make them very interesting for various applications, such as secure communications [1], filter design [2], channel equalisation [3] and channel prediction [4]. One of the most important properties is that the first DPSS of the orthogonal set of indexlimited DPSSs comprise the highest energy concentration within a limited frequency band. All succeeding DPSSs have a decreasing concentration. This property is utilised in this paper for causal DT system approximation of causal non-bandlimited CT systems under an energy constraint of the DT impulse response. The paper is organised as follows. After introducing some basic notations, DT system implementations of CT systems are treated in Section 3. Apart from the review * Correspondence to: Roman Tzschoppe, Institute of Information Transmission, University of Erlangen-Nuremberg, Cauerstr. 7/LIT, D-91058 Erlangen, Germany. E-mail: [email protected] Copyright © 2008 John Wiley & Sons, Ltd. Received 31 October 2007 Revised 17 April 2008 Accepted 26 June 2008 R. TZSCHOPPE AND J. B. HUBER of the well-known case of bandlimited CT systems, it is shown that in the case of non-bandlimited CT systems, the DT system in general has to be non-causal, even if the CT system is causal. Section 4 demonstrates, that for identifying non-bandlimited CT systems, system identification methods based on DT signals also have to estimate a non-causal DT impulse response. The last but one Section 5 analyses to which extent a causal DT system can approximate a causal CT system. The tools for this analysis are the DPSWFs. Two examples illustrate all obtained insights, and Section 6 finally concludes the paper. Figure 1. Continuous-time LTI system. Figure 2. Equivalent discrete-time LTI system for bandlimited input signals. 2. NOTATION Throughout this paper, the following notation is used: CT signals and their spectra have an index c, like xc (t) and Xc (f ), DT signals and their spectra have no index, like x[k] and X(F ). The relationship between DT index k and CT is: t = kT . The Fourier transform and its inverse are defined by def Hc (f ) = def ∞ −∞ ∞ hc (t) e−j2πft dt (1) Hc (f ) ej2πft df (2) hc (t) = −∞ and the discrete Fourier transform and its inverse are defined by def H(F ) = ∞ h[k] e −j2πkF def h[k] = 1/2 −1/2 3.1. Bandlimited continuous-time systems A well-known sufficient condition for the existence of an equivalent DT-LTI system is that both CT input signal xc (t) and CT impulse response of the LTI system hc (t) are bandlimited [5]. Therefore, the sampling rate 1/T of both ideal continuous-to-discrete-time (C/D) and discreteto-continuous-time (D/C) converter has to be chosen such that the sampling theorem is fulfilled Xc (f ) = 0, Hc (f ) = 0, |f | > (3) k=−∞ bandlimited input signal can be equivalently described by a DT-LTI system (see Figure 2). First, the analysis is restricted to the case of bandlimited CT-LTI systems. Then, the analysis is extended to the more general case of nonbandlimited CT-LTI systems. 1 2T (5) Choosing the transfer function of the DT-LTI system H(F ) ej2πkF dF (4) where the frequency variables are related by F = fT . The correspondence between hc (t), and Hc (f ) is compactly denoted by F{hc (t)} = Hc (f ) and the correspondence between h[k] and H(F ) equivalently by F∗ {h[k]} = H(F ). Complex conjugation is indicated by (·)∗ . 3. DISCRETE-TIME SYSTEM IMPLEMENTATION OF CONTINUOUS-TIME SYSTEMS This section deals with the question under which circumstances a CT-LTI system (see Figure 1) with Copyright © 2008 John Wiley & Sons, Ltd. F H(F ) = Hc , T 1 2 (6) 1 2T (7) |F | < yields an effective CT transfer function Hc,eff (f ) ≡ Hc (f ), |f | < The DT system is denoted as an impulse-invariant version of the CT system since both impulse responses are related by h[k] = Thc (kT ) (8) that is, the DT impulse response is a scaled and sampled version of the CT impulse response. Eur. Trans. Telecomms. (2008) DOI: 10.1002/ett CAUSAL DISCRETE-TIME SYSTEM APPROXIMATION 3.2. Non-bandlimited continuous-time systems If the CT system is not perfectly bandlimited, aliasing will occur when choosing h[k] according to Equation (8). In cases where |Hc (f )| tends to zero for |f | → ∞, one can argue that choosing 1/T high enough will lead to a rather negligible effect of aliasing. An example is the design of a DT lowpass filter by sampling the CT impulse response of an analogue lowpass filter. But there are cases, where |Hc (f )| will not tend to zero in principle—at least within the relevant frequency range. One example therefore is the transfer function of near-end crosstalk (NEXT) in twisted multipair cables. The NEXT transfer function between two pairs is generally modelled being proportional to f 0.75 , for example Reference [6]. Several measurements show a high compliance with this model—at least for frequencies up to 30 MHz [7, 8]. In this case, the effect of aliasing will be dramatic, and a choice of the DT impulse response according to Equation (8) will lead to an effective CT transfer function Hc,eff (f ) which is totally different from Hc (f ) for |f | < 1/(2T ). But there are many applications where such CT systems are excited by bandlimited signals and the DT system has to represent the CT system within this limited frequency band, only. In this case, it is possible to design a DTLTI system fulfilling Equation (6) simply by applying the inverse discrete Fourier transform (Equation (4)) to Hc (F/T ). This is equivalent to sampling the bandlimited CT impulse response hc,bl (t) hc,bl (t) = ∞ −∞ rect(fT )Hc (f ) ej2πft df t 1 sinc ∗ hc (t) T T τ 1 ∞ sinc = hc (t − τ) dτ T −∞ T h[k] = T hc,bl (t) = t=kT (9) (10) where rect(x) is defined by If the CT-LTI system is causal, that is hc (t) = 0 ∀t < 0, and hc (t) = 0—at least for one t 0—the bandlimited impulse response hc,bl (t) is non-causal. This follows directly from the proof, that if a bandlimited CT signal is zero on any time interval of non-zero length, it is identically zero everywhere (cf. Appendix 5B, in Reference [9]). Equations (9) and (10) show that the equivalent DT-LTI system fulfilling Equation (6) is non-causal in general, although H(F ) is not bandlimited. If all zeros of hc,bl (t) for t < 0 are located at −nT (n ∈ N), h[k] will be causal (e.g. if hc (t) = ∞ c l=0 l δ(t − lT ), cl ∈ R). But in general, not all zeros of hc,bl (t) for t < 0 will follow this strict constraint, and in this case h[k] will be non-causal. In summary, a CT-LTI system with bandlimited input can be equivalently described by a DT-LTI system, regardless whether the CT-LTI system is bandlimited or not. But in the non-bandlimited case, the DT-LTI system has to be noncausal in most cases. 4. DISCRETE-TIME SYSTEM IDENTIFICATION OF NON-BANDLIMITED CONTINUOUS-TIME SYSTEMS Not only for DT-LTI system implementation of a nonbandlimited CT-LTI system, but also when identifying a non-bandlimited CT-LTI system by means of DT signals, the corresponding DT impulse response turns out to be noncausal, as shown in the sequel. The system identification task is to estimate the CT transfer function Hc (f ) for |f | < 1/(2T ), if input and output signals are merely accessible in DT, as depicted in Figure 3. All signals are assumed to be zero-mean, weak stationary random signals. W.l.o.g., the input signal xc (t) is assumed to be bandlimited to the Nyquist frequency 1/(2T ).† The CT cross-correlation function (CCF) is denoted by def def φyc xc (τ) = E{yc (t + τ)xc∗ (t)}. Equivalently, φyx [κ] = E{y[k + κ]x∗ [k]} indicates the DT CCF. The corresponding cross-power spectral densities (CPSD) def are identified by φyc xc (τ) = E{yc (t + τ)xc∗ (t)} and by def (11) φyx [κ] = E{y[k + κ]x∗ [k]}. CT and DT autocorrelation functions (ACF) and power spectral densities (PSD) are denoted in the same manner. sinc(x) denotes the sinc function sin(πx) πx , and ∗ denotes linear convolution. † Higher frequency components are not necessary for identifying H (f ) c within |f | < 1/(2T ), and are completely suppressed by the ideal C/D converters. |x| < 1/2 1, def rect(x) = 1/2, |x| = 1/2 0, |x| > 1/2 Copyright © 2008 John Wiley & Sons, Ltd. Eur. Trans. Telecomms. (2008) DOI: 10.1002/ett R. TZSCHOPPE AND J. B. HUBER Figure 3. Discrete-time system identification of a continuoustime LTI system. Due to ideal sampling (x[k] = xc (kT ), y[k] = yc (kT )), the following relationships between the DT and CT ACF/CCF holds φxx [κ] = φxc xc (κT ) φyx [κ] = φyc xc (κT ) (12) and for the corresponding PSD/CPSD: F , T 1 F yx (F ) = yc xc , T T xx (F ) = 1 x x T c c |F | < 1 2 |F | < 1 2 (13) For the CPSD between output and input signal of the effective DT system holds yx (F ) = Heff (F ) · xx (F ), |F | < 1 2 |f | < 1 2T Obviously, a time sequence and its spectrum cannot coexistently be indexlimited and bandlimited. Slepian [10] studied the questions to which extent the spectrum of an indexlimited time sequence can be bandlimited, to which extent the time sequence of a bandlimited spectrum can be indexlimited and to which extend a time sequence can be concentrated both in time and in frequency. Therefore, he introduced certain time sequences, the DPSSs, and certain frequency functions, the DPSWFs. Only the definitions and the most important properties of the DPSSs and the DPSWFs are reviewed in the following, further details are provided in Reference [10].‡ Computation of the DPSSs from its definition (cf. Equation (20)) is numerically problematic, especially for large sequence lengths. A numerically stable method can be found in Reference [11]. The CT counterpart of DPSSs and DPSWFs are extensively studied in References [12–15]. 5.1.1. Discrete prolate spheroidal wave functions The DPSWFs are defined in Reference [10] as the eigenfunctions Um (F ) of the following integral equation (15) It follows directly from Equations (13)–(15), that Heff (F ) is given by Equation (6). The corresponding effective DT impulse response is consequently given by Equations (9) and (10), and thus is non-causal in general. 5. CAUSAL DISCRETE-TIME SYSTEM APPROXIMATION OF NON-BANDLIMITED CONTINUOUS-TIME SYSTEMS Even though in some cases, it is not feasible to introduce a sufficient signal delay for a causal implementation of a noncausal DT-LTI system, it may be highly desirable to identify Copyright © 2008 John Wiley & Sons, Ltd. 5.1. Introduction to discrete prolate spheroidal wave functions and discrete prolate spheroidal sequences (14) and equivalently for the CT system yc xc (f ) = Hc (f ) · xc xc (f ), the non-causal DT impulse response. An important example thereof is the estimation of the CT transfer function Hc (f ) for |f | < 1/(2T ), if input and output signals are merely accessible in discrete-time, as considered in Section 4. This estimation of the CT transfer function may then be helpful to design a causal DT-LTI system approximating the CT-LTI system. When limiting the desired frequency range used for approximating Hc (f ), this method provides better results than attempting to identify directly a causal DT-LTI system. W −W sin(Nπ(F − F )) Um (F ) dF = λm Um (F ) sin(π(F − F )) 0 W 1/2, −∞ < F < ∞ m = 0, 1, . . . , N − 1 (16) Equation (16) has only N eigenvalues λ0 , λ1 , . . . , λN−1 . They are distinct, real, positive and are ordered such that λ0 > λ1 > · · · > λN−1 > 0 (17) ‡ Note that in this paper slightly different definitions for the discrete Fourier transform and its inverse are used. Eur. Trans. Telecomms. (2008) DOI: 10.1002/ett CAUSAL DISCRETE-TIME SYSTEM APPROXIMATION Their associated eigenfunctions Um (F ) form a set of linearly independent real functions. They are normalised such that 1/2 dUm (F ) 2 Um (F ) df = 1 Um (0) 0, 0 dF −1/2 As the DPSWFs, the DPSSs are doubly orthogonal (cf. Reference [10]) N−1 k=0 F =0 m = 0, 1, . . . , N − 1 W 1/2 Um (F ) Un (F ) dF = λm −W m, n = 0, 1, . . . , N − 1 As one might expect, the DPSWFs and the DPSSs are strongly related (for fixed parameters W and N). As shown in Reference [10], the DPSWFs can be calculated from the DPSSs by Um (F ) Un (F ) dF m = 0, 1, . . . , N − 1 5.1.2. Discrete prolate spheroidal sequences m = The DPSSs are defined in Reference [10] as the real solution vm [k] to the following system of equations k=0 N−1 k=0 m even m odd 1, j, (24) It is further pointed out in Reference [10], that the indexlimited DPSSs can be derived from the DPSWFs by sin(2πW(k − l)) vm [l] = λm vm [k] π(k − l) (20) 1 vm [k] = m 1/2 −1/2 Um (F ) ejπ(N−1−2k)F dF m = 0, 1, . . . , N − 1, normalised such that N−1 (23) where where δmn denotes the Kronecker delta [10]. k = 0, ±1, ±2, . . . vm [k] e−jπ(N−1−2k)F k=0 m, n = 0, 1, . . . , N − 1 (19) 0 W 1/2, N−1 Um (F ) = m = λm δmn l=0 (22) 5.1.3. Connections between the DPSWFs and the DPSSs −1/2 N−1 vm [k]vn [k] = δmn k=−∞ (18) Note that both eigenvalues and eigenfunctions are functions of N and W. But for brevity, the notations λm and Um (F ) are mostly used instead of writing λm (N, W) and Um (N, W; F ). The most important property of the DPSWFs is the remarkable double orthogonality: ∞ vm [k]vn [k] = λm k = 0, 1, . . . , N − 1 (25) and the infinite DPSSs by v2m [k] = 1 vm [k] 0 vm [k] = N−1 (N − 1 − 2k)vm [k] 0 W −W Um (F ) ejπ(N−1−2k)F dF k = 0, ±1, ±2, . . . (26) (21) It is noteworthy to say, that the N different DPSS vm [k] are associated with the λm , which are the eigenvalues of the integral equation (16). The non-zero λm are again ordered according to Equation (17). Both λm and vm [k] are of course functions of N and W, but for brevity an explicit notation is omitted again. Copyright © 2008 John Wiley & Sons, Ltd. m = 0, 1, . . . , N − 1, k=0 m = 0, 1, . . . , N − 1 1 m λm 5.2. Spectral extension of a finite sequence Slepian [10] showed that the following problem can be solved by means of the DPSWFs. Let H(F ) be given for |F | W. For W < |F | 1/2, H(F ) is spectrally extended. Under all possible spectral extensions, only extensions that correspond to time sequences that are indexlimited to the Eur. Trans. Telecomms. (2008) DOI: 10.1002/ett R. TZSCHOPPE AND J. B. HUBER index set {N0 , . . . , N0 + N − 1} are considered. Which spectral extension has least energy? The extension is only possible if for |F | 1/2 H(F ) = N0 +N−1 ᾱm = h[k] e−j2πkF (27) k=N0 or equivalently, if for |F | W, H(F ) lies in the span of the N basis functions, the DPSWFs§ H(F ) = e−j2π(N0 +(N−1)/2)F N−1 αm Um (F ) (28) m=0 Due to the DPSWF orthogonality Equation (19), the DPSWF weights αm can be easily determined by αm = 1 λm W −W H(F ) ej2π(N0 +(N−1)/2)F Um (F ) dF (29) In Reference [10], it is stated that the extension of H(F ) according to Equation (28) for |F | 1/2 is the extension of minimum energy, which is given by 1/2 −1/2 not lie in the span of the DPSWFs. But, by inserting Ht (F ) instead of H(F ) into Equation (29) yields coefficients |H(F )|2 dF = N−1 |αm |2 (30) m=0 It is furthermore shown in Appendix A, that if Equation (27) is valid for |F | W, then the spectral extension of H(F ) to the interval W < |F | 1/2, such that the corresponding time sequence is indexlimited to {N0 , . . . , N0 + N − 1}, is unique. Other possibilities of extending H(F ) to the interval W < |F | 1/2, such that the corresponding time sequence is indexlimited to {N0 , . . . , N0 + N − 1}, do not exist. 1 λm W −W Ht (F ) ej2π(N0 +(N−1)/2)F Um (F ) dF (31) which, inserted into Equation (28) instead of αm , provide an approximation for Ht (F ) in the interval (−W, W). The costs of doing this kind of approximation is an energy increase outside the interval (−W, W). For small values of W, the approximation accuracy will be high at the costs of a high energy increase, and vice versa. The questions to be answered are the following. To which extent can an arbitrary target function be approximated in the interval (−W, W) by means of a spectrum of a sequence limited to the index set {N0 , . . . , N0 + N − 1}, under the constraint of a limited total energy? Furthermore, how can the approximation be accomplished? W.l.o.g. the function H(F ) approximating Ht (F ) can be represented uniquely by H(F ) = e−j2π(N0 +(N−1)/2)F N−1 βm Um (F ) (32) m=0 according to Equation (28) using some weights βm , which have to be specified later. The accuracy of approximation in (−W, W) is measured by the squared integral error: ε= W −W |Ht (F ) − H(F )|2 dF (33) and the total energy according to Equation (30) by E= 1/2 −1/2 |H(F )|2 dF = N−1 |βm |2 (34) m=0 5.3. Minimum energy spectral approximation 5.3.1. Introduction In general, for an arbitrary target function Ht (F ) Equations (27) and (28) do not hold. The reason is that Ht (F ) does § The corresponding equation in Reference [10] is erroneous. The pair of parenthesis around N − 1 is missing. The corresponding equation in Reference [10] is erroneous. From the symmetry of the integrand of Equation (29) follows that (even for a realvalued time sequence) for even m the weight αm is real, and for odd m imaginary. Copyright © 2008 John Wiley & Sons, Ltd. 5.3.2. Approximation with limited number of DPSWFs Since the indexlimited DPSSs have the highest energy concentration in (−W, W) of all indexlimited sequences, a straightforward approximation method would be to use a limited number N N of DPSSs and their corresponding DPSWFs, respectively. Since the energy concentration of the spectrum of vm [k] is given by λm (cf. Reference [10]), and because the λm are sorted according to Equation (17), it is best to use the DPSSs/DPSWFs with smallest Eur. Trans. Telecomms. (2008) DOI: 10.1002/ett CAUSAL DISCRETE-TIME SYSTEM APPROXIMATION function of E, respectively indices first βm = ᾱm , 0, 0 m N − 1 N − 1 < m < N − 1 (35) ε= N , 5.3.3. Approximation with optimally weighted DPSWFs The previously described method provides a fairly good, but not the optimum trade-off between squared integral error and total energy. Apart from this, the trade-off is merely possible in discrete steps (N reasonable possibilities) and not continuously. In Appendix B, it is shown that it is best, not to limit the number of used DPSWFs/DPSSs, but to utilise a weighted combination of all N DPSWFs/ DPSSs simultaneously. The optimal weighting factors βm , which minimise ε for a given energy E, are given by βm = λm ᾱm λm + µ(E) (36) where the real-valued, positive energy-dependent constant µ(E) has to be chosen, such that Equation (34) is fulfilled N−1 m=0 λ2m |ᾱm |2 ! =E (λm + µ(E))2 (37) The corresponding time sequence with best spectral fit (in the squared integral error sense) in (−W, W) and of limited energy can be expressed by means of the DPSSs (cf. Equation (25)) −W + Increasing yields a better spectral fit in (−W, W) at the cost of increasing the energy outside (−W, W). W N−1 m=0 h[k] = εmin = m=N0 λm −2 λm + µ(E) (39) W −W |Ht (F )|2 dF − N−1 λm |ᾱm |2 (40) m=0 lim λm = N→∞ 1, 0, m = 2NW(1 − δ) m = 2NW(1 + δ) where x denotes the largest integer the smallest integer value x, and δ number between 0 and 1 (cf. Reference optimum DPSWFs/DPSSs weights βm approximations are given by λm ᾱm 1+µ(E) , λm ᾱm µ(E) , (41) value x, x is an arbitrary [10]). Thus, the for bandlimited m = 2NW(1 − δ) m = 2NW(1 + δ) (42) (38) By varying µ, a continuous trade-off between energy E of the sequence and squared integral error in (−W, W) can be achieved. Inserting the optimal DPSWF weights according to Equation (36) into Equation (33) unveils, after some straightforward steps, ε as a function of µ, and as an implicit Copyright © 2008 John Wiley & Sons, Ltd. This equation also provides the squared integral error for the method of limiting the number of DPSWFs according to Equation (35), when limiting the sum to the first N terms. For large N, the set of sequences of bandwidth W that are confined to an index set of length N has dimension approximately 2NW, and for the eigenvalues of the DPSSs follows N→∞ ∗m βm vm [k − N0 ] λ2m |ᾱm |2 λm + µ(E) In the limit µ → 0, the optimal DPSWF weights βm tend to ᾱm , E attains its maximum value 2 Emax = N−1 m=0 |ᾱm | , and the minimal achievable ε yields lim βm = N0 +N−1 |Ht (F )|2 dF where λm ᾱm is given by Equation (31). For an arbitrary target function Ht (F ), the integral in Equation (31) will not vanish in general for N → ∞. Consequently, the optimum weights βm are in general non-zero for m = 2NW(1 + δ). Thus, also in the asymptotic case, more than 2NW DPSWFs/DPSSs contribute to the bandlimited approximation, in general. Eur. Trans. Telecomms. (2008) DOI: 10.1002/ett R. TZSCHOPPE AND J. B. HUBER can achieve a squared integral error ε that is 20 dB lower than the energy of Ht (F ) in (−W, W) at no energy increase, just by limiting the approximation band to (−0.2, 0.2). By further reducing W or by releasing the total energy, much better approximations are attainable. 5.3.5. Example 2 In the second example, the target function is the transfer function of a causal CT system with impulse response Figure 4. Non-causal discrete-time impulse response of the target transfer function. hc,t (t) = 0, t<0 1 −t/τ , τe t0 (43) and transfer function 5.3.4. Example 1 The first example treats the causal approximation of a noncausal DT system. The impulse response ht [k] of length 7, whose transfer function Ht (F ) shall be approximated in (−W, W) for W = 0.25, has one non-causal tap (see Figure 4). First, the method of limiting the number of utilised DPSSs/DPSWFs is considered (cf. Equations (32) and (35)). Figure 5 shows the approximation results, obtained for DPSS length N = 6 (N0 = 0) and all possible choices of N . The optimal trade-off between ε and E (for W = 0.25) is depicted in Figure 6, together with the suboptimal approximation method of limited number of DPSWFs and a least-squares fit method. The energy E is normalised to the def 1/2 energy of the target function Et = −1/2 |Ht (F )|2 dF , and the squared integral error ε is normalised to the energy of the (W) def W target function in (−W, W) Et = −W |Ht (F )|2 dF , in order to provide a fair measure of the squared integral error irrespective of the chosen bandwidth parameter W. The 1/2 least-squares fit method minimises −1/2 w(F ) · |Ht (F ) − H(F )|2 dF , where w(F ) is a weighting function, chosen w(F ) = 1, for |F | W, and w(F ) = const., for |F | > W. Varying the constant yields a suboptimal trade-off between ε and E, which gets asymptotically optimal for E → Emax (const. → 0, respectively). For the choice const. = 1, the circled point is reached. This point represents the performance of a least-squares optimal approximation (without weighting) of a non-causal DT impulse response by a causal one. Figure 7 shows the best achievable tradeoff for different values of W (cf. Equation (39)). Thus, a causal approximation for the given target function Ht (F ) Copyright © 2008 John Wiley & Sons, Ltd. Hc,t (f ) = 1 1 + j2πfτ (44) By choosing Ht (F ) = Hc,t (F/T ), according to Equation (6), the corresponding DT impulse response becomes noncausal (cf. Equations (9), and (10)). A cut-out of the infinite impulse response is depicted in Figure 8 for T = τ/5. The transfer function Ht (F ) of this non-causal DT impulse response serves as a target transfer function in the interval (−W, W), which shall be approximated by a causal DT impulse response of length N (N0 = 0). As approximation method, the DPSS/DPSWF method with optimum weights (cf. Equations (36) and (37)) is chosen. Figure 9 shows the normalised squared integral error over the sequence length N, when the energy E is restricted to the energy of the target transfer function Et . For the investigated values of W, a saturation effect occurs when N is chosen larger than ≈ 50. From that point on, significant improvements in approximation quality can be achieved only by reducing the approximation bandwidth W. Figure 10 depicts the magnitude of the weights βm for different energy restrictions 10 log10 (E/Et ) (N = 100, W = 0.25). The weights βm for 0 dB and for 1 dB differ significantly for m 2NW. For m 2NW, the difference is negligible. The situation is different for a tighter energy restriction, for example for 10 log10 (E/Et ) = −1 dB. Although the magnitude of the weights are attenuated for m 2NW, the weights are still non-zero for m > 2NW. Even in this case, more than 2NW DPSWFs/DPSSs play a role in achieving the best possible trade-off between total energy and approximation quality in the squared integral error sense. Eur. Trans. Telecomms. (2008) DOI: 10.1002/ett CAUSAL DISCRETE-TIME SYSTEM APPROXIMATION Figure 5. Approximation with limited number of DPSSs/DPSWFs. Left column: impulse responses h[k], middle column: magnitude of transfer functions (dashed: |Ht (F )|), right column: phase of transfer functions (dashed: arg{Ht (F )}). Parameters: N = 6, N0 = 0, W = 0.25. Copyright © 2008 John Wiley & Sons, Ltd. Eur. Trans. Telecomms. (2008) DOI: 10.1002/ett R. TZSCHOPPE AND J. B. HUBER Figure 6. Achievable trade-offs between normalised energy E and normalised squared integral error ε by method of limited number of DPSWFs, optimum DPSWF weights and a least-squares fit method. Parameters: N = 6, N0 = 0, W = 0.25. Figure 8. Cut-out of the infinite non-causal discrete-time impulse response fulfilling F∗ {ht [k]} = Hc,t (F/T ), for |F | < 1/2, (T = τ/5). Figure 9. Normalised squared integral error over sequence length N with total energy restriction E Et for W = 0.25, 0.3, 0.35, 0.4, 0.45, 0.5. Parameter: N0 = 0. Figure 7. Best achievable trade-off between energy E and squared integral error ε for W = 0.1, 0.2, 0.3, 0.4, 0.5 by optimum DPSWF weights. Parameters: N = 6, N0 = 0. 6. CONCLUSIONS If a causal CT system is not bandlimited, an impulseinvariant DT version does not exist. In general, a DT system implementation (within a certain frequency band) can only be achieved by a non-causal DT system, even if the input signal of the CT system is bandlimited. If the introduction of a sufficient signal delay for a Copyright © 2008 John Wiley & Sons, Ltd. causal implementation of the non-causal impulse response is not allowed, a causal DT system approximation is necessary. By limiting the approximation frequency band, a higher approximation accuracy can be achieved than by an unweighted least-squares optimal fit, but at the cost of an increased energy of the impulse response of the approximating system. It is shown that the theoretically optimal trade-off between squared integral error and energy of the impulse response of the approximating system can be achieved by using a weighted linear combination of the DPSWFs. Eur. Trans. Telecomms. (2008) DOI: 10.1002/ett CAUSAL DISCRETE-TIME SYSTEM APPROXIMATION APPENDIX A A.1. Proof of the uniqueness of the spectral extension of a finite sequence If H(F ) for |F | W is given by H(F ) = N0 +N−1 h[k] e−j2πkF (45) k=N0 the spectral extension of H(F ) to W < |F | 1/2, such that the corresponding time sequence is limited to {N0 , . . . , N0 + N − 1}, is unique. Or stated in other words, there exists no second time sequence h̃[k] limited to {N0 , . . . , N0 + N − 1}, such that H(F ) = N0 +N−1 h̃[k] e−j2πkF (46) k=N0 is fulfilled for |F | W. Intuitively, the uniqueness follows directly from the double orthogonality of the DPSWFs (cf. Equation (19)). Since the weights αm are uniquely determined by H(F ) in (−W, W) (cf. Equation (29)), the orthogonality over (−1/2, 1/2) also guarantees the uniqueness over the entire frequency range. A strict proof follows by contradiction. The spectrum of h̃[k] is assumed to be different from H(F ) for W < |F | 1/2: H̃(F ) = H(F ), |F | W H(F ) + H(F ), W < |F | 1/2 (47) with H(F ) = 0, for |F | in (W, 1/2]. According to Equation (4), h̃[k] is given by h̃[k] = h[k] + 1/2 H̃(F ) ej2πkF dF −1/2 (48) def = h̃[k] where H̃(F ) is given by Figure 10. Magnitude of optimal DPSS/DPSWF weights βm for 10 log10 (E/Et ) = −1, 0, and 1 dB (from top to bottom). Parameters: N = 100, N0 = 0, W = 0.25. Dashed line indicates 2NW = 50. Copyright © 2008 John Wiley & Sons, Ltd. H̃(F ) = 0, H(F ), |F | W W < |F | 1/2 (49) Eur. Trans. Telecomms. (2008) DOI: 10.1002/ett R. TZSCHOPPE AND J. B. HUBER It is trivial to prove that, if H̃(F ) is bandlimited, h̃[k] cannot be indexlimited, in contradiction to the assumption, that h̃[k] is indexlimited. where wk = xk + jyk , with real-valued numbers xk and yk , implying that ∂wk = 1, ∂wk ∂ε(β0 , . . . , βN−1 , µ) ∂βn W = − Ht∗ (F ) e−j2π(N0 +(N−1)/2)F Un (F ) dF B.1. Derivation of optimal DPSWF weighting factors To minimise Equation (33) under the constraint Equation (34), the method of Lagrange multipliers is applied. The solution is a stationary point of the function def ε(β0 , . . . , βN−1 , µ) = W −W |Ht (F ) − H(F )|2 dF +µ · N−1 |βm | − E 2 (50) m=0 For ease of use, the integral is expanded before the partial differentials are calculated W −W |Ht (F ) − H(F )|2 dF = W −W − −W − + |Ht (F )|2 dF W W −W N−1 (53) Considering Equation (53), one gets APPENDIX B ∂w∗k =0 ∂wk + µβn∗ (54) Setting the partial differential to zero yields the optimum DPSWF weighting coefficients W 1 βn = Ht (F ) ej2π(N0 +(N−1)/2)F Un (F ) dF λn + µ −W = λn ᾱn λn + µ (55) The partial derivative of ε w.r.t. µ yields the energy constraint Equation (37). The Langrangian multiplier µ remains an implicitly defined function of the energy E. LIST OF SYMBOLS Ht (F ) ej2π(N0 +(N−1)/2)F N−1 m=0 Ht∗ (F ) e−j2π(N0 +(N−1)/2)F ∗ βm Um (F ) dF N−1 βm Um (F ) dF m=0 λm |βm |2 (51) m=0 where H(F ) according to Equation (32) was inserted, and the orthogonality of the DPSWFs according to Equation (19) was utilised. Since the DPSWF weighting factors can be imaginary, Schwartz’ definition of a complex derivative is used ∂ 1 = ∂wk 2 −W + λn βn∗ ∂ ∂ −j ∂xk ∂yk Copyright © 2008 John Wiley & Sons, Ltd. (52) Variable Meaning E Et Et(W) F f k H(F ) Ht (F ) Hc (f ) Hc,t (f ) h[k] hc (t) hc,t (t) N N N0 T t Um (F ) vm [k] (total) energy (total) energy of a target function energy of a target function in (−W, W) (normalised) frequency variable w.r.t. DT frequency variable w.r.t. CT discrete-time (DT) variable transfer function of a DT system target transfer function of a DT system transfer function of a CT system target transfer function of a CT system impulse response of a DT system impulse response of a CT system impulse response of a target transfer function w.r.t. a CT system DPSS length number of utilised DPSSs (N N) first DT index of an indexlimited sequence of length N sampling period continuous-time (CT) variable mth DPSWF mth DPSS Eur. Trans. Telecomms. (2008) DOI: 10.1002/ett CAUSAL DISCRETE-TIME SYSTEM APPROXIMATION W w(F ) αm ᾱm βm δmn δ ε m λm µ xc xc (f ) yc xc (f ) xx (F ) yx (F ) φxx (τ) φyx (τ) φxx [κ] φyx [κ] τ (normalised) cut-off frequency w.r.t. DT weighting function weight of the mth DPSS/DPSWF weight of the mth DPSS/DPSWF (optimal) weight of the mth DPSS/DPSWF Kronecker delta real number between 0 and 1 squared integral error constant relating vm [k] and Um (F ) mth eigenvalue Lagrangian multiplier (energy dependent) CT power spectral density function CT cross-power spectral density function DT power spectral density function DT cross-power spectral density function CT autocorrelation function CT cross-correlation function DT autocorrelation function DT cross-correlation function constant w.r.t. Example 2 ACKNOWLEDGEMENT The authors would like to thank Professor W. Kellermann for pointing us to the DPSSs and DPSWFs. REFERENCES 1. Wyner AD. An analog scrambling scheme which does not expand bandwidth, part I: discrete time. IEEE Transactions on Information Theory 1979; IT-25(3):261–274. 2. Tufts DW, Francis JT. Designing digital low-pass filters—comparison of some methods and criteria. IEEE Transactions on Audio and Electroacoustics 1970; AU-18(4):487–494. 3. Zemen T, Mecklenbräuker CF. Time-variant channel estimation using discrete prolate spheroidal sequences. IEEE Transactions on Signal Processing 2005; 53(9):3597–3607. 4. Zemen T, Mecklenbräuker CF, Kaltenberger F, Fleury BH. Minimumenergy band-limited predictor with dynamic subspace selection for time-variant flat-fading channels. IEEE Transactions on Signal Processing 2007; 55(9):4534–4548. 5. Oppenheim AV, Schafer RW, Buck JR. Discrete-Time Signal Processing, (2nd edn). Prentice-Hall: NJ, 1999. 6. ETSI. ETSI TS 101 270-1 V1.4.1, Technical specification, transmission and multiplexing (TM); access transmission systems on metallic access cables; very high speed digital subscriber line (VDSL); part 1: functional requirements. 2005. 7. Valenti C. NEXT and FEXT models for twisted-pair North American loop plant. IEEE Journal on Selected Areas in Communications 2002; 20(5):893–900. 8. Voglgsang A. Modell für Nebensprechstörungen auf xDSL-Leitungen und dessen praktische Umsetzung. Ph.D. Dissertation, Technische Universität München, September 2003. 9. Wozencraft JM, Jacobs IM. Principles of Communication Engineering. John Wiley & Sons, 1965. 10. Slepian D. Prolate spheroidal wave functions, Fourier analysis, and uncertainty—V: the discrete case. The BELL System Technical Journal 1978; 57(5):1371–1430. 11. Gruenbacher DM, Hummels DR. A simple algorithm for generating discrete prolate spheroidal sequences. IEEE Transactions on Signal Processing 1994; 42(11):3276–3278. 12. Slepian D, Pollak HO. Prolate spheroidal wave functions, Fourier analysis and uncertainty—I. The BELL System Technical Journal 1961; 40(1):43–64. 13. Landau HJ, Pollak HO. Prolate spheroidal wave functions, Fourier analysis, and uncertainty—II. The BELL System Technical Journal 1961; 40(1):65–84. 14. Landau HJ, Pollak HO. Prolate spheroidal wave functions, Fourier analysis, and uncertainty—III. The BELL System Technical Journal 1962; 41(4):1295–1336. 15. Slepian D. Prolate spheroidal wave functions, Fourier analysis, and uncertainty—IV. The BELL System Technical Journal 1964; 43(6):3009–3058. AUTHORS’ BIOGRAPHIES Roman Tzschoppe received his Dipl.-Ing. degree in electrical engineering in 2001 from the University of Erlangen-Nuremberg, Germany. Since 2001, he works as a Ph.D. student at the Institute for Information Transmission, University of Erlangen-Nuremberg, Germany. His research activities include crosstalk cancellation for DSL, digital watermarking and steganography. Johannes B. Huber received his Dipl.-Ing. degree in electrical engineering from the Technische Universität, München. From the Universität der Bundeswehr, München, he received the Dr-Ing. degree with a thesis on coding for channels with memory and the Dr Habil. degree with a thesis on trellis coded modulation. Since 1991, he is Professor at the Universität Erlangen-Nürnberg, Germany. His research interests are information and coding theory, modulation schemes, high rate baseband transmission, algorithms for signal detection and adaptive equalisation for channels with severe intersymbol interference, signalling, detection and equalisation for multipleinput multiple-output (MIMO) channels and concatenated coding together with iterative decoding. Professor Huber received the Research Award of the German Society of Information Technology (ITG) in 1988 and 2000 and the Vodafone award for innovations in mobile communications 2004. In 2005, he was elected as IEEE Fellow. Copyright © 2008 John Wiley & Sons, Ltd. Eur. Trans. Telecomms. (2008) DOI: 10.1002/ett
© Copyright 2026 Paperzz