See discussions, stats, and author profiles for this publication at: [Link]

net/publication/50384508

Derivación, el Teorema de Rolle y del Valor Medio para funciones de una Variable
Compleja

Article · January 2010

Source: DOAJ

CITATION READS
1 2,001

1 author:

Richard Alexander De la cruz Guerrero

Universidad Pedagógica y Tecnológica de Colombia
22 PUBLICATIONS   60 CITATIONS   

SEE PROFILE

Some of the authors of this publication are also working on these related projects:

delta shock wave for hyperbolic system of conservation laws View project

Numerical methods for conservations laws View project

All content following this page was uploaded by Richard Alexander De la cruz Guerrero on 28 May 2014.

The user has requested enhancement of the downloaded file.

De la Cruz, R. 2010. Derivación, el Teorema de Rolle y del Valor Medio para funciones
de una Variable Compleja. Revista Sigma, 10 (1). Pág. 32-37
[Link] X No 1/[Link]

REVISTA SIGMA
Departamento de Matemáticas
Universidad de Nariño Volumen X No 1 (2010), páginas 32–37

Derivación, el Teorema de Rolle y del Valor Medio

para funciones de una Variable Compleja
1
Richard Alexander De la cruz Guerrero

Abstract. In this paper we shows some basic concepts of derivation for functions of one
complex variable. Also shown are some versions of Rolle’s Theorem and Mean Value Theorem
for function of one complex variable.
Keywords. Holomorphic functions, Cauchy-Riemann equations, Rolle’s Theorem, Mean Va-
lue Theorem.

Resumen. En este artı́culo se exponen algunos conceptos básicos de derivación para funcio-
nes de una variable compleja. También se muestran algunas versiones del Teorema de Rolle
y del Valor Medio para funciones de una variable compleja.
Palabras Clave. Función Holomorfa, Ecuaciones de Cauchy-Riemann, Teorema de Rolle,
Teorema del Valor Medio.

Introducción
La actual teorı́a de funciones de variable compleja necesita de un amplio dominio de las
matemáticas. El concepto de número imaginario, y después de complejo, se conocı́a desde
tiempos remotos. Durante los siglos XVII y XVIII se establecieron de forma significativa
importantes aplicaciones de los números complejos en diversas ramas de la ciencia.

Cauchy en sus primeros trabajos, publicados en 1825, aplicó las cantidades imaginarias al
cálculo de integrales definidas, formulando el conocido teorema integral. En los años siguien-
tes, 1826 a 1829, creó la teorı́a de los residuos, desarrollándola en años posteriores y buscando
nuevas aplicaciones. Junto a los trabajos de Cauchy surgieron otros muchos sobre la teorı́a
de funciones de variable compleja, entre los que cabe mencionar los realizados por Abel,
Jacobi, Laurent y Liouville.

Los resultados fundamentales de Riemann aparecen en su obra “Grundlagen für eine allge-
meine Theorie der Functionen einer veränderlichen complexen Grösse“.
A partir de las ideas de Riemann, surgieron gran cantidad de trabajos cuyos autores elabo-
raron diferentes aspectos de la teorı́a de funciones de variable compleja.
1 Universidad Pedagógica y Tecnológica de Colombia

32
A finales de siglo XIX y comienzos del siglo XX, se unifican algunos conceptos creando una
concepción general de la teorı́a de funciones de variable compleja.

En este articulo, de forma análoga al calculo de funciones reales se trata de desarrollar las
nociones de derivación de funciones de variable compleja basados en concepto fundamental
de lı́mite. Ademas, se estudia algunas propiedades de la derivación de funciones de variable
compleja mostrando, en cierto sentido, su similitud con las propiedades de la derivación de
funciones de variable real.
Definición 0.1. Sean Ω ⊂ C abierto y f : Ω ∈ C. Se dice que f es derivable en z0 ∈ Ω, si
f (z) − f (z0 )
lı́m (0.1)
z→z0 z − z0
existe y es un número complejo. A dicho limite lo notaremos con f ′ (z0 ) y diremos que es la
derivada de f en z0 .
Si f es derivable en cada punto de Ω se dice que f es derivable en Ω y en cuyo caso se
dice que f es una función Holomorfa. Note que si f es diferenciable en Ω entonces f ′ (z)
define una función f ′ : Ω → C y de este modo si f ′ es continua entonces se dice que f es
continuamente diferenciable. Si f ′ es diferenciable entonces f es dos veces diferenciable; una
función diferenciable tal que cada derivada sucesiva es nuevamente diferenciable se llama
infinitamente diferenciable. Diremos que f es holomorfa en z si es holomorfa en un entorno
de z.
Nota. Podemos observar que si f y g son funciones holomorfas, f + g y f g también son
holomorfas.
Teorema 0.2. Si f : Ω → C es diferenciable en un punto z0 de Ω entonces f es continua
en z0 .
Demostración. De hecho,
  
