St · Statistics & Probability

What Is the Expectation of a Function Symmetric About Zero?

Published By the 9to5Science editorial team

At a glance

  1. 1. Check the symmetry

    A function symmetric about zero is even: its values satisfy g(-x) = g(x).

  2. 2. Check the distribution

    A zero-symmetric random variable has the same distribution as its negative.

  3. 3. Use the right identity

    Even functions do not generally have expectation zero; odd functions do, when their expectations exist.

  4. 4. Verify integrability

    Check that the expected absolute value of the function is finite before using symmetry to conclude an expectation is zero.

“Symmetric about zero” can describe either a function or a random variable, and the distinction matters. A function symmetric about zero is even: g(−x)=g(x)g(-x)=g(x). A random variable symmetric about zero has the same distribution as its negative: XX and −X-X have the same distribution.

If both are symmetric in these respective senses, the expected value of the function is generally not zero. Instead, evenness lets you combine the contributions from positive and negative values. By contrast, an integrable odd function has expectation zero under a zero-symmetric distribution.

What evenness does to an expectation

For a continuous random variable with density fXf_X, the expectation is

E[g(X)]=∫−∞∞g(x)fX(x) dx,\mathbb{E}[g(X)] = \int_{-\infty}^{\infty} g(x)f_X(x)\,dx,

when the integral is defined. If XX is symmetric about zero and has a density, then its density is even almost everywhere: fX(−x)=fX(x)f_X(-x)=f_X(x) for almost every xx. If gg is even too, then the product g(x)fX(x)g(x)f_X(x) is even almost everywhere, so

E[g(X)]=2∫0∞g(x)fX(x) dx.\mathbb{E}[g(X)] = 2\int_0^{\infty} g(x)f_X(x)\,dx.

This formula doubles the contribution from the positive half of the distribution; it does not make that contribution cancel. The same idea works for discrete distributions: the contributions from X=xX=x and X=−xX=-x add when gg is even.

For any random variable XX and even function gg, g(X)=g(∣X∣)g(X)=g(|X|) pointwise. Thus, when the expectation exists, E[g(X)]=E[g(∣X∣)]\mathbb{E}[g(X)]=\mathbb{E}[g(|X|)] for even gg.

Worked examples with a standard normal variable

Let XX have the standard normal distribution. Its density is symmetric about zero.

First take g(x)=x2g(x)=x^2. This function is even, and the standard normal has variance 11 and mean 00, so

E[g(X)]=E[X2]=Var⁡(X)+(E[X])2=1.\mathbb{E}[g(X)] = \mathbb{E}[X^2] = \operatorname{Var}(X) + (\mathbb{E}[X])^2 = 1.

The result is positive, not zero. The density-and-symmetry calculation says the same thing:

E[X2]=2∫0∞x2fX(x) dx=1.\mathbb{E}[X^2] = 2\int_0^{\infty} x^2 f_X(x)\,dx = 1.

For another even function, g(x)=∣x∣g(x)=|x|, the expectation is

E[∣X∣]=2∫0∞xfX(x) dx=2π.\mathbb{E}[|X|] = 2\int_0^{\infty} x f_X(x)\,dx = \sqrt{\frac{2}{\pi}}.

Now take the odd function h(x)=x3h(x)=x^3, for which h(−x)=−h(x)h(-x)=-h(x). The contributions from xx and −x-x cancel. Since a standard normal has a finite third absolute moment, this cancellation is valid and E[X3]=0\mathbb{E}[X^3]=0.

Why odd functions have expectation zero

Suppose XX and −X-X have the same distribution, and hh is odd. If E[∣h(X)∣]<∞\mathbb{E}[|h(X)|]<\infty, then

E[h(X)]=E[h(−X)]=E[−h(X)]=−E[h(X)].\mathbb{E}[h(X)] = \mathbb{E}[h(-X)] = \mathbb{E}[-h(X)] = -\mathbb{E}[h(X)].

The only finite number equal to its own negative is zero. Therefore E[h(X)]=0\mathbb{E}[h(X)]=0.

The integrability condition matters. For example, a standard Cauchy random variable is symmetric about zero, but its mean does not exist. Symmetry does not make its expectation zero: the positive and negative parts both have infinite integral, so they cannot be subtracted to form an expectation. A symmetric improper integral taken as a principal value is not the same as an expected value.

Common mistakes

  • Confusing even and odd functions: g(−x)=g(x)g(-x)=g(x) means even; h(−x)=−h(x)h(-x)=-h(x) means odd. Even contributions pair by addition, while odd contributions pair by cancellation.
  • Assuming an even function has mean zero: For example, X2X^2 is nonnegative, and for a standard normal variable its expectation is 11.
  • Using symmetry of the function alone: An even function does not guarantee a simplified expectation unless the distribution of XX is also symmetric about zero. Without that distributional symmetry, use the usual expectation formula.
  • Ignoring existence: Cancellation proves a zero expectation only when the relevant expectation exists, such as when E[∣h(X)∣]\mathbb{E}[|h(X)|] is finite.

So, if “symmetric about zero” means the function is even, there is no general rule that its expectation is zero. If the random variable is also symmetric about zero, use evenness to reduce the calculation to the nonnegative half-line; use oddness, with integrability, to conclude an expectation is zero.

References

  1. Sheldon Ross, A First Course in Probability

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