0% encontró este documento útil (0 votos)
34 vistas61 páginas

PRELIMINARES

Preliminares de seminario

Cargado por

Jesusito Aviles
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
0% encontró este documento útil (0 votos)
34 vistas61 páginas

PRELIMINARES

Preliminares de seminario

Cargado por

Jesusito Aviles
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

Funciones elípticas en el plano complejo

Yancy Ernestina Pérez Maldonado


Iván de Jesús Avilés Mejía

Universidad de El Salvador
Facultad Multidisciplinaria Oriental
Departamento de [Link] y Matemática
Sección de Matemática

02 de septiembre, 2025.

1 / 61
Contenido

1 Introducción

2 Objetivos

3 Cálculo diferencial en el plano complejo

4 Cálculo integral en el plano complejo

5 Series en el mundo complejo

6 Teorema del residuo

7 Bibliografía

2 / 61
Introducción

La historia de las funciones elípticas nace del desafío de calcular la longitud de


un arco de elipse, un problema que desbordó los métodos del cálculo integral
con funciones elementales. La resolución de este rompecabezas no solo llevó
a la definición de las integrales elípticas, sino que, a través de su inversión,
culminó en uno de los conceptos más ricos del análisis complejo: las funciones
elípticas.

3 / 61
Objetivos

Objetivo General
Construir la teoría de las funciones elípticas en el plano complejo,
estableciendo sus fundamentos analíticos a partir del cálculo complejo, para
definir y analizar las propiedades de las funciones elípticas de Weierstrass y
Jacobi, y culminar con la exploración de su papel fundamental como base
para la construcción y el estudio de las formas modulares.

4 / 61
Objetivos

Objetivos Específicos
Enunciar todos los conceptos y fundamentos matemáticos previos de
análisis complejo para el estudio de las funciones elípticas.
Describir las propiedades generales que rigen el comportamiento de las
funciones elípticas.
Construir las funciones de Weierstrass ℘(z) y ℘′ (z) y demostrar que son
elípticas.
Construir las funciones de Jacobi a partir de las funciones de Weierstrass.
Utilizar las funciones elípticas para la construcción y el estudio de las
formas modulares.

5 / 61
Cálculo diferencial en el plano complejo
Números complejos y su álgebra

Definición 3.1
Un número complejo es un número escrito en la forma z = a + bi, donde a y
b son números reales, e i, denominado unidad imaginaria, tiene la propiedad
de que i 2 = −1. Si z = a + bi, entonces a es llamada parte real de z, y b,
parte imaginaria de z, y se les denota Re(z) e Im(z), respectivamente. El
símbolo z, que representa un número complejo cualquiera, es llamado
variable compleja.

6 / 61
Calculo diferencial en el plano complejo
Números complejos y su álgebra

Definición 3.2
El complejo conjugado, o simplemente conjugado, de un número complejo
a + bi es a − bi, y lo denotaremos por z.

Operaciones con números complejos

Para efectuar operaciones con números complejos se procede como en el ál-


gebra de números reales: se reemplaza i 2 por −1 cuando se presente. Para
z = a + bi y w = c + di tenemos:

7 / 61
Cálculo diferencial en el plano complejo
Operaciones con números complejos

1 Suma
z + w = (a + bi) + (c + di) = a + bi + c + di = (a + c) + (b + d)i
2 Resta
z − w = (a + bi) − (c + di) = a + bi − c − di = (a − c) + (b − d)i
3 Multiplicación
zw = (a+bi)(c +di) = ac +adi +bci +bdi 2 = (ac −bd)+(ad +bc)i
4 División. Si c ̸= 0 y d ̸= 0, entonces

z a + bi a + bi c − di ac − adi + bci − bdi 2


= = · =
w c + di c + di c − di c2 − d 2i 2
ac + bd + (bc − ad)i ac + bd bc − ad
= 2 2
= 2 2
+ 2 i
c +d c +d c + d2

8 / 61
Cálculo diferencial en el plano complejo
Propiedades de los números complejos

Propiedades de los números complejos


