Professional Documents
Culture Documents
1 1 10
+ i .
2 2
Solución. Sabiendo que zn = r n einθ = r n (cos(nθ ) + i sen(nθ )), expresmos el número complejo en su
forma polar. En efecto,
r r
1 2 1 2 1
r = ( ) +( ) =
2 2 2
1 π
θ = arctan( ) = .
2 4
Por lo tanto,
r r
1 1 1 iπ 1 π π
+ i = e 4 = cos( ) + i sen( )
2 2 2 2 4 4
y así
10 r !10
1 1 1 10π 10π
+ i = cos + i sen
2 2 2 4 4
1 5π 5π
= cos + i sen
32 2 2
i
=
32
Página 1 de 4
Haciendo uso del teorema de Euler, se tiene
(1 + i )10 − −
7 13iπ 13iπ
= 2 2 cos + i sen
(1 + i )3 4 4
7 1 1
= 22 √ − i√
2 2
7
22
= 1 (1 − i )
22
= 8 − 8i
5. Dada la función
f : C −→ C
z 7−→ sen(z),
determinar la parte real y la parte imaginaria de f (z), con z = x + yi y x, y ∈ R.
con lo que
<( f (z)) = sen( x ) cosh(y) y =( f (z)) = cos( x ) sinh(y),
como se deseaba.
Solución. Comenzamos notando que las funciones f g y f 1 g1 están definidas en el intervalo [ a, b]. Anali-
cemos entonces ˆ b
f 1 ( x ) g1 ( x ) − f ( x ) g( x ) dx.
a
Tenemos que
ˆ b ˆ b
f 1 ( x ) g1 ( x ) − f ( x ) g( x ) dx = f 1 ( x ) g1 ( x ) − f 1 ( x ) g( x ) + f 1 ( x ) g( x ) − f ( x ) g( x ) dx,
a a
ˆ b
= f 1 ( x )[ g1 ( x ) − g( x )] + [ f 1 ( x ) − f ( x )] g( x ) dx,
a
ˆ b ˆ b
= f 1 ( x )[ g1 ( x ) − g( x )] dx + [ f 1 ( x ) − f ( x )] g( x ) dx.
a a
Página 2 de 4
Ahora notemos que si g1 se identifica con g, la función g1 − g es nula salvo en un número finito de
puntos, esto significa que f 1 ( g1 − g) es nula salvo en un número finito de puntos, lo que anula la primera
integral. Con un razonamiento similar se sigue que se anula la segunda integral, de dónde
ˆ b ˆ b
f 1 ( x ) g1 ( x ) dx = f ( x ) g( x ) dx.
a a
8. Sea f una función diferenciable en el intervalo [− a, a]. Muestre que f 0 es impar cuando f es par e impar
cuando f es par.
f ( x ) − f (c)
f 0 (c) = lı́m .
x →c x−c
Usando la paridad de f conseguimos
− f ( x ) + f (c)
f 0 (c) = lı́m ,
x →c −x + c
f (− x ) − f (−c)
= lı́m ,
x →c − x − (−c)
de dónde, si usamos el cambio de variable y = − x se tiene
f (y) − f (−c)
f 0 (c) = lı́m ,
y→−c y − (−c)
= f 0 (−c).
Página 3 de 4
9. Demuestre que toda función real f , definida en un intervalo de la forma [− a, a] para a ∈ R, puede ser
expresada como la suma de una función par y una impar (A cada uno de estos sumandos se los conoce
como la parte par y la parte impar de f ). [Pista: 2 f ( x ) = f ( x ) + f (− x ) + f ( x ) − f (− x ).]
Página 4 de 4
E SCUELA P OLITÉCNICA N ACIONAL
A NÁLISIS DE F OURIER Y E CUACIONES EN D ERIVADAS PARCIALES • H OJA
DE EJERCICIOS NO . 2
1 n −1 1 n
k k
sn = ∑ f y tn = ∑ f .
n k =0 n n k =1 n
es decir, ˆ 1
sn ≤ f ( x ) dx ≤ tn
0
Página 1 de 6
como se deseaba.
Para probar la segunda desigualdad, de la primera desigualdad restamos sn a cada término, con lo
cual ˆ 1
0≤ f ( x ) dx − sn ≤ tn − sn .
0
1 n 1 n −1 f (1) − f (0)
k k 1 1
tn − sn = ∑ f − ∑ f = f (1) − f (0) = ,
n k =1 n n k =0 n n n n
se tiene ˆ 1
f (1) − f (0)
0≤ f ( x ) dx − sn ≤ .
0 n
b) De la desigualdad anterior, por el teorema del sándwich, tenemos que
ˆ 1
f (1) − f (0) f (1) − f (0)
0 ≤ lı́m f ( x ) dx − sn ≤ ≤ lı́m = 0,
n→∞ 0 n n→∞ n
con lo cual ˆ 1
lı́m sn = f ( x ) dx.
n→∞ 0
como se quería.
4. Estudie la convergencia de cada una de las siguientes series. Si la serie es convergente, calcule su suma.
∞
2n + n 2 + n
a) ∑ 2n +1 n ( n + 1 ) .
n =1
∞
log((1 + 1/n)n (1 + n))
b) ∑ n n +1 )
, donde log es la función logaritmo natural.
n=2 log( n ) log(( n + 1)
∞
c) ∑ nan , donde 0 < a < 1.
n =1
Página 2 de 6
n
1 − a n +1
= a ∑ kak + a
k =1
1−a
a a n +2
= aSn + − ,
1−a 1−a
en donde hemos utilizado la fórmula de la suma de los n + 1 primeros términos de una serie
geométrica. Con esto, tenemos la relación de recurrencia
a a n +2
Sn+1 = aSn + − , n ≥ 1.
1−a 1−a
Usando reiteradamente esta relación de recurrencia, se tiene
a n +1 a n +2
a
Sn+1 = a aSn−1 + − −
1−a 1−a 1−a
a + a2 2an+1
= a 2 S n −1 + −
1−a 1−a
an a + a2 2an+1
2 a
= a aSn−2 + − + −
1−a 1−a 1−a 1−a
2
a+a +a 3 3a n + 2
= a 3 S n −2 + − ,
1−a 1−a
para todo n ≥ 3. Tomando en cuenta que S1 = a, esto sugiere que
n
1 nan+2
1 − a k∑
S n +1 = a n +1 + a k
− , n ≥ 1. (1)
=1
1−a
Demostraremos (1) por inducción sobre n. Para n = 1 se tiene
a a 1+2
S2 = a + 2a2 = a1+1 − + ,
1−a 1−a
lo que prueba el caso base. Ahora, supongamos que (1) es válida para n. Entonces, de la relación de
recurrencia tenemos que
a a n +3
Sn+2 = aSn+1 + − ,
1−a 1−a
en donde, usando la hipótesis de inducción, se obtiene
!
n
1 nan+2 a a n +3
S n +2 = a a n +1
+ ∑
1 − a k =1
ak −
1−a
+ −
1−a 1−a
1 n +1 k ( n + 1 ) a n +3
1 − a k∑
= a n +2 + a − ,
=1
1−a
lo que completa la demostración.
Con esto, junto con la fórmula de la suma geométrica, podemos escribir
a an a
Sn = 2
+ − nan , n ≥ 1. (2)
(1 − a ) 1−a 1−a
Como 0 < a < 1 se tiene que
lı́m an = 0 y lı́m nan = 0,
n→∞ n→∞
Página 3 de 6
∞
(n!)2
a) ∑ n2
.
n =1 2
∞
3n n!
b) ∑ nn .
n =1
∞
c) ∑ (n1/n − 1)n .
n =1
∞
1
∑
2
d) − e−n .
n =1
n
diverge.
c) Escribimos
an = (n1/n − 1)n , n ≥ 1.
Tenemos que
√
n
an = n1/n − 1, n ≥ 1,
y dado que
lı́m n1/n = 1,
n→∞
se sigue que
√
lı́m n
an = lı́m (n1/n − 1) = 0 < 1.
n→∞ n→∞
Página 4 de 6
La serie de término general an diverge. Por otro lado, si escribimos bn = f (n) para cada n ≥ 1, con
2
f : R → R definida para cada x ∈ R por f ( x ) = e− x , tenemos que, para todo x ≥ 1
2
e− x ≤ e− x ,
y además ˆ ∞
e− x dx = e−1 ,
1
converge. Así, por el criterio integral, se tiene que la serie de término general bn converge. Tenemos
entonces que la serie
∞
1
∑ n −e − n2
n =1
diverge, pues el término general de la misma es la suma del término general de una serie divergente
y del término general de serie una convergente.
también diverge.
lı́m an 6= 0,
n→∞
entonces
an
lı́m 6= 0,
n→∞ 1 + an
lı́m an = 0,
n→∞
an < 1.
Página 5 de 6
10. Verifique los siguientes desarrollos en serie de Taylor alrededor del punto x0 = 0, para los valores de x
indicados.
3 ∞ 32n − 1 2n+1
a) sen3 ( x ) = ∑
4 n =1
(−1)n+1
(2n + 1)!
x , para todo x ∈ R;
∞
x2n+1
r
1+x
b) log = ∑ , para | x | < 1; y
1−x n=0 2n + 1
x 1 ∞
3 n∑
c) = [1 − (−2)n ] x n , para | x | < 1/2.
1 + x − 2x2 =1
Para ello, puede asumir conocidos los desarrollos en serie de Taylor de sen( x ) y cos( x ) para x ∈ R y
log(1 − x ) y 1/(1 − x ) si | x | < 1.
Por otro lado, tenemos que (−1)n+1 + 1 = 0 si n es par y (−1)n+1 + 1 = 2 si n es impar, con lo cual
∞
1
log(1 + x ) − log(1 − x ) = 2 ∑ 2n + 1
x2n+1 ,
n =0
Página 6 de 6
E SCUELA P OLITÉCNICA N ACIONAL
A NÁLISIS DE F OURIER Y E CUACIONES EN D ERIVADAS PARCIALES • H OJA
DE EJERCICIOS NO . 3
Solución. Sean f y g dos funciones periódicas de periodo p. Para demostrar que el producto H ( x ) =
f ( x ) g( x ) es también periódica (con periodo p) debemos probar que:
H ( x ) = H ( x + p)
H ( x + p) = f ( x + p) g( x + p)
H ( x + p) = f ( x + p) g( x + p) = f ( x ) g( x ) = H ( x )
Por otro lado, si denotamos por F ( x ) a la combinación lineal de las funciones f y g, es decir:
F ( x ) = c1 f ( x ) + c2 g ( x ),
con c1 , c2 ∈ R, para probar que esta es periódica con periodo p, debemos mostrar que:
F ( x ) = F ( x + p ).
F ( x + p ) = c1 f ( x + p ) + c2 g ( x + p ) = c1 f ( x ) + c2 g ( x ) = F ( x )
2. Si la función f : I ⊆ R → R es una función periódica de periodo p > 0, mostrar que para todo número
entero n se cumple que:
f ( x ) = f (nx + p).
f ( x ) = f ( x + p ).
f ( x + 2p) = f (( x + p) + p) = f ( x + p) = f ( x ),
f ( x + np) = f (( x + (n − 1) p) + p) = f ( x + (n − 1) p) = f ( x ),
para todo x ∈ I.
Página 1 de 5
3. Las funciones f : I ⊆ R → R y g : I ⊆ R → R con f ( x ) = sen(mπx/L) y g( x ) cos(mπx/L) consti-
tuyen una familia de funciones mutuamente ortogonales sobre el intervalo I = [− L, L]. Verificar (por
integración directa) que las siguientes relaciones de ortogonalidad:
ˆ L (
mπx nπx L si m = n,
cos cos dx =
−L L L 0 si m 6= n;
ˆ L mπx nπx
cos sen dx = 0 para todo m, n;
−L L L
ˆ L (
mπx nπx L si m = n,
sen sen dx =
−L L L 0 si m 6= n.
4. Sea f : [−π, π ] → R una función par continua a trozos con desarrollo en serie de Fourier
∞
a0
+ ∑ [ ak cos(kx ) + bk sen(kx )].
2 k =1
Asuma que π π
f +x + f − x = 0, 0 < π < x.
2 2
Demuestre que
a2k = 0, k = 1, 2, . . .
Solución. Puesto que f es par, por las fórmulas de Euler-Fourier tenemos que bk = 0 para todo k ∈ N∗ .
Por ende, el desarrollo en serie de Fourier para f puede escribirse como
∞
a0
+ ∑ ak cos(kx ).
2 k =1
Ahora, por las fórmulas de Euler-Fourier y la paridad de f tenemos que, para todo k ∈ N,
ˆ ˆ
1 π 2 π
ak = f ( x ) cos(kx ) dx = f ( x ) cos(kx ) dx.
π −π π 0
Definamos g :] − π/2, π/2[→ R mediante g( x ) = f π2 + x . Si en la integral anterior realizamos el
a2k = 0.
Página 2 de 5
Por otro lado, tenemos que
ˆ
2 π/2 h π π i
a2k+1 = g(u) cos + kπ cos((2k + 1)u) − sen + kπ sen((2k + 1)u) du
π −π/2 2 2
ˆ π/2
2
=− (−1)k g(u) sen((2k + 1)u) du
π −π/2
ˆ π/2
k +1 2 π
= (−1) f x+ sen((2k + 1) x ) dx.
π −π/2 2
5. Sea f : [−π, π ] → R una función continua a trozos con desarrollo en serie de Fourier
∞
a0
f (x) = + ∑ [ ak cos(kx ) + bk sen(kx )], −π < x < π.
2 k =1
Demuestre que
ˆ ∞
1 π
a20
| f ( x )|2 dx = + ∑ ( a2k + bk2 ).
π −π 2 k =1
6. Sea f : [−π, π ] → R una función continua a trozos. Demuestre que las sucesiones { ak } y {bk }, que
aparecen en el desarrollo en serie de Fourier
∞
a0
f (x) = + ∑ [ ak cos(kx ) + bk sen(kx )], −π < x < π,
2 k =1
f : [0, 2] −→ R
.
x 7−→ x2
Solución.
a) Aplicando las fórmulas para los coeficientes de Fourier tenemos que la función definida por f ( x ) =
x2 en el intervalo [0, 2] tiene la expansión
∞ ∞
4 4 cos(nπx ) 4 sen(nπx )
+ 2
3 π ∑ n2 − π ∑ n
.
n =1 n =1
Página 3 de 5
c) Por el teorema de convergencia de las series de Fourier tenemos que la serie Fourier hallada en a)
converge a
lı́m fˆ( x ) + lı́m fˆ( x )
x → 0− x → 0+ 4+0
= =2
2 2
para x = 0. Es decir,
∞ ∞ ∞
4 4 cos(nπ0) 4 sen(nπ0) 4 4 1
2= + 2
3 π ∑ n2 − π ∑ n
= + 2
3 π ∑ n2
.
n =1 n =1 n =1
9. Sea f una función continua por tramos, periódica de período 2p con p ∈ N. Muestre que
ˆ a+2p ˆ b+2p
f ( x ) dx = f ( x ) dx.
a b
Sea a ∈ R, como 2p > 0, pues es el período de la función, tenemos que existe un entero n ∈ Z tal
que
a
n< < n+1
2p
de donde
2pn < a < (n + 1)2p = 2pn + 2p
y por lo tanto
2pn + 2p < a + 2p,
es decir
a < 2pn + 2p < a + 2p.
Página 4 de 5
del ejercicio 2 tenemos
ˆ 2p ˆ a−2pn ˆ 2p ˆ a−2pn
f (y + 2pn)dy + f (y + (n + 1) p)dy = f (y)dy + f (y)dy,
a−2pn 0 a−2pn 0
10. Descomponer en serie de Fourier en términos de cosenos la función f :]0, π [→ R definida por
(
1 si 0 < x ≤ h
f (x) =
0 si h < x < π,
donde 0 < h < π.
con lo cual
∞
!
2h 1 sen(nh)
2 n∑
f (x) = + cos(nx ) .
π =1 nh
11. Descomponer en una serie de Fourier en términos de senos la función f : [0, π ] → R dada por f ( x ) = 1,
para x ∈ [0, π ].
12. Descomponer en una serie de Fourier la función f : [0, 2π ] → R definida por f ( x ) = x, para todo
x ∈ [0, 2π ].
Página 5 de 5
E SCUELA P OLITÉCNICA N ACIONAL
A NÁLISIS DE F OURIER Y E CUACIONES EN D ERIVADAS PARCIALES • H OJA
DE EJERCICIOS NO . 4
1. Dada la función (
x, si 0 < x < 2,
f (x) =
0, si x > 2,
determine:
de donde: ˆ ∞
1
A(w) = f (v) cos(wv)dv
π −∞
ˆ ∞
1
B(w) = f (v) sen(wv)dv
π −∞
Finalmente,
1 2 sen(2w) cos(2w) − 1
A(w) = − .
π w w2
Por otro lado B(w) se determina por:
ˆ ˆ ˆ
1 ∞ 1 2 1 2
B(w) = f (v) sen(wv)dv = f (v) sen(wv)dv = v sen(wv)dv
π −∞ π 0 π 0
de donde la integral es igual a:
ˆ 2
sen(wx ) 2 x cos(wx ) 2 sen(2w) 2 cos(2w)
x sen(wx )dx = 2 − = − (2)
0 w 0 w 0 w2 w
Finalmente,
1 sen(2w) 2 cos(2w)
B(w) = − .
π w2 w
Página 1 de 11
Por tanto, la representación en integrales de Fourier de f ( x ) está dada por:
ˆ
1 ∞ 2 sen(2w) cos(2w) − 1
sen(2w) 2 cos(2w)
f (x) = − cos(wx ) + − sen(wx ) dw.
π 0 w w2 w2 w
b) Determinar la representación en integrales de Fourier seno de f ( x ) significa (en este caso) obtener
la representación en integrales de Fourier de la extensión impar de f ( x ) dada por:
(
x, si − 2 < x < 2,
F(x) =
0, si | x | > 2,
En donde podemos utilizar el resultado obtenido en el literal anterior para la integral (1) es decir:
ˆ
2 2 2 2 sen(2w) cos(2w) − 1
A(w) = v cos(wv)dv = −
π 0 π w w2
Página 2 de 11
Finalmente, ˆ ∞
G(x) = A(w) cos(wx )dw
0
ˆ ∞
2 sen(2w) cos(2w) − 1
2
G(x) = − cos(wx )dw
π 0 w w2
d) La integral impropia ˆ ∞
2 sen(2w) cos(2w) − 1
− cos(wx )dw
0 w w2
puede estimarse a partir de la representación en integrales de Fourier de G ( x ) obtenida en el último
literal. Considerando que en el intervalo ] − ∞, ∞[ por el teorema de la existencia de la integral de
G (2+ )+ G (2− )
Fourier, la función va a converger a x en [0, 2], a 2 en x = 2 y a 0 para x > 2 entonces,
ˆ ∞
π
2 x, si 0 < x < 2,
2 sen(2w) cos(2w) − 1
− cos(wx )dw = π2 , si x = 2,
0 w w2
0, si x > 2,
ˆ ∞ ˆ ∞ ˆ ∞
1 1
f (x) = [ A(w) cos(wx ) + B(w) sen(wx )]dw; A(w) = f (v) cos(wv)dv, B(w) = f (v) sen(wv)dv
0 π −∞ π −∞
ˆ ∞ ˆ ∞ ˆ ∞
1 −v 1 −v
∞ −v 1
A(w) = e cos(wv)dv = e sen(wv) o +
e sen(wv)dv = e−v sen(wv)dv
π 0 wπ 0 wπ 0
ˆ ∞ ˆ ∞
−1 −1 1 − πA(w)
−v
∞ −v −v
A(w) = 2 e cos(wv) o +
e cos(wv)dv = 2 −1 + e cos(wv)dv =
w π 0 w π 0 w2 π
de donde obtenemos:
1
A(w) =
π (1 + w2 )
ˆ ∞ ˆ
1 ∞ −v 1− w
π
B(w)
1 1 −v
∞ −v 1
B(w) = 1− e sen(wv) 0 +
e sen(wv)dv = 1− e sen(wv)dv =
wπ w 0 wπ w 0 wπ
w
de donde obtenemos: B(w) =
π (1 + w2 )
Página 3 de 11
Reemplazando los coeficientes A(w) y B(w) en la integral de Fourier tenemos,
ˆ ∞ e
− x si x > 0
1 cos(wx ) w sen(wx )
f (x) = + dw = 0 si x < 0
π 0 1 + w2 1 + w2 1 si x = 0
2
Como sabemos, debe cumplirse que f (0) = 1/2, para ello es fácil ver que,
ˆ ∞
1 1 1 1 π 1
f (0) = 2
dw = tan−1 (w)|0∞ = · =
π 0 1+w π π 2 2
Del resultado final que hemos obtenido, pueden obtenerse resultados como los siguientes. Evalue-
mos f (3) y f (−5), obtenemos
ˆ ∞ ˆ ∞
1 cos(3w) w sen(3w) cos(3x ) + x sen(3x )
f (3) = + dw =⇒ dx = πe−3
π 0 1 + w2 1 + w2 0 1 + x2
ˆ ∞ ˆ ∞
cos(5x ) − x sen(5x )
1 cos(5w) w sen(−5w)
f (−5) = + dw =⇒ dx = 0
π 0 1 + w2 1 + w2 0 1 + x2
ˆ ∞ ˆ ∞
cos(5x ) πe−5 cos( x ) πe−1
dx = ; dx = ; ··· etc.
0 1 + x2 2 0 1 + x2 2
Página 4 de 11
5. Encontrar la representación como integral de Fourier de la función
0
si x < 0,
f ( x ) = 12 si x = 0,
e− x si x > 0.
6. Demostrar que
1
ˆ ∞
2
si 0 ≤ x < 1,
1 sen(w)
cos(wx ) dw = 41 si x = 1,
π 0 w
0 si x > 1.
7. Demostrar que
ˆ ∞
(
1
1 sen(wπ ) 2 sen( x ) si x < π
sen(wx ) dw =
π 0 1 − w2 0 si x > π.
10. a) Utilizando las representación en serie de Fourier de coseno y seno de la función f ( x ) = e−kx , con
x > 0 y k > 0, demuestre que
ˆ ∞ ˆ ∞
cos(wx ) π −kx w sen(wx ) π
2 2
dw = e y 2 2
dw = e−kx , x > 0, k > 0.
0 k +w 2k 0 k +w 2
Estas integrales se conocen como integrales de Laplace.
b) Usando el inciso anterior, encuentre la representación de la función f ( x ) = 1/(1 + x2 ), definida
para x > 0, en serie de Fourier de coseno.
Solución.
Página 5 de 11
ˆ
k ∞
= 0+ sen(wv)e−kv dv
w 0
" ∞ ˆ ∞ #
k e−kv k
e−kv cos(wv) dv
= − cos(wv) −
w w 0 w 0
ˆ
k ∞ −kv
k 1
= − e cos(wv) dv
w w w 0
ˆ
k k2 ∞ −kv
= 2− 2 e cos(wv) dv
w w 0
de donde ˆ ∞
k2
k
1+ 2 e−kv cos(wv) dv =
w 0 w2
es decir ˆ ∞
k
e−kv cos(wv) dv = .
0 w2 + k2
Con esto tenemos que la representación de f en integral de Fourier de coseno es
ˆ ∞
−kx 2 k
e = f (x) = cos(wx ) dw
0 π w2 + k 2
por lo tanto ˆ ∞
π −kx cos(wx )
e = dw.
2k 0 w2 + k 2
Para la representación de integral de Fourier de seno, calculamos la integral de Fourier de la ex-
pansión impar de la función f , la cual notamos f 2 , de manera similar a antes concluimos
ˆ
1 ∞
A(w) = f 2 (v) cos(wv)dv = 0
π −∞
y así mismo
ˆ ∞ ˆ ∞ ˆ ∞
1 2 2
B(w) = f 2 (v) sen(wv)dv = f (v) sen(wv)dv = e−kv sen(wv)dv.
π −∞ π 0 π 0
Página 6 de 11
por lo tanto ˆ ∞
π −kx w sen(wx )
e = dw.
2 0 w2 + k 2
b) Para hallar la representación en integral de Fourier de coseno de f ( x ) = 1/(1 + x2 ), razonando de
la misma manera que antes sabemos que basta calcular A(w) como
ˆ
2 ∞ cos(wv)
A(w) = dv.
π 0 1 + v2
De la primera parte del literal anterior, con k = 1, sabemos que
ˆ ∞
cos(wx ) π
2
dw = e− x ,
0 1+w 2
es decir, ˆ ∞
cos(vw) π
dv = e−w .
0 1 + v2 2
Por lo tanto tenemos que la representación de f en integral de Fourier de coseno es
ˆ ∞
f (x) = e−w cos(wx ) dw.
0
f ( x ) = e− x cos( x ).
Demuestre que la extensión impar de f es absolutamente integrable, continua por tramos en cada
intervalo acotado y que admite derivadas laterales en cada punto.
b) Del inciso anterior concluya que f puede ser representada por una integral de Fourier de senos.
Calcule esta representación.
c) Usando el inciso anterior, calcule el valor de la integral I.
de donde
lı́m f ( x ) = −1.
x → 0+
Así, la extensión impar de f es continua por tramos en cada intervalo acotado y admite derivadas
laterales en cada punto. Para ver que esta es absolutamente integrable, basta analizar su integrabi-
lidad en ]0, +∞[:
| f ( x )| = |e−x cos( x )| ≤ e−x ,
y dado que la función x 7→ e− x es Riemann impropiamente integrable en ]0, +∞[, se tiene lo desea-
do.
b) Por el teorema de existencia de la integral de Fourier, se concluye que la extensión impar de f
admite una representación como integral de Fourier. Por imparidad, se sique que f admite una
representación como integral de Fourier de senos.
Página 7 de 11
Tenemos entonces que
ˆ
2 ∞ −v
B(w) = e cos(v) sen(wv) dv
π 0
ˆ
1 ∞ −v
= e [sen((1 + w)v) − sen((1 − w)v)] dv
π 0
1−w
1 1+w
= −
π (1 + w )2 + 1 (1 − w )2 + 1
2 w3
= .
π w4 + 4
De este modo, la representación de f como integral de Fourier de senos es
ˆ
−x 2 ∞ w3 sen(wx )
e cos( x ) = dw, x > 0.
π 0 w4 + 1
c) De lo anterior, tomando x = 1, se tiene que
ˆ ∞
−1 2 w3 sen(w)
e cos(1) = dw,
π 0 w4 + 1
de donde ˆ ∞ 3
t sen(t) π cos(1)
I= dt = .
0 t4 +4 2e
12. Sea f : R → R una función par con representación en integral de Fourier de coseno
ˆ ∞ ˆ
2 ∞
f (x) = A(w)cos(wx ) dw, donde A(w) = f (v) cos(wv) dv.
0 π 0
a) Demuestre que, para todo a > 0 y para todo x > 0, se verifica la identidad de cambio de escala:
ˆ
1 ∞ w
f ( ax ) = A cos(wx ) dw.
a 0 a
b) Demuestre que para todo x > 0 se verifica
ˆ ∞
x f (x) = − A0 (w) sen(wx ) dw,
0
Página 8 de 11
b) Como f es par, la función x 7→ x f ( x ) es impar, por ende tiene representación en serie de Fourier de
senos
ˆ ∞ ˆ
2 ∞
x f (x) = B̃(w) sen(wx ) dw donde B̃(w) = v f (v) sen(wv) dv.
0 π 0
Por ende, nuestro trabajo consiste en demostrar que A0 = − B̃. En efecto, para w > 0 se tiene que
ˆ ∞
0 2 d
A (w) = f (v) cos(wv) dv;
π dw 0
asumiendo que es posible intercambiar la derivada con la integral1 se tiene que
ˆ ˆ
2 ∞ d 2 ∞
A0 (w) = ( f (v) cos(wv)) dv = −v f (v) sen(wv) dv = − B̃(w),
π 0 dw π 0
como se deseaba.
c) En este caso, la función x 7→ x2 f ( x ) es par, por ende tiene un desarrollo en serie de Fourier de
cosenos
ˆ ∞ ˆ
1 ∞ 2
x2 f ( x ) = Ã(w) cos(wx ) dw donde Ã(w) = v f (v) cos(wv) dv.
0 π 0
Tenemos entonces que
ˆ ∞ ˆ ∞
00 2 d 2
A (w) = − v f (v) sen(wv) dv = − v2 f (v) cos(wv) dv = Ã(w),
π dw 0 π 0
13. Considere las funciones f , g :]0, +∞[→ R y g :]0, +∞[→ R definidas por
( (
1 si 0 < x < 1, x2 si 0 < x < 1,
f (x) = y g( x ) =
0 si x > 1, 0 si x > 1,
Página 9 de 11
Solución. a) Para f tenemos que
ˆ ˆ
2 ∞ 2 1 2 sen(w)
A(w) = f (v) cos(wv) dv = cos(wv) dv = ,
π 0 π 0 π w
de modo que ˆ ∞
2 sen(w)
f (x) = cos(wx ) dw.
π 0 w
b) Notemos que, para w > 0 tenemos
2 w cos(w) − sen(w) 2 (w2 − 2) sen(w) + 2w cos(w)
A0 (w) = − y A00 (w) = − ,
π w2 π w3
de modo que por el ejercicio anterior se tiene que
ˆ
2 2 ∞ (w2 − 2) sen(w) + 2w cos(w)
g( x ) = x f ( x ) = cos(wx ) dw.
π 0 w3
c) Para este caso, tenemos que
2
A(w) = g(v) cos(wv) dv
π
ˆ
2 1 2
= v cos(wv) dv
π 0
2 (w2 − 2) sen(w) + 2w cos(w)
= ,
π w3
de modo que
ˆ ∞
2 (w2 − 2) sen(w) + 2w cos(w)
g( x ) = cos(wx ) dw.,
π 0 w3
lo que comprueba el resultado obtenido anteriormente.
14. Sea f : R → R una función absolutamente integrable, derivable con continuidad, con representación
como integral de Fourier
ˆ ∞
f (x) = [ A(w) cos(wx ) + B(w) sen(wx )] dw, x ∈ R.
0
b) Asuma que f es dos veces derivable con continuidad y que f 00 admite una representación como
integral de Fourier. Demuestre que
ˆ ∞
00
f (x) = − w2 [ A(w) cos(wx ) + B(w) sen(wx )] dw
0
lı́m f ( x ) = 0 y lı́m f ( x ) = 0.
x →∞ x →−∞
Escribamos ˆ ∞
0
f (x) = Ã(w) cos(wx ) + B̃(w) sen(wx )] dw,
0
Página 10 de 11
de modo que ˆ ∞
1
Ã(w) = f 0 (v) cos(wv) dv.
π −∞
Entonces, por el teorema del sándwich, como 0 ≤ | cos(wv) f (v)| ≤ | f (v)|, se concluye que
ˆ ∞
Ã(w) = w f (v) sen(wv) dv = wB(w).
−∞
Página 11 de 11
E SCUELA P OLITÉCNICA N ACIONAL
A NÁLISIS DE F OURIER Y E CUACIONES EN D ERIVADAS PARCIALES • H OJA
DE EJERCICIOS NO . 5
q
2. Determinar la transformada de Fourier seno de f ( x ) = e−|x| . Respuesta: fˆs (w) = 2 w
π 1+ w2 .
Página 1 de 6
6. Demostrar que:
−(1+i )t , t > 0,
e si
1 1
F −1 √ = 0, si t < 0,
2π 1 + i (w + 1)
1/2, si t = 0,
Respuesta: F ( f ) = √1 2 sen(wa)
2π w
8. Determine 1 + iw
F −1
6 − w2 + 5iw
Hint: Separe en fracciones parciales.
e−iwt 0 e−iwt 1
1 1 2 2 sen w
F ( f (t)) = √ − + = √ + .
(−iw) −1 (−iw) 0 2π iw w
2π
Página 2 de 6
derivada de f (t) y exprese el resultado através de la función escalón unitario:
(
1, si t > 0,
u(t) =
0, si t < 0.
Derive nuevamente f (t) y exprese dicho resultado através de la función impulso δ(t), teniendo en
cuenta que:
u 0 ( t ) = δ ( t ).
F ( f 00 ) = (iw)2 F ( f ),
y
1
F (δ(t − a)) = √ e−aiw
2π
para determinar F . Observación: Una función del tipo impulso rectangular, puede expresarse atra-
vés de una combinación de funciones escalón unitario. Considere por ejemplo, la función:
(
2, si 2 ≤ t ≤ 3,
g(t) =
0, en en otros casos.
Esta puede expresarse como:
g(t) = 2u(t − 2) − 2u(t − 3),
donde (
1, si t > a,
u(t − a) =
0, si t < a.
2 − 3e−iw + e−3iw
1
F ( f (t)) = √ .
2π (iw)2
b) La primera derivada de f (t) está dada por:
2,
si 0 ≤ t ≤ 1,
0
f (t) = −1, si 1 ≤ t ≤ 3,
0, en otros casos.
Página 3 de 6
La cual puede escribirse como una combinaciòn lineal de funciones escalón como:
para cada x ∈ R se conoce como función de Fresnel. Asumiendo su existencia, encuentre la transformada
de Fourier de la función de Fresnel.
1 + i −w2 /4
Respuesta: F ( f )(w) = e .
2
Página 4 de 6
Para calcular I realizamos lo siguiente: Sean α > 0 y
ˆ ∞
2
J= e(i−α)x dx.
−∞
Tenemos que ˆ ˆ
∞ ∞
2 + y2 )
2
J = e(i−α)(x dxdy,
−∞ −∞
Página 5 de 6
y por ende, dada la linealidad de la transformación inversa de Fourier, se tiene que
sen( x )
g( x ) = π f ( x ) = π .
x
Esto implica que, para x 6= 0 se verifica
ˆ ∞
sen(y) sen( x − y) π sen( x )
dy = π .
−∞ y x−y x
Por continuidad, dado que
sen x
lı́m = 1,
x →0 x
podemos entonces concluir que
ˆ ∞
( π sen(x)
sen(y) sen( x − y) x si x 6= 0,
g( x ) = dy =
−∞ y x−y π si x = 0.
14. Dadas dos variables aleatorias continuas independientes X e Y, con funciones de densidad f X y f Y , se
sabe que la función de densidad f X +Y de la variable aleatoria X + Y está dada por
f X +Y ( x ) = ( f X ∗ f Y )( x ),
para todo x ∈ R. La función de densidad de una variable aleatoria que sigue una distribución normal
X ∼ N (µ, σ2 ) está dada por
2
1 − ( x −µ)
f µ,σ ( x ) = √ e 2σ2 .
2πσ
Sean X, Y variables aleatorias independientes tales que X ∼ N (µ1 , σ12 ) y Y ∼ N (µ2 , σ22 ). Demuestre que
X + Y ∼ N (µ1 + µ2 , σ12 + σ22 ).
Página 6 de 6
E SCUELA P OLITÉCNICA N ACIONAL
A NÁLISIS DE F OURIER Y E CUACIONES EN D ERIVADAS PARCIALES • H OJA
DE EJERCICIOS NO . 6
f ( x ) = b[u( x + a) − u( x − a)]
Página 1 de 3
además como F ( f 0 ( x )) = iwF ( f ( x )), tenemos que:
2b
F ( f ( x )) = √ sen(wa))
w 2π
e2a − e2aiw
Respuesta: fˆ(w) = √ .
2π (1 − wi )e a(1+wi)
3. Halle la transformada de Fourier de la función definida por:
(
0 si x < 0
f (x) = .
e − ax si x > 0
a − iw
Respuesta: fˆ(w) = √
2π ( a2 + w2 )
4. Usando la definición de transformada de Fourier, pruebe las siguientes propiedades. Recuerde que las
siguientes notaciones son equivalentes: F ( f ) = F ( f (t)) = F ( f (t))(w) = F ( f )(w) = fˆ(w)
a) F ( f (t − t0 )) = F ( f )e−iwt0
b) F ( f (t)eiw0 t ) = fˆ(w − w0 )
c) F ( f (αt)) = |α1| fˆ wα
d) F (F ( f )) = f (−w)
Solución. Haciendo uso de la definición de transformada de Fourier, para cada uno de los casos tenemos
que:
a) ˆ ∞
F { f (t − t0 )} = f (t − t0 )e−iwt dt Sea: t0 = t − t0
−∞
ˆ ∞ ˆ ∞
0 −iw(t+t0 ) 0 −iwt0 0
F { f (t − t0 )} = f (t )e dt = e f (t0 )e−iwt dt0 = F ( f )e−iwt0
−∞ −∞
b) ˆ ˆ
∞ ∞
iw0 t −iwt 0
F { f (t)e iw0 t
}= f (t)e e dt = f (t)e−i(w−w0 )t dt = fˆ(w − w0 )
−∞ −∞
c) ˆ ∞
F { f (αt)} = f (αt)e−iwt dt Sea: t0 = αt
−∞
ˆ ∞
0 1 0 1 ˆw
F { f (αt)} = f (t0 )e−iwt /α dt = f
−∞ α |α| α
d) ˆ ∞
−1 1
f (t) = F [ fˆ(w)] = √ fˆ(w)eiwt dw
2π −∞
Sea t0 = −t obtenemos, ˆ ∞
0 1 0
f (−t ) = √ fˆ(w)e−iwt dw
2π −∞
Página 2 de 3
Intercambiando t0 and w obtenemos:
ˆ ∞
1 0
f (−w) = √ fˆ(t0 )e−iwt dt0 = F ( fˆ) = F {F ( f )}
2π −∞
1 w
y además F (e|t| ) = √1 2
Solución. Como F ( f (αt)) = |α|
F(f α) 2π 1+w2
1 1 2 1 2| a |
F (e|at| ) = √ 2 =√
2π | a| a + ( a2 )
2 w 2π a + w2
2
Página 3 de 3
E SCUELA P OLITÉCNICA N ACIONAL
A NÁLISIS DE F OURIER Y E CUACIONES EN D ERIVADAS PARCIALES • H OJA
DE EJERCICIOS NO . 7
u ( x ) = c1 u1 ( x ) + c2 u2 ( x ),
2. Verifique para cada uno de los siguientes casos (y para un valor de c ∈ R adecuado) que la función
u : Ω ⊆ R2 → R con:
a) u( x, t) = x2 + t2 ,
b) u( x, t) = cos(4t) sen(2x ),
c) u( x, t) = sen(kct) cos(kx ),
d) u( x, t) = sen( at) sen(bx ),
4. Verifique para cada uno de los siguientes casos (y para un valor de c ∈ R adecuado) que la función
u : Ω ⊆ R2 → R con:
a) u( x, t) = e−t sen( x ),
2 c2 t
b) u( x, t) = e−w cos(wx ),
c) u( x, t) = e−9t sen(wx ),
Página 1 de 2
Solución. c) Determinando las derivadas parciales de u:
∂u ∂u ∂u
= −9e−9t sen(wx ), = we−9t cos(wx ), = −w2 e−9t sen(wx )
∂t ∂x ∂x2
y sustituyendo en la EDP:
5. Verifique para cada uno de los siguientes casos que la función u : Ω ⊆ R2 → R con:
a) u( x, y) = x2 − y2 .
b) u( x, y) = e x cos y.
c) u( x, y) = e x sen y.
d) u( x, y) = ln( x2 + y2 ).
Página 2 de 2
E SCUELA P OLITÉCNICA N ACIONAL
A NÁLISIS DE F OURIER Y E CUACIONES EN D ERIVADAS PARCIALES • H OJA
DE EJERCICIOS NO . 8
1. El siguiente problema de valor en la frontera describe las vibraciones transversales u( x, t) de una cuerda
elástica de longitud L = π fija en ambos extremos, la cual ha sido desplazada levantándola en su centro
y luego soltada al tiempo t = 0.
utt = 9u xx t > 0, 0<x<π
u(0, t) = 0, u(π, t) = 0 t ≥ 0,
u( x, 0) = f ( x ) u ( x, 0) = 0
t 0 ≤ x ≤ π.
donde (
x, 0 ≤ x ≤ π/2.
f (x) =
π − x, π/2 ≤ x ≤ π
Utilice el método de separación de variables para encontrar una expresión que describa las vibraciones
transversales u( x, t) en todo punto x ∈
[0, π ] de la cuerda y para todo tiempo t.
(−1)k−1
∑∞
4 (2k−1)π
Respuesta: u( x, t) = π n =1 (2k−1)2
sen 2 sen((2k − 1) x ) cos(3(2k − 1)t)
u( x, t) = X ( x ) T (t) (1)
la cual al derivar
utt = X ( x ) T 00 (t)
u xx = X 00 ( x ) T (t)
X ( x ) T 00 (t) = 9X 00 ( x ) T (t)
X 00 ( x ) − kX ( x ) = 0 (2)
Como k es una constante arbitraria, esta puede ser positiva, negativa o incluso cero, y dependiendo de
esto las soluciones de las (2) y (3). Los valores para k > 0 o k = 0 corresponden a la solución trivial
u( x, t) = 0.
Página 1 de 9
Para k < 0 y tomando k = −γ2 tenemos la ecuación:
X 00 ( x ) + γ2 X ( x ) = 0 (4)
u(π, t) = X (π ) T (t) = 0, X (π ) = 0
X ( x ) = emx , (5)
m2 emx + γ2 emx = 0
emx (m2 + γ2 ) = 0
de donde:
m = ±iγ.
Reemplazando m en (5),
X ( x ) = e±iγx . (6)
X (π ) = B sen(γπ ) = 0. (9)
γπ = nπ
y por tanto,
γn = n n = 1, 2, 3, ...
Xn ( x ) = Bn sen(γn x )
Xn ( x ) = sen(nx ). (10)
cuya resolucón es similar a la ecuación (4). Se puede verificar que la solución a (11) está dada por:
Página 2 de 9
Por el teorema fundamental de superposición, la solución general está dada por:
∞ ∞
u( x, t) = ∑ un ( x, t) = ∑ sen(nx) [ An cos(3nt) + Bn cos(3nt)] (14)
n =1 n =1
por tanto:
∞
4 nπ
u( x, t) = ∑ πn 2
sen(
2
) sen(nx ) cos(3nt)
n =1
o
∞
(−1)k−1 (2k − 1)π
4
u( x, t) =
π ∑ (2k − 1)2 sen 2
sen((2k − 1) x ) cos(3(2k − 1)t)
n =1
4. Encuentre la solución a la vibración de una cuerda de longitud L y fija en sus extremos si la velocidad
de sus puntos en t = 0 es cero y en ese mismo instante tiene la forma de un triángulo con vértice en
(h, a). Se debe resolver la ecuación
∂2 u 2
2∂ u
= c .
∂t2 ∂t2
∞
2L2 h nπa nπx nπct
Respuesta: u( x, t) = ∑ a ( L − a ) n2 π 2
sen
L
sen
L
cos
L
.
n =1
u(0, t) = 0; u( L, t) = 0;
∂u
u( x, 0) = 0; ( x, 0) = sen( x ).
∂t
2L sen L ∞ (−1)n nπx nπct
Respuesta: u( x, t) =
c ∑ 2
L −π n2 2
sen
L
sen
L
.
n =1
Página 3 de 9
6. Hallar la función u( x, t), con x ∈ [0, L] y t > 0, que resuelve la ecuación de la onda unidimensional,
∂2 u ∂2 u
2
= c2 2
∂t ∂x
y satisface las condiciones de frontera
u(0, t) = u( L, t) = 0,
u( x, 0) = x ( L − x ),
u ( x, 0) = 0.
t
[(−1)n −1]
4L2
∑∞ ncπt nπx
Respuesta: u( x, t) = π3 n =1 n3
cos L sen L .
Solución. Usando el método de separación de variables tenemos que la solución para este problema de
valores de frontera está dada por
∞ nπx
ncπt ncπt
u( x, t) = ∑ sen An sen + Bn cos
n =1
L L L
donde
ˆ L nπx ˆ L nπx
2 2
An = 0 · sen dx = 0 y Bn = x ( L − x ) · sen dx.
ncπ 0 L L 0 L
Calculando Bn tenemos
ˆ L nπx ˆ L nπx
2 2
Bn = · L x sen dx − · x2 sen dx,
L 0 L L 0 L
nπx L ˆ L ! ˆ L
xL L nπx 2 nπx
=2 − cos + cos dx − · x2 sen dx,
nπ L 0 nπ 0 L L 0 L
ˆ L
L2
nπx
2
=2 − cos(nπ ) + 0 − · x2 sen dx,
nπ L 0 L
nπx L 2L ˆ L
!
2L2 n +1 2 x2 L nπx
= (−1) − − cos + x cos dx ,
nπ L nπ L 0 nπ 0 L
" ˆ L !#
2L2 n +1 2 L3 n 2L xL nπx L L nπx
= (−1) − − (−1) + sen − sen dx ,
nπ L nπ nπ nπ L 0 nπ 0 L
2L2 2L2
2 nπx L
n +1 n 4 L
= (−1) + (−1) + cos ,
nπ nπ nπ n2 π 2 L 0
4L 2
= 3 3 [(−1)n − 1].
n π
De donde la función buscada es
∞ nπx 4L2
ncπt
u( x, t) = ∑ sen [(− 1 ) n
− 1 ] cos
n =1
L n3 π 3 L
4L2 ∞ [(−1)n − 1]
ncπt nπx
= 3 ∑ cos sen .
π n =1 n3 L L
7. Hallar la función u( x, t), con x ∈ [0, L] y t > 0, que resuelve la ecuación de la onda unidimensional,
∂2 u 2
2∂ u
= c
∂t2 ∂x2
Página 4 de 9
y satisface las condiciones de frontera
u(0, t) = u(2, t) = 0,
N
jπx
∑f
u( x, 0) =
A j sen ,
j =1
2
N
jπx
∑ Bj sen 2 .
u ( x, 0) =
t
e
j =1
N
2 f ncπt ncπt nπx
Respuesta: u( x, t) = ∑ ncπ
Bn sen
2
+A
fn cos
L
sen
2
.
j =1
8. Sean a, b ∈ R y f , g : Ω → R dos funciones, donde Ω = [0, L] × [0, +∞[, siendo L > 0. Considere el
siguiente problema de valor en la frontera, asociado a la ecuación de la onda unidimensional:
2
∂ u ∂2 u
2
= c2 2 ( x, t) ∈ Ω,
∂t ∂x
u(0, t) = a t ≥ 0,
(P) u( L, t) = b t ≥ 0,
u( x, 0) = f ( x ) x ∈ [0, L],
∂u ( x, 0) = g( x ) x ∈ [0, L].
∂t
a) Demuestre que toda solución u del problema (P) puede escribirse en la forma
b−a
u( x, t) = w( x, t) + a + x, ( x, t) ∈ Ω,
L
donde w : Ω → R es solución del problema
2 2
∂ w 2∂ w
= c ( x, t) ∈ Ω,
∂t2 ∂x2
w(0, t) = w( L, t) = 0 t ≥ 0,
(Ph) b−a
w( x, 0) = f ( x ) − a − L x x ∈ [0, L],
∂w ( x, 0) = g( x )
x ∈ [0, L].
∂t
b) Sea Ω = [0, π ] × [0, +∞[. Use el inciso anterior para resolver el siguiente problema de valor en la
frontera: 2
∂ u ∂2 u
2
= 2 ( x, t) ∈ Ω,
∂t ∂x
u(0, t) = −3 t ≥ 0,
u( L, t) = 8 t ≥ 0,
u( x, 0) = sen(17x ) x ∈ [0, π ],
∂u ( x, 0) = 0
x ∈ [0, π ].
∂t
∞
11 2(3 + 8(−1)k )
Respuesta: u( x, t) = sen(17x ) cos(17t) − 3 + x+ ∑ sen(kx ) cos(kt)
π k =1
kπ
Página 5 de 9
y con condiciones iniciales
∂u
u( x, 0) = f ( x ), ( x, 0) = 0, 0 ≤ x ≤ L,
∂t
Donde f : [0, L] → R es una función conocida no nula. Nótese que a diferencia del problema usual, las
condiciones de frontera se encuentran sobre la derivada parcial ∂u
∂x en lugar de sobre la función u.
Para esto, usaremos el método de separación de variables: Asumiremos que existen funciones X :
[0, L] → R y T : [0, +∞[→ R tales que, para todo ( x, t) se cumple que
u( x, t) = X ( x ) T (t).
a) Demuestre que existe una constante λ ∈ R tal que las funciones X y T son soluciones de las si-
guientes ecuaciones diferenciales ordinarias con restricciones:
( (
c2 X 00 ( x ) − λX ( x ) = 0, 0 ≤ x ≤ L, T 00 (t) − λT (t) = 0, t ≥ 0,
y
X 0 (0) = X 0 ( L) = 0, T 0 (0) = 0.
Página 6 de 9
El lado izquierdo de esta igualdad es una función que depende solamente de la variable t, mientras
que el derecho depende solamente de la variable x, por ende ambos términos deben ser iguales a
una constante λ ∈ R, así
T 00 X 00
= c2 = λ.
T X
∂u
Ahora, como T no puede ser idénticamente nula, se tiene que 0 = (0, t) = X 0 (0) T (t), de donde
∂x
X 0 (0) = 0 y similarmente X 0 ( L) = 0. De igual manera se tiene que T 0 (0) = 0. Con esto, se tienen
las siguientes EDOs con restricciones:
( (
c2 X 00 ( x ) − λX ( x ) = 0, 0 ≤ x ≤ L, T 00 (t) − λT (t) = 0, t ≥ 0,
y
X 0 (0) = X 0 ( L) = 0, T 0 (0) = 0.
+ c2 e −
λ λ
X ( x ) = c1 e c x c x ,
de donde √ √ √
0 λ
c1 e c x − c2 e − c x .
λ λ
X (x) =
c
Dado que X 0 (0) = X 0 ( L) = 0 se tiene que
√ √
− c2 e −
λ λ
c1 − c2 = 0 y c1 e c L c L = 0,
lo que implica que c1 = c2 = 0. Por ende X = 0 y así u = 0, lo que no es posible ya que f es no
nula.
d) Supongamos que λ < 0. Entonces, la solución general de la EDO c2 X 00 − λX = 0 es
√ ! √ !
−λ −λ
X ( x ) = c1 cos x + c2 sen x ,
c c
de donde √ √ ! √ !!
−λ −λ −λ
X0 (x) = −c1 sen x + c2 cos x ,
c c c
Página 7 de 9
√ !
−λ
se tiene que sen L = 0, lo que sucede solamente si existe k ∈ Z+ tal que
c
√
−λ
L = kπ,
c
de donde tenemos que, escribiendo C = c1 ,
c2 k 2 π 2
kπx
λ=− y X ( x ) = C cos .
L2 L
Con este valor de λ, procedemos a resolver la EDO T 00 − λT = 0 con la condición inicial T 0 (0) = 0.
La solución general de esta EDO es
ckπt ckπt
T (t) = c1 cos + c2 sen ,
L L
de donde, por la condición T 0 (0) = 0, se tiene que c2 = 0, así, escribiendo D = c1 , se tiene que
ckπt
T (t) = D cos .
L
e) Por los incisos b) y d) se tiene que la solución u se puede escribir en la forma
∞
kπx ckπt
u( x, t) = A + ∑ Ak cos cos .
k =1
L L
Escribiendo a0 = 2A y ak = Ak , se tiene que
∞
a0 kπx ckπt
u( x, t) = + ∑ ak cos cos .
2 k =1
L L
Para calcular los coeficientes de Fourier, considere la siguiente identidad trigonométrica: cos(3x ) =
4 cos3 ( x ) − 3 cos( x ).
10. Sean f , g : [0, L] → R dos funciones. Considere el siguiente problema de valor en la frontera asociado a
la ecuación de la onda:
2 2
∂ u 2∂ u
= c ( x, t) ∈ [0, L] × [0, +∞[,
∂t2 ∂x2
u(0, t) = u( L, t) = 0 t ≥ 0,
(P)
u( x, 0) = f ( x ) 0 ≤ x ≤ π,
∂u
0 ≤ x ≤ π.
( x, 0) = g( x )
∂t
a) Demuestre que toda solución u de (P) puede escribirse en la forma
Página 8 de 9
donde u1 y u2 son soluciones de los problemas
2 2
∂ u1 2 ∂ u1
2
= c ( x, t) ∈ [0, L] × [0, +∞[,
∂x2
∂t
u (0, t) = u ( L, t) = 0 t ≥ 0,
1 1
(P1)
u1 ( x, 0) = f ( x )
0 ≤ x ≤ π,
∂u
1 ( x, 0) = 0 0≤x≤π
∂t
y
2 2
∂ u2 2 ∂ u2
= c ( x, t) ∈ [0, L] × [0, +∞[,
∂t2 ∂x2
u (0, t) = u ( L, t) = 0 t ≥ 0,
2 2
(P2)
u2 ( x, 0) = 0 0 ≤ x ≤ π,
∂u
2 ( x, 0) = g( x ) 0 ≤ x ≤ π,
∂t
respectivamente.
b) Use el resultado precedente para resolver el siguiente problema:
2
∂ u ∂2 u
= ( x, t) ∈ [0, L] × [0, +∞[,
∂t2 ∂x2
u(0, t) = u( L, t) = 0 t ≥ 0,
u( x, 0) = x ( L − x ) 0 ≤ x ≤ π,
∂u ( x, 0) = g( x )
0 ≤ x ≤ π,
∂t
donde (
0 si x ∈ [0, L/3[∪]2L/3, L],
g( x ) =
1 si x ∈ [ L/3, 2L/3].
Respuesta:
∞
2L kπx 2L kπt
u( x, t) =
π2 ∑ sen L π (2k + 1)3
cos
L
k =1
cos((2k + 1)π/3) − cos(2(2k + 1)π/3)
kπt
+ sen .
(2k + 1)2 L
Página 9 de 9