Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Continuidad
Desde el curso de Análisis Matemático Vectorial estamos habituados a trabajar con
funciones f : 2 definidas sobre una región Ω del plano 2 .
Dado que tanto los vectores de 2 como los números complejos de se construyen
sobre el mismo conjunto subyacente, los pares ordenados de números reales , y
las funciones establecen relaciones entre los elementos de su dominio y codominio, sin
importar las estructuras algebraicas que se construyan con ellos. las mismas funciones
pueden también pensarse como funciones de variable compleja.
Simplemente, cuando las pensamos como funciones de variable compleja adaptamos la
notación y las expresamos como f : Ω C . Al par r ( x, y ) 2 lo denominamos
ahora z ( x, y ) x yi .
Una tal función asigna a cada punto z perteneciente al dominio Ω un número
complejo f ( z ) (u ( x, y ), v( x, y )) u ( x, y ) v( x, y )i donde x e y son las partes real e
imaginaria de z, en tanto que u y v son las partes correspondientes de f (z ). Lo que en
número positivo existe otro número positivo , tal que las relaciones
z Ω, | z z 0 | implican | f ( z ) f ( z 0 ) | . (ii) Decimos que f es continua en
r , ( x x0 ) 2 ( y y0 ) 2 en vez de z Ω, | z z 0 | .
limite y continuidad conocidas para las funciones f : 2 valen si las pienso como
funciones f : Ω C . En particular
1. (i) La suma f ( z ) g ( z ), el producto f ( z ) g ( z ) y la composición g ( f ( z )) de
funciones continuas son continuos; (ii) el cociente f ( z ) / g ( z ) es continuo en
cada punto donde no se anule el denominador; (iii) En particular, son continuos
| z z 0 | implica f ( z ) 0.
Derivadas
En Análisis Matemático Básico se define la derivada como el límite
f ( x x) f ( x)
f ( x) lim ,
x 0 x
2
donde x es una variable real que tiende a 0.
Dado que en el contexto complejo puede dividirse por un par ordenado, cosa que no es
posible hacer en el contexto de 2 , podemos definir derivada para una función
compleja.
El concepto de derivada de una función compleja es formalmente idéntico al concepto
de derivada en el campo real:
Ejemplo 2. Si f ( z ) z 2 , tendremos:
( z z ) 2 z 2
lim lim [ 2 z z ] 2 z.
z 0 z z 0
Obsérvese que dado que la operatoria entre números complejos satisface las mismas
reglas formales que entre números reales el cálculo de derivadas en el contexto
complejo es igual al del contexto real, esto es si f ( z ) z 3 su derivada es 3z 2 , etc.
Parece todo muy fácil y lo es, pero que pasa si no se conoce la expresión de la función
en términos de la variable z . Por ejemplo, ¿cómo se calcula la derivada de
f ( z ) respecto a z si f ( z ) ( x 2 y 2 ) 2 xyi ?. Una forma es encontrar la expresión de
f ( z ) en términos de z .
Para hacerlo debemos tener presente que de z x iy y consecuentemente
zz zz
Resulta entonces que x y y podemos reemplazar x e y en f ( z )
2 2i
zz 2 zz 2 zz zz
f ( z ) ( x 2 y 2 ) 2 xzyi (( ) ( ) ) 2( )( )i
2 2i 2 2i
3
z 2 z 2 2z z z 2 z2 2z z z 2 z 2
f ( z) finalmente, operando resulta que
4 2
f ( z ) z 2 y ahora podemos derivar y decir que f '( z ) 2 z 2( x iy ) 2 x 2iy
En definitiva, expresando el resultado en la forma en que el problema fue planteado, se
puede establecer que la derivada respecto a z de f ( z ) ( x 2 y 2 ) 2 xyi es
f '( z ) 2 x 2iy .
Obviamente no es posible apelar a este recurso para derivar respecto a z a una función
que se conoce en términos de x e y . Salvo en casos muy sencillos como el del ejemplo
el cálculo sería inabordable. Incluso no tiene sentido iniciar este cálculo sin saber so la
función es derivable. Afortunadamente existe una forma muy sencilla de determinar si
la función es derivable y en caso de que lo sea calcular su derivada respecto a z .
En primer lugar tengamos en cuenta que si f es derivable en el punto z, podemos
escribir el cociente incremental de f en la forma:
f ( z z ) f ( z )
f ( z ) ,
z
f ( z z ) f ( z ) f ( z ) z z
que tiene la ventaja de ser válida incluso cuando z 0 si convenimos en que, en tal
caso, (0) 0. La expresión f '( z ) z recibe el nombre de diferencial de la función f y
se denota df
Hay que tener presente que tanto la derivada f (z ) como toman valores complejos:
f ( z ) a i b, 1 i 2 ,
del mismo modo que el incremento z h i k .
4
Ecuaciones de Cauchy-Riemann
El siguiente teorema juega un papel muy importante.
5
Si volvemos al ejemplo f ( z ) ( x 2 y 2 ) 2 xyi también resulta inmediato verificar que
u y v son diferenciables (son polinomios) y también es inmediato verificar las
condiciones C+-R. Luego, aplicando la fórmula f '( z ) u x ivx
Reglas de derivación. Son formalmente las mismas que se han estudiado en Cálculo
Elemental: si f y g son derivables en un punto z, entonces en dicho punto:
( f g ) f g , ( fg ) f g fg , ( f / g ) ( f g fg ) / g 2
La última requiere que g (z ) no sea cero.
También se mantiene válida la importantísima regla de la cadena:
d
g ( f ( z )) g ( f ( z )) f ( z ).
dz
Las demostraciones siguen las mismas líneas que las que se han visto en Análisis
Matemático Básico.
zz zz
sabemos qué x y . De acuerdo con esto f depende de x e y , además
2 2i
x e y dependen a su vez de z y z , por lo que podemos aplicar la regla de la cadena para
f f
calcular las derivadas y . Tenemos entonces:
z z
f f x f y u v 1 u v i
= i i y reordenando resulta
z x z y z x x 2 y y 2
f u v 1 v u i f
de igual modo obtenemos
z x y 2 x y 2 z
f f x f y u v 1 u v i
= i i y reordenando resulta
z x z y z x x 2 y y 2
f u v 1 v u i
z x y 2 x y 2
6
Estos cálculos formales solo permiten obtener las derivadas parciales respecto a z y
df
z aunque no exista la derivada que realmente nos interesa, esto es f '( z ) .
dz
df
Pero veamos que pasa si existe la derivada total . En ese caso deben cumplirse las
dz
u v v u
condiciones de Cauchy-Riemann, esto es y por lo que para una
x y x y
f u v 1 v u i
función donde se cumpla C-R 0 . Además,
z x y 2 x y 2
f
recíprocamente si 0 se cumplen las condiciones C-R. Esto es, una manera
z
u v v u f
equivalente para decir y , es decir 0 . Esta expresión es
x y x y z
particularmente útil para analizar el cumplimiento de C-R en algunos casos. Por
f
ejemplo si tenemos que analizar si f ( z ) z satisface C-R. En este ejemplo 1 para
z
todo punto z . No se cumple C-R en ningún punto, por lo que la función f ( z ) z no es
derivable en ningún punto.
f u v 1 v u i
Por otra parte, teniendo en cuenta C-R en resulta
z x y 2 x y 2
f u u 1 v v i u v df f df
( i esto es . Lo que
z x x 2 x x 2 x x dz z dz
permite concluir que en una función derivable la derivada total se calcula derivando
parcialmente respecto a z cómo habíamos anticipado al principio.
derivada f (z ) existe en el punto z 0 ; y en un entorno del mismo (ii) Diremos que f (z )