⚡ Aula 03: Séries de Potências, Pontos Ordinários e Singulares e o Método de Frobenius

MOC da Disciplina • MOC da Área 01 ← Aula Anterior: EDOs de 2ª Ordem • Próxima Aula: Transformada de Laplace →

---

Integração Curricular & Contexto

• Disciplina: Equações Diferenciais
• Área: 01 Matemática e Estatística
• Material Oficial Base: Séries
• Objetivo: Compreender a representação de funções através de séries infinitas de potências e determinar seus raios de convergência pelo Teste da Razão, resolver equações diferenciais lineares com coeficientes variáveis em torno de pontos ordinários através de relações de recorrência, classificar singularidades regulares e irregulares, aplicar o Método de Frobenius via Equação Indicial para deduzir funções especiais da física matemática (Polinômios de Legendre e Funções de Bessel), e modelar o Efeito Pelicular (Skin Effect) e a propagação de ondas eletromagnéticas em cabos e guias de onda cilíndricos circulares.

---

📌 Sumário da Aula

1. 1. Revisão e Convergência de Séries de Potências
   • 1.1 Definição e Intervalo de Convergência
   • 1.2 O Teste da Razão de d’Alembert
2. 2. Soluções em Séries em Torno de Pontos Ordinários
   • 2.1 Ponto Ordinário vs. Ponto Singular
   • 2.2 Procedimento Algébrico de Resolução
3. 3. O Método de Frobenius para Singularidades Regulares
   • 3.1 Ponto Singular Regular
   • 3.2 A Série de Frobenius e a Equação Indicial
4. 4. Funções Especiais da Engenharia Elétrica
   • 4.1 A Equação Diferencial de Bessel
5. 5. Modelagem em Engenharia: Efeito Pelicular e Guias de Onda
   • 5.1 O Efeito Pelicular (*Skin Effect*) em Cabos Cilíndricos
6. 6. 💻 Laboratório Computacional em Python (SymPy & SciPy Special)
7. 7. 📚 Questões de Fixação Resolvidas e Exercícios Práticos (Auditadas)
   • Questão 1 — Raio de Convergência de Série de Potências
   • Questão 2 — Classificação de Pontos da Equação de Legendre
   • Questão 3 — Equação Indicial no Método de Frobenius
8. 8. Considerações Finais e Próximos Passos

---

1. Revisão e Convergência de Séries de Potências

1.1 Definição e Intervalo de Convergência

Uma série de potências centrada em $x_0\in \mathbb{R}$ é uma série infinita da forma: ${\sum }_{n=0}^{\infty }{a}_n(x-x_0{)}^n=a_0+a_1(x-x_0)+a_2(x-x_0{)}^2+\dots$ Onde $a_n$ são coeficientes constantes reais.

• Teorema de Convergência: Para qualquer série de potências, ocorre exatamente um dos três casos:
  1. A série converge apenas no ponto $x=x_0$ ($R=0$);
  2. A série converge absolutamente para todo $x\in \mathbb{R}$ ($R=\infty$);
  3. Existe um número real $R>0$ (Raio de Convergência) tal que a série converge absolutamente para $|x-x_0|<R$ e diverge para $|x-x_0|>R$.

1.2 O Teste da Razão de d’Alembert

O raio de convergência $R$ pode ser calculado pelo limite: $L={\lim }_{n\to \infty }\left|\frac{a_{n+1}}{a_n}\right|⟹R=\frac{1}{L}={\lim }_{n\to \infty }\left|\frac{a_n}{a_{n+1}}\right|$

---

2. Soluções em Séries em Torno de Pontos Ordinários

Considere a equação diferencial linear homogênea de 2ª ordem: $P(x)\frac{d^{2}y}{d{x}^2}+Q(x)\frac{dy}{dx}+R(x)y=0⟺y^{\prime \prime }+p(x)y^{\prime }+q(x)y=0$ Onde $p(x)=\frac{Q(x)}{P(x)}$ e $q(x)=\frac{R(x)}{P(x)}$.

2.1 Ponto Ordinário vs. Ponto Singular

