Sunteți pe pagina 1din 76

Cap tulo 32 Aproximao de Funes.

Aproximaes ca co co Polinomiais e Sries de Fourier e


Contedo u
32.1 Noes de Convergncia para Seqncias de Funoes . . . . . . . . . . . . . . . . . . . . . 1552 co e ue c 32.1.1 Importncia da Convergncia Uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1553 a e 32.1.1.1 Troca de Ordem entre Limites e Integrais . . . . . . . . . . . . . . . . . . . . . . . . . . 1554 32.1.1.2 Troca de Ordem entre Limites e Derivadas . . . . . . . . . . . . . . . . . . . . . . . . . 1555 32.1.1.3 Troca de Ordem entre Derivadas e Integrais . . . . . . . . . . . . . . . . . . . . . . . . . 1556 32.2 Seqncias Delta de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1558 ue 32.3 Aproximao de Funes por Polinmios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1564 ca co o 32.3.1 O Teorema de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1564 32.3.2 O Teorema de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1571 32.4 Aproximao de Funes por Polinmios Trigonomtricos . . . . . . . . . . . . . . . . . . 1578 ca co o e 32.4.1 Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1578 32.4.2 A Srie de Fourier de Funes Peridicas de Per e co o odo T . . . . . . . . . . . . . . . . . . . . . . 1581 32.4.3 Polinmios Trigonomtricos e Funes Cont o e co nuas e Peridicas . . . . . . . . . . . . . . . . . . 1582 o 32.4.4 Convergncia de Sries de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1587 e e 32.4.4.1 Sries de Fourier em Senos ou Co-Senos para Funes Denidas em Intervalos Compactos1593 e co 32.4.5 Revisitando a Aproximao Uniforme de Funes Cont ca co nuas e Peridicas por Polinmios Trio o gonomtricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1597 e 32.4.6 Sries de Fourier e o Espao de Hilbert L2 ([, ], dx) . . . . . . . . . . . . . . . . . . . . . . 1600 e c 32.5 O Teorema de Stone-Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1602 32.6 Completeza de Algumas Fam lias de Funes . . . . . . . . . . . . . . . . . . . . . . . . . . 1606 co 32.6.1 Completeza de Polinmios Ortogonais em Intervalos Compactos . . . . . . . . . . . . . . . . . 1606 o 32.6.2 Completeza de Polinmios de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1608 o 32.6.3 Completeza dos Polinmios Trigonomtricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1610 o e 32.7 Exerc cios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1613 APENDICES . . . . . . . . . . . . . . . . . . . . . . . . 1621 32.A Prova do Teorema de Weierstrass Usando Polinmios de Bernstein . . . . . . . . . . . . 1621 o 32.B A Demonstrao de Weierstrass do Teorema de Weierstrass . . . . . . . . . . . . . . . . . 1625 ca

a F sica e tambm em diversas reas da Matemtica Aplicada, estamos muitas vezes interessados em resolver e a a problemas cuja soluo no pode ser obtida exatamente. No caso de equaes diferenciais, por exemplo, so ca a co a muito raras as situaes nas quais uma soluo pode ser expressa em termos de funes elementares, tais como co ca co polinmios, exponenciais, logaritmos, senos, co-senos ou combinaes nitas das mesmas. Na grande maioria o co dos casos apresentam-se mtodos de soluo em termos de aproximaes que, sob hipteses adequadas, podem estar to e ca co o a prximas quanto se queira da soluo correta. E, portanto, uma questo importante desenvolver mtodos de aproximar o ca a e funes com certas propriedades e disso, basicamente, que trataremos neste cap co e tulo. No pretendemos aqui esgotar a o assunto, o que ademais seria imposs vel, dada a sua extenso, mas tratar de dois tipos fundamentais de aproximaoes a c de funes: as aproximaes por polinmios e as aproximaes por polinmios trigonomtricos. Este ultimo tpico o co co o co o e o e dom nio das chamadas sries de Fourier e suporemos que o leitor j possua alguma familiaridade com seus aspectos mais e a elementares e suas aplicaes. Como veremos, aproximaes por polinmios e por polinmios trigonomtricos so dois co co o o e a assuntos relacionados. Ambos os mtodos de aproximao esto tambm na raiz de muitos outros desenvolvimentos, e ca a e como na teoria dos espaos de Hilbert, e mesmo em temas mais abstratos, como na Algebra de Operadores. Sua utilizaao c c prtica enorme e ambos os assuntos tm dominado boa parte das aplicaes da Matemtica a problemas de F a e e co a sica e de Engenharia desde o sculo XVIII. e 1551

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1552/1992

32.1

Noes de Convergncia para Seqncias de Funes co e ue co

Em benef cio do estudante, vamos recordar brevemente na corrente seo algumas das noes e resultados bsicos ca co a sobre convergncia de seqncias de funes denidas em R (ou em sub-conjuntos de R), noes e resultados esses e ue co co que utilizaremos no que segue. Presumimos que o estudante j tenha sido exposto a esses temas e um tratamento mais a detalhado que o nosso pode ser encontrado em quaisquer bons livros de Clculo ou Anlise real. Algumas das nooes a a c aqui tratadas so tambm desenvolvidas com muito mais detalhe no Cap a e tulo 23, pgina 1147, mas a leitura prvia desse a e cap tulo, ainda que util, dispensvel para o que segue. e a Seja D um subconjunto de R. As seguintes noes de convergncia so de fundamental importncia: co e a a a. Convergncia pontual. Diz-se que uma seqncia de funes fn : D C, denidas em D, converge pontualmente a e ue co uma funo f : D C se para cada x D valer lim fn (x) = f (x). ca
n

b. Convergncia uniforme. Diz-se que uma seqncia de funes fn : D C converge uniformemente a uma funao e ue co c f : D C se lim
n xD

sup |fn (x) f (x)|

= 0.

Se uma seqncia fn converge pontualmente a uma funo f , ento f dita ser o limite pontual da seqncia fn . Se ue ca a e ue uma seqncia fn converge uniformemente a uma funo f , ento f dita ser o limite uniforme da seqncia fn . ue ca a e ue Alm da convergncia uniforme e pontual, h diversas outras noes de convergncia para seqncias de funoes, das e e a co e ue c quais destacamos as duas seguintes. Sejam a e b R com < a < b < .
b

c. Convergncia no sentido de L1 [a, b], dx . Seja fn : [a, b] C uma seqncia de funes tais que e ue co
b

|fn (x)|dx <

para todo n N. Seja tambm f : [a, b] C com e


b

|f (x)|dx < . Dizemos que a seqncia fn converge a f ue

no sentido de L1 [a, b], dx se lim

|fn (x) f (x)|dx = 0.


b

d. Convergncia no sentido de L2 [a, b], dx . Seja fn : [a, b] C uma seqncia de funes tais que e ue co
b

|fn (x)|2 dx <

para todo n N. Seja tambm f : [a, b] C com e


b

|f (x)|2 dx < . Dizemos que a seqncia fn converge a ue

f no sentido de L2 [a, b], dx se lim

|fn (x) f (x)|2 dx = 0.

Denies anlogas existem para o caso de seqncias denidas, no em um intervalo nito [a, b], mas em intervalos co a ue a no-nitos, como a reta real R ou a semi-reta R+ . a Antes de falarmos sobre a importncia da convergncia uniforme, apresentemos um critrio importante para que se a e e tenha convergncia uniforme de sries de funes. e e co O teste M de Weierstrass Em muitas situaes lidamos com sries de funes, ou seja, com seqncias da forma sn (x) = co e co ue
k=0

fk (x), n N,

onde fk so funes reais denidas em um certo dom a co nio comum D R. E muito importante nesses casos ter em mos a critrios que permitam saber se a seqncia sn converge uniformemente em D a alguma funo. De particular utilidade e ue ca nesse contexto um pequeno resultado devido a Weierstrass1, conhecido como teste M de Weierstrass, o qual fornece e condies sucientes para a convergncia uniforme de uma srie: co e e Proposio 32.1 (Teste M de Weierstrass) Seja D R, D no-vazio, e seja fn : D C uma seqncia de funes ca a ue co denidas em D e tais que para cada k exista uma constante Mk 0 tal que |fk (x)| Mk para todo x D. Ento, se a a
1 Karl

Theodor Wilhelm Weierstrass (18151897).

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1553/1992

srie e

k=0

Mk for convergente, a seqencia de funoes sn (x) := u c


k=0

fk (x) converge uniformemente em D.

Prova. Como a srie e

k=0

Mk convergente, a seqncia de somas parciais Mn := e ue


k=0 n

Mk uma seqncia de Cauchy e, e ue


n

portanto, para cada > 0 existe N () N tal que |Mn Mm | sempre que n e m forem maiores que N (). Como os Mk s so positivos, para m < n tem-se |Mn Mm | = Mn Mm = a e m forem maiores que N (). Provemos primeiramente que a seqncia sn converge pontualmente. Fixemos x D e consideremos, para m < n, ue
n n n

Mk . Assim, vale
k=m+1 k=m+1

Mk sempre que n

a diferena sn (x) sm (x) = c

k=m+1

fk (x). Naturalmente, vale |sn (x) sm (x)|

k=m+1

|fk (x)|

k=m+1

Mk sempre

que n e m forem maiores que N (). Isso provou que a seqncia sn (x) uma seqncia de Cauchy de nmeros reais e, ue e ue u portanto, converge a um nmero que denotamos por s(x). Como isso se d para cada x D, conclu u a mos que existe uma funo s : D C ` qual a seqncia sn converge pontualmente. ca a ue

Provemos agora que a seqncia sn converge uniformemente a essa funo s. Para cada x D vale, como vimos, ue ca |sn (x)sm (x)| sempre que n e m forem maiores que N (). Logo, tomando nessa desigualdade o limite n , teremos |s(x) sm (x)| sempre que m > N (). Como isso vale para qualquer x D, conclu mos que supxD |s(x) sm (x)| sempre que m > N () e isso estabelece que a seqncia sn converge uniformemente a s em D. ue O leitor pode facilmente perceber que a Proposio 32.1 e sua demonstrao se deixam generalizar sem problemas para ca ca sries de funes complexas denidas em dom e co nios complexos D C. Em verdade, a Proposio 32.1 e sua demonstraao ca c se deixam facilmente generalizar ainda mais para sries de funes denidas em D C assumindo valores em um espao e co c de Banach.

32.1.1

Importncia da Convergncia Uniforme a e

Vamos discutir brevemente algumas das razes da importncia da noo de convergncia uniforme. Como conseqncia o a ca e ue dessa discusso, obteremos uma srie de resultados muito uteis que garantem condies sucientes para que se possa a e co trocar a ordem de operaes envolvendo a tomada de limites, o clculo de derivadas e o clculo de integrais denidas, co a a trocas essas empregadas amide em manipulaes em F u co sica e Matemtica. a Convergncia uniforme e outras convergncias e e

E evidente que em qualquer D a convergncia uniforme de uma seqncia fn a uma funo f implica a convergncia e ue ca e pontual dessa seqncia ` mesma funo. No caso de intervalos [a, b] nitos, a convergncia uniforme implica tambm ue a ca e e a convergncia no sentido de L1 [a, b], dx , pois vale, evidentemente, e
b a

|fn (x) f (x)| dx

x[a, b]

sup |fn (x) f (x)| b a

(32.1)

e analogamente para a convergncia no sentido de L2 [a, b], dx . A rec e proca dessas duas armaes, porm, no co e a e necessariamente verdadeira. Por exemplo, a seqncia de funes denidas no intervalo [1, 1] por ue co 1 1 0 |x| n , fn (x) := 0 , 1 < |x| 1 , n para n 1, converge ` funo nula no sentido de L1 [a, b], dx e no sentido de L2 [a, b], dx (justique!), mas no a ca a converge uniformemente a essa funo (justique!). ca

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1554/1992

Limites uniformes de funes cont co nuas em intervalos compactos

Um importante resultado que mencionamos uma propriedade de grande relevncia de limites uniformes de funoes e a c cont nuas:

Proposio 32.2 Seja D R, no-vazio, e seja fn : D C uma seqncia de funes contnuas que converge ca a ue co uniformemente a uma funo f : D C. Ento, f tambm contnua. ca a e e Prova. Para x, y D quaisquer e n N qualquer, podemos escrever f (x) f (y) = f (x) fn (x) + fn (x) fn (y) + fn (y) f (y) , do que se extrai f (x) f (y) f (x) fn (x) + fn (x) fn (y) + fn (y) f (y) . Como a seqncia fn ue converge uniformemente a f , existe para cada > 0 um N (/3) N tal que f (x) fn (x) < /3 e f (y) fn (y) < /3 desde que escolhamos n com n > N (/3). Tomemos um tal n. Como a funo fn cont ca e nua, existe (/3) tal que fn (x) fn (y) < /3 desde que |x y| < (/3). Assim, para cada > 0 existe (/3) tal que f (x) f (y) < desde que |x y| < (/3), provando a continuidade de f . Resultados ainda mais fortes so demonstrados na Proposio 23.6, pgina 1156. a ca a

32.1.1.1

Troca de Ordem entre Limites e Integrais

No caso de intervalos nitos [a, b], a noo de convergncia uniforme importante por fornecer condies sucientes para ca e e co garantir a inverso de ordem de limites e integrais. Mais especicamente, tem-se a seguinte armao: a ca Proposio 32.3 Seja uma seqncia fn : [a, b] C de funes contnuas denidas em um intervalo compacto [a, b] ca ue co R que converge uniformemente nesse intervalo a uma funo f : [a, b] C (a qual, pela Proposio 32.2, tambm ca ca e e contnua), ento vale a
a a a n

lim

fn (x) dx =
b b

lim fn (x) dx =
b

f (x) dx

(32.2)

ou seja, possvel inverter o limite pela integral denida. e

Prova. A demonstrao segue facilmente da observao que ca ca


b a b (32.1)

fn (x) f (x) dx
b b

|fn (x) f (x)| dx

x[a, b]

sup |fn (x) f (x)| = 0.

ba

que implica que lim

fn (x)dx

f (x)dx = 0 se lim
a

x[a, b]

sup |fn (x) f (x)|

Fazemos notar que a condio de convergncia uniforme da seqncia fn suciente, mas no necessria para validar ca e ue e a a a inverso de limites em intervalos compactos descrita em (32.2). Citamos o importante exemplo de sries de Fourier a e de funes peridicas, cont co o nuas e diferenciveis por partes. De acordo com o Teorema 32.13, pgina 1592, as condioes a a c do Teorema de Fourier (Teorema 32.12, pgina 1591) so sucientes para que a inverso de (32.2) seja vlida para uma a a a a srie de Fourier, mesmo que no impliquem em convergncia uniforme dessa srie. e a e e A troca de limites por integrais denidas uma operao freqentemente realizada em manipulaoes matemticas e ca u c a e, no raro, conduz ` soluo de diversos problemas em F a a ca sica. E, portanto, util conhecermos condioes sob as quais c tal inverso seja permitida. Alguns dos teoremas mais fortes nessa direo (com a integrao entendida no sentido de a ca ca Lebesgue) so o Teorema da Convergncia Montona e o Teorema da Convergncia Dominada, que apresentamos e a e o e demonstramos na Seo 29.3.4, pgina 1352. ca a Contra-exemplos a se ter em mente

Caso a seqncia de funes no seja uniformemente convergente, ento no sempre poss garantir a validade da ue co a a a e vel inverso entre a integral denida e a tomada do limite e essa inverso pode, em alguns casos, ser falsa. Um exemplo bem a a

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1555/1992

conhecido o da seqncia de funes cont e ue co nuas 2 n x, 1 0x n , 1 2 2 fn (x) := n x + 2n , n x n , 0, 2 n x 1 ,


a a

(32.3)

a com n 2, funes essas denidas no intervalo [0, 1]. Vide Figura 32.1, pgina 1555. E fcil constatar que para cada co a x [0, 1] vale lim fn (x) = 0, sendo que esse limite no uniforme, j que fn (1/n) = n para cada n. Ocorre, porm, a e a e
1 n

que
0

fn (x) dx = 1 para todo n. Logo, lim

fn (x) dx =
b b

lim fn (x) dx, pois o lado esquerdo vale 1 e o lado

direito vale 0.

1/n

2/n

Figura 32.1: Grco de uma funo fn denida em (32.3). Observe que a rea do tringulo vale 1 para todo n. a ca a a

A hiptese feita na Proposio 32.3 de a seqncia fn converge uniformemente em um intervalo compacto tambm o ca ue e no gratuita, como mostra o seguinte (contra-)exemplo: Seja fn : R R a seqncia de funes denidas por a e ue co 1 2n , n x n , fn (x) := (32.4) 0, de outra forma , a ca com n 1. Ento, fn converge uniformemente em toda R ` funo identicamente nula (justique!), mas a
n

fn (x) dx = 1

para todo n, mostrando que 1 = lim

fn (x) dx

lim fn (x) dx = 0.

32.1.1.2

Troca de Ordem entre Limites e Derivadas

A Proposio 32.3 tem uma outra conseqncia util referente ` possibilidade de inverso de limites por derivadas. ca ue a a
Proposio 32.4 Seja fn : R C, n N, uma seqncia de funes contnuas e diferenciveis com derivadas fn ca ue co a tambm contnuas. Suponhamos que a seqncia fn convirja pontualmente a uma funo f : R C e que a seqncia e ue ca ue

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1556/1992

de derivadas fn convirja uniformemente em cada intervalo compacto [a, b] R a uma funo g : R C. Ento, g ca a e contnua e f diferencivel, com f = g. e a dfn d (x) = lim fn (x) . Assim, em outras palavras, vale, sob as hipteses de acima, lim o n dx dx n

Prova. A seqncia de funes cont ue co nuas fn converge uniformemente a g em cada intervalo compacto [a, b] R e, assim, pela Proposio 32.2, g cont ca e nua em todos esses intervalos e, portanto, cont e nua em todo R. Tomemos um intervalo compacto [a, x] R. Como a seqncia de funes cont ue co nuas fn converge uniformemente x x nesse intervalo ` funo g, vale pela Proposio 32.3 que limn a fn (y)dy = a g(y)dy. A integral do lado esquerdo a ca ca e fn (x)fn (0). Como a seqncia fn converge pontualmente ` funo f , teremos que limn fn (x)fn (0) = f (x)f (0). ue a ca x Assim, estabelecemos que a g(y)dy = f (x) f (0). O lado esquerdo diferencivel em x, a derivada sendo a funao e a c cont nua g(x) (pelo Teorema Fundamental do Clculo). Logo, o lado direito tambm diferencivel em x e sua derivada a e e a f (x). Como isso vale para cada x R, estabelecemos que f = g. e

32.1.1.3

Troca de Ordem entre Derivadas e Integrais

Tanto na F sica quanto na Matemtica em geral, muito comum encontrarmos situaes nas quais temos uma funao a e co c (x, t) sendo integrada na varivel x em um certo dom a nio, digamos de e +, resultando em uma funao apenas c da varivel t, e desejarmos calcular a derivada dessa funo resultante da integral em relao ` varivel t, usando para a ca ca a a d tal a expresso a (x, t)dx = (x, t)dx, na qual, em um sentido formal, a derivao na varivel t trocada ca a e dt t de ordem com a integrao em x. Tal troca de ordem por vezes de grande utilidade em manipulaes, por exemplo, ca e co na teoria das equaes diferenciais ordinrias e parciais. Na proposio que segue apresentaremos condioes sucientes co a ca c para garantir que tal troca seja vlida. a Proposio 32.5 Seja : R R C contnua e suponhamos que a derivada parcial ca (x, t) R R e seja igualmente continua. Parte I. Para todo intervalo compacto [a, b] R a funo de t denida por ca d dt
b b b a t (x,

t) exista para todos

(x, t)dx diferencivel e vale e a (32.5)

(x, t) dx =
a a

(x, t) dx . t

Parte II. Vamos adicionalmente supor que valham as seguintes hipteses: o a. b.


|(x, t)|dx existe para todo t R; (x, t) dx existe para todo t R; t

c. a seqncia de funes Fn (t) := ue co

(x, t) dx converge quando n ` funo identicamente nula, unia ca |x|>n t formemente para t em qualquer intervalo compacto [a, b] R.

Ento, a funo de t denida por a ca

(x, t)dx diferencivel e vale e a d dt


(x, t) dx =

(x, t) dx . t

(32.6)

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1557/1992

Prova da Parte I. Para evitar confuses na notao, vamos no que segue denotar a derivada parcial o ca parcial t por 2 . Como 2 (x, t) cont e nua, podemos escrever
t 0 a t t b b t

por 1 e a derivada

2 (x, ) dx

d =
a 0

2 (x, ) d

dx ,

trocando a ordem das integrais. Agora, 0 2 (x, ) d = 0 (x, ) d = (x, t) (x, 0) e o lado direito claramente t b b vale a (x, t)dx a (x, 0)dx. Com isso, estabelecemos que
b t

(x, t) dx =
a 0

( ) d + C ,
b

(32.7)

onde ( ) :=
a

2 (x, ) dx

C :=
a

(x, 0) dx .

Note-se que C constante, ou seja, independente de t. e importante agora provarmos que : R C cont E e nua. Vamos provisoriamente restringir ao intervalo compacto [T, T ] para algum T > 0. Por hiptese, a funo 2 (x, ) cont o ca e nua e, portanto, uniformemente cont nua no dom nio compacto [a, b] [T, T ] R2 . Logo, para todo > 0 existe (x) tal que |2 (x, ) 2 (x , )| < sempre que |x x | < () e | | < (). Em particular, vale que |2 (x, ) 2 (x, )| < sempre que | | < (). Logo, se | | < (), valer a
b b b

( ) ( )

2 (x, ) dx

2 (x, ) dx

|2 (x, ) dx 2 (x, )| dx < (b a) ,

o que prova que : [T, T ] C cont e nua. Como T > 0 arbitrrio, conclu e a mos que : R C cont e nua, como t desejvamos. A continuidade de permite armar que 0 ( ) d diferencivel como funo de t e de (32.7) conclu a e a ca mos b que a (x, t) dx tambm diferencivel como funo de t e vale e e a ca d dt
b b

(x, t) dx = (t) =
a a

(x, t) dx , t

como quer amos estabelecer. Isso termina a prova da Parte I. Prova da Parte II. A hiptese a garante a existncia da funo f : R C denida por f (t) := o e ca
n

(x, t) dx. Para

n N, dena-se tambm a seqncia de funes fn (t) := e ue co

(x, t) dx. Se provarmos que fn converge pontualmente a


n

f e que fn diferencivel e a seqncia de derivadas fn converge uniformemente a e a ue n

(x, t) dx para t em compactos t [a, b] (sendo que essa integral existe pela hiptese hiptese b), ento poderemos evocar a Proposio 32.4, pgina 1555 o o a ca a e obter que lim
n

(x, t) dx diferencivel como funo de t e que vale e a ca


n

d dt ou seja,

n n

lim

(x, t) dx
n

(x, t) dx , t

d dt como desejamos.

(x, t) dx =

(x, t) dx , t
|x|>n (x, t)dx forma |(x,

Pela hiptese a, tem-se para cada t que limn |x|>n |(x, t)| dx = 0 (doutra o t)| dx no existiria), a provando que para cada t vale limn |fn (t) f (t)|, o que diz que fn converge a f pontualmente.

Provemos ento que fn converge pontualmente a f . Tem-se |fn (t) f (t)| = a

|x|>n |(x,

t)| dx.

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1558/1992

Por m, provemos que fn diferencivel e a seqncia de derivadas fn converge uniformemente a (x, t) dx e a ue t para t em compactos [a, b]. Que cada fn diferencivel garantido pela Parte I, que garante tambm que fn (t) = e a e e n (x, t)dx. Assim, n t fn (t)

(x, t) dx = t

|x|>n

(x, t) dx t

|x|>n

(x, t) dx . t

Agora, pela hiptese c, o


fn (t) t (x,

|x|>n

t (x,

t) dx converge a zero uniformemente em compactos quanto n . Logo,

t) dx converge a zero uniformemente em compactos quanto n , completando a prova.

32.2

Seqncias Delta de Dirac ue

Uma noo importante para o estudo de certas aproximaes de funes a noo de seqncia delta de Dirac pois, como ca co co e ca ue ser ilustrado em diversos exemplos no que segue, muitos aproximantes de funes so produzidos por tais seqncias ou a co a ue por seqncias anlogas. Seqncias delta de Dirac so muito usadas em F ue a ue a sica, assim como na Teorias das Distribuioes c (vide Cap tulo 33, pgina 1627) e no estudo de equaes diferenciais. a co Dirac2 introduziu essas seqncias no contexto da Mecnica Quntica, mas a idia subjacente j podia ser encontrada ue a a e a na demonstrao original de Weierstrass, datada de 1885, do teorema que leva seu nome sobre aproximaao polinomial ca c de funes cont co nuas em intervalos compactos (Teorema 32.3, pgina 1564), assim como no trabalho de Fejr3 de 1900 a e sobre o problema de convergncia uniforme de polinmios trigonomtricos associados a funes cont e o e co nuas e peridicas o (vide Teorema 32.9, pgina 1585). Essas idias originam-se provavelmente do trabalho de Dirichlet4 de 1828, tambm a e e sobre o problema de convergncia das sries de Fourier (vide Proposio 32.9, pgina 1588). e e ca a Seqncias delta de Dirac. Denio formal e propriedades ue ca

A noo de seqncia delta de Dirac, que introduziremos agora, de importncia central na discusso de mtodos de ca ue e a a e aproximao de funes. Isso ser explicitado quando apresentarmos e demonstrarmos o Teorema 32.1 ` pgina 1560. A ca co a a a noo de seqncia delta de Dirac tambm intimamente ligada ` noo de medida delta de Dirac (vide pgina 1259) e ca ue e e a ca a a c ` noao de distribuio delta de Dirac (vide pgina 1667). ca a Denio 32.1 (Seqncias delta de Dirac) Uma seqncia de funes Kn : R R, n N, dita ser uma ca ue ue co e seqncia delta de Dirac em R centrada em 0 se satiszer ue 1. Para cada n N, a funo Kn integrvel, ou seja, ca e a

|Kn (x)| dx < .

2. Existe uma constante K > 0 tal que para todo n N vale


|Kn (x)| dx K .

(32.8)

3. Para todo n N, vale

Kn (x) dx = 1 .

(32.9)

4. Para todo > 0 vale


n
2 Paul

lim

|Kn (x)| dx +

|Kn (x)| dx

= 0.

(32.10)

Adrien Maurice Dirac (19021984). Fejr (18801959). e 4 Johann Peter Gustav Lejeune Dirichlet (18051859).
3 Lipt o

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1559/1992

Uma seqncia de funes R R dita ser uma seqncia delta de Dirac em R centrada em x0 R se for da forma ue co e ue Tx0 Kn , onde Kn uma seqncia delta de Dirac em R centrada em 0. Aqui, Tx0 o operador de translaao por x0 , o e ue e c qual associa a cada funo f : R R ` funo Tx0 f denida por ca a ca Tx0 f (x) := f (x x0 ) para todo x R. As funes Kn de uma seqncia delta de Dirac so tambm denominadas ncleos de Dirac. co ue a e u
n

(32.11)

verdadeiro, pois podemos ter lim Kn (0) = 0 e mesmo lim Kn (0) = ! Essas diversas situaes so ilustradas nos e co a n n exemplos que seguem. Exemplos de seqncias delta de Dirac ue

