Merge pull request #281 from JoramSoch/master

added 1 definition and 1 proof

Author: JoramSoch

D/samp-size.md

@@ -0,0 +1,30 @@
+---
+layout: definition
+mathjax: true
+
+author: "Joram Soch"
+affiliation: "BCCN Berlin"
+e_mail: "joram.soch@bccn-berlin.de"
+date: 2024-11-22 11:33:27
+
+title: "Sample size"
+chapter: "General Theorems"
+section: "Probability theory"
+topic: "Random experiments"
+definition: "Sample size"
+
+sources:
+  - authors: "Wikipedia"
+    year: 2024
+    title: "Sampling (statistics)"
+    in: "Wikipedia, the free encyclopedia"
+    pages: "retrieved on 2024-11-22"
+    url: "https://en.wikipedia.org/wiki/Sampling_(statistics)"
+
+def_id: "D211"
+shortcut: "samp-size"
+username: "JoramSoch"
+---
+
+
+**Definition:** Let $x = \left\lbrace x_1, \ldots, x_n \right\rbrace$ be a [statistical sample](/D/samp) from a [random variable](/D/rvar) or a set of [random variables](/D/rvar) $X$. Then, the number of elements $n$ in this sample is called the "sample size".

I/ToC.md

@@ -22,7 +22,8 @@ title: "Table of Contents"
    &emsp;&ensp; 1.1.4. *[Probability space](/D/prob-spc)* <br>
    &emsp;&ensp; 1.1.5. *[Measured data](/D/data)* <br>
    &emsp;&ensp; 1.1.6. *[Statistical sample](/D/samp)* <br>
-   &emsp;&ensp; 1.1.7. *[Sample statistic](/D/stat)* <br>
+   &emsp;&ensp; 1.1.7. *[Sample size](/D/samp-size)* <br>
+   &emsp;&ensp; 1.1.8. *[Sample statistic](/D/stat)* <br>
 
    <p id="Random variables"></p>
    1.2. Random variables <br>
@@ -547,6 +548,7 @@ title: "Table of Contents"
    &emsp;&ensp; 3.6.7. **[Mode](/P/lognorm-mode)** <br>
    &emsp;&ensp; 3.6.8. **[Variance](/P/lognorm-var)** <br>
    &emsp;&ensp; 3.6.9. **[Product of independent log-normals](/P/lognorm-prodind)** <br>
+   &emsp;&ensp; 3.6.10. **[Geometric mean of independent log-normals](/P/lognorm-geomind)** <br>
 
    <p id="Chi-squared distribution"></p>
    3.7. Chi-squared distribution <br>

P/lognorm-geomind.md

@@ -0,0 +1,98 @@
+---
+layout: proof
+mathjax: true
+
+author: "Joram Soch"
+affiliation: "BCCN Berlin"
+e_mail: "joram.soch@bccn-berlin.de"
+date: 2024-11-22 11:39:58
+
+title: "The geometric mean of independent log-normal random variables is a log-normal random variable"
+chapter: "Probability Distributions"
+section: "Univariate continuous distributions"
+topic: "Log-normal distribution"
+theorem: "Geometric mean of independent log-normals "
+
+sources:
+  - authors: "Probability Fact"
+    year: 2022
+    title: "The geometric mean of independent log-normal random variables has a log-normal distribution"
+    in: "X"
+    pages: "retrieved on 2024-11-22"
+    url: "https://x.com/ProbFact/status/1592989704646848512"
+
+proof_id: "P480"
+shortcut: "lognorm-geomind"
+username: "JoramSoch"
+---
+
+
+**Theorem:** Let $X_1, \ldots, X_n$ be [independent](/D/ind) [random variables](/D/rvar) following [log-normal distributions](/D/lognorm):
+
+$$ \label{eq:X-lognorm}
+X_i \sim \ln \mathcal{N}(\mu_i, \sigma_i^2), \; i = 1, \ldots, n \; .
+$$
+
+Then, the [geometric mean](/D/mean-geom) of these random variables also follows a [log-normal distribution](/D/lognorm):
+
+$$ \label{eq:Z-lognorm}
+Z = \sqrt[n]{\prod_{i=1}^n X_i} \sim \mathcal{N}(\mu, \sigma^2)
+$$
+
+where the [log-normal](/D/lognorm) parameters are given by
+
+$$ \label{eq:Z-lognorm-para}
+\mu      = \frac{1}{n} \sum_{i=1}^n \mu_i
+\quad \text{and} \quad
+\sigma^2 = \frac{1}{n^2} \sum_{i=1}^n \sigma_i^2 \; .
+$$
+
+
+**Proof:** A random variable [follows a log-normal distribution, if and only if its natural logarithm follows a normal distribution](/D/lognorm):
+
+$$ \label{eq:lognorm-norm}
+X \sim \ln \mathcal{N}(\mu, \sigma^2)
+\quad \Leftrightarrow \quad
+\ln X \sim \mathcal{N}(\mu, \sigma^2) \; .
+$$
+
+Thus, from \eqref{eq:X-lognorm}, we have
+
+$$ \label{eq:Y-norm}
+Y_i = \ln X_i \sim \mathcal{N}(\mu_i, \sigma_i^2)
+$$
+
+and from \eqref{eq:Z-lognorm}, we have
+
+$$ \label{eq:ln-Z}
+  \ln Z
+= \ln \left( \sqrt[n]{\prod_{i=1}^n X_i} \right)
+= \frac{1}{n} \sum_{i=1}^n \ln X_i
+= \frac{1}{n} \sum_{i=1}^n Y_i \; .
+$$
+
+This means that the logarithm of the geometric mean of independent [log-normal](/D/lognorm) random variables is the arithmetic mean of independent [normal](/D/norm) random variables. This average, like any [linear combination of independent normal random variables, is again normally distributed](/P/norm-lincomb). Thus, combining \eqref{eq:ln-Z} and \eqref{eq:Y-norm}, we have:
+
+$$ \label{eq:ln-Z-norm}
+     \ln Z
+=    \frac{1}{n} \sum_{i=1}^n Y_i
+\sim \mathcal{N}\left( \frac{1}{n} \sum_{i=1}^n \mu_i, \, \frac{1}{n^2} \sum_{i=1}^n \sigma_i^2 \right) \; .
+$$
+
+If a random variable [follows a normal distribution, then its exponential follows a log-normal distribution with the same parameters]:
+
+$$ \label{eq:norm-lognorm}
+Y \sim \mathcal{N}(\mu, \sigma^2)
+\quad \Leftrightarrow \quad
+\exp(Y) \sim \ln \mathcal{N}(\mu, \sigma^2) \; .
+$$
+
+Thus, from \eqref{eq:ln-Z-norm}, we have
+
+$$ \label{eq:Z-lognorm-qed}
+     Z
+=    \exp(\ln Z)
+\sim \ln \mathcal{N}\left( \frac{1}{n} \sum_{i=1}^n \mu_i, \, \frac{1}{n^2} \sum_{i=1}^n \sigma_i^2 \right)
+$$
+
+which is equivalent to \eqref{eq:Z-lognorm} and \eqref{eq:Z-lognorm-para}.