Professional Documents
Culture Documents
ECUACIONES DIFERENCIALES
GRUPO- 2CM20
ALUMNO-ESTRADA SOUBRAN JUAN MANUEL MEXICO, DISTRITO FEDERAL A 9 DE MAYO DEL 2011
BOLETA: 2010300188
(2) (3) Por lo tanto, (4) y (5) de , 2, .... Puesto que (4) es slo un caso especial de (5), (6) de , 1, ....
Las soluciones linealmente independientes son luego (7) (8) Estos se puede hacer en forma cerrada como (9) (10) donde es una funcin hipergeomtrica confluente de primera especie y Hermite . En particular, para , 2, 4, ..., las soluciones pueden ser escritas es un polinomio de
(11) (12) (13) donde Si es el erfi funcin. , Entonces la ecuacin diferencial de Hermite se convierte en (14) que es de la forma y as tiene solucin
(15)
(16)
( )
( )
( )
Factorizando
)(
)(
cuya solucin general es entonces la combinacin lineal de dos soluciones linealmente independientes
( )
( )
( )
Como caso particular de estas soluciones si = (+1) con = n N una de dichas soluciones es un Polinomio de Legendre de orden n. En este caso la solucin general toma la forma:
( )
( )
( )
x = cos
si ( ) con = n N las soluciones con Polinomios de Legendre de orden n tendrn la solucin general de la forma:
Partiendo de la ED cannica:
A partir de la ED modificada
Reemplazando en:
Queda:
Eligiendo
resultando:
de donde
Para operar con mayor facilidad con la Ecuacin de Recurrencia ms fcilmente se transforma el segundo trmino en producto de monomios
Queda
Para hallar la Primera y Segunda solucin simultneamente se desarrollar la funcin y(x, r):
resulta entonces: C0 = C0 arbitrario y no nulo. C1 = 0 vlido para la primera solucin, y elegido arbitrariamente nulo para la segunda. Adems se arrastra
Entonces:
Estas soluciones y1 e y2 son las funciones de Legendre que generan a la solucin general de la Ecuacin de Legendre como la combinacin lineal:
POLINOMIOS DE LEGENDRE
Las funciones de Legendre para ciertos valores particulares de vson Polinomios. En efecto dichas funciones para valores naturales de vse reducen a Polinomios. La constante C0 se fija de manera tal que dichos Polinomios, llamados de Legendre Pn(x) , tengan valor 1 para x = 1.
OBTENCIN DE LOS POLINOMIOS DE LEGENDRE A PARTIR DE LAS FUNCIONES DE LEGENDRE. PRIMERA EXPRESIN
Una primera forma o expresin de los Polinomios de Legendre se deduce de la siguiente manera: I.- En la primera solucin y1, si v= n es Natural e Impar se obtiene un Polinomio de orden n pues los coeficientes de la serie se anulan a partir de 2p+1 > n
Con la convencin que C0 : Pn(1) = 1 II.- En la segunda solucin y2, si = n es Natural y Par tambin se obtiene un Polinomio de orden pues los coeficientes de la serie se anulan a partir de 2p > n
Al aplicar las conocidas frmulas del coseno de la suma y del coseno de la diferencia, las dos ltimas igualdades quedan modificadas como sigue: Cn+1 ( x ) = cos u cos nu - sen u sen nu y Cn-1 ( x ) = cos u cos nu + sen u sen nu Al sumar miembro a miembro estas dos igualdades, y despejar luego, se obtiene: Cn+1 ( x ) = 2 cos u cos nu - Cn-1 ( x ) y reemplazando segn (4.2) y (4.3): Cn+1 ( x ) = 2 x Cn ( x ) - Cn-1 ( x ) (4.4) A partir de este resultado, es posible determinar, por reiteracin, el polinomio que representa a cada una de las funciones de Chebyshev. A continuacin, a ttulo de ejemplo, desarrollamos las primeras de ellas: Ya vimos que C0 ( x ) = 1 y C1 ( x ) = x Si aplicamos la frmula (4.4), obtendremos, sucesivamente:
etc.
Existencia de la Funcin de Chebyshev para valores de | x | > 1. El rango de existencia de las Funciones de Chebyshev definidas segn la (4.1) es -1 x 1,
puesto que la funcin arcos x no existe para cualquier valor de x de mdulo mayor que 1: Ecuaciones Diferenciales de Orden Superior. 4.5 Parte 4 Polinomios de Chebyshev. |x | > 1, Sin embargo, una simple inspeccin de los polinomios Cn ( x ) muestra que los mismos tienen sentido para cualquier valor no infinito de x . Cabe entonces hacerse la pregunta: Habr alguna expresin similar a cos ( n arcos x ), que permita extender la validez de las funciones de Chebyshev para cualquier valor de x cuyo mdulo sea mayor que 1?. La respuesta es afirmativa. En efecto, la funcin: n ( x ) = ch ( n arch x ) (4.5) tiene, para x < -1 y x > 1, igual significado que cos ( n cos x ) para -1 < x < 1, como veremos a continuacin. Comenzaremos por probar la validez de la expresin siguiente, que nos da el valor del coseno hiperblico de una suma de dos nmeros: ch( + ) = ch ch + sh sh Efectivamente:
A continuacin, llamaremos arch x = v x = ch v Reemplacemos este valor en la (4.5), y obtendremos: n ( x ) = ch ( n arch x ) = ch nv Si n = 0, ch 0 = 1 Vemos tambin que si n = 1, entonces 1 ( x ) = ch v = x Ahora, a partir de la frmula (4.6), reemplazando y por, respectivamente, nv y v, podemos hacer: n+1 ( x ) = ch [( n + 1 ) v ] = ch ( nv + v ) = ch nv . ch v + sh nv . sh v De modo enteramente similar se demuestra la frmula siguiente, simtrica de la anterior:
n -1 ( x ) = ch [( n - 1 ) v ] = ch ( nv - v ) = ch nv . ch v - sh nv . sh v El resultado de sumar miembro a miembro las dos ltimas igualdades es: n+1 ( x ) + n - 1 ( x ) = 2 ch v . ch nv = 2 x n ( x ) Despejando n+1 ( x ), resulta n+1 ( x ) = 2 x n ( x ) - n - 1 ( x ) De aqu se llega a la frmula de recurrencia siguiente, que, como en el caso anterior, nos permitir obtener todos los coeficientes, a partir del conocimiento de dos consecutivos: n( x ) = 2 x n-1( x ) - n-2( x ) Para terminar, debemos decir que, como no existe el arco coseno hiperblico de ningn nmero comprendido entre -1 y 1, tampoco existe la funcin n ( x ) en dicho rango.
BIBLIOGRAFIA: HERMITE
Weisstein, Eric W. "La ecuacin diferencial de Hermite." Desde MathWorld - Wolfram Web de recursos. Un http://mathworld.wolfram.com/HermiteDifferentialEquation.html
LEGENDRE
NOTAS PARA LOS ALUMNOS DEL CURSO DE ECUACIONES DIFERENCIALES
http://materias.fi.uba.ar/6118/Material/Leg00.pdf CHEBYSHEV Ecuaciones Diferenciales de Orden Superior Parte IV Polinomios de Chebyshev Ing. Ramn Abascal http://www.edutecne.utn.edu.ar/eulerianas/eulerianas.html