As condies 3 e 4 exigem que as funes Kn tornem-se mais e mais concentradas em torno do ponto 0 a medida em co co ` que n cresce, eventualmente com lim Kn (0) = . O estudante deve atentar, porm, que esse ultimo limite nem sempre e

Vamos a alguns exemplos elementares ilustrativos de seqncias delta de Dirac segundo a denio 32.1. ue ca

1. A seqncia delta de Dirac Gaussiana. Este talvez o exemplo mais importante e mais encontrado na prtica. ue e a Seja a fam de funes Gaussianas dadas por (vide (33.110)) lia co
2 2 n gn (x) := en x

(32.12)

para n N. E bem sabido que gn (x) dx = 1 (integral de Laplace). Como gn positiva e simtrica (i.e. e e gn (x) = gn (x) para todo x) resta provar, para mostrar que gn forma uma seqncia delta de Dirac segundo a ue

denio 32.1, que para todo > 0 vale lim ca n


gn (x) dx = 0. De fato, para todo 0 n en


2

en

x2

dx

y=x

0 2

en

(y+)2

dy
2 2

n n 1

0 0 0

en

y 2n2 y

dy

s=ny

en

en

2 2

dy en 2
2 2

en

es ds =

(32.13)

e, portanto, para todo > 0 vale n


en

x2

dx

en 2

2 2

0 .

(32.14)

E interessante notar que para x = 0 tem-se lim gn (x) = 0 mas para x = 0 o limite no existe (diverge), pois a gn (0) =
n . n

Esse exemplo ser generalizado mais abaixo. a 2. Uma seqncia tipo degrau. Um exemplo mais elementar dado pela seqncia ue e ue n , se x 1 , 1 , 2n 2n 1 Kn (x) = 0 , de outra forma,
n

(32.15)

com n N. Todas as propriedades da denio 32.1 so evidentes nesse caso. E interessante notar que para x = 0 ca a tem-se lim 1 Kn (x) = 0 mas para x = 0 o limite no existe (diverge), pois 1 Kn (0) = n. a

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1560/1992

3. Outra seqncia tipo degrau. Esse exemplo difere ligeiramente do anterior. Seja a seqncia ue ue n , se x 0, 1 , n 2 Kn (x) = 0 , de outra forma,
n

com n N. Todas as propriedades da denio 32.1 so evidentes nesse caso. E interessante notar que, em ca a contraste com os exemplos anteriores, vale para todo x R que lim 2 Kn (x) = 0.

4. Mais uma outra seqncia tipo degrau. Esse exemplo difere ligeiramente do anterior. Seja a seqncia ue ue n , se x 1 , 1 + 1 , n2 n n2 3 Kn (x) = 0 , de outra forma,
n

com n N. Todas as propriedades da denio 32.1 so evidentes nesse caso. E interessante notar que, em ca a contraste com os exemplos anteriores, o ponto x = 0 no faz parte do suporte de 3 Kn . Tambm vale aqui que a e lim 3 Kn (x) = 0 para todo x R.

5. Seqncias obtidas por re-escalonamento de funes de suporte compacto. Seja : R R uma funao integrvel, ue co c a cujo suporte seja compacto e tal que (s)ds = 0. Seja, para cada n N,
4 Kn (x)

:=

n (nx)

(s)ds

a E fcil provar que 4 Kn satisfaz as propriedades da denio 32.1 (faa!). A propriedade (32.8), por exemplo, ca c e satisfeita com K = |(s)|ds e ca (s)ds , a propriedade (32.9) evidente pela denio e a propriedade (32.10) segue do fato de o suporte de 4 Kn ser compacto, sendo igual ao suporte de re-escalonado por um fator 1/n (por exemplo, se supp = [a, b] ento supp 4 Kn = [a/n, b/n]). Note que 4 Kn (0) = n(0) (s)ds . a Portanto, 4 Kn (0) pode ser positivo e ou negativo (ou at mesmo nulo!). Note que o suporte de no precisa e a necessariamente conter o ponto x = 0!. Esse exemplo generaliza o das seqncias 1 Kn e 2 Kn , acima. ue 6. Seqncias obtidas por re-escalonamento de funes de Schwartz. Seja f : R R com f S (R) (para a deniao ue co c das funes de Schwartz, vide Seo 33.1, pgina 1628) e tal que f (s)ds = 0. Seja, para cada n N, co ca a
5 Kn (x)

:=

n f (nx)

f (s)ds

a E fcil provar que 5 Kn satisfaz as propriedades da denio 32.1 (Exerc ca cio!). Note que 5 Kn (0) = nf (0) f (s)ds . Portanto, como no caso da seqncia 4 Kn , o valor de 5 Kn (0) pode ser positivo e ou negativo ou at mesmo nulo. ue e 2 O caso da seqncia Gaussiana gn , acima, o caso particular onde f (x) = ex S (R). ue e

Aproximando funes atravs de seqncias delta de Dirac co e ue

O fato importante sobre as seqncias delta de Dirac o seguinte teorema: ue e

Teorema 32.1 Seja f : R C uma funo satisfazendo as seguintes condies: ca co 1. f uniformemente contnua5 em todo R, ou seja, para cada > 0 existe () > 0 tal que |f (z) f (z )| sempre e que |z z | ().
5A

noo de continuidade uniforme de funes em espaos mtricos tratada com mais detalhe na pgina 1418 e seguintes. ca co c e e a

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1561/1992

2. f limitada em todo R, ou seja, sup{|f (x)|, x R} < . e Seja Kn uma seqncia delta de Dirac centrada em 0 em R. Dena-se, para cada n N, ue Fn (x) :=

Kn (y)f (x y) dy =

Kn (x y)f (y) dy .

Ento, a seqncia Fn uma seqncia de funes uniformemente contnuas e converge uniformemente a f em R: a ue e ue co lim f Fn

= lim

xR

sup |f (x) Fn (x)|

= 0.

Antes de provarmos o teorema, faamos alguns comentrios. A condio de continuidade uniforme implica, evidentec a ca nua que f satisfaa e c mente, a continuidade da funo f . Uma condio suciente para que f seja uniformemente cont ca ca a condio de Hlder6 : existem constantes C1 > 0 e > 0 tais que para todos x e y R vale ca o |f (x) f (y)| C1 |x y| . (32.16)
1

Dela estabelece-se facilmente a continuidade uniforme tomando () = (C1 )1 . E util mencionar que se f for dife rencivel em todo R e f for limitada, ou seja, sup{|f (x)|, x R} < , ento f satisfaz a condio de Hlder (32.16) a a ca o com = 1 (nesse caso, f dita ser Lipschitz7 -cont e nua). De fato, nesse caso, para x y, arbitrrios, vale a
x x

|f (x) f (y)|

f (s) ds

|f (s)| ds sup |f (s)|, s R |x x | ,

desigualdade essa tambm vlida se x y. Portanto, vale a condio de Hlder (32.16) com = 1 e C1 = sup{|f (s)|, s e a ca o R}. Com isso vemos que as funes do espao de Schwartz S (R) (vide Seo 33.1, pgina 1628) satisfazem as hipteses co c ca a o do Teorema 32.1. Para certas seqncias delta de Dirac espec ue cas poss enfraquecer algumas restries sobre as funoes f mencie vel co c onadas no Teorema 32.1, eventualmente com perda da uniformidade da convergncia da seqncia Fn a funao f . Por e ue ` c exemplo, para a seqncia de funes Gaussianas de (33.110) (que formam uma seqncias delta de Dirac, como veremos ue co ue mais adiante) a restrio que f seja limitada pode ser substitu pela restrio de que f no cresa mais rpido no ca da ca a c a innito do que algum polinmio. Nesse caso Fn ainda convergir (eventualmente de forma no-uniforme) a f . Deixamos o a a ` a prova dessa armao como exerc ao leitor. ca cio Prova do Teorema 32.1. Observemos primeiramente que, como f limitada, denindo C0 := sup{|f (x)|, x R}, teremos e

Kn (y)f (x y) dy

|Kn (y)| |f (x y)| dy C0

|Kn (y)| dy

(32.8)

C0 K .

Isso mostra que as integrais que denem as funes Fn esto bem denidas. co a Que cada Fn uniformemente cont e nua prova-se da seguinte forma. Usando a continuidade uniforme de f , sabemos que para cada > 0 existe () tal que |f (z) f (z )| < sempre que |z z | < (). Seja, ento > 0 e x, x R a quaisquer tais que |x x | < (). Teremos, |Fn (x) Fn (x )| =

Kn (y) f (x y) f (x y) dy

|Kn (y)| f (x y) f (x y) dy
(32.8)

|Kn (y)| dy

K ,

6 Otto

7 Rudolf

Ludwig Hlder (18591937). o Otto Sigismund Lipschitz (18321903).

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1562/1992

pois |(x y) (x y)| = |x x | < (). Como isso vale para todo > 0 e () independe de x, estabeleceu-se a continuidade uniforme de Fn . Vamos agora escrever, usando (32.9), f (x) Fn (x) =

f (x) f (x y) Kn (y) dy .

Para cada > 0 podemos quebrar a ultima integral em trs intervalos: e


f (x) f (x y) Kn (y) dy +

f (x) f (x y) Kn (y) dy +

f (x) f (x y) Kn (y) dy

(32.17)

e denominaremos essas integrais I, II e III, respectivamente. Comecemos estudando a integral II. Para cada > 0 teremos pela continuidade uniforme |f (x) f (x y)| sempre que |y| () e, portanto, escolhendo = ()

f (x) f (x y) Kn (y) dy

f (x) f (x y) |Kn (y)| dy


(32.8)

|Kn (y)| dy

|Kn (y)| dy

K .

Passemos agora `s integrais I e III. Como f limitada, vale para a integral I, a e


f (x) f (x y) Kn (y) dy

f (x) f (x y) |Kn (y)| dy 2C0

|Kn (y)| dy

e, analogamente, para a integral III,


f (x) f (x y) Kn (y) dy 2C0

|Kn (y)| dy ,

Logo, por (32.10), podemos obter


f (x) f (x y) Kn (y) dy +

f (x) f (x y) Kn (y) dy

escolhendo n grande o suciente, digamos n > N (), independente de x. Dessa forma, juntando as estimativas para as integrais I, II e III conclu mos que |f (x) Fn (x)| (2 + K) para n > N (), independente de x. Logo, f Fn = sup{ f (x) Fn (x) , x R} (2 + K) para n > N (). Como isso vale para > 0 arbitrrio a demonstraao est a c a completa. E. 32.1 Exerccio (fcil). Seja 1 Kn a seqncia delta de Dirac denida em (32.15) e seja f (x) = sen (x). Mostre que a ue Fn (x) :=
1 Kn (x y) sen (y) dy = n cos x

1 2n

cos x +

1 2n

(32.69)

sen (x)

sen
1 2n

1 2n

Usando o fato bem-conhecido que lim0 sen = 1, mostre explicitamente que essa seqncia de funoes Fn converge ue c uniformemente em R ` funo seno quando n . a ca Generalizao para mais dimenses ca o

As idias de acima podem ser facilmente estendidas para mais dimenses. e o

Denio 32.2 (Seqncias delta de Dirac em Rm ) Uma seqncia de funes Kn : Rm R, n N, dita ser ca ue ue co e uma seqncia delta de Dirac em Rm centrada em 0 Rm se satiszer ue

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1563/1992

1. Para cada n N, a funo Kn integrvel, ou seja, ca e a

Rm

|Kn (x)| dm x < .

2. Existe uma constante K > 0 tal que para todo n N vale


Rm

|Kn (x)| dm x K .

(32.18)

3. Para todo n N, vale


Rm

Kn (x) dm x = 1 .

(32.19)

4. Para todo > 0 vale


n

lim

Rm \B

|Kn (x)| dm x = 0 ,

(32.20)

onde B := {x Rm , x < } a bola aberta de raio > 0 centrada em 0 Rm . e Teorema 32.2 Seja f : Rm C uma funo satisfazendo as seguintes condies: ca co 1. f uniformemente contnua em todo Rm , ou seja, para cada > 0 existe () > 0 tal que |f (z) f (z )| sempre e que z z (). 2. f limitada em todo Rm , ou seja, sup{|f (x)|, x Rm } < . e Seja Kn uma seqncia delta de Dirac centrada em 0 em Rm . Dena-se, para cada n N, ue Fn (x) :=
Rm

Kn (y)f (x y) dm y =

Rm

Kn (x y)f (y) dm y .

Ento, a seqncia Fn uma seqncia de funes uniformemente contnuas e converge uniformemente a f em Rm : a ue e ue co


n

lim

f Fn

= lim

xRm

sup |f (x) Fn (x)|

= 0.

Prova do Teorema 32.2. Observemos primeiramente que, como f limitada, denindo C0 := sup{|f (x)|, x Rm }, e teremos
Rm

Kn (y)f (x y) dm y

Rm

|Kn (y)| |f (x y)| dm y C0

Rm

|Kn (y)| dm y

(32.18)

C0 K .

Isso mostra que as integrais que denem as funes Fn esto bem denidas. co a Que cada Fn uniformemente cont e nua prova-se da seguinte forma. Usando a continuidade uniforme de f , sabemos que para cada > 0 existe () tal que |f (z) f (z )| < sempre que z z < (). Seja, ento > 0 e x, x Rm a quaisquer tais que x x < (). Teremos, |Fn (x) Fn (x )| = Kn (y) f (x y) f (x y) dm y |Kn (y)| f (x y) f (x y) dm y |Kn (y)| dm y
(32.18)

Rm

Rm

Rm

K ,

pois (x y) (x y) = x x < (). Como isso vale para todo > 0 e () independe de x, estabeleceu-se a continuidade uniforme de Fn . Vamos agora escrever, usando (32.19), f (x) Fn (x) = f (x) f (x y) Kn (y) dm y .

Rm

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1564/1992

Para cada > 0 podemos quebrar a ultima integral em duas regies: o


Rm \B

f (x) f (x y) Kn (y) dm y +

f (x) f (x y) Kn (y) dm y

(32.21)

e denominaremos essas integrais I, II , respectivamente. Comecemos estudando a integral II. Para cada > 0 teremos pela continuidade uniforme |f (x) f (x y)| sempre que y () e, portanto, escolhendo = ()
B

f (x) f (x y) Kn (y) dm y

f (x) f (x y) |Kn (y)| dm y |Kn (y)| dm y |Kn (y)| dm y


(32.18)

K .

Passemos agora ` integral I. Como f limitada, vale para a integral I, a e f (x) f (x y) Kn (y) dm y f (x) f (x y) |Kn (y)| dm y 2C0 |Kn (y)| dm y .

Rm \B

Rm \B

Rm \B

Logo, por (32.20), podemos obter f (x) f (x y) Kn (y) dm y

Rm \B

escolhendo n grande o suciente, digamos n > N (), independente de x. Dessa forma, juntando as estimativas para as integrais I e II conclu mos que |f (x) Fn (x)| (2 + K) para n > N (), independente de x. Logo, f Fn = sup{ f (x) Fn (x) , x Rm } (2 + K) para n > N (). Como isso vale para > 0 arbitrrio a demonstraao est a c a completa.

32.3
32.3.1

Aproximao de Funes por Polinmios ca co o


O Teorema de Weierstrass

Um dos teoremas fundamentais da Anlise o chamado Teorema de Weierstrass8 que arma que toda funao cont a e c nua denida em um intervalo fechado e limitado [a, b] da reta real pode ser uniformemente aproximada nesse intervalo por polinmios, ou seja, para todo > 0 podemos encontrar um polinmio p tal que |p (x) f (x)| para todo x [a, b]. o o Neste texto, fazemos uso desse importante teorema em diversas ocasies. Para futura referncia enunciamos o teorema o e da seguinte forma: Teorema 32.3 (Teorema de Weierstrass) Seja f uma funo real ou complexa, contnua em um intervalo fechado ca e limitado [a, b] R. Ento, f pode ser aproximada uniformemente por polinmios nesse intervalo, ou seja, para todo a o > 0 existe um polinmio p tal que p f = sup |p (x) f (x)| . o
x[a, b]

H inmeras demonstraes do Teorema 32.3 na literatura. No Apndice 32.A, pgina 1621, apresentamos uma prova a u co e a usando os chamados aproximantes de Bernstein, dados, para uma funo cont ca nua f , denida no intervalo [0, 1], pelos polinmios de grau n o
n

bf (x)

[n]

:=
p=0 n

p n
k

n p x (1 x)np p p n n p np nk

=
k=0 p=0

(1)kp f

xk .

(32.22)

8 Karl Theodor Wilhelm Weierstrass (18151897). O Teorema de Weierstrass data de 1885. A referncia original pode ser encontrada em e [44].

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1565/1992

O estudante pode interessar-se em saber que os aproximantes de Bernstein para funes cont co nuas e os polinmios de o Bernstein (que deniremos no Apndice 32.A, pgina 1621) esto intimamente ligados `s curvas de Bzier9 e as splines e a a a e ` de Bzier, de ampla aplicao atual em Computaao Grca (as fontes que produziram as letras que o caro leitor l neste e ca c a e mesmo momento foram geradas com tais curvas). No Apndice 32.B, pgina 1625, apresentamos outra demonstrao instrutiva do Teorema 32.3 e que segue as idias e a ca e originais de Weierstrass. Tambm muito interessante a demonstrao encontrada em [69], talvez a mais elementar, e e e ca que aparentemente devida a Lebesgue10 . Vide tambm [230]. Na referncia [129] diversas demonstraoes do Teorema e e e c 32.3 podem ser encontradas. Como discutiremos na Proposio 32.8, pgina 1587, o Teorema de Weierstrass equivalente a um outro Teorema ca a e importante, o Teorema de Fejr (Teorema 32.9, pgina 1585), o qual fundamental para a Teoria das Sries de Fourier e a e e e arma que funes cont co nuas e peridicas podem ser aproximadas uniformemente por polinmios trigonomtricos. o o e Muito importante tambm o fato de o Teorema 32.3 poder ser generalizado ainda mais, a saber, de intervalos e e compactos da reta como [a, b] R para subconjuntos compactos da reta (como os conjuntos de Cantor, discutidos na Seo 27.3, pgina 1289). Esse o contedo do Teorema 32.18, pgina 1605 o qual conseqncia do importante ca a e u a e ue Teorema de Stone-Weierstrass, Teorema 32.16, pgina 1602, que tambm generaliza fortemente o Teorema 32.3. A Seao a e c 32.5, pgina 1602, dedicada ao Teorema de Stone-Weierstrass e suas algumas de suas conseqncias. a e ue O Teorema 32.3 tambm vlido para funes cont e e a co nuas de vrias variveis. Vide Teorema 32.5, pgina 1569. a a a No que segue, iremos provar uma forma mais forte do Teorema 32.3, a saber: Teorema 32.4 (Teorema de Weierstrass) Seja f uma funo real ou complexa, contnua em um intervalo fechado ca [a, b] R e tal que suas k primeiras derivadas existam e sejam contnuas nesse intervalo. Ento, f pode ser aproximada a uniformemente por polinmios nesse intervalo e suas k primeiras derivadas podem ser aproximadas uniformemente pelas o derivadas desses polinmios, ou seja, para todo > 0 existe um polinmio p tal que o o p(l) f (l) para todo 0 l k. Como o leitor pode perceber essa generalizao do Teorema 32.3 arma que no apenas poss aproximar uniforca a e vel memente funes cont co nuas em intervalos compactos por polinmios mas, no caso de a funo ser k vezes diferencivel, o ca a e poss encontrar aproximantes polinomiais cujas k primeiras derivadas tambm aproximam uniformemente as respecvel e tivas derivadas da funo a ser aproximada. ca Adiante, apresentaremos uma prova do teorema mais geral, Teorema 32.4. Seguiremos muito proximamente a demonstrao apresentada em [44], demonstrao essa aparentemente devida a Landau11 mas, para a facilidade do estudante, ca ca acrescentaremos alguns detalhes12 . Antes de iniciarmos a prova do Teorema 32.4 precisamos fazer um comentrio sobre um fato que usaremos a respeito a de extenses cont o nuas de funes. co Certas extenses cont o nuas de funes co

x[a, b]

sup |p(l) (x) f (l) (x)|

Seja f uma funo cont ca nua denida em um intervalo fechado limitado [a, b] assumindo valores reais ou complexos e que tenha suas k primeiras derivadas igualmente cont nuas nesse intervalo. Seja um intervalo fechado limitado [, ] que contm [a, b] no seu interior, ou seja, com < < a < b < < . Ento, existe pelo menos uma funao f e a c denida em [, ] com as seguintes propriedades: 1. f coincide com f no intervalo [a, b]. 2. f e suas k primeiras derivadas so cont a nuas em [, ].
Etienne Bzier (19101999). e Lon Lebesgue (18751941). e 11 Edmund Georg Hermann Landau (18771938). 12 Nossa prova tambm ligeiramente mais precisa que a de [44], pois l o parmetro (vide abaixo) tomado na forma 0 < < 1 mas, e e a a e para evitar problemas em certos limites de integrao, o correto tom-lo como faremos adiante. ca e a
9 Pierre 10 Henri

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1566/1992

3. f e suas k primeiras derivadas anulam-se nos extremos e do intervalo [, ]. A funo f , assim, uma extenso de cont ca e a nua de f ao intervalo [, ] cujas k primeiras derivadas so extenses a o cont nuas das respectivas k primeiras derivadas de f ao intervalo [, ]. Alm disso, f e suas k primeiras derivadas e anulam-se nos extremos do intervalo [, ] em que esto denidas. a com tais propriedades. Uma maneira de construir uma tal funo escolh-la de modo que H innitas funes f a co ca e e seja idntica a f no intervalo [a, b], seja innitamente diferencivel nos intervalos [, a) e (b, ] mas de modo que e a limxa f (l) (x) = f (l) (a) no intervalo [, a) e limxb f (l) (x) = f (l) (b) no intervalo (b, ], para todo 0 l k. Exemplo 32.1 Uma poss escolha de uma funo f com as propriedades vel ca f (x) , k f (k) (a) (x a)l F, a (x) , (x) = f l! l=0 k f (k) (b) (x b)l (1 Fb, (x)) , l!
l=0

acima a seguinte: e axb

x<a

b<x

onde, para u < v, a funo Fu, v : [u, v] [0, 1] denida por ca e Fu, v (x) := 1 Nu, v
x u

exp
v

1 1 (y u)2 (y v)2

dy ,

u x v,

Nu, v sendo a constante de normalizao ca Nu, v :=


u

exp

1 1 2 (y u) (y v)2

dy .

Essa funo Fu, v cont ca e nua, estritamente crescente, innitamente diferencivel no intervalo u < x < v e satisfaz a
xu

lim Fu, v (x) = 0,

xv

lim Fu, v (x) = 1,

xu

(l) (l) lim Fu, v (x) = lim Fu, v (x) = 0, xv

l1.

Com isso, fcil ver que f satisfaz as propriedades requeridas: cont e a e nua e k-vezes diferencivel em [, ] e satisfaz a f () = 0 = f () , f (l) () = 0 = f (l) () , l 1 , (32.23) f (l) (a) = f (l) (a) alm de, obviamente, ser uma extenso de f . e a E. 32.2 Exerccio. Verique as armaes feitas acima. co Para o que segue, a forma espec ca de f , como aquela do exemplo acima, no ser relevante, apenas suas propriedades. a a Prova do Teorema de Weierstrass, Teorema 32.4 e f (l) (b) = f (l) (b) , 0lk ,

Daqui por diante, consideraremos sem perda de generalidade que [a, b] (0, 1), ou seja, tomamos 0 < a b < 1, e consideraremos f uma extenso de f a todo o intervalo [0, 1] com as propriedades acima (adotando = 0 e = 1). a Com uma tal funo podemos denir os polinmios ca o pn (x) := 1 2Dn (0)
1 0

f (u) 1 (u x)2

du

(32.24)

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1567/1992

com x [a, b], onde, para [0, 1], denimos Dn () :=

1 v2

dv .

A expresso Dn (0) pode ser calculada explicitamente repetindo-se o procedimento de integrao por partes (vide (14.69), a ca pgina 641) e tem-se a (2n)!! , (32.25) Dn (0) = (2n + 1)!! mas no faremos uso dessa expresso aqui. Uma outra prova de (32.25), por uma mudana de variveis e com uso do a a c a binmio de Newton, pode ser encontrada em (32.75), pgina 1585. o a 1 x2 A seqncia de funes Kn (x) = ue co , denidas no intervalo [1, 1], no forma exatamente uma seqncia a ue 2Dn (0) delta de Dirac como na Denio 32.1, pgina 1558, mas a demonstrao que segue muito prxima ` do Teorema 32.1, ca a ca e o a pgina 1560. a Os pn so claramente polinmios de grau menor ou igual a 2n. Como veremos, esses polinmios aproximam f com a o o as propriedades requeridas. Para mostrar isso, xemos x [a, b] e comecemos observando que pn (x) = com A1 := 1 2Dn (0) 1 2Dn (0)
1 0 n

f (u) 1 (u x)2
x

du

v=ux

1 2Dn (0) A2 :=

1x

f (v + x) 1 v 2

dv = A1 + A2 + A3 ,
n

f (v + x) 1 v 2

dv,

1 2Dn (0)

f (v + x) 1 v 2

dv , (32.26)

A3 :=

1 2Dn (0)

1x

f (v + x) 1 v 2

dv ,

onde satisfaz 0 < < min{a, 1 b} e ser convenientemente xado mais adiante13 . Vamos tratar de estimar cada a e uma das trs expresses Aj acima. Como f cont e o nua no intervalo [0, 1], seu mdulo assume um valor mximo, que o a (x) . Com isso podemos escrever que denotaremos por F , ou seja, em s mbolos, F := sup f
x[0, 1]

|A3 |

1 2Dn (0)

1x

|f (v + x)| 1 v 2

dv

F 2Dn (0)

1x

1 v2

dv
1

F 2Dn (0)

1 v2

dv = F

Dn () , (32.27) 2Dn (0)

onde, na ultima desigualdade, usamos que 1 x 1. De forma totalmente anloga, prova-se que vale tambm a e |A1 | F Dn () . 2Dn (0) (32.28)

O termo A2 pode ser manipulado da seguinte forma. Usando a identidade 1 = escrevemos A2 := f (x) f (x) 1 + =
13 Como

Dn (0) = Dn (0)

1 v 2 dv + Dn () = Dn (0) 1 2Dn (0)


1 v2

dv + 2Dn ()

2Dn (0)
n

f (v + x) 1 v 2

dv

1 Dn () + f (x) f (x) Dn (0) 2Dn (0)

f (v + x) f (x)

1 v2

dv .

0 < < min{a, 1 b} e x [a, b], segue que > x e < 1 x. Assim, os trs intervalos de integraao em (32.26) so crescentes. e c a

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1568/1992

De (32.27), (32.28) e (32.29) extra mos, assim, que para x [a, b], Dn () 1 F Dn () + f (x) + |pn (x) f (x)| Dn (0) Dn (0) 2Dn (0)

f (v + x) f (x)

1 v2

dv .

Como x [a, b], podemos substituir f por f no lado esquerdo. Fora isso, f (x) F e, assim, chegamos a |pn (x) f (x)| 2F Dn () 1 + Dn (0) 2Dn (0)

f (v + x) f (x)

1 v2

dv .

e Observemos neste ponto que uma funo que seja cont ca nua em um intervalo compacto, como f , uniformemente cont nua nesse intervalo (Teorema 30.12, pgina 1419). Assim, para cada > 0 dado podemos encontrar um > 0, a pequeno o suciente e independente de x de forma que f (v + x) f (x) < desde que |v| < . Temos, portanto, |pn (x) f (x)| 2F = 2F Dn () + Dn (0) 2Dn (0) Dn () + Dn (0) Dn (0)
0

1 v2
n

dv

1 v2

dv

= 2F

Dn () + (Dn (0) Dn ()) Dn (0) Dn (0) Dn () + Dn (0)

= (2F ) 2F

Dn () +. Dn (0)

Para fechar a demonstrao dessa parte, precisamos agora mostrar que para qualquer xo com 0 < 1 a razo ca a Dn ()/Dn (0) pode ser feita to pequena quanto se queira, fazendo-se n crescer. Como em [44], notamos que para a v [0, 1] vale v 2 < v. Assim,
1 1

Dn (0) =
0

(1 v 2 )n dv

(1 v)n dv =

1 , n+1

calculando explicitamente a ultima integral. Paralelamente,


1

Dn (0) =

(1 v 2 )n dv (1 2 )n

dv = (1 2 )n (1 ) (1 2 )n (32.29)

e, portanto, Dn () (n + 1)(1 2 )n . Dn (0)

Como 0 < 1 2 < 1, o limite para n do lado direito, acima, zero. Assim, conclu e mos que para n grande o suciente, independente de x, tem-se |pn (x) f (x)| 2. Isso estabelece que a seqncia de polinmios pn converge ue o uniformemente a f no intervalo [a, b]. Com isso provou-se o Teorema 32.3. Vamos provar agora que para cada l com 1 l k as derivadas pn tambm convergem uniformemente as derivadas e ` f (l) quando n . Notemos que, pela denio de pn , ca p(l) (x) = n 1 2Dn (0)
n 1 0 (l)

l f (u) l 1 (u x)2 x

du .

Agora, devido ao fato de a funo 1 (u x)2 ca

ser simtrica pela troca u x, vale e


n

l 1 (u x)2 xl

= (1)l

l 1 (u x)2 ul

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1569/1992

Assim, p(l) (x) n = (1)l 2Dn (0)


1 0

l f (u) l 1 (u x)2 u
n

du (1)l1 2Dn (0)


1 0

int. por partes

(1)l f (u)

l1 1 (u x)2 ul1 pois


f (0)=f (1)=0

u=1

+
u=0

l1 f (1) (u) l1 1 (u x)2 u

du .

