Funcin de Bessel

De Wikipedia, la enciclopedia libre Saltar a: navegacin, bsqueda En matemtica, las funciones de Bessel, primero definidas por el matemtico Daniel Bernoulli y ms tarde generalizadas por Friedrich Bessel, son soluciones cannicas y(x) de la ecuacin diferencial de Bessel:

(1) donde es un nmero real o complejo. El caso ms comn es cuando es un entero , aunque la solucin para no enteros es similar. El nmero se denomina orden de las funciones de Bessel asociadas a dicha ecuacin. Dado que la ecuacin anterior es una ecuacin diferencial de segundo orden, tiene dos soluciones linealmente independientes. Aunque y dan como resultado la misma funcin, es conveniente definir diferentes funciones de Bessel para estos dos parmetros, pues las funciones de Bessel en funcin del parmetro son funciones suaves casi doquiera. Las funciones de Bessel se denominan tambin funciones cilndricas, o armnicos cilndricos porque son solucin de la ecuacin de Laplace en coordenadas cilndricas.

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 Relacin con las series hipergeomtricas 2.1.3 Relacin 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 Solucin general de la ecuacin 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 Solucin general de la ecuacin de Bessel modificada o 4.4 Funciones esfricas de Bessel: o 4.5 Funciones de Hankel esfricas: h n

4.6 Funciones esfricas de Bessel modificadas: 4.6.1 Funcin generatriz 4.6.2 Relaciones diferenciales o 4.7 Funciones de Riccati-Bessel: 5 Expansiones asintticas 6 Propiedades 7 Teorema del Producto 8 Hiptesis 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 Vase tambin 12 Referencias o 12.1 Notas o 12.2 Bibliografa o 12.3 Enlaces externos

Aplicaciones[editar editar fuente]

La Ecuacin de Bessel aparece cuando se buscan soluciones a la ecuacin de Laplace o a la ecuacin de Helmholtz por el mtodo de separacin de variables en coordenadas cilndricas o esfricas. Por ello, las funciones de Bessel son especialmente importantes en muchos problemas de propagacin de ondas, potenciales estticos y cualquier otro problema descrito por las ecuaciones de Helmholtz o Laplace en simetras cilndricas o esfricas. Cuando se resuelven sistemas en coordenadas cilndricas, se obtienen funciones de Bessel de orden entero ( ) y en problemas resueltos en coordenadas esfricas, se obtienen funciones de Bessel de orden semientero (

), por ejemplo:

Ondas electromagnticas en guas de onda cilndricas. Modos transversales electromagnticos en guas pticas. Conduccin del calor en objetos cilndricos. Modos de vibracin de una membrana delgada circular (o con forma de anillo). Difusin en una red.

Tambin se usan funciones de Bessel en otro tipo de problemas como en procesado de seales.

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 ecuacin de Bessel (1). Existen dos formas simples de expresar la solucin general de la ecuacin diferencial de Bessel con parmetro , que estn 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 ecuacin diferencial de Bessel que son finitas en el origen ( ) para enteros no negativos y divergen en el lmite para negativo no entero. El tipo de solucin y la normalizacin de estn definidos por sus propiedades abajo indicadas. Es posible definir la funcin por su expansin en serie de Taylor en torno a :1

es la funcin Gamma de Euler, una generalizacin del factorial para nmeros complejos. Estas funciones cumplen que:

Si , entonces y son linealmente independientes, y por tanto una solucin general de la ecuacin de Bessel puede expresarse como una combinacin lineal de ellas. Si , entonces se cumple:2

por lo que las dos soluciones dejan de ser linealmente independientes. En este caso, la segunda solucin linealmente independiente ser una funcin 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 mostrarn las formas asintticas de estas funciones ms abajo), aunque los ceros de estas funciones no son, en general, peridicos, excepto de forma asinttica 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 representacin integral:

Que tambin 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 definicin integral puede extenderse a rdenes no enteros aadiendo otro trmino integral:

