Función de Bessel

De Wikipedia, la enciclopedia libre

Saltar a: navegación, búsqueda

En matemática, las funciones de Bessel, primero definidas por el matemático Daniel

Bernoulli y más tarde generalizadas por Friedrich Bessel, son soluciones canónicas y(x) de
la ecuación diferencial de Bessel:

(1)

donde es un número real o complejo. El caso más común es cuando es un entero ,

aunque la solución para no enteros es similar. El número se denomina orden de las
funciones de Bessel asociadas a dicha ecuación.

Dado que la ecuación anterior es una ecuación diferencial de segundo orden, tiene dos
soluciones linealmente independientes.

Aunque y dan como resultado la misma función, es conveniente definir diferentes

funciones de Bessel para estos dos parámetros, pues las funciones de Bessel en función del
parámetro son funciones suaves casi doquiera. Las funciones de Bessel se denominan
también funciones cilíndricas, o armónicos cilíndricos porque son solución de la ecuación
de Laplace en coordenadas cilíndricas.

Índice
[ocultar]

 1 Aplicaciones
 2 Funciones de Bessel ordinarias
o 2.1 Funciones de Bessel de primera especie:
 2.1.1 Integrales de Bessel
 2.1.2 Relación con las series hipergeométricas
 2.1.3 Relación con los polinomios de Laguerre
o 2.2 Funciones de Bessel de segunda especie:
 3 Funciones de Hankel: Hα(1), Hα(2)
o 3.1 Solución general de la ecuación de Bessel
 4 Funciones de Bessel modificadas: Iα, Kα
o 4.1 Funciones de Bessel modificadas de primera especie:
o 4.2 Funciones de Bessel modificadas de segunda especie:
o 4.3 Solución general de la ecuación de Bessel modificada
o 4.4 Funciones esféricas de Bessel:
o 4.5 Funciones de Hankel esféricas: h n
 o 4.6 Funciones esféricas de Bessel modificadas:
 4.6.1 Función generatriz
 4.6.2 Relaciones diferenciales
o 4.7 Funciones de Riccati-Bessel:
 5 Expansiones asintóticas
 6 Propiedades
 7 Teorema del Producto
 8 Hipótesis de Bourget
 9 Derivadas de Jα, Yα, Iα, Hα, Kα
o 9.1 Derivada bajando el índice p a p − 1
o 9.2 Derivada subiendo el índice p a p + 1 dependency
o 9.3 Otras relaciones importantes
 10 Identidades Seleccionadas
 11 Véase también
 12 Referencias
o 12.1 Notas
o 12.2 Bibliografía
o 12.3 Enlaces externos

Aplicaciones[editar · editar fuente]

La Ecuación de Bessel aparece cuando se buscan soluciones a la ecuación de Laplace o a la
ecuación de Helmholtz por el método de separación de variables en coordenadas cilíndricas
o esféricas. Por ello, las funciones de Bessel son especialmente importantes en muchos
problemas de propagación de ondas, potenciales estáticos y cualquier otro problema
descrito por las ecuaciones de Helmholtz o Laplace en simetrías cilíndricas o esféricas.
Cuando se resuelven sistemas en coordenadas cilíndricas, se obtienen funciones de Bessel
de orden entero ( ) y en problemas resueltos en coordenadas esféricas, se obtienen
funciones de Bessel de orden semientero ( ), por ejemplo:

 Ondas electromagnéticas en guías de onda cilíndricas.

 Modos transversales electromagnéticos en guías ópticas.
 Conducción del calor en objetos cilíndricos.
 Modos de vibración de una membrana delgada circular (o con forma de anillo).
 Difusión en una red.

También se usan funciones de Bessel en otro tipo de problemas como en procesado de

señales.

Funciones de Bessel ordinarias[editar · editar fuente]

Las funciones de Bessel ordinarias de orden , llamadas simplemente funciones de Bessel
de orden son soluciones de la ecuación de Bessel (1). Existen dos formas simples de
expresar la solución general de la ecuación diferencial de Bessel con parámetro , que
están asociadas a las funciones de Bessel ordinarias de primera y de segunda especie.
Funciones de Bessel de primera especie: [editar · editar fuente]

Las funciones de Bessel de primera especie y orden son las soluciones de la ecuación
diferencial de Bessel que son finitas en el origen ( ) para enteros no negativos y
divergen en el límite para negativo no entero. El tipo de solución y la
normalización de están definidos por sus propiedades abajo indicadas. Es posible
definir la función por su expansión en serie de Taylor en torno a :1

es la función Gamma de Euler, una generalización del factorial para números

complejos.

Estas funciones cumplen que:

 Si , entonces y son linealmente independientes, y por tanto

una solución general de la ecuación de Bessel puede expresarse como una
combinación lineal de ellas.
 Si , entonces se cumple:2

por lo que las dos soluciones dejan de ser linealmente independientes. En este caso, la
segunda solución linealmente independiente será una función de Bessel de segunda especie.

