UNIVERSIDAD NACIONAL DE CAJAMARCA

FACULTAD DE EDUCACIN
ESCUELA ACADMICO PROFESIONAL DE EDUCACIN
DEPARTAMENTO ACADMICO DE MATEMTICAS

ASIGNATURA:
ANLISIS DE VARIABLE COMPLEJA

DOCENTE:
Dr. JUAN EDILBERTO JULCA NOVOA.

TEMA DE INVESTIGACIN:
INTEGRALES CURVILNEAS Y PROPIEDADES

EQUIPO DE TRABAJO N:
02

INTEGRANTES:
EDILBERTO CAMPOS SALAZAR.
MILVER FLORES VALDIVIA.

FECHA DE PRESENTACIN:
Martes, 28 de junio de 2017

1
 I. Resumen

Este es un informe de investigacin que comprende el tema de integrales

curvilneas con su definicin y sus respectivas propiedades, con el objetivo de
una mejor comprensin de dicho tema y as poder aplicar en la resolucin de
ejercicios y problemas.

Definimos la integral de f a lo largo del camino como el nmero

complejo:

0 b

f ( z ) dz= f ( (t )) ' (t) dt

a

Comprobadas las propiedades bsicas de la integral curvilnea, la usaremos

para probar el primer resultado de la teora de Cauchy, una caracterizacin de
la existencia de primitiva, que puede entenderse como la versin compleja del
teorema fundamental del Clculo.

2
 II. Introduccin

Las integrales curvilneas son importantes bebido a su utilizacin tanto

en las fsicas, las ingenieras y matemticas. Por este motivo
desarrollaremos esta herramienta imprescindible en esta teora para
funciones complejas.

Este informe est enfocado a describir brevemente definiciones,

propiedades y demostraciones de la integral curvilnea. Cabe
mencionar la integral curvilnea es aquella integral cuya funcin es
evaluada sobre una curva, nos permite calcular la longitud de una
curva en el espacio y clculo del volumen de un objeto descrito por una
curva.

Esperamos que al concluir el estudio de dicho informe dominar los

conceptos y propiedades analizadas para dar a conocer lo ms
representativo de integrales curvilneas y as enriquecer nuestros
conocimientos matemticos.

3
 III. ndice.

I. Resumen.......................................................................................................................2

II. Introduccin..................................................................................................................3

III. ndice..............................................................................................................................4

IV. MARCO TERICO.....................................................................................................4

4.1. INTEGRALES CURVILNEAS.............................................................................5

4.2. PROPIEDADES.......................................................................................................5

4.3. EXISTENCIA DE PRIMITIVAS............................................................................9

4.4. EJERCICIOS RESUELTOS...............................................................................12

V. Recomendaciones....................................................................................................13

VI. Autocrtica...................................................................................................................15

VII. Lista De Referencias..............................................................................................16

4
 IV. MARCO TERICO.

IV.1. INTEGRALES CURVILNEAS

Definicin 1: Integrales Curvilneas en C: Denominada tambin integral

compleja de lnea. Sea f ( z ) continua en todos los puntos
de una curva C que es una curva rectificable es decir que tiene
una longitud finita. 1

Definicin 2: Sea : [a,b]C un camino y f: C una aplicacin

continua. Definimos la integral de f a lo largo del camino
como el nmero complejo.

0 b

f ( z ) dz= f ( ( t ) ) ' ( t ) dt
a

Observemos que t f ( ( t )) ( t ) es una

funcin de variable real con valores complejos que est acotada
y solamente puede tener un nmero finito de discontinuidades,
luego la integral de la derecha es la integral que ya hemos
definido antes.

En lo que sigue notaremos C ( ) el espacio vectorial

complejo de las funciones complejas continuas en .

Definicin 3: Consideremos una curva C y una funcin f : D C C ,

tal que D ,donde f es inyectiva y continua por lo
menos sobre la curva .

1 Carrasco Mendoza Rosio Variable Compleja - Pg. 2

5
 Im(Z)
(Z)
v
(W)