Sean z1 , z2 y z3 números complejos; es decir, z1 , z2 , z3 ∈ C. Las siguientes
propiedades se cumplen:
1 z + z ∈ C
1 2
2 z + z = z + z
1 2 2 1
3 (z + z ) + z = z + (z + z )
1 2 3 1 2 3
4 ∃!0 ∈ C tal que z + 0 = 0 + z = z
1 1 1
5 ∃!(−z ) ∈ C tal que z + (−z ) = −z + z = 0
1 1 1 1 1
6 z · z ∈ C
1 2
7 z · z = z · z
1 2 2 1
8 (z · z ) · z = z · (z · z )
1 2 3 1 2 3
9 ∃!1 ∈ C tal que z · 1 = 1 · z = z
1 1 1
10 ∃!z −1 ̸= 0 ∈ C tal que z · z −1 = z −1
1 1 1 1
11 z · (z + z ) = z · z + z · z y (z1 + z2 ) · z3 = z1 · z3 + z2 · z3
1 2 3 1 2 1 3
9 / 61
Cálculo diferencial en el plano complejo
Representación polar

Definición 3.3
Sea P el punto en el plano complejo correspondiente al número complejo
(x, y ) o x + iy , se sigue que

x = r cos(θ), y = r sen(θ)

donde q
r= x 2 + y 2 = |x + iy | = |z|
que es el módulo de z = x + iy ; y θ, como amplitud o argumento de
z = x + iy (que se denota arg z), es el ángulo que forma la recta OP con el
lado positivo del eje x.

10 / 61
Cálculo diferencial en el plano complejo
Representación polar

Figura: Representación polar de números complejos

11 / 61
Cálculo diferencial en el plano complejo
Conjuntos en el plano complejo

Definición 3.4
Si z0 es un número complejo, entonces, una ε-vecindad de z0 es el conjunto
de todos los puntos z, cuya distancia a z0 es menor que ε, esto es, todos los z
que satisfacen |z − z0 | < ε.

Figura: ε-vecindad

12 / 61
Cálculo diferencial en el plano complejo
Conjuntos en el plano complejo

Definición 3.5
Sea S ⊂ C. Se dice que z0 es un punto interior de S si alguna ε-vecindad de
z0 está completamente contenida en S.

Figura: Puntos interiores

13 / 61
Cálculo diferencial en el plano complejo
Conjuntos en el plano complejo

Definición 3.6
Un conjunto S es abierto si todos sus puntos son interiores; es decir,
S = Int S.

Definición 3.7
Se dice que un conjunto es cerrado si su complemento es abierto.

14 / 61
Cálculo diferencial en el plano complejo
Conjuntos en el plano complejo

Definición 3.8
Sea S ⊂ C. Un punto z0 es un punto frontera de S si toda ε-vecindad de z0
contiene puntos que están en S y puntos que no lo están.

Figura: Puntos fronteras

15 / 61
Cálculo diferencial en el plano complejo
Conjuntos en el plano complejo

Definición 3.9
Un conjunto S es conexo si no puede ser representado como la unión de dos
conjuntos A y B ajenos y no vacíos tales que ninguno de ellos contenga un
punto frontera del otro. Intuitivamente, lo que se señala es que S está
integrado por una sola pieza.

16 / 61
Cálculo diferencial en el plano complejo
Conjuntos en el plano complejo

Definición 3.10
Una región o dominio es un conjunto conexo abierto.

Definición 3.11
Una región es simplemente conexa si su complemento es conexo. Esto
significa que esta región no tiene “hoyos”.

17 / 61
Cálculo diferencial en el plano complejo
Proyección estereográfica

Figura: Proyección estereográfica

18 / 61
Cálculo diferencial en el plano complejo
Funciones continuas de una variable

Definición 3.12
Una función compleja de una variable compleja es una regla que asigna un
número complejo w a cada número complejo z de un conjunto S.

Definición 3.13
Se dice que la función f (z) tiene límite A cuando z tiende hacia a,
limz→a f (z) = A, si para todo ε > 0 existe un número δ > 0 tal que
|f (z) − A| < ε siempre que 0 < |z − a| < δ. Además, la función f (z) es
continua en a si y sólo si lı́mz→a f (z) = f (a). Una función continua es
aquella que es continua en todos los puntos donde está definida.

19 / 61
Cálculo diferencial en el plano complejo
Condiciones necesarias y suficientes para la analiticidad

Definición 3.14
La derivada f ′ de f en a está dada por f ′ (a) = lı́mh→0 f (a+h)−f
h
(a)
, cuando el
límite existe. En este caso, se dice que f : G → C, G ⊆ C es compleja
diferenciable o derivada compleja en a ∈ G.

20 / 61
Cálculo diferencial en el plano complejo
Condiciones necesarias y suficientes para la analiticidad

