Funciones Complejas

Analiticidad y Derivabilidad

Dr. Carlos H. D. Alliera

Instituto de Ingenierı́a y Agronomı́a

Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 1 / 38

El Lı́mite puntual
Dada una función compleja f : C → C tal que f (x + iy) = u(x, y) + iv(x, y) donde
u, v : R2 → R son campos escalares y un número complejo z0 ∈ C. Decimos que el lı́mite

lı́m f (z) = w0 ∈ C
z→z0

existe si para todo ε > 0 existe δ > 0 tal que |f (z) − w0 | < ε siempre que 0 < |z − z0 | < δ.

Estos conceptos de lı́mite, y como se verá luego, de continuidad, se heredan de sus análogos
en R2 .
Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 2 / 38
El Lı́mite puntual

En el caso anterior, se tiene que


 lı́m Re(f (z)) = Re(w0 ) = L1

 z→z0
lı́m f (z) = w0 = L1 + iL2 ⇔
z→z0
lı́m Im(f (z)) = Im(w0 ) = L2



z→z0

Equivalentemente, si z0 = x0 + iy0 , entonces:


 lı́m u(x, y) = L1

 (x,y)→(x0 ,y0 )
lı́m f (x + iy) = w0 = L1 + iL2 ⇔
(x,y)→(x0 ,y0 )
lı́m v(x, y) = L2



(x,y)→(x0 ,y0 )

Con esto se deduce que todas las propiedades algebraicas de los lı́mites en R2 se trasladan
sin alteraciones al caso de los lı́mites de funciones complejas.

Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 3 / 38

Ejemplo 1

Calcular el lı́mite
z2 + 1
lı́m
z→i 2z 2 + 2iz + 4
observemos que este lı́mite es una indeterminación de la forma 0/0, notamos que es un
cociente de polinomios, ası́ que como hacı́amos con variable real, factorizamos:

z2 + 1 (z + i)(z − i) (z + i)X −X
(z X i)1
lı́m = lı́m = lı́m X =
z→i 2z 2 + 2iz + 4 z→i 2(z − i)(z + 2i) −X
z→i 2(z X i)1(z + 2i)

z+i 2i 2i i 2i2 −2
= lı́m = = · = = =2
z→i z − 2i −i −i i −(−1) −1

Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 4 / 38

Ejemplo 2
Probar que el lı́mite siguiente no existe:
Re(z)
lı́m
z→0 |z|

Inexistencia de lı́mite
Para probar que un lı́mite no existe, basta con hallar dos trayectorias σ1 , σ2 que pasen por
z0 a lo largo de las cuales f (z) tiende a lı́mites distintos.

No existe una técnica especı́fica para hallar estas trayectorias, muchas veces suele funcionar
tomar rectas en el plano complejo, por ejemplo:
σ1 (t) = x1 (t) + iy1 (t) = t (el eje real), σ2 = x2 (t) + iy2 (t) = it (el eje imaginario)

Sobre el eje imaginario:

Re(z) 0
lı́m = lı́m =0
z→0 |z| it→0 |t|

Sobre el eje real: 

Re(z) t  1 si t > 0,
lı́m = lı́m =
z→0 |z| t→0 |t|
−1 si t < 0


Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 5 / 38

Continuidad en un punto

Sea z0 ∈ C, f : C → C, decimos que la función f es continua en z0 si se cumplen estas 3

condiciones:
1 z0 ∈ Dom(f ), es decir, existe un complejo w ∈ Img(f ) tal que f (z0 ) = w
2 Existe el lı́mite y da in número complejo

lı́m f (z) = L ∈ C
z→z0

3 lı́m f (z) = f (z0 ) o bien, de las dos anteriores, w = L.

z→z0

Continuidad en un conjunto
Sea f : C → C una función compleja y A ⊂ Dom(f ) un conjunto, decimos que f es continua
en el conjunto A si para todo a ∈ A, f es continua en a.

