Variable Compleja y Transformadas 29 de enero de 2004

Solución del examen de Variable Compleja y Transformadas

I. T. I. Electrónica y Electricidad
29 de enero de 2004
1. Estudia si existe alguna función de variable compleja f (z) entera cuya parte real sea
x3 − 3xy 2 y tal que f (1) = 1. En caso afirmativo obtén dicha función y exprésala en
términos de z.

Solución: Llamamos u(x, y) = x3 − 3xy 2 . Entonces u(x, y) será la parte real de una
función entera si se cumple que, ∀(x, y) ∈ R2 ,

∂2u ∂2u
∆u(x, y) = (x, y) + (x, y) = 0.
∂x2 ∂y 2
Calculamos las correspondientes derivadas parciales.
∂u ∂u
(x, y) = 3x2 − 3y 2 (x, y) = −6xy
∂x ∂y
∂2u ∂2u
(x, y) = 6x (x, y) = −6x
∂x2 ∂y 2
Entonces
∂2u ∂2u
∆u(x, y) = (x, y) + (x, y) = 6x − 6x = 0,
∂x2 ∂y 2
y concluimos que u(x, y) = x3 − 3xy 2 es la parte real de una función entera, es decir,
que existe v(x, y) tal que f (z) = f (x + i · y) = u(x, y) + i · v(x, y) es entera. Para hallar
la función v(x, y) haremos uso de las ecuaciones de Cauchy-Riemann, una de las cuales
proporciona
∂v ∂u
(x, y) = − (x, y) = −(−6xy) = 6xy.
∂x ∂y
Entonces
x2
Z Z Z
∂v
v(x, y) = (x, y) dx = 6xy dx = 6y x dx = 6y + φ(y) = 3x2 y + φ(y).
∂x 2
Para determinar la función φ(y) usaremos la otra condición de Cauchy-Riemman,
∂v ∂u
3x2 + φ0 (y) = (x, y) = (x, y) = 3x2 − 3y 2 .
∂y ∂x

Encontramos fácilmente φ(y), puesto que φ0 (y) = −3y 2 y

y3
Z Z
0
φ(y) = φ (y) dy = −3y 2 dy = −3 + C = −y 3 + C.
3

Página 1 de 7
Variable Compleja y Transformadas 29 de enero de 2004

La función f (x + i · y) ha de ser

f (x + i · y) = x3 − 3xy 2 + i · (3x2 y − y 3 + C).

Al utilizar la condición f (1) = 1 tendremos que

1 + i · 0 = f (1 + i · 0) = 13 − 3 · 1 · 02 + i · (3 · 12 · 0 − 03 + C) =⇒ 1 = 1 + i · C =⇒ C = 0.

Sólo falta identificar la función en términos de z. Como aparecen términos al cubo es

razonable pensar en la expresión (x + i · y)3 , y entonces

f (x + i · y) = x3 − 3xy 2 + i · (3x2 y − y 3 ) =

= x3 + 3x2 (i · y) + 3x(i · y)2 + (i · y)3 =

= (x + i · y)3 ,

y por lo tanto f (z) = z 3 .

2. Halla las singularidades, di de qué tipo son, calcula su serie de Laurent alrededor de to-
das ellas, determina el dominio de convergencia de las series y halla los correspondientes
residuos de las funciones
sen z z 1
a) b) c)
z z2 +4 z2

Solución: a) El único punto “conflictivo” es z = 0, que anula el denominador. Sin

embargo no va a ser singularidad (o lo que es lo mismo, va a ser singularidad evitable),
ya que de la expresión en serie
∞
X (−1)n 2n+1 z3 z5
sen z = z =z− + − ...
n=0
(2n + 1)! 6 120

se deduce que
∞
sen z X (−1)n 2n z2 z4
= z =1− + − ...,
z n=0
(2n + 1)! 6 120
y por lo tanto la serie resultante no tiene potencias negativas de z, luego z = 0 no
es singularidad. También podrı́amos haber deducido esto calculando el lı́mite (por
L’Hopital)
sen z cos z
lı́m = lı́m = cos 0 = 1 ∈ C.
z→0 z z→0 1
Al no haber singularidades, el radio de convergencia es R = ∞, con lo que la función es
entera, la serie anteriormente calculada es válida ∀z ∈ C y el residuo es Res (f, 0) = 0.

Página 2 de 7
Variable Compleja y Transformadas 29 de enero de 2004

b) El denominador claramente se anula en z = 2 · i y z = −2 · i, que han de ser polos

de orden uno, siendo éstas las únicas singularidades. Para hallar la serie de Laurent
haremos una descomposición en fracciones simples
z A B
2
= + =⇒ z = (A + B)z + (2A · i − 2B · i)
z +4 z−2·i z+2·i
El sistema de ecuaciones resultante es
A + B = 1

