Sumário da Semana 13

Cap 2. Séries (de potências)

Polinómios. Expansão de funções em série de MacLaurin: exe^x, sen(x)sen(x), cos(x)cos(x). Séries de Taylor. Exercícios.

2º miniteste de avaliação.


Exercícios.


Leitura



Séries de potências

Um polinómio de grau nn na variável xx é uma expressão do tipo

a0+a1x+a2x2++anxna_0 + a_1 x + a_2 x^2 + \cdots + a_n x^n

sendo a0,a1,a2,,an,a_0, a_1, a_2, \cdots, a_n, \cdots constantes designadas por coeficientes do polinómio.

  1. Expansão de um polinómio em potências de (x-a) [10.38]  

Os polinómios são funções cujo valor num ponto xx é facilmente calculável. São também funções fáceis de derivar e primitivar. O mesmo não acontece com funções como sen(x)sen(x). A expressão 'sen(0.15)sen(0.15)' não contém em si nenhum procedimento para o cálculo do seu valor decimal. Não há nenhum polinómio que represente a função sen(x)sen(x).

  1. Nenhum polinómio representa a função seno) [07.33]  

Mas uma série de potências pode representar a função seno.

Chama-se série de potências ou série inteira a uma série da foma

a0+a1x+a2x2++anxn+=Σn=0anxna_0 + a_1 x + a_2 x^2 + \cdots + a_n x^n + \cdots= \Sigma_{n=0}^{\infty} a_nx^n

sendo a0,a1,a2,,an,a_0, a_1, a_2, \cdots, a_n, \cdots constantes designadas por coeficientes da série. Dizemos que esta é uma série de potências e xx.

Mais geralmente chama-se série de potências de (xa)(x-a) a uma série na forma

a0+a1(xa)+a2(xa)2++an(xa)n+a_0 + a_1 (x-a) + a_2 (x-a)^2 + \cdots + a_n (x-a)^n + \cdots =Σn=0an(xa)n= \Sigma_{n=0}^{\infty} a_n(x-a)^n.

Como exemplo, a igualdade

11x=1+x+x2+x3++xn+\qquad \frac{1}{1-x}=1 + x + x^2 + x^3 +\cdots + x^n + \cdots

tem no segundo membro uma série de potências de xx que representa a função racional no primeiro membro para valores de xx no intervalo (1,1)(-1,1).

  1. Justificação da igualdade [11.17]  

  2. Interpretação gráfica da igualdade [06.15]  

Obtemos em seguida a representação em série de potências de xx para a função exe^x.

  1. Série de potências de x da função exponencial de base 'e' [14.33]  

  2. Intervalo de convergência da série [08.03]  

  3. Alguns testes à série de potências de x da função exponencial de base 'e' [14.23]  

Obtemos agora a expansão em série de potências de (x1)(x-1) para a função exe^x.

  1. Série de potências de (x-1) da função exponencial de base 'e' [11.11]  

  2. Intervalo de convergência da série [07.11]  

  3. Interpretação gráfica das séries de potências de x e de (x-1) da função exponencial de base 'e' [09.33]  

Série de Taylor

Seja f(x)f(x) uma função definida numa vizinhança do ponto x=ax=a e possuindo derivada de qualquer ordem neste ponto. Denomina-se série de Taylor de f(x)f(x) no ponto x=ax=a a série

Σn=0an(xa)n,\qquad \Sigma_{n=0}^{\infty} a_n(x-a)^n,

com an=f(n)(a)n!\quad a_n = \frac{f^{(n)}(a)}{n!}.

Se a=0a=0 a série obtida diz-se série de MacLaurin da função f(x)f(x).

Interessa que a série represente, num dado intervalo, a função f(x)f(x) correspondente. Nos exemplos acima vimos o caso da igualdade

11x=1+x+x2+x3++xn+\qquad \frac{1}{1-x}=1 + x + x^2 + x^3 +\cdots + x^n + \cdots

que só é válida no intervalo (1,1)(-1, 1). Já a série de potências da função exe^x representa a função no intervalo (,)(-\infty, \infty). A este respeito, valem os seguintes resultados.


Teorema

Se f(x)f(x) é uma função que admite derivadas de todas as ordens no intervalo [aδ,a+δ][a - \delta, a + \delta] e se as suas derivadas são limitadas nesse intervalo, isto é, existe um número positivo MM tal que f(n)(x)M|f^{(n)}(x)| \leq M para todos os valores de xx do intervalo, então a série

Σn=0f(n)(a)n!(xa)n\qquad \qquad \Sigma_{n=0}^{\infty} \frac{f^{(n)}(a)}{n!}(x-a)^n \quad

representa a função f(x)f(x) no intervalo considerado.


Teorema

A expansão em série de potências de uma função f(x)f(x) em torno de um ponto x=ax=a é única. Isto significa que se

Σn=0an(xa)n\qquad \Sigma_{n=0}^{\infty} a_n(x-a)^n \quad e Σn=0bn(xa)n\qquad \Sigma_{n=0}^{\infty} b_n(x-a)^n \quad

ambas convergentes num intervalo (aδ,a+δ)(a-\delta, a+\delta), representam a função f(x)f(x), então an=bna_n = b_n para todos os valores de nn.


Teorema (sobre a convergência de séries de potências)

  1. Estudo da convergência nos extremos do intervalo [11.31]  

Série de MacLaurin das funções sen(x),cos(x),exsen(x), cos(x), e^x

Nos vídeos seguintes determinamos as séries de MacLaurin das funções seno, cosseno e exponencial de base 'e'.

  1. Expansão da função seno em potências de x [13.33]  

  2. Expansão da função seno em potências de (xπ/4)(x-\pi/4) [08.22]  

  3. Interpretação gráfica das séries de potências de x e de (xπ/4)(x-\pi/4) da função sen(x)sen(x) -- parte 1 [09.33]  

  4. Interpretação gráfica das séries de potências de x e de (xπ/4)(x-\pi/4) da função sen(x)sen(x) -- parte 2 [03.21]  

  5. Expansão da função cosseno em potências de x [15.30]  

  6. Expansão da função cosseno em potências de (xπ/4)(x-\pi/4) [08.09]  

  7. Interpretação geométrica []  


Os vídeos seguintes dão uma ideia de como usar, na prática, uma série de potências. De forma simples, na prática usam-se truncaturas das séries (somatórios com um número finito de parcelas) como polinómios aproximantes das funções representadas por essas séries. Existem fórmulas de erro que permitem determinar quantos termos uma truncatura da série eve ter de modo a que o erro da aproximação não ultrapasse um certo valor.

Um exemplo com a função exe^x [04.06]  

Outro exemplo com a função exe^x [06.28]  

Exemplo com a função cos(x)cos(x) [06.30]  

Uma igualdade fundamental para começar a perceber qual o papel dos números complexos na Física Clássica, e por consequência na engenharia, é a fórmula de Euler,

eix=cos(x)+isen(x)\qquad e^{ix} = cos(x) + isen(x).

  1. Justificação da Fórmula de Euler [09.27]  

  2. Exemplo do carácter simplificador da Fórmula de Euler [07.21]  

  3. Simplificação do cálculo de alguns integrais usando a Fórmula de Euler [15.09]  

  4. Gráfico da exponencial complexa no plano de Argand [05.26]  

  5. Funções trigonométricas usando a exponencial complexa [06.10]  

Exercícios para mostrar aos monitores (na semana 13)

Tenta compreender os exercícios que entregas. Copiar as resoluções de outros sem as entender não nos ensina nada.

Ficha 2: 8. d   9. l (ler Sebenta, pgs 107 -- 108)