Definición 3.15
Se dice que la función f es analítica (holomorfa o regular) en la región (o
dominio) G si tiene derivada en cada punto de G.

Definición 3.16
Se dice que la función f es entera si es analítica en todo C; es decir, si G = C.

21 / 61
Cálculo diferencial en el plano complejo
Condiciones necesarias y suficientes para la analiticidad

Teorema (Condiciones necesarias para la analiticidad)


Si la función f (z) = u(z) + iv (z) tiene derivada en el punto z, las primeras
derivadas parciales de u y v , con respecto a x y y , existen y satisfacen las
ecuaciones de Cauchy-Riemann, las cuales son:

∂u ∂v ∂u ∂v
= y =−
∂x ∂y ∂y ∂x

22 / 61
Cálculo diferencial en el plano complejo
Algunas funciones complejas

Teorema (Condiciones suficientes para la analiticidad)


Sea f (z) = u(x, y ) + iv (x, y ), definida en alguna región G que contiene al
punto z0 , y que tiene primeras derivadas parciales continuas, con respecto a x
y y , que satisfacen las ecuaciones de Cauchy-Riemann en z0 . Entonces f ′ (z0 )
existe.

23 / 61
Cálculo diferencial en el plano complejo
Algunas funciones complejas

Definición 3.17
La exponencial compleja dada por ez = ex (cos y + i sen y ) es una función
entera con valor diferente de cero que satisface la ecuación diferencial
f ′ (z) = f (z), f (0) = 1.

Definición 3.18
eiz + e−iz eiz − e−iz
cos z = , sen z = .
2 2i

24 / 61
Cálculo integral en el plano complejo
Integrales de linea

Definición 4.1
Una curva γ en el plano es cualquier conjunto de puntos que pueden
describirse en forma paramétrica por

γ : x = x(t), y = y (t), α ≤ t ≤ β,

con x(t), y (t) funciones continuas de la variable real t en el intervalo real


cerrado [α, β]. En el plano complejo se describe la curva γ por medio de la
función compleja continua de una variable real

γ : z = z(t) = x(t) + iy (t), α ≤ t ≤ β.

25 / 61
Cálculo integral en el plano complejo
Integrales de linea

Definición 4.2
Se dice que la curva γ es suave si la función z ′ (t) = x ′ (t) + iy ′ (t) no se anula
y es continua en α ≤ t ≤ β, es decir que es continuamente diferenciable.

Definición 4.3
Una curva suave por partes (spp) consiste en un número finito de curvas
suaves unidas por sus extremos. Si γ es una curva spp, entonces x(t) y y (t)
son continuas, pero sus derivadas x ′ (t) y y ′ (t) son continuas por partes.

26 / 61
Cálculo integral en el plano complejo
Integrales de linea

Figura: Tipos de curvas

27 / 61
Cálculo integral en el plano complejo
Integrales de linea

Definición 4.4
Una curva es simple, o arco de Jordan, si z(t1 ) = z(t2 ) sólo si t1 = t2 , esto
es, si no se intersecta a sí mismo, o autointersecta. Una curva es una curva
cerrada si z(α) = z(β) y una curva de Jordan si es cerrada y simple excepto
en los extremos α y β.

28 / 61
Cálculo integral en el plano complejo
Integrales de linea

Definición 4.5
Sea γ : z = z(t), α ≤ t ≤ β, un arco suave, y f (z) = u + iv continua en γ.
Así, la integral de línea de f sobre γ estará dada por

Z Z β
f (z) dz = f (z(t))z ′ (t) dt
γ α
Z β
[u(z(t)) + iv (z(t))] x ′ (t) + iy ′ (t) dt
 
=
α
Z β
u(z(t))x ′ (t) − v (z(t))y ′ (t) dt
 
=
α
Z β
u(z(t))y ′ (t) + v (z(t))x ′ (t) dt.
 
+i
α

29 / 61
Cálculo integral en el plano complejo
Integrales de linea

