Professional Documents
Culture Documents
CAPÍTULO 5
5.1. INTRODUCCIÓN.
[a ( x) D
n
n
]
+ an −1 ( x) D n −1 + ... + a2 ( x) D 2 + a1 ( x) D + a0 ( x) y ( x) = f ( x)
[a x D
n
n n
]
+ an −1 x n −1D n −1 + ... + a2 x 2 D 2 + a1 xD + a0 y ( x) = f ( x)
λ (λ − 1) + pλ + q = 0
1. Las raíces son reales y distintas. En este caso, el conjunto fundamental de soluciones
de la homogénea es:
{
{y1 , y2 } = x λ1 , x λ2 }
2. Las raíces son reales e iguales λ1 = λ2 = α . En este caso, el conjunto fundamental de
soluciones de la homogénea es:
{y1 , y2 } = {xα , xα ln x }
Ejemplo 5.1.
Solución.
Primero que todo se escribe la ecuación característica, así:
2λ (λ − 1) − λ + 1 = 0
(2λ − 1)(λ − 1) = 0
{y1, y2 } = {x, x }
262
Para determinar la solución particular se escribe la ecuación diferencial dada en su
forma normalizada, así:
1 1
y ' ' ( x) − y ' ( x) + 2 y ( x) = 2 x
2x 2x
y p = y1u1 + y2u2
x x u ' 0
1 1 =
1 u ' 2x
2 x 2
x
−
u1 ' = −2 x x ⇒ u1 ' = 4 x ⇒ u1 = 2 x 2
2
3
x 4
− u2 ' = 2 x ⇒ u2 ' = −4 x 2 ⇒ u2 = − x 2 x
2
2 5
Resolviendo las operaciones se encuentra que la solución particular es:
6 3
yp = x
5
6 3
y ( x) = C1 x + C2 x + x
5
x 3 y ' ' ' ( x) + px 2 y ' ' ( x) + qxy ' ( x) + sy ( x) = x 3r ( x) p, q, s : cons tan tes
λ (λ − 1)(λ − 2) + pλ (λ − 1) + qλ + s = 0
{y1, y2 , y3 } = {x λ , x λ
1 2
, x λ3 }
2. Las tres raíces son reales, pero dos de ellas son iguales: λ1 , λ2 = λ3 = α
En este caso, un conjunto fundamental de soluciones de la homogénea es:
{y1, y2 , y3 } = {x λ , xα , xα
1 3
ln x }
3. Las tres raíces son reales e iguales: λ1 = λ2 = λ3 = α
En este caso, un conjunto fundamental de soluciones de la homogénea es:
{y1 , y2 , y3 } = {xα , xα ln x , xα 3
ln 2 x }
4. Dos raíces son complejas conjugadas y la otra es real: λ1 , λ2 = α + jω , λ3 = α − jω
En este caso, un conjunto fundamental de soluciones de la homogénea es:
Ejemplo 5.2.
Solución.
Primero que todo se escribe la ecuación característica, así:
λ (λ − 1)(λ − 2) − 2λ + 4 = 0
(λ + 1)(λ − 2) 2 = 0
{y1, y2 , y3 } = {x −1, x 2 , x 2 ln x }
x −1 x2 x 2 ln( x) u1 ' 0
−2
− x 2 x 2 x ln( x) + x u2 ' = 0
2 x −3 2 2 ln( x) + 3 u3 ' x −1
x2 x3
9u1 ' = x 2 ⇒ u1 ' = ⇒ u1 =
9 27
1 1 1 1
9u2 ' = −3x −1 ln( x) − x −1 ⇒ u2 ' = − x −1 ln( x) − x −1 ⇒ u2 = − ln 2 ( x) − ln( x)
3 9 6 9
1 1
9u3 ' = 3x −1 ⇒ u3 ' = x −1 ⇒ u3 = ln( x)
3 3
x3 1 1 1 1 1 2 1 2
y p = x −1 + x 2 − ln 2 ( x) − ln( x) + x 2 ln( x) ln( x) ⇒ y p = x 2 ln 2 ( x) + x − x ln( x)
27 6 9 3 6 27 9
Por tanto, dado que los dos últimos términos de la particular hallada son linealmente
dependientes con la complementaria, la solución general de la ecuación diferencial es:
1 2 2
y ( x) = C1 x −1 + C2 x 2 + C3 x 2 ln( x) + x ln ( x)
6
Ejemplo 5.3.
Solución.
1. La ecuación característica es:
λ (λ − 1) + λ − 1 = 0 ⇒ λ2 − 1 = 0 ⇒ (λ − 1)(λ + 1) = 0
λ (λ − 1) + λ + 1 = 0 ⇒ λ2 + 1 = 0 ⇒ λ1 , λ2 = ± j1
λ (λ − 1) − λ + 1 = 0 ⇒ λ2 − 2λ + 1 = 0 ⇒ (λ − 1)(λ − 1) = 0
{y1, y2 } = {x, x ln x }
λ (λ − 1) + 3λ + 2 = 0 ⇒ λ2 + 2λ + 2 = 0 ⇒ λ1 , λ2 = −1 ± j1
Simplificando, se tiene:
λ3 − 8 = 0 ⇒ (λ − 2)(λ2 + 2λ + 4) = 0 ⇒ λ1 = 2 λ2 , λ3 = −1 ± j 3
z = ax + b
dy dz
y ' ( x) = ⇒ y ' ( x) = ay ' ( z )
dz dx
dy ' dz
y ' ' ( x) = ⇒ y ' ' ( x) = a 2 y ' ' ( z )
dz dx
z −b
a 2 z 2 y ' ' ( z ) + cazy ' ( z ) + dy ( z ) = f
a
Ejemplo 5.4.
Solución.
Al efectuar el cambio de variable resulta la ecuación diferencial:
z +1
4 z 2 y ' ' ( z ) + 4 zy ' ( z ) − 4 y ( z ) = z + 1 ⇒ z 2 y ' ' ( z ) + zy ' ( z ) − y ( z ) =
4
λ (λ − 1) + λ − 1 = 0 ⇒ λ2 − 1 = 0 ⇒ (λ − 1)(λ + 1) = 0
{ y1 , y2 } = {z , z −1}
z z −1 u1 ' 0
−2 = z + 1
1 − z u2 ' 4 z 2
EJERCICIOS 5.2.
Encuentre la solución general para cada una de las siguientes ecuaciones diferenciales
Consideremos una función de variable real: y = f (x) tal que la función y todas sus
derivadas son continuas en un intervalo I ⊆ R y sea x0 ∈ I . Una serie infinita de
potencias, conocida también como serie de Taylor, centrada en el punto, es una
expresión de la forma:
268
∞ N ∞
s ( x) = ∑ ck ( x − x0 ) k = ∑ ck ( x − x0 ) k + ∑ c (x − x )
k 0
k
k =0 k =0 k = N +1
s ( x) = c0 + c1 ( x − x0 ) + c2 ( x − x0 ) 2 + ... + cN ( x − x0 ) N + cN +1 ( x − x0 ) N +1 + ...
Concepto de convergencia.
Se dice que una serie de potencias: s (x) converge a una función: f (x) en un entorno
del punto: x0 sí se verifica que f ( x) ≡ s( x) . El intervalo de convergencia de la serie
viene dado por:
I = {x ∈ R / x − x0 < ρ}
∞
f ( x) = c0 + c1 ( x − x0 ) + c2 ( x − x0 ) 2 + ... + cN ( x − x0 ) N + ∑c (x − x )
k = N +1
k 0
k
f ( x) = c0 + c1 ( x − x0 ) + c2 ( x − x0 ) 2 + c3 ( x − x0 )3 + c4 ( x − x0 ) 4 + c5 ( x − x0 )5 + ...
Df ( x) = c1 + 2c2 ( x − x0 ) + 3c3 ( x − x0 ) 2 + 4c4 ( x − x0 )3 + 5c5 ( x − x0 ) 4 + ...
D 2 f ( x) = 2c2 + 6c3 ( x − x0 ) + 12c4 ( x − x0 ) 2 + 20c5 ( x − x0 )3 + ...
D 3 f ( x) = 6c3 + 24c4 ( x − x0 ) + 60c5 ( x − x0 ) 2 + ...
D 4 f ( x) = 24c4 + 120c5 ( x − x0 ) + ...
269
Evaluando en el punto x = x0 , resulta:
D 2 f ( x0 ) D 3 f ( x0 ) D n f ( x0 )
c0 = f ( x0 ) c1 = Df ( x0 ) c2 = c3 = .... cn =
2! 3! n!
Criterio de la razón.
Lim cn +1 ( x − x0 ) n +1
<1
n → ∞ cn ( x − x0 ) n
Series de Maclaurin.
1. Función exponencial.
∞
xk x 2 x3 x 4 x5
ex = ∑ = 1+ x + + + + + ....; I = R
k = 0 k! 2! 3! 4! 5!
2. Función seno.
∞
(−1) k x 2 k +1 x3 x5 x 7
sen( x) = ∑ = x − + − + ....; I = R
k = 0 (2k + 1)! 3! 5! 7!
3. Función coseno.
∞
(−1) k x 2 k x 2 x4 x6
cos( x) = ∑ = 1− + − + ....; I = R
k =0 (2k )! 2! 4! 6!
1
4. Función:
1− x
∞
1
= ∑ x k = 1 + x + x 2 + x 3 + x 4 + x 5 + ....; I = {x ∈ R / x < 1}
1 − x k =0
5. Función: ln(1 − x)
∞
x k +1 x 2 x3 x 4 x5
ln(1 − x) = ∑ = x+ + + + + ....; I = {x ∈ R / x < 1}
k =0 k + 1 2 3 4 5
270
Es posible determinar la serie de Maclaurin de cualquier función mediante el cálculo
directo de los coeficientes o haciendo uso de la s series de funciones conocidas.
Ejemplo 5.5.
Solución.
La función dada se puede escribir en la forma:
∞
(−2 x / 3) k +1 2x 4x2 8 x 3 16 x 4 32 x 5
ln(2 x + 3) = ln(3) + ∑ =− + − + + ....
k =0 k +1 3 2 ⋅ 32 3 ⋅ 33 4 ⋅ 34 5 ⋅ 35
2x
I = x ∈ R / < 1 = {x ∈ R / x < 3 / 2}
3
Se desea encontrar la serie de Maclaurin del producto de dos funciones conocidas las
series individuales, así:
∞ ∞
f ( x) = ∑ a n x n g ( x) = ∑ bm x m
n =0 m =0
∞ ∞ ∞ ∞ ∞
f ( x) g ( x) = ∑ a 0 bm x m + ∑ a1bm x m +1 + ∑ a 2 bm x m + 2 + ∑ a3bm x m +3 + ... + ∑ a n bm x m + n
m =0 m =0 m =0 m =0 m =0
∞
f ( x) g ( x) = c0 + c1 x + c2 x 2 + c3 x 3 + .... = ∑ ci x i
i =0
Dónde:
271
c0 = a0b0
c1 = a0b1 + a1b0
c2 = a0b2 + a1b1 + a2b0
.
.
i
ci = ∑ a j bi − j
j =0
Ejemplo 5.6.
Solución.
Partimos de las series de cada uno de los factores, así:
∞
(− x) k x 2 x3 x 4 x5
e− x = ∑ = 1− x + − + − + ....; I = R
k =0 k! 2! 3! 4! 5!
∞
(−1) k (2 x) 2 k +1 (2 x)3 (2 x)5 (2 x)7
sen(2 x) = ∑ = 2x − + − + ....; I = R
k =0 (2k + 1)! 3! 5! 7!
1 19 5
e − x sen(2 x) = 2 x − 2 x 2 − x 3 + x 4 − x + .... I = R
3 60
Ejemplo 5.7.
Solución.
Puesto que la tangente es el cociente entre la función seno y la función coseno, se
concluye que el intervalo de convergencia de la serie de Maclaurin es:
272
I = {x ∈ R / x < π / 2}
x3 x5 x7
x− + − + ...
El cociente indicado es: tan( x) = 3! 5! 7!
x2 x4 x6
1− + − + ...
2! 4! 6!
1 2 17 7
Efectuando la división, resulta: tan( x) = x + x 3 + x 5 + x + ....
3 15 315
Ejemplo 5.8.
Solución.
Nos ayudamos con el paquete Mathcad, obteniendo la gráfica de la figura 5.1
Figura 5.1.
La línea sólida corresponde a la función tangente, mientras que la otra corresponde al
polinomio de aproximación. Puede verse que la convergencia es perfecta en el intervalo:
[-1,1].
EJERCICIOS 5.3.
Escriba La serie de Maclaurin para cada una de las siguientes funciones, indicando el
intervalo de convergencia:
sen( x)
1. f ( x) = 2. f ( x) = senh( x)
1+ x
cos(2 x) 1+ x
3. f ( x) = 4. f ( x) = ln
(1 + x )2 1− x
5. f ( x) = x cot( x) 6. f ( x) = tan −1 ( x)
273
cosh( x) ln(3x + 5)
7. f ( x) = 8. f ( x) =
1 − x2 1 − x2
1
9. f ( x) = x +1 10. f ( x) =
x +1
y ( x) = C1 y1 + C2 y2 + y p
1. Función analítica.
Se dice f (x) es una función analítica o función regular en un entorno del punto: x0 sí
admite un desarrollo en series de potencias en dicho entorno. Una condición necesaria
para que la función sea analítica es que el siguiente límite exista:
lim { f ( x)}
x → x0
lim { f ( x)} = 1
x → x0
274
2. Punto ordinario.
Se dice que x0 es un punto ordinario de la ecuación diferencial homogénea sí las
funciones: p(x) y q(x) son analíticas en un entorno de dicho punto.
3. Punto singular.
Se dice que x0 es un punto singular de la ecuación diferencial homogénea sí una de las
funciones: p(x) o q(x) no es analítica en un entorno de dicho punto.
En general los puntos singulares o singularidades de la ecuación diferencial son
números complejos y se representan mediante cruces en dicho plano.
Ejemplo 5.9.
Determine las singularidades de las siguientes ecuaciones diferenciales:
( )
1. x − x 3 y ' '+ sen( x) y '+ xy = 0
( )
2. 8 + x 3 y ' '+ xy'+2 y = 0
( )
3. x 2 + 2 x + 10 y ' '+ xy '+2 y = 0
Solución.
1. A partir de la ecuación se tiene que:
sen( x) 1
p ( x) = q( x) =
x(1 + x)(1 − x) (1 + x)(1 − x)
x 2
p ( x) = q( x) =
( x + 2)( x − 2 x + 4)
2
( x + 2)( x − 2 x + 4)
2
x = 1± j 3
y ''( x) + p( x) y '( x) + q( x) y ( x) = 0
y ( x) = c0 + c1 ( x − x0 ) + c2 ( x − x0 ) 2 + ... + cN ( x − x0 ) N + cN +1 ( x − x0 ) N +1 + ...
− q( x0 )c0 − p( x0 )c1
c2 =
2!
− q ( x0 )c0 − p ( x0 )c1
y ( x) = c0 + c1 ( x − x0 ) + ( x − x0 ) +
2
2!
[− q ' ( x0 ) + p ( x0 )q ( x0 )]c0 + [−q ( x0 ) − p ( x0 ) + p 2 ( x0 )]c1
( x − x0 )3 + ....
3!
La expresión anterior se puede expresar en la forma: y ( x) = c0 y1 ( x) + c1 y2 ( x )
Dónde:
− q ( x0 ) − q ' ( x0 ) + p ( x0 )q ( x0 )
( x − x0 ) + ( x − x0 ) + ....
2 3
y1 ( x) = c0 +
2! 3!
− p ( x0 ) − q ( x0 ) − p ( x0 ) + p 2 ( x0 )
y2 ( x) = c1 ( x − x0 ) + ( x − x0 ) + ( x − x0 )3 + ..
2
2! 3!
276
Para que las dos funciones descritas conformen un conjunto fundamental de soluciones
de la homogénea se requiere que el Wronskiano sea diferente de cero en cada punto del
intervalo de convergencia.
Recordando la fórmula de Abel, se tiene:
W ( x) = ke ∫
− p ( x ) dx
Ejemplo 5.10.
y ' ' ( x) − xy ( x) = 0
Solución.
De acuerdo con lo planteado previamente, x0 = 0 es un punto ordinario de la ecuación
diferencial y dado que no hay singularidades, la ecuación admite dos soluciones de la
forma de Maclaurin en el dominio de los reales, así:
y ( x) = c0 + c1 x + c2 x 2 + c3 x 3 + c4 x 4 ... + cN ( x − x0 ) N + cN +1 ( x − x0 ) N +1 + ...
Tal como acabamos de ver, c0 ,c1 son constantes arbitrarias. Por otro lado, se tiene:
1 2 4 10
y ( x) = c0 + c1 x + c0 x 3 + c1 x 4 + c0 x 6 + c1 x 7 + ......
3! 4! 6! 7!
Ejemplo 5.11.
(x 2
)
+ 4 y ' ' ( x) + y ( x) = x
Solución.
Las singularidades de la ecuación diferencial son: x = ± j 2
En consecuencia, el intervalo de convergencia de la solución es:
I = {x ∈ R / x < 2}
x − y ( x) − y ( 0) c c
D 2 y ( x) = ⇒ D 2 y ( 0) = = − 0 ⇒ c2 = − 0
x +4
2
4 4 4 ⋅ 2!
D 3 y ( x) =
2
( 2
)
4 − x − x + 4 y ' ( x) − 2 xy ( x)
⇒ D 3 y ( 0) =
4 − 4c1
⇒ c3 =
1 − c1
( x + 4)
2 2
16 4 ⋅ 3!
− 4 xD y ( x) − 3D 2 y ( x) − 3D 2 y (0) 3c0 3c
D y ( x) =
4
⇒ D y (0) =
4
= 2 ⇒ c4 = 2 0
x +4
2
4 4 2! 4 ⋅ 2!⋅4!
− 6 xD y ( x) − 7 D y ( x)
4 3
− 7 D y (0)
3
7(c − 1)
D 5 y ( x) = ⇒ D 5 y (0) = ⇒ c5 = 2 1
( x + 4)
2
4 4 ⋅ 3!⋅5!
y ( x) = c0 y1 ( x) + c1 y2 ( x) + y p ( x)
Solución.
De acuerdo con lo planteado previamente, x0 = 2 es un punto ordinario de la ecuación
diferencial, mientras que: x0 = 0 es un punto singular de la misma.
Por tanto, la ecuación admite dos soluciones de la forma de Taylor en el intervalo:
I = {x ∈ R / x − 2 < 2}
y ( x) = c0 + c1 ( x − 2) + c2 ( x − 2) + c3 ( x − 2) + .. + cN ( x − 2) N + cN +1 ( x − 2) N +1 + ...
2 3
c0 + c1 2 c c c
y ( z ) = c0 + c1 z + z + 1 z3 + 1 z4 + 0 z5
2 ⋅ 2! 2 ⋅ 3! 4 ⋅ 4! 4 ⋅ 5!
z 2
z 5
z 2
z3 z4
y ( z ) = c0 1 + + + ... + c1 z + + + + ...
2 ⋅ 2! 4 ⋅ 5! 2 ⋅ 2! 2 ⋅ 3! 4 ⋅ 4!
( x − 2) 2 ( x − 2) 5 ( x − 2) 2 ( x − 2) 3 ( x − 2) 4
y ( x) = c0 1 + + + ... + c1 x − 2 + + + + ...
2 ⋅ 2! 4 ⋅ 5! 2 ⋅ 2! 2 ⋅ 3! 4 ⋅ 4!
279
Método de los coeficientes indeterminados.
De acuerdo con lo estudiado hasta el momento, es claro que puede resultar muy
engorroso el cálculo de los coeficientes de la serie por el método de la derivación
sucesiva de la ecuación diferencial. El método de los coeficientes indeterminados nos
permite obviar ese inconveniente, veamos:
Dada la ecuación diferencial:
∞
y ( x) = ∑ ck x k
k =0
∞ ∞
y ' ( x) = ∑ kck x k −1 y ' ' ( x) = ∑ k (k − 1)ck x k − 2
k =0 k =0
∞ ∞ ∞
a2 ( x)∑ k (k − 1)ck x k − 2 + a1 ( x)∑ kck x k −1 + a0 ( x)∑ ck x k ≡ f ( x)
k =0 k =0 k =0
Ejemplo 5.13.
Resuelva la ecuación diferencial del ejemplo 5.10 por el método de los coeficientes
indeterminados.
Solución.
La ecuación diferencial a resolver es y ' ' ( x) − xy ( x) = 0 . Al sustituir las series
correspondientes a la función y su segunda derivada, resulta la identidad:
∞ ∞
∑ k (k − 1)c x
k =0
k
k −2
− ∑ ck x k +1 ≡ 0
k =0
∑ (n + 2)(n + 1)c
n = −2
n+2 x n − ∑ cn −1 x n ≡ 0
n =1
∞
0 ⋅ c 0 x − 2 + 0 ⋅ c1 x −1 + 2c 2 x 0 + ∑ [(n + 1)(n + 2)c n + 2 − c n −1 ]x n ≡ 0
n =1
A partir de la identidad se concluye que todos los coeficientes deben ser iguales a cero,
esto es:
c0 c1 c2 c c c4 c
c3 = c4 = c5 = = 0 c6 = 3 = 0 c7 = = 1
6 12 20 30 180 42 504
c0 3 c1 4 c0 6 c1 7
y ( x) = c0 + c1 x + x + x + x + x + ....
6 12 180 504
1 1 6 1 1 7
y ( x) = c0 1 + x 3 + x + ... + c1 x + x 4 + x + ....
6 180 12 504
Ejemplo 5.14.
Solución.
Al aplicar el método, resulta:
∞ ∞
x3 x5 x7
∑ k (k − 1)ck x k − 2 + ∑ ck x k +1 ≡ x −
k =0 k =0
+ − + ....
3! 5! 7!
∞ ∞
x3 x5 x7
∑ (n + 2)(n + 1)cn + 2 x n + ∑ cn −1x n ≡ x −
n = −2 n =1
+ − + ....
3! 5! 7!
∞
x3 x5 x7
0 ⋅ c0 x −2
+ 0 ⋅ c1 x + 2c2 x + ∑ [(n + 1)(n + 2)cn + 2 + cn −1 ]x ≡ x − + − + ....
−1 0 n
n =1 3! 5! 7!
A partir de la identidad se concluye que los tres primeros coeficientes deben ser iguales
a cero, esto es:
0 ⋅ c0 = 0 0 ⋅ c1 = 0 2c2 = 0
1 − c0 − c1 1 − c3 −1 c
c0 ≠ 0 c1 ≠ 0 c2 = 0 c3 = c4 = c5 = − c6 = c7 = + 1
6 12 120 30 5040 504
x3 x6 x4 x7 x3 x5 x6 x7
y ( x) = c0 1 − + + ..... + c1 x − + + ..... + − − + + .....
6 180 12 504 6 120 180 5040
Ejemplo 5.15.
x 2 x3 x 4 x5
y ' ' ( x) + 1 + x + + + + + ... y ( x) = x 2
2! 3! 4! 5!
∞
x 2 x3 x 4 x5 ∞
∑ k ( k − 1) ck x k −2
+
1 + x +
2 !
+
3!
+
4!
+
5!
+ ... ∑ ck x k ≡ x 2
k =0 k =0
∞ ∞ ∞
1 ∞ 1 ∞ 1 ∞
∑ k (k − 1)ck x k − 2 + ∑ ck x k + ∑ ck x k +1 +
k =0 k =0 k =0
∑
2! k = 0
ck x k +2
+ ∑
3! k = 0
ck x k +3
+ ∑
4! k = 0
ck x k + 4 + .. ≡ x 2
∞ ∞ ∞
1 ∞ 1 ∞ 1 ∞
∑ (n + 2)(n + 1)cn + 2 x n + ∑ cn x n + ∑ cn −1x n +
n = −2 n=0 n =1
∑
2! n = 2
cn−2 x n
+ ∑
3! n = 3
cn −3 x n
+ ∑
4! n = 4
cn − 4 x n + .. ≡ x 2
n = −2 ⇒ 0 ⋅ c0 = 0 ⇒ c0 ≠ 0
n = −1 ⇒ 0 ⋅ c1 = 0 ⇒ c1 ≠ 0
− c0
n = 0 ⇒ 2c2 + c0 = 0 ⇒ c2 =
2
− c0 − c1
n = 1 ⇒ 6c3 + c1 + c0 = 0 ⇒ c3 =
6
c 1 − c1
n = 2 ⇒ 12c4 + c2 + c1 + 2 = 1 ⇒ c4 =
2 12
c1 c0 3c − 2c1
n = 3 ⇒ 20c5 + c3 + c2 + + = 0 ⇒ c5 = 0
2 6 120
c c c − 2 + 9c0 + 2c1
n = 4 ⇒ 30c6 + c4 + c3 + 2 + 1 + 0 = 0 ⇒ c6 =
2 6 24 720
∞ ∞
xn ∞ n
cn − k
y = ∑ cn x n ex = ∑ ⇒ e x y = ∑ bn x n bn = ∑
n=0 n = 0 n! n=0 k = 0 k!
∞ ∞
∑ n(n − 1)cn x n − 2 + ∑ bn x n ≡ x 2
n=2 n=0
∞ ∞
∑ (m + 2)(m + 1)cm + 2 x m + ∑ bm x m ≡ x 2
m=0 m=0
2
c2 − k
∑
k! −c −c −c /2
c4 = − k = 0 =− 2 1 0
12 12
EJERCICIOS 5.4.
Resuelva, por los dos métodos, cada una de las siguientes ecuaciones diferenciales en
un entorno del punto dado, indicando el intervalo de convergencia.
P( x) = ( x − x0 ) p( x) , Q( x) = ( x − x0 ) 2 q( x)
P( x) = ( x − x0 ) p ( x) = a0 + a1 ( x − x0 ) + a2 ( x − x0 ) 2 + a3 ( x − x0 )3 + ...
Q( x) = ( x − x0 ) 2 q( x) = b0 + b1 ( x − x0 ) + b2 ( x − x0 ) 2 + b3 ( x − x0 )3 + ...
∞ ∞
y ( x) = ( x − x0 )λ ∑ ck ( x − x0 ) k = ∑ ck ( x − x0 ) k + λ
k =0 k =0
∞ ∞ ∞
[λ (λ − 1) + P( x)λ + Q( x)]c0 ( x − x0 )λ ≡0
Puesto que el primer coeficiente debe ser diferente de cero, para obtener soluciones
diferentes de la trivial y dado que: P( x) y Q( x) son analíticas en x0 , resulta una
ecuación conocida como ecuación indicial que tiene dos soluciones para λ . La ecuación
indicial es:
λ (λ − 1) + P( x0 )λ + Q( x0 ) = 0
lim lim
λ (λ − 1) + ( x − x0 ) p ( x) λ + ( x − x0 ) 2 q ( x) = 0
x → x0 x → x0
A partir de la ecuación indicial resultan dos soluciones para la ecuación diferencial, así:
∞ ∞
y1 = ( x − x0 ) λ1
∑ a (x − x )
k =0
k 0
k
y2 = ( x − x0 ) λ2
∑b (x − x )
k =0
k 0
k
{x ∈ R / x 0 < x < x0 − x1 }
∞ ∞
y1 = x λ1 ∑ ak x k y2 = x λ2 ∑ bk x k
k =0 k =0
∞
P ' ' (0) 2 ∞
∑
k =0
( k + λ )( k + λ − 1) c k x k +λ
+
P ( 0) + P ' ( 0) x +
2 !
x + ... ∑ (k + λ )ck x +
k =0
k +λ
∞
Q' ' (0) 2
Q(0) + Q' (0) x + x + ...∑ ck x k + λ ≡ 0
2! k =0
∞ ∞
∞ ∞
∑ [(n + λ )(n + λ − 1) + P(0)(n + λ ) + Q(0)]cn x n + ∑ [(n − 1 + λ ) P' (0) + Q' (0)]cn −1x n +
n=0 n =1
∞
P' ' (0) + Q' ' (0)
∑
n=2 2! ck − 2 x + ..... ≡ 0
n
[λ (λ − 1) + P(0)λ + Q(0)]c 0 x 0 + [[(λ + 1)λ + P(0)(λ + 1) + Q(0)]c1 + [ P' (0)λ + Q' (0)]c 0 ]x
P' ' (0) + Q' ' (0) 2
+ [(λ + 2)(λ + 1) + P(0)(λ + 2) + Q(0)]c 2 + [ P' (0)(λ + 1) + Q' (0)]c1 + c0 x
2!
+ ..... ≡ 0
Puesto que todos los coeficientes deben ser iguales a cero, se obtienen las siguientes
ecuaciones:
287
[λ (λ − 1) + P(0)λ + Q(0)]c0 = 0
[[(λ + 1)λ + P(0)(λ + 1) + Q(0)]c1 + [ P' (0)λ + Q' (0)]c0 ] = 0
P' ' (0)λ + Q' ' (0)
[(λ + 2)(λ + 1) + P (0)(λ + 2) + Q(0)]c2 + [ P' (0)(λ + 1) + Q' (0)]c1 + 2!
c0 = 0
P ( m ) (0) + Q ( m ) (0)
f (λ ) = λ (λ − 1) + P(0)λ + Q(0) g m (λ ) =
m!
Con base en las definiciones anteriores, resulta una fórmula de recurrencia, así:
∑g m (λ + n − m)cn − m
cn = − m =1
; n = 1,2,3,4,5...
f (λ + n )
n
− ∑ g m (λ + n − m)cn − m
cn = m =1
n
− ∑ g m (λ + n − m)cn − m
cn = m =1
n(n + P(0) − 1 + 2λ )
n
− ∑ g m (λ + n − m)cn − m
cn = m =1
n2
288
De la ecuación anterior se sigue que:
− g 2 (λ ) + g1 (λ ) g1 (λ + 1)
c1 = − g1 (λ )c0 c2 = c0 ....
4
(
n n ± Discr )
Como puede verse, el denominador nunca se anula y, en consecuencia, resultan dos
soluciones, una por cada valor de λ .
Supongamos ahora que las raíces son diferentes pero difieren en un entero, es decir, la
raíz cuadrada del discriminante es un número natural: N, así:
n
− ∑ g m (λ + n − m)cn − m
cn = m =1
n(n ± N )
Como puede verse, el denominador no se anula para la mayor de las raíces, es decir, la
mayor de las raíces proporciona una solución. Por otro lado, el denominador se anula
para n = N , caso en el cual se presentan dos posibilidades, así:
1. El numerador es diferente de cero. En este caso, el coeficiente: cN no se puede
determinar.
2. El numerador es cero. En este caso, el coeficiente: cN es una constante arbitraria y,
por tanto, resultan dos soluciones para la ecuación diferencial. Los demás coeficientes
se obtienen a partir de la ecuación de recurrencia que resulte de aplicar el método.
∞
y = ∑ ck x k + λ = x λ [c0 + c1 x + c2 x 2 + c3 x 3 + c4 x 4 + ....]
k =0
Solución.
Por simple inspección, se tiene que p( x) = 1 / x q( x) = 1 ⇒ xp( x) = 1 x 2 q( x) = x 2 .
Con base en lo estudiado, el punto: x0 = 0 es la única singularidad de la ecuación
diferencial y, además, es un punto singular regular. En consecuencia, la ecuación
diferencial admite, al menos, una solución de la forma de Frobenius en el intervalo
x > 0.
Para resolver la ecuación diferencial partimos de las series correspondientes a la función
y sus dos primeras derivadas, así:
∞ ∞ ∞
y = ∑ ck x k + λ y ' = ∑ (k + λ )ck x k + λ −1 y ' ' = ∑ (k + λ )(k + λ − 1)ck x k + λ − 2
k =0 k =0 k =0
∞ ∞ ∞
∑ (k + λ )(k + λ − 1)c x
k =0
k
k + λ −1
+ ∑ (k + λ )ck x k + λ −1 + ∑ ck x k + λ +1 ≡ 0
k =0 k =0
∞ ∞
x λ ∑ [(k + λ )(k + λ − 1) + (k + λ )]ck x k −1 + ∑ ck x k +1 ≡ 0
k =0 k =0
∞ ∞
∑ (k + λ )2 ck x k −1 + ∑ ck x k +1 ≡ 0
k =0 k =0
∑ (n + 1 + λ )2 cn +1x n + ∑ cn −1x n ≡ 0
n = −1 n =1
λ2c0 x −1 + (λ + 1) 2 c1 x 0 + ∑ [(n + 1 + λ ) 2 cn +1 + cn −1 ]x n ≡ 0
∞
n =1
290
De la expresión anterior se concluye que, si c0 ≠ 0 , la ecuación indicial es: λ = 0 y 2
por tanto las raíces son iguales a cero. Como puede verse c1 = 0 . La ecuación de
recurrencia, para el valor hallado de λ viene dada por:
cn −1
cn +1 = − n = 1,2,3,4,....
(n + 1) 2
Asignando valores, resulta:
c0 c2 c c0
c0 ≠ 0 c1 = 0 c2 = − c3 = 0 c4 = − = 20 2 c5 = 0 c6 = − ....
22 4 2
2 ⋅4 2 ⋅ 42 ⋅ 62
2
x2 x4 x6
y ( x) = c0 1 − 2 + 2 2 − 2 2 2 + ....
2 2 ⋅4 2 ⋅4 ⋅6
Ejemplo 5.17.
Solución.
Por simple inspección, se tiene que p ( x) = 2 / x q( x) = 1 ⇒ xp( x) = 2 x 2 q( x) = x 2 .
Con base en lo estudiado, el punto: x0 = 0 es la única singularidad de la ecuación
diferencial y, además, es un punto singular regular. En consecuencia, la ecuación
diferencial admite, al menos, una solución de la forma de Frobenius en el intervalo
x > 0 . Para resolver la ecuación diferencial partimos de las series correspondientes a la
función y sus dos primeras derivadas, así:
∞ ∞ ∞
y = ∑ ck x k + λ y ' = ∑ (k + λ )ck x k + λ −1 y ' ' = ∑ (k + λ )(k + λ − 1)ck x k + λ − 2
k =0 k =0 k =0
∞ ∞ ∞
∞ ∞
x λ ∑ [(k + λ )(k + λ − 1) + 2(k + λ )]ck x k −1 + ∑ ck x k +1 ≡ 0
k =0 k =0
291
λ
Puesto que x ≠ 0 , la expresión anterior se puede escribir en la forma:
∞ ∞
∑ (k + λ )(k + λ + 1)c x
k =0
k
k −1
+ ∑ ck x k +1 ≡ 0
k =0
∞ ∞
∑ (n + 1 + λ )(n + λ + 2)c
n = −1
n +1 x + ∑ cn −1 x n ≡ 0
n
n =1
∞
λ (λ + 1)c0 x −1 + (λ + 1)(λ + 2)c1 x 0 + ∑ [(n + 1 + λ )(n + 2 + λ )cn +1 + cn −1 ]x n ≡ 0
n =1
c0 c c c c c c
c0 ≠ 0 c1 ≠ 0 c2 = − c3 = − 1 c4 = − 2 = 0 c5 = − 3 = 1 c6 = − 0 ....
2! 6! 12 4! 20 5! 6!
Se obtiene la solución:
x2 x4 x6 x3 x5 x 7
y ( x) = x −1 c0 1 − + − + .... + c1 x − + − + ....
2! 4! 6! 3! 5! 7!
cos( x) sen( x)
y ( x) = c0 + c1 x>0
x x
Como puede verse, la menor de las raíces de la ecuación indicial nos proporciona dos
soluciones linealmente independientes.
292
Método para calcular una segunda solución.
[x D
2 2
]
+ xP( x) D + Q( x) y ( x) = 0
∞
Se supone una solución de la forma: y (λ , x) = x λ ∑ ck (λ ) x k y se sustituye idénticamente
k =0
en la ecuación diferencial, con lo que se obtiene:
[λ (λ − 1) + P(0)λ + Q(0)]c0 x λ + [[(λ + 1)λ + P(0)(λ + 1) + Q(0)]c1 + [ P' (0)λ + Q' (0)]c0 ]x λ +1
P' ' (0) + Q' ' (0) λ + 2
+ [(λ + 2)(λ + 1) + P(0)(λ + 2) + Q(0)]c2 + [ P' (0)(λ + 1) + Q' (0)]c1 + c0 x
2!
+ ..... ≡ 0
Cuando las raíces de la ecuación característica son iguales, es decir λ1 = λ2 , se tiene que
f (λ ) = (λ − λ1 ) 2 . En este caso todos los coeficientes de la combinación lineal son
iguales a cero, excepto el primero, con lo cual la ecuación diferencial modificada es:
[x D
2 2
]
+ xP( x) D + Q( x) y (λ , x) = (λ − λ1 ) 2 c0 x λ
Equivalentemente, se tiene:
L( D) y (λ , x) = (λ − λ1 ) 2 c0 x λ
293
Derivando parcialmente con respecto a λ , se tiene:
∂
∂λ
L ( D ) y (λ , x ) =
∂
∂λ
[ ]
(λ − λ1 ) 2 c0 x λ = (λ − λ1 ) 2 ln( x) + 2(λ − λ1 ) c0 x λ
∂
[
L( D) y (λ , x) = (λ − λ1 ) 2 ln( x) + 2(λ − λ1 ) c0 x λ ]
∂λ
∂
L ( D ) y (λ , x ) =0
∂λ λ = λ1
∂
Lo anterior significa que la función: y (λ , x ) también es solución de la
∂λ λ = λ1
ecuación diferencial. Es importante precisar que: y (λ , x) viene dada por:
∞
y (λ , x) = x λ ∑ ck (λ ) x k
k =0
∂ ∞
y (λ , x) = x λ ∑ ck ' (λ ) x k + y (λ , x) ln( x)
∂λ k =0
∂
y1 = y (λ1 , x) y2 = y (λ1 , x)
∂λ
∞
y2 = x λ ∑ bk x k + Cy1 ln( x)
k =0
∞
y2 = x λ 2 ∑ bk x k + Cy1 ln( x)
k =0
294
Ejemplo 5.18.
Encuentre una segunda solución para la ecuación diferencial del ejemplo 5.16.
Solución.
Se repite la ecuación diferencial, así:
x2 x4 x6
y1 = 1 − + − + .....
22 22 ⋅ 42 22 ⋅ 42 ⋅ 62
− y ∞ y ∞
C 1 + 2 y1 '+ y1 ' ' x ln( x) + ∑ k (k − 1)bk x k −1 + C 1 + y1 ' ln( x) + ∑ kbk x k −1 +
x k =0 x k =0
∞
∑b x
k =0
k
k +1
+ Cxy1 ln( x) ≡ 0
∞ ∞ ∞
C ln( x)[xy1 ' '+ y1 '+ xy1 ] + 2Cy1 '+ ∑ k (k − 1)bk x k −1 + ∑ kbk x k −1 + ∑ bk x k +1 ≡ 0
k =0 k =0 k =0
∞ ∞
d x2 x4 x6
∑ (n + 1)2 bn +1x n + ∑ bn −1x n ≡ −2C 1 − 2 + 2 2 − 2 2 2 + ...
dx 2 2 ⋅4 2 ⋅4 ⋅6
n = −1 n =1
∑ 2 n
(n + 1) bn +1 + bn −1 x ≡ 2 − 2 2 + 2 2 2 − ...
2 ⋅4 2 ⋅4 ⋅6
n =1 2
1 1 b
n = 1 ⇒ 4b2 + b0 = ⇒ b2 = − 0
2 8 4
n = 2 ⇒ 9b3 + b1 = 0 ⇒ b3 = 0
1 1 b 1 1 1 b 1 b
n = 3 ⇒ 16b4 + b2 = − ⇒ b4 = − − 2 =− − − 0= + 0
16 256 16 256 16 8 4 256 64
n = 4 ⇒ b5 = 0
1 b
n = 5 ⇒ b6 = − − 0
27650 2304
1 1 b 1 b 1 b
y2 = y1 ln( x) + b0 + − 0 x 2 + + 0 x4 − + 0 x 6 + ...
2 8 4 256 64 27650 2304
1 1 2 1 4 1 x2 x4 x6
y2 = y1 ln( x) + x + x − x + ... + b0 1 − +
6
− + ...
2 8 256 27650 4 64 2304
1 1 1 4 1
y2 = y1 ln( x) + x 2 + x − x 6 + ...
2 8 256 27650
Ejemplo 5.19.
Solución.
−2 6
Por simple inspección, se tiene p ( x) = q( x) = . Se sigue que:
x(1 − x) x(1 − x)
296
−2 6x
P ( x) = xp( x) = Q ( x) = x 2 q ( x) =
1− x 1− x
∞ ∞ ∞
∞ ∞
∞ ∞
∞ ∞
De acuerdo con lo estudiado, la mayor de las raíces proporciona una solución, así:
[ ]
∞
y1 = ∑ ck x k + 3 = x 3 c0 + c1 x + c2 x 2 + ....
k =0
n(n + 5)
Dónde: c0 ≠ 0 cn +1 = cn n = 0,1,2,.... ⇒ c1 = 0 c2 = 0 cn = 0
(n + 4)(n + 1)
297
Con base en lo anterior, una solución de la ecuación diferencial es: y1 = x 3
(n − 3)(n + 2)
cn +1 = cn n = 0,1,2,....
(n + 1)(n − 2)
⌠e ∫
− p ( x ) dx
−2 ⌠ 1
y2 = x 3
dx p ( x) = ⇒ y2 = x 3 4 dx
x(1 − x) ⌡ x (1 − x )
6 2
⌡ x
x 1 x3
y2 = 4 x ln 3
− − x − 3x +
2
1− x 3 1− x
1 1 3 5 3 7
y2 = x 3 ln( x) − − x − x 2 + x 4 + x 5 + x 6 + ....
12 4 4 4 4 12
∞ ∞
y2 = x λ ∑ bk x k + Cy1 ln( x) ⇒ y2 = ∑ bk x k + Cx 3 ln( x)
k =0 k =0
[ ]
∞ ∞
y2 ' = C x 2 + 3x 2 ln( x) + ∑ kbk x k −1 y ' ' = C [5 x + 6 x ln( x)] + ∑ k (k − 1)bk x k − 2
k =0 k =0
[ ]
∞ ∞ ∞ ∞
C 3x 2 − 5 x 3 + ∑ k (k − 1)bk x k −1 − ∑ k (k − 1)bk x k − 2∑ kbk x k −1 + 6∑ bk x k +1 ≡ 0
k =0 k =0 k =0 k =0
[ ]
∞ ∞
[ ]
∞ ∞
[ ]
∞
0 ⋅ b0 x −1 + ∑ [(n + 1)(n − 2)bn +1 − (n − 3)(n + 2)bn ]x n ≡ −C 3x 2 − 5 x 3
n =0
3 3 5 4 3 5 7 6
y2 = x 3 ln( x) + b0 + 3b0 x + 9b0 x 2 − x + x + x + x + ....
4 4 4 12
(
y2 = x 3 ln( x) + b0 1 + 3x + 9 x 2 − ) 3 3 5 4 3 5 7 6
4
x + x + x + x + ....
4 4 12
Observe que sí: b0 = −1 / 3 se tiene la misma solución hallada por el primer método.
EJERCICIOS 5.5.
[ ]
∞ ∞
∑ k (k − 1)ck x k − 2 − ∑ k 2 + k − p( p + 1) ck x k ≡ 0 ⇒
k =0 k =0
∞ ∞
∞ ∞
∑ (n + 2)(n + 1)c
n = −2
n+2 x n − ∑ (n + p + 1)(n − p )cn x n ≡ 0
n=0
(n + p + 1)(n − p)
c0 ≠ 0 c1 ≠ 0 cn + 2 = cn ; n = 0,1,2,...
(n + 1)(n + 2)
(0 − p )(1 + p ) (0 − p )(1 + p )
n = 0 ⇒ c2 = c0 = c0
1⋅ 2 2!
(1 − p )(2 + p ) (1 − p )(2 + p )
n = 1 ⇒ c3 = c1 = c1
2⋅3 3!
(2 − p )(3 + p ) (0 − p)(2 − p)(1 + p)(3 + p)
n = 2 ⇒ c4 = c2 = c0
4⋅3 4!
(3 − p )(4 + p) (1 − p)(3 − p)(2 + p)(4 + p)
n = 3 ⇒ c5 = c3 = c1
5⋅4 5!
Como puede verse, una de las soluciones es un polinomio de grado n , conocido como
polinomio de Legendre de grado n , mientras que la otra solución es una serie infinita.
A continuación se ilustran algunos casos particulares:
x3 x5 x 7
n = 0 ⇒ y1 = 1 y2 = x − + − + ...
3 5 7
4
x x6
n = 1 ⇒ y1 = x y2 = 1 − x 2 − − − ...
6 10
x3 x5 2 x 7
n = 2 ⇒ y1 = 1 − 3x 2 y2 = x − − − − ....
2 5 21
5 x3 4 x6
n = 3 ⇒ y1 = x − y2 = 1 − 6 x + 3 x +
2 4
+ ...
3 5
n = 0 P0 ( x) = 1
n = 1 P1 ( x) = x
1
n = 2 P2 ( x) = (3x 2 − 1)
2
1
n = 3 P3 ( x) = (5 x 3 − 2 x)
2
1
n = 4 P4 ( x) = (35 x 4 − 30 x 2 + 3)
8
1
n = 5 P5 ( x) = (63x 5 − 70 x 3 + 15 x)
8
1
n = 6 P6 ( x) = (231x 6 − 315 x 4 + 105 x 2 − 5)
16
1 dn 2
Pn ( x) = n n
( x − 1) n
2 n! dx
Figura 5.2.
Los polinomios de Legendre presentan ciertas propiedades, entre las que son dignas de
destacar, las siguientes:
0 si m ≠ n
1
∫−1 n m
P ( x ) P ( x ) dx = 2
2n + 1 si m = n
Sabemos que para desarrollar una función mediante una serie de potencias se requiere
que dicha función sea continua y tenga todas sus derivadas continuas en un entorno de
cualquier punto de su dominio.
303
Lo anterior significa que una función seccionalmente continua no se puede expresar en
términos de series de potencias de Taylor. Veremos a continuación que una función
seccionalmente continua en el intervalo: − 1 < x < 1 se puede expresar en términos de
los polinomios de Legendre.
f ( x) = c0 P0 ( x) + c1P1 ( x) + c2 P2 ( x) + .... + cn Pn ( x)
f ( x) Pm ( x) = c0 P0 ( x) Pm ( x) + c1P1 ( x) Pm ( x) + c2 P2 ( x) + .... + cn Pn ( x) Pm ( x)
1 1
∫−1
f ( x) Pm ( x)dx = ∫
−1
cn Pn ( x) Pn ( x)
Despejando, tenemos:
2n + 1 1
2 ∫−1
cn = f ( x) Pn ( x)dx
Ejemplo 5.20.
Considere la función:
0 si x < −1
f ( x) = x si − 1 < x < 1
0 si x > 1
Solución
Puesto que la función es par, su desarrollo de Legendre de orden cuatro es:
L( x) = c0 + c2 P2 ( x) + c4 P4 ( x)
Figura 5.3
∞
y = ∑ ck x k
k =0
∞ ∞ ∞
∞ ∞
∑ k (k − 1)ck x k − 2 − 2∑ (k − p )ck x k ≡ 0
k =0 k =0
Al evaluar algunos de los términos de la serie, resultan dos soluciones que forman un
conjunto fundamental, así:
x3 x5 x 7
n = 0 ⇒ y1 = 1 y2 = x + + + + ...
3 10 42
x 4 x6
n = 1 ⇒ y1 = x y2 = 1 − x − −
2
− ...
6 30
x3 x5 x7
n = 2 ⇒ y1 = 1 − x 2 y2 = x − − − + ..
3 30 210
2 x3 x4 x6
n = 3 ⇒⇒ y1 = x − y2 = 1 − 3 x +
2
+ − ...
3 2 30
H 0 ( x) = 1 H1 ( x) = 2 x H 2 ( x) = 4 x 2 − 2 H 3 ( x) = 8 x 3 − 12 x
H 4 ( x) = 16 x 4 − 48 x 2 + 12 H 5 ( x) = 32 x 5 − 160 x 3 + 120 x
H 6 ( x) = 64 x 6 − 480 x 4 + 720 x 2 − 120
2
Los polinomios de Hermite son ortogonales con respecto a la función de peso e − x , así:
0 si n ≠ m
∫− ∞ e− x
∞ 2
H n ( x) H m ( x)dx = n
2 n! si n = m
Las figuras 5.4 y 5.5 ilustran las gráficas de los polinomios de Hermite de grados: 1,2, 3
y 4.
Ejemplo 5.21.
Solución.
Tal como se acaba de ver, una solución es y1 = x . La segunda solución se puede
determinar de dos maneras, así:
1. Haciendo uso de los resultados previos:
x4 x6
y2 = 1 − x 2 − − − ...
6 30
⌠ e − ∫ p ( x ) dx ⌠e ∫
− − 2 xdx
⌠e
x2
y2 = y1 dx = x dx = x 2 dx
y2 ⌡ x
2
⌡ x
⌡ 1
2 2 x4 x6
La serie correspondiente a e x es: e x = 1 + x 2 + + + .....
2 6
⌠ 1 x2 x4
y2 = x 2 + 1 + + + ...dx
⌡ x 2 6
307
Efectuando las operaciones, resulta la misma solución anterior con signo contrario.
∞ ∞ ∞ ∞
∞ ∞
∑ k (k − 1)ck x k − 2 − ∑ (k 2 − p 2 )ck x k ≡ 0
k =0 k =0
∞ ∞
m2 − p 2
c0 ≠ 0 c1 ≠ 0 cm + 2 = cm ; m = 0,1,2,3,...
(m + 2)(m + 1)
C0 ( x) = 1
C1 ( x) = x
C2 ( x ) = 2 x 2 − 1
C3 ( x) = 4 x 3 − 3 x
C4 ( x ) = 8 x 4 − 8 x 2 + 1
C5 ( x) = 16 x 5 − 20 x 3 + 5 x
C6 ( x) = 32 x 6 − 48 x 4 + 18 x 2 − 1
Cn +1 ( x) = 2 xCn ( x) − Cn −1 ( x) n = 1,2,3,....
Los polinomios de Chebyshev son ortogonales en el intervalo: − 1 < x < 1 con respecto
a la función de peso (1 − x 2 ) −1 / 2 , así:
0 si n ≠ m
π si n = m = 0
1
⌠ Cn ( x)Cm ( x)
dx =
π
⌡−1 1 − x2 si n = m = 1,2,3
2
309
Al igual que los polinomios de Legendre, los polinomios de Chebyshev se pueden usar
para desarrollar funciones seccionalmente continuas en el intervalo − 1 < x < 1 .
Precisamente, se usan a menudo en el diseño de filtros pasivos.
Los polinomios de Chebyshev presentan ciertas propiedades, entre las que son dignas de
destacar, las siguientes:
1. Un polinomio de Legendre es estrictamente par o estrictamente impar.
2. Los polinomios pares pasan por los puntos: (−1,1) y (1,1)
3. Los polinomios impares pasan por los puntos: (−1,−1) y (1,1)
4. Todas las raíces de los polinomios de grado mayor o igual que uno son reales y están
en el intervalo − 1 < x < 1 . Las figuras 5.6 y 5.7 ilustran las gráficas de los polinomios
de Chebyshev de grados: 1, 2, 3 y 4.
Ejemplo 5.22.
−x 1
⌠ e ∫ 1− x 2
− − ln(1− x 2 )
⌠ e − ∫ p ( x ) dx
dx
⌠e 2
y2 = y1 dx = x dx = x dx
y12 x 2 x2
⌡ ⌡ ⌡
⌠ 1
y2 = x dx
⌡ x2 1 − x2
x 2 x4 x6
y2 = −1 − − − − ....
2 8 16
∞ ∞
∑ (k + λ )2 ck x k −1 − ∑ (k + λ − p)ck x k ≡ 0
k =0 k =0
∞ ∞
n=0
L0 ( x) = 1 L1 ( x) = − x + 1
L2 ( x) = x − 4 x + 2
2
L3 ( x) = − x 3 + 9 x 2 − 18 x + 6
L4 ( x) = x 4 − 16 x 3 + 72 x 2 − 96 x + 24
Ln +1 ( x) = (2n + 1 − x) Ln ( x) − n 2 Ln −1 ( x) n = 1,2,3,...
Las figuras 5.8 y 5.9 ilustran las gráficas de los polinomios de Laguerre de grados: 1,2,
3 y 4. Puede verificarse que, cualquiera que sea el grado, las todas las raíces son reales
positivas.
Los Polinomios normalizados de Laguerre son ortogonales en el intervalo: x > 0 con
respecto a la función de peso x k e − x , así:
312
0 si n ≠ m
x e Ln ( x) Lm ( x)dx = (n!)
∞
∫ k −x k k 3
(n − k )! si n = m
0
Ejemplo 5.23.
Solución.
La primera solución es: y1 = x − 1
1− x
⌠ e − ∫ p ( x ) dx ⌠ e − ∫ x dx ⌠ ex
y2 = y1 dx = ( x − 1) dx = ( x − 1) x( x − 1) 2 dx
y2
⌡ 1
⌡
( x − 1)2
⌡
x2 x3 x4 x5 x6
y2 = ( x − 1) ln( x) + − 3x + + + + + ...
4 36 288 2400 216000
∞
y ( x) = ∑ cn x n + λ
n=n
∞ ∞ ∞ ∞
∑ [(n + λ ) ]
∞ ∞
2
− p 2 cn x n + ∑ cn x n + 2 ≡ 0
n=n n=n
∑ [(k + λ ) ]
∞ ∞
2
− p 2 ck x k + ∑ ck − 2 x k ≡ 0
k =0 k =2
∞ ∞
∑ (k + λ + p)(k + λ − p)ck x k + ∑ ck − 2 x k ≡ 0
k =0 k =2
∞
(λ − p)(λ + p)c0 x 0 + (1 + λ − p)(1 + λ + p)c1 x1 + ∑ [(k + λ − p)(k + λ + p)ck + ck − 2 ]x k ≡ 0
k =2
∞
y1 = x p ∑ ck ( p) x k
k =0
Por otro lado se tiene:
0 ck − 2
c1 = ck = − ck − 2 ; k = 2,3,4,...
1+ 2 p k (k + 2 p)
c0 −1
c2 = − = 2 c0
2(2 + 2 p ) 2 ( p + 1)
− c2 1 1
c4 = =− 3 c2 = 4 c0
4( 4 + 2 p ) 2 ( p + 2) 2 ⋅ 2!⋅( p + 1)( p + 2)
− c4 −1 −1
c6 = = 2 c4 = 6 c0
6(6 + 2 p ) 2 ⋅ 3( p + 2) 2 ⋅ 3!⋅( p + 1)( p + 2)( p + 3)
(−1) k
c2 k = c0
22 k ⋅ k!⋅( p + 1)( p + 2)( p + 3)...( p + k )
∞
(−1) k ⋅ Γ( p + 1) x 2 k
y1 = c0 x p ∑
k =0 2
2k
⋅ k!⋅Γ( p + k + 1)
1
Finalmente, sí se hace c0 = , resulta:
2 Γ( p + 1)
p
2k + p
∞
(−1) k ⋅ Γ( p + 1) x
y1 = ∑
k = 0 k!⋅Γ ( p + k + 1) 2
0 ck − 2
c1 = ck = − ck − 2 ; k = 2,3,4,...
1− 2 p k (k − 2 p)
2k − p
∞
(−1) k x
y2 = J − p ( x ) = ∑
k = 0 k!⋅Γ ( − p + k + 1) 2
2k + n
∞
(−1) k x
J n ( x) = ∑
k = 0 k!⋅( k + n )! 2
Las figuras 5.10 y 5.11 muestran las gráficas de las funciones de Bessel de orden cero y
orden uno.
1.
d p
dx
[ ]
x J p ( x) = x p J p −1 ( x) 2.
d −p
dx
[ ]
x J p ( x) = − x − p J p +1 ( x)
3. xJ p ' ( x) = xJ p −1 ( x) − pJ p ( x) 4. xJ p ' ( x) = pJ p ( x) − xJ p +1 ( x)
2p
5. 2 J p ' ( x) = J p −1 ( x) − J p +1 ( x) 6. J p +1 ( x) = J p ( x) − J p −1 ( x)
x
La función gamma.
Γ( p + 1) = pΓ( p)
Γ( p + 1)
Γ( p ) = p ≠ −1,−2,−3,...
p
Ejemplo 5.24.
Demuestre que:
(2n − 1)!
Γ(n + 1 / 2) = π n = 1,2,3,....
2n
Solución.
Se procede por inducción matemática incompleta, así:
1 1
Γ(1 + 1 / 2) = Γ(1 / 2) = π
2 2
31 1⋅ 3
Γ(2 + 1 / 2) = Γ(5 / 2) = Γ(1 / 2) = 2 π
22 2
531 1⋅ 3 ⋅ 5
Γ(3 + 1 / 2) = Γ(7 / 2) = Γ(1 / 2) = π
222 23
7531 1⋅ 3 ⋅ 5 ⋅ 7
Γ(4 + 1 / 2) = Γ(9 / 2) = Γ(1 / 2) = π
2222 24
.
.
(2n − 1)!
Γ ( n + 3 / 2) = π
2n
Ejemplo 5.25.
Demuestre la propiedad:
J − n ( x) = (−1) n J n ( x)
Solución.
Se parte de la función de Bessel de orden -n, así:
2k −n
∞
(−1) k x
J − n ( x) = ∑
k = 0 k!( k − n )! 2
2 j+n 2 j+n
−1
(−1) j + n x ∞
(−1) j x
J − n ( x) = ∑ + (−1) ∑
n
j = − n ( j + n)! j! 2 j = 0 ( j + n)! j! 2
Ejemplo 5.26.
Demuestre la propiedad:
d n
dx
[ ]
x J n ( x) = x n J n −1 ( x)
Solución.
Se parte de la definición de la función de Bessel de orden n, así:
d n ∞ (−1) k x d ∞ (−1) k ⋅ x 2 ( k + n )
2k + n
d n
[ ]
x J n ( x) = x ∑
dx k = 0 k!(k + n)! 2
= ∑ 2 k ⇒
dx dx k = 0 2 k!(k + n)!
[ ] (−1) k x 2 + 2 n −1 (−1) k
∞ ∞
d n x
x J n ( x) = ∑ 2 k −1 =x ∑
n
= x n J n −1 ( x)
dx k =0 2 k!(k + n − 1)! k = 0 k!( k + n − 1)! 2
Figura 5.12.
Ejemplo 5.27.
318
Demuestre la propiedad: xJ p ' ( x) = xJ p −1 ( x) − pJ p ( x)
Solución.
Se parte de la primera propiedad, así:
d p
dx
[ ]
x J n ( x) = x p J p ' ( x) + px p −1 J p ( x) = x p J p −1 ( x)
J p ' ( x) + px −1 J p ( x) = J p −1 ( x) ⇒ xJ p ' ( x) = xJ p −1 ( x) − pJ p ( x)
EJERCICIOS 5.6.
11. Use los polinomios normalizados de Legendre para aproximar la siguiente función
en el intervalo − 1 ≤ x ≤ 1 . Represente gráficamente la función original en un mismo
gráfico con la aproximación.
f ( x) = 1 − x
4. xJ p ' ( x) = pJ p ( x) − xJ p +1 ( x)
5. 2 J p ' ( x) = J p −1 ( x) − J p +1 ( x)
2p
6. J p +1 ( x) = J p ( x) − J p −1 ( x)
x
319
13. Usando la propiedad de recurrencia del ejercicio anterior, exprese J 3 ( x) en términos
de J 0 ( x) y J1 ( x) .
16. Use el resultado del ejemplo 5.24 y la fórmula de la función de Bessel para
demuestre que:
2 2
a. J1 / 2 ( x) = sen( x) b. J −1 / 2 ( x) = cos( x)
πx πx