Dois tambores diferentes podem produzir exatamente as mesmas frequências. Como isso é possível?

O som de um objeto revela informações sobre sua geometria. Mas será que podemos descobrir sua forma apenas ouvindo suas vibrações? Um problema matemático respondido em 1992 mostrou que conhecer todas as frequências naturais de um sistema pode não ser suficiente para reconstruí-lo.

Imagine dois tambores. O primeiro possui uma membrana com determinado formato geométrico. O segundo tem um contorno diferente. Agora imagine que conseguimos medir, com precisão absoluta, todas as frequências naturais de vibração desses instrumentos: a fundamental, os modos superiores e até vibrações que normalmente não distinguimos com nossos ouvidos.

Seria possível que ambos apresentassem exatamente a mesma coleção de frequências? Parece improvável, porque o formato da membrana influencia a maneira como ela vibra. Entretanto, dois tambores de formatos diferentes podem possuir exatamente o mesmo espectro de frequências naturais. E não se trata de aproximação experimental, mas de um resultado matemático rigoroso.

Por que um tambor produz som?

Quando golpeamos uma membrana, provocamos uma deformação. A tensão tende a restaurar sua posição original; devido à inércia, ela continua oscilando. As vibrações movimentam o ar e produzem ondas sonoras. Mas a membrana não vibra de qualquer maneira: possui padrões naturais, chamados modos normais de vibração.

Alguns modos são simples. Em outros, regiões vizinhas se movimentam em sentidos opostos, separadas por linhas imóveis chamadas linhas nodais. Cada modo corresponde a uma frequência natural. O conjunto dessas frequências forma o espectro de vibração.

Esse fenômeno está relacionado ao comportamento de sistemas oscilatórios, embora não deva ser confundido com o mecanismo aeroelástico discutido em A ponte que caiu com o vento — e o erro de Física que quase todo mundo repete. Em ambos os casos, a Matemática das vibrações é fundamental; os mecanismos físicos, porém, são diferentes.

A equação que descreve uma membrana vibrando

Considere uma membrana ideal, homogênea, uniformemente tensionada e com bordas fixas. Seu deslocamento vertical é representado por uma função u(x,y,t), que indica quanto cada ponto se deslocou em determinado instante. No modelo simplificado, suas vibrações obedecem à equação de ondas:

\[\frac{\partial^2u}{\partial t^2}=c^2\nabla^2u\]

O laplaciano é a soma das derivadas espaciais de segunda ordem: \(\nabla^2u=\frac{\partial^2u}{\partial x^2}+\frac{\partial^2u}{\partial y^2}\). A constante c representa a velocidade de propagação das ondas, determinada pela tensão e densidade superficial da membrana.

Procurando soluções em que espaço e tempo estejam separados, escrevemos \(u(x,y,t)=\phi(x,y)\cos(\omega t)\). A função \(\phi\) descreve o padrão espacial do modo, enquanto \(\omega\) é sua frequência angular. A substituição conduz à equação de autovalores:

\[-\nabla^2\phi=\lambda\phi\]

Nas bordas fixas, \(\phi=0\). Os autovalores \(\lambda_n\) determinam as frequências naturais: \(f_n=\frac{c\sqrt{\lambda_n}}{2\pi}\).

Observe a cadeia de relações: a geometria determina os autovalores, e estes determinam as frequências. Parece razoável imaginar que, conhecendo todas as frequências, poderíamos fazer o caminho inverso e recuperar a forma. Mas isso pressupõe que uma mesma coleção de frequências não possa corresponder a duas geometrias distintas. Será verdade?

A pergunta que desafiou os matemáticos

Em 1966, Mark Kac publicou um artigo com o título Can One Hear the Shape of a Drum? — podemos ouvir a forma de um tambor? A pergunta não era sobre reconhecer instrumentos musicais pelo timbre, mas sobre um problema preciso: conhecer todos os autovalores do laplaciano de uma região plana permite determinar sua forma de maneira única?

Esse campo é chamado de geometria espectral. Em vez de partir da geometria para calcular vibrações, partimos das vibrações para tentar reconstruir a geometria.

A descoberta de 1992

Carolyn Gordon, David Webb e Scott Wolpert demonstraram a existência de duas regiões planas com formatos diferentes, mas exatamente o mesmo espectro de autovalores, incluindo multiplicidades. O artigo recebeu um título direto: One Cannot Hear the Shape of a Drum.

