Вы находитесь на странице: 1из 17

INTEGRAL DE LÍNEA EN EL

CAMPO COMPLEJO

CARRERA: Ingeniería Electromecánica

ASIGNATURA: Matemática para Ingeniería Electromecánica

DOCENTES:
 Ing. Norberto Claudio MAGGI
 Ing. Horacio Raúl DUARTE
INGENIERÍA ELECTROMECÁNICA
Matemática para Ingeniería Electromecánica

INTEGRAL DE LÍNEA EN EL CAMPO COMPLEJO

CONCEPTOS PREVIOS.

CURVA EN EL CAMPO COMPLEJO


Definición: se denomina curva en el campo complejo al conjunto de puntos del
mismo tales que verifican la siguiente expresión:
z = z(t ) = x(t ) + iy(t ) ∀t a ≤ t ≤ b ; t ∈ R Ecuación vectorial de la curva.

Representación gráfica:

y
Z
A

P (afijo de z) si t = a ; z = z( a) → el afijo es A
z(t) si t = b ; z = z(b ) → el afijo es B
z(a)

z(b) B
x

t
0 a t b

Ejemplos:
t + it para 0 ≤ t ≤ 1 → Curva 1
z = z(t ) = 
y
t + i para 1 ≤ t ≤ 2 → Curva 2 Z

(1,1) C2
z(0) = 0  Recta que va  1 (2,1)

  Curva 1 C1
z(1) = 1 + i  desde ( 0, 0 ) a ( 1, 1 ) 
x
1 2
z(1) = 1 + i  Recta que va 
  Curva 2
z(2) = 2 + i  desde ( 1, 1) a ( 2, 1 ) 

Continuidad.
x = x(t ) 
z(t ) es continua en el [ a , b ] ⇔   son continuas ∀t ∈ [ a , b ]
 y = y (t )

Integrales de línea en el campo complejo -1-


INGENIERÍA ELECTROMECÁNICA
Matemática para Ingeniería Electromecánica

 x( t ) 
Esta relación establece la condición de continuidad para las funciones   de
 y ( t )

modo que la curva definida por z = x(t ) + iy(t ) sea continua.

Derivación:
dz(t )
La derivada de z '(t ) = se define como:
dt
z(t + ∆t ) − z(t )
z '(t ) = lim
∆t → 0 ∆t

Interpretación geométrica.
y Pasos para obtener la derivada.
A - El incremento de la función z(t ) es
P

∆z(t ) = z(t + ∆t ) − z(t ) = PQ
∆z(t) z'(t)
z(t)
z(t + ∆t ) − z(t )
Q - Cociente incremental = vector de
∆t
z(t+∆t) B
igual sentido que ∆z(t ) si ∆t > 0 .
x
z(t + ∆t ) − z(t )
t - Paso al límite: lim = z '(t )
0 a t t+∆t b
∆t → 0 ∆t
Si ∆t → 0 ⇒ t + ∆t → t ⇒ Q → P por lo que las
sucesivas rectas secantes a la curva en P se
transforma en la recta tangente a la curva P .

Curva orientada: dada una C ; la misma puede ser orientada de dos maneras:
desde A hacia B ó desde B hacia A. Se conviene orientar a las curvas del plano
complejo según los valores de t crecientes en el intervalo de definición.

Curva opuesta: dada una curva C orientada en un sentido, se denomina curva


opuesta C a la misma curva pero orientada en sentido opuesto.

Curva regular: una curva definida por z(t ) = z(t ) + iy(t ) , con t perteneciente al
intervalo [ a , b ] , se dice regular en [ a , b ] si y sólo si se cumple que:
- La derivada de z(t ) es continua para todo t ∈ [ a , b ] .
- La derivada z '(t ) ≠ 0; ∀∈ [ a , b ] .

Integrales de línea en el campo complejo -2-


INGENIERÍA ELECTROMECÁNICA
Matemática para Ingeniería Electromecánica

