Introducción

En las entradas anteriores hemos definido y trabajado con los conceptos de diferenciabilidad y analicidad de una función compleja, en particular hemos visto que dichos conceptos no son equivalentes, desde que la analicidad de una función compleja en un punto $z_0$ implica la diferenciabilidad de la función en todo un $\epsilon$-vecindario de $z_0$.

Como hemos visto a lo largo de la unidad 2, toda función compleja está totalmente definida a través de un par de funciones reales de dos variables, a las cuales hemos llamado su parte real e imaginaria. Más aún, hemos caracterizado algunos conceptos matemáticos importantes como el de límite y continuidad a través de dichas funciones, por lo que resulta natural cuestionarnos acerca de si es posible caracterizar la diferenciabilidad de una función compleja mediante estás funciones reales.

La entrada anterior deducimos las ecuaciones de Cauchy-Riemann y vimos que para una función compleja $f(z)=u(x,y)+iv(x,y)$ analítica en un conjunto abierto $U\subset \mathbb{C}$ las funciones $u$ y $v$, correspondientes con su parte real e imaginaria, deben satisfacer dichas ecuaciones. Sin embargo, vimos que dichas ecuaciones son solamente una condición necesaria, pero no suficiente, que las funciones $u$ y $v$ deben satisfacer. En esta entrada veremos que además de las ecuaciones de C-R, es necesario imponer unas condiciones extras sobre las funciones $u$ y $v$ para garantizar que una función compleja es analítica.

Recordemos la definición de diferenciabilidad de una función real de dos variables, vista en nuestros cursos de Cálculo.

Definición 18.1. (Diferenciabilidad de funciones reales de dos variables.)
Sea $U\subset {\mathbb{R}}^2$ un conjunto abierto. Una función real de dos variables $u:U\to \mathbb{R}$, es diferenciable en $(x_0,y_0)\in U$ si existen $A,B\in \mathbb{R}$ constantes tales que: $$\underset{(x,y)\to (x_0,y_0)}{lim}\frac{u(x,y)–u(x_0,y_0)–A(x-x_0)–B(y-y_0)}{\sqrt{(x-x_0{)}^2+(y-y_0{)}^2}}=0,$$ en tal caso $A={\displaystyle \frac{\partial u}{\partial x}}(x_0,y_0)$ y $B={\displaystyle \frac{\partial u}{\partial y}}(x_0,y_0)$.

Observación 18.1.
De acuerdo con la definición 18.1, tenemos que una función real de dos variables $u$, definida sobre un abierto $U\subset {\mathbb{R}}^2$, es diferenciable en $(x_0,y_0)\in U$ si puede escribirse de la forma: $$u(x,y)=u(x_0,y_0)+A(x-x_0)+B(y-y_0)+\epsilon (x,y)\sqrt{(x-x_0{)}^2+(y-y_0{)}^2},$$ donde $A={\displaystyle \frac{\partial u}{\partial x}}(x_0,y_0)$ y $B={\displaystyle \frac{\partial u}{\partial y}}(x_0,y_0)$ son constantes reales y $\underset{(x,y)\to (x_0,y_0)}{lim}\epsilon (x,y)=0$.

Consideremos el siguiente resultado.

Proposición 18.1.
Sean $U\subset \mathbb{C}$ un conjunto abierto y $f:U\to \mathbb{C}$ una función. Entonces, $f$ es analítica en $z_0\in U$ si y solo si $f$ se puede escribir de la forma: $$\begin{array}{}\text{(18.2)}& f(z)=f(z_0)+c(z-z_0)+\epsilon (z)(z-z_0),\end{array}$$ donde $c\in \mathbb{C}$ es una constante, $\epsilon :U\to \mathbb{C}$ es continua en $z_0$ y $\underset{z\to z_0}{lim}\epsilon (z)=0$. En tal caso se tiene que $f^{\prime }(z_0)=c$.

Demostración. Dadas las hipótesis, tenemos lo siguiente.