0 Z(tn-1) Re(z) 0 u
a t b
Z(t2)
Z(a) = Z(t0) Z(b) = Z(tn)
Z(t1)

t
Los segmentos Z ( n1)a Z (t n) determina una poligonal sobre la
Z 0 a Z1 ; Z 1 a Z 2 ; Z 2 a Z 3 ; ;
curva

Ahora tenemos los nmeros complejos sobre la curva .

1 entre Z0 y Z1
2 entre Z1 y Z2
3 entre Z2 y Z3
4 entre Z3 y Z4
.
.
.
n1 entre Z n2 y Z n1
n entre Z n1 y Z n

Luego la suma de RIEMANN.

n
S n= f ( k ) z k , donde f =u+ iv
k=1

z k = x k +i y k
z k =x k +iy k
k = k +i k

f ( k )=u ( k +i k ) +iv ( k +i k )

n
S n= f ( k ) z k se forma para cada particin delintevalo [ a , b ] ,
k=1

6
 de esta manera obtenemos una sucesin de nmeros complejos
{Sn }n 1 , el limite de Sn se le llama integral de lnea de f ( z) a
lo largo de la trayectoria , es decir:
n .
lim S n=lim f ( k ) z k = f ( z ) dz
n n k=1

f ( k )=u ( k , k ) + iv ( k , k )=u+ iv

n n
S n= f ( k ) z k = [ u ( k , k ) +iv ( k , k ) ]( x k + i y k )
k=1 k=1

n n
( u+iv ) ( x k +i y k ) = [(u x k v y k )+ i(u y k +v x k ) ]
k=1 k=1

k =
n
S n= ( u x k v y k ) + i n(u y k +v x k )
k=1

como f es inyectiva y continua por lo menos sobre la curva ,

entonces u y v son inyectas y continuas , entonces:
. . .

f ( z ) dz=lim Sn = (udxvdy)+i (udy + vdx)

n

