Skip to content

Commit ac8766e

Browse files
Merge pull request #178 from majapavlo/master
add lognormal mean & variance
2 parents 0793d65 + 2b34402 commit ac8766e

7 files changed

Lines changed: 251 additions & 13 deletions

File tree

I/PbA.md

Lines changed: 8 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -154,8 +154,8 @@ title: "Proof by Author"
154154
- [Maximum likelihood estimation for Dirichlet-distributed data](/P/dir-mle)
155155
- [Maximum likelihood estimation for multiple linear regression](/P/mlr-mle)
156156
- [Maximum likelihood estimation for Poisson-distributed data](/P/poiss-mle)
157-
- [Maximum likelihood estimation for simple linear regression](/P/slr-mle)
158157
- [Maximum likelihood estimation for simple linear regression](/P/slr-mle2)
158+
- [Maximum likelihood estimation for simple linear regression](/P/slr-mle)
159159
- [Maximum likelihood estimation for the general linear model](/P/glm-mle)
160160
- [Maximum likelihood estimation for the Poisson distribution with exposure values](/P/poissexp-mle)
161161
- [Maximum likelihood estimation for the univariate Gaussian](/P/ug-mle)
@@ -195,8 +195,8 @@ title: "Proof by Author"
195195
- [Non-invariance of the differential entropy under change of variables](/P/dent-noninv)
196196
- [(Non-)Multiplicativity of the expected value](/P/mean-mult)
197197
- [Non-negativity of the expected value](/P/mean-nonneg)
198-
- [Non-negativity of the Kullback-Leibler divergence](/P/kl-nonneg)
199198
- [Non-negativity of the Kullback-Leibler divergence](/P/kl-nonneg2)
199+
- [Non-negativity of the Kullback-Leibler divergence](/P/kl-nonneg)
200200
- [Non-negativity of the Shannon entropy](/P/ent-nonneg)
201201
- [Non-negativity of the variance](/P/var-nonneg)
202202
- [Non-symmetry of the Kullback-Leibler divergence](/P/kl-nonsymm)
@@ -207,8 +207,8 @@ title: "Proof by Author"
207207
- [One-sample z-test for independent observations](/P/ugkv-ztest1)
208208
- [Ordinary least squares for multiple linear regression](/P/mlr-ols)
209209
- [Ordinary least squares for multiple linear regression](/P/mlr-ols2)
210-
- [Ordinary least squares for simple linear regression](/P/slr-ols)
211210
- [Ordinary least squares for simple linear regression](/P/slr-ols2)
211+
- [Ordinary least squares for simple linear regression](/P/slr-ols)
212212
- [Ordinary least squares for the general linear model](/P/glm-ols)
213213
- [Paired t-test for dependent observations](/P/ug-ttestp)
214214
- [Paired z-test for dependent observations](/P/ugkv-ztestp)
@@ -341,10 +341,10 @@ title: "Proof by Author"
341341
- [Variance of the normal distribution](/P/norm-var)
342342
- [Variance of the Poisson distribution](/P/poiss-var)
343343
- [Variance of the sum of two random variables](/P/var-sum)
344-
- [Weighted least squares for multiple linear regression](/P/mlr-wls)
345344
- [Weighted least squares for multiple linear regression](/P/mlr-wls2)
346-
- [Weighted least squares for simple linear regression](/P/slr-wls)
345+
- [Weighted least squares for multiple linear regression](/P/mlr-wls)
347346
- [Weighted least squares for simple linear regression](/P/slr-wls2)
347+
- [Weighted least squares for simple linear regression](/P/slr-wls)
348348
- [Weighted least squares for the general linear model](/P/glm-wls)
349349

350350
### kantundpeterpan (1 proof)
@@ -356,13 +356,15 @@ title: "Proof by Author"
356356
- [Chi-squared distribution is a special case of gamma distribution](/P/chi2-gam)
357357
- [Moments of the chi-squared distribution](/P/chi2-mom)
358358

359-
### majapavlo (5 proofs)
359+
### majapavlo (7 proofs)
360360

361361
- [Cumulative distribution function of the log-normal distribution](/P/lognorm-cdf)
362+
- [Mean of the log-normal distribution](/P/lognorm-mean)
362363
- [Median of the log-normal distribution](/P/lognorm-med)
363364
- [Mode of the log-normal distribution](/P/lognorm-mode)
364365
- [Probability density function of the log-normal distribution](/P/lognorm-pdf)
365366
- [Quantile function of the log-normal distribution](/P/lognorm-qf)
367+
- [Variance of the log-normal distribution](/P/lognorm-var)
366368