$\Rightarrow )$
Supongamos que $f^{\prime }(z_0)$ existe, entonces definimos la función: $$\epsilon (z)=\{\begin{array}{lcc}{\displaystyle \frac{f(z)-f(z_0)}{z–z_0}}–f^{\prime }(z_0)& \text{si}& z\ne z_0,\\ 0& \text{si}& z=z_0.\end{array}$$ Es claro que dicha función satisface que $\underset{z\to z_0}{lim}\epsilon (z)=0$ y además es una función continua en $z_0$.

$(\Leftarrow$
Supongamos que $f(z)$ se puede escribir como (18.2) con $c\in \mathbb{C}$ constante, entonces para $z\ne z_0$, tenemos que: $$\frac{f(z)–f(z_0)}{z–z_0}=c+\epsilon (z),$$ por lo que, tomando límites en la igualdad anterior: $$\underset{z\to z_0}{lim}\frac{f(z)–f(z_0)}{z–z_0}=\underset{z\to z_0}{lim}(c+\epsilon (z))=c,$$ de donde $f^{\prime }(z_0)=c$.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$

La proposición anterior establece que la diferenciabilidad de una función compleja $f(z)$ en $z_0$ es equivalente a que dicha función se puede aproximar en $z_0$ por la función lineal $f(z_0)+c(z-z_0)$, con $c\in \mathbb{C}$ constante, en el sentido que cuando $z$ está cerca de $z_0$ la diferencia entre $f(z)$ y $f(z_0)+c(z-z_0)$ es pequeña comparada con $|z-z_0|$.

Procedemos ahora a responder nuestra pregunta sobre cuáles son las condiciones suficientes que se deben imponer sobre las funciones $u$ y $v$, correspondientes con la parte real e imaginaria de una función compleja, además de las ecuaciones de C-R, para garantizar la analicidad de una función compleja.

Teorema 18.1.
Una función compleja $f(z)=u(x,y)+iv(x,y)$ es analítica en un conjunto abierto $U\subset \mathbb{C}$ si las cuatro derivadas parciales $u_x,v_x,u_y$ y $v_y$ existen y son continuas en todo punto de $U$ (es decir $u$ y $v$ son funciones de clase $C^1$) y satisfacen las ecuaciones de C-R en todo punto de $U$. En tal caso, para todo $z_0=x_0+i{y}_0\in U$ se tiene que: $$\begin{array}{}\text{(18.3)}& f^{\prime }(z_0)=\frac{\partial u}{\partial x}(x_0,y_0)+i\frac{\partial v}{\partial x}(x_0,y_0)=\frac{\partial v}{\partial y}(x_0,y_0)–i\frac{\partial u}{\partial y}(x_0,y_0).\end{array}$$

Demostración. Dadas las hipótesis, tomemos a $z_0=x_0+i{y}_0\in U$ fijo, entonces existe $r>0$ tal que $B(z_0,r)\subset U$. Sea $z\in B(z_0,r)$ y supongamos que $z\ne z_0$, entonces tenemos que el segmento de recta que une a $z_0$ con $z$, es decir $[z_0,z]$, está totalmente contenido en $B(z_0,r)$ (¿por qué?). Sin perdida de generalidad supongamos que $x>x_0$ y $y>y_0$ (los casos restantes son completamente análogos), figura 74, por lo que: $$u(x,y)–u(x_0,y_0)=u(x,y)–u(x_0,y)+u(x_0,y)–u(x_0,y_0).$$

Definimos $h=x–x_0>0$ y $k=y–y_0>0$. Sean $g_1:[0,h]\to \mathbb{R}$ y $g_2:[0,k]\to \mathbb{R}$ dadas por: $$g_1(t)=u(x_0+t,y)\text{y}{g}_2(t)=u(x_0,y_0+t).$$

Tenemos que: $$\begin{array}{rl}{g}_1\prime (t)& =\underset{h\to 0}{lim}\frac{g_1(t+h)-g_1(t)}{h}\\ & =\underset{h\to 0}{lim}\frac{u(x_0+t+h,y)-u(x_0+t,y)}{h}\\ & =\frac{\partial u}{\partial x}(x_0+t,y),\end{array}$$ $$\begin{array}{rl}{g}_2\prime (t)& =\underset{k\to 0}{lim}\frac{g_2(t+k)-g_2(t)}{k}\\ & =\underset{k\to 0}{lim}\frac{u(x_0,y_0+t+k)-u(x_0,y_0+t)}{k}\\ & =\frac{\partial u}{\partial y}(x_0,y_0+t).\end{array}$$

Como $u_x$ y $u_y$ existen en $U$, entonces para $y$ fijo tenemos que $g_1$ es una función diferenciable en $[0,h]$ y para $x_0$ fijo tenemos que $g_2$ también es una función diferenciable en $[0,k]$, por lo que $g_1$ y $g_2$ son funciones continuas en $[0,h]$ y $[0,k]$ respectivamente.

Por el teorema del valor medio para funciones reales, tenemos que existen $c_1\in (0,h)$ y $c_2\in (0,k)$ tales que: $$\begin{array}{r}{g}_1(h)–g_1(0)=g_1\prime (c_1)(h–0),\\ g_2(h)–g_2(0)=g_2\prime (c_2)(k–0),\end{array}$$ o equivalentemente que existen ${\alpha }_1,{\beta }_1\in (0,1)$, tales que: $$\begin{array}{r}{g}_1(h)–g_1(0)=h{g}_1\prime (h{\alpha }_1),\\ g_2(h)–g_2(0)=k{g}_2\prime (k{\beta }_1),\end{array}$$ es decir: $$\begin{array}{rl}u(x,y)–u(x_0,y)& =u(x_0+h,y_0+k)–u(x_0,y_0+k)\\ & =h{u}_x(x_0+{\alpha }_{1}h,y_0+k),\end{array}$$ $$\begin{array}{rl}u(x_0,y)–u(x_0,y_0)& =u(x_0,y_0+k)–u(x_0,y_0)\\ & =k{u}_y(x_0,y_0+{\beta }_{1}k).\end{array}$$ Por lo que: $$u(x,y)–u(x_0,y_0)=h{u}_x(x_0+{\alpha }_{1}h,y_0+k)+k{u}_y(x_0,y_0+{\beta }_{1}k).$$

De manera análoga concluimos que existen ${\alpha }_2,{\beta }_2\in (0,1)$ tales que: $$\begin{array}{r}v(x_0+h,y_0+k)–v(x_0,y_0+k)=h{v}_x(x_0+{\alpha }_{2}h,y_0+k),\\ v(x_0,y_0+k)–v(x_0,y_0)=k{v}_y(x_0,y_0+{\beta }_{2}k),\end{array}$$ donde $h=x–x_0>0$ y $k=y–y_0>0$.

Por lo que: $$v(x,y)–v(x_0,y_0)=h{v}_x(x_0+{\alpha }_{2}h,y_0+k)+k{v}_y(x_0,y_0+{\beta }_{2}k).$$ Entonces, para $z\ne z_0$ tenemos que: $$\begin{array}{rl}\frac{f(z)–f(z_0)}{z-z_0}& =\frac{u(x,y)+iv(x,y)–[u(x_0,y_0)+iv(x_0,y_0)]}{(x–x_0)+i(y-y_0)}\\ & =\frac{u(x,y)–u(x_0,y_0)}{h+ik}+i\left[\frac{v(x,y)–v(x_0,y_0)}{h+ik}\right]\\ & =\frac{h{u}_x(x_0+{\alpha }_{1}h,y_0+k)+k{u}_y(x_0,y_0+{\beta }_{1}k)}{h+ik}\\ & +i\left[\frac{h{v}_x(x_0+{\alpha }_{2}h,y_0+k)+k{v}_y(x_0,y_0+{\beta }_{2}k)}{h+ik}\right]\\ & =\frac{h}{h+ik}[u_x(x_0+{\alpha }_{1}h,y_0+k)+i{v}_x(x_0+{\alpha }_{2}h,y_0+k)]\\ & +\frac{k}{h+ik}[u_y(x_0,y_0+{\beta }_{1}k)+i{v}_y(x_0,y_0+{\beta }_{2}k)],\end{array}$$ donde $h=x–x_0>0$, $k=y–y_0>0$ y ${\alpha }_i,{\beta }_i\in (0,1)$ para $i=1,2$. Además la igualdad anterior se cumple aún si $x=x_0$ o $y=y_0$.

Dado que $u_x,u_y,v_x$ y $v_y$ son continuas en $U$, entonces tenemos que: $$\begin{array}{r}\underset{(h,k)\to (0,0)}{lim}{u}_x(x_0+{\alpha }_{1}h,y_0+k)=u_x(x_0,y_0),\\ \underset{(h,k)\to (0,0)}{lim}{v}_x(x_0+{\alpha }_{2}h,y_0+k)=v_x(x_0,y_0),\\ \underset{(h,k)\to (0,0)}{lim}{u}_y(x_0,y_0+{\beta }_{1}k)=u_y(x_0,y_0),\\ \underset{(h,k)\to (0,0)}{lim}{v}_y(x_0,y_0+{\beta }_{2}k)=v_y(x_0,y_0).\end{array}$$ Por lo que: $$\begin{array}{rl}\frac{f(z)–f(z_0)}{z-z_0}& =\frac{h}{h+ik}[u_x(x_0,y_0)+i{v}_x(x_0,y_0)+{\epsilon }_1]\\ & +\frac{k}{h+ik}[u_y(x_0,y_0)+i{v}_y(x_0,y_0)+{\epsilon }_2],\end{array}$$ donde ${\epsilon }_1,{\epsilon }_2\to 0$ si $(h,k)\to (0,0)$ o equivalentemente si $z\to z_0$.

Como se cumplen las ecuaciones de C-R, tenemos que: $$\begin{array}{r}{u}_x(x_0,y_0)=A=v_y(x_0,y_0),\\ u_y(x_0,y_0)=B=–v_x(x_0,y_0),\end{array}$$ para algunos $A$ y $B$ números reales.

Entonces: $$\begin{array}{rl}\frac{f(z)–f(z_0)}{z-z_0}& =\frac{h}{h+ik}\left(A–iB\right)+\frac{k}{h+ik}(B+iA)+\frac{h{\epsilon }_1+k{\epsilon }_2}{h+ik}\\ & =\frac{A(h+ik)}{h+ik}-i\frac{B(h+ik)}{h+ik}+\frac{h{\epsilon }_1+k{\epsilon }_2}{h+ik}\\ & =A-iB+\frac{h{\epsilon }_1+k{\epsilon }_2}{h+ik}\\ & =u_x(x_0,y_0)+i{v}_x(x_0,y_0)+\frac{h{\epsilon }_1+k{\epsilon }_2}{h+ik},\end{array}$$ donde ${\epsilon }_1,{\epsilon }_2\to 0$ si $z\to z_0$.

Dado que para todo $z\in \mathbb{C}$ se cumple que $|\mathrm{Re}(z)|\le |z|$ e $|\mathrm{Im}(z)|\le |z|$, entonces: $$\begin{array}{r}0<|h|\le |h+ik|⟹\frac{|h|}{|h+ik|}\le 1,\\ 0<|k|\le |h+ik|⟹\frac{|k|}{|h+ik|}\le 1.\end{array}$$ Por lo que: $$\begin{array}{rl}\left|\frac{h{\epsilon }_1+k{\epsilon }_2}{h+ik}\right|& \le \left|\frac{h{\epsilon }_1}{h+ik}\right|+\left|\frac{k{\epsilon }_2}{h+ik}\right|\\ & =\frac{\left|h\right|}{|h+ik|}\left|{\epsilon }_1\right|+\frac{\left|k\right|}{|h+ik|}\left|{\epsilon }_2\right|\\ & \le \left|{\epsilon }_1\right|+\left|{\epsilon }_2\right|,\end{array}$$ tomando límites en la desigualdad anterior concluimos que: $$\underset{(h,k)\to (0,0)}{lim}\frac{h{\epsilon }_1+k{\epsilon }_2}{h+ik}=\underset{z\to z_0}{lim}\frac{(x-x_0){\epsilon }_1+(y-y_0){\epsilon }_2}{(x-x_0)+i(y-y_0)}=0.$$ Por tanto, tenemos que: $$\begin{array}{rl}\underset{z\to z_0}{lim}\frac{f(z)–f(z_0)}{z-z_0}& =\underset{z\to z_0}{lim}(u_x(x_0,y_0)+i{v}_x(x_0,y_0)+\frac{(x-x_0){\epsilon }_1+(y-y_0){\epsilon }_2}{(x-x_0)+i(y-y_0)})\\ & =\underset{z\to z_0}{lim}{u}_x(x_0,y_0)+\underset{z\to z_0}{lim}i{v}_x(x_0,y_0)+\underset{z\to z_0}{lim}\frac{(x-x_0){\epsilon }_1+(y-y_0){\epsilon }_2}{(x-x_0)+i(y-y_0)}\\ & =u_x(x_0,y_0)+i{v}_x(x_0,y_0).\end{array}$$

Entonces $f$ es analítica en $z_0=x_0+i{y}_0\in U$ y su derivada está dada por (18.3).

Dado que $z_0=x_0+i{y}_0\in U$ era arbitrario, entonces el resultado se cumple para todo punto en $U$.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$

El resultado anterior es un primer recíproco parcial del teorema 17.1 de la entrada anterior, en el cual vimos que las ecuaciones de C-R son solo una condición necesaria, pero no suficiente, para la analicidad de una función compleja.

Observación 18.2.
Es importante recordar que los conceptos de diferenciabilidad y analicidad de una función no son intercambiables, por lo que puede suceder que una función sea diferenciable en un punto, pero no analítica en dicho punto. Considerando el resultado anterior podemos determinar a través de las ecuaciones de C-R dónde una función sí puede ser al menos diferenciable.

Ejemplo 18.1.
Sea $z=x+iy\in \mathbb{C}$. Consideremos a la función $f(z)=x^2+y^2+2ixy$. Veamos que $f$ no es analítica en ningún punto, pero es diferenciable en todo el eje real. Más aún, veamos que en dicho conjunto de puntos se tiene que $f^{\prime }(z)=2x$.

Solución. Considerando a la función $f$ tenemos que: $$u(x,y)=x^2+y^2\text{y}v(x,y)=2xy.$$ Claramente ambas funciones están definidas sobre todo $\mathbb{C}$, por lo que $f$ está definida en $\mathbb{C}$.

Tenemos que: $$\begin{array}{r}\frac{\partial u}{\partial x}=2x,\frac{\partial u}{\partial y}=2y,\\ \frac{\partial v}{\partial x}=2y,\frac{\partial v}{\partial y}=2x.\end{array}$$ Es claro que las derivadas parciales existen y son continuas para todo $z=x+iy\in \mathbb{C}$.

Notemos que $u_x=v_y$, pero $u_y\ne -v_x$. Sin embargo: $$\begin{array}{rl}\frac{\partial u}{\partial y}=–\frac{\partial v}{\partial x}& ⟺y=0\\ & ⟺z=\mathrm{Re}(z)=x.\end{array}$$

Por lo que, por el teorema 18.1, concluimos que $f$ únicamente es diferenciable para todo $z$ en el eje real y su derivada en dicho conjunto de puntos es: $$f^{\prime }(z)=f^{\prime }(x)=\frac{\partial u}{\partial x}(x,0)+i\frac{\partial v}{\partial x}(x,0)=2x.$$

Dado que para todo $z_0=x_0+i0$ en el eje real y para todo $\delta >0$, existe $z_{\delta }=x_0+i\frac{\delta }{2}\in B(z_0,\delta )$ un punto en donde $f$ no es diferenciable, entonces no existe un disco abierto alrededor de $z_0$ en el cual $f$ sea diferenciable y por tanto no es analítica en ningún punto sobre el eje real y en general en ningún punto en $\mathbb{C}$.

Ejemplo 18.2.
Sea $f:\mathbb{C}\to \mathbb{C}$ dada por $f(z)=x^2–y^3+i(x-y)$. Mostremos que $f$ no es analítica en $\mathbb{C}$ y determinemos el conjunto de puntos donde es diferenciable y hallemos su derivada en dicho conjunto.

Solución. De acuerdo con la definición de $f$ tenemos que: $$u(x,y)=x^2–y^3\text{y}v(x,y)=x-y.$$

Tanto $u$ como $v$ son funciones reales diferenciables en todo punto en ${\mathbb{R}}^2$ y: $$\begin{array}{r}\frac{\partial u}{\partial x}=2x,\frac{\partial u}{\partial y}=-3y^2,\\ \frac{\partial v}{\partial x}=1,\frac{\partial v}{\partial y}=-1,\end{array}$$ las cuales existen y son continuas para todo punto en ${\mathbb{R}}^2$.

Es claro que $u_x\ne v_y$ y $u_y\ne -v_x$. Procedemos a determinar en qué puntos de $\mathbb{C}$ se satisfacen las igualdades: $$\begin{array}{rl}\frac{\partial u}{\partial x}=\frac{\partial v}{\partial y}& ⟺2x=-1\\ & ⟺x=-\frac{1}{2}.\end{array}$$ $$\begin{array}{rl}\frac{\partial u}{\partial y}=–\frac{\partial v}{\partial x}& ⟺-3y^2=-1\\ & ⟺y=\pm \frac{1}{\sqrt{3}}.\end{array}$$

Sea $S=\{-\frac{1}{2}+i\frac{\sqrt{3}}{3},-\frac{1}{2}-i\frac{\sqrt{3}}{3}\}$.

Entonces, por el teorema 18.1, concluimos que $f$ únicamente es diferenciable para $z_0\in S$ y su derivada en dicho conjunto de puntos es: $$\begin{array}{rl}{f}^{\prime }\left(z_0\right)& =\frac{\partial u}{\partial x}(-\frac{1}{2},\pm \frac{\sqrt{3}}{3})+i\frac{\partial v}{\partial x}(-\frac{1}{2},\pm \frac{\sqrt{3}}{3})\\ & =-1+i.\end{array}$$

Notemos que para todo $z_0\in S$ y para todo $\delta >0$, existe $z_{\delta }=z_0+\frac{\delta }{2}\in B(z_0,\delta )$ un punto en donde $f$ no es diferenciable, entonces no existe un disco abierto alrededor de $z_0$ en el cual $f$ sea diferenciable y por tanto no es analítica en ningún punto en $S$ y en general en ningún punto en $\mathbb{C}$.

Definición 18.2. (Dominio de analicidad.)
Un conjunto $U\subset \mathbb{C}$ es llamado un dominio de analicidad de una función compleja $f$ si $U$ es el mayor conjunto abierto en el cual $f$ es analítica.

Ejemplo 18.3
Para las funciones $f(z)=1/z$ y $g(z)=\bar{z}$ tenemos que sus dominios de analicidad son los conjuntos $U=\mathbb{C}\setminus \{0\}$ y $G=\mathrm{\varnothing }$ respectivamente.

Considerando la proposición 18.1 y la observación 18.1, planteamos el siguiente resultado en el cual establecemos cuales son las condiciones necesarias y suficientes que deben satisfacer las funciones reales $u$ y $v$, correspondientes con la parte real e imaginaria de una función compleja, para garantizar la analicidad de dicha función en un conjunto abierto $U\subset \mathbb{C}$.

Teorema 18.2.
Una función compleja $f(z)=u(x,y)+iv(x,y)$ es una función analítica en un conjunto abierto $U\subset \mathbb{C}$ si y solo si las funciones reales de dos variables $u$ y $v$ son diferenciables en $U$ y satisfacen las ecuaciones de C-R en todo punto de $U$. En tal caso, para todo $z_0=x_0+i{y}_0\in U$ se tiene que: $$\begin{array}{}\text{(18.3.)}& f^{\prime }(z_0)=\frac{\partial u}{\partial x}(x_0,y_0)+i\frac{\partial v}{\partial x}(x_0,y_0)=\frac{\partial v}{\partial y}(x_0,y_0)–i\frac{\partial u}{\partial y}(x_0,y_0).\end{array}$$

Demostración. Sea $f(z)=u(x,y)+iv(x,y)$ una función compleja definida sobre un conjunto abierto $U\subset \mathbb{C}$ y sea $z=x+iy\in U$.

$\Rightarrow )$
Supongamos que $f$ es analítica en $U$ y sea $z_0=x_0+i{y}_0\in U$ fijo. De acuerdo con la proposición 18.1, como la función $f$ es analítica en $z_0\in U$, entonces puede escribirse como en (18.2), es decir de la forma: $$f(z)–f(z_0)=c(z-z_0)+\epsilon (z)(z-z_0),$$ donde $c=f^{\prime }(z_0)\in \mathbb{C}$ es constante y $\underset{z\to z_0}{lim}\epsilon (z)=0$.

Sea $c=f^{\prime }(z_0)=A+iB\in \mathbb{C}$ para algunos $A$ y $B$ números reales. Entonces podemos reescribir esta última igualdad como: $$u(x,y)+iv(x,y)–[u(x_0,y_0)+iv(x_0,y_0)]=(A+iB)[(x-x_0)+i(y-y_0)]+\epsilon (x+iy)[(x-x_0)+i(y-y_0)].$$ Separando en la parte real e imaginaria de la igualdad anterior obtenemos: $$\begin{array}{r}u(x,y)–u(x_0,y_0)=A(x-x_0)–B(y-y_0)+\mathrm{Re}(\epsilon (x+iy)[(x-x_0)+i(y-y_0)]),\\ v(x,y)–v(x_0,y_0)=B(x-x_0)+A(y-y_0)+\mathrm{Im}(\epsilon (x+iy)[(x-x_0)+i(y-y_0)]).\end{array}$$ Tenemos que: $$\begin{array}{rl}\mathrm{Re}(\epsilon (x+iy)[(x-x_0)+i(y-y_0)])& =(\mathrm{Re}[\epsilon (x+iy)[(x-x_0)+i(y-y_0)]])\frac{\sqrt{(x-x_0{)}^2+(y-y_0{)}^2}}{\sqrt{(x-x_0{)}^2+(y-y_0{)}^2}}\\ & =(\mathrm{Re}[\frac{\epsilon (x+iy)[(x-x_0)+i(y-y_0)]}{\sqrt{(x-x_0{)}^2+(y-y_0{)}^2}}])\sqrt{(x-x_0{)}^2+(y-y_0{)}^2}\\ & =:{\epsilon }_1(x,y)\sqrt{(x-x_0{)}^2+(y-y_0{)}^2},\end{array}$$ y de manera análoga obtenemos que: $$\mathrm{Im}(\epsilon (x+iy)[(x-x_0)+i(y-y_0)])=:{\epsilon }_2(x,y)\sqrt{(x-x_0{)}^2+(y-y_0{)}^2}.$$ Por tanto: $$\begin{array}{r}u(x,y)–u(x_0,y_0)=A(x-x_0)–B(y-y_0)+{\epsilon }_1(x,y)\sqrt{(x-x_0{)}^2+(y-y_0{)}^2},\\ \text{(18.4)}& v(x,y)–v(x_0,y_0)=B(x-x_0)+A(y-y_0)+{\epsilon }_2(x,y)\sqrt{(x-x_0{)}^2+(y-y_0{)}^2}.\end{array}$$ Notemos que: $$|{\epsilon }_1(x,y)|\le |\epsilon (z)|\text{y}|{\epsilon }_2(x,y)|\le |\epsilon (z)|.$$ Dado que $\underset{z\to z_0}{lim}\epsilon (z)=0$, entonces tomando límites en estas dos desigualdades concluimos que: $$\begin{array}{}\text{(18.5)}& \underset{(x,y)\to (x_0,y_0)}{lim}{\epsilon }_1(x,y)=0\text{y}\underset{(x,y)\to (x_0,y_0)}{lim}{\epsilon }_2(x,y)=0.\end{array}$$ Por lo tanto, considerando (18.4) y (18.5), se sigue de la observación 18.1 que $u$ y $v$ son funciones diferenciables en $(x_0,y_0)\in U$ y se cumple que: $$\begin{array}{r}\frac{\partial u}{\partial x}(x_0,y_0)=A=\frac{\partial v}{\partial y}(x_0,y_0),\\ \frac{\partial v}{\partial x}(x_0,y_0)=B=-\frac{\partial u}{\partial y}(x_0,y_0),\end{array}$$ es decir que se satisfacen las ecuaciones de C-R en $z_0=x_0+i{y}_0\in U$. Dado que dicho punto era arbitrario entonces el resultado es válido para todo punto en $U$.

$(\Leftarrow$
Supongamos ahora que las funciones reales de dos variables $u$ y $v$ son diferenciables en un punto $(x_0,y_0)\in U$ y satisfacen las ecuaciones de C-R en dicho punto, entonces: $$\begin{array}{r}\frac{\partial u}{\partial x}(x_0,y_0)=A=\frac{\partial v}{\partial y}(x_0,y_0),\\ \frac{\partial v}{\partial x}(x_0,y_0)=B=-\frac{\partial u}{\partial y}(x_0,y_0)\end{array}$$ para algunos $A$ y $B$ números reales.

Por la observación 18.1 y considerando las igualdades anteriores tenemos que $u$ y $v$ se pueden escribir de la forma: $$\begin{array}{r}u(x,y)–u(x_0,y_0)=A(x-x_0)–B(y-y_0)+{\epsilon }_1(x,y)\sqrt{(x-x_0{)}^2+(y-y_0{)}^2},\\ v(x,y)–v(x_0,y_0)=B(x-x_0)+A(y-y_0)+{\epsilon }_2(x,y)\sqrt{(x-x_0{)}^2+(y-y_0{)}^2},\end{array}$$ donde ${\epsilon }_1(x,y)\to 0$ y ${\epsilon }_2(x,y)\to 0$ si $(x,y)\to (x_0,y_0)$.

Considerando a la función $f(z)=u(x,y)+iv(x,y)$, tenemos que: $$\begin{array}{rl}f(z)–f(z_0)& =u(x,y)+iv(x,y)–[u(x_0,y_0)+iv(x_0,y_0)]\\ & =u(x,y)–u(x_0,y_0)+i[v(x,y)–v(x_0,y_0)]\\ & =A(x-x_0)–B(y-y_0)+{\epsilon }_1(x,y)\sqrt{(x-x_0{)}^2+(y-y_0{)}^2}\\ & +i[B(x-x_0)+A(y-y_0)+{\epsilon }_2(x,y)\sqrt{(x-x_0{)}^2+(y-y_0{)}^2}]\\ & =(A+iB)[(x-x_0)+i(y-y_0)]+\sqrt{(x-x_0{)}^2+(y-y_0{)}^2}[{\epsilon }_1(x,y)+i{\epsilon }_2(x,y)].\end{array}$$ Tomando: $$\epsilon (x+iy):=\frac{\sqrt{(x-x_0{)}^2+(y-y_0{)}^2}}{(x-x_0)+i(y-y_0)}[{\epsilon }_1(x,y)+i{\epsilon }_2(x,y)],$$ entonces: $$\begin{array}{rl}f(z)–f(z_0)& =(A+iB)[(x-x_0)+i(y-y_0)]+\epsilon (x+iy)[(x-x_0)+i(y-y_0)]\\ \text{(18.6)}& & =(A+iB)\left(z–z_0\right)+\epsilon (z)(z-z_0).\end{array}$$ Claramente: $$|\epsilon (z)|\le |{\epsilon }_1(x,y)|+|{\epsilon }_2(x,y)|.$$ Como ${\epsilon }_1(x,y)\to 0$ y ${\epsilon }_2(x,y)\to 0$ si $(x,y)\to (x_0,y_0)$, entonces tomando límites en esta última desigualdad concluimos que: $$\begin{array}{}\text{(18.7)}& \underset{z\to z_0}{lim}\epsilon (z)=0.\end{array}$$ Por lo tanto, considerando (18.6) y (18.7), se sigue de la proposición 18.1 que $f$ es analítica en $z_0\in U$.

Más aún, tenemos que: $$f^{\prime }(z_0)=A+iB=\frac{\partial u}{\partial x}(x_0,y_0)+i\frac{\partial v}{\partial x}(x_0,y_0)=\frac{\partial v}{\partial y}(x_0,y_0)–i\frac{\partial u}{\partial y}(x_0,y_0),$$ por lo que se cumple (18.3).

Dado que $z_0=x_0+i{y}_0\in U$ era arbitrario, entonces el resultado se cumple para todo punto en $U$.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$

Observación 18.3.
Recordemos que hemos construido a $\mathbb{C}$ a través de ${\mathbb{R}}^2$, por lo que si pensamos a una función compleja $f$ como una función de ${\mathbb{R}}^2$ a ${\mathbb{R}}^2$ podemos preguntarnos acerca de la relación entre la diferenciabilidad compleja y la diferenciabilidad real de $f$.

Definición 18.3. (Diferenciabilidad de una función vectorial de dos variables.)
Sean $U\subset {\mathbb{R}}^2$ un conjunto abierto, $z_0=(x_0,y_0)\in U$ y $f:U\to {\mathbb{R}}^2$ una función. Decimos que $f$ es diferenciable en $z_0$ (en el sentido real) si y solo si existe una transformación lineal $D_{f(z_0)}:{\mathbb{R}}^2\to {\mathbb{R}}^2$ tal que: $$\begin{array}{}\text{(18.8)}& \underset{z\to z_0}{lim}\frac{\Vert f(z)-f(z_0)-D_{f(z_0)}(z-z_0)\Vert }{\Vert z-z_0\Vert }=0,\end{array}$$ donde $\Vert \cdot \Vert$ denota la norma usual en ${\mathbb{R}}^2$.

Por nuestros cursos de Cálculo sabemos que si una función vectorial de dos variables $f:U\to {\mathbb{R}}^2$, dada por $f(x,y)=(f_1(x,y),f_2(x,y))$, es diferenciable en un punto $z_0\in U\subset {\mathbb{R}}^2$, es decir existe el límite (18.8), entonces existen todas las derivadas parciales (de primer orden) en el punto $z_0$, de las funciones componentes de $f$ y al considerar la base canónica de ${\mathbb{R}}^2$, la matriz de $2\times 2$ que representa a la transformación lineal $D_{f(z_0)}$ está formada por dichas derivadas parciales y recibe el nombre de la matriz Jacobiana, es decir: $$\begin{array}{}\text{(18.9)}& J_f(z_0)=\left(\begin{array}{cc}\frac{\partial f_1}{\partial x}(z_0)& \frac{\partial f_1}{\partial y}(z_0)\\ \\ \frac{\partial f_2}{\partial x}(z_0)& \frac{\partial f_2}{\partial y}(z_0)\end{array}\right).\end{array}$$ Más aún, se prueba que $f$ es diferenciable en $U$ si y solo si $f_i:U\to \mathbb{R}$, con $i=1,2$, son funciones diferenciables en $U$.

De acuerdo con lo anterior podemos hacer algunas observaciones importantes. Notemos que la norma usal en ${\mathbb{R}}^2$ coincide con el módulo complejo en $\mathbb{C}$. Además, para una función compleja $f(z)=u(x,y)+iv(x,y)$, al considerarla como una función de ${\mathbb{R}}^2$ a ${\mathbb{R}}^2$, se tiene que las funciones componentes de $f$ son: $$\begin{array}{}\text{(18.10)}& f_1(x,y)=u(x,y),f_2(x,y)=v(x,y).\end{array}$$

Considerando a un número complejo $\lambda =a+ib$ fijo y $z=x+iy\in \mathbb{C}$, tenemos que su producto es: $$\lambda z=(a+ib)(x+iy)=(ax-by)+i(ay+bx).$$

Por lo que, a través del producto de dos números complejos es posible definir una trasnformación lineal de ${\mathbb{R}}^2$ a ${\mathbb{R}}^2$, como sigue. Sean $\lambda =(a,b)\in {\mathbb{R}}^2$ constante y $z=(x,y)\in {\mathbb{R}}^2$, entonces: $$\begin{array}{}\text{(18.11)}& M_{\lambda }:{\mathbb{R}}^2\to {\mathbb{R}}^2,M_{\lambda }(z)=\left(\begin{array}{c}ax-by\\ ay+bx\end{array}\right)=\left(\begin{array}{cc}a& -b\\ b& a\end{array}\right)\left(\begin{array}{c}x\\ y\end{array}\right),\end{array}$$ de donde es claro que la matriz $A=\left(\begin{array}{cc}a& -b\\ b& a\end{array}\right)$ representa, en la base canónica de ${\mathbb{R}}^2$, a la transformación $M_{\lambda }$ correspondiente con la multiplicación de dos números complejos.

Procedamos ahora a analizar la definición de diferenciabilidad compleja dada en la entrada 16. De acuerdo con la definición 16.1, sabemos que para $U\subset \mathbb{C}$ un conjunto abierto y $f:U\to \mathbb{C}$ una función, decimos que $f$ es diferenciable en $z_0\in U$ si existe el límite: $$\underset{z\to z_0}{lim}\frac{f(z)–f(z_0)}{z-z_0},$$ lo cual es equivalente a que exista un número complejo $\lambda =a+ib\in \mathbb{C}$ tal que: $$\begin{array}{rl}\underset{z\to z_0}{lim}\frac{f(z)–f(z_0)}{z-z_0}=\lambda & ⟺\underset{z\to z_0}{lim}\frac{f(z)–f(z_0)–\lambda (z-z_0)}{z-z_0}=0\\ \text{(18.12)}& & ⟺\underset{z\to z_0}{lim}\frac{|f(z)–f(z_0)–\lambda (z-z_0)|}{|z-z_0|}=0,\end{array}$$ en cuyo caso $\lambda =f^{\prime }(z_0)$.

De acuerdo con todo lo anterior, tenemos que la existencia de los límites dados en (18.8) y (18.12), así como el cumplimiento de las ecuaciones de C-R, nos deja ver que hay una estrecha relación entre las definiciones de diferenciabilidad real, para una función vectorial de dos variables, y de diferenciabilidad compleja.

Sean $U\subset \mathbb{C}$ un conjunto abierto y $f(z)=u(x,y)+iv(x,y)$ una función definida en $U$ y consideremos que $z=x+iy=(x,y)\in U$.

Si $f$ es una función analítica en $z_0\in U$, entonces existe $\lambda =a+ib\in \mathbb{C}$ tal que se cumple (18.12). Notemos que: $$\begin{array}{rl}\lambda (z-z_0)& =(a+ib)[(x-x_0)+i(y-y_0)]\\ & =[a(x-x_0)–b(y-y_0)]+i[b(x-x_0)+a(y-y_0)],\end{array}$$ por lo que, considerando la transformación lineal dada por (18.11), tenemos que: $$M_{\lambda }(z-z_0)=(a(x-x_0)–b(y-y_0),b(x-x_0)+a(y-y_0)),$$ entonces: $$\begin{array}{rl}0& =\underset{z\to z_0}{lim}\frac{|f(z)–f(z_0)–\lambda (z-z_0)|}{|z-z_0|}\\ & =\underset{z\to z_0}{lim}\frac{\Vert f(z)–f(z_0)–M_{\lambda }(z-z_0)\Vert }{\Vert z-z_0\Vert },\end{array}$$ por lo que $f$ es diferenciable, en el sentido real como función de ${\mathbb{R}}^2$ a ${\mathbb{R}}^2$. Más aún, la matriz $A$ que representa a la transformación lineal $M_{\lambda }$, en la base canónica de ${\mathbb{R}}^2$, debe ser igual a la matriz Jacobiana de $f$ en $z_0$, entonces considerando (18.10) tenemos que: $$\left(\begin{array}{cc}a& -b\\ b& a\end{array}\right)=\left(\begin{array}{cc}{u}_x(z_0)& u_y(z_0)\\ \\ v_x(z_0)& v_y(z_0)\end{array}\right),$$ de donde se siguen las ecuaciones de C-R y se cumple que $\lambda =f^{\prime }(z_0)=u_x(z_0)+i{v}_x(z_0)=v_y(z_0)–i{u}_x(z_0)$.

Si suponemos ahora que $f$, como función de ${\mathbb{R}}^2$ a ${\mathbb{R}}^2$, es diferenciable en el sentido real y que se satisfacen las ecuaciones de C-R, entonces tenemos que se cumple (18.8).

Considerando a la matriz Jacobiana que representa a la transformación lineal $D_{f(z_0)}$, dada en (18.8), como se cumplen las ecuaciones de C-R, tenemos que dicha matriz es de la forma: $$\left(\begin{array}{cc}{u}_x(z_0)& -u_y(z_0)\\ \\ u_y(z_0)& u_x(z_0)\end{array}\right)=\left(\begin{array}{cc}a& -b\\ b& a\end{array}\right),$$ para algunos $a,b\in \mathbb{R}$.

Dado que la transformación lineal $D_{f(z_0)}$ es única y la matriz que la representa es igual a la de la transformación dada en (18.11), entonces debe suceder que $D_{f(z_0)}=M_{\lambda }$, para $\lambda =a+ib\in \mathbb{C}$, es decir que se trata de la multiplicación por el número complejo $\lambda$, entonces: $$\begin{array}{rl}0& =\underset{z\to z_0}{lim}\frac{\Vert f(z)–f(z_0)–D_{f(z_0)}(z-z_0)\Vert }{\Vert z-z_0\Vert }\\ & =\underset{z\to z_0}{lim}\frac{|f(z)–f(z_0)–\lambda (z-z_0)|}{|z-z_0|}\end{array}$$

Con lo anterior hemos probado el siguiente resultado.

Teorema 18.3.
Sean $U\subset \mathbb{C}$ un conjunto abierto y $f(z)=u(x,y)+iv(x,y)$ una función compleja definida en $U$. Las siguientes condiciones son equivalentes:

1. $f$ es diferenciable en $z_0\in U$, en el sentido complejo.
2. $f$ es diferenciable en $z_0=(x_0,y_0)\in U$, en el sentido real, pensada como una función de ${\mathbb{R}}^2$ a ${\mathbb{R}}^2$, y se satisfacen las ecuaciones de C-R en $z_0$.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$

Ejemplo 18.4.
Sea $z=x+iy\in \mathbb{C}$ y sea $f:\mathbb{C}\to \mathbb{C}$ una función compleja dada por $f(z)=x^2-y^2+i2xy$. Veamos que $f$ es analítica en $\mathbb{C}$.

Solución. Si consideramos a $f$ como una función de ${\mathbb{R}}^2$ a ${\mathbb{R}}^2$ tenemos que $f(x,y)=(x^2–y^2,2xy)$, de donde se sigue que sus funciones componentes son: $$f_1(x,y)=u(x,y)=x^2-y^2,f_2(x,y)=v(x,y)=2xy.$$

Dado que: $$\begin{array}{r}\frac{\partial u}{\partial x}=2x,\frac{\partial u}{\partial y}=-2y,\\ \frac{\partial v}{\partial x}=2y,\frac{\partial v}{\partial y}=2x,\end{array}$$ existen y son continuas para todo $z=(x,y)\in {\mathbb{R}}^2$, entonces $f$ es una función diferenciable, en el sentido real, en ${\mathbb{R}}^2$.

Es claro que $u_x=v_y$ y $u_y=–v_x$ para todo $z=(x,y)\in {\mathbb{R}}^2$, por lo que de acuerdo con el teorema 18.3, concluimos que $f$ es diferenciable en todo $\mathbb{C}$ y por tanto analítica en todo punto.

Por último, tenemos que la matriz Jacobiana de dicha función compleja es: $$J_f=\left(\begin{array}{cc}{u}_x& u_y\\ v_x& v_y\end{array}\right)=\left(\begin{array}{cc}{u}_x& -v_x\\ v_x& u_x\end{array}\right)=\left(\begin{array}{cc}2x& -2y\\ 2y& 2x\end{array}\right),$$ para todo $z=x+iy\in \mathbb{C}$.

Entonces, para $z_0=x_0+i{y}_0\in \mathbb{C}$ se tiene que: $$f^{\prime }(z_0)=u_x(x_0,y_0)+i{v}_x(x_0,y_0)=2x_0+i2y_0=2z_0,$$ lo cual era de esperarse ya que $f(z)=z^2=x^2–y^2+i2xy$.

Observación 18.4.
Es importante notar que el resultado anterior es solo una reformulación del teorema 18.3, desde que la diferenciabilidad, en el sentido real, de una función $f:U\subset {\mathbb{R}}^2\to {\mathbb{R}}^2$ es equivalente a la diferenciabilidad de sus funciones componentes. Sin embargo, la importancia de este resultado radica en que ahora que conocemos la matriz Jacobiana de una función analítica, pensada como una función de ${\mathbb{R}}^2$ a ${\mathbb{R}}^2$, es claro, por el ejercicio 3 de la entrada 12, que dicha matriz corresponde con la derivada compleja de una función analítica en cualquier punto. Además veremos que a través de esta representación matricial de la derivada es posible establecer algunos resultados de las funciones analíticas que veremos en la siguiente entrada.

Por otra parte, estos últimos resultados nos dejan ver que la diferenciabilidad compleja es más fuerte que la diferenciabilidad real, lo cual resulta sorprendente, pues a diferencia de algunos conceptos como el límite y la continuidad para los cuales vimos que podemos caracterizarlos a través de dos funciones reales, correspondientes con la parte real e imaginaria de la función, en el caso de la diferenciabilidad es claro que no bastará la diferenciabilidad en el sentido real de dichas funciones o de la diferenciabilidad en el sentido real de la función vectorial conformada por dichas funciones reales. Esto resulta de suma importancia pues nos permite diferenciar a las funciones complejas de las funciones vectoriales de dos variables, desde que la diferenciabilidad de las primeras implica la diferenciabilidad de las segundas, pero el recíproco no es cierto ya que se deben cumplir también las ecuaciones de C-R, que como probamos antes resultan ser una condición necesaria para la diferenciabilidad compleja y por ende para la analicidad de una función compleja.

Para convencernos de esto último, basta con considerar a la función $f(z)=\bar{z}=x-iy$. Es claro que está función no es diferenciable en el sentido complejo desde que las ecuaciones de C-R no se satisfacen en ningún punto en $\mathbb{C}$ y por tanto tampoco es analítica. Sin embargo, si la consideramos como una función de ${\mathbb{R}}^2$ a ${\mathbb{R}}^2$ es claro que dicha función sí es diferenciable en el sentido real.

Tanto el teorema 18.1 como el teorema 18.2 nos dejan ver que además de las ecuaciones de C-R, es necesario imponer una serie de hipótesis extras sobre las funciones reales $u$ y $v$, que caracterizan a una función compleja $f(z)=u(x,y)+iv(x,y)$, para garantizar la analicidad de dicha función. Cerraremos esta entrada con un notable resultado que nos muestra que la condición de continuidad de las derivadas parciales en el teorema 18.1 resulta superfluo. No daremos una prueba de este, pero puede consultarse en algún texto como Complex Analysis in One Variable de Raghavan Narasimhan e Yves Nievergelt.

Teorema 18.4. (Teorema de Looman-Menchoff.)
Sean $U\subset$ un conjunto abierto y $f(z)=u(x,y)=iv(x,y)$ una función definida en $U$. Si las funciones reales $u$ y $v$ son continuas en $U$ (es decir que $f$ es continua en $U$), las cuatro derivadas parciales $u_x$, $u_y$, $v_x$ y $v_y$ existen en $U$ y se satisfacen las ecuaciones de C-R en $U$, entonces $f$ es analítica en $U$.

Tarea moral

1. Muestra que las siguientes funciones son diferenciables solo en los conjuntos dados y determina su derivada.
   a) $f(z)=x–i{y}^2$ en $S=\{z\in \mathbb{C}:\mathrm{Im}(z)=-1/2\}$.
   b) $f(z)=x^2+i{y}^2$ en $S=\{z\in \mathbb{C}:\mathrm{Re}(z)=\mathrm{Im}(z)\}$.
   c) $f(z)=yx+i{y}^2$ en $S=\{z\in \mathbb{C}:\mathrm{Re}(z)=\mathrm{Im}(z)=0\}$.
   d) $f(z)=x^3+i(1-y{)}^3$ en $S=\{z\in \mathbb{C}:\mathrm{Re}(z)=0\text{y}\mathrm{Im}(z)=1\}$.
