Departamento de Matemática Aplicada a las Tecnologías de la Información y las Comunicaciones

Métodos Matemáticos (9 de junio, 2025)

Apellidos………………………………..……………………… Nombre………..…………………………… DNI……………………
Aula………………………………….. Tiempo total del examen: 1 h 30 m

Publicación calificaciones: 23 de junio. Solicitud revisión: hasta 25 de junio. Revisión: 25 de junio

f ( z) g ( z)
P1 Sean las funciones f ( z ) = e z , g ( z ) = y h ( z ) = 2 , se pide:
z −1 z
a) Determinar el valor de la integral I1 = ∫ f ( z ) dz y acotar superiormente el módulo de la integral
γ1

I 2 = ∫ g ( z ) dz , siendo γ 1 el segmento de extremo inicial z1 = 1 − 2i y extremo final z2 = 1 + 2i ,

γ2

y γ 2 el contorno dado por la parametrización z (t ) =

1 + 2e − it , t ∈  π2 , 32π  . (3 puntos)

b) Hallar el desarrollo en serie de Taylor en el origen de la función g ( z ). (3 puntos)

c) Obtener un desarrollo en serie de potencias de la función h ( z ) que permita caracterizar al punto
z = 0 . Caracterizarlo y determinar su residuo. (1,5 puntos)
1 
d) Calcular el valor de la integral I 3 = ∫ h( z ) dz , siendo R ∈  + −   . (2,5 puntos)
z − 12 = R ↑
2
Solución:
a) Puesto que la función f ( z ) = e z es una función entera -holomorfa en  -, admite función primitiva y
se tiene
e z dz = e z  = e ( e 2i − e −2i ) = 2iesen2.
z2 1+ 2 i
∫γ f ( z ) dz = ∫γ e dz = ∫
z
I1 =
1 1 z1 1− 2 i

El contorno γ 2 es la semicircunferencia centrada en el punto z0 = 1 y de radio 2, situada en el

semiplano Re ( z ) ≤ 1 que une los puntos z1 = 1 − 2i y z2 = 1 + 2i, luego la longitud de γ 2 es
L(γ 2 ) = 2π .
Los puntos z ∈ γ 2 verifican z − 1 =2. Además, los puntos del contorno γ 2 expresados en la forma
z= x + iy tienen abscisa x ∈ [ −1,1] ,
luego
ez ez ex e
g ( z ) z∈γ = = = ≤ = M , z = x + iy ∈ γ 2 .
2
z −1 z −1 2 2

En consecuencia, la propiedad de estimación M-L proporciona

I 2 =∫ g ( z ) dz ≤ ∫ M dz =M ∫ dz =ML(γ 2 ) =π e.
γ2 γ2 γ2

b) La función f ( z ) es entera y, por el teorema de Taylor, se verifica

∞
zn z z 2 z3
f ( z ) =e z =∑ =1 + + + +  , z ∈ .
n =0 n! 1! 2! 3!

Usando la serie geométrica

 1 1 ∞
=− =− ∑ z n =− (1 + z + z 2 + z 3 + ) , z < 1 .
z −1 1− z n =0

Utilizando el producto de Cauchy de series, se obtiene

1  ∞ zn   ∞  ∞
 n 1
g ( z) =
ez =−  ∑   ∑ zn  = −∑  ∑  z n
z −1 =  n 0 n ! =  k 0 k !
 n 0  =n 0=
  1  1 1   1 1 1 
=− 1 + 1 +  z + 1 + +  z 2 + 1 + + +  z 3 +   , z < 1,
  1!   1! 2!   1! 2! 3!  

que es el desarrollo de Taylor de la función g ( z ) en el origen z = 0 .

c) El desarrollo en serie de Laurent de una función en un entorno reducido de un punto singular aislado
caracteriza a dicha singularidad.

La función
g ( z) ez
(z) =
h=
z2 z 2 ( z − 1)
es holomorfa en el conjunto abierto  − {0,1} ; por tanto, tenemos que obtener el desarrollo de Laurent
de la función h ( z ) en un entorno reducido del punto z = 0 .
Teniendo en cuenta el desarrollo obtenido en el apartado anterior resulta

