\documentclass[a4paper,12pt]{article}
\usepackage[utf8]{inputenc}
\usepackage[spanish]{babel}
\usepackage{amsmath, amssymb}
\usepackage{geometry}
\usepackage{hyperref}
\usepackage{enumitem}
\geometry{margin=1in}
\title{Ejercicios de Funciones y Números Complejos}
\author{}
\date{}
\begin{document}
\maketitle
\section*{1. Propiedades de números complejos}
Hallar el argumento principal $\arg(z)$ de:
\begin{enumerate}[label=\alph*)]
\item $z = \frac{i}{-2-2i}$
\item $z = (\sqrt{3} - i)^6$
\end{enumerate}
Escribiendo los factores de la izquierda en forma exponencial, efectuando las
operaciones y cambiando finalmente a coordenadas rectangulares, verificar que:
\begin{enumerate}[label=\alph*)]
\item $i(1 - \sqrt{3}i)(\sqrt{3} + i) = 2(1 + \sqrt{3}i)$
\item $\dfrac{5i}{2 + i} = 1 + 2i$
\item $(-1 + i)^7 = -8(1 + i)$
\item $(1 + \sqrt{3}i)^{-10} = 2^{-11}(-1 + \sqrt{3}i)$
\end{enumerate}
Demostrar que dos números complejos no nulos, $z_1$ y $z_2$, tienen el mismo
módulo si y sólo si existen números complejos $c_1$ y $c_2$ tales que:
\[
z_1 = c_1c_2 \quad \text{y} \quad z_2 = \overline{c_1}c_2
\]
\textbf{Ayuda:} Considerar que:
\[
e^{i\frac{h_1 + h_2}{2}} \cdot e^{i\frac{h_1 - h_2}{2}} = e^{ih_1}
\]
y
\[
e^{i\frac{h_1 + h_2}{2}} \cdot e^{i\frac{h_2 - h_1}{2}} = e^{ih_2}
\]
Demostrar la identidad:
\[
1 + z + z^2 + \cdots + z^n = \frac{1 - z^{n+1}}{1 - z}, \quad z \neq 1
\]
Usarla para deducir la identidad trigonométrica de Lagrange:
\[
1 + \cos h + \cos 2h + \cdots + \cos nh = \frac{1}{2} + \frac{\sin^2\left(\
frac{2n + 1}{2}h\right)}{2\sin\left(\frac{h}{2}\right)}
\]
con $0 < h < 2\pi$.
\textbf{Ayuda:} Para la primera identidad, escriba $S = 1 + z + z^2 + \cdots
+ z^n$ y calcule $S - zS$.
\section*{5. Funciones Complejas}
\begin{enumerate}[label=\alph*)]
\item Expresar $f(z) = z^3 + z + 1$ en la forma:
\[
f(z) = u(x,y) + iv(x,y)
\]
\item Sea $f(z) = x^2 - y^2 - 2y + i(2x - 2xy)$, donde $z = x + iy$.
Usar:
\[
x = \frac{z + \overline{z}}{2}, \quad y = \frac{z - \overline{z}}{2i}
\]
para escribir $f(z)$ en función de $z$ y simplificar el resultado.
\item Escribir la función:
\[
f(z) = z + \frac{1}{z}, \quad z \neq 0
\]
en la forma:
\[
f(z) = u(r,\theta) + iv(r,\theta)
\]
\end{enumerate}
\section*{8. Límites de Funciones Complejas}
Demuestre que el límite de la función:
\[
f(z) = \frac{|z|}{z^2}
\]
cuando $z \to 0$ no existe.
Demostrar que:
\begin{enumerate}[label=\alph*)]
\item $\displaystyle \lim_{z \to 1} \frac{4z^2}{(z - 1)^2} = 4$
\item $\displaystyle \lim_{z \to 1} \frac{1}{(z - 1)^3} = \infty$
\item $\displaystyle \lim_{z \to 1} \frac{z^2 + 1}{z - 1} = \infty$
\end{enumerate}
Sea $T(z) = \dfrac{az + b}{cz + d}$, con $ad - bc \neq 0$. Demostrar que:
\begin{enumerate}[label=\alph*)]
\item Si $c = 0$, entonces $\displaystyle \lim_{z \to \infty} T(z) = \
infty$
\item Si $c \neq 0$, entonces:
\[
\lim_{z \to \infty} T(z) = \frac{a}{c} \quad \text{y} \quad \lim_{z \to
-\frac{d}{c}} T(z) = \infty
\]
\end{enumerate}
\subsection*{Derivabilidad de Funciones}
Demostrar que $f'(z)$ no existe en ningún punto para las siguientes
funciones:
\begin{enumerate}[label=\alph*)]
\item $f(z) = \overline{z}$
\item $f(z) = z - \overline{z}$
\item $f(z) = 2x + ixy^2$
\item $f(z) = e^x e^{-iy}$
\end{enumerate}
Averiguar dónde existe $f'(z)$ y hallar su valor para:
\begin{enumerate}[label=\alph*)]
\item $f(z) = \dfrac{1}{z}$
\item $f(z) = x^2 + i y^2$
\item $f(z) = z \cdot \mathrm{Im}(z)$
\end{enumerate}
Probar que si $f(z) = x^3 + i(1 - y)^3$, es legítimo escribir:
\[
f'(z) = u_x + i v_x = 3x^2
\]
\textbf{Sólo} cuando $z = i$.
\begin{enumerate}[label=\alph*)]
\item Demostrar la forma polar de las ecuaciones de Cauchy-Riemann:
\[
r u_r = v_\theta \quad \text{y} \quad u_\theta = -r v_r
\]
\item Demostrar que:
\[
u_x = u_r \cos\theta - u_\theta \frac{\sin\theta}{r}, \quad u_y = u_r \
sin\theta + u_\theta \frac{\cos\theta}{r}
\]
\item Usar las expresiones anteriores para $u_x$ y $v_x$, junto con la
forma polar de las ecuaciones de Cauchy-Riemann, para reescribir:
\[
f'(z_0) = u_x + i v_x
\]
como:
\[
f'(z_0) = e^{-i\theta}(u_r + i v_r)
\]
\end{enumerate}
Probar que las siguientes funciones no son analíticas en ningún punto:
\begin{enumerate}[label=\alph*)]
\item $f(z) = xy + i y$
\item $f(z) = 2xy + i(x^2 - y^2)$
\item $f(z) = e^y e^{ix}$
\end{enumerate}
\subsection*{Funciones Armónicas}
Probar que $u(x,y)$ es armónica en un dominio dado y hallar una conjugada
armónica $v(x,y)$:
\begin{enumerate}[label=\alph*)]
\item $u(x,y) = 2x(1 - y)$
\item $u(x,y) = 2x - x^3 + 3xy^2$
\item $u(x,y) = \sinh x \cdot \sin y$
\item $u(x,y) = \dfrac{y}{x^2 + y^2}$
\end{enumerate}
Demostrar que si $v$ y $V$ son conjugadas armónicas de $u$ en un dominio $D$,
entonces $v(x, y)$ y $V(x, y)$ difieren a lo sumo en una constante aditiva.\\
Sea $f(z) = u(r, \theta) + i v(r, \theta)$ una función analítica en un
dominio $D$ que no contiene el origen. Usando las ecuaciones de Cauchy-Riemann en
coordenadas polares y suponiendo la continuidad de las derivadas parciales,
demostrar que $u(r, \theta)$ satisface en $D$ la forma polar de la ecuación de
Laplace:
\[
r^2 u_{rr}(r, \theta) + r u_r(r, \theta) + u_{\theta \theta}(r, \theta) = 0
\]
\textbf{Probar que lo mismo es válido para $v(r, \theta)$.}
Verificar que la función $u(r, \theta) = \ln r$ es armónica en el dominio $r
> 0,\ 0 < \theta < 2\pi$, probando que satisface la forma polar de la ecuación de
Laplace.\\
\textbf{Además,} encontrar una conjugada armónica de $u(r, \theta) = \ln
r$.\\
\subsection*{Logaritmos Complejos}
\begin{enumerate}
\item Probar que:
\begin{enumerate}
\item $\operatorname{Log}(-e^i) = 1 - \frac{n}{2}i$
\item $\operatorname{Log}(1 - i) = \frac{1}{2}\ln 2 - \frac{n}{4}i$
\end{enumerate}
\item Verificar que para $n = 0, \pm 1, \pm 2, \ldots$:
\begin{enumerate}
\item $\log e = 1 + 2n\pi i$
\item $\log i = \left(2n + \frac{1}{2}\right)\pi i$
\item $\log(-1 + \sqrt{3}i) = \ln 2 + 2\left(n + \frac{1}{3}\right)\pi
i$
\end{enumerate}
\item Probar que:
\begin{enumerate}
\item $\operatorname{Log}((1 + i)^2) = 2\operatorname{Log}(1 + i)$
\item $\operatorname{Log}((-1 + i)^2) \neq 2\operatorname{Log}(-1 + i)$
\end{enumerate}
\item Probar que:
\begin{enumerate}
\item $\log(i^2) = 2\log i$ cuando $\log z = \ln r + i\theta$ con $r >
0$, $\frac{\pi}{4} < \theta < \frac{9\pi}{4}$
\item $\log(i^2) \neq 2\log i$ cuando $\log z = \ln r + i\theta$ con $r
> 0$, $\frac{3\pi}{4} < \theta < \frac{11\pi}{4}$
\end{enumerate}
\item Probar que:
\begin{enumerate}
\item El conjunto de valores de $\log(i^{1/2})$ es $\left(n + \frac{1}
{4}\right)\pi i$ con $n = 0, \pm 1, \pm 2, \ldots$, y lo mismo es cierto para $\
frac{1}{2} \log i$
\item El conjunto de valores de $\log(i^2)$ no es igual que el conjunto
de valores de $2\log i$
\end{enumerate}
\item Dado que la rama $\log z = \ln r + i\theta$ con $r > 0$, $a < \theta <
a + 2\pi$ de la función logaritmo es analítica en todo punto $z$ del dominio
citado, hallar su derivada derivando los dos miembros de la identidad $\exp(\log z)
= z$ y usando la regla de la cadena.
\item Hallar todas las raíces de la ecuación $\log z = \frac{in}{2}$
\end{enumerate}
\section*{Exponente complejo}
\begin{enumerate}
\item Probar que cuando $n = 0, \pm1, \pm2, \ldots$:
\begin{enumerate}
\item $(1+i)^i = \exp\left(-\frac{\pi}{4} + 2n\pi\right) \exp\
left(i \cdot \frac{1}{2} \ln 2\right)$
\item $(-1)^{1/n} = e^{\frac{2\pi i (2n + 1)}{n}}$
\end{enumerate}
\item Hallar el valor principal de:
\begin{enumerate}
\item $i^i$
\item $\left(e^2(-1 - \sqrt{3}i)\right)^{\frac{3\pi i}{4}}$
\item $(1 - i)^4$
\end{enumerate}
\section*{Funcion seno inverso}
\item Resolver en $z$ la ecuación $\sin z = 2$
\end{enumerate}
---
\section*{Integrales Complejas}
Resolver la integral de camino $\int_C f(z)\,dz$ utilizando
parametrizaciones adecuadas:
\begin{enumerate}[label=\arabic*.]
\item $f(z) = \dfrac{z + 2}{z}$ en las siguientes curvas:
\begin{enumerate}[label=\alph*)]
\item Semicircunferencia $z = 2e^{i\theta}$ con $0 \leq \theta \
leq \pi$
\item Semicircunferencia $z = 2e^{i\theta}$ con $\pi \leq \
theta \leq 2\pi$
\item Circunferencia $z = 2e^{i\theta}$ con $0 \leq \theta \leq
2\pi$
\end{enumerate}
\item $f(z) = z - 1$ y $C$ es el arco desde $z = 0$ hasta $z = 2$:
\begin{enumerate}[label=\alph*)]
\item Semicircunferencia $z = 1 + e^{i\theta}$ con $\pi \leq \
theta \leq 2\pi$
\item Segmento $0 \leq x \leq 2$ sobre el eje real
\end{enumerate}
\item $f(z) = n \exp(nz)$, donde $C$ es el contorno del cuadrado con
vértices en $0, 1, 1 + i, i$, orientado positivamente.
\item $f(z) =
\begin{cases}
\dfrac{1}{4}, & \text{si } y < 0 \\
\dfrac{1}{2}, & \text{si } y > 0
\end{cases}
$ \\
donde $C$ es el arco desde $z = -1 - i$ hasta $z = 1 + i$ a lo largo de
la curva $y = x^3$.
\end{enumerate}
\end{document}
