Universidad Nacional de Ingenierı́a

Escuela Profesional de Matemática

Ciclo 2021-2

[Introducción a las Ecuaciones Diferenciales Ordinarias - CM2G2]

[Prof: Los Profesores] UNI, 23 de noviembre de 2021

Práctica Calificada 5

1. Encontrar dos soluciones linealmente independientes alrededor de x0 = 0 para la siguiente ecuación

diferencial

4x2 y 00 − 4x2 y 0 + (1 − 2x)y = 0.

¿Qué tipo de punto es x0 = 0? [8ptos]

Solución: La ecuación tiene la forma

L[y] = p(x)y 00 + q(x)y 0 + r(x)y = 0,

donde p(x) = 4x2 , q(x) = −4x2 y r(x) = 1 − 2x. Como p(0) = 0, entonces x0 = 0 es un punto
singular. Además como las siguientes funciones son polinomios

q(x) r(x) 1 − 2x
(x − x0 ) = −x ∧ (x − x0 )2 = ,
p(x) p(x) 4

entonces son analı́ticas (en particular en x0 = 0) Por tanto x0 es un punto singular regular.
Consideremos una solución de la forma
∞
X
r
y=x ak xk ,
k=0

donde r ∈ R. Reemplazando en la EDO

∞
X ∞
X ∞
X
0 = 4x2 (k + r)(k + r − 1)ak xk+r−2 − 4x2 (k + r)ak xk+r−1 + (1 − 2x) ak xk+r
k=0 k=0 k=0
∞
X
= 4r(r − 1) + 1 a0 xr + (4(k + r)(k + r − 1) + 1)ak − (4(k + r − 1) + 2)ak−1 xk+r .

k=0

Igualando a cero el coeficiente correspondiente a la menor potencia y considerando a0 6= 0,

obtenemos la ecuación indicial:

4r(r − 1) + 1 = 0.

Resolviendola obtenemos r = 1/2. Luego, igualamos a cero los coeficientes correspondiente a xk+r

(4(k + r)(k + r − 1) + 1)ak − (4(k + r − 1) + 2)ak−1 = 0.

Despejamos ak y consideramos r = 1/2

1
ak = ak−1 .
k
 Multiplicando los k primeros coeficientes y simplificando, se obtiene
a1 a2 ak−1 1
a1 × a2 × a3 × · · · × ak = a0 × × × ··· × =⇒ ak = a0 .
2 3 k k!
Considerando a0 = 1, obtenemos una solución
∞ ∞
X 1 k+1/2 X 1 k
y1 = x = x1/2 x = x1/2 ex .
k! k!
k=0 k=0

En general, no se puede expresar la serie en términos de funciones elementales.

Aplicamos el método de Frobenius (Ver Teorema 2 Sección 7.3 pag. 521 de William A. Adkins
& Mark G. Davidson - Ordinary Differential Equations. Springer, 2012) para obtener la segunda
solución:
∞
X
y2 = y1 ln x + x1/2 bk xk
k=0
∞
X
= x1/2 ex ln x + bk xk+1/2 .
k=0

Ahora, la sustituimos en la ecuación diferencial y resolvemos para hallar los coeficientes bk . Se

produce un largo cálculo y obtenemos alguna relación de recursividad para bk . Por ejemplo, los
tres primeros términos son
2b1 − 1 6b2 − 1
b1 = b0 − 1, b2 = , b3 = ,···
4 18
Luego fijamos b0 y obtenemos una solución y2 . Finalmente, la solución general es y = Ay1 + By2
para A y B en R.

2. Calcule la serie de Fourier de f (x) = x2 para x ∈ [0, 2π] y f tiene un perı́odo 2π. [6ptos]

Solución: Siguiendo el Teorema 5.9 pag 169 de Russell L. Herman - A Second Course in Ordinary
Differential Equations: Dynamical Systems and Boundary Value Problems. La representación en
serie de Fourier de f (x) definida en [a, b] cuando existe, está dada por
∞
a0 X 2π
f (x) ∼ + an cos(nω0 x) + bn sin(nω0 x) , con ω0 =
2 b−a
n=1

donde
Z b
2
an = f (x) cos(nω0 x) dx n = 0, 1, 2, · · ·
b−a a
Z b
2
bn = f (x) sin(nω0 x) dx n = 1, 2, · · ·
b−a a
 Se tiene que ω0 = 1, luego los coeficientes son
Z 2π
2 8π 2
a0 = x2 dx = ,
2π 0 3
1 x2 sin(nx) 2x cos(nx) 2 sin(nx) 2π
Z 2π  
2 2
an = x cos(nx) dx = + −
2π 0 π n n2 n3 0
 
1 4π 4
= = 2,
π n2 n
x cos(nx) 2x sin(nx) 2 cos(nx) 2π
Z 2π  2 
2 2 1
bn = x sin(nx) dx = − + +
2π 0 π n n2 n3 0
2
 
1 4π 2 2 4π
= − + 3 − 3 =− .
π n n n n

Finalmente, se obtiene
∞ ∞
4π 2 X cos nx X sin nx
f (x) ≈ +4 − 4π .
3 n2 n
n=1 n=1

3. Calcule la serie de Fourier de f (x) = x2 − x para x ∈ [−2, 2] (periodo 4) y determine su suma sobre
[−2, 2]. [6ptos]

Solución: Procediendo como en el problema anterior, se tiene ω0 = 2π π

4 = 2 . luego los coeficientes
son

2 2 2 x3 2 8
Z Z 2
a0 = (x − x) dx = x2 dx = = ,
4 −2 0 3 0 3
" #
2 2 2 nπx 2
Z Z 2 Z 2
nπx 2 nπx 2 2 nπx
an = (x − x) cos dx = x cos dx = x sin −2 x sin dx
4 −2 2 0 2 nπ 2 0 0 2
" #
nπx 2
Z 2
8 nπx
= 2 2 x cos − cos dx
n π 2 0 0 2
" #
8 2 nπx 2 16
= 2 2 2 cos nπ − sin = (−1)n 2 2 ,
n π nπ 2 0 n π
" #
Z 2 Z 2 2 Z 2
2 nπx nπx 2 nπx nπx
bn = (x2 − x) sin dx = − x sin dx = x cos − cos dx
4 −2 2 0 2 nπ 2 0 0 2
" #
2 2 nπx 2 4
= 2 cos nπ − sin = (−1)n .
nπ nπ 2 0 nπ

Reemplazando, se obtiene la expansión de Fourier de f

∞ ∞
4 16 X (−1)n nπx 4 X (−1)n nπx
f (x) ∼ + 2 2
cos + sin .
3 π n 2 π n 2
n=1 n=1

Finalmente, obtenemos la suma de Fourier, extensión periódica:


 4 , x = −2
F (x) = x2 − x , −2 < x < 2
4 , x = 2.
