Las ecuaciones de Cauchy-Riemann son dos ecuaciones diferenciales parciales que son básicas en el análisis de funciones complejas de variable compleja, debido a que su verificación constituye una condición necesaria (aunque no suficiente) para la derivabilidad de este tipo de funciones.
Sea una función compleja
, con
. Se sabe que
se puede descomponer en suma de dos funciones reales de dos variables
y
, de manera que
. Si la función
es derivable en un punto
entonces deben verificarse las condiciones de Cauchy-Riemann:
donde
significa la derivada parcial de la función
respecto a la variable
, usualmente simbolizado
. Análogamente para
,
y
.
Además se cumple que el valor de la derivada en el punto, de existir, debe ser:
Las ecuaciones de Cauchy-Riemann constituyen una diferencia fundamental entre la derivabilidad en el sentido complejo y la derivabilidad de funciones de dos variables reales, aunque geométrica y topológicamente
y
sean equivalentes. En efecto, la función compleja
o, equivalentemente,
, no es derivable en el sentido complejo, pues no satisface las ecuaciones de Cauchy-Riemann, como es fácil comprobar. Sin embargo, la función de dos variables reales que geométricamente hace lo mismo, esto es
, sí que es derivable, como también es sencillo demostrar (pues no tiene que satisfacer necesariamente estas ecuaciones).
Demostración
Sea f una función de variable compleja:
![{\displaystyle f(z=(x,y))=u(x,y)+i\,v(x,y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d9f47b1430679ed287c50144a6e0ed7ddab2c5c3)
que es derivable en un punto
. Dado que es derivable, sabemos que:
donde este último es un límite doble en el plano
debido a la equivalencia topológica existente entre
y
con la distancia euclídea. En tal caso, si existe el límite doble, sabemos que existen los límites direccionales y que coinciden. En particular, existirán los límites direccionales a lo largo de
y de
. Por consiguiente:
- 1)
![{\displaystyle f'(z_{0})=\lim _{(x,y_{0})\rightarrow (x_{0},y_{0})}{\frac {u(x,y_{0})+i\,v(x,y_{0})-u(x_{0},y_{0})-iv(x_{0},y_{0})}{(x-x_{0})+i(y_{0}-y_{0})}}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/be24b9238c1f0819d9a3721dd062d593c927b7c2)
![{\displaystyle =\lim _{(x,y_{0})\rightarrow (x_{0},y_{0})}{\frac {u(x,y_{0})-u(x_{0},y_{0})}{\Delta x}}+i\,\lim _{(x,y_{0})\rightarrow (x_{0},y_{0})}{\frac {v(x,y_{0})-v(x_{0},y_{0})}{\Delta x}}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b1939ddb7baea92816c67df4de77a6cd9cdbe0f0)
![{\displaystyle =\partial _{x}u((x_{0},y_{0}))+i\,\partial _{x}v((x_{0},y_{0}))\equiv u_{x}(x_{0},y_{0})+i\,v_{x}(x_{0},y_{0})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8ec01c018b34bfdd34a07f6bde5da2bb074e4ac)
- 2)
![{\displaystyle f'(z_{0})=\lim _{(x_{0},y)\rightarrow (x_{0},y_{0})}{\frac {u(x_{0},y)+i\,v(x_{0},y)-u(x_{0},y_{0})-iv(x_{0},y_{0})}{(x_{0}-x_{0})+i(y-y_{0})}}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/858ded7e76899237645a94d0d1080896f625b45a)
![{\displaystyle =\lim _{(x_{0},y)\rightarrow (x_{0},y_{0})}{\frac {u(x_{0},y)-u(x_{0},y_{0})}{i\Delta y}}+i\,\lim _{(x_{0},y)\rightarrow (x_{0},y_{0})}{\frac {v(x_{0},y)-v(x_{0},y_{0})}{i\Delta y}}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c05aac584caae3ea603a184773a093f7371a3d3f)
![{\displaystyle ={\frac {1}{i}}\partial _{y}u((x_{0},y_{0}))+\partial _{y}v((x_{0},y_{0}))\equiv v_{y}(x_{0},y_{0})-i\,u_{y}(x_{0},y_{0})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb96082f70deb5c599f01e2f01bdb2f183d23d00)
Si ahora igualamos 1 y 2, se deducen de manera inmediata las ecuaciones del enunciado anterior, que se denominan ecuaciones de Cauchy-Riemann.
Ejemplo
Veamos un ejemplo de función derivable en todo número complejo. Por lo tanto, las ecuaciones de Cauchy-Riemann se deberán verificar en cualquier
.
Consideramos la función
. Escribámosla en coordenadas cartesianas:
.
Así, las partes real e imaginaria de la función son
y
respectivamente. Derivado con respecto a
e
es inmediato que
y que
.
Es decir, se satisfacen las ecuaciones de Cauchy-Riemann, como debe ser.
Por último verifiquemos la derivada obedece a la fórmula de arriba. La derivada de
es
, pues las reglas para derivar funciones complejas son las mismas que para funciones de variable real ya que, formalmente, las definiciones de derivada en ambos casos son iguales (ver Función holomorfa). Por lo tanto,
.
Es decir, se satisface la fórmula enunciada para la derivada en función de las derivadas parciales de las partes real e imaginaria.
Algunas formas equivalentes de expresar las condiciones de Cauchy-Riemann son las siguientes:
También puede resultar útil expresar las ecuaciones en forma polar:[1]
;
;
;
Observación
Hay que hacer notar que las ecuaciones de Cauchy-Riemann no constituyen una condición suficiente, por lo que no valen por sí solas para demostrar la derivabilidad (respecto al parámetro complejo) de una función en un punto. El ejemplo clásico es
Esta función satisface las ecuaciones de Cauchy-Riemann pero no es continua en cero.
Sin embargo, sí tenemos condiciones suficientes de derivabilidad si la función, además de cumplir las ecuaciones de Cauchy-Riemann, se puede descomponer en dos funciones u y v derivables en el sentido real en un entorno de
. El lema de Weyl nos dice que es suficiente que las ecuaciones de Cauchy Riemann se satisfagan débilmente en un entorno del punto y sean integrables en ese entorno.
Aplicación
Se dice que una función de clase
de dos variables
con imagen en los reales es armónica cuando verifica la ecuación de Laplace:
.
No es difícil verificar que dos funciones de clase
que verifiquen las condiciones de Cauchy-Riemann son ambas armónicas. En tal caso se dice que ellas son armónicas conjugadas.
Referencias
- ↑ James, Glyn; Burley, David (2002). Matemáticas avanzadas para ingeniería. Pearson Educación. ISBN 9789702602095. Consultado el 17 de noviembre de 2017.
Control de autoridades | - Proyectos Wikimedia
Datos: Q622741 - Identificadores
- BNF: 12313388z (data)
- GND: 4147397-8
- LCCN: sh85021440
- NLI: 987007284988005171
- SUDOC: 032025335
|
---|
Datos: Q622741