= 0,

Repetindo-se l vezes o processo de integrao por partes e usando o fato que f e suas derivadas anulam-se em 0 e em 1, ca por construo, obtemos, ca 1 1 n p(l) (x) = f (l) (u) 1 (u x)2 du . n 2Dn (0) 0
(l) J vimos, porm, que essa igualdade implica que pn converge uniformemente a f (l) no intervalo [a, b] para n . Isso a e completa a prova do Teorema de Weierstrass, Teorema 32.4.

O Teorema de Weierstrass em vrias variveis a a

O Teorema 32.4 pode ser estendido para funoes cont c nuas denidas em retngulos compactos em Rm (em verdade, a m em qualquer conjunto compacto em R ). Faremos uso desse fato mais adiante. A demonstrao muito semelhante a ca e ` do Teorema 32.4 mas h algumas passagens delicadas e, por isso, reproduzimos a demonstrao com certo detalhe. a ca

Teorema 32.5 (Teorema de Weierstrass) Seja f : Rm C uma funo real ou complexa, contnua em um retngulo ca a fechado R := [a1 , b1 ] [am , bm ] Rm e tal que suas K primeiras derivadas parciais existam e sejam contnuas nesse retngulo. Ento, f pode ser aproximada uniformemente por polinmios nesse retngulo e suas K primeiras derivadas a a o a parciais podem ser aproximadas uniformemente pelas derivadas desses polinmios, ou seja, para todo > 0 existe um o polinmio p tal que para todo n-multi-ndice com 0 || K vale o D p D f

= sup |D p (x) D f (x)| .


xR

Prova. Daqui por diante, consideraremos sem perda de generalidade que R := [a1 , b1 ] [am , bm ] (0, 1)m , ou seja, tomamos 0 < ak bk < 1 para cada k, e consideraremos f uma extenso de f a todo o retngulo [0, 1]m com a a a propriedade de anular-se junto com suas K primeiras derivadas parciais na fronteira de [0, 1]m . Generalizando (32.24), denimos os polinmios em m variveis o a
1 0 1 m

pn (x1 , . . . , xm ) :=

f (u1 , . . . , um )

k=1 2m Dn (0)m 1xm

1 (uk xk )2

du1 dum

1x1 x1

f v1 + x1 , . . . , vm + xm
k=1

xm

2 1 vk

dv1 dvm

2m Dn (0)m

(32.30)

com Dn denido como na prova do Teorema 32.4, com (x1 , . . . , xm ) R, onde na segunda linha zemos a obvia mudana de variveis vk = uk xk para todo k. c a podemos escrever a ultima expresso em (32.30) na forma A1 + A2 onde a

Tomando um > 0 pequeno o suciente ( < min a1 , . . . , am , 1 b1 , . . . , 1 bm ), a ser precisado adiante, f v1 + x1 , . . . , vm + xm


2 1 v1 n 2 1 vm n

A2 =

dv1 dvm

2m Dn (0)m

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1570/1992

e A2 a mesma integral, mas no conjunto complementar R = [x1 , 1 x1 ] [xm , 1 xm ] \ [, ]m . A integral e A1 pode ser majorada por A1 F onde F := sup
x[0, 1]m R 2 1 v1 n 2 1 vm n

dv1 dvm

2m Dn (0)m

|f (x)|. A integral em R pode ser quebrada como soma de produtos de integrais unidimensionais,
2 1 vk n xk 0 2 1 vk n 1xk 2 1 vk n 1 0 2 1 vk dvk = 1 2Dn (0) Dn () 2Dn (0) , n

algumas da forma
1xk xk

dvk

2Dn (0)

dvk + 0 2Dn (0)


n

dvk

1xk xk 2 2 [1vk ] dvk [1vk ] dvk e sempre ocorrer ao um fator da forma 2Dn (0) a ou 2Dn (0) as quais podem ser estimadas por como provamos na demonstrao do Teorema 32.4, acima (vide (32.27)). Assim, ca

A1 KF

Dn () 2Dn (0)

(32.29)

KF (n + 1) 1 2

sendo K uma constante dependente apenas da dimenso m. a O termo A2 pode ser manipulado analogamente ` demonstrao do Teorema 32.4. a ca
m

A2

f v1 + x1 , . . . , vm + xm
k=1

2 1 vk

dv1 dvm

2m Dn (0)m 1 Dn () Dn (0)
m

f x1 , . . . , xm

f v1 + x1 , . . . , vm + xm f x1 , . . . , xm 2m Dn (0)m

k=1

2 1 vk

dv1 dvm

(32.31)

Por (32.29), sabemos que para que tenhamos

Dn () Dn (0)

0 para n e, portanto, para qualquer > 0 podemos achar n grande o suciente f x1 , . . . , xm f x1 , . . . , xm 1 Dn () Dn (0)
m

e Uma funo que seja cont ca nua em um conjunto compacto, como f , uniformemente cont nua nesse intervalo (Teorema 30.12, pgina 1419). Assim, para cada > 0 dado podemos encontrar um > 0, pequeno o suciente e independente de x a de forma que f v1 + x1 , . . . , vm + xm f x1 , . . . , xm < desde que |vk | < para todo k. Assim, a integral do lado direito de (32.31) pode ser majorada por 1 Conclu mos disso que pn (x1 , . . . , xm ) f x1 , . . . , xm KF (n + 1) 1 2
n Dn () Dn (0) m

+ 2 .

Como |1 | < 1, isso completa a demonstrao de que f uniformemente aproximvel por polinmios. ca e a o

Vamos provar agora que para cada n-multi- ndice , com 1 || K, as derivadas D pn tambm convergem e uniformemente `s derivadas D f quando n . Notemos que, pela denio de pn , a ca
1 0 1 n f (u1 , . . . , um )Dx k=1

D pn (x1 , . . . , xm ) =

1 (uk xk )2

du1 dum

2m Dn (0)m

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1571/1992

Agora, devido ao fato de a funo 1 (u x)2 ca


n Dx k=1

ser simtrica pela troca u x, vale e


n n = (1)|| Du k=1

1 (uk xk )2

1 (uk xk )2

Assim, D pn (x1 , . . . , xm ) = (1)|| 2m Dn (0)m


1 0 1 n f (u1 , . . . , um )Du k=1

1 (uk xk )2

du1 dum .

Repetindo-se || vezes o processo de integrao por partes e usando o fato que f e suas derivadas anulam-se nas fronteiras ca da integral mltipla acima, obtemos, u D pn (x1 , . . . , xm ) = 1 m D (0)m 2 n
1 0 1 n Du f (u1 , . . . , um ) k=1

1 (uk xk )2

du1 dum .

J vimos, porm, que essa igualdade implica que D pn converge uniformemente a D pn f no intervalo [a, b] para n . a e Isso completa a prova do Teorema de Weierstrass, Teorema 32.5.

32.3.2

O Teorema de Taylor

Nesta seo apresentaremos o Teorema de Taylor, um dos teoremas bsicos do Clculo Diferencial, o qual enuncia ca a a e e condies que permitem aproximar certas funes innitamente diferenciveis por sries de potncia absoluta e uniforco co a memente convergentes em intervalos limitados da reta real. Se a funo que estamos interessados em aproximar no for ca a innitamente diferencivel ou no satiszer as condies enunciadas abaixo, tem-se como alternativa o Teorema de Weia a co erstrass, que garante a possibilidade de se obter uma aproximao uniforme por polinmios. O Teorema de Weierstrass ca o e estudado na Seo 32.3.1, pgina 1564. A demonstrao do Teorema de Taylor segue de um simples racioc ca a ca nio iterativo que ora iniciamos. Seja f : R C uma funo K-vezes diferencivel, com K > 0. Pelo Teorema Fundamental do Clculo podemos ca a a escrever x f (x) = f (x0 ) +
x0

f (s1 ) ds1 ,

(32.32)
s1 x0

para todos x e x0 R. Para K > 1 vale tambm para f (s1 ) a mesma relao f (s1 ) = f (x0 ) + e ca temos f (x) = f (x0 ) + (x x0 )f (x0 ) + = f (x0 ) + (x x0 )f (x0 ) + pois, invertendo a ordem das integrais,
x x0 s1 x0 x x x x x0 x x0 s1 x0

f (s2 ) ds2 . Da ,

f (s2 ) ds2

ds1

(x t)f (t) dt ,

(32.33)

f (s2 ) ds2

ds1 =
x0

f (s2 )
s2

ds1

ds2 =
x0

(x s2 )f (s2 ) ds2 .

Usando induo, esse resultado pode ser generalizado, conduzindo ao seguinte teorema: ca Teorema 32.6 (Teorema de Taylor) Se f : R C uma funo K vezes diferencivel (K 1) em um domnio e ca a conexo R, ento para todo N < K vale a f (x) = (x x0 )a (a) f (x0 ) + a! a=0
N x x0

(x t)N (N +1) f (t) dt , N!

(32.34)

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1572/1992

para todos x e x0 . Essa expresso pode ser reescrita na forma a f (x) = (x x0 )a (a) (x x0 )N +1 f (x0 ) + a! N! a=0
N 1 0

(1 s)N f (N +1) x0 + s(x x0 ) ds .

(32.35)

As relaes (32.34) e (32.35) so denominadas identidades de Taylor. Os polinmios co a o TN [f ](x, x0 ) = (x x0 )a (a) f (x0 ) a! a=0
N

so denominados polinmios de Taylor de ordem N centrados em x0 da funo f e a expresso a o ca a


x

RN [f ](x, x0 ) =
x0

(x t)N (N +1) (x x0 )N +1 f (t) dt = N! N!

1 0

(1 s)N f (N +1) x0 + s(x x0 ) ds

denominada resto da expanso de Taylor de f , ou frmula do resto da expanso de Taylor de f . e a o a Suponhamos agora que f seja innitamente diferencivel e que exista um intervalo compacto I(x0 , ) = [x0 , x0 + ], a 0, tal que existem constantes M 0, C > 0 e com 0 < 1, tais que para todo y I(x0 , ) e todo k 0 valha f (k) (y) M C k k! Ento, para todo x I(x0 , ) tem-se a f (x) =

(32.36)

(x x0 )a (a) f (x0 ) , a! a=0

(32.37)

sendo que a srie do lado direito converge absoluta e uniformemente em I(x0 , ). A srie (32.37) denominada srie e e e e de Taylor real de f centrada em x0 . As origens do Teorema 32.6 remontam aos trabalhos de Taylor14 nos primrdios do Clculo Diferencial e Integral. o a Taylor descobriu a srie que leva seu nome entre 1712 e 1715, mas a importncia desse resultado s foi reconhecida por e a o Lagrange15 em 1772. A expresso srie de Taylor para designar a expanso (32.37) data de 1786, tendo sido cunhada a e a por Lhuilier16 . Sries de Taylor para funes espec e co cas (como a funo arco-tangente) eram conhecidas antes de Taylor. ca Sua contribuio foi a de ter encontrado uma expanso vlida para uma grande classe de funes. Taylor, um disc ca a a co pulo de Newton17 , inventou tambm o mtodo de integrao por partes, entre outras contribuies seminais. e e ca co Prova do Teorema 32.6. J provamos essa armao para K = 1 (relao (32.32)) e para o caso K > 1 j tratamos o caso a ca ca a N = 0 e N = 1 (relaes (32.33) e (32.32)). Para efetuarmos a prova por induo, suponhamos que a relaao co ca c f (x) =
14 Brook

(x x0 )a (a) f (x0 ) + a! a=0

x x0

(x s1 )M (M+1) f (s1 ) ds1 M!

Taylor (16851731). Lagrange (17361813). 16 Simon Antoine Jean Lhuilier (17501840). 17 Isaac Newton (16431727).
15 Joseph-Louis

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1573/1992

valha para todo M com M < K 1. Como f (M+1) (s1 ) = f (M+1) (x0 ) + f (x) = (x x0 )a (a) f (x0 ) + a! a=0
M M x x0

s1 x0

f (M+2) (s2 ) ds2 , obtemos


x

(x s1 )M ds1 f (M+1) (x0 ) + M!


x x0

x0

(x s1 )M M!
s1 x0

s1 x0

f (M+2) (s2 ) ds2

ds1

(x x0 )a (a) (x x0 )M+1 (M+1) f (x0 ) + f (x0 ) + a! (M + 1)! a=0


M+1

(x s1 )M M!

f (M+2) (s2 ) ds2

ds1

=
a=0 M+1

(x x0 )a (a) f (x0 ) + a! (x x0 )a (a) f (x0 ) + a! (x x0 )a (a) f (x0 ) + a!

x x0

(x s1 )M M!
x s2

s1 x0

f (M+2) (s2 ) ds2

ds1

x x0

=
a=0 M+1

(x s1 )M ds1 f (M+2) (s2 ) ds2 M!

x x0

=
a=0

(x s2 )M+1 (M+2) f (s2 ) ds2 , (M + 1)!

sendo que na passagem da terceira para a quarta linha trocamos a ordem das integraes. Isso prova, por induao, a co c validade de (32.34) para todo N < K. Escrevamos agora t = x0 + s(x x0 ) na integral de (32.34). Ficamos com x t = (x x0 )(1 s), dt = (x x0 )ds e obtemos, x (x x0 )N +1 1 (x t)N (N +1) f (t) dt = (1 s)N f (N +1) x0 + s(x x0 ) ds . N! N! 0 x0 Isso provou (32.35). Suponhamos agora que f seja innitamente diferencivel e que exista um intervalo compacto I(x0 , ) = [x0 , x0 + ], a 0, tal que existem constantes M 0, C > 0 e com 0 < 1, tais que para todo y I(x0 , ) e todo k 0 valha f (k) (y) M C k k! Teremos,
1 0

(1 s)N f (N +1) x0 + s(x x0 ) ds M C N +1 (N + 1)!

(1 s)N ds M

C N +1 (N + 1)! N +1

Logo, para x I(x0 , ), ou seja, para |x x0 | < , tem-se (x x0 )a (a) |x x0 |N +1 C N +1 (N + 1)! f (x0 ) M f (x) a! N! (N + 1) a=0
N

M (C)N +1 (N + 1)!
1

Como 1 > 0, segue que o limite N do lado direito da ultima expresso zero, provando (32.37). Como o a e lado direito da ultima expresso independe de x no intervalo I(x0 , ), a convergncia uniforme. Que a convergncia a e e e (xx0 )a (a) absoluta segue tambm facilmente das mesmas desigualdades de acima pois, pelas hipteses, e e o f (x0 ) a! M
(C)a (a!)1 ,

que somvel. e a

A seguinte proposio ser usada na discusso sobre a relao entre o Teorema de Weierstrass e o de Fejr (Proposiao ca a a ca e c 32.8, pgina 1587): a

A expanso de Taylor da funo exponencial a ca

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1574/1992

Proposio 32.6 A bem-conhecida expanso em srie de Taylor centrada em x0 = 0 da funo f (x) = ex , com C, ca a e ca n n x , converge uniformemente e absolutamente em cada intervalo [, ] da reta real, com 0. dada por ex = n! n=0 Assim, podemos armar que em todo intervalo [, ] da reta real, com 0, a funo ex pode ser aproximada ca uniformemente por uma seqncia de polinmios, a saber, por seus polinmios de Taylor. ue o o Prova. A funo f (x) = ex com C, constante, innitamente diferencivel e sua k-sima derivada k ex . Como ca e a e e f cont e nua, ela limitada em cada intervalo compacto da reta real. No intervalo [, ], 0, temos evidentemente e |ex | e|Re ()| . Assim, a condio (32.36) satisfeita em cada intervalo [, ], 0, com M = e|Re ()| , C = || e ca e = 0. A proposio segue, portanto, do Teorema de Taylor, Teorema 32.6, pgina 1571. ca a

Alguns casos a se ter em mente

a E fcil vericar que essa funo cont ca e nua e, mais que isso, que innitamente diferencivel. De fato, em x = 0 a e a 1 n-sima derivada de f da forma exp x2 vezes um polinmio em 1/x (verique!). Esse polinmio diverge quando e e o o 1 ue x 0 mas o pr-fator exp x2 vai a zero muito mais fortemente. Como conseqncia, f e todas as suas derivadas e anulam-se em x = 0. Assim, se calcularmos a srie de Taylor (32.37) dessa funo em x0 = 0 a mesma seria identicamente e ca nula (!), pois f (n) (0) = 0 para todo n 0. Isso signica que a relao (32.37) no vale para essa funo se x0 = 0, pois ca a ca f no-nula, mas a srie do lado direito identicamente nula. O que se passa que no existe para essa funao nenhum e a e e e a c intervalo I(, 0), ou seja, da forma [, ], > 0, no qual valha a condio (32.36) para todo k e todo x I(, 0). ca

Para uma melhor compreenso do Teorema de Taylor importante estudar alguns casos especiais. Considere-se a a e funo f denida em R por ca exp 1 , x = 0 , x2 f (x) = 0, x=0.

Esse exemplo ensina-nos que que uma funo innitamente diferencivel pode ter uma srie de Taylor centrada em ca a e um ponto x0 e convergente em uma regio em torno de x0 , mas essa srie no necessariamente converge a funao em a e a ` c outros pontos que no x0 . Para que a convergncia ` funo se d necessrio que sejam vlidas condies como (32.36), a e a ca ee a a co que limitam o crescimento das derivadas da funo em uma vizinhana de x0 . ca c

Dois corolrios uteis a

Os corolrios seguintes do Teorema de Taylor sero utilizados neste texto. a a

Corolrio 32.1 Se f : R C for K vezes diferencivel e f (a) (x0 ) = 0 para todo a = 0, . . . , N com N < K, ento f a a a tem um zero de ordem N + 1 em x0 e podemos escrever f (x) = (x x0 )N +1 F (x) , onde F (K N 1)-vezes diferencivel. Em particular, se f for uma funo innitamente diferencivel, ento F e a ca a a tambm o ser. e a

Prova. As armaes seguem diretamente de (32.35), notando que, pelas hipteses, podemos diferenciar em x a expresso co o a
1 0

(1 s)N f (N +1) x0 + s(x x0 ) ds sob o s mbolo de integral.

Corolrio 32.2 Seja f : Rn C uma funo innitamente diferencivel de n variveis reais x = (x1 , . . . , xn ) e a ca a a suponhamos que f (y) = 0 em algum ponto y = y1 , . . . , yn Rn . Ento, podemos escrever a
n

f (x) =
k=1

xk yk Fk (x) ,

(32.38)

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1575/1992

onde as funes Fk so innitamente diferenciveis. co a a Prova. Como f (y1 , . . . , yn ) = 0, vale

f (x1 , . . . , xn ) =

f (x1 , . . . , xn ) f (y1 , x2 , . . . , xn ) + f (y1 , x2 , . . . , xn ) f (y1 , y2 , x3 , . . . , xn ) + + f (y1 , . . . , yn1 , xn ) f (y1 , . . . , yn ) , (32.39)

ou seja, f (x1 , . . . , xn ) =

n k=1

f (y1 , . . . , yk1 , xk , . . . xn ) f (y1 , . . . , yk , xk+1 , . . . xn ) .

(32.40)

Para cada k = 1, . . . , n a funo f (y1 , . . . , yk1 , xk , . . . xn )f (y1 , . . . , yk , xk+1 , . . . xn ) innitamente diferencivel ca e a como funo de xk e anula-se em xk = yk . Portanto, pelo Corolrio 32.1, podemos escrev-la na forma ca a e f (y1 , . . . , yk1 , xk , . . . xn ) f (y1 , . . . , yk , xk+1 , . . . xn ) = (xk yk )Fk (xk , . . . , xn ) , (32.41)

onde Fk uma funo innitamente diferencivel de xk . Como o lado esquerdo uma funo innitamente diferencivel e ca a e ca a das demais variveis, Fk tambm o ser. Logo, (32.38) segue de (32.40) e de (32.41). a e a

O Teorema de Taylor e o de Weierstrass

Os seguintes comentrios sobre a relao entre as armativas do Teorema de Weierstrass e do Teorema de Taylor so a ca a de interesse para o estudante. Ambos os teoremas estabelecem condies para que uma funo possa ser uniformemente aproximada por polinmios co ca o em intervalos compactos. As hiptese do Teorema de Weierstrass so, porm, mais fracas, pois nele requer-se apenas o a e que a funo a ser aproximada seja cont ca nua, enquanto que no Teorema de Taylor requer-se que a funao seja cont c nua e innitamente diferencivel. a

Assim, o Teorema de Weierstrass garante, por exemplo, a possibilidade de se aproximar a funo f (x) = x ca polinmios uniformemente no intervalo [0, 1], por exemplo, pelos polinmios de Bernstein (vide (32.22)) o o
n p=0

1 2

por

p 1 n 2

n p x (1 x)np . p

(32.42)

Essa funo f , contudo, no possui uma expanso de Taylor centrada em x0 = 1/2 (pois no diferencivel nesse ponto) ca a a a e a nem outra expanso de Taylor centrada em outro ponto do mesmo intervalo [0, 1] convergir ` funo em todo intervalo a aa ca (a expanso de Taylor de |x 1/2| centrada em, digamos, x0 = 3/4 1/4 + (x 3/4) = x 1/2, que s igual a |x 1/2| a e oe para x 1/2).

Uma diferena notvel entre os polinmios de Taylor e os polinmios aproximantes cuja existncia o Teorema de c a o o e Weierstrass garante, que os coecientes dos primeiros so xos, no dependendo do grau do polinmio aproximante. e a a o f (k) (0) O k-simo coeciente do polinmio de Taylor de grau N centrado em x0 = 0 de uma funo f e o ca e , que no a k! depende do grau N do polinmio. J os coecientes dos polinmios aproximantes de Bernstein (32.22) ou dos polinmios o a o o aproximantes de Landau (32.24) dependem em geral de k e de N . O k-simo coeciente do polinmio (32.22), por e o k p N N p kp exemplo, que aproxima uma funo f no intervalo [0, 1], dado por p=0 (1) ca e f N p N k e depende de k e de N. Dessa forma, quando desejamos melhorar a aproximao de uma funo atravs de seu polinmio de Taylor s ca ca e o o precisamos acrescentar mais termos ao mesmo, aumentando seu grau mas sem alterar os coecientes j utilizados. Em a contraste, se quisermos melhorar a aproximao de uma funo usando os polinmios aproximantes cuja existncia ca ca o e e garantida pelo Teorema de Weierstrass devemos aumentar o grau do polinmio e eventualmente modicar todos os o coecientes do mesmo.

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1576/1992

Comentamos, por m, que o polinmio de Taylor, ou mesmo os polinmios de Bernstein ou de Landau, nem sempre o o produzem o melhor aproximante polinomial uniforme de uma funo f (cont ca nua e innitamente diferencivel) em um a intervalo compacto. A existncia de um melhor aproximante uniforme polinomial unico em um intervalo compacto de e uma funo cont ca nua f um teorema devido a Haar18 (vide [48], [213], [189] ou [151]) mas, infelizmente, no h uma e a a frmula fechada conhecida que o determine. o O Teorema de Taylor em vrias variveis a a

Se g : Rn C uma funo de n variveis reais, K-vezes diferencivel em um certo dom e ca a a nio Rn , podemos obter o anlogo do Teorema de Taylor atravs do seguinte procedimento. Seja f : R C denida por f (t) := g(y + th), com a e y, h Rn de modo que y e x y + h pertencem a algum aberto convexo 0 (a convexidade necessria para que e a se possa garantir que y + th pertena a 0 para todo t [0, 1]). Para a a-sima (a K) derivada f (a) (t), vale c e f (a) (t) = a!
a
1 , ..., n =0 1 ++n =a

h1 hn ag n 1 y + th 1 1 ! n ! y1 yn n

=
Nn a

h Dy g !

y + th ,

(32.43)

sendo que, acima, usamos a notao de multi- ca ndices introduzida ` pgina 685. Essa expresso segue facilmente, pela a a a n d = hk , igualdade vlida quando aplicada a f (t) = g(y + th). Disso temos a regra da cadeia, de dt yk
k=1

da f (t) = dta

k=1

hk yk

g(y + th) =
1 , ..., n =0 1 ++n =a

a! a h1 hn n 1 g y + th . 1 ! n ! 1 y1 yn n

O Teorema de Taylor, Teorema 32.6, pgina 1571, vale para a funo f na varivel t e se considerarmos o caso em a ca a que t = 1 e t0 = 0 obteremos o seguinte: Teorema 32.7 (Teorema de Taylor em n variveis) Se g : R C uma funo K vezes diferencivel (K 1) a e ca a em um domnio conexo 0 Rn , ento para todo N < K vale para y, x 0 , com x = y + h, a
N

g(x) = g(y + h) =
a=0 Nn a

h (D g) (y) + !

Nn +1 N

h (N + 1) !

1 0

(1 s)N Dy g

y + sh ds ,

(32.44)

ou seja,
N a
1 , ..., n =0 1 ++n =a

g(x) = g(y + h) =
a=0

h1 hn ag n 1 1 (y) 1 ! n ! y1 yn n
N +1

+
1 , ..., n =0 1 ++n =N +1

h1 hn (N + 1) 1 ! n !

1 0

(1 s)N

y1 1

N +1 g y + sh ds , (32.45) yn n

com h x y.

A relao (32.45) denominada identidade de Taylor. Os polinmios ca e o


N

TN [g](x, y) =
a=0 Nn a N a

(x y) (D g) (y) ! x1 y1 xn yn 1 ! n !
1 n y1 1

=
a=0
18 Alfrd e
1 , ..., n =0 1 ++n =a

ag (y) yn n

Haar (18851933).

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1577/1992

so denominados polinmios de Taylor de ordem N centrados em y da funo g e a expresso a o ca a RN [g](x, y) =


Nn +1 N N +1

(x y) (N + 1) ! x1 y1
1

1 0

(1 s)N (D g) y + sh ds
n 1

=
1 , ..., n =0 1 ++n =N +1

xn yn 1 ! n !

(N + 1)
0

(1 s)N

y1 1

N +1 g y + sh ds , (32.46) yn n

com h xy denominada resto da expanso de Taylor de g, ou frmula do resto da expanso de Taylor de g. Podemos, e a o a portanto, reescrever (32.45) e (32.44) na forma g(x) = TN [g](x, y) + RN [g](x, y) . (32.47)

Suponhamos agora que g seja innitamente diferencivel e que exista uma bola compacta centrada em y e de raio a 0 B(y, ) = x Rn x y tal que existem constantes M 0, C > 0 e com 0 < 1, tais que para todo w B(y, ) e todo n-multi-ndice = (1 , . . . , n ) valha
w1 1

|| g 1 ! n ! || n (w) M C wn Nn ||1 ||

(15.3)

M C ||

1 ! n !(n 1)! || , (n + || 1)!

(32.48)

com || = 1 + + n . Ento, para todo x B(y, ) tem-se a g(x) =


a=0 Nn a

xy !

(D g) (y) =

a=0

a
1 , ..., n =0 1 ++n =a

x1 y1

xn yn 1 ! n !

n y1 1

ag (y) , yn n

(32.49)

sendo que a srie do lado direito converge absoluta e uniformemente em B(y, ). A srie (32.49) denominada srie e e e e de Taylor real de g centrada em y.

Prova. As primeiras armaes seguem de (32.43) e do Teorema de Taylor para uma varivel, Teorema 32.6, pgina co a a a 1571. E fcil vericar que, sob (32.48), o termo de resto (32.46) converge a zero para N e a srie (32.49) converge e absolutamente. Como ilustrao, os primeiros termos da srie de Taylor centrada em y de uma funo innitamente diferencivel g ca e ca a de duas variveis so a a g(x) = g(y) + x1 y1 x1 y1 2! x1 y1 3! x1 y1
2 3 2

g g (y) + x2 y2 (y) y1 y2
2

x2 y2 2g 2 (y) + y1 2! g 3 (y) + y1 x2 y2
3

2g 2 (y) + x1 y1 y2
3

x2 y2

2g (y) y1 y2

x2 y2 3!

3g 3 (y) y2
2

2! 1!

x1 y1 x2 y2 3g (y) + 2 y1 y2 1! 2!

3g 2 (y) + . y1 y2

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1578/1992

32.4

Aproximao de Funes por Polinmios Trigonomtricos ca co o e

Em um dos trabalhos mais inuentes da histria da F o sica e da Matemtica, Thorie Analytique de la Chaleur, a e publicado em 1822, Fourier19 lanou as bases da teoria da difuso do calor e, de maior interesse aqui, da teoria das sries c a e trigonomtricas, posteriormente denominada, com mais generalidade, Anlise Harmnica. e a o A possibilidade de expandir certas funes em sries trigonomtricas data dos trabalhos de Euler20 e de Daniel co e e Bernoulli21 sobre o problema da corda vibrante (vide Seo 19.5, pgina 885), na primeira metade do sculo XVIII. ca a e Os primeiros trabalhos de Fourier sobre o problema da propagao de calor e sobre o uso das sries de Fourier ca e datam do per odo entre 1804 e 1807. Em dezembro desse ultimo ano Fourier apresentou ao Instituto Nacional de Paris uma nota intitulada Mmoire sur la propagation de la chaleur dans les corps solides, onde propunha que toda funao e c peridica poderia ser expandida em uma srie trigonomtrica, idia inicialmente rejeitada, no totalmente sem razo, o e e e a a por um comit formado por Lagrange, Laplace, Monge e Lacroix. Parte do problema com a argumentaao de Fourier e c era causado por uma certa confuso existente ` poca quanto ao que se entende por uma funo e pela ausncia de a a e ca e demonstraes matematicamente convincentes da parte de Fourier. O primeiro tratamento matematicamente correto da co convergncia de sries de Fourier para uma certa classe de funes s foi fornecida por Dirichlet22 em 1828. Desde ento o e e co o a estudo das sries de Fourier engendrou um sem-nmero de desenvolvimentos matemticos importantes. Como exemplo, e u a citamos o desenvolvimento na noo de integral de Riemann23 , a qual foi motivada pela necessidade de controle mais ca preciso do decaimento dos coecientes de sries de Fourier. Vide comentrios da Seo 29.1, pgina 1322. e a ca a Fourier chegou `s expanses que levam seu nome procurando solues de certas equaes diferenciais ligadas ao a o co co problema de propagao de calor em slidos24 . Essa associao entre sries de Fourier e equaes diferenciais de ca o ca e co e interesse em diversas outras reas da F a sica e o leitor poder encontrar exemplos de seu uso nos problemas do Cap a tulo 19, pgina 832. Nesta seo apresentaremos os resultados bsicos da teoria da aproximao de funoes por sries a ca a ca c e trigonomtricas. e Para o leitor interessado em um texto mais aprofundado, a referncia clssica sobre sries trigonomtricas [234]. e a e e e Recomendamos tambm [121], [180], [172], [44] e [230]. Uma leitura muito estimulante [129]. Para um excelente texto e e em portugus, vide [62]. e A Seo 32.7, pgina 1613, contm diversos exerc ca a e cios sobre as sries de Fourier. Aplicaes diversas da teoria podem e co ser encontradas no Cap tulo 19, pgina 832. a

32.4.1

Preliminares

Funes T -peridicas co o

Se T > 0, uma funo f : R C dita ser T -peridica, ou peridica de per ca e o o odo T , se f (x + T ) = f (x) para todo x R. Assim, se f T -peridica, vale TT f = f , sendo T denida em (32.11). Evidentemente, se f : R C e o e T -peridica vale para todo x R que f (x + nT ) = f (x), onde n Z, ou seja, vale TnT f = f para todo n Z. o Se uma funo f : [T /2, T /2) C denida apenas em um intervalo [T /2, T /2), podemos sempre denir uma ca e sua extenso25 T -peridica ` toda reta real f : R C por f (x + nT ) = f (x) para todo x [T /2, T /2) e todo n Z. a o a Por essa razo sempre consideraremos aqui funes denidas em todo R. Note que se f : [T /2, T /2) C cont a co e nua, sua extenso f : R C s o ser se f (T /2) = limtT /2 f (t), de outra forma ser apenas cont a o a a nua por partes, com descontinuidades nos pontos x = T /2 + nT com n Z. E tambm util recordar que se f0 : R C T0 -peridica, ento f1 (x) = f0 T0 x T1 -peridica. Por essa razo, e e o a e o a T1 convencionamos s considerar aqui funes 2-peridicas. Os resultados que seguiro podem ser estendidos a funoes o co o a c
Baptiste Joseph Fourier (17681830). Euler (17071783). 21 Daniel Bernoulli (17001782). 22 Johann Peter Gustav Lejeune Dirichlet (18051859). 23 Georg Friedrich Bernhard Riemann (18261866). 24 Fourier atuou tambm na pol e tica e na administrao pblica e dedicou-se a problemas de propagaao de calor em funao de seus interesses ca u c c em Metalurgia, em parte com o propsito de melhorar o processo de produao de canhes (Fourier foi um partidrio oportunista de Napoleo) o c o a a e em parte movido por um leg timo interesse cient co. Quando jovem participou da aventura napolenica no Egito, tendo trabalhado na o edio da clebre Description de lEgypte, o livro-me da Egiptologia, completada em 1810. ca e a 25 Para a denio da noo de extenso de uma funao, vide pgina 36. ca ca a c a
20 Leonhard 19 Jean

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1579/1992

