Apuntes Artemio Metodos I

Manual de
Mtodos Matemticos I
Federico Finkel Morgenstern y Artemio Gonzlez Lpez
Madrid, septiembre de 2011
ndice general
1 Ecuaciones diferenciales ordinarias 1
1.1 Aspectos generales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Mtodos elementales de integracin . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2.1 ,
0
= (.) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2.2 Ecuaciones de variables separadas . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2.3 Ecuaciones homogneas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.4 Ecuaciones exactas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2.5 Ecuaciones lineales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.2.6 Ecuacin de Bernoulli . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.2.7 Ecuacin de Riccati . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.3 Existencia y unicidad de soluciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2 Sistemas lineales 21
2.1 Espacio de soluciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.2 Sistemas homogneos. Mtodo de variacin de constantes . . . . . . . . . . . . . . . . 23
2.2.1 Wronskiano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.2.2 Frmula de AbelLiouville . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.2.3 Mtodo de variacin de constantes . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.3 Sistemas con coecientes constantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.3.1 diagonalizable . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.3.2 no diagonalizable . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.3.3 Exponencial de una matriz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3 Ecuaciones lineales 39
3.1 Espacio de soluciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.1.1 Reduccin del orden . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3.1.2 Mtodo de variacin de constantes . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.2 Ecuaciones con coecientes constantes. Mtodo de los coecientes indeterminados . . . 44
3.2.1 Mtodo de los coecientes indeterminados . . . . . . . . . . . . . . . . . . . . 47
4 Funciones analticas 51
4.1 Propiedades algebraicas de los nmeros complejos . . . . . . . . . . . . . . . . . . . . 51
4.1.1 Races cuadradas (mtodo algebraico) . . . . . . . . . . . . . . . . . . . . . . . 52
4.1.2 Mdulo y conjugacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
4.1.3 Argumento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
4.1.4 Frmula de de Moivre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
4.1.5 Races n-simas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
4.2 Funciones elementales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
4.2.1 Funcin exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
4.2.2 Funciones trigonomtricas e hiperblicas . . . . . . . . . . . . . . . . . . . . . 58
4.2.3 Logaritmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
i
ii NDICE GENERAL
4.2.4 Potencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
4.3 Ecuaciones de CauchyRiemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
4.3.1 Conceptos topolgicos bsicos . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
4.3.2 Lmites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
4.3.3 Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
4.3.4 Derivabilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
4.3.5 Ecuaciones de CauchyRiemann . . . . . . . . . . . . . . . . . . . . . . . . . . 64
4.3.6 Derivabilidad de las funciones elementales . . . . . . . . . . . . . . . . . . . . 66
4.3.7 Funciones armnicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
5 El teorema de Cauchy 71
5.1 Integracin sobre arcos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
5.1.1 Propiedades de
_
;
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
5.1.2 Integral respecto de la longitud de arco . . . . . . . . . . . . . . . . . . . . . . 73
5.1.3 Teorema fundamental del Clculo. Independencia del camino . . . . . . . . . . 74
5.2 Teorema de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
5.2.1 Teorema de CauchyGoursat . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
5.2.2 Homotopa. Teorema de Cauchy. Teorema de la deformacin . . . . . . . . . . . 77
5.3 Frmula integral de Cauchy y sus consecuencias . . . . . . . . . . . . . . . . . . . . . . 80
5.3.1 ndice . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
5.3.2 Frmula integral de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
5.3.3 Frmula integral de Cauchy para las derivadas . . . . . . . . . . . . . . . . . . 83
5.3.4 Teorema de Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
6 Representacin de funciones analticas mediante series 87
6.1 Series de potencias. Teorema de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
6.1.1 Sucesiones y series de nmeros complejos . . . . . . . . . . . . . . . . . . . . . 87
6.1.2 Sucesiones y series de funciones. Convergencia uniforme . . . . . . . . . . . . . 88
6.1.3 Series de potencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
6.1.4 Teorema de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
6.1.5 Ceros de funciones analticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
6.2 Series de Laurent. Teorema de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
6.2.1 Series de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
6.2.2 Teorema de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
6.3 Clasicacin de singularidades aisladas . . . . . . . . . . . . . . . . . . . . . . . . . . 99
7 Teorema de los residuos 103
7.1 Teorema de los residuos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
7.2 Mtodos para el clculo de residuos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
7.3 Clculo de integrales denidas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
7.3.1
_
1
1
(.) d. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
7.3.2 Integrales trigonomtricas:
_
2
0
1(cos 0. sen 0) d0 . . . . . . . . . . . . . . . . 107
7.3.3 Transformadas de Fourier:
_
1
1
e
iox
(.) d. . . . . . . . . . . . . . . . . . . . 108
Captulo 1
Ecuaciones diferenciales ordinarias
1.1 Aspectos generales
Una ecuacin diferencial es una relacin entre una funcin incgnita u de una variable x R
1
, un
nmero nito de derivadas parciales de u, y la propia variable x, que ha de cumplirse idnticamente en
cada punto de un abierto D R
1
.
Ejemplo 1.1. La ecuacin de Poisson
d
2
u(x)
d.
2

d
2
u(x)
d,
2

d
2
u(x)
dz
2
= j(x) . x (.. ,. z) .
donde j (que en electrosttica representa la densidad de carga) es una funcin conocida.
v En una ecuacin diferencial, tanto u como sus derivadas parciales deben evaluarse en el mismo
punto. Por ejemplo,
du(.. ,)
d.
u(. 3. ,) = 0
no es una ecuacin diferencial.
Una ecuacin diferencial donde la variable independiente x tiene varias componentes, es decir, donde x =
(.
1
. . . . . .
1
) con N > 1, se dice que es una ecuacin en derivadas parciales (EDP). En cambio, si N =
1 la ecuacin diferencial se dice que es ordinaria. En esta asignatura nos centraremos principalmente en
las ecuaciones diferenciales ordinarias, que deniremos ms formalmente a continuacin.
Denicin 1.2. Una ecuacin diferencial ordinaria (EDO) de orden n es una ecuacin de la forma
J
_
.. ,. ,
0
. . . . . ,
(n)
_
= 0 . (1.1)
donde J est denida en un abierto U R
nC2
y
dJ
d,
(n)
= 0 en U. Una solucin de (1.1) es una funcin
u : R R derivable n veces en un intervalo abierto D R tal que
J
_
.. u(.). u
0
(.). . . . . u
(n)
(.)
_
= 0 . V. D . (1.2)
v La condicin
dJ
d,
(n)
= 0 en U se impone para que la ecuacin sea verdaderamente de orden n.
Cuando sea posible despejar explcitamente la derivada de mayor orden de la ecuacin (1.1), es
decir, si podemos reescribirla como
,
(n)
=
_
.. ,. ,
0
. . . . . ,
(n1)
_
. (1.3)
diremos que la ecuacin est en forma normal.
1
2 ECUACIONES DIFERENCIALES ORDINARIAS
Ejemplo 1.3. La ecuacin
,
0
= k, . k > 0 . (1.4)
aparece al estudiar la desintegracin de un material radioactivo, donde , representa la masa del material
y . el tiempo.
Solucin: ntese que , = 0 es solucin de (1.4), mientras que si , = 0 se tiene
,
0
(.)
,(.)
= k ==
_
,
0
(.)
,(.)
d. = k
_
d. == log [,[ = k. c == [,[ = e
c
e
kx
== , = e
c
e
kx
.
siendo c una constante arbitraria. Por tanto, cualquier solucin de la ecuacin (1.4) es de la forma
, = ,
0
e
kx
. (1.5)
donde ,
0
es una constante arbitraria (en particular, si ,
0
= 0 se obtiene la solucin , = 0). Se dice que
la expresin (1.5) es la solucin general de la ecuacin (1.4).
v Ntese que la solucin general (1.5) de la ecuacin (1.4) depende de una constante arbitraria. La
solucin general de una ecuacin de orden n contiene n constantes arbitrarias.
1.2 Mtodos elementales de integracin
En esta seccin nos restringiremos al caso ms sencillo de las ecuaciones de primer orden. Supondremos
adems que la ecuacin puede escribirse en forma normal
,
0
= (.. ,) . (1.6)
Veremos a continuacin distintos mtodos elementales de integracin que permiten resolver a algunos
casos particulares importantes de la ecuacin (1.6).
1.2.1 ,
0
= (.)
Si suponemos que es continua en un intervalo abierto D, la ecuacin se resuelve simplemente inte-
grando ambos miembros a partir de un punto cualquiera .
0
D:
, =
_
x
x
0
(t ) dt c . c = ,(.
0
) . (1.7)
Utilizando la notacin de integral indenida, a menudo escribiremos la solucin como
, =
_
x
(t ) dt c . o incluso como , =
_
(.) d. c .
De la expresin (1.7) se sigue que el problema de valores iniciales
,
0
= (.) . ,(.
0
) = ,
0
tiene la solucin nica , =
_
x
x
0
(t ) dt ,
0
.
Mtodos elementales de integracin 3
1.2.2 Ecuaciones de variables separadas
Son ecuaciones de la forma
,
0
=
(.)
g(,)
. (1.8)
donde , g son continuas en sendos intervalos abiertos U, V , con g(,) = 0 para todo , V .
Solucin: Si ,(.) es solucin de la ecuacin (1.8), entonces
g
_
,(.)
_
,
0
(.) = (.) ==
_
x
x
0
g
_
,(s)
_
,
0
(s) ds =
_
x
x
0
(s) ds
==
tD,(x)
_
,(x)
,(x
0
)
g(t ) dt =
_
x
x
0
(s) ds
Por tanto, cualquier solucin de (1.8) satisface la ecuacin implcita
_
g(,) d, =
_
(.) d. c . (1.9)
donde c es una constante arbitraria. Recprocamente, derivando (1.9) respecto de . tomando a , como
funcin de ., concluimos que cualquier funcin ,(.) que satisfaga la relacin (1.9) es solucin de la
ecuacin (1.8). Por tanto (1.9) es la solucin general de (1.8).
La solucin general (1.9) de la ecuacin (1.8) est dada en la forma implcita
(.. ,) = c . donde (.. ,) =
_
g(,) d,
_
(.) d. . (1.10)
La relacin (.. ,) = c dene implcitamente una familia uniparamtrica de curvas en el plano, co-
rrespondiendo cada curva a un valor jo de c (si bien puede haber varias ramas con un mismo valor
de c). Estas curvas se denominan curvas integrales de la ecuacin (1.8). Por lo que acabamos de ver,
una funcin ,(.) es solucin de (1.8) si y slo si su grca est contenida en una curva integral de la
ecuacin.
La funcin dada por (1.10) es de clase C
1
(U V ) (ya que
J
Jx
= (.) y
J
J,
= g(,) son
continuas por hiptesis en U y V , respectivamente), y adems
J
J,
no se anula en ningn punto de U V .
Dado un punto (.
0
. ,
0
) de U V , la curva integral de (1.8) que pasa por dicho punto se obtiene tomando
c = (.
0
. ,
0
) en (1.10). Por el teorema de la funcin implcita, existe un entorno de (.
0
. ,
0
) donde
la relacin (1.10) dene una nica funcin derivable ,(.) tal que
i) ,(.
0
) = ,
0
.
ii)
_
.. ,(.)
_
=
_
.
0
. ,
0
). V. dom, .
En dicho entorno, la curva integral que pasa por (.
0
. ,
0
) es por tanto la grca de una solucin ,(.). Di-
cha funcin , es localmente (es decir, en un entorno del punto (.
0
. ,
0
)) la nica solucin de la ecuacin
diferencial (1.8) que satisface la condicin inicial ,(.
0
) = ,
0
. En otras palabras, el problema de valores
iniciales asociado a la ecuacin (1.8) posee solucin nica local si los datos iniciales (.
0
. ,
0
) pertenecen
a U V .
v El que la solucin general de la ecuacin de variables separadas (1.8) se exprese mediante una
relacin implcita (cf. (1.10)) no es una propiedad caracterstica de este tipo de ecuaciones. De
hecho, a lo largo de esta seccin veremos que en muchas ocasiones la solucin general de la
ecuacin de primer orden (1.6) tambin se expresa mediante una relacin implcita. En general no
ser posible despejar de ella , como funcin explcita de ., si bien normalmente el teorema de la
funcin implcita garantizar la existencia local de dicha funcin.
Ejemplo 1.4. Consideremos la ecuacin de variables separadas
,
0
=
.
,
. (1.11)
En nuestra notacin, (.) = ., g(,) = ,, U = R, y o bien V = R
C
o bien V = R
, pero
no V = R, ya que la funcin g se anula cuando , = 0. Procediendo como antes (o bien utilizando
directamente la frmula (1.9)), se obtiene la solucin general de (1.11):
.
2
,
2
= c . c > 0 . (1.12)
Por tanto en este caso las curva!integral son circunferencias de radio
_
c > 0 centradas en el origen (ver
Fig. 1.1). En particular, por cada punto del plano salvo el origen pasa una nica curva integral. Cada
curva integral contiene dos soluciones, dadas por las funciones
, =
_
c .
2
. . (
_
c.
_
c) . (1.13)
correspondiendo los signos a la eleccin V = R
. La ecuacin (1.11) no est denida para , = 0,

pero las soluciones (1.13) tienen lmite (cero) cuando .
_
c(aunque no son derivables en dichos
puntos, al tener pendiente innita). Ntese que por cada punto (.
0
. ,
0
) del plano con ,
0
= 0 pasa una
nica solucin. En cambio, la curva integral que pasa por un punto de la forma (.
0
. 0), con .
0
= 0,
no dene a , como funcin de . en un entorno de dicho punto. Sin embargo, dicha curva s dene la
funcin .(,) = sgn .
0
_
.
2
0
,
2
, , ([.
0
[. [.
0
[), solucin de la ecuacin
.
0
=
,
.
. (1.14)
La ecuacin (1.14) se denomina ecuacin asociada a (1.11).
-3 -2 -1 1 2 3
-3
-2
-1
1
2
3
y
x
Figura 1.1: Curvas integrales de la ecuacin ,
0
= .,,. Cada curva integral contiene dos soluciones,
denidas en la ecuacin (1.13), representadas en azul y rojo en la gura.
v En general, la ecuacin asociada a la ecuacin diferencial (1.6) es
d.
d,
=
1
(.. ,)
. (1.15)
Evidentemente, las curvas integrales de la ecuacin asociada son las mismas que las de la ecuacin
de partida.
Ejemplo 1.5. Consideremos ahora la ecuacin
,
0
=
1 ,
2
1 .
2
. (1.16)
que tambin es de variables separadas. En este caso (.) =
1
1Cx
2
y g(,) =
1
1C,
2
son continuas y g
nunca se anula, por lo que podemos tomar U = V = R. La ecuacin (1.16) se integra inmediatamente,
con el resultado
arctan , = arctan . c . (1.17)
donde [c[ < para que la ecuacin (1.17) tenga solucin en , para algn valor de .. Si c =
2
y
llamamos C = tan c, tomando la tangente en ambos miembros de (1.17) se llega a la siguiente expresin
para la solucin de (1.16):
, = tan(c arctan .) =
C .
1 C.
. (1.18)
Ntese que la constante C puede tomar cualquier valor real. Por otra parte, si c =
2
se tiene
, = tan
_

2
arctan .
_
= cot(arctan .) =
1
.
. . = 0 . (1.19)
Ntese que esta solucin se obtiene formalmente de (1.18) en el lmite C o.
-4 -2 2 4
-4
-2
2
4
x
y
Figura 1.2: Soluciones de la ecuacin ,
0
=
1C,
2
1Cx
2
.
El problema de valores iniciales asociado a la ecuacin (1.16) siempre posee solucin nica local.
Efectivamente, si imponemos la condicin inicial ,(.
0
) = ,
0
, de (1.18) concluimos que
C =
.
0
,
0
1 .
0
,
0
.
que tiene sentido salvo si ,
0
= 1,.
0
, en cuyo caso la solucin correspondiente es , = 1,..
v La nica solucin de la ecuacin (1.16) que est denida en toda la recta real es , = ., que
corresponde a C = 0. La solucin (1.19) y todas las dems soluciones (1.18) explotan para
algn valor nito de . (concretamente para . = 0 y . =
1
C
, respectivamente). Sin embargo,
el miembro derecho de la ecuacin (1.16) es continuo (de hecho de clase C
1
) en todo el plano.
En general, el estudio de las singularidades de la funcin (.. ,) no proporciona por s slo
informacin acerca de las posibles singularidades de las soluciones de la ecuacin diferencial (1.6).
1.2.3 Ecuaciones homogneas
Son ecuaciones de la forma (1.6) con continua en un abierto U R
2
y homognea de grado cero, es
decir
(z.. z,) = (.. ,) . V.. , U. Vz = 0 . (1.20)
Este tipo de ecuacin se reduce a una de variables separadas mediante el cambio
, = .u . . = 0 .
donde u(.) es la nueva funcin incgnita. Efectivamente,
,
0
= u .u
0
= (.. .u) = (1. u) == u
0
=
(1. u) u
.
. (1.21)
Si z satisface la condicin (1. z) = z, entonces la ecuacin (1.21) tiene la solucin constante u = z,
que corresponde a , = z.. En caso contrario, la ecuacin (1.21) se resuelve separando variables e
integrando, lo que conduce a la relacin implcita
_
du
(1. u) u
= log [.[ c . con u =
,
.
. (1.22)
Ejemplo 1.6. Consideremos la ecuacin
,
0
=
, 2.
2, .
. (1.23)
Como
(.. ,) =
, 2.
2, .
es homognea de grado cero (y continua en todo el plano salvo en la recta , = .,2) nos encontramos
ante una ecuacin homognea. Es fcil comprobar que la ecuacin (1. z) = z no tiene soluciones
reales, por lo que ninguna recta por el origen es solucin de (1.23). Como
1
(1. u) u
=
2u 1
2(u
2
1)
.
la frmula (1.22) conduce inmediatamente a
log(1 u
2
) arctan u = c 2 log [.[ .
donde c es una constante arbitraria. Sustituyendo u por ,,. y simplicando, obtenemos la siguiente
expresin implcita para las curvas integrales de la ecuacin (1.23):
log(.
2
,
2
) arctan
,
.
= c . (1.24)
Ntese que en este caso no es posible despejar explcitamente , como funcin de .. Sin embargo, si
expresamos la relacin (1.24) en coordenadas polares
. = r cos 0 . , = r sen 0 .
obtenemos inmediatamente
2 log r 0 = c == r = Ce
0{2
: C = e
c{2
> 0 . (1.25)
Las curvas integrales son por tanto espirales donde la coordenada radial crece exponencialmente cuando
el ngulo gira en el sentido de las agujas del reloj.
Para representar grcamente estas espirales es conveniente determinar primero las isoclinas de la
ecuacin (1.23). En general, una isoclina de la ecuacin de primer orden (1.6) es el lugar geomtrico de
los puntos en los cuales los vectores tangentes a las curvas integrales tienen todos una misma direccin.
Las isoclinas se denen por tanto mediante la ecuacin implcita
(.. ,) = m . m R m = o.
donde se admite que m = o para incluir las isoclinas de tangente vertical. Para la ecuacin (1.23) de
este ejemplo, la ecuacin de las isoclinas es
, 2.
2, .
= m. (1.26)
Por tanto, en este caso las isoclinas son rectas por el origen, siendo la de pendiente m
, =
m2
1 2m
. . (1.27)
En particular, las isoclinas de pendiente 0. o. 1. 1 son las rectas , = 2., , = .,2, , = 3.,
, = .,3, respectivamente. En la Fig. 1.3 hemos representado estas isoclinas junto con las espirales (1.25)
correspondientes a c = 0. ,2. . 3,2. Ntese que cada espiral contiene innitas soluciones de la
ecuacin (1.23), denida cada una de ellas en un intervalo de la forma (.
0
. .
1
), donde (.
0
. ,
0
) y (.
1
. ,
1
)
son dos puntos de corte consecutivos entre la espiral y la isoclina de pendiente innita , = .,2.
-6 -4 -2 2 4 6
-6
-4
-2
2
4
6
m=0
m=-1
m=
m=1
y
x
Figura 1.3: Curvas integrales de la ecuacin ,
0
=
,2x
2,Cx
(en rojo) e isoclinas de pendiente 0. o. 1. 1
(en gris).
1.2.4 Ecuaciones exactas
Una ecuacin diferencial de la forma
1(.. ,) Q(.. ,),
0
= 0 . (1.28)
donde 1. Q son funciones continuas en un abierto U R
2
y Q no se anula en U, se dice exacta si
existe una funcin J : U R que verica
1(.. ,) = J
x
(.. ,) . Q(.. ,) = J
,
(.. ,) . V(.. ,) U . (1.29)
Es decir, la ecuacin (1.28) es exacta si (1. Q) = VJ en U. En este caso, si ,(.) es una solucin
de (1.28), podemos reescribir dicha ecuacin como
J
x
_
.. ,(.)
_
J
,
_
.. ,(.)
_
,
0
(.) =
d
d.
J
_
.. ,(.)
_
= 0 .
y por tanto las soluciones de la ecuacin exacta (1.28)-(1.29) verican
J(.. ,) = c . (1.30)
donde c es una constante. Recprocamente, si se cumple (1.30) entonces, al ser J
,
= Q no nula en U,
el teorema de la funcin implcita dene a , como funcin de . en un entorno de cada punto de U,
vericndose adems la ecuacin (1.28) de partida en el dominio de ,. Por tanto, la solucin general
de (1.28)-(1.29) est dada por la ecuacin (1.30), que dene las curvas de nivel de J.
En caso de que las funciones 1. Q sean de clase C
1
(U), una condicin necesaria para que la ecua-
cin (1.28) sea exacta es
1
,
(.. ,) = Q
x
(.. ,) . V(.. ,) U . (1.31)
ya que por el lema de Schwarz J
x,
= J
,x
en U. La condicin (1.31) es tambin suciente si el abierto
U es simplemente conexo
1
, que en las aplicaciones ser el caso ms usual.
Veamos cmo determinar la funcin J suponiendo que la condicin (1.31) se cumple en un rec-
tngulo abierto U = (a. b) (c. J). Sea (.
0
. ,
0
) un punto de U. Integrando la ecuacin J
x
= 1
obtenemos
J(.. ,) =
_
x
x
0
1(s. ,) ds g(,) . (1.32)
donde g depende slo de ,. Ntese que si (.. ,) U entonces todos las puntos de la forma (s. ,) con
s .
0
. .| .. .
0
| estn tambin en U, y por tanto la integral de la frmula anterior est bien denida.
Derivando parcialmente (1.32) respecto de , y utilizando (1.31) se sigue que
J
,
(.. ,) = g
0
(,)
_
x
x
0
1
,
(s. ,) ds = g
0
(,)
_
x
x
0
Q
x
(s. ,) ds = g
0
(,) Q(.. ,) Q(.
0
. ,) .
Imponiendo la segunda ecuacin J
,
= Q obtenemos
g
0
(,) = Q(.
0
. ,) == g(,) =
_
,
,
0
Q(.
0
. s) ds . (1.33)
salvo constante arbitraria. (Como antes, la integral de (1.33) est bien denida puesto que todos los
puntos (.
0
. s) estn en U si s ,
0
. ,| ,. ,
0
|.) Por tanto, en este caso la solucin general (1.30) de la
ecuacin (1.28) viene dada por
J(.. ,) =
_
x
x
0
1(s. ,) ds
_
,
,
0
Q(.
0
. s) ds = c . (1.34)
La funcin J de la ltima frmula puede tambin expresarse en forma ms compacta como la integral
de lnea
J(.. ,) =
_
;
0
(1. Q) dr . (1.35)
1
Recordemos que un abierto U R
2
es conexo si todo par de puntos de U pueden unirse mediante una curva continua
enteramente contenida en U. El abierto U es simplemente conexo si es conexo y toda curva cerrada continua contenida en U
puede deformarse de forma continua a un punto sin salirse de U. Intuitivamente, un abierto es simplemente conexo si consta
de un slo trozo y no tiene agujeros.
U
a
b
c
d
.x; y/ .x
0
; y/
.x
0
; y
0
/
0
Figura 1.4: Caminos que unen (.
0
. ,
0
) con (.. ,) en U.
donde ;
0
es la curva quebrada de la Fig. 1.4. Como el rectngulo U es simplemente conexo y se cumple
la condicin (1.31), la integral de lnea del campo vectorial (1. Q) a lo largo de cualquier curva C
1
a
trozos contenida en U es independiente del camino seguido. Por tanto podemos escribir
J(.. ,) =
_
;
(1. Q) dr . (1.36)
donde ; es cualquier curva C
1
a trozos que vaya de (.
0
. ,
0
) a (.. ,) sin salirse de U (ver Fig. 1.4).
v De hecho, puede probarse que la frmula (1.36) es vlida en cualquier abierto simplemente conexo
donde se cumpla la condicin (1.31).
Ejemplo 1.7. Sea la ecuacin
2., 1 (.
2
,),
0
= 0 . (1.37)
que es de la forma (1.28) con 1 = 2., 1, Q = .
2
,. Como 1
,
= 2. = Q
x
, la ecuacin es exacta
en cualquiera de los abiertos simplemente conexos U
= {(.. ,) R
2
: , ? .
2
] donde Q no se
anula. Buscamos por tanto una funcin J tal que VJ = (1. Q), es decir
J
x
= 2., 1 == J = .
2
, . g(,)
J
,
= .
2
g
0
(,) = .
2
, == g
0
(,) = , == g(,) =
,
2
2
.
salvo una constante. Por tanto las curvas integrales de la ecuacin (1.37) verican la ecuacin implcita
2.
2
, 2. ,
2
= c . (1.38)
donde c es una constante arbitraria. Despejando , obtenemos dos expresiones
,
= .
2
_
.
4
2. c (1.39)
para cada valor de c (ver Fig. 1.5), donde el signo de la raz corresponde a la eleccin del abierto U
.
En ocasiones puede ser interesante discutir el comportamiento de las curvas integrales en funcin de la
constante arbitraria que aparece en la expresin de la solucin general. Por ejemplo, en este caso puede verse
que si c >
3
2
3
p
2
cada expresin ,
es una solucin de la ecuacin (1.37), denida en todo R. En cambio,

si c <
3
2
3
p
2
cada expresin ,
determina dos soluciones de dicha ecuacin, denidas en sendos intervalos

(o. .
0
) y (.
1
. o), donde .
0
< .
1
son las dos races del polinomio .
4
2.c que aparece en el radicando
de (1.39). Por ltimo, si c =
3
2
3
p
2
, cada expresin ,
tambin determina dos soluciones de (1.37), denidas

en los intervalos (o.
1
3
p
2
) y (
1
3
p
2
. o) respectivamente.
-4 -2 2 4
-4
-2
2
4
y
x
Figura 1.5: Curvas integrales (1.38) de la ecuacin (1.37). La parbola , = .
2
(en gris) es una isoclina
de pendiente o, que divide al plano en dos abiertos simplemente conexos U
donde Q = .
2
, no se
anula y las soluciones son de la forma ,
, respectivamente.
Consideremos de nuevo la ecuacin (1.28) con 1. Q de clase C
1
(U). Supongamos que 1
,
= Q
x
en U y por tanto la ecuacin no es exacta. Si j(.. ,) es una funcin que no se anula en U, la ecuacin
j(.. ,)1(.. ,) j(.. ,)Q(.. ,),
0
= 0 (1.40)
es equivalente a la ecuacin (1.28), ya que ambas tienen el mismo conjunto de soluciones. Si la ecua-
cin (1.40) es exacta, se dice que la funcin j es un factor integrante de la ecuacin (1.28) de partida.
En este caso podemos resolver (1.28) integrando (1.40) mediante el procedimiento discutido ms arriba.
Si U es un abierto simplemente conexo, la condicin necesaria y suciente que debe cumplir j para
que la ecuacin (1.40) sea exacta es
(j1)
,
= (jQ)
x
.
Es decir, la funcin j debe ser solucin de la ecuacin en derivadas parciales de primer orden
1(.. ,) j
,
Q(.. ,) j
x

_
1
,
(.. ,) Q
x
(.. ,)
_
j = 0 . (1.41)
Aunque se demuestra que esta EDP siempre tiene solucin, el problema es que la tcnica habitual para
resolverla requiere conocer precisamente la solucin de la EDO (1.28) de partida. Sin embargo, podemos
buscar soluciones particulares de (1.41) que dependan de un nico argumento, tales como j(.), j(,),
j(. ,), j(.
2
,
2
), etc. En general estas funciones no sern solucin de la EDP (1.41), a menos que
1
,
Q
x
sea de alguna forma sencilla. Por ejemplo, si
1
,
Q
x
Q
g(.) . (1.42)
entonces (1.41) admite un factor integrante del tipo j(.). Efectivamente, si se cumple (1.42) y j
,
= 0,
la ecuacin (1.41) se reduce a
j
0
(.) = g(.)j(.) == j(.) = ce
_
g(.) d.
. (1.43)
Anlogamente, si
1
,
Q
x
1
h(,) . (1.44)
entonces (1.41) admite como solucin el factor integrante dependiente slo de ,
j(,) = ce
_
h(,) d,
. (1.45)
Ejercicio. Probar que la ecuacin (1.28) posee un factor integrante j(r) funcin de r =
_
.
2
,
2
si y
slo si
1
,
Q
x
,1 .Q
= g(r) .
y que en tal caso j puede calcularse por la frmula
j(r) = c e
_
r g(r) dr
.
,(1 .) sen , (. cos ,),
0
= 0 . (1.46)
no es exacta, ya que 1 = ,(1 .) sen , , Q = . cos , no satisfacen la condicin (1.31). Sin
embargo, como
1
,
Q
x
Q
= 1 g(.)
no depende de ,, de la ecuacin (1.43) se sigue que j(.) = e
x
es un factor integrante de la ecua-
cin (1.46) en cualquiera de los abiertos simplemente conexos
U
= {(.. ,) R
2
: . cos , ? 0].
Buscamos por tanto una funcin J tal que VJ = e
x
(1. Q). En este caso resulta ms sencillo comenzar
integrando la ecuacin J
,
= e
x
Q, que proporciona
J
,
= e
x
(. cos ,) == J = e
x
(., sen ,) h(.)
J
x
= e
x
(, ., sen ,) h
0
(.) = e
x
_
,(1 .) sen ,
_
== h
0
(.) = 0 .
Por tanto podemos elegir
J(.. ,) = e
x
(., sen ,) .
de modo que las curvas integrales de la ecuacin (1.37) verican la ecuacin trascendente
e
x
(., sen ,) = c . (1.47)
donde c es una constante arbitraria. En este caso no es posible despejar explcitamente , como funcin
de . (aunque para c = 0 podemos despejar . como funcin de ,). Sin embargo, el teorema de la funcin
implcita garantiza que si J
,
(.
0
. ,
0
) = e
x
0
(.
0
cos ,
0
) = 0, es decir si (.
0
. ,
0
) U
, entonces la
ecuacin (1.47) dene a , como funcin de . en un entorno de (.
0
. ,
0
).
1.2.5 Ecuaciones lineales
Son ecuaciones de la forma
,
0
= a(.), b(.) . (1.48)
donde a y b son funciones continuas en un intervalo abierto U. La ecuacin (1.48) se dice homognea si
b 0, e inhomognea o completa en caso contrario. Veamos que la solucin general de una ecuacin
lineal puede expresarse siempre mediante cuadraturas. En efecto, en el caso homogneo
,
0
= a(.), (1.49)
admite la solucin trivial , = 0, y si , = 0 podemos tratarla como una ecuacin de variables separadas:
,
0
,
= a(.) == log [,[ =
_
a(.) d. c
0
== [,[ = e
c
0
e
_
a(.) d.
.
La solucin general de (1.49) es por tanto
, = ce
_
a(.) d.
. (1.50)
donde c es una constante arbitraria (o bien c = e
c
0
, o bien c = 0 para la solucin trivial).
v El conjunto de soluciones (1.50) de la ecuacin homognea (1.49) es un espacio vectorial de
dimensin uno.
La ecuacin inhomognea (1.48) se resuelve mediante el mtodo de variacin de constantes, debido
a Lagrange. El mtodo consiste en probar como solucin una funcin de la forma
, = c(.)e
(x)
. (1.51)
donde
(.) =
_
a(.) d.
es un primitiva cualquiera (pero ja) de la funcin a(.). Es decir, se trata de probar como solucin la
solucin general de la ecuacin homognea reemplazando la constante c por una funcin incgnita c(.).
Sustituyendo (1.51) en la ecuacin (1.48) obtenemos
c
0
(.)e
(x)
c(.)e
(x)
a(.) = a(.)c(.)e
(x)
b(.) .
de donde
c
0
(.) = b(.)e
(x)
== c(.) = c
_
b(.)e
(x)
d. .
donde c es una constante arbitraria. Por tanto, la solucin general de la ecuacin completa (1.48) es
, = ce
(x)
e
(x)
_
b(.)e
(x)
d. . (1.52)
v La expresin (1.52) muestra que la solucin general de la ecuacin (1.48) es de la forma
, = ,
h
(.) ,
p
(.) .
donde ,
h
es la solucin general de la ecuacin homognea e ,
p
es una solucin particular de la
ecuacin completa.
Consideremos ahora el problema de valores iniciales
_
_
_
,
0
= a(.), b(.) .
,(.
0
) = ,
0
.
(1.53)
donde .
0
U. Tomando como primitiva de a(.) la funcin (.) =
_
x
x
0
a(s) ds, de la expresin (1.52)
se sigue inmediatamente que la nica solucin de (1.48) que verica la condicin inicial ,(.
0
) = ,
0
es
, = ,
0
e
_
x
x
0
a(s) ds
e
_
x
x
0
a(s) ds
_
x
x
0
b(s)e
_
x
x
0
a(t ) dt
ds .
Ejemplo 1.9. Sea la ecuacin lineal inhomognea
,
0
=
,
.
.
2
. (1.54)
denida si . = 0. La solucin general de la ecuacin homognea es
,
0
,
=
1
.
== log [,[ = log [.[ c
0
== , = c. .
donde c R (el valor c = 0 proviene de la solucin trivial , 0). Para la ecuacin inhomognea,
probamos una solucin particular de la forma ,
p
= c(.)., que conduce a
,
0
p
= c
0
. c = c .
2
== c =
.
2
2
== ,
p
=
.
3
2
.
Por tanto, la solucin general de la ecuacin (1.54) es
, = c.
.
3
2
. c R.
Ntese que, aunque la ecuacin diferencial (1.54) no est denida si . = 0, las soluciones obtenidas son
analticas en toda la recta real.
1.2.6 Ecuacin de Bernoulli
Es una ecuacin de la forma
,
0
= a(.), b(.),
i
. r = 0. 1 . (1.55)
siendo a, b continuas en un intervalo abierto U. La ecuacin (1.55) no est denida para , < 0 a menos
que r = ,q sea un racional irreducible con q impar, ni para , = 0 cuando r < 0. La ecuacin de
Bernoulli puede transformarse en una ecuacin lineal (y por tanto resoluble por cuadraturas) mediante el
cambio de variable
u = ,
1i
.
En efecto, derivando u respecto de . y utilizando (1.55) obtenemos
u
0
= (1 r),
i
,
0
= (1 r)a(.),
1i
(1 r)b(.) = (1 r)a(.)u (1 r)b(.) .
que es lineal en la nueva variable u.
,
0
=
, ,
2
.
. (1.56)
es una ecuacin de Bernoulli con r = 2. Una posible solucin es , 0. Si , = 0, el cambio de variable
apropiado es u = 1,,, que conduce a
u
0
=
,
0
,
2
=
1
.,
1
.
=
u
.
1
.
. (1.57)
que es lineal en u. La solucin general de la ecuacin homognea es
u
h
=
c
.
.
Para la ecuacin completa, probamos una solucin particular de la forma u
p
=
c(x)
x
, que conduce a
c
0
.
=
1
.
== c = . == u
p
= 1 .
Luego la solucin general de (1.57) es
u = u
h
u
p
=
. c
.
.
y por tanto
, =
.
. c
es la solucin general de (1.56). (La solucin , 0 se obtiene formalmente en el lmite c o.)
Ejercicio. Resolver la ecuacin (1.56) tratndola como ecuacin de variables separadas.
1.2.7 Ecuacin de Riccati
La ecuacin de Riccati
,
0
= a(.) b(.), c(.),
2
. a. c y 0 . (1.58)
con a, b, c continuas en un intervalo abierto U, es de gran importancia en Fsica Matemtica por su
estrecha relacin con las ecuaciones lineales de segundo orden (como la ecuacin de Schrdinger). En
general no es posible resolver una ecuacin de Riccati por cuadraturas. Sin embargo, si se conoce una
solucin particular ,
0
(.) es posible reducirla a una ecuacin lineal mediante el cambio de variable
u =
1
, ,
0
(.)
.
Efectivamente,
u
0
=
,
0
,
0
0
(.)
_
, ,
0
(.)
_
2
=
b(.)
_
, ,
0
(.)
_
c(.)
_
,
2
,
2
0
(.)
_
_
, ,
0
(.)
_
2
= b(.)u c(.)
, ,
0
(.)
, ,
0
(.)
=
_
b(.) 2c(.),
0
(.)
_
u c(.) .
que es una ecuacin lineal en u.
Ejemplo 1.11. Consideramos la ecuacin de Riccati
,
0
= ,
2
2
.
2
. (1.59)
Si probamos una solucin particular de la forma , = z,., obtenemos
z
.
2
=
z
2
.
2

2
.
2
== z
2
z 2 = 0 == z = 2. 1 .
Tomamos como solucin particular ,
0
= 1,.. El cambio de variable
u =
1
, 1,.
(1.60)
conduce a la ecuacin lineal
u
0
=
,
0
1,.
2
(, 1,.)
2
=
,
2
1,.
2
(, 1,.)
2
=
, 1,.
, 1,.
=
2u
.
1 . (1.61)
La solucin general de la ecuacin homognea es
u
h
=
C
.
2
.
Existencia y unicidad de soluciones 15
Para determinar una solucin particular de la ecuacin inhomognea (1.61) podemos utilizar el mtodo
de variacin de constantes, o ms directamente, probar una solucin de la forma u
p
= k.. Sustituyendo
en (1.61) se obtiene
k = 2k 1 == k =
1
3
.
Por tanto
u =
C
.
2

.
3
=
.
3
c
3.
2
. c = 3C .
es la solucin general de (1.61). De (1.60) se sigue inmediatamente que
, =
1
.
3.
2
.
3
c
.
es la solucin general de (1.59).
Comentario. Como hemos mencionado ms arriba, la ecuacin de Riccati (1.58) est estrechamente
relacionada con las ecuaciones lineales de segundo orden. Ms concretamente, es posible convertir (1.58)
en una ecuacin lineal de segundo orden mediante el cambio de variable
, =
1
c(.)
u
0
u
.
En efecto,
,
0
=
1
c(.)
u
00
u
c
0
(.)
c(.)
2
u
0
u
1
c(.)
u
02
u
2
= a(.)
b(.)
c(.)
u
0
u
1
c(.)
u
02
u
2
.
y por tanto u verica la ecuacin
u
00
_
b(.)
c
0
(.)
c(.)
_
u
0
a(.)c(.)u = 0 .
En el prximo captulo veremos que la solucin general de esta ecuacin es de la forma
u = k
1
u
1
(.) k
2
u
2
(.) .
donde k
1
, k
2
son constantes reales y u
1
, u
2
son dos soluciones linealmente independientes, que en
general no podrn determinarse de forma explcita. La solucin general de la ecuacin de Riccati de
partida (1.58) se expresa en trminos de u
1
y u
2
como
, =
1
c(.)
k
1
u
0
1
(.) k
2
u
0
2
(.)
k
1
u
1
(.) k
2
u
2
(.)
.
(Ntese que esta solucin depende de una sla constante arbitraria, o bien k
2
,k
1
, o bien k
1
,k
2
.)
1.3 Existencia y unicidad de soluciones
En esta seccin estudiaremos la existencia y unicidad de solucin del problema de valores iniciales
_
,
0
= (.. ,) .
,(.
0
) = ,
0
.
(1.62)
En distintos ejemplos de la seccin anterior donde la funcin era sucientemente regular hemos visto
que este problema tiene solucin nica local. En esta seccin enunciaremos sin demostracin un resultado
fundamental que garantiza la existencia de solucin nica (en general local) del problema de valores
iniciales (1.62). Supondremos que la variable dependiente , y la funcin son vectoriales
2
, es decir,
consideraremos el problema de valores iniciales para sistemas de ecuaciones de primer orden:
2
De aqu en adelante prescindiremos de la notacin vectorial, e.g., escribiremos simplemente , en lugar de y.
Denicin 1.12. Un sistema de n ecuaciones diferenciales ordinarias de primer orden en forma
normal para una funcin incgnita , = (,
1
. . . . . ,
n
) es una ecuacin vectorial del tipo
,
0
= (.. ,) . (1.63)
donde = (
1
. . . . .
n
) est denida en un abierto U R
nC1
y toma valores en R
n
. Dado (.
0
. ,
0
)
U, el problema de valores iniciales asociado al sistema (1.63) consiste en determinar una solucin ,(.)
denida en un intervalo 1 que contenga a .
0
tal que
,(.
0
) = ,
0
. (1.64)
v El sistema (1.63) es equivalente a las n ecuaciones escalares
,
0
1
=
1
(.. ,
1
. . . . . ,
n
) .
.
.
.
,
0
n
=
n
(.. ,
1
. . . . . ,
n
) .
mientras que el dato inicial (1.64) corresponde a las n condiciones
,
1
(.
0
) = ,
01
. . . . . ,
n
(.
0
) = ,
0n
.
v El problema de valores iniciales (1.63)(1.64) incluye como caso particular el problema de valores
iniciales asociado a una ecuacin escalar de orden n en forma normal
_
u
(n)
= J
_
.. u. u
0
. . . . . u
(n1)
_
.
u(.
0
) = u
0
. u
0
(.
0
) = u
1
. . . . . u
(n1)
(.
0
) = u
n1
.
(1.65)
En efecto, si introducimos las n variables dependientes
,
1
= u. ,
2
= u
0
. . . . . ,
n
= u
(n1)
.
el problema de valores iniciales (1.65) puede reescribirse como el sistema de ecuaciones de primer
orden
,
0
1
= ,
2
.
.
.
.
,
0
n1
= ,
n
.
,
0
n
= J(.. ,
1
. . . . . ,
n
) .
con la condicin inicial
,
1
(.
0
) = u
0
. ,
2
(.
0
) = u
1
. . . . . ,
n
(.
0
) = u
n1
.
(Ms en general, un sistema de mecuaciones diferenciales ordinarias de orden n puede convertirse
en un sistema de mn ecuaciones de primer orden.)
La existencia local de soluciones del problema de valores iniciales (1.63)(1.64) est garantizada si
la funcin es continua en su abierto de denicin, de acuerdo con el siguiente teorema:
x
0
x
0
C x
0
y
0
U
Figura 1.6: Si la funcin (.. ,) satisface las hiptesis del teorema de existencia y unicidad en el abierto
sombreado U, el problema de valores iniciales (1.63)(1.64) tiene solucin nica denida en el intervalo
(.
0
. .
0
). No est garantizado que la solucin est denida o sea nica fuera del abierto U.
Teorema de existencia de Peano. Sea : U R
n
continua en el abierto U R
nC1
, y sea
(.
0
. ,
0
) U. Entonces el problema (1.63)(1.64) tiene (al menos) una solucin ,(.) denida en un
intervalo de la forma (.
0
. .
0
), para > 0 sucientemente pequeo.
v El nmero , que es funcin de (.
0
. ,
0
), se puede estimar explcitamente, y depende esencialmente
de lo grande que sea el valor de [(.. ,)[ en U.
La continuidad de la funcin en el abierto U no garantiza la unicidad (ni siquiera local) de soluciones
del problema de valores iniciales (1.63)(1.64) con datos iniciales en U, tal y como ilustra el siguiente
ejemplo:
Ejemplo 1.13. Sea el problema de valores iniciales
_
,
0
= 3,
2{3
.
,(.
0
) = ,
0
.
(1.66)
Como (.. ,) = 3,
2{3
es continua en U = R
2
, el teorema de Peano garantiza que el problema (1.66)
posee al menos una solucin local cualquiera que sea el dato inicial (.
0
. ,
0
). Veamos que si ,
0
= 0 la
solucin no es nica. En efecto, , 0 es una solucin del problema (1.66) cuando ,
0
= 0. Por otro
lado, como la ecuacin ,
0
= 3,
2{3
es de variables separadas podemos integrarla inmediatamente, con
el resultado
, = (. c)
3
. c R. (1.67)
En particular, , = (. .
0
)
3
es otra solucin de (1.66) con ,
0
= 0, que diere de , 0 en cualquier
intervalo abierto centrado en .
0
.
El resultado fundamental que aplicaremos para establecer la existencia y unicidad local de soluciones
del problema de valores iniciales (1.63)-(1.64) es el siguiente:
Teorema de existencia y unicidad. Si la funcin : U R
nC1
R
n
y sus derivadas parciales
J(
i
J,
j
(1 6 i. 6 n) son continuas en el abierto U, entonces para todo (.
0
. ,
0
) U el problema de
valores iniciales (1.63)(1.64) tiene solucin nica en un intervalo de la forma (.
0
. .
0
), con
> 0 dependiente de (.
0
. ,
0
).
El teorema anterior es consecuencia de un resultado ms general, conocido como teorema de Picard
Lindelf, cuyo enunciado y demostracin detallada puede verse por ejemplo en F. Finkel y A. Gonzlez-
Lpez, Manual de Ecuaciones Diferenciales I, UCM, 2009
3
. En muchas ocasiones, utilizaremos el si-
guiente corolario directo del teorema de existencia y unicidad:
Corolario 1.14. Si : U R
nC1
R
n
es de clase C
1
en el abierto U, el problema de valores
iniciales (1.63)(1.64) tiene solucin nica local para todo dato inicial (.
0
. ,
0
) U.
v Si se cumplen las hiptesis del teorema de existencia y unicidad (o de su Corolario 1.14), entonces
ninguna solucin puede cortar a otra solucin dentro de U, ya que en caso contrario habra dos
soluciones con el mismo dato inicial en U (ver Fig. 1.6).
v Las hiptesis del teorema de existencia y unicidad no son ni mucho menos necesarias para que el
problema de valores iniciales (1.63)(1.64) tenga solucin nica. Por ejemplo, la funcin
(.. ,) =
2,
.
4. . . = 0 .
0 . . = 0 .
es discontinua en el eje vertical . = 0. Como la ecuacin ,
0
= (.. ,) es lineal, se resuelve
fcilmente con el resultado
, =
c
.
2
.
2
.
Por tanto, la ecuacin diferencial ,
0
= (.. ,) con la condicin inicial ,(0) = 0 tiene la solucin
nica , = .
2
, correspondiente a c = 0. En cambio, si la condicin inicial es ,(0) = ,
0
= 0, el
problema de valores iniciales no tiene solucin, ya que la nica solucin de la ecuacin diferencial
denida para . = 0 es , = .
2
.
Ejemplo 1.15. Dada la ecuacin diferencial
,
0
=
,
2
2.(, .)
. (1.68)
estudiemos por qu puntos del plano pasa una nica curva integral de la ecuacin (1.68). En primer lugar,
ntese que la funcin
(.. ,) =
,
2
2.(, .)
es de clase C
1
en todo el plano excepto en las rectas . = 0, , = .. Por el teorema de existencia y
unicidad, por todo punto (.
0
. ,
0
) R
2
que no pertenezca a dichas rectas pasa una nica solucin, y por
tanto una nica curva integral. Para ver qu ocurre cuando el dato inicial (.
0
. ,
0
) pertenece a las rectas
. = 0 , = ., consideramos la ecuacin asociada
d.
d,
=
2.(, .)
,
2
.
cuyas curvas integrales coinciden con las de la ecuacin de partida. Al ser el miembro derecho de esta
ecuacin de clase C
1
en todo el plano salvo en la recta , = 0, del teorema de existencia y unicidad se
deduce que por todo punto de las rectas . = 0 , = . salvo el origen pasa una nica curva integral
de la ecuacin (1.68) (con tangente vertical). De hecho, es inmediato comprobar que la recta . = 0 es
una curva integral, al ser claramente solucin de la ecuacin asociada. (Ntese, sin embargo, que la recta
, = . no es una curva integral.)
El nico punto del plano donde el teorema de existencia y unicidad no puede aplicarse ni a la ecuacin
de partida ni a su asociada es el origen. Para estudiar el comportamiento de las curvas integrales por este
3
A partir de ahora citaremos abreviadamente esta referencia como [EDI2009].
punto no hay ms remedio que resolver la ecuacin diferencial, que en este caso es posible al tratarse de
una ecuacin homognea. Efectuando el cambio , = .u en la ecuacin se obtiene
.u
0
u =
u
2
2(u 1)
== .u
0
=
u(2 u)
2(u 1)
.
Esta ltima ecuacin admite las soluciones particulares u = 0, u = 2, que corresponden a las soluciones
lineales , = 0 e , = 2.. Si u = 0. 2, resolviendo la ecuacin para u separando variables se obtiene
_
2u 2
u
2
2u
du = log [u
2
2u[ = log [.[ c
0
== u(u 2) =
c
.
. c R.
Deshaciendo el cambio se llega a la expresin
,(, 2.) = c. .
que incluye las soluciones particulares , = 0, , = 2. para c = 0. Como la ecuacin anterior se satisface
idnticamente para . = , = 0 y c arbitrario, todas las curvas integrales tienen una rama que pasa por
el origen. En denitiva, por todo punto del plano salvo el origen pasa una nica curva integral, mientras
que por el origen pasan innitas (cf. la Fig. 1.7).
2 1 1 2
2
1
1
2
Figura 1.7: Curvas integrales de la ecuacin (1.68).
Captulo 2
Sistemas lineales
2.1 Espacio de soluciones
Denicin 2.1. Un sistema lineal de primer orden es un sistema de n ecuaciones de la forma
,
0
= (.) , b(.) . (2.1)
donde : R M
n
(R) es una funcin matricial y b : R R
n
es una funcin vectorial, es decir,
(.) =
a
11
(.) . . . a
1n
(.)
.
.
.
.
.
.
.
.
.
a
n1
(.) . . . a
nn
(.)
. b(.) =
b
1
(.)
.
.
.
b
n
(.)
. (2.2)
El sistema (2.1) se dice homogneo si b 0, e inhomogneo en caso contrario.
v El conjunto M
n
(R) de las matrices cuadradas de orden n con elementos de matriz reales es un es-
pacio vectorial de dimensin n
2
. La base cannica de dicho espacio es la formada por las matrices
1
i}
cuyo nico elemento de matriz no nulo es un 1 en la la i y la columna . Las coordenadas de
una matriz en esta base son sus elementos de matriz a
i}
.
v Recurdese que una funcin vectorial b : R R
n
es continua en . R si y slo si lo son sus
componentes b
i
: R R. Anlogamente, una funcin matricial : R M
n
(R) es continua en
. R si y slo si sus n
2
elementos de matriz a
i}
: R R son funciones continuas en ..
Por el teorema de existencia y unicidad visto en el captulo anterior, si la funcin matricial y la
funcin vectorial b son continuas en un intervalo abierto 1, entonces el problema de valores iniciales
_
,
0
= (.) , b(.) .
,(.
0
) = ,
0
(2.3)
asociado al sistema lineal (2.1) tiene solucin nica local para todo dato inicial (.
0
. ,
0
) 1 R
n
.
De hecho, puede probarse el siguiente resultado ms general, cuya demostracin puede consultarse en
[EDI2009]:
Teorema 2.2. Si : 1 M
n
(R) y b : 1 R
n
son continuas en un intervalo cualquiera 1 R,
entonces el problema de valores iniciales (2.3) tiene solucin nica denida en todo el intervalo 1
para cualquier dato inicial (.
0
. ,
0
) 1 R
n
.
En lo que sigue supondremos que las funciones y b del sistema lineal (2.1)-(2.2) son continuas
en un intervalo 1 R, y por tanto se cumplen las hiptesis del Teorema 2.2. Denotaremos por S el
conjunto de soluciones del sistema (2.1), es decir,
S =
, : 1 R
n
[ ,
0
(.) = (.),(.) b(.) . V. 1
_
C
1
(1. R
n
) .
21
22 SISTEMAS LINEALES
Anlogamente, llamaremos S
0
al conjunto de soluciones del correspondiente sistema homogneo
,
0
= (.) , . (2.4)
v Si
1
.
2
son dos soluciones del sistema homogneo (2.4), entonces cualquier combinacin lineal
z
1
j
2
con coecientes z. j R sigue siendo solucin. En efecto,
(z
1
j
2
)
0
(.) = z
10
(.)j
20
(.) = z(.)
1
(.)j(.)
2
(.) = (.)
_
z
1
(.)j
2
(.)
_
.
En otras palabras, el conjunto S
0
de soluciones del sistema homogneo (2.4) es un espacio vecto-
rial real. Esta importante propiedad de los sistemas lineales homogneos se conoce como princi-
pio de superposicin lineal.
v La solucin general del sistema inhomogneo (2.1) es de la forma , = ,
p
,
h
, donde ,
p
es una
solucin particular ja de dicho sistema e ,
h
es la solucin general del correspondiente sistema
homogneo (2.4). En efecto, si , es de la forma anterior es claramente solucin de (2.1). Rec-
procamente, si , es cualquier solucin de dicho sistema, entonces , ,
p
es obviamente solucin
del sistema homogneo (2.4). En lenguaje ms matemtico, el conjunto de soluciones del sistema
inhomogneo (2.1) es el espacio afn S = ,
p
S
0
. donde ,
p
es un elemento jo de S.
A partir del Teorema 2.2 de existencia y unicidad, probaremos a continuacin que la dimensin del
espacio de soluciones S
0
del sistema homogneo (2.4) es precisamente n:
Teorema 2.3. El conjunto de soluciones del sistema homogneo ,
0
= (.), , con , R
n
, es un
espacio vectorial real de dimensin n.
Demostracin. Sea .
0
1 un punto jo pero arbitrario de 1, y sea e
i
el i -simo vector de la base
cannica de R
n
. Veamos en primer lugar que, si denotamos por Y
i
(.) a la solucin del problema de
valores iniciales
_
,
0
= (.), .
,(.
0
) = e
i
.
(2.5)
las funciones {Y
1
(.). . . . . Y
n
(.)] constituyen un sistema de generadores del espacio vectorial S
0
. Sea,
en efecto, ,(.) una solucin cualquiera del sistema homogneo (2.4), y llamemos
,
0
= ,(.
0
) (,
01
. . . . . ,
0n
) =
n
iD1
,
0i
e
i
.
Entonces la funcin
,(.) =
n
iD1
,
0i
Y
i
(.)
es solucin del sistema homogneo (2.4) (al ser combinacin lineal de soluciones) y satisface la condi-
cin inicial
,(.
0
) =
n
iD1
,
0i
e
i
= ,
0
= ,(.
0
) .
Del Teorema (2.2) de existencia y unicidad se sigue que , = , en 1. Luego toda solucin es combinacin
lineal de las n soluciones Y
i
, que constituyen por tanto un sistema de generadores de S
0
. Veamos que de
hecho las n soluciones Y
i
son linealmente independientes, por lo que forman una base de S
0
. En efecto,
supongamos que
n
iD1
z
i
Y
i
= 0 .
Sistemas homogneos. Mtodo de variacin de constantes 23
con z
1
. . . . . z
n
constantes reales. La igualdad anterior es equivalente a
n
iD1
z
i
Y
i
(.) = 0 . V. 1 .
de donde se sigue que
n
iD1
z
i
Y
i
(.
0
) =
n
iD1
z
i
e
i
= 0 .
que slo tiene la solucin trivial z
1
= = z
n
= 0 al ser {e
1
. . . . . e
n
] una base de R
n
. Esto demuestra
que {Y
1
. . . . . Y
n
] es una base de S
0
, y por tanto dimS
0
= n.
2.2 Sistemas homogneos. Mtodo de variacin de constantes
Denicin 2.4. Un sistema fundamental de soluciones del sistema homogneo (2.4) es una base
{,
1
. . . . . ,
n
] de su espacio de soluciones.
Por ejemplo, las n soluciones Y
i
del problema de valores iniciales (2.5) forman un sistema fundamental
de soluciones del sistema homogneo ,
0
= (.),. Ntese que, por construccin, dichas soluciones
verican Y
i
(.
0
) = e
i
.
Por denicin, cualquier solucin ,(.) del sistema homogneo (2.4) es combinacin lineal de los
elementos de un sistema fundamental de soluciones {,
1
. . . . . ,
n
], es decir,
,(.) =
n
iD1
c
i
,
i
(.) . . 1 . (2.6)
para ciertas constantes reales c
1
. . . . . c
n
. La igualdad vectorial (2.6) es equivalente a las n igualdades
escalares
,
k
(.) =
n
iD1
c
i
,
i
k
(.) . k = 1. . . . . n.
para cada una de las componentes de la solucin ,(.). A su vez, podemos escribir la igualdad (2.6) en
forma matricial como
,(.) = Y(.) c . (2.7)
siendo
Y(.) =
_
,
1
(.) ,
n
(.)
_
,
1
1
(.) . . . ,
n
1
(.)
.
.
.
.
.
.
.
.
.
,
1
n
(.) . . . ,
n
n
(.)
. c =
c
1
.
.
.
c
n
.
Denicin 2.5. Una matriz fundamental del sistema homogneo (2.4) es cualquier funcin matricial
Y : 1 M
n
(R) cuyas columnas forman un sistema fundamental de soluciones.
v Por lo que acabamos de ver, si Y(.) es una matriz fundamental del sistema homogneo (2.4), la
solucin general de dicho sistema est dada por la ecuacin (2.7).
v Una funcin matricial Y : 1 M
n
(R) es una matriz fundamental del sistema homogneo (2.4)
si y slo si sus columnas son linealmente independientes, y se cumple
Y
0
(.) = (.)Y(.) . V. 1 .
En efecto, la igualdad matricial anterior es equivalente a las n igualdades vectoriales
,
i 0
(.) = (.),
i
(.) . V. 1 . Vi = 1 . . . . . n.
donde ,
i
(.) es la i -sima columna de Y(.).
v Es obvio que un sistema homogneo posee innitas matrices fundamentales. Por otra parte, si
Y
1
(.) e Y
2
(.) son dos matrices fundamentales de (2.4) tales que Y
1
(.
0
) = Y
2
(.
0
) entonces
Y
1
= Y
2
en todo el intervalo 1. En efecto, cada columna de Y
1
y la correspondiente columna de
Y
2
son soluciones del sistema que toman el mismo valor en .
0
, por lo que deben coincidir en todo
1 en virtud del Teorema 2.2 de existencia y unicidad.
2.2.1 Wronskiano
Dadas n soluciones
1
. . . . .
n
(no necesariamente independientes) del sistema homogneo (2.4), con-
sideramos la matriz de soluciones
(.) =
_
1
(.)
n
(.)
_
cuya i -sima columna viene dada por la solucin
i
. Ntese que, al ser por hiptesis
i 0
(.) = (.)
i
(.)
para i = 1. . . . . n, la matriz (.) verica la ecuacin matricial
0
(.) = (.)(.) . (2.8)
Denicin 2.6. Dadas n soluciones
1
. . . . .
n
del sistema homogneo (2.4), su wronskiano es el de-
terminante de la correspondiente matriz de soluciones (.), es decir,
W
1
. . . . .
n
|(.) det (.) =
1
1
(.) . . .
n
1
(.)
.
.
.
.
.
.
.
.
.
1
n
(.) . . .
n
n
(.)
. (2.9)
Notacin. Cuando est claro del contexto a qu soluciones
1
. . . . .
n
nos estamos reriendo denotare-
mos su wronskiano sencillamente como W(.).
La propiedad clave del wronskiano (2.9) es que su anulacin en cualquier punto del intervalo 1 im-
plica la dependencia lineal de las soluciones
1
. . . . .
n
en dicho intervalo, de acuerdo con la siguiente
Proposicin 2.7. Sean
1
. . . . .
n
soluciones del sistema homogneo (2.4) en el intervalo 1. Entonces
{
1
. . . . .
n
] son linealmente independientes == W
1
. . . . .
n
|(.) = 0, V. 1.
Demostracin. Veamos en primer lugar la implicacin (=). Si {
1
. . . . .
n
] fueran linealmente depen-
dientes, entonces los vectores {
1
(.). . . . .
n
(.)] seran linealmente dependientes para cada . 1. Pero
entonces W
1
. . . . .
n
|(.) = 0 para todo . 1.
En cuanto a la implicacin (=), si existiera .
0
1 tal que W
1
. . . . .
n
|(.
0
) = 0 entonces los
vectores {
1
(.
0
). . . . .
n
(.
0
)] seran linealmente dependientes, es decir, existiran n constantes reales
z
k
no todas nulas tales que
n
kD1
z
k
k
(.
0
) = 0 .
Pero entonces
,(.) =
n
kD1
z
k
k
(.)
sera solucin del sistema (2.4) con la condicin inicial ,(.
0
) = 0. Por el Teorema 2.2 de existencia y
unicidad , 0 en 1, y por tanto {
1
. . . . .
n
] seran linealmente dependientes.
v Si
1
. . . . .
n
son soluciones de ,
0
= (.), , de la ltima demostracin se sigue que o bien
W
1
. . . . .
n
|(.) = 0 para todo . 1, o bien W
1
. . . . .
n
|(.) = 0 para todo . 1.
Sistemas homogneos. Mtodo de variacin de constantes 25
v Ntese que una funcin matricial : 1 M
n
(R) es una matriz fundamental del sistema (2.4) si
y slo si
i)
0
(.) = (.)(.) . V. 1. (2.10a)
ii) det (.) = 0 . V. 1. (2.10b)
En efecto, la segunda condicin es equivalente a la independencia lineal de las columnas de (.)
en virtud de la proposicin anterior.
v Si (.) es una matriz fundamental y 1 M
n
(R) es cualquier matriz invertible, es inmediato
comprobar que v(.) = (.)1 cumple i) y ii), y por tanto es una matriz fundamental. Recproca-
mente, supongamos que (.) y v(.) son dos matrices fundamentales del sistema (2.4). Al ser las
matrices (.
0
) y v(.
0
) invertibles en virtud de la Proposicin 2.7, la matriz 1 = (.
0
)
1
v(.
0
)
existe y es invertible, siendo por construccin v(.
0
) = (.
0
)1. Entonces v(.) y (.)1 son
ambas matrices fundamentales de (2.4) y coinciden en .
0
, por lo que deben ser iguales en todo el
intervalo 1 en virtud del comentario de la pg. 24. En denitiva, cualquier matriz fundamental del
sistema homogneo (2.4) puede obtenerse a partir de una matriz fundamental ja multiplicndola
por la derecha por una matriz invertible apropriada.
Ejercicio. Si (.) es una matriz fundamental del sistema (2.4) y 1 es una matriz invertible qu puede
decirse de la matriz v(.) = 1(.)?
Denicin 2.8. Se denomina matriz fundamental cannica del sistema homogneo (2.4) (en el punto
.
0
) a la nica matriz fundamental Y(.) de dicho sistema que cumple Y(.
0
) = 1.
v Dada cualquier matriz fundamental Y(.) del sistema (2.4), es inmediato comprobar que Y(.)Y(.
0
)
1
es su matriz fundamental cannica en el punto .
0
.
v Si Y(.) es la matriz fundamental cannica del sistema (2.4) en .
0
, la solucin del problema de
valores iniciales
_
,
0
= (.),
,(.
0
) = ,
0
asociado a dicho sistema es simplemente
,(.) = Y(.),
0
.
Comentario. Dadas n funciones diferenciables
1
. . . . .
n
arbitrarias (no necesariamente solucin de
un sistema lineal homogneo (2.4) con continua en 1), la anulacin de su wronskiano (incluso idnti-
camente) no implica la dependencia lineal. Por ejemplo, las funciones
1
(.) =
_
sen .
.
_
.
2
(.) =
_
e
x
sen .
e
x
.
_
son linealmente independientes aunque su wronskiano se anula idnticamente en R.
2.2.2 Frmula de AbelLiouville
Sean
k
, k = 1. . . . . n, soluciones del sistema homogneo (2.4), y sea W(.) su wronskiano. Entonces
W
0
(.) =
n
iD1
1
1
(.) . . .
n
1
(.)
.
.
.
.
.
.
1
i
0
(.) . . .
n
i
0
(.)
.
.
.
.
.
.
1
n
(.) . . .
n
n
(.)
. (2.11)
Como
k
es solucin de (2.4) se verica
k
i
0
(.) =
n
}D1
a
i}
(.)
k
}
(.) . k = 1. . . . . n.
Luego
W
0
(.) =
n
iD1
1
1
(.) . . .
n
1
(.)
.
.
.
.
.
.
n
}D1
a
i}
(.)
1
}
(.) . . .
n
}D1
a
i}
(.)
n
}
(.)
.
.
.
.
.
.
1
n
(.) . . .
n
n
(.)
=
n
iD1
1
1
(.) . . .
n
1
(.)
.
.
.
.
.
.
a
i i
(.)
1
i
(.) . . . a
i i
(.)
n
i
(.)
.
.
.
.
.
.
1
n
(.) . . .
n
n
(.)
.
ya que un determinante no vara al sumar a una la una combinacin lineal de las restantes. Por tanto
W
0
(.) =
n
iD1
a
i i
W(.) = tr (.) W(.) .
Integrando esta ltima ecuacin lineal de primer orden a partir de un cierto .
0
1 se obtiene
W(.) = W(.
0
) e
_
x
x
0
tr (t ) dt
. V. 1 . (2.12)
expresin que se conoce como la frmula de AbelLiouville. Ntese que de esta frmula se deduce
tambin que o bien W(.) no se anula en 1, o bien W(.) se anula idnticamente en 1.
2.2.3 Mtodo de variacin de constantes
En general no resulta posible determinar de forma explcita una matriz fundamental del sistema homo-
gneo (2.4). Sin embargo, cuando se conoce una matriz fundamental Y(.) de dicho sistema se podr
determinar la solucin general del correspondiente sistema inhomogneo (2.1) utilizando el mtodo de
variacin de constantes. Anlogamente al caso escalar (ver pg. 12), el mtodo consiste en probar co-
mo solucin la funcin que se obtiene al sustituir el vector constante c de la solucin general (2.7) del
sistema homogneo por una funcin incgnita c(.), es decir,
,(.) = Y(.)c(.) . c(.) =
c
1
(.)
.
.
.
c
n
(.)
.
Sustituyendo en (2.1) obtenemos
,
0
(.) = Y
0
(.)c(.) Y(.)c
0
(.) = (.)Y(.)c(.) b(.) .
y teniendo en cuenta que al ser Y(.) una matriz fundamental verica las condiciones (2.10) queda
c
0
(.) = Y
1
(.)b(.) . V. 1 .
Luego
c(.) = c
_
x
Y
1
(s)b(s) ds . c R
n
.
Por tanto la solucin general del sistema inhomogneo (2.1) viene dada por
,(.) = Y(.) c Y(.)
_
x
Y
1
(s)b(s) ds . V. 1 . (2.13)
Sistemas con coecientes constantes 27
Ntese que (de acuerdo con la Proposicin 2.1) la solucin (2.13) es de la forma
,(.) = ,
h
(.) ,
p
(.) .
donde ,
h
(.) es la solucin general del sistema homogneo e ,
p
(.) es una solucin particular del siste-
ma inhomogneo. Por ltimo, se comprueba fcilmente que la solucin del problema de valores inicia-
les (2.3) es
,(.) = Y(.)Y
1
(.
0
) ,
0
_
x
x
0
Y(.)Y
1
(s)b(s) ds . V. 1 . (2.14)
2.3 Sistemas con coecientes constantes
Como hemos visto en la seccin anterior, la dicultad para resolver el sistema inhomogneo (2.1) estriba
en determinar una matriz fundamental del correspondiente sistema homogneo, ya que si se conoce
tal matriz la solucin general del sistema inhomogneo puede expresarse mediante cuadraturas (cf. la
ec. (2.13)). En esta seccin veremos que cuando la matriz (.) del sistema (2.1) es constante es posible
en principio construir una matriz fundamental del correspondiente sistema homogneo
,
0
= , . M
n
(R) . (2.15)
Ser de gran utilidad admitir soluciones complejas , : 1 R C
n
del sistema anterior. Al ser
por hiptesis los coecientes a
i}
de la matriz reales, es inmediato probar los siguientes resultados
elementales:
i) , : 1 R C
n
es solucin de (2.15) == , es solucin de dicho sistema.
ii) , : 1 R C
n
es solucin de (2.15) == Re ,. Im, son soluciones de dicho sistema.
Por analoga con las ecuaciones lineales escalares estudiadas en el captulo anterior, busquemos una
solucin del sistema (2.15) de la forma ,(.) = e
2x
, donde z C y C
n
son constantes, y = 0.
Al ser
,
0
(.) = ze
2x
. ,(.) = e
2x
.
se obtiene inmediatamente el siguiente resultado, que ser fundamental en lo que sigue:
Proposicin 2.9. ,(.) = e
2x
(con z C y C
n
constantes, y = 0) es solucin de (2.15) si y
slo si es autovector de con autovalor z.
2.3.1 diagonalizable
El resultado anterior permite construir fcilmente una matriz fundamental de (2.15) cuando su matriz
de coecientes es diagonalizable, es decir cuando existe una matriz invertible constante (en general
compleja) 1 tal que 1
1
1 es una matriz diagonal. Como es bien sabido, los elementos de la diagonal
principal de 1
1
1 son los autovalores (en general complejos) de la matriz , y las columnas de 1
forman una base de C
n
compuesta de autovectores de .
v Es bien sabido que los autovalores z
1
. . . . . z
n
de la matriz (donde estamos suponiendo que
z
i
= z
}
si i = ) son las races del polinomio caracterstico de , denido mediante
(t ) = det(t 1 ) . (2.16)
En otras palabras, el polinomio caracterstico se factoriza como
(t ) =
n
iD1
(t z
i
)
i
i
. (2.17)
El entero r
i
> 1 se denomina multiplicidad algebraica del autovalor z
i
. Ntese que, al ser
un
polinomio de grado n, de (2.17) se sigue que
n
iD1
r
i
= n. (2.18)
v Un resultado elemental de lgebra lineal arma que la matriz es diagonalizable si y slo si la
multiplicidad algebraica r
i
de cada autovalor z
i
coincide con su multiplicidad geomtrica s
i
,
denida por
1
s
i
= dimker( z
i
) . (2.19)
En otras palabras, s
i
es el nmero mximo de autovectores linealmente independientes correspon-
dientes al autovalor z
i
. Es bien sabido que la multiplicidad geomtrica es siempre menor o igual
que la algebraica, es decir, s
i
6 r
i
para todo i . Por tanto, si todos los autovalores son simples, es
decir, si r
i
= 1 para todo i , la matriz es diagonalizable.
v Otro criterio para determinar si una matriz es diagonalizable se basa en las nociones de polino-
mio mnimo e ndice de un autovalor. Recordemos que el polinomio mnimo
de una matriz
es el polinomio mnico
2
de menor grado que anula dicha matriz. La existencia del polinomio
mnimo es consecuencia del teorema de CayleyHamilton, segn el cual
() = 0. Puede pro-
barse que si el polinomio caracterstico est dado por (2.17), entonces el polinomio mnimo es de
la forma
(t ) =
n
iD1
(t z
i
)
d
i
. 1 6 J
i
6 r
i
.
Ntese, en particular, que el polinomio mnimo divide exactamente al polinomio caracterstico. La
multiplicidad J
i
de z
i
como raz del polinomio mnimo se conoce como el ndice del autovalor z
i
.
Se demuestra (vase, por ejemplo, [EDI2009]) que
r
i
= s
i
== J
i
= 1 . (2.20)
Por tanto
diagonalizable == J
i
= 1 . Vi = 1. . . . . m. (2.21)
En virtud de la discusin anterior, si es diagonalizable para cada autovalor z
i
de podemos en-
contrar r
i
autovectores linealmente independientes (en general complejos), que denotaremos por
i}
.
= 1. . . . . r
i
. Como los autovectores correspondientes a autovalores distintos son linealmente indepen-
dientes, es inmediato probar que el conjunto
_
i}
: = 1. . . . . r
i
. i = 1. . . . . m
_
(2.22)
es una base de C
n
. Por la Proposicin 2.9, las n funciones vectoriales (en general complejas)
,
i}
(.) = e
2
i
x
i}
. = 1. . . . . r
i
. i = 1. . . . . m. (2.23)
1
Si z C, a partir de ahora escribiremos por sencillez z en lugar de z1.
2
Un polinomio es mnico si el coeciente del trmino de mayor grado que aparece en dicho polinomio es igual a 1. Por
ejemplo, de (2.16) o (2.17) se sigue que el polinomio caracterstico de cualquier matriz es mnico.
son soluciones del sistema (2.15). Para probar que las soluciones (2.23) forman un sistema fundamental
de soluciones de dicho sistema basta demostrar que son linealmente independientes. Pero esto es obvio,
ya que si
n
iD1
i
i
}D1
c
i}
,
i}
= 0 .
con c
i}
C, evaluando la identidad anterior en . = 0 se obtiene
i
i
}D1
c
i}
i}
= 0 == c
i}
= 0 . V = 1. . . . . r
i
. i = 1. . . . . m.
al ser (2.22) una base. Hemos probado por tanto el siguiente resultado:
Teorema 2.10. Supongamos que la matriz del sistema (2.15) es diagonalizable. Si los vectores (2.22)
forman una base de C
n
, siendo
i}
autovector de con autovalor z
i
, entonces las funciones (2.23)
son un sistema fundamental de soluciones de (2.15).
Como es una matriz real, en la prctica suele interesar construir a partir de (2.23) un sistema
fundamental de soluciones reales de (2.15). Para ello, ntese que al ser real podemos escoger los
autovectores
i}
de forma que se cumplan las dos condiciones siguientes:
i) Si z
i
R, entonces
i}
R
n
para todo = 1. . . . . r
i
.
ii) Si z
i
= z
k
C \ R, entonces
k}
=
i}
para todo = 1. . . . . r
i
r
k
.
En efecto, la demostracin de i) es inmediata, mientras que ii) es una sencilla consecuencia de la siguiente
propiedad: si z C es un autovalor de M
n
(R) y es un autovector de con autovalor z, entonces es
un autovector de con autovalor z. En particular, los autovalores complejos de aparecen en pares (z. z),
siendo la multiplicidad de un autovalor igual a la de su complejo conjugado.
Si se cumple la condicin i) anterior, las soluciones (2.23) correspondientes a autovalores reales z
i
son automticamente reales. Si, por el contrario, z
i
= a ib con b = 0 y
i}
= u in (siendo
u. n R
n
), podemos sustituir las dos soluciones complejas
e
(oib)x
(u in)
por las partes real e imaginaria de una cualquiera de ellas:
e
ox
_
ucos(b.) nsen(b.)
_
. e
ox
_
usen(b.) ncos(b.)
_
. (2.24)
(Ntese que las funciones (2.24) siguen siendo soluciones del sistema, en virtud de la propiedad ii) de la
pg. 27.) Procediendo de esta forma se obtienen n soluciones reales del sistema (2.15) de la forma (2.23)
(si el autovalor z
i
es real) o (2.24) (si a ib es un par de autovalores complejos conjugados de ), cuya
independencia lineal se comprueba fcilmente.
Ejemplo 2.11. Consideremos el sistema (2.15) con matriz de coecientes
=
0 0 1 0
0 0 0 1
1 0 0 0
0 1 0 0
. (2.25)
cuyo polinomio caracterstico est dado por
(t ) =
t 0 1 0
0 t 0 1
1 0 t 0
0 1 0 t
= t
2
(t
2
1) t
2
1 = (t
2
1)
2
.
Por tanto en este caso los autovalores de son z
1
= i y z
2
= i z
1
, con multiplicidades algebraicas
r
1
= r
2
= 2. El ncleo de i se calcula fcilmente teniendo en cuenta que
i =
i 0 1 0
0 i 0 1
1 0 i 0
0 1 0 i
-
_
1 0 i 0
0 1 0 i
_
.
ya que las dos primeras las son proporcionales a las dos ltimas. Una base de ker( i) est formada
(por ejemplo) por los vectores
11
= (1. 0. i. 0) .
12
= (0. i. 0. 1) .
siendo por tanto sus complejos conjugados
21
= (1. 0. i. 0) .
22
= (0. i. 0. 1)
base de ker(i). De lo anterior se deduce que s
1
= s
2
= 2, por lo que la matriz es diagonalizable. Un
sistema fundamental de soluciones (complejas) de (2.15)-(2.25) est dada por las funciones vectoriales
,
1
(.) = e
ix
1
0
i
0
. ,
2
(.) = e
ix
0
i
0
1
. ,
3
(.) = ,
1
(.) . ,
4
(.) = ,
2
(.) .
Para construir un sistema fundamental de soluciones reales del sistema dado, basta tomar las partes reales
e imaginarias de las soluciones complejas ,
1
e ,
2
. De esta forma se obtiene la matriz fundamental
Y(.) =
cos . sen . 0 0
0 0 sen . cos .
sen . cos . 0 0
0 0 cos . sen .
.
Esta matriz fundamental no es cannica (en .
0
= 0), ya que
Y(0) =
1 0 0 0
0 0 0 1
0 1 0 0
0 0 1 0
= 1 .
Sin embargo, es evidente que colocando la ltima columna de Y(0) en segundo lugar se obtiene la matriz
identidad. De esto se sigue que la matriz
(.) =
cos . 0 sen . 0
0 cos . 0 sen .
sen . 0 cos . 0
0 sen . 0 cos .
(2.26)
es la matriz fundamental cannica de (2.15)-(2.25) en el origen (por qu?).
2.3.2 no diagonalizable
El procedimiento descrito en la subseccin anterior para construir un sistema fundamental de soluciones
de (2.15) no es aplicable si la matriz no es diagonalizable, es decir si la multiplicidad geomtrica s
i
de algn autovalor z
i
de es estrictamente menor que su multiplicidad algebraica r
i
. En efecto, en este
caso slo podemos construir s
1
s
n
< r
1
r
n
= n soluciones linealmente independientes
de la forma (2.23).
Para construir un sistema fundamental de soluciones de (2.15) cuando la matriz de coecientes no
es diagonalizable, buscamos soluciones ligeramente ms generales que (2.23), de la forma
,(.) = e
2x
k
}D0
.
}

}
. (2.27)
con
}
C
n
para = 0. . . . . k. En este caso
,
0
(.) = ze
2x
k
}D0
.
}

}
e
2x
k
}D1
.
}1
( 1)
}
e
2x
k
}D0
.
}

(
}C1
z
}
) .
donde por denicin
kC1
= 0. Por tanto la funcin vectorial (2.27) es solucin del sistema (2.15) si y
slo si se cumplen las relaciones
}C1
= ( z)
}
. = 0. . . . . k .
es decir si
}
= ( z)
}
0
. = 0. . . . . k : ( z)
kC1
0
= 0 . (2.28)
donde hemos utilizado la condicin
kC1
= 0. Por tanto
0
ker( z)
kC1
. (2.29)
siendo adems
0
= 0, pues en caso contrario (2.27) se anulara idnticamente. De lo anterior se sigue
tambin que z es un autovalor de . En efecto, al ser
0
= 0 la ec. (2.29) implica que existe l N con
0 6 l 6 k tal que
I
= ( z)
I
0
= 0 y ( z)
IC1
0
= 0, y por tanto
( z)
I
( z)( z)
I
0
= ( z)
IC1
0
= 0 .
La discusin anterior demuestra el siguiente resultado, que generaliza la Proposicin 2.9:
Proposicin 2.12. Si z C es un autovalor de la matriz y C
n
es un elemento no nulo de
ker( z)
kC1
, entonces la funcin vectorial
,(.) = e
2x
k
}D0
.
}

( z)
}
es una solucin no trivial del sistema (2.15). Recprocamente, si (2.27) es solucin de (2.15) entonces
z es un autovalor de y los vectores
}
satisfacen (2.28).
Denicin 2.13. Si z es un autovalor de la matriz , diremos que un vector no nulo C
n
es un
autovector generalizado de autovalor z si ( z)
}
= 0 para algn > 1.
v Es inmediato probar que el conjunto de todos los autovectores propios generalizados de autova-
lor z, junto con el vector cero, forman un subespacio vectorial de C
n
. Esto motiva la siguiente
denicin:
Denicin 2.14. Llamaremos subespacio propio generalizado correspondiente a un autovalor z de
al subespacio vectorial 1
2
formado por sus autovectores propios generalizados junto con el vector 0.
v Ntese que cualquier autovector es por denicin un autovector generalizado, y por tanto
ker( z) 1
2
. (2.30)
Aceptaremos sin demostracin las siguientes propiedades fundamentales de los subespacios propios ge-
neralizados de la matriz , cuya justicacin puede verse, por ejemplo, en M. W. Hirsch y S. Smale,
Ecuaciones diferenciales, sistemas dinmicos y lgebra lineal (Alianza, Madrid, 1983):
Proposicin 2.15. Sean z
1
. . . . . z
n
(con z
i
= z
}
si i = ) los autovalores de , y sean r
i
y J
i
la
multiplicidad algebraica y el ndice del autovalor z
i
. Entonces se verica:
i) 1
2
i
= ker( z
i
)
d
i
.
ii) dim1
2
i
= r
i
.
iii) C
n
= 1
2
1
1
2
m
.
v La ltima igualdad es equivalente a la siguiente propiedad: si B
i
es una base de 1
2
i
(con i =
1. . . . . m), entonces B = B
1
L L B
n
es una base de C
n
.
v De (2.30) y del apartado ii) de la proposicin anterior se sigue inmediatamente que r
i
= s
i
si y
slo si 1
2
i
= ker( z
i
). Por tanto
diagonalizable == 1
2
i
= ker( z
i
) . Vi = 1. . . . . m.
Veamos a continuacin que el sistema (2.15) posee un sistema fundamental de soluciones de la
forma (2.27). En primer lugar, si z es un autovalor de de multiplicidad algebraica r e ndice J, por el
apartado ii) de la Proposicin 2.15 cualquier base de 1
2
estar formada por r vectores {
1
. . . . .
i
]. En
virtud de la Proposicin 2.12 (con k = J 1), las r funciones vectoriales
,
I
(.) = e
2x
d1
}D0
.
}

( z)
}
I
. l = 1. . . . . r . (2.31)
son soluciones de (2.15). Procediendo de esta forma con los m autovalores de obtenemos un conjunto
de r
1
r
n
soluciones de (2.15), cuya independencia lineal se demuestra, como en el caso de las
funciones (2.23), observando que ,
I
(0) =
I
y teniendo en cuenta el primer comentario tras la Proposi-
cin 2.15. Hemos probado por tanto la siguiente generalizacin del Teorema 2.10:
Teorema 2.16. Las funciones vectoriales de la forma (2.31), donde z es cualquier autovalor de y
{
1
. . . . .
i
] es una base del subespacio propio generalizado 1
2
, forman un sistema fundamental de
soluciones del sistema (2.15).
Al igual que en la subseccin anterior, si M
n
(R) se puede reemplazar el sistema fundamen-
tal (2.31) por otro real. Para ello basta observar que, al ser la matriz real, de nuevo es posible escoger
los vectores
I
de forma que cumplan el anlogo de las condiciones i)ii) de la pg. 29, es decir,
i) Si z R, entonces
I
R
n
para todo l = 1. . . . . r.
ii) Si z C \ R y {
1
. . . . .
i
] es una base de 1
2
entonces z tambin es autovalor, con las mismas
multiplicidades e ndice que z, y podemos tomar como base de 1
2
el conjunto

1
. . . . .
i
_
.
En tal caso, si el autovalor z es real las soluciones (2.31) son automticamente reales, al ser los corres-
pondientes vectores
I
(l = 1. . . . . r) reales. Por otra parte, si z = a ib es un autovalor complejo
de entonces podemos reemplazar las 2r soluciones (2.31) asociadas al autovalor z y a su complejo
conjugado por las partes real e imaginaria de (2.31). Ms concretamente, si llamamos
( z)
}
I
= u
I}
in
I}
. u
I}
. n
I}
R
n
. l = 1. . . . . r . = 0. . . . . J 1 .
entonces las 2r soluciones reales de (2.15) asociadas a los autovalores a ib estn dadas por
e
ox
d1
}D0
.
}

_
cos(b.)u
I}
sen(b.)n
I}
_
. e
ox
d1
}D0
.
}

_
sen(b.)u
I}
cos(b.)n
I}
_
.
donde l = 1. . . . . r. Es fcil comprobar que las n soluciones reales de (2.15) obtenidas de este modo
siguen siendo linealmente independientes, por lo que forman un sistema fundamental de soluciones de
dicho sistema.
A partir de las consideraciones anteriores se obtiene fcilmente el siguiente teorema:
Teorema 2.17. Las soluciones del sistema homogneo con coecientes constantes ,
0
= , , con
M
n
(R), son combinaciones lineales con coecientes en R
n
de funciones de la forma
.
}
e
ox
cos(b.) . .
k
e
ox
sen(b.) .
donde a ib (con b > 0) es un autovalor de , y los exponentes . k son estrictamente menores que
el ndice de dicho autovalor.
Demostracin. En primer lugar, es evidente que todas las soluciones del sistema fundamental real de (2.15)
que acabamos de construir son de esta forma. Basta entonces observar que una solucin arbitraria
de (2.15), al ser combinacin lineal (con coecientes en R) de soluciones de la forma anterior, es tambin
de dicha forma.
v Sea z un autovalor de la matriz M
n
(R), y sea 1
2
tal que
( z)
k
= 0 . ( z)
k1
= 0 .
Es fcil probar entonces que los k vectores
I
= ( z)
kI
. l = 1. . . . . k .
son linealmente independientes. En efecto, si
k
ID1
c
I
ID1
c
I
( z)
kI
= 0 . c
I
C.
aplicando sucesivamente a la identidad anterior los operadores (z)
k1
, (z)
k2
, . . . , (z)
se obtiene inmediatamente c
k
= c
k1
= = c
1
= 0.
v El resultado anterior es muy til a la hora de construir una base de 1
2
respecto de la cual las
soluciones (2.31) asociadas al autovalor z adopten la forma ms sencilla posible. Supongamos,
por ejemplo, que el autovalor z tiene multiplicidad algebraica r = 2 y geomtrica s = 1. En este
caso es fcil ver que el ndice J del autovalor z es igual a 2 (en virtud de (2.20) y de la desigualdad
J 6 r), y por tanto
1
2
= ker( z)
2
. dim1
2
= 2 .
Si ker( z)
2
\ ker( z), por lo que acabamos de ver los vectores
1
= ( z) .
2
= (2.32a)
son linealmente independientes, y por tanto forman una base de 1
2
. Teniendo en cuenta que
( z)
1
( z)
2
= 0 .
las dos soluciones linealmente independientes de la forma (2.31) asociadas al autovalor z son en
este caso
,
1
(.) = e
2x
1
. ,
2
(.) = e
2x
(
2
.
1
) . (2.32b)
Ejemplo 2.18. Hallemos una matriz fundamental del sistema
,
0
= , . =
1 1 1
2 1 1
0 1 1
. (2.33)
El polinomio caracterstico de la matriz es
(t ) =
t 1 1 1
2 t 1 1
0 1 t 1
= (t 1)(t
2
2t ) 2(2 t ) = (t 2)(t
2
t 2) = (t 1)(t 2)
2
.
Los autovalores de son por tanto z
1
= 1, z
2
= 2, con multiplicidades algebraicas r
1
= 1, r
2
= 2.
La solucin de (2.33) asociada al autovalor simple 1 es ,
1
(.) = e
x
n, siendo n un autovector de
de autovalor 1. Teniendo en cuenta que
1 =
2 1 1
2 2 1
0 1 2
-
_
2 1 1
0 1 2
_
-
_
2 0 3
0 1 2
_
.
podemos tomar n = (3. 4. 2), lo que proporciona la solucin
,
1
(.) = e
x
3
4
2
.
Construyamos a continuacin las dos soluciones linealmente independiente de (2.33) ligadas al segundo
autovalor z
2
= 2. En primer lugar, al ser
2 =
1 1 1
2 1 1
0 1 1
claramente de rango 2, se tiene

s
2
dimker( 2) = 3 rank( 2) = 1 .
Por el comentario anterior, las dos soluciones linealmente independientes asociadas al autovalor 2 son de
la forma (2.32), siendo un vector tal que ( 2)
2
= 0, ( 2) = 0. Como
( 2)
2
=
3 3 3
4 4 4
2 2 2
.
podemos tomar, por ejemplo, = (1. 1. 0), lo que conduce a las soluciones
,
2
(.) = e
2x
( 2) = e
2x
0
1
1
.
,
3
(.) = e
2x
_
.( 2)
_
= e
2x
1
1
0
.e
2x
0
1
1
= e
2x
1
. 1
.
.
En denitiva, una matriz fundamental del sistema (2.33) est dada por
Y(.) =
_
,
1
(.) ,
2
(.) ,
3
(.)
_
=
3e
x
0 e
2x
4e
x
e
2x
e
2x
(. 1)
2e
x
e
2x
.e
2x
. (2.34)
2.3.3 Exponencial de una matriz
Consideremos de nuevo el sistema homogneo con coecientes constantes (2.15), y denotemos por 1(.)
su matriz fundamental cannica en .
0
= 0, que satisface
1
0
(.) = 1(.) . 1(0) = 1 .
Derivando las igualdades anteriores se deduce que
1
(k)
(.) =
k
1(.) . k = 0. 1. . . . .
donde por denicin T
0
1 para cualquier matriz T, y por tanto
1
(k)
(0) =
k
. k = 0. 1. . . . .
Puede demostrarse (vase, por ejemplo, [EDI2009]) que la serie de Taylor de 1(.) centrada en el origen
converge a 1(.) para todo . R y para toda matriz , es decir
1(.) =
1
}D0
.
}

}
. V. R. (2.35)
Por analoga con el caso escalar, se dene la exponencial de una matriz T M
n
(C) mediante
e
B
=
1
}D0
T
}

. (2.36)
De nuevo, no es difcil demostrar (cf. [EDI2009]) que la serie anterior converge para toda matriz T. De
esta denicin y de (2.35) se sigue entonces que
1(.) = e
x
.
Por tanto, la solucin del problema de valores iniciales
_
,
0
(.) = ,(.)
,(0) = ,
0
est dada por
,(.) = e
x
,
0
.
Para todo t R jo, la matriz 1(. t ) (considerada como funcin de .) es una matriz fundamental
del sistema (2.15), dado que es invertible en todo punto (recurdese que 1(.) es invertible para todo
. R, por ser una matriz fundamental) y verica
d
d.
1(. t ) = 1
0
(. t ) = 1(. t ) . V. R.
Por otra parte, 1(.)1(t ) es otra matriz fundamental de (2.15), al ser 1(t ) una matriz constante invertible.
En . = 0, tanto 1(. t ) como 1(.)1(t ) toman el mismo valor 1(t ) (al ser 1(0) = 1), por lo que
1(. t ) = 1(.)1(t ) para todo .. t R. En otras palabras,
e
(xCt)
= e
x
e
t
( = e
t
e
x
) . V.. t R. (2.37)
Haciendo t = . y observando que e
0
= 1(0) = 1 se obtiene la identidad
_
e
x
_
1
= e
x
. V. R.
De las dos identidades anteriores se deduce que e
x
(e
x
0
)
1
= e
(xx
0
)
es la matriz fundamental
cannica de (2.15) en .
0
. Por tanto, la solucin del problema de valores iniciales
_
,
0
(.) = ,(.)
,(.
0
) = ,
0
est dada por
,(.) = e
(xx
0
)
,
0
.
De la identidad (2.37) y la expresin (2.13), obtenida al aplicar el mtodo de variacin de constantes, se
sigue que la solucin general del sistema inhomogneo asociado a (2.15)
,
0
= , b(.) . con b : 1 R
n
continua,
viene dada por
,(.) = e
x
c e
x
_
x
e
x
b(s) ds = e
x
c
_
x
e
(xx)
b(s) ds . c R
n
. (2.38)
Si imponemos adems la condicin inicial ,(.
0
) = ,
0
la solucin buscada es (cf. la ec. (2.14))
,(.) = e
(xx
0
)
,
0
_
x
x
0
e
(xx)
b(s) ds .
Ejemplo 2.19. Hallemos la matriz fundamental cannica e
x
del sistema (2.15) con matriz de coecien-
tes (2.25) utilizando la denicin (2.36). Para ello, basta tener en cuenta que
2
= 1, por lo que las
potencias de estn dadas por
2k
= (1)
k
1 .
2kC1
= (1)
k
. k = 0. 1. . . . .
Sustituyendo en la ec. (2.36) separando las potencias pares de de las impares se obtiene
e
x
=
1
kD0
.
2k
(2k)
(1)
k
1
1
kD0
.
2kC1
(2k 1)
(1)
k
= cos . 1 sen . .
que coincide con el resultado obtenido anteriormente (cf. la ec. (2.26)).
v La mayor parte de las veces, no es conveniente utilizar directamente la denicin (2.36) para cal-
cular la matriz fundamental cannica e
x
del sistema (2.15). Hay muchos mtodos prcticos para
calcular dicha matriz (vase, por ejemplo, [EDI2009]), la mayor parte de los cuales presuponen
el conocimiento de conceptos de lgebra lineal que no han sido explicados en la correspondiente
asignatura de primero de Grado. Ntese, sin embargo, que siempre es posible calcular la matriz
e
x
mediante la frmula
e
x
= Y(.)Y(0)
1
. (2.39)
siendo Y(.) una matriz fundamental cualquiera del sistema (2.15).
Ejemplo 2.20. Calculemos la exponencial e
x
, siendo la matriz (2.33). Utilizando la ec. (2.34) se
obtiene
Y(0)
1
=
3 0 1
4 1 1
2 1 0
1
=
1
9
1 1 1
2 2 7
6 3 3
.
y por tanto
e
x
=
1
9
3e
x
0 e
2x
4e
x
e
2x
e
2x
(. 1)
2e
x
e
2x
.e
2x
1 1 1
2 2 7
6 3 3
=
1
9
6e
2x
3e
x
3e
2x
3e
x
3e
2x
3e
x
2e
2x
(3. 2) 4e
x
e
2x
(3. 5) 4e
x
e
2x
(3. 4) 4e
x
2e
2x
(1 3.) 2e
x
2e
x
e
2x
(3. 2) e
2x
(7 3.) 2e
x
. (2.40)
v Un caso particular importante en que es muy sencillo calcular la exponencial matricial e
x
es el
caso en que la matriz es diagonalizable. En efecto, si llamamos j
1
. . . . . j
n
a los autovalores
de (donde cada autovalor est repetido tantas veces cuanta sea su multiplicidad algebraica) y
{
1
. . . . .
n
] es una base de C
n
formada por autovectores de , de forma que
i
= j
i
i
para
i = 1. . . . . n, hemos visto en la Subseccin 2.3.1 que una matriz fundamental de (2.15) est dado
por
Y(.) =
_
e
1
x
1
e
n
x
n
_
= 1
1
x
.
.
.
e
n
x
.
siendo 1 = (
1

n
). De la denicin (2.36) se sigue inmediatamente que
1
x
.
.
.
e
n
x
= e
xJ
.
siendo J =
j
1
.
.
.
j
n
la forma cannica de la matriz . Teniendo en cuenta que Y(0) =

1, de (2.39) se deduce que
e
x
= 1 e
xJ
1
1
.
Captulo 3
Ecuaciones lineales
3.1 Espacio de soluciones
Denicin 3.1. Una ecuacin lineal de orden n es una ecuacin diferencial de la forma
u
(n)
a
n1
(.) u
(n1)
a
1
(.) u
0
a
0
(.) u = b(.) . (3.1)
donde las funciones a
i
: R R (i = 0. . . . . n 1) y b : R R son continuas en un intervalo 1.
Diremos que la ecuacin (3.1) es homognea si b 0 en 1, e inhomognea o completa en caso
contrario.
Como se vio en el Captulo 1 (pgina 16), toda ecuacin diferencial de orden n puede escribirse
como un sistema de n ecuaciones de primer orden. El sistema de primer orden (1.65) asociado a la
ecuacin (3.1) es el sistema lineal
,
0
= (.) , b(.) e
n
. (3.2)
donde
(.) =
0 1 0 . . . 0
0 0 1 . . . 0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0 0 . . . 1
a
0
(.) a
1
(.) a
2
(.) . . . a
n1
(.)
(3.3)
se denomina matriz compaera de la ecuacin (3.1). Ntese, en particular, que
tr (.) = a
n1
(.) . (3.4)
expresin que utilizaremos ms adelante. Al ser las entradas de la matriz compaera (.) y la funcin
b(.) continuas en el intervalo 1, el Teorema 2.2 garantiza que el problema de valores iniciales dado por
la ecuacin (3.1) con las condiciones iniciales
u(.
0
) = u
0
. u
0
(.
0
) = u
1
. . . . . u
(n1)
(.
0
) = u
n1
(.
0
1) (3.5)
tiene solucin nica denida en todo 1:
Teorema 3.2. Si las funciones a
i
: 1 R (i = 0. . . . . n 1) y b : 1 R son continuas en el
intervalo 1, el problema de valores iniciales (3.1)-(3.5) posee solucin nica denida en todo 1 para
cualquier dato inicial (.
0
. u
0
. . . . . u
n1
) 1 R
n
.
Utilizaremos una notacin anloga a la de los sistemas lineales de primer orden, denotando por S el
conjunto de soluciones de la ecuacin (3.1), y por S
0
el de la correspondiente ecuacin homognea
u
(n)
a
n1
(.) u
(n1)
a
1
(.) u
0
a
0
(.) u = 0 . (3.6)
39
40 ECUACIONES LINEALES
Ntese que ambos conjuntos estn contenidos en C
n
(1). Razonando como en el caso de los sistemas de
primer orden se prueban inmediatamente las siguientes propiedades:
v Si
1
.
2
son dos soluciones de la ecuacin homognea (3.6), entonces cualquier combinacin
lineal z
1
j
2
con coecientes z. j R sigue siendo solucin. En otras palabras, el conjun-
to S
0
de soluciones de la ecuacin homognea (3.6) es un espacio vectorial real (principio de
superposicin lineal).
v La solucin general de la ecuacin inhomognea (3.1) es de la forma u = u
p
u
h
, donde u
p
es
una solucin particular ja de dicha ecuacin y u
h
es la solucin general de la ecuacin homog-
nea correspondiente (3.6). Equivalentemente, el conjunto de soluciones de la ecuacin inhomog-
nea (3.1) es el espacio afn S = u
p
S
0
. donde u
p
es un elemento jo de S.
Para determinar la dimensin del espacio S
0
utilizaremos la siguiente propiedad:
v Si
1
. . . . .
k
son soluciones de la ecuacin lineal homognea (3.6), y denotamos por ,
i
=
(
i
.
0
i
. . . . .
(n1)
i
), i = 1. . . . . k, las correspondientes soluciones del sistema lineal de primer
orden asociado, entonces
{
1
. . . . .
k
] linealmente independientes == {,
1
. . . . . ,
k
] linealmente independientes .
La implicacin (=) es evidente. En cuanto al recproco, supongamos que
z
1
1
z
k
k
= 0 . z
i
R.
Derivando n 1 veces esta igualdad se sigue que
z
1
,
1
z
k
,
k
= 0 .
y por tanto z
1
= = z
k
= 0, al ser {,
1
. . . . . ,
k
] linealmente independientes por hiptesis.
De la propiedad anterior y el Teorema 2.3 se sigue inmediatamente el siguiente resultado:
Teorema 3.3. El espacio S
0
de soluciones de la ecuacin homognea (3.6) es de dimensin n.
Denicin 3.4. Un sistema fundamental de soluciones de la ecuacin homognea (3.6) es una base
{
1
. . . . .
n
] de su espacio de soluciones S
0
.
v Si {
1
. . . . .
n
] es un sistema fundamental de soluciones de (3.6), entonces cualquier solucin u
de dicha ecuacin puede expresarse como
u(.) =
n
iD1
c
i
i
(.) . c
i
R .
Denicin 3.5. Dadas n soluciones
1
. . . . .
n
de la ecuacin homognea (3.6), su wronskiano se dene
como el wronskiano de las correspondientes soluciones del sistema lineal asociado, es decir,
W
1
. . . . .
n
|(.) =
1
(.) . . .
n
(.)
0
1
(.) . . .
0
n
(.)
.
.
.
.
.
.
(n1)
1
(.) . . .
(n1)
n
(.)
. (3.7)
Utilizaremos frecuentemente la notacin abreviada W(.) en lugar de W
1
. . . . .
n
|(.) cuando que-
de claro por el contexto a qu soluciones
1
. . . . .
n
nos estamos reriendo. Al igual que en el caso de
Espacio de soluciones 41
los sistema lineales de primer orden, mediante el wronskiano es inmediato determinar la independencia
lineal de un conjunto de n soluciones de la ecuacin lineal homognea (3.6), de acuerdo con la siguiente
proposicin:
Proposicin 3.6. Sean
1
. . . . .
n
soluciones de la ecuacin homognea (3.6) en el intervalo 1. En-
tonces {
1
. . . . .
n
] son linealmente independientes == W
1
. . . . .
n
|(.) = 0, V. 1.
Demostracin. Si ,
1
. . . . . ,
n
son las soluciones del sistema asociado de primer orden correspondientes
a
1
. . . . .
n
, del comentario previo al Teorema 3.3 y la Proposicin 2.7 se sigue que
{
1
. . . . .
n
] l.i. == {,
1
. . . . . ,
n
] l.i. == W,
1
. . . . . ,
n
|(.) = 0. V. 1 .
Pero, por denicin, W,
1
. . . . . ,
n
|(.) = W
1
. . . . .
n
|(.).
v Si
1
. . . . .
n
son soluciones de la ecuacin (3.6), por el comentario tras la Proposicin 2.7 o bien
W
1
. . . . .
n
|(.) = 0 para todo . 1, o bien W
1
. . . . .
n
|(.) = 0 para todo . 1. Luego
basta comprobar que W
1
. . . . .
n
|(.
0
) = 0 en un cierto .
0
1 para garantizar la independencia
lineal en 1 de dichas soluciones.
v Sean
1
. . . . .
n
soluciones de la ecuacin (3.6), y sea W(.) su wronskiano. Como la matriz com-
paera (3.3) verica tr (.) = a
n1
(.), la frmula de AbelLiouville (2.12) se reduce a
W(.) = W(.
0
) e
_
x
x
0
a
n1
(t ) dt
. . 1 . (3.8)
Ntese que la armacin del comentario anterior se sigue directamente de esta frmula, y que el
wronskiano es constante si el coeciente a
n1
(.) se anula idnticamente en 1.
3.1.1 Reduccin del orden
En general, no es posible calcular un sistema fundamental de soluciones de la ecuacin homognea (3.6)
en forma explcita, es decir, en trminos de los coecientes a
i
(.) y sus primitivas. Sin embargo, en el
caso de una ecuacin de segundo orden
u
00
a
1
(.)u
0
a
0
(.)u = 0 . (3.9)
si se conoce una solucin no idnticamente nula se puede expresar la solucin general mediante cuadra-
turas. En efecto, si (.) es una solucin particular no trivial de la ecuacin (3.9), y denotamos por u(.)
una solucin cualquiera de dicha ecuacin, de la frmula de AbelLiouville (3.8) se sigue que
(.)u
0

0
(.) u = k e
_
x
x
0
a
1
(s) ds
.
siendo k = W. u|(.
0
). Integrando esta ecuacin lineal de primer orden para u obtenemos fcilmente
la siguiente expresin de la solucin general de (3.9):
u(.) = c(.) k(.)
_
x
x
0
e
_
t
x
0
a
1
(s) ds
2
(t )
dt .
Por tanto, (.) y la nueva solucin
[(.) = (.)
_
x
x
0
e
_
t
x
0
a
1
(s) ds
2
(t )
dt (3.10)
forman un sistema fundamental de soluciones de la ecuacin homognea (3.9), ya que (por construccin)
W. [|(.
0
) = 1 = 0.
Comentario. En el caso de la ecuacin homognea (3.6) de orden n > 2, el conocimiento de una
solucin particular no trivial (.) permite reducir dicha ecuacin a otra ecuacin lineal homognea de
orden n 1 mediante el cambio de variable
z =
_
u
(.)
_
0
. (3.11)
Por ejemplo, supongamos que (.) , 0 es una solucin particular de la ecuacin de tercer orden
u
000
a
2
(.)u
00
a
1
(.)u
0
a
0
(.)u = 0 . (3.12)
Escribiendo el cambio de variable (3.11) como u = (.)
_
x
z, obtenemos
u
0
=
0
(.)
_
x
z (.)z .
u
00
=
00
(.)
_
x
z 2
0
(.)z (.)z
0
.
u
000
=
000
(.)
_
x
z 3
00
(.)z 3
0
(.)z
0
(.)z
00
.
Sustituyendo estas expresiones en (3.9), y teniendo en cuenta que (.) es solucin de dicha ecuacin, se
obtiene la siguiente ecuacin de segundo orden para z:
(.)z
00
_
3
0
(.) a
2
(.)(.)
_
z
0
_
3
00
(.) 2a
2
(.)
0
(.) a
1
(.)(.)
_
z = 0 .
En general, se puede probar (ver L. Elsgoltz, Ecuaciones Diferenciales y Clculo Variacional, Ed. URSS,
Mosc, 1994) que si se conocen k soluciones linealmente independientes de una ecuacin lineal homo-
gnea de orden n, se puede transformar dicha ecuacin en una ecuacin lineal homognea de orden nk
aplicando sucesivamente cambios de variable de la forma (3.11). En particular, si se conocen n 1 so-
luciones de la ecuacin (3.6), es posible expresar su solucin general en trminos de cuadraturas tras
reducirla a una ecuacin lineal de primer orden mediante este procedimiento.
3.1.2 Mtodo de variacin de constantes
Al igual que para los sistemas lineales de primer orden, si se conoce un sistema fundamental de solu-
ciones de la ecuacin homognea (3.6) es posible expresar la solucin general de la ecuacin inhomog-
nea (3.1) correspondiente mediante cuadraturas. En efecto, sea {
1
. . . . .
n
] un sistema fundamental de
soluciones de la ecuacin (3.6), y sea (.) la correspondiente matriz fundamental del sistema de primer
orden asociado, es decir,
(.) =

1
(.) . . .
n
(.)
0
1
(.) . . .
0
n
(.)
.
.
.
.
.
.
(n1)
1
(.) . . .
(n1)
n
(.)
.
La solucin general del sistema de primer orden (3.2) asociado a la ecuacin inhomognea (3.1) es
(ver Ec. (2.13))
,(.) = (.)c
_
x
b(t ) (.) (t )
1
e
n
dt . c =
c
1
.
.
.
c
n
R
n
. (3.13)
La solucin general de (3.1) es la primera componente del miembro derecho de la ltima ecuacin. Para
escribir esta solucin ms explcitamente, ntese que la primera componente de (.) (t )
1
e
n
es igual
a
n
iD1
1i
(.)
_
(t )
1
_
i n
=
n
iD1
i
(.)(1)
iCn
M
ni
(t )
W(t )
=
1
W(t )
1
(t ) . . .
n
(t )
0
1
(t ) . . .
0
n
(t )
.
.
.
.
.
.
(n2)
1
(t ) . . .
(n2)
n
(t )
1
(.) . . .
n
(.)
.
Espacio de soluciones 43
donde M
ni
(t ) denota el menor asociado al elemento de matriz ni de la matriz (t ), y la ltima igualdad
se obtiene desarrollando el determinante por la ltima la. Sustituyendo la expresin anterior en (3.13)
obtenemos la siguiente expresin para la solucin general de la ecuacin (3.1):
u(.) =
n
iD1
c
i

i
(.)
_
x
1
(t) ...
n
(t)
0
1
(t) ...
0
n
(t)
.
.
.
.
.
.
.n2/
1
(t) ...
.n2/
n
(t)
1
(x) ...
n
(x)
b(t )
W(t )
dt . (3.14)
En particular, para la ecuacin lineal de segundo orden
u
00
a
1
(.) u
0
a
0
(.) u = b(.) (3.15)
se tiene
u(.) = c
1
1
(.) c
2
2
(.)
_
x
b(t )
W(t )
_
1
(t )
2
(.)
2
(t )
1
(.)
_
dt . (3.16)
Ntese que la funcin
u
p
(.) =
_
x
x
0
b(t )
W(t )
_
1
(t )
2
(.)
2
(t )
1
(.)
_
dt (3.17)
es una solucin particular de la ecuacin inhomognea (3.15) que verica las condiciones iniciales
u
p
(.
0
) = u
0
p
(.
0
) = 0 .
Ejemplo 3.7. Consideremos la ecuacin de segundo orden
u
00
u = tan . . (3.18)
Hallemos en primer lugar un sistema fundamental de soluciones de la ecuacin homognea
u
00
u = 0. (3.19)
El sistema de primer orden (3.2)-(3.3) asociado es
,
0
= ,
_
0 1
1 0
_
, . (3.20)
siendo , = (u. u
0
). Los autovalores de la matriz son las soluciones de la ecuacin
z 1
1 z
= z
2
1 = 0 == z = i .
Considerando el autovalor z = i, y tomando como autovector = (1. i), de las ecuaciones (2.24) se
sigue inmediatamente que un sistema fundamental de soluciones de (3.20) est dado por
,
1
(.) =
_
cos .. sen .
_
. ,
2
(.) =
_
sen .. cos .
_
.
Por tanto un sistema fundamental de soluciones de la ecuacin homognea (3.19) es
1
(.) = cos . .
2
(.) = sen . .
cuyo wronskiano es
W(.) =
cos . sen .
sen . cos .
= 1 .
(Ntese que W(.) es constante; esto es consecuencia de la frmula de AbelLiouville (3.8), ya que
en este caso a
n1
a
1
= 0.) De la ecuacin (3.16) se sigue que una solucin particular de de la
ecuacin (3.18) es
u
p
=
_
x
tan t cos t sen . sen t cos .| dt
= sen .
_
x
sen t dt cos .
_
x
1 cos
2
t
cos t
dt = cos .
_
x
sec t dt . (3.21)
Para evaluar la ltima integral efectuamos el cambio de variable s = tan
t
2
, de modo que
ds =
1
2
(1 tan
2 t
2
) dt =
1
2
(1 s
2
) dt == dt =
2
1 s
2
ds .
Por otro lado,
cos t = 2 cos
2 t
2
1 =
2
sec
2
t
2
1 =
2
1 tan
2
t
2
1 =
2
1 s
2
1 =
1 s
2
1 s
2
.
sen t = 2 sen
t
2
cos
t
2
=
2 tan
t
2
sec
2
t
2
=
2s
1 s
2
.
y por tanto
_
sec t dt =
_
1 s
2
1 s
2

2
1 s
2
ds =
_
2
1 s
2
ds =
_
ds
1 s
_
ds
1 s
= log
1 s
1 s
= log
1 s
2
1 s
2

2s
1 s
2
= log [ sec t tan t [ .

Sustituyendo esta expresin en (3.21) y aadiendo la solucin general de la ecuacin homognea (3.19)
concluimos que
u = c
1
cos . c
2
sen . cos . log [ sec . tan .[
es la solucin general de la ecuacin (3.18).
3.2 Ecuaciones con coecientes constantes. Mtodo de los coecientes
indeterminados
Un caso particular de gran inters prctico en el que es posible encontrar la solucin general de la
ecuacin lineal (3.1) es aqul en que los coecientes a
i
(.) son constantes, es decir,
u
(n)
a
n1
u
(n1)
a
1
u
0
a
0
u = b(.) . a
0
. . . . . a
n1
R. (3.22)
Consideremos en primer lugar la correspondiente ecuacin homognea
u
(n)
a
n1
u
(n1)
a
1
u
0
a
0
u = 0 . (3.23)
cuya matriz compaera es la matriz constante
=
0 1 0 . . . 0
0 0 1 . . . 0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0 0 . . . 1
a
0
a
1
a
2
. . . a
n1
. (3.24)
Ecuaciones con coecientes constantes. Mtodo de los coecientes indeterminados 45
El polinomio caracterstico de se calcula fcilmente desarrollando det(z ) por la ltima la, obte-
nindose
(z) = z
n
a
n1
z
n1
a
1
z a
0
(z) . (3.25)
El polinomio (z) se denomina polinomio caracterstico de la ecuacin (3.23). Las races del polino-
mio caracterstico (z) son por tanto los autovalores de la matriz compaera . Se puede determinar
la forma de la solucin general de la ecuacin (3.23) aplicando los mtodos de la Seccin 2.3 al siste-
ma lineal asociado (2.15)-(3.24). Sin embargo, en la prctica resulta ms fcil estudiar directamente la
ecuacin (3.23), como haremos a continuacin.
Comencemos escribiendo la ecuacin (3.23) en la forma
_
D
n
a
n1
D
n1
a
1
D a
0
_
u (D)u = 0 . D
d
d.
.
De la igualdad
(D z)
_
(.)e
2x
_
=
0
(.)e
2x
.
se sigue inmediatamente que
(D z)
k
_
(.)e
2x
_
=
(k)
(.)e
2x
. (3.26)
Supongamos que el polinomio caracterstico (z) se factoriza como
(z) = (z z
1
)
i
1
(z z
n
)
i
m
. r
1
r
n
= n.
donde las races z
1
. . . . . z
n
, en general complejas, son distintas entre s. Si z
i
es una de estas races
podemos por tanto escribir
(z) = q(z)(z z
i
)
i
i
.
siendo q(z) un polinomio de grado n r
i
con q(z
i
) = 0. Luego (D) = q(D)(D z
i
)
i
i
, y de la
Ec. (3.26) se sigue entonces que
(D)
_
.
k
e
2
i
x
_
= q(D)
_
e
2
i
x
d
i
i
d.
i
i
.
k
_
= 0 . k = 0. 1. . . . . r
i
1 .
Esto demuestra que las funciones
.
k
e
2
i
x
. i = 1. . . . . m. k = 0. 1. . . . . r
i
1 . (3.27)
son solucin de la ecuacin (3.23). Como hay precisamente r
1
r
n
= n soluciones de este tipo,
para probar que forman un sistema fundamental de soluciones de dicha ecuacin basta comprobar su
independencia lineal.
Lema 3.8. Las funciones (3.27) son linealmente independientes.
Demostracin. Supongamos que
n
iD1
i
i
1
kD0
c
ik
.
k
e
2
i
x
= 0 . V. R. (3.28)
donde los coecientes c
ik
son constantes complejas. Podemos reescribir esta igualdad como
1
1
(.)e
2
1
x
1
n
(.)e
2
m
x
= 0 . V. R. (3.29)
siendo 1
i
(.) =
i
i
1
kD0
c
ik
.
k
un polinomio de grado menor o igual que r
i
1. Para demostrar que to-
dos los coecientes c
ik
de la ecuacin (3.28) son nulos, basta probar que los polinomios 1
i
se anulan
idnticamente. Para establecer este resultado, comencemos multiplicando la ecuacin (3.29) por e
2
1
x
,
obteniendo
1
1
(.) 1
2
e
2
x
1
n
(.)e
m
x
= 0 . V. R. (3.30)
donde los exponentes j
i
z
i
z
1
= 0 son todos distintos entre s. Derivando esta ecuacin r
1
veces
se obtiene
Q
2
(.)e
2
x
Q
n
(.)e
m
x
= 0 . V. R. (3.31)
donde Q
i
es un polinomio del mismo grado que 1
i
. Repitiendo este procedimiento sucesivas veces se
llega nalmente a una ecuacin del tipo
1
n
(.)e
m
x
= 0 . V. R. (3.32)
donde 1
n
es un polinomio del mismo grado que 1
n
. De esta condicin se sigue inmediatamente que
1
n
0, lo cual implica (al ser deg 1
n
= deg 1
n
) que 1
n
0. Como el orden de las races z
i
es
irrelevante para el argumento anterior, concluimos que todos los polinomios 1
i
se anulan idnticamente.
La discusin anterior y el Lema 3.8 prueban por tanto el siguiente teorema:

Teorema 3.9. Las funciones (3.27), donde r
i
es la multiplicidad de la raz z
i
del polinomio caracte-
rstico (3.25), constituyen un sistema fundamental de soluciones de la ecuacin lineal homognea con
coecientes constantes (3.23).
v Si la raz z
}
= a
}
ib
}
es compleja, podemos sustituir las 2r
}
soluciones complejas
.
k
e
o
j
x
e
ib
j
x
. k = 0. 1. . . . . r
}
1 .
asociadas a las races z
}
y z
}
del polinomio caracterstico por las 2r
}
soluciones reales
.
k
e
o
j
x
cos(b
}
.) . .
k
e
o
j
x
sen(b
}
.) k = 0. 1. . . . . r
}
1 .
que se obtienen al tomar la parte real y la parte imaginaria de las soluciones correspondientes a la
raz z
}
(o z
}
).
Ejemplo 3.10. Hallemos la solucin general de la ecuacin de cuarto orden con coecientes constantes
u
(4)
u
000
u
0
u = 0 . (3.33)
El polinomio caracterstico asociado a esta ecuacin es
(z) = z
4
z
3
z 1 = (z 1)
2
(z
2
z 1) . (3.34)
Las races son por tanto z
1
= 1 (de multiplicidad r
1
= 2) y las dos races de la ecuacin
z
2
z 1 = 0 .
es decir
z
2,3
=
1
2
_
1 i
_
3
_
.
de multiplicidad r
2
= r
3
= 1. La solucin general de la ecuacin (3.33) es por tanto
u(.) = e
x
(c
1
c
2
.) e
x
2
_
c
3
cos
_
p
3
2
.
_
c
4
sen
_
p
3
2
.
_
_
. (3.35)
con c
1
. . . . . c
4
constantes arbitrarias.
3.2.1 Mtodo de los coecientes indeterminados
Una vez hallado un sistema fundamental de soluciones de la ecuacin homognea (3.23), se puede cal-
cular la solucin general de la ecuacin inhomognea (3.22) para cualquier funcin b(.) utilizando el
mtodo de variacin de constantes (ver la Ec. (3.14)). Sin embargo, para ciertas formas sencillas de la
funcin b(.) que se presentan frecuentemente en la prctica, el mtodo de los coecientes indetermina-
dos que describiremos a continuacin permite calcular una solucin particular de (3.22) de manera ms
rpida. La solucin general de (3.22) se halla entonces sumando a esta solucin particular la solucin
general de la correspondiente ecuacin homognea.
Supongamos, en primer lugar, que
b(.) = q(.)e
x
. (3.36)
donde q(.) es un polinomio. Si r es la multiplicidad de j como raz del polinomio caracterstico (3.25)
de la ecuacin homognea (3.23), entonces
(z) =
1
(z j)
i
2
(z j)
iC1

ni
(z j)
n1
(z j)
n
.
con
1
. . . . .
ni
R ( C, si j es complejo) y
1
= 0. Ntese que esta expresin es vlida tambin
si j no es raz del polinomio caracterstico, siendo en este caso r = 0. De la expresin anterior y la
Ec. (3.26) se sigue que
(D)
_
(.)e
x
_
=
_
(i)
(.)
2
(iC1)
(.)
ni
(n1)
(.)
(n)
(.)
_
e
x
.
Esto sugiere probar una solucin particular de la forma
u
p
(.) = .
i
Q(.)e
x
. (3.37)
donde
Q(.) = Q
0
Q
1
. Q
d
.
d
. J deg q (3.38)
es un polinomio que se determina mediante la condicin
1
(.
i
Q)
(i)
2
(.
i
Q)
(iC1)

ni
(.
i
Q)
(n1)
(.
i
Q)
(n)
= q . (3.39)
Puede probarse que la ltima ecuacin proporciona un sistema lineal de J 1 ecuaciones en los J 1
coecientes de Q que siempre es compatible. Por tanto, la ecuacin (3.22) con el trmino inhomog-
neo (3.36) siempre tiene una solucin particular de la forma (3.37)-(3.38), donde r es la multiplicidad de
j como raz del polinomio caracterstico y el polinomio Q se determina mediante la ecuacin (3.39) (o
bien directamente, sustituyendo (3.37)-(3.38) en (3.22)).
Ejemplo 3.11. Hallemos una solucin particular de la ecuacin
u
(4)
u
000
u
0
u = .e
x
. (3.40)
Aqu j = 1 es una raz del polinomio caracterstico de la ecuacin homognea de multiplicidad 2 (ver
la Ec. (3.34) en el Ejemplo 3.10), y q(.) = . es un polinomio de grado 1. Buscamos por tanto una
solucin particular de la forma
u
p
(.) = .
2
(a b.)e
x
.
Para calcular (D) u
p
es conveniente en este caso desarrollar (D) en potencias de D 1, ya que en
virtud de la Ec. (3.26) se tiene (D1)
k
_
(.)e
x
_
=
(k)
(.)e
x
. Utilizando la frmula de Taylor para
desarrollar el factor z
2
z 1 en potencias de z 1 obtenemos
(z) = (z 1)
2
_
3 3(z 1) (z 1)
2
_
.
Por tanto
(D)u
p
=
_
3(2a 6b.) 3 6b
_
e
x
= .e
x
== 3(2a 6b.) 18b = . .
lo que conduce a las ecuaciones
6a 18b = 0 . 18b = 1 .
La solucin particular buscada es por tanto
u
p
(.) =
1
18
(.
3
3.
2
)e
x
. (3.41)
La solucin general de la ecuacin (3.40) es la suma de esta solucin particular y la solucin gene-
ral (3.35) de la ecuacin homognea.
Ejemplo 3.12. Consideremos ahora la ecuacin
u
(4)
4u = .
_
1 e
x
cos .
_
. (3.42)
El polinomio caracterstico de la ecuacin homognea es
(z) = z
4
4 .
cuyas races z
k
son las races cuartas de 4:
z
k
=
_
2 e
i(
4
Ck
2
)
. k = 0. 1. 2. 3 .
es decir,
z
0
= 1 i . z
1
= 1 i . z
2
= 1 i . z
3
= 1 i .
Por tanto la solucin general de la ecuacin homognea est dada por
u
h
(.) = e
x
(c
1
cos . c
2
sen .) e
x
(c
3
cos . c
4
sen .) . c
i
R. (3.43)
Aparentemente no se puede aplicar el mtodo de los coecientes indeterminados a la Ec. (3.42), al no
ser el trmino inhomogneo de la forma (3.36). Sin embargo, como el miembro derecho de (3.42) es la
suma de los trminos
b
1
(.) = . . b
2
(.) = .e
x
cos . .
la suma de sendas soluciones particulares u
i
(.) de las ecuaciones
u
(4)
4u = b
i
(.) . i = 1. 2 . (3.44)
es (por linealidad) una solucin particular de (3.42). El trmino inhomogneo de la primera de estas
ecuaciones es directamente de la forma (3.36), con q(.) = . y j = 0. Como 0 no es una raz del
polinomio caracterstico, buscamos una solucin particular de la forma u
1
(.) = a b.. Sustituyendo
en la correspondiente ecuacin completa (3.44) obtenemos inmediatamente
u
1
(.) =
.
4
.
Por otro lado, al ser b
2
(.) = Re
_
.e
(1Ci)x
_
, podemos buscar una solucin particular de la segunda
ecuacin (3.44) de la forma u
2
(.) = Re u(.), donde u(.) es cualquier solucin de la ecuacin
u
(4)
4u = .e
(1Ci)x
. (3.45)
El miembro derecho de esta ecuacin es de nuevo de la forma (3.36), con q(.) = . y j = 1 i raz
simple del polinomio caracterstico, por lo que ensayamos una solucin particular de la forma
u(.) = .(a b.)e
(1Ci)x
(.)e
x
.
Sustituyendo en (3.45) y utilizando la regla de Leibniz generalizada
(g)
(n)
=
n
kD0
_
n
k
_
(k)
g
(nk)
se obtiene
j
4
e
x
4j
3
e
x
0
6j
2
e
x
00
4e
x
= .e
x
== 4j
3
(a 2b.) 6j
2
2b = . .
donde hemos tenido en cuenta que j
4
= 4. Por tanto
8j
3
b = 1
ja 3b = 0
==
b =
1
8j
3
=
j
32
=
1
32
(1 i)
a =
3b
j
=
3
32
.
y entonces
u(.) =
.
32
_
3 (1 i).
_
e
(1Ci)x
.
Tomando la parte real de esta funcin se obtiene
u
2
(.) =
.
32
e
x
_
(3 .) cos . . sen .
_
.
Por tanto la ecuacin inhomognea (3.42) admite la solucin particular
u
p
(.) = u
1
(.) u
2
(.) =
.
4
.
32
e
x
_
(3 .) cos . . sen .
_
.
La solucin general de la ecuacin (3.42) es la suma de esta solucin particular y la solucin gene-
ral (3.43) de la ecuacin homognea.
v En general, el mtodo de los coecientes indeterminados se puede aplicar a la ecuacin (3.22) si
el trmino inhomogneo es de la forma
b(.) =
I
iD1
b
i
(.) . (3.46)
donde
b
i
(.) = e
i
x
_
q
i
(.) cos(
i
.) q
i
(.) sen(
i
.)
_
. (3.47)
siendo
i
.
i
R (
i
> 0), y q
i
. q
i
polinomios. Ntese que si
i
= 0 la funcin b
i
(.) es de la
forma (3.36) con j =
i
. Se puede comprobar que la ecuacin (3.22) con el trmino inhomog-
neo (3.46)-(3.47) posee una solucin particular del tipo
u
p
(.) =
I
iD1
u
i
(.) . (3.48)
donde
u
i
(.) = .
i
i
e
i
x
_
Q
i
(.) cos(
i
.)

Q
i
(.) sen(
i
.)
_
. (3.49)
siendo r
i
la multiplicidad de j
i
=
i
i
i
como raz del polinomio caracterstico de la ecuacin
homognea, y Q
i
.

Q
i
polinomios tales que deg Q
i
. deg

Q
i
6 max(deg q
i
. deg q
i
).
Captulo 4
Funciones analticas
4.1 Propiedades algebraicas de los nmeros complejos
Denicin 4.1. C =
R
2
. .
_
, con la suma y el producto denidos por
(.
1
. ,
1
) (.
2
. ,
2
) = (.
1
.
2
. ,
1
,
2
)
(.
1
. ,
1
) (.
2
. ,
2
) = (.
1
.
2
,
1
,
2
. .
1
,
2
.
2
,
1
).
Justicacin:
v La suma y la multiplicacin de los pares de la forma (.. 0) C coinciden con la de los nmeros
reales . R
==podemos identicar el complejo (.. 0) con el nmero real . R
==podemos identicar R con el subconjunto {(.. 0) : . R] C (eje real)
Ntese que para todo z R se tiene z(.. ,) = (z.. z,) = (z. 0)(.. ,)
v i (0. 1) ==i
2
= i i = (0. 1) (0. 1) = (1. 0) 1
v (.. ,) = (.. 0) ,(0. 1) . i,
== (.
1
i,
1
)(.
2
i,
2
) = (.
1
.
2
,
1
,
2
) i(.
1
,
2
.
2
,
1
) .
que es la frmula usual para multiplicar los nmeros complejos .
1
i,
1
y .
2
i,
2
.
v Si z = . i, (.. , R), se dene
Re z = .. Imz = ,
(partes real e imaginaria del complejo z)
v Al ser C = R
2
(como conjuntos), la igualdad en C se dene mediante
z . i, = n u i ==. = u. , = .
En particular,
z = . i, = 0 ==. = , = 0.
Proposicin 4.2. C es un cuerpo: para todo z. n. s C se cumple
z n = n z z n = nz
z (n s) = (z n) s z (ns) = (z n) s
z 0 = z 1 z = z
J z C t.q. z (z) = 0 z = 0 ==Jz
1
C t.q. z z
1
= 1
z(n s) = z n z s.
51
52 FUNCIONES ANALTICAS
Demostracin. Obviamente, z = . i, == z = . i,. La existencia de inverso respecto del
producto para todo z = . i, = 0 se deduce del siguiente clculo:
z
1
= u i ==z z
1
= (. u , ) i (. , u) = 1
==
_
. u , = 1
, u . = 0
==u =
.
.
2
,
2
. =
,
.
2
,
2
(ntese que z = 0 ==.
2
,
2
= 0)
==z
1
=
.
.
2
,
2
i
,
.
2
,
2
.
Las dems propiedades se comprueban fcilmente a partir de la denicin de las operaciones en C.
v Como en todo cuerpo, los inversos z y z
1
(si z = 0) del nmero z C respecto de la suma y el
producto son nicos.
Notacin:
z
n
z n
1
. z
n
= z z z
n veces
(n N).
v C no es un cuerpo ordenado: si lo fuera,
i
2
= i i = 1 > 0.
4.1.1 Races cuadradas (mtodo algebraico)
Si z = . i,, queremos hallar todos los n u i C tales que n
2
= z:
n
2
= z ==u
2

2
2iu = . i,
==
_
u
2

2
= .
2 u = ,
==.
2
,
2
= (u
2
2
)
2
==u
2
2
=
_
.
2
,
2
==u
2
=
1
2
_
.
_
.
2
,
2
_
.
2
=
1
2
_
.
_
.
2
,
2
_
Como (por la segunda ecuacin) el signo de u ha de coincidir con el de ,, de esto se sigue que
n =
__
xC
_
x
2
C,
2
2
i sgn ,
_
xC
_
x
2
C,
2
2
_
. , = 0
_
.. , = 0. . > 0
i
_
.. , = 0. . < 0.
Las races cuadradas de un nmero complejo z = 0 son por tanto dos nmeros complejos distintos (de
signos opuestos). Las races cuadradas de z son reales si y slo si z R
C
L {0], e imaginarias puras
si y slo si z R
.
Ejemplo: Las races cuadradas de 3 4 i son
_
_
8
2
i
_
2
2
_
= (2 i).
Propiedades algebraicas de los nmeros complejos 53
v Cualquier ecuacin cuadrtica con coecientes complejos se puede resolver utilizando la frmula
usual:
a z
2
b z c = 0 == z =
1
2a
_
b
_
b
2
4ac
_
. a. b. c C. a = 0.
donde
_
b
2
4ac denota las dos races cuadradas del nmero complejo b
2
4ac. En efecto,
basta completar el cuadrado:
a z
2
b z c = a
_
z
b
2a
_
2
1
4a
(b
2
4ac)
y aplicar el resultado anterior sobre la existencia de races cuadradas en C.
Ejemplo 4.3. Las soluciones de la ecuacin z
2
8iz (19 4i) = 0 son los complejos
4i
_
16 19 4i = 4i
_
3 4i = 4i (2 i) =
_
2 3i
2 5i .
v El teorema del binomio de Newton es vlido en el campo complejo:
(a b)
n
=
n
kD0
_
n
k
_
a
k
b
nk
. a. b C. n N.
En efecto, como en el caso real la demostracin de esta identidad slo utiliza las propiedades de
cuerpo de los nmeros complejos.
4.1.2 Mdulo y conjugacin
Geomtricamente, los nmeros complejos se pueden identicar con los puntos del plano haciendo co-
rresponder al complejo z = . i, el punto de coordenadas (.. ,). De ah que el conjunto C reciba el
nombre de plano complejo. Es tambin corriente cuando se utiliza esta representacin geomtrica de C
denominar eje real al eje horizontal y eje imaginario al vertical (g. 4.1).
z
z
Figura 4.1: Plano complejo.

v Si z = . i, C, se denen el mdulo y el complejo conjugado de z respectivamente como
sigue:
[z[ =
_
.
2
,
2
(distancia de z al origen)
z = . i, (reexin de z respecto del eje real)
== Re z =
1
2
(z z). Imz =
1
2i
(z z) .
El nmero z C es real si y slo z = z, e imaginario puro si y slo z = z.
v Propiedades:
i) z = z
ii) z n = z n
iii) z n = z n == 1,z = 1,z (si z = 0)
iv) [z[ = [z[
v) zz = [z[
2
==
z = 0 == z
1
=
z
[z[
2
[z[ = 1 == z = z
1
vi) [z n[ = [z[ [n[ (elevar al cuadrado) ==
z
1
= [z[
1
(si z = 0)
vii) n = 0 == z,n = z,n. [z,n[ = [z[ , [n[ (consecuencia de iii) y vi))
viii) [Re z[ 6 [z[ . [Imz[ 6 [z[ (i.e., [z[ 6 Re z. Imz 6 [z[)
v Desigualdad triangular: [z n[ 6 [z[ [n[
En efecto:
[z n[
2
= (z n)(z n) = [z[
2
[n[
2
(zn zn) = [z[
2
[n[
2
2 Re(zn)
6 [z[
2
[n[
2
2 [zn[ = [z[
2
[n[
2
2 [z[ [n[ = ([z[ [n[)
2
.
v Consecuencias:
i) [[z[ [n[[ 6 [z n[
En efecto:
[z[ = [(z n) n[ 6 [z n[ [n[ ==[z[ [n[ 6 [z n[ .
y cambiando z por n se obtiene la desigualdad [n[ [z[ 6 [z n[.
ii) [z[ > [n[ ==
1
[z n[
6
1
[z[ [n[
4.1.3 Argumento
z
Figura 4.2: Denicin de argumento.
v Dado 0 = z C, existe 0 R t.q.
z = [z[ (cos 0 i sen 0) (cf. g. 4.2).
Propiedades algebraicas de los nmeros complejos 55
Geomtricamente, el nmero 0 es el ngulo que forma el eje real positivo con el vector z, y est
por tanto denido mdulo un mltiplo entero de 2. Por ejemplo,
z = i == 0
_
2
.
2
2.
2
4. . . .
_
=
_
2
2k : k Z
_
.
Denicin 4.4. arg z (argumento de z): cualquier 0 R t.q. z = [z[ (cos 0 i sen 0).
En otras palabras, arg z es cualquiera de los ngulos orientados formados por el eje real positivo con el
vector z. Por tanto arg z toma innitos valores, que dieren entre s en un mltiplo entero de 2. Ntese,
en particular, que arg no es una funcin.
Ejemplo:
arg i
2
2k : k Z
_
. arg(1 i)
5
4
2k : k Z
_
=
3
4
2k : k Z
_
.
v Para que 0 sea nico, basta imponerle la condicin adicional de que pertenezca a un cierto intervalo
semiabierto 1 de longitud 2 (como 0. 2), (. |,
_

2
.
3
2
_
, etc.). Escoger este intervalo 1
se conoce como tomar la determinacin del argumento arg
J
. Ntese, en particular, que
arg
J
: C \ {0] 1
es una funcin.
Denicin 4.5. arg
J
(z) nico valor de arg z que pertenece al intervalo 1
Ejemplo: arg
0,2)
(1 i) =
5
4
, arg
(,j
(1 i) =
3
4
.
v Determinacin principal del argumento:
Arg arg
(,j
Ejemplo:
z 1 1 i i 1 1 i i 1 i
Arg z 0 ,4 ,2 3,4 ,2 ,4
v Claramente, Arg : C \ {0] (. | es una funcin discontinua en R
L {0]. Anlogamente,
arg
0,2)
es discontinua en R
C
L{0]. En general, la determinacin arg
0
0
,0
0
C2)
( arg
(0
0
,0
0
C2j
)
es discontinua en la semirrecta cerrada que forma un ngulo 0
0
con el eje real positivo.
v Forma trigonomtrica polar de los nmeros complejos:
z = 0 == z = r(cos 0 i sen 0). r = [z[ . 0 = arg z.
v z. n = 0: z = n ==
_
[z[ = [n[ . arg z = arg n mod 2
_
.
v Interpretacin geomtrica del producto en C: si z
k
= r
k
(cos 0
k
i sen 0
k
) = 0 (k = 1. 2)
entonces
z
1
z
2
= r
1
(cos 0
1
i sen 0
1
) r
2
(cos 0
2
i sen 0
2
)
= r
1
r
2
(cos 0
1
cos 0
2
sen 0
1
sen 0
2
) i(cos 0
1
sen 0
2
sen 0
1
cos 0
2
)|
= r
1
r
2
cos(0
1
0
2
) i sen(0
1
0
2
)|
De este clculo se sigue que [z
1
z
2
[ = [z
1
[ [z
2
[ (propiedad vi) de la pg. 54), junto con
arg(z
1
z
2
) = arg z
1
arg z
2
mod 2 . (4.1)
v Ntese que, en general, Arg(z
1
z
2
) = Arg z
1
Arg z
2
. Por ej.,
Arg(i) =
2
= Arg(1) Arg i =
3
2
.
v Consecuencias: si z. n = 0 se cumple
(zz
1
= 1 ==) arg(z
1
) = arg z mod 2
(zz = [z[
2
> 0 ==) arg(z) = arg z mod 2
== arg(z,n) = arg z arg n mod 2.
4.1.4 Frmula de de Moivre
v Si z = r(cos 0 i sen 0), a partir de (4.1) se demuestra por induccin la frmula de de Moivre
z
n
= r
n
_
cos(n0) i sen(n0)
_
. n N .
v z
1
= r
1
_
cos(0) i sen(0)
_
== la frmula vale para todo n Z.
v La frmula de de Moivre permite expresar cos(n0) y sen(n0) como un polinomio en cos 0 y sen 0.
Por ejemplo:
(cos 0 i sen 0)
3
= cos(30) i sen(30)
= (cos
3
0 3 cos 0 sen
2
0) i(3 cos
2
0 sen 0 sen
3
0)
==
_
_
_
cos(30) = cos
3
0 3 cos 0 sen
2
0
sen(30) = 3 cos
2
0 sen 0 sen
3
0.
4.1.5 Races n-simas
Si z = r(cos 0 i sen 0) = 0 y n N, las races n-simas de z son las soluciones n C de la ecuacin
n
n
= z:
n = 0 == n = j(cos i sen )
n
n
= j
n
_
cos(n) i sen(n)
_
= r(cos 0 i sen 0)
==
_
_
_
j
n
= r ==j =
n
_
r r
1{n
n = 0 2k. k Z
== n =
n
_
r
_
cos
_
0
n
2k
n
_
i sen
_
0
n
2k
n
__
. k = 0. 1. . . . . n 1 (4.2)
(ya que k y k ln, con l Z, dan lugar al mismo nmero n).
) Un nmero complejo no nulo tiene n races n-simas distintas.
Ejemplo: las races cbicas de i son los nmeros
n = cos
_
2k
3
_
i sen
_
2k
3
_
. k = 0. 1. 2
==n =
1
2
(
_
3 i).
1
2
(
_
3 i). i.
Funciones elementales 57
v Geomtricamente, las n races n-simas de un nmero z = 0 son los vrtices de un polgono
regular de n lados inscrito en la circunferencia de centro 0 y radio
n
_
[z[.
v En particular, las n races n-simas de la unidad (z = 1) son los nmeros
c
n,k
= cos
_
2k
n
_
i sen
_
2k
n
_
. k = 0. 1. . . . . n 1
v Ntese que c
n,k
= (c
n
)
k
, siendo c
n
c
n,1
= cos
_
2
n
_
i sen
_
2
n
_
.
Ejemplo: las races sextas de la unidad son
_
cos
_
3
_
i sen
_
3
__
k
=
1
2
k
(1 i
_
3)
k
. k = 0. 1. . . . . 5
= 1.
1
2
(1 i
_
3).
1
2
(1 i
_
3). 1.
1
2
(1 i
_
3).
1
2
(1 i
_
3).
Ejercicio. Probar que las n races n-simas de z = 0 estn dadas por
n
_
z (c
n
)
k
. k = 0. 1. . . . . n 1.
donde
n
_
z denota cualquier raz n-sima de z.
4.2 Funciones elementales
4.2.1 Funcin exponencial
Si t R,
e
t
=
1
kD0
t
k
k
cos t =
1
kD0
(1)
k
t
2k
(2k)
sen t =
1
kD0
(1)
k
t
2kC1
(2k 1)
.
Si z = . i, C (con .. , R), la propiedad e
t
1
Ct
2
= e
t
1
e
t
2
sugiere denir e
;
= e
x
e
i,
. A su vez,
procediendo formalmente se obtiene
e
i,
=
1
nD0
i
n
,
n
n
=
1
kD0
i
2k
,
2k
(2k)
i
1
kD0
i
2k
,
2kC1
(2k 1)
= cos , i sen , (ya que i
2k
= (i
2
)
k
= (1)
k
).
Denicin 4.6. Para todo z = . i, C (con .. , R), denimos
e
;
= e
x
(cos , i sen ,) .
Nota: Si z R, la exponencial compleja se reduce obviamente a la exponencial real.
Valores particulares:
e
0
= 1. e
i{2
= i. e
i
= 1. e
3i{2
= i. e
2i
= 1 .
Propiedades: Para todo z. n C se tiene
i) [e
;
[ = e
Re ;
. arg(e
;
) = Imz mod 2, e
;
= e
;
.
ii) e
;Cu
= e
;
e
u
.
iii) e
;
= 0, para todo z C.
iv) e
;
= 1 ==z = 2ki, con k Z.
v) e
;
es una funcin peridica, cuyos perodos son los nmeros 2ki con k Z.
Demostracin:
i) Consecuencia inmediata de la denicin.
ii) Si z = . i,, n = u i, de la propiedad anterior y la ec. (4.1) se sigue que
e
;
e
u
= e
x
e
u
cos(, ) i sen(, )| = e
xCu
cos(, ) i sen(, )| = e
;Cu
.
iii) e
;
e
;
= e
0
= 1 == (e
;
)
1
= e
;
.
iv) e
;
= e
x
(cos , i sen ,) = 1 ==e
x
= 1. , = 0 mod 2 == . = 0. , = 2k (k Z).
v) e
;
= e
;Cu
==e
u
= 1 ==n = 2ki (k Z).
v z = [z[ e
i arg ;
.
v De la denicin de la exponencial compleja y la frmula (4.2) se sigue que las races n-simas de
z = 0 estn dadas por
n
_
[z[ e
i
n
(arg ;C2k)
. k = 0. 1. . . . . n 1 (4.3)
4.2.2 Funciones trigonomtricas e hiperblicas
Si , es real entonces
e
i,
= cos ,i sen ,. e
i,
= cos ,i sen , == cos , =
1
2
_
e
i,
e
i,
_
. sen , =
1
2i
_
e
i,
e
i,
_
.
Denicin 4.7. Para todo z C se dene
cos z =
1
2
_
e
i;
e
i;
_
. sen z =
1
2i
_
e
i;
e
i;
_
.
Evidentemente, si z es real cos z y sen z se reducen a las correspondientes funciones reales.
Propiedades: para todo z. n C se tiene
i) cos(z) = cos(z). sen(z) = sen z.
ii) cos z = cos z. sen z = sen z.
iii) cos(z n) = cos z cos n sen z sen n. sen(z n) = sen z cos n cos z sen n.
iv) cos z = sen
_
2
z
_
.
v) cos
2
z sen
2
z = 1.
vi) sen z = 0 ==z = k (k Z), cos z = 0 ==z =

2
k (k Z).
vii) cos z y sen z son funciones peridicas de perodo 2k, con k Z.
Demostracin:
i) Inmediato.
ii) Por ejemplo,
cos z cos n sen z sen n =
1
4
_
e
i;
e
i;
_ _
e
iu
e
iu
_
1
4
_
e
i;
e
i;
_ _
e
iu
e
iu
_
=
1
2
(e
i;
e
iu
e
i;
e
iu
) = cos(z n).
iii) Caso particular de las frmulas anteriores.
iv) Consecuencia de e
w
= e
u
.
v) Hacer n = z en la frmula para cos(z n).
vi) sen z = 0 == e
i;
e
i;
= 0 == e
2i;
= 1 == 2iz = 2ki (k Z) == z = k (k Z).
Del apartado iv) se sigue la frmula correspondiente para los ceros de cos.
vii) Por el apartado iv), basta probar la armacin para la funcin sen. De la identidad
sen(z n) sen z sen
_
z
n
2
n
2
_
sen
_
z
n
2
n
2
_
= 2 sen
_
n
2
_
cos
_
z
n
2
_
se sigue que sen(z n) sen z = 0 para todo z si y slo si sen(n,2) = 0 (tomar z = n,2).
Por el apartado anterior, esto es equivalente a que n sea un mltiplo entero de 2.
Como en el caso real, a partir de sen y cos se denen las dems funciones trigonomtricas:
tan z =
sen z
cos z
. sec z =
1
cos z
(z =

2
k. k Z):
cot z =
cos z
sen z
=
1
tan z
. csc z =
1
sen z
(z = k. k Z) .
Funciones hiperblicas: para todo z C se dene
cosh z =
1
2
_
e
;
e
;
_
. senh z =
1
2
_
e
;
e
;
_
.
== cosh z = cos(iz). senh z = i sen(iz)
v De estas igualdades se deducen las propiedades de las funciones hiperblicas. Por ejemplo:
cosh
2
z senh
2
z = cos
2
(iz) sen
2
(iz) = 1 .
v Las dems funciones hiperblicas se denen anlogamente al caso trigonomtrico. Por ejemplo,
tanh z
senh z
cosh z
= i tan(iz) (z =
i
2
ki. k Z). etc.
v sen z = sen(. i,) = sen . cos(i,) cos . sen(i,) = sen . cosh , i cos . senh ,.
En particular, ntese que sen z es real si z es real, o si z =

2
i, k con , R arbitrario y
k Z. Anlogamente, cos z es real si z R, o si z = i, k con , R arbitrario y k Z.
Ejercicio. Si z = . i, (con .. , R), probar que
[ sen z[
2
= sen
2
. senh
2
, . [ cos z[
2
= cos
2
. senh
2
, .
Deducir que [ senh ,[ 6 [ sen z[. [ cos z[ 6 cosh ,. En particular, sen y cos no estn acotadas en C.
4.2.3 Logaritmos
v En R, exp : R R
C
(donde exp(t ) e
t
) es una aplicacin biyectiva. Su inversa es la funcin
log : R
C
R. Por denicin,
log . = , ==. = e
,
(==. > 0).
v En C, exp no es invertible al no ser inyectiva (por ser peridica). Por denicin, los posibles
logaritmos de z C son todos los nmeros complejos n tales que e
u
= z. Se tiene entonces:
e
u
= z == z = 0:
n = u i == e
u
(cos i sen ) = z = 0
==
_
e
u
= [z[ ==u = log [z[
= arg z mod 2
==n = log [z[ i arg z mod 2i.
Si z = 0, la ecuacin e
u
= z tiene por tanto innitas soluciones, que dieren entre s en mltiplos
enteros de 2i. A cada uno de estos (innitos) n se les denomina logaritmos de z = 0. En otras
palabras,
z = 0 == log z = log [z[ i arg z 2ki. k Z .
Ntese, en particular, que log (al igual que arg) no es una funcin.
v Ejemplo:
log(2i) = log 2
i
2
2ki . k Z.
donde log 2 R es el logaritmo real de 2.
Notacin: En general, si . R
C
denotaremos por log . el logaritmo real de ..
Denicin 4.8. Si 1 es un intervalo semiabierto de longitud 2, se dene la determinacin 1 del loga-
ritmo mediante
log
J
z = log [z[ i arg
J
z. Vz = 0 .
Por ejemplo, log
0,2)
(2i) = log 2
3i
2
.
v Ntese que log
J
: C \ {0] {s C : Ims 1] R 1 es una funcin.
v La determinacin principal del logaritmo se dene por
Log = log
(,j
.
Ejemplo: Log(2i) = log 2
i
2
, Log(1) = i, Log(1 i) =
1
2
log 2
3i
4
.
Propiedades:
i) Para todo z = 0, e
log
I
;
= z.
ii) log
J
(e
u
) = n mod 2i. En particular, log
J
(e
u
) = n ==Imn 1.
iii) log
J
: C \ {0] R1 es biyectiva, siendo su inversa la funcin exp : R1 C \ {0] denida
por exp(z) = e
;
.
iv) z. n = 0 == log
J
(z n) = log
J
z log
J
n mod 2i.
Demostracin:
i) z = 0 ==e
log
I
;
= e
logj;jCi arg
I
;
= e
logj;j
e
i arg
I
;
= [z[ e
i arg
I
;
= z.
ii) Si n = u i entonces
log
J
(e
u
) = log(e
u
) i arg
J
(e
u
) = u i n mod 2i .
ya que [e
u
[ = e
u
, arg
J
(e
u
) = Imn mod 2. Por otra parte, del clculo anterior se sigue que
log
J
(e
u
) = n ==arg
J
(e
u
) = == Imn 1 .
iii) Para establecer la biyectividad de log
J
, hay que probar que para todo n con Imn 1 existe
un nico z C \ {0] tal que log
J
z = n. Esto es cierto por los apartados anteriores, siendo
z = e
u
exp(n).
iv) Las exponenciales de ambos miembros coinciden; por tanto, esta propiedad se sigue de la propie-
dad ii). Otra forma de deducirla es observando que
log
J
(zn) = log [zn[ i arg
J
(zn)
= log [z[ log [n[ i(arg
J
z arg
J
n) mod 2i
= (log [z[ i arg
J
z) (log [n[ i arg
J
n) mod 2i
log
J
z log
J
n mod 2i.
Nota: En general, Log(zn) = Log z Log n. Por ejemplo,
Log(i) =
i
2
= Log(1) Log i = i
i
2
=
3i
2
.
4.2.4 Potencias
Si a. b C y a = 0. e, denimos
a
b
= e
b log o
. donde log a = log
J
a 2ki. k Z .
Por tanto, en general a
b
denota un conjunto de nmeros complejos:
a
b
= e
2kbi
e
b log
I
o
. k Z.
Ms concretamente, se demuestra que:
i) b Z == a
b
tiene un valor nico:
a a a
b veces
si b > 0.
1 . si b = 0
a
1
a
1
a
1
b veces
. si b < 0 .
ii) Si b = ,q Q, con Z y 1 < q N primos entre s, entonces a
b
= a
]{q
toma exactamente
q valores (las q races q-simas de a
]
).
iii) Si b C \ Q, a
b
tiene innitos valores que dieren entre s en un factor de la forma e
2kbi
, con
k Z.
Ejemplo:
(1 i)
i
= e
iLog(1Ci)C2kij
= e
2k
e
i(
1
2
log 2C
3i
4
)
(k Z)
= e
5
4
C2n
e
i
2
log 2
(n Z).
v Si a = 0. e, cada determinacin de log dene una funcin a
;
J
e
;log
I
o
.
Ejercicio. Dados a. b C con a = 0. e, estudiar si se cumple la igualdad
a
bCc
= a
b
a
c
.
4.3 Ecuaciones de CauchyRiemann
4.3.1 Conceptos topolgicos bsicos
i) Un entorno de a C es cualquier disco abierto de centro a C y radio r > 0
D(a: r) =
z C : [z a[ < r
_
.
Denotaremos por D(a: r) =
z C : [z a[ 6 r
_
el correspondiente disco cerrado.
ii) Entorno perforado de a C D(a: r) {a] =
z C : 0 < [z a[ < r
_
.
iii) C es abierto si contiene un entorno de cada uno de sus puntos:
Va . Jr > 0 t.q. D(a: r) .
iv) C cerrado ==C \ es abierto.
v) C es compacto == es cerrado y acotado (se dice que es acotado si J1 > 0 t.q.
D(0: 1)).
vi) C abierto es conexo si para todo par de puntos z. n hay una curva continua ; : 0. 1|
t.q. ;(0) = z, ;(1) = n. [Nota: de hecho, se puede demostrar que en la denicin anterior se
puede sustituir la palabra continua por diferenciable o incluso C
1
.]
vii) Una regin es un subconjunto abierto conexo y no vaco de C.
4.3.2 Lmites
Notacin:
_
: C C
z = . i, (z) u(.. ,) i(.. ,).
Nota: La notacin : C C no implica que est denida en todo C.
v u : R
2
R y : R
2
R (la parte real e imaginaria de , resp.) son funciones escalares reales.
Denicin 4.9. Si : C C est denida en un entorno perforado de a C y l C, diremos que
lim
;!o
(z) = l si
Vc > 0 J > 0 t.q. 0 < [z a[ < == [(z) l[ < c.
Ecuaciones de CauchyRiemann 63
v Al ser el mdulo de un nmero complejo n = u i igual a la norma del vector (u. ) R
2
, la
denicin anterior de lmite coincide con la usual para una funcin : R
2
R
2
.
Propiedades:
i) Si existe lim
;!o
(z), dicho lmite es nico.
ii) lim
;!o
(z) = l == lim
(x,,)!o
u(.. ,) = Re l y lim
(x,,)!o
(.. ,) = Iml.
iii) J lim
;!o
(z). lim
;!o
g(z) == lim
;!o
(z) g(z)| = lim
;!o
(z) lim
;!o
g(z).
iv) J lim
;!o
(z). lim
;!o
g(z) == lim
;!o
(z)g(z)| = lim
;!o
(z) lim
;!o
g(z).
v) J lim
;!o
g(z) = 0 == lim
;!o
1
g(z)
=
1
lim
;!o
g(z)
.
Demostracin:
i)iii) son propiedades conocidas de los lmites de funciones R
2
R
2
iv)v) se demuestran como en el caso real, reemplazando el valor absoluto por el mdulo.
4.3.3 Continuidad
Denicin 4.10. Supongamos que : C C est denida en un entorno de a C. Diremos que es
continua en a si
lim
;!o
(z) = (a) .
Diremos que : C C es continua en C si y slo si es continua en todos los puntos de .
Propiedades:
i) y g continuas en a == g y g continuas en a.
ii) Si, adems, g(a) = 0, entonces ,g es continua en a.
iii) : C C continua en a y h : C C continua en (a) == h continua en a.
Demostracin:
i)ii) son consecuencia inmediata de las propiedades de los lmites iii)v), mientras que iii) se demuestra
como en el caso de funciones R R.
v Los polinomios y las funciones racionales son funciones continuas en todos los puntos de su
dominio.
4.3.4 Derivabilidad
Denicin 4.11.
v : C C denida en un entorno de a C es derivable en a si existe
lim
;!o
(z) (a)
z a

0
(a) .
El nmero
0
(a) C se denomina derivada de en a.
v : C C es analtica (u holomorfa) en un abierto si es derivable en todos los puntos de .
v es analtica en un conjunto arbitrario T si es analtica en un abierto T o, equivalentemente,
si es analtica en un entorno de cada punto de T.
En particular, es analtica en un punto a C si es derivable en un entorno de a. Ntese, por tanto, que
analtica en a es ms fuerte que derivable en a.
Proposicin 4.12. : C C derivable en a == continua en a.
Demostracin. En efecto,
lim
;!o
(z) (a)| = lim
;!o
_
(z) (a)
z a
(z a)
_
= lim
;!o
(z) (a)
z a
lim
;!o
(za) =
0
(a)0 = 0.
Propiedades algebraicas:
Si : C C y g : C C son derivables en z C, y a. b C, se tiene:
i) a bg es derivable en z, siendo (a bg)
0
(z) = a
0
(z) bg
0
(z) (linealidad).
ii) g es derivable en z, siendo (g)
0
(z) =
0
(z)g(z) (z)g
0
(z) (regla de Leibniz).
iii) Si g(z) = 0, ,g es derivable en z, siendo
(,g)
0
(z) =
g(z)
0
(z) (z)g
0
(z)
g(z)
2
.
v Los polinomios y las funciones racionales son derivables en todos los puntos de su dominio, y sus
derivadas se calculan como en el caso real.
4.3.5 Ecuaciones de CauchyRiemann
v Si a = a
1
ia
2
C, denotaremos por M
o
: R
2
R
2
la aplicacin lineal denida por
M
o
z = a z . Vz R
2
C.
Al ser
M
o
(1. 0) M
o
1 = a (a
1
. a
2
) . M
o
(0. 1) M
o
i = ia = a
2
ia
1
(a
2
. a
1
) .
la matriz de M
o
en la base cannica de R
2
es
_
a
1
a
2
a
2
a
1
_
.
v Recordemos que una funcin : C C denida en un entorno de z
0
C es diferenciable en
sentido real en z
0
si existe una aplicacin lineal D(z
0
) : R
2
C R
2
C tal que
lim
;!;
0
[(z) (z
0
) D(z
0
) (z z
0
)[
[z z
0
[
= 0 .
(Ntese de nuevo que el mdulo de z = . i, C es la norma del correspondiente vector
(.. ,) R
2
.) A la aplicacin D(z
0
) se le denomina derivada en sentido real de en z
0
. La
matriz de D(z
0
) en la base cannica de R
2
, llamada la matriz jacobiana de en z
0
, est dada
por
J(z
0
) =
_
u
x
(z
0
) u
,
(z
0
)
x
(z
0
)
,
(z
0
)
_
.
donde hemos utilizado la notacin habitual u
x

du
d.
, y anlogamente u
,
.
x
.
,
.
Teorema 4.13. Sea = u i : C C denida en un entorno de z
0
= .
0
i,
0
C. Entonces
es derivable en z
0
si y slo si se cumplen las dos condiciones siguientes:
i) es diferenciable en sentido real en (.
0
. ,
0
).
ii) Se verican las ecuaciones de CauchyRiemann
du
d.
(.
0
. ,
0
) =
d
d,
(.
0
. ,
0
).
du
d,
(.
0
. ,
0
) =
d
d.
(.
0
. ,
0
).
Demostracin.
==) es diferenciable (en sentido real) en z
0
= (.
0
. ,
0
) con derivada D(z
0
) = M
(
0
(;
0
)
, ya que
lim
;!;
0
[(z) (z
0
)
0
(z
0
)(z z
0
)[
[z z
0
[
= lim
;!;
0
(z) (z
0
)
0
(z
0
)(z z
0
)
z z
0
= lim
;!;
0
(z) (z
0
)
z z
0

0
(z
0
)
= 0 .
al ser por hiptesis derivable en z
0
. Denotemos abreviadamente
du
d.
(.
0
. ,
0
) por u
x
, y anlogamente
para las dems derivadas parciales de u y en (.
0
. ,
0
). Igualando la matriz de D(z
0
) en la base
cannica de R
2
es decir, la matriz jacobiana J(z
0
) con la de M
(
0
(;
0
)
se obtiene
_
u
x
u
,
x

,
_
=
_
Re
0
(z
0
) Im
0
(z
0
)
Im
0
(z
0
) Re
0
(z
0
)
_
.
de donde se deducen las ecs. de CauchyRiemann, junto con las relaciones
0
(z
0
) = u
x
i
x
=
1
i
(u
,
i
,
).
==) Por las ecs. de CauchyRiemann, la matriz jacobiana de en z
0
es de la forma
_
u
x

x
x
u
x
_
.
y por tanto dicha matriz es igual a la del operador lineal M
c
, con c u
x
i
x
. De esto se sigue que
D(z
0
) = M
c
, es decir D(z
0
) (z z
0
) = c(z z
0
), y por tanto
0 = lim
;!;
0
[(z) (z
0
) c(z z
0
)[
[z z
0
[
= lim
;!;
0
(z) (z
0
)
z z
0
c
== lim
;!;
0
(z) (z
0
)
z z
0
= c .
Esto demuestra que es derivable (en sentido complejo) en z
0
, siendo
0
(z
0
) = c u
x
i
x
=
1
i
(u
,
i
,
).
donde la ltima igualdad es consecuencia de las ecuaciones de CauchyRiemann.
v De la demostracin del teorema se sigue que si = u i es derivable en z
0
= .
0
i,
0
entonces
0
(z
0
) = u
x
(.
0
. ,
0
) i
x
(.
0
. ,
0
)
d
d.
(z
0
)
=
1
i
_
u
,
(.
0
. ,
0
) i
,
(.
0
. ,
0
)
_
1
i
d
d,
(z
0
).
Estas igualdades se deducen tambin fcilmente de la denicin de derivada 4.11 (ejercicio). Ntese
tambin que las ecuaciones de CauchyRiemann son equivalentes a la relacin
d
d.
(z
0
) =
1
i
d
d,
(z
0
) .
v El teorema anterior puede formularse tambin de la siguiente forma alternativa:
Teorema 4.14. : C C denida en un entorno de z
0
= .
0
i,
0
C es derivable en z
0
si y slo
si se cumplen las dos condiciones siguientes:
i) es diferenciable en sentido real en (.
0
. ,
0
)
ii) Existe c C tal que D(.
0
. ,
0
) = M
c
.
Adems, si se cumplen las condiciones anteriores entonces
0
(z
0
) = c.
Una consecuencia inmediata del Teorema 4.13 es la siguiente
Proposicin 4.15. Si : C C es analtica en una regin , y
0
(z) = 0 para todo z ,
entonces es constante en .
Demostracin. En efecto, derivable (en sentido complejo) en z implica que es diferenciable
en sentido real en dicho punto, siendo D(z) = M
(
0
(;)
= 0. El resultado anterior se sigue entonces de
su anlogo para funciones R
n
R
n
.
4.3.6 Derivabilidad de las funciones elementales
Derivabilidad de la funcin exponencial.
(z) = e
;
== u(.. ,) = e
x
cos ,. (.. ,) = e
x
sen , == u y de clase C
1
en R
2
==
diferenciable en sentido real en todo R
2
. Adems,
u
x
= e
x
cos , =
,
. u
,
= e
x
sen , =
x
.
Por tanto, e
;
es derivable (en sentido complejo) en C, siendo
(e
;
)
0
= u
x
i
x
= e
x
cos , ie
x
sen , = e
;
. Vz C.
Regla de la cadena:
Proposicin 4.16. Si : C C es derivable en z y g : C C es derivable en (z), entonces g
es derivable en z, y se tiene
(g )
0
(z) = g
0
_
(z)
_

0
(z). (4.4)
Demostracin. En efecto, utilizando la continuidad de en z y el hecho de que g est denida en un
entorno de (z) (por ser derivable en dicho punto), es fcil ver que g est denida en un entorno de
z. Adems, por el teorema anterior y g son derivables en sentido real en z y (z), resp., siendo
D(z) = M
(
0
(;)
. Dg
_
(z)
_
= M
0
(((;))
.
Por la regla de la cadena para funciones de R
n
en R
n
, g es derivable en sentido real en z, y se tiene:
D(g )(z) = Dg
_
(z)
_
D(z) = M
0
(((;))
M
(
0
(;)
= M
0
(((;))(
0
(;)
.
que implica (4.4) por el Teorema 4.14.
Derivabilidad de las funciones trigonomtricas e hiperblicas.
De las propiedades de la derivada compleja (linealidad y regla de la cadena) y la derivabilidad de la
funcin exponencial (z) = e
;
se sigue que sen y cos son derivables en C, siendo
(sen z)
0
=
ie
i;
ie
i;
2i
= cos z. (cos z)
0
=
1
2
(ie
i;
ie
i;
) = sen z .
De estas frmulas se deduce la derivabilidad de las restantes funciones trigonomtricas en todos los
puntos de sus dominios. Por ejemplo,
(tan z)
0
=
cos
2
z sen
2
z
cos
2
z
= sec
2
z. Vz =

2
k (k Z).
Al igual que en el caso real, la derivabilidad de la exponencial junto con la regla de la cadena proporciona
inmediatamente la derivabilidad de las funciones senh y cosh, junto con las frmulas usuales para derivar
dichas funciones:
(senh z)
0
= cosh z . (cosh z)
0
= senh z .
De nuevo, de estas frmulas se deduce la derivabilidad de las restantes funciones hiperblicas en todos
los puntos de sus dominios. Por ejemplo,
(tanh z)
0
=
cosh
2
z senh
2
z
cosh
2
z
= sech
2
z. Vz =
i
2
ki (k Z).
Teorema de la funcin inversa:
Teorema 4.17. Sea : C C analtica en el abierto (con
0
continua en ). Si a y
0
(a) = 0, existen sendos abiertos U a y V (a) tales que U ,
0
no se anula en U y
: U V es biyectiva. Adems,
1
: V U es analtica en V , siendo
(
1
)
0
(n) =
1
0
_
1
(n)
_. Vn V.
Nota: Veremos ms adelante (Seccin 5.3.3) que si es analtica en entonces
0
es automticamente
continua en .
Demostracin. es derivable en sentido real en todo z , y su matriz jacobiana
J(z) =
_
u
x
(z)
x
(z)
x
(z) u
x
(z)
_
tiene determinante u
2
x
(z)
2
x
(z) = [
0
(z)[
2
. En particular, de esto se sigue que det D(a) = [
0
(a)[
2
=
0. Por el teorema de la funcin inversa para funciones R
2
R
2
(ntese que la continuidad de
0
impli-
ca la continuidad de las derivadas parciales de u y ), hay sendos abiertos U a y V (a) tales que
U , : U V es biyectiva, D es invertible en U y
1
: V U es diferenciable en sentido
real en V , con
D(
1
)(n) =
_
D
_
1
(n)
__
1
. Vn V.
Ntese que
0
no se anula en U, al ser [
0
(z)[
2
= det D(z). Llamando z =
1
(n) se tiene, por el
Teorema 4.14:
D(
1
)(n) = D(z)|
1
= M
1
(
0
(;)
= M
1{(
0
(;)
.
De nuevo por el Teorema 4.14, de esto se deduce que
1
es derivable en sentido complejo en n, con
derivada 1,
0
(z).
Derivabilidad de log
J
.
v Log : C \ {0] {z C : < Imz 6 ] es discontinua en R
L{0] (por la discontinuidad de

Arg), y por tanto no es derivable en dicho conjunto.
v Sin embargo, Log es derivable en el abierto T = C \ (R
L {0]). En efecto, Log es la inversa

global de
exp : = {z C : < Imz < ] T.
y exp satisface las condiciones del teorema de la funcin inversa en todo punto de (exp
0
= exp
no se anula y es continua en ).
v Si z y n = e
;
T, hay dos abiertos U z y V n tales que exp : U V es
invertible en U, y
(exp
1
)
0
(n) =
1
exp
0
(z)
=
1
e
;
=
1
n
.
Al ser U se tiene exp
1
= Log, y por tanto
(Log n)
0
=
1
n
. Vn C \ (R
L {0]) .
Del mismo modo se prueba la derivabilidad de log
J
(con 1 = ,
0
. ,
0
2) (,
0
. ,
0
2|) en
el abierto C \ ({n : arg n = ,
0
mod 2] L {0]), siendo de nuevo log
0
J
(n) = 1,n.
4.3.7 Funciones armnicas
Denicin 4.18. Una funcin u : R
2
R es armnica en el abierto R
2
si u C
2
(), y se
cumple
V
2
u
d
2
u
d.
2

d
2
u
d,
2
= 0 en .
Proposicin 4.19. Si : C es analtica en el abierto entonces u = Re y = Im son
armnicas en . (Se dice entonces que u y son funciones armnicas conjugadas en ).
Demostracin. En efecto, veremos ms adelante (Seccin 5.3.3) que analtica en == u.
C
1
(). De las ecuaciones de CauchyRiemann se sigue entonces que
u
xx
=
d
,
d.
=
,x
=
x,
=
du
,
d,
= u
,,
.
y anlogamente para . (Ntese que
x,
=
,x
, por ser de clase C
2
().)
Proposicin 4.20. Si u : R
2
C R es armnica en el abierto , z
0
y U es un entorno
de z
0
, hay una funcin : U C analtica en U tal que Re = u.
Demostracin. En efecto, si z = . i, U entonces = Im debera cumplir:
,
= u
x
== (.. ,) =
_
,
,
0
u
x
(.. t ) Jt h(.):
x
(.. ,) =
_
,
,
0
u
xx
(.. t ) Jt h
0
(.) =
_
,
,
0
u
,,
(.. t ) Jt h
0
(.)
= u
,
(.. ,) u
,
(.. ,
0
) h
0
(.) = u
,
(.. ,) ==h
0
(.) = u
,
(.. ,
0
)
== h(.) =
_
x
x
0
u
,
(t. ,
0
) Jt c (c R)
== (.. ,) =
_
,
,
0
u
x
(.. t ) Jt
_
x
x
0
u
,
(t. ,
0
) Jt c . V(.. ,) U . (4.5)
Si est dada por la frmula anterior la funcin = u i cumple por construccin las ecuaciones de
CauchyRiemann en U, y es diferenciable en sentido real en dicho conjunto (al ser u, y por tanto , de
clase C
2
en U) == es analtica en U.
v La proposicin anterior garantiza la existencia de una armnica conjugada de u en cualquier disco

abierto contenido en (aunque no necesariamente en todo , como veremos a continuacin).
v En una regin, la armnica conjugada (si existe) est determinada a menos de una constante. En
efecto, si
1
y
2
son armnicas conjugadas de la misma funcin armnica u en la regin , las
funciones
1
= ui
1
y
2
= ui
2
son analticas en , por lo que =
1
2
= i(
1
2
)
tambin es analtica en . Al ser Re = 0 en , las ecuaciones de CauchyRiemann implican
que las derivadas parciales de Im se anulan en . Por ser una regin, Im =
1

2
ha de
ser constante en .
v Podemos reescribir la frmula (4.5) para la armnica conjugada como
(z) =
_
;
0
(u
x
d, u
,
d.) c
_
;
0
(u
,
. u
x
) dr c . Vz U .
donde dr (d.. d,) y ;
0
es la lnea quebrada formada por el segmento horizontal que une
z
0
.
0
i,
0
con . i,
0
y el segmento vertical que une este ltimo punto con z . i,.
Como el campo vectorial (u
,
. u
x
) es conservativo (al ser u armnica), esta integral de lnea es
independiente del camino, por lo que tambin podemos escribir
(z) =
_
;
(u
x
d, u
,
d.) c . Vz U .
donde ; es cualquier curva (C
1
a trozos) contenida en U que une z
0
con z.
v La existencia de armnica conjugada de una funcin armnica en un abierto no est asegurada
globalmente en . Consideremos, por ejemplo, la funcin u : = R
2
\ {0] R denida por
u(.. ,) =
1
2
log(.
2
,
2
). Si U es un disco abierto cualquiera contenido en entonces la funcin
log
J
z = log [z[ i arg
J
z es analtica en U, si escogemos la determinacin 1 de forma que la
semirrecta en que arg
J
es discontinuo no corte a U. Por tanto Re = u es armnica en U, y
= arg
J
z c (con c R) es una armnica conjugada de u en U. Esto prueba, en particular, que
u es armnica en todo , como se puede comprobar fcilmente calculando sus derivadas parciales.
Veamos ahora que u no admite una armnica conjugada denida en todo . En efecto, si existiera
analtica en con Re = u entonces y Log (p. ej.) diferiran en una constante (imaginaria
pura) en la regin T = C \ (R
L {0]) (ya que Log es analtica en T, y Re Log z = u(z)).

Pero esto es imposible, ya que si . < 0 se tendra (al ser continua en y = Log c en T)
2i = lim
,!0C
_
Log(.i,)Log(.i,)
_
= lim
,!0C
_
(.i,)(.i,)
_
= (.)(.) = 0 .
Captulo 5
El teorema de Cauchy
5.1 Integracin sobre arcos
v Si h
1
. h
2
: R R son integrables (por ej., continuas) en a. b| R y h = h
1
ih
2
: R C,
denimos
_
b
o
h
_
b
o
h(t ) dt =
_
b
o
h
1
(t ) dt i
_
b
o
h
2
(t ) dt C.
Ejemplo:
_

0
e
it
dt =
_

0
cos t dt i
_

0
sen t dt = 2i.
v Una curva continua es una aplicacin ; : a. b| C continua en a. b| (i.e., Re ; e Im; son
continuas en a. b|).
v Una curva continua ; es C
1
a trozos si existe una subdivisin nita a = a
0
< a
1
< . . . < a
n1
<
a
n
= b de a. b| tal que ;
0
existe y es continua en cada subintervalo a
i1
. a
i
| (1 6 i 6 n).
En otras palabras, ; es continua en a. b| y C
1
en a. b| \ {a
0
. . . . . a
n
], y existen lim
t!oC
;
0
(t ),
lim
t!b
;
0
(t ) y lim
t!o
i
;
0
(t ) para i = 1. . . . . n 1, aunque los lmites por la izquierda y por
la derecha en a
i
no necesariamente coincidan.
v En lo que sigue, denominaremos arcos a las curvas continuas C
1
a trozos.
Denicin 5.1. Si : C C es continua en el abierto y ; : a. b| C es un arco tal que
;(a. b|) , denimos
_
;

_
;
(z) dz =
_
b
o
_
;(t )
_
;
0
(t ) dt
n
iD1
_
o
i
o
i1
_
;(t )
_
;
0
(t ) dt C .
Ntese que
_
;(t )
_
;
0
(t ) es continua en cada uno de los subintervalos a
i
. a
i1
|, por lo que cada una de
las integrales que aparecen en la frmula anterior tiene sentido.
v Si = u i y ;(t ) = .(t ) i,(t ), entonces
_
;
=
_
b
o
_
u
_
.(t ). ,(t )
_
i
_
.(t ). ,(t )
__ _
.
0
(t ) i,
0
(t )
_
dt
=
_
b
o
_
u
_
.(t ). ,(t )
_
.
0
(t )
_
.(t ). ,(t )
_
,
0
(t )
_
dt
i
_
b
o
_
u
_
.(t ). ,(t )
_
,
0
(t )
_
.(t ). ,(t )
_
.
0
(t )
_
dt
=
_
;
(u d. d,) i
_
;
( d. u d,) .
71
72 EL TEOREMA DE CAUCHY
5.1.1 Propiedades de
_
;

Linealidad. Para todo z. j C se cumple
_
;
(z jg) = z
_
;
j
_
;
g .
Cadenas. Si ; : a. b| C es un arco, se dene el arco opuesto ; : a. b| C mediante
(;)(t ) = ;(a b t ). Vt a. b|.
En otras palabras, ; diere de ; nicamente en el sentido en que est recorrida. Si ;(a. b|)
abierto y : C es continua en se cumple
_
;
=
_
b
o
_
;(a b t )
__
;
0
(a b t )
_
dt
xDoCbt
=
_
o
b
_
;(s)
_
;
0
(s) ds
=
_
b
o
_
;(s)
_
;
0
(s) ds =
_
;
. (5.1)
Si ;
1
: a. b| C y ;
2
: c. J| C son arcos con ;
1
(b) = ;
2
(c), denimos el arco ;
1
;
2
:
a. b J c| C mediante
(;
1
;
2
)(t ) =
_
_
_
;
1
(t ). t a. b|
;
2
(c b t ). t b. b J c|.
Si ;
1
(a. b|). ;
2
(c. J|) abierto y : C es continua en , es inmediato comprobar que
_
;
1
C;
2
=
_
;
1

_
;
2
. (5.2)
De forma anloga se dene el arco ;
1
;
n
si el extremo nal de cada arco ;
i
coincide con el inicial
del arco siguiente ;
iC1
, siendo de nuevo
_
;
1
CC;
n
=
n
iD1
_
;
i
.
Del mismo modo, si ;
1
y ;
2
son arcos tales que el extremo nal de ;
1
coincide con el de ;
2
, se dene
;
1
;
2
= ;
1
(;
2
). Combinando las ecuaciones (5.1) y (5.2) se obtiene
_
;
1
;
2

_
;
1
C(;
2
)
=
_
;
1

_
;
2
=
_
;
1

_
;
2
.
De las consideraciones anteriores se sigue que
_
t
1
;
1
CCt
n
;
n
=
n
iD1
c
i
_
;
i
.
donde c
i
= 1 para cada i , y se supone que el extremo nal de c
i
;
i
coincide con el inicial de c
iC1
;
iC1
.
A la expresin c
1
;
1
c
n
;
n
se le denomina cadena.
Invariancia bajo reparametrizaciones. Si ; : a. b| C es un arco, una reparametrizacin de ; es
una curva ; : a.

b| C de la forma ; = ; , siendo : a.

b| ( a.

b|) = a. b| una aplicacin
de clase C
1
en a.

b| con derivada positiva en ( a.

b).
Integracin sobre arcos 73
Ntese que, al ser
0
> 0 en ( a.

b), el cambio de parmetro es una funcin creciente en a.

b|, y por
tanto (al ser suprayectiva por hiptesis) ( a) = a, (
b) = b. Evidentemente, si ; es C
1
a trozos
tambin lo es ;, y ;(a. b|) = ;( a.

b|). Por tanto, ; es un arco con la misma imagen que ;. Adems, al
ser montona creciente los arcos ; y ; estn recorridos en el mismo sentido.
Ejemplo: ;(s) = e
ix
_
s
_
3
.
2
3
_ _
es una reparametrizacin de ;(t ) = t i
_
1 t
2
_
t
_
1
2
.
1
2
_ _
.
En efecto, ;(s) = ;(cos s), siendo en este caso (s) = cos s de clase C
1
y
0
(s) = sen s > 0 en
_
3
.
2
3
_
.
Proposicin 5.2. Si ; : a.

b| C es una reparametrizacin de ; : a. b| C, ;(a. b|) , y
: C es continua en el abierto , se cumple:
_
Q ;
=
_
;
.
Demostracin. Sea ; = ; , con : a.

b| a. b| ( a). (
b)|. Entonces se tiene:

_
Q ;
=
_ Q
b
Q o
_
;(s)
_
;
0
(s) ds =
_ Q
b
Q o
_
;((s))
_
;
0
_
(s)
_
0
(s) ds
tD(x)
=
_
b
o
_
;(t )
_
;
0
(t ) dt =
_
;
.
5.1.2 Integral respecto de la longitud de arco

Si : C es continua en al abierto y ; : a. b| C es un arco con ;(a. b|) , se dene
_
;
(z) [dz[ =
_
b
o
_
(;(t )
_
;
0
(t )
dt .
v Ntese que si ;(t ) = .(t ) i,(t ) entonces [;
0
(t )[ dt =
_
.
0 2
(t ) ,
0 2
(t ) dt es el elemento de
longitud de arco ds a lo largo de la curva ;. Por tanto si = u i entonces
_
;
(z) [dz[ =
_
;
u ds i
_
;
ds .
v En particular,
_
;
[dz[ =
_
;
ds = l(;) longitud de ; .
Propiedades:
i)
_
;
_
z(z) jg(z)
_
[dz[ = z
_
;
(z) [dz[ j
_
;
g(z) [dz[ . Vz. j C.
ii)
_
;
(z) [dz[ =
_
;
(z) [dz[.
iii)
_
t
1
;
1
CCt
n
;
n
(z) [dz[ =
n
iD1
_
;
i
(z) [dz[.
iv) Si ; es una reparametrizacin de ;, entonces
_
Q ;
(z) [dz[ =
_
;
(z) [dz[.
Desigualdad fundamental:
_
;
(z) dz
6
_
;
[(z)[ [dz[ .
En particular, si max
t2o,bj
_
;(t )
_
= M entonces
_
;
(z) dz
6 M l(;).
En efecto, la segundad desigualdad es consecuencia de la primera (por las propiedades de la integral de
funciones reales de una variable real). Si
_
;
= 0, la primera desigualdad se cumple trivialmente. En
caso contrario, llamando 0 = Arg(
_
;
) se tiene:
_
;
= e
i0
_
;
= Re
_
e
i0
_
;
_
=
_
b
o
Re
_
e
i0
_
;(t )
_
;
0
(t )
_
dt
6
_
b
o
Re
_
e
i0
_
;(t )
_
;
0
(t )
_
dt
6
_
b
o
Re
_
e
i0
_
;(t )
_
;
0
(t )
_
dt
6
_
b
o
_
;(t )
_
;
0
(t )
dt
_
;
[(z)[ [dz[ .
5.1.3 Teorema fundamental del Clculo. Independencia del camino
Lema 5.3. Si ; : R C es derivable en t R (es decir, si Re ;. Im; : R R son derivables en t ) y
: C C es derivable en ;(t ), entonces ; es derivable en t , con derivada
( ;)
0
(t ) =
0
_
;(t )
_
;
0
(t ) .
Demostracin. Por el Teorema 4.13, la funcin es diferenciable en sentido real en ;(t ), siendo
D
_
;(t )
_
= M
(
0
(;(t))
. La regla de la cadena para funciones R
n
R
n
implica que la funcin com-
puesta ; es derivable en t , con derivada
( ;)
0
(t ) = D
_
;(t )
_
;
0
(t ) = M
(
0
(;(t))
;
0
(t )
0
_
;(t )
_
;
0
(t ) .
Teorema fundamental del Clculo. Sea J : C analtica en el abierto (con J

0
continua en
). Si ; : a. b| C es un arco con ;(a. b|) entonces se cumple:
_
;
J
0
= J
_
;(b)
_
J
_
;(a)
_
.
En particular, si el arco ; es cerrado (i.e., ;(b) = ;(a)) se tiene
_
;
J
0
= 0.
Nota: Veremos ms adelante (Seccin 5.3.3) que si J es analtica en entonces J
0
es automticamente
continua en dicho conjunto.
Demostracin.
_
;
J
0
=
_
b
o
J
0
_
;(t )
_
;
0
(t ) dt =
_
b
o
(J ;)
0
(t ) dt = J
_
;(b)
_
J
_
;(a)
_
.
por el teorema fundamental del Clculo para funciones R R aplicado a las partes real e imaginaria de
J ;.
Teorema de Cauchy 75
Independencia del camino. Si : C es continua en una regin , las siguientes armaciones
son equivalentes:
i)
_
;
es independiente del camino:
_
;
1
=
_
;
2
para todo par de arcos ;
1
y ;
2
contenidos
en con los mismos extremos.
ii)
_
T
= 0 para todo arco cerrado 1 contenido en .
iii) admite una antiderivada (o primitiva) en , es decir, existe J : C analtica en y tal
que J
0
(z) = (z) para todo z .
Demostracin.
ii) ==i) Si ;
1
y ;
2
son dos arcos contenidos en que unen z
1
con z
2
entonces 1 = ;
1
;
2
es un arco cerrado, y por tanto
_
;
1

_
;
2
=
_
;
1
;
2
=
_
T
= 0 .
i) == ii) Al ser el arco 1 cerrado, su opuesto 1 tiene los mismos extremos que 1 . Aplicando la
propiedad i) se obtiene
_
T
=
_
T
=
_
T
==
_
T
= 0 .
iii) ==i) Por el teorema fundamental del Clculo (ya que J
0
= es continua por hiptesis).
i) == iii) Fijemos (arbitrariamente) un punto z
0
. Si z es un punto cualquiera de , por ser una
regin hay un arco ; contenido en que une z
0
con z. Denimos entonces
J(z) =
_
;
.
Ntese que, en virtud de i), J no depende de la curva ; que utilicemos para unir z
0
con z.
Probemos nalmente que J es diferenciable en todo punto z , con J
0
(z) = (z). Si c > 0, al
ser abierto y continua en , existe > 0 tal que [() (z)[ < c si D(z: ) . Dado
un punto cualquiera n D(z: ) distinto de z, sea 1 D(z: ) el segmento que une z con n.
Entonces se tiene:
J(n) J(z) =
_
;C1

_
;
=
_
1
.
Por el teorema fundamental del Clculo, n z =
_
1
J (ya que 1 =
0
), y por tanto (n z)(z) =
(z)
_
1
J =
_
1
(z) J. Luego
J(n) J(z)
n z
(z)
=
[J(n) J(z) (n z)(z)[
[n z[
=
_
1
() J
_
1
(z) J
[n z[
=
_
1
() (z)| J
[n z[
<
c l(1)
[n z[
= c.
5.2 Teorema de Cauchy

5.2.1 Teorema de CauchyGoursat
v Un arco cerrado ; : a. b| C es simple si a < s < t < b ==;(s) = ;(t ).
Teorema de Cauchy (versin original). Si ; es un arco cerrado simple y : C C es analtica
con derivada continua en ; y en el interior de ;, entonces
_
;
= 0.
Demostracin. Por el teorema de Green (orientando la curva en sentido antihorario, de modo que el
interior D de ; quede a la izquierda de ;), si = u i se tiene
_
;
dz =
_
;
(u d. d,) i
_
;
( d. u d,) =
_
T
(u
,
x
) d. d, i
_
T
(u
x
,
) d. d, = 0.
en virtud de las ecuaciones de CauchyRiemann.
v Este resultado es insuciente, ya que no hace falta suponer que
0
sea continua (probaremos que
esta hiptesis se deduce de la analiticidad de ). Adems, el resultado es vlido para arcos mucho
ms generales que los cerrados simples.
Teorema de CauchyGoursat para un rectngulo. Sea 1 un rectngulo cerrado con los lados pa-
ralelos a los ejes, y sea d1 la frontera de 1. Si : C C es analtica en 1 se cumple:
_
JT
= 0.
Demostracin. Orientemos d1 en sentido antihorario (obviamente, el resultado es independiente de la
orientacin de d1). Si dividimos 1 en cuatro subrectngulos congruentes 1
(i)
(i = 1. . . . . 4) (tambin
orientados en sentido antihorario) entonces
_
JT
=
4
iD1
_
JT
.i/
.
ya que las integrales a lo largo de los lados interiores de los rectngulos 1
(i)
se cancelan a pares. Por
tanto, existe k {1. . . . . 4] tal que
_
JT
.k/
>
1
4
_
JT
.
Llamemos 1
1
= 1
(k)
. Repitiendo indenidamente el proceso anterior, obtenemos una sucesin de
rectngulos cerrados encajados 1
0
1 1
1
1
2
1
n
1
nC1
. . . tales que
_
JT
n
>
1
4
_
JT
n1
==
_
JT
n
>
1
4
n
_
JT
. Vn N.
Adems, si 1
i
y D
i
denotan respectivamente el permetro y la diagonal del i -simo rectngulo y 1
1
0
, D D
0
, se tiene:
1
i
=
1
2
i
. D
i
=
D
2
i
. Vi N.
Por el teorema de encaje de Cantor,
_
n2N
1
n
= {a], con a 1 (ya que 1
n
para todo n). Ntese que
z 1
n
== [z a[ 6 D
n
= 2
n
D.
al ser a 1
n
cualquiera que sea n N. Si c > 0, tomemos > 0 sucientemente pequeo de modo
que sea analtica en D(a: ) y adems se verique
(z) (a) (z a)
0
(a)
< c [z a[ . Vz D(a: ). z = a.
(Ntese que, por hiptesis, es derivable en un entorno de cada punto de 1.) Escojamos ahora n su-
cientemente grande para que D
n
= 2
n
D < , de modo que 1
n
D(a: ). Ntese que, por el teorema
fundamental del Clculo,
_
JT
n
dz =
_
JT
n
z dz = 0.
De esto se sigue que
_
JT
6 4
n
_
JT
n
= 4
n
_
JT
n
_
(z) (a)
0
(a)(z a)
_
dz
< 4
n
_
JT
n
c [z a[ [dz[ 6 4
n
2
n
Dc 1
n
= 4
n
2
n
Dc 2
n
1 = 1Dc.
Como c > 0 es arbitrario y 1D es constante, el teorema est demostrado.
Teorema de CauchyGoursat generalizado. Sea a un punto interior a 1, y supongamos que la
funcin : C C es analtica en 1 \ {a] y lim
;!o
(z a)(z)| = 0. Entonces
_
JT
= 0.
Demostracin. Sea Q 1 un cuadrado con lados paralelos a los ejes coordenados de centro a y lado
l > 0 sucientemente pequeo de forma que que [(z a)(z)[ < c si z Q \ {a]. Prolongando los
lados de Q podemos subdividir el rectngulo 1 en 9 subrectngulos 1
0
Q, 1
1
. . . . . 1
S
. Por tanto
_
JT
=
_
JQ

S
iD1
_
JT
i
.
La funcin es analtica en cada uno de los rectngulos 1
i
, ya que a 1
i
1. Por el teorema de
CauchyGoursat
_
JT
i
= 0 si i = 1. . . . . 8, y por tanto
_
JT
_
JQ
< c
_
JQ
[dz[
[z a[
6 c
2
l
4l = 8c .
lo que demuestra el teorema.
5.2.2 Homotopa. Teorema de Cauchy. Teorema de la deformacin
v Sea C una regin, y sean ;
1
y ;
2
dos curvas continuas contenidas en con los mismos
extremos z
1
. z
2
(z
1
= z
2
), dos curvas cerradas continuas contenidas en . Diremos que
;
1
es homtopa a ;
2
en si se puede deformar de manera continua hasta transformarse en ;
2
sin
salirse de . En el primer caso (homotopa de curvas abiertas con extremos jos), los extremos
de todas las curvas deformadas han de mantenerse iguales a z
1
y z
2
, mientras que en el segundo
(homotopa de curvas cerradas) todas las curvas deformadas han de ser cerradas.
v Es importante observar que el concepto de homotopa depende de la regin considerada. En
otras palabras, dos curvas homtopas en una cierta regin pueden no serlo en otra regin
0
.
v Ntese que un punto z
0
es una curva cerrada constante: ;(t ) = z
0
, Vt a. b|. En particular,
_
;
0
= 0 para toda .
Teorema de Cauchy. Sea ; un arco cerrado homtopo a un punto en una regin . Si : C es
analtica en se cumple
_
;
= 0. (5.3)
Idea de la demostracin. Supongamos, por sencillez, que ; es un arco cerrado simple. Al ser ;
homtopo a un punto en , es intuitivamente claro (y puede probarse rigurosamente) que el interior D
de ; est contenido en . Dado c > 0, recubramos el plano con una malla de cuadrados cerrados Q
}
de
lados paralelos a los ejes de longitud > 0, y denotemos por J el conjunto de ndices tal que Q
}
D
si J. (El conjunto J es nito, ya que D es acotado al ser la imagen del arco ; un compacto). Puede
probarse que si se escoge sucientemente pequeo se cumple
_
;

_
JQ
< c . (5.4)
donde dQ es la frontera de Q
_
}2J
Q
}
orientada positivamente
1
. Por otra parte, es claro que
_
JQ
=
}2J
_
JQ
j
(5.5)
(donde dQ
}
es la frontera del cuadrado Q
}
orientada positivamente), ya que las integrales a lo largo de
los lados de los cuadrados Q
}
que no pertenecen a dQ se cancelan a pares. Al ser Q
}
D para
todo J y analtica en , el teorema de CauchyGoursat implica que
_
JQ
j
= 0 . V J .
y por tanto de (5.4) y (5.5) se deduce que
_
;
< c .
Al ser c > 0 arbitrario, el teorema est demostrado.
Denicin 5.4. Una regin C es simplemente conexa si toda curva cerrada continua ; contenida
en es homtopa a un punto en .
Ejemplo: C es simplemente conexo. Un disco abierto es una regin simplemente conexa. Un disco
abierto sin uno de sus puntos no lo es. El plano complejo menos una semirrecta es simplemente conexo.
Aplicando el teorema de Cauchy a una regin simplemente conexa se deducen los dos corolarios
siguientes:
Corolario 5.5. Si C es una regin simplemente conexa y : C es analtica en entonces
_
;
= 0.
para todo arco cerrado ; contenido en .
Demostracin. En efecto, si es una regin simplemente conexa todo arco cerrado ; contenido en es
homtopo a punto en dicho conjunto, por lo que
_
;
= 0 en virtud del teorema de Cauchy.
Corolario 5.6. Si : C es analtica en una regin simplemente conexa entonces admite
una primitiva en .
Demostracin. Por el corolario anterior,
_
;
= 0 para todo arco cerrado ; contenido en . Esto im-
plica que tiene una primitiva en , en virtud de la equivalencia ii) == iii) del teorema sobre la
independencia del camino de la pg. 75.
1
Puede suponerse, sin prdida de generalidad, que ; est orientada positivamente, ya que
_
;
= 0 ==
_
;
= 0.
Con ayuda del teorema de Cauchy se prueba el siguiente resultado ms general, de fundamental im-
portancia en el anlisis complejo:
Teorema de la deformacin. Sean ;
1
y ;
2
dos arcos homtopos en una regin , y sea : C
analtica en . Entonces se verica
_
;
1
=
_
;
2
.
Idea de la demostracin. Supongamos, en primer lugar, que ;
1
. ;
2
son dos arcos homtopos en
con los mismos extremos z
1
= z
2
. Es intuitivamente claro que ;
1
;
2
es un arco cerrado homtopo a
un punto en . Por el teorema de Cauchy,
0 =
_
;
1
;
2
=
_
;
1

_
;
2
.
lo que demuestra el teorema en este caso. Sean a continuacin ;
1
. ;
2
dos arcos cerrados homtopos
en . Supongamos, por sencillez, que ;
1
y ;
2
son ambos simples y (por ejemplo) ;
1
est contenido en
el interior de ;
2
(cf. la Fig. 5.1 izda.). Al ser ;
1
y ;
2
homtopos en , es intuitivamente claro que el
conjunto D limitado por ambos arcos est enteramente contenido en . Sean z
1
;
1
y z
2
;
2
, y
llamemos 1 al segmento que une z
1
con z
2
. El arco 1 ;
2
1 ;
1
es cerrado, est contenido en
(ya que 1 D ) y es homtopo a un punto en dicha regin (cf. la Fig. 5.1 drcha.). Por el teorema
de Cauchy,
0 =
_
1C;
2
1;
1
=
_
1

_
;
2

_
1

_
;
1
=
_
;
2

_
;
1
.
lo que demuestra el teorema tambin en este caso.
Figura 5.1: Arcos homtopos ;
1
y ;
2
(izda.) y curva intermedia de la deformacin del arco cerrado
1 ;
2
1 ;
1
en un punto (drcha.).
Necesitaremos tambin la siguiente generalizacin del teorema de Cauchy, que se prueba utilizando
el teorema de la deformacin junto con el teorema de CauchyGoursat generalizado:
Teorema de Cauchy generalizado. Sea ; : a. b| C un arco cerrado homtopo a un punto en una
regin , y sea z
0
\ ;(a. b|). Si es analtica en \ {z
0
] y lim
;!;
0
(z z
0
)(z)| = 0 entonces
_
;
= 0.
Idea de la demostracin. Si z
0
es exterior a la curva, entonces ; es homtopa a un punto en la regin
\{z
0
], e
_
;
= 0 por el teorema de Cauchy aplicado a dicha regin. Si, por el contrario, z
0
es interior
a ;, al ser dicha curva homtopa a un punto en puede probarse que existe un cuadrado sucientemente
pequeo Q centrado en z
0
tal que ; es homtopa a dQen \{z
0
]. Por el teorema de la deformacin
aplicado a en la regin \ {z
0
],
_
;
=
_
JQ
= 0 .
donde la ltima igualdad es consecuencia del teorema de CauchyGoursat generalizado.
5.3 Frmula integral de Cauchy y sus consecuencias
5.3.1 ndice
v Si ; es un arco cerrado y a ;, denimos el ndice de a respecto de ; mediante
n(;. a) =
1
2i
_
;
dz
z a
.
v Si ; es una circunferencia de centro a y radio r > 0 recorrida m veces en sentido antihorario
(;(t ) = a r e
it
, con t 0. 2m|) entonces
n(;. a) =
1
2i
_
2n
0
i re
it
re
it
dt = m.
Anlogamente, si ; es la circunferencia de centro a y radio r > 0 recorrida m veces en sentido
horario,
n(;. a) = m.
En virtud del teorema de la deformacin, esto sugiere que n(;. a) es el nmero de vueltas que da
la curva ; alrededor de a, contando como positivas las vueltas dadas en sentido antihorario.
Ejemplo: Si z
0
es un punto exterior a una circunferencia (o a cualquier curva cerrada simple) ;, entonces
(z z
0
)
1
es analtica en = C \ {z
0
] y ; es homtopa a un punto en == n(;. z
0
) = 0, por el
teorema de Cauchy.
Proposicin 5.7. n(;. z
0
) es un entero.
Demostracin. Supongamos, por sencillez, que ; : a. b| C es C
1
en a. b|. Si denimos
h(t ) =
_
t
o
;
0
(s)
;(s) z
0
ds .
entonces n(;. z
0
) = h(b),(2i). Por otra parte, h es derivable en a. b| (el integrando es continuo, ya
que el denominador no se anula), y
h
0
(t ) =
;
0
(t )
;(t ) z
0
==
d
dt
_
e
h(t)
;(t ) z
0
|
_
= 0. Vt a. b|.
Por tanto e
h(t)
_
;(t ) z
0
_
es constante en a. b|, de donde se deduce (al ser h(a) = 0) que
;(a) z
0
= e
h(b)
(;(b) z
0
) = e
h(b)
(;(a) z
0
) == e
h(b)
= 1
;
0
;
== h(b) = 2ni. n Z.
Frmula integral de Cauchy y sus consecuencias 81

5.3.2 Frmula integral de Cauchy
El siguiente resultado, que se prueba fcilmente con ayuda del teorema de Cauchy generalizado, es uno
de los pilares del anlisis complejo:
Frmula integral de Cauchy. Sea : C analtica en una regin , sea ; un arco homtopo a
un punto en , y sea a un punto que no est sobre ;. Entonces se verica
n(;. a) (a) =
1
2i
_
;
(z)
z a
dz .
Demostracin. La funcin
g(z) =
_
_
_
(z) (a)
z a
. z = a
0
(a). z = a
es analtica en \ {a] y lim
;!o
(z a)g(z)| = lim
;!o
(z) (a)| = 0. Por el teorema de Cauchy
generalizado,
0 =
_
;
g =
_
;
(z) (a)
z a
dz =
_
;
(z)
z a
dz (a)
_
;
dz
z a
=
_
;
(z)
z a
dz (a) 2in(;. a).
Si : C C es una funcin analtica en un abierto y z , podemos aplicar la frmula integral

de Cauchy a la circunferencia ; de centro z y radio r sucientemente pequeo para que D(z: 2r) ,
ya que ; es homtopa a un punto en D(z: 2r) y, por tanto, en . Si orientamos la circunferencia ;
positivamente (en sentido antihorario) entonces n(;. z) = 1, y por tanto la frmula integral de Cauchy
permite expresar (z) como
(z) =
1
2i
_
;
(n)
n z
dn.
Derivando esta frmula formalmente respecto de z bajo el signo integral obtenemos
(k)
(z) =
k
2i
_
;
(n)
(n z)
kC1
dn. Vk N. (5.6)
En particular, si se verica (5.6) es innitas veces diferenciable en cualquier punto z . Veamos
a continuacin cmo se justica rigurosamente la derivacin bajo la integral que conduce a la ecuacin
(5.6):
Lema 5.8. Consideremos la integral de tipo Cauchy
G(z) =
_
;
g(n)
n z
dn.
donde g : C C es una funcin continua sobre un arco ; (no necesariamente cerrado) y z
;(a. b|). Entonces G es innitas veces derivable en todo punto z
0
;(a. b|), siendo
G
(k)
(z
0
) = k
_
;
g(n)
(n z
0
)
kC1
dn. (5.7)
Demostracin. La demostracin es por induccin sobre k.
i) Supongamos, en primer lugar, que k = 1. Sea z
0
;(a. b|), y denamos
Figura 5.2: integral de tipo Cauchy
2j = min
t2o,bj
[;(t ) z
0
[ > 0. M = max
t2o,bj
g
_
;(t )
_
.
Ntese que j > 0 y M < opor la continuidad de ; y g ; en el compacto a. b|. Si z D(z
0
: j) con
z = z
0
se tiene
G(z) G(z
0
)
z z
0
=
_
;
1
z z
0
_
1
n z
1
n z
0
_
g(n) dn.
Pero
1
z z
0
_
1
n z
1
n z
0
_
=
1
(n z)(n z
0
)
=
1
(n z
0
)
2
n z
0
n z
=
1
(n z
0
)
2
_
1
z z
0
n z
_
.
(5.8)
Si n est sobre la curva ;, por denicin de M y j se tiene:
[g(n)[ 6 M . [n z
0
[ > 2j . [n z[ > j .
Por tanto
G(z) G(z
0
)
z z
0
_
;
g(n)
(n z
0
)
2
dn
= [z z
0
[
_
;
g(n)
(n z
0
)
2
(n z)
dn
6 [z z
0
[
M l(;)
4j
2
j
;!;
0
0.
ii) Supongamos ahora el lema cierto para k = 1. . . . . n 1, y probmoslo para k = n. Veamos, en
primer lugar, que G
(n1)
es continua en z
0
C \ ;(a. b|). En efecto, por la hiptesis de induccin se
tiene
G
(n1)
(z) = (n 1)
_
;
g(n)
(n z)
n
dn.
Multiplicando la primera identidad (5.8) por 1,(n z)
n1
se obtiene
1
(n z)
n
=
1
(n z)
n1
(n z
0
)
z z
0
(n z)
n
(n z
0
)
.
y por tanto
G
(n1)
(z) G
(n1)
(z
0
) = (n 1)
__
;
g(n)
(n z)
n1
(n z
0
)
dn
_
;
g(n)
(n z
0
)
n
dn
_
(n 1) (z z
0
)
_
;
g(n)
(n z)
n
(n z
0
)
dn. (5.9)
Por la hiptesis de induccin aplicada a g(n),(n z
0
) (que tambin es continua sobre ;, ya que z
0

;(a. b|)), la funcin
_
;
g(n)
(n z)
n1
(n z
0
)
dn
es derivable, y por tanto continua, si z C \ ;(a. b|), lo cual implica que el trmino entre corchetes
en el miembro derecho de (5.9) tiende a 0 si z z
0
. En cuanto a la integral que aparece en el segundo
trmino del MD de dicha ecuacin, procediendo como en el caso k = 1 se demuestra que
_
;
g(n)
(n z)
n
(n z
0
)
dn
6
Ml(;)
2j
nC1
. Vz D(z
0
: j) .
lo que prueba que el segundo trmino del MD de (5.9) tambin tiende a 0 si z z
0
.
Veamos, por ltimo, que G
(n1)
es derivable en z
0
. En efecto, si z D(z
0
: j)\{z
0
] dividiendo (5.9)
por z z
0
se obtiene
G
(n1)
(z) G
(n1)
(z
0
)
z z
0
=
(n 1)
z z
0
__
;
g(n)
(n z)
n1
(n z
0
)
dn
_
;
g(n)
(n z
0
)
n
dn
_
(n 1)
_
;
g(n)
(n z)
n
(n z
0
)
dn. (5.10)
De nuevo por la hiptesis de induccin aplicada a g(n),(nz
0
), cuando z z
0
el primer trmino del
MD de esta identidad tiende a
(n 1)
d
dz
;D;
0
_
;
g(n)
(n z)
n1
(n z
0
)
dn = (n 1)
d
n1
dz
n1
;D;
0
_
;
g(n)
(n z)(n z
0
)
dn
= (n 1)(n 1)
_
;
g(n)
(n z
0
)
nC1
dn.
En cuanto al segundo trmino de (5.10), de lo probado anteriormente sobre la continuidad de G
(n1)
(z
0
)
aplicado ahora a la integral de tipo Cauchy
_
;
g(n)
(n z)
n
(n z
0
)
dn
se sigue que esta ltima integral es una funcin continua en z
0
, y por tanto tiende a
_
;
g(n)
(n z
0
)
nC1
dn.
cuando z z
0
. De lo anterior se sigue que G
(n1)
es derivable en z
0
, siendo
G
(n)
(z
0
) = (n 1)(n 1)
_
;
g(n)
(n z
0
)
nC1
(n 1)
_
;
g(n)
(n z
0
)
nC1
dn
= n
_
;
g(n)
(n z
0
)
nC1
dn.
5.3.3 Frmula integral de Cauchy para las derivadas

A partir del lema anterior es fcil probar el siguiente teorema, que generaliza la frmula integral de
Cauchy a las derivadas de todos los rdenes de una funcin analtica:
Frmula integral de Cauchy para las derivadas. Sea : C una funcin analtica en una
regin . Entonces es innitas veces derivable en cualquier punto de . Adems, si ; : a. b|
es un arco cerrado homtopo a un punto en y z
0
\ ;(a. b|) se verica
n(;. z
0
)
(k)
(z
0
) =
k
2i
_
;
(n)
(n z
0
)
kC1
dn. k N. (5.11)
Demostracin. Sea z
0
\ ;(a. b|), y sea D cualquier entorno de z
0
contenido en que no corte
a ; (por ejemplo, el disco D(z
0
: j) denido en la demostracin del lema anterior). Al ser n(;. z) una
integral de tipo Cauchy (con g = 1,2i), es una funcin continua de z para todo z D, y como es un
nmero entero ha de ser constante en dicho entorno. Por tanto, si
J(z) =
1
2i
_
;
(n)
n z
dn. z D.
entonces (en virtud de la frmula integral de Cauchy)
J(z) = n(;. z)(z) = n(;. z
0
)(z) . Vz D. (5.12)
Como J es tambin de tipo Cauchy, aplicando las ecs. (5.7) y (5.12) se obtiene
J
(k)
(z) =
k
2i
_
;
(n)
(n z)
kC1
dn = n(;. z
0
)
(k)
(z) . Vz D.
Haciendo z = z
0
se deduce (5.11).
A partir del teorema anterior se prueba fcilmente la siguiente propiedad fundamental de las funcio-
nes analticas:
Teorema 5.9. Si : C C es analtica en un conjunto arbitrario C, entonces es innitas veces
derivable en todo punto de C.
Demostracin. Dado un punto z C, basta aplicar el teorema anterior en un entorno de z en que
sea analtica.
El resultado anterior permite probar fcilmente el siguiente teorema, recproco (parcial) del teorema
de Cauchy:
Teorema de Morera. Si : C C es continua en una regin y
_
;
= 0 para todo arco cerrado
; contenido en , entonces es analtica en .
Demostracin. El teorema acerca de la independencia del camino implica que existe J : C C
analtica en tal que = J
0
en . Como J es analtica en , es innitamente derivable en dicha
regin, y por tanto
0
= J
00
existe en todo punto de .
Ejercicio. Es cierto el resultado anterior si slo suponemos que
_
;
= 0 para todo arco cerrado ;
homtopo a un punto en ?
5.3.4 Teorema de Liouville
La frmula integral de Cauchy para las derivadas permite probar las siguientes desigualdades satisfechas
por el mdulo de las derivadas de una funcin analtica:
Desigualdades de Cauchy. Sea analtica en una regin , sea a , y supongamos que D(a: 1)
. Si M(1) = max
j;ojDT
[(z)[ se verica
(k)
(a)
6
k
1
k
M(1). Vk = 0. 1. 2. . . . .
Demostracin. Ntese, en primer lugar, que la existencia del mximo de [ [ en la circunferencia est ga-
rantizada, al ser dicho conjunto compacto y continua (por ser analtica en ). Si ; es la circunferencia
de centro a y radio 1 orientado positivamente, entonces ; es homtopo a un punto en y n(;. a) = 1.
La frmula integral de Cauchy para la k-sima derivada proporciona entonces
(k)
(a)
=
k
2
_
;
(z)
(z a)
kC1
dz
6
k
2
_
;
[(z)[
[z a[
kC1
[dz[ 6
k
2
M(1)
1
kC1
21 =
k
1
k
M(1).
A partir del resultado anterior se demuestra el siguiente teorema, esencial para el estudio de las pro-
piedades globales de las funciones analticas:
Teorema de Liouville. Si : C C es entera (es decir, analtica en todo C) y [ [ est acotado en
C, entonces es constante.
Demostracin. La hiptesis implica que existe 1 > 0 tal que [(z)[ < 1 para todo z C. Si a C, al
ser analtica en todo C podemos aplicar la desigualdad de Cauchy para la primera derivada a cualquier
disco cerrado D(a: 1), obteniendo
0
(a)
<
M(1)
1
6
1
1
. V1 > 0 .
Como la desigualdad anterior es vlida para todo 1 > 0 de ella se deduce que [
0
(a)[ = 0 para todo
a C. Al ser C conexo, ha de ser constante en C.
El teorema de Liouville proporciona una de las demostraciones ms sencillas del teorema fundamen-
tal del lgebra:
Teorema fundamental del lgebra. Un polinomio de grado n > 1 tiene al menos una raz en C.
Demostracin. Sea (z) =

n
iD0
a
i
z
i
, con a
n
= 0 y n > 1. Si no tuviera ninguna raz, la funcin
= 1, sera entera. Probaremos que esto es imposible demostrando que en tal caso sera tambin
acotada en C y no constante, en contradiccin con el teorema de Liouville.
Para probar que est acotada, ntese que si z = 0
[(z)[ > [z[
n
_
[a
n
[
[a
n1
[
[z[

[a
0
[
[z[
n
_
.
Como
[a
k
[
[z[
nk

j;j!1
0 (k = 0. . . . . n 1), existe M > 1 tal que
[z[ > M ==
[a
k
[
[z[
nk
<
[a
n
[
2n
. k = 0. . . . . n 1.
Luego
[z[ > M == [(z)[ > [z[
n
_
[a
n
[ n
[a
n
[
2n
_
=
[a
n
[
2
[z[
n
>
[a
n
[
2
> 0 .
y por tanto
[z[ > M == [(z)[ <
2
[a
n
[
.
Por otra parte, al ser por hiptesis analtica (y por tanto continua) en el disco cerrado de centro 0 y
radio M, existe c > 0 tal que [(z)[ 6 c si [z[ 6 M. (Recurdese que toda funcin g : R
n
R
continua en un conjunto compacto 1 R
n
est acotada en 1.) Por tanto, hemos probado que
[(z)[ =
1
[(z)[
6 max
_
2
[a
n
[
. c
_
. Vz C.
Esto contradice el teorema de Liouville, al ser 1, entera y no constante ( no es constante, ya que
a
n
= 0 y n > 1).
Captulo 6
Representacin de funciones analticas
mediante series
6.1 Series de potencias. Teorema de Taylor
6.1.1 Sucesiones y series de nmeros complejos
Denicin 6.1. Una sucesin de nmeros complejos {z
n
]
1
nD1
converge a z C ( == lim
n!1
z
n
= z)
si
Vc > 0. JN N t.q. n > N ==[z
n
z[ < c .
v Ntese que la denicin es idntica a la del caso real, reemplazando el valor absoluto (o la norma)
por el mdulo.
Propiedades:
i) lim
n!1
z
n
, si existe, es nico.
ii) lim
n!1
z
n
= z . i, == lim
n!1
Re(z
n
) = ., lim
n!1
Im(z
n
) = ,.
iii) lim
n!1
z
n
= z. lim
n!1
n
n
= n == lim
n!1
(z
n
n
n
) = z n. lim
n!1
z
n
n
n
= zn.
iv) Si, adems, n
n
= 0 para todo n N y n = 0, entonces lim
n!1
z
n
n
n
=
z
n
.
v Criterio de Cauchy:
J lim
n!1
z
n
==Vc > 0. JN N t.q. n. m > N ==[z
n
z
n
[ < c .
Demostracin.
==) [z
n
z
n
[ 6 [z
n
z[ [z
n
z[
==) z
n
= .
n
i,
n
== [.
n
.
n
[ 6 [z
n
z
n
[ . [,
n
,
n
[ 6 [z
n
z
n
[ == {.
n
]
1
nD1
y {,
n
]
1
nD1
convergentes (sucesiones reales de Cauchy) =={z
n
]
1
nD1
convergente.
Denicin 6.2. La serie
1
kD1
z
k
converge a s C
_
==
1
kD1
z
k
= s
_
si la sucesin de sumas
parciales

n
kD1
z
k
_
1
nD1
converge a s, es decir
1
kD1
z
k
= s == lim
n!1
n
kD1
z
k
= s.
87
88 REPRESENTACIN DE FUNCIONES ANALTICAS MEDIANTE SERIES
v
1
kD1
z
k
convergente == lim
n!1
z
n
= 0. En efecto,
lim
n!1
z
n
= lim
n!1
_
n
kD1
z
k

n1
kD1
z
k
_
= lim
n!1
n
kD1
z
k
lim
n!1
n1
kD1
z
k
= s s = 0 .
Denicin 6.3. Se dice que
1
kD1
z
k
es absolutamente convergente si
1
kD1
[z
k
[ es convergente.
Proposicin 6.4. Si
1
kD1
z
k
es absolutamente convergente entonces es convergente.
Demostracin. Es consecuencia del criterio de Cauchy, ya que si (por ej.) m > n se tiene
kD1
z
k

n
kD1
z
k
kDnC1
z
k
6
n
kDnC1
[z
k
[ =
kD1
[z
k
[
n
kD1
[z
k
[
6.1.2 Sucesiones y series de funciones. Convergencia uniforme

Denicin 6.5. Una sucesin de funciones
n
: C denidas en un conjunto C (n
N) converge puntualmente a una funcin en si para todo z existe lim
n!1
n
(z) = (z).
Anlogamente, la serie de funciones

1
kD1
k
converge puntualmente a la funcin g en si existe
1
kD1
k
(z) = g(z) para todo z .
Denicin 6.6. La sucesin de funciones {
n
]
1
nD1
denidas en converge uniformemente a en
si
Vc > 0. JN N t.q. n > N ==[
n
(z) (z)[ < c. para todo z .
Anlogamente,

1
kD1
k
converge uniformemente a g en si la sucesin de funciones

n
kD1
k
_
1
nD1
converge uniformemente a g en , es decir si
Vc > 0. JN N t.q. n > N ==
kD1
k
(z) g(z)
< c. para todo z .

v Obviamente, si una sucesin serie de funciones converge uniformemente a una funcin en
entonces dicha sucesin o serie converge puntualmente en a la misma funcin. Sin embargo, la con-
vergencia puntual de una sucesin o serie de funciones no implica, en general, su convergencia uniforme.
v Criterio de Cauchy para la convergencia uniforme: {
n
]
1
nD1
converge uniformemente en si y
slo si
Vc > 0. JN N t.q. n. m > N ==[
n
(z)
n
(z)[ < c. para todo z .
Demostracin. En primer lugar, es claro que la convergencia uniforme de
n
a en implica el criterio
de Cauchy. Para demostrar el recproco ntese que, por el criterio de Cauchy para sucesiones numricas,
la sucesin {
n
]
1
nD1
converge puntualmente a una funcin en . Haciendo tender m a innito en
la condicin de Cauchy uniforme se prueba que si n > N entonces [
n
(z) (z)[ 6 c para todo
z .
Series de potencias. Teorema de Taylor 89
Anlogamente, la serie
1
kD1
k
converge uniformemente a una funcin g en si
Vc > 0. JN N t.q. m > n > N ==
kDnC1
k
(z)
< c. para todo z .

Criterio M de Weierstrass. Sea
k
: C C (k N) una sucesin de funciones, y supongamos
que [
k
(z)[ 6 M
k
para todo z y para todo k N. Si la serie numrica
1
kD1
M
k
es convergente,
entonces

1
kD1
k
converge absoluta y uniformemente en .
Demostracin. Es consecuencia del criterio de Cauchy para la convergencia uniforme, ya que si m > n
entonces
Vz .
kDnC1
k
(z)
6
n
kDnC1
[
k
(z)[ 6
n
kDnC1
M
k
.
v Si {
n
]
1
nD1
converge uniformemente a en y
n
: C es continua en para todo n N,
entonces es continua en . Anlogamente, si
n
es continua en para todo n N y

1
kD1
k
converge uniformemente a g en entonces g es continua en .
La demostracin de este resultado es idntica a la del caso real, sin ms que reemplazar el valor absoluto
por el mdulo.
Lema 6.7. Sea
n
continua en para todo n N. Si {
n
]
1
nD1
converge uniformemente a en un arco
; contenido en entonces
lim
n!1
_
;
n
=
_
;

_
;
lim
n!1
n
.
En particular, si
k
es continua en para todo k N y

1
kD1
k
converge uniformemente en ; se tiene
_
;
1
kD1
k
=
1
kD1
_
;
k
.
Demostracin. En primer lugar, ntese que es continua en ; al ser uniforme la convergencia de
n
a en , y por tanto existe la integral
_
;
. Dado c > 0, existe N N tal que [
n
(z) (z)[ < c
para todo z ; y n > N. Entonces se tiene:
n > N ==
_
;
_
;
_
;
(
n
)
6
_
;
[
n
(z) (z)[ [dz[ 6 c l(;) .
Denicin 6.8. Diremos que una sucesin de funciones

n
: C C converge normalmente en un
abierto C a una funcin si
n
uniformemente en cada disco cerrado contenido en .
Anlogamente, la serie de funciones

1
kD1
n
converge normalmente a g en si la sucesin de sumas
parciales

n
kD1
n
converge uniformemente a g en cada disco cerrado contenido en .
Evidentemente, si C es abierto se cumple
n
uniformemente en ==
n
normalmente en ==
n
puntualmente en
y anlogamente
1
nD1
n
g uniformemente en ==
1
nD1
n
g normalmente en
==
1
nD1
n
g puntualmente en .
siendo por supuesto g =
1
nD1
n
.
Teorema de la convergencia analtica. Sea {
n
]
1
nD1
una sucesin de funciones analticas en un
abierto tales que
n
normalmente en . Entonces es analtica en , y
0
n

0
normal-
mente en .
Demostracin. En primer lugar, por ser uniforme la convergencia de
n
a en discos cerrados con-
tenidos en , es continua en cada disco cerrado contenido en , y por tanto es continua en . Sea
D(a: r) . Si ; es una curva cerrada C
1
a trozos contenida en D(a: r) entonces es continua en
D(a: r) y
_
;
= lim
n!1
_
;
n
= 0.
por el Lema 6.7 y el teorema de Cauchy (
n
es analtica en D(a: r) y D(a: r) es simplemente
conexo). Por el teorema de Morera, es analtica en D(a: r), y por tanto en .
Para probar que
0
n

0
uniformemente en D(a: r), ntese que existe 1 > r tal que D(a: 1) .
Dado c > 0, existe N N tal que [
n
(n) (n)[ < c para todo n D(a: 1) y n > N. Si z D(a: r)
y ; es la circunferencia de centro a y radio 1 (orientada positivamente) se tiene entonces, por la frmula
integral de Cauchy para la primera derivada:
0
n
(z)
0
(z)
=
1
2
_
;
n
(n) (n)
(n z)
2
dn
6
1
2
c
(1 r)
2
21 =
c1
(1 r)
2
.
Corolario 6.9. Sea

1
kD1
g
k
una serie de funciones analticas en un abierto normalmente conver-
gente a una funcin g en . Entonces g es analtica en , y

1
kD1
g
0
k
converge normalmente a g
0
en
dicho abierto.
En particular, ntese que
d
dz
1
kD1
g
k
=
1
kD1
g
0
k
(z) en :
en otras palabras, si se cumplen las hiptesis del corolario precedente la serie se puede derivar trmino
a trmino en .
6.1.3 Series de potencias
Una serie de potencias centrada en z
0
C es una serie del tipo
1
kD0
a
k
(z z
0
)
k
. a
k
C (k = 0. 1. . . . ). (6.1)
Teorema de Abel. Para toda serie de potencias (6.1) hay un 1 tal que 0 6 1 6 o, llamado el radio
de convergencia de la serie, que cumple:
i) La serie converge absoluta y normalmente para [z z
0
[ < 1.
ii) La serie diverge si [z z
0
[ > 1.
iii) Si 1 > 0, la suma de la serie es una funcin analtica en el disco de convergencia D(z
0
: 1),
cuya derivada se obtiene derivando trmino a trmino la serie dada.
Demostracin. Claramente, de i) y ii) se sigue que 1, si existe, es nico. Probaremos que
1 = sup 1 . 1
r > 0 : {[a
n
[ r
n
]
1
nD0
acotado
_
.
Ntese que si {[a
n
[ r
n
]
1
nD0
est acotado tambin lo est {[a
n
[ j
n
]
1
nD0
para todo j 6 r, por lo que el
conjunto 1 es un intervalo con extremo inferior en 0. En particular, 1 = osi {[a
n
[ r
n
]
1
nD0
est acotado
para todo r > 0. Con esta denicin, la parte ii) es trivial: en efecto, si [z z
0
[ > 1 la sucesin
[a
n
[ [z z
0
[
n
_
1
nD0
= {[a
n
(z z
0
)
n
[]
1
nD0
no est acotada (ya que [z z
0
[ 1), y por tanto el trmino general de la serie no tiende a cero cuando
n o.
Para probar i), ntese en primer lugar que si 1 = 0 la serie diverge para todo z = z
0
, y no hay nada
que probar. Supongamos, por tanto, que 1 > 0, y sea 0 < r < 1. Entonces r 1 (por denicin de
supremo), y (de nuevo por la denicin de supremo) existen r < j < 1 y M > 0 tal que [a
n
[ j
n
< M
para todo n. Si [z z
0
[ 6 r se tiene:
[a
n
(z z
0
)
n
[ = [a
n
[ j
n
_
[z z
0
[
j
_
n
6 M
_
r
j
_
n
.
Por el criterio M de Weierstrass, la serie

1
nD0
a
n
(z z
0
)
n
converge absoluta y uniformemente en
D(z
0
: r); en particular, converge absolutamente en D(z
0
: 1). De lo anterior tambin se deduce que la
serie converge uniformemente en cada disco cerrado contenido en D(z
0
: 1), ya que todo disco cerrado
contenido en D(z
0
: 1) est contenido en algn disco cerrado centrado en z
0
de radio menor que 1. Esto
demuestra el apartado i). El apartado iii) se sigue entonces del teorema de la convergencia analtica.
v El radio de convergencia de la derivada de una serie de potencias es igual al radio de convergencia
de la serie.
En efecto, por el teorema de Abel, basta ver que la serie
1
kD1
ka
k
(z z
0
)
k1
diverge si [z z
0
[ > 1,
siendo 1 el radio de convergencia de la serie original
1
kD0
a
k
(z z
0
)
k
. Y, en efecto,
k [a
k
[ [z z
0
[
k1
= [z z
0
[
1
k [a
k
[ [z z
0
[
k
> [z z
0
[
1
[a
k
[ [z z
0
[
k
.
Por denicin de 1, el ltimo trmino no est acotado cuando [z z
0
[ > 1. Luego el trmino general
de la serie

1
kD1
ka
k
(z z
0
)
k1
no tiende a cero si [z z
0
[ > 1, por lo que dicha serie diverge si
[z z
0
[ > 1.
Aplicando repetidamente el teorema de Abel y el resultado anterior se obtiene el siguiente
Teorema 6.10. Sea 0 < 1 6 oel radio de convergencia de la serie (z) =
1
kD0
(z z
0
)
k
. Entonces
es innitas veces derivable en D(z
0
: 1), y se cumple
(n)
(z) =
1
kDn
k(k 1) (k n 1)a
k
(z z
0
)
kn
=
1
kD0
(k n)(k n 1) (k 1)a
kCn
(z z
0
)
k
. Vn N. Vz D(z
0
: 1).
siendo el radio de convergencia de todas estas series de potencias igual a 1. Adems, los coecientes
a
n
vienen dados por
a
n
=

(n)
(z
0
)
n
. Vn = 0. 1. 2. . . . .
Corolario 6.11 (unicidad de las series de potencias). Si existe r > 0 tal que
1
kD0
a
k
(z z
0
)
k
=
1
kD0
b
k
(z z
0
)
k
. Vz D(z
0
. r).
entonces a
k
= b
k
para todo k = 0. 1. 2. . . . .
Demostracin. a
k
= b
k
=
(k)
(z
0
),k, siendo (z) la suma de cualquiera de las dos series.
v Los criterios del cociente y de la raz son vlidos en el campo complejo. En efecto, consideremos la
serie

1
kD0
z
k
, y supongamos que existe (o vale o) lim
n!1
[z
nC1
[ , [z
n
[ c. Si c < 1 la serie de
reales no negativos

1
kD0
[z
k
[ es convergente, por lo que la serie

1
kD0
z
k
converge absolutamente. Si,
por el contrario, c > 1 (o c = o) entonces [z
n
[ no est acotado para n o, por lo que la serie
1
kD0
z
k
diverge (su trmino general no tiende a cero si n o). El criterio de la raz se establece con
un razonamiento anlogo.
v Si existe (o vale o) lim
n!1
[a
n
[
[a
nC1
[
, entonces 1 = lim
n!1
[a
n
[
[a
nC1
[
.
Anlogamente, si existe (o vale o) lim
n!1
n
_
[a
n
[ entonces 1 = 1, lim
n!1
n
_
[a
n
[ .
Probemos, por ejemplo, la primera frmula. Por el criterio del cociente, si z = z
0
la serie
1
kD0
a
k
(zz
0
)
k
converge si
lim
n!1
[a
nC1
[ [z z
0
[
nC1
[a
n
[ [z z
0
[
n
= [z z
0
[ lim
n!1
[a
nC1
[
[a
n
[
< 1.
y diverge si
[z z
0
[ lim
n!1
[a
nC1
[
[a
n
[
> 1.
Anlogamente (aplicando el criterio de la raz) se prueba la segunda frmula.
v El radio de convergencia 1 de la serie de potencias

1
kD0
a
k
(z z
0
)
k
se puede calcular mediante
la frmula de Hadamard
1 = 1, limsup
n!1
n
_
[a
n
[ .
Nota: si .
n
> 0 para todo n N,
limsup
n!1
.
n
= lim
n!1
sup {.
k
: k > n] .
El lmite superior siempre existe, vale innito si y slo si {.
n
]
1
nD1
no est acotada superiormente, y
coincide con el lmite ordinario cuando dicho lmite existe.
Ejemplo 6.12. Consideremos la serie geomtrica de razn z C, dada por

1
kD0
z
k
. Se trata de una
serie de potencias centrada en z
0
= 0 y de radio de convergencia 1 (ya que a
n
= 1 para todo n). Por
tanto la serie es absolutamente convergente si el mdulo de la razn es menor que uno, y divergente si
es mayor que uno. Este resultado se puede probar de forma ms elemental observando que si [z[ > 1 el
trmino general de la serie no est acotado (su mdulo tiende a innito para n o), por lo que la serie
es divergente. Por el contrario, si [z[ < 1 entonces la n-sima suma parcial de la serie est dada por
n
kD0
z
k
=
1 z
nC1
1 z
n!1
1
1 z
.
ya que [z[
nC1
n!1
0 al ser [z[ < 1. Ntese que la serie geomtrica es divergente en todos los puntos
de la frontera de su disco de convergencia, ya que si [z[ = 1 el trmino general de la serie es de mdulo
1, y por tanto no tiende a cero si k tiende a innito. En denitiva,
1
kD0
z
k
=
1
1 z
. [z[ < 1 .
6.1.4 Teorema de Taylor
En la subseccin anterior hemos visto que la suma de una serie de potencias es una funcin analtica en
su disco de convergencia. Probaremos a continuacin que, recprocamente, una funcin analtica en un
disco abierto puede representarse mediante una serie de potencias convergente en dicho disco:
Teorema de Taylor. Si es analtica el disco D(z
0
: r) (con r > 0), entonces admite el desarrollo
en serie de Taylor
(z) =
1
kD0
(k)
(z
0
)
k
(z z
0
)
k
. Vz D(z
0
: r). (6.2)
z
w
z
0
D(z
0
;r)

Figura 6.1: teorema de Taylor
Demostracin. Fijemos un punto cualquiera z D(z
0
: r), y sea j > 0 tal que [z z
0
[ < j < r. Si ;
es la circunferencia de centro z
0
y radio j (orientada positivamente) se tiene, por la frmula integral de
Cauchy:
(z) =
1
2i
_
;
(n)
n z
dn.
Por otra parte,
1
n z
=
1
n z
0
z
0
z
=
1
n z
0
1
1
z z
0
n z
0
=
1
n z
0
1
kD0
_
z z
0
n z
0
_
k
.
Ntese que la serie geomtrica del miembro derecho es convergente, ya que n ; ==[z z
0
[ < j =
[n z
0
[. Como (n) es analtica en ;, est acotada en ; (al ser ; un compacto), por lo que
(n)
n z
0
z z
0
n z
0
k
<
M
j
z z
0
j
k
. Vn ; .
La serie numrica (es decir, independiente de n)

p
1
kD0
;;
0
p
k
es convergente (se trata de una serie
geomtrica de razn menor que 1). Por el criterio M de Weierstrass, la serie
g(n)
1
kD0
(n)
n z
0
_
z z
0
n z
0
_
k
converge uniforme y absolutamente en ;. Integrando trmino a trmino (cf. el Lema 6.7) obtenemos
(z) =
1
2i
_
;
g(n) dn =
1
2i
1
kD0
_
;
(n)
(n z
0
)
kC1
(z z
0
)
k
dn
=
1
kD0
(z z
0
)
k
1
2i
_
;
(n)
(n z
0
)
kC1
dn =
1
kD0
(k)
(z
0
)
k
(z z
0
)
k
.
por la frmula integral de Cauchy para la k-sima derivada.
Sea analtica en un abierto no vaco C. Si z
0
, denimos la distancia de z
0
a la frontera
d de por
J(z
0
: d) = inf {[z z
0
[ : z d] .
Es fcil probar que J(z
0
: d) (0. o|. Claramente, el disco abierto de centro z
0
y radio J(z
0
: d) est
contenido en . Aplicando el teorema de Taylor a dicho disco se obtiene el siguiente
Corolario 6.13. El radio de convergencia de la serie de Taylor centrada en z
0
de una funcin
analtica en es mayor o igual que la distancia de z
0
a la frontera de .
v El radio de convergencia de la serie de Taylor de (6.2) puede ser estrictamente mayor que
J(z
0
: d). Por ejemplo, esto ocurre si (z) = Log z y z
0
= 1 i (vase el siguiente ejercicio).
Ejercicio. Probar que la serie de Taylor de Log z centrada en 1 i tiene radio de convergencia
_
2,
mientras que la distancia de 1 i a la frontera de la regin de analiticidad de Log es igual 1. A qu
funcin converge la serie de Taylor anterior en D(1 i:
_
2)?
Solucin. La funcin (z) = Log z es analtica en = C \
_
R
L{0]
_
, por lo que d = R
L{0]. Si
z
0
= 1 i entonces
J(z
0
: d) = 1 J .
Por otra parte,
0
(z) =
1
z
==
(k)
(z) = (1)
k1
(k 1)
z
k
. k = 1 . 2 . . . . .
Por tanto la serie de Taylor de centrada en z
0
es
(z) = Log(z) = Log z
0
kD1
(1)
k1
kz
k
0
(z z
0
)
k
(6.3)
(ntese que Log(z
0
) =
1
2
log 2
3i
4
, aunque este hecho no es importante). Por el criterio de la raz, el
radio de convergencia de esta serie es
1 = lim
k!1
k
_
k[z
0
[
k
= [z
0
[ lim
k!1
k
_
k = [z
0
[ =
_
2 > J = 1 .
La serie de Taylor de Log centrada en z
0
1 i converge a J(z) = log
0,2)
en D(z
0
:
_
2). En
efecto, y J claramente coinciden en D(z
0
: 1), por lo que
J
(k)
(z
0
) =
(k)
(z
0
) . k = 0 . 1 . . . . .
Por tanto la serie de Taylor de J centrada en z
0
coincide con la de . Como J es analtica en el disco
D(z
0
:
_
2), J(z) es igual a la suma de su serie de Taylor, es decir a la suma de la serie (6.3), en dicho
disco.
Proposicin 6.14. Sea analtica en , sea z
0
, y supongamos que no est acotada en el disco
de centro z
0
y radio J(z
0
: d). Entonces el radio de convergencia de la serie de Taylor de centrada
en z
0
es exactamente igual a J(z
0
: d).
Demostracin. Sea 1 el radio de convergencia de la serie de Taylor de centrada en z
0
, y supongamos
que 1 > J(z
0
: d) J. Si
J(z) =
1
kD0
(k)
(z
0
)
k
(z z
0
)
k
. [z z
0
[ < 1.
entonces J = en D(z
0
: J). Por otra parte, J est acotada en D(z
0
: J), ya que este disco cerrado est
enteramente contenido en D(z
0
: 1), y J es continua (analtica) en este ltimo disco. En particular, J est
acotada en el disco abierto D(z
0
: J). Pero esto contradice la hiptesis, ya que J = en D(z
0
: J).
6.1.5 Ceros de funciones analticas
En esta subseccin resumiremos algunas propiedades fundamentales del conjunto de los ceros de una
funcin analtica.
Proposicin 6.15. Sea : C C una funcin analtica en un punto a C, y supongamos que
(a) = 0. Entonces o bien se anula idnticamente en un entorno de a, o bien no se anula en un
entorno reducido de dicho punto.
Demostracin. Si es analtica en a entonces es derivable en un cierto entorno D(a: r) D de a.
Por el teorema de Taylor,
(z) =
1
kD1
c
k
(z a)
k
. [z a[ < r .
Si los coecientes c
k
son todos nulos, entonces = 0 en D. En caso contrario, existe n N tal que
c
0
= = c
n1
= 0. c
n
= 0.
y por tanto
(z) =
1
kDn
c
k
(z a)
k
= (z a)
n
1
kD0
c
kCn
(z a)
k
(z a)
n
g(z) . [z a[ < r .
La funcin g(z) es analtica en D (ya que es la suma de una serie de potencias convergente en D), y
g(a) = c
n
= 0. Al ser g continua en a, existe 0 < < r tal que g(z) = 0 para todo z D(a: ). En
particular, (z) = (z a)
n
g(z) no se anula en el entorno reducido D(a: ) {a] de a.
v Sea, como antes, analtica en a C y no idnticamente nula en un entorno de dicho punto. Si
(a) = 0, por el lema anterior existe n N tal que
(z) = (z a)
n
g(z) .
con g analtica y no nula en un entorno de a. Adems, en este caso se tiene
(a) = =
(n1)
(a) = 0.
(n)
(a) = 0 .
dado que
(k)
(a) = kc
k
. Se dice entonces que tiene un cero de orden n en a.
v Con ayuda de la proposicin anterior se puede probar la siguiente propiedad fundamental de las fun-
ciones analticas, que es la base del principio de prolongacin analtica:
Teorema 6.16. Si : C C es analtica en una regin , y se anula en un entorno de un punto
z
0
, entonces es idnticamente nula en todo .
6.2 Series de Laurent. Teorema de Laurent
6.2.1 Series de Laurent
Una serie de la forma
(z) =
1
kD1
b
k
(z z
0
)
k
(6.4)
es una serie de potencias en la variable n = (z z
0
)
1
. Por tanto, si j es el radio de convergencia de
esta serie de potencias y 1 = 1,j (con 0 6 1 6 o), la serie (6.4) converge si [z z
0
[ > 1 y diverge
si [z z
0
[ < 1, siendo la convergencia de la serie absoluta y uniforme en el exterior de cualquier disco
D(z
0
: r) con r > 1. Adems, la funcin es analtica en la regin de convergencia [z z
0
[ > 1, ya
que es la composicin de la serie de potencias g(n)
1
kD1
b
k
n
k
, analtica para [n[ < j 1,1, con
la funcin h(z) = (z z
0
)
1
.
Consideremos a continuacin la serie ms general
(z) =
1
kD1
a
k
(z z
0
)
k

1
kD0
a
k
(z z
0
)
k
kD1
a
k
(z z
0
)
k
. (6.5)
La primera serie converger absolutamente para [z z
0
[ > 1
1
, y la segunda si [zz
0
[ < 1
2
. Por tanto,
estar denida y ser analtica en la corona circular
C(z
0
: 1
1
. 1
2
) = {z : 1
1
< [z z
0
[ < 1
2
] .
llamada corona de convergencia, siempre y cuando 0 6 1
1
< 1
2
6 o. Adems (por los resultados
sobre series de potencias) la convergencia de ambas series (6.5) es absoluta y uniforme en toda subcorona
cerrada contenida en C(z
0
: 1
1
. 1
2
). Una serie del tipo (6.5) se denomina serie de Laurent centrada en
z
0
.
Proposicin 6.17. Si la serie de Laurent
(z) =
1
kD1
a
k
(z z
0
)
k
Series de Laurent. Teorema de Laurent 97
converge en la corona C(z
0
: 1
1
. 1
2
) (con 0 6 1
1
< 1
2
6 o) entonces se tiene:
a
n
=
1
2i
_
;
r
(z)
(z z
0
)
nC1
dz . Vn Z .
siendo ;
i
la circunferencia de centro z
0
y radio r (con 1
1
< r < 1
2
) orientada positivamente.
Demostracin. En efecto, por denicin de se tiene:
1
2i
_
;
r
(z)
(z z
0
)
nC1
dz =
1
2i
_
;
r
1
kD1
a
k
(z z
0
)
kn1
dz .
La serie bajo el signo integral es una serie de Laurent convergente en la corona C(z
0
: 1
1
. 1
2
), y por
tanto converge uniformemente en la circunferencia ;
i
(por las propiedades de las series de Laurent).
Aplicando el Lema 6.7 se obtiene:
1
2i
_
;
r
(z)
(z z
0
)
nC1
dz =
1
kD1
a
k

1
2i
_
;
r
(z z
0
)
kn1
dz .
Por el teorema fundamental del Clculo, para todo entero = 1 se tiene
_
;
r
(z z
0
)
}
dz =
_
;
r
d
dz
_
(z z
0
)
}C1
1
_
dz = 0 .
y por tanto
1
2i
_
;
r
(z)
(z z
0
)
nC1
dz = a
n
1
2i
_
;
r
dz
z z
0
= a
n
n(;
i
. z
0
) = a
n
.
Corolario 6.18 (unicidad de las series de Laurent). Si

1
kD1
a
k
(z z
0
)
k
=
1
kD1
c
k
(z z
0
)
k
. 1
1
< [z z
0
[ < 1
2
. (6.6)
entonces a
k
= c
k
para todo k Z.
6.2.2 Teorema de Laurent
Por lo visto anteriormente, las series de Laurent son funciones analticas en su corona de convergencia.
Recprocamente, probaremos a continuacin que una funcin analtica en una corona es la suma de una
serie de Laurent:
Teorema de Laurent. Sea una funcin analtica en la corona C(z
0
: 1
1
. 1
2
), con 0 6 1
1
< 1
2
6
o. Si 1
1
< r < 1
2
, sea ;
i
la circunferencia de centro z
0
y radio r orientada positivamente, y
denamos
a
k
=
1
2i
_
;
r
(z)
(z z
0
)
kC1
dz. Vk Z. (6.7)
Entonces admite el desarrollo en serie de Laurent
(z) =
1
kD1
a
k
(z z
0
)
k
. 1
1
< [z z
0
[ < 1
2
. (6.8)
donde la serie del miembro derecho converge absoluta y uniformemente en cada subcorona cerrada
contenida en C(z
0
: 1
1
. 1
2
).
z
w
2
z
0
1
R
1
R
2
w
1
S
Figura 6.2: teorema de Laurent
Demostracin. Sea z C(z
0
: 1
1
. 1
2
) y tomemos r
1
y r
2
tales que 1
1
< r
1
< [z z
0
[ < r
2
< 1
2
, de
modo que la corona cerrada = C(z
0
: r
1
. r
2
) est contenida en C(z
0
: 1
1
. 1
2
). Llamemos ;
i
1
;
1
,
;
i
2
;
2
. La curva cerrada S ;
2
S ;
1
es homtopa a un punto en C(z
0
: 1
1
. 1
2
) (vase la g. 6.2).
Por la frmula integral de Cauchy,
(z) =
1
2i
_
SC;
2
S;
1
(n)
n z
dn =
1
2i
_
;
2
(n)
n z
dn
1
2i
_
;
1
(n)
n z
dn
2
(z)
1
(z) .
La demostracin del teorema de Laurent consiste, bsicamente, en desarrollar
1
y
2
como series de
potencias en (z z
0
)
1
y z z
0
, respectivamente. Para
2
, repitiendo el razonamiento que se utiliz
para probar el teorema de Taylor se obtiene
2
(z) =
1
2i
_
;
2
(n)
1
n z
0
1
kD0
_
z z
0
n z
0
_
k
dn =
1
kD0
(z z
0
)
k
1
2i
_
;
2
(n)
(n z
0
)
kC1
dn.
donde el ltimo paso est justicado por la convergencia uniforme de la serie para n ;
2
(n ;
2
==
[z z
0
[ , [n z
0
[ = [z z
0
[ ,r
2
< 1). En cuanto a
1
, basta observar que si r
1
< [z z
0
[ se tiene
1
n z
=
1
z z
0
1
1
n z
0
z z
0
=
1
z z
0
1
kD0
_
n z
0
z z
0
_
k
.
De nuevo, la convergencia de la serie geomtrica del miembro derecho es uniforme para n ;
1
, ya que
n ;
1
==
[n z
0
[
[z z
0
[
=
r
1
[z z
0
[
< 1 .
Aplicando el Lema 6.7 se obtiene
1
(z) =
1
2i
_
;
1
(n)
1
kD0
(n z
0
)
k
(z z
0
)
kC1
dn =
1
kD0
(z z
0
)
k1
1
2i
_
;
1
(n)(n z
0
)
k
dn
=
1
nD1
(z z
0
)
n
1
2i
_
;
1
(n)
(n z
0
)
nC1
dn.
Por el teorema de la deformacin,
_
;
r
(n)(n z
0
)
n1
dn es independiente de r si 1
1
< r < 1
2
,
lo que prueba (6.7)(6.8). La corona de convergencia de la serie de Laurent (6.7)(6.8) es por lo me-
nos C(z
0
: 1
1
. 1
2
); por tanto, de las propiedades de las series de Laurent se deduce que la convergen-
cia de dicha serie es absoluta y uniforme en toda subcorona cerrada centrada en z
0
y contenida en
C(z
0
: 1
1
. 1
2
).
Clasicacin de singularidades aisladas 99
6.3 Clasicacin de singularidades aisladas
Denicin 6.19. Una funcin : C C tiene una singularidad aislada en z
0
C si no es
derivable en z
0
, pero es analtica en algn entorno reducido C(z
0
: 0. r) (con r > 0) de z
0
.
Por el teorema de Laurent, si tiene una singularidad aislada en z
0
existe r > 0 tal que admite
un desarrollo en serie de Laurent (6.5) en C(z
0
: 0. r):
(z) =
1
kD1
b
k
(z z
0
)
k

1
kD0
a
k
(z z
0
)
k
. si 0 < [z z
0
[ < r .
i) Si b
k
= 0 para todo k N, se dice que z
0
es una singularidad evitable de .
ii) Si b
]
= 0 y b
k
= 0 para todo k > , el punto z
0
es un polo de orden para .
iii) Finalmente, si existen innitos coecientes b
k
= 0 se dice que tiene una singularidad esencial
en z
0
.
Denicin 6.20. La serie
1
kD1
b
k
(z z
0
)
k
se denomina parte principal del desarrollo de Laurent de
en z
0
. Llamaremos tambin residuo de en z
0
al coeciente b
1
:
Res( : z
0
) = b
1
.
v Si tiene una singularidad evitable en z
0
entonces existe el lmite
lim
;!;
0
(z) = a
0
. (6.9)
Deniendo (z
0
) = a
0
, la funcin es analtica en D(z
0
: r) (ya que la serie de potencias que representa
a para 0 < [z z
0
[ < r converge en dicho disco). Recprocamente, si es analtica en un entorno
reducido de z
0
y se verica (6.9) entonces tiene una singularidad evitable en z
0
. En efecto, (6.9)
implica que
lim
;!;
0
_
(z z
0
)(z)
_
= 0 . (6.10)
Aplicando el teorema de Cauchy generalizado se obtiene entonces
a
n
=
1
2i
_
;
(z)(z z
0
)
n1
dz = 0 . Vm N.
Por tanto tiene una singularidad evitable en z
0
si y slo si (z) tiene lmite cuando z tiende a z
0
. De
hecho, es vlido el siguiente resultado, ligeramente ms general:
Proposicin 6.21. Sea z
0
C una singularidad aislada de : C C. Entonces tiene una
singularidad evitable en z
0
si y slo se verica la condicin (6.10).
Demostracin. En efecto, si tiene una singularidad evitable en z
0
entonces tiene lmite en z
0
,
lo cual implica (6.10). Recprocamente, si se verica esta condicin entonces el teorema de Cauchy
generalizado implica que todos los coecientes a
k
con k < 0 del desarrollo de Laurent de centrado
en z
0
son nulos.
Ejemplo 6.22. La funcin (z) = sen z,z, denida para todo z = 0, tiene una singularidad evitable
en el origen. En efecto, aunque formalmente no est denida (y por tanto no es analtica) en z = 0 se
cumple la condicin (6.10), ya que lim
;!0
z(z)| = lim
;!0
sen z = 0. La serie de Laurent de en la
corona de analiticidad C(0: 0. o) se calcula fcilmente a partir de la serie de Taylor de sen z:
(z) =
1
z
1
kD0
(1)
k
z
2kC1
(2k 1)
=
1
kD0
(1)
k
z
2k
(2k 1)
. z = 0 .
Si denimos (0) = lim
;!0
(z) = 1, la funcin est dada por la suma de la serie anterior para todo
z C, y es por tanto entera.
v Por denicin, tiene un polo de orden en z
0
si y slo si existe r > 0 tal que
0 < [z z
0
[ < r ==(z) =
1
(z z
0
)
]
_
b
]
b
]1
(z z
0
) b
1
(z z
0
)
]1
kD0
a
k
(z z
0
)
kC]
_
J(z)
(z z
0
)
]
.
siendo J analtica en D(z
0
: r) y J(z
0
) = b
]
= 0. Por tanto tiene un polo de orden en z
0
si y slo
si (z z
0
)
]
(z) tiene una singularidad evitable en z
0
, y
J lim
;!;
0
_
(z z
0
)
]
(z)
_
= 0 . (6.11)
De hecho, puede probarse un resultado ligeramente ms general:
Proposicin 6.23. Sea : C C analtica en un entorno reducido de z
0
. Entonces tiene un polo
de orden en z
0
si y slo si se cumple la condicin (6.11).
Demostracin. En efecto, por lo visto anteriormente la condicin (6.11) se cumple cuando tiene un
polo de orden en z
0
. Recprocamente, si se verica dicha condicin es claro que z
0
es una singularidad
aislada de , ya que (6.11) claramente implica que no tiene limite cuando z z
0
, y por tanto no
es derivable en dicho punto. Adems, de la Proposicin 6.21 aplicada a (z z
0
)
]
(z) se sigue que
(z z
0
)
]
0
. La observacin que precede a esta proposicin
implica entonces que tiene un polo de orden en z
0
.
v Si tiene un polo de orden en z
0
, entonces
(z) =
J(z)
(z z
0
)
]
. 0 < [z z
0
[ < r .
con J analtica en D(z
0
: r) y J(z
0
) = b
]
= 0. Por continuidad, existe 0 < 6 r tal que J(z) = 0 si
[z z
0
[ < , y por tanto
1
(z)
= (z z
0
)
]
1
J(z)
. 0 < [z z
0
[ < .
con 1,J analtica y no nula en D(z
0
: ). Luego 1, tiene una singularidad evitable (cero de orden )
en z
0
. Recprocamente (vase la Seccin 6.1.5) si tiene un cero de orden > 0 en z
0
entonces 1,
tiene un polo de orden en z
0
. Por tanto:
Proposicin 6.24. tiene un polo de orden en z
0
si y slo si la funcin
g(z) =
1
((;)
. z = z
0
0 . z = z
0
tiene un cero de orden en z
0
.
Clasicacin de singularidades aisladas 101
Ejemplo 6.25. Consideremos la funcin (z) = csc
2
z, analtica para z = k con k Z. En este caso
la funcin g(z) = sen
2
z tiene un cero doble en cada una de las singularidades (obviamente aisladas)
z = k de , ya que sen z tiene un cero simple
1
en dichos puntos (pues sen(k) = 0, cos(k) =
(1)
k
= 0). Por tanto, tiene un polo de orden dos en cada uno de los puntos z = k, con k Z.
v Supongamos que = g,h, donde g y h son funciones analticas en z
0
con ceros de orden n > 0 y
m > 1, respectivamente, en dicho punto. Entonces existe r > 0 tal que
[z z
0
[ < r == g(z) = (z z
0
)
n
G(z) . h(z) = (z z
0
)
n
H(z) .
con G y H analticas y no nulas en D(z
0
: r). Por tanto
0 < [z z
0
[ < r ==(z) =
g(z)
h(z)
=
(z z
0
)
n
G(z)
(z z
0
)
n
H(z)
(z z
0
)
nn
1(z).
siendo 1 G,H analtica (cociente de funciones analticas con H(z) = 0) y no nula en z
0
(ya que
G(z
0
) = 0). Luego:
i) Si n > m, tiene una singularidad evitable (cero de orden n m) en z
0
.
ii) Si n < m, tiene un polo de orden m n en z
0
.
En particular, de lo anterior se deduce que las singularidades del cociente de dos funciones analticas no
idnticamente nulas slo pueden ser polos o singularidades evitables.
Proposicin 6.26. Supongamos que = g h, con g analtica en un entorno de z
0
y g(z
0
) = 0, y sea
z
0
una singularidad aislada de h. Entonces z
0
es una singularidad aislada de , del mismo tipo que lo
es para h.
Demostracin. En efecto, es claro que tiene una singularidad aislada en z
0
, ya que si h es analtica en
C(z
0
: 0. r) (r > 0) y g es analtica en D(z
0
: r) entonces g h es analtica en C(z
0
: 0. r). Adems,
no puede ser derivable en z
0
, ya que en tal caso h = ,g sera derivable en dicho punto (al ser el
cociente de dos funciones derivables en z
0
, con denominador no nulo en z
0
).
Si z
0
es una singularidad evitable de h entonces h coincide con una funcin analtica en un entorno
reducido de z
0
, y por tanto lo mismo ocurre con . Luego en este caso tiene tambin una singularidad
evitable en z
0
. Por otra parte, si h tiene un polo de orden en z
0
entonces h(z) = (zz
0
)
]
H(z), con
H analtica en un entorno de z
0
y H(z
0
) = 0 ==(z) = (z z
0
)
]
g(z) H(z) (z z
0
)
]
J(z),
con J = gH analtica en un entorno de z
0
y J(z
0
) = g(z
0
)H(z
0
) = 0 == tiene un polo de orden
en z
0
. Por ltimo, si h tiene una singularidad esencial en z
0
entonces lo mismo ha de ocurrir con ,
ya que en caso contrario h =
1
tendra una singularidad evitable un polo en z

0
(ntese que 1,g es
analtica en un entorno de z
0
, al ser g(z
0
) = 0).
Ejemplo 6.27. La funcin (z) = e
1{;
es analtica en C \ {0], y tiene una singularidad esencial en el
origen. En efecto,
(z) =
1
kD0
1
k
1
z
k
. Vz = 0 .
Por la unicidad de las series de Laurent, este es el desarrollo de Laurent de en C(0: 0. o). En particular,
al ser
b
k
=
1
k
= 0 . Vk = 1. 2. . . . .
z = 0 es una singularidad esencial de . Consideremos a continuacin la funcin (z) = e
cot ;
, analtica
en todo el plano complejo salvo en los puntos z = k con k Z. Estos puntos son polos simples de
1
Es inmediato probar que si h(z) tiene un cero simple en un punto z
0
y n N entonces h(z)
n
tiene un cero de orden n en
dicho punto.
cot z = cos z, sen z (ceros simples de sen z en que no se anula cos z). Por tanto, en un entorno reducido
de k se tiene
cot z =
c
k
z k
g
k
(z) .
con c
k
= 0 y g
k
analtica en dicho entorno
2
. En consecuencia,
e
cot ;
= e
c
k
k
e
k
(;)
.
con e
k
analtica en k (composicin de funciones analticas) y no nula en dicho punto. Por la Proposi-
cin 6.26, tiene una singularidad esencial en k para todo k Z.
v Si tiene un polo en z
0
entonces
lim
;!;
0
[(z)[ = o: (6.12)
en particular, [ [ no est acotado en un entorno reducido de z
0
. Sin embargo, (6.12) no se cumple si
tiene una singularidad esencial en z
0
. Por ejemplo, (z) = e
1{;
tiene una singularidad esencial en el
origen, y (z
n
) = 1 si z
n
= 1,(2ni)
n!1
0, para todo n N. De hecho, la proposicin siguiente
implica que (6.12) slo se verica si tiene un polo en z
0
:
Teorema de CasoratiWeierstrass. Si tiene una singularidad esencial en z
0
y a C, existe una
sucesin {z
n
]
1
nD1
tal que z
n
z
0
y (z
n
) a.
Nota: de hecho, puede probarse (teorema grande de Picard) que para todo nmero complejo a, con a
lo sumo una excepcin, se puede encontrar una sucesin {z
n
]
1
nD1
tal que z
n
z
0
y (z
n
) = a para
todo n N (cf. (z) = e
1{;
).
Ejercicio. Sea : C C una funcin entera que satisface lim
j;j!1
[(z)[ = o. Probar que es un
polinomio.
2
Por el teorema de Laurent, la frmula anterior es vlida en si 0 < [z k[ < .
Captulo 7
Teorema de los residuos
7.1 Teorema de los residuos
El siguiente teorema es la base para la aplicacin de los resultados de los dos captulos anteriores al
clculo de integrales denidas en la recta real:
Teorema de los residuos. Sean z
1
. . . . . z
n
n puntos distintos pertenecientes a una regin , y sea ;
un arco homtopo a un punto en y tal que ningn z
i
est sobre ;. Si es analtica en \{z
1
. . . . z
n
]
entonces se tiene:
_
;
= 2i
n
kD1
n(;. z
k
) Res( : z
k
).
Demostracin. Por el teorema de Laurent, para cada i = 1. . . . . n hay un entorno reducido C(z
i
: 0. c
i
)
de z
i
en el que es vlido el desarrollo
(z) =
1
kD1
b
ik
(z z
i
)
k
kD0
a
ik
(z z
i
)
k
S
i
(z)
i
(z). 0 < [z z
i
[ < c
i
.
con
i
analtica en el disco D(z
i
: c
i
). Adems, por las propiedades de las series de Laurent la serie que
dene la parte principal S
i
(z) converge absolutamente a una funcin analtica en C \ {z
i
], siendo la
convergencia uniforme en el exterior de todo disco abierto centrado en z
i
.
Veamos a continuacin que la funcin
g(z) = (z)
n
kD1
S
k
(z) .
que claramente es analtica en \ {z
1
. . . . . z
n
], tiene en los puntos z
i
(i = 1. . . . . n) singularidades
evitables. En efecto, para cada i = 1. . . . . n se tiene
g(z) =
i
(z) S
i
(z)
n
kD1
S
k
(z) =
i
(z)
16ki6n
S
k
(z) .
desarrollo vlido en un entorno reducido sucientemente pequeo de z
i
. Deniendo g(z
i
) = lim
;!;
i
g(z),
la funcin g es por tanto analtica en todo , y por el teorema de Cauchy
_
;
g = 0 ==
_
;
=
n
kD1
_
;
S
k
.
103
104 TEOREMA DE LOS RESIDUOS
Consideremos ahora la integral
_
;
S
k
. Al ser C \ ; abierto (en efecto, ; es compacto, y por tanto
cerrado, al ser la imagen de un intervalo compacto a. b| bajo la aplicacin continua que parametriza
la curva), existe
k
> 0 tal que D(z
k
:
k
) ; = 0. Por tanto, la serie de Laurent que dene a S
k
es
uniformemente convergente en ;, lo que en virtud del Lema 6.7 nos permite escribir
_
;
S
k

_
;
1
}D1
b
k}
(z z
k
)
}
dz =
1
}D1
_
;
b
k}
(z z
k
)
}
dz = b
k1
2in(;. z
k
)
2i n(;. z
k
) Res( : z
k
) .
ya que
_
;
(zz
k
)
}
= 0 para todo entero = 1 por el teorema fundamental del Clculo. Esto completa
la demostracin.
7.2 Mtodos para el clculo de residuos
v Sea (z) = g(z),h(z), con g. h analticas en un entorno de z
0
, g(z
0
) = 0, h(z
0
) = 0 y h
0
(z
0
) = 0.
Entonces tiene un polo simple en z
0
(cero simple del denominador en que el numerador no se anula),
con residuo
Res( : z
0
) =
g(z
0
)
h
0
(z
0
)
.
En efecto, por el teorema de Taylor en un entorno de z
0
es vlido el desarrollo
h(z) =
1
kD1
h
(k)
(z
0
)
k
(z z
0
)
k
= (z z
0
)
1
kD1
h
(k)
(z
0
)
k
(z z
0
)
k1
(z z
0
) H(z).
con H analtica en z
0
(serie de potencias convergente en un entorno de z
0
) y H(z
0
) = h
0
(z
0
). Por tanto
(z) =
1
(z z
0
)
g(z)
H(z)
.
Como g,H es analtica en z
0
(al ser H(z
0
) = h
0
(z
0
) = 0), aplicando de nuevo el teorema de Taylor se
obtiene el desarrollo
g(z)
H(z)
=
g(z
0
)
H(z
0
)
kD1
a
k
(z z
0
)
k
=
g(z
0
)
h
0
(z
0
)
kD1
a
k
(z z
0
)
k
.
y por tanto
(z) =
g(z
0
)
h
0
(z
0
)
1
z z
0
kD1
a
k
(z z
0
)
k1
.
de donde se deduce que el residuo de en z
0
es efectivamente igual a
g(z
0
)
h
0
(z
0
)
.
Ejemplo 7.1. Hallemos el valor de la integral
1 =
_
j;jDS
tan z dz .
La funcin (z) = tan z es singular en los puntos z
k
= (2k 1)
2
, con k Z, ninguno de los cuales
est sobre la circunferencia [z[ = 8. Adems, en el interior de cualquier disco abierto hay obviamente
un nmero nito de singularidades de , por lo que podemos aplicar el teorema de los residuos tomando
como un disco de radio mayor que 8. De esta forma obtenemos
1 = 2i
j;
k
j~S
Res(tan: z
k
) = 2i
2
kD3
Res(tan: z
k
) .
Mtodos para el clculo de residuos 105
ya que
5
2
< 8 <
T
2
. Para calcular el residuo de tan en la singularidad z
k
, basta observar que dicha
singularidad es un polo simple (ya que sen z
k
= 0 y cos
0
(z
k
) = sen z
k
= 0), por lo que
Res(tan: z
k
) =
sen z
k
sen z
k
= 1 .
Por tanto 1 = 2i (6) = 12i .
v Si tiene un polo de orden n en z
0
entonces
Res( : z
0
) =
1
(n 1)
lim
;!;
0
J
n1
dz
n1
_
(z z
0
)
n
(z)
_
. (7.1)
En efecto, en un entorno reducido de z
0
es vlido el desarrollo de Laurent
(z) =
b
n
(z z
0
)
n

b
n1
(z z
0
)
n1

b
1
z z
0
g(z).
con g analtica en z
0
(serie de potencias convergente). Por tanto, en un entorno reducido de z
0
se cumple
(z z
0
)
n
(z) = b
n
b
n1
(z z
0
) b
1
(z z
0
)
n1
G(z) J(z). (7.2)
donde G(z) = (z z
0
)
n
g(z) es analtica en z
0
y tiene un cero de orden > n en dicho punto, y J es
analtica en z
0
. Por el teorema de Taylor,
Res( : z
0
) = b
1
=
J
(n1)
(z
0
)
(n 1)
=
1
(n 1)
lim
;!;
0
J
(n1)
(z)
=
1
(n 1)
lim
;!;
0
J
n1
dz
n1
_
(z z
0
)
n
(z)
_
.
Nota: de la ec. (7.2) se sigue que (zz
0
)
n
0
, por lo que muchas
veces la frmula (7.1) se escribe (con un cierto abuso de notacin) en la forma ms sencilla
Res( : z
0
) =
1
(n 1)
J
n1
dz
n1
_
(z z
0
)
n
(z)
_
;D;
0
.
Ejercicio. Si = g,h con g y h analticas en z
0
, h(z
0
) = h
0
(z
0
) = 0 y g(z
0
) = 0, h
00
(z
0
) = 0,
probar que tiene un polo de orden 2 en z
0
, con residuo
Res( : z
0
) = 2
g
0
(z
0
)
h
00
(z
0
)
2
3
g(z
0
) h
000
(z
0
)
h
00
(z
0
)|
2
.
Solucin. La funcin tiene claramente un polo doble en z
0
, por lo que podemos aplicar la frmu-
la (7.1). Por el teorema de Taylor, en un entorno reducido de z
0
es vlido el desarrollo
h(z)
(z z
0
)
2
= h
2
h
3
(z z
0
) H(z) .
con
h
2
=
1
2
h
00
(z
0
) . h
3
=
1
6
h
000
(z
0
) (7.3)
y H analtica en z
0
y con un cero de orden por lo menos 2 en dicho punto. Aplicando (7.1) se obtiene
entonces
Res( : z
0
) = lim
;!;
0
d
dz
_
g(z)
h
2
h
3
(z z
0
) H(z)
_
=
h
2
g
0
(z
0
) h
3
g(z
0
)
h
2
2
.
Teniendo en cuenta la ec. (7.3) se obtiene la frmula anunciada.
7.3 Clculo de integrales denidas
En esta seccin utilizaremos la notacin
H =
z C : Imz > 0
_
. 1 =
z C : Imz 6 0
_
para denotar los semiplanos (cerrados) superior e inferior, respectivamente.
7.3.1
_
1
1
(.) d.
v Condiciones:
i) analtica en H \ {z
1
. . . . . z
n
], con z
k
H \ R (es decir, slo puede tener a lo sumo un
nmero nito de singularidades en H, todas ellas fuera del eje real )
ii) J > 1, 1 > 0 y M > 0 t.q.
[(z)[ <
M
[z[
]
. Vz H. [z[ > 1
v Resultado: 2i
n
kD1
Res( : z
k
) .
(Ntese que la suma est extendida a las singularidades de en el semiplano superior H.)
Demostracin. Sea ;
i
la semicircunferencia de radio r orientada positivamente, con r > 1 lo sucien-
temente grande para que todas las singularidades de en H estn en el interior de ;
i
(vase la g. 7.1).
r

r r
z
k
Figura 7.1: semicircunferencia ;
i
Al ser n(;
i
. z
k
) = 1 para k = 1. . . . . n, por el teorema de los residuos se tiene:
_
;
r
= 2i
n
kD1
Res( : z
k
) =
_
i
i
(.) d.
_

0
(re
i0
) ire
i0
d0. (7.4)
Como [(.)[ < M [.[
]
con > 1 para [.[ > 1, la primera integral del miembro derecho converge a
_
1
1
(.) d. cuando r o(criterio de comparacin). En cuanto a la segunda, su mdulo est acotado
por Mr
1]
, que tiende a 0 cuando r o. Haciendo r tender a innito en (7.4) se obtiene por tanto
el resultado anunciado.
Clculo de integrales denidas 107

v Notas:
i) Si es analtica en 1 \ {z
1
. . . . . z
n
], con z
k
1 \ R, y se cumple la condicin ii) de la pgina
anterior en el semiplano inferior 1, entonces
_
1
1
(.) d. = 2i
n
kD1
Res( : z
k
) .
El signo menos se debe a que en este hay que integrar a lo largo de la semicircunferencia de
centro 0 y radio r en el semiplano inferior recorrida en sentido horario, y por tanto n(;
i
. z
k
) = 1.
ii) Si = 1,Q, con 1 = 0 y Q polinomios y Q(.) = 0 para todo . R, entonces cumple las
condiciones anteriores (tanto en H como en 1) si y slo si deg Q > deg 1 2.
v Ejemplo:
_
1
1
. d.
(.
2
4. 13)
2
.
En este ejemplo
(z) =
z
(z
2
4z 13)
2

1(z)
Q(z)
.
con singularidades (polos dobles) en los ceros z = 2 3i R del denominador Q. Como deg Q =
4 > deg 1 2 = 3, se tiene
1
_
1
1
. d.
(.
2
4. 13)
2
= 2i Res( : 2 3i).
La funcin tiene un polo doble en z
0
2 3i, con residuo (cf. (7.1))
d
dz
_
(z z
0
)
2
(z)
_
;D;
0
=
d
dz
z
(z 2 3i)
2
;D2C3i
=
1
(6i)
2

2(2 3i)
(6i)
3
=
4
(6i)
3
=
4i
6
3
.
Por tanto 1 =
8
6
3
=
27
.
7.3.2 Integrales trigonomtricas:
_
2
0
1(cos 0. sen 0) d0
v Condiciones: 1(.. ,) funcin racional de dos variables cuyo denominador no se anula en la circun-
ferencia unidad .
2
,
2
= 1.
v Resultado: 2i
j;
k
j~1
Res( : z
k
) , siendo
(z) =
1
iz
1
_
1
2
_
z z
1
_
.
1
2i
_
z z
1
_
_
y denotando mediante z
k
las singularidades de (necesariamente en nmero nito, ya que es una
funcin racional).
Demostracin. La funcin (z) no tiene singularidades en la circunferencia unidad ;, ya que si 0
0. 2) entonces (e
i0
) = ie
i0
1(cos 0. sen 0). Parametrizando
_
;
en la forma usual (z = e
i0
) se
obtiene
_
;
=
_
2
0
1(cos 0. sen 0) d0 .
El resultado anunciado se sigue del teorema de los residuos, ya que al ser una funcin racional de z
tiene un nmero nito de singularidades en el interior de la circunferencia unidad.
v Ejemplo:
_
2
0
d0
(5 3 sen 0)
2
.
En este caso
(z) =
1
iz
_
5
3
2i
_
z
1
;
__
2
=
4iz
(3z
2
10iz 3)
2
=
4iz
9
_
z
i
3
_
2
(z 3i)
2
.
Por tanto, la integral vale
1 =
8
9
Res
_
g:
i
3
_
. con g(z) =
z
(z 3i)
2

1
_
z
i
3
_
2

h(z)
_
z
i
3
_
2
.
El residuo es igual a
h
0
(i,3) =
1
_
i
3
3i
_
2

2i
3
_
i
3
3i
_
3
=
i
3
3i
2i
3
_
i
3
3i
_
3
=

10i
3
S
3
3
3
i
3
=
10 3
2
8
3
.
Luego 1 =
10
8
2
=
5
32
.
7.3.3 Transformadas de Fourier:
_
1
1
e
iox
(.) d.
v Condiciones:
i) o > 0
ii) analtica en H \ {z
1
. . . . . z
n
], con z
k
H \ R (es decir, tiene a lo sumo un nmero nito de
singularidades en el semiplano superior, y ninguna de ellas pertenece al eje real)
iii) [(z)[ 0 cuando [z[ oen H, es decir
Vc > 0. J1 > 0 t.q. [z[ > 1. z H ==[(z)[ < c
v Resultado: 2i
n
kD1
Res
_
e
io;
(z): z
k
_
.
(De nuevo, la suma slo est extendida a las singularidades de en el semiplano superior H.)
Demostracin. Dado c > 0, sea ; el rectngulo de vrtices .
1
. .
2
. .
2
i,
1
. .
1
i,
1
(orientado posi-
tivamente), con .
1
. .
2
. ,
1
mayores que 1 y lo sucientemente grandes para que todas las singularidades
de en H estn en el interior de ; (g. 7.2).

x
2
x
1
x
1
+iy
1
x
2
+iy
1
z
k
Figura 7.2: rectngulo ;
Clculo de integrales denidas 109
Entonces
_
;
e
io;
(z) dz = 2i
n
kD1
Res
_
e
io;
(z): z
k
_
=
_
x
2
x
1
e
iox
(.) d. i
_
,
1
0
e
io(x
2
Ci,)
(.
2
i,) d,
_
x
2
x
1
e
io(xCi,
1
)
(. i,
1
) d. i
_
,
1
0
e
io(x
1
Ci,)
(.
1
i,) d,
1
1
1
2
1
3
1
4
.
Si ,
1
se escoge lo sucientemente grande para que (.
1
.
2
)e
o,
1
< 1,o se tiene:
[1
2
[ 6 c
_
,
1
0
e
o,
d, =
c
o
(1 e
o,
1
) <
c
o
.
[1
3
[ 6 c (.
1
.
2
) e
o,
1
<
c
o
.
[1
4
[ 6
c
o
(1 e
o,
1
) <
c
o
.
Por tanto

_
x
2
x
1
e
iox
(.) d. 2i
n
kD1
Res
_
e
io;
(z): z
k
_
<
3c
o
.
Como c > 0 es arbitrario, haciendo .
1
y .
2
tender a innito por separado se demuestra que la integral
converge al resultado deseado.
v Notas:
i) Si o < 0 y cumple condiciones anlogas a ii)iii) en el semiplano inferior 1 se prueba de forma
semejante que
_
1
1
e
iox
(.) d. = 2i
n
kD1
Res
_
e
io;
(z): z
k
_
.
donde z
1
. . . . . z
n
son las singularidades de en 1 (todas ellas con parte imaginaria negativa)
ii) = 1,Q, con 1 = 0 y Q polinomios y Q(.) = 0 para todo . R, cumple las condiciones
anteriores (tanto en H como en 1) si y slo si deg Q > deg 1 1.
v Ejemplo:
_
1
0
cos(o.)
.
4
.
2
1
d. =
1
2
_
1
1
cos(o.)
.
4
.
2
1
d. 1(o). o > 0 .
La integral es la parte real de
J(o) =
1
2
_
1
1
e
iox
.
4
.
2
1
d. .
De hecho, al ser sen(o.) impar ImJ(o) = 0, y por tanto 1(o) = J(o). Podemos aplicar el resul-
tado anterior a la funcin racional (z) =
1
2
(z
4
z
2
1)
1
en el semiplano superior ( no tiene
singularidades en el eje real). Las singularidades (polos) de se calculan resolviendo la ecuacin
z
4
z
2
1 = 0 ==z
2
=
1
2
(1 i
_
3) = e
2i
3
==z = e
i
3
.
Las nicas singularidades en el semiplano superior son
z
1
= e
i
3
=
1
2
(1 i
_
3). z
2
= e
i
3
=
1
2
(1 i
_
3) = z
1
.
El residuo de e
io;
(z) en cualquiera de estas singularidades z
k
se calcula fcilmente, ya que e
io;
(z) =
g(z),h(z) con g(z
k
) = 0, h(z
k
) = 0 y h
0
(z
k
) = 0:
Res( : z
k
) =
1
4
e
io;
k
z
k
(2z
2
k
1)
.
De esto se deduce que
1 =
i
2
_
e
io;
1
z
1
(2z
2
1
1)
e
io;
1
z
1
(2z
2
1
1)
_
= Im
_
e
io;
1
z
1
(2z
2
1
1)
_
Im.
Como
=
2e
i!
2
(1Ci
p
3)
(1 i
_
3) i
_
3
=
2e
!
2
(i
p
3)
_
3 (i
_
3)
=
i
_
3
2
_
3
e
!
2
(i
p
3)
.
se obtiene
1 = Im =
e
p
3
2
o
2
_
3
_
cos
o
2
_
3 sen
o
2
_
. o > 0 .
ndice alfabtico
abierto, 62
antiderivada, 75
arco, 71
opuesto, 72
simple, 75
argumento, 5456
determinacin, 55
principal, 55
autovalor, 27
autovector generalizado, 31
cadena, 72
cerrado, 62
compacto, 62
conexo, 8, 62
conjugacin compleja, 53
convergencia
normal, 89
puntual, 88
uniforme, 88
corona
circular, 96
de convergencia, 96
criterio
M de Weierstrass, 89
de la raz, 92
de Cauchy, 87
para la convergencia uniforme, 88
del cociente, 92
curva
C
1
a trozos, 71
integral, 3, 4, 7, 10
desigualdad fundamental, 74
desigualdades de Cauchy, 85
disco de convergencia, 91
ecuacin
asociada, 4
de Bernoulli, 1314
de Riccati, 1415
de variables separadas, 35
diferencial, 1
de primer orden, 2
en derivadas parciales, 1
ordinaria, 1
en forma normal, 1
exacta, 711
homognea, 67
lineal, 1113
completa, 11, 39
con coecientes constantes, 4449
de orden n, 3949
homognea, 11, 39
inhomognea, 11, 39
ecuaciones de CauchyRiemann, 6466
entorno, 62
perforado, 62
espacio
de soluciones, 2123, 40
exponencial compleja, 5758
factor integrante, 1011
forma polar, 55
frmula
de AbelLiouville, 2526, 41
de de Moivre, 56
de Hadamard, 92
integral de Cauchy, 81
para las derivadas, 83
funcin
analtica, 64
armnica, 68
conjugada, 68
entera, 85
homognea de grado cero, 6
funciones trigonomtricas complejas, 5859
homotopa, 77
independencia del camino, 75
ndice
de un autovalor, 28
de un punto respecto de una curva, 80
integral, 71
de tipo Cauchy, 81
respecto de la longitud de arco, 7374
isoclina, 7, 10
111
112 NDICE ALFABTICO
Leibniz, regla generalizada de, 49
lema
de Schwarz, 8
logaritmo complejo, 6061
determinacin, 60
principal, 60
mtodo
de variacin de constantes, 26
matriz
compaera, 39
de soluciones, 24
diagonalizable, 27
exponencial de una, 3537
fundamental, 23
cannica, 25
mtodo
de los coecientes indeterminados, 4749
de variacin de constantes, 12, 4243
mdulo, 53
multiplicidad
algebraica, 28
geomtrica, 28
parte principal, 99
polinomio
caracterstico, 27, 45
mnimo, 28
polo, 99101
potencias complejas, 6162
primitiva, 75, 78
principio de prolongacin analtica, 96
principio de superposicin lineal, 22, 40
radio de convergencia, 9193
races
cuadradas, 52
de la unidad, 57
n-simas, 56, 58
reduccin del orden, 4142
regin, 62
simplemente conexa, 78
regla de la cadena, 66
reparametrizacin, 72
residuo, 99
serie, 87
absolutamente convergente, 88
de Laurent, 96
de potencias, 90
geomtrica, 93
simplemente conexo, 8, 78
singularidad
aislada, 99
esencial, 99
evitable, 99
sistema
de ecuaciones diferenciales, 16
fundamental, 23, 40, 46
lineal, 21
con coecientes constantes, 2737
homogneo, 21, 2326
inhomogneo, 21, 2627
solucin, 1
compleja, 27
general, 2
de un sistema lineal, 26, 36
de una ecuacin lineal, 43
subespacio propio generalizado, 3132
sucesin, 87
de funciones, 88
teorema
de Abel, 91
de Cauchy, 77
generalizado, 79
de CauchyGoursat, 76
generalizado, 77
de CayleyHamilton, 28
de existencia de Peano, 17
de existencia y unicidad, 17
para un sistema lineal, 21
para una ecuacin lineal, 39
de la convergencia analtica, 90
de la deformacin, 79
de la funcin implcita, 3
de la funcin inversa, 67
de Laurent, 97
de Liouville, 85
de los residuos, 103
de Morera, 84
de Taylor, 93
fundamental del lgebra, 85
fundamental del Clculo, 74
transformada de Fourier, 108110
valores iniciales, problema de, 2, 16, 17
para un sistema lineal, 21, 27, 36
para una ecuacin lineal, 39
wronskiano, 2426, 4041

Apuntes Artemio Metodos I

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Apuntes Artemio Metodos I

Enviado por

Direitos autorais:

Formatos disponíveis

Manual de

. La ecuacin (1.11) no est denida para , = 0,

es una solucin de la ecuacin (1.37), denida en todo R. En cambio,

determina dos soluciones de dicha ecuacin, denidas en sendos intervalos

tambin determina dos soluciones de (1.37), denidas

claramente de rango 2, se tiene

la forma cannica de la matriz . Teniendo en cuenta que Y(0) =

= log [ sec t tan t [ .

La discusin anterior y el Lema 3.8 prueban por tanto el siguiente teorema:

Figura 4.1: Plano complejo.

L{0] (por la discontinuidad de

L {0]). En efecto, Log es la inversa

v La proposicin anterior garantiza la existencia de una armnica conjugada de u en cualquier disco

L {0]) (ya que Log es analtica en T, y Re Log z = u(z)).

b)|. Entonces se tiene:

5.1.2 Integral respecto de la longitud de arco

Teorema fundamental del Clculo. Sea J : C analtica en el abierto (con J

5.2 Teorema de Cauchy

Frmula integral de Cauchy y sus consecuencias 81

Si : C C es una funcin analtica en un abierto y z , podemos aplicar la frmula integral

5.3.3 Frmula integral de Cauchy para las derivadas

6.1.2 Sucesiones y series de funciones. Convergencia uniforme

< c. para todo z .

< c. para todo z .

Denicin 6.8. Diremos que una sucesin de funciones

Corolario 6.9. Sea

Corolario 6.18 (unicidad de las series de Laurent). Si

tendra una singularidad evitable un polo en z

Clculo de integrales denidas 107

Você também pode gostar