You are on page 1of 37

A ne stochastic mortality

Jorge Miguel Ventura Bravo


This Draft: Maio 2005

Abstract
xxxx
University of vora - Department of Economics, Largo dos Colegiais, N.o 2, 7000-803, vora/Portugal, Tel.:
+351 266 740894 / Fax: +351 266 742494, E-Mail: jbravo@uevora.pt

Contents
1 Conceitos Base

2 A ne Processes

3 Modelo de Merton (1973)

4 Modelo de Merton com Jumps

5 Modelo de Vasicek

6 Mean Reverting with Jumps (M.R.J.)

7 Modelo de Cox-Ingersoll-Ross (CIR)

11

8 Modelo de Dothan (1978) modicado

14

9 Modelo de Feller

17

10 Modelo de Feller com Jumps

20

11 Equao de Ornstein-Uhlenbeck

21

12 Equao de Ornstein-Uhlenbeck com Jumps

22

13 Modelo de Gompertz-Makeham

24

14 Modelo de Siler

28

15 Modelo de Thiele

32

Conceitos Base

Probabilidade de sobrevivncia

Sx (t) = P (Tx > t j F0 ) = E e

Rt
0

x (u)du

j F0

A ne Processes

Considere-se o seguinte espao de probabilidade ( ; F; P ) e a ltragem z = (Ft )t

satisfazendo

as habituais condies e representando a informao disponvel at ao momento t. Admitamos


que a intensidade de mortalidade

especicada em termos de uma funo do tipo a ne com

respeito a um processo estocstico X(t) (i.e.

1 X(t))

em R, cuja dinmica explicada

pela seguinte equao diferencial estocstica (SDE):

dX(t) = (t; X(t))dt + (t; X(t))dW (t) + dJ(t)


onde W (t) denota um movimento browniano standard em Rn e J dene um "jump-process"
em Rn com intensidade de salto fl(t; X(t)) : t > 0g e dimenso dos saltos distribuda segundo

em Rn : Admitamos em seguida que ( ) e ( ) tm a seguinte forma:


8
>
>
>
<
>
>
>
:

(t; X(t)) = d0 (t) + d1 (t) X(t)


(t; X(t)) (t; X(t))T

i;j

= (V0 (t))i;j + (V1 (t))i;j X(t);

i; j = 1; :::n:

l(t; X(t)) = l0 (t) + l1 (t) X(t)

e que a distribuio da dimenso dos saltos determinada pela sua transformada de Laplace:
R
(t; c) = Rn ec z d t (z); denida para t 2 [0; 1); c 2 Cn de tal modo que o integral seja nito.

Denition 1 Se admitirmos que a probabilidade de sobrevivncia Sx (t) tem a seguinte forma:

Sx (t) = E exp

T
x (s)ds

onde f tem a seguinte forma:


3

j X(t) = f (t; x; T;

x)

f (t; x; T;

= eA(t;x;T )+B(t;x;T )

x)

= eA(

;x)+B( ;x)

=T

(1)

onde A(t; x; T ) e B(t; x; T ) so funes determinsticas, o modelo para a intensidade de mortalidade possui uma estrutura dita do tipo a ne para o cohort x e A( ) e B( ) satisfazem o seguinte
conjunto de ODEs:

B (t) =
0

A (t) =

d1 (t)T B(t)

d0 (t) B(t)

1
B(t)T V1 (t)B(t)
2
1
B(t)T V0 (t)B(t)
2

l1 (t) [ (t; B(t))

1]

l0 (t) [ (t; B(t))

1]

(2)

com as seguintes condies limite:

A(T; T ) = 0; B(T; T ) = 0

Modelo de Merton (1973)

Equao de difuso:

x (t)

= adt + dW (t)

onde W (t) designa um movimento browniano. Admitamos que a probabilidade de sobrevivncia representada pela seguinte funo:

f( ;

x)

= exp fA( ) + B( )

xg ;

=T

(3)

Calculando as necessrias derivadas parciais

h 0
i
@f ( ; x )
0
=
A ( ) + B ( ) x (t)
@t
@f ( ; x )
@2f ( ;
= B( )f ( ; x );
@ x
@ 2x
4

x)

= B( )2 f ( ;

x)

Nota:

A( ) =

@A( ) @
=
@ |{z}
@t

@A( )
@t

= 1

B( ) =

@B( ) @
=
@ |{z}
@t

@B( )
@t

= 1

e substituindo na frmula de Feynman-Kac obtemos:

f (t;

x)

Dividindo por f (t;

x)

A( )+B ( )

i
1
(t)
+ aB( ) +
x
2

B( )2

x (t)

=0

e arrumando as parcelas obtemos:

B( )

i
1

x (t)

A ( ) + aB( ) +

1
2

B( )2 = 0

Daqui resulta o seguinte conjunto de ODEs:


8
<
:

B( )

1=0

A ( ) + aB( ) +

1
2

B( )2 = 0

(4)

e respectivas condies terminais

(5)

B(T; T ) = 0; A(T; T ) = 0:
Resolvendo o sistema (4) e (5) obtemos as seguintes solues fechadas para A( ) e B( ) :

B( ) =

(T

A( ) =

a
(T
2

t)
2

t)2 +

Proof. Demonstrao da Equao


5

(T

t)3

A(T

t)

A(0) =
|{z}
=0

aB(T

s) +

A( ) = a

[ (T

s)]2 ds

t)2 +

s)2 ds

B(T

1
s)] ds +
2