|f (z) − f (z0 )|
lı́m |f (z) − f (z0 )| = lı́m lı́m |z − z0 | = f ′ (z0 ) × 0 = 0
z→z0 z→z0 |z − z0 | z→z0

X

Teorema 0.3. Sean f y g funciones holomorfas en Ω1 y Ω2 respectivamente, y suponga que
f (Ω1 ) ⊆ Ω2 . Entonces g ◦ f es holomorfa en Ω1 y
(g ◦ f )′ (z) = g ′ (f (z))f ′ (z)
para cada z en Ω1 .
Demostración. Fijando z0 ∈ C, sea w0 = f (z0 ).
De la hipótesis,
f (z) − f (z0 ) = [f ′ (z0 ) + ǫ1 (z)] (z − z0 ), (0.2)
′
g(w) − g(w0 ) = [g (w0 ) + ǫ2 (w)] (w − w0 ), (0.3)
con ǫ1 (z) → 0 cuando z → z0 , ǫ2 (w) → 0 cuando w → w0 y w = f (z).
Sustituyendo (0.2) en (0.3) se obtiene el resultado buscado. X

Lema 0.4. Suponga que f : Ω1 → Ω2 una biyección, g : Ω2 → Ω1 la función inversa de
f y z0 ∈ Ω2 . Si f es diferenciable en g(z0 ) con f ′ (g(z0 )) y g continua en z0 entonces g es
diferenciable en z0 con
1
g ′ (z0 ) = ′ (0.4)
f (g(z0 ))

33
Demostración. Para z0 ∈ Ω2 \ {z0 } se tiene

g(z) − g(z0 ) 1
= f (g(z))−f (g(z0 ))
z − z0
g(z)−g(z0 )

Como g es continua en z0 , el lı́mite de la parte derecha de la ultima expresión cuando z → z0

existe y
g(z) − g(z0 ) 1 1
lı́m = lı́m f (w)−f (w ) = ′
z→z0 z − z0 w→w 0 0 f (w0 )
w−w0

con w0 = g(z0 ). X

Es claro que si f ′ existe en algún punto z0 entonces

f (z + h) − f (z)
lı́m
h→0,h∈γ h
existe para todo camino γ ⊂ Ω. En este sentido, en particular, podemos tomar como camino
el eje real y afirmar que para z0 = x0 + iy0 y f (z) = u(x, y) + iv(x, y)

∂u ∂v
f ′ (z0 ) = (x0 , y0 ) + i (x0 , y0 ). (0.5)
∂x ∂x
De forma similar, tomando ahora, el eje imaginario como camino
∂v ∂u
f ′ (z0 ) = (x0 , y0 ) − i (x0 , y0 ). (0.6)
∂y ∂y