Tambin se tiene, para

Relacin con las series hipergeomtricas[editar editar fuente] Las funciones de Bessel son un caso especial de funcin hipergeomtrica

Esta frmula est relacionada con la expansin de las funciones de Bessel en funcin de la funcin de BesselClifford. Relacin con los polinomios de Laguerre[editar editar fuente] Las funciones de Bessel pueden expandirse en serie de polinomios de Laguerre cualquier parmetro arbitrario como3 para

Funciones de Bessel de segunda especie:

[editar editar fuente]

Las funciones de Bessel de segunda especie, denotadas por , son soluciones de la ecuacin 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 tambin 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 frmula:

En el caso en el que tengamos un orden entero n, la funcin es definida como el siguiente lmite slo vlido para enteros:

que nos da el siguiente resultado en forma integral:

Para el caso en el que tengamos no enteros, la definicin de

es redundante (como

queda claro por su definicin de arriba). Por otro lado, cuando es entero, es la segunda soluccin linealmente independiente de la ecuacin de Bessel, adems, de forma similar a lo que ocurra 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 ramificacin, 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 formulacin importante de las dos solucciones linealmente independientes de la ecuacin de Bessel son las funciones de Hankel y as definidas:4

donde i es la unidad imaginaria. Estas combinaciones lineales son tambin 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 ecuacin de ondas en simetras cilndricas respectivamente (o viceversa dependiendo de la conveccin de signo de la frecuencia). Estas funciones son as nombradas en honor de Hermann Hankel. Usando la definicin dada arriba, estas funciones se pueden escribir en funcin 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 relacin es vlida para todo valor de , sea entero o no:5

Existe una representacin integral de las funciones de Hankel (til para el clculo de propagadores de la ecuacin de Klein-Gordon):6

Solucin general de la ecuacin de Bessel[editar editar fuente]

La solucin general de la ecuacin diferencial de Bessel con parmetro viene dada en trminos de las funciones de Bessel ordinarias o de las funciones de Hankel. Dicha solucin 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 vlidas para valores complejos del argumento x, y un caso especialmente importante es aquel con argumento imaginario puro. En este caso, la ecuacin de Bessel se transforma en la ecuacin 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: fuente]

Las funciones de Bessel modificadas de primera especie y orden

[editar editar
vienen dadas por:

Estn relacionadas con las funciones de Bessel ordinarias mediante la siguiente igualdad: .

Si entonces y son linealmente independientes, y por tanto dan una solucin general de la ecuacin de Bessel. Si entonces no est definida en x = 0.

Casos particulares:

Funciones de Bessel modificadas de segunda especie: fuente]

