Universidad Técnica Federico Santa María

Departamento de Electrónica
IPD410 – Métodos Matemáticos en Control Automático
1er Semestre 2019

TAREA Nº 1.

Nicolás Mayorga
201221012-7

5 de agosto de 2019

1
IPD410 - Métodos Matemáticos en Control Automático Tarea 1

1. Problema 1.1
Usando las definiciones de transformada de Laplace y transformada de Laplace Inversa, demuestre
que
e−s
f (t) = L −1 {F (s)} = e−(t−1) µ(t − 1) ⇐⇒ F (s) = L {f (t)} =
s+1
Por definición, la transformada de Laplace se calcula utilizando la fórmula
Z ∞
F (s) = L {f (t)} = e−st f (t)dt ,t ≥ 0
0

Luego, reemplazando f (t) se obtiene

Z ∞
F (s) = e−st · e−(t−1) µ(t − 1)dt
0

Dado que la función µ(t) corresponde a la función de escalón unitario la función f (t) tiene un
escalón unitario desplazado por lo tanto para t ≥ 1 f (t) = e−(t−1) y para t < 1 f (t) = 0. Luego
Z ∞ Z ∞ Z ∞
−st −(t−1) −t(s+1)+1
F (s) = e ·e dt = e dt = e e−t(s+1) dt
1 1 1

Resolviendo la integral impropia de primera especie

e−t(s+1) b
 −b(s+1)
e−(s+1)
 −(s+1) 
e−s
 
e e
F (s) = e · lı́m − = e lı́m − + = e · =
(s + 1) 1 (s + 1) (s + 1) (s + 1) (s + 1)

b→∞ b→∞

QED.

Por definición, la transformada de Laplace inversa se calcula utilizando la fórmula

Z γ+j∞
1
f (t) = L {F (s)} =
−1
est F (s)ds
2πj γ−j∞

Reemplazando, la integral a calcular corresponde a:

γ+j∞
es(t−1)
Z
1
f (t) = L −1
{F (s)} = ds
2πj γ−j∞ s+1

donde la integración se realiza a lo largo de la línea vertical Re(s) = γ en el plano complejo

tal que γ es mayor que la parte real de todas las singularidades de F (s). Por literatura esta
integral se puede calcular como una integral de línea dada por
Z γ+j∞ s(t−1) I s(t−1)
1 e 1 e
f (t) = L {F (s)} =
−1
ds = ds
2πj γ−j∞ s + 1 2πj C s + 1

Dado esto analizando la función F (s) se observa que la singularidad se encuentra en el polo
simple s = −1. Luego se elige cualquier γ > −1.

2
IPD410 - Métodos Matemáticos en Control Automático Tarea 1

Figura 1: Posibles terminaciones de contorno para la ruta de integración L a utilizar en la

integral de Bromwich.

En la figura 1 se observa un esquema que permite calcular la integral de la transformada de

Laplace inversa a partir de la integral de línea antes descrita considerando que R → ∞ , donde
s1 es la singularidad en s = −1. Podemos ver que tenemos dos caminos posibles para calcular
la integral, el camino de la curva C1 =L+Γ1 y el camino de la curva C2 = L+Γ2 . Como se puede
ver C2 no encierra ninguna singularidad por lo que la integral es cero dado que la función es
analítica en el dominio encerrado por esta curva. Por lo tanto se debe calcular la integral en la
curva C1 utilizando el teorema de los residuos el cual indica que:
es(t−1)
 s(t−1) 
es(t−1)
I
e
ds = 2πj · Res = 2πj lı́m · (s + 1) = 2πje−(t−1)
C1 s + 1 s=−1 s+1 s→−1 s+1
es(t−1)
Adicionalmente se debe analizar el valor de la expresión s+1
para los valores de t en la cual
tendremos dos casos:
• Caso 1: t < 1
En este caso tenemos la expresión es(t−1) que corresponde a
A = es(t−1) = e(t−1)Re{s} · e(t−1)Im{s}
Dado que |e(t−1)Im{s} | = 1 en el infinito el comportamiento de la expresión A sólo depende
de la parte real de s (Re{s}) por lo tanto si
Re{s} → ∞ =⇒ e(t−1)Re{s} → 0
Al mismo tiempo en que (s + 1) → ∞ por lo tanto
es(t−1)
→0
s+1
• Caso 2: t > 1
Para este caso si
Re{s} → −∞ =⇒ e(t−1)Re{s} → 0
Por lo que
es(t−1)
→0
s+1

