Reading
Stories Mode

Common Discrete Signals

~10 min read Lesson 1 of Module 3

The Alphabet of Discrete-Time Signals

The previous module established how a continuous signal becomes a sequence of numbers through sampling and quantization. Module 3 begins with a question: what kinds of discrete-time signals actually exist? Just as the Latin alphabet provides a finite set of letters from which all words can be built, a small set of canonical discrete-time signals serves as the vocabulary for everything in DSP.

These fundamental sequences — the unit impulse, the unit step, the exponential, and the sinusoid — are not merely textbook abstractions. They appear constantly in practice: exponentials describe charging and discharging behavior, sinusoids represent every periodic signal, and the unit impulse is the cornerstone of system analysis. Understanding them thoroughly is prerequisite to everything that follows: convolution, the Z-transform, filters, and the Fourier transform all reduce ultimately to how systems respond to these basic signals.

Signal 1
Unit Impulse δ[n]
One at n = 0, zero everywhere else. The ultimate building block.
Signal 2
Unit Step u[n]
Zero for n < 0, one for n ≥ 0. Models switching behavior.
Signal 3
Exponential x[n] = Aαn
Grows or decays geometrically. Real or complex-valued.
Signal 4
Sinusoid x[n] = A cos(ωn + φ)
The discrete analog of a continuous-time sinusoid.

The Unit Impulse: δ[n]

The unit impulse (also called the Kronecker delta or discrete impulse) is the simplest non-trivial discrete-time signal: it equals one at sample index zero and zero at every other index. Despite its simplicity — or perhaps because of it — the unit impulse is the single most important signal in discrete-time analysis.

Unit Impulse Definition
\delta[n] = \begin{cases} 1 & n = 0 \\ 0 & n \neq 0 \end{cases}
The Kronecker delta: a single spike of height one at the origin, zero everywhere else. Unlike the continuous-time Dirac delta, it is a perfectly ordinary number — no generalized function theory needed.

The impulse can be shifted to any index n0 by writing δ[n − n0]: a spike at n = n0. This shifted impulse selects the value of any sequence at that index: x[n] ⋅ δ[n − n0] = x[n0] ⋅ δ[n − n0]. That sifting property is the reason the impulse is so useful — any sequence can be written as a weighted sum of shifted impulses:

Impulse Decomposition (Sifting)
x[n] = \sum_{k=-\infty}^{\infty} x[k]\,\delta[n - k]
Every discrete-time signal is a superposition of scaled, shifted impulses. This decomposition is why the impulse response of an LTI system fully determines its behavior: if we know how the system responds to a single impulse, we know how it responds to everything.

The Unit Step: u[n]

The unit step function is zero for all negative time indices and one for all non-negative indices. It models the turn-on behavior of a system — the signal that “switches on” at n = 0 and stays on. The unit step is deeply connected to the impulse: the impulse is the first difference of the unit step, and the unit step is the running sum (discrete integral) of the impulse.

Unit Step Definition
u[n] = \begin{cases} 1 & n \geq 0 \\ 0 & n < 0 \end{cases}
Zero before n = 0, one from n = 0 onward.
Impulse–Step Relation
\delta[n] = u[n] - u[n-1]
δ[n] = u[n] − u[n−1]: the first difference of the step.

The unit step is used extensively to describe causal signals — signals that start at some finite time and persist afterward. Multiplying any sequence by u[n − n0] zeroes out everything before index n0, effectively “gating” the signal to begin at n0. This notation appears throughout filter theory and system analysis to indicate that an exponential or sinusoidal sequence is switched on at time zero.

Exponential Sequences

An exponential sequence takes the form x[n] = Aαn, where A is the initial amplitude and α is the base. The behavior depends entirely on the magnitude of α:

|α| < 1: The sequence decays toward zero as n increases. This is the stable case — the energy in the signal diminishes geometrically. A decaying exponential models the impulse response of a stable first-order recursive filter.

|α| = 1: The sequence neither grows nor decays. If α = 1 the signal is a constant (the unit step); if α = −1 it alternates ±A every sample; if α = ejω it traces a unit circle in the complex plane (the complex sinusoid, discussed below).

|α| > 1: The sequence grows without bound — the unstable case. Such signals arise from unstable systems or diverging iterative processes.

Real Exponential Sequence
x[n] = A\,\alpha^n, \quad \alpha \in \mathbb{R}
A real exponential with |α| < 1 decays; |α| > 1 grows; |α| = 1 stays constant in magnitude. Negative α causes alternating sign (oscillates at the Nyquist frequency f_s/2).
Complex Exponential

When α = rejω, the exponential sequence becomes x[n] = A⋅rn⋅ejωn. The magnitude r controls growth or decay; the angle ω (radians per sample) controls oscillation frequency. Taking the real part gives A⋅rn⋅cos(ωn), a sinusoidal envelope that decays (r < 1) or grows (r > 1) over time. Complex exponentials are the eigenfunctions of LTI systems — the foundation of the Z-transform and DFT.