1 ez 1 ∞  n 1 n ∞
 n 1  n−2
2 ∑∑ ∑  ∑ k ! z
h( z) = =
−  z =
−
z 2 ( z − 1) z=  k 0 k !
n 0= = k 0 
n 0=

 1  11  1 1   1 1 1  
=−  2 + 1 +  + 1 + +  + 1 + + +  z +   , 0 < z < 1,
 z  1!  z  1! 2!   1! 2! 3!  

que es el desarrollo de Laurent de la función h ( z ) en un entorno reducido del punto z = 0 .

Por tanto, el punto z = 0 es un polo doble de la función h ( z ) , ya que la parte principal/singular es
finita ( a−2 ≠ 0 y =
a− n 0, n > 2) y su residuo es
a−1 ≡ Re s  h ( z ) , z =
0  =
−2.

1
d) El contorno de integración γ 3 = { z ∈  : z − 12 = R} es una circunferencia centrada en z0 = y de
2
1
radio R > 0 , con R ≠ , recorrida en sentido positivo (antihorario). Por ello, consideramos los
2
siguientes casos:

1
• 0<R< : En este caso, la función h ( z ) es holomorfa dentro de la región encerrada por γ 3
2
y sobre γ 3 , luego por el teorema de Cauchy- Goursat resulta
=I3 ∫=
γ
3
h( z ) dz 0.
 1
• R > : En este caso, la función h ( z ) es holomorfa dentro de la región encerrada por γ 3
2
y sobre γ 3 , salvo en los puntos z = 0 y z = 1 .

El punto z = 0 es un polo doble de la función h ( z ) , y su residuo es

Re s  h ( z ) , z = 0  = −2.
El punto z = 1 es un polo simple de la función h ( z ) , ya que
ez
lim h ( z ) =∞, lim ( z − 1) h ( z ) =lim e  − {0} ;
=∈
z →1 z →1 z →1 z2
por tanto Re s  h ( z ) , =
z 1=
 e .
Aplicando el teorema de los residuos, se obtiene

I3 = ∫γ 3
( )
h( z ) dz = 2π i Re s  h ( z ) , z = 0  + Re s  h ( z ) , z = 1 = 2π i ( −2 + e ) .
 Departamento de Matemática Aplicada a las Tecnologías de la Información y las Comunicaciones
Métodos Matemáticos (9 de junio, 2025)
Apellidos………………………………..……………………… Nombre………..…………………………… DNI……………………
Aula………………………………….. Tiempo total del examen: 1 h 30 m

Publicación calificaciones: 23 de junio. Solicitud revisión: hasta 25 de junio. Revisión: 25 de junio

P2 Sea la ecuación diferencial y′′′ ( t ) + 4 y′ ( t ) =

0 , se pide:
a) Definir el operador diferencial L asociado a la ecuación diferencial dada y calcular L [ y (t ) ] , siendo
y (t ) cos 2t − 3sen 2t. ¿Es y (t ) solución de dicha ecuación diferencial? (2 puntos)
=
b) Probar que el conjunto de soluciones, S , de la ecuación diferencial considerada es un  − espacio
vectorial e indicar su dimensión. (2 puntos)
c) Obtener un sistema fundamental de S, S F , y comprobar la independencia lineal del mismo. (2 puntos)
d) Resolver el siguiente
 y′′′ ( t ) + 4 y′ ( t ) =
12t 2 + 6

PVI  (3 puntos)
 y (0) 1,=
= y′(0) 0, = y′′ ( 0 ) 0.
e) Probar que si y1 (t ) e y 2 (t ) son soluciones de la ecuación diferencial y′′′ ( t ) + 4 y′ ( t ) =
12t 2 + 6 , entonces
y1 (t ) − y 2 (t ) es solución de la ecuación diferencial homogénea dada. (1 punto)
Solución:
a) El operador diferencial L, asociado a la ecuación diferencial lineal homogénea dada, es