Las funciones de Bessel son funciones oscilatorias (como las funciones seno o coseno) que
decaen proporcionalmente a (como nos lo mostrarán las formas asintóticas de estas
funciones más abajo), aunque los ceros de estas funciones no son, en general, periódicos,
excepto de forma asintótica para grandes x.
Funciones de Bessel de primera especie, Jα(x), para órdenes enteros α=0,1,2.

Como casos particulares, se tienen las dos primeras funciones de Bessel enteras:

Integrales de Bessel[editar · editar fuente]

Para valores enteros de , se tiene la siguiente representación integral:

Que también se puede escribir como:

Esta es la forma usada por Bessel en su estudio de estas funciones, y a partir de esta
definicion dedujo varias propiedades de las mismas. Esta definición integral puede
extenderse a órdenes no enteros añadiendo otro término integral:

También se tiene, para

Relación con las series hipergeométricas[editar · editar fuente]

Las funciones de Bessel son un caso especial de función hipergeométrica

Esta fórmula está relacionada con la expansión de las funciones de Bessel en función de la
función de Bessel–Clifford.

Relación con los polinomios de Laguerre[editar · editar fuente]

Las funciones de Bessel pueden expandirse en serie de polinomios de Laguerre para

cualquier parámetro arbitrario como3

Funciones de Bessel de segunda especie: [editar · editar fuente]

Las funciones de Bessel de segunda especie, denotadas por , son soluciones de la

ecuación diferencial de Bessel, Estas funciones divergen en el origen (x = 0).

Funciones de Bessel de segunda especie, Yα(x), para órdenes α=0,1,2.

A estas funciones también se les llama a veces funciones de Neumann o de Weber, y

a veces se denotan por . Para ; no enteros, se definen a partir de las funciones de
primera especie mediante la siguiente fórmula:
En el caso en el que tengamos un orden entero n, la función es definida como el siguiente
límite sólo válido para α enteros:

que nos da el siguiente resultado en forma integral:

Para el caso en el que tengamos α no enteros, la definición de es redundante (como

queda claro por su definición de arriba). Por otro lado, cuando α es entero, es la
segunda solucción linealmente independiente de la ecuación de Bessel, además, de forma
similar a lo que ocurría con las funciones de primera especie, se cumple que:

Ambas y son funciones holomorfas de x en el plano complejo cortado por el

eje real negativo. Cuando α es un entero, no hay puntos de ramificación, y las funciones de
Bessel son funciones enteras de x. Si fijamos x, entonces las funciones de Bessel son
funciones enteras respecto a la variable α.

Funciones de Hankel: Hα(1), Hα(2)[editar · editar fuente]

Otra formulación importante de las dos solucciones linealmente independientes de la
ecuación de Bessel son las funciones de Hankel y así definidas:4

donde i es la unidad imaginaria. Estas combinaciones lineales son también conocidas como
las funciones de Bessel de tercera especie. Las funciones de Hankel de primera y segunda
especie son usadas para representar las solucciones de ondas entrantes y salientes de una
ecuación de ondas en simetrías cilíndricas respectivamente (o viceversa dependiendo de la
convección de signo de la frecuencia). Estas funciones son así nombradas en honor de
Hermann Hankel.

Usando la definición dada arriba, estas funciones se pueden escribir en función de las
funciones de Bessel de primer orden así:
Si α es un entero, se tiene que calcular de las expresiones de arriba así:

La siguiente relación es válida para todo valor de α, sea entero o no:5

Existe una representación integral de las funciones de Hankel (útil para el cálculo de
propagadores de la ecuación de Klein-Gordon):6

Solución general de la ecuación de Bessel[editar · editar fuente]

La solución general de la ecuación diferencial de Bessel con parámetro viene dada en

términos de las funciones de Bessel ordinarias o de las funciones de Hankel. Dicha solución
general puede expresarse como:

(2)

Donde A y B son dos constantes arbitrarias.

Funciones de Bessel modificadas: Iα, Kα[editar · editar
fuente]
Las funciones de Bessel ordinarias son válidas para valores complejos del argumento x, y
un caso especialmente importante es aquel con argumento imaginario puro. En este caso, la
ecuación de Bessel se transforma en la ecuación de Bessel modificada7

(3)

y sus dos soluciones linealmente independientes son las funciones de Bessel modificadas
de primer y segundo tipo: Iα(x) y Kα(x) respectivamente.8

Funciones de Bessel modificadas de primera especie: [editar · editar

fuente]

Las funciones de Bessel modificadas de primera especie y orden vienen dadas por:

Están relacionadas con las funciones de Bessel ordinarias mediante la siguiente igualdad:

 Si entonces y son linealmente independientes, y por tanto

dan una solución general de la ecuación de Bessel.
 Si entonces no está definida en x = 0.

Casos particulares:

Funciones de Bessel modificadas de segunda especie: [editar · editar

fuente]
Las funciones de Bessel modificadas de segunda especie y orden se definen a partir de las
funciones modificadas de primera especie para órdenes no enteros mediante las siguiente
fórmula:

Para los casos en los que sea entero ( ), tenemos que tomar el límite del
orden no entero al entero así:

Además se puede escribir esta función a partir de la función de Hankel de primera especie
así:

Existen varias representaciones integrales de estas funciones. La siguiente de Kα (x) es útil

para el cálculo del propagador de Feynman en Teoría Cuántica de Campos:

Las funciones de Bessel modificadas de segunda especie han sido también llamadas:

 Funciones de Basset
 Funciones de Bessel modificadas de tercera especie
 Funciones de MacDonald
 Funciones de Hankel modificadas9

Al contrario que las funciones de Bessel ordinarias, Jα and Yα, las cuales son funciones
oscilatorias para argumentos reales, las funciones de Bessel modificadas, Iα and Kα, son
exponencialmente creciente y decreciente respectivamente. Como la función de Bessel
ordinaria Jα, la función Iα va a cero en x = 0 para α > 0 y es finita en x = 0 para α = 0.
Análogamente, Kα diverge en x = 0.
Función de Bessel modificada de primera Función de Bessel modificada de segunda
especie, Iα(x), para α=0,1,2,3. especie, Kα(x), para α=0,1,2,3.

Solución general de la ecuación de Bessel modificada[editar · editar fuente]

La solución general de la ecuación diferencial de Bessel modificada con parámetro viene

dada por:

(4)

Donde A y B son dos constantes arbitrarias.

Funciones esféricas de Bessel: [editar · editar fuente]

Funciones esféricas de Bessel de primer orden, jn(x), para n=0,1,2.

Funciones esféricas de Bessel de segundo orden, yn(x), para n=0,1,2.

Cuando se solucciona la ecuación de Helmholtz en coordenadas esféricas por separación de

variables, la ecuación radial tiene la forma:

Donde n es un entero positivo. Las dos solucciones linealmente independientes de esta

ecuación se denominan funciones esféricas de Bessel y , y están relacionadas
con las funciones de Bessel ordinarias y por:10

se escribe también como o . A esta función a veces se le llama función esférica

de Neumann.

Las funciones esféricas de Bessel se pueden obtener a partir de las siguientes fórmulas:

La función de Bessel esférica es la Función sinc desnormalizada.

Para n = 0,1 y 2 tenemos:11

12

La fórmula general es:

Funciones de Hankel esféricas: h n[editar · editar fuente]

Las funciones esféricas de Hankel se definen de forma análoga a las no esféricas:

De hecho, esto nos dice que existen expresiones cerradas de las funciones de Bessel de
orden semientero en término de funciones trigonométricas y, por tanto, también de las
funciones esféricas de Bessel. De esto se deduce que, para n entero no negativo se tiene:

y es la función compleja conjugada de esta (para real). De esta fórmula se pueden

deducir las formas cerradas de las funciones esféricas de Bessel ordinarias, por ejemplo,
y , y así para cualquier argumento n.
Funciones esféricas de Bessel modificadas: [editar · editar fuente]

También existen análogos esféricos de las funciones de Bessel modificadas:

se pueden escribir de forma cerrada, usando la fórmula de dada arriba como:

Función generatriz[editar · editar fuente]

Se pueden obtener las funciones de Bessel esféricas a partir de las siguientes funciones
generatrices:13

Relaciones diferenciales[editar · editar fuente]

La siguiente relación diferencial se cumple para

Funciones de Riccati-Bessel: [editar · editar fuente]

Las funciones de Riccati-Bessel son una pequeña modificación de las funciones de Bessel
esféricas:
Estas funciones satisfacen la siguiente ecuación diferencial:

Esta ecuación diferencial y sus soluciones, las ecuaciones de Riccati-Bessel, se usan para
resolver el problema de scattering de ondas electromagnéticas por una esfera, problema
conocido como scattering de Mie tras la publicación por vez primera de estos resultados por
Mie en 1908. Véase por ejemplo, Du (2004).14

Según Debye (1909) se usa a veces la notación en vez de .

Expansiones asintóticas[editar · editar fuente]

Las funciones de Bessel tienen las siguientes expansiones asintóticas para α no negativos.
Para pequeño argumento , se tiene:15

donde γ es la constante de Euler-Mascheroni y es la función Gamma de Euler. Como

aproximación asintótica al infinito, (cuando tenemos un argumento tal que verifica
), se obtienen las siguientes aproximaciones:15

Para α=1/2 estas fórmulas son exactas. Las expansiones asintóticas del resto de funciones
de Bessel se obtienen a partir de las mostradas arriba y de sus relaciones con las funciones
de Bessel de primera especie. Así, las aproximaciones asintóticas al infinito de las
funciones de Bessel modificadas (es decir, para argumentos x que verifiquen
) se tiene:

Mientras que el límite de muy bajo argumento, , se obtiene:

Propiedades[editar · editar fuente]

Para enteros de orden α = n, se puede definir a partir de la serie de Laurent de la
siguiente función generatriz:

aproximación tomada por P. A. Hansen en 1843. Esta expresión puede generalizarse a

