# Difference between revisions of "Probability density function"

en>Blah314 |
en>AnomieBOT m (Dating maintenance tags: {{Citation needed}}) |
||

Line 1: | Line 1: | ||

[[Image:Boxplot vs PDF.svg|thumb|350px|[[Boxplot]] and probability density function of a [[normal distribution]] {{nowrap|''N''(0, ''σ''<sup>2</sup>)}}.]] | [[Image:Boxplot vs PDF.svg|thumb|350px|[[Boxplot]] and probability density function of a [[normal distribution]] {{nowrap|''N''(0, ''σ''<sup>2</sup>)}}.]] | ||

− | In [[probability theory]], a '''probability density function''' ('''pdf'''), or '''density''' of a [[continuous random variable]], is a function that describes the relative likelihood for this random variable to take on a given value. The probability | + | In [[probability theory]], a '''probability density function''' ('''pdf'''), or '''density''' of a [[continuous random variable]], is a [[Function (mathematics)|function]] that describes the relative likelihood for this random variable to take on a given value. The probability of the random variable falling within a particular range of values is given by the [[integral]] of this variable’s density over that range—that is, it is given by the area under the density function but above the horizontal axis and between the lowest and greatest values of the range. The probability density function is nonnegative everywhere, and its integral over the entire space is equal to one. |