L : C 3 ( ,  ) → C ( ,  )
y ( t ) → L  y ( t )  = y′′′ ( t ) + 4 y′ ( t ) .
L [ y (t ) ] =L [ cos 2t − 3sen 2t ] =y′′′ ( t ) + 4 y′ ( t ) =
y ( t ) cos 2 t −3sen 2 t
= 8sen 2t + 24 cos 2t − 4(2sen 2t + 6 cos 2t ) =0,
y (t ) cos 2t − 3sen 2t es solución de la ecuación diferencial considerada.
luego =
b) Dado que C 3 ( ,  ) es un  -espacio vectorial, para probar que

{ y(t ) ∈ C 3 ( ,  ) : L [ y(t )] =
S= 0}
{ y(t ) ∈ C 3 ( ,  ) : y′′′ ( t ) + 4 y′ ( t ) =
= 0} ⊂ C 3 ( ,  )

es espacio vectorial, S ≠ φ (la solución nula satisface cualquier ecuación diferencial lineal homogénea),
basta con probar que es cerrado, esto es,

Si λ1 , λ2 ∈  e y1 ( t ) , y2 ( t ) ∈ S , entonces λ1 y1 ( t ) + λ2 y2 ( t ) ∈ S .

Claramente,
L λ1 y1 ( t ) + λ2 y2 ( t )  =( λ1 y1 ( t ) + λ2 y2 ( t ) )′′′ + 4 ( λ1 y1 ( t ) + λ2 y2 ( t ) )′
= λ1 ( y1′′′( t ) + 4 y1′ ( t ) ) + λ2 ( y2′′′( t ) + 4 y2′ ( t ) )
= λ1 L  y1 ( t )  + λ2 L  y2 ( t ) 
= λ1.0 + λ2 .0 = 0,
luego λ1 y1 ( t ) + λ2 y2 ( t ) ∈ S .
 Además, como la ecuación diferencial lineal homogénea dada es de tercer orden, la dimensión
de S es 3.

c) La ecuación característica correspondiente a la ecuación diferencial homogénea dada es la

ecuación algebraica de tercer grado siguiente

P ( r ) ≡ r 3 + 4r= r ( r 2 + 4 )= 0, cuyas raíces son r= 0, ±2i.

En consecuencia, un sistema fundamental S F de soluciones del conjunto S es

=SF ≡ B {e 0t
, e0t cos 2t , e0t sen 2t}
= {1, cos 2t ,sen 2t} ,

y, efectivamente, S F es un conjunto linealmente independiente, pues su determinante

wronskiano es

1 cos 2t sen 2t
W [1, cos 2t ,sen 2t ] =
0 −2sen 2t 8sen 2 2t + 8cos 2 2t =
2 cos 2t = 8 ≠ 0, t ∈ ,
0 −4 cos 2t −4sen 2t

luego S F constituye una base de S, pues dim ( S ) = 3.

d) El PVI está regido por la ecuación lineal completa

y′′′ ( t ) + 4 y′ ( t ) =
12t 2 + 6

y, por tanto, la determinación de su solución exige hallar tanto la solución general de la ecuación
homogénea como una solución particular de la ecuación completa/no homogénea. Así,

y ( t ) = yH ( t ) + y p ( t ) = A ⋅1 + B cos 2t + C sen 2t + y p ( t ) , A, B, C ∈ ,

en donde yH ( t ) e y p ( t ) son la solución general de la ecuación homogénea y una solución

particular de la ecuación completa o no homogénea, respectivamente.

Para determinar y p ( t ) ensayamos una particular de la forma,

) t ( at 2 + bt + c ) e0=t t ( at 2 + bt + c ) , a, b, c ∈ , pues r = 0 es raíz simple de la
y p ( t=
ecuación característica correspondiente; por tanto,

6a + 4 ( 3at 2 + 2bt + c )= 12t 2 + 6, luego=

a 1,=
b 0,=c 0;

resultando y p ( t ) = t 3 .

Así pues, la solución general de la ecuación completa es

 y ( t ) = A ⋅1 + B cos 2t + C sen 2t + t 3 , A, B, C ∈ .
De aquí,
y′ ( t ) =
−2 Bsen 2t + 2C cos 2t + 3t 2 ,

y′′ ( t ) =
−4 B cos 2t − 4Csen 2t + 6t ,

y la verificación de las condiciones iniciales proporciona el sistema lineal siguiente

y ( 0 )= 1= A + B,

y′ ( 0 )= 0= 2C ,

y′′ ( 0 ) = 0 = −4 B,

cuya solución es=

A 1,=
B 0,=
C 0.

En definitiva, la solución al PVI planteado es

y (t ) =
1 + t 3 , t ∈ .

e) Si y1 (t ) e y 2 (t ) son soluciones de la ecuación diferencial completa y′′′ ( t ) + 4 y′ ( t ) =

