Main AT 02

Tpicos de Sries de Fourier e de Teoria de Aproximao
Dimitar K. Dimitrov
Contents
Preface 1 Aproximao em Espaos Lineares
1.1 Melhor Aproximao em Espaos Lineares Normados . . . . 1.2 Aproximao em Espaos de Hilbert . . . . . . . . . . . . . 1.2.1 Aproximao em Espaos de Hilbert com Dimenso Finita . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2.2 Teorema de Pitgoras e Teorema de Bessel . . . . . . . .
1 3
3 9
. 9 . 20
2 Sries de Fourier
2.1 Denies e Exemplos . . . . . . . . . . . . . . . . . . . . . 2.1.1 Denies . . . . . . . . . . . . . . . . . . . . . . . . 2.1.2 Exemplos . . . . . . . . . . . . . . . . . . . . . . . . 2.2 Convergncia da Srie de Fourier em L2 [, ] . . . . . . . 2.3 Convergncia em um ponto . . . . . . . . . . . . . . . . . . 2.3.1 Formas integrais das sries de Fourier . . . . . . . . 2.3.2 Funes com Variao Limitada . . . . . . . . . . . . 2.3.3 Critrios de Dini-Lipschitz e Dirichlet-Jordan . . . . 2.4 Existncia de funes contnuas com sries de Fourier divergentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.5 Convergncia em Lp [, ] . . . . . . . . . . . . . . . . . . . 2.6 Convergncia em Lp [, ] . . . . . . . . . . . . . . . . . . . . . . . . . . .
25
25 25 30 37 41 41 47 52
. 61 . 65 . 69
3 Aproximao Uniforme por Polinmios
73
3.1 Teorema de Chebyshev . . . . . . . . . . . . . . . . . . . . . . 73 3.2 Aproximao por Operadores Positivos . . . . . . . . . . . . 81 i
CONTENTS 3.2.1 Teorema de Korovkin . . 3.2.2 Polinmios de Bernstein 3.3 Teorema de Jackson . . . . . . . 3.3.1 Preliminares . . . . . . . . 3.3.2 Demonstrao de Jackson 3.3.3 Demonstrao de Rivlin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1 82 85 90 90 93 101
4 Polinmios Ortogonais
113
CONTENTS
Captulo 1 Aproximao em Espaos Lineares

1.1 Melhor Aproximao em Espaos Lineares Normados
Seja F um espao linear dado. Introduzimos em F uma distncia, isto , para qualquer par de elementos f, g de F colocamos em correspondncia o nmero (f, g ), que satisfaz s seguintes exigncias: 1) (f, g ) 0 e a igualdade vale se, e somente se, f = g , 2) (f, g ) = (g, f ) (simetria), 3) (f, g ) (f, h) + (h, g ) para todo f, g, h F . Quando introduzimos uma distncia a um espao linear temos um espao linear mtrico. Formularemos o problema de aproximao em um espao linear mtrico F. Sejam 0 , . . . , n elementos arbitrrios linearmente independentes de F . Denotemos por n o conjunto de todas as combinaes lineares de {k }n k =o , isto ,
n
n :=
k=0
ak k : ( a0 , . . . , a n ) I Rn+1 .
A quantidade
(f, ) := inf {(f, ) : n } ,
Captulo1. Aproximao em Espaos Lineares
chamada de melhor aproximao de f por elementos de n . Se existe um elemento f de n para o qual a igualdade acima atingida, isto , para o qual,
(f, f ) = inf {(f, ) : n } ,
este elemento f chamado elemento da melhor aproximao de f . Depois dessa formulao do problema de aproximao, surgem as seguintes questes bsicas: Existe o elemento da melhor aproximao? Se tal elemento existe, nico? Como pode ser construdo o elemento da melhor aproximao? Existe uma grande classe de espaos lineares mtricos, onde a resposta da questo sobre a existncia do elemento da melhor aproximao pode ser encontrada. Esses espaos so chamados espaos lineares normados. Vamos relembrar brevemente a denio de espao normado. Seja F um espao linear. Dizemos que em F introduzida uma norma se, para todo elemento f de F , colocado em correspondncia um nmero f (chamado norma de f ) e essa correspondncia satisfaz as seguintes exigncias: 1) f 0 (a igualdade vale se, e somente se, f 0); 2) f = || f para todo ; 3) f + g f + g para todo f, g F . Um espao linear onde introduzida uma norma, chamado de espao linear normado. Toda norma origina uma distncia da seguinte maneira:
(f, g ) := f g .
No difcil vericar que a distncia (f, g ) assim denida realmente satisfaz as propriedades citadas acima. Deixaremos essa vericao como exerccio. Toda norma em F pode ser considerada como funo de f , denida em
F.
Teorema 1 A norma uma funo contnua em relao distncia, originada por ela.
1.1 Melhor Aproximao em Espaos Lineares Normados
Demonstrao. Primeiro, provaremos a desigualdade

| f g | f g .
De fato,
f = f g+g f g + g
e, da segue que f g f g . Analogamente, g f g f = f g . Vamos mostrar que uma funo contnua de f. Seja > 0 e = . Ento, se g tal que (f, g )
| f g | f g = (f, g ) .
Logo, uma funo contnua de f . Consideraremos o espao linear

I Rn = {f = (f1 , . . . , fn ) : f1 , . . . , fn I R} .
de vetores reais.
Teorema 2 Toda norma em I Rn uma funo contnua com relao s coordenadas do elemento.
Demonstrao. Denotemos por

ek = (0, . . . , 0, 1, 0, . . . , 0), k = 1, . . . , n,
os vetores base em I Rn . Ento, todo vetor f = (f1 , . . . , fn ) de I Rn pode ser escrito da forma f = f1 e1 + fn en e, consequentemente,
n n
| f g | f g =
i=1
(fi gi )ei
i=1
|fi gi | ei .
Ento, se fi = gi , i, k = 1, . . . , n, i = k
| f g | |fk gk | ek
Assim, a norma uma funo de Lipschitz com relao a k-sima coordenada. Logo, uma funo contnua com relao as suas coordenadas. Em um espao linear F podem ser introduzidas normas de maneiras diferentes. Por exemplo, em I Rn usam-se frequentemente as normas:
f f f
1
:= max |fi |,
1in
:= |f1 | + + |fn |,
n 1/2
:=
i=1
fi2
A ltima norma chamada Euclideana, pois ela determina a distncia de Euclides

n 1/ 2
d(f, g ) := f g
=
k=1
(fk gk )2
Denio 1 Dizemos que duas normas (f ) e (f ) so equivalentes em F ,

se existem nmeros positivos m e M , tais que
m(f ) (f ) M (f )
para toda f F .
Teorema 3 Quaisquer duas normas em I Rn so equivalentes. Demonstrao.

suciente provar que toda norma equivalente norma de Euclides 2 . Para isso, introduzimos a esfera com raio um em I Rn ,
n
S := (f1 , . . . , fn ) :
i=1
fi2 = 1 .
S um conjunto limitado. Alm disso, de acordo com o Teorema (2), (f ) = (f1 , . . . , fn ) funo contnua de fi , < fi < . Pelo teorema de Weierstrass, (f ) atinge o seu valor mnimo em S . Consequentemente, existe um elemento f de S , tal que m := inf { (f ) : (f1 , . . . , fn ) S } = (f ).
Obviamente m 0. Alm disso, m > 0. De fato, a hiptese m = 0 implica em (f ) = 0 e, consequentemente, f = 0, isto , f1 = = fn = 0,
1.1 Melhor Aproximao em Espaos Lineares Normados uma contradio com o fato que f S . Ento, (f ) m > 0 para toda f S . Seja f um elemento no nulo de F . Ento, f / f inequao que acabamos de provar, temos
(f ) = f f f
2 2
S e de acordo com
= f
f f
m f
2
2.
Provamos que m f 2 (f ) para todo f F . Analogamente, escolhendo

M := sup { (f ) : (f1 , . . . , fn ) S } ,
obtemos
(f ) M f
2
para todo f F.
Corolrio 1 Toda esfera Sr = {(f1 , . . . , fn ) : f r < } em I Rn um

conjunto limitado e fechado.
Demonstrao.
Seja f um elemento da esfera Sr . Ento, f r e, consequentemente, existe uma constante M tal que f M r. Segue, ento a inequao |fi | M r, que mostra que o conjunto Sr limitado. Mostraremos que Sr fechado. Seja {f (n) } uma sequncia arbitrria de elementos f (n) Sr , que converge para algum elemento g de I Rn . Temos que
g f (n) g + f (n) f (n) g + f (n) .
Seja n . Como f (n) r, obtemos que

g f (n) r,
que mostra que g Sr . Ento Sr um conjunto fechado.
linearmente independentes de F e n o subespao formado por eles. Ento, para todo f F existe um elemento da melhor aproximao de n em relao distncia, originada pela norma em F .
Teorema 4 Seja F um espao linear normado. Sejam 0 , . . . , n elementos
Demonstrao. Seja n tal que > 2 f =: r. Ento

f f > 2 f f = f = f 0 En (f ).
Consequentemente,
inf { f : n } = inf { f : r} = inf f .
Sr
Por outro lado f uma funo contnua dos coecientes a0 , . . . , an de e Sr um conjunto limitado e fechado. Pelo teorema de Weierstrass
Sr
inf
f = min f = f f
Sr
para algum f n .
Denio 2 Dizemos que o espao normado F estritamente normado se

a igualdade
f +g = f + g
implica que os elementos f e g so linearmente dependentes.
Teorema 5 Se F estritamente normado ento, para todo f F , existe

um nico elemento da melhor aproximao de n .
mentos p e q de n , para os quais
Demonstrao. Suponhamos o contrrio. Ento, existem f F e ele-
f p = f q = En (f ) := inf { f
: n }
e p = q . Por outro lado,

f p+q 1 1 = (f p) + (f q ) ( f p + f q ) = En (f ). (1.1.1) 2 2 2
Pela denio da melhor aproximao, temos f (p + q )/2 En (f ). Ento, em (1) temos somente igualdades. Em particular,
1.2 Aproximao em Espaos de Hilbert
(f p) + (f q ) = f p + f q .
Como F estritamente normado, temos que f p = (f q ). Vamos analisar dois casos. Se = 1 essa igualdade implica que p = q . Contradio! Se = 1, temos f = (p q )/(1 ) e, consequentemente, f n o que implica que f o nico elemento que melhor aproxima ele mesmo(f ), ou seja, f=p=q. Contradio novamente.

1.2.1 Aproximao em Espaos de Hilbert com Dimenso Finita
O espao linear H chamado espao de Hilbert se H um espao linear completo com produto interno, ou seja, para quaisquer dois elementos f, g de H denimos o produto interno < f, g > como sendo um nmero que satisfaz s seguintes condies 1) < f, f > 0, e < f, f >= 0 f = 0, 2) < f, g >=< g, f >, 3) < f + g, h >= < f, h > + < g, h >. Consideraremos somente o caso em que < f, g > um nmero real. Todo espao de Hilbert pode ser normado pois nele pode ser introduzida uma norma da seguinte maneira
f := < f, f >
(1.2.2)
Para vericar que (1.2.2) realmente uma norma em H , provaremos algumas propriedades de produto interno.
Lema 1 (Desigualdade de Cauchy-Schwartz) Para quaisquer dois elementos f e g do espao de Hilbert H , vale a desigualdade
10
| < f, g > | (< f, f >)1/2 (< g, g >)1/2 ,
onde a igualdade vale se, e somente se, f e g so linearmente dependentes.
Demonstrao. Para todo nmero real temos

< f g, f g >=< f, f > 2 < f, g > +2 < g, g > 0.
Esta expresso um polinmio do segundo grau em . Consequentemente, seu discriminante no-positivo, isto
[< f, g >]2 < f, f > < g, g > .
A desigualdade est provada. Para provarmos a igualdade, tomemos h = f g onde I R, ento

< h, h >= 0 < f g, f g >= 0 f g = 0 f = g.
Portanto, f e g so L.D.
Lema 2 (Desigualdade triangular) Para quaisquer f e g de H temos

< f + g, f + g > < f, f > + < g, g >,
(1.2.3)
onde a igualdade vale se, e somente se, f e g so linearmente dependentes.
Demonstrao. Aplicando a desigualdade de Cauchy-Schwartz obtemos

< f + g, f + g > = < f, f > +2 < f, g > + < g, g > < f, f > +2 < f, f > < g, g >+ < g, g > = < f, f > +
2
< g, g >
o que implica em (1.2.3). A igualdade atingida se, e somente se,

[< f, g >]2 =< f, f > < g, g > .
Mas, como j observamos, isto verdade somente quando f e g so linearmente dependentes.
11
Corolrio 2 Se H um espao de Hilbert, ento

f := < f, f >
uma norma em H .
Assim, a norma 1.2.2 gera a distncia
(f, g ) := f g = < f g, f g >.
Daqui por diante, quando falarmos em espao de Hilbert, vamos admitir que este espao normado e mtrico pelos resultados descrito acima. Sejam 0 , 1 , . . . , n vetores arbitrrios L.I. de H . Denotemos por
n
n :=
i=0
ai i : (a0 , . . . , an ) I Rn+1 .
o espao gerado por i , i = 0, 1, . . . , n. A quantidade

f p = inf { f : n }
chamada de Melhor Aproximao de f por elementos de n . Se existe um elemento de n para o qual a igualdade acima atingida, este elemento chamado de elemento da melhor aproximao de f. Dizemos que f ortogonal a g e escrevemos f g , se < f, g >= 0.
o elemento de melhor aproximao para f por elementos de n se, e somente se, < f p, >= 0 para todo de n . (1.2.4)
isto ,
Teorema 6 Sejam H um espao de Hilbert e f H . O elemento p de n
Demonstrao. Vamos supor que p o elemento da melhor aproximao,

f p = inf { f : n } := n (f ).
Ento, para qualquer n e = 0, a funo
12
r() := =
f p + 2 n (f )
=< f p + , f p + >
+ 2 < f p, > +2 < , >
tem ponto de mnimo para = 0. Isto implica em r (0) = 0. Mas r (0) = 2 < f p, >. Consequentemente, < f p, >= 0 para todo n . Reciprocamente, vamos supor que p n satisfaz s condies de ortogonalidade (1.2.4). Seja qualquer outro elemento de n . Ento, := p n e, portanto,
2 2
= = =
f p+p f p
2 2
=< f p + , f p + >
2
f p + 2 < f p, > + + f p 2.
(pois(f p) )
Aqui, se p satisfaz (1.2.4), ento

f p f
para todo n .
Alm disso, a igualdade atingida somente para = 0, isto , para = p. Agora, construiremos o elemento de melhor aproximao de f usando a caracterizao (1.2.4). Procuraremos p da forma
p = a0 0 + a1 1 + . . . + an n .
Desde que (f p) i para i = 0, 1, . . . , n, ento os coecientes {ai } satisfazem s condies

a0 < 0 , 0 > + a1 < 1 , 0 > + . . . + an < n , 0 > = < f, 0 > a0 < 0 , 1 > + a1 < 1 , 1 > + . . . + an < n , 1 > = < f, 1 >
. . . . a0 < 0 , n > + a1 < 1 , n > + . . . + an < n , n > = < f, n >
. . .
. . .
(1.2.5)
13
que um sistema linear de n + 1 equaes com n + 1 incgnitas. Denotemos por D(0 , . . . , n ) o seu determinante,
D(0 , . . . , n ) := det

< 0 , 0 > < 0 , 1 >
. . .
< 1 , 0 > < 1 , 1 >
. . .
... ...
...
< n , 0 > < n , 1 >
. . .
< 0 , n > < 1 , n > . . . < n , n >
Este o determinante de Gram, que diferente de zero pois 0 , . . . , n so linearmente independentes. Consequentemente, o sistema (1.2.5) tem uma nica soluo a0 , . . . , an . Ento, o clculo do elemento de melhor aproximao em um espao de Hilbert se reduz soluo do sistema (1.2.5). A soluo do sistema (1.2.5) pode ser facilitada se a base 0 , . . . , n ortogonal. Sabemos que em todo espao linear existe uma base ortogonal, ento suponhamos que 0 , . . . , n seja esta base, isto , = 0 para i = j . Ento, (1.2.5)se reduz forma
ak < k , k >=< f, k >, k = 0, . . . , n,
de onde obtemos
ak = < f, k > , k = 0, . . . , n. < k , k >
(1.2.6)
Assim provamos o seguinte teorema.
Teorema 7 Seja 0 , . . . , n um sistema ortogonal. Ento, o elemento p de

melhor aproximao de f H por elementos de n dado pela frmula
p= < f, k > k . k=0 < k , k >
n
Vamos obter uma expresso para o erro n (f ) = f p . Temos que

2 n (f ) =< f p, f p >=< f, f > < p, f >
onde (f p) p. Por esta igualdade, representando p da forma p = a0 0 + . . . + an n , obtemos a relao
14
a0 < o , f > +a1 < 1 , f > + . . . + an < n , f >=< f, f > 2 n (f ).
Usando esta relao junto com o sistema (1.2.5) formamos um sistema homogneo de n + 2 equaes lineares com relao a (a0 , a1 , . . . , an , 1). Desde que este sistema tem soluo no-nula, seu determinante igual a zero, isto ,
. . . det < , > 0 n
< 0 , 0 >
...
...
< n , 0 >
. . .
< f, 0 >
= 0.
. . .
< 0 , f >
. . . < n , n > < f, n > . . . < n , f > < f, f > 2 n (f )
Por esta igualdade, determinamos 2 n (f )

2 n (f ) = D(f, 0 , . . . , n ) . D(0 , . . . , n )
(1.2.7)
Ento, provamos a igualdade

n {a k } 0 2
min f n
k=0
ak k
D(f, 0 , . . . , n ) . D(0 , . . . , n )
Esta frmula vale para qualquer escolha da base 0 , . . . , n . Se 0 , . . . , n um sistema ortonormal, isto , se = 0 para i = j e = 1 para i = 0, . . . n, obtemos diretamente
2 n (f ) = < f p, f p >=< f, f > < p, f >
n
= < f, f >
k=0 n
ak < k , f >
k=0
a2 k
pois, de acordo com (1.2.6), ak =< k , f >. Desde que 2 n (f ) > 0 para f n , isto implica na desigualdade de Bessel:
n 1/2
a2 k
k=0
f .
15
g1 = 0, segue por induo, que o determinante de Gram, D(g1 , . . . , gn ), estritamente positivo se os elementos g1 , . . . , gn so linearmente independentes.
Observao: Por (1.2.7) e sabendo que D(g1 ) =< g1 , g1 >> 0 para todo
Casos Particulares
I. Aproximaes em L2 . Seja [a, b] um dado intervalo, nito ou innito. Seja (x) uma funo peso integrvel em [a, b]. Denotamos por L2 [a, b] o espao de todas as funes denidas em [a, b], para as quais
b a
f 2 (x)(x) dx < .
claro que L2 [a, b] um espao linear. Deniremos o produto interno neste espao da seguinte maneira
b
< f, g >:=
a
f (x)g (x)(x) dx.
No difcil mostrar que o produto dado por esta denio satisfaz a todas as exigncias de produto interno. Assim, L2 [a, b] torna-se um espao de Hilbert. A norma
b
f :=
a
f 2 (x)(x) dx
1/2
chamada mdia quadrtica. Ela gera a distncia mdia quadrtica

b 1/ 2
(f, g ) :=
a
[f (x) g (x)] (x) dx
Sejam 0 (x), . . . n (x) funes arbitrrias e linearmente independentes do espao L2 [a, b]. Particularmente, {i } podem ser polinmios algbricos 1, x, x2 , . . . , xn . Ento, em L2 [a, b] podemos considerar o problema de aproximao mdia quadrtica de uma dada funo f L2 [a, b] por polinmios generalizados a0 0 (x) + a1 1 (x) + . . . + an n (x). De acordo com a teoria geral de aproximao em espaos de Hilbert, vale o seguinte teorema
16
Teorema 8 Para toda funo f de L2 [a, b] existe um nico polinmio