[editar editar

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 frmula:

Para los casos en los que sea entero ( orden no entero al entero as:

), tenemos que tomar el lmite del

Adems se puede escribir esta funcin a partir de la funcin de Hankel de primera especie as:

Existen varias representaciones integrales de estas funciones. La siguiente de K (x) es til para el clculo del propagador de Feynman en Teora Cuntica de Campos:

Las funciones de Bessel modificadas de segunda especie han sido tambin 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 funcin de Bessel ordinaria J, la funcin I va a cero en x = 0 para > 0 y es finita en x = 0 para = 0. Anlogamente, K diverge en x = 0.

Funcin de Bessel modificada de primera especie, I(x), para =0,1,2,3.

Funcin de Bessel modificada de segunda especie, K(x), para =0,1,2,3.

Solucin general de la ecuacin de Bessel modificada[editar editar fuente]

La solucin general de la ecuacin diferencial de Bessel modificada con parmetro dada por: viene

(4) Donde A y B son dos constantes arbitrarias.

Funciones esfricas de Bessel:

[editar editar fuente]

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

Funciones esfricas de Bessel de segundo orden, yn(x), para n=0,1,2. Cuando se solucciona la ecuacin de Helmholtz en coordenadas esfricas por separacin de variables, la ecuacin radial tiene la forma:

Donde n es un entero positivo. Las dos solucciones linealmente independientes de esta ecuacin se denominan funciones esfricas de Bessel con las funciones de Bessel ordinarias y por:10 y , y estn relacionadas

se escribe tambin como de Neumann.

. A esta funcin a veces se le llama funcin esfrica

Las funciones esfricas de Bessel se pueden obtener a partir de las siguientes frmulas:

La funcin de Bessel esfrica

es la Funcin sinc desnormalizada.

Para n = 0,1 y 2 tenemos:11

12

La frmula general es:

Funciones de Hankel esfricas: h n[editar editar fuente]

Las funciones esfricas de Hankel se definen de forma anloga a las no esfricas:

De hecho, esto nos dice que existen expresiones cerradas de las funciones de Bessel de orden semientero en trmino de funciones trigonomtricas y, por tanto, tambin de las funciones esfricas de Bessel. De esto se deduce que, para n entero no negativo se tiene:

y es la funcin compleja conjugada de esta (para real). De esta frmula se pueden deducir las formas cerradas de las funciones esfricas de Bessel ordinarias, por ejemplo, y , y as para cualquier argumento n.

Funciones esfricas de Bessel modificadas:

[editar editar fuente]

Tambin existen anlogos esfricos de las funciones de Bessel modificadas:

se pueden escribir de forma cerrada, usando la frmula de

dada arriba como:

Funcin generatriz[editar editar fuente] Se pueden obtener las funciones de Bessel esfricas a partir de las siguientes funciones generatrices:13

Relaciones diferenciales[editar editar fuente] La siguiente relacin diferencial se cumple para

Funciones de Riccati-Bessel:

[editar editar fuente]

Las funciones de Riccati-Bessel son una pequea modificacin de las funciones de Bessel esfricas:

Estas funciones satisfacen la siguiente ecuacin diferencial:

Esta ecuacin diferencial y sus soluciones, las ecuaciones de Riccati-Bessel, se usan para resolver el problema de scattering de ondas electromagnticas por una esfera, problema conocido como scattering de Mie tras la publicacin por vez primera de estos resultados por Mie en 1908. Vase por ejemplo, Du (2004).14 Segn Debye (1909) se usa a veces la notacin en vez de .

Expansiones asintticas[editar editar fuente]

Las funciones de Bessel tienen las siguientes expansiones asintticas para no negativos. Para pequeo argumento , se tiene:15

donde es la constante de Euler-Mascheroni y es la funcin Gamma de Euler. Como aproximacin asinttica al infinito, (cuando tenemos un argumento tal que verifica ), se obtienen las siguientes aproximaciones:15

Para =1/2 estas frmulas son exactas. Las expansiones asintticas 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 asintticas al infinito de las

funciones de Bessel modificadas (es decir, para argumentos x que verifiquen ) se tiene:

Mientras que el lmite de muy bajo argumento,

, se obtiene:

Propiedades[editar editar fuente]

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

aproximacin tomada por P. A. Hansen en 1843. Esta expresin puede generalizarse a rdenes no enteros usando integracin de contorno u otros mtodos. Otra expresin importante para rdenes enteros es la identidad de Jacobi-Anger:

identidad que es usada para expandir ondas planas en una serie infinita de ondas cilndricas o para encontrar la serie de Fourier de un tono de una seal de FM. Ms generalmente, una funcin se puede expandir en una serie de la forma

que se denomina expansin de Neumann de . Los coeficientes de esta serie en el caso tienen la siguiente forma explcita

donde

son los polinomios de Neumann.16

Existen funciones que admiten la siguiente representacin especial

con

debido a la relacin de ortogonalidad

Ms generalmente, si f tiene un punto de ramificacin donde entonces

donde

es la transformada de Laplace de .17

Otra manera de definir las funciones de Bessel son la representacin de Poisson y la frmula de Mehler-Sonine:

donde > 1/2 y z es un nmero complejo.18 Esta frmula es especialmente til cuando se trabaja con transformadas de Fourier. Las funciones recurrencia: , , y cumplen las siguientes relaciones de

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 sern en este caso:

donde denotar a discreta.

oa

. Estas relaciones son tiles para problemas de difusin

La divisin de la ecuacin de Bessel por x es una ecuacin hermtica 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 relacin de ortogonalidad puede ser usada para extraer coeficientes de las series de FourierBessel, donde una funcin se expande en una base de funciones de Bessel para fijo y m variable. (Obtener una relacin anloga para funciones de Bessel esfricas es trivial.) Se puede obtener de forma inmediata una relacin anloga para funciones de Bessel esfricas:

Otra relacin de ortogonalidad es la ecuacin de cierre:

para y siendo la funcin 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 esfricas, la relacin de cierre es:

para . Otra propiedad importante de la ecuacin 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 ecuacin 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 nmero de integrales e identidades que involucran a funciones de Bessel que no estn 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 nmeros complejos cualesquiera. Una frmula similar se cumple para y el resto de funciones de Bessel19 20

Hiptesis de Bourget[editar editar fuente]

Bessel demostr que, para n no negativos, la ecuacin

tiene un nmero infinito de soluciones en x.21 Cuando las funciones

se representan

en la misma grfica, ninguno de los diferentes ceros de cada funcin parece coincidir, excepto el cero situado en . Este fenmeno se conoce como Hiptesis de Bourget, en honor al matemtico francs del siglo XIX que estudi las funciones de Bessel. La hiptesis dice que, para cualesquiera enteros and , las funciones . Esta y

no tienen ceros comunes, a excepcin del cero en el origen hiptesis fue demostrada por Siegel en 1929.22

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

Las siguientes frmulas 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 siguientes relaciones: , se cumplen las

Identidades Seleccionadas[editar editar fuente]

Teorema de RouchFrobenius
De Wikipedia, la enciclopedia libre Saltar a: navegacin, bsqueda En lgebra lineal, el teorema de Rouch-Frobenius permite calcular el nmero de soluciones de un sistema de ecuaciones lineales en funcin del rango de la matriz de coeficientes y del rango de la matriz ampliada asociadas al sistema. Lleva el nombre del matemtico francs Eugne Rouch quien lo enunci y del matemtico alemn Ferdinand Georg Frobenius quien fue uno de los muchos matemticos que lo demostraron. As, en otros idiomas1 recibe otros nombres como el teorema de RouchCapelli, 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 condicin necesaria y suficiente que la matriz formada por los coeficientes junto con la ampliada por los trminos independientes posean el mismo rango. Por lo dems, el sistema constituido ser determinado si su rango coincide con el nmero de incgnitas ser indeterminado si posee un valor menor a tal nmero.

ndice
[ocultar]

1 Enunciado 2 Demostracin o 2.1 Existencia o 2.2 Subespacio afn 3 Historia 4 Vase tambin 5 Referencias 6 Bibliografa

Enunciado[editar]
Un sistema lineal de ecuaciones:

Puede ser descrito mediante una matriz:

dicha matriz asociada al sistema ; est obtenida por la yuxtaposicin de la matriz

de los coeficientes y una posterior columna

llamada columna de trminos 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 nmeros reales o complejos . Indicndose con el rango de una matriz siguiente: . El enunciado del teorema de Rouch-Frobenius es el

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 afn de . En particular, si el cuerpo

de dimensiones

es infinito tenemos:

si entonces la solucin es nica, de otro modo existen infinitas posibles soluciones.

Demostracin[editar]
Existencia[editar]
El sistema puede ser descrito de un modo ms restringido, introduciendo el vector de las coordenadas

y utilizando el producto matricial, del siguiente modo:

En otros trminos, es la imagen del vector

mediante la aplicacin lineal

Entonces el sistema admite soluciones si y solo si es la imagen de cualesquiera vector de , en otros trminos 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 afirmacin es equivalente a pedir que las dos matrices posean el mismo rango.

Subespacio afn[editar]
Si existe una solucin , toda otra solucin se escribe como solucin del sistema lineal homogneo asociado: , donde es una

En efecto:

Las soluciones del sistema lineal homogneo asociado son simplemente el ncleo de la aplicacin . Para el teorema de la dimensin, el ncleo es un subespacio vectorial de dimensin ncleo con el vector ). Entonces el espacio de las soluciones , obtenido transladando el , es un subespacio afn de la misma dimensin.

