En matemáticas, se define una ecuación en diferencias lineal o relación de recurrencia lineal como una sucesión definida en función de elementos anteriores de esa misma sucesión para todo n no negativo y sus términos únicamente pueden tener grado 0 y 1 para cumplir que sea lineal.
Se define una ecuación en diferencias lineal de grado k como:
,[1]
donde puede ser una constante, un polinomio o una función exponencial en función de n.
Si , es decir, que sea la constante 0 se tratará de una ecuación lineal en diferencias homogénea.
Sus aplicaciones están relacionadas principalmente con el tratamiento de sistemas dinámicos donde las relaciones de recurrencia puedan moldear de manera adecuada este tipo de sistema.
Debido a que el tratamiento de las relaciones de recurrencias puede ser costoso computacionalmente, es adecuado expresar las ecuaciones en diferencias lineales únicamente en función de n. Para ello existe un método sistemático para "resolverlas", tanto para las homogéneas y no homogéneas. Además, se deben tener k condiciones iniciales para poder dar una respuesta única a la ecuación. Las condiciones iniciales serían elementos de la sucesión de los que ya conocemos su valor. En la mayoría de casos los calcularemos para lo valores más sencillos si no los conocemos, es decir, .
Ecuación en diferencias lineal homogénea
[editar]
En primer lugar hay que obtener el polinomio característico de la relación de recurrencia, que tendría la siguiente forma:
Al ser un polinomio de grado k por el teorema fundamental del álgebra tendrá k raíces complejas. En este artículo solo se tratará siendo todas las raíces reales. Además, tendríamos dos casos dependiendo de si hay multiplicidad de raíces, es decir, que la cualquier raíz se repita dos o más veces.
Obtenemos el conjunto de soluciones y podemos expresar de la siguiente manera:
donde son contantes desconocidas cuyo valor hallaremos usando las condiciones iniciales.
Las condiciones iniciales serían:
Planteamos un sistema de ecuaciones lineal con las condiciones iniciales:
Una vez ya obtenidas las soluciones las sustituimos por las constantes y obtenemos el resultado final.
Usaremos este procedimiento para resolver la sucesión Fibonacci:
La sucesión Fibonacci se define cómo y sus condiciones iniciales son .
Obtenemos el polinomio característico:
Las soluciones son donde es la razón áurea. Y nos queda:
Resolvemos y el resultado es:
[2]
En el caso de que el polinomio característico tenga raíces múltiples no se puede formalizar la ecuación de la misma manera, la formalización necesaria sería:
Sean las raíces del polinomio característico y con multiplicidades .
Tenemos:
para ,
De la misma manera plantearemos un sistema de ecuaciones lineales para resolverlo usando las condiciones iniciales de la ecuación en diferencias lineal.[1]
Tenemos la recurrencia y condiciones iniciales .
El polinomio característico sería:
Resolvemos y obtenemos 2 con multiplicidad de 2. Entonces, la solución sería de la forma:
Resolvemos el sistema de ecuaciones lineales:
Las soluciones de ese sistema de ecuaciones son y la solución a la recurrencia es .
Ecuación en diferencias lineal no homogénea
[editar]
Cuando es una constante distinta de 0, se formula como donde es una solución de la relación de recurrencia lineal original y una solución a la relación de recurrencia original sin el término . No existe un esquema general para obtener una solución de , pero en el caso de que sea un polinomio de grado k puede ser expresado por donde son constantes a determinar y en el caso de ser una función exponencial como donde es también una constante a determinar. Una vez resuelto se resuelve con su polinomio característico y se suman, después procedemos a determinar las constantes de para terminar de resolverlo usando las condiciones iniciales y obtendríamos el resultado final.[1]
Tenemos la recurrencia y condición inicial .
Resolvemos = y nos queda = donde es una constante a determinar.
Para al ser un polinomio de grado 1 la solución sería donde y son constantes a determinar.
Sustituimos en :
Resolvemos y nos queda y y por tanto es:
Solo nos queda determinar usando la condición inicial:
Y la solución sería:
- ↑ a b c Kenneth H, Rosen (2012). «8.2». Discrete mathematics and its applications Seventh edition (en inglés). McGraw Hill. p. 514, 519, 521. ISBN 978-0-07-338309-5.
- ↑ Weisstein, Eric W. «Linear Recurrence Equation». mathworld.wolfram.com (en inglés). Consultado el 21 de mayo de 2020.