Skip to content

Commit 3e1b9d1

Browse files
RamonAraujofifthist
authored andcommitted
add solution to problem 5.47
1 parent c269999 commit 3e1b9d1

2 files changed

Lines changed: 74 additions & 0 deletions

File tree

src/chapters/5/sections/exponential/index.tex

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,3 +6,5 @@ \subsection{problem 39}
66
\input{problems/39}
77
\subsection{problem 45}
88
\input{problems/45}
9+
\subsection{problem 47}
10+
\input{problems/47}
Lines changed: 72 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,72 @@
1+
a. Let's develop the integral $\int_0^t h(s) ds$
2+
3+
$$
4+
\int_0^t h(s) ds = \int_0^t \frac{f(s)}{1 - F(s)} ds = \int_0^t \frac{f(s)}{G(s)} ds
5+
$$
6+
7+
\noindent where $G(t) = 1 - F(t)$ is the survival function.
8+
9+
10+
Doing the substitution $v = \log G(s)$, we have
11+
12+
$$
13+
dv = \frac{G\;\!'(s)}{G(s)} ds = -\, \frac{F\;\!'(s)}{G(s)} ds = -\, \frac{f(s)}{G(s)} ds
14+
$$
15+
16+
17+
With the substitution, the lower limit of integration becomes $\log G(0) = \log 1 = 0$, and the upper limit becomes $\log G(t)$.
18+
Therefore,
19+
20+
\begin{equation} \label{eq_h_G}
21+
\int_0^t h(s) ds = \int_0^{\log G(t)} - dv = -\log G(t)
22+
\end{equation}
23+
24+
25+
$$
26+
\log G(t) = - \int_0^t h(s) ds
27+
$$
28+
29+
$$
30+
G(t) = 1 - F(t) = \exp \left( - \int_0^t h(s) ds \right)
31+
$$
32+
33+
$$
34+
F(t) = 1 - \exp \left( - \int_0^t h(s) ds \right) \text{ , for all } t>0
35+
$$ \\
36+
37+
38+
b. The PDF is the derivative of the CDF
39+
40+
$$
41+
f(t) = F\;\!'(t) = \left[ 1 - \exp \left( - \int_0^t h(s) ds \right) \right]'
42+
$$
43+
44+
\begin{equation} \label{eq_f_expint}
45+
f(t) = - \exp \left( - \int_0^t h(s) ds \right) \cdot \left( - \int_0^t h(s) ds \right)'
46+
\end{equation}
47+
48+
To calculate the derivative of the integral in the relation above, let's apply the differential in both sides of equation \eqref{eq_h_G}
49+
50+
$$
51+
\left( \int_0^t h(s) ds \right)'
52+
=
53+
\left( - \log G(t) \right)'
54+
=
55+
- \frac{G\;\!'(t)}{G(t)}
56+
=
57+
\frac{ (F(t)-1)' }{G(t)}
58+
=
59+
\frac{f(t)}{1 - F(t)}
60+
=
61+
h(t)
62+
$$
63+
64+
Substituting this result in equation \eqref{eq_f_expint}
65+
66+
$$
67+
f(t) = - \exp \left( - \int_0^t h(s) ds \right) \cdot (-h(t))
68+
$$
69+
70+
$$
71+
f(t) = h(t) \exp \left( - \int_0^t h(s) ds \right) \text{ , for all } t>0
72+
$$

0 commit comments

Comments
 (0)