Sinusoidal Sequences

A discrete-time sinusoid is written x[n] = A cos(ωn + φ), where A is amplitude, ω is the discrete-time frequency in radians per sample, and φ is the phase in radians. This is the direct discrete counterpart of the continuous-time sinusoid x(t) = A cos(2πft + φ), with the substitution t = nTs giving ω = 2πf/fs = 2πfTs.

Discrete-Time Sinusoid
x[n] = A\cos(\omega n + \varphi)
ω is the discrete-time frequency in radians per sample. One full cycle of x[n] spans 2π/ω samples. The range ω ∈ [−π, π] covers all distinct discrete-time frequencies.

Two properties of discrete-time sinusoids are surprising to engineers accustomed to continuous-time signals. First, a discrete sinusoid at frequency ω is identical to one at ω + 2πk for any integer k — adding 2π to the frequency simply reproduces the same sequence. Second, ω = π is the highest representable frequency in a sampled system, corresponding to the Nyquist frequency fs/2. At this frequency the sinusoid is +1, −1, +1, −1, … — alternating every sample.

Discrete-Time Frequency vs. Continuous-Time Frequency

Continuous-time frequency f is measured in hertz: it counts full oscillation cycles per second. Discrete-time frequency ω is dimensionless, measured in radians per sample. The two are related through the sampling period Ts = 1/fs:

Frequency Relationship
\omega = \frac{2\pi f}{f_s} = 2\pi f T_s
ω = 2πf / f_s — normalized to the sampling rate.
Nyquist Limit
\omega_{\max} = \pi \;\Leftrightarrow\; f_{\max} = \frac{f_s}{2}
ω = π corresponds to f_s/2 — the highest frequency in a sampled system.

This normalization has an important implication: the same discrete sequence x[n] = cos(πn/4) represents a different physical frequency depending on the sampling rate. Sampled at 8 kHz it represents a 1 kHz tone; sampled at 44.1 kHz the same sequence represents a 5.5 kHz tone. The discrete sequence itself carries no intrinsic physical frequency — only the combination of sequence and sampling rate has physical meaning.

The Frequency Interval [−π, π]

All distinct discrete-time sinusoids live in the interval ω ∈ [−π, π]. Frequencies outside this range are aliases of frequencies inside it. This is the frequency-domain manifestation of the Nyquist theorem: above π radians per sample, no new information exists — only repetitions.

−π ≤ ω < π  ↔  −fs/2 ≤ f < fs/2

Periodic vs. Aperiodic Discrete Signals

A discrete-time signal x[n] is periodic with period N if x[n + N] = x[n] for all n, where N is a positive integer. Not every discrete-time sinusoid is periodic — this is another key difference from continuous-time signals, where every sinusoid is periodic.

A discrete sinusoid x[n] = A cos(ωn + φ) is periodic if and only if the ratio 2π/ω is rational — that is, 2π/ω = N/k for positive integers N and k. The fundamental period is then the smallest such N.

Periodicity Condition
x[n+N] = x[n] \;\Leftrightarrow\; \frac{2\pi}{\omega} = \frac{N}{k},\; k,N \in \mathbb{Z}^+
For a discrete sinusoid at frequency ω to be periodic, 2π/ω must be rational. If ω/2π = k/N in lowest terms, the fundamental period is N samples.

For example: ω = π/4 gives 2π/ω = 8, so the period is 8 samples — perfectly periodic. But ω = 1 radian/sample gives 2π/1 = 2π, which is irrational, so the sinusoid cos(n) is aperiodic: it never exactly repeats. This subtlety matters in the DFT, where we implicitly assume periodicity.

The next lesson explores System Properties: what it means for a discrete-time system to be linear, time-invariant, causal, stable, or memoryless — and why LTI systems are so central to DSP.

Key Takeaways
  • The unit impulse δ[n] equals 1 at n = 0 and 0 elsewhere; any sequence can be written as a sum of scaled, shifted impulses (impulse decomposition).
  • The unit step u[n] equals 1 for n ≥ 0; it is the running sum of the impulse, and the impulse is the first difference of the step.
  • Real exponentials Aαn decay for |α| < 1, stay constant for |α| = 1, and grow for |α| > 1.
  • Complex exponentials ejωn are the eigenfunctions of LTI systems; their magnitude |α| determines stability, and their angle ω determines oscillation frequency.
  • Discrete-time frequency ω (radians/sample) relates to continuous-time frequency via ω = 2πf/fs; the unique range is [−π, π].
  • A discrete sinusoid is periodic only if 2π/ω is rational; otherwise it is aperiodic even though it appears sinusoidal.
Previous Reconstruction & DAC Module Overview Next System Properties