taylor
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| taylor [2022/04/04 19:05] – external edit 127.0.0.1 | taylor [Unknown date] (current) – removed - external edit (Unknown date) 127.0.0.1 | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | Provamos duas maravilhas de cálculo: Integração por partes e teorema de valor médio para integral. | ||
| - | |||
| - | Teorema de integração por partes: | ||
| - | Sejam $f, g : [a, b] \rightarrow \mathbb{R}$ diferenciável com derivada integrável. Então | ||
| - | $$ | ||
| - | | ||
| - | $$ | ||
| - | Teorema Valor médio: | ||
| - | Seja $p: [0, 1] \rightarrow \mathbb{R}$ uma função positiva (ou negativa) e integrável e $f: [0,1] \rightarrow \mathbb{R}$ contínua. Então existe $c \in [a, b]$ tal que | ||
| - | $$ | ||
| - | | ||
| - | $$ | ||
| - | |||
| - | Observe que $p$ precisa uma função positiva (melhor dizendo, sem alterar sinal no intervalo $[0,1]$). Se $p (x) =1, \forall x \in [a,b]$ obteremos o teorema usual no cálculo 1. | ||
| - | |||
| - | |||
| - | Usando este teorema de valor médio concluímos o Taylor com resto de Lagrange. | ||
| - | |||
| - | Primeiramente mostramos que | ||
| - | Teorema: Seja $\phi: [0,1] \rightarrow \mathbb{R}$, | ||
| - | $$ | ||
| - | | ||
| - | $$ | ||
| - | |||
| - | Prova do teorema acima é por indução e usando integração por partes. Agora apenas considere $\phi(t) = f(a+th)$ para provar teorema abaixo: | ||
| - | |||
| - | Teorema: Seja $f : [a, a+h]$ diferenciávle $n$ vezes com derivada $n$ esima contínua. Então | ||
| - | $$ | ||
| - | f(a+h)= f(a) + h f^{' | ||
| - | $$ | ||
| - | |||
| - | Agora usando teorema acima e o teorema de valor médio nesta página para integral, concluímos: | ||
| - | |||
| - | <color # | ||
| - | Seja $f: [a, a+h]$ diferenciável $n$ vezes com derivadas contínuas então existe $0 \leq \theta \leq 1$ tal que | ||
| - | $$ | ||
| - | f(a+h) = f(a) + h f^{' | ||
| - | $$ | ||
| - | Além disso, observem que $sen^{(n)}(0) = 0$ se $n$ for par e $sen^{(2n+1)}(0) = (-1)^n.$ | ||
| - | < | ||
| - | Aplicações | ||
| - | </ | ||
| - | |||
| - | |||
| - | Devemos lembrar de uma aplicação simples do teorema de Taylor com resto de Lagrange que é critério de sinal da $n$ ésima derivada num ponto crítico. | ||
| - | |||
| - | Seja $f$ uma função $n$ vezes diferenciável com $n$ ésima derivada contínua num intervalo em torno de $a$ e $a$ um ponto crítico com $f^{' | ||
| - | |||
| - | Solução: Se $n$ for par, $f^{(n)}(a) > 0$ ponto $a$ é mínimo local e se $f^{(n)}(a) <0$ é um máximo local. | ||
| - | Caso $n$ for ímpar então $a$ é um ponto de tipo sela. | ||
| - | |||
| - | |||
| - | Outra aplicação é para escrever série de Taylor infinita. | ||
| - | Exemplo: Considere $f(x)=sen(x)$ então | ||
| - | $$ | ||
| - | | ||
| - | $$ | ||
| - | |||
| - | Para provar tal afirmação, | ||
| - | $$ | ||
| - | |R_n| \leq |\frac{x^n}{n!}| \rightarrow 0, n \rightarrow \infty. | ||
| - | $$ | ||
| - | Então pode se verificar que $F^{(n)}(0)=0$ e portanto a série (infinita) de Taylor não pode convergir ao valor de $F(x)$ para pontos $x > 0.$ | ||
| - | |||
| - | |||
| - | Exemplo clássico de uma função suave que não é real analítica: | ||
| - | |||
| - | Seja $$F(x) = \begin{cases} | ||
| - | e^{\frac{-1}{x}} | ||
| - | 0 & x\leq0 | ||
| - | \end{cases}$$ | ||
| - | {{youtube> | ||
taylor.1649109941.txt.gz · Last modified: 2022/04/04 19:05 by 127.0.0.1