Propiedad
Todas las funciones elementales son continuas en su dominio de definición.
Las funciones |z|, Re(z), Im(z), z y Arg(z) son continuas en su dominio de
definición.

Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 6 / 38

Propiedades de las funciones continuas

Sean f, g : C → C funciones complejas continuas en z0 ∈ C, entonces

1 Sea una constante c ∈ C, entonces cf (z) es continua en z0 ∈ C.
2 La suma (o la resta) f (z) ± g(z) es continua en z0 ∈ C.
3 El producto f (z)g(z) es continuo en z0 ∈ C.
f (z)
4 Si g(z0 ) 6= 0, entonces el cociente g(z)
es continuo en z0 ∈ C.

5 Sea una función h : C → C continua en g(z0 ), entonces la composición

h ◦ g(z) = h(g(z)) es continua en z0 ∈ C.

Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 7 / 38

Definición

La derivada puntual en z0 ∈ Dom(f ) donde f : C → C es una función compleja. Se

define la derivada puntual de f en z0 al resultado del siguiente lı́mite:

f (z0 + h) − f (z0 )
f 0 (z0 ) := lı́m
h→0 h

La definición es idéntica a la que conocemos para funciones de variable real. Con el mismo
criterio, se puede calcular la función derivada por definición.

Ejemplo: Derivada de un polinomio

Sea f (z) = 2z 3 − 3z + 5. Calcular f 0 (z0 )

f (z0 + h) − f (z0 ) (2(z0 + h)3 − 3(z0 + h) + 5) − (2z03 − 3z0 + 5)

lı́m = lı́m =
h→0 h h→0 h
Aplicamos algunas propiedades y fórmulas de factoreo cuando es necesario:
2(z03 + 3z02 h + 3z0 h2 + h3 ) − 3z0 − 3h +

5 − 2z03 + 3z0 −

5
= lı́m =
h→0 h
3 2 2 3 3
2z0 + 6z0 h + 6z0 h + 2h − 
3z 0 − 3h − 
2z 0 +
3z 0
   
= lı́m  =
h→0 h
Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 8 / 38
Ejemplo: Derivada de un polinomio (continuación)

6z02 h + 6z0 h2 + 2h3 − 3h h(6z02 + 6z0 h + 2h2 − 3)

= lı́m = lı́m =
h→0 h h→0 h
2 2
= lı́m
h1(6z0 + 6z0 h + 2h − 3) = lı́m 6z 2 + 6z0 h + 2h2 − 3 = 6z 2 − 3
0 0
h→0
Ah1 h→0

Luego
f 0 (z) = 6z 2 − 3

es la fórmula de la función derivada de f calculada por definición.

Observe que nunca utilizamos ninguna herramienta propia de los números complejos para
resolver el lı́mite, esto indica que un gran número de propiedades conocidas para funciones
derivables en variable real se mantienen en el caso de variable compleja, al menos, en el caso
de funciones elementales.

Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 9 / 38

Funciones Derivables: Propiedades
Sean f, g : C → C funciones derivables en z0 y α, β ∈ C escalares complejos fijos. Entonces
vale todo lo siguiente:
1 Linealidad
(αf + βg)(z0 ) = αf 0 (z0 ) + βg 0 (z0 )

2 Regla de Leibnitz (derivada de un producto)

(f · g)0 (z0 ) = f 0 (z0 ) · g(z0 ) + f (z0 ) · g 0 (z0 )

3 Derivada del cociente

Å ã0
f f 0 (z0 ) · g(z0 ) − f (z0 ) · g 0 (z0 )
(z0 ) =
g [g(z0 )]2

4 Regla de la Cadena
(f ◦ g)0 (z0 ) = f 0 (g(z0 )) · g 0 (z0 ) = f 0 ◦ g(z0 ) · g 0 (z0 )

Definición
Función derivable en un conjunto Diremos que f : C → C es derivable en un conjunto
A ⊂ Dom(f ) si para todo a ∈ A existe f 0 (a)

