St · Statistics & Probability

How Does Expected Value Change with the Probability Measure?

Published By the 9to5Science editorial team

At a glance

  1. 1. Fix the random variable

    Treat the random variable as a measurable function on a specified sample space.

  2. 2. Choose the measure

    The probability measure determines how much weight each outcome receives.

  3. 3. Integrate under it

    Compute the expected value as the integral of the function with respect to that measure.

  4. 4. Compare or transform

    For absolutely continuous measures, use the Radon–Nikodym density to express one expectation under the other.

The expected value of a random variable is not determined by the random variable alone. It also depends on the probability measure used to weight the possible outcomes. Thus, the same function on the same sample space can have different expected values under different probability measures.

The standard meaning of this question is: given a random variable and two probability measures, how do you define and compare its expectations? The answer is to integrate the random variable with respect to each measure separately.

Expectation is an integral with respect to a measure

Let (Ω,F)(\Omega,\mathcal{F}) be a measurable space, and let X:Ω→RX: \Omega\to\mathbb{R} be a measurable random variable. If PP is a probability measure on that space, then

EP[X]=∫ΩX(ω) P(dω),\mathbb{E}_P[X]=\int_\Omega X(\omega)\,P(d\omega),

provided the expectation exists. For a real-valued XX, a finite expectation is ensured by EP[∣X∣]<∞\mathbb{E}_P[|X|]<\infty. For nonnegative XX, the integral is defined even if it is infinite.

If QQ is another probability measure on the same measurable space, then its expectation is

EQ[X]=∫ΩX(ω) Q(dω).\mathbb{E}_Q[X]=\int_\Omega X(\omega)\,Q(d\omega).

The function XX has not changed, but the measure assigning probabilities to outcomes has. There is no general reason for these two integrals to be equal.

A finite example

Take Ω={0,1,2}\Omega=\{0,1,2\} and let X(ω)=ωX(\omega)=\omega. Define two probability measures by

Outcome ω\omegaP({ω})P(\{\omega\})Q({ω})Q(\{\omega\})
01/21/21/61/6
11/31/31/31/3
21/61/61/21/2

Each column of probabilities sums to 1. Under PP,

EP[X]=0⋅12+1⋅13+2⋅16=23.\mathbb{E}_P[X]=0\cdot\frac12+1\cdot\frac13+2\cdot\frac16=\frac23.

Under QQ,

EQ[X]=0⋅16+1⋅13+2⋅12=43.\mathbb{E}_Q[X]=0\cdot\frac16+1\cdot\frac13+2\cdot\frac12=\frac43.

The expected value is larger under QQ because QQ gives more probability to the larger outcome 2. This illustrates the basic rule: expectation averages values using the probabilities supplied by the chosen measure.

Changing measure with a density

Sometimes one measure can be described as a reweighting of another. If QQ is absolutely continuous with respect to PP, written Q≪PQ\ll P, the Radon–Nikodym theorem gives a measurable density

L=dQdPL=\frac{dQ}{dP}

such that Q(A)=∫AL dPQ(A)=\int_A L\,dP for measurable sets AA. For a suitable integrable random variable XX, the change-of-measure formula is

EQ[X]=EP[XL].\mathbb{E}_Q[X]=\mathbb{E}_P[XL].

The density LL increases the weight of outcomes that are more likely under QQ than under PP, and decreases the weight of outcomes that are less likely. Since QQ is a probability measure, EP[L]=1\mathbb{E}_P[L]=1.

In the finite example, every outcome has positive probability under PP, so Q≪PQ\ll P. The density values are L(0)=1/3L(0)=1/3, L(1)=1L(1)=1, and L(2)=3L(2)=3. Therefore,

EP[XL]=0⋅12⋅13+1⋅13⋅1+2⋅16⋅3=43,\mathbb{E}_P[XL]=0\cdot\frac12\cdot\frac13+1\cdot\frac13\cdot1+2\cdot\frac16\cdot3=\frac43,

which agrees with EQ[X]\mathbb{E}_Q[X].

If QQ is not absolutely continuous with respect to PP, this density formula cannot in general be used. For example, if PP assigns probability zero to an event that has positive probability under QQ, then no density dQ/dPdQ/dP exists. You can still define EQ[X]\mathbb{E}_Q[X] directly, as long as XX is measurable and integrable under QQ.

When expectations are the same

Different measures can nevertheless give the same expectation for a particular variable. In the finite example, the measures differ, but both give probability 1/31/3 to outcome 1. Consequently, the indicator variable X(ω)=1{1}(ω)X(\omega)=\mathbf{1}_{\{1\}}(\omega) has expectation 1/31/3 under both.

More generally, if XX has the same distribution under PP and QQ, then its expected value is the same under both measures whenever that expectation exists. Equal distributions are sufficient, but they are not necessary for two particular expectations to agree.

Common mistakes

  • Writing E[X]\mathbb{E}[X] without specifying the measure when it matters. In a setting with multiple measures, use EP[X]\mathbb{E}_P[X] and EQ[X]\mathbb{E}_Q[X] to make the choice explicit.
  • Changing the measure but not the probabilities in a discrete calculation. The expectation is a sum of values weighted by the probabilities under the selected measure.
  • Using a density without checking absolute continuity. The formula EQ[X]=EP[X(dQ/dP)]\mathbb{E}_Q[X]=\mathbb{E}_P[X(dQ/dP)] requires Q≪PQ\ll P and appropriate integrability.
  • Assuming every expectation is finite. For an unbounded random variable, verify integrability under the measure being used.

If the phrase “different probability measures” instead means a random object whose values are themselves probability measures, that is a separate setup. One must specify a probability law on the space of measures before taking an expectation of that random object.

References

  1. Probability: Theory and Examples, Rick Durrett
  2. Probability and Measure, Patrick Billingsley

Spotted an error? Send a correction. Read how we write and check articles in our editorial policy.