Sem de fato resolver a equação diferencial dada, determine um limite inferior para o raio de convergência da solução em séries de potência de
em torno dos pontos ordinários
e
.
Passo 1
Vou listar claramente o que o enunciado dá e o que pede. O enunciado fornece a equação diferencial
e pede, sem resolver a EDO, um limite inferior para o raio de convergência da solução em série de potência centrada em dois pontos ordinários:
e
.
Informações relevantes dadas:
- A equação completa é
. - Centros a analisar:
e . - Não devemos resolver a EDO; apenas determinar um limite inferior para o raio de convergência das séries em torno desses pontos.
Passo 2
Entender o conceito usado para obter o raio de convergência sem resolver: transformar a EDO para a forma padrão e identificar os pontos onde os coeficientes deixam de ser analíticos (singularidades).
Colocar a EDO na forma padrão divide-se por o coeficiente de
(quando não é zero). Assim obtemos
onde
Explicação do porquê desse passo (didática rápida): para garantir que exista solução em série em torno de
é necessário que os coeficientes
e
sejam analíticos (ou seja, tenham expansão em série de potências) em uma vizinhança de
. O raio de convergência de uma solução em série é pelo menos o raio do maior disco centrado em
no qual
e
são analíticos. Portanto, singularidades de
ou
determinam limites para esse raio.
Passo 3
Encontrar as singularidades (pontos onde
ou
não são analíticos). Elas ocorrem onde o denominador
é zero. Resolver
leva a
Didática: esses pontos são singularidades finitas da EDO (podem ser singulares regulares ou irregulares, não precisamos distinguir aqui). O que interessa para o raio de convergência é que
e
deixam de ser analíticos em
. No plano complexo, são as singularidades mais próximas (a menos que haja outras singularidades; aqui não há outras finitas).
Passo 4
Usar a regra prática: o raio de convergência de uma solução em série centrada em
é pelo menos a distância do centro
até a singularidade finita mais próxima no plano complexo. Portanto calculamos as distâncias de
até
e
, e tomamos o mínimo.
Para
:
portanto a menor distância até uma singularidade é
. Logo um limite inferior para o raio de convergência é
.
Para
:
portanto a menor distância até uma singularidade é
. Logo um limite inferior para o raio de convergência é
.
Explicação adicional (didática): usamos distância no plano complexo porque séries de potência e analiticidade são propriedades complexas; mesmo que o problema seja sobre
real, singularidades complexas limitariam o raio se houvesse alguma mais próxima no complexo — aqui as únicas singularidades finitas são reais e já fornecem o limite.
Passo 5
Conclusão e comentário motivador: sem resolver a EDO encontramos limites inferiores diretos e fáceis de calcular — são apenas as distâncias do centro às raízes de
. Esses valores são garantidos pelo teorema que afirma que, em um disco livre de singularidades dos coeficientes, existem soluções analíticas representáveis por séries de potência com raio pelo menos igual ao raio do disco.