Universidad Nacional Autónoma de Honduras
Asignación I
Profesor: Maynor Baide
MM502 Variable Compleja
Sección 1900
Grupo 5:
Ever Mata
Viviana Orellana
Exelino Vanegas
Celeste Hernández 20212020847
San Pedro Sula, 16 de junio 2023
1
Contents
1 Introducción 3
2 Marco teórico 4
2.1 Definiciones de conjuntos en el plano complejo . . . . . . . . . . . . . . . . . 4
2.2 Lı́mite de una variable compleja . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.3 Derivada de una Función de Variable Compleja . . . . . . . . . . . . . . . . . 5
2.4 Condiciones Suficientes y Necesarias de Funciones Analı́ticas . . . . . . . . . 5
3 Marco práctico 6
2
1 Introducción
Los números complejos son una extensión del sistema de números reales que incluye una nueva
dimensión llamada ”imaginaria”. A diferencia de los números reales, que solo abarcan la lı́nea
numérica unidimensional, los números complejos se representan en un plano bidimensional
conocido como el plano complejo.
Un número complejo está compuesto por dos partes: la parte real y la parte imaginaria. La
parte real es un número real convencional y se representa a lo largo del eje horizontal del plano
complejo. La parte imaginaria se multiplica por la unidad imaginaria ”i”, que se define como
la raı́z cuadrada de -1, y se representa a lo largo del eje vertical del plano complejo. La unidad
imaginaria ”i” tiene la propiedad de que su cuadrado es igual a -1.
La forma general de un número complejo se expresa como ”a + bi”, donde ”a” es la parte real
y ”b” es la parte imaginaria. Los números complejos pueden ser representados de varias for-
mas, incluyendo la forma rectangular (a + bi), la forma polar reiθ , donde ”r” es la magnitud y
”θ” es el ángulo en radianes.
Los números complejos tienen propiedades y operaciones algebraicas similares a los números
reales. Pueden ser sumados, restados, multiplicados y divididos, y también se pueden elevar a
potencias y extraer raı́ces. Además, el plano complejo permite una interpretación geométrica
de los números complejos, donde la suma y la multiplicación se corresponden con las opera-
ciones de traslación y rotación en el plano.
Los números complejos son ampliamente utilizados en matemáticas, fı́sica y muchas otras
disciplinas cientı́ficas. Tienen aplicaciones en el análisis de circuitos eléctricos, la mecánica
cuántica, la teorı́a de control, las series de Fourier, entre otros campos. La introducción de los
números complejos ha enriquecido significativamente nuestro entendimiento y modelado de
fenómenos fı́sicos y matemáticos complejos.
3
2 Marco teórico
2.1 Definiciones de conjuntos en el plano complejo
Un conjunto S de puntos en un plano complejo puede ser definido como cualquier colección
finita o infinita de puntos en un plano complejo
Un punto Z0 es un punto interior de un conjunto S siempre que existan puntos entorno a Z0 .Se
llama punto exterior cuando no existen puntos del conjunto S en el entorno de Z0 .Punto fron-
tera se le llama cuando sus entornos contienen puntos del conjunto S como puntos que no están
en S.La totalidad de estos puntos se llama frontera de S.
• Conjunto abierto:No contiene a ninguno de sus puntos de frontera
• Conjunto cerrado: Contiene a todos sus puntos de frontera.
• Conjunto abierto conexo: Cada par de puntos Z1 y Z2 , se puede unir por una lı́nea polig-
onal, o sea, un número infinito de segmentos sucesivos, contenida en S. A este conjunto
se le llama ”dominio”, un dominio junto con algunos, ninguno o todos sus puntos fron-
tera, se llama región.
• Conjunto acotado: Si todo punto dentro de algún cı́rculo |Z| = R.
• Conjunto no acotado: Si todo punto de S está fuera de algún cı́rculo |Z| = R.
2.2 Lı́mite de una variable compleja
Si tenemos una función definida en todos los puntos f (z), cuando z tiende a z0 , es un número
w0 , o sea:
lim (f (z)) = w0 (1)
z→z0
Esto quiere decir que el punto w = f (z) puede acercarse mucho a w0 si se escoge un punto z
suficientemente cercano a z0 , pero distinto de él. (1) expresa que para cada número positivo ε,
existe un número positivo δ tal que:
|f (z) − w0 | < ε siempre que 0 < |z − z0 | < δ (2)
Si hablamos geométricamente, la definición nos dice que para cada ε entorno |w − w0 | < ε de
w0 , existe un δ entorno punteado 0 < |z −z0 | < δ de z0 tal que todo punto z en él tiene una im-
agen w que está en el entorno ε. Un criterio para que un lı́mite no exista es: Si f tiende a dos
números complejos L1 ̸= L2 a lo largo de difgerentes curvas o trayectorias que pasan por Z0 ,
entonces limz→z0 (f (z)) no existe. Una función f es continua en un punto z0 si se satisfacen
estas tres condiciones:
lim (f (z)) Existe (3)
z→z0
f (z0 ) Existe (4)
lim (f (z)) = f (z0 ) (5)
z→z0
4
2.3 Derivada de una Función de Variable Compleja
La definición de derivada es igual en su forma a la derivada de una función real de una vari-
able real. Siendo c una constante compleja y sea f una función cuya derivada existe en un punto
z. Es fácil demostrar que:
d d d
c = 0, z = 1, [cf (z)] = cf ′ (z) (6)
dz dz dz
Asimismo, si n es un entero positivo,
d n
z = nz n−1 (7)
dz
y cuando F (z) ̸= 0,
d f (z) F (z)f ′ (z) − f (z)F ′ (z)
[ ]= (8)
dz F (Z) [F (z)]2
Si dividimos ambos lados por ∆z y entonces hacemos tender ∆z a cero, llegamos a la fórmula
deseada para d[f (z)F (z)]/dz, usando las condiciones necesarias la ecuación pasa a ser:
F ′ (z0 ) = g ′ [f (z0 )]f ′ (z0 ) (9)
en el lı́mite cuando z tiende a z0
2.4 Condiciones Suficientes y Necesarias de Funciones Analı́ticas
Si tenemos la función:
f (z) = u(x, y) + iv(x, y) (10)
Y está definida en algún ε entorno de un punto z0 = x0 + iy0 , asumimos que las derivadas
parciales de primer orden de las funciones u y v con respecto a ”x” e ”y” existen en todos los
puntos de ese entorno y son continuas en (x0 , y0 ). Entonces, si esas derivadas parciales satis-
facen las ecuaciones de Cauchy-Riemann.
ux = vy uy = −vx (11)
Se le llama función analı́tica si una función f de la variable compleja z en un conjunto abierto
tiene derivada en todo punto de ese abierto, es analı́tica en un punto z0 si es analı́tica en un en-
torno de z0 .
Por ejemplo, una función entera es una función que es analı́tica en todos los puntos del plano
infinito , su derivada existe en todas partes.
Para que la función f sea analı́tica en el dominio D,o sea, que f sea continua sobre D y que se
cumplan las ecuaciones de Cauchy Riemann.
5
3 Marco práctico
1. Escriba los siguientes números complejos en la forma x + iy:
4+i 1+i
a) i2 (1 + i)3 b) −
2 − i 1 + 2i
a) i2 (1 + i)3
(−1)(1 + i)3 = −(1 + i)3 = −[13 + 3(1)2 (i) + 3(1)(i)2 + (i)3 ]
−[1 + 3i + 3(−1) + i3 ] = −[1 + 3i − 3 + i3 ] = −[−2 + 3i + i2 i]
−[−2 + 3i − i] = −[−2 + 2i] = 2 − 2i
=⇒ 2(1 − i)
4+i 1+i
b) −
2 − i 1 + 2i
(1 + 2i)(4 + i) − (1 + i)(2 − i) (4 + i + 8i + 2i2 ) − (2 − i + 2i − i2 )
= =
(2 − i)(1 + 2i) (2 − i)(1 + 2i)
(4 + 9i − 2) − (2 + i + 1) (2 + 9i) − (3 + i) 2 + 9i − 3 − i −1 + 8i
= 2
= = =
(2 + 4i − i − 2i ) (4 + 3i) 4 + 3i 4 + 3i
−1 + 8i 4 − 3i (−1 + 8i)(4 − 3i) −4 + 3i + 32i − 24i2 −4 + 35i + 24
= · = = =
4 + 3i 4 − 3i (4 + 3i)(4 − 3i) 16 + 9 25
20 + 35i 5(4 + 7i) 1
= = =⇒ (4 + 7i)
25 25 5
2. Sean z1 y z2 dos números complejos distintos de cero. Verifique que se cumple z1 − z2 =
z1 − z2 .
Demostración
Tenemos por definición que:
z1 = x1 + iy1 z2 = x2 + iy2
Entonces
z1 − z2 = (x1 + iy1 ) − (x2 + iy2 ) = (x1 + iy1 − x2 − iy2 ) = (x1 − x2 ) + (iy1 − iy2 )
= (x1 − x2 ) + i(y1 − y2 ) = (x1 − x2 ) − i(y1 − y2 ) = (x1 − x2 − iy1 + iy2 ) =
(x1 − iy1 ) + (−x2 + iy2 )
= (x1 − iy1 ) − (x2 − iy2 ) = z1 − z2
6
∴ z1 − z2 = z1 − z2
3. Utilice el teorema de Moivre para expresar los siguientes números complejos en la
forma x + iy
√
a) (−1 − i)22 b) ( 3 + i)17
a) (−1 − i)22
√
p −1 π
|z| = (−1)2 + (−1)2 = 2 θ = arctan = arctan (−1) = −
1 4
√ 22
−π −π
z = ( 2) cos 22 + i sin 22
4 4
11 11
z = (2)11 cos π + i sin π = (2)11 [0 − i] = (2)11 i
2 2
=⇒ z = (2)11 i
√ q√ √
17 1 π
b) ( 3 + 1) |z| = ( 3)2 + (1)2 = 4 = 2 θ = arctan √ =
3 6
17 17 17
z = (2) cos π + i sin π
6 6
" √ ! # 17
3 1 (2) √ √
z = (2)17 − +i = [− 3 + i] = (2)16 [− 3 + i]
2 2 2
√
=⇒ z = (2)16 [− 3 + i]
4. Resuelva las siguientes ecuaciones y grafique sus soluciones en el plano complejo.
√
a) z 2 = 2 − i b) z 3 − i = − 3 c) z 4 + 2i = 6 + 3i
a) z 2 = 2 − i
√ √
p 1 1
|z| = (2)2 + (−1)2 = 4 + 1 = 5 arctan − = − arctan
2 2
7
√
1/n 1 1
|z| = |w| = | 5|1/2 =⇒ |w| = (5)1/4 θ= − arctan + 2πk
2 2
1
1 1 1 1
z = (5) 4 cos − arctan + πk + i sin − arctan + πk , k ∈ Z
2 2 2 2
1
1 1 1 1
Si K = 0 =⇒ z0 = (5) 4 cos − arctan + i sin − arctan ≈ 1.4553466−
2 2 2 2
i(0.3435607)
1
1 1 1 1
Si K = 1 =⇒ z1 = (5) 4 cos − arctan + π + i sin − arctan +π ≈
2 2 2 2
−1.4553466 + i(0.3435607)
√
b) z 3 − i = − 3
√
z3 = − 3 + i
q√ √ √
1 π
|z| = ( 3)2 + (1)2 = 3 + 1 = 4 = 2 arctan − √ =−
3 6
1 h π i
|z| = |w|1/n = |2|1/3 =⇒ |w| = (2)1/3 θ= − + 2πk
3 6
1
π 2 π 2
z = (2) 3 cos − + πk + i sin − + πk , k ∈ Z
18 3 18 3
1h
π π i
Si K = 0 =⇒ z0 = (2) 3 cos − + i sin − ≈ 1.24078 − i(0.21878)
18 18
8
1
π 2 π 2
Si K = 1 =⇒ z1 = (2) 3 cos − + π + i sin − + π ≈ −0.43091 +
18 3 18 3
i(1.18313)
1
π 4 π 4
Si K = 2 =⇒ z1 = (2) 3 cos − + π + i sin − + π ≈ −0.80986 +
18 3 18 3
i(0.96515)
c) z 4 + 2i = 6 + 3i
z 4 = 6 + 3i − 2i =⇒ z 4 = 6 + i
√ √
p 1
|z| = (6)2 + (1)2 = 36 + 1 = 37 arctan
6
√
1 1
|z| = |w|1/n = | 37|1/4 =⇒ |w| = (37)1/8 θ= arctan + 2πk
4 6
1
1 1 1 1 1 1
z = (37) 8 cos arctan + πk + i sin arctan + πk , k ∈ Z
4 6 2 4 6 2
1
1 1 1 1
Si K = 0 =⇒ z0 = (37) 8 cos arctan + i sin arctan ≈ 1.56911 −
4 6 4 6
i(0.06482)
1
1 1 1 1 1 1
8
Si K = 1 =⇒ z1 = (37) cos arctan + π + i sin arctan + π ≈
4 6 2 4 6 2
−0.06482 + i(1.596911)
9
1
1 1 1 1
Si K = 2 =⇒ z2 = (37) 8 cos arctan + π + i sin arctan +π ≈
4 6 4 6
−1.56911 − i(0.06482)
1
1 1 3 1 1 3
Si K = 3 =⇒ z3 = (37) 8 cos arctan + π + i sin arctan + π ≈
4 6 2 4 6 2
0.06982 − i(1.56911)
5. Verifique si los siguientes lı́mites existen:
z 2 − 3z + 2
a) lim 4z = 12 b) lim z 2 = 8i c) lim =1
z→3 z→2+2i z→2 z−2
a) lim 4z = 12
z→3
Usamos la definición formal de lı́mite
∀ϵ > 0, ∃δ > 0 : 0 < |z − zo | < δ =⇒ |f (z) − L| < ϵ
Entonces
0 < |z − 3| < δ =⇒ |4z − 12| < ϵ
0 < |z − 3| < δ =⇒ 4|z − 3| < ϵ
1
0 < |z − 3| < δ =⇒ |z − 3| < ϵ
4
1
∴δ< ϵ
4
10
b) lim z 2 = 8i
z→2+2i
0 < |z − (2 + 2i)| < δ =⇒ |z 2 − 8i| < ϵ
0 < |z − (2 + 2i)| < δ =⇒ |z 2 − (2 + 2i)2 | < ϵ
0 < |z − (2 + 2i)| < δ =⇒ |(z + (2 + 2i))(z − (2 + 2i))| < ϵ
Supondremos que δ = 1, entonces:
|z − (2 + 2i)| < 1
Aplicando propiedades de las desigualdades tenemos
−1 < |z − (2 + 2i)| < 1
=⇒ −1 + 2 + 2i < |z − (2 + 2i) + (2 + 2i)| < 1 + 2 + 2i
1 + 2i < |z| < 3 + 2i
Nótese que
1 + 2i + 2 + 2i < |z + (2 + 2i)| < 3 + 2i + 2 + 2i
3 + 4i < |z + (2 + 2i)| < 5 + 4i
Retomando nuevamente la expresión inicial tenemos que
0 < |z − (2 + 2i)| < δ =⇒ |(z + (2 + 2i))(z − (2 + 2i))| < |z − (2 + 2i)|(5 + 4i) < ϵ
ϵ
=⇒ |z − (2 + 2i)| <
5 + 4i
ϵ ϵ
∴δ< , siempre que δ = min 1,
5 + 4i 5 + 3i
z 2 − 3z + 2
c) lim =1
z→2 z−2
z 2 − 3z + 2
0 < |z − 2| < δ =⇒ | − 1| < ϵ
z−2
z 2 − 3z + 2 − (z − 2)
0 < |z − 2| < δ =⇒ | |<ϵ
z−2
(z − 2)(z − 1) − (z − 2)
0 < |z − 2| < δ =⇒ | |<ϵ
z−2
11
(z − 2)[(z − 1) − 1]
0 < |z − 2| < δ =⇒ | |<ϵ
z−2
0 < |z − 2| < δ =⇒ |(z − 1) − 1| < ϵ
0 < |z − 2| < δ =⇒ |z − 2| < ϵ
∴δ<ϵ
7. Verifique si las funciones son enteras
a) ex [cos(y) + isen(y)] b) f (z) = (x2 − 3xy 2 − y 3 ) + i(3x2 y − y 3 )
a) ex [cos(y) + isen(y)]
Identificamos:
U (x, y) = ex cos(y) V (x, y) = ex sen(y)
Utilizando las ecuaciones Cauchy-Riemann:
Ux = Vy Vy = −Ux
Calculando las derivadas parciales tenemos:
Ux = ex cos(y) Vx = ex sen(y)
Uy = −ex sen(y) Vy = ex cos(y)
Igualando las derivadas parciales: Ux = Vy y Vy = −Ux
ex cos(y) = ex cos(y)
−ex sen(y) = −ex sen(y)
∴ Si es una función entera
b) f (z) = (x2 − 3xy 2 − y 3 ) + i(3x2 y − y 3 )
Identificamos:
U (x, y) = (x2 − 3xy 2 − y 3 ) V (x, y) = i(3x2 y − y 3 )
Utilizando las ecuaciones Cauchy-Riemann:
Ux = Vy Vy = −Ux
12
Calculando las derivadas parciales tenemos:
Ux = 3x2 − 3y 2 Vx = 6xy
Uy = −6xy Vy = 3x2 − 3y 2
Igualando las derivadas parciales: Ux = Vy y Vy = −Ux
Ux = Vy =⇒ 3x2 − 3y 2 = 3x2 − 3y 2
Vy = −Ux =⇒ −6xy = −6xy
∴ Si es una función entera
13