367369
### StatProofBook (1 proof)
368370

I/PbN.md

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -359,3 +359,5 @@ title: "Proof by Number"
359359
| P351 | covmat-psd | [Positive semi-definiteness of the covariance matrix](/P/covmat-psd) | JoramSoch | 2022-09-26 |
360360
| P352 | cov-var | [Self-covariance equals variance](/P/cov-var) | JoramSoch | 2022-09-26 |
361361
| P353 | cov-symm | [Symmetry of the covariance](/P/cov-symm) | JoramSoch | 2022-09-26 |
362+
| P354 | lognorm-mean | [Mean of the log-normal distribution](/P/lognorm-mean) | majapavlo | 2022-10-02 |
363+
| P355 | lognorm-var | [Variance of the log-normal distribution](/P/lognorm-var) | majapavlo | 2022-10-02 |

I/PbT.md

Lines changed: 7 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -187,8 +187,8 @@ title: "Proof by Topic"
187187
- [Maximum likelihood estimation for Dirichlet-distributed data](/P/dir-mle)
188188
- [Maximum likelihood estimation for multiple linear regression](/P/mlr-mle)
189189
- [Maximum likelihood estimation for Poisson-distributed data](/P/poiss-mle)
190-
- [Maximum likelihood estimation for simple linear regression](/P/slr-mle)
191190
- [Maximum likelihood estimation for simple linear regression](/P/slr-mle2)
191+
- [Maximum likelihood estimation for simple linear regression](/P/slr-mle)
192192
- [Maximum likelihood estimation for the general linear model](/P/glm-mle)
193193
- [Maximum likelihood estimation for the Poisson distribution with exposure values](/P/poissexp-mle)
194194
- [Maximum likelihood estimation for the univariate Gaussian](/P/ug-mle)
@@ -202,6 +202,7 @@ title: "Proof by Topic"
202202
- [Mean of the continuous uniform distribution](/P/cuni-mean)
203203
- [Mean of the exponential distribution](/P/exp-mean)
204204
- [Mean of the gamma distribution](/P/gam-mean)
205+
- [Mean of the log-normal distribution](/P/lognorm-mean)
205206
- [Mean of the matrix-normal distribution](/P/matn-mean)
206207
- [Mean of the multinomial distribution](/P/mult-mean)
207208
- [Mean of the multivariate normal distribution](/P/mvn-mean)
@@ -237,8 +238,8 @@ title: "Proof by Topic"
237238
- [Non-invariance of the differential entropy under change of variables](/P/dent-noninv)
238239
- [(Non-)Multiplicativity of the expected value](/P/mean-mult)
239240
- [Non-negativity of the expected value](/P/mean-nonneg)
240-
- [Non-negativity of the Kullback-Leibler divergence](/P/kl-nonneg)
241241
- [Non-negativity of the Kullback-Leibler divergence](/P/kl-nonneg2)
242+
- [Non-negativity of the Kullback-Leibler divergence](/P/kl-nonneg)
242243
- [Non-negativity of the Shannon entropy](/P/ent-nonneg)
243244
- [Non-negativity of the variance](/P/var-nonneg)
244245
- [Non-symmetry of the Kullback-Leibler divergence](/P/kl-nonsymm)
@@ -252,8 +253,8 @@ title: "Proof by Topic"
252253
- [One-sample z-test for independent observations](/P/ugkv-ztest1)
253254
- [Ordinary least squares for multiple linear regression](/P/mlr-ols)
254255
- [Ordinary least squares for multiple linear regression](/P/mlr-ols2)
255-
- [Ordinary least squares for simple linear regression](/P/slr-ols)
256256
- [Ordinary least squares for simple linear regression](/P/slr-ols2)
257+
- [Ordinary least squares for simple linear regression](/P/slr-ols)
257258
- [Ordinary least squares for the general linear model](/P/glm-ols)
258259

259260
### P
@@ -407,15 +408,16 @@ title: "Proof by Topic"
407408
- [Variance of the binomial distribution](/P/bin-var)
408409
- [Variance of the gamma distribution](/P/gam-var)
409410
- [Variance of the linear combination of two random variables](/P/var-lincomb)
411+
- [Variance of the log-normal distribution](/P/lognorm-var)
410412
- [Variance of the normal distribution](/P/norm-var)
411413
- [Variance of the Poisson distribution](/P/poiss-var)
412414
- [Variance of the sum of two random variables](/P/var-sum)
413415
- [Variance of the Wald distribution](/P/wald-var)
414416