[ (T

a
(T
2

1
2

t)3

(T

Substituindo em (3) obtemos a seguinte expresso para a probabilidade de sobrevivncia:


a
(T
2

Sx (t) = exp

t)2 +

t)3

(T

(T

t)

x (t)

Modelo de Merton com Jumps

Equao de difuso:

x (t)

= adt + dW (t) + dJ(t)

onde J(t) designa um processo de Poisson composto, independente de W (t), com intensidade
de salto l1 > 0 e dimenso dos saltos exponencialmente distribuda com mdia

< 0. Da aplicao

da frmula de Feynman-Kac resulta, neste caso:

f (t;

x)

i
1
A ( ) + B ( ) x (t) + aB( ) +
2
0

Dividindo por f (t;

x)

i
1

B( )

B( )2 + l1

B( )
1
B( )

x (t)

=0

e arrumando as parcelas obtemos:

x (t)

A ( ) + aB( ) +

1
2

B( )2 + l1

B( )
=0
1
B( )

Daqui resulta o seguinte conjunto de ODEs:


8
<
:

B( )
0

A ( ) + aB( ) +

1
2

1=0
2

B( )2 + l1 1

B( )
B( )

(6)
=0

e respectivas condies terminais

(7)

B(T; T ) = 0; A(T; T ) = 0:
Resolvendo o sistema (6) e (7) obtemos as seguintes solues fechadas para A( ) e B( ) :

B( ) =

(T

t)

A( ) =

a
(T
2

2
2

t) +

t)3

(T

ln [1 + (T

l1 (T

t) + l1

B(T

s)2 + l1

t)]

Proof. Demonstrao da Equao

A(T

t)

A(0) =
|{z}
=0

A( ) = a

[ (T

=
=
=

a
(T
2
a
(T
2
a
(T
2

aB(t

s) +

6
6

l1 [ T

(T

t)3

l1 [ (T

t)

ln(1 + (T

(T

t)3

l1 (T

[ (T

s)] ds +

t)2 +

t) + l1

l1

ln [1 + (T

Modelo de Vasicek

Equao de difuso:

ds

t)3

t)2 +

B(T s)
1
B(T s)

(T

[ (T s)]
ds
1
[ (T s)]
t
ln(1 + T
t)]

1
s)] ds +
2

t)2 +

1
2

x (t)

= (

x (t))dt

+ dW (t)

Da aplicao da frmula de Feynman-Kac resulta, para

=T

t:

t))]
t)]

f (t;

x)

Dividindo por f (t;


h

i
(t)
+ B( ) [a(
x

A( )+B ( )

B( )

x)

x (t))]

1
2

B( )2

x (t)

=0

e arrumando as parcelas obtemos:


i
1

aB( )

x (t)

A ( ) + a B( ) +

1
2

B( )2 = 0

Daqui resulta o seguinte conjunto de ODEs:


8
<

B( )

aB( )

A ( ) + a B( ) +

1
2

1=0
2

(8)

B( )2 = 0

e respectivas condies terminais

(9)

B(T; T ) = 0; A(T; T ) = 0:
Resolvendo o sistema obtemos as seguintes solues fechadas para A( ) e B( ) :

B( ) =

1
1
a

A( ) =

1
a2

a(T t)

(10)
2

t) + B( )] a2

[(T

B( )2
4a

Proof. Demonstrao das Equaes () e ():

B( )
+e

a(T t)

1
1
a

a
+e

a(T t)

+1

1 = 0,

aB( )
a(T t)

1 = 0,

a(T t)

1 = 0,
0 = 0

A(T

t)

A(0) =
|{z}
=0

a B(T

s) +

1
2

B(T

s)2 ds

(11)

A( ) = a

1
1
a

a(T s)

a(T s)

ds +

(T

1
1
a

t)

1
ds +
2
2 Z T

2a2

a(T t)

a(T s)

+e

2e

[(T

t) + B( )] +

2a2

1
a2

t)

(T

2a2

(T

+ B( )

t) + B( )] a

ds
ds

a(T t)

2a(T t)

2a

2a(T t)

2a

1
4a3
2
B( )2
4a

a2

[(T

1
1
a

t) + 2

t) + 2B( ) +
2

2a2

2a(T s)

= (T

a(T s)

1
1
a

2a(T t)

Mean Reverting with Jumps (M.R.J.)

Equao de difuso:

x (t)

= a(

x (t))dt

+ dJ(t)

onde J(t) designa um processo de Poisson composto, independente de W (t), com intensidade
de salto l1 > 0 e dimenso dos saltos exponencialmente distribuda com mdia

f (t;

x ) = exp

< 0. Seja:

T
x (s)ds

Da aplicao da frmula de Feynman-Kac resulta, para

f (t;

x)

A( )+B ( )

Dividindo por f (t;

x)

i
(t)
+ B( ) [a(
x

x (t))]

e arrumando as parcelas obtemos:

=T

+ l1

t:

B( )
1
B( )

x (t)

=0

B( )

i
1

aB( )

x (t)

A ( ) + a B( ) + l1

B( )
=0
1
B( )

Daqui resulta o seguinte conjunto de ODEs:


8
<
:

B( )

aB( )

1=0

A ( ) + a B( ) + l1 1

B( )
B( )

(12)
=0

e respectivas condies terminais

(13)

B(T; T ) = 0; A(T; T ) = 0:

Resolvendo o sistema (12) e (13) obtemos as seguintes solues fechadas para A( ) e B( ) :

B( ) =

1
1
a

A( ) =

[(T

a(T t)

(14)

t) + B( )]

(T t)
ln [1
B( )]
+ l1
a+
a+

l1

Proof. Demonstrao das Equaes (14) e (15):

B( )
+e

a(T t)

1
1
a

a
+e

a(T t)

+1

aB( )
a(T t)

a(T t)

1 = 0,
1 = 0,
1 = 0,
0 = 0

A(T

t)

A(0) =
|{z}
=0

a B(T

10

s) + l1

B(T s)
1
B(T s)

ds

(15)

A( ) = a

1
1
a

a(T s)

ds +

a(T s)

ds +

=
+
=

1
1
a

t)

ln e

a(T s)

l1

a(T t)

t) + B( )] +

a (T

(T

[(T

l1

l1
a(a + )

1
a

1
1
a

1+

1 e a(T s)
1
(1 e a(T s) )
a
)

1 e a(T s)
1
(1 e a(T s) )
a

l1
a(a + )

ds

ds

ln( a)a + ln

ln( a)a + ln a

1+

+ e

1
1
a

a(T t)

a(T t)

t)g

[(T

t) + B( )] +

[(T

t) + B( )]

l1
f ln( a)a + ln [a ( 1 + B( ))] a
a(a + )
ln [1
B( )]
(T t)
+ l1
l1
a+
a+

a (T

t)g

x (t)

=0

Modelo de Cox-Ingersoll-Ross (CIR)

Equao de difuso:

x (t)

= a(

x (t))dt

x (t)dW (t)

Da aplicao da frmula de Feynman-Kac resulta, para

f (t;

x)

[A0 ( ) + B 0 ( )

Dividindo por f (t;

x)

B0( )

x (t)]

+ B( ) [a(

x (t))]

=T

1
2

t:

x (t)B(

)2

e arrumando as parcelas obtemos:

aB( ) +

1
2

B( )2

Daqui resulta o seguinte conjunto de ODEs:

11

x (t)

+ [ A0 ( ) + a B( )] = 0

8
<

B0( )

aB( ) +

1
2

B( )2

1=0

(16)

A0 ( ) + a B( ) = 0

e respectivas condies terminais

(17)

B(T; T ) = 0; A(T; T ) = 0:
Resolvendo o sistema obtemos as seguintes solues fechadas para A( ) e B( ) :

B( ) = B(T

t) =
8
>
>
>
<

com

A( ) =

a (

>
>
>
:
+

1 e 1 (T t)
;
1 (T t)
2 + 3e
p
a2 + 2 2
1 =
=

3)

a+
2
(a
2

1
1)

+
2+

3e

ln

1 2 3

p
a+ a2 +2 2
2
p
a
a2 +2 2
2
1T

1t

3e

(T

t)

Proof. Demonstrao da Equao

B0( )

aB( ) +

1
2

B( )2

1 = 0 , B0( ) =

1
aB( ) +
2

B( ) = 0,

Denotemos por

aB( ) +
2

B( )

a seguinte expresso:

a2 + 2

Consideremos agora a seguinte transformao de varivel:

u( ) = B( )
Substituindo obtemos a seguinte ODE:
12

(a +
2

1
2

1)

B( )2

1 = 0 , B( ) =

8
<
:

p
a+ a2 +2

a2 +2
2

u( ) =
1
2
1
=
2
1
=
2
1
=
2
=

a u( ) +
2

u( )2 +

u( )2 +

u( ) +

u( )2 +

(a +

1 2
(a + 1 )
+
u( ) +
1
2
2
2
a(a + 1 )
1 (a + 1 )2
u(
)
1
+
1
2
2
2
2a(a + 1 ) 2 2 + (a2 + 2ab + 21 )
1 u( ) +
2 2
p
2a2 2ab 2 2 + a2 + 2ab +
a2 + 2
u(
)
+
1
2 2
1 u(

1)

cuja soluo vem dada por:

u( ) =

2
2 1e

C1

; C1 = constante

Invertendo a substituio de varivel obtemos:

B( ) = u( ) +
=

(a +

1)

2 1
2
2
2 1e 1
2
+ (a + 1 ) 2 2 1 e 1
2( 2
2 1e 1
C1 )
=

C1
C1

(a +

1)

Das condies limite para B( ) obtemos:

,
,

+ (a + 1 ) 2 2 1 e 1 0 C1
=0
2( 2
2 1 e 1 0 C1 )
2
+ (a + 1 ) ( 2 2 1 C1 )
=0
2( 2
2 1 C1 )
2
+ 2 (a + 1 ) 2 1 (a + 1 )C1 = 0
2

B(0) = 0 ,
2

, 2 1 (a +

1 )C1

=
2
(a
1)
, C1 =
2 1 (a + 1 )

(a

Substituindo em B( )

13

1)

2
B( ) =

+ (a +
h
2

1)

(a +

1)

2 (a

a+

1)

2
1)

2
1)
1

(a

1) e

1 (a+ 1 )
1

1) e