dz(t )
La primera condición implica que cuando = x '(t ) + iy '(t ) es continua, debe
dt
x '( t )   x( t ) 
verificarse que   son continuas en [ a , b ] . Esto es a su vez que   son
 y '( t )  y ( t )

continuas en [ a , b ] .
La segunda condición implica que el vector tangente a la curva en cada uno de
sus puntos debe existir (no ser nulo). El módulo de dicho vector es:
2 2
z '(t ) = [ x '(t )] + [ y '(t )] ≠0

Curva simple: una curva definida por z(t ) = z(t ) + iy(t ) con t ∈ [ a , b ] , se dice
simple si y sólo si siendo t1 y t2 puntos pertenecientes al intervalo [ a , b ] (es
decir a < t1 < t2 < b ), se verifique z(t1 ) ≠ z(t2 ) . Esto significa que la curva ó arco
no se corta a sí mismo. Una curva simple se denomina arco simple o arco de Jordan.

Curva cerrada: una curva definida por z(t ) = z(t ) + iy(t ) con t ∈ [ a , b ] , se dice
cerrada si se verifica que: z( a) = z(b ) . Una curva simple cerrada se denomina curva
de Jordan.

Ejemplo 1:
Sea la curva C definida: z(t ) = a.cos t + i.a.sen t ; 0 ≤ t ≤ 2π
z(0) = a 
 ⇒ C es cerrada
z(2π ) = a 
Puede probarse que es simple: para cualquier valor de t , interior al intervalo
[0, 2π ] , la curva no tiene los mismos valores.
z(t1 ) ≠ z(t2 ) ∀t1 , t2 0 < t1 < t2 < 2π

x '(t ) = − a.sen t
Es regular: z '(t ) = − a.sen t + i.a.cos t  son continuas, lo que
 y '(t ) = a.cos t
cumple con la primera condición.

( − a.sen t ) + ( a.cos t ) = a2 ( cos2 t + sen 2 t ) = a > 0 ; por lo tanto


2 2
Luego: z '(t ) =

z '(t ) es no nulo para todo t ∈ [ a , b ] , lo que cumple con la segunda condición.


La curva es regular, cerrada y simple: es una curva de Jordan.

Integrales de línea en el campo complejo -3-


INGENIERÍA ELECTROMECÁNICA
Matemática para Ingeniería Electromecánica

y
Z
a
Circunferencia de centro ( 0, 0 ) y radio a ,
x
orientada según los valores de t crecientes.

t
0 2π

Ejemplo 2:
z(t ) = z0 + a.cos t + i.a.sen t ; 0 ≤ t ≤ 2π
y
Z
a Circunferencia de centro z0 y radio a
z0

Ejemplo 3:

Curva simple Curva no simple Curva simple Curva no simple


no cerrada no cerrada cerrada cerrada

También suelen denominarse contorno, o arco regular a trozos, a los arcos


formados por un número finito de arcos regulares con extremos comunes.

INTEGRAL DE LÍNEA EN EL CAMPO COMPLEJO


Sea f ( z) = w una función analítica en un dominio D incluido en el plano
complejo. Sea w = f ( z) = u ( x , y ) + iv ( x , y ) continua en el dominio D , por lo que:
u =u( x , y ) 
  son continuas ∀ ( x , y ) ∈ D .
 v = v( x , y ) 

Consideremos una curva C (también llamada y


Z
contorno) definida por:
C zn-1 z=zn
C : z(t ) = x(t ) + iy(t ); a ≤ t ≤ b
z3
z2
Seguimos el siguiente procedimiento: z1
z0
a) Dividimos la curva C en n arcos mediante la x

consideración de puntos sobre la misma: t


z1 , z2 , z3 ,..., zn− 1 z( a) = z0 ; z(b ) = zn 0 a b

Integrales de línea en el campo complejo -4-


INGENIERÍA ELECTROMECÁNICA
Matemática para Ingeniería Electromecánica

zk
b) Designamos a cada arco así formado con ∆zk . zk*