órdenes no enteros usando integración de contorno u otros métodos. Otra expresión
importante para órdenes enteros es la identidad de Jacobi-Anger:

identidad que es usada para expandir ondas planas en una serie infinita de ondas cilíndricas
o para encontrar la serie de Fourier de un tono de una señal de FM.

Más generalmente, una función ƒ se puede expandir en una serie de la forma

que se denomina expansión de Neumann de ƒ. Los coeficientes de esta serie en el caso

tienen la siguiente forma explícita
donde son los polinomios de Neumann.16

Existen funciones que admiten la siguiente representación especial

con

debido a la relación de ortogonalidad

Más generalmente, si f tiene un punto de ramificación donde

entonces

donde es la transformada de Laplace de ƒ.17

Otra manera de definir las funciones de Bessel son la representación de Poisson y la

fórmula de Mehler-Sonine:
donde ν > −1/2 y z es un número complejo.18 Esta fórmula es especialmente útil cuando se
trabaja con transformadas de Fourier.

Las funciones , , y cumplen las siguientes relaciones de

recurrencia:

Donde Z denota J, Y, H(1), o H(2).

Estas dos identidades se suelen combinar para obtener otras relaciones distintas. Por
ejemplo, se pueden calcular funciones de Bessel de mayores órdenes (o mayores derivadas)
a partir de funciones de Bessel de menor orden o de derivadas de menor orden. En
particular, se cumple:

Las funciones modificadas de Bessel cumplen relaciones similares:

Las relaciones de recurrencia serán en este caso:

donde denotará a oa . Estas relaciones son útiles para problemas de difusión
discreta.

La división de la ecuación de Bessel por x es una ecuación hermítica o auto-adjunta, por lo

que sus solucciones deben cumplir determinadas relaciones de ortogonalidad para unas
condiciones de contorno adecuadas. En particular, se cumple:

donde , es la delta de Kronecker, y es el m-ésimo cero de . Esta

relación de ortogonalidad puede ser usada para extraer coeficientes de las series de Fourier-
Bessel, donde una función se expande en una base de funciones de Bessel para
α fijo y m variable. (Obtener una relación análoga para funciones de Bessel esféricas es
trivial.)

Se puede obtener de forma inmediata una relación análoga para funciones de Bessel
esféricas:

Otra relación de ortogonalidad es la ecuación de cierre:

para y siendo la función delta de Dirac. Esta propiedad se usa para

construir expansiones de funciones arbitrarias como series de funciones de Bessel mediante
la transformada de Hankel.

Para funciones de Bessel esféricas, la relación de cierre es:

para . Otra propiedad importante de la ecuación de Bessel, que se deriva de la

identidad de Abel, es el Wronskiano de las soluciones:
donde y son dos soluciones cualesquiera independientes de la ecuación de Bessel y
es una constante independiente de x (que depende de α y de las funciones de Bessel
consideradas). Por ejemplo, se cumple:

Existe un gran número de integrales e identidades que involucran a funciones de Bessel que
no están aquí reproducidas, pero que se pueden encontrar en las referencias.

Teorema del Producto[editar · editar fuente]

Las funciones de Bessel verifican un teorema del producto

donde y son números complejos cualesquiera. Una fórmula similar se cumple para
y el resto de funciones de Bessel19 20

Hipótesis de Bourget[editar · editar fuente]

Bessel demostró que, para n no negativos, la ecuación

tiene un número infinito de soluciones en x.21 Cuando las funciones se representan

en la misma gráfica, ninguno de los diferentes ceros de cada función parece
coincidir, excepto el cero situado en . Este fenómeno se conoce como Hipótesis de
Bourget, en honor al matemático francés del siglo XIX que estudió las funciones de Bessel.

La hipótesis dice que, para cualesquiera enteros and , las funciones y

no tienen ceros comunes, a excepción del cero en el origen . Esta
hipótesis fue demostrada por Siegel en 1929.22

Derivadas de Jα, Yα, Iα, Hα, Kα[editar · editar fuente]

Las siguientes fórmulas pueden encontrarse en.23

Derivada bajando el índice p a p − 1[editar · editar fuente]

Para

Mientras que para , se tiene

Derivada subiendo el índice p a p + 1 dependency[editar · editar fuente]

Para

Mientras que para , se tiene

Otras relaciones importantes[editar · editar fuente]

Para , se cumplen las

siguientes relaciones:

Identidades Seleccionadas[editar · editar fuente]





Teorema de Rouché–Frobenius
De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

En álgebra lineal, el teorema de Rouché-Frobenius permite calcular el número de

soluciones de un sistema de ecuaciones lineales en función del rango de la matriz de
coeficientes y del rango de la matriz ampliada asociadas al sistema.

Lleva el nombre del matemático francés Eugène Rouché quien lo enunció y del matemático
alemán Ferdinand Georg Frobenius quien fue uno de los muchos matemáticos que lo
demostraron. Así, en otros idiomas1 recibe otros nombres como el teorema de Rouché-
Capelli, el teorema de Rouché-Fontené, el teorema de Kronecker-Capelli, etc.

