Capı́tulo 1

PROPIEDADES DE LA
INTEGRALES CURVILÍNEAS

Sea f y g funciones integrables a lo largo del camino γ y sean α y β numeros complejos. La funcion αf + βy
un arco γ en el plano, es cualquier conjunto de puntos que pueden describirse en forma paramétrica por:

γ : x = x(t), y = y(t), α 5 t 5 β

Con x(t), y(t) funciones continuas de la variable real t en el intervalo real cerrado [α, β]. En el plano complejo
se describe el arco γ por medio de la funcion compleja continua de una variable real.

γ : z(t) = x(t) + jy(t), α 5 t 5 β

0 0 0
Se dice que el arco γ es suave si la función z (t) = x (t) + jy (t), no se anula y es continua en α 5 t 5 β.
Un arco suave por partes (spp) consiste en un número finito de arcos suaves unidos por sus extremos. Si γ
0 0
es un arco spp, entonces x(t) y y(t) son continuas, pero sus derivadas x (t) y y (t) son continuas por partes.
Un arco es simple o arco de Jordan, si z(t1 ) = z(t2 ) sólo si t1 = t2 , esto es, si no se intersecta a sı́ mismo, o
autointersecta. Un arco es una curva cerrada si z(α) = z(β) y un curva de Jordan si es cerrada y simple excepto
en los extremos α y β.

Figura 1.- Arcos y Curvas

PROPIEDADES

Sea {γ = z(t)/α 6 t 6 β}, donde z : [α, β] → C , F, G : γ ⊂ C → C, funciones continuas y λ un escalar,

entonces:

1)
Z Z
λf (z)dz = λ f (z)dz
γ γ

1
2 CAPÍTULO 1. PROPIEDADES DE LA INTEGRALES CURVILÍNEAS

Demostración
Z Z
λf (z)dz = λ f (z)dz
γ γ

∀ ε > 0, ∃ δ > 0
Para toda partición fn con:

kPn k < δ

se cumple:
Z
a
X ε
f (z)dz − f (zj )∆zj <

γ |λ|
i=1

Para todas las particiones se tiene:

Z a

X
λ f (z)dz − f (zj )∆zj < ε

γ
i=1

La integral alrededor de la curva gamma existe, y es igual a:

Z Z
γf (z)dz = γ f (z)dz
γ γ

2)
Z Z Z
(f (z) ± G(z)) dz = f (z)dz + G(z)dz
γ γ γ

Demostración
Z Z Z
(f (z) ± G(z)) dz = f (z)dz + G(z)dz
γ γ γ
Z Z
Se establece que f (z)dz y g(z)dz existen , entonces ∀ ε > 0, ∃ δ > 0, para toda Pn :
γ γ

kPn k < δ

tal que
Z
Xn ε
f (z)dz − f (zi )∆zi <

γ 2
i=1

y
Z
Xn ε
g(z)dz − g(zi )∆zi <

γ 2
i=1
 3

Ahora se considerará :

Z Z Z
Z n
X n
X n
X
f (z)dz + g(z)dz − (f (zi ) + g(zi ))∆zi = f (z)dz − (f (zi )∆zi + g(z)dz − g(zi ))∆zi

γ γ γ γ
i=1 i=1 i=1

Z Z
Xn Xn ε ε
= f (z)dz − (f (zi )∆zi + g(z)dz − g(zi ))∆zi < + ≈ ε

γ γ 2 2
i=1 i=1

Por lo tanto:
Z
Z n
X
f (z)dz + g(z)dz − (f (zi ) + g(zi ))∆zi < ε

γ γ
i=1

para toda partición Pn tal que kPn k < δ,entonces:

Z
(f (z)dz + g(z)dz)
γ

existe y es igual a
Z Z
f (z)dz + g(z)dz
γ γ

es decir:
Z Z Z
(f (z) + g(z))dz = f (z)dz + g(z)dz
γ γ γ

3)
Z Z

f (z)dz ≤ kf (z)k dz

γ γ

Demostración Z Z

f (z)dz ≤ kf (z)k dz

