Oscilações Acopladas/Problema de Fermi-Pasta-Ulam-Tsingou

Grupo: Paula Pandolfo, Ramiro de Souza, Samuel Dieterich e Wallace Carvalho

Objetivo: Este trabalho tem dois objetivos principais: apresentar alguns resultados analíticos de osciladores lineares acoplados, comparando esses resultados com simulações computacionais; e implementar o modelo de osciladores acoplados com a adição de um termo quadrático, conforme inicialmente apresentado pelo artigo original do problema de Fermi-Pasta-Ulam-Tsingou (FPUT), analisando os resultados. Apresentaremos algumas simulações dos casos bidimensionais, mas as análises de resultados serão restritas aos casos unidimensionais, por simplicidade. Inicialmente será introduzido o formalismo de oscilações acopladas lineares. [falta complementar]

Introdução

Os osciladores são talvez os sistemas mais estudados na Física, sendo capazes de modelar uma ampla gama de fenômenos, como, p. ex., pêndulos, circuitos eletrônicos, interações moleculares. O comportamento linear desses sistemas, em particular, possui resultados analíticos bem conhecidos.

O problema de FPUT (Enrico Fermi, John R. Pasta, Stanislaw M. Ulam, Mary Tsingou) resulta da análise computacional de um sistema de partículas que apenas interagem com seus vizinhos, com interações modeladas por oscilações acopladas com a adição de um termo não-linear, que pode ser quadrático ou cúbico. O intuito original da simulação era estudar como esse sistema evolui para o equilíbrio térmico. Se as forças fossem estritamente lineares, a energia alocada em cada modo de vibração não se distribuiria entre os demais modos, ou seja, não se atingiria o equilíbrio térmico. Entretanto, com a adição dos termos não lineares, pelo Teorema da Equipartição da Energia, supunha-se que, após um certo tempo, a energia total do sistema seria distribuída uniformemente entre os modos normais de vibração, o que significaria que o sistema teria atingido o equilíbrio térmico. Entretanto, isso não foi observado.

O caso foi estudado pela primeira vez em Los Alamos, nos Estados Unidos, e implementado no computador MANIAC I (Mathematical Analyzer Numerical Integrator and Automatic Computer Model I). Além dos três participantes coautores do artigo que relatou o caso em 1955, Mary Tsingou implementou o código e resolveu numericamente o sistema. Atualmente, por essa razão, o paradoxo é denominado pela sigla FPUT (Fermi-Pasta-Ulam-Tsingou).

A abordagem adotada no presente trabalho é a seguinte: inicialmente, serão apresentados alguns resultados teóricos bem conhecidos de osciladores lineares acoplados. A seguir, compararemos esses resultados com simulações computacionais. [falta complementar]

Osciladores Lineares Acoplados

Um modelo geral de sistema unidimensional de osciladores lineares acoplados é ilustrado pela Figura 1. Para fins de simplificação do problema, estamos considerando que todas as massas e constantes das molas são iguais, mas esse não precisaria ser o caso.

Figura 1. Ilustração de um modelo geral unidimensional de oscilações acopladas. A figura foi criada por Paula Pandolfo, uma das integrantes do grupo.

Cada partícula possui duas vizinhas, com as quais interage por meio das molas, exceto as partículas localizadas nos extremos da cadeia, que possuem apenas uma partícula vizinha cada. As interações das partículas dos extremos das cadeias se restringem, portanto, à interação com uma vizinha e com uma mola conectada a uma das paredes externas à cadeia. A posição de cada partícula pode ser descrita por um grau de liberdade associado ao deslocamento em relação à respectiva posição de equilíbrio. No total, um sistema com $N$ partículas terá, portanto, $N$ graus de liberdade. Vamos tratar aqui o caso em que as forças das molas são lineares, i.e., dadas por $F=-kx$.

N=2

(O conteúdo abaixo segue aproximadamente a seção 12.2 de Marion e Thornton (2004). Entretanto, há diversas modificações e inclusões. Por exemplo, na descrição das equações de movimento e nas definições dos modos normais).

Vamos inicialmente considerar o caso do oscilador linear acoplado mais simples, com duas partículas ($N=2$), cada uma com massa $m$, e três molas com os mesmos valores de constantes, $k$.

As equações de movimento do sistema são:

${\begin{aligned}m{\ddot {x}}_{1}&=-kx_{1}-k(x_{1}-x_{2})\\m{\ddot {x}}_{2}&=-kx_{2}-k(x_{2}-x_{1})\quad (1)\\\end{aligned}}$

