Tres ecuaciones en diferencia interesantes

Luis-Angel Rodrguez
27 de agosto de 2012

Resumen
Estudiamos un metodo de resolucion de ecuaciones en diferencia lineales de segundo orden y lo utilizamos para hallar la solucion de tres
ejemplos interesantes, el problema de la ruina, la sucesion de Fibonacci
y una aproximaci
on de los griegos a raz de dos.

Resolvemos una ecuacion lineal de segundo orden asociando su solucion

con la busqueda del n
ucleo de un operador que es un polinomio de segundo
grado evaluado en el operador de retardo. Para esto primero resolvemos una
ecuacion en diferencia lineal no homogenea de primer orden.

1.

Ecuaci
on en diferencia lineal de primer orden
no homogenea
Una ecuacion en diferencia lineal de primer orden no homogenea se define

por
fn+1 = fn + b.
Para esta ecuacion no es difcil demostrar utilizando el principio de induccion que
n1
X
n
fn = f0 + b
j
j=0

Pn1

y como j=0 j = (1 n )/(1 ) se tiene que la solucion de la ecuacion

esta dada por
1 n
.
fn = n f0 + b
1

2.

Ecuaci
on en diferencia lineal de segundo orden

Entendemos como una ecuacion en diferencia lineal de segundo orden la

definida por
afn+1 + bfn + cfn1 = 0,
para hallar su solucion introducimos algunas definiciones previas.
Sea S = {f : f = {fn }} el conjunto de todas las sucesiones reales.
Definimos el operador T : S S por,
T (f )n = fn+1 ,
y dotamos a S de la suma (f + g)n = fn + gn y el producto por un escalar
(f )n = fn entonces T es una aplicacion lineal. Denotamos por NT el
n
ucleo de f , es decir,
NT = {f : T (f ) = 0}
donde 0 representa la sucesion cero.
Observemos que la ecuacion en diferencia afn+1 + bfn + cfn1 = 0 se
puede escribir como
(aT 2 + bT + cI)(f )n1 = 0
donde T 2 = T T e I es el operador identidad. Por lo tanto hallar una
solucion de la ecuacion en diferencia es equivalente a hallar una sucesion
que este en el n
ucleo del operador aT 2 + bT + cI. El siguiente teorema
caracteriza los n
ucleos de los operadores lineales que admiten factorizaciones
y conmutan entre si.
Teorema 2.1 Sean L1 , . . . , Lk operadores lineales en S tales que, Li Lj =
Lj Li , para todo i, j = 1, . . . , k y L = L1 . . . Lk entonces si f NLi para
alg
un i = 1, . . . , k entonces f NL .
Demostraci
on: Se tiene que conmutando sucesivamente los operadores que,
L(f ) = L1 Li1 Li Lk (f )
= L1 Li1 Li+1 Lk Li (f )
= 0.
Por lo tanto al operador aT 2 +bT +cI podemos asociar el polinomio a2 +
b+c el cual se factoriza en los n
umeros complejos C como a(1 )(2 ) lo
2

que permite factorizar el operador como aT 2 +bT +cI = a(T 1 I)(T 2 I)

entonces como una consecuencia del teorema anterior nos basta estudiar por
separado los n
ucleos de los operadores T I, estos corresponden a ecuaciones lineales de primer orden con b = 0 como las que estudiamos en la
seccion 1.
Las sucesiones f NT I son de la forma fn = n A as la solucion
general de la ecuacion en diferencia afn+1 + bfn + cfn1 = 0 es de la forma
fn = n1 A + n2 B.
si 1 6= 2 . Si 1 = 2 observemos que fn = nn es tambien una solucion,
en efecto,
a(n + 1)n+1 + bn + cn1 = n1 [n(a2 + b + c) + (a2 c)] = 0
porque = b2 /2a y c = b2 /4ac. De donde la solucion general si 1 = 2 es
fn = n A + nn B.
de donde hemos hallado como se expresan las soluciones a este tipo de
ecuacion en recurrencia.

3.

El problema de la ruina

Consideremos la siguiente situacion de dos jugadores Carlos y Nelson

