Séries de potências
Fundo para as escolas Wikipédia
Esta seleção Wikipedia está offline disponível a partir de Crianças SOS, para distribuição no mundo em desenvolvimento. Uma boa maneira de ajudar outras crianças é por patrocinar uma criança
Em matemática , uma série de potência (em uma variável) é um infinita série do formulário
em que n representa um coeficiente de o n-ésimo termo, c é uma constante e x varia em torno de c (por esta razão, por vezes, uma fala da série como estando centrada em c). Esta série geralmente surge como a série de Taylor de algumas conhecidas função ; a série de Taylor artigo contém muitos exemplos.
Em muitas situações, c é igual a zero, por exemplo, quando se considera uma série de Maclaurin . Em tais casos, a série de potência assume a forma mais simples
Estas séries de poder surgir principalmente na análise, mas também ocorrem em combinatória (sob o nome de gerando funções) e em engenharia elétrica (sob o nome do Z-transform). O familiar notação decimal para números inteiros também pode ser vista como um exemplo de uma série de potência, mas com o argumento x fixado em 10. Em teoria número , o conceito de números p-adic está também intimamente relacionada com a de uma série de fontes.
Exemplos
Qualquer polinomial pode ser facilmente expresso como uma série de potência em torno de qualquer centro C, ainda que com a maioria dos coeficientes iguais a zero. Por exemplo, o polinómio pode ser escrito como uma série de potências em torno do centro como
ou em torno do centro como
ou mesmo em torno de qualquer outro centro C. Pode-se ver séries de potências como sendo "polinômios de grau infinito", apesar de série de potência não são polinômios.
O fórmula série geométrica
que é válido para , É um dos exemplos mais importantes de uma série de fontes, assim como a fórmula função exponencial
e a fórmula seno
válido para todos reais x. Estas séries de energia também são exemplos de séries de Taylor .
Poderes negativos não são permitidos em uma série de potência, por exemplo não é considerada uma série de potência (embora seja Série Laurent). Poderes Do mesmo modo, tais como fraccionais não são permitidas (mas veja Série Puiseux). Os coeficientes não estão autorizados a depender , Assim, por exemplo:
- não é uma série de potência.
Raio de convergência
Uma série de potência irá convergir para alguns valores da variável x e podem divergir para outros. Todas as séries de energia irão convergir em x = c. Há sempre um número r com 0 ≤ r ≤ ∞ tal que a série converge quando | x - c | <r e diverge quando | x - c |> r. O número r é o chamado raio de convergência da série de poder; Em geral, é dada como
ou, de forma equivalente,
(Veja limitar superior e limite inferior). Uma maneira rápida de calcular é
Se este limite existe.
As séries converge absolutamente para | x - c | <r e converge uniformemente em toda compacta subconjunto de {x: | x - c | <r}.
Para | x - c | = r, não podemos fazer qualquer declaração geral sobre se a série converge ou diverge. No entanto, O teorema de Abel afirma que a soma da série é contínua em x, se a série converge em x.
Operações em série de potência
Adição e subtração
Quando duas funções f e g são decompostos em série de potência em torno do mesmo centro C, a série de potências da soma ou diferença das funções pode ser obtido através da adição e subtracção termwise. Isto é, se:
em seguida
Multiplicação e divisão
Com as mesmas definições acima referidas, para a série de potência do produto e quociente das funções pode ser obtido como se segue:
A sequência é conhecido como o convolução das sequências e .
Para a divisão, observe:
e depois use o acima, comparando coeficientes.
Diferenciação e integração
Uma vez que a função é dada como uma série de potência, que é contínua onde quer que converge e é diferenciável no interior desse conjunto. Pode ser diferenciada e integrada com bastante facilidade, tratando cada termo separadamente:
Ambas as séries de ter o mesmo raio de convergência que o original.
Funções analíticas
Uma função f definida em alguns subconjunto aberto U de R ou C é chamado analítico se for dada localmente por série de potência. Isto significa que cada um ∈ L tem um aberto bairro V ⊆ U, de tal forma que existe uma série de potência com um centro que converge para f (x) para todo x ∈ V.
Cada série de potência com um raio positivo de convergência é analítica sobre a interior de sua região de convergência. Tudo funções holomorfas são complexas-analítica. Somas e produtos de funções analíticas são analíticas, como são quocientes enquanto o denominador é diferente de zero.
Se uma função analítica é, em seguida, é infinitamente muitas vezes diferenciável, mas no caso real o inverso não é geralmente verdadeiro. Para uma função analítica, os coeficientes de um n pode ser calculado como
onde indica o enésimo derivado de f em C, e . Isto significa que cada função analítica é representada localmente por sua série de Taylor .
A forma global de uma função analítica é completamente determinada pelo seu comportamento local no seguinte sentido: se f e g são duas funções analíticas definidos na mesma Conjunto aberta ligada L, e se existe uma (c) = g (n) (c) c elemento ∈ U tal que f (n) para todos os n ≥ 0, então f (x) = g (x) para todos os x ∈ U.
Se uma série de potência com raio de convergência r é dado, pode-se considerar continuações analíticas da série, ou seja, funções analíticas f que são definidos em conjuntos maiores que {x: | x - c | <r} e concorda com a série de poder dado sobre este conjunto. O número r é máxima no sentido seguinte: existe sempre um número complexo com x | x - a | = r tal que nenhum continuação analítica da série pode ser definido em x.
A expansão em série de potências da função inversa de uma função analítica pode ser determinada utilizando o Lagrange teorema de inversão.
Séries de potências formais
Em álgebra abstrata , um tenta capturar a essência da série de potência, sem ficar restrito ao campos de números reais e complexos, e sem a necessidade de falar sobre convergência. Isto leva ao conceito de série de potências formal, um conceito de grande utilidade na combinatória algébrica.
Série de potência em várias variáveis
Uma extensão da teoria é necessário para fins de cálculo multivariada. Uma série de potência é aqui definido como sendo uma série infinita da forma
em que j = (j 1, ..., j n) é um vector de números naturais, os coeficientes A (J 1, ..., j n) são geralmente números reais ou complexos, e o centro c = (c 1 , ..., c n) e argumento x = (x 1, ..., x n) são geralmente vectores reais ou complexos. No mais conveniente multi-índice de notação isso pode ser escrito
A teoria de tal série é mais complicado do que para a série única variável, com regiões mais complicadas de convergência. Por exemplo, a série de potência é absolutamente convergente no set entre duas hipérboles. (Este é um exemplo de um conjunto de log-convexo, no sentido de que o conjunto de pontos , Onde encontra-se na região acima, é um conjunto convexo. Mais geralmente, pode-se mostrar que, quando C = 0, o interior da região de convergência absoluta é sempre um conjunto de log-convexa neste sentido.) Por outro lado, no interior da região de convergência pode-se diferenciar e integrar sob o signo série, assim como uma série de maio, com poder ordinário.
Ordem de uma série de potência
Deixe α ser um multi-índice para uma série de potências f (x 1, x 2, ..., x n). A ordem da série de fontes de f é definida como sendo o valor mínimo | α | de tal modo que um α ≠ 0, ou 0 se f ≡ 0. Em particular, para uma série de fontes de f (x) numa única variável x, a ordem de f é a menor potência de x com um coeficiente diferente de zero. Esta definição é prontamente estendida a Série Laurent.