Convergncia Pontual da Srie de Fourier

Reginaldo J. Santos Departamento de Matemtica-ICEx Universidade Federal de Minas Gerais  "!# $%"&$ '!( 15 de julho de 2010
Lembramos que uma funo f : [ a, b] R seccionalmente contnua ou contnua por partes se f (t) contnua em [ a, b] exceto possivelmente em um nmero nito de pontos, nos quais os limites laterais existem. Vamos considerar duas funes contnuas por partes no intervalo [ a, b] iguais se elas diferem possivelmente apenas nos pontos de descontinuidade. Teorema 1. Seja L um nmero real maior que zero. Para toda funo f : [ L, L] R contnua por partes tal que a sua derivada f tambm seja contnua por partes, a srie de Fourier de f a0 n t n t + an cos + bn sen , 2 L L n =1 n =1 em que an = bn 1 L 1 = L
L

L L L

n t dt para n = 0, 1, 2, . . . L n t f (t) sen dt, para n = 1, 2, . . . L f (t) cos

converge para f nos pontos de ( L, L) em que f contnua. Ou seja, podemos representar f por sua srie de Fourier:
a0 n t n t f (t) = + an cos + bn sen , 2 L L n =1 n =1

para t ( L, L)

Demonstrao. Vamos mostrar que a soma parcial da srie tende a f ( x ), se x ( L, L) um ponto de continuidade de f . Substituindo-se os coecientes a n e bn na soma parcial da srie, S N ( x) = obtemos S N ( x) = 1 2L
L N a0 n x n x + an cos + bn sen , 2 L L n =1

f (t)dt
L

n x 1 N cos L n =1 L 1 = L
L

f (t) cos

n t n x dt + sen L L

f (t) sen

n t dt L f (t)dt =

N n x n x 1 n t n t + (cos cos + sen sen ) 2 n =1 L L L L

=
Mas 1 1 sen( N + )s sen s = 2 2 Logo

1 L

N 1 n (t x ) + cos 2 n =1 L

f (t)dt (1)

n =1

1 1 sen(n + )s sen(n )s 2 2

s N = 2 sen cos ns 2 n =1

N sen( N + 1 1 2 )s + cos ns = . s 2 n =1 2 sen 2

Substituindo-se s por

(t x ) obtemos L (2)

(t x ) N sen( N + 1 2) 1 n (t x ) L + cos = . ( t x ) 2 n L =1 2 sen 2L Substituindo-se (2) em (1) obtemos 1 S N ( x) = L

L

sen( N + 1 2)

(t x ) L f (t)dt (t x ) 2 sen 2L 2

Substituindo-se f pela sua extenso peridica de perodo 2 L, f, usando o fato de que neste caso as integrais anteriores podem ser calculadas de L + x at L + x e fazendo a mudana de variveis s = t x obtemos 1 S N ( x) = L
L+ x

sen( N + 1 2)

L+ x

(t x ) L f(t)dt = (t x ) 2 sen 2L 1 = L
L

s sen( N + 1 2) L f( x + s)ds (3) s 2 sen 2L

Tomando-se f ( x ) = 1 em (3) obtemos 1 L Assim de (3) e (4) temos que s sen( N + 1 2) L f( x + s) f ( x ) ds = s L 2 sen 2L s 1 L f( x + s) f( x ) 2 1 s = sen( N + ) ds. (5) s L L s 2 L sen 2L Como f contnua por partes com derivada f tambm contnua por partes, ento para x ( L, L) tal que f ( x ) contnua temos que a funo s f ( x + s) f ( x ) 2 g(s) = s s sen 2L contnua por partes. Pois, pelo Teorema do valor mdio, se f contnua em x, ento g contnua em s = 0. Se f no contnua em x, ento os limites laterais de f ( ) quando tende a zero existem. Assim segue do lema que apresentaremos a seguir que 1 S N ( x) f ( x) = L
L N L

s sen( N + 1 2) L = 1. s 2 sen 2L

(4)

lim (S N ( x ) f ( x )) = lim

1 L

1 s g(s) sen ( N + ) ds = 0. 2 L L

Lema 2 (Riemann-Lebesgue). Seja g : R R uma funo contnua por partes, ento

a

lim

g(s) sen s ds = 0

Demonstrao. Seja I () =
a

g(s) sen s ds

(6)

Vamos supor inicialmente que g seja contnua. Fazendo-se a mudana de variveis s = t + obtemos b I () = g ( t + ) sen t dt (7) a Seja M =
s [ a ,b ] b a a a

max g(s). Somando-se (6) e (7) e calculando-se o mdulo obtemos que g(s) sen s ds | g(s + )| ds +
b a b a

|2 I ( ) | =

g(s +

) sen s ds = )| ds +
b a b b

| g(s) g(s +

| g(s +

)| ds )| ds < 2 ,

2 M + para >
2 M

| g(s) g(s +

)| < , para todo s [ a, b]. O caso geral ba segue da aplicao do argumento acima para cada parte de g que contnua. tal que | g(s) g(s +

Referncias
[1] Djairo Guedes de Figueiredo. Anlise de Fourier e Equaes Diferenciais Parciais. IMPA, Rio de Janeiro, 1977. [2] Donald Kreider, Donald R. Ostberg, Robert C. Kuller, and Fred W. Perkins. Introduo Anlise Linear. Ao Livro Tcnico S.A., Rio de Janeiro, 1972. [3] Erwin Kreiszig. Matemtica Superior. Livros Tcnicos e Cientcos Editora S.A., Rio de Janeiro, 2a. edition, 1985. 4