Differences

This shows you the differences between two versions of the page.

--- normasup [2022/05/08 16:43] – created tahzibi
+++ normasup [Unknown date] (current) – removed - external edit (Unknown date) 127.0.0.1
@@ Line 1: / Line 1: @@
-No seguinte video falamos de duas demonstrações de que limite uniforme de funções integráveis é integrável. Logo em seguida definimos norma sup e demonstramos que o espaço de funções limitadas com essa norma é um espaço normado completo.
-{{youtube>EljU5yZ3RZI?small}}
-Em outro video video falamos de Teste M de Weierstrass e analisamos como limite de uma sequência de funções diferenciáveis pode ou não ser diferenciável.
-Um objetivo principal é entender quando derivada e limite se comutam!?
-$$
- (\lim f_n)^{'} = \lim f_n^{'}?
-$$
-O exemplo $f_n(x) = \sqrt{x^2 + \frac{1}{n}}$ mostra que o limite uniforme de uma sequência de funções diferenciáveis pode nem ser diferenciável. O limite é $|x|.$
-O exemplo $f_n(x) = \frac{sen(nx)}{\sqrt{n}}$ converge uniformemente a zero porém as derivadas nem convergem.
-o Exemplo "bobo" $f_n(x) = (-1)^n$ mostra que a sequência podem nem convergir enquanto as derivadas convergem uniformemente.
-<WRAP  round tip 60%>
-Lema 1 : Se $f_n^{'}$ converge uniformemente em $[a, b]$ e $f_n$ converge em algum ponto $x_0 \in [a, b]$ então $f_n$ converge uniformemente em $[a, b].$
-</WRAP>
-Demonstração: Basta usar teorema de valor médio: De fato vamos mostrar que $f_n$ é uniformemente de Cauchy.
-Lembramos que já sabemos que $f_n^{'}$ é uniformemente de Cauchy.
-Pela desigualdade triangular e valor médio temos:
-$$
- |f_n(x) - f_m(x)| \leq |(f_n-f_m) (x) - (f_n-f_m)(x_0)| + |f_n(x_0) - f_m(x_0)| = |(f_n^{'}-f_m^{'})(\xi)| |x-x_0| + |f_n(x_0) - f_m(x_0)|.
-$$
-que pode ser menor do que $\epsilon$ para $n, m$ grande, já que $(f_n-f_m)^{'}$ converge uniformemente a zero. Terminamos a concluir que $f_n$ é uniformemente cauchy e portanto uniformemente convergente.
-<WRAP round tip 60%>
-Lema 2: Se $f_n$ converge a $f$ e $f_n^{'}$ converge uniformemente então para todo $x_0 \in [a, b]$ temos que a convergência abaixo é uniforme:
-$$
- \frac{f_n(x)-f_n(x_0)}{x-x_0} \rightarrow \frac{f(x)-f(x_0)}{x-x_0}.
-$$
-</WRAP>
-Para demonstrar este lema, usamos que $(f_n^{'})$ é uniformemente Cauchy.
-Usando estes dois lemas podemos provar que
-<WRAP  round tip 60%>
-Teorema: Seja $f_n$ convergindo em algum ponto de $[a, b]$ e $f_n^{'}$ convergindo uniformemente a $g$, então $f_n$ converge uniformemente a $f$ e $f^{'}=g$.
-</WRAP>
-Demonstração: (argumento $3\epsilon$!)
-$$
- |\frac{f(x)-f(x_0)}{x-x_0} - g(x_0)| \leq |\frac{f(x)-f(x_0)}{x-x_0}- \frac{f_n(x)-f_n(x_0)}{x-x_0}|  +  |\frac{f_n(x)-f_n(x_0)}{x-x_0} - f_n^{'}(x_0)| + |f_n^{'}(x_0) - g(x_0)|.
-$$
-Primeiramente escolha $n$ grande que o primeiro e terceiro termo sejam menor do que $\frac{\epsilon}{3}$ e depois escolhe $\delta$ tal que $|x-x_0| \leq \delta$ tenhamos $|\frac{f_n(x)-f_n(x_0)}{x-x_0} - f_n^{'}(x_0)| \leq \epsilon/3.$
-<WRAP  round box 60%>
-Exercício: Existe uma sequência $f_n$ de funções diferenciáveis  convergindo uniformemente a $f$ também diferenciável e que $f_n^{'}$ converge pontualmente a $g$, porém $g \neq f^{'}?$
-</WRAP>
-Definição: Uma série $\sum f_k$ é absolutamente convergente se $\sum |f_k|$ é convergente.
-<WRAP center round tip 60%>
-Teste $M-$de Weierstrass: Seja $M_k > 0$ e $\sum M_k < \infty$ e suponhamos que $f_k  : [a, b] \rightarrow \mathbb{R}$ tal que $ |f_k| \leq M_k$, então a série $\sum f_k$ é uniformemente e absolutamente convergente.
-</WRAP>
-{{youtube>Jvdym_E_el0?small}}