Uma forma direta de se montar as equações de movimento de um sistema acoplado é pensar em termos dos deslocamentos em relação às posições de equilíbrio ($x_{i}$, com $i=1,2$, no sistema considerado aqui). Por exemplo, na primeira das equações acima, a partícula 1 está sujeita à força elástica da mola conectada à parede (termo $-kx_{1}$) e à força da mola conectada à partícula 2 (termo $-k(x_{1}-x_{2}$). Esse último termo é definido conforme o seguinte: caso a mola que está conectada às partículas 1 e 2 esteja comprimida, $x_{1}$ deve ser maior que $x_{2}$ (definindo os $x_{i}$ como deslocamentos em relação à posição de equilíbrio positivos para a direita e negativos para a esquerda) e a partícula 1 estará sofrendo uma força que é contrária à compressão, ou seja, com sinal negativo. De modo semelhante para a partícula 2, mas nesse caso, devido à posição ocupada pela partícula 2 na cadeia, com $x_{1}$ maior que $x_{2}$, o sentido da força contrária à compressão tem sinal positivo.

Uma dificuldade imposta pelo sistema (1) é o fato das equações serem acopladas: note-se que a aceleração da partícula 1 depende da posição da partícula 2, e vice-versa. Vamos supor que esse sistema de equações tenha soluções nas formas (com $A_{1}$ e $A_{2}$ constantes):

${\begin{aligned}x_{1}(t)&=A_{1}e^{-i\omega t}\\x_{2}(t)&=A_{2}e^{-i\omega t}\quad (2)\end{aligned}}$

Essa suposição é fisicamente justificável: sabemos que as soluções são oscilatórias, e exponenciais imaginárias podem ser escritas em termos de senos e cossenos pela fórmula de Euler. Se substituirmos a equação (2) na equação (1) e rearranjarmos os termos, obtemos:

${\begin{aligned}-mw^{2}A_{1}e^{-i\omega t}+2kA_{1}e^{-i\omega t}-kA_{2}e^{-i\omega t}&=0\\-mw^{2}A_{2}e^{-i\omega t}+2kA_{2}e^{-i\omega t}-kA_{1}e^{-i\omega t}&=0\\\end{aligned}}$

Ou, eliminando as exponenciais e reagrupando termos:

${\begin{aligned}(2k-mw^{2})&A_{1}&-kA_{2}&=0\\-k&A_{1}&+(2k-mw^{2})A_{2}&=0\quad (3)\\\end{aligned}}$

O sistema de equações (3) apenas terá soluções não triviais se o determinante dos coeficientes dos $A_{i}$ for igual a zero, i.e.:

${\begin{vmatrix}(2k-mw^{2})&-k\\-k&(2k-mw^{2})\end{vmatrix}}=0$

As soluções da equação acima podem ser facilmente obtidas e resultam de uma equação quadrática simples, apresentaremos apenas o resultado:

${\begin{aligned}\omega _{1}={\sqrt {\frac {k}{m}}}\quad \quad \omega _{2}={\sqrt {\frac {3k}{m}}}\quad (4)\end{aligned}}$

$\omega _{1}$ e $\omega _{2}$ são as frequências características ou autofrequências do sistema. As soluções mais gerais do sistema de equações diferenciais lineares (1) vão ser então combinações lineares das soluções (2) com as frequências dadas por (4):

${\begin{aligned}x_{1}(t)=a_{1}^{1}e^{i\omega _{1}t}&+a_{1}^{2}e^{-i\omega _{1}t}&+a_{1}^{3}e^{i\omega _{2}t}&+a_{1}^{4}e^{-i\omega _{2}t}\\x_{2}(t)=a_{2}^{1}e^{i\omega _{1}t}&+a_{2}^{2}e^{-i\omega _{1}t}&+a_{2}^{3}e^{i\omega _{2}t}&+a_{2}^{4}e^{-i\omega _{2}t}\quad (5)\end{aligned}}$

Note-se que cada uma das soluções é uma superposição (em geral) complicada que envolve as duas autofrequências. Isso é uma consequência direta do acoplamento presente no sistema (1). Vamos usar a seguinte substituição de variáveis: $\eta _{1}=x_{1}+x_{2}$ e Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \eta_{2} = x_{1} - x_{2}} , ou

${\begin{aligned}x_{1}={\frac {\eta _{1}+\eta _{2}}{2}}\\x_{2}={\frac {\eta _{1}-\eta _{2}}{2}}\end{aligned}}$

Substituindo essas expressões no sistema de equações (1):

Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} m(\ddot{\eta}_{1} + \ddot{\eta}_{2}) + k\eta_{1} + 3k\eta_{2} = 0 \\ m(\ddot{\eta}_{1} - \ddot{\eta}_{2}) + k\eta_{1} - 3k\eta_{2} = 0 \end{align} }

Se somarmos as duas equações acima e subtrairmos a segunda da primeira, obtemos, respectivamente:

Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} m\ddot{\eta}_{1} + k\eta_{1} = 0 \\ m\ddot{\eta}_{2} + 3k\eta_{2} = 0 \end{align} }

