Processing math: 100%

User Tools

Site Tools


analise2:approxweie

Teorema de Aproximação de Weierstrass:

Dizem que o Weierstrass provou este teorema quendo tinha 70 anos de idade!

Seja fC0([a,b]) e ϵ>0 então existe um polinômio xP(x) tal que PfC0ϵ.

Duas demonstrações:

  1. Por Convolução
  2. PorPolinômios de Bernstein

Convolução:

  • Primeiramente podemos supor sem perda de generalidade que a=0,b=1,f(0)=f(1)=0. Basta fazer inicialmente uma mudança de variável e depois subtrair uma função afim para ter tais condições.
  • Considere polinômios βn(t):=bn(1t2)n onde bn são de tal forma que 11βn(t)dt=1.
  • Suponhamos de fato que f=0 fora do intervalo [0,1]. Definimos Pn(x):=11f(x+t)βn(t)dt
  • Afirmamos que Pn é poliníomio. Basta fazer uma mudança de variável na integral (x+t)=u para ver isso.
  • Finalmente precisamos mostrar que Pn converge uniformemente a f.

Para provar a convergência usamos duas observações:

  • Pela continuidade de f para todo ϵ>0 existe δ>0 tal que |xy|δ implica |f(x)f(y)|ϵ/2.
  • Para δ>0 fixo a sequência βn restrita a 1|t|δ converge uniformemente a função zero.

Agora podemos estimar o erro de aproximação por Pn:

|Pn(x)f(x)|=|11(f(x+t)f(x))βn(t)dt|=||t|<δ(f(x+t)f(x))βn(t)dt+|t|δ(f(x+t)f(x))βn(t)dt| temos que

  • ||t|<δ(f(x+t)f(x))βn(t)dt||t|<δ|(f(x+t)f(x))|βn(t)dtϵ/2.
  • A função f tem máximo |f|M e portanto |t|δ|(f(x+t)f(x))βn(t)dt|M|t|δβn(t)dt e este último converge a zero pela convergência uniforme.

Projeto: O que podemos falar sobre o grau do polinômio que aproxima f? Considere uma função k:NN crescente. Construa uma função f:[0,1]R contínua tal que Min{deg(P):PpolinômiofP1n}>k(n).

A pergunta acima foi respondida positivamente pela Sofia Lacerda Sampaio (veja solução) e colocamos seguinte pergunta:

Será que existe alfum exemplo para pergunta acima com número finito de pontos máximos e mínimos locais? Dados m,nN será que existe k=k(m,n) tal que para toda fC0([0,1]) temos Min{deg(P):PpolinômiofP1n}<k(m,n)?

Nota de aula

analise2/approxweie.txt · Last modified: 2022/05/18 11:38 by 127.0.0.1