Mixed Distributions and the CDF as the Unifying Object

When a Distribution Is Neither Discrete Nor Continuous

Many real-world random variables do not fit neatly into the discrete or continuous categories. A wireless channel may be completely blocked (zero SNR, a discrete outcome with positive probability) or have a continuously distributed SNR when active. The CDF handles all cases uniformly β€” it is the true universal descriptor β€” and the Dirac delta function provides a notational device to write a unified "density" even for mixed distributions.

Definition:

Mixed Distribution

A random variable XX has a mixed distribution if its CDF FF is piecewise continuous with a countable number of jumps. There exist a continuous CDF F0F_0, a discrete CDF F1F_1, and a parameter q∈(0,1)q \in (0, 1) such that

F(x)=q F0(x)+(1βˆ’q) F1(x).F(x) = q\,F_0(x) + (1-q)\,F_1(x).

The jump at each point xkx_k has size P(X=xk)>0\mathbb{P}(X = x_k) > 0 (the discrete component), while the continuous part contributes probability through a density.

The decomposition reflects the law of total probability: with probability qq, XX is drawn from the continuous component, and with probability 1βˆ’q1-q, from the discrete component.

Definition:

Dirac Delta in Density Expressions

The Dirac delta function Ξ΄(x)\delta(x) is a generalized function satisfying:

  1. δ(x)=0\delta(x) = 0 for x≠0x \neq 0.
  2. βˆ«βˆ’βˆžβˆžΞ΄(x) dx=1\int_{-\infty}^{\infty} \delta(x)\,dx = 1.
  3. For any continuous function hh: βˆ«βˆ’βˆžβˆžh(x) δ(xβˆ’a) dx=h(a)\int_{-\infty}^{\infty} h(x)\,\delta(x - a)\,dx = h(a).

Using the Dirac delta, a mixed distribution with continuous density f0f_0 and point masses pkp_k at locations xkx_k can be written as a single "generalized density":

f(x)=q f0(x)+(1βˆ’q)βˆ‘kpk δ(xβˆ’xk).f(x) = q\,f_0(x) + (1-q)\sum_k p_k\,\delta(x - x_k).

The Dirac delta is not a function in the classical sense but a distribution (in the sense of Schwartz). Its use in probability is a convenient notation that allows us to treat all distributions β€” discrete, continuous, and mixed β€” with a single integral formalism.

Example: The Blocked Channel

A wireless channel is blocked (zero gain) with probability pp and has Rayleigh-distributed gain RR (with parameter Οƒ\sigma) otherwise. Find the CDF and generalized PDF of the channel gain GG.

Example: Clipped Gaussian (Rectifier)

Let X∼N(0,1)X \sim \mathcal{N}(0, 1) and define Y=max⁑(X,0)Y = \max(X, 0) (a half-wave rectifier). Find the CDF and generalized PDF of YY.

Mixed Distribution CDF Visualization

Visualize the CDF of a mixed distribution: a channel that is blocked with probability pp and Rayleigh-distributed otherwise. Observe the jump at g=0g = 0 and the smooth rise for g>0g > 0.

Parameters
0.3
1

Theorem: The CDF as the Universal Descriptor

For any random variable XX (discrete, continuous, mixed, or even singular), the CDF F(x)=P(X≀x)F(x) = \mathbb{P}(X \leq x) is well-defined and satisfies:

  1. FF is non-decreasing and right-continuous.
  2. lim⁑xβ†’βˆ’βˆžF(x)=0\lim_{x \to -\infty}F(x) = 0, lim⁑xβ†’βˆžF(x)=1\lim_{x \to \infty}F(x) = 1.
  3. All probabilities can be computed from FF:
    • P(a<X≀b)=F(b)βˆ’F(a)\mathbb{P}(a < X \leq b) = F(b) - F(a)
    • P(X=a)=F(a)βˆ’F(aβˆ’)\mathbb{P}(X = a) = F(a) - F(a^-)
    • P(X>a)=1βˆ’F(a)\mathbb{P}(X > a) = 1 - F(a)

The CDF uniquely determines the distribution of XX.

Common Mistake: Computing Expectations for Mixed Distributions

Mistake:

Integrating only the continuous part of the density when computing E[X]\mathbb{E}[X] for a mixed distribution, forgetting the discrete component.

Correction:

For a mixed RV XX with continuous density f0f_0 (weight qq) and point masses pkp_k at xkx_k (weight 1βˆ’q1-q):

E[X]=q∫x f0(x) dx+(1βˆ’q)βˆ‘kxk pk\mathbb{E}[X] = q\int x\,f_0(x)\,dx + (1-q)\sum_k x_k\,p_k.

Both parts must be included. Equivalently, integrate xx against the generalized density f(x)=qf0(x)+(1βˆ’q)βˆ‘kpk δ(xβˆ’xk)f(x) = q f_0(x) + (1-q)\sum_k p_k\,\delta(x - x_k).

Quick Check

A mixed RV XX equals 00 with probability 0.40.4 and is Uniform[0,2]\text{Uniform}[0,2] otherwise. What is FX(1)F_X(1)?

0.40.4

0.70.7

0.50.5

0.90.9

πŸ”§Engineering Note

Simulating Mixed Random Variables

To generate samples from a mixed distribution: first draw U∼Uniform[0,1]U \sim \text{Uniform}[0,1]. If U<pU < p (the discrete weight), output the discrete value. Otherwise, generate a sample from the continuous component using inverse transform sampling or any other method. This two-stage procedure directly implements the mixture decomposition and is the standard approach in Monte Carlo simulations of wireless channels with blocking.

Why This Matters: Mixed Distributions in Fading Channels

Mixed distributions arise naturally in wireless propagation. A channel may experience complete blockage (e.g., a vehicle entering a tunnel, or a building obstruction) with some probability, and continuous fading otherwise. The outage analysis of such channels requires the mixed CDF: FΞ³(Ξ³0)=p+(1βˆ’p)Fγ∣active(Ξ³0)F_\gamma(\gamma_0) = p + (1-p)F_{\gamma|\text{active}}(\gamma_0). The discrete jump at Ξ³=0\gamma = 0 represents the irreducible outage floor that no amount of transmit power can overcome.

Dirac Delta Function

A generalized function Ξ΄(x)\delta(x) satisfying Ξ΄(x)=0\delta(x) = 0 for xβ‰ 0x \neq 0 and ∫δ(x) dx=1\int \delta(x)\,dx = 1. Used to represent point masses in the density formalism: P(X=a)=p\mathbb{P}(X = a) = p is encoded as p δ(xβˆ’a)p\,\delta(x - a) in the generalized PDF.

Related: Probability Density Function (PDF)

Key Takeaway

The CDF is the universal representation of a random variable's distribution. It handles discrete, continuous, and mixed distributions without case distinctions. The Dirac delta extends the density formalism to encompass point masses, allowing a single integral notation for all expectations and probabilities.

Historical Note: The Dirac Delta and the Mathematicians

1930–1950

Paul Dirac introduced his "delta function" in his 1930 textbook The Principles of Quantum Mechanics, treating it as an ordinary function with peculiar properties. Mathematicians initially objected β€” no classical function can be zero everywhere except at a point yet integrate to one. Laurent Schwartz's theory of distributions (1945–1950) provided the rigorous foundation, showing that the Dirac delta is a continuous linear functional on a space of test functions. The moral: physicists' and engineers' intuition about the delta function is correct, even if the formal justification requires some functional analysis.