Expansin en fracciones parciales

Juan David Leal C.

Universidad Distrital Francisco Jos de Caldas

9 de marzo de 2015

Juan David Leal C. (Universidad Distrital Francisco Jos de Caldas)

Expansin en fracciones parciales

9 de marzo de 2015

1/9

Teorema (3.1)
Una
P condicin suficiente y nesesaria para que el evento E sea persistente es que
uj sea divergente.
Demostracin Si E es persistente entonces f = 1, adems de la ecuacin
U(x ) = 1F1 (x ) se tiene que F (x ) 1 cuando x 1, as U(x) diverge.
Por otro lado si f es transitoria entonces f < 1, as F (x ) f cuando x 1 y
usando la ecuacin U(x ) = 1F1 (x ) se da que
U(x ) (1 f )1

si x 1

Juan David Leal C. (Universidad Distrital Francisco Jos de Caldas)

Expansin en fracciones parciales

9 de marzo de 2015

2/9

Como la serie U(x ) tiene coeficientes no negativos entonces por el criterio de

Abel, la serie converge para x = 1, y tiene el valor de U(1) = (1 f )1 , asi en le
caso transitoria tnenemos que:
U(1) = (1 f )1

X
uj = (1 f )1
j=0

u = (1 f )1
u1
f =
u


Juan David Leal C. (Universidad Distrital Francisco Jos de Caldas)

Expansin en fracciones parciales

9 de marzo de 2015

3/9

Teorema (3.2)
Sea E un eventoP
recurrente, persistente y no peridico, con un tiempo medio de
recurrencia =
nfn = F 0 (1) entonces
un 1

a medida que

en particular un 0 cuando = 0

Juan David Leal C. (Universidad Distrital Francisco Jos de Caldas)

Expansin en fracciones parciales

9 de marzo de 2015

4/9

Demmostracin:
P
P
Sea rn = fn + fn+1 + fn+2 ..., entonces
ri = f1 + 2f2 + 3f3 .... = n=0 nfn =
llamese = sup {un }, sea uv una subsucesin de un tal que uv cuando
v , sea N un entero positivo y k un entero positivo mayor que algn k0
r0 uv k + r1 uv k1 + . . . + rN uv kN 1
haciendo v se tiene que en la anterior ecuacin que:
(r1 + r2 + . . . + rN )
si = entonces = 0
lm un = lm sup {un } = 0
si < entonces lm supun 1/


Juan David Leal C. (Universidad Distrital Francisco Jos de Caldas)

Expansin en fracciones parciales

9 de marzo de 2015

5/9

Teorema (3.2)
Sea E un eventoP
recurrente, persistente y no peridico, con un tiempo medio de
recurrencia =
nfn = F 0 (1) entonces
un u 1

a medida que

Juan David Leal C. (Universidad Distrital Francisco Jos de Caldas)

Expansin en fracciones parciales

9 de marzo de 2015

6/9

Teorema (3.3)
Si E es persistente con periodo t entonces:
unt = tu 1

a medida que

y uk = 0 para todo k no divisible por t

Demostracin demostraremos pirmero lo siguiente:
unt = t

n
X

fi uni = tun

i=0

Por induccin veamos para n = 2, teniendo en cuenta su periodicidad se da que

u2n =

2n
X

fi uni

i=0

n
X
i=1
n
X
i=1

fi uni +
fi uni +

2n
X

fi uni

i=n+1
n
X

fi uni

i=1

Juan David Leal C. (Universidad Distrital Francisco Jos de Caldas)

Expansin en fracciones parciales

9 de marzo de 2015

7/9

supongase que se cumple para n = k, se vera que es sierto para n = k + 1; en

efect:
utn =

tn
X

fi uni

i=0

= (t 1)

n
X

fi uni +

i=1

= (t 1)

n
X

n
X
i=1

=t

n
X

fi uni

Hip. de ind.

i=(t1)n+1

fi uni +

i=1

= (t 1)

tn
X

tn
X

fi uni

i=(tnn+1)

fi uni +

n
X

fi uni

i=1

fi uni

i=1

= tun

Juan David Leal C. (Universidad Distrital Francisco Jos de Caldas)

Expansin en fracciones parciales

9 de marzo de 2015

8/9

como se quera ver Ahora usando el teorema (3,2)

lm utn = lm tn

= t lm n
n

= t1

ahora dado que u tiene periodo t y es recurrente, entonces uk = 0 para cuando k

no es divisible por t, asi llegando a donde se quera.

Juan David Leal C. (Universidad Distrital Francisco Jos de Caldas)

Expansin en fracciones parciales

9 de marzo de 2015

9/9