Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Apunte de Catedra - Integral de Linea en El Campo Complejo PDF
Apunte de Catedra - Integral de Linea en El Campo Complejo PDF
CAMPO COMPLEJO
DOCENTES:
Ing. Norberto Claudio MAGGI
Ing. Horacio Raúl DUARTE
INGENIERÍA ELECTROMECÁNICA
Matemática para Ingeniería Electromecánica
CONCEPTOS PREVIOS.
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 )
x( t )
Esta relación establece la condición de continuidad para las funciones de
y ( t )
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 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 ] .
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.
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:
zk
b) Designamos a cada arco así formado con ∆zk . zk*
n
f) Si existe el lim Sn = lim ∑ f ( zk* ) ⋅ ∆zk ; a dicho límite se lo denomina integral de
n →∞ n →∞
k =1
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
1+ i
Ejemplo 1: calcule la integral C ∫ f ( z).dz = ∫
C
0
z.dz ; a lo largo de las trayectorias:
-C
z0
x
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
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
R
C
x
D
Integrales de línea en el campo complejo -9-
INGENIERÍA ELECTROMECÁNICA
Matemática para Ingeniería Electromecánica
C ∫ f ( z).dz = − ∫ f ( z).dz = 0
−C
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
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
∫ + EFA
AME ∫ + DHB
∫ + BGD ∫ =0
∫
C f ( z ). dz − C ∫
1
f ( z ). dz
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 .
dz dz
C4 ∫z 2
=C
+1 5 ∫z 2
+1
por lo mismo; pero las trayectorias cerradas que encierran
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
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
Ejemplo 2:
ez
Calcule C ∫ z+1
⋅ dz siendo C : z =3
z2 + 1 = ( z + i )( z − i )
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 ;
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 ( 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
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:
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.