juegan una serie de juegos, Carlos gana con probabilidad p y Nelson gana
con probabilidad q, las repeticiones de los distintos ensayos son independientes. En cada ensayo el perdedor paga 1 moneda al ganador. Los capitales
iniciales de los dos jugadores Carlos y Nelson son respectivamente A y B si
los ensayos continuan hasta que uno de los jugadores este arruinado, cual
es la probabilidad de ruina de Carlos?
Este es un famoso problema, discutido por Fermat y Pascal y resuelto
de manera muy general por Montmart. Historicamente se conoce como el
problema de la ruina del jugador. Seguimos la presentacion del libro de [1].
Resolvamos el problema.
Para 1 j C 1 con C = A + B, sea fj la probabilidad de que el
capital de Carlos llegue a 0 antes de C, dado que su capital era j. La solucion

del problema se reduce a encontrar fA .

Se puede demostrar que ,
fj = pfj+1 + (1 p)fj1 , 1 j C 1
con las condiciones de frontera, f0 = 1 y fC = 0. Por la metodologa introducida
que el polinonimo asociado tiene races
en la seccion 2 tenemos

1+

14p(p1)

14p(p1)

1 =
, 2 =
, as la solucion es fj = C1 j1 + C2 j2 .
2p
2p
Resolvemos el problema completamente cuando p = 1/2 entonces 1 = 2 =
1 as la solucion es
fj = C1 + jC2
donde f0 = 1 implica C1 = 1 y fC = 1 implica C2 = 1/(A + B) de donde
fA = 1

A
A+B

si B entonces la probabilidad de ruina es 1, este es el caso cuando

un jugador se enfrenta contra una casa de juego y su capital es infimo comparado con el que usualmente tienen estas casas.

4.

La sucesi
on de Fibonacci

Leonardo de Pisa, matematico italiano del siglo XIII tambien conocido

como Fibonacci introdujo el siguiente problema relacionado con la cra de
conejos: Cierto hombre tena una pareja de conejos juntos en un lugar cerrado y uno desea saber cu
antos son creados a partir de este par en un ao
cuando es su naturaleza parir otro par en un simple mes, y en el segundo
mes los nacidos parir tambien.
Denotamos por fj el n
umero de conejos procreados por mes. Tenemos
que el problema puede ser expresado matematicamente por las ecuaciones,
f0 = 1, f1 = 1 y
fj = fj1 + fj2 ,
2
al usar la metodologa de la
seccion 2, elpolinomio asociado es 1
cuyas races son 1 = (1 5)/2 y (1 + 5)/2. Esto nos lleva a la solucion,

!j+1
!j+1
1+ 5
1
1 5
.
fj =

2
2
5

5.

Aproximaci
on Pitagorica a raz de 2

Los griegos propusieron un metodo para aproximar n

umeros inconmesurables los cuales en el lenguaje
matematico moderno nos llevan a recursiones
lineales, [3, 2]. Para el caso de 2 se tiene, an+1 = an + bn , bn+1 = 2an + bn ,
n 0, a0 = 1, b0 = 1, podemos llevar la recursion an a una ecuacion en
diferencia lineal de segundo orden
an+2 = 2an+1 + an
con a0 = 1 y a1 = 1. Al resolver esta recurrencia observamos
que el polinomio

asociado es 2 2 1 el cual tienen races 1 = 1 + 2 y 2 = 1 2 de

donde la solucion se expresa

an = C1 (1 + 2)n + C2 (1 2)n
al sustituir las condiciones iniciales a0 = 1 y a1 = 1 se tiene que C1 = C2 =
1/2 as

i
1h
an =
(1 + 2)n + (1 2)n
2
al dividir la recursion an+1 = an + bn entre an se obtiene

bn
an+1
(1 + 2)n+1 + (1 2)n+1

=
1=
1
an
an
(1 + 2)n + (1 2)n

y cuando n va a infinito la expresion converge a (1 + 2) 1 = 2.

Referencias
[1] K. L. Chung (1979) Elementary probability theory with stochastic process. Springer Verlag, New York.
[2] L
aszl
o Filep (1999)Pythagorean side and diagonal number. Acta
Mathematica Academiae Paedagogicae Nyregyhziensis. 15, pag 1-7,
disponible www.bgytf.hu/ amap.
[3] I. Irribaren (2012) Los griegos y la raz cuadrada de dos. Tapa del
calendario Matematico 2012. Ediciones Polar.