FÓRMULA DE INTEGRAL DE LÍNEA:

𝑧𝑑𝑧 = 𝑓 𝛾(𝑡) ∙ 𝛾′(𝑡)𝑑𝑡

TEOREMA:

Si 𝑈 ⊆ ℂ simplemente conexo y 𝑓: 𝑈 → ℂ ANALÍTICA en U, si 𝑧 y 𝑧 son puntos de U,

𝑓(𝑧)𝑑𝑧 = 𝐹(𝑧 ) − 𝐹(𝑧 )

EJ1:

𝑒| |
ℝ𝑒(𝑧)𝑑𝑧

𝕀𝑚(𝑧) = ℝ𝑒(𝑧) 
𝛾:
|ℝ𝑒(𝑧)| ≤ 1

Primero analicemos la curva sobre la que tenemos que integrar:

Siendo 𝑧 = 𝑥 + 𝑖𝑦 si la parte real e imaginaria son iguales, entonces x=y.

La curva es una recta de la forma:

𝛾(𝑡) = 𝑡 + 𝑖𝑡

Ahora la otra condición nos dice:

|ℝ𝑒(𝑧)| ≤ 1

De acá definimos los límites de integración:

|ℝ𝑒(𝑧)| ≤ 1 ∴ −1 ≤ ℝ𝑒(𝑧) ≤ 1

−1 ≤ 𝑡 ≤ 1

Con la curva ya definida, obtenemos la derivada de la curva:

𝛾′(𝑡) = 1 + 𝑖
Y reemplazamos en la fórmula de integral de línea, teniendo en cuenta los siguientes
reemplazos:

𝑧 = 𝑥 + 𝑖𝑦 |𝑧| = 𝑥 + 𝑦 ℝ𝑒(𝑧) = 𝑥

𝑒| |
ℝ𝑒(𝑧)𝑑𝑧 = 𝑓 𝛾(𝑡) ∙ 𝛾′(𝑡)𝑑𝑡 = 𝑒 𝑡 ∙ (1 + 𝑖)𝑑𝑡
 𝑡𝑒 ∙ (1 + 𝑖)𝑑𝑡 = 𝑡𝑒 𝑑𝑡 + 𝑖 𝑡𝑒 𝑑𝑡

Ahora se resuelve como una integral común. Uso sustitución en este caso (se puede usar
tabla de integrales sin problemas):

𝑑𝜔
𝜔=𝑡 𝑑𝜔 = 2𝑡𝑑𝑡 = 𝑡𝑑𝑡
2

𝑒 𝑒 𝑒 𝑒
𝑡𝑒 𝑑𝑡 + 𝑖 𝑡𝑒 𝑑𝑡 = 𝑑𝜔 + 𝑖 𝑑𝜔 =   +𝑖 
2 2 4 4

𝑒  𝑒 𝑒 𝑒 𝑒 𝑒 𝑒 𝑒
+𝑖  =  +𝑖  = − +𝑖 − = 0 + 𝑖0 = 0
4 4 4 4 4 4 4 4

EJ2:

𝑧̅
𝑑𝑧
|𝑧|

Con las condiciones:

ℎ, 𝑘 ∈ ℤ 𝛾(𝑡) = 𝑎𝑒 𝑎>0

Este caso es similar, siempre es el mismo procedimiento. Primero analizamos la curva

𝑧 = 𝑟𝑒

𝑧̅ = 𝑟𝑒 =𝑟 𝑒 =𝑟 𝑒

|𝑧| = 𝑟

Nuestra curva es: 𝛾(𝑡) = 𝑎𝑒 (una circunferencia de radio a).

Para componer la función con la curva:

𝑟𝑒 𝑎𝑒 𝑎 𝑒
𝑓 𝛾(𝑡) = °𝑎𝑒 = =
𝑟 𝑎 𝑎

Y la derivada de la curva:

𝛾(𝑡) = 𝑎𝑒 𝛾′(𝑡) = 𝑖𝑎𝑒

Por lo tanto:

𝑧̅ 𝑎 𝑒
𝑑𝑧 = 𝑓 𝛾(𝑡) ∙ 𝛾′(𝑡)𝑑𝑡 = ∙ 𝑖𝑎𝑒 𝑑𝑡
|𝑧| 𝑎
 𝑎 𝑒 𝑎( ) (
𝑒 )
∙ 𝑖𝑎𝑒 𝑑𝑡 = 𝑖 𝑑𝑡 = 𝑖 𝑎( ) (
𝑒 )
𝑑𝑡
𝑎 𝑎

La a no depende del parámetro t, por lo que sale afuera de la integral:

𝑖 𝑎( ) (
𝑒 )
𝑑𝑡 = 𝑖𝑎( )
𝑒( )
𝑑𝑡

Bien, ahora debemos analizar una situación. Esta integral depende del parámetro entero h.
Dependiendo de qué valor tome, puede cambiar la integral. Por lo que en estas situaciones
hay que analizar los distintos casos posibles por separado. En este ejemplo, hay dos
posibilidades: si el exponente es igual a 0 o si es distinto de 0.

CASO 1:

1−ℎ = 0

ℎ=1

𝑖𝑎( )
𝑒( )
𝑑𝑡 = 𝑖𝑎( )
𝑒 𝑑𝑡 = 𝑖𝑎 ( )
𝑑𝑡 = 2𝜋𝑖𝑎( )

CASO 2:

1−ℎ ≠ 0

ℎ≠1