Sin embargo todo lo anterior no alcanza para analizar la derivabilidad de cualquier función
en Dr.
variable
Carlos H. compleja.
D. Alliera (UNAJ) Práctica 2 10 / 38
Ejemplo de no derivabilidad por definición

Probar por definición que la función f (z) = Im(z) · z no es derivable.

Planteamos el cociente incremental

f (z + h) − f (z) Im(z + h) · z + h − Im(z) · z

f 0 (z) = lı́m = lı́m =
h→0 h h→0 h

(y + h2 ) · (x + h1 − i(y + h2 )) − y(x − iy)

= lı́m
(h1 ,h2 )→(0,0) h1 + ih2
y ahora nos restringimos a trayectorias que coincidan con el eje real y con el eje imaginario:
Caso real: h = h1 + ih2 = t + i0

y(x + t − iy) − y(x − iy)

= lı́m = y = Im(z)
t→0 t
Caso Imaginario: h = h1 + ih2 = 0 + it

(y + t) · (x − i(y + t)) − y(x − iy)

= lı́m = x − 2iy = z − Im(z)
t→0 it
que solo pueden ser iguales si z = 0.

Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 11 / 38

Sin embargo todo lo anterior no alcanza para analizar la derivabilidad de cualquier función
en variable compleja. Para establecer correctamente las condiciones de derivabilidad en
cualquier función de variable compleja, contamos con las condiciones de Cauchy-Riemann.

Figura: Augustin Cauchy (izq) 1789-1857 y Bernhard Riemann (Der) 1826-1866

Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 12 / 38

Condiciones de Cauchy Riemann

Sean z ∈ C un número complejo tal que z = x + iy y una función f : C → C cuya

descomposición en partes real e imaginaria es:

f (z) = f (x + iy) = u(x, y) + iv(x, y), u, v : R2 → R

entonces diremos que f es derivable en z0 = x0 + iy0 sı́ y solo sı́ se verifican las
siguientes igualdades:
 ∂u ∂v

 (x0 , y0 ) = (x0 , y0 )

 ∂x ∂y
(1)
 ∂v (x0 , y0 ) = − ∂u (x0 , y0 )



∂x ∂y

conocidas como las Condiciones de Cauchy-Riemann.

Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 13 / 38

Si se cumplen las condiciones (1), la derivada se puede calcular de cualquiera de las
siguientes formas:
1 Opción 1
∂u ∂v
f 0 (z0 ) = (x0 , y0 ) + i (x0 , y0 )
∂x ∂x

2 Opción 2
∂v ∂u
f 0 (z0 ) = (x0 , y0 ) − i (x0 , y0 )
∂y ∂y

Definición (Región de Derivabilidad)

Sea la función f : C → C, f (x + iy) = u(x, y) + iv(x, y), u, v : R2 → R, se define la región
de derivabilidad al conjunto de números complejos donde f es derivable, o
equivalentemente al conjunto de soluciones de (1):

Dd = {z = x + iy ∈ C : ∃ f 0 (z)}

es decir:
ß ™
∂u ∂v ∂v ∂u
Dd = z0 = x0 + iy0 ∈ C : (x0 , y0 ) = (x0 , y0 ) ∧ (x0 , y0 ) = − (x0 , y0 )
∂x ∂y ∂x ∂y

Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 14 / 38

Ejemplo 1

1 Hallar la región de derivabilidad de f (z) = iz.

Primero buscamos las partes real e imaginaria de f :

f (x + iy) = i(x − iy) = ix + y ⇒ u(x, y) = y, v(x, y) = x

y chequeamos las condiciones de Cauchy-Riemann (1)

 ∂u ∂v

 (x, y) = (x, y) ⇐⇒ 0 = 0

 ∂x ∂y

 ∂v (x, y) = − ∂u (x, y) ⇐⇒ 1 = −1



∂x ∂y

La primera condición se cumple siempre, pero la segunda no se verifica para ningún

