Académique Documents
Professionnel Documents
Culture Documents
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
(
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].
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)
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.
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
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)
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.
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
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.
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
(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
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]
()
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
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