Ecuaciones de Cauchy-Riemann

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

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 f(z), con z=x+iy. Se sabe que f(z) se puede descomponer en suma de dos funciones reales de dos variables u y v, de manera que f(z)=f(x,y)=f(x+iy)=u(x,y)+iv(x,y). Si la función f(z) es derivable en un punto z_0=x_0+iy_0 entonces deben verificarse las condiciones de Cauchy-Riemann:

u_x(x_0,y_0)=v_y(x_0,y_0)

u_y(x_0,y_0)=-v_x(x_0,y_0)


donde u_x significa la derivada parcial de la función u respecto a la variable x, usualmente simbolizado \frac{\partial u}{\partial x} . Análogamente para u_y, v_x y v_y.

Además se cumple que el valor de la derivada en el punto, de existir, debe ser:

f '(z_0)=u_x(x_0,y_0)+iv_x(x_0,y_0)=v_y(x_0,y_0)-iu_y(x_0,y_0)

Demostración[editar]

Sea f una función de variable compleja:

f(z=(x,y))=u(x,y)+i\,v(x,y)

que es derivable en un punto z_0\in\mathbb{C}\,:\,z_0=(x_0,y_0)=x_0+i\,y_0. Dado que es derivable, sabemos que:

 \exists \lim_{z\rightarrow z_0} \frac{f(z)-f(z_0)}{\Delta z} = \lim_{(x,y)\rightarrow (x_0,y_0)} \frac{u(x,y)+i\,v(x,y)-u(x_0,y_0)-iv(x_0,y_0)}{(x-x_0)+i(y-y_0)}

donde éste último es un límite doble en el plano \mathbb{R}^2 debido a la equivalencia topológica existente entre \mathbb{C} y \mathbb{R}^2 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 x=x_0 y de y=y_0. Por consiguiente:

1) 
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)}=
=\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}=
=\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)
2) 
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)}=
=\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}=
=\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)

Si ahora igualamos 1 y 2, se deduce de manera inmediata el enunciado anterior, que se denomina ecuaciones de Cauchy-Riemann

Ejemplo[editar]

Veamos un ejemplo donde derivable en todo número complejo y por lo tanto las ecuaciones de Cauchy-Riemann se verificarán en cualquier z=x+iy. Consideramos la función f(z)=z^2. Ahora veamos esta función en coordenadas cartesianas.

f(x+yi)=(x+yi)^2=(x^2-y^2)+i2xy

por lo tanto las parte real e imaginaria de la función son u(x,y)=x^2-y^2 y v(x,y)=2xy respectivamente. Derivado con respecto a x e y es inmediato que

u_x=2x=v_y

y que

u_y=-2y=-v_x.

Por último verifiquemos la condición sobre las derivadas. La derivada (ver Complex analysis) de f es claramente f'(z)=2z (las reglas para derivar funciones complejas es similar a las funciones reales) por lo tanto

f'(x+iy)=2(x+iy)=2x+i2y=u_x+iv_x=v_y-iu_y

Otras formas de expresar las ecuaciones[editar]

Algunas formas equivalentes de expresar las condiciones de Cauchy-Riemann son las siguientes:

f_x+if_y=0

\frac{\partial f}{\partial \hat{z}}=0

Observación[editar]

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 de una función en un punto.

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 con derivadas parciales primeras continuas en un entorno de z_0=(x_0,y_0).

Aplicación[editar]

Se dice que una función de clase C^2 de dos variables h(x,y) con imagen en los reales es armónica cuando verifica la ecuación de Laplace:

h_{xx}+h_{yy}=0.

No es difícil verificar que dos funciones de clase C^2 que verifiquen las condiciones de Cauchy-Riemann son ambas armónicas. En tal caso se dice que ellas son armónicas conjugadas...