A BORDAGEM C OMPUTACIONAL DA I NJETIVIDADE DO

F UNCIONAL D IRICHLET-N EUMANN E LÍTICO

R AFAEL B ARRETO, M ARCÍLIA C AMPOS
C ENTRO DE I NFORMÁTICA , UFPE, R ECIFE -PE, B RASIL

R AMON M ENDOZA
C ENTRO DE C IÊNCIAS E XATAS E DA N ATUREZA , UFPE, R ECIFE -PE, B RASIL

J ACQUELINE R OJAS
C ENTRO DE C IÊNCIAS E XATAS E DA N ATUREZA , UFPB, J OÃO P ESSOA -PB, B RASIL

O PROBLEMA

A injetividade do funcional Dirichlet-Neumann elítico em um anel de raios 1 e 2 tem a ver com a existência de uma única solução, de período 2π, para a equação
2
2y ′′ = y ′ + (e 2y − 1)λ(r ), (1)

onde ( )
4! X ∞
r2
λ(r ) = b n (r ) − 2 2
− 1, (2)
2 n=1 (1 + r )
−3(−1)n + r12n
( )
b n (r ) = n (3)
r 2n + (−1)n
com r > 1.

Se λ(r ) ≥ 0 (i), demonstra-se que a única solução de (1) é y = 0 se y(0) = 0.

O problema resolvido neste trabalho é a verificação da condição (i).

C OMO FOI RESOLVIDO V ERIFICAÇÃO DA CONDIÇÃO λ(r ) ≥ 0

Seja ( ) Tomando r = 1.00001 + h∆r , h = 0, · · · , 105, ∆r = 1, k = 30 e computando (4)

4! X
k
r2 observa-se inversão de sinal em 4.00001 ≤ r ≤ 5.00001. Este intervalo é de es-
λk (r ) = b n (r ) − 2 2
−1 (4)
2 n=1 (1 + r ) pecial interesse desde que é uma fronteira para a condição (i). Para estudá-lo
P∞
onde k é utilizado no truncamento da série n=1 b n (r ) para a computação da utilizou-se o Algoritmo A 1:
mesma. Através de (4) determinou-se uma aproximação para (2) e, com isso,
testou-se a condição (i) para intervalos de r . Para tal, foi realizado o computo de Algoritmo A 1
λk (r ) com a aritmética de ponto flutuante seguido da validação dos resultados 1. Sejam I = [4.00001, 5.00001], ǫ = 10−1 e k = 30
através da aritmética intervalar com exatidão máxima. Dado o desempenho e 2. Faça I := {r ∈ I | a 1 ≤ r ≤ a 2, λk (a 1) ≥ 0, λk (a 2) ≤ 0, a 2 − a 1 = ǫ}
tradição na comunidade científica, a linguagem de programação C++ e a exten-
3. Faça ǫ := 10−1ǫ
são C-XSC – uma biblioteca para o desenvolvimento de algoritmos numéricos
com controle automático do erro – foram escolhidas. 4. Se ǫ ≥ 10−15, volte ao Passo 2

A partir de A 1, chegou-se ao menor intervalo detectável pela máquina onde

C ONVERGÊNCIA DE λ(r )
ocorre inversão de sinal:

Valores obtidos para λk (r ) fixando-se r = 2 e fazendo k variar entre 1 e 40 apa- r λk (r )

recem representados na Figura 1. 4.9202261876221005 0.0000000000000005
4.9202261876221014 -0.0000000000000003
10.5

10
Portanto, para 1 < r ≤ 4.9202261876221005 a condição (i) constata-se verda-
9.5 deira, e falsa para 4.9202261876221014 ≤ r ≤ 105.
9

VALIDAÇÃO DOS RESULTADOS

8.5

7.5
Após a verificação da condição (i) usando aritmética de ponto flutuante,
7
procedeu-se a validação dos resultados com a aritmética intervalar de exatidão
6.5 máxima. A aritmética intervalar é uma ferramenta matemática para a solução
6 de problemas relacionados com erros numéricos baseada em um sistema al-
5.5
gébrico formado por todos os intervalos fechados da reta real e por operações
0 5 10 15 20 25 30 35 40
definidas sobre ele.
F IGURA 1: Valores de λk (r ) fixando-se r = 2 e variando k

A validação dos resultados foi obtida adaptando-se o Algoritmo A 1 para operar

Como a Figura 1 mostra, λk (r ) converge rapidamente. De fato, neste caso, para
k > 29 não há diferença perceptível pela máquina no valor de λk (r ). Essa velo-
cidade de convergência ocorre para todo r > 1 em razão do decrescimento ex-
ponencial de (3) quando n cresce, implicando um esforço computacional pe-
queno (30 iterações se r = 2) no cálculo de (2) uma vez que não é necessário
k → ∞ para λk (r ) ≈ λ(r ). Isso torna trivial verificar (i) computacionalmente.
segundo a aritmética intervalar e verificando-se a pertinência dos valores de
ponto flutuante nos respectivos valores intervalares.
Uma vez que o teste de pertinência foi positivo para todos os valores calculados
no trabalho, validaram-se os resultados concluindo sua confiabilidade.