UNIVERSIDAD TECNOLÓGICA NACIONAL

FACULTAD REGIONAL AVELLANEDA VILLA

DOMÍNICO

CURSO: Teoría de Variable Compleja

Docente: Lic. Leonardo Niekraszewicz

Trabajo Final
Tema: Necesidad y Suficiencia de las Ecuaciones de Cauchy-
Riemann
Alumnos:
 Graciela Gay - DNI: -16.360.751-
gaygraciela@gmail.com
 Daniel Scheidereiter - DNI: 27.811.971 –
danielscheidereiter@hotmail.com.ar

Año: 2013

1
Introducción:
Las funciones analíticas u holomorfas tienen fundamental implicancia en el estudio de los
problemas ingenieriles, en particular los relacionados con mecánica de fluidos. En estos
problemas se expresan los modelos que explican los fenómenos a través de desarrollos en
serie de potencias. Para ello, se estudian los modelos analíticos en un conjunto abierto por
medio del desarrollo en series de Taylor; y los modelos que presentan singularidades
aisladas se analizan por medio del desarrollo en series de Laurent, en el entorno de dicha
singularidad, a los efectos de inferir acerca de la singularidad, i.e. el comportamiento de la
función en el entorno de la singularidad aislada que podrá ser: esencial, evitable o se trata
de una singularidad polo de orden n.

Las condiciones a ser analizadas, en la expresión analítica de la función que gobierna el

fenómeno, tienen como centro de estudio la analiticidad de dicho modelo en el dominio
del fenómeno. Esto muestra la importancia del estudio técnico de la analiticidad de una
función compleja en un conjunto abierto.

Se propone en esta monografía, estudiar las Ecuaciones de Cauchy-Riemann para

determinar si una función es derivable en un conjunto abierto, a los efectos de conocer
posteriormente la analiticidad de la función en dicho conjunto, propiedad de las funciones
complejas de variable compleja que permite representar algunos modelos ingenieriles
mediante el desarrollo en serie para su análisis físico posterior.

Desarrollo:

En el análisis matemático de variable compleja se estudian los siguientes teoremas, los

que permiten determinar la analiticidad de una función en un conjunto abierto.

Teorema1: Ecuaciones de Cauchy-Riemann.

2
 '
Sea f ( z )=u ( x , y )+iv ( x , y ) , tal que f ( z 0 ) existe en un punto z 0=x 0 +i y 0 , entonces las

derivadas parciales de primer orden de u ( x , y ) y v ( x , y ) existen en ( x 0 , y 0 ) y satisfacen en

ese punto las Ecuaciones de Cauchy-Riemann

u x =v y y u y =−v x .

'
Además, f ( z 0 )=u x ( x 0 , y 0 ) +i v x ( x 0 , y 0 ) . CITATION Chu04 \l 11274 (Churchil & Brown,
2004)

Teorema 2: Condiciones suficientes para la derivabilidad de w=f ( z ) en un punto.

Sea f ( z )=u ( x , y )+iv ( x , y ) definida en un ϵ −entorno de z 0=x 0 +i y 0 . Se supone que las

derivadas parciales de primer orden de las funciones u y v respecto de x e y existen en

todos los puntos de ese entorno y son continuas en ( x 0 , y 0 ) . Además, se supopne que en

( x 0 , y 0 ) se satisfacen las Ecuaciones de Cauchy-Riemann, entonces f ' ( z 0 ) existe.[ CITATION

Chu04 \l 11274 ]

Se propone en este trabajo estudiar el alcance de las ecuaciones de Cauchy-Riemann para

determinar la existencia o no de derivada de una función en un punto de un conjunto
abierto donde la función está definida.

El Teorema 1 revela, por su teorema contrarrecíproco, que si al menos una de las

ecuaciones de Cauchy-Riemann no se satisface en un punto del dominio de la función
f ( z ) , entonces la derivada de f no existe en ese punto. Por ejemplo, f ( z )=ź =x−iy .
Resulta, u ( x , y )=x y v ( x , y ) =− y con z=( x , y ) ∈C .

Se estudian las Ecuaciones de Cauchy-Riemann: ∀ ( x , y ) ∈ C ,

u x ( x , y ) =1 v y ( x , y ) =−1 u y ( x , y )=0 −v x ( x , y )=0

Luego, u x ( x , y ) ≠ v y ( x , y ) , ∀ ( x , y ) ∈C y por lo tanto, no existe f ' en C.

A continuación se estudia una función compleja de una variable compleja que satisface las
Ecuaciones de Cauchy-Riemann en un punto de su dominio y en ese punto la derivada no

3
existe. Esto muestra la insuficiencia de las ecuaciones que se estudian para determinar la
derivabilidad de una función de éstas características en un punto.

En efecto, sea f ( z ) definida como