Historia[editar]
El teorema fue enunciado por Rouch en 1875. Posteriormente, public en 1880 una versin ms completa del teorema. Despus de la publicacin, Georges Fonten public una nota en los Nouvelles Annales de Mathmatiques reclamando haber sido el primero en demostrar el teorema. Ms tarde,

Frobenius en su artculo Zur Theorie der linearen Gleichungen de 1905 publicado en Crelle's Journal acredit la demostracin a Rouch y Fonten. En lengua espaola se conoce al teorema como teorema de Rouch-Frobenius debido al matemtico hispano-argentino Julio Rey Pastor que se refiri al teorema con este nombre.

Relacin de recurrencia
De Wikipedia, la enciclopedia libre Saltar a: navegacin, bsqueda Este artculo o seccin necesita referencias que aparezcan en una publicacin acreditada, como revistas especializadas, monografas, prensa diaria o pginas de Internet fidedignas. Puedes aadirlas as o avisar al autor principal del artculo en su pgina de discusin pegando:
{{subst:Aviso referencias|Relacin de recurrencia}} ~~~~

En matemtica, una relacin de recurrencia es una ecuacin que define una secuencia recursiva; cada trmino de la secuencia es definido como una funcin de trminos anteriores.

ndice
[ocultar]

1 Definicin 2 Resolucin o 2.1 Iteracin o 2.2 Recurrencias Lineales 2.2.1 Ecuacin de Recurrencia lineal homognea con coeficientes constantes 2.2.1.1 La generacin de la funcin racional 2.2.1.2 Relacin con la diferencia de ecuaciones 2.2.1.3 Resolucin 2.2.1.4 Ejemplo : Nmeros de Fibonacci