2A · i − 2B · i = 0
que tiene trivialmente por como solución A = B = 1/2. La serie de Laurent centrada
en z = 2 · i es
z 1 1 1 1
= · + · =
z2 + 4 2 z−2·i 2 z+2·i
1 1 1 1
= · + · =
2 z − 2 · i 2 (z − 2 · i) + 4 · i
1 1 1 1 1
= · + · · =
2 z − 2 · i 2 4 · i 1 − (−(z − 2 · i)/(4 · i))
∞
1 1 −i X (−1)n
= · + · (z − 2 · i)n =
2 z−2·i 8 n=0 (4 · i)n
∞  n
1 1 X −i i
= · + · · (z − 2 · i)n .
2 z − 2 · i n=0 8 4
El residuo, como no podı́a ser de otro modo, coincide con A, es decir Res (f, 2·i) = 1/2.
El radio de convergencia es la distancia entre las dos singularidades, o dicho de otro
modo, R = |2 · i − (−2 · i)| = |4 · i| = 4, por lo que el dominio de convergencia es el
cı́rculo centrado en z = 2 · i y de radio R = 4, que puede expresarse como
B(2 · i, 4) = {z ∈ C/|z − 2 · i| < 4}.
La serie de Laurent centrada en z = −2 · i es
z 1 1 1 1
= · + · =
z2 + 4 2 z−2·i 2 z+2·i
1 1 1 1
= · + · =
2 z + 2 · i 2 (z + 2 · i) − 4 · i
1 1 1 1 1
= · + · · =
2 z + 2 · i 2 −4 · i 1 − (z + 2 · i)/(4 · i)
∞
1 1 i X 1
= · + · (z + 2 · i)n =
2 z + 2 · i 8 n=0 (4 · i)n
∞  n
1 1 X i −i
= · + · · (z + 2 · i)n .
2 z + 2 · i n=0 8 4

Página 3 de 7
Variable Compleja y Transformadas 29 de enero de 2004

Ahora el residuo ha de ser B = Res (f, −2 · i) = 1/2. El radio de convergencia vuelve

a ser R = 4, y ahora el dominio de convergencia de la serie es el cı́rculo centrado en
z = −2 · i y de radio R = 4, es decir

B(−2 · i, 4) = {z ∈ C/|z + 2 · i| < 4}.

c) Es evidente que la única singularidad es z = 0, que es un polo de orden dos. La serie

de Laurent centrada en z = 0 es la propia expresión 1/z 2 , que ha de entenderse como
∞
1 X
f (z) = 2 = an z n
z n=−∞

para los coeficientes an = 0 para n ∈ Z, n 6= 2 y a−2 = 1. Además Res (f, 0) = a−1 = 0,

y el radio de convergencia de la serie es R = ∞, al constar la serie de un número finito
de términos. Por lo tanto el dominio de convergencia es C − {0}.
3. Calcula las integrales siguientes:
Z  
cos(1/z) 1
a) + dz, donde γ(t) = 2eit , t ∈ [0, 2π].
γ z z−1
Z ∞
x+1
b) 2 2
dx
−∞ (x + 4)

Solución: a) Como la curva es cerrada, diferenciable, simple y recorrida en el sentido

antihorario podemos aplicar el teorema de los residuos a la función
cos(1/z) 1
f (z) = + ,
z z−1
cuyas singularidades aparecen en los puntos z = 0 y z = 1. Ambas se encuentran
en el interior de la curva (es la circunferencia centrada en el origen y de radio dos),
ası́ que hemos de hallar ambos residuos. Como la singularidad en z = 0 es esencial,
construimos la serie de potencias del coseno
∞
X (−1)n z2 z4
cos z = z 2n = 1 − + − ...,
n=0
(2n)! 2 24

y de ésta
∞ ∞
cos(1/z) X (−1)n −2n X (−1)n −2n−1 1 1 1
= z −1 z = z = − 3+ 5
− ...
z n=0
(2n)! n=0
(2n)! z 2z 24z

El valor que acompaña a la potencia 1/z es a−1 = 1. Del sumando 1/(z − 1) no se

obtiene residuo en el origen (el residuo es igual a cero) ya que su única singularidad es
z = 1, y entonces
Res (f, 0) = Res (z −1 cos(1/z), 0) = 1.

Página 4 de 7
Variable Compleja y Transformadas 29 de enero de 2004

Para determinar otro residuo podemos olvidarnos del sumando z −1 cos(1/z), ya que
z = 1 no es una singularidad para él. Como el sumando 1/(z − 1) es de hecho una
potencia de grado menos uno, deducimos que

Res (f, 0) = Res (1/(z − 1), 1) = 1.

Aplicando el teorema de los residuos