Las ecuaciones (0.5) y (0.6) nos permite escribir f ′ (z0 ) en términos de las derivadas parciales
de las funciones u y v; además proporcionan condiciones necesarias para la existencia de
f ′ (z0 ).
La existencia de f ′ (z0 ) exige que
(
∂u ∂v
∂x (x0 , y0 ) = ∂y (x0 , y0 )
∂u ∂v
(0.7)
∂y (x0 , y0 ) = − ∂x (x0 , y0 )

Las ecuaciones (0.7) son llamadas Ecuaciones de Cauchy-Riemann.

Teorema 0.5. Sea f (z) = u(x, y) + iv(x, y) para z = x + iy. Supongamos que f ′ (z0 ) existe
en un punto z0 = x0 + iy0 . Entonces las primeras derivadas parciales de u y v existen en el
punto (x0 , y0 ) y satisfacen las ecuaciones de Cauchy-Riemann en dicho punto.
Además, f (z0 ) se puede expresar como

∂u ∂v
f ′ (z0 ) = (x0 , y0 ) + i (x0 , y0 ).
∂x ∂x

34
1. Algunas versiones del Teorema de Rolle y del Valor
Medio para funciones de Variable Compleja
Como es conocido el clásico teorema de Rolle de funciones a variable real no es valido pa-
ra funciones de variable compleja (Holomorfas), por ejemplo, si f (z) = ez − 1 entonces
f (i2kπ) = 0 para cada k ∈ Z, pero f ′ (z) no tiene ceros en el plano complejo.
En 1930, Jean Dieudonné estableció condiciones necesarias y suficientes para la existen-
cia de ceros de f ′ (z) en el interior de un cı́rculo de diámetro ab cuando f es holomorfa y
f (a) = f (b) = 0. En 1992, [Link] y [Link] muestran una versión del Teorema de Rolle
para funciones holomorfas en el sentido de los ceros de la función y los ceros de la parte real
de la derivada de la función o los ceros de la función y los ceros de la parte imaginaria de la
derivada de la función.
Recientemente, [Link] , A.R. Davies y N. E. Muoneke (2007) han logrado conseguir una
nueva versión del teorema de Rolle para funciones holomorfas en la cual no son necesarios
los ceros de f .

Notación. Por ]a, b[ denotamos el conjunto de números complejos

]a, b[:= {z ∈ C : z = a + (a − b)t , t ∈ (0, 1)}

Teorema 1.1 (Una primera versión del Teorema de Rolle). Sea f una función holo-
morfa definida en un subconjunto abierto conexo Df de C. Sean a, b ∈ Df tales que f (a) =
f (b) = 0 y a 6= b. Entonces existen z1 , z2 ∈]a, b[ tal que Re(f ′ (z1 )) = 0 y Im(f ′ (z2 )) = 0.
Demostración. ([Link] y [Link] ; 1992) Sean a1 = Re(a), a2 = Im(a), b1 = Re(b), b2 =
Im(b), u(z) = Re(f (z)) y v(z) = Im(f (z)) para cada z ∈ Df .
Consideremos la función a valor real

φ(t) = (b1 − a1 )u(a + t(b − a)) + (b2 − a2 )v(a + t(b − a)) (1.1)

para cada t ∈ [0, 1]. Puesto que f (a) = f (b) = 0 tenemos u(a) = u(b) = 0 = v(a) = v(b) y en
consecuencia φ(0) = 0 = φ(1). Por el Teorema de Rolle, existe t1 ∈ (0, 1) tal que φ′ (t1 ) = 0.
Sea z1 = a + t1 (b − a) entonces por condiciones de Cauchy-Riemann se tiene

∂u
(z1 ) (b1 − a1 )2 + (b2 − a2 )2
 
0 = φ′ (t1 ) = (1.2)
∂x
de donde
∂u
Re(f ′ (z1 )) = (z1 ) = 0 (1.3)
∂x
Aplicando la primera parte del teorema a la función g = −if vemos que existe un z2 ∈]a, b[
tal que
∂v ∂u
0 = Re(g ′ (z2 )) = (z2 ) = − (z2 ) = Im(f ′ (z2 )) (1.4)
∂x ∂y
X


35
Teorema 1.2. Sea f una función holomorfa definida sobre un conjunto abierto conexo
Df ⊆ C. Sean a y b dos puntos distintos de Df . Entonces existen z1 , z2 ∈]a, b[ tales que
   
f (b) − f (a) f (b) − f (a)
Re (f ′ (z1 )) = Re y Im (f ′ (z2 )) = Im
b−a b−a
Demostración. Es una consecuencia directa de aplicar el Teorema 1.1 a la función
f (b) − f (a)
g(z) = f (z) − f (a) − (z − a).
b−a
X

Teorema 1.3 (Una segunda versión del Teorema de Rolle). Sea f una función di-
ferenciable de valor complejo definida sobre un camino conexo y abierto de Ω ⊆ C. Sean
a, b ∈ Ω dos puntos distintos tales que f (a) = f (b). Para cualquier camino suave simple-
mente conexo Γ ⊂ Ω que une los puntos a con
b con parametrización canónica γ entonces
existe algún z0 ∈ Γ tal que f ′ (z0 )γ ′ γ −1 (z0 ) · (b − a) = 0.
Demostración. ([Link] , A.R. Davies y N. E. Muoneke ; 2007) Sea f : Ω ⊆ C → C una
función diferenciable y γ : [0, 1] → Γ una parametrización suave de Γ ⊂ Ω con γ(0) = a y
γ(1) = b.
Se define h : [0, 1] → R como h(t) = f (γ(t)) · (b − a) donde · denota el producto escalar del
espacio de Hilbert C.
Ademas, h es suave en (0, 1), continua en [0, 1] y como f (γ(0)) = f (a) = f (b) = f (γ(1)) de
lo cual h(0) = h(1) y por el Teorema de Rolle existe t0 ∈ (0, 1) con z0 = γ(t0 ) ∈ Γ tal que


f ′ (z0 )γ ′ γ −1 (z0 ) · (b − a) = 0
X

Teorema 1.4. Sea f una función diferenciable de valor complejo definida sobre un camino
conexo y abierto de Ω ⊆ C. Sean a, b ∈ Ω dos puntos distintos. Para cualquier camino suave
simplemente conexo Γ ⊂ Ω que une los puntos a con b con parametrización canónica γ
entonces existe algún z0 ∈ Γ tal que
 
f (b) − f (a)

f ′ (z0 ) − γ ′ γ −1 (z0 ) · (b − a) = 0.
b−a
Demostración. ([Link] , A.R. Davies y N. E. Muoneke ; 2007) Sea f : Ω ⊆ C → C una
función diferenciable y γ : [0, 1] → Γ una parametrización suave de Γ ⊂ Ω con γ(0) = a y
γ(1) = b.
Se define
f (b) − f (a)
Hf (z) = f (z) − f (a) − (z − a)
b−a
cuyo Jacobiano esta dado por
 h i h i
∂u f (b)−f (a) ∂v f (b)−f (a)
∂x (z) − Re b−a ∂x (z) − Im b−a
f (b) − f (a)  
DHf (z) = Df (z) − ≡ 
b−a 
∂u
h
f (b)−f (a)
i
∂v
h
f (b)−f (a)
i 
∂y (z) − Re b−a ∂y (z) − Im b−a

donde u y v denotan, respectivamente, la parte real e imaginaria de f , z = x + iy,

Hf (a) = 0 = Hf (b). Del Teorema 1.3 tenemos


(DHf (z0 )) γ ′ γ −1 (z0 ) · (b − a) = 0
X


36
 Referencias
[1] Ahlfors, L.V., Complex Analysis, McGraw-Hill, Third Edition, 1979.

[2] Conway, J.B., Functions of One Complex Variable, Graduate Texts in Mathematics,
Springer-Verlag, Second Edition, 1978.

[3] Evard, J. C. and Jafari, F., A complex Rolle’s theorem, Amer. Math. Monthly 99., No.
9 (1992) pp. 858-861.

[4] Evard,J-C., Jafari, F. and Polyakov, P. Generalizations and applications of a complex

Rolle’s theorem, Nieuw Archief voor Wiskunde 13, (1995), Math. Sci. Net., pp. 173 -
180.

[5] Lang, S. Complex Analysis, Graduate Texts in Mathematics, Springer-Verlag, Fourth

Edition, 1999.

[6] Pemba, J-P. , Davies,A. R. and Muoneke, N. E. A Complexification of Rolle’s Theorem,

Applications and Applied Mathematics (AAM): An International Journal, Vol.2, No 1
(2007), pp. 28-31.

[7] Rudin, W., Real and Complex Analysis, McGraw-Hill Book Co., 1970.

Departamento de Matemáticas y Estadı́stica

Universidad de Nariño
++++++++++++++++++++++++++++++
e-mail: [Link]@[Link]

37

View publication stats