Introducción
En esta entrada daremos algunas técnicas para construir una función analítica determinando la función armónica conjugada de una función real armónica. Como veremos, dichos métodos se sustentan en los resultados de la entrada anterior sobre funciones conjugadas armónicas y en la existencia de la primitiva o antiderivada de una función analítica en un dominio.
El primer método que veremos es el de Milne-Thomson, el cual requiere de una función armónica, correspondiente con la parte real o la parte imaginaria de una función compleja, para construir una función analítica $f(z) = u(x,y) + iv(x,y)$, al determinar su conjugada armónica.
Método de Milne-Thomson.
Sea $f(z) = u(x,y) + iv(x,y)$ una función compleja definida en algún dominio $D\subset \mathbb{C}$.
Para $z=x+iy\in D$ sabemos que:
\begin{equation*}
x = \frac{z+\overline{z}}{2}, \quad y = \frac{z-\overline{z}}{2i},
\end{equation*}entonces:
\begin{equation*}
f(z) = u\left( \frac{z+\overline{z}}{2}, \frac{z-\overline{z}}{2i} \right) + i v\left( \frac{z+\overline{z}}{2}, \frac{z-\overline{z}}{2i} \right).
\end{equation*}
Si consideramos a $z$ y $\overline{z}$ como dos variables independientes, entonces para $z = \overline{z}$, tenemos que:
\begin{equation*}
f(z) = u(z,0) + iv(z,0). \tag{41.1}
\end{equation*}
Notemos que la condición $z = \overline{z}$ es equivalente a que $y=0$, proposición 2.2(5), es decir que $z=x$ sea una variable real, en tal caso tendríamos que:
\begin{equation*}
f(x+iy) = f(x) = u(x,0) + iv(x,0). \tag{41.2}
\end{equation*}
De (41) y (41.2) es claro que al imponer la condición $y=0$ en $f(z) = u(x,y) + iv(x,y)$ obtenemos una función que solo depende de $x$. Por lo que, al sustuir $x$ por $z$ en la expresión resultante obtendremos una función en términos de la variable $z$.
Como nuestro objetivo es construir una función $f$ que sea analítica en $D$, entonces requerimos, teorema 18.1, que las funciones reales $u(x,y)$ y $v(x,y)$ sean de clase $C^1(D)$ y satisfagan las ecuaciones de C-R en $D$. Bajo dichas condiciones sabemos que se cumple que:
\begin{align*}
f'(z) & = \frac{\partial u}{\partial x}(x,y) – i\frac{\partial u}{\partial y}(x,y)\\
& = \frac{\partial v}{\partial y}(x,y) + i\frac{\partial v}{\partial x}(x,y), \quad \forall z=x+iy\in D. \tag{41.3}
\end{align*}
Supongamos que conocemos a una de las dos funciones reales $u(x,y)$ ó $v(x,y)$, correspondientes con las componentes de real e imaginaria, respectivamente, de $f$, y que dicha función es armónica en $D$. Sin pérdida de generalidad, supongamos que conocemos a la función $u(x,y)$, el procedimiento sería completamente análogo para $v$.
Dado que $u(x,y)$ es una función armónica en $D$, en particular es de clase $C^1(D)$, por lo que, considerando (41.3) definimos:
\begin{equation*}
\frac{\partial u}{\partial x}(x,y) := \varphi_1(x,y), \quad \frac{\partial u}{\partial y}(x,y) := \varphi_2(x,y),\quad z=x+iy\in D.
\end{equation*}
Entonces, como la derivada de $f$ determina una nueva función analítica en $D$, proposición 36.4, de (41.1) se sigue que:
\begin{align*}
f'(z) & = \frac{\partial u}{\partial x}(x,y) – i\frac{\partial u}{\partial y}(x,y)\\
& = \varphi_1(x,y) – i \varphi_2(x,y)\\
& = \varphi_1(z,0) – i \varphi_2(z,0).
\end{align*}
Integrando en ambos lados de esta última igualdad tenemos que:
\begin{align*}
f(z) & = \int \left[\varphi_1(z,0) – i \varphi_2(z,0)\right] dz + c\\
& = \int \varphi_1(z,0) dz – i \int \varphi_2(z,0) dz + c.
\end{align*}
Análogamente, si conocemos a $v$ tenemos que:
\begin{align*}
f(z) & = \int \left[\phi_1(z,0) – i \phi_2(z,0)\right] dz + c\\
& = \int \phi_1(z,0) dz – i \int \phi_2(z,0) dz + c,
\end{align*}donde $\phi_1(z,0) = v_y(x,y)$ y $\phi_2(z,0) = v_x(x,y)$.
En ambos casos, $c\in\mathbb{C}$ es una constante y consideraremos a $z$ como una variable de integración real, por lo que integramos con los métodos usuales.
Observación 41.1.
Debe ser claro que en el desarrollo de este método hemos usado fuertemente el hecho de que toda función analítica $f$ en un dominio $D\subset\mathbb{C}$ tiene una primitiva, proposición 35.2, es decir, una función analítica $F(z)$ en $D$ tal que $F'(z) = f(z)$ para todo $z\in D$, lo cual justifica que es posible integrar a $f’$.
Procedemos a mostrar el uso de este primer método con el siguiente ejemplo.
Ejemplo 41.1.
Sea $u:\mathbb{C} \to \mathbb{R}$ la función real dada por $u(x,y) = e^{-x} \left[(x^2 – y^2) \operatorname{cos}(y) + 2xy\operatorname{sen}(y)\right]$. Determinemos a la función entera $f$ cuya parte real es la función $u$.
Solución. Primeramente, notemos que la función real $u(x,y)$ es de clase $C^\infty(\mathbb{C})$, por lo que en particular es de clase $C^2(\mathbb{C})$. Procedemos a verificar que $u$ es una función armónica.
Después de un poco de cuentas, para todo $z=x+iy\in\mathbb{C}$ tenemos que:
\begin{align*}
\frac{\partial u}{\partial x} = e^{-x} \left[2x\operatorname{cos}(y) + 2y\operatorname{sen}(y) – (x^2-y^2) \operatorname{cos}(y) – 2xy \operatorname{sen}(y)\right],\\
\frac{\partial u}{\partial y} = e^{-x} \left[-2y\operatorname{cos}(y) – (x^2-y^2) \operatorname{sen}(y) + 2xy \operatorname{cos}(y) + 2x \operatorname{sen}(y)\right],\\
\frac{\partial^2 u}{\partial x^2} = e^{-x} \left[(x^2-4x-y^2+2) \operatorname{cos}(y) + 2y(x-2) \operatorname{sen}(y)\right],\\
\frac{\partial^2 u}{\partial y^2} = -e^{-x} \left[(x^2-4x-y^2+2) \operatorname{cos}(y) + 2y(x-2) \operatorname{sen}(y)\right].
\end{align*}
De donde:
\begin{equation*}
\nabla^2 u = \frac{\partial^2 u}{\partial x^2} + \frac{\partial^2 u}{\partial y^2} = 0,
\end{equation*}por lo que $u$ es armónica en $\mathbb{C}$.
Para todo $z=x+iy\in\mathbb{C}$ definimos:
\begin{equation*}
\frac{\partial u}{\partial x}(x,y) := \varphi_1(x,y), \quad \frac{\partial u}{\partial y}(x,y) := \varphi_2(x,y).
\end{equation*}
De acuerdo con el método de Milne-Thomson, si $x=z$ y $y=0$, tenemos que:
\begin{equation*}
\varphi_1(z,0) = 2ze^{-z} – z^2 e^{-z} = e^{-z}(2z – z^2),
\end{equation*}
\begin{equation*}
\varphi_2(z,0) = 0.
\end{equation*}
Por lo que:
\begin{equation*}
f'(z) = \varphi_1(z,0) – i \varphi_2(z,0) = e^{-z}(2z – z^2).
\end{equation*}
Entonces, integrando por partes, tenemos que:
\begin{align*}
f(z) & = \int e^{-z}(2z – z^2) dz + c\\
& = 2 \int z e^{-z} dz – \int z^2 e^{-z} dz + c\\
& = 2 \int z e^{-z} dz – \left[-z^2 e^{-z} – \int – z e^{-z} dz\right] + c\\
& = 2 \int z e^{-z} dz + z^2 e^{-z} – \int z e^{-z} dz + c\\
& = z^2 e^{-z} + c.
\end{align*}
De donde obtenemos a la función entera $f$, tal que $\operatorname{Re}f = u$:
\begin{align*}
f(z) & = z^2 e^{-z} + c\\
& = (x+iy)^2 e^{-(x+iy)} + c\\
& = e^{-x} \left[(x^2 – y^2) \operatorname{cos}(y) + 2xy\operatorname{sen}(y)\right] + i e^{-x} \left[ 2xy\operatorname{cos}(y) – (x^2-y^2)\operatorname{sen}(y)\right] + c,
\end{align*}para toda $z=x+iy\in\mathbb{C}$, con $c\in\mathbb{C}$ constante.
Recordemos el siguiente resultado de nuestros cursos de Ecuaciones Diferenciales.
Definición 41.1. (Diferencial de una función real de dos variables.)
Sean $D\subset\mathbb{R}^2$ un dominio y $f:D\to\mathbb{R}$ una función de clase $C^1(D)$. Se define a la diferencial de $f$ como:
\begin{equation*}
df = \frac{\partial f}{\partial x} dx + \frac{\partial f}{\partial y} dy.
\end{equation*}
Definición 41.2. (Ecuación diferencial exacta.)
Sean $D\subset\mathbb{R}^2$ un dominio y $M,N:D\to\mathbb{R}$ dos funciones continuas en $D$. La expresión diferencial:
\begin{equation*}
M(x,y)dx + N(x,y)dy,
\end{equation*}es una diferencial exacta en $D$ si ésta corresponde a la diferencial de alguna función $f:D\to\mathbb{R}$. Una ecuación diferencial de primer orden de la forma:
\begin{equation*}
M(x,y)dx + N(x,y)dy=0,
\end{equation*}es una ecuación exacta si existe una función $f:D\to\mathbb{R}$ tal que en el dominio $D$ cumple:
\begin{equation*}
\frac{\partial f(x,y)}{\partial x} = M(x,y), \quad \frac{\partial f(x,y)}{\partial y} = N(x,y).
\end{equation*}
Teorema 41.1. (Criterio para una diferencial exacta.)
Sean $D\subset\mathbb{R}^2$ un dominio y $M,N:D\to\mathbb{R}$ dos funciones continuas en $D$ de clase $C^1(D)$. Entonces, una condición necesaria y suficiente para que la ecuación $M(x,y)dx+N(x,y)dy=0$ sea diferencial exacta en $D$, es que se cumpla:
\begin{equation*}
\frac{\partial M(x,y)}{\partial y} = \frac{\partial N(x,y)}{\partial x}.
\end{equation*}
Método utilizando ecuaciones diferenciales exactas.
Supongamos que $f(z)=u(x,y)+iv(x,y)$ es una función analítica en algún dominio $D\subset\mathbb{C}$ y que conocemos a alguna de las dos funciones reales $u$ o $v$, entonces podemos determinar explícitamente a $f$. Sin pérdida de generalidad supongamos que conocemos a $u$, procedemos a obtener a $v$.
Consideremos a la diferencial:
\begin{equation*}
dv = \frac{\partial v}{\partial x} dx + \frac{\partial v}{\partial y} dy,
\end{equation*}
Como $f$ es analítica en $D$, entonces satisface las ecuaciones de C-R en $D$, es decir:
\begin{equation*}
dv = \frac{\partial v}{\partial x} dx + \frac{\partial v}{\partial y} dy = -\frac{\partial u}{\partial y} dx + \frac{\partial u}{\partial x} dy. \tag{41.4}
\end{equation*}
Haciendo $M(x,y) := -u_y(x,y)$ y $N(x,y):= u_x(x,y)$, tenemos:
\begin{equation*}
dv(x,y) = M(x,y) dx + N(x,y) dy.
\end{equation*}
Dado que $f=u+iv$ es analítica en $D$, entonces $u$ y $v$ son armónicas en $D$, por lo que existen:
\begin{equation*}
\frac{\partial M}{\partial y} = – \frac{\partial^2 u}{\partial y^2}, \quad \frac{\partial N}{\partial x} = \frac{\partial^2 u}{\partial x^2},
\end{equation*}y $u$ satisface la ecuación de Laplace, es decir:
\begin{equation*}
\frac{\partial N}{\partial x} – \frac{\partial M}{\partial y} = \frac{\partial^2 u}{\partial x^2} + \frac{\partial^2 u}{\partial y^2} = 0,
\end{equation*}de donde:
\begin{equation*}
\frac{\partial M}{\partial y} = \frac{\partial N}{\partial x},
\end{equation*}es decir, (41.4) es una ecuación diferencial exacta, por lo que podemos resolverla para obtener a $v$.
Procedemos a mostrar el uso de este segundo método con el siguiente ejemplo.
Ejemplo 41.2.
Determinemos a la función entera $f(z)=u(x,y)+iv(x,y)$, cuya parte real es la función:
\begin{equation*}
u(x,y) = e^{x}\left[x\operatorname{cos}(y) – y\operatorname{sen}(y)\right].
\end{equation*}
Solución. Tenemos que:
\begin{align*}
dv & = \frac{\partial v}{\partial x} dx + \frac{\partial v}{\partial y} dy\\
& = -\frac{\partial u}{\partial y} dx + \frac{\partial u}{\partial x} dy\\
& = e^{x} \left[x\operatorname{sen}(y) + \operatorname{sen}(y) + y\operatorname{cos}(y)\right] dx + e^{x} \left[x\operatorname{cos}(y) – y\operatorname{sen}(y) + \operatorname{cos}(y)\right] dy, \tag{41.5}
\end{align*}es una ecuación diferencial exacta, por lo que:
\begin{equation*}
\frac{\partial v(x,y)}{\partial x} = e^{x} \left[x\operatorname{sen}(y) + \operatorname{sen}(y) + y\operatorname{cos}(y)\right].
\end{equation*}
Integrando respecto a $x$ la igualdad anterior tenemos que:
\begin{align*}
v(x,y) & = \int e^{x} \left[x\operatorname{sen}(y) + \operatorname{sen}(y) + y\operatorname{cos}(y)\right] dx + g(y)\\
& = \operatorname{sen}(y) \int e^{x} x dx + \operatorname{sen}(y) \int e^x dx + y\operatorname{cos}(y) \int e^x dx + g(y)\\
& = e^x (x-1) \operatorname{sen}(y) + e^x \operatorname{sen}(y) + e^x y \operatorname{cos}(y) + g(y)\\
& = x e^x \operatorname{sen}(y) + e^x y \operatorname{cos}(y) + g(y).
\end{align*}
Derivando respecto a $y$ la igualdad anterior y considerando (41.5) tenemos que:
\begin{align*}
\frac{\partial v(x,y)}{\partial y} & = x e^x \operatorname{cos}(y) + e^x\left[\operatorname{cos}(y) – y\operatorname{sen}(y)\right] + g'(y)\\
& = e^x\left[x \operatorname{cos}(y) + \operatorname{cos}(y) – y\operatorname{sen}(y)\right] + g'(y)\\
& = e^{x} \left[x\operatorname{cos}(y) – y\operatorname{sen}(y) + \operatorname{cos}(y)\right],
\end{align*}de donde $g'(y) = 0$, por lo que $g(y)=c$, con $c\in\mathbb{R}$.
Entonces:
\begin{equation*}
v(x,y) = e^x \left[ x \operatorname{sen}(y) + y \operatorname{cos}(y)\right] + c,
\end{equation*}con $c$ una constante real.
Por lo tanto, para todo $z\in\mathbb{C}$ tenemos que:
\begin{align*}
f(z) & = u(x,y) + iv(x,y)\\
& = e^{x}\left[x\operatorname{cos}(y) – y\operatorname{sen}(y)\right] + i e^x \left[ x \operatorname{sen}(y) + y \operatorname{cos}(y)\right] +ic\\
& = xe^x \left[\operatorname{cos}(y) +i \operatorname{sen}(y)\right] + iye^x \left[\operatorname{cos}(y) +i \operatorname{sen}(y)\right] + ic\\
& = xe^x e^{iy} + iye^{iy} + ic\\
& = e^{x+iy} \left(x+iy\right) +ic\\
& = z e^z + a,
\end{align*}donde $a=ic\in\mathbb{C}$ es una constante.
Cerramos está entrada con un último método para construir funciones analíticas sin utilizar integrales.
Proposición 41.1.
Sea $U\subset\mathbb{C}$ un conjunto abierto, tal que $0\in U$, y $f:U \to\mathbb{C}$ una función analítica en $U$. Si $\operatorname{Re}f(z):=u(x,y)$ es una función armónica en $U$, entonces:
\begin{equation*}
f(z)=2u\left(\frac{z}{2},\frac{z}{2i}\right) + c,
\end{equation*}con $c$ una constante. De de hecho $c=-\overline{f(0)}$.
Demostración. Dadas las hipótesis, tenemos que:
\begin{equation*}
u(x,y) = \operatorname{Re}f(z) = \frac{f(z)+\overline{f(z)}}{2}.
\end{equation*}
De acuerdo con los resultados de la entrada 19, sabemos que al ser $f$ analítica en $U$, entonces se cumple que:
\begin{equation*}
\frac{\partial \overline{f(z)}}{\partial z} = 0,
\end{equation*}por lo que podemos considerar a la función $\overline{f(z)}$ como una función de $\overline{z}$ y denotamos esto como $\overline{f(z)} = \overline{f}(\overline{z})$. Entonces, para $z=x+iy\in U$ tenemos que:
\begin{equation*}
u\left(\frac{z+\overline{z}}{2}, \frac{z-\overline{z}}{2i}\right) = u(x,y) = \frac{f(z)+\overline{f}(\overline{z})}{2},
\end{equation*}lo cual se cumple para todo $z$ y todo $\overline{z}$, por lo que podemos considerar a estas variables como independientes. Si $\overline{z} = 0$, entonces:
\begin{equation*}
u\left(\frac{z}{2}, \frac{z}{2i}\right) = \frac{f(z)+\overline{f}(0)}{2} = \frac{f(z)+\overline{f(0)}}{2},
\end{equation*}es decir:
\begin{equation*}
f(z)=2u\left(\frac{z}{2},\frac{z}{2i}\right) – \overline{f(0)}.
\end{equation*}
Notemos que:
\begin{equation*}
u(0,0) = \frac{f(0)+\overline{f}(\overline{0})}{2} = \operatorname{Re}f(0),
\end{equation*}de donde:
\begin{equation*}
\overline{f(0)} = \operatorname{Re}f(0) – i \operatorname{Im}f(0) = u(0,0) – ib,
\end{equation*}con $b:=\operatorname{Im}f(0) \in \mathbb{R}$.
Entonces:
\begin{equation*}
f(z)=2u\left(\frac{z}{2},\frac{z}{2i}\right) – u(0,0) + ib.
\end{equation*}
$\blacksquare$
Observación 41.2.
Si $0 \not \in U$, se puede utilizar el mismo método sustituyendo a $\overline{z}$ por otro valor.
Procedemos a mostrar el uso de este tercer método con el siguiente ejemplo.
Ejemplo 41.3.
Construyamos la función entera $f(z)$ tal que $\operatorname{Re}f(z) = y^3-3x^2y$.
Solución. Sea $u(x,y) = y^3-3x^2y$. No es difícil verificar que $u$ es armónica en $\mathbb{C}$, por lo que se deja como ejercicio al lector.
Entonces:
\begin{align*}
u\left(\frac{z}{2},\frac{z}{2i}\right) & =
u\left(\frac{z}{2},\frac{z}{2i}\right)\\
& = \left(\frac{z}{2i}\right)^3 – 3\left(\frac{z}{2}\right)^2 \left(\frac{z}{2i}\right)\\
& = \frac{z^3}{8}i + \frac{3z^3}{8}i\\
& = \frac{z^3}{2}i.
\end{align*}
Por otra parte $u(0,0) = 0$, entonces:
\begin{equation*}
f(z) = 2u\left(\frac{z}{2},\frac{z}{2i}\right) – u(0,0) + bi = i(z^3+b),
\end{equation*}con $b\in\mathbb{R}$.
Tarea moral
- Determina la función analítica $f(z)$ tal que $\operatorname{Re}f(z) = u(x,y)$, donde:
a) $u(x,y) = x^3-3xy^2+3x+1$.
b) $u(x,y) = \operatorname{sen}(x) \operatorname{cosh}(y)$. - Sea $u(x,y)=x^3-3xy^2$. Muestra que $u$ es armónica en $\mathbb{C}$ y determina la función analítica $f(z)$ tal que $\operatorname{Re}f(z) = u(x,y)$.
- Prueba que la función $u(x,y) = x^3-3xy^2+3x^2-3y^2+1$ satisface la ecuación de Laplace. Encuentra su función armónica conjugada $v$ y determina la función analítica $f=u+iv$.
- Muestra que la función $u(x,y) = \dfrac{\operatorname{ln}(x^2+y^2)}{2}$ es armónica. Encuentra su función armónica conjugada $v$ y determina la función analítica $f=u+iv$.
- Si $u(x,y)$ y $v(x,y)$ son dos funciones reales que satisfacen la ecuación de Laplace, muestra que $U(x,y)+iV(x,y)$ es una función analítica, donde:
\begin{equation*}
U(x,y) = \frac{\partial u(x,y)}{\partial y} – \frac{\partial u(x,y)}{\partial x}, \quad V(x,y) = \frac{\partial v(x,y)}{\partial x} + \frac{\partial v(x,y)}{\partial y}.
\end{equation*}
Más adelante…
Con esta entrada concluimos la cuarta unidad del curso. En la siguiente entrada iniciaremos la quinta y última unidad del curso correspondiente con algunas de las aplicaciones más importantes de los resultados vistos a lo largo del curso, en particular veremos las series de Taylor, las series de Laurent y el Teorema del Residuo, mediante los cuales, principalmente, nos será posible evaluar integrales reales de manera sencilla.
Entradas relacionadas
- Ir a Variable Compleja I.
- Entrada anterior del curso: Funciones conjugadas armónicas y funciones conformes.
- Siguiente entrada del curso: Series de Taylor y series de Laurent.