Series Fourier

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 3

416 l CAPÍTULO 11 SERIES DE FOURIER

15. Sea { n(x a, b] Problemas para analizar


b
tal que 0(x) " 1. Demuestre que a n (x) dx 0 para 21. Se dice que una función f de valor real es periódica, con
n " 1, 2, . . . periodo T si f (x # T ) " f (x). Por ejemplo, 4 es un pe-
riodo de sen x, ya que sen (x # 4 ) " sen x. EI valor mí-
16. Sea { n(x)} un conjunto ortogonal de funciones en
nimo de T para el que es válida f (x # T) " f (x) se llama
a, b] tal que 0(x) " 1 y 1(x) " x. Demuestre que
periodo fundamental de f. Por ejemplo, el periodo fun-
b
) n (x) dx 0 para n " 2, 3, . . . y para cua- damental de f (x) " sen x es T " 2 . ¿Cuál es el periodo
a( x
lesquier constantes y . fundamental de cada una de las siguientes funciones?
4
17. Sea { n(x a, b]. a) f (x) " cos 2 b) f (x) senx
L
Demuestre que ! m(x) # (x)!2
" ! (x)!2
# ! (x)!2
,
n m n c) f (x) " sen x # sen 2x d) f (x) " sen2x # cos 4x
para m $ n.
e) f (x) " sen 3x # cos 2x
18. Del problema 1 sabemos que fl(x) " x y f2(x) " x2 son or-
n n
!2, 2]. Encuentre las constan- f) f (x) A0 An cos x Bn sen x ,
tes c1 y c2 tales que f3(x) " x # c1x2 # c2x3 sea ortogonal n 1 p p
tanto a fl como a f2 en el mismo intervalo. A n y B n dependen sólo de n.

19. El conjunto de funciones {sen nx}, n " 1, 2, 3, . . . es 22. En el problema 9 se vio que el conjunto {sen nx}, n " 1,
! , ]. Demuestre que el con- ]. Demuestre que
junto no es completo. ! , ]
pero no es completo en el conjunto de todas las funciones
20. Suponga que fl, f2 y f3 son funciones continuas en el inter- ! , Sugerencia: Considere
a, b]. Demuestre que (fl # f2, f3) " (fl, f3) # (f2, f3). f(x) " 1.]

11.2 SERIES DE FOURIER


REPASO DE MATERIAL
l Lea nuevamente, o mejor repita, el problema 12 de los ejercicios 11.1.

INTRODUCCIÓN Acabamos de ver que si { 0(x), 1(x), 2(x), . . .} es un conjunto ortogonal en


a, b] y f
formalmente f en una serie ortogonal
c 0 0 (x) c1 1(x) c 2 2 (x) ,
cn se determinan utilizando el concepto de producto interno. El conjunto orto-
gonal de funciones trigonométricas
2 3 2 3
1, cos x, cos x, cos x, . . . , sen x, sen x, sen x, . . . (1)
p p p p p p
tendrá después especial importancia en la solución de ciertas clases de problemas con valores en la
frontera donde intervienen ecuaciones diferenciales parciales lineales. El conjunto (1) es ortogonal
!p, p].

UNA SERIE TRIGONOMÉTRICA Suponga que f


!p, p] y que se puede desarrollar en una serie ortogonal formada por las
funciones trigonométricas del conjunto ortogonal (1); es decir,
a0 n n
f (x) an cos x bn sen x . (2)
2 n 1 p p
a0, a1, a2, . . . , b1, b2, . . . se pueden determinar exactamente de la
misma manera que en el análisis general de los desarrollos en series ortogonales de

de 1 en el conjunto (1) como 12 a0 en lugar de a0. Esto es sólo por conveniencia; la


fórmula de an se reducirá después a a0 para n " 0.
11.2 SERIES DE FOURIER l 417

Ahora, integrando ambos miembros de la ecuación (2), desde !p hasta p, se obtiene


p p p p
a0 n n
f (x) dx dx an cos x dx bn sen x dx . (3)
p 2 p n 1 p p p p

Puesto que cos( "p) y sen( "p), n % 1 son ortogonales a 1 en el intervalo, el