γ γ

Aplicando la desigualda de Cauchy

Xn X n n
X
f (zi )∆zi ≤ kf (zi )∆zi k = kf (z1 )k k∆zi k



i=1 i=1 i=1

Xn X n
f (zi )∆zi ≤ kf (zi )k k∆zi k (1.1)



i=1 i=1
4 CAPÍTULO 1. PROPIEDADES DE LA INTEGRALES CURVILÍNEAS

como kf (z)k es continua en zi , entonces tomando el lı́mite cuando kPn k → 0 a ambos lados de (1.1)

Xn n
X
lı́m f (zi ∆zi ) ≤ lı́m kf (zi )k k∆zi k

Pn →0 kPn k→0
i=1 i=1

Se concluye:
Z Z

f (z)dz ≤ kf (z)k kdzk

γ γ

4)
Z Z
f (z)dz = − f (z)dz
−γ γ

Demostración

Sea γ : z(t) = x(t) + iy(t), entonces la integral de contorno para el contorno opuesto −γ esta dado por:
Z Z a
f (z)dz = f (z(−τ ))(−z0 (τ ))dτ
−γ −b

Ahora t = −τ . Entonces dτ = −dt

Z Z b
0
f (z)dz = − f (z(t)z (t))dt
−τ a

Z Z
f (z)dz = − f (z)dz
−τ γ

5)
Z Z Z
f (z)dz + f (z)dz = F (z)dz
γ1 γ2 γ1 +γ2

Demostración

Z Z Z
f (z)dz + f (z)dz = (z)dz
γ1 γ2 γ1 +γ2

Sea z1 (t) = x1 (t) + iy1 (t), si tε[a, b] y z2 (t) = x2 (t) + iy2 (t), si tε[b, c], entonces:
Z Z Z b Z c
0 0
f (z)dz + f (z)dz = F (z1 (t)z1 (t))dt + f (z2 (t)z2 (t))dt
γ1 γ2 a b

Z Z Z b  Z b 
dx1 dy1 dy1 dx1
f (z)dz + f (z)dz = −Q dt + i
P P +Q dt
γ1 γ2 a dt dt a dt dt
Z c  Z c 
dx2 dy2 dy2 dy2
+ P −Q dt + i P +Q dt
b dt dt b dt dt
 5

Z Z Z b Z c
F (z)dz + F (z)dz = (P x0 1 − Qy 0 1 dt) dt + (P x0 2 − Qy 0 2 ) dt
γ1 γ2 a b
!
Z b Z c
0 0 0 0
+i (P y 1 + Qx 1 ) dt + (P y 2 + Qx 2 ) dt
a b

Integrando en las funciones de variable real:

Z b Z c Z c
(P x0 1 + Qy 0 1 )dt + (P x0 2 − Qy 0 2 )dt = (P x0 − Qy 0 )dt
a b a

Z b Z c Z c
(P y 0 + Qx0 )dt + (P y 0 2 + Qx0 2 )dt = (P y 0 − Qx0 )dt
a b a

Donde x(t) = x1 (t) si t[a, b] y x(t) = x2 (t) si t[b, c]. De manera similar par y(t)

Luego tenemos:
Z Z Z
f (z)dz + f (z)dz = f (z)dz
γ1 γ2 γ1 +γ2
Z

6) Como F : γ ⊂ C → C, es acotada, ∃ M > 0 tal que kf (z)k ≤ M, ∀ z  γ, tal que
dz ≤ M Lγ , donde Lγ

γ
es la longitud de la curva y M es una cota superior para el modulo kf (z)k en γ

Demostración

Recordar que γ esta dada por el rango de z : [a, b] → C, es una curva suave. Entonces:
Z Z b Z
b
0
0
f (z)dz = f (z(t))z (t)dt ≤ kF (z(t))k z (t) dt


γ a a

Z

Z
b 0 Z b 0
F (z)dz ≤ M z (t) dt ≤ M

z (t)


γ a a

Z

f (z)dz ≤ M L

γ

