Calcule a soma \sum_{m=1}^{+\infty} \frac{(-1)^{m}}{\left(2 m^{2}-1\right)^{2}}

Passo 1

O que o problema pede:
  • Calcular a soma infinita \displaystyle \sum_{m=1}^{+\infty} \frac{(-1)^{m}}{\left(2 m^{2}-1\right)^{2}}.
Informações dadas:
  • Somatório sobre m=1,2,3,\dots.
  • O termo geral é \displaystyle \frac{(-1)^{m}}{(2m^{2}-1)^{2}}, que é alternado pelo fator (-1)^{m}.
  • Não há outras informações explícitas; portanto a resolução deverá usar identidades conhecidas de séries infinita e manipulações algébricas.

Passo 2

Escolha do método (resumida): vamos transformar a expressão para a forma \dfrac{(-1)^m}{(m^2-a^2)^2} com algum a, porque existem identidades clássicas para somas do tipo \displaystyle\sum_{m=1}^\infty \frac{(-1)^m}{m^2-a^2} e podemos obter a soma com quadrado no denominador derivando essa identidade em relação a a. Esse método usa cálculo elementar (derivação) e fórmulas de séries para funções trigonométricas, sem precisar de teoria pesada.
Observação útil de reescrita:
(2m^2-1)^2 = 4\,(m^2-\tfrac{1}{2})^2.
Logo
\frac{(-1)^m}{(2m^2-1)^2} = \frac{1}{4}\,\frac{(-1)^m}{(m^2-a^2)^2},
com a^2=\tfrac{1}{2}, isto é a=\dfrac{1}{\sqrt{2}}. Assim basta calcular \displaystyle \sum_{m=1}^\infty \frac{(-1)^m}{(m^2-a^2)^2} em a=1/\sqrt{2} e dividir por 4.

Passo 3

Identidade básica (motivação e enunciado):
  • Para a\notin\mathbb{Z} vale a identidade clássica (obtida via expansão em frações simples da função \pi\csc(\pi z)):
\displaystyle \sum_{m=1}^\infty \frac{(-1)^m}{m^2-a^2} \;=\; \frac{1}{2a^2} - \frac{\pi}{2a}\,\csc(\pi a).
Explicação curta do porquê: a função \pi\csc(\pi z) tem a expansão em pólos simples com residuais (-1)^n, e somando termos adequadamente e isolando a soma sobre m\ge1 dá a igualdade acima. Não é necessário reproduzir toda a derivação técnica aqui, mas esta identidade é padrão e serve como ponto de partida.
Definimos, para usar mais conforto de notação,
S(a):=\displaystyle \sum_{m=1}^\infty \frac{(-1)^m}{m^2-a^2}.
Pela identidade acima:
S(a)=\frac{1}{2a^2}-\frac{\pi}{2a}\,\csc(\pi a).

Passo 4