∆zk = zk − zk − 1 ; con 1 ≤ k ≤ n . ∆zk


zk-1

c) En cada uno de los arcos elegimos arbitrariamente un punto


que denominamos zk* y en él calculamos la imagen dada por
w = f ( z) ,
f ( zk* ) , el cual existirá por ser f ( z) analítica ∀z ∈ D .

d) Efectuamos el producto f ( zk* ) ⋅ ∆zk en cada arco.

e) Calculamos la suma de los productos anteriores para los n arcos:


n
Sn = ∑ f ( zk* ) ⋅ ∆zk
k =1

n
f) Si existe el lim Sn = lim ∑ f ( zk* ) ⋅ ∆zk ; a dicho límite se lo denomina integral de
n →∞ n →∞
k =1

línea de la función f ( z) = w sobre la curva C desde z0 a z . La curva C es la


trayectoria de integración.
En símbolos:
n
z Integral curvilínea ó integral de
C ∫ f ( z).dz = lim Sn = lim ∑ f ( zk* ) ⋅ ∆zk
z0 x →∞
∆z k → 0
x →∞
∆zk → 0 k = 1
contorno de f sobre C .

Así como en el caso de integrales de una sola variable pueden interpretarse


como el valor de un área, o de un volumen en el caso de funciones de dos
variables, no es posible dar una interpretación análoga geométrica o física para
las integrales en el campo complejo.
Así como las integrales reales se definían sobre intervalos de la recta real, se
definen integrales de funciones complejas de variable compleja sobre curvas en
el plano complejo.
Si la trayectoria C es una curva cerrada, se simboliza: C ∫ f ( z).dz

Cálculo mediante integrales reales.


Consideremos la función f ( z) como una función de dos variables reales:
f ( z) = u( x , y ) + iv( x , y )

Integrales de línea en el campo complejo -5-


INGENIERÍA ELECTROMECÁNICA
Matemática para Ingeniería Electromecánica

Si z = x + iy , entonces zk* = x k* + iy k* , y ∆zk = ∆xk + i∆y k .

f ( zk* ) = u ( x k* , y k* ) + iv ( x k* , y k* ) ; y la sumatoria Sn :
n n
Sn = ∑ f ( zk* ) ⋅ ∆zk =∑  u ( x k* , y k* ) + iv ( x k* , y k* )  ⋅ [ ∆x k + i∆y k ]
k =1 k =1

y
Z
yk zk ∆zk = zk − zk − 1
∆ zk 
∆zk = ∆x k + i∆y k
yk-1 zk-1
x
xk-1 xk
Podemos expresar:
n n
Sn = ∑ u ( x k* , y k* ) ∆x k − v ( x k* , y k* ) ∆y k  + i ∑ u ( x *
k , y k* ) ∆y k + v ( x k* , y k* ) ∆x k 
k =1 k =1

∆x k → 0
Tomando límite para n → ∞ ; máx ∆zk → 0 ⇒  resulta:
∆y k → 0
z z
C ∫ z0
f ( z).dz =C ∫ ( u + iv ) ( dx + idy )
z0

Cálculo mediante integrales ordinarias de variable real.


Debe considerarse que C puede expresarse paramétricamente:
x(t )
C : z(t ) = x(t ) + iy(t ) ⇒ C :  con a ≤ t ≤ b (pág. 1)
 y (t )
La integral se expresa como:
b
C ∫ f ( z).dz = ∫ {u [ x(t ), y(t )] + iv [ x(t ), y(t )]} ⋅ [ dx(t ) + idy(t )]
C
a

En forma abreviada puede expresarse:


z b d
C ∫ z0
f ( z).dz = ∫ f [ z(t )] ⋅
a dt
[ z(t )] ⋅ dt
Esquemáticamente:
x → t
w = f ( z) ⇒ w → z 
y → t
x → t
dz ⇒ dz → z 
y → t
El cálculo de una integral curvilínea de una función compleja de variable
compleja puede reducirse al cálculo de una integral definida de una función de
una sola variable t .

