C4.

Funciones de variable compleja

- Límite y continuidad de funciones complejas.

- Derivada de una función compleja. Propiedades de las funciones derivables. Funciones holomorfas.
- Ecuaciones de Cauchy-Riemann. Teoremas.
- Funciones armónicas.
- Transformación conforme.

Objetivos
- Definir y calcular límites de funciones de variable compleja, aplicando sus propiedades.
- Definir y verificar continuidad de funciones de variable compleja, aplicando sus propiedades.
- Definir y calcular límites de funciones de variable compleja, aplicando sus propiedades.
- Definir y calcular derivadas de funciones de variable compleja, aplicando sus propiedades.
- Enunciar y verificar las condiciones de Cauchy-Riemann para determinar la analiticidad de las funciones.
Aplicar la ecuación de Laplace para la determinación de funciones armónicas.
- Definir y aplicar el concepto de representación conforme.

Desarrollo
Algunas definiciones fundamentales
Los conjuntos de puntos del plano complejo pueden caracterizarse de acuerdo a sus características
topológicas:
- Una vecindad de radio δ (o simplemente vecindad δ) de un punto z0 en un conjunto de puntos S es el
conjunto de todos los puntos z ∈ S tales que |𝑧 − 𝑧0 | < δ, donde δ es cualquier número real positivo
(Figura 1 a).
- La vecindad reducida de radio δ del punto z0 es igual a la vecindad de radio δ de z0 excluyendo al
punto z0 , es decir, el conjunto de puntos z para los que se cumple, 0 < |𝑧 − 𝑧0 | < δ, (Figura 1 b).

Figura 1: Diagramas para aclarar los conceptos de (a) Vecindad y (b) Vecindad reducida

- Un punto z0 se llama punto límite o punto de acumulación de un conjunto S ⊆ ℂ si toda vecindad reducida
de radio δ de z0 contiene puntos de S. Un punto límite puede interpretarse entonces como aquel punto
de S al que es posible acercarse arbitrariamente utilizando solo otros puntos de S. Esto quiere decir que,
puesto que δ es cualquier número positivo, el conjunto S tiene cardinalidad infinita. Nótese además que el
punto límite z0 no necesariamente debe pertenecer a S.

- Un conjunto S se dice cerrado si cada punto límite de S pertenece a S.

Ejemplo

El conjunto |z| ≤ 1 es cerrado mientras que |z| < 1 no lo es

1
- Un conjunto S se dice denomina acotado si existe una constante M ∈ ℝ tal que ∀ z ∈ S se cumple que
| z| < M
- Un conjunto S se dice denomina ilimitado si no es acotado.

- Un conjunto compacto es cerrado y acotado

- Un punto z0 se llama punto interior de un conjunto S si existe una vecindad de z0 cuyos puntos
pertenecen completamente a S.

- Un punto z0 se llama punto frontera de un conjunto S si toda vecindad de z0 contiene puntos que
pertenecen a S y puntos que no le pertenecen.

- Un punto z0 se llama punto exterior de un conjunto S si no es punto interior o punto frontera. Es decir, un
punto exterior de S no pertenece a S.

- Un conjunto es abierto si contiene solamente puntos interiores.

Ejemplo: |z| < 1

- Un conjunto es conexo si cualquier par de puntos del conjunto pueden ser unidos por un camino formado
por segmentos de recta contenidos en S.

- Un conjunto abierto y conexo recibe también el nombre de región abierta o dominio.

- Si a un conjunto S se le agregan todos los puntos límites de S, al nuevo conjunto se le denomina clausura
de S y es un conjunto cerrado.

- La clausura de una región abierta o dominio se denomina región cerrada.

- Una región es una región abierta con ninguno, varios o todos sus puntos límite.

Límite y continuidad

Límite