miembro derecho de (3) se reduce a un solo término:
p p p
a0 a0
f (x) dx dx x pa0.
p 2 p 2 p

Resolviendo para a0 se obtiene


p
1
a0 f (x) dx. (4)
p p

Ahora multiplicando la ecuación (2) por cos( "p) e integrando:

p
p
m a0 m
f (x) cos x dx cos x dx
p p 2 p p
p p
m n m n
an cos x cos x dx bn cos x sen x dx . (5)
n 1 p p p p p p

Por ortogonalidad, tenemos que


p
m p
m n
cos x dx 0, m 0, cos x sen x dx 0,
p p p p p

p
m n 0, m n
y cos x cos x dx
p p p p, m n.
p
n
Por lo que la ecuación (5) se reduce a f (x) cos x dx an p,
p p

1 p
n
y así an f (x) cos x dx. (6)
p p p

Por último, si multiplicamos (2) por sen( "p), integramos y utilizamos los resultados
p
m p
m n
sen x dx 0, m 0, sen x cos x dx 0,
p p p p p

p
m n 0, m n
y sen x sen x dx
p p p p, m n,

1 p
n
encontramos que bn f (x) sen x dx. (7)
p p p
a0, an y bn
(4), (6) y (7), respectivamente, se dice que es una serie de Fourier de la función f. No
obstante que el físico matemático francés Jean Baptiste Joseph Fourier (1768-1830)
no inventó la serie que lleva su nombre, al menos él es responsable de despertar en
los matemáticos el interés por las series trigonométricas que él aplicó con poco rigor
en sus investigaciones sobre la conducción del calor. Las fórmulas (4), (6) y (7) que
fórmulas de Euler.
418 l CAPÍTULO 11 SERIES DE FOURIER

DEFINICIÓN 11.2.1 Series de Fourier

La serie de Fourier de una función f !p, p) está dada


por

a0 n n x
f (x) a n cos x bn sen , (8)
2 n 1 p p

p
1
donde a0 f (x) dx (9)
p p

1 p
nπ x
an f (x) cos dx (10)
p p p

1 p
nπ x
bn f (x) sen dx. (11)
p p p

CONVERGENCIA DE UNA SERIE DE FOURIER En ausencia de condiciones pre-


a0, an y bn el
signo de igualdad en (8) no se debe tomar en un sentido estricto o literal. Algunos libros
utilizan el símbolo # para enfatizar que (8) es sólo la correspondiente serie trigonomé-
f en las fórmulas (9) a (11). En vista de que
en las aplicaciones la mayoría de las funciones son del tipo que garantiza la convergencia
de la serie, aquí se usará el símbolo de igualdad. ¿Es posible que, en x del intervalo (!p, p),
la serie (8) sea convergente pero no al valor f(x)? La respuesta es un contundente Sí.

FUNCIONES CONTINUAS POR PARTES Antes de tratar las condiciones que asegu-
ran la convergencia de una serie de Fourier, es necesario repasar dos temas del primer se-
mestre de cálculo. Se emplearán los símbolos f(x#) y f(x!) para denotar los límites laterales
f (x ) í f (x
lim h), f (x ) í f (x
lim h),
h 0 h 0
h 0 h 0

- llamados, respectivamente, límites de f en x por la derecha y por la izquierda. Se dice


dad por partes en un intervalo no que una función f es continua por partes a, b] si
x1 & x2 & … & xn a, b] donde f tiene una

• f es continua en cada intervalo abierto (xk, xk#1).


f(x#) y f(x!) deben
existir en cada x tal que a & x & b. Los límites f(a#) y f(b!) también deben existir pero
no se requiere que f a o b.

serie de Fourier en un punto x.

TEOREMA 11.2.1 Condiciones para la convergencia

Sean f y f´ !p, p]. Entonces para toda x


en el intervalo (!p, p), la serie de Fourier de f converge a f(x) en un punto de
continuidad. En un punto de discontinuidad la serie de Fourier converge al
promedio
f (x#) f (x!)
,
2
en donde f (x#) y f (x!) denotan el límite de f en x, por la derecha y por la
izquierda, respectivamente.*

También podría gustarte