T -peridicas por um simples re-escalonamento dos argumentos das funes. o co Os seguintes resultados elementares sero usados algumas vezes no que segue: a Lema 32.1 Sejam P e f duas funes contnuas e 2-peridicas. Ento, co o a

P (x y)f (y) dy =

P (y)f (x y) dy
x+

(32.50)

para todo x R. Em particular, vale

f (y) dy =

f (x y) dy =

f (y) dy ,
x

(32.51)

tambm para todo x R. e Prova.


P (x y)f (y) dy

yxy

x+ x

P (y)f (x y) dy
x

=
y y 2
periodicidade

P (y)f (x y) dy

x+

P (y )f (x y ) dy +

x+

P (y )f (x y ) dy
x+

P (y)f (x y) dy

P (y 2)f (x y + 2) dy + P (y )f (x y ) dy +
x+

P (y )f (x y ) dy

x+

P (y)f (x y) dy P (y)f (x y) dy .

P (y )f (x y ) dy

Isso provou (32.50). A primeira igualdade em (32.51) um caso particular de (32.50) para P constante igual a 1. A e segunda igualdade em (32.51) vem de uma mudana de variveis evidente (y x y). c a Polinmios trigonomtricos o e

Uma funo denida em R que seja da forma ca


n

p(x) =
m=n

Am eimx ,

com Am C e n N0 , dita ser um polinmio trigonomtrico de per e o e odo 2. Usando a bem conhecida frmula de o Euler ei = cos() + i sen (), todo polinmio trigonomtrico no intervalo [, ] pode ser escrito na forma alternativa o e equivalente n n a0 p(x) = + am cos(mx) + bm sen (mx) , 2 m=1 m=1 No que segue, estabeleceremos, sob diversas hipteses, resultados sobre convergncia (pontual, uniforme ou no sentido o e de L2 (, ), dx ) de seqncias de polinmios trigonomtricos. ue o e Sries trigonomtricas, ou sries de Fourier e e e com am , bm C, a qual envolve as funes seno e co-seno. co

Dado um polinmio trigonomtrico de per o e odo 2 p(x) = eikx pk 2 k=n


n

(32.52)

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1580/1992

fcil constatar, usando as relaes de ortogonalidade e a co


ei(nm)x dx = 2m,n ,

m, n Z ,

(32.53)

que os coecientes pk podem ser expressos em termos de p por

pk =

eikx p(x) dx =: ek , p , 2

(32.54)

com ek (x) :=

eikx . 2

Uma questo natural saber sob quais circunstncias uma funo 2-peridica f pode ser expressa como limite (em a e a ca o um sentido a ser precisado) de uma seqncia de polinmios trigonomtricos: ue o e f (x) = lim eikx fk =: n 2 k=n
n

eikx fk , 2 k=

(32.55)

com os coecientes fk independentes de n e dados por fk =

eikx f (x) dx =: ek , f . 2

(32.56)

Uma srie como (32.55)(32.56), caso o limite exista, denominada srie de Fourier. e e e Os coecientes fk so denominados coecientes de Fourier da funo f . De (32.56) v-se que para que todos os a ca e coecientes de Fourier fk de uma funo f existam basta que f seja integrvel em [, ]. Para f integrvel e n N0 ca a a as somas parciais n n iky eikx e eikx Sn (f, x) := fk = f (y) dy (32.57) 2 2 2 k=n k=n so denominadas somas parciais de Fourier da funo f . A srie de Fourier da funo f se escreve ento como o limite a ca e ca a
n

lim Sn (f, x) := lim

eikx fk =: n 2 k=n

eikx fk 2 k=

caso esse limite exista em algum sentido a ser precisado. Observemos que alguns autores preferem escrever Sn (f, x) na forma
n

Sn (f, x) :=
k=n

Fk eikx ,

com

Fk :=

1 2

eiky f (y) dy ,

kZ.

Como j mencionamos, foi Fourier o primeiro a propor expresses como (32.55)(32.56). Coube a seus sucessores a o estudar sobre quais hipteses e em que sentido (32.55)(32.56) so vlidas. Uma questo que ento se coloca identicar o a a a a e condies sobre f sob as quais a seqncia de polinmios trigonomtricos Sn (f, x) convirja pontualmente a funao f , co ue o e ` c ou seja, para que o limite limn Sn (f, x) de (32.55) exista e seja igual a f para todo x [, ] ou quase em toda parte. Devido ao largo emprego de sries de Fourier na resoluo de equaes diferenciais, essa no apenas uma questo e ca co a e a acadmica. No que seguir, empenharemo-nos em apresentar respostas, ainda que parciais, a essa questo e a outras e a a congneres. e Um outro encontro com as sries de Fourier: a expanso de Laurent e a

Antes de prosseguirmos observemos que sries de Fourier convergentes ocorrem naturalmente no contexto da teoria e das funes anal co ticas de uma varivel complexa. a Se g(z) uma funo anal e ca tica no interior de um anel Aab = {z C, a < |z| < b} C, com 0 a < b, bem sabido e da teoria das funes de varivel complexa que g pode ser representada em Aab por uma srie de Laurent26 centrada em co a e z0 = 0: g(z) =
26 Pierre

gn z n ,

n=

Alphonse Laurent (18131854).

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1581/1992

a qual absolutamente convergente para z Aab , sendo os coecientes gn dados por e gn = 1 2i


C

g(w) dw wn+1

para todo n Z, com C sendo uma curva suave e fechada em Aab que d uma volta em torno de z0 = 0 no sentido a anti-horrio. Se tivermos a < 1 < b, o c a rculo unitrio S 1 = {z C, |z| = 1} estar inteiramente contido em Aab . Nesse a a caso, se escolhermos z no c rculo unitrio |z| = 1, podemos escrever z = ei com < . Denindo f () := g(ei ), a a expanso de Laurent ca a f () =

gn ein ,

n=

que uma expanso de f em termos de uma srie trigonomtrica. Tomando a curva C como sendo tambm o c e a e e e rculo unitrio (ou seja, tomando w = ei com < ), a expresso para os coecientes gn ca a a gn = Assim, obtemos para f a representao ca f () =
n=

1 2

f ()ein d .

ein f () d 2

ein . 2

(32.58)

Conclu mos assim que se f () a restrio ao c e ca rculo unitrio de uma funo anal a ca tica em Aab com 0 a < 1 < b (no caso, da funo g), ento f possui a representao em srie de Fourier (32.58), a qual, sob as hipteses, converge absoluta ca a ca e o e uniformemente para todo < . Note que, sob essas hipteses, f no apenas cont o e a nua, mas innitamente diferencivel em relao a . a ca No que seguir, veremos que condies mais fracas sobre f podem ser impostas, com resultados anlogos. a co a

32.4.2

A Srie de Fourier de Funes Peridicas de Per e co o odo T

A expresso (32.57) apresenta a srie de Fourier de uma funo f integrvel e peridica de per a e ca a o odo 2. Se f for integrvel a e T -peridica (com T > 0), as somas parciais de Fourier sero dadas para n N0 por o a Sn (f, x) := ei T x fk T k=n
n
2k

T /2

com

fk =
T /2

ei T T

2k

f (y) dy ,

(32.59)

com lim Sn (f, x) representando a srie de Fourier de f , caso esse limite exista em algum sentido a ser precisado. e
n

E. 32.3 Exerccio. Obtenha (32.59) a partir de (32.57). Sugesto: se f T -peridica, ento F (x) := f a e o a peridica e a ela se aplica (32.57). o

T 2 x

2e

A srie de Fourier de uma funo T -peridica tambm pode ser expressa em termos de uma srie de senos e co-senos. e ca o e e Para as somas parciais de Fourier, tem-se Sn (f, x) = com Am = 2 T
T /2

A0 + Am cos 2 m=1

2m x + Bm sen T
T /2

2m x T

(32.60)

cos
T /2

2m y f (y) dy , T

m0

Bm =

2 T

sen
T /2

2m y f (y) dy , T

m1. = cos

(32.61)
2k T x

Essas expresses podem ser obtidas diretamente de (32.59) com uso da frmula de Euler ei o o i sen 2k x , sendo que os coecientes Am e Bm relacionam-se com os coecientes fk por T 2f0 A0 = , T Am = fm + fm T e Bm = i fm fm , T m1,

2k T x

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1582/1992

do que obtemos tambm e T A0 , f0 = 2

fm

T = Am iBm 2

fm

T = Am + iBm , 2

m1.

E. 32.4 Exerccio. Obtenha as expresses acima. o As expresses (32.60)(32.61) podem tambm ser obtidas atravs das relaes de ortogonalidade das funes seno e o e e co co co-seno:
T /2

cos
T /2

2n y T

sen

2m y T

dy

0,

n, m N0 .
T 2

(32.62)

T /2

cos
T /2

2n y cos T

2m y T

dy

T /2

sen
T /2

2n y T

sen

2m y T

T 0, m , n = 0, m N0 , T n, m , 2 n, m N0 ,

n, m , n, m N ,

(32.63)

dy

(32.64)

vlidas para todo T > 0. Acima, N0 = {0, 1, 2, 3, 4, . . .} e N = {1, 2, 3, 4, . . .}. a E. 32.5 Exerccio importante. Demonstre as relaes de ortogonalidade (32.62)(32.64). Para tal use, por exemplo, as co bem-conhecidas identidades, conhecidas como frmulas de prostafrese27 o e sen (a + b) = cos(a + b) = sen (a) cos(b) = cos(a) cos(b) = sen (a) sen (b) = vlidas para todos a, b C. a E. 32.6 Exerccio. Seja f : R C uma funo T -peridica. Mostre que se f real, ento ca o e a fk = fk para todo k Z . Conclua disso que f real, ento sua srie de Fourier tambm real. Note que isso evidente por (32.60)(32.61). e a e e e e sen (a) cos(b) + sen (b) cos(a) , cos(a) cos(b) sen (a) sen (b) , 1 sen (a + b) + sen (a b) , 2 1 cos(a + b) + cos(a b) , 2 1 cos(a b) cos(a + b) , 2 (32.65) (32.66) (32.67) (32.68) (32.69)

32.4.3

Polinmios Trigonomtricos e Funes Cont o e co nuas e Peridicas o

Seqncias delta de Dirac peridicas ue o

A denio que segue naturalmente relacionada ` denio de seqncia delta de Dirac ` pgina 1558. ca e a ca ue a a

27 Do grego prosthesis (soma) e aphaeresis (subtraao). Nessa forma, essas relaoes foram apresentadas pela primeira vez por c c Johann Werner (Vernerus) (14681522), mas provavelmente eram conhecidas de muito antes. Elas podem ser facilmente demonstradas, mesmo para argumentos complexos, com uso da frmula de Euler ei = cos + i sen , C. o

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1583/1992

Denio 32.3 (Seqncias delta de Dirac peridicas) Uma seqncia de funes 2-peridicas Kn : R R, ca ue o ue co o n N, dita ser uma seqncia delta de Dirac 2-peridica centrada em 0 se satiszer e ue o

1. Para cada n N, a funo Kn 2-peridica e integrvel no intervalo [, ], ou seja, ca e o a 2. Existe uma constante K > 0 tal que para todo n N vale

|Kn (x)| dx < .

|Kn (x)| dx < K .

(32.70)

3. Para todo n N, vale

Kn (x) dx = 1 .

(32.71)

4. Para todo com 0 < < vale lim


|Kn (x)| dx +

|Kn (x)| dx

= 0.

(32.72)

Uma seqncia de funes R R dita ser uma seqncia delta de Dirac peridica em R centrada em x0 R se for ue co e ue o da forma Tx0 Kn , onde Kn uma seqncia delta de Dirac em R centrada em 0 (com Tx0 denida em (32.11)). e ue O seguinte fato sobre seqncias delta de Dirac 2-peridicas de fundamental importncia para o que segue: ue o e a Teorema 32.8 Seja f : R C uma funo contnua e 2-peridica. Seja Kn uma seqncia delta de Dirac 2-peridica. ca o ue o Dena-se

Fn (x) :=

Kn (x y)f (y) dy

(32.50)

Kn (y)f (x y) dy

para todo n N. Ento, a seqncia Fn uma seqncia de funes contnuas e 2-peridicas e converge uniformemente a ue e ue co o a f em R: lim f Fn = lim sup |f (x) Fn (x)| = 0 .
n n xR

Prova. Como f cont e nua no intervalo compacto [, ] ela uniformemente cont e nua nesse intervalo (Teorema 30.12, pgina 1419) e, como tambm peridica, em todo R. Isso permite-nos reproduzir a demonstrao do Teorema 32.1, a e e o ca pgina 1560. a Observemos primeiramente que, como f cont e nua, ela limitada e denindo C0 := sup{|f (x)|, x [, ]}, e teremos
(32.70)

Kn (y)f (x y) dy

|Kn (y)| |f (x y)| dy C0

|Kn (y)| dy

C0 K .

Isso mostra que as integrais que denem as funes Fn esto bem denidas. Que cada Fn 2-peridica evidente (se co a e o e no for Exerc a cio!).

Que cada Fn cont e nua prova-se da seguinte forma. Usando a continuidade uniforme de f , sabemos que para cada > 0 existe () tal que |f (z) f (z )| < sempre que |z z | < (). Seja, ento > 0 e x, x R quaisquer tais que a |x x | < (). Teremos, |Fn (x) Fn (x )| =

Kn (y) f (x y) f (x y) dy

|Kn (y)| f (x y) f (x y) dy
(32.70)

|Kn (y)| dy

K ,

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1584/1992

pois |(x y) (x y)| = |x x | < (). Como isso vale para todo > 0, estabeleceu-se a continuidade de Fn . Vamos agora escrever, usando (32.71),

f (x) Fn (x) =

f (x) f (x y) Kn (y) dy .

Para cada com 0 < < podemos quebrar a ultima integral em trs intervalos: e

f (x) f (x y) Kn (y) dy +

f (x) f (x y) Kn (y) dy +

f (x) f (x y) Kn (y) dy

(32.73)

e denominaremos essas integrais I, II e III, respectivamente. Comecemos estudando a integral II. Para cada > 0 teremos pela continuidade uniforme |f (x) f (x y)| sempre que |y| () e, portanto, escolhendo = ()

f (x) f (x y) Kn (y) dy

f (x) f (x y) |Kn (y)| dy


(32.70)

|Kn (y)| dy

|Kn (y)| dy

K .

Passemos agora `s integrais I e III. Como f limitada, vale para a integral I, a e


f (x) f (x y) Kn (y) dy

f (x) f (x y) |Kn (y)| dy 2C0

|Kn (y)| dy

e, analogamente, para a integral III,


f (x) f (x y) Kn (y) dy 2C0

|Kn (y)| dy ,

Logo, por (32.72), podemos obter


f (x) f (x y) Kn (y) dy +

f (x) f (x y) Kn (y) dy

escolhendo n grande o suciente, digamos n > N (), independente de x. Dessa forma, juntando as estimativas para as integrais I, II e III conclu mos que |f (x) Fn (x)| (2 + K) para n > N (), independente de x. Logo, f Fn = sup{ f (x) Fn (x) , x R} (2 + K) para n > N (). Como isso vale para > 0 arbitrrio a demonstraao est a c a completa.

Aproximao de funes continuas 2-peridicas por polinmios trigonomtricos. O Teorema de Fejr ca co o o e e A proposio que segue e sua demonstrao so extra ca ca a das do tratamento de [180]. Proposio 32.7 Para m N dena-se ca Km (x) := onde Nm :=

1 Nm

1 + cos(x) 2
m

1 x cos Nm 2

2m

1 + cos(y) 2

dy =

cos

y 2

2m

dy .

Ento, a seqncia Km uma seqncia delta de Dirac de perodo 2. a ue e ue

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1585/1992

As constantes Nm so dadas por a Nm = 2 para todo m N. Prova. E evidente que Km (x) 0 para todo m N, que Km (x) = Km (x) para todo x e que cada Km cont e nua e 2-peridica. Que Km (x)dx = 1 tambm evidente pela denio do fator de normalizao Nm . Precisamos apenas o e e ca ca provar a propriedade 4 da denio de seqncia delta de Dirac de per ca ue odo 2. A primeira coisa a fazer obter uma estimativa para o fator de normalizao Nm . Como Km (x) uma funao par, e ca e c vale 1 = 2 0 Km (x)dx. Assim, usando o fato que 1 sen (x), vale 1 = 2 Nm
0

(2m)! 22m (m!)2

= 2

(2m 1)!! , 2m m!

(32.74)

1 + cos(y) 2

dy

2 Nm

1 + cos(y) 2

sen (y) dy
u=1+cos(y)

2 2m N
m 0

um du =

4 , (m + 1)Nm

o que implica

1 Nm

m+1 4 .

A segunda observao que ca e


Km (x) =

m 2m N
m

(1 + cos(x))

m1

sen (x) ,

que nos informa que Km decrescente no intervalo [0, ]. Portanto, se 0 < vale para todo x [, ] e Km (x) Km () = Logo, sup{Km (x), x [, ]} de Dirac 2-peridica. o 1 Nm
m

1 + cos() 2

(m + 1) 4

1 + cos() 2

(m+1) 1+cos() 4 2

e, como 1+cos() < 2 para 0 < , segue que lim sup{Km (x), x
m

[, ]} = 0. Isso implica que lim

|Km (x)|dx = 0 e completa a demonstrao que Km forma uma seqncia delta ca ue

Para provar (32.74), notamos que pelo binmio de Newton o cos t 2


2m

1 22m

eit/2 + eit/2

2m

1 22m

2m p=0

2m i(pm)t e . p

(32.75)

Com isso, (32.74) segue facilmente das relaes de ortogonalidade (32.53). Uma outra prova de (32.74) por uma mudana co c de variveis e repetindo-se o procedimento de integrao por partes pode ser encontrada em (14.69), pgina 641. a ca a Chegamos agora ao importante Teorema 32.9 (Teorema de Fejr) Se f : R C contnua e 2-peridica, ento f pode ser aproximada unifore e o a memente em R por polinmios trigonomtricos, ou seja, para todo > 0 existe um polinmio trigonomtrico p tal que o e o e f p < , onde f p = sup |f (x) p (x)|.
xR

Esse teorema foi primeiramente demonstrado por Fejr28 em 1900 em uma forma ligeiramente diferente, da qual e falaremos mais adiante. Conforme exposto na Seo 32.6.3, pgina 1610, o Teorema 32.9, acima, tem por implicaao a ca a c convergncia da srie de Fourier de (32.55) para funes f L2 ([, ], dx), com a convergncia se dando no sentido e e co e da norma de L2 ([, ], dx). Isso no necessariamente implica a validade de (32.55) para todo ponto x [, ] a
28 Lipt o

Fejr (18801959). e

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1586/1992