n
p(x) =
k=0
ak k (x),
para o qual
b a
[f (x) p(x)]2 (x) dx = min n
{ak }k=0
f (x)
a k=0
ak k (x)
(x) dx.
Alm disso, se 0 , . . . , n um sistema ortonormal,

n b a
p(x) =
k=0
f (t)k (t)(t) dt k (x).
(1.2.8)
II. Mtodo dos Mnimos Quadrados. Na prtica, frequentemente precisamos resolver o seguinte problema. Vamos supor que sabemos, por razes tericas, que a funo f de uma determinada forma que depende de n parmetros a1 , . . . , an . Por exemplo, f pode ser da forma
n n
ak x k 1 ,
k=1 k=1
sin ak x ou
eak x .
k=1
Podemos calcular os valores de f com uma determinada preciso em um nmero nito de pontos. Alm disso, o clculo do valor de f em um ponto pode ser feito por um processo caro. O objetivo recuperar aproximadamente os parmetros a1 , . . . , an com a maior preciso possvel com base na informao
f (x1 ), f (x2 ), . . . , f (xm ), m > n.
Em geral, estes nmeros so aproximaes dos valores exatos da funo f . Por exemplo, vamos supor que a relao y = f (x) que investigamos linear, isto ,
f (x) = Ax + B,
17
para algum A e B . Temos, disposio, os valores de f (x) obtidos experimentalmente

fi = f (xi ), i = 1, . . . , m.
Devido falta de preciso no processo de medio ou a imperfeio do experimento, os pontos (xi , fi ), i = 1, . . . , n, obviamente no pertencem a uma reta. Sabemos que a funo f (x) linear. Ento, qual a reta que representa os dados obtidos experimentalmente? Existem os candidatos para tais representantes. Por exemplo, podemos escolher quaisquer dois pontos (xi , fi ), (xj , fj ) da tabela e considerar a reta que passa por eles como aproximao de f . Esta seria uma escolha aleatria. Vamos tentar abordar o problema de forma mais terica e sistemtica. Procuremos uma funo da forma
l(x) = Ax + B.
Denotaremos por di a discrepncia entre o valor fi no ponto xi obtido experimentalmente e o valor de l no mesmo ponto,
di := fi (Axi + B ), i = 1, . . . , m.
Existem algumas abordagens de como escolher os parmetros A e B de l. 1) Escolher A e B de modo que

1im
max |di |
seja o mnimo possvel. Assim, tentar minimizar a maior distncia entre f e l nos pontos x1 , . . . , xm . Tal critrio aceitvel, mas a realizao na prtica difcil porque o problema no-linear pois max |di | uma funo no-linear i nas variveis A e B . 2) Escolher A e B de modo que
m
|di |
i=1
seja o mnimo possvel. As objees contra o critrio 1) valem com a mesma fora neste caso. Estas objees foram consideradas seriamente no passado
18
quando no existiam ferramentas para clculos rpidos. Talvez, por isto, foi escolhido um critrio que leva a um sistema linear para a obteno dos parmetros. 3) Escolher A e B de modo que
n
S (A, B ) :=
i=1
d2 i
seja o mnimo possvel. Temos

m
S (A, B ) =
i=1
[fi (Axi + B )]2 ,
e as condies necessrias para o mnimo, que neste caso tambm so sucientes, levam ao sistema
S =0 A S =0 B
m
[fi (Axi + B )]xi = 0,

i=1 m
[fi (Axi + B )] = 0.
i=1
Esta abordagem para determinar as incgnitas da funo pela tabela dos dados chamada mtodo dos mnimos quadrados. Vamos represent-lo de forma mais geral. Seja {F (x, a1 , . . . , an )} uma famlia de funes descritas pelos parmetros ai Ii , i = 1, . . . , n. Sejam f1 , . . . , fm os valores de uma funo desta famlia nos pontos x1 , . . . , xm .
Denio 3 Dizemos que F (x, a1 , . . . , an ) a aproximao dos dados f1 , . . . , fm

pelo mtodo dos mnimos quadrados se a1 , . . . , an minimizam a expresso
m
i [F (xi , a1 , . . . , an ) fi ]2 ,
i=1
onde {i }m i so nmeros positivos dados a priori, chamados "pesos".

Consideremos uma situao particular, onde conhecemos a aproximao de uma funo por polinmios algbricos de grau n nos pontos x1 < . . . < xm (m > n). Ento, queremos achar a aproximao
19
p(x) = a0 xn + a1 xn1 + . . . + an
de f pelo mtodo dos mnimos quadrados baseada nos valores fi = f (xi ), i = 1, . . . , m. Sejam {i } alguns pesos dados. Ento, de acordo com o que foi dito, a0 , a1 , . . . , an so determinados de tal maneira que minimizam a expresso
m n 2
(a0 , . . . , an ) :=
i=1
i fi
k=0
ak x k i
Vemos que 2 (a0 , . . . , an ) de fato a distncia entre f e p no espao de Hilbert H das funes denidas em x1 , . . . , xm e equipado com o produto interno
m
< f, g >:=
i=1
i f (xi )g (xi ).
De fato, este produto interno gera a norma

m
f :=
i=1
i f 2 (xi )
1/2
que, por outro lado, gera a distncia

m
1 2
(f, g ) =
i=1
i [f (xi ) g (xi )]2
Nestes termos, a funo (a0 , . . . , an ) igual distncia entre f e p. Consequentemente, o mtodo dos mnimos quadrados leva ao problema de melhor aproximao por polinmios algbricos no espao de Hilbert H . A teoria geral implica que a soluo a0 , . . . , an determinada pelo sistema linear (1.2.5) que, neste caso, toma a forma
m m m +1 xk i i=1 m +n xk i i=1
a0
i=1
xk i
+ a1
+ + an
=
i=1
f (xi ) xk i , k = 0, . . . , n.
Para evitar a soluo deste sistema, podemos escolher, a priori, uma base apropriada no espao de polinmios algbricos n . Por exemplo, se procurssemos um polinmio p da forma
20
p(x) = b0 P0 (x) + + bn Pn (x),
onde os polinmio {Pk (x)} formam um sistema ortogonal no conjunto dos pontos x1 , . . . xm com pesos {i }, o sistema anterior se reduzir ao sistema diagonal
n n 2 (xi ) i P k i=1
bk
=
i=1
i Pk (xi )f (xi ),
onde os coecientes bk seriam determinados imediatamente.
1.2.2 Teorema de Pitgoras e Teorema de Bessel

Lema 3 Seja H um espao de Hilbert e sejam f1 , f2 , , fn um nmero nito
de vetores ortogonais de H. Ento, para f = f1 + f2 + + fn , temos
f
2 2
= f1
+ + fn 2 .
Denio 4 Seja A H. Denimos o complemento ortogonal de A, como

sendo o conjunto
A = {x H :< x, a >= 0, a A}.
Lema 4 O produto interno em um espao de Hilbert H uma funo contnua das suas variveis.
Lema 5 Para qualquer A H o espao A subespao linear fechado de H. Teorema 9 (Teorema de Pitgoras) A srie
fk ,
k=1
(1.2.9)
onde < fi , fj >= 0, para i = j , convergente se e somente se a srie convergente. Quando (1.2.9) convergente temos que

fk
k=1
fk
k=1
=
k=1
fk 2 .

21
Demonstrao. Sejam sn = f1 + f2 + + fn e n = f1 2 + f2 2 + +
fn
2
as somas parciais das sries
fk e
fk 2 , respectivamente. Ento,
em virtude da ortogonalidade, para qualquer m < n,
k=1
k=1
sn sm
= =
fm+1 + fm+2 + + fn fm+1

2
2 2
+ fm+2
+ + fn
= n m .
Ento {sn } de Cauchy em H se e somente se {n } de Cauchy em I R. Como H e I R so completos, segue a primeira demonstrao. Como a srie (1.2.9) converge, temos que a sequncia {sn } de suas somas parciais converge. Do mesmo modo, a sequncia das somas parciais da srie
fk
k=1
convergente. Assim,
n
fk
k=1
= < f1 + + fn , f1 + + fn > = =
k=1
f1
n
+ + fn
fk 2 .
Aplicando o limite para n em ambos os lados da igualdade, uma vez que a norma uma funo contnua, teremos

fk
k=1
=
k=1
fk 2 .
Teorema 10 (Teorema de Bessel) Seja H um espao de Hilbert e seja B =

{fi } i=1 um sistema ortonormal em H. Ento para qualquer f H
(i)
< f , fi > fi convergente, | < f, fi > |2 f

2
(ii)
i=1
i=1
22
Primeiramente mostraremos (ii). Seja f H, assim podemos denir g Yn = Span{f1 , , fn } tal que
n
Demonstrao.
g=
k=1
< f, fk > fk ,
onde n xo, e ento denimos h = f g, uma vez que o espao de Hilbert H pode ser escrito como soma direta de qualquer subespao fechado de H e seu complemento ortogonal. Mostremos que h ortogonal a g . Para todo g Yn uma combinao linear
n
g=
k=1
k fk ,
onde k =< g, fk > . Para a escolha particular k =< f, fk >, k = 1, 2, , n,obtemos g tal que h = f g g. Para provar isto, notemos que, pela ortonormalidade,
n n
=
k=1
< f, fk > fk ,
k=1
< f, fk > fk
| < f, fk > |2 .
(1.2.10)
Desta forma, podemos mostrar que h g

< h, g > = < f g, g > = < f, g > < g, g >
n
= =
f,
k=1 n
< f, fk > fk g < f, fk > < f, fk >
2 n
| < f, fk > |2
k=1
k=1
Portanto
< h, g >= 0
(1.2.11)
Pela relao de Pitgoras,temos

f
2
= g
+ h 2.
(1.2.12)
Por (1.2.10), segue que

n
23
= f
= f
k=1
| < f, fk > |2 .
Como h 0, temos para todo n = 1, 2,

n
| < f, fk > |2 f
k=1
(1.2.13)
Faremos agora, a demonstrao de (i). Sabemos que a srie n k=1 k fk 2 convergente se e somente se a srie n k=1 |k | convergente. De fato, sejam
sn = 1 f1 + + n fn
e n = |1 |2 + + |n |2 ,
as somas parciais das sries acima, respectivamente. Assim,

sn sm
2
= n m .
Logo sn de Cauchy em H se e somente se n de Cauchy em I R. Como HeI R so completos, sn convergente se e somente se n convergente. Da desigualdade de Bessel (1.2.13) temos que
n
| < f, fk > |2
k=1
converge, pois crescente e limitada. Portanto,
i=1
< f, fi > fi convergente.
Denio 5 Um sistema ortogonal B do espao de Hilbert H base de H se

B = {0}.
Teorema 11 Seja H um espao de Hilbert e B = {fi } i=1 uma base de H.

Para qualquer f H a srie
< f, fi > fi
i=1
convergente. Alm disso,
(i) f =
i= 1
< f , fi > fi ,
2
(ii) f
=
i= 1
| < f , fi > |2 .
24
Trabalharemos, a partir de agora, no espao de Hilbert L2 [, ], cuja norma denida por
|f (t)|2 dt
1/2
onde
L2 [, ] = {f : [, ] I R tal que f
2
< },
para o qual valem todas as propriedades acima citadas.
Captulo 2 Sries de Fourier

2.1 Denies e Exemplos
2.1.1 Denies
Denio 6 Uma sequncia {xn } n=0 ortogonal, se o produto interno

0, se
m = n,
x n , xm =
= 0, se m = n.
para m, n I N.
Quando xn , xn = 1 temos que {xn } n=0 uma sequncia ortonormal. Seja
I1 =
cos mx cos nxdx.
(2.1.1)
Usando as identidades trigonomtricas

cos(m n) = cos m cos n sin m sin n,
(2.1.2)
obtemos
cos m cos n = cos(m + n) + cos(m n) . 2
(2.1.3)
25
26 Assim
1 2 Se m = n = 0 I1 =

Captulo2. Sries de Fourier
cos[(m + n)x]dx +

cos[(m n)x]dx .
I1 = Se m = n = 0
1 2
dx +

dx = 2
I1 =
1 cos 2mxdx + 2 1 sin 2mx = | +2 2 2m =
dx
Se m = n = 0 I1 = 1 2 sin(m + n)x sin(m n)x | + | m+n mn = 0.
Portanto
0,
se
m = n, m = n = 0, m = n = 0.
I1 =
cos mx cos nxdx =
, se
(2.1.4)
2, se
Tomemos, agora
I2 =
cos mx sin nxdx.
(2.1.5)
Usando as identidades trigonomtricas

sin(m n) = sin m cos n sin n cos m,
(2.1.6)
obtemos
sin n cos m = sin(m + n) + sin(m n) . 2
(2.1.7)
27
Substituindo a ltima igualdade em (2.1.5) e seguindo raciocnio anlogo ao da resoluo de I1 , obtemos

0,
se
m = n, m = n = 0, m = n = 0.
I2 =
cos mx sin nxdx
, se
(2.1.8)
2, se
Seja
I3 =
sin mx sin nxdx.
(2.1.9)
Usando as identidades trigonomtricas (2.1.2)

sin m sin n = cos(m n) cos(m + n) , 2
substituindo esta ltima igualdade em (2.1.9), teremos Se m = n = 0

I3 = Se m = n = 0 I3 = Se m = n = 0 I3 = 1 2 sin(m n)x sin(m + n)x | + | mn m+n = 0. 1 2

1 2
dx

dx = 0,
dx +

cos 2mxdx = ,
Portanto
0,
se
m = n,
I3 =
(2.1.10)
m = n.
, se
Podemos observar ento que a sequncia

{1, cos x, sin x, . . . , cos kx, sin kx, . . .}
28
ortogonal. Tomemos o espao de Hilbert L2 [, ] e a sua norma denida por
f 2 (x)dx
1/2
(2.1.11)
que gerada pelo produto interno denido por
x n , xm =
f (x)g (x)dx.
Note que
1
2
cos kx
= sin kx
Logo a sequncia
cos kx sin kx 1 cos x sin x , , ,..., , ,..., 2
ortonormal. Consideremos no espao I R3 o sistema ortonormal de coordenadas e o vetor f . Ento podemos escrever
f = f1 e1 + f2 e2 + f3 e3 .
Aplicando o produto interno com ek , teremos

f = f, e1 e1 + f, e2 e2 + f, e3 e3 .
Tomemos f (x) L2 [, ]
1 1 cos x cos x sin x sin x + f, + f, + ... f, 2 2 cos kx cos kx sin kx sin kx + f, + .... f,
f (x) +
Ou seja
29
f (x)
1 cos x sin x f (t)dt + f (t) cos tdt + f (t) sin tdt + . . . 2 cos kx sin kx f (t) cos ktdt + f (t) sin ktdt + . . . .
O que podemos denotar por

a0 + (ak cos kx + bk sin kx) , 2 k=1
f (x)
onde
1 1 bk = ak =
f (t) cos ktdt k = 0, 1, . . .

f (t) sin ktdt k = 1, 2, . . . .
Esta forma chamada de expanso da Srie de Fourier de f (x).
30
2.1.2 Exemplos
Vamos escrever a Srie de Fourier de algumas funes.
Exemplo 1 f (x) = cos2 x.

Resoluo: Usando as identidades trigonomtricas:
cos2 x sin2 x = cos 2x e cos2 x + sin2 x = 1
temos que
cos2 x = 1 cos 2x + . 2 2
Observaes
Se a funo f (x) mpar, como a funo cosseno par, os coecientes ak da srie de Fourier de f (x) sero nulos . Se a funo f (x) par, como a funo seno mpar os coecientes bk da srie de Fourier de f (x) sero nulos.
Exemplo 2 f (x) = x.
Resoluo: Temos que
bk = 1
t sin ktdt.
Fazendo a integrao por partes (t = u e sin ktdt = dv )

bk = 1 cos k cos k ( ) + k k = 2 cos k k
como cos k = (1)k

bk = 2(1)k+1 , k k = 1, 2, . . .
Pelas observaes feitas anteriormente
31
ak = 0,
k = 0, 1, . . .
Assim
(1)k+1 x2 sin kx. k k=1
Exemplo 3 f (x) = x2 .
Resoluo: Temos que
ak = 1

t2 cos ktdt,
k = 0, 1, . . .
Para k = 0
a0 = 1

t2 dt =
2 2 . 3
Para k = 1, 2, . . . fazendo integrao por partes (t2 = u e cos ktdt = dv )

ak = 2 k
t sin ktdt,
pelos clculos j efetuados no exemplo 2

ak = 4(1)k . k2
Assim
x2
2 (1)k +4 cos kx. 2 3 k=1 k
Observe que
x=0 (1)k 2 , 2 12 k=1 k 1 2 . 2 6 k=1 k

x=
32

ex + ex . e e
Exemplo 4 f (x) =
Resoluo: Temos que

bk = 1 et + et sin ktdt, e e
k = 1, 2, . . .
ou seja,
1 e )

