Variable Compleja II

2023-2
TAREA 3
Francisco
Zenón
Monroy López Viktor Arseni
1. Determine si las siguientes afirmaciones son verdaderas o falsas:

a) Sea Γ una curva cerrada simple en C. Si una función analı́tica

en intΓ excepto en singularidades aisladas en intΓ entonces f no
puede tener infinitas singularidades en intΓ.
b) Si f es analı́tica en C excepto en un número finito de puntos
z1 , z1 , ..., zm contenidos en el interior de una curva cerrada simple
Γ, entonces:
Z
f (z)
2
dz = 2πiRes(f, ∞)
Γ z

c) Sea R > 0 entonces:

Z π
π
e−Rsin(t) dt <
0 R

Respuesta:

a) Verdadero:
Lo de demostraremos por contradicción. Sea Γ una curva cerra-
da simple en C y supongamos que existe una función analı́tica
en intΓ excepto en singularidades aisladas tal que tiene infinitas
singularidades en intΓ. Como hay infinitas singularidades de f ,
existe un subconjunto A numerable de singularidades de la fun-
ción f . Como es numerable, existe una biyección entre el conjunto
A y el conjunto C. Por lo tanto hay una función g : N → A ⊂ C,
es decir una sucesión {an }n∈N tal que an es una singularidad de f
para toda n ∈ N. Como es una sucesión contenida en intΓ ⊂ intΓ

1
 entonces existe una subsucesión convergente en intΓ. Supongamos
sin perdida de generalidad que converge a z0 ∈ intΓ.
Pero f no puede ser analı́tica en z0 ya que ∀ϵ > 0 existe N ∈ N
tal que an ∈ B(z0 , ϵ), ∀n > N . Entonces z0 es una singularidad de
f . Pero z0 no es una singularidad aislada (ya que es punto limite
del conjunto A). Lo cual es contradicción ya que f es analı́tica en
todo intΓ salvo en singularidades aisladas. Por lo tanto no puede
tener infinitas singularidades en intΓ.
b) Falso.
1
Sea f (z) = ez . Nos fijamos en g(z) = f z1 = e z en z = 0. La serie


z −n
de Laurent de g(z) en cero es ∞
P
n=0 n! . Por lo que Res(g, 0 = 1,
es decir que Res(f, ∞) = 1. Como f (z) = ez es analı́tica en C
entonces no tiene singularidades en C. Sea Γ = ∂(B(1023 , 1)). Es
fácil ver que 0 ∈/ B(1023 , 1).R Como ez es analı́tica en C y z12 es
z
analı́tica en C\{0} entonces Γ ze2 dz = 0
c) Verdadero
Para θ ∈ [0, π2 ] se cumple que sinθ ≥ 2θ
π
, entonces:
2θ 2Rθ 2Rθ 2Rθ
sinθ ≥ =⇒ Rsinθ ≥ =⇒ −sinθ ≤ − =⇒ e−Rsinθ ≤ e− π
π π π
Z π Z π Z −R
2 2 2Rθ π π π
e−Rsinθ dθ ≤ e− π dθ = − eu du = 1 − e−R ≤


=⇒
0 0 2R 0 2R 2R
Como sinθ es simétrica respecto a la lı́nea θ = π2 en el intervalo
[0, π] entonces se cumple:
Z π Z π
−Rsinθ
2 π π
e dθ = 2 e−Rsinθ dθ ≤ 2 =
0 0 2R R
2. Sean α ̸= ±1. Use residuos para calcular:
Z 2π
1 2π
2
dt = 2
0 1 − 2αcos(t) + α |α − 1|

3. Sea 0 < s < 1. Demuestre que la siguiente integral converge y use

residuos para calcular el valor exacto
Z ∞ s−1
x
dx
0 x+1

2
Respuesta:

∞ 1 ∞
xs−1 xs−1 xs−1
Z Z Z
dx = dx + dx
0 x+1 0 x+1 1 x+1
Nos fiamos en la primera integral. Como x ≥ =⇒ x + 1 > 1, entonces:
Z 1 s−1 Z 1
x xs 1 1
dx ≤ xs−1 dx =  =
0 x+1 0 s 0 s
Fijandonos en la segunda integral tenemos que:
Z ∞ s−1 Z ∞ s−1 Z ∞  
x x s−2 1 b 1 1
dx ≤ dx = x dx = lı́m  = lı́m −1 =

1 x+1 1 x 1 b→∞ (s − 1)x1−s 1 b→∞ s − 1 b1−s 1
Por lo tanto, la integral esta acotada, ya que:
Z ∞ s−1 Z 1 s−1 Z ∞ s−1
x x x 1 1
dx = dx + dx ≤ +
0 x+1 0 x+1 1 x+1 s 1−s
y por lo tanto la integral impropia converge.

