FUNCIONES ESPECIALES Las funciones especiales son funciones no elementales definidas ex professo para algunas aplicaciones particulares.

Muchas de las funciones especiales son funciones que son soluciones de ecuaciones diferenciales de segundo orden de importancia prctica entre estas funciones se encuentran:

Las funciones hipergeomtricas. Las funciones elpticas Las funciones de Bessel y funciones asociadas. Las funciones de Airy. Las funciones de Whitaker.

Otras cuantas funciones aparecen como soluciones para problemas de clculo integral:

La funcin de error La integral senoidal

FUNCIN GAMMA La funcin Gamma (denotada como los nmeros complejos. ) es una funcin que extiende el concepto de factorial a

Si la parte real del nmero complejo z es positiva, entonces la integral converge absolutamente; esta integral puede ser extendida a todo el plano complejo excepto a los enteros negativos y al cero. Obtencin de la ecuacin funcional usando integracin por partes Obtener es sencillo:

Ahora obtendremos una expresin para

como una funcin de

Usamos integracin por partes para resolver la integral [ ]

En el lmite inferior se obtiene directamente:

En el infinito, usando la regla de L'Hpital:

Por lo que se anula el primer trmino

] , lo que nos da el siguiente resultado:

La parte derecha de la ecuacin es exactamente de recurrencia:

, con lo que hemos obtenido una relacin

Valores de la funcin Gamma para n=1,2,3,

Por ello la funcin Gamma es una generalizacin de la funcin factorial. Tomando Vemos que tiende a infinito cuando se acerca a cero. Queda claro, entonces que no est definida para , y tampoco para Sin embargo podemos definir la funcin Gamma para valores negativos que no sean enteros, si quitamos la restriccin de que .

La grfica quedar as:

FUNCIN GAMMA DE NMERO NEGATIVOS Observamos que la definicin de la funcin Gamma no est adecuada para su extensin a nmeros negativos. Sin embrago si es posible extenderla a travs de la relacin de recurrencia. Definimos entonces para , usando la relacin de recurrencia:

Por ejemplo:

Observar, sin embargo que como: , cuando ,

, entonces:

EJEMPLO a) Evaluar

Con el cambio de variable Entonces: [ ] (

) (

Reescribiendo la integral en coordenadas polares: [ ] ( ) ( )

Luego FUNCIN BETA Definicin Dada una funcin f, muchas veces es til expresar f (x + y) en trminos de f (x) y f (y). Por ejemplo, para la exponencial se tiene:

Este anlisis, aplicado a la funcin gamma, conduce a la definicin de la funcin beta. Para dos nmeros complejos, con sus partes reales positivas, consideremos el producto

e ,

Para escribir esta integral doble en coordenadas polares, hagamos primero el cambio de variables y

Pasando a coordenadas polares

esta integral doble arroja:

Haciendo

obtenemos:

Definiendo la funcin beta

se obtiene

Propiedades 1. La primera propiedad que satisface la funcin beta, ya se ha mostrado

2. La funcin beta es simtrica

3. Haciendo cambios de variables en la integral que define a la funcin beta

Funcin de Bessel Las funciones de Bessel son soluciones cannicas y(x) de la ecuacin diferencial de Bessel:

donde

es un nmero real o complejo. El caso ms comn es cuando

es un entero

Dado que la ecuacin anterior es una ecuacin diferencial de segundo orden, tiene dos soluciones linealmente independientes. Las funciones de Bessel se denominan tambin funciones cilndricas, o armnicos cilndricos porque son solucin de la ecuacin en coordenadas cilndricas. 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. Es posible definir la funcin por su expansin en serie de Taylor en torno a

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:

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 Como casos particulares, se tienen las dos primeras funciones de Bessel enteras:

Integrales de Bessel 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 definicin dedujo varias propiedades de las mismas. Esta definicin integral puede extenderse a rdenes no enteros aadiendo otro trmino integral:

Tambin se tiene, para

Funciones de Bessel de segunda especie:

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). A estas funciones se denotan por especie tambin se les llama a vecesfunciones de Neumann o de Weber, y a veces . Para ; no enteros, se definen a partir de las funciones de primera

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 solucin 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 .

Solucin general de la ecuacin de Bessel

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:

Donde A y B son dos constantes arbitrarias.

http://books.google.com.ec/books?id=HkW0oBv7JTkC&pg=PA402&dq=funcion+gamma+ecuacion es+diferenciales&hl=gl&sa=X&ei=Q1ZFU9mcForC0AHKtIDYCQ&ved=0CCgQ6AEwAA#v=onepage&q &f=false http://es.wikipedia.org/wiki/Funci%C3%B3n_beta http://pdfz.blogspot.com/2012/10/la-funcion-gamma-pdf-teoria-y-ejemplos.html http://es.wikipedia.org/wiki/Lista_de_funciones_matem%C3%A1ticas#Funciones_especiales

http://es.wikipedia.org/wiki/Funci%C3%B3n_de_Bessel#Funciones_de_Bessel_ordinarias