I1 I2
bk =
(e
et sin kt dt +
et sin kt dt .

Integrando I1 por partes (et = u e sin ktdt = dv )

cos k (e e ) 1 t + e cos ktdt k k fazendo a integrao por partes (et = u e cos ktdt = dv ) I1 = I1 = cos k 1 e e 2 I1 . k k
Como cos kt = (1)k

k (1)k (e e ) . I1 = k2 + 1 Integrando I2 por partes (et = u e sin ktdt = dv ) cos k (e e ) 1 k k = u e cos ktdt = dv I2 = I2 =

et cos ktdt,
fazendo e
assim
cos k (e e ) 1 2 I2 , k k
k (1)k (e e ) . k2 + 1 Portanto bk = 0 para k = 1, 2, . . .. I2 = ak = 1 et + et cos ktdt e e
, k = 0, 1, . . .
2.1 Denies e Exemplos Para k = 0

a0 = 1 (e e )

33
(et + et )dt =
2 ,
Para k = 1, 2, . . .
1 (e e )

I3
ak =
et cos kt dt +
et cos kt dt
I4
Integrando I3 por partes (et = u e cos ktdt = dv )

I3 = 1 k

et sin ktdt
fazendo et = u e sin ktdt = dv

I3 = 1 k cos k (e e ) 1 + I3 , k k
assim
I3 = (1)k (e e ). k2 + 1
Integrando I4 por partes (et = u e cos ktdt = dv )

I4 = 1 4

et sin ktdt
fazendo e
= u e sin ktdt = dv I4 = 1 cos k (e e ) 1 I4 , k k k
assim
I4 = (1)k+1 (e e ). 2 k +1
Logo
ak = 2(1)k . (k 2 + 1)
34 Assim
f (x) 2 1 +
(1)k cos kx. 2 k=1 k + 1
Note que se x = 0
(1)k 1 . 2 (e e ) 2 k=1 k + 1
Exemplo 5 f (x) = x( x).

Resoluo: Temos que
ak = 1 8
1 8
t( t) cos ktdt k = 0, 1, . . .
Para k = 0
a0 = 1 8

(t t2 )dt =
3 , 12
Para k = 1, 2, . . .
1 8

ak =
t cos ktdt
I1
t2 cos ktdt .
I2
As integrais I1 e I2 j foram calculadas nos exemplos (2) e (3) respectivamente, assim

(1)k+1 ak = , 2k 2 bk = 1 8
t( t) sin ktdt k = 1, 2, . . . ,
obviamente
1 8

bk =
t( t) sin ktdt
I3
t2 sin ktdt .
I4
2.1 Denies e Exemplos Por clculos j efetuados

bk = 1 2 (1)k+1 . 4 k
35
Portanto
3 (1)k+1 2 f (x) + cos kx + (1)k+1 sin kx , 2 24 2k 4k k=1
ou ainda
f (x) 3 + 24 2 (1)k+1 k k=1
cos kx + sin kx . k 2
Se x = 0
(1)k+1 2 . k2 12 k=1
Exemplo 6 f (x) = ( 2x)

Resoluo: Temos que
ak = 1 8

1 8
cos ktdt 2

t cos ktdt
k = 0, 1, . . .
Para k = 0
a0 = 1 8

dt 2

tdt =
2 , 4
Para k = 1, 2, . . .
ak = 1 8

cos ktdt 2

t cos ktdt = 0,

bk =
1 8
sin ktdt 2
I1
t sin ktdt .
I2
I1 = 0 e pelos clculos j efetuados no exemplo (3), temos que
36
4 (1)k . k
I2 =
Portanto
bk = (1)k . 2k
Assim
f (x) 2 2 + 4 2 (1)k sin kx. k k=1
Observe que se x = , temos

(1)2k+1 . k 2 k=1
Exemplo 7 f (x) =
( 2x)( 2 + 2x 2x2 ). 96
Resoluo: Note que

f (x) = 1 96

3 6x2 + 4x3 96
ak =
3 6x2 + 4t3 cos ktdt, k = 0, 1, . . .
Para k = 0
a0 = 1 96

3 6x2 + 4t3 ktdt =
4 . 48
Para k = 1, 2, . . .
3 96 4 96
ak =
cos ktdt
I1 I3
6 96
t2 cos ktdt
I2
t3 cos ktdt,
2.2 Convergncia da Srie de Fourier em L2 [, ]
37
temos I1 = I3 = 0 pois a funo t3 mpar, I2 j foi calculada no exemplo (4), portanto

ak = 3 96
2 (1)k+1 , 4k 2
I2
bk =
sin ktdt
I1
16
t2 sin ktdt +
4 96
t3 sin ktdt .
I3
Note que I1 = I2 = 0. Fazendo em I3 (t3 = u e sin ktdt = dv )

I3 = 2 3 cos k 3 + k k
cos ktdt ,
assim
bk = (1)k (6 k 2 2 ) . 12k 3
Portanto
4 2 (1)k+1 (1)k (6 k 2 2 ) + cos kx + sin kx. 96 k=1 4k 2 12k 3
f (x)
Observe que se x = , temos

(1)k (6 k 2 2 ) 3 . k3 8 k=1
2.2
Convergncia da Srie de Fourier em L2[, ]
Para mostrarmos que a srie de Fourier converge em L2 [, ] provaremos primeiramente o seguinte teorema.
Teorema 12 O sistema trigonomtrico base em L2 [, ].
38
Demonstrao. Temos que mostrar que se
f (t) cos ktdt = 0,
k = 0, 1, . . .
f (t) sin ktdt = 0,
k = 1, 2, . . . ,
ento f (t) = 0 em quase todo ponto do intervalo (, ), com respeito integral de Lebesgue, ou seja, a medida dos pontos t, onde f (t) = 0, nula
( = 0).
Lembre-se que um conjunto G (a, b) tem medida zero ((G) = 0) se para qualquer > 0, existe um nmero enumervel de intervalos U1 , , Un , . . . , tais que Ui =, i = 1, 2, . . ., onde

Un G e alm disso
n=1
 < .

i=1
1) Seja n o espao dos polinmios trigonomtricos e seja hn n , onde

hn =
n a0 + (ak cos kx + bk sin kx). 2 k=1
Consequentemente,
< f, hn >=
n a0 (f, 1) + (ak < f, cos kx > +bk < f, sin kx >) = 0, 2 k=1
pois, por hiptese,
f (t) cos ktdt = 0,
k = 0, 1, . . .
f (t) sin ktdt = 0,
k = 1, 2, . . .
2) Seja g1 (t) C [, ] tal que g1 ( ) = g1 ( ). Pelo teorema de Weirstrass, se g1 (t) satisfaz as exigncias apresentadas acima, ento, > 0, n I N e hn (t) n tal que g1 (t) hn (t) < , onde F = sup |F (x)|. Assim, dado > 0, escrevendo g1 (t) = g1 (t) hn (t) + hn (t) e usando a desigualdade triangular chegamos que
x[, ]
f (t)g1 (t)dt
f (t)hn (t)dt +
f (t)(g1 (t) hn (t))dt .
2.2 Convergncia da Srie de Fourier em L2 [, ] Do item anterior, temos que

39
f (t)hn (t)dt = 0. Logo,

f (t)g1 (t)dt g1 (t) hn (t)

|f (t)|dt

|f (t)|dt.
Mas sabemos que
|f (t)|dt limitada, pois, pela desigualdade de Cauchy
1|f (t)|dt

|1|2 dt
1/2
|f (t)|2 dt
1/2
Portanto,
f (t)g1 (t)dt 0,
o que implica que < f, g1 > 0. 3) Seja g (x) C [, ] e

Gn (x) =
g ( ),
se x = , n[g ( + 1/n) g ( )](x + ) g ( ), se x [, + 1/n], g (x), se x [ + 1/n, ]
Temos, por hiptese, que g (x) contnua em [, ] o que implica que M tal que |g (x)| M, consequentemente, |Gn (x)| M, para todo x [, ]. Assim,
g (x)Gn (x)
2 2
|g (x)Gn (x)|2 dx =
+1/n
|g (x)Gn (x)|2 dx 4M 2 /n.
Logo,
g (x) Gn (x)
2
0, quando n .
(2.2.12)
Agora, fazendo g (x) = g (x) Gn (x) + Gn (x) e usando a desigualdade triangular chegamos que

f (x)g (x)dx

f (x)Gn (x)dx +
|f (x)||g (x) Gn (x)|dx.
Temos, pelo segundo item que f (x)Gn (x)dx = 0, uma vez que Gn (x) satisfaz as mesmas condies do item citado. A partir disso e da desigualdade de Cauchy, teremos
40
f (x)g (x)dx f (x)
g (x) Gn (x)
0, por (2.2.12).
Logo, < f, g >= 0. 4) Tomemos g (x) L2 [, ] tal que g (x) seja limitada, isto , |g (x)|
M.
Como g (x) L2 [, ], temos que g (x) L1 [, ]. Assim, existe g1 (x), g2 (x), , gn (x) pertencentes a C [, ] que convergem para g (x) em quase todo ponto tal que |gn (x)| M . Do teorema de Lebesgue, que diz que dados f1 , f2 , , fn L(X ) onde X um conjunto mensurvel e fn convergente em quase todo ponto do conjunto X e g L(X ) tal que n I N,
|fn (x)| g (x),
ento f L(X ) tal que

|fn (x) f (x)|dx 0 e fn (x) f (x)
em quase todo ponto de X , teremos que

g (x) gn (x)
1
0, quando n .
Consequentemente
g (x) gn (x)
2
0, quando n .
2
Logo, dado > 0, gn (x) = h(x) C [, ] tal que g (x) h(x) o que implica, pelo terceiro item que
< ,
f (x)g (x)dx < .
5) Tomemos, agora, uma funo g (x) L2 [, ] e uma outra funo gn (x) contnua nesse mesmo intervalo tal que
gn (x) = sup(n, inf(g (x), n)).
Assim, como denida, gn (x) limitada por n, e gn (x) g (x), n . Pela desigualdade triangular temos que
2.3 Convergncia em um ponto
41
gn (x) g (x)
(|g (x)| + |gn (x)|)2 4|g (x)|2 .
A partir do teorema de Lebesgue, podemos concluir que gn (x) g (x) 1 0. Portanto, < f, g >= 0. Por ltimo resta-nos observar que < f, f >= f 2 = 0 se e somente se f o elemento nulo do espao. Portanto, conclumos que f L2 [, ] tal que < f, g >= 0 para toda funo g pertencente ao sistema trigonomtrico, essa f s poder ser a funo nula do espao. Logo, o sistema trigonomtrico uma base em L2 [, ], em virtude da denio (5). Assim, de acordo com o teorema (11), podemos concluir que a Srie de Fourier para a funo f converge em L2 [, ]. Isto , as somas parciais da Srie de Fourier Sn (f ) tal que Sn (f ) f 2 0, quando n . Pelo segundo item do teorema 11, temos que
1

f 2 (x)dx =
a2 0 2 + (a2 n + bn ), 2 n=1
para qualquer f L2 [, ], que conhecida como Igualdade de Parseval. Como consequncia do teorema acima, temos que, para qualquer f
L2 [, ], an = 1 1

f (t) cos ntdt 0, quando n
e
bn =
f (t) sin ntdt 0, quando n
2.3
2.3.1
Convergncia em um ponto
Formas integrais das sries de Fourier
1
Seja L1 [, ] = {f : [, ] I R tal que f
< }, onde
:=
|f (t)|dt.
Pela desigualdade de Ho lder temos que L2 [, ] subespao de L1 [, ].
42
Teorema 13 Para qualquer f L1 [, ] e qualquer > 0, existe g (que
uma combinao linear de funes caractersticas, ou seja, funo escada) tal que f g 1 < .
Observao: Se considerarmos g(t) funo escada, ento

g (t) sin ntdt 0, quando n e g (t) cos ntdt 0, quando n
pois, g (t) constante e as integrais

sin ntdt e
cos ntdt
convergem para zero quando n .
Lema 6 Se f uma funo pertencente a L1 [, ] ento an , bn (coecientes

da srie de Fourier) convergem para zero quando n .
Demonstrao. Seja > 0.

|an (f )| = = 1 1 1 1 1
f (t) cos ntdt

(f (t) g (t) + g (t)) cos ntdt

(f (t) g (t)) cos ntdt +

1 1
g (t) cos ntdt

|f (t) g (t)| | cos nt| dt +

1
g (t) cos ntdt
|f (t) g (t)|dt +
g (t) cos ntdt
1 f g
+ |an (g )|,
onde g funo caracterstica. Ento, de acordo com o teorema 13, g tal que f g 1 < , e N tal que n > N, |an (g )| < /2.
2.3 Convergncia em um ponto Agora tomando

f g
1
43
, 2
<
teremos
|an (f )| .
Portanto, an (f ) 0 quando n . De maneira anloga, temos que bn (f ) 0 quando n . A n-sima soma parcial da srie de Fourier denida por
Sn (f ; x) =
n a + (ak cos kx + bk sin kx). 2 k=1
Tomemos agora uma funo f com perodo 2 , para mostrarmos o prximo lema
Lema 7 Seja f qualquer funo pertencente a L2 [, ]. Ento

Sn (f ; x) = 1
f (x + t)
sin(n + 1/2)t dt. 2 sin t/2
Mostraremos ento, que isso implica

a+2
Demonstrao. 1a parte: Como f uma funo peridica, temos que f (x + 2) = f (x).

b+2
f (x)dx =
a b
f (x)dx, a, b I R.
Deslocando o intervalo de integrao, teremos

a+2 b b+2 a+2
f (x)dx =
a a
f (x)dx +
b b b+2
f (x)dx +
b+2 a+2
f (x)dx
=
b
f (x)dx +
a (I1 )
f (x)dx +
b+2 (I2 )
f (x)dx .
(I3 )
Vamos calcular (I3 ) fazendo a seguinte mudana de varivel Teremos que

I3 =
a a b
x = y + 2, dx = dy.
f (y + 2 )dy =
b b
f (y )dy =
a
f (y )dy = I2 .
44 Portanto
a+2 b+2
f (x)dx =
f (x)dx.
b
2a parte:
Sn (f ; x) = 1 2 + 1 = = 1
f (t)dt +
k=1
f (t) cos ktdt cos kx
f (t) sin ktdt sin kx
n 1 f (t) + (cos kt cos kx + sin kt sin kx) dt 2 k=1 n 1 + cos k (t x) dt 2 k=1 n 1 + cos k (t x) dt. 2 k=1
f (t)

1 =
2 sin(t x)/2 f (t) 2 sin(t x)/2
Como temos que

sin( + ) = sin cos + sin cos e, sin( ) = sin cos sin cos .
Se subtrairmos uma da outra, teremos

sin( + ) sin( ) = 2 sin cos .
Tomando = k (t x) e =
sin k+ 1 (t x) sin 2
tx obtemos 2 1 tx (t x) = 2 sin cos k (t x). 2 2
Ento
1 Sn (f ; x) = = 1
n 1 tx tx f (t) sin + 2 sin cos k (t x) dt 2 sin(t x)/2 2 2 k=1 n 1 tx sin + sin 2 sin (t x)/2 2 k=1 1 k (t x) dt 2
f (t)
k+
1 (t x) 2
sin

= 1
45
1 tx 3 1 sin + sin (t x) sin (t x) 2 sin (t x)/2 2 2 2 1 1 +... + sin n + (t x) sin n (t x) dt 2 2 f (t) 1
f (t)
sin(n + 1/2)(t x) dt. 2 sin (t x)/2

Agora faremos a seguinte mudana de varivel Ento

a
u = t x, du = dt.
Sn (f ; x) =
f (x + u)
x
sin(n + 1/2)u du. 2 sin(u/2)
3 parte: Temos que as funes

f (x + u) e sin(n + 1/2)u 2 sin(u/2)
so peridicas na varivel u, com perodo 2 , pois

sin n +
n 1 u u = sin + sin 2 2 k=1
k+
1 u sin 2
1 u 2
n u u = sin + 2 cos ku sin . 2 k=1 2
Ento
n sin(n + 1/2)u 1 1 = + cos ku = + cos u + cos 2u + ... + cos nu. 2 sin(u/2) 2 k=1 2
E o intervalo [ x, x] de comprimento 2 . Alm disso, a integral sobre esse intervalo a mesma que a integral sobre o intervalo [, ], assim
Sn (f ; x) = 1
f (x + u)
sin(n + 1/2)u du. 2 sin(u/2)
Deniremos a soma modicada da srie de Fourier por

n (f ; x) = 1 S
f (x + t)
sin nt dt. t
Ento, a srie de Fourier da funo f convergente no ponto x e tem soma n (f ; x) convergente e lim S n (f ; x) = S (x). S (x) se e somente se S n
Teorema 14 Seja f uma funo com perodo 2, f L1 [, ] e x I R.
46
Demonstrao.
n (f ; x) = Sn (f ; x) S 1 1 2 2 1 2 2 1 2
f (x + t)

sin(n + 1/2)t sin nt dt 2 sin t/2 t sin nt cos t/2 + cos nt sin t/2 sin t/2
f (x + t)
sin nt dt t
f (x + t)
t sin t/2 cos nt + t sin nt cos t/2 t sin t/2
sin nt sin t/2 dt t sin t/2

f (x + t) cos ntdt +

f (x + t)g (t) sin ntdt
onde g (t) =
Mas, pelo lema 6 temos que

t cos t/2 2 sin t/2 . t sin t/2 f (x + t) cos ntdt 0, quando n .
E para temos
f (x + t)g (t) sin ntdt
f (x + t) uma funo contnua e diferencivel, sin nt um coeciente de Fourier, g (t) contnua, pois no ponto t = 0 lim g (t)
t0 L Hospital
lim
t/2 sin(t/2) 0. t0 sin t/2 + t/2 cos t/2
Como continuamos com uma indeterminao, vamos aplicar L'Hospital novamente. Ento
lim
t0
t/4 cos(t/2) 1/2 sin(t/2) =0 cos(t/2) t/4 sin(t/2)
Assim
f (x + t)g (t) sin ntdt 0
2.3 Convergncia em um ponto Portanto

n (f ; x) 0, x. Sn (f ; x) S
47
Ou seja,
n
n (f, x) = S (x). lim S
2.3.2 Funes com Variao Limitada

Denio 7 Seja a funo f : [a, b] I R denida e limitada no intervalo
fechado [a, b]. Seja
= {a = x0 < x1 < . . . < xn = b}
uma partio do intervalo [a, b]. A quantidade

n
V (f ; ) =
j =1
|f (xj ) f (xj 1 )|
(2.3.13)
chamada variao de f (x) na partio . Seja D a famlia de todas as parties de [a, b]. Quando percorre D, as variaes (2.3.13) tomam valores no-negativos. Se o conjunto destes valores limitado superiormente, dizemos que a funo f (x) tem variao limitada em [a, b]. Quando isto acontece, o nmero
V (f, [a, b]) = sup V (f ; )
D
chamado variao total de f (x) em [a, b] ou simplesmente variao de f (x) em [a, b]. O conjunto das funes com variao limitada em [a, b] denotado por BV [a, b].
Lema 8 Se f (x) montona em [a, b], ento f BV [a, b] e

V (f ; [a, b]) = |f (b) f (a)|.
ento f BV [a, b].
Lema 9 Se f (x) diferencivel em [a, b] e sua derivada limitada em [a, b],
48
Demonstrao. Existe um nmero no negativo M , tal que |f (x)| M ,
para todo x [a, b]. Portanto, pelo Teorema do Valor Mdio, para toda partio de [a, b], temos
n
V (f ; ) =
j =1 n
|f (xj ) f (xj 1 )| |f (j )|(xj xj 1 )

j =1 n
=
j =1
M (xj xj 1 )
= M (b a).
Isto signica que a variao de f (x) limitada em [a, b].
Lema 10 Se f BV [a, b], ento f (x) limitada em [a, b].

Este fato consequncia imediata da desigualdade
|f (x) f (a)| V (f, [a, b])
ento, se f (x) ilimitada em [a, b], sua variao no pode ser limitada. Existem tambm funes limitadas cujas variaes no so limitadas. Uma tal funo a funo de Dirichlet
0, D(x) = 1,
para x racional para x irracional
considerada em qualquer intervalo [a, b].
Teorema 15 Se f : [a, b] I R tem variao limitada em [a, b], ento a sua
variao em qualquer subintervalo de [a, b] tambm limitada. Alm disso, para todo c [a, b], temos
V (f, [a, b]) = V (f, [a, c]) + V (f, [c, b]).
(2.3.14)
49
Demonstrao. A existncia das variaes V (f, [a, c]) e V (f, [c, b]) bvia.
Por isto provaremos (2.3.14). Seja uma partio de [a, b] denida por (2.3.13). Obviamente c pertence a um dos intervalos desta partio. Seja c [xk1 , xk ]. Consideremos as correspondentes parties
1 = {a = x0 < x1 < . . . < xk1 c}, 2 = {c xk < xk+1 < . . . < xn = b}.
Sejam
k 1
V (f ; 1 ) =
j =1
|f (xj ) f (xj 1 )| + |f (c) f (xk1 )|,

n
V (f ; 2 ) = |f (xk ) f (c)| +
j =k+1
|f (xj ) f (xj 1 )|
as variaes de f nestas parties. Para a variao de f (x) na partio , temos

k 1
V (f ; ) =
j =1
|f (xj ) f (xj 1 )| + f (xk ) f (xk1 )|

n
(2.3.15)
+
j =k+1
|f (xj ) f (xj 1 )|.
Consequentemente, pela denio da vario,

V (f ; ) V (f ; 1 ) + V (f ; 2 ).
ou seja,
V (f ; ) V (f ; [a, c]) + V (f ; [c, b]).
Esta desigualdade mostra que V (f ; [a, c])+V (f ; [c, b]) um limite superior para conjunto formado pelos valores de V (f ; ) quando percorre todas as parties D. Desde que V (f ; [a, b]) igual ao menor limite superior deste conjunto, concluimos que
V (f ; [a, b]) V (f ; [a, c]) + V (f ; [c, b]).
(2.3.16)
50
Mostraremos agora a desigualdade oposta. Para este propsito, consideremos parties arbitrrias
= {a = x0 < x1 < . . . < xm = c} = {c = y 0 < y 1 < . . . < y n = b }
de [a, c] e de [c, b], respectivamente. Obviamente