El teorema establece que para que un sistema de ecuaciones lineales sea compatible es
condición necesaria y suficiente que la matriz formada por los coeficientes junto con la
ampliada por los términos independientes posean el mismo rango. Por lo demás, el sistema
constituido será determinado si su rango coincide con el número de incógnitas ó será
indeterminado si posee un valor menor a tal número.

Índice
[ocultar]

 1 Enunciado
 2 Demostración
o 2.1 Existencia
o 2.2 Subespacio afín
 3 Historia
 4 Véase también
 5 Referencias
 6 Bibliografía

Enunciado[editar]
Un sistema lineal de ecuaciones:

Puede ser descrito mediante una matriz:

dicha matriz asociada al sistema ; está obtenida por la yuxtaposición de la matriz

de los coeficientes y una posterior columna

llamada columna de términos notorios. Las matrices y son llamadas

respectivamente incompleta (o de los coeficientes) y completa (o ampliada).

Los coeficientes de los sistemas lineales (y por ende de las matrices) son elementos de un
cuerpo , como podrian ser los números reales o complejos . Indicándose con
el rango de una matriz . El enunciado del teorema de Rouché-Frobenius es el
siguiente:

Existen soluciones para el sistema si y solo si el rango de la matriz completa es igual al

rango de la matriz incompleta.

Entonces, si existen soluciones, éstas forman un subespacio afín de de dimensiones

. En particular, si el cuerpo es infinito tenemos:

 si entonces la solución es única,

 de otro modo existen infinitas posibles soluciones.

Demostración[editar]
Existencia[editar]

El sistema puede ser descrito de un modo más restringido, introduciendo el vector de las
coordenadas
y utilizando el producto matricial, del siguiente modo:

En otros términos, es la imagen del vector mediante la aplicación lineal

Entonces el sistema admite soluciones si y solo si es la imagen de cualesquiera vector de

, en otros términos si está en la imagen de . Por otro lado, la imagen de es
generada desde los vectores dados a partir de las columnas . Entonces es en la imagen si
y solo si el span de las columnas contiene , esto es, si y sí el span de las columnas es
igual al span de las columnas de . Esta última afirmación es equivalente a pedir que
las dos matrices posean el mismo rango.

Subespacio afín[editar]

Si existe una solución , toda otra solución se escribe como , donde es una
solución del sistema lineal homogéneo asociado:

En efecto:

Las soluciones del sistema lineal homogéneo asociado son simplemente el núcleo de la
aplicación . Para el teorema de la dimensión, el núcleo es un subespacio vectorial de
dimensión ). Entonces el espacio de las soluciones , obtenido transladando el
núcleo con el vector , es un subespacio afín de la misma dimensión.

Historia[editar]
El teorema fue enunciado por Rouché en 1875. Posteriormente, publicó en 1880 una
versión más completa del teorema.

Después de la publicación, Georges Fontené publicó una nota en los Nouvelles Annales de
Mathématiques reclamando haber sido el primero en demostrar el teorema. Más tarde,
Frobenius en su artículo Zur Theorie der linearen Gleichungen de 1905 publicado en
Crelle's Journal acreditó la demostración a Rouché y Fontené.

En lengua española se conoce al teorema como teorema de Rouché-Frobenius debido al

matemático hispano-argentino Julio Rey Pastor que se refirió al teorema con este nombre.

Relación de recurrencia
De Wikipedia, la enciclopedia libre

Saltar a: navegación, búsqueda

Este artículo o sección necesita referencias que aparezcan en una publicación acreditada,
como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas.
Puedes añadirlas así o avisar al autor principal del artículo en su página de discusión pegando:
{{subst:Aviso referencias|Relación de recurrencia}} ~~~~

En matemática, una relación de recurrencia es una ecuación que define una secuencia
recursiva; cada término de la secuencia es definido como una función de términos
anteriores.

Índice
[ocultar]

 1 Definición
 2 Resolución
o 2.1 Iteración
o 2.2 Recurrencias Lineales
 2.2.1 Ecuación de Recurrencia lineal homogénea con coeficientes
constantes
 2.2.1.1 La generación de la función racional
 2.2.1.2 Relación con la diferencia de ecuaciones
 2.2.1.3 Resolución
 2.2.1.4 Ejemplo : Números de Fibonacci
  2.2.2 Ecuación de Recurrencia lineal no homogénea con coeficientes
constantes
 2.2.2.1 Resolución
 2.2.2.2 Ejemplo: Torres de Hanói
o 2.3 Recurrencias No lineales
 3 La recurrencia en la computación
o 3.1 Ejemplo : Cálculo del factorial
 4 Aplicaciones
 5 Véase también
 6 Referencias

Definición[editar]
Una ecuación recurrente es un tipo específico de relación de recurrencia. Una relación de
recurrencia para la sucesión es una ecuación que relaciona con alguno de
sus predecesores . Las condiciones iniciales para la sucesión
son valores dados en forma explícita para un número finito de términos de la
sucesión.1