Essas regiões são chamadas isoespectrais. Se construíssemos membranas ideais com esses formatos, mesmas propriedades físicas e bordas fixas, elas apresentariam as mesmas frequências naturais. Não apenas algumas: todas. O trabalho foi publicado no Bulletin of the American Mathematical Society em 1992. Consulte o artigo original.

Há uma distinção importante: possuir as mesmas frequências naturais não significa produzir gravações indistinguíveis em qualquer situação. A intensidade com que cada modo é excitado depende, por exemplo, de onde e como a membrana é golpeada. A equivalência matemática diz respeito ao espectro do modelo ideal.

Então o som não revela nada sobre a forma?

Revela, sim. O espectro contém informações geométricas importantes. A Lei de Weyl relaciona a distribuição dos autovalores à área da membrana. Se \(N(\lambda)\) conta os autovalores menores ou iguais a \(\lambda\), incluindo multiplicidades, então, para uma região plana limitada com fronteira suficientemente regular:

\[N(\lambda)\sim\frac{A}{4\pi}\lambda\]

Quando \(\lambda\) cresce indefinidamente, podemos recuperar a área por \(A=4\pi\lim_{\lambda\to\infty}\frac{N(\lambda)}{\lambda}\). Sob hipóteses apropriadas, informações espectrais mais refinadas também revelam o perímetro. Mas essas propriedades não bastam para identificar toda a forma: regiões diferentes podem ter a mesma área, o mesmo perímetro e o mesmo espectro.

Quando os dados não determinam uma única realidade

Imagine um cientista tentando descobrir a estrutura de um objeto sem observar diretamente seu interior. Ele realiza medições externas e utiliza um modelo matemático para reconstruir o que não vê. Essa abordagem aparece nos chamados problemas inversos da Física e da Engenharia: conhecemos os efeitos e procuramos suas causas.

Mas e se duas estruturas diferentes produzirem os mesmos dados? Mesmo medições perfeitas podem não permitir identificação única. Uma dificuldade é o ruído experimental; outra, muito mais fundamental, é a não unicidade matemática. O exemplo dos tambores pertence à segunda categoria.

Essa reflexão dialoga com Por que o arco-íris aparece sempre no mesmo ângulo?, que investiga como observações físicas podem revelar estruturas matemáticas.

Conhecer todas as medidas significa conhecer o objeto?

Imagine uma sequência infinita de números associada a determinado sistema. Parece natural acreditar que tanta informação o determine completamente. Mas a geometria espectral mostra que não necessariamente: duas estruturas diferentes podem compartilhar a mesma sequência de autovalores.

O problema não está apenas na quantidade de dados. Está na relação entre os dados e aquilo que queremos identificar. Algo semelhante aparece em Todo mapa distorce o mundo. E a Matemática prova que não existe solução perfeita. Na cartografia, não conseguimos preservar todas as propriedades geométricas da esfera no plano. Nos tambores, certas propriedades espectrais não determinam uma geometria única.

A pergunta que permanece

Durante décadas, pareceu razoável acreditar que todas as frequências naturais de uma membrana bastariam para identificar sua forma. A Matemática demonstrou o contrário. Isso não torna as frequências inúteis: elas continuam revelando informações relevantes, mas não necessariamente suficientes.

Talvez essa seja uma das lições mais profundas dos problemas inversos. Nem sempre precisamos de instrumentos melhores. Às vezes, precisamos reconhecer que a informação disponível não permite uma resposta única.

Se duas estruturas diferentes podem produzir exatamente os mesmos dados, como ter certeza de que aquilo que reconstruímos a partir de nossas observações corresponde à única realidade possível?

Livro recomendado

A música dos números primos, de Marcus du Sautoy (Zahar), investiga a história dos números primos e da hipótese de Riemann, explorando conexões entre números, padrões e harmonia matemática. Consultar edição brasileira na Amazon Brasil (link afiliado; disponibilidade e preço sujeitos a confirmação).

Referências: Kac, M. (1966), Can One Hear the Shape of a Drum?; Gordon, C., Webb, D., Wolpert, S. (1992), One Cannot Hear the Shape of a Drum; Lei de Weyl para o laplaciano de Dirichlet.