Intereting Posts

Why is the category of groups not closed, or enriched over itself?
How many random samples needed to pick all elements of set?
If $a^2 + b^2 + c^2 = 2$, find the maximum of $\prod(a^5+b^5)$
$f$ is entire and maps a rectangle to a rectangle, then $f$ is linear
Conjecture ${\large\int}_0^\infty\leftdx=\frac{\zeta(3)}{8\pi^2}$
A question about perfect group
Why is this $0 = 1$ proof wrong?
Expected number of (0,1) distributed continuous random variables required to sum upto 1
Borel set preserved by continuous map
Why study finite-dimensional vector spaces in the abstract if they are all isomorphic to $R^n$?
Must a Hermitian/Kähler Manifold have a complex structure?
Problem evaluating $ \int_{0}^{\pi/2}\frac{x}{\tan x}dx $
Global maxima/minima of $f(x,y,z) = x+y+z$ in $A$
Overview of basic facts about Cauchy functional equation
Image under an entire function.

I am trying to develop a proof of the following:

Given a random variable $X$ with symmetric probability density function $f(x)$, prove that $E(X)=a$ where $a$ is the point of symmetry.

A couple of thoughts:

- Free Throw Probability and Expected Number of Points
- Bounds for submartingale
- N white and black balls and N boxes Probability
- What's the probability of a an outcome after N trials, if you stop trying once you're “successful”?
- A proof about random variables
- Variance of the number of empty cells

It’s easy to think of examples where this applies (e.g. normal) and doesn’t (e.g. Cauchy). I am comfortable with calculating expectation, and even handling showing how

$\int_{-\infty}^af(x)dx=\int_{a}^{\infty}f(x)dx$

But if the specific form of the pdf is not specified, is it possible to prove this in general?

Also, how would one go about showing the existence of the expectation in general?

- Intuition for probability density function as a Radon-Nikodym derivative
- Intuition behind using complementary CDF to compute expectation for nonnegative random variables
- What is the name of this theorem, and are there any caveats?
- Sums of independent Poisson random variables
- Given a probability matrix, find probability that person at zero index can go to other rows
- What do $\pi$ and $e$ stand for in the normal distribution formula?
- Indistinguishable particles: obeing “Bose-Einstein Statistics”
- How to win at roulette?
- Count the number of possible solutions
- Top 3 of 4 Dice Rolls

We give two proofs, the first by manipulation of the integral, and a second much shorter one that uses probabilistic language.

**Proof 1:** Symmetry about $a$ means that $f(a+z)=f(a-z)$ for all $z$.

Suppose that the expectation $E(X)$ **exists**. Then

$$E(X)=\int_{-\infty}^\infty xf(x)\,dx.$$

Rewrite as

$$\int_{-\infty}^\infty \left(a +(x-a)\right)f(x)\,dx,$$

and then as

$$\int_{-\infty}^\infty \left(a +(x-a)\right)f(x)\,dx,$$

which is equal to

$$\int_{-\infty}^\infty af(x)\,dx+\int_{-\infty}^\infty (x-a)f(x)\,dx.\tag{1}$$

The first integral is $a$. We need to show the second integral is $0$. This is essentially obvious by symmetry: $(x-a)f(x)$ is an **odd** function. But we do the details.

In the second integral of (1), make the change of variable $y=x-a$. Then the integral becomes

$$\int_{-\infty}^\infty yf(a+y)\,dy.$$

Break up at $y=0$. We get

$$\int_{-\infty}^0 yf(a+y)\,dy +\int_0^\infty yf(a+y)\,dy.\tag{2}$$

For the first integral, make the change of variable $z=-y$. We get

$$\int_{z=\infty}^0 (-1)(-z)f(a-z)\,dz.$$

Using $f(a-z)=f(a+z)$, and some minor fooling with minus signs, we end up with

$$-\int_{z=0}^\infty zf(a+z)\,dz.$$

This cancels the second integral of (2).

**Proof 2:** A more probabilistic (and therefore better) way of doing the problem is to first let $X=a+Y$. Assume that $E(X)$ **exists** (it need not). Then $E(X)=a+E(Y)$. We need to show that $E(Y)=0$.

The density function $g(y)$ of $Y$ is symmetric about $y=0$. It follows that

that the random variable $Y$ has the same distribution as the random variable $-Y$. Thus $E(Y)=E(-Y)=-E(Y)$ and therefore each is $0$.

- How can I prove it to be a well-defined binary operation?
- Solve $x^3 +1 = 2y^3$
- Proving equivalence of Axiom of Choice
- Number of zero digits in factorials
- What is the categorical diagram for the tensor product?
- The function $f(x) = \int_0^\infty \frac{x^t}{\Gamma(t+1)} \, dt$
- Is my proof that $\frac{\pi}{4}=\sum\limits_{n\geq 0}(-1)^n \frac{1}{2n+1}$ correct?
- Not sure which test to use?
- Diophantine equations solved using algebraic numbers?
- Show that $\lbrace x_n : n \in \mathbb{N} \rbrace \cup \lbrace x \rbrace$ is a compact subset of $(X,d)$
- limit $\lim_{n\to ∞}\sin(\pi(2+\sqrt3)^n)$
- Can anybody recommend me a topology textbook?
- Inequality: $(a^3+3b^2+5)(b^3+3c^2+5)(c^3+3a^2+5) \ge 27(a+b+c)^3$
- How prove this$\sum_{i=0}^{m-1}\binom{n-1+i}{i}x^ny^i+\sum_{j=0}^{n-1}\binom{m-1+j}{j}x^my^j=1$
- Why there isn't any solution in positive integers for $z^3 = 3(x^3 +y^3+2xyz)$?