Autovalores do Laplaciano - Departamento de Matemática - UFMG
Autovalores do Laplaciano - Departamento de Matemática - UFMG
Autovalores do Laplaciano - Departamento de Matemática - UFMG
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Rodney Josué Biezuner 7<br />
espectros <strong>de</strong> Dirichlet e <strong>de</strong> Neumann. Os contra-exemplos que eles obtiveram têm o formato <strong>de</strong> uma região<br />
poligonal, não-convexa, e o méto<strong>do</strong> permite a obtenção <strong>de</strong> uma larga coleção <strong>de</strong> contra-exemplos. Os<br />
primeiros 54 autovalores <strong>do</strong> primeiro contra-exemplo <strong>de</strong> Gor<strong>do</strong>n, Webb e Wolpert, que ficou conheci<strong>do</strong> como<br />
os tambores GWW, foram encontra<strong>do</strong>s experimentalmente por Sridhar e Kudrolli [Sridhar-Kudrolli]; eles<br />
construíram cavida<strong>de</strong>s <strong>de</strong> microondas com o formato da região poligonal e mediram ressonâncias em ondas<br />
magnéticas transversais, que obe<strong>de</strong>cem a equação <strong>de</strong> Helmoltz. Posteriormente, vários autores calcularam<br />
autovalores e autofunções <strong>do</strong>s tambores GWW através <strong>de</strong> méto<strong>do</strong>s numéricos; veja [Driscoll], [Heuveline] e<br />
as referências nestes artigos.<br />
Uma <strong>de</strong>monstração mais simples e versátil <strong>do</strong> resulta<strong>do</strong> <strong>de</strong> Gor<strong>do</strong>n, Webb e Wolpert, foi dada por Berard<br />
[Berard2], usan<strong>do</strong> a chamada técnica <strong>de</strong> transplantação <strong>de</strong> autofunções, introduzida pelo próprio [Berard1].<br />
Os <strong>do</strong>mínios são construí<strong>do</strong>s a partir <strong>de</strong> translações, rotações e reflexões <strong>de</strong> uma única forma, tal como um<br />
triângulo, sem sobreposições. Dada uma autofunção em um <strong>do</strong>mínio, po<strong>de</strong>-se prescrever uma função sobre<br />
o outro <strong>do</strong>mínio cujos valores sobre cada parte são combinações lineares <strong>do</strong>s valores da autofunção sobre<br />
várias das partes <strong>do</strong> primeiro <strong>do</strong>mínio. As combinações são escolhidas <strong>de</strong> mo<strong>do</strong> a satisfazer as condições<br />
<strong>de</strong> fronteira e igualar valores da função e suas <strong>de</strong>rivadas nas interfaces entre as partes. O resulta<strong>do</strong> é uma<br />
autofunção na segunda região ten<strong>do</strong> o mesmo autovalor. Para completar a prova <strong>de</strong> isospectralida<strong>de</strong>, basta<br />
mostrar que o procedimento é invertível. Usan<strong>do</strong> esta técnica, Chapman [Chapman] obteve alguns exemplos<br />
que po<strong>de</strong>m ser explica<strong>do</strong>s em nível elementar através <strong>de</strong> <strong>do</strong>braduras <strong>de</strong> papel e até mesmo um exemplo on<strong>de</strong><br />
os autovalores <strong>do</strong> laplaciano po<strong>de</strong>m ser calcula<strong>do</strong>s explicitamente (este exemplo consiste <strong>de</strong> <strong>do</strong>is <strong>do</strong>mínios<br />
cada um com duas componentes conexas, um retângulo e um triângulo isósceles reto; veja Exemplo 4 na<br />
próxima seção).<br />
To<strong>do</strong>s os contra-exemplos da<strong>do</strong>s nas referências acima são <strong>de</strong> <strong>do</strong>mínios não-convexos ou com quinas.<br />
Watanabe ([Wat1], [Wat2]) <strong>de</strong>terminou a existência <strong>de</strong> uma classe não-enumerável <strong>de</strong> <strong>do</strong>mínios suaves que<br />
não é um disco (incluin<strong>do</strong> exemplos convexos e não-convexos) que são <strong>de</strong>termina<strong>do</strong>s pelos espectros <strong>de</strong> Dirichlet<br />
ou <strong>de</strong> Neumann <strong>do</strong> laplaciano. Outros exemplos <strong>de</strong> <strong>do</strong>mínios <strong>de</strong>termina<strong>do</strong>s pelo espectro <strong>do</strong> laplaciano,<br />
com a proprieda<strong>de</strong> adicional <strong>de</strong> serem analíticos reais e simétricos com respeito a reflexões em relação a um<br />
eixo horizontal e a um eixo vertical, foram da<strong>do</strong>s por Zelditch [Zelditch]. A i<strong>de</strong>ntificação <strong>de</strong> todas as classes<br />
<strong>de</strong> <strong>do</strong>mínios que são <strong>de</strong>termina<strong>do</strong>s pelo espectro <strong>do</strong> laplaciano é um problema em aberto.<br />
1.2 Exemplos<br />
Exemplo 1. Os autovalores <strong>do</strong> laplaciano para o problema <strong>de</strong> Dirichlet no caso unidimensional<br />
−u ′′ = λu em [0, L] ,<br />
são<br />
As autofunções correspon<strong>de</strong>ntes são<br />
<br />
u (0) = u (L) = 0,<br />
λn = n2π2 , n ∈ N.<br />
L2 un (x) = sen nπx<br />
L .<br />
Exemplo 2. Os autovalores <strong>do</strong> laplaciano para o problema <strong>de</strong> Dirichlet no retângulo R = [0, a] × [0, b] ⊂ R 2<br />
são<br />
− (uxx + uyy) = λu em R,<br />
u = 0 sobre ∂R,<br />
λnm = π 2<br />
2 n m2<br />
+<br />
a2 b2 <br />
, n, m ∈ N.