2.2.2 Ecuacin de Recurrencia lineal no homognea con coeficientes constantes 2.2.2.1 Resolucin 2.2.2.2 Ejemplo: Torres de Hani o 2.3 Recurrencias No lineales 3 La recurrencia en la computacin o 3.1 Ejemplo : Clculo del factorial 4 Aplicaciones 5 Vase tambin 6 Referencias

Definicin[editar]
Una ecuacin recurrente es un tipo especfico de relacin de recurrencia. Una relacin de recurrencia para la sucesin es una ecuacin que relaciona con alguno de sus predecesores . Las condiciones iniciales para la sucesin son valores dados en forma explcita para un nmero finito de trminos de la sucesin.1

Resolver una relacin de recurrencia consiste en determinar una frmula explcita (cerrada) para el trmino general , es decir una funcin no recursiva de n. Hay dos mtodos para resolver relaciones recurrentes: iteracin y un mtodo especial que se aplica a las relaciones de recurrencia lineales homogneas con coeficientes constantes. Un ejemplo de una relacin de recurrencia es el siguiente:

Algunas definiciones de recurrencia pueden tener relaciones muy complejas (caticas), y sus comportamientos a veces son estudiados por los fsicos y matemticos en un campo conocido como anlisis no lineal.

Resolucin[editar]
Iteracin[editar]
Para resolver una relacin de recurrencia asociada a la sucesin: por iteracin, utilizamos la relacin de recurrencia para escribir el n-simo trmino en trminos de algunos de sus predecesores. Luego utilizamos de manera sucesiva la relacin de recurrencia para reemplazar cada uno de los trminos por algunos de sus predecesores. Continuamos hasta llegar a alguno de los casos base.

Recurrencias Lineales[editar]

Una relacin de recurrencia es lineal de grado k si tiene la siguiente estructura:

siendo

funciones reales de

,y

una funcin de n.

El adjetivo lineal indica que cada trmino de la secuencia est definido como una funcin lineal de sus trminos anteriores. El orden de una relacin de recurrencia lineal es el nmero de trminos anteriores exigidos por la definicin. En la relacin el orden es dos, porque debe haber al menos dos trminos anteriores (ya sean usados o no). Ejemplos :

Ecuacin de Recurrencia lineal homognea con coeficientes constantes[editar] Se llama ecuacin de recurrencia lineal homognea de grado k, con coeficientes constantes, a una expresin del tipo:

Para poder encontrar una solucin, hacen falta unas condiciones de contorno o iniciales , siendo k el grado de la ecuacin. La recurrencia lineal, junto con las condiciones iniciales secuencia nica. , determinan la

Sea la ecuacin de recurrencia lineal homognea de orden k anterior, se denomina ecuacin caracterstica a la ecuacin de grado k:

La generacin de la funcin racional[editar]

Las secuencias lineales recursiva son precisamente las secuencias cuya funcin de generacin es una funcin racional: el denominador es el polinomio auxiliar (a una transformacin), y el numerador se obtiene con los valores iniciales. El caso ms sencillo son las secuencias peridicas, , nd que tienen secuencia y funcin de generacin una suma de una serie geomtrica:

Ms general, dada la relacin de recurrencia:

con funcin de generacin

la serie es aniquilada por

y anteriormente por el polinomio:

Eso es, multiplicando la funcin de generacin por el polinomio

como el coeficiente en

, que desaparece (por la relacin de recurrencia) para n d. As:

como dividiendo:

expresando la funcin de generacin como una funcin racional. El denominador es , una transformacin del polinomio auxiliar (equivalente, invirtiendo el orden de los coeficientes); tambin se puede usar cualquier mltiplo de esta, pero esta normalizacin es elegida por ambas porque la relacin simple del polinomio auxiliar, y de ese modo .
Relacin con la diferencia de ecuaciones[editar]

Dada una secuencia

de nmeros reales: la primera diferencia

se define como

La segunda diferencia que se puede simplificar a Ms general: la diferencia

se define como . se define como

A diferencia de la ecuacin es una ecuacin compuesta por y sus diferencias. Cada relacin de recurrencia puede ser formulada como una ecuacin de diferencia. Por el contrario, cada ecuacin de diferencia puede ser formulada como una relacin de recurrencia. Algunos autores as utilizan los dos trminos intercambiables. Por ejemplo, la ecuacin de la diferencia:

es equivalente a la relacin de recurrencia:

De este modo se puede resolver relaciones de recurrencia por la reiteracin como ecuaciones diferencia, y luego la solucin de la ecuacin de diferencia, anlogamente como una solucin de ecuaciones diferenciales ordinarias. Ver escala de tiempo de clculo para la unificacin de la teora de las ecuaciones de diferencia con la de las ecuaciones diferenciales.
Resolucin[editar]

Sean

una ecuacin de recurrencia lineal homognea, su ecuacin caracterstica y, las races de la ecuacin caracterstica con multiplicidades respectivamente. La solucin de esta ecuacin sera:

Con el polinomio de grado menor o igual que . Para poder calcular los coeficientes de los polinomios , necesitamos saber las condiciones iniciales de la ecuacin de recurrencia.

Ejemplo : Nmeros de Fibonacci[editar]

Los nmeros de Fibonacci estn definidos usando la siguiente relacin de recurrencia lineal:

con los valores iniciales:

La secuencia de los nmeros de Fibonacci comienza: 0, 1, 1, 2, 3 ,5, 8, 13, 21 ,34, 55, 89... El objetivo de la resolucin de la ecuacin de recurrencia es encontrar una forma cerrada para calcular los nmeros de Fibonacci. La ecuacin caracterstica es la siguiente:

por lo tanto, la solucin general es:

Para hallar el valor de

resolvemos las siguientes ecuaciones:

Entonces:

La forma cerrada para los nmeros de Fibonacci es:

Ecuacin de Recurrencia lineal no homognea con coeficientes constantes[editar] Recibe el nombre de ecuacin de recurrencia lineal no homognea de grado k, con coeficientes constantes, una expresin del tipo: .
Resolucin[editar]

La solucin general sera: , donde es la solucin de la ecuacin de recurrencia lineal homognea asociada es decir la ecuacin : y donde es la solucin particular que depende de la funcin F(n). Por lo tanto los pasos a seguir seran, primero calcular la solucin de la ecuacin homognea, calcular una solucin particular para F(n) y sumarla a la homognea, y a continuacin 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 combinacin lineal de algunas de las funciones de la tabla anterior, su solucin particular es la combinacin 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 solucin de la ecuacin caracterstica homognea asociada, entonces es necesario multiplicar la solucin particular correspondiente a este sumando por la menor potencia de n, n tal que este nuevo producto no sea solucin de la ecuacin caracterstica homognea asociada.
Ejemplo: Torres de Hani[editar]

La ecuacin de recurrencia asociada con el problema de las Torres de Hani es la siguiente:

Con las condiciones iniciales:

Se resuelve la siguiente homognea:

La ecuacin caracterstica es: Entonces :

, entonces

A continuacin, se resuelve la ecuacin particular: .

, entonces

, entonces igualando con las condiciones iniciales la solucin 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 Maestro. , hay un teorema muy til que es el Teorema

La recurrencia en la computacin[editar]
La conexin con el anlisis de algoritmos estriba en que la forma que se ha adoptado para medir las complejidades, utiliza funciones cuyo dominio son los nmeros 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 ejecucin, sean sucesiones que satisfacen ciertas ecuaciones de recurrencia. En un algoritmo recursivo, la funcin t(n) que establece su complejidad viene dada por una ecuacin de recurrencia. Una ecuacin de recurrencia nos permiten indicar el tiempo de ejecucin para los distintos casos del algoritmo recursivo (casos base y recursivo).

Ejemplo : Clculo del factorial[editar]

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

Considerando el producto como operacin bsica, podemos construir la ecuacin recurrente para calcular la complejidad del algoritmo como sigue: Como se ve en el cdigo el caso base es para n<=1, para estos valores de n el nmero de multiplicaciones que se realiza es 0. Y en otro caso es 1 ms las necesarias para calcular el factorial de n-1. As construimos la funcin recurrente:

Ahora si resolvemos la ecuacin recurrente sabremos la complejidad de este algoritmo en funcin de n. Procedemos a resolver esta ecuacin recurrente no lineal:

resolvemos la homognea:

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

por lo que la solucin de la ecuacin recurrente queda como sigue:

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

ya tenemos la solucin: t(n) = n - 1 La ecuacin 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 ecuacin.

@

Funcin De Bessel
La explicacin matemtica y la deduccin de la funciones de Bessel y su aplicacin a frecuencia modulada estn fuera del alcance de este documento pero se recomienda por simple curiosidad leer ms sobre el tema en [Moore, 1993] o en textos apropiados al tema de radio-frecuencias. Las funciones de Bessel o funciones cilndricas, se utilizan en la mecnica gravitatoria, pero tambin se aplican en otros campos como la propagacin de ondas electromagnticas y de calor. Las funciones de Bessel aparecen como coeficientes en las series de expansin de la perturbacin indirecta de un planeta causada por el movimiento del Sol. En el caso particular de sntesis de audio, si tenemos un ndice , las primeras funciones de Bessel, corresponden a las amplitudes de las bandas laterales en la siguiente manera:

La funcin de Bessel de orden 0 con el ndice coeficiente

produce un escalar que es el

para la amplitud de la frecuencia portadora.

La funcin de Bessel de primer orden amplitudes de las primeras

produce los coeficientes para las

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

La funcin de Bessel de segundo orden amplitudes de las segundas