• Ponto Ordinário: Um ponto $x_0$ é dito ordinário se as funções $p(x)$ e $q(x)$ forem ambas analíticas em $x_0$ (isto é, admitem expansão em série de Taylor com raio de convergência não nulo, o que equivale a $P(x_0)\ne 0$ quando $P,Q,R$ são polinômios);
• Ponto Singular: Se $P(x_0)=0$, $x_0$ é denominado ponto singular.

Teorema de Existência de Soluções em Séries: Se $x_0$ for um ponto ordinário, existem duas soluções linearmente independentes analíticas na forma de série de potências $y(x)={\sum }_{n=0}^{\infty }{a}_n(x-x_0{)}^n$, com raio de convergência pelo menos igual à distância no plano complexo de $x_0$ até o ponto singular mais próximo.

2.2 Procedimento Algébrico de Resolução

1. Adota-se $y(x)={\sum }_{n=0}^{\infty }{a}_n{x}^n$;
2. Diferencia-se termo a termo: $y^{\prime }(x)={\sum }_{n=1}^{\infty }n{a}_n{x}^{n-1},y^{\prime \prime }(x)={\sum }_{n=2}^{\infty }n(n-1)a_n{x}^{n-2}$
3. Substitui-se na EDO e ajustam-se os índices de somatório para igualar os expoentes de $x^k$;
4. Agrupam-se as potências e anulam-se identicamente todos os coeficientes, obtendo a Relação de Recorrência que expressa $a_{n+2}$ em função dos coeficientes anteriores.

---

3. O Método de Frobenius para Singularidades Regulares

Quando $x_0$ é um ponto singular ($P(x_0)=0$), soluções em séries de potências puras de Taylor podem não existir. Contudo, se a singularidade for fraca (“regular”), o Método de Frobenius permite encontrar soluções em séries generalizadas.

3.1 Ponto Singular Regular

Um ponto singular $x_0$ é regular se os seguintes limites existirem e forem finitos: $p_0={\lim }_{x\to x_0}(x-x_0)p(x)<\infty \text{e}{q}_0={\lim }_{x\to x_0}(x-x_0{)}^{2}q(x)<\infty$

3.2 A Série de Frobenius e a Equação Indicial

Para $x_0=0$, propõe-se uma solução na forma: $y(x)=x^r{\sum }_{n=0}^{\infty }{a}_n{x}^n={\sum }_{n=0}^{\infty }{a}_n{x}^{n+r},a_0\ne 0$ Onde $r$ é uma constante real ou complexa a determinar.

Substituindo na EDO, a menor potência de $x$ fornece a Equação Indicial: $F(r)=r(r-1)+p_{0}r+q_0=0⟹r^2+(p_0-1)r+q_0=0$

As raízes indiciais $r_1$ e $r_2$ (com $\mathrm{Re}(r_1)\ge \mathrm{Re}(r_2)$) determinam o formato das soluções:

1. Caso 1 ($r_1-r_2\notin \mathbb{Z}$): Duas soluções independentes de Frobenius: $y_1(x)=x^{r_1}{\sum }_{n=0}^{\infty }{a}_n{x}^n,y_2(x)=x^{r_2}{\sum }_{n=0}^{\infty }{b}_n{x}^n$
2. Caso 2 ($r_1=r_2=r$): A segunda solução envolve um termo logarítmico: $y_1(x)=x^r{\sum }_{n=0}^{\infty }{a}_n{x}^n,y_2(x)=y_1(x)\ln (x)+x^r{\sum }_{n=1}^{\infty }{b}_n{x}^n$
3. Caso 3 ($r_1-r_2=N\in {\mathbb{Z}}^{+}$): A segunda solução pode ou não conter logaritmo: $y_2(x)=C{y}_1(x)\ln (x)+x^{r_2}{\sum }_{n=0}^{\infty }{b}_n{x}^n$

---

4. Funções Especiais da Engenharia Elétrica

4.1 A Equação Diferencial de Bessel