= {a = x 0 < x 1 < . . . < x m = c = y 0 < y 1 < . . . < y n = b }
uma partio de [a, b]. Alm disso,

V (f ; ) = V (f ; ) + V (f ; ).
Portanto V (f ; ) + V (f ; ) V (f ; [a, b]), o que equivalente desigualdade

V (f ; ) V (f ; [a, b]) V (f ; ).
(2.3.17)
Vamos xar a partio e deixar percorrer todas as parties de [a, c]. A desigualdade (2.3.17) mostra que o nmero V (f ; [a, b]) V (f ; ) um limite superior para o conjunto de nmeros V (f ; ). Desde que V (f ; [a, c]) no um dos possveis limites superiores para este conjunto, temos
V (f ; [a, c]) V (f ; [a, b]) V (f ; ),
ou equivalentemente
V (f ; ) V (f ; [a, b]) V (f ; [a, c]).
(2.3.18)
Lembrando que a partio foi xa arbitrariamente, observamos que a desigualdade (2.3.18) signica que V (f ; [a, b]) V (f ; [a, c]) um limite superior do conjunto dos nmeros V (f ; ) quando ) percorre todas as parties de [c, b]. Da, V (f ; [c, b]) V (f ; [a, b]) V (f ; [a, c]) o que equivalente a
V (f ; [a, c]) + V (f ; [c, b]) V (f ; [a, b]).
Esta desigualdade, junto com (2.3.16) implica em (2.3.14).
51
Representao das Funes com Variao Limitada como Diferena de Funes Montonas
O teorema da seo anterior nos permite denir, para qualquer funo f : [a, b] I R de variao limitada, uma nova funo F : [a, b] I R onde, para qualquer x [a, b], F (x) denida por
F (x) = V (f, [a, x]).
Lema 11 A funo F (x) no negativa e crescente em [a, b]. Demonstrao. Desde que a variao sempre um nmero no negativo,
F (x) tambm no negativa. Sejam x e y , y x, dois pontos do intevalo [a, b]. Temos F (y ) = V (f, [a, y ]) = V (f, [a, x]) + V (f, [x, y ]) V (f, [a, x]) = F (x),
o que signica que F crescente.
Teorema 16 Toda funo com variao limitada pode ser representada como
diferena de duas funes crescentes.
Demonstrao. Seja f (x) : [a, b] I R com variao limitada. Obviamente

f (x) = F (x) [F (x) f (x)],
onde F (x) a funo denida acima. J mostramos que F (x) crescente. Provaremos o teorema quando mostrarmos que F (x) f (x) tambm crescente. Sejam novamente x e y tais que a x y b. Temos que mostrar que
F (x) f (x) F (y ) f (y ),
ou equivalentemente, que
f (y ) f (x) V (f ; [x, y ]).
(2.3.19)
Observe que os pontos x e y formam uma partio do intervalo [x, y ]. Portanto |f (y ) f (x)| um dos nmeros V (f, ) para f no intervalo [x, y ].
52
Desde que a variaco um limite superior para todos os tais nmeros, temos que
|f (y ) f (x)| V (f, [x, y ]).
Esta uma desigualdade mais forte do que (2.3.19).
Lema 12 Sejam as funs f, g : [a, b] I R com variao limitada. Ento,

as funes f + g , f g e f g tambm tm variaes limitadas.
Para a soma e o produto as demonstraes so anlogas. Seja
= {a = x0 < x1 < . . . < xn = b}
Demonstrao. Provaremos a armaco do lema para a diferena f g.
uma partio arbitrria do intervalo [a, b]. Ento, pela desigualdade do tringulo, temos
n
|(f (xj ) g (xj )) (f (xj 1 ) g (xj 1 ))| V (f ; [a, b]) + V (g ; [a, b]).
j =1
Isto mostra que o conjunto dos nmeros V (f g ; ), quando percorre todas as partices D, limitado superiormente. Portanto, a funo f (x) g (x) tem variao limitada. O teorema 16 e o lema 12 implicam imediatamente no seguinte fato
Corolrio 3 A funo f : [a, b] I R tem variao limitada em [a, b] se e

somente se ela diferena de duas funes crescentes.
2.3.3 Critrios de Dini-Lipschitz e Dirichlet-Jordan

Observaes
Se f (x) = c, a srie de Fourier ser a prpria f (x). As somas parciais da Srie de Fourier so dadas por Sn (x) =
n a0 + (ak cos kx + bk sin kx). 2 k=1

L1 [, ] e seja x I R. Se
53
Lema 13 Sejam f , g duas funes somveis, de perodo 2, ou seja, f, g

h(t) = f (x + t) g (x + t) t
considerada como funo da varivel t, pertence a L1 [, ], ento as sries de Fourier das funes f e g so simultaneamente divergentes ou convergentes em x. Quando as sries convergem, elas tm a mesma soma.
Demonstrao.
n (f, x) S n (g, x) = 1 S 1 =
(f (x + t) g (x + t))

sin nt dt t
f (x + t) g (x + t) sin ntdt. t
Temos por hiptese que h(t) L1 [, ] e podemos observar que a ltima integral o coeciente bn da srie de Fourier de h(t). Da, pelo lema 6 temos que bn 0, quando n . Assim
n (f, x) S n (g, x) 0, quando n . S
Se
n (f, x) S n (g, x) . S
Se
n
n (f, x) = S (x) lim S n (g, x) = S (x). lim S

n
Teorema 17 (Princpio da Localizao de Riemann) Se f , g L1 [, ]
so somveis e f g , para qualquer U x (U uma vizinhana de x) ento Sn (f, x) e Sn (g, x) so simultaneamente convergentes ou divergentes. Alm disso, no caso de convergncia, as somas coincidem.
Demonstrao.
Temos U uma vizinhana qualquer de x, ento V = x + U ser uma
vizinhana qualquer de zero.
54

Se F L1 [a, b] e G tal que |G(x)| < M, x [a, b] F G L1 [a, b].
Seja
h(t) =

0 , tV f (x + t) g (x + t) , t (L1 [, ]\V ) . t
(2.3.20)
Observe que no resultado citado anteriormente F (t) = f (x + t) g (x + t) e G(t) = . Da, pelo lema 13 temos o resultado.
1 t
Corolrio 4 Sejam f e g L1 [, ]. Se existir A > 0, > 0 e U
x tais que |f (t) g (t)| A |t x| , para qualquer x U , ento Sn (f, x) e Sn (g, x)
so simultaneamente convergentes ou divergentes. Alm disso, no caso de convergncia, as somas coincidem.
Demonstrao. Usaremos os seguintes fatos

A
1 dt integrvel se < 1. t
Se |F | G, onde G somvel, ento F somvel.
Temos que
|f (t) g (t)| A |t x| f (t) g (t) A . tx |t x|1
Como > 0 1 < 1, assim

A L[, ]. |t x|1
Da,
f (t) g (t) L[, ]. tx
Assim, pelo lema 13 temos o resultado.
55
Lema 14 Sejam
f L1 [, ], x I R, 0 <
n, (f, x) = 1 S
f (x + t)
sin nt dt, t
n = 1, 2, . . .
(2.3.21)
n, (f, x) conEnto Sn (f, x) convergente para S (f, x) se e somente se S vergente para S (f, x).
Demonstrao. Dena t (x , x + 2)
f (t), g (t) = 0 ,
se se
x <tx+ x + < t x + 2
(2.3.22)
n, (f, x) = S n (g, x), e g (t+2 ) = g (t), t I R. Por (2.3.21) e (2.3.22), temos S mas pelo teorema 17 n (g, x) S n (f, x) S
da
n, (f, x) S n (f, x) Sn (f, x). S
Assim, se
n, (f, x) S (f, x) Sn (f, x) S (f, x) S n, (f, x) S (f, x) Sn (f, x) S (f, x). S
Corolrio 5 Sejam f L1 [, ], x I R, 0 < tal que as hipteses

do lema 14 sejam satisfeitas. Ento
n, (f, x) = 2 S
0
f (x + t) + f (x t) sin nt dt S (f, x) 2 t
Demonstrao. Temos que

n, (f, x) = 1 S
f (x + t)
sin nt dt t
56 ou seja
n, (f, x) = 1 S
f (x + t)
0 I1
sin nt 1 dt + t
f (x + t)
I2
sin nt dt t
como u = t
I2 = 2
0
2 2 I2 = I1 =
0 0
f (x + t) sin nt dt 2 t f (x + u) sin nu du 2 u
0
f (x t) sin(nt) 2 (dt) = 2 t
f (x t) sin nt dt. 2 t
Da teremos a igualdade.
Corolrio 6 Se f L1 [, ] e existe tal que 0 < e f (x t) =

f (x + t), para qualquer |t| < ento Sn (f, x) 0, quando n .
Demonstrao.
f (x + t) + f (x t) sin nt dt. 2 t 0 n, (f, x) = 0, para Como por hiptese f (x t) = f (x + t) ento S qualquer n I N. Portanto Sn (f, x) 0, quando n . n, (f, x) = 2 S
uma constante e U
Teorema 18 (Critrio de Dini-Lipschitz). Sejam f L1 [, ], x I R, c

0 tais que f (x + t) c L1 (U ). t Ento Sn (f, x) convergente e Sn (f, x) c, quando n .
Demonstrao. Tome no lema 13 g(x + t) = c. Da

Sn (f, x) Sn (g, x) c.
Portanto
Sn (f, x) c.
57
Corolrio 7 (Lipschitz) Sejam f L1 [, ], x I R. Se f satisfaz a

condio de Lipschitz em torno de x, isto , se
existe k > 0 e > 0 tais que |f (x + t) f (x)| k |t| ,
para qualquer t tal que |t| sucientemente pequeno, ento Sn (f, x) f (x), quando n .
Demonstrao. Seja g(x + t) = f (t) = cte

k f (x + t) f (x) k 1 = p , t |t| |t| 0<p<1
Da por raciocnio anlogo ao do corolrio 4, temos o resultado.
Corolrio 8 (Dini) Se f L1 [, ] diferencivel em x, ento Sn (f, x)

f (x), quando n . f (x + t) c f (x + t) f (x) = (Pelo Critrio de t t Dini-Lipschitz) onde f (x) = c. f (x + t) f (x) Como f diferencivel, convergente quando t 0, t
Demonstrao.
Seja
pois
lim
f (x + t) f (x) f (t) f (x) = lim = f (x) tx t0 t tx
f (x + t) f (x) limitada quando t a uma vizinhana pet f (x + t) f (x) quena de 0, isto , existe k > 0 tal que k quando t t pertence a U 0. Ento | f (x + t) f (x) | k | t |, uma funo de Lipschitz onde = 1.
Ento existe uma vizinhana tal que f (x) limitada.(Pois se f derivvel em X (compacto) f contnua em X (compacto) f limitada em x(compacto)) Portanto
Logo, pelo corolrio 7, temos o resultado. Sejam [a, b], x = {a = x 0 x 1 . . . x n = b } e

n
V (f, x ) =
i=0
|f (xi+1 ) f (xi )|
58
lim sup V (f, x ).
Denio 8 f BV [a, b] se sup V (f, x ) < . Se f BV [a, b], V (f, [a, b]) =
Lema 15 Se f BV [a, b] ento existem funes crescentes f1 , f2 tais que

f (x) = f1 (x) f2 (x).
Lema 16 Se f tem derivada para qualquer x [a, b] e f (x) limitada em

[a, b], ento f BV [a, b].
Demonstrao. Como f (x) limitada, ento existe M tal que |f (x)|

M, para qualquer x [a, b]. Assim, para qualquer x, temos
n n
V (f, x ) =
i=1
|f (xi+1 f (xi )| =
i=1
f (i ) |xi+1 xi | M (b a).
Corolrio 9 Se f BV [a, b] e f C 1 [a, b] ento V (f, [a, b]) || f || (ba) Denio 9 f AC [a, b] (f absolutamente contnua) se para qualquer
> 0, existe > 0 tal que para qualquer i [a, b] e i j = , para todo i = j e
n n 1, 2, . . . , n
= (ai , bi ),
(bi ai ) <
i=1 i=1
|f (bi ) f (ai )| <
Lema 17 Se f tem derivada para qualquer x [a, b] e f (x) limitada em

ponto.
[a, b], ento f AC [a, b]. Isto signica que no utua muito em qualquer
Lema 18 Se f Lip1 [a, b] ento f AC [a, b]. Lema 19 Se f AC [a, b] ento f BV [a, b]. Lema 20 Se g L1 [a, b], [a, b], ento a funo f denida por
x
f (x) =
g (t)dt, para qualquer x [a, b]
absolutamente contnua em [a, b].
59
Lema 21 Se monotonicamente crescente em [a, b], ento tem no mximo um nmero enumervel de pontos de descontinuidade.
f BV (U ) onde U
Teorema 19 (Critrio de Dirichlet-Jordan) Sejam f L1 [, ], x I Re

x. Ento a srie de Fourier de f convergente em x S (x) = f (x + 0) + f (x 0) 2 f (x 0) = lim f (t). tx
x>t
e a sua soma onde
f (x + 0) = lim f (t), tx
t>x

n, (f, x) = 2 S
0
f (x + t) + f (x t) sin nt dt. 2 t
Fazendo
c= f (x + t) + f (x t) , 2
sin nt dt = c t 0 sin nt n, (f, x) S n, (c, x) = 2 S dt = In 0 t c
n, (c, x) = 2 S
onde
f (x + t) f (x + 0) + f (x t) f (x 0) . 2 Temos que mostrar que In 0, quando n (t) = (t) 0, t 0, t > 0. BV [0, ]
pois BV (U ) e quando t [0, ], teremos que e t esto "prximas". Da pelo lema15, = 1 2 , onde 1 , 2 (0, ) com i (t) 0, t 0, t > 0, i = 1, 2. Seja (t) tal que , (0) = 0, (t) 0, t 0, t > 0. Consideremos
(t)
0
sin nt dt = In ( ). t
Sabendo que a integral
60
sin d
convergente, existe M tal que

t 0
sin d < M, para qualquer t I R. |Fn (t)| <
Se Fn (t) =
M.
nt 0
sin d ento para qualquer n I N, t I R,
Seja > 0, C (V ), V
0 existe (0, ) tal que ( ) <

4M
In ( ) =
(t)
0
sin nt dt + t
(t) sin ntdt = In1 + In2 t
Ento
(t) (t) contnua em quase todo ponto, ento L[, ]. t t 1 (t) In,2 = bn t 0, n . 2
Portanto existe N tal que para qualquer n > N, In2 <

Fn = sin nt , t
o que implica que

In1 =
(t)Fn (t)dt =
(t)dFn (t)dt = ( )Fn ( )
Fn (t)d (t).
Da
|In,1 | | ( )| |Fn ( )| +
ou seja
Fn (t)d (t) ,
|In,1 |
+M
0
d (t) =
+ V (, [0, ]) M =
+ M ( ( ) (0)) = . 2
Portanto
In ( ) = (t)
0
sin nt 0, quando n . t
Com isso, temos

n, (f, x) S n, (c, x) = 2 (In (1 ) In (2 )) 0 S pois = i , quando n .
2.4 Existncia de funes contnuas com sries de Fourier divergentes
61
2.4
Existncia de funes contnuas com sries de Fourier divergentes
Teorema 20 (Teorema de Baire) Sejam X um espao de Banach e F1 , ..., Fn , ...

Fk X (Fk fechado) tal que > 0 tal que B (, ) Fn . Fk = X . Ento, existem n I N , Fn e
k=1
Teorema 21 (Teorema do Grco Fechado) Sejam X e Y espaos de Banach
e T : D(T ) Y um operador linear limitado(contnuo), onde D(T ) X . Ento D(T ) fechado em X se e somente se T (D(T )) fechado em Y
Teorema 22 Sejam X espao de Banach e Y espao normado. Se u1 , ..., un , ...

so operadores lineares contnuos tais que uj : X Y e a sequncia u1 , ..., un , ... no limitada, ento X tal que u1 ( ) , ..., un ( ) , ... no limitada.
Vamos supor que u1 (x) , ..., un (x) , ... limitada, para qualquer x X . Seja k I N,
Demonstrao.
Fk = {x X : un (x) k, n = 1, 2, ...} =
n=1
{x X : un (x) k }.
Pelo teorema 21 temos que os conjuntos {x X : un (x) k } so fechados, logo a interseo Fk para n = 1, 2, ... fechada, ou seja
Fk =
n=1
{x X : un (x) k } .
f echado f echado
Deste modo podemos provar que 1)
k=1
Fk = X . De fato,
Fk X
k=1
Para todo Fk X
Fk X
k=1
62 2) X

Fk
k=1
Seja x0 X , por hiptese a sequncia { un (x0 ) } n=1 limitada, ento

M > 0 tal que un (x0 ) M, n = 1, 2, . . .
Se tomarmos k > M un (x0 ) M < k , n = 1, 2, . . .. Logo, temos que x0 Fk . Por 1) e 2) temos o resultado acima. Como estamos nas condies do Teorema de Baire, existe k I N , x Fk e > 0 tal que B (x0 , ) Fk . Seja z B (0, ), z + x x = z z + x B (x, ) un (z + x) k, n = 1, 2, ....
z + x x = z z + x B (x, ) un (z + x) k, n = 1, 2, ....
Mas,
un (z ) = = = 1 (z + x) 2 z + x un un 2 1 1 un (z + x) + un (z + x) 2 2 1 1 un (z + x) + un (z + x) 2 2 k, n = 1, 2, ... un 1 (z + x) 2 z+x + 2 k
Assim, se z B (0, ) temos que un (z ) k, n = 1, 2, ...
Seja y B (0, 1) y B (0, ) un (y ) k un (y ) , nI N. k N . Contradio, pois por hiptese, Logo, un , para todo n I u1 , ..., un , ... no limitada. Seja
[, ] = f C (I C R) : f (x + 2 ) = f (x), x I R e f
= sup |f (x)|
x[, ]
n (f ) := S n (f ; 0) = 1 S
f (t)
sin nt dt I R. t
2.4 Existncia de funes contnuas com sries de Fourier divergentes

[, ] tal que |S n (f )| ilimitada. C
63
[, ] tal que S n (f ; 0) divergente = f Teorema 23 Existe f C
Demonstrao. n : C [, ] I R so os operadores 1o ) S [, ] espao de Banach 2o ) C 3o ) I R normado o 4 ) Sn linear n contnuo 5o ) S

[, ] : Seja f C n (f )| = |S 1 sin nt f (t) dt t 1 sin nt |f (t)| dt t sin nt 1 dt f t sin nt 1 = f n dt nt
1() =2
2n f () Temos que
sin x x>0 | sin x| 1 = 1 = | sin x| x e xsin x 0 para x (0, /2). x x n ilimitada 6o ) S , t 0 Seja fk (t) = (k sin(n/k ))t , 0 < t < 1/k sin(nt) , 1/k t . n (fk )| S n onde Temos que fk C [, ] e fk = 1 isso implica S
0
n (fk ) = 1 S
fk (t)
sin(nt) dt. t , t 0 , 0 < t .
Mas, quando
0 (t) = k , fk (t) f sin(nt)
Ento fk (t) limitada.
64 Logo
n (fk ) 1 S
0
(t) sin(nt) dt = 1 f t

sin2 (nt) dt, quando n . t
Fazendo a mudana de varivel

1
0
= nt, , teremos d = 1/n dt
sin2 (nt) 1 n sin2 dt = d t 0 1 n sin2 d 1 1 n 1 cos 2 = d 1 2 1 n d 1 n cos 2 = d2 2 1 2 1 2 1 1 n d sin 2 = ln(n ) 2 2 1 2

