EQUATION CHAPTER 1 SECTION 1ANLISE DAS APROXIMAES

DE ALTA ORDEM POR MEIO DA INTERPOLAO ESPECTRAL

APLICADAS AO MEC POTENCIAL
Fabio Carlos da Rocha
Aref Kalilo Lima Kzam
fabcivil@sc.usp.br
aklkzam@sc.usp.br
Departamento de Engenharia de Estruturas. Escola de Engenharia de So Carlos,
Universidade de So Paulo.
Av. Trabalhador Socarlense, 400, 13566-590, So Carlos, SP, Brasil
Humberto Breves Coda
hbcoda@sc.usp.br
Departamento de Engenharia de Estruturas. Escola de Engenharia de So Carlos,
Universidade de So Paulo.
Av. Trabalhador Socarlense, 400, 13566-590, So Carlos, SP, Brasil
Resumo. Na formulao direta do mtodo dos elementos de contorno podem ocorrer erros
numricos significativos ao se tentar reproduzir uma geometria complexa com grande
preciso. A depender do polinmio interpolador e da ordem das aproximaes empregadas,
esses erros afetam a soluo fsica do problema. Neste trabalho apresenta-se um estudo
comparativo entre a aproximao com ns equidistantes e a base espectral aplicados na
anlise de problemas bidimensionais de fluxo de calor via mtodo dos elementos de contorno.
Utilizam-se aproximaes de alta ordem para verificar o condicionamento do mtodo. Com
base na avaliao da constante de Lebesgue procede-se uma anlise de convergncia por
meio da quantificao do fenmeno provocado pelo emprego dos polinmios de alta ordem,
denominado fenmeno Runge. Exemplos so avaliados onde se constatam a melhora dos
resultados ao se empregar a interpolao espectral.
Palavras-Chaves: MEC potencial, Base equidistante, Base de Lobatto, Fenmeno Runge,
Constante de Lebesgue.

CILAMCE 2013
Proceedings of the XXXIV Iberian Latin-American Congress on Computational Methods in Engineering
Z.J.G.N Del Prado (Editor), ABMEC, Pirenpolis, GO, Brazil, November 10-13, 2013

Anlise das aproximaes de alta ordem aplicada ao MEC potencial

INTRODUO

O mtodo dos elementos de contorno (MEC) , em geral, empregado usando

aproximaes com elementos de baixa ordem, sendo a soluo da equao integral
aproximada por funes constantes, lineares ou quadrticas, sobre cada elemento (Brebbia,
1978; Brebbia e Walker, 1980; Pozrikidis, 1992). Uma diferena importante do MEC em
relao ao mtodo dos elementos finitos (MEF) que a soluo no necessita de continuidade
C 0 , independente da ordem da equao diferencial. No entanto, a implementao de
aproximaes de alta ordem utilizando as mesmas idias do MEF, tais com refinamento P
dificultada seja ela por carter terico ou computacional (Karniadakis e Sherwin, 1999). O
mais importante assegurar a convergncia uniforme, o que em termos gerais, necessita da
aplicao das expanses espectrais onde os ns de colocao so posicionados
cuidadosamente sobre os elementos tomados individualmente.
Como critrio para verificar o desempenho de dois conjuntos de base nodais ao longo de
uma curva utilizada a constante de Lebesgue, a qual definida como a soma dos valores
mximos absolutos das funes de interpolao sobre todos os ns (Blyth e Pozrikidis, 2005).
Esta constante importante para limitar o erro da interpolao, pois, de acordo com o teorema
de Weistrass (Piskunov, 1974) qualquer funo contnua pode ser consistentemente
aproximada por uma funo polinomial, porm, cuidados devem ser tomados quando utilizase a interpolao polinomial de alta ordem. Este cuidado devido presena de oscilaes em
torno das extremidades do intervalo interpolado, caracterizado como fenmeno Runge e
quantificado pelo valor da constante de Lebesgue ilimitada (Chen et al., 2013).
Neste trabalho, o emprega-se o MEC potencial bidimensional, em que os pontos de
colocao so aplicados nos zeros dos polinmios de Lobatto e os resultados so comparados
com os pontos de colocao convencional (equidistantes) para verificar a convergncia dos
resultados medida que o grau da aproximao elevado.
Este artigo esta dividido da seguinte forma. O item 2 apresenta a formulao integral do
problema potencial. Na seco 3 so apresentadas as interpolaes de ordem superior, no item
3.1 apresenta a interpolao polinomial geral, no item 3.1.1 mostra a base nodal equidistante,
e nos itens 3.2 e 3.2.1 apresentada a interpolao espectral e a base nodal de Lobatto,
respectivamente. Na seco 3.3 so feitos comentrios sobre o erro na interpolao, atravs de
um estudo da convergncia e da constante de Lebesgue. Nos itens seguintes aplica-se as
estratgias de interpolao ao modelo do MEC. Por fim, exemplos so apresentados para
ilustrar os resultados dos mtodos.

FORMULAO INTEGRAL DO PROBLEMA POTENCIAL

Inmeros sistemas fsicos so modelados por meio de equaes diferenciais parciais

elticas. Uma dessas equaes, tambm conhecida como equao de Laplace, representa uma
srie de problemas de engenharia, como por exemplo, o da conduo trmica em slidos, que
pode ser escrita da seguinte maneira:

u,ii ( x ') = 0

(1)

Hipteses simplificadoras que satisfazem a Eq. 1 restringe a soluo analtica dessa

equao a alguns casos particulares. Essas limitaes constituem o ponto de partida para
utilizao de tcnicas numricas mais gerais, como o caso do mtodo dos elementos de
CILAMCE 2013
Proceedings of the XXXIV Iberian Latin-American Congress on Computational Methods in Engineering
Z.J.G.N Del Prado (Editor), ABMEC, Pirenpolis, GO, Brazil, November 10-13, 2013

F. C. da Rocha, A. K. L. Kzam, H. B. Coda

contorno. Nesta seo emprega-se o mtodo dos resduos ponderados para obter a
representao integral da equao de Laplace para, em seguida, se introduzir o mtodo.
Inicia-se a formulao considerando-se u um campo escalar definido no domnio e
limitado pela curva fechada , conforme ilustrado na Fig. 1. Ao slido bidimensional,
associam-se as condies de contorno de Dirichelet e Neumman, ou condies de contorno
essenciais e naturais, respectivamente. Essa abordagem caracteriza um problema potencial de
valor de contorno, sendo o vetor n , mostrado na figura, normal superfcie = 1 + 2 e
exterior a , que define a direo do fluxo do campo vetorial q .
n

Neumman

Dirichelet
1

u =u

u,ii = 0
x'

2
u
q=
=q
n

Figura 1. Equao diferencial parcial com valor de contorno

Como comentado anteriormente a Eq. 1 no apresenta soluo analtica imediata. Por

essa razo, admite-se uma soluo aproximada escrita em termos de uma combinao linear
entre os parmetros ai e as funes base i linearmente independente.
u = aii

(2)

Na formulao isoparamtrica o grau da aproximao usado para descrever as variveis

define tambm a aproximao da geometria do problema. Esse assunto constitui o principal
objetivo deste trabalho, dedicando-se uma seo para a anlise dessa assertiva. Nela sero
apresentadas as diferentes metodologias empregadas na obteno dos parmetros ai e funes
base i , tambm chamadas de funes de forma.
Ao se substituir a soluo aproximada na equao diferencial do problema, haver um
resduo no nulo que dever ser minimizado procedendo-se o seguinte o produto interno:

u ( x ') u d = 0
*

(3)

,ii

Sendo u * uma funo ponderadora escolhida adequadamente com o intuito de reduzir ou

eliminar o termo de domnio da Eq. 1. Essa funo denominada de soluo fundamental e
consiste em uma soluo analtica particular da equao diferencial. Neste caso, essa soluo
obtida considerando-se um domnio infinito * , o qual preserva as mesmas caractersticas
do slido considerado no problema original.
Com o auxlio do teorema da divergncia e das propriedades da distribuio delta de
Dirac, determina-se a equao integral do problema potencial empregando-se a segunda
identidade de Green (Brebbia, 1978), que resulta:

C ( x ') u ( x ' ) = u * ( x ', x ) q ( x ) d q* ( x ', x ) u ( x ) d

(4)

CILAMCE 2013
Proceedings of the XXXIV Iberian Latin-American Congress on Computational Methods in Engineering
Z.J.G.N Del Prado (Editor), ABMEC, Pirenpolis, GO, Brazil, November 10-13, 2013

Anlise das aproximaes de alta ordem aplicada ao MEC potencial

A Eq. 4 a base para a formulao algbrica do mtodo dos elementos de contorno,

1
1 r
sendo, u * =
ln r e q* =
as solues fundamentais do problema potencial
2
2 r n
bidimensional, x ' o ponto fonte e x o ponto campo.
Os valores do termo livre so determinados a partir da posio de x ' em relao ao
1
interior, exterior, e contorno do domnio, dado respectivamente por C ( x ' ) = 1, , 0 .
2

2.1

O mtodo dos elementos de contorno

O mtodo numrico consiste em particionar o contorno do slido bidimensional em um

nmero finito de elementos unidimensionais, n . Para representa-los com maior generalidade
so adotadas duas tcnicas de aproximao, uma com os polinmios gerados a partir de uma
base com pontos igualmente espaados e outra a partir das razes do polinmio de Lobatto.
A discretizao da Eq. 4 passa a ser representada da seguinte maneira:
C ( x ') u ( x ') =

u ( x ', x ) q ( x ) d q ( x ', x ) u ( x ) d
*

(5)

Na formulao isoparamtrica, a geometria: xi = m xim , o potencial: u = mum e o fluxo

normal a superfcie: q = m qm , so escritos em termos das funes base, sendo m o nmero
de ns sobre o elemento, definido de acordo com o grau da aproximao adotada.
Com o intuito de facilitar a gerao das funes de forma e aplica-las em regras de
quadratura numrica e se proceder a integrao, conveniente definir o elemento de contorno
por meio da coordenada adimensional do espao de Gauss [ 1,1] .
A partir do mtodo da colocao, a representao algbrica das integrais de contorno
expressa na Eq. 5, para x ' { } C ( x ' ) = 0 , escreve-se:
H mnum = Gmn qm

(6)

Desse modo, os ncleos integrais, avaliados por meio da quadratura de Gauss-Legendre,

passam a ser calculados como:
H mn = q* ( ', k ) m ( k ) J n ( k ) k , e
k

Gmn = u * ( ', k ) m ( k ) J n ( k ) k
k

Sendo k os pontos de integrao de Gauss e J , o Jacobiano da transformao, dado por:

J n ( ) =

m ,

( ) xim m , ( ) xim }n

(7)

Aps as prescries das condies de contorno essenciais e naturais, o sistema de

equaes resolvido fazendo-se
AX = B

CILAMCE 2013
Proceedings of the XXXIV Iberian Latin-American Congress on Computational Methods in Engineering
Z.J.G.N Del Prado (Editor), ABMEC, Pirenpolis, GO, Brazil, November 10-13, 2013

(8)

F. C. da Rocha, A. K. L. Kzam, H. B. Coda

INTERPOLAES DE ORDEM SUPERIOR

Nesta seo so apresentadas as estratgias de interpolao obtidas por meio de

polinmios de alta ordem e utilizando com pontos igualmente espaados, assim como,
formados por zeros de polinmios ortogonais. Nos subitens a seguir apresentam-se com mais
detalhes a gerao das bases utilizadas nas duas estratgias descritas. Posteriormente realizase a anlise de convergncia comparando ambas as metodologias na aproximao de
geometrias.

3.1

Interpolao polinomial

Com o intuito de demonstrar a estratgia de gerao dos polinmios de alta ordem

apresentam-se neste item, as funes de forma para os elementos unidimensionais que sero
utilizados para descrever o contorno dos slidos analisados com o MEC.
Adotam-se os polinmios interpoladores gerados a partir do critrio da partio da
unidade e da matriz de coeficientes de Vandermonde. Emprega-se esse procedimento por ser
de imediata generalizao, inclusive para a gerao das funes de forma de elementos bi e
tridimensionais de ordem qualquer, conforme apresentado em (Pozrikidis, 2005).
Por hiptese, admite-se uma base do espao adimensional de coordenadas, gerado a partir
de um conjunto de pontos { k ; 1 k +1} e dependentes do grau da aproximao n
adotada.
O termo geral do polinmio interpolador calculado da seguinte maneira:
n

i ( ) = aij j = ai 0 + ai1 + ... + ain n

(9)

j =0

Ao impor as propriedades da partio da unidade, a Eq. 9 fica escrita como:

i ( = k ) = ai 0 + ai1 k + ... + ain kn = ik

(10)

Sendo i , as funes de forma avaliada nos pontos i = 1,..., ( n + 1) ; aij os coeficientes

dos polinmios interpoladores e ik , o delta de Kronecker.
Escrevendo a Eq. 11 em notao matricial, tem-se:

a10
a
20

ak 0

a11 a1n 1 1
a21 a2 n 1 2

n
ak 1 akn 1 2n

1 1
k 0
=


kn 0

0
1

0
0

(11)

Cuja representao simblica fica:

MV = I .

(12)

A matriz com as potncias das coordenadas adimensionais, V , da Eq. 13 denominada

matriz de Vandermonde, e os valores dos coeficientes so obtidos diretamente aps o clculo
de sua inversa, ou seja:
M = V 1 .

(13)

CILAMCE 2013
Proceedings of the XXXIV Iberian Latin-American Congress on Computational Methods in Engineering
Z.J.G.N Del Prado (Editor), ABMEC, Pirenpolis, GO, Brazil, November 10-13, 2013

Anlise das aproximaes de alta ordem aplicada ao MEC potencial

Calculado os valores dos coeficientes, as funes de forma num ponto de coordenadas

adimensional qualquer, p podem ser calculados a partir da Eq. 10

i ( p ) = ai 0 + ai1 p + ... + ain pn .

(14)

Aps a obteno das funes de forma. A derivada da Eq. 10 em relao ao parmetro

adimensional obtida pelo termo geral:
n
i
=

( ) jaij j 1 = 0 + ai1 + 2ai 2 1 + ... + nain n1

j =1

(15)

Sendo os valores dos coeficientes e das potncias das coordenadas adimensionais

conhecidos, basta, portanto, aplicar a expresso geral para o clculo da derivada no ponto:
i
p ) = 0 + ai1 + 2ai 2 1p + ... + nain pn1
(

(16)

Para ilustrar a aplicabilidade do mtodo, demonstra-se um exemplo analtico de obteno

dessas funes e suas derivadas.

3.1.1 Base nodal igualmente espaada

Para a obteno do polinmio interpolador, utilizou-se como base do espao
adimensional, o conjunto de pontos igualmente espaados { k ; 1 k +1} e
dependentes do grau da aproximao adotada. O conjunto obtido a partir do seguinte termo
geral da progresso aritmtica:

k = 1 + ( k 1) r ,

(17)

Sendo k = 1,..., ( n + 1) , a partio do intervalo, com n o grau da aproximao; 1 = 1 , o

ponto inicial do conjunto e r =

2
a razo da progresso.
n

Para ilustrar o desenvolvimento do polinmio interpolador obtido na Eq. 10, e gerado a

partir da nodal da Eq.17, apresenta-se, a seguir, um algoritmo de gerao dessas funes.

Primeiro passo: Determinao dos pontos que formam a base do espao adimensional.
k = 1, 2,3 , para n = 2 .

1 = 1 , visto que [ 1, +1] , comumente empregado nas quadraturas numricas.

r=

2
= 1 , razo da progresso aritmtica para os pontos igualmente espaados.
2

k = 1 + 1( k 1) = ( 1, 0 +1) , pontos do espao adimensional.

Segundo passo: Clculo da matriz de Vandermonde e matriz dos coeficientes.
- Matriz de Vandermonde.

V ( i, k ) = ki 1 , com i = 1, 2,3 , para n = 2 .

CILAMCE 2013
Proceedings of the XXXIV Iberian Latin-American Congress on Computational Methods in Engineering
Z.J.G.N Del Prado (Editor), ABMEC, Pirenpolis, GO, Brazil, November 10-13, 2013

F. C. da Rocha, A. K. L. Kzam, H. B. Coda

10 20 30 1 1 1

V = 11 21 31 = 1 0 1 .
12 22 32 1 0 1

- Matriz dos coeficientes.

M =V

a10
= a20
a30

a11
a21
a31

a12
2

a22 = 1 0
a32
1
0
2

1
2

1 .
1

Terceiro passo: Clculo das funes de forma

1
2

1 ( ) = a10 + a11 + a12 2 = ( 1)

2 ( ) = a20 + a21 + a22 2 = 1 2

1
2

3 ( ) = a30 + a31 + a32 2 = ( + 1)

Quarto passo: Clculo das primeiras derivadas
1
2

1, ( ) = 0 + a11 + 2a12 = +

2, ( ) = 0 + a21 + 2a22 = 2
3, ( ) = 0 + a31 + 2a32 =

1
+
2

Este procedimento equivale a determinar as funes interpoladoras por meio dos

polinmios de Lagrange, pois as mesmas propriedades so satisfeitas. Como comentado
anteriormente, o procedimento apresentado acima geral e se adequa a descrio de
elementos triangulares e quadrilaterais, assim como elementos tetradricos e hexadricos.
Outra caracterstica importante refere-se a disposio dos pontos no espao adimensional.
Verifica-se que essa disposio atende a uma progresso aritmtica onde os pontos, por essa
razo, so igualmente espaados. Ao se utilizar os polinmios de alta ordem verifica-se que
essa caracterstica decisiva na preciso dos resultados, dada a ocorrncia do fenmeno
Runge, que ser quantificada a partir da constante de Lebesgue e apresentada neste trabalho.
Na prxima seo apresentam-se a metodologia de gerao das funes de forma por
meio da interpolao espectral. Em seguida, demonstrarem-se atravs de exemplos as
perturbaes que ocorrem na representao de geometrias complexas quando se utilizam
polinmios de alta ordem.

3.2

Interpolao espectral

Nesta item apresentada uma sequncia de pontos de interpolao, os quais so cada vez
mais refinados sobre curvas, com o objetivo de alcanar convergncia uniforme e permitir alta
preciso na interpolao. H duas principais estratgias de aumentar a preciso. A primeira
CILAMCE 2013
Proceedings of the XXXIV Iberian Latin-American Congress on Computational Methods in Engineering
Z.J.G.N Del Prado (Editor), ABMEC, Pirenpolis, GO, Brazil, November 10-13, 2013

Anlise das aproximaes de alta ordem aplicada ao MEC potencial

diminuindo o tamanho do elemento, h , enquanto mantm a ordem polinomial fixada sendo

esta classificada como um refinamento h . Geralmente, o erro diminui com a potncia de
O(h) , onde o expoente determinado pela ordem polinomial e pela suavidade da soluo.
Por outro lado, uma forma alternativa de melhorar a preciso atravs do aumento da ordem
do polinmio, n , para um nmero fixo de elemento da discretizao, sendo esta forma
classificada como refinamento n , geralmente associado com a convergncia espectral. A
terminologia espectral significa que o erro numrico diminui mais rpido do que qualquer
potncia 1/ n , onde n a ordem da expanso polinomial (Pozrikidis, 2005).
Na prtica, o objetivo usar expanses de baixa ordem em regies onde a soluo tem
comportamento suave e usar expanses de alta ordem em regies onde a soluo sofre rpidas
variaes. Alm do mais, objetiva-se alcanar a melhor preciso possvel para um
determinado nmero de ns de interpolao.
A anlise terica do erro de interpolao mostra que, dado o nmero de ns de
interpolao a ser distribuda ao longo do elemento, a maior preciso de interpolao
conseguido quando os ns interiores so distribudos nas posies correspondentes aos zeros
de certas famlias de polinmios ortogonais. Quando isto feito, obtm-se uma expanso do
elemento espectral e associa-se, assim, ao mtodo do elemento espectral.
Diante do relatado, o desenvolvimento terico da interpolao espectral est
fortemente associada teoria de interpolao de polinmios ortogonais. Assim, este trabalho
aborda a utilizao do polinmio ortogonal de Lobatto como base para a aproximao.

3.2.1 Base nodal de Lobatto

Tomado a deciso de aproximar a soluo sobre o elemento por um polinmio de grau
n , definido pelos n + 1 ns de interpolao do elemento, incluindo os dois ns geomtricos
das extremidades e n 1 ns interior de interpolao. Em seguida apresentada a base nodal
de Lobatto.
Usando a teoria de interpolao polinomial em conjunto com a teoria de polinmios
ortogonais, pode-se construir n 1 ns intermedirios que so distribudos nos zeros do
polinmio de Lobatto de grau n 1 , L0m1( ) . Os primeiros termos dos polinmios de Lobatto
so apresentados na tabela 1, assim como, a sua frmula de gerao.
Tabla 1. Primeiros componentes da famlia do polinmio de Lobatto definido no intervalo [-1,1]

L00( ) = 1
L01( ) = 3
L02( ) = 3 (5 2 1)
2
5
L03( ) = (7 2 3)
2
L04( ) = 15 (21 4 14 2 + 1)
8

L05( ) = 1 (693 4 630 2 + 105)

8
L06( ) = 1 (3003 6 3465 4 + 945 2 35)
16

L0i ( ) =

d i + 2 ( 2 1)i +1 = i(2(i + 1))! i

1
2 (i + 1)! d i + 2
2i +1(i + 1)!
i +1

Por construo, o polinmio de Lobatto satisfaz a propriedade de ortogonalidade:

CILAMCE 2013
Proceedings of the XXXIV Iberian Latin-American Congress on Computational Methods in Engineering
Z.J.G.N Del Prado (Editor), ABMEC, Pirenpolis, GO, Brazil, November 10-13, 2013

F. C. da Rocha, A. K. L. Kzam, H. B. Coda

L0i ( ) L0 j ( ) 1 2 d =

2(i + 1)(i + 2)
ij .
2i + 3

(18)

onde ij o delta de Kronecker.

A principal razo da escolha dos zeros dos polinmios de Lobatto que as
correspondentes funes de interpolao nodal so garantida variar no intervalo [1,1] ,
independente da ordem da aproximao polinomial, n , isto , a Eq. 10 torna-se limitada

i ( ) 1 .

(19)

com a igualdade segurada apenas quando = i . Devido esta propriedade, a oscilao Runge
so suprimidas e a taxa de convergncia da interpolao com respeito a n espectral, isto ,
mais rpido que qualquer potencia de 1/ n .
Com a base nodal da interpolao de Lobatto, os ns de interpolao n + 1 do elemento
so distribudos da forma

1 = 1,
2 = t1 , 3 = t2 , m = tm1 , .
m +1 = 1,

(20)

onde os t1, t2, , tm1 so os zeros do polinmio de Lobatto de grau n 1 . Os n 1 ns de

interpolao so as razes do polinmio completo de Lobatto de grau n + 1 , definido como

Lc0m+1 ( t ) 1 t 2 L0m1 ( t ) ,

(21)

onde o sobrescrito c significa polinmio completado.

A seguir, para demonstrar as vantagens da distribuio dos ns de Lobatto ser verificada
sua preciso nas aproximaes de funo que possuem o comportamento Runge frente base
nodal igualmente espaado apresentada no item anterior. Para tanto, faz-se necessrio definir
a norma do clculo do erro da aproximao.

3.3

Erro na interpolao, convergncia e constante de Lebesgue

Para iniciar a anlise do erro da interpolao, considere uma funo f (x) a qual
interpolada por polinmios, Pn(x) , de grau igual ou menor a n . A diferena entre a
aproximao e o valor exato o erro da interpolao,
e( x) = PN ( x) f ( x) .

(22)

A condio de interpolao garante que nos pontos de interpolao xi

e( xi ) = 0 ,

(23)

Para i = 1, 2, , n + 1 , isto , a funo e( x) tem no mnimo n + 1 zeros no domnio de

interpolao. Contudo, em geral, e( x) 0 quando x xi .
Diante desta diferena existente na regio entre os pontos de interpolao e considerando
a funo suficientemente suave f (x) , o erro ocorrido pela interpolao polinomial dado por
(Davis, 1975)
CILAMCE 2013
Proceedings of the XXXIV Iberian Latin-American Congress on Computational Methods in Engineering
Z.J.G.N Del Prado (Editor), ABMEC, Pirenpolis, GO, Brazil, November 10-13, 2013

Anlise das aproximaes de alta ordem aplicada ao MEC potencial

e( x ) =

f ( N +1) ( )
( x x1 )( x x2 ) ( x xN )( x xN +1 ) ,
( N + 1)!

(24)

Antes de analisar a convergncia e definir a constante de Lebesgue, faz-se necessrio

definir uma medida de quantificao da magnitude do erro. Neste trabalho, a medida do erro
ser realizada atravs da norma mxima. Defini-se a norma mxima de uma funo f (x) ,
denotado por f (x) , como o valor absoluto mximo de f (x) sobre um determinado intervalo
de interpolao. De acordo com a Eq. 24, percebe-se que a norma do erro de interpolao,
e(x) , depender da localizao dos pontos de interpolao. Definida a norma, agora
possvel obter, dentre todas as aproximaes por polinmios de grau n da funo f (x) , um
polinmio timo, designado de Pnoti(x) , que exibe o erro mnimo para e(x) , chamado de erro
minimax e denotado por pn[ f (x)] . importante observar que este polinmio timo no
necessariamente um polinmio de interpolao da funo f (x) .
Para calcular e(x) , considere o conjunto de todas as funes f (x) com a norma mxima
unitria, f (x) = 1 . Tem-se que a correspondente norma do erro de interpolao

) (

e( x) Pn ( x) f ( x) = Pn ( x) Pnoti ( x) + Pnoti ( x) f ( x)

Pn ( x) Pnoti ( x) + Pnoti ( x) f ( x) = Pn ( x) Pnoti ( x) + pn [ f ( x)]

(25)

para enfatizar que o polinmio Pn ( x) aproxima a funo f (x) , utilizado como notao
Pn ( x, f ) . Em seguida aplicado o lema de Lebesgue (Karniadakis e Sherwin, 1999), e
desenvolve a desiguladade:
Pn ( x, f ) Pnoti ( x) = Pn ( x, f ) Pn ( x, Pnoti ) Pn f ( x) Pnoti ( x) ,

(26)

Onde

Pn Max Pn ( f ( x) ) ,

(27)

e o mximo calculado sobre todas as funes admissveis, f (x) . Assim,

e( x) (1 + Pn

) p [ f ( x)] .
n

(28)

Para obter um limite para a norma Pn , o polinmio interpolante expresso em termos

dos polinmios da Eq. 10. Lembrando a condio que f (x) = 1 , pode escrever

n +1

n +1

Pn Max f ( xi )i ( x) Max f ( xi ) i ( x) Max ( n ( x) ) ,

i =1

i =1

(29)

Onde
n +1

n ( x) i ( x)

(30)

i =1

a funo de Lebesgue. O mximo valor da funo de Lebesgue a constante de Lebesgue,

n Max ( n ( x) ) .
CILAMCE 2013
Proceedings of the XXXIV Iberian Latin-American Congress on Computational Methods in Engineering
Z.J.G.N Del Prado (Editor), ABMEC, Pirenpolis, GO, Brazil, November 10-13, 2013

(31)

F. C. da Rocha, A. K. L. Kzam, H. B. Coda

Combinando esta definio com a Eq. 28, tem-se

e( x) (1 + n ) pn [ f ( x)] ,

(32)

a qual mostra que as propriedades de convergncia da interpolao dependem do erro

minimax e da constante de Lebesgue na ordem polinomial.
O comportamento do erro minimax analisado atravs do primeiro e segundo teorema de
Jackson. O primeiro teorema de Jackson coloca um limite superior para o erro minimax,
pn [ f ( x)] . Quando imposta uma interpolao para a funo contnua f (x) dentro do
intervalo cannico [1,1] , o teorema afirma que:

2 1
pn [ f ( x)] 1 +
,
2 n

(33)

Onde ( ) o mdulo de continuidade de f (x) , definido de acordo com (Davis, 1975),

como:

( ) Max x x
1

f ( x1 ) f ( x2 ) ,

(34)

Para uma funo que satisfaz a condio de Lipschitz:

f ( x1 ) f ( x2 ) A x1 x2 ,

(35)

Onde > 0 , A uma constante positiva, 1 x1, x2 1 , () A , e assim:

2 1
pN [ f ( x)] A 1 +

2 n

(36)

O segundo teorema de Jackson afirma que, se a funo f (x) tem derivada de ordem k no
intervalo [1,1] , isto , a derivada de ordem k no torna infinita em [1,1] , ento (Rivlin,
1969)

2
pn [ f ( x)] 1 +

k +1

ek 1 1

,
(1 + k ) n k n k

(37)

Para n > k .
conhecido que a constante de Lebesgue possui o comportamento crescente medida
que n tende ao infinito. O teorema de Erds coloca um limite inferior para o crescimento
possvel da constante (Rivlin, 1969)
n >

ln n + 1 c ,

(38)

Onde c uma constante positiva. Assim, a constante de Lebesgue cresce no mnimo to

rpido quanto ln n .
Quando os pontos de interpolao so igualmente espaados sobre um intervalo
especfico, a constante de Lebesgue conhecida crescer rapidamente com n , exibindo o
comportamento assinttico (Hesthaven e Teng, 2000)

CILAMCE 2013
Proceedings of the XXXIV Iberian Latin-American Congress on Computational Methods in Engineering
Z.J.G.N Del Prado (Editor), ABMEC, Pirenpolis, GO, Brazil, November 10-13, 2013

Anlise das aproximaes de alta ordem aplicada ao MEC potencial

2n
.
n log n

(39)

Este rpido crescimento dos pontos igualmente espaados o responsvel pela ocorrncia do
efeito Runge.
possvel provar que quando os ns de interpolao so colocados nos zeros dos
polinmios ortogonais a constante de Lebesgue, n , cresce muito lentamente quase taxa
logartmica ideal (Fejr, 1932a; Fejr, 1932b). De fato, para interpolao de Lobatto, a anlise
numrica revela o limite (Bos, 1983; Hesthaven e Teng, 2000)
N

ln ( n + 1) + 0, 685 ,

(40)

a qual conduz a convergncia uniforme da interpolao.

Para ilustrar a taxa de convergncia da interpolao considerando base nodal igualmente
espaada e base nodal nos zeros do polinmio de Lobato, considere a funo a qual deve ser
aproximada:
f ( x) =

1
.
1 + 25 x 2

(41)

A figura 2 mostra os diversos polinmios de interpolao de ordem crescente para as

distribuies das bases nodais em anlise. A linha contnua representa a funo analtica, a
linha pontilhada equivale a interpolao com ns equidistantes e a srie de crculos representa
a interpolao com a base de Lobatto. possvel perceber na Fig. 2 que a aproximao
considerando base nodal igualmente espaado se deteriora rapidamente, quando comparado
com a base de Lobatto, medida que o grau de interpoao aumenta. A quantificao desta
deteriorao pode ser vista na Fig. 3, na qual plotada a constante de Lebesgue versus o
grau do polinmio interpolador, considerando os valores da constante obtida pela base
equidistante, base de Lobato e por fim, a constante obtida pela Eq. 40. Percebe-se na Fig.
3 o quo rpido esta constante torna-se ilimitada medida que se eleva o grau da
aproximao com a base equidistante. No entanto, para a base de Lobatto a constante de
Lebesgue cresce muito lentamente o que torna o erro limitado, ver Eq. 32. A tabela 2
apresenta de forma quantitativa os valores da constante de Lebesgue, e pode-se notar que para
uma aproximao de grau 30, a base equidistante possui uma constante com valor na ordem
de grandeza de 6, 6 106 , enquanto que para base de Lobatto, neste mesmo grau de
aproximao, obtido um valor de 2,8 .

CILAMCE 2013
Proceedings of the XXXIV Iberian Latin-American Congress on Computational Methods in Engineering
Z.J.G.N Del Prado (Editor), ABMEC, Pirenpolis, GO, Brazil, November 10-13, 2013

F. C. da Rocha, A. K. L. Kzam, H. B. Coda

Figura 2. Efeito da distribuio da base na interpolao polinomial

Figura 3. Grfico da constante de Lebesgue para as bases nodais

CILAMCE 2013
Proceedings of the XXXIV Iberian Latin-American Congress on Computational Methods in Engineering
Z.J.G.N Del Prado (Editor), ABMEC, Pirenpolis, GO, Brazil, November 10-13, 2013

Anlise das aproximaes de alta ordem aplicada ao MEC potencial

Tabla 2. Valores da constante de Lebesgue para a aproximao f(x) considerando as bases nodais.

Base equidistante

Base de Lobatto

Analtico (Eq. 40)

2
5
10
15
20
30

1,24995
3,10448
29,76959
512,09331
10893,95470
6589495,63235

1,24995
1,77607
2,17562
2,42371
2,60586
2,84175

1,384398
1,82567
2,211548
2,450085
2,623203
2,871144

APLICAES

Nesta seo so aplicadas as estratgias de interpolao apresentadas nas sees

anteriores com o intuito de avaliar a influncia das bases nodais na representao de um
problema fsico de conduo trmica em slidos bidimensionais atravs do MEC.
Na figura 4 apresentado o desenho geomtrico de uma engrenagem mecnica,
juntamente com o elemento representativo empregado na anlise do projeto de conduo
trmica.

Figura 4. Engrenagem e o elemento representativo do dente

Nesse exemplo, modela-se a engrenagem com um dimetro interno de 32 mm e dimetro

externo de 34 mm. Sendo essa engrenagem composta de 25 dentes igualmente espaados com
distncia mxima at o centro da circunferncia de 41,37mm. No lado esquerdo e direito do
contorno do dente dessa engrenagem (detalhe da Fig.4) aplicado um potencial (temperatura)
de 300C e 0C, respectivamente. J na parte superior e inferior do contorno do dente foram
adotadas condies adiabticas (fluxo nulo)
Para a anlise numrica pelo MEC so utilizados quatro elementos de ordem elevada.
Neste trabalho foram adotado elementos de grau de aproximao de ordem 5, 10, 15 e 20, os
quais foram comparados considerando base nodal igualmente espaada e a base nodal de
Lobatto. A figura 5 ilustra a evoluo da aproximao destas bases nodais medida que o
grau da aproximao elevado. Nota-se, ainda, (Fig 5) que a base equidistante apresentam
severas perturbaes nas extremidades do elemento curvo a partir do grau 10, entretanto, a
base nodal de Lobatto se comporta perfeitamente bem para elevado grau, apresentando
convergncia com a geometria medida que a ordem da aproximao aumenta.
CILAMCE 2013
Proceedings of the XXXIV Iberian Latin-American Congress on Computational Methods in Engineering
Z.J.G.N Del Prado (Editor), ABMEC, Pirenpolis, GO, Brazil, November 10-13, 2013

F. C. da Rocha, A. K. L. Kzam, H. B. Coda

Figura 5. Representao da geometria do dente empregando-se polinmios de alta ordem

Em seguida avaliada a preciso do clculo do potencial (temperatura) e do fluxo (fluxo

de calor) em relao a uma soluo de referncia. Para a obteno da soluo de referncia foi
utilizado 60 elementos quadrticos de contorno, uma vez que este mostraram semelhantes
resultados aos obtidos a partir do modelo de elementos finitos com 1350 elementos
triangulares gerados a partir do software Abaqus, como pode ser visto nas Fig. 6 e 7.

CILAMCE 2013
Proceedings of the XXXIV Iberian Latin-American Congress on Computational Methods in Engineering
Z.J.G.N Del Prado (Editor), ABMEC, Pirenpolis, GO, Brazil, November 10-13, 2013

Anlise das aproximaes de alta ordem aplicada ao MEC potencial

Abaqus

MEC

Figura 6. Distribuio de temperatura no dente da engrenagem

Abaqus

MEC

Figura 7. Representao da magnitude do fluxo no dente da engrenagem

Para avaliar o efeito das estratgias de interpolao aplicada ao MEC so apresentados

nas Fig. 8 e 9 os resultados obtidos nos pontos que compem a malha do contorno do
problema. Para este estudo foi imposta uma discretizao com 4 elementos de contorno e com
grau de aproximao variando de 5, 10, 15 e 20, tendo seus resultados comparados com o
modelo de referncia. Percebe-se que a interpolao utilizando a base nodal de Lobatto
significativamente superior base equidistante, tanto para o potencial (temperatura) quanto
para o fluxo. Observando as Fig. 8 e 9, possvel ver uma piora dos resultados do fluxo mais
rpido do que o do potencial medida que a ordem da aproximao elevada.

CILAMCE 2013
Proceedings of the XXXIV Iberian Latin-American Congress on Computational Methods in Engineering
Z.J.G.N Del Prado (Editor), ABMEC, Pirenpolis, GO, Brazil, November 10-13, 2013

F. C. da Rocha, A. K. L. Kzam, H. B. Coda

Figura 8. Potencial (temperatura) dos ns do contorno com o aumento do grau

Figura 9. Fluxo de calor nos ns do contorno com o aumento do grau

CILAMCE 2013
Proceedings of the XXXIV Iberian Latin-American Congress on Computational Methods in Engineering
Z.J.G.N Del Prado (Editor), ABMEC, Pirenpolis, GO, Brazil, November 10-13, 2013

Anlise das aproximaes de alta ordem aplicada ao MEC potencial

CONCLUSES

Com base nos dados apresentados verifica-se que a determinao da base de pontos usada
para descrever o espao adimensional decisiva na gerao das funes interpoladoras.
Verificou-se que est sensvel e dependente da distribuio de pontos, como foi possvel
notar ao se estudar a interpolao numrica com pontos equidistantes e os gerados a partir dos
zeros dos polinmios de Lobatto. Alm de se notar tambm a forte influncia dessas
interpolaes ao se descrever uma geometria complexa, e consequentemente as variveis
fsicas do mtodo dos elementos de contorno.

AGRADECIMENTOS
Os autores agradecem ao CNPq (Conselho Nacional de Desenvolvimento Cientfico e
Tecnolgico), CAPES (Coordenao de Aperfeioamento de Pessoal de Nvel Superior) e a
FAPESP (Fundao de Amparo a Pesquisa do Estado de So Paulo) pelo suporte financeiro.

REFERNCIAS
Brebbia, C. A., 1978. The boundary element method for engineers. London: Pentech Press.
Brebbia, C. A., Walker, S., 1980. Boundary element techniques in engineering. London:
Newness-Butterworths.
Blyth, M. G., Pozrikidis, C., 2005. A Lobatto interpolation grid over the triangle. IMA
Journal of Applied Mathematics Advance, vol. 71, n. 1, pp. 153169.
Bos, L., 1983. Bounding the Lebesgue function for Lagrange interpolation in a simplex. J.
Approx. Theory, vol. 38, pp. 43-59.
Chen, Y. J., He, H. Y., Zhang, S. L., 2013. A new algebra interpolation polynomial without
Runge phenomenon. Applied Mechanics and Materilas, n. 303-306, pp. 1085-1088.
Davis, P. J., 1975. Interpolation and approximation. Dover.
Fejr, L., 1932a. Lagrangesche interpolation und die zugehringen konjugierten punkte.
Mathematische Annalen., vol. 106, pp. 1-55.
Fejr, L., 1932b. Bestimmung derjenigen abszissen eines intervalles fr welche die
quadratsumme der grundfunktionen der Lagrangeschen interpolation. Ann. Scuila Norm. Sup.
Pisa Sci. Fis. Mt. Ser. II., vol. 1, pp. 263-273.
Hesthaven, J. S., 1998. From electrostatics to almost optimal nodal sets for polynomial
interpolation in a simplex. SIAM J. Numer. Anal., vol. 35, pp. 655-676.
Karniadakis G. E., Sherwin S. J., 1999. Spectral/hp element method for CFD. Oxford: Oxford
University Press.
Piskunov, N. 1974. Differential and Integral Calculus, Vol. I, II, Moscow: Mir Publishers.
Pozrikidis, C. 1992. Boundary integral and singularity methods for linearized viscous flow.
Cambridge: Cambridge University Press.
Pozrikidis, C., 2005. Introduction to Finite and Spectral Element Method using MATLAB.
Chapman & Hall/CRC.
Rivlin, T. J., 1969. An introduction to the approximation of functions. Dover.
CILAMCE 2013
Proceedings of the XXXIV Iberian Latin-American Congress on Computational Methods in Engineering
Z.J.G.N Del Prado (Editor), ABMEC, Pirenpolis, GO, Brazil, November 10-13, 2013