Resolver una relación de recurrencia consiste en determinar una fórmula explícita (cerrada)
para el término general , es decir una función no recursiva de n.

Hay dos métodos para resolver relaciones recurrentes: iteración y un método especial que
se aplica a las relaciones de recurrencia lineales homogéneas con coeficientes constantes.

Un ejemplo de una relación de recurrencia es el siguiente:

Algunas definiciones de recurrencia pueden tener relaciones muy complejas (caóticas), y

sus comportamientos a veces son estudiados por los físicos y matemáticos en un campo
conocido como análisis no lineal.

Resolución[editar]
Iteración[editar]

Para resolver una relación de recurrencia asociada a la sucesión: por iteración,

utilizamos la relación de recurrencia para escribir el n-ésimo término en términos de
algunos de sus predecesores. Luego utilizamos de manera sucesiva la relación de
recurrencia para reemplazar cada uno de los términos por algunos de sus predecesores.
Continuamos hasta llegar a alguno de los casos base.

Recurrencias Lineales[editar]
Una relación de recurrencia es lineal de grado k si tiene la siguiente estructura:

siendo funciones reales de ,y una función de n.

El adjetivo lineal indica que cada término de la secuencia está definido como una función
lineal de sus términos anteriores. El orden de una relación de recurrencia lineal es el
número de términos anteriores exigidos por la definición.

En la relación el orden es dos, porque debe haber al menos dos términos

anteriores (ya sean usados o no).

Ejemplos :

Ecuación de Recurrencia lineal homogénea con coeficientes constantes[editar]

Se llama ecuación de recurrencia lineal homogénea de grado k, con coeficientes constantes,

a una expresión del tipo:

Para poder encontrar una solución, hacen falta unas condiciones de contorno o iniciales
, siendo k el grado de la ecuación.

La recurrencia lineal, junto con las condiciones iniciales , determinan la

secuencia única.

Sea la ecuación de recurrencia lineal homogénea de orden k anterior, se denomina ecuación

característica a la ecuación de grado k:

La generación de la función racional[editar]

Las secuencias lineales recursiva son precisamente las secuencias cuya función de
generación es una función racional: el denominador es el polinomio auxiliar (a una
transformación), y el numerador se obtiene con los valores iniciales.

El caso más sencillo son las secuencias periódicas, , n≥d que tienen secuencia
y función de generación una suma de una serie geométrica:
Más general, dada la relación de recurrencia:

con función de generación

la serie es aniquilada por y anteriormente por el polinomio:

Eso es, multiplicando la función de generación por el polinomio

como el coeficiente en , que desaparece (por la relación de recurrencia) para n ≥ d. Así:

como dividiendo:

expresando la función de generación como una función racional. El denominador es

, una transformación del polinomio auxiliar (equivalente, invirtiendo el orden de
los coeficientes); también se puede usar cualquier múltiplo de esta, pero esta normalización
es elegida por ambas porque la relación simple del polinomio auxiliar, y de ese modo
.

Relación con la diferencia de ecuaciones[editar]

Dada una secuencia de números reales: la primera diferencia se define como

La segunda diferencia se define como ,

que se puede simplificar a .

Más general: la diferencia se define como

A diferencia de la ecuación es una ecuación compuesta por y sus diferencias. Cada

relación de recurrencia puede ser formulada como una ecuación de diferencia. Por el
contrario, cada ecuación de diferencia puede ser formulada como una relación de
recurrencia. Algunos autores así utilizan los dos términos intercambiables. Por ejemplo, la
ecuación de la diferencia:

es equivalente a la relación de recurrencia:

De este modo se puede resolver relaciones de recurrencia por la reiteración como

ecuaciones diferencia, y luego la solución de la ecuación de diferencia, análogamente como
una solución de ecuaciones diferenciales ordinarias.

Ver escala de tiempo de cálculo para la unificación de la teoría de las ecuaciones de

diferencia con la de las ecuaciones diferenciales.

Resolución[editar]

Sean

una ecuación de recurrencia lineal homogénea, su

ecuación característica y, las raíces de la ecuación característica con
multiplicidades respectivamente. La solución de esta ecuación sería:

Con el polinomio de grado menor o igual que . Para poder calcular los
coeficientes de los polinomios , necesitamos saber las condiciones iniciales de la
ecuación de recurrencia.
Ejemplo : Números de Fibonacci[editar]

Los números de Fibonacci están definidos usando la siguiente relación de recurrencia

lineal:

con los valores iniciales:

La secuencia de los números de Fibonacci comienza: 0, 1, 1, 2, 3 ,5, 8, 13, 21 ,34, 55, 89...
El objetivo de la resolución de la ecuación de recurrencia es encontrar una forma cerrada
para calcular los números de Fibonacci.

La ecuación característica es la siguiente:

por lo tanto, la solución general es:

Para hallar el valor de y resolvemos las siguientes ecuaciones:

Entonces:
y