Integrales de línea en el campo complejo -6-


INGENIERÍA ELECTROMECÁNICA
Matemática para Ingeniería Electromecánica

1+ i
Ejemplo 1: calcule la integral C ∫ f ( z).dz = ∫
C
0
z.dz ; a lo largo de las trayectorias:

a) C : segmento de recta que une los puntos ( 0, 0 ) y ( 1, 1 ) .


b) C : definida z(t ) = t + it 2 ; 0 ≤ t ≤ 1
a)
y
Z x( y ) = t ; dx = dt
La curva C puede expresarse como: 
 y(t ) = t ; dy = dt
(1,1)
i 0≤t≤1
C
z(t ) = t + it
x
(0,0) 1 dz = dx + idy = dt + idt
t
0 1
1+ i ( 1,1 ) 1 1
C ∫ 0
z.dz = ∫
0
( x + iy )( dx + idy ) = ∫0 ( t + it )( dt + idt ) = ( 1 + i ) ∫0 ( t + it ).dt =
1
t2 t2  1 1 1 1 1 1
= (1 + i)  + i  = (1 + i) + i  =  −  + i  +  = i
2 2 0 2 2 2 2 2 2
b)
y
Z
x( y ) = t ; dx = dt
La curva C puede expresarse como:  2
 y(t ) = t ; dy = 2t.dt
(1,1)
i 0≤t≤1
C z(t ) = t + it 2
x
(0,0) 1 dz = dx + idy = dt + i 2t.dt
t
0 1
1+ i ( 1,1) 1 1
C ∫ 0
z.dz = ∫
0
( x + iy )( dx + idy ) = ∫0 ( t + it 2 ) ( dt + i 2t.dt ) = ∫0 ( t + it 2 ) ( 1 + i 2t ) .dt =
1
1  t2 2 
1 1 1
= ∫ ( t + i 2t + it − 2t ) .dt = ∫ ( t + i 3t − 2t ) .dt =  + it 3 − t 4  = + i − = i
2 2 3 2 3
0 0
2 4 0 2 2

Propiedades de la integral de línea.


Propiedad de linealidad: la integral de línea de una combinación lineal de
funciones es igual a la combinación lineal de las integrales en el mismo orden.
z z z
C ∫ [ a. f ( z) + b. f
z0
1 2 ( z)] .dz = a.C ∫ f 1 ( z).dz + b.C ∫ f 2 ( z).dz
z0 z0

Esta propiedad se demuestra sobre la misma base que se verifica para la


integración en el campo real.

Integrales de línea en el campo complejo -7-


INGENIERÍA ELECTROMECÁNICA
Matemática para Ingeniería Electromecánica

Propiedad aditiva respecto de la trayectoria de integración.


y
Z
z2 z1 z2
C2 z2 C ∫
z0
f ( z).dz =
C1

z0
f ( z).dz +
C2

z1
f ( z).dz
C1 z1 si se verfica que: C = C 1 + C 2
z0
x

Cambio de orientación de la trayectoria de integración.


Al cambiar el sentido de orientación de la curva o trayectoria de integración, la
integral compleja cambia de signo, manteniendo el mismo valor del módulo.
y
Z
C z z z0
C ∫ z0
f ( z ).dz = − −C ∫ f ( z ).dz
z

-C
z0
x

Acotación del módulo de la integral.


Observación: si una función f ( z) es analítica a lo largo de una curva C ,
entonces está acotada sobre la misma.
u( x , y ) 
En efecto, si w = f ( z) = u ( x , y ) + iv ( x , y ) es analítica en C ⇒   son
 v( x , y ) 

continuas para todo z ∈ C .


2 2 M ∈ 
El módulo de f ( z) es: f ( z) = u ( x , y )  +  v ( x , y )  ≤ M ; 
 M > 0
son números reales

Si una función f ( z) es analítica sobre una curva C , y si la longitud de la curva