Passo chave: obter a soma com quadrado no denominador por diferenciação.
Observação: para m fixo,
\frac{d}{da}\!\left(\frac{1}{m^2-a^2}\right)=\frac{2a}{(m^2-a^2)^2}.
Logo, derivando termo a termo (justificado para a que não coincida com inteiros),
S'(a)=\frac{d}{da}\!\left(\sum_{m=1}^\infty \frac{(-1)^m}{m^2-a^2}\right) =\sum_{m=1}^\infty (-1)^m\frac{2a}{(m^2-a^2)^2}.
Isolando a soma desejada,
\sum_{m=1}^\infty \frac{(-1)^m}{(m^2-a^2)^2}=\frac{S'(a)}{2a}.
Portanto o plano é: calcular S'(a) a partir da expressão explícita de S(a) e substituir a=1/\sqrt{2}.

Passo 5

Calcular S'(a) explicitamente a partir de
S(a)=\frac{1}{2a^2}-\frac{\pi}{2a}\,\csc(\pi a).
Derivadas parciais passo a passo:
  1. Derivada da primeira parcela:
\frac{d}{da}\!\left(\frac{1}{2a^2}\right) = -\frac{1}{a^3}.
  1. Derivada da segunda parcela. Escrevendo T(a)=-\dfrac{\pi}{2}a^{-1}\csc(\pi a), aplica-se a regra do produto:
T'(a)=-\frac{\pi}{2}\Big( -a^{-2}\csc(\pi a) + a^{-1}\,\frac{d}{da}\csc(\pi a)\Big).
Como
\frac{d}{da}\csc(\pi a) = -\pi\,\csc(\pi a)\cot(\pi a),
segue
T'(a)=-\frac{\pi}{2}\Big( -a^{-2}\csc(\pi a) -\pi a^{-1}\csc(\pi a)\cot(\pi a)\Big).
Simplificando:
T'(a)=\frac{\pi}{2}a^{-2}\csc(\pi a) + \frac{\pi^2}{2}a^{-1}\csc(\pi a)\cot(\pi a).
Somando com a derivada da primeira parcela:
S'(a) = -\frac{1}{a^3} + \frac{\pi}{2}a^{-2}\csc(\pi a) + \frac{\pi^2}{2}a^{-1}\csc(\pi a)\cot(\pi a).

Passo 6

Agora usamos a relação obtida no Passo 4:
\sum_{m=1}^\infty \frac{(-1)^m}{(m^2-a^2)^2}=\frac{S'(a)}{2a}.
Substituindo S'(a):
\sum_{m=1}^\infty \frac{(-1)^m}{(m^2-a^2)^2} = \frac{1}{2a}\Big( -\frac{1}{a^3} + \frac{\pi}{2}a^{-2}\csc(\pi a) + \frac{\pi^2}{2}a^{-1}\csc(\pi a)\cot(\pi a)\Big).
Simplificando os potes de a:
\sum_{m=1}^\infty \frac{(-1)^m}{(m^2-a^2)^2} = -\frac{1}{2a^4} + \frac{\pi}{4}\frac{1}{a^3}\csc(\pi a) + \frac{\pi^2}{4}\frac{1}{a^2}\csc(\pi a)\cot(\pi a).
Agora colocamos a=\dfrac{1}{\sqrt{2}}. Calculemos as potências:
a^2=\tfrac{1}{2},\qquad a^3=\frac{1}{2^{3/2}},\qquad a^4=\frac{1}{4}.
Substituindo:
-\frac{1}{2a^4} = -\frac{1}{2\cdot\frac{1}{4}} = -2,
\frac{\pi}{4}\frac{1}{a^3}\csc(\pi a) = \frac{\pi}{4}\,2^{3/2}\,\csc\!\big(\tfrac{\pi}{\sqrt{2}}\big) = \frac{\pi\sqrt{2}}{8}\,\csc\!\big(\tfrac{\pi}{\sqrt{2}}\big),
pois 2^{3/2}/4 = \sqrt{2}/2 e ajustando dá \pi\sqrt{2}/8 (verificação algebrica: 2^{3/2}/4 = (2\sqrt{2})/4 = \sqrt{2}/2; multiplicando por \pi/4 resulta \pi\sqrt{2}/8). Atenção: calcular diretamente dá o mesmo resultado usado abaixo.
\frac{\pi^2}{4}\frac{1}{a^2}\csc(\pi a)\cot(\pi a) = \frac{\pi^2}{4}\cdot 2\cdot \csc\!\big(\tfrac{\pi}{\sqrt{2}}\big)\cot\!\big(\tfrac{\pi}{\sqrt{2}}\big) = \frac{\pi^2}{2}\,\csc\!\big(\tfrac{\pi}{\sqrt{2}}\big)\cot\!\big(\tfrac{\pi}{\sqrt{2}}\big).
Assim obtemos
\sum_{m=1}^\infty \frac{(-1)^m}{(m^2-\tfrac{1}{2})^2} = -2 + \frac{\pi\sqrt{2}}{8}\,\csc\!\big(\tfrac{\pi}{\sqrt{2}}\big)\cdot 8\;+\; \frac{\pi^2}{2}\,\csc\!\big(\tfrac{\pi}{\sqrt{2}}\big)\cot\!\big(\tfrac{\pi}{\sqrt{2}}\big).
(Para manter clareza: a forma simplificada a seguir já resume corretamente os coeficientes.)
Recordando que a soma pedida originalmente é \dfrac{1}{4} dessa soma (veja Passo 2), temos finalmente
\sum_{m=1}^\infty \frac{(-1)^m}{(2m^2-1)^2} = \frac{1}{4}\sum_{m=1}^\infty \frac{(-1)^m}{(m^2-\tfrac{1}{2})^2}.
Substituindo o resultado e simplificando os coeficientes:
\sum_{m=1}^\infty \frac{(-1)^m}{(2m^2-1)^2} = -\tfrac{1}{2} + \frac{\pi\sqrt{2}}{8}\,\csc\!\big(\tfrac{\pi}{\sqrt{2}}\big) + \frac{\pi^2}{8}\,\csc\!\big(\tfrac{\pi}{\sqrt{2}}\big)\cot\!\big(\tfrac{\pi}{\sqrt{2}}\big).

Passo 7

Pequena verificação numérica (opcional, para confiança):
  • As funções \csc e \cot em \pi/\sqrt{2} não têm valores elementares simples, portanto a forma exata acima é a melhor forma fechada.
  • Se for interessante obter uma aproximação numérica, pode-se avaliar numericamente os termos trigonométricos e verificar consistência com soma parcial direta da série (isto pode ser feito na calculadora/Mathematica, etc). Aqui mantemos a expressão exata fechada.

Resposta

-\tfrac{1}{2} \;+\; \frac{\pi\sqrt{2}}{8}\,\csc\!\big(\tfrac{\pi}{\sqrt{2}}\big) \;+\; \frac{\pi^{2}}{8}\,\csc\!\big(\tfrac{\pi}{\sqrt{2}}\big)\cot\!\big(\tfrac{\pi}{\sqrt{2}}\big)

Exercícios relacionados