PROBLEMA 1

Sea •: (−•, •) → ℝ la función definida por:

−1 si −• < <0
•( ) = !
1 si 0 ≤ <•

(a) Encuentre la serie de Fourier 2•-periódica para •( ).

(b) Usando la serie hallada calcule la suma
'
(−1)%
$
2& + 1
%*-

(c) Calcule el valor de la serie

'
1
$
(2& + 1).
%*-

SOLUCIÓN:

(a) La función •: (−•, •) → ℝ es una función impar, por lo que su serie de Fourier 2p-
periódica es una serie de Fourier-seno ( /% = 0 ).

Se calculan los coeficientes 3% tales que

2•&
'
2•& 〈•( ), sen 9
;〉 2 @/. 2•&
•( ) = $ 3% sen 4 6 donde 3% = 5 = ? •( ) sen 4 6C
5 2•& 2•&
〈sen 9 ; , sen 9 ;〉 5 B@/. 5
%*7
5 5
Para 5 = 2• se calculan los coeficientes 3% :

〈•( ), sen(& )〉 2 D 2 D
3% = = ? •( sen(& C = ? •( ) sen(& ) C =
) )
〈sen(& ) , sen(& )〉 2• BD • -

2 D 2 D 2 cos(& ) • 2
= ? 1 ∙ sen(& ) C = ? sen(& ) C = − ∙ F =− (cos(•&) − cos(0)) =
• - • - • & 0 •&

2 2 &• 4 &•
= (1 − cos(•&)) = G2 sen. 9 ;H = sen. 9 ;
•& •& 2 •& 2
Y la serie de Fourier 2p-periódica en (−•, •) para •(•) es:
&
4 "!
•(•) = sen# $ % sen("•)
!" 2
'*+

(b) Se aplica el teorema de la convergencia puntual en • = !/2 , como •(•) es continua

en este punto, entonces la serie de Fourier •,(•) converge en el mismo valor de la
función •(!/2):

! ! ! !
! • $ − ℎ% + • $ + ℎ% • $ − 0% + • $ + 0% !
•, $ % = lim 2 2 = 2 2 = •$ % = 1
2 -→0 2 2 2
"!
!
&
4 "! "!
&
sen# $ %
•, $ % = 1 ⇒ 1= sen# $ % sen $ % ⇒ 2 sen $"!% = !
2 !" 2 2 " 2 4
'*+ '*+

"! ! 3!
&
sen# $ % sen# $ % sen# $ %
2 sen $"!% = 2 sen $!% + 0 + 2 sen ;3!< + 0 + ⋯ =
" 2 1 2 3 2
'*+

"!
1 1 1
&
(−1)'
&
(−1)'
&
sen# $ %
= − + −⋯= ⇒ = 2 sen $"!% = !
1 3 5 2" + 1 2" + 1 " 2 4
'*0 '*0 '*+

(c) Se utiliza la igualdad de Parseval

& &
2 B/# |E0 |# 2 G
A |•(•)|# D• = + (|E' |# + |F' |# ) ⇒ A |•(•)|# D• = |F' |#
@ CB/# 2 2! CG
'*+ '*+

Calculando la integral de |•(•)|# se tiene que

&
1 G 2 G 2 G # 2 G 2
|F' |# = A |•(•)| #
D• = A |•(•)| #
D• = A |1| D• = A D• = ∙ ! = 2
! CG ! 0 ! 0 ! 0 !
'*+

Por otro lado

"!
& &
4 "! # 16
&
senK $ %
|F' |# = I sen $ %I = #
# 2
!" 2 ! "#
'*+ '*+ '*+

"! ! 3!
&
senK $ % senK $ % senK $ % &
2 = 2 +0+ 2 +0+⋯= 1 + 1 + 1 +⋯= 1
" # 1# 3 # 1# 3# 5# (2" + 1)#
'*+ '*0

& &
1 1 !# !#
=2 ⇒ = ∙ 2 =
(2" + 1)# (2" + 1)# 16 8
'*0 '*0
 PROBLEMA 2

(a) Desarrolle en serie de Fourier-seno p-periódica de la función •: (0, •) → ℝ definida

por

1 si 0 < • ≤ •/2
•(•) = •
−1 si •/2 < • < •

(b) Usando la serie encontrada en la parte (a) hallada calcule las sumas de las series
$ $

y
(−1)" 1
! !
2# + 1 (2# + 1)'
"%& "%&

SOLUCIÓN:

(a) La función •(•) se extiende como una función impar en el intervalo (−•, •) con
período 2p.

Se calculan los coeficientes *" tales que

•8〉
2•#
2 ;/' 2•#
$
〈-(•), sen 7
-(•) = ! *" sen . •4 donde *" =
2•# 3 = : -(•) sen . •4 ?•
3 〈sen 7
2•#
•8 , sen 7
2•#
•8〉 3 >;/' 3
"%5
3 3
Para 3 = 2• se calculan los coeficientes *" :

