Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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
73
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
n :=
k=0
ak k : ( a0 , . . . , a n ) I Rn+1 .
A quantidade
(f, ) := inf {(f, ) : n } ,
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.
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 ) .
de vetores reais.
Teorema 2 Toda norma em I Rn uma funo contnua com relao s coordenadas do elemento.
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
d(f, g ) := f g
=
k=1
(fk gk )2
para toda f F .
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 ).
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.
obtemos
(f ) M f
2
para todo f F.
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) .
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 .
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 .
f +g = f + g
f p = f q = En (f ) := inf { f
: n }
Pela denio da melhor aproximao, temos f (p + q )/2 En (f ). Ento, em (1) temos somente igualdades. Em particular,
(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.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
Esta expresso um polinmio do segundo grau em . Consequentemente, seu discriminante no-positivo, isto
[< f, g >]2 < f, f > < g, g > .
Portanto, f e g so L.D.
(1.2.3)
< g, g >
11
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 .
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 ,
12
r() := =
f p + 2 n (f )
=< f p + , f p + >
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) )
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 .
. . .
. . .
(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
. . .
. . .
... ...
...
. . .
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 , < i , j >= 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)
14
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 >
(1.2.7)
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 < i , j >= 0 para i = j e < i , i >= 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
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
(f, g ) :=
a
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
p(x) =
k=0
ak k (x),
para o qual
b a
{ak }k=0
f (x)
a k=0
ak k (x)
(x) dx.
p(x) =
k=0
(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
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.
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
S (A, B ) =
i=1
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 )] = 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 .
i [F (xi , a1 , . . . , an ) fi ]2 ,
i=1
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 ).
f :=
i=1
i f 2 (xi )
1/2
(f, g ) =
i=1
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
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 ),
= f1
+ + fn 2 .
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
fk e
fk 2 , respectivamente. Ento,
k=1
k=1
sn sm
= =
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 .
(i)
(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)
= =
f,
k=1 n
2 n
| < f, fk > |2
k=1
k=1
Portanto
< h, g >= 0
(1.2.11)
= g
+ h 2.
(1.2.12)
23
= f
= f
k=1
| < f, fk > |2 .
| < 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 ,
= 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
i=1
< f, fi > fi
i=1
(i) f =
i= 1
< f , fi > fi ,
2
(ii) f
=
i= 1
| < f , fi > |2 .
24
|f (t)|2 dt
1/2
onde
L2 [, ] = {f : [, ] I R tal que f
2
< },
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 =
(2.1.1)
(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 =
cos[(m + n)x]dx +
cos[(m n)x]dx .
I1 = Se m = n = 0
1 2
dx +
dx = 2
I1 =
dx
Portanto
0,
se
m = n, m = n = 0, m = n = 0.
I1 =
, se
(2.1.4)
2, se
Tomemos, agora
I2 =
(2.1.5)
(2.1.6)
obtemos
sin n cos m = sin(m + n) + sin(m n) . 2
(2.1.7)
27
se
m = n, m = n = 0, m = n = 0.
I2 =
, se
(2.1.8)
2, se
Seja
I3 =
(2.1.9)
1 2
dx
dx = 0,
dx +
cos 2mxdx = ,
Portanto
0,
se
m = n,
I3 =
(2.1.10)
m = n.
, se
28
f 2 (x)dx
1/2
(2.1.11)
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 .
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 + . . . .
f (x)
onde
1 1 bk = ak =
30
2.1.2 Exemplos
Vamos escrever a Srie de Fourier de algumas funes.
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.
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
t sin ktdt,
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
Exemplo 4 f (x) =
k = 1, 2, . . .
ou seja,
1 e )
I1 I2
bk =
(e
et sin kt dt +
et sin kt dt .
et cos ktdt,
fazendo e
assim
cos k (e e ) 1 2 I2 , k k
, k = 0, 1, . . .
33
(et + et )dt =
2 ,
Para k = 1, 2, . . .
1 (e e )
I3
ak =
et cos kt dt +
et cos kt dt
I4
et sin ktdt
assim
I3 = (1)k (e e ). k2 + 1
et sin ktdt
fazendo e
assim
I4 = (1)k+1 (e e ). 2 k +1
Logo
ak = 2(1)k . (k 2 + 1)
34 Assim
f (x) 2 1 +
Note que se x = 0
(1)k 1 . 2 (e e ) 2 k=1 k + 1
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
t( t) sin ktdt k = 1, 2, . . . ,
obviamente
1 8
bk =
t( t) sin ktdt
I3
t2 sin ktdt .
I4
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
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
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
Exemplo 7 f (x) =
( 2x)( 2 + 2x 2x2 ). 96
3 6x2 + 4x3 96
ak =
Para k = 0
a0 = 1 96
4 . 48
Para k = 1, 2, . . .
3 96 4 96
ak =
cos ktdt
I1 I3
6 96
t2 cos ktdt
I2
t3 cos ktdt,
37
2 (1)k+1 , 4k 2
I2
bk =
sin ktdt
I1
16
t2 sin ktdt +
4 96
t3 sin ktdt .
I3
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)
2.2
Para mostrarmos que a srie de Fourier converge em L2 [, ] provaremos primeiramente o seguinte teorema.
38
k = 0, 1, . . .
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 , i >, i = 1, 2, . . ., onde
Un G e alm disso
n=1
Consequentemente,
< f, hn >=
n a0 (f, 1) + (ak < f, cos kx > +bk < f, sin kx >) = 0, 2 k=1
k = 0, 1, . . .
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 +
39
|f (t)|dt
|f (t)|dt.
1|f (t)|dt
|1|2 dt
1/2
|f (t)|2 dt
1/2
Portanto,
f (t)g1 (t)dt 0,
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
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 +
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
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),
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
< ,
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
41
gn (x) g (x)
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
e
bn =
2.3
2.3.1
Convergncia em um ponto
Formas integrais das sries de Fourier
1
< }, onde
:=
|f (t)|dt.
42
uma combinao linear de funes caractersticas, ou seja, funo escada) tal que f g 1 < .
sin ntdt e
cos ntdt
1 1
|f (t) g (t)|dt +
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.
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
f (x + t)
f (x)dx =
a b
f (x)dx, a, b I R.
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 )
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
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 =
Tomando = k (t x) e =
sin k+ 1 (t x) sin 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
45
f (t)
u = t x, du = dt.
Sn (f ; x) =
f (x + u)
x
k+
1 u sin 2
1 u 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)
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
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)
f (x + t) cos ntdt +
onde g (t) =
E para temos
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
Como continuamos com uma indeterminao, vamos aplicar L'Hospital novamente. Ento
lim
t0
Assim
47
Ou seja,
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].
48
para todo x [a, b]. Portanto, pelo Teorema do Valor Mdio, para toda partio de [a, b], temos
n
V (f ; ) =
j =1 n
=
j =1
M (xj xj 1 )
= M (b a).
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,
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
V (f ; 2 ) = |f (xk ) f (c)| +
j =k+1
|f (xj ) f (xj 1 )|
V (f ; ) =
j =1
(2.3.15)
+
j =k+1
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 }
(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]).
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),
Teorema 16 Toda funo com variao limitada pode ser representada como
diferena de duas funes crescentes.
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 ]).
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
53
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
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
54
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
1 dt integrvel se < 1. t
Temos que
|f (t) g (t)| A |t x| f (t) g (t) A . tx |t x|1
Da,
f (t) g (t) L[, ]. tx
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
f (x + t) + f (x t) sin nt dt S (f, x) 2 t
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.
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
Portanto
Sn (f, x) c.
57
para qualquer t tal que |t| sucientemente pequeno, ento Sn (f, x) f (x), quando n .
Demonstrao.
Seja
pois
lim
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
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]) =
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
[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) =
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
f (x + 0) = lim f (t), tx
t>x
f (x + t) + f (x t) sin nt dt. 2 t
Fazendo
c= f (x + t) + f (x t) , 2
n, (c, x) = 2 S
onde
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
60
sin d
Se Fn (t) =
M.
nt 0
Seja > 0, C (V ), V
4M
In ( ) =
(t)
0
sin nt dt + t
Ento
(t) (t) contnua em quase todo ponto, ento L[, ]. t t 1 (t) In,2 = bn t 0, n . 2
In1 =
(t)Fn (t)dt =
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
61
2.4
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
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
k=1
Fk = X . De fato,
Fk X
k=1
Para todo Fk X
Fk X
k=1
62 2) X
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
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
63
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)
Mas, quando
64 Logo
n (fk ) 1 S
0
(t) sin(nt) dt = 1 f t
1 1 ln(n ) I. = 2 2
Calculando I obtemos
I =
p/partes
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
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).
< } ,
f (x)
L1
|f (x)|dx.
0, quando n
n (f, x) f (x)
L1
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 + 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 < .
|(t)| =
|f (x + t) g (x + t)|dx +
|g (x + t) g (x)|dx
|g (x) f (x)|dx
= + + .
Kn (t)(t)dt (0) = 0.
Portanto,
n (f, x) f (x)
L1
0, quando n .
< ,
67
Lp
|f (t)|p dt
1/p
0 quando n
f (x) =
f (x)Kn (t)dt,
onde
Kn (t) =
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.
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
[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
g (x)
Lq
(t)Kn (t)dt
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) =
3 , n > .
2.6 Convergncia em Lp [, ]
69
< } ,
f (x)
L1
|f (x)|dx.
0, quando n
n (f, x) f (x)
L1
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 + 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 < .
|(t)| =
|f (x + t) g (x + t)|dx +
|g (x + t) g (x)|dx
|g (x) f (x)|dx
= + + .
Kn (t)(t)dt (0) = 0.
Portanto,
n (f, x) f (x)
L1
0, quando n .
< ,
Lp
|f (t)|p dt
1/p
2.6 Convergncia em Lp [, ]
71
0 quando n
f (x) =
f (x)Kn (t)dt,
onde
Kn (t) =
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.
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
[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
g (x)
Lq
(t)Kn (t)dt
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) =
3 , n > .
(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
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.
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,
onde = 1 ou = 1. Ento,
En (f ) := min i .
0in+1
75
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.
(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.
(3.1.5)
(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 .
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 ) < P (x) f (x) + 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)
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
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.
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
En (f )
+1 Pelo Teorema da Alternncia, existem pelo menos n + 2 pontos {xi }n i=0 tais que
f (xi )
80 Consequentemente,
(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 )]
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 ,
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]
1,
onde k = cos
3.2
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
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 ; ).
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 ; ).
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 ; ).
(x y )2
b) Se |x y | > , ento
(f ; |x y |) f ;
84
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.
Ento
|f (x) L(f ; x)| 3 f ; (x) 2x(x) ,
85
Demonstrao.
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
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
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
c) Bn (t2 ; x) = x2 +
87
Demonstrao.
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
Bn (t2 ; x) = x2 +
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 ;
Mas, x(1 x)
1 4
1 9 . |f (x) 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 .
89
> 0,
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.
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 <
90
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)
2 sin x < 1. x
x3 x5 + 3! 5!
Consequentemente,
sin x x = x3 x7 (20 x2 ) (56 x2 ) < 0, 5! 9!
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.
Portanto,
2 sin x < 1. x
T () = a0 +
j =1
e
R() = c0 +
logo,
m
T ()R() = a0 c0 + c0
j =1 k
+a0
i=1
aj cos j
i=1
ci cos i
92
m
+
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
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
trigonomtrica
cos a cos b =
aj cos j
j =1 m i=1
Fazendo o produto
aj cos j
j =1 i=1
temos que
aj cos j
j =1 i=1
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
Do mesmo modo
bj sin j
j =1 i=1
93
(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.
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
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
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
95
f ; 2 sin
0
+y y sin 2 2
1 n
f ; 2 sin
0
+y y sin 2 2
1 n
f ; 2 sin
0
+y y sin 2 2
= In (, y ) + In (, y )
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 = t, temos 2
+y 2 2
1 n
+y 2 2
sin nt n sin t
2dt
y
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
Sejam
H (t) = (f ; 2| sin t sin (t y )|)
e
H+ (t) = (f ; 2| sin t sin (t + y )|)
97
0 2
2
H (t)dt =
2
H+ (t)dt
2
H (t)dt =
H+ (t)dt +
H (t)dt
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 .
Mas | cos y | 1 e
sin 2t t, ento 2
para qualquer t 0,
. Logo, 2
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
(f ; t2 )
4 0
2 2
sin nt sin t
dt sin nt t
4
(f ; t2 )
dt
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
n3 f ;
| sin y | n
4
n 2 0
(u + 1)
sin u u
du,
e ainda
L2
n3 f ;
| sin y | K, n
99
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
sin t t
dt =
c , n
100
1 | sin y | + f; 2 n n 1 x2 1 = C f; + f; 2 n n
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
1 . m
101
Logo
En (f ) < Em (f ), para qualquer n > m.
onde
ak =
bk =
Consideremos
qn (f ; ) =
n a0 + k,n [ak cos k + bk sin k]. 2 k=1
(3.3.18)
como onde
qn (f ; ) =
f (t + )Kn (t)dt
Kn (t) =
102
f (t)dt +
k=1
k,n
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.
Kn (t)dt =
1 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
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 =
|t|<
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
Kn (t)dt
2
t2 Kn (t)dt
t Kn (t)dt.
sin
t 2
pois,
sin x
2 x, x 0, 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
1 1 1 sin t| 2 2
=0
1,n cos2 t dt
4 1 1 2
1,n cos2 t dt
105
|t|Kn (t)dt
4 = {1 1,n } 2
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 . . .
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
Temos
n () = |c |2 + |c1 |2 + ... + |cn |2 + (2c c1 + ... + 2cn1 cn ) cos + 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
2 k=0
= 1,
2.
Calculemos agora 1
1 = c c1 + ... + cn1 cn
n1
= c2
k=0 n
ck ck+1 sin
k=0
= c2
n+2 = 0. n+2
Seja k + 1 = j , ento
1 = c
2 j =1 n
sin sin
j =0
= 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
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
1 = c 2
j =0
cos n+2
= cos
c2
j =0
sin2
(j + 1) n+2
= cos n+2
fazendo j = k, 0 = 1
com 1 = cos
. n+2
1 2
e 1 = c0 c1 + c1 c2 + . . . + cn1 cn .
109
Temos que
< c, c > = cT c
2 2 = c2 0 + c1 + . . . + cn 1 = 2
e,
. . . . = (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 ...
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
f (t + )Un (t)dt,
onde
() Un n 1 = + k cos k 2 k=1
temos
|f () qn (f ; )| 6w f ;
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
112 Portanto,
|f () qn (f ; )| 6w f ;
1 . n
(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
claro que estamos supondo que f e g so denidas em [a, b] e que a integral acima existe.
113
114
b) < Pi , Pi >= 0,
i,
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)
< f, Pi >=
k=0
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).
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.
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 ).
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 >=
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.
n = 1, 2, . . . ,
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
Mas,
n+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
Da
Bn+1 = An+1
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 >
Como
b
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 =
119
Q2 n (x)(x) dx,
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.
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),
(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
121
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.
n = 0, 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 = =
1 1 1
= f (x)(n1) (x)
f (x)(n1) (x) dx
. . .
n
=
k=1
1 1
+ (1)n
1 1
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!
1 . 1 x2
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