Ejemplo
R
Evaluar γ x dz a lo largo del arco γ spp, parametrizado γ por:
(
1 + it, 0 ≤ t ≤ 1,
γ : z(t) =
(2 − t) + i, 1 ≤ t ≤ 2.
Entonces
(
′ i, 0 ≤ t ≤ 1,
z (t) =
−1, 1 ≤ t ≤ 2,

30 / 61
Cálculo integral en el plano complejo
Integrales de linea

con derivadas izquierda y derecha diferentes en t = 1. Por definición, al inte-


grar sobre cada uno de los intervalos 0 ≤ t ≤ 1 y 1 ≤ t ≤ 2, se obtiene
Z Z 1 Z 2
1
x dz = i dt + (2 − t)(−1) dt = − + i,
γ 0 1 2
ya que x(t) = 1 en 0 ≤ t ≤ 1 y x(t) = 2 − t en 1 ≤ t ≤ 2.

31 / 61
Cálculo integral en el plano complejo
Integrales de linea

Figura: Curva SSP

32 / 61
Cálculo integral en el plano complejo
La formula integral de Cauchy

Teorema (Propiedades de la integral compleja)


R R R
I) + βf2 (z)] dz = α γ f1 (z) dz + β γ f2 (z) dz
γ [αf1 (z)
R R R
II) γ1 +γ2 f (z) dz = γ1 f (z) dz + γ2 f (z) dz, donde γ1 + γ2 es la
trayectoria que consiste en recorrer primero γ1 seguido de γ2
R R
III) −γ f (z) dz = − γ f (z) dz, donde −γ es la trayectoria que recorre el
arco γ en sentido inverso.
R R
IV) γ f (z) dz ≤ γ |f (z)||dz|, donde definimos |dz|, como la diferencial
con respecto a la longitud del arco con:
q
|dz| = |dx + idy | = (dx)2 + (dy )2 = ds

33 / 61
Series en el mundo complejo
Serie de Taylor

Definición 5.1
Una serie infinita de números complejos

a1 + a2 + · · · + an + · · ·
converge a la suma A, si las sumas parciales

Sn = a1 + a2 + · · · + an
P∞
satisfacen Sn → A cuando n → ∞, y, en este caso, se escribe i=1 ai = A.
De otra manera, se dice que la serie diverge.

34 / 61
Series en el mundo complejo
Serie de Taylor

Definición 5.2
Una serie de potencias, desarrollada alrededor del punto 0, es una serie de la
forma a0 + a1 z + a2 z 2 + . . . , donde los coeficientes an , n ∈ N0 , están
dados (fijos), y z ∈ C es una variable.

35 / 61
Series en el mundo complejo
Serie de Taylor

Definición 5.3
La serie de potencias para un centro (punto de desarrollo) arbitrario a, se
define como

X
f (z) := an (z − a)n
n=0

Esta serie, puede reducirse al caso anterior mediante la sustitución


ζ = z − a.

36 / 61
Series en el mundo complejo
Serie de Taylor

Ejemplo
Muestre que la igualdad de la serie geométrica se cumple para |z| < 1,

X 1
zn =
1−z
n=0

Solución: La división larga de polinomios da

1 zn zn
= 1 + z + z 2 + . . . + z n−1 + = Sn−1 +
1−z 1−z 1−z
Como |z| < 1, se sigue que z n → 0 cuando n → ∞. Así,

1 X
= zn, |z| < 1.
1−z
n=0

37 / 61
Series en el mundo complejo
Serie de Taylor

Teorema de Taylor
Sea f (z) analítica en la región G, que contiene al punto z0 . Entonces, la
representación

f ′ (z0 ) f (n) (z0 )


f (z) = f (z0 ) + (z − z0 ) + · · · + (z − z0 )n + · · ·
1! n!
es válida en todos los discos |z − z0 | < r contenidos en G.

38 / 61
Series en el mundo complejo
Serie de Taylor

Ejemplo
Si f (z) = ez , entonces f (n) (z) = ez y f (n) (0) = 1, y se obtiene la serie de
Maclaurin

X zn
ez = , |z| < ∞,
n!
n=0

válida para todo z en C, ya que f (z) es entera.

39 / 61
Series en el mundo complejo
Series de Laurent

Definición 5.4
La serie de Laurent de f (z) centrada en z0 se expresa como:

X
f (z) = an (z − z0 )n ,
n=−∞

donde:
an son los coeficientes de Laurent.
La parte con n ≥ 0 se llama parte analítica o segundaria.
La parte con n < 0 se llama parte principal.

40 / 61
Series en el mundo complejo
Series de Laurent

Teorema de Laurent
Si f (z) es analítica en el anillo r < |z − z0 | < R, entonces puede
desarrollarse de manera única en una serie de Laurent

X
f (z) = an (z − z0 )n ,
n=−∞

donde
Z
1 f (ζ) dζ
an = , n = 0, ±1, ±2, . . . , r < ρ < R.
2πi |z−z0 |=ρ (ζ − z0 )n+1

