Probability density function: Difference between revisions
Tag: Reverted |
Jajaperson (talk | contribs) m →Formal definition: explicitly invoke pushforward measure |
||
(29 intermediate revisions by 23 users not shown) | |||
Line 1: | Line 1: | ||
{{Short description|Concept in mathematics}} |
|||
{{Use American English|date = January 2019}} |
{{Use American English|date = January 2019}} |
||
⚫ | |||
{{Short description|Function whose integral over a region describes the probability of an event occurring in that region}} |
|||
[[Image:Boxplot vs PDF.svg|thumb|350px|[[Box plot]] and probability density function of a [[normal distribution]] {{math|''N''(0, ''σ''<sup>2</sup>)}}.]] |
[[Image:Boxplot vs PDF.svg|thumb|350px|[[Box plot]] and probability density function of a [[normal distribution]] {{math|''N''(0, ''σ''<sup>2</sup>)}}.]] |
||
[[Image:visualisation_mode_median_mean.svg|thumb|150px|Geometric visualisation of the [[mode (statistics)|mode]], [[median (statistics)|median]] and [[mean (statistics)|mean]] of an arbitrary unimodal probability density function.<ref>{{cite web|title=AP Statistics Review - Density Curves and the Normal Distributions|url=http://apstatsreview.tumblr.com/post/50058615236/density-curves-and-the-normal-distributions | access-date=16 March 2015| archive-url=https://web.archive.org/web/20150402183703/http://apstatsreview.tumblr.com/post/50058615236/density-curves-and-the-normal-distributions | archive-date=2 April 2015| url-status=dead}}</ref>]] |
[[Image:visualisation_mode_median_mean.svg|thumb|150px|Geometric visualisation of the [[mode (statistics)|mode]], [[median (statistics)|median]] and [[mean (statistics)|mean]] of an arbitrary unimodal probability density function.<ref>{{cite web|title=AP Statistics Review - Density Curves and the Normal Distributions|url=http://apstatsreview.tumblr.com/post/50058615236/density-curves-and-the-normal-distributions | access-date=16 March 2015| archive-url=https://web.archive.org/web/20150402183703/http://apstatsreview.tumblr.com/post/50058615236/density-curves-and-the-normal-distributions | archive-date=2 April 2015| url-status=dead}}</ref>]] |
||
⚫ | |||
⚫ | In [[probability theory]], a '''probability density function''' ('''PDF'''), or '''density''' of |
||
⚫ | In [[probability theory]], a '''probability density function''' ('''PDF'''), '''density function''', or '''density''' of an [[absolutely continuous random variable]], is a [[Function (mathematics)|function]] whose value at any given sample (or point) in the [[sample space]] (the set of possible values taken by the random variable) can be interpreted as providing a ''[[relative likelihood]]'' that the value of the random variable would be equal to that sample.<ref>{{cite book| chapter-url=https://www.dartmouth.edu/~chance/teaching_aids/books_articles/probability_book/Chapter4.pdf |archive-url=https://web.archive.org/web/20030425090244/http://www.dartmouth.edu/~chance/teaching_aids/books_articles/probability_book/Chapter4.pdf |archive-date=2003-04-25 |url-status=live| chapter=Conditional Probability - Discrete Conditional| last1=Grinstead|first1=Charles M.| last2=Snell|first2=J. Laurie| publisher=Orange Grove Texts| isbn=978-1616100469 | title=Grinstead & Snell's Introduction to Probability| date=2009| access-date=2019-07-25}}</ref><ref>{{Cite web|title=probability - Is a uniformly random number over the real line a valid distribution?| url=https://stats.stackexchange.com/q/541479 |access-date=2021-10-06| website=Cross Validated}}</ref> Probability density is the probability per unit length, in other words, while the ''absolute likelihood'' for a continuous random variable to take on any particular value is 0 (since there is an infinite set of possible values to begin with), the value of the PDF at two different samples can be used to infer, in any particular draw of the random variable, how much more likely it is that the random variable would be close to one sample compared to the other sample. |
||
⚫ | |||
⚫ | More precisely, the PDF is used to specify the probability of the [[random variable]] falling ''within a particular range of values'', as opposed to taking on any one value. This probability is given by the [[integral]] of this variable's PDF 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 the area under the entire curve is equal to 1. |
||
⚫ | The terms ''probability distribution function'' |
||
⚫ | The terms ''probability distribution function'' and ''probability function'' 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]] (PMF) rather than the density. "Density function" itself is also used for the probability mass function, leading to further confusion.<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> In general though, the PMF is used in the context of [[Continuous or discrete variable#Discrete variable|discrete random variables]] (random variables that take values on a countable set), while the PDF is used in the context of continuous random variables. |
||
==Example== |
==Example== |
||
⚫ | Suppose bacteria of a certain species typically live |
||
[[File:4 continuous probability density functions.png|thumb|Examples of four continuous probability density functions.]] |
|||
⚫ | In this example, the ratio (probability of |
||
⚫ | Suppose bacteria of a certain species typically live 20 to 30 hours. The probability that a bacterium lives {{em|exactly}} 5 hours is equal to zero. A lot of bacteria live for approximately 5 hours, but there is no chance that any given bacterium dies at exactly 5.00... hours. However, the probability that the bacterium dies between 5 hours and 5.01 hours is quantifiable. Suppose the answer is 0.02 (i.e., 2%). Then, the probability that the bacterium dies between 5 hours and 5.001 hours should be about 0.002, since this time interval is one-tenth as long as the previous. The probability that the bacterium dies between 5 hours and 5.0001 hours should be about 0.0002, and so on. |
||
⚫ | In this example, the ratio (probability of living during an interval) / (duration of the interval) is approximately constant, and equal to 2 per hour (or 2 hour<sup>−1</sup>). For example, there is 0.02 probability of dying in the 0.01-hour interval between 5 and 5.01 hours, and (0.02 probability / 0.01 hours) = 2 hour<sup>−1</sup>. This quantity 2 hour<sup>−1</sup> is called the probability density for dying at around 5 hours. Therefore, the probability that the bacterium dies at 5 hours can be written as (2 hour<sup>−1</sup>) ''dt''. This is the probability that the bacterium dies within an infinitesimal window of time around 5 hours, where ''dt'' is the duration of this window. For example, the probability that it lives longer than 5 hours, but shorter than (5 hours + 1 nanosecond), is (2 hour<sup>−1</sup>)×(1 nanosecond) ≈ {{val|6e-13}} (using the [[Conversion of units|unit conversion]] {{val|3.6e12}} nanoseconds = 1 hour). |
||
There is a probability density function ''f'' with ''f''(5 hours) = 2 hour<sup>−1</sup>. The [[integral]] of ''f'' over any window of time (not only infinitesimal windows but also large windows) is the probability that the bacterium dies in that window. |
There is a probability density function ''f'' with ''f''(5 hours) = 2 hour<sup>−1</sup>. The [[integral]] of ''f'' over any window of time (not only infinitesimal windows but also large windows) is the probability that the bacterium dies in that window. |
||
Line 31: | Line 36: | ||
(''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]] <math>X</math> with values in a [[measurable space]] <math>(\mathcal{X}, \mathcal{A})</math> (usually <math>\mathbb{R}^n</math> 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 <math>X</math> with respect to a reference measure <math>\mu</math> on <math>(\mathcal{X}, \mathcal{A})</math> is the [[Radon–Nikodym derivative]]: |
A [[random variable]] <math>X</math> with values in a [[measurable space]] <math>(\mathcal{X}, \mathcal{A})</math> (usually <math>\mathbb{R}^n</math> with the [[Borel set]]s as measurable subsets) has as [[probability distribution#Formal definition|probability distribution]] the [[pushforward measure]] ''X''<sub>∗</sub>''P'' on <math>(\mathcal{X}, \mathcal{A})</math>: the '''density''' of <math>X</math> with respect to a reference measure <math>\mu</math> on <math>(\mathcal{X}, \mathcal{A})</math> is the [[Radon–Nikodym derivative]]: |
||
<math display="block">f = \frac{dX_*P}{d\mu} .</math> |
<math display="block">f = \frac{dX_*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 display="block">\Pr [X \in A ] = \int_{X^{-1} A} \, dP = \int_A f \, d\mu </ |
<math display="block">\Pr [X \in A ] = \int_{X^{-1} A} \, dP = \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 41: | Line 46: | ||
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). |
||
It is not possible to define a density with reference to an arbitrary measure (e.g. one can |
It is not possible to define a density with reference to an arbitrary measure (e.g. one can not choose the counting measure as a reference for a continuous random variable). Furthermore, when it does exist, the density is almost unique, meaning that any two such densities coincide [[almost everywhere]]. |
||
==Further details== |
==Further details== |
||
Unlike a probability, a probability density function can take on values greater than one; for example, the uniform distribution on the interval |
Unlike a probability, a probability density function can take on values greater than one; for example, the [[continuous uniform distribution]] on the interval {{closed-closed|0, 1/2}} has probability density {{math|1=''f''(''x'') = 2}} for {{math|0 ≤ ''x'' ≤ 1/2}} and {{math|1=''f''(''x'') = 0}} elsewhere. |
||
The |
The [[Normal distribution#Standard normal distribution|standard normal distribution]] has probability density |
||
<math display="block">f(x) = \frac{1}{\sqrt{2\pi}}\, e^{-x^2/2}. |
<math display="block">f(x) = \frac{1}{\sqrt{2\pi}}\, e^{-x^2/2}.</math> |
||
If a random variable {{math|''X''}} is given and its distribution admits a probability density function {{math|''f''}}, then the [[expected value]] of {{math|''X''}} (if the expected value exists) can be calculated as |
If a random variable {{math|''X''}} is given and its distribution admits a probability density function {{math|''f''}}, then the [[expected value]] of {{math|''X''}} (if the expected value exists) can be calculated as |
||
<math display="block"> |
<math display="block">\operatorname{E}[X] = \int_{-\infty}^\infty x\,f(x)\,dx.</math> |
||
Not every probability distribution has a density function: the distributions of [[discrete random variable]]s 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. |
Not every probability distribution has a density function: the distributions of [[discrete random variable]]s 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]] {{math|''F''(''x'')}} is [[absolute continuity|absolutely continuous]]. In this case: {{math|''F''}} is [[almost everywhere]] [[derivative|differentiable]], and its derivative can be used as probability density: |
A distribution has a density function if and only if its [[cumulative distribution function]] {{math|''F''(''x'')}} is [[absolute continuity|absolutely continuous]]. In this case: {{math|''F''}} is [[almost everywhere]] [[derivative|differentiable]], and its derivative can be used as probability density: |
||
<math display="block"> |
<math display="block">\frac{d}{dx}F(x) = f(x).</math> |
||
If a probability distribution admits a density, then the probability of every one-point set {{math|{''a''}<nowiki/>}} is zero; the same holds for finite and countable sets. |
If a probability distribution admits a density, then the probability of every one-point set {{math|{''a''}<nowiki/>}} is zero; the same holds for finite and countable sets. |
||
Line 63: | Line 69: | ||
If {{math|''dt''}} is an infinitely small number, the probability that {{math|''X''}} is included within the interval {{open-open|''t'', ''t'' + ''dt''}} is equal to {{math|''f''(''t'') ''dt''}}, or: |
If {{math|''dt''}} is an infinitely small number, the probability that {{math|''X''}} is included within the interval {{open-open|''t'', ''t'' + ''dt''}} is equal to {{math|''f''(''t'') ''dt''}}, or: |
||
<math display="block"> |
<math display="block">\Pr(t<X<t+dt) = f(t)\,dt.</math> |
||
==Link between discrete and continuous distributions== |
==Link between discrete and continuous distributions== |
||
Line 118: | Line 124: | ||
==Function of random variables and change of variables in the probability density function== |
==Function of random variables and change of variables in the probability density function== |
||
If the probability density function of a random variable (or vector) {{math|''X''}} is given as {{math|''f<sub>X</sub>''(''x'')}}, it is possible (but often not necessary; see below) to calculate the probability density function of some variable {{math|1=''Y'' = ''g''(''X'')}}. This is also called a |
If the probability density function of a random variable (or vector) {{math|''X''}} is given as {{math|''f<sub>X</sub>''(''x'')}}, it is possible (but often not necessary; see below) to calculate the probability density function of some variable {{math|1=''Y'' = ''g''(''X'')}}. This is also called a "change of variable" and is in practice used to generate a random variable of arbitrary shape {{math|1=''f''<sub>''g''(''X'')</sub> = ''f<sub>Y</sub>''}} using a known (for instance, uniform) random number generator. |
||
It is tempting to think that in order to find the expected value {{math|E(''g''(''X''))}}, one must first find the probability density {{math|''f''<sub>''g''(''X'')</sub>}} of the new random variable {{math|1=''Y'' = ''g''(''X'')}}. However, rather than computing |
It is tempting to think that in order to find the expected value {{math|E(''g''(''X''))}}, one must first find the probability density {{math|''f''<sub>''g''(''X'')</sub>}} of the new random variable {{math|1=''Y'' = ''g''(''X'')}}. However, rather than computing |
||
Line 129: | Line 135: | ||
===Scalar to scalar=== |
===Scalar to scalar=== |
||
Let <math> g: \Reals \to \Reals</math> be a [[monotonic function]], then the resulting density function is |
Let <math> g: \Reals \to \Reals</math> be a [[monotonic function]], then the resulting density function is<ref>{{cite web |last1=Siegrist |first1=Kyle |title=Transformations of Random Variables |url=https://stats.libretexts.org/Bookshelves/Probability_Theory/Probability_Mathematical_Statistics_and_Stochastic_Processes_%28Siegrist%29/03%3A_Distributions/3.07%3A_Transformations_of_Random_Variables#The_Change_of_Variables_Formula |publisher=LibreTexts Statistics |access-date=22 December 2023}}</ref> |
||
<math display="block">f_Y(y) = f_X\big(g^{-1}(y)\big) \left| \frac{d}{dy} \big(g^{-1}(y)\big) \right|.</math> |
<math display="block">f_Y(y) = f_X\big(g^{-1}(y)\big) \left| \frac{d}{dy} \big(g^{-1}(y)\big) \right|.</math> |
||
Line 148: | Line 154: | ||
===Vector to vector=== |
===Vector to vector=== |
||
Suppose {{math|'''x'''}} is an {{mvar|n}}-dimensional random variable with joint density {{math|''f''}}. If {{math|1='''y''' = '' |
Suppose {{math|'''x'''}} is an {{mvar|n}}-dimensional random variable with joint density {{math|''f''}}. If {{math|1='''''y''''' = ''G''('''''x''''')}}, where {{math|''G''}} is a [[bijective]], [[differentiable function]], then {{math|'''''y'''''}} has density {{math|{{ math | ''p''<sub>'''''Y'''''</sub>}}}}: |
||
<math display="block"> |
<math display="block"> p_{Y}(\mathbf{y}) = f\Bigl(G^{-1}(\mathbf{y})\Bigr) \left| \det\left[\left.\frac{dG^{-1}(\mathbf{z})}{d\mathbf{z}}\right|_{\mathbf{z}=\mathbf{y}}\right] \right|</math> |
||
with the differential regarded as the [[Jacobian matrix and determinant|Jacobian]] of the inverse of {{math|'' |
with the differential regarded as the [[Jacobian matrix and determinant|Jacobian]] of the inverse of {{math|''G''(⋅)}}, evaluated at {{math|'''''y'''''}}.<ref>{{cite book |first1=Jay L. |last1=Devore |first2=Kenneth N. |last2=Berk |title=Modern Mathematical Statistics with Applications |publisher=Cengage |year=2007 |isbn=978-0-534-40473-4 |page=263 |url=https://books.google.com/books?id=3X7Qca6CcfkC&pg=PA263 }}</ref> |
||
For example, in the 2-dimensional case {{math|1='''x''' = (''x''<sub>1</sub>, ''x''<sub>2</sub>)}}, suppose the transform {{math|'' |
For example, in the 2-dimensional case {{math|1='''x''' = (''x''<sub>1</sub>, ''x''<sub>2</sub>)}}, suppose the transform {{math|''G''}} is given as {{math|1=''y''<sub>1</sub> = ''G''<sub>1</sub>(''x''<sub>1</sub>, ''x''<sub>2</sub>)}}, {{math|1=''y''<sub>2</sub> = ''G''<sub>2</sub>(''x''<sub>1</sub>, ''x''<sub>2</sub>)}} with inverses {{math|1=''x''<sub>1</sub> = ''G''<sub>1</sub><sup>−1</sup>(''y''<sub>1</sub>, ''y''<sub>2</sub>)}}, {{math|1=''x''<sub>2</sub> = ''G''<sub>2</sub><sup>−1</sup>(''y''<sub>1</sub>, ''y''<sub>2</sub>)}}. The joint distribution for '''y''' = (''y''<sub>1</sub>, y<sub>2</sub>) has density<ref>{{Cite book |title=Elementary Probability |last=David |first=Stirzaker |date=2007-01-01 |publisher=Cambridge University Press |isbn=978-0521534284 |oclc=851313783}}</ref> |
||
<math display="block"> |
<math display="block">p_{Y_1, Y_2}(y_1,y_2) = f_{X_1,X_2}\big(G_1^{-1}(y_1,y_2), G_2^{-1}(y_1,y_2)\big) \left\vert \frac{\partial G_1^{-1}}{\partial y_1} \frac{\partial G_2^{-1}}{\partial y_2} - \frac{\partial G_1^{-1}}{\partial y_2} \frac{\partial G_2^{-1}}{\partial y_1} \right\vert.</math> |
||
===Vector to scalar=== |
===Vector to scalar=== |
||
Line 166: | Line 172: | ||
Let <math>Z</math> be a collapsed random variable with probability density function <math>p_Z(z) = \delta(z)</math> (i.e., a constant equal to zero). Let the random vector <math>\tilde{X}</math> and the transform <math>H</math> be defined as |
Let <math>Z</math> be a collapsed random variable with probability density function <math>p_Z(z) = \delta(z)</math> (i.e., a constant equal to zero). Let the random vector <math>\tilde{X}</math> and the transform <math>H</math> be defined as |
||
<math display="block">H(Z,X)=\begin{bmatrix} Z+V(X)\\ X\end{bmatrix}=\begin{bmatrix} Y\\ \tilde{X}\end{bmatrix}.</math> |
|||
It is clear that <math>H</math> is a bijective mapping, and the Jacobian of <math>H^{-1}</math> is given by: |
It is clear that <math>H</math> is a bijective mapping, and the Jacobian of <math>H^{-1}</math> is given by: |
||
⚫ | |||
⚫ | |||
which is an upper triangular matrix with ones on the main diagonal, therefore its determinant is 1. Applying the change of variable theorem from the previous section we obtain that |
which is an upper triangular matrix with ones on the main diagonal, therefore its determinant is 1. Applying the change of variable theorem from the previous section we obtain that |
||
<math display="block">f_{Y,X}(y,x) = f_X(\mathbf{x}) \delta\big(y - V(\mathbf{x})\big),</math> |
|||
which if marginalized over <math>x</math> leads to the desired probability density function. |
which if marginalized over <math>x</math> leads to the desired probability density function. |
||
Line 186: | Line 190: | ||
It is possible to generalize the previous relation to a sum of N independent random variables, with densities {{math|''U''<sub>1</sub>, ..., ''U<sub>N</sub>''}}: |
It is possible to generalize the previous relation to a sum of N independent random variables, with densities {{math|''U''<sub>1</sub>, ..., ''U<sub>N</sub>''}}: |
||
<math display="block">f_{U_1 + \cdots + |
<math display="block">f_{U_1 + \cdots + U}(x) |
||
= \left( f_{U_1} * \cdots * f_{U_N} \right) (x)</math> |
= \left( f_{U_1} * \cdots * f_{U_N} \right) (x)</math> |
||
Line 194: | Line 198: | ||
{{See also|Product distribution|Ratio distribution}} |
{{See also|Product distribution|Ratio distribution}} |
||
Given two independent random variables ''U'' and ''V'', each of which has a probability density function, the density of the product {{math|1=''Y'' = ''UV''}} and quotient {{math|1=''Y'' = ''U''/''V''}} can be computed by a change of variables. |
Given two independent random variables {{math|''U''}} and {{math|''V''}}, each of which has a probability density function, the density of the product {{math|1=''Y'' = ''UV''}} and quotient {{math|1=''Y'' = ''U''/''V''}} can be computed by a change of variables. |
||
===Example: Quotient distribution=== |
===Example: Quotient distribution=== |
||
To compute the quotient {{math|1=''Y'' = ''U''/''V''}} of two independent random variables {{math|''U''}} and {{math|''V''}}, define the following transformation: |
To compute the quotient {{math|1=''Y'' = ''U''/''V''}} of two independent random variables {{math|''U''}} and {{math|''V''}}, define the following transformation: |
||
<math display="block"> |
<math display="block">\begin{align} |
||
Y &= U/V \\[1ex] |
|||
<math display="block">Z=V</math> |
|||
Z &= V |
|||
\end{align}</math> |
|||
Then, the joint density {{math|''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. |
Then, the joint density {{math|''p''(''y'',''z'')}} can be computed by a change of variables from ''U'',''V'' to ''Y'',''Z'', and {{math|''Y''}} can be derived by [[marginalizing out]] {{math|''Z''}} from the joint density. |
||
The inverse transformation is |
The inverse transformation is |
||
<math display="block"> |
<math display="block">\begin{align} |
||
U &= YZ \\ |
|||
<math display="block">V = Z</math> |
|||
V &= Z |
|||
\end{align}</math> |
|||
The absolute value of the [[Jacobian matrix]] determinant <math>J(U,V\mid Y,Z)</math> of this transformation is: |
The absolute value of the [[Jacobian matrix]] determinant <math>J(U,V\mid Y,Z)</math> of this transformation is: |
||
Line 224: | Line 232: | ||
<math display="block">p(y,z) = p(u,v)\,J(u,v\mid y,z) = p(u)\,p(v)\,J(u,v\mid y,z) = p_U(yz)\,p_V(z)\, |z| .</math> |
<math display="block">p(y,z) = p(u,v)\,J(u,v\mid y,z) = p(u)\,p(v)\,J(u,v\mid y,z) = p_U(yz)\,p_V(z)\, |z| .</math> |
||
And the distribution of ''Y'' can be computed by [[marginalizing out]] ''Z'': |
And the distribution of {{math|''Y''}} can be computed by [[marginalizing out]] {{math|''Z''}}: |
||
<math display="block">p(y) = \int_{-\infty}^\infty p_U(yz)\,p_V(z)\, |z| \, dz</math> |
<math display="block">p(y) = \int_{-\infty}^\infty p_U(yz)\,p_V(z)\, |z| \, dz</math> |
||
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 {{math|''U''/''V''}} is [[monotonic]]. This is similarly the case for the sum {{math|''U'' + ''V''}}, difference {{math|''U'' − ''V''}} and product {{math|''UV''}}. |
This method crucially requires that the transformation from ''U'',''V'' to ''Y'',''Z'' be [[bijective]]. The above transformation meets this because {{math|''Z''}} can be mapped directly back to {{math|''V''}}, and for a given {{math|''V''}} the quotient {{math|''U''/''V''}} is [[monotonic]]. This is similarly the case for the sum {{math|''U'' + ''V''}}, difference {{math|''U'' − ''V''}} and product {{math|''UV''}}. |
||
Exactly the same method can be used to compute the distribution of other functions of multiple independent random variables. |
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=== |
===Example: Quotient of two standard normals=== |
||
Given two [[standard normal distribution|standard normal]] variables ''U'' and ''V'', the quotient can be computed as follows. First, the variables have the following density functions: |
Given two [[standard normal distribution|standard normal]] variables {{math|''U''}} and {{math|''V''}}, the quotient can be computed as follows. First, the variables have the following density functions: |
||
<math display="block">p(u) = \frac{1}{\sqrt{2\pi}} e^{- |
<math display="block">\begin{align} |
||
p(u) &= \frac{1}{\sqrt{2\pi}} e^{-{u^2}/{2}} \\[1ex] |
|||
p(v) &= \frac{1}{\sqrt{2\pi}} e^{-{v^2}/{2}} |
|||
\end{align}</math> |
|||
We transform as described above: |
We transform as described above: |
||
<math display="block"> |
<math display="block">\begin{align} |
||
Y &= U/V \\[1ex] |
|||
<math display="block">Z=V</math> |
|||
Z &= V |
|||
\end{align}</math> |
|||
This leads to: |
This leads to: |
||
Line 254: | Line 266: | ||
==See also== |
==See also== |
||
* |
* {{Annotated link|Density estimation}} |
||
* |
* {{Annotated link|Kernel density estimation}} |
||
* |
* {{Annotated link|Likelihood function}} |
||
* |
* {{Annotated link|List of probability distributions}} |
||
* |
* {{Annotated link|Probability amplitude}} |
||
* |
* {{Annotated link|Probability mass function}} |
||
* |
* {{Annotated link|Secondary measure}} |
||
* Uses as ''position probability density'': |
* Uses as ''position probability density'': |
||
** |
** {{Annotated link|Atomic orbital}} |
||
** |
** {{Annotated link|Home range}} |
||
==References== |
==References== |
||
Line 282: | Line 294: | ||
| year = 2003 |
| year = 2003 |
||
| title = Elementary Probability |
| title = Elementary Probability |
||
|publisher=Cambridge University Press |
|||
| isbn = 0-521-42028-8 |
| isbn = 0-521-42028-8 |
||
| url-access = registration |
| url-access = registration |
Latest revision as of 11:35, 30 October 2024
This article needs additional citations for verification. (June 2022) |
In probability theory, a probability density function (PDF), density function, or density of an absolutely continuous random variable, is a function whose value at any given sample (or point) in the sample space (the set of possible values taken by the random variable) can be interpreted as providing a relative likelihood that the value of the random variable would be equal to that sample.[2][3] Probability density is the probability per unit length, in other words, while the absolute likelihood for a continuous random variable to take on any particular value is 0 (since there is an infinite set of possible values to begin with), the value of the PDF at two different samples can be used to infer, in any particular draw of the random variable, how much more likely it is that the random variable would be close to one sample compared to the other sample.
More precisely, the PDF is used to specify the probability of the random variable falling within a particular range of values, as opposed to taking on any one value. This probability is given by the integral of this variable's PDF 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 the area under the entire curve is equal to 1.
The terms probability distribution function and probability function 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 (PMF) rather than the density. "Density function" itself is also used for the probability mass function, leading to further confusion.[4] In general though, the PMF is used in the context of discrete random variables (random variables that take values on a countable set), while the PDF is used in the context of continuous random variables.
Example
[edit]Suppose bacteria of a certain species typically live 20 to 30 hours. The probability that a bacterium lives exactly 5 hours is equal to zero. A lot of bacteria live for approximately 5 hours, but there is no chance that any given bacterium dies at exactly 5.00... hours. However, the probability that the bacterium dies between 5 hours and 5.01 hours is quantifiable. Suppose the answer is 0.02 (i.e., 2%). Then, the probability that the bacterium dies between 5 hours and 5.001 hours should be about 0.002, since this time interval is one-tenth as long as the previous. The probability that the bacterium dies between 5 hours and 5.0001 hours should be about 0.0002, and so on.
In this example, the ratio (probability of living during an interval) / (duration of the interval) is approximately constant, and equal to 2 per hour (or 2 hour−1). For example, there is 0.02 probability of dying in the 0.01-hour interval between 5 and 5.01 hours, and (0.02 probability / 0.01 hours) = 2 hour−1. This quantity 2 hour−1 is called the probability density for dying at around 5 hours. Therefore, the probability that the bacterium dies at 5 hours can be written as (2 hour−1) dt. This is the probability that the bacterium dies within an infinitesimal window of time around 5 hours, where dt is the duration of this window. For example, the probability that it lives longer than 5 hours, but shorter than (5 hours + 1 nanosecond), is (2 hour−1)×(1 nanosecond) ≈ 6×10−13 (using the unit conversion 3.6×1012 nanoseconds = 1 hour).
There is a probability density function f with f(5 hours) = 2 hour−1. The integral of f over any window of time (not only infinitesimal windows but also large windows) is the probability that the bacterium dies in that window.
Absolutely continuous univariate distributions
[edit]A probability density function is most commonly associated with absolutely continuous univariate distributions. A random variable has density , where is a non-negative Lebesgue-integrable function, if:
Hence, if is the cumulative distribution function of , then: and (if is continuous at )
Intuitively, one can think of as being the probability of falling within the infinitesimal interval .
Formal definition
[edit](This definition may be extended to any probability distribution using the measure-theoretic definition of probability.)
A random variable with values in a measurable space (usually with the Borel sets as measurable subsets) has as probability distribution the pushforward measure X∗P on : the density of with respect to a reference measure on is the Radon–Nikodym derivative:
That is, f is any measurable function with the property that: for any measurable set
Discussion
[edit]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).
It is not possible to define a density with reference to an arbitrary measure (e.g. one can not choose the counting measure as a reference for a continuous random variable). Furthermore, when it does exist, the density is almost unique, meaning that any two such densities coincide almost everywhere.
Further details
[edit]Unlike a probability, a probability density function can take on values greater than one; for example, the continuous uniform distribution on the interval [0, 1/2] has probability density f(x) = 2 for 0 ≤ x ≤ 1/2 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
[edit]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 using the Dirac delta function. (This is not possible with a probability density function in the sense defined above, it may be done with a distribution.) For example, consider a binary discrete random variable having the Rademacher distribution—that is, taking −1 or 1 for values, with probability 1⁄2 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 are the discrete values accessible to the variable and are the probabilities associated with these values.
This substantially unifies the treatment of discrete and continuous probability distributions. The above expression allows for determining statistical characteristics of such a discrete variable (such as the mean, variance, and kurtosis), starting from the formulas given for a continuous distribution of the probability.
Families of densities
[edit]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 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.
Densities associated with multiple variables
[edit]For continuous random variables X1, ..., Xn, 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 X1, ..., Xn, the probability that a realisation of the set variables falls inside the domain D is
If F(x1, ..., xn) = Pr(X1 ≤ x1, ..., Xn ≤ xn) is the cumulative distribution function of the vector (X1, ..., Xn), then the joint probability density function can be computed as a partial derivative
Marginal densities
[edit]For i = 1, 2, ..., n, let fXi(xi) be the probability density function associated with variable Xi alone. This is called the marginal density function, and can be deduced from the probability density associated with the random variables X1, ..., Xn by integrating over all values of the other n − 1 variables:
Independence
[edit]Continuous random variables X1, ..., Xn admitting a joint density are all independent from each other if and only if
Corollary
[edit]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 fi 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
[edit]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
Function of random variables and change of variables in the probability density function
[edit]If the probability density function of a random variable (or vector) X is given as fX(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 fg(X) = fY using a known (for instance, uniform) random number generator.
It is tempting to think that in order to find the expected value E(g(X)), one must first find the probability density fg(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. See Law of the unconscious statistician.
Scalar to scalar
[edit]Let be a monotonic function, then the resulting density function is[5]
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 that are not monotonic, the probability density function for y is where n(y) is the number of solutions in x for the equation , and are these solutions.
Vector to vector
[edit]Suppose x is an n-dimensional random variable with joint density f. If y = G(x), where G is a bijective, differentiable function, then y has density pY: with the differential regarded as the Jacobian of the inverse of G(⋅), evaluated at y.[6]
For example, in the 2-dimensional case x = (x1, x2), suppose the transform G is given as y1 = G1(x1, x2), y2 = G2(x1, x2) with inverses x1 = G1−1(y1, y2), x2 = G2−1(y1, y2). The joint distribution for y = (y1, y2) has density[7]
Vector to scalar
[edit]Let be a differentiable function and be a random vector taking values in , be the probability density function of and be the Dirac delta function. It is possible to use the formulas above to determine , the probability density function of , which will be given by
This result leads to the law of the unconscious statistician:
Proof:
Let be a collapsed random variable with probability density function (i.e., a constant equal to zero). Let the random vector and the transform be defined as
It is clear that is a bijective mapping, and the Jacobian of is given by: which is an upper triangular matrix with ones on the main diagonal, therefore its determinant is 1. Applying the change of variable theorem from the previous section we obtain that which if marginalized over leads to the desired probability density function.
Sums of independent random variables
[edit]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 U1, ..., UN:
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
[edit]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
[edit]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 absolute value of the Jacobian matrix determinant of this transformation is:
Thus:
And the distribution of Y can be computed by marginalizing out Z:
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
[edit]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 the density of a standard Cauchy distribution.
See also
[edit]- Density estimation – Estimate of an unobservable underlying probability density function
- Kernel density estimation – Estimator
- Likelihood function – Function related to statistics and probability theory
- List of probability distributions
- Probability amplitude – Complex number whose squared absolute value is a probability
- Probability mass function – Discrete-variable probability distribution
- Secondary measure
- Uses as position probability density:
- Atomic orbital – Function describing an electron in an atom
- Home range – The area in which an animal lives and moves on a periodic basis
References
[edit]- ^ "AP Statistics Review - Density Curves and the Normal Distributions". Archived from the original on 2 April 2015. Retrieved 16 March 2015.
- ^ Grinstead, Charles M.; Snell, J. Laurie (2009). "Conditional Probability - Discrete Conditional" (PDF). Grinstead & Snell's Introduction to Probability. Orange Grove Texts. ISBN 978-1616100469. Archived (PDF) from the original on 2003-04-25. Retrieved 2019-07-25.
- ^ "probability - Is a uniformly random number over the real line a valid distribution?". Cross Validated. Retrieved 2021-10-06.
- ^ Ord, J.K. (1972) Families of Frequency Distributions, Griffin. ISBN 0-85264-137-0 (for example, Table 5.1 and Example 5.4)
- ^ Siegrist, Kyle. "Transformations of Random Variables". LibreTexts Statistics. Retrieved 22 December 2023.
- ^ Devore, Jay L.; Berk, Kenneth N. (2007). Modern Mathematical Statistics with Applications. Cengage. p. 263. ISBN 978-0-534-40473-4.
- ^ David, Stirzaker (2007-01-01). Elementary Probability. Cambridge University Press. ISBN 978-0521534284. OCLC 851313783.
Further reading
[edit]- Billingsley, Patrick (1979). Probability and Measure. New York, Toronto, London: John Wiley and Sons. ISBN 0-471-00710-2.
- Casella, George; Berger, Roger L. (2002). Statistical Inference (Second ed.). Thomson Learning. pp. 34–37. ISBN 0-534-24312-6.
- Stirzaker, David (2003). Elementary Probability. Cambridge University Press. ISBN 0-521-42028-8. Chapters 7 to 9 are about continuous variables.
External links
[edit]- Ushakov, N.G. (2001) [1994], "Density of a probability distribution", Encyclopedia of Mathematics, EMS Press
- Weisstein, Eric W. "Probability density function". MathWorld.