2. Para cada una de las siguientes funciones complejas determina el conjunto donde $f$ es diferenciable y el dominio de analicidad de $f$. Donde exista, determina su derivada.
   a) $f(z)=(x^3+3x{y}^2–3x)+i(y^3+3x^{2}y–3y)$.
   b) $f(z)=6{\bar{z}}^2–2\bar{z}–4i|z{|}^2$.
   c) $f(z)=(3x^2+2x–3y^2-1)+i(6xy+2y)$.
   d) $f(z)={\displaystyle \frac{2z^2+6}{z(z^2+4)}}$.
3. Determina el dominio de analicidad de las siguientes funciones.
   a) $f(z)=4x^2+5x-4y^2+9+i(8xy+5y-1)$.
   b) $f(z)=5r\cos (\theta )+r^4\cos (4\theta )+i(5r\mathrm{sen}(\theta )+r^4\mathrm{sen}(4\theta ))$.
   c) $f(z)={\displaystyle \frac{x^3+x{y}^2+x}{x^2+y^2}}+i{\displaystyle \frac{y^3+x^{2}y-y}{x^2+y^2}}$.
   d) $f(z)={\displaystyle \frac{\cos (\theta )}{r}}–i{\displaystyle \frac{\mathrm{sen}(\theta )}{r}}$.
   e) $f(z)={\displaystyle \frac{x-1}{(x-1{)}^2+y^2}}–i{\displaystyle \frac{y}{(x-1{)}^2+y^2}}$.