415417
### W
416418

417-
- [Weighted least squares for multiple linear regression](/P/mlr-wls)
418419
- [Weighted least squares for multiple linear regression](/P/mlr-wls2)
419-
- [Weighted least squares for simple linear regression](/P/slr-wls)
420+
- [Weighted least squares for multiple linear regression](/P/mlr-wls)
420421
- [Weighted least squares for simple linear regression](/P/slr-wls2)
422+
- [Weighted least squares for simple linear regression](/P/slr-wls)
421423
- [Weighted least squares for the general linear model](/P/glm-wls)

I/PwS.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -55,8 +55,8 @@ title: "Proofs without Source"
5555
- [Maximum likelihood estimation can result in biased estimates](/P/mle-bias)
5656
- [Maximum likelihood estimation for multiple linear regression](/P/mlr-mle)
5757
- [Maximum likelihood estimation for Poisson-distributed data](/P/poiss-mle)
58-
- [Maximum likelihood estimation for simple linear regression](/P/slr-mle)
5958
- [Maximum likelihood estimation for simple linear regression](/P/slr-mle2)
59+
- [Maximum likelihood estimation for simple linear regression](/P/slr-mle)
6060
- [Maximum likelihood estimation for the general linear model](/P/glm-mle)
6161
- [Maximum likelihood estimation for the Poisson distribution with exposure values](/P/poissexp-mle)
6262
- [Mean of the categorical distribution](/P/cat-mean)
@@ -117,6 +117,6 @@ title: "Proofs without Source"
117117
- [Transposition of a matrix-normal random variable](/P/matn-trans)
118118
- [Variance of the Wald distribution](/P/wald-var)
119119
- [Weighted least squares for multiple linear regression](/P/mlr-wls2)
120-
- [Weighted least squares for simple linear regression](/P/slr-wls)
121120
- [Weighted least squares for simple linear regression](/P/slr-wls2)
121+
- [Weighted least squares for simple linear regression](/P/slr-wls)
122122
- [Weighted least squares for the general linear model](/P/glm-wls)

I/ToC.md

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -425,6 +425,8 @@ title: "Table of Contents"
425425
&emsp;&ensp; 3.6.4. **[Median](/P/lognorm-med)** <br>
426426
&emsp;&ensp; 3.6.5. **[Mode](/P/lognorm-mode)** <br>
427427
&emsp;&ensp; 3.6.6. **[Quantile Function](/P/lognorm-qf)** <br>
428+
&emsp;&ensp; 3.6.7. **[Mean](/P/lognorm-mean)** <br>
429+
&emsp;&ensp; 3.6.8. **[Variance](/P/lognorm-var)** <br>
428430

429431
3.7. Chi-squared distribution <br>
430432
&emsp;&ensp; 3.7.1. *[Definition](/D/chi2)* <br>

P/lognorm-mean.md

