Академический Документы
Профессиональный Документы
Культура Документы
1
MÓDULO DE UN NÚMERO COMPLEJO
Se denomina módulo del número complejo z = x + y ∙ i, al número real no
negativo, 𝑧 = 𝑥2 + 𝑦2
Se observa la relación: 𝑧 ∙ 𝑧 = 𝑧 2 , 𝑧 ∙ 𝑧 = 𝑧
El módulo tiene las siguientes propiedades:
0 =0
𝑧 > 0, 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑧 ≠ 0
𝑧1 ∙ 𝑧2 = 𝑧1 ∙ 𝑧2
𝑧1 + 𝑧2 ≤ 𝑧1 + 𝑧2
𝑑 𝑧1 , 𝑧2 ) = (𝑥1 − 𝑥2 )2 + (𝑦1 − 𝑦2 )2
En términos de módulos: 𝑑 𝑧1 , 𝑧2 ) = 𝑧1 − 𝑧2
2
EL PLANO COMPLEJO AMPLIADO, COMPACTIFICICACIÓN DEL
PLANO COMPLEJO
El plano complejo ℂ no es un espacio topológico compacto. Para
“compactificar” el plano complejo introducimos el punto del infinito (∞). El
conjunto – plano complejo ampliado – será entonces:
ℂ = ℂ ∪ {∞}
3
Se establece una biyección entre los puntos de ℂ y la superficie esférica
anterior 𝕊. El punto z se denomina proyección estereográfica de P.
La esfera 𝕊 de Riemann tiene por ecuación:
𝜉 2 , 𝜂2 , 𝜁 2 − 𝜁 = 0
Se establece la relación entre un punto P = (𝜉, 𝜂, 𝜁) de la esfera de Riemann y un
punto z = (x,y) – proyección estereográfica de P –.
𝑥 𝑦 𝑥2 + 𝑦2
𝜉= ;𝜂= ;𝜁=
1 + 𝑥2 + 𝑦2 1 + 𝑥2 + 𝑦2 1 + 𝑥2 + 𝑦2
Se denomina distancia cordal entre dos puntos z1 y z2 del plano complejo
ampliado ℂ, a la distancia euclídea en ℝ3 entre los puntos P1 y P2
correspondientes de la esfera de Riemann.
Caso (A) f: ℝ ⟶ ℂ
t w = f(t)
Caso (B) f: ℂ ⟶ ℂ
t w = f(t)
CONTINUIDAD
La función w = f(z) de variable compleja se dice CONTINUA en el punto z 0
∈ ℂ si para todo número positivo 𝜀 > 0 existe un número positivo 𝛿 > 0, tal que si
|z – z0| < 𝛿, entonces |f(z) – f(z0)| < 𝜀.
Diremos que la función w = f(z) de variable compleja es UNIFORMEMENTE
CONTINUA en B c ℂ si dado 𝜀 > 0, podemos elegir 𝛿 > 0 tal que para cualquier
z0 ∈ B y cualquier z para el cual |z – z0| < 𝛿, entonces |f(z) – f(z0)| < 𝜀.
En este caso el límite se llama derivada de f en z0, y se representa por f’(z0) o por
𝑑𝑓
(𝑧0 ).
𝑑𝑥
1
En el caso z0 = ∞, se considera la función auxiliar g(z) = 𝑓 y se dice que f es
𝑧
derivable en ∞ si g es derivable en z = 0.
5
FUNCIÓN HOLOMORFA O FUNCIÓN ANALÍTICA
Una función 𝑓: 𝐴 → ℂ, A c ℂ abierto que es derivable en todo z0, se llamará
FUNCIÓN HOLOMORFA O FUNCIÓN ANALÍTICA.
𝑃′ 𝑧) = 𝑛 ∙ 𝑎𝑛 ∙ 𝑧 𝑛−1 + 𝑛 − 1) ∙ 𝑎𝑛−1 ∙ 𝑧 𝑛 −2 + ⋯ 𝑎1
Regla de la cadena:
Sean 𝑔: 𝐴 → ℂ, 𝑓: 𝐵 → ℂ , A, B c ℂ abiertos de tal manera que g(A) c B. Si la
función es derivable en z0 y la función f es derivable en w0 = g(z0), entonces la
función compuesta es derivable en z0, y se obtiene:
F’(z0) = f’(g(z0))∙g’(z0)
7
(Teorema de la función inversa). Sea 𝑓: 𝐴 → ℂ, 𝐴 ⊂ ℂ abierto, f analítica con derivada
continua en A. Sea z0 ∈ A tal que f’(z0) ≠ 0, entonces existen abiertos U que contiene a
f(z0) y V que contiene a f(z0) tales que la restricción de f a U es una biyección 𝑓: 𝑈 → 𝑉 y
la función inversa f–1es analítica en V. Además para todo z ∈ U se tiene:
1
𝑓 −1 )′ 𝑓 𝑧) =
𝑓 ′ (𝑧)
An = a0 + a1 + < + an
8
An = a0 + a1 + < + an
diremos que CONVERGE a A, si la sucesión 𝐴𝑛 𝑛∈ℕ de sumas parciales 𝑎𝑛 𝑛∈ℕ
converge a A.
Diremos también que A es el límite de 𝐴𝑛 𝑛∈ℕ y lo representamos por:
𝐴 = lim 𝐴𝑛 = lim (𝑎0 + 𝑎1 + ⋯ + 𝑎𝑛 ) = 𝑎0 + 𝑎1 + ⋯ + 𝑎𝑛
𝑛→∞ 𝑛→∞
9
CRITERIO DE LA MAYORANTE DE WEIERTRASS
∞
Una condición suficiente para que la serie de funciones 𝑛=1 𝑓𝑛 converja
uniformemente en un conjunto A ⊂ ℂ es que exista una serie numérica convergente
∞
𝑛=1 𝑎𝑛 tal que:
|fn(z)|≤ an, para todo z 𝜖 𝐴, n = 1, 2, 3<
∞ ∞
Se dice que la serie 𝑛=1 𝑎𝑛 es una mayorante de la serie de funciones 𝑛=1 𝑓𝑛 .
SERIES DE POTENCIAS
Se llaman series de potencias a las series funcionales de la forma:
∞
𝑎𝑛 𝑧 − 𝑧0 )𝑛 = 𝑎0 + 𝑎1 ∙ 𝑧 − 𝑧0 )2 + ⋯
𝑛=1
𝑎𝑛 𝑧 𝑛
𝑛=1
𝑎𝑛 𝑧 − 𝑧0 )𝑛
𝑛=1
Consideramos el número;
𝑛
𝜆 = lim sup 𝑎𝑛
𝑛⟶∞
1
Entonces si llamamos: 𝑅 = 𝜆
𝑓 𝑧) = 𝑎𝑛 𝑧 − 𝑧0 )𝑛
𝑛=0
11
FUNCIÓN UNIFORME: Será aquella que se corresponde en sentido estricto con el
concepto de función, es decir, que para cada valor de la variable z tenemos un único
valor w = f(z) de la función.
FUNCIÓN MULTIFORME: Será aquella que para cada valor de la variable z, la
función w = f(z) puede tomar diversos valores, pero de tal manera que si localmente
fijamos una elección de los posibles valores de w = f(z), entonces podemos trabajar con
dicha elección como si fuera una función uniforme.
Un procedimiento efectivo para el estudio de las funciones de variable compleja lo
proporciona la introducción de las superficies de Riemann, considerando varias copias
del plano complejo ℂ
12
𝑏
𝐼= 𝑓𝑑𝛾
𝑎
𝑓 𝑑𝑧
𝛾
𝑐1 𝑓1 + 𝑐2 𝑓2 ) 𝑑𝑧 = 𝑐1 𝑓1 𝑑𝑧 + 𝑐2 𝑓2 𝑑𝑧
𝛾 𝛾 𝛾
𝑓 𝑑𝑧 = − 𝑓 𝑑𝑧
𝛾1 𝛾2
13
𝑓 𝑑𝑧 = 𝑓 𝑑𝑧 + 𝑓 𝑑𝑧
𝛾1 ∪ 𝛾2 𝛾1 𝛾2
𝑓 𝑑𝑧 ≤ 𝑓 𝑑𝑧 ≤ 𝑀𝐿(𝛾)
𝛾 𝛾
lim 𝑓𝑛 𝑑𝑧 = 𝑓 𝑑𝑧
𝑛→∞ 𝛾 𝛾
𝑓𝑛 𝑑𝑧 = 𝐹 𝑑𝑧
𝑛=1 𝛾 𝛾
INTEGRALES Y PRIMITIVAS
Sea 𝑓: 𝐴 → ℂ, 𝐴 ⊂ ℂ un abierto y 𝛾: [𝑎, 𝑏] → ℂ, un camino de clase C1, 𝛾 ∗ ⊂ ℂ. Entonces si
F es una función primitiva de f, se tiene:
𝑓𝑑𝑧 = 𝐹 𝑧2 ) − 𝐹(𝑧1 )
𝛾
𝑓𝑑𝑧 = 𝑓𝑑𝑧
𝛾1 𝛾2
14
Con γ1 y γ2 ⊂ 𝐴.
En el caso particular en que A es un abierto convexo basta exigir la anulación de la
integral a lo largo de caminos de la forma γ = ∂T, con T un tri{ngulo arbitrario
contenido en A, para poder asegurar la existencia de primitiva de una función continua
f en A. Esta condición se llama condición triangular.
Una función continua 𝑓: 𝐴 → ℂ, con 𝐴 ⊂ ℂ abierto y convexo posee primitiva F en A si y
sólo si f verifica la condición triangular.
EL TEOREMA DE CAUCHY
Supongamos que f es analítica con derivada continua en un abierto A que contiene a
una curva cerrada γ, y su “interior”. Entonces:
𝑓𝑑𝑧 = 0
𝛾
𝑓𝑑𝑧 = 0
𝜕𝑇
𝑓𝑑𝑧 = 0
𝛾
15
Y mide el número de vueltas de γ respecto de α.
Si γ es un camino diferenciable cerrado del plano, α es un punto en el exterior del
camino γ, es decir γ ∉ α entonces:
i) Indγ (α) es un número entero.
ii) Indγ (α) es cero cuando α pertenece a la componente no acotada de ℂ\𝛾 ∗
𝑛! 𝑓(𝜁)
𝑓 𝑛) 𝛼) = ∙ 𝑑𝜁
2𝜋 ∙ 𝑖 𝜁 − 𝛼)𝑛+1
𝛾
16
Se llaman funciones enteras a las funciones analíticas f: ℂ → ℂ, es decir aquellas
funciones que son analíticas en todo ℂ.
TEOREMA DE LIOUVILLE
Si f es una función entera acotada, entonces f es constante.
Entonces:
lim 𝑓 ′ 𝑛 𝑧) = 𝑓 ′ 𝑧) 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑧 ∈ 𝐴
𝑛→∞
17
𝐼𝑥𝐼 ⟶ 𝐴
: 𝑑𝑜𝑛𝑑𝑒 𝐼 = [0,1]
𝑠, 𝑡) ⟶ (𝑠, 𝑡)
tal que:
0, 𝑡) = 𝛾0 (𝑡), 1, 𝑡) = 𝛾1 𝑡) 𝑝𝑎𝑟𝑎 𝑡 ∈ 𝐼
En el caso que 𝛾0, 𝛾1 tienen los mismos extremos entonces se exige adicionalmente que
los caminos intermedios 0, 𝑡) = 𝛾𝑠 𝑡), tengan también los mismos extremos, es decir:
𝑠, 0) = 𝛾0 0) = 𝛾1 0), 𝑠, 1) = 𝛾0 1) = 𝛾1 1) 𝑝𝑎𝑟𝑎 𝑠 ∈ 𝐼
Finalmente, si 𝛾0, 𝛾1 son cerrados, exigimos también que los 𝛾s sean cerrados; es decir,
𝑠, 0) = 𝑠, 1) 𝑝𝑎𝑟𝑎 𝑠 ∈ 𝐼
Un camino 𝛾 es homotópico a un punto z0 ∈ A, cuando 𝛾 es homotópico al camino
constante 𝛾𝑧0 cuya imagen se reduce a ese punto.
El hecho de que un camino cerrado simple 𝛾 es homotópico a un punto implica
intuitivamente que su “interior” ha de estar contenido en A.
𝑓𝑑𝑧 = 𝑓𝑑𝑧
𝛾0 𝛾1
HOMOLOGÍA
HOMOLOGÍA
Diremos que dos caminos cerrados 𝛾0 , 𝛾1 contenidos en el mismo abierto A son A –
homólogos cuando:
𝐼𝑛𝑑𝛾0 (𝛼) = 𝐼𝑛𝑑𝛾1 (𝛼)
Para todo 𝛼 ∉ 𝐴.
Teorema 6.2.1
Si 𝛾0 , 𝛾1 son dos caminos cerrados en 𝐴 ⊂ ℂ, A abierto, tales que 𝛾0 , 𝛾1 son dos caminos
A – homótopos, entonces son también A – homólogos. En particular, si 𝛾0 es homótopo
a un punto en A, entonces es A – homólogo a un punto; es decir, es A – homólogo a
cero.
18
TEOREMA GENERAL DE CAUCHY – VERSIÓN HOMOLÓGICA.
Sea 𝑓: 𝐴 ⟶ ℂ, A abierto una función analítica y sean 𝛾0 , 𝛾1 dos ciclos A – homólogos.,
entonces
𝑓𝑑𝑧 = 𝑓𝑑𝑧
𝛾0 𝛾1
𝑓𝑑𝑧 = 0
𝛾
Definición 6.3.2
Sea 𝐴 ⊂ ℂ un dominio, entonces las siguientes afirmaciones son equivalentes:
- A es simplemente conexo.
- Todo ciclo 𝛾 contenido en A es homológico a cero.
- ℂ\𝐴 es conexo donde ℂ es el plano ampliado.
19
𝐴′ = {𝑧|𝑟 < 𝑟′ ≤ 𝑧 − 𝛼 ≤ 𝑅′ < 𝑅}
1
𝑏𝑛 = 𝑓 𝜁) ∙ 𝜁 − 𝛼)𝑛+1 𝑑𝜁 , 𝑛 = 0,1 …
2𝜋𝑖 𝛾
20
Sea 𝑓: 𝐴 → ℂ analítica donde A es un dominio. Entonces el conjunto ℤ(𝑓) de ceros, o
bien coincide con A, o no tiene puntos de acumulación en A.
Si ℤ(𝑓) no tiene puntos de acumulación en A, entonces para cada 𝛼 ∈ A, existe un
número natural m, tal que:
𝑓 𝑧) = 𝑧 − 𝛼)𝑚 ⋅ 𝑔 𝑧), 𝑐𝑜𝑛 𝑔(𝑧) ≠ 0
Para todo z ∈ A, donde g es una función analítica en A.
TEOREMA 7.2.1
Sea 𝛼 una singularidad aislada de la función f en 𝐴 ⊂ ℂ abierto, y supongamos que la
función f es acotada en un círculo perforado 𝐵∗ 𝛼, 𝑟) = {𝑧|0 < 𝑧 − 𝛼 < 𝑟} contenido en
A\{ 𝛼}. Entonces la función tiene una singularidad evitable en 𝛼.
21
iii) Para todo r > 0 tal que B(𝛼,r)⊂A la imagen por f del círculo perforado
B*(𝛼,r)⊂A es densa en ℂ. Se dice que f tiene una singularidad esencial en 𝛼.
DEFINICIÓN 7.2.2
Sea A ⊂ ℂ un abierto del plano ampliado y f analítica en A\{∞}. Se dice que la función f
tiene en ∞ una singularidad evitable, un polo de orden m o una singularidad esencial,
si la función 𝜑: B→ℂ
1 1
Definida por: 𝜑(z) = 𝑓 z
, donde B = {z|z ∈ ℂ, 𝑧 ∈ A}
TEOREMA 7.2.3
Los siguientes casos excluyentes pueden ocurrir respecto al comportamiento en torno
al ∞, cuando ∞ es una singularidad aislada para una función analítica f,
i) f tiene una singularidad evitable en ∞. Esto ocurre si y sólo si existe un
entorno perforado de ∞, es decir, si existe r > 0, tal que f está acotada en
{z||z|>r}.
ii) f tiene un polo de orden m en ∞, si existe r > 0 y un polinomio de orden m
am∙zm + < + a1∙z, am ≠ 0,
tal que la función f(z) – am∙zm – < – a1∙z está acotada en {z||z|>r}
iii) f tiene una singularidad esencial si para todo r suficientemente grande la
imagen por f de {z||z|>r} es densa en ℂ.
DEFINICIÓN 7.3.1
Una función f(z) tiene un polo en 𝛼 ∈ ℂ si y sólo si existe un entero m > 0 y un entorno
U de 𝛼, contenido en el dominio A de definición de f tal que la función
g(z) = f(z) (z – 𝛼)m
es analítica en U y g(𝛼)≠0. Diremos que m es el orden del polo.
22
TEOREMA 7.3.2
Si la función f(z) es analítica en el abierto 𝐴 ⊂ ℂ y si f(z) tiene un cero de orden m en 𝛼
1
∈ 𝐴, entonces la función 𝑔 𝑧) = tiene un polo de orden m en 𝛼. Recíprocamente si
𝑓(𝑧)
1
f(z) tiene un polo de orden m en 𝛼, entonces la función 𝑔 𝑧) = 𝑓(𝑧)
, es analítica en un
entorno de 𝛼 y tiene un cero de orden m en 𝛼.
PROPOSICIÓN 7.5.1
Toda función analítica 𝑓: 𝐴 → ℂ, 𝐴 ⊂ ℂ, abierto tiene la propiedad de la media.
23
LEMA 7.6.1 (LEMA DE SCHWARZ)
Sea 𝑓: 𝐵(0,1) → 𝐵(0,1) una función analítica del círculo unidad en sí mismo, es decir
|𝑓(𝑧)| < 1, para todo z ∈ B(0,1), tal que 𝑓(0) = 0. Entonces se tiene 𝑓 𝑧) ≤ 𝑧 para todo z
∈ B(0,1) y 𝑓′ 0) ≤ 1. Además si para un z0 ∈ B(0,1), z0 ≠ 0, se tiene 𝑓 𝑧0 ) ≤ |𝑧0 |, o si
se verifica 𝑓′ 0) = 1, entonces 𝑓 𝑧) = 𝑐𝑧, donde 𝑐 = 1.
INTEGRALES DE LA FORMA
𝟐𝝅
𝟎
𝑹 𝒙)𝒅𝒙, 𝑫𝑶𝑵𝑫𝑬 𝑹 𝑬𝑺 𝑼𝑵𝑨 𝑭𝑼𝑵𝑪𝑰Ó𝑵 𝑹𝑨𝑪𝑰𝑶𝑵𝑨𝑳
Consideremos dos condiciones:
- Ausencia de singularidades en el eje real.
- lim𝑟→∞ 𝑟 max 𝑧 =𝑟 |𝑅(𝑧)| = 0
24
𝑃(𝑥)
La segunda condición se cumple cuando, considerando 𝑅 𝑥) = , el denominador
𝑄(𝑥)
(Q(x)) es, al menos, dos unidades superior al orden de P(x).
Considerando únicamente los polos que se encuentran en el semiplano positivo (H +),
resolveremos la integral de acuerdo a la expresión:
+∞ 𝑟
∞
INTEGRALES DE LA FORMA −∞
𝑹 𝒙)𝒆𝒊𝒂𝒙 𝒅𝒙
Consideremos dos condiciones:
- Ausencia de singularidades en el eje real.
- lim𝑟→∞ 𝑟 max 𝑧 =𝑟 |𝑅(𝑧)| = 0
Simultáneamente:
+∞ +∞
𝑅 𝑥)cos
(𝑎𝑥)𝑑𝑥 = 𝑅𝑒 𝑅 𝑥) ∙ eiax 𝑑𝑥 = 𝑅𝑒{𝑅𝑒𝑠 𝑓 𝑧), 𝛼)}
−∞ −∞
+∞ +∞
𝑅 𝑥)cos
(𝑎𝑥)𝑑𝑥 = 𝑅𝑒 𝑅 𝑥) ∙ eiax 𝑑𝑥 = 𝐼𝑚{𝑅𝑒𝑠 𝑓 𝑧), 𝛼)}
−∞ −∞
Nota
Si a > 0
∞ 𝑟
Si a < 0
∞ 𝑟
25
TEMA 9. TRANSFORMACIÓN
CONFORME
TRANSFORMACIONES FRACIONARIAS LINEALES O DE MÖBIUS
Llamaremos transformaciones fraccionarias lineales o transformaciones de Möbius a
las transformaciones del plano complejo ampliado, o esfera de Riemann, sobre sí
mismo de la forma:
𝑎𝑧 + 𝑏
𝑤 = 𝜑 𝑧) = ; 𝑑𝑜𝑛𝑑𝑒 𝑎, 𝑏, 𝑐, 𝑑 𝑠𝑜𝑛 𝑛ú𝑚𝑒𝑟𝑜𝑠 𝑐𝑜𝑚𝑝𝑙𝑒𝑗𝑜𝑠 𝑡𝑎𝑙𝑒𝑠 𝑞𝑢𝑒 𝑎𝑑 − 𝑏𝑐 ≠ 0
𝑐𝑧 + 𝑑
Despejando de la definición:
−𝑑𝑧 + 𝑏
𝑧 = 𝜑−1 𝑤) =
𝑐𝑧 − 𝑎
Casos particulares de la transformación lineal o de Möbius son:
- Traslaciones del plano: 𝑤 = 𝜑 𝑧) = 𝑧 + 𝑏
- Homotecias de centro origen: 𝑤 = 𝜑 𝑧) = 𝑎 ∙ 𝑧, 𝑎 ∈ ℝ
- Giros alrededor del origen: 𝑤 = 𝜑 𝑧) = 𝑎 ∙ 𝑧, 𝑎 = 1
- Inversión respecto de una circunferencia unidad seguida de simetría respecto al
1
eje x: 𝑤 = 𝜑 𝑧) = 𝑧
26
Un caso particular de esta transformación corresponde a las variables: 𝜃 = 0 𝑦 𝛼 = 𝑖
𝑧−𝑖
𝑤=
𝑧+𝑖
La transformación inversa será:
𝑤+1
𝑧 = −𝑖 ∙
𝑤−1
PROPOSICIÓN 9.3.2
Transformación de Möbius que transforman el círculo unidad D(0,1) = {z||z|<1} sobre
sí mismo, son aquellas de la forma:
𝑧−𝛼
𝑤 = 𝑒 𝑖𝜃 ∙ , 𝑑𝑜𝑛𝑑𝑒 𝛼 < 1 𝑦 𝜃𝜖[0,2𝜋]
1 − 𝛼𝑧
27
La transformación de Riemann 𝑓: 𝑃 → 𝐷 0,1) se obtendrá como composición 𝑓1 ∘ 𝑓2
donde 𝑓1 es la transformación de Möbius descrita anteriormente transformando H+
sobre D(0,1) y 𝑓2 será la transformación inversa de la transformación de Schwarz –
Christoffel que transforma P sobre H+.
28