número complejo!!!
Conclusión:
Dd = ∅
Esta función no es derivable en ningun número complejo.

Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 15 / 38

Ejemplo 2

2 Hallar la región de derivabilidad de f (z) = z 2 − Im(z)3 + 3iRe(z)

Igual que antes,

f (x + iy) = (x + iy)2 − y 3 + 3ix = x2 − y 2 − y 3 + 2ixy + 3ix ⇒

⇒ u(x, y) = x2 − y 2 − y 3 , v(x, y) = 2xy + 3x

y chequeamos las condiciones de Cauchy-Riemann (1)
 ∂u ∂v

 (x, y) = (x, y) ⇐⇒ 2x = 2x

 ∂x ∂y

 ∂v (x, y) = − ∂u (x, y) ⇐⇒ 2y + 3 = −(−2y − 3y 2 ) = 2y + 3y 2




∂x ∂y
La primera igualdad es tautológica como en el caso anterior, de la segunda se obtiene:

3 = 3y 2 ⇔ y 2 = 1 ⇔ |y| = 1

lo que indica que la única restricción recae sobre la parte imaginaria, entonces:

Dd = {z = x + iy ∈ C : |y| = 1}

Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 16 / 38

La región de derivabilidad son dos rectas paralelas entre sı́ y al eje real.
Finalmente, la derivada resultante es:
f 0 (x + iy) = 2x + i(2y + 3) = 2x + i(2y + 3y 2 )
igualdad solo válida entre los puntos de Dd . Por ejemplo, si evaluamos en 2 − i ∈ Dd :
f 0 (2 − i) = 4 + i(2 · (−1) + 3) = 4 + i

Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 17 / 38

Ejemplo 3

3 Hallar la región de derivabilidad de f (x + iy) = x − x2 y + i(x − 2y 2 )

En este caso las expresiones de u, v están explı́citas. Verificamos (1):

 ∂u ∂v

 (x, y) = (x, y) ⇐⇒ 1 − 2xy = −4y
 ∂x
 ∂y

 ∂v (x, y) = − ∂u (x, y) ⇐⇒ 1 = x2 ⇐⇒ |x| = 1




∂x ∂y

De la segunda ecuación se obtiene una restricción sobre la parte real: |x| = 1, entonces
reemplazando en la primera:

1 1
Si x = −1 : 1 − 2(−1)y = 1 + 2y = −4y ⇐⇒ 1 = −6y ⇐⇒ y = − ∴ −1 − i ∈ Dd





 6 6


 1 1
 Si x = 1 : 1 − 2(1)y = 1 − 2y = −4y ⇐⇒ 1 = −2y ⇐⇒ y = − ∴ 1−i ∈ Dd


2 2

Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 18 / 38

Ejemplos
ß ™
1 1
Luego Dd = −1 − i ; 1 − i
6 2

el conjunto de derivabilidad son dos puntos.

Å ã
0 −1 − i 1 = 2 + i


 f

 6 3
f 0 (x + iy) = −4y + ix2 ⇒ Å ã
 f0 1 − i 1 = 2 + i



2

Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 19 / 38

Ejemplo 4

Analizar la derivabilidad de f (z) = Im(z) · z

Nuevamente identificamos las partes real e imaginaria de la función:

f (x + iy) = y(x − iy) = yx − iy 2 ⇒ u(x, y) = yx, v(x, y) = −y 2

aplicamos Cauchy-Riemann:
 0
 ux = vy0 ⇐⇒ y = −2y ⇒ y = 0
⇒ z = x + iy = 0 + 0i ∴ z = 0
vx0 = −u0y ⇐⇒ 0 = −x


que es lo que habı́amos obtenido antes (ver filmina (11)).

En este caso:
Dd = {0}
y
f 0 (0) = 0

Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 20 / 38

Cauchy Riemann en coordenadas polares

Sea una función compleja f : C → C que admite una descomposición en pares real e
imaginaria en coordenadas polares:

