Necessary and sufficient conditions for a strictly positive, continuous function $f:\mathbb{R}\to\mathbb{R}_+$ to be a probability density function

probabilityprobability distributions

Are there any necessary and suffiecient conditions for a given strictly positive continuous function $f:\mathbb{R}\to\mathbb{R}_+$ to be a probability density function of some random variable $X$? I know that for cumulative density functions such conditions exist (e.g., Necessary and Sufficient Conditions for a CDF )

Definetly, we should have that $\int_{\mathbb{R}}f(x)dx=1,$ but is this enough?

Best Answer

Let $f$ be nonnegative measurable function. There exists r.v. $X$ such that $f$ is a PDF of $X$ if and only if $\int_{\mathbb R}f(x)\, dx=1$.

Proof. Consider experiment where we draw a point at random in the area $\Omega=\{(x,y): \,0\leq y \leq f(x), x\in\mathbb R\}$. Let $\mathcal F$ be a collection of Borel subsets of $\Omega$ with $\mathbb P(B)=\lambda(B)$ where $\lambda$ is Lebesgue measure and $\lambda(\Omega)=\int_{\mathbb R}f(x)\,dx=1$.

For each elementary event $\omega=(x,y)\in\Omega$ define $X(\omega)=x$. Then for any Borel set $A\subset \mathbb R$, $$ \mathbb P(X\in A) = \mathbb P\left\{(x,y): x\in A, 0\leq y\leq f(x)\right\} = \int_A f(x)dx $$ since $X\in A$ when a randomly chosen point belongs to the curvlinear region between $x$-axis and the graph of $f$ with the base $A$.

Related Question