3
IPD410 - Métodos Matemáticos en Control Automático Tarea 1

Dado este análisis como utilizaremos la curva C1 (para R → ∞) la parte real de s tenderá sólo
s(t−1)
hacia −∞ por lo que e s+1 converge sólo para t > 1. Finalmente
Z γ+j∞ s(t−1)
es(t−1)
I
1 e 1
f (t) = L {F (s)} =
−1
ds = ds
2πj γ−j∞ s + 1 2πj C1 s + 1
 s(t−1) 
1 e
= Res
2πj s=−1 s + 1
1
= · 2πje−(t−1)
2πj
= e−(t−1) ∀ t > 1
= e−(t−1) µ(t − 1)

2. Problema 1.2
z k (z+2)
Sea k ∈ Z y f (z) = (z−1)
una función de la variable compleja z ∈ C.
1. Determine los puntos del plano complejo extendido en que f (z) es analítica.

El plano complejo extendido Ce define un punto más que plano complejo C, este punto corres-
ponde a z = ∞. Luego:
Ce = C ∪ {∞}
Al agregar este punto se crea una función en que todo punto de C le corresponde un punto en
la esfera Riemann, en el cual el punto infinito corresponde al polo norte de dicha esfera.
Para que una función sea analítica se debe cumplir que:
f (z) es analítica en z = z0 ⇐⇒ f (z) es diferenciable en B (z0 ) (1)

Para que la función sea diferenciable en z0 debe ser continua y debe existir su derivada en ese
punto z0 (f 0 (z0 ) existe). Para demostrar continuidad de la función f (z) en el plano complejo
C, se debe recordar lo siguiente:

f (z) es continua en z = z0 ⇐⇒ lı́m f (z) = f (z0 ) (2)

z→z0

Dicho lo anterior primero se analiza el dominio de f (z) en el plano complejo

