Asignatura: Variable compleja II.

Carrera: Licenciatura en matemáticas

Alumno: Raúl Ibáñez Couoh

Matrícula: ES172001745

Docente: Ramiro Vázquez Vera

Unidad 1. Integración compleja.

Evidencia de aprendizaje. Conjuntos relaciones y funciones.

Versión 2

06/02/2020, Zihuatanejo, Guerrero, México.

Para mi parametrización, utilizaré lo siguiente:
𝛾𝛾: [cos(𝑡𝑡) + 𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖(𝑡𝑡)] ∙ 𝑒𝑒 𝑖𝑖𝑖𝑖
Lo cual, representado en forma exponencial nos da lo siguiente:
𝛾𝛾: 𝑒𝑒 𝑖𝑖𝑖𝑖 ; 0 ≤ 𝑡𝑡 ≤ 𝜋𝜋
𝑡𝑡 irá de 0 a 𝜋𝜋 debido a que se trata de una semicircunferencia.

Dada la proposición siguiente:

Sea 𝑓𝑓continua en un conjunto abierto 𝐴𝐴 y sea 𝛾𝛾 una curva 𝐶𝐶 1 por tramos en 𝐴𝐴. Si
existe una constante 𝑀𝑀 ≥ 0 tal que |𝑓𝑓(𝑧𝑧)| ≤ 𝑀𝑀 para todo punto 𝑧𝑧 en 𝛾𝛾, entonces:

�� 𝑓𝑓 � ≤ 𝑀𝑀𝑀𝑀(𝛾𝛾)
𝛾𝛾

(2 ∗ 1 ∗ 𝜋𝜋)
𝑙𝑙 =
2
𝑙𝑙 = 𝜋𝜋
Si:
|𝑧𝑧 4 | − |1| ≤ |𝑧𝑧 4 + 1|
Entonces:
1 1
≥ 4
|𝑧𝑧 4 + 1| |𝑧𝑧 | − 1
En este caso M=1/2

𝜋𝜋
�� 𝑓𝑓� ≤
𝛾𝛾 2
Sea la circunferencia:
𝛾𝛾: 𝑒𝑒 2𝑖𝑖𝑖𝑖 ; 0 ≤ 𝑡𝑡 ≤ 2𝜋𝜋
𝑡𝑡 irá de 0 a 2𝜋𝜋 debido a que se trata de una circunferencia.
Para dar solución a nuestro problema, es necesario tener presente la siguiente
proposición:

Sean 𝑓𝑓, 𝐴𝐴 y 𝛾𝛾 como arriba y escribamos 𝑓𝑓 = 𝑢𝑢 + 𝑖𝑖𝑖𝑖 y 𝛾𝛾(𝑡𝑡) = �𝑥𝑥(𝑡𝑡), 𝑦𝑦(𝑡𝑡)�. Entonces:

� 𝑓𝑓(𝑧𝑧) = � [𝑢𝑢(𝑥𝑥, 𝑦𝑦)𝑑𝑑𝑥𝑥 − 𝑣𝑣(𝑥𝑥, 𝑦𝑦)𝑑𝑑𝑦𝑦] + 𝑖𝑖 � [𝑢𝑢(𝑥𝑥, 𝑦𝑦)𝑑𝑑𝑦𝑦 + 𝑣𝑣(𝑥𝑥, 𝑦𝑦)𝑑𝑑𝑥𝑥]

𝛾𝛾 𝛾𝛾 𝛾𝛾

Una forma de escribir la fórmula anterior es:

𝑓𝑓(𝑧𝑧)𝑑𝑑𝑧𝑧 = (𝑢𝑢 + 𝑖𝑖𝑖𝑖)(𝑑𝑑𝑑𝑑 + 𝑖𝑖𝑖𝑖𝑖𝑖) = 𝑢𝑢𝑑𝑑𝑑𝑑 − 𝑣𝑣𝑣𝑣𝑣𝑣 + 𝑖𝑖(𝑢𝑢𝑢𝑢𝑢𝑢 + 𝑣𝑣𝑣𝑣𝑣𝑣)
Tenemos que:
Sea 𝛾𝛾: 𝑧𝑧 = 𝑧𝑧(𝑡𝑡), 𝛼𝛼 ≤ 𝑡𝑡 ≤ 𝛽𝛽, un arco suave, y 𝑓𝑓(𝑧𝑧) = 𝑢𝑢 + 𝑖𝑖𝑖𝑖 continua en 𝛾𝛾. Así, la
integral de línea de 𝑓𝑓 sobre 𝛾𝛾 se encontrará determinada por
𝛽𝛽
� 𝑓𝑓(𝑧𝑧)𝑑𝑑𝑑𝑑 = � 𝑓𝑓�𝑧𝑧(𝑡𝑡)�𝑧𝑧 ′ (𝑡𝑡)𝑑𝑑𝑑𝑑
𝛾𝛾 𝛼𝛼

Elaboramos operaciones y obtenemos el resultado:

2𝜋𝜋

