Professional Documents
Culture Documents
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
A
f o bien f ( x , x ,, x )dx dx dx
A
1 2 n 1 2 n
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.
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
3. Si f y g son funciones integrable tales que f(x) ≤ g(x) para todo xA:
f ( x)dx g ( x)dx
A A
6. Si f y g son funciones integrables y g(x) 0 para todo xA, entonces la funci€n cociente
f/g es integrable si f/g es acotada.
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
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
QL QL '
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.
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.
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
G(x)
B
g x (y)dy f (x, y)dy
B
entonces
AB f (x, y)dxdy A F(x)dx A Bf (x, y)dy dx
AB f (x, y)dxdy A G(x)dx A Bf (x, y)dy dx
En caso de ser gx integrable en B para cada xA, se tiene F(x) = G(x), y por lo tanto
AB 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.
AB 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
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 )
b
S y2 ( x )dx
a
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
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 )
mk yk2 zk2 ;
k 1
mk zk2 yk2 ;
k 1
m x
k 1
k
2
k yk2
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
α '(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
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
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
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
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
(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.
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
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 .
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
b) lim λz n λ lim z n λz
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
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
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
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
e) Acotaci€n. Si f es continua en γ
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
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
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 )n1
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
p
1 f '(z)
Ind (z ) 2πi
j1
γ 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 γ.
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
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
d) f es anal‚tica en z0.
Polos: f tiene un polo en z0 si lim f (z) .
zz0
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
zz0
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
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
c2 ( z z0 )2 c1 ( 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
γ
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
c1 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
wM
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
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.
2π
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,
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
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
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
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
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
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
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
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
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.