Reconhecemos imediatamente as equações acima como equações de osciladores harmônicos simples, desacopladas e, portanto, com soluções independentes. As soluções são dadas por

Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} \eta_{1}(t) &= c_{1}e^{i\omega_{1}t} + c_{2}e^{-i\omega_{1}t} \\ \eta_{2}(t) &= c_{3}e^{i\omega_{2}t} + c_{4}e^{-i\omega_{2}t} \quad (6) \end{align} }

Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \eta_{1}} e Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \eta_{2}} são chamadas de coordenadas normais. Por definição, são coordenadas que desacoplam as equações diferenciais do sistema e possuem soluções com frequências únicas, bem definidas. Sempre podem ser escritas como algum tipo de combinação linear das coordenadas originais. De modo semelhante, as coordenadas usuais do sistema sempre podem ser escritas como combinações lineares das coordenadas normais. No caso geral, para mais partículas, são trabalhosas de se encontrar. Note-se que, no caso de duas partículas, é simples encontrá-las meramente por inspeção. Se impusermos as condições iniciais Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle x_{1}(0) = x_{2}(0)} e Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \dot{x}_{1}(0) = \dot{x}_{2}(0)} , Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \eta_{2}(0) = x_{1}(0) - x_{2}(0) = 0} e as constantes Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle c_{3}} e Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle c_{4}} vão ser iguais a zero, o que implica Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \eta_{2}(t) = 0} , para todo Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle t} . Esse primeiro modo normal corresponderá a uma oscilação simétrica, em que as duas partículas oscilarão em fase, com frequência Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \omega_{1}} . De modo semelhante, se impusermos as condições iniciais Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle x_{1}(0) = -x_{2}(0)} e Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \dot{x}_{1}(0) = -\dot{x}_{2}(0)} , Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \eta_{1}(t) = 0} , para todo Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle t} , e as partículas oscilarão fora de fase, com frequência Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \omega_{2}} . Pelas expressões dadas em (4), note-se que a frequência associada ao modo simétrico é menor do que a frequência do modo antissimétrico: esse é um resultado geral de oscilações acopladas. Quanto maior o grau de simetria da oscilação, menor o valor da frequência.

N=3

Seguindo a mesma lógica apresentada para Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle N=2} partículas, podemos montar as equações de movimento do sistema com Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle N=3} partículas. A única diferença é que a partícula central apenas está conectada a partículas vizinhas, não estando conectada a paredes externas:

${\begin{aligned}m{\ddot {x}}_{1}&=-kx_{1}-k(x_{1}-x_{2})\\m{\ddot {x}}_{2}&=-k(x_{2}-x_{1})-k(x_{2}-x_{3})\\m{\ddot {x}}_{3}&=-kx_{3}-k(x_{3}-x_{2})\quad (7)\\\end{aligned}}$

Supondo soluções do tipo

${\begin{aligned}x_{1}(t)&=A_{1}e^{-i\omega t}\\x_{2}(t)&=A_{2}e^{-i\omega t}\\x_{3}(t)&=A_{3}e^{-i\omega t}\quad (8)\end{aligned}}$

Substituindo (8) em (7) e seguindo os mesmos passos feitos para $N=2$ partículas:

Caso geral

O formalismo lagrangeano fornece uma técnica poderosa para encontrar as coordenadas normais, bem como as autofrequências [inserir referências]. No entanto, no presente trabalho, não precisamos fazer uso do formalismo lagrangeano. Será suficiente tratar o problema por análise de Fourier.

Voltando ao sistema de equações (5), podemos reescrever as soluções em termos da parte real das exponenciais imaginárias:

${\begin{aligned}x_{1}(t)&=\sum _{m=1}^{2}a_{1}^{m}\cos(w_{m}t)\\x_{2}(t)&=\sum _{m=1}^{2}a_{2}^{m}\cos(w_{m}t)\quad (6)\end{aligned}}$

É possível mostrar que, no caso considerado, as soluções podem ser escritas como

${\begin{aligned}x_{l}(t)&=\sum _{m=1}^{2}c_{m}\sin \left({\frac {lm\pi }{3}}\right)cos(w_{m}t){\text{, com}}\quad l=1,2\\\end{aligned}}$

Para cada instante no tempo, a amplitude dos modos normais

Programa

• Código em C e scripts para FPUT com deslocamento vertical

• Código em Python para simulações de osciladores lineares e FPUT quadrático

Bibliografia principal

• Marion, J.B., Thornton, S.T. "Classical Dynamics of Particles and Systems". Thomson Learning, Belmont, 2004.
• Giordano, N.J., Nakanishi, H. "Computational Physics". 2nd Edition. Prentice Hall, Upper Saddle River, 2006.