serie de potencias

Vista previa del material en texto

TEMA 11:
SOLUCIONES MEDIANTE SERIES DE POTENCIAS
Se ha visto en temas anteriores cómo resolver algunas ecuaciones lineales de 2º orden: las de coeficientes constantes y algunas de coeficientes variables, como las de Euler o aquellas de las que se conoce una solución particular de la correspondiente homogénea.
Pero, en general, no se ha visto cómo resolver las ecuaciones lineales con coeficientes variables, algunas de las cuales aparecen ligadas a importantes problemas de la Física, como las ecuaciones de Legendre, Hermite, Airy, Bessel, etc. que son de coeficientes polinómicos.
Además, las ecuaciones hasta ahora vistas, generalmente tienen soluciones expresables en términos de un nº finito de funciones elementales (polinomios, exponenciales, trigonométricas, etc., o inversas de éstas). Otras veces, aún sabiendo resolver la ecuación, había que expresar la solución por medio de una integral. Pero en general, las soluciones no pueden expresarse tan fácilmente.
Es necesario por tanto, buscar otros modos de expresar las soluciones de ecuaciones lineales de 2º orden, que propicien a su vez nuevos métodos de resolución de las mismas.
En este tema se estudiará un método de resolución basado en la representación de soluciones mediante series de potencias. Y en los dos siguientes, mediante series de Frobenius.
SOLUCIÓN MEDIANTE SERIES DE POTENCIAS EN EL ENTORNO DE UN PUNTO ORDINARIO
Se va a considerar el caso de la ecuación diferencial lineal homogénea de 2º orden :
			
			(1(
ó en forma canónica :
			
				(1´(
Definiciones.
Un punto x0 se llama punto ordinario de (1( o (1´( si las funciones 
� y 
� son analíticas en x0 (es decir, si p(x) y q(x) tienen desarrollos en serie de Taylor en torno a x0 con radios respectivos de convergencia R1 y R2 no nulos)
Si P(x), Q(x), R(x) son polinomios, entonces x0 es punto ordinario de (1( si y sólo si P(x0) ( 0 ( siendo (1( no simplificable ).
Si x0 no es punto ordinario, se llama punto singular de la ecuación (1( ó (1´(.
______________
Según el estudio de las ecuaciones diferenciales lineales homogéneas, la simple continuidad de p(x) y q(x) en un entorno I de un x0, es suficiente para garantizar la existencia de dos soluciones linealmente independientes de la ecuación (1´( en dicho entorno, así como para garantizar la existencia y unicidad de solución del problema de valor inicial definido por (1´( y las condiciones: y(x0) = y0 , y´(x0) = b0 con x0 ( I 
Pero si además es x0 un punto ordinario de (1( ó (1´(, las p(x) y q(x) no sólo son continuas en I , sino analíticas. Y cabe preguntarse entonces si las soluciones de tal ecuación heredarán dicha propiedad. Por tanto, si x0 es un punto ordinario de (1( , surgen las preguntas siguientes:
¿Existen soluciones analíticas de (1( en un entorno de x0 , es decir, soluciones de la forma : 
		
 (2( 
En caso afirmativo :
¿Cómo se obtienen los coeficientes an?
¿Dónde converge la serie (2( ?
Es importante poder responder a estas preguntas, pues sería absurdo intentar buscar soluciones de la forma (2(, si no existen. Si existen en I, pueden además derivarse término a término en I.
Las respuestas a estas preguntas las da el siguiente teorema, que será enunciado, pero no demostrado.
Teorema:
Si x0 es un punto ordinario de (1( ( ó (1’( ) entonces la solución general de (1( en un cierto entorno de x0 puede escribirse en la forma (2( y a su vez :
			
	siendo a0 , a1 ctes arbitrarias e y1(x), y2(x) analíticas en un entorno I de x0, y 	linealmente independientes en I.
El radio de convergencia de las series y1(x) e y2(x) es al menos tan grande como el mínimo de los radios de convergencia de los desarrollos en serie de p(x) y q(x) en torno a x0 (es decir, al menos igual a la distancia de x0 al punto singular más próximo de la ecuación (1(, sea dicho punto real o complejo)
Los coeficientes an de la serie (2( se obtienen en términos de a0 y a1 , sustituyendo la serie genérica 
 en (1(, (así como los desarrollos de p(x) y q(x) si P(x), Q(x), R(x) no son polinomios) y procediendo por coeficientes indeterminados.
Observaciones:
a) La serie solución puede converger con radio mayor que el indicado en el teorema.
b) Si el punto ordinario es x0 ( 0, pueden simplificarse las notaciones trasladando x0 al origen, mediante el cambio x - x0 = t.
c) Según el teorema de existencia y unicidad, cada solución está determinada de manera única por los valores y(x0) e y’(x0), es decir por a0 y a1 . Por eso, todos los coeficientes se obtienen en términos de a0 y a1.
d) El método para resolver una ecuación completa : 
�, siendo x0 punto ordinario y h(x) analítica en x0, es análogo. En este caso, también hay que desarrollar h(x) en serie de potencias en torno a x0 , antes de proceder por coeficientes indeterminados. También podría resolverse en primer lugar la ecuación homogénea y actuar luego por variación de constantes, o por reducción de orden.
e) Es claro que podría usarse un método semejante para ecuaciones diferenciales lineales, de primer orden.
EJEMPLOS
Ejemplo 1
Hallar la solución general de la ecuación diferencial 
, determinando dos soluciones linealmente independientes en serie de potencias de x . Campo de validez de las mismas. En particular obtener la solución tal que y(0) = 1 y´(0) = 0.
_____________
Es 
� . Ambas analíticas en x0 = 0, con radios de convergencia de sus respectivos desarrollos 
� , es decir x0 = 0 es punto ordinario..
Luego, según el teorema anterior, existe solución de la ecuación en serie de potencias de x, válida para todo x ( R .
Sea 
�. Por tanto : 
� , 
�
En la ecuación diferencial :
		
�- 
�- 
�( 0 en (
Término independiente : 	
�			
�
Coeficiente de x :	 	
�			
�
............................		.................................			 .................
Coeficiente de xn :		
�	
�
Ley de recurrencia :		
�
Luego a0 y a1 son libres y 	
�
Por tanto :
	
�
Solución particular: 	
�
Luego		
�	
� 
Ejemplo 2
Hallar, por el método de series de potencias en torno a x0 = 0, la solución general de la ecuación diferencial: 
_____________
Es 	
�	Ambas analíticas en x0 = 0 con R1 = R2 = 1
Luego existe solución analítica en x0 = 0, válida al menos para 
�.
Sustituyendo 
� en la ecuación diferencial:
�+ 
�+2
�- 2
�( 0
Término independiente : 	
�			
�
Coeficiente de x :	 	
�			
�
............................		.................................			 .................
Coeficiente de xn :		
�
Luego a0 y a1 libres, a2 = a0 , a3 = 0,
��� INCRUSTAR Equation.2 	n ( 2
Como a3 = 0 ( a5 = a7 = ... = a2n+1 = ... = 0
� = 
��� INCRUSTAR Equation.2 
Por tanto :
	y = 
�
En este caso puede sumarse la serie :
	y = 
�	 
Nota
En los dos primeros ejemplos, la relación de recurrencia ha consistido únicamente en dos términos y además podía deducirse fácilmente de ella, la forma general de an . Pero, pueden aparecer relaciones con dos o más términos (Con 3 en el Ejemplo 3), que sean más complicadas, tales que no pueda determinarse la forma general de los coeficientes an. Entonces sólo podrán obtenerse algunos términos.
Ejemplo 3
Hallar por el método de series de potencias en torno a x0 = 1 los términos hasta la potencia de grado 4, correspondientes a la solución general de la ecuación diferencial: 
Se efectúa el cambio de variable : x - 1 = t ó x = t + 1.
Entonces 
		
� ,	t0 = 0
�	Ambas analíticas en t = 0 con R1 = R2 = (
Luego existe solución analítica en t = 0, válida para todo t.
Sustituyendo 
� en la ecuación diferencial :
		
�+ 
�+ 
�+ 
� ( 0
Término independiente : 	
�		
�
Coeficiente de t :	 	
�	
�
............................		...........................................................
Coeficiente de tn :		
�
	
�
Luego :	
� ; 
�
		
�
	
Ejemplo 4
Hallar, por el método de series, la solución del problema de valor inicial:
		y’’ – 2xy’ + 8y = 0 ;		y(0) = 3 , 	y’(0) = 0.
Son p(x) = -2x y q(x) = 8 , ambas analíticas en xo = 0 , con R1 = R2 = (
Por tanto, existe solución y = y(x), analítica en xo = 0, válida para todo x.
Sustituyendo 
� en la ecuación diferencial:
� - 2 
� + 8 
�( 0
Término independiente : 	
			
Coeficiente de x :	 	
			
............................		.................................			 .................
Coeficiente de xn :		
Luego : 
�� INCRUSTAR Equation.2 .	De donde: 
 n ( 2
Se pide la solución tal que : y(0) = 3 e y’(0) = 0 , es decir, tal que ao = 3 y a1 = 0.
Luego:
	Por tanto:	y = 3 – 12 x2 + 4 x4	
Ejemplo 5: Ecuación y polinomios de Legendre	(1752-1833)
La ecuación de Legendre de parámetro m ( 0 es :
			
		(3(
Se trata de hallar soluciones en serie de potencias de x, es decir en torno a x0= 0.
Es	
	Ambas analíticas en x0 = 0 con radio de convergencia de los respectivos desarrollos : R1 = R2 = 1
Luego x0 = 0 es punto ordinario, existiendo solución en serie de potencias de x, válida, al menos para 
�.
Sea 
. Sustituyendo en la ecuación :
- 
-2
+
( 0
Habrán de ser nulos los coeficientes de todas las potencias de x.
x0 : 	
	 
x1 :	
 
.....	............................................................................................
xn :		
	
		
Luego :
	
�
Es decir :	
Si m = 0, 1, 2, ... una de las dos series es un polinomio de grado m. Dichos polinomios pn(x) son respectivamente : 
	p0 = 1		p1(x) = x		p2(x) = 1 - 3 x2		p3(x) = x - 
x3	......
Se llama polinomio de Legendre de orden m y se designa con Pm(x), a la solución polinómica de la ecuación de Legendre de parámetro m ( o sea, el múltiplo de pn(x), tal que Pm(1) = 1. 
Será:
	P0(x) = 1	P1(x) = x		
	
	.........
Algunas propiedades :	(Sin demostraciones)
Los polinomios de Legendre pueden darse mediante la fórmula de Rodrigues :
		
O mediante una función generadora, debida a Legendre :
		
También mediante fórmulas de recurrencia :
		
Cumplen la relación de ortogonalidad :
		
			(4(
La ecuación de Legendre aparece en varios problemas de la Física dotados de simetría esférica.
Ejemplo 6: Ecuación y polinomios de Hermite (1822 -1901)
La ecuación de Hermite es :
				
			(5(
Aparece esta ecuación, por ejemplo en la mecánica cuántica, a partir de la ecuación de Schrödinger para un oscilador armónico.
Se trata ahora de obtener su solución por el método de series, en torno a x0= 0.
El x0 = 0 es un punto ordinario de la ecuación (5(, pues p(x) = -2x y q(x) = 2( son analíticas en x = 0. Además los radios de convergencia de los respectivos desarrollos, son ambos infinitos. Luego existe solución de (5( , de la forma 
, válida para todo x real.
Sustituyendo en la (5( :
		
Luego :
	Coeficiente de 1 :		
		
	--------------------------------------------------------------------------------------
	Coeficiente de xn-2 :		n(n-1)an-2(n-2)an-2+2(an= 0
Relación de recurrencia :	
		n( 2
Luego :
	Para ( = 0,1,2, ... una de las dos series es un polinomio. Dichos polinomios hn(x), para ( = n = 0,1,2,... son respectivamente : 
Se llama polinomio de Hermite de grado n , y se designa Hn(x), a la solución polinómica de la ecuación de Hermite de parámetro ( = n ( o sea el múltiplo de hn(x)), cuyo coeficiente de xn es 2n. Será por tanto : 
Algunas propiedades: (sin demostración)
Los polinomios de Hermite pueden darse mediante la fórmula de Rodrigues :
			
También por medio de la función generadora :
			
O mediante las fórmulas de recurrencia :
			
Cumplen la relación de ortogonalidad:
			
�PÁGINA �
�PÁGINA �1�
_878641060.unknown
_944996369.unknown
_945073264.unknown
_945073738.unknown
_945074199.unknown
_945074355.unknown
_945074484.unknown
_945074639.unknown
_945074915.unknown
_945074562.unknown
_945074638.unknown
_945074426.unknown
_945074246.unknown
_945074276.unknown
_945074213.unknown
_945074139.unknown
_945074152.unknown
_945074049.unknown
_945073510.unknown
_945073685.unknown
_945073715.unknown
_945073613.unknown
_945073379.unknown
_945073502.unknown
_945073312.unknown
_945072973.unknown
_945073055.unknown
_945073097.unknown
_945073210.unknown
_945073084.unknown
_945073026.unknown
_945073046.unknown
_945072999.unknown
_945072936.unknown
_945072957.unknown
_945072965.unknown
_945072947.unknown
_945072575.unknown
_945072895.unknown
_945072153.unknown
_943806471.unknown
_944993237.unknown
_944995892.unknown
_944996146.unknown
_944996200.unknown
_944995962.unknown
_944993556.unknown
_944995756.unknown
_944995854.unknown
_944995617.unknown
_944993315.unknown
_944992153.unknown
_944992553.unknown
_944993151.unknown
_944992456.unknown
_943806996.unknown
_943807214.unknown
_943806634.unknown
_878641989.unknown
_878642513.unknown
_878643302.unknown
_878643463.unknown
_878643631.unknown
_878668899.unknown
_878668918.unknown
_878643747.unknown
_878643607.unknown
_878643352.unknown
_878642517.unknown
_878642790.unknown
_878642514.unknown
_878642510.unknown
_878642512.unknown
_878642507.unknown
_878642509.unknown
_878642506.unknown
_878642502.unknown
_878641618.unknown
_878641774.unknown
_878641856.unknown
_878641646.unknown
_878641262.unknown
_878641427.unknown
_878641062.unknown
_878579938.unknown
_878640043.unknown
_878640977.unknown
_878641058.unknown
_878641059.unknown
_878641056.unknown
_878640935.unknown
_878640937.unknown
_878640865.unknown
_878640934.unknown
_878640809.unknown
_878580227.unknown
_878580598.unknown
_878580648.unknown
_878580512.unknown
_878580070.unknown
_878580133.unknown
_878580014.unknown
_878579448.unknown
_878579723.unknown
_878579836.unknown
_878579871.unknown
_878579777.unknown
_878579585.unknown
_878579624.unknown
_878579534.unknown
_878578949.unknown
_878579340.unknown
_878579394.unknown
_878579091.unknown
_878566282.unknown
_878578518.unknown
_878566252.unknown