- (
pontos) (Séries e análise complexa) As séries de potências são o ponto de partida para a definição de funções analíticas em variáveis complexas.
(a) Explique como o conceito de raio de convergência de uma série de potências
em
delimita o domínio de analiticidade de uma função complexa
.
(b) Dê um exemplo de função cuja série de Taylor (em torno de
) tenha raio de convergência finito, indicando a singularidade que o determina.
(c) Comente como esse fato se conecta à ideia de fronteira natural e de extensão analítica.
(a) Explique como o conceito de raio de convergência de uma série de potências
(b) Dê um exemplo de função cuja série de Taylor (em torno de
(c) Comente como esse fato se conecta à ideia de fronteira natural e de extensão analítica.
Passo 1
O enunciado tem três perguntas separadas:
(a) explicar como o conceito de raio de convergência de uma série de potências em
delimita o domínio de analiticidade de uma função
;
(b) dar um exemplo de função cuja série de Taylor em torno de tenha raio de convergência finito e indicar a singularidade que determina esse raio;
(c) comentar como isso se conecta à ideia de fronteira natural e de extensão analítica.
(a) explicar como o conceito de raio de convergência de uma série de potências
(b) dar um exemplo de função cuja série de Taylor em torno de
(c) comentar como isso se conecta à ideia de fronteira natural e de extensão analítica.
Informações dadas (úteis para a resolução):
- Temos uma série de potências centrada em
: . - Precisamos relacionar a convergência dessa série com onde a função definida por ela é analítica e com singuralidades que limitam a extensão.
Passo 2
O que é o raio de convergência e como calculá‑lo (fórmula prática).
- Definição: o raio de convergência
é o número em tal que a série converge absolutamente para todo com e diverge para todo com . - Fórmula de Cauchy–Hadamard (modo prático de achar
):
Explicação dessa fórmula em palavras: se os coeficientes
decaem muito rápido, a raiz enésima
tende para algo pequeno e
fica grande; se decaem devagar,
é pequeno. A definição via
é a forma precisa que cobre todos os casos.
Passo 3
Por que dentro do disco
a série define uma função analítica.
- Convergência absoluta e uniformidade em compactos: para qualquer raio
com , a série converge absolutamente e uniformemente em . Isso vem do teste da razão/raiz aplicado com . - Consequência: soma da série é contínua e admite derivadas obtidas termo a termo. Mais precisamente, se
então podemos derivar termo a termo e obter
essa série também converge para
. Assim
é complexamente diferenciável em todo ponto do disco, isto é,
é analítica em
.
- Intuição prática para a prova: a uniformidade em compactos permite trocar soma e limite (derivada), que é o que garante diferenciabilidade complexa.
Passo 4
Relação entre
e singuralidades da função (por que o raio “marca” a distância à singularidade mais próxima).
- Teorema (intuitivo e prático): o raio de convergência
é exatamente a distância do centro até o ponto singular mais próximo da função analítica que a série representa. Em fórmula:
- Justificativa (esboço): se
for analítica em mas tiver singularidade em um ponto com , então pela fórmula integral de Cauchy para os coeficientes
para qualquer
, obtemos estimativas que mostram que a série converge ao menos até
; fazendo
aproximar
chega‑se ao limite
. Por outro lado, se houvesse convergência fora do menor círculo que contém todas as singuralidades, isso contradiziria a existência da singularidade mais próxima. Em resumo: o primeiro obstáculo (em distância) a continuar
analiticamente a partir de
é uma singularidade e esse obstáculo dá o raio.
Passo 5
Exemplo concreto (resposta à parte (b)): escolha fácil e cálculo do raio.
- Exemplo simples e didático:
- Série de Taylor em torno de
(a chamada série geométrica):
- Aqui os coeficientes são
para todo , então
portanto pela fórmula de Cauchy–Hadamard
- A singularidade que determina esse raio é o ponto
, que fica à distância de . De fato tem um polo simples em ; isso impede que a série em torno de convirja para . (Se preferir outro exemplo: tem singularidades em , então a série em torno de tem raio porque .)
Passo 6
O que significa isso para extensão analítica e fronteira natural (parte (c)).
- Extensão analítica (o que é): dado
analítica num disco , tentar estender significa procurar uma função analítica num conjunto maior que coincide com no disco original. A extensão é possível até esbarrar numa singularidade verdadeira: não dá para “passar” por uma singularidade isolada localizada na trajetória de continuação. - Fronteira natural: chamamos de fronteira natural de
uma curva (por exemplo, o círculo ) se não for possível continuar analiticamente através de nenhum ponto dessa fronteira. Em outras palavras, cada ponto da fronteira é um obstáculo real à continuação. Isso costuma acontecer quando há uma acumulação de singuralidades na fronteira. - Exemplos/intuitivo:
- Se a única singularidade mais próxima é um polo isolado em um ponto da circunferência
, pode acontecer que se consiga continuar ao redor desse polo (por caminhos que contornem o ponto), e portanto a fronteira circular não seja “natural” inteira; a extensão pode cobrir regiões fora do círculo exceto o ponto singular. - Se, em contraste, há singuralidades acumuladas densamente ao longo da circunferência
, então a circunferência é uma fronteira natural: não existe nenhum ponto da circunferência onde você consiga passar analyticamente. Um exemplo teórico (resultado clássico) são séries lacunares cujos expoentes saltam muito (por exemplo com crescendos rápidos de ); para muitas tais séries o círculo de convergência é uma fronteira natural (teoremas de Fabry / Hadamard sobre lacunas mostram isso).
- Se a única singularidade mais próxima é um polo isolado em um ponto da circunferência
- Conexão final e prática para prova: o raio de convergência é a medida local (em termos de distância) até o primeiro problema analítico (singularidade). Se essa primeira barreira for “isolada”, a função pode às vezes ser continuada por caminhos que a contornem; se a barreira consistir de singuralidades densas, o disco de convergência tem uma fronteira natural e não existe continuação além dela. Portanto olhar os coeficientes (por exemplo usando
ou padrões de lacunas) dá informação sobre se existe ou não possibilidade de continuação analítica além do círculo de raio .
Passo 7
Resumo didático de como usar isso numa prova (passo a passo prático, para você na hora da prova).
- Passo A: calcule os coeficientes
da expansão em torno de (ou reconheça uma expansão conhecida, como geométrica). - Passo B: aplique a fórmula de Cauchy–Hadamard
para encontrar . - Passo C: identifique pontos no plano complexos a distância
de ; esses pontos são candidatos a singuralidades que determinam o raio. Verifique se realmente a função tem singularidade em algum deles (polo, ramo, essencial). - Passo D: para discutir extensão analítica, pergunte se há singuralidades além desse(s) ponto(s) (isoladas) ou se há acumulação de singuralidades na fronteira; isso decide se existe fronteira natural ou se é possível continuar por caminhos ao redor de pontos isolados.
- Dica prática: sempre pense geometricamente no disco
e na localização das singuralidades — é a maneira mais rápida de entender o que o raio significa.
Resposta
(a) O raio de convergência
é tal que a série
converge absolutamente para
e define aí uma função analítica; além disso
e
coincide com a distância de
até a singularidade mais próxima da função (essa singularidade é o primeiro obstáculo à continuação analítica).\n
(b) Exemplo: para
. Aqui
, então
e
. A singularidade que determina
é o polo em
, a distância
de
.\n
(c) Se a fronteira contém singuralidades isoladas, às vezes é possível continuar analiticamente
ao redor desses pontos; se a fronteira contém singuralidades acumuladas (por exemplo em séries lacunares), então ela é uma fronteira natural e não existe continuação analítica além do círculo. Em suma: o raio dá o primeiro limite de onde a função é analítica, e a natureza das singuralidades na fronteira decide se há ou não possibilidade de extensão analítica.
(b) Exemplo:
(c) Se a fronteira