A equação da onda
No estudo das oscilações, é comum entre os físicos o emprego de modelos simples como representações "prototípicas" de certos padrões básicos observados na natureza. A eficácia desses modelos simples decorre de duas características fundamentais: a capacidade de serem compreendidos em detalhes minuciosos e a habilidade de reproduzir comportamentos semelhantes aos de situações reais e mais complexas, auxiliando na compreensão destas, pelo menos em termos qualitativos.
Quando se trata de comportamentos oscilatórios, o modelo mais comumente utilizado é o do sistema massa-mola. Por outro lado, para descrever comportamentos ondulatórios unidimensionais, o modelo simples mais difundido é o da corda vibrante.
Consideremos uma corda esticada, como a corda de um violão, por exemplo. Suponhamos que esta corda tenha um comprimento e que suas extremidades estejam fixas nos pontos e . Além disso, vamos supor que a corda tenha uma densidade linear uniforme representada por , e que esteja sob uma tensão constante .
Assumindo que a corda realize vibrações transversais apenas na direção (embora possa ter vibrações transversais na direção , as quais vamos ignorar aqui), podemos representar a configuração da corda em qualquer instante de tempo no plano por uma função .
Vamos considerar mais algumas suposições:
I) A tensão que estica a corda é tão alta que podemos negligenciar a força gravitacional sobre ela;
II) A corda é perfeitamente elástica, ou seja, não oferece resistência a dobras;
III) Os deslocamentos da corda, que ocorrem apenas na direção , são de pequena amplitude.
Com essas suposições em mente, estamos prontos para abordar o problema da corda vibrante. Em qualquer instante de tempo, um segmento arbitrário da corda estará na posição geral indicada pela figura abaixo:
Posição genérica de um pedaço qualquer da corda
A massa do pequeno segmento de corda de comprimento é
As componentes horizontal e vertical da força resultante atuando sobre esse segmento são:
e
Estamos assumindo que a corda não se move na direção (apenas na direção ). Isso implica que a força resultante na direção é nula (). Substituindo essa condição na equação, obtemos:
E a força resultante na direção , , é dada de acordo com a segunda lei de Newton:
então:
ou
Vamos prosseguir dividindo os dois lados da equação acima pelo termo , sabendo que :
Considerando que o coeficiente angular da reta tangente a uma função em um dado ponto do seu domínio é igual à derivada da função nesse ponto, temos:
Dividindo ambos os lados por , teremos do lado esquerdo:
e no limite que , a expressão se torna uma derivada parcial segunda , nos permitindo reescrever a equação como:
E, como última manipulação, vamos supor agora que os deslocamentos da corda são pequenos, o que implica que os ângulos associados a esses deslocamentos também são pequenos: . Com essa condição, e chegamos em:
onde o termo tem dimensão de e é a velocidade de propagação de ondas na corda esticada:
Chegando a conlusão de que essa é a expressão para a corda vibrante e que a velocidade de propagação aumenta com a tensão na corda e diminui com a sua inércia (massa por unidade de comprimento).
Método FTCS
O método FTCS (Forward Time Central Space) é uma abordagem progressiva no tempo e centrada no espaço. Em outras palavras, ao lidarmos com uma função de duas variáveis, buscamos uma solução futura em termos do tempo, centrada em uma vizinhança espacial. Para a resolução numérica da equação diferencial unidimensional da onda, optamos por trabalhar exclusivamente com o método explícito.
Corda Ideal
Método Explícito
Para aplicar o método, é necessário inicialmente discretizar tanto as variáveis espaciais quanto as variáveis temporais. Seja a função , sejam os intervalos e , discretizamos os intervalos em espaçamentos iguais , de tal maneira que obtemos as sequências crescentes monótonas e . Assim obtemos uma grade de malhas de pontos onde a função tem seus valores aproximados por denotado . Uma abordagem comum envolve a discretização da primeira derivada no tempo utilizando uma diferença finita progressiva baseada na expansão em séries de Taylor até a primeira ordem :
Discretizando a derivada temporal segunda utilizando um diferença finita regressiva :
note que o processo retorna uma derivada de diferenças finitas centrada, além disso obtemos um aproximação de segunda ordem. O mecanismo de discretização das derivadas espaciais é completamente análogo, a derivada segunda centrada :
Aplicando as expressões das diferenciais na equação da onda :
defina e explicite a variável no estado temporal futuro, obtemos :
uma equação explicita no tempo dependendo somente de e .
Estabilidade
Para analisar a estabilidade da solução numérica para a equação da onda, utilizaremos o método de Von Neumann. O procedimento consiste em utilizar a transformada de Fourier para determinar a estabilidade do esquema, a solução problema tem a forma :
onde e é o fator de amplificação, observe que podemos estudar a estabilidade da aproximação somente analisando o fator de amplificação.
- Teorema : Se o fator de amplificação não depender de nem , então a aproximação é estável se .
Vejamos a estabilidade da aproximação de diferenças finitas para a equação da onda, utilizando as componentes de Fourier , obtemos :
simplificando os termos em comum :
note que ,
utilizando a identidade trigonométrica e a identidade trigonométrica fundamental , obtemos :
onde [1] é o fator de amplificação. Defina . Portanto obtemos a equação quadrática com soluções :
se , então :
o que é um aburdo, pois . Se , então :
note que , logo . Portanto para o método ser condicionalmente estável :
Embora garante a estabilidade do processo, é a melhor escolha possível para a estabilidade do método, pelos seguintes motivos :
- Quando , os termos de ordem superior que são descartados na discretização da equação da onda são amplamente cancelados. Essa compensação implica que o método numérico se torna mais estável e menos suscetível a erros numéricos significativos, ou seja, não ocorrerão variações abruptas devido aos termos de ordem maiores;
- Quando , a perturbação na corda se propaga exatamente um passo espacial a cada passo de tempo. Esse comportamento assegura que a velocidade da perturbação seja adequadamente representada pelo algoritmo numérico. Isso ocorre devido a relação entre a velocidade física da corda e a velocidade da perturbação .
Observe que além de obtermos o intervalo de estabilidade , também obtemos uma restrição na discretização das malhas temporais e espaciais, limitando assim a um subconjunto que satisfaça a condição de estabilidade.
Corda Não Ideal
Método Explícito
Optaremos novamente por realizar a análise utilizando um método explícito. Em geral, o desenvolvimento teórico para a discretização da equação diferencial da onda com amortecimento e rigidez é análogo ao caso ideal, portanto, não serão apresentados com detalhes os cálculos necessários para a implementação do método. A derivada quarta centrada é aproximada utilizando diferenças finitas :
transformando a EDP não homogênea para um espaço discretizado usando a aproximação de diferenças finitas centrada :
onde e . Novamente obtemos um equação explicita no tempo que depende somente de e ;
Estabilidade
A abordagem que empregamos para demonstrar a estabilidade da equação da onda não homogênea é completamente análoga ao caso homogêneo. Em outras palavras, utilizamos o método de Von Neumann em conjunto com o teorema da estabilidade. Ao aplicar novamente as componentes de Fourier, representadas por , obtemos uma equação quadrática que impõe a seguinte restrição:
logo, o método é condicionalmente estável no intervalo .
Convergência
Até este ponto, ainda não discutimos o quão bem o esquema de diferenças finitas descreve a solução da equação diferencial. Vamos abordar isso agora. A propriedade mais essencial que um esquema deve possuir é que, à medida que os espaçamentos na malha discreta diminuem, a aproximação para a solução deve se aproximar da solução real do sistema. Portanto, um esquema é considerado uma boa aproximação se
onde é a solução exata e a solução aproximada. Se tais condições são satisfeitas, dizemos que o esquema de equações diferenciais finitas é convergente. Entretanto, geralmente, provar a convergência não é uma tarefa trivial. No entanto, podemos demonstrá-la de maneira indireta, utilizando estabilidade e consistência. Se um esquema é estável e consistente, então a convergência do esquema é garantida. Dada uma equação diferencial , dizemos que o esquema de diferenças finitas é consistente com a equação diferencial se, para qualquer função suficientemente diferenciável ,
Mostremos a consistência da aproximação de diferenças finitas para a equação da onda homogênea. Seja a EDP da onda
e seja a equação de diferenças finitas
pela aproximação que demonstramos anteriormente, temos :
como estamos supondo que os termos de ordem 2 são desprezíveis, e . Logo :
portanto o esquema de diferenças finitas é consistente. Como na seção anterior já havíamos provado a estabilidade condicional do método, podemos concluir que o esquema é condicionalmente convergente (é consistente e condicionalmente estável) e portanto representa uma boa aproximação para a solução exata da equação diferencial.
Análise espectral
Uma possível forma para quantitativamente analisar o som gerado por uma corda vibrante é estudar as frequências que compõem o seu movimento, técnica essa chamada de análise espectral. Antes de prosseguirmos vamos recapitular alguns resultados da álgebra linear
Supremacia da álgebra linear
O seguinte conjunto é o espaço de funções reais de uma variável. Esse conjunto é um espaço vetorial, logo podemos utilizar toda a artilharia da álgebra linear, em especial, estamos interessados no sub-espaço gerado pela base [2], pois elementos de , interpretados como sinais sonoros, representam um frequência pura de valor . Dessa forma, um sinal arbitrário pode ser escrito em termos das frequências puras que o formam
E podemos extrair suas coordenadas (conhecidas como transformada de Fourier do sinal) ( e ), fazendo o produto escalar com os elementos da base
Se o domínio de é limitado, digamos , então uma base infinita com cardinalidade enumerável (em contraste com a base anterior, que possui cardinalidade não enumerável) é suficiente para representar , uma possível base ortonormal é a seguinte: , em que . Dessa forma, a representação e coordenadas de ficam
É impossível falar sobre bases enumeráveis de um sub-espaço de sem representar esse canhão matemático com uma animação. Abaixo segue uma visualização que calcula as primeiras coordenadas ( e ) de um sinal qualquer e sobrepõem a série obtida, incrementando até as duas curvas serem indistinguíveis a olho nu.
Animação de uma série de fourier. É interessante notar que a série converge muito bem com apenas uma dúzia de frequências.
Potência espectral
Adiante vamos ver que o sinal sonoro provém da vibração de um ponto específico da mesma, digamos em , então a função que representa esse sinal é . Como estamos interessados nas frequências que compõem o sinal, será calculado a transformada de fourier de e definido que a potência da frequência é . A potência em função da frequência é o resultado da análise espectral.
Simulando uma corda de violão
Uma corda de violão geralmente é excitada por uma pancada dada por uma palheta ou pelo próprio dedo/unha do violonista. Essa pancada define uma condição inicial para a equação de onda. Uma suposição razoável da condição gerada é a seguinte
supondo que a corda possui comprimento e a pancado ocorreu em , causando uma deslocamento máximo . A imagem a seguir ilustra o estado da corda logo após a excitação
Condição inicial de uma corda de violão.
Dado essa condição inicial, podemos evoluir temporalmente o estado da corda utilizando a equação da onda, mantendo as bordas fixas (), mas como extrair som dessa simulação? Para responder essa pergunta precisamos saber como um violão gera som. Ao contrário do que inicialmente pareça, as ondas sonoras não são diretamente geradas pela vibração das cordas, mas sim da caixa do violão, que está diretamente conectada com as cordas em uma peça chamada ponte. A vibração das cordas gera uma força dependente do tempo que atua na caixa através da ponte, assim vibrando a caixa e gerando o som que escutamos. Portanto, para gerar som de forma realista, precisaríamos fisicamente simular a caixa, levando em consideração a sua geometria e as propriedades física do seu material, e então determinar as ondas de pressão que seriam geradas por essa vibração, o que está fora do escopo do presente trabalho. Felizmente, as seguintes simplificações vão nos permitir calcular as ondas de pressão:
- A força que a ponte exerce na caixa é aproximadamente proporcional a sua velocidade (Dinâmica aristotélica).
- A onda de pressão produzida pela caixa é aproximadamente proporcional a sua velocidade.
A força que a ponte exerce na caixa () é a força que a corda exerce na ponte (pois a ponte está firmemente conectada na caixa), e essa força é proporcional a inclinação da corda, ou seja
em que é a tensão na corda. Portando, o sinal da onda de pressão pode ser aproximado como o deslocamento de um ponto da corda próximo a ponte. Para gerar som com esse sinal, o tipo de arquivo WAV] é utilizado, pois o seu dado de entrada pode ser justante o sinal da onda de pressão.
Agora tudo está pronto para fazermos uma simulação, vamos tentar reproduzir a nota lá (). Primeiro precisamos descobrir qual deve ser a velocidade de propagação das ondas () para gerar a nota em questão. Resolvendo a equação da onda ideal, obtemos que as possíveis frequência que existem na solução são , então não é possível fazer a corda vibrar apenas com uma frequência, mas quando músicos se referem a uma nota, eles realmente estão se referindo a , a primeira frequência que compõem o sinal, portanto
Assumindo , temos que . Resolvendo a equação da onda realista pelo método FTCS com os seguinte parâmetros
Parâmetros da condição inicial
Parâmetros |
Valor
|
|
|
h |
1 cm
|
Parâmetros da integração
Parâmetros |
Valor
|
k |
1/4
|
c |
880 m/s
|
|
0,01 m
|
L |
1 m
|
b |
5
|
|
|
obtemos o seguinte resultado
Solução da equação de onda ideal e realista.
Na animação acima, por questão de comparação, também foi coloca a solução de uma simulação com os mesmos parâmetros, apenas com a modificação , que seria o caso ideal (sem amortecimento e rigidez).
Realizando a análise espectral do deslocamento de um ponto próximo de , obtemos o seguinte gráfico
Espectro do deslocamento de um ponto próximo de
. Linhas pretas tracejadas representam os harmônicos.
As linhas verticais pretas e tracejadas representam as possíveis frequências da solução do caso ideal (também chamadas de harmônicos), ou seja, a primeira linha está em como era de se esperar, mas é notável que a segunda e quarta linhas possuem uma potência praticamente nula, isso ocorre porque a excitação inicial foi exatamente no meio, e as frequência correspondentes a essas linhas provém de ondas estacionário que possum um nodo em , logo elas não foram excitadas pela condição inicial. Mudando o ponto de excitação inicial, podemos ver essas frequências aparecendo. Rodando a simulação novamente, mas com , obtemos o seguinte espectro
Espectro para excitação inicial em
Para observar a influência da rigidez, a simulação foi rodada com (10 vezes maior do que o valor anterior) resultando no seguinte espectro
Espectro para
O efeito mais notável é o deslocamento para esquerda das frequência em relação as frequências que compõem o sinal no caso ideal.
Por fim, conforme descrito anteriormente, podemos gerar som com as dados da simulação, mas infelizmente essa wiki não nos permite upar arquivos de áudio. No entanto, áudio das simulações discutidas aqui podem ser encontrados no repositório do projeto ana-julia dentro da pasta "sound". Em especial, o efeito de deslocamento de frequências causado pela rigidez é bastante evidente escutando os áudios.
Bônus
Apenas por diversão, segue uma animação de um pacote gaussiano como condição inicial
Animação da solução da equação da onda com um pacote gaussiano como condição inicial.
Notas
- ↑ Perceba que não estamos operando expoentes, mas sim usando a relação entre os índices .
- ↑ A constante está presente por questão de normalização. Esse caso pode parecer um pouco estranho, dado que não é possível normalizar os cossenos e senos, pois sua integral em todo a reta não é definida, mas o que se deseja é a seguinte propriedade
que é safisfeita quando