= I
1 1 ln(n ) I. = 2 2
Calculando I obtemos
I =
p/partes
d(sin 2 ) 2 1 n sin 2 2 1 sin 2 J . 2 2 1 1 d = 2
n 1
sin 2 d 2 2
= J
Mas,
n
|J |
1
| sin 2 | d 2
n 1
=1
1
1 n 1 = < 1. n n
Ento, quando n
1
0
sin2 (nt) 1 dt ln(n ) t 2
1 I 2
|I | 1.
vai p/
limitado
vai p/
2.5 Convergncia em Lp [, ]
65
n ilimitada e existe f C [, ] tal que |S n (f )| ilimiPortanto, S tada (de acordo com o teorema 22).
2.5 Convergncia em Lp[, ]

Seja o espao
L1 [, ] = {f (x) : [, ] I R tal que f (x)
L1
< } ,
cuja norma denida por
f (x)
L1
|f (x)|dx.
A convergncia das somas de Fejr em L1 [, ] segue do seguinte teorema.
Teorema 24 Seja uma funo f L1 [, ] 2 peridica. Ento,

n (f, x) f (x)
L1
0, quando n
Demonstrao. Sabemos que
n (f, x) f (x)
L1
|n (f, x) f (x)|dx Kn (t)(t)dt
(f (x + t) f (x))Kn (t)dt|dx |f (x + t) f (x)|Kn (t)dt dx
F ubini
Kn (t)
|f (x + t) f (x)|dx dt
Kn (t)(t)dt
onde
(t) =
|f (x + t) f (x)|dx.
Vemos que (0) = 0, assim vamos provar que (t) contnua no ponto t = 0.
66
Captulo2. Sries de Fourier As funes contnuas so densas em [, ] com respeito a norma L1 . [, ] tal que Desta forma para qualquer > 0 existe uma g C
|f (x) g (x)|dx < .
Como f e g so peridicas temos
|f (x + t) g (x + t)|dx < ,
para todo t I R. E como toda funo contnua em um compacto tambm uma funo uniformemente contnua, segue que g tem esta ltima propriedade. Logo,
|g (x + t) g (x)| < , xI R, |t| < . 2
Ento,
|g (x + t) g (x)|dx < .
Assim para |t| < teremos
|(t)| =

|f (x + t) g (x + t) + g (x + t) g (x) + g (x) f (x)|dx
|f (x + t) g (x + t)|dx +

|g (x + t) g (x)|dx
|g (x) f (x)|dx
= + + .
Desta forma, |(t) (0)| < 3. Mas se tomarmos = 3 teremos

Kn (t)(t)dt (0) = 0.
Portanto,
n (f, x) f (x)
L1
0, quando n .
Agora, vamos considerar o espao

Lp [, ] = f (x) : [, ] I R tal que f (x)
Lp
< ,
2.5 Convergncia em Lp [, ] cuja norma denida por
67
Lp
|f (t)|p dt
1/p
A convergncia das somas de Fejr em Lp [, ] segue do seguinte teorema.
Teorema 25 Para qualquer funo f Lp [, ] com 1 < p < teremos

n (f ) f
Lp
0 quando n
Demonstrao. Sejam f Lp [, ] e n I N xo.

Consideremos q tal que strao do teorema de Fejr que
1 1 + = 1 e g (x) Lq [, ]. Segue da demonp q
f (x) =
f (x)Kn (t)dt,
onde
Kn (t) =
1 sin2 ((n + 1)/2)t , 2 (n + 1) sin2 (t/2)
o ncleo de Fejr. Vemos que a soma n (f, x) de Fejr a integral de convoluo de f (t) com o ncleo de Fejr. Assim,
n (f, x) f (x) =
(f (x + t) f (x))Kn (t)dt.
Aplicando a norma Lp temos

p
n (f, x) f (x)
Lp
[f (x + t) f (x)]Kn (t)dt dx
1 p
Para mostrar que esta quantidade converge para zero quando n , vamos considerar a seguinte integral

(n (f, x) f (x))g (x)dx = =
[f (x + t) f (x)]Kn (t)dt g (x)dx [f (x + t) f (x)]g (x)dx Kn (t)dt
68 Aplicando a desigualdade de Hlder,

[f (x + t) f (x)]g (x)dx

|[f (x + t) f (x)]g (x)|dx
|f (x + t) f (x)| dx
Lq ,
1 p
|g (x)| dx
1 q
= (t) g (x)
onde
(t) =
|f (x + t) f (x)|p dx
1/p
e g (x)
Lq
|g (x)|q dx
1/q
Sabemos pela demonstrao do teorema anterior, que (t) contnua em t = 0, isto , para todo > 0 existe > 0 tal que para todo |t| < temos |(t)| < . Assim, podemos mostrar

[n (f, x) f (x)]g (x)dx
[f (x + t) f (x)]g (x)dx Kn (t)dt

Lq ,
g (x)
Lq
(t)Kn (t)dt
3 g (x)
para todo n sucientemente grande. Logo, exite um natural , tal que

(n (f, x) f (x))g (x)dx 3 g (x)
Lq ,
n > .
Certamente, n (f, x) f (x) um funcional linear em Lp , ento pelo teorema de Riesz, existe g Lp , tal que o funcional admite uma representao atravs do produto interno
n (f, x) f (x) =
[n (f, x) f (x)]g (x)dx.
Assim, provamos que

|n (f, x) f (x)| 3 g (x)
Lq .
Portanto, se usarmos a representao da norma de um funcional, teremos

n (f, x) f (x)
Lp
3 , n > .
69
2.6 Convergncia em Lp[, ]

Seja o espao
L1 [, ] = {f (x) : [, ] I R tal que f (x)
L1
< } ,
f (x)
L1
|f (x)|dx.
A convergncia das somas de Fejr em L1 [, ] segue do seguinte teorema.
Teorema 26 Seja uma funo f L1 [, ] 2 peridica. Ento,

n (f, x) f (x)
L1
0, quando n
Demonstrao. Sabemos que
n (f, x) f (x)
L1
|n (f, x) f (x)|dx Kn (t)(t)dt
(f (x + t) f (x))Kn (t)dt|dx |f (x + t) f (x)|Kn (t)dt dx
F ubini
Kn (t)
|f (x + t) f (x)|dx dt
Kn (t)(t)dt
onde
(t) =
|f (x + t) f (x)|dx.
Vemos que (0) = 0, assim vamos provar que (t) contnua no ponto t = 0. As funes contnuas so densas em [, ] com respeito a norma L1 . [, ] tal que Desta forma para qualquer > 0 existe uma g C
|f (x) g (x)|dx < .
70 Como f e g so peridicas temos
|f (x + t) g (x + t)|dx < ,
para todo t I R. E como toda funo contnua em um compacto tambm uma funo uniformemente contnua, segue que g tem esta ltima propriedade. Logo,
|g (x + t) g (x)| < , xI R, |t| < . 2
Ento,
|g (x + t) g (x)|dx < .
Assim para |t| < teremos
|(t)| =

|f (x + t) g (x + t) + g (x + t) g (x) + g (x) f (x)|dx
|f (x + t) g (x + t)|dx +

|g (x + t) g (x)|dx
|g (x) f (x)|dx
= + + .
Desta forma, |(t) (0)| < 3. Mas se tomarmos = 3 teremos

Kn (t)(t)dt (0) = 0.
Portanto,
n (f, x) f (x)
L1
0, quando n .
Agora, vamos considerar o espao

Lp [, ] = f (x) : [, ] I R tal que f (x)
Lp
< ,
Lp
|f (t)|p dt
1/p
A convergncia das somas de Fejr em Lp [, ] segue do seguinte teorema.
71
Teorema 27 Para qualquer funo f Lp [, ] com 1 < p < teremos

n (f ) f
Lp
0 quando n
Demonstrao. Sejam f Lp [, ] e n I N xo.

Consideremos q tal que strao do teorema de Fejr que
1 1 + = 1 e g (x) Lq [, ]. Segue da demonp q
f (x) =
f (x)Kn (t)dt,
onde
Kn (t) =
1 sin2 ((n + 1)/2)t , 2 (n + 1) sin2 (t/2)
o ncleo de Fejr. Vemos que a soma n (f, x) de Fejr a integral de convoluo de f (t) com o ncleo de Fejr. Assim,
n (f, x) f (x) =
(f (x + t) f (x))Kn (t)dt.
Aplicando a norma Lp temos

p
n (f, x) f (x)
Lp
[f (x + t) f (x)]Kn (t)dt dx
1 p
Para mostrar que esta quantidade converge para zero quando n , vamos considerar a seguinte integral

(n (f, x) f (x))g (x)dx = =
[f (x + t) f (x)]Kn (t)dt g (x)dx [f (x + t) f (x)]g (x)dx Kn (t)dt
Aplicando a desigualdade de Hlder,

[f (x + t) f (x)]g (x)dx

|[f (x + t) f (x)]g (x)|dx
|f (x + t) f (x)| dx
Lq ,
1 p
|g (x)| dx
1 q
= (t) g (x)
72 onde
(t) =
|f (x + t) f (x)|p dx
1/p
e g (x)
Lq
|g (x)|q dx
1/q
Sabemos pela demonstrao do teorema anterior, que (t) contnua em t = 0, isto , para todo > 0 existe > 0 tal que para todo |t| < temos |(t)| < . Assim, podemos mostrar

[n (f, x) f (x)]g (x)dx
[f (x + t) f (x)]g (x)dx Kn (t)dt

Lq ,
g (x)
Lq
(t)Kn (t)dt
3 g (x)
para todo n sucientemente grande. Logo, exite um natural , tal que

(n (f, x) f (x))g (x)dx 3 g (x)
Lq ,
n > .
Certamente, n (f, x) f (x) um funcional linear em Lp , ento pelo teorema de Riesz, existe g Lp , tal que o funcional admite uma representao atravs do produto interno
n (f, x) f (x) =
[n (f, x) f (x)]g (x)dx.
Assim, provamos que

|n (f, x) f (x)| 3 g (x)
Lq .
Portanto, se usarmos a representao da norma de um funcional, teremos

n (f, x) f (x)
Lp
3 , n > .
Captulo 3 Aproximao Uniforme por Polinmios

3.1 Teorema de Chebyshev
Seja [a, b] um dado intervalo nito. Consideremos o espao linear de todas as funes contnuas em [a, b] e introduziremos uma norma nesse espao denida por
f := max |f (x)|.
x[a,b]
(3.1.1)
fcil ver que (3.1.1) realmente uma norma e recebe o nome de norma uniforme (ou norma de Chebyshev). Daqui para frente, o espao normado das funes contnuas em [a, b] ser denotado por C [a, b]. Como toda norma d origem a uma distncia, a norma uniforme d origem distncia uniforme
(f, g ) := f g := max |f (x) g (x)|.
x[a,b]
(3.1.2)
No espao mtrico C [a, b] consideremos o problema da melhor aproximao de funes contnuas por polinmios algbricos. Chamaremos
En (f ) := inf f p
pn
73
74
Captulo3. Aproximao Uniforme por Polinmios
de melhor aproximao uniforme de f por polinmios p de grau n. Se o nmo atingido para algum polinmio p de n , isto , se
f p = En (f ),
o polinmio p chamado polinmio da melhor aproximao de f em n . Desde que C [a, b] um espao normado e n um subespao linear de C [a, b], o problema da existncia de polinmio da melhor aproximao para toda funo contnua f se resolve como consequncia do teorema geral sobre aproximao em espaos lineares normados.
inteiro no negativo n, existe o polinmio de grau n da melhor aproximao de f .

O problema da unicidade no pode ser resolvido pelo teorema geral sobre aproximao em espaos estritamente normados pois C [a, b] no estritamente normado, fato que podemos mostrar com o seguinte exemplo. Consideremos [a, b] = [0, 1], f1 (x) = 1 e f2 (x) = x, temos
f1 = f2 = 1 e f1 + f2 = 2.
Teorema 28 (Teorema de Borel) Para toda funo f de C [a, b] e todo nmero
Consequentemente,
f1 + f2 = f1 + f2 .
Mas, obviamente, f1 e f2 no so linearmente dependentes. Isso implica que C [a, b] no estritamente normado. Ento, o problema da unicidade do polinmio da melhor aproximao uniforme no elementar.
pontos x0 < . . . < xn+1 em [a, b] e nmeros positivos 0 , . . . , n+1 , tais que
f (xi ) Q(xi ) = (1)i i , i = 0, . . . , n + 1,
Lema 22 (Lema de Vallet-Poussin) Seja Q n . Suponha que existem n +2

(3.1.3)
onde = 1 ou = 1. Ento,
En (f ) := min i .
0in+1

P n , tal que
75
Demonstrao. Suponhamos o contrrio. Ento, existe um polinmio

f P = En (f ) < .
dessa forma temos que P / Q. Esta situao representada pelo grco abaixo, que foi construdo com base nas seguintes observaes: 1. f uma funo contnua qualquer, 2. A propriedade f (xi ) Q(xi ) = (1)i i , i = 0, 1, . . . , n + 1 e = 1(ou = 1) signica que o grco de Q(x) oscila sobre o grco de f (x) de modo que a diferena f Q assume valores {i } com sinais que se alternam (comeando com positivo se = 1 e negativo se = 1), 3. Como f P < , o grco de P pertence a faixa de largura 2 cuja curva central f , 4. o menor valor possvel.
Desde que o grco de Q forma n +1 barreiras nesta faixa (entre os pontos x0 e x1 , x1 e x2 , . . . , xn e xn+1 ), o grco de P cruza o grco de Q pelo menos em n + 1 pontos distintos 1 , . . . , n+1 . Logo, P (i ) Q(i ) = 0 para i = 1, . . . , n + 1. Mas P Q n . Consequentemente, P Q. Chegamos a uma contradio. Portanto, conclumos que
En (f ) .
76
A caracterizao completa do polinmio da melhor aproximao dada pelo grande matemtico russo Pafnutii Lvovitch Chebyshev (1821-1894) atravs de seu famoso Teorema de Alternncia. Esse teorema a base da Teoria da Aproximao.
Teorema 29 (Teorema de Chebyshev sobre a alternncia) Seja f uma funo

arbitrria e contnua no intervalo nito e fechado [a, b]. A condio necessria e suciente para que o polinmio P pertencente n seja o polinmio de grau n da melhor aproximao para f em [a, b] que existam pelo menos n + 2 +1 pontos {xi }n i=0 de [a, b], tais que a x0 < x1 < < xn+1 b e
f (xi ) P (xi ) = (1)i f P , i = 0, . . . , n + 1,
(3.1.4)
onde = 1 ou = 1.
Demonstrao.
() Tomemos P um polinmio qualquer de grau n que satisfaz f (xi ) P (xi ) = (1)i f P , i = 0, . . . , n + 1.
Se zermos f P = e aplicarmos o Lema 22, teremos

En (f ) = f P .
(3.1.5)
Mas, pela denio de melhor aproximao, temos

En (f ) = inf f P ,
(3.1.6)
ou seja, En (f ) a menor distncia possvel entre f e P . Logo, usando (3.1.5) e (3.1.6), conclumos que
En (f ) = f P .
Portanto, P o polinmio que melhor aproxima f em [a, b].

() Queremos mostrar que existem n + 2 pontos de alternncia onde P satisfaz f (xi ) P (xi ) = (1)i f P , i = 0, . . . , n + 1 usando o fato de que P o polinmio de grau n que melhor aproxima f .
77
Primeiramente vamos provar que P tangencia as duas linhas limite f (x) En (f ) e f (x) + En (f ). Para isso, suponhamos que P tangencia somente uma das linhas limite, por exemplo, f (x) + En (f ), ento
f (x) En (f ) 0 tal que

f (x) En (f ) < P (x) c < f (x) + En (f ) En (f ) < P (x) f (x) c < En (f )
(3.1.7)
Da
|f (x) (P (x) c)| < En (f ),
isso signica que o polinmio [P (x) c] aproxima f (x) melhor do que P (x), mas esta concluso contraria a hiptese de que P (x) o polinmio da melhor aproximao. Portanto, P (x) tangencia as duas linhas limite. Agora, vamos mostrar que f P tem pelo menos n + 2 pontos de alternncia em [a, b]. Para isso suponhamos que f P tem no mximo m + 2 +1 pontos de alternncia em [a, b] com m < n. Sejam {xi }m i=0 esses pontos, isto , a x0 < x1 < . . . < xm+1 b e
f (xi ) P (xi ) = (1)i f P = (1)i En(f )
para i = 0, 1, . . . , m + 1 e = 1 ou = 1. Para todo intervalo [xi1 , xi ], determinamos os pontos xi1 e x i do seguinte modo
xi1 o limite superior exato de x [xi1 , xi ], ou seja, o maior valor de x onde f P toca a linha En (f ), ento f (x) P (x) = (1)i1 En (f )
(3.1.8)
x i o limite inferior exato de x [xi1 , xi ], ou seja, o menor valor de x onde f P toca a linha En (f ), ento f (x) P (x) = (1)i En (f )
(3.1.9)
78
Como f uma funo contnua, temos que (3.1.8) e (3.1.9) valem para todos os pontos limites xi1 e x i . Consequentemente xi1 < x i e f P tem raiz em algum ponto i (xi1 , xi ) para todo i = 1, 2, . . . , m + 1. Sejam 0 = a e m+2 = b. Consideraremos o comportamento da diferena f (x) P (x) no intervalo [i , i+1 ]. Pela escolha dos pontos i claro que f (x) P (x) atinge o mximo de seu mdulo En (f ) somente com sinal (1)i em [i , i+1 ]. Consequentemente
En (f ) < (1)i [f (x) P (x)] En (f )
para todo x [i , i+1 ], i = 0, 1, . . . , m + 1. Como o nmero de intervalos [i , i+1 ] nito, existe um nmero > 0, tal que
En (f ) + < (1)i [f (x) P (x)] En (f )
(3.1.10)
para x [i , i+1 ] e todo i. Introduzimos o polinmio

Q(x) := (x 1 ) (x m+1 ),
onde um nmero escolhido de modo que as seguintes condies sejam satisfeitas 1. |Q(x)| , para todo x [a, b], 2. sinal[Q(x)] = (1)i para todo x [i , i+1 ]. Como
|Q(x)| || |(x 1 ) (x m+1 )| 2 2
x[a,b]
Se tomarmos M = max |(x 1 ) (x m+1 )|, teremos || Analisando o sinal de , concluimos que
(1)m+1 2M
. 2M
Admitimos no incio que m < n ento, Q(x) n . Logo, [P (x) + Q(x)] n . Consideremos ento a diferena f (x) [P (x) + Q(x)] em [i , i+1 ]. Pelas condies (1) e (2), temos
79
Q(x) 2 2
e sinal[Q(x)] = sinal[f (x) P (x)]
e pela desigualdade (3.1.10), temos