Z  
cos(1/z) 1
+ dz = 2π · i · (Res (f, 0) + Res (f, 1)) = 4π · i.
γ z z−1

b) La integral impropia pedida es convergente, puesto que q(x) = (x2 + 4)2 no se anula
en R y es más de un grado superior al numerador p(x) = x + 1. Las singularidades
de f (z) = p(z)/q(z) son los polos de orden dos z = 2 · i y z = −2 · i, interesándonos
únicamente la primera, que está en el semiplano superior. A partir de la función
z+1
g(z) = (z − 2 · i)2 f (z) =
(z + 2 · i)2

podemos calcular el residuo, que será Res (f, 2 · i) = g 0 (2 · i). Como

1 · (z + 2 · i)2 − (z + 1) · 2(z + 2 · i)
g 0 (z) =
(z + 2 · i)4

deducimos que

(4 · i)2 − (1 + 2 · i) · 2(4 · i) −8 · i −i
g 0 (2 · i) = 4
= = .
(4 · i) 256 32

Entonces
∞
2π · i · (−i)
Z
x+1 π
2 2
dx = 2π · i · Res (f, 2 · i) = = .
−∞ (x + 4) 32 16

4. Resuelve mediante el uso de la Transformada de Laplace la ecuación y 00 +2y 0 +y = f (t),

con las condiciones iniciales y(0) = y 0 (0) = 0 y

 t si t ∈ [0, 1)
f (t) =
0 si t ≥ 1


Solución: Aplicamos la transformada de Laplace a la ecuación diferencial para deducir

que
(z 2 L[y] − zy(0) − y 0 (0)) + 2(zL[y] − y(0)) + L[y] = L[f ]

Página 5 de 7
Variable Compleja y Transformadas 29 de enero de 2004

Si denotamos como ha (t) a la función de Heaviside


 0 si t < a
ha (t) =
1 si t ≥ a


la función f (t) se escribirá como f (t) = t · (h0 (t) − h1 (t)) + 0 · h1 (t) = t · (1 − h1 (t)).
Su transformada de Laplace será entonces
L[f ] = L[t] − L[t · h1 (t)] =

1
= − L[((t − 1) + 1) · h1 (t)] =
z2
1
= − L[(t − 1) · h1 (t)] − L[h1 (t)] =
z2
1 1 1
= 2
− e−z · 2 − e−z · .
z z z
Teniendo en cuenta que las condiciones iniciales son nulas deducimos que
 
1 1 −z 1 −z 1
L[y] = 2 · −e · 2 −e · =
z + 2z + 1 z2 z z
1 −1 − z
= + e−z 2 2 =
z 2 (z 2 + 2z + 1) z (z + 2z + 1)
1 −z 1
= − e
z 2 (z + 1)2 z 2 (z + 1)
Descomponemos el primer sumando en fracciones simples
1 A B C D
= + 2+ +
z 2 (z + 1) 2 z z z + 1 (z + 1)2
lo que lleva a la ecuación

Az(z + 1)2 + B(z + 1)2 + Cz 2 (z + 1) + Dz 2 = 1,

es decir,
A(z 3 + 2z 2 + z) + B(z 2 + 2z + 1) + C(z 3 + z 2 ) + Dz 2 = 1.
El sistema resultante es
A + C = 0

2A + B + C + D = 0

A + 2B = 0

B = 1

Página 6 de 7
Variable Compleja y Transformadas 29 de enero de 2004

La solución es B = 1, A = −2, C = 2 y D = 1, luego

         
1 1 1 1 1
L−1 2 = −2L−1 + L−1 2 + 2L−1 + L−1 =
z (z + 1)2 z z z+1 (z + 1)2
= −2 + t + 2e−t + te−t

Para el segundo término realizamos la descomposición

1 A B C
= + 2+ ,
z 2 (z+ 1) z z z+1

que tiene como ecuación asociada

Az(z + 1) + B(z + 1) + Cz 2 = 1

y como sistema
A + C = 0

A + B = 0

B = 1
La solución es B = 1, A = −1 y C = 1. Entonces
       
−1 1 −1 1 −1 1 −1 1
L = −L +L +L =
z 2 (z + 1) z z2 z+1
= −1 + t + e−t

Entonces  
−1 1
L e−z = (−1 + (t − 1) + e−(t−1) ) · h1 (t)
z 2 (z + 1)
y entonces

y(t) = −2 + t + 2e−t + te−t − (−1 + (t − 1) + e−(t−1) ) · h1 (t).

Realizamos la simplificación en la suma

−2 + t + 2e−t + te−t − (−1 + (t − 1) + e−(t−1) ) = (2 − e)e−t + te−t

para expresar la solución como


 t − 2 + (t + 2)e−t si t ∈ [0, 1)
y(t) =
(t + 2 − e)e−t si t > 1


Página 7 de 7