12t 2 + 6 ,
entonces

L  y1 ( t ) − y 2 ( t )  =( y1 ( t ) − y 2 ( t ) )′′′ + 4 ( y1 ( t ) − y 2 ( t ) )′

( )(
= y1′′′ ( t ) + 4 y1′ ( t ) − y 2′′′ ( t ) + 4 y 2′ ( t ) )
= 12t 2 + 6 − (12t 2 + 6=
) 0,
luego y1 (t ) − y 2 (t ) es solución de la ecuación diferencial homogénea dada
 Departamento de Matemática Aplicada a las Tecnologías de la Información y las Comunicaciones
Métodos Matemáticos (9 de junio, 2025)
Apellidos………………………………..……………………… Nombre………..…………………………… DNI……………………
Aula………………………………….. Tiempo total del examen: 1 h 30 m

Publicación calificaciones: 23 de junio. Solicitud revisión: hasta 25 de junio. Revisión: 25 de junio

 π2 si − π < x < − π2

P3 Sea la función f : ( −π , π ]   tal que f ( x ) =  − x si − π2 ≤ x ≤ π2 , se pide:

 − π2 si π2 < x ≤ π

a) Dibujar la extensión 2π − periódica, f p , de la función f. (2 puntos)

b) Calcular los coeficientes de Fourier cn , n ∈ , e indicar la serie de Fourier compleja de la función
f p . (5 puntos)
c) Justificar la simetría, o no, del espectro de amplitud y verificar que lim cn = 0. (2 puntos)
n →∞

d) Determinar la mejor aproximación de la función f , f a , en el subespacio vectorial M generado

por el conjunto {e − ix ,1, eix } . (1 punto)

Solución:
En el espacio L2 ([ − T2 , T2 ]) el conjunto de funciones ein T x { 2π

} n ∈
es un sistema ortonormal y completo,

1 T

siendo f,g = ∫ f ( x ) g ( x ) dx;

2

T − T2

de este modo,
∞
f p ( x)  ∑ce
in 2Tπ x
n , x ∈ ,
n = −∞

en donde
1 T2 1 T

f ( x ) e T dx f ( x) e
in 2 π x − in 2Tπ x
=cn ∫
= ∫ dx.
2

T −2T
T − T2

En el caso de la función dada, T = 2π y w

= = 1, luego trabajaremos con el sistema ortonormal1
2π
T

{e } inx
n ∈
y los coeficientes de Fourier son

1 π 1 π
=cn = ∫ f ( x ) einx dx ∫ π f ( x) e
− inx
dx.
2π − π 2π −

a) La extensión 2π − periódica, f p , es una función impar -en casi todo punto- y la gráfica de f p se
indica en la figura 1.

1 π
En caso de definir el producto escalar mediante la expresión f,g = ∫
−π
f ( x ) g ( x ) dx, sin incluir el
factor de normalización, el sistema es ortogonal y de elementos no unitarios ya que tienen norma
T = 2π .
 Figura 1: Extensión 2π − periódica, f p , de la función f.

b) M1 Para n ≠ 0, integrando por partes, se tiene

1 π 1  − π2 π − inx π π π 
cn = ∫π f ( x ) e − inx dx =  ∫ e dx ( x′ =− x ) + ∫ π − x e − inx dx + ∫π − e − inx dx 
2

2π − 2π  − π 2 − 2 2 2 

  e − inx  2  1 π
π

1 e − inx
 + ∫π ( einx − e − inx ) dx
π

−in  − π ∫− π2 −in
=  − x +
2
dx
2π   4 2
 2 
π

1 i π  − in π2 π
in  1  e − inx  2 i π
=
−  e + e 2
+  2
+ ∫π sen nx dx
2π n 2   2π  ( −in )  − π 2 2
2