41 / 61
Series en el mundo complejo
Series de Laurent

Ejemplo
Al utilizar la serie de Maclaurin de

X z 2n
cos z = (−1)n , |z| < ∞
2n!
n=0

, se tiene

∞ 2n−2 ∞
cos z X
nz
X
n+1 z 2n
= (−1) = (−1) , 0 < |z| < ∞,
z2 (2n)! (2n + 2)!
n=0 n=−1

42 / 61
Series en el mundo complejo
Series de Laurent

Ejemplo
Al utilizar la serie de Maclaurin de

z
X zn
e = , |z| < ∞, |z| < ∞
n!
n=0

tenemos:
∞ 0
2
X z −2n X z 2n
e1/z = = , 0 < |z|.
n! n=−∞
(−n)!
n=0

43 / 61
Series en el mundo complejo
Singularidades aisladas

Definición 5.5
Se dice que una función f (z), analítica en una región 0 < |z − z0 | < R, pero
no analítica o no necesariamente definida en z0 , tiene una singularidad
aislada en z0 . Es decir, un punto z0 ∈ C se llama singularidad aislada de f
si: 1) f no es analítica en z0 y 2) existe una región 0 < |z − z0 | < R en el
que f es analítica.

44 / 61
Series en el mundo complejo
Singularidades aisladas

Estas singularidades se clasifican en tres categorías:


1 Singularidades removibles (o evitables) son aquellas donde es posible
asignar a f (z0 ) un número complejo, de tal forma que f (z) se vuelve
analítica en |z − z0 | < R.
2 Los polos aparecen siempre que f (z) → ∞ cuando z → z0 .
3 Singularidades esenciales son todas las aisladas que no son removibles
ni polos.

45 / 61
Series en el mundo complejo
Singularidades aisladas

Observaciones:
1 Una singularidad z0 es evitable si existe el límite lı́mz→z0 f (z) y es finito.

lı́m f (z) = L donde L ∈ C y |L| < ∞


z→z0

2 Una singularidad z0 es un polo de orden n (donde n ∈ Z+ ) si el límite de


f (z) tiende a infinito:
lı́m f (z) = ∞
z→z0

Formalmente, z0 es un polo si existe un entero positivo n tal que:

lı́m (z − z0 )n f (z) = L con L ̸= 0 y L finito.


z→z0

3 Una singularidad z0 es esencial si el límite lı́mz→z0 f (z) no existe y no


es infinito
46 / 61
Series en el mundo complejo
Singularidades aisladas

Ejemplo
senz
1 La función f (z) = tiene una singularidad en z0 = 0. Sin embargo,
z
senz
lı́m =1 (finito).
z→0 z

Por lo tanto, z0 = 0 es una singularidad evitable.


1
2 La función f (z) = tiene un polo de orden 3 en z0 = 2.
(z − 2)3

47 / 61
Series en el mundo complejo
Singularidades aisladas

Ejemplo
ez
1 La función f (z) = tiene un polo de orden 2 en z0 = 0, ya que:
z2
ez
lı́m z 2 · = lı́m ez = 1 ̸= 0.
z→0 z 2 z→0
2 La función f (z) = e1/z tiene una singularidad esencial en z0 = 0. Si
z → 0+ , e1/z → ∞. Si z → 0− , e1/z → 0. Si z = iy , y → 0,
e1/z = e−i/y oscila. Este comportamiento caótico define la singularidad
esencial.

48 / 61
Series en el mundo complejo
Singularidades aisladas

Las singularidades no son necesariamente aisladas.


Ejemplo
La función

1 −1
 
1
f (z) = sen =
z sen(1/z)
en z = 0, tiene singularidades en los puntos donde sen(1/z) = 0; es decir,
1
1/z = nπ (n ∈ N), por lo que z = (πn)−1 = nπ son todas las singularidades
1
de f (z). Cuando n → ∞, nπ → 0; así, z = 0 es un punto de acumulación de
1
singularidades (es decir las singularidades z = nπ se acumulan en 0). Por lo
tanto, z = 0 no es una singularidad aislada.

49 / 61
Series en el mundo complejo
Singularidades aisladas

Definición 5.6
Una función analítica en una región G, excepto por sus polos, se llama
meromorfa en G.

Si f (z) y g(z) son analíticas en G, y g(z) no es idénticamente cero, entonces