A Equação de Bessel de ordem $\nu \ge 0$ surge universalmente na separação de variáveis da equação de onda e de Laplace em coordenadas cilíndricas: $x^2\frac{d^{2}y}{d{x}^2}+x\frac{dy}{dx}+(x^2-{\nu }^2)y=0$ O ponto $x=0$ é uma singularidade regular com equação indicial $r^2-{\nu }^2=0⟹r=\pm \nu$.

• Funções de Bessel de Primeira Espécie ($J_{\nu }(x)$): Solução de Frobenius convergente e finita na origem: $J_{\nu }(x)={\sum }_{m=0}^{\infty }\frac{(-1{)}^m}{m!\Gamma (m+\nu +1)}{\left(\frac{x}{2}\right)}^{2m+\nu }$ Para ordem inteira $\nu =0$: $J_0(x)=1-\frac{x^2}{4}+\frac{x^4}{64}-\dots$ (comporta-se como um cosseno amortecido).
• Funções de Bessel de Segunda Espécie / Neumann ($Y_{\nu }(x)$): Apresenta singularidade logarítmica que tende a $-\infty$ quando $x\to 0$.

Figura 1: Séries de Potências em Torno de Pontos Ordinários, Método de Frobenius, Equação Indicial e Funções de Bessel.

---

5. Modelagem em Engenharia: Efeito Pelicular e Guias de Onda

5.1 O Efeito Pelicular (Skin Effect) em Cabos Cilíndricos

Em regime de corrente alternada de alta frequência, a corrente elétrica em um condutor cilíndrico não se distribui uniformemente: ela migra progressivamente para a periferia externa do fio.

A densidade de corrente $J_z(r)$ satisfaz a equação diferencial de Bessel: $\frac{d^2{J}_z}{d{r}^2}+\frac{1}{r}\frac{d{J}_z}{dr}-j\omega \mu \sigma J_z=0$ Definindo a profundidade de penetração pelicular (skin depth) $\delta =\sqrt{\frac{2}{\omega \mu \sigma }}$, a solução analítica finita no centro do condutor é dada pelas Funções de Kelvin-Bessel: $J_z(r)=J_{\text{superfıˊcie}}\frac{J_0\left(\frac{\sqrt{-2j}\cdot r}{\delta }\right)}{J_0\left(\frac{\sqrt{-2j}\cdot a}{\delta }\right)}$ Para frequências de micro-ondas, $\delta$ atinge frações de micrômetro, justificando por que condutores de alta frequência são frequentemente tubos ocos prateados ou cabos trançados tipo Litz.

---

6. 💻 Laboratório Computacional em Python (SymPy & SciPy Special)

O script a seguir calcula séries de potências e plota as Funções de Bessel $J_0,J_1,J_2$:

Parâmetros de Projeto e Considerações Analíticas:

• 1. Expansão em Série de Taylor da Equação de Airy: y” - x*y = 0 em x = 0
• 2. Funções de Bessel com SciPy Special

---

7. 📚 Questões de Fixação Resolvidas e Exercícios Práticos (Auditadas)

Abaixo, a resolução analítica rigorosa dos exercícios clássicos da apostila 03 - Séries.pdf:

Questão 1 — Raio de Convergência de Série de Potências

Questão 1

Determine o raio de convergência $R$ da série de potências ${\sum }_{n=1}^{\infty }\frac{n}{3^n}{x}^n$:

• A) $R=3$

• B) $R=1/3$

• C) $R=1$

• D) $R=\infty$

Gabarito Comentado e Dedução Passo a Passo

Alternativa Correta: A ($R=3$)

Resolução Analítica:

1. O coeficiente geral é $a_n=\frac{n}{3^n}$.
2. Aplicando o Teste da Razão de d’Alembert: $L={\lim }_{n\to \infty }\left|\frac{a_{n+1}}{a_n}\right|={\lim }_{n\to \infty }\frac{n+1}{3^{n+1}}\cdot \frac{3^n}{n}={\lim }_{n\to \infty }\frac{n+1}{n}\cdot \frac{3^n}{3\cdot 3^n}=1\cdot \frac{1}{3}=\frac{1}{3}$
3. O raio de convergência é o inverso do limite: $R=\frac{1}{L}=\frac{1}{1/3}=3$