∞ ∞
z s−1 e(s−1)Ln0 (z)
Z Z
dz = dz
0 z+1 0 z+1
Definimos la trayectoria Γ como la curva descrita en el diagrama de
s−1
la figura 1. f (z) = zz+1 es analı́tica en intΓ\{−1, 0}. Por otro lado se
tiene que:
Z Z Z Z Z
f (z)dz = f (z)dz + f (z)dz + f (z)dz + f (z)dz
Γ l1 CR l2 Cr

Por teorema del residuo se tiene que:

Z
f (z)dz = 2πiRes(f, −1)
Γ
s−1
z
Res(f, −1) = lı́m (z + 1) = lı́m z s−1 = (−1)s−1
z→−1 z + 1Z z→−1
=⇒ f (z)dz = 2πi(−1)s−1
Z Z ZΓ Z
s−1
=⇒ 2πi(−1) = f (z)dz + f (z)dz + f (z)dz + f (z)dz
l1 CR l2 Cr

3
 Figura 1: Esquema de la trayectoria Γ

Ahora calculamos la integral sobre l1 . Hacemos el cambio de variable

z = teiη y por lo tanto dz = eiη dt
R s−1 R s−1 iη(s−1) R
(teiη ) ts−1
Z Z Z Z
t e
f (z)dz = iη
eiη dz = iη
e dz = e isη
dz
l1 r te + 1 r teiη + 1 r teiη + 1
s−1
h1 (η, t) = eisη tetiη +1 es uniformemente continua en el cuadro [0, 2π]x[r, R].
Por lo tanto:

Figura 2: Esquema de la trayectoria l1

4
 R R
ts−1 ts−1
Z Z Z
isη
lı́m f (z) = lı́m e dz = dz
η→0 l1 η→0 r teiη + 1 r t+1

Ahora calculamos la integral sobre l2 . Hacemos el cambio de variable

z = tei(2π−η) y por lo tanto dz = ei(2π−η) dt con r ≤ t ≤ R

s−1
tei(2π−η)
Z Z Z R
f (z)dz = f (z)dz = − iη + 1
ei(2π−η) dt
l2 −l2 r te
Z R s−1 i(2π−η)(s−1) Z R
t e i(2π−η) is(2π−η) ts−1
=− e dt = −e dt
r tei(2π−η) + 1 r te
i(2π−η) + 1

Usando un argumento similar al caso anterior se llega a que:

Figura 3: Esquema de la trayectoria l2

R R
ts−1 ts−1
Z Z Z
is(2π−η) 2πis
lı́m f (z) = lı́m e dz = e dz
η→0 l2 η→0 r tei(2π−η) + 1 r t+1

Calculando la integral sobre Cr se tiene que:

 Z  s−1 
rs−1 rs−1
Z Z Z
  z 
 f (z)dz  ≤
 
 |dz| ≤
 |dz| ≤ |dz|
Cr z + 1 Cr 1 − r 1 − r Cr
 
Cr
rs−1 2πrs π
= 2πr = , ∀η ∈ [0, )
1−r 1−r 10

5
 s
Tomando el limite cuando r → 0se llega a lı́mr→0 2πr
1−r
= 2π0
1
= 0, por
R R
lo que 0 ≤ lı́mr→0  Cr f (z)dz  ≤ 0 =⇒ lı́mr→0 Cr f (z)dz = 0
 

Calculando la integral sobre CR se tiene que:

 Z  s−1 
|z s−1 | Rs−1
Z Z Z
  z 
 f (z)dz  ≤
 
 |dz| ≤
 |dz| ≤ |dz| ≤
CR z + 1 CR |z| − 1 CR R − 1
 
CR
Rs−1 Rs−1 2πRs
Z
π
|dz| = 2πR = , ∀η ∈ [0, )
R − 1 CR R−1 R−1 10
s s−1
Tomando el limite cuando R → 0se llega a lı́mR→∞ 2πR
R−1
= lı́mR→∞ 2πR 1
1− R
=,
R  R
por lo que 0 ≤ lı́mr→0  Cr f (z)dz  ≤ 0 =⇒ lı́mr→0 Cr f (z)dz = 0
 

4. Calcule la transformada inversa de Fourier de la función:

a2 − ω 2
fˆ =
iω(a + iω)2

donde a es una constante positiva.

5. Calcule el valor principal de la integral

Z ∞
sin2 θ
2
dθ
−∞ θ