〈- (• ), sen(#• )〉 2 @ 2 @
*" = = : -(•) sen(#•) ?• = : •(•) sen(#•) ?• =
〈sen(#•) , sen(#•)〉 2• >@ • &

2 @/' @
= A: •(•) sen(#•) ?• + : •(•) sen(#•) ?•B =
• & @/'

•
2 @/' @
2 cos(#•) •/2 cos(#•)
= A: sen(#•) ?• − : sen(#•) ?• B = C− D + D E=
• & • # # •/2
@/' 0
2 • • 2 •
71 − cos 7 #8 + cos(•#) − cos 7 #88 = 71 − 2 cos 7 #8 + (−1)" 8
•# 2 2 •# 2

Y la serie de Fourier 2p-periódica en (−•, •) para •(•) es:

 2
$

•(•) = •
•
1 − 2 cos •" + (−1)# " sen(••)
•• 2
#%&

(a) Se aplica el teorema de la convergencia puntual en • = •/4 , como (•) es continua

en este punto, entonces la serie de Fourier !(•) converge en el mismo valor de la
función (•/4):

• • • •
• " − ℎ# + " + ℎ# " − 0# + " + 0# •
! " # = lim 4 4 = 4 4 = " #=1
4 $→& 2 2 4
6
• 2 1 • 3•
" #=1 ⇒ 1 = . "1 − 2 cos " 3# + (−1)5 # sen " #
4 • 3 2 4
578

6
1 • 3• 2+2 2+2
. "1 − 2 cos " 3# + (−1)5 # sen " # = 0 + +0+0+0− +⋯=
3 2 4 2 6
578

6
2 2 2 2 (−1)5
=0+ +0+0+0− +0+0+0+ +0+0+0− +⋯=2.
1 3 5 7 23 + 1
57&

6 6 6
2 1 • 3• 2 (−1)5 (−1)5 •
1 = . "1 − 2 cos " 3# + (−1)5 # sen " # ⇒ 1 = ∙ 2 . ⇒ . =
• 3 2 4 • 23 + 1 23 + 1 4
578 57& 57&

Para calcular la segunda serie se utiliza la igualdad de Parseval

6 6
2 D/C |G& |C 2 I
A |B(•)| C
F• = + .(|G5 |C + |H5 |C ) ⇒ A |B(•)|C F• = .|H5 |C
@ ED/C 2 2• EI
578 578

Calculando la integral de |B(•)|C se tiene que

6
1 I 2 I 2 I/C I
2 I 2
.|H5 |C = A |B(•)|C F• = A | (•)|C F• = JA |1|C F• + A |−1|C F• K = A F• = ∙ • = 2
• EI • & • & I/C • & •
578

Por otro lado

6 6 • 6
C
2 • 4 M1 − 2 cos
C " 3# + (−1) 5M
.|H5 |C = . L "1 − 2 cos " 3# + (−1)5 #L = C . 2 =
•3 2 • 3C
578 578 578

4 16 16 16 16 1 1 1
= N0 + C + 0 + 0 + 0 + C + 0 + 0 + 0 + C + ⋯ O = C ∙ 2C N C + C + C + ⋯ O =
• C 2 6 10 • 2 6 10
6
16 1 1 1 16 1
= CN C + C + C + ⋯O = C .
• 1 3 5 • (23 + 1)C
57&

6 6
16 1 1 •C •C
. =2 ⇒ . = ∙ 2 =
• C (23 + 1)C (23 + 1)C 16 8
57& 57&
 PROBLEMA 3

Una función •: ℝ → ℝ cumple •(• + 2•) = •(•) y para −• ≤ • ≤ • está dada por

−• si − • ≤ • < 0
•(•) = "
• si 0 ≤ • ≤ •

(a) Encontrar la serie de Fourier de •(•).

(b) Calcular las series
' '
1 1
$ y $
(2% + 1)& (2% + 1).
*,- *,-

SOLUCIÓN:

La función •: ℝ → ℝ es una función par, por lo que su serie de Fourier 2p-periódica es una
serie de Fourier-coseno y los coeficientes 4* = 0.

Se calculan los coeficientes 5* tales que

' 2•%
5- 2•% 〈•(•), cos ?•@〉 2 C/& 2•%
•(•) = + $ 5* cos 6 •8 donde 5* = 7 = B •(•) cos 6 •8 F•
2 7 〈cos ?
2•%
•@ , cos ?
2•%
•@〉 7 EC/& 7
*,9
7 7
Recordando la fórmula integral de integración por partes:

• sen(5•) sen(5•) • sen(5•) cos(5•)

B • cos(5•) F• = −B F• = +
5 5 5 5&

Para un período de 7 = 2• se calculan los coeficientes 5* :

〈•(•), cos(%•)〉 2 G 2 G
5* = = B •(•) cos(%•) F• = B •(•) cos(%•) F• =
〈cos(%•) , cos(%•)〉 2• EG • -

2 G 2 • sen(%•) • 2 G sen(%•)
= B • cos(%•) F• = H IJ − B F• =
• - • % 0 • - %

& %•
2 • ∙ sen(%•) 2 cos(%•) • 2 4 sen ? 2 @
= H − 0I + J = 0 + & (cos(%•) − 1) = − ∙
• % • %& 0 •% • %&
El término independiente 5- se encuentra evaluando en % = 0 la sucesión 5* :
 2 %/ 2 * 1 *
2 * 2 $ %
" #($) #$ = & '($) #$ = 2 & '($) #$ = & $ #$ = ∙ - = %
2% !* % + % + % 2 0
• =
! !"/
Y la serie de Fourier 2p-periódica en (−%, %) para '($) es:

7%
4 sen 6 2 8
9
%
'($) = − 4 ∙ cos(7$)
2 % 7
:;<

Se aplica el teorema de la convergencia puntual en $ = 0, como '($) es continua en este

punto, entonces la serie de Fourier '>($) converge en el mismo valor de la función '(0):

'(0 − ℎ) + '(0 + ℎ) '(0 − 0) + '(0 + 0)

'>(0) = lim = = '(0) = 0
?→+ 2 2
7% 7%
4 sen 6 2 8 sen 6 8
9 9
% 2 =%
'(0) = 0 ⇒ 0= −4 ∙ cos(7% ∙ 0) ⇒ 4
2 % 7 7 8
:;< :;<

7% % 3% 5%
9
sen 6 8 sen 6 8 sen 6 8 sen 6 8
4 2 = 2 +0+ 2 +0+ 2 +⋯
7 1 3 5
:;<

7%
1 1 1 1
9 9
1
9
sen 6 8 %
= + + +⋯= 4 ⇒ 4 =4 2 =
1 3 5 (27 + 1) (27 + 1) 7 8
:;+ :;+ :;<

Para calcular la sumatoria se usa la igualdad de Parseval:

9 9
2 "/ |J+ | 2 * |J+ |
& |'($)| #$ = + 4(|J: | + |K: | ) ⇒ & |'($)| #$ = + 4|J: |
I !"/ 2 2% !* 2
:;< :;<

Se calcula primero el valor de la integral de |'($)| :

1 * 2 * 2 * 2 * 2 $L % % 2
& |'($)| #$ = & |'($)| #$ = & |$| #$ = & $ #$ = ∙ - = 2 ∙ = %
% !* % + % + % + % 3 0 3 3
Luego se calcula la serie de |J: | :
9
1 * |J+ | 2 |%| 2 1 4−3 %
4|J: | = & |'($)| #$ − = % − = M − N% = % =
% !* 2 3 2 3 2 6 6
:;<

7% 7% 7%
4 sen 6 2 8 senQ 6 8 % senQ 6 8
9 9 9
% 16 2 = 2 = % =%
Q Q
4 P− ∙ P = ⇒ 4 ⇒ 4
% 7 6 % 7Q 6 7Q 16 ∙ 6 96
:;< :;< :;<

7% % 3% 5%
9
senQ 6 8 senQ 6 8 senQ 6 8 senQ 6 8
4 2 = 2 +0+ 2 +0+ 2 +⋯=
7Q 1Q 3Q 5Q
:;<

7%
1 1 1 1
9 9
1
9
senQ 6 8 % Q
= Q+ Q+ Q+⋯= 4 ⇒ 4 =4 2 =
1 3 5 (27 + 1)Q (27 + 1)Q 7Q 96
:;+ :;+ :;<
 PROBLEMA 4

Sea •: (−1,1) → ℝ la función definida por •(•) = • • si |•| < 1

(a) Halle la serie de Fourier 2-periódica para •(•).

(b) Usando la parte (a) calcule las series

(−1)"#$
& &
1
y
%• %•
"'$ "'$

(c) Calcule el valor de la serie

&
1
%*
"'$

SOLUCIÓN:

(a) La función •(•) = • • = •(−•) es una función par, por lo tanto se desarrolla en serie
de Fourier coseno 2-periódica en (−1,1). Se calculan los coeficientes +" tales que:

20%
+-
&
20% 〈•(•), cos 6 •7〉 2 :/• 20%
•(•) = + +" cos / •4 donde +" = 3 = 9 •(•) cos / •4 ?•
2 3 20% 20%
〈cos 6 •7 , cos 6 •7〉 3 >:/• 3
"'$
3 3
Primero se deduce la fórmula de integración del producto de •(•) y coseno realizando dos
veces integración por partes:

@ • sen(A@) 2@ sen(A@) @ • sen(A@) 2 @ cos(A@) cos(A@)

9 @ • cos(A@) ?@ = −9 ?@ = − B− −9− ?@C =
A A A A A A
@ • sen(A@) 2@ cos(A@) 2 sen(A@)
= + −
A A• AD
〈•(•), cos(0%•)〉 2 $ $
+" = = 9 •(•) cos(0%•) ?• = 9 • • cos(0%•) ?• =
〈cos(0%•) , cos(0%•)〉 2 >$ >$

$
• • sen(0%•) 2• cos(0%•) 2 sen(0%•) 1
= 2 9 • • cos(0%•) ?• = 2 B + − CE =
0% (0%)• (0%)D
- 0

1• ∙ sen(0%) 2 ∙ 1 ∙ cos(0%) 2 ∙ sen(0%) 0• ∙ sen(0) 2 ∙ 0 ∙ cos(0) 2 ∙ sen(0)

= 2B + − C − 2B + − C=
0% (0%)• (0%)D 0% (0%)• (0%)D

sen(0%) 2 cos(0%) 2 sen(0%) 0 2(−1)" 2∙0 4(−1)"

2B + − C = 2 B + − C =
0% (0%)• (0%)D 0% (0%)• (0%)D (0%)•

〈•(•), cos(0 ∙ 0 ∙ •)〉 2 $ $ $

1D 2
+- = = 9 •(•) ?• = 9 • • ?• = 2 9 • • ?• = 2 ∙ =
〈cos(0 ∙ 0 ∙ •) , cos(0 ∙ 0 ∙ •)〉 2 >$ >$ - 3 3

Y la serie de Fourier 2-periódica en (−1,1) para •(•) = • • es:

 4(−1)"
&

•(•) = +
1
cos(#$•)
3 (#$)%
"'*

(b) Para calcular la primera serie, se aplica el teorema de la convergencia puntual en

• = 0, como (•) es continua en este punto, entonces la serie de Fourier !(•)
converge en el mismo valor de la función (0):

(0 − ℎ) + (0 + ℎ) (0 − 0) + (0 + 0)
!(0) = lim = = (0) = 0' = 0
"→$ 2 2
5 5 5
1 4(−1), 4 (−1), 1 (−1), -'
(0) = 0 = + *
'
cos(-. ∙ 0) ⇒ * =− ⇒ * = −
3 (-.)' - ' . ' 3 .' 12
,67 ,67 ,67
5
(−1),:7 - '
* =
.' 12
,67

Para calcular la segunda serie, se aplica el teorema de la convergencia puntual en el extremo

del intervalo • = 1 el cual la serie de Fourier !(•) converge en el valor medio de la función
evaluada en los extremos (1 −) y (−1 +):

lim (•) + lim ? (•) (1 − 0) + (−1 + 0) 1' + (−1)'

!(1) = ;→7< ;→>7
= = =1
2 2 2
5 5 5
1 4(−1), 4 (−1), 1 (−1)', 2 ∙ - '
!(1) = 1 = +* cos(-. ∙ 1) ⇒ * (−1) ,
= 1 − ⇒ * =
3 (-.)' -' .' 3 .' 4∙3
,67 ,67 ,67
5
1 -'
* =
.' 6
,67

(c) Para calcular el valor de la última serie se utiliza la igualdad de Parseval

5 5 '
2 D/' |F$ |' 2 7 |2/3|' 4(−1),
B | (•)|' C• = + *(|F, |' + |G, |' ) ⇒ B | (•)|' C• = +*H H
A >D/' 2 2 >7 2 (-.)'
,67 ,67
Calculando la integral
7 7 7 7
1J 2
B | (•)|' C• = B |• ' |' C• = B • I C• = 2 B • I C• = 2 ∙ =
>7 >7 >7 $ 5 5

Sustituyendo el valor de la integral y despejando la sumatoria

5 ' 5
2 2 4/9 4' (−1), 1 - I 2 1/9 -I 2 2 2- I 9 − 5 2- I 1 -I
L M= + I*H ' H ⇒ * = L − M = L − M = L M = L M =
2 5 2 - . .I 4' 5 2 4' 5 9 4' 45 4 45 90
,67 ,67
5
1 -I
* =
.I 90
,67
 PROBLEMA 5

Sea •(•) = |sen •| definida en el intervalo −• < • < • .

(a) Encuentre la serie de Fourier de (•) .

(b) Usando la parte (a) calcular el valor de las siguientes series.
$ $
1 1
! # y !
4" − 1 (4"# − 1)#
%&' %&'

SOLUCIÓN:

(a) La función : ℝ → ℝ es una función par, por lo que su serie de Fourier 2p-periódica es
una serie de Fourier-coseno y los coeficientes -% = 0.

Se calculan los coeficientes .% tales que

$ 2•"
2•" 〈 (•), cos ; •>〉 2 A/# 2•"
(•) =
./
+ ! .% cos 5 •7 donde .% = 6 = @ (•) cos 5 •7 D•
6 2•" 2•"
2 〈cos ; •> , cos ; •>〉 6 CA/# 6
%&'
6 6
Poniendo 6 = 2• se calculan los coeficientes .% . Para resolver la integral se usa la fórmula
de trigonométrica de integración deducida en el problema anterior:

2 E 2 E 2 E
.% = @ (•) cos("•) D• = @ (•) cos("•) D• = @ sen • cos("•) D• =
2• CE • / • /

2 E1 2 1 cosF(1 + ")•G cosF(1 − ")•G •

@ FsenF(1 + ")•G + senF(1 − ")•GGD• = − ∙ I + JK
• / 2 • 2 1+" 1−" 0

1 cosF(1 + ")•G cosF(1 − ")•G 1 cos(0) cos(0)

=− I + J+ I + J=
• 1+" 1−" • 1+" 1−"

1 cos(• + "•) 1 cos(• − "•) 1 1 cos("•) + 1 cos("•) + 1

= I− + − + J= I + J=
• 1+" 1+" 1−" 1−" • 1+" 1−"
1 + cos("•) 1 1 1 + cos("•) 1 − " + 1 + "
= 5 + 7= 5 7=
• 1+" 1−" • (1 + ")(1 − ")

# "• # "•
1 + cos("•) 2 2 1 + cos("•) 2 2 cos ; 2 > 4 cos ; 2 >
= ∙ = ∙ = ∙ = ∙
• 1 − "# • 1 − "# • 1 − "# • 1 − "#
El término independiente •• se encuentra evaluando en = 0 la sucesión !" :

2 '/* 2 . 2 . 2 . 2 - 4
!• = $ %(&) ,& = $ %(&) ,& = $ %(&) ,& = $ sen & ,& = − ∙ cos & 4 =
# +'/* 2- +. - • - • - 0 -

Y la serie de Fourier 2p-periódica en (−-, -) para %(&) es:

-
4 cos 9 2 :
< *
2
%(&) = + 8 ∙ cos( &)
- - 1− *
">?

(b) Se aplica el teorema de la convergencia puntual en & = 0, como %(&) es continua en

este punto, entonces la serie de Fourier de %(&) converge en %(0):

- -
4 cos 9 2 : cos * 9:
< * <
2 2 =1
%(0) = 0 ⇒ 0= +8 ∙ cos( ∙ 0) ⇒ 8
- - 1− * *−1 2
">? ">?

-
<
cos * 9: < <

8 2 =0+ 1 +0+ 1 +0+⋯= 8 1

⇒ 8
1
=
1
*−1 2 −1
* 4 −1
* 4 −1
* 4 −1 2
*
">? ">? ">?

Para calcular la sumatoria se usa la igualdad de Parseval:

< <
2 '/* |!• |* 2 . |!• |*
$ |%(&)|* ,& = + 8(|!" |* + |C" |* ) ⇒ $ |%(&)|* ,& = + 8|!" |*
# +'/* 2 2- +. 2
">? ">?

Se calcula primero el valor de la integral de |%(&)|* :

1 . 2 . 2 . 2 . 1 − cos(2&) 1 -
$ |%(&)| ,& = $ |%(&)| ,& = $ |sen &| ,& = $
* * *
,& = ∙ & 4 = 1
- +. - • - • - • 2 - 0
Luego se calcula la serie de |!" |* :
<
1 . |!• |* |4/-|* 8
8|!" |* = $ |%(&)|* ,& − =1− =1− *
- +. 2 2 -
">?

Por otro lado

- * -
<
4
<
cos * 9 : 16
<
cos G 9 :
8|!" |* = 8 E ∙ 2 E = *8 2
- 1− * - (1 − * )*
">? ">? ">?

-
<
cos G 9
: 1 1 1
<
1
8 2 = + + +⋯= 8
(1 − * )* (1 − 2* )* (1 − 4* )* (1 − 6* )* (4 * − 1)*
">? ">?

- -
16
<
cos G 9 : 8
<
1
<
cos G 9 : - * 1
8 2 = 1 − ⇒ 8 =8 2 = −
-* (1 − * )* -* (4 * − 1)* (1 − * )* 16 2
">? ">? ">?
PROBLEMA 6

Para una cierta función •: ℝ → ℝ cumpliendo •(• + 2•) = •(•) y •(−•) = −•(•)
resulta que
$%
! •(•) sen("•) #• = 2'* para " = 1,2,3, …
&

Calcular el valor de la integral

$%
! |•(•)|$ #•
&

SOLUCIÓN:

Como se cumple que •(−•) = −•(•) entonces •(•) es una función impar y la serie de
Fourier •(•) es una serie de Fourier seno (.* = 0) . Debido a la ortogonalidad de las funciones
seno en el intervalo [0,2•] se tienen que los coeficientes /* se calculan mediante
$%
〈•(•), sen("•)〉 ∫ •(•) sen("•) #• 2 $%
/* = = & $% = ! •(•) sen("•) #•
〈sen("•) , sen("•)〉 ∫& |sen("•)|$ #• 2• &
1 $% 1
= ! •(•) sen("•) #• = ∙ 2'*
• & •

Usando la igualdad de Parseval en el intervalo [0,2•]:

; ;
2 9 |.& |$ 2 $%
! |•(•)| $
#• = + :(|.* |$ + |/* |$ ) ⇒ ! |•(•)|$ #• = :|/* |$
8 & 2 2• &
*<> *<>

Recordando la serie geométrica, que sirve para calcular la serie de |/* |$ :

;
1
: @* = si |@| < 1
1−@
*<&

Calculando la integral de |•(•)|$ :

; ; ; ;
$%
1 $
• 1
! |•(•)|$ #• = • :|/* |$ = • : B ∙ 2'* B = $ :|2'* |$ = : 2'$* =
& • • •
*<> *<> *<> *<>

; ; ; ;
1 1 1 1 1 1 1 1 1 1 1 1
= :(2'$ )* = : * = : *D> = : *= E F= G H=
• • 4 • 4 4• 4 4• 1 − 1 • 4−1 3•
*<> *<> *<>'> *<&
4
 PROBLEMA 7

Una función •: ℝ → ℝ cumple •( + 2!) = •( ) y para −! ≤ ≤ ! está dada por

(! + ) si −! ≤ <0
•( ) = $
(! − ) si 0≤ ≤!

(c) Usando la parte (a) encuentre la serie de Fourier 2•-periódica para .

(d) Demuestre que

$ $ /
1 16 (−1)%
! = *! .
(2" + 1)# 15 (2" + 1)-
%&' %&'

SOLUCIÓN:

(a) La función : (−•, •) → ℝ es una función impar, por lo que su serie de Fourier 2p-
periódica es una serie de Fourier-seno ( 7% = 0 ).

Se calculan los coeficientes 9% tales que

2•"
$
2•" 〈 (;), sen C ;D〉 2 G// 2•"
(;) = ! 9% sen < ;? donde 9% = > = F (;) sen < ;? J;
> 2•" 2•"
〈sen C ;D , sen C ;D〉 > IG// >
%&@
> >
Para > = 2• se calculan los coeficientes 9% . Para calcular la integral se utilizan propiedades
de integración por distribuciones calculando la segunda derivada generalizada y definiendo
K: ℝ → ℝ como:

(;) si −• ≤; ≤•
K(;) = L
0 en otro caso
〈 (;), sen(";)〉 2 N 2 N
9% = = F (;) sen(";) J; = F (;) sen(";) J;
〈sen(";) , sen(";)〉 2• IN • '

2 $ 2 2 1 J/
= F K(;) sen(";) J; = 〈K(;), sen(";)〉 = 〈K(;), − / / (sen(";))〉 =
• I$ • • " J;

2 2
=− (−1)/ 〈KOP%
QQ (;),
sen(";)〉 = − / 〈−2 ∙ 1(',N) (;) + •S(;) + •S(; − •), sen(";)〉 =
•" / •"
 4
=
2
••• (!,")
〈1 (#), sen(•#)〉 − • 〈&(#) + &(# − •), sen(•#)〉 =
•
4 $
2
= 1(!,") (#) sen(•#) &# − (sen(• ∙ 0) + sen(• ∙ •)) =
••• %$ ••

• ••
4 "
4 cos(•#) • 4 8 sen / 2 3
= • sen(•#) &# = − • ∙ - = . (1 − cos(•#)) = ∙
•• ! •• • 0 •• • •.

Y la serie de Fourier 2p-periódica para 5(#) es:

• ••
8 sen / 2 3
$

5(#) = 6 ∙ sen(•#)
• •.
79:

(b) Se aplica el teorema de la convergencia puntual en # = •/2, como 5(#) es continua

en este punto, entonces la serie de Fourier de 5(#) converge en 5(•/2):

• •• ••
8 sen / 2 3 sen. / 3
$ $
• • • •• •• •• 2 =•
.
5 / 3 = /• − 3 = ⇒ =6 ∙ sen / 3 ⇒ 6
2 2 2 4 4 • • . 2 •. 32
79: 79:

••
$
sen. / 3 $ $
2 = 1 + 0 − 1 + 0 + 1 + ⋯ = 6 (−1) (−1)7 •.
7
6 ⇒ 6 =
•. 1. 3. 5. (2• + 1). (2• + 1). 32
79: 79! 79!

Para calcular la segunda serie se utiliza la igualdad de Parseval

$ $
2 C/• |D! |• 2 "
|5(#)|• &# = + 6(|D7 |• + |E7 |• ) ⇒ |5(#)|• &# = 6|E7 |•
B %C/• 2 2• %"
79: 79:

Calculando la integral de |5(#)|• se tiene que

$
1 "
2 "
2 "
•F :
•F
6|E7 |• = |5(#)|• &# = |5(#)|• &# = |#(• − #)|• &# = (1 − # • )• &# =
• %" • ! • ! 8 ! 15
79:

Por otro lado

•• • ••
$
8 sen• / 3
$
64
$
senF / 3
6|E7 |• = 6 G ∙ 2 G = •6 2
• • . • • I
79: 79: 79:

••
$
senF / 3 $ $

6 2 = 1 +0+ 1 +0+⋯= 6 1
⇒
64
6
1
=
•F
• I 1I 3 I (2• + 1)I •• (2• + 1)I 15
79: 79! 79!

$ $ •
(−1)7
• •
1 •F •• •I 32• • . 32 • . 16
6 = ∙ = = J K = J K = L6 M
(2• + 1)I 15 64 15 ∙ 64 15 ∙ 64 32 15 ∙ 2 32 15 (2• + 1).
79! 79!
PROBLEMA 8

Encuentre la función •(•, •) en 0 < • < • , 0 < • < • tal que

$%& $%&
⎧ + = 0 si 0 < • < • , 0 < • < •
⎪ $• % $• %
⎪
$& $&
(0, •) = (•, •) = 0
⎨ $• $•
⎪
⎪ &(•, 0) = 0
⎩ &(•, •) = •
SOLUCIÓN:

Aplicando separación de variables. Sea &(•, •) = '(•)*(•)

⎧$ & = ' -- (•)*(•)

%
⎪ $• % $%& $%&
⇒ + = 0 ⇒ ' -- (•)*(•) + '(•)* -- (•) = 0
⎨$ & $• % $• %
%
⎪$• % = '(•)* (•)
--
⎩
' -- (•) * -- (•)
=− = −12
'(•) *(•)

$&
(0, •) = ' - (0)*(•) = 0
3 $• ⇒ ' - (0) = ' - (•) = 0 ya que *(•) ≠ 0
$&
(•, •) = ' - (•)*(•) = 0
$•

Se reescribe el problema de autofunciones como:

' -- (•) + 12 '(•) = 0

5* -- (•) − 12 *(•) = 0
' - (0) = ' - (•) = 0
CASO 1: 12 > 0 . Sea 12 = 62% con 62 > 0

' -- (•) + 62% '(•) = 0 ⇒ '(•) = 78 cos(62 •) + 7% sen(62 •)

' - (•) = −62 78 sen(62 •) + 62 7% cos(62 •)

' - (0) = 0 ⇒ 0 = −62 78 sen(62 ∙ 0) + 62 7% cos(62 ∙ 0) ⇒ 62 7% = 0 ⇒ 7% = 0

' - (•) = 0 ⇒ 0 = −62 78 sen(62 ∙ •) + 62 7% cos(62 ∙ •) ⇒ 62 78 sen(•62 ) = 0

Pero 78 ≠ 0 ya que se buscan soluciones no triviales.

Como 78 ≠ 0 y 62 ≠ 0 ⇒ sen(•62 ) = 0 ⇒ •62 = :• ⇒ 62 = : para : = 1,2,3 …

* -- (•) − 62% *(•) = 0 ⇒ *(•) = A8 cosh(62 •) + A% senh(62 •)

En este caso la familia de autofunciones viene dada por:

&2 (•, •) = 78 cos(62 •) (A8 cosh(62 •) + A% senh(62 •))

&(•, 0) = 0 ⇒ 0 = 78 cos(62 •) (A8 cosh(62 ∙ 0) + A% senh(62 ∙ 0)) ⇒ A8 = 0

 •• (•, 0) = •• cos(•• •) ! senh(•• ") = #• cos(•• •) senh(•• ")

CASO 2: $• = 0

% && (•) = 0 ⇒ %(•) = •• • + •! y - && (") = 0 ⇒ -(") = •" + !

% & (0) = % & (.) = 0 ⇒ •• = 0 ⇒ %(•) = •! ⇒ •/ (•, ") = %(•)-(") = •! ( •" + !)

•(•, 0) = 0 ⇒ 0 = •! ( • ∙0+ !) ⇒ ! =0 ⇒ •/ (•, ") = •! •" = 2"

CASO 3: $• < 0 . Sea $• = −••! con •• > 0

% && (•) − ••! %(•) = 0 ⇒ %(•) = •• cosh(•• •) + •! senh(•• •)

% & (•) = •• •• senh(•• •) + •• •! cosh(•• •)

% & (0) = 0 ⇒ 0 = •• •• senh(•• ∙ 0) + •• •! cosh(•• ∙ 0) ⇒ •• •! = 0 ⇒ •! = 0

% & (.) = 0 ⇒ 0 = •• •• senh(•• ∙ .) + •• ∙ 0 ∙ cosh(•• ∙ .) ⇒ •• •• senh(.•• ) = 0

Como •• ≠ 0 entonces •• senh(.•• ) no se anula y •• = 0 obteniéndose la solución trivial.

Este caso se obtiene •(•, ") = 0

Se plantea una "Superposición" en serie de Fourier sumando todas las soluciones:

6

•(•, ") = 2" + 5 #• cos(•• •) senh(•• ")

•7•
Aplicando la condición de borde •(•, .) = • :
6

•(•, .) = • = 2 ∙ 0 + 5 #• cos(•• •) senh(•• ")

•7•
Los coeficientes #• son obtenidos a partir de la ortogonalidad de las funciones cos(•• •) en
el intervalo 0 ≤ • ≤ . .

〈•(•, .), cos(•• •)〉 〈•, cos(;•)〉 2 C 2 • sen(;•) . 2 C sen(;•)

#• = = = A • cos(;•) B• = ∙ D − A B•
〈cos(•• •) , cos(•• •)〉 ./2 . / . ; 0 . / ;

2 . 2 4 !"
=0+ cos(;•) D = ! (cos(;.) − 1) = − • sen• #
.; !
0 .; .; 2

Calculando el valor del término independiente $

%& 〈((*, "), cos(0 ∙ *)〉 1 4 1 4 1 "• "

$= = = / ((*, ")3* = / *3* = ∙ =
2 〈cos(0 ∙ *) , cos(0 ∙ *)〉 " & " & " 2 2

Sustituyendo los coeficientes se obtiene la solución en 0 < * < " , 0 < 6 < "
:
" 4 !"
((*, 6) = 6 − 8 • sen• # cos(!*) senh(!6)
2 "! 2
;>?
PROBLEMA 9

Sea 0 < • < 1 . Encuentre la función (!, ") tal que

'* '
⎧ = si 0 < ! < 1 , " > 0
⎪ '! '"
*
' '
(0, ") = (1, ") = 0
⎨ '! '!
⎪ 1 si 0 < ! < •
(!, 0) = -
⎩ 0 si • ≤ ! < 1

SOLUCIÓN:

Aplicando separación de variables. Sea (!, ") = /(!)2(")

'*
= / 44 (!)2(") '* '
3 '! *
⇒ = ⇒ / 44 (!)2(") = /(!)2 4 (")
' '! * '"
= /(!)2 4 (")
'"
/ 44 (!) 2 4 (")
= = −78
/(!) 2(")

'
(0, ") = / 4 (0)2(") = 0
3 '! ⇒ / 4 (0) = / 4 (1) = 0 ya que 2(") ≠ 0
'
(1, ") = / 4 (1)2(") = 0
'!

Se reescribe el problema de autofunciones como

/ 44 (!) + 78 /(!) = 0
: 2 4 (") + 78 2(") = 0
/ 4 (0) = / 4 (1) = 0

CASO 1: 78 > 0 . Sea 78 = ?8* con ?8 > 0

/ 44 (!) + ?8* /(!) = 0 ⇒ /(!) = @A cos(?8 !) + @* sen(?8 !)

/ 4 (!) = −?8 @A sen(?8 !) + ?8 @* cos(?8 !)

/ 4 (0) = 0 ⇒ 0 = −?8 @A sen(?8 ∙ 0) + ?8 @* cos(?8 ∙ 0) ⇒ ?8 @* = 0 ⇒ @* = 0

/ 4 (1) = 0 ⇒ 0 = −?8 @A sen(?8 ∙ 1) + ?8 @* cos(?8 ∙ 1) ⇒ ?8 @A sen ?8 = 0

Pero @A ≠ 0 ya que se buscan soluciones no triviales.

Como @A ≠ 0 y ?8 ≠ 0 ⇒ sen ?8 = 0 ⇒ ?8 = CD para C = 1,2,3 …

2 4 (") + ?8* 2(") = 0 ⇒ 2(") = @G H IJK M

L

En este caso la familia de autofunciones viene dada por

8 (!, ") = /(!)2(") = @A cos(?8 !) @G H IJK M = N8 H IJK M cos(?8 !)

L L
 CASO 2: •• = 0
!! (") (") = %& " + %'
=0 ⇒ y * ! (,) = 0 ⇒ *(,) = %-
! (0) ! (.) (") = %'
= = 0 ⇒ %& = 0 ⇒

/1 (", ,) = (")*(,) = %' %- = 3

CASO 3: •• < 0 . Sea •• = −5•' con 5• > 0

!! (")
− 5•' (") = 0 ⇒ (") = %& cosh(5• ") + %' senh(5• ")
! (")
= 5• %& senh(5• ") + 5• %' cosh(5• ")
! (0)
= 0 ⇒ 0 = 5• %& senh(5• ∙ 0) + 5• %' cosh(5• ∙ 0) ⇒ 5• %' = 0 ⇒ %' = 0
! (1)
=0 ⇒ 0 = 5• %& senh(5• ∙ 1) + 5• ∙ 0 ∙ cosh(5• ∙ 1) ⇒ 5• %& senh 5• = 0

Como 5• ≠ 0 entonces 5• senh 5• no se anula y %& = 0 obteniéndose la solución trivial.

Este caso se obtiene /(", ,) = 0

Se plantea una "Superposición" en serie de Fourier sumando todas las soluciones:

D

/(", ,) = 9 :• ; ?@A C cos(5• ")

B

•E&

Aplicando la condición de borde /(", 0) :

D
1 si 0 < " < G
/(", 0) = F = 3 + 9 :• cos(5• ")
0 si G ≤ " < 1
•E&

Los coeficientes :• son obtenidos a partir de la ortogonalidad de las funciones cos(5• ") en
el intervalo 0 < " < 1 .

〈/(", 0), cos(5• ")〉 〈/(", 0), cos(K.")〉 P &

:• = = = 2 N 1 ∙ cos(K.") O" + 2 N 0 ∙ cos(K.") O" =
〈cos(5• ") , cos(5• ")〉 1/2 1 P

sen(K.") G 2 2 sen(K.G)
=2∙ Q = (sen(K.G) − 0) =
K. K. K.
0
Calculando el valor del término independiente 3

:1 〈/(0, R), cos(0 ∙ R)〉 1 & P &

3= = = N /(", 0)O" = N /(", 0)O" + N /(", 0)O" = G
2 〈cos(0 ∙ R) , cos(0 ∙ R)〉 1 1 1 P

Sustituyendo los coeficientes se obtiene la solución en 0 < " < 1 , , > 0

D
2 sen(K.G) ?(•S)B C
/(", ,) = G + 9 ; cos(K.")
K.
•E&
PROBLEMA 10

Encuentre la función •(•, •) tal que

$%• $%•
⎧ = % si 0 < • < ' , • > 0
⎪ $• $•
%
•(0, •) = •(', •) = 0
⎨ •(•, 0) = 2 sen • − sen(3•)
⎪ $•
(•, 0) = •(' − •)
⎩ $•

SOLUCIÓN:

Aplicando separación de variables. Sea •(•, •) = +(•)-(•)

$%•
⎧ = + .. (•)-(•)
$• % $%• $%•
⇒ = ⇒ + .. (•)-(•) = +(•)- .. (•)
⎨$ •
%
.. (•)
$• % $• %
⎩ $• % = +(•)-

+ .. (•) - .. (•)
= = −14
+(•) -(•)

•(0, •) = +(0)-(•) = 0
5 ⇒ +(0) = +(') = 0 ya que -(•) ≠ 0
•(', •) = +(')-(•) = 0

Se reescribe el problema de autofunciones como

+ .. (•) + 14 +(•) = 0
7 - .. (•) + 14 -(•) = 0
+(0) = +(') = 0

CASO 1: 14 > 0 . Sea 14 = 94% con 94 > 0

+ .. (•) + 94% +(•) = 0 ⇒ +(•) = :; cos(94 •) + :% sen(94 •)

+(0) = 0 ⇒ 0 = :; cos(94 ∙ 0) + :% sen(94 ∙ 0) ⇒ :; = 0

+(') = 0 ⇒ 0 = 0 ∙ cos(94 ∙ ') + :% sen(94 ∙ ') ⇒ :% sen('94 ) = 0

Pero :% ≠ 0 ya que se buscan soluciones no triviales.

Como :% ≠ 0 ⇒ sen('94 ) = 0 ⇒ '94 = @' ⇒ 94 = @ para @ = 1,2,3 …

- .. (•) + 14 -(•) = 0 ⇒ -(•) = B; cos(94 •) + B% sen(94 •)

En este caso la familia de autofunciones viene dada por

•4 (•, •) = +(•)-(•) = :% sen(94 •) (B; cos(94 •) + B% sen(94 •))

•4 (•, •) = C4 sen(94 •) cos(94 •) + D4 sen(94 •) sen(94 •)

CASO 2: •• = 0
!! (") (") = %& " + %'
=0 ⇒

(0) = 0 ⇒ 0 = %& ∙ 0 + %' ⇒ %' = 0

(,) = 0 ⇒ 0 = %& ∙ , + 0 ⇒ %& = 0

Como %& = %' = 0 ⇒ (") = 0 ⇒ solución trivial -(", /) = 0

CASO 3: •• < 0 . Sea •• = −2•' con 2• > 0

!! (")
− 2•' (") = 0 ⇒ (") = %& cosh(2• ") + %' senh(2• ")

(0) = 0 ⇒ 0 = %& cosh(2• ∙ 0) + %' senh(2• ∙ 0) ⇒ %& = 0

(,) = 0 ⇒ 0 = 0 ∙ cosh(2• ∙ ,) + %' senh(2• ∙ ,) ⇒ %' senh(,2• ) = 0

Como 2• ≠ 0 entonces senh(,2• ) no se anula y %' = 0 obteniéndose la solución trivial

Este caso se obtiene -(", /) = 0

La familia de autofunciones en 0 < " < , , / > 0 son

-• (", /) = 4• sen(2• ") cos(2• /) + 5• sen(2• ") sen(2• /) donde 2• = 6 para 6 = 1,2,3 …

Se plantea una "Superposición" en serie de Fourier sumando todas las soluciones del
problema:
;

-(", /) = :(4• sen(2• ") cos(2• /) + 5• sen(2• ") sen(2• /))

•?&

Aplicando la primera condición inicial -(", 0) = 2 sen " − sen(3") :

;

-(", 0) = :(4• sen(2• ") cos(2• ∙ 0) + 5• sen(2• ") sen(2• ∙ 0))

•?&

-(", 0) = 2 sen " − sen(3") = : 4• sen(2• ")

•?&

Los coeficientes 4• son obtenidos a partir de la ortogonalidad de las funciones sen(2• ") en
el intervalo 0 < " < , . Además, la condición de -(", 0) es una combinación lineal de
funciones seno por lo que se tiene que

0 si 6 ≠ A
C
@ sen(A") sen(6") B" = E ,
D si 6 = A
2

〈-(", 0), sen(2• ")〉 〈2 sen " − sen(3") , sen(6")〉 2 si 6 = 1

4• = = = I −1 si 6 = 3
〈sen(2• ") , sen(2• ")〉 ,/2
0 en otro caso
Derivando la solución respecto a • y aplicando la segunda condición inicial

!
-
(", •) = #(−%& '& sen(%& ") sen(%& •) + %& *& sen(%& ") cos(%& •))
•
&./

-
!
(", 0) = #(−%& '& sen(%& ") sen(%& ∙ 0) + %& *& sen(%& ") cos(%& ∙ 0))
•
&./

-
!
(", 0) = "(2 − ") = # %& *& sen(%& ")
•
&./

Los coeficientes %& *& son obtenidos a partir de la ortogonalidad de las funciones sen(%& ")
en el intervalo 0 < " < 2 .

!
〈 (", 0), sen(%& ")〉 〈"(2 − "), sen(5")〉 2 1 :9
%& *& = • = = 〈"(2 − "), − 9 9 (sen(5"))〉
〈sen(%& ") , sen(%& ")〉 2/2 2 5 :"

2 :9 2 4
=− 〈 (2" − " 9 ),
sen(5")〉 = − 〈−2, sen(5")〉 = 〈1, sen(5")〉 =
259 :" 9 259 259

4 ?
4 cos(5") 2 4 8 52
= > 1 ∙ sen(5") :" = − ∙ A = B (1 − cos(52)) = B sen9 D E
25 @
9 25 9 5 0 25 25 2

8 52 8 52
%& *& = sen9 D E ⇒ *& = sen9 D E
25 B 2 25 H 2

Sustituyendo los coeficientes '& y *& en la solución

- -
8 52
!(", •) = # '& sen(5") cos(5•) + # sen9 D E sen(5") sen(5•)
25 H 2
&./ &./

-
8 52
!(", •) = 2 sen " cos • − sen(3") cos(3•) + # sen9 D E sen(5") sen(5•)
25 H 2
&./
PROBLEMA 11

Encuentre la función •(•, •) acotada en • > 0 , 0 < • < ! tal que

&'• &'•
⎧ + = 0 si • > 0 , 0 < • < !
⎪ &• ' &• '
&• &•
⎨ (•, 0) = (•, !) = 0
⎪ &• &•
⎩ •(0, •) = •

SOLUCIÓN:

Aplicando separación de variables. Sea •(•, •) = *(•)-(•)

⎧& • = * .. (•)-(•)
'
⎪ &• ' &'• &'•
⇒ + = 0 ⇒ * .. (•)-(•) + *(•)- .. (•) = 0
⎨& • &• ' &• '
'
⎪&• ' = *(•)- (•)
..
⎩
* .. (•) - .. (•)
=− = 23
*(•) -(•)

⎧ &• (•, 0) = *(•)- . (0) = 0

⎪ &•
⇒ - . (0) = - . (!) = 0 ya que *(•) ≠ 0
⎨&• (•, !) = *(•)- . (!) = 0
⎪&•
⎩
Se reescribe el problema de autofunciones como:

* .. (•) − 23 *(•) = 0
5 - .. (•) + 23 -(•) = 0
- . (0) = - . (!) = 0

CASO 1: 23 > 0 . Sea 23 = 63' con 63 > 0

- .. (•) + 63' -(•) = 0 ⇒ -(•) = 78 cos(63 •) + 7' sen(63 •)

- . (•) = −63 78 sen(63 •) + 63 7' cos(63 •)

- . (0) = 0 ⇒ 0 = −63 78 sen(63 ∙ 0) + 63 7' cos(63 ∙ 0) ⇒ 63 7' = 0 ⇒ 7' = 0

- . (!) = 0 ⇒ 0 = −63 78 sen(63 ∙ !) + 63 7' cos(63 ∙ !) ⇒ 63 78 sen(!63 ) = 0

Pero 78 ≠ 0 ya que se buscan soluciones no triviales.

Como 78 ≠ 0 y 63 ≠ 0 ⇒ sen(!63 ) = 0 ⇒ !63 = :! ⇒ 63 = : para : = 1,2,3 …

* .. (•) − 63' *(•) = 0 ⇒ *(•) = A8 B CD E + A' B FCD E

B CD E es una función no acotada en el intervalo • > 0 y B FCD E es una función acotada en el

intervalo • > 0 y para que •3 (•, •) sea una función acotada, la constante A8 tiene que ser
cero. En este caso la familia de autofunciones viene dada por:

•3 (•, •) = A' B FCD E 78 cos(63 •) = G3 B FCD E cos(63 •)

 CASO 2: •• = 0
!! (") (") = %& " + %'
=0 ⇒ y * !! (,) = 0 ⇒ *(,) = -& , + -'
! (0) ! (.) (") = %'
= = 0 ⇒ %& = 0 ⇒

, es una función no acotada en el intervalo 0 < , < ∞ por lo que la constante -& = 0

12 (,, ") = *(,) (") = -' %' = 4

CASO 3: •• < 0 . Sea •• = −6•' con 6• > 0

!! (")
− 6•' (") = 0 ⇒ (") = %& cosh(6• ") + %' senh(6• ")
! (")
= 6• %& senh(6• ") + 6• %' cosh(6• ")
! (0)
= 0 ⇒ 0 = 6• %& senh(6• ∙ 0) + 6• %' cosh(6• ∙ 0) ⇒ 6• %' = 0 ⇒ %' = 0
! (.)
=0 ⇒ 0 = 6• %& senh(6• ∙ .) + 6• ∙ 0 ∙ cosh(6• ∙ .) ⇒ 6• %& senh(.6• ) = 0

Como 6• ≠ 0 entonces 6• senh(.6• ) no se anula y %' = 0 obteniéndose la solución trivial.

Este caso se obtiene 1(,, ") = 0

Se plantea una "Superposición" en serie de Fourier sumando todas las soluciones:

C

1(,, ") = 9 :• ; ?@A B cos(6• ")

•D&

Aplicando la condición de borde 1(0, ") = " :

C

1(0, ") = " = 4 + 9 :• cos(6• ")

•D&

Los coeficientes :• son obtenidos a partir de la ortogonalidad de las funciones cos(6• ") en
el intervalo 0 < " < . .

〈1(0, "), cos(6• ")〉 〈", cos(G")〉 2 L 2 " sen(G") . 2 L sen(G")

:• = = = J " cos(G") K" = ∙ M − J K"
〈cos(6• ") , cos(6• ")〉 ./2 . 2 . G 0 . 2 G
2 . 2 4 G.
= 0 + ' cos(G") M = ' (cos(G.) − 1) = − ' sen' P Q
.G 0 .G .G 2

Calculando el valor del término independiente 4

:2 〈1(0, "), cos(0 ∙ ")〉 1 L 1 L 1 .' .

4= = = J 1(0, ")K" = J "K" = ∙ =
2 〈cos(0 ∙ ") , cos(0 ∙ ")〉 . 2 . 2 . 2 2

Sustituyendo los coeficientes se obtiene la solución en , > 0 , 0 < " < .

C
. 4 G.
1(,, ") = − 9 ' sen' P Q ; ?•B cos(G")
2 .G 2
•D&
PROBLEMA 12

Sea • > 0. Calcule la transformada de Fourier de la función definida por

(!) = " #$ sen(•!)

% /&

Y exprésela en términos de funciones hiperbólicas.

SOLUCIÓN:

" '*$ − " #'*$

sen(•!) =
2,

" '*$ − " #'*$ 1 1

(!) = " #$ sen(•!) = " #$ = " #$ /& " '*$ − " #$ /& " #'*$
% /& % /& % %

2, 2, 2,

Sea -(.) la transformada de Fourier de la función (!) definida por

1 7
-(.) ≡ ℱ [ (!)] = 6 (!) " #'8$ 9!
25 #7

Luego, usando los teoremas operacionales:

1
ℱ:" #$ ;= " #8
% /& % /&

√25
1
ℱ:" #$ " '*$ ; = " #(8#*)
% /& % /&

√25
1
ℱ:" #$ " #'*$ ; = " #(8?*)
% /& % /&

√25

Sustituyendo las expresiones:

1 $% 1 $%
-(.) = ℱ [ (!)] = ℱ @" # & " '*$ A − ℱ @" # & " #'*$ A
2, 2,

1 1 #(8#*)% 1 1 #(8?*)% 1 #
8% ?*% #&*8
#
8% ?*% ?&*8
= " & − " & = B" & −" & C=
2, √25 2, √25 2,√25

1 8% ?*% 8% ?*% 1 8% ?*%

= B" # & " *8 − "# & " #*8 C = "# & (" *8 − " #*8 )
2,√25 2,√25

1 8% ?*% " *8 − " #*8 1 8% ?*% 1 #8% ?*%

= "# & ∙ = " # & senh(•.) = −, " & senh(•.)
,√25 2 ,√25 √25
PROBLEMA 13

Sean • > 0, • > 0 . Usando transformadas de Fourier demuestre la siguiente fórmula de

integración
& "#$
! sen(•%) •
*% = arctan + -
' % •

SOLUCIÓN:

& "#$ &

! sen(•%) 1 ! "#|$| sen(•%)
*% = *%
' % 2 "& %

∙ !.34 = •(•)•(•)
! "#|$| sen(•%) sen(•%) "#|$|
=
% ./3/4
% 7($)
5($)

sen( •)
•(•) = ∈ ℒ # (ℝ)
•

•(•) = % &'|*| ∈ ℒ # (ℝ)

Como •, • ∈ ℒ # (ℝ), se puede aplicar el teorema de Parseval donde

- -
+ •(•) ...... .......
•(•)/• = 20 + •1(3)•4(3) /3
&- &-

Hallando cada transformada de Fourier

sen( •) 1
ℱ [•(•)] = ℱ 6 7 ⇒ •1(3) = 1 (3)
• 2 (&;,;)

1 @ .......
......>
ℱ [•(•)] = ℱ<% &'|*| > = ℱ<•(•) ⇒ •4(3) = ∙ # = •4(3)
0 3 + @#

Como las funciones •, • y sus transformadas son funciones reales, entonces sus conjugadas
son las mismas funciones. Sustituyendo las expresiones y simplificando:
-
sen( •) ........ -
1 1 @
+ % &'|*| /• = 20 + 1(&;,;) (3) ∙ # /3
&- • &- 2 0 3 + @#
-
1 ;
1 ;
1
= @+ 1(&;,;) (3) /3 = @ + /3 = 2@ + /3
&- 3 +@
# #
&; 3 + @
# #
B 3 +@
# #

1 3
= 2@ ∙ arctan C D E = 2 arctan C D
@ @ 0 @

Como el integrando es una función par, entonces

%
- &'*
sen( •) 1 - % &'|*| sen( •) 1
+ /• = + /• = ∙ 2 arctan C D = arctan C D
B • 2 &- • 2 @ @
PROBLEMA 14

Calcule la siguiente integral

•
$ sen •
!
• 2 &
"+2 #+2
%$

SOLUCIÓN:

• •
sen •
! sen • ! 1
2 = 2 ∙ = 4( )5( )
"+2 #+2 '(()( (* '((
# ()(
+ 2 (+
(*2
,(.) 3(.)

Completando cuadrados en la función 5( ) :

1 1 1
5( ) = = =
# +2 +2 ( # + 2 + 1) + (2 − 1) ( + 1)# + 1
•
sen • !
4( ) = 2 ∈ ℒ # (ℝ)

1
5( ) = ∈ ℒ # (ℝ)
( + 1)# + 1

Como 4, 5 ∈ ℒ # (ℝ), se puede aplicar el teorema de Parseval donde

$ $
• 4( ) ;;;;;; ;;;;;;;
5( )& = 2• • 4<(>)5?(>) &>
%$ %$

•
sen • ! 1
ℱ [4( )] = ℱ A 2 B ⇒ 4<(>) = 1 E E (>)
2 •% # , # !

1 1 %|I|
ℱF G= H
1+ # 2

Utilizando el teorema de traslación en el tiempo

1 1 %|I| JK∙LI
ℱ [5( )] = ℱ F G ⇒ 5?(>) = H ∙H
( + 1)# + 1 2

Resolviendo el conjugado de 5?(>) (en este caso no se puede descuidar)

1 %|I| LI ;;;;;;; 1
5?(>) = H H ⇒ 5?(>) = H •|•| • •• = • •|•| • •"•
1
2 2 2

Sustituyendo expresiones en el teorema de Parseval:

%
. sen $ &' 1 .
1 1
# 2 ∙ -& = 2% # 1$•/,/' (3) ∙ • •|•| • •"• -3 =
•. & (& + 1) ,+1
•. 2 ,, 2
 ) ) )
1 1 * • * • *
2• ∙ ! # $|%| # $&% '( = ! # $|%| # $&% '( = ! # $|%| (cos ( − - sen ()'(
2 2 $ ) 2 $ ) 2 $)
* * *

Descomponiendo la integral anterior en integral-coseno e integral-seno (la integral-seno es

cero por ser un integrando impar):
) ) )
• * • * • *
= ! # $|%| cos ( '( − - ! # $|%| sen ( '( = 2 ∙ ! # $|%| cos ( '( =
2 $) 2 $) 2 /
* *

) )
* * # &% + # $&%
= • ! # $% cos ( '( = • ! # $% '( =
/ / 2
) )
• * • *
= ! # $% 3# &% + # $&% 4'( = ! 3# ($56&)% + # ($5$&)% 4'( =
2 / 2 /

• •
• # #
($56&)%
•
($5$&)%
# #
8 9 2 = ∙ # $% 7 892 =
&% $&%
= ∙7 + +
2 −1 + - −1 − - 2 −1 + - −1 − -
0 0
•
• $% (−1 − -)# &% + (−1 + -)# $&% 2
= ∙# 7 89 =
2 (−1 + -)(−1 − -)
0
• •
• $% −3# &% + # $&% 4 − -3# &% − # $&% 4 2 • $% −(2 cos () − -(2- sen () 2
∙# 7 89 = ∙ # 7 89
2 (−1)* − - * 2 2
0 0
•
• $% • • • •
∙ # (− cos ( + sen () 9 2 = ∙ # $ * ;− cos ; < + sen ; << − ∙ # / (− cos(0) + sen(0))
)

2 2 2 2 2
0
• $) • •
= ∙ # * − (−1) = 31 + # $)/* 4
2 2 2

Así se concluye que

•
A sen ; ?< •
! 2 '? = 31 + # $)/* 4
$A ? + 2? + 2? 2
@ *

Observación: el integrando NO es una función par.

PROBLEMA 15

Sean •, • > 0 . Utilizando la transformada de Fourier calcule la integral

cos(•!)
$
#!
%$ (! + • )
" " "

SOLUCIÓN:

Esta integral puede calcularse con el teorema de los residuos de variable compleja, pero
también puede calcularse utilizando el teorema de Parseval y la transformada de Fourier.
$
& '*- $
1 & '*- $
1 8888888888
& %6*-
#! = ∙ #! = ∙ #!
%$ (! + • )
" " "
%$ ! + •
" " ! " + •" /2324
%$ !
" + • " /2324
! " + •"
5(-) 7(-)

1 " (ℝ)
& %'*-
9(!) = ∈ ℒ y @(!) = ∈ ℒ " (ℝ)
! " + •" ! " + •"
Como 9, @ ∈ ℒ " (ℝ), se puede aplicar el teorema de Parseval donde
$ $
888888#! = 2B
9(!) @(!) 8888888
9C(D)@E(D) #D
%$ %$
1 1 %J|K|
ℱ [9(!)] = ℱ G " H ⇒ 9C(D) = &
! +• " 2•
& %'*- 1 %J|K| 1 %J|KO*|
ℱ [@(!)] = ℱ L " M ⇒ @E(D) = & N = &
! +• " 2• 2•
D+•
Sustituyendo expresiones en el teorema de Parseval:
$
1 8888888888
& %6*- $
1 %J|K| 888888888888888
1 %J|KO*| B $
∙ #! = 2B & ∙ & #D = " & %J(|K|O|KO*|) #D
%$ ! + •
" ! " + •"
%$ 2• 2• 2•
"
%$

−D − (D + •) si D < −• −2D − • si D < −•

|D| + |D + •| = P−D + (D + •) si − • ≤ D < 0 = U • si − • ≤ D < 0
D + (D + •) si D ≥ 0 2D + • si D ≥ 0

B $
B %* W $
& %J(|K|O|KO*|) #D = V & %J(%"K%*) #D + & %J* #D + & %J("KO*) #DX =
2• " %$ 2• " %$ %* W

B %* W $
= V & "JKO*J #D + & %J* #D + & %"JK%*J #DX =
2• " %$ %* W

B & "JKO*J & %"JK%*J B & %"J*O*J & %*J

Y N +& %J*
∙•− N Z = "V + •& %J*
+ X=
2• " 2• −2• 2• 2• 2•
−• 0

B& %*J 1 1 B& %*J $

& '*- B& %*J
= \ + • + ^ = (1 + ••) ⇒ #! = (1 + ••)
2• " 2• 2• 2• _ %$ (! + • ) 2• _
" " "

Tomando partes reales a la expresión anterior:

$
cos(•!) B& %*J
#! = (1 + ••) para •, • > 0
%$ (! + • ) 2• _
" " "
PROBLEMA 16

Sea •: ℝ → ℝ una función definida por

2+• si − 2 ≤ • < 0
⎧
⎪
•(•) = 2−• si 0 ≤ • < 2
⎨
⎪
⎩ 0 si no

(a) Calcule la transformada de Fourier de •.

(b) Usando la parte (a) calcule las integrales
/
sen • - /
sen • 3
' * , .• y ' * , .•
1 • 1 •

SOLUCIÓN:

(d) Calculando las primeras dos derivadas generalizadas de • :

2+• si − 2 ≤ • < 0
⎧
⎪
•(•) = 2−• si 0 ≤ • < 2
⎨
⎪
⎩ 0 si no

1 si − 2 ≤ • < 0
⎧
⎪
7 (•)
•456 = −1 si 0 ≤ • < 2
⎨
⎪
⎩ 0 si no

77 (•)
•456 = 9(• + 2) − 29(•) + 9(• − 2)

Sea •:: ℝ → ℝ la transformada de Fourier de •(•) definida por

1 /
•:(@) ≡ ℱ [•(•)] = ' •(•) E DFGH .•
2C D/

Aplicando los teoremas operacionales de las transformadas de Fourier

77 (•)J
ℱI•456 = (K@)- •:(@) = − @- •:(@)

1
ℱ [9(•)] =
2C
1 -FG
ℱ [9(• + 2)] = E
2C
 1 !"#$
ℱ [•(• − 2)] =
2•
1 *03 1 1 5*03
•• ( )!
= ℱ [#( + 2)] − 2ℱ [#( )] + ℱ [#( − 2)] ⇒ − '* ,-(') = / −2∙ + /
2. 2. 2.
ℱ%&'*+

Despejando la transformada de Fourier de la expresión anterior

1 / *03 + / 5*03 1 1 − cos(2') 1 2 sen* ' 2 sen ' *

− '* ,-(') = 6−1 + ? ⇒ ,-(') = ∙ = ∙ = @ A
. 7888982 88: . '* . '* . '
;<>(*3)

(e) A partir de la definición de la transformada inversa de Fourier se calcula la primera

integral
F
,( ) ≡ ℱ 5C D,-(')! = E ,-(') / 03G H'
5F

F
2 sen ' * 03G 2 F sen ' * J F
sen ' * .
,( ) = E @ A / H' ⇒ ,(0) = E @ A / H' ⇒ E @ A H' = ∙ 2 = .
5F . ' . 5F ' 5F ' 2

Como el integrando es una función par entonces

F
sen ' * F
sen ' * F
sen ' * 1 F sen ' * .
E @ A H' = 2 E @ A H' ⇒ E @ A H' = E @ A H' =
5F ' J ' J ' 2 5F ' 2

, ∈ ℒ * (ℝ) :
Para encontrar el valor de la segunda integral se usa el teorema de Parseval, donde la función

F F F F
E ,( ) NNNNNN NNNNNNN
,( )H = 2. E ,-('),-(') H' ⇒ E |,( )|* H = 2. E O,-(')O* H'
5F 5F 5F 5F

F
1 F
E O,-(')O H' = E |,( )|* H
*

5F 2. 5F

2 sen ' * *
F
1 F 2 * 1 *5*
E P @ A P H' = E |,( )|* H = E |2 − |* H = E |2 − ( + 2)|* H
5F . ' 2. 5F 2. J . 5*
1 J
1 J
1 *
1 2Q
= E * H = − E (− )* H = E * H = ∙
. 5* . * . J . 3

2 * F sen ' U 1 2Q F
sen ' U 1 2Q . * 2.
S T E @ A H' = ∙ ⇒ E @ A H' = ∙ ∙ * =
. 5F ' . 3 5F ' . 3 2 3

Como el integrando es una función par entonces

F
sen ' U F
sen ' U F
sen ' U 1 F sen ' U .
E @ A H' = 2 E @ A H' ⇒ E @ A H' = E @ A H' =
5F ' J ' J ' 2 5F ' 3
PROBLEMA 17

Sea •: ℝ → ℝ una función definida por

cos • si |•| ≤ •/2

•(•) = •
0 si |•| > •/2

(a) Calcule la transformada de Fourier de • y muestre que esta función es analítica.

(b) Usando la parte (a) calcule las integrales

• & cos $ !
•
& cos ! •" •"
2 %• y 2 %•
' 1 − •$ ' (1 − • $ )$

SOLUCIÓN:

Definiendo la función

cos • si |•| ≤ •/2

•(•) = •
0 si |•| > •/2

Calculando la primera derivada generalizada

− sen • si |•| ≤ •/2

- (•)
•*+, = • - (•) = •
0 si |•| > •/2

Calculando la segunda derivada generalizada:

-- (•)
• •
•*+, = . !• + " + . !• − " + • -- (•) =
2 2

− cos • si |•| ≤ •/2

= .(• + •/2) + .(• − •/2) + • = .(• + •/2) + .(• − •/2) − •(•)
0 si |•| > •/2

Por lo tanto •(•) satisface la siguiente ecuación diferencial en derivadas generalizadas

-- (•)
•*+, + •(•) = .(• + •/2) + .(• − •/2)

Sea •4: ℝ → ℝ la transformada de Fourier de •(•) definida por

1 &
•4(7) ≡ ℱ [•(•)] = •(•) < ;?@A %•
2• ;&

Aplicando los teoremas operacionales de las transformadas de Fourier

-- (•)C
ℱB•*+, = (D7)$ •4(7) = − 7$ •4(7)
 1
ℱ [•(• + •/2)] =
!

2•
#$
"

1 !
& #$
ℱ [•(• − •/2)] = "
2•

Se sustituyen las expresiones y se despeja la transformada de Fourier

1 345 1 6345
+ ℱ [#( )] = ℱ [$( + %/2)] + ℱ [$( − %/2)] ⇒ − ,- #.(,) + #.(,) = 0- + 0 -
2% 2%
00 ( )!
ℱ'*,-.

3 3 %
1 0 45
+ 0 6 45
1 % 1 cos 8 ,9
(1 − ,- )#.(,) = ∙
- -
⇒ (1 − ,- )#.(,) = cos 8 ,9 ⇒ #.(,) = ∙ 2
% 2 % 2 % 1 − ,-

#.(,) es una función analítica en todo su dominio:

% < % % %
1 cos 82 ,9 1 <,
cos 8 ,9 1
2
− ∙ sen 8 ,9 1
2 2
lim #.(,) = lim ∙ = lim = lim = <∞
5→±; % 1− , % <
(1 − , - ) % −2, 4
5→±; - 5→±; 5→±;
<,

a partir de la definición de transformada inversa de Fourier

C
#( ) = ℱ 6; A#.(,)! = B #.(,) 0 45D <,
6C

%
C
1 cos 82 ,9 45D
#( ) = B ∙ 0 <,
6C % 1 − ,-

% %
C
1 cos 82 ,9 45∙F 1 C cos 82 ,9
#(0) = cos(0) = 1 = B ∙ 0 <, ⇒ B <, = 1
6C % 1 − ,- % 6C 1 − , -

% % %
cos 8 ,9
C C cos 8 ,9 C cos 8 ,9
%
⇒B 2 <, = % ⇒ 2 B 2 <, = % ⇒ B 2 <, =
6C 1 − , 1− , 1− , 2
- - -
F F

# ∈ ℒ - (ℝ) :
Para encontrar el valor de la segunda integral se usa el teorema de Parseval, donde la función

C C C
1 C
B |#( )|- < = 2% B J#.(,)J <, B J#.(,)J <, = B |#( )|- <
- -
⇒
6C 6C 6C 2% 6C

% - %
1 cos 82 ,9
3
C
1 3/- 1 1 sen(2 )
MN2
-
B K ∙ K <, = B |cos |- < = ∙ 2 B cos - < = L +
6C % 1 − , - 2% 63/- 2% F % 2 4
0
1 1 % 1
= ∙ 8 9=
% 2 2 4

% - % - %
C
1 cos 82 ,9 1 2 C cos 82 ,9 1 C cos - 8 ,9
2 %-
B K ∙ K <, = ⇒ B K K <, = ⇒ B <, =
6C % 1 − ,- 4 %- F 1 − ,- 4 F (1 − , ) 8
- -
PROBLEMA 18

Encuentre explícitamente la función •(•, •) que satisface el problema de conducción de calor

⎧ # $ #$
2
⎪ = si − ∞ < % < ∞ , & > 0
2
#% #&
⎨
⎪
⎩ $(%, 0) = +(%)

SOLUCIÓN:

números reales. Aplicando la transformada de Fourier respecto a la variable % definida por

Se aplica transformada de Fourier respecto a la variable que tiene como dominio todos los

1 ?
$-(., &) ≡ ℱ [$(%, &)] = 5 $(%, &)6 789: ;%
24 7?

Usando los teoremas operacionales:

# A $(%, &)
ℱ@ B = (C.)A $-(., &) = −.A $-(., &)
#% A

#$(%, &) #$-

ℱ@ B= (., &)
#& #&

1
ℱ [$(%, 0)] = ℱ [+(%)] ⇒ $-(., 0) =
24

#$-(., &)
El problema se reescribe en términos de transformadas de Fourier

⎧−.A $-(., &) = si − ∞ < . < ∞ , & > 0

⎪ #&
⎨ 1
⎪ $-(., 0) = si −∞<. <∞
⎩ 24

Y luego se resuelve la ecuación diferencial:

#$-(., &) #$-(., &)

−.A $-(., &) = ⇒ + .A $-(., &) = 0
#& #&

Cuya solución general es

$-(., &) = G(.)6 79

HI

Se encuentra la constante G(.) con la condición inicial:

1
$-(., 0) = G(.)6 79 = G(.) =
H ∙K

24

Sustituyendo la constante se obtiene la solución acotada |$-(., &)| < ∞

inversa de Fourier existe por que $-(., &) ∈ ℒ N (ℝ) .
cuya transformada
 1
••(•, •) = !"# $
2•
si −∞<• <∞ , • >0

Luego se recupera la función •(•, •) mediante la transformada inversa de Fourier:

/
•(•, •) ≡ ℱ "# [•$(%, •)] = & •$(%, •)' *+- .%
"/

/ /
1 "+3 4 *+- 1 / "+3 4 "*+("-)
•(•, •) = & •$(%, •)' *+- .% = & ' ' .% = & ' ' .%
"/ "/ 20 20 "/

1 1 1
"- 3
+3 "("-)3 "- 3
= ℱ5' "+ 4 6 7 = ℱ 9' "(:4) : ; 7 = ' :(:4) 7 = ' @4 = ' @4
3

−• −• <20(2•) −• √40• √40•

La solución explícita al problema de valores iniciales es

1 "- 3
•(•, •) = ' @4 si • ∈ ℝ y • > 0
√40•
PROBLEMA 19

Encuentre la función acotada •(•, •) tal que satisfaga el siguiente problema

% & • %•
⎧ = si • > 0 , • > 0
⎪ %• & %•
%•
⎨ %• (0, •) = 0 si • > 0
⎪
⎩ •(•, 0) = ' *+ /& si • > 0
-

SOLUCIÓN:

Hay que extender la variable • a −∞ < • < ∞. Para esto, se elimina la condición de borde
(0, •) = 0 y se extiende la función •(•, 0) = ' *+
23 - /&
2+
nula como una función par:

•(−•, 0) si •<0 ' *(*+)

- /&
si •<0
4(•) = 5 =7 = ' *+
- /&

•(•, 0) si •≥0 ' *+

- /&
si •≥0

Con la variable • extendida a todos los números reales, se replantea el problema como:

% & • %•
⎧ = si − ∞ < • < ∞ , • > 0
%• & %•
⎨
⎩ •(•, 0) = ' *+ /& si − ∞ < • < ∞
-

Ahora se puede aplicar la transformada de Fourier respecto a la variable • definida por

1 F
•8(9, •) ≡ ℱ [•(•, •)] = B •(•, •)' *CD+ E•
2A *F

Usando los teoremas operacionales:

• • •(•, )
ℱ• ! = ("#)• •$(#, ) = −#• •$(#, )
•• •

••(•, ) ••$
ℱ• != (#, )
• •

*3∙+ - 1 *9- 1
ℱ [•(•, 0)] = ℱ&' *+ . ⇒ ℱ •' • ! = ' ⇒ •$(#, 0) = ' *9
- /• - /•
•∙3
√28 ∙ 1 √28

El problema se reescribe en términos de transformadas de Fourier

••$(#, )
⎧−#• •$(#, ) = si − ∞ < # < ∞ , >0
⎪ •
⎨ 1 *9- /•
⎪ •$(#, 0) = ' si − ∞ < # < ∞
⎩ √28

Y luego se resuelve la ecuación diferencial:

 ••(•, •)
−•• ••(•, •) =
••(•, •)
•
⇒ + •• ••(•, •) = 0
•

Cuya solución general es

'*
••(•, •) = #(•)$ %& si − ∞ < • < ∞ , • > 0

Se encuentra la constante #(•) con la condición inicial:

' ∙/ 1 ' /•
••(•, 0) = #(•)$ %& = #(•) = $ %&
√24

Sustituyendo la constante se obtiene la solución acotada |••(•, •)| < ∞ cuya transformada
inversa de Fourier existe por que ••(•, •) ∈ ℒ 8 (ℝ) .

1 ' /• '* 1 8
%: ;*?&'
••(•, •) = $ %& ∙ $ %& = $ • si − ∞ < • < ∞ , • > 0
√24 √24

Luego se recupera la función •(•, •) mediante la transformada inversa de Fourier:

/
•(•, •) ≡ ℱ "# [•$(%, •)] = & •$(%, •)' *+- .•
"/

/ /
1 1 / 23 "4#678+9 "*+("-)
' ' .% ' 5 '
#
•(•, •) = & •$(%, •)' *+- .% = & 5 = & .%
"4 678+9 *+-
"/ "/ √23 23 "/ √23
"- 9
1
' 5 ' 5
#
= ℱ :√23 ∙ <>
5 +9 5
5 A> 54 6578
>
"4 678+9 "4 6578
= √23 ∙ ℱ @' 5 = √23 ∙
−• −• B23 42 + 2•8 −•
2

1 ' 576#
"- 9

' #657
"("-)9
= =
√1 + 2• √2• + 1

La solución •(•, •) al problema explícitamente es

−• 5
exp D E
•(•, •) = si • > 0 , • > 0
2• + 1
√2• + 1
PROBLEMA 20

Encuentre la función acotada •(•, •) tal que satisfaga el siguiente problema

• • • ••
⎧ = si • > 0 , >0
⎪ •• •
•
••
(0, ) = 0 si > 0
⎨ ••
⎪ sen •
⎩ •(•, 0) = • si • > 0

SOLUCIÓN:

Hay que extender la variable • a −∞ < • < ∞. Para esto, se elimina la condición de borde
(0, ) = 0 y se extiende la función •(•, 0) = ' *&
$% + /•
$&
nula como una función par:

sen(−•)
•(−•, 0) si •<0 ⎧ si •<0
⎪ −• sen •
-(•) = . = =
⎨ sen • •
•(•, 0) si •≥0 ⎪ si •≥0
⎩ •
Con la variable • extendida a todos los números reales, se replantea el problema como:

• • • ••
⎧ =
⎪ •• • •
si − ∞ < • < ∞ , >0

⎨ sen •
⎪ •(•, 0) = si − ∞ < • < ∞
⎩ •

Ahora se puede aplicar la transformada de Fourier respecto a la variable • definida por

1 D
•6(7, ) ≡ ℱ [•(•, )] = @ •(•, )' *AB& C•
2? *D

Usando los teoremas operacionales:

• • •(•, )
ℱ E F = (G7)• •6(7, ) = −7• •6(7, )
•• •

••(•, ) ••6
ℱE F= (7, )
• •

sen • sen • 1 1
ℱ [•(•, 0)] = ℱ H I ⇒ ℱH I = ∙ 1(*L,L) (7) ⇒ •6(7, 0) = ∙ 1(*L,L) (7)
• • 2 2

El problema se reescribe en términos de transformadas de Fourier

••6(7, )
⎧ −7• •6(7, ) = si − ∞ < 7 < ∞ , >0
⎪ •
⎨
⎪•6(7, 0) = 1 ∙ 1(*L,L) (7) si − ∞ < 7 < ∞
⎩ 2
Y luego se resuelve la ecuación diferencial:

•••(•, •) •••(•, •)
−•• ••(•, •) = ⇒ + •• ••(•, •) = 0
•• ••

Cuya solución general es

&'
••(•, •) = "(•)# $% si − ∞ < • < ∞ , • > 0

Se encuentra la constante "(•) con la condición inicial:

& ∙/ 1
••(•, 0) = "(•)# $% = "(•) = ∙1 (•)
2 ($3,3)

Sustituyendo la constante se obtiene la solución acotada |••(•, •)| < ∞ cuya transformada
inversa de Fourier existe por que ••(•, •) ∈ ℒ 3 (ℝ) .

1 &
••(•, •) = ∙ 1($3,3) (•) ∙ # $% ' si − ∞ < • < ∞ , • > 0
2

Luego se recupera la función •(7, •) mediante la transformada inversa de Fourier:

A
•(7, •) ≡ ℱ $3 [••(•, •)] = : ••(•, •)# ;%? @7
$A

A A
1 & 1 3 &
•(7, •) = : ••(•, •)# ;%? @• = : ∙ 1($3,3) (•) ∙ # $% ' # ;%? @• = : # $% ' # ;%? @•
$A $A 2 2 $3
1 3 & 1 3 & B 3 &
= : # $% ' (cos(•7) + B sen(•7))@• = : # $% ' cos(•7) @• + : # $% ' sen(•7) @•
2 $3 2 $3 2 $3

1 3 & 1 3
&
3
&
= : # $% ' cos(•7) @• + 0 = ∙ 2 : # $% ' cos(•7) @• = : # $% ' cos(•7) @•
2 $3 2 / /

La integral que contiene la función seno se anula por ser una función impar y se reescribe la
integral del coseno en el intervalo [0,1] por ser una función par. Esta integral no se puede
resolver analíticamente, por lo tanto la solución •(7, •) del problema se expresa como
3
&
•(7, •) = : # $% ' cos(•7 ) @• si 7 > 0 , • > 0
/
PROBLEMA 21

Sea •(•, •) una función acotada tal que

$%• $%•
⎧ + =0 si •>0 , •>0
⎪ $• % $• %
•(•, 0) = 0
⎨
⎪ •(0, •) = '
⎩ 2

(a) Demuestre que la solución del problema es

.
sen(-•) 34|5|
•(•, •) = * 1 6-
/ -

(b) Resuelva la integral de la parte (a) y muestre que

•(•, •) = arctan(•/•)

SOLUCIÓN:

Hay que extender la variable • a −∞ < • < ∞. Para esto, se elimina la condición de borde
nula •(•, 0) = 0 y se extiende la función •(0, •) = "(•) como una función impar:

−$/2 si • < 0
"(•) = #
$/2 si •≥0

Con la variable • extendida a todos los números reales, se replantea el problema como:

-.• -.•
⎧ + =0 si • >0 , −∞<• <∞
-• . -• .
⎨
⎩ •(0, •) = "(•) si −∞<• <∞

Ahora se puede aplicar la transformada de Fourier respecto a la variable • definida por

1 B
•3(•, 4) ≡ ℱ [•(•, •)] = 8 •(•, •)9 :;?@ A•
2$ :B

Usando los teoremas operacionales:

- . •(•, •) - . •3(•, 4)
ℱC D =
-• . -• .

- . •(•, •)
ℱC D = (E4). •3(•, 4) = −4. •3(•, 4)
-• .

- .• -.• - . •3(•, 4)
ℱC D + ℱ C D=0 ⇒ − 4. •3(•, 4) = 0
-• . -• . -• .

La solución a esta ecuación es

 ••(•, •) = •• (•)• •|•|• + ! (•)•
|•|•
si # >0 , −∞<&<∞

Para que la solución '(#, &) sea acotada, la solución en transformada de Fourier también debe
ser acotada |*-(#, •)| < ∞. Así, el coeficiente ! (•) = 0 para que esta solución sea una
función acotada.

*-(#, •) = • (•)• si # >0 , −∞<• <∞

•|•|•

Se determina el coeficiente • (•) utilizando la condición de borde.

−1/2 si & < 0

.(&) = /
1/2 si &≥0

La derivada generalizada de .(&) es

8 (&)
.567 = 1 9(&)

Por lo tanto

1
ℱ [9(&)] =
21
1 1 1
8 (&)@
ℱ?.567 = ℱ [1 9(&)] ⇒ B•.C(•) = = ⇒ .C(•) =
21 2 2B•

ℱ [*(0, &)] = ℱ [.(&)] ⇒ *-(0, •) = .C(•)

1
*-(0, •) = • (•)• = • (•) =
•|•|∙E
2B•

Por lo tanto, la solución en transformada de Fourier es

1 •|•|•
*-(#, •) = • si # >0 , −∞<• <∞
2B•

Se recupera la función *(#, &) por medio de la transformada inversa de Fourier

K
*(#, &) ≡ ℱ •• [*-(#, •)] = G *-(#, •)• H•I J•
•K

Así
K
1 •|•|• H•I 1 K 1 •|•|• cos(•&) + B sen(•&)
*(#, &) = G • • J• = G • L M J• =
•K 2B• 2 •K • B

1 K 1 •|•|• 1 K 1 •|•|•
−B G • cos(•&) J• + G • sen(•&) J•
2 •K • 2 •K •

(a) La integral del coseno es cero, ya que el integrando es una función impar en • y la
integral del seno es una función par, así
 1 1 #|$|%
•(•, •) =
& & &
1 sen(!•) #%|$| sen(!•) #%|$|
2
" sen(!•) '! = " '! = " '!
#& ! 2 #& ! * !

(b) Utilizando el teorema de Parseval. Si +, - ∈ ℒ 0 (ℝ)

& &
6666666'! = 27
4(!) 5(!) 666666
48 (9)58 (9) '9
#& #&

Como

sen(!•)
4(!) = ∈ ℒ 0 (ℝ)
!

5(!) = " #%|$| ∈ ℒ 0 (ℝ)

Definiendo la transformada de Fourier respecto a la variable ! como:

1
48 (9) ≡ ℱ [4(!)] = 4(!)" •••• ••
27 •

Así

sen(•$) 1
ℱ ["(•)] = ℱ # % ⇒ "* (+) = 1(•,,,) (+)
• 2

1 8 555555
55555554 ⇒
ℱ [.(•)] = ℱ/0 •3|•| 4 = ℱ/.(•) .* (+) = ∙ = .* (+)
6 89 + +9

Luego, se aplica el teorema de Parseval

1 sen •$ •3|•| 26 1 1 8 1 , 8
; 0 •• = ; 1(•,,,) (+) ∙ 9 •+ = ; 9 •+
2 • • 2 • 2 6 8 ++ 9 2 •, 8 + + 9

$
1 , 1 1 + 1 $ 1 −$
= ; 9 •+ = 2 arctan ?8 @ A = arctan < > − arctan < >
28 •, + −$ 2 8 2 8
1+< >
8
1 $ $
= 2 ? arctan < >@ = arctan < >
2 8 8

Por lo tanto la solución en 8 > 0 , $ > 0 es

$
E(8, $) = arctan < >
8
PROBLEMA 22

Sea • > 0 y las funciones , !: ℝ → ℝ . Sea $(%, &) una función que satisface la ecuación de
la onda

./$ ./$
⎧ =• /
si − ∞ < % < ∞ , & > 0
⎪ .& / .% /
$(%, 0) = (%) si − ∞ < % < ∞
⎨ .$
⎪ (%, 0) = !(%) si − ∞ < % < ∞
⎩ .&

Muestre que la solución a este problema es la fórmula de D'Alembert:

(% − •&) + (% + •&) 1 ;?@A

$(%, &) = + 7 !(8)98
2 2• ;B@A

SOLUCIÓN:

Aplicando transformadas de Fourier a la ecuación diferencial y a las condiciones iniciales

definiendo la transformada de Fourier como

1 H
$C(D, &) ≡ ℱ [$(%, &)] = 7 $(%, &) I BJK; 9%
2G BH

ℱ [$(%, &)] = $C(D, &)

. / $(%, &) . / $C(D, &)

ℱL M =
.& / .& /

. / $(%, &)
ℱL M = (ND)/ $C(D, &) = −D/ $C(D, &)
.% /

ℱ [$(%, 0)] = ℱ [ (%)] ⇒ $C(D, 0) = P(D)

.$ .$C
ℱ Q (%, 0)R = ℱ [!(%)] ⇒ (D, 0) = !C(D)
.& .&

La ecuación diferencial en términos de transformadas de Fourier se expresa como

. / $C(D, &)
⎧ = −• / D/ $C(D, &) si − ∞ < D < ∞ , & > 0
⎪ .& /
$C(D, 0) = P(D) si − ∞ < D < ∞
⎨
⎪ .$C
(D, 0) = !C(D) si − ∞ < D < ∞
⎩ .&

. / $C(D, &) . / $C(D, &)

= −• D
/ /
$
C(D, &) ⇒ + • / D/ $C(D, &) = 0
.& / .& /

Cuya solución general es

$C(D, &) = ST (D) cos(•D&) + S/ (D) sen(•D&)

Aplicando las condiciones iniciales

 ••(•, 0) = ••(•) ⇒ ••(•, 0) = • (•) cos(0) + •• (•) sen(0) = ••(•) ⇒ •• (•) = ••(•)

!"#
(•, $) = %•(−•• (•) sen(%•$) + •• (•) cos(%•$))
!$
!"# 1
(•, 0) = '#(•) ⇒ %•(−•• (•) sen(0) + •• (•) cos(0)) = '#(•) ⇒ •• (•) = '#(•)
!$ %•
sen(%•$)
"#(•, $) = ••(•) cos(%•$) + '#(•) si − ∞ < • < ∞ , $ > 0
%•

Luego se recupera la función mediante la transformada inversa de Fourier definida por

5
3• [
"(., $) ≡ ℱ "#(•, $)] = 4 "#(•, $) 6 789 :.
35

sen(%•$)
ℱ 3• ["#(•, $)] = ℱ 3• ;••(•) cos(%•$)? + ℱ 3• @'#(•) A
%•

Obteniendo la transformada inversa de Fourier al primer factor:

6 7B8C + 6 37B8C 1 1
••(•) cos(%•$) = ••(•) = ••(•)6 7B8C + ••(•)6 37B8C
2 2 2
1 1 1 1 •(. − %$) + •(. + %$)
ℱ 3• E ••(•)6 7B8C + ••(•)6 37B8C F = •(. + %$) + •(. − %$) =
2 2 2 2 2

Se obtiene la transformada inversa de Fourier al segundo factor con el teorema de Parseval:

5 5
HHHHHH:G = 2I 4 ••(•)'
HHHHHHH
5
HHHHHHH 1 5 HHHHHH:G
4 •(G)'(G) #(•):• ⇒ 4 ••(•)'#(•):• = 4 •(G)'(G)
35 35 35 2I 35

sen(%•$) 5
sen(%•$) 789 1 5 sen(%•$) HHHHHHHHHHHHHH
ℱ 3• @'#(•) A = 4 '#(•) 6 :• = 4 '#(•)6 3J89 :• =
%• 35 %• % 35 •

I 5
1 sen(%•$) HHHHHHHHHHHHHHHHHHHHH
= 4 ℱ 3• @ ∙ A ℱ 3• ['#(•)6 3J89 ] :• =
2I% 35 I •

1 5 1 5 1 9LBC
= 4 1(3BC,BC) (G) ∙ '(G − .) :G = 4 1(93BC ,9LBC) (G) ∙ '(G) :G = 4 '(G):G
2% 35 2% 35 2% 93BC

Finalmente la solución al problema de la onda es

•(. − %$) + •(. + %$) 1 9LBC

"(., $) = + 4 '(G):G si . ∈ ℝ , $ > 0
2 2% 93BC
 PROBLEMA 1

Una función •: ℝ → ℝ cumple •( + !) = •( ) , •(− ) = •( ) y para 0 ≤ ≤ ! está

definida por:

!
1 si 0 ≤ <
•( ) = $ 2
!
0 si ≤ ≤!
2

(a) Halle la serie de Fourier !-periódica de •( ).

(b) ¿A qué valor converge la serie de Fourier de • en = !/2 y en = ! ? Justifique.
(c) Demuestre que

- •
(−1)*
"
1 1
&' • =
2, + 1 2 (2! + 1)•
*.3 #$%

PROBLEMA 2

Sea Ψ > 0 . Encuentre explícitamente la función '(*, -) tal que

6•' 6•'
⎧ + • = 0 si * > 0 , - > 0
⎪ 6* 6-
•
⎪ 6'
(0, -) = 0
6*
⎨ Ψ
⎪ '(*, 0) = •
⎪ Ψ + *•
⎩ |'(*, -)| ≤ 8 < ∞ para algún 8 ∈ ℝ

PROBLEMA 3

Encuentre la función '(*, ?) tal que satisface el problema de la onda

6•' 6•'
⎧ = si 0 < * < 1 , ? > 0
⎪ 6* • 6? •
'(0, ?) = '(1, ?) = 0
⎨ '(*, 0) = *(1 − *)
⎪ 6'
(*, 0) = sen(2A*)
⎩ 6?

PROBLEMA 4

Sea B > 0, C > 0 . Usando transformadas de Fourier demuestre la siguiente fórmula

"
sen(B*) A
D E* = F1 − G HIJ K
% *(* • + C • ) 2C •

Respuestas:

2 sen(!A/2) -+Ψ '(*, ?) = sen(2A*) cos(2A?) +

Problema 1 Problema 2 Problema 3
C# = ∙ '(*, -) = •
* + (- + Ψ)•
"
A ! +
8 !A
sen• P Q sen(!A*) sen(!A?)
A!O 2
#$R
(b) Converge a 1/2 y a 0 respectivamente
 PROBLEMA 1

Una función •: ℝ → ℝ cumple •(• + •) = •(•) , •(−•) = −•(•) y para 0 ≤ • ≤ • está

definida por:

•
• si 0 ≤ • <
•(•) = " 2
•
• − • si ≤•≤•
2

(a) Calcule la transformada de Fourier de la función $: ℝ → ℝ definida por

$(•) = •(•) ∙ 1(*,-) (•) − •(•) ∙ 1(.-,*) (•)

(b) Halle la serie de Fourier •-periódica de •(•) . Sugerencia: Puede utilizar la parte (a).
(c) Demuestre que

5 5 ;
1 2 1
/ = 9/ >
(23 + 1) 4 3 (23 + 1);
67* 67*

PROBLEMA 2

Encuentre explícitamente la función ?(•, @) tal que

E;? E;?
⎧ + =0 si 0 < • < 1 , 0 < @ < 1
⎪ E• ; E@ ;
⎪
E? E?
(0, @) = (1, @) = 0
⎨ E• E•
⎪
⎪ ?(•, 0) = 0
⎩ ?(•, 1) = 2 cos ; (••)

PROBLEMA 3

Encuentre explícitamente la función ?(•, F) tal que satisface el problema de conducción de

calor

E ; ? E?
⎧ = si • > 0 , F > 0
⎪ E• ; EF
?(0, F) = 0
⎨ ?(•, 0) = •H .I J /;
⎪
⎩ L→5 lim ?(•, F) = 0

Respuestas:

senh(2•@) .I J
Problema 1 Problema 2 Problema 3

O • ?(•, @) = @ + cos(2••) •H 4LT;

•M(N) = Psen(•N) − 2 sen P NQQ senh(2•) ?(•, F) =
•N ; 2 √2F + 1

4 sen(3•/2)
R6 = ∙
• 3;