Sea la función de variable compleja w = f(z) definida en un dominio S ⊆ ℂ, sea además z0 un punto
límite dentro de S. Se dice que L es el límite de f(z) cuando z tiende a z0, se escribe lim f(z) = L si
z⟶z0
los valores de f(z) se aproximan a L cuando z se aproxima a z0; es decir, si ∀ ε > 0 es posible encontrar
un δ > 0 tal que para todo z en una vecindad reducida de z0 de radio δ se cumple que:

|f(z) − L| < ε (Disco de radio ε en el plano w centrado en el valor del límite) (Figura 2)

Matemáticamente se expresa:

∀ε > 0, ∃δ > 0: 0 < |z − z0 | < δ ⟹ |f(z) − L| < ε

2
 Figura 2: Representación gráfica del límite con variable compleja

Continuidad

La función f(z) se denomina continua en el punto z0 si:

lim f(z) = f(z0 )

z⟶z0

Observación

- Puesto que z0 es un punto límite en el dominio S de definición de f(z), entonces se concluye que f(z)
está definida también en una vecindad de z0

- La función se denomina continua en su dominio, si es continua en todos los puntos de ese dominio.

Cálculo de límites

Las propiedades y reglas para el cálculo de límites de una función de variable compleja son análogas a
las del campo real.

Funciones diferenciables y analíticas

Derivada

- La definición de derivada y de diferencial en el campo complejo es análoga desde el punto de vista formal
a las que se establecen para las funciones de variable real.

- La función continua w = f(z) es diferenciable en el punto z0 si existe:

f(z) − f(z0 ) f(z0 + ∆z) − f( z0 )

lim ó lim
z⟶z0 z − z0 ∆z⟶0 ∆z

Cualquiera sea la forma de tender z a cero o ∆z a cero. Este límite se llama derivada de f(z) en el punto
z0 y se denota por:

3
 f(z0 + ∆z) − f( z0 )
lim = f ′ ( z0 )
∆z⟶0 ∆z
- Derivada como función

En la definición anterior de derivada, z0 es un número fijo, si cambiamos nuestro punto de vista y hacemos
que el número z0 varié, es decir, si en la ecuación anterior reemplazamos z0 con una variable z,
obtenemos:

f(z + ∆z) − f(z)

lim = f ′ (z)
∆z⟶0 ∆z
Observación

- Podemos considerar f ′ como una nueva función, llamada derivada de f

- El dominio de f ′ puede ser menor que el dominio de f

Ejemplo 1

a) f(z) = z 2
f(z + ∆z) − f(z) (z + ∆z)2 − z 2
lim = lim = lim (2z + ∆z) = 2z = f ′ (z)
∆z⟶0 ∆z ∆z⟶0 ∆z ∆z⟶0

b) f(z) = | z|2
f(z + ∆z) − f(z) |z + ∆z|2 − |z| 2 ∆z
lim = lim = lim z + ∆z + z
∆z⟶0 ∆z ∆z⟶0 ∆z ∆z⟶0 ∆z

Caso 1: z =0 y
∆z ∆z
lim z + ∆z + z = lim ∆z = 0
∆z⟶0 ∆z ∆z⟶0

0 x

Caso 2: z ≠0
y
∆y ⟶ 0 ⟹ ∆z = ∆x
∆z = ∆z z + ∆z
∆z z
lim z + ∆z + z = lim ( z + ∆z + z) = z + z
∆z⟶0 ∆z ∆z⟶0

4
 ∆x ⟶ 0 ⟹ ∆z = −∆z y

∆z z + ∆z
lim z + ∆z + z = lim ( z − ∆z − z) = z − z
∆z⟶0 ∆z ∆z⟶0
z

Por la unicidad del límite:

z+z =z−z ⟹z =0
Pero z ≠ 0, de esta contradicción podemos concluir que la derivada solamente existe en el origen.
Observaciones
- Este ejemplo nos demuestra que una función puede ser derivable en un punto, pero no en ningún otro
de cualquier entorno de dicho punto.
- La continuidad de una función en un punto no supone la existencia de la derivada en ese punto

