Digital Signal Processing is the branch of engineering that, in the space of just a few decades, has enabled unprecedented levels of interpersonal communication and of on-demand entertainment. By reworking the principles of electronics, telecommunication and computer science into a unifying paradigm, DSP is a the heart of the digital revolution that brought us CDs, DVDs, MP3 players, mobile phones and countless other devices. The goal, for students of this course, will be to learn the fundamentals of Digital Signal Processing from the ground up. Starting from the basic definition of a discrete-time signal, we will work our way through Fourier analysis, filter design, sampling, interpolation and quantization to build a DSP toolset complete enough to analyze a practical communication system in detail. Hands-on examples and demonstration will be routinely used to close the gap between theory and practice. To make the best of this class, it is recommended that you are proficient in basic calculus and linear algebra; several programming examples will be provided in the form of Python notebooks but you can use your favorite programming language to test the algorithms described in the course.
3.6.b Existence and properties of the DTFT
Loading...
Из курса от партнера École Polytechnique Fédérale de Lausanne
Digital Signal Processing
285 оценок
Из урока
Module 3: Part 2 - Advanced Fourier Analysis
Познакомьтесь с преподавателями
Paolo PrandoniLecturer
School of Computer and Communication Science
Martin VetterliProfessor
School of Computer and Communication Sciences
So existence means simply that the sum that defines a DTFT does not blow up.
This is easy to prove for absolutely summable sequences.
If you take the magnitude of the DTFT at any point omega,
this is equal to the sum for n that goes from minus infinity to
plus infinity of x[n] times e to the- j omega n in magnitude.
Now, every time you have the absolute value of a sum, you know that this is
maximized by the sum of the absolute values of the elements of the sum.
So we do this and because the magnitude of the complex exponential is one,
this is actually equal to the sum of the absolute values of the sequence.
Since our initial hypothesis was that the sequence was absolutely summable,
this is less than infinity, and therefore the DTFT exists for all values of omega.
Similarly, we can invert the DTFT very easily if we
assume absolute summability of the underlying sequence.
As we showed in the previous module,
the inversion formula is 1 over 2 pi times the integral between minus pi and
pi of the DTFT times e to the j omega n in d omega.
So we replace x of e to the j omega by the definition of
the DTFT in here, and because of the absolute summability of the sequence,
we can invert the summation and the integral.
When we do that, we have the sum for
k that goes from minus infinity to plus infinity of x[k] time this integral here.
So each element of the sequence in the sum is multiplied by this integral which
depends on k.
But now look at the numerator of this fraction here.
This is a complex exponential, and if n is different than k,
this will span an integer number of periods in the -pi, pi integral.
And therefore, the integral will be 0.
So what that means is that this integral is 0 unless n is equal to k,
at which point all the elements in the sum will be killed except for x[n].
And so in the end we have the result we're looking for.
The DTFT looks exactly like an inner product in the space C infinity.
If you take this inner product here between an infinite sequence and
the sequence e to the j omega n, and you write the definition of the inner product,
you get exactly the formulation for the DTFT.
The problem here is that C infinity is not really a well defined vector space.
There are sequences that do not converge in C infinity.
Nonetheless if we manage to establish a formal parallel between a change
of basis and the DTFT, it will mean that everything we discovered about
a DFT which is a well defined entity, will apply to the DTFT as well.
And all our intuition about the frequency domain will translate to the DTFT.
Now the basis here, that we're talking about, is not really a basis, because it's
an infinite and uncountable set of vectors indexed by a real valued variable omega.
So something breaks down really.
We start with sequences, but we end up landing in a space of functions.
On top of it all although we just proved existence and invertibility for
absolutely summable sequences, in reality the DTFT exists for
all square-summable sequences, which is a larger set of sequences.
But in that case the proofs we just gave become much more technical and
so we will skip them here.
Let's sum up the situation so far.
For finite length signals, we start in CN, and
by a change of basis, we compute their representation in the frequency domain,
which as well lives in CN.
We can go back to the original sequence via the inversion formula.
And the basis that allows us to go from the time domain to
the frequency domain is the DFT basis, the Fourier basis for
the DFT, which is a countable set of n Fourier basis vectors.
The DFS is exactly the same.
The expansion and reconstruction formulas are the same,
except that in this case we assume that everything is periodic underneath.
And now we have the DTFT we start from the space of a square summable sequences.
And via a formal change of basis, so, basis here is in quote, we end
up in the space of square integrable functions on the interval minus pi, pi.
By looking at the DTFT as a formal basis of expansion,
the linearity property follows easily from the linearity of the inner product.
So, the DTFT of a linear combination of two sequences
will be the linear combination of the DTFTs.
A second property that is easy to
prove from the definition of the DTFT is a time shift property.
So, if we take a sequence and we shift it in time by big M samples,
the DTFT of this shifted sequence is equal to the DTFT of
the original sequence times a delay factor.
e to the -j omega big M, which is very similar to what we obtained in
the case of the DFS when we took the shift of a periodic sequence.
The dual of this property is the modulation property of the DTFT.
So if we take a sequence and
we multiply this by a complex exponential at frequency omega 0,
what happens in frequency is that we have a shift of the spectrum by omega 0.
The time reversal property tells us that the Fourier transform of a time reversed
sequence, a sequence where we flip the values across the origin,
will be equal to a frequency reversed Fourier transform.
And the conjugation property says that if you conjugate every value of the sequence,
the Fourier transform will be both conjugated and frequency reversed.
Now, some particular cases that are very useful to remember,
because they appear often, first of all,
if the sequence is symmetric, then the DTFT is symmetric as well.
If the sequence is real, then the DTFT is Hermitian-symmetric.
The reality of the sequence can be expressed mathematically by
saying that x[n] is equal to the conjugate of x[n].
This infrequency implies that the Fourier transform of the sequence is equal to
the conjugate and frequency reversed version of the Fourier transform.
A simple corollary of this property is the fact that if x[n] is real,
then the magnitude of DTFT is symmetric.
You can verify this simply by taking the magnitude of both terms of this equation.
And an even more special case states that if x[n] is real and
symmetric, then X of j omega is also real and symmetric.
So this all looks nice and fine.
It looks like we have a full fledged basis expansion and
that the DTFT is just another version of the DFT.
Ознакомьтесь с нашим каталогом
Присоединяйтесь бесплатно и получайте персонализированные рекомендации, обновления и предложения.
Coursera делает лучшее в мире образование доступным каждому, предлагая онлайн-курсы от ведущих университетов и организаций.
© Coursera Inc., 2018 Все права защищены.
