Escolar Documentos
Profissional Documentos
Cultura Documentos
Reginaldo J. Santos
Departamento de Matemática-ICEx
Universidade Federal de Minas Gerais
14 de julho de 2010
Teorema 1. Seja f : [ a, b] → R uma função contínua. Para todo e > 0, existe um polinômio
p(t) tal que | f (t) − p(t)| < e, para todo t ∈ [ a, b].
1
Demonstração. Seja t = (1 − x ) a + xb. Então x = (t − a) e t ∈ [a, b] se, e somente
b−a
se, x ∈ [0, 1]. Seja f˜ : [0, 1] → R definida por f˜( x ) = f ((1 − x ) a + xb). Seja
n
˜f ( k ) n x k (1 − x )n−k 1
p̃ ( x ) = ∑ e p(t) = p̃ (t − a) .
k =0
n k b−a
1
Sejam b1 = x − δ e b2 = x + δ. Seja M = max | f˜( x )| = max | f (t)|. Seja n tal que
x ∈[0,1] t∈[ a,b]
2 e
4Me−2δ n < . Vamos usar o seguinte fato que será demonstrado a seguir:
2
k k k k 2 k k
b2 ≤ ≤ 1 ou 0 ≤ ≤ b1 ⇒ x n (1 − x )1− n ≤ e −2( x − b ) b n (1 − b )1− n . (3)
n n
Então por (1), (2) e (3) temos que
n
n k n
k n k
˜ ˜ ˜
n−k n−k
| f ( x) − p̃( x)| = ∑ f ( x) x (1 − x ) − ∑ f( ) x (1 − x ) ≤
k =0 k k =0
n k
n
k n k
≤ ∑ | f˜( ) − f˜( x)| x (1 − x ) n − k ≤
k =0
n k
k n k
e ˜ ˜
≤ + ∑ | f ( ) − f ( x)| x (1 − x ) n − k ≤
2 n k
| nk − x |≥δ
n k n k
e n−k
≤ + 2M ∑ x (1 − x ) + 2M ∑ x (1 − x ) n − k ≤
2 k k k k
n ≥ b2 n ≤ b1
n k n k
e −2δ2 n n−k −2δ2 n
≤ + 2Me ∑ b2 ( 1 − b 2 ) + 2Me ∑ b1 ( 1 − b 1 ) n − k
2 k k k k
n ≥ b2 n ≤ b1
e 2
≤ + 4Me−2δ n ≤ e.
2
k k
Lema 2. Se 0 ≤ x < b ≤ ≤ 1 ou 0 ≤ ≤ b < x ≤ 1, então
n n
k k 2 k k
x n (1 − x )1− n ≤ e −2( x − b ) b n (1 − b )1− n .
2
ou aplicando-se o logaritmo nesta desigualdade, que
k k
x n (1 − x )1− n
H ( x ) = ln k k
+ 2( x − b)2 ≤ 0.
b n (1 − b )1− n
k
(b) Se 0 ≤ ≤ b < x < 1, vamos mostrar que H 0 ( x) ≤ 0. Como, para 0 < x < 1,
n
1
4≤ , então
x (1 − x )
k k k
0 −xn n −x x−b n −b
H ( x) = + 4( x − b ) ≤ + = ≤ 0.
x (1 − x ) x (1 − x ) x (1 − x ) x (1 − x )
Referências
[1] Djairo Guedes de Figueiredo. Análise de Fourier e Equações Diferenciais Parciais.
IMPA, Rio de Janeiro, 1977.
[2] Donald Kreider, Donald R. Ostberg, Robert C. Kuller, and Fred W. Perkins. Intro-
dução à Análise Linear. Ao Livro Técnico S.A., Rio de Janeiro, 1972.
[3] Elon L. Lima. Curso de Análise. Livros Técnicos e Científicos Editora S.A., Rio de
Janeiro, 1976.