u(x, y) = x 2 + y 2
f(z) = |z| 2 ⟹ {
v(x, y) = 0
Las componentes real e imaginaria de una función de una variable compleja pueden tener derivadas
parciales continuas de todos los órdenes en un punto, y puede ser que la función no sea ni siquiera
derivable en ese punto.

- La existencia de la derivada en un punto implica la continuidad de la función en dicho punto.

Supongamos que existe f ′ (z0 ), entonces podemos escribir:

f(z) − f( z0 ) f(z) − f (z0 )

lim f(z) − f(z0 ) = lim ∙ (z − z0 ) = lim ∙ lim (z − z0 ) = f ′ (z0 ) ∙ 0 = 0
z⟶z0 z⟶z0 z − z0 z⟶z0 z − z0 z⟶z0

⟹ lim f(z) = f(z0 ) (Definición de continuidad de f en z0)

z⟶z0

Cálculo de derivadas
Al ser la definición de derivada idéntica en forma a la dada para la derivada de una función de variable real
es de suponer que las mismas reglas obtenidas puedan establecerse.

Funciones analíticas

La función f(z) es analítica en el punto z0 , si su derivada existe, no sólo en z0, sino también en cada
punto z de un entorno o vecindad de z0.

5
- Si f es analítica (holomorfa) en todos los puntos de una región se dice entonces que es analítica regular
en dicha región.
- Si f es analítica en casi todos los puntos de una región (hay un número finito de puntos donde no es
analítica) se dice simplemente que es analítica.

- Si no tiene derivada en ningún punto de la región se dice que no es analítica.

Ejemplo 2

a) f(z) = z 2 (Regular)

b) f(z) = |z|2 (No es analítica en ningún punto)

Observación

El punto z0 está incluido en el entorno y diremos que z0 es un punto ordinario de f(z)

Ecuaciones de Cauchy-Riemann

Sea f una función analítica dentro de un dominio S, entonces su derivada en z0 ∈ S existe y está dada por:

f(z) − f( z0 )
f ′ ( z0 ) = lim
∆z⟶0 z − z0

Donde z puede tender z0 por cualquier trayectoria dentro de S. Un caso especial lo representan las
trayectorias paralelas a los ejes real e imaginario del plano Z.

- Si elegimos una trayectoria paralela al eje real, entonces z − z0 = ∆x, entonces:

f(z0 + ∆x) − f(z0 )

f ′ (z0 ) = lim
∆x⟶0 ∆x
Como f(z) = u(x, y) + jv(x, y), entonces:
u(x0 + ∆x, y0 ) + jv (x0 + ∆x, y0 ) − u( x0 , y0 ) − jv (x0 , y0 )
f ′ (z0 ) = lim
∆x⟶0 ∆x

u(x0 + ∆x, y0 ) − u(x0 , y0 ) v (x0 + ∆x, y0 ) − v(x0 , y0 )

f ′ ( z0 ) = lim +j
∆x⟶0 ∆x ∆x

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

Si ahora se elige una dirección paralela al eje imaginario, se tiene z − z0 = j∆y, entonces:
f( z0 + j∆y) − f(z0 )
f ′ (z0 ) = lim
∆y⟶0 j∆y
Y análogamente al caso anterior se obtiene:

6
 u(x0 , y0 + ∆y) + jv(x0 , y0 + ∆y) − u(x0 , y0 ) − jv( x0 , y0 )
f ′ (z0 ) = lim
∆y⟶0 j∆y

u(x0 , y0 + ∆y) − u(x0 , y0 ) v (x0 , y0 + ∆y) − v( x0 , y0 )

f ′ (z0 ) = lim +j
∆x⟶0 j∆y j∆y

∂v ∂u
f ′ (z0 ) = −j
∂y ∂y
(x0 , y0 )

