Documentos de Académico
Documentos de Profesional
Documentos de Cultura
1.1
Introducci
on a los n
umeros complejos
Los n
umeros complejos pueden definirse como pares ordenados de numeros reales z = (x, y) con las
operaciones adici
on y multiplicaci
on definidas como sigue:
(x1, y1) + (x2, y2) = (x1 + x2, y1 + y2)
(x1, y1 ) (x2, y2) = (x1x2 y1y2, x1y2 + y1x2)
Se define la parte real y la parte imaginaria de z de la forma:
Re(z) = x,
Im(z) = y.
1. Funciones analticas
3. Llamando i = (0, 1) (en ocasiones se utiliza j), cualquier numero complejo z = (x, y) puede
escribirse como z = x + iy .
4. i2 = (0, 1) (0, 1) = (1, 0)= 1.
Propiedades 1.1
1. Conmutativa: z1 + z2 = z2 + z1 ,
z1 z2 = z2 z1 .
z1
= z1 z21 , z2 6= 0.
z2
1. Funciones analticas
z1 z2 = z1 z2 .
2. z + z = 2Re(z),
z z = 2iIm(z).
3. z = z.
Coordenadas cartesianas
De manera natural se identifica C con el plano R2 :
z = x + iy = (x, y)
Se denominan las coordenadas cartesianas de z.
6
z = (x, y)
y
|z|
x
p
Se define el m
odulo de z = (x, y) como el numero real no negativo | z |= x2 + y 2 . Esta magnitud
representa la distancia en R2 entre el punto (x, y) y el origen (0, 0).
1. Funciones analticas
Propiedades 1.3
1. | z |2= (Re(z))2 + (Im(z))2.
2. Re(z) | Re(z) | | z |,
Im(z) | Im(z) | | z |.
3. z z =| z |2 .
4. Utilizando el modulo se puede definir una m
etrica en C:
Coordenadas polares
Sean (r, ) las coordenadas polares del punto del plano (x, y) correspondiente al numero complejo
z = x + iy 6= 0.
z = (x, y)
x = r cos()
y = r sen()
1. Funciones analticas
Entonces, r es el m
odulo de z, pues:
r=
x2 + y 2 = | z |.
es el argumento de z: el angulo (en radianes) que forma z con el eje real positivo. Se verifica:
Observaci
on 1.2
cos() =
r
arg(z) = tal que
y
sen() =
r
z = r(cos() + i sen()).
z = r ei .
1. Funciones analticas
1
(cos(1) + i sen(1)).
r1
z1 r 1
= (cos(1 2 ) + i sen(1 2)).
z2 r 2
Potencias y races
Sea
z = r(cos() + i sen()).
Entonces, utilizando la f
ormula de Moivre:
1. Funciones analticas
Las races n-
esimas de la unidad son aquellos complejos z tales que z n = 1.
Si z = r(cos() + i sen()), como Arg(1) = 0, se tiene:
2k
, k Z.
n
esimas de la unidad distintas:
Entonces, por la periodicidad del seno y el coseno, existen n races n-
rn = 1 = r = 1,
n = 0 + 2k = =
2k
2k
n
1 = 11/n = cos(
) + i sen(
), k = 0, 1, . . . , n 1.
n
n
Observaci
on 1.3
1. Geom
etricamente, las races n-esimas de la unidad son los v
ertices de un polgono regular
de n lados inscrito en la circunferencia unidad centrada en el origen (con un vertice en
1).
2
2
) + i sen( ),
n
n
1 , n , n2 , . . . , nn1 .
entonces las n races n-esimas de la unidad son:
2. Si llamamos:
n = cos(
esimas de son:
Sea = (cos() + i sen()) un numero complejo cualquiera. Las races n-
+
2k
+
2k
n
= 1/n = 1/n cos(
) + i sen(
) , k = 0, 1, . . . , n 1.
n
n
1. Funciones analticas
1.2
Para z = x + iy,
w = u + iv, se tiene:
1. Funciones analticas
Ejemplo 1.1
1. Funci
on real de variable compleja:
f : z S C f (z) = w R,
ai C,
P (z)
Q(z)
Las propiedades de una funcion real de variable real se ponen de manifiesto mediante la grafica de
la funcion, pero las funciones complejas no pueden representarse gr
aficamente ya que
tanto z como w estan en un plano. Sin embargo, puede obtenerse informaci
on sobre la funcion
representando c
omo transforma puntos, rectas, circunferencias, par
abolas, . . .
1. Funciones analticas
10
Ejemplo 1.2
1. Traslaci
on: dado z0 C
f : z S C f (z) = z + z0 C
2. Rotaci
on: dado z0 C, tal que | z0 |= 1
f : z S C f (z) = z0 z C
3. Reflexi
on: por ejemplo, respecto al eje real
f : z S C f (z) = z C
4. Estudiar la transformaci
on:
f : z C f (z) = | z | i Im(z) C
1. Funciones analticas
1.3
11
Lmites
Sea f definida en todos los puntos de un entorno de z0 C, salvo, a lo sumo, en z0. Se dice que:
lim f (z) = w0
zz0
Ejemplo 1.3
iz
i
= .
z1 2
2
lim
Propiedades 1.5
1. El lmite, si existe, es u
nico.
2. Sean f (z) = u(x, y) + i v(x, y), z0 = x0 + i y0, w0 = u0 + i v0. Entonces:
lim f (z) = w0
zz0
zz0
zz0
zz0
zz0
lim
(x,y)(x0 ,y0 )
u(x, y) = u0,
lim
(x,y)(x0 ,y0 )
v(x, y) = v0.
1. Funciones analticas
5. Si lim g(z) 6= 0, entonces:
12
zz0
lim f (z)
f
zz0
lim (z) =
.
zz0 g
lim g(z)
zz0
zz0
1.4
zz0
Continuidad
zz0
1. Funciones analticas
Propiedades 1.6
13
Sean f (z) = u(x, y) + i v(x, y), z0 = x0 + iy0.
f
continua en z0.
g
z1 S / | f (z1) |= M.
1. Funciones analticas
1.5
14
Derivaci
on
f (z) f (z0 )
.
zz0
z z0
f (z) f (z0)
f (z0 + h) f (z0)
= lim
.
zz0
h0
z z0
h
f 0 (z0) = lim
(Observaci
on: Todas las aplicaciones C-lineales son de la forma: (z) = z, con C.)
1. Funciones analticas
15
Se dice que f es C-diferenciable en z0 si existe una aplicacion C-lineal Df (z0) : C C tal que
| f (z0 + h) f (z0 ) Df (z0)(h) |
= 0.
h0
|h|
lim
Teorema 1.2
f derivable en z0 f
Observaci
on 1.5
f derivable en z0 f
C-diferenciable en z0.
f (z) = z
R-diferenciable en z0 .
f (z) =| z |2
1. Funciones analticas
16
Propiedades 1.7
1. f derivable en z0 (cf )0 (z0) = cf 0 (z0).
2. f, g derivables en z0 (f + g)0 (z0) = f 0 (z0) + g 0 (z0).
3. f, g derivables en z0 (f g)0 (z0) = f 0 (z0) g(z0) + f (z0 ) g 0 (z0).
0
f
f 0 (z0) g(z0 ) f (z0) g 0 (z0)
4. f, g derivables en z0, g(z0) 6= 0
(z0) =
.
g
[g(z0)]2
5. f (z) = c f 0 (z0) = 0.
1.6
Ecuaciones de Cauchy-Riemann
1. Funciones analticas
17
u
u
v
v
(x0, y0),
(x0, y0),
(x0, y0),
(x0, y0 ) y se verifican
x
y
x
y
las condiciones de Cauchy-Riemann en (x0, y0):
u
v
(x0, y0) =
(x0, y0),
x
y
u
v
(x0, y0) = (x0, y0).
y
x
Ademas:
f 0 (z0)
u
v
(x0, y0) + i (x0, y0 )
x
x
v
u
(x0, y0) i (x0, y0 ).
y
y
b) Recprocamente, si f esta definida en un entorno del punto z0, existen las derivadas
parciales de u y v respecto a x e y y son continuas en (x0, y0), y se verifican las condiciones de
Cauchy-Riemann en (x0, y0),
entonces
existe f 0 (z0).
Observaci
on 1.6 En realidad, se demuestra que si f es R-diferenciable en z 0 y se verifican las
condiciones de C-R en (x0, y0),
entonces
existe f 0 (z0) .
Observaci
on 1.7 Si f es derivable en z0 entonces:
1. Funciones analticas
1.7
18
Funciones analticas
1. Funciones analticas
19
Si f es analtica en un entorno de z0, salvo en z0, entonces se dice que z0 es un punto singular de f.
Ejemplo 1.5
1
1. z0 = 0 es un punto singular de f (z) = .
z
2. f (z) =| z |2 no tiene puntos singulares, ya que no es analtica en ningun punto.
1.8
Funciones arm
onicas
h = 0.
(x, y) D
1. Funciones analticas
20
Observaci
on 1.9
1. Si f = u + iv es analtica en S, entonces u y v verifican las condiciones de C-R y son de
clase 2 en S como funciones de R2. (Veremos mas adelante que, en realidad, u y v son de clase
en S). Entonces, derivando dichas relaciones:
2u
2v
2u 2u
2u
=
+
= 0.
= 2
x2 yx
y
x2 y 2
2v
2u
2v 2v
2v
=
+
= 0.
= 2
x2
xy
y
x2 y 2
Por tanto, u y v son arm
onicas en S.
2. Recprocamente, si u es arm
onica en S, puede encontrarse otra funcion v arm
onica
en S, tal que f = u + iv es analtica en S. Las funciones u y v se denominan arm
onicas
conjugadas.
Ejemplo 1.6 La funcion u(x, y) = x2 y 2 es armonica en R2. Una de sus funciones armonicas
(Puede probarse que todas las armonicas conjugadas de u son de la forma v(x, y) = 2xy + c, c R.
Funci
on exponencial
Tenemos que definir la funcion exponencial compleja de manera que generalice la real, esto es:
f (x + 0i) = ex , x R.
f 0 (z) = f (z), z C.
Si la definimos de la forma:
f (z) = ex (cos(y) + isen(y)) = ex eiy , z = x + iy
entonces se verifican las dos condiciones. Por tanto, esa sera la definicion de la funcion exponencial.
Propiedades 2.1
1. ez H(C).
d z
2.
e = ez .
dz
3. ez1+z2 = ez1 ez2 .
21
22
4. f (z) = ez es peri
odica de periodo 2i, es decir ez1 = ez2 z1 z2 = 2ki, k Z.
5. ez 6= 0, z C.
6. | ez |= eRe(z) .
7. ez = 1 z = 2ki, k Z.
2.2
Funciones trigonom
etricas
eix eix
sen(x) =
,
2i
eix + eix
cos(x) =
,
2
d
sen(z) = cos(z),
dz
d
cos(z) = sen(z).
dz
3. cos2(z) + sen2(z) = 1.
4. eiz = cos(z) + i sen(z), z C.
5. sen(z) y cos(z) son peri
odicas de periodo 2.
6. sen(z) = 0 z = k, k Z.
(2k + 1)
cos(z) = 0 z =
, k Z.
2
7. sen(z) = sen(x)cosh(y) + i cos(x)senh(y).
cos(z) = cos(x)cosh(y) i sen(x)senh(y).
A partir de estas expresiones se tiene:
|sen(z)|2 = sen2(x) + senh2(y)
|cos(z)|2 = cos2(x) + senh2(y)
donde se ve claramente que sen(z) y cos(z) son funciones no acotadas.
23
2.3
Funciones hiperb
olicas
cos(iz) = cosh(z).
4. cosh2(z) senh2(z) = 1.
5. senh(z) y cosh(z) son peri
odicas de periodo 2i.
6. senh(z) = 0 z = ki, k Z.
(2k + 1) i
cosh(z) = 0 z =
, k Z.
2
24
2.4
25
Funci
on logaritmo y sus determinaciones
z
, de forma que
|z|
Ejemplo 2.1
Arg(1) = 0,
arg/2(1) = 0,
arg (1) = 2.
26
H0
H = {rei / r R+}.
H
Una vez vista la funcion argumento, estudiemos ahora la funcion logaritmo (en base e) y sus determinaciones. El logaritmo esta definido inicialmente para numeros reales positivos. Se extiende a numeros
complejos de la siguiente forma:
log(z) = log(| z |) + i arg(z) , z 6= 0.
Como el argumento admite diferentes determinaciones, lo mismo ocurrira con el logaritmo.
27
log(z)
Log(z)
log (z)
z = r(cos() + isen()) .
28
Tambien se verifica:
(a)
eLog(z) = z ,
(b)
k Z / Log(ez ) = z + 2ki.
d
1
log (z) = .
dz
z
2. log(z1.z2) = log(z1) + log(z2) (falso para determinaciones concretas; ej.: Log, z1 = z2 = 1.)
z1
3. log( ) = log(z1) log(z2).
z2
4. z n = en log(z) .
5. z 1/n = elog(z)/n .
2.5
29
2.6
30
Exponencial de base c
2.7
Funciones inversas
ei ei
= z (ei )2 2izei 1 = 0
2i
p
p
i
2
e = iz 1 z i = log(iz 1 z 2 )
p
arc sen(z) = i log(iz 1 z 2) .
31
Tema 3 Integraci
on en el campo complejo
3.1
w(t)dt =
a
u(t)dt + i
a
v(t)dt.
a
2. Im
3.
Z
w(t)dt
a
(w(t) + z(t))dt =
4. z0 C,
Im(w(t))dt.
a
w(t)dt +
b
a
z0 w(t)dt = z0
Z b
Z
5. w(t)dt
a
b
a
z(t)dt.
a
w(t)dt.
a
| w(t) | dt.
Sea w : [a, b] R C una funcion compleja de variable real continua a trozos. Se dice que w es
derivable en t0 [a, b] si existe:
w(t0 + t) w(t0)
= w0 (t0).
t0
t
lim
34
1. La funci
on z : [a, b] C definida por:
z(x) =
w(t)dt,
a
b
a
3. Si w es de clase 1 en [a, b] y g : [c, d] g([c, d]) = [a, b] es de clase 1 en [c, d], entonces:
Z
w(t)dt =
d
c
(w g)(x)g 0(x)dx.
3.2
35
Contornos
z(t1) 6= z(t2).
Una curva C es simple y cerrada (o de Jordan) si es simple salvo para z(a) = z(b).
36
Ejemplo 3.2
1. Todas las curvas estudiadas en R2:
: t [a, b] R (t) = (x(t), y(t)) R2,
se pueden considerar como curvas complejas:
: t [a, b] R (t) = x(t) + i y(t) C.
2. z(t) = z0 + reit , t [0, 2] representa la circunferencia centrada en z0 y de radio r.
Una curva C se dice derivable de clase 1 si existen y son continuas en [a, b] las derivadas x 0 (t)
e y 0 (t).
| z 0 (t) | dt.
37
Una curva C se dice regular si es una curva derivable de clase 1 y la derivada no se anula en
ning
un punto.
Una curva regular a trozos se llama contorno, esto es: z 0 (t) continua a trozos, z 0 (t) 6= 0, t
[a, b] salvo, a lo sumo, en un numero finito de puntos.
Todo contorno simple cerrado C define dos dominios (un dominio es un conjunto abierto y
conexo) en el plano complejo que tienen a C como frontera com
un. Uno de los dominios es acotado
La orientaci
on positiva de un contorno simple cerrado es aquella tal que al recorrer el contorno el
interior queda a la izquierda.
3.3
38
Integrales curvilneas
f (z)dz =
f (z)dz =
C
b
a
b
a
f (z(t))z 0 (t)dt C,
39
Propiedades 3.2
1. Cualquier cambio de parametrizacion conservando la orientacion no afecta a la integral.
2. Sea C el mismo contorno C, pero recorrido en sentido contrario: C = {z(t) : t [b, a]}.
Entonces:
f (z)dz =
f (z)dz.
C1 C2
z3
z2
z1
f (z)dz =
C
f (z)dz +
C1
f (z)dz.
C2
C C2 z
3
z
z1 2
C1
f (z)dz =
C
C1
f (z)dz
f (z)dz.
C2
6. z0 C,
z0 f (z)dz = z0
40
f (z)dz.
C
Z
f (z)dz M L.
C
6 i
i
3.4
41
Teorema de Cauchy-Goursat
multiplemente conexo
f (z)dz = 0.
42
Observaci
on 3.1 Goursat demostro el teorema pidiendo menos hipotesis. Basta con que f sea
analtica sobre C y en su interior para que el resultado se verifique:
Teorema 3.4 Segunda versi
on del teorema de Cauchy-Goursat
Sea f analtica en una region D simplemente conexa. Entonces, para todo contorno C
simple cerrado en D, se tiene:
f (z)dz = 0.
Observaci
on 3.2 Como consecuencia inmediata, si D es simplemente conexa y si C 1 y C2 son dos
contornos en D con los mismos extremos, se tiene que C1 C2 es un contorno cerrado en D. Entonces,
para toda f analtica en D:
Z
f (z)dz = 0
C1 C2
f (z)dz =
C1
f (z)dz.
C2
43
R = int(C)
n
X
C1
int(Cj )
j=1
C
C2
f (z)dz = 0.
B
dz
4
2
B z + 9z
3.5
44
Sea f continua en un dominio D tal que existe una funcion F analtica en D verificando
F 0(z) = f (z), z D. Entonces se dice que F es una primitiva de f en D.
Observaci
on 3.3 Si se cambia el dominio D, la primitiva de f puede variar.
Teorema 3.6 Sea f una funcion continua en un dominio D con una primitiva F en ese dominio.
Entonces, si C es un contorno en D de extremos z1 y z2 se verifica:
Z
Observaci
on 3.4
1. Por tanto, la integral solo depende de los puntos inicial y final, es decir, es independiente
del camino.
2. Si z1 = z2, es decir, el camino es cerrado, entonces:
Z
f (z)dz = 0.
C
45
Recprocamente:
Teorema 3.7 Sea f una funcion continua en un dominio D y tal que las integrales de f sobre
contornos contenidos en D son independientes del camino. Entonces f tiene primitiva
F en D.
Teorema 3.8 Sean D un dominio y f una funcion continua en D. Entonces dos primitivas
de f en D difieren en una constante.
Observaci
on 3.5 Por el teorema de Cauchy-Goursat, una funcion f analtica en un dominio
D simplemente conexo verifica que cualquier integral sobre un contorno C de D uniendo
dos puntos z1 y z2 es independiente del camino. Por tanto, por el teorema anterior, f tiene
primitiva F en D. As pues:
Z
Tema 4 F
ormula integral de Cauchy
4.1
F
ormula integral de Cauchy
Teorema 4.1 .- Sea f una funcion analtica sobre un contorno C simple cerrado orientado
positivamente y en su interior. Sea z0 cualquier punto interior a C. Entonces:
Z
f (z)
dz = 2i f (z0).
z z0
Es decir, la f
ormula integral de Cauchy indica que los valores que toma una funcion analtica en el
interior de un contorno dependen unicamente de los valores que toma dicha funcion sobre el contorno.
46
z
dz .
(9 z 2 )(z + i)
4.2
47
El objetivo fundamental es probar que, tal como habamos avanzado, una funcion analtica en un punto
tiene derivadas de cualquier orden en ese punto.
Teorema 4.2 Sea f una funcion analtica sobre un contorno C simple cerrado orientado positivamente y en su interior. Sea z0 cualquier punto interior a C. Entonces:
Z
f (z)
dz = 2i f 0(z0).
2
(z z0)
f (z)
dz.
(z z0)n+1
Teorema 4.3 Si f es una funcion analtica en z0, entonces f tiene derivadas de todos los
o
rdenes en z0 y son analticas en z0 .
4.3
48
entonces f es analtica en D.
f (z)dz = 0,
C
Observaci
on 4.1 Para funciones continuas el Teorema de Morera representa el recproco al Teorema
de Cauchy-Goursat.
Observaci
on 4.2 Si se conoce la analiticidad de una funcion f en un dominio D excepto en un punto
z0 y se sabe que f es continua en D, entonces se puede concluir que f es analtica en D.
Ejemplo 4.2 La funcion
es analtica en todo C.
sen(z) si z 6= 0
z
f (z) =
1
si z = 0
49
(As, si f H(D), no constante y continua sobre su frontera, entonces | f (z) | alcanza el maximo
sobre la frontera y no en el interior de D).
Observaci
on 4.3 La condicion f (z) 6= 0, z D es necesaria para obtener el resultado anterior.
Considerar, por ejemplo, la funcion f (z) = z.
Teorema 4.7 Teorema de Liouville
Toda funcion entera y acotada es constante.
Tema 5 Series
5.1
Series de n
umeros complejos
Una sucesi
on de n
umeros complejos es una aplicacion:
z : n N z(n) = zn C,
que
f : n N f (n) = fn F,
que suele representarse como {fn}.
50
5. Series
51
n
X
m=0
X
n=0
zn .
zm ,
n N.
5. Series
52
zn = s
n=0
X
n=0
n=0
X
n=0
| zn | es convergente.
n=0
lutamente convergente.
De manera analoga, una serie de funciones
n=0
5. Series
53
Propiedades 5.1
1. Sea zn = xn + iyn . Entonces:
zn converge
n=0
2.
X
n=0
3.
X
n=0
5.2
zn converge
| zn | converge
X
n=0
xn ,
yn convergen.
n=0
lim zn = 0.
zn converge.
n=0
Series de potencias
X
an(z z0)n , donde {an} es una sucesi
on de n
umeros complejos.
n=0
5. Series
54
X
n=0
X
n=0
parcial n
esima. Se llama resto n
esimo de la serie:
n
X
m=0
5. Series
55
Teorema 5.2 Si z1 es un punto interior del disco de convergencia de una serie de potencias centrada en z0, entonces la serie es uniformemente convergente en el disco cerrado | zz0 || z1 z0 |.
Corolario 5.1 La funci
on suma de la serie s(z) =
X
n=0
disco de convergencia.
X
n=0
X
n=0
| an | r n
5. Series
56
Criterio de Cauchy:
Sea {n} una sucesion de numeros reales no negativos y sea l = lim n 1/n. Entonces, si l < 1 la
X
serie
n es convergente, si l > 1 la serie es divergente y, si l = 1 el criterio no decide.
n=0
Criterio de DAlembert:
Sea {n } una sucesion de numeros reales positivos. Entonces,
X
n+1
si lim
< 1 la serie
n es convergente,
n
n=0
si lim
n+1
> 1 la serie es divergente y,
n
si lim
n+1
n+1
1 lim
el criterio no decide.
n
n
5. Series
57
X
n=0
| a n | | z z 0 |n =
1
lim | an |
1/n
X
n=0
| an | rn se obtiene la f
ormula
1
1
= 2 .
| an+1 |
| an+1 |
lim
lim
| an |
| an |
Observaci
on 5.2 Interpretaci
on de la desigualdad anterior: Si < 1 la serie converge. Si
> 2 entonces la serie no converge.
Adem
as, si existe el lmite, entonces:
1
.
| an+1 |
lim
n | an |
5. Series
58
Ejemplo 5.1
1.
X
zn
n=0
2.
X
zn
n=0
3.
n2
= .
= 1.
X
nn z n
n=0
4.
n!
n!
2
zn ,
1
= .
e
= 1.
n=0
5.
X
n=0
zn =
1
si |z| < 1. Ademas, = 1.
1z
5. Series
5.3
59
Integraci
on y derivaci
on de series de potencias
X
n=0
convergencia). Sea C un contorno en dicho disco, y sea g(z) una funcion continua en C. Entonces:
Z
g(z)s(z)dz =
an
n=0
n=0
g(z)(z z0)ndz.
X
Teorema 5.4 La funcion s(z) =
an (z z0)n, puede derivarse t
ermino a t
ermino en el
n=0
X
n=1
n an(z z0)n1,
5. Series
5.4
60
Series de Taylor
X
f (n (z0)
n=0
n!
(z z0)n.
1
en torno al punto z0 = 2.
1 z2
3z 30
2. Calcular la serie de Taylor de f (z) =
en torno al punto z0 = 1.
(z + 4)2(z 2)
5. Series
5.5
61
Sea f una funcion analtica en el punto z0. Entonces, para el disco | z z0 |< R se tiene una
representaci
on de Taylor:
f (z) =
X
n=0
an(z z0 )n,
f (n (z0)
con an =
, n N
n!
Si f (i (z0) = 0, i = 0, 1, . . . , m 1,
f (z) = (z z0)m
X
n=0
am+n(z z0)n,
5. Series
62
Series de Laurent
y R1, con R0 < R1. Sea f una funcion analtica en C0, C1 y en la corona que encierran. Entonces,
para todos los puntos z en la corona R0 <| z z0 |< R1 se tiene:
f (z) =
X
n=0
an(z z0)n +
donde:
63
X
n=1
bn
,
(z z0)n
6. Residuos y polos
64
f (z)
dz,
n+1
(z
z
)
0
C1
1
an =
2i
1
bn =
2i
f (z)
dz,
n+1
(z
z
)
0
C0
n = 0, 1, 2, . . .
R0
n = 1, 2, 3, . . .
X
n=1
R1
X
n=0
bn
se denomina parte principal de f .
(z z0)n
Las propiedades vistas para series de potencias siguen siendo validas para las series de Laurent si
consideramos los dominios apropiados.
As, si denotamos:
R=
1
lim | an |
,
1/n
r = lim | bn |1/n,
6. Residuos y polos
65
Observaci
on 6.1
1. Si f es analtica en todo el interior de C1 entonces, por el teorema de Cauchy-Goursat,
bn = 0, n 1. En consecuencia, lo que se tiene es el desarrollo de Taylor.
n=
donde:
1
cn =
2i
f (z)
dz,
(z z0)n+1
cn(z z0)n ,
C0
n = 0, 1, 2, . . .
X
1
z n , si |z| < 1
=
z1
n=0
6. Residuos y polos
6.2
66
Residuos
X
n=0
an(z z0)n +
X
n=1
bn
.
(z z0)n
Al numero:
1
b1 =
2i
f (z)dz,
C
6. Residuos y polos
67
interior, salvo en un numero finito de singularidades aisladas z1, z2, . . . , zn . Sean B1, B2, . . . , Bn
Observaci
on 6.2 Este resultado se puede interpretar como una generalizacion de la Formula Integral
de Cauchy.
6.3
Clasificaci
on de singularidades
X
X
bn
n
f (z) =
an(z z0 ) +
, en el anillo 0 <| z z0 |< R.
n
(z
z
)
0
n=0
n=1
Entonces:
6. Residuos y polos
68
Por ejemplo:
(a) La funcion
z 2 2z + 3
3
f (z) =
= 2 + (z 2) +
z2
z2
X zn
ez
1
1
1
f (z) = 3 = 3 + 2 +
+
z
z
z
2! z n=0 (n + 3)!
X
1
=1+
n! z n
n=1
6. Residuos y polos
69
Por ejemplo:
sen(z) X
z 2n
n
f (z) =
(1)
=
z
(2n + 1)!
n=0
Observaci
on 6.3 El nombre de singularidad evitable se utiliza por el hecho de que si redefinimos
la funcion en z0 de forma que sea continua, esto es:
f (z0 ) = lim f (z),
zz0
la nueva funcion ya no presenta singularidad en dicho punto, como consecuencia de la Observacion 4.2.
As, en el ejemplo anterior, si redefinimos:
sen(z) ,
z
f (z) =
1,
z 6= 0
z=0
6. Residuos y polos
6.4
70
C
alculo efectivo de residuos
6. Residuos y polos
71
3. Existe una funcion definida en un entorno de z0, analtica en z0 y verificando (z0) 6= 0 tal
que, en ese entorno:
f (z) =
(z)
(z z0)m
Observaci
on 6.4
1. Como consecuencia se tiene que si z0 es un polo de orden m de f , entonces:
y, ademas, el residuo de f en z0 viene dado por:
lim f (z) =
zz0
1
d(m1
(m1 (z0)
Res(f, z0) =
=
lim m1 {f (z).(z z0)m}.
(m 1)!
(m 1)! zz0 dz
2. Tambien se deduce que z0 es un POLO de orden m de f si y s
olo si z0 es un CERO
1
de orden m de .
f
6. Residuos y polos
72
p(z)
.
q(z)
1. Sea f (z) =
ez 1
(b)
z2
(c)
z+1
z1
6. Residuos y polos
6.5
73
Aplicaci
on al c
alculo de integrales reales
6.5.1
Integrales trigonom
etricas
R(cos(), sen()) d
0
dz
dz
= i ,
iz
z
ei + ei 1
1
cos() =
= (z + ),
2
2
z
6. Residuos y polos
74
la integral trigonom
etrica se transforma en la integral compleja:
i
1
1 1
1 dz
R( (z + ), (z )) .
2
z 2i
z z
|z|=1
d
a + cos()
a > 1.
En primer lugar, teniendo en cuenta que la funcion cos() es par, es decir, toma los mismos valores en
el intervalo [0, ] que en [, 2], se puede escribir:
Z
1 2
d
I=
.
2 0 a + cos()
I = i
dz
2
|z|=1 z + 2az + 1
a2 1,
= a a2 1,
= a +
(| |< 1),
(| |> 1),
6. Residuos y polos
75
y el residuo de f en es:
Res(f, ) =
Entonces:
Ejemplo 6.2
I = i 2i Res(f, ) =
.
a2 1
Z
6.5.2
1
1
.
=
2 a2 1
X
1
e2 cos() d = 2
2
(n!)
n=0
Integrales impropias
R(x) dx
P (x)
tal que:
Q(x)
el grado de denominador es, al menos, dos unidades mayor que el del numerador,
el demominador no tiene races reales.
6. Residuos y polos
76
El procedimiento de calculo consiste en integrar la funcion compleja R(z) sobre la curva cerrada C
formada por el intervalo [, ] y la semicircunferencia de centro 0 y radio situada en el semiplano
superior.
Si es suficientemente grande, C encierra todos los polos zk de R(z) situados en el semiplano superior,
y entonces:
Z
R(z) dz = 2i
Res(R, zk ).
Im(zk )>0
Por otra parte, utilizando la Propiedad 3.2.7 y debido a las hipotesis sobre R, se tiene:
Z
Z
Z
lim
R(z) dz = 0, lim
R(z) dz =
R(x) dx.
[,]
Por tanto:
R(x) dx = 2i
Im(zk )>0
Res(R, zk ).
6. Residuos y polos
77
2x2 1
dx.
x4 + 5x2 + 4
2x2 1
En primer lugar, teniendo en cuenta que la funcion R(x) = 4
es par, se puede escribir:
x + 5x2 + 4
Z
1
I=
R(x) dx.
2
El integrando tiene cuatro polos simples i, 2i. Por tanto, si tomamos > 2 la curva C encierra
en su interior los dos polos situados en el semiplano superior, i y 2i. As pues:
Z
Z
Z
R(z) dz =
R(z) dz +
R(z) dz
C
[,]
Entonces:
1
Res(R, i) = ,
2i
Z
Res(R, 2i) =
R(z) dz =
2
[,]
3
.
4i
R(z) dz.
6. Residuos y polos
78
y por tanto:
Entonces:
22 + 1
| R(z) | 2
,
( 1)(2 4)
z .
Z
22 + 1
,
R(z) dz 2
( 1)(2 4)
R(x) dx = lim
En consecuencia:
I=
R(z) dz =
[,]
1
= .
2 2
4
.
2
6. Residuos y polos
79
Veamos, finalmente, un ejemplo donde el denominador tiene races reales simples. En este caso
tendremos que utilizar el siguiente lema:
Lema 6.1 Si f tiene en z0 un polo simple, y es un arco circular de angulo de la circunferencia
de centro z0 y radio positivamente orientada, entonces:
lim
1
dx.
2 + 1)(x + 1)
(x
El integrando tiene tres polos simples 1, i. Por tanto, si tomamos > 1 y suficientemente pequeno,
C,
i
1+
6. Residuos y polos
As pues:
80
R(z) dz =
C,
R(z) dz +
[,1]
R(z) dz +
[1+,]
R(z) dz
1+i
,
4
1
Res(R, 1) = .
2
2
1
| (z + 1)(z + 1) | = | z + 1 | | z + 1 | |z| 1 |z| 1 (2 1)( 1),
y por tanto:
Z
1
,
R(z) dz 2
( 1)( 1)
6. Residuos y polos
81
lim
R(z) dz = i Res(R, 1) .
R(x) dx = lim
= lim
Z
Z
R(z)dz +
[,1]
C,
R(z) dz lim
R(z)dz
R(z) dz lim
[1+,]
= 2iRes(R, i) + i Res(R, 1) 0
= 2i
1 + i i
+
= .
4
2
2
R(z) dz
Tema 7 Aplicaci
on: La transformada en z
7.1
Definici
on
Dada una sucesion de numeros complejos {an}nZ se define la transformada z de {an} como la
serie:
f (z) =
an z n ,
n=
Observaci
on 7.1
1. Si la serie de Laurent
entonces:
n=
r1 =
1
,
R
1
r2 = .
r
7. Aplicacion: La transformada en z
83
3. La funcion f es u
nica.
4. El dominio de convergencia puede ser vaco: Como la transformada z puede descomponerse
en f (z) = f1(z) + f2(z), con:
f1(z) =
X
n=0
an z n ,
f2(z) =
1
X
an z n =
n=
X
n=1
an z n ,
Ejemplo 7.1
1. Transformada z de una sucesi
on de longitud finita:
Supongamos que solo un numero finito de coeficientes an 6= 0, entonces: f (z) =
en el dominio 0 <| z |< .
M
X
an z n
n=N
X
Supongamos que an = 0, n < N, entonces: f (z) =
an z n en el dominio r1 <| z |< .
n=N
7. Aplicacion: La transformada en z
84
7.2
C
alculo pr
actico
an z n ,
n=
r1 <| z |< r2 ,
para calcular r1 y r2, segun se deduce de la Observacion 7.1, se tienen las formulas:
r1 = lim | an |1/n ; r2 =
1
, n N.
lim | an |1/n
7. Aplicacion: La transformada en z
85
b
0, n < 0
Ejemplo 7.3 Para c C dado, se tiene la sucesi
on anticausal:
(
z
0,
n0
,
an =
, la transformada z es f (z) =
n
z
c
c , n < 0
| b |<| z |< .
0 | z |<| c | .
Como puede verse, en los dos ejemplos anteriores se obtiene la misma expresi
on para f (z), pero
en dominios diferentes.
Ejemplo 7.4 Para b, c C dados, se tiene la sucesion:
(
n0
bn ,
an =
cn, n < 0
Si | c || b |, no existe la transformada z de dicha sucesion.
Si | c |>| b |, la transformada z de dicha sucesion es:
f (z) =
z
z
+
,
zb zc
| b |<| z |<| c | .
7. Aplicacion: La transformada en z
7.3
86
Inversi
on de la transformada
Conocida una funcion f analtica en la corona circular centrada en el origen r 1 <| z |< r2, el objetivo
es encontrar la sucesion {an}nZ tal que:
f (z) =
an z n
n=
1
en dicha corona. (Es decir, los coeficientes del desarrollo en serie de Laurent de f en = .)
z
Este problema tiene sentido siempre que f sea analtica en la corona.
Ejemplo 7.5 Por lo visto anteriormente, la transformada inversa z de:
f (z) =
es la sucesion:
z
,
z1
an =
1 <| z |<
1,
0,
n0
n<0
7. Aplicacion: La transformada en z
87
an z n ,
n=
z n1 f (z)dz,
C
n Z,
donde C es cualquier circunferencia centrada en el origen y de radio r con r 1 < r < r2, recorrida en
el sentido positivo.
z
C
n1
f (z)dz = 2i
Res(z n1 f (z), zk )
zk
7. Aplicacion: La transformada en z
88
Por tanto:
an =
Res(z n1 f (z), zk ) .
|zk |r1
Observaci
on 7.2 Puesto que la funcion f (z) es analtica en la corona r 1 <| z |< r2, las singularidades aisladas de la funcion z n1 f (z) en el interior de C solo pueden ser el cero y las
an =
f (z) =
z
,
z1
1 <| z |<
es
1,
0,
n 2
n < 2
z+2
,
1
2(z 2 )(z 3)
0 | z |<
1
2
es
0,
2n 3n1,
n1
n<1
1
<| z |< 1
2
es
an =
22n,
4 2n,
n0
n<0
7. Aplicacion: La transformada en z
7.4
89
Propiedades
an z n ,
n=
n=
bn z n ,
Sean tambien , C; m Z. Entonces {cn }nZ tiene como transformada z la funcion h(z):
(1) Linealidad
c n = an + bn ,
(2) Traslacion
cn = anm ,
(3) Modulacion
cn = n an, 6= 0,
(4) Derivacion
cn = nan,
(5) Simetra
cn = an ,
h(z) = z m f (z),
r1 <| z |< r2 .
z
h(z) = f ( ),
| | r1 <| z |<| | r2.
h(z) = zf 0 (z),
r1 <| z |< r2.
1
1
1
h(z) = f ( ),
<|
z
|<|
.
r
r
2
1
z
(6)
(7)
Convolucion
discreta
Convolucion
compleja
cn = a n b n =
k=
Z
0
1
z
0 dz
cn = a n bn ,
h(z) =
f ( 0 ) g(z ) 0 ,
r1r10 <| z |< r2r20
2i C z
z
donde C es cualquier circunferencia de centro el origen y radio r tal que r 10 < r < r20 .
9.1
Definiciones
Se llama ecuaci
on diferencial a toda ecuacion que contiene las derivadas de una o mas variables
dependientes respecto a una o mas variables independientes.
Se llama ecuaci
on diferencial ordinaria (E. D. O.) a una ecuacion diferencial en la que aparecen
derivadas ordinarias de una o mas variables dependientes respecto a una u
nica variable independiente.
Se llama ecuaci
on diferencial en derivadas parciales (E. D. P.) a una ecuacion diferencial en la
que aparecen derivadas parciales de una o mas variables dependientes respecto a m
as de una
variable independiente.
90
91
Muchas de las leyes generales de la naturaleza encuentran su expresion mas natural en el lenguaje de
las ecuaciones diferenciales. Tambien tienen multiples aplicaciones en Geometra, Ingeniera, Economa
y muchos otros campos de las Ciencias Aplicadas.
Se denomina orden de una ecuacion diferencial al orden de la derivada m
as alta entre todas las
que figuran en dicha ecuacion.
d2 y
dy 3
x
Ejemplo 9.1 La ecuacion:
+
xy(
=
e
tiene orden 2.
)
dx2
dx
Una ecuacion diferencial ordinaria lineal de orden n en la variable dependiente y y en la variable
independiente x es una ecuaci
on que puede expresarse de la forma:
dn y
dn1y
dy
a0(x) n + a1(x) n1 + + an1 (x) + an(x)y = b(x),
dx
dx
dx
donde a0(x) es una funcion no id
enticamente nula.
d3 y
3 3 +y =2
dx
es una E. D. O. lineal de orden 3 y coeficientes constantes.
2.
d2 y
dy
2
+
5
2)y = 22x
+
(x
dx2
dx
es una E. D. O. lineal de orden 2 y coeficientes variables.
3.
d4 y
3
xe
=
25
x
dx4
x
d2 y
dx2
2
+ 5y
dy
=x
dx
92
93
Consideremos la E. D. O. de orden n:
dy d2y
dn y
F (x, y, , 2 , . . . , n ) = 0,
dx dx
dx
donde F es una funci
on real de sus (n+2) argumentos.
Sea f una funcion real definida para todo x en un intervalo real I que posea derivada n-
esima en
todo I. La funcion f es una soluci
on explcita de la E. D. O. en el intervalo I si satisface que:
n
x I.
Es decir, la sustituci
on de y por f en la E. D. O. reduce la ecuacion a una identidad en I.
Se dice que una relacion g(x, y) = 0 es una soluci
on implcita de la E. D. O. en el intervalo I si esta
relacion define, al menos, una funci
on real f de la variable x en I de manera que esta funcion sea
una soluci
on explcita de la E. D. O. en dicho intervalo I.
d2 y
+y =0
dx2
x R.
2. La relacion:
x2 + y 2 25 = 0
es una soluci
on implcita de la E. D. O.
dy
=0
dx
en el intervalo I = (5, 5). En efecto, dicha relacion define dos funciones:
p
f1(x) = 25 x2, x I,
p
f2 (x) = 25 x2, x I,
x+y
94
95
Observaci
on 9.1 La relacion:
x2 + y 2 + 25 = 0
tambien podra ser una solucion implcita de la E. D. O.
x+y
dy
= 0,
dx
dy
= 0,
dx
que es equivalente a la E. D. O.
Por tanto, esta relacion satisface formalmente la E. D. O. pero de aqu no podemos deducir que sea una
soluci
on implcita, ya que no define una solucion real explcita. (La funcion:
p
f (x) = 25 x2
toma valores complejos en toda la recta real).
96
97
Observaci
on 9.2 En general, la familia de curvas no englobara todas las soluciones de la E. D. O.
Observaci
on 9.3 Tampoco se podra asegurar que para una E. D. O. dada, exista una familia de
curvas que sea su solucion.
Ejemplo 9.5 Sea la E. D. O. de primer orden:
Las funciones de la forma:
dy
= 2x .
dx
g(x, c) = hc(x) = x2 + c ,
x R,
son soluciones de dicha ecuacion para cualquier c R. Es decir, tenemos una familia de soluciones, que
se denomina soluci
on general.
dy
= G(x, y),
dx
donde G es una funcion real que hace corresponder a cada punto (x, y) una pendiente G(x, y). Supongamos que dicha E. D. O. tiene una familia de soluciones de la forma y = g(x, c) donde c es el
parametro de la familia.
98
A su representaci
on geom
etrica en el plano se le llama familia uniparam
etrica de curvas
(las pendientes de cada punto de las curvas vienen dadas directamente por la E. D. O.). Cada una
de las curvas de la familia recibe el nombre de curva integral de dicha ecuacion.
Ejemplo 9.6 Consideremos de nuevo la E. D. O. de primer orden:
dy
= 2x.
dx
Esta ecuacion tiene una familia de soluciones:
y = x2 + c,
x R.
Su representacion geometrica es la familia uniparametrica de curvas, donde cada una de las curvas
integrales es una parabola.
99
100
Trayectorias ortogonales
Sea g(x, y, c) = 0 una familia uniparam
etrica de curvas. Cuando una curva corta a todas las
angulos rectos, recibe el nombre de trayectoria ortogonal a la familia
curvas de la familia en
dada.
Por ejemplo, dada la familia uniparametrica de circunferencias centradas en el origen, x 2 + y 2 = r2,
cualquier recta pasando por el origen es una trayectoria ortogonal.
Si g(x, y, c) = 0 es una familia uniparametrica de curvas, tendra asociada una E. D. O. de primer
orden:
dy
= G(x, y).
dx
Por tanto, cualquier curva de la familia que pase por el punto (x, y) debera tener pendiente G(x, y)
en ese punto. Puesto que una trayectoria ortogonal a la familia corta a cada curva de la familia formando
1
un angulo recto, la pendiente de la trayectoria ortogonal en el punto (x, y) debera ser
.
G(x, y)
101
Trayectorias oblicuas
Sea g(x, y, c) = 0 una familia uniparametrica de curvas. Se denomina trayectoria oblicua a la familia a cualquier curva que corta a todas las curvas de la familia formando un
angulo constante 6= 2 .
Si la familia uniparam
etrica de curvas tiene asociada una E. D. O. de primer orden:
dy
= G(x, y),
dx
entonces la pendiente de la curva de la familia que pase por el punto (x, y) es G(x, y), esto es,
el
angulo que forma es arctg(G(x, y)). Por tanto, la trayectoria oblicua a la familia formara un
angulo arctg(G(x, y)) + en el punto (x, y).
tg(a) + tg(b)
1 tg(a) tg(b)
102
9.3
103
y 0 = 2x,
y(1) = 4,
y(x) = x2 + 3.
00
+ y = 0,
tiene como soluci
on u
nica:
y() = 3,
y 0 () = 4,
104
00
y + y = 0,
y(0) = 1,
y( ) = 5,
2
no tiene soluci
on.
00
y + y = 0,
y(0) = 1,
y() = 5,
dy
= f (x, y) , donde f es una funcion definida en un cierto
dx
El problema de Cauchy (o de valor inicial) asociado a dicha ecuacion consiste en hallar una
solucion y de la ecuacion diferencial definida en un intervalo real que contenga al punto x 0 y que
satisfaga la condici
on inicial: y(x0) = y0.
Generalmente, el problema de Cauchy se escribe de la forma abreviada:
(
y 0 = f (x, y),
y(x0 ) = y0 .
10.2
106
dy
= f (x, y).
dx
existe una u
nica soluci
on y de la ecuacion
Observaci
on 10.1 Las condiciones que se imponen en el teorema anterior son suficientes pero no
f
necesarias, es decir, pueden rebajarse. En efecto, la continuidad de
puede sustituirse por
y
una propiedad mas debil para f , conocida como condici
on de Lipschitz (en la variable y):
L > 0 / | f (x, y1) f (x, y2 ) | L | y1 y2 | ,
107
f
= 2y son continuas en todo R2. Por tanto, el problema de
y
Cauchy tiene solucion unica y(x) definida en el intervalo (1 , 1 + ).
Ejemplo 10.2
1. Consideremos el problema:
y 0 = y ,
x
y(1) = 2.
y
1
f
Tanto f (x, y) = como
= son continuas en todos los puntos (x, y) R2 tales
y
x
x
que x > 0. Por tanto, el problema de Cauchy tiene solucion unica y(x) definida en el intervalo
(1 , 1 + ).
x1)
, x (0, ).
108
y 0 = y ,
x
y(0) = 2.
y
Como f (x, y) = no es continua en el punto (0, 2), no podemos asegurar que el problema tenga
x
solucion, pero tampoco que no la tenga.
Ejercicio 10.1 Se considera la funcion:
x3 + x2y xy 2 y 3
f (x, y) =
.
2x2y + 4xy 2 + 2y 3
1. Estudiar la existencia y la unicidad de solucion del problema:
y 0 = f (x, y),
y(1) = 3.
y(1) = 1.
10.3
109
Prolongaci
on de soluciones. Soluci
on maximal
y 0 = f (x, y),
y(x0 ) = y0 ,
110
10.4
y(x0) = y2,
tengan soluci
on u
nica definida en el intervalo | x x0 | h y que denotaremos, respectivamente,
en | x x0 | h.
111
y(x0) = y0,
tengan soluci
on u
nica definida en el intervalo | x x0 | h y que denotaremos, respectivamente,
(ekh 1),
k
en | x x0 | h.
112
Tema 11 Resoluci
on de E.D.O. de orden 1
Dada una E. D. O. de primer orden: y 0 = f (x, y), estudiaremos distintos metodos para calcular
la soluci
on y(x) de la ecuacion, verificando la condici
on inicial: y(x 0 ) = y0 .
11.1
Ecuaciones exactas
y0 =
P (x, y)
Q(x, y)
se dice que es una ecuacion diferencial EXACTA si existe una funcion V (x, y) verificando:
P (x, y) = xV (x, y),
La u
nica soluci
on y(x) de la ecuacion verificando y(x0) = y0 vendra dada por la expresion:
V (x, y) = V (x0, y0).
Ejemplo 11.1 La ecuacion:
es exacta, pues basta tomar V (x, y) = x y
y
y0 = ,
x
113
y(x0) = y0 ,
114
x0 y 0
.
x
P (x, y)dx +
x0
y0
Q(x0, y)dy,
11.2
115
P (x)
.
Q(y)
y0
x
y0 = ,
y
y(x0 ) = y0 ,
11.3
116
Ecuaciones homog
eneas
y0 u
y = ux y = u x+u u =
.
x
0
G(u) u
1/x
= 1 .
x
G(u)+u
y(x0) = y0,
y2
y02
log(x) + 2 = log(x0) + 2 .
2x
2x0
11.4
117
La ecuacion:
dy
=F
dx
ax + by + c
f x + gy + h
X = x ,
Y = y ,
donde y son la u
nica soluci
on del sistema:
(
a + b + c = 0
f + g + h = 0
aX + bY
f X + gY
2x + 5y 1
, y(x0) = y0.
x+y+2
118
Observaci
on 11.1 En el caso en que a g = b f se deduce que (a, b) = k (f, g) y entonces la
ecuacion queda:
y0 = F
k (f x + gy) + c
f x + gy + h
11.5
2x + 4y 1
, y(x0) = y0.
x + 2y + 1
Factores integrantes
y0 =
P (x, y)
,
Q(x, y)
P (x, y) (x, y)
Q(x, y) (x, y)
119
3y + 4xy 2
y =
2x + 3x2y
0
no es exacta, pues:
y P = 3 + 8xy 6= 2 + 6xy = xQ.
Si consideramos la funcion (x, y) = x2y, entonces:
3y 2x2 + 4x3y 3
y = 3
2x y + 3x4y 2
0
ya es exacta, pues:
y (P ) = 6x2y + 12x3y 2 = x (Q ).
Por tanto, (x, y) = x2y es un factor integrante.
A fin de calcular un factor integrante de la ecuacion:
debemos imponer que la ecuacion:
y0 =
sea exacta, o equivalentemente:
y0 =
P (x, y) (x, y)
Q(x, y) (x, y)
P (x, y)
,
Q(x, y)
120
y (P ) = x (Q )
y P + P y = x Q + Q x
(y P x Q) = Q x P y .
Esta ecuacion en derivadas parciales puede resolverse en algunos casos sencillos:
y P x Q
= depende unicamente de x, entonces se tiene el factor integrante
Q
dependiente exclusivamente de x:
1. Si
(x) = e
(x)dx
y P x Q
= depende unicamente de y, entonces se tiene el factor integrante
P
dependiente exclusivamente de y:
2. Si
(y) = e
(y)dy
(x + y),
(x ey ), . . .
121
(x) =
1
,
x2
y
, y(x0 ) = y0
x 3x3y 2
11.6
122
Ecuaciones lineales
Una ecuacion LINEAL de primer orden tiene la expresion: y 0 + p(x) y = q(x), o equivalentemente:
y0 =
Como:
p(x) y q(x)
P (x, y)
.
=
1
Q(x, y)
y P x Q
= p(x),
Q
p(x)dx
y(x) = e
p(x)dx
Z
q(x) e
p(x)dx
dx + C
1
y(x) = x2 + .
x
11.7
123
Ecuaci
on de Bernouilli
= q(x)
yn
y n1
De modo que puede reducirse a una ecuaci
on lineal mediante el cambio de variable:
z = y 1n =
Teniendo en cuenta que:
z0 =
1
y n1
1n 0
y
yn
se obtiene la ecuaci
on lineal:
z 0 + (1 n)p(x) z = (1 n)q(x).
124
xy 0 + y = x4y 3
1
y(x) =
Cx2 x4
11.8
Ecuaci
on de Ricatti
1
u(x)
125
2. Mediante la sustituci
on:
y(x) = y1 (x) + u(x)
la ecuacion de Ricatti se reduce a la ecuaci
on de Bernouilli (n = 2):
u0 [b(x) + 2c(x) y1(x)] u = c(x) u2.
Ejercicio 11.9 Consideramos la ecuacion:
y 0 = 1 + x2 2xy + y 2 .
Utilizando las dos sustituciones indicadas anteriormente, comprobar que y 1 (x) = x es una solucion
particular de la ecuacion y calcular una solucion que verifique la condicion inicial y(0) = 1.
11.9
Si se tiene la ecuaci
on diferencial en forma implcita G(x, y, y 0 ) = 0 y no se puede (o es complicado) despejar y 0 tambien puede resolverse la ecuacion despejando, por ejemplo, y.
126
p = y0
y derivando la ecuacion:
y = xp + f (p)
p = xp0 + p + f 0 (p) p0
[x + f 0 (p)] p0 = 0
p0 = 0 p = C
x + f 0 (p) = 0
y(x) = Cx + f (C)
(Soluci
on general)
f 0 (p) = x
p = g(x)
127
x2
y(x) = .
4
Observaci
on 11.2 En el ejemplo anterior, la existencia de solucion para el problema de Cauchy
y2(x) = x + 1.
Para y(0) = 1 no vale la solucion singular ni la general para ningun valor real de la constante
C. (Imponiendo la condicion inicial, se obtienen los valores complejos C = i ). Por tanto, no
existen soluciones reales.
Tema 12 M
etodos num
ericos para el problema de
Cauchy
12.1
Introducci
on
a x b,
128
129
Dado el intervalo de integracion [a, b] y dado el numero natural N se define el paso de discretizaci
on:
h=
ba
N
n = 0, 1, . . . , N.
x0 x1 x2 . . . xN 1 xN
Un m
etodo de discretizaci
on proporciona, a partir de la condicion inicial y(x 0 ) = y0 , los valores
aproximados de la soluci
on en los N puntos x1, x2, . . . , xN de la forma:
yn ' y(xn ),
n = 1, 2, . . . , N.
Si el valor de yn se calcula exclusivamente a partir de xn1 , yn1 el metodo se dice de un paso. Si,
por el contrario, es preciso conocer los valores xnk , ynk , . . . , xn1, yn1 , el metodo se dice de varios
pasos (o multipaso) con n
umero de pasos igual a k.
En la practica los metodos mas usados son los de un paso y los multipaso lineales.
12.2
130
M
etodos de un paso
Los m
etodos de un paso corresponden a la forma general:
yn yn1 = h (xn1, yn1 , h),
n = 1, 2, . . . , N.
y(x + h) y(x)
,
h
de donde:
y(x + h) = y(x) + h f (x, y(x)).
Se puede entonces aproximar la solucion en la forma:
yn = yn1 + h f (xn1 , yn1 ),
n = 1, 2, . . . , N.
Este metodo, que es el mas simple para resolver problemas de valor inicial, se conoce como m
etodo
de Euler y tiene orden 1.
131
y 0 = 2y , 0 < x < 3
1+x
y(0) = 1
n = 1, 2, . . . , N,
donde:
K1 = f (xn1 , yn1 ).
(Coincide exactamente con el m
etodo de Euler).
2. Runge-Kutta de orden 2 (clasico):
h
yn = yn1 + (K1 + K2),
2
n = 1, 2, . . . , N,
132
donde:
K1 = f (xn1, yn1 ),
K2 = f (xn1 + h, yn1 + h K1).
Conocido como m
etodo de Heun.
3. Runge-Kutta de orden 2:
yn = yn1 + h K2,
n = 1, 2, . . . , N,
donde:
K1 = f (xn1 , yn1 ),
K2 = f (xn1 + h2 , yn1 + h2 K1).
Conocido como m
etodo de Euler modificado.
4. Runge-Kutta de orden 3:
yn = yn1 +
h
(2K1 + 3K2 + 4K3),
9
n = 1, 2, . . . , N,
donde:
K1 = f (xn1, yn1 ),
K2 = f (xn1 + h2 , yn1 + h2 K1),
K3 = f (xn1 + 3h
, yn1 + 3h
K2).
4
4
133
5. Runge-Kutta de orden 4:
yn = yn1 +
h
(K1 + 2K2 + 2K3 + K4),
6
n = 1, 2, . . . , N,
donde:
K1 = f (xn1, yn1 ),
K2 = f (xn1 + h2 , yn1 + h2 K1),
K3 = f (xn1 + h2 , yn1 + h2 K2),
K4 = f (xn1 + h, yn1 + h K3).
Es el metodo mas utilizado, conocido como m
etodo cl
asico.
Observaci
on 12.1 Como puede verse en los ejemplos anteriores, no existe un unico metodo de RungeKutta para cada orden p, sino que hay toda una familia de metodos para un orden dado.
134
y0 = 2 y
y(1) = 1
R-K 1
R-K 2
R-K 3
R-K 1
R-K 2
R-K 3
R-K 4 exacta
1.0000
1.0000
1.0000
1.0000
1.0
1.0000
1.0000
1.0000
1.0000
1.0000
1.5
2.0000
2.2247
2.2461
2.2493
2.2500
2.0
3.4142
3.9483
3.9927
3.9988
4.0000
2.5
5.2620
6.1713
6.2397
6.2483
6.2500
3.0
7.5559
8.8940
8.9868
8.9979
9.0000
2
3
4
3.0000
6.4641
3.8284
8.6389
3.9577
8.9206
3.9876
8.9784
1.0000
4.0000
9.0000
3.5
4.0
16
10
10
Aproximacin
Aproximacin
12
1.5
2.5
t
3.5
16
10
10
Aproximacin
12
1.5
2.5
t
3.5
2.5
t
3.5
3.5
1.5
h=1
h=1/ 2
h=1/8
14
12
16
Orden 1
Orden 2
Orden 3
Orden 4
exacta
14
Orden 1
Orden 2
Orden 3
Orden 4
exacta
14
12
16
Orden 1
Orden 2
Orden 3
Orden 4
exacta
14
Aproximacin
135
1.5
2.5
t
12.3
136
M
etodos multipaso
Los m
etodos de un paso solo utilizan para el calculo de yn el valor de yn1 . Se pueden disenar
procedimientos m
as eficientes si para el calculo de yn se utilizan los k valores ynk , . . . , yn1 .
Debido a que inicialmente solo se conoce el valor de y0 dado por la condici
on inicial el resto de
los yj necesarios para comenzar el proceso de los metodos multipaso se deben obtener utilizando un
m
etodo de un paso. El resultado o
ptimo se obtiene combinando el metodo multipaso con
uno de un paso del mismo orden. La base para estos metodos es la siguiente:
Deseamos conocer los valores de la soluci
on y(x) de la ecuacion y 0 (x) = f (x, y(x)) en los puntos de
discretizacion xn, n = 1, . . . , N . Mediante integracion directa de la ecuacion se tiene:
Z xn
y 0 (x)dx = y(xn ) y(xn1 ),
xn1
y por tanto:
y(xn) = y(xn1 ) +
xn
f (x, y(x))dx.
xn1
12.3.1
137
M
etodos de Adams-Bashforth
Se conoce como f
ormula de Adams-Bashforth de (k + 1) pasos a una formula del tipo:
yn+k+1 = yn+k + h
k
X
j fn+j ,
j=0
Ejemplo 12.3 F
ormulas de Adams-Bashforth:
1. Caso k = 0 (1 paso, orden 1)
2. Caso k = 1 (2 pasos, orden 2)
3. Caso k = 2 (3 pasos, orden 3)
4. Caso k = 3 (4 pasos, orden 4)
yn+1 = yn + h fn
(Es el m
etodo de Euler)
h
yn+2 = yn+1 + (3fn+1 fn)
2
h
yn+3 = yn+2 + (23fn+2 16fn+1 + 5fn)
12
h
yn+4 = yn+3 + (55fn+3 59fn+2 + 37fn+1 9fn )
24
12.3.2
138
M
etodos de Adams-Moulton
Mientras todos los metodos vistos hasta el momento son de tipo explcito, es decir, no se utiliza f n
para calcular yn , existe otro tipo de metodos, los implcitos, donde s se utiliza.
Se conoce como f
ormula de Adams-Moulton de k pasos a una formula del tipo:
yn+k = yn+k1 + h
k
X
j fn+j ,
j=0
139
Observaci
on 12.2 .- Observese que en todos los casos para el calculo de y n+k se utiliza el valor
fn+k = f (xn+k , yn+k ) que es desconocido. Esto hace que los metodos de Adams-Moulton no sean
aplicables directamente para avanzar en la solucion, ya que el valor y n+k aparece en ambos lados
etodos implcitos tienen orden de convergencia mayor
de la ecuacion. En contrapartida, los m
que los explcitos. Para calcular yn+k se debera recurrir a m
etodos iterativos de resoluci
on
de ecuaciones algebraicas (por ejemplo, el metodo de Newton-Raphson).
As, en el caso k = 3, para calcular yn+3 se debera resolver la ecuacion no lineal:
yn+3
12.4
9h
h
f (xn+3, yn+3) = yn+2 + (19fn+2 5fn+1 + fn ).
24
24
M
etodos predictor-corrector
Las formulas de Adams-Bashforth y de Adams-Moulton raramente se utilizan de manera independiente. Se suelen utilizar de manera conjunta para aumentar la precision de la solucion.
Unos algoritmos muy eficientes son los conocidos como m
etodos predictor-corrector que consisten
en el conjunto formado por un m
etodo implcito y otro explcito usados simultaneamente.
140
h
(55fn+3 59fn+2 + 37fn+1 9fn)
24
yn+4
= yn+3 +
A continuacion, mediante un m
etodo implcito, por ejemplo, Adams-Moulton de 3 pasos y
tambien orden 4:
yn+4 = yn+3 +
h
(9fn+4 + 19fn+3 5fn+2 + fn+1)
24
se calcula un valor corregido de yn+4, utilizando para el calculo de fn+4 el valor predicho yn+4
, esto
es:
(Esta correcci
on puede realizarse tantas veces como se quiera).
141
Como ya se ha indicado, necesitamos calcular previamente los valores de y 1, y2 , y3. Podra utilizarse
el metodo de Euler para calcular y1 a partir de y0 , y2 a partir de y1 e y3 a partir de y2, pero un metodo
de Runge-Kutta tambien de orden 4 resultara optimo (por ejemplo, el m
etodo cl
asico).
Observaci
on 12.3 En la practica, en los metodos predictor-corrector, las formulas del mismo
orden se usan conjuntamente a fin de optimizar la aproximacion. As, si se utiliza un m
etodo
predictor de orden p, se utilizara tambien uno corrector de orden p y un m
etodo de un paso
del mismo orden para el calculo de los valores iniciales.
Observaci
on 12.4 Todos los metodos estudiados estan disenados para la resolucion de un problema
de valor inicial o problema de Cauchy. Para problemas con condiciones de contorno
existen otros metodos de resolucion especficos (metodos de tiro, de diferencias finitas, de elementos
finitos, . . . )
142
y0 = 2 y
y(1) = 1
P-C 1
P-C 2
P-C 3
P-C 1
P-C 2
P-C 3
P-C 4 exacta
1.0000
1.0000
1.0000
1.0000
1.0
1.0000
1.0000
1.0000
1.0000
1.0000
1.5
2.4142
2.0000
2.2247
2.2493
2.2500
2.0
4.4062
3.6586
3.9483
3.9988
4.0000
2.5
6.9567
5.8213
6.1849
6.2483
6.2500
3.0
10.0542
8.4840
8.9219
8.9980
9.0000
3.5
4.0
2
3
4
4.4641
10.3598
3.0000
7.4146
3.8284
8.6389
3.9876
8.9784
1.0000
4.0000
9.0000
143
20
1 paso
2 pasos
3 pasos
4 pasos
exacta
18
16
14
12
12
Aproximacin
Aproximacin
1 paso
2 pasos
3 pasos
4 pasos
exacta
16
14
10
8
10
8
6
2
0
18
1.5
2.5
t
3.5
1.5
2.5
t
1 paso
2 pasos
3 pasos
4 pasos
exacta
16
14
Nodos
12
Aproximacin
3.5
18
10
8
6
4
2
0
1.5
2.5
t
3.5
predictor
corrector
1.0
1.0000
1.0000
1.5
0.0000
2.0000
2.0
3.6213
3.6586
2.5
5.8206
5.8213
3.0
8.4840
8.4840
3.5
11.6467
11.6467
4.0
15.3095
15.3095
Resultados b
asicos
145
13.2
146
Caracterizaci
on de la soluci
on general en el caso homog
eneo
147
148
La solucion de la ecuacion es
Reducci
on del orden
Sea f una soluci
on no trivial de la E. D. O. lineal homog
enea de orden n, entonces la
transformacion y = f v REDUCE la ecuacion anterior a una E. D. O. lineal homog
enea de
w=
dv
.
dx
149
dv
, la ecuacion lineal de orden 1:
dx
dw
+ [2a0(x)f 0(x) + a1(x)f (x)]w = 0,
dx
que se puede resolver facilmente, pues es una ecuacion en variables separadas. Una vez calculada w(x),
mediante integracion se determina v(x) , y finalmente, multiplicando por f (x), se obtiene la solucion
buscada y(x).
13.3
Caracterizaci
on de la soluci
on general en el caso no
homog
eneo
150
151
Ejemplo 13.3
Consideramos la ecuacion no homogenea
y 00 + y = x.
yp(x) = x.
dn y
dy
a0(x) n + + an1(x) + an(x)y= F2(x) .
dx
dx
13.4
152
C
alculo de la soluci
on de una ecuaci
on homog
enea
con coeficientes constantes
13.4.1
153
y 00 3y 0 + 2y = 0.
m2 3m + 2 = 0,
m1 = 1,
m2 = 2.
13.4.2
154
y 000 4y 00 3y 0 + 18y = 0.
m3 4m2 3m + 18 = 0,
m1 = m2 = 3,
m3 = 2.
13.4.3
155
156
y 00 + y = 0.
Su ecuacion caracterstica es
m2 + 1 = 0,
m1 = i,
m2 = i.
y 00 6y 0 + 25y = 0.
m2 6m + 25 = 0,
m1 = 3 + 4i,
m2 = 3 4i.
y IV y = 0.
m4 1 = 0,
m = 1, i.
13.5
157
C
alculo de la soluci
on de una ecuaci
on no homog
enea
Estudiaremos dos metodos diferentes para el calculo de una solucion particular de las ecuaciones no
homogeneas lineales de orden n:
13.5.1
M
etodo de Coeficientes Indeterminados
158
Ejemplo 13.8
1. Sea f (x) = x3. Su conjunto CI es S = {x3, x2, x, 1}.
2. Sea f (x) = e2x . Su conjunto CI es S = {e2x }.
3. Sea f (x) = x2 sen(x). Su conjunto CI es
S = {x2 sen(x), x2 cos(x), x sen(x), x cos(x), sen(x), cos(x)}.
Observaci
on 13.2 RESTRICCIONES del m
etodo de Coeficientes Indeterminados:
Solo es utilizable para coeficientes constantes.
Solo es utilizable cuando el segundo miembro es de tipo CI.
Consideraremos una ecuacion no homogenea lineal de orden n con coeficientes constantes:
dn y
dy
a0 n + + an1
+ an y = F (x),
dx
dx
donde F es una combinacion lineal finita de funciones de tipo CI de la forma:
F (x) = a1 u1(x) + a2 u2(x) + + am um(x).
159
m2 = 1 .
160
(N H 1) El termino no homog
eneo consta de dos funciones de tipo CI:
u1(x) = ex ,
cuyos conjuntos CI son S1 = {ex },
u2(x) = sen(x),
S2 = {sen(x), cos(x)}.
A1 2A1 3A1 = 2
A2 +2A3 3A2 = 10
A 2A 3A = 0
3
cuya solucion es A1 = 12 ,
A2 = 2,
A3 = 1, de donde
1
yp(x) = ex + 2sen(x) cos(x).
2
Entonces, la soluci
on general de la ecuacion es
1
y(x) = yc + yp = c1e3x + c2 ex ex + 2sen(x) cos(x).
2
161
(N H 1) El termino no homog
eneo consta de las funciones de tipo CI:
u1(x) = x2 ,
u2(x) = ex ,
u3(x) = xex ,
u4(x) = e3x ,
S4 = {e3x} ,
7
+ 2e3x x2ex 3xex.
2
13.5.2
162
M
etodo de Variaci
on de Constantes
163
164
!
!
0
y1(x) y2(x)
v10 (x)
.
= F (x) ,
y10 (x) y20 (x)
v20 (x)
a0(x)
cuyo determinante es el wronskiano W (y1, y2 ) que es no nulo. Por tanto, el sistema tiene soluci
on
u
nica que, mediante integraci
on, nos proporciona v1 y v2, salvo constantes de integracion.
Ejemplo 13.11 Resolver la ecuacion
y 00 + y = tg(x).
Claramente, la funcion tg(x) no es de tipo CI, por tanto aplicaremos el metodo de variacion de constantes.
La funcion complementaria es
165
13.6
La ecuaci
on de Cauchy-Euler
La dificultad principal en el m
etodo de variaci
on de par
ametros es obtener la funci
on
complementaria en el caso en que los coeficientes no son constantes. Sabemos como obtenerla
en el caso de coeficientes constantes por medio de la ecuacion caracterstica, pero el caso de coeficientes
variables no puede ser tratado de la misma forma. Solamente en algunos casos puede ser obtenida la soluci
on de manera explcita.
En este apartado veremos un caso particular en que, mediante un cambio de variable, se pueden
transformar determinadas ecuaciones de coeficientes no constantes en otras de coeficientes
constantes y, por tanto, se pueden resolver. (Para el caso general, se vera en el siguiente apartado la
resolucion mediante desarrollos en serie.)
166
Estudiemos la ecuaci
on de Cauchy-Euler (o ecuacion equidimensional), que es una ecuacion de
coeficientes variables de la forma:
n1
dn y
y
dy
n1 d
a0 x
+
a
x
+
+
a
x
+ an y = F (x), x 6= 0.
1
n1
dxn
dxn1
dx
n
x > 0.
x = et t = log(x)
dy dy dt
1 dy
=
= ,
dx dt dx x dt
d2 y
d 1 dy
1 d dy
1 dy
1 d2y dt
1 dy
1 d2y dy
= ( )= ( ) 2
= 2
= 2 ( 2 ).
dx2 dx x dt
x dx dt
x dt
x dt dx x2 dt
x
dt
dt
167
Con lo que, sustituyendo en la ecuacion, se obtiene la ecuacion lineal de orden 2 y coeficientes constantes:
d2 y
dy
+ a2 y = F (et) ,
a0 2 + (a1 a0)
dt
dt
que puede ser resuelta por los metodos ya vistos.
Observaci
on 13.3 A partir de aqu hay dos opciones:
1. Aplicar el m
etodo CI para obtener la soluci
on particular y, posteriormente, deshacer el
cambio de variable (si F (et) es de tipo CI).
2. Deshacer el cambio de variable y aplicar el m
etodo de variaci
on de constantes a la
ecuacion de Cauchy-Euler.
Ejemplo 13.12 Encontrar la unica solucion del problema con condiciones iniciales:
d2 y
dy
3
2
x
2x
, x>0
+
2y
=
x
dx2
dx
dy
y(1) = 1,
(1) = 2.
dx
3
+ 2y = e3t.
2
dt
dt
168
yp (t) = Ae3t .
Derivando y sustituyendo en la ecuacion se obtiene que A = 12 , por tanto, la solucion sera:
1
y(t) = c1et + c2 e2t + e3t.
2
Deshaciendo el cambio de variable se tiene entonces:
1
y(x) = c1x + c2 x2 + x3.
2
Al imponer las condiciones iniciales, se tiene:
x + x3
y(x) =
2
13.7
169
El m
etodo de series
Las E. D. O. no tienen, en general, soluciones que se puedan expresar mediante combinaciones lineales finitas de funciones elementales conocidas. Sin embargo, a veces es
posible asegurar la existencia de soluciones representadas mediante series infinitas.
Se dice que una funcion f es analtica en un punto x0 si en un entorno de ese punto se puede expresar
mediante una serie de potencias de (x x0):
f (x) =
X
n=0
an(x x0) ,
f (n (x0)
an =
.
n!
Aunque el metodo es general, para facilitar su exposicion lo desarrollaremos para una ecuacion homog
enea de segundo orden:
P (x) y 00 + Q(x) y 0 + R(x) y = 0.
Diremos que x0 es un punto ordinario de la ecuacion si P (x0) 6= 0. En caso contrario nos encontraremos ante un punto singular.
170
y 0 (x0) = y00 .
Observaci
on 13.4 Como x0 es un punto ordinario, entonces la funcion P no se anula en un
entorno de x0 y por tanto, la ecuaci
on en dicho entorno puede expresarse:
y 00 + q(x) y 0 + r(x) y = 0,
donde:
q(x) =
Q(x)
,
P (x)
r(x) =
R(x)
P (x)
13.7.1
171
M
etodo de la serie de Taylor
y 00 + q(x) y 0 + r(x) y = 0.
Sea la ecuacion
Dado que q y r son funciones indefinidamente diferenciables, se puede obtener una soluci
on de la
ecuacion tal que y(x0) =y0 ,
y 0 (x0) =y00 .
y 00 = q(x) y 0 r(x) y
(n
X
y
0
n=0
n!
(x x0)n .
172
y 0 (0) = y00 .
y(0) = y0 ,
y (4 = xy 00 2y 0 ,
y, en general:
y (n = xy (n2 (n 2)y (n3 .
Al evaluar en x = 0 se tiene:
y000 = 0,
(4
y0000 = y0,
y0 = 2y00 ,
y, en general:
(n
(n3
y0 = (n 2)y0
13.7.2
173
M
etodo de coeficientes indeterminados
y 00 + q(x) y 0 + r(x) y = 0.
Sea la ecuacion
Cuando q y r son POLINOMIOS se suele utilizar este metodo, consistente en ensayar una serie de
potencias:
y(x) =
X
n=0
an(x x0)n
X
X
y 0 (x) =
n an(x x0)n1 ,
y 00 (x) =
n(n 1) an(x x0)n2 ,
n=1
n=2
a la ecuaci
on, agrupando en potencias iguales de (x x0) e identificando los coeficientes se
determinan los an.
Observaci
on 13.5 En el caso en que q y r no son polinomios, sino funciones analticas en x 0,
tambien se puede utilizar el metodo sin mas que sustituir las funciones q y r por sus desarrollos en
serie de Taylor en x0, lo que permite agrupar en potencias de (x x0) y continuar el proceso.
174
X
n=0
y (x) =
X
n=1
y 00 (x) =
X
n=2
y, en general
(n + 2)(n + 1) an+2xn
n=0
6a3 + ( 1)a1 = 0,
(n + 1)(n + 2) an+2 + ( n) an = 0,
an+2 =
y 0 (0) = y00 .
an xn a0 = y(0) = y0,
n(n 1) an xn2 =
y(0) = y0,
12a4 + ( 2)a2 = 0,
de donde
(n )
an, n 0.
(n + 1)(n + 2)
Por tanto:
y(x) = y0 (1
2 ( 2) 4
1 3 ( 1)( 3) 5
x +
x + . . . ) + y00 (x
x +
x + ...)
2!
4!
3!
5!
175
an x
n=0
y (x) =
cos(x) =
X
(1)n
n=0
(2n)!
y(0) = 2.
n anxn1,
a0 = y(0) = 2,
n=1
2n
x ,
e =
X
xn
n=0
n!
1
1
(a1 + 2a2x + 3a3x2 + 4a4x3 + . . . ) + (1 x2 + x4 + . . . ) (a0 + a1x + a2x2 + a3x3 + . . . )
2
24
1
1
1
= 1 + x + x2 + x3 + x4 + . . .
2
6
24
Igualando coeficientes se deduce:
a0 1
1
a1 + a0 = 1 a1 = 1,
3a3 + a2
=
a3 = ,
2
2
6
a1 1
1
2a2 + a1 = 1 a2 = 1,
4a4 + a3
=
a4 = ,
...
2
6
8
Por tanto, la solucion sera de la forma:
1
1
y(x) = 2 x + x2 + x3 x4 + . . .
6
8
13.7.3
176
M
etodo de Fr
obenius
La busqueda de soluciones v
alidas en el entorno de un punto singular x 0 constituye una cuestion
de gran importancia practica, pues muchas de las ecuaciones que se plantean en aplicaciones tienen
puntos singulares.
Nos limitaremos a considerar un tipo de singularidad d
ebil bastante frecuente, que consiste en que
las funciones q y r son ligeramente no analticas, por lo que cabe esperar que pequenas modificaciones de los metodos anteriores den resultados satisfactorios.
Se dira que un punto x0 es singular regular para la ecuacion:
y 00 + q(x) y 0 + r(x) y = 0
si las funciones q(x) y r(x) no son analticas en x0, pero los productos (xx0)q(x) y (xx0)2 (x)
ya son analticos en x0.
Observaci
on 13.6 Para simplificar la notacion podemos suponer x0 = 0, en caso contrario bastara
hacer el cambio de variable z = x x0. Tambien podemos suponer x > 0, pues si x < 0 bastara
hacer el cambio z = x.
177
X
n=0
an (x x0)n
178
x 0 1+x
y +
y = 0.
2x2
2x2
Por tanto, x0 = 0 es un punto singular regular.
y 00
X
n=0
Por tanto:
0
y (x) =
an xn =
anxp+n
n=0
an(p + n)xp+n1 ,
n=0
y 00 (x) =
X
n=0
Sustituyendo en la ecuacion:
X
X
X
X
2an(p + n)(p + n 1)xp+n
an(p + n)xp+n +
an xp+n +
anxp+n+1 = 0
n=0
n=0
n=0
n=0
X
n=1
179
1
2
a0
3
180
a1 a0
=
10 30
a2
a0
(4) a3 + a2 = 0 a3 = =
21
630
(3) a2 + a1 = 0 a2 =
...
...
1
1
y(x) = a0 x (1 x + x2 x3 + . . . )
6
90