Escolar Documentos
Profissional Documentos
Cultura Documentos
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
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 =
=
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
Substituindo-se s por
(t x ) obtemos L (2)
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
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
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