A Note On Life Table and Multiple-Decrement Table Functions
A Note On Life Table and Multiple-Decrement Table Functions
Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at http://www.jstor.org/page/
info/about/policies/terms.jsp
JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content
in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship.
For more information about JSTOR, please contact [email protected].
Institute and Faculty of Actuaries and Cambridge University Press are collaborating with JSTOR to digitize, preserve and
extend access to Journal of the Institute of Actuaries (1886-1994).
http://www.jstor.org
This content downloaded from 202.43.95.117 on Sat, 03 Oct 2015 03:22:42 UTC
All use subject to JSTOR Terms and Conditions
RESULTS
Theorem2.1
Let /= [A,B) or ( - oo, 2?),whereB maybe oo. Suppose that/(x)is continuous
on /and thatitsright-hand
derivative,/+(x), is zero on /.Then/(;c) is constant.
Proof (Adapted fromHobson, p. 365)
Let us considerthecase when/= ( - oo, /?);thecase when/= [A,B) is similarly
dealt with.If theconclusionof thetheorembe false,theremustbe a and b in /,
witha<b, such thatf (a) <f(b) orf(a)>f(b).
Let us suppose thatf(a) <f(b), the case whenf(a) >f(b) beingtreatedby a
similarargument.For each k, let:
(t>(x,k)=f(x)-f(a)-k(x-a)
= 0. Let k be positivebutso smallthat
whichis continuouson /.Note that<t>{a,k)
= 2q>0.
(/>(b,k)
Let M = {x: a<x<band (f)(x,k)<q} and = supM, whichis clearlysuch that
671
This content downloaded from 202.43.95.117 on Sat, 03 Oct 2015 03:22:42 UTC
All use subject to JSTOR Terms and Conditions
Decrement
A Note on Life Table and Multiple< q, whichshowsthat</>(,&)
< q. Now let
a<^<b. Let xn-> . We have (j)(xn,k)
xn-++ - Since <j){xn,k)>qforall n, (/>(,
k)>q, and so (j)(,k)= q. Also:
672
/i- x
X,?
g(x)=f(x)-jf'+(y)dy
a
wherea is any numberin /. An applicationof Theorem2.1 shows thatg(x) is
constant,and is therefore
equal tof(a). Hence:
f(x)=f(a) + ]f'+(y)dy
a
forall x in /,sof(x) is differentiable.
(Its derivativeis, ofcourse,equal to/!(*).)
Q.E.D.
3. APPLICATION
TO LIFE TABLES
For a<x<a>,
let:
=
(3.1)
.s(x) theprobabilitythata lifeaged a survivesto age x
letus suppose
function'.For simplicity,
whichis usuallycalled the'survivorship
fromnow on thatthelimitingage, co,is oo; thecase when< oo requiresminor
We may also write:
modifications.
lx= l*s(x)
(3.2)
where/ais theradixof thelifetable (generallya largenumbersuch as 100,000.)
Let s(x) be positiveand continuous.(In some applications,generallynot to life
etc., s(x) may be discontinuousat certain
tables,but to tables of retirements,
points.In suchcases we mayapplythetechniquesgivenhereovereach sectionof
thetable,makingspecial allowancesat thediscontinuities.)
For ol<x<x + t, let:
= Pr{a lifeaged x survivesto age x + t}.
(3.3)
,/?.v
This content downloaded from 202.43.95.117 on Sat, 03 Oct 2015 03:22:42 UTC
All use subject to JSTOR Terms and Conditions
Table Functions
673
We also define:
x = 1-tPx
(3.4)
= lim ^
/i-o+ A
(3.5)
'
=
x^-xxPxx x2-xxPxx x3-x2Px2-
(3.6)
(3J)
Theorem
3.1
Foreachx and /suchthata < x < x + r:
,Av= exp -j)UY+y^ .
(3.8)
= -<W '
A5(jc)
s(x)
This content downloaded from 202.43.95.117 on Sat, 03 Oct 2015 03:22:42 UTC
All use subject to JSTOR Terms and Conditions
674
(3.9)
+ldt.
hqxJ'tPxHx
0
,p,= exPr-fr*+'&l
= exp[-5rv(c'-l)/logc].
4. THE MULTIPLE-DECREMENT
TABLE
Let us consideronlytwomodesofdecrement,
and y,and supposethatwe are
twomodes,all exceptmode
more
than
are
in
there
mode
interested
. (If
mainly
has the'lifetable'
maybe combined.)It is supposedthateach modeofdecrement
functions/x?,tpx,
etc., as in Section 3. Lives are consideredto continuein
existencewithrespectto a givenmode afterexitbytheothermode ofdecrement.
To avoid philosophicalproblemswhenone of themodes of decrementis death,
one may,forexample,take mode as exitby marriageand mode y as exitby
withdrawalfromserviceamongthebacheloremployeesof a largeorganisation,
mortalitybeingignored.
fora lifeaged
Let Tu T2denotethetimesto exitbymodes and yrespectively
x. It followsby formula3.9 that Tu T2 have probabilitydensityfunctions
We assume that Txand T2
+ u (t' > 0) and t2pl'i'+ t2(t2> 0) respectively.
txP%Px
and define:
are independent,
This content downloaded from 202.43.95.117 on Sat, 03 Oct 2015 03:22:42 UTC
All use subject to JSTOR Terms and Conditions
Table Functions
675
oo
= itPSt + n '
'HPl'iyx+ tldhdtx
o
/,
= SuPPPx
+ tl-hPldtx.
(4.2)
= tfh+ o(h)
h(aqfy
(4.3)
= lim
n *0 +
^-?fl
= ^.
(4.4)
This content downloaded from 202.43.95.117 on Sat, 03 Oct 2015 03:22:42 UTC
All use subject to JSTOR Terms and Conditions