es L , la integral curvilínea de f ( z) está acotada por el producto M.L , siendo
M la cota de f ( z ) y L la longitud de la curva C .

 f ( z) ≤ M → cota de la función
C ∫ f ( z).dz ≤ M.L ; con L = longitud de C

Demostración:
n
La integral fue obtenida de una sumatoria: Sn = ∑ f ( zk* ) ⋅ ∆zk ; por lo tanto:
k =1

n n n
Sn = ∑ f ( zk* ) ⋅ ∆zk ≤ ∑ f ( zk* ) ⋅ ∆zk = ∑ f ( zk* ) ⋅ ∆zk
k =1 k =1 k =1

Integrales de línea en el campo complejo -8-


INGENIERÍA ELECTROMECÁNICA
Matemática para Ingeniería Electromecánica

Si f ( z) es analítica ⇒ f ( z) ≤ M . f ( z) está acotada sobre la curva C .


En consecuencia:
n n n
Luego: Sn ≤ ∑ M. ∆zk = M ∑ ∆zk ; donde ∑ ∆z k = longitud de la poligonal
k =1 k=1 k =1

sobre la curva C .
n
Cuando pasamos al límite n → ∞ : ∑ ∆z
k =1
k = L , la longitud de la curva C .

n
lim Sn = lim ∑ f ( zk* )∆zk = C ∫ f ( z).dz ≤ M.L
x →∞ x →∞
∆zk → 0 ∆zk → 0 k = 1

Teorema de la integral de Cauchy (Teorema de Cauchy-Goursat)


Si f ( z ) es una función analítica en un dominio D del plano complejo,
simplemente conexo, y C es una curva simple regular cerrada contenida en D ;
entonces:
C : curva orientada en sentido positivo
C ∫ f ( z).dz = 0
R : recinto simplemente conexo encerrado por C
Si f ( z) = u ( x , y ) + iv ( x , y ) es analítica en D , la integral curvilínea es:

C ∫ f ( z).dz =C ∫ u.dx − v.dy + i C ∫ v.dx + u.dy


Por ser f ( z ) continua en D , las funciones u ( x , y ) y v ( x , y ) son continuas en D .
δu δu δv δ v
Las derivadas parciales de primer orden: ; ; ; son continuas en D .
δx δy δx δy
El Teorema de Green en el plano nos permite reescribir la integral de la
siguiente manera:
 δv δu  δu δ v 
C ∫ f ( z).dz = ∫∫ R
 − − 
 δx δy 
.dx.dy + i ∫∫ 
R δx

− .dx.dy
δy 
Pero, de acuerdo a las ecuaciones de Cauchy-Riemann:
δu δ v δu δv
= ; =−
δx δy δy δx
los integrandos de estas dos integrales dobles son cero en todo R .
Si f ( z ) es analítica y f '( z ) es continua en D :
y
Z
C ∫ f ( z).dz = 0

R
C
x
D
Integrales de línea en el campo complejo -9-
INGENIERÍA ELECTROMECÁNICA
Matemática para Ingeniería Electromecánica

La orientación de la curva C no tiene importancia para el valor de la integral.

C ∫ f ( z).dz = − ∫ f ( z).dz = 0
−C

Nota: Goursat fue el primero en demostrar que la condición de continuidad de


f '( z) se puede omitir.

Consecuencias del teorema de la integral de Cauchy.


La integral curvilínea de f ( z) (analítica en el dominio D ) entre dos puntos
cualesquiera de un dominio simplemente conexo, es independiente de la
trayectoria que une aquellos puntos.
y
Z

z1 z1
∫ ∫
C1
z1 C1 f ( z).dz =C2 f ( z).dz
z0 z0
-C2
z0 C2

