Central Moments of Symmetric Distributions

I am trying to show that the central moment of a symmetric distribution: $${\bf f}_x{\bf (a+x)} = {\bf f}_x{\bf(a-x)}$$ is zero for odd numbers. So for instance the third central moment $${\bf E[(X-u)^3] = 0}.$$ I started by trying to show that $${\bf E[(X-u)^3] = E[X^3] -3uE[X^2] + 3u^2E[X] - u^3}.$$ I am not sure where to go from here, any suggestions? Is there a better way to go about proving this?

• Hint: For simplicity, assume that $f$ is symmetric about $0$. You can then show that $E[X]=u=0$ by splitting the integral between $(-\infty,0)$ and $[0,\infty)$ and using the symmetry assumption. Then you just have to show that $E[X^k]=0$ for $k=3,5,7,9,...$. This can be done again by splitting the integral and using a similar argument. – user10525 Jan 2 '13 at 19:29
• But, hint, be careful with @Procrastinator's suggestion (+1)! Otherwise you may "prove" something false! You need to show that each piece of the split integral is finite. (If one is, the other must be as well.) – cardinal Jan 2 '13 at 19:49
• What is the difference between $a$ and $u$? – Henry Jan 2 '13 at 21:19
• @DilipSarwate Why don't you capture all those thoughts in an answer instead of looking for minutiae in comments that does not intend to be comprehensive answers? – user10525 Jan 3 '13 at 18:02
• @Macro: A shame, really. Procrastinator now joins a list of several very valued contributors (in my view) that we've apparently lost over the last few months (or who have severely reduced their activity). On the plus side, it is very nice to see your recent uptick in participation! I hope it will continue. – cardinal Jan 4 '13 at 13:50

This answer aims to make a demonstration that is as elementary as possible, because such things frequently get to the essential idea. The only facts needed (beyond the simplest kind of algebraic manipulations) are linearity of integration (or, equivalently, of expectation), the change of variables formula for integrals, and the axiomatic result that a PDF integrates to unity.

Motivating this demonstration is the intuition that when $f_X$ is symmetric about $a$, then the contribution of any quantity $G(x)$ to the expectation $\mathbb{E}_X(G(X))$ will have the same weight as the quantity $G(2a-x)$, because $x$ and $2a-x$ are on opposite sides of $a$ and equally far from it. Provided, then, that $G(x) = -G(2a-x)$ for all $x$, everything cancels and the expectation must be zero. The relationship between $x$ and $2a-x$, then, is our point of departure.

Notice, by writing $y = x + a$, that the symmetry can just as well be expressed by the relationship

$$f_X(y) = f_X(2a-y)$$

for all $y$. For any measurable function $G$, the one-to-one change of variable from $x$ to $2a-x$ changes $dx$ to $-dx$, while reversing the direction of integration, implying

$$\mathbb{E}_X(G(X)) = \int G(x) f_X(x)dx = \int G(x) f_X(2a - x)dx = \int G(2a-x)f_X(x)dx.$$

Assuming this expectation exists (that is, the integral converges), the linearity of the integral implies

$$\int \left(G(x) - G(2a - x)\right)f_X(x)dx = 0.$$

Consider the odd moments about $a$, which are defined as the expectations of $G_{k,a}(X) = (X-a)^k$, $k = 1, 3, 5, \ldots$. In these cases

\eqalign{ G_{k,a}(x) - G_{k,a}(2a-x) &= (x-a)^k - (2a-x-a)^k \\&= (x-a)^k - (a-x)^k \\ &= (1^k - (-1)^k)(x-a)^k \\&= 2(x-a)^k,}

precisely because $k$ is odd. Applying the preceding result gives

$$0 = \int \left(G_{k,a}(x) - G_{k,a}(2a - x)\right)f_X(x)dx = 2\int (x-a)^k f_X(x)dx.$$

Because the right hand side is twice the $k$th moment about $a$, dividing by $2$ shows that this moment is zero whenever it exists.

Finally, the mean (assuming it exists) is

$$\mu_X = \mathbb{E}_X(X) = \int x f_X(x)dx = \int (2a-x)f_X(x)dx.$$

Once again exploiting linearity, and recalling that $\int f_X(x)dx=1$ because $f_X$ is a probability distribution, we can rearrange the last equality to read

$$2\mu_X = 2\int x f_X(x)dx = 2a\int f_X(x)dx = 2a\times 1 = 2a$$

with the unique solution $\mu_X = a$. Therefore all our previous calculations of moments about $a$ are really the central moments, QED.

Postword

The need to divide by $2$ in several places is related to the fact that there is a group of order $2$ acting on the measurable functions (namely, the group generated by the reflection in the line around $a$). More generally, the idea of a symmetry can be generalized to the action of any group. The theory of group representations implies that when the character of that action on a function is not trivial, it is orthogonal to the trivial character, and that means the expectation of the function must be zero. The orthogonality relations involve adding (or integrating) over the group, whence the size of the group constantly appears in denominators: its cardinality when it is finite or its volume when it is compact.

The beauty of this generalization becomes apparent in applications with manifest symmetry, such as in mechanical (or quantum mechanical) equations of motion of symmetrical systems exemplified by a benzene molecule (which has a 12 element symmetry group). (The QM application is most relevant here because it explicitly calculates expectations.) Values of physical interest--which typically involve multidimensional integrals of tensors--can be computed with no more work than was involved here, simply by knowing the characters associated with the integrands. For instance, the "colors" of various symmetric molecules--their spectra at various wavelengths--can be determined ab initio with this approach.

• (+1) In the section beginning "Consider the odd moments about $a$...", I believe the third line should read $=(1^k-(-1)^k)(x-a)^k$. – assumednormal Jan 4 '13 at 18:48
• @Max Yep: Thank you for reading so carefully! (It's now fixed.) – whuber Jan 4 '13 at 18:56