En (f ) 2 < (1)i {f (x) [P (x) + Q(x)]} En (f ) 2
para todo x [i , i+1 ], i = 1, 2, . . . , m + 1. Como a unio dos m intervalos [i , i+1 ] cobre [a, b], temos
f (x) [P (x) + Q(x) En (f ) < En (f ) 2
Com isso, concluimos que P + Q aproxima melhor f do que P . Como isso no pode acontecer, temos que m n. Portanto, existe pelo menos n + 2 pontos de alternncia em [a, b]. A unicidade do polinmio que melhor aproxima uma funo segue facilmente do teorema de Chebyshev.
de grau n que melhor aproxima f .
Corolrio 10 Para toda funo contnua f em [a, b] existe um nico polinmio
Demonstrao. Suponhamos o contrrio. Ento, existe uma funo contnua f e existem polinmios P e Q em n , P Q tais que
f P = f Q = En (f ).
(3.1.11)
O polinmio
P +Q tambm o polinmio que melhor aproxima f pois 2 P +Q 1 = (f P ) + (f Q) 2 2 1 1 f P + f Q = En (f ). 2 2 f
En (f )
+1 Pelo Teorema da Alternncia, existem pelo menos n + 2 pontos {xi }n i=0 tais que
f (xi )
P (xi ) + Q(xi ) = (1)i En (f ) ( = 1 ou = 1). 2
80 Consequentemente,
f (xi ) P (xi ) f (xi ) Q(xi ) + = En (f ). 2 2
(3.1.12)
Mas,
|f (xi ) P (xi )| En (f ) e |f (xi ) Q(xi )| En (f ),
de acordo com a relao (3.1.11). Ento, para que a equao (3.1.12) seja satisfeita necessrio que
[f (xi ) P (xi )] e [f (xi ) Q(xi )]
tenham valores iguais a En (f ), isto ,

f (xi ) P (xi ) = f (xi ) Q(xi ), i = 0, . . . , n + 1.
Segue que P (xi ) = Q(xi ) para i = 0, . . . , n + 1, o que implica P Q. Chegamos a uma contradio com o fato de que P Q. Portanto, o polinmio da melhor aproximao nico. Existem poucas funes para os quais o polinmio da melhor aproximao pode ser determinado de forma explcita. Um exemplo interessante a funo xn : para todo n, o polinmio da melhor aproximao de grau n 1 de f (x) = xn em [1, 1] pode ser escrito explicitamente e est relacionado ao polinmio de Chebyshev Tn (x). Pelo teorema da alternncia, Pn1 completamente determinado pela condio da existncia de pelo menos (n 1) + 2 pontos x0 , . . . , xm em [1, 1], tais que
i n xn i Pn1 (xi ) = (1) max |x Pn1 (x)|, i = 0, . . . , n. x[1,1]
(3.1.13)
Mas, xn Pn1 (x) um polinmio de grau n com coeciente do termo de maior grau igual a 1. Consequentemente, (3.1.13) ser satisfeita se construirmos um polinmio da forma
xn + a1 xn1 + + an ,
3.2 Aproximao por Operadores Positivos
81
que atinge o mximo de seu mdulo em [1, 1] em n + 1 pontos que alternam o sinal. Como j sabemos que existe esse polinmio, mostremos apenas que o polinmio de Chebyshev Tn satisfaz s condies (3.1.13). Como
x[1,1]
max |Tn (x)|
1,
Tn (x) = 2n1 xn + , Tn (k ) = (1)nk , k = 0, . . . , n,
onde k = cos
k . Podemos armar que o polinmio n 1 2n1 Tn (x) = xn Pn1 (x)
satisfaz s condies exigidas nos pontos 0 , . . . , n . Ento,

Pn1 (x) = xn 1 2n1 Tn (x)
o polinmio de melhor aproximao uniforme de grau n 1 para f (x) = xn em [1, 1].
3.2
Aproximao por Operadores Positivos
J vimos que para toda funo f (x) contnua em [a, b] e todo nmero natural n xo, existe um polinmio da melhor aproximao pn de grau n. Denotemos por En (f ) a melhor aproximao de f . Uma questo natural surge: En (f ) converge para zero quando n converge para innito? Em outras palavras, o grco do polinmio da melhor aproximao se aproxima cada vez mais do grco de f quando n ? A resposta dessa questo foi dada por Weierstrass. Ele provou que toda funo contnua limite de uma sequncia de polinmios algbricos. Ou, mais geometricamente, para qualquer faixa estreita escolhida ao redor do grco de uma funo contnua f , pode-se achar um polinmio algbrico p cujo grco est localizado nessa faixa. Antes de demonstrarmos este teorema faremos alguns resultados preliminares.
82
3.2.1
Teorema de Korovkin
Denio 10 (Mdulo de continuidade) Seja f uma funo denida em

[a, b]. A quantidade (f ; ) = sup {|f (x) f (y )| : x, y [a, b], |x y | }
chamada mdulo de continuidade de f em [a, b]. Esse mdulo denido para todo [0, b a]. Ele caracteriza completamente as funes contnuas do seguinte modo: a funo f contnua em [a, b] se, e somente se, (f ; ) 0 quando 0. De fato, se f contnua no intervalo nito e fechado [a, b], ela uniformemente contnua e, consequentemente, para todo > 0 existe um nmero > 0, tal que se |x y | < ento |f (x) f (y )| < para todo ponto x, y [a, b]. Da segue que (f ; ) 0 quando 0. Por outro lado, se (f ; ) 0 quando 0, ento para todo > 0 pode ser achado = ( ) > 0, tal que (f ; ) < . Segue que |f (x) f (y )| < quando |x y | < , isto f uniformemente contnua em [a, b]. 1) w(f, ) 0, para todo 0. 2) Se 0 < 1 2 , ento (f ; 1 ) < (f ; 2 ). A monotonicidade uma consequncia imediata da denio de (f ; ). 3) Para todo nmero real > 0 vale a desigualdade
(f ; ) (1 + ) (f ; ).
Propriedades do mdulo de continuidade
Demonstrao.
a) Suponhamos primeiramente que I N. Seja = k . Consideremos x < y pontos arbitrrios de [a, b], tais que |x y | k . Dividimos o intervalo [x, y ] em k + 1 pontos equidistantes. Logo
|xi xi1 | = |x y | , i = 1, . . . , k. k
k
Mas
k
|f (x) f (y )| =
i=1
(f (xi ) f (xi1 ))
i=1
|f (xi ) f (xi1 )| k (f ; ).
3.2 Aproximao por Operadores Positivos Ento, se |x y | k , |f (x) f (y )| k (f ; ). Consequentemente

(f ; k ) k (f ; ).
83
b) Seja agora um nmero real positivo arbitrrio. Ento [] < [] + 1, onde [] a parte inteira de . Da desigualdade que acabamos de provar e a monotonicidade de (f ; ) segue que para todo , [] + 1 > 0 tal que
< [] + 1, (f ; ) (f ; ([] + 1) ) ([] + 1) (f ; ) ( + 1) (f ; ).
Por a) e b) temos o resultado desejado. Seja L(f ; .) : C [a, b] C [a, b] um operador.
Denio 11 L(f ; x) linear se L(f + g; x) = L(f ; x) + L(g; x), ,

I R ou C I e x [a, b].
Denio 12 L(f ; x) positivo se L(f ; x) 0, para todo x [a, b], sempre

quando f (x) 0 para todo x [a, b].
Lema 23 (f ; |x y|) f ; Demonstrao.
(x y )2
+ (f ; ), para todo x, y [a, b].
a) Pela propriedade 2) de mdulo de continuidade se |x y | ento (f ; |x y |) (f ; ). Como (f ; ) 0

(f ; |x y |) f ; (x y )2 + (f ; ).
b) Se |x y | > , ento
1 1 < . Novamente, como (f ; ) 0 |x y | |x y |2 + (f ; ).
(f ; |x y |) f ;
Lema 24 |f (x) f (t)| 2 +
(x t)2 (f ; ), para todo x, t [a, b]. 2
84
Demonstrao. Pelo Lema 23, para x e t xos temos que

|f (x) f (t)| (f ; |x t|) f ; (x t)2 + (f ; ).
Usando a propriedade 3) chegamos que

|f (x) f (t)| 2 + (x t)2 (f ; ). 2
Lema 25 Para qualquer f C [a, b] e L(f ; .) : C [a, b] C [a, b] temos

|f (x) L(f ; x)| 2 + 2 L((t x)2 ; x) (f ; ).
Demonstrao. Do Lema 24 temos que

2+ (x t)2 (f, ) f (x) + f (t) = (t) 0 2 (x t)2 (f, ) + f (x) f (t) = (t) 0. 2
2+
Como (t), (t) 0 temos pela Denio 12 que L( (t); x), L((t); x) 0, para todo x [a, b]. Aplicando o operador linear e a denio de mdulo chegamos no resultado desejado.
Teorema 30 (Teorema de Korovkin) Sejam f C [a, b] e L(f ; .) : C [a, b]

C [a, b] um operador linear positivo que satisfaz L(1; x) = 1, L(t; x) = x + (x) e L(t2 ; x) = x2 + (x).
Ento
|f (x) L(f ; x)| 3 f ; (x) 2x(x) ,
para todo x [a, b].
85
Demonstrao.
1) Mostremos que (x) 2x(x) 0. Observemos que

x2 L(1; x) = x2 , 2xL(t; x) = 2x2 2x(x) e L(t2 ; x) = x2 + (x).
Somando as trs igualdades membro a membro e aplicando a denio de operador linear positivo temos que
0 L((t x)2 ; x) = (x) 2x(x).
2) Fazendo = (x) 2x(x) no Lema 25 e substituindo o resultado acima concluimos a demonstrao do teorema. O teorema de Weierstrass ser provado usando a demonstrao sugerida por S. N. Bernstein (1880-1968). Para toda funo f contnua em [a, b] ele construiu de forma explcita, polinmios algbricos que convergem para essa funo na mtrica uniforme.
3.2.2
Polinmios de Bernstein
Seja f (t) uma funo arbitrria denida no intervalo [0, 1]. O polinmio de Bernstein de grau n para a funo f denotado por Bn (f ; x) e denido por
n
Bn (f ; x) =
k=0
k n k x (1 x)nk . n k
(3.2.14)
Verica-se que Bn (f ; x) n , Bn (f ; 0) = f (0) e Bn (f ; 1) = f (1). Alm disso, 1) Bn (cf ; x) = cBn (f ; x) e 2) Bn (f + g ; x) = Bn (f ; x) + Bn (g ; x). Estas propriedades mostram que Bn (f ; x) um operador linear no espao das funes denidas em [0, 1]. Notemos tambm, que os polinmios
n nk (x) = xk (1 x)nk k

86
so positivos em (0, 1). Segue que se f (x) 0 para todo x [0, 1], ento Bn (f ; x) 0 para todo x [0, 1]. Essa propriedade chamada positividade do operador Bn (f ; x). Desta propriedade segue a monotonicidade de Bn (f ; x), isto ,
f (x) g (x) em [0, 1] implica Bn (f ; x) Bn (g ; x) em [0, 1].
Lema 26
n Bn (f ; x) = t f (0) xt , t t=0
onde t f (0) a diferena nita de f nos pontos 0, 1/n, 2/n, , n/n.
Demonstrao. Usando a frmula binomial de Newton para (1 x)nk ,

obtemos
n
Bn (f ; x) =
k=0
n k nkj k n k nk x (1)nkj x . n k j j =0
Ento,
n nk
Bn (f ; x) =
k=0 j =0
k n n k (1)nkj xnj . n k j
Rearranjando o somatrio temos que

n t
Bn (f ; x) =
t=0 n
xt
k=0
k n n k (1)tk n k nt k t (1)tk . n k

t n = xt f t k=0 t=0
Logo,
n
n Bn (f ; x) = t f (0) xt . t t=0
Lema 27 Para todo n I N temos

a) Bn (1; x) = 1, b) Bn (t; x) = x,
x(1 x) . n
c) Bn (t2 ; x) = x2 +
87
Demonstrao.
a) Para f (t) = 1, usando (3.2.14) temos

n k Bn (1; x) = x (1 x)nk = [x + (1 x)]n = 1. k k=0
n
b) Para f (t) = t, usando (3.2.14) temos

k n k Bn (t; x) = x (1 x)nk n k k=1 k n k 1 = x x (1 x)nk . n k k=1 n1 k n . Mas = n k k1

n n
Fazendo a mudana de varivel j = k 1 e substituindo o resultado acima em Bn (t; x) temos que

n1 j x (1 x)n1j = x. Bn (t; x) = x j j =0
=1 n1
b) Para f (t) = t2 , novamente por (3.2.14)

kk n k Bn (t2 ; x) = x (1 x)nk n n k k=1 k n 1 k 1 = x x (1 x)nk . n k1 k=1
n n
Fazendo a mudana de varivel j = k 1 teremos que

n1
Bn (t2 ; x) = x
j =0
j+1 n1 j x (1 x)n1j n j

x n1 n 1 j = x (1 x)n1j n j =0 j n 1 n1 j n 1 j + x x (1 x)n1j . n n 1 j j =0
Bn1 (t;x)=x
88 Logo, concluimos que
Bn (t2 ; x) = x2 +
x(1 x) n
Teorema 31 (Teorema de Bernstein) Seja f funo contnua no intervalo

[0, 1]. Ento, para todo n e todo x [0, 1], temos 9 1 |f (x) Bn (f ; x)| f ; . n 2
Demonstrao. Como Bn (f ; x) um operador linear positivo que satisfaz

x(1 x) . n
as condies do Teorema de Korovkin onde (x) = 0 e (x) = x(1 x)/n temos que
|f (x) Bn (f ; x)| 3 f ;
Pela propriedade 3) de mdulo de continuidade temos que

1 . |f (x) Bn (f ; x)| 3( x(1 x) + 1) f ; n
Mas, x(1 x)
1 4
para x [0, 1]. Consequentemente,
1 9 . |f (x) Bn (f ; x)| f ; 2 n
Corolrio 11 Para toda f C [0, 1] temos que

9 1 f Bn (f ; x) f ; . 2 n
Demonstrao. Consequncia imediata do teorema 31. Corolrio 12 Para toda f C [0, 1] temos que
f Bn (f ; x) 0,
quando n .

0. Logo, pelo corolrio 11 temos o resultado.
89
Demonstrao. J sabemos que se f C [0, 1], ento (f ; ) 0, quando

Deste modo, como os resultados provados acima valem para um intervalo nito arbitrrio podemos enunciar e demonstrar o teorema de Weierstrass para um intervalo nito [a, b].
Teorema 32 (Teorema de Weierstrass). Seja [a, b] um intervalo arbitrrio

nito e seja f (x) uma funo contnua em [a, b]. Ento, para todo existe um polinmio algbrico P (x) tal que
x[a,b]
> 0,
max |f (x) P (x)| .
Demonstrao. Usaremos o Teorema 31. Para esse propsito introduzimos a funo

h(t) = f (a + t(b a)),
denida para todo t [0, 1]. Desde que f contnua em [a, b], h(t) contnua em [0, 1] e, consequentemente,
0
lim (h; ) = 0.
Ento existe n tal que

1 9 h; 2 n < .
Pelo Teorema 31,

9 1 |h(t) Bn (h; t)| h; 2 n < ,
isto , o polinmio Bn (h; t) aproxima h em [0, 1] com preciso . Voltando a para a varivel x pela substituio t = x , obtemos ba
h xa xa Bn h; ba ba <
para todo x [a, b].
90
3.3 Teorema de Jackson

3.3.1 Preliminares
Lema 28 Para qualquer funo f : [a, b] I R temos que
(f ; 1 + 2 ) (f ; 1 ) + (f ; 2 )
Demonstrao. Da denio de mdulo de continuidade para f , temos

que
(f ; 1 + 2 ) = sup{|f (x) f (y )|; x, y [a, b], |x y | 1 + 2 }
Observando que f uma funo contnua de x e y, ento, pelo Teorema de Weierstrass, toda funo contnua num compacto atinge o mximo. Assim,
(f ; 1 + 2 ) = |f (x ) f (y )| tal que |x y | 1 + 2 .
(3.3.15)
Logo podemos escolher z , x < z < y tal que |x z | 1 e |z y |

2 .
Assim, somando e subtraindo f (z ) em (3.3.15) e usando a desigualdade triangular, teremos

|f (x ) f (y )| |f (x ) f (z )| + |f (z ) f (y )|
tal que |x z | 1 e |z y | 2 . Portanto,