Como f ′ (z0 ) existe y es una única, las expresiones obtenidas son iguales. Además, como las funciones u
y v son reales, sus derivadas parciales también son funciones reales y tendremos:
∂u ∂v
=
∂x ∂y
∂u ∂v
=−
∂y ∂x
Estas ecuaciones son conocidas como las Ecuaciones de Cauchy-Riemann. Estas ecuaciones
proporcionan condiciones necesarias para la existencia de la derivada de f(z) en un punto particular z0

Si se tienen dos funciones continuas de valor real u(x, y) y v(x, y) con x, y ∈ ℝ, que a su vez tienen
derivadas parciales continuas, se puede demostrar que si u(x, y) y v(x, y) satisfacen las Ecuaciones de
Cauchy-Riemann en una región S, entonces f(z) = u(x, y) + jv(x, y) es analítica en S.

Observación
Si la función f es analítica, entonces su derivada puede calcularse eligiendo cualquier dirección, entre
otras las paralelas a los ejes coordenados.

Ejemplo 3
a) f(z) = z 2 (Regular) ∂u ∂u
= 2x = −2y
∂x ∂y
Solución
∂v ∂v
u(x, y) = x 2 − y 2 = 2y = 2x
f (z) = x 2 − y 2 + j2xy ⟹ { ∂x ∂y
v(x, y) = 2xy
Las derivadas parciales obtenidas con continuas en todos los puntos del plano y cumplen las ECR en
todos los puntos del plano. Entonces f es derivable en ℂ
∂u ∂v
Eligiendo la dirección en x, la derivada es: f ′ (𝑧) = + j = 2x + j2y = 2z
∂x ∂x

Mapeos conformes

7
Un mapeo w = f(z) se denomina conforme si el ángulo que forman dos curvas en el plano Z es
preservado entre las dos curvas imagen del plano W. Puede demostrase que si f es una función analítica,
entonces f representa un mapeo conforme excepto en aquellos puntos donde la derivada f ′ (z) = 0

Esta última condición permite analizar la generalidad de los mapeos introducidos anteriormente.
- El mapeo lineal con α ≠ 0:
w = f (z) = αz + β ⟹ f ′ (z) = α
Es un mapeo conforme, porque este mapeo representa una homotecia, rotación y traslación que no
modifican la posición relativa entre dos curvas.
- El mapeo de inversión 1 1
w = f(z) = ⟹ f ′ (z) = − 2
z z
Es conforme en todo el plano ℂ ∖ {0}

- El mapeo bilineal k ck
w = f(z) = h + ⟹ f ′ (z) = − (c, k ≠ 0)
cz + d (cz + d)2
d
Es conforme en todo el plano ℂ ∖ {− }
c

Ejemplo 4
1
Determinar en que puntos el mapeo dado no es conforme: w = z +
z
Solución
∂u x 2 − y2 ∂u 2xy
1 x y = 1− 2 =− 2
w = z+ ⟹ w = x+ 2 + j y − ∂x (x + y 2 )2 ∂y ( x + y 2 )2
z x + y2 x 2 + y2 ∂v 2xy ∂v x 2 − y2
= 2 = 1− 2
∂x ( x + y 2 )2 ∂y (x + y 2 )2
La función f es analítica ℂ ∖ {0}

x 2 − y2 2xy 1 1
f ′ (z) = 1 − 2 2 2 +j 2 2 2 ⟹ f ′ (z) = 1 − 2 1− = 0 ⟹ z = ±1
(x + y ) (x + y ) z z2

El mapeo no es conforme en z = 0 y en z = ±1

Conclusiones

Libro 2: Capitulo 2 Libro 7: Capitulo 2

Trabajo Independiente

1. Estudiar Funciones armónicas y armónicas conjugadas (Libro 2)

2. Estudiar los ejemplos resueltos

3. Resolver del Libro 2 (2.27, 2.28, 2.32)

4. Resolver del Libro 7 (1-p.54) (1-p.69) (8-p.70)