x
D
Las curvas C 1 y C 2 no se intersectan, salvo en los puntos extremos z0 y z1 .
Tomemos una trayectoria cerrada y simple C , formada por C 1 y por C 2
orientadas en sentido opuesto.
C = C 1 + ( −C 2 ) , la integral a lo largo de C es:
z1 z0
C ∫ f ( z).dz =C1 ∫ z0
f ( z).dz + −C2 ∫z1
f ( z).dz = 0 , por el Teorema de Cauchy-Goursat.
z1 z0 z1 z0
0 =C 1 ∫
z0
f ( z).dz + −C2 ∫ z1
f ( z).dz ⇒C1 ∫z0
f ( z).dz = − −C2 ∫ f ( z).dz
z1

z0 z0 z1 z0
pero: − −C2 ∫ f ( z).dz =C2 ∫ f ( z).dz ; por lo que: C1 ∫ f ( z).dz =C2 ∫ f ( z).dz
z1 z1 z0 z1

Caso de contornos cerrados simples.


y
Z
z1
f ( z).dz 
C1 z1 z1
C3 ∫z0
f ( z).dz =C1 ∫z0  z1 z1
 C1 ∫z f ( z).dz =C2 ∫
C3 f ( z).dz
z1 z1 z0
∫ ∫ f ( z).dz  0
f ( z).dz =C2
C2
C3
z0 z0 
z0
x

Esto constituye el Principio de Deformación de la Trayectoria. La integral de línea


entre dos puntos fijos de un dominio D , simplemente conexo, efectuada sobre
una curva que los une no altera su valor si la curva sufre una deformación

Integrales de línea en el campo complejo - 10 -


INGENIERÍA ELECTROMECÁNICA
Matemática para Ingeniería Electromecánica

continua, manteniendo sus extremos fijos y siempre que al producirse tal


deformación, la curva no contenga puntos del plano donde f ( z) deje de ser
analítica.

Generalización del Teorema de la Integral de Cauchy a dominios


múltiplemente conexos
Sea C una curva simple cerrada y sean C j ( j = 1, 2,..., n) un número finito de
contornos simples cerrados dentro de C , tales que las regiones interiores a cada
C j no contengan puntos en común. Sea R la región cerrada formada por todos
los puntos dentro de C , salvo los puntos interiores a cada C j . Denotaremos por
Q a toda la frontera orientada de R formada por C y todos los contornos C j ,
recorridos de modo que los puntos interiores queden a la izquierda de Q. Si
f ( z) es analítica en todo R :

Q ∫ f ( z).dz = 0
y D1
E Z
F
Dominio doblemente conexo D
G D
C1 D2 C
Fronteras 
C 1
B H
M

A
C
x


y DE
Al unir las fronteras con dos trayectorias AB
, el dominio queda dividido
en dos dominios simplemente conexos, de modo que en cada uno de ellos
podemos aplicar el Teorema de la Integral de Cauchy.
D1 y D2 dominios simplemente conexos:
f ( z) analítica en D1 f ( z) analítica en D2


AME ∫
∫ + DHB
+ ED ∫ + BA

∫ =0

AB ∫ ∫ + DE
+ BGD
∫ + EFA
∫ =0

Sumando las ecuaciones anteriores miembro a miembro, observamos que las


integrales de las trayectorias que unen los puntos E con D y A con B se
anulan por tener sentido opuesto, con lo que nos que nos queda:

∫ + EFA
AME ∫ + DHB
∫ + BGD ∫ =0
     

C f ( z ). dz − C ∫
1
f ( z ). dz

Teorema de la Integral de Cauchy en


⇒ C ∫ f ( z).dz −C 1 ∫ f ( z).dz = 0
dominios múltiplemente conexos

Integrales de línea en el campo complejo - 11 -


INGENIERÍA ELECTROMECÁNICA
Matemática para Ingeniería Electromecánica

Dominios n-conexos.
y D1
Z
Cj
C2
C ∫ f ( z).dz −C1 ∫ f ( z ).dz −C2 ∫ f ( z ).dz = 0
C
C1
x
de donde se obtiene:
n−1
Generalización del Teorema de Cauchy para dominios
C ∫ f ( z).dz = ∑ C j
∫ f ( z).dz
j =1
n-conexos.