� sin (cos(2𝑡𝑡) ∗ [−cos (2 ∗ sin(2𝑡𝑡))(2 sin(2𝑡𝑡) + 2 sin(2 sin(2𝑡𝑡)) cos (2𝑡𝑡)] 𝑑𝑑𝑡𝑡
0
\2𝑝𝑝𝑝𝑝

+ 𝑖𝑖 � sin(cos(2𝑡𝑡))
0
∗ [2 cos(2 sin(2𝑡𝑡)) cos(2𝑡𝑡) − 2sin (2𝑠𝑠𝑠𝑠𝑠𝑠(𝑡𝑡))sin (2𝑡𝑡)] = 0
Otra manera de calcular es la siguiente:
2
2𝜋𝜋
2
𝑑𝑑 𝑑𝑑
� sin(sin(2𝑡𝑡)) �� cos (2𝑡𝑡)� + � 𝑖𝑖 ∗ sin (2𝑡𝑡)� = 0
𝑑𝑑𝑑𝑑 𝑑𝑑𝑑𝑑
0

Otra manera de calcular sería haciendo uso de Mathcad Prime 6.0.

Donde las flechas → significan evaluación simbólica:
 −4.122𝑖𝑖 ∙ 10−16 ≈ 0
Como 𝑧𝑧1 = 𝑧𝑧0 = 2
𝑧𝑧1

� sin(𝑧𝑧) 𝑑𝑑𝑧𝑧 = 0
𝑧𝑧0

𝑒𝑒 𝑖𝑖𝑖𝑖 , 0 ≤ 𝑡𝑡 ≤ 𝜋𝜋
𝛾𝛾: 𝑧𝑧(𝑡𝑡) = � 𝜋𝜋
𝑒𝑒 𝑖𝑖𝑖𝑖,− 2 ≤𝑡𝑡≤0
𝑖𝑖𝑖𝑖
𝛾𝛾 ′ = 𝑧𝑧(𝑡𝑡)′ = �𝑖𝑖𝑒𝑒 𝑖𝑖𝑖𝑖
𝑖𝑖𝑒𝑒
Con la ayuda de Matlab realizo la gráfica
En este caso como la gráfica no es cerrada:
Sea 𝛾𝛾: 𝑧𝑧 = 𝑧𝑧(𝑡𝑡), 𝛼𝛼 ≤ 𝑡𝑡 ≤ 𝛽𝛽, un arco suave, y 𝑓𝑓(𝑧𝑧) = 𝑢𝑢 + 𝑖𝑖𝑖𝑖 continua en 𝛾𝛾. Así, la
integral de línea de 𝑓𝑓 sobre 𝛾𝛾 se encontrará determinada por
𝛽𝛽
� 𝑓𝑓(𝑧𝑧)𝑑𝑑𝑑𝑑 = � 𝑓𝑓�𝑧𝑧(𝑡𝑡)�𝑧𝑧 ′ (𝑡𝑡)𝑑𝑑𝑑𝑑
𝛾𝛾 𝛼𝛼

Elaboramos las operaciones necesarias:

2𝜋𝜋 0
𝑖𝑖𝑖𝑖 2 2
� 𝑧𝑧 2 𝑑𝑑𝑑𝑑 = � 𝑒𝑒 ∗ �𝑖𝑖𝑒𝑒 𝑖𝑖𝑖𝑖 �𝑑𝑑𝑡𝑡 + � 𝑒𝑒 𝑖𝑖𝑖𝑖 ∗ �𝑖𝑖𝑒𝑒 𝑖𝑖𝑖𝑖 �𝑑𝑑𝑡𝑡
𝛾𝛾 0 𝜋𝜋
−2

Desarrollando el procedimiento tenemos:

𝜋𝜋
2 𝑑𝑑 𝑖𝑖𝑖𝑖 2
��𝑒𝑒 𝑖𝑖𝑖𝑖 � 𝑒𝑒 𝑑𝑑𝑑𝑑 = −
𝑑𝑑𝑑𝑑 3
0
0
2 𝑑𝑑 𝑖𝑖𝑖𝑖 1 − 𝑖𝑖
��𝑒𝑒 𝑖𝑖𝑖𝑖 � 𝑒𝑒 𝑑𝑑𝑑𝑑 =
𝑑𝑑𝑑𝑑 3
𝜋𝜋
−2
 𝜋𝜋 0
𝑑𝑑 𝑖𝑖𝑖𝑖
𝑖𝑖𝑖𝑖 2 2 𝑑𝑑 𝑖𝑖𝑖𝑖 1 − 𝑖𝑖
��𝑒𝑒 � 𝑒𝑒 𝑑𝑑𝑑𝑑 + ��𝑒𝑒 𝑖𝑖𝑖𝑖 � 𝑒𝑒 𝑑𝑑𝑑𝑑 =
𝑑𝑑𝑑𝑑 𝑑𝑑𝑑𝑑 3
0 𝜋𝜋
−2

Otra forma más sencilla es:

Acorde al teorema de integración de funciones analíticas.
Sea 𝑓𝑓(𝑧𝑧) analítica en un dominio 𝐷𝐷 simplemente conexo.
Entonces en el dominio 𝐷𝐷 existe una antiderivada 𝐹𝐹(𝑧𝑧) de 𝑓𝑓(𝑧𝑧), y para todas las
trayectorias en 𝐷𝐷 que unan a los puntos 𝑧𝑧0 y 𝑧𝑧1 en 𝐷𝐷 se tiene que:
𝑧𝑧1

� 𝑓𝑓(𝑧𝑧)𝑑𝑑𝑧𝑧 = 𝐹𝐹(𝑧𝑧1 ) − 𝐹𝐹(𝑧𝑧0 ); [𝐹𝐹 ′ (𝑧𝑧) = 𝑓𝑓(𝑧𝑧)]

𝑧𝑧0

−1
2
� 𝑧𝑧 2 𝑑𝑑𝑑𝑑 = −
3
1

2
𝑧𝑧 3
� 𝑧𝑧 𝑑𝑑𝑑𝑑 =
3
Evaluamos de −𝑖𝑖 a 1:
13 (−𝑖𝑖)3 1 𝑖𝑖
− = −
3 3 3 3
Entonces:
−1 1
2 1 𝑖𝑖
� 𝑧𝑧 2 𝑑𝑑𝑑𝑑 + � 𝑧𝑧 2 𝑑𝑑𝑧𝑧 = − + −
3 3 3
1 −𝑖𝑖
−1 1
1 − 𝑖𝑖
� 𝑧𝑧 2 𝑑𝑑𝑑𝑑 + � 𝑧𝑧 2 𝑑𝑑𝑧𝑧 =
3
1 −𝑖𝑖
Tenemos la circunferencia:
|𝑧𝑧| = 1
Lo que es igual a:
𝐶𝐶: 𝑥𝑥 2 + 𝑦𝑦 2 = 1
También tenemos
1 1
𝐶𝐶1 : �𝑧𝑧 + � =
2 4
1 2 1
𝐶𝐶1 : �𝑥𝑥 + � + (𝑦𝑦)2 =
2 16
Por lo tanto, acorde al problema 𝐶𝐶2 es:

1 2 1
𝐶𝐶2 : �𝑥𝑥 − � + (𝑦𝑦)2 =
2 16
Haciendo uso del teorema de Cauchy-Goursat:
Suponga que una función 𝑓𝑓 es analítica en un dominio simplemente conexo
𝐷𝐷.Entonces para todo contorno cerrado simple 𝐶𝐶 en 𝐷𝐷,

� 𝑓𝑓(𝑧𝑧)𝑑𝑑𝑑𝑑 = 0
𝐶𝐶

Entonces:

� 𝑓𝑓(𝑧𝑧)𝑑𝑑𝑑𝑑 = � 𝑓𝑓(𝑧𝑧)𝑑𝑑𝑑𝑑 + � 𝑓𝑓(𝑧𝑧)𝑑𝑑𝑑𝑑

𝐶𝐶 𝐶𝐶1 𝐶𝐶2
Sea Ω ⊂ ℂ una región simplemente conexa y sea 𝑓𝑓 ∈ 𝐻𝐻(Ω), entonces existe 𝐹𝐹 ∈
𝐻𝐻(Ω), tal que 𝐹𝐹 ′ (𝑧𝑧) = 𝑓𝑓(𝑧𝑧) para todo 𝑧𝑧 en Ω. 𝐹𝐹 es única excepto constantes aditivas.
Demostración:
Se deduce del teorema de independencia del camino y de los teoremas anteriores;
es preciso imponer que Ω sea conexo para poder conectar cualquier punto 𝑧𝑧1 con
el punto 𝑧𝑧0 elegido. Si 𝐹𝐹1 , 𝐹𝐹2 son 2 primitivas distintas de 𝑓𝑓, 𝐹𝐹1′ (𝑧𝑧) − 𝐹𝐹2′ (𝑧𝑧) = 𝑓𝑓(𝑧𝑧) −
𝑓𝑓(𝑧𝑧) = 0. Luego 𝐹𝐹1 − 𝐹𝐹2 es constante.
Para 𝐶𝐶1
1 1
Si 𝛾𝛾 = 𝑒𝑒 𝑖𝑖𝑖𝑖 , 𝑡𝑡 ∈ [0,2𝜋𝜋], entonces 𝑛𝑛 �𝛾𝛾, � =
2 4

Para 𝐶𝐶2
−1 1
Si 𝛾𝛾 = 𝑒𝑒 𝑖𝑖𝑖𝑖 , 𝑡𝑡 ∈ [0,2𝜋𝜋], entonces 𝑛𝑛 �𝛾𝛾, �=
2 4

1 𝑓𝑓(𝑧𝑧) 1 𝑓𝑓(𝑧𝑧)
� 𝑑𝑑𝑑𝑑 + � 𝑑𝑑𝑑𝑑
2𝜋𝜋𝑖𝑖 𝐶𝐶1 𝑧𝑧 − �1� 2𝜋𝜋𝑖𝑖 𝐶𝐶2 1
2 𝑧𝑧 − �− � ��
2

1 𝑓𝑓(𝑧𝑧) 1 𝑓𝑓(𝑧𝑧)
= � 𝑑𝑑𝑑𝑑 − � 𝑑𝑑𝑑𝑑
2𝜋𝜋𝑖𝑖 𝐶𝐶1 𝑧𝑧 − �1� 2𝜋𝜋𝑖𝑖 𝐶𝐶2 𝑧𝑧 − 1
2 2

La función es holomorfa en:

1 1
�ℂ�− , �
2 2

Bibliografía
Churchill, R. V. (1992). Variable compleja y aplicaciones . España : McGRaw-Hill .
Derrick, W. R. (1984 ). Vairable compleja con aplicaciones . Colombia: Grupo
editorial Iberoameérica .
Marsden, J. (1988). Análisis Básico de Variable Compleja . México : Editorial Trillas
.
Spiegel, M. (1982). Variable compleja . México : McGRaw-Hill .
Zill, D. G. (México). Introducción al Análisis complejo con aplicaciones . 2011:
CENGAGE Learning .