f (z) = f (reiθ ) = u(r, θ) + iv(r, θ), r = |z|

entonces f es derivable en z = reiθ ∈ C − {0} si para este número complejo se verifican las
ecuaciones de Cauchy Riemann:

∂u 1 ∂v

 ∂r = r ∂θ


 Å ã Å ã
∂u ∂v 1 −iθ ∂v ∂u
⇒ f 0 (z) = e−iθ +i = e −i
 ∂v
 1 ∂u ∂r ∂r r ∂θ ∂θ
=−


∂r r ∂θ

Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 21 / 38

Ejemplo

Hallar el dominio de derivabilidad de

f (z) = 5r cos(θ) + r4 cos(4θ) + i(r4 sen(4θ) + 5r sen(θ))

Planteamos las ecuaciones de Cauchy Riemann:

1

 5 cos(θ) + 4r3 cos(4θ) = 4r4 cos(4θ) + 5r cos(θ)


r


 1
 4r3 sen(4θ) + 5 sen(θ) = − −4r4 sen(4θ) − 5r sen(θ)



r
Ambas igualdades son válidas para todo z 6= 0.

Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 22 / 38

Funciones Analı́ticas

Definición
Sea f : C → C, decimos que f es Analı́tica en z0 ∈ C si f es derivable en z0 y además,
para algún r > 0 existe un entorno abierto de z0

Br (z0 ) = {z ∈ C : 0 < |z − z0 | < r}

formado en su totalidad por números complejos donde f es derivable, o sea

Br (z0 ) ⊂ Dd

El concepto de analiticidad es más fuerte que el de derivabilidad pues requiere la existencia

de conjuntos abiertos donde la función sea derivable.

Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 23 / 38

Propiedades
Decimos que f es analı́tica en z0 ∈ C si es derivable en todo z tal que

|z − z0 | < r

para algún r > 0.

Si f es analı́tica en z0 , es derivable en z0 .
Las funciones elementales son analı́ticas.
Las derivadas de cualquier orden de funciones analı́ticas son funciones analı́ticas.
Si una función es analı́tica en todo C, se dice que es una función entera.
El dominio de analiticidad puede verse como el conjunto abierto más grande
contenido en Dd , o sea Da ⊆ Dd .
Si Dd es un conjunto abierto en C, entonces Da = Dd

Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 24 / 38

Ejemplo 1

Se sabe que cierta función f es derivable en el conjunto:

Dd = {z ∈ C : |z| ≤ 3 ∧ 3Re(z) + Im(z) > 2}

Hallar su dominio de analiticidad.

Observemos que el conjunto de analiticidad es:

Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 25 / 38

Ejemplo 1

El mayor conjunto abierto contenido allı́ es:

Da = {z ∈ C : |z|<3 ∧ 3Re(z) + Im(z)>2}

cuyo gráfico es:

Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 26 / 38

Ejemplo 2

Hallar las regiones de derivabilidad y de analiticidad de

f (x + iy) = x2 + x + y + i(y 2 − 5y − x)

Para la derivabilidad, planteamos Cauchy Riemann como antes:


 2x + 1 = 2y − 5

−1 = −1


De la primera ecuación se deduce que

y =x+3

y es la única restricción observada, por lo tanto:

Dd = {z ∈ C : 3 + Re(z) = Im(z)}

Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 27 / 38

Ejemplo 2

que como es una recta, no contiene ninguna circunferencia abierta, por lo tanto Da = ∅

Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 28 / 38

Ejemplo 3

Hallar las regiones de derivabilidad y de analiticidad del valor principal de la raı́z

cúbica » Å Å ã Å ãã
θ θ
f (z) = 3 |z| cos + i sen , −π < θ < π
3 3

en este caso:
√
Å ã
3
θ
u(r, θ) = r cos
3