(a

1)
2 (a+

(a
2 (a

1)

a+

a2

+2

1) e
1
1 )e

1 e
(a
e
1 ) (a + 1 ) 1
=
2 (a +
2 (a
2 (a +
2 (a
1
1)
1) e
1)
1) e
2 2 1 e 1
1 e 1
=
(a+ 1 )
2 (a +
2 (a
1
+ (a 2 1 ) e 1
1)
1) e
2
8
p
>
>
= a2 + 2 2
1
>
<
p
1 e 1 (T t)
(a+ 1 )
a+ a2 +2 2
;
=
=
2
2
2
1 (T t)
>
2 + 3e
>
p
>
(a 1 )
a
a2 +2 2
:
=
3 =
2
2
1

1)

1 (a+ 1 )

(a
1

2 (a

2
2 (a

1)
2 (a
a+

+ (a +

Proof. Demonstrao da Equao

A(T

t)

A(0) = a
|{z}
=0

A( ) = a

B(T

1 e 1 (T s)
1 (T s)
2 + 3e

= a
=

s)ds

a (

2+

3 ) ln

3e

1T

2+

3 ) ln

1 2 3
2

3)

ln

1 2 3

2+

ds

+
2+

3e

1T

3e

1t

(T

t)

Modelo de Dothan (1978) modicado

Equao de difuso:

x (t)

x (t)dW (t),

14

>0

2+

3e

1t

3 (T

t)

onde W (t) designa um movimento browniano. Da aplicao da frmula de Feynman-Kac


resulta neste caso:

f (t;

x)

[A0 ( ) + B 0 ( )

Dividindo por f (t;

x)

x (t)]

+ B( )

0+

1
2

)2

x (t)B(

x (t)

=0

e arrumando as parcelas obtemos:

B0( ) +

1
2

B( )2

A0 ( ) = 0

x (t)

Daqui resulta o seguinte conjunto de ODEs:


8
<

B0( ) +

1
2

B( )2

1=0

(18)

A0 ( ) = 0

e respectivas condies terminais

(19)

B(T; T ) = 0; A(T; T ) = 0:

Resolvendo o sistema (18) e (19) obtemos as seguintes solues fechadas para A( ) e B( ) :

A( ) = 0
B( ) = B(T

p h (
2 e

t) =

1 + e(

2 (T t)

e
1
[1 + e

1
;
t) ]

2 (T

1
2

B( )2

1 = 0 , B0( ) =

1
B0( ) = 0 ,
2

15

8
<
:

Proof. Demonstrao da Equao (21)

B0( ) +

2(T t))
p

1
2
2

B( )

(20)

i
1

(21)

2(T t))

1
2

B( )2

1 = 0 , B( ) =

8
<
:

Considere-se a seguinte transformao de varivel:


p

u( ) = B( )

Substituindo obtemos a seguinte ODE:

1
u0 ( ) =
2
1
2

u( ) +

p !2
2

u( )2 +

; C1 = constante

2u( )

cuja soluo vem dada por:

u( ) =

4
2 + 4e(

2 )

C1

Invertendo a substituio de varivel obtemos:

B( ) = u( ) +

4
p
2 + 4e(

p h p
2 + 4e(
4 + 2
p
p
=
2
2 + 4e(

p
)

2 )

2 )

C1

C1

C1

Das condies limite para B( ) obtemos:


p h p
2
2 + 4e(
p
p
B(0) = 0 ,
2
2 + 4e(
h
i
p
p
, 4 + 2
2 + 4C1 = 0
4 +

, C1 = p
2 2

Substituindo em B( )

16

2 0)

0)

C1

C1

=0

o
p
p n p
2 )
p
2
2 + 4e(
2 2
o
n p
B( ) =
p
2 )
p
2 + 4e(
2 2
i
h
p
p
(
2 )
2
1
e
(
2 )
2
2 e
p
p
=
=
2 )
2 )
4 2
4p2 e(
4 2 [1+e(
]
p
2 2
2 2
i
p h ( p2 )
2 e
1
p
=
2 )
1 + e(
4 +

Modelo de Feller

Equao de difuso:

x (t)

=a

x (t)dt

x (t)dW (t),

>0

onde W (t) designa um movimento browniano. Da aplicao da frmula de Feynman-Kac


resulta neste caso:

f (t;

x)

[A0 ( ) + B 0 ( )

Dividindo por f (t;

x)

x (t)]

+ aB( )

x (t)

1
2

x (t)B(

)2

x (t)

=0

e arrumando as parcelas obtemos:

B 0 ( ) + aB( ) +

1
2

B( )2

x (t)

A0 ( ) = 0

Daqui resulta o seguinte conjunto de ODEs:


8
<
:

B 0 ( ) + aB( ) +

1
2

B( )2

A0 ( ) = 0

1=0

(22)

e respectivas condies terminais

B(T; T ) = 0; A(T; T ) = 0:
17

(23)

Resolvendo o sistema (22) e (23) obtemos as seguintes solues fechadas para A( ) e B( ) :

A( ) = 0
B( ) = B(T

com

Proof. Demonstrao da Equao

B 0 ( ) + aB( ) +

1
2

B( )2

1 e 1 (T t)
;
1 (T t)
2 + 3e
p
=
a2 + 2 2
1

t) =
8
>
>
>
<
>
>
>
:

a
2
(a+
2

1)

a2 +2 2
2
p
a+ a2 +2
2

1 = 0 , B 0 ( ) = aB( ) +

1
B 0 ( ) = 0 , aB( ) +
2

Denotemos por

1
2

B( )2

1 = 0 , B( ) =

B( )

a seguinte expresso:

a2 + 2

Consideremos agora a seguinte transformao de varivel:

u( ) = B( )

a)

1
2

Substituindo obtemos a seguinte ODE:

1
2
1
=
2
1
=
2

u0 ( ) =

u( ) +

a)

1
2

+ a u( ) +

1(
u( ) + 1 u( ) +
2
2

u( )2 +

1 u(

a)2

1
2

a)

1+