π
i nπ 1  − in π2 π
in  i  cos nx 
− cos
= − 2 
e − e 2  + −
2n 2 2π n   2 n  π2

i nπ i π i  nπ 
− cos
= + 2 sen n −  cos nπ − cos 
2n 2 nπ 2 2n  2 

i nπ i π i  nπ 
+ 2 sen n −  ( −1) − cos
n
− cos
= 
2n 2 nπ 2 2n  2 

 1 nπ ( −1) 
n

= i  2 sen − .
n π 2 2 n 
 

Además, para n = 0 , por la imparidad de f ( x ) , f ( x ) =− f ( − x ) salvo en el extremo x = π

y ello no afecta al valor de la integral -medida nula-, resulta a0 = 0 y, también, c0 = 0 .

M2 Para n ≠ 0, teniendo en cuenta que la función f ( x ) es impar en casi todo punto e integrando
por partes, se tiene

1 π 1 π
=cn = ∫ f ( x ) e − inx dx ∫ π f ( x ) ( cos nx − i sen nx ) dx
2π −π 2π −
 1 π i π

2π ∫ π f ( x ) cos nx dx ( imparidad ) − 2π ∫ π f ( x ) sen nx dx ( paridad )

− −

i π i π
i π π
∫ f ( x ) sen nx dx =
− ∫
π∫
0−
= − x sen nx dx − − sen nx dx
2

π 0 π 0 π
2 2
π
i π
i  cos nx 
= ∫ x sen nx dx − 
2

π 0 2  n  π2

π
i nπ i  sen nx  2 i  nπ 
− cos
= +   −  cos nπ − cos 
2n 2 nπ  n  0 2n  2 

i nπ i π i  nπ 
+ 2 sen n −  ( −1) − cos
n
− cos
= 
2n 2 nπ 2 2n  2 

 1 nπ ( −1) 
n

= i  2 sen − .
n π 2 2 n 
 

Además, para n = 0 , por la imparidad de f ( x ) en casi todo punto, resulta a0 = 0 y, también,

c0 = 0 .

En consecuencia, el desarrollo en serie de Fourier buscado es

 1 nπ ( −1)  inx
n

f p ( x )  ∑ cn e= ∑ i  2 sen
inx
−  e , x ∈ .
n∈ −{0}
n π 2 2n 
n∈
 

c) Dado que c− n =
−cn , n ∈ , pues la función f es real e impar en casi todo punto, obviamente
c− n = cn y, en consecuencia el espectro de amplitud es simétrico2. Además, se verifica el
teorema de Riemann-Lebesgue pues

 1 nπ ( −1) 
n
1 1 2 + nπ
= 0 ≤ cn i  2 sen − ≤= + ,
n π 2 2 n  n π 2n 2n 2π
2
 
luego lim cn = 0.
n →∞

d) La mejor aproximación de la función f en el subespacio vectorial M = L e − ix ,1, eix ({ }) es

la proyección ortogonal de f sobre M, proyM ( f ) , la cual viene dada por la suma de Fourier
correspondiente; así,

S1 proyM ( f=
fa ≡ = ) c−1e−ix + c0 + c1eix ,

2
Más aún, toda función real tiene espectro de amplitud simétrico.
con

1 1  1 1 
−i  +  ,
c−1 = c0 = 0 y =
c1 i  +  ,
2 π  2 π 

luego
1 1  1 1  2+π
f a ≡ S1 =proyM ( f ) =
−i  +  e − ix + i  +  eix =
− sen x.
2 π  2 π  π
 Departamento de Matemática Aplicada a las Tecnologías de la Información y las Comunicaciones
Métodos Matemáticos (9 de junio, 2025)
Apellidos………………………………..……………………… Nombre………..…………………………… DNI……………………
Aula………………………………….. Tiempo total del examen: 1 h 30 m

Publicación calificaciones: 23 de junio. Solicitud revisión: hasta 25 de junio. Revisión: 25 de junio

P4 Sean k ∈  y la función h :  2 → , con h ( x, y )= 3 x 2 y − y 3 + ky. Se pide:

