 StatLect

# Legitimate probability density functions

This lecture discusses two properties characterizing probability density functions (pdfs). Not only any pdf satisfies these two properties, but also any function that satisfies these two properties is a legitimate pdf. ## Properties of probability density functions

The following proposition formally describes the two properties.

Proposition Let be a continuous random variable. Its probability density function, denoted by , satisfies the following two properties:

1. Non-negativity: for any ;

2. Integral over equals : .

Proof

Remember that, by the definition of a pdf, is such that for any interval . Probabilities cannot be negative, therefore and for any interval . But the above integral can be non-negative for all intervals only if the integrand function itself is non-negative, that is, if for all . This proves property 1 above (non-negativity).

Furthermore, the probability of a sure thing must be equal to . Since is a sure thing, then which proves property 2 above (integral over equals ).

## Identification of legitimate probability density functions

Any pdf must satisfy property 1 and 2 above. It can be demonstrated that also the converse holds: any function enjoying these properties is a pdf.

Proposition Let be a function satisfying the following two properties:

1. Non-negativity: for any ;

2. Integral over equals : .

Then, there exists a continuous random variable whose pdf is .

This proposition gives us a powerful method for constructing probability density functions. Take any non-negative function (non-negative means that for any ). If the integral exists and is finite and strictly positive, then define  is strictly positive, thus is non-negative and it satisfies property 1. It also satisfies Property 2 because Thus, any non-negative function can be used to build a pdf if its integral over exists and is finite and strictly positive.

Example Define a function as follows: How do we construct a pdf from ? First, we need to verify that is non-negative. But this is true because is always non-negative. Then, we need to verify that the integral of over exists and is finite and strictly positive: Having verified that exists and is finite and strictly positive, we can define By the above proposition, is a legitimate pdf.

## Solved exercises

Below you can find some exercises with explained solutions.

### Exercise 1

Consider the following function: where . Prove that is a legitimate probability density function.

Solution

Since and the exponential function is strictly positive, for any , so the non-negativity property is satisfied. The integral property is also satisfied because ### Exercise 2

Consider the following function: where and . Prove that is a legitimate probability density function.

Solution implies , so for any and the non-negativity property is satisfied. The integral property is also satisfied because ### Exercise 3

Consider the following function: where and is the Gamma function. Prove that is a legitimate probability density function.

Solution

Remember the definition of Gamma function:  is obviously strictly positive for any , since is strictly positive and is strictly positive on the interval of integration (except at where it is ). Therefore, satisfies the non-negativity property because the four factors in the product are all non-negative on the interval .

The integral property is also satisfied because The book

Most of the learning materials found on this website are now available in a traditional textbook format.

Glossary entries
Share