4. ¿Cuál debe ser el valor de las constantes reales $a,b,c$ y $d$ para que las siguientes funciones sean analíticas?
   a) $f(z)=3x-y+5+i(ax+by-3)$.
   b) $f(z)=x^2+axy+b{y}^2+i(c{x}^2+dxy+y^2)$.
5. Supón que $f$ es una función analítica en un conjunto abierto $U\subset \mathbb{C}$. Prueba que el determinante de su matriz Jacobiana es igual a $|f^{\prime }(z){|}^2$ para todo $z\in U$.
6. Sean $f(z)=z^3$, $z_1=1$ y $z_2=i$. Prueba que no existe un punto $z_0$ en el segmento de recta que une a $z_1$ y $z_2$, es decir $[z_1,z_2]$, tal que: $$f(z_2)–f(z_1)=f^{\prime }(z_0)(z_2–z_1).$$ Concluye que el teorema del valor medio para funciones reales no se extiende para funciones complejas.
7. Sea $f$ una función analítica en un conjunto abierto $U\subset \mathbb{C}$. Prueba que la función $g(z)=\overline{f(\stackrel{―}{z})}$ es analítica en el conjunto $U^{\ast }=\{\bar{z}:z\in U\}$.

Más adelante…

En esta entrada vimos bajo que condiciones es posible garantizar la analicidad de una función compleja $f(z)=u(x,y)+iv(x,y)$ sobre un conjunto abierto $U\subset \mathbb{C}$. Para ello recurrimos nuevamente a analizar las funciones reales $u$ y $v$, concluyendo que, además de las ecuaciones de C-R, es necesario imponer algunas condiciones extras sobre dichas funciones.

El objetivo de esta entrada fue dar algunos recíprocos parciales para el Teorema 17.1 de la entrada anterior. Es interesante notar que es posible relajar algunas condiciones sobre las funciones $u$ y $v$ para garantizar la analicidad de una función compleja, como es el caso del teorema de Looman-Menchoff.

La siguiente entrada abordaremos algunos resultados interesantes que son consecuencia directa de las ecuaciones de Cauchy-Riemann y que nos permitirán caracterizar aún más a las funciones complejas a través de su parte real e imaginaria, extendiendo algunos resultados obtenidos en nuestros cursos de Cálculo.

Entradas relacionadas

• Ir a Variable Compleja I.
• Entrada anterior del curso: Ecuaciones de Cauchy-Riemann. Condiciones necesarias para la diferenciabilidad compleja.
• Siguiente entrada del curso: Consecuencias de las ecuaciones de Cauchy-Riemann.