La forma cerrada para los números de Fibonacci es:

Ecuación de Recurrencia lineal no homogénea con coeficientes constantes[editar]

Recibe el nombre de ecuación de recurrencia lineal no homogénea de grado k, con

coeficientes constantes, una expresión del tipo:
.

Resolución[editar]

La solución general sería: , donde es la solución de la ecuación de

recurrencia lineal homogénea asociada es decir la ecuación :
y donde es
la solución particular que depende de la función F(n). Por lo tanto los pasos a seguir serían,
primero calcular la solución de la ecuación homogénea, calcular una solución particular
para F(n) y sumarla a la homogénea, y a continuación aplicar las condiciones iniciales para
calcular las constantes. En la siguiente tabla, encontramos cuales son las posibles
soluciones particulares:
  Consideraciones:

1.- Si F(n) es una combinación lineal de algunas de las funciones de la tabla anterior, su
solución particular es la combinación lineal de las soluciones particulares de esas mismas
funciones.

2.- Si uno de los sumandos de F(n) es el producto de una constante por una solución de la
ecuación característica homogénea asociada, entonces es necesario multiplicar la solución
particular correspondiente a este sumando por la menor potencia de n, n´ tal que este nuevo
producto no sea solución de la ecuación característica homogénea asociada.

Ejemplo: Torres de Hanói[editar]

La ecuación de recurrencia asociada con el problema de las Torres de Hanói es la siguiente:

Con las condiciones iniciales:

Se resuelve la siguiente homogénea:

La ecuación característica es: , entonces

Entonces :

A continuación, se resuelve la ecuación particular: , entonces

.
 , entonces igualando con las condiciones iniciales la solución es :

Recurrencias No lineales[editar]

Para resolver recurrencias no lineales tenemos muchas opciones de las cuales:

 Buscar transformaciones o cambios de variables que hagan la recurrencia lineal.

 Para el caso , hay un teorema muy útil que es el Teorema

Maestro.

La recurrencia en la computación[editar]
La conexión con el análisis de algoritmos estriba en que la forma que se ha adoptado para
medir las complejidades, utiliza funciones cuyo dominio son los números naturales, o en
otras palabras, sucesiones. Si el algoritmo es recurrente, es de esperarse que las
complejidades, como funciones que estiman la demanda de recursos a lo largo de la
ejecución, sean sucesiones que satisfacen ciertas ecuaciones de recurrencia. En un
algoritmo recursivo, la función t(n) que establece su complejidad viene dada por una
ecuación de recurrencia. Una ecuación de recurrencia nos permiten indicar el tiempo de
ejecución para los distintos casos del algoritmo recursivo (casos base y recursivo).

Ejemplo : Cálculo del factorial[editar]

int Fact(int n){
if(n<=1)
return 1;
else
return n*Fact(n-1);
}

Considerando el producto como operación básica, podemos construir la ecuación recurrente

para calcular la complejidad del algoritmo como sigue:

Como se ve en el código el caso base es para n<=1, para estos valores de n el número de
multiplicaciones que se realiza es 0. Y en otro caso es 1 más las necesarias para calcular el
factorial de n-1. Así construimos la función recurrente:

Ahora si resolvemos la ecuación recurrente sabremos la complejidad de este algoritmo en

función de n. Procedemos a resolver esta ecuación recurrente no lineal:
resolvemos la homogénea:

resolvamos ahora la particular:

como la particular' coincide con la r, debemos aumentar el grado multiplicando por n

por lo que la solución de la ecuación recurrente queda como sigue:

Ahora calculamos c utilizando el caso base, t(1) = 0

ya tenemos la solución: t(n) = n - 1

La ecuación que nos ha quedado es de grado 1 por lo que la complejidad es del orden
exacto de n -> θ(n)

Por ejemplo para calcular el factorial de 3 necesitaremos t(3) productos lo que es igual a

Como vemos son 2 productos como nos ha devuelto la ecuación.

@
Función De Bessel
La explicación matemática y la deducción de la funciones de Bessel y su aplicación a
frecuencia modulada están fuera del alcance de este documento pero se recomienda por
simple curiosidad leer más sobre el tema en [Moore, 1993] o en textos apropiados al tema
de radio-frecuencias. Las funciones de Bessel o funciones cilíndricas, se utilizan en la
mecánica gravitatoria, pero también se aplican en otros campos como la propagación de
ondas electromagnéticas y de calor. Las funciones de Bessel aparecen como coeficientes en
las series de expansión de la perturbación indirecta de un planeta causada por el
movimiento del Sol.

En el caso particular de síntesis de audio, si tenemos un índice , las primeras

funciones de Bessel, corresponden a las amplitudes de las bandas laterales en la
siguiente manera:

 La función de Bessel de orden 0 con el índice produce un escalar que es el

coeficiente

para la amplitud de la frecuencia portadora.

 La función de Bessel de primer orden produce los coeficientes para las

amplitudes de las primeras

bandas laterales por encima y por debajo de la frecuencia portadora.

 La función de Bessel de segundo orden produce los coeficientes para las

