Vous êtes sur la page 1sur 85

Calculo Numerico de Frequencias de Ressonancia e Modos de

Vibracao Recorrendo ao Metodo das Soluc oes Fundamentais


Antunes, Pedro R.S.
Neste trabalho estudamos a aplicacao do Metodo das Solucoes Fundamentais (MFS) para o
calculo de frequencias de ressonancia e modos de vibracao associados a problemas de difraccao
ac ustica. Trata-se de um metodo sem malha que ja foi aplicado ao calculo de frequencias
proprias de domnios com geometria simples e condicoes de fronteira de Dirichlet (cf. Kara-
georghis 2001). Neste trabalho mostramos que uma escolha particular dos pontos-fonteper-
mite obter excelentes resultados para uma classe de domnios bastante geral. Sao consideradas
simulacoes com outro tipo de condicoes de fronteira; em particular e efectuado um estudo
numerico com domnios poligonais que permite sugerir conjecturas para algumas propriedades
dos valores proprios do operador de Laplace de regioes planares com condicoes de fronteira de
Dirichlet e de Neumann.

E ainda considerado o calculo de frequencias de ressonancia para o
problema exterior bem como algumas simula coes numericas.
Palavras-Chave: frequencias proprias, modos de vibracao, ressonancia, ondas ac usticas, metodo
das solucoes fundamentais, equacao de Helmholtz
i
Numerical Calculation of Eigenfrequencies and Eigenmodes
Using the Method of Fundamental Solutions
Antunes, Pedro R.S.
In this work we study the application of the Method of Fundamental Solutions (MFS) for
the calculation of eigenfrequencies and eigenmodes associated to wave scattering problems.
This meshfree method has already been applied to the eigenfrequencies calculation of simple
geometry domains with Dirichlet boundary conditions (cf. Karageorghis 2001). Here we show
that a particular choice of point-sources can lead to very good results for a general class of
domains. Simulations with other boundary conditions are also considered. In particular, we
present an extensive numerical study with polygonal domains which allows to establish several
conjectures for some properties of the Laplacian eigenvalues of planar regions with Dirichlet
and Neumann boundary conditions. The calculation of resonance frequencies for the exterior
problem is also addressed and numerical simulations are presented.
Keywords: eigenfrequencies, eigenmodes, resonance, acoustic waves, method of fundamental
solutions, Helmholtz equation
ii
Agradecimentos
Antes mais, gostaria de apresentar os meus agradecimentos a quem mais directamente con-
tribuiu para a realizacao deste trabalho.
Assim, e em primeiro lugar, estou profundamente grato ao Professor Doutor Carlos Alves
por ter aceite ser orientador da minha tese de Mestrado, bem como do meu Trabalho Final de
Curso. Reconhecidamente lhe agradeco toda a atencao que me dispensou no esclarecimento de
d uvidas e orientacoes dadas.
A minha gratidao e tambem extensiva ao Professor Doutor Pedro Freitas por ter manifes-
tado interesse no meu trabalho e pelos esclarecimentos que teve oportunidade de me prestar.
Devo tambem uma palavra reconhecida aos meus pais, ao meu irmao, `a minha namorada
e a todos os meus amigos e colegas pelo apoio incondicional dado. A todos dedico o presente
trabalho.
iii
Conte udo
1 Introducao 1
2 Problema Interior 4
2.1 A equacao de Helmholtz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.2 Valores proprios e funcoes proprias do operador de Laplace . . . . . . . . . . . 6
2.2.1 Resultados gerais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.2.2 Domnios nodais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.2.3 Condicao de fronteira de Neumann . . . . . . . . . . . . . . . . . . . . . 9
2.3 Alguns teoremas e conjecturas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
3 Aproximacao Numerica por um Metodo de Solucoes Fundamentais 14
3.1 Aproximacao das frequencias de ressonancia . . . . . . . . . . . . . . . . . . . . 14
3.1.1 Justicacao teorica do metodo . . . . . . . . . . . . . . . . . . . . . . . 14
3.1.2 Algoritmo para a escolha dos pontos-fonte . . . . . . . . . . . . . . . . . 18
3.1.3 Validacao do metodo numerico . . . . . . . . . . . . . . . . . . . . . . . 20
3.1.4 Aplicacao a domnios nao triviais . . . . . . . . . . . . . . . . . . . . . . 23
3.2 Aproximacao das funcoes proprias . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.2.1 Metodo para o calculo das funcoes proprias . . . . . . . . . . . . . . . . 27
3.2.2 Determinacao da multiplicidade dos valores proprios . . . . . . . . . . . 30
3.3 Testes de convergencia do metodo numerico . . . . . . . . . . . . . . . . . . . . 35
3.4 Aplicacao a outros tipos de condicoes de fronteira . . . . . . . . . . . . . . . . . 39
3.4.1 Aplicacao a condicoes de Neumann . . . . . . . . . . . . . . . . . . . . . 39
3.4.2 Funcoes proprias com condicoes de fronteira de Neumann . . . . . . . . 40
3.4.3 Aplicacao a condicoes de fronteira mistas . . . . . . . . . . . . . . . . . 41
4 Simulacoes Numericas 42
4.1 Minimizacao de valores proprios . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
4.2 Simulacoes com polgonos, considerando condicoes de fronteira de Dirichlet . . 46
4.3 Simulacoes com triangulos, considerando condicoes de fronteira de Neumann . 54
4.4 Estimativas para polgonos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
4.4.1 Estimativas com dois termos . . . . . . . . . . . . . . . . . . . . . . . . 57
4.4.2 Estimativas com um termo . . . . . . . . . . . . . . . . . . . . . . . . . 61
5 Problema Exterior 62
5.1 Distribuicao dos polos de ressonancia . . . . . . . . . . . . . . . . . . . . . . . . 62
5.2 Aplicacao do metodo numerico ao problema exterior . . . . . . . . . . . . . . . 64
5.3 Resultados numericos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
5.3.1 condicoes de fronteira de Dirichlet . . . . . . . . . . . . . . . . . . . . . 64
5.3.2 condicoes de fronteira de Neumann . . . . . . . . . . . . . . . . . . . . . 70
6 Conclusoes e Perspectivas 73
iv
Lista de Figuras
1 graco da funcao Log(h(w)) para frequencias no intervalo (0,5). . . . . . . . . . 19
2 gracos da funcao Log(h(w)) considerando 8, 15, 20 e 25 pontos de colocacao
(respectivamente a vermelho, violeta, verde e azul). . . . . . . . . . . . . . . . . 20
3 varios domnios de discretizacao considerando os pontos de colocacao represen-
tados. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
4 pontos x
i
e y
i
no caso da bola de raio unitario e do quadrado de lado unitario,
com = 0.4. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
5 graco de Log(Det(h(w))) considerando 20, 30 e 40 pontos de colocacao no caso
da bola de raio unitario e do quadrado de lado unitario. . . . . . . . . . . . . . 22
6 domnios nodais da funcao propria associada `a segunda frequencia de ressonancia
do quadrado e respectiva linha nodal (c=1.3). . . . . . . . . . . . . . . . . . . . 23
7 domnios obtidos quando c = 1, c = 1.3, c = 1.8 e c = 600 (respectivamente). . 23
8 fronteiras dos domnios
1
,
2
e
3
(respectivamente). . . . . . . . . . . . . . . 24
9 pontos de colocacao e pontos-fonte dos domnios
1
,
2
e
3
(respectivamente)
com = 0.4. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
10 pontos de colocacao e pontos-fonte obtidos com = 0, 0.5 e 0.9 (respectivemente). 25
11 erro absoluto em func ao do valor de [0, 1[. . . . . . . . . . . . . . . . . . . . 26
12 pontos considerados para obter as funcoes proprias dos domnio
1
,
2
e
3
. . 27
13 gracos da aproximacao da funcao propria associada ao segundo valor proprio
e do erro considerando = 0.4. . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
14 gracos do erro da funcao propria associada ao segundo valor proprio con-
siderando perturbac oes aos valores proprios (respectivamente) de 10
5
, 10
4
e
10
3
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
15 funcoes caractersticas dos domnios
1
,
2
e
3
. . . . . . . . . . . . . . . . . . 29
16 funcoes proprias associadas `as 21
a
,...,24
a
frequencias de ressonancia de
1
. . . 30
17 domnios nodais das funcoes proprias associadas `as 21
a
,...,24
a
frequencias de
ressonancia do domnio
1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
18 funcoes proprias associadas `as 21
a
,...,24
a
frequencias de ressonancia do domnio

2
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
19 domnios nodais das funcoes proprias associadas `as 21
a
,...,24
a
frequencias de
ressonancia do domnio
2
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
20 funcoes proprias associadas `as 21
a
,...,24
a
frequencias de ressonancia do domnio

3
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
21 domnios nodais das funcoes proprias associadas `as 21
a
,...,24
a
frequencias de
ressonancia do domnio
3
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
22 multiplicidade um da segunda frequencia de ressonancia. . . . . . . . . . . . . . 34
23 multiplicidade dois da terceira frequencia de ressonancia. . . . . . . . . . . . . . 34
24 multiplicidade dois da quarta frequencia de resson ancia. . . . . . . . . . . . . . 34
25 valores de [(x)[ sobre
1
para as duas primeiras funcoes proprias u
1
e u
2
(respectivamente). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
26 valores de (x) sobre
2
para as duas primeiras funcoes proprias u
1
e u
2
(re-
spectivamente). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
27 gracos da aproximac ao da funcao propria e do erro considerando = 0.4. . . 41
v
28 gracos do erro da funcao propria considerando perturbacoes aos valores proprios
(respectivamente) de 10
5
, 10
4
e 10
3
. . . . . . . . . . . . . . . . . . . . . . . 41
29 funcoes proprias associadas `as primeiras nove frequencias de ressonancia do
domnio
4
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
30 domnios nodais das funcoes proprias associadas `as primeiras nove frequencias
de ressonancia do domnio
4
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
31 localizacao dos pontos x
i
e y
i
e domnios para os quais e a primeira frequencia
de ressonancia. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
32 domnios nodais de g
I
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
33 primeiro valor proprio dos polgonos P
n
R
, em funcao do n umero de lados. . . . . 47
34 quocientes

2

1
para os primeiros sete n-polgonos regulares. . . . . . . . . . . . . 48
35 malha de pontos para obter o terceiro vertice de cada triangulo. . . . . . . . . . 49
36 gracos de
1
e do permetro (respectivamente) sobre os triangulos da malha
considerada. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
37 curvas de nvel de
1
e do permetro (respectivamente) sobre os triangulos da
malha considerada. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
38 gracos de
2
e de
3
(respectivamente) sobre os triangulos da malha considerada. 51
39 curvas de nvel de
2
e de
3
(respectivamente) sobre os triangulos da malha
considerada. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
40 gracos de

2

1
e respectivas curvas de nvel. . . . . . . . . . . . . . . . . . . . . 52
41 gracos do permetro, de
1
e
2
para alguns triangulos isosceles. . . . . . . . . 52
42 gracos de
2
,
3
,...,
8
para os triangulos isosceles. . . . . . . . . . . . . . . . 53
43

2

1
para os triangulos isosceles. . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
44 primeiro valor proprio em funcao do permetro no caso dos triangulos e dos
quadrilateros. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
45 primeiro valor proprio no caso dos pentagonos, hexagonos, heptagonos e octogonos. 54
46 malha que permite obter o terceiro vertice de cada um dos triangulos considerados. 55
47 gracos de
1
,
2
e
3
para os triangulos considerados. . . . . . . . . . . . . . 55
48 curvas de nvel dos gracos de
1
,
2
e
3
para os triangulos considerados. . . 56
49 gracos de

2

1
sobre os triangulos considerados. . . . . . . . . . . . . . . . . . . 56
50 gracos de

3
+
2

1
sobre os triangulos considerados. . . . . . . . . . . . . . . . . 57
51 gracos dos valores de
1
como funcao do permetro e as estimativas que obtive-
mos para triangulos e para quadrilateros. . . . . . . . . . . . . . . . . . . . . . . 60
52 gracos dos valores de
1
como funcao do permetro e as estimativas que obtive-
mos para triangulos e para quadrilateros. . . . . . . . . . . . . . . . . . . . . . . 61
53 exemplos de dois domnios captivos e um domnios nao captivo (respectivamente). 63
54 pontos de colocacao (a vermelho) e pontos-fonte (a azul) para os domnios 1, 2
e 3. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
55 distribuicao dos polos de ressonancia do disco de raio unitario com condicoes de
fronteira de Dirichlet. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
56 parte real, parte imaginaria e modulo de funcoes u(x, y) associadas a dois polos
de ressonancia do disco de raio unitario. . . . . . . . . . . . . . . . . . . . . . . 66
vi
57 domnios nodais associados `as parte real e imaginaria das funcoes u(x, y) de
dois polos de resson ancia do disco de raio unitario e graco de densidade do
modulo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
58 fronteira do domnio 1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
59 parte real, parte imaginaria e modulo de funcoes u(x, y) associada a dois polos
de ressonancia do domnio 1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
60 domnios nodais associados `as parte real e imaginaria das funcoes u(x, y) asso-
ciadas a dois polos de ressonancia do domnio
2
e graco de densidade do
modulo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
61 fronteira do domnio 2. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
62 parte real, parte imaginaria e modulo de funcoes u(x, y) associadas a dois polos
de ressonancia do domnio 2. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
63 domnios nodais associados `as parte real e imaginaria de funcoes u(x, y) asso-
ciadas a dois polos de ressonancia do domnio 2 e graco de densidade do
modulo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
64 fronteira do domnio 3. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
65 parte real, parte imaginaria e modulo de funcoes u(x, y) associadas a dois polos
de ressonancia do domnio 3. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
66 domnios nodais associados `as parte real e imaginaria de funcoes u(x, y) asso-
ciadas a dois polos de ressonancia do domnio 3 e graco de densidade do
modulo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
67 parte real, parte imaginaria e modulo de funcoes u(x, y) associadas a dois polos
de ressonancia do disco de raio unitario. . . . . . . . . . . . . . . . . . . . . . . 72
68 domnios nodais associados `as parte real e imaginaria de funcoes u(x, y) as-
sociadas a dois polos de ressonancia do disco de raio unitario e graco de
densidade do modulo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
vii
1 Introducao
O desenvolvimento de metodos numericos para o estudo de problemas em equacoes com
derivadas parciais e um topico prioritario de investiga cao pelas suas aplicacoes directas em
problemas de engenharia. Nas ultimas duas decadas, marcadas pelo desenvolvimento com-
putacional, observou-se um crescimento da aplicacao de novos metodos numericos, entre os
quais, os metodos sem malha (meshless/meshfree methods). Nestes metodos, nao ha necessi-
dade de efectuar uma malhagem do domnio ou da sua fronteira, como acontece em metodos
classicos (diferencas nitas, elementos nitos, elementos de fronteira). Esta particularidade
e especialmente atractiva do ponto de vista da implementacao em domnios com geometrias
complicadas, em que grande parte do esforco computacional inerente aos metodos classicos
consiste precisamente na construcao da malha.
Neste trabalho vamos considerar um metodo sem malha - o Metodo das Solucoes Fundamen-
tais (MFS) - e efectuamos um estudo da aplicabilidade deste metodo ao calculo numerico das
frequencias de ressonancia e respectivas funcoes proprias para os problemas interior/exterior
no caso ac ustico. Estes problemas modelam fenomenos fsicos de ressonancia e ocorrem em
diversos problemas de ac ustica, nomeadamente no estudo da vibracao da membrana de um
tambor.
Este problema pode ser formulado matematicamente como um problema de valores proprios
generalizados, aplicado ao operador de Laplace. As frequencias de ressonancia ou frequencias
proprias correspondem `as frequencias para as quais o operador de Helmholtz nao e invertvel.
Para estes valores nao ha unicidade de solucao do problema de valores na fronteira associado
`a equacao de Helmholtz. As solucoes nao triviais do problema sao designadas funcoes proprias
ou modos proprios. No caso do problema interior, as frequencias de ressonancia formam uma
sucessao cujo limite e e as funcoes proprias podem ser escolhidas de forma a serem funcoes
reais. No caso do problema exterior, as frequencias de ressonancia sao habitualmente denomi-
dadas polos de ressonancia e sao valores complexos.
A determinacao das frequencias proprias e respectivas funcoes proprias e um problema ele-
mentar no caso de alguns domnios com geometrias simples, como por exemplo rectangulos ou
discos. No entanto, para domnios com geometrias mais complexas e necessaria a aplicacao de
um metodo numerico.
A resolucao numerica de problemas de valores proprios e funcoes proprias recorrendo a
metodos sem malha e recente. Em 2002, J.T. Chen, M.H. Chang, K.H. Chen e I.L. Chen
abordaram estes problemas, recorrendo a um metodo com funcoes base radiais no caso bidi-
mensional (cf. [22]) e tridimensional (cf. [23]). Em 2003 Betcke e Trefethen, baseados no metodo
introduzido nos anos sessenta por Fox, Henrici e Moler (cf. [33]), desenvolveram um metodo
bastante mais robusto que o original e que permite resultados numericos muito bons para uma
classe de domnios bastante geral (cf. [19]). Em 2000, A. Karageorghis aplicou o Metodo das
Solucoes Fundamentais para o calculo das frequencias de ressonancia de domnios bidimensio-
nais com geometria simples. (cf. [44])
1
Neste trabalho estudamos a aplicacao do MFS a problemas de valores proprios para o ope-
rador Laplace-Dirichlet e Laplace-Neumann, para o caso de domnios limitados. Esse trabalho
foi objecto de apresenta cao em poster no International Workshop on MeshFree Methods, em
2003, tendo sido aceite para apresenta cao como Keynote Lecture (de C. J. S. Alves) na In-
ternational Conference on Computational Engineering Sciences ICCES2004 (Madeira) e na
International Conference on Computational Methods ICCM2004 (Singapura). A versao com-
pleta do trabalho encontra-se actualmente submetida para publicacao em revista internacional
(cf. [7]). O metodo baseia-se numa escolha adequada dos pontos fonte do MFS, sendo uma ex-
tensao do trabalho de Karageorghis [44], aplicavel a geometrias mais complicadas e a condicoes
de fronteira mais gerais. Para alem disso, e ainda apresentado um metodo para o calculo das
funcoes proprias.
Este metodo foi utilizado sistematicamente para domnios poligonais com vista `a obtencao
de estimativas teoricas para os valores proprios. Os resultados obtidos vao ser submetidos para
publicacao (cf. [13])
Organizacao do trabalho
No captulo seguinte vamos apresentar o problema que pretendemos resolver, bem como
algumas denicoes e resultados que caracterizam as frequencias de ressonancia e respectivas
funcoes proprias com condicoes de fronteira de Dirichlet e de Neumann no caso de um pro-
blema interior. Terminamos o captulo com algumas conjecturas que motivarao as simula coes
numericas levadas a cabo no captulo 4.
No terceiro captulo abordamos as questoes relativas ao metodo numerico usado. Comeca-
mos por apresentar uma justicacao teorica para o MSF. Seguidamente descrevemos os algo-
ritmos para a escolha dos pontos de colocacao, dos pontos-fonte e para o calculo das funcoes
proprias. O metodo e depois validado com a aplicacao a domnios dos quais se conhecem
os valores exactos das frequencias de ressonancia e respectivas funcoes proprias, considerando
condicoes de fronteira de Dirichlet. De seguida aplicaremos o metodo para a resolucao do pro-
blema de valores proprios em domnios nao triviais. Passaremos depois a questoes relacionadas
com a convergencia do metodo numerico. Recorrendo a uma estimativa a posteriori obtida
por Fox, Henrici e Moler (cf. [33]) e a resultados de densidade obtidos por Alves (cf. [4]) ire-
mos demonstrar a convergencia do metodo para a determinacao das frequencias de ressonancia
e respectivas funcoes proprias, com condicoes de fronteira de Dirichlet. Seguidamente iremos
apresentar e validar o metodo numerico de forma a abordar o problema considerando condicoes
de fronteira de Neumann. Terminamos o captulo com a aplicacao a domnios nao triviais com
condicoes de fronteira mistas.
No quarto captulo levamos a cabo um n umero signicativo de simula coes numericas que
permitirao reforcar algumas conjecturas conhecidas, bem como sugerir outras conjecturas rela-
tivamente a propriedades dos valores proprios em domnios poligonais, considerando condicoes
2
de fronteira de Dirichlet e de Neumann. Terminamos o captulo com um estudo numerico de
possveis estimativas para o primeiro valor proprio de domnios planares, com condicoes de
fronteira de Dirichlet.
No quinto e ultimo captulo faremos uma abordagem `a possibilidade de aplicar o MFS
para determinar os polos de ressonancia e respectivas funcoes proprias de domnios exteriores,
considerando condicoes de fronteira de Dirichlet e de Neumann em domnios captivos e nao
captivos.
3
2 Problema Interior
2.1 A equacao de Helmholtz
Vamos considerar a propagacao, a velocidade constante, de uma onda ac ustica com frequencia
w num meio isotropico e homogeneo em R
d
. O movimento da onda pode ser descrito por
um potencial de velocidades V (x, t) a partir do qual podemos obter o campo de velocidades e
pressao, dados respectivamente por
v =
1

V, P = P
0
V
t
onde P
0
e uma pressao inicial. Usando a teoria linearizada das ondas, o potencial de velocidades
V verica a equacao das ondas

2
V
t
2
= c
2
V
onde c e a velocidade de propagacao. No caso das ondas ac usticas harmonicas no tempo
V (x, t) = u(x) e
iwt
, (w > 0)
como
V
t
= iwV
entao
P = P
0
(iwV ) = iwP
0
u(x) e
iwt
.
Alem disso a funcao u(x) satisfaz a equacao de Helmholtz
u +k
2
u = 0 (2.1)
onde k =
w
c
e o n umero de onda. A equacao de Helmholtz descreve o comportamento da onda
no interior do domnio (interior ou exterior).
Teorema 2.1. O problema de valores na fronteira associado `a equacao de Helmholtz ca bem
posto impondo condicoes na fronteira (Dirichlet, Neumann ou Robin), no caso de um domnio
limitado (exceptuando uma quantidade numeravel de frequencias reais). No caso do problema
exterior, se imposermos a condicao de radiacao de Sommerfeld
u
r
iku = o
_
1
r
d1
2
_
quando r = [x[
o problema de condicoes de fronteira ca bem posto (exceptuando uma quantidade numeravel
de frequencias complexas).
Demonstracao: Ver [24]

4
Neste trabalho iremos concentrar-nos no problema de determinar as frequencias para as
quais o problema nao esta bem posto. Essas frequencias, para as quais nao ha unicidade de
solucao, sao denominadas frequencias de ressonancia.

E possvel conhecer as frequencias de res-
sonancia atraves de expressao analtica para domnios de geometria simples (como por exemplo
domnios circulares ou rectangulares), mas a sua determinacao para geometrias mais complexas
necessita de um algoritmo numerico. Neste trabalho propomos calcular essas frequencias u-
sando o Metodo das Solucoes Fundamentais. Esse metodo, conceptualmente semelhante ao
Metodo dos Elementos de Fronteira baseia-se numa representa cao da solucao atraves da solucao
fundamental da equacao de Helmholtz
1
. De acordo com o Teorema de Malgrange-Ehrenpreis
(eg. [75]), para todo o operador (nao nulo) diferencial linear L com coecientes constantes,
existe uma solucao fundamental da equacao LU = 0. Este teorema foi obtido de forma inde-
pendente por Malgrange (cf. [56]) e Ehrenpreis (cf. [28]). No caso bidimensional as solucoes
fundamentais da equacao de Helmholtz sao no caso em que k e positivo,
(x) =
i
4
H
(1)
0
(k [x[)
ou

(x) =
i
4
H
(2)
0
(k [x[)
onde H
(1)
0
e H
(2)
0
sao funcoes de Hankel dadas por
H
(1)
0
(r) = J
0
(r) +i Y
0
(r)
onde r =
_
x
2
+y
2
e
H
(2)
0
= H
(1)
0
Normalmente usamos pois verica a condicao de radiacao de Sommerfeld.
1
Dado um operador diferencial linear L dizemos que uma func ao e solucao fundamental da equac ao LU = 0,
se tivermos L = , onde e o delta de Dirac
5
2.2 Valores proprios e func oes proprias do operador de Laplace
2.2.1 Resultados gerais
Seja R
2
um domnio limitado e com fronteira sucientemente regular (por exemplo C
2
).
Vamos estudar funcoes u(x) que veriquem a equacao de Helmholtz em
u(x) +k
2
u(x) = 0
onde e o operador de Laplace (i.e. =

2
i=1

2
x
2
i
) para varios tipos de condicoes de fronteira:
condicoes de Dirichlet, u(x) = f(x) em
condicoes de Neumann,
u
n
(x) = g(x) em
condicoes de Robin ou mistas,
u
n
(x) +a(x)u(x) = h(x) em
onde f, g, h e a sao funcoes reais de variavel real dadas. A expressao
u
n
n.u denota a
derivada direccional de u na direccao de n, a normal unitaria exterior a .
Consideremos o problema de Dirichlet (analogamente de Neumann ou de Robin) para a
equacao de Helmholtz:
_
u +k
2
u = 0 em ,
u = g sobre ,
(2.2)
De acordo com o Teorema (2.1) o problema de determinar uma funcao u satisfazendo (2.2)
esta bem posto, excepto para uma quantidade numeravel de frequencias. Estas frequencias sao
denominadas frequencias de ressonancia e correspondem a frequencias para as quais nao existe
solucao do problema (2.2) nao homogeneo.
Teorema 2.2. O operador de Helmholtz
_
+k
2
I
_
e invertvel sse k nao e uma frequencia de
ressonancia do domnio .
Suponhamos agora g 0. Obtemos o problema
_
u +k
2
u = 0 em
u = 0 sobre
(2.3)
Vejamos agora que este problema pode ser encarado como um problema de valores proprios e
funcoes proprias do operador de Laplace.
Denicao 2.1. Diz-se que C e um valor proprio (considerando condicoes de fronteira de
Dirichlet) do operador , se existe uma funcao (possivelmente complexa) nao identicamente
nula u C
2
() C
0
(

) (`a qual chamamos funcao propria) tal que


_
u = u em
u = 0 sobre
(2.4)
6
Uma observacao trivial e que se > 0 entao, tomando = k
2
obtemos imediatamente que os
problemas (2.3) e (2.4) sao equivalentes. Entao, as solucoes nao triviais de (2.3) (que vericam a
equacao de Helmholtz com condicoes de fronteira homogeneas) sao, de facto, funcoes proprias
do operador em . Vamos agora referir alguns resultados classicos que caracterizam
algumas propriedades dos valores proprios e respectivas funcoes proprias. Vejamos antes de
mais o seguinte lema:
Lema 2.1. Sejam u, v C
2
()C
0
(

) funcoes (possivelmente complexas) soluc oes de w =


w em que vericam as condic oes de fronteira (de Dirichlet, de Neumann ou de Robin) nulas,
entao temos
_

(uv +uv)dx = 0 (2.5)


Demonstracao: Aplicacao directa das hipoteses e da Segunda Formula de Green.

Vejamos agora a seguinte denicao:


Denicao 2.2. Diz-se que um valor proprio tem multiplicidade geometrica m se existem m
funcoes proprias linearmente independentes, o que e equivalente a armar que o espaco proprio
associado a tem dimensao m.
Podemos facilmente obter o seguinte resultado:
Teorema 2.3. Os valores proprios e func oes proprias do problema (2.2) tem as seguintes
propriedades:
1. Todos os valores proprios sao reais.
2. Todas as funcoes proprias podem ser escolhidas de forma a serem funcoes reais de variavel
real.
3. Funcoes proprias associadas a valores proprios distintos sao ortogonais (relativamente
ao produto interno usual de L
2
)
4. Todas as funcoes proprias podem ser escolhidas de forma a serem ortogonais (os valores
proprios com multiplicidade irao ter varias funcoes proprias).
Demonstracao: Ver [25] ou [69].

Podemos agora caracterizar os valores proprios para cada uma das condicoes de fronteira
consideradas
Teorema 2.4.
1. Todos os valores proprios (considerando condicoes de fronteira de Dirichlet) sao estrita-
mente positivos.
7
2. Todos os valores proprios (considerando condicoes de fronteira de Neumann) sao nao-
negativos (0 e sempre um valor proprio).
3. Se a(x) 0 entao todos os valores proprios (considerando condicoes de fronteira de
Robin) sao nao-negativos. Se a(x) for estritamente positivo, entao todos os valores sao
positivos.
Demonstracao: Ver [25], [69] ou [51].

2.2.2 Domnios nodais


Sejam u
i
, i = 1, 2, ... funcoes proprias associadas aos valores proprios
i
. Vamos designar por
linha nodal de u
i
o conjunto N(u
i
) = x : u
i
= 0 e por domnios nodais as componentes
conexas de N(u
i
).
Teorema 2.5. (dos domnios nodais de Courant) O n umero de domnios nodais da funcao u
i
e nao superior a i, i = 1, 2, ...
Demonstracao: Ver [25]

Este teorema e valido mesmo no caso em que a multiplicidade de um valor proprio e superior
a 1. Suponhamos que
k
=
k+1
... =
k+l
, entao u tem no maximo k valores nodais.
Corolario 2.1. A primeira funcao propria u
1
associada ao valor proprio
1
tem exactamente
um domnio nodal.
Demonstracao

E consequencia imediata do Teorema (2.5)

Corolario 2.2. O primeiro valor proprio


1
tem multiplicidade 1, isto e,
1
,=
2
.
Demonstracao: Suponhamos que
1
=
2
, entao pelo corolario (2.1), u
2
tem apenas um domnio
nodal e portanto nao muda de sinal em . Entao
_

u
1
u
2
dx ,= 0
pois u
i
, i = 1, 2 nao e identicamente nula em . Sabemos que as funcoes proprias sao ortogonais
relativamente ao produto interno de L
2
() (eg. [25]), logo
(u
1
, u
2
) =
_

u
1
u
2
dx = 0
8
e portanto chegamos a uma contradicao, pelo que
1
,=
2
.

Corolario 2.3. Para n 2, o n umero de domnios nodais (#DN) associados `a n-esima funcao
propria u
n
(x) (correspondente ao n-esimo valor proprio, contando com as multiplicidades)
verica 2 #DN n.
Demonstracao: Pelo teorema (2.5), temos que #DN n. Por outro lado, pelo teorema (2.3)
temos,
_

u
1
u
n
dx = 0
como, pelo corolario (2.1) a primeira funcao propria nao muda de sinal em , entao a funcao
propria u
n
tem de mudar de sinal em , pois, por hipotese e um conjunto com medida de
Lebesgue positiva.

2.2.3 Condicao de fronteira de Neumann


Apesar de ser analoga ao caso de condicoes de fronteira de Dirichlet, introduzimos a denicao
de valor proprio para o operador Laplace-Neumann.
Denicao 2.3. Diz-se que e um valor proprio (considerando condicoes de fronteira de Neu-
mann) do operador de Laplace, se existe uma funcao u nao identicamente nula em tal que
u C
2
() (`a qual chamamos funcao propria) tal que
_
u = u em
u
n
= 0 sobre
(2.6)
2.3 Alguns teoremas e conjecturas
Nesta seccao vamos enunciar alguns teoremas e conjecturas relativas aos valores proprios do
operador de Laplace. Vamos comecar pelo classico teorema de Rayleigh-Faber-Krahn. Esta
desigualdade foi conjecturada por Rayleigh (cf. [67]) baseada no calculo do primeiro valor
proprio (com condicoes de fronteira de Dirichlet) para alguns domnios com geometrias simples.
Recorrendo a metodos de perturbacao, estudou ainda
1
para domnios quase circulares. O
resultado foi provado de forma rigorosa, por Faber (cf. [31]) e Krahn (cf. [45]) respectivamente
em 1923 e 1924, recorrendo a tecnicas de re-arranjamento.
Teorema 2.6. (Rayleigh-Faber-Krahn) A bola e o domnio que minimiza o valor de
1
sobre
todos os domnios R
n
limitados com uma dada area xa, ou seja

1

j
2
n/21,1
A
, Z
9
Designamos por j
p,q
o q-esimo zero da funcao de Bessel J
p
e por A a area do domnio .
Este resultado esta relacionado com a desigualdade isoperimetrica classica (designamos por L
o permetro)
L
2
4A (2.7)
segundo a qual, podemos concluir que para uma dada area xa, a bola e o domnio que tem o
menor permetro, ou de outra forma, considerando todos os domnios limitados para os quais
a fronteira tem um determinado permetro xo, a bola e o que apresenta maior area.
Podemos colocar a questao analoga ao Teorema (2.6) para determinados subconjuntos es-
peccos, por exemplo para polgonos com n lados. A resposta ainda so e conhecida para n = 3
ou n = 4 e resume-se no seguinte resultado (eg. [64]):
Teorema 2.7. (Polya & Szego)
O triangulo equilatero minimiza o valor de
1
sobre todos os triangulos com uma dada
area xa.
O quadrado minimiza o valor de
1
sobre todos os quadrilateros com uma dada area xa.
Os teoremas (2.6) e (2.7) podem ser demonstradas recorrendo a um processo designado simetri-
zacao de Steiner (eg. [64]). Aplicando o processo de simetrizacao de Steiner a um dado domnio
, obtemos um novo domnio

. Prova-se que e

tem a mesma area, que o permetro de

e nao superior ao de e que


1
()
1
(

). Por outro lado, dado um domnio podemos, por


aplicacao sucessiva (em geral numeravel) de simetrizacoes de Steiner transforma-lo num crculo.
Desta forma, provamos que o crculo minimiza o primeiro valor proprio sobre todos os domnios
planares limitados com uma determinada area xa, ou seja demonstramos o Teorema (2.6). Da
mesma forma, dado um triangulo (resp. quadrilatero) podemos por aplicacao de uma sucessao
de simetrizacoes de Steiner adequadas obter o triangulo equilatero (resp. quadrado), o que
prova que o triangulo equilatero (resp. quadrado) minimiza o valor de
1
sobre todos os
triangulos (resp. quadrilateros) com area xa. Este argumento nao e valido para n 5, pois
em geral a simetrizacao de Steiner aplicada a um n-polgono (entenda-se polgono com n lados)
com n 5 faz aumentar o n umero de lados do polgono. De facto, permanece ainda por
demonstrar ou refutar o resultado analogo ao Teorema (2.7) para n 5:
Conjectura 2.1. (Polya & Szego) O n-polgono regular minimiza o valor de
1
sobre todos os
n-polgonos com uma dada area xa.
Esta conjectura e baseado na desigualdade isoperimetrica analoga a (2.7) para cada uma das
classes de n-polgonos:
L
2
c
n
A (2.8)
A constante c
n
pode ser obtida de forma a que tenhamos igualdade no caso do n-polgono
regular.

E facil vericar que
c
n
= 4ntan
_

n
_
10
e que
lim
n
c
n
= 4
como seria de esperar, de acordo com (2.7). Esta desigualdade permite-nos concluir que sobre
todos os n-polgonos com uma determinada area xa, o domnio que tem menor permetro e o
polgono regular, que daqui em diante designaremos por P
n
R
.
Podemos de um ponto de vista pouco rigoroso mas intuitivo encarar P
n
R
como sendo a
projeccao da bola sobre a classe dos n-polgonos. Portanto, se a bola apresentar determinadas
propriedades optimais sobre todos os domnios limitados, e natural esperar que sobre a classe
dos n-polgonos o polgono P
n
R
verique as mesmas propriedades.
Atendendo a que sao conhecidos os valores proprios dos rectangulos podemos facilmente
provar o seguinte resultado
Proposicao 2.1. Seja R R
2
um rectangulo. O seu primeiro valor proprio verica

1
(R) =
2
L
2
8A
4A
2
(2.9)
Demonstracao: Designemos por a e b os comprimentos dos lados do rectangulo R. Sabemos
que, neste caso, os valores proprios sao dados por

i,j
=
2
_
i
2
a
2
+
j
2
b
2
_
, i, j N
1
Em particular

1
=
2
_
1
a
2
+
1
b
2
_
Por outro lado, a area e o permetro do polgono R sao dados por A = ab e L = 2a+2b. Entao
temos que

2
L
2
8A
4A
2
=
2
4a
2
+ 4b
2
+ 8ab 8ab
4a
2
b
2
=
2
_
1
a
2
+
1
b
2
_
=
1
(R)

A questao da existencia de domnios optimais para os outros valores proprios motivou


estudos recentes. Um resultado obtido por Szego e Krahn (cf [39]) e o seguinte:
Teorema 2.8. (Szego-Krahn) O domnio R
n
que minimiza o valor de
2
sobre todos os
domnios limitados com uma dada area e a uniao de duas bolas identicas.
Poder-se-a entao colocar a questoes sobre a existencia de um domnio que minimize o valor
de
2
sobre todos os domnios convexos com uma dada area xa. Pode ser demonstrado que
existe um domnio convexo optimal (cf. [39] e [26]). Num artigo de 1973 (cf. [71]), Troesch
efectuou um estudo numerico que o levou a conjecturar que a solucao seria um estadio (o
envelope convexo de duas bolas identicas e tangentes). Esta conjectura foi refutada em 2001
por Henrot e Oudet (cf. [38] e [39]), ao provarem que a fronteira do domnio optimal nao poderia
conter arcos de circunferencia. Provaram ainda que o domnio optimal (que vamos designar
por

2
) devera vericar algumas propriedades:
11
A regularidade da fronteira do domnio

2
e no mnimo C
1
e no maximo C
2
.
Se assumirmos que

2
e de classe C
1,1
, entao
2
(

2
) tem multiplicidade um.
Se assumirmos que

2
e de classe C
1,1
, entao tem dois (e so dois) segmentos de recta na
sua fronteira e estes segmentos sao paralelos.
Em 2002, Oudet efectuou um estudo numerico que lhe permitiu obter um domnio convexo
para o qual o valor de
2
e inferior ao valor de
2
do estadio (cf. [60] e [61]). De acordo com
estes resultados Henrot e Oudet conjecturaram que

2
teria dois eixos de simetria ortogonais
(cf. [39]). Ainda na sequencia deste estudo e recorrendo a um resultado obtido em 1994 por
Keller e Wol, segundo o qual conhecidos os primeiros k domnios optimais

j
j = 1, ..., k que
minimizam os primeiros k valores proprios, podemos de uma forma recursiva obter um domnio

k+1
que minimiza
k+1
(cf. [46]), Oudet obteve numericamente domnios que apresentam os
menores valores (ate agora conhecidos) para os primeiros 10 valores proprios. Os resultados
obtidos tem ainda outra consequencia: Szego tinha colocado a questao de saber se o domnio
optimal

k
para o k-esimo valor proprio seria um bola ou a uniao de bolas. Oudet obteve
um domnio para o qual o valor
5
e inferior ao menor valor que se pode atingir considerando
domnios circulares ou uniao de domnios circulares, o que levara a armar que a resposta `a
questao colocada por Szego seja negativa.
Quanto `a minimizacao do valor de
3
, ja foi demonstrada a existencia de um domnio
optimal

3
(cf. [37]):
Teorema 2.9. (Bucur-Henrot e Wolf-Keller) Existe um domnio

3
que minimiza
3
sobre
os conjuntos abertos com uma dada area xa. Alem disso,

3
e conexo em dimensao N=2 ou
N=3.
Em 1994 Keller e Wolf provaram que a bola e um minimizante local de
3
(cf. [46]) o que
leva a conjecturar que a bola seja o domnio optimal

3
que minimiza
3
. Este resultado esta
de acordo com os resultados numericos obtidos por Oudet (cf. [60] e [61]).
O proximo resultado e relativo `a optimizacao de quocientes de valores proprios. Em 1955
Payne, Polya e Weinberger demonstraram (a duas dimensoes) que

1
3
e conjecturaram que o domnio optimal para este quociente seria o crculo (cf. [62]), resultado
que foi obtido por Ashbaugh e Benguria em 1991 (cf. [15]) no caso bidimensional e em 1992 no
caso N-dimensional (cf. [16]):
Teorema 2.10. (Ashbaugh-Benguria) A bola e domnio que maximiza o quociente

1
sobre todos os domnios de R
n
, ou seja

1
()
j
2
n/2,1
j
2
n/21,1
, R
n
(2.10)
12
Algumas conjecturas propostas por Payne, Polya e Weinberger:
Conjectura 2.2. A bola e domnio que maximiza o quociente

3
+
2

1
sobre todos os domnios planares com uma dada area xa.
A bola e domnio que maximiza o quociente

N+1
j=2

j

1
sobre todos os domnios de R
N
com uma dada area xa.
Como vimos, de acordo com o Teorema (2.6) a bola minimiza o primeiro valor proprio
1
,
no caso de condicoes de fronteira de Dirichlet. Os resultados seguintes estabelecem que a bola
maximiza o valor de
1
(o primeiro valor proprio positivo) no caso de condicoes de fronteira de
Neumann. Em 1954, Szego provou o seguinte resultado:
Teorema 2.11. A bola e o domnio que maximiza o valor de
1
sobre todos os domnios
planares simplesmente conexos R
2
com uma dada area xa.
Mais tarde, Weinberger generalizou este resultado para domnios limitados de R
n
, n 2
Teorema 2.12. (Szego-Weinberger) A bola e o domnio de R
n
que maximiza
1
sobre todos
os domnios abertos com um dado volume xo.
Vejamos agora um resultados muito simples sobre o quociente

2

1
no caso dos rectangulos:
Proposicao 2.2. Seja P
4
um rectangulo cujos lados tem comprimentos a e b, com a b.
Entao temos que 1

2

1
4. Alem disso,

2

1
= 1 sse P
4
e um quadrado e

2

1
= 4, se
a
b
2.
Demonstracao: Sabemos que, neste caso, os valores proprios sao dados por

i,j
=
2
_
i
2
a
2
+
j
2
b
2
_
, i, j N
0
Vamos supor, sem perda de generalidade que a b. Entao
1
=

2
a
2
e
2
= min
_
4
2
a
2
,

2
b
2
_
,
logo

1
= min
_
a
2
b
2
, 4
_
(2.11)
pelo que,

2

1
1 com igualdade apenas no caso em que a = b. Temos agora, por (2.11) que
nos rectangulos em que
a
2
b
2
4 ou seja
a
b
2, entao

2

1
= 4.

13
3 Aproximacao Numerica por um Metodo de Solucoes Funda-
mentais
3.1 Aproximacao das frequencias de ressonancia
3.1.1 Justicacao teorica do metodo
Nesta seccao, e antes de passarmos aos testes numericos, vamos descrever o metodo numerico
usado - O Metodo das Solucoes Fundamentais (MSF). O MSF e um metodo sem malha, isto
e, ao contrario de outros metodos numericos classicos que podem ser aplicados `a resolucao de
problemas de valor inicial em equacoes diferenciais parciais
2
, nao requer a utilizacao de uma
malha sobre o domnio, nem de calculos de integracao, o que se traduz numa grande simpli-
cidade de implementa cao computacional. Como desvantagem iremos ver que e um metodo
mal condicionado. Alem disso, a matriz do sistema associado a este metodo tem determinante
muito pequeno. Ainda estao em aberto algumas questoes relativas `a convergencia e estabili-
dade do metodo.
Recordamos que a solucao fundamental da equacao de Helmholtz no caso bidimensional e

k
(x) =
i
4
H
(1)
0
(k [x[)
onde H
(1)
0
e a funcao de Hankel de primeira especie. Daqui em diante, salvo em casos em que
possa gerar confusao, vamos apenas escrever (x) para designar a solucao fundamental para
uma dada frequencia k. Sabemos que, por denicao de solucao fundamental, (x) verica
(x) + k
2
(x) = , onde e a distribuicao conhecida por delta de Dirac. Entao, (x)
verica a equacao de Helmholtz em todos os pontos x R
2
0 e por translacao temos que
(x y) verica a equacao de Helmholtz em todos os pontos x R
2
y. O mesmo acontece
para combina coes lineares destes termos, pelo que podemos concluir que
u
N
(x) =
N

j=1

j
(x y
j
) (3.1)
verica a equacao de Helmholtz em todos os pontos x R
2

N
j=1
y
j
. Consideremos agora um
dado domnio R
2
. Se escolhermos os pontos y
j
no exterior de podemos imediatamente
concluir que u
N
verica a equacao de Helmholtz em

. Portanto a primeira equacao de (2.2)
e satisfeita e para que tenhamos aproximacoes das solucoes deste problema basta-nos analisar
o problema na fronteira.

E isso que faremos de seguida. Sejam y
j
escolhidos sobre uma curva
que envolve o domnio
3
. Dizemos que nestas condicoes e uma curva admissvel (cf. [2]).
Podemos agora provar que as funcoes (x y
j
) sao linearmente independentes:
2
como por exemplo, diferencas nitas, elementos nitos, elementos de fronteira, etc.
3
Na verdade foi provado que pode ser mais geral, por exemplo a fronteira de um domnio que contenha
(para a qual k nao e uma frequencia de ressonancia) ou ent ao uma parte de uma curva analtica cuja extensao
analtica nao intersecte .
14
Teorema 3.1. Seja um aberto de R
d
e y
1
, ..., y
n

c
pontos distintos. Entao, dado C,
as funcoes

( y
j
), j = 1, 2, ..., n sao linearmente independentes.
Demonstracao: Seja
v(x) =
n

j=1

(x y
j
)
Como a solucao fundamental (x) e analtica, excepto na origem, por translacao, cada funcao

(x y
j
) e analtica excepto no ponto y
j
. Logo v e analtica excepto no conjunto de pontos
y
1
, ..., y
n
. Como por hipotese y
1
, ..., y
n

C
, entao v(x) e analtica em . Com vista a um
absurdo, vamos supor que as funcoes

(x y
j
) sao linearmente dependentes, ou seja vamos
supor que podemos escrever v(x) = 0 em que os coecientes
j
nao sao todos simultaneamente
nulos. Temos entao que, no sentido das distribuicoes

(x) =
j
()

(x) =
j
(

(x)) =

(x y
j
) =

(x y
j
)
onde
j
(x) = (x y
j
) e
j
designa o operador de translacao por y
j
. Entao
0 = v (x) =
n

j=1

(x y
j
) =
n

j=1

j
(
j

(x y
j
))
Entao
_
_
n

j=1

j
_
_

(x y
j
) = 0
n

j=1

j
= 0
e como por hipotese os pontos y
j
sao distintos, entao, por independencia linear dos deltas de
Dirac deveremos ter
j
= 0, j = 1, . . . , n e, portanto, todos os coecientes
j
deverao ser nulos
o que contradiz a hipotese.

Vejamos agora um Teorema que nos garante que uma funcao da forma (3.1) pode aproximar
as condicoes de fronteira do problema (cf. [2], [8]).
Teorema 3.2. O conjunto
S

= span(x y)[
x
: y
e denso em L
2
() desde que seja uma curva admissvel.
Demonstracao: Basta vericar que
w(y) = g, ( y))
L
2
()
= 0, y g 0
pois nesse caso, o espaco ortogonal de S

em L
2
() sera 0 e, portanto teremos comple-
tude. Esta implicacao resulta de considerar a representa cao integral, porque w e solucao da
equacao de Helmholtz em R
2
que e nula sobre e analtica no exterior de . Uma vez
que o problema exterior tem solucao unica (desde que se verique a condicao de radiacao de
15
Sommerfeld), obtemos entao que w = 0 em R
2
por extensao analtica. Como o salto do
potencial de camada simples e nulo, entao w e solucao de um problema interior homogeneo em
e desde que k nao seja uma frequencia de ressonancia a solucao sera a funcao nula. Entao,
w e nulo, e, portanto tambem g (que e o salto da derivada normal) e nulo.
Entao, pelos Teoremas (3.1) e (3.2) podemos estabelecer que e possvel encontrar uma sucessao
de funcoes da forma (3.1) que aproxima qualquer funcao g L
2
(). Como vimos atras uma
funcao desta forma, por construcao, e solucao da equacao de Helmholtz em e, portanto, a
funcao (3.1) e uma aproxima cao da solucao do problema (2.2). Para determinar esta aproxi-
macao precisamos apenas de determinar os coecientes
j
. Isso pode ser feito de uma de duas
posibilidades:
por colocacao, isto e, considerando um n umero N de pontos sobre a fronteira do domnio
e o mesmo n umero N de pontos sobre a curva que envolve . Devemos agora impor
que a funcao dada por (3.1) seja igual ao valor da funcao g nos pontos x
1
, ..., x
M
.
Obtemos assim o sistema
[(x
i
y
j
)]
NN
[
j
]
N1
= [g(x
i
)]
NN
(3.2)
por um metodo de mnimos quadrados, isto e, considerando um n umero N de pontos sobre
a fronteira do domnio e um n umero M < N de pontos sobre a curva que envolve
. Podemos agora calcular a melhor aproximacao, no sentido dos mnimos quadrados o
que implica um sistema da forma
[(x
i
y
j
)]
NM
[
j
]
M1
= [g(x
i
)]
N1
(3.3)
Neste trabalho iremos optar pela primeira hipotese.
O objectivo deste trabalho consiste em determinar os valores proprios e as respectivas
funcoes proprias do operador de Laplace, isto e, estamos interessados em determinar os valores
k
2
para os quais existe uma funcao nao identicamente nula u vericando o problema (2.2).
Como g 0 e uma funcao analtica, faz sentido encarar a aproxima cao do MSF como a
discretizacao do potencial de camada simples. Ent ao, consideremos o operador
H

: H
1/2
(

) C

()

_

(x y)(y) ds
y
.
(3.4)
Suponhamos que para um dado k existe um funcao ,= 0 tal que H
k
= 0 isto e dim(Ker(H
k
) >
0. Entao, a extensao analtica de H
k
a , dada pelo potencial de camada simples que iremos
designar por

H
k
, sera uma funcao propria associada ao valor proprio k
2
.
Teorema 3.3. Se dim(Ker(H
k
)) > 0, entao k
2
e um valor proprio do problema (2.3) e
qualquer funcao nao identicamente nula Ker(H
k
) e uma funcao propria associada ao
valor proprio k
2
.
16
Demonstracao: A hipotese implica que existe , 0 : H
k
= 0. Entao, e suciente mostrar que

H
k
, 0 em . Suponhamos que

H
k
0, entao, por extensao analtica o traco interior

H
k

em

sera nulo. Como o traco exterior de um potencial de camada simples e igual ao interior,
entao

H
k
e solucao do problema exterior com traco exterior nulo. Entao como o problema
exterior esta bem posto, desde que se verique a condicao de radiacao de Sommerfeld (que e
vericada pelo potencial de camada simples) temos que 0, o que contradiz a hipotese.

A abordagem ao problema de Neumann e analoga considerando

n
x
_

(x y)(y) ds
y

j
n
x
.

(x y
j
)
j
.
em que n
x
aproxima n
x
. Vejamos agora como e que podemos recorrer ao Metodo das Solucoes
Fundamentais (MSF) para estudarmos o problema das frequencias de ressonancia. Atendendo
ao Teorema (2.2) podemos encarar o operador de Helmholtz como uma matriz de dimensao
innita que e invertvel sse k nao e uma frequencia de ressonancia. Como vimos, uma funcao
da forma (3.1) onde os
j
sao obtidos por resolucao do sistema (3.2) e uma aproximacao da
solucao do problema (2.2).

E, portanto, natural esperar que para uma frequencia de ressonancia
tenhamos diculdade em resolver o sistema (3.2), mais precisamente, e natural esperar que o
determinante da matriz associada ao sistema (3.2) seja quase nulo.

E esta ideia que vamos usar
para determinar as frequencias de ressonancia. De facto, a localizacao das frequencias de res-
sonancia pode ser encarada como a determinacao de zeros de uma funcao g(w) := Det[A(w)],
onde A e a matriz do sistema (3.2). Na verdade o determinante de A nunca sera exactamente
nulo
4
mas como iremos ver, existem frequencias w para os quais a funcao g(w) tem descon-
tinuidades abruptas de valor. Iremos testar para alguns domnios dos quais conhecemos a
expressao exacta das frequencias de ressonancia e veremos que estas frequencias para as quais
se dao as descontinuidades de g sao boas aproximacoes das frequencias de ressonancia desses
domnios.
Para determinar numericamente as aproximacoes das frequencias de ressonancia vamos usar
o metodo da bisseccao que se mostrou mais ecaz para a resolucao deste problema. Uma ob-
serva cao e que o determinante da matriz A e um n umero complexo. Claro que, como provamos
no Teorema (2.3), as frequencias de ressonancia sao n umeros reais, pelo que a parte imaginaria
do determinante de A deve ser desprezavel relativamente `a sua parte real. O processo usado
para podermos recorrer ao metodo da bisseccao foi denir uma derivada para uma dada
funcao h da seguinte forma:
h

(w) :=
h(w +) h(w)

para um valor de bastante pequeno. Se a funcao h for regular, claramente isto corresponde
a fazer uma aproximacao de primeira ordem da derivada de h por diferencas nitas. Se h nao
for diferenciavel, este valor pode ser interpretado como traduzindo a varia cao media da funcao
num intervalo pequeno o que, do ponto de vista da aplicacao para este trabalho e suciente.
No nosso caso, vamos considerar h = [g[, ou seja, o modulo do determinante da matriz. Como
4
devido a problemas de instabilidades numericas.
17
iremos ver, a funcao h

toma valores negativos para as frequencias inferiores a


0
(a frequencia
de ressonancia) num intervalo sucientemente pequeno que contenha
0
e valores positivos
para as frequencias desse intervalo superiores a
0
. Entao podemos aplicar o metodo da bis-
seccao a esta funcao h

que o metodo ira convergir. Podemos facilmente ver que a funcao h em


estudo nao e contnua nas frequencias de ressonancia
5
. Isto podera justicar o facto de out-
ros metodos iterativos (como o metodo da secante ou o metodo de Steensen) nao convirjam.
Uma alternativa a este processo podera ser a estrategia adoptada por Karageorghis (cf. 4

9)
de determinar aproximacoes das frequencias de ressonancia calculando zeros das partes real e
imaginaria do determinante. Claro que as partes real e imaginarias sao funcoes regulares, pelo
que, eventualmente, este processo permitiria recorrer a outros metodos iterativos ao inves do
metodo da bisseccao. No entanto, neste trabalho vamos optar pelo processo que foi descrito
anteriormente e que se revelou ecaz. Uma observacao e que, o MSF recorrendo a um metodo
de colocacao, implica a resolucao de um sistema A.x = b, onde A e uma matriz quadrada e
b e um vector que descreve as condicoes de fronteira do problema que estamos a resolver.
Sabemos (dos resultados elementares de algebra linear) que este sistema e sol uvel e tem solucao
unica sse A for invertvel, ou seja, sse o determinante de A nao for nulo. Nenhuma condicao
e exigida ao vector b. Isto justica o facto de agora em diante nos concentrarmos no calculo
do determinante da matriz A e de certa forma ignorarmos o vector b. De facto, se uma dada
frequencia nao e de ressonancia, entao o sistema e possvel e determinado para todos os vectores
b.
Passemos agora `a determinacao numerica das frequencias de ressonancia. Para isso, pre-
cisamos de encontrar um criterio para a escolha dos pontos-fonte y
j
. No caso do crculo e do
quadrado, Karageorghis observou que se obtinham resultados bastante bons escolhendo os pon-
tos y
j
sobre a fronteira de um domnio que era uma dilatacao do domnio em estudo (cf. [44]).
Para domnios com geometrias mais complexas deveremos escolher os pontos y
j
de forma apro-
priada. Iremos de seguida descrever um algoritmo que conduz a resultados numericos bastante
bons.
3.1.2 Algoritmo para a escolha dos pontos-fonte
A fronteira articial que consideramos e determinante na precisao das aproxima coes que
obtemos (cf. [12]). Assim, em [12] foi proposto o seguinte algoritmo para a escolha dos pontos-
fonte que conduzia a bons resultados, mesmo no caso de domnios com geometrias mais com-
plexas: Considerar N pontos sobre a fronteira do domnio. Para cada um destes pontos x
i
determinar o vector normal `a fronteira do domnio nesse ponto. Supondo que a fronteira do
domnio e regular, este vector normal e perpendicular `a recta tangente `a fronteira do domnio
em x
i
. Podemos facilmente aproximar este vector tangente como sendo por exemplo dado por
t
1,i
= x
i
x
i1
ou por t
2,i
= x
i
x
i+1
. Com base nestes vectores e facil vericar que os vectores
n
1
= c
1
t
1,i
[2], t
1,i
[1] e n
2
= c
2
t
2,i
[2], t
2,i
[1] sao respectivamente perpendiculares
6
a t
1,i
e t
2,i
. Vamos tomar c
i
= 1, i = 1, 2 escolhendo o sinal de forma a que os vectores apontem
para o exterior do domnio. A aproximacao que vamos considerar para vector normal resulta
5
numa vizinhanca sucientemente pequena que contenha a frequencia de ressonancia tem sinal negativo para
valores inferiores `a frequencia de ressonancia e sinal positivo para valores superiores `a frequencia de ressonancia
6
onde por t
1,i
[2] pretendemos designar a segunda coordenada do vector t
1,i
em x
i
.
18
da media dos vectores anteriores,
n =
n
1
+n
2
2
onde deve ser um valor pequeno (de 0.2 a 1.5). No caso de domnios com geometrias simples,
obtemos melhores resultados se tomarmos ligeiramente maior. Desta forma o ponto y
i
da
fronteira articial correspondente a x
i
e dado pela soma vectorial do ponto x
i
com o vector
n, ou seja por
y
i
= x
i
+n
Por construcao, o conjunto

N
i=1
y
i

e formado por pontos exteriores ao domnio e que distam da fronteira de um valor relati-
vamente pequeno. A primeira observacao a fazer e que desta forma, e ao contrario de outras
possveis escolhas a fronteira articial que obtemos, em geral, nao sera a fronteira de um
dado domnio. A escolha de outra fronteira articial arbitraria podera trazer limitacoes ao
metodo numerico obtido: nao so nao obtemos aproxima coes com uma boa precisao, como ape-
nas conseguimos aproximar um n umero reduzido de valores proprios (cf. [12]). Como veremos,
recorrendo a este processo conseguimos obter aproximacoes muito boas, mesmo para domnios
com geometrias mais complicadas.
Passemos agora ao estudo da localizacao das frequencias de ressonancia que pretendemos
levar a cabo. Como comentamos atras, estas frequencias de ressonancia coincidem com as
descontinuidades abruptas da funcao h associada ao determinante da matriz do sistema.

E portanto, natural tentar estudar a evolucao do determinante da matriz em funcao da


frequencia. Na Figura 1, esta represntado o graco da funcao
7
Log(h) considerando 10 pontos
de colocacao para frequencias no intervalo
8
(0,5) no caso do disco de raio unitario.
1 2 3 4 5
-15
-14
-13
-12
-11
-10
Figura 1: graco da funcao Log(h(w)) para frequencias no intervalo (0,5).
Vemos que, neste intervalo, a funcao tem duas descontinuidades abruptas (uma proximo
de 2.4 e outra proximo de 3.8). Devemos suspeitar que estes valores serao aproximacoes de
duas frequencias de ressonancia. No entanto, para um domnio arbitrario nao conseguimos
a priori conrmar ou refutar esta suspeita. O que podemos certamente fazer e comparar as
aproximacoes obtidas considerando mais ou menos pontos de colocacao e tentar tirar alguma
7
Aplicamos a func ao logaritmo para evidenciar as oscilac oes da func ao h.
8
Vimos no Teorema (2.4) que os valores proprios de Dirichlet sao estritamente positivos.
19
conclusao. Na Figura 2 vemos a sobreposicao dos gracos da funcao Log(h) considerando 8,
15, 20 e 25 pontos de colocacao.
3 4 5 6 7 8
-40
-30
-20
-10
Figura 2: gracos da funcao Log(h(w)) considerando 8, 15, 20 e 25 pontos de colocac ao (re-
spectivamente a vermelho, violeta, verde e azul).
A primeira observacao e que os valores dos determinantes descrescem quando aumentamos o
n umero de pontos de colocacao. Isto conduz a graves consequencias se pretendermos aproximar
determinadas frequencias de ressonancia, pois acabamos por obter valores que entram nos limi-
tes de precisao do computador. Por outro lado, comparando os gracos obtidos podemos ver
que considerando 8 pontos de colocacao apenas conseguimos localizar signicativamente duas
frequencias de ressonancia. A partir w = 4 vemos que o comportamento da funcao que obtemos
neste caso se afasta do comportamento das outras funcoes. Da mesma forma, no caso em que
consideramos 15 pontos de colocacao, vemos que o graco obtido apresenta o mesmo comporta-
mento dos gracos obtidos com mais pontos de colocacao ate sensivelmente a w = 7.2. Somos
levados a armar que ate este valor as aproxima coes obtidas sao credveis. Para frequencias su-
periores deveremos considerar mais pontos de colocacao. Portanto as frequencias de ressonancia
que conseguimos determinar dependem muito do n umero de pontos de colocacao considerados.
Na verdade, se consideramos poucos pontos de colocacao nao conseguimos denir bem a fron-
teira do domnio, isto e, a informacao que obtemos com base nesses pontos e a mesma para uma
innidade de domnios
9
(Figura 3). Claro que esta observa cao e valida mesmo quando consider-
amos muitos pontos de colocacao, no entanto, nesse caso, o n umero de domnios equivalentes
10
e muito menor.
Introduzimos agora a seguinte denicao
Denicao 3.1. Consideramos
n
um conjunto de pontos de discretizacao razoavel se
max
x
n
(|x x
n
| +|x x
n+1
|) |x
n+1
x
n
| , com 1
3.1.3 Validacao do metodo numerico
Nesta seccao vamos testar o algoritmo para alguns domnios dos quais dispomos dos valores
proprios. Vamos considerar a bola de raio unitario e quadrado de lado unitario. Considerando
9
pois entre dois pontos de colocac ao consecutivos nenhuma informac ao e considerada.
10
isto e, domnios diferentes que por aplicac ao do MSF conduzem ao mesmo resultado.
20
-1 -0.5 0.5 1
-1
-0.5
0.5
1
Figura 3: varios domnios de discretizacao considerando os pontos de colocacao representados.
N = 50 pontos x
i
angularmente igualmente espacados sobre e recorrendo ao algoritmo para
a escolha de pontos fonte y
j
descrito na seccao anterior, obtemos os pontos representados na
Figura 4.
-1 -0.5 0.5 1
-1
-0.5
0.5
1
-0.75 -0.5 -0.25 0.25 0.5 0.75
-0.75
-0.5
-0.25
0.25
0.5
0.75
Figura 4: pontos x
i
e y
i
no caso da bola de raio unitario e do quadrado de lado unitario, com
= 0.4.
No primeiro graco da Figura 5 vemos o graco de Log(Det(h(w))) para frequencias entre
2 e 5.4 considerando 20, 30 e 40 pontos de colocacao no caso da bola de raio unitario. No
segundo graco da Figura 5 vemos o graco de Log(Det(h(w))) para frequencias entre 4 e 9.4
considerando 20, 30 e 40 pontos de colocacao no caso do quadrado de lado unitario.
A tracejado temos representado o valor exacto das primeiras tres frequencias da bola e do
quadrado (respectivamente)
11
. Como vemos na Figura 5 as frequencias de ressonancia coinci-
dem com as singularidades visveis no graco do determinante.
Passemos agora `a analise dos erros obtidos para as tres primeiras frequencias de ressonancia

i
do disco de raio unitario com = 0.4:
11
Sabemos que as frequencias de ressonancia da bola de raio unitario sao dados pelos zeros das func oes de
Bessel. No caso do quadrado, as tres primeiras frequencias de ressonancia sao dadas por

2,

5 e

8.
21
2.5 3 3.5 4 4.5 5
-160
-140
-120
-100
-60
-40
5 6 7 8 9
-250
-200
-150
-100
-50
Figura 5: graco de Log(Det(h(w))) considerando 20, 30 e 40 pontos de colocacao no caso da
bola de raio unitario e do quadrado de lado unitario.
m erro abs. (
1
) m erro abs. (
2
) m erro abs. (
3
)
30 2.30625 10
6
30 4.94702 10
6
30 5.21586 10
6
40 5.90105 10
8
40 1.21272 10
8
40 1.26138 10
7
50 1.64104 10
9
50 3.01659 10
10
50 3.27406 10
9
60 8.23746 10
11
60 9.30012 10
12
60 9.35225 10
11
Como vemos, com apenas 60 pontos de colocacao ja obtemos erros absolutos da ordem de
10
11
. Vejamos agora o caso do quadrado de lado unitario. Calculando aproxima coes para as
primeiras tres frequencias de ressonancia
i
considerando = 0.4 obtivemos os seguintes erros
absolutos:
m erro abs. (
1
) m erro abs. (
2
) m erro abs. (
3
)
30 5.72502 10
6
30 1.35599 10
6
30 1.80446 10
5
40 8.42454 10
8
40 1.67152 10
7
40 2.17843 10
7
50 7.76885 10
8
50 1.10476 10
8
50 6.94929 10
8
60 1.46642 10
9
60 1.44218 10
9
60 3.17219 10
9
Vemos que com 60 pontos de colocacao obtemos erros absolutos da ordem de 10
9
. Estes
valores sugerem que o metodo possa ser aplicavel mesmo a domnios com fronteira nao regular.
Vejamos agora o caso de um domnio do qual dispomos da quinta frequencia de ressonancia.
Sabemos que as funcoes v(x, y) = c sin(x) sin(2y) + sin(2x) sin(y), c [1, ] sao funcoes
proprias associadas ao valor

5, a segunda frequencia de ressonancia do quadrado [0, ] [0, ].


As respectivas linhas nodais sao dadas por y = arcos(
1
c
cos(x)), x [0, ] (Figura 6).
Assim, o valor

5 e a quinta frequencia de ressonancia para os diferentes domnios repre-
sentados na Figura 7. Curiosamente os diferentes domnios obtidos para diferentes valores de
22
0 0.5 1 1.5 2 2.5 3
0
0.5
1
1.5
2
2.5
3
Figura 6: domnios nodais da funcao propria associada `a segunda frequencia de resson ancia
do quadrado e respectiva linha nodal (c=1.3).
c [0, ] tem a mesma area e o mesmo valor de
4
. Nos casos-limite em que c = 1 e c
obtemos, respectivamente o quadrado de lado

2 e um rectangulo cujos comprimentos dos
lados sao 2 e .
-3 -2 -1 1 2 3
-3
-2
-1
1
2
3
-3 -2 -1 1 2 3
-2
-1
1
2
-3 -2 -1 1 2 3
-2
-1
1
2
-3 -2 -1 1 2 3
-1.5
-1
-0.5
0.5
1
1.5
Figura 7: domnios obtidos quando c = 1, c = 1.3, c = 1.8 e c = 600 (respectivamente).
Considerando c = 1.3, obtemos os seguintes valores de erro absoluto (com = 1) em funcao
do n umero de pontos de colocacao:
m erro abs. (
4
) m erro abs. (
4
) m erro abs. (
4
)
20 2.10352 10
4
30 1.46198 10
5
40 1.2331 10
6
50 3.06129 10
7
60 2.52128 10
8
70 5.05447 10
9
80 3.19481 10
9
90 6.19889 10
10
100 1.87289 10
10
3.1.4 Aplicacao a domnios nao triviais
Nesta seccao vamos aplicar o metodo numerico para determinar as frequencias de ressonancia
de domnios nao triviais. Vamos comecar pelos domnios considerados em [12], cujas fronteiras
estao representadas na Figura 8 e podem ser parametrizadas da seguinte forma:
Domnio
1
x(t), y(t) =
_
cos(t), sin(t) +
sin(2t)
3
_
, para 0 t < 2
23
Domnio
2
x(t), y(t) =
_
cos(t), sin(t) +
5 sin(t) cos(2t)
9
_
, para 0 t < 2
Domnio
3
x(t), y(t) =
_
cos(t)
cos(t) sin(2t)
2
, sin(t) +
cos(4t)
6
_
, para 0 t < 2
-1 -0.5 0.5 1
-1
-0.5
0.5
1
-1 -0.5 0.5 1
-1
-0.5
0.5
1
-1 -0.5 0.5 1
-1
-0.5
0.5
1
Figura 8: fronteiras dos domnios
1
,
2
e
3
(respectivamente).
Considerando N=100 pontos de colocacao sobre a fronteira de cada um dos domnios e aplicando
o algoritmo para a escolha dos pontos-fonte descrito na seccao anterior com = 0.4, obtemos
os pontos representados na Figura 9.
-1.5 -1 -0.5 0.5 1 1.5
-1.5
-1
-0.5
0.5
1
1.5
-1.5 -1 -0.5 0.5 1 1.5
-1.5
-1
-0.5
0.5
1
1.5
-1.5 -1 -0.5 0.5 1 1.5
-1.5
-1
-0.5
0.5
1
1.5
Figura 9: pontos de colocacao e pontos-fonte dos domnios
1
,
2
e
3
(respectivamente) com
= 0.4.
24
Nos igualmente espacados
Nas seccoes anteriores consideramos os pontos de colocacao x
i
igualmente espacados
de forma angular, isto e, no caso dos domnios dos quais dispomos de uma parametrizacao
(t), t [0, 2], consideramos x
i
= (i
2
N
), i = 1, ..., N. Vamos agora sugerir um algoritmo
para a escolha dos pontos x
i
(cf. [10]) que iremos ver que conduz a melhores resultados que com
a escolha que consideramos ate agora. Vamos antes de mais motivar esta ideia: Consideremos
para cada valor de [0, 1[ a parametrizacao da circunferencia de centro na origem e raio
unitario

(t) = (cos(t +
sin(2t)
2
), sin(t +
sin(2t)
2
), t [0, 2] (3.5)
Para = 0 temos uma das parametrizacoes usuais da circunferencia. Consideremos agora os
pontos de colocacao obtidos por x
i
= (i
2
N
), i = 1, ..., N. Na Figura 10 consideramos N = 70
e representamos os pontos de colocacao e pontos-fonte obtidos com = 0, 0.5 e 0.9
-1 -0.5 0.5 1
-1
-0.5
0.5
1
-1 -0.5 0.5 1
-1
-0.5
0.5
1
-1 -0.5 0.5 1
-1
-0.5
0.5
1
Figura 10: pontos de colocacao e pontos-fonte obtidos com = 0, 0.5 e 0.9 (respectivemente).
Em todos os casos, os pontos x
i
sao igualmente espacados (de forma angular) de acordo
com (3.5). No entanto, `a medida que aumentamos o valor de , vemos que os pontos se
concentram em torno dos pontos (0, 1) e (0, 1).

E natural esperar que quando a distancia
entre os pontos de colocacao for aproximadamente constante, tenhamos mais informacao sobre
a fronteira do domnio, e consequentemente melhores resultados numericos. Vamos analisar
os erros obtidos para diferentes valores de . Na Figura 11 apresentamos um graco do erro
absoluto obtido ao aproximar a segunda frequencia de ressonancia em funcao de [0, 1[,
considerando N = 50 pontos de colocacao e = 0.2.
Vemos facilmente que o erro absoluto como funcao de aparenta ser um funcao crescente
ate valores proximos de 0.9. Por outro lado, o erro absoluto e mnimo quando = 0, o que
e natural de acordo com a observa cao que zemos atras. Quando = 0, a distancia entre
pontos x
i
consecutivos e aproximadamente constante. Obtivemos resultados semelhantes ao
aproximar outras frequencias de ressonancia. Este exemplo motiva o seguinte algoritmo para
a escolha dos pontos de colocacao x
i
:
Dado um domnio cuja fronteira pode ser parametrizada por (t), t [0, 2], calculamos
o comprimento C da curva . Entao consideramos para pontos de colocacao os pontos da
forma x
i
= (t
i
), i = 1, ..., N, onde os pontos t
i
sao obtidos recursivamente, de forma a que
25
0.2 0.4 0.6 0.8 1
0.0001
0.0002
0.0003
0.0004
0.0005
0.0006
0.0007
Figura 11: erro absoluto em funcao do valor de [0, 1[.
[x
i+1
x
i
[ =
C
N
, i = 1, ...N 1. Ja vimos que no caso da bola de raio unitario os resultados
numericos obtidos com os pontos de colocacao obtidos por este algoritmo sao melhores que com
outros pontos de colocacao. Vamos agora ver o caso de domnios nao triviais:
Consideremos o domnio
2
. Calculamos as tres primeiras frequencias de ressonancia con-
siderando N=20, 30, 40, 50, ... pontos de colocacao ate que a diferenca entre aproxima coes
sucessivas seja inferior a 3 10
13
. Desta forma, esperamos que a quasi-solucao z obtida
esteja afectada de um erro absoluto da ordem de 10
13
. Vamos calcular estimativas para os
erros absolutos obtidos recorrendo a estas quasi-solucoes.
Vejamos as estimativas de erros absolutos, considerando os pontos de colocacao igualmente
espacados (de forma angular) do domnio
2
e = 0.25.
m erro abs. (
1
) m erro abs. (
2
) m erro abs. (
3
)
30 5.59606 10
4
30 1.14431 10
3
30 1.01628 10
3
40 8.45389 10
5
40 1.158266 10
4
40 1.12506 10
4
50 1.3723 10
5
50 2.5206 10
5
50 1.71079 10
5
60 2.34521 10
6
60 4.25957 10
6
60 2.88062 10
6
70 4.15892 10
7
70 7.50674 10
7
70 5.00244 10
7
Vamos agora obter estimativas de erros absolutos, considerando os pontos de colocacao
obtidos com o algoritmo proposto para a escolha dos pontos de colocacao considerando o
mesmo valor de do caso anterior. Vejamos os resultados obtidos para o domnio
2
.
m erro abs. (
1
) m erro abs. (
2
) m erro abs. (
3
)
30 1.53489 10
5
30 1.48498 10
5
30 3.97196 10
5
40 4.18237 10
6
40 2.32392 10
6
40 4.42595 10
6
50 1.23533 10
7
50 1.22663 10
7
50 9.45526 10
7
60 2.58771 10
8
60 5.97965 10
8
60 1.85791 10
7
70 2.86681 10
9
70 1.62667 10
8
70 4.11377 10
8
Como vemos, em geral, temos erros menores recorrendo ao algoritmo proposto para a escolha
dos pontos de colocacao. Os resultados sao semelhantes fazendo a mesma analise para os
domnios
1
e
3
.
26
3.2 Aproximacao das funcoes proprias
3.2.1 Metodo para o calculo das funcoes proprias
Nesta seccao vamos tentar determinar as funcoes proprias do operador de Laplace num dado
domnio. Como vimos na denicao (2.1) dado um valor proprio existe uma funcao u
C
2
()C
0
(

) que verica (2.4). Na seccao anterior vimos que conseguimos obter aproxima coes
dos valores proprios do operador de Laplace para um dado domnio. Nesta seccao vamos tentar
obter aproxima coes das respectivas funcoes proprias. Estas aproximacoes vao ser obtidas pelo
MSF. Assim, considerando M pontos de colocacao vamos considerar funcoes da forma
u(x) =
M

j=1

j
(x y
j
) (3.6)
onde os y
j
sao pontos sobre a fronteira articial. Por denicao de funcao propria, esta funcao
u deve vericar uma condicao de fronteira de Dirichlet nula, pelo que vamos impor que nos
pontos de colocacao x
i
sobre a funcao u seja nula. Obtemos assim um sistema da forma
[(x
i
y
j
)]
MM
[
j
]
M1
= [0]
MM
(3.7)
Claro que este sistema tem innitas solucoes. Dada uma funcao u

que e solucao do sistema


anterior
12
, entao qualquer funcao da forma v = u

( um n umero real arbitrario) tambem


o e. Em particular, para = 0 obtemos que a solucao nula satisfaz o sistema (3.7) e por
denicao de funcao propria, a funcao nula nao e uma funcao propria. Como e obvio estamos
interessados em resolver um sistema que tenha solucao unica e cuja solucao nao seja a funcao
identicamente nula. Isto pode facilmente ser realizado, impondo que a solucao do sistema
assuma um determinado valor nao nulo num determinado ponto do interior o domnio. Assim,
podemos por exemplo escolher um ponto x
0
do interior do domnio e vamos impor que a
aproximacao u da funcao propria verique u(x
0
) = 1. Em termos praticos, esta condicao-extra
reduz-se a considerar M +1 pontos sobre a fronteira articial e M +1 pontos de colocacao,
M dos quais sobre a fronteira e o outro ponto no interior do domnio. Os pontos sobre
a fronteira articial vao ser obtidos da seguinte forma: Recorrendo ao algoritmo de escolha
dos pontos-fonte que atras descrevemos vamos obter M pontos-fonte; o M + 1-esimo ponto
e escolhido de forma a que y
M+1
R
2

(Figura 12). Vamos assim resolver um sistema da


-1 -0.5 0.5 1 1.5 2
-1.5
-1
-0.5
0.5
1
1.5
-1 -0.5 0.5 1 1.5 2
-1
-0.5
0.5
1
-1.5 -1 -0.5 0.5 1 1.5 2
-1
-0.5
0.5
1
1.5
Figura 12: pontos considerados para obter as funcoes proprias dos domnio
1
,
2
e
3
.
12
ou melhor dada uma func ao da forma (3.6) cujos coecientes satisfazem o sistema (3.7).
27
forma
[(x
i
y
j
)]
(M+1)(M+1)
[
j
]
(M+1)1
= [
i,M+1
]
(M+1)(M+1)
(3.8)
onde por
i,M+1
designamos o delta de Kronecker. Desta forma, excluimos a funcao identica-
mente nula das possveis solucoes do sistema. Nos casos em que os valores proprios tenham
multiplicidade um, a solucao do sistema e unica. Nos casos em a multiplicidade e superior a
um, suponhamos m, temos m funcoes proprias distintas. Neste caso, o resultado que vamos
obter e uma combinacao linear das m possveis funcoes proprias e podemos ter varias solucoes
do sistema (3.8). Iremos abordar este assunto na seccao seguinte.
Vejamos agora o caso do quadrado de lado unitario. Vamos em primeiro lugar testar o
algoritmo de determinacao das funcoes proprias associado `a resolucao do sistema (3.8). Vamos
assim considerar os valores exactos das frequencias de ressonancia e respectivas funcoes proprias
para o quadrado de lado unitario. Vamos, por simplicidade considerar a funcao propria asso-
ciada ao segundo valor proprio que tem multiplicidade um. Atendendo a que a condicao-extra
introduzida no sistema (3.8) foi neste caso u(0.3, 0.7) = 1 vamos considerar

2
= 2, u
2
(x, y) =
sin(2x) sin(2y)
sin(0.3 2) sin(0.7 2)
Obtemos os seguintes resultados com 80 pontos de colocacao:
0 0.2 0.4 0.6 0.8 1
0
0.2
0.4
0.6
0.8
1
-1
-0.5
0
0.5
1
0 0.2 0.4 0.6 0.8 1
0
0.2
0.4
0.6
0.8
1
0 0.2 0.4 0.6 0.8 1
0
0.2
0.4
0.6
0.8
1
-210
-10
-110
-10
0
110
-10
210
-10
0 0.2 0.4 0.6 0.8 1
0
0.2
0.4
0.6
0.8
1
Figura 13: gracos da aproximacao da funcao propria associada ao segundo valor proprio e do
erro considerando = 0.4.
O resultados sao semelhantes para outros valores proprios cuja multiplicidade seja um. Pelo
menos aparentemente o MSF conduz a boas aproxima coes, mesmo quando o n umero de pontos
de colocacao nao e tao elevado. Por exemplo, ao aproximarmos a funcao propria anterior com
64 pontos de colocacao, obtemos que o erro maximo e da ordem de 10
8
. Estes resultados
foram obtidos recorrendo aos valores proprios exactos, que neste caso eram conhecidos. Em
geral, tal nao acontece, e para determinar as funcoes proprias de um dado domnio vamos usar
as aproximacoes obtidas no seccao anterior. Sera talvez pertinente estudar a inuencia que o
erro associado `as aproximacoes pode ter na determinacao das funcoes proprias. Vamos entao
considerar pequenas perturbacoes aos valores exactos da segunda frequencia de ressonancia.
Vejamos os gracos do erro obtido com 80 pontos de colocacao na Figura 14:
28
0 0.2 0.4 0.6 0.8 1
0
0.2
0.4
0.6
0.8
1
-0.00002
-0.00001
0
0.00001
0.00002
0 0.2 0.4 0.6 0.8 1
0
0.2
0.4
0.6
0.8
1
0 0.2 0.4 0.6 0.8 1
0
0.2
0.4
0.6
0.8
1
-0.0002
-0.0001
0
0.0001
0.0002
0 0.2 0.4 0.6 0.8 1
0
0.2
0.4
0.6
0.8
1
0 0.2 0.4 0.6 0.8 1
0
0.2
0.4
0.6
0.8
1
-0.002
-0.001
0
0.001
0.002
0 0.2 0.4 0.6 0.8 1
0
0.2
0.4
0.6
0.8
1
Figura 14: gracos do erro da funcao propria associada ao segundo valor proprio considerando
perturbacoes aos valores proprios (respectivamente) de 10
5
, 10
4
e 10
3
.
Para melhor visualisarmos as funcoes proprias e os domnios nodais associados a cada
um dos domnios considerados denimos um algoritmo para obter numericamente as funcoes
caractersticas. Vejamos as funcoes caractersticas dos domnios
1
,
2
e
3
representadas na
Figura 15:
-1 0 1
-1
0
1
0
0.25
0.5
0.75
1
-1 0 1
-1
0
1
-1 0 1
-1
0
1
0
0.25
0.5
0.75
1
-1 0 1
-1
0
1
-1 0 1
-1
0
1
0
0.25
0.5
0.75
1
-1 0 1
-1
0
1
Figura 15: funcoes caractersticas dos domnios
1
,
2
e
3
.
Intuitivamente uma funcao propria associada a uma determinada frequencia de ressonancia
dene uma das possveis formas que a membrana do tambor toma ao vibrar, o que justica
a designacao vulgarmente usada (no ambito musical) de modo de vibracao. Por outro lado a
representacao dos domnios nodais e vulgarmente conhecida como guras de Chladni. Se ex-
perimentalmente construssemos um tambor com uma dada forma e lhe aplicassemos a tecnica
que permite obter as guras de Chladni (eg. [12]), e legtimo esperar que as linhas que a
areia formaria sobre a membrana do tambor corresponderiam em termos da representa cao dos
domnios nodais `as linhas que separam as regioes representadas a preto das regioes represen-
tadas a branco. Em [12] foram determinadas numericamente as funcoes proprias (e respectivos
domnios nodais) associadas `as primeiras 24 frequencias de ressonancia. Aqui vamos apenas
apresentar os gracos relativos `as funcoes proprias associadas `as 21
a
,...,24
a
frequencias de res-
sonancia de cada um dos domnios. Na Figura 16 vemos os gracos das funcoes proprias do
domnio
1
e na Figura 17 os respectivos domnios nodais. Nas Figuras 18 e 19 apresentamos
os resultados obtidos para o domnio
2
e nas Figuras 20 e 21 os resultados relativos ao domnio

3
.
29
Figura 16: funcoes proprias associadas `as 21
a
,...,24
a
frequencias de ressonancia de
1
.
Figura 17: domnios nodais das funcoes proprias associadas `as 21
a
,...,24
a
frequencias de res-
sonancia do domnio
1
.
3.2.2 Determinacao da multiplicidade dos valores proprios
Nesta seccao vamos tentar determinar a multiplicidade dos valores proprios para os quais obti-
vemos aproximacoes na seccao anterior. Como vimos atras, se um dado valor proprio tem
multiplicidade igual a um, entao existe uma unica funcao propria que lhe esta associada
13
. Se
13
Na verdade, como vimos atras as func oes proprias associadas ao valor proprio s ao em n umero innito pois
dada uma func ao propria u, ent ao u para = 0 tambem o e. Dizemos ent ao, com algum abuso de linguagem
30
Figura 18: funcoes proprias associadas `as 21
a
,...,24
a
frequencias de ressonancia do domnio

2
.
Figura 19: domnios nodais das funcoes proprias associadas `as 21
a
,...,24
a
frequencias de res-
sonancia do domnio
2
.
um dado valor proprio tem multiplicidade superior a 1, suponhamos m, entao existem m
funcoes proprias linearmente independentes. Podemos notar que, por exemplo se a multiplici-
dade do valor proprio for igual a 1, entao o sistema (3.8) tem solucao unica (precisamente a
funcao propria associada a ) e portanto, a matriz do sistema e invertvel e, portanto nao pode
que a func ao propria e unica, pois nao existem duas func oes proprias associadas ao valor proprio linearmente
independentes, no sentido de L
2
.
31
Figura 20: funcoes proprias associadas `as 21
a
,...,24
a
frequencias de ressonancia do domnio

3
.
Figura 21: domnios nodais das funcoes proprias associadas `as 21
a
,...,24
a
frequencias de res-
sonancia do domnio
3
.
ter valores proprios nulos. Por outro lado, se a multiplicidade do valor proprio for igual a
dois, entao o espaco de solucoes do sistema (3.8) tem dimensao um, e portanto, o n ucleo da
matriz do sistema deve ter dimensao igual a um, ou seja, um dos valores proprios da matriz
do sistema deve ser nulo. Generalizando, se uma frequencia de ressonancia tiver multiplici-
dade m, e natural que a matriz do sistema tenha m 1 valores proprios nulos. Desta forma,
a multiplicidade de uma dada frequencia de ressonancia poderia ser obtida atendendo a se a
32
matriz do sistema (3.8) admite (e nesse caso com que multiplicidade) ou nao o zero como valor
proprio. Na pratica, ao determinarmos os valores proprios da matriz do sistema nunca vamos
obter valores proprios nulos o que se devera a erros numericos. No entanto, alguns desses valo-
res sao muito proximos de 0. Podemos, por exemplo contar o n umero de valores proprios da
matriz cujo modulo e inferior a um determinado n umero proximo de zero (por exemplo 10
15
).
Resumindo, por este processo se obtivermos m1 valores proprios da matriz do sistema (3.8)
cujo modulo e inferior a 10
15
, entao diremos que e natural esperar que a multiplicidade da
frequencia de ressonancia seja m.
O segundo processo pode ser interpretado da seguinte forma: sabemos que se a multipli-
cidade da frequencia de ressonancia for m, entao, existem m funcoes proprias linearmente
independentes. Assim o espaco de possveis solucoes do, sistema (3.8) tem
14
dimensao m1.
Entao por cada condicao-extra que impomos, na verdade, estamos a diminuir os graus de
liberdade do conjunto de solucoes do sistema. Ent ao, por exemplo, se um dado tem multi-
plicidade 2, ao impormos que para um dado x
0
no interior do domnio se tenha u(x
0
) = 1 o
espaco das possveis solucoes do sistema (3.8) tem ainda dimensao 1, pelo que sao ainda inni-
tas as solucoes do sistema
15
. Se escolhermos agora outro ponto x
1
,= x
0
no interior do domnio
e impusermos mais uma condicao, por exemplo u(x
1
) = 1, entao temos uma unica funcao
propria u(x) nestas condicoes. Claro que se tentarmos novamente impor outra condicao sobre
um ponto x
2
distinto dos dois primeiros pontos, em geral, obteremos um sistema impossvel.
O processo consiste em impor sucessivas condicoes sobre pontos distintos do domnio, ate que
nao consigamos obter solucao do sistema. Assim, a multiplicidade do valor proprio sera dada
pelo n umero de condicoes-extra que conseguimos impor
16
no sistema (3.7).
Vejamos os resultados obtidos no caso em que o domnio e o quadrado de lado unitario para
o qual, como vimos atras podemos facilmente determinar a multiplicidade dos valores proprios.
No primeiro exemplo vamos considerar a segunda frequencia de ressonancia que sabemos ter
multiplicidade um. Como vemos apenas conseguimos impor uma condicao ao sistema e obter
assim uma funcao propria. Ao tentarmos impor mais uma condicao obtemos o segundo graco
que nao e uma funcao propria (Figura 22). Vamos agora considerar a terceira frequencia
de ressonancia que sabemos ter multiplicidade dois. Como vimos conseguimos impor duas
condicoes e ainda assim obter uma funcao propria, pelo que a frequencia tera multiplicidade
dois (Figura 23). Finalmente consideremos a quarta frequencia de ressonancia que sabemos ter
multiplicidade dois: Como vemos, conseguimos impor duas condicoes ao sistema e obter ainda
assim funcoes proprias, pelo que a multiplicidade devera ser igual a dois (Figura 24).
14
pois, na verdade, ao impormos que as soluc oes do sistema (3.8) veriquem u(x0) = 1 para x0 no interior
do domnio, estamos a impor que o espaco das possveis soluc oes do sistema (3.8) tenha menos um grau de
liberdade que o espaco das soluc oes do sistema (3.7) que tinha dimensao m.
15
As possveis soluc oes sao m ultiplas umas das outras.
16

E obvio que ha que ter algum cuidado quando tentamos impor mais uma condicao ao sistema, de forma
a que a nova condic ao a impor seja, de facto, uma nova condic ao, isto e que nao haja combinac ao linear das
fun c oes proprias ja determinadas.
33
0
0.2
0.4
0.6
0.8
1
0
0.2
0.4
0.6
0.8
1
-2
0
2
0
0.2
0.4
0.6
0.8
1
0
0.2
0.4
0.6
0.8
1
0
0.2
0.4
0.6
0.8
1
-10000
0
10000
0
0.2
0.4
0.6
0.8
1
Figura 22: multiplicidade um da segunda frequencia de ressonancia.
0
0.2
0.4
0.6
0.8
1
0
0.2
0.4
0.6
0.8
1
-1
0
1
0
0.2
0.4
0.6
0.8
1
0
0.2
0.4
0.6
0.8
1
0
0.2
0.4
0.6
0.8
1
-2
0
2
0
0.2
0.4
0.6
0.8
1
0
0.2
0.4
0.6
0.8
1
0
0.2
0.4
0.6
0.8
1
-1000
-500
0
500
0
0.2
0.4
0.6
0.8
1
Figura 23: multiplicidade dois da terceira frequencia de resson ancia.
0
0.2
0.4
0.6
0.8
1
0
0.2
0.4
0.6
0.8
1
-2
0
2
0
0.2
0.4
0.6
0.8
1
0
0.2
0.4
0.6
0.8
1
0
0.2
0.4
0.6
0.8
1
-5
0
5
0
0.2
0.4
0.6
0.8
1
0
0.2
0.4
0.6
0.8
1
0
0.2
0.4
0.6
0.8
1
-500
0
500
0
0.2
0.4
0.6
0.8
1
Figura 24: multiplicidade dois da quarta frequencia de ressonancia.
34
3.3 Testes de convergencia do metodo numerico
Vejamos agora um resultado que nos da uma estimativa de erro a posteriori.
Teorema 3.4. Sejam e u aproximacoes da frequencia propria e da funcao propria satis-
fazendo o problema:
_
u =
2
u em
u = (x) sobre
(3.9)
Entao existe uma frequencia propria
p
tal que
[
p
[

p
(3.10)
onde
=

A||
L

()
| u|
L
2
()
(3.11)
e A representa a area do domnio. Alem disso, se | u|
L
2
()
= 1, e u for a projeccao ortogonal
normalizada de u sobre o espaco proprio de
p
, entao
|u u|
L
2
()

p
_
1 +

2

2
p
_
1
2
(3.12)
onde

p
:= min

n
=
p

2
n

2

n
(3.13)
Demonstracao: Ver [59]

Usando a desigualdade (3.10) podemos facilmente deduzir que


_

1 +
_

k

_

1
_
(3.14)
Corolario 3.1. (Convergencia do Metodo Numerico) O metodo numerico para o calculo das
frequencias de ressonancia e funcoes proprias e convergente.
Demonstracao: De acordo com o Teorema (3.2), por densidade temos
N ||
L

()
0
e atendendo `a relacao (3.11), 0 logo, pelas estimativas (3.12) e (3.14) temos [ [
N
0
e |u u|
L
2
()
N
0

35
Vamos agora aplicar as estimativas obtidas a dois exemplos:
Exemplo 1
majorac ao do erro da frequencia propria
Vejamos dados relativos ao domnio
1
, calculados com = 0.4. Na Figura 25 vemos os
valores de [(x)[, calculados em 1001 pontos sobre
1
para as duas primeiras funcoes
proprias u
1
e u
2
.
200 400 600 800 1000
510
-14
110
-13
1.510
-13
210
-13
2.510
-13
310
-13
200 400 600 800 1000
110
-14
210
-14
310
-14
410
-14
Figura 25: valores de [(x)[ sobre
1
para as duas primeiras funcoes proprias u
1
e u
2
(respec-
tivamente).
Pelos gracos da Figura 25, vemos que ||
L

(
1
)
e aproximadamente 2.72754 10
13
e
3.6956510
14
(respectivamente). Por outro lado, a area do domnio
1
e e obtivemos
numericamente que | u
1
|
L
2
()
= 1.15513 e | u
2
|
L
2
()
= 0.915148. Desta forma, temos
que
1
= 4.1852 10
13
e
2
= 7.15773 10
14
. Recorrendo `a relacao (3.11) e (3.14)
obtemos que
[
1
[ 2.61118 10
12
e
[
2
[ 1.01418 10
12
Observacao 3.1. Como acabamos de ver, obtemos majorantes para os erros das aprox-
imac oes das frequencias proprias da ordem de 10
12
. No entanto, podemos obter os
seguintes resultados para
1
:
com N=120,
1
= 2.497818298323243 e
com N=130,
1
= 2.4978182983232466 cujas aproximacoes diferem de 3.55271 10
15
,
pelo que e natural esperar que os erros sejam da ordem de 10
15
e para
2
:
com N=120,
2
= 3.764178242640037 e
com N=130,
2
= 3.764178242640038 cujas aproximacoes diferem de 8.67142 10
16
,
pelo que e natural esperar que os erros sejam da ordem de 10
16
.
Observacao 3.2. Para calcular um dado valor proprio , recorremos ao algoritmo que
nos permite obter a frequencia de ressonancia . Depois calculamos = k
2
. Devemos
ter em conta que o erro obtido na aproximac ao da frequencia de ressonancia, em geral,
36
sera superior ao erro da aproximac ao do valor proprio. Suponhamos que conseguimos
calcular uma frequencia de ressonancia com erro da ordem 10
p
, entao temos
k =

k +10
p
com [[ < 10. Entao
= k
2
=

k
2
+
2
10
2p
+ 210
p

k =

+
2
10
2p
+ 2

k10
p
e desprezando o termo em 10
2p
, temos que


+ 2

k10
p
Fica evidente o facto de que `a medida que aproximamos valores proprios mais altos,
obtenhamos aproximacoes piores.
majorac ao do erro da func ao propria
Para podermos ter um majorante para a norma do erro da aproximacao da funcao propria
(recorrendo `a relacao (3.12)), deveremos ter | u
i
|
L
2
()
= 1, pelo que deveremos normalizar
a funcao propria (o que nao altera o valor de ). Temos agora que

1
= [
1

2
[ = 7.92994
e como o terceiro valor proprio e aproximadamente 16.441136,

2
= min[
1

2
[ , [
3

2
[ = min7.92994, 2.2721 = 2.2721
Entao, por (3.12) podemos concluir que
|u
1
u
1
|
L
2
()
5.27772 10
14
e
|u
2
u
2
|
L
2
()
3.15027 10
14
Exemplo 2
majorac ao do erro da frequencia propria
Vejamos dados relativos ao domnio
2
, calculados com = 0.25.
Na Figura 26 vemos resultados analogos aos obtidos no exemplo anterior, para o domnio

2
.
Pelos gracos da Figura 26, vemos que ||
L

(
2
)
e aproximadamente 9.46972 10
15
e 1.35505 10
13
(resp.). A area do domnio
2
e 2.26892802 (aprox.) e obtivemos
37
200 400 600 800 1000
210
-15
410
-15
610
-15
810
-15
200 400 600 800 1000
210
-14
410
-14
610
-14
810
-14
110
-13
1.210
-13
Figura 26: valores de (x) sobre
2
para as duas primeiras funcoes proprias u
1
e u
2
(respec-
tivamente).
| u
1
|
L
2
(
2
)
= 1.08574121 e | u
2
|
L
2
(
2
)
= 0.90247125. Obtemos os seguintes majorantes
de erro
[
1
[ 1.57755 10
13
e
[
2
[ 3.94913 10
12
majorac ao do erro da func ao propria
Temos que

1
= [
1

2
[ = 5.45318
e como o terceiro valor proprio e aproximadamente 30.7288,

2
= min[
1

2
[ , [
3

2
[ = min5.45318, 13.2678 = 5.45318
Entao, por (3.12) podemos concluir que
|u
1
u
1
|
L
2
(
2
)
2.89844 10
15
e
|u
2
u
2
|
L
2
(
2
)
4.14746 10
14
.
Observacao 3.3. Vimos atras que podemos estimativas para as frequencias proprias e podemos
garantir que os erros absolutos das primeira e segunda frequencias proprias sao inferiores a
1.57755 10
13
e 3.94913 10
12
. No entanto, podemos obter os seguintes resultados para
1
:
com N=180,
1
= 3.465228791746208 e
com N=190,
1
= 3.465228791746209 cujas aproximacoes diferem de 8.88178 10
16
.
e para
2
:
com N=180,
2
= 4.178634826067798 e
com N=190,
2
= 4.178634826067797 cujas aproximacoes diferem de 8.8178710
16
, pelo que
deveremos ter erros absolutos da ordem de 10
16
.
38
3.4 Aplicacao a outros tipos de condic oes de fronteira
3.4.1 Aplicacao a condicoes de Neumann
Nesta seccao vamos ver como podemos recorrer ao MSF para determinar as frequencias de res-
sonancia e respectivas funcoes proprias de problemas com condicoes de fronteira de Neumann.
Em [12] aplicamos o MSF a um domnio nao simplesmente conexo D = D
2
D
1
(com D
1
e D
2
bolas concentricas de raios 1 e 2, respectivamente) ao qual imposemos condicoes de fronteira
mistas (Dirichlet sobre D
2
e Neumann sobre D
1
). Para aproximar a condicao de Neumann
recorremos `a mesma construcao que permitia obter a fronteira articial. Para cada ponto
x
i
D
1
, consideramos um ponto x
i
obtido pelo algoritmo para a escolha dos pontos-fonte que
dista de x
i
de um valor bastante pequeno. Desta forma, aproximamos a condicao de fronteira
de Neumann por diferencas nitas, da seguinte forma:

n
u(x
i
)
u( x
i
) u(x
i
)

Vejamos agora que podemos evitar esta aproximacao da derivada normal. Temos que
n
u(x) =
n.u(x), sendo n o vector normal com norma unitaria que aponta para o exterior do domnio.
Por outro lado, consideramos aproxima coes da forma
u(x) =
n

j=1

k
(x y
j
) =
i
4
n

j=1

j
H
(1)
0
(k [x y
j
[)
pelo que
u(x) =
i
4
n

j=1

j
H
(1)
0
(k [x y
j
[)
Temos agora que por denicao de H
(1)
0
H
(1)
0
(r) = J
0
(r) +i Y
0
(r)
onde r =
_
x
2
+y
2
. Sabemos que
J
0
(r)
r
= J
1
(r)
e da mesma forma
Y
0
(r)
r
= Y
1
(r)
pelo que obtemos
u(x) =
i
4
n

j=1

j
k
x y
j
[x y
j
[
H
(1)
1
(k [x y
j
[)
onde denimos
H
(1)
1
(r) = J
1
(r) +i Y
1
(r)
e denindo

(x) =
i
4
H
(1)
1
(k [x[)
39
temos
u(x) =
n

j=1

j
k
x y
j
[x y
j
[

(k [x y
j
[).
Assim, depois de calcularmos o vector normal a cada ponto de colocacao x
i
deveremos
na resolucao do sistema impor

n
u(x
i
) =
n

j=1

j
k
_
n,
x y
j
[x y
j
[
_

(k [x y
j
[) = 0.
Vejamos os erros que obtivemos no caso do quadrado de lado unitario. Calculando aprox-
imacoes para as primeiras tres frequencias de ressonancia positivas
i
considerando = 0.4
obtivemos os seguintes erros absolutos
17
:
m erro abs. (
1
) m erro abs. (
2
) m erro abs. (
3
)
50 2.70885 10
6
50 1.42207 10
4
50 3.76806 10
4
60 5.39236 10
7
60 1.53213 10
6
60 7.37237 10
5
70 9.74946 10
8
70 8.75627 10
7
70 6.56234 10
7
80 1.56694 10
8
80 6.38602 10
8
80 4.92871 10
8
Como vemos, os erros que obtivemos neste caso com condicoes de fronteira de Neumann
sao ligeiramente superiores aos que obtivemos no caso analogo com condicoes de fronteira de
Dirichlet. No entanto, estes valores sugerem que este metodo possa ser aplicavel a problemas
com condicoes de fronteira de Neumann, mesmo quando a fronteira do domnio nao e regular.
3.4.2 Funcoes proprias com condicoes de fronteira de Neumann
Nesta seccao vamos ver que podemos obter boas aproxima coes das funcoes proprias con-
siderando condicoes de fronteira de Neumann. Vamos usar o mesmo processo que foi adoptado
no caso de condicoes de fronteira de Dirichlet: Vamos considerar M+1 pontos sobre a fronteira
articial e M + 1 pontos de colocacao, M dos quais sobre a fronteira nos quais impomos

n
u(x
i
) = 0 e o outro ponto no interior do domnio no qual impomos u(x
i
) = 1.
Vamos, por simplicidade considerar a funcao propria associada `a segunda frequencia de
ressonancia que tem multiplicidade um. Atendendo a que a condicao-extra foi neste caso
u(
1
3
,
1
4
) = 1 vamos considerar a seguinte solucao exacta
=

2, u(x, y) = 2

2 cos(x) cos(y).
Obtemos os seguintes resultados com 150 pontos de colocacao:
Obtemos erros da ordem de 10
5
e 10
8
se considerarmos (respectivamente) 60 e 100 pontos
de colocacao. Tal como zemos no caso de condicoes de fronteira de Dirichlet vamos agora
estudar a inuencia que o erro associado `as aproxima coes pode ter na determinacao das funcoes
proprias. Vamos entao considerar pequenas perturbacoes aos valores exactos da frequencia de
ressonancia. Vejamos os gracos do erro obtido com 150 pontos de colocacao na Figura 28:
17
sabemos que as primeiras tres frequencias de ressonancia positivas sao ,

2 e 2
40
0 0.5 1
0
0.5
1
-2
0
2
0 0.5 1
0
0.5
1
0 0.5 1
0
0.5
1
-210
-10
0
210
-10
410
-10
0 0.5 1
0
0.5
1
Figura 27: gracos da aproximacao da funcao propria e do erro considerando = 0.4.
0 0.5 1
0
0.5
1
-0.00005
0
0 0.5 1
0
0.5
1
0 0.5 1
0
0.5
1
-0.001
-0.0005
0
0.0005
0 0.5 1
0
0.5
1
0 0.5 1
0
0.5
1
-0.006
-0.004
-0.002
0
0.002
0 0.5 1
0
0.5
1
Figura 28: gracos do erro da funcao propria considerando perturbacoes aos valores proprios
(respectivamente) de 10
5
, 10
4
e 10
3
.
3.4.3 Aplicacao a condicoes de fronteira mistas
Para ilustrar a versatilidade do MSF na determinacao numerica das frequencias de ressonancia,
vamos aplicar o algoritmo a um problema com condicoes de fronteira mistas. Vamos considerar
o domnio
4
=
5

6
C
, onde
5
e o domnio cuja fronteira e parametrizada por
t (3 cos(t), 2 (sin(t) + cos(2t)) + 2)
e
6
e o disco de raio unitario, centrado na origem. Vamos impor condicoes de Dirichlet nulas
sobre
5
e condicoes de Neumann nulas sobre
6
. Vejamos as funcoes proprias associadas
`as primeiras nove frequencias de ressonancia do domnio
4
(Figura 29) e respectivos domnios
nodais (Figura 30).
41
Figura 29: funcoes proprias associadas `as primeiras nove frequencias de ressonancia do
domnio
4
.
4 Simulac oes Numericas
Nesta seccao vamos recorrer aos metodos numericos que desenvolvemos nas seccoes anteriores
para tentar esclarecer algumas questoes. Os resultados apresentados sao meramente experi-
mentais, pelo que sugerem algumas conclusoes, mas necessitam de justicacao teorica.
42
Figura 30: domnios nodais das funcoes proprias associadas `as primeiras nove frequencias de
ressonancia do domnio
4
.
4.1 Minimizacao de valores proprios
Nas seccoes anteriores apresentamos um algoritmo baseado no MSF que nos permite resolver
numericamente o problema de obter aproxima coes das frequencias de ressonancia de um dado
domnio. Vamos agora abordar um problema que de certa forma e o problema inverso do
anterior. Neste caso, dada uma frequencia , vamos determinar um domnio para o qual e
uma frequencia de ressonancia. Sabemos que uma dada funcao g
I
que seja uma combinacao
linear da forma (3.1) (para uma frequencia xa) satisfaz a equacao de Helmholtz em qualquer
regiao que nao contenha no seu interior nenhum ponto-fonte. Assim, se existir uma regiao
I
43
delimitada pelas linhas nodais desta funcao, entao conhecemos explicitamente uma frequencia
de ressonancia e respectivo modo de vibracao de
I
: a frequencia de ressonancia sera e o
respectivo modo proprio sera a restricao de g
I
a
I
.
Vamos formalizar o problema que pretendemos resolver:
Problema:
Dada uma curva pretendemos encontrar = com (

e um domnio limitado),
de forma a que (uma frequencia xa) seja frequencia de ressonancia de

.
Metodo:
Consideramos M + 1 pontos x
1
, ..., x
M
; x
M+1
/ e utilizamos o Metodo das Solucoes
Fundamentais com pontos y
1
, ..., y
M+1
(com

). Tal como anteriormente construimos
um sistema impondo as condicoes u(x
i
) =
i,M+1
, i = 1, ..., M +1, onde
i,j
designa o delta de
Kronecker e
u(x) =
M+1

k=1

k
(x y
k
).
Tendo obtido a funcao u, que se anula nos pontos x
i
, procuramos a curva

( ) tal
que x
i


e u(x) = 0 (x

) o que pode ser efectuado atraves de um metodo simples para
determinacao de razes (p. ex. o metodo de Newton aplicado a segmentos).
Vejamos alguns resultados:
Em cada um dos exemplos, no primeiro graco estao representados a vermelho os M pontos
considerados sobre a curva , a verde o ponto x
M+1
e a azul os M +1 pontos y
1
, ..., y
M+1

e no segundo graco o domnio que obtemos. Em cada exemplo esta assinalada a frequencia .
Podemos garantir que estas frequencias sao as primeiras frequencias dos respectivos domnios,
pois a funcao propria associada ao primeiro valor proprio tem exactamente um domnio nodal
(Corolario (2.1)) e todas as funcoes proprias associadas `as outras frequencias de ressonancia
tem pelo menos dois domnios nodais (Corolario (2.3)).
Vamos agora estudar domnios dos quais conseguimos determinar outras frequencias de res-
sonancia. No entanto, neste caso, nao conseguimos a priori dizer se a frequencia e
2
,
3
ou outra frequencia de ressonancia superior. Mesmo no caso me que temos dois domnios, de
acordo com o Corolario (2.3) podemos concluir de >
1
. No entanto, em geral, nao saberemos
dizer qual e a ordem da frequencia de ressonancia que consideramos.
Podemos agora aplicar este procedimento, por exemplo, para tentar determinar domnios
que minimizem um determinado valor proprio sobre todos os domnios com uma area xa.
Quanto ao primeiro valor proprio de acordo com o Teorema (2.6) a bola e o domnio min-
imizante. Quanto ao segundo valor proprio, esta provada a existencia de um domnio que
minimiza
2
sobre todos os domnios convexos. Com base num estudo numerico, Troesch con-
44
-10 -5 5 10
-10
-5
5
10
-4 -2 0 2 4
-4
-2
0
2
4
0.93
-3 -2 -1 1 2 3
-4
-2
2
4
-4 -2 0 2 4
-4
-2
0
2
4
1.94
Figura 31: localizacao dos pontos x
i
e y
i
e domnios para os quais e a primeira frequencia
de ressonancia.
jecturou que seria o estadio
18
o domnio optimal (cf. [71]). Esta conjectura foi refutada
em 2001, por Henrot e Oudet basicamente mostrando que o domnio optimal nao contem na
sua fronteira arcos de circunferencia (cf. [38]). Em [60] e [61] foi levado a cabo um estudo
numerico no sentido de determinar numericamente um domnio convexo, para o qual o segundo
valor proprio fosse inferior ao do estadio. Considerando domnios com areas unitarias, sabe-
se que o segundo valor proprio do estadio e aproximadamente 38.001. De acordo com [60] foi
obtido um domnio convexo para o qual
2
= 37.980 que e o menor valor actualmente conhecido
para o segundo valor proprio.
Fixando uma frequencia = 2.2368261456 e aplicando o metodo que descrevemos obtemos
uma determinada funcao g
I
que, por ser extensa nao vamos aqui explicitar e os domnios nodais
representados na Figura 32. Para compararmos com os valores obtidos por Oudet, deveremos
normalizar o valor proprio que temos. Em particular, precisamos de calcular a area do domnio
(obtivemos que a area e aproximadamente A = 15.178269411404. Assim a aproximacao do
valor proprio sera Ak
2
0
37.971409844988. Este valor e ligeiramente inferior ao obtido por
Oudet. No entanto, nao e totalmente evidente na Figura 32, mas o domnio nao e convexo e o
18
i.e, o envelope convexo de dois discos identicos e tangentes
45
segundo valor proprio do envelope convexo deste domnio e mesmo superior ao valor atingido
no caso do estadio.
Figura 32: domnios nodais de g
I
.
4.2 Simulac oes com polgonos, considerando condicoes de fronteira de Dirich-
let
Simulacoes com polgonos regulares
Nesta seccao vamos motivar duas questoes relacionadas com propriedades dos valores proprios
nos polgonos regulares. Iremos depois recorrer ao metodo numerico para tentar sugerir re-
spostas.
Questao 1
Sera que temos a relacao
1
_
P
3
R
_
>
1
_
P
4
R
_
> ... >
1
(P

R
)?
De outra forma, com esta questao pretende-se saber se sobre os polgonos regulares, o primeiro
valor proprio
1
e ou nao uma funcao decrescente do n umero de lados do polgono.
Sabemos, de acordo com o Teorema (2.6) que o crculo minimiza o valor de
1
sobre todos
os domnios com uma dada area xa. Uma vez que sao conhecidos os valores do primeiro
valor proprio do triangulo equilatero, do quadrado e do crculo (que vamos designar por P

R
),
podemos facilmente vericar que

1
(P
3
R
) >
1
(P
4
R
) >
1
(P

R
)
Por outro lado, se a Conjectura (2.1) for valida, este resultado e imediato, pois por exemplo,
qualquer triangulo pode ser aproximado por um quadrilatero.
Com vista a tentar responder `a questao colocada, consideramos polgonos regulares com
area unitaria. Podemos ver gracamente os resultados obtidos para o primeiro valor proprio em
46
funcao do n umero de lados do polgono considerado (Figura 33). Temos assinalado a tracejado
3 4 5 6 7 8 9
19
20
21
22
p j
0, 1
2
Figura 33: primeiro valor proprio dos polgonos P
n
R
, em funcao do n umero de lados.
o valor que obtemos no caso do crculo. Os valores obtidos sugerem que a resposta `a questao
colocada seja armativa.
Observacao 4.1. Neste graco apenas apresentamos os resultados obtidos para os polgonos P
n
R
com n = 3, ..., 9. Sabemos que quando deformamos continuamente um dado domnio os valores
proprios tambem variam continuamente. Intuitivamente, podemos concluir que domnios com
geometrias parecidas tem valores proprios proximos. Assim, se tomarmos n grande temos
que o polgono regular obtido e bastante semelhante a uma bola e, em particular, tambem
os polgonos P
n
R
e P
n+1
R
sao semelhantes, pelo que os respectivos valores proprios tendem
a car muito proximos. Assim, para n grande, torna-se necessario considerar muitos pontos
de colocacao por forma a obter resultados com a precisao suciente para permitir ordenar os
valores proprios, como pretendemos.
Podemos agora colocar uma questao analoga, mas para o quociente

2

1
.
Questao 2
Sera que temos a relacao

1
(P

R
) > ... >

2

1
_
P
4
R
_
>

2

1
_
P
3
R
_
?
De acordo com o Teorema (2.10) a bola maximiza este quociente. Por outro lado, como sao
conhecidos os dois primeiros valores proprios do triangulo equilatero e do quadrado podemos
facilmente estabelecer que

1
(P

R
) >

2

1
_
P
4
R
_
>

2

1
_
P
3
R
_
.
Vamos estar interessados em ver se este quociente de valores proprios e ou nao uma funcao
crescente do n umero de lados. Para tentar responder a esta questao calculamos numericamente
47
os dois primeiros valores proprios para os n-polgonos regulares, com n = 3, ..., 9 e podemos ver
os resultados respeitantes aos quocientes

2

1
no seguinte graco. A tracejado representamos o
valor assumido na bola
j
2
1,1
j
2
0,1
2.5387.
3 4 5 6 7 8 9
2.35
2.4
2.45
2.5
j
1, 1
2
j
0, 1
-2
Figura 34: quocientes

2

1
para os primeiros sete n-polgonos regulares.
Como podemos ver os resultados sugerem que a resposta `a ultima questao seja armativa.
Vamos agora concentrar-nos sobre a classe dos triangulos e obter alguns resultados experi-
mentais:
Simulacoes com triangulos
Sabemos que os valores proprios sao invariantes por translacoes e rotacoes. Por outro lado
dados dois polgonos semelhantes Q
1
e Q
2
com areas A
1
e A
2
respectivamente temos

1
(Q
1
)A
1
=
1
(Q
2
)A
2
(4.1)
Assim, para estudarmos os valores proprios de todos os triangulos podemos denir classes de
equivalencia da seguinte forma: designemos por Q[T
1
] a classe de todos os triangulos semel-
hantes ao triangulo T
1
.

E obvio que Q[T
1
] dene efectivamente uma classe de equivalencia
de triangulos e que atendendo `a relacao (4.1) podemos apenas estudar um triangulo em cada
classe de equivalencia Q[T
1
]. Entao podemos supor que dois dos vertices do triangulo sejam
os pontos 1, 0 e 1, 0. Para que sejam geradas todas as possveis classes de equivalencia
de triangulos basta que o terceiro vertice seja escolhido no primeiro quadrante. Assim vamos
considerar a seguinte malha de pontos pertencentes ao conjunto [xmin; xmax] [ymin; ymax]
e tomando
x
i
= i
x
max
x
min
N
, i = 0, 1, ..., N
48
e
y
j
= j
y
max
y
min
M
, j = 0, 1, ..., M
e tomando x
min
= 0, x
max
= 1.35, y
min
= 0.85, y
max
= 4.37, N = 9 e M = 32 vamos
considerar os pontos x
i
, y
j
, i = 0, ..., N, j = 0, ...M obtendo a malha de pontos representada
na Figura 35.
-1 -0.5 0.5 1
1
2
3
4
Figura 35: malha de pontos para obter o terceiro vertice de cada triangulo.
Para cada ponto da malha p vamos considerar o triangulo T
p
de vertices 1, 0, 1, 0 e
p.
Observacao 4.2. O algoritmo para o calculo numerico das frequencias de ressonancia foi de-
senvolvido na linguagem Mathematica onde ja estao implementadas as funcoes de Bessel. Uma
observacao experimental e que o tempo computacional dispendido para calcular as func oes de
Bessel de uma frequencia baixa e muito menor que no caso de uma frequencia alta. Como vimos
atras, podemos escolher apenas um elemento de cada classe de equivalencia. Assim, para tornar
o algoritmo mais ecaz podemos escolher em cada classe um triangulo com area relativamente
grande. Desta forma, os respectivos valores proprios serao pequenos, e consequentemente o
algoritmo sera muito mais rapido.

E claro que se tomarmos triangulos com area demasiado
grande, entao os valores proprios irao acumular-se muito, o que diculta a sua determinacao.
Assim, para cada triangulo T
p
consideramos o triangulo da mesma classe de equivalencia de
T
p
que tem area igual a 4.
Vejamos os gracos relativos aos valores de
1
e do permetro (Figura 36) e os gracos das
respectivas curvas de nvel (Figura 37).
Como podemos ver, no caso dos triangulos, os gracos das Figuras 36 e 37 sugerem que o
primeiro valor proprio
1
tem um comportamento identico ao do permetro. De acordo com
a desigualdade (2.8) temos que, sobre todos os triangulos com uma determinada area xa, o
triangulo equilatero e o que tem menor permetro. Em particular, neste exemplo consideramos
49
1 2 3 4
y
0
0.5
1
x
6
7
8
1 2 3 4
y
0
0.5
1
x
1 2 3 4
x
0
0.5
1
y
10
11
1 2 3 4
x
0
0.5
1
y
Figura 36: gracos de
1
e do permetro (respectivamente) sobre os triangulos da malha con-
siderada.
1 1.5 2 2.5 3 3.5 4
0
0.2
0.4
0.6
0.8
1
1.2
1 1.5 2 2.5 3 3.5 4
0
0.2
0.4
0.6
0.8
1
1.2
Figura 37: curvas de nvel de
1
e do permetro (respectivamente) sobre os triangulos da malha
considerada.
triangulos com area igual a 4, pelo que naturalmente o mnimo permetro e atingido em P
3
R
.
Neste caso, o triangulo equilatero e aquele em que a altura e dada por

3 1.73205, pelo
que como e visvel na Figura 36 o mnimo e atingido no ponto (x, y) = (0,

3). Da mesma
forma, pela desigualdade (2.7) temos que P
3
R
minimiza
1
, o que e evidenciado nos segundos
gracos das Figuras 36 e 37.
Nas Figuras 38 e 39 vemos os resultados obtidos para
2
e
3
e os gracos das respectivas
curvas de nvel.
Da observacao das Figuras 38 e 39 vemos que
2
atinge um maximo local no triangulo regular.
Da mesma forma, vemos que
3
atinge um mnimo local em P
3
R
. De acordo com uma observacao
que zemos na seccao 2.3 esta conjecturado que a bola minimiza o valor de
3
, e portanto, e
natural esperar que P
3
R
seja um minimizante do valor de
3
sobre os triangulos. Desta forma
3
devera mesmo atingir um mnimo absoluto em P
3
R
. Outra observa cao que a Figura 38 sugere
e que as funcoes relativas aos valores de
2
e
3
nao sejam diferenciaveis em P
3
R
. Sabe-se
50
1 2 3 4
y
0
0.5
1
x
12.5
13
13.5
1 2 3 4
y
0
0.5
1
x
1 2 3 4
y
0
0.5
1
x
14
16
18
1 2 3 4
y
0
0.5
1
x
Figura 38: gracos de
2
e de
3
(respectivamente) sobre os triangulos da malha considerada.
1 1.5 2 2.5 3 3.5 4
0
0.2
0.4
0.6
0.8
1
1.2
1 1.5 2 2.5 3 3.5 4
0
0.2
0.4
0.6
0.8
1
1.2
Figura 39: curvas de nvel de
2
e de
3
(respectivamente) sobre os triangulos da malha con-
siderada.
que temos que
2
(P
3
R
) =
3
(P
3
R
), ou seja
2
tem multiplicidade dois no caso do triangulo
equilatero. Assim, para cada triangulo T que seja uma pequena perturbacao do triangulo
equilatero teremos que os valores proprios
2
(T) e
3
(T) serao dados por duas superfcies
S
1
(T) e S
2
(T) que se intersectam em P
3
R
. Desta forma, teremos
2
(T) = MinS
1
(T), S
2
(T)
e
3
(T) = MaxS
1
(T), S
2
(T) o que justica a nao diferenciabilidade dos valores proprios
2
e
3
em P
3
R
. Aparentemente temos uma situacao identica num triangulo cujo terceiro vertice
e (x, y) (0.7, 0.9), onde devera haver um triangulo para o qual teremos
3
=
4
.
Podemos agora recordar que, como foi referido no Teorema (2.10) da seccao 2.3 a bola
maximiza o quociente

2

1
.

E natural esperar que sobre todos os triangulos seja o polgono P
3
R
a maximizar este quociente.
Os gracos da Figura 40 sugerem a conjectura de que sobre todos os triangulos o quociente

2

1
seja maximizado no triangulo equilatero P
3
R
.
51
1 2 3 4
x
0
0.5
1
y
1.8
2
2.2
1 2 3 4
x
0
0.5
1
y
1 1.5 2 2.5 3 3.5 4
0
0.2
0.4
0.6
0.8
1
1.2
Figura 40: gracos de

2

1
e respectivas curvas de nvel.
Simulacoes sobre os triangulos isosceles
Vamos agora fazer um estudo sobre os triangulos isosceles. Vejamos os gracos obtidos
para o permetro,
1
e
2
(em funcao da altura do triangulo).
1 1.5 2 2.5 3 3.5 4
9.2
9.4
9.6
9.8
10
10.2
1 1.5 2 2.5 3 3.5 4
5.8
6
6.2
6.4
6.6
2 4 6 8
14
16
18
20
22
24
26
Figura 41: gracos do permetro, de
1
e
2
para alguns triangulos isosceles.

E bem visvel nos gracos da Figura 41 que o triangulo equilatero minimiza o valor do permetro
e de
1
sobre todos os triangulos isosceles. Por outro lado, vemos que o valor de
2
devera ter
tres extremos relativos: dois mnimos relativos e um maximo relativo. Analisando o terceiro
graco da Figura 41 podemos sugerir que o primeiro mnimo relativo ocorra quando a altura
do triangulo e 1, ou seja, quando tivermos o triangulo rectangulo. O maximo relativo ocorre
no triangulo equilatero, como era esperado, uma vez que
2
(P
3
R
) =
3
(P
3
R
). O segundo mnimo
relativo e um triangulo isosceles de base com comprimento igual a 2 e cuja altura h devera
vericar 3.234 h 3.235.
Podemos, ainda para os triangulos isosceles fazer o mesmo estudo para os valores proprios
seguintes. Assim, calculando alguns valores obtivemos os resultados representados na Figura 42.
Da analise da Figura 42 podemos por exemplo sugerir que o terceiro valor proprio de um
triangulo isosceles

T (com base de comprimento igual a 2 e altura h 4) tenha multiplicidade
2, isto e, que
3
(

T) =
4
(

T). Este facto pode ainda ser observado na Figura 38. Por outro
lado, podemos sugerir que o valor
4
tenha um mnimo relativo neste ultimo triangulo

T.
52
2 4 6 8
20
25
30
35
40
Figura 42: gracos de
2
,
3
,...,
8
para os triangulos isosceles.
Deveremos ainda ter um mnimo relativo no triangulo rectangulo e um maximo relativo no
triangulo equilatero.
Vejamos o graco de

2

1
para os triangulos isosceles (Figura 43).
1.5 2 2.5 3 3.5 4
1.9
2.1
2.2
2.3
Figura 43:

2

1
para os triangulos isosceles.
Vemos que este quociente devera ter o valor maximo no caso do triangulo equilatero, como ja
tnhamos referido.
Simulacoes com n-polgonos, n 4
Nesta seccao iremos apresentar alguns resultados da simulacao numerica para n-polgonos,
com n 4. Na Figura 44 apresentamos resultados relativos ao primeiro valor proprio de
triangulos e quadrilateros, como funcao do permetro do polgono. Uma vez que qualquer
triangulo pode ser aproximado por um quadrilatero, o segundo graco inclui tambem os resul-
tados relativos aos triangulos.
Nestes ultimos gracos ca evidente que o primeiro valor proprio nao devera, em geral, ser
uma funcao crescente do permetro.
Na Figura 45 representamos resultados para os pentagonos, hexagonos, heptagonos e octogonos.
Em cada caso representamos o valor obtido no polgono regular.
Estes resultados reforcam a Conjectura (2.1).
53
Figura 44: primeiro valor proprio em funcao do permetro no caso dos triangulos e dos
quadrilateros.
Figura 45: primeiro valor proprio no caso dos pentagonos, hexagonos, heptagonos e octogonos.
4.3 Simulac oes com triangulos, considerando condic oes de fronteira de Neu-
mann
Vamos agora efectuar umas simula coes para domnios triangulares aos quais impomos condicoes
de fronteira de Neumann. Tal como zemos no caso de condicoes de fronteira de Dirichlet,
54
consideramos para vertices do triangulo os pontos 1, 0, 1, 0 e geramos uma malha de
pontos sobre o conjunto [0, 1.35] [0.85, 3.71] representados na Figura 46.
-1 -0.5 0.5 1
0.5
1
1.5
2
2.5
3
3.5
Figura 46: malha que permite obter o terceiro vertice de cada um dos triangulos considerados.
Resultados relativos aos tres primeiros valores proprios positivos
Sabemos que o valor 0 e um valor proprio associado a qualquer domnio, quando consider-
amos condicoes de fronteira de Neumann. Vejamos os resultados obtidos para os tres primeiros
valores proprios positivos nas Figuras 47 e 48.
1 2 3
0
0.5
1
0.4
0.5
0.6
1 2 3
0
0.5
1
1 2 3
0
0.5
1
0.65
0.7
0.75
0.8
1 2 3
0
0.5
1
1 2 3
0
0.5
1
0.9
1
1 2 3
0
0.5
1
Figura 47: gracos de
1
,
2
e
3
para os triangulos considerados.
O primeiro graco das Figura 47 e Figura 48 sugere-nos que o triangulo equilatero maximize
o valor de
1
sobre todos os triangulos. Sabemos pelo Teorema (2.12) que a bola maximiza o
valor
1
sobre todos os conjuntos limitados com uma dada area xa. Estes resultados permitem-
nos conjecturar que o triangulo equilatero maximize o valor de
1
sobre todos os triangulos.
Por outro lado, temos que o quadrado maximiza o valor de
1
sobre todos os rectangulos (e
possivelmente sobre todos os quadrilateros). Assim, analogamente `a Conjectura (2.1), possivel-
mente teremos neste caso que o polgono P
n
R
maximize o valor de
1
sobre todos os n-polgonos.
Analisando o segundo e terceiro gracos das Figura 47 e Figura 48 podemos conjecturar que
o triangulo equilatero minimiza o valor de
2
e maximiza o valor de
3
(no caso de condicoes
55
1 1.5 2 2.5 3 3.5
0
0.2
0.4
0.6
0.8
1
1.2
1 1.5 2 2.5 3 3.5
0
0.2
0.4
0.6
0.8
1
1.2
1 1.5 2 2.5 3 3.5
0
0.2
0.4
0.6
0.8
1
1.2
Figura 48: curvas de nvel dos gracos de
1
,
2
e
3
para os triangulos considerados.
de Dirichlet tnhamos a situacao oposta, isto e, o triangulo equilatero maximiza
2
e minimiza

3
). Extrapolando estes resultados para a classe de todos os domnios limitados, a bola devera
minimizar o valor
2
e maximizar o valor
3
.
Resultados relativos a alguns quocientes envolvendo os primeiros valores
proprios
Vejamos agora os gracos relativos a alguns quocientes. No caso de condicoes de Dirichlet,
de acordo com Teorema (2.10) a bola maximiza o quociente

2

1
sobre todos os domnios coma
dada area xa. Como observamos atras, o triangulo equilatero devera maximizar o quociente

1
sobre todos os triangulos. Vejamos os resultados obtidos para os triangulos no caso de
condicoes de Neumann (Figura 49):
1 2 3
0
0.5
1
1.2
1.4
1.6
1.8
1 2 3
0
0.5
1
1 1.5 2 2.5 3 3.5
0
0.2
0.4
0.6
0.8
1
1.2
Figura 49: gracos de

2

1
sobre os triangulos considerados.
Como vemos, neste caso o triangulo equilatero devera minimizar o quociente

2

1
sobre todos
os triangulos e extrapolando, a bola devera minimizar o quociente

2

1
sobre todos os domnios
limitados com uma dada area xa. De acordo com a Proposicao (2.2), o quadrado minimiza
este quociente sobre todos os rectangulos.

E provavel que seja ainda um minimizante deste
quociente sobre todos os quadrilateros e que, mais geralmente, o n-polgono regular minimize
este quociente sobre todos os n-polgonos.
Finalmente, de acordo com a Conjectura (2.2) a bola devera maximizar o quociente

3
+
2

1
.
56
Vejamos os resultados relativos ao quociente

3
+
2

1
sobre os triangulos
1 2 3
0
0.5
1
3
3.5
4
1 2 3
0
0.5
1
1 1.5 2 2.5 3 3.5
0
0.2
0.4
0.6
0.8
1
1.2
Figura 50: gracos de

3
+
2

1
sobre os triangulos considerados.
Neste caso, o triangulo equilatero devera minimizar o quociente

3
+
2

1
sobre todos os
triangulos e extrapolando, e natural esperar que a bola minimize este quociente sobre to-
dos os domnios limitados e que o n-polgono regular minimize este quociente sobre todos os
n-polgonos.
4.4 Estimativas para polgonos
Nesta seccao vamos tentar sugerir algumas estimativas para o primeiro valor proprio
1
con-
siderando condicoes de fronteira de Dirichlet. Daqui em diante iremos representar por P
n
R
o
n-polgono regular com area unitaria.
4.4.1 Estimativas com dois termos
Um dos resultados classicos e a desigualdade (2.6) segundo a qual a bola minimiza o valor de

1
sobre todos os domnios com uma dada area xa. Este resultado pode ser escrito na forma

1

j
2
0

A
(4.2)
Analogamente, de acordo com o Teorema (2.7) o triangulo equilatero P
3
R
(respectivamente
quadrado P
4
R
) minimiza o valor de
1
sobre todos os triangulos (respectivamente quadrilateros).
Atendendo a que com areas unitarias temos
1
(P
3
R
) =
4
2

3
e
1
(P
4
R
) = 2
2
, podemos escrever
estes resultados sob a forma de desigualdade

1

4
2

3A
(4.3)
e

1

2
2
A
(4.4)
validas respectivamente para triangulos e quadrilateros. No caso n 5, esta conjecturado que
P
n
R
minimiza o valor de
1
sobre todos os n-polgonos, o que podera ser escrito sob a forma

1


1
(P
n
R
)
A
(4.5)
57
Vamos estar interessados em sugerir outras estimativas, recorrendo aos valores que calculamos
para 1700 polgonos com n umero de lados inferior ou igual a oito.
Vamos comecar por tentar determinar estimativas da forma
j
2
0

A
+
L
2
4A
A
2
(4.6)
tentando determinar o valor de forma a obtermos estimativas inferiores ou superiores. Esta
estimativa da igualdade no caso da bola, uma vez que o primeiro termo e o termo da estimativa
de Faber-Krahn (4.2) e o segundo termo e sempre nao-negativo (anulando-se na bola, de acordo
com a desigualdade (2.7)). Para tentarmos determinar estimativas inferiores, atendendo `as
relacoes (4.3), (4.4) e (4.5) vamos, para cada classe de polgonos tentar determinar o valor de
, de modo a que a estimativa de igualdade no caso do polgono regular P
n
R
. Por exemplo,
para triangulos obtemos que

3
=
4
2

3
j
2
0

12

3 4
0.5627
e, com os triangulos de que dispomos podemos conjecturar que e valida a estimativa para
triangulos

1
(P
3
)
j
2
0

A
+
4
2

3
j
2
0

12

3 4
L
2
4A
A
2
(4.7)
Analogamente, para quadrilateros podemos sugerir que

4
=
2
2
j
2
0

4( 4)
0.4574
obtendo a estimativa valida para quadrilateros
19

1
(P
4
)
j
2
0

A
+
2
2
j
2
0

4( 4)
L
2
4A
A
2
(4.8)
Para polgonos com n umero de lados superior a quatro, nao dispomos dos valores exactos do
polgono regular. No entanto, calculando estes valores numericamente e recorrendo aos valores
relativos ao primeiro valor proprio dos polgonos de que dispomos podemos conjecturar que
temos estimativas inferiores validas para polgonos com n umero de lados nao superior a n do
tipo

1
(P
n
)
j
2
0

A
+
n
L
2
4A
A
2
(4.9)
onde as constantes
n
sao determinadas de forma a que a estimativa de igualdade no caso do
polgono regular P
n
R
. Obtivemos os seguintes valores aproximados:

5
0.3820;
6
0.3268;
7
0.2848;
8
0.2521;
9
0.2260
19
e triangulos, pois qualquer triangulo pode ser aproximado por um quadrilatero
58
Podemos agora tentar ver se podemos determinar uma estimativa da forma (4.9) valida para
todos os domnios planares. Se a sucessao de valores
n
convergisse para um valor nao nulo,
entao podamos sugerir uma estimativa inferior que melhorava o resultado obtido da desigual-
dade (4.2). Usando os resultados obtidos por Greeneld e Strang [34] para o polgono regular
com 128 lados, podemos obter que
128
0.0135424, pelo que a sucessao devera convergir para
zero, o que inviabiliza a hipotese tentar melhorar a estimativa de Faber-Krahn (4.2) com
uma estimativa do tipo (4.9).
Quanto a estimativas superiores, recorrendo aos valores de que dispomos podemos conjec-
turar que tenhamos a estimativa

1

j
2
0

A
+

2
4
L
2
4A
A
2
(4.10)
valida para todos os domnios simplesmente conexos (mesmo para os nao convexos). Esta esti-
mativa tem a particularidade de dar igualdade na bola e num rectangulo em que o comprimento
de um dos lados tende para innito. Estas ultimas estimativas foram construidas partindo da
desigualdade de Faber-Krahn (4.2).

E natural esperar que obtenhamos estimativas mais pre-
cisas para cada uma das classes de polgonos se partirmos das relacoes (4.5).
Vejamos o caso dos triangulos. Vamos procurar estimativas do tipo
est

(L, A) =
4
2

3A
+
L
2
12

3A
A
2
(4.11)
Com os valores relativos aos triangulos de que dispomos podemos conjecturar que temos
_

1
est

(L, A) ,
0

1
est

(L, A) ,
1
(4.12)
com
0
0.7 e
1
0.77. Em particular, podemos sugerir a estimativa para triangulos

1
(P
3
)

2
L
2
9A
2
(4.13)
Podemos fazer a mesma analise para quadrilateros e obter resultados mais precisos. Com os
valores de que dispomos podemos conjecturar que

2
(3 2

3)L
2
4

3A
6(3

3 4)A
2

1
(P
4
)
2
L
2
8A
4A
2
(4.14)
Experimentalmente somos levados a armar que estas serao as melhores estimativas que en-
volvam apenas termos do tipo
1
A
e
L
2
A
2
. A estimativa inferior da igualdade no caso do quadrado
e do triangulo equilatero. A estimativa superior da igualdade em todos os rectangulos (de
acordo com a Proposicao (2.1)).
No primeiro graco da Figura 51 apresentamos os valores de
1
como funcao do permetro
(com area xa e igual a um). A preto representamos os pontos relativos ao primeiro valor
59
proprio dos triangulos de que dispomos. A azul (linha mais na) e a verde (linha mais car-
regada) representamos as estimativas superior e inferior (respectivamente) que obtivemos
(estimativas (4.12)); a vermelho (tracejado) representamos a estimativa (4.13). No segundo
graco apresentamos os resultados analogos obtidos para os quadrilateros.

E bem visvel no
graco que alguns pontos a preto se sobrepoem `as estimativas que obtivemos. No caso da
estimativa inferior estes pontos sao os relativos ao triangulo equilatero e ao quadrado, no caso
da estimativa superior, todos os pontos relativos aos rectangulos que consideramos. Quanto a
Figura 51: gracos dos valores de
1
como funcao do permetro e as estimativas que obtivemos
para triangulos e para quadrilateros.
outros n-polgonos a situacao e analoga, vamos procurar estimativas da forma
est

(L, A) =

1
(P
n
R
)
A
+
L
2
4ntan(

n
)A
A
2
(4.15)
e para cada valor de n, obtemos estimativas do genero
_

1
est

(L, A) ,
0

1
est

(L, A) ,
1
(4.16)
para determinadas constantes positivas
0
e
1
. Uma observacao que devemos fazer e que a
constante
1
e aquela para a qual a estimativa da igualdade no polgono regular com n1 lados.
Assim, conjecturamos que para polgonos com n umero de lados nao superior a n tenhamos a
estimativa

1

1
A
+
L
2
A
2
(4.17)
em que e sao determinados de forma a que tenhamos igualdade nos polgonos regulares
P
n
R
e P
n1
R
. Outra observa cao interessante e que esta ultima conjectura implica o resultado
discutido na Questao 1 da Seccao 4.2 e a Conjectura (2.1) (conjectura de Polya), pois os
polgonos regulares minimizam o valor do permetro para uma dada area xa (Teorema (2.8)).
60
4.4.2 Estimativas com um termo
Vamos agora procurar outro tipo de estimativas. Ate agora vimos estimativas que envolviam
termos
1
A
e
L
2
A
2
. Estes termos sao casos particulares de termos mais gerais da forma
L
2(q1)
A
q
, q 1
Recorrendo a estes termos, vamos estudar estimativas da forma
est
q
(L, A) =
L
2(q1)
A
q
, q 1 (4.18)
Vamos comecar pelo caso dos triangulos. Determinamos o valor de em funcao do expoente de
forma a que tenhamos igualdade no caso do triangulo equilatero. Posteriormente adequamos
o valor do expoente de forma a obtermos estimativas inferiores ou superiores. Com este pro-
cedimento obtivemos as seguintes estimativas
_

1
est
q
(L, A) , q q
0

1
est
q
(L, A) , q q
1
(4.19)
com q
0
1.74 e q
1
1.68. Na Figura 52 apresentamos os gracos do primeiro valor proprio em
funcao do permetro (com area xa e igual a 1) e respectivas estimativas no caso dos triangulos
e dos quadrilateros. Por exemplo no caso dos quadrilateros experimentalmente vericamos que
Figura 52: gracos dos valores de
1
como funcao do permetro e as estimativas que obtivemos
para triangulos e para quadrilateros.
a melhor estimativa inferior tem igualdade no caso do quadrado e do triangulo equilatero.
Para os restantes n-polgonos conseguimos determinar numericamente duas constantes q
0
e q
1
de forma a obtermos uma estimativa inferior e superior. Tambem neste caso a estimativa
inferior e aquela cujos parametros e q sao determinados de forma a que haja igualdade no caso
dos polgonos regulares P
n
R
e P
n1
R
. Neste caso o sistema para obter os parametros e nao-linear,
mas pode facilmente ser resolvido, por exemplo, pelo metodo de Newton para sistemas.
61
5 Problema Exterior
Nesta seccao vamos estudar o caso das frequencias de ressonancia de um problema exterior.
Seja D um domnio limitado de R
2
com fronteira seccionalmente regular (nao necessariamente
conexo). Para abordarmos o problema exterior vamos estar interessados em determinar solucoes
que veriquem a equacao de Helmholtz no conjunto = R
2

D, um conjunto aberto e nao


limitado. Vamos comecar pelo problema com condicoes de fronteira de Dirichlet. Neste caso,
vamos estar interessados em calcular as frequencias w, para quais ha solucoes nao identicamente
nulas de
_
u +w
2
u = 0 em ,
u = 0 sobre ,
(5.1)
Neste caso, o problema de determinar numericamente as frequencias de ressonancia e ligeira-
mente mais complicado, pois as frequencias pretendidas tomam valores complexos. Vamos de
seguida referir alguns resultados classicos sobre a distribuicao das frequencias de ressonancia
(ou polos de ressonancia) de uma dado domnio
5.1 Distribuicao dos polos de ressonancia
Vamos antes de mais introduzir algumas denicoes
Denicao 5.1. (Reexao perfeita) Dado um par (x
0
, v
0
) em que x
0


e um ponto e v
0
S
1
um vector unitario, consideramos a semi-recta
+
(x
0
,v)
= x
0
+tv
0
: t 0. Se
+
(x
0
,v)
,= ,
consideramos o ponto de reexao x
1

+
(x
0
,v)
: [x
0
x
1
[ = min
y
+
(x
0
,v)
[x
0
y[. A
reexao perfeita e um par (x
1
, v
1
) em que x
1
e o ponto de reexao e v
1
e o vector da direccao de
reexao, que tem o mesmo angulo face `a normal, ou seja se v
0
=
0
n
x
1
+
0
t
x
1
(em que n
x
1
e
a normal exterior no ponto x
1
e t
x
1
e um vector tangente em x
1
) entao v
1
=
0
n
x
1

0
t
x
1
. Se

+
(x
0
,v)
= , nao ha reexao e denimos (x
1
, v
1
) = (x
1
, 0). Podemos denir uma aplicacao
1 : (

, S
1
0)
(x
0
, v
0
)
_
(x
1
, v
1
) se
+
(x
0
,v)
,= ,
(x
1
, 0) caso contr ario
(5.2)
(x
0
, 0) (x
0
, 0)
Denicao 5.2. (Reexao m ultipla) Consideramos o caso em que (x
n+1
, v
n+1
) = 1(x
n
, v
n
),
comecando com x
0
, v
0
S
1
.
Denicao 5.3. Dizemos que D e nao captivo se a sequencia (x
n
, v
n
) terminar num ponto xo
(x
n
, v
n
) = (x
k
, 0), para n k. Caso contrario, o domnio diz-se captivo (neste caso, a sucessao
pode oscilar entre dois valores (x
1
, v) e (x
2
, v), conforme se mostra na Figura 53)
Os resultados seguintes mostram que as propriedades geometricas dos domnios D, nomeada-
mente as nocoes de domnios captivos/nao captivos estao directamente relacionadas com a
distribuicao dos polos de ressonancia. Os resultados seguintes sao validos para domnios em
R
3
(cf. [18]).
62
Figura 53: exemplos de dois domnios captivos e um domnios nao captivo (respectivamente).
Teorema 5.1. Se D e um domnio regular nao captivo contido na bola B
R
(0), entao os polos
de ressonancia afastam-se do eixo real, quando a parte real e grande, mais precisamente para
determinados valores de a, b > 0 temos que
[Im(w)[ a +b log[Re(w)[ (5.3)
Se alem disso, a fronteira O for analtica, entao
[Im(w)[ a +b [Re(w)[
1
3
(5.4)
Vejamos agora um resultado relativo a propriedades de alguns domnios captivos
Teorema 5.2. Se D = D
1
D
2
e um domnio captivo, onde D
i
, i = 1, 2 sao dois domnios
conexos de R
3
que distam de um valor d, e calculando os valores
20
dados por
=

d
n ia
para um determinado a > 0, entao existem polos de ressonancia de D numa vizinhanca destes
valores
[w
n

n
[
c

n
, c > 0
para n sucientemente grande.
Podemos encontrar em [49] o seguinte resultado
Teorema 5.3. Seja D um domnio nao captivo. Entao, para todo < 0, o conjunto
z : 0 > Im(z)
tem, no maximo, um n umero nito de polos de resson ancia.
20
que sao designados por pseudo-polos
63
Pelo contrario, no caso captivo foi formulada a seguinte conjectura (cf. [49]) que foi demonstrada
por Ikawa no caso de um domnio formado por dois (ou mais) domnios disjuntos.
Conjectura 5.1. Seja D um domnio captivo. Entao, existe um < 0, tal que o conjunto
z : 0 > Im(z)
tem uma innidade de polos de resson ancia.
5.2 Aplicacao do metodo numerico ao problema exterior
O metodo MSF pode tambem ser aplicado `a resolucao do problema exterior em R
d

, pois
cada uma das solucoes fundamentais escolhidas satisfaz a condicao de radiacao de Sommerfeld.
O resultado de densidade pode ser transposto para o problema exterior, considerando desta
vez uma curva no interior do domnio . Assim, neste caso, a fronteira articial deve
ser envolvida pela fronteira do domnio .
Para determinar os polos de ressonancia e respectivos modos de vibracao vamos usar pro-
cedimentos analogos aos descritos no caso do problema interior, com a unica diferenca que
y
j
D, j = 1, ..., N. Ja foi referido atras que, neste caso w C, pelo que e desadequado recor-
rer ao modulo do determinante do sistema para calcular aproxima coes desses valores. Vamos
neste caso recorrer ao metodo da secante
21
aplicado directamente ao determinante da matriz do
sistema (que e um valor complexo). Desta forma, encontramos aproxima coes dos zeros do de-
terminante dos sistema que serao aproximacoes dos valores para os quais o problema (5.1) nao
tem solucao unica. Para determinar as funcoes proprias u(x, y) vamos usar um procedimento
analogo ao descrito no caso do problema interior. Neste caso u(x, y) C, pelo que e demasiado
restritivo impor que num dado ponto x
M+1


D
C
a funcao assuma o valor
22
1. Assim, vamos
impor que em x
M+1
, a funcao que vamos determinar assuma um determinado n umero complexo
w
0
C : Re(), Im() ,= 0. Passemos `a apresentacao dos resultados numericos obtidos.
5.3 Resultados numericos
Surgiram alguns problemas numericos ao tentar determinar os polos de ressonancia, pois com
o metodo considerado obtemos alguns polos de ressonancia, mas tambem algumas solucoes
esp urias.

E nosso objectivo estudar mais em detalhe este problema num trabalho futuro.
O algoritmo para a escolha dos pontos-fonte e pontos de colocacao (com pontos igualmente
espacados) e identico ao considerado no caso do problema interior com o cuidado de que os
pontos-fonte devem estar no interior do domnio D. Vejamos antes de mais os pontos de
colocacao e os pontos-fonte para os domnios que vamos considerar de seguida (Figura 54).
5.3.1 condicoes de fronteira de Dirichlet
Vamos comecar pelo caso do disco de raio unitario com condicoes de fronteira de Dirichlet.
Na Figura 55 esta representada a distribuicao dos polos de ressonancia. Podemos, tambem no
21
que sabemos que e aplicavel ao calculo de razes complexas de equac oes nao lineares
22
pois isso implicava que a parte imaginaria fosse nula...
64
-0.6-0.3 0.3 0.6
-1
-0.5
0.5
1
-4 -2 2 4
-6
-4
-2
2
4
6
-1 -0.5 0.5 1 1.5 2 2.5
-1
-0.5
0.5
1
1.5
2
2.5
Figura 54: pontos de colocacao (a vermelho) e pontos-fonte (a azul) para os domnios 1, 2 e 3.
2 4 6 8
-8
-6
-4
-2
Figura 55: distribuicao dos polos de ressonancia do disco de raio unitario com condic oes de
fronteira de Dirichlet.
caso do problema exterior representar as funcoes proprias. De acordo com [63] temos que uma
funcao propria tem o seguinte comportamento assimptotico (em 2D)
u(x)
e
iwr

r
u

( x, w), quando r (5.5)


onde x =
x
|x|
e r = [x[. Assim, uma vez que os polos de ressonancia tem parte imaginaria
negativa, temos que as funcoes proprias crescem exponencialmente, quando r . Vamos,
neste caso, representar as funcoes
u(x, y) =
u(x, y)
e
Im(w)r
Estas funcoes u(x, y) nao tem grande signicado do ponto de vista fsico do problema, mas
permitem-nos visualizar o comportamento oscilatorio da funcao propria. Associadas a estas
funcoes podemos tambem obter os respectivos domnios nodais. A representacao dos domnios
nodais do modulo na funcao propria nao tem grande interesse
23
pelo que nos exemplos seguintes,
23
o modulo nunca toma valores negativos...
65
Figura 56: parte real, parte imaginaria e modulo de funcoes u(x, y) associadas a dois polos de
ressonancia do disco de raio unitario.
apresentamos os domnios nodais associados `as partes real e imaginaria da funcao u(x, y) e o
graco de densidade do modulo da funcao u(x, y).
66
Figura 57: domnios nodais associados `as parte real e imaginaria das funcoes u(x, y) de dois
polos de ressonancia do disco de raio unitario e graco de densidade do modulo.
Domnio 1
Vejamos agora resultados relativos a um domnio D (Figura 58) cuja fronteira pode ser
parametrizada por
x(t), y(t) =
_
sin(t) +
5 cos(2t) sin(t)
8
, 1.4 cos(t), para 0 t < 2
Na Figura 59 representamos a parte real, a parte imaginaria e o modulo de funcoes u(x, y)
-0.6-0.3 0.3 0.6
-1
-0.5
0.5
1
Figura 58: fronteira do domnio 1.
associada a dois polos de ressonancia do domnio 1 e respectivos domnios nodais (Figura 60).
67
Figura 59: parte real, parte imaginaria e modulo de funcoes u(x, y) associada a dois polos de
ressonancia do domnio 1.
Figura 60: domnios nodais associados `as parte real e imaginaria das funcoes u(x, y) associadas
a dois polos de ressonancia do domnio
2
e graco de densidade do modulo.
68
Domnio 2
Vejamos agora resultados relativos a um domnio D (Figura 61) cuja fronteira pode ser parametrizada
por
x(t), y(t) =
_
4
_
sin(t) +
cos(4t)
6
_
, 4
_
cos(t)
2 cos(t) sin(3t)
3
__
, para 0 t < 2
Na Figura 62 representamos a parte real, a parte imaginaria e o modulo de funcoes u(x, y)
-4 -2 2 4
-6
-4
-2
2
4
6
Figura 61: fronteira do domnio 2.
associada a dois polos de ressonancia do domnio 2 e respectivos domnios nodais (Figura 63).
Figura 62: parte real, parte imaginaria e modulo de funcoes u(x, y) associadas a dois polos de
ressonancia do domnio 2.
69
Figura 63: domnios nodais associados `as parte real e imaginaria de funcoes u(x, y) associadas
a dois polos de ressonancia do domnio 2 e graco de densidade do modulo.
Domnio 3
Vamos comecar por um exemplo captivo em que D = D
1
D
2
, onde D
1
e D
2
sao respecti-
vamente discos de raio unitario e centros em (0, 0) e (1.75, 1.75) (Figura 64). Na Figura 65
-1 -0.5 0.5 1 1.5 2 2.5
-1
-0.5
0.5
1
1.5
2
2.5
Figura 64: fronteira do domnio 3.
representamos a parte real, a parte imaginaria e o modulo de funcoes u(x, y) associada a dois
polos de ressonancia do domnio 3 e respectivos domnios nodais (Figura 66).
5.3.2 condicoes de fronteira de Neumann
Na Figura 67 representamos a parte real, a parte imaginaria e o modulo de funcoes u(x, y)
associada a dois polos de ressonancia do disco de raio unitario com condicoes de fronteira de
Neumann. e respectivos domnios nodais (Figura 68)
70
Figura 65: parte real, parte imaginaria e modulo de funcoes u(x, y) associadas a dois polos de
ressonancia do domnio 3.
Figura 66: domnios nodais associados `as parte real e imaginaria de funcoes u(x, y) associadas
a dois polos de ressonancia do domnio 3 e graco de densidade do modulo.
71
Figura 67: parte real, parte imaginaria e modulo de funcoes u(x, y) associadas a dois polos de
ressonancia do disco de raio unitario.
Figura 68: domnios nodais associados `as parte real e imaginaria de funcoes u(x, y) associadas
a dois polos de ressonancia do disco de raio unitario e graco de densidade do modulo.
72
6 Conclusoes e Perspectivas
Apos a realizacao deste trabalho, concluimos que podemos recorrer ao Metodo das Solucoes
Fundamentais (MSF) para obter aproxima coes dos polos de ressonancia de um dado domnio,
bem como das respectivas funcoes proprias. Em particular, vimos que escolhendo os pontos-
fonte de uma forma adequada (como foi descrito anteriormente) conseguimos obter aproxi-
macoes com precisao muito superior `a obtida com outras escolhas de pontos-fonte.
Para realizar este estudo, foi desenvolvido um algoritmo sucientemente geral que per-
mite estudar o problema interior em domnios, mesmo que nao sejam simplesmente conexos
e considerando condicoes de fronteira de Dirichlet, de Neumann ou de Robin. Recorrendo
ao algoritmo efectuou-se uma serie de simulacoes numericas que permitiram reforcar algumas
conjecturas ja conhecidas, bem como sugerir outras conjecturas sobre propriedades dos valores
proprios do operador de Laplace, considerando condicoes de fronteira de Dirichlet e de Neu-
mann.
O algoritmo desenvolvido neste trabalho pode ainda ter alguma aplicacao no campo da
construcao de instrumentos de percussao, uma vez que, por simulacao numerica permite tirar
algumas conclusoes acerca das propriedades sonoras do instrumento. Alem disso, a gener-
alizacao para o caso tridimensional e relativamente simples e permite estudar propriedades
ac usticas de salas ou auditorios.
Quanto ao caso do problema exterior ja foi iniciado o estudo da aplicabilidade do MFS
para a determinacao dos polos de ressonancia e respectivos modos proprios. Foram ja obtidos
alguns resultados numericos, mas ha ainda questoes a estudar, nomeadamente o aparecimento
de solucoes esp urias.

E nosso objectivo, futuramente, continuar o estudo ja iniciado neste trabalho da apli-


cabilidade do MFS para o problema exterior e abordar os problemas interior/exterior no
caso tridimensional. Outro objectivo e o desenvolver um metodo analogo que permita es-
tudar as frequencias de ressonancia e respectivas funcoes proprias no caso dos problemas in-
terior/exterior no caso elastico. Este caso e razoavelmente mais complicado ja que as funcoes
proprias sao funcoes vectoriais.
73
Bibliograa
Referencias
[1] Alessandrini, G.; Nodal Lines of Eigenfuntions of the Fixed Membrane Problem in General
Convex Domains, Commentarii Math. Helvetici, 69, pp. 142-154 (1994).
[2] Alves, Carlos J.S.; Density Results For the Helmholtz Equation and the Method os Fun-
damental Solutions, in Advances in Computational Engineering and Sciences - Volume I
(Editors: S. N. Atluri e F. W. Brust) Tech Sc. Press, pp. 45-50 (2000).
[3] Alves, Carlos J.S.; Etude Numerique de la Diraction dOndes Acoustiques et

Elastiques
Par Une Fissure Plane de Forme Quelconque, Tese de Doutoramento; E. Polytechnique,
Palaiseau (1995).
[4] Alves, Carlos J.S.; Density Results on Partial Dierential Equations and the Derivation
of Meshless Methods, in Proceedings of the International Conference in Computational
Engineering and Science 2003 (ICES03). Tech Science Press in CD-ROM (2003).
[5] Alves, Carlos J.S.; Introducao a Metodos Numericos para Problemas Elpticos, Seccao de
Folhas; Instituto Superior Tecnico (2001).
[6] Alves, Carlos J.S.; Antunes, Pedro R.S.; Numerical Determination of the Resonance Fre-
quencies in a Bounded Domain Using the MFS, in Proceedings of the International Work-
shop on Meshfree Methods, Instituto Superior Tecnico, pp. 139-144 (2003).
[7] Alves, Carlos J.S.; Antunes, Pedro R.S.; Numerical Determination of the Resonance Fre-
quencies in a Bounded Domain Using the MFS, submetido a Computers, Materials &
Continua.
[8] Alves, Carlos J.S.; Chen, C. S.; The Method of Fundamental Solutions Adapted For a Non
Homogeneous Equation, in the Proceedings of the International Conference in Engineering
and Science 2001 (ICES01). Tech Science Press in CD-ROM (2001).
[9] Alves, Carlos J.S.; Valtchev, Svilen S.; Resolucao Numerica de Problemas de Difracc ao de
Ondas Ac usticas Usando Resultados de Densidade de Ondas Planas e de Solucoes Funda-
mentais, in Proceedings of the VIIth Congress on Applied and Computational Mechanics,
Ed. J. I. Barbosa, University of Evora, Portugal, vol. IV, pp. 2139-2148 (2003).
[10] Alves, Carlos J.S.; Valtchev, Svilen S.; to appear in Special Issue on Meshfree/Meshless
Methods of Engineering Analysis with Boundary Elements.
[11] Andersson, Stig I.; Lapidus, Michel L.; Progress in Inverse Spectral Geometry; Springer
Verlag (1997).
[12] Antunes, Pedro R.S.; O Metodo das Solucoes Fundamentais Aplicado ao Calculo de
Frequencias de Ressonancia e Modos de Vibracao, Trabalho Final de Curso, Instituto
Superior Tecnico (2003).
a
[13] Antunes, Pedro R.S.; Freitas, Pedro New Bounds For the Principal Dirichlet Eigenvalue
of Planar Regions em preparacao.
[14] Ashbaugh, M.; Isoperimetric and Universal Inequalities for Eigenvalues; Spectral Theory
and Geometry (Edinburgh, 1998), E B Davies; Yu Safarov, eds.; London Math. Soc.
Lecture Notes, vol.273, Cambridge Univ. Press, Cambridge, pp. 95-139 (1999).
[15] Ashbaugh, M.; Benguria, R. Proof of the Payne-Polya-Weinberger Conjecture; Bull. Amer.
Math. Soc., 25, N
o
1, pp. 19-29 (1991).
[16] Ashbaugh, M.; Benguria, R. A Sharp Bound For the Ratio of the First Two Eigenvalues
of Dirichlet Laplacian and Extensions; Ann of Math, 135, pp. 601-628 (1992).
[17] Barbu, Viorel; Partial Dierential Equations and Boundary Value Problems; Kluwer Pub-
lishing, Dordrecht (1998).
[18] Bardos, C.; Guillot, J.C.; Ralston, J. La relation de Poisson por lequation des ondes dans
un ouvert non bourne. Applications `a la theorie de la diusion.; Comm. Part. Di. Eq. 7,
pp. 905-958 (1982).
[19] Betcke, T.; Trefethen, L.N.; Reviving the Method of Particular Solutions; to appear in
SIAM.
[20] Burdzy, Krzystof; Werner, Wendelin; A Counterexample To the Hot SpotsConjecture;
Ann. of Math, 149, pp. 309-317 (1999).
[21] Buser, Peter; Conway, John; Doyle, Peter; Some Planar Isospectral Domains; Internat.
Math. Res. Notices, pp. 391-400 (1994).
[22] Chen, J.T., Chang, M.H.; Chen, K.H. and Lin, S.R.; Boundary Collocation Method with
meshless concept for acoustic eigenanalysis of two-dimensional cavities using Radial Basis
Function; Journal of Sound and Vibration 257, 4, 667-711 (2002).
[23] Chen, J.T., Chang, M.H.; Chen, K.H. and Lin, S.R.; Boundary collocation method for
acoustic eigenanalysis of three-dimensional cavities using Radial Basis Function; Compu-
tational Mechanics 29, pp. 392-408 (2002).
[24] Colton, D.; Kress, A.; Integral Equations Methods in Scattering Theory; Wiley, New York,
(1983).
[25] Courant, R.; Hilbert, D.; Methods of Matematical Physics - Volume I ; Interscience, New
York (1953).
[26] Cox, S.J.; Ross, M.; Extremal Eigenvalue Problems for Starlike Planar Domains; J. Dif-
ferential Equations 120, pp. 174-197 (1995).
[27] Damascelli, Lucio; On the Nodal Set of the Second Eigenvalue of the Laplacian in Sym-
metric Domains em R
n
; Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Natur. 11, pp.
175-181 (2000).
b
[28] Ehrenpreis, L.; Solutions of some problems of division; Amer. J. Math. 76, pp. 883-903
(1954).
[29] Evans, C. Lawrence; Partial Dierential Equations; American Mathematical Society,
Providence (1998).
[30] Exner, Pavel; Harrell, Evans M.; Loss, Michael; Optimal Eigenvalues for Some Laplacians
and Schrodinger Operators Depending on Curvature; Proceedings of QMath7 (Prague
1998); Birkhauser Series Operator Theory: Advances and Applications, pp. 47-58
(1998).
[31] Faber, G.; Beweis, Dass Unter Allen Homogenen Membranen von Gleicher Flache und
Gleicher Spannung Die Kreisformige den Tiefsten Grundton Gibt; Sitzungsber. Bayer.
Akad. Wiss. M unchen, Math.-Phys. Kl., pp. 169-172 (1923).
[32] Folland, Gerald B.; Fourier Analysis and Its Applications; Wadsworth, Belmont, CA
(1992).
[33] Fox, L.; Henrici, P.; Moler, C.B.; Approximations and bounds for eigenvalues of elliptic
operators; SIAM J. Numer. Anal. 4, pp. 89-102 (1967).
[34] Grinfeld, Pavel; Strang, Gilbert; The Laplacian Eigenvalues of a Polygon; to appear in
Computers and Mathematics with Applications.
[35] Gordon, C.; Webb, D.; Wolpert, S.; Isospectral Plane Domains and Surfaces Via Rieman-
nian Ordifolds; Invent Math., 110, pp. 1-22 (1992).
[36] Gordon, C.; Webb, D.; Wolpert, S.; One cannot hear the shape of a drum.; Bull. Amer.
Math. Soc. 27, pp. 134-138 (1992).
[37] Henrot, Antoine; Minimization Problems for Eigenvalues of the Laplacian; Journal of
Evolution Equations 3, pp. 443-461 (2003).
[38] Henrot, Antoine; Oudet, Edouard; Le Stade ne Minimise pas
2
Parmi les Ouverts Con-
vexes du Plan; C. R. Acad. Sci. Paris Ser.I Math, 332, pp. 417-422 (2001).
[39] Henrot, Antoine; Oudet, Edouard; Minimizing the Second Eigenvalue of the Laplace Op-
erator With Dirichlet Boundary Conditions; Archive for Rational Mechanics and Analysis
169, pp. 73-87 (2003).
[40] Homann-Ostenhof, T.; Michor, Peter W.; Nadirashvili, Nikolai; Bounds on the Multiplic-
ity of Eigenvalues for Fixed Membranes; Geom. Funct. Anal. 9, pp. 1169-1188 (1999).
[41] Homann-Ostenhof, T.; Homann-Ostenhof, M.; Nadirashvili, Nikolai; On the Nodal Line
Conjecture; Advances in Dierential Equations and Mathematical Physics, Comtemp.
Math. 217, pp. 33-48; Amer. Math. Soc., Providence (1998).
[42] Ikawa, M.; On the poles of the scattering matrix for two strictly convex obstacles; J. Math.
Kyoto Univ. 23, pp.127-194 (1983).
c
[43] Kac, M.; Can one hear the shape of a drum?; Amer. Math. Mounthly 73 (1966).
[44] Karageorghis, A.; The Method of Fundamental Solutions for the Calculation of the Eigen-
values of the Helmholtz Equation; Appl. Math. Letters 14 (7), 837-842 (2001).
[45] Krahn, E.;

Uber Eine von Rayleigh Formulierte Minimaleigenschft des Kreises; Math.
Ann. 94, pp. 97-100 (1924).
[46] Keller, J.B.; Wol, S.A.; Range of the First Two Eigenvalues of the Laplacian; Proc. Royal
Soc. London 447A, pp. 397-412 (1994).
[47] Lamb, Horace; The Dynamical Theory of Sound; London: E. Arnold (1910).
[48] Laptev, A.; Dirichlet and Neumann Eigenvalues Problems on Domains in Euclidean
Spaces; J. Funct. Anal. 151, pp. 531-545 (1997).
[49] Lax, P.D.; Phillips, R.S.; On the scattering frequencies of the Laplace operateur; Comm.
Pure Apll. Math. 25, pp. 85-101 (1972).
[50] Lesch, Matthias; Topics in Spectral Geometry; 2000
[51] Levandosky, Julie; Lectures of Partial Dierential Equations of Applies Mathematics;
Stanford University; 2001
[52] Levitin, Michael; Commutators, Spectral Trace Identities, and Universal Estimates for
Eigenvalues; J. Functional Analysis 192, pp. 425-445 (2002).
[53] Levitin, Michael; Parnovski, Leonid; Trace Identities and Universal Estimates for Eigen-
values of Linear Pencils; in Elliptic and Parabolic Problems, Proceedings of the IV Euro-
pean Conference (Rolduc/Gaeta 2001), World Scientic, pp. 160-164 (2002).
[54] Levitin, Michael; Yagudin, Rustem; Range of the First Three Eigenvalues of the Planar
Dirichlet Laplacian; LMS J. Comput. Math. 6, pp. 1-17 (2003).
[55] Lin, C.S.; On the Second Eigenfuntion of the Laplacian in R
2
; Comm. Math. Phys. 111,
pp. 161-166 (1987).
[56] Malgrange, B.; Existence et approximation des solutions des equations aux derivees par-
tielles et des equations de convolution; Ann. Inst. Fourier 6, pp. 271-355 (1955-56).
[57] Melas, A.D.; On the Nodal Line of the Second Eigenfunction of the Laplacian in R
2
; J.
Di. Geometry, pp. 255-263 (1992).
[58] Melrose, Richard B.; Geometric Scattering Theory; Cambridge University Press (2003).
[59] Moler, C.B.; Payne, L.E. Bounds for Eigenvalues and Eigenfunctions of Symmetric Oper-
ators; SIAM J. Numeric. Anal. 5, pp. 64-70 (1968).
[60] Oudet,

Edouard; Numerical Minimization of Eigenmodes of a Membrane With Respect to
the Domain; to appear in COCV.
d
[61] Oudet,

Edouard; Quelques Resultats en Optimisarion de Forme et Stabilisation; Tese de
Doutoramento; Universite Louis Pasteur (2002).
[62] Payne, L.E.; Polya, G.; Weinberger, H.F. On the Ratio of Consecutive Eigenvalues; Jour-
nal of Math. and Physics 35, pp. 289-298 (1956).
[63] Poisson, O.; Calculs des Poles de Resonance Associes `a la Diraction dOndes Acoustiques
et

Elastiques en Dimension 2; Tese de Doutoramento, Universite de Paris IX Dauphine
(1992).
[64] Polya, G.; Szego, G., Isoperimetric inequalities in mathematical physics; Annals of Math-
ematical Studies, Princeton University Press, Princeton (1951).
[65] Ramakrisria; Sondhi; Vibrations of Indian Musical Drums Regarded and Composite Mem-
branes; J. Acoust. Soc. Amer. 26, pp. 523-530 (1954).
[66] Ramm, A. G.; Shivakumar, P. N.; Inequalities for the Minimal Eigenvalue of the Laplacian
in an Annulus; Math. Inequalitie and Applications 1, pp. 559-563 (1998).
[67] Rayleigh, J.W.S.; The Theory of Sound - Volume I ; London (1896)
[68] Selden, Jerey; Overview of The Nodal Line of the Second Eigenfuntion of the Laplacian
in R
2
Can Be Closed; 2000
[69] Strauss, Walter A.; Partial Dierential Equations - An Introduction; John Wiley and Sons
(1992).
[70] Tolstov, Georgi P.; Fourier Series; Dover Publications, Inc., New York (1976).
[71] Troesch, B.A.; Elliptical Membranes With Smallest Second Eigenvalue; Math. Comp. 27,
pp. 767-772 (1973).
[72] Weyl, H.; Ramications, Old and New, of the Eigenvalue Problem; Bull. Amer. Math. Soc.
56, pp. 115-139 (1950).
[73] Weyl, H.; Das Asymptotische Verteilungsgesetz der Eigenwerte Linearer Partieller Dier-
entialgleichungen; Math. Ann. 71, pp. 441-479 (1912).
[74] Yau, S.T.; Problem Section, Seminar on Dierential Geometry; Annals of Math. Studies
102, pp. 669-706 (1982).
[75] Yosida, K.; Functional Analysis; Springer-Verlag, New York (1988).
[76] Apontamentos de Ac ustica Musical ; Conservatorio de M usica do Porto
e

Vous aimerez peut-être aussi