√
Å ã
θ
v(r, θ) = 3 r sen
3
y aplicamos CR en polares:
√
Å ã Å ã
θ 3
θ
cos r cos
1 3 3
u0r = vθ0 ⇔ √3
=
r 3 r2 3r
√
Å ã Å ã
θ θ
sen − 3 r sen
0 1 0 3 3
vr = − uθ ⇔ √
3
=−
r 3 r2 3r
que son válidas para cualquier z 6= 0, entonces
Dd = C − {z ∈ R : z ≤ 0} ⇒ Da = C − {z ∈ R : z ≤ 0}

Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 29 / 38

Consecuencias de la analiticidad

Luego Å ã Å ã
θ θ
cos sen
0 0 0 3 3 1 θ
f (z) = ur + ivr = √
3
+i √ 3
= √
3
ei 3
3 r2 3 r2 3 r2

Propiedad
Sea f una función analı́tica en un conjunto abierto D ⊂ C, entonces:

Si |f (z)| es acotada en D, entonces también es acotada f en ese conjunto.

Si f 0 (z) = 0 en D, entonces f es constante en ese conjunto.

La primera propiedad indica que si una función analı́tica compleja es acotada en su

dominio, entonces es constante en ese dominio.
Observemos que funciones acotadas en variable real, tales como el seno o el coseno no son
acotadas en variable compleja.

Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 30 / 38

El Laplaciano
Dado un campo escalar U : R2 → R, se define la ecuación de Laplace:

∂2U ∂2U
∇2 U := 2
+ =0
∂x ∂y 2

donde ∇2 es el operador laplaciano (o laplaciano a secas) definido como la suma de las

derivadas segundas en la misma variable de dicho campo.
Las funciones que cumplen la ecuación de Laplace se llaman funciones armónicas.

Propiedad
Sea f una función analı́tica en un conjunto abierto D ⊂ C, f (x + iy) = u(x, y) + iv(x, y),
entonces u, v son armónicas en el conjunto D visto como subconjunto de R2 .

Definición (Función armónica conjugada)

Sea U una función armónica en un conjunto abierto D ⊂ R2 , si existe otra función V
armónica también en D ⊂ R2 y además U, V verifican las ecuaciones de Cauchy-Riemann
en D ⊂ C, entonces V es la función armónica conjugada de U y la función

f (x + iy) = U (x, y) + iV (x, y)

es analı́tica en D ⊂ C.

Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 31 / 38

Ejemplo

Sea el campo escalar

U (x, y) = xy + x + 2y − 5

1 Probar que U es armónica en todo el plano.

2 Hallar la conjugada armónica de U , V .
3 Hallar la expresión de la f (z) = f (x + iy) = U (x, y) + iV (x, y), si es posible.

Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 32 / 38

Ejemplo

1 Calculamos las derivadas segundas de U :

∂2U ∂2U
= 0, = 0 ⇒ ∇2 U = 0
∂x2 ∂y 2

2 Ahora buscamos la armónica conjugada según las restricciones de CR:

Z
∂U ∂V y2
=y+1= ⇒ V (x, y) = y + 1dy = + y + c(x)
∂x ∂y 2
Z
∂U ∂V x2
− = −x − 2 = = c0 (x) ⇔ c(x) = −x − 2dx = − − 2x + K ⇒
∂y ∂x 2

y2 x2
⇒ V (x, y) = +y− − 2x + K
2 2
donde K ∈ R cualquiera.

Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 33 / 38

Ejemplo

3 La función que nos queda es:

Ç å
y 2 − x2
f (x + iy) = xy + x + 2y − 5 + i + y − 2x + K
2

si miramos bien la expresión, notamos lo siguiente

i 2
f (x + iy) = (y − x2 − 2ixy ) + x + iy + 2y − 2ix −5 + Ki ⇒
2 | {z } | {z } | {z }
=(iz)2 =−z 2 =z =−2iz

−iz 2
f (z) = + (1 − 2i)z − 5 + Ki
2

que por ser una función cuadrática, es un polinomio (función elemental) por lo tanto f es
analı́tica en todo C, es una función entera.

Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 34 / 38

Regla de L’Hôpital