( )
)  𝑒 𝑎( )
 𝑒 (
𝑖𝑎( )
𝑒( )
𝑑𝑡 = 𝑖𝑎( = )
(1 − ℎ)𝑖 (1 − ℎ)

𝑎( )
 𝑒 ( ) 𝑎( )
( ) 𝑎( )
( )
= 𝑒 −𝑒 = 𝑒 −1
(1 − ℎ) (1 − ℎ) (1 − ℎ)

Observemos una cosa. Si h es entero, por lo tanto 1-h es entero también. Llamemos a 1-h
como n. Entonces tenemos 2nπi en el exponente. Esto implica:
( )
𝑒 =𝑒 = 𝑒( )
=𝑒 =1

𝑎( )
( ) 𝑎( )
𝑒 −1 = (1 − 1) = 0
(1 − ℎ) (1 − ℎ)

𝑧̅ ( )
𝑑𝑧 = 2𝜋𝑖𝑎 ℎ =1 
|𝑧| 0 ℎ≠1

∗ ∗
𝑒 = cos(𝑛 ∗ 2𝜋) + 𝑖𝑠𝑒𝑛(𝑛 ∗ 2𝜋) = 1 + 𝑖 ∗ 0 = 1
EJ 3:

Sea 𝐴 = 𝑧 ∈ ℂ: 1 + = 2 hallar los puntos de A cuyas distancias a z=0 sean máxima y

1 𝑧 + 1 𝑧̅ 𝑧𝑧̅ + 𝑧̅ |𝑧| + 𝑧̅ 𝑧̅ 𝑥 − 𝑖𝑦
𝑓(𝑧) = 1 + = ∙ = = =1+ =1+
𝑧 𝑧 𝑧̅ 𝑧𝑧̅ |𝑧| |𝑧| 𝑥 +𝑦

𝑥 − 𝑖𝑦 𝑥 𝑦
𝑓(𝑧) = 1 + = 1+ −𝑖
𝑥 +𝑦 𝑥 +𝑦 𝑥 +𝑦
𝑥
ℝ𝑒 𝑓(𝑧) = 𝑢(𝑥, 𝑦) = 1 +
𝑥 +𝑦
𝑦
𝕀𝑚 𝑓(𝑧) = 𝑣(𝑥, 𝑦) = −
𝑥 +𝑦

Entonces:

1
1+ = |𝑓(𝑧)| = 𝑢(𝑥, 𝑦) + 𝑣(𝑥, 𝑦) =
𝑧

𝑥 𝑦 2𝑥 𝑥 𝑦
= 1+ + − = 1 + + + =
𝑥 +𝑦 𝑥 +𝑦 𝑥 +𝑦 (𝑥 + 𝑦 ) (𝑥 + 𝑦 )

2𝑥 𝑥 𝑦 2𝑥 𝑥 +𝑦
1 + + + = 1+ +
𝑥 +𝑦 (𝑥 + 𝑦 ) (𝑥 + 𝑦 ) 𝑥 +𝑦 (𝑥 + 𝑦 )(𝑥 + 𝑦 )

1 2𝑥 1 2𝑥 + 1
1+ = 1+ + = 1+
𝑧 𝑥 +𝑦 𝑥 +𝑦 𝑥 +𝑦

Entonces ahora planteamos la igualdad del conjunto A:

1 2𝑥 + 1
1+ = 1+ =2
𝑧 𝑥 +𝑦

2𝑥 + 1
1+ =4
𝑥 +𝑦

2𝑥 + 1
=3
𝑥 +𝑦

2𝑥 + 1 = 3𝑥 + 3𝑦

3𝑥 + 3𝑦 − 2𝑥 − 1 = 0

2 1
𝑥 +𝑦 − 𝑥− =0
3 3

Ahora completamos cuadrados para encontrar la curva:

1 1 1
𝑥− +𝑦 − − =0
3 3 9

1 4
𝑥− +𝑦 − =0
3 9

1 4 2
𝑥− +𝑦 = =
3 9 3

Lo que se observa es que el conjunto de puntos A es una circunferencia de radio 2/3

Parametrización:

1 2
𝑥= + 𝑐𝑜𝑠(𝑡)
𝐴= 3 3  
2
𝑦 = 𝑠𝑒𝑛(𝑡)
3

Si observamos bien, la distancia mínima (d) y la máxima (D) están sobre la recta y=0.

Comprobémoslo matemáticamente:

Puntos sobre x=0:

1 4 4 1 1 1
0− +𝑦 = 𝑦 = − = ∴ 𝑦=± = ±0.58
3 9 9 9 3 √3

Puntos sobre y=0:

1 4 1 4
𝑥− +0= 𝑥− =
3 9 3 9
 1 2
𝑥− =±
3 3
2 1
𝑥=± +
3 3
2 1 2 1 1
𝑥 = + =1 𝑥 = − + = − = −0.33
3 3 3 3 3

De estos cuatro puntos, se concluye que el de menor distancia es:

1
𝑝 = − ,0
3

Y el de mayor distancia:

𝑝 = (1,0)

𝑧 + 2𝑧 + 𝑐𝑜𝑠(𝑧) 𝑒 𝑑𝑧

Como todas las funciones son analíticas y el producto de analíticas es analítica, se cumple
la independencia del camino y por lo tanto puedo aplicar regla de Barrow:

𝑧 + 2𝑧 + 𝑐𝑜𝑠(𝑧) 𝑒 𝑑𝑧 = 𝑧 𝑒 𝑑𝑧 + 2𝑧𝑒 𝑑𝑧 + cos (𝑧)𝑒 𝑑𝑧

𝑒 (cos(𝑧) + 𝑠𝑒𝑛(𝑧))
= [𝑒 (𝑧 − 2𝑧 + 2)] + 2[𝑒 (𝑧 − 1)] + =
2

𝑧 = 𝑥 + 𝑖𝑦

𝑐𝑜𝑠𝑧 = 𝑐𝑜𝑠𝑥𝑐𝑜𝑠ℎ𝑦 − 𝑠𝑒𝑛𝑥𝑠𝑒𝑛ℎ𝑦

𝑠𝑒𝑛𝑧 = 𝑠𝑒𝑛𝑥𝑐𝑜𝑠ℎ𝑦 + 𝑐𝑜𝑠𝑥𝑠𝑒𝑛ℎ𝑦

𝑒 = 𝑒 (𝑐𝑜𝑠𝑦 + 𝑖𝑠𝑒𝑛𝑦)

𝑒 = 𝑒 (𝑐𝑜𝑠4 + 𝑖𝑠𝑒𝑛4)

(𝑧 − 1) (𝑧 + 𝑖)
(𝑧 + 2)