I think the corrollary is a bit easier to see if you rearrange the discrete recursion at the top of the page. It may be rearranged with a little algebra to be:
(t+1)_V - t_V = i*t_V + P*(1+i) - q_(x+t)*(1 - (t+1)_V)
Then term by term, we can look at the corrollaries. In general we are replacing the unit of time changed from a discrete unit of 1 to a 'very short' period of time dt. We also add a bar over the top to denote continuous terms, change interest i to a rate delta and multiply rates by time periods dt (ie rate of preium payment or rate of death).
(t+1)_V and t_V -----> (t+dt)_Vbar and t_Vbar
i*t_V --------> delta * t_Vbar * dt
P*(1+i) ------> Pbar * dt (we assume the interest on the premium is included in the o(dt) term)
q_x+t -------->mu_(x+t) * dt
(1 - (t+1)_V) ---------->(1 - (t+dt)_Vbar)
Note the last Vbar is (t+dt) not t. In the notes they have t. I think this is a typo. By justification I would refer you to the third equation of page 40, which is exactly the same, except everything is divided by h (where h represents dt), the q/h has not yet been transformed to mu by taking limits and they've added in the S term.
Technically I think they shouldn't really be writing mu yet either. It should only transform to mu AFTER the limit is taken. Technically I don't reckon they should use the bar notiation until they've taken a limit either.
But its only an illustrative equation, I don't think it makes sense to apply too much analysis to it because it is not derived anywhere with rigour. As long as the corrollary is clear with the difference equation (rearranging helps) then I think that's all we really need to get our heads around.
Cheers
Michael
Last edited by a moderator: Feb 1, 2007