(f ; 1 + 2 ) |f (x ) f (z )| + |f (z ) f (y | (f ; 1 ) + (f ; 2 ).
Lema 29 Para todo x (0, /2], temos Demonstrao. Sabemos que

sin x = x
2 sin x < 1. x
x3 x5 + 3! 5!
Consequentemente,
sin x x = x3 x7 (20 x2 ) (56 x2 ) < 0, 5! 9!
3.3 Teorema de Jackson uma vez que x (0, /2]. Portanto,

sin x < 1. x
91
Para mostrarmos a primeira desigualdade vamos usar o fato de que x decrescente em (0, /2), que realmente pode ser vericado, pois temos que
d 1 (x tan x) = 1 < 0, para x (0, /2). dx cos2 x
sin x
Isso implica que x tan x uma funo decrescente. Consequentemente tan x > x. Logo,
sin x > x cos x.
A partir disso, temos que

d sin x x cos x sin x = < 0, para x (0, /2). dx x x2
Assim, se x tan x uma funo decrescente, tanto

sin x atingir o seu mnimo em . Logo, x 2 sin 2
2
sin x tambm ser. Porx
sin x , para x (0, /2]. x
Portanto,
2 sin x < 1. x
Lema 30 Se T () m e R() k ento T ()R() m+k Demonstrao. Sejam

m
T () = a0 +
j =1
(aj cos j + bj sin j)
e
R() = c0 +
(ci cos i + di sin i),

i=1
logo,
m
T ()R() = a0 c0 + c0
j =1 k
(aj cos j + bj sin j)

m k
+a0
i=1
(ci cos i + di sin i) +

j =1
aj cos j
i=1
ci cos i
92
m

k
+
j =1 m
aj cos j
i=1 k
di sin i
m k
+
j =1
bj sin j
i=1
di sin i +
j =1
bj sin j
i=1
ci cos i
Observe que a0 c0 = cte;

m
c0
j =1 k
aj cos j + bj sin j um polinmio trigonomtrico de grau m; ci cos i + di sin i um polinmio trigonomtrico de grau k ;
m k
a0
i=1
O grau de
aj cos j
j =1 i=1
ci cos i pode ser obtido usando a identidade 1 {cos(a b) + cos(a + b)} 2

k
trigonomtrica
cos a cos b =
Assim teremos que de grau m + k ; nomtrica

m
aj cos j
j =1 m i=1
ci cos i ser um polinmio trigonomtrico

k
Fazendo o produto
aj cos j
j =1 i=1
di sin i e usando a identidade trigo-
1 sin a cos b = {sin(a b) + sin(a + b)} 2

k
temos que
aj cos j
j =1 i=1
di sin i ser um polinmio trigonomtrico de grau
m + k; De maneira anloga, usando a identidade trigonomtrica 1 sin a sin b = {cos(a b) cos(a + b)}, 2
temos que
m + k;
bj sin j
j =1 i=1 m
di sin i ser um polinmio trigonomtrico de grau

k
Do mesmo modo
bj sin j
j =1 i=1
ci cos i, um polinmio trigonomtrico
de grau m + k. Portanto, T ()R() m+k .
93
3.3.2 Demonstrao de Jackson

Denio 13 O ncleo de Jackson pode ser denido por
J2n2 () = sin n/2 n sin /2
4
= {Kn1 ()}2 2n2 . a0 2n2 + ak cos k. 2 k=1
(3.3.16)
ou
J2n2 () =
Observao:
O ncleo de Jackson um polinmio trigonomtrico par. Desta forma a integrao pode ser feita somente no intervalo [0, ], pois neste intervalo podemos transformar um polinmio trigonomtrico em um polinmio algbrico. Esta transformao possvel pois neste intervalo o polinmio admite inversa, o que no ocorre no intervalo [, ]. Vamos denir
n = 1

J2n2 ()d.
Consequentemente,
1 n

J2n2 ()d = 1.
(3.3.17)
Lema 31
1 n
{J2n2 ( + y ) + J2n2 ( y )} d = 1.
Demonstrao. Isto consequncia de (3.3.17) e do fato de J2n2 ser par.

Para qualquer f C [1, 1], consideremos,
g (y ) = 1 n
0
f (cos ) {J2n2 ( + y ) + J2n2 ( y )} d 2n2 (par),
a partir do qual construiremos um polinmio algbrico de grau 2n 2 da seguinte maneira. Como g (y ) um polinmio trigonomtrico par, ento a srie de Fourier para g ser
94

A0 2n2 + Ak cos ky, 2 k=1
g (y ) =
se zermos cos y = x teremos que o polinmio trigonomtrico g (y ) se tornar o polinmio algbrico, que denotaremos por
Q2n2 (f ; x) = A0 2n2 + Ak Tk (x), 2 k=1
onde Tk (x) = cos ky, so os polinmios de Tchebyshev de primeira espcie.
Teorema 33 (Teorema de Jackson) Para qualquer f (x) C [1, 1], podemos

aproxim-la por um polinmio algbrico Q2n2 (x), onde cos y = x. Assim,
|f (x) Q2n2 (f ; x)| C f ; | sin y | 1 + f; 2 n n 1 x2 1 = C f; + f; 2 n n
Demonstrao. Multiplicando o Lema 31 por f (x), onde f (x) C [1, 1],

x = cosy (por clculos feito anteriormente) f (x) = 1 n
0
f (cos y ) {J2n2 ( + y ) + J2n2 ( y )} d
Assim,
f (x) Q2n2 (f ; x) =
1 {f (cos y ) f (cos )}{J2n2 ( + y ) n 0 +J2n2 ( y )}d
Logo,
|f (x) Q2n2 (f ; x)|
1 |f (cos y ) f (cos )|{J2n2 ( + y ) n 0 +J2n2 ( y )}d
1 (f ; | cos y cos |){J2n2 ( + y ) n 0 +J2n2 ( y )}d,
95
em virtude da denio de mdulo de continuidade. Usando a identidade trigonomtrica

cos a cos b = 2 cos ba b+a sin , 2 2
e ainda o ncleo de Jackson dado por (3.3.16), temos

|f (x) Q2n2 (f ; x)| 1 n
f ; 2 sin
0
+y y sin 2 2
4 4 n(y ) sin n(+y) sin 2 2 + d n sin (+y) n sin (y)

2 2
1 n
f ; 2 sin
0
+y y sin 2 2
+y ) sin n(2 d y) n sin (+ 2
1 n
f ; 2 sin
0
+y y sin 2 2
y ) sin n(2 d y) n sin ( 2
= In (, y ) + In (, y )
Sejam h+ () o integrando de In (, y ) e h () o integrando de In (, y ). Mas h+ () = h () e h+ () = h+ (). Ento

0 0
h ()d =
h+ ()d
ou seja
In ( ; y ) =
h+ ()d
0
e
In ( ; y ) =
0
h ()d =
h+ ()d.
96 Logo
In ( ; y ) + In ( ; y ) =
h+ ()d +
h+ ()d =
h+ ()d.
Consequentemente
|f (x) Q2n2 (f ; x)| 1 n
f ; 2 sin
+y y sin 2 2
+y ) sin n(2 d. y) n sin (+ 2
Fazendo a mudana de varivel

|f (x) Q2n2 (f ; x)|
+y = t, temos 2
+y 2 2
1 n
+y 2 2
(f ; 2| sin t sin (t y )|)

4
sin nt n sin t
2dt
y
+2 2 2 = (f ; 2| sin t sin (t y )|) n4 n +y 2 2 sin nt 4 dt sin t
onde o integrando -peridico pois mdulo da funo seno -peridica. Ento equivalente integrarmos no intervalo , , ou seja,
2 2 2 2 (f ; 2| sin t sin (t y )|) 4 n n 2 sin nt 4 dt, sin t sin nt sin t sinnt sin t
4
|f (x) Q2n2 (f ; x)|
Sejam
H (t) = (f ; 2| sin t sin (t y )|)
e
H+ (t) = (f ; 2| sin t sin (t + y )|)
3.3 Teorema de Jackson Mas

H (t) = H+ (t) e H+ (t) = H (t)
97
Ento ou seja Logo
0 2
2
H (t)dt =
2
H+ (t)dt
2
H (t)dt =
H+ (t)dt +
H (t)dt
|f (x) Q2n2 (f ; x)|
2 2 (f ; 2| sin t sin (t + y )|) 4 n n 0 sin nt 4 dt sin t 2 2 (f ; 2| sin t sin (t y )|) + 4 n n 0 sin nt 4 dt sin t = I1 + I2 .
Seja = 2| sin t sin (t y )|. Assim,

| sin t sin (t y )| = | sin t(sin t cos y cos t sin y )| | cos y | sin2 t + | sin t cos t| | sin y |
Mas | cos y | 1 e
sin 2t = sin t cos t, ento 2 | sin 2t| 2
| sin t sin (t y )| sin2 t + | sin y |
Pelo Lema 29 temos que sin2 t t2 e
sin 2t t, ento 2
2(t2 + | sin y |t),
para qualquer t 0,
. Logo, 2
(f ; ) 2 (f ; t2 + t| sin y |) 2 (f ; t2 ) + 2 (f ; t| sin y |).
98 Portanto,
|I1 | 4 4 n n 4 n4 n
2
(f ; t2 )
sin nt sin t
dt +
0
(f ; t| sin y |)
sin nt sin t
dt
e
|I2 |
2
(f ; t2 )
sin nt sin t
dt +
0
(f ; t| sin y |)
sin nt sin t
dt
Usaremos a notao |I1,2 | para representar |I1 | e |I2 |, j que os resultados acima so iguais, ou seja,
4 sin nt 2 |I1,2 | (f ; t2 ) 4 n n 0 sin t 4 = {L1 + L2 } 4 n n
dt +
0
(f ; t| sin y |)
sin nt sin t
dt
Analisaremos agora, as integrais L1 e L2 . Sabemos que

L1 =
2
(f ; t2 )
4 0
2 2
sin nt sin t
dt sin nt t
4
(f ; t2 )
dt
u 1 2 fazendo nt = u, teremos que (f ; n 2 ) (u + 1) (f ; n2 ), consequentemente,
L1
n3 f ;
1 n2
n 2 0
(u2 + 1)
sin u u
du.
Ao integrarmos no innito teremos que esta integral ser convergente, 1 du convergente se > 1. Assim, pois uma integral do tipo
a
L1
n3 f ;
1 K, n2
onde K uma constante. De maneira anloga temos que

L2 2
4
n3 f ;
| sin y | n
4
n 2 0
(u + 1)
sin u u
du,
e ainda
L2
n3 f ;
| sin y | K, n
3.3 Teorema de Jackson onde K uma constante. Assim,

|I1,2 | 4 (L1 + L2 ) n4 n 3 1 | sin y | f; 2 K + f; K 4nn n n | sin y | 1 3 K f; + f; 2 . 4nn n n
99
Analisando agora, n , temos

n = 1

J2n2 ()d =
sin n 2 n sin 2
fazendo
= 2 n 2 =
2
sin n n sin
= , temos e com n 4 =
/2 0
sin n n sin
como
1 1 sin n 4
/2 0
sin n n
e com a seguinte mudana de varivel, n = t,

n = 4 n
n/2 0
sin t t
dt =
c , n
onde c uma constante. Portanto,

|f (x) Q2n2 (f ; x)| C f ; | sin y | 1 + f; 2 n n .
100
Captulo3. Aproximao Uniforme por Polinmios Mas x = cos y ento | sin y | =

1 x2 , ento
|f (x) Q2n2 (f ; x)| C f ;
1 | sin y | + f; 2 n n 1 x2 1 = C f; + f; 2 n n
Corolrio 13 |f (x) Q2n2 (f ; x)| c f ; Demonstrao.

f; 1 n x2
1 . n
No Teorema de Jackson, para qualquer x [1, 1],
ter valor mximo quando x = 0. Assim,

f; 1 x2 n f; 1 . n
e
f;
1 n2
1 1 1 + 1 f; 2 f; . n n n
Portanto,
|f (x) Q2n2 (f ; x)| C f ; 1 x2 n + f; 1 n2 c f; 1 . n
Corolrio 14 O erro cometido na aproximao da funo f (x) pelo polinmio

algbrico Q2n2 (f ; x)
E2n2 (f ) c f ; 1 , para qualquer f C [1, 1]. n

E2n2 (f ) = inf f (x) Q2n2 (f ; x) |f (x) Q2n2 (f ; x)| c f ; 1 . n
Corolrio 15 Para qualquer f C [1, 1], Em (f ) c f ;
1 . m
3.3 Teorema de Jackson que
101
Demonstrao. Tomemos, no corolrio 14, m = 2n 2. Assim, teremos

2 1 1 (2 + 1)c f ; 3c f ; . m+2 m+2 m Seja Pm o polinmio da melhor aproximao de f. Ento Em (f ) c f ;
Em (f ) = f Pm , como m < n, temos que Pm n , e assim, En (f ) = inf f P f Pm = Em (f ). P n
Logo
En (f ) m.
3.3.3 Demonstrao de Rivlin

Vimos anteriormente, que a n-sima soma parcial da srie de Fourier dada por
n a0 Sn (f ; x) = + [ak cos kx + bk sin kx] 2 k=1
onde
ak =
f (t) cos ktdt
bk =
f (t) sin ktdt.
Consideremos
qn (f ; ) =
n a0 + k,n [ak cos k + bk sin k]. 2 k=1
(3.3.18)
Nosso objetivo mostrar que

|f () qn (f ; )| cw f ; 1 . n
[, ]. Podemos escrever o polinmio dado em (3.3.18) Lema 32 Seja f C
como onde
qn (f ; ) =
f (t + )Kn (t)dt
Kn (t) =
n 1 + k,n cos kt. 2 k=1
102
Demonstrao. Vamos substituir ak e bk em (3.3.18), ento

qn (f ; ) = 1 1 2 + 1 1 1 1
n
f (t)dt +
k=1
k,n
f (t) cos kt dt cos k
f (t) sin kt dt sin k

n 1 + k,n (cos kt cos k + sin kt sin k) dt 2 k=1 n 1 + k,n cos k (t ) dt 2 k=1
f (t)

f (t)

f (t)Kn (t )dt
Fazendo t = t + , teremos
1 f (t + )Kn (t)dt. Como f (t + ) e Kn (t) so 2 peridicas na varivel t, temos qn (f ; ) = qn (f ; ) = 1

f (t + )Kn (t)dt.
Lema 33 Suponha que 1,n , ..., n,n so tais que Kn (t) 0 com t .
Ento, para , temos
|f () qn (f ; )| w f ; 1 n n 1 + (1 1,n )1/2 , 2
onde 1,n 1.

1

Kn (t)dt =
1 1
n 1 + k,n cos kt dt 2 k=1
1 dt + 2
k,n cos kt dt
k=1

103
n 1 1 = t| + k,n 2 k=1
=0
cos ktdt
2 2
= 1.
Da
Kn (t)dt = 1
Multiplicando este resultado por f (), temos

f () = 1

f ()Kn (t)dt.
Logo,
|f () qn (f ; )| = = 1 1

f ()Kn (t)dt
f (t + )Kn (t)dt
[f () f (t + )] Kn (t) dt
0
1 = 1 1 =
|f () f (t + )|Kn (t)dt sup |f () f (t + )|Kn (t)dt
|t|<
w(f ; |t|)Kn (t)dt
Como
w(f ; |t|) (n|t| + 1)w(f ; 1/n).
Temos
|f () qn (f ; )| w f ; 1 1 (1 + n|t|)Kn (t)dt n 1 n = w f; 1+ |t|Kn (t)dt n
104 Calculando


|t|Kn (t)dt, temos
2
|t|Kn (t)dt
[t2 Kn (t)]1/2 [Kn (t)]1/2 dt

Kn (t)dt
2
t2 Kn (t)dt
t Kn (t)dt.
Como t temos que

t 2
2
sin
t 2
pois,
sin x
2 x, x 0, 2
ento logo, Assim,

2
t 2
2 t 2 1 cos t sin2 = , 4 2 4 2
2
2 (1 cos t) t . 2

|t|Kn (t)dt
2 4 2
1 cos t Kn (t)dt 2

Kn (t)dt
cos t Kn (t)dt
4 1 1 2 4 1 1 2
4
cos t

1 + 1,n cos t dt 2
cos t + 1,n cos2 t dt 2

1 1 1 sin t| 2 2
=0
1,n cos2 t dt
4 1 1 2
1,n cos2 t dt
3.3 Teorema de Jackson Como, Temos Portanto,

|f () qn f ()| w f ; 1 n 1 = w f; n n 2 1 1,n 2 n 1 + 1 1,n 2 1+ 1

105
1,n cos2 t dt = 1,n ,

2
|t|Kn (t)dt
4 = {1 1,n } 2
Lema 34 Seja Q(z ) n (C I ) (espao dos polinmios de grau n com coe-
cientes complexos). Ento n () = |Q(ei )|2 um polinmio trigonomtrico de ordem n com coecientes reais no negativos. Alm disso,
n
Q(z ) =
k=0
ck z k ,
onde ck I R, ento
n n () 0 = + k cos k, 2 2 k=1 2 = c2 + ... + cn = c c1 + c1 c2 + ... + cn1 cn
com
1 . . . k . . .
= c ck + c1 ck+1 + ... + cnk cn = c cn
Demonstrao. bvio que n () no negativo, pois n () = |Q(ei )|2 .

, temos Como, para C I, | |2 = . n () = Q(ei ).Q(ei ) = (c + c1 ei + c2 e2i + c3 e3i + ... + cn1 e(n1)i + cn eni ) ( c + c 1 ei + c 2 e2i + c 3 e3i + ... + c n1 e(n1)i + c n eni )
106 onde ei = ei . Ento
n () = c c + c1 c 1 + ... + cn c n + ( c c1 + c 1 c2 + ... + c n1 cn )ei + (c c 1 + ... + cn1 c n )ei + ( c c2 + c 1 c3 + ... + c n2 cn )e2i + (c c 2 + ... + cn2 c n )e2i + . . . + ( c ck + c 1 ck+1 + ... + c nk cn )eki + (c c k + ... + cnk c n )eki + . . . +c cn eni + c c n eni = |c |2 + |c1 |2 + ... + |cn |2 +( c c1 + c c 1 + ... + c n1 cn + cn1 c n ) cos +i[( c c1 c c 1 ) + ... + ( cn1 cn cn1 c n )] sin + . . . +( c ck + c c k + ... + c nk cn + cnk c n ) cos k +i[( c ck c c k ) + ... + c nk cn cnk c n )] sin k + . . . +( c cn + c c n ) cos n +i( c cn c c n ) sin n
Como

= 2 Re , + i( ) = 2 Im ,
pois pois
(a + ib) + (a ib) = 2a i(a + ib a + ib) = 2i2 b = 2b
Temos
n () = |c |2 + |c1 |2 + ... + |cn |2 + (2c c1 + ... + 2cn1 cn ) cos + 0 + . . .
ck I R
+ (2c ck + ... + 2cnk cn ) cos k + 0 + . . .

ck I R
+ (2c cn ) cos n + 0
ck I R
= + 21 cos + ... + 2k cos k + ... + 2n cos n + 1 cos + ... + k cos k + ... + n cos n = 2 2 n = 2 + k cos k 2 k=1
Portanto
n n () = + k cos k. 2 2 k=1
107
Notamos a partir desse ltimo resultado que Kn (t) ser igual a n ()/2 quando 0 = 1, ento tomando
ck = c sin k+1 , k = 0, ..., n n+2
n 2 2 0 = c 2 0 + ... + cn = c k=0
temos que
sin k+1 n+2
E fazendo 0 = 1, temos que

n
2 k=0
k+1 sin n+2 1

n k=0
= 1,
o que implica que

c2 =
k+1 sin n+2
2.
Calculemos agora 1
1 = c c1 + ... + cn1 cn
n1
= c2
k=0 n
ck ck+1 sin
k=0
= c2
k+1 k+2 sin n+2 n+2
pois, para todo n teremos

sin n+1 sin n+2
n+1
n+2 = 0. n+2
Seja k + 1 = j , ento
1 = c
2 j =1 n
sin sin
j =0
j j+1 sin n+2 n+2 j j+1 sin n+2 n+2
= c2
Tomemos
n
S=
j =0
sin j sin(j + 1) e S =
sin(j + 2) sin(j + 1)
j =0
108 Ento
n
2S =
j =0
sin j sin(j + 1) +
j =0
sin(j + 2) sin(j + 1).
Logo
S= 1 n [sin j + sin(j + 2)] sin(j + 1) 2 j =0 j (j + 2) (j + 1) + sin sin . n+2 n+2 n+2
e
1 = c2 2
n
sin
j =0
Usando teremos
sin + sin + = cos sin , 2 2 2

n
1 = c 2
j =0
cos n+2
(j + 1) sin2 n+2 n+2

n
= cos
c2
j =0
sin2
(j + 1) n+2
= cos n+2
fazendo j = k, 0 = 1
Lema 35 Existe um polinmio cosseno no negativo

Un () = n 1 + k cos k 2 k=1
com 1 = cos
. n+2

Un () = 0 + 1 cos + 2 cos 2 + . . . + n cos n,
onde 0 , 1 , . . . , n I R e, pelo Lema 34 satisfazem

2 2 0 = c 2 0 + c1 + . . . + cn =
1 2
e 1 = c0 c1 + c1 c2 + . . . + cn1 cn .
3.3 Teorema de Jackson Consideremos

c T = ( c 0 , c1 , . . . , c n ) e A = . . . . .. . . . . . 0 0 ... 0 1 0 0 ... 1 0 0 1 ... 0 0 1 0 ... 0 0 . . . . .

109
Temos que
< c, c > = cT c
2 2 = c2 0 + c1 + . . . + cn 1 = 2
e,
< c, Ac > = cT Ac 0 1 ... 0 0 c0 1 0 ... 0 0 . . . c . . . . . . . 1

. . . . = (c0 , c1 , . . . , cn ) . . . . 0 0 ... 0 1 cn 0 0 ... 1 0 c1 c0 + c2 . . = (c0 , c1 , . . . , cn ) . cn2 + cn cn1 = 2(c0 c1 + c1 c2 + . . . + cn1 cn ). Sabemos que o valor mximo de < c, Ac > onde < c, c >= 1/2 dado por
<c,c>=1/2
max
< c, Ac >= n
onde n o maior autovalor de A. Para sabermos o valor de n , precisamos encontrar o polinmio caracterstico da matriz A, que dado por
1 . . . 1 . . . 0 0
pn+1 () = det(A I ) =
. . .
. . .
...
. . .
. . .
110 Mas,
pn+1 () =
1 ... 0 1 ... 0
. . .
. . . . . .. . .
= qn+1 ().
0 0 ...
Ento, temos a seguinte relao de recorrncia

qn+1 () = 2qn () qn1 ()
onde q1 () = e q2 () = 42 1. Nessas condies, temos que

qn+1 () = Un+1 ()
onde Un+1 () so os polinmios de Chebyshev de Segunda Espcie e

Un+1 () = 2Un () Un1 ()
com
U0 () = 1,
U0 () = 2, U0 () = 42 1.
cujas razes so
n,k = cos k , k = 1, 2, . . . , n. n+1
Assim, as razes k de qn () so k = cos(k )/(n + 1) e como qn () = pn () e as razes de qn () so simtricas com relao a origem, as razes de qn () e pn () coincidem. Da
<c,c>=1/2
max
= n = cos k . n+1
E nalmente, obtemos
111
Teorema 34 (Teorema de Jackson) Para

qn (f ; ) =
f (t + )Un (t)dt,
onde
() Un n 1 = + k cos k 2 k=1
temos
|f () qn (f ; )| 6w f ;
Demonstrao. Pelo Lema 33, temos que
1 . n
|f () qn (f ; )| An w f ;
onde
n An = 1 + 1 cos n+2 2
1 , n
1 /2
Temos que
1 cos = 2 sin2 . 2
Assim,
1/2 n n An = 1 + 2 sin2 = 1 + 2 sin . 2n + 4 2n + 4 2 2 sin x Mas sabemos que 1 ento sin x x, logo sin . Da x
n An 1 + 2 2(n + 2) 2 n = 1+ 2 2(n + 2) n 2 = 1+ 2(n + 2) 2 1+ 2 6.
112 Portanto,
|f () qn (f ; )| 6w f ;
1 . n
Captulo 4 Polinmios Ortogonais