Si : {
x=x (t )
y= y (t)
, at b

o sea : z =Z ( t ) =x ( t ) +iy ( t ) , a t b
u ( x (t ) , y ( t ) ) x (t)
x (t )
v ( x (t ) , y ( t ) ) ( +iy (t) )dt
b
[v ( x ( t ) , y ( t ) ) y (t)]dt +i
a
. b

f ( z ) dz=
a

x (t )
u ( x ( t ) , y ( t )) y (t )
[+v ( x ( t ) , y ( t ) ) (t)]dt
b
u ( x ( t ) , y ( t ) ) (+iy (t ))dt+ i
a
. b

f ( z ) dz=
a

7
 x (t)
[u ( x ( t ) , y ( t ) ) +iv ( x ( t ) , y ( t ) ) ](+iy (t))dt
. b

f ( z ) dz=
a

. b

f ( z ) dz= f (z (t)) z (t )dt

a

b
f ( z ) dz= f ( z ( t ) ) z ( t ) dt
a
.

EJEMPLOS:
.

1. Calcula la integral z 2 dz , donde : |z|=2 .

Resolucin:

Im(z)

: |z|=2 , parametrizando la
2 curva.
: z ( )=2 ei , 0 2
0 Re(z)
z ( ) d=2 ie i d

2 2
z dz= z ( ) z ( ) d= 4 e2 i 2 i ei d
2 2

0 0
.

2 2
3 i
8 i e d= e
0 3 [ ]
8 3 i
0
8 3 i(2 ) 8 3 i(0)
e e
3 3
00
.

z 2 dz=0

8
 .

2. Calcular la integral z 2 dz , donde es la frontera del cuadrado de

vrtice 1i, 1i , 1+ i,1+i .

Resolucin:

= 1 2 3 4

IV.2. PROPIEDADES

IV.2.1. Si : [a,b] C y s : [c, d] C son caminos equivalentes y

f C ( ) se verifica que

V v

f (z)dz= f ( z )dz

En efecto, puesto que = la integral de f a lo largo de

est definida. Por hiptesis existe una aplicacin C1
([c, d]) con derivada positiva que transforma [ c , d ] en [ a , b ] y tal
que o = . Tenemos as que

[ ]
m b
t =( s)
f (z)dz= f ( ( t )) ' (t )dt = '
dt = ( s ) ds
=
a

f ( ( ( s ) ) ) ' ( ( s ) ) ' ( s ) ds=

1
(b)

1

(a)

9
 d m
f ( ( s ) ) ' s ds= f ( z) dz
( )

IV.2.2. Dados dos caminos , y una funcin compleja f

continua en se cumple
m m
f ( z ) dz= f (z) dz + f ( z) dz

m

En efecto, por las definiciones dadas

( + )(t)
f ( ( + )' (t) ) dt=
b +dc

f ( z ) dz=
a
m

t
b +d c

(t) ' () dt+ f ( ( tb+c ) ) ' (tb+ c)dt=

b
f
b

a
( t)
( s)
d

f ( ' (t) ) dt+ f ( ' (s ) ) ds=

c
b

[
s=tb+c =
ds=dt a
]
m
f ( z ) dz+ f ( z )dz

m

10
 1 1

IV.2.3. f ( z ) dz= f ( z ) dz Es de comprobacin inmediata

IV.2.4. Acotacin bsica

| |
m
f ( z ) dz mx {|f (z)|: z } l( )

En efecto

(t)

| || |
m b b

f ( z ) dz = f ( ' (t)) dt |f ( ( t ) ' (t))|dt

a a

t
( ' ()|dt =mx {|f ( z)|: z }

b
l( )2
mx {|f ( z )|: z

}
a

f
IV.2.5. Linealidad Se verifica que la aplicacin f f del

espacio vectorial C () en C es una forma lineal.

IV.2.6. Permutacin del lmite uniforme y la integral. Si {

f n } es una sucesin de funciones continuas en que
converge uniformemente en a una funcin f , se verifica que f
es continua en y

n n
lim f n ( z ) dz= f ( z ) dz

En particular

2 Prez Gonzlez Francisco Javier - Curso De Anlisis Complejo Pg. 82

11
 n n

( )
f n ( z ) dz = f n ( z ) dz
n=1 n=1

Siempre que la serie converja uniformemente en .

Esto es consecuencia inmediata de la desigualdad

f
( n ( z ) dzf ( z ) )dz
n

mx {|f n ( z )f (z)|: z } l( )3

| |
n n

f n ( z ) dz f ( z ) dz =

IV.2.7. Regla de Barrow para integrales curvilneas. Sea C un

abierto, f una funcin continua en y supongamos que hay
una funcin F H() tal que F(z) = f (z) para todos z
sea : [ a , b ] C un camino cualquiera en ( esto es,
), entonces

f ( z ) dz = F ( (b)) - F ( (a))

Demostracin. Supongamos en primer lugar que es un camino

regular, es decir, tiene derivada continua en [a, b]. En tal caso la
funcin h(t) = (F )(t) es derivable en [a,b] con
h '(t )=F' ( ( t ) ) ' ( t )=f ( (t )) ' (t)(t [ a , b ] )
Por lo que
m b

f ( z ) dz= f ((t)) ' (t )dt=h ( b )h ( a )=F ( ( b )) F ( (a))

a

Supongamos ahora que es regular a trozos. Entonces existe una

particin del intervalo [ a , b ] , a=t o <t 1< <t n1< t n=b de forma que
k = |[ t , t ]|
1
es una aplicacin de clase C . Teniendo en cuenta
k1 k

lo antes visto resulta que

3 Prez Gonzlez Francisco Javier - Curso De Anlisis Complejo Pg. 82

12


( k ( t k1 ) )
( k ( t k ))F
F =

m n b n

f ( z ) dz= f (z ) dz=
k=1 k k=1

( k ( t k1 ) )
( k ( t k ) )F
F = F ( ( b ) ) F ( ( a))

n

k=1

como pretendamos demostrar.4

IV.3. EXISTENCIA DE PRIMITIVAS

De la regla de Barrow se deduce inmediatamente el siguiente
resultado.

IV.3.1. Condicin necesaria para la existencia de primitivas.

Si una funcin continua f en un abierto admite una primitiva

en , entonces la integral curvilnea de f es la misma para
todos los caminos en que tienen los mismos puntos inicial y
final. En particular, para todo camino cerrado en se

verifica que f (w)dw=0.

IV.3.2. Proposicin.

La funcin suma de una serie de potencias no trivial tiene primitivas

en el dominio de convergencia de la serie. En consecuencia, una
funcin analtica en un abierto tiene localmente primitivas.

Demostracin.

4 Prez Gonzlez Francisco Javier - Curso De Anlisis Complejo Pg. 83

13
 g
Supongamos que C n (za)n es una serie de potencias no
n o
trivial. Sea su dominio de convergencia y para z sea

(z )= C n (za)n la funcin suma.
n=0

0
C
Se deduce del lema 1.40 que la serie n+1n ( za)n +1 tiene
n o
tambin como dominio de convergencia . El teorema de
derivacin de series de potencias nos dice que la funcin

C
F ( z )= n ( za) n+1 es una primitiva de en .
n=o n+1

1
Volviendo al ejemplo del principio del captulo, sea f (z)= para
z

z C . Tenemos que
m

f ( z ) dz= e1it ieit dt=2 i 0

C(0,1)

luego f no tiene primitiva en C (cosa que ya sabamos). Pero

f es analtica en C con lo cual f tiene primitivas localmente.
Esto pone de manifiesto que el problema de existencia de primitivas
es un problema global no local.

El anterior corolario nos dio una condicin necesaria para la

existencia de primitiva de una funcin. Esta condicin es tambin
suficiente. El siguiente lema es de inters.5

IV.3.3. Lema.

Dos puntos cualesquiera de un dominio se pueden unir mediante

una poligonal contenida en el dominio.

Demostracin.
Sea un dominio. Fijemos un punto a y sea W el conjunto de los
puntos zque pueden unirse con a por medio de una poligonal en
. Evidentemente, aW. Si bW y D(b, r), es claro que D(b,
r)W; pues si zD(b, r) podemos aadir a una poligonal en que
une a con b el segmento [b, z] (que est contenido en el disco
D(b, r) y, por tanto, en ) y obtenemos as una poligonal en
que une a con z. Esto prueba que W es abierto. Veamos que
tambin es cerrado relativo a . Sea cW. Como ctiene
que haber un > 0 tal que D(c,) . Como cW tiene que haber
un punto z0 D(c,/2) W. Entonces tenemos que D(z0,/2) D(c,)
luego D(z0,/2) y, por lo antes visto, se sigue que D(z0,/2)

5 Prez Gonzlez Francisco Javier - Curso De Anlisis Complejo Pg. 84

14
 W y, como cD(z0,/2), concluimos que cW lo que prueba que W
=W , es decir, W es cerrado relativo a . Por conexin concluimos
que W = .6

IV.3.4. Caracterizacin de existencia de primitivas.

Sea f una funcin continua en un abierto . Se verifica que f tiene

primitivas en si, y slo si, la integral de f sobre todo camino
cerrado en es nula.

Demostracin.

Basta ver la condicin suficiente. Supongamos que la integral de

f sobre todo camino cerrado en es nula. Podemos suponer sin
prdida de generalidad que es un dominio.

Fijamos un punto z 0 . Dado z , sea z cualquier camino

en cuyo punto inicial sea z0 y cuyo punto final sea z (dicho camino
existe en virtud del lema anterior).

f ( w) dw .

Definimos Veamos que est bien definida, esto es, no
F ( z )=
z

depende del camino z. Sea z otro camino en con punto

inicial z y punto final z. Consideremos z +( z) z z
as definido es un camino cerrado en . La hiptesis afirma que
e e e e
0= f ( w ) dw + f ( w ) dw= f ( w ) dw f ( w ) dw
z z z z

e e

con lo cual f ( w ) dw= f ( w ) dw y F est bien definida.

z z

Sea a . Dado >0, por continuidad de f existe >0 de forma que

D(a,) y para w D(a,) se cumple que | f (w) f (a)| < .

Para z D(a,) \ {a} tenemos que [a, z] D(a,) y =

e
z + [ z , a ] a es un camino cerrado en por lo que f (w)dw=0,

de donde se deduce que
e e e

f ( w ) dw f ( w ) dw= f ( w ) dw
z z [ a , z]

6 Prez Gonzlez Francisco Javier - Curso De Anlisis Complejo Pg. 84

15
 As, para z D(a,) \ {a} tenemos que
e e

f ( w ) dw f ( w ) dwf ( a )( za )
F ( z ) F ( a )f ( a )( za ) a
= z

za za
e e e

f ( w ) dwf ( a )( za ) f ( w ) dw f ( a ) dw
[ a , z] [a , z ] [a , z ]
= =
za za
f (w )
e

(f ( a )) dw
[ a, z]
z a

Y como [a,z] D(a,deducimos que

f (w )
( f ( a ) )dw
e

[ a , z] mx {[ f ( w ) f ( a)] : w[a , z ] }

| F ( z )F ( a )
za
f (c) = |
De lo anterior se sigue que F es derivable en a y F(a) = f (a), esto es, F es
una primitiva de f en 7

IV.4. EJERCICIOS RESUELTOS

A. Calcular z2 dz , donde es el segmento que une z=i , w=42 i

Im(z) Resolucin

i
= { (1t ) i+tw /0 t 1 }

o { ( 1tRe(z)
) i+t (42i)/0 t 1 }

z ( t4-2i
)=4 t+ ( 13 t ) i ,0 t 1
2
z (t) =16 t 2 +(13 t)2

7 Prez Gonzlez Francisco Javier - Curso De Anlisis Complejo Pg. 85

16
 a 1 1
2 2
z dz = z ( t ) z (t ) dt = [ 16 t 2+ ( 13 t )2 ] ( 43 i) dt
0 0

1 1
25t 2
= (43 i) ( 25 t 6 t+ 1 ) dt=( 43i)( 3 t 2 +t) h
2

0 3 0

( 43 i ) ( 253 3+1)= 193 (43 i)

2

B. Calcular dz+ z 2 d z a lo largo de la curva

: z 2 +2 z z + z 2=( 22 i ) z + ( 2+2 i ) z donde z=1 a z=2+2 i

Resolucin

Identificando la curva : z 2 +2 z z + z 2=( 22 i ) z + ( 2+2 i ) z

2
:(z + z) =2 ( z + z )+2i ( z z ) .(1)
Pero conoce : z+ z=2 x , zz = 2iy ..
(2)
Ahora reemplazamos (2) en (1) es decir:

: 2 x 2=2 ( 2 x )2i ( 2iy ) , en donde

2
1 1
: y=x x , es decir : : y+ =( x ) es una parbola
2
4 2

2i
i

o 1 2 x

: y=x 2x ; 1 x 2

{zz=x+ iy
=xiy { dz=dx +idy

dz=dxidy
m n m

z 2 dz+ z 2 dz= ( x 2 y 22 xy ) ( dx +idy ) + (x 2 y 2+ 2 xyi)(dxidy)

17
 2
2 ( x y ) dx + 4 xydy= [ 2 ( x y ) + 4 x ( x x)(2 x1) ] dx
2 2 2 2 2

( 6 x 4 8 x 3+ 4 x 2 ) dx= 248
150
1

V. Recomendaciones
Analizar con mayor detenimiento lo relacionado a integrales curvilneas
Ampliar los estudios relacionados a integrales curvilneas para su mejor
entendimiento.

18
 VI. Autocrtica.
Durante la elaboracin del informe se ha tenido inconvenientes respecto
a la bsqueda de informacin de nuestro tema, por lo que se ha
generado poco entendimiento.
Al ser un tema recin tratado se ha generado confusin

19
 VII. Lista De Referencias

1. Prez Gonzlez Francisco Javier 2004 - Curso De Anlisis Complejo.

2. Carrasco Mendoza Rosio Variable Compleja.

20