Ejemplo 1:
z1 dz
Calcule la integral C ∫z0 z +12
a través de las trayectorias C1 ; C 2 ; C 3 ; C 4 y C 5 .

y C1 Z Puede afirmarse que:


z0 z1 dz dz
∫z ∫z
C2
i C3 =C ; puesto que en el recinto R1 ,
C1 2 2
C4
+1 2 +1
x
C5
f ( z) es analítica.
-i

dz dz
C4 ∫z 2
=C
+1 5 ∫z 2
+1
por lo mismo; pero las trayectorias cerradas que encierran

puntos como z = i y z = −i , donde f ( z) no es analítica (por no ser continua) no


permiten aplicar el Teorema de la integral de Cauchy.

Ejemplo 2:
dz
Calcule la integral C ∫ z ( z 2 2
+ 9)
en C : 1 ≤ z ≤ 2

y
Z
3i z = 0
C1 
x Ceros del denominador  z = 3i
0 1 2

C2
 z = −3i
-3i

dz dz dz
C ∫ z (z2 2
=C
+ 9) 2 ∫ z (z
2 2
−C
+ 9) 1 ∫ z (z 2 2
+ 9)
= 0 ; pues el interior es analítico en

todos los puntos de la corona con frontera.


B = C2 + C1

Integrales de línea en el campo complejo - 12 -


INGENIERÍA ELECTROMECÁNICA
Matemática para Ingeniería Electromecánica

Fórmula de la Integral de Cauchy


Sea f ( z) una función analítica en un dominio D , y C una curva enteramente
contenida en D , con orientación positiva. Si z0 es cualquier punto interior a C ,
entonces se verifica:
y
Z

1 f ( z)
f ( z0 ) = ⋅C ∫ ⋅ dz z0
2π i z − z0 C
x
D
Esta fórmula nos dice que si se cumplen las condiciones anteriores, los valores
de la función f ( z) en puntos interiores a C quedan completamente
determinados por los valores f ( z) en la curva C . Al escribir la fórmula anterior
de la forma:
f ( z)
C ∫ z − z0
⋅ dz = 2π i ⋅ f ( z0 )

puede usarse para calcular el valor de ciertas integrales sobre contornos (curvas
simples cerradas).

Ejemplo 1:
ez
Calcule C ∫ z−1
⋅ dz siendo C : z−1 = 2

y Si hacemos f ( z) = e z → analítica ∀z → analítica


Z
en C y su interior, la integral resulta:
r=2
ez
x C ∫ z−1
⋅ dz = 2π i  e z  z = 1 = 2π ei
1 2 3

Ejemplo 2:
ez
Calcule C ∫ z+1
⋅ dz siendo C : z =3

z2 + 1 = ( z + i )( z − i )

Integrales de línea en el campo complejo - 13 -


INGENIERÍA ELECTROMECÁNICA
Matemática para Ingeniería Electromecánica

ez ez ( z + i )
y
(1) Se hace f ( z) = →
(z + i) C ∫ (z − i)
⋅ dz ;
C Z
la función no es analítica en el interior de C , no
i r=3
x puede usarse la fórmula de Cauchy.
-i ez ( z − i )
ez
(2) Se hace f ( z) = →
(z − i) C ∫ (z + i)
⋅ dz ;

la función tampoco es analítica en el interior de C .


No puede utilizarse la fórmula de Cauchy en ninguno de los dos casos.

Ejemplo 3:
Si cambio el contorno de integración a C : z − i = 1 ,
y ez
Z puede hacerse f ( z) = y
C
r =1 (z + i)
i
x z0 = i → f ( z) es ahora analítica en el interior de C
-i
ez ( z + i )  ez  ei
C ∫ ( )
z − i
⋅ dz = 2π i 
 z + i 
 z =i
= 2π i
2 i
= π ei

Ejemplo 4:
z.dz
y
Calcule C ∫ ( z 2
− 9)( z + i)
en C : z = 2
Z
C
r =2
La función integrando no es analítica en
i
x z = 3; z = −3; z = −i
-3 1 2 3
-i z
Haciendo f ( z) = y z = −i → esta f ( z) es
( z − 9) 0
2

analítica en el interior de C .
f ( z) z ( z2 − 9 )  z  i π
C ∫ ( z − z0 )
⋅ dz =C ∫ ( z + i ) ⋅ dz = 2π i  2 
 z − 9  z =− i
= 2π i ⋅
10
= −
5

Fórmula de la integral de Cauchy extendida a dominios múltiplemente


conexos.
Sea f ( z) una función analítica en un dominio D doblemente conexo y z0 un
punto interior del mismo. Sean, además, C y C 1 las fronteras de dicho dominio.
Se verifica entonces:
1 f ( z) 1 f ( z)
f ( z0 ) =
2π i
⋅C ∫ z − z 0
⋅ dz −
2π i
C1 ∫ z − z 0
⋅ dz

Integrales de línea en el campo complejo - 14 -


INGENIERÍA ELECTROMECÁNICA
Matemática para Ingeniería Electromecánica

Consideremos una curva simple cerrada C 0 que


encierra a z0 y que no intercepte a las curvas C y
y
Z
C f ( z)
C 1 . De esta manera, la función es analítica
z − z0
en el nuevo dominio triconexo de fronteras C ,
C1 z
0

C 1 y C 0 ; por lo que podemos aplicar la


x
generalización del Teorema de Cauchy a
dominios n-conexos.
f ( z) f ( z) f ( z)
C ∫ z − z 0
⋅ dz −C1 ∫ z − z 0
⋅ dz −C0 ∫ z − z 0
⋅ dz = 0

f ( z)
Pero este último término: C0 ∫ z − z 0
⋅ dz = 2π i. f ( z0 ) ; de modo que:

f ( z) f ( z)
C ∫ z − z 0
⋅ dz −C1 ∫ z − z 0
⋅ dz = 2π i. f ( z0 ) ; ordenando concluimos:

1  f ( z) f ( z) 
f ( z0 ) =  C ∫ ⋅ dz −C1 ∫ z − z ⋅ dz − 
2π i  z − z0 0 
Para dominios n-conexos:
y D1
Z
C1
Cj 1  f ( z) n
f ( z) 
f ( z0 ) =  C ∫
2π i  z − z0
⋅ dz − ∑ ∫
Cj 
z − z0
⋅ dz 
C2 C
j =1 
z0
x

Derivadas de funciones analíticas.


Puede demostrarse que si una función es analítica en un punto z0 , sus
derivadas de todos los órdenes existen, y son analíticas en dicho punto.

Propiedad fundamental.
Sea f ( z) una función analítica en un dominio D . Admite por lo tanto derivadas
de todos los órdenes en D , que son a su vez funciones analíticas en dicho
dominio. El valor de dichas derivadas puede calcularse con la siguiente
expresión:

Integrales de línea en el campo complejo - 15 -


INGENIERÍA ELECTROMECÁNICA
Matemática para Ingeniería Electromecánica

1 f ( z)
f '( z0 ) = ⋅C ∫ 2
⋅ dz
y
Z
2π i ( z − z0 )
2 f ( z)
f ''( z0 ) =
2π i
⋅C ∫ ( z − z ) 3
⋅ dz
0
z0
C ………………………………….. generalizando
x n! f ( z)
f ( n) ( z0 ) =
2π i
⋅C ∫ ( z − z ) n+1
⋅ dz ; ( n = 0, 1, 2,...)
0

Bibliografía
1. CHURCHILL, R., BROWN, J. Variable compleja y aplicaciones. 7º Edic.
Mc Graw-Hill. 2004.
2. KREYZSIG, E. Matemáticas avanzadas para ingeniería. Limusa-Wesley.
1967.
3. SPIEGEL, M. Variable compleja. Mc Graw-Hill. 1991.

Integrales de línea en el campo complejo - 16 -

Вам также может понравиться