(convergncia pontual). Em seguida apresentamos uma demonstrao independente do Teorema de Fejr, mas adiante e ca e (Proposio 32.8, pgina 1587) provaremos que o mesmo equivalente ao Teorema de Weierstrass, Teorema 32.3, pgina ca a e a 1564. Prova do Teorema 32.9. Unindo o Teorema 32.8 ` Proposio 32.7, conclu a ca mos que a seqncia de funoes cont ue c nuas e 2-peridicas denida por o 2m 1 xy cos f (y) dy , Em (f, x) := Nm 2 m N, aproxima uniformemente f em R. Por (32.75), segue que
2m

Em (f, x) =
p=0

2 2m fpm ei(pm)x , 2m N 2 p m

(32.76)

onde

1 fk := 2

eiky f (y) dy ,

kZ,

(32.77)

so os coecientes de Fourier de f . Com (32.74), obtemos a Em (f, x) = eipx (m!)2 fp . (m p)!(m + p)! 2 p=m
m

(32.78)

As expresses (32.76) e (32.78) mostram que Em (f, x) um polinmio trigonomtrico. o e o e A armao a seguir conseqncia do Teorema 32.9 e de (32.78). ca e ue Corolrio 32.3 Se f : R C contnua e 2-peridica, ento f univocamente determinada por seus coecientes de a e o a e 1 iky e f (y) dy, k Z. Fourier fk := 2 Prova. mesma Em (f, f (x) = Por (32.78) vemos que f pode ser recuperada a partir do conhecimento dos coecientes fk . Tambm pela e expresso, vemos que se f e g so cont a a nuas, 2-peridicas e tm os mesmos coecientes de Fourier, ento o e a x) = Em (g, x) para todo x R e todo m N. Assim, pelo Teorema 32.9, vale para todo x R que lim Em (f, x) = lim Em (g, x) = g(x).
m

Comentrios sobre convergncia pontual. Teoremas de Du Bois-Reymond e Carleson a e

O Teorema 32.9 arma que f pode ser aproximada uniformemente por polinmios trigonomtricos de per o e odo 2. n Surpreendentemente, porm, isso no implica que a srie de Fourier Sn (f, x) = k=n fk eikx de uma funao cont e a e c nua f seja convergente em todo ponto x. O estudante deve atentar para o fato que, por (32.57) e (32.78), Sm (f, x) e Em (f, x) so polinmios trigonomtricos a o e distintos. Assim, a aproximao de f (x) cont ca nua e 2-peridica pela seqncia Em (f, x), implicada pelo Teorema 32.9, o ue no necessariamente implica a aproximao de f (x) por sua srie de Fourier Sm (f, x). a ca e De fato, em 1873 Du Bois-Reymond29 exibiu um exemplo de uma funo cont ca nua e 2-peridica (e, portanto, para o a qual o Teorema 32.9 se aplica) cuja srie de Fourier diverge em x = 0. Apesar de cont e nua, a funao de Du Boisc Reymond no diferencivel em x = 0 (ou mesmo Hlder-cont a e a o nua). Esse comentrio importante pois, como veremos a e no Teorema 32.12, pgina 1591, continuidade e diferenciabilidade so sucientes para garantir a convergncia pontual da a a e srie de Fourier. e Os passos da construo de Du Bois-Reymond podem ser acompanhados na referncia [129] ou em [121]. O leitor inteca e ressado que tenha algum conhecimento de Teoria Quntica de Campos poder deleitar-se em reconhecer que a construao a a c de Du Bois-Reymond prenuncia certas idias associadas a transformaes de escala e de grupo de renormalizaao. e co c
29 Paul

David Gustav Du Bois-Reymond (18311889).

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1587/1992

O exemplo de Du Bois-Reymond pode ser aguado ainda mais. Em 1966 Kahane30 e Katznelson31 provaram que: dado c um conjunto de medida nula E em [, ], existe uma funo f contnua e 2-peridica tal que supnN0 |Sn (f, x)| = ca o para todo x E. Uma demonstrao dessa armao pode ser encontrada em [121]32 . ca ca

O resultado mais importante sobre a questo da convergncia pontual da srie de Fourier de funoes de quadrado a e e c integrvel devido a Carleson33: se f uma funo de quadrado integrvel em [, ], sua srie de Fourier converge a e e ca a e quase em toda parte, ou seja, pode divergir apenas em um conjunto de medida nula. Como mencionamos, para que possamos garantir convergncia da srie de Fourier de uma funo f em todo ponto e e ca x [, ] no basta requerer continuidade, sendo a adio da condio de diferenciabilidade suciente para tal. A a ca ca armao precisa ser apresentada nas pginas que seguem (Teorema 32.12, pgina 1591). ca a a a O Teorema de Fejr e o Teorema de Weierstrass e

Os teoremas de Fejr e de Weierstrass armam que uma funo cont e ca nua pode ser uniformemente aproximada quer por polinmios quer por polinmios trigonomtricos (se for tambm peridica). Talvez um tanto surpreendentemente o o e e o esses dois teoremas so equivalentes. a Proposio 32.8 O Teorema de de Weierstrass, Teorema 32.3, pgina 1564, e o Teorema de Fejr, Teorema 32.9, ca a e pgina 1585, so equivalentes. a a Prova. Pelo Teorema de Fejr, Teorema 32.9, pgina 1585, os polinmios trigonomtricos so densos (na topologia e a o e a uniforme, i.e., na topologia da norma do supremo ) no conjunto das funes cont co nuas 2-peridicas. Pela Proposiao o c 32.6, pgina 1574, os monmios trigonomtricos einx , n Z, podem ser aproximados uniformemente no intervalo [, ] a o e por polinmios (mais especicamente, por seus polinmios de Taylor). Conclu o o mos disso que os polinmios so densos o a nas funes cont co nuas no intervalo [, ]. Por uma translao, combinada a um re-escalonamento (operaoes que levam ca c polinmios em polinmios, vide a discusso que antecede o Teorema 32.20, pgina 1624), isso prova que os polinmios o o a a o so densos nas funes cont a co nuas em qualquer intervalo compacto [a, b] R. Portanto o Teorema de Weierstrass (ao menos na verso do Teorema 32.3, pgina 1564) segue do Teorema de Fejr. a a e A rec proca tambm verdadeira. Para prov-la seja f () uma funo cont e e a ca nua e 2-peridica denida no intervalo o [, ]. Temos, naturalmente que f () = f (), devido ` continuidade e ` periodicidade. No retngulo fechado a a a R = [1, 1]2 R2 dena-se a funo F (x1 , x2 ) = f (), sendo 1 x1 1 e 1 x2 1, com = x2 + x2 e ca 1 2 = arctan(x2 /x1 ), ou seja, x1 = cos e x2 = sen . E claro que F cont e nua e, pelo Teorema 32.5, pgina 1569, F a pode ser uniformemente aproximada em R por polinmios em x1 e x2 , ou seja, por polinmios em cos e sen . O o o c rculo unitrio = 1 est inteiramente contido no retngulo fechado R e nele a funo F igual a f . Conclu a a a ca e mos disso que f pode ser uniformemente aproximada por polinmios em cos e sen , ou seja, por polinmios trigonomtricos, o o e provando que o Teorema de Fejr segue do de Weierstrass. e

32.4.4

Convergncia de Sries de Fourier e e

Os n cleos de Dirichlet u

Dado um polinmio trigonomtrico p, vimos em (32.52)(32.54) que podemos escrever o e


n

p(x) =
k=n

1 2

eiky p(y) dy eikx =

Dn (x y) p(y) dy ,

onde, para cada n N0 , denimos Dn (x) :=


30 Jean-Pierre 31 Yitzhak

1 2

eikx .
k=n

(32.79)

Kahane (1926). Katznelson (1934). 32 A referncia original : J-P Kahane and Y. Katznelson, Sur les ensembles de divergence des sries trignomtriques, Studia Mathematica, e e e e 26 305-306, (1966). 33 Lennart Axel Edvard Carleson (1923). A referncia original : L. Carleson, On convergence and growth of partial sums of Fourier e e series. Acta Math., 116, 135-157 (1966).

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1588/1992

Essas funes Dn so denominadas ncleos de Dirichlet. Perceba-se que expresses como (32.55), (32.57) ou (32.58) co a u o podem ser re-escritas na forma

Sm (f, x) =

Dm (x y)f (y) dy ,

f (x) =

lim

Dm (x y)f (y) dy .

As questes que colocamos acima a respeito das sries de Fourier podem ser respondidas com um melhor conhecimento o e dos ncleos de Dirichlet. Suas propriedades bsicas encontram-se enunciadas na proposio que segue. u a ca Proposio 32.9 Denindo ca Dn (x) := 1 2
n

eikx ,
k=n

(32.80)

n N0 , valem as seguintes armaes: cada Dn uma funo contnua, par e 2-peridica. Vale co e ca o

Dn (x) dx = 1

(32.81)

para todo n N0 e vale a expresso mais explcita a Dn (x) = tambm para todo n N0 . e Prova. Que cada Dn cont e nua e 2-peridica evidente. Que cada Dn uma funo par evidente por (32.82), que o e e ca e provaremos abaixo. A relao (32.81) segue facilmente das relaes de ortogonalidade (32.53), pois ca co

1 sen (n + 1 )x 2 , x=0, 2 sen x 2

com

Dn (0) =

2n + 1 , 2

(32.82)

Dn (x) dx =

1 2

eikx dx =
k=n

k, 0 = 1 .

k=n

Para provar (32.82), escrevemos, para x = 0, Dn (x) = 1 2


n

eikx =
k=n

einx 2

2n

eikx
k=0

einx 1 ei(2n+1)x 2 1 eix 1 einx ei(n+1)x 1 ei(n+1/2)x ei(n+1/2)x 1 sen (n + 1 )x 2 . = = ix ix/2 eix/2 2 1e 2 2 e sen x 2

Acima, na passagem da primeira para a segunda linha, usamos a bem-conhecida expresso da soma de uma progresso a a geomtrica e m 1 am+1 ak = , (32.83) 1a
k=0

vlida para m N e a = 1. Que Dn (0) = (2n + 1)/2 evidente pela denio (32.80). a e ca Apesar de os ncleos de Dirichlet no serem uma seqncia delta de Dirac 2-peridica, tal como denido a pgina u a ue o ` a 1582 (falta-lhe a propriedade 2 da denio daquelas), poss provar que, sob hipteses convenientes sobre a funao ca e vel o c f , seus efeitos so semelhantes `queles descritos no Teorema 32.8, pgina 1583. As prximas pginas tratam disso. a a a o a O Lema de Riemann-Lebesgue

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1589/1992

Proposio 32.10 Sejam fk os coecientes de Fourier de uma funo contnua e 2-peridica f : R C. Ento, ca ca o a lim fk = 0.

Prova. Se f cont e nua e 2-peridica e > 0, existe, pelo Teorema 32.9, um polinmio trigonomtrico 2-peridico p o o e o tal que |f (x) p (x)| para todo x [, ]. Como p um polinmio trigonomtrico, seus coecientes de Fourier e o e (p )k = 1 p (x)eikx dx anulam-se para todo |k| maior que um dado K() N. Assim, para |k| > K() tem-se 2
1 (f (x) p (x))eikx dx |f (x) p (x)|dx 2 . 2 Logo, provamos que para todo > 0 existe N () := K(/ 2) > 0 tal que |fk | para todo |k| > N (). Por deniao, c isso signica que lim fk = 0.

|fk | =

1 2

f (x)eikx dx =

1 2

Essa proposio pode ser fortemente generalizada. ca Teorema 32.10 (Lema de Riemann-Lebesgue) Seja f : [, ] C uma funo integrvel (no sentido de Lebesca a gue). Ento, lim fk = 0. a
k

Prova. Toda funo integrvel pode ser aproximada por uma funo cont ca a ca nua e 2-peridica na norma L1 , ou seja, para o cada > 0 existe uma funo cont ca nua e 2-peridica f tal que |f (x) f (x)|dx . Assim, de f (y) eiky dy = o iky dy + f (y) eiky dy, obtemos (f (y) f (y)) e 2|fk | =
1 2

f (y) eiky dy

|f (y) f (y)| dy +

f (y) eiky dy +

2 |(f )k | .

Pela Proposio 32.10, podemos obter |(f )k | tomando |k| grande o suciente e, assim, para tais ks vale |fk | ca 1+ , completando a prova.

Nota.

O Lema de Riemann-Lebesgue tem uma histria interessante. Sua primeira demonstraao foi obtida por Riemann em uma tese, o c apresentada ` Universidade de Gttingen em 1854 e publicada em 1867, intitulada Sobre a representabilidade de uma funo por uma a o ca srie trigonomtrica34 , tese essa requerida para a obtenao do t e e c tulo de Privatdozent que lhe permitiria dar aulas na universidade (e cobrar ` e por elas dos alunos. A poca, na Alemanha, somente professores titulares eram contratados das universidades e recebiam salrios das a mesmas). As regras exigiam que o candidato redigisse uma tese e apresentasse um seminrio sobre um tema diferente diante de uma banca. a O candidato propunha quatro temas para o seminrio dos quais um era escolhido pelo decano da instituiao. Riemann props trs temas a c o e sobre Eletromagnetismo e um sobre Geometria. No caso de Riemann o decano era ningum menos que Gauss, que escolheu o tema de e Geometria, pois soubera que Riemann tinha idias bastante originais a respeito. A escolha no poderia ter sido melhor, pois o seminrio de e a a Riemann fez Histria35 e lanou as bases do que hoje se denomina Geometria Riemanniana (vide Cap o c tulo 31, pgina 1462, espacialmente a a Seo 31.4, pgina 1492), cuja importncia ` Teoria da Relatividade Geral bem-conhecida. Mas a tese escrita versava sobre a teorias das ca a a a e sries de Fourier e para a obteno dos seus resultados, em particular, do que hoje conhecido como Lema de Riemann-Lebesgue, Riemann e ca e percebeu a necessidade de apresentar uma denio mais precisa da noao de integral da que era empregada at ento. Nascia a a chamada ca c e a integral de Riemann. O estudante poder acompanhar em [62] uma demonstraao do Lema de Riemann-Lebesgue prxima ` linha original a c o a de Riemann e aperceber-se da necessidade de preciso da noao de integral naquele contexto. Nossa demonstraao de acima seguiu outras a c c linhas. Posteriormente, Lebesgue estendeu a noo de integral de Riemann e reobteve uma prova do Teorema 32.10 para a classe das funes ca co integrveis segundo Lebesgue. a

O seguinte teorema, devido a Dini36 , generaliza resultados anteriores de Dirichlet e desempenha um papel importante no estudo da convergncia de sries de Fourier. Suas conseqncias mais relevantes sero enunciadas aps sua e e ue a o demonstrao. ca Teorema 32.11 (Condio de Dini) Seja f : R C integrvel e 2-peridica e seja x R tal que ca a o
t tulo original Uber die Darstellbarkeit einer Function durch eine trigonometrische Reihe. e contedo do seminrio foi publicado sob o t u a tulo Sobre as hipteses que fundamentam a Geometria (Uber die Hypothesen welche o der Geometrie zu Grunde liegen). 36 Ulisse Dini (18451918).
34 O 35 O

A condio de Dini ca

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1590/1992

1. Existem os dois limites laterais lim f (x + t) e lim f (x + t), que denotamos por f (x+ ) e f (x ), respectivamente.
t0+ t0

2. Existe > 0 tal que


0

|Df (x, y)| dy < , y

(32.84)

onde Df (x, y) := f (x + y) + f (x y) (f (x+ ) + f (x )) . Ento, a


n

lim Sn (f, x) =

f (x+ ) + f (x ) . 2

Prova. Usando (32.50) podemos escrever Sn (f, x) = Dn (y)f (x y)dy. Como Dn uma funo par, a ultima integral e ca pode tambm ser escrita como Dn (y)f (x y)dy = Dn (y)f (x + y)dy. Assim, podemos escrever, e Sn (f, x) = Usando tambm (32.81), obtemos e Sn (f, x) f (x+ ) + f (x ) 1 = 2 2

1 2

Dn (y) f (x + y) + f (x y) dy

Dn (y)Df (x, y) dy =
0

Dn (y)Df (x, y) dy ,

(32.85)

A ultima igualdade provm do fato que Df (x, y) = Df (x, y). Para 0 < < podemos escrever e Sn (f, x) f (x+ ) + f (x ) = 2

Dn (y)Df (x, y) dy +
0

Dn (y)Df (x, y) dy .

(32.86)

Comecemos nossa anlise pela primeira integral em (32.86). O integrando a e Dn (y)Df (x, y) = A funo ca
y 2

1 sen n + 1 y 2 Df (x, y) = sen 2 sen y 2

n+

1 2

y 2

sen

y 2

Df (x, y) . y
2

sen ( y ) 2

crescente em todo intervalo [0, ] (mostre isso!) e, portanto, limitada superiormente por e
1 |Df (x, y)| . 2 y

sen ( ) 2

= 1. 2

Assim, naquele intervalo, |Dn (y)Df (x, y)|


0

Logo, para primeira integral em (32.86) temos 1 2


0

Dn (y)Df (x, y) dy
|Df (x, y)| y 0

|Df (x, y)| dy y

Escolhendo pequeno o suciente podemos obter

dy em funo da condio (32.84). ca ca


0

Com esse assim xado, passemos agora ` segunda integral em (32.86). Usando (32.82), a mesma ca a 1 2
0

einy [, ] (y)

eiy/2 Df (x, y) 2i sen (y/2)

dy

1 2

einy [, ] (y)

eiy/2 Df (x, y) 2i sen (y/2)

dy

(32.87)

onde [, ] a funo caracter e ca stica do intervalo [, ]: 1, y [, ] ,

[, ] (y) =

0, y [, ] .

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1591/1992

f 1 so integrveis (note que a singularidade de sen (y/2) em y = 0 eliminada a a e Agora, as funes [, ] (y) co 2i sen (y/2) pelo fator [, ] (y)). Assim, aplica-se o Lema de Riemann-Lebesgue, Teorema 32.10, e as integrais em (32.87) podem ser feitas menores que qualquer > 0 prescrito, tomando |n| grande o suciente. Isso completa a demonstraao. c

eiy/2 D (x, y)

Aps o Teorema 32.11 a questo que naturalmente se coloca saber para quais tipos de funes f a condiao de o a e co c Dini satisfeita. H duas classes de funes de maior interesse (especialmente no contexto de aplicaoes a equaoes e a co c c diferenciais): as cont nuas e as cont nuas por partes. As proposies que seguem renem esses casos. co u Proposio 32.11 I. Suponha que f : R C seja Hlder37 -contnua em um ponto x [, ], ou seja, satisfaa ca o c |f (x) f (y)| |x y| (32.88)

Condies de convergncia pontual de sries de Fourier co e e

para todo y em um intervalo [x , x + ], para algum > 0, algum 0 e algum > 0. Ento, f satisfaz a condio a ca de Dini (32.84) em x. II. Se f : R C no for contnua em x mas existirem os limites laterais lim f (x + t) =: f (x+ ) e lim f (x + t) =: a
t0+ t0

f (x ) e de sorte que existam constantes > 0, M+ 0 e M 0 tais que f (x + y) f (x+ ) y M+ e f (x y) f (x ) y M (32.89)

para todo 0 < y , ento a condio de Dini (32.84) satisfeita em x. a ca e Prova. I. Por (32.88), f cont e nua em x e, portanto, Df (x, y) = f (x + y) + f (x y) 2f (x). Assim, para y [, ] valer a |Df (x, y)| = Logo,
0

f (x + y) f (x) + f (x y) f (x)

f (x + y) f (x) + f (x y) f (x)
0

(32.88)

2|y| .

|Df (x, y)| dy 2 y

y 1 dy =

2 < .

II. Para todo y (0, ], |Df (x, y)| = y f (x + y) f (x+ ) + f (x y) f (x ) y o que claramente implica a condio de Dini (32.84). ca Chegamos `s conseqncias mais relevantes da Condio de Dini: a ue ca Teorema 32.12 (Teorema de Fourier) A. Se f : R C contnua, diferencivel para todo x R e 2-peridica, e a o ento a lim Sn (f, x) = f (x)
n

f (x + y) f (x+ ) f (x y) f (x ) + y y

(32.89)

M+ + M ,

para todo x R, ou seja, a srie de Fourier de f converge pontualmente a f . e


37 Otto

Ludwig Hlder (18591937). o

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1592/1992

B. Se f : R C contnua por partes e 2-peridica e as derivadas laterais e o f (x+ ) := lim existirem para todo x R, ento a
n s0+

f (x + s) f (x+ ) s

f (x ) := lim f (x+ ) + f (x ) 2

s0

f (x + s) f (x ) s

lim Sn (f, x) =

para todo x R. Prova. A. Se f cont e nua e diferencivel em x, ento f Hlder-cont a a e o nua com = 138 (justique!). B. Se existem f (x ), como denidos acima, ento valem as relaes em (32.89) (justique!). a co Que a srie de Fourier de uma funo cont e ca nua por partes converge ao valor mdio (f (x+ ) + f (x ))/2 foi sugerido e pelo prprio Fourier, com base em diversos exemplos, em seu trabalho de 1822 Thorie Analytique de la Chaleur . A o e primeira demonstrao correta foi obtida por Dirichlet em 1828. Antes de Dirichlet, Poisson39 e Cauchy40 apresentaram ca demonstraes falhas. A natureza no-trivial dos erros desses autores discutida em [129]. co a e Inverso de integrais denidas com a srie de Fourier a e

Na Seo 32.1, pgina 1552, mencionamos o fato bsico que se tivermos uma seqncia de funes fn que converge ca a a ue co
b b n

uniformemente a uma funo f em um intervalo nito [a, b], ento valer lim ca a a

fn (x)dx
a

=
a

lim fn (x) dx

(se as integrais existirem), ou seja, podemos inverter a tomada do limite da seqncia pela integrao. Um ponto muito ue ca interessante, e importante, sobre as sries de Fourier, que, sobre condies adequadas, poss inverter a tomada do e e co e vel limite por integrais denidas em intervalos nitos, mesmo quando as mesmas sries no so uniformemente convergentes. e a a Mas precisamente, mostraremos no que segue que as condies do Teorema de Fourier, Teorema 32.12, pgina 1591, so co a a sucientes para garantir a possibilidade de se inverter a tomada do limite de sries de Fourier por integrais denidas em e intervalos nitos. Teorema 32.13 Seja f : R C uma funo 2-peridica satisfazendo as condies A ou B do Teorema de Fourier, ca o co Teorema 32.12. Seja Sn (f, x) sua srie de Fourier: e Sn (f, x) := eikx fk , 2 k=n
b n

com

fk :=
b

eikx f (x) dx . 2 Sn (f, x) dx, ou seja,

Ento, para quaisquer a, b com < a b < vale a


b n b

f (x) dx = lim
a

a n

f (x) dx = lim
a

fk
k=n a

fk eikb eika eikx (b a)f0 dx = + lim . n 2 2 ik 2 k=n


k=0

Comentamos que o teorema acima pode ser generalizado de modo a abarcar no apenas as funes f que satisfaam a co c do Teorema de Fourier, mas tambm todas as funes f L2 ([, ], dx) (vide Teorema 32.15, pgina 1601). Nesse e co a caso, a demonstrao ainda mais simples que a que apresentamos a seguir, mas os pr-requisitos para sua elaboraao ca e e c so mais avanados, pois faz-se uso da propriedade de completeza dos polinmios trigonomtricos. a c o e s f0 Prova do Teorema 32.13. Seja a funo F : R C denida por F (s) := ca f (x) dx. Essa integral est bem a 2 0 denida pois f cont e nua ou cont nua por partes, com limites laterais nitos, pela hiptese que f satisfaz as condioes A o c
38 Ou

seja, f Lipschitz-cont e nua. Denis Poisson (17811840). 40 Augustin Louis Cauchy (17891857).
39 Simon e

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1593/1992

ou B do Teorema de Fourier, Teorema 32.12. Pelas mesmas razes F , para todo s R, cont o e nua e diferencivel, com a f0 F (s) = f (s) . 2 Alm disso, fcil provar que F peridica de per e e a e o odo 2. De fato, para todo s R vale
s+2

(32.90)

F (s + 2) F (s) =

f0 f (x) 2

dx =

f0 f (x) 2

dx =

f (x)dx

2f0 = 0 ,

sendo que na segunda igualdade usamos (32.51) (j que o integrando 2-peridico) e na ultima igualdade usamos a a e o denio de f0 . ca Com isso, estabelecemos que tambm a funo F satisfaz as hipteses do Teorema de Fourier, e podemos escrever e ca o F (s) = lim eiks Fk , n 2 k=n
n

com

Fk :=

eiks F (s) ds , 2

com a srie de Fourier de F convergindo pontualmente a F para todo s, j que F cont e a e nua. Observemos agora que, por integrao por partes, vale para todo k = 0, ca Fk = 1 ik 2

deiks ds

F (s) ds

(1)k 1 F () F () ik 2 ik 2
=0

eiks F (s) ds

(32.90)

1 ik 2

eiks

f0 f (s) 2

ds =

fk . ik

Para calcular o coeciente F0 usamos o fato evidente que F (0) = 0. Como F cont e nua, sua srie de Fourier converge e n 1 a F em toda parte (novamente pelo Teorema de Fourier). Calculando-a em s = 0, segue que 0 = lim Fk , n 2 k=n donde conclu mos que n n fk F0 = lim Fk = lim . n n ik k=n k=n
k=0 k=0

Como

s 0

f (x)dx =

sf 0 2

+ F (s), provamos que


s 0

F0 fk eiks sf0 f (x)dx = + + lim 2 2 n k=n ik 2


k=0

e como

b a

f (x)dx =

b 0

f (x)dx

a 0 b

f (x)dx, conclu mos que f (x)dx = fk eikb eika (b a)f0 + lim , n 2 ik 2 k=n
k=0

como quer amos demonstrar.

32.4.4.1

Sries de Fourier em Senos ou Co-Senos para Funoes Denidas em Intervalos e c Compactos

Aqui trataremos de um resultado da teoria das sries de Fourier que se refere a expanses em sries de senos ou co-senos de e o e funes denidas em intervalos compactos, como o intervalo [0, L], L > 0. Esses resultados tm aplicaoes na resoluao co e c c de problemas de valor inicial de certas equaes diferenciais parciais, como o problema da corda vibrante ou da equaao co c de difuso, das quais trataremos no Cap a tulo 19, pgina 832. O principal resultado a a e

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1594/1992

Proposio 32.12 Para L > 0, seja f : [0, L] C uma funo contnua e diferencivel ou contnua por partes e tal ca ca a que as derivadas laterais f (x+ ) := lim f (x + s) f (x+ ) s0+ s e f (y ) := lim f (y + s) f (y ) s0 s

existam para todo x [0, L) e todo y (0, L], respectivamente. Ento, tem-se a I. Srie de Fourier de senos. Para todo x [0, L] vale e f (x) = onde, para x [0, L], f (x) :=
k=1

Ak sen

k x L

f (x+ )+f (x ) 2

se x (L, L) , se x = 0 ou x = L . k y L

0, 2 L
L

e onde

Ak :=

sen
0

f (y) dy .

II. Srie de Fourier de co-senos. Para todo x [0, L] vale e

onde, para x [0, L], f (x) :=

f (x) =

k=0

Bk cos

k x L

e onde B0 := 1 L
0 L

f (0+ ) ,
f (x+ )+f (x ) 2

se x = 0 , , se x (L, L) , se x = L ,
L

f (L ) , Bk := 2 L

f (y) dy

cos
0

k y L

f (y) dy ,

para k N .

e dena-se f : R C por f (x) := f1 x mod 2L , x R, o que equivale a dizer que se y R da forma y = x + 2kL e (y) = f1 (x). com x [L, L] e k Z, ento f a

Prova. Parte I. Para a demonstrao necessitamos considerar uma extenso 2L-peridica ca a o mpar da funao f . Dena-se c primeiramente f1 : [L, L] C por f (x) , se x (0, L) , f1 (x) := 0, se x = 0 ou se x = L , f (x) , se x (L, 0) ,

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1595/1992

A funo f ca e mpar (i.e., f (x) = f (x) para todo x R), 2L-peridica e, em funo das propriedades supostas de o ca continuidade e diferenciabilidade por partes da funo f , satisfaz as condies do Teorema de Fourier, Teorema 32.12, ca co pgina 1591. Justique! Conclu a mos daquele teorema e de (32.59) que para todo x R vale f (x+ ) + f (x ) = lim n 2
n k=n

e fk

i k x L

2L

com

fk =

L L

ei L y f (y) dy . 2L

(32.91)

Agora, evidente pela denio de f , e pelo fato de ser uma funo e ca ca mpar, que fk =
L L

ei L y i f (y) dy = 2L 2L

sen
L

k y L

f (y) dy = i

2 L

sen
0

k y L

f (y) dy .

(32.92)

Disso extrai-se tambm que fk = fk para todo k Z. Com isso, a primeira equao em (32.91) escreve-se e ca
k k f (x+ ) + f (x ) 1 = fk ei L x ei L x 2 2L k=1

k=1

Ak sen

k x L

onde, para k N, Ak := i O interesse por (32.91) (x+ ) = f

2 2 fk = L L

sen
0

k y L

f (y) dy .

se d para x [0, L], em cujo caso temos a f (0+ ) , f (x+ ) , f (L ) , se x = 0 , se x (L, L) , se x = L , e

de onde obtemos, para x [0, L],

f (0 ) , + f (x ) = f (x ) , f (L ) , se x (L, L) , se x = 0 ou x = L .

se x = 0 , se x (L, L) , se x = L ,

Isso provou a parte I.

f (x+ ) + f (x ) = 2

f (x+ )+f (x ) 2

0,

e dena-se f : R C por f (x) := f1 x mod 2L , x R, o que equivale a dizer que se y R da forma y = x + 2kL e com x [L, L] e k Z, ento f (y) = f1 (x). a A funo f par (i.e., f (x) = f (x) para todo x R), 2L-peridica e, em funo das propriedades supostas de ca e o ca continuidade e diferenciabilidade por partes da funo f , satisfaz as condies do Teorema de Fourier, Teorema 32.12, ca co pgina 1591. Justique! Conclu a mos daquele teorema e de (32.59) que para todo x R vale f (x+ ) + f (x ) = lim n 2
n

Parte II. Para a demonstrao necessitamos considerar uma extenso 2L-peridica par da funo f . Dena-se primeica a o ca ramente f1 : [L, L] C por f (x) , se x [0, L] , f1 (x) := f (x) , se x [L, 0) ,

k=n

e fk

i k x L

2L

com

fk =

L L

ei L y f (y) dy . 2L

(32.93)

Agora, evidente pela denio de f , e pelo fato de ser uma funo par, que e ca ca fk =
L L

ei L y 1 f (y) dy = 2L 2L

cos
L

k y L

f (y) dy =

2 L

cos
0

k y L

f (y) dy .

(32.94)

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1596/1992

Disso extrai-se tambm que fk = fk para todo k Z. Com isso, a primeira equao em (32.93) escreve-se e ca
fk 1 k f (x+ ) + f (x ) k = + fk ei L x + ei L x 2 2L 2L k=1

k=0

Bk cos

k x L

onde

1 f0 B0 := = L 2L Bk := 2 2 fk = L L
L

f (y) dy ,
0

e onde, para k N,

cos
0

k y L

f (y) dy .

de onde obtemos, para x [0, L],

O interesse por (32.93) se d para a f (0+ ) , f (x+ ) = f (x+ ) , f (L ) ,

x [0, L], em cujo caso temos se x = 0 , se x (L, L) , se x = L , e f (x ) =

f (0+ ) ,

se x = 0 , se x (L, L) , se x = L ,

f (x ) , f (L ) ,

Isso provou a parte II.

f (x+ ) + f (x ) = 2

f (0+ ) ,
f (x+ )+f (x ) 2

se x = 0 , , se x (L, L) , se x = L .

f (L ) ,

E. 32.7 Exerccio. Seja L > 0. Usando, por exemplo, as frmulas de prostafrese (32.67)(32.69), demonstre as relaoes o e c seguintes relaes: co 0 , se n = m , L m n cos y cos y dy = m, n N0 , (32.95) L , se n = m = 0 , L L 0 L se n = m = 0 , 2 ,
L

sen
0

m y sen L

n y dy L

L m, n , 2

m, n N , 0, se n = m ,
m+n

(32.96)

cos
0

m y sen L

n y dy L

L n n2 m2

1 (1) Nm cos

se n = m ,

m, n N0 .

(32.97)

A expresso (32.95) informa-nos que conjunto de funes a co e N0 =


2 L 1 L,

m L y

, m N0 , com Nm =

2 L

para m = 0

um conjunto ortonormal em L2 [0, L], dx . A expresso (32.96) informa-nos que conjunto de funoes e a c , mN um conjunto ortonormal em L2 [0, L], dx . De (32.97) vemos que as funoes cos e c
m L y

sen

m L y

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1597/1992

m N0 , no so sempre ortogonais a todas as funes sen n y , n N, no intervalo [0, L], pois o lado direito de (32.97) a a co L anula-se se e somente quando m + n for par. E interessante ao estudante comparar as relaes (32.95)(32.97), acima, com as relaes (32.62)(32.64), da pgina 1582. co co a Tanto o conjunto de funes co
2 Nm = L para m = 0 e N0 = ortonormais completas nesse espao. c 2 L

sen

m L y

, m N quanto o conjunto de funes Nm cos co

m L y

, m N0 , com

1 L,

so conjuntos ortonormais completos em L2 [0, L], dx , ou seja, compes bases a o

32.4.5

Revisitando a Aproximao Uniforme de Funes Cont ca co nuas e Peridicas o por Polinmios Trigonomtricos o e

Somas de Ces`ro a
n

Se am , m N uma seqncia de nmeros complexos a expresso lim An , onde An a seqncia das somas parciais e ue u a e ue
n

An :=
m=0

am , caso o limite exista, dene, como bem sabido, o que se denomina uma srie, a srie associada ` seqncia e e a ue
n

am . Assim, uma srie convergir se e somente se o limite da seqncia formada pelas somas parciais acima convergir. e a ue Notacionalmente, uma srie tambm denotada por e e e am , caso o limite lim An = lim
n m=0 n

am exista.
m=0

A soma de Ces`ro41 da seqncia am (tambm denominada srie de Ces`ro, ou mdia de Ces`ro, associada a seqncia a ue e e a e a ` ue am ), denida por e n n m 1 1 lim Am = lim ap . n n + 1 n n + 1 m=0 m=0 p=0 caso o limite exista. Como se v, a srie de Ces`ro de uma seqncia am formada pelo limite (caso exista) da mdia e e a ue e e das somas parciais da seqncia am . ue a E fcil demonstrar que se uma srie converge a um valor a, ento o limite de sua srie de Ces`ro tambm existe e e a e a e tambm vale a. De fato, se Am converge a a, ento para todo > 0 existe N () tal que |Am a| < para todo m > N (). e a Tomando n > N (), teremos
N ()

1 1 1 Am a = Am + n + 1 m=0 n + 1 m=0 n+1

m=N ()+1

Am a
N () n

1 1 = Am + n + 1 m=0 n+1
N ()

m=N ()+1

(Am a) +

N () + 1 n+1

a.

Para xo, o termo


N ()+1 n+1

1 Am vai a zero quando n , pois o nmero de termos somados xo. O termo u e n + 1 m=0 1 n+1
n m=N ()+1

a claramente tambm vai a zero quando n . Por m, para a soma e

(Am a) temos a

majorao ca 1 n+1
41 Ernesto

m=N ()+1

1 (Am a) n+1

m=N ()+1

1 |Am a| n+1

=
m=N ()+1

n N () < . n+1

Ces`ro (18591906). a

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1598/1992

Logo, lim sup


n n

1 n+1

m=N ()+1

(Am a) <
n

1 1 Am a < . Como > 0 arbitrrio, estabelecemos que lim e a Am = a, como n n + 1 n + 1 m=0 n m=0 quer amos provar. Assim, lim sup O interessante sobre as sries de Ces`ro que existem seqncias cujas sries no possuem limite, mas cujas sries de e a e ue e a e Ces`ro convergem. Um exemplo bsico a seqncia am = (1)m . Suas somas parciais valem An = ((1)n + 1)/2, ou a a e ue seja, An = 1 se n par e An = 0 se n e e mpar. Claramente limn An no existe. Porm, sua srie de Ces`ro existe, a e e a com n 1 1 lim Am = , n n + 1 2 m=0 como fcil constatar. e a H diversos outros tipos de sries como a de Ces`ro, que podem produzir somas convergentes para sries noa e a e a convergentes. O livro clssico sobre esse assunto Divergent Series, de G. H. Hardy42 [86], um estimulante texto, de a e rara elegncia de estilo na literatura matemtica. a a O n cleo de Fejr u e

Vamos agora redemonstrar o Teorema 32.9, lanando outra luz sobre seu signicado. c Seja Fn (x) denida para todo x R por Fn (x) := 1 Dm (x) . n + 1 m=0
n

(32.98)

Como se v, trata-se da mdia da soma parcial das seqncia dos ncleos de Dirichlet, ao estilo das supracitadas mdias e e ue u e de Ces`ro. Cada funo Fn denominada ncleo de Fejr43 . a ca e u e Para o que segue importante estabelecer algumas propriedades dos ncleos de Fejr, o que feito na prxima e u e e o proposio, a qual estabelece que as funes Fn formam uma seqncia delta de Dirac 2-peridica. ca co ue o Proposio 32.13 Para todo n N0 os ncleos de Fejr Fn denidos em (32.98) satisfazem: ca u e 1. Fn contnua, par e 2-peridica. e o 2. Fn (x) 0 para todo x R.

3.

Fn (y) dy = 1.

4. Valem as frmulas mais explcitas o 1 2(n + 1) sen


(n+1) 2 sen x 2

Fn (x) =

, x=0, = 0.

Fn (0) =

n+1 . 2

(32.99)

5. Para todo com 0 < < vale


n

lim sup Fn (x), |x|

(32.100)

Ou seja, para todo com 0 < < a seqncia de funes Fn converge uniformemente ` funo nula na regio ue co a ca a [, ] [, ].
42 Godfrey 43 Lipt o

Harold Hardy (18771947). Fejr (18801959). e

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1599/1992

Prova. O item 1 evidente pelas propriedades correspondentes do ncleo de Dirichlet (Proposio 32.9, pgina 1588). O e u ca a item 3 evidente por (32.81). e Por (32.82), vale Fn (0) = n+1 1 (2m + 1) = (prove isso!) e para x = 0, 2(n + 1) m=0 2
1 sen (m + 2 )x 1 2(n + 1) m=0 sen x 2 n n

Fn (x)

:=

1 4i(n + 1) sen 1 4i(n + 1) sen 1 4i(n + 1) sen 1

n x 2 m=0

eix/2 eimx eix/2 eimx


n n

x 2

eix/2
m=0

eimx eix/2

eimx
m=0

(32.83)

x 2

eix/2

1 ei(n+1)x 1 eix

eix/2

1 ei(n+1)x 1 eix

8(n + 1) sen 1

x 2

ei(n+1)x 2 + ei(n+1)x ei(n+1)x/2 ei(n+1)x/2 x 2


2

8(n + 1) sen 1 2(n + 1) sen

x 2

(n+1) 2 sen x 2

Isso estabeleceu o item 4 e, por conseguinte, o item 2. Para demonstrar o item 5, consideremos x [, ] para algum 0 < < . Por (32.99), |Fn (x)|
2

1 2(n + 1)
cos( x ) 2

1 sen

2 x 2

(32.101)

Agora, no intervalo [, ] tem-se

d dx

1 sen ( x ) 2

( sen ( x )) 2

< 0 o que signica dizer que a funo do lado direito de ca

(32.101) decrescente e, portanto, assume seu valor mximo em x = , o in do intervalo [, ]. Logo, e a cio |Fn (x)| 1 2(n + 1) 1 sen
2 2

(32.102)

0 uniformemente em [, ] [, ].

Essa desigualdade vale tambm no intervalo [, ], pois Fn par. A desigualdade (32.102) implica que lim |Fn (x)| = e e
n

Estabelecemos que Fn uma seqncia delta de Dirac 2-peridica e, se f uma funo cont e ue o e ca nua e 2-peridica o sabemos pelo Teorema 32.8, pgina 1583, que a

Fn (f, x) :=

Fn (x y) f (y) dy

converge uniformemente a f em R. Claro est que a Fn (f, x) = 1 n + 1 m=0


n

Dm (x y) f (y) dy =

1 Sm (f, x) , n + 1 m=0

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1600/1992

mostrando que Fn (f, x) a mdia de Ces`ro das somas parciais de Fourier. A armao que toda funao cont e e a ca c nua e 2-peridica pode ser aproximada uniformemente pela mdia de Ces`ro de suas somas de Fourier parciais conhecida o e a e como Teorema de Fejr, resultado provado por aquele autor no ano de 1900. Naturalmente, isso diz que toda funao e c cont nua e 2-peridica pode ser aproximada uniformemente por um polinmio trigonomtrico, fato que j estudamos o o e a sob a forma do Teorema 32.9, pgina 1585. A distino entre o Teorema de Fejr e aquele teorema o tipo de ncleo de a ca e e u Dirac usado em ambos os casos e o fato de o Teorema de Fejr trazer uma relao com as mdias de Ces`ro. e ca e a

32.4.6

Sries de Fourier e o Espao de Hilbert L2 ([, ], dx) e c

Completeza dos polinmios trigonomtricos. Identidade de Parseval o e

A teoria das sries de Fourier intimamente ligada ` teoria dos espaos de Hilbert, que desenvolvemos no Cap e e a c tulo einx 34, pgina 1721. Nesse contexto desempenha um papel fundamental o fato de as funes en (x) = , n Z, formarem a co 2 2 um conjunto ortonormal completo em L ([, ], dx) (para a denio da noo de conjunto ortonormal completo e ca ca suas e propriedades, vide pgina 1733 e seguintes). Esse o contedo do seguinte teorema: a e u Teorema 32.14 Seja H = L2 ([, ], dx) o espao de Hilbert das funes de quadrado integrvel em [, ] em c co a a co relao ` medida de Lebesgue dx e cujo produto escalar f, g = [, ] f (x)g(x) dx, f, g H. Ento, as funes ca a e einx en (x) = , n Z, compe um conjunto ortonormal completo em H. Assim, para todo g H vale o 2 g = e g
2 n= n=

en , g en

(32.103)

| en , g | ,

(32.104) de H,

sendo g := g, g a norma de g em H. A convergncia da srie em (32.103) se d em relao ` norma e e a ca a ou seja, tem-se


N N

lim

en , g en
n=N

= 0.

A demonstrao apresentada na Seo 32.6.3, pgina 1610, como caso particular da Proposio 32.21, pgina 1612, ca e ca a ca a e com uso de resultados do Cap tulo 34, pgina 1721. Vide comentrios que sucedem o enunciado da Proposiao 32.21. a a c A identidade (32.104) denominada identidade de Parseval44 , que a deduziu em 1805. Se, por exemplo, g for uma e funo cont ca nua ou cont nua por partes em [, ] (situaes essas encontradas em muitas aplicaes da teoria das sries co co e de Fourier, por exemplo, ` soluo de equaes diferenciais), teremos g L2 ([, ], dx) e, portanto, a ca co g(x) = einx gn 2 n=

com

gn :=

einx g(x) dx , 2

n Z ,

com a srie convergindo no sentido da norma de L2 ([, ], dx), sendo que pela identidade de Parseval valer e a

|g(x)|2 dx =

n=

|gn |2 .

Nos exerc cios da Seo 32.7, pgina 1613, apresentamos alguns usos dessa identidade. ca a
44 Marc-Antoine

Parseval de Chnes (17551836). e

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1601/1992

Inverso de integrais denidas com a srie de Fourier. Generalizao para L2 ([, ], dx) a e ca

Vamos agora apresentar um resultado que garante a possibilidade de inverter integrais de Lebesgue em intervalos compactos de uma funo de L2 ([, ], dx) com sua srie de Fourier, generalizando o Teorema 32.13, pgina 1592. ca e a eikx f (x)dx, k Z, seus coecientes de Fourier. 2
n

Teorema 32.15 Seja f L2 ([, ], dx) e sejam fk := Ento, para quaisquer a, b com [a, b] [, ] vale a
n b

[, ]

f dx = lim
[a, b]

fk
k=n a

fk eikb eika eikx (b a)f0 dx = + lim , n 2 2 ik 2 k=n


k=0

(32.105)

a integrao do lado esquerdo sendo entendida no sentido de Lebesgue. Se g : R C for uma periodizao de perodo ca ca 2 de uma funo f de L2 ([, ], dx), ento [a, b] g dx tambm dada pelo lado direito de (32.105), mas agora para ca a e e qualquer intervalo [a, b] com < a b < . einx Prova. Pelo Teorema 32.14, pgina 1600, o conjunto en (x) = , n Z, forma um conjunto ortonormal completo a 2
n

em L ([, ], dx) e podemos escrever f = lim L2 ([, ], dx), onde fk := ek , f =


[, ]

fk ek com a convergncia se dando no sentido da norma de e


k=n

eikx f (x)dx para todo k Z. 2

Seja [a, b] a funo caracter ca stica do intervalo [a, b] (ou seja, [a, b] (x) = 1 e x [a, b] e [a, b] (x) = 0 e x [a, b]). E evidente que [a, b] L2 ([, ], dx) e que o produto escalar [a, b] , f igual ` integral de Lebesgue de f em [a, b]: e a [a, b] , f = [a, b] f dx. Logo,
n n

f dx = [a, b] , f
[a, b]

[a, b] , lim

fk ek
k=n

lim

fk [a, b] , ek
k=n n b

lim

fk
k=n a

eikx dx 2
n

fk eikb eika (b a)f0 + lim , n 2 ik 2 k=n


k=0

provando (32.105) para f L2 ([, ], dx). Na terceira igualdade acima usamos a continuidade e a linearidade do produto escalar. Seja agora g : R C for uma periodizao de per ca odo 2 de uma funo f de L2 ([, ], dx), e seja [a, b] um ca intervalo compacto de R. Podemos escrever [a, b] = [a, b] [n, (n + 2)] , uma unio disjunta nita (pois a
nZ

[a, b] compacto) de conjuntos Borelianos (por serem intervalos fechados). Assim, e


[a, b]

g dx =
nZ An

g dx com

An := [a, b] [n, (n + 2)], sendo a soma acima, ipso facto, nita. Em cada intervalo [n, (n + 2)] a funao g o c e transladado de f . Assim, para cada n, devido ` invarincia translacional da medida de Lebesgue, a a
An

g dx =
Bn

f dx,

com Bn sendo o conjunto An transladado de (n + 1): Bn := [a (n 1), b (n 1)] [, ]. Ao lado direito aplica-se agora (32.105) e disso segue facilmente a validade de (32.105) tambm para g. e

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1602/1992

32.5

O Teorema de Stone-Weierstrass

A primeira verso do Teorema de Weierstrass, Teorema 32.3, acima, arma que qualquer funo cont a ca nua f , real ou complexa, denida em um intervalo compacto [a, b] pode ser uniformemente aproximada por polinmios denidos nesse o intervalo. Em muitas aplicaes (como na demonstrao do Teorema Espectral. Vide Seo 35.9, pgina 1887) estamos co ca ca a interessados em aproximar funes cont co nuas denidas em conjuntos compactos outros que no simples intervalos, por a exemplo, em conjuntos de Cantor (vide Seo 27.3, pgina 1289). Uma generalizao do Teorema 32.3 se faz, portanto, ca a ca necessria. Uma forte generalizao daquele teorema foi obtida por Stone45 em 1937 e dedicamo-nos agora a apresent-la. a ca a Se X um espao topolgico compacto, denotamos por C(X, R) (ou por C(X, C)) o conjunto de todas as funoes e c o c cont nuas em X assumindo valores em R (respectivamente, em C). E bastante claro que uma combinao linear complexa de funes continuas em X assumindo valores em C novamente ca co e uma funo cont ca nua assumindo valores em C, assim como claro que o produto usual de duas funes cont e co nuas em X assumindo valores em C novamente uma funo cont e ca nua em X assumindo valores em C. Isso signica que C(X, C) uma lgebra complexa (por ser um espao vetorial complexo) em relao ao produto usual de funes. Analogamente, e a c ca co C(X, R) uma lgebra real em relao ao produto usual de funes. e a ca co As lgebras C(X, R) e C(X, C) so lgebras Abelianas (pois o produto usual de funes comutativo) e tambm a a a co e e so lgebras unitais, pois a funo constante igual a 1 pertence a C(X, R) e a C(X, C) e age como elemento neutro a a ca da multiplicao. Denotamos a funo constante igual a 1 tambm por 1. Que 1 cont ca ca e e nua segue da observaao que a c pr-imagem de qualquer aberto em R ou C pela funo constante ou o conjunto vazio ou todo X, que aberto por e ca e e e denio. ca Sabemos pelo Corolrio 23.1, pgina 1170, que os conjuntos C(X, R) e C(X, C) so completos na mtrica uniforme a a a e d , denida por d (f, g) := sup f (x), g(x) , x X
xX

Uma sub-lgebra B de C(X, R) (de C(X, C)) um subespao vetorial real de C(X, R) (complexo de C(X, C)) que a e c por si s uma lgebra com relao ao produto usual de funes. B dita ser unital se 1 B. Dizemos que B separa e o a ca co e pontos se para cada par x1 , x2 X com x1 = x2 existir uma funo b B tal que b(x1 ) = b(x2 ). ca Se B uma sub-lgebra complexa de C(X, C), dizemos que B conjugada se a funo complexo-conjugada b e a e ca pertencer a B sempre que b B.

para todas f, g C(X, R) ou C(X, C). Observe que f g := d (f, g) uma norma em C(X, R) ou em C(X, C). e Tudo isso signica que C(X, R) e C(X, C) so lgebras de Banach (para a norma ) Abelianas e unitais. a a

Teorema 32.16 (Teorema de Stone-Weierstrass) I. Seja X compacto e B uma sub-lgebra de C(X, R) que seja a unital e que separe pontos. Ento, B = C(X, R), onde B o fecho de B na topologia mtrica denida pela norma . a e e Assim, se c C(X, R) ento para todo > 0 existe b B tal que sup |c(x) b(x)| < . a
xX

II. Seja X compacto e B uma sub-lgebra complexa de C(X, C) que seja unital, conjugada e que separe pontos. a Ento, B = C(X, C), onde B o fecho de B na topologia mtrica denida pela norma . a e e Assim, se c C(X, C) ento para todo > 0 existe b B tal que sup |c(x) b(x)| < . a
xX

Depois de apresentarmos a demonstrao desse importante teorema mostraremos como ele generaliza alguns resultados ca que provamos anteriormente. Prova do Teorema de Stone-Weierstrass. A parte II segue da parte I e por isso trataremos da parte I (o caso real) primeiro. Prova da parte I. O caso real. A primeira observao a fazer que B uma sub-lgebra de C(X, R). Isso se deve ao seguinte. Primeiramente do ca e e a fato que B C(X, R) e C(X, R) completa e, portanto, fechada (Proposio 25.11, pgina 1251) segue que e ca a B C(X, R) . (32.106)
45 Marshall Harvey Stone (19031989). Para comentrios sobre a gnese do Teorema de Stone-Weierstrass, vide M. Stone, A reminiscence a e on the extension of the Weierstrass approximation theorem, Historia Math. 3 (1976), 328.

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1603/1992

e a ca a ue Que B uma lgebra, segue da observao que se fn e gn so seqncias de B(x) que convergem a f e g, respectivamente, na norma , ento a (f + g) (fn + gn )

|| f fn

+ || g gn

0 ,

provando que f + g B para todos , C. Fora isso, f g fn gn = f (g gn ) + g(f fn ) + (gn g)(f fn ) e, portanto, n f g fn gn f g gn + g f fn + gn g f fn 0 ,

A segunda observao a fazer que se h B, ento |h| B. Como h B C(X, R), a funo X x |h(x)| R+ ca e a ca cont e nua (por ser a composio das funes cont ca co nuas h e | |) e, portanto, pelo Teorema 30.16, pgina 1422, assume a um mximo H em X. a [0, H] uniformemente por polinmios, ou seja, existe para cada > 0 um polinmio p tal que o o Logo, para cada x X vale |h(x)| p (h(x)) < e, portanto, |h| p (h) amos. uma algebra). Logo, isso provou que |h| B, como quer f g := min{f, g} = 1 f +g f g 2 ,

provando que f g B.

Lembremos agora que pelo Teorema de Weierstrass, Teorema 32.3, a funo |t| pode ser aproximada no intervalo ca sup
t[0, H]

|t| p (t) < .

< . E claro que p (h) B (pois B e

Vamos agora introduzir para f, g B os elementos f g e f g de B denidos por f g := max{f, g} = 1 f +g+ f g 2 , (32.107)

com os quais B adquire a estrutura de um reticulado. Vide Seo 2.1.2, pgina 76 e, em particular, o Exemplo 2.3, ca a pgina 77. a Seja h C(X, R) e sejam r e s X dois pontos distintos quaisquer de X. Armamos que existe uma funao fr, s B c que igual a h nesses dois pontos, ou seja, tal que e fr, s (r) = h(r) e fr, s (s) = h(s) .

Para provar isso, lembremos que, como B separa pontos, existe uma funo g B tal que g(r) = g(s). Tomando ca fr, s (x) = 1 g(r) g(s) h(r) h(s) g(x) + h(s)g(r) h(r)g(s) 1 ,

vemos facilmente que fr, s satisfaz as propriedades desejadas e um elemento de B, pois esse um espao linear e contm e e c e a funo constante. ca Desejamos provar que h C(X, R) pode ser uniformemente aproximada por elementos de B. Para tal procedemos da seguinte forma. Seja > 0, arbitrrio. a Como fr, s e h coincidem no ponto s e ambas so cont a nuas, existe uma vizinhana aberta Vs de s tal que |fr, s (x) c h(x)| < para todo x Vs . Isso signica, que vale < fr, s (x) h(x) < para todo x Vs e, em particular, obtm-se e disso que fr, s (x) > h(x) vale para para todo x Vs . E claro que a fam de abertos {Vs , s X} cobre todo o conjunto X (pois, para cada s X tem-se s Vs , por lia construo). Como X compacto, existe (pela denio de compacidade, vide Seo 30.3, pgina 1404) uma fam ca e ca ca a lia nita {Vs1 , . . . , Vsn } que tambm cobre X. Naturalmente os pontos s1 , . . . , sn X so distintos. e a Ora, para cada k = 1, . . . , n tem-se, pela construo, ca fr, sk (x) > h(x) para todo x Vsk . Segue disso que a funo fr denida por ca fr := max fr, s1 , . . . , fr, sn = fr, s1 . . . fr, sn (32.108)

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1604/1992

satisfaz fr (x) > h(x) para todo x X. De fato, em cada Vsk vale fr (x) fr, sk (x) vlida. e a
(32.108)

(32.109)

>

h(x) e como os Vsk cobrem todo X a armaao c

Pelos comentrios ao in da demonstrao sabemos que a funo fr um elemento de B C(X, R) e, portanto, a cio ca ca e uma funo cont e ca nua. O que faremos agora imitar aos passos de acima para obter uma desigualdade oposta. Observemos primeiramente e que no ponto r vale fr (r) = h(r), pois fr (r) = max fr, s1 (r), . . . , fr, sn (r) = max h(r), . . . h(r), = h(r) .

Isso implica que existe uma vizinhana aberta Ur do ponto r tal que |fr (x) h(x)| < para todo x Ur , ou seja, c < fr (x) h(x) < para todo x Ur , o que, em particular, arma que fr (x) < h(x) + para todo x Ur . E claro que a fam de abertos {Ur , r X} cobre todo o conjunto X (pois, para cada r X lia e tem-se r Ur , por construo). Como X compacto, existe uma fam nita {Ur1 , . . . , Urm } que tambm cobre X. ca e lia Naturalmente os pontos r1 , . . . , rm X so distintos. a Ora, para cada k = 1, . . . , m tem-se, pela construo, ca frk (x) < h(x) + para todo x Urk . Segue disso que a funo f denida por ca f := min fr1 , . . . frm satisfaz f (x) < h(x) + para todo x X. De fato, em cada Urk vale f (x) frk (x) vlida. a
(32.110)

(32.110)

= f r1 . . . f rm (32.111)

<

h(x) + e como os Urk cobrem todo X a armaao c e

Pelos comentrios ao in da demonstrao sabemos que a funo f um elemento de B C(X, R) e, portanto, a cio ca ca e e uma funo cont ca nua. Notemos agora que, (32.109) implica tambm que e f (x) > h(x) (32.112)

para todo x X, pois cada fr1 (x), . . . frm (x) satisfaz essa desigualdade e f (x) o m e nimo deles. Provamos ento que a h(x)
(32.111)

<

f (x)

(32.112)

<

h(x) +

para todo x X, o que implica f (x) h(x) < para todo x X, o que implica f h

< .

Coletando nossos resultados, provamos que dado > 0 existe f B tal que f h < . Isso provou que todo elemento de C(X, R) uniformemente aproximvel por um elemento de B. Pela Proposio 25.10, pgina 1251 segue que e a ca a C(X, R) est contido no fecho de B (que j fechado), ou seja, C(X, R) B. Por (32.106), isso implica C(X, R) = B, a ae completando a prova da parte I. Prova da parte II. O caso complexo. Pelo mesmo racioc nio do caso II, temos tambm aqui que e B C(X, C) . (32.113)

1 Como B conjugada, se b B ento B e, portanto, Re (b) = 1 (b + e Im (b) = 2i (b so tambm elementos e a b b) b) a e 2 de B, j que B um espao vetorial complexo. Note-se que tanto Re (b) quanto Im (b) so funes com valores em R a e c a co

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1605/1992

e, portanto, elementos de C(X, R). Vamos denotar por BR o conjunto de todas as funes Re (b) ou Im (b) para todos co os elementos b B. Como Im (b) = Re (ib), podemos alternativamente denir BR := {Re (b), b B}. E evidente que BR B e que BR C(X, R).

que BR tambm unital. Agora, se x1 e x2 so dois pontos distintos de X sabemos que existe b B tal que b(x1 ) = b(x2 ) e e a pois, por hiptese, B separa pontos. Mas isso implica ou que Re (b)(x1 ) = Re (b)(x2 ) ou que Im (b)(x1 ) = Im (b)(x2 ) o (ou ambos). Lembremos que Im (b)(x1 ) = Im (b)(x2 ) signica Re (ib)(x1 ) = Re (ib)(x2 ). Isso mostrou que BR tambm e separa pontos. Como vemos, BR satisfaz as hipteses da parte I e conclu o mos que toda funo de C(X, R) pode ser uniformemente ca aproximada por elementos de BR . Seja agora h C(X, C). Podemos escrever h = Re (h) + iIm (h), com Re (h) e Im (h) sendo funes reais e cont co nuas e, portanto, elementos de C(X, R). Escolhamos > 0. Pela parte I e pelas consideraes acima, existem, b1 e b2 BR tais que Re (h) b1 co Im (h) b2 < /2. Logo, denindo b B por b = b1 + ib2 , teremos hb

Se b1 e b2 so elementos de B e , R, teremos que Re (b1 ) + Re (b2 ) = Re (b1 + b2 ) BR . Alm disso, a e 1 e a Re (b1 )Re (b1 ) = 2 Re (b1 b2 ) + Re (b1 b2 ) BR . Isso provou que BR uma lgebra real. Naturalmente 1 BR , de modo

< /2 e

Re (h) b1 + i Im (h) b2

Re (h) b1

+ Im (h) b2

< .

Isso provou que todo elemento de C(X, C) uniformemente aproximvel por um elemento de B, ou seja, que C(X, C) e a B. Com (32.113) isso completa a demonstrao ca O seguinte teorema, devido a Kakutani46 e Krein47 , possui hipteses ligeiramente diferentes das do Teorema de o Stone-Weierstrass para o caso real. Teorema 32.17 (Teorema de Kakutani-Krein) Seja X compacto e B um subconjunto de C(X, R) com as seguintes propriedades: 1. B um espao vetorial real, 2. B contm a unidade. 3. B separa pontos, 4. se f e g B ento e c e a f g = min{f, g} e f g = max{f, g} (vide (32.107)) so tambm elementos de B. Ento, B = C(X, R), onde B o a e a e fecho de B na topologia mtrica denida pela norma . e Assim, se c C(X, R) ento para todo > 0 existe b B tal que sup |c(x) b(x)| < . a
xX

Prova. As hipteses acima diferem das da parte I do Teorema 32.16 pois no supomos aqui que B forma uma algebra o a real, mas apenas que seja um espao linear real e um reticulado com as operaes binrias f g = min{f, g} e c co a f g = max{f, g}. Contudo, observando a demonstrao da parte I do Teorema 32.16, notamos que a hiptese de B ca o ser uma lgebra usada apenas para justicar a existncia de f g e de f g em B. Portanto, se assumirmos que tais a e e f g = min{f, g} e f g = max{f, g} so elementos de B, o resto da demonstrao segue sem modicaoes. a ca c Generalizando o Teorema de Weierstrass para conjuntos compactos

Se = 0 o polinmio p(x) = x, x R, bijetor e, portanto, separa pontos. Essa simples observao mostra que se o e ca C R compacto, ento a lgebra B de todos os polinmios em R restritos a C satisfaz as hipteses do Teorema de e a a o o Stone-Weierstrass, Teorema 32.16, pgina 1602. Conclu a mos que uma das conseqncias do Teorema de Stone-Weierstrass ue a seguinte generalizao do Teorema de Weierstrass, Teorema 32.3, pgina 1564: e ca a Teorema 32.18 (Teorema de Weierstrass) Seja f uma funo real ou complexa, contnua em um conjunto compacto ca C R. Ento, f pode ser aproximada uniformemente em C por polinmios, ou seja, para todo > 0 existe um polinmio a o o p tal que p f = sup |p (x) f (x)| .
xC
46 Shizuo 47 Mark

Kakutani (19112004). Grigorievich Krein (10971989).

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1606/1992

32.6

Completeza de Algumas Fam lias de Funes co

Nesta seo o leitor ser apresentado a algumas demonstraes da propriedade de completeza de algumas fam ca a co lias de funes de maior interesse. Devido ` natureza do problema, sero utilizados resultados da teoria de integraao co a a c demonstrados e discutidos em outros cap tulos deste texto. De particular relevncia so as noes de espao de Hilbert e de a a co c conjunto ortogonal completo em espaos de Hilbert, discutidas no Cap c tulo 34, pgina 1721, cuja leitura imprescind a e vel para a compreenso do que segue. a Como conseqncia dos nossos esforos estabeleceremos a possibilidade de aproximar certas funes pertencentes a ue c co certos espaos de Hilbert por certos conjuntos completos de funes em tais espaos. c co c

32.6.1

Completeza de Polinmios Ortogonais em Intervalos Compactos o

Para o tratamento de polinmios ortogonais em intervalos compactos o teorema a seguir, o qual uma conseqncia do o e ue Teorema de Weierstrass (Teorema 32.3, pgina 1564), de importncia fundamental: a e a Proposio 32.14 Seja [a, b] R um intervalo fechado, com b > a, e seja r uma funo positiva e integrvel no ca ca a b intervalo [a, b], ou seja, tal que a r(x)dx seja nita. Seja f uma funo contnua denida em [a, b]. Ento, ca a
b a

f (x) xn r(x) dx = 0

(32.114)

vlida para todo n N0 , se e somente se f 0 em [a, b]. e a Prova. Precisamos provar que se a f (x)xn r(x) dx = 0 para todo n e f cont e nua, ento f identicamente nula. Como a e |f | cont e nua em um intervalo compacto, |f | assume um mximo M nesse intervalo, com M = maxx[a, b] |f (x)| (Teorema a 30.16, pgina 1422). Pelo Teorema de Weierstrass, Teorema 32.3, pgina 1564, existe para todo > 0 um polinmio p a a o tal que |f (x) p(x)| para todo x [a, b]. Com esse polinmio p, podemos escrever o
b a b

|f (x)|2 r(x) dx =
b

f (x)p(x) r(x) dx +
a a

f (x) f (x) p(x) r(x) dx .

Agora, pela hiptese (32.114), o


a

f (x)p(x) r(x) dx = 0, pois p, como todo polinmio, pode ser escrito como uma como

binao linear nita dos monmios xn . Fora isso, ca o


b a b

f (x) f (x) p(x) r(x) dx

|f (x)| |f (x) p(x)| r(x) dx M R ,

onde R :=

b a

r(x)dx. Conclu mos que


b a

|f (x)|2 r(x) dx M R

e como arbitrrio, isso implica e a como quer amos provar.

b a

|f (x)|2 r(x) dx = 0. Como f cont e nua isso implica que f identicamente nula, e

A Proposio 32.14 arma que a unica funao cont ca c nua que ortogonal a todos os polinmios a funao nula. e o e c b Ortogonalidade aqui entendida em relao ao produto escalar f, g r := a f (x)g(x) r(x)dx denido no espao de e ca c Hilbert das funes de quadrado integrvel em relao ` medida r(x)dx, ou seja, que satisfazem co a ca a
b a

|f (x)|2 r(x)dx < .

Denotaremos esse espao de Hilbert por L2 ([a, b], r(x)dx), como de praxe. E claro que as funes cont c co nuas denidas no intervalo [a, b] so todas de quadrado integrvel e, portanto, so elementos do espao de Hilbert L2 ([a, b], r(x)dx). Mas a a a c nem todas as funes de quadrado integrvel so cont co a a nuas. A armao da Proposio 32.14 pode, porm, ser estendida ca ca e ao espao L2 ([a, b], r(x)dx). Esse o contedo da proposio que segue. c e u ca

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1607/1992

Proposio 32.15 Seja [a, b] R um intervalo fechado, com b > a, e seja r uma funo positiva e integrvel no ca ca a b b intervalo [a, b], ou seja, tal que a r(x)dx seja nita. Seja k, l r := a k(x)l(x)r(x)dx o produto escalar denido por r e L2 ([a, b], r(x)dx) o correspondente espao de Hilbert de funes de quadrado integrvel. Ento, para g c co a a L2 ([a, b], r(x)dx) a relao ca
b

g(x) xn r(x) dx = 0
a

(32.115)

vlida para todo n N0 , se e somente se g = 0 quase em toda parte em [a, b]. e a


x

Prova. Dena-se G(x) :=


a

g(y)r(y)dy. G cont e nua e diferencivel com G (x) = g(x)r(x) quase em toda parte. E a
b a

claro que G(a) = 0 e que G(b) = partes diz-nos que 0


(32.115) b a b

g(y)r(y)dy = 0 por (32.115) (para o caso particular n = 0). Assim, integraao por c
b a b a

g(x) xn r(x) dx =

G (x) xn dx = G(b)bn G(a)an n


=0

G(x) xn1 dx .

e nua, podemos aplicar a Proposiao c Portanto, conclu mos que a G(x) xn1 dx = 0 para todo n 1. Como G cont 32.14, agora para o caso r 1, para concluir que G identicamente nula. Como G (x) = g(x)r(x) quase em toda parte, e isso implica que g nula quase em toda parte. e Seja agora uma fam de polinmios pn (x) em [a, b] para todo n N0 , sendo que cada polinmio pn tem grau n lia o o e sendo que os polinmios pn (x) sejam ortonormais em relao ao produto escalar denido por r, ou seja, satisfazem o ca pm , pn r = m, n para todos m, n (uma tal fam sempre pode ser obtida a partir de p0 (x) := R1/2 pelo procedimento lia de ortogonalizao de Gram-Schmidt. Vide Seo 3.3, pgina 198). Como cada polinmios pm (x) tem grau m, cada ca ca a o monmio xn pode ser escrito como uma combinao linear nita de polinmios pm (x) com m n. E da evidente que a o ca o Proposio 32.15 equivale ` ca a Proposio 32.16 Seja [a, b] R um intervalo fechado, com b > a, e seja r uma funo positiva e integrvel no ca ca a b b intervalo [a, b], ou seja, tal que a r(x)dx seja nita. Seja k, l r := a k(x)l(x)r(x)dx o produto escalar denido por r e L2 ([a, b], r(x)dx) o correspondente espao de Hilbert de funes de quadrado integrvel. Seja pn (x), com n N0 , uma c co a famlia de polinmios, cada pn sendo de grau n, que sejam ortonormais em relao ao produto escalar , r , ou seja, o ca os polinmios pn satisfazem pm , pn r = m, n para todos m, n. Ento, para g L2 ([a, b], r(x)dx) a relao o a ca
b

g(x) pn (x) r(x) dx = 0


a

(32.116)

vlida para todo n N0 , se e somente se g = 0 quase em toda parte em [a, b]. e a De acordo com as denies do Cap co tulo 34, pgina 1721, a Proposio 32.16 diz-nos que L2 ([a, b], r(x)dx) um a ca e espao de Hilbert separvel e que a fam de polinmios ortonormais pn forma um conjunto ortonormal completo em c a lia o L2 ([a, b], r(x)dx) (vide pgina 1733). Pelos Teoremas 34.5 e 34.6, pginas 1734 e 1736, respectivamente, vale para todo a a g L2 ([a, b], r(x)dx) g(x) = sendo g r := relao ` norma ca a

pn , g

pn (x)

2 r

n=0

n=0

| pn , g r | ,

(32.117)

g, g r a norma de g em L2 ([a, b], r(x)dx). A convergncia da primeira srie em (32.117) se d em e e a r de L2 ([a, b], r(x)dx), ou seja, tem-se
N N

lim

pn , g
n=0

pn
r

= 0.

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1608/1992

Completeza dos polinmios de Legendre o

Aplicando os fatos acima aos polinmios de Legendre Pn , estudados na Seo 14.2.1, pgina 632, conclu o ca a mos que os 2n+1 2 polinmios normalizados Qn (x) := o 2 Pn (x), n 0, formam um conjunto ortonormal completo em L ([1, 1], dx) (para as relaes de ortogonalidade dos polinmios de Legendre, vide (14.37)). Assim, em particular, conclu co o mos que toda g L2 ([1, 1], dx) pode ser expandida em uma srie de polinmios de Legendre como e o g(x) =
n=0

Qn , g

Qn (x) =

2n + 1 2 n=0

Pn (y) g(y) dy
1

Pn (x) ,

srie essa que converge na norma de L2 ([1, 1], dx). Para uma aplicao no-trivial dessa expresso, faa o Exerc e ca a a c cio E. 14.29, pgina 681. a Completeza dos polinmios de Tchebychev o Os chamados polinmios de Tchebychev Tm (x) := cos m arccos(x) , x [1, 1] e m N0 , foram introduzidos na o Seo 13.1.5, pgina 568 (vide, em especial, pgina 569) e satisfazem as relaes de ortogonalidade dadas em (14.127), ca a a co 1 pgina 655. Sabemos que a funo r(x) = 1x2 positiva e integrvel no intervalo (1, 1). Sabemos que cada Tm a ca e a um polinmio de grau m. Devido a (14.127), pgina 655, sabemos que os polinmios de Tchebychev normalizados e o a o Qn (x) := Tn (x)/ Kn , n N0 , com K0 = /2 e Kn = para n 0, compe um conjunto ortonormal no espao o c de Hilbert L2 (1, 1),
1 1x2

dx . Assim, aplica-se a Proposio 32.16, pgina 1607, e conclu ca a mos que os polinmios o
1 1x2

de Tchebychev normalizados compe um conjunto ortonormal completo no espao de Hilbert L2 (1, 1), o c Assim, em particular, conclu mos que toda g L2 (1, 1), de Tchebychev como g(x) =
n=0 1 1x2

dx .

dx pode ser expandida em uma srie de polinmios e o

Qn , g

Qn (x) =

1 Kn n=0 dx .

Tn (y) g(y)
1

1 1 y2

dy

Tn (x) ,

srie essa que converge na norma de L2 (1, 1), e

1 1x2

32.6.2

Completeza de Polinmios de Hermite o

O tratamento que zemos acima da propriedade de completeza de polinmios ortogonais em intervalos fechados faz o uso crucial do Teorema de Weierstrass, Teorema 32.3, pgina 1564. Infelizmente esse teorema vlido apenas em a e a intervalos compactos, e para o tratamento de relaes de ortogonalidade de polinmios ortogonais denidos em regies co o o no-compactas, como os polinmios de Hermite, outras idias tm que ser seguidas. Nesse sentido, o seguinte resultado a o e e essencial: e Proposio 32.17 Seja f L2 (R, ex dx). Ento, as integrais ca a

2

xn f (x)ex dx

so nulas para todo n inteiro, n 0, se e somente se f for nula. a Prova. (De [102], com adaptaes). Para todo z C e todo n inteiro, n 0, tem-se que a funo h(x) := xn eizx co ca 2 2 2 pertence a L2 (R, ex dx), pois x2n e2izxx dx < , como fcil de se mostrar. Dessa forma, se f L2 (R, ex dx) e a 2 2 ento o produto h(x)f (x) pertence a L1 (R, ex dx), ou seja, integrvel em R em relao ` medida d(x) := ex dx a e a ca a para todo z C e todo n inteiro, n 0. Isso pode ser visto pela desigualdade de Cauchy-Schwartz, que garante que |hf | d ( R |h|2 d)1/2 ( R |f |2 d)1/2 < . Assim, para todo n inteiro, n 0, a funo de varivel complexa ca a R 1 Fn (z) := 2

xn eizx f (x)ex dx

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1609/1992

est denida para todo z C. a

De particular interesse a funo F0 (z) = e ca

1 2

quando z R. Observe que essa funo de quadrado integrvel pois f (x)2 e2x f (x)2 ex o que implica que ca e a 2 2x2 2 x2 2 x2 dx f (x) e dx < pois f L (R, e dx). Isso signica que a transformada de Fourier de f (x) e f (x)ex existe e unica48 em L2 (R, dx), fato que usaremos logo adiante. e
2 2

2 eizx f (x)ex

dx, que a transformada de Fourier de f (x)ex e


2 2

Como o integrando de F0 , ou seja, eizx f (x)ex , uma funo inteira de z e a integral que dene F0 converge e ca 2 2 absolutamente e uniformemente em qualquer regio compacta (mostre isso usando o fato que |eizxx | = eIm (z)xx ), a segue que F0 (z) uma funo inteira de z (analogamente mostra-se que todas as funes Fn (z) so inteiras, mas isso e ca co a no ser usado). E agora fcil ver que para todo n a a a dn F0 (z) = (i)n Fn (z) . dz n Isso pode ser justicado diferenciando F0 (z) sob o signo de integrao, ou usando a frmula integral de Cauchy, ambas ca o justicadas pela convergncia uniforme da integral que dene F0 . Agora, como F0 inteira, F0 possui uma srie de e e e Taylor centrada em 0 que converge para todo z C, a qual dada por e 1 dn F0 F0 (z) = (0) z n = n! dz n n=0

(i)n Fn (0) z n . n! n=0

Dessa relao conclu ca mos que se Fn (0) = xn f (x)ex dx = 0 para todo n, ento F0 identicamente nula. Pela a e invertibilidade da transformada de Fourier em L2 (R, dx), isso signica que f nula. e

Completeza dos polinmios de Hermite o

As propriedades elementares dos chamados polinmios de Hermite foram estudadas na Seo 14.2.3, pgina 648, o ca a sendo as relaes de ortogonalidade apresentadas em (14.100), pgina 649. Os polinmios de Hermite so ortogonais no co a o a 2 espao de Hilbert L2 (R, ex dx) e mostraremos aqui que, devidamente normalizados, os mesmos formam um conjunto c ortonormal completo nesse espao de Hilbert. c

Como cada polinmio de Hermite Hn de grau n, conclu o e mos que podemos escrever cada monmio xm como como binaao linear nita de polinmios Hn com n m. Segue diretamente disso que a Proposio 32.17 equivalente c o ca e a ` Proposio 32.18 Seja f L2 (R, ex dx). Ento, as integrais ca a

2

Hn (x)f (x)ex dx

so nulas para todo n N0 , se e somente se f for nula. a A proposio (32.18) arma que L2 (R, ex dx) um espao de Hilbert separvel e que as funes normalizadas ca e c a co 2 1 Hn (x), para n N0 (vide (14.100)), formam um conjunto ortonormal completo em L2 (R, ex dx). n
2 n!
2

Como no caso dos polinmios de Legendre, conclu o mos que se f L2 (R, ex dx), ento podemos escrever a f (x) = onde Hn , f
48 A

n=0

2n n!

Hn , f Hn (x) ,

(32.118)

Hn (y)f (y)ey dy

transformada de Fourier invers e vel em

L2 (R,

dx). Vide Seao 33.2.1.4, pgina 1649. c a

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1610/1992

o produto escalar de Hn e f em em L2 (R, ex dx). A convergncia da srie em (32.118) se d no sentido da norma de e e e a 2 x2 L (R, e dx). Completeza dos polinmios de Laguerre o

Uma prova de completeza dos polinmios de Laguerre pode ser encontrada em [44]. o

32.6.3

Completeza dos Polinmios Trigonomtricos o e

De acordo com o Teorema 32.9, pgina 1585, toda funo denida em R que seja cont a ca nua e peridica de per o odo 2 pode ser uniformemente aproximada por polinmios trigonomtricos de per o e odo 2. De maneira semelhante ao que zemos no caso de aproximaes de funes cont co co nuas por polinmios, podemos concluir desse fato que certas fam o lias de polinmios o trigonomtricos formam um conjunto ortonormal completo em espaos de Hilbert como L2 ([a, a], r(x)dx), r sendo uma e c funo positiva e integrvel em [a, b] [, ]. A srie de resultados que veremos adiante segue muito de perto os ca a e resultados correspondentes da Seo 32.6.1. ca Proposio 32.19 Seja r uma funo integrvel no intervalo [a, b] [, ] (com a b) e positiva em (a, b), ou seja, ca ca a b tal que r(x) > 0 para todo x (a, b) e que a r(x)dx seja nita. Seja f uma funo contnua e peridica de perodo 2 ca o denida em [, ]. Ento, a
b a

f (x) einx r(x) dx = 0

(32.119)

vlida para todo n Z se e somente se f 0 em [a, b]. e a Prova. Como |f | cont e nua em um intervalo compacto, |f | assume um mximo M nesse intervalo, com M = a max |f (x)|.

x[, ]

Pelo Teorema 32.9, pgina 1585, existe para todo > 0 um polinmio trigonomtrico p de per a o e odo 2 tal que |f (x) p(x)| para todo x [, ]. Com esse polinmio trigonomtrico p, podemos escrever o e
b a

|f (x)|2 r(x) dx =
b

f (x)p(x) r(x) dx +
a a

f (x) f (x) p(x) r(x) dx .

Agora, pela hiptese (32.119), o


a

f (x)p(x) r(x) dx = 0, pois p, como todo polinmio trigonomtrico, pode ser escrito o e

como uma combinao linear nita dos monmios einx . Fora isso, ca o
b a b

f (x) f (x) p(x) r(x) dx

|f (x)| |f (x) p(x)| r(x) dx M R ,

onde R :=

b a

r(x)dx. Conclu mos que


b a b

|f (x)|2 r(x) dx M R

e como arbitrrio, isso implica a |f (x)|2 r(x) dx = 0. Como f cont e a e nua e r(x) > 0 em (a, b), isso implica que f e identicamente nula em [a, b], como quer amos provar. A Proposio 32.19 arma que a unica funo cont ca ca nua e peridica de per o odo 2 que ortogonal a todos os poe linmios trigonomtricos a funo nula. Ortogonalidade aqui entendida em relao ao produto escalar f, g r := o e e ca e ca b f (x)g(x) r(x)dx denido no espao de Hilbert L2 ([a, b], r(x)dx) das funes de quadrado integrvel em [a, b] em c co a a relao ` medida r(x)dx, ou seja, que satisfazem ca a
b a

|f (x)|2 r(x)dx < .

Denotaremos esse espao de Hilbert por Hr . A armao da Proposio 32.19 pode ser estendida ao espao Hr . Esse c ca ca c e o contedo da proposio que segue. u ca

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1611/1992

Proposio 32.20 Seja r uma funo integrvel no intervalo [a, b] [, ] (com a b) e positiva em (a, b), ou ca ca a b seja, tal que r(x) > 0 para todo x (a, b) e que a r(x)dx seja nita. Seja k, l r := k(x)l(x)r(x)dx o produto escalar denido por r e Hr L2 ([a, b], r(x)dx) o correspondente espao de Hilbert de funes de quadrado integrvel c co a em relap ` medida r(x)dx. Ento, para g Hr , a relao ca a a ca
b a

g(x) einx r(x) dx = 0

(32.120)

vlida para todo n Z se e somente se g = 0 quase em toda parte em [a, b]. e a


x

Prova. Dena-se G(x) :=


a

g(y)r(y)dy. G cont e nua e diferencivel com G (x) = g(x)r(x) quase em toda parte. E a
b a

claro que G(a) = 0 e que G(b) = diz-nos que 0


(32.120) b a

g(y)r(y)dy = 0, por (32.120) (para o caso particular n = 0). Integraao por partes c
b a b a

g(x) einx r(x) dx =

G (x) einx dx = (1)n G(b)einb G(a)eina in

G(x) einx dx .

Como G(a) = G(b) = 0, conclu mos que


b a

G(x) einx dx = 0

para todo n = 0 .

(32.121)

Como G anula-se em a e em b, G cont e nua e 2-peridica. Pela denio e por (32.121), vale o ca

Seja agora a extenso 2-peridica de G a todo R denida no intervalo [, ] por a o G(x) , se x [a, b] G := . 0, se x [, ] \ [a, b] G(x) einx dx = 0 para todo n = 0 .

(32.122)

Denotando G0 :=

1 2

G(y) dy, e denindo H(x) := G(x) G0 , conclu mos de (32.122) que


H(x) einx dx = 0 , G0 einx dx = G0


agora para todo n Z (lembrar que para n = 0,

einx dx = 0).

Como H cont e nua e 2-peridica, podemos aplicar a Proposio 32.19 (adotando, naquela Proposiao, o caso r 1 o ca c e [a, b] = [, ]), para concluir que H identicamente nula. Como 0 = H (x) = G (x) = g(x)r(x) quase em toda parte e em [a, b], isso implica que g nula quase em toda parte em [a, b]. e Uma fam de polinmios trigonomtricos per lia o e odo 2, pn (x), n Z, dita ser normal se todo monmio eimx puder e o ser escrito como uma combinao linear nita de polinmios pn . Suponhamos que os polinmios trigonomtricos de um ca o o e conjunto de polinmios normais pn (x) seja tambm ortonormais em relao ao produto escalar denido por r, ou seja, o e ca satisfazem pm , pn r = m, n para todos m, n (uma tal fam sempre pode ser obtida a partir de p0 (x) := R1/2 (com lia b R := a r(x)dx) pelo procedimento de ortogonalizao de Gram-Schmidt. Vide Seo 3.3, pgina 198). Como cada ca ca a monmio einx pode ser escrito como uma combinao linear nita de polinmios pm (x), evidente que a Proposiao o ca o e c 32.20 equivale ` a

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1612/1992

Proposio 32.21 Seja r uma funo integrvel no intervalo [a, b] [, ] (com a b) e positiva em (a, b), ou seja, ca ca a b b tal que r(x) > 0 para todo x (a, b) e que a r(x)dx seja nita. Seja k, l r := a k(x)l(x)r(x)dx o produto escalar denido por r e Hr L2 ([a, b], r(x)dx) o correspondente espao de Hilbert de funes de quadrado integrvel em relao c co a ca a ` medida r(x)dx. Seja pn (x), com n Z, uma famlia normal de polinmios ortonormais em relao ao produto escalar o ca , r , ou seja, todo monmio eimx pode ser escrito como uma combinao linear nita de polinmios pn os polinmios o ca o o pn satisfazem pm , pn r = m, n para todos m, n Z. Ento, para g Hr , a relao a ca
b

g(x) pn (x) r(x) dx = 0


a

(32.123)

vlida para todo n Z se e somente se g = 0 quase em toda parte em [a, b]. e a De acordo com as denies do Cap co tulo 34, pgina 1721, a Proposio 32.21 est dizendo-nos que Hr L2 ([a, b], r(x)dx) a ca a um espao de Hilbert separvel e que a fam normal de polinmios trigonomtricos ortonormais pn forma um conjunto e c a lia o e ortonormal completo em Hr (vide pgina 1733). Pelos Teoremas 34.5 e 34.6, pginas 1734 e 1736, respectivamente, vale a a para todo g Hr g(x) = e g sendo g r := g, g Hr , ou seja, tem-se
r 2 r

pn , g

pn (x)

(32.124)

n= n=

| pn , g r | ,

(32.125)
r

a norma de g em Hr . A convergncia da srie em (32.124) se d em relao ` norma e e a ca a


N N

de

lim

pn , g
n=N

pn
r

= 0.

einx o Naturalmente o caso mais importante se d com [a, b] = [, ] e r 1, onde a fam en (x) = , n Z, compe, a lia 2 de acordo com nossos resultados de acima, um conjunto ortonormal completo em L2 ([, ], dx). Tal resultado de e fundamental importncia para a teoria das sries de Fourier e o enunciado preciso foi antecipado na forma do Teorema a e 32.14, pgina 1600. a

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1613/1992

32.7

Exerc cios Adicionais


2 2

Sugestes gerais. Em vrios exerc o a cios abaixo deseja-se calcular integrais como 0 xm sen (2nx)dx ou 0 xm cos(2nx)dx, para n, m N. Integrais assim podem ser calculadas usando-se repetidamente o mtodo de integrao por partes, exe ca d 1 d 1 plorando o fato que, para n = 0, sen (2nx) = 2n dx cos(2nx) e cos(2nx) = 2n dx sen (2nx). Para integrais iy iy envolvendo a funo exponencial recomenda-se usar as frmulas de Euler para os senos e co-senos: sen y = e e , ca o 2i iy iy cos y = e +e . 2 Nos exerc cios que seguem, evocaremos tambm o Teorema de Fourier, Teorema 32.12, pgina 1591. e a E. 32.8 Exerccio. Seja f a funo peridica de per ca o odo 2 denida de forma que para 0 x 2 tenhamos x , para 0 x , f (x) := 2 x , para x 2 .

Faa um esboo do grco dessa funo e determine sua expanso em srie de Fourier. c c a ca a e

Faa um esboo do grco dessa funo e determine sua expanso em srie de Fourier. c c a ca a e

E. 32.9 Exerccio. Sejam L > 0 e x0 tal que 0 < x0 < L. Seja f a funo peridica de per ca o odo L denida de forma que para 0 x L tenhamos x , para 0 x x0 , x0 f (x) := Lx , para x0 x L . L x0 E. 32.10 Exerccio. Seja f a funo peridica de per ca o odo 1 denida de forma que para 0 x 1 tenhamos x, para 0 x 1/2 , f (x) := 0, para 1/2 < x 1 .

Faa um esboo do grco dessa funo e determine sua expanso em srie de Fourier. Segundo o Teorema de Fourier, a qual c c a ca a e valor a srie deveria convergir no ponto x = 1/2? Verique se tal verdade. e e E. 32.11 Exerccio. Seja f a funo peridica de per ca o odo 2 denida de forma que para 0 x < 2 tenhamos f (x) = x2 . Faa um esboo do grco dessa funo e determine sua expanso em srie de Fourier. Segundo o Teorema de Fourier, a qual c c a ca a e valor a srie deveria convergir no ponto x = 2? Verique se tal verdade. e e E. 32.12 Exerccio. Seja f a funo peridica de per ca o odo 2 denida de forma que para 0 x 2 tenhamos f (x) = (x )2 . Faa um esboo do grco dessa funo e determine sua expanso em srie de Fourier. Essa srie converge mais c c a ca a e e rapidamente que aquela da funo do Exerc E. 32.11? Por que? ca cio E. 32.13 Exerccio. Seja f a funo peridica de per ca o odo 2 denida de forma que para 0 x 2 tenhamos sen (x), para 0 x , f (x) := 0, para x 2 .

Faa um esboo do grco dessa funo e determine sua expanso em srie de Fourier. c c a ca a e

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1614/1992

a e ca o odo 2 denida no intervalo E. 32.14 Exerccio. Determine a expanso em srie de Fourier da funo peridica de per [0, 2) da seguinte forma: cos(x) , se 0 x , f (x) = 0, se < x < 2 . Faa um esboo do grco da funo e dos primeiros aproximantes da srie. c c a ca e e ca e o odo . E. 32.15 Exerccio. Calcule a srie de Fourier da funo f (x) = ( sen (x))2 , que peridica de per Essa funo tambm peridica de per ca e e o odo 2. Haver alguma mudana na srie de Fourier se adotarmos seu per a c e odo como sendo 2 ao invs de ? Justique. e E. 32.16 Exerccio. Determine a expanso em srie de Fourier da funo peridica de per a e ca o odo 2 denida no intervalo [0, 2] da seguinte forma: sen (x) 2 , se 0 x , f (x) = 0, se < x 2 . Faa um esboo do grco da funo e dos primeiros aproximantes da srie. c c a ca e E. 32.17 Exerccio. Determine a expanso em srie de Fourier da funo peridica de per a e ca o odo 2 denida no intervalo [0, 2) da seguinte forma: cos(x) 2 , se 0 x , f (x) = 0, se < x < 2 . Faa um esboo do grco da funo e dos primeiros aproximantes da srie. c c a ca e E. 32.18 Exerccio. As chamadas funes de Fresnel49 , C(x) e S(x), so denidas por co a
x

C(x) :=
0

cos t2 dt

S(x) :=
0

sen t2 dt ,

respectivamente50 , para todo x R. As integrais acima so ditas transcendentes por no poderem ser expressas em termos a a de somas, produtos ou composies nitas de funes elementares, como polinmios, funes trigonomtricas, exponenciais co co o co e e logaritmos. Outro exemplo de uma integral transcendente a chamara funo erro, denotada por erf(x) e denida por e ca 2 erf(x) := a. Mostre que
0
2

x 0

et dt ,

xR.

cos t2 dt =
0

sen t2 dt =

1 2

. 2

(32.126)

Sugesto: Integre a funo de varivel complexa ez ao a ca a longo da fronteira do setor circular 0 /4, 0 r R, 2 faa R tender ao innito e use o fato que 0 ex dx = 2 . c b. Mostre que
0
49 Augustin-Jean 50 As

t2 cos t2 dt =
Fresnel (17881827). funes de Fresnel so tambm denominadas integrais de Fresnel. co a e

1 x sen x2 S(x) 2

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1615/1992

e que
0

t2 sen t2 dt =

1 x cos x2 C(x) . 2

Sugesto: integrao por partes. a ca c. Considere a funo f : R R, peridica de per ca o odo 2 e denida de sorte que no intervalo [, ) tenhamos 0 , y 0 , f (y) := y, 0<y<. Determine sua srie de Fourier S(f, x) = e funes de Fresnel C e S. co d. Expresse a srie de Fourier obtida acima como uma srie de senos e co-senos, ou seja, na forma e e S(f, x) = A0 + An cos(nx) + Bn sen (nx) . 2 n=1 n=1

eikx fk , expressando os coecientes de Fourier fk em termos das 2 k=

Escreva os coecientes An , n 0 e Bn , n 1, em termos das funes de Fresnel C e S. co e. Mostre que a funo f , acima, no satisfaz as condies do Teorema de Fourier, Teorema 32.12, pgina 1591, mas ca a co a satisfaz a condio de Dini (vide Teorema 32.11, pgina 1589), ou seja, existe > 0, pequeno o suciente, tal que ca a
0

|Df (x, y)| dy < , y

onde Df (x, y) := f (x + y) + f (x y) f (x+ ) f (x ). Explicite, com base nesse fato, a quais valores a srie de e Fourier de f deve convergir em cada ponto. f. Usando (32.126), obtenha o comportamento assinttico dos coecientes de Fourier de f . o

E. 32.19 Exerccio. Seja M > 0 e seja f a funo peridica de per ca o odo 2M denida de forma que para M x M tenhamos M + x, para M x 0 , f (x) := M x, para 0 x M . Faa um esboo do grco dessa funo e determine sua expanso em srie de Fourier. c c a ca a e Usando o Teorema de Fourier e calculando a srie no ponto x = 0, mostre que e 1 2 = . (2n 1)2 8 n=1 Voc saberia como obter essa identidade por outros meios? e E. 32.20 Exerccio. Seja M > 0 e seja f a funo peridica de per ca o odo 2M denida de forma que para M x < M tenhamos f (x) = x2 . Faa um esboo do grco dessa funo e determine sua expanso em srie de Fourier. c c a ca a e Usando o Teorema de Fourier e calculando a srie no ponto x = M , mostre que e 1 2 = . n2 6 n=1

(32.127)

Essa clebre identidade foi obtida por Euler em 1735. Essa expresso tambm pode ser obtida com uso dos chamados nmeros e a e u de Bernoulli (denidos na Seo 6.1.1, pgina 256.). Vide expresso (6.16), pgina 257. ca a a a

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1616/1992

ca o odo 2 denida de forma que para 0 x < 2 tenhamos f (x) = ex/2 . E. 32.21 Exerccio. Seja f a funo peridica de per a. Faa um esboo do grco dessa funo e determine sua expanso em srie de Fourier. c c a ca a e b. Usando o Teorema de Fourier e calculando a srie no ponto x = 2, mostre que e 1 3e = . 2 n2 1 + 4 4(e 1) n=1 c. Usando o Teorema de Fourier e calculando a srie no ponto x = , mostre que e (1)n e 1 = 1 . 2 n2 1 + 4 2 e1 n=1

(32.128)

E. 32.22 Exerccio-dirigido. Seja f a funo peridica de per ca o odo 2 denida de forma que para x tenhamos f (x) := cos(x) , onde R, Z. a. Determine a expanso em srie de Fourier de f . a e b. Usando a expanso obtida, mostre que a
n=1

n2

1 1 = 2 2

1 cot()

(32.129)

Essa importante identidade vale para todo no-inteiro. Ela denominada frmula da cotangente de Euler, ou expanso a e o a em fraes parciais da funo cotangente, e foi obtida pela primeira vez por Euler em 1749, usando outros mtodos. co ca e Para uma outra elegante demonstrao (devida a Herglotz51 ) de (32.129) , vide Exerc E. 6.10, pgina 262. Para ca cio a uma demonstrao usando a chamada representao produto da funo seno, vide Exerc E. 7.5, pgina 279. ca ca ca cio a c. Usando a identidade (32.129), mostre que
n=1

4n2

1 1 = . 1 2

Sugesto. Tome = 1/2. a d. Usando a mesma identidade (32.129), mostre tambm que e 1 4 = . 16n2 1 8 n=1 Sugesto. Tome = 1/4. a e. Usando a identidade (32.129), mostre que para R, = 0,
n=1

n2

1 1 = 2 + 2

coth()

(32.130)

e obtenha disso que 1 = 2a tanh(a/2)

n=

a2

1 , + (2n)2

(32.131)

com a R, a = 0. Sugesto. Tome = i na identidade (32.129). O que justica podermos fazer isso? a
51 Gustav

Ferdinand Maria Herglotz (18811953).

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1617/1992

f. Reobtenha a identidade (32.128) tomando para tal = (2)1 . g. Usando os fatos acima, mostre que, para no-inteiro, a
n=1

n4

n2 = (coth() cot()) . 4 4 1 1 2n2 + 2 = 4 . 2 2 n + n 4 1 (coth() + cot()) 2

Sugesto. Explore o fato que a n2 h. Mostre que, para no-inteiro, a


n=1

n4

1 1 = 4 2 3

Sugesto. Explore o fato que a

1 1 2 2 2 = 4 . n2 2 n + 2 n 4

E. 32.23 Exerccio. Para a > 0, xo, seja ga a funo cont ca nua e peridica de per o odo 1 que no intervalo 0 x < 1 vale ga (x) = cosh a x Determine sua srie de Fourier e obtenha e ga (x) = 2a senh a 2 e2imx . a2 + (2m)2 m=

1 2

(32.132)

(32.133)

No Exerc E. 33.21, pgina 1657, a identidade (32.133) obtida a partir da chamada frmula de soma de Poisson. Compare cio a e o tambm (32.133)(32.132) com os resultados do Exerc E. 32.22, pgina 1616. e cio a E. 32.24 Exerccio. Seja M > 0 e seja f a funo peridica de per ca o odo 2M denida de forma que para M x M tenhamos M2 f (x) := x2 . 3 a. Mostre que sua expanso em srie de Fourier dada por a e e 4M 2 2 (1)n nx cos n2 M n=1

b. Aplicando a identidade de Parseval para essa expanso mostre que a 1 4 = . n4 90 n=1 Essa clebre identidade foi obtida por Euler em 1735 e tambm pode ser obtida com uso dos chamados nmeros de e e u Bernoulli (denidos na Seo 6.1.1, pgina 256.). Vide expresso (6.16), pgina 257. ca a a a c. Esta ltima identidade pode ser usada para determinar o valor de . Com o uso, por exemplo, de uma calculadora estime u a srie da esquerda calculando a soma dos seus, digamos, 10 primeiros termos e verique se a aproximao boa. e ca e

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1618/1992

ca o odo 2M denida de forma que para M x M E. 32.25 Exerccio. Seja M > 0 e seja f a funo peridica de per tenhamos f (x) = x3 M 2 x. a. Mostre que sua expanso em srie de Fourier dada por a e e 12M 3 3 (1)n sen n3 n=1

nx M

b. Aplicando a identidade de Parseval para essa expanso mostre que a 1 6 = . n6 945 n=1 Essa clebre identidade foi obtida por Euler em 1735 e tambm pode ser obtida com uso dos chamados nmeros de e e u Bernoulli (denidos na Seo 6.1.1, pgina 256.). Vide expresso (6.16), pgina 257. ca a a a c. Esta ltima identidade (assim como outras acima) pode ser usada para determinar o valor de . Com o uso, por exemplo, u de uma calculadora estime a srie da esquerda calculando a soma dos seus, digamos, 10 primeiros termos e verique se e a aproximao boa. ca e

E. 32.26 Exerccio. Algumas identidades trigonomtricas. e a. Mostre que para todo nmero complexo a e para todo n N0 vale u
n

ak =
k=0

1 an+1 . 1a

b. Usando a frmula de Euler cos(y) = o

eiy + eiy e a identidade do item a, mostre que 2


n

cos(kx) =
k=0

sen n + 1 x 1 2 1+ 2 sen x 2

c. Usando a frmula de Euler sen (y) = o


n

eiy eiy e a identidade do item a, mostre que 2i 1 2 sen (x) + sen (nx) sen ((n + 1)x) 1 cos(x) .

sen (kx) =
k=0

d. Usando a identidade do item b, mostre que a seqncia ue


n

rn (x) =
k=0

k sen (kx)

converge quando n apenas para x = m, onde m um inteiro. Nesses pontos tem-se, claramente, rn (x) = 0. e

E. 32.27 Exerccio. Considere a seqncia ue


n

sn (x) =
k=0

cos(2k! x) .

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1619/1992

Mostre que essa seqncia diverge sempre que x um nmero racional. Sugesto. Lembre-se que todo nmero racional da ue e u a u e forma p/q com p e q inteiros e note que k!(p/q) um inteiro sempre que k q (por que?). e Usando o teste M de Weierstrass, mostre que a seqncia de funes ue co
n

tn (x) =
k=1

1 sen (2k! x) k! 1 sen (2k! x) k!

uniformemente convergente. O limite e e t(x) =

k=1

e t deve ser, portanto, cont nua. Note que, pelo visto acima, a seqncia de derivadas tn = 2sn no convergente. Isso ue a e sugere que t, ainda que cont nua, no seja diferencivel em parte alguma e, de fato, isso correto. A prova que t no a a e a diferencivel em parte alguma um tanto complexa e, interessantemente, usa idias muito semelhantes `s do grupo de e a e e a renormalizao! A referncia [129] contm uma demonstrao de no-diferenciabilidade para uma funo muito semelhante ca e e ca a ca ` nossa t e recomendamos fortemente sua leitura ao estudante interessado. Outro tratamento anlogo de sries de Fourier a a e conduzindo a funes no-diferenciveis pode ser encontrado em [201]. co a a E. 32.28 Exerccio dirigido. O propsito deste exerc o de determinar a srie de Fourier da funo peridica de o cio e e ca o

per odo 2 dada por f () = cos , R, onde C satisfaz Re () > 1. Como cos negativa nos intervalos e (/2 + 2j, 3/2 + 2j), j Z, necessrio denir essa funo mais precisamente, indicando-se uma das ramicaoes de e a ca c (1) na sua denio. ca Denimos f : R C como sendo a funo peridica de per ca o odo 2 dada no intervalo (/2, 3/2] por cos , (/2, /2] , f () = cos , (/2, 3/2] ,

onde := ei(2l+1) , l Z. Diferentes escolhas de l Z correspondem a diferentes escolhas para (1) no plano complexo. Note-se que para Re () > 1 a funo f integrvel (e at cont ca e a e nua caso Re () > 0). Seus coecientes de Fourier so a dados por /2 3/2 1 fn = ein cos d + ein cos d . 2 /2 2 /2 Com a mudana de varivel = a segunda integral ca c a fn = 1 + (1)n 2
/2 /2

(1)n 2

/2 /2

ein cos 2
/2

d . Logo,

ein cos

d =

1 + (1)n

cos
0

cos(n) d .

A integral do lado direito foi determinada no Exerc E. 7.28, pgina 302. No caso presente, mais conveniente usarmos a cio a e expresso (7.118), e teremos a fn = 1 + (1)n 2 2+1 ( + 1) B 1
n++2 n+2 , 2 2

Essa expresso evidencia que fn = fn para todo n Z e, por isso, podemos escrever a representao de Fourier de f como a ca 1 f () = f0 + 2 Pela denio da funo beta, temos ca ca 1 B
n++2 n+2 , 2 2

fn cos(n) .

(32.134)

n=1

( + 2)
n++2 2

n+2 2

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1620/1992

Assim, fn = 1 + (1)n ( + 1) Tn , 2 2 onde Tn := 1


n++2 2

n+2 2

(32.135)

Nota.

Antes de prosseguirmos faamos uma observao relevante sobre a expresso (32.135). Caso = 1, tem-se, naturalmente = 1 e o c ca a 1 fator 1 + (1)n ser nulo para todo n par. Fora isso, alguns dos fatores Tn = a tambm sero nulos. De fato, a funo 1/(z) e a ca n+3 3n

anula-se nos inteiros no-negativos. Assim, Tn ser nulo sempre que n = (2k + 3), k N0 , ou seja, para n {. . . , 7, 5, 3, 3, 5, 7, . . .}, a a isto , para n e mpar e |n| 3. Conclui-se disso que s sero no-nulos os coecientes f1 e f1 . Usando (32.135), elementar constatar que o a a e f1 =
, 2

implicando que a representao de Fourier da funao f () = cos seja ca c

1 2

ei + ei , como esperado. Esse teste indica a correo de ca 1 2


p=0

(32.135). No dif provar, seguindo a mesma anlise, que para N geral os coecientes fn dados em (32.135) so todos nulos para |n| > a e cil a a e fornecem a representao esperada para a expanso de Fourier de f () = ca a visto usando (32.135) ou usando o resultado nal (32.136), abaixo. Faa-o! c cos

, a saber,

cos

ei(2p) . Isso pode ser

Vamos agora analisar mais detalhadamente a expresso para Tn dada em (32.135) no caso de um geral. Por (7.41), a pgina 277, podemos escrever a n2 n2 sen n2 2 2 2 . Tn = n++2 2 Como fn = fn e Tn = Tn suciente tomarmos n N0 . H dois casos a tratar: n par e n e a mpar. 1. Caso n par. Para n = 0, temos T0 =
+2 2 2

(z + 1) = z(z) e a identidade (7.41), que T2k = +2 2

. Para n = 2k, k N, mostre, usando a bem conhecida relao ca


2

2k + + 2 ( + 2)

+ 2 2a . + 2 + 2a a=0

Note que esta frmula tambm correta para k = 0. o e e 2. Caso n mpar. Para n = 2k + 1, k N0 , mostre, usando a bem conhecida relao (z + 1) = z(z) e a identidade ca (7.41), que T2k+1 = +1 2
2

2 + 1 2a . ( + 1) a=0 + 1 + 2a

Reunindo os resultados de acima, a representao de Fourier de f pode ser escrita como ca f () = 1 + ( + 1) 2+1
+2 2 2

1 + ( + 1) 2 ( + 2)
+2 2 2

k=1

2k + + 2

+ 2 2a cos 2k + 2 + 2a a=0

1 ( + 1) 21 ( + 1)
+1 2

2 k=0

+ 1 2a cos (2k + 1) . + 1 + 2a a=0

(32.136)

Verique!

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1621/1992

Apndices e
32.A Prova do Teorema de Weierstrass Usando Polinmios o de Bernstein

Nesta seo demonstraremos o Teorema de Weierstrass, Teorema 32.3, pgina 1564, fazendo uso dos chamados polinmios ca a o de Bernstein. Polinmios de Bernstein o

Para cada n N0 , os chamados polinmios de Bernstein52 de grau n so denidos por o a


[0] B0 (x) := 1 , [n] Bp (x) :=

n p x (1 x)np , p

n > 0 , 0 p n , p N0 .

(32.A.1)
[n]

O fato importante estabelecido na proposio que segue diz respeito ` independncia linear dos n + 1 polinmios Bp (x), ca a e o 0 p n para cada n 0. Proposio 32.22 Para n > 0 as razes de Bp (x) so 0, 1, ou ambas, sendo que Bp (x) tem um zero de ordem p em ca a x = 0 e um zero de ordem n p em x = 1. Para cada n, os n + 1 polinmios Bp (x), com 0 p n, so linearmente independentes. o a Prova. As armaes sobre as ra co zes so evidentes e no requerem demonstrao. Passemos ` prova da independncia a a ca a e [0] linear. Para n = 0 no h o que provar, pois B0 (x) = 0. Seja ento n > 0. Vamos supor que existam constantes p , a a a 0 p n, com
n [n] p Bp (x) = 0 . p=0 [n] [n] [n] [n] [n]

(32.A.2)

Como B0 (0) = 0 e Bp (0) = 0 se p > 0, tomar x = 0 em (32.A.2) fornece 0 = 0, de modo que (32.A.2) reduz-se a
n [n] p Bp (x) = 0 . p=1

(32.A.3)
[n]

Tomando a primeira derivada dessa expresso, calculando-a em x = 0 e lembrando que cada Bp (x) tem um zero de a ordem p em x = 0, obtemos 1 = 0. Prosseguindo dessa forma, obtm-se aps n + 1 passos que p = 0 para todo e o 0 p n. A proposio acima permite armar que para cada n, os polinmios Bp , com 0 p n, formam uma base no ca o
n [n]

espao de polinmios de grau n, ou seja, que todo polinmio de grau n pode ser escrito na forma c o o
p=0

[n] p Bp (x), onde p ,

0 p n, so constantes. Essa a chamada forma de Bernstein, ou representao de Bernstein, de polinmios de grau a e ca o n. Um resultados preliminar

O resultado a seguir um tanto tcnico, mas ser utilizado adiante em uma demonstrao importante. e e a ca

Lema 32.2 Sejam os polinmios de Bernstein denidos em (32.A.1). Ento, para cada n N0 vale a seguinte identio a dade: n
p=0 [n] (p nx)2 Bp (x) = nx(1 x) .

(32.A.4)

52 Sergi Natanovich Bernstein (18801968). Bernstein introduziu os polinmios que levam seu nome em trabalho de 1911 sobre o Teorema o de Weierstrass e interpolaes polinomiais. co

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1622/1992

Prova. Pelo binmio de Newton, vale o (x + y)n =

n p=0

n p np x y p

(32.A.5)

para todo n N0 e todos x, y R. Para provar (32.A.4), apliquemos o operador diferencial Dx := x2 2 + x(1 2nx) + n2 x2 x2 x

a ambos os lados de (32.A.5). Para o lado esquerdo de (32.A.5), temos Dx (x + y)n = nx y + nx 1 (x + y)


2

(x + y)n2

(verique!) e para o lado direito de (32.A.5), temos


n

Dx
p=0

n p np x y p

=
p=0

(p nx)2

n p np x y p

(verique!). Igualando as expresses acima, obtemos a identidade o nx y + nx 1 (x + y) Tomando nesta expresso y = 1 x, obtemos a
n 2 n

(x + y)n2 =
p=0

(p nx)2

n p np x y . p

nx(1 x) = como quer amos provar.

p=0

(p nx)2

n p x (1 x)np = p

n p=0 [n] (p nx)2 Bp (x) ,

Outras propriedades bsicas dos polinmios de Bernstein a o

A proposio que segue estabelece mais alguns fatos bsicos sobre os polinmios de Bernstein Bp (x). O estudante ca a o [n] deve observar que alguns dos fatos listados abaixo permitem perceber que os polinmios de Bernstein Bp (x) assemelhamo se, em um certo sentido, a seqncias delta de Dirac. ue Proposio 32.23 Os polinmios de Bernstein Bp tm as seguintes propriedades: ca o e 1. Bp (x) 0 para todo x [0, 1]. 2. Para todo n 0 vale
n [n] Bp (x) = 1 . p=0 [n] [n]

[n]

(32.A.6)
p n.

3. Para n > 0 cada polinmio Bp (x) tem no intervalo [0, 1] um mximo absoluto em x = o a 4. Para todo > 0 e todo n > 0 vale a desigualdade
n
p=0 p | x|> n

[n]

[n] Bp (x)

1 . 4 2 n

(32.A.7)

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1623/1992

Prova. O item 1 evidente. Tomando-se y = 1 x, o binmio de Newton (32.A.5) ca e o


n

1 =
p=0

n p x (1 x)np = p

n [n] Bp (x) , p=0 [n]

provando (32.A.6) e o item 2. O item 3 prova-se facilmente calculando a derivada de Bp (x).


p a Passemos ` prova do item 4. Se para algum > 0 vale | n x| > , ento n2 2 < (p nx)2 , Logo, a n [n] Bp (x)
p=0 p | x|> n

1 22 n

n [n] n2 2 Bp (x)
p=0 p | x|> n

<

1 n2 2

n
p=0 p | x|> n

[n] (p nx)2 Bp (x)

(32.A.4)

1 n2 2

n p=0 [n] (p nx)2 Bp (x)

x(1 x) 1 , 2 n 4n 2

completando a prova. Na ultima desigualdade usamos o fato que a funo x(1 x) tem um mximo absoluto em toda ca a reta real para x = 1/2, quando vale 1/4.

Passemos agora ` demonstrao do Teorema de Weierstrass, Teorema 32.3, pgina 1564, no intervalo [0, 1] usando a ca a polinmios de Bernstein. o Teorema 32.19 Seja uma funo contnua f : [0, 1] C. Ento, os polinmios de grau n ca a o
n [n] bf (x) := p=0

Prova do Teorema de Weierstrass no intervalo [0, 1]

p n

n [n] Bp (x) = p=0

p n

n p x (1 x)np , p

ditos aproximantes de Bernstein da funo f , aproximam uniformemente f no intervalo [0, 1], ou seja, para todo > 0 ca existe N () tal que [n] := sup f (x) b[n] (x) f bf f
x[0, 1]

para todo n N (). Prova. Usando (32.A.6), podemos escrever


n

f (x) implicando

[n] bf (x)

=
p=0

f (x) f

p n

[n] Bp (x) ,

f (x) bf (x)

[n]

p=0

f (x) f

p n

[n] Bp (x) .

(32.A.8)

Por ser cont nua, f uniformemente cont e nua no intervalo compacto [0, 1] (Teorema 30.12, pgina 1419), ou seja, Para a todo > 0 existe () tal que |f (x) f (y)| < /2 sempre que |x y| < . Assim, xando > 0 teremos que p p f (x) f n < /2 sempre que x n < .

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1624/1992

Vamos ento quebrar a soma em p no lado direito de (32.A.8) em dois pedaos: para p tais que a c p tais que n x > . Para a primeira soma, vale
n
p=0 p | x| n

p n

x e para p

f (x) f

p n

[n] Bp (x)

n
p=0 p | x| n

[n] Bp (x)

B [n] (x) 2 p=0 p

(32.A.6)

. 2

(32.A.9)

Para a segunda soma teremos


n
p=0 p | x|> n

f (x) f

p n

n [n] Bp (x) 2M [n] Bp (x)


p=0 p | x|> n

(32.A.7)

M , 2n 2

(32.A.10)

onde M := sup |f (x)|. Assim, provamos que


x[0, 1]

f (x) bf (x) < Portanto, para todo n tal que n


M 2 ,

[n]

M + . 2 2n 2

teremos f bf

[n]

< , completando a prova.

Generalizando para intervalos [a, b]

O Teorema 32.19 estabeleceu o Teorema de Weierstrass no intervalo [0, 1]. Para passar a um intervalo [a, b], com b > a, basta notar que a aplicao ca [0, 1] x h(x) := (b a)x + a [a, b]

cont e nua e bijetora, tendo como inversa [a, b] y h1 (y) := ya [0, 1] , ba


xa ba

que igualmente cont e nua. Fora isso, se p um polinmio, (p h1 )(x) = p e o

tambm um polinmio. e e o

Com isso, se f cont e nua em [a, b], a funo f h cont ca e nua em [0, 1] podendo, pelo Teorema 32.19, ser uniformemente [n] aproximada nesse intervalo pelos polinmios bf h . Logo, f pode ser uniformemente aproximada em [a, b] pelos polinmios o o
[n] [n] cf := bf h h1 . Assim, o Teorema 32.19 se generaliza para

Teorema 32.20 Seja uma funo contnua f : [a, b] C. Ento, os polinmios de grau n ca a o
n [n] cf (x) :=

bf h h1 (x)

[n]

=
p=0 n

f (b a)

p [n] + a Bp n p +a n n p

xa ba xa ba
p

=
p=0

f (b a)

xa ba

np

aproximam uniformemente f no intervalo [a, b], ou seja, para todo > 0 existe N () tal que f cf para todo n N ().
[n]

:=

sup
x[a, b]

f (x) cf (x)

[n]

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1625/1992

32.B

A Demonstrao de Weierstrass do Teorema de Weiersca trass

Vamos nesta breve seo apresentar mais uma demonstrao do Teorema de Weierstrass, Teorema 32.3, pgina 1564. ca ca a Esta demonstrao segue essencialmente as mesmas idias da demonstrao original de Weierstrass, obtida em 1885 ca e ca quando seu autor completava 70 anos de idade, contrariando a noo de que contribuies importantes a Matemtica ca co ` a so privilgio de jovens. a e Consideramos a prova abaixo instrutiva pela simplicidade de recursos e pelo uso que a mesma faz de uma seqncia ue delta de Dirac de funes Gaussianas. Nos restringiremos a funes cont co co nuas denidas no intervalo compacto [1, 1] mas, como anteriormente, a generalizao para intervalos compactos gerais do tipo [a, b], com a < b no apresenta ca a nenhuma diculdade. Seja f : [1, 1] C cont nua. Denindo g(x) := f (x) l(x) com l(x) = f (1)f (1) x f (1)+f (1) , temos, natural2 2 mente, que g tambm cont e e nua. Como l um polinmio, suciente provar que g pode ser uniformemente aproximada e o e por polinmios no intervalo [1, 1]. Note-se agora que, pela denio, g(1) = g(1) = 0 e, devido a isso, g possui uma o ca extenso g cont a nua e peridica de per o odo 2 para toda R dada por g 2n + x := g(x) para todo n Z e x [1, 1]. Por ser cont nua no intervalo compacto [1, 1], g uniformemente cont e nua (Teorema 30.12, pgina 1419) e, cona seqentemente, g tambm o , por ser uma extenso cont u e e a nua e peridica de g. Assim, aplica-se para g o Teorema 32.1, o pgina 1560, para qualquer seqncia delta de Dirac (segundo a Denio 32.1, pgina 1558). Escolhemos considerar a a ue ca a 2 2 n seqncia delta de Dirac Gaussiana, denida em (32.12): Kn (x) := en x , n N. Do Teorema 32.1 conclu ue mos que a seqncia de funes ue co 2 2 n Gn (x) = g(y)Kn (x y) dy = g (y) en (yx) dy converge uniformemente a g em toda reta real. Vamos agora restringir x ao intervalo [1, 1] e escrever a integral acima como 1 1+ 2 2 2 2 2 2 n n n g (y) en (yx) dy + g (y) en (yx) dy + g(y) en (yx) dy (32.B.11) 1+ 1 com 0 < < 1, xo. A primeira integral em (32.B.11) pode ser majorada em mdulo por o G
1
2 2 n en (yx) dy

Para uso futuro, denamos G := sup{|g(x)|, x [1, 1]}. E evidente que |(x)| G para todo x R. g

w=xy

x+1+

2 2 n en w dw

(32.13)

en

(x+1+)2

en 2

2 2

sendo que na ultima desigualdade usamos que x 1. A segunda integral em (32.B.11) pode ser majorada em mdulo o por 2 2 2 2 (32.13) en (1+x) 2 2 2 2 n n en w=yx en w dw G g(y) en (yx) dy = G , 2 2 1+ 1+x sendo que na ultima desigualdade usamos que x 1. Como e 2 converge a zero para n independente de x, conclu mos que as duas primeiras integrais em (32.B.11) convergem a zero para n uniformemente para todo x no intervalo [1, 1]. Logo, a terceira integral em (32.B.11), Hn (x) :=
2 2 n g (y) en (yx) dy , 1 n2 2

1+

converge uniformemente em [1, 1] ` funo g (e, portanto, ` funo g). a ca a ca Sabemos (Proposio 32.6, pgina 1574) que a srie de Taylor centrada em zero da funo exponencial converge ca a e ca uniformemente ` mesma em intervalos compactos como [0, (2 + )2 ] (onde os valores de (y x)2 se encontram quando a y [1 , 1 + ] e x [1, 1]). Logo, para cada n N as funes Hn podem ser uniformemente aproximadas por co
m

Hn, m (x) :=
k=0

(1)k n2k n k!

1+ 1

g(y) (y x)2k dy ,

mN.

JCABarata. Curso de F sica-Matemtica a

Verso de 9 de abril de 2012. a

Cap tulo 32

1626/1992

Agora, bastante claro (expandindo (y x)2k pelo binmio de Newton) que Hn, m um polinmio em x. Assim, e o e o conclu mos do racioc nio acima que cada funo Hn uniformemente aproximvel por polinmios no intervalo [1, 1] e ca e a o que a funo g uniformemente aproximvel pelas funes Hn no mesmo intervalo. Isso prova que g uniformemente ca e a co e aproximvel no intervalo [1, 1] pelos polinmios Hn, m : a o
m

g(x) = lim lim Hn, m (x) = lim lim


n m

n m

k=0

(1)k n2k+1 k!

1+ 1

g(y) (y x)2k dy

(notar que a ordem dos limites no pode ser trocada!) e a demonstrao do Teorema de Weierstrass, Teorema 32.3, a ca pgina 1564, est completa. a a