las singularidades del cociente f (z)/g(z) coincidirán con los ceros de g(z).
Estos serán polos siempre y cuando f (z) no sea cero, o tenga un cero de orden
menor que el de g(z); de otra manera, serán singularidades removibles. Al ex-
tender f (z)/g(z) por continuidad, sobre las singularidades removibles, se ob-
tiene una función meromorfa en G. Por ejemplo, f (z) = tan z = sin z/ cos z
es meromorfa en C con polos en z = (k + 21 )π, k = 0, ±1, ±2, . . ., y z = ∞
es un punto de acumulación de polos.

50 / 61
Series en el mundo complejo
Singularidades aisladas

Ejemplo
1
f (z) = z
Analítica en: C \ {0}
Polo en: z = 0 (de orden 1)
¿Es meromorfa en C? Sí
f (z) = ez
Analítica en todo: C
Polo en: No tiene (No tiene singularidades)
¿Es meromorfa en C? Sí

51 / 61
Series en el mundo complejo
Singularidades aisladas

Ejemplo
ez
f (z) = z2
Analítica en: C \ {0}
Polo en: z = 0 (de orden 2)
¿Es meromorfa en C? Sí
sin z
f (z) = tan z = cos z
Analítica en: C excepto donde cos z = 0
π
Polos en: z = 2 + k π, k ∈ Z (polos simples)
¿Es meromorfa en C? Sí

52 / 61
Series en el mundo complejo
Singularidades aisladas

Ejemplo
f (z) = e1/z
Singularidad en: z = 0 (singularidad esencial, no polo)
¿Es meromorfa en C? No
P(z)
Todas las funciones racionales R(z) = , donde P y Q son polinomios,
Q(z)
son meromorfas en C.

53 / 61
Teorema del residuo

Definición 6.1
Si f (z) es analítica en una región 0 < |z − z0 | < R, puede desarrollarse en
una serie de Laurent alrededor de z0 . Al coeficiente
Z
1
a−1 = f (ζ) dζ, 0 < ρ < R,
2πi | ζ−z0 |=ρ

de esta serie de Laurent, se le llama residuo de la función f (z) en z0 y se


denota como Resz0 f (z).

54 / 61
Teorema del residuo

Teorema del Residuo


Sea f (z) analítica en una región G que contiene al conjunto de todos los
puntos dentro y sobre una curva de Jordan γ, excepto por un número finito de
singularidades z1 , . . . , zk en el interior de γ. Entonces
Z k
X
f (z) dz = 2πi Resz=zn f (z).
γ n=1

55 / 61
Teorema del residuo

Teorema del Residuo


Para que este teorema sea útil es necesario obtener métodos simples de
evaluación de residuos. En particular, se desea evitar el proceso de integración
siempre que sea posible. Si se conoce explícitamente la serie de Laurent,
entonces el residuo es igual a a−1 . Para singularidades no esenciales, nótese
que a−1 se anula en las singularidades removibles, y que si z0 es un polo de
orden k , entonces

X
k
(z − z0 ) f (z) = an (z − z0 )n+k ,
n=−k

56 / 61
Teorema del residuo

Teorema del Residuo


Así que, para k = 1,

lı́m (z − z0 )f (z) = a−1 ,


z→z0

mientras que, para k > 1,

d k −1 
(z − z0 )k f (z) = (k − 1)! a−1 .

lı́m k −1
z→z0 dz

57 / 61
Teorema del residuo

Ejemplo
Encontrar el residuo en sus singularidades en C de f(z)

z2 + 1
f(z) =
z3

z3 = 0 ⇒ z = 0 singularidad
En z = 0 es un polo de orden 3.

58 / 61
Teorema del residuo

Ejemplo
d2 2
 
1 3z + 1
Resf (z) = lı́m (z − 0)
(3 − 1)! z→0 dz 2 z3
1 d2
= lı́m (z + 1)
2! z→0 dz 2
1
= lı́m 2
2! z→0
1
= ·2=1
2

59 / 61
Bibliografía

Freitag, E. and Busam, R. Complex Analysis, 2a edition. Universitext,


Springer. 2009.
Derrick, W. Variable compleja con aplicaciones, 2a edición. Grupo
Editorial Iberoamerica. 1987.
Spiegel, M.; Lipschutz, S.; Schiller, J.; Spellman, D. Variable compleja,
2a edición. Schaum, Mc Graw Hill. 2011.

60 / 61
¡Muchas gracias por su
atención!

61 / 61

También podría gustarte