z k (z + 2)
f (z) =
(z − 1)
Dado que existe un z k se debe analizar para que valores de k la función f (z) no queda inde-
terminada. Luego el dominio Domf (z) corresponde a
(
C − {1, ∞} si k ≥ 0
Domf (z) =
C − {0, 1, ∞} si k < 0
Dado que tenemos los puntos donde no está definida f (z) en el plano complejo se calculan los
límites en dichos puntos (0, 1, ∞) de la siguiente manera:

4
IPD410 - Métodos Matemáticos en Control Automático Tarea 1

lı́mz→0 f (z) en función de k

2
lı́m f (z) = =∞ ,k < 0
z→0 0
lı́m f (z) = −2 ,k = 0
z→0
lı́m f (z) = 0 ,k > 0
z→0

lı́mz→1 f (z) en función de k

3
lı́m f (z) = =∞ ,∀ k
z→1 0
lı́mz→∞ f (z) en función de k
lı́m f (z) = 0 ,k < 0
z→∞
lı́m f (z) = 1 ,k = 0
z→∞
lı́m f (z) = ∞ ,k > 0
z→∞

Dado que f (z) corresponde a una multiplicación y división de polinomios que son funciones
diferenciables en todo el dominio Domf (z) implica por la ecuación (1) que la función es analítica
en dicho dominio.
Es importante mencionar que si bien en el plano complejo extendido se puede evaluar f (∞),
no está definida la forma de operar con el número ∞ (al menos no se vió en clases) por lo que
en este caso no da un valor exacto al evaluarlo en f (z). Considerando esto en el caso del plano
complejo extendido es analítica en el mismo dominio Domf (z) .

Adicionalmente, los puntos donde la función no es analítica están dados por singularidades
aisladas de tipo removibles y polos. Para el caso de las singularidades removibles es posible ob-
tener una función parchada g(z) que sea continua y analítica en dichas singularidades y además
sea igual a f (z) ∀ z distinto a la singularidad. Las singularidades del tipo polo corresponde a
la singularidad z = 1 ∀ k y z = 0 para k < 0.
2. Determine los residuos de f (z) en sus polos y en z = ∞.

Como se dijo anteriormente f (z) tiene sólo dos polos que corresponden a la singularidad z = 1
∀ k y z = 0 para k < 0. Luego se calcularán los residuos de cada caso de la siguiente forma:
Residuo polo z = 1 ∀ k.

Dado que este polo corresponde a un polo simple de f (z) el residuo se calcula de la
siguiente forma:
Res(f (z)) = lı́m f (z)(z − z0 ) (3)
z=z0 z→z0

Luego, reemplazando z0 = 1
z k (z + 2)
Res(f (z)) = lı́m · (z − 1) = lı́m z k (z + 2) = 3
z=1 z→1 (z − 1) z→1

Por lo tanto el Res(f (z)) = 3 ∀ k.

z=1

5
IPD410 - Métodos Matemáticos en Control Automático Tarea 1

Residuo polo z = 0 para k < 0.

En este caso tenemos dos tipos de polos dependiendo del valor de k.

• Para k = −1 se tiene un polo simple en z = 0, por lo tanto se utiliza la fórmula (3)
utilizada anteriormente pero con z0 = 0, luego el residuo queda determinado por

(z + 2) (z + 2)
Res(f (z)) = lı́m · (z) = lı́m = −2
z=0 z→1 z(z − 1) z→0 (z − 1)

Por lo tanto el Res(f (z)) = −2 para el caso particular de k = −1.

z=0
• Para k < −1 se tiene un polo con multiplicidad m donde m = −k por lo tanto el
residuo se calcula de la siguiente forma:

1 dm−1
Res(f (z)) = lı́m · m−1 [f (z)(z − z0 )m ]
z=z0 z→z0 (m − 1)! dz
con z0 = 0
1 dm−1
Res(f (z)) = lı́m · [z m f (z)]
z=0 z→0 (m − 1)! dz m−1
dm−1
 
1 z+2
= lı́m · m−1
z→0 (m − 1)! dz z−1

Para determinar el residuo de este polo en primer lugar se debe encontrar una expre-
sión para la derivada m-ésima, de la siguiente manera:
 
d z+2 −3
=
dz z − 1 (z − 1)2
d2 z + 2
 
6
=
dz 2 z − 1 (z − 1)3
d3 z + 2
 
−18
3
=
dz z − 1 (z − 1)4
d4 z + 2
 
72
4
=
dz z − 1 (z − 1)5
d5 z + 2
 
−360
5
=
dz z − 1 (z − 1)6
.... = ....
dm z + 2
 
3m!
m
= (−1)m
dz z−1 (z − 1)m+1
dm−1
Teniendo la expresión para la m-esima derivada se puede obtener la derivada dz m−1

dm−1 z + 2
 
3(m − 1)!
m−1
= (−1)m−1
dz z−1 (z − 1)m

6
IPD410 - Métodos Matemáticos en Control Automático Tarea 1

Luego el residuo corresponde a

dm−1 z + 2
 
1
Res(f (z)) = lı́m ·
z=0 z→0 (m − 1)! dz m−1 z − 1

1 3(m − 1)!
= lı́m · (−1)m−1
z→0 (m − 1)! (z − 1)m
3
= lı́m (−1)m−1 = −3
z→0 (z − 1)m

Finalmente el residuo Res queda definido como

z=0

 −3 si k < −1

Res = −2 si k = −1
z=0 
 0 si k ≥ 0

Residuo en z = ∞.

Para obtener el residuo en z = ∞ se utiliza la siguiente definición ya que f(z) es analítica

en todo C excepto en un número finito de singularidades aisladas z1 ...zN

N
X
Res f (z) = − Resf (z)
z=∞ z=zl
l=1

En este caso
n
X
Res f (z) = − Resf (z)
z=∞ z=zl
l=1
= −Resf (z) − Resf (z)
z=0 z=1

Luego el residuo en infinito depende de la variable k debido a que el residuos en z = 0

depende de que valores tome k. Finalmente el residuo en z = ∞ queda definido por la
siguiente ecuación: 
 0 si k < −1

Res = −1 si k = −1
z=∞ 
 −3 si k ≥ 0

3. Calcule la integral I
I= f (z)dz
γR

en que γR es un círculo de radio R > 0.

Para calcular esta integral se utiliza el teorema de los residuos el cual dice lo siguiente:

7
IPD410 - Métodos Matemáticos en Control Automático Tarea 1

Sea C una curva cerrada, simple, suave a trozos y orientada positivamente. Sea f (z) analítica
sobre C y también en su interior salvo por un conjunto finito de puntos singulares aislados
(interiores a C), z1 , . . . , zn . Entonces
I n
X
f (z)dz = 2πj Resf (z) (4)
C z=zl
l=1

En este caso se cumple el teorema ya que la función es analítica en el dominio Domf (z) men-
cionado en el punto 1 y la curva γR es un círculo por lo que es cerrada, simple, suave a trozos
y orientada positivamente. Sin embargo, como γR es un circulo de radio R > 0 y asumiendo
que esta centrada en el origen el valor de R puede encerrar o no una o todas las singularidades.
Luego se deben analizar 3 casos de R:

Caso γR con radio 0 > R < 1:

En este caso la curva γR sólo encierra la singularidad en cero (z = 0) por lo que su integral
I se puede calcular por el teorema de los residuos como
I
I = f (z)dz = 2πj · Resf (z)
γ z=0

Luego la integral I para 0 > R < 1 corresponde a:


 −6πj si k < −1

I= −4πj si k = −1

 0 si k ≥ 0

Caso γR con radio R = 1:

En este caso no se puede utilizar el teorema de los residuos para calcular la integral, ya
que la curva γR no encierra la singularidad z = 1, sino que pasa por ella y además esta
singularidad no es parte del dominio de f (z). De esta manera la integral no converge.
Caso γR con radio R > 1:

En este caso la curva γR encierra las singularidades z = 0 y z = 1 por lo que su integral

I se puede calcular por el teorema de los residuos como
I h i
I = f (z)dz = 2πj · Resf (z) + Resf (z)
γ z=0 z=1

Luego la integral I para R > 1 corresponde a:


 0
 si k < −1
I= 2πj si k = −1

 6πj si k ≥ 0

8
IPD410 - Métodos Matemáticos en Control Automático Tarea 1

3. Problema 1.3
Considere el conjunto H de las funciones H(z) racionales y con coeficientes reales de una variable
compleja z ∈ C. Se define el producto interno como:
h., .i : H xH −→ C
I
1
(H1 (z), H2 (z)) −→ hH1 (z), H2 (z)i = H1 (z)H2 (z −1 )z −1 dz
2πj |z|=1
Considere además las dos secuencias h1 [k] = a−k y h2 [k] = ak en que 0 < a < 1 y k ∈ Z+
0 y sus
respectivas transformadas Z , es decir, H1 (z) y H2 (z).
1. Determine H1 (z), H2 (z) y sus respectivas regiones de convergencia.

Se define la transformada Z como

∞
X
H(z) = Z {h[k]} = h[k]z −k (5)
k=0

Luego se realiza el cálculo de H1 (z) y H2 (z) de la siguiente manera.

Cálculo de H1 (z) y su región de convergencia.

Utilizando la expresión de la transformada Z mostrada en la ecuación (5) para h1 [k] = a−k

queda
∞
X
H1 (z) = Z {h1 [k]} = h1 [k]z −k
k=0
∞
X
= a−k z −k
k=0
∞
X
= (az)−k
k=0
∞  k
X 1
=
k=0
az

La serie obtenida corresponde a una serie geométrica ∞ k=0 r la cual converge a

k 1
para
P
1−r
|r| < 1. Luego con r = az1
la serie converge a

∞  k
X 1 1
H1 (z) = Z {h1 [k]} = = 1


k=0
az 1 − az

con una región de convergencia dada por

 
1
|r| < 1 =⇒   < 1
az
1
=⇒ |z| > con z ∈ C
a

9
IPD410 - Métodos Matemáticos en Control Automático Tarea 1

Por lo tanto
1 az 1
H1 (z) = 1

= , |z| > con z ∈ C
1− az
az − 1 a
Cálculo de H2 (z) y su región de convergencia.

Al igual que para H2 (z) se utiliza la expresión de la transformada Z mostrada en la

ecuación (5) pero en este caso para h2 [k] = ak , luego
∞
X
H2 (z) = Z {h2 [k]} = h2 [k]z −k
k=0
X∞
= ak z −k
k=0
∞ 
X a k
=
k=0
z

P∞
Al igual que en el caso anterior se llega

a una serie geométrica k=0 rk la cual converge
a 1−r
1
para |r| < 1. Luego con r = az la serie converge a
∞  
X a k 1
H2 (z) = Z {h2 [k]} = =
1 − az


k=0
z

con una región de convergencia dada por

a
|r| < 1 =⇒   < 1
 
z
=⇒ |z| > a con z ∈ C

Por lo tanto
1 z
H2 (z) = a

= , |z| > a con z ∈ C
1− z z−a

2. Si se define G1 (ejθ ) = H1 (z)|z=ejθ y G2 (ejθ ) = H2 (z)|z=ejθ , determine su transformada de

Fourier de tiempo discreto inversa, es decir
Z π
1
gl [k] = Gl (ejθ )ejkθ dθ l = 1, 2
2π −π
y comparelas con las secuencias originales hl [k] respectivas.

Del punto anterior tenemos que

∞  k
X 1 1 az 1
H1 (z) = = 1

= , |z| > con z ∈ C
k=0
az 1 − az
az − 1 a
∞  
X a k 1 z
H2 (z) = = a

= , |z| > a con z ∈ C
k=0
z 1− z z−a

10
IPD410 - Métodos Matemáticos en Control Automático Tarea 1

Luego
∞  m
X 1 aejθm
jθ
G1 (e ) = H1 (z)|z=ejθ = · e−jθm =
m=0
a aejθm − 1
∞
X ejθm
G2 (ejθ ) = H2 (z)|z=ejθ = am · e−jθm =
m=0
ejθm − a

Utilizando las sumatorias de estas expresiones se calculan las transformadas inversas de fourier
en tiempo discreto para G1 (ejθ y G2 (ejθ .
Z π Z π "X ∞  m
#
1 jθ jkθ 1 1 −jθm
g1 [k] = G1 (e )e dθ = ·e · ejkθ dθ
2π −π 2π −π m=0 a
∞  m Z π
1 X 1
= · e−jθm · ejkθ dθ
2π m=0 a −π
∞  m Z π
1 X 1
= · ejθ(k−m) dθ
2π m=0 a −π
∞ m jπ(k−m)
− e−jπ(k−m)
 
1 X 1 e
= ·
2π m=0 a j(k − m)
∞  m
1 X 1 2sen(π(k − m))
= ·
2π m=0 a (k − m)

" ∞
#
Z π Z π
1 1 X
g2 [k] = G2 (ejθ )ejkθ dθ = am · e−jθm · ejkθ dθ
2π −π 2π −π m=0
∞ Z π
1 X
= m
a · e−jθm · ejkθ dθ
2π m=0 −π
∞ Z π
1 X
m
= a · ejθ(k−m) dθ
2π m=0 −π
∞
1 X ejπ(k−m) − e−jπ(k−m)
= am ·
2π m=0
j(k − m)
∞
1 X 2sen(π(k − m))
= am ·
2π m=0
(k − m)

Otra forma de hacerlo es utilizando la expresión final luego de la sumatoria de la transformada

Z y luego reemplazar z = ejθ . Si se realiza de esta forma resulta mucho más complejo, ya que
se debe tener una integral para la parte real y otra para la parte compleja con sinusoidales.
Las expresiones no son comparables, ya que no se puede restringir la región de convergencia al
considerar z = ejθ dado que |ejθ | = 1.

3. Determine kH1 (z)k2 = hH1 (z), H1 (z)i,kH2 (z)k2 = hH2 (z), H2 (z)i

11
IPD410 - Métodos Matemáticos en Control Automático Tarea 1

Para calcular el producto interno se utiliza la fórmula

I
1
(H1 (z), H2 (z)) −→ hH1 (z), H2 (z)i = H1 (z)H2 (z −1 )z −1 dz
2πj |z|=1

La curva C = |z| = 1 corresponde a una circunferencia unitaria en el plano complejo por lo tanto
ésta es cerrada, simple, suave a trozos y se orienta positivamente. Además, el argumento de
la integral corresponde a multiplicaciones y divisiones de polinomios que son funciones enteras
y por lo tanto analíticas por sobre e interior de la curva C salvo por un conjunto finito de
puntos correspondientes a las singularidades aisladas (interiores a C). Lo anterior cumple con
las condiciones suficientes para poder utilizar el teorema del residuo mostrado en la ecuación
(4) el cual se utilizará para calcular cada caso.

Cálculo kH1 (z)k2 = hH1 (z), H1 (z)i

I
1
2
kH1 (z)k = hH1 (z), H1 (z)i = H1 (z)H1 (z −1 )z −1 dz
2πj |z|=1

El argumento de la integral corresponde a:

az az −1
H1 (z)H1 (z −1 )z −1 = · −1 · z −1
az − 1 az − 1
Eliminando términos de esta expresión se llega a una función g1 (z) que es idéntica a
la original para todo z salvo en la singularidad (removible) que para efectos del cálculo
de la integral no afecta, ya que sólo existe diferencia al evaluar la función g1 (z) en la
singularidad. Luego, la ecuación g(z) corresponde a:

a2
g1 (z) = H1 (z)H1 (z −1 )z −1 =
(az − 1) · (a − z)
Luego las singularidades de g1 (z) son:
1
z = z1 = , z = z2 = a
a
Dado que a ∈ ]0, 1[ la única singularidad que esta dentro de la curva C = |z| = 1 es la
singularidad z2 , por lo tanto utilizando el teorema del residuo:
I
1 1 h i
2
kH1 (z)k = hH1 (z), H1 (z)i = g1 (z)dz = 2πj · Res g1 (z) = Res g1 (z)
2πj |z|=1 2πj z=a z=a

Luego el residuo de z = a corresponde al residuo de un polo simple por lo tanto

a2
Res g1 (z) = lı́m g1 (z − a) = lı́m · (z − a)
z=a z→a z→a (az − 1) · (a − z)

a2 a2
= lı́m − =− 2
z→a (az − 1) (a − 1)
Finalmente
a2
kH1 (z)k2 = hH1 (z), H1 (z)i = −
(a2 − 1)

12
IPD410 - Métodos Matemáticos en Control Automático Tarea 1

Cálculo kH2 (z)k2 = hH2 (z), H2 (z)i

I
1
2
kH2 (z)k = hH2 (z), H2 (z)i = H2 (z)H2 (z −1 )z −1 dz
2πj |z|=1

El argumento de la integral corresponde a:

z z −1
H2 (z)H2 (z −1 )z −1 = · −1 · z −1
z−a z −a
Eliminando términos de esta expresión se llega a una función g2 (z) que es idéntica a
la original para todo z salvo en la singularidad (removible) que para efectos del cálculo
de la integral no afecta, ya que sólo existe diferencia al evaluar la función g2 (z) en la
singularidad. Luego, la ecuación g2 (z) corresponde a:
1
g2 (z) = H2 (z)H2 (z −1 )z −1 =
(z − a) · (1 − az)

Luego las singularidades de g2 (z) son:

1
z = z1 = , z = z2 = a
a
Dado que a ∈ ]0, 1[ la única singularidad que esta dentro de la curva C = |z| = 1 es la
singularidad z2 , por lo tanto utilizando el teorema del residuo:
I
1 1 h i
2
kH2 (z)k = hH2 (z), H2 (z)i = g2 (z)dz = 2πj · Res g2 (z) = Res g2 (z)
2πj |z|=1 2πj z=a z=a

Luego el residuo de z = a corresponde al residuo de un polo simple por lo tanto

1
Res g2 (z) = lı́m g2 (z)(z − a) = lı́m · (z − a)
z=a z→a z→a (z − a) · (1 − az)
1 1
= lı́m =
z→a (1 − az) (1 − a2 )
Finalmente
1
kH2 (z)k2 = hH2 (z), H2 (z)i =
(1 − a2 )
Cálculo hH1 (z), H2 (z)i
I
1
hH1 (z), H2 (z)i = H1 (z)H2 (z −1 )z −1 dz
2πj |z|=1

El argumento de la integral corresponde a:

az z −1
H1 (z)H2 (z −1 )z −1 = · −1 · z −1
az − 1 z − a
Eliminando términos de esta expresión se llega a una función g3 (z) que es idéntica a
la original para todo z salvo en la singularidad (removible) que para efectos del cálculo

13
IPD410 - Métodos Matemáticos en Control Automático Tarea 1

de la integral no afecta, ya que sólo existe diferencia al evaluar la función g3 (z) en la

singularidad. Luego, la ecuación g3 (z) corresponde a:
a a
g3 (z) = H2 (z)H1 (z −1 )z −1 = =−
(az − 1) · (1 − az) (az − 1)2

Luego las singularidades de g2 (z) corresponden a un polo de multiplicidad 2 en z = z1 =

z2 = a1 . Dado que a ∈ ]0, 1[ no existe ninguna singularidad dentro de la curva C = |z| = 1.
Por lo tanto, ya que la función es analítica por sobre e interior de la curva C y no encierra
singularidades el valor de la integral es cero.

Finalmente
hH1 (z), H2 (z)i = 0

14