Lines changed: 100 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,100 @@
1+
---
2+
layout: proof
3+
mathjax: true
4+
5+
author: "Maja Pavlovic"
6+
affiliation: "Queen Mary University London"
7+
e_mail: "m.pavlovic@se22.qmul.ac.uk"
8+
date: 2022-10-02 09:46:00
9+
10+
title: "Mean of the log-normal distribution"
11+
chapter: "Probability Distributions"
12+
section: "Univariate continuous distributions"
13+
topic: "Log-normal distribution"
14+
theorem: "Mean"
15+
16+
sources:
17+
- authors: "Taboga, Marco"
18+
year: 2022
19+
title: "Log-normal distribution"
20+
in: "Lectures on probability theory and mathematical statistics"
21+
pages: "retrieved on 2022-10-01"
22+
url: "https://www.statlect.com/probability-distributions/log-normal-distribution"
23+
24+
proof_id: "P354"
25+
shortcut: "lognorm-mean"
26+
username: "majapavlo"
27+
---
28+
29+
**Theorem:** Let $X$ be a [random variable](/D/rvar) following a [log-normal distribution](/D/lognorm):
30+
31+
$$ \label{eq:lognorm}
32+
X \sim \ln \mathcal{N}(\mu, \sigma^2)
33+
$$
34+
35+
Then, the [mean or expected value](/D/mean) of $X$ is
36+
37+
$$
38+
\mathrm{E}(X) = \exp \left( \mu + \frac{1}{2} \sigma^2 \right)
39+
$$
40+
41+
42+
**Proof:** The [expected value](/D/mean) is the probability-weighted average over all possible values:
43+
44+
$$ \label{eq:mean}
45+
\mathrm{E}(X) = \int_{\mathcal{X}} x \cdot f_X(x) \, \mathrm{d}x
46+
$$
47+
48+
With the [probability density function of the log-normal distribution](/P/lognorm-pdf), this is:
49+
50+
$$ \label{eq:lognorm-mean-s1}
51+
\begin{split}
52+
\mathrm{E}(X) = \int_{0}^{+\infty} x \cdot \frac{1}{x\sqrt{2 \pi \sigma^2} } \cdot \exp \left[ -\frac{1}{2} \frac{\left(\ln x-\mu\right)^2}{\sigma^2} \right] \mathrm{d}x \\
53+
&= \frac{1}{\sqrt{2 \pi \sigma^2} } \int_{0}^{+\infty} \exp \left[ -\frac{1}{2} \frac{\left(\ln x-\mu\right)^2}{\sigma^2} \right] \mathrm{d}x
54+
\end{split}
55+
$$
56+
57+
Substituting $z = \frac{\ln x -\mu}{\sigma}$, i.e. $x = \exp \left( \mu + \sigma z \right )$ we have:
58+
59+
$$ \label{eq:lognorm-mean-s2}
60+
\begin{split}
61+
\mathrm{E}(X) = \frac{1}{\sqrt{2 \pi \sigma^2} } \int_{(-\infty -\mu )/ (\sigma)}^{(\ln x -\mu )/ (\sigma)} \exp \left( -\frac{1}{2} z^2 \right) \mathrm{d} \left[ \exp \left( \mu +\sigma z \right) \right] \\
62+
&= \frac{1}{\sqrt{2 \pi \sigma^2} } \int_{-\infty}^{+\infty} \exp \left( -\frac{1}{2} z^2 \right) \sigma \exp \left( \mu +\sigma z \right) \mathrm{d}z \\
63+
&= \frac{1}{\sqrt{2 \pi} } \int_{-\infty}^{+\infty} \exp \left( -\frac{1}{2} z^2 + \sigma z + \mu \right) \mathrm{d}z \\
64+
&= \frac{1}{\sqrt{2 \pi} } \int_{-\infty}^{+\infty} \exp \left[ -\frac{1}{2} \left( z^2 - 2 \sigma z - 2 \mu \right) \right] \mathrm{d}z \\
65+
\end{split}
66+
$$
67+
68+
Now multiplying $\exp \left( \frac{1}{2} \sigma^2 \right)$ and $\exp \left( -\frac{1}{2} \sigma^2 \right)$, we have:
69+
70+
$$ \label{eq:lognorm-mean-s3}
71+
\begin{split}
72+
\mathrm{E}(X) = \frac{1}{\sqrt{2 \pi} } \int_{-\infty}^{+\infty} \exp \left[ -\frac{1}{2} \left( z^2 - 2 \sigma z + \sigma^2 - 2 \mu - \sigma^2 \right) \right] \mathrm{d}z \\
73+
&= \frac{1}{\sqrt{2 \pi} } \int_{-\infty}^{+\infty} \exp \left[ -\frac{1}{2} \left( z^2 - 2\sigma z + \sigma^2 \right) \right] \exp \left( \mu + \frac{1}{2} \sigma^2 \right) \mathrm{d}z \\
74+
&= \exp \left( \mu + \frac{1}{2} \sigma^2 \right) \int_{-\infty}^{+\infty} \frac{1}{\sqrt{2 \pi} } \exp \left[ -\frac{1}{2} \left( z - \sigma \right)^2 \right] \mathrm{d}z \\
75+
\end{split}
76+
$$
77+
78+
The [probability density function of a normal distribution](/P/norm-pdf) reads:
79+
80+
$$ \label{eq:norm-pdf}
81+
f_X(x) = \frac{1}{\sqrt{2 \pi} \sigma} \cdot \exp \left[ -\frac{1}{2} \left( \frac{x-\mu}{\sigma} \right)^2 \right]
82+
$$
83+
84+
With unit variance this reads:
85+
86+
$$
87+
= \frac{1}{\sqrt{2 \pi}} \cdot \exp \left[ -\frac{1}{2} \left({x-\mu} \right)^2 \right]
88+
$$
89+
90+
Using the definition of the [probability density function](/D/pdf)
91+
92+
$$ \label{eq:def-pdf}
93+
\int_{-\infty}^{+\infty} \frac{1}{\sqrt{2 \pi}} \cdot \exp \left[ -\frac{1}{2} \left({x-\mu} \right)^2 \right] \mathrm{d}x = 1
94+
$$
95+
96+
and applying \eqref{eq:def-pdf} to \eqref{eq:lognorm-mean-s3}, we have:
97+
98+
$$ \label{eq:lognorm-mean}
99+
\mathrm{E}(X) = \exp \left( \mu + \frac{1}{2} \sigma^2 \right) .
100+
$$