a(

cuja soluo vem dada por:

u( ) =

2
2 1e

C1

18

; C1 = constante

1
a)

1
2

8
<
:

a2 +2

a2 +2
2

Invertendo a substituio de varivel obtemos:

B( ) = u( ) +
2

a)

+ 2 21 e
(

2 1
(
+
2 1e 1
C1
C1 + a 2 2a 1 e 1
2 1e 1
C1 ) 2

a)

C1

Das condies limite para B( ) obtemos:


+ 2 21 e
(
2
2
1
+ 2 1e

1
2

B(0) = 0 ,

(a +

C1 + a 2 2a 1 e
2 1e 1
C1 ) 2
C1 + a 2 2a 1 e 1

C1

=0

C1 = 0

2 21 C1 + 2a 1 C1 = 0

1)

, C1 [2 1 (a
1 )]
2
(a + 1 )
, C1 =
2 1 (a
1)

(a +

1)

=0

Substituindo em B( )

2
1 (a

B( ) =
=

2
1

+e
1 (a

+ a 1 (a
a2 1 e
1)
2
1 + a
1
1) + 1e
1e
1

3
1

a2 1 ) + a2 1 a
2
1 (
1) + e
1 + a 1)

a2 ) + e 1
1 (a
1) + e

a2 + 2

2
1

2
1( 1

a2 )
[ 1 ( 1 + a)]

a expresso acima simplica-se para dar lugar a:

) + e 1 [ 1 (2 2 )]
2 [e 1 (a +
(a
1)
1 )]
2
2 1
1 e 1
2 [e 1 (a +
(a
1)
1 )]
1 e 1
1 (2

=
1
(a

1)

+ 31 e
1 (a

2
1( 1

B( ) =

3
1
2

=
Recordando que

1)

1 e
2 + 3e

(a+
2

1)

1 (T t)
1 (T t)

8
>
>
>
<
>
>
>
:
19

1
2
3

=
a

2
(a+
2

p
1
1)

a2 + 2

=
=

a2 +2 2
2
p
a+ a2 +2
2

10

Modelo de Feller com Jumps

Equao de difuso:

x (t) = a

x (t)dt +

x (t)dW (t)

+ dJ(t),

>0

onde J(t) designa um processo de Poisson composto, independente de W (t), com intensidade
de salto l1 > 0 e dimenso dos saltos exponencialmente distribuda com mdia

< 0. Da aplicao

da frmula de Feynman-Kac resulta, neste caso:

f (t;

x)

[A0 ( ) + B 0 ( )

Dividindo por f (t;

x)

x (t)]

+a

x (t)B(

1
2

)+

x (t)B(

)2 + l1

B( )
1
B( )

x (t)

=0

e arrumando as parcelas obtemos:

B 0 ( ) + aB( ) +

1
2

B( )2

x (t)

A0 ( ) + l1

B( )
=0
1
B( )

Daqui resulta o seguinte conjunto de ODEs:


8
<

B 0 ( ) + aB( ) +

1
2

A0 ( ) + l1 1

B( )2

B( )
B( )

1=0

(24)

=0

e respectivas condies terminais

(25)

B(T; T ) = 0; A(T; T ) = 0:

Resolvendo o sistema (24) e (25) obtemos as seguintes solues fechadas para A( ) e B( ) :

A( ) =

l1

(T

t) +

B( ) = B(T

com

t) =
8
>
>
>
<
>
>
>
:

l1 (
1(

+ 3)
2 )( +

3)

1 e 1 (T t)
;
1 (T t)
2 + 3e
p
=
a2 + 2 2
1
2

a
2
(a+
2

1
1)

=
=

a2 +2 2
2
p
a+ a2 +2
2

20

ln(

3)

ln

+(

3 )e

1 (T

t)

Proof. Demonstrao da Equao

A(T

t)

A(0) =
|{z}
=0

l1

A( ) =

l1

B(T s)
1
B(T s)

( 2 + 3 ) ln( 2 + 3 ) + ( + 3 ) ln e
1(
2 )( + 3 )
( 2 + 3 ) ln 2
+ 3 e 1 (T t) + e 1 (T t)
l1 ( 2 + 3 )
=
ln( 2 + 3 ) ln 2
+ ( + 3 )e
1(
2 )( + 3 )
l1
+
[ 1 (T t)]
1(
2)
l1
l1 ( 2 + 3 )
(T t) +
ln( 2 + 3 ) ln
=
2
1(
2 )( + 3 )

11

ds

1 (T

1 (T

t)

t)

+(

3 )e

1 (T

t)

Equao de Ornstein-Uhlenbeck

Equao de difuso:

x (t)

=a

x (t)dt

+ dW (t),

>0

onde W (t) designa um movimento browniano. Da aplicao da frmula de Feynman-Kac


resulta neste caso:

f (t;

[A0 ( ) + B 0 ( )

x)

Dividindo por f (t;

x)

x (t)]

+a

x (t)B(

)+

1
2

B( )2

x (t)

=0

e arrumando as parcelas obtemos:

[ B 0 ( ) + aB( )

1]

x (t)

A0 ( ) +

1
2

B( )2 = 0

Daqui resulta o seguinte conjunto de ODEs:


8
<
:

B 0 ( ) + aB( )
A0 ( ) +

1
2

21

1=0

B( )2 = 0

(26)

e respectivas condies terminais

(27)

B(T; T ) = 0; A(T; T ) = 0:

Resolvendo o sistema (26) e (27) obtemos as seguintes solues fechadas para A( ) e B( ) :

1
1 ea(T t) ;
a
2
2
3 2
a(T t)
t) + 3
e
+
e2a(T
4a
a3
4a3

B( ) = B(T

t) =

A( ) =

2a2

(T

t)

Proof. Demonstrao da Equao

A(T

t)

A(0) =
|{z}
=0

A( ) =

=
=
=
=

12

1 2
B(T s)2 ds;
A(0) = 0
2
t
Z
2
1 2 T 1
1 ea(T s)
ds
2
a
t
2 Z T
1 2ea(T s) + e2a(T s) ds
2
2a t
2
2
1
(T t) +
1 ea(T t)
1 e2a(T t)
2
2a
a
2a
2
2
2
2
2
2
2
a(T t)
(T
t)
+
e
+
e2a(T
2a2
2a3
2a3
4a3 4a3
2
2
2
3 2
a(T t)
(T
t)
+
e
+
e2a(T t)
2a2
4a3
a3
4a3

t)

Equao de Ornstein-Uhlenbeck com Jumps

Equao de difuso:

x (t)

=a

x (t)dt

+ dW (t) + dJ(t),

>0

onde J(t) designa um processo de Poisson composto, independente de W (t), com intensidade
de salto l1 > 0 e dimenso dos saltos exponencialmente distribuda com mdia
da frmula de Feynman-Kac resulta, neste caso:
22

< 0. Da aplicao

f (t;

[A0 ( ) + B 0 ( )

x)

Dividindo por f (t;

x)

x (t)]

+a

x (t)B(

)+

1
2

B( )2 + l1

B( )
1
B( )

x (t)

=0

e arrumando as parcelas obtemos:

[ B 0 ( ) + aB( )

1]

x (t)

A0 ( ) +

1
2

B( )2 + l1

B( )
=0
1
B( )

Daqui resulta o seguinte conjunto de ODEs:


8
<

B 0 ( ) + aB( )

A0 ( ) +

1
2

1=0

B( )2 + l1 1

B( )
B( )

(28)
=0

e respectivas condies terminais

(29)

B(T; T ) = 0; A(T; T ) = 0:

Resolvendo o sistema (28) e (29) obtemos as seguintes solues fechadas para A( ) e B( ) :

B( ) = B(T

t) =

A( ) =

2a2

1
1
a

l1

(T

ea(T

t)

t) +

3 2
4a3

ea(T
3

t)

4a3

e2a(T

t)

l1

ln [1

B( )]
a

Proof. Demonstrao da Equao

A(T

t)

A(0) =
|{z}
=0

1
2

B(T

23

s)2 + l1

B(T s)
1
B(T s)

ds

1
A( ) =
2

2a2
2

2a2
+

13

l1

s)

+ e2a(T

s)

ds +

(T

(T
2

2a
l1 (T
+
(a
(T
2a2
l1 (T
+
(a
+

1
a

2
1
a
ln a

t) +

l1 ln(a)a

2a2

ds +

s)

2ea(T

ea(T

1
1
a

ea(T

t)

+ ea(T
a(a
)

l1

1 ea(T s)
1
(1 ea(T s) )
a
1
a

1
1 e2a(T t)
2a
t)
a + ln ea(T

ds

1 ea(T s)
1
(1 ea(T s) )
a

ds

+
t)

2
2
2 2 2 2 a(T t)
e
+
e2a(T t) +
2a3
2a3
4a3 4a3
ln a 1 a + a ea(T t)
t) l1 ln(a)
+
l1
)
(a
)
(a
)
2
2
2
3
t) + 3
ea(T t) + 3 e2a(T t) +
4a
a3
4a
1
ln(a)
+ ln 1
1 ea(T s)
t) l1 ln(a)
a
+
l1
)
(a
)
(a
)
2
2
2
l1
3
ln [1
(T t) + 3
ea(T t) + 3 e2a(T t) l1
3
a
4a
a
4a
a

t) +

Modelo de Gompertz-Makeham

Especicao do Modelo:

x (t)

= X1 (t) + X2 (t)cx

com

dXj (t) = aj (
dW1tP dW2tP =

Xj (t))dt +

P
j dWjt ;

12 dt

ou, em notao matricial

dX = dt+ dW

24

Xj (0) = Xj ;

j = 1; 2

B( )]

2
4

dX1 (t)

5=4

dX2 (t)
{z
}
dX

a1 (

a2 (

A ne Structure

X1 (t))

5dt + 4

X2 (t))
{z
}

{z
Z

t px+t (t) = E exp

3 2
5d 4
}|

W1 (t)

5; 4

W2 (t)
{z
}
dW

X1 (0)
X2 (0)

5=4

X1
X2

3
5

T
x (s)ds

Ft = f (t; X(t))

f (t; X(t)) = exp fA(x; ) + B1 (x; )X1 + B2 (x; )X2 g


Da aplicao da frmula de Feynman-Kac resulta, neste caso:

f (t; X(t))

n h
+

1
2

A ( ) + B1 ( )X1 + B1 ( )X2 + B1 ( ) [a1 (


2
1 B1 (

)2 +

1
2

2
2 B2 (

)2 + B1 ( )B2 ( )

X1 )] + B2 ( ) [a2 (
(X1 + X2 cx )

1 2 12

X2 )] +

=0

ou, de forma equivalente


h
+

B1 ( )

i
h
0
1 X1 + B2 ( )

a1 B1 ( )

A0 ( ) + a1 1 B1 ( ) + a2 2 B2 ( ) +

1
2

2
1 B1 (

)2 +

1
2

a2 B2 ( )

2
2 B2 (

i
cx X2 +

)2 + B1 ( )B2 ( )

1 2 12

=0

Daqui resulta o seguinte conjunto de ODEs:

8
>
>
>
<
>
>
>
:

B1 ( )
0

B2 ( )
A0 ( ) + a1 1 B1 ( ) + a2 2 B2 ( ) +

1
2

a1 B1 ( )

1=0

a2 B2 ( )

cx = 0

2
1 B1 (

)2 +

1
2

2
2 B2 (

(30)
)2 + B1 ( )B2 ( )

1 2 12

=0

e respectivas condies terminais

B1 (T; T ) = 0; B2 (T; T ) = 0; A(T; T ) = 0:


25

(31)

Resolvendo o sistema (26) e (27) obtemos as seguintes solues fechadas para A( ); B1 ( ) e


B2 ( ) :

1
1 e a1 (T t)
a1
cx
t) =
1 e a2 (T t)
a2
t) + 1 B1 ( ) + 2 B2 ( ) +

