Mavanzadas 3 PDF

1 INTRODUCCIÓN
Ejemplo 1.1. Demostrar que para todos los números m y n se tiene
(1) sen mx sen nx = 12 [cos(m − n)x − cos(m + n)x] ,

(2) cos mx cos nx = 21 [cos(m + n)x + cos(m − n)x].
(3) sen mx cos nx = 12 [sen(m + n)x + sen(m − n)x] ,
Solución. Recordemos que para todos 𝛼 y 𝛽 se cumple:
(4) sen(𝛼 ± 𝛽 ) = sen 𝛼 cos 𝛽 ± sen 𝛽 cos 𝛼 ,

(5) cos(𝛼 ± 𝛽 ) = cos 𝛼 cos 𝛽 ∓ sen 𝛼 sen 𝛽 ,
r
𝛼 1 − cos 𝛼
(6) sen = ,
2 2
r
𝛼 1 + cos 𝛼
(7) cos = .
2 2
Aplicando (5) para 𝛼 = mx y 𝛽 = nx
(8) sen(m + n)x = sen mx cos nx + sen nx cos mx

(9) sen(m − n)x = sen mx cos nx − sen nx cos mx
(10) cos(m + n)x = cos mx cos nx − sen mx sen nx
(11) cos(m − n)x = cos mx cos nx + sen mx sen nx
Prueba de (1). Restando (10) de (11) queda
cos(m − n)x − cos(m + n)x = 2 sen mx sen nx,
que es equivalente a (1).