P/lognorm-var.md

Lines changed: 130 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,130 @@
1+
---
2+
layout: proof
3+
mathjax: true
4+
5+
author: "Maja Pavlovic"
6+
affiliation: "Queen Mary University London"
7+
e_mail: "m.pavlovic@se22.qmul.ac.uk"
8+
date: 2022-10-02 09:02:00
9+
10+
title: "Variance of the log-normal distribution"
11+
chapter: "Probability Distributions"
12+
section: "Univariate continuous distributions"
13+
topic: "Log-normal distribution"
14+
theorem: "Variance"
15+
16+
sources:
17+
- authors: "Taboga, Marco"
18+
year: 2022
19+
title: "Log-normal distribution"
20+
in: "Lectures on probability theory and mathematical statistics"
21+
pages: "retrieved on 2022-10-01"
22+
url: "https://www.statlect.com/probability-distributions/log-normal-distribution"
23+
- authors: "Wikipedia"
24+
year: 2022
25+
title: "Variance"
26+
in: "Wikipedia, the free encyclopedia"
27+
pages: "retrieved on 2022-10-01"
28+
url: "https://en.wikipedia.org/wiki/Variance#Definition"
29+
30+
proof_id: "P355"
31+
shortcut: "lognorm-var"
32+
username: "majapavlo"
33+
---
34+
35+
36+
**Theorem:** Let $X$ be a [random variable](/D/rvar) following a [log-normal distribution](/D/lognorm):
37+
38+
$$
39+
X \sim \ln \mathcal{N}(\mu, \sigma^2) .
40+
$$
41+
42+
Then, the [variance](/D/var) of $X$ is
43+
44+
$$ \label{eq:lognorm-var}
45+
\mathrm{Var}(X) = \exp \left(2\mu +2\sigma^2\right) - \exp \left(2\mu + \sigma^2\right) \; .
46+
$$
47+
48+
49+
**Proof:**
50+
[Variance](/D/var) is defined as:
51+
52+
$$ \label{eq:var}
53+
\mathrm{Var}(X) = \mathrm{E}\left[ (X-\mathrm{E}(X))^2 \right]
54+
$$
55+
56+
which, [ partitioned into expected values](/P/var-mean) reads:
57+
58+
$$ \label{eq:var2}
59+
\mathrm{Var}(X) = \mathrm{E}\left[ X^2 \right] - \mathrm{E}\left[ X \right]^2
60+
$$
61+
62+
The [expected value of the log-normal distribution](/P/lognorm-mean) is:
63+
64+
$$ \label{eq:lognorm-mean-ref}
65+
\mathrm{E}[X] = \exp \left( \mu + \frac{1}{2} \sigma^2 \right)
66+
$$
67+
68+
The second moment $\mathrm{E}[X^2]$ can be derived as follows:
69+
70+
$$ \label{eq:second-moment}
71+
\begin{split}
72+
\mathrm{E} [X^2] = \int_{- \infty}^{+\infty} x^2 \cdot f_\mathrm{X}(x) \, \mathrm{d}x \\
73+
&= \int_{0}^{+\infty} x^2 \cdot \frac{1}{x\sqrt{2 \pi \sigma^2} } \cdot \exp \left[ -\frac{1}{2} \frac{\left(\ln x-\mu\right)^2}{\sigma^2} \right] \mathrm{d}x \\
74+
&= \frac{1}{\sqrt{2 \pi \sigma^2} } \int_{0}^{+\infty} x \cdot \exp \left[ -\frac{1}{2} \frac{\left(\ln x-\mu\right)^2}{\sigma^2} \right]\mathrm{d}x
75+
\end{split}
76+
$$
77+
78+
Substituting $z = \frac{\ln x -\mu}{\sigma}$, i.e. $x = \exp \left( \mu + \sigma z \right )$, we have:
79+
80+
$$ \label{eq:second-moment-s2}
81+
\begin{split}
82+
\mathrm{E} [X^2] = \frac{1}{\sqrt{2 \pi \sigma^2} } \int_{(-\infty -\mu )/ (\sigma)}^{(\ln x -\mu )/ (\sigma)} \exp \left( \mu +\sigma z \right) \exp \left( -\frac{1}{2} z^2 \right) \mathrm{d} \left[ \exp \left( \mu +\sigma z \right) \right] \\
83+
&= \frac{1}{\sqrt{2 \pi \sigma^2} } \int_{-\infty}^{+\infty} \exp \left( -\frac{1}{2} z^2 \right) \sigma \exp \left( 2\mu + 2 \sigma z \right) \mathrm{d}z \\
84+
&= \frac{1}{\sqrt{2 \pi} } \int_{-\infty}^{+\infty} \exp \left[ -\frac{1}{2} \left( z^2 - 4 \sigma z - 4 \mu \right) \right] \mathrm{d}z \\
85+
\end{split}
86+
$$
87+
88+
Now multiplying by $\exp \left( 2 \sigma^2 \right)$ and $\exp \left(- 2 \sigma^2 \right)$, this becomes:
89+
90+
$$ \label{eq:second-moment-s3}
91+
\begin{split}
92+
\mathrm{E} [X^2] = \frac{1}{\sqrt{2 \pi} } \int_{-\infty}^{+\infty} \exp \left[ -\frac{1}{2} \left( z^2 - 4 \sigma z + 4 \sigma^2 -4 \sigma^2 - 4 \mu \right) \right] \mathrm{d}z \\
93+
&= \frac{1}{\sqrt{2 \pi} } \int_{-\infty}^{+\infty} \exp \left[ -\frac{1}{2} \left( z^2 - 4\sigma z + 4\sigma^2 \right) \right] \exp \left( 2 \sigma^2 +2 \mu \right) \mathrm{d}z \\
94+
&= \exp \left( 2 \sigma^2 +2 \mu \right) \int_{-\infty}^{+\infty} \frac{1}{\sqrt{2 \pi} } \exp \left[ -\frac{1}{2} \left( z - 2 \sigma \right)^2 \right] \mathrm{d}z \\
95+
\end{split}
96+
$$
97+
98+
The [probability density function of a normal distribution](/P/norm-pdf) is
99+
100+
$$
101+
f_X(x) = \frac{1}{\sqrt{2 \pi} \sigma} \cdot \exp \left[ -\frac{1}{2} \left( \frac{x-\mu}{\sigma} \right)^2 \right]
102+
$$
103+
104+
with $\mu = 2 \sigma$ and unit variance this reads:
105+
106+
$$
107+
= \frac{1}{\sqrt{2 \pi}} \cdot \exp \left[ -\frac{1}{2} \left({x - 2 \sigma} \right)^2 \right]
108+
$$
109+
110+
Using the definition of the [probability density function](/D/pdf)
111+
112+
$$
113+
\int_{-\infty}^{+\infty} \frac{1}{\sqrt{2 \pi}} \cdot \exp \left[ -\frac{1}{2} \left({x - 2 \sigma} \right)^2 \right] \mathrm{d}x = 1
114+
$$
115+
116+
and applying \eqref{eq:def-pdf} to \eqref{second-moment-s3}, we have:
117+
118+
$$ \label{eq:second-moment-4}
119+
\mathrm{E}[X]^2 = \exp \left( 2 \sigma^2 +2 \mu \right) \; .
120+
$$
121+
122+
Applying \eqref{eq:second-moment-4} and \eqref{eq:lognorm-mean-ref} to \eqref{eq:var2}, we have:
123+
124+
$$ \label{eq:lognorm-var-2}
125+
\begin{split}
126+
\mathrm{Var}(X) = \mathrm{E}\left[ X^2 \right] - \mathrm{E}\left[ X \right]^2 \\
127+
&= \exp \left(2\sigma^2 + 2\mu \right) - \left[ \exp \left(\mu + \frac{1}{2} \sigma^2 \right) \right]^2 \\
128+
&= \exp \left(2\sigma^2 + 2\mu \right) - \exp \left(2\mu + \sigma^2\right) \; .
129+
\end{split}
130+
$$

0 commit comments

Comments
 (0)