ECUACIONES DE CAUCHY-RIEMANN

Estas ecuaciones conforman uno de los criterios que permiten establecer la analiticidad de las funciones de variable compleja (FVC). La analiticidad es una propiedad de las FVC, que se puede asimilar a la propiedad de continuidad en las funciones de variable real. Se define del siguiente modo: Una funcin f (z) es analtica en un punto z = z 0 , si est definida y tiene derivada en todo punto en una vecindad de z0 . Tambin se dice que una funcin es analtica en un punto cuando existe (en ese punto) y tiene derivada finita y nica. Para que una funcin w = f (z) sea analtica en toda una regin del plano complejo, debe serlo en cada uno de los puntos de esa regin. Cuando una funcin w (z) no es analtica en un punto z = z0, se dice que la funcin es singular en ese punto, o tambin que w(z) tiene una singularidad en z0. Para definir las Ecuaciones de Cauchy-Riemann se aprovecha esta propiedad y se calcula la derivada en la vecindad de un punto z por dos caminos diferentes. Se parte de una funcin compleja: w (z) = u (x,y) + j v (x,y) que es analtica en un dominio D y tendr derivada:

w (z) = lm [w (z+z) w (z)]/ z

z0

Donde el incremento z puede tender a cero por cualquier trayectoria, siendo que z = x + j y, podra suceder que un camino sea tal que y ya se anul y decir z 0 equivalga a decir x0; (camino I en el Grfico adjunto) La frmula general de la derivada en el punto z, considerando los dos componentes de z (x y y) ser:

w (z) = lm
x0;y0

[[u(x+x,y+y) + jv(x+x,y+y)] [u(x,y) + jv(x,y)]]/(x+jy)

Esta misma derivada se intentar realizar por los dos caminos indicados, de manera que lo que se modificar, en cada caso, ser el componente del incremento total (z) que se anule primero.

Si se va por el camino I, sucede que y tendi a cero primero y ya se ha anulado, por lo tanto, para que z 0, deber hacerlo x, entonces la derivada, por este camino, quedar:

w (z) = lm
x0

[[u(x+x,y) + jv(x+x,y)] [u(x,y) + jv(x,y)]]/x

En esta ltima frmula, se pueden reagrupar trminos, separando los reales de los imaginarios, respectivamente, a saber: w (z) = lm
x0

[u(x+x,y)- u(x,y)]/x + j lm [v(x+x,y) v(x,y)]/x

x0

donde el lmite indicado de ambos cocientes incrementales es por definicin- la derivada parcial de u y v con respecto a x, respectivamente. O sea:

w (z) = u/x + j v/x

(1)

Si se calcula la derivada por el restante camino, N II, se obtendr, anlogamente: w (z) = lm

y0

[[u(x,y+y) + jv(x,y+y)] [u(x,y) + jv(x,y)]]/jy

donde tambin es posible reagrupar los trminos, separando los reales por un lado y los imaginarios por el otro, a saber: w (z) = lm
y0

[u(x,y+y)- u(x,y)]/jy + j lm [v(x,y+y) v(x,y)]/jy

y0

que son, por definicin, las derivada parciales de u y v respecto de y, respectivamente. Obsrvese que, en el segundo lmite se simplifican las unidades imaginarias, por lo tanto es el trmino real; mientras que en el primer lmite, la unidad imaginaria (j) del denominador pasa al numerador cambiando de signo, vale decir:

w (z) = - j u/y + v/y

(2)

Como la funcin es analtica, la derivada debe ser nica, por lo tanto, ambas derivadas calculadas por distintos caminos deben ser iguales, de manera que se pueden igualar las expresiones (1) y (2), respetando la igualdad entre nmeros complejos, o sea: parte real con parte real y parte imaginaria con parte imaginaria, luego:

u/x + j v/x = - j u/y + v/y

de donde:

Ecuaciones de Cauchy-Riemann u/x = v/y v/x = - u/y

el cumplimiento de estas ecuaciones constituye la condicin necesaria pero no suficiente , para que una funcin sea analtica.