The terms "''probability distribution function''"<ref>[http://planetmath.org/?method=png&from=objects&id=2884&op=getobj Probability distribution function] PlanetMath</ref> and "''probability function''"<ref>[http://mathworld.wolfram.com/ProbabilityFunction.html Probability Function] at Mathworld </ref> have also sometimes been used to denote the probability density function. However, this use is not standard among probabilists and statisticians. In other sources, "probability distribution function" may be used when the [[probability distribution]] is defined as a function over general sets of values, or it may refer to the [[cumulative distribution function]], or it may be a [[probability mass function]] rather than the density. Further confusion of terminology exists because ''density function'' has also been used for what is here called the "probability mass function".<ref>Ord, J.K. (1972) ''Families of Frequency Distributions'', Griffin. ISBN 0-85264-137-0 (for example, Table 5.1 and Example 5.4)</ref> | The terms "''probability distribution function''"<ref>[http://planetmath.org/?method=png&from=objects&id=2884&op=getobj Probability distribution function] PlanetMath</ref> and "''probability function''"<ref>[http://mathworld.wolfram.com/ProbabilityFunction.html Probability Function] at Mathworld </ref> have also sometimes been used to denote the probability density function. However, this use is not standard among probabilists and statisticians. In other sources, "probability distribution function" may be used when the [[probability distribution]] is defined as a function over general sets of values, or it may refer to the [[cumulative distribution function]], or it may be a [[probability mass function]] rather than the density. Further confusion of terminology exists because ''density function'' has also been used for what is here called the "probability mass function".<ref>Ord, J.K. (1972) ''Families of Frequency Distributions'', Griffin. ISBN 0-85264-137-0 (for example, Table 5.1 and Example 5.4)</ref> | ||

==Absolutely continuous univariate distributions== | ==Absolutely continuous univariate distributions== | ||

− | A probability density function is most commonly associated with [[Continuous probability distribution|absolutely continuous]] [[univariate distribution]]s. A [[random variable]] ''X'' has density ''f'', where ''f'' is a non-negative [[Lebesgue integration|Lebesgue-integrable]] function, if: | + | A probability density function is most commonly associated with [[Continuous probability distribution|absolutely continuous]] [[univariate distribution]]s. A [[random variable]] ''X'' has density ''f<sub>X</sub>'', where ''f<sub>X</sub>'' is a non-negative [[Lebesgue integration|Lebesgue-integrable]] function, if: |

− | :<math> \ | + | :<math> \Pr [a \le X \le b] = \int_a^b f_X(x) \, dx .</math> |

− | Hence, if ''F'' is the [[cumulative distribution function]] of ''X'', then: | + | Hence, if ''F<sub>X</sub>'' is the [[cumulative distribution function]] of ''X'', then: |

− | :<math> | + | :<math>F_X(x) = \int_{-\infty}^x f_X(u) \, du ,</math> |

− | and (if ''f'' is continuous at ''x'') | + | and (if ''f<sub>X</sub>'' is continuous at ''x'') |

− | :<math> | + | :<math> f_X(x) = \frac{d}{dx} F_X(x) .</math> |

− | Intuitively, one can think of ''f''(''x'') d''x'' as being the probability of ''X'' falling within the infinitesimal [[interval (mathematics)|interval]] [''x'', ''x'' + d''x'']. | + | Intuitively, one can think of ''f<sub>X</sub>''(''x'') d''x'' as being the probability of ''X'' falling within the infinitesimal [[interval (mathematics)|interval]] [''x'', ''x'' + d''x'']. |

==Formal definition== | ==Formal definition== | ||

(''This definition may be extended to any probability distribution using the [[measure theory|measure-theoretic]] [[probability axioms|definition of probability]].'') | (''This definition may be extended to any probability distribution using the [[measure theory|measure-theoretic]] [[probability axioms|definition of probability]].'') | ||

− | A [[random variable]] ''X'' with values in a [[ | + | A [[random variable]] ''X'' with values in a [[measurable space]] <math>(\mathcal{X}, \mathcal{A})</math> |

− | (usually '''R'''<sup>n</sup> with the Borel | + | (usually '''R'''<sup>n</sup> with the [[Borel set]]s as measurable subsets) has as [[probability distribution#Formal definition|probability distribution]] the measure ''X''<sub>∗</sub>''P'' on <math>(\mathcal{X}, \mathcal{A})</math>: the '''density''' of ''X'' with respect to a reference measure ''μ'' on <math>(\mathcal{X}, \mathcal{A})</math> is the [[Radon–Nikodym derivative]]: |

− | :<math>f = \frac{ | + | :<math>f = \frac{d X_*P}{d \mu} .</math> |

That is, ''f'' is any measurable function with the property that: | That is, ''f'' is any measurable function with the property that: | ||

− | :<math>\Pr [X \in A ] = \int_{X^{-1}A} \, | + | :<math>\Pr [X \in A ] = \int_{X^{-1}A} \, d P = \int_A f \, d \mu</math> |

for any measurable set <math>A \in \mathcal{A}</math>. | for any measurable set <math>A \in \mathcal{A}</math>. | ||

Line 36: | Line 36: | ||

In the [[#Continuous univariate random variable|continuous univariate case above]], the reference measure is the [[Lebesgue measure]]. The [[probability mass function]] of a [[discrete random variable]] is the density with respect to the [[counting measure]] over the sample space (usually the set of [[integer]]s, or some subset thereof). | In the [[#Continuous univariate random variable|continuous univariate case above]], the reference measure is the [[Lebesgue measure]]. The [[probability mass function]] of a [[discrete random variable]] is the density with respect to the [[counting measure]] over the sample space (usually the set of [[integer]]s, or some subset thereof). | ||

− | Note that it is not possible to define a density with reference to an arbitrary measure ( | + | Note that it is not possible to define a density with reference to an arbitrary measure (e.g. one can't choose the counting measure as a reference for a continuous random variable). Furthermore, when it does exist, the density is [[almost everywhere]] unique. |

==Further details== | ==Further details== | ||

Line 46: | Line 46: | ||

</math> | </math> | ||

− | If a random variable ''X'' is given and its distribution admits a probability density function ''f'', then the [[expected value]] of ''X'' (if | + | If a random variable ''X'' is given and its distribution admits a probability density function ''f'', then the [[expected value]] of ''X'' (if the expected value exists) can be calculated as |

: <math> | : <math> | ||

\operatorname{E}[X] = \int_{-\infty}^\infty x\,f(x)\,dx. | \operatorname{E}[X] = \int_{-\infty}^\infty x\,f(x)\,dx. | ||

Line 71: | Line 71: | ||

==Link between discrete and continuous distributions== | ==Link between discrete and continuous distributions== | ||

− | It is possible to represent certain discrete random variables as well as random variables involving both a continuous and a discrete part with a generalized probability density function, by using the [[Dirac delta function]]. For example, let us consider a binary discrete [[random variable]] taking −1 or 1 for values, with probability ½ each. | + | It is possible to represent certain discrete random variables as well as random variables involving both a continuous and a discrete part with a generalized probability density function, by using the [[Dirac delta function]]. For example, let us consider a binary discrete [[random variable]] having the [[Rademacher distribution]]—that is, taking −1 or 1 for values, with probability ½ each. The density of probability associated with this variable is: |

− | |||

− | The density of probability associated with this variable is: | ||

:<math>f(t) = \frac{1}{2}(\delta(t+1)+\delta(t-1)).</math> | :<math>f(t) = \frac{1}{2}(\delta(t+1)+\delta(t-1)).</math> | ||

Line 86: | Line 84: | ||

== Families of densities == | == Families of densities == | ||

− | It is common for probability density functions (and [[probability mass function]]s) to be | + | It is common for probability density functions (and [[probability mass function]]s) to |

+ | be parametrized—that is, to be characterized by unspecified [[parameter]]s. For example, the [[normal distribution]] is parametrized in terms of the [[mean]] and the [[variance]], denoted by <math>\mu</math> and <math>\sigma^2</math> respectively, giving the family of densities | ||

: <math> | : <math> | ||

− | f(x;\mu,\sigma^2) = \frac{1}{\sigma\sqrt{2\pi}} e^{ -\frac{1}{2}\left(\frac{x-\mu}{\sigma}\right)^2 } | + | f(x;\mu,\sigma^2) = \frac{1}{\sigma\sqrt{2\pi}} e^{ -\frac{1}{2}\left(\frac{x-\mu}{\sigma}\right)^2 }. |

</math> | </math> | ||

− | It is important to keep in mind the difference between the domain of a family of densities and the parameters of the family. Different values of the parameters describe different distributions. A given set of parameters describes a single distribution | + | It is important to keep in mind the difference between the [[Domain of a function|domain]] of a family of densities and the parameters of the family. Different values of the parameters describe different distributions of different [[random variable]]s on the same [[sample space]] (the same set of all possible values of the variable); this sample space is the domain of the family of random variables that this family of distributions describes. A given set of parameters describes a single distribution within the family sharing the functional form of the density. From the perspective of a given distribution, the parameters are constants, and terms in a density function that contain only parameters, but not variables, are part of the [[normalization factor]] of a distribution (the multiplicative factor that ensures that the area under the density—the probability of ''something'' in the domain occurring— equals 1). This normalization factor is outside the [[kernel (statistics)|kernel]] of the distribution. |

+ | |||

+ | Since the parameters are constants, reparametrizing a density in terms of different parameters, to give a characterization of a different random variable in the family, means simply substituting the new parameter values into the formula in place of the old ones. Changing the domain of a probability density, however, is trickier and requires more work: see the section below on change of variables. | ||

== Densities associated with multiple variables ==<!-- This section is linked from [[Sufficiency (statistics)]] --> | == Densities associated with multiple variables ==<!-- This section is linked from [[Sufficiency (statistics)]] --> | ||

Line 97: | Line 98: | ||

For continuous [[random variable]]s ''X''<sub>1</sub>, …, ''X<sub>n</sub>'', it is also possible to define a probability density function associated to the set as a whole, often called '''joint probability density function'''. This density function is defined as a function of the ''n'' variables, such that, for any domain ''D'' in the ''n''-dimensional space of the values of the variables ''X''<sub>1</sub>, …, ''X<sub>n</sub>'', the probability that a realisation of the set variables falls inside the domain ''D'' is | For continuous [[random variable]]s ''X''<sub>1</sub>, …, ''X<sub>n</sub>'', it is also possible to define a probability density function associated to the set as a whole, often called '''joint probability density function'''. This density function is defined as a function of the ''n'' variables, such that, for any domain ''D'' in the ''n''-dimensional space of the values of the variables ''X''<sub>1</sub>, …, ''X<sub>n</sub>'', the probability that a realisation of the set variables falls inside the domain ''D'' is | ||

− | :<math>\Pr \left( X_1,\ | + | :<math>\Pr \left( X_1,\cdots,X_N \isin D \right) |

− | = \int_D f_{X_1,\ | + | = \int_D f_{X_1,\cdots,X_N}(x_1,\cdots,x_N)\,dx_1 \cdots dx_N.</math> |

If ''F''(''x''<sub>1</sub>, …, ''x''<sub>''n''</sub>) = Pr(''X''<sub>1</sub> ≤ ''x''<sub>1</sub>, …, ''X''<sub>''n''</sub> ≤ ''x''<sub>''n''</sub>) is the [[cumulative distribution function]] of the vector (''X''<sub>1</sub>, …, ''X''<sub>''n''</sub>), then the joint probability density function can be computed as a partial derivative | If ''F''(''x''<sub>1</sub>, …, ''x''<sub>''n''</sub>) = Pr(''X''<sub>1</sub> ≤ ''x''<sub>1</sub>, …, ''X''<sub>''n''</sub> ≤ ''x''<sub>''n''</sub>) is the [[cumulative distribution function]] of the vector (''X''<sub>1</sub>, …, ''X''<sub>''n''</sub>), then the joint probability density function can be computed as a partial derivative | ||

Line 108: | Line 109: | ||

For ''i''=1, 2, …,''n'', let ''f<sub>X<sub>i</sub></sub>''(''x<sub>i</sub>'') be the probability density function associated with variable ''X<sub>i</sub>'' alone. This is called the “marginal” density function, and can be deduced from the probability density associated with the random variables ''X''<sub>1</sub>, …, ''X<sub>n</sub>'' by integrating on all values of the ''n'' − 1 other variables: | For ''i''=1, 2, …,''n'', let ''f<sub>X<sub>i</sub></sub>''(''x<sub>i</sub>'') be the probability density function associated with variable ''X<sub>i</sub>'' alone. This is called the “marginal” density function, and can be deduced from the probability density associated with the random variables ''X''<sub>1</sub>, …, ''X<sub>n</sub>'' by integrating on all values of the ''n'' − 1 other variables: | ||

− | :<math>f_{X_i}(x_i) = \int f(x_1,\ | + | :<math>f_{X_i}(x_i) = \int f(x_1,\cdots,x_n)\, dx_1 \cdots dx_{i-1}\,dx_{i+1}\cdots dx_n .</math> |

===Independence=== | ===Independence=== | ||

Line 114: | Line 115: | ||

Continuous random variables ''X''<sub>1</sub>, …, ''X<sub>n</sub>'' admitting a joint density are all [[statistical independence|independent]] from each other if and only if | Continuous random variables ''X''<sub>1</sub>, …, ''X<sub>n</sub>'' admitting a joint density are all [[statistical independence|independent]] from each other if and only if | ||

− | :<math>f_{X_1,\ | + | :<math>f_{X_1,\cdots,X_n}(x_1,\cdots,x_n) = f_{X_1}(x_1)\cdots f_{X_n}(x_n).</math> |

===Corollary=== | ===Corollary=== | ||

Line 120: | Line 121: | ||

If the joint probability density function of a vector of ''n'' random variables can be factored into a product of ''n'' functions of one variable | If the joint probability density function of a vector of ''n'' random variables can be factored into a product of ''n'' functions of one variable | ||

− | :<math>f_{X_1,\ | + | :<math>f_{X_1,\cdots,X_n}(x_1,\cdots,x_n) = f_1(x_1)\cdots f_n(x_n),</math> |

(where each ''f<sub>i</sub>'' is not necessarily a density) then the ''n'' variables in the set are all [[statistical independence|independent]] from each other, and the marginal probability density function of each of them is given by | (where each ''f<sub>i</sub>'' is not necessarily a density) then the ''n'' variables in the set are all [[statistical independence|independent]] from each other, and the marginal probability density function of each of them is given by | ||

Line 159: | Line 160: | ||

It is tempting to think that in order to find the expected value ''E''(''g''(''X'')) one must first find the probability density ''f''<sub>''g''(''X'')</sub> of the new random variable {{nowrap|''Y {{=}} g''(''X'')}}. However, rather than computing | It is tempting to think that in order to find the expected value ''E''(''g''(''X'')) one must first find the probability density ''f''<sub>''g''(''X'')</sub> of the new random variable {{nowrap|''Y {{=}} g''(''X'')}}. However, rather than computing | ||

− | :<math> E(g(X)) = \int_{-\infty}^\infty y f_{g(X)}(y)\,dy, </math> | + | :<math> \operatorname E(g(X)) = \int_{-\infty}^\infty y f_{g(X)}(y)\,dy, </math> |

one may find instead | one may find instead | ||

− | :<math>E(g(X)) = \int_{-\infty}^\infty g(x) f_X(x)\,dx.</math> | + | :<math>\operatorname E(g(X)) = \int_{-\infty}^\infty g(x) f_X(x)\,dx.</math> |

The values of the two integrals are the same in all cases in which both ''X'' and ''g''(''X'') actually have probability density functions. It is not necessary that ''g'' be a [[one-to-one function]]. In some cases the latter integral is computed much more easily than the former. | The values of the two integrals are the same in all cases in which both ''X'' and ''g''(''X'') actually have probability density functions. It is not necessary that ''g'' be a [[one-to-one function]]. In some cases the latter integral is computed much more easily than the former. | ||

Line 169: | Line 170: | ||

===Multiple variables=== | ===Multiple variables=== | ||

− | The above formulas can be generalized to variables (which we will again call ''y'') depending on more than one other variable. ''f''(''x''<sub>1</sub>, …, ''x''<sub>''n''</sub>) shall denote the probability density function of the variables that ''y'' depends on, and the dependence shall be {{nowrap|''y {{=}} g''(''x''<sub>1</sub>, …, ''x''<sub>''n''</sub>)}}. Then, the resulting density function is | + | The above formulas can be generalized to variables (which we will again call ''y'') depending on more than one other variable. ''f''(''x''<sub>1</sub>, …, ''x''<sub>''n''</sub>) shall denote the probability density function of the variables that ''y'' depends on, and the dependence shall be {{nowrap|''y {{=}} g''(''x''<sub>1</sub>, …, ''x''<sub>''n''</sub>)}}. Then, the resulting density function is{{Citation needed|date=October 2013}} |

− | :<math> \int\limits_{y = g(x_1, \ | + | :<math> \int\limits_{y = g(x_1, \cdots, x_n)} \frac{f(x_1,\cdots, x_n)}{\sqrt{\sum_{j=1}^n \frac{\partial g}{\partial x_j}(x_1, \cdots, x_n)^2}} \; dV</math> |

− | where the integral is over the entire (n-1)-dimensional solution of the subscripted equation and the symbolic ''dV'' must be replaced by a parametrization of this solution for a particular calculation; the variables ''x''<sub>1</sub>, …, ''x''<sub>''n''</sub> are then of course functions of this parametrization. | + | where the integral is over the entire (''n''-1)-dimensional solution of the subscripted equation and the symbolic ''dV'' must be replaced by a parametrization of this solution for a particular calculation; the variables ''x''<sub>1</sub>, …, ''x''<sub>''n''</sub> are then of course functions of this parametrization. |

− | This derives from the following, perhaps more intuitive representation: Suppose '''''x''''' is an n-dimensional random variable with joint density ''f''. If {{nowrap|'''''y''''' {{=}} ''H''('''''x''''')}}, where ''H'' is a [[bijective]], [[differentiable]] function, then '''''y''''' has density ''g'': | + | This derives from the following, perhaps more intuitive representation: Suppose '''''x''''' is an ''n''-dimensional random variable with joint density ''f''. If {{nowrap|'''''y''''' {{=}} ''H''('''''x''''')}}, where ''H'' is a [[bijective]], [[differentiable]] function, then '''''y''''' has density ''g'': |

: <math>g(\mathbf{y}) = f(\mathbf{x})\left\vert \det\left(\frac{d\mathbf{x}}{d\mathbf{y}}\right)\right \vert</math> | : <math>g(\mathbf{y}) = f(\mathbf{x})\left\vert \det\left(\frac{d\mathbf{x}}{d\mathbf{y}}\right)\right \vert</math> | ||

Line 185: | Line 186: | ||

If the probability density function of independent random variables ''X<sub>i</sub>'', {{nowrap|''i'' {{=}} 1, 2, …''n''}} are given as ''f<sub>X<sub>i</sub></sub>''(''x<sub>i</sub>''), it is possible to calculate the probability density function of some variable {{nowrap|''Y {{=}} G''(''X''<sub>1</sub>, ''X''<sub>2</sub>, …''X<sub>n</sub>'')}}. The following formula establishes a connection between the probability density function of ''Y'' denoted by ''f<sub>Y</sub>''(''y'') and ''f<sub>X<sub>i</sub></sub>''(''x<sub>i</sub>'') using the [[Dirac delta]] function: | If the probability density function of independent random variables ''X<sub>i</sub>'', {{nowrap|''i'' {{=}} 1, 2, …''n''}} are given as ''f<sub>X<sub>i</sub></sub>''(''x<sub>i</sub>''), it is possible to calculate the probability density function of some variable {{nowrap|''Y {{=}} G''(''X''<sub>1</sub>, ''X''<sub>2</sub>, …''X<sub>n</sub>'')}}. The following formula establishes a connection between the probability density function of ''Y'' denoted by ''f<sub>Y</sub>''(''y'') and ''f<sub>X<sub>i</sub></sub>''(''x<sub>i</sub>'') using the [[Dirac delta]] function: | ||

− | :<math>f_Y(y) = \int_{-\infty}^\infty \int_{-\infty}^\infty \ | + | :<math>f_Y(y) = \int_{-\infty}^\infty \int_{-\infty}^\infty \cdots \int_{-\infty}^\infty f_{X_1}(x_1)f_{X_2}(x_2) \cdots f_{X_n}(x_n)\delta(y-G(x_1,x_2,\cdots, x_n))\,dx_1\,dx_2\,\cdots dx_n</math> |

==Sums of independent random variables== | ==Sums of independent random variables== | ||

{{See also|Convolution|List of convolutions of probability distributions}} | {{See also|Convolution|List of convolutions of probability distributions}} | ||

+ | :''Not to be confused with [[Mixture distribution]]'' | ||

The probability density function of the sum of two [[statistical independence|independent]] random variables ''U'' and ''V'', each of which has a probability density function, is the [[convolution]] of their separate density functions: | The probability density function of the sum of two [[statistical independence|independent]] random variables ''U'' and ''V'', each of which has a probability density function, is the [[convolution]] of their separate density functions: | ||

Line 200: | Line 202: | ||

:<math> | :<math> | ||

− | f_{U_{1} + \ | + | f_{U_{1} + \cdots + U_{N}}(x) |

− | = \left( f_{U_{1}} * \ | + | = \left( f_{U_{1}} * \cdots * f_{U_{N}} \right) (x) |

</math> | </math> | ||

Line 246: | Line 248: | ||

:<math>p(Y) = \int_{-\infty}^{\infty} p_U(YZ)\,p_V(Z)\, |Z| \, dZ</math> | :<math>p(Y) = \int_{-\infty}^{\infty} p_U(YZ)\,p_V(Z)\, |Z| \, dZ</math> | ||

− | |||

Note that this method crucially requires that the transformation from ''U,V'' to ''Y,Z'' be [[bijective]]. The above transformation meets this because ''Z'' can be mapped directly back to ''V'', and for a given ''V'' the quotient ''U/V'' is [[monotonic]]. This is similarly the case for the sum ''U+V'', difference ''U-V'' and product ''UV''. | Note that this method crucially requires that the transformation from ''U,V'' to ''Y,Z'' be [[bijective]]. The above transformation meets this because ''Z'' can be mapped directly back to ''V'', and for a given ''V'' the quotient ''U/V'' is [[monotonic]]. This is similarly the case for the sum ''U+V'', difference ''U-V'' and product ''UV''. | ||

Line 279: | Line 280: | ||

==See also== | ==See also== | ||

+ | * [[Density estimation]] | ||

+ | * [[Likelihood function]] | ||

+ | * [[List of probability distributions]] | ||

* [[Probability mass function]] | * [[Probability mass function]] | ||

− | |||

− | |||

* [[Secondary measure]] | * [[Secondary measure]] | ||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

==Bibliography== | ==Bibliography== | ||

Line 320: | Line 313: | ||

| isbn = 0-521-42028-8}} | | isbn = 0-521-42028-8}} | ||

:: Chapters 7 to 9 are about continuous variables. | :: Chapters 7 to 9 are about continuous variables. | ||

+ | |||

+ | {{reflist}} | ||

==External links== | ==External links== | ||

+ | * {{Springer | ||

+ | |title=Density of a probability distribution | ||

+ | |id=D/d031110 | ||

+ | |first=N.G. |last=Ushakov | ||

+ | }} | ||

* {{MathWorld|ProbabilityDensityFunction}} | * {{MathWorld|ProbabilityDensityFunction}} | ||

Line 329: | Line 329: | ||

[[Category:Theory of probability distributions]] | [[Category:Theory of probability distributions]] | ||

[[Category:Concepts in physics]] | [[Category:Concepts in physics]] | ||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− |

## Revision as of 17:49, 16 October 2013

In probability theory, a **probability density function** (**pdf**), or **density** of a continuous random variable, is a function that describes the relative likelihood for this random variable to take on a given value. The probability of the random variable falling within a particular range of values is given by the integral of this variable’s density over that range—that is, it is given by the area under the density function but above the horizontal axis and between the lowest and greatest values of the range. The probability density function is nonnegative everywhere, and its integral over the entire space is equal to one.

The terms "*probability distribution function*"^{[1]} and "*probability function*"^{[2]} have also sometimes been used to denote the probability density function. However, this use is not standard among probabilists and statisticians. In other sources, "probability distribution function" may be used when the probability distribution is defined as a function over general sets of values, or it may refer to the cumulative distribution function, or it may be a probability mass function rather than the density. Further confusion of terminology exists because *density function* has also been used for what is here called the "probability mass function".^{[3]}

## Contents

- 1 Absolutely continuous univariate distributions
- 2 Formal definition
- 3 Further details
- 4 Link between discrete and continuous distributions
- 5 Families of densities
- 6 Densities associated with multiple variables
- 7 Dependent variables and change of variables
- 8 Sums of independent random variables
- 9 Products and quotients of independent random variables
- 10 See also
- 11 Bibliography
- 12 External links

## Absolutely continuous univariate distributions

A probability density function is most commonly associated with absolutely continuous univariate distributions. A random variable *X* has density *f _{X}*, where

*f*is a non-negative Lebesgue-integrable function, if:

_{X}Hence, if *F _{X}* is the cumulative distribution function of

*X*, then:

and (if *f _{X}* is continuous at

*x*)

Intuitively, one can think of *f _{X}*(

*x*) d

*x*as being the probability of

*X*falling within the infinitesimal interval [

*x*,

*x*+ d

*x*].

## Formal definition

(*This definition may be extended to any probability distribution using the measure-theoretic definition of probability.*)

A random variable *X* with values in a measurable space
(usually **R**^{n} with the Borel sets as measurable subsets) has as probability distribution the measure *X*_{∗}*P* on : the **density** of *X* with respect to a reference measure *μ* on is the Radon–Nikodym derivative:

That is, *f* is any measurable function with the property that:

### Discussion

In the continuous univariate case above, the reference measure is the Lebesgue measure. The probability mass function of a discrete random variable is the density with respect to the counting measure over the sample space (usually the set of integers, or some subset thereof).

Note that it is not possible to define a density with reference to an arbitrary measure (e.g. one can't choose the counting measure as a reference for a continuous random variable). Furthermore, when it does exist, the density is almost everywhere unique.

## Further details

Unlike a probability, a probability density function can take on values greater than one; for example, the uniform distribution on the interval [0, ½] has probability density *f*(*x*) = 2 for 0 ≤ *x* ≤ ½ and *f*(*x*) = 0 elsewhere.

The standard normal distribution has probability density

If a random variable *X* is given and its distribution admits a probability density function *f*, then the expected value of *X* (if the expected value exists) can be calculated as

Not every probability distribution has a density function: the distributions of discrete random variables do not; nor does the Cantor distribution, even though it has no discrete component, i.e., does not assign positive probability to any individual point.

A distribution has a density function if and only if its cumulative distribution function *F*(*x*) is absolutely continuous. In this case: *F* is almost everywhere differentiable, and its derivative can be used as probability density:

If a probability distribution admits a density, then the probability of every one-point set {*a*} is zero; the same holds for finite and countable sets.

Two probability densities *f* and *g* represent the same probability distribution precisely if they differ only on a set of Lebesgue measure zero.

In the field of statistical physics, a non-formal reformulation of the relation above between the derivative of the cumulative distribution function and the probability density function is generally used as the definition of the probability density function. This alternate definition is the following:

If *dt* is an infinitely small number, the probability that *X* is included within the interval (*t*, *t* + *dt*) is equal to *f*(*t*) *dt*, or:

## Link between discrete and continuous distributions

It is possible to represent certain discrete random variables as well as random variables involving both a continuous and a discrete part with a generalized probability density function, by using the Dirac delta function. For example, let us consider a binary discrete random variable having the Rademacher distribution—that is, taking −1 or 1 for values, with probability ½ each. The density of probability associated with this variable is:

More generally, if a discrete variable can take *n* different values among real numbers, then the associated probability density function is:

where *x*_{1}, …, *x _{n}* are the discrete values accessible to the variable and

*p*

_{1}, …,

*p*are the probabilities associated with these values.

_{n}This substantially unifies the treatment of discrete and continuous probability distributions. For instance, the above expression allows for determining statistical characteristics of such a discrete variable (such as its mean, its variance and its kurtosis), starting from the formulas given for a continuous distribution of the probability.

## Families of densities

It is common for probability density functions (and probability mass functions) to be parametrized—that is, to be characterized by unspecified parameters. For example, the normal distribution is parametrized in terms of the mean and the variance, denoted by and respectively, giving the family of densities

It is important to keep in mind the difference between the domain of a family of densities and the parameters of the family. Different values of the parameters describe different distributions of different random variables on the same sample space (the same set of all possible values of the variable); this sample space is the domain of the family of random variables that this family of distributions describes. A given set of parameters describes a single distribution within the family sharing the functional form of the density. From the perspective of a given distribution, the parameters are constants, and terms in a density function that contain only parameters, but not variables, are part of the normalization factor of a distribution (the multiplicative factor that ensures that the area under the density—the probability of *something* in the domain occurring— equals 1). This normalization factor is outside the kernel of the distribution.

Since the parameters are constants, reparametrizing a density in terms of different parameters, to give a characterization of a different random variable in the family, means simply substituting the new parameter values into the formula in place of the old ones. Changing the domain of a probability density, however, is trickier and requires more work: see the section below on change of variables.

## Densities associated with multiple variables

For continuous random variables *X*_{1}, …, *X _{n}*, it is also possible to define a probability density function associated to the set as a whole, often called

**joint probability density function**. This density function is defined as a function of the

*n*variables, such that, for any domain

*D*in the

*n*-dimensional space of the values of the variables

*X*

_{1}, …,

*X*, the probability that a realisation of the set variables falls inside the domain

_{n}*D*is

If *F*(*x*_{1}, …, *x*_{n}) = Pr(*X*_{1} ≤ *x*_{1}, …, *X*_{n} ≤ *x*_{n}) is the cumulative distribution function of the vector (*X*_{1}, …, *X*_{n}), then the joint probability density function can be computed as a partial derivative

### Marginal densities

For *i*=1, 2, …,*n*, let *f _{Xi}*(

*x*) be the probability density function associated with variable

_{i}*X*alone. This is called the “marginal” density function, and can be deduced from the probability density associated with the random variables

_{i}*X*

_{1}, …,

*X*by integrating on all values of the

_{n}*n*− 1 other variables:

### Independence

Continuous random variables *X*_{1}, …, *X _{n}* admitting a joint density are all independent from each other if and only if

### Corollary

If the joint probability density function of a vector of *n* random variables can be factored into a product of *n* functions of one variable

(where each *f _{i}* is not necessarily a density) then the

*n*variables in the set are all independent from each other, and the marginal probability density function of each of them is given by

### Example

This elementary example illustrates the above definition of multidimensional probability density functions in the simple case of a function of a set of two variables. Let us call a 2-dimensional random vector of coordinates (*X*, *Y*): the probability to obtain in the quarter plane of positive *x* and *y* is

## Dependent variables and change of variables

If the probability density function of a random variable *X* is given as *f _{X}*(

*x*), it is possible (but often not necessary; see below) to calculate the probability density function of some variable

*Y = g*(

*X*). This is also called a “change of variable” and is in practice used to generate a random variable of arbitrary shape

*f*

_{g(X)}=

*f*using a known (for instance uniform) random number generator.

_{Y}If the function *g* is monotonic, then the resulting density function is

Here *g*^{−1} denotes the inverse function.

This follows from the fact that the probability contained in a differential area must be invariant under change of variables. That is,

or

For functions which are not monotonic the probability density function for *y* is

where *n*(*y*) is the number of solutions in *x* for the equation *g*(*x*) = *y*, and *g*^{−1}_{k}(*y*) are these solutions.

It is tempting to think that in order to find the expected value *E*(*g*(*X*)) one must first find the probability density *f*_{g(X)} of the new random variable *Y = g*(*X*). However, rather than computing

one may find instead

The values of the two integrals are the same in all cases in which both *X* and *g*(*X*) actually have probability density functions. It is not necessary that *g* be a one-to-one function. In some cases the latter integral is computed much more easily than the former.

### Multiple variables

The above formulas can be generalized to variables (which we will again call *y*) depending on more than one other variable. *f*(*x*_{1}, …, *x*_{n}) shall denote the probability density function of the variables that *y* depends on, and the dependence shall be *y = g*(*x*_{1}, …, *x*_{n}). Then, the resulting density function is{{ safesubst:#invoke:Unsubst||date=__DATE__ |$B=
{{#invoke:Category handler|main}}{{#invoke:Category handler|main}}^{[citation needed]}
}}

where the integral is over the entire (*n*-1)-dimensional solution of the subscripted equation and the symbolic *dV* must be replaced by a parametrization of this solution for a particular calculation; the variables *x*_{1}, …, *x*_{n} are then of course functions of this parametrization.

This derives from the following, perhaps more intuitive representation: Suppose * x* is an

*n*-dimensional random variable with joint density

*f*. If

*=*

**y***H*(

*), where*

**x***H*is a bijective, differentiable function, then

*has density*

**y***g*:

with the differential regarded as the Jacobian of the inverse of *H*, evaluated at * y*.

Using the delta-function (and assuming independence) the same result is formulated as follows.

If the probability density function of independent random variables *X _{i}*,

*i*= 1, 2, …

*n*are given as

*f*(

_{Xi}*x*), it is possible to calculate the probability density function of some variable

_{i}*Y = G*(

*X*

_{1},

*X*

_{2}, …

*X*). The following formula establishes a connection between the probability density function of

_{n}*Y*denoted by

*f*(

_{Y}*y*) and

*f*(

_{Xi}*x*) using the Dirac delta function:

_{i}## Sums of independent random variables

{{#invoke:see also|seealso}}

*Not to be confused with Mixture distribution*

The probability density function of the sum of two independent random variables *U* and *V*, each of which has a probability density function, is the convolution of their separate density functions:

It is possible to generalize the previous relation to a sum of N independent random variables, with densities *U*_{1}, …, *U _{N}*:

This can be derived from a two-way change of variables involving *Y=U+V* and *Z=V*, similarly to the example below for the quotient of independent random variables.

## Products and quotients of independent random variables

{{#invoke:see also|seealso}}

Given two independent random variables *U* and *V*, each of which has a probability density function, the density of the product *Y*=*UV* and quotient *Y*=*U*/*V* can be computed by a change of variables.

### Example: Quotient distribution

To compute the quotient *Y*=*U*/*V* of two independent random variables *U* and *V*, define the following transformation:

Then, the joint density *p(Y,Z)* can be computed by a change of variables from *U,V* to *Y,Z*, and *Y* can be derived by marginalizing out *Z* from the joint density.

The inverse transformation is

The Jacobian matrix of this transformation is

Thus:

And the distribution of *Y* can be computed by marginalizing out *Z*:

Note that this method crucially requires that the transformation from *U,V* to *Y,Z* be bijective. The above transformation meets this because *Z* can be mapped directly back to *V*, and for a given *V* the quotient *U/V* is monotonic. This is similarly the case for the sum *U+V*, difference *U-V* and product *UV*.

Exactly the same method can be used to compute the distribution of other functions of multiple independent random variables.

### Example: Quotient of two standard normals

Given two standard normal variables *U* and *V*, the quotient can be computed as follows. First, the variables have the following density functions:

We transform as described above:

This leads to:

This is a standard Cauchy distribution.

## See also

- Density estimation
- Likelihood function
- List of probability distributions
- Probability mass function
- Secondary measure

## Bibliography

- {{#invoke:citation/CS1|citation

|CitationClass=book }}

- The first major treatise blending calculus with probability theory, originally in French:
*Théorie Analytique des Probabilités*.

- The first major treatise blending calculus with probability theory, originally in French:

- {{#invoke:citation/CS1|citation

|CitationClass=book }}

- The modern measure-theoretic foundation of probability theory; the original German version (
*Grundbegriffe der Wahrscheinlichkeitsrechnung*) appeared in 1933.

- The modern measure-theoretic foundation of probability theory; the original German version (

- {{#invoke:citation/CS1|citation

|CitationClass=book }}

- {{#invoke:citation/CS1|citation

|CitationClass=book }}

- Chapters 7 to 9 are about continuous variables.

- ↑ Probability distribution function PlanetMath
- ↑ Probability Function at Mathworld
- ↑ Ord, J.K. (1972)
*Families of Frequency Distributions*, Griffin. ISBN 0-85264-137-0 (for example, Table 5.1 and Example 5.4)

## External links

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}