amplitudes de las segundas

bandas laterales por arriba y por abajo de la frecuencia portadora y así sucesivamente.

 Entre mas alto el orden de la frecuencia lateral, mas alto debe ser el índice de
modulación para que esta frecuencia

tenga una amplitud perceptible o significativa. bandas laterales por arriba y por abajo de la
frecuencia portadora y así sucesivamente.

 Entre mas alto el orden de la frecuencia lateral, mas alto debe ser el índice de
modulación para que esta frecuencia

tenga una amplitud perceptible o significativa.

Aplicaciones
La Ecuación de Bessel aparece cuando se buscan soluciones a la ecuación de Laplace o a la
ecuación de Helmholtz por el método de separación de variables en coordenadas cilíndricas
o esféricas. Por ello, las funciones de Bessel son especialmente importantes en muchos
problemas de propagación de ondas, potenciales estáticos y cualquier otro problema
descrito por las ecuaciones de Helmoltz o Laplace en simetrías cilíndricas o esféricas.
Cuando se resuelven sistemas en coordenadas cilíndricas, se obtienen funciones de Bessel
de orden entero (α = n) y en problemas resueltos en coordenadas esféricas, se obtienen
funciones de Bessel de orden semi-entero (α = n + 1 / 2), por ejemplo:

 Ondas electromagnéticas en guías de onda cilíndricas.

 Modos transversales electromagnéticos en guías ópticas.

 Conducción del calor en objetos cilíndricos.

 Modos de vibración de una membrana delgada circular (o con forma de anillo).

 Difusión en una red.

También se usan funciones de Bessel en otro tipo de problemas como en procesado de

señales.

Funciones de Bessel ordinarias

Las funciones de Bessel ordinarias de orden , llamadas simplemente funciones de Bessel
de orden son soluciones de la ecuación de Bessel. Existen dos formas simples de
expresar la solución general de la ecuación diferencial de Bessel con parámetro , que
están asociadas a las funciones de Bessel ordinarias de primera y de segunda especie.

Funciones de Bessel de primera especie:

Las funciones de Bessel de primera especie y orden son las soluciones de la ecuación
diferencial de Bessel que son finitas en el origen ( ) para enteros no negativos y
divergen en el límite para negativo no entero. El tipo de solución y la
normalización de están definidos por sus propiedades abajo indicadas. Para las
soluciones de orden entero es posible definir la función por su expansión en serie de
Taylor en torno a

es la función gamma|función Gamma de Euler, una generalización del factorial para

números complejos. Para no enteros, se necesitan expansiones en serie de
potencias|series de potencias más generales.
Estas funciones cumplen que:

 Si , entonces y son linealmente independientes, y

por tanto dan una solución general de la ecuación de Bessel.
 Si , entonces no está definida en x = 0.
 Si , entonces se cumple

por lo que las dos soluciones dejan de ser linealmente independientes. En este caso, la
segunda solución linealmente independiente será una función de Bessel de segunda especie.

Las gráficas de las funciones de Bessel nos muestras son funciones oscilatorias (como las
funciones seno o coseno) que decaen proporcionalmente a (como nos lo mostrarán
las formas asintóticas de estas funciones más abajo), aunque los ceros de estas funciones no
son, en general, periódicos, excepto de forma asintótica para grandes x.

Como casos particulares, se tienen las dos primeras funciones de Bessel enteras:

Lee mas en : Funciones de Bessel, por WikiMatematica.org

wikimatematica.org
Follow us: @wikimatematica on Twitter | wikimatematica on Facebook
 Funciones de Bessel
Las funciones de Bessel forman una clase de función de las denominadas
funciones especiales que se encuentran en la solución de determinados
problemas físicos. Dan la solución a una ecuación diferencial muy importante,
la ecuación de Bessel:

Índice
Las soluciones para esta ecuación están en la forma de series infinitas, que se
llaman funciones de Bessel de primera especie. La expresión para la suma es Referencia
Kreyszig
Sec. 4.5

Los valores para las funciones de Bessel se pueden encontrar en la mayoría de

las colecciones de tablas matemáticas. Las funciones de Bessel se encuentran
en situaciones físicas donde hay simetría cilíndrica. Esto ocurre en problemas
relacionados con los campos eléctricos, vibraciones, calor por conducción, la
difracción óptica y otros.

Otra forma llamada función de Bessel esférica, aparece en una aplicación

específica de mecánica cuántica, el pozo de potencial esférico.
M Olmo
HyperPhysics*****HyperMath*****Cálculo Atrás
R Nave
 Funciones de Bessel Esféricas
Una clase específica de las funciones especiales llamadas funciones esféricas de Bessel
se plantea en los problemas de simetría esférica, como el pozo de potencial esférico en la
mecánica cuántica. Las tres primeras formas son

Las formas de ordenes superiores, se pueden generar a partir de la primera forma

mediante la relación

A veces es útil contar con los casos límites de estas funciones para distancias muy
grandes o muy pequeñas: