请输入您要查询的字词:

 

单词 DiscreteTimeFourierTransformInRelationWithContinuousTimeFourierTransform
释义

discrete time Fourier transform in relation with continuous time Fourier transform


Fourier TransformsDlmfMathworldPlanetmath of Sampled SignalsFernando Diego Sanz Gamiz

Introduction

Computers are able to handle only finite number of data. Hence, ifwe are to study and treat real world signals (i.e. functionsMathworldPlanetmath ) in a computer, a way to characterize signals by a finite numberof data has to be found.

If we sample the values of the signal x(t) at periodictimes t=nT,n we form the sequence xd[n]=x(nT). Does thissequence contain all the information relative to x(t)?

We know from the sampling theoremMathworldPlanetmath that if the signal x(t)is bandlimited, the sampled sequence allows us to recover theoriginal continuousMathworldPlanetmathPlanetmath time signal provided the sampling frequency1/T is at least twice the maximum frequency of the signal. However,real signals are not of finite bandwidth as this would imply thesignal to be of infiniteMathworldPlanetmath time duration. Therefore, a problem ariseof how well can we approximate the original signal x(t) by thesampled sequence xd[n]. In fact, we are interested in studyingthe spectrum of the original signal based upon the samples xd[n].

While the relationMathworldPlanetmath between xd[n] and the spectrum of x(t)is widely used in communication and electronic engineering books, itis difficult to find a rigorous proof. We cover here the gap betweenengineering daily knowledge and rigorous mathematical proof of thenamed relations establishing under what assumptionsPlanetmathPlanetmath those relationsare valid.

Relation between Discrete Time Fourier Transform and Continuous time Fourier transform

Theorem 1.

Let x:RC be a bounded variationMathworldPlanetmath (it can be, in particular,piecewise smooth) L1 function and let X(ω) be its Fouriertransform 11in the present entry we will take the Fouriertransform of x(t) to be X(ω)=-+x(t)e-jwt𝑑ω. Let TR. If gn(ω)=k=-n+nX(ω-2πkT) convergesPlanetmathPlanetmath a.e as n+ and is thereis M such that |gn(ω)|<M a.e. then

1Tk=-+X(ω-2πkT)=k=-+x(kT+)+x(kT-)2e-jωk in L2([-π,π])(1)

If additionally k=-+X(ω-2πkT) is continuous, theright hand side of (1) converges uniformly to the left handside in any closed intervalDlmfMathworldPlanetmath [a,b][-π,π].

Proof.

By hypothesisMathworldPlanetmath we can form the function

g(ω)=limn+gn(ω)=limn+k=-n+nX(ω-2πkT)

This function is obviously periodic of period 2π and bounded,hence it can be expanded in its Fourier series which converge inL2([-π,π]); the Fourier theory shows that the convergence isuniformly in [a,b][-π,π] if g(ω) iscontinuous.

g(ω)=k=-+X(ω-2πkT)=k=-+ckejωk

where the coefficientsck are given by

ck=12π-ππg(ω)e-jωk𝑑ω=12π-ππlimn+gn(ω)e-jωkdω

As |gn(ω)|<M we can appeal the dominated convergencetheorem to write

12π-ππlimn+gn(ω)e-jωkdω=limn+12π-ππgn(ω)e-jωk𝑑ω
=12πk=-+-π-2kππ+2kπX(ωT)e-jωk𝑑ω
=T2πP.V.-+X(ω)ejω(-kT)𝑑ω

Now, as x(t) is of bounded variation, the Jordan theorem onFourier transform inversion says that

12πP.V.-+X(ω)ejω(-kT)𝑑ω=x(-kT+)+x(-kT-)2

and the result follows.

There are, however, very which do notsatisfy the conditions required in the theoremMathworldPlanetmath above. Such is thecase of the pulse function

rect(t)={1if|t|<12,0if|t|12.

whose Fourier transform is sin(x/2)x/2 -with the definition made infootnote 1-. sinc(x) behaves as 1x, sok=-+sinc(ω-2πkT) will not converge in general 22for monotonedecreasingMathworldPlanetmath functions ”series behaves as integralsDlmfPlanetmath”, that is, ifk=0+f(x-kM) converges or diverges so does0+f; it will converge for those T that makethe series an alternating (http://planetmath.org/AlternatingSeries) one, but not for the rest values of T.Therefore we need another result which somehow relates both sides ofeq 1.


As we have pointed out, the problem with the pulsefunction is that its Fourier transform does not decay rapid enoughfor the series to converge. So we will try smoothing the signal outso that its Fourier transform will decay faster and, hopefully, theseries converges. We wish the smoothed version of x(t) to resemblethe original signal, so uniform approximation seems reasonable. But,as we will see, for an infinite number of samples {nT,n}each of these might require a different degree of approximation andit could be impossible to find an uniform approximation for all thesamples. So, we will focus on time limited signal, for which we havethe following result.

Notation.

𝒟() will denote the set of test functions on and 𝒮the set of rapidly decreasing functions on -the Schwartzspace-. The symbol ^ above a function will denote its Fouriertransform. We know that 𝒟()𝒮 and that the Fouriertransform is an isomorphismPlanetmathPlanetmathPlanetmath of 𝒮 onto itself. The productPlanetmathPlanetmath oftwo functions X and ϕ at ω will be denoted byXϕ(ω). ConvolutionMathworldPlanetmath will be denoted by .

Theorem 2.

Let ϕD(R) be a test function and {ϕj(t)=jϕ(jt),j=1,2,} be an approximate identity.Let x(t) be a time limited bounded variation signal. Ifk=-+Xϕj^(ω-2πkT) converges for allj=1,2, to a continuous function, then

limj1Tk=-+Xϕj^(ω-2πkT)=k=-+x(kT+)+x(kT-)2e-jωk(2)
Proof.

Take the signal (xϕj)(t) whose Fourier transform isXϕ^(ω). This signal satisfies, by hypothesis, theconditions of Theorem 1, so we can write

1Tk=-+Xϕj^(ω-2πkT)=k=-+(xϕj)(kT+)+(xϕj)(kT-)2e-jωk

The right hand side is actually a sum of a finite number of termssince the signal (xϕj)(t) is time limited -being theconvolution of two compact supported functions-. This makes theFourier series a continuous function, which, together with thehypothesis that 1Tk=-+Xϕj^(ω-2πkT) is continuous, shows thatequality in the above equation is pointwisePlanetmathPlanetmath.

Now let j and use the fact that{ϕj(t)} is an approximate identity to obtain equation(2).∎

The rationale behind choosing test functions in the lasttheorem is that, in mostcases,k=-+Xϕj^(ω-2πkT) will converge eventhough k=-+X(ω-2πkT) do not. This is becauserapidly decreasing functions decay faster than 1xαfor any α. So, for example, the Fourier transform of thepulse function has been tamed enough to make the series converge.

Remark 1.

When the signal x(t) is continuous, the right hand side of eqs.(1) or (2) reads

k=-+xd[k]e-jωk

where xd[k]=x(kT). This is defined as the(Discrete Time) Fourier Transform, DTFT of the sequencexd[n]=x(nT)

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 8:20:36