Pruebas de (2) y (3). Ejercicios
1. Introducción 2
Ejemplo 1.2. Demostrar que para todos los números naturales m y n se tiene
(
0, si m ≠ n,
∫ 𝜋
(12) sen mx sen nx dx =
−𝜋 𝜋 , si m = n,
(
0, si m ≠ n,
∫ 𝜋
(13) cos mx cos nx dx =
−𝜋 𝜋 , si m = n,
∫ 𝜋
(14) sen mx cos nx dx = 0.
−𝜋
Solución. Recordemos que sen k𝜋 = 0, cos k𝜋 = (−1) k , para todo k ∈ Z.

Prueba de (12). Si m ≠ n entonces
∫ 𝜋 ∫
1 𝜋
sen mx sen nx dx = [cos(m − n)x − cos(m + n)x] dx
−𝜋 2 −𝜋
∫ 𝜋 ∫ 𝜋
1
= cos(m − n)x dx − cos(m + n)x dx
2 −𝜋 −𝜋
𝜋 𝜋
1 1 1
= sen(m − n)x − sen(m + n)x
2 m−n −𝜋 m+n −𝜋
1
= [sen(m − n)𝜋 + sen(m − n)𝜋]
2(m − n)
1
− [sen(m + n)𝜋 + sen(m + n)𝜋]
2(m − n)
= 0.
Si m = n tenemos
∫ 𝜋 ∫ 𝜋
sen mx sen nx dx = sen mx sen mx dx
−𝜋
∫−𝜋𝜋
= sen2 mx dx
−𝜋
∫ 𝜋
1
= (1 − cos 2mx) dx
2 −𝜋
𝜋
1 1
= x − 2m

2 sen 2mx
−𝜋
1 1
= 2 [𝜋
− (−𝜋) − 2m (sen 2m𝜋 + sen 2m𝜋)]
= 𝜋.
Pruebas de (13) y (14). Ejercicios.

Ejemplo 1.3. Observemos que el cálculo de algunas integrales como las involucradas en el
ejemplo (1.2) puede simplificarse considerablemente dependiendo de ciertas propiedades de
Fernando Mejías/Matemáticas Avanzadas espol/fcnm/

1. Introducción 3
las funciones. Para empezar, decimos que una función f : R → R es par si
f (−x) = f (x).
Por ejemplo cualquier función de la forma f (x) = x 2n con n ∈ N, es par, también g (x) = |x|
y h(x) = cos x son pares.
En general sabemos que
∫ a ∫ 0 ∫ a
f (x) dx = f (x) dx + f (x) dx,
−a −a 0
pero si f es par, entonces

∫ 0 ∫ 0
f (x) dx = f (−x) dx (porque f es par)
−a −a
∫ 0
=− f (x) dx (por el método de sustitución)
a
∫ a
= f (x) dx (por propiedades de la integral).
0
Luego
∫ a ∫ 0 ∫ a ∫ a ∫ a
f (x) dx = f (x) dx + f (x) dx = f (x) dx + f (x) dx,
−a −a 0 0 0
es decir ∫ a ∫ a
f (x) dx = 2 f (x) dx.
−a 0
Ejemplo 1.4. Análogamente al ejemplo 1.3 decimos que una función f : R → R es impar
si
f (−x) = −f (x).
Por ejemplo cualquier función de la forma f (x) = x 2n+1 con n ∈ N, es impar, también
h(x) = sen x es impar. La función constante F (x) = 0 es par e impar a la vez.
En este caso tenemos
∫ 0 ∫ 0
f (x) dx = − f (−x) dx (porque f es impar)
−a −a
∫ 0
= f (x) dx (por el método de sustitución)
a
∫ a
=− f (x) dx (por propiedades de la integral).
0

1. Introducción 4
Luego
∫ a ∫ 0 ∫ a ∫ a ∫ a
f (x) dx = f (x) dx + f (x) dx = − f (x) dx + f (x) dx,
−a −a 0 0 0
o sea ∫ a
f (x) dx = 0.
−a
Ejemplo 1.5. A propósito de los ejemplos 1.3 y 1.4, es importante tomar en cuenta las si-
guientes proposiciones (fáciles de comprobar):
1. La suma de funciones pares es una función par.

2. La suma de funciones impares es una función impar.
3. El producto de funciones pares es una función par.
4. El producto de funciones impares es una función par.
5. El producto de una función par con una impar es una función impar.
Ejemplo 1.6. Supongamos que f es continua sobre [−𝜋 , 𝜋].
(a) Demostrar que el mínimo valor de
∫ 𝜋
[ f (x) − a cos nx] 2 dx
−𝜋
ocurre cuando ∫ 𝜋
1
a= f (x) cos nx dx.
𝜋 −𝜋
(b) Demostrar que el mínimo valor de

∫ 𝜋
[ f (x) − a sen nx] 2 dx
−𝜋
ocurre cuando ∫ 𝜋
1
a= f (x) sen nx dx.
𝜋 −𝜋
Solución de 3(a). Sea g la función definida por

∫ 𝜋
g (a) = [ f (x) − a cos nx] 2 dx.
−𝜋
Es decir
∫ 𝜋 ∫ 𝜋 ∫ 𝜋
2 2
g (a) = [ f (x)] dx − 2a f (x) cos nx dx + a cos2 x dx
∫−𝜋𝜋 ∫−𝜋𝜋 −𝜋
= [ f (x)] 2 dx − 2a f (x) cos nx dx + 𝜋 a2 .

−𝜋 −𝜋

1. Introducción 5
Entonces ∫ 𝜋
0
g (a) = −2 f (x) cos nx dx + 2𝜋 a
−𝜋
y
g 00 (a) = 2𝜋 > 0.
Entonces si g 0 (a) = 0 nos queda que el único punto crítico de g es
∫ 𝜋
1
a= f (x) cos nx dx,
𝜋 −𝜋
y como g 00 (a) > 0 tenemos que a es un punto mínimo.

Solución de 3(b). Ejercicio.
Ejemplo 1.7. Supongamos que f es continua sobre [−𝜋 , 𝜋]. Definir

∫ 𝜋
1
a0 = f (x) dx
2𝜋 −𝜋
∫ 𝜋
1
an = f (x) cos nx dx, n ∈ N,
2𝜋 −𝜋
∫ 𝜋
1
bn = f (x) sen nx dx, n ∈ N.
2𝜋 −𝜋
Demostrar que si Ai y Bi son números cualesquiera, entonces
∫ " N
!# 2
𝜋 Õ
f (x) − A0 + An cos nx + Bn sen nx dx
−𝜋 n=1
N N
∫ ! !
𝜋 Õ Õ
= [ f (x)] 2 dx − 2𝜋 2a0 A0 + an An + bn Bn + 𝜋 2A02 + cA2 + Bn2
−𝜋 n=1 n=1
N
∫ !
𝜋 Õ
= [ f (x)] 2 dx − 2𝜋 a02 + an2 + bn2
−𝜋 n=1
N
" #
Õ
2 2 2
+ 𝜋 2(A0 − a0 ) + (An − an ) + (Bn − bn ) .
n=1
Solución. Ejercicio. Indicación: Note que en el desarrollo de la expresión
∫ N
!2
𝜋 Õ
an An + bn Bn dx
−𝜋 n=1
aparecen involucradas integrales semejantes a las del ejemplo 1.2.

1. Introducción 6
El ejemplo 1.7 indica que la primera integral tiene su valor mínimo cuando Ai = ai y Bi = bi .
En otras palabras, entre todas las “combinaciones lineales” de funciones cn (x) = cos nx y
sn (x) = sen nx para 1 ≤ n ≤ N , la función
N
Õ
g (x) = a0 + an cos nx + bn sen nx
n=1
es la “mejor aproximación” a f sobre [−𝜋 , 𝜋]. Así surge naturalmente la inquietud acerca
de la veracidad de la igualdad
∞
Õ
f (x) = a0 + an cos nx + bn sen nx.
n=1

2 SERIES DE FOURIER
Una serie trigonométrica es una serie de funciones de la forma

∞
Õ
a0 + (an cos nx + bn sen nx).
n=1
Una función periódica f es representada por una serie de Fourier si
∞
Õ
(1) f (x) = a0 + (an cos nx + bn sen nx),
n=1
los números an y bn son los coeficientes de Fourier dados por las fórmulas de Euler:
∫ 𝜋
1
(2) a0 = f (x) dx,
2𝜋 −𝜋
∫ 𝜋
1
(3) an = f (x) cos nx dx, n ∈ N,
𝜋 −𝜋
∫ 𝜋
1
(4) bn = f (x) sen nx dx, n ∈ N.
𝜋 −𝜋
Teorema 2.1. Sea f una función periódica con período 2𝜋, continua a trozos en el intervalo [−𝜋 , 𝜋]
y tal que para cada x existen las derivadas laterales f−0 (x), f+0 (x). Entonces la serie de Fourier de f
converge hacia f (x) para todo x, excepto en los puntos donde f es discontinua, en cuyo caso converge
hacia la media aritmética de los límites laterales f (x−) y f (x+).
Ejemplo 2.1. Hallar la serie de Fourier para la función f definida pòr

(
k si x ∈ (0, 𝜋),
f (x) = y f (x + 2𝜋) = f (x),
−k si x ∈ (−𝜋 , 0),
siendo k > 0 (constante).

∫ 𝜋 ∫ 0 ∫ 𝜋
1 1
a0 = f (x) dx = (−k) dx + k dx = 0
2𝜋 −𝜋 2𝜋 −𝜋 0
2. Series de Fourier 8
∫ 𝜋
1
an = f (x) cos nx dx
𝜋 −𝜋
∫ 0 ∫ 𝜋
1
= (−k) cos nx dx + k cos nx dx
𝜋 −𝜋 0
" #
k sen nx 0

1 k sen nx 𝜋
= − +
𝜋 n −𝜋 n 0
= 0.
Análogamente
∫ 𝜋
1
bn = f (x) sen nx dx
𝜋 −𝜋
∫ 0 ∫ 𝜋
1
= (−k) sen nx dx + k sen nx dx
𝜋 −𝜋 0
" #
1 k cos nx 0

k cos nx 𝜋
= −
𝜋 n −𝜋 n 0
2k
= (1 − cosn𝜋)
n𝜋
2k
= [1 + (−1) n+1 ].
n𝜋
Entonces la serie de Fourier de f es
∞
2k Õ 1 + (−1) n+1
sen nx.
𝜋 n
n=1
FUNCIONES PERIÓDICAS EN GENERAL

Si f es una función periódica con período 2L entonces las ecuaciones (1)-(4) se convierten
en
∞
Õ n𝜋x n𝜋x
(5) f (x) = a0 + an cos + bn sen ,
L L
n=1
y
∫ L
1
(6) a0 = f (x) dx,
2L −L
1 L n𝜋x
∫
(7) an = f (x) cos dx, n ∈ N,
L −L L
1 L n𝜋x
∫
(8) bn = f (x) sen dx, n ∈ N.
L −L L

SERIES DE FOURIER PARA FUNCIONES PARES Y FUNCIONES IMPARES

Si f es una función periódica de período 2L y par, entonces bn = 0 para todo n y f se puede
representar con la serie cosenoidal de Fourier:
∞
Õ n𝜋x
(9) f (x) = a0 + an cos ,
L
n=1
con
L L
n𝜋x
∫ ∫
1 2
(10) a0 = f (x) dx, y an = f (x) cos dx, n ∈ N,
L 0 L 0 L
Si f es una función periódica de período 2L e impar, entonces an = 0 para todo n y f se

puede representar con la serie senoidal de Fourier:
∞
Õ n𝜋x
(11) f (x) = a0 + bn sen ,
L
n=1
con
L
n𝜋x
∫
2
(12) bn = f (x) sen dx, n ∈ N,
L 0 L
Ejemplo 2.2. Hallar la serie de Fourier de la función f definida sobre R por
f (x) = x|x| si x ∈ [−1, 1]
y f (x + 2) = f (x) para todo x.
Solución. Notemos que f se puede expresar de la forma

(
−x 2 si −1 ≤ x ≤ 0,
f (x) = 2
x si 0 ≤ x ≤ 1,
es fácil verificar que f es impar directamente de la definición u observando que f (x) =

𝛼 (x) 𝛽 (x) donde 𝛼 (x) = x (impar) y 𝛽 (x) = |x| (par). Por tanto tenemos que la serie de
Fourier se reduce a serie senoidal, es decir a0 = an = 0 para todo n, así
∞
Õ
bn sen nx,
n=1
donde ∫ 1
bn = 2 x 2 sen n𝜋x dx, n ∈ N.
0

Aplicando el método de integración por partes queda

∫ ∫
2 1 2 2
x sen n𝜋x dx = − x cos n𝜋x + x cos n𝜋x dx
n𝜋 n𝜋
∫
1 2 2 1 1
= − x cos n𝜋x + x sen n𝜋x − sen n𝜋x dx
n𝜋 n𝜋 n𝜋 n𝜋
1 2 2
= − x 2 cos n𝜋x + 2 2 x sen n𝜋x + 3 3 cos n𝜋x.
n𝜋 n 𝜋 n 𝜋
Luego
∫ 1
1 2 2
x 2 sen n𝜋x dx = (−1) n+1 + 3 3 (−1) n − 3 3 .
0 n𝜋 n 𝜋 n 𝜋
Así que la serie de Fourier es
∞
2 Õ 1 n+1 2 n 2
(−1) + 3 2 (−1) − 3 2 .
𝜋 n n 𝜋 n 𝜋
n=0
Ejemplo 2.3. Hallar la serie de Fourier para la función f (x) = |x| si x ∈ [−𝜋 , 𝜋] y f (x +
2𝜋) = f (x).
Solución. f (x) es una función par, entonces bn = 0 para todo n.

∫ 𝜋
2 𝜋2 𝜋
a0 = x dx = = .
2𝜋 0 2𝜋 2
𝜋
x
∫ 𝜋
2 2 1
an = x cos nx dx = sen nx + 2 cos nx
𝜋 0 𝜋 n n 0
2 n
2[(−1) − 1]
= 2 (cos n𝜋 − cos 0) =
n 𝜋 n2 𝜋
∞
𝜋 2 Õ [(−1) n − 1]
f (x) = + cos nx.
2 𝜋
n=1
n2
Ejemplo 2.4. g (x) = g1 (x) + g2 (x) donde g1 (x) = x, g2 (x) = 𝜋 para x < 0, g2 (x) = −𝜋 para
x > 0. g1 (x) y g2 (x) son impares.
Solución. Para g2 (x) tenemos que an = 0 para n ≥ 0 y:
∫ 𝜋
2 2 2 2
bn = (−𝜋) sen nx dx = cos nx| 0𝜋 = (cos n𝜋 − cos0) = [(−1) n − 1].
𝜋 0 n n n
Luego
∞
Õ [(−1) n − 1]
g2 (x) = 2 sen nx.
n
n=1

Para g1 (x)
𝜋
x
∫ 𝜋
2 2 1
bn = x sen nx dx = − cos nx + 2 sen nx
𝜋 0 𝜋 n n 0
2 𝜋 2 2(−1) n+1
= − cos n𝜋 = − (−1) n = .
𝜋 n n n
∞ ∞
Õ (−1) n+1 Õ [(−1) n − 1]
g (x) = 2 sen nx + 2 sen nx
n n
n=1 n=1
∞
Õ 1
= −2 sen nx.
n
n=1
Ejemplo 2.5. Hallar la serie de Fourier para la función h(x) = x 2 si x ∈ [−1, 1] y h(x + 2) =
h(x).
Solución. h(x) es una función par, entonces bn = 0 para todo n.
∫ 1
2 𝜋2 1
a0 = x 2 dx = = .
2·1 0 2𝜋 3
∫ 1
2
an = x cos n𝜋x dx =
1 0
1
x2 2 2x 2
=2 x sen nx + 2 2 cos n𝜋x − 3 3 sen n𝜋x
n𝜋 n 𝜋 n 𝜋 0
4 n
4[(−1) − 1]
= 2 2 cos n𝜋 =
n 𝜋 n2 𝜋 2
∞
1 4 Õ (−1) n
h(x) = + 2 cos n𝜋x.
3 𝜋
n=1
n2
Utilizar el ejercicio 3 para demostrar la siguiente igualdad:
1 1 1 𝜋2
1+ + + +··· = .
4 9 16 6
Tomando x = 1 en el ejercicio anterior resulta

∞ ∞ ∞
1 4 Õ (−1) n 1 4 Õ (−1) n n 1 4 Õ (−1) 2n
1= + 2 cos n𝜋 = + (−1) = + ,
3 𝜋
n=1
n 2 3 𝜋2
n=1
n 2 3 𝜋2
n=1
n 2

de donde
∞
4 Õ 1 2
= ,
𝜋 n=1 n
2 2 3
luego
∞
Õ 1 𝜋2
= .
n=1
n2 6

3 POLINOMIOS TRIGONOMÉTRICOS
Sea f una función periódica con período 2𝜋 y serie de Fourier

∞
Õ
a0 + (an cos nx + bn sen nx).
n=1
N
Õ
(1) f (x) ≈ a0 + (an cos nx + bn sen nx).
n=1
Un polinomio trigonométrico es una función F de la forma

N
Õ
(2) F (x) = A0 + (An cos nx + Bn sen nx),
n=1
siendo A0 , A1 ,. . . ,AN , B1 ,. . . ,BN números reales.

El error en x se define por: E(x) = | f (x) − F (x)|.
Error cuadrático en el intervalo [−𝜋 , 𝜋] está dado por
∫ 𝜋
(3) E= ( f (x) − F (x)) 2 dx
−𝜋
es decir
∫ 𝜋 ∫ 𝜋 ∫ 𝜋
2
(4) E= f dx − 2 f F dx + F 2 dx.
−𝜋 −𝜋 −𝜋
∫ ∫ " N
#2
𝜋 𝜋 Õ
F 2 dx = A0 + (An cos nx + Bn sen nx) dx
−𝜋 −𝜋 n=1

=𝜋 2A02 + A12 +···+ 2
AN + B12 +···+ 2
BN
N
!
Õ
=𝜋 2A02 + An2 + Bn2 .
n=1
3. Polinomios trigonométricos 14
N
∫ ∫ " #
𝜋 𝜋 Õ
f F dx = f A0 + (An cos nx + Bn sen nx) dx
−𝜋 −𝜋 n=1
N
∫ ∫ " #
𝜋 𝜋 Õ
= A0 f dx + (An f cos nx + Bn f sen nx) dx
−𝜋 −𝜋 n=1
∫ 𝜋 N ∫
Õ 𝜋
= A0 f dx + (An f cos nx + Bn f sen nx) dx
−𝜋 n=1 −𝜋
∫ 𝜋 N
Õ ∫ 𝜋 ∫ 𝜋
= A0 f dx + An f cos nx dx + Bn f sen nx dx
−𝜋 n=1 −𝜋 −𝜋
N
Õ
= 2𝜋 A0 a0 + (𝜋 An an + 𝜋Bn bn )
n=1
N
!
Õ
= 𝜋 2A0 a0 + An an + Bn bn .
n=1
N N
∫ " # " #
𝜋 Õ Õ
(5) E= f 2 dx − 2𝜋 2A0 a0 + An an + Bn bn + 𝜋 2A02 + An2 + Bn2 .
−𝜋 n=1 n=1
Tomando An = an y Bn = bn
N N
∫ " # " #
𝜋 Õ Õ
(6) E∗ = f 2 dx − 2𝜋 (2a02 + (an2 + bn2 ) + 𝜋 2a02 + (an2 + bn2 )
−𝜋 n=1 n=1
N
∫ " #
𝜋 Õ
(7) = f 2 dx − 𝜋 2a02 + (an2 + bn2 ) .
−𝜋 n=1
Entonces
N
" #
Õ
(8) E − E ∗ = 𝜋 2(A0 − a0 ) 2 + (An − an ) 2 + (Bn − bn ) 2 .
n=1
E − E ∗ ≥ 0, luego E ≥ E ∗ .
E = E ∗ si y sólo si A0 = a0 , A1 = a0 , . . . , AN = aN , B1 = b1 . . . , BN = bN .
Teorema 3.1. El error cuadrático de F (N fijo) en [𝜋 , 𝜋] es mínimo si sólo si los coeficientes An y
Bn son los coeficientes de Fourier an y bn .

En la medida en que N crece, E ∗ decrece. Pero E ∗ ≥ 0 y (7) vale para todo N , luego tenemos:
∞ ∫ 𝜋
Õ 1
(9) 2a02 + (an2 + bn2 ) ≤ f (x) 2 dx (desigualdad de Bessel)
𝜋 −𝜋
n=1
∞ ∫ 𝜋
Õ 1
(10) 2a02 + (an2 + bn2 ) = f (x) 2 dx (identidad de Parseval).
𝜋 −𝜋
n=1
Ejemplo 3.1. Hallar la serie de Fourier para la función f (x) = x 3 si −1 < x < 1 y
f (x + 2) = f (x). Calcular el error mínimo E ∗ para N = 3.
Solución: f (x) es impar por lo tanto an = 0 para todo n ≥ 0.

Tenemos que
x3
∫
3x 2 6x
x 3 sen n𝜋x dx = − cos n𝜋x + sen n𝜋x − cos n x
n𝜋 (n𝜋) 2 (n𝜋) 3
6
+ sen n𝜋x,
(n𝜋) 4
entonces
2 1 3
∫
bn = x sen n𝜋x dx
𝜋 0
3 1
x 3x 2 6x 6
= − cos n𝜋x + sen n𝜋x − cos n𝜋x + sen n𝜋x
n𝜋 (n𝜋) 2 (n𝜋) 3 (n𝜋) 4
0
2
2 𝜋 6
= (−1) n+1 + 3 2 .
𝜋 n n 𝜋
Luego
3
!
∫ 1 Õ
E∗ = 2 (x 3 ) 2 dx − 𝜋 2a02 + an2 + bn2
0 n=1
3
!
4 Õ
= − bn2
7
n=1
3 2
4 Õ 𝜋2 6
= −4 + 3 2 .
7 n n 𝜋
n=1

Ejemplo 3.2. Sea g (x) = x 2 si −𝜋 < x < 𝜋, con g (x + 2𝜋) = g (x). y sea
F (x) = 2 cos x − 2 sen x + 3 cos 2x − 3 sen 2x,
un polinomio trigonométrico. Calcular el error cuadrático para F .
Solución. g (x) es par, luego bn = 0 para todo n.

𝜋
1 x 3
∫ 𝜋
2 2 𝜋2
a0 = x dx = = .
2𝜋 0 𝜋 3 0 3
x2
∫
2x 2
x 2 cos nx dx = sen nx + 2 cos nx − 3 sen nx.
n n n
(−1) n 2
∫ 𝜋
2
an = x 2 cos nx dx = .
𝜋 0 n2
1
Luego a1 = −2, a2 = 2, a3 = − 92 , a4 = 81 .
𝜋
x 5
∫ 𝜋
2 2 𝜋5
(x ) dx = = .
0 5 0 5
Entonces tenemos
∫ 𝜋
E= (x 2 ) 2 dx
−𝜋
" 3
# " 3
#
Õ Õ
− 2𝜋 A0 a0 + An an + Bn bn + 𝜋 2A02 + An2 + Bn2
n=1 n=1
2𝜋 5
= − 2𝜋 [A0 a0 + A1 a1 + B1 b1 + A2 a2 + B2 b2 + A3 a3 + B3 b3 ]
5
+ 𝜋 2A02 + A12 + B12 + A22 + B22 + A32 + B32

2𝜋 5 1 2
= − 2𝜋 0(−2) + 2 + 3 − + 𝜋 [2 · 0 + 22 + (−2) 2 + 32 + (−3) 2 ].
5 2 9

4 SERIE DE FOURIER GENERALIZADA
Una colección de funciones y1 ,y2 ,. . . se denomina ortogonal sobre el intervalo [a, b] con
respecto a la función peso r (x) > 0 si se cumple
∫ b
(1) (ym , yn ) = r (x)ym (x)yn (x) dx = 0 para todos m ≠ n.
a
Si r ≡ 1 decimos simplemente que la colección es ortogonal. La norma de y es

s
p ∫ b
(2) kyk = (y, y) = r (x)y(x) dx.
a
Sea y1 ,y2 ,. . . una colección de funciones ortogonales con respecto a r (x) > 0 sobre el inter-
valo [a, b]. Si f se puede representar por la serie
∞
Õ
(3) f (x) = am ym (x) = a0 y0 (x) + a1 y1 (x) + · · ·
m=0
decimos que esta es una serie ortogonal, un desarrollo ortogonal o una serie de Fourier
generalizada.
Para n fijo tenemos
∞
!
∫ b ∫ b ∫ b Õ
( f , yn ) = r (x) f (x)yn (x) dx = r f yn dx = r am ym yn dx
a a a n=0
∞
! ∞ ∞
∫ b Õ Õ ∫ b Õ
= r am ym yn dx = am rym yn dx = am (ym , yn )
a n=0 n=0 a n=0
= an (yn , yn ) = an kyn k 2 .
Es decir ( f , yn ) = an kyn k 2 , entonces si kyn k ≠ 0 para toda n, las constantes de Fourier son:
b
( f , ym )
∫
1
(4) am = = r (x) f (x)ym (x) dx, m = 0, 1, 2, . . .
kym k 2 kym k 2 a
5 PROBLEMA DE STURM-LIOUVILLE
Para las funcione sp, q y r consideremos la EDO siguiente
(1) [p(x)y0] 0 + [q(x) + 𝜆 r (x)]y = 0
sobre un intervalo [a, b] con las condiciones iniciales
(2) k1 y + k2 y0 = 0 en x = a,
(3) l1 y + l2 y0 = 0 en x = b,
donde 𝜆 es un parámetro y k1 , k2 , l1 y l2 son constantes. La ecuación (1) se denomina ecua-

ción de Sturm-Liouville. Esta ecuación junto con las condiciones (2) y (3) se conoce como
el problema de Sturm-Liouville.
La función y ≡ 0 es una solución trivial del problema de Sturm-Liouville para cualquier
valor de 𝜆 . Una solución no trivial del problema y(x) se denomina autofunción y el corres-
pondiente 𝜆 se llama autovalor.
Teorema 5.1. Sea supongamos que p, q y r son funciones con valores reales continuas con r (x) > 0
sobre un intervalo [a, b]. Si ym y yn son autofunciones del problema de Sturm-Liouville con autova-
lores 𝜆 m y 𝜆 n (respectivamente), entonces ym y yn son ortogonales sobre [a, b] con respecto a r.
Si p(a) = 0, la condición (2) se puede suprimir.
Si p(b) = 0, la condición (3) se puede suprimir.
Si p(a) = p(b) = 0, entonces la condiciones (2) y (3) se puede reemplazar por las condiciones
periódicas de frontera
y(a) = y(b), y y0 (a) = y0 (b)
6 SERIE DE FOURIER-BESSEL
Para un valor 𝜈 fijo la función de Bessel J𝜈 (x) satisface
x 2 y00 + xy0 + (x 2 − 𝜈 2 )y = 0 (ecuación de Bessel).
Para el caso particular 𝜈 = n ∈ N tenemos que la función de Bessel Jn (x) satisface la ecuación
(1) z2 J¥ (z) + z J¤ ( x̃) + (z2 − n 2 ) J (z) = 0.
donde
dJ d2 J
J¤ (z) = , J¥ (z) = , z = kx,
dz dz2
para una constante k. Por la regla de la cadena tenemos
d J d J dx d J 1 1 0
J¤ (z) = = = = J (x).
dz dx dz dx k k
y
1 d2 J 1
J¥ (z) = 2 = 2 J 00 (x).
k dx 2 k
Luego
1 00 1
k2 x2 J + kx J 0 + (k 2 x 2 − n 2 ) J (kx) = 0
k 2 k
2 00 0
x J + x J (kx) + (k 2 x 2 − n 2 ) J = 0

00 n2
0 2
(B1 ) xJ + J + k x − 2 J = 0
x
Pero (3) es equivalente a

0 0n2 2
(2) [x J ] + − 2 + k x J = 0
x

n2
0 0
(3) [x J ] + − 2 + 𝜆 x J = 0,
x
6. Serie de Fourier-Bessel 20
pero (3) es una ecuación de Sturm-Liouville con p(x) = x, q(x) = −n 2 /x, r (x) = x, 𝜆 = k 2 y
la condición p(0) = 0. Por tanto las funciones Jn (x) son ortogonales en [0, R] si Jn (kR) = 0.
La función Jn (z) tiene infinitas raíces x = 𝛼n,1 < 𝛼n,2 < · · · por tanto
kR = 𝛼n,m ,
es decir
(4) kn,m = 𝛼n,m /R, m = 1, 2, . . .
Teorema 6.1. Para cada n fijo la sucesión de funciones de Bessel de primer tipo Jn (kn,1 x), Jn (kn,2 x), . . .
con kn,m como en (4), forman una familia ortogonal en [0, R] con respecto al peso r (x) = x, es decir
∫ R
(5) x Jn (kn,m x) Jn (kn,l x) dx = 0, m ≠ l.
0
Así para n fijo tenemos la serie de Fourier-Bessel:
∞
Õ
(6) f (x) = am Jn (kn,m x) = a1 Jn (kn,1 x) + a2 Jn (kn,2 x) + · · ·
m=1
donde ∫ R
2
am = 2 x f (x) Jn (kn,m x) dx
R Jn+1 (𝛼n,m ) 0
y 𝛼n,m = kn,m R, porque

R
R2 2
∫
2
k Jn (kn,m x)k = x Jn2 (kn,m x) dx = J (kn,m R).
0 2 n+1

7 SERIE DE FOURIER-LEGENDRE
El polinomio de Legendre Pn de grado n está dado por

M
Õ (2n − 2 j)!
(1) Pn (x) = (−1) j x n−2 j ,
2n j!(n− j)!(n − 2 j)!
j=0
donde M = n/2 si n par M = (n − 1)/2, si n impar. Así
P0 (x) = 1,
P1 (x) = x,
1
P2 (x) = (3x 2 − 1),
2
1
P3 (x) = (5x 3 − 3x),
2
1
P4 (x) = (35x 4 − 30x 2 + 3),
8
1
P5 (x) = (63x 5 − 70x 3 + 15x),
8
..
.
Para cada n, el polinomio Pn constituye solución no trivial de
(2) (1 − x 2 )y00 − 2xy0 + n(n + 1)y = 0 (ecuación de Legendre).
Observemos que
[(1 − x 2 )y0] 0 + n(n + 1)y = (1 − x 2 ) 0 y0 + (1 − x 2 )y00 + n(n + 1)y

= −2xy0 + (1 − x 2 )y00 + n(n + 1)y
= (1 − x 2 )y00 − 2xy0 + n(n + 1)y.
Entonces la ecuación (2) implica
(3) [(1 − x 2 )y0] 0 + n(n + 1)y = 0.

7. Serie de Fourier-Legendre 22
Pero (3) es una ecuación de Sturm-Liouville con p(x) = 1 − x 2 , q(x) = 0, r (x) = 1 y

𝜆 = n(n +1). Como p(−1) = p(1) = 0, podemos suprimir las condiciones inicales y tenemos
un problema de Strum-Liouville singular en [−1, 1].
Teorema 7.1. Los polinomios de Legendre Pn forman una familia ortogonal sobre [−1, 1] con
respecto al peso r (x) = 1, es decir
∫ 1
(4) Pn (x)Pn (x) dx = 0, m ≠ l.
−1
Así para una función f definida sobre [−1, 1] tenemos la serie de Fourier-Legendre:
∞
Õ
(5) f (x) = an Pn (x) = a0 P0 (x) + a1 P1 (x) + a2 P2 (x) + · · ·
n=0
donde ∫ 1
2n + 1
an = f (x)Pn (x) dx
2 −1
porque
∫ 1
2 2
kPn (x)k = Pn2 (x) dx = .
−1 2n + 1

8 CONVERGENCIA MEDIA CUADRÁTICA
Decimos que una sucesión de funciones { fn } es convergente en norma o en media cuadrá-

tica hacia el límite f si
(1) lı́m k fn − f k = 0,
n→∞
es decir
∫ b
(2) lı́m r (x) [ fn (x) − f (x)] 2 dx = 0,
n→∞ a
La serie generalizada de Fourier

∞
Õ
an yn (x)
n=1
converge y representa a f si
∫ b
lı́m r (x) [sn (x) − f (x)] 2 dx = 0,
n→∞ a
donde
n
Õ
sn (x) = am ym (x).
m=1
Sea S una colección de funciones definidas sobre el intervalo [a, b], decimos que un conjunto
ortonormal {y0 , y1 , . . . } es completo en S, si cualquier función f de S se puede aproximar
en norma por una combinación de la forma
a0 y0 (x) + a1 y1 (x) + a2 y2 (x) + · · · + an yn (x).
Notemos que
∫ b ∫ b ∫ b ∫ b
2
r (x) [sn (x) − f (x)] dx = rsn2 dx −2 rsn f dx + r f 2 dx
a a a a
" n
#2 n
∫ b Õ Õ ∫ b ∫ b
= r am ym dx − 2 am r f ym dx + r f 2 dx.
a m=0 m=0 a a
8. Convergencia media cuadrática 24
Para calcular la primera integral, tomando en cuenta que la colección {ym } es ortonor-
mal, tenemos:
∫ b "Õ n
#2 n ∫ b n
Õ Õ
2 2
r am ym dx = am rym dx = am2 .
a m=0 m=0 a m=0
Para la segunda integral:

n
!
∫ b ∫ b Õ
r f ym dx = r ak yk ym dx
a a k=0
n
Õ ∫ b
= ak ryk ym dx
k=0 a
= am .
Por tanto
∫ b n
Õ n
Õ ∫ b
2
r (x) [sn (x) − f (x)] dx = am2 −2 am2 + r f 2 dx
a m=0 m=0 a
Õn ∫ b
=− am2 + r f 2 dx
m=0 a
De donde obtenemos las siguientes variantes
n
Õ ∫ b
(3) am2 2
≤ kf k = r (x) f (x) 2 dx (desigualdad de Bessel).
m=0 a
∞
Õ ∫ b
(4) am2 2
= kf k = r (x) f (x) 2 dx (identidad de Parseval).
m=0 a
Teorema 8.1. Sea {y0 , y1 , . . . } un conjunto ortonormal completo sobre [a, b] en un conjunto de
funciones S. Entonces si una función f pertenece a S y es ortonormal a toda ym , debe tener norma
nula, y si f es continua, entonces f ≡ 0.

9 INTEGRAL DE FOURIER
Decimos que una función f es absolutamente integrable si existen los límites indicados en
la siguiente expresión:
∫ 0 ∫ b
lı́m | f (x)| dx + lı́m | f (x)| dx,
a→−∞ a b→∞ 0
lo cual se denota por ∫ ∞

| f (x)| dx.
−∞
Supongamos que f se puede representar de la forma
∫ ∞
(1) f (x) = [A(w) cos wx + B(w) sen wx] dw,
0
donde
∫ ∞
1
(2) A(w) = f (t) cos wt dt
𝜋 −∞
y
∫ ∞
1
(3) B(w) = f (t) sen wt dt,
𝜋 −∞
decimos que f está representada por una integral de Fourier.

Teorema 9.1. Supongamos que f es continua excepto en una cantidad finita de puntos en un inter-
valo y que las derivadas laterales f−0 y f+0 existen en cada punto del intervalo. Si f es absolutamente
integrable, entonces f se puede representar por una integral de Fourier de la forma (1) donde las
funciones A y B están dadas por las ecuaciones (2) y (3). En los puntos x de discontinuidad de f la
integral es el promedio de los límites laterales f (x−) y f (x+).
Ejemplo 9.1. Pulso singular. Hallar la representación integral de Fourier de la función f
dada por: (
1 si |x| < 1,
f (x) =
0 si |x| > 1.
9. Integral de Fourier 26
1 ∞ 1 1 sen wt 1 2 sen w
∫ ∫
A(w) = f (t) cos wt dt = cos wt dt = = ,
𝜋 −∞ 𝜋 −1 𝜋w −1 𝜋w
1 ∞ 1 1
∫ ∫
B(w) = f (t) sen wt dt = sen wt dt = 0.
𝜋 −∞ 𝜋 −1
Luego
∞
cos wx sen w
∫
2
f (x) = dw
𝜋 0 w
y
f (1−) + f (1+) 1 + 0 1
= = .
2 2 2
Por el teorema 9.1 tenemos
∞

 𝜋
si 0 ≤ x < 1,
∫
cos wx sen w 2


dw = 4𝜋 si x = 1,
0 w 
si x > 1.

0

Esta integral se denomina el factor discontinuo de Dirichlet. En particular si x = 0 tenemos
∫ ∞
sen w 𝜋
(4) dw = ,
0 w 2
que puede ser interpretada como límite de la función integral senoidal:
∫ u
sen w
Si(u) = dw.
0 w
Ejemplo 9.2. Si f es una función par, entonces B(w) = 0 en (2), luego (1) queda:
∫ ∞
2 ∞
∫
f (x) = A(w) cos wx dw, A(w) = f (t) cos wt dt.
0 𝜋 0
Motivados por el ejemplo anterior, para una función f (x) definimos aa integral cose-
noidal de Fourier por:
∫ ∞
2 ∞
∫
(5) f (x) = A(w) cos wx dw, A(w) = f (t) cos wt dt.
0 𝜋 0
Ejemplo 9.3. Si f es una función impar, entonces A(w) = 0 en (2), luego (1) queda:
∫ ∞
2 ∞
∫
f (x) = B(w) sen wx dw, B(w) = f (t) sen wt dt.
0 𝜋 0
Similarmente al caso anterior, para ua función f (x) definimos la integral senoidal de

Fourier por:
∫ ∞
2 ∞
∫
(6) f (x) = B(w) sen wx dw, B(w) = f (t) sen wt dt.
0 𝜋 0

9. Integral de Fourier 27
Ejemplo 9.4. Integrales de Laplace. En primer lugar calculamos la integral cosenoidal de

Fourier para f (x) = e−kx , x > 0, k > 0.
2 ∞ −kt
∫
A(w) = e cos wt dt.
𝜋 0
Por el método de integración por partes tenemos
k w
∫
−kt −kt
e cos wt dt = − 2 e − sen wt + cos wt .
k + w2 k
Luego
2k
A(w) = ,
𝜋 (k 2 + w 2 )
entonces ∞
cos wx
∫
−kx 2k
f (x) = e = dw,
𝜋 0 k2 + w2
de donde
∞
cos wx
∫
𝜋 −kx
(7) dw = e , x > 0, k > 0.
0 k2 + w2 2k
Similarmente, para la integral senoidal de Fourier tenemos

w w
∫
e −kt sen wt dt = − 2 e −kt
− sen wt + cos wt .
k + w2 k
Luego
2w
B(w) = ,
𝜋 (k 2 + w 2 )
entonces ∞
w sen wx
∫
−kx 2
f (x) = e = dw,
𝜋 0 k2 + w2
de donde
∞
w sen wx
∫
𝜋
(8) dw = e−kx , x > 0, k > 0.
0 k +w
2 2 2
las ecuaciones (7) y (8) se denominan integrales de Laplace.

10 ECUACIONES DIFERENCIALES PARCIALES
Una ecuación diferencial parcial (o EDP) es una igualdad que contiene una o más derivadas
parciales de una función desconocida que depende al menos de dos variables. El orden de
una EDP es el mayor orden de las derivadas involucradas.
Si la máxima potencia de la función incógnita y sus derivadas parciales es 1, decimos
que la EDP es lineal, de otra forma es no lineal. Una solución de una EDP en una región
R es una función tal que ella y todas sus derivadas parciales satisfacen la ecuación.
Ejemplo 10.1.
𝜕2u 2 𝜕 u
2
(1) = c (ecuación de onda unidimensional)
𝜕t 2 𝜕x 2
𝜕u 𝜕2u
(2) = c2 2 (ecuación del calor unidimensional)
𝜕t 𝜕x
𝜕 u 𝜕 u
2 2
(3) + =0 (ecuación de Laplace bidimensional)
𝜕x 2 𝜕y 2
𝜕2u 𝜕2u
(4) + = f (x, y) (ecuación de Poisson bidimensional)
𝜕x 2 𝜕y 2
2
𝜕2u 2 𝜕 u 𝜕2u
(5) =c + (ecuación de onda bidimensional)
𝜕t 2 𝜕x 2 𝜕y 2
𝜕2u 𝜕2u 𝜕2u
(6) + + =0 (ecuación de Laplace tridimensional)
𝜕x 2 𝜕y 2 𝜕z 2
Ejemplo 10.2. Las funciones mostradas a continuación son soluciones de la ecuación de

Laplace bidimensional, ecuación (3) en el ejemplo 10.1:
1. u = x 2 − y 2 ,
2. u = e x cos y,
3. u = sen x cosh y,
4. u = log(x 2 + y 2 ).
10. Ecuaciones diferenciales parciales 29
Teorema 10.1 (Teorema fundamental de superposición). Si u1 y u2 son soluciones de una

EDP homogénea en alguna región R, entonces
c1 u1 + c2 u2
también es una solución de esa EDP en la región R, para dos constantes c1 y c2 cualesquiera.
Ejemplo 10.3. Hallar una función u = u(x, y) que satisfaga la ecuación
𝜕2u
= u.
𝜕x 2
Esta ecuación suele escribirse como
uxx − u = 0.
Como la ecuación no involucra a la variable y se puede considerar como una EDO
u00 − u = 0,
con soluciones
u = Ae x + Be−x ,
o, con más generalidad
u(x, y) = A(y)e x + B(y)e−x .
Ejemplo 10.4. Hallar una función u = u(x, y) que satisfaga la ecuación
𝜕2u 𝜕u
=− .
𝜕x𝜕y 𝜕x
Esta ecuación suele escribirse como
uxy = −ux .
Sea p = ux , entonces
py = −p,
luego
py py
∫ ∫
= −1 ⇒ dy = − dy,
p p
o sea
log |p| = −y + c(x)
y, tomando p > 0
p = e c(x)−y = ec(x) e−y = C (x)e−y .
Pero p = ux , entonces
∫ ∫
−y −y
u(x, y) = C (x)e dx = e C (x) dx,

es decir
u(x, y) = f (x)e−y + g (y),
donde ∫
f (x) = C (x) dx.
Ejemplo 10.5. Hallar una solución u = u(x, y) de la siguiente ecuación

𝜕u 𝜕u
(7) −y = 0.
𝜕x 𝜕y
Utilizaremos el “método de separación de variables”, es decir escribimos
u(x, y) = F (x) · G (y),
siendo F y G dos funciones reales de una variable real. Entonces ux = F 0 (x)G (y) y uy =
F (x)G 0 (y). Así que de la ecuación (7) queda
(8) F 0G = yFG 0 ,
de donde
F0 G0
(9) =y .
F G
En la ecuación (9) las variables x e y están separadas, por tanto existe una constante k tal que
F 0 (x) G 0 (y)
(10) =y = k.
F (x) G (y)
De aquí obtenemos
F 0 (x)
∫ ∫
dx = k dx = kx,
F (x)
es decir
log F (x) = kx,
de donde
(11) F (x) = ekx .
Por otro lado tenemos
G 0 (y)
∫ ∫
1
dy = k dy,
G (y) y
o sea
log G (y) = k log y = log y k ,
de donde
(12) G (y) = y k .
Finalmente tenemos que
u(x, y) = ekx y k
y es fácil verificar que, efectivamente esta función u es una solución de la ecuación (7)

Ejemplo 10.6. Dado un campo escalar 𝜙 : R 2 → R recordemos que ∇𝜙 está dado por
𝜕𝜙 𝜕𝜙
∇𝜙 = i+ j.
𝜕x 𝜕y
Algunas veces se hace una extensión de la notación permitiendo cierta flexibilidad. Así

𝜕𝜙 𝜕𝜙 𝜕 𝜕
∇𝜙 = , = , 𝜙,
𝜕x 𝜕y 𝜕x 𝜕y
de tal manera que el “operador” ∇ se representa formalmente por

𝜕 𝜕
∇= , .
𝜕x 𝜕y
El operador laplaciano, denotado por Δ aplicado en 𝜙 está dado por
𝜕2 𝜙 𝜕2 𝜙
Δ𝜙 = + ,
𝜕x 2 𝜕y 2
o, formalmente
𝜕2 𝜕2
Δ= +
𝜕x 2 𝜕y 2
Además
𝜕 𝜕 𝜕 𝜕 𝜕2 𝜕2
∇·∇= , · , = 2 + 2 = Δ.
𝜕x 𝜕y 𝜕x 𝜕y 𝜕x 𝜕y
En otras palabras
Δ 𝜙 = (∇ · ∇) 𝜙,
por este motivo a veces se usa Δ = ∇2 .
Todos estos conceptos y notaciones tienen validez para campos escalares sobre R n .
En el contexto de EDP se adopta el siguiente convenio: Si u = u(x, y, t) es un campo escalar,
con (x, y) en una región del plano, pensamos en t como la “variable temporal” y el laplaciano
∇2 es referido a las coordenadas cartesianas. También suele usarse en este contexto ux para
denotar 𝜕u/𝜕x. Con estos convenios, las ecuaciones del ejemplo 10.1 quedan así
(1’) utt = c 2 uxx ,

(2’) ut = c 2 uxx ,
(3’) ∇2 u = 0,
(4’) ∇2 u = f (x, y),
(5’) utt = c 2 ∇2 u,
(6’) ∇2 u = 0.

Ejemplo 10.7. Si u = u(x, y) es un campo escalar sobre R 2 , y tenemos las coordenadas

polares
(13) x = r cos 𝜃 ,
(14) y = r sen 𝜃 ,
entonces u puede expresarse como función de r y 𝜃. Notemos que (13) y (14) son equivalentes
a:
q
(15) r = x2 + y2 ,
y
(16) 𝜃 = arc tg ,
x
luego
𝜕r x x
(17) =p = ,
𝜕x x2 + y2 r
𝜕2r r 2 − x2 y2
(18) = = 3,
𝜕x 2 r3 r
𝜕𝜃 −y/x 2 y
(19) = = − 2,
𝜕x 1 + (y/x) 2 r
2
𝜕 𝜃 2xy
(20) = 4 .
𝜕x 2 r
Por la regla de la cadena tenemos
𝜕u 𝜕u 𝜕r 𝜕u 𝜕𝜃
= + = ur rx + u𝜃 𝜃 x
𝜕x 𝜕r 𝜕x 𝜕𝜃 𝜕x
y
𝜕u 𝜕u 𝜕r 𝜕u 𝜕𝜃
= + = ur r y + u 𝜃 𝜃 y .
𝜕y 𝜕r 𝜕y 𝜕𝜃 𝜕y
Entonces
uxx = (ur rx + u𝜃 𝜃 x )x
= (ur )x rx + ur rxx + (u𝜃 )x 𝜃 x + u𝜃 𝜃 xx
= (urr rx + ur 𝜃 𝜃 x )rx + ur rxx + (u𝜃r rx + u𝜃 𝜃 𝜃 x )𝜃 x + u𝜃 𝜃 xx
= urr rx2 + ur 𝜃 𝜃 x rx + ur rxx + u𝜃r rx 𝜃 x + u𝜃 𝜃 𝜃 x2 + u𝜃 𝜃 xx
= urr rx2 + 2ur 𝜃 𝜃 x rx + ur rxx + u𝜃 𝜃 𝜃 x2 + u𝜃 𝜃 xx
x2 2xy y2 y2 2xy
= u rr − u r 𝜃 + u 𝜃 𝜃 + u r + u𝜃 .
r2 r3 r4 r3 r4

Similarmente
uyy = (ur ry + u𝜃 𝜃 y )y
= urr ry2 + 2ur 𝜃 𝜃 y ry + ur ryy + u𝜃 𝜃 𝜃 y2 + u𝜃 𝜃 yy
y2 2xy x2 x2 2xy
= urr + u r 𝜃 + u 𝜃 𝜃 + ur − u𝜃 .
r2 r3 r4 r3 r4
Por tanto
∇2 u = uxx + uyy
x2 2xy y2 y2 2xy
= u rr − u r 𝜃 + u 𝜃 𝜃 + ur + 4 u𝜃
r 2 r 3 r 4 r 3 r
y 2 2xy x 2 x 2 2xy
+ 2 urr + 3 ur 𝜃 + 4 u𝜃 𝜃 + 3 ur − 4 u𝜃
r2 r 2 r 2 r 2 r 2
y x2 y x y x
= 2 + 2 urr + 3 + 3 ur + 4 + 4 u𝜃 𝜃
r r r r r r
1 1
= urr + ur + 2 u𝜃 𝜃 ,
r r
es decir
2 𝜕 2 u 1 𝜕u 1 𝜕 2 u
(21) ∇ u= 2+ + .
𝜕r r 𝜕r r 2 𝜕𝜃 2
Ejemplo 10.8. Si u : R 3 → R es un campo escalar u = u(x, y, x), y tenemos las coordenadas

cilíndricas
x = r cos 𝜃 , y = r sen 𝜃 , z = z,
entonces u puede expresarse como función de r, 𝜃 y z, y además:
1 1
(22) ∇2 u = urr + ur + 2 u𝜃 𝜃 + uzz .
r r
Ejemplo 10.9. Si u : R 3 → R es un campo escalar u = u(x, y, x), y tenemos las coordenadas
esféricas
x = r cos 𝜃 sen 𝜙, y = r sen 𝜃 sen 𝜙, z = r cos 𝜙,
entonces u puede expresarse como función de r, 𝜃 y 𝜙, y además:
2 1 ctg 𝜙 1
(23) ∇2 u = urr + ur + 2 u 𝜙𝜙 + 2 u 𝜙 + 2 u𝜃 𝜃 ,
r r r r sen2 𝜙
o, equivalentemente

2 1 𝜕 2 𝜕u 1 𝜕 𝜕u 1 𝜕2u
(24) ∇ u= 2 r + sen 𝜙 + .
r 𝜕r 𝜕r sen 𝜙 𝜕𝜙 𝜕𝜙 sen2 𝜙 𝜕𝜃 2

11 ECUACIÓN DE ONDA UNIDIMENSIONAL
Ejemplo 11.1. Un problema físico: Dada una cuerda elástica de longitud L, extendida y
tensa, a lo largo del eje x, fija en los extremos x = 0 y x = L. Se toma por un punto cualquiera
y se le permite vibrar. Determinar la función u(x, t) que determina la posición de cada punto
de la cuerda en términos de x y del tiempo t ≥ 0 partiendo de una posición de reposo, es
decir u(x, y, 0) = 0.
Se asume lo siguiente:
1. La cuerda homogénea, elástica de masa constante.
2. La acción de la gravitación es despreciable.
3. La cuerda hace pequeños movimientos en la dirección perpendicular al plano xy.
El fenómeno es modelado por la ecuación de onda unidimensional:
𝜕2u 2 𝜕 u
2
(1) = c ,
𝜕t 2 𝜕x 2
donde c 2 = T / 𝜌, donde 𝜌 es la masa de cuerda (no extendida) por unidad de longitud y T

componente horizontal de la tensión de la cuerda.
Supongamos que se cumplen las siguientes condiciones de frontera
(2) u(0, t) = 0,
(3) u(L, t) = 0,
para todo t ≥ 0 y las siguientes condiciones iniciales
(4) u(x, 0) = f (x),

(5) ut (x, 0) = g (x),
para 0 ≤ x ≤ L.
11. Ecuación de onda unidimensional 35
PARTE 1. SEPARACIÓN DE VARIABLES
(6) u(x, t) = F (x)G (t),
𝜕2u 𝜕2u
= FG 00 y = F 00G.
𝜕t 2 𝜕x 2
Por (1)
FG 00 = c 2 F 00G ,
luego
G 00 F 00
= .
c 2G F
Ambas variables están separadas, por lo tanto tenemos
G 00 F 00
= =k (constante).
c 2G F
Luego
(7) F 00 − kF = 0
(8) G 00 − c 2 kG = 0.
PARTE 2. VERIFICACIÓN DE LAS CONDICIONES DE FRONTERA

Hallar F y G:
(9) u(0, t) = F (0)G (t) = 0, u(L, t) = F (L)G (t) = 0 para todo t.
Si G ≡ 0 entonces u = FG ≡ 0 (trivial).
Si G . 0 por (7)
(10) (a) F (0) = 0, (b) F (L) = 0.
Si k = 0, F = ax + b, y a = b = 0 por (10), entonces F ≡ 0 y u = FG ≡ 0.

Si k > 0, k = 𝜇2 , por (7)
F (x) = Ae 𝜇x + Be− 𝜇x ,
por (10) tenemos
A + B = 0,
Ae 𝜇L
+ Be− 𝜇L = 0,

de donde A = B = 0, es decir F ≡ 0.
Si k < 0, k = −p2 , entonces (7)
F 00 + p2 F = 0,
con solución general
F (x) = A cos px + B sen px.
Por (10)
F (0) = A = 0 y F (L) = B sen pL = 0.
Si B = 0, F ≡ 0. Así que podemos asumir que B ≠ 0
n𝜋
(11) pL = n𝜋 , ⇒ p= , n ∈ Z.
L
Para B = 1 existen infinitas soluciones F (x) = Fn (x)
n𝜋x
(12) Fn (x) = sen , n ∈ N.
L
Resolver (8) con k = −p2 = −(n𝜋/L) 2

cn𝜋
G 00 + 𝜆 n2G = 0 𝜆 n = cp = ,
L
Gn (t) = Bn cos 𝜆 n t + Bn∗ sen 𝜆 n t.
Luego
n𝜋x
(13) un (x, t) = (Bn cos 𝜆 n t + Bn∗ sen 𝜆 n t) sen , n ∈ N.
L
Estas un se denominan autofunciones o (funciones características), los respectivos 𝜆 n se

denominan autovalores (o valores característicos). El conjunto {𝜆 1 , 𝜆 2 , . . . } es el espectro.
PARTE 3. SOLUCIÓN AL PROBLEMA TOTAL SERIES DE FOURIER

Tomando las soluciones en (13)
∞ ∞
Õ Õ n𝜋x
(14) u(x, t) = un (x, t) = (Bn cos 𝜆 n t + Bn∗ sen 𝜆 n t) sen .
L
n=1 n=1
De (14) con (2)

∞
Õ n𝜋x
(15) u(x, 0) = Bn sen = f (x),
L
n=1

serie senoidal de Fourier para f (x), entonces
L
n𝜋x
∫
2
(16) Bn = f (x) sen dx, n ∈ N.
L 0 L
De (14) se deduce que

∞ ∞
Õ Õ n𝜋x
ut (x, t) = un (x, t) = (−Bn 𝜆 n sen 𝜆 n t + Bn∗ 𝜆 n cos 𝜆 n t) sen .
L
n=1 n=1
así que de (5)) se deduce que

n𝜋x
(17) ut (x, 0) = Bn∗ 𝜆 n sen = g (x).
L
Es decir, g se puede representar como una serie senoidal de Fourier, entonces
L
n𝜋x
∫
2
Bn∗ 𝜆 n = g (x) sen dx,
L 0 L
pero 𝜆 n = cn𝜋/L, luego
L
n𝜋x
∫
2
(18) Bn∗ = g (x) sen dx, n ∈ N.
cn𝜋 0 L
Ejemplo 11.2. Resolver la ecuación de onda unidimensional, asumiendo que c = 1, L = 1,

las condiciones de frontera
u(0, t) = 0, u(1, t) = 0 para todo t,
y las condiciones iniciales
u(x, 0) = sen 2𝜋x, ut (x, 0) = x, para todo x ∈ [0, 1].
Solución. La ecuación de onda unidimensional para c = 1 es
𝜕2u 𝜕2u
= 2.
𝜕t 2 𝜕x
Dadas las condiciones de frontera y las condiciones iniciales podemos separar las variables
de la forma
u(x, t) = F (x) · G (t),

obtenemos que la solución para la ecuación

∞
Õ
u(x, t) = (Bn cos 𝜆 n t + Bn∗ sen 𝜆 n t) sen n𝜋x.
n=1
Calculamos Bn y Bn∗ , así:

2 1 n𝜋x
∫
Bn = f (x) sen dx
1 0 1
∫ 1
=2 sen 2𝜋x sen n𝜋x dx
∫0 𝜋
2
= sen 2v sen nv dv, (donde v = 𝜋x)
𝜋 0
es decir (
1 si n = 2,
Bn =
0 si n ≠ 2.
Por otro lado ∫ 1 ∫ 1
2 n𝜋x 2
Bn∗
= g (x) sen dx = x sen n𝜋x dx.
cn𝜋 0 1 n𝜋 0
Aplicando el método de integración por partes tenemos
∫ ∫
1 1
x sen n𝜋x dx = − x cos n𝜋x + cos n𝜋x dx
n𝜋 n𝜋
1 1
=− x cos n𝜋x + sen n𝜋x,
n𝜋 (n𝜋) 2
luego
2 (−1) n+1 2
Bn∗ = · = (−1) n+1 .
n𝜋 n𝜋 (n𝜋) 2
Recordemos que 𝜆 n = cn𝜋/L = n𝜋, entonces
∞
Õ
u(x, t) = (Bn cos 𝜆 n t + Bn∗ sen 𝜆 n t) sen n𝜋x
n=1
Õ∞ ∞
Õ
= Bn cos n𝜋t sen n𝜋x + Bn∗ sen n𝜋t sen n𝜋x
n=1 n=1
∞
2 Õ (−1) n+1
= cos 2𝜋t sen 2𝜋x + 2 sen n𝜋t sen n𝜋x.
𝜋 n=1 n 2
Ejemplo 11.3. Resolver la ecuación de onda unidimensional, asumiendo que c = 1, L = 1,

las condiciones de frontera
u(0, t) = 0, u(1, t) = 0 para todo t,

y las condiciones iniciales
u(x, 0) = 3 sen 2𝜋x + 2 sen 3𝜋x, ut (x, 0) = 0, para todo x ∈ [0, 1].
Solución. La ecuación de onda unidimensional para c = 1 es
𝜕2u 𝜕2u
= 2.
𝜕t 2 𝜕x
Dadas las condiciones de frontera y las condiciones iniciales podemos separar las variables
de la forma
u(x, t) = F (x) · G (t),
obtenemos que la solución para la ecuación
∞
Õ
u(x, t) = (Bn cos 𝜆 n t + Bn∗ sen 𝜆 n t) sen n𝜋x.
n=1
Debemos pues calcular Bn y Bn∗ . Notemos que g (x) = 0, así:

1
n𝜋x
∫
2
Bn∗ = g (x) sen dx = 0 para todo n.
cn𝜋 0 1
Por otro lado

1
n𝜋x
∫
2
Bn = f (x) sen dx
1 0 1
∫ 1
=2 (3 sen 2𝜋x + 2 sen 3𝜋x) sen n𝜋x dx
0
∫ 1 ∫ 1
=6 sen 2𝜋x sen n𝜋x dx + 4 sen 3𝜋x sen n𝜋x dx.
0 0
Pero ∫ 1 ∫ 𝜋
2
sen 2𝜋x sen n𝜋x dx = sen 2v sen nv dv, (donde v = 𝜋x)
0 𝜋 0
así que (
1 1
si n = 2,
∫
sen 2𝜋x sen n𝜋x dx = 2
0 0 si n ≠ 2.
Además, en forma similar
(
1 1
si n = 3,
∫ ∫ 𝜋
2
sen 3𝜋x sen n𝜋x dx = sen 3v sen nv dv = 2
0 𝜋 0 0 si n ≠ 3.

Entonces, recordando que 𝜆 n = cn𝜋/L = n𝜋, tenemos

∞
Õ
u(x, t) = Bn cos 𝜆 n t sen n𝜋x
n=1
= B1 cos 𝜋t sen 𝜋x + B2 cos 2𝜋t sen 2𝜋x
Õ∞
+ B3 cos 3𝜋t sen 3𝜋x + Bn cos nt sen n𝜋x
n=4
6 4
=0+ (cos 2𝜋t sen 2𝜋x + 0) + (0 + cos 3𝜋t sen 3𝜋x) + 0
2 2
= 3 cos 2𝜋t sen 2𝜋x + 2 cos 3𝜋t sen 3𝜋x.

12 SOLUCIÓN DE D’ALEMBERT PARA LA
LA ECUACIÓN DE ONDA UNIDIMENSIONAL
Consideremos la ecuación de onda unidimensional
𝜕2u 2 𝜕 u
2
(1) = c ,
𝜕t 2 𝜕x 2
siendo u = u(x, t).
Introducimos el “siguiente cambio de variables”
(2) v = x + ct, y w = x − ct,
de tal forma que u = u(v, w). Entonces vx = 1 y wx = 1. Por la regla de la cadena

ux = uv vx + uw wx = uv + uw .
Suponiendo que u es suave tenemos
uxx = (uv + uw )x
= (uv + uw )v vx + (uv + uw )w wx
= (uv + uw )v + (uv + uw )w
= uvv + uvw + uwv + uww
= uvv + uvw + uvw + uww
= uvv + 2uvw + uww .
Similarmente, vt = c y wt = −c
ut = uv vt + uw wt = uv c − uw c = c(uv − uw ).
Así
utt = c(uv − uw )t
= c(uv − uw )v vt + c(uv − uw )w wt
= c 2 (uv − uw )v − c 2 (uv − uw )w
= c 2 uvv − c 2 uvw − c 2 uwv + c 2 uww
= c 2 uvv − 2c 2 uvw + c 2 uww .
12. Solución de D’Alembert para la ecuación de onda 42
Luego, por (1) tenemos
c 2 uvv − 2c 2 uvw + c 2 uww = c 2 (uvv + 2uvw + uww ) = c 2 uvv + 2c 2 uvw + c 2 uww
de donde c 2 uvw = 0, es decir
𝜕2u
(3) ≡ 0.
𝜕v𝜕w
Para resolver (3) integramos primero respecto a w y luego respecto a v

𝜕2u
∫ ∫
𝜕 𝜕u 𝜕u
dw = dw = = h(v).
𝜕v𝜕w 𝜕w 𝜕v 𝜕v
∫
u= h(v) dv + 𝜓 (w).
Si escribimos ∫
𝜙(v) = h(v) dv
queda
u = 𝜙(v) + 𝜓 (w),
y en términos de las variables originales x y t
(4) u(x, t) = 𝜙(x + ct) + 𝜓 (x − ct).
La función u indicada en la ecuación (4) se denomina la solución de D’Alembert de la

ecuación de onda unidimensional (1).
SOLUCIÓN DE D’ALEMBERT CON CONDICIONES INICIALES

De la solución de D’Alembert (4) tenemos
ut (x, t) = c𝜙0 (x + ct) − c𝜓 0 (x − ct).
Supongamos que se cumplen con las condiciones iniciales
(a) u(x, 0) = f (x), (b) ut (x, 0) = g (x).
Entonces
(5) u(x, 0) = 𝜙(x) + 𝜓 (x) = f (x)
(6) ut (x, 0) = c𝜙0 (x) − c𝜓 0 (x) = g (x).

Luego
g (x) 1
(7) [𝜙(x) − 𝜓 (x)] 0 = 𝜙0 (x) − 𝜓 0 (x) = = g (x),
c c
entonces
1 x
∫
(8) 𝜙(x) − 𝜓 (x) = g (s) ds + 𝜙(x0 ) − 𝜓 (x0 )
c x0
1 x
∫
(9) = g (s) ds + k(x0 ),
c x0
donde k(x0 ) = 𝜙(x0 ) − 𝜓 (x0 ). De (5) y (9)

∫ x
1
2𝜙(x) = f (x) + g (s) ds + k(x0 ),
c x0
es decir
∫ x
1 1 1
(10) 𝜙(x) = f (x) + g (s) ds + k(x0 ).
2 2c x0 2
Similarmente de (6) y (9)

∫ x
1
2𝜓 (x) = f (x) − g (s) ds − k(x0 ),
c x0
de donde
∫ x
1 1 1
(11) 𝜓 (x) = f (x) − g (s) ds − k(x0 ).
2 2c x0 2
Sustituyendo x por x + ct en (10) y por x + ct en (11) queda

∫ x+ct
1 1 1
𝜙(x + ct) = f (x + ct) + g (s) ds + k(x0 )
2 2c x0 2
∫ x−ct
1 1 1
𝜓 (x − ct) = f (x − ct) − g (s) ds − k(x0 )
2 2c x0 2
de donde
∫ x+ct ∫ x−ct
1 1 1
𝜙(x + ct) + 𝜓 (x − ct) = [ f (x + ct) + f (x − ct)] + g (s) ds − g (s) ds
2 2c x0 2c x0
∫ x+ct ∫ x0
1 1
= [ f (x + ct) + f (x − ct)] + g (s) ds + g (s) ds
2 2c x0 x−ct
∫ x+ct
1 1
= [ f (x + ct) + f (x − ct)] + g (s) ds.
2 2c x−ct

Entonces la solución de D’Alembert (4) se convierte en

∫ x+ct
1 1
(12) u(x, t) = [ f (x + ct) + f (x − ct)] + g (s) ds.
2 2c x−ct
En particular, si la velocidad inicial es nula, es decir, si g (x) ≡ 0, nos queda
1
(13) u(x, t) = 2 [ f (x + ct) + f (x − ct)].

13 ECUACIÓN DEL CALOR UNIDIMENSIONAL
Problema físico: Dada una barra metálica homogénea de longitud L, a lo largo del eje x, fija
en los extremos x = 0 y x = L, y el calor u fluye a lo largo de la dirección del eje x de manera
que depende sólo de la posición x y del tiempo t > 0.
1. El calor específico 𝜎 densidad lineal 𝜌 son constantes. No se produce ni se pierde calor

en la barra.
2. La barra está aislada del entorno, no hay intercambio de calor con el medio.
3. En condiciones de temperaturas no extremas la conductividad térmica K es constante.
El fenómeno es modelado por la ecuación del calor (unidimensional):
𝜕u 𝜕2u
(1) = c2 2 ,
𝜕t 𝜕x
donde c 2 = K/ 𝜌𝜎.
Supongamos que se cumplen las siguientes condiciones de frontera
(2) u(0, t) = 0, y u(L, t) = 0,
para todo t ≥ 0, y la siguiente condición inicial
(3) u(x, 0) = f (x), para 0 ≤ x ≤ L.
Por (2) tenemos f (0) = u(0, t) = 0; análogamente, por (??) tenemos que f (L) = u(L, t) = 0
(4) u(x, t) = F (x)G (t),
𝜕u 𝜕2u
= FG 0 y = F 00G.
𝜕t 𝜕x 2
13. Ecuación del calor unidimensional 46
Por (1)
FG 0 = c 2 F 00G ,
luego
G0 F 00
= .
c 2G F
Ambas variables están separadas, por lo tanto tenemos
G0 F 00
= =k constante.
c 2G F
(5) F 00 − kF = 0
(6) G 0 − kc 2G = 0.

Para hallar F y G considerar varios casos: Si k ≥ 0 la única solución posible es u ≡ 0. En
efecto, si k = 0, F = ax + b, y a = b = 0 por (2), entonces F ≡ 0 y u = FG ≡ 0.
Si k > 0, k = p2 , para la ecuación (5)
F (x) = Ae px + Be−px .
Por (2) y (??),
(7) u(0, t) = F (0)G (t) = 0, u(L, t) = F (L)G (t) = 0 para todo t,
entonces
(8) F (0) = 0
(9) F (L) = 0,
luego F ≡ 0.
Si k < 0, digamos k = −p2 , entonces la solución general de (5) es
F (x) = A cos px + B sen px.
De (2) y (??) se tiene

Si G ≡ 0 entonces u = FG ≡ 0, trivial.

Si G . 0, entonces A = F (0) = 0 y B sen px = F (L) = 0, es decir

n𝜋
(10) pL = n𝜋 , ⇒ p= , n ∈ Z.
L
Para B = 1 existen infinitas soluciones F (x) = Fn (x)
n𝜋x
(11) Fn (x) = sen , n ∈ N.
L
Resolver (6) con k = −p 2 = −(n𝜋/L) 2

cn𝜋
G 0 + 𝜆 n2G = 0 𝜆 n = cp = ,
L
Gn (t) = Bn e−𝜆 n t ,
2
n ∈ N.
Luego
n𝜋x −𝜆 n2 t
(12) un (x, t) = Bn sen e , n ∈ N.
L
Estas funciones se denominan autofunciones (o funciones características), los correspon-

dientes 𝜆 n se denominan autovalores (o valores característicos). El conjunto {𝜆 1 , 𝜆 2 , . . . }
es el espectro.

Tomando las soluciones en (12)
∞ ∞
Õ Õ n𝜋x −𝜆 n2 t cn𝜋
(13) u(x, t) = un (x, t) = Bn sen e , 𝜆n = .
L L
n=1 n=1
De (13) con (3)

∞
Õ n𝜋x
(14) u(x, 0) = Bn sen = f (x),
L
n=1
serie senoidal de Fourier para f (x), entonces
L
n𝜋x
∫
2
(15) Bn = f (x) sen dx, n ∈ N.
L 0 L

Ejemplo 13.1. Hallar la temperatura u(x, t) de una barra de cobre lateralmente aislada de
100cm de longitud, si la temperatura inicial es 100 sen(𝜋x/100) ◦ C y los extremos de la
barra se mantienen a 0◦ C. Características físicas del cobre: densidad 8,92 gr/cm3 , calor es-
pecífico 0,092 cal/(gr ◦ C) y conductividad térmica 0,95 cal/(cm seg ◦ C).
Solución. Sabemos que
∞
Õ n𝜋x −𝜆 n2 t
u(x, t) = Bn sen e
100
n=1
Por las condiciones iniciales tenemos

∞
Õ n𝜋x
u(x, 0) = Bn sen = f (x),
100
n=1
donde
100 100
n𝜋x n𝜋x
∫ ∫
2 1 𝜋x
Bn = f (x) sen dx = 100 sen sen dx.
100 0 100 50 0 100 100
Pero (
100
n𝜋x si n ≠ 1,
∫ ∫ 𝜋
𝜋x 100 0
sen sen dx = sen v sen nv dv =
0 100 100 𝜋 0 50 si n = 1,
luego (
0 si n ≠ 1,
Bn =
100 si n = 1.,
así
n𝜋x −𝜆 2 t
u(x, t) = B1 sen e 1
100
Además
K 0, 95
c2 = = = 1, 158 cm2 /seg
𝜎 𝜌 0, 092 · 8, 92
y
c 2 𝜋 2 1, 158 · 0, 870 15, 5946
𝜆 12 = = = = 0, 00155946.
L2 1002 10000
Entonces
𝜋x −0,00155946t
u(x, t) = 100 sen
e .
100
El valor máximo de u(x, t) se registra cuando sen(𝜋x/100) = 1. Luego, si:
u(x, t) = 100e−0,00155946t = 50,
resulta que
log 0, 5
t= = 444, 16 seg ≈ 7, 40 min.
−0, 00155946

Ejemplo 13.2 (Barra de extremos aislados). La experiencia demuestra que el flujo del calor
es proporcional al gradiente de la temperatura.
Suponiendo que los extremos x = 0 y x = L de la barra están aislados, tenemos:
𝜕u
gradiente de u = ux =
𝜕x
y
ux (0, t) = 0, ux (L, t) = 0, para todo t > 0.
Separando las variables
u(x, t) = F (x)G (t),
queda
ux (0, t) = F 0 (0)G (t) = 0

ux (L, t) = F 0 (L)G (t) = 0.
de donde F 0 (0) = F 0 (L) = 0. Además
F (x) = A cos px + B sen px ⇒ F 0 (x) = −Ap sen px + Bp cos px,
luego
F 0 (0) = Bp = 0 ⇒ B = 0
y
n𝜋
F 0 (L) = −Ap sen pL = 0 ⇒ p = pn = , n = 0, 1, 2, . . . ,
L
con A = 1 y B = 0 queda
n𝜋x
Fn (x) = cos ,
L
luego
n𝜋x −n2 t
un (x, t) = Fn (x)Gn (t) = An cos e .
L
En este caso existe 𝜆 0 = 0, u0 = constante es cuando f es constante.
∞ ∞
Õ Õ n𝜋x −n2 t
u(x, t) = un (x, t) = An cos e ,
L
n=0 n=0
con
L L
n𝜋x
∫ ∫
1 2
A0 = f (x) dx, An = f (x) cos dx.
L 0 L 0 L

14 TRANSFORMADA DE FOURIER
TRANSFORMADAS COSENOIDAL Y SENOIDAL DE FOURIER

Dada una función f la transformada de Fourier cosenoidal para f está definida para cada
w por
r ∫
2 ∞
(1) fˆc (w) = f (x) cos wx dx
𝜋 0
y la transformada de Fourier senoidal para f está definida para cada w por

r ∫
2 ∞
(2) fˆs (w) = f (x) sen wx dx.
𝜋 0
Con frecuencia usamos la notación Fc y Fs en lugar de fˆc y fˆs , respectivamente.

Ejemplo 14.1. Sean a, k > 0 y f la función definida en (0, +∞) por
(
a si 0 < x < k,
f (x) =
0 si x > k.
Entonces
r ∫ ∞
2
fˆc (w) = f (x) cos wx dx
𝜋 0
r "∫ #
k ∫ ∞
2
= f (x) cos wx dx + f (x) cos wx dx
𝜋 0 k
r r
∫ k ∫ k
2 2
= a cos wx dx = a cos wx dx
𝜋 0 𝜋 0
r
2 sen kw
= a .
𝜋 w
Similarmente r
2 1 − cos kw
fˆs (w) = a .
𝜋 w
14. Transformada de Fourier 51
Ejemplo 14.2. Hallar Fc de la función f dada por f (x) = e −ax , con a > 0.
Por definición tenemos
r r
∫ ∞ ∫ ∞
2 2
fˆc (w) = f (v) cos wx dx = e−ax cos wx dx,
𝜋 0 𝜋 0
pero, utilizando el método de integración por partes, tenemos
ae −ax
∫
e−ax cos wx dx = 2 (w sen wx − a cos wx).
a + w2
Luego r ∞ r
2 ae −ax

2 a
fˆc (w) = (w sen wx − a cos wx) = .
𝜋 a2 + w 2 0 𝜋 a2 + w 2
Teorema 14.1. Sea f una función continua y absolutamente integrable sobre R, supongamos que f 0
es continua a trozos sobre cualquier intervalo finito y que f (x) → 0 cuando x → ∞. Entonces
r
2
(3) Fc ( f 0) = wFs ( f ) − f (0)
𝜋
(4) Fs ( f 0) = −wFc ( f ).
Utilizando las ecuaciones (3) y (4) podemos probar que

r
00 2 2 0
(5) Fc ( f ) = −w Fc ( f ) − f (0)
𝜋
r
2
(6) Fs ( f 00) = −w 2 Fs ( f ) + f (0).
𝜋
Ejemplo 14.3. Hallar Fc de la función f (x) = e −ax , con a > 0 aplicando la igualdad (5)
(comparar con el ejemplo 14.2).
Notemos que f 00 (x) = a2 f (x), luego
Fc ( f 00) = Fc (a2 f ),
es decir
r
2 2 2 0
a Fc ( f ) = −w Fc ( f ) − f (0)
𝜋
r
2
= −w 2 Fc ( f ) + a ,
𝜋
de donde r
2
(a2 + w 2 )Fc ( f ) = a ,
𝜋
es decir r
2 a
fˆc (w) = .
𝜋 a2 + w 2

TRANSFORMADA DE FOURIER
Dada una función f la transformada de Fourier para f está definida para cada w por
∫ ∞
1
(7) fˆ (w) = √ f (x)e−iwx dx.
2𝜋 −∞
Con frecuencia usamos la notación F( f ) en lugar de fˆ.

La inversa de la transformada de Fourier para f está definida así
F−1 ( fˆ) = f ,
por tanto, para cada x tenemos

∫ ∞
1
(8) f (x) = √ fˆ (w)eiwv dw.
2𝜋 −∞
Teorema 14.2. Supongamos que f es absolutamente integrable sobre R y continua a trozos sobre
cualquier intervalo finito. Entonces existe la transformada de Fourier F( f ).
Ejemplo 14.4. Hallar la transformada de Fourier de la función f dada por
(
1 si |x| < 1,
f (x) =
0 si |x| ≥ 1.

∫ ∞
ˆf (w) = √1 f (x)e−iwx dx
2𝜋 −∞
∫ 1
1
=√ e−iwx dx
2𝜋 −1
1
1 −iwx

=− √ e
iw 2𝜋

−1
1 iwx
= √ (e − e−iwx )
iw 2𝜋
1 sen w
=√ .
2𝜋 w
Ejemplo 14.5. Determinar la transformada de Fourier de la función f dada por
(
cos x si 0 ≤ x ≤ 𝛼,
𝜙(x) =
0 si x < 0 o x > 𝛼,
con 𝛼 > 0.


∫ ∞ ∫ 𝛼
1 −iwx 1
ˆ
𝜙(w) =√ f (x)e dx = √ cos xe−iwx dx.
2𝜋 −∞ 2𝜋 0
Aplicando el método de integración por partes obtenemos

∫
1
cos xe−iwx dx = 2 e−iwx (iw cos x − sen x).
w −1
Luego
𝛼
1 1 −iwx

ˆ
𝜙(w) = √ · 2 e (iw cos x − sen x)
2𝜋 w − 1 0
1
=√ [e−iw𝛼 (iw cos 𝛼 − sen 𝛼) − iw]
2𝜋 (w − 1)
2
Ejemplo 14.6. Determinar la transformada de Fourier de la función f dada por

(
cos x si |x| ≤ 𝛼,
𝜙(x) =
0 si |x| ≥ 𝛼,
con 𝛼 > 0.
∫ ∞ ∫ 𝛼
1 −iwx 1
ˆ
𝜙(w) =√ f (x)e dx = √ cos xe−iwx dx.
2𝜋 −∞ 2𝜋 −𝛼
Similarmente al ejemplo 14.5 tenemos

𝛼
1
−iwx
ˆ
𝜙(w) = √ e (iw cos x − sen x)

2𝜋 (w − 1)
2
−𝛼
1
=√ [e−iw𝛼 (iw cos 𝛼 − sen 𝛼) − e−iw(−𝛼) (iw cos(−𝛼) − sen(−𝛼))]
2𝜋 (w − 1)
2
1
=√ [e−iw𝛼 (iw cos 𝛼 − sen 𝛼) − eiw𝛼 (iw cos 𝛼 + sen 𝛼)].
2𝜋 (w − 1)
2
Ejemplo 14.7. Hallar la transformada de Fourier de la función f dada por

(
e−ax si x > 0,
f (x) =
0 si x ≤ 0,
siendo a > 0.


∫ ∞
ˆf (w) = √1 f (x)e−iwx dx
2𝜋 ∫−∞
∞
1
=√ e−ax e−iwx dx
2𝜋 0
∞
1 e−(a+iw)x
=− √ ·
2𝜋 a + iw 0

1
=√ .
2𝜋 (a + iw)
Ejemplo 14.8. Comprobar que
2 1 2
(9) F(e−ax ) = √ e−w /4a , para a > 0.
2a
2
Consideremos en primer lugar el caso particular a = 1, o sea g (x) = e−x . Debemos probar
que
1 2
ĝ (w) = √ e−w /4 .
2
Notemos que
2
iw w2
x+ = x 2 + iwx − ,
2 4
de donde
2
2 w2 iw
−(x + iwx) = − − x+ .
4 2
Así
∫ ∞ ∫ ∞
−x 2 −iwx 2 +iwx)
e e dx = e−(x dx
−∞
∫−∞∞
2 2
= e−(w /4)−(x+iw/2) dx
−∞
∫ ∞
−w 2 /4 2
=e e−(x+iw/2) dx.
−∞
Aplicando integrales de línea complejas se prueba que

∫ ∞ ∫ ∞
−(x+iw/2) 2 2
e dx = e−x dx,
−∞ −∞

√
pero el valor de esta última integral es 𝜋. Luego
∫ ∞
2 1 2
F(e−x ) = √ e−x e−iwx dx
2𝜋 −∞ ∫
1 −w2 /4 ∞ −(x+iw/2) 2
= √ e e dx
2𝜋 −∞
1 2 √
= √ e−w /4 𝜋
2𝜋
1 −w2 /4
= √ e .
2
Ahora, para el caso general tenemos

∫ ∞
−ax 2 1 2
F(e )=√ e−ax e−iwx dx,
2𝜋 −∞
√
y con el cambio de variable t = ax resulta
∫ ∞
−ax 2 1 2
F(e )=√ e−ax e−iwx dx
2𝜋 −∞ ∫
∞ √
1 1
e−t e−i (w/ a)t dt
2
=√ ·√
2𝜋 a −∞
∫ ∞ √
1 1
e−t e−i (w/ a)t dt
2
=√ ·√
a −∞
2𝜋
1 w
= √ ĝ √
a a
1 1 −w2 /4a
=√ ·√ e
a 2
1 −w2 /4a
=√ e .
2a
Teorema 14.3. Supongamos que f y g son dos funciones tales que F( f ) y F(g) y a, b ∈ R son dos
números cualesquiera, entonces
(10) F(a f + bg) = aF( f ) + bF(g).
Teorema 14.4. Supongamos que f es una función derivable, con f 0 absolutamente integrable y tal
que f (x) → 0 cuando |x| → ∞
(11) F( f 0) = iwF( f ).
Utilizando la igualdad (11) tenemos
(12) F( f 00) = −w 2 F( f ).

Ejemplo 14.9. Determinar la transformada de Fourier de la función 𝜓 dada por

(
sen x si 0 ≤ x ≤ 𝜋,
𝜓 (x) =
0 si x < 0 o x > 𝜋.
Uno pudiera intentar aplicar la igualdad (11) partiendo de que 𝜓 0 = 𝜙 o de que 𝜙0 = −𝜓, para
𝜙 definida como en el ejemplo 14.5 con 𝛼 = 𝜋. Es decir
iw
ˆ
𝜙(w) =√ (1 + e−iw𝜋 ).
2𝜋 (1 − w )
2
Para el primer caso, es decir, considerando 𝜓 0 = 𝜙, tendríamos:
iw
F(𝜓 0) = F(𝜙) = F(𝜙) = √ (1 + e−iw𝜋 ).
2𝜋 (1 − w 2 )
Así que
1 1 iw 1
(13) F(𝜓) = F(𝜓 0) = ·√ (1 + e−iw𝜋 ) = √ (1 + e−iw𝜋 ).
iw iw 2𝜋 (1 − w 2 ) 2𝜋 (1 − w 2 )
Por otro lado, considerando 𝜙0 = −𝜓 quedaría:
w2
(14) F(𝜓) = F(−𝜙0) = −F(𝜙0) = −iwF(𝜙) = √ (1 + e−iw𝜋 ).
2𝜋 (1 − w2)
Pero las igualdades (13) y (14) son contradictorias. La esencia de este fenómeno está en la
supuesta aplicación de la igualdad (11), pues en este ejemplo no se satisfacen las hipótesis del
teorema 14.4, en efecto la igualdad 𝜓 0 = 𝜙 no es cierta, pues significa que
𝜓 0 (x) = 𝜙(x) para todo x ∈ R,
pero ni 𝜓 0 (0) ni 𝜓 0 (𝜋) existen, de hecho 𝜓−0 (0) = 0 ≠ 1 = 𝜓+0 (0), y 𝜓−0 (𝜋) = −1 ≠ 0 = 𝜓+0 (𝜋)
(además existe un un resultado, conocido como el teorema de Darboux, que prueba que la
función 𝜙 no es la derivada de ninguna función).
Por otro lado, la igualdad 𝜙0 = −𝜓 tampoco es cierta, pues significa que
𝜙0 (x) = −𝜓 (x) para todo x ∈ R,
pero la función 𝜙 no es derivable en x = 0 ni en x = 𝜋, de hecho ni siquiera es continua en

esos puntos. Por tanto, aplicamos la definición
∫ ∞ ∫ 𝜋
1 −iwx 1
𝜓ˆ (w) = √ f (x)e dx = √ sen xe−iwx dx.
2𝜋 −∞ 2𝜋 0

Aplicando el método de integración por partes obtenemos

∫
1
sen xe−iwx dx = e −iwx (iw sen x − cos x).
1 − w2
Luego
𝜋
1 1 −iwx

𝜓 (w) = √
ˆ · 2 e (iw sen x − cos x)
2𝜋 w − 1 0
1
=√ (1 + e −i 𝜋w ).
2𝜋 (1 − w )
2
Ejemplo 14.10. Utilizar la igualdad (11) y el hecho de que
2 1 2
F(e−ax ) = √ e−w /4a , para a > 0,
2a
para hallar la transformada de Fourier de la función f dada por

2
f (x) = xe−x .
2 2
Notemos que (e−x ) 0 = −2xe−x , luego
2 1 2
F(xe−x ) = − iwF(e−x )
2
1 1 2
= − iw √ e−w /4
2 2
iw −w2 /4
=− √ e .
2 2
Ejemplo 14.11. Utilizar la transformada de Fourier para resolver la ecuación del calor
ut = c 2 uxx
de barra infinita con la condición inición inicial

(
u0 si |x| < 1,
u(x, 0) = f (x) =
0 si |x| > 1,
siendo u0 una constante.

Considerando u como función de x, sea F(u) = û. Entonces
F(ut ) = F(c 2 uxx ) = c 2 F(uxx ) = −c 2w 2 F(u) = −c 2w 2 û.

Suponiendo que podemos invertir el orden entre la derivación y la integración tenemos

∫ ∞
1
F(ut ) = √ ut e−iwx dx
2𝜋 −∞∫
∞
1 𝜕
=√ ut e−iwx dx
2𝜋 𝜕t −∞
∫ ∞
𝜕 1 −iwx
= √ ut e dx
𝜕t 2𝜋 −∞
𝜕 û
= .
𝜕t
Entonces tenemos
𝜕 û
= −c 2w 2 û.
𝜕t
Podemos considerar esta igualdad como una EDO, luego
2w2 t
û = û(x, t) = C (w)e−c .
Utilizando la condición inicial obtenemos
û(x, 0) = C (w) = fˆ (w) = F( f ),
Entonces, aplicando la transformada inversa nos queda

∫ ∞
1
fˆ (w)e−c w t e iwx dw.
2 2
u(x, t) = √
2𝜋 −∞
Recordemos que ∫ ∞
1
fˆ (w) = √ f (v)e −iwv dv,
2𝜋 −∞
luego
∫ ∞ ∫ ∞
1 1
dv e−c w t eiwx dw
−iwv 2 2
u(x, t) = √ √ f (v)e
2𝜋 −∞ 2𝜋 −∞
∫ ∞ ∫ ∞
1
dv e−c w t eiwx dw
−iwv 2 2
= f (v)e
2𝜋 −∞ −∞
∫ ∞ ∫ ∞
1 −iwv −c 2 w 2 t iwx
= f (v)e e e dv dw
2𝜋 −∞ −∞
∫ ∞ ∫ ∞
1 −c 2 w 2 t iwx −iwv
= f (v)e e e dw dv
2𝜋 −∞ −∞
∫ ∞ ∫ ∞
1 −c 2 w 2 t i (wx−wv)
= f (v) e e dw dv.
2𝜋 −∞ −∞

De la fórmula de Euler tenemos que
ei (wx−wv) = cos(wx − wv) + i sen(wx − wv),
Pero si
∫ ∞ ∫ ∞
−c 2 w 2 t 2w2 t
Φ(w) = e cos(wx − wv) dv y Ψ(w) = e−c sen(wx − wv) dv,
−∞ −∞
entonces Φ y Ψ, son par e impar (funciones de w), respectivamente, por tanto

∫ ∞ ∫ ∞ ∫ ∞
Φ(w) dw = 2 Φ(w) dw y Ψ(w) dw = 0.
−∞ 0 −∞
Así, finalmente tenemos

∫ ∞ ∫ ∞
1 −c 2 w 2 t
u(x, t) = f (v) e cos(wx − wv) dw dv.
𝜋 −∞ 0
Dadas dos funciones f y g absolutamente integrables sobre R, la convolución f ∗ g es la

función definida por
∫ ∞
f ∗ g (x) = f (𝛼) g (x − 𝛼) d𝛼.
−∞
Notemos que
f ∗g = g ∗ f.
Teorema 14.5 (Teorema de convolución). Supongamos que f y g son dos funciones acotadas,
absolutamtne integrables sobre R, y regulares a trozos en cualquier intervalo finito. Entonces
√
(15) F( f ∗ g) = 2𝜋 F( f )F(g).
Como consecuencia del teorema de convolución tenemos que

∫ ∞
(16) f ∗ g (x) = fˆ (w) ĝ (w)eiwx dw.
−∞

15 ECUACIÓN DEL CALOR BIDIMENSIONAL
La difusión del calor sobre una superficie homogénea en el plano xy está modelada por la
ecuación
2
𝜕u 2 𝜕 u 𝜕2u
(1) =c + .
𝜕t 𝜕x 2 𝜕y 2
A continuación examinamos la ecuación (1) en el caso uniforme, es decir, suponiendo que

ut = 0. En tal caso queremos hallar una función u = u(x, y) que satisfaga la ecuación de
Laplace bidimensional
(2) ∇2 u = 0
donde ∇2 representa el “operador de Laplace” bidimensional, es decir
𝜕2u 𝜕2u
∇2 u = + .
𝜕x 2 𝜕y 2
Supongamos que la frontera de la superficie está constituida por los lados de un rectán-
gulo R cuyos vértices son los puntos (0, 0), (a, 0), (0, b) y (a, b), siendo a, b > 0. Asumimos
que se cumple la ecuación (2) con las siguientes condiciones de frontera
(3) u(0, y) = 0,
(4) u(x, 0) = 0,
(5) u(a, y) = 0,
(6) u(x, b) = f (x),
para todos x ∈ [0, a], y ∈ [0, b].

15. Ecuación del calor bidimensional 61

Si escribimos
(7) u(x, y) = F (x)G (y),
entonces
(8) uxx = F 00G

(9) uyy = FG 00 .
Por la ecuación (2), uxx = −uyy toma la forma
F 00G = −FG 00 ,
luego
F 00 (x) G 00 (y)
=− = constante.
F (x) G (y)
La única solución no trivial para u se produce cuando la constante es negativa, es decir
F 00 G 00
=− = −k, con k > 0.
F G
Entonces se satisfacen las siguientes ecuaciones ordinarias
(10) F 00 + kF = 0
(11) G 00 − kG = 0.

Para la ecuación (10) tenemos
√ √
F (x) = A cos kx + B sen kx.
La condición de frontera (3) implica que
F (0)G (y) = u(0, y) = 0, para todo y ∈ [0, b] ,
pero G no es trivial, luego F (0) = 0. Análogamente, la condición de frontera (5) implica que
F (a) = 0. Además F (0) = A, de donde A = 0, por tanto
√
F (x) = B sen kx,

así, tomando B = 1 tenemos que

√ n𝜋 2
F (a) = sen ka = 0 ⇒ k = kn =
a
y, por tanto, tenemos la siguiente familia de soluciones no triviales para la ecuación (10)
n𝜋x
(12) Fn (x) = sen , con n ∈ N.
a
Para k = (n𝜋/a) 2 la ecuación (11) se transforma en
n𝜋 2
00
(13) G − G = 0,
a
la cual tiene las siguientes soluciones:
Gn (y) = Cn e n𝜋y/a + Dn e−n𝜋y/a .
La condición de frontera (4) implica que Fn (x)Gn (0) = 0 para todo x ∈ [0, a] y para todo
n ∈ N, y por tanto Gn (0) = 0. Luego
Cn + Dn = 0 ⇒ Cn = −Dn , para todo n.
Así
Gn (y) = Cn e n𝜋y/a − Cn e−n𝜋y/a

= Cn (e n𝜋y/a − e−n𝜋y/a )
n𝜋y
= 2Cn senh
a
∗ n𝜋y
= Cn senh , con Cn∗ = 2Cn .
a
Entonces la familia de autofunciones para la ecuación (2) que satisfacen las condiciones de
frontera u = 0 en la base del rectángulo sobre el eje x y sobre los lados verticales, está dada
por:
n𝜋x n𝜋y
(14) un (x, y) = Fn (x)Gn (y) = Cn∗ sen senh .
a a

Sobre el lado superior del rectángulo tenemos que u(x, b) = f (x), la solución es
∞ ∞
Õ Õ n𝜋x n𝜋y
u(x, y) = un (x, y) = Cn∗ sen senh .
a a
n=1 n=1

Luego
u(x, b) = f (x)
∞
Õ n𝜋x n𝜋b
= Cn∗ sen senh
a a
n=1
∞
Õ
∗ n𝜋b n𝜋x
= Cn senh sen .
a a
n=1
Así que f se puede representar como serie de Fourier y por tanto los coeficientes bn son
n𝜋b 2 a n𝜋x
∫
∗
bn = Cn senh = f (x) sen dx.
a a 0 a
Entonces, en conclusión tenemos

∞
Õ n𝜋x n𝜋y
(15) u(x, y) = Cn∗ sen senh ,
a a
n=1
donde
a
n𝜋x
∫
2
(16) Cn∗ = f (x) sen dx.
a senh(n𝜋b/a) 0 a

16 ECUACIÓN DE ONDA BIDIMENSIONAL:
MEMBRANA RECTANGULAR
Ejemplo 16.1. Un problema físico: Dada una membrana elástica, tensa y extendida y tensa
a lo largo de una región del plano xy, fija en los bordes. Se toma por un punto cualquiera
y se le permite vibrar. Determinar la función u(x, y, t) que determina la posición de cada
punto de la membrana en términos de (x, y) y del tiempo t ≥ 0.
1. La membrana es homogénea, elástica y de masa constante.
3. La membrana hace pequeños movimientos en la dirección perpendicular al plano xy.
El fenómeno es modelado por la ecuación de onda bidimensional:

2
𝜕2u 2 𝜕 u 𝜕2u
(1) =c + ,
𝜕t 2 𝜕x 2 𝜕y 2
donde c 2 = T / 𝜌, donde 𝜌 es la masa de membrana (no extendida) por unidad de longitud

y T componente horizontal de la tensión de la membrana.
Supongamos que la frontera de la membrana está constituida por los lados de un rectángulo
R cuyos vértices son los puntos (0, 0), (a, 0), (0, b) y (b, b), siendo a, b > 0. Asumimos que
se cumple la ecuación (1) con las siguientes condiciones de frontera
(2) u(0, y, t) = 0,
(3) u(x, 0, t) = 0,
(4) u(a, y, t) = 0,
(5) u(x, b, t) = 0,
para todos x ∈ [0, a], y ∈ [0, b] y t > 0, y las siguientes condiciones iniciales
(6) u(x, y, 0) = f (x, y),

(7) ut (x, y, 0) = g (x, y).
16. Ecuación de onda bidimensional: membrana rectangular 65
(8) u(x, y, t) = F (x, y)G (t).
Entonces
(9) utt = FG 00
(10) uxx = FxxG
(11) uyy = FyyG.
Por (1)
FG 00 = c 2 (FxxG + FyyG) = c 2 (Fxx + Fyy )G ,
luego
G 00 1
= (Fxx + Fyy ) = constante.
c G F
2
La única solución no trivial se produce cuando la constante es negativa, así que podemos
asumir que su valor es −𝜈 2 , es decir
G 00 1
= (Fxx + Fyy ) = −𝜈 2 .
c G F
2
Por un lado tenemos la siguiente EDO para la “función temporal” G:
G 00
= −𝜈 2 ,
c G
2
es decir
(12) G 00 + 𝜆 2G = 0,
donde 𝜆 = c𝜈. Por otro lado tenemos la siguiente EDP para la “función amplitud” F (x, y),
conocida como la ecuación de Helmholtz:
(13) Fxx + Fyy + 𝜈 2 F = 0.
Para esta función separamos las variables:
F (x, y) = H (x)Q (y),
de manera que
Fxx = H 00Q y Fyy = HQ 00 .
Entonces la ecuación (13) queda
d2H d 2Q
Q + H + 𝜈 2 HQ = 0,
dx 2 dy 2

de donde
1 d 2 H 1 d 2Q
+ + 𝜈2 = 0
H dx 2 Q dy 2
de donde
1 d2H 1 d 2Q 2
=− +𝜈 Q .
H dx 2 Q dy 2
De esta forma las variables x e y están separadas, por lo tanto tenemos

1 d2H 1 d 2Q
=− + 𝜈 Q = −k 2
2
(constante).
H dx 2 Q dy 2
Así tenemos las siguientes ecuaciones:

1 d2H 1 d 2Q
= −k 2 y + 𝜈 Q = k2 .
2
H dx 2 Q dy 2
Es decir
d2H
(14) + k2H = 0
dx 2
d 2Q
(15) + p2Q = 0, donde p2 = 𝜈 2 − k 2 .
dy 2

Para la ecuación (14) la solución no trivial viene dada por
H (x) = A cos kx + B sen kx.
Las condiciones de frontera implican que H (0) = 0 y H (a) = 0, por tanto A = H (0) = 0,
luego B sen ka = H (a) = 0, entonces
m𝜋
k= , con m ∈ N,
a
concluyendo que
m𝜋x
Hm (x) = sen .
a
Por otro lado, en forma similar
Q (y) = C cos py + D sen py.

Las condiciones de frontera implican que Q (0) = 0 y Q (b) = 0, por tanto C = Q (0) = 0,
luego D sen pb = Q (b) = 0, entonces
n𝜋
p= , con n ∈ N
b
y
n𝜋y
Qn (y) = sen
.
b
Entonces las autofunciones de la ecuación de Helmholtz (13) están dadas por
m𝜋x n𝜋y
(16) Fmn (x, y) = Hm (x)Qn (y) = sen sen , con m, n ∈ N.
a b
Para caracterizar los autovalores notemos que p2 = 𝜈 2 − k 2 y 𝜆 = c𝜈, así que tenemos
q
2 2 2 2 2 2
𝜆 = c 𝜈 = c (p + k ) ⇒ 𝜆 = c p2 + k 2 ,
pero k = m𝜋/a y p = n𝜋/b, de donde

r s
m𝜋 2 n𝜋 2 m2 n 2
(17) 𝜆 = 𝜆 mn = c + = c𝜋 + , con m, n ∈ N.
a b a2 b 2
Entonces la familia de soluciones de la ecuación temporal (12) viene dada por

∗
Gmn (t) = Bmn cos 𝜆 mn t + Bmn sen 𝜆 mn t.
Por tanto las autofunciones de la ecuación (1) están dadas por
∗ m𝜋x n𝜋y
(18) umn (x, y, t) = (Bmn cos 𝜆 mn t + Bmn sen 𝜆 mn t) sen sen
a b
donde los autovalores 𝜆 mn están definidos por (17).

La solución general para la ecuación (1) con las condiciones de frontera (2), (3), (4) y (5),
viene dada por
∞ Õ
Õ ∞
u(x, y, t) = umn (x, y, t),
m=1 n=1
es decir
∞ Õ
∞
Õ
∗ m𝜋x n𝜋y
(19) u(x, y, t) = (Bmn cos 𝜆 mn t + Bmn sen 𝜆 mn t) sen sen .
a b
m=1 n=1

Considerando además la condición inicial (6) tenemos

∞ Õ
∞
Õ m𝜋x n𝜋y
(20) u(x, y, 0) = Bmn sen sen = f (x, y).
a b
m=1 n=1
La expresión de la ecuación (20) es conocida como serie doble de Fourier de f , y los coefi-
cientes vienen determinados por la fórmula generalizada de Euler:
b a
m𝜋x n𝜋y
∫ ∫
4
(21) Bmn = f (x, y) sen sen dx dy, con m, n ∈ N.
ab 0 0 a b
Ahora, considerando la condición inicial (7) tenemos

∞ Õ
∞
Õ
∗ m𝜋x n𝜋y
ut (x, y, 0) = Bmn 𝜆 mn sen sen = g (x, y).
a b
m=1 n=1
Suponiendo que g se puede desarrollar como una serie doble de Fourier, los coeficientes
correspondientes vienen dados por
b a
m𝜋x n𝜋y
∫ ∫
∗ 4
(22) Bmn = g (x, y) sen sen dx dy, con m, n ∈ N.
ab𝜆 mn 0 0 a b

17 ECUACIÓN DE ONDA BIDIMENSIONAL:
MEMBRANA CIRCULAR
Ejemplo 17.1. Un problema físico: Dada una membrana elástica, tensa y extendida y tensa
a lo largo de una región circular del plano xy, con centro en el origen y radio R (fija en
el borde). Se toma por un punto cualquiera y se le permite vibrar de tal manera que la
propagación del pulso sea exclusivamente de dependencia radial. Determinar la función
u(x, y, t) que indica la posición de cada punto de la membrana en términos de (x, y) y del
tiempo t ≥ 0.
1. La membrana es homogénea, elástica y de masa constante.
3. La membrana hace pequeños movimientos en la dirección perpendicular al plano xy.
El fenómeno es modelado por la ecuación de onda bidimensional:

2
𝜕2u 2 𝜕 u 𝜕2u
(1) =c + ,
𝜕t 2 𝜕x 2 𝜕y 2
donde c 2 = T / 𝜌, donde 𝜌 es la masa de membrana (no extendida) por unidad de longitud

y T componente horizontal de la tensión de la membrana.
Consideremos la ecuación (1) expresada utilizando coordenadas polares (ver el ejemplo 10.7)
y tomando en cuenta que en nuestro modelo u no depende del ángulo 𝜃, es decir, asumimos
que u = u(r , t) así
2
𝜕2u 2 𝜕 u 1 𝜕u
(2) =c + ,
𝜕t 2 𝜕r 2 r 𝜕r
con la condición de frontera
(3) u(R, t) = 0, para todo t,

17. Ecuación de onda bidimensional: membrana circular 70
y las siguientes condiciones iniciales
(4) u(r , 0) = f (r),

(5) ut (r , 0) = g (r).
(6) u(r , t) = F (r)G (t).
Entonces
(7) urr = F 00G

(8) utt = FG 00 .
Luego la ecuación (2) toma la forma

00 2 00 1 0
(9) FG = c F G+ FG ,
r
es decir
G 00 F 00 1 F 0 1

00 1 0
= + = F + F
c 2G F r F F r
luego
G 00

1 00 1 0
= F + F = −k 2 (constante).
c 2G F r
De la primera igualdad tenemos
(10) G 00 + 𝜆 2G = 0, 𝜆 = ck.
Para la segunda igualdad

1
(11) F 00 + F 0 + k 2 F = 0,
r
considerando s = kr, luego ds/dr = k, luego por la regla de la cadena tenemos
dF dF ds dF
F 0 (r) = = =k
dr ds dr ds
y
d2F
F 00 (r) = k 2 .
ds 2
Entonces de (11) tenemos
d 2 F 1 dF 2d F
2 1 dF
k2 + k + k 2
F = k + k2 + k2F
ds 2 r ds ds 2 kr ds

es decir
d 2 F 1 dF
(12) + + F = 0,
ds 2 s ds
que es una ecuación de Bessel (con parámetro 𝜈 = 0), con autofunciones las funciones de
Bessel soluciones Jm , con m ≥ 0.

Tomemos en particular F (r) = J0 (s) = J0 (kr) cuyas raíces constituyen una sucesión {𝛼n },
con primeros tres términos:
𝛼1 = 2, 4048 . . .
𝛼2 = 5, 5201 . . .
𝛼3 = 8, 6537 . . .
Por la condición (3) tenemos que
F (R)G (t) = u(R, t) = 0
y como G no es trivial resulta que
F (R) = J0 (kR) = 0,
de esta forma
𝛼n
J0 (kR) = 0 ⇒ , n ∈ N.
k = kn =
R
De esta forma tomando 𝜆 = 𝜆 n = ckn = c𝛼n /R la solución de la ecuación (10) es
G (t) = Gn (t) = An cos 𝜆 n t + Bn sen 𝜆 n t,
y por tanto las autofunciones para la ecuación (2) están dadas por
(13) un (r , t) = (An cos 𝜆 n t + Bn sen 𝜆 n t) J0 (kn r),
y los autovalores respectivos son los 𝜆 n . La expresión 𝜆 n /2𝜋 se denomina frecuencia.
PARTE 3. SOLUCIÓN AL PROBLEMA TOTAL SERIES DE FOURIER-BESSEL

La solución general para la ecuación (2) puede representarse así
∞
Õ ∞
Õ
(14) u(r , t) = un (r , t) = (An cos 𝜆 n t + Bn sen 𝜆 n t) J0 (kn r).
n=1 n=1

Para t = 0 tenemos
∞
Õ ∞
Õ 𝛼
n
f (r) = u(r , 0) = An J0 (kn R) = An J0 r ,
R
n=1 n=1
es decir f se puede representar como una serie de Fourier-Bessel, por tanto

∫ R
2 𝛼
n

(15) An = r f (r) J0 r dr , n ∈ N.
R 2 J12 (𝛼n ) 0 R
Por otro lado tenemos que

∞
Õ
ut (r , t) = (−𝜆 n An sen 𝜆 n t + 𝜆 n Bn cos 𝜆 n t) J0 (kn r),
n=1
luego
∞
Õ
ut (r , 0) = 𝜆 n Bn J0 (kn r),
n=1
y por la condición inicial (5) tenemos

∞
Õ
g (r) = 𝜆 n Bn J0 (kn r),
n=1
g sea, f se puede representar como una serie de Fourier-Bessel, luego

∫ R
2 𝛼
n

(16) Bn = r g (r) J0 r dr , n ∈ N.
R 2 𝜆 n J12 (𝛼n ) 0 R

18 ECUACIÓN DE LAPLACE TRIDIMENSIONAL
Sean R un número positivo y f una función dada. Consideremos la ecuación de Laplace

∇2 u = 0 para un campo escalar u expresado en coordenadas esféricas (ver ejemplo 10.9)
independiente de 𝜃, es decir u𝜃 𝜃 = 0:

𝜕 2 𝜕u 1 𝜕 𝜕u
(1) r + sen 𝜙 =0
𝜕r 𝜕r sen 𝜙 𝜕𝜙 𝜕𝜙
con la condición de frontera
(2) u(R, 𝜙) = f (𝜙)
(3) lı́m u(r , 𝜙) = 0.

r→∞
(4) u(r , 𝜙) = F (r)G (𝜙).
Entonces
(5) urr = F 00G

(6) u 𝜙𝜙 = FG 00 .
Entonces la ecuación (1) toma la forma

d 2 dF 1 d dG
(7) r G + sen 𝜙 F =0
dr dr sen 𝜙 d𝜙 d𝜙
es decir
d 2 dF 1 d dG
r G =− sen 𝜙 F
luego
d 2 dF 1 d dG
r G =− sen 𝜙 F = k (constante),
18. Ecuación de Laplace tridimensional 74
de donde
1 d 2 dF 1 d dG
r =− sen 𝜙 = k.
F dr dr G sen 𝜙 d𝜙 d𝜙
De la primera igualdad tenemos
d2F dF
(8) r2 + 2r − kF = 0.
dr 2 dr
Tomando k = n(n + 1) obtenemos la ecuación de Euler-Cauchy
d2F dF
(9) r2 + 2r − n(n + 1)F = 0,
dr 2 dr
que tiene solución no trivial de la forma F (r) = r 𝛼 , entonces F 0 (r) = 𝛼r 𝛼−1 y F 00 (r) =
𝛼 (𝛼 − 1)r 𝛼−2 . Por tanto (9) toma la forma
𝛼 (𝛼 − 1)r 𝛼−2 r 2 + 2r𝛼r 𝛼 − n(n + 1)r 𝛼 = 0,
es decir
𝛼 (𝛼 − 1) + 2𝛼 − n(n + 1) = 0,
o
𝛼 2 + 𝛼 − n(n + 1) = 0,
cuyas raíces son 𝛼 = n y 𝛼 = −n − 1. Así tenemos las siguientes soluciones no triviales para
la ecuación (9).
1
Fn (r) = r n y Fn∗ (r) = .
r n+1
Por otro lado, la ecuación
1 d dG
sen 𝜙 = −k
G sen 𝜙 d𝜙 d𝜙
es equivalente a

1 d dG
(10) sen 𝜙 + kG = 0.
sen 𝜙 d𝜙 d𝜙
Con k = n(n + 1) queda

1 d dG
(11) sen 𝜙 + n(n + 1)G = 0.
sen 𝜙 d𝜙 d𝜙
Consideremos la variable w = cos 𝜙, entonces sen2 𝜙 = 1 − w 2 y para cualquier función 𝛽

tenemos
d𝛽 d dw d
= = − sen 𝜙
d𝜙 dw d𝜙 dw

de donde
d𝛽 1 d
=−
dw sen 𝜙 d𝜙.
Entonces

1 d dG d dw dG
sen 𝜙 =−
sen 𝜙 d𝜙 d𝜙 dw d𝜙 dw

d dG
=− sen 𝜙 − sen 𝜙
dw dw

d dG
= sen2 𝜙
dw dw

d 2 dG
= (1 − w )
dw dw
dG d 2G
= −2w + (1 − w 2 ) 2 .
dw dw
Por tanto tenemos la siguiente ecuación de Legendre
d 2G dG
(12) (1 − w 2 ) − 2w + n(n + 1)G = 0,
dw 2 dw
la cual tiene como soluciones no triviales los polinomios de Legendre Pn , así
Gn (w) = Pn (w) = Pn (cos 𝜙).
Por tanto, para la ecuación de Laplace (1) tenemos dos posibles tipos de soluciones
(13) un (r , 𝜙) = Fn (r)Pn (cos 𝜙) = r n Pn (cos 𝜙) si r ≤ R,
y
1
(14) un (r , 𝜙) = Fn (r)Pn (cos 𝜙) = Pn (cos 𝜙) si r > R.
r n+1
PARTE 2. SOLUCIÓN AL PROBLEMA TOTAL SERIES DE FOURIER-LEGENDRE

La solución general para la ecuación (13) puede representarse así
∞
Õ ∞
Õ
(15) u(r , 𝜙) = un (r , 𝜙) = An r n Pn (cos 𝜙).
n=1 n=1
Para r = R tenemos
∞
Õ
u(R, 𝜙) = An R n Pn (cos 𝜙) = f (𝜙),
n=1

es decir f se puede representar como una serie de Fourier-Legendre, por tanto

∫ 1
n 2n + 1
An R = f˜(w)Pn (w) dw,
2 −1
donde f˜(w) = f (𝜙). Tomando en cuenta que dw = − sen 𝜙 tenemos

∫ 0
2n + 1
An = f (𝜙)Pn (cos 𝜙)(− sen 𝜙) d𝜙,
2R n 𝜋
o sea
∫ 𝜋
2n + 1
(16) An = f (𝜙)Pn (cos 𝜙) sen 𝜙 d𝜙.
2R n 0
Para el exterior de la esfera r > R tenemos

∞ ∞
Õ Õ An
(17) u(r , 𝜙) = un (r , 𝜙) = P (cos 𝜙).
n+1 n
n=1 n=1
r
donde
∫ 𝜋
2n + 1 n+1
(18) An = R f (𝜙)Pn (cos 𝜙) sen 𝜙 d𝜙.
2 0

Mavanzadas 3 PDF

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Mavanzadas 3 PDF

Загружено:

Авторское право:

Доступные форматы

1 INTRODUCCIÓN

Ejemplo 1.1. Demostrar que para todos los números m y n se tiene

(1) sen mx sen nx = 12 [cos(m − n)x − cos(m + n)x] ,

Solución. Recordemos que para todos 𝛼 y 𝛽 se cumple:

(4) sen(𝛼 ± 𝛽 ) = sen 𝛼 cos 𝛽 ± sen 𝛽 cos 𝛼 ,

Aplicando (5) para 𝛼 = mx y 𝛽 = nx

(8) sen(m + n)x = sen mx cos nx + sen nx cos mx

Prueba de (1). Restando (10) de (11) queda

cos(m − n)x − cos(m + n)x = 2 sen mx sen nx,

que es equivalente a (1).

Solución. Recordemos que sen k𝜋 = 0, cos k𝜋 = (−1) k , para todo k ∈ Z.

Pruebas de (13) y (14). Ejercicios.

Fernando Mejías/Matemáticas Avanzadas espol/fcnm/

las funciones. Para empezar, decimos que una función f : R → R es par si

pero si f es par, entonces

Fernando Mejías/Matemáticas Avanzadas espol/fcnm/

1. La suma de funciones pares es una función par.

(b) Demostrar que el mínimo valor de

Solución de 3(a). Sea g la función definida por

= [ f (x)] 2 dx − 2a f (x) cos nx dx + 𝜋 a2 .

Fernando Mejías/Matemáticas Avanzadas espol/fcnm/

y como g 00 (a) > 0 tenemos que a es un punto mínimo.

Ejemplo 1.7. Supongamos que f es continua sobre [−𝜋 , 𝜋]. Definir

Demostrar que si Ai y Bi son números cualesquiera, entonces

Solución. Ejercicio. Indicación: Note que en el desarrollo de la expresión

aparecen involucradas integrales semejantes a las del ejemplo 1.2.

Fernando Mejías/Matemáticas Avanzadas espol/fcnm/

Fernando Mejías/Matemáticas Avanzadas espol/fcnm/

Una serie trigonométrica es una serie de funciones de la forma

Una función periódica f es representada por una serie de Fourier si

Ejemplo 2.1. Hallar la serie de Fourier para la función f definida pòr

siendo k > 0 (constante).

FUNCIONES PERIÓDICAS EN GENERAL

Fernando Mejías/Matemáticas Avanzadas espol/fcnm/

SERIES DE FOURIER PARA FUNCIONES PARES Y FUNCIONES IMPARES

Si f es una función periódica de período 2L e impar, entonces an = 0 para todo n y f se

f (x) = x|x| si x ∈ [−1, 1]

y f (x + 2) = f (x) para todo x.

Solución. Notemos que f se puede expresar de la forma

es fácil verificar que f es impar directamente de la definición u observando que f (x) =

Fernando Mejías/Matemáticas Avanzadas espol/fcnm/

Aplicando el método de integración por partes queda

Solución. f (x) es una función par, entonces bn = 0 para todo n.

Fernando Mejías/Matemáticas Avanzadas espol/fcnm/

Solución. h(x) es una función par, entonces bn = 0 para todo n.

Utilizar el ejercicio 3 para demostrar la siguiente igualdad:

Tomando x = 1 en el ejercicio anterior resulta

Fernando Mejías/Matemáticas Avanzadas espol/fcnm/

Fernando Mejías/Matemáticas Avanzadas espol/fcnm/

Sea f una función periódica con período 2𝜋 y serie de Fourier

Un polinomio trigonométrico es una función F de la forma

siendo A0 , A1 ,. . . ,AN , B1 ,. . . ,BN números reales.

Fernando Mejías/Matemáticas Avanzadas espol/fcnm/

Solución: f (x) es impar por lo tanto an = 0 para todo n ≥ 0.

Fernando Mejías/Matemáticas Avanzadas espol/fcnm/

F (x) = 2 cos x − 2 sen x + 3 cos 2x − 3 sen 2x,

un polinomio trigonométrico. Calcular el error cuadrático para F .

Solución. g (x) es par, luego bn = 0 para todo n.

Fernando Mejías/Matemáticas Avanzadas espol/fcnm/

Si r ≡ 1 decimos simplemente que la colección es ortogonal. La norma de y es

Para las funcione sp, q y r consideremos la EDO siguiente

(1) [p(x)y0] 0 + [q(x) + 𝜆 r (x)]y = 0

sobre un intervalo [a, b] con las condiciones iniciales