✎ analise2:approxweie []

You've loaded an old revision of the document! If you save it, you will create a new version with this data.

====== Teorema de Aproximação de Weierstrass: ======

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

<WRAP center round tip 60%>
Seja $f \in C^{0}([a, b])$ e $\epsilon > 0$ então existe um polinômio $x \rightarrow P(x)$ tal que $\|P - f\|_{C^{0}} \leq \epsilon.$
</WRAP>

Duas demonstrações:
  - Por Convolução
  - 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 $\beta_n(t):= b_n (1-t^2)^n$ onde $b_n$ são de tal forma que $\int_{-1}^{1} \beta_n (t) dt =1.$
  * Suponhamos de fato que $f=0$ fora do intervalo $[0, 1].$ Definimos $P_n(x) := \int_{-1}^{1} f(x+t)\beta_n(t) dt$
  * Afirmamos que $P_n$ é poliníomio. Basta fazer uma mudança de variável na integral $(x+t)=u$ para ver isso.
  * Finalmente precisamos mostrar que $P_n$ converge uniformemente a $f$.

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

Agora podemos estimar o erro de aproximação por $P_n$:
 
$|P_n(x) - f(x)| = | \int_{-1}^{1} (f(x+t)-f(x)) \beta_n(t) dt | = |\int_{|t| < \delta} (f(x+t)-f(x)) \beta_n(t)dt + \int_{|t| \geq \delta} (f(x+t)-f(x)) \beta_n(t)dt |$
temos que 
  * $|\int_{|t| < \delta} (f(x+t)-f(x)) \beta_n(t)dt| \leq \int_{|t| < \delta} |(f(x+t)-f(x))| \beta_n(t)dt \epsilon/2.$
  * A função $f$ tem máximo $|f| \leq M$ e portanto $\int_{|t| \geq \delta} |(f(x+t)-f(x)) \beta_n(t)dt | \leq M \int_{|t| \geq \delta} \beta_n(t) dt$ e este último converge a zero pela convergência uniforme.

<WRAP  round info 60%>
Projeto: O que podemos falar sobre o grau do polinômio que aproxima $f$?
</WRAP>

[[https://drive.google.com/file/d/1OVMvqFFPOmHrNd_ebHqU3j-JdwdizwIk/view?usp=sharing|Nota de aula]]

Edit summary

Note: By editing this page you agree to license your content under the following license: CC Attribution-Share Alike 4.0 International