a) Determinar k para que la función h( x, y ) sea armónica en algún conjunto abierto no vacío de  2
e indicar dicho conjunto abierto. (2 puntos)
b) Hallar la función holomorfa f ( z ) tal que ℜ ( f ( z ) ) =h ( x, y ) , f ( 0 ) =f (1) =0, y especificar su
conjunto de holomorfía (El símbolo ℜ ( ) significa parte real). (4 puntos)
{ }
c) Hallar el conjunto A = z ∈  : f ( z ) − iz = 4 + i 48 . ¿Cuál es su cardinal? (2 puntos)
d) Calcular ln f ( ) . (2 puntos)
1+ i
2

Solución:
a) La función h ( x, y ) ∈ C ∞ (  2 ) , al ser una función polinómica, con derivadas
hx ( x, y ) = 6 xy

 ,
 h
 y ( x , y ) = 3 x 2
− 3 y 2
+ k
hxx ( x, y ) = 6y

 .
 yy (
 h x , y ) = − 6 y

Por otro lado, h( x, y ) es armónica en el abierto A ⊂  2 si ∆h(= x, y ) 0, ( x, y ) ∈ A ⊂  2 .

Se tiene
∆ h( x, y ) = hxx ( x, y ) + hyy ( x, y ) = 6 y − 6 y = 0, ( x, y ) ∈  2 .
Por tanto, la función h( x, y ) es armónica en el conjunto abierto  2 o en cualquier subconjunto
abierto A ⊂  2 , A ≠ ∅, para cualquier valor k ∈  .

b) La función h( x, y ) es armónica en el conjunto abierto  2 , para cualquier valor k ∈  , luego

h( x, y ) ≡ u ( x, y )= 3 x 2 y − y 3 + ky;
Así pues, para determinar la función holomorfa f ( z ) , con

f ( z )= u ( x, y ) + iv ( x, y )= 3 x 2 y − y 3 + ky + iv ( x, y ) , ( x, y ) ∈  2 ,

necesitamos calcular la función v( x, y ) .

Aplicando las condiciones de Cauchy- Riemann, resulta

 u x ( x, y ) = v y ( x, y ) , esto es,

6 xy = v y ( x, y ) ;
por tanto,
v ( x=
, y ) 3 xy 2 + ϕ ( x ) .
  u y ( x, y ) = − vx ( x, y ) , esto es,

(
3 x 2 − 3 y 2 + k =− 3 y 2 + ϕ ′ ( x ) )
luego
ϕ′( x) =−3x 2 − k , ϕ ( x ) =− x3 − kx + C , C ∈ .
Así pues,
v ( x, y )= 3xy 2 − x3 − kx + C , C ∈ .

En definitiva, la función f ( z ) es

f ( z ) u ( x, y ) + iv ( x, y )
=
3 x 2 y − y 3 + ky + i ( 3 xy 2 − x3 − kx + C ) =
= −i ( z 3 + kz ) + iC , C ∈ . (1)

Finalmente, otra forma más simple de obtener f ( z ) es considerar que f ( z ) es una función
holomorfa, y por tanto no dependiente de z , luego

f ( z ) =f ( x, y ) =x
{ , y 0}
z=
= (
i − z 3 − kz + C = ) (
−i z 3 + kz + iC , C ∈ . )
Las condiciones
f ( 0 )= 0= iC ,

f (1) ==
0 −i (1 + k ) ,

proporcionan C = 0 y k = −1 , luego

f ( z) =
−i z 3 − z , ( )
que es holomorfa en cualquier punto z ∈  , luego el conjunto de holomorfía es CH ( f ) = ,
esto es, f ( z ) es una función entera.

c) De f ( z ) − iz = 4 + i 48 , se tiene

 i 
5π + 2 mπ

{ }
6

: m =0,1, 2  = 2e ( 18 3 ) : m =0,1, 2
3 3 3 i 56π i 5π + 2π m
z = − 48 + 4i = 2 e =2e 3

 

{
= 2e
i 5π
18
, 2e
i 1718π
, 2e
i 29 π
18
}
y el cardinal de A es finito, esto es, card ( A ) = 3.

d) Se tiene

π  1 π
ln f ( )=
1+ i
2
ln 2i = Ln 2i + i  + 2kπ =
2  2 2

Ln 2 + i  + 2kπ  , k ∈ .
