Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Consider a probability model with sample space on the interval $[0,a]$ where $a$ is a finite positive real number. Consider two probability distributions $P_1$ and $P_2$ on the sample space, where $P_2$ is obtained by shifting an infinitesimal probability $dP$ from position $x_1$ in the interval to $x_2$. Random variable $X$ is defined as $X(\omega)=\omega$ on the interval. Assume the mean of $X$ under $P_1$ is $E(X)$.

Find a condition that does not involve $dP$ that is necessary and sufficient for $d(Var(X))\le 0$. If $P_1$ has mass of 0.5 at the ends of the interval, show that the condition is satisfied for all $x_1$ and $x_2$.

I picked this problem from an old book of mine. The condition I got to was $x_2+x_1-a\le 0$. However this seems to be dependent on $a$ and is not true for all $x_1$ and $x_2$ as the second problem demands.

share|cite|improve this question
up vote 1 down vote accepted

Let us paraphrase the question: what small transformations of a distribution on an interval lead to decrease in variance?

Intuitively, you must bring the mass towards the mean to reduce the variance. I.e. the condition should be something like $|x_1-E(X)|\ge|x_2-E(X)|$.

To prove this formally, first, consider a discrete distribution: that takes the value $x_i$ with probability $p_i$. Then, the variance is $Var(X)=\sum_ip_i(x_i-E(X))^2$. To see what happens when you shift it such that $p_1$ becomes $p_1-\epsilon$ and $p_2$ becomes $p_2+\epsilon$ we need to take the partial derivative of the expression above keeping in mind that $\frac{\partial p_2}{\partial p_1}=-1$ and, given that, we also have $\frac{\partial E(X)}{\partial p_1}=x_1-x_2$. Therefore, $\frac{\partial Var(X)}{\partial p_1}=(x_1-E(X))^2-(x_2-E(X))^2-2(x_1-x_2)\sum_ip_i(x_i-E(X))$, the last term being zero. We need this expression to be non-negative (decrease in $p_1$ leads to decrease in $Var(X)$). Hence, we obtain the condition as above.

You can easily generalize the proof to any distribution.

Now, it seems quite obvious why the condition holds for the distribution in the question.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.