Daqui em diante precisaremos de vrias propriedades dos polinmios ortogonais. Por esta razo, forneceremos algumas informaes preliminares sobre eles. Sejam [a, b] um intervalo dado, nito ou innito, e (x) uma funo denida e no-negativa em [a, b]. Vamos supor que
(x) dx > 0,
para qualquer subintervalo [, ] de [a, b]. Toda funo (x) que satisfaz essa propriedade chamada de funo peso em [a, b]. O produto interno < f, g > de duas funes f (x) e g (x) denido por
b
< f, g >=
a
f (x)g (x)(x) dx.
claro que estamos supondo que f e g so denidas em [a, b] e que a integral acima existe.
funo peso (x) se < f, g >= 0.
Denio 14 As funes f (x) e g(x) so ortogonais em [a, b] com relao
ortogonais em [a, b] relativamente funo peso (x) se a) Pi i ,

i,
Denio 15 Dizemos que P0 (x), P1 (x), P2 (x), . . . uma sequncia de polinmios
113
114
Captulo4. Polinmios Ortogonais
b) < Pi , Pi >= 0,
i,
c) < Pi , Pj >= 0 para i = j.

Destaquemos algumas propriedades dos polinmios ortogonais.
Teorema 35 Toda subsequncia nita P0 (x), . . . , Pn (x) de

P0 (x), P1 (x), P2 (x), . . .
um sistema de funes linearmente independentes.
Demonstrao.
Supomos o contrrio. Ento, existem um nmero n e coecientes a0 , . . . , an , com pelo menos um deles diferente de zero, tais que o polinmio f (x) = a0 P0 (x) + + an Pn (x) identicamente nulo. Ento,
< f, Pi >= 0 para todo i.
(4.0.1)
Por outro lado,

n
< f, Pi >=
k=0
ak < Pk , Pi >= ai < Pi , Pi >
e pelo menos um dos coecientes a0 , . . . , an diferente de zero. Isto, junto com a condio b) leva a uma contradio com (4.0.1).
Corolrio 16 Se o f (x) um polinmio de grau menor ou igual a n, ento

f pode ser unicamente representada por
f (x) = a0 P0 (x) + + an Pn (x)
com coecientes reais a0 , . . . , an .

Isto uma simples consequncia da teorema 35. Desde que n o espao dos polinmio de grau menor ou igual a n e P0 , . . . , Pn so n + 1 elementos linearmente independentes de n , ento cada elemento de n pode ser representado como combinao linear desses n + 1 elementos. facil obter as expresses explcitas para ak , k = 0, . . . , n. De fato, temos
115
< f, Pk > = a0 < P0 , Pk > + + ak < Pk , Pk > + + an < Pn , Pk > = ak < Pk , Pk > .
Portanto,
ak = < f, Pk > . < Pk , Pk >
Vale a pena mencionar tambm que as condies da denio 15 implicam que Pn (x) um polinmio algbrico de grau exatamente n, isto , Pn (x) da forma Pn (x) = n xn + q (x), q (x) n1 , (4.0.2) onde n = 0. Suphamos o contrrio. Ento, Pn n1 e, de acordo com o corolrio 16, Pn (x) pode ser escrito da forma
Pn (x) = a0 P0 (x) + + an1 Pn1 (x)
com constantes a0 , . . . , an1 . Mas, esta relao signica que P0 , . . . , Pn so linearmente dependentes, o que contradiz o teorema 35.
Teorema 36 Seja f (x) um polinmio arbitrrio de grau menor ou igual a

n 1. Ento, < f, Pn >= 0.
Demonstrao. Desde que f n1 , pelo corolrio 16

f (x) = a0 P0 (x) + + an1 Pn1 (x).
Portanto, pela Propriedade c) da denio 15

< f, Pn >= a0 < P0 , Pn > + + an1 < Pn1 , Pn >= 0.
Teorema 37 Para todo nmero natural n, o polinmio Pn (x) tem n zeros

distintos que pertencem ao intervalo aberto (a, b).
116
danas de sinal em (a, b) e k < n. Sejam {i }k i=1 , a < 1 < < k < b, os pontos onde Pn (x) muda de sinal. Escolhemos um ponto arbitrrio t do intervalo (k , b) onde Pn (t) = 0 e construiremos o polinmio
Q(x) = Pn (t)(x 1 ) . . . (x k ).
Demonstrao. Suponhamos que o polinmio Pn (x) tem somente k mu-
Obviamente Q(x)Pn (x) um polinmio algbrico que no identicamente nulo e Q(x)Pn (x) 0 em [a, b]. Consequentemente,
b
< Q, Pn >=
Q(x)Pn (x)(x) dx > 0.
Por outro lado Q n1 pois k < n ento pelo teorema 36, < Q, Pn >= 0. Assim temos uma contradio. Consequentemente, k n. Desde que Pn (x) muda de sinal em i , i = 1, . . . , k , ento 1 , . . . k so zeros de Pn (x). Mas, Pn n . Ento, de acordo com o teorema fundamental da lgebra, Pn (x) tem no mximo n zeros reais em (a, b). Consequentemente, k exatamente n, isto , 1 , . . . , n so todos os zeros de Pn (x) que pertencem ao intervalo (a, b) e so distintos.
Teorema 38 Todo sistema de polinmios ortogonais

P0 (x), P1 (x), . . .
satisfaz uma relao de recorrncia de trs termos da forma

(4.0.3)
Pn+1 (x) = (An+1 x Bn+1 )Pn (x) + Cn+1 Pn1 (x),
n = 1, 2, . . . ,
onde An+1 , Bn+1 , Cn+1 so constantes reais.
Demonstrao. Temos que Pn (x) = an,n xn + an,n1 xn1 + . . . + an,1 x + an,0 .

Podemos escrever
n+1
xPn (x) =
i=0
bi Pi (x)
117 se igualarmos os coecientes dos termos de maior grau em ambos os membros da igualdade acima, teremos
an,n = bn+1 an+1,n+1 .
Da,
bn+1 =
an,n an+1,n+1
Porm
b
< xPn , Pj >=
Pn (x)[xPj (x)](x)dx = 0 para j n 2.
Mas,
n+1
< xPn , Pj >=

i=0
bi < Pi , Pj >= bj < Pj , Pj >= 0 para j n 2.
Da, bj = 0, para j n 2. Assim

Pn+1 (x) = 1 bn+1 xPn (x) bn1 bn Pn1 (x) Pn (x). bn+1 bn+1
Comparando com a relao (4.0.3), temos

An+1 = 1 bn+1 , Bn+1 = bn bn+1
e Cn+1 =
bn1 bn+1
Como bn+1 =
an,n an+1,n+1
temos que
An+1 = an+1,n+1 . an,n
Calcularemos agora os valores de Bn+1 e Cn+1 . Da relao (4.0.3), obtemos

0 =< Pn+1 , Pn > = An+1 < xPn , Pn > Bn+1 < Pn , Pn > Cn+1 < Pn1 , Pn > .
Da
Bn+1 = An+1
< xPn , Pn > . < Pn , Pn >
118 Do mesmo modo
0 =< Pn+1 , Pn1 > = An+1 < xPn , Pn1 > Bn+1 < Pn , Pn1 > Cn+1 < Pn1 , Pn1 > .
Logo
Cn+1 = An+1 < xPn , Pn1 > . < Pn1 , Pn1 >
Mas, fazendo n = n 1 na relao (4.0.3), obtemos

xPn1 (x) = 1 Bn Cn Pn (x) + Pn1 + Pn2 (x). An An An
Como
b
< xPn , Pn1 >=
Pn (x)[xPn1 (x)](x)dx =< Pn , xPn1 > .
Temos
< Pn , xPn1 > = Bn 1 < Pn , Pn > + < Pn , Pn1 > An An Cn + < Pn , Pn2 > An 1 < Pn , Pn > . = An
Portanto
Cn+1 = An+1 < Pn , Pn > . An < Pn1 , Pn1 >
Conclumos que os polinmios ortogonais satisfazem a relao de recorrncia de trs termos (4.0.3) e que os coecientes da relao so dados por
An+1 = an+1,n+1 = 0, an,n Bn+1 = An+1 < xPn , Pn > < Pn , Pn >
e Cn+1 =
An+1 < Pn , Pn > = 0. An < Pn1 , Pn1 >
119
Teorema 39 Para o polinmio ortogonal Pn (x) com relao funo peso

(x) no intervalo [a, b] e para cada polinmio Qn (x) n com o mesmo coeciente do termos de maior grau que Pn (x), vale a desigualdade
b a 2 Pn (x)(x) dx b a
Q2 n (x)(x) dx,
Alm disso, a igualdade atingida somente quando Pn (x) Qn (x).
Demonstrao. De acordo com as hipteses, temos

Pn (x) = n xn + qn1 (x) Qn (x) = n xn + rn1 (x),
onde n = 0 e qn1 , rn1 n1 . Ento,

b a
Q2 n (x)(x) dx = =
b a b a b
[n xn + rn1 (x)]2 (x) dx [Pn (x) + rn1 (x) qn1 (x)]2 (x) dx
2 Pn (x)(x) dx b a b
=
a
+2 +
a
Pn (x) [rn1 (x) qn1 (x)] (x) dx [rn1 (x) qn1 (x)]2 (x) dx.
Desde que (rn1 qn1 ) n1 , pela ortogonalidade

b a
Pn (x) [rn1 (x) qn1 (x)] (x) dx = 0.
Ento, obtemos
b a
Q2 n (x)(x) dx
b a
2 Pn (x)(x) dx 0,
onde a igualdade possvel somente quando rn1 (x) qn1 (x), isto , quando Qn (x) Pn (x).
120
Finalmente, esclarecemos a questo fundamental da existncia e, eventualmente da construo de sequncias de polinmios ortogonais para um intervalo [a, b] e uma funo peso (x) dados. Sejam [a, b] um intervalo arbitrrio e (x) uma funo peso qualquer em [a, b]. Vamos exigir que (x) satisfaa condio adicional
b a
xk (x) dx < ,
k = 0, 1, . . . ,
caso o intervalo [a, b] seja innito. Para construir uma sequncia de polinmios ortogonais, podemos executar o seguinte esquema 1. Escolhemos uma sequncia qualquer de nmeros 0 , 1 , . . ., todos dife rentes de zero. Eles sero os coecientes de xn em Pn (x), respectivamente, para n = 0, 1, . . . . Consequentemente, P0 (x) 0 . 2. Para n = 1, 2, . . ., construimos o polinmio
Pn (x) = n xn + qn1 (x),
onde qn1 (x) n1 , de modo que satisfaa s condies

< Pn , Pi >= 0, i = 0, . . . n 1.
(4.0.4)
Evidentemente as condies (40) sero satisfeitas se < Pn , f >= 0 para todo f n1 . Consequentemente, o problema reduz-se construo do polinmio Pn (x) de grau n com coeciente n , de xn xo que ortogonal a todos os polinmios do espao n1 . Este problema de interesse independente e por isto vamos trat-lo em um teorema separado.
Teorema 40 Para um intervalo [a, b], uma funo peso (x) e um coeciente n dados, existe um nico polinmio da forma
Pn (x) = n xn + qn1 , qn1 n1 ,
que ortogonal a todo polinmio de grau menor ou igual a n 1.
121
Demonstrao. Apliquando induo em n. Para n = 0 o polinmio P0 (x)

unicamente determinado pela condio P0 (x) = 0 . Suponhamos que j determinamos, unicamente, P0 , P1 , . . ., Pn1 . Desde que eles formam um sistema de polinmios ortogonais, todo polinmio de grau n 1 pode ser representado como combinao linear deles. Consequentemente, Pn (x) pode ser escrito da forma
Pn (x) = n xn + bn1 Pn1 (x) + + b0 P0 (x).
Pelas condies de ortogonalidade da denio (15), obtemos

< Pn , Pi >= n < xn , Pi > +bi < Pi , Pi >,
e, por esta igualdade, para um dado n , os coecientes bi podem ser unicamente determinados. Ento, para um intervalo [a, b], uma funo peso (x) e coecientes 0 , 1 , . . ., para as maiores potncias das variveis, existe um nico sistema de polinmios ortogonais.
Exemplo 8 Provar que os polinmios

1 dn (x2 1) Ln (x) = n , 2 n! dxn
n
n = 0, 1, . . . ,
formam um sistema ortogonal em [1, 1] com relao funo peso (x) 1.

Resoluo Temos que vericar as condies da denio 15. Obviamente n (x 1) um polinmio de grau exatamente 2n. Consequentemente, sua n- sima derivada um polinmio de grau exatamente n. Isto implica que a) e b) esto satisfeitas. Basta provar c). Para isso, mostraremos que
2 1 1
Ln (x)f (x) dx = 0 1
n
para todo polinmio f n1 . De fato, denotando a funo n (x2 1) 2 n! por (x) e integrando repetidamente por partes, obtemos
122
1 1
Ln (x)f (x) dx = =
f (x)(n) (x) dx f (x) d(n1) (x)

1 1 1
1 1 1
= f (x)(n1) (x)
f (x)(n1) (x) dx
. . .
n
=
k=1
(1)k1 f (k1) (nk)
1 1
+ (1)n
1 1
f (n) (x)(x) dx.
Esta ltima expresso igual a zero pois f (n) (x) 0 e (nk) (x) zero nos ponto x = 1 para k = 1, . . . , n. Os polinmios Ln (x) so chamados polinmios de Legendre. O coeciente
1 2n n!
escolhido para que seja satisfeita a condio

Ln (1) = 1, n = 0, 1, 2, . . . .
Problema 1 Mostrar que os polinmio de Chebyshev de primeira espcie

Tn (x) = cos n arccos x
so ortogonais em [1, 1] com relao funo peso (x) =
1 . 1 x2
Problema 2 Mostrar que os polinmios de Chebyshev de segunda espcie

Un (x) := Tn+1 (x)
so ortogonais em [1, 1] relativamente funo peso (x) =

(, ) {Pn }
1 x2 .
Os polinmios de Legendre so um caso especial dos polinmios de Jacobi , que so ortogonais em [1, 1] com relao funo peso (1 x) (1+ x) , para , > 1 e so denidos, atravs da frmula de Rodrigues, por
(, ) Pn (x) = n (1)n d (1 x ) (1 + x ) {(1 x)n+ (1 + x)n+ }. 2n n! dxn

Main AT 02

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Main AT 02

Hochgeladen von

Copyright:

Verfügbare Formate

Tpicos de Sries de Fourier e de Teoria de Aproximao

3 Aproximao Uniforme por Polinmios

3.1 Teorema de Chebyshev . . . . . . . . . . . . . . . . . . . . . . 73 3.2 Aproximao por Operadores Positivos . . . . . . . . . . . . 81 i

Captulo 1 Aproximao em Espaos Lineares

Captulo1. Aproximao em Espaos Lineares

1.1 Melhor Aproximao em Espaos Lineares Normados

Demonstrao. Primeiro, provaremos a desigualdade

Logo, uma funo contnua de f . Consideraremos o espao linear

Demonstrao. Denotemos por

Captulo1. Aproximao em Espaos Lineares

A ltima norma chamada Euclideana, pois ela determina a distncia de Euclides

Denio 1 Dizemos que duas normas (f ) e (f ) so equivalentes em F ,

Teorema 3 Quaisquer duas normas em I Rn so equivalentes. Demonstrao.

Obviamente m 0. Alm disso, m > 0. De fato, a hiptese m = 0 implica em (f ) = 0 e, consequentemente, f = 0, isto , f1 = = fn = 0,

Provamos que m f 2 (f ) para todo f F . Analogamente, escolhendo

Corolrio 1 Toda esfera Sr = {(f1 , . . . , fn ) : f r < } em I Rn um

Seja n . Como f (n) r, obtemos que

que mostra que g Sr . Ento Sr um conjunto fechado.

Teorema 4 Seja F um espao linear normado. Sejam 0 , . . . , n elementos

Captulo1. Aproximao em Espaos Lineares

Demonstrao. Seja n tal que > 2 f =: r. Ento

Denio 2 Dizemos que o espao normado F estritamente normado se

implica que os elementos f e g so linearmente dependentes.

Teorema 5 Se F estritamente normado ento, para todo f F , existe

Demonstrao. Suponhamos o contrrio. Ento, existem f F e ele-

e p = q . Por outro lado,

1.2 Aproximao em Espaos de Hilbert

1.2 Aproximao em Espaos de Hilbert

Captulo1. Aproximao em Espaos Lineares

| < f, g > | (< f, f >)1/2 (< g, g >)1/2 ,

onde a igualdade vale se, e somente se, f e g so linearmente dependentes.

Demonstrao. Para todo nmero real temos

A desigualdade est provada. Para provarmos a igualdade, tomemos h = f g onde I R, ento

Lema 2 (Desigualdade triangular) Para quaisquer f e g de H temos

onde a igualdade vale se, e somente se, f e g so linearmente dependentes.

Demonstrao. Aplicando a desigualdade de Cauchy-Schwartz obtemos

o que implica em (1.2.3). A igualdade atingida se, e somente se,

Mas, como j observamos, isto verdade somente quando f e g so linearmente dependentes.

1.2 Aproximao em Espaos de Hilbert

Corolrio 2 Se H um espao de Hilbert, ento

o espao gerado por i , i = 0, 1, . . . , n. A quantidade

Teorema 6 Sejam H um espao de Hilbert e f H . O elemento p de n

Demonstrao. Vamos supor que p o elemento da melhor aproximao,

Ento, para qualquer n e = 0, a funo

Captulo1. Aproximao em Espaos Lineares

+ 2 < f p, > +2 < , >

Aqui, se p satisfaz (1.2.4), ento

Desde que (f p) i para i = 0, 1, . . . , n, ento os coecientes {ai } satisfazem s condies

. . . . a0 < 0 , n > + a1 < 1 , n > + . . . + an < n , n > = < f, n >

1.2 Aproximao em Espaos de Hilbert

< 0 , 0 > < 0 , 1 >

< 1 , 0 > < 1 , 1 >

< n , 0 > < n , 1 >

< 0 , n > < 1 , n > . . . < n , n >

Assim provamos o seguinte teorema.

Teorema 7 Seja 0 , . . . , n um sistema ortogonal. Ento, o elemento p de

Vamos obter uma expresso para o erro n (f ) = f p . Temos que

onde (f p) p. Por esta igualdade, representando p da forma p = a0 0 + . . . + an n , obtemos a relao

Captulo1. Aproximao em Espaos Lineares

a0 < o , f > +a1 < 1 , f > + . . . + an < n , f >=< f, f > 2 n (f ).

. . . < n , n > < f, n > . . . < n , f > < f, f > 2 n (f )

Por esta igualdade, determinamos 2 n (f )

Ento, provamos a igualdade

Denio 1 Dizemos que duas normas (f ) e (f ) so equivalentes em F ,

Denio 2 Dizemos que o espao normado F estritamente normado se

Desde que (f p) i para i = 0, 1, . . . , n, ento os coecientes {ai } satisfazem s condies

Denio 3 Dizemos que F (x, a1 , . . . , an ) a aproximao dos dados f1 , . . . , fm

onde os coecientes bk seriam determinados imediatamente.

Denio 4 Seja A H. Denimos o complemento ortogonal de A, como

Denio 5 Um sistema ortogonal B do espao de Hilbert H base de H se

Trabalharemos, a partir de agora, no espao de Hilbert L2 [, ], cuja norma denida por

2.1 Denies e Exemplos

ortogonal. Tomemos o espao de Hilbert L2 [, ] e a sua norma denida por

que gerada pelo produto interno denido por

2.1 Denies e Exemplos