Ahora si γ = γ1 + γ2 + .. + γn , donde γ1 , γ2 , ...γn son curvas suaves, entonces hallammos:

Z n Z
n Z
X X
f (z)dz = f (z)dz ≤ f (z)dz


γ
i=1 γ i=1 γ

Z n
X
f (z)dz ≤ M Lγ

γ i=1

Z n
X

f (z)dz ≤ M Lγ

γ i=1

Z

f (z)dz ≤ M Lγ

γ
6 CAPÍTULO 1. PROPIEDADES DE LA INTEGRALES CURVILÍNEAS

1.1. Regla de Barrow para integrales curvilı́neas

Sea Ω ⊂ C un abierto,f un función continua en Ω y supongamos qur hay un función F H(Ω) tal que
f 0 (z) = f (z) = para todo zΩ. Sea γ : [a, b] → Cun camino en Ω (esto es, γ∗ ⊂ Ω), entonces:

Z
f (z)dz = f (γ(b)) − f (γ(a)
γ

Demostración

Supongamos ue γ es un camino regular, es decir, γ tiene derivada continua en [a, b]. En tal caso la función
h(t) = (F ◦ γ)(T ) es derivable en [a, b] con

h0 (t) = f 0 (γ(t))γ 0 (t) = f (γ(t))γ 0 (t)

Por lo que

Z Z b
F (z)dz = f (γ(t))γ 0 (t)dt = h(b) − h(a) = f (γ(b)) − f (γ(a))
γ a

Supongamos ahora que γ es regular a trozos. Entonces existe una partición del inervalo [a, b], a = to < t1 < .. <
tn−1 < tn = b de forma que γk = γ[tk−1 ,tk ] es una aplicación de clase C.

Z n Z
X n
X
f (z)dz = f (z)dz = (f (γ(t))) − f (γk (tk−1 ))
γk i=1 γ i=1
n
X
= (f (γ(tk ))) − f (γ(tk−1 )) = f (γ(b)) − f (γ(a))
i=1
Capı́tulo 2

TEOREMA DE GREEN EN EL
PLANO

Sea C una curva cerrada, simple, suave a trozos y positivamente orientada en el plano y sea D la región
limitada por la curva C e incluyendo a C. Si P (x, y) y Q(x, y) son continuas y tienen primeras derivadas par-
ciales continuas en alguna región abierta R que contenga a D con D ⊆ R, entonces

Z ZZ  
∂Q ∂P
P (x, y)dx + Q(x, y)dy = − dxdy
C R ∂x ∂y

Demostración

Se probará el resultado para el caso particular de que R pueda ser descompuesta en un número finito de
recintos que son simultáneamente de tipos I y II.

Figura 2. Teorema de Green para una región de tipo I y para una región más general.

Suponiendo demostrado el teorema para regiones que son simultáneamente de tipo I y II, se efectúa la des-
composición de R en un número finito de regiones de esta clase, se aplica el teorema a cada una y se suman los
resultados miembro a miembro. Las integrales a lo largo de las fronteras interiores de las distintas subregiones
se cancelan dos a dos (pues se recorren dos veces en sentidos opuestos), y la suma de las integrales a lo largo de
las fronteras exteriores de dichas subregiones proporciona la integral de lı́nea a lo largo de C; Por otra parte, la
suma de las integrales dobles sobre cada una de las subregiones da lugar a la integral doble extendida a todo
R. Esto demostrarı́a el caso particular enunciado. A tal fin, probaremos que:

ZZ Z
∂P
dx dy = − P dx
R ∂y C

7
8 CAPÍTULO 2. TEOREMA DE GREEN EN EL PLANO

Si R es una región de tipo I, y

ZZ Z
∂Q
dx dy = Q dy
R ∂x C

si R es una región de tipo II.

Sea entonces
R = (x, y) ∈ R2 : a ≤ x ≤ b, g1 (x) ≤ y ≤ g2 (x)


Donde g1 y g2 son funciones continuas. Puede observarse entonces, que la curva C puede ser dividida en dos
partes:
C = C1 ∪ C2
Donde C1 es la parte inferior de la curva. definida por

C1 = {(x, y)/a ≤ x ≤ b, y = g1 (x)}

y C2 es la parte superior de la curva, definida por

C2 = {(x, y)/a ≤ x ≤ b, y = g2 (x)}

Tomando la orientación positiva de la curva dada, y empleando la definición de la integral de lı́nea, y su eva-
luación, se tienen:

Z Z Z
P (x, y) dx = P (x, y) dx + P (x, y) dx
C C1 C2

Z Z b Z b
P (x, y) dx = P (x, g1 (x))dx − P (x, g2 (x))dx (2.1)
C a a

Por otra parte tenemos:

!
ZZ Z b Z g2 (x) Z b
∂P (x, y) ∂P (x, y) g (x)
∂A = dy dx = P (x, y)|g12 (x) dx
C ∂y a g1 (x) ∂y a

ZZ Z b Z b
∂P (x, y)
∂A = [P (x, g2 (x)) − P (x, g1 (x))]dx = − [P (x, g1 (x)) − P (x, g2 (x))]dx (2.2)
C ∂y a a

Donde la igualdad que se obtiene se debe a la aplicación del teorema fundamental del cálculo. Al igualar (2.2)
en (2.1), se obtiene:
Z ZZ
∂P (x, y)
P (x, y) dx = − dA (2.3)
C R ∂y

En forma similar para el caso donde R es del tipo II. Se supondrá que la región R también puede ser definida
de la siguiente manera.

R = {(x, y) / c ≤ y ≤ d, h1 (y) ≤ x ≤ h2 (y)}

Una región del Tipo II, donde h1 y h2 son funciones continuas. La curva C puede ser dividida en dos par-
tes:
C = C1 ∪ C2

Donde C1 es la parte izquierda de la curva, definida por:

C1 = {(x, y) / c ≤ x ≤ d, x − h1 (y)}
 9

y C2 es la parte derecha de la curva, definida por

C2 = {(x, y) / c ≤ x ≤ d, x − h2 (y)}

Tomando la orienytación positiva de la curva dada. De la definición de la integral de lı́nea y su evaluación se

tiene entonces:
Z Z Z
Q(x, y) dy = Q(x, y) dx + Q(x, y) dx
C C1 C2

Z Z c Z d
Q(x, y) dy = Q(h1 (y), y)dy + Q(h2 (y), y)dy
C d c

Z Z d
Q(x, y) dy = [Q(h2 (y), y) − Q(h1 (y), (y))] dy (2.4)
C c

Por otra parte se tiene:

!
ZZ Z d Z h2 (y)
∂Q(x, y) ∂Q(x, y)
dA = dx dy
R ∂x c h1 (y) ∂x
ZZ Z d Z d
∂Q(x, y) h (y)
dA = Q(x, y)|h12 (y) dy = [Q(h2 (y), y) − Q(h1 (y), y)]dy (2.5)
R ∂x c c

Ahora reemplazando (2.5) en (2.4) se tiene:

Z ZZ
∂Q(x, y)
Q(x, y)dy = dA (2.6)
C R ∂x

Al sumar (2.3) y (2.6) se obtiene:

Z ZZ  
∂Q(x, y) ∂P (x, y)
P (x, y)dx + Q(x, y)dy = − dA
C R ∂x ∂y

El teorema de Green es válido para regiones más complicadas como circulares, triángulos, etc.
10 CAPÍTULO 2. TEOREMA DE GREEN EN EL PLANO
Bibliografı́a

[1] Levinston, N. and Redheffer, R.(2003).Curso de Variable Compleja. Barcelona: Reverté.

[2] Mathews, J. and Howell, R.(2012). Complex Analysis for Mathematics and Engineering.Boston: Jones and
Bartlett.
[3] Marsden, J., Hoffmann, M., Mendoza Hernández, O. and Izquierdo Buenrostro.(2012).Análisis Básico de
Variable Compleja. México, D.F.: Trillas.

[4] Espinoza,R. (2008). Variable Compleja. Lima: EDUARDO ESPINOZA RAMOS.

11