Skip to content

Commit 9cc2ee8

Browse files
authored
Merge pull request #217 from JoramSoch/master
added proof "gam-scal"
2 parents f057011 + 9f030a4 commit 9cc2ee8

2 files changed

Lines changed: 88 additions & 10 deletions

File tree

I/ToC.md

Lines changed: 11 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -430,16 +430,17 @@ title: "Table of Contents"
430430
&emsp;&ensp; 3.4.2. *[Standard gamma distribution](/D/sgam)* <br>
431431
&emsp;&ensp; 3.4.3. **[Relationship to standard gamma distribution](/P/gam-sgam)** (1) <br>
432432
&emsp;&ensp; 3.4.4. **[Relationship to standard gamma distribution](/P/gam-sgam2)** (2) <br>
433-
&emsp;&ensp; 3.4.5. **[Special case of Wishart distribution](/P/gam-wish)** <br>
434-
&emsp;&ensp; 3.4.6. **[Probability density function](/P/gam-pdf)** <br>
435-
&emsp;&ensp; 3.4.7. **[Cumulative distribution function](/P/gam-cdf)** <br>
436-
&emsp;&ensp; 3.4.8. **[Quantile function](/P/gam-qf)** <br>
437-
&emsp;&ensp; 3.4.9. **[Mean](/P/gam-mean)** <br>
438-
&emsp;&ensp; 3.4.10. **[Variance](/P/gam-var)** <br>
439-
&emsp;&ensp; 3.4.11. **[Logarithmic expectation](/P/gam-logmean)** <br>
440-
&emsp;&ensp; 3.4.12. **[Expectation of x ln x](/P/gam-xlogx)** <br>
441-
&emsp;&ensp; 3.4.13. **[Differential entropy](/P/gam-dent)** <br>
442-
&emsp;&ensp; 3.4.14. **[Kullback-Leibler divergence](/P/gam-kl)** <br>
433+
&emsp;&ensp; 3.4.5. **[Scaling of a gamma random variable](/P/gam-scal)** <br>
434+
&emsp;&ensp; 3.4.6. **[Special case of Wishart distribution](/P/gam-wish)** <br>
435+
&emsp;&ensp; 3.4.7. **[Probability density function](/P/gam-pdf)** <br>
436+
&emsp;&ensp; 3.4.8. **[Cumulative distribution function](/P/gam-cdf)** <br>
437+
&emsp;&ensp; 3.4.9. **[Quantile function](/P/gam-qf)** <br>
438+
&emsp;&ensp; 3.4.10. **[Mean](/P/gam-mean)** <br>
439+
&emsp;&ensp; 3.4.11. **[Variance](/P/gam-var)** <br>
440+
&emsp;&ensp; 3.4.12. **[Logarithmic expectation](/P/gam-logmean)** <br>
441+
&emsp;&ensp; 3.4.13. **[Expectation of x ln x](/P/gam-xlogx)** <br>
442+
&emsp;&ensp; 3.4.14. **[Differential entropy](/P/gam-dent)** <br>
443+
&emsp;&ensp; 3.4.15. **[Kullback-Leibler divergence](/P/gam-kl)** <br>
443444

444445
3.5. Exponential distribution <br>
445446
&emsp;&ensp; 3.5.1. *[Definition](/D/exp)* <br>

P/gam-scal.md

Lines changed: 77 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,77 @@
1+
---
2+
layout: proof
3+
mathjax: true
4+
5+
author: "Joram Soch"
6+
affiliation: "BCCN Berlin"
7+
e_mail: "joram.soch@bccn-berlin.de"
8+
date: 2023-11-24 13:08:34
9+
10+
title: "Scaling of a random variable following the gamma distribution"
11+
chapter: "Probability Distributions"
12+
section: "Univariate continuous distributions"
13+
topic: "Gamma distribution"
14+
theorem: "Scaling of a gamma random variable"
15+
16+
sources:
17+
18+
proof_id: "P426"
19+
shortcut: "gam-scal"
20+
username: "JoramSoch"
21+
---
22+
23+
24+
**Theorem:** Let $X$ be a [random variable](/D/rvar) following a [gamma distribution](/D/gam) with shape $a$ and rate $b$:
25+
26+
$$ \label{eq:gam}
27+
X \sim \mathrm{Gam}(a,b) \; .
28+
$$
29+
30+
Then, the quantity $Y = c X$ will also be gamma-distributed with shape $a$ and rate $b/c$:
31+
32+
$$ \label{eq:gam-scal}
33+
Y = b X \sim \mathrm{Gam}\left( a, \frac{b}{c} \right) \; .
34+
$$
35+
36+
37+
**Proof:** Note that $Y$ is a function of $X$
38+
39+
$$ \label{eq:Y-X}
40+
Y = g(X) = c X
41+
$$
42+
43+
with the inverse function
44+
45+
$$ \label{eq:X-Y}
46+
X = g^{-1}(Y) = \frac{1}{c} Y \; .
47+
$$
48+
49+
Because the parameters of a gamma distribution [are positive](/D/gam), $c$ must also be positive. Thus, $g(X)$ is strictly increasing and we can calculate the [probability density function of a strictly increasing function](/P/pdf-sifct) as
50+
51+
$$ \label{eq:pdf-sifct}
52+
f_Y(y) = \left\{
53+
\begin{array}{rl}
54+
f_X(g^{-1}(y)) \, \frac{\mathrm{d}g^{-1}(y)}{\mathrm{d}y} \; , & \text{if} \; y \in \mathcal{Y} \\
55+
0 \; , & \text{if} \; y \notin \mathcal{Y}
56+
\end{array}
57+
\right.
58+
$$
59+
60+
The [probability density function of the gamma-distributed](/P/gam-pdf) $X$ is
61+
62+
$$ \label{eq:gam-pdf}
63+
f_X(x) = \frac{b^a}{\Gamma(a)} x^{a-1} \exp[-b x] \; .
64+
$$
65+
66+
Applying \eqref{eq:pdf-sifct} to \eqref{eq:gam-pdf}, we have:
67+
68+
$$ \label{eq:Y-pdf}
69+
\begin{split}
70+
f_Y(y) &= \frac{b^a}{\Gamma(a)} [g^{-1}(y)]^{a-1} \exp[-b g^{-1}(y)] \, \frac{\mathrm{d}g^{-1}(y)}{\mathrm{d}y} \\
71+
&= \frac{b^a}{\Gamma(a)} \left( \frac{1}{c} y \right)^{a-1} \exp\left[-b \left( \frac{1}{c} y \right) \right] \, \frac{\mathrm{d}\left( \frac{1}{c} y \right)}{\mathrm{d}y} \\
72+
&= \frac{b^a}{\Gamma(a)} \left( \frac{1}{c} \right)^{a} \left( \frac{1}{c} \right)^{-1} y^{a-1} \exp\left[- \frac{b}{c} y \right] \, \frac{1}{c} \\
73+
&= \frac{(b/a)^a}{\Gamma(a)} y^{a-1} \exp\left[- \frac{b}{c} y \right]
74+
\end{split}
75+
$$
76+
77+
which is the [probability density function](/D/pdf) of a [gamma distribution](/D/gam) with shape $a$ and rate $b/c$.

0 commit comments

Comments
 (0)