---

Questão 2 — Classificação de Pontos da Equação de Legendre

Questão 2

Na Equação Diferencial de Legendre $(1-x^2)y^{\prime \prime }-2x{y}^{\prime }+6y=0$, os pontos $x=1$ e $x=-1$ são classificados como:

• A) Pontos singulares regulares

• B) Pontos singulares irregulares

• C) Pontos ordinários

• D) Pontos de ramificação

Gabarito Comentado e Dedução Passo a Passo

Alternativa Correta: A (Pontos singulares regulares)

Resolução Analítica:

1. Dividindo pelo coeficiente líder $P(x)=(1-x^2)=(1-x)(1+x)$: $p(x)=\frac{-2x}{1-x^2}=\frac{2x}{x^2-1},q(x)=\frac{6}{1-x^2}=\frac{-6}{x^2-1}$
2. Para $x_0=1$: $p_0={\lim }_{x\to 1}(x-1)\frac{2x}{(x-1)(x+1)}=\frac{2(1)}{1+1}=1<\infty$ $q_0={\lim }_{x\to 1}(x-1{)}^2\frac{-6}{(x-1)(x+1)}=0<\infty$ Como ambos os limites são finitos, $x=1$ (e analogamente $x=-1$) é um ponto singular regular.

---

Questão 3 — Equação Indicial no Método de Frobenius

Questão 3

Para a equação diferencial $2x{y}^{\prime \prime }+y^{\prime }+xy=0$, a equação indicial em torno da singularidade regular $x=0$ e suas raízes são:

• A) $2r^2-r=0⟹r_1=1/2,r_2=0$

• B) $r^2+r=0⟹r_1=0,r_2=-1$

• C) $2r^2+r=0⟹r_1=0,r_2=-1/2$

• D) $r^2-1=0⟹r_1=1,r_2=-1$

Gabarito Comentado e Dedução Passo a Passo

Alternativa Correta: A ($2r^2-r=0⟹r_1=1/2,r_2=0$)

Resolução Analítica:

1. Multiplicando a EDO por $x$ para identificar os coeficientes de Cauchy-Euler: $2x^2{y}^{\prime \prime }+x{y}^{\prime }+x^{2}y=0⟹x^2{y}^{\prime \prime }+\frac{1}{2}x{y}^{\prime }+\frac{x^2}{2}y=0$
2. Aqui $p_0=1/2$ e $q_0={\lim }_{x\to 0}\frac{x^2}{2}=0$.
3. A equação indicial é $r(r-1)+p_{0}r+q_0=0$: $r(r-1)+\frac{1}{2}r+0=0⟹r^2-r+\frac{1}{2}r=0⟹r^2-\frac{1}{2}r=0⟹2r^2-r=0$
4. Fatorando: $r(2r-1)=0⟹r_2=0$ e $r_1=1/2$.

---

8. Considerações Finais e Próximos Passos

Nesta Aula 03, avançamos sobre as soluções assintóticas e especiais de EDOs:

• O cálculo de raios de convergência e desenvolvimento de soluções em torno de pontos ordinários.
• A formulação do Método de Frobenius e classificação de raízes indiciais em singularidades regulares.
• O estudo das Funções de Bessel e sua presença determinante no Efeito Pelicular em cabos elétricos de RF.

Na Aula 04, ingressaremos no método operacional mais poderoso da engenharia para resolução de transitórios: A Transformada de Laplace, Teoremas do Deslocamento, Convolução e Resolução Direta de Circuitos Elétricos no Plano Complexo $s$.

---

Referências Bibliográficas Citadas

• BOYCE, William E.; DIPRIMA, Richard C. Equações Diferenciais Elementares. 10. ed. Rio de Janeiro: LTC, 2015.
• KREYSZIG, Erwin. Advanced Engineering Mathematics. 10th ed. John Wiley & Sons, 2011.
• RAMO, Simon; WHINNERY, John R.; VAN DUZER, Theodore. Fields and Waves in Communication Electronics. 3rd ed. Wiley, 1994.
• Material didático oficial de Equações Diferenciais, 2026.