produce los coeficientes para las

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 modulacin 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 modulacin para que esta frecuencia

tenga una amplitud perceptible o significativa.

Aplicaciones
La Ecuacin de Bessel aparece cuando se buscan soluciones a la ecuacin de Laplace o a la ecuacin de Helmholtz por el mtodo de separacin de variables en coordenadas cilndricas

o esfricas. Por ello, las funciones de Bessel son especialmente importantes en muchos problemas de propagacin de ondas, potenciales estticos y cualquier otro problema descrito por las ecuaciones de Helmoltz o Laplace en simetras cilndricas o esfricas. Cuando se resuelven sistemas en coordenadas cilndricas, se obtienen funciones de Bessel de orden entero ( = n) y en problemas resueltos en coordenadas esfricas, se obtienen funciones de Bessel de orden semi-entero ( = n + 1 / 2), por ejemplo:

Ondas electromagnticas en guas de onda cilndricas. Modos transversales electromagnticos en guas pticas. Conduccin del calor en objetos cilndricos. Modos de vibracin de una membrana delgada circular (o con forma de anillo). Difusin en una red.

Tambin se usan funciones de Bessel en otro tipo de problemas como en procesado de seales.

Funciones de Bessel ordinarias

Las funciones de Bessel ordinarias de orden , llamadas simplemente funciones de Bessel de orden son soluciones de la ecuacin de Bessel. Existen dos formas simples de expresar la solucin general de la ecuacin diferencial de Bessel con parmetro , que estn 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 ecuacin diferencial de Bessel que son finitas en el origen ( ) para enteros no negativos y divergen en el lmite para negativo no entero. El tipo de solucin y la normalizacin de estn definidos por sus propiedades abajo indicadas. Para las soluciones de orden entero es posible definir la funcin por su expansin en serie de Taylor en torno a

es la funcin gamma|funcin Gamma de Euler, una generalizacin del factorial para nmeros complejos. Para no enteros, se necesitan expansiones en serie de potencias|series de potencias ms generales.

Estas funciones cumplen que:

Si , entonces y son linealmente independientes, y por tanto dan una solucin general de la ecuacin de Bessel. Si Si , entonces no est definida en x = 0. , entonces se cumple

por lo que las dos soluciones dejan de ser linealmente independientes. En este caso, la segunda solucin linealmente independiente ser una funcin de Bessel de segunda especie. Las grficas de las funciones de Bessel nos muestras son funciones oscilatorias (como las funciones seno o coseno) que decaen proporcionalmente a (como nos lo mostrarn las formas asintticas de estas funciones ms abajo), aunque los ceros de estas funciones no son, en general, peridicos, excepto de forma asinttica 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 funcin de las denominadas funciones especiales que se encuentran en la solucin de determinados problemas fsicos. Dan la solucin a una ecuacin diferencial muy importante, la ecuacin de Bessel:

ndice

Las soluciones para esta ecuacin estn en la forma de series infinitas, que se llaman funciones de Bessel de primera especie. La expresin para la suma es

Referencia Kreyszig Sec. 4.5

Los valores para las funciones de Bessel se pueden encontrar en la mayora de las colecciones de tablas matemticas. Las funciones de Bessel se encuentran en situaciones fsicas donde hay simetra cilndrica. Esto ocurre en problemas relacionados con los campos elctricos, vibraciones, calor por conduccin, la difraccin ptica y otros. Otra forma llamada funcin de Bessel esfrica, aparece en una aplicacin especfica de mecnica cuntica, el pozo de potencial esfrico.
HyperPhysics*****HyperMath*****Clculo
M Olmo Atrs R Nave

Funciones de Bessel Esfricas

Una clase especfica de las funciones especiales llamadas funciones esfricas de Bessel se plantea en los problemas de simetra esfrica, como el pozo de potencial esfrico en la mecnica cuntica. Las tres primeras formas son

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

A veces es til contar con los casos lmites de estas funciones para distancias muy grandes o muy pequeas: