You are on page 1of 51

Ampliaci€n de c•lculo P•gina 1

Tema 12 La integral mÄltiple de Riemann


La integral doble
El concepto de integral se va a extender a funciones reales de varias variables, la cuales
est€n definidas y acotadas en intervalos de n dimensiones, y posteriormente a los llamados recintos
o regiones de integraci€n. Comenzamos por la m€s sencilla, la integral doble, o integral en dos
dimensiones. Un rect€ngulo A de  2 es el producto cartesiano de dos intervalos cerrados y acotados
[a,b] y [c,d] de .
A  a, b  c, d   ( x, y )   2 : x  [a, b], y  [c, d ]
Una partici•n P de A es una colecci•n de puntos P1  P2 en donde
P1  a  x0 , x1 , , xn 1 , xn  b P2  c  y0 , y1 , , yn1 , yn  d 
son particiones de los intervalos [a,b] y [c,d]. Estos puntos determinan una colecci•n de
subrect€ngulos Q, como si cuadricul€ramos el rect€ngulo A.
Tenemos una funci•n f definida y acotada en A por lo tanto la tenemos definida y acotada
en cada uno de los subrect€ngulos Qij. Qij  [ xi 1 , xi ]  [ y j 1 , y j ].
Si Mij es el supremo de la funci•n en cada una de los subrect€ngulos, mij en el ‚nfimo de la
funci•n en cada una de las particiones y el valor absoluto de Qij es el €rea del subrect€ngulo:
M ij  sup  f ( x, y ) : ( x, y )  Qij  mij  inf  f ( x, y ) : ( x, y )  Qij  Qij  ( xi  xi 1 )( yi  yi 1 )
Se llama suma superior de Riemann S ( f , P) a la suma de todos los supremos de todos los
subrect€ngulos y suma inferior de Riemann s ( f , P) a la suma de todos los ‚nfimos de todos los
subrect€ngulos. Si el valor absoluto del rect€ngulo A es el €rea del rect€ngulo, M es el supremo de
la funci•n en el rect€ngulo y m es el ‚nfimo de la funci•n en el rect€ngulo, se cumple
m A  s( f , P)  S ( f , P)  M A
Si ( A) representa la familia de particiones de A, los conjuntos de todas las sumas
superiores y de todas las sumas inferiores de Riemman est€n acotados por m A y M A . Se llama
integral inferior de Riemman de f en A, y se representa por  f al supremo de las sumas
A

inferiores, y se llama integral inferior de Riemman de f en A, y se representa por f al ‚nfimo de
A
las sumas superiores. Ambas existen siempre porque todos los conjuntos acotados de nƒmeros
reales poseen ‚nfimo y supremo.

Cuando  f   f se llama a este valor integral de f en A y se representa por
A A

 f o bien  f ( x, y )dxdy
A A
Esto se consigue cuando el nƒmero de particiones Qij es tan grande como se quiera. La
interpretaci•n geom„trica de la integral doble, al igual que la sencilla es un €rea, en la doble es un
volumen, delimitado por el rect€ngulo A y la superficie de la funci•n f ( x, y ).

La integral m•ltiple
El proceso para establecer el concepto de integral mƒltiple de una funci•n definida y acotada
en un rect€ngulo de  n es una repetici•n como la del proceso empleado para la doble. Aun
llam€ndolos rect€ngulos, en  3 seria un cubo, y as‚ hasta  n obteni„ndose equivalentes geom„tricos
de n dimensiones.
P•gina 2 Ampliaci€n de C•lculo

Sea f una funci€n real definida y acotada en un rect•ngulo A de  n . Se dice que f es



integrable en A si  f   f . A este valor se le llama integral de f en A y se representa por
A A

 A
f o bien   f ( x , x ,, x )dx dx  dx
A
1 2 n 1 2 n

La integral triple se suele representar por


 f ( x, y, z )dxdydz
A
Una condici•n necesaria y suficiente para que exista la integral de f en el rect€ngulo A es la
siguiente: f es integrable en A si y s€lo si para cada   0 existe una partici€n P de A tal que
S(f, P)  s(f, P)   .

Medida cero y contenido cero


Un subconjunto H de  n tiene medida cero si para todo   0 posee un recubrimiento
numerable de rect•ngulos {Qm} tales que

Q
m 1
m 
o
Como el volumen n-dimensional Q de un rect€ngulo es igual que el volumen Q de su

interior, los rect€ngulos del recubrimiento {Qm} pueden ser abiertos o cerrados.
La uni€n de una sucesi€n {Hm} de subconjuntos de medida cero tiene medida cero.
Un subconjunto H de  n tiene contenido cero si para cada   0 posee un recubrimiento
finito de rect•ngulos {Qm}, m = 1,2,..., p, tales que
P

Q
m 1
m 

Todo conjunto de contenido cero tiene medida cero. El reciproco no es cierto. Si el conjunto
es compacto ambos conceptos son equivalentes.
Si H es un conjunto compacto de medida cero, entonces H es de contenido cero.

Caracterizaci€n de las funciones integrables


Para establecer el teorema de Lebesgue o teorema de caracterizaci•n de las funciones
integrables es necesario conocer el concepto de oscilaci•n. La oscilaci•n mide la discontinuidad de
una funci•n en un punto. Consideremos un rect€ngulo A de  n y una funci•n acotada f de A en .
Sea a A, M(a,f,δ) y m(a,f,δ) el supremo y el ‚nfimo de f en la bola B(a,δ). Se llama
oscilaci€n de f en a y se representa por O(f,a) al l‚mite
O ( f , a)  lim  M (a, f ,  )  m(a, f ,  )
 0
La diferencia entre M (a, f ,  )  m(a, f ,  ) es mayor o igual que cero y decreciente, luego
existe el limite. La funci•n es continua en a si y s•lo si su oscilaci•n es cero.
Sea   0. El conjunto Lε  x  A : O(f,x)  ε es cerrado.
Sea   0. Si la oscilaci€n de f en cada punto x  A es inferior a ε, entonces existe una
partici€n P de A tal que
S ( f , P)  s( f , P )   A
Teorema de Lebesgue: f es integrable en A si y s€lo si su conjunto de puntos de
discontinuidad tiene medida cero.

Propiedades de la integral
En un rect€ngulo cerrado A de  n . las funciones de A en  integrables en A cumplen:
Ampliaci€n de c•lculo P•gina 3

1. El producto de un nƒmero λ por una funci•n integrable f es una funci€n integrable λf:
  f ( x)dx    f ( x)dx
A A

2. La suma de dos funciones integrables f y g es una funci€n integrable f + g:


 ( f ( x)  g ( x))dx   f ( x)dx   g ( x)dx
A A A

3. Si f y g son funciones integrable tales que f(x) ≤ g(x) para todo xA:
 f ( x)dx   g ( x)dx
A A

4. Si f es integrable, entonces el valor absoluto de f es integrable:


 f ( x)dx   f ( x) dx
A A

5. El producto de dos funciones integrables f y g es una funci€n integrable fg.

6. Si f y g son funciones integrables y g(x)  0 para todo xA, entonces la funci€n cociente
f/g es integrable si f/g es acotada.

Sea P una partici€n de A. La integral de f en A es igual a la suma de las integrales de f en


cada uno de los rect•ngulos Q de la partici€n P.
 f ( x)dx    f ( x)dx para Q  P
A Q

Teorema del valor medio para integrales: Sea f : A→  continua en A, existe un punto
x0 A tal que
 f ( x)dx  f ( xo ) A
A
P•gina 4 Ampliaci€n de C•lculo

Tema 13 IntegraciÅn sobre conjuntos acotados


Conjuntos medibles Jordan
Cada subconjunto M de  n tiene asociada una funci•n χM de  n en , llamada funci€n
caracter‚stica, definida por
1 si x  M
 M ( x)  
0 si x  M
χM es constante y continua en el interior y en el exterior de M, y es discontinua en su frontera ya que
en cualquier entorno de un punto de Fr(M) existen puntos en los que χM vale 0 y puntos en los que
vale 1.
Si M es un conjunto acotado, o sea, existe un rect€ngulo A donde est€ contenido M, la
funci•n χM es integrable en A si y solo si su conjunto de puntos de discontinuidad tiene medida cero,
o en otras palabras, si y solo si su frontera tiene medida cero. Como Fr(M) es un conjunto cerrado y
acotado (compacto) tener medida cero o contenido cero es equivalente.
Conjunto medible-Jordan: Sea M un subconjunto acotado de  n y A un rect•ngulo que lo
contiene. Se dice que M es medible-Jordan si existe la integral
 M A

y al valor de dicha integral se le llama contenido o media-Jordan de M y se representa por M .


En , o sea, si n = 1, el contenido o medida-Jordan se llama longitud, si n = 2 se llama €rea,
si n = 3 se llama volumen, y en general se llama volumen n-dimensional. La medida 2-dimensional
de una circunferencia es cero, la medida 3-dimensional se una superficie esf„rica es cero, la medida
3-dimensional de una esfera de radio r es 4πr3/3, pero su medida 4-dimensional es cero.
Si un conjunto M es medible-Jordan y   M  0, entonces el interior de M es vac‚o.
A

Sea H un subconjunto acotado de  y A un rect•ngulo que contiene a H. Son equivalentes


n

a) H es un conjunto medible-Jordan y H   χ H  0
A
b) Para cada   0 existe una colecci€n finita de rect•ngulos {Q1, Q2,..., Qp} que recubre a
H tales que
P

Q
i 1
i 

El concepto de medida cero no hay que confundirlo con el de medida-Jordan cero, que es
equivalente al de contenido cero y ambos conceptos no coinciden. Por ejemplo el conjunto M de los
nƒmeros racionales del intervalo [0,1] tiene medida cero por ser uni•n numerable de conjuntos de
1
medida cero, sin embargo M no es medible-Jordan ya que no existe la integral   H ( x )dx es decir,
0
no existe la medida-Jordan o contenido de M.
Teorema de caracterizaci€n de los conjuntos medibles-Jordan: Sea H un subconjunto
acotado de  n y A un rect•ngulo que contiene a H. El subconjunto H es medible-Jordan si y solo si
para cada   0 existe una partici€n P de A tal que
 Q   Q 
QL QL '

en donde L es la colecci€n de subrect•ngulos de P tales que Q  H  0 y L’ es la colecci€n de


subrect•ngulos de P tales que Q  H.

Integraci€n sobre conjuntos acotados


Partiendo del concepto de integral de una funci•n sobre un rect€ngulo, a continuaci•n
definimos la integraci•n sobre conjuntos acotados m€s generales. La existencia de la integral no
Ampliaci€n de c•lculo P•gina 5

s•lo depende de las propiedades de la funci•n, sino tambi„n de la naturaleza del conjunto. En el
caso de tratarse de un conjunto medible-Jordan, una consecuencia inmediata del teorema de
Lebesgue permite caracterizar la integrabilidad de la funci•n. Supondremos que las funciones est€n
definidas en todo  n considerando que toman el valor cero en los puntos que no pertenecen a su
dominio inicial.
Sea M un subconjunto acotado de  n , A un rect•ngulo que contiene a M y f : A  
acotada. Se dice que f es integrable sobre M si lo es la funci€n producto f M sobre A, en cuyo
caso se llama integral de f sobre M, y se representa por ∫M f, a la integral
M f   f M
A
En el caso de existir, la integral es independiente del rect€ngulo A considerado ya que χM
vale cero en los puntos que no pertenecen a M.
De acuerdo con el teorema de Lebesgue, f  M es integrable en A si y s•lo si su conjunto de
puntos de discontinuidad tiene medida cero.
Teorema de Lebesgue para conjuntos acotados: Sea M un subconjunto acotado medible-
Jordan de  n y f : M   acotada. f es integrable sobre M si y s€lo si su conjunto de puntos de
discontinuidad tiene medida cero.
El resultado anterior nos lleva a considerar como recintos o regiones de integraci€n a los
conjuntos medibles-Jordan, sin que ello presuponga la no existencia de la integral en los otros
casos. Las propiedades de la integral se cumplen en caso de sustituirse el rect€ngulo A por un
conjunto medible-Jordan M.

Recintos de integraci€n. Regiones proyectables


Un subconjunto acotado M de  n se dice que es un recinto de integraci€n si es medible-
Jordan.
Un primer ejemplo en integraci•n en el plano diferente a un rect€ngulo, son los recintos de
ordenadas. Sea f una funci•n real, no negativa, acotada e integrable Riemman en un intervalo [a,b]
de . El recinto de ordenadas de f
M  ( x, y )   2 : x  [a, b], 0  y  f ( x )
es un conjunto medible-Jordan de  2 . La grafica de una funci•n f integrable tiene medida cero y
los segmentos tambi„n, luego el recinto delimitado es un recinto de integraci•n. Tambi„n son
recintos de integraci•n los delimitados por funciones integrables. Esta situaci•n se puede
generalizar al espacio  n .
Sea Ω un subconjunto acotado medible-Jordan de  n y f:    integrable en Ω. La
gr•fica de f
Gr€f. f  (x,y)   n+1 : x  , y  f(x)
tiene medida-Jordan (n+1)-dimensional cero.
Como deducci•n inmediata: Sea Ω un subconjunto acotado medible-Jordan de  n y
f:    una funci€n no negativa, acotada e integrable en Ω. El recinto de ordenadas
H  ( x, y )   n1 : x  , 0  y  f ( x)
es medible-Jordan.
La situaci•n estudiada para recintos planos se traslada al espacio n-dimensional (n ≥ 2), y
cualquier recinto cuya frontera est„ formada por gr€ficas de funciones integrables es un recinto de
integraci•n. La clase de recintos de integraci•n mas frecuentes son los recintos proyectables. En
adelante supondremos todos los recintos limitados por graficas de funciones continuas.
Un recinto M decimos que es proyectable respecto al eje OX (al eje OY) si las rectas
paralelas al eje OY (al eje OX) que cortan a M determinan un ƒnico segmento o un punto.
A los recintos proyectables sobre el eje OX se les llama regiones planas de tipo 1.
A los recintos proyectables sobre el eje OY se les llama regiones planas de tipo 2.
P•gina 6 Ampliaci€n de C•lculo

A los recintos proyectables sobre los dos ejes se les llama regiones planas de tipo 3.
En general los recintos no son proyectables, pero en la mayor‚a de los casos se pueden
descomponer en un nƒmero finito de recintos proyectables. La integral sobre el recinto total es la
suma de las integrales sobre los recintos parciales. El caso de los recintos del espacio es an€logo a
los del plano. La proyecci•n se considera sobre cualquiera de los tres planos coordenados.
Un recinto M de  3 decimos que es proyectable respecto a un plano coordenado si las
rectas perpendiculares al plano que cortan a M determinan un solo segmento o un punto.
A los recintos proyectables sobre el plano XY, sobre el plano ZY, y sobre el plano XZ, se les
llama respectivamente regiones de tipo 1, 2 y 3. Si una regi•n es simult€neamente del tipo 1, 2 y 3
se dice que es de tipo 4.

Integraci€n reiterada. Teorema de Fubini


El problema de calcular integrales mƒltiples sobre un rect€ngulo A de  n , n  1, se reduce
al c€lculo de integrales simples sobre intervalos cerrados de . Sea f una funci•n positiva,
integrable en el rect€ngulo A  [a, b]  [c, d ], que define una porci•n de superficie z  f ( x, y ). La
integral de f sobre A es el volumen del cilindroide de base A limitado por la superficie. Por otra
parte, se puede calcular el volumen descomponiendo el cilindroide en bandas paralelas al plano yz y
sumando los volƒmenes de todas ellas.
La suma de los volƒmenes de todas las bandas sugiere que el volumen total venga dado por
la integral reiterada, la cual es, tomando bandas paralelas al plano yz.
b d
 dx  f ( x, y )dy
a c
Tomando bandas paralelas al plano xz tenemos
d b
 dy  f ( x, y )dx
c a
Teorema de integraci€n reiterada: Sea f integrable en A  [a, b]  [c, d]. Si para cada x de
[a,b] e y de [c,d] existen las integrales
d b
 f (x, y)dy,  f (x, y)dx
c a
entonces se cumple:
b d d b
 f (x, y)dxdy   dx  f (x, y)dy   dy  f (x, y)dx
A a c c a
Si en vez de un rect€ngulo se considera un recinto de integraci•n M de tipo 1, o sea,
proyectable sobre el eje OX.
M  ( x, y )   2 : h1 ( x )  y  h2 ( x ), x  [a, b]
entonces
b h2 ( x )
 f ( x, y )dxdy   dx  f ( x, y )dy
M a h1 ( x )

An€logamente si M es un recinto de tipo 2, o sea, proyectable en el eje OY.


M  ( x, y )   2 : g1 ( y )  x  g 2 ( y ), y  [c, d ]
entonces
d g2 ( y )
 f ( x, y )dxdy   dy  f ( x, y )dx
M c g1 ( y )

Al proceso anterior se le conoce como integraci€n reiterada y las integrales del segundo
miembro como integrales reiteradas.
En el teorema siguiente se supone una funci•n integrable f en un rect€ngulo A  B de
dimensi•n, n  m, sin exigir que la restricci•n f ( x0 , y ) sea integrable en B, tal como se hac‚a en el
teorema anterior.
Ampliaci€n de c•lculo P•gina 7

Teorema de Fubini: Sea A un rect•ngulo cerrado de  n , B un rect•ngulo cerrado de  m


y f : A  B   una funci€n integrable en A  B. Para cada punto x  A se define la funci€n
g x : B   por g x (y)  f (x, y). Si
 
F(x)   g x (y)dy   f (x, y)dy
B B

G(x) 
 B
g x (y)dy   f (x, y)dy
 B
entonces
 
AB f (x, y)dxdy  A F(x)dx  A  Bf (x, y)dy dx
 
AB f (x, y)dxdy  A G(x)dx A   Bf (x, y)dy dx
En caso de ser gx integrable en B para cada xA, se tiene F(x) = G(x), y por lo tanto
AB f (x, y)dxdy A  B f (x, y)dy dx
Si consideramos la funci•n g y : A   definida por g y ( x)  f ( x, y ), la conclusi•n es
an€loga con las integrales reiteradas en otro orden.
AB f ( x, y)dxdy  B  A f ( x, y )dx  dy
En el caso de un rect€ngulo A  [a1 , b1 ]  [a2 , b2 ]    [an , bn ] si las sucesivas funciones que
aparecen en las integrales reiteradas son integrables, aplicando repetidamente el teorema de Fubini
bn
f ( x , x ,  , x )dx dx  dx    b1 f ( x , x , , x )dx   dx
 1 2 n 1 2 n an   a1 1 2 n 1
  n
Si en vez de un rect€ngulo consideramos una regi•n M de  3 de tipo 1, 2 o 3, podemos
expresar los l‚mites de integraci•n como en el caso de recintos planos. Por ejemplo, si
M  ( x, y, z )   3 : x  [a, b], y1 ( x )  y  y2 ( x), z1 ( x, y )  z  z2 ( x, y )
M '  ( x, y, z )   3 : y  [c, d ], x1 ( y )  x  x2 ( y ), z1 ( x, y )  z  z2 ( x, y )
M ''  ( x, y , z )   3 : z  [ ,  ], x1 ( z )  x  x2 ( z ), y1 ( x, z )  y  y2 ( x, z )
resulta
b y2 ( x )
f ( x, y, z )dxdydz      z2 ( x , y ) f ( x, y , z )dz  dy  dx
M  a   y1 ( x )  z1 ( x , y )  
d
 x2 ( x ) z2 ( x, y ) 
M ' f ( x, y, z )dxdydz  c  x1 ( x)  z1 ( x, y ) f ( x, y, z)dz  dx  dy

f ( x, y , z ) dxdydz   x2 ( x )  y2 ( x , y ) f ( x, y, z )dy  dx  dz
M ''   x1 ( x)  y1 ( x, y )  
y del mismo modo con cualquier otro recinto de forma an€loga.
P•gina 8 Ampliaci€n de C•lculo

Tema 14 Cambio de variable y aplicaciones de la integral


Cambio de variable en la integral m•ltiple
En la integral de funciones de una variable, si g es un cambio de variable de clase uno en un
abierto A de , el intervalo [a,b] est€ contenido en A y f es una funci•n real integrable en el
intervalo  g (a), g (b) sabemos que se cumple:
g (b) b
 f ( x)dx   f ( g (t )) g '(t ) dt
g (a) a

Si consideramos un abierto A de  , un cambio de variable g de clase uno en A definido por


2

las ecuaciones x  x(u, v ), y  y (u , v). Si K es un subconjunto compacto medible-Jordan de A y


f : g ( K )   es integrable en g ( K ), entonces se cumple la siguiente formula de transformaci€n
de integrales dobles.
 f ( x, y)dxdy   f ( x(u, v), y(u, v)) J (u, v) dudv
g(K ) K

Esta expresi•n es an€loga a la de una variable. K y g(K) hacen el papel de los intervalos
[a,b] y [g(a), g(b)]. El valor absoluto del Jacobiano J(u,v) de g se corresponde con la derivada g’(t).
J (u , v)  0 para todo (u , v) de A, por ser g un cambio derivable y T  g ( K ) es un recinto de
integraci•n en el plano xy, pues g transforma conjuntos medibles-Jordan en conjuntos medibles-
Jordan.
Las demostraciones que se pueden realizar para dos variables son v€lidas para cualquier
dimensi•n n del espacio.
Teorema del cambio de variable en la integral m•ltiple: Sea A un abierto de  n y
g : A   n de clase uno en A, inyectiva y tal que det g '(u)  0 para todo u  A. Si K es un
subconjunto compacto medible-Jordan de A y f : g(K)   es integrable en g(K), entonces
f  g : K   es integrable en K y se verifica
 f (x)dx   f (g(u)) det g '(u) du
g(K) K
1
Si T  g ( K ) y h  g , podemos expresar la anterior formula de la siguiente manera
 f ( x )dx   f ( g (u )) det g '(u ) du
T h (T )

De acuerdo con el teorema de Sard si g : A   n es diferenciable con continuidad (de clase


uno) en A, el conjunto de puntos en los que se anula det g ' tiene medida cero. Por lo tanto,
podemos suprimir del enunciado del teorema la hip•tesis det g '(u)  0 para todo u  A.

Aplicaciones geomƒtricas de la integral


La medida de un subconjunto acotado medible-Jordan M es la integral sobre M de su
funci•n caracter‚stica. La integraci•n reiterada y las propiedades geom„tricas de algunos conjuntos
nos permiten, en ciertos casos, expresar las €reas y volƒmenes de manera sencilla.
„rea de un recinto plano: El •rea de un recinto plano M viene dado por
S   dxdy
M
siempre que dicha integral exista.
Si M es proyectable sobre el eje Ox y viene limitado por las curvas y  y1 ( x), y  y2 ( x)
definidas en el intervalo [a, b] tales que y2 ( x )  y1 ( x ) para todo x de [a, b], se tiene
b
S    y2 ( x )  y1 ( x) dx
a

En el caso particular de que y1 ( x)  0


Ampliaci€n de c•lculo P•gina 9

b
S   y2 ( x )dx
a

que es el €rea de ordenadas de y  y2 ( x) en [a, b].


An€logamente en el caso de que el recinto M sea proyectable sobre el eje Oy
d d
S    x2 ( y )  x1 ( y ) dy. Si x1 ( y )  0 entonces S   x2 ( y )dy
c c
Volumen de un cuerpo: El volumen de un recinto M del espacio tridimensional viene dado
por
V   dxdydz
M

Sea M un recinto proyectable sobre el plano xy, limitado por las superficies z  z1 ( x, y ),
z  z2 ( x, y ), definidas en el recinto M ' proyecci•n de M sobre el plano xy y tales que
z2 ( x, y )  z1 ( x, y )
Supongamos que M ' est€ limitado por las curvas y  y1 ( x), y  y2 ( x), definidas en el
intervalo [a, b] tales que y2 ( x)  y1 ( x). El volumen de M viene dado por
b y2 ( x )
V   dx 
a y1 ( x )
 z2 ( x, y)  z1 ( x, y) dy
En el caso de ser z1 ( x, y )  0, es decir, el plano xy, resulta
b y2 ( x )
V   dx  z2 ( x, y )dy
a y1 ( x )

Para otras proyecciones sobre otros planos coordenados se pueden obtener expresiones
similares.
Para facilitar los c€lculos, en el caso de un recinto plano con un eje de simetr‚a es suficiente
determinar el €rea de una de las partes sim„tricas. An€logamente, en el caso de un recinto
tridimensional con un plano de simetr‚a es suficiente determinar el volumen de una de las partes
sim„tricas.
Supongamos en un plano M un subconjunto M ' y una recta r tal que M ' est€ situado en
uno de los semiplanos determinados por r. Si M ' es un subconjunto medible-Jordan tratamos de
averiguar el volumen de la regi•n H engendrada al girar M ' alrededor de r. El plano M lo podemos
considerar en  3 y fijar un sistema de referencia de modo que M coincida con el plano xy y la recta
r con uno de los ejes de coordenadas.
Volumen de un cuerpo de revoluci€n: Si A ' es un subconjunto medible-Jordan de  2 , tal
que y  0 para todo (x, y)  A', el subconjunto H engendrado por la rotaci€n de A ' alrededor del
eje Ox es medible-Jordan y su volumen viene dado por la integral
V  2π  y dx dy donde f (x, y)  y
A'
En el caso de ser A ' un recinto de ordenadas definido por
A '  ( x, y )   2 : 0  y  h( x ), x  [a, b]
el volumen de H viene dado por
b
V    h( x )2 dx
a
En el caso de ser A ' un recinto definido por
A '  ( x, y )   2 : 0  g ( x)  y  h( x), x  [a, b]
El volumen de H viene dado por
b
V    [h( x) 2  g ( x )2 ]dx
a
De forma an€loga, si hubi„semos supuesto que x  0 para todo ( x, y ) de A ' y
consider€semos el giro alrededor del eje Oy, obtendr‚amos las formulas correspondientes
permutando las variables x e y.
P•gina 10 Ampliaci€n de C•lculo

Definici€n de baricentro: Sea M un subconjunto medible-Jordan de  n con medida M


distinta de cero. Se llama baricentro de M al punto b  (b1 , b 2 , , b n ) cuyas coordenadas vienen
dadas por
1
bi  x i dx i dx 2  dx n
M M
Si M es sim„trico respecto a un hiperplano H, el baricentro se encuentra en H. En el caso
particular de que M posea centro de simetr‚a, el baricentro coincide con „l.
Teorema de Guldin: Sea A ' un subconjunto medible-Jordan de  2 con medida distinta de
cero, tal que y  0 para todo (x, y)  A'. El volumen V del cuerpo M engendrado al girar A '
alrededor del eje Ox es igual al producto del •rea de A ' por la longitud de la circunferencia
descrita por su baricentro.
El problema se ha enunciado considerando que A ' est€ contenido en el plano xy y que y  0
para todos sus puntos, por lo tanto el eje de giro es el eje Ox. El resultado es v€lido cualquiera que
sea el plano en el que se encuentre A ', siempre que A ' est„ situado en uno de los dos semiplanos
determinados por el eje de giro.

Aplicaciones f‚sicas de la integral


Consideramos un conjunto de n masas m1, m2, ..., mn situadas cada una de ellas en los puntos
P1, P2, ..., Pn del espacio 3 . Si designamos por O el origen de coordenadas, el centro de gravedad
del sistema se define como el punto G determinado por
n

 m OP
k 1
k k
OG  n

m
k 1
k

Si las coordenadas de Pk son (xk, yk, zk) y las de G son (a, b, c), proyectando sobre los ejes la
igualdad anterior, obtenemos
1 n 1 n 1 n
a   mk xk ; b   mk yk ; c   mk z k
m k 1 m k 1 m k 1
n
en donde m   mk es la masa total del sistema.
k 1
Se llama momentos de inercia del sistema respecto a los ejes Ox, Oy, Oz a las expresiones:
n n n

 mk ( yk2  zk2 ) ;
k 1
 mk ( zk2  yk2 ) ;
k 1
 m (x
k 1
k
2
k  yk2 )

y productos de inercia a las expresiones


n n n

 mk yk2 zk2 ;
k 1
 mk zk2 yk2 ;
k 1
m x
k 1
k
2
k yk2

El potencial newtoniano del sistema respecto a un punto determinado P  ( ,  ,  ) viene


dado por
n
1
k 1 rk
mk

en donde rk  ( xk   )2  ( yk   )2  ( zk   ) 2
Supongamos ahora un s•lido cuya masa m se distribuye en una regi•n M del espacio 3 . Si
su densidad viene definida mediante la funci•n f ( x, y , z ), por analog‚a con el caso discreto
definimos su masa por
m   f ( x, y , z )dxdydz
M
Ampliaci€n de c•lculo P•gina 11

Las coordenadas del centro de gravedad (a, b, c) vienen dadas por


1 1 1
a   xf ( x, y , z )dxdydz ; b   yf ( x, y , z )dxdydz ; c   yf ( x, y , z )dxdydz
m M m M m M
Los momentos de inercia respecto a los ejes Ox, Oy, Oz vienen dadas por
I x   ( y 2  z 2 ) f ( x, y, z )dxdydz ; I y   ( z 2  x 2 ) f ( x, y, z )dxdydz
M M
2 2
I z   ( y  x ) f ( x, y , z )dxdydz
M
Y los productos de inercia por
 yz f ( x, y, z )dxdydz ;  zx f ( x, y, z )dxdydz ;
M M  M
yx f ( x, y, z )dxdydz
Si r es una recta cualquiera y d ( x, y, z ) es la distancia del punto ( x, y , z ) a r, el momento de
inercia del s€lido respecto a r viene dado por
I r   d ( x, y , z )2 f ( x, y , z )dxdydz
M
Se llama densidad media del s•lido al cociente entre la masa m y el volumen que ocupa. Por
lo tanto
m
D
 dxdydz M
Si la densidad del s•lido es constante, el centro de gravedad se suele denominar centroide y
se encuentra en sus elementos de simetr‚a, siempre que „stos existan. El centroide es el baricentro
de M. En general, si f ( x, y , z ) es una funci•n cualquiera definida en M, se llama valor medio Vm de
f en M a
 f ( x, y, z )dxdydz
Vm  M
 dxdydz M
Por ejemplo si f indica la temperatura de M, entonces Vm es la temperatura media.
El potencial newtoniano con relaci•n a un punto P  ( ,  ,  ) es la integral
1
M d ( x, y, z ) f ( x, y, z) dxdydz
en donde d ( x, y , z )  ( x   ) 2  ( y   ) 2  ( z   )2
P•gina 12 Ampliaci€n de C•lculo

Tema 15 Integral curvilÇnea


Integral curvil‚nea
Una de las generalizaciones de la integral de Riemann unidimensional se obtiene al sustituir
el intervalo de integraci•n por una curva γ de  n . Supondremos que γ es una curva regular a trozos
de  3 determinada por las ecuaciones param„tricas
x  1 (t ) y   2 (t ) z  3 (t ) t  I
correspondientes a una parametrizaci•n ( I , α ), y que C es un arco de curva definido en el
subintervalo [a, b] de I.
Definici€n de integral curvil‚nea de un campo vectorial: Sea f = (f1, f2, f3) un campo
vectorial definido en C. Se llama integral curvil‚nea o integral de l‚nea de f a lo largo de C y se
representa por  f  dα al valor
C
b
 f  dα   f1 (α (t))α'1 (t)dt  f 2 (α (t))α'2 (t)dt  f3 (α (t))α'3 (t)dt
C a
siempre que exista la integral del segundo miembro.
Segƒn el teorema de caracterizaci•n de funciones integrables, para que exista la integral de
l‚nea basta con que f sea continua salvo en un conjunto de puntos de medida nula.
Teniendo en cuenta las ecuaciones param„tricas de la curva, como
dx   '1 (t )dt dy   '2 (t )dt dz   '3 (t )dt
Una forma muy usual de representar la integral de l‚nea es
 f1 ( x, y, z )dx  f2 ( x, y, z )dy  f3 ( x, y, z )dz
C
Sean (I, α) y (J, β) dos representaciones de C
Si tienen la misma orientaci€n:  f  dα   f  dβ
C C

Si tienen orientaci€n contraria:  f  dα   f  dβ


C C
Como una integral no cambia su valor si se modifica la funci•n integrando en un nƒmero
finito de puntos, hemos supuesto C una curva regular a trozos, es decir, hemos supuesto que
α '(u )  0 salvo en un numero finito de puntos en los que α’ puede ser cero o no existir. Supongamos
ahora F un campo escalar y s la longitud de arco de origen a, recordemos que
t
s (u )   α '(u ) du ds  α '(u ) du
a
La integral curvil‚nea del campo escalar F a lo largo de C, determinada por α(t), t  [a, b],
como
b
 Fds   F (α (t )) α '(t ) dt
C a

α '(t )
Adem€s, dado un campo vectorial f, si t (t )  es el vector tangente unitario y
α '(t )
designamos por F (α(t ))  f (α(t ))  t (t ) la proyecci•n de f sobre la tangente (componente tangencial
de f), resulta
b b α '(t ) b
C f  dα  a f (α(t ))  α '(t )dt  a f (α(t ))  α '(t ) α '(t ) dt  a [f (α(t ))  t (t )] α '(t ) dt 
b
  F (α (t )) α '(t ) dt   Fds
a C
por consiguiente, la integral del campo vectorial f a lo largo de C es igual a la integral del campo
escalar componente tangencial de f.
Ampliaci€n de c•lculo P•gina 13

Teoremas fundamentales de la integraci€n de l‚nea


En determinadas condiciones, si un campo vectorial f es gradiente de un campo escalar F,
entonces el valor de la integral a lo largo de una curva C s•lo depende de los valores que toma el
campo F en los extremos de C. Este resultado se conoce con el nombre de segundo teorema
fundamental del c€lculo para integrales de l‚nea.
Supondremos A un abierto de  3 conexo por arcos regulares a trozos (dos puntos
cualesquiera de A se pueden unir por un arco regular a trozos contenido en A), f  ( f1 , f 2 , f 3 ) un
campo vectorial continuo definido en A, F un campo escalar de clase uno en A y los caminos
considerados en A regulares a trozos. En estas condiciones se cumplen los siguientes resultados.
Segundo teorema fundamental del c‡lculo para integrales de l‚nea: Si P y Q son dos
puntos cualesquiera de A y C una curva regular a trozos contenida en A, que une P y Q, definida
por (I, α), en donde I = [a, b], P = α(a), Q = α(b), se tiene
 F  dα  F (Q)  F ( P)
C
El teorema siguiente aborda una propiedad reciproca: si la integral de l‚nea de un campo
vectorial f depende ƒnicamente de los extremos de la curva, entonces f es un campo gradiente.
Primer teorema fundamental del c‡lculo para integrales de l‚nea: Si f es un campo
vectorial continuo en A, entonces existe un campo escalar F tal que F(x)  f (x) para todo x de
A.
Los teoremas anteriores constituyen una caracterizaci•n para que un campo vectorial sea un
gradiente en un conjunto abierto y conexo por arcos regulares a trozos. Cualquiera de estas
condiciones es equivalente a que la integral a lo largo de una curva cerrada sea nula.
Teorema de caracterizaci€n de un campo gradiente: Sea f  (f1 , f 2 , f3 ) un campo vectorial
continuo en A. Son equivalentes:
a) f es un gradiente.
b) La integral de l‚nea de f es independiente del camino.
c) La integral de l‚nea de f a lo largo de cualquier camino cerrado es cero.
En c€lculo diferencial obtuvimos una condici•n necesaria para que el campo vectorial
f  ( f1 , f 2 , f 3 ) fuese un gradiente. Si f de clase uno en un abierto de A es el gradiente de un campo
escalar F, es decir F  f , entonces F es de clase dos en A y cumple el teorema de igualdad de las
derivadas cruzadas, por lo tanto
Dij F (x)  D ji F (x) para todo i, j  1, 2,3
o lo que es equivalente
Di Fj (x)  D j Fi (x) para todo i, j  1, 2,3
Que expresa la condici•n necesaria de un gradiente. Sin embargo esta condici•n no es suficiente.
Teorema de caracterizaci€n de un gradiente en un abierto estrellado: Sea f  (f1 , f 2 , f3 )
de clase uno en un abierto estrellado A de 3 . La condici€n necesaria y suficiente para que f sea
un gradiente en A es que
Di Fj (x)  D j Fi (x) para todo i, j  1, 2,3 , i  j
El teorema anterior nos proporciona un m„todo para construir una funci€n potencial F a
partir de su gradiente f en un conjunto estrellado. Si A es un conjunto convexo, dos puntos pueden
unirse por una poligonal formada por segmentos paralelos a los ejes y podemos construir la funci•n
potencial utilizando integrales indefinidas. En el caso de dimensi•n dos. Sea
f ( x, y )  ( f1 ( x, y ), f 2 ( x, y )).
F
Como ( x, y )  f1 ( x, y ) integrando obtenemos que F ( x, y )   f1 ( x, y )dx  G ( y ) en donde
x
F
G es una funci•n de y. Derivando respecto de y y teniendo en cuenta que ( x, y )  f 2 ( x, y ) resulta
y
P•gina 14 Ampliaci€n de C•lculo

f1
f 2 ( x, y )  
( x, y )dx  G '( y ). Despejando G '( y ) e integrando
y
 f 
G ( y )   f 2 ( x, y )dy     1 ( x, y )dx  dy  k
 y 
Como k es una constante que puede tomar cualquier valor real existen infinitas funciones
potenciales de f.

El teorema de Green
Se denominan orientaciones de la curva a los dos sentidos del recorrido de una curva
simple cerrada y se corresponden con las dos orientaciones del plano af‚n. Definiremos el sentido
positivo el contrario a las agujas del reloj y el sentido negativo el de las agujas del reloj. Un
procedimiento anal‚tico para establecer la orientaci•n asociada a una determinada curva es el
siguiente: Consideremos una curva regular a trozos (I, α). Un vector v es un vector saliente de la
curva en un punto P = α(t) si existe un numero real λ > 0 y un entorno U del punto P + λv, tal que U
est€ contenido de la regi•n M limitada por la curva. Supongamos que v es un vector saliente en P
con distinta direcci•n que el vector tangente α’(t). La parametrizaci•n (I, α) determina la
orientaci•n positiva si {v, α’(t)} tiene la misma orientaci•n que la base can•nica {e1, e2} y
determina la negativa en caso contrario.
El teorema de Green permite expresar la integral de l‚nea de un campo vectorial f a lo largo
de una curva simple cerrada y plana, orientada positivamente, por medio de la integral doble de un
campo escalar en la regi•n M que limita la curva. Suponemos el campo f = (f1, f2) definido y de
clase uno en un abierto que contenga a la curva y a la regi•n que la limita. Recu„rdese que toda
curva simple cerrada es imagen de una circunferencia (o de un cuadrado) por medio de un
homeomorfismo.
Teorema de Green en un cuadrado: Sea D* el cuadrado [0,1]  [0,1], A un abierto que
contiene a D* y f = (f1,f2) un campo vectorial de clase uno en A. Si D es la frontera de D*
orientada positivamente, se cumple
 f1 (x, y)dx  f 2 (x, y)dy    D1f 2 (x, y)  D2f1 (x, y) dxdy
D D*
Teorema de Green: Sea M una regi€n limitada por una curva simple cerrada regular a
trozos C, A un abierto que contiene a M y f = (f1,f2) un campo vectorial de clase uno en A. Si C la
consideramos orientada positivamente, se cumple:
 f1 (x, y)dx  f 2 (x, y)dy    D1f 2 (x, y)  D2f1 (x, y) dxdy
C M

Un subconjunto A de  , abierto y conexo por arcos regulares a trozos, decimos que es


2

simplemente conexo, si la regi•n que limita cualquier curva simple cerrada contenida en A es un
subconjunto de A. La idea intuitiva de conexi•n simple corresponde a la de una regi•n sin agujeros.
Si suponemos que la frontera de A es una curva simple cerrada, sabemos que A es homeomorfo al
interior de un circulo. Si suponemos que A posee un agujero B, cuya frontera es una curva simple
cerrada, entonces A es homeomorfo al interior de una corona circular y decimos que A es
doblemente conexo (B puede ser un punto). En estas condiciones, decimos que A es m-conexo si
posee m – 1 agujeros y por lo tanto es homeomorfo al interior de un c‚rculo en el que se han
suprimido m – 1 c‚rculos.
Teorema de Green para regiones m•ltiplemente conexas: El teorema de Green puede
extenderse f€cilmente a regiones mƒltiplemente conexas. Consideremos una curva simple cerrada
regular a trozos C, que limita un recinto en cuyo interior se encuentran m curvas C1, C2, ... , Cm del
mismo tipo de C tales que cumplen:
i) La intersecci•n de dos cualquiera de ellas es vac‚a.
ii) La curva C no est€ contenida en el recinto limitado por la curva Ci, cualquiera que sean
i  j.
Ampliaci€n de c•lculo P•gina 15

Si M es el recinto limitado por las curvas C, C1, C2, ... , Cm y f = (f1,f2) es de clase uno en M,
entonces
m

 f1 ( x, y )dx  f 2 ( x, y )dy    f1 ( x, y )dx  f 2 ( x, y )dy   [ D1 f 2 ( x, y )  D2 f1 ( x, y )]dxdy


C C1 M
i 1
en donde las curvas se consideran orientadas positivamente.

Aplicaciones de la integral de l‚nea


El trabajo como integral de l‚nea: Supongamos que f es una fuerza definida en el abierto A
y C un camino regular a trozos, contenido en A y definido por una parametrizaci•n (I, α), I = [a, b].
El trabajo realizado por f para mover una part‚cula de masa m a lo largo de C se define por
b
T   f  dα   [ f1 (α (t )) '1 (t )  f 2 (α(t )) '2 (t )  f3 (α (t )) '3 (t )]dt
C a
Si f es un gradiente y F una funci•n potencial de f, como la integral de l‚nea no depende del
camino, el trabajo viene dado por
T  F (α (b))  F (α (a ))
Si t es el tiempo, α(t) la posici•n de la part‚cula, α’(t) su velocidad y α’’(t) su aceleraci•n, la
fuerza viene dada por f(α(t)) = m’α’’(t) y el trabajo realizado para mover la part‚cula desde α(a)
hasta α(b) viene dado por
b
b b 1  1 1
T   f (α (t ))α '(t )dt   mα ''(t )α '(t )dt   m α '(t )  α '(t )  mv (b)2  mv(a )2
a a
2 a 2 2
es decir, el trabajo realizado por la fuerza f para mover una part‚cula de masa m desde el punto
α(a) hasta el punto α(b) a lo largo de la curva C es igual a la variaci€n de la energ‚a cin†tica en el
intervalo [a, b].
como consecuencia, en caso de ser f el gradiente de F, se tiene
T  F (α(b))  F (α(a )) 
 1 1
1 2 1 2
  F (α (a))  mv(a )2   F (α(b))  mv(b) 2
T  mv(b)  mv(a )  2 2
2 2 
A  F ( x, y , z ) se le llama energ‚a potencial de la part‚cula en el punto, y a los campos de
fuerza que poseen funci•n potencial se les denomina en mec€nica campos conservativos. As‚ pues,
la igualdad anterior significa que: en un campo conservativo la suma de las energ‚as cin†tica y
potencial permanece constante, resultado que se conoce con el nombre de principio de
conservaci€n de la energ‚a.
El potencial de Newton: Sea r = (x, y, z) el vector posici•n de un punto en el espacio 3 .
El campo escalar
n
n
F ( x, y , z )   x 2  y 2  z 2   r
 
es funci•n potencial del campo vectorial
n 1
f ( x, y, z )  F ( x, y , z )  n r r
Sean M una masa situada en el origen y m una masa situada en el punto (x y, z). Por la ley de
Newton, la fuerza de atracci•n de ambas masas viene dada por
Mm
f ( x, y, z )   k 2 r
r
cuya funci•n potencial es
Mm
F ( x, y, z )   k
r
entonces el trabajo realizado por f para llevan la part‚cula m desde un punto P = (x1, y1, z1) hasta un
punto Q = (x2, y2, z2) es independiente del camino , y viene dado por
P•gina 16 Ampliaci€n de C•lculo

 1 1 
T  F ( x2 , y2 , z2 )  F ( x1 , y1 , z1 )  kmM   
 r2 r1 
Distribuci€n de masas: Supongamos un s•lido cuya masa se distribuye a lo largo de una
curva C, cuya densidad en un punto (x, y, z) es F(x, y, z). La masa m del s•lido es la integral de l‚nea
de F
m   F ( x, y, z )ds
C
su centro de gravedad (a, b, c)
1 1 1
a   xF ( x, y, z )ds b   yF ( x, y, z )ds c   zF ( x, y , z )ds
m C m C m C
En general, fijada una recta r, si d(x, y, z) es la distancia del punto (x, y, z) del s•lido a la
recta, se llama momento de orden n del s•lido respecto a la recta a la integral de l‚nea
I r   d ( x, y , z )n F ( x, y , z )ds
C
El momento de orden 2 es el momento de inercia respecto a r. An€logamente se definen los
momentos respecto a un punto y respecto a un plano.
La densidad media se define como el cociente entre la masa total y la longitud de la curva
Dm   F ( x, y, z )ds :  ds
C C
„rea de una regi€n plana: Sea M una regi•n plana limitada por una curva simple regular a
trozos C. El €rea S de M viene dada por
S   dxdy
M

Si consideramos un campo vectorial f  ( f1 , f 2 ) tal que


D1 f 2 ( x, y )  D2 f1 ( x, y )  1
Caracterizaci€n de un gradiente en un abierto simplemente conexo al plano: El teorema
de Green permite demostrar que la condici•n de igualdad de las derivadas cruzadas no s•lo es una
condici•n necesaria sino tambi„n suficiente para que un campo vectorial definido en un abierto
simplemente conexo del plano sea un gradiente.
Sea A un abierto simplemente conexo, un campo vectorial f = (f1, f2) de clase uno en A es
un gradiente si y solo si
D1f 2 (x, y)  D 2f1 (x, y) para todo (x, y)  A
Ampliaci€n de c•lculo P•gina 17

Tema 16 Integral de superficie


Integral de superficie
La integral de superficie puede considerarse, en cierto sentido, equivalente en dos
dimensiones a la integral curvil‚nea. Se define mediante una integral de Riemann doble y su
interpretaci•n f‚sica es la cantidad de flujo del campo de fuerzas que atraviesa la superficie.
Supondremos una superficie S definida por una parametrizaci•n global (Ω, r) regular,
excepto, quiz€, en un conjunto de medida nula, en donde Ω es un abierto, conexo por arcos
regulares a trozos, medible-Jordan, de  2 . Supondremos f = (f1, f2, f3) un campo vectorial y F un
campo escalar, ambos de clase C1 en S.
„rea de una superficie: Sean x  x(u, v ), y  y (u , v), z  z (u , v), (u , v)   las ecuaciones
param„tricas de S. Consideremos un rect€ngulo R contenido en Ω y una partici•n P de R. Sea
(ui , v j ) un punto cualquiera de la partici•n, l (ui ), l (v j ) las longitudes de los lados del subrect€ngulo
Cij  (ui , v j ), (ui 1 , v j ), (ui , v j 1 ), (ui 1 , v j 1 )
La imagen de Cij por medio de la aplicaci•n lineal Dr (ui , v j ) es un paralelogramo contenido
en el plano tangente a S en el punto r (ui , v j ). El €rea de este paralelogramo se aproxima al €rea de
la porci•n S imagen del subrect€ngulo Cij por medio de r.
Los vectores (ui 1  ui , 0), (0, v j 1  v j ), lados del subrect€ngulo del plano uv se transforman
por Dr (ui , v j ) en los vectores del plano tangente que determinan los lados del paralelogramo.
Dr (ui , v j )(ui 1  ui , 0)  ( xu (ui , v j ), yu (ui , v j ), zu (ui , v j ))(ui 1  ui )  ru (ui , v j )l (ui )
Dr (ui , v j )(0, vi 1  vi )  ( xv (ui , v j ), yv (ui , v j ), zv (ui , v j ))(vi 1  vi )  rv (ui , v j )l (v j )
y sus longitudes son
ru (ui , v j ) l (ui ) rv (ui , v j ) l (v j )
Si θ es el €ngulo que forman los vectores, al €rea del paralelogramo es
ru (ui , v j ) l (ui ) rv (ui , v j ) l (v j ) sen   N u (ui , v j ) l (ui )l (v j )
en donde Nu (ui , v j )  ru (ui , v j )  rv (ui , v j ) es un vector normal a la superficie en el punto, al cual se
denomina producto vectorial fundamental.
La suma de las €reas de todos los subrect€ngulos de la partici•n  N u (ui , v j ) l (ui )l (v j ) es
i, j

una suma de Riemann de la integral  N u (ui , v j ) dudv


R
Entonces el ‡rea de la superficie mediante la integral doble es
A( S )   N u (ui , v j ) l (ui )l (v j )

Definici€n de integral de superficie de un campo escalar: Se llama integral de superficie
del campo escalar F sobre la superficie S determinada por (Ω, r) a la integral
 FdS   F (r(u, v)) N(u, v) dudv
S 
Es necesario definir la orientaci•n de la superficie para definir la integral de superficie, para
as‚ indicar el sentido en que atraviesa a la superficie el flujo determinado por el campo vectorial.
Orientaci€n de una superficie: Consideremos un modelo en papel de una superficie
se”alaremos un punto P. En un entorno suficientemente peque”o de P distinguimos dos caras, cada
una de las cuales podemos pintar de un color diferente. Esto siempre es posible para cada punto y
decimos que una superficie siempre es localmente orientable. Sin embargo, al considerar la
superficie en su totalidad puede suceder que posea una sola cara. Es el caso de la banda de Mobius
que se construye haciendo coincidir los v„rtices opuestos del rect€ngulo. Si comenzamos a pintar la
superficie desde una zona, terminamos en el mismo sitio despu„s de haberla pintado completamente
P•gina 18 Ampliaci€n de C•lculo

sin abandonar la cara. Estas superficies de una sola cara decimos que son no orientables. Las
superficies de dos caras son orientables.
El plano tangente en un punto a una superficie regular divide al espacio  3 en dos
semiespacios. A uno de ellos se asignamos el signo + y decimos que el vector normal unitario que
se encuentra en ese semiespacio determina la cara positiva de la superficie. An€logamente ocurre
con la cara negativa.
La superficie se ha orientado en un punto P por medio de los vectores normales si se han
fijado los signos + y – de cada una de sus dos caras en P. Un sistema de orientaciones de la
superficie S por vectores normales unitarios es una aplicaci•n definida en S que a cada punto le
hace corresponder un elemento del conjunto ,  , es decir, que a cada punto le hace corresponder
una de las orientaciones. Un sistema de orientaciones es continuo en un punto P si existe un
entorno V de P en la superficie, tal que todos los puntos de V tienen asignado el mismo signo que P,
es decir, el signo es constante en V. La superficie es orientable por vectores normales, y decimos
que est€ orientada si tenemos determinado un sistema de orientaciones continuo.
Orientaci€n del borde de una superficie: Supongamos una superficie S de clase q  1
determinada por (Ω, r). Sea γ una curva de Jordan cerrada, regular a trozos, contenida en Ω y So la
porci•n de S imagen por r de la regi•n interior limitada por γ. Se llama borde de So a la curva C
imagen de γ por r. Si γ viene definida por la parametrizaci•n (I, α), entonces ( I , r  α) es una
parametrizaci•n de C.
La orientaci•n de γ determina en C, por medio de ( I , r  α) , una orientaci•n. Si m(t) es un
vector saliente de γ en el punto α(t) que no tiene la direcci•n del vector tangente, los vectores {m(t),
α’(t)} son una base del plano que define la orientaci•n de γ, y su imagen por medio de Dr(α(t))
Dr(α(t ))m(t ), Dr(α (t ))α '(t )
es una base del espacio tangente a la superficie en el punto P  r (α (t )). Por otro lado, si
consideramos la superficie orientada asignando la cara positiva al campo vectorial
r (u, v )  rv (u , v)
n(u , v)  u
ru (u, v )  rv (u , v)
el sistema ru (u , v)  rv (u, v ) es una base del espacio tangente a S en P  r (u , v) y determina una
orientaci•n en C, que se denomina orientaci€n inducida por S0.
La orientaci•n inducida por S0 en C decimos que es compatible con la orientaci•n de γ dada
por (I, α) si coincide con la de ( I , r  α ), es decir, si las dos bases determinan la misma orientaci•n,
o lo que es equivalente, si los vectores
Dr (α(t ))m(t )  Dr (α(t ))α '(t ) ru (u , v)  rv (u , v)
tiene el mismo sentido.
Intuitivamente, la orientaci•n de la superficie y el sentido del recorrido que induce en el
borde se corresponden con las reglas:
1. Regla del sacacorchos: Si el avance del sacacorchos determina la cara positiva de la
superficie, entonces el sentido del giro determina el sentido del borde.
2. Regla del camino: Si un observador est€ situado en la cara positiva de la superficie,
entonces el sentido inducido por la orientaci•n es el de un m•vil que al recorrer el borde pasa
delante del observador desde su derecha hacia su izquierda.
Definici€n de integral de superficie de un campo vectorial: Se llama integral de
superficie del campo vectorial f  (f1 , f 2 , f3 ) respecto a la cara de S determinada por n(u,v) a la
integral
S  (f  n)dS   f (r(u, v))  n(u, v) N(u, v) dudv

Como n(u , v)  N (u , v) / N (u , v) , tambi„n podemos escribir

 (f  n)dS  
S 
f (r (u , v))  N (u , v)dudv
Ampliaci€n de c•lculo P•gina 19

O bien
 (f  n)dS  
S 
f (r (u , v))  (ru (u, v)  rv (u , v))dudv
La integral de superficie, independientemente de la naturaleza f‚sica del campo f,
proporciona la cantidad de flujo que la componente normal f ’ n del campo f atraviesa la superficie
S. Es claro que dicha cantidad tendr€ un signo o el contrario segƒn la cara considerada.

Los campos rotacional y divergencia


A un campo vectorial f = (f1, f2, f3) definido y de clase q  1 en un abierto A de  3 le
podemos asociar otro campo vectorial, al que llamamos rotacional y designamos por rot f, y un
campo escalar, al que llamamos divergencia de f y designamos por div f.
Definici€n de rotacional y divergencia: Se llama rotacional de f = (f1, f2, f3) al campo
vectorial definido en A por
rot f  (D 2 f3  D3f 2 , D3f1  D1f3 , D1f 2  D 2f1 )
y se llama divergencia de f al campo escalar definido en A por
div f  D1f1  D 2f 2  D3f3
Consideremos en  3 la base can•nica {i, j, k}. El operador nabla   ( D1 , D2 , D3 ) que
utilizamos para denotar el gradiente de un campo escalar F
grad F  F  ( D1 F , D2 F , D3 F )
puede ser considerado, de una manera formal, como un vector, teniendo en cuenta que el producto
de una de sus componentes Di por una componente fj del campo vectorial f expresa la derivada Difj.
As‚ se facilitan y simplifican los c€lculos, aunque es necesaria tener siempre presente el convenio
anterior para evitar operaciones carentes de sentido.
Los campos rotacional y divergencia se pueden expresar mediante  de la siguiente forma:
i j k
rot f    f  D1 D2 D3
f1 f 2 f3
div f    f  ( D1 , D2 , D3 )  ( f1 , f 2 , f3 )
Propiedades elementales de los campos rotacional y divergencia: Sean f, g campos
vectoriales y F un campo escalar definidos en el abierto A, de clase suficientemente alta para
asegurar la existencia de las derivadas que intervienen.
1. rot(f  g)  rot f  rot g
2. div(f  g)  div f  div g
3. rot( Ff )  F rot f  F  f
4. div( Ff )  F div f  F  f
5. rot(F )  0
6. div(rot f )  0
Un campo vectorial se dice que es solenoidal si su divergencia es cero. Por lo tanto, un
campo es solenoidal en un intervalo abierto de  3 s‚ y s•lo si es el rotacional de otro campo.

El teorema de Stokes
El teorema de Stokes permite expresar la integral de superficie de un campo vectorial por
medio de una integral de l‚nea a lo largo de su borde. La demostraci•n se basa en el teorema de
Green. Sea S una superficie regular, de clase q ≥ 2, definida por la parametrizaci•n (Ω, r), en donde
Ω es una regi•n plana delimitada por una curva simple cerrada regular a trozos γ definida por (I, α)
y designemos por C el borde de S, cuya parametrizaci•n es (I, β) en donde β  r  α.
P•gina 20 Ampliaci€n de C•lculo

Teorema de Stokes: Supongamos que S es una superficie que cumple las condiciones
anteriores. Si f = (f1, f2, f3) es un campo vectorial de clase q ≥ 1 en un abierto A que contiene a S,
se tiene
 (rot f  n)dS   f  dβ
S C
en donde n determina la orientaci€n de S, y en C se considera el sentido inducido por dicha
orientaci€n.

El teorema de la divergencia
Consideremos una superficie cerrada S que limita a un cuerpo M de volumen V. El teorema
de la divergencia o de Gauss permite expresar la integral de superficie de un campo vectorial f por
medio de la integral de la divergencia de F sobre M.
 f  ndS   div f dxdydz
S M
Se trata de una extensi•n del teorema de Green en el sentido de que se puede encontrar la
integral de un cierto campo escalar en una regi•n acotada mediante la integral de un campo
vectorial sobre su frontera. An€logamente a las curvas planas cerradas, podemos utilizar vectores
salientes de S y considerar positiva la cara que determinan.
Supongamos un cuerpo M proyectable sobre los tres planos coordenados, tal que su frontera
S sea una superficie regular, y un campo vectorial de clase q ≥ 1, definido en un abierto que
contenga a M.
Teorema de la divergencia: Sea M un s€lido cuya frontera es una superficie regular
orientable S. Si n es el vector normal saliente y f = (f1, f2, f3) es un campo vectorial definido y de
clase q ≥ 1 en M, entonces
 div f dxdydz   f  ndS
M S
Supongamos ahora que M es una esfera de centro un punto P y radio r, cuyo volumen
representamos por V(r). Como f es continua, por el teorema del valor medio para integrales, existe
un punto Q = (x0, y0, z0) de la esfera tal que
 div f ( x, y, z )dxdydz  div f ( x0 , y0 , z0 )V (r )
M
De acuerdo con el teorema de la divergencia
 f  ndS  div f (Q)V (r )
S
ahora bien, si r tiende a 0, entonces el punto Q tiende a P, y resulta
1
div f ( P)  lim div f (Q)  lim f  ndS
Q P r  0 V ( r ) S

El cociente  f  ndS / V (r )
S
representa la cantidad de flujo por unidad de volumen que
atraviesa S en la direcci•n y sentido de la normal saliente n. La divergencia del campo en un punto
P puede interpretarse como el coeficiente de variaci•n (tasa) de la cantidad de flujo por unidad de
volumen de P hacia el exterior.
Ampliaci€n de c•lculo P•gina 21

Tema 17 Los nÄmeros complejos


Los n•meros complejos
El cuerpo conmutativo  de los nƒmeros complejos se construye para dar soluci•n a la ra‚z
cuadrada de −1 ampliando .
En el producto cartesiano    definimos las operaciones suma y producto de la manera
siguiente:
(a, b)  (c, d )  (a  c, b  d )
(a, b)  (c, d )  (ac  bd , ad  bc )
(  ,  ) es un grupo abeliano de elemento neutro (0, 0), en el que (−a, −b) es sim„trico de
(a, b).
El producto es distributivo de la suma.
(    0, 0 , ) es un grupo abeliano de elemento neutro (1, 0) y el elemento sim„trico de
 a b 
(a, b) es  2 2
, 2 
 a b a  b2 
Por lo tanto (  , , ) es un cuerpo conmutativo al que denominamos cuerpo de los
n•meros complejos y designamos por . Un numero complejo es un elemento de , o lo que es
equivalente, un par ordenado de nƒmeros reales.
Podemos considerar que  es un subconjunto de  y (,  , ) un subgrupo de (, , ). 
es una ampliaci•n de .
El numero complejo (0, 1) que se denomina i, es tal que i 2  1, pues
i 2  (0,1)  (0,1)  (1, 0)  1
Si z es el numero complejo (x, y), lo podemos denotar por z = x + iy. Esta forma de
representar un numero complejo de conoce como forma bin€mica. A x se le llama parte real de z
y se escribe x = Re z. A y se le llama parte imaginaria de z y se escribe y = Im z. Las operaciones
suma y producto de nƒmeros complejos se pueden efectuar como su fueran nƒmeros reales teniendo
en cuenta que i2 = −1.
Representaci€n geomƒtrica de los n•meros complejos: Fijando en el plano unos ejes
cartesianos, cada numero complejo z = x + iy tiene asociado un punto (x, y), de modo que existe una
correspondencia biun‚voca entre  y los puntos del plano. Esto nos permite hablar del plano
complejo y de los ejes real e imaginario. El numero z se puede representar mediante un vector de
origen el origen de coordenadas y extremo el punto (x, y), que denominamos afijo de z.
M€dulo y argumento: Otra forma de representar el numero complejo z = x + iy es mediante
las coordenadas polares del punto (x, y). A cada z le podemos asociar el nƒmero real positivo r  z
denominado m€dulo de z, y el €ngulo θ que forma el vector con la direcci•n positiva del eje Ox,
llamado argumento de z. Si θ = arg z, el par {r, θ} se denomina forma polar o modulo-
argumental del complejo z. Tambi„n se utiliza la notaci•n rθ.
Formas trigonomƒtrica y exponencial: Si z = x + iy y θ = arg z, del cambio a coordenadas
polares x = r cos θ, y = r sen θ, se tiene
z  r (cos   i sen  )
que se llama forma trigonomƒtrica de z.
Si definimos ei  cos   i sen  expresi•n que se conoce como f€rmula de Euler,
podemos representar a z por
z  rei
que se denomina forma exponencial de z.
Potencia n-ƒsima: El resultado de multiplicar dos nƒmeros complejos es un nƒmero
complejo cuyo m•dulo es el producto de los m•dulos y el argumento la suma de los argumentos. Si
consideramos un producto zn de n factores iguales z ={r, θ}, del producto obtenemos
P•gina 22 Ampliaci€n de C•lculo

z n  r n (cos n  i sen n )
denominada f€rmula de De Moivre o de la potencia n-„sima de un complejo.
Ra‚ces n-ƒsimas: Un nƒmero complejo w = {ρ, α} se llama ra‚z n-„sima de un numero
complejo z ={r, θ} si wn = z. Por consiguiente
 n (cos n  i sen n )  r (cos   i sen  )
y se cumple
  n r n   (m•dulo 2π)
  2k
  n r = k  0,1, 2, , n  1
n
con lo que existen n ra‚ces n-„simas del complejo z ≠ 0, cuyos afijos son los v„rtices de un pol‚gono
regular de n lados inscrito en una circunferencia de radio n r .

Topolog‚a del plano complejo


Cada complejo z representa un punto del plano y tiene asociado un vector.  es un espacio
vectorial de dimensi•n dos sobre el cuerpo de . Las ecuaciones y propiedades de las rectas y
curvas del plano las podemos expresar en t„rminos complejos. Si z = x + iy, consideramos su
sim„trico z  x  iy respecto al eje real, denominado conjugado de z. Las f•rmulas
zz zz
z  x  iy z  x  iy x  y
2 2i
permiten utilizar la notaci•n m€s adecuada. Tambi„n se emplean x = Re z e y = Im z.
El espacio mƒtrico (, d ) :El m•dulo z  x 2  y 2 es un aplicaci•n de  en   que
cumple las propiedades
a) z  0  z  0
b)  z   z para todo   , z  
c) z1  z2  z1  z 2 para todo z1 , z 2  
de una norma. La distancia d ( z1 , z2 )  z1  z2  ( x1  x2 )2  ( y1  y2 )2 coincide con la distancia
eucl‚dea de  2 . Los conceptos y sus propiedades se trasladan del plano real al plano complejo.
El plano complejo completado: Al plano complejo  le adjuntamos un punto, llamado
punto del infinito, que designamos por . La uni•n      se denomina plano complejo
completado o ampliado porque es posible extender la topolog‚a de  a  de modo que  sea un
espacio compacto. No es posible extender a  la suma y el producto definidos en  de manera que
 tenga estructura de cuerpo. Convenimos las siguientes operaciones por utilidad:
z      z  z      z   para todo z  
z    , z  0  , z    0, para todo z    0

Representaci€n esfƒrica: El punto del infinito no puede representarse por ningƒn punto del
plano eluc‚deo, pues cada uno de ellos est€ asociado a un elemento de . El plano complejo
ampliado admite una representaci•n geom„trica por medio de una esfera.
Consideremos en el plano complejo una esfera S tangente a este en el origen de coordenadas
y de di€metro uno. El punto P es el otro extremo de la diagonal que contiene al origen. A cada
punto z del plano complejo le hacemos corresponder el punto M intersecci•n de la esfera con la
recta que une P y z. Establecemos una correspondencia biun‚voca entre los puntos del plano y los
puntos de la esfera salvo P. El punto z se dice que es la proyecci€n estereogr‡fica de M. Si a P le
hacemos corresponder el punto del infinito, obtenemos una biyecci•n entre el plano complejo
ampliado  y la esfera S. A S se le denomina esfera de Riemann.
Ampliaci€n de c•lculo P•gina 23

Sucesiones y series de n•meros complejos


Los conceptos y propiedades de las sucesiones de un espacio m„trico son trasladables al
caso particular de las sucesiones (zn) de los nƒmeros complejos. De esta manera, una sucesi€n (zn)
converge a z si para todo   0, existe n 0   tal que si n ≥ n0 se tiene
d ( z n , z )  zn  z  
o lo que es lo mismo, la sucesi•n zn  z converge a 0. Adem€s, si zn  xn  iyn y z  x  iy, como
zn  z  ( xn , yn )  ( x, y )  ( xn  x )2  ( yn  y ) 2
la convergencia en  es equivalente a la convergencia en  2 , es decir
lim zn  lim( xn  iyn )  x  iy  lim( xn , yn )  ( x, y )
n  n  n 
en otras palabras (zn) converge a z si y solo si la sucesi•n de las partes reales (Re zn) = (xn) converge
a x y la sucesi•n de las partes imaginarias (Im zn) = (yn) converge a y. Podemos deducir las
siguientes propiedades:
Propiedades de las sucesiones
1. Si existe el l‚mite de (zn), entonces es ƒnico.
2. Toda sucesi€n convergente est• acotada.
3. Si (zn) converge a z, todas sus subsucesiones convergen a z.
4. Toda sucesi€n acotada tiene una subsucesi€n convergente.
5. Si lim z n  z, lim w n  w y λ  , entonces se cumple:
n  n 

a) lim (z n  w n )  lim z n  lim w n  z  w


n  n  n 

b) lim λz n  λ lim z n  λz
n  n 

c) lim (z n w n )  lim z n lim w n  zw


n  n  n 

Si adem•s w n  0 y w  0
z lim z n z
d) lim n  n  
n  w lim w n w
n
n 

Una sucesi€n (zn) es de Cauchy si para todo   0, existe n 0   tal que si n ≥ n0, m ≥ m0
se tiene
d ( z n , zm )  z n  z m  
(zn) es de Cauchy si y solo si (xn) e (yn) son de Cauchy. (zn) es convergente si y solo si es de Cauchy.
El espacio m„trico (, d ) es completo por serlo ( 2 , d ).
La sucesi€n (zn) se dice que es divergente o que su l‚mite es infinito si para todo k > 0 (tan
grande como queramos) existe n 0   tal que si n ≥ n0 se tiene z n  k . Esto es equivalente a decir
que el l‚mite de la sucesi•n de los m•dulos zn es +∞.
En resumen, una sucesi•n de nƒmeros complejos o bien es convergente, o bien divergente, o
bien no tiene l‚mite.
A una sucesi•n (zn) le podemos asociar la sucesi•n {Sn} de sus sumas parciales
n
S n   zk  z1  z 2    zn que denominamos serie y representamos por  zn . Si la sucesi•n {Sn}
k 1
es convergente, a su l‚mite le llamamos suma de la serie. Si {Sn} no tiene l‚mite o es divergente
decimos que la serie es divergente. La serie  zn converge si y solo si la serie de las partes reales y
la serie de las partes imaginarias (  xn y  yn ) son convergentes. Adem€s
 

 zn es convergente   zn es convergente cualquiera que sea p.


n 1 n p
P•gina 24 Ampliaci€n de C•lculo

Una condici•n necesaria para la convergencia de  zn es que lim zn  0, pues zn  Sn  S n 1


n 

y lim zn  lim Sn  lim S n 1  w  w  0


n  n  n 
Como {Sn}es convergente si y s•lo si es una sucesi•n de Cauchy, se tiene el siguiente
criterio de Cauchy para series:  z n es convergente si y s€lo si para todo   0, existe n 0   tal
que para todo p > n0, q > n0, q > p se tiene
q
Sq  Sp  z
np
n 

La serie  zn es absolutamente convergente si es convergente la serie  zn . Toda serie


absolutamente convergente es convergente.
Criterio de la ra‚z: Sea α  lim sup n z n , se cumple:
n

a) Si α < 1, la serie  z n es absolutamente convergente.


b) Si α > 1, la serie  z n es divergente.
Criterio del cociente: Sea zn ≠ 0 a partir de un determinado n 0  , se cumple:
z n+1
a) Si lim sup  1, la serie  z n es absolutamente convergente.
n zn
z n+1
b) Si lim sup  1, la serie  z n es divergente.
n zn

Funciones complejas
Una funci€n compleja de variable real es una aplicaci•n f de un subconjunto M de  en
. A partir de f se definen las funciones parte real u = Re f y parte imaginaria v = Im f de M en ,
f (t )  u (t )  iv(t )
De forma reciproca si conocemos dos funciones u y v de M en , la expresi•n anterior
determina una funci•n f de M en . Esta correspondencia biun‚voca f ↔ {u, v} permite trasladar a f
las definiciones y propiedades topol•gicas de las funciones de  en  2 . Ejemplo: si z0 = x0 + iy0 y
a es un punto de acumulaci•n de M tenemos que lim f (t )  z0  lim u (t )  x0 , lim v (t )  y0 o
t a t a t a

bien f es continua en un punto a de M si y s•lo si lo son u y v.


La derivada de f en a  M se representa por f '(a ) y se define por
f (t )  f ( a )
f '(a )  lim
t a ta
siempre que el l‚mite exista. Naturalmente, f es derivable en a si y s•lo si lo son u y v y se cumple
f '(a )  u '(a )  iv '(a)
Considerando la recta real ampliada y el plano complejo ampliado, las definiciones de l‚mite
en los puntos del infinito son an€logas a las establecidas para funciones de  en  2 .
La clase de funciones complejas de variable real son las curvas. Una curva x = x(t), y = y(t),
t  I en el plano real se determinan en el plano complejo por la ecuaci•n
z (t )  x(t )  iy (t ) t  I
y rec‚procamente. Como la integral compleja es una integral curvil‚nea, esto nos permite expresarla
en t„rminos de integrales reales.
Una funci€n compleja de variable compleja es una aplicaci•n f de un subconjunto A de 
en . Si z = x + iy es un elemento de A, su imagen por f es un numero complejo
f ( z )  u ( x, y )  iv( x, y )
Ampliaci€n de c•lculo P•gina 25

y f determina una par de funciones reales definidas en el subconjunto A de  2 , denominadas parte


real u = Re f y parte imaginaria v = Im f de f. Del mismo modo dos funciones reales {u, v} definidas
en A determinan una funci•n compleja f. Esta correspondencia biun‚voca f ↔ {u, v} permite
trasladar a f las definiciones y propiedades topol•gicas de las aplicaciones de  2 en  2 . Ejemplo:
si (a, b) es un punto de acumulaci•n de A, se tiene
lim f ( z )  z0  lim u ( x, y )  x0 , lim v ( x, y )  y0
z  a  ib ( x , y ) ( a ,b ) ( x , y ) ( a ,b )

o bien f es continua en a  bi  A s‚ y s•lo si u y v lo son en (a, b).


La estructura de cuerpo de  permite definir la derivada de f en un punto z0 mediante el
l‚mite
f ( z0 )  f ( z )
f '( z0 )  lim
z  z0 z  z0
formalmente an€loga con el caso real, aunque con comportamientos peculiares de la funci•n en un
punto.
Desde un punto de vista geom„trico, f transforma un punto P del plano xy en un punto P’ del
plano uv, de ah‚ que una funci•n compleja de variable compleja tambi„n de denomine
transformaci€n. A u = u(x, y), v = v(x, y) se les suele llamar ecuaciones de transformaci€n.
En algunos casos de funciones no inyectivas, cuya imagen es todo , resulta conveniente
encontrar regiones Ω en las que sean inyectivas y su imagen sea  salvo un nƒmero de semirrectas
de extremo el origen. De esta manera podemos utilizar la transformaci•n inversa. A las semirrectas
las denominamos cortes y a las regiones Ω regiones fundamentales.
Definici€n de regi€n fundamental: Sea A un subconjunto de  y f una funci€n de A en 
tal que f(A) = . Un subconjunto   A es una regi€n fundamental de f si se cumple:
a) Ω es un abierto conexo de  en el que f es inyectiva.
b) f(Ω) es todo  salvo un nƒmero finito de cortes.

Funciones elementales
Funci€n potencial de exponente n: La funci•n potencial de exponente n es la aplicaci•n de
f de  en  definida por f(z) = zn. Si (r, θ) son las coordenadas polares de z, entonces (rn, α) en
donde α = nθ (mod 2π), son las coordenadas polares de zn. Como consecuencia, la imagen por f de
cualquier sector angular del plano complejo de medida 2π/n es todo , ya que
0  θ  2π / n  0  nθ  2π  0    2π
Si suprimimos las semirrectas fronteras del sector, obtenemos una regi•n fundamental Ω, tal
que f(Ω) es todo  salvo un corte.
A partir de la funci•n f(z) = zn, se obtienen las funciones polin€micas P definidas en todo 
por
P( z )  a0  a1 z  a2 z 2    am z m
y las funciones racionales, cociente de polinomios P(z) y Q(z) definidas por
P( z)
h( z )  en todos los puntos de  en los que no se anule Q(z).
Q( z )
az  b
Si h( z )  a, b, c, d  , ad  bc  0 h se le llama transformaci€n bilineal
cz  d
fraccionaria.
Funci€n ra‚z n-ƒsima: La correspondencia que a cada nƒmero complejo le asocia sus n
ra‚ces n-„simas no es una aplicaci•n, pues cada z posee n im€genes diferentes. Esta clase de
correspondencias suelen denominarse funciones multiformes, y a cada una de sus formas rama.
Para que n z sea una aplicaci•n es necesario a”adir alguna condici•n que fije una ƒnica rama.
Sea la funci•n potencial f(z) = zn definida en una de sus regiones fundamentales Ω. Se llama
funci€n ra‚z n-ƒsima correspondiente a Ω a la funci•n inversa de f.
Fijada la regi•n fundamental Ω de f(z) = zn
P•gina 26 Ampliaci€n de C•lculo

 2 
   z  ,  0  arg z   0  
 n 
f es una biyecci•n entre Ω y   L, en donde
L  w   : w  0 o arg w  n 0 
cuya funci•n inversa f 1 es la funci•n g ( w)  n w definida de la siguiente manera: si el m•dulo y
argumento de z    L es {ρ, α}, entonces el m•dulo y argumento de g ( w)   es  n

ρ,  / n .
n
Resumiendo cualquiera que sea la regi•n fundamental Ω de f(z) = z , la rama
correspondiente de la ra‚z n-„sima est€ definida en todo  salvo en un corte L. Como consecuencia
g ( w)  n w queda determinada si se fija L y se establece el valor de g en un punto de   L, pues
de esta manera se determina tambi„n Ω.
Funci€n exponencial: Se llama funci•n exponencial a la aplicaci•n f de  en  definida
por
f ( z )  e z  e x iy  e x (cos y  i sen y )
de donde f ( z )  e z  e x Arg e z  y (mod 2 )
Una regi•n fundamental Ω de f es un abierto del plano limitado por dos rectas paralelas al
eje Ox que distan entre s‚ 2π. La imagen de Ω por f es todo  salvo el corte θ = a. f transforma la
recta x = r en la circunferencia de centro el origen y radio r, y transforma la recta y = y0 en la
semirrecta θ = y0.
Funciones trigonomƒtricas e hiperb€licas: A partir de la funci•n exponencial se definen
las funciones trigonomƒtricas complejas
eiz  e  iz eiz  e  iz
sen z  cos z 
2i 2
y las funciones hiperb€licas complejas
e z  e z e z  e z
senh z  cosh z 
2 2
para todo z  .
Se pueden deducir propiedades an€logas al caso real:
sen 2 z  cos 2 z  1
sen( z1  z2 )  sen z1 cos z2  cos z1 sen z2
cos( z1  z 2 )  cos z1 cos z2  sen z1 sen z2
cosh 2 z  senh 2 z  1
sen( z1  iz2 )  sen z1 cosh z2  i cos z1 senh z2
cos( z1  iz 2 )  cos z1 cosh z2  i sen z1 senh z2
Tanto sen z como cos z son funciones peri•dicas de periodo 2π. Adem€s para todo z   :
sen z  sen(  z ) cos z  cos( z )
Una regi•n fundamental de sen z es un abierto limitado por dos rectas
 
x   k , x   (k  1) , k   paralelas al eje Oy que disten entre si π.
2 2
En los puntos en los que no se anule el denominador se definen las funciones
sen z cos z senh z cosh z
tan z  cot z  tanh z  coth z 
cos z sen z cosh z senh z
Funci€n logaritmo: Dado un nƒmero complejo w ≠ 0, se llama logaritmo de w a cualquier
nƒmero complejo z = x + iy tal que ez = w. Entonces, si w  w ei
e x iy  w ei  e x  w , eiy  ei
Ampliaci€n de c•lculo P•gina 27

Por lo tanto x  ln w y  θ  2k k  0, 1, 2,


y cada w posee una cantidad numerables de logaritmos. Se determina as‚ una funci•n multiforme
ln w  x  i (  2k ) k  0, 1, 2,
La funci•n logaritmo se define siguiendo un proceso an€logo al utilizado para definir la
funci•n ra‚z n-„sima a partir de la funci•n potencial. Sea f(z) = ez definida en su regi•n fundamental
   z  x  iy : a  iy  a  2 
y sea La el corte que determina en el plano complejo w
L  w   : w  0 o bien arg w  a
La funci•n exponencial f de Ω en   La es biyecctiva. Se denomina funci€n logaritmo
correspondiente a Ω a la funci•n inversa de f. Cada nƒmero real a determina una regi•n
fundamental Ω de ez, y por lo tanto una funci•n logaritmo, estableciendo el valor del logaritmo en
un punto   L.
Cada una de las funciones logaritmo se denomina rama de la funci•n multiforme ln w. La
rama correspondiente a la regi•n fundamental
   z  x  iy :   y   
o lo que es equivalente, al corte L determinado por a = –π y k = 0, se llama rama principal del
logaritmo.
Superficies elementales de Riemann: Dada una funci•n multiforme f su restricci•n a una
regi•n fundamental determina una aplicaci•n. Otra forma de definir a partir de f una aplicaci•n es
considerar que su recorrido es una regi•n generalizada, que permite distinguir el mismo punto del
plano complejo tantas veces como puntos diferentes de  lo tengan como imagen. Estas regiones
se conocen como superficie de Riemann.
La construcci•n de la superficie de Riemann asociada a una funci•n elemental suele ser muy
sencilla. Se trata de hojas superpuestas que se unen en cortes del plano. Cada una de ellas es imagen
de una regi•n fundamental y el corte es imagen de la frontera comƒn de dos regiones.
Son puntos de ramificaci€n los puntos comunes a las hojas de la superficie y cualquier
curva que los rodee debe dar n vueltas alrededor de „l. En general no tienen por qu„ ser puntos de
enlace de todas las hojas. Si enlazan m hojas se dice que su orden es m–1.
P•gina 28 Ampliaci€n de C•lculo

Tema 18 DerivaciÅn e integraciÅn de funciones complejas


Funciones holomorfas
Sea f una funci•n compleja de variable compleja. Como en el caso real, la derivada de f en
un punto se define como el l‚mite del cociente de incrementos. Las propiedades elementales de la
derivada y sus demostraciones son tambi„n an€logas. Sin embargo las teor‚as de diferenciaci•n a
que dan lugar son diferentes. A diferencia a lo que sucede en el campo real, en donde la derivada de
una funci•n definida en un abierto ni siquiera tiene por qu„ ser continua, una funci•n compleja
derivable en un abierto A de  no solo es indefinidamente derivable en „l, sino que adem€s la serie
de potencias (serie de Taylor) asociada a f en un entorno de cada punto A converge a f. Es
equivalente: f es derivable en A y f es anal‚tica en A. Supondremos A un abierto de , z0 un punto
de A y f una funci•n de A en .
Definici€n de funci€n holomorfa: Se dice que f es derivable en z 0  A si existe y es finito
el l‚mite
f (z)  f (z 0 )
lim
z  z0 z  z0
Al valor de este l‚mite se le llama derivada de f en z0 y se representa por f’(z0). Se dice que f es
holomorfa en z0 si es derivable en cada punto de un entorno de z0.
Supongamos f derivable en z0. El limite que define la derivada vale f’(z0)
independientemente del camino por el que nos acerquemos a z0. Las condiciones de Cauchy-
Riemann son condiciones necesarias para la existencia de la derivada de f en z0 y son
u ( x0 , y0 ) v ( x0 , y0 )

x y
u ( x0 , y0 ) v( x0 , y0 )

y x
La diferenciabilidad de u y v en un punto no basta para que f sea derivable en „l, adem€s es
necesario que se cumplan las condiciones de Cauchy-Riemann. La relaci•n entre la holomorf‚a en
 y la diferenciabilidad en  2 viene dada por el siguiente resultado
Teorema: Las siguientes afirmaciones son equivalentes:
a) f es derivable en z0.
b) u y v son diferenciables y cumplen las condiciones de Cauchy-Riemann en (x0, y0).
El concepto de holomorf‚a de una funci•n se puede extender al punto del infinito mediante
la siguiente definici•n.
Definici€n de funci€n derivable en z = ∞: Sea A un abierto de  y z0 = ∞ un punto de A.
1
Una funci€n f de A en  es derivable en z0 = ∞ si la funci€n g(z)  f   es derivable en z = 0. A
z
g '(0) se le llama derivada de f en ∞.
Una funci•n φ de un abierto A de  2 en  decimos que es arm€nica en A si es de clase
dos en A y satisface la ecuaci€n de Laplace.
 2 ( x, y )  2 ( x, y )
 0
x 2 y 2

Propiedades de la derivada
Las propiedades elementales de las funciones derivables de variable real y sus
demostraciones se trasladan a las funciones de variable compleja sin m€s que cambiar la notaci•n.
Por ejemplo, si f es derivable en z0 su derivada es ƒnica, o bien, si f es derivable en z0 es continua
en z0.
Ampliaci€n de c•lculo P•gina 29

Reglas de c‡lculo: Sean f y g derivables en z0 y λ, μ dos nƒmeros complejos cualesquiera,


entonces se cumple:
a) λf + μg es derivable en z0 y se tiene
[λf  μg]'(z 0 )  λf '(z 0 )  μg '(z 0 )
b) fg es derivable en z0 y se tiene
[fg]'(z 0 )  f (z 0 )g '(z 0 )  f '(z 0 )g(z 0 )
c) Si g(z) ≠ 0 en un entorno de z0, entonces f/g est• definida en ese entorno, es derivable en
z0 y se tiene
f  g(z 0 )f '(z 0 )  f (z 0 )g '(z 0 )
 g  '(z 0 )  g(z 0 )2
 
Derivada de las funciones elementales: Suponemos que f es una funci•n definida en un
abierto A de  y que A es un subconjunto de una regi•n fundamental de f.
a) Una funci€n constante f(z) = k es derivable en cualquier punto de A y f’(z) = 0.
b) La funci€n identidad f(z) = z es derivable en A y f’(z) = 1 para todo z  A.
c) La funci€n potencial f(z) = zn es derivable en A y f’(z) = nzn–1 para todo z  A.
d) Una funci€n polin€mica f(z) = a0zn + a1zn–1 + ... +an–1z + an es derivable en cualquier
z  A y su derivada es f’(z) = na0zn–1 + (n–1)a1zn–2 + ... +an–1.
e) La funci€n exponencial f(z) = ez es derivable en todo A y f’(z) = ez.
f) Una funci€n logaritmo f(z) = ln z es derivable en todo A y f’(z) = 1/z.
1 1n
g) Una funci€n ra‚z n-†sima f(z) = n z es derivable en todo A y f '(z)  z n
n
Regla de l’H‹pital: Sean f y g dos funciones holomorfas en el entorno U de un punto z0, en
el que g(z) ≠ 0 para todo z ≠ z0. Si f(z0) = g(z0) = 0 y g’(z0) ≠ 0, entonces
f (z) f '(z 0 )
lim 
z  z 0 g(z) g '(z 0 )
Teorema de la funci€n inversa: Sea f holomorfa y con derivada f’ continua en el abierto A
de . Si z 0  A y f’(z0) ≠ 0, existe un entorno abierto U de z0 y un entorno abierto V de f(z0) tales
que la restricci€n de f a U es una biyecci€n entre U y V, f–1 es holomorfa en V y se verifica
1
(f 1 ) '(f (z 0 )) 
f '(z 0 )
Teorema (caracterizaci€n de una funci€n constante): Sea A un abierto conexo de . Una
funci€n f de A es constante si y solo si f’(z) = 0 para todo z  A.
La noci•n de funci•n primitiva juega un papel importante en el estudio de las funciones de
variable compleja. F es una funci•n primitiva de f en A si F es derivable en A y F’(z) = f(z) para
todo z  A. Al conjunto de todas las primitivas de f en A se le llama integral indefinida de f en A.

Integraci€n en el campo complejo


La integral definida en el campo complejo es una integral de l‚nea. Por lo tanto, interviene
un camino de integraci•n o arco de curva γ y una funci•n compleja f definida en un subconjunto de
 que contenga a γ. Supondremos los caminos de integraci•n
z (t )  x(t )  iy (t ) t  [ a, b]
regulares a trozos. Si f ( z )  u ( x, y )  iv( x, y ), se define la integral de f respecto de γ por
b
 f ( z )dz  
a
f ( z (t )) z '(t )dt
siempre que exista la integral, para lo cual es suficiente con que f(z(t)) sea continua en [a, b] salvo a
lo m€s en un conjunto de medida nula.
Las propiedades de las integrales curvil‚neas en el campo real son trasladables a la
integraci•n en el campo complejo. Las demostraciones son una nueva repetici•n de las realizadas
all‚. Suponemos funciones complejas definidas en un subconjunto A que contiene el camino.
P•gina 30 Ampliaci€n de C•lculo

Propiedades de la integral de compleja:


a) Linealidad. Sean f y g funciones integrables respecto al camino γ y sean λ y μ dos
nƒmeros complejos cualesquiera. La funci€n λf + μg es integrable respecto a γ y se cumple
 (λf (z)  μg(z))dz  λ  f (z)dz  μ  g(z)dz
  
b) Uni€n de caminos. Si γ = γ1 + γ2 y f es integrable respecto a γ1 y respecto a γ2, entonces f
es integrable respecto a γ y se cumple
 f (z)dz   f (z)dz   f (z)dz
 1 2

c) Camino opuesto. Si γ1 es el camino opuesto de γ2 (recorrido en sentido contrario) y f es


integrable respecto a γ1, entonces f es integrable respecto a γ2 y se cumple
 f (z)dz    f (z)dz
1 2

d) Cambio de par‡metro. Si γ1 y γ2 son caminos equivalentes (existe un homomorfismo u =


u(t) entre los intervalos en donde est€n definidas z1(t) y z2(u), tales que z1(t) = z2(u(t)) y f es
integrable respecto a γ1, entonces f es integrable respecto a γ2 y se cumple
 f (z)dz   f (z)dz
1 2

e) Acotaci€n. Si f es continua en γ

 f (z)dz   f (z) dz  ML( )


donde M = m€x {|f(z)|: zγ} y L(γ) es la longitud del arco γ.
An€logo al caso de funciones reales, si se conoce una primitiva F de f en A, la integral
respecto a γ se puede calcular por la diferencia de los valores que toma F en los extremos de γ.
Regla de Barrow: Sea A un abierto de , γ un camino regular a trozos contenido en A y
f : A   continua en A. Si F es una primitiva de f en A, se cumple
 f (z)dz  F(z2 )  F(z1 )

en donde z1 es el extremo inicial y z2 el extremo final. En particular si z1 = z2, es decir, si γ es
cerrado, entonces el valor de la integral es cero.
De acuerdo con la regla de Barrow, la existencia de una primitiva F de f implica que la
integral de f respecto a cualquier camino y que una dos puntos de A es independiente de γ. El
resultado rec‚proco tambi„n es cierto: si para cualquier par de puntos de A la integral de f es
independiente del camino que los une, entonces f posee una primitiva de F en A.
Teorema de la independencia del camino: Sea A un abierto conexo por arcos regulares a
trozos de  y f:A→  continua. Son equivalentes:
a) Existe una primitiva F de f en A.
b) La integral de f respecto a cualquier camino γ que una dos puntos de A es independiente
de γ.
c) La integral de f a lo largo de cualquier camino cerrado es nula.

El teorema de Cauchy-Goursat
La funci•n f(z) = 1/z, definida y holomorfa en A    0 , no posee primitiva en A. Vamos
a establecer una amplia clase de subconjuntos de  en los que una funci•n holomorfa posee
primitiva. Se trata de los conjuntos abiertos y estrellados y el resultado se conoce con el nombre de
teorema de Cauchy-Goursat: la integral a lo largo de un camino cerrado de una funci€n holomorfa
definida en un conjunto abierto y estrellado es nula. A partir de este resultado se demuestran la
mayor parte de las propiedades de las funciones holomorfas.
Un camino triangular T viene determinado por tres puntos ordenados y no alineados del
plano. Una funci•n compleja f definida en un abierto A de  cumple la propiedad triangular o
propiedad de Chasles en A si su integral respecto a cualquier camino triangular contenido en A es
nula. En un abierto estrellado una funci•n continua posee primitiva si y s•lo si cumple la propiedad
de Chasles.
Ampliaci€n de c•lculo P•gina 31

Teorema: Sea A un abierto estrellado de  y f una funci€n continua de A en . Son


equivalentes:
a) Existe una primitiva F de f en A.
b) f cumple la propiedad triangular en A.
Como consecuencia del teorema anterior y del teorema de la independencia del camino:
Corolario: Sea A un abierto estrellado y f una funci€n continua de A en . Son
equivalentes:
a) Existe una primitiva F de f en A.
b) La integral de f respecto a cualquier camino γ que una dos puntos de A es independiente
de γ.
c) La integral de f a lo largo de cualquier camino cerrado es nula.
d) f cumple la propiedad triangular en A.
Si f es holomorfa en un conjunto abierto estrellado, las cuatro condiciones anteriores no s•lo
son equivalentes sino que se satisfacen siempre. Para probarlo basta con demostrar que f cumple la
propiedad triangular.
Teorema de Cauchy-Goursat para tri‡ngulos: Sea T un camino triangular cualquiera
contenido en un abierto de A de , as‚ como el dominio triangular que determina T*. Sea f una
aplicaci€n de A en  continua en A y holomorfa en A – {ξ}, en donde ξ es un determinado punto
de A. Entonces
 f (z)dz  0
T
Del teorema de Cauchy-Goursat para tri€ngulos se deduce que una funci•n continua en un
abierto estrellado A y holomorfa en A – {ξ} cumple la propiedad triangular, ya que para cualquier
camino triangular T contenido en A, el conjunto T* tambi„n est€ contenido en A. Entonces, de
acuerdo con las equivalencias del corolario podemos obtener el siguiente teorema:
Teorema de Cauchy-Goursat para conjuntos estrellados: Sea A un abierto estrellado de
 y f : A   una funci€n continua en A y holomorfa en todo A salvo en un punto ξ de A. Si γ es
un camino cerrado regular a trozos contenido en A, entonces
 f (z)dz  0
γ
P•gina 32 Ampliaci€n de C•lculo

Tema 19 Funciones analÇticas


Series de potencias
Los conceptos y propiedades de las sucesiones y series de funciones reales se trasladan al
campo complejo sin ninguna dificultad.
Sea {fn} una sucesi€n de funciones complejas definidas en un subconjunto H de  y z0 un
punto de H. La sucesi•n {fn} converge en z0 si la sucesi•n de nƒmeros complejos {fn (z0)} es
convergente. Al subconjunto M de H en el que {fn} converge le llamamos campo de convergencia
puntual o sencillamente campo de convergencia de {fn}. Entonces, decimos que {fn} converge
simplemente o puntualmente a la funci•n f de M en  definida por
f ( z )  lim f n ( z )
n 

A f la denominamos l‚mite simple o puntual de {fn}. De acuerdo con la definici•n de l‚mite


de una sucesi•n de nƒmeros complejos, observemos que fijado ε > 0, para cada z  M , existe un
numero natural n0 tal que si n > n0 se tiene |fn(z) – f(z)| < ε. Es decir, en general, n0 depende de cada
z de M. Si fijado ε > 0, n0 fuese el mismo para todos los puntos de M, tenemos el concepto de
convergencia uniforme.
La sucesi•n {fn} converge uniformemente en M hacia una funci•n f de M en , si para todo
ε > 0, existe n0   tal que
n  n0  f n ( z )  f ( z )   para todo z  M
Como en el caso real, la funci•n l‚mite de una sucesi•n de funciones continuas
uniformemente convergente en M es continua en M.
A una sucesi•n {fn} le podemos asociar la sucesi•n de sus sumas parciales {Sn}
S1  f1 ; S2  f1  f 2 ;  ; S n  f1  f 2    f n ; 
a la que denominamos serie y representamos por Σ fn.
La serie Σ fn converge puntualmente, o sencillamente converge, a una funci•n F en M si lo
hace la sucesi•n {Sn}. En este caso F se llama suma de la serie y suele indicarse por

F ( z )   f n ( z)
n 1
Una condici•n necesaria para que Σ fn converja en M es que para todo z  M se cumpla
lim f n ( z )  0.
n 
La serie Σ fn converge absolutamente en M si la serie de nƒmeros positivos Σ| fn(z)|
converge para cada z de M. Una serie convergente pero no absolutamente convergente se dice que
es condicionalmente convergente. Una serie absolutamente convergente en un conjunto es
convergente en „l.
Σ fn converge uniformemente a F en M si lo hace la sucesi•n {Sn}. De acuerdo con esta
definici•n, el criterio de convergencia uniforme de Cauchy para las sucesiones se traslada a las
series:
Σ fn converge uniformemente en M, si para todo ε > 0 existe n 0   tal que
p, q  n0 y p  q  f q ( z )  f q 1 ( z )    f p ( z )   para todo z  M
Una serie de nƒmeros reales no negativos Σan es mayorante de la serie funcional Σ fn en M
si | fn(z)| ≤ an, para todo z  M y para todo n  . Del criterio de Cauchy se deduce el criterio de
Weierstrass:
Una condici€n suficiente para que Σ fn converja uniformemente en M es que posea en M
una serie mayorante que sea convergente.
Una serie de potencias tiene la forma
a0  a1 ( z  z0 )  a2 ( z  z0 )2    an ( z  z0 )n    an ( z  z0 ) n
Ampliaci€n de c•lculo P•gina 33

en donde z0 es un punto fijo de  y an son coeficientes constantes. Como las funciones


f n ( z )  an ( z  z0 )n est€n definidas en todo , apliquemos el criterio de la ra‚z para determinar el
campo de convergencia de la serie. Designamos por λ el l‚mite superior de n an y por r al 1/λ.
Entonces, se tiene:
n n z  z0
lim sup an z  z0  z  z0  
n  r
a) Si 0 < r < ∞, la serie converge para z  z0  r , ya que
z  z0 r
 1
r r
y diverge para z  z0  r , ya que
z  z0 r
 1
r r
b) Si r = 0, la serie, diverge para todo z ≠ z0, ya que
n n
lim sup an z  z0  
n 
c) Si r = ∞, la serie converge para todo z  , ya que
n n
lim sup an z  z0 0
n 

A r se le denomina radio de convergencia y a z  z0  r c‚rculo de convergencia de la


serie. El estudio anterior proporciona informaci•n sobre la convergencia de la serie en el interior y
en el exterior del c‚rculo, pero no sobre la circunferencia z  z0  r. Ahora bien, si la serie
converge absolutamente en un punto w de la circunferencia, podemos afirmar que converge en
todos sus puntos, pues para todo z  z0  r se cumple
n n
 an z  z0   an w  z0   an r n
Adem€s la serie converge uniformemente en cualquier c‚rculo cerrado de centro z0 y radio
  r , y como consecuencia converge uniformemente en cualquier compacto contenido en su
c‚rculo de convergencia.
Teorema de la convergencia uniforme: Una serie de potencias converge uniformemente
en cualquier c‚rculo cerrado contenido en su c‚rculo de convergencia y como consecuencia en
cualquier subconjunto compacto contenido en †l.
Teorema de la derivaci€n de una serie de potencias: La funci€n f suma de a n (z  z 0 ) n
en su c‚rculo de convergencia es holomorfa en dicho c‚rculo y su derivada viene dada por

f '(z)   na n (z  z 0 ) n 1
n 1
Definici€n de la serie de Taylor: Sea A un abierto de , f una funci€n compleja de clase
infinito en A y z0 un punto de A. Se llama serie de Taylor asociada a f en z0 a la serie de potencias

f n ) ( z0 )

n 0 n!
( z  z0 )

Si f es la funci•n suma de una serie de potencias an ( z  z0 )n terminamos de probar que es


indefinidamente derivable en su c‚rculo de convergencia. La serie de Taylor asociada a f en z0
coincide con la serie dada, pues derivando sucesivamente en

f ( z )   an ( z  z0 ) n
n 0
para el punto z = z0, se obtiene
P•gina 34 Ampliaci€n de C•lculo

f '( z0 )  a1 ; f ''( z0 )  2!a2 ;  ; f n ) ( z0 )  n !an ; 


Definici€n de funci€n anal‚tica: Una funci€n f de un abierto A de  en  es anal‚tica en
un punto z 0  A si existen una bola abierta B(z0, δ) y una serie de potencias centrada en z0 que
converge a f en la bola. f es anal‚tica en A si lo es en cada uno de sus puntos.
Con otras palabras, decimos que f es anal‚tica en A si es representable en serie de potencias
en un entorno de cada punto de A. De acuerdo con el teorema de derivaci•n de una serie de
potencias, una funci•n anal‚tica en A es de clase infinito (en particular holomorfa) en A, y como los
coeficientes de la serie de potencias en el entorno de z0 son los coeficientes de su serie de Taylor,
resulta que

1
f ( z )   f n ) ( z0 )( z  z0 )n
n 1 n !
en su c‚rculo de convergencia.
El rec‚proco tambi„n es cierto. Se trata del resultado esencial de la teor‚a de funciones
complejas: una funci•n holomorfa en un abierto es anal‚tica en „l. Para probarlo estableceremos
previamente una forma de representaci•n integral para funciones holomorfas, conocidas con el
nombre de f•rmula integral de Cauchy.

La f€rmula integral de Cauchy


Consideremos un abierto A de  y un camino (arco de curva) regular a trozos y contenido
en A. Como γ es un conjunto compacto, se alcanza la distancia a γ desde cualquier punto z  A   .
Teorema de representaci€n en series de potencias: Sea g una funci€n de A en  continua
en γ. La funci€n f de A – γ en  definida por
g ( w)
f ( z)   dw [1]
 w z

es anal‚tica en A – γ.
El complementario en  de un camino cerrado regular a trozos γ es una uni•n infinita de
subconjuntos abiertos, disjuntos dos a dos. Cada uno de ellos es una componente conexa de  – γ.
Recu„rdese que fijado un punto z de un conjunto, la componente conexa relativa a z es la uni•n de
todas las partes conexas del conjunto que contienen a z. Por lo tanto, cada componente conexa es el
mayor subconjunto conexo que contiene a un punto. Por ejemplo, si γ es simple,  – γ consta de
dos componentes conexas, una acotada y la otra no.
A cada punto z de  – γ le asociamos un nƒmero entero, denominado ‚ndice de z respecto a
γ. El ‚ndice es el mismo en todos los puntos de cada componente conexa de  – γ. Su significado
es el nƒmero de vueltas que γ da alrededor de z.
Definici€n de ‚ndice de un punto respecto de un camino cerrado: Se llama ‚ndice de
z    γ respecto a γ, y se representa por Indγ(z), al valor de la integral
1 dw
Ind γ (z)  
2πi γ w  z
Propiedades del ‚ndice:
a) Indγ(z) es un nƒmero entero para todo z   – γ.
b) El valor de Indγ es constante para todo z de la componente conexa no acotada de  – γ.
c) Indγ(z) = 0 para todo z de la componente conexa no acotada de  – γ.
F€rmula integral de Cauchy en un conjunto estrellado: Sea A un subconjunto abierto
estrellado de  y γ un camino cerrado regular a trozos contenido en A. Si z  A – γ y f es una
funci€n anal‚tica en A, entonces
1 f (w)
f (z) Ind γ (z)   dw
2πi γ w  z
Ampliaci€n de c•lculo P•gina 35

Propiedades de las funciones anal‚ticas


A es un abierto de , f de A en  una funci•n holomorfa en A. Para cualquier punto
arbitrario z0 de A y cualquier bola abierta B(z0, r) contenida en A, por la formula integral de Cauchy
se tiene
1 f (w)
f ( z)   dw
2πi w  z
γ

para todo z perteneciente al interior del c‚rculo limitado por la circunferencia y de radio ρ < r,
definida por
w(t )  z0  ρeit t  [0, 2π]
El teorema [1] asegura que f es anal‚tica en la bola B(z0, r), y por lo tanto en todo A.
Obtenemos as‚ el resultado m€s importante de la teor‚a.
Caracterizaci€n de las funciones anal‚ticas: Una funci€n compleja es anal‚tica en un
abierto A si y s€lo si es holomorfa en A.
Si en B(z0, r), la funci•n f viene definida por

f ( z )   an ( z  z0 ) n
n 0
en donde, de acuerdo con el teorema [1]
1 f ( w)
an   dw
2πi  ( w  z0 )n1
1 n)
y como an  f ( z0 ) resulta la expresi€n integral de las derivadas
n!
n! f ( w)
f n ) ( z0 )   dw
2πi  ( w  z0 )n 1
Desigualdades de Cauchy: Si la bola cerrada B*(z0, r) est• contenida en A y |f(z)| ≤ M
para todo z  B*(z0, r), entonces
M
an  n para cada n = 1, 2, 3, ...
r
Teorema de Morera: Este teorema es el reciproco del teorema de Cauchy-Goursat. Si f es
una funci€n continua y verifica la propiedad triangular en el abierto A, entonces f es anal‚tica en
A.
Teorema de Liouville: Si f es una funci€n holomorfa y acotada en todo , entonces f es
constante.
Una funci•n holomorfa en todo  se llama entera. De acuerdo con el teorema de Liouville
una funci•n entera o bien es constante o bien no est€ acotada.
Teorema fundamental del algebra: Todo polinomio complejo P(z) de grado mayor o igual
que uno posee al menos una ra‚z.
Si P(z) es un polinomio de grado n y z0 es una ra‚z, entonces P(z) = (z – z0)Q(z), en donde
Q(z) es un polinomio de grado n – 1, que a su vez posee una ra‚z. Aplicando n veces el proceso,
llegamos a que todo polinomio complejo de grado n posee exactamente n ra‚ces.
Propiedad de la medida: Si f es anal‚tica en A y la bola cerrada B*(z0, r) est• contenida en
A, se cumple
1 2
f ( z0 )   f ( z0  rei )d
2π 0
P•gina 36 Ampliaci€n de C•lculo

Tema 20 Ceros y singularidades aisladas


Ceros de una funci€n anal‚tica
Sea A un subconjunto de  y f una funci•n de A en . Un punto z0 de A se dice que es un
cero de f si f(z0) = 0. En caso de existir un entorno V de z0 tal que z0 es ƒnico de f en V  A,
entonces se dice que z0 es un cero aislado de f. Supongamos que A es abierto y f es anal‚tica en A,
existe una bola B(z0, r) en la que

f ( z )   an ( z  z0 ) n
n 0
si a0 = a1 = ... = am–1 = 0 y am ≠ 0, la serie anterior puede ponerse en la forma

f ( z )  ( z  z0 )m  an  m ( z  z0 )n
n 0
z0 es un cero aislado de f y se dice que es un cero de orden m. Si an = 0 para todo n  , la
funci•n f es id„nticamente nula en la bola y z0 no es un cero aislado. En este caso se dice que z0 es
un cero de orden infinito.
Como consecuencia, una funci•n anal‚tica en un abierto s•lo puede tener dos clases de
ceros: ceros aislados o bien ceros que posean un entorno en donde la funci•n sea id„nticamente
nula.
Una regi€n de  es un subconjunto abierto y conexo. Si A es la regi•n, f es anal‚tica en A y
el conjunto de ceros de f en A es no vac‚o, entonces o bien est€ formado por una cantidad finita o
numerable de ceros aislados, o bien coincide en todo A. En lo que sigue, salvo menci•n expresa,
supondremos que A es una regi•n de  y que f es anal‚tica en A.
Principio de los ceros: Sea M ≠ Φ el conjunto de los ceros de la funci€n anal‚tica f en la
regi€n A. Se cumple:
a) Si f(z) = 0 en el entorno de un punto z0 de M, entonces f es id†nticamente nula en A, es
decir, M = A.
b) Si f no es id†nticamente nula en el entorno de ningƒn punto de M, entonces M es un
conjunto finito o numerable.
Una consecuencia del teorema anterior es la siguiente.
Principio de identidad: Sean f y g dos funciones anal‚ticas en una regi€n A. Si {zn} es una
sucesi€n convergente de puntos de A tales que f(zn) = g(zn) para todo n  , entonces f y g son
id†nticas en A.
El nƒmero de ceros de una funci•n anal‚tica f(z) se puede calcular a partir de la derivada de
la funci•n logaritmo ln f(z). Obs„rvese que si z0 no es un cero de f en el abierto A, entonces existe
una bola B(z0, r) contenida en A tal que f(z) ≠ 0 en todos sus puntos, y se puede definir la funci•n
F(z) = ln f(z). Cualquiera que sea la determinaci•n elegida para F(z), su derivada en z0 viene dada
por
f '( z0 )
F '( z0 ) 
f ( z0 )
Supongamos que A es un abierto estrellado y f(z) posee en A un nƒmero finito de ceros
z1 , z 2 , , z n , en donde cada cero se ha repetido tantas veces como indica su orden de multiplicidad,
por lo tanto
f ( z )  ( z  z1 )( z  z2 ) ( z  z n ) g ( z )
siendo g(z) una funci•n anal‚tica que no se anula en ningƒn punto de A. Supongamos que γ es una
curva cerrada regular a trozos, contenida en A, que no pasa por ningƒn cero de f. En estas
condiciones se cumplen los siguientes resultados.
Proposici€n: Si z1, z2, ... , zp son los ceros de f en el recinto limitado por γ, en donde cada
cero se ha repetido tantas veces como indica su orden de multiplicidad, entonces se verifica
Ampliaci€n de c•lculo P•gina 37

p
1 f '(z)
 Ind (z )  2πi 
j1
γ j
γ f (z)
dz

Teorema del n•mero de ceros: Si γ es una curva simple, orientada positivamente, entonces
el nƒmero  de ceros de f en el recinto limitado por γ viene dado por
1 f '(z)
N  dz
2πi γ f (z)
El resultado anterior se puede expresar por el ‚ndice de z = 0 respecto a la curva Γ imagen de
γ mediante la funci•n f. Esta formulaci•n es el Principio del Argumento.
Principio del Argumento: Si γ es una curva simple orientada positivamente el nƒmero N
de ceros de f en el recinto limitado por γ es igual al ‚ndice del origen respecto de la curva Γ = f(γ).
El teorema siguiente expresa una condici•n para que dos funciones anal‚ticas posean en
mismo nƒmero de ceros en el recinto acotado por γ.
Teorema de Rouchƒ: Sean f y g dos funciones anal‚ticas en el abierto estrellado A, y sea γ
una curva simple cerrada regular a trozos orientada positivamente contenida en A, en la que f y g
no poseen ceros. Si se cumple
|f(z) – g(z)| < |g(z)| para todo z  γ
entonces f y g tienen el mismo nƒmero de ceros en el recinto limitado por γ.

El principio del m€dulo m‡ximo


El m•dulo de una funci•n anal‚tica no constante en una regi•n A alcanza su m€ximo sobre
un conjunto compacto K de A en la frontera de K y no en su interior. Este resultado es de gran
utilidad en el estudio geom„trico de las transformaciones. Su demostraci•n se hace por reducci•n al
absurdo y utiliza la propiedad de la medida.
Principio del m€dulo m‡ximo: Sea A una regi€n, K un subconjunto compacto de A y f una
funci€n anal‚tica y no constante en A. El m•ximo de |f(z)| se alcanza en la frontera de K y no en su
interior.
Una funci•n anal‚tica en la regi•n A, si es constante en una bola contenida en A, entonces es
constante en todo A. En efecto, si f(z) = c para todo z  B(a, r), f(z) – c es id„nticamente nula en
B(a, r) y por el principio de los ceros es id„nticamente nula en todo A.
Un enunciado m€s general del Principio del m€dulo m‡ximo: sea A una regi€n acotada y f
una funci€n anal‚tica en A y continua en la frontera de A. Entonces |f(z)| alcanza su m•ximo en
Fr(A).
Una de las ventajas de este ƒltimo enunciado es la posibilidad de encontrar una acotaci•n
mas fina de |f(z)| en A en caso de conocer su valor m€ximo en Fr(A).
Lema de Schawarz: Sea f una funci€n anal‚tica en la bola unidad B(0, 1) y continua en su
frontera. Si f(0) = 0 y |f(z)| ≤ 1 para todo z de la bola, entonces |f(z)| ≤ |z| y |f’(z)| ≤ 1.
Adem•s, si existe z0 ≠ 0 tal que |f(z0)| = |z0| o bien |f’(z0)| = 1, entonces existe un numero
complejo c de m€dulo uno de modo que f(z) = cz.
Un razonamiento an€logo al realizado para el m€ximo de |f(z)| se puede aplicar al m‚nimo.
En este caso se a”ade la hip•tesis evidente de no ser f nula en ningƒn punto de la regi•n A.
Principio del m€dulo m‚nimo: Sea A una regi€n, K un subconjunto compacto de A y f una
funci€n anal‚tica, no constante y distinta de cero en A. El m‚nimo de |f(z)| se alcanza en la frontera
de K y no en su interior.

Singularidades aisladas
Sea f una funci•n compleja definida en un abierto A de  salvo en un punto z0  A. El
punto z0 se dice que es una singularidad aislada de f si f es anal‚tica en un entorno de z0 excepto
en el propio z0.
Existen tres clases de singularidades aisladas segƒn que el l‚mite de la funci•n en el punto
sea finito, infinito o no exista. En todo lo que sigue z0 es una singularidad aislada de f.
P•gina 38 Ampliaci€n de C•lculo

Singularidades evitables: f tiene una singularidad evitable en z0 si lim f (z) existe y es


zz0

finito.
En el caso de una singularidad evitable la funci•n se puede extender a todo A definiendo
f ( z 0)  lim f ( z ). El siguiente teorema prueba que f es anal‚tica en z0.
z  z0

Caracterizaci€n de las singularidades evitables: Las siguientes afirmaciones son


equivalentes:
a) f tiene una singularidad evitable en z0.
b) f est• acotada en una bola abierta B(z0, r) – {z0}.
c) lim(z  z 0 )f (z)  0
zz0

d) f es anal‚tica en z0.
Polos: f tiene un polo en z0 si lim f (z)  .
zz0

Si f tiene un polo en z0, entonces la funci•n f tiene que ser distinta de cero en todos los
puntos de algƒn entorno de z0, pues en caso contrario el l‚mite de f en z0 no podr‚a ser infinito. Por
lo tanto, en una cierta bola B(z0, r) est€ definida la funci•n
1
g ( z)  si z ≠ z0
f ( z)
1
g ( z0 )  lim 0
z  z0 f ( z )

y z0 es un cero de g. Rec‚procamente, si la funci•n g se puede definir en una bola B(z0, r), entonces
z0 es un polo de f. El orden m del cero z0 de g se dice que es el orden del polo de z0 de f.
Caracterizaci€n de los polos: Las siguientes afirmaciones son equivalentes:
a) f posee un polo de orden m en z0.
b) lim (z  z 0 )m f (z)  w 0  0
zz0

c) Existen m nƒmeros complejos c1, c2, ..., cm y un nƒmero real r > 0 tales que para todo
z  B(z 0 , r)  z 0 
m
f ( z )   cn ( z  z0 ) n  h( z )
n 1
en donde cm ≠ 0 y h(z) es una funci€n anal‚tica en B(z0, r).
m
A la suma c n (z  z 0 ) n se la denomina parte singular de f.
n 1

Singularidades esenciales: f tiene una singularidad esencial en z0 si no existe lim f (z).


zz0

El comportamiento de la funci•n en un entorno de una singularidad esencial es muy


peculiar, su imagen es un subconjunto denso en todo . Este resultado es debido a Weierstrass y
caracteriza esta clase de singularidades.
Caracterizaci€n de las singularidades esenciales: f tiene una singularidad esencial en z0
si y solo si en cualquier entorno de z0 la funci€n f toma valores tan pr€ximos como se quiera a
cualquier complejo dado.
En otras palabras, z0 es una singularidad esencial de f si y s€lo si la imagen por f de
cualquier entorno reducido B(z0, r) – {z0} es densa en .
Sea A un abierto del plano complejo ampliado  que contiene al punto del infinito y sea f
una funci•n anal‚tica en A –{∞}. Es natural preguntarse si tiene sentido extender el concepto de
singularidad aislada a z = ∞.
Singularidades aisladas en el punto del infinito: Sea A un abierto de , z = ∞ un punto
de A y f una funci€n anal‚tica en A –{∞} en . Entonces:
Ampliaci€n de c•lculo P•gina 39

f tiene una singularidad evitable, un polo de orden m o una singularidad esencial en ∞ si la


funci€n g(z) = f(1/z) definida en A* = {z   : 1/z  A} tiene en z = 0 la misma clase de
singularidad.
Si z = ∞ es una singularidad aislada de f, es claro que se trata de una singularidad evitable,
polo o singularidad esencial si lim f ( z ) es finito, infinito o no existe.
z 
Una funci•n compleja se dice que es meromorfa en un abierto A de  si es anal‚tica en A
excepto en un nƒmero finito o numerable de polos que no poseen en A ningƒn punto de
acumulaci•n. Una combinaci•n lineal λf + μg, as‚ como el producto fg de dos funciones f y g
meromorfas en A es una funci•n meromorfa en A. Como consecuencia, el conjunto de las funciones
meromorfas con la suma y el producto constituyen un algebra conmutativa.
P•gina 40 Ampliaci€n de C•lculo

Tema 21 El teorema de Cauchy y sus aplicaciones


El teorema de Cauchy
El teorema y la formula de Cauchy en conjuntos abiertos estrellados, en particular en
conjuntos convexos, han permitido establecer la equivalencia entre funci•n holomorfa y funci•n
anal‚tica y estudiar propiedades locales (en el entorno de un punto). A es un abierto arbitrario de 
y γ es un camino cerrado regular a trozos contenido en A.
Lema: Sea f una funci€n anal‚tica en A y g la funci€n de A  A en  definida por
 f (w)  f ( z )
 si z  w
g ( z , w)   w z
 f '( z ) si z  w
entonces g es continua en A  A.
Teorema general de Cauchy: Sea A un abierto de  y γ un camino cerrado regular a
trozos contenido en A tal que Indγ(z) = 0 para todo z   – A. Si f es anal‚tica en A, entonces se
cumple:
1 f ( w)
a) f ( z ) Ind ( z )   dw para todo z    
2 i w  z

b)  f ( z )dz  0

Corolario: Sea A un abierto de  y γ1, γ2, ... γn caminos cerrados regulares a trozos
contenidos en A tales que Indγ1(z) + Indγ2(z) + ... + Indγn(z) = 0 para todo z   – A. Si f es
anal‚tica en A, entonces se cumple:
n n
1 n f (w)
a) f (z) Ind p ( z ) 
p 1

2πi p 1  p w  z
dw para todo z    
p 1
γp

n
b)  
p 1 p
f (z)dz  0

Series de Laurent
Una funci•n f anal‚tica en el interior de una corona circular r < |z – z0| < R puede
representarse mediante una serie de potencias de exponentes enteros

f ( z)   c (z  z )
n 0
n
   c2 ( z  z0 )2  c1 ( z  z0 ) 1  c0 ( z  z0 )1  c1 ( z  z0 )1  c2 ( z  z0 )2  
n 
denominada serie de Laurent de f en la corona. De esta manera se puede representar mediante una
serie de Laurent una funci•n anal‚tica en el entorno reducido de una singularidad aislada z0. La
forma de la serie determina la clase de singularidad de z0. Si z0 es evitable, entonces f es anal‚tica en
todo el c‚rculo |z – z0| < R, los t„rminos de exponente negativo son todos nulos y sus series de
Laurent y de Taylor coinciden. Si z0 es un polo o bien una singularidad aislada, la serie representa a
f en 0 < |z – z0| < R, y posee en el primer caso un numero finito y en el segundo caso un nƒmero
infinito de t„rminos de exponente negativo no nulos.
Teorema de la serie de Laurent: Sea f una funci€n anal‚tica en la corona circular
A = {z   : r < |z – z0| < R} 0≤r≤R≤∞
Entonces, f se representa en A de forma ƒnica por la serie

f (z)  c n (z  z 0 ) n
n 
en donde
1 f (w)
 cn  dw n  0, 1, 2,  
2πi (w  z 0 )n 1
γ

y γ es cualquier circunferencia de centro z0 y radio ρ, con r < ρ < R, orientada positivamente.


Ampliaci€n de c•lculo P•gina 41

Adem•s la serie converge uniformemente en cualquier corona circular compacta contenida


en A.

La serie  cn ( z  z0 )n se la denomina parte singular de f. Si f es anal‚tica en 0 < |z–z0| < R,
n 1
entonces z0 es una singularidad aislada de f y la forma de la parte singular caracteriza el tipo de
singularidad de z0.

Teorema de caracterizaci€n de las singularidades aisladas: Sea P(f )  c n (z  z 0 )n la
n 1
parte singular de la funci€n anal‚tica f en r < |z – z0| < R. Se cumple:
a) P(f) ≡ 0 si y s€lo si z0 es una singularidad evitable.
m
b) P(f) =  c n (z  z 0 ) n , c–m ≠ 0 s‚ y s€lo si z0 es un polo de orden m.
n 1
c) P(f) tiene un nƒmero infinito de t†rminos si y s€lo si z0 es una singularidad esencial.
Serie de Laurent en el punto del infinito: Recordando que f tiene en z = ∞ una
singularidad evitable, un polo o una singularidad esencial si g(z) = f(1/z) tiene respectivamente esa
clase de singularidad en z = 0. En caso de ser z = ∞ una singularidad aislada de f, entonces f es
anal‚tica en el exterior del c‚rculo |z| > r. Para cualquier R > r, la funci•n admite un desarrollo en
serie de Laurent en la corona r < |z| < R

n
f ( z)  cz
n 
n

la cual se denomina serie de Laurent de f en z = ∞. Aqu‚ la parte singular es la serie de potencias


positivas, de modo que z = ∞ es una singularidad evitable, un polo o una singularidad esencial si,
respectivamente, la serie no contiene potencias positivas, contiene un nƒmero finito o contiene un
nƒmero infinito. Por otra parte, si z = ∞ es una singularidad aislada de f y

1
g ( z )  f     bn z n
 z  n
es el desarrollo en serie de Laurent de g en la corona 0 < |z| < r, entonces bn = c-n.

El teorema de los residuos


Consideremos una funci•n anal‚tica f en un abierto A salvo en un punto z0 de A en el que
tiene una singularidad aislada. Sea γ un camino cerrado, regular a trozos, contenido en A, tal que z0
pertenece al interior del recinto limitado por γ e Indγ(z) = 0 para todo z   – A. La funci•n f
admite un desarrollo en serie de Laurent en un entorno reducido 0 < |z – z0| < R de z0. Como f – P(f)
tiene una singularidad evitable en z0 y se prolonga a una funci•n anal‚tica g en todo A, entonces, por
el teorema general de Cauchy
 g ( z )dz    f ( z )  P( f )( z ) dz  0
 
en donde f(z) = P(f)(z) + g(z). Por lo tanto

n
 f ( z )dz   P( f )( z )dz  
 
 c (z  z )
n 1
n 0

Como la serie es uniformemente convergente en el compacto γ, se puede integrar t„rmino a


t„rmino. Ahora bien, si n ≠ –1, la funci•n cn(z – z0) posee funci•n primitiva en A y su integral a lo
largo de γ es cero. Entonces, teniendo en cuenta la definici•n de Indγ(z0), resulta
1
 f ( z )dz   c1 ( z  z0 ) dz  c1 2 i Ind ( z0 )
 
Al nƒmero c–1 se le llama residuo de f en la singularidad aislada z0 y se representa por
Res(f,z0), con lo cual
 f ( z )dz  2 i Ind ( z0 ) Res( f , z0 )

P•gina 42 Ampliaci€n de C•lculo

La generalizaci•n de este resultado al caso de una funci•n anal‚tica que posea en A un


nƒmero arbitrario de singularidades aisladas se conoce con el nombre de teorema de los residuos.
La unicidad de la serie de Laurent asegura la unicidad del coeficiente c–1, es decir, del
residuo de f en z0. Adem€s, si γ es la circunferencia de centro z0 y radio R tal que 0 < |z – z0| ≤ R est€
contenida en A, resulta
 c 
  f ( z )  z 1z0  dz  0
de lo cual se deduce que c–1, es la ƒnica constante k que permite a la funci•n
k
g ( z)  f ( z) 
z  z0
tener primitiva en 0 < |z – z0| ≤ R.
Calculo del residuo de un polo: Sea f anal‚tica en 0 < |z – z0| ≤ R. Si z0 es un polo de orden
m de f, entonces
1
Res(f , z 0 )  lim Fm1) (z)
(m  1)! z0
z
m
en donde F(z) = (z – z0) f(z).
El resultado anterior permite el c€lculo del residuo en un polo sin necesidad de averiguar la
serie. Si z0 es una singularidad evitable, la funci•n se prolonga anal‚ticamente al punto z0 y su
residuo en „l es cero. Si z0 es una singularidad esencial se determina la serie para hallar el residuo.
Teorema de los residuos: Sea f una funci€n anal‚tica en un abierto A salvo en las
singularidades aisladas z1, z2, ... , zm. Si γ es un camino cerrado, regular a trozos, contenido en A,
que no pasa por ninguna de las singularidades aisladas y tal que Indγ(z) = 0 para todo z   – A,
entonces
m

 f ( z )dz  2 i  Res( f , z j ) Ind  ( z j )


j 1

Supongamos que f tiene una singularidad aislada en z = ∞ y su desarrollo en serie de Laurent


en un entorno de dicho punto viene dado por

n
f ( z)  cz
n 
n

se define el residuo de f en el punto del infinito por –c–1. La definici•n puede parecer artificial, sin
embargo no lo es. En efecto, si f posee una singularidad aislada en z0 ≠ ∞ el residuo c–1 de f en z0
viene dado por
1
c1  f ( z )dz
2 i 
en donde γ es una circunferencia recorrida en sentido positivo de centro z0 y radio r tal que no existe
otra singularidad aislada en la bola.
Sin embargo, en el caso de ∞ la integraci•n de f a lo largo de un camino circular γ modifica
el sentido positivo de γ, pues cualquier circunferencia divide a la esfera de Riemann en dos
casquetes de modo que el recorrido positivo para uno de ellos es el negativo para el otro. Por tanto
1
Res( f , )  f ( z )dz
2 i 
en donde –γ es una circunferencia de radio suficientemente grande para que en el entorno de ∞ que
determina no exista otra singularidad aislada, orientada negativamente respecto a su centro y
positivamente respecto a ∞. A diferencia de los otros puntos, si z = ∞ es una singularidad evitable,
Res(f, ∞) puede ser distinto de cero.
Una consecuencia muy ƒtil de la definici•n dada es el resultado siguiente, que permite
calcular de manera f€cil algunos tipos de integrales.
Proposici€n: Sea f anal‚tica en todo  salvo en un subconjunto finito M de singularidades
aisladas. Entonces
Ampliaci€n de c•lculo P•gina 43

 Res(f , w)  0
wM

Aplicaciones al c‡lculo de integrales


El teorema de los residuos proporciona un m„todo sencillo para calcular algunos tipos de
integrales reales sin necesidad de conocer una primitiva de la funci•n integrando. La conveniencia
de su aplicaci•n no tiene ninguna regla fija. El principio empleado es siempre el mismo, se trata de
prolongar la funci•n integrando al campo complejo y aplicar el teorema de los residuos. Sin
embargo, cada caso tiene un tratamiento diferente.
Primer lema de Jordan: Sea f una funci€n continua para valores suficientemente grandes
de |z| y sea γ(R) el arco de circunferencia z = Reiθ, α ≤ θ ≤ β. Si lim zf (z)  k, entonces
z

lim  f (z)dz  i(β  α)k


R  γ ( R )

Segundo lema de Jordan: Sea f una funci€n continua para valores suficientemente
pequeˆos de |z| y sea γ(r) el arco de circunferencia z = reiθ, α ≤ θ ≤ β. Si lim zf (z)  k, entonces
z

lim  f (z)dz  i(β  α)k


r 0 γ(r)

Tercer lema de Jordan: Sea f una funci€n continua para valores suficientemente grandes
de |z| y sea γ(R) la semicircunferencia z = Reiθ, 0 ≤ θ ≤ π. Si lim M€x  f (z) : z  R  0, entonces
R 
mzi
lim  e f (z)dz  0, m>0
R  γ(R)

Recordemos que la integral impropia de una funci•n real de variable real continua en el
intervalo x ≥ 0, se define por
 R
 f ( x)dx  lim  f ( x)dx
0 R  0
y si f es continua en toda la recta
 0 R2
 f ( x )dx  lim  f ( x )dx  lim  f ( x )dx
 R1   R1 R2  0

Las integrales impropias se dicen que son convergentes si los l‚mites que las definen son
convergentes. Al segundo tipo de integrales se le asocia tambi„n el valor principal de Cauchy,
definido por
 R
V .P. f ( x)dx  lim  f ( x )dx
 R   R
Si la integral es convergente, su valor principal de Cauchy existe y es igual al valor de la
integral. Sin embargo, el rec‚proco no se cumple: puede existir el valor principal y la integral no ser
convergente, por ejemplo, en el caso de f(x) = x el valor principal es cero y la integral de acuerdo
con la definici•n dada, no es convergente.
A continuaci•n aplicamos el teorema de los residuos a la resoluci•n de algunas clases de
integrales reales.

Integrales de la forma  F (senθ,cosθ)dθ : Se supone F una funci•n racional de sen θ,
0
cos θ cuyo denominador no se anula en la circunferencia de centro el origen y radio uno.
El cambio z = eiθ cuando θ recorre [0, 2π] transforma este intervalo en la circunferencia
unidad |z| = 1 recorrida en sentido positivo. Teniendo en cuenta que dz = izdθ
ei  e i 1  1
cos    z 
2 2 z
ei  e i 1  1
sen    z 
2i 2i  z
resulta J   f ( z )dz
z 1
P•gina 44 Ampliaci€n de C•lculo

1  1 1 1  1
y como f ( z)  F   z   ,  z  
 2i  z 2 z  z
no tiene singularidad en |z| = 1, se tiene
p
J  2 i  Res( f , zk )
k 1
en donde z1, z2, ... ,zp son las singularidades de f en la bola B(0, 1).

Integrales de la forma  f ( x )dx : Se supone f(z) meromorfa en el semiplano superior,


continua sobre el eje real y tal que lim zf ( z )  0.


z 
Sea la curva γ(R) formada por el segmento [–R, R] y la semicircunferencia  (R) de centro
el origen y radio R recorrida en sentido positivo. Tomando limites cuando R tiende a ∞ en la
igualdad
R
 f ( z )dz   f ( x)dx   f ( z )dz
( R) R C ( R)

como por el primer Lema de Jordan lim  f ( z )dz  0


R  C ( R )

resulta
p
R
lim  f ( x )dx  lim  f ( z )dz  2 i  Res( f , zk )
R   R R   ( R )
k 1
ya que los polos z1, z2, ... ,zp de f est€n todos contenidos en el interior del recinto limitado por una
curva γ(R) para R suficientemente grande. En conclusi•n
p

V .P. f ( x)dx  2 i  Res( f , zk )

k 1

Integrales de la forma  x  1 f ( x )dx , 0 < λ < 1: Se supone f meromorfa en todo , f no
0

tiene polos en el semieje real positivo, lim z  f ( z )  0 y lim z  f ( z )  0.


z  z 0

Como z = 0 es un punto de ramificaci•n de la funci•n F(z) = zλ–1f(z), consideramos


z  1  e ( 1)log z , en donde 0 < arg z < 2π. Sea el camino γ(ρ, R) uni•n de los caminos γ1, γ2, γ3 y γ4,
siendo γ1 y γ3 arcos de circunferencias de centro el origen y radios R y ρ, la primera orientada
positivamente y la segunda negativamente, y siendo γ2 y γ4 segmentos iguales paralelos al semieje
x > 0 recorridos en sentido contrario. Resulta
4

 z  1 f ( z )dz    z  1 f ( z )dz
k
k 1
teniendo en cuenta las hip•tesis y los dos primeros lemas de Jordan se cumple
lim  z  1 f ( z )dz  0 lim  z  1 f ( z )dz  0
R   1 ( R )  0  3 (  )

Por otra parte, cuando ρ tiende a 0 y R tiende a ∞, los segmentos γ2 y γ4 tienden al semieje
x > 0, entonces
si z   2 lim arg z  0  lim z  1  x  1
 0  0
R  R 

si z   4 lim arg z  2  lim z  1  x  1e 2 i (  1)


 0  0
R  R 

Como consecuencia, haciendo tender ρ a 0 y R a ∞, resulta



lim  z  1 f ( z )dz  1  e 2 i (  1)   x  1 f ( x)dx
 0  (  ,R ) 0
R 
Ampliaci€n de c•lculo P•gina 45

p
 1
pero lim  z f ( z )dz  2 i  Res( F , z k ) en donde z1, z2, ... ,zp son los polos de f, que est€n
 0  (  , R )
R  k 1

todos contenidos en el interior del recinto limitado por la curva γ(ρ, R) para ρ suficientemente
peque”o y R suficientemente grande. En conclusi•n
p

 1 2 i
0 x f ( x ) dx   Res( F , zk )
1  e 2 i (  1) k 1

Integrales de la forma  f ( x )dx log xdx: Se supone f meromorfa en todo , f no tiene
0

polos en el semiejes real positivo, lim zf ( z )(log z ) 2  0 y lim zf ( z )(log z ) 2  0.


z  z 0
2
Consideremos la funci•n F(z) = f(z)(log z) en donde la determinaci•n de log z es 0 < arg z <
< 2π. Sea el camino γ(ρ, R) el del caso anterior. An€logamente
lim  f ( z )(log z ) 2 dz  0 lim  f ( z )(log z )2 dz  0
R   1 ( R )  0  3 (  )

Teniendo en cuenta que (log x – 2πi) = (log x)2 – 4πi log x + (2πi)2, se cumple la igualdad
2

   
 f ( x)(log x )2 dx   f ( x )(log x  2 i) 2 dx  4 i  f ( x) log x  (2 i )2 dx  f ( x )dx
0 0 0 0
p
como lim  f ( z )(log z ) 2 dz  2 i  Res( F , zk ) en donde z1, z2, ... ,zp son los polos de f, resulta
 0  (  , R )
R  k 1

despu„s de dividir por 2πi y sustituir en la igualdad


p
 
2 f ( x ) log xdx  2 i  f ( x)dx   Res( F , z k )
0 0
k 1
Identificando las partes reales se tiene
 1  p 
 f ( x) log xdx  Re  Res( F , zk ) 
0 2  k 1 

Integrales de la forma  e mxi f ( x )dx, m > 0: Se supone f meromorfa en el plano, f no


contiene polos en el eje real y lim Max  f ( z )  z  R  0


z 

Consideremos la funci•n F(z) = emxif(z). Sea el camino γ(R) formado por el segmento [–R,R]
del eje real y la semicircunferencia C(R) de centro el origen y radio R, recorrida positivamente.
R
Como  eimz f ( z )dz   eimz f ( z )dz   eimz f ( z )dz y en virtud del tercer lema de Jordan
( R) C (R ) R

lim  eimz f ( z )dz  0


R  C ( R )

tomado l‚mites cuando R tiende a ∞, resulta


p

V .P. eimx f ( x)dx  lim  eimz f ( z )dz  2 i  Res( f , z k )
 R   ( R )
k 1
en donde z1, z2, ... ,zp son los polos de f.
 
Integrales de la forma  f ( x )cos mx dx ,  f ( x )sen mx dx , m > 0: Se suponen las
 
mismas condiciones y el mismo camino del caso anterior. Como
eimx  cos mx  i sen mx
se resuelve teniendo en cuenta que
R R R
 eimx f ( x)dx   cos mx f ( x)dx  i  sen mx f ( x )dx
R R R

Aplicaci€n a la suma de series


El teorema de los residuos puede utilizarse tambi„n para calcular la suma de series de la
forma
P•gina 46 Ampliaci€n de C•lculo

 k

 f (n)  lim 

k 
n  k
f ( n)

en donde f es una funci•n anal‚tica con un nƒmero finito de singularidades aisladas en . La idea es
la siguiente: supongamos una funci•n conocida F que tiene por singularidades aisladas los puntos
z = n, n = 0, £1, £2, ... , £n, cuyo residuo en todos ellos tiene el mismo valor λ. Sea {γn}, n = 1, 2, 3,
una sucesi•n de caminos cerrados simples tales que los polos –n, –n + 1, ... , –1, 0, 1, ... , n – 1, n
est€n contenidos en el interior del recinto limitado por γn. Para n suficientemente grande, las
singularidades aisladas b1, b2, ... ,bp de f se encuentran en el interior del recinto limitado por γn.
Aplicando el teorema de los residuos
n n

 F ( z ) f ( z )dz  2 i  Res( Ff , k )  2 i  Res( Ff , bk )


n
k  n k  n
(obs„rvese que las singularidades de F(z)f(z) son la uni•n de las singularidades de cada una de las
funciones). Si suponemos que ninguna de las singularidades de f se encuentran en z = k, k = 0, £1,
£2, ... , £n, entonces
n n

 Res( Ff , k ) 
k  n
  f (k )
k  n
Tomando l‚mites cuando n tiende a ∞ en la expresi•n del teorema de los residuos
 p
lim  F ( z ) f ( z )dz  2 i   Ff (n)  2 i  Res( Ff , bk )
n   n
 k 1
Si el l‚mite del primer miembro fuese cero, resultar‚a
 p

  Ff (n)   Res( Ff , bk )
 k 1
y podr‚amos calcular el valor de la serie.
Las funciones F(z) = cot πz y F(z) = cosec πz cumplen los requisitos anteriores ya que ambas
tienen sus polos en los puntos z = n, n = 0, , £1, £2, ... , en todos ellos el valor del residuo de la
primera es 1/π, y el valor del residuo de la segunda es 1/π en z = 2n y –1/π en z = 2n + 1. Los
teoremas siguientes prueban que el l‚mite de la integral es cero.
Suma de series por medio de F(z) = cot πz: Sea f una funci€n meromorfa en . Si se
cumple
a) Los polos b1, b2, ... ,bp de f no coinciden en ningƒn punto z = n, n = 0, £1, £2, ...
b) Si R es el radio de un circulo en cuyo interior est•n contenidos los polos b1, b2, ... ,bp,
entonces existe una constante M > 0 tal que |zf(z)| ≤ M para todo |z| > R.
Entonces
 p

 f (n)   Res(π cot πz  f (z), b


n  k 1
k )

Para las funciones cosec πz, tan πz y sec πz se prueba an€logamente al caso de cot πz
obteniendo los siguientes resultados
Teorema: Sea f una funci€n meromorfa en . Si se cumple
a) Los polos b1, b2, ... ,bp de f no coinciden en ningƒn punto z = n, n = 0, £1, £2, ...
b) Si R es el radio de un circulo en cuyo interior est•n contenidos los polos b1, b2, ... ,bp,
entonces existe una constante M > 0 tal que |zf(z)| < M para todo |z| > R.
Entonces
 p
(1)  (1)n f (n)    Res( cosec  z  f ( z ), b j ).
n  j 1
 p
 2n  1 
(2) 
n 
f
 2 
    Res( tan  z  f ( z ), b j ).
j 1
 p
 2n  1 
(3)  (1)n f      Res( sec  z  f ( z ), b j ).
n   2  j 1
Ampliaci€n de c•lculo P•gina 47

Tema 22 TransformaciÅn conforme


Transformaci€n conforme
El t„rmino transformaci•n se utiliza sustituyendo al de aplicaci•n o funci•n para resaltar la
idea geom„trica del reemplazamiento de cada punto de un dominio por el de su imagen, es decir, el
t„rmino transformaci•n centra el inter„s en el estudio de las formas y propiedades geom„tricas de
las im€genes de subconjuntos, a partir de las cuales se puede analizar el comportamiento de la
funci•n y deducir sus propiedades.
Las transformaciones en el plano vienen determinadas por una par de ecuaciones.
u = u(x, y) v = v(x, y) (x, y)  M
que en el caso del plano complejo corresponden a las partes real e imaginaria de una aplicaci•n
w = f(z). Desde el punto de vista geom„trico, las ƒnicas transformaciones interesantes son las
inyectivas y en particular aquellas que conservan la magnitud y el sentido de los €ngulos, las cuales
se denominan transformaciones conformes.
Consideremos una regi•n A de  y dos curvas regulares γ1, γ2 contenidas en A, de
ecuaciones
z1 = z1(t), t  [a, b] z2 = z2(t), t  [c, d]
que se cortan en un punto z0 = z1(t1) = z2(t2). Se define el €ngulo que forman γ1 y γ2en z0 como el
€ngulo que forman sus vectores tangentes z’1(t1) y z’2(t2) en el punto. Su magnitud viene dada por
arg z '2 (t2 )  arg z '1 (t1 )
Definici€n de transformaci€n conforme: Una aplicaci€n w = f(z) de A en  se dice que
es conforme en un punto z0  A si conserva la magnitud y el sentido del •ngulo que forman dos
curvas cualesquiera que pasan por z0.
Una aplicaci€n conforme en cada punto de A se dice que es localmente conforme en A. Si
adem•s es inyectiva se dice que es conforme en A.
El teorema de la funci•n inversa proporciona una condici•n suficiente para que una funci•n
en el entorno de un punto sea conforme en „l.
Teorema: Si f : A→  es anal‚tica en z0 y f’(z0) ≠ 0, entonces es conforme en z0.
Si f es una funci•n anal‚tica y no constante en un entorno de z0 y f’(z0) = 0, entonces se dice
que z0 es un punto cr‚tico de la transformaci€n y f no es conforme en z0.
Las funciones elementales estudiadas en el tema 18, restringidas a las regiones en que eran
inyectivas son conformes en ellas. Por ejemplo, f(z) = ez es localmente conforme en todo  y
conforme en la regi•n –π < y < π. Transforma la recta x = c en la circunferencia de centro el origen
y radio ec, y la recta y = ki en la semirrecta θ = k.
Ejemplos:
1) Traslaci€n: Se define por la ecuaci•n w = z + b. Los puntos del plano se trasladan |b|
unidades en la direcci•n y el sentido del vector b.
2) Rotaci€n: La rotaci•n de centro el origen y €ngulo θ se define por la ecuaci•n w = eiθz.
Los puntos del plano giran un €ngulo θ alrededor del origen. Si θ > 0 la rotaci•n es positiva, si θ < 0
la rotaci•n es negativa.
3) Homotecia: La homotecia de centro el origen y raz•n k > 0 se define por la ecuaci•n
w = kz. Si k > 1 las figuras del plano se dilatan, si k < 1 las figuras del plano se contraen.
4) Inversi€n: Se define en  – {0} por la ecuaci•n w = 1/z. Cada punto del plano se
transforma en su inverso.
5) Transformaci€n lineal: Se define en todo  por la ecuaci•n w = az + b. Es la
composici•n de una traslaci•n, una rotaci•n y una homotecia.

Transformaci€n bilineal fraccionaria


Una aplicaci•n de la forma
az  b d
w z
cz  d c
P•gina 48 Ampliaci€n de C•lculo

se llama transformaci€n bilineal fraccionaria. Si los coeficientes satisfacen ad – bc ≠ 0 se llama


transformaci€n de M•bius. Si ad = bc, se reduce a una transformaci•n constante, por lo que
supondremos siempre que ad ≠ bc.
dw a (cz  d )  c(az  b) ad  bc
Como    0 la transformaci•n es localmente conforme
dz (cz  d ) 2 (cz  d ) 2
en todo  –{–d/c}. Adem€s, es inyectiva y su aplicaci•n inversa
 dw  b a
z w
cw  a c
es tambi„n una transformaci•n de M¤bius.
Si ad – bc = 0 la derivada dw/dz = 0 y la funci•n w es constante.
La aplicaci•n se puede extender a los planos completados de la manera siguiente:
d a
i) Si c ≠ 0, se hace corresponder a z   el punto w = ∞ y a z = ∞ el punto w 
c c
ii) Si c = 0, se hacen corresponder los puntos z = ∞ y w = ∞.
La composici•n de dos transformaciones de M¤bius es una transformaci•n de M¤bius. En
efecto si
az  b
f ( z)  ad  bc  0
cz  d
a' z  b'
g ( z)  a ' d ' b ' c '  0
c'z  d '
entonces
Az  B
h( z )  g[ f ( z )]  AD  BC  (ad  bc)(a ' d ' b ' c ')  0
Cz  D
Una transformaci•n de M¤bius se puede descomponer en aplicaciones m€s sencillas tal
como muestra el siguiente resultado.
Proposici€n: La transformaci€n de MŠbius es la composici€n de una traslaci€n, una
inversi€n, una rotaci€n, una homotecia y una traslaci€n.
La familia  de las rectas y circunferencias del plano permanece invariante por una
transformaci•n de M¤bius, es decir, un elemento de  se transforma en un elemento de  . La
ecuaci•n
A( x 2  y 2 )  Bx  Cy  D  0
en donde A, B, C y D son constantes reales representa a un elemento gen„rico de  . En efecto:
i) Si A = 0, entonces Bx + Cy + D = 0 es la ecuaci•n de una recta.
ii) Si A ≠ 0 y B2 + C2 > 4AD, dividiendo por A
B C D
x2  y2  x  y   0
A A A
completando cuadrados, es equivalente a
2 2 2 2
 B   C  D  B   C 
x   y       
 2A   2A  A  2A   2A 
2 2
2 2 D  B   C 
como B + C > 4AD        0
A  2A   2A 
se trata de una circunferencia.
Para determinar la ecuaci•n en el campo complejo, hacemos la sustituci•n
zz zz
x 2  y 2  zz x  y
2 2i
B C
y resulta Azz  ( z  z )  ( z  z )  D  0
2 2i
Ampliaci€n de c•lculo P•gina 49

Teorema: La familia de rectas y circunferencias del plana permanece invariante por una
transformaci€n de MŠbius.
Para determinar una transformaci•n bilineal fraccionaria es suficiente con conocer la imagen
de tres puntos del plano. Si z2, z3, z4 es una terna ordenada de puntos diferentes del plano completo
 cuyas im€genes respectivas son 0, 1 e ∞, entonces
z  z 2 z3  z2
w : si z2 , z3 , z4  
z  z 4 z3  z4
o bien
z z z  z2 z  z2
w  3 4 si z2   ; w  si z3   ; w  si z4  
z  z4 z  z4 z3  z2
es la ƒnica transformaci•n de M¤bius tal que
w( z 2 )  0 , w( z3 )  1 , w( z4 )  
Suponemos z2, z3, z4 es una terna ordenada de puntos diferentes. La transformaci•n anterior
nos permite definir el concepto de raz•n doble de cuatro puntos.
Definici€n de raz€n doble de cuatro puntos: Se llama raz€n doble de cuatro puntos
ordenados z1, z2, z3, z4 del plano completado  y se representa por [z1, z2, z3, z4] a la imagen de z1
por la ƒnica transformaci€n de MŠbius que aplica z2 en 0, z3 en 1 y z4 en ∞.
El orden de los puntos es esencial: [1, 0, 2, 3] = 1/4 y [0, 1, 2, 3] = –1/3.
Cuatro puntos del plano se denominan conc‚clicos si existe una circunferencia que pasa por
ellos. La raz•n doble caracteriza los puntos conc‚clicos.
Teorema: Los puntos z1, z2, z3, z4 son conc‚clicos o est•n alineados si y s€lo si su raz€n
doble es real.
Proposici€n: La raz€n doble de cuatro puntos permanece invariante por cualquier
transformaci€n de MŠbius f. Es decir,
[z1, z2, z3, z4] = [f(z1), f(z2), f(z3), f(z4)]
En general una trasformaci•n de M¤bius puede tener a lo m€s dos puntos fijos, pues
az  b
 z  cz 2  (d  a ) z  b  0
cz  d
ecuaci•n que puede tener como m€ximo dos soluciones diferentes. Por lo tanto, si la transformaci•n
tiene m€s de dos puntos fijos, necesariamente ha de ser la identidad. En caso de ser c = 0, uno de los
b
puntos fijos es z  y el otro z = ∞, ya que
d a
az  b
w  lim 
z  d
Teorema: Dados tres puntos diferentes z2, z3, z4 de  existe una ƒnica aplicaci€n de
MŠbius que les hace corresponder tres puntos diferentes w2, w3, w4 de .
az  b
Teorema: Sean α y β los puntos fijos de una aplicaci€n de MŠbius w  . Entonces la
cz  d
transformaci€n queda determinada por la ecuaci€n
w  z  c  d
 
w z c  d
Como consecuencia de la proposici•n anterior, si la constante λ es real, entonces la
transformaci•n deja invariante a cada una de las circunferencias que pasan por los puntos fijos α, β,
ya que
w  z 
:  [ w,  , z ,  ]  
w z 
y la raz•n doble es real, por lo tanto los cuatro puntos son conc‚clicos.
b
En el caso c = 0 los puntos dobles son   y   , la transformaci•n viene dada por
d a
P•gina 50 Ampliaci€n de C•lculo

w – α = λ(z – α)
y si λ es real, λ ≠ 1, los puntos w, z, α est€n alineados. Si |λ| = 1, los puntos w y z distan lo mismo de
α y la transformaci•n es un giro de centro α.
Proposici€n: Si una transformaci€n de MŠbius tiene un ƒnico punto fijo α, entonces viene
determinada por
1 1
 
w  z 
donde λ es una constante.
Si el ƒnico punto fijo es el z = ∞, en cuyo caso c = 0 y a = d, la transformaci•n es la
traslaci•n w – z = μ en donde μ = b/d.

Formas particulares de la transformaci€n de M•bius


Una transformaci•n de M¤bius deja invariante la familia  de las rectas y circunferencias
del plano. Cada elemento γ de  determina en  dos conjuntos abiertos y conexos, cuya frontera
es γ, de modo que su uni•n junto con γ es todo el plano. Como w(z) es continua, cada conjunto se
transforma en uno de los dominios definidos por w(γ).
Dos puntos z1, z2 son inversos respecto a una circunferencia C de centro z0 y radio r si
cumplen:
i) z1, z2 est€n alineados con z0 y z0 separa a z1 y z2.
ii) El producto de las distancias de z1 y z2 a z0 es r2.
La ecuaci•n de la circunferencia C es
( z  z0 )( z  z0 )  r 2
y la condici•n para que z1 y z2 sean inversos respecto a C viene dada por
( z1  z0 )( z2  z0 )  r 2
La ecuaci•n de la circunferencia C tambi„n puede ponerse de la forma
 zz  Az  Az  B  0
en donde λ es un numero real distinto de cero, A = – λz0, B   ( z0 z0  r 2 ). Entonces, la condici•n
para que z1 y z2 sean inversos respecto a C, resulta
 z1 z2  Az1  Az2  B  0
Dos puntos z1, z2 son inversos respecto a una recta si son sim„tricos respecto a ella. Si la
ecuaci•n de la recta R es
Az  Az  B  0
la condici•n para que z1 y z2 sean inversos viene dada por
Az1  Az2  B  0
Obs„rvese que z1 y z2, se encuentran a la misma distancia de R y que la recta que los une es
perpendicular a R.
Transformaci€n del semiplano superior en el c‚rculo unidad: Una transformaci€n de
MŠbius aplica el semiplano superior Im(z)  0 en el c‚rculo unidad w  1 si y s€lo si es de la
forma
pz  q q
w con Im    0
pz  q p
La transformaci•n anterior puede ponerse de la forma
z 
w  ei
z 
en donde α es un nƒmero complejo con parte imaginaria positiva.
1 z
Transformaci€n del c‚rculo unidad en el semiplano superior: La aplicaci€n w 
1 z
transforma el c‚rculo unidad z  1 en el semiplano Re w  u  0.
Ampliaci€n de c•lculo P•gina 51

Transformaci€n del c‚rculo unidad en el c‚rculo unidad: Una transformaci€n de MŠbius


aplica el c‚rculo unidad z  1 en el c‚rculo unidad w  1 si y s€lo si es de la forma
zα
w  eiθ con α 1
αz  1
Corolario: La aplicaci€n de MŠbius que transforma el c‚rculo z  r en el c‚rculo w  1 es
de la forma
z  z0
w  eiθ r
z0 z  r 2
Nota: La condici•n para que dos puntos w1 y w2 sean inversos respecto a la circunferencia
|w| = 1, cuya ecuaci•n es ww  1, es w1 w2  r 2 , por tanto, w2  r 2 / w1 , con lo cual si w1 = 0,
necesariamente ha de ser w2  , es decir, w2  .