B1 ( ) = B1 (T

t) =

B2 ( ) = B2 (T
A( ) =

0 (T

onde:

2c

2
1
4a31

2
1
2a21

2 2x
2c
2a22
x

2
c
1
+ 1 2 12
2
a1
a1 a2
2 x
1 2 12
2c
+
2
a2
a1 a2
2 2x
c
e 2a1 (T t) + 2 3
4a2

cx
12
a1 a2

1 2

2a2 (T t)

1 2 12 c

a1 a2 (a1 + a2 )

(a1 +a2 )(T t)

Proof. Demonstrao da Equao

A(T

t)

A(0) = a1
|{z}
=0

1
+
2

(B1 (T

s)) ds + a2

2
2

(B2 (T

(B2 (T

s)) ds +

1 2 12

26

1
s)) ds +
2

2
1

(B1 (T

B1 (T

s)B2 (T

s)ds

s))2 ds

A( ) = a1

1
1
a1

+
+
=

2
1

1 2 12

ds +

+
=

ds

2c

cx
1
a2

t
T

cx
1
a2

t
x

a1 a2

a1 (T s)

2e
Z

+e

a2 (T s)

ds +
ds +

ds

2a1 (T s)

a1 (T s)

a2 (T s)

a2 (T s)

a2 (T s)

ds +

2 2x
2c
2a22

cx
1
a2

1 2 12 c

2
2

a1 (T s)

2
+ 12
2a1

a1 (T s)

ds + a2

a1 (T s)

1
1
a1

1
1
a1

a1 (T s)

a2 (T s)

+e

(T

ds

2e

a2 (T s)

+e

2a2 (T s)

ds

(a1 +a2 )(T s)

ds

(T

1
1
a1

t)

a1 (T t)

2c

t)

1
1
a2

a2 (T t)

1
1 e 2a1 (T t)
1 e a1 (T t) +
a1
2a1
1
1 e 2a2 (T t)
1 e a2 (T t) +
(T t) + 2
a2
2a2
x
1
1
1
1 2 12 c
+
(T t)
1 e a1 (T t)
1 e a2 (T t) +
a1 a2
a1
a2
2
1
2a21
2 2x
c
+ 2 2
2a2

(T

1 [(T

t) + 2

x
2 [c (T

t) + B1 ( )]

2 x
2c
B2 (
a22

)+

2 2x
2c
2a22

(T

t) +

t) + B2 ( )] +
1

e 2a2 (T
2a2

(T

t)

1
1 e (a1 +a2 )(T t)
B
(
)
+
2
a1 a2
cx
(a1 + a2 )
2
2 2x
x
2
x
c
1 2 12 c
1
2c
1
x
=
c
+
+
+
(T
t)
+
+
+
B1 ( )
1
2
1 2 12
1
2a21
2a22
a1 a2
a21
a1 a2
2 x
2
2 2x
1 2 12
2c
1
2c
2a1 (T t)
+
+
+
B
(
)
+
1
e
+
1 e 2a2 (T t)
2
2
2
3
a2
a1 a2
4a1
4a32
x
1 2 12 c
+
1 e (a1 +a2 )(T t)
a1 a2 (a1 + a2 )
= 0 (T t) + 1 B1 ( ) + 2 B2 ( ) + 3
+

1 2 12 c

2
1
2a21

e (a1 +a2 )(T t)


(a1 + a2 )
1 e 2a1 (T
t) + 2B1 ( ) +
2a1

(T

t) + B1 ( ) +

27

t)

onde:
x
2c +

1+

2
1
4a31

14

2
1
2a21

2 2x
2c
2a22
x

2
c
1
+ 1 2 12
2
a1
a1 a2
2 x
1 2 12
2c
+
2
a2
a1 a2
2 2x
c
e 2a1 (T t) + 2 3
4a2

cx
12
a1 a2

1 2

2a2 (T t)

1 2 12 c

a1 a2 (a1 + a2 )

(a1 +a2 )(T t)

Modelo de Siler

Especicao do Modelo:

x (t)

= X1 (t) exp (

1 x)

+ X2 + X3 (t) exp (

3 x)

com
2

dX1 (t)

6
6
6 dX2 (t)
4
dX3 (t)
|
{z
dX

a1 (

7 6
7 6
7 = 6 a2 (
5 4
a3 (
} |

1
2
3

A ne Structure

6
6
=6
4

T t px+t (t)

3 2

6
7
6
7
dt
+
6
X2 (t)) 7
4
5
X3 (t))
{z
}
|

dXj (t) = aj (

dWitP dWjtP

X1 (t))

2
3

{z

Xj (t))dt +
11

12

13

21

22

23

31

32

33

= E exp

W1P (t)

7 6
7 6 P
7d 6 W2 (t)
5 4
W3P (t)
}|
{z
dW

P
j dWjt ;

7
7
7;
5
}

Xj (0) = Xj ;

6
6
6 X2 (0)
4
X3 (0)

T
x (s)ds

f (t; X(t)) = exp A(x; ) +

i=1

28

Ft = f (t; X(t))

3
X

Bi (x; )Xi

X1

7 6
7
7 6
7
=
7 6 X2 7
5 4
5
X3

j = 1; 2; 3

7
7
7 dt
5

X1 (0)

Da aplicao da frmula de Feynman-Kac resulta, neste caso:

f (t; X(t))

( "

A0 ( ) +

3
X

Bi ( )Xi +

i=1

3 X
3
X

Bi ( )Bj ( )

i j ij

i=1 j=1
i6=j

ou, de forma equivalente

B1 ( )

a1 B1 ( )
8
>
<
>
:

A0 ( ) +

1x

3
X

X1 +

B2 ( )

ai i Bi ( ) +

i=1

3
X
i=1

1
2

3
X

Bi ( ) [ai (

Xi )] Xi +

i=1

3
X
1
i=1

>
>
>
>
>
>
>
:

B1 ( )
0

B2 ( )

2
i Bi (

)2

9
>
=
x
x
(X1 e 1 + X2 + X3 e 3 ) = 0
>
;

i
h
0
1 X2 + B3 ( )

a2 B2 ( )

2
i Bi (

)2 +

3 X
3
X

Bi ( )Bj ( )

a3 B3 ( )

i j ij

i=1 j=1
i6=j

Daqui resulta o seguinte conjunto de ODEs:

8
>
>
>
>
>
>
>
<

a1 B1 ( )
a2 B2 ( )

1x

9
>
=
>
;

3x

X3

=0

=0

1=0
(32)

B3 ( ) a3 B3 ( ) e 3 x = 0
P
P
P P
A0 ( ) + 3i=1 ai i Bi ( ) + 3i=1 21 2i Bi ( )2 + 3i=1 3j=1 Bi ( )Bj ( )

i j ij

=0

i6=j

e respectivas condies terminais

A(T; T ) = 0; Bi (T; T ) = 0; i = 1; 2; 3:

(33)

Resolvendo o sistema (32) e (33) obtemos as seguintes solues fechadas para A( ); B1 ( );


B2 ( ) e B3 ( ) :

29

t) =

B2 ( ) = B2 (T
B3 ( ) = B3 (T
A( ) =

1x

1 e a1 (T t)
a1
1
t) =
1 e a2 (T t)
a2
e 3x
t) =
1 e a3 (T t)
a3
t) + 1 B1 ( ) + 2 B2 ( ) + 3 B3 ( ) +

B1 ( ) = B1 (T

0 (T

onde:

1e

1x

(
1 3 13 e

3e

2
1 )x

a1 a3
2
1e
+
1
a21

2
2
1e
2a21
3x

2
2
2a22

2 2
3e

3x

2a23

1 3 13 e

a1 a2 (a1 + a2 )
3x
2 3 23 e
+
a2 a3 (a2 + a3 )

a1 a2

3x

a1 a2
a1 a3
x
2
1
3x
1 2 12 e
2 3 23 e
2
+
+
+
2
a22
a1 a2
a2 a3
2 3x
1x
1 3 13 e
2 3 23
3e
+
+
3+
2
a3
a1 a3
a2 a3
2
2 1x
2
1e
1 e 2a1 (T t) + 23 1 e 2a2 (T t)
4a31
4a2
x
(
1
1 2 12 e
1 3 13 e
(a1 +a2 )(T t)

1x

1 2 12 e

a2 a3
1 2 12

1x

2 3 23 e

+
1x

3x

3x

2 2
3e

4a33
1 )x

a1 a3 (a1 + a3 )

2a3 (T t)

(a1 +a3 )(T t)

(a2 +a3 )(T t)

Proof. Demonstrao da Equao

A(T

t)

A(0) =
|{z}
=0

3
X

ai

Bi (T

s)ds

i=1

3 X
3
X

Bi (T

s)Bj (T

i=1 j=1
i6=j

30

3
X
1
+
2
i=1

s)

i j ij

2
i

ds

Bi (T

s)2 ds

A( ) = a1

a1

+a3

t
T

1x

e 3x
1
a3

e
e

a1 (T s)

a3 (T s)

ds + a2
ds +

2
2
1

2
2 Z

t
T

1
1
a2
e

a2 (T s)

1x

a1

ds

a1 (T s)

ds

T
1
e 3x
3
a2 (T s)
ds +
+
1 e
1 e a3 (T s)
ds
2 t
a2
2 t
a3
Z T
e 1x
1
+ 1 2 12
1 e a1 (T s)
1 e a2 (T s) ds
a
a
1
2
t
Z T
3x
e 1x
e
a1 (T s)
1 e
1 e a3 (T s) ds
+ 1 3 13
a1
a3
t
Z T
x
3
1
e
+ 2 3 23
1 e a2 (T s)
1 e a3 (T s) ds
a
a
2
3
t
Z T
Z T
x
a
(T
s)
1
=
1 e 1
ds
1 e a2 (T s) ds
1e
2
t
t
Z T
2
2 1x Z T
e
3x
1 e a3 (T s) ds + 1 2
1 2e a1 (T s) + e 2a1 (T s) ds
3e
2a
t
t
1
2 Z T
2 2 3x Z T
e
2
a2 (T s)
2a2 (T s)
+ 2
1 2e
+e
ds + 3 2
1 2e a3 (T s) + e 2a3 (T s) ds
2a2 t
2a3
t
x Z T
1
1 2 12 e
+
1 e a1 (T s) e a2 (T s) + e (a1 +a2 )(T s) ds
a1 a2
t
( 3
)x Z T
1
1 3 13 e
+
1 e a1 (T s) e a3 (T s) + e (a1 +a3 )(T s) ds
a1 a3
t
Z T
3x
e
2 3 13
+
1 e a2 (T s) e a3 (T s) + e (a2 +a3 )(T s) ds
a2 a3
t
1
1
1 x (T
=
t)
1 e a1 (T t)
t)
1 e a2 (T t)
1e
2 (T
a1
a2
1
3 x (T
1 e a3 (T t)
t)
3e
a3
2
2 1x
e
2
1
+ 1 2
(T t)
1 e a1 (T t) +
1 e 2a1 (T t)
2a1
a1
2a1
2
2
1
+ 22 (T t)
1 e a2 (T t) +
1 e 2a2 (T t)
2a2
a2
2a2
2
e 2 3x
2
1
+ 3 2
(T t)
1 e a3 (T t) +
1 e 2a3 (T t)
2a3
a3
2a3
1x
1
1
1
1 2 12 e
+
(T t)
1 e a1 (T t)
1 e a2 (T t) +
1 e (a1 +a2 )(T t)
a1 a2
a1
a2
a1 + a2
( 3
)x
1
1
1
1
1 3 13 e
+
(T t)
1 e a1 (T t)
1 e a3 (T t) +
1 e (a1 +a3 )(T
a1 a3
a1
a3
a1 + a3
3x
1
1
1
2 3 23 e
+
(T t)
1 e a2 (T t)
1 e a3 (T t) +
1 e (a2 +a3 )(T t)
a2 a3
a2
a3
a2 + a3
2
2

31

t)

A( ) =

1 x (T
3 x (T
t) + B1 ( )
t) + B2 ( )]
t) + B3 ( )
2 [(T
3 e
1 e
2
2 1x
e
1
1 e 2a1 (T t)
+ 1 2
(T t) + 2e 1 x B1 ( ) +
2a1
2a1
2
1
+ 22 (T t) + 2B2 ( ) +
1 e 2a2 (T t)
2a2
2a2
2 2 3x
e
1
+ 3 2
(T t) + 2e 3 x B3 ( ) +
1 e 2a3 (T t)
2a3
2a3
1x
1
1 2 12 e
+
(T t) + e 1 x B1 ( ) + B2 ( ) +
1 e (a1 +a2 )(T t)
a1 a2
a1 + a2
( 3
1 )x
1
1 3 13 e
+
(T t) + e 1 x B1 ( ) + e 3 x B3 ( ) +
1 e (a1 +a3 )(T t)
a1 a3
a1 + a3
3x
1
2 3 23 e
+
(T t) + B2 ( ) + e 3 x B3 ( ) +
1 e (a2 +a3 )(T t)
a2 a3
a2 + a3
2
2 1x
2
2 2 3x
1x
1 2 12 e
1e
2
3e
1x
3x +
(T t)
e
e
+
+
+
1
2
3
2a21
2a22
2a23
a1 a2
( 3
1 )x
3x
1 3 13 e
2 3 23 e

+B1 ( )

1+

+B3 ( )
2
2
1e
4a31

1x

2
1e

a21

1x

1 2 12 e

1 2 12

2a1 (T t)

1x

a1 a2 (a1 + a2 )
3x
2 3 23 e
1
a2 a3 (a2 + a3 )

15

a2 a3

1 3 13 e

3x

a1 a2
a1 a3
2
x
1
3x
1 2 12 e
2 3 23 e
2
+
2+ 2 +
a2
a1 a2
a2 a3
2 3x
x
1
1 3 13 e
2 3 23
3e
+
+
3+
2
a3
a1 a3
a2 a3

+B2 ( )

a1 a3

e
e

2
2
4a32

(a1 +a2 )(T t)

1
+

+
+

2a2 (T t)

(
1 3 13 e

3x

2 2
3e

1 )x

a1 a3 (a1 + a3 )

4a33
1

(a2 +a3 )(T t)

Especicao do Modelo:

x (t)

= X1 (t) exp (

1 x)

+ X2 exp

com
32

2 (x

2a3 (T t)

(a1 +a3 )(T t)

Modelo de Thiele

)2 + X3 (t) exp (

3 x)

dX1 (t)
6
6
6 dX2 (t)
4
dX3 (t)
|
{z
dX

a(
7 6 1
7 6
7 = 6 a2 (
5 4
a3 (
} |

X1 (t))

dXj (t) = aj (

A ne Structure

2
3

{z

11

12

13

21

22

23

31

32

33

t px+t (t) = E exp

W1P (t)

7 6
7 6 P
7d 6 W2 (t)
5 4
W3P (t)
}|
{z
dW

P
j dWjt ;

Xj (t))dt +

6
6
=6
4

dWitP dWjtP

3 2

7
6
7
6
X2 (t)) 7dt + 6
5
4
X3 (t))
{z
}
|

7
7
7;
5
}

Xj (0) = Xj ;

X (0)
6 1
6
6 X2 (0)
4
X3 (0)

X
7 6 1 7
7 6
7
7 = 6 X2 7
5 4
5
X3

j = 1; 2; 3

7
7
7 dt
5

T
x (s)ds

f (t; X(t)) = exp A(x; ) +

Ft = f (t; X(t))

3
X

Bi (x; )Xi

i=1

Da aplicao da frmula de Feynman-Kac resulta, neste caso:

f (t; X(t))

( "

3 X
3
X

A( )+

3
X

Bi ( )Xi +

i=1

Bi ( )Bj ( )

i j ij

3
X

Bi ( ) [ai (

i=1

(X1 e

1x

+ X2 e

2 (x

)2

i=1 j=1
i6=j

ou, de forma equivalente

B1 ( )

a1 B1 ( )

8
>
<
>
:

A0 ( ) +

1x

3
X
i=1

h
0
X1 + B2 ( )

ai i Bi ( ) +

a2 B2 ( )

3
X
1
i=1

2
i Bi (

)2 +

2 (x

3 X
3
X
i=1 j=1
i6=j

33

2
2
i Bi ( )
2
i=1
9
>
=
x
3
+ X3 e ) = 0
>
;

Xi )] Xi +

)2

3
X
1

h
0
X2 + B3 ( )

Bi ( )Bj ( )

i j ij

a3 B3 ( )
9
>
=
>
;

=0

3x

X3

Daqui resulta o seguinte conjunto de ODEs:

8
>
>
>
>
>
>
>
<
>
>
>
>
>
>
>
:

B1 ( )
0

B2 ( )

a1 B1 ( )
a2 B2 ( )

1x

2 (x

=0
)2

=0
(34)

B3 ( ) a3 B3 ( ) e 3 x = 0
P
P
P P
A0 ( ) + 3i=1 ai i Bi ( ) + 3i=1 21 2i Bi ( )2 + 3i=1 3j=1 Bi ( )Bj ( )

i j ij

=0

i6=j

e respectivas condies terminais

(35)

A(T; T ) = 0; Bi (T; T ) = 0; i = 1; 2; 3:

Resolvendo o sistema (32) e (33) obtemos as seguintes solues fechadas para A( ); B1 ( );


B2 ( ) e B3 ( ) :

B1 ( ) = B1 (T
B2 ( ) = B2 (T
B3 ( ) = B3 (T
A( ) =

0 (T

t) =
t) =

1x

a1
e

2 (x

a2

a1 (T t)

)2

a2 (T t)

e 3x
1 e a3 (T t)
a3
t) + 1 B1 ( ) + 2 B2 ( ) +
t) =

onde:

34

3 B3 (

)+

1x

1e

2e
1x

1 2 12 e

)2

2 (x

2 (x

3x

3e

)2

(
1 3 13 e

1x

2
2
1e
2a21
1 )x

2
2
2e

+
+

2 3

2 (x

2a22
3x
23 e
a2 a3

)2

a1 a2 (a1 + a2 )
2 3 23 e

3x

2 (x

2a23

)2

2 (x

a1 a2
a1 a3
2
x
(x )2
1
2
3x
1 2 12 e
1 3 13 e
1e
+
+
1+
a21
a1 a2
a1 a3
2
x
2
(x
)
2
1
3x
1 2 12 e
2 3 23 e
2e
+
+
+
2
a22
a1 a2
a2 a3
2 3x
)2
1x
2 (x
1 3 13 e
2 3 23 e
3e
+
+
3+
a23
a1 a3
a2 a3
2
2 1x
2
2 2 (x )2
e
1e
1 e 2a1 (T t) + 2
1 e 2a2 (T t)
3
4a1
4a32
)2
( 3
1x
2 (x
1 2 12 e
1 3 13 e
(a1 +a2 )(T t)

3x

2 2
3e

2 2
3e

3x

4a33

1 )x

a1 a3 (a1 + a3 )

2a3 (T t)

(a1 +a3 )(T t)

)2

a2 a3 (a2 + a3 )

(a2 +a3 )(T t)

Proof. Demonstrao da Equao

A(T

t)

A(0) =
|{z}
=0

3
X

ai

Bi (T

s)ds

i=1

3 X
3
X

Bi (T

s)Bj (T

i=1 j=1
i6=j

35

3
X
1
+
2
i=1

s)

i j ij

2
i

ds

Bi (T

s)2 ds

A( ) = a1

+
+

2
2

a1

+a3

1x

1 2 12

2 (x

+
+
=

+
+
+
+
+

1x

a1

a3 (T s)

)2

a2

ds + a2

e 3x
1
a3

"

a1 (T s)

ds +
2
#2

a2 (T s)

a1 (T s)

"

a1
2

2 (x

a2

e 3x
1
a3

a1 (T s)

a1 (T s)

36

ds

ds
2

)2

a2 (T s)

1x

ds +

a2

2
3

)2

2 (x

a2 (T s)

a3 (T s)

ds

e 3x
1 e
1 e a3 (T s) ds
1 3 13
a1
a
t
# 3
Z T"
2
(x
)
e 2
e 3x
a2 (T s)
1 e
1 e a3 (T s) ds
2 3 23
a2
a3
t
Z T
Z T
)2
1x
2 (x
1 e a1 (T s) ds
1 e a2 (T s) ds
1e
2e
t
t
Z T
2 1x Z T
2
e
3x
1 2e a1 (T s) + e 2a1 (T s) ds
1 e a3 (T s) ds + 1 2
3e
2a
t
t
1
2
2 2 (x )2 Z T
2e
1 2e a2 (T s) + e 2a2 (T s) ds
2a22
t
2 2 3x Z T
e
3
1 2e a3 (T s) + e 2a3 (T s) ds
2a23
t
)2 Z T
1x
2 (x
1 2 12 e
1 e a1 (T s) e a2 (T s) + e (a1 +a2 )(T s) ds
a1 a2
t
Z T
( 3
1 )x
e
1 3 13
1 e a1 (T s) e a3 (T s) + e (a1 +a3 )(T s) ds
a1 a3
t
x 2 (x )2 Z T
3
2 3 13 e
1 e a2 (T s) e a3 (T s) + e (a2 +a3 )(T s) ds
a2 a3
t
e

1x

2
1

"

ds

A( ) =

1
)2
2 (x
1 e a1 (T t)
(T
2e
a1
1
3 x (T
1 e a3 (T t)
t)
3e
a3
2
1
e 2 1x
2
+ 1 2
(T t)
1 e a1 (T t) +
1 e 2a1 (T
2a1
a1
2a1
1x

1e

+
+
+
+

2
2
2e
2
3e

(T

t)

1x

2 (x

2
1
a3

1
1
a1 + a2

t)

a3 (T t)

a2 (T t)

1e
1x

1 2 12 e

+B3 ( )
(

2e
)2

2 (x

a1 a2
1

2
2
1e
4a31

+
+
+

2
2e

1
1x

e
2 (x

3x

2 (x

a2 a3 (a2 + a3 )

1x

a1 a3
+

2
2
2e

2 (x

4a32

)2

(a1 +a2 )(T t)

)2

1x

a1 a2

1 3 13 e

2a1 (T t)

a1 a2 (a1 + a2 )
2 3 23 e

a22
2 3x
3e
a23

a1 a2
1 2 12 e

(a2 +a3 )(T t)

37

t)

1
1
a1

1x

2
2
2e

a1 (T t)

2 (x

)2

[(T

3x

2 3 23 e

3x

a2 a3
2 (x

a2 a3

)2

)2

2 (x

2 (x

a1 a3

)2

t)

3x

2 2
3e

2a23

)2

3x

2a22

3x

1 3 13 e

2 3 23 e

a2 (T t)

(a2 +a3 )(T t)

a2 a3

)2

2 (x

a2 a3

2 3 23 e

1 2 12 e

)2

2 (x

1 )x

2a2 (T t)

2 3 13 e

2
2
1e
2a21

a1 a3

a21

1x

1 2 12 e

(
1 3 13 e

1x

2
1e

3e

3x

a2 (T t)

t)

1
1
a2

1
1
a2 + a3

2a3 (T t)

(T

(a1 +a3 )(T t)

t)

1
1
a2

t)

1 )x

a1 a3

)2

2 (x

1
1
2a2

a1 (T t)

(
1 3 13 e

1
+
1 e
a1 + a3
1
1 e a3 (T
a3

1x

1
1
2a3

1
1
a1

t)

(a1 +a2 )(T t)

a3 (T t)

(T

a2 (T t)

)2

a1 a2

+B2 ( )

2
1
a2

t)

(T

1 2 12 e

+B1 ( )

(T

2a22
2 3x

2a23

A( ) = (T

)2

2 (x

1
1
a3
1
1
a2

t)

2a2 (T t)

( 3
1 )x
1 3 13 e
+
a1 a3 (a1 + a3 )
)

+
1

2 2
3e

4a33
e

3x

(a1 +a3 )(T t)

2a3 (T t)

You might also like