Linear Time-Variant Systems

The Channel Moves — And So Must Our Model

The LTI framework of Section 4.1 assumes the system does not change over time. But a wireless channel between a moving user and a base station changes continuously: scatterers move, the propagation path lengths vary, and the received signal fades. To model this, we need linear time-variant (LTV) systems — a generalisation where the impulse response depends on both the observation time tt and the delay τ\tau.

Definition:

Linear Time-Variant (LTV) System

An LTV system maps input x(t)x(t) to output y(t)y(t) via the time-variant impulse response h(t,τ)h(t, \tau):

y(t)=h(t,τ)x(tτ)dτ.y(t) = \int_{-\infty}^{\infty} h(t, \tau)\,x(t - \tau)\,d\tau.

Here h(t,τ)h(t, \tau) is the response at time tt to an impulse applied τ\tau seconds earlier.

  • tt: observation time
  • τ\tau: delay variable

Special case: If h(t,τ)=h(τ)h(t, \tau) = h(\tau) (independent of tt), the system is LTI and the expression reduces to standard convolution.

,

Definition:

Time-Variant Transfer Function

The time-variant transfer function is the Fourier transform of h(t,τ)h(t, \tau) with respect to τ\tau:

H(t,f)=h(t,τ)ej2πfτdτ.H(t, f) = \int_{-\infty}^{\infty} h(t, \tau)\,e^{-j2\pi f\tau}\,d\tau.

At each time tt, H(t,f)H(t, f) describes the channel's frequency response. The input-output relation becomes

Y(t,f)=H(t,f)X(f)Y(t, f) = H(t, f)\,X(f)

only instantaneously — unlike LTI systems, different times see different frequency responses.

Definition:

Doppler Spread Function

Taking the Fourier transform of h(t,τ)h(t, \tau) with respect to tt yields the spreading function:

S(ν,τ)=h(t,τ)ej2πνtdtS(\nu, \tau) = \int_{-\infty}^{\infty} h(t, \tau)\,e^{-j2\pi \nu t}\,dt

where ν\nu is the Doppler frequency (Hz).

The spreading function describes how the channel spreads an input impulse simultaneously in delay (τ\tau) and Doppler (ν\nu). For the wireless channel:

  • τ\tau spread \to delay spread (multipath)
  • ν\nu spread \to Doppler spread (mobility)

Theorem: Bello's System Functions

An LTV system is completely described by four equivalent system functions, related by Fourier transforms:

Function Variables FT pair
h(t,τ)h(t, \tau) time, delay Ft\xleftrightarrow{\mathcal{F}_t}
S(ν,τ)S(\nu, \tau) Doppler, delay Fτ\xleftrightarrow{\mathcal{F}_\tau}
H(t,f)H(t, f) time, frequency Ft\xleftrightarrow{\mathcal{F}_t}
B(ν,f)B(\nu, f) Doppler, frequency

Any one determines all others. This framework, due to Bello (1963), is the standard for wireless channel characterisation.

Think of it as a 2D Fourier transform grid. The delay–time function h(t,τ)h(t,\tau) sits in one corner; successive Fourier transforms in tt or τ\tau move you to the other three corners.

,

Historical Note: Philip Bello and the System Functions Framework

In 1963, Philip Bello published his landmark paper "Characterization of Randomly Time-Variant Linear Channels," establishing the four system functions framework that remains the standard model for wireless channels to this day. Bello's insight was to apply the theory of LTV systems specifically to radio channels, introducing the key assumptions (WSSUS) that make statistical characterisation tractable.

Definition:

Coherence Time and Coherence Bandwidth

The coherence time TcT_c is the time duration over which the channel impulse response remains approximately constant:

Tc1BDT_c \approx \frac{1}{B_D}

where BDB_D is the Doppler spread (maximum Doppler frequency).

The coherence bandwidth BcB_c is the frequency range over which the channel frequency response is approximately flat:

Bc1στB_c \approx \frac{1}{\sigma_\tau}

where στ\sigma_\tau is the RMS delay spread.

These are approximate inverse relationships:

  • Large Doppler spread \Rightarrow small coherence time (fast fading)
  • Large delay spread \Rightarrow small coherence bandwidth (frequency-selective fading)
,

Definition:

Quasi-Static (Block Fading) Approximation

If the symbol duration TsymTcT_{\text{sym}} \ll T_c, the channel changes negligibly over one symbol and can be treated as LTI within each symbol. This is the quasi-static or block fading model:

h(t,τ)h(τ)for t[0,Tsym].h(t, \tau) \approx h(\tau) \quad \text{for } t \in [0, T_{\text{sym}}].

The channel is modelled as a sequence of LTI systems, each with a different (random) impulse response. This simplification is valid for most current cellular systems (LTE, 5G NR) at pedestrian speeds and is widely used in information-theoretic analyses.

Example: Doppler Spread from Vehicle Speed

A mobile terminal moves at v=120v = 120 km/h. The carrier frequency is fc=2f_c = 2 GHz. Find the maximum Doppler frequency, the coherence time, and determine whether a symbol duration of Tsym=71  μT_{\text{sym}} = 71\;\mus (one OFDM symbol in LTE) satisfies the quasi-static assumption.

Common Mistake: Time-Variant Impulse Response Conventions

Mistake:

Confusing h(t,τ)h(t, \tau) with h(τ,t)h(\tau, t) or treating τ\tau as absolute time rather than delay.

Correction:

In the convention used here (and in most communications texts), h(t,τ)h(t, \tau) means: the output at time tt due to an impulse at time tτt - \tau. So τ\tau is the delay (time elapsed since the impulse), and tt is the observation time. Some references (e.g., Oppenheim & Willsky) define h(t,σ)h(t, \sigma) where σ\sigma is the absolute time of the impulse. The two are related by σ=tτ\sigma = t - \tau. Always check which convention a reference uses before borrowing results.

LTI vs. LTV Systems

PropertyLTILTV
Impulse responseh(τ)h(\tau)h(t,τ)h(t, \tau)
Transfer functionH(f)H(f)H(t,f)H(t, f)
Input–output (time)y=xhy = x * hy(t)=h(t,τ)x(tτ)dτy(t) = \int h(t,\tau) x(t-\tau)\,d\tau
Input–output (freq)Y(f)=X(f)H(f)Y(f) = X(f)H(f)No simple product
Eigenfunctionsej2πfte^{j2\pi ft}None in general
When to useStatic / slowly varying channelMobile / fast fading channel

Quick Check

A mobile at 60 km/h uses a 900 MHz carrier. Approximately what is the coherence time?

0.180.18 ms

2020 ms

200200 ms

22 ms

Why This Matters: From LTV Theory to Statistical Channel Models

The LTV framework introduced here provides the mathematical language for the wireless channel. Chapter 6 (Small-Scale Fading and Statistical Channel Models) applies this framework to model real wireless channels: Rayleigh and Ricean fading statistics arise from the random time-variant impulse response h(t,τ)h(t, \tau), the WSSUS assumption makes Bello's system functions tractable, and the coherence time/bandwidth defined here directly determine whether fading is flat or frequency-selective.

Delay–Doppler Processing in Modern Waveforms

The spreading function S(ν,τ)S(\nu, \tau) places the channel in the delay–Doppler domain — exactly the domain exploited by OTFS (Orthogonal Time Frequency Space) modulation. OTFS places information symbols on a delay–Doppler grid and processes the channel in a domain where it is sparse and quasi-static even at high mobility. The OTFS book covers this in depth, building directly on the Bello system functions framework from this section.

Linear Time-Variant System

A linear system whose impulse response h(t,τ)h(t, \tau) depends on both observation time tt and delay τ\tau. The wireless channel is the prototypical LTV system.

Related: Linear Time-Invariant (LTI) System, Doppler Spread, Coherence Time and Coherence Bandwidth

Coherence Time

The time duration over which the channel response is approximately constant. Tc1/BDT_c \approx 1/B_D where BDB_D is the Doppler spread.

Related: Doppler Spread, Quasi-Static (Block Fading) Approximation, Quasi-Static (Block Fading) Approximation

Doppler Spread

The range of Doppler frequencies introduced by relative motion between transmitter and receiver. fD=vfc/cf_D = vf_c/c.

Related: Coherence Time and Coherence Bandwidth, Linear Time-Variant (LTV) System, Block Fading Approximation

Coherence Bandwidth

The frequency range over which the channel has approximately constant gain. Bc1/στB_c \approx 1/\sigma_\tau where στ\sigma_\tau is the RMS delay spread.

Related: Mean Excess Delay and RMS Delay Spread, Frequency Selective Fading