Análisis Matemático

Unidad 3
Aplicaciones a ecuaciones diferenciales

Justino Alavez Ramírez

División Académica de Ciencias Básicas

Universidad Juárez Autónoma de Tabasco

Agosto de 2019

J. Alavez-Ramírez (DACB-UJAT) Análisis Matemático Agosto de 2019 1 / 18

Contenido

1 Solución de ecuaciones diferenciales en series de potencias

Referencias

J. Alavez-Ramírez (DACB-UJAT) Análisis Matemático Agosto de 2019 2 / 18

3.1. Solución de ecuaciones diferenciales por series de potencias
El método de las soluciones en series, lo utilizó Newton en sus Philosophia Natu-
ralis Principia Mathematica (1686), por lo que es uno de los métodos más antiguos
en la teoría de las ecuaciones diferenciales. Consiste en determinar los coeficientes
c0 , c1 , c2 , . . ., de modo que la función
∞
X
x(t) = cn (t − t0 )n
n=0

sea solución de una ecuación diferencial dada, en un intervalo alrededor de t0 .

Ejemplo 33. Determinar una solución en serie de potencias alrededor de t = 0 de la
ecuación diferencial
x 0 + 2tx = 0
Solución. Suponemos que existe una solución en serie de potencias de la forma
∞
X
x(t) = cn t n
n=0

Hay que determinar los coeficientes cn .

Al sustituir en la ecuación la serie propuesta, resulta
∞
X ∞
X
ncn t n−1 + 2t cn t n = 0
n=1 n=0

J. Alavez-Ramírez (DACB-UJAT) Análisis Matemático Agosto de 2019 3 / 18

o bien
∞
X ∞
X
ncn t n−1 + 2cn t n+1 = 0
n=1 n=0
Reemplazando en la primera serie n por n + 1 y la segunda serie n por n − 1, resulta
∞
X ∞
X ∞
X
(n + 1)cn+1 t n + 2cn−1 t n = 0 ⇐⇒ c1 + [(n + 1)cn+1 + 2cn−1 ]t n = 0
n=0 n=1 n=1

De aquí se obtiene la relación de recurrencia para los coeficientes:

2
c1 = 0, cn+1 = − cn−1 , n≥1
n+1
De donde
2 2
c2 = − c0 = −c0 c3 = − c1 =0
2 3
2 2
c4 = − c2 = 21 c0 c5 = − c3 =0
4 5
2 1 2
c6 = − c4 = − 2·3 c0 c7 = − c5 =0
6 7
2 1 2
c8 = − c6 = c
2·3·4 0
c9 = − c7 =0
8 9
..
.
J. Alavez-Ramírez (DACB-UJAT) Análisis Matemático Agosto de 2019 4 / 18
Por lo que
(−1)n
c2n =
c0 y c2n+1 = 0, n≥1
n!
Así que la solución en serie de potencias es
∞ ∞ ∞
X X X (−1)n 2n
x(t) = cn t n = c2n t 2n = c0 t
n!
n=0 n=0 n=0

Para investigar la convergencia de la serie solución, aplicamos el criterio del cociente:

 (−1)n+1 2n+2 
 
t
t2
 
 (n + 1)! n!
t2 =


 (−1)n
= −→ 0
2n
 (n + 1)! n + 1 n→∞
 t 
 n! 

Por lo que la serie converge para todo t ∈ R y su límite es

∞
X (−1)n 2n 2
x(t) = c0 t = c0 e−t , t ∈R
n!
n=0

que es la solución de la ecuación diferencial.

J. Alavez-Ramírez (DACB-UJAT) Análisis Matemático Agosto de 2019 5 / 18

Soluciones cerca de un punto ordinario
Consideramos la ecuación lineal de segundo orden

d 2x dx
2
+ a(t) + b(t)x = 0 (1)
dt dt

Definición de punto ordinario

Un punto t0 es un punto ordinario de (1) si los coeficientes a y b son funciones
analíticas en t0 , es decir, admiten una representación en series de potencias
alrededor de t0 :
∞
X
a(t) = an (t − t0 )n , |t − t0 | < ra , ra > 0
n=0

y
∞
X
b(t) = bn (t − t0 )n , |t − t0 | < rb , rb > 0
n=0

A un punto que no es ordinario se le llama punto singular.

J. Alavez-Ramírez (DACB-UJAT) Análisis Matemático Agosto de 2019 6 / 18

Ejemplo 34. La ecuación de Hermite1

d 2x dx
− 2t + λx = 0
dt 2 dt
donde λ es un parámetro real, tiene a todo real t0 como punto ordinario. Esta ecuación
se presenta en muchas áreas de la matemática y de la física.
En efecto,
a(t) = −2t = −2t0 − 2(t − t0 ) + 0(t − t0 )2 + · · ·
y
b(t) = λ = λ + 0(t − t0 ) + 0(t − t0 )2 + · · ·
Ejemplo 35. La ecuación de Cauchy2 -Euler3

d 2x a dx b
+ + 2 x = 0, a y b constantes.
dt 2 t dt t
a b
El punto t0 = 0 es un punto singular si a 6= 0 y b 6= 0, pues ni a(t) = ni b(t) = 2
t t
son analíticas en t0 = 0, ni se pueden redefinir alrededor de 0 de manera que resulten
analíticas. En general las ecuaciones de Cauchy-Euler no possen soluciones en series
de potencias alrededor de t0 = 0 salvo la solución nula.
1
Charles Hermite (1822–1901) matemático francés.
2
Augustin-Louis Cauchy (1789–1857) matemático francés
3
Leonhard Euler (1707–1783) matemático, físico, astrónomo, lógico e ingeniero.
J. Alavez-Ramírez (DACB-UJAT) Análisis Matemático Agosto de 2019 7 / 18
Ejemplo 36. La ecuación de Legendre4

d 2x 2t dx λ
− + x =0
dt 2 1 − t 2 dt 1 − t2
donde λ es un parámetro real, tiene a t0 = 0 como punto ordinario. Esta ecuación
también se presenta en muchas áreas de la matemática y de la física.
2t λ
En efecto, en este caso a(t) = − y b(t) = , y recordando que para la
1 − t2 1 − t2
∞
X n 1
serie geométrica: t = , −1 < t < 1, se sigue que
1−t
n=0

∞ ∞
1 X 2n X 2n+1
a(t) = −2t = −2t t =− 2t , −1 < t < 1
1 − t2
n=0 n=0

y
∞
λ X 2n
b(t) = = λt , −1 < t < 1.
1 − t2
n=0

Por el contrario, los puntos t0 = 1 y t0 = −1 son puntos singulares, pues los coeficien-
tes a(t) y b(t) no admiten representación en serie de potencias alrededor de ellos.

4
Adrien-Marie Legendre (1752–1833) matemático francés.
J. Alavez-Ramírez (DACB-UJAT) Análisis Matemático Agosto de 2019 8 / 18
Observación
En el caso de la ecuación de Legendre, como ocurre en general, puede re-
querir cierto trabajo obtener explícitamente las series de potencias que repre-
sentan a(t) y b(t) alrededor de un punto ordinario. Sin embargo, se puede
demostrar que si P(t) y Q(t) son polinomios sin raíces comunes y Q(t0 ) 6= 0,
entonces la función racional
P(t)
f (t) =
Q(t)
puede escribirse como una serie de potencias alrededor del punto t0 .

Ejemplo 37. La ecuación de Bessel5 escrita en forma normal es

d 2x 1 dx t 2 − p2
2
+ + x =0
dt t dt t2
p parámetro real, tiene como su único punto singular a t0 = 0.

5
Friedrich Wilhelm Bessel (1784–1846) matemático, físico, astrónomo y geodesíco alemán.
J. Alavez-Ramírez (DACB-UJAT) Análisis Matemático Agosto de 2019 9 / 18
Theorem 1 (Soluciones analíticas alrededor de un punto ordinario)

Si t0 es un punto ordinario de la ecuación diferencial lineal homogénea (1),

entonces para cada par de números x0 y v0 dados, la única solución x = x(t)
de (1) que satisface las condiciones iniciales x(t0 ) = x0 y x00 (t0 ) = v0 , puede
representarse en la forma de una serie de potencias
∞
X
x(t) = cn (t − t0 )n
n=0

convergente para todo t tal que |t − t0 | < r , r > 0. El intervalo t0 − r < t < t0 + r
de validez de la expansión de x = x(t) es por lo menos igual al mayor de los
intervalos alrededor de t0 sobre el cual ambos coeficientes a(t) y b(t) tienen
representación en series de potencias alredededor de t0 .

Una prueba de este teorema se puede consultar en la referencia [2].

J. Alavez-Ramírez (DACB-UJAT) Análisis Matemático Agosto de 2019 10 / 18

Ejemplo 38. Determinar la solución en series de potencias de la ecuación de
Hermite (ejemplo 34):
d 2x dx
2
− 2t + λx = 0.
dt dt
Solución. Del ejemplo 34 tenemos que las expansiones en series de poten-
cias para a(t) y b(t) son

a(t) = −2t, b(t) = λ, −∞ < t < ∞.

De acuerdo con el teorema 1, todas las soluciones de la ecuación de Hermite

son analíticas y su representación en serie de potencias es
∞
X
x(t) = cn t n
n=0

que converge para todo t ∈ R.

Los coeficientes c0 , c1 , c2 , . . ., se determinan sustituyendo las expansiones en
series de potencias de las funciones x(t), x 0 (t) y x 00 (t) en la ecuación de
Hermite:

J. Alavez-Ramírez (DACB-UJAT) Análisis Matemático Agosto de 2019 11 / 18

 ∞
X ∞
X ∞
X
x 00 − 2tx 0 + λx = n(n − 1)cn t n−2 − 2t ncn t n−1 + λ cn t n
n=2 n=1 n=0
∞
X ∞
X ∞
X
= (n + 2)(n + 1)cn+2 t n − 2ncn t n + λcn t n
n=0 n=1 n=0
∞
X
= 2c2 + λc0 + [(n + 2)(n + 1)cn+2 − (2n − λ)cn ]t n
n=1

= 0
De donde se obtiene la relación de recurrencia:
λ 2n − λ
c2 = − c0 y cn+2 = cn , n = 1, 2, · · · (2)
2 (n + 1)(n + 2)
Los coeficientes resultan ser
λ
c2 = − c0
2
2−λ 2·1−λ
c3 = c1 = c1
2·3 3!
4−λ λ(2 · 2 − λ)
c4 = c2 = − c0
3·4 4!

J. Alavez-Ramírez (DACB-UJAT) Análisis Matemático Agosto de 2019 12 / 18

 6−λ (2 · 1 − λ)(2 · 3 − λ)
c5 = c3 = c1
4·5 5!
8−λ λ(2 · 2 − λ)(2 · 4 − λ)
c6 = c4 = − c0
5·6 6!
En general se tiene
λ(2 · 2 − λ)(2 · 4 − λ) · · · (2 · (2n − 2) − λ)
c2n = − c0 ≡ h2n c0 , n = 1, 2, . . . (3)
(2n)!
y
(2 · 1 − λ)(2 · 3 − λ) · · · (2 · (2n − 1) − λ)
c2n+1 = c1 ≡ h2n+1 c1 , n = 1, 2, . . . (4)
(2n + 1)!
Tomando h0 = 1 y h1 = 1, podemos escribir la solución como suma de dos series:
∞ ∞ ∞
! ∞
!
X 2n
X 2n+1
X 2n
X 2n+1
x(t) = c2n t + c2n+1 t = c0 h2n t + c1 h2n+1 t (5)
n=0 n=0 n=0 n=0

con c0 y c1 constantes que dependen de las condiciones iniciales, es decir,

x(0) = c0 y x 0 (0) = c1 .

En vista del teorema 1, las dos series en (5) convergen en (−∞, ∞).
J. Alavez-Ramírez (DACB-UJAT) Análisis Matemático Agosto de 2019 13 / 18
Si ponemos
∞
X ∞
X
u(t) = h2n t 2n , v (t) = h2n+1 t 2n+1 , t ∈ R.
n=0 n=0

Entonces cada una de las soluciones de la ecuación de Hermite puede expre-

sarse como combinación lineal de u(t) y v (t), es decir,
x(t) = c0 u(t) + c1 v (t), t ∈ R.
Lo que nos dice que las funciones u(t) y v (t) forman un conjunto fundamental
de soluciones de la ecuación de Hermite.
Observaciones
1 Un caso interesante de la ecuación de Hermite se da cuando el paráme-
tro λ es un entero positivo par, digamos λ = 2p. En ese caso la relación
de recurrencia (2) muestra que cp+2 = cp+4 = · · · = 0. Si además p
es par y se toma c1 = 0, la solución x(t) dada en (5) se reduce a un
polinomio de grado p dado por
p/2
X
h2n t 2n = c0 h0 + h2 t 2 + · · · + hp t p ,


x(t) = c0 t ∈ R. (6)
n=0

J. Alavez-Ramírez (DACB-UJAT) Análisis Matemático Agosto de 2019 14 / 18

 2 Análogamente, si p es impar y se toma c0 = 0, la solución x(t) dada en
(5) se reduce también a un polinomio de grado p dado por
(p−1)/2
X
h2n+1 t 2n+1 = c1 h1 t + h3 t 3 + · · · + hp t p ,


x(t) = c1 t ∈ R. (7)
n=0

3 Si además, los respectivos coeficientes c0 y c1 se escogen de manera

que el coeficiente del término en t p sea 2p , las correspondientes solucio-
nes polinómicas reciben el nombre de polinomios de Hermite de grado p
y se denotan por Hp (t).
4 Algunos de polinomios de Hermite de grado p son

H0 (t) = 1, H1 (t) = 2t, H2 (t) = −2 + 4t 2 , H3 (t) = −12t + 8t 3 .

J. Alavez-Ramírez (DACB-UJAT) Análisis Matemático Agosto de 2019 15 / 18

Tarea 3.1
1 Encuentre la solución general de la ecuación

(1 + t 2 )x 00 − 4tx 0 + 6x = 0

en la forma c0 x1 (t) + c1 x2 (t), donde x1 (t) y x2 (t) son series de potencias.

2 Resuelva la ecuación de Airy

x 00 + tx = 0

en términos de series de potencias alrededor del punto t = 0. Determine

directamente el radio de convergencia de las series obtenidas. Encuentra
además la solución que satisface x(0) = 1 y x 0 (0) = 1.
3 Determina la solución general de la ecuación

(1 + t 2 )x 00 + 2tx 0 − 2x = 0

en términos de una serie de potencias alrededor de t = 0 ¿puede identi-

ficar esta serie en términos de funciones elementales?
4 Deduzca los polinomios de Hermite de grado 3 y 4.
J. Alavez-Ramírez (DACB-UJAT) Análisis Matemático Agosto de 2019 16 / 18
 5 Para la ecuación de Legendre
d 2x dx
(1 − t 2 ) 2
− 2t + α(α + 1)x = 0,
dt dt
α un parámetro real.
a) Encuentra dos soluciones linealmente independientes en forma de serie de
potencias alrededor de t = 0 y determina el radio de convergencia de estas
series.
b) Muestra que si α = N es un número entero existe una solución polinómica
de grado N.
c) Tomando α = 3, determina la solución que satisface x(0) = 0 y x 0 (0) = 1.
6 A la ecuación
(1 − t 2 )x 00 − tx 0 + α2 x = 0,
con α constante, se le conoce como la ecuación diferencial de Chebyshev
(o Tchebycheff) y se presenta en muchas áreas de las matemáticas y de
la física.
a) Encuentra dos soluciones linealmente independientes de la ecuación de
Chebyshev.
b) Muestra que la ecuación de Chebyshev tiene una solución polinomial de
grado N si α = N. Estos polinomios, con una normalización adecuada, se
llaman polinomios de Chebyshev.
J. Alavez-Ramírez (DACB-UJAT) Análisis Matemático Agosto de 2019 17 / 18
 Referencias
[1] Apostol, T.M. (1981). Análisis Matemático. 2a ed. España: Reverté.

[2] Coddington, E.A. and Levinson, N. (1955). Theory of Ordinary Differential Equa-
tions. New York: McGraw-Hill.
[3] Kuratowski, K. (1984). Introducción al Cálculo. México: LIMUSA.

[4] Pérez-Pérez, A. y Alavez-Ramírez, J. (–). Segundo Curso Sobre Elementos

Básicos del Análisis Matemático. Preprint.

[5] Rudin, W. (1980). Principios de Análisis Matemático. 3a. Edición. México:

McGRAW-HILL.
[6] Spivak, M. (1992). Cálculo infinitesimal. Vol. 2. 2a ed. México: Reverté.

[7] Zill, D.G. (1987). Cálculo con Geometría Analítica. México: Grupo Editorial Ibe-
roamérica.

J. Alavez-Ramírez (DACB-UJAT) Análisis Matemático Agosto de 2019 18 / 18