ź2
f ( z )= z
{ si z ≠ 0
0 si z=0

Se prueba que f ' ( 0 ) no existe.

∆w
Por definición de derivada se escribe en z 0:
∆z

f ( z 0 +∆ z )−f ( z 0 ) f ( 0+∆ z )−f ( 0 ) f ( ∆ z )−f ( 0 ) f ( ∆ x , ∆ y )−0 f ( ∆ x +i ∆ y )

= = = =
∆z ∆z ∆z ∆ x +i ∆ y ∆ x+ i∆ y

Por lo tanto,

2
∆ w ( ∆ x −i∆ y ) 1 ( ∆ x )2−( ∆ y )2−i 2 ∆ x ∆ y
= . = 2
∆z ∆ x +i ∆ y ∆ x+ i∆ y ( ∆ x+i ∆ y )

Tomando límite para ∆ z →0 por el eje imaginario del plano ∆ z , o sea ∆ x , ∆ y resulta:

∆w −( ∆ y )2 −( ∆ y )2
lim = lim = lim =1( I )
∆ y→ 0 ∆ z ∆ y →0 ( i ∆ y )2 ∆ y→ 0 −( ∆ y )2
∆ x=0

Ahora, tomando límite en el plano ∆ z sobre la trayectoria ( ∆ x , ∆ x ) de la recta ∆ y =∆ x ,

resulta:

∆w −2i ( ∆ x )2 −2 i
lim = lim 2 2
= lim =−1( II)
∆ x →0 ∆ z ∆ x → 0 ( ∆ x ) ( 1+ i ) ∆ x →0 1+2 i−1
∆ y= ∆ x

De (I) y (II), como los límites dobles o simultáneos por caminos distintos son diferentes, es
suficiente para asegurar que f ' ( 0 ) no existe.

A continuación se demuestra que las Ecuaciones de Cauchy-Riemann se verifican en ( 0,0 ) .

En efecto,∀ z ≠ 0 :

4
 2 2 2 2 2 2 2
ź 2 ( x−iy ) x 2− y 2−2 ixy x−iy ( x − y ) x−iy ( x − y )−2 i x y−2 x y x 3−x y 2−2 x y 2 − y x 2 +
f ( z )= = = . = = +i
z x+iy x +iy x−iy x2 + y 2 x 2+ y 2 x2

Por lo tanto,

x 3−x y 2−2 x y 2 − y x 2+ y 3−2 x2 y

f ( x , y )=
{ x 2+ y 2
+i
x2 + y2
0+i 0 si ( x , y )=( 0,0 )
si ( x , y ) ≠ ( 0,0 )

En consecuencia,

x3 −x y 2−2 x y 2
u ( x , y )=
{ x2 + y2
si ( x , y ) ≠ ( 0,0 )

0 si ( x , y )=( 0,0 )

− y x2 + y 3 −2 x 2 y
v ( x , y )=
{ x 2+ y 2
si ( x , y ) ≠ ( 0,0 )

0 si ( x , y ) =( 0,0 )

Por lo tanto,

( ∆ x )3 −0
2
u ( 0+ ∆ x ,0 )−u ( 0,0 ) ( ∆ x) ∆x
u x ( 0,0 )= lim = lim = lim =1
∆ x→ 0 ∆x ∆ x→ 0 ∆x ∆x → 0 ∆ x

u ( 0,0+ ∆ y )−u ( 0,0 ) 0

u y ( 0,0 )= lim = lim =0
∆ y →0 ∆y ∆ y→0 ( ∆ y)
2

Y además,

v ( 0+∆ x , 0 )−v ( 0,0 ) 0

v ( 0,0 ) = lim = lim =0
∆ x→ 0 ∆x ∆x →0 ( ∆ x )
3

5
 ( ∆ y )3
2
v ( 0,0+ ∆ y )−v ( 0,0 ) (∆ y )
v y ( 0,0 ) = lim = lim =1
∆ y→0 ∆y ∆ y →0 ∆ y

Por lo tanto:

u x ( 0,0 )=v y ( 0,0 )=1 u y ( 0,0 )=−v x ( 0,0 ) =0

Luego, las Ecuaciones de Cauchy-Riemann se satisfacen en ( 0,0 ) y f ' ( 0 ) no existe. El

ejercicio muestra que: no es suficiente probar que las ecuaciones de Cauchy Riemann se
satisfacen en un punto interior del dominio de definición de una función compleja de una
variable compleja, para asegurar que en ese punto la derivada de dicha función existe.
Uno de los caminos para estudiar la derivabilidad de una función compleja de una variable
compleja en cada punto de un conjunto abierto, es probar las condiciones del teorema dos
presentado antes, lo cual nos asegura la analiticidad en un dominio (conjunto abierto y
conexo) si se satisfacen las condiciones de la hipótesis en cada punto del abierto.

Conclusión:
Para estudiar la derivabilidad en un conjunto abierto, no es suficiente con verificar que las
Ecuaciones de Cauchy-Riemann se satisfacen, ya que el ejemplo presentado muestra que
ellas se verifican en un punto y la derivada de la función no existe en ese punto.

Cabe destacar, que es suficiente que al menos una de las Ecuaciones de Cauchy-Riemann
se satisfaga en un punto para asegurar que la derivada de la función asociada no existe en
él.

El teorema presentado antes, enuncia las hipótesis bajo las cuales se asegura la existencia
de la derivada de una función compleja en un punto que pertenece a C .

6
Bibliografía Citada y Consultada

Apostol, T. M. (2009). Análisis Matemático. Barcelona: Reverté.

Churchil, R. V., & Brown, J. W. (2004). Variable Compleja y Aplicaciones. España: McGraw-Hill.

Markushevich, A. (1978). Teoría de Las Funciones Analíticas, Tomo I. Moscu: Mir.

Markushevich, A. (1978). Teoría de Las Funciones Analíticas, Tomo II. Moscu: Mir.

Rey Pastor, J., Pi Calleja, P., & Trejo, C. A. (1959). Análisis Matemático. Tomo III. Análisis Funcional
y Aplicaciones. Buenos Aires: Kapelusz.

Zill, D., & Shanahan, P. (2009). Introducción al Análisis Complejo con Aplicaciones. México:
CENGAGE Learning.