Supongamos que f, g : C → C son analı́ticas en un z0 ∈ C raı́z común a ambas

funciones, es decir: f (z0 ) = 0, g(z0 ) = 0.
Entonces vale que:
f (z) f 0 (z)
lı́m = lı́m 0
z→z0 g(z) z→z0 g (z)

Ejemplo
Calcular
z 2 − 4z + 5
lı́m
z→2+i z 3 − z − 10i
Observe que f (z) = z 2 − 4z + 5, g(z) = z 3 − z − 10i verificana que f (2 + 1) = g(2 + i) = 0
entonces:
z 2 − 4z + 5 2z − 4 2(2 + i) − 4 2i 3 i
lı́m = lı́m = = = +
z→2+i z 3 − z − 10i z→2+i 3z 2 − 1 3(2 + i)2 − 1 8 + 12i 26 13

a
pruébelo!

Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 35 / 38

Series de Taylor

Sea f : C → C infinitamente derivable en un abierto D ⊂ C y sea z0 ∈ D, entonces

se define el Polinomio de Taylor de f centrado en z0 de grado n
n
X f (k) (z0 )
(z − z0 )k
k!
k=0

En el caso que n = ∞, tenemos la Serie de Taylor de f centrada en z0

Si f es analı́tica en un abierto D, admite un desarrollo en serie local para cada w0 ∈ D, es

decir, existe r > 0 tal que
∞
X f (k) (z0 )
f (z) = (z − w0 )k
k!
k=0

para todo z ∈ Br (w0 ) = {z ∈ C : 0 < |z − w0 | < r} ⊂ D Observe que esta igualdad podrı́a
no valer en todo el abierto D, por eso se destaca la caracterı́stica local.

Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 36 / 38

Definición (Función Meromorfa)
Una función en variable compleja f : C → C es Meromorfa en un conjunto abierto D ⊂ C
si es analı́tica en casi todo D, es decir, f es analı́tica en todo D salvo en un conjunto de
números complejos aislados:
D := D − {z1 , z2 , ...}
f es meromorfa en D, entonces es analı́tica en D.

Las funciones racionales (cocientes de polinomios) son meromorfas en todo el plano

complejo (se excluyen las raı́ces del denominador, que son a lo sumo, tantas como el grado
de ese polinomio.
Por ejemplo, la función
1
f (z) = 2
z +1
es meromorfa en C porque es analı́tica en todos los números complejos, salvo en
z = i, z = −i.
Los logaritmos complejos no son meromorfos en todo el plano complejo porque no se
definen de manera continua en todo el plano complejo, ni siquiera quitando un conjunto de
puntos aislados.

Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 37 / 38

Ojo con la derivada compleja!

1 En variable real, f 0 (x) puede interpretarse como la pendiente de la recta tangente a la

gráfica de f en (x, f (x)) y de esta forma determinar si f crece (f 0 (x) > 0), decrece
(f 0 (x) < 0) o si tiene un máximo o mı́nimo si f 0 (x) = 0. También en fı́sica f 0 (x)
puede interpretarse como la razón de cambio de f en x. Ninguna de estas
interpretaciones es trasladable a la derivación compleja.
En variable compleja la existencia de derivada f 0 (z) es un medio para determinar si f
es analı́tica en ese punto, puesto que la analiticidad es un concepto más importante
que la simple derivabilidad, y las consecuencias que se desprenden se irán viendo en
resultados futuros.
2 Las reglas de derivación que conocı́amos de variable real pueden no ser útiles en
muchas funciones complejas, en particular, en aquellas que no son analı́ticas.
3 Si f es analı́tica en un dominio abierto D y |f (z)| = c constante para todo z ∈ D,
entonces f es constante en D, f (z) = w ∀ z ∈ D, w ∈ C fijo.
4 Las funciones analı́ticas en variable compleja también reciben el nombre de
holomorfas.

Dr. Carlos H. D. Alliera (UNAJ) Práctica 2 38 / 38