Escolar Documentos
Profissional Documentos
Cultura Documentos
(uma introducao)
0
1
0.5
-1
0
-0.5
-2
-1
-2
-1
Carlos J. S. Alves
Departamento de Matematica
Instituto Superior Tecnico
Universidade Tecnica de Lisboa
(Versao 0.3 Julho de 2008)
Indce
I
Introduc
ao
1 No
co
es gerais
1.1 Exemplos de Equacoes Diferenciais Parciais . . . . . . . .
1.1.1 Exemplo 1 Equacao de Poisson . . . . . . . . . .
1.1.2 Exemplo 2 - Equacao do Calor . . . . . . . . . . .
1.1.3 Exemplo 3 - Equacao das Ondas . . . . . . . . . .
1.2 Aproximacao de Operadores Lineares . . . . . . . . . . . .
1.2.1 Aproximacao usando Coeficientes Indeterminados.
1.2.2 Aproximacao de derivadas . . . . . . . . . . . . . .
1.2.3 Expansao simbolica . . . . . . . . . . . . . . . . .
II
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
M
etodo das Diferencas Finitas
7
7
7
8
9
10
11
13
15
18
2 Diferen
cas Finitas em Problemas Elpticos
2.1 Equacao de Laplace/Poisson . . . . . . . . . . . . . . . . .
2.1.1 Resultados elementares . . . . . . . . . . . . . . .
2.1.2 Unicidade . . . . . . . . . . . . . . . . . . . . . . .
2.1.3 Princpio do Maximo . . . . . . . . . . . . . . . . .
2.1.4 Problema bem-posto . . . . . . . . . . . . . . . . .
2.2 Diferencas Finitas - Equacao de Poisson . . . . . . . . . .
2.2.1 Aproximacao do Laplaciano . . . . . . . . . . . . .
2.2.2 Equacoes nos pontos interiores . . . . . . . . . . .
2.2.3 As condicoes de fronteira . . . . . . . . . . . . . .
2.2.4 O problema discreto . . . . . . . . . . . . . . . . .
2.2.5 O sistema linear no caso de um rect
angulo . . . . .
2.2.6 Domnio generico - aplicac
ao de metodos iterativos
2.2.7 Convergencia e estimativa de erro . . . . . . . . .
2.2.8 Caso tridimensional . . . . . . . . . . . . . . . . .
2.3 Outras equacoes e sistemas elpticos . . . . . . . . . . . .
2.3.1 Bilaplaciano . . . . . . . . . . . . . . . . . . . . . .
2.3.2 Elasticidade linear . . . . . . . . . . . . . . . . . .
2.3.3 Sistema de Stokes . . . . . . . . . . . . . . . . . .
2.4 Exemplos computacionais (Laplaciano) . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
19
20
21
26
27
29
30
30
32
33
34
38
39
43
45
46
46
47
49
50
3 Diferen
cas Finitas em Problemas de Evolu
c
ao
3.1 Equacao do Calor . . . . . . . . . . . . . . . . . . . .
3.1.1 Diferencas finitas para a equac
ao do calor . .
3.2 Esquema Explcito para a Equac
ao do Calor . . . . .
3.2.1 Consistencia do Esquema Explcito . . . . . .
3.2.2 Estabilidade do Esquema Explcito . . . . . .
3.2.3 Convergencia do Esquema Explcito . . . . .
3.3 Consistencia, Estabilidade e Teorema de Lax . . . .
3.3.1 Estabilidade . . . . . . . . . . . . . . . . . . .
3.3.2 Consistencia . . . . . . . . . . . . . . . . . .
3.3.3 Convergencia . . . . . . . . . . . . . . . . . .
3.4 Esquemas para a Equacao do Calor . . . . . . . .
3.4.1 Esquema Implcito (puro) . . . . . . . . . . .
3.4.2 Esquemas implcitos . . . . . . . . . . . . .
3.4.3 Simulacoes numericas . . . . . . . . . . . . .
3.5 Reducao a um sistema linear de EDOs . . . . . . .
3.6 Equacao das Ondas . . . . . . . . . . . . . . . . . . .
3.6.1 Caso unidimensional (1D+1T) . . . . . . . .
3.6.2 Sistema de 1a ordem . . . . . . . . . . . . . .
3.6.3 Esquema explcito inst
avel . . . . . . . . . . .
3.6.4 Esquema implcito . . . . . . . . . . . . . . .
3.6.5 Esquema explcitos condicionalmente est
aveis
3.6.6 Esquemas de ordem 2 . . . . . . . . . . . . .
III
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
M
etodo dos Elementos Finitos
54
54
56
57
58
59
60
61
61
62
62
63
63
65
68
70
70
71
72
74
75
75
78
80
4 M
etodo de Galerkin
4.1 Formulacao Variacional . . . . . . . . . . . . . . . .
4.2 Formulacao abstracta . . . . . . . . . . . . . . . . .
4.2.1 Equivalencia I (Caso simetrico - minimizac
ao
4.2.2 Equivalencia II (Formulac
oes fraca e forte) .
4.2.3 Teoremas fundamentais . . . . . . . . . . . .
4.3 Formulacao Variacional Discreta . . . . . . . . . . .
4.3.1 Funcoes base . . . . . . . . . . . . . . . . . .
. . . . . . .
. . . . . . .
de energia)
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
81
. 81
. 85
. 87
. 90
. 93
. 99
. 100
5 Interpola
c
ao por Elementos Finitos
5.1 Caso unidimensional . . . . . . . . . . . . .
5.2 Discretizacao geometrica (malhagem) . . . .
5.2.1 Construcao da Triangulac
ao . . . . .
5.3 Elementos Finitos - Tripleto . . . . . . . . .
5.3.1 Elementos de Lagrange Lineares . .
5.3.2 Elementos de Lagrange Quadr
aticos
5.3.3 Outros elementos finitos . . . . . . .
5.3.4 Elementos equivalentes afins . . . . .
5.4 Interpolacao Local e Global . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
102
102
105
108
109
110
111
112
118
119
5.4.1
5.4.2
5.4.3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
124
124
124
129
134
134
135
137
138
138
139
140
141
142
7 Complementos - M
etodo de Galerkin
7.1 Metodo de Galerkin-Estrutura do Sistema Linear
7.1.1 Numeracao dos nos e dos tri
angulos . . .
7.1.2 Sistema Linear . . . . . . . . . . . . . . .
7.2 Outras Condicoes de Fronteira . . . . . . . . . .
7.2.1 Condicao de Dirichlet n
ao homogenea . .
7.2.2 Condicao de Neumann . . . . . . . . . . .
7.2.3 Condicoes mistas Dirichlet-Neumann . . .
7.3 Outros Problemas Elpticos . . . . . . . . . . . .
7.3.1 Bilaplaciano (equac
ao das placas) . . . . .
7.3.2 Elasticidade linear . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
147
147
147
148
151
151
151
153
154
154
155
IV
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Ap
endices
158
8 Complementos de apoio
8.1 Formulas Integrais . . . . . . . . . . . . . . . . . . . . . . .
8.2 Espacos de Hilbert e Dualidade . . . . . . . . . . . . . . . .
8.3 Algumas nocoes em Espacos de Sobolev . . . . . . . . . . .
8.3.1 Espacos Lp . . . . . . . . . . . . . . . . . . . . . . .
8.3.2 O espaco H 1 (a, b) . . . . . . . . . . . . . . . . . . .
8.3.3 O espaco H 1 () com Rd . . . . . . . . . . . . .
8.3.4 Espacos de Sobolev W m,p () . . . . . . . . . . . . .
8.3.5 Traco de uma funcao . . . . . . . . . . . . . . . . . .
8.3.6 Dualidade - Espacos de Sobolev negativos, H s ().
8.3.7 Resultados em espacos de Sobolev . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
159
159
162
164
164
165
168
169
171
173
174
9 Exerccios
175
9.1 Diferencas finitas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175
9.2 Elementos Finitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 181
Prefacio
O presente texto resulta de um texto anterior de 2002, usado para a disciplina de Metodos
Numericos para Problemas Elpticos, disciplina que foi leccionada no Instituto Superior Tecnico,
no quarto ano da Licenciatura em Matem
atica Aplicada e Computac
ao para os alunos que
seguiam a especializacao em Analise Numerica e tambem como cadeira introdut
oria para a
mesma especializacao no Mestrado em Matem
atica Aplicada. Actualmente, essa disciplina deu
lugar a Analise Numerica de Equacoes Diferenciais Parciais, onde o conte
udo program
atico inclui
tambem uma parte de problemas de evoluc
ao.
A escolha foi dividir a materia em dois grandes t
opicos - Metodos de Diferencas Finitas e
Metodo dos Elementos Finitos. Na primeira parte inclui-se n
ao apenas a aproximac
ao de problemas elpticos, mas tambem problemas de evoluc
ao, concentrando-se no caso unidimensional em
espaco. Na segunda parte e apenas abordado o caso estacion
ario, por uma quest
ao de exiguidade
temporal. Esta divisao em duas partes e tambem uma divisao conceptual entre a aproximacao
forte, ilustrada pelo metodo das diferencas finitas, e aproximac
ao fraca, ilustrada pelo metodo
dos elementos finitos.
Como o assunto e demasiado vasto, foram feitas algumas simplificac
oes do ponto vista te
orico,
ja que um dos objectivos da cadeira e tambem a implementac
ao computacional efectiva. A implementacao computacional dos metodos n
ao e trivial para o caso bidimensional ou tridimensional,
especialmente quando se consideram domnios arbitr
arios; aqui e apenas focado com maior detalhe o caso bidimensional. A teoria matem
atica dos elementos finitos n
ao e trivial e necessita de
utilizar conhecimentos em espacos de Sobolev, pelo que e feita uma introduc
ao te
orica (grande
parte em apendice).
claro que neste curso introdutorio n
E
ao h
a tempo para introduzir outros metodos numericos,
como o metodo dos elementos de fronteira, nem t
ao pouco h
a tempo para entrar num maior
detalhe acerca do proprio metodo dos elementos finitos. O objectivo do curso e apenas introduzir conhecimentos que poderao (e dever
ao...) ser complementados atraves da leitura de obras
referenciadas na bibliografia.
Carlos J. S. Alves
Parte I
Introduc
ao
Captulo 1
Noco
es gerais
Um objectivo deste captulo inicial e apresentar alguns problemas no quadro das equac
oes com
derivadas parciais, comecando por apresentar a cl
assica distinc
ao entre problemas elpticos,
parabolicos e hiperbolicos atraves da classificac
ao do operador diferencial envolvido e tambem
atraves dos exemplos mais classicos, com aplicac
oes directas em problemas fsicos. O outro
objectivo e apresentar algumas noc
oes de aproximac
ao de operadores diferenciais, recorrendo `a
nocao de delta de Dirac, enquanto elemento base dessas aproximac
oes no sentido cl
assico, e ao
mesmo tempo obter algumas aproximac
oes que ser
ao u
teis para o metodo das diferencas finitas.
1.1
Exemplos de Equaco
es Diferenciais Parciais
1.1.1
Exemplo 1 Equac
ao de Poisson
(1.1)
(1.2)
Por convencao, a normal n aponta sempre para o exterior de . Trata-se de uma func
ao definida
em cada ponto da fronteira que toma valores vectoriais. Est
a bem definida se a fronteira
for regular (variedade C 1 de dimens
ao d 1), ou pelo menos seccionalmente regular (o conjunto
dos pontos onde nao esta bem definida tem medida nula). Consideram-se ainda condico
es de
fronteira mistas, em que numa parte da fronteira e imposta a condic
ao de Dirichlet e na restante
Neumann, ou ainda condico
es de Robin, da forma n Zu = g, em que Z e uma func
ao nao
negativa.
u = f
nu
1.1.2
Exemplo 2 - Equac
ao do Calor
(1.3)
(1.4)
u(x, t0 ) = u0 (x), (x ),
e na parte da fronteira espacial consideramos, para o problema de Dirichlet,
u(x, t) = u (x, t),
1.1.3
Exemplo 3 - Equac
ao das Ondas
(1.5)
(1.6)
das ondas, mas como o operador diferencial envolve uma segunda derivada no tempo, h
a duas
condicoes iniciais a impor,
u(x, t0 ) = u0 (x),
t u(x, t0 ) = u1 (x),
(x ),
(x ).
Equacoes semelhantes a esta, mas em que o laplaciano e substitudo por outros operadores
diferenciais vectoriais (Maxwell, Lame), modelam a propagac
ao de ondas electromagneticas ou
ondas elasticas (respectivamente).
1.2
Aproximac
ao de Operadores Lineares
||Ax||Y
.
||x||X
(1.7)
xV
xV
(1.8)
em que p representa o tensor i1 ip das derivadas parciais com ndices i1 , ..., ip {1, ..., p}.
No caso unidimensional, temos simplesmente
||f ||C p (V ) = max ||f (x)|| + max ||f(x)|| + ... + max || p f (x)||
xV
xV
xV
(1.9)
(1.10)
Defini
c
ao 1.2.2 Seja d = 1. Dizemos que uma aproximaca
o A de um operador linear A tem
pelo menos grau m se for exacta para mon
omios de grau menor ou igual a m. Ou seja,
k ) = A(#k ),
A(#
(k = 0, , m),
(1.11)
1.2.1
Aproximac
ao usando Coeficientes Indeterminados.
n
j Aj
(1.12)
j=0
n
j Aj (i )
(i = 0, ..., n)
j=0
em que k sao funcoes base de teste, e para efeitos de impor um grau n, ser
ao os mon
omios #k
ate grau n.
Matriz de Vandermonde.
A aplicacao do metodo dos coeficientes indeterminados no caso unidimensional com mon
omios,
leva a um sistema de Vandermonde, considerando aproximacoes por operadores Aj = yj
definidos por deltas de Dirac em nos y0 , , ym pre-estabelecidos. Neste caso, Aj (i ) = yj (#i ) =
#i (yj ) = yji , e portanto, verificando para os mon
omios #0 , , #n , obtemos um sistema (n +
1) (m + 1)
1 1
0
A(#0 )
.. . .
.. .. =
..
(1.13)
.
.
. .
.
n
n
n
y0 ym
m
A(# )
em que a matriz do sistema M = [yji ] e habitualmente quadrada (n = m), e e designada matriz
de Vandermonde (transposta). Nesse caso, o sistema, ainda que mal condicionado, e invertvel,
11
permitindo obter os coeficientes que definem uma aproximacao A do operador A, que tem pelo
ainda possvel considerar como inc
menos grau n. E
ognitas os pr
oprios n
os yj , o que permite
obter graus n > m. No entanto, nesse caso o sistema deixa de ser linear (e a sua apresentacao
matricial nao tera significado u
til).
Observaca
o: Uma aproximacao de grau m n
ao significa uma aproximac
ao de ordem m. Por
exemplo, no caso de integracao numerica, as aproximacoes de grau m correspondem normalmente
a aproximacoes de ordem m + 1. Na derivac
ao numerica, uma aproximac
ao de grau m para a
primeira derivada tem normalmente ordem m, mas para a segunda derivada tem ordem m 1.
Como regra emprica (podendo ser enunciada mais precisamente): uma aproximac
ao de grau m
para a derivacao de ordem q tera normalmente uma ordem de aproximac
ao m q + 1.
Exemplo conhecido:
a) Regra de quadratura dos trapezios simples.
Relembramos o caso em que o operador considerado consiste na integrac
ao de funcoes
contnuas f C([a, b], Y ),
b
I(f ) =
f (t)dt.
a
1 1
I(#0 )
ba
=
= 1 2
2
a b
I(#1 )
2 (b a )
cuja solucao = = 12 (b a), da exactamente a Regra dos trapezios. Portanto o operador
b
integral I = a pode ser rudemente aproximado por uma combinac
ao linear de 2 deltas de
Dirac
(b a)
I =
(a + b ).
2
Esta aproximacao pode ser concretizada exactamente para func
oes em D(I) = C 2 [a, b], atraves
da expressao de erro ( representa o operador de derivac
ao),
3
(b a)
(a,b) : I I =
2
12
b) Regra de quadratura dos trapezios composta.
Como e bem conhecido, usando subintervalos de comprimento h = (b a)/n, definindo n + 1
nos, xk = a + kh, k {0, 1, , n}, temos ainda a regra dos trapezios composta em C 2 [a, b],
n
b
h2
1
1k xk n 2 ,
n (a,b) :
= (b a)
n
12
a
k=0
em que 1k representa uma funcao caracterstica para o conjunto dos ndices J = {0, , n},
mais concretamente,
k J = {1, , n 1}
1,
1k =
1/2, k J = {0, n}
.
0,
k
/J
12
n
1k xk .
k=0
= n
=
sup
,
I In 2
12
12 f =0 ||f ||C 2 [a,b]
12
L(C [a,b],R)
L(C 2 [a,b],R)
f C 2 [a,b]
1.2.2
Aproximac
ao de derivadas
z #0 = (0 zh + 1 z + 2 z+h )(#0 ) 0 = 0 + 1 + 2
#1 = (0 zh + 1 z + 2 z+h )(#1 ) 1 = 0 (z h) + 1 z + 2 (z + h)
z 2
z # = (0 zh + 1 z + 2 z+h )(#2 ) 2z = 0 (z h)2 + 1 z 2 + 2 (z + h)2
Das duas primeiras equacoes tem-se (2 0 ) = h1 e h
a v
arias possibilidades de aproximacoes
de 1o grau. Por exemplo, 0 = 0 implica 2 = h1 e 1 = 2 = h1 , o que nos d
a as diferencas
progressivas, e de forma semelhante 2 = 0 leva `
as diferencas regressivas. Para obtermos uma
aproximacao de segundo grau, a terceira equac
ao implica 2z = 2(2 0 )zh + 2(2 + 0 )h2 , ou
1
1
ainda z = z + (2 + 0 )h2 2 = 0 . A soluc
ao e u
nica 2 = 2h
, 0 = 2h
e portanto 1 = 0,
donde se obtem a formula com diferencas centradas. Este sistema d
a-nos as tres principais
aproximacoes que iremos considerar para a primeira derivada:
Diferen
cas progressivas
f (z + h) f (z)
z+ (f ) =
= f [z, z + h],
h
(1.14)
(1.15)
Diferen
cas centradas
f (z + h) f (z h)
z (f ) =
,
2h
(1.16)
1
1
ou seja z e aproximado por z = 2h
(z+h zh ) = [z h, z + h], com = 2h
(h h ).
h
2
3
4
(2 0 )h = 1,
(0 + 2 )
h2
= 0,
2
(2 0 )
h3
= 0,
3!
f (z + h) f (z h) h3
h3
f (z) + (f ( + ) f ( )).
2h
6
48
f (z + h) f (z h) h3
f ().
2h
6
(2 0 )h = 0,
(0 + 2 )
h2
= 1,
2
(2 0 )
h3
= 0,
3!
f (z + h) 2f (z) + f (z h) h2
f (),
h2
12
(1.17)
1.2.3
Expans
ao simb
olica
1
1
x (x;x+h) : x+h = x (1 + h + h2 2 ) + x h3 3 .
2
6
A aplicabilidade desta formula esta restrita, no sentido cl
assico, para func
oes f C 3 (Vx ), em
que Vx [x, x + h] e uma vizinhanca de x, o que se depreende do contexto. Da mesma forma,
para funcoes analticas, continuando a expans
ao em serie de Taylor, obtemos a f
ormula mais
interessante
x+h = x exp(h),
porque formalmente,
1
exp(h) = 1 + h + h2 2 + ...
2
Observaca
o: Nexto contexto, poder
a ser u
til definir
expm (x) =
m
xk
k=0
15
k!
notando que expm (x) exp(x), quando m . Assim, podemos escrever a expans
ao de Taylor
com resto de Lagrange de ordem m, de uma forma mais reduzida
x (x;x+h) : x+h = x expm (h) +
1
(h)m .
m! x
1
1
(z+h z ) = (z exp(h) z ) z exp(h) = z (1 + h+ ).
h
h
(1)k+1
k=1
xk .
1 (1)k+1 + k
1
log(1 + h+ ) =
(h ) .
h
h
k
k=1
1
exp(h) exp(h)
1
(z+h zh ) = z (
) z sinh(h) = z (h).
2h
h
2
= h1 sinh1 (h)
em que
sinh1 (x) = x
1
13
135
x3 +
x5
x5 + ...
23
245
2467
16
17
Parte II
M
etodo das Diferencas Finitas
18
Captulo 2
d
j (aij u) +
i,j=1
d
b u + c u,
(2.1)
i=1
d
j=1 j aij .
d
aij ij u +
i,j=1
d
Bi i u + c u,
(2.2)
i=1
i,j=1
aij vi vj |v|2 , v Rd .
(2.3)
Repare-se que isto corresponde a considerar que a matriz dos coeficientes aij e definida positiva, o
que nos leva a valores proprios positivos e e consistente com a relac
ao estabelecida anteriormente
com as conicas, neste caso as elipses. Notamos ainda que no caso em que os coeficientes sao
funcoes pode ocorrer que a propriedade de elipticidade seja verificada em certos pontos e noutros
nao.
O exemplo obvio de operador elptico e Au = u, considerando aij = ij , e os restantes coeficientes nulos. Grande parte das propriedades dos operadores elpticos e deduzida inicialmente
no caso mais simples, o do operador de Laplace, que ir
a assim constituir o assunto principal
deste texto.
2.1
Equac
ao de Laplace/Poisson
Caso n
ao se considere esta conservaca
o, assume-se que h
a uma compensaca
o ao fluxo que se traduz numa
media nesse subconjunto, ou seja
Fn=
f,
20
claro que a equacao de Laplace colocada em todo o espaco e sem outras restric
E
oes tem
uma infinidade de solucoes possveis, comecando pela soluc
ao trivial u = 0, ou pelos polinomios
de primeiro grau. Torna-se necessario imp
or condic
oes suplementares, de forma a especificar
qual a solucao pretendida. Habitualmente essas condicoes s
ao impostas na fronteira do domnio
, e no caso de considerarmos domnios ilimitados tambem devemos impor condic
oes na outra
fronteira, no infinito, atraves de um comportamento assimpt
otico.
Observa
c
ao: Convem relembrar que em R2 e extremamente f
acil encontrar func
oes que
2
verifiquem a equacao de Laplace (funco
es harm
onicas), atraves do isomorfismo de R com o
corpo dos complexos C. Com efeito, sendo z = x + iy, e bem conhecido que qualquer funcao
de variavel complexa f (z) = u(z) + iv(z), que seja holomorfa, verifica as condic
oes de CauchyRiemann, e consequentemente verifica a equac
ao de Laplace.
Isto permite um processo extremamente f
acil de encontrar func
oes harm
onicas em R2 , e em
particular conclumos, pelo facto dos polin
omios serem func
oes holomorfas, que a sua parte real
ou a sua parte imaginaria e uma func
ao que verifica a equac
ao de Laplace obtem-se assim
polin
omios harm
onicos. Por exemplo,
x = Re(z), y = Im(z); x2 y 2 = Re(z 2 ), 2xy = Im(z 2 ); x3 3xy 2 = Re(z 3 ), 3x2 yy 3 = Im(z 3 ), etc...
sao polinomios harmonicos. Ou ainda, ex cos(y) = Re(ez ), ex sin(y) = Im(ez ) s
ao tambem
funcoes harmonicas.
Interessa-nos saber em que circunst
ancias podemos assegurar a existencia, a unicidade e a
dependencia contnua dos dados, tres quest
oes que se colocam em qualquer problema de equacoes
diferenciais dizendo-se nesse caso que se trata de um problema bem posto (no sentido de
Hadamard).
Defini
c
ao 2.1.1 Um problema diz-se bem posto se:
(i) existe soluca
o; (ii) a soluca
o e u
nica; (iii) a soluca
o depende continuamente dos dados (numa
certa norma).
2.1.1
Resultados elementares
Aa + B =
a 1
A
ou seja
=
Ab + B =
b 1
B
xa
( ).
ba
Aa + B =
a 1
A
ou seja
=
A=
1 0
B
A=
1 0
A
ou seja
=
.
A=
1 0
B
a 1
A
Aa + B =
ou seja
=
.
1 0
B
A=
que tem a solucao u
nica u(x) = +(xa). Neste caso e preciso ter em atenc
ao que as condicoes
colocadas em a determinam perfeitamente a soluc
ao do problema, pelo que qualquer condicao
colocada em b sera dispensavel e poder
a n
ao ser compatvel com a soluc
ao.
22
Separa
c
ao de vari
aveis
Iremos brevemente rever o processo cl
assico de separac
ao de vari
aveis para obter soluc
oes particulares para uma equacao diferencial parcial. Consiste em admitir que em determinadas coordenadas a solucao pode ser escrita como o produto de de func
oes que dependem apenas de
uma das variaveis. Ao obter solucoes desta forma, n
ao resolvemos o problema para qualquer
domnio, nem para qualquer condic
ao de fronteira, mas permite ter uma ideia de uma certa
classe de solucoes e ao mesmo tempo encontrar func
oes que sirvam de teste para verificar a
eficacia de metodos numericos.
Antes de prosseguir convem lembrar que no caso de termos soluc
oes u1 , ..., um para uma certa
equacao homog
ao uma combinacao
enea Du = 0, em que D e um operador diferencial linear, ent
linear u = m
e
ainda
solu
c
a
o.
k=1 k k
Separa
c
ao em vari
aveis cartesianas Suponhamos que a soluc
ao se pode escrever na forma
u(x, y) = v(x)w(y)
entao
0 = u = v (x)w(y) + v(x)w (y)
ou seja, supondo que v, w = 0
0=
=
v(x)
w(y)
v(x)
w(y)
v (x) Cv(x) = 0
w (y) + Cw(y) = 0
M
m emx cos(my)
m=1
v
v
w
+r = .
v
v
w
se C = 0
w() = A +B
C
C
w() = Ae + Be
se C < 0
ora, apenas a u
ltima possibilidade nos d
a uma func
ao w peri
odica, e de forma a que w(0) = w(2)
2
e preciso que C = m para um certo m > 0 inteiro.
24
Quanto `a equacao
r2 v + rv m2 v = 0
m0
o que dara
am
bm
, Bm = m
m
R
R
Para haver convergencia uniforme da serie de Fourier basta exigir que g seja contnua de
variacao limitada.
Am =
A expans
ao em serie de Fourier de uma funca
o contnua de variaca
o limitada g(), com [0, 2], e dada
atraves das f
ormulas
2
1
a0 = 2
g()d, e para m > 0 :
0
2
am = 1 0 g() cos(m)d
2
1
bm = 0 g() sin(m)d
25
2.1.2
Unicidade
e claro que
Assim u e constante em , e como u = 0 na fronteira, pela continuidade, u C(),
e portanto u1 = u2 .
u = 0 em
Problema de Dirichlet-Neumann
Usando o mesmo raciocnio, sendo u1 e u2 soluc
oes do mesmo problema (k = 1, 2)
uk = f em ,
u = g0 em 0 ,
n u = g1 em 1 ,
26
u = 0
u=0
n u = 0
o problema homogeneo
em ,
em 0 ,
em 1 ,
Se aplicarmos ainda a 1a formula de Green, podemos concluir que u e constante, mas como u
nao se anula em nenhuma parte de , n
ao podemos concluir que e nula. Assim sendo, retiramos
(2.5)
que no caso de funcoes harmonicas, em que f = 0, corresponde a verificar que g tem media nula,
g = 0.
2.1.3
Princpio do M
aximo
d
(1+d/2) ,
em que e a func
ao gama3 .
A funca
o gama
(z) =
tz1 et dt
27
4
2
82
3
, 4 =
, 5 =
, 6 =
, ...
3
2
15
6
28
Demonstra
c
ao:
Vamos mostrar que se e conexo e u(x0 ) = maxx u(x) = M ent
ao u(x) = M em .
Suponhamos que existia um V B(x0 , r) : u(x) < M, ent
ao se V tiver medida nao
nula
1
1
u(x0 ) =
u(y) dy <
M dy = M
|B(x0 , r)| B(x0 ,r)
|B(x0 , r)| B(x0 ,r)
o que contradiz u(x0 ) = M. Assim V tem medida nula e u(x) = M no aberto B(x0 , r). Como a
funcao e analtica em conexo, ent
ao pelo prolongamento analtico u(x) = M em .
Agora, por continuidade, u(x) = M em e portanto se o m
aximo e interior, a funcao e
constante e o mesmo valor e atingido na fronteira.
O mesmo raciocnio aplica-se para o mnimo.
Observa
c
ao 1: No caso de func
oes sub-harm
onicas, u 0, obtemos apenas o prncipio
do maximo max u = max u, e no caso de de func
oes sobre-harm
onicas, u 0, obtemos
apenas o prncipio do mnimo min u = min u. Para a demonstrac
ao e necess
ario assumir
que o domnio verifica a condica
o da bola interior, ou seja que em qualquer ponto x0 de existe
um > 0 tal que B(x0 , ) . Note-se em domnios com c
uspidas isto n
ao acontece!
Observa
c
ao 2: Note-se que e uma consequencia da demonstrac
ao que, no caso em que a
funcao nao e constante, o maximo/mnimo tem que estar na fronteira. No caso unidimensional,
como as funcoes harmonicas se tratam de rectas, e claro que num dos extremos toma o valor
mnimo e no outro o valor maximo, a menos que se trate de uma constante.
2.1.4
Problema bem-posto
u = 0 em [0, +[R
1
sin(my)
u(0, y) = gm (y) = m
(Pm )
n u(0, y) = 0
e designarmos por um a solucao do problema (Pm ), vemos que gm 0, mas a soluc
ao
um (x, y) =
1
sin(my) cosh(mx)
m
29
2.2
hy
hx
2.2.1
Aproximac
ao do Laplaciano
e da mesma forma
y2 u(xi , yj ) =
em que o erro sera em O(h2x )+O(h2y )... isto assegura que o esquema de aproximac
ao e consistente
e de segunda ordem.
Algumas nota
co
es
para designar esta aproximac
Iremos usar a notacao
ao de segunda ordem do laplaciano, ou
seja
ij = ui+1,j 2uij + ui1,j + ui,j+1 2uij + ui,j1 .
u
h2x
h2y
(2.6)
ui,j
ui+1,j
ui,j-1
Com efeito, se consideramos (xi , yj1 ) = (xi , yj h
e claro que
y ), (xi1 , yj ) = (xi hx , yj ),
2
3
(h+
(h+
y)
y)
y2 uij +
y3 u(+ )
2
6
2
3
(h
(h
y)
y)
2
= uij h
u
+
y3 u( )
y y ij
y ij
2
6
ui,j+1 = uij + h+
y y uij +
ui,j1
h
y
.
h+
y
2.2.2
1 2 4
(h u(x , yj ) + h2y y4 u(xi , y )).
12 x x
Equaco
es nos pontos interiores
(2.7)
h2y
h2x
(u
+
u
)
+
(ui,j+1 + ui,j1 )
i+1,j
i1,j
2(h2x + h2y )
2(h2x + h2y )
32
(2.8)
(2.9)
Observa
c
ao: As formulas (2.8) e (2.9) s
ao as vers
oes discretas da f
ormula da media. No
caso da f
ormula (2.8) ha uma media ponderada, j
a que os valores de hx e hy s
ao diferentes, mas
a soma dos pesos e 1, e no caso da f
ormula (2.9) e imediato.
2.2.3
As condico
es de fronteira
Aproxima
c
ao com Condi
c
ao de Dirichlet
Quando consideramos condicoes de Dirichlet, as u
nicas inc
ognitas s
ao os valores nos N pontos
interiores, ja que nos pontos da fronteira, (xi , yj ) h impomos obviamente
uij = gij .
Portanto temos N equacoes (2.7) para N inc
ognitas, o que n
ao nos garante `
a partida que o
sistema tem solucao, nem que e u
nica, mas pelo princpio do m
aximo discreto que veremos de
seguida, concluiremos que existe e e u
nica.
1,6
...
6,6
1,5
...
6,5
...
...
1,2
1,1
...
2,1
6,2
...
6,1
Aproxima
c
ao com Condi
c
ao de Neumann
Antes de prosseguir com a analise, referimos que o metodo das diferencas finitas n
ao e aconselhado para problemas num domnio n
ao inserido num reticulado, especialmente quando aparecem
condicoes de Neumann, ja que qualquer domnio reticulado admite apenas quatro possveis direccoes para a normal, (1, 0) ou (0, 1). De qualquer forma, admitindo, por exemplo, que a
condicao de Neumann e colocada numa parte da fronteira em que a normal e constante, podemos
obter aproximacoes com interesse.
33
h2y 1
(ui+1,1 2ui1 + ui1,1 ) + O(h2x )h2y + O(h3y ),
2 h2x
ou seja,
1
gi1 =
hy
h2y 1
ui1 ui2
(ui+1,1 2ui1 + ui1,1 ) + O(h2x )hy + O(h2y )
2 h2x
h2y 1
(ui+1,1 2ui1 + ui1,1 )
2 h2x
(2.10)
(2.11)
Observa
c
ao: Repare-se que no caso em que se tem a derivada normal nula, a equac
ao (2.11)
volta a ser uma formula da media, j
a que obtemos ui1 = 21 ui2 + 14 (ui+1,1 + ui1,1 ), de certa forma
admitindo que existiria um ponto extra tal que ui0 = ui2 .
2.2.4
O problema discreto
h
pij
pij h
34
h
pij
pij h
Demonstra
c
ao:
Suponhamos que o maximo/mnimo era atingido num ponto pij h .
Usando a formula
uij = (ui+1,j + ui1,j ) + (ui,j+1 + ui,j1 )
ja vimos que uij e o baricentro dos 4 pontos ui+1,j , ui1,j , ui,j+1 , ui,j1 , porque a soma dos pesos,
com
h2y
h2x
=
,
=
,
2(h2x + h2y )
2(h2x + h2y )
e igual a 1. Como estes pesos sao positivos uij est
a compreendido4 entre os valores dos 4 pontos
de Vij = {ui+1,j , ui1,j , ui,j+1 , ui,j1 }.
Portanto min Vij uij max Vij .
Como uij = (ui+1,j + ui1,j ) + (ui,j+1 + ui,j1 ) e uma media, s
o h
a duas possibilidades,
ou a desigualdade e estrita ou entao h
a igualdade em todos os pontos de Vij .
Se houver igualdade em todos os pontos, a func
ao e constante, porque o mesmo se ir
a passar
para qualquer ponto de Vij que tambem ser
a m
aximo/mnimo. Se a desigualdade for estrita isso
contradiz a hipotese de ser maximo/mnimo em pij .
Definindo a norma do maximo num conjunto discreto ,
||uij ||, = max |uij |,
pij
Demonstra
c
ao:
No caso mais simples, em que hx = hy = h, ficamos com
ij = 1 (ui+1,j + ui1,j + ui,j+1 + ui,j1 4uij ),
fij = u
h2
e portanto
1
h2
uij = (ui+1,j + ui1,j + ui,j+1 + ui,j1 ) fij .
4
4
Como fij 0, mais uma vez conclumos que uij max Vij e a demonstrac
ao anterior repete-se.
4
Nota: Se tivermos
35
ij
ij = fij ,
u
0
uij = gij
1
n uij = gij
com h = 0h 1h .
Dadas duas solucoes u(1) , u(2) , verificando este problema, teremos u = u(1) u(2) verificando
condicoes homogeneas, isto e, uij = 0 em 0h , e n uij = 0 em 1h . Neste caso, a equac
ao discreta
fica (num ponto (i, 1) da fronteira 1h )
1
ui2 = ui1 hy gi1
h2y 1
(ui+1,1 2ui1 + ui1,1 )
2 h2x
36
e como g 1 = 0, temos
ui2 = ui1
h2y
2h2x (ui+1,1
2ui1 + ui1,1 )
h2y
h2
ui2 + 2h2 (ui+1,1 + ui1,1 ) = ui1 (1 + h2y )
x
x
h2
h2x ui2 + 2y (ui+1,1 + ui1,1 ) = ui1 (h2x + h2y )
2
h2y
x
ui1 = h2h+h
2 ui2 + 2(h2 +h2 ) (ui+1,1 + ui1,1 )
x
ora isto significa que um ponto da fronteira e ainda o baricentro dos tres pontos ui2 , ui+1,1 , ui1,1
2
h2
h2
y
y
x
com os pesos respectivos h2h+h
e igual a 1).
2 , 2(h2 +h2 ) , 2(h2 +h2 ) (note que a soma dos pesos
x
y
x
y
x
y
Isto significa que nestes pontos, em que se aplica a condic
ao de Neumann nula, ainda e valido
o princpio do maximo local, ou seja, ou a func
ao e constante, ou
Isto nao e estranho, ja que tinhamos visto no caso contnuo que o problema de Neumann
apenas estaria bem posto a menos de constante aditiva e se fosse verificada a condica
o de
compatibilidade (2.5). Essa condicao de compatibilidade resultava imediatamente do teorema da
divergencia, e podemos estabelecer qual o correspondente no caso discreto da mesma forma.
ij = fij em h , escrevendo
Com efeito, supondo que u
ij = d
1 uij d
1 ui1,j + d
2 uij d
2 ui,j1 ,
hu
1 uij =
em que d
ui+1,j uij
,
h
i=1,...,N
j=1,...,N
i=1,...,N
j=1,...,N
i=1,...,N
j=1,...,N
2 uij d
2 ui,j1 )
(d
j=1,...,N
ou seja,
h
i=1,...,N
fij =
pij h
n uij =
pij h
gij
pij h
2.2.5
h e o conjunto dos n
Consideramos agora que e um rect
angulo e
os igualmente espacados
definido por um reticulado R. Em cada ponto pij h temos a equac
ao (no caso Laplace)
uij (ui+1,j + ui1,j ) (ui,j+1 + ui,j1 ) = 0,
em que =
h2y
2
2(hx +h2y )
, =
h2x
.
2(h2x +h2y )
I K
..
.
0
..
..
.
.
0
.
I . .
..
..
.
.
0
..
.
I K
I
0
I K
38
K= 0
..
.
0
0
0
.
.
1
. . ..
..
..
..
.
.
.
. 0
..
. 1
0
1
nx ny
...
36
...
...
...
7
...
3
12
...
2.2.6
Domnio gen
erico - aplicac
ao de m
etodos iterativos
39
1,
,
=
,
0,
se (i, j) = (k, l)
se (i 1, j) = (k, l)
se (i, j 1) = (k, l)
caso contr
ario.
(i 1, j) = (k, l) (k 1, l) = (i, j)
(i, j 1) = (k, l) (k, l 1) = (i, j)
torna-se claro que o valor Mkl,ij iria produzir o mesmo resultado, concluindo-se assim a simetria
da matriz para qualquer domnio.
uij = (ui+1,j + ui1,j ) + (ui,j+1 + ui,j1 ) = uji ,
(ii) Para qualquer domnio h a matriz M e definida positiva.
Reparamos que mais uma vez em qualquer linha existe uma domin
ancia (n
ao estrita) do
termo diagonal. Pelo teorema de Gerschgorin (e.g. [1]), como a matriz e simetrica podemos
concluir que todos os valores proprios pertencem ao intervalo [0, 2]. Como j
a vimos que o problema discreto e bem posto, o sistema e invertvel e podemos excluir o valor pr
oprio nulo. Assim,
os valores proprios estao no intervalo ]0, 2] e portanto a matriz M e definida positiva, podendo
aplicar-se os metodos de Gauss-Seidel e SOR.
M
etodo de Gauss-Seidel
A aplicacao do metodo de Gauss-Seidel e extremamente simples, no sentido em que basta estabelecer o processo iterativo
(k+1)
uij
(k)
(k+1)
(k)
(k+1)
Aqui esta implcita uma ordenacao... os termos ui1,j aparecem anteriores a ui,j (e o mesmo se
passa para os termos ui,j1 ), o que e feito automaticamente ao serem definidos os ciclos em i
e em j. Com efeito, computacionalmente, resume-se a definir uma lista com os valores u[[i,j]] e,
dentro de um ciclo em i e em j, atribuir simplesmente
u[[i,j]] = (u[[i+1,j]] +u[[i1,j]] ) + (u[[i,j+1]] +u[[i,j1]] ).
Como o valor recentemente atribudo e o que consta nos registos de u[[i1,j]] e de u[[i,j1]] ,
a implementacao do metodo de Gauss-Seidel e imediata (ao contr
ario do que aconteceria se
tentassemos implementar o metodo de Jacobi, pois seria preciso guardar numa outra lista os
valores anteriores)!
40
Outra vantagem deste processo e que basta atribuir inicialmente os valores na fronteira gij
a u[[i,j]] e executar o ciclo apenas nos pontos pij h (excluindo assim os pontos da fronteira
pij h ).
Os valores u[[i,j]] para os pontos pij h podem ser inicializados com um valor qualquer (por
exemplo, zero). No entanto, no caso da equac
ao de Laplace, como j
a sabemos que a solucao no
interior estara entre os valores maximo e mnimo dados na fronteira, ser
a de bom senso inicializar
com uma media dos valores da fronteira.
obvio que, como os u
E
nicos valores conhecidos s
ao os valores da fronteira, o metodo iterativo
dara pior resultados na generalidade dos pontos interiores. H
a que pensar que a informacao
da fronteira apenas chegara verdadeiramente aos pontos mais interiores ap
os um n
umero de
iteracoes razoavel. Esse n
umero de iterac
oes est
a directamente ligado ao n
umero
r=
h
pij ,pkl
Teorema (Ostrowski): O metodo SOR converge para matrizes definidas positivas desde que ]0, 2[.
Trata-se tambem de uma condica
o necess
aria (Teorema de Kahan) desde que se exija a convergencia para
qualquer iterada inicial.
41
Ha um valor optimal para , que designamos por ]1, 2[, para o qual a convergencia do
metodo SOR sera mais rapida. No caso de um domnio h qualquer n
ao e possvel estabelecer
a priori qual o melhor valor. No entanto, no caso de um domnio rectangular, e possvel mesmo
mostrar que dada a matriz6 M = L + D + U, definindo B = D1 (L + U ), o valor optimal sera
dado atraves do raio espectral de B,
1
(B) = (cos(
) + cos(
))
2
nx + 1
ny + 1
na formula
=
2
1 + 1 (B)2
2
,
2
1 + 1 cos( n+1
)
2
.
1 + sin( n+1
)
1.6
1.4
1.2
10
20
30
40
50
42
1
1
D, N = (1 )D + U
C = M1 N
||C ||n
||u1 u0 ||,
1 ||C ||
2.2.7
Converg
encia e estimativa de erro
Vamos agora seguir [10] para mostrar a convergencia do metodo de diferencas finitas e a estimativa de erro.
h um conjunto discreto qualquer, contido num quadrado Q =
Lema 2.2.1 Consideremos
[0, a] [0, a]. Ent
ao
max |vij | max |vij | +
pij h
pij
a2
ij |
max |v
2 pij h
(2.12)
Demonstra
c
ao.
Consideramos a funcao auxiliar w(x, y) = 12 x2 , e observamos que nos pontos pij do reticulado
em Q temos
a2
0 wij
2
43
vij
= vij + wij M,
vij
max vnm
=
pnm h
pnm h
max (vnm ) +
pnm h
a2
M.
2
vij = vij
wij M vij
,
surge imediatamente
vij max(vij ) +
a2
M
2
em que C1 =
a2
24
a2
24
(2.13)
a2 4
||x u||, + ||y4 u||, h2 .
24
(2.14)
Demonstra
c
ao:
Ja vimos que o operador de truncatura local para o laplaciano verifica, para pij h ,
1 2 4
ij = fij , ent
Definindo vij = uij u(xi , yj ), como u(xi , yj ) = fij e tambem u
ao
ij = fij u(x
v
i , yj ) = u(xi , yj ) u(xi , yj ) = (u)ij .
Como as condicoes de fronteira sao iguais, obtemos
vij = uij u(xi , yj ) = 0 para (xi , yj ) h .
Pelo Lema anterior,
max |vij | max |vij | +
pij h
pij h
e portanto
max |u(xi , yj ) uij | 0 +
pij h
a2
ij |
max |v
2 pij h
a2
max | (u)ij |.
2 pij h
Conclumos que
max |u(xi , yj ) uij |
pij h
e deduzimos o resultado.
a2
max h2x x4 u(i , yj ) + h2y y4 u(xi , j ) .
24 pij h
Observa
c
ao: A demonstracao foi apresentada para o problema de Dirichlet, mas podemos
reparar que se tivessemos um problema que inclusse numa parte 1h condic
oes de Neumann,
o mesmo raciocnio seria aplicavel, se admitisse erro nulo na aproximac
ao da derivada normal.
Com efeito, a u
nica parte que seria diferente diria respeito a maxpij h |vij | que, no entanto,
continuaria a ser nulo, ja que as condic
oes de Neumann nulas (se o erro fosse nulo) implicariam
que o maximo seria em 0h que teria condic
oes de Dirichlet nulas.
2.2.8
Caso tridimensional
Com e obvio, toda a analise que foi efectuada anteriormente pode ser estendida sem grande
dificuldade para dimensoes superiores, tudo se resume a considerar uma nova aproximac
ao dos
operadores diferenciais. Por exemplo, no caso tridimensional, o operador de Laplace passara a
ser aproximado por
ijk = ui+1,j,k 2uijk + ui1,j,k + ui,j+1,k 2uijk + ui,j1,k + ui,j,k+1 2uijk + ui,j,k1
u
h2x
h2y
h2z
(2.15)
que constitui ainda uma aproximac
ao de segunda ordem. No caso mais simples, da equacao de
Laplace, e se considerarmos hx = hy = hz , obtemos imediatamente a f
ormula da media discreta
1
uijk = (ui+1,j,k + ui1,j,k + ui,j+1,k + ui,j1,k + ui,j,k+1 + ui,j,k1 ),
6
o mesmo acontecendo para dimensoes superiores...
45
(2.16)
2.3
Outras equaco
es e sistemas elpticos
2.3.1
Bilaplaciano
n u = 0, sobre .
Ao ser verificada esta equacao obtemos o deslocamento para o estado de equilbrio. Existem
varias possveis condicoes de fronteira que s
ao adaptadas `
as v
arias maneiras como a placa esta
apoiada, mas aqui apenas consideramos apoios fixos. Iremos ver mais `
a frente que este problema
esta bem posto.
No quadro da a aproximacao com diferencas finitas, podemos obter uma aproximac
ao de
segunda ordem se usarmos convenientemente a expans
ao em serie de Taylor a partir de 12
pontos (ver figura), e obtem-se, para hx = hy ,
2 uij = 0 uij + 1 (ui+1,j + ui1,j + ui,j+1 + ui,j1 )
20
8
2
1
, 1 = 4 , 2 = 4 , 3 = 4 .
h4
h
h
h
No caso de funcoes biharmonicas (f = 0) ficamos com a f
ormula
0 =
uij =
2
(ui+1,j + ui1,j + ui,j+1 + ui,j1 )
5
1
1
(ui+1,j+1 + ui+1,j1 + ui1,j+1 + ui1,j1 ) (ui+2,j + ui2,j + ui,j+2 + ui,j2 ).
10
20
46
2.3.2
Elasticidade linear
Um outro exemplo interessante consiste em tratar problemas elpticos que tem a sua origem na
elasticidade linear, e que dao origem a um sistema de equac
oes `
as derivadas parciais. Para esse
efeito, consideramos uma entidade, designada por tensor das tens
oes,
ij (u) = div(u)ij + ( uj + j u ).
No caso bidimensional, u = (u1 , u2 ) representa o vector deslocamento, que ser
a a inc
ognita,
e , sao parametros positivos, associados `
as caractersticas do meio el
astico, designados por
coeficientes de Lame. Este tensor das tens
oes, assume, em certa medida, uma generalizacao do
vector gradiente, pelo que usaremos a notac
ao
u = ij (u) = div(u) I + (u + (u)T ),
ja que e consistente com outras noc
oes semelhantes e estabelece um paralelo com o problema de
Laplace, ou seja, podemos definir o denominado operador de Navier,
= div( )
e tambem
n u = u n,
verificando-se a validade do teorema
u =
n u
47
x (x u(1) + y u(2) )
u =
,
y (x u(1) + y u(2) )
em que aqui escrevemos u = (u(1) , u(2) ). Podemos manter a aproximac
ao de segunda ordem para
x2 u(1) , para y2 u(2) , e aproximar as derivadas cruzadas x y u(2) , y x u(1) com um desenvolvimento de Taylor nas duas variaveis. Basta reparar que
v(x + hx , y + hy ) =
hi hjy
x
i j v(x, y),
(i + j)! x y
i,j0
ou seja, para hx = hy ,
1
2
vi1,j+1 = vij h(x + y )vij h2 xy
vij + h2 (x2 + y2 )vij + ...
2
Com simples calculos, e possvel mostrar que
2
2
xy
vij = yx
vij =
e assim obter uma aproximacao de segunda ordem para uij . Esta aproximac
ao utiliza um
esquema com uma molecula de 8 atomos em quadrado, como mostra figura seguinte:
2.3.3
Sistema de Stokes
Referimos ainda o sistema de equacoes de Stokes, que representa um modelo para o escoamento
lento de um fluido incompressvel. Neste caso, e fundamental introduzir o tensor de Stokes, que
e dado atraves da pressao p e do vector velocidade u por
S (u, p) = pI + (u + (u)T ).
Usamos a notacao com o gradiente, para realcar as semelhancas com o operador de Laplace. No
entanto, para alem de exigirmos o conhecimento de
S (u, p) = S (u, p) = u p
e necessario ainda considerar que a divergencia do campo de velocidades seja nula, ou seja,
u = 0.
O sistema de Stokes fica assim
u p = f ,
u = 0,
claro que a pressao,
e na fronteira impoe-se normalmente condic
oes de Dirichlet (apenas em u). E
que tambem e incognita do problema, apenas ir
a ficar determinada a menos de uma constante.
Uma discretizacao simples, usando diferencas centradas para as derivadas de primeira ordem,
leva a uma aproximacao de segunda ordem para o gradiente da press
ao,
pij = (
uij =
(1)
ui+1,j ui1,j
2hx
(2)
(2)
ui,j+1 ui,j1
2hy
+ O(h2x ) + O(h2y ).
(1)
(1)
(1)
(1)
(1)
49
2.4
(2.17)
2
(2, 2) B
(2, 2)),
e assim, u = f com f = 8 u. Consideramos o domnio =]4, 4[2 \(B
1
1
2
2
(z) = {x R : ||x z|| } = z + [1, 1] , que tem uma fronteira com 3 compoonde B
nentes conexas uma externa 0 fronteira do quadrado maior ] 4, 4[2 , e duas internas, 1 e
(2, 2) e B
(2, 2), respectivamente). Na
2 , fronteiras dos quadrados a inscritos (ou seja, B
1
1
fronteira 0 consideramos um condic
ao de Neumann homogenea, n u = 0, que e verificada pela
solucao apresentada, e nas fronteiras 1 , 2 consideramos a condic
ao de Dirichlet dada pelos
valores de u (ou seja g = u).
Consideramos a resolucao exacta do sistema linear resultante do metodo das diferencas finitas
usando a discretizacao de segunda ordem do Laplaciano (e da condic
ao de Neumann). Para
h = hx = hy , obtemos os resultados que se apresentam em tabela
h
||eh ||
1
0.0588
0.5
0.0141
0.25
0.00348
0.125
0.000865
0.0625
0.000216
Figura 2.4.1: Gr
afico do erro para h = 0.0625, considerando a soluca
o exacta do sistema
2
2
linear com 129 2 33 = 14463 inc
ognitas.
Exemplo 2. Para o mesmo domnio, consider
amos a soluc
ao do problema u = 0,
exigindo valores constantes sobre as fronteiras interiores, mais precisamente, u = 100o C em 1
e u = 20o C em 2 , mantendo a condic
ao de Neumann nula sobre 0 . A soluc
ao n
ao e conhecida,
sendo apresentadas em Fig.2.4.2 as aproximac
oes obtidas com h = 0.5 (`
a esquerda) e com h = 0.1
(`a direita). O grafico obtido com h = 0.5 evidencia j
a o aspecto global da soluc
ao, devendo notarse que neste caso, havendo singularidades das derivadas da soluc
ao nas fronteiras interiores, nao
50
Figura 2.4.2: Gr
aficos da aproximaca
o da soluca
o do Exemplo 2, considerando uma aproximaca
o
grosseira com h = 0.5 (`a esquerda), e uma mais fina, com h = 0.1 (`
a direita).
Exemplo 3.
Neste exemplo consideramos a aplicac
ao de metodos iterativos para a resoluc
ao do sistema
2
linear. O domnio e =]1, 1[ , e consideramos o problema de Dirichlet na equac
ao de Laplace,
1
, apresentamcom a solucao exacta u(x, y) = 2 cosh(y)(sin(x)+cos(x)). Na Fig.2.4.3, com h = 15
se os graficos da solucao (`a direita), da aproximac
ao resolvendo o sistema pelo metodo de GaussSeidel com 80 iteracoes (ao centro), e do erro (`
a esquerda). De notar que aqui o erro inclui a
soma do erro da discretizacao com o erro da aproximac
ao do sistema. O valor m
aximo do erro
absoluto e razoavelmente elevado e e obtido num ponto pr
oximo do centro. Neste caso o n
umero
de iterac
oes no metodo de Gauss-Seidel foi pequeno e os pontos centrais s
ao os u
ltimos a receber
a contribuicao da condicao de fronteira, o que justifica este erro mais elevado no centro.
Figura 2.4.3: Gr
aficos da soluca
o exacta (`
a esquerda), da soluca
o aproximada usando o
metodo de Gauss-Seidel com 80 iteraco
es (ao centro), e do erro (`
a direita).
Na tabela seguinte apresenta-se a variac
ao do erro m
aximo aumentando m o n
umero de
iteracoes no metodo de Gauss-Seidel.
m
80
160
320
(m)
||u uh ||
1.4187
0.5856
0.1006
m
640
1280
2560
51
(m)
||u uh ||
0.002589
0.0004585
0.0004610
(m)
Aqui usamos a notacao uh para designar o valor obtido para o metodo de Gauss-Seidel
com m iteracoes e um passo h fixo. Ate m = 640 nota-se um acentuado decrescimento no valor
absoluto do erro, mas de m = 1280 para m = 2560 h
a um pequeno aumento. Isto deve-se
obviamente ao facto de que para esse n
umero elevado de iterac
oes a soluc
ao aproximada do
sistema e bastante boa e apenas resta o valor do erro de discretizac
ao do metodo das diferencas
finitas. Repare-se que devemos separar o erro em
(m)
(m)
52
53
Captulo 3
3.1
Equac
ao do Calor
A equa
c
ao do calor que tambem e denominada equaca
o de difus
ao e, na sua forma mais
simples
t u(x, t) = x u(x, t),
em que iremos considerar x , t (t0 , +). O domnio de aplicac
ao e agora um conjunto
(t0 , +) em dimensao d + 1, que corresponde a um cilindro generalizado, assumindo
54
fixo (sera um cilindro para d = 2 e circular). Poderia ser considerada ainda uma variacao
do domnio (espacial) dependente do tempo (t), mas iremos mesmo restringir ao caso mais
simples, com d = 1 e onde = (xa , xb ) ser
a um intervalo fixo.
Trata-se de uma equacao parabolica, e o estudo que aqui faremos pode ser aplicado a outras
equacoes similares. Esta equacao modela a evoluc
ao de bastantes fen
omenos fsicos, relacionados
com dissipacao ou difusao, com e o caso da evoluc
ao da temperatura num corpo. Tambem esta
relacionada com alguns modelos de matem
atica financeira, nomeadamente com a equac
ao de
Black-Scholes, que com uma transformac
ao de vari
aveis apropriada se pode reduzir `
a equacao
do calor.
Separa
c
ao de vari
aveis
Consideramos separacao de vari
aveis u(x, t) = v(x)w(t) na equac
ao do calor, retirando (para
v, w = 0)
w (t)
x v(x)
v(x)w (t) = x v(x)w(t)
=
= const. = K
w(t)
v(x)
ou seja,
w = Kw x v = Kv.
Notamos que temos uma solucao exponencial em w
w(t) = w0 eKt ,
e uma solucao de uma equacao de Helmholtz em v. Em ambos os casos, o comportamento da
solucao depende do sinal de K.
Se K > 0, a solucao cresce assimptoticamente quando t , e obtemos a equacao de
Helmholtz modificada em v. Este caso n
ao tem correspondente fsico na dissipac
ao (difusao)
do calor, ao contrario do caso K < 0. Assim, assumiremos que u decresce assimptoticamente,
considerando K = 2 , obtendo no caso unidimensional
2
w(t) = w0 e t ,
condica
o inicial (ii). E claro que ambas as condic
oes podem ser consideradas como parte de
uma u
nica condicao de fronteira para o domnio (t0 , +).
Admitindo que a solucao e limitada no tempo, obtemos unicidade de soluc
ao, tendo-se mesmo
o princpio do maximo/mnimo para a equac
ao do calor homogenea (ie. f = 0),
max
u = max u
[t
0 ,tf ]
(analogamente para o mnimo). Isto garante ainda uma dependencia contnua dos dados iniciais
u0 e dos dados na fronteira u .
Considerando u = u1 u2 (diferenca entre soluc
oes), podemos ainda obter a unicidade em
termos de um decrescimento da energia, definindo
1
E(t) =
u(x, t)2 dx.
2
Portanto,
E (t) =
assim
em que a u
ltima igualdade resulta de aplicar a f
ormula de Green (j
a que u = 0 em ). E
2
claro que a derivada da energia e sempre negativa, E (t) = ||x u(, t)||L2 () , decrescente e
menor que o valor inicial. Consequentemente 0 E(t) E(0) = u0 u0 = 0, ou seja E 0 e
portanto u 0.
3.1.1
u(x, 0) = u0 (x),
x (xa , xb )
(ii)
u(x
,
t)
=
u
(t),
t
(t
,
t
)
(iii)
a
a
0 f
u(xb , t) = ub (t),
t (t0 , tf )
(iv)
(3.2)
notamos que a condicao de fronteira (3.1)-(iii) foi aqui substituda por duas condic
oes nos extremos (3.2)-(iii)+(iv), que correspondem `
a fronteira do intervalo = (xa , xb ).
Na aproximacao por diferencas finitas usamos uma grelha de pontos (xn , tm ) igualmente
espacados:
xn = xa + nhx tm = t0 + mht
tf t0
xb xa
ht =
hx =
N
M
de forma a que x0 = xa , xN = xb , tM = tf . O espacamento temporal ht e normalmente diferente
do espacamento espacial hx , e a relac
ao entre ambos pode condicionar a estabilidade do esquema
56
de diferencas finitas adoptado. Como anteriormente, iremos abreviar unm para a aproximacao
de u(xn , tm ).
No problema de Dirichlet, as condic
oes iniciais e aos limites s
ao definidas directamente pelos
valores impostos, ou seja
un0 = u0 (xn ) u0m = ua (tm ) uN m = ub (tm ).
Resta por isso considerar a aproximac
ao no interior, ou seja, a aproximac
ao do operador diferencial D nos pontos internos,
Du = t u x u.
Esta aproximacao e local, atraves de diferencas finitas, de forma a garantir consistencia nos
pontos da grelha.
3.2
un,m+1 unm
un+1,m 2unm + un1,m
+ O(ht ), x2 u(xn , tm ) =
+ O(h2x ),
ht
h2x
,
ht
h2x
ht
(un+1,m 2unm + un1,m ),
h2x
(3.3)
57
ht/hx
un,m+1
ht
un-1,m un,m un+1,m
hx
3.2.1
Consist
encia do Esquema Explcito
3.2.2
eihx 2 + eihx
Rm .
h2x
ht ihx
ihx
e
2
+
e
,
h2x
obtemos a condicao
ht
ht
2
|R| 1 1 4 2 sin (hx ) 1 2 4 2 sin2 (hx ) 0
hx
hx
que se resume a
ht
h2x
condicao de estabilidade e
ht
h2x
12 , ou seja,
1
ht h2x .
2
Isto significa uma restricao consider
avel no espacamento temporal ht , que deve ser bastante
pequeno face ao espacamento espacial hx . Por exemplo, se hx = 0.01, devemos ter ht 0.00005,
ou ainda para dimensoes identicas, numa grelha com 100 n
os no espaco, ser
ao necess
arios 20000
nos no tempo! Isto e uma restricao consider
avel que motivar
a a adopc
ao de outros esquemas.
59
3.2.3
Converg
encia do Esquema Explcito
t (t , t
com nx (xn1 , xn+1 ), m
ao do esquema un,m+1 = un,m +
m m+1 ). Subtraindo da express
ht
(u
2u
+
u
)
+
h
f
,
ficamos
com
n+1,m
n,m
n1,m
t nm
h2
x
en,m+1 = en,m +
ht
h2x 4 x
h2t 2
t
(e
2e
+
e
)
u(
,
t
)
u(xn , m
).
n+1,m
n,m
n1,m
t
m
x
n
h2x
12
2 t
e designando
max
x(t0 ,tf )
obtemos
4
x u(x, t) , DT 2 =
max
x(t0 ,tf )
2
t u(x, t)
ht
ht
h2
h2
Em+1 = max |en,m+1 | 1 2 2 Em + 2 (Em + Em ) + ht x DX4 + t DT 2 .
n
hx
hx
12
2
ht
ht
t
Quando a condicao de estabilidade e verificada temos 2h
1.
Assim,
1
2
h2x
h2x = 1 2 h2x ,
ficando1 2 hh2t Em + 2 hh2t Em = Em , logo
x
x
Em+1 Em + ht
h2x X4 ht T 2
D + D
.
12
2
ou seja, temos
max |en,m | (tm t0 )
n=0, ,N
h2x X4 ht T 2
D + D
,
12
2
o que implica en,m = O(ht ), quando limitados os valores das segundas derivadas temporais e das
quartas derivadas espaciais. Tal como iremos ver pelo Teorema de Lax, a consistencia de ordem
1 e a estabilidade do esquema implicam a convergencia de ordem 1.
3.3
Consist
encia, Estabilidade e Teorema de Lax
3.3.1
Estabilidade
||Mh || = sup
3.3.2
Consist
encia
3.3.3
Converg
encia
onde uE
e o vector com os valores exactos no tempo tm . Ao contr
ario da consistencia
m = u(xn , tm )
esta estimativa nao e local, ja que os valores um acumulam erros das aproximac
oes anteriores.
Vejamos que para um metodo est
avel e possvel obter convergencia de ordem p, se houver
consistencia de ordem p, ou seja,
em+1 = Mh em + ht O(hp ),
62
Mm
h e0
m1
k=0
Admitindo naturalmente um erro inicial nulo, e0 = 0, isto significa que existe C1 > 0 :
||em || C1
m1
k=0
||Mh ||k ht hp .
3.4
3.4.1
un,m+1 unm
un+1,m+1 2un,m+1 + un1,m+1
+O(ht ), x2 u(xn , tm+1 ) =
+O(h2x ),
ht
h2x
un,m+1 unm
un+1,m+1 2un,m+1 + un1,m+1
,
ht
h2x
(3.4)
necessario
mas ja nao e possvel obter directamente os valores un,m+1 a partir dos valores unm . E
resolver um sistema linear cuja estrutura e muito simples, tridiagonal. Reescrevendo (3.4) com
= ht h2
x
un+1,m+1 + (1 + 2)un,m+1 un1,m+1 = unm + ht fn,m+1 ,
(3.5)
e tendo em atencao que conhecemos os valores nos extremos u0,m+1 = ua (tm+1 ), uN,m+1 =
ub (tm+1 ), obtemos o sistema
1 + 2
0
0
u1,m+1
u1,m
u
+
h
f
0,m+1
t
1,m+1
..
.
..
u2,m+1
.
1 + 2 . .
ht f2,m+1
.
u2,m
.
.
..
..
..
..
..
..
=
+
.
.
.
.
0
0
.
.
.
(3.6)
..
..
..
..
..
..
ht fN2,m+1
.
.
.
.
uN,m+1 + ht fN1,m+1
uN1,m+1
uN1,m
0
0 1 + 2
Neste caso, o vector um+1 dado pelo esquema implcito e soluc
ao de um sistema
MI um+1 = um + fm+1 .
em que fm+1 contem a parte nao homogenea e as condic
oes nos extremos do intervalo.
A matriz do sistema MI tem a diagonal estritamente dominante, pois 1 + 2 > || + || ,
o que garante a invertibilidade do sistema.
Observamos ainda que as figuras em Fig.3.2 relativas ao esquema explcito, aparecem agora
invertidas no esquema implcito puro.
Consist
encia e estabilidade do esquema implcito puro
A consistencia do esquema implcito e semelhante `
a consistencia do esquema explcito, pois as
aproximacoes sao semelhantes de primeira ordem no tempo e de segunda ordem no espaco.
Definindo uE
nm = u(xn , tm ),
2
Du(xn , tm+1 ) Dh uE
nm = (t x u)(xn , tm+1 )
E
E
E
uE
uE
n,m+1 unm
n+1,m+1 2un,m+1 +un1,m+1
ht
h2x
E
uE
n,m+1 unm
=
t u(xn , tm+1 )
ht
E
E
E
u
2u
+u
n+1,m+1
n,m+1
n1,m+1
x2 u(xn , tm+1 )
h2x
ou seja,
Rm+1 1 (eihx 2 + eihx ) = Rm
1
Rm+1 = Rm 1 + 4 sin2 (hx )
.
1
|R| = 1 + 4 sin2 (hx )
1,
3.4.2
Esquemas implcitos
1 2
0
0
u1,m+1
u1,m
u0,m + ht f1,m
..
.. ..
u2,m+1
u2,m
.
.
2
.
ht f2,m
..
..
..
.
.
.
..
.. ..
.
.
0
0
.
=
+
..
..
.
.
.
.
h
f
..
..
.. ..
t N 2,m
.
.
u
+ ht fN1,m
N,m
uN1,m+1
u
N 1,m
0
0
1 2
um+1 = ME um + fm .
Aproveitamos para salientar que a matriz tridiagonal ME , correspondente ao metodo explcito,
1
tem valores proprios menores que 1 (em m
odulo) quando = ht h2
x 2.
Os esquemas resultam agora de combinar a parte explcita e implcita
(1 )
um+1 = ME um + fm ,
MI um+1 = um + fm+1
obtendo-se
((1 )I+MI )um+1 = ((1 )ME + I) um + ((1 )fm + fm+1 ) .
que pode ser reescrito abreviadamente,
MI,1 um+1 = ME, um + fm+ .
65
MI,1
ME,
..
.
1 + 2
0
..
..
..
.
.
.
,
..
..
..
.
.
.
..
. 1 + 2
0
..
.
1 2(1 ) (1 )
0
..
..
..
.
.
.
(1 )
..
..
..
.
.
.
(1 )
..
.
0
(1 ) 1 2(1 )
ainda facil observar que a matriz MI,1 e sempre invertvel, pois tem a diagonal estritamente
E
dominante, 1 + 2 > || + || = 2.
Esquema de Crank-Nicolson
De entre as varias possibilidades para escolha de , a escolha = 12 leva ao denominado Esquema
de Crank-Nicolson, com
MI,1/2 um+1 = ME,1/2 um + fm+1/2 ,
em que
MI,1/2
..
..
.
.
1 + /2
0
1 /2
0
..
..
..
..
..
..
.
.
.
.
.
.
/2
/2
,
M
=
E,
..
..
..
..
..
...
.
.
.
.
.
/2
/2
..
..
.
. /2 1
0
/2 1 +
0
ht
(un+1,m+ 2un,m+ + un1,m+ ),
h2x
(3.7)
em que abreviamos un,m+ = (1)un,m +un,m+1 . Este esquema resulta de considerar Dh unm =
0, com
un,m+1 un,m
1
Dh unm =
2 (un+1,m+ 2un,m+ + un1,m+ )
ht
hx
e a sua consistencia pode ser obtida comparando com Dh u(xn , tm + ht ).
66
Se (1 )2 2 = 0, ou seja, =
Portanto
1
2,
E
uE
n,m+1 un,m
t u(xn , tm + ht )
= O(hp )
ht
(3.8)
com p = 2 se = 12 e p = 1 se = 12 .
Por outro lado, ainda por expans
ao de Taylor
x2 u(xn , tm ) = x2 u(xn , tm+ ) + (ht )t x2 u(xn , tm+ ) + O(h2t ),
x2 u(xn , tm+1 ) = x2 u(xn , tm+ ) + (1 )ht t x2 u(xn , tm+ ) + O(h2t ),
obtemos
(1 )x2 u(xn , tm ) + x2 u(xn , tm+1 ) = x2 u(xn , tm+ ) + O(h2t )
e efectuando as aproximacoes de x2 u(xn , tm ) e x2 u(xn , tm+1 ) por diferencas centradas, conclumos que
x2 u(xn , tm+ )
1 E
E
2
2
(u
2uE
n,m+ + un1,m+ ) = O(hx ) + O(ht ).
h2x n+1,m+
(3.9)
1
2
(Crank-Nicolson),
o que se resume a
1 4(1 ) sin2 (hx )
1,
|R| =
1 + 4 sin2 (hx )
0 2 + 4(2 1) sin2 (hx ),
ou melhor,
1
(1 2) .
2
(3.10a)
3.4.3
Simulaco
es num
ericas
Para ilustrar o comportamento dos metodos, vamos considerar um exemplo academico em que
fazemos a comparacao com uma soluc
ao exacta (com = 1),
2
(3.11)
` esquerda,
Figura 3.4.1: Gr
aficos com aproximaco
es pelo esquema explcito com hx = 0.1. A
uma aproximaca
o com erro relativo inferior a 0.5%, obtida considerando ht = 0.005 (dentro
` direita, o aparecimento claro de oscilaco
da situaca
o limite para estabilidade). A
es esp
urias,
quando ht = 0.0052 (fora da situaca
o limite para estabilidade).
68
` esquerda, evoluca
Figura 3.4.2: Gr
aficos com a evoluca
o do erro em ht fixando hx = 0.02. A
o
linear para o metodo implcito puro, e a
` direita evoluc
ao quadr
atica para o esquema de CrankNicolson.
Observaca
o: Convem notar que computacionalmente os esquemas implcitos n
ao apresentam
um custo computacional muito maior que o explcito, j
a que a matriz do sistema s
o depende
de ht , hx , bastando ser factorizada uma vez para os mesmos par
ametros de discretizac
ao. Para
alem disso, a estrutura tridiagonal dessa matriz permite uma factorizac
ao muito r
apida, em
O(N ), pelo que algum maior custo poder
a ser de tempo de programac
ao do que propriamente
em tempo de execucao.
No caso estudado, ht = 0.005, hx = 0.1, a implementac
ao do esquema explcito, em Mathematica, demorou 0.08s, enquanto do esquema Crank-Nicolson, para os mesmos valores, demorou
0.125s. Estes valores devem ser relativizados no Mathematica, pois a computac
ao explcita
dos valores pode ficar mais lenta comparativamente com as rotinas internas para matrizes, ja
compiladas e mais rapidas.
69
3.5
Reduc
ao a um sistema linear de EDOs
n
k (x)u(xk , t)
k=1
n
kj uk (t),
k=1
3.6
Equac
ao das Ondas
Nesta seccao consideramos a equacao das ondas, que na sua forma homogenea e dada por
t2 u = c2 x u,
70
Tal como no caso da equacao do calor, e tambem possvel estabelecer unicidade para o
problema de Dirichlet usando a formula de Green. Definindo u = u1 u2 , diferenca entre
solucoes, consideramos agora uma quantidade diferente,
1
E(t) =
|t u(x, t)|2 + c2 |x u(x, t)|2 dx.
2
Portanto,
E (t) =
= c2
3.6.1
(3.13)
u1 (x)
u (t)
= 2
= K.
u1 (x)
u2 (t)
3.6.2
Sistema de 1a ordem
72
(3.14)
(3.15)
k=0
em que pk sao os pesos da integracao. Por exemplo, usando a regra dos trapezios pk = 1k ht ,
ha um erro da aproximacao integral em O(h2t ), o que e suficiente para esquemas ate ordem 2.
Com efeito, a acumulacao dos erros O(h2t ) em cada wnk ser
a somada m vezes, mas tambem
multiplicada pelo peso em O(ht ), pelo que um efeito compensa o outro.
73
3.6.3
t v = cx w
t
cx
v
D(v, w) :=
=0
t w = cx v
cx
t
w
consiste em considerar uma diferenca progressiva no tempo e uma diferenca centrada no espaco,
ou seja, aproximamos
vn,m+1 vn,m
vn+1,m vn1,m
t v(xn , tm ) =
+ O(ht ); x v(xn , tm ) =
+ O(h2x ).
ht
2hx
Fazendo o mesmo para w, obtemos uma aproximac
ao Dh usando diferencas finitas em D, e
Dh (vnm , wnm ) = 0 leva ao sistema aproximado
1
1
ht (vn,m+1 vn,m ) = c 2hx (wn+1,m wn1,m )
(3.16)
1
1
ht (wn,m+1 wn,m ) = c 2hx (vn+1,m vn1,m )
Esta aproximacao leva a um esquema explcito,
ht
vn,m+1 = vn,m + c 2h
(wn+1,m wn1,m )
x
ht
wn,m+1 = wn,m + c 2hx (vn+1,m vn1,m )
(3.17)
ht
Rm+1 eixn = Rm eixn + c 2h
Rm eixn (eihx eihx )
x
ht
ix
ix
n
n
Sm+1 e
= Sm e
+ c 2hx Sm eixn (eihx eihx )
e a relac
ao pode ser descrita na forma matricial
Rm+1
1 i
Rm
=
Sm+1
i 1
Sm
ht
em que i = c 2h
(eiph eiph ), ou melhor,
x
= c
ht
sin(hx ).
hx
1 i
ME =
.
i 1
3.6.4
Esquema implcito
(3.18)
Rm
1
i
Rm+1
=
Sm
i
1
Sm+1
e portanto a matriz de amplificacao ser
a agora
1
1
i
MI =
.
i
1
Os valores proprios de M1
ao exactamente os valores pr
oprios de ME . Assim, os valores
I ser
1
proprios de MI verificam || = 2 < 1. Conclumos que o esquema implcito puro e in1+
condicionalmente est
avel, apresentando o inconveniente de ser necess
aria a resoluc
ao de um
sistema em cada passo. Conclumos ainda, pelo Teorema de Lax, que este esquema tem ordem
convergencia 1.
3.6.5
Esquema semi-implcito
Uma ideia para evitar a resolucao do sistema no esquema implcito e considerar apenas uma
das equacoes como implcita, o que permitir
a obter um esquema explcito, assumindo uma certa
ordem nos calculos (de forma semelhante ao que acontece nos metodos iterativos do tipo GaussSeidel).
Assim, partindo das igualdades
t v(xn , tm ) = cx w(xn , tm )
t w(xn , tm+1 ) = cx v(xn , tm+1 )
obtemos o esquema semi-implcito
ht
vn,m+1 = vn,m + c 2h
(wn+1,m wn1,m )
x
ht
wn,m+1 = wn,m + c 2hx (vn+1,m+1 vn1,m+1 )
75
(3.19)
Rm+1
Sm+1
1
i
i 1 2
Rm
Sm
2 2 2
( 1)( 1 + 2 ) + 2 = 0 =
(
) 1
2
2
2 2
e o discriminante e positivo se ( 2 )2 > 1, ou seja 2 > 4. Nesse caso e claro que || > 1, e
portanto ha instabilidade.
Resta ver o caso em que 2 4. Neste caso temos duas razes complexas conjugadas cujo
produto e 1 2 = 1, e consequentemente ambas tem m
odulo 1.
Neste caso ha estabilidade, portanto pode falar-se em estabilidade condicional, em que a
condicao e | | 2.
Podemos concretizar melhor esta condic
ao, pois
ht
ht
2
| | = c sin(hx ) 2 = c
hx
hx
Rm+1
Bm+1
i
i
Rm
Sm
v1,m + v1,m
+ O(h2x )
2
v0,m+1 =
3.6.6
Esquemas de ordem 2
Esquema de Lax-Wendroff
Podemos obter um esquema explcito de ordem superior usando a expans
ao em serie de Taylor
vn,m+1 = vn,m + ht (t v)n,m +
h2t 2
( v)n,m + O(h3t )
2 t
2hx
(3.21)
(3.22)
Este esquema e explcito e tem consistencia de segunda ordem, sendo ainda est
avel para valores
de 1. Os calculos sao semelhantes, mas mais extensos, pelo que se prop
oem como exerccio.
Esquema Leap-Frog
A traducao literal do nome deste esquema seria salto-de-r
a, mas e de facto a designac
ao para
salto-ao-eixo em ingles. A designacao salto-ao-eixo est
a relacionada com o aspecto da molecula
do esquema, ja que o valor vn,m+1 e calculado a partir de vn,m1 , apoiado nos valores vn1,m e
vn+1,m , saltando o valor central vnm .
Concretamente, consiste em considerar uma aproximac
ao com diferencas centradas no espaco
um esquema
e tambem no tempo, o leva a um esquema com consistencia de segunda ordem. E
multipasso, usando dois passos no tempo, e requer uma inicializac
ao para obter vn,1 e wn,1 .
A expressao do esquema leap-frog e ainda explcita, dada por
vn,m+1 = vn,m1 + c hhxt (wn+1,m wn1,m )
(3.23)
wn,m+1 = wn,m1 + c hhxt (vn+1,m vn1,m )
A estabilidade deste esquema envolve tambem uma recursividade a dois passos, j
a que usando
o criterio de Von Neumann,
Rm+1 = Rm1 + c hhxt (eihx eihx )Sm
Sm+1 = Sm1 + c hhxt (eihx eihx )Rm
obtemos
Rm+1
Sm+1
0
2i
2i
0
Rm
Sm
Rm1
Sm1
havendo neste caso uma recursividade vectorial a dois passos, que pode ser abordada como duas
recursividades escalares, que sao equac
oes `
as diferencas.
+
= R S obtemos
Definindo as variaveis Tm = Rm + Sm , Tm
m
m
Tm+1
= Tm1
2i Tm
+
+
+
Tm+1
= Tm1
+ 2i Tm
Tm+1
= Tm1
2i Tm
78
com razes r = i
1 2 . Se 2 1, obtemos |r|2 = 2 + (1 2 ) = 1, o que garante a
79
Parte III
M
etodo dos Elementos Finitos
80
Captulo 4
M
etodo de Galerkin
O objectivo deste captulo e apresentar um metodo alternativo que se adequa especialmente `a
resolucao de problemas elpticos, permitindo evitar a condicionante geometrica de submeter o
domnio a aproximar a uma grelha quadriculada e permitindo tambem aproximar problemas em
que os dados nao sao regulares.
A ideia essencial, desenvolvida a partir da decada de 50, e que remonta a Galerkin (1915),
consiste em reescrever o problema atraves de uma formulac
ao variacional equivalente utilizando
para esse efeito funcoes teste suficientemente regulares. Ao escrever o problema dessa forma,
a maior regularidade das funcoes teste compensa uma menor regularidade da soluc
ao atraves
de uma transferencia que se centra no uso da f
ormula de Green. Desta forma e possvel escrever o problema numa formulacao fraca que consiste numa igualdade entre uma forma bilinear
(que encerra a informacao acerca do operador diferencial), e uma forma linear (que contem a
informacao acerca dos dados do problema). O espaco das func
oes teste encerra tambem informacao relacionada com a condic
ao de fronteira. Assim, ao considerarmos o espaco H01 para
espaco de funcoes teste estamos implicitamente a exigir que se verifiquem condic
oes de Dirichlet
nulas na fronteira.
Ha que distinguir dois tipos de situac
ao, uma em que a forma bilinear e simetrica e que
corresponde a minimizar um funcional (designado funcional de energia), estando assim nas
condicoes do denominado metodo de Ritz, e uma outra em que n
ao h
a a priori simetria da
forma bilinear, correspondendo ao caso geral do metodo de Galerkin.
4.1
Formulac
ao Variacional
f (y)w(y)dy.
R2
seria
nulo
em
toda
a
parte
excepto
em
0, onde valeria infinito ! E
0
isto implica R2 0 (y)dy = 1.
Ora, pode mostrar-se a existencia de uma sucess
ao de func
oes C , com medida unit
aria, n
(designadas por mollifiers), cujo suporte e cada vez mais pequeno, ou seja supp(n ) B(0, n1 ),
tal que
< f, n >=
R2
O que est
a na origem do nome distribuic
ao.
82
n v. w =
f w.
(4.1)
Observa
c
ao 1. Se considerarmos o problema de Dirichlet n
ao homogeneo,
u = f
em
(P1 )
u=g
sobre
podemos converte-lo num problema homogeneo para a equac
ao de Poisson. Para isso consideramos g um prolongamento de g a . Esse prolongamento n
ao e u
nico e pode ser obtido de varias
maneiras. Uma possibilidade, no caso de g aparecer dado como uma express
ao, e considerar g
como sendo a extensao natural de g, ou seja a pr
opria express
ao de g calculada para os pontos
claro que essa possibilidade e apenas admssivel quando h
interiores. E
a regularidade suficiente
na extensao de g.
A partir de g consideramos F =
g + f, e assim v = u g e nulo na fronteira e verifica
v =
g u = F f + f = F
e consequentemente reduzimos o problema (P1 ) a um problema de Dirichlet homogeneo,
v = F
em
v=0
sobre .
A regularidade de F esta assim ligada `
a regularidade de f e tambem de
g , pelo que a extensao
de g deve ser suficientemente regular.
Observa
c
ao 2: Relativamente a` passagem para a formulac
ao variacional, podemos estabelecer uma analogia que consiste em passar do resoluc
ao do sistema em Rd
Av = y
para a formulacao fraca
wT Av = wT y, para certos vectores w.
A primeira implica a segunda, mas o contr
ario nem sempre e verdade, a menos que haja uma
fraca, que correspondera `a formulacao forte se admitirmos que os vectores teste w incluem ou
geram a base canonica, ou seja w = ek , vectores dados pelo delta de Kronecker, wi = ik .
Outros valores para w correspondem a considerar uma soma ponderada, por exemplo, w =
(0, 14 , 12 , 14 , 0, 0, ..., 0), implica wT y = 14 y2 + 21 y3 + 14 y4 , e a informac
ao aqui e essencialmente
dada por y3 , mas esta misturada com os valores de y2 e y4 (correspondente `
a nevoa), o que
nao acontece se considerarmos w = e3 = (0, 0, 1, 0, 0, 0, ..., 0) que implica wT y = y3 , ou seja,
obtemos o valor exacto.
Ha assim um paralelismo evidente entre o caso finito e contnuo, e que se traduz numa semelhanca de papeis entre os deltas de Kronecker e Dirac. A grande diferenca e que, no caso finito,
se o subespaco vectorial que contem os vectores w n
ao for o pr
oprio espaco (e consequentemente
incluir a base), entao nao temos informac
ao suficiente para recuperar a igualdade (forte). No
caso contnuo isso e possvel, gracas a resultados de densidade, como veremos mais `
a frente.
Note-se que o caso finito de que falamos aqui, e ainda um caso de igualdades pontuais, e
n
ao dever
a ser confundido, mais `a frente, com a aproximac
ao discreta, num espaco de dimensao
finita, mas que sera um espaco de func
oes!
4.2
Formulac
ao abstracta
(4.2)
O prefixo sesqui vem do latim, e significa um e meio. Por exemplo, sesquipedalis significava um pe e meio.
85
vT
v
A
||v||2 ||v||2 .
||v|| ||v||
f (x)w(x)dx.
0
1
H0 (]0, 1[).
O espaco
C01 ([0, 1]) = {v C 1 (]0, 1[) C([0, 1]) : v(0) = v(1) = 0},
nao e completo para o produto interno.
4.2.1
Equival
encia I (Caso sim
etrico - minimizac
ao de energia)
87
e, devido `a continuidade de b,
1
|J(v + h) J(v) b(v, h) + l(h)| = | b(h, h)| M ||h||2V .
2
Isto significa que, para a topologia de V, a derivada de Frechet e
Jv h = b(v, h) l(h), h V,
Reparamos assim que se a derivada de Frechet for nula, ou seja, Jv h = 0, h V, isso
equivale a
b(v, h) = l(h), h V,
ou seja, `
a formulacao variacional.
Vamos agora ver que se o ponto v for mnimo de J, ou seja,
J(v + h) J(v), h V
a derivada de Frechet Jv tem que ser nula. Este resultado generaliza assim um facto bem
conhecido.
Proposi
c
ao 4.2.1 Se v um mnimo de J ent
ao Jv 0 e consequentemente
b(v, h) = l(h), h V.
Demonstra
c
ao: Como J e Frechet-diferenci
avel, temos
0 J(v + h) J(v) = Jv h + o(||h||), h V,
o que implica, para h = w,com ||w|| = 1, > 0, que
1
e assim
Logo, 0 Jv (w). Ora, isto e valido para qualquer w com norma 1, logo tambem para w,
portanto 0 Jv (w) = Jv (w), conclumos assim que Jv (w) = 0 e portanto Jv (h) = Jv (w) =
0.
claro que poderamos obter o resultado anterior sem falar em derivacao
Observa
c
ao: E
de Frechet, mas e conveniente estabelecer que a condic
ao para a derivada de Frechet ser nula
corresponde exactamente `a formulac
ao variacional.
Podemos agora deduzir o seguinte resultado:
Um caso intermedio, entre os n
umeros reais e as funco
es, e o caso de vectores. Com efeito quando temos uma
funca
o vectorial f : Rd Rq , a derivada de Frechet e a matriz jacobiana Jf , pois a matriz T que verifica
||f (x + h) f (x) T h|| = o(||h||)
e justamente a matriz jacobiana calculada no ponto x, ou seja, T = Jf (x), que sendo uma matriz e um operador
linear de Rd em Rq .
88
v w
e equivalente a resolver
v w =
f w , w H01 ().
Observa
c
ao 5: No caso do exemplo c) anterior, a soluc
ao ser
a o mnimo de
1
J(u) =
p(x)(u (x))2 + q(x)u(x)2 2f (x)u(x)dx,
0
4.2.2
Equival
encia II (Formulaco
es fraca e forte)
Vamos agora considerar a equivalencia entre as formulacoes fraca e forte em casos especficos.
Comecamos por ver o caso que mais nos interessa, associado a` equac
ao de Poisson. Para esse
efeito, e conveniente relemebrar resultados b
asicos de distribuic
oes e espacos de Sobolev (ver
algumas notas em apendice). Comecamos por estabelecer algumas notac
oes.
Para qualquer aberto Rd , o espaco Cc () (designado por espaco de func
oes teste, na
4
teoria de distribuicoes, onde tambem se utiliza a notac
ao D()) ir
a designar as func
oes C ()
que tem suporte compacto em , ou seja, as func
oes infinitamente diferenci
aveis em que so
e compacto. Na pr
nao sao nulas em subconjuntos K tais que K
atica, isto corresponde
a considerar todas as funcoes infinitamente diferenci
aveis que s
ao nulas numa vizinhanca da
fronteira (note-se que isto exclui as func
oes analticas, j
a que estas sendo nulas numa vizinhanca
sao nulas em ).
Iremos usar a notacao f = 0 . quando parecer importante salientar que a igualdade f = 0
se verifica a menos de um conjunto de medida de Lebesgue nula (o smbolo e uma abreviatura
da expressao inglesa almost everywhere). De um modo geral, n
ao haver
a necessidade de estar
sempre a referir esse facto, ja que quando se trabalha em espacos de Lebesgue, a igualdade e
subentendida a menos de conjunto de medida nula.
Teorema 4.2.2 O espaco Cc () e denso em Lp (), para 1 p < . Em particular, se
f L2 () e verifica
f (x)w(x)dx = 0, w Cc (),
ent
ao f = 0 . .
Demonstra
c
ao: Ver p.ex. [4]. A conclus
ao particular resulta de uma propriedade bem
conhecida dos espacos de Hilbert. Com efeito, se H e um espaco de Hilbert e X e um seu
= H.
subespaco, temos X = {0} X
Observa
c
ao. Este resultado tem bastante import
ancia, porque permite encarar a igualdade
dos funcionais com uma generalizac
ao da noc
ao de igualdade pontual. Com efeito, quando
consideramos distribuicoes, dizemos que f = g se tivermos
$f g, w% = 0, w Cc (),
e no caso em que f, g sao funcoes L2 () (na realidade basta considerar L1loc ()), fica claro que
isto significa
(f (x) g(x))w(x)dx = 0, w Cc (),
N
ao iremos usar habitualmente a notaca
o D() para as funco
es teste, mas iremos usar a notaca
o D () para
o dual (na sua topologia), j
a que esta e a notaca
o mais comum para designar o espaco de distribuico
es.
90
que
Precisamos apenas de especificar o que entendemos por H01 (), para alem das informacoes
intuitivas ja adiantadas anteriormente.
Defini
c
ao 4.2.1 O espaco H01 () e a aderencia de Cc () na topologia definida por H 1 ().
imediato que H 1 () e um subespaco vectorial de H 1 (), e pela definic
E
ao e um subespaco
0
fechado para a norma induzida... no entanto n
ao ser
a essa norma que nos interessar
a considerar.
(), que s
tambem claro que o espaco H 1 () contem as func
E
o
es
teste
C
a
o
nulas
na fronteira.
c
0
1
Para alem disso, como as suas func
oes s
ao o limite, na norma de H (), de func
oes Cc ()
(que sao nulas em ), coloca-se a quest
ao de saber se estas func
oes tem traco nulo em .
A resposta intuitiva podera ser um sim sem hesitac
oes, mas s
o pode ser bem compreendida se
notarmos que pelo teorema anterior tambem tinhamos dito que qualquer func
ao L2 () poderia
2
ser obtida como limite tambem de func
oes Cc (), na norma L (). Ora, as func
oes L2 () nao
tem que ter traco nulo na fronteira! Qual a diferenca?
A pequena grande diferenca est
a na norma que se considera! Por exemplo, e possvel considerar uma sucessao de funcoes teste que convirja para f = 1 em (basta pensar em funcoes
cut-off5 numa sucessao de compactos Kn que se aproxima de ) mas e claro que para valores de
n grandes, a distancia entre a fronteira de K (onde a func
ao vale 1) e a fronteira de (onde a
funcao vale 0) sera cada vez mais pequena, pelo que a derivada ir
a tender para infinito. Como
a derivada nao sera limitada, verifica-se (...) que esta sucess
ao n
ao converge em H 1 (), nao
podendo pertencer a H01 ().
Convem neste momento rever no apendice a definic
ao correcta de traco, algumas das suas
propriedades, bem como os espacos funcionais em que e possvel estabelecer a f
ormula de Green.
Vamos admitir o seguinte resultado, cuja demonstrac
ao nao e trivial (cf. [15]):
Lema 4.2.1 Temos a definica
o equivalente
H01 () = {v H 1 () : v| = 0},
em que v| representa o traco de v na fronteira (fronteira seccionalmente C 1 ).
Este resultado permite justificar algumas afirmac
oes feitas anteriormente, e podemos estabelecer os resultados de equivalencia.
5
Funco
es cut-off s
ao funco
es Cc () que s
ao nulas em todo , excepto no interior de um compacto K ,
onde valem 1.
91
u w =
f w , w H01 (),
u w
n u w =
f w , w H01 (),
note-se que todos os termos estao bem definidos, mas talvez seja importante reparar que
w| , n u| sao funcoes de H 1/2 () L2 ().
Agora podemos usar o facto w| = 0, devido ao Lema anterior e concluir que
u w =
f w , w H01 ().
Cc (), portanto
(u + f ) w = 0 , w Cc ()
Observa
c
ao: No teorema fica assumido implicitamente que estamos a considerar fronteiras
suficientemente regulares, onde e possvel aplicar os teoremas, e isso verifica-se se for um
aberto com fronteira seccionalmente C 1 , o que inclui domnios com cantos. No entanto, iremos
ver mais `a frente, que apenas conseguimos garantir que a soluc
ao esteja em H 2 () (condicao
exigida para a equivalencia) se a fronteira n
ao tiver cantos complicados...
92
Problema unidimensional
Vamos agora estabelecer a equivalencia entre o problema de Dirichlet resultante de uma equacao
diferencial ordinaria em =]0, 1[,
(p(x)u (x)) + q(x)u(x) = f (x), x ]0, 1[,
u(0) = u(1) = 0.
em que p > 0, q 0, p C 1 ([0, 1]), q C[0, 1]. A formulac
ao variacional obtida foi
p u w + q u wdx =
1
0
(p u ) w + q u w dx =
f w dx,
p u w dx pu w
1
0
q u w dx =
f w dx,
ao w(0) =
e como [pu w]10 = p(1)u (1)w(1) p(0)u (0)w(0) = 0, pois w H01 (]0, 1[) e os tracos s
w(1) = 0, obtemos
1
1
1
p u w dx +
q u w dx =
f w dx.
0
() Mais uma vez, trata-se de repetir os passos no sentido inverso ate que obtemos
1
(p u ) q u + f w dx = 0, w H01 (]0, 1[),
4.2.3
Teoremas fundamentais
De seguida apresentamos alguns resultados fundamentais que nos permitem retirar informacoes
valiosas acerca da existencia, unicidade, e dependencia contnua face aos dados das solucoes
fracas, solucoes dos problemas variacionais. O resultado mais geral e o teorema de Lax-Milgram,
ja que nao se exige que a forma bilinear seja simetrica, mas iremos comecar por referir o caso
simetrico, em que se pode fazer uma aplicac
ao directa do teorema de Riesz. Ali
as convem notar
que na demonstracao do teorema de Lax-Milgram iremos usar o pr
oprio teorema de Riesz.
Em qualquer dos casos sera sempre necess
ario assumir as hip
oteses de que b e contnua e
coerciva e de que l e contnua, num certo espaco de Hilbert V.
93
Formas Sim
etricas - Teorema de Riesz
Ja referimos (na Observacao 1b) anterior) que, se a forma bilinear for simetrica e coerciva, define
um produto interno, e iremos escrever
$v, w%b = b(v, w).
Alias, sendo a forma contnua e coerciva em V, isso e, neste caso, uma maneira equivalente de
dizer que a norma definida por
||v||b = b(v, v)
||l||V = sup
||l||A = sup
94
claro que se trata de uma forma bilinear simetrica contnua, em H 1 (]0, 1[), basta ver que
E
aplicando Cauchy-Schwarz em L2 ,
1
1
|b(v, w)| |
p(x)v (x)w (x)| + |
q(x)v(x)w(x)dx|
0
0
1
1
vw C(||v ||L2 ||w ||L2 + ||v||L2 ||w||L2 )
max |p|
v w + max |q|
[0,1]
[0,1]
2C||v||H 1 ||w||H 1 ,
p(x)v (x) dx +
q(x)v(x) dx mp
v (x) dx + mq
v(x)2 dx
e portanto
b(v, v) min{mp , mq }
v (x) dx +
v(x) dx = ||v||2H 1 (]0,1[) .
2
a1
v(x)2 dx C
95
a1
(v(x))2 dx.
Resoluca
o: Esta desigualdade resulta de considerar (note-se que v(a1 ) = 0)
x
v(x) =
v (y)dy
a1
a2
a1
(x a1 )
a1
1
|v (y)| dy dx |a2 a1 |2
2
a2
a1
|v (y)|2 dy,
b(v, v) min{
mp mp
,
}||v||2H 1 .
2 2C
Desta forma podemos aplicar o teorema de Riesz ao espaco H01 () munido da norma induzida
por H 1 (), ja que tambem e possvel aplicar directamente o teorema de Riesz ao espaco H01 ()
munido da seminorma, dada por
1
||v||H01 =
v (x)2 dx.
0
As normas sao equivalentes, pois e claro que ||v||H01 ||v||H 1 e vemos (pelo exerccio) que
||v||H 1 (C + 1)||v||2H 1 .
0
Exerccio: Verificar que a forma b e contnua e coerciva usando o produto interno de H01 .
Repare que a desigualdade de Poincare e agora utilizada para mostrar a continuidade.
Exemplo 3. Equaca
o de Poisson.
Para verificarmos a coercividade para o caso da equac
ao de Poisson precisamos de aplicar
um caso mais geral da desigualdade de Poincare
Teorema 4.2.5 (Desigualdade de Poincare). Seja um domnio limitado (ou pelo menos
includo numa faixa). Existe C > 0 :
||v||L2 () C ||v||L2 () , v H01 ().
96
Demonstra
c
ao:
A demonstracao e semelhante `a efectuada para em dimensao 1 num exerccio anterior.
Sem perda generalidade, admitimos que est
a na faixa Rd1 [, ], e escrevemos x =
(
x, xd ), com x
Rd1 , xd [, ]. Consideramos v Cc () prolongada por zero a Rd . Assim
v(
x, ) = 0 e podemos escrever
xd
v(x) = v(
x, xd ) =
xd v(
x, t)dt.
|xd v(
x, t)| dt d
x = (xd a1 )
( )2
|xd v(
x, xd )| d
xdxd
2
Rd1
Rd1
pelo que
2
|v(
x, xd )| d
x
(xd a1 )
Rd
xd
Rd
|xd v(x)|2 dx ,
Rd
u v
97
Formas N
ao Sim
etricas - Teorema de Lax-Milgram
Ate aqui vimos apenas resultados que se aplicam a formas simetricas, no entanto, podemos
estabelecer um resultado mais geral (o teorema de Lax-Milgram) em que n
ao se exige que b seja
simetrica. Mostramos que basta que b seja contnua e coerciva para existir uma e uma s
o solucao
para o problema variacional em V. A demonstrac
ao ir
a basear-se no Teorema de Representacao
de Riesz e no Teorema do Ponto Fixo de Banach.
Teorema 4.2.6 (Lax-Milgram). Consideremos uma forma bilinear b contnua e coerciva num
espaco de Hilbert V. Dado l V existe um e um s
o uV :
b(u, v) = l(v), v V.
Para alem disso, a transformaca
o l
' u e um isomorfismo entre V e V. Isto assegura que o
problema variacional est
a bem posto para qualquer l V .
Demonstra
c
ao:
Fixando u V, definimos um funcional b(u, ). Como b(u, ) e linear e contnuo (pois a forma
bilinear e contnua), temos b(u, ) V . Pelo teorema de representac
ao de Riesz, sabemos que
num espaco de Hilbert a um funcional linear contnuo b(u, ) est
a associado um elemento V,
como esse elemento depende de u iremos design
a-lo por (u), de forma que
b(u, v) = ( (u), v).
Para alem disso a aplicacao : b(u, ) ' (u), e uma isometria de V em V.
Repare-se que a coercividade significa, neste caso,
$ (v), v% = b(v, v) ||v||2 ,
e a continuidade implica
|| (v)||2 = $ (v), (v)% = b(v, (v)) M ||v|| || (v)||,
ou seja, || (v)|| M ||v||.
O problema variacional consiste em encontrar u V tal que b(u, ) = l.
Pelo Teorema de Riesz, tambem existe um l associado a l V , podendo escrever-se entao
que procuramos u V tal que se verifique
(u) = l .
Trata-se de uma equacao a que iremos aplicar o Teorema do Ponto Fixo de Banach, transformandoa numa equivalente,
u = u ( (u) l ),
em que a multiplicacao pela constante = 0, corresponde a uma tecnica de relaxac
ao. Existir
uma so solucao para equacao anterior corresponde a encontrar um s
o ponto fixo para o operador
Gu = (I )u + l , que aplica V em V.
Basta ver que existe um = 0 para o qual G e uma contracc
ao. Como G e afim, ou seja,
Gu = T u + C, em que T u = (I )u e linear e C = l e constante (relativamente `
a variacao
de u), basta verificar que a norma de T e inferior a 1, ou seja,
||T ||V = sup
v=0
||T v||V
<1
||v||V
98
1 2 + 2 M 2 < 1 2 M 2 < 2,
2
bastando considerar 0 < < M
2.
Note-se que apesar de utilizar o teorema do ponto fixo esta demonstrac
ao n
ao e construtiva
pois o operador de iteracao G e construdo com base na aplicac
ao que provem do teorema de
Riesz.... pelo que a demonstracao n
ao e construtiva.
4.3
Formulac
ao Variacional Discreta
e consequentemente que a matriz do sistema seja definida positiva. Isto significa que podemos
utilizar o metodo de Cholesky (quando e simetrica), o metodo de Gauss-Seidel ou o metodo
SOR.
Observa
c
ao 2: No caso de se tratar de uma forma bilinear simetrica designa-se tambem
por aproximacao de Ritz-Galerkin, j
a que nesse caso, corresponde `
a minimizac
ao do funcional
1
J(v) = 2 b(v, v) l(v). Neste caso podem ser utilizados metodos de optimizac
ao para deduzir a
aproximacao.
99
4.3.1
Funco
es base
N
uhi i
i=1
m
i=1
pois basta verificar para as funcoes base para assegurarmos que e verificado para todos os
elementos de Vh devido `a linearidade de l e de b(u, ). Matricialmente o problema pode ser
escrito na forma
[b(i , j )]NN [uhi ]N1 = [l(j )]N1 .
Convem-nos considerar uma base simples, de forma a que o c
alculo dos elementos da matriz
e do vector seja reduzido. Isto leva `a construc
ao dessas func
oes atraves de elementos finitos, que
sera feita no proximo captulo.
Exemplo. Caso unidimensional. Consideramos as func
oes teste 1 , ..., n que constituem
uma base unidimensional
tt
i1
verificando a relacao b(u, w) = l(w) para cada w = i . Isto leva a um sistema cuja matriz e
tridiagonal.
Observa
c
ao: A matriz B = [b(i , j )]NN e construda de forma particular. Como i (x) =
0 se x n
ao pertencer a um elemento adjacente ao n
o i, o c
alculo ir
a reduzir-se aos elementos
adjacentes aos nos i e j. Com o vector y = [l(j )]N 1 ir
a passar-se o mesmo.
Podemos agora apresentar um resultado que estabelece uma certa proporcionalidade entre
a aproximacao de Galerkin e a melhor aproximac
ao possvel no espaco Vh . Este resultado sera
crucial para estabelecermos estimativas de erro para a aproximac
ao por elementos finitos, no
captulo seguinte.
100
M
inf ||u vh ||.
vh Vh
Demonstra
c
ao:
Como b(u, v) = l(v), v V, em particular e verdade para vh Vh , tendo-se assim,
b(u, vh ) = l(vh ) = b(uh , vh ),
e entao b(u uh , vh ) = 0 para qualquer vh Vh . Portanto,
||u uh ||2 b(u uh , u uh ) = b(u uh , u)
e ainda b(u uh , u) = b(u uh , u vh ), para um qualquer vh Vh . Assim, pela continuidade de
a surge imediatamente
||u uh ||2 b(u uh , u vh ) M ||u uh || ||u vh ||, vh Vh .
Portanto
||u uh ||
M
||u vh ||, vh Vh
e a estimativa e estabelecida.
101
Captulo 5
Interpolac
ao por Elementos Finitos
5.1
Caso unidimensional
Ja vimos o exemplo em que era construda uma base com funcoes teste i que eram seccionalmente lineares. Vejamos agora mais em detalhe como se poder
a passar a uma construc
ao para
duas ou mais dimensoes analisando melhor o caso unidimensional. Vamos definir como elemento
base o segmento de referencia [0, 1].
Funco
es de forma lineares. No elemento base [0, 1] definimos as func
oes lineares p(x) = a+bx,
cuja base e dada pelo conjunto de func
oes {1, x}. Cada polin
omio de primeiro grau fica bem
definido pelos dois valores nos seus extremos, pelo que podemos definir uma nova base com duas
funcoes q1 (x) = 1 x, q2 (x) = x, que tem a caracterstica de verificar nos pontos z1 = 0, z2 = 1,
a seguinte propriedade
qi (zj ) = ij
essas funcoes q1 , q2 constituem ainda uma base do espaco de polin
omios lineares, para alem
disso, com uma simples tranformacao de coordenadas, podemos definir as func
oes base a partir
destas funcoes. Basta fazer essa transformac
ao para cada um dos elementos Ek = [xk , xk + h],
em que xk = kh, com k = 0, ..., n 1. Desta forma, querendo uma func
ao base k associada ao
ponto interno xk (com k = 1, ..., n 1) escrevemos
p1 (x), se x Ek1 ,
k (x) =
p2 (x),
se x Ek ,
0,
caso contr
ario,
em que o p2 e obtido a partir de q2 por transformac
ao de coordenadas, Fk (x) = (x xk )/h,
fazendo
p2 (x) = q2 (Fk (x))
e da mesma forma, p1 (x) = q1 (Fk1 (x)). Assim, convem salientar que o suporte das funcoes
teste esta em dois elementos, Ek1 e Ek , e n
ao apenas num deles.
Funco
es de forma quadr
aticas. Nesse caso, temos de considerar em cada um dos elementos
funcoes quadraticas. Levando de novo o problema para o elemento de referencia [0, 1], devemos
incluir um novo ponto, central, e ficamos com 3 n
os, z1 = 0, z2 = 12 , z3 = 1. Agora trata-se
de encontrar 3 polinomios de segundo grau, q1 , q2 e q3 , de forma a que se verifiquem ainda as
102
1 1 1
a11 a12 a13
1 0 0
0 1 1 a21 a22 a23 = 0 1 0
2
0 14 1
a31 a32 a33
0 0 1
0.8
0.8
0.8
0.6
0.6
0.6
0.4
0.4
0.4
0.2
0.2
0.2
1
0.2
0.4
0.6
0.8
0.8
0.8
0.8
-0.2
0.6
0.6
0.6
-0.4
0.4
0.4
0.4
-0.6
0.2
0.2
0.2
-0.8
-1
Comparaca
o entre funco
es base. De seguida apresentamos func
oes base obtidas a partir das
funcoes de forma definidas nos tres casos precedentes, o caso linear, quadr
atico e o caso c
ubico
com condicoes nas derivadas. Considere-se o intervalo I = [0, 2] com dois elementos E1 = [0, 1]
e E2 = [1, 2].
No caso linear, uma funcao base e representada na primeira figura em Fig.5.1.3. e resulta
da colagem de funcoes de forma em E1 e E2 . Se assumirmos que as condic
oes no extremo do
intervalo sao nulas, esta sera a u
nica func
ao base 1 .
No caso Lagrange quadratico, em cada um dos elementos E1 e E2 consideramos n
os internos,
em x = 0.5 E1 e em x = 1.5 E2 . Assumindo que as condic
oes nos extremos de I s
ao nulas,
ha agora 3 funcoes base (ver a figura central em Fig.5.1.3). Uma delas, 1 , resulta da colagem de
funcoes de forma em E1 e E2 , .as outras duas, 2 , 3 (representadas a tracejado), s
ao as funcoes
de forma para os nos internos.
No caso Hermite c
ubico, em cada um dos elementos E1 e E2 n
ao h
a n
os internos, no entanto
ha funcoes base que correspondem `as condic
oes de Lagrange e outras `
as condic
oes de Hermite.
Assumindo que as condicoes nos extremos de I s
ao nulas, e tambem que a derivada e nula nesses
extremos, ha 2 funcoes base (ver a u
ltima figura em Fig.5.1.3). Ambas resultam da colagem de
funcoes de forma em E1 e E2 , .uma, que designamos por 1 , resulta de ligar as func
oes q1 e q2
correspondentes `as condicoes de Lagrange de forma a que func
ao seja nula nos extremos, tome o
valor 1 na ligacao, e tenha a derivada nula nos extremos e na ligac
ao. A outra, 2 , representada
a tracejado, liga as funcoes q3 e q4 correspondentes `
as condic
oes de Hermite, de forma a que a
funcao seja nula nos extremos e na ligac
ao, tenha derivada nula nos extremos e derivada igual
0.8
0.8
0.8
0.6
0.6
0.6
0.4
0.4
0.2
0.2
0.4
0.2
0.5
0.5
1.5
1.5
0.5
1.5
0.5
1.5
0.5
1.5
0.5
-0.5
-0.5
-0.5
-1
-1
-1
-1.5
-1.5
-1.5
-2
-2
-2
1.5
-0.1
0.3
-0.2
0.2
-0.3
0.1
-0.4
1.5
0.5
1.5
-0.5
-1
-1.5
0.5
1.5
-2
-0.5
5.2
Discretizac
ao geom
etrica (malhagem)
105
forma a que o seu diametro seja h. Este processo designa-se por malhagem (ou por triangulaca
o
ja que o uso de triangulos e o mais vulgar).
No caso unidimensional, os domnios s
ao intervalos e a divis
ao de um intervalo em pequenos
elementos e trivial, consistindo na simples separac
ao em subintervalos, como j
a vimos. Esses
subintervalos constituem o suporte geometrico que permite efectuar a discretizac
ao geometrica
no caso unidimensional, que e trivial. Menos trivial ser
a proceder `
a divis
ao do domnio para
dimensoes superiores. No entanto convem ainda referir que nesses subintervalos podem nao
estar apenas definidos os nos das extremidades, como no caso quadr
atico apresentado na seccao
anterior em que estava definido um n
o interno.
Normalmente, os subdomnios definidos na divis
ao s
ao designados elementos finitos, mas
esta nocao inicial de elemento finito e apenas de cariz geometrico, e ser
a completada com uma
definicao que associa ao elemento geometrico um espaco de func
oes e n
os. Uma triangulacao T
e o conjunto dos elementos finitos definidos nessa divis
ao.
O valor de h e dado pelo maior diametro dos elementos finitos existentes na triangulac
ao
h = max(hE ).
ET
hE
E
hE
E
deve ser
Observa
c
ao: Um processo simples de avaliar a degenerescencia de um tri
angulo consiste
em avaliar a relacao entre o comprimento do lado maior h e a sua altura (tomando esse lado
como base). Considerando um triangulo E = {a, b, c}, a sua
area e dada por A = 12 h, e por
1
outro lado A = 2 det(b a, c a). Assim, podemos obter = det(b a, c a)/h. Sabendo que
no caso de um triangulo equilatero 2 + (h/2)2 = h2 , temos
h
( 12 )
4
= ,
3
2h2
det(b a, c a)
107
grande significa que o valor do determinante e muito baixo, o que significa que os vectores
definidos pelos lados sao quase dependentes e o tri
angulo e degenerado.
5.2.1
Construc
ao da Triangulac
ao
-2
-1
-1
-2
-3
Triangulaca
o de Delauney. Um processo que pode ser utilizado para construir uma triangulacao, ou para a melhorar, e atraves de uma triangulac
ao de Delauney. A ideia baseia-se na
definicao de polgono de Vorono, e parte da existencia de uma lista de pontos internos p1 , ..., pN .
Associado a cada ponto pk definimos um polgono de Vorono Vk que e definido como sendo o
108
5.3
em que o par
ametro h e definido por h = max hE .
109
Iremos referir esta triangulacao como sendo Th ou h , revelando que se trata de uma discretizacao do domnio .
A definicao de Ciarlet e demasiado geral, e apenas nos vai interessar em certos casos concretos. O espaco P sera o espaco que ir
a conter as func
oes que permitem interpolac
ao nos varios
nos. As variaveis nodais correspondem, no caso dos elementos finitos mais simples (de Lagrange),
aos nos de interpolacao. No caso de elementos mais complicados, em que se pretende interpolar
tambem derivadas, nao chega considerar apenas os n
os, ja que num mesmo n
o condicionamos
nao apenas o valor da funcao, mas tambem o valor das suas derivadas. Aparece assim a nocao
de variaveis nodais.
O espaco P dual de P e constitudo por aplicac
oes lineares que transformam func
oes P
em n
umeros reais, designando-se normalmente por
() = $, % .
O espaco dual de um espaco de dimens
ao finita tem a mesma dimens
ao (e pode ser identificado
com ele proprio), de forma que {1 , ..., m } e uma base de P se verificarmos que s
ao linearmente
independentes. Ora, de
1 1 + ... + m m = 0,
aplicando a cada elemento j da base de P, retiramos
1 1 (j ) + ... + m m (j ) = 0,
que deve implicar 1 = ... = m = 0, para que haja independencia linear. Isto corresponde a
ver que a matriz M = [i (j )]ij tem determinante n
ao nulo.
Verificar esta u
ltima propriedade e mais f
acil... Basta compreender o que significa!
5.3.1
x1 x3 y1 y3
det
= 0,
x2 x3 y2 y3
ou seja, que o triangulo nao e degenerado (pois significa que os dois vectores, um definido pelos
pontos 1-3, e outro pelos pontos 2-3, s
ao linearmente independentes)!
Na realidade, aquilo que observ
amos foi que o sistema
a0 + a1 x1 + a2 y1 = 0
a + a1 x2 + a2 y2 = 0
0
a0 + a1 x3 + a2 y3 = 0
5.3.2
111
i+j=r
ij xi1 xj2 =
i+j=0
i=r
i0 xi1 + x2
i=0
i=r
i=r
ij xi1 xj1
2 ,
(5.1)
i=0 j=1
i=r
i0 xi1 ,
i=0
5.3.3
Elementos finitos c
ubicos
Elemento de Lagrange C
ubico. Consideramos o elemento finito triangular definido pelos
vertices do triangulo {x1 , x2 , x3 }, por dois pontos igualmente espacados em cada um dos lados, ou seja 6 pontos {x4 , x5 , x6 , x7 , x8 , x9 } situados no interior dos lados e pelo ponto medio no
interior do triangulo, x10 . Como func
oes de forma consideram-se polin
omios do terceiro grau.
112
113
Figura 5.3.2: Elementos de Hermite com grau 3 e grau 4. O crculo que rodeia o n
o significa
que se considera interpolaca
o nas derivadas.
E2
E1
E3
E4
114
dentes a
`s vari
aveis nodais relativas a uma das derivadas nos vertices indicados.
Elementos finitos C 1
Elemento de Argyris (grau 5).
Consideramos o elemento finito triangular definido pelos vertices do tri
angulo {x1 , x2 , x3 } =
{(x1 , y1 ), (x2 , y2 ), (x3 , y3 )} considerando polin
omios de grau 5,
p(x, y) = a0 + a1 x + a2 y + a3 xy + ... + a19 x5 + a20 y 5
em que se incluem, para alem de condic
oes sobre os vertices, tambem sobre as normais,
() = (x , y ), se i = 1, 2, 3,
i+3 () = x (x , y ), se i = 1, 2, 3
i+6 () = y (x , y ), se i = 1, 2, 3
i+9 () = x2 (x , y ), se i = 1, 2, 3
i+12 () = y2 (x , y ), se i = 1, 2, 3
i+15 () = y x (x , y ), se i = 1, 2, 3
i+18 () = n (x, y), se i = 1, 2, 3
as u
ltimas condicoes sobre as derivadas normais s
ao impostas sobre os 3 lados do tri
angulo.
Este elemento tem a particularidade de permitir a diferenciabilidade quando se unem os varios
elementos (coisa que nao acontecia nos anteriores), que e obtida ao impor estas tres condicoes.
Nao e possvel obter diferenciabilidade para a uni
ao de elementos com polin
omios grau inferior
a 5... pode no entanto considerar-se func
oes seccionalmente polinomiais no interior do tri
angulo
(dividido em tres partes) e assim com func
oes de forma C 1 que s
ao seccionalmente polin
omios de
terceiro grau e possvel obter uma colagem C 1 atraves do designado elemento de Clough-Tocher.
115
Elementos C1 (diferenciveis)
Elemento de Clough-Tocher
(3 ns, 3 normais, as funes de forma so
seccionalmente, em cada subtringulo,
polinmios do 3 grau, diferenciveis)
116
(m+d)!
m!d! .
variaveis nodais associadas aos vertices para o caso do elemento de Lagrange linear, j
a que os
quatro vertices do tetraedro condicionam os 4 graus de liberdade de um polin
omio de primeiro
grau, etc.
Elementos paralelotopos. O paralelotopo em dimens
ao 2 e o paralelogramo e em dimens
ao
3 e o paralelippedo. Mais uma vez devemos considerar neste caso o espaco dos polin
omios Qm
que tera dimensao (m + 1)3 no caso tridimensional e (m + 1)d no caso geral. A colocac
ao dos nos
para os elementos de Lagrange e uma imediata generalizacao do que e feito a duas dimensoes.
5.3.4
Pode estabelecer-se uma relacao de equivalencia entre elementos finitos semelhantes, que diferem
apenas por uma transformacao afim. Esta noc
ao e importante porque permite transportar os
calculos para um elemento de referencia.
P,
" N
" ) dizem-se equivalentes afins se
Defini
c
ao 5.3.4 Dois elementos finitos (E, P, N ) e (E,
existir uma aplicaca
o afim
F :E
E
x
' A
x+b
(em que A e uma matriz invertvel e b um vector qualquer) tal que:
= E,
i) F (E)
em E, tratando-se de uma correspondencia geometrica.
ou seja, F transforma o elemento E
1
"
ii) P = P(F ), i.e. P, P" : F = ,
em pontos correspondentes, j
ou seja, as funco
es de forma de E s
ao as mesmas que as de E,
a
que (F (
x)) = (
x).
" (P(F )) = N (P), i.e. N , 1 N
" : ( F ) = (), P,
iii) N
ou seja, as vari
aveis nodais i verificam, por exemplo, no caso de elementos de Lagrange:
i ( F ) = (F (
xi )) = (xi ) = i (),
Observa
co
es:
i) Esta relacao entre os elementos e uma relac
ao de equivalencia. Note-se que como a trans1
"
" (P)
" = N (P(F
" 1 )),
formacao e invertvel, temos P(F ) = P, e por isso temos tambem N
substituindo em iii).
ent
ii) Se a propriedade de unissolvencia for verificada para um elemento E
ao ela tambem
sera verificada nos elementos equivalentes afins E. Isto simplifica o processo de verificar a unissolvencia, transportando o problema para um elemento de referencia onde seja mais simples a
verificacao.
sempre possvel escolher n
iii) E
os apropriados de tal forma que os elementos de Lagrange
de um certo grau sejam equivalentes.
definido por {(0, 0), (0, 1), (1, 0)},
iv) De notar que, partindo do tri
angulo de referencia E
a construcao de F e bastante facil numa triangulac
ao. Com efeito, basta tomar um ponto do
triangulo, digamos x1 , e nesse caso A e a matriz que tem como linhas x2 x1 e x3 x1 sendo
118
5.4
5.4.1
Interpolac
ao Local e Global
Interpolac
ao local
m
i (w)i ,
i=1
temos
j=1
i=1
m
m
m
j (
i (w)i ) =
i (w)j (i ) =
i (w)ij = j (w).
i=1
i=1
i=1
119
Interpola
c
ao nos Elementos de Lagrange Lineares
No caso mais simples, de elementos de Lagrange lineares, temos
E w = 1 (w)1 + 2 (w)2 + 3 (w)3
e portanto
(E w)(x) = w(x1 )1 (x) + w(x2 )2 (x) + w(x3 )3 (x).
em que j (xi ) = ij .
Esta possibilidade de escrever qualquer func
ao num tri
angulo atraves destas func
oes base
lineares j designa-as como coordenadas baricentricas, j
a que se considerarmos w1 (x, y) =
x, w2 (x, y) = y, funcoes que definem a identidade, ficamos com
x = x1 1 (x) + x2 2 (x) + x3 3 (x),
em que
1 (x) =
area{x2 , x3 , x}
area{x1 , x3 , x}
area{x1 , x2 , x}
, 2 (x) =
, 3 (x) =
,
area{x1 , x2 , x3 }
area{x1 , x2 , x3 }
area{x1 , x2 , x3 }
5.4.2
Interpolac
ao global
Para alem da relacao de equivalencia entre os elementos finitos, pode tambem estabelecer-se
uma relacao de equivalencia ao nvel da interpolac
ao, para vari
aveis nodais diferentes, desde que
deem origem ao mesmo operador de interpolac
ao.
P,
" N
" ) dizem-se interpolacionalmente
Defini
c
ao 5.4.1 Os elementos finitos (E, P, N ) e (E,
"
equivalentes se para qualquer v P. existir v P tal que
#
.
E v = E
v
mE
iE (u)E
i ,
mE
E
u(xE
i )i .
i=1
E }
E
E E
de tal forma que {1E , ..., m
e base dual de {E
1 , ..., mE }, ou seja, i (j ) = ij .
E
E e o n
No caso dos elementos finitos de Lagrange, temos iE (u) = u(xE
o i do
i ), em que xi
elemento E, e podemos escrever
E u(x) =
i=1
Defini
c
ao 5.4.2 Dizemos que uma triangulaca
o Th e de classe C m se a funca
o interpoladora
m
global for sempre de classe C .
No caso dos elementos de Lagrange ou Hermite que vimos, apenas podemos garantir que a
funcao interpoladora global seja de classe C 0 , no caso de elementos de Argyris ser
a de classe C 1 .
5.4.3
Construc
ao da interpolac
ao global
0
se x
/ Eik (para k = 1, ..., Mi )
ik (x) se x Eik (para k = 1, ..., Mi )
notando que o n
umero Mi (de triangulos adjacentes a um n
o i) depende do n
o que se considera.
No elemento Eik havera varias func
oes de forma, designamos ik a que verifica ik (xi ) = 1.
A escolha da funcao forma certa envolve uma quest
ao entre numerac
ao local e global, que
abordaremos mais `a frente.
Assim podemos considerar um espaco discreto, de dimens
ao finita, Vh , que consiste no espaco
gerado pelas funcoes base i , definidas em todos os n
os da triangulac
ao x1 , ..., xN , (inclui os nos
internos a cada elemento), de tal forma que
Vh =
N
i i .
i=1
2
Em 3 dimens
oes haver
a 4 situaco
es, adicionando a situaca
o de pertencer a uma aresta, onde um n
o tambem
pode pertencer a v
arios tetraedros.
121
Podemos distinguir entre os espacos Vh,0 e Vh . No espaco Vh,0 iremos considerar apenas os nos
interiores, verificando-se que estas func
oes ser
ao nulas sobre os n
os da fronteira, da a designacao
Vh,0 . Ao contrario, o espaco Vh ira conter todos os n
os.
Uma condicao importante a verificar e que o espaco discreto Vh deve aproximar densamente
o espaco contnuo V. Para esse efeito, no pr
oximo captulo iremos demonstrar estimativas de
erro de interpolacao que garantem que func
oes em espacos de Sobolev podem ser aproximadas
por funcoes interpoladoras definidas nestes espacos discretos de elementos finitos.
Exemplos de fun
co
es base
Considerando elementos definidos sobre tri
angulos rect
angulos, e possvel obter uma expressao
para funcoes base para elementos de Lagrange de grau m, em duas dimens
oes. Definimos d(x) =
|x1 x2 | e a funcao
||x|| , se x1 x2 > 0,
(x) =
|x1 x2 | , se x1 x2 0
Uma funcao base centrada na origem e com suporte num hexaedro
H = {x R2 : ||x|| 1, |x1 x2 | 1}
e dada para elementos de Lagrange de grau m pela express
ao
0 (x) =
m
$
(1
k=1
m
(x)),
k
122
2
1
0
1
0.5
-2
0.5
0.5
-1
-2
-0.5
-0.5
-0.5
-1
-1
-2
-1
-2
-1
-2
-1
-2
-2
-1
1
-2
2
2
123
Captulo 6
6.1
6.1.1
Esta relacao de equivalencia permite trabalhar com o espaco quociente H m+1 ()/Pm em que
os seus elementos sao as classes de equivalencia definidas pela relac
ao precedente. Assim.v
m+1
m+1
H
()/Pm e um conjunto definido por um representante v H
() e pelos elementos
v = {v + q : q Pm },
(6.1)
(6.2)
125
Demonstra
c
ao:
Dado q Pm , como (I )q = 0, temos v v = (I )(v q).
Assim, usando a norma em L(H m+1 (), H s ()),
||(I )w||s,
||w||m+1,
w=0
||v v||s, = ||(I )(v q)||s, ||(I )||L(.,.) ||v q||m+1, C ||v q||m+1,
em que a u
ltima desigualdade resulta de considerar C = ||(I )||L(.,.) , constante que depende
de e .
Como a desigualdade e valida para qualquer q Pm , em particular e v
alida o nfimo, logo
||v v||s, C inf ||v q||m+1, = C ||v||m+1, .
qPm
hE
|E|
, | det(A)| =
,
E
|E|
(6.3)
||Ax||
x
1
= max ||Ax|| = max ||A || = max ||Ax||.
||x||
||x||=
||x||=1
||x||=
Considerando x
, y E, tais que ||
x y|| = , temos
E
||A|| =
1
E
max
||
x
y ||=E
||A(
x y)||
x
,
yE
126
1
hE
max ||A(
x y)|| =
.
E x,yE
E
Finalmente,
|E| =
1 dx =
| det(A)| d
x = | det(A)| |E|.
Observaca
o: Deste resultado, no caso bidimensional, conclui-se tambem que | det(A)|
h2E
,
2
E
2E
pois |E| h2E (ja que E se encontra dentro de um quadrado com lados hE ) e porque |E|
contem uma bola com raio ). Para outras dimens
(pois E
oes podem estabelecer-se resultados
E
semelhantes usando d = |B(0, 1)|, definido no primeiro captulo.
(6.4)
hE r
) | det(A)|1/2 |v|r,E .
E
(6.5)
hE r
) | det(A)|1/2 |
v|r,E .
E
(6.6)
De forma an
aloga obtem-se
|v|r,E C (
Demonstra
c
ao:
Comecamos por supor que v Cc (E). A desigualdade resulta de relacionar os integrais
2
| v| com
| v|2 ,
n vezes
% &' (
% &' (
v(x) = D|| v(x)(e1 , ..., e1 , ..., en , ..., en ).
e temos Dr v(
x)(h1 , ..., hr ) = Dr v(x)(Ah1 , ..., Ahr ), pelo que
||Dr v(
x)|| ||A||r ||Dr v(x)||,
onde ||Dk v(x)|| = sup|hi |=1 |Dk v(x)(h1 , ..., hk )|.
Usando as desigualdades (com c1 , c2 > 0),
c21 |v|2r,E
||Dr v(x)||2 dx c22 |v|2r,E ,
E
127
que nos indicam a equivalencia entre a seminorma habitual e aquela que se obtem pela derivada
de Frechet, obtemos
1
1
1
2
r
2
2r
r
2
|
v |r,E 2
||D v(
x)|| d
x 2
||A|| ||(D v)(F (
x))|| d
x= 2
||A||2r ||Dr v(x)||2 | det(A)|1 dx,
c1 E
c1 E
c1 E
logo, para v Cc (E),
|
v |2r,E
1
2 ||A||2r | det(A)|1
c1
||Dr v(x)||2 dx
c22
||A||2r | det(A)|1 |v|2r,E .
c21
ordem r entao H
(E)
hm+1
E
|v|m+1,E .
sE
(6.7)
Demonstra
c
ao:
Pelo lema anterior aplicado a v E v, temos
||v E v||s,E C (
hE s
) | det(A)|1/2 ||
v E v||s,E ,
E
#
ja que sendo interpolacionalmente equivalentes v
E v = v
E v.
Ev = v
Por outro lado, vimos que
||
v E v||s,E C |
v |m+1,E ,
logo
||v E v||s,E C (
hE s
) | det(A)|1/2 |
v|m+1,E .
E
Pelas injecco
es de Sobolev, m + 1 d/2 > r.
Se n
ao se incluirem derivadas (elementos de Lagrange) temos r = 0 e portanto basta exigir que m + 1 d/2 > 0
(ver apendice). No caso bidimensional isto significa m > 0, o que exclui apenas as constantes. No caso de
elementos de Hermite, temos pelo menos r = 1, o que d
a m + 1 d/2 > 1, ou seja m > d/2. No caso bidimensional
isto significa que m > 1, o que n
ao constitui qualquer problema, pois os elementos de Hermite considerados
envolviam obviamente polin
omios de grau superior a 1.
128
||v E v||s,E C (
Separando o factor
hs
E
m+1
hE s hE m+1
) ( )
|v|m+1,E .
E
E
hm+1
E
sE ,
obtemos o resultado.
Observa
co
es:
hs
E
e encarada como constante porque bastar
a fixar um elemento de referencia
i) A parte m+1
Corol
ario 6.1.1 Nas condico
es do teorema anterior, se exigirmos regularidade na triangulaca
o,
de forma a que E < < , temos a estimativa
||v E v||s,E C s hm+1s
|v|m+1,E .
E
(6.8)
6.1.2
Estimativas Globais
Pm P H (E) . Ent
ao existe C > 0 (independente de h) tal que
Eh
1/2
||v h v||2s,E
C hm+1s |v|m+1,
Demonstra
c
ao:
Considerando o corolario do par
agrafo anterior temos
||v E v||s,E Cs hm+1s
|v|m+1,E ,
E
129
" H s (E)
com
Corol
ario 6.1.2 Consideremos uma triangulaca
o regular h e seja Pm P
0 s m + 1.
Se v H m+1 (), h L(H m+1 (), H s ()), podemos garantir que
||v h v||s, C hm+1s |v|m+1, .
(6.9)
(6.10)
Observa
c
ao 1: Basta considerar 0 s m + 1, j
a que a regularidade das funcoes de
forma no interior do elemento fica includa na exigencia de regularidade para o interpolador
global. h v sera apenas seccionalmente polinomial, assim, ao exigir h v H s () estamos
a impor condicoes sobre a colagem da interpolac
ao nos v
arios elementos. Quando h
a apenas
2
continuidade nessa colagem, garantimos que a func
ao e as derivadas sejam L , mas j
a nao
podemos garantir que isso aconteca para as segundas derivadas, que podem incluir deltas de
Dirac, ja que as derivadas podem ser descontnuas. Ou seja, para uma triangulac
ao C 0 podemos
apenas obter esta estimativa se considerarmos s = 0 ou s = 1. Para considerarmos s = 2 seria
necessario considerar triangulacoes C 1 , o que pode ser obtido atraves de elementos de Argyris,
por exemplo.
Observa
c
ao 2: Assumimos que v H m+1 (), para que a estimativa faca sentido. Para
assegurar isto, veremos no caso da resoluc
ao de equac
oes que devem ser utilizados resultados de
regularidade (ver apendice).
No caso de uma triangulacao com elementos de Lagrange lineares e claro que obtemos
||v h v||1, C h|v|2,
(6.11)
(6.12)
ja obtemos O(h2 ), assumindo que v H 2 (). Iremos ver que H 2 () e a regularidade habitual
da solucao de um problema elptico no caso de f L2 ().
Exemplo
Consideremos o seguinte exemplo, em que temos o domnio =] 2 , 1[ e a func
ao a aproximar
e
cos(x), se x [ 2 , 0[
f (x) =
1 x2 , se x [0, 1].
130
f (x)
1/2
= 2.6587.
||f fh ||L2 ()
0.05312
0.01327
0.003308
0.001467
0.000824
1
0.07
0.5
0.06
0.8
0.05
-1
0.6
-0.5
0.5
-0.5
0.4
-1
0.2
-1.5
1
0.04
0.03
0.02
0.01
-2
-1.5
-1
-0.5
0.5
0.1
0.2
0.3
0.4
0.5
0.6
` esquerda, comA
||f fh ||L2 () em
quadr
atica.
Portanto, a teoria de interpolacao apenas nos permite concluir que o erro ||g gh ||L2 () e O(h).
Com efeito, fazendo testes semelhantes aos efectuados para f, para v
arios valores de h, podemos
constatar experimentalmente que a evoluc
ao do erro em func
ao de h deixa de ser quadratica
e passa a ser linear. Com efeito, se desprezarmos o primeiro valor, em que a aproximacao
e ainda grosseira (h 0.5), o grafico do erro pode ser aproximado por uma recta, tendo-se
||g gh ||L2 () 0.03 h.
1
0.02
0.8
0.5
0.015
0.6
-1
0.4
-1
-0.5
0.5
-0.5
0.2
-1.5
-0.5
0.5
-1
0.01
0.005
0.1
0.2
0.3
0.4
0.5
0.6
Figura 6.1.2. Gr
aficos semelhantes aos da figura anterior para g (figura da esquerda). O
salto da primeira derivada (figura central) provoca que a convergencia do metodo de Lagrange
n
ao seja quadr
atica, sendo apenas linear (na norma L2 ), como se constata na figura da direita.
Consideremos agora o exemplo de elementos de Hermite c
ubicos, com a func
ao (x) =
1 + cos(2x) no intervalo =] 2 , 2 [, representada em Fig.6.1.3, `
a esquerda. Como a funcao e
analtica, nao ha qualquer problema com a aproximac
ao. Com efeito, como usamos polin
omios
(4)
c
ubicos, m = 3, e a ordem de convergencia e 4, pois ||4, = || ||0, existe. A aproximacao
e excelente, mesmo considerando poucos elementos. Por exemplo, considerando 10 elementos,
o erro e inferior a 0.0004, como se pode constatar na figura central de Fig.6.1.3. Finalmente,
efectuando a variacao do erro em func
ao de h, podemos confirmar a ordem de convergencia 4,
tendo-se || h ||L2 () 0.03 h4 , como se pode constatar no gr
afico log-log4 colocado Fig.6.1.3,
`a direita (linha tracejada). Nessa figura coloc
amos todos as linhas log-log que se obtem para
os 3 casos aqui retratados, e que representam a convergencia linear de gh para g (a preto), a
convergencia quadratica de fh para f (a cinzento), e a convergencia de ordem 4 de h para (a
4
Os gr
aficos log-log s
ao obtidos por simples transformaca
o
(h, eh ) (log h, log eh ).
Como
eh Chp ,
obtemos
log eh log C + p log h,
o que traduz rectas de inclinaca
o p. Quanto maior for a inclinaca
o da recta, maior ser
a a ordem de convergencia
p. A constante e imediatamente obtida pela exponencial do valor no qual a recta cruza o eixo das ordenadas.
132
tracejado).
2
0.0004
-3
-2.5
-2
-1.5
-1
-0.5
0.5
-2
1.5
0.0002
-4
-6
-1.5
-1
-0.5
0.5
1.5
-8
0.5
-0.0002
-10
-1.5
-1
-0.5
0.5
1.5
-0.0004
-12
Figura 6.1.3. Gr
afico da funca
o (`
a esquerda) e do erro h (para h = /10, figura
`
central). A direita, gr
aficos das linhas log-log que se obtem para os 3 casos apresentados: a
convergencia linear no caso de g (a preto), a convergencia quadr
atica no caso de f (a cinzento),
e a convergencia de ordem 4 no caso de (a tracejado).
Como e obvio, se aplicassemos o metodo de Hermite c
ubico para g continuaramos a obter ordem de convergencia linear, e para f obteramos ordem de convergencia quadr
atica. O problema
1
2
volta a ser a regularidade. Como as func
oes g H (), f H () n
ao tem maior regularidade,
a convergencia da aproximacao est
a condicionada. De certa maneira, podemos encarar que a
ordem de convergencia sera dada por um mnimo entre a regularidade da func
ao e o grau dos
polinomios interpoladores (ou splines).
Observa
co
es
= [0, 1]
i) Neste exemplo unidimensional a transformac
ao afim e simples. Com efeito, sendo E
e E = [a, b] obtem-se imediatamente
F (
x) = (b a)
x + a,
e tambem F 1 (x) = xa
ba .
ii) Caso de elementos de Hermite c
ubicos.
Seja k uma funcao de forma da base dual associada `
a vari
avel nodal k do elemento finito
E. Portanto, temos k (k ) = 1.
No caso de estarem envolvidas derivadas,
= (
k ()
xk ), e sendo k tal que k (k ) = k (
xk ) = 1,
vejamos qual a relacao de k com a func
ao de forma k associada a k , no elemento finito
e em que xk = F (
E = F (E),
xk ).
Seja = k F 1 , entao
d
d
(F (
x))|x=xk =
((b a)
x + a)|x=xk
1 = k (k ) = k ( F ) =
d
x
d
x
d
= (b a) (x)|x=xk = (b a)k () = k ((b a)).
dx
Como k (k ) = 1, conclumos que k = (b a), ou seja
k = (b a)k F 1 .
6.2
Estimativas de erro do M
etodo de Galerkin
6.2.1
Regularidade da soluc
ao
d
i (aij j u)
i,j=1
em que os coeficientes sao funcoes que verificam a0 0 com a0 C() e aij C 1 () verificam
as hipoteses de elipticidade,
> 0 :
d
i,j=1
(6.13)
Observa
co
es:
i) Este resultado e demasiado exigente no que diz respeito `
a regularidade da fronteira, ja
que mesmo com m = 0 e requerida uma fronteira C 2 (). No entanto, no caso do problema de
e possvel melhorar os resultados
Dirichlet, admitindo que os coeficientes aij pertencem a C 1 (),
(devidos a Grisvard, e.g.. [9], [15]) :
Se e um polgono convexo, e f L2 (), ent
ao a soluc
ao u H 2 ().
Quando o polgono nao e convexo, a situac
ao e mais complicada. Este resultado ainda e
valido no caso tridimensional para poliedros convexos, admitindo condic
oes de Dirichlet nulas.
No caso do problema de Neumann e possvel estabelecer um resultado semelhante, mas no
problema misto Dirichlet-Neumann tal resultado n
ao e possvel.
134
(6.14)
6.2.2
Estimativas de erro
Corol
ario 6.2.1 (do teorema de Cea). Seja Vh H s () o espaco discreto definido numa tri Ent
angulaca
o regular h em que Pm P" H s (E).
ao, se u H m+1 (), existe uma constante
C > 0 (independente de h) tal que
||u uh ||s, C hm+1s |u|m+1, .
(6.15)
Demonstra
c
ao:
Consequencia imediata do teorema de Cea e da estimativa de erro (6.9), pois
||u uh ||s,
M
M
inf ||u vh ||s,
||u h u||s, C hm+1s |u|m+1, .
vh Vh
Note-se que e fundamental que Vh H s (), para que facam sentido as estimativas.
No caso de se considerar uma triangulac
ao contnua, apenas podemos considerar que as
2
1
derivadas estao em L (), logo Vh H () e obtemos a estimativa de erro
||u uh ||1, C hm |u|m+1, .
(6.16)
A vantagem desta u
ltima estimativa e que permite obter uma ordem de convergencia mais
elevada quando e avaliada a diferenca na norma L2 , resultado esperado, j
a que n
ao se tem em
conta as derivadas.
Exemplo. No caso de um problema elptico como
u + u = f em
u = g0 em 0
n u = g1 em 1 ,
6.2.3
Erro de aproximac
ao do domnio
Ate aqui apenas consideramos o caso em que e um domnio poligonal e dessa forma nao
ha erro geometrico na aproximacao do domnio. No entanto, devemos tambem considerar o
caso em que h = , embora a an
alise seja mais detalhada e saia do
ambito deste curso
introdutorio. Referimos apenas os principais resultados, tendo em especial atenc
ao o facto
de que a aproximacao do domnio impede a obtenc
ao de estimativas de erro t
ao boas quanto
as obtidas para os domnios poligonais. Com efeito, sendo um aberto convexo de R2 com
fronteira C 2 , u a solucao do problema exacto e u
h a aproximac
ao obtida com interpolacao de
Lagrange linear, com elementos finitos triangulares, ainda se obtem as estimativas
||u u
h ||1, C h||u||2, e ||u u
h ||0, C h2 ||u||2,
se u H 2 () H01 (), mas quando usamos elementos de Lagrange quadr
aticos ou superiores,
obtemos apenas
||u u
h ||1, C h3/2 ||u||2,
quando u H 3 () H01 (), o que significa uma perda de h1/2 face ao resultado obtido para
elementos de Lagrange quadraticos quando n
ao se considerava erro de aproximac
ao geometrica
do domnio.
O problema consiste no facto de se estar a utilizar uma aproximac
ao da fronteira atraves
das rectas que definem os triangulos, aproximac
ao essa que e de ordem 1. Para manter a
ordem a ordem de convergencia esperada h
a que proceder a uma aproximac
ao conveniente da
fronteira, usando uma tecnica designada por isoparametrica. Por exemplo, no caso de elementos
de Lagrange quadraticos, ao inves de se considerar F afim, que transformava o n
oa
6 do elemento
de referencia no no a6 no elemento considera-se uma func
ao F quadr
atica que transforme o
137
ponto a
6 num ponto da fronteira a6 , como se mostra na figura seguinte.
a6*
a5
a6
a1
^a
5
F*
a4
a^ 6
E^
a2
^a
1
a3
a^4
a^ 2
a^ 3
6.3
Integrac
ao num
erica
E
No entanto, quanto `a forma linear, como a func
ao f que aparece no segundo membro e arbitraria,
e normalmente preciso efectuar uma integrac
ao numerica para calcular os termos
f(
x)
p(
x)d
x.
6.3.1
Integrac
ao de Gauss em cada elemento
138
u=
u.
Eh
E = {(0, 0), (1, 0), (0, 1)}, ou o quadrado E = [1, 1] [1, 1].
As f
ormulas de quadratura de Gauss s
ao do tipo
u Q(u) =
m
w
k u(
zk )
k=1
em que w
k sao designados por pesos e zk por pontos de Gauss.
Quando queremos calcular o integral num outro elemento E que seja equivalente afim do
podemos transportar o c
elemento de referencia E
alculo do integral usando a mudanca de variavel
pela transformacao afim x = F (
x) = A
x + b, pois
u(x) dx =
u(F (
x)) | det JF (
x) |d
x=
u(F (
x)) | det A |d
x
ficando assim
u(x) dx
m
k=1
| det A|w
k u(F (
zk )),
6.3.2
u(x) dx
m
wk u(zk ).
k=1
Caso unidimensional
No caso unidimensional, considerando como elemento de referencia o intervalo [1, 1], obtemos
as formulas de integracao de Gauss-Legendre bem conhecidas exigindo que a f
ormula seja exacta
para os monomios, ou seja,
1
xk dx = Q(xk ).
e a soluc
ao e clara, Q1 (u) = 2u(0), o que corresponde a uma f
ormula de grau 1 e que tem um
erro da ordem O(h2 ).
139
cuja solucao e w1 = w2 = 1, x1 = 1/3, x2 = 1/3, tendo-se assim a f
ormula
Q3 (u) = u( 1/3) + u( 1/3)
6.3.3
F
ormulas de Gauss para o Quadrado de Refer
encia
140
6.3.4
F
ormulas de Gauss para o Tri
angulo de Refer
encia
e assim
x=
1 1x
0
xdydx =
x(1 x)dx = [
x2 x3 1 1 1
1
]0 = =
2
3
2 3
6
e de forma semelhante
1
1 1x
1 2
(1 x)2
(1 x)3 1
1
1
y 1x
dx = [
]0 = 0 + =
y=
ydydx =
[ ]0 dx =
2
2
6
6
6
0
E
0
0
0
Retiramos assim,
1
1
1
x1 = , y1 = , w1 =
3
3
2
e obtemos Q1 , a formula que e exacta para polin
omios de grau 1, usando um u
nico ponto (o
baricentro),
1 1 1
Q1 (f ) = f ( , ),
2 3 3
notando que o resduo desta formula e da ordem O(h2 ).
Atraves de outras relacoes,
1
1
1
2
x = ,
y2 =
xy = ,
24
12
12
E
E
E
podemos obter formulas correctas para polin
omios de grau 2,
1
1 1
2 1
1 2
Q3 (f ) =
f( , ) + f( , ) + f( , ) ,
6
6 6
3 6
6 3
em que todos os pontos sao interiores, ou ainda
1
1
1
1 1
Q3 (f ) =
f ( , 0) + f (0, ) + f ( , ) ,
6
2
2
2 2
com pontos sobre a fronteira. Ambas estas f
ormulas tem um resduo O(h3 ) (cf. [16]).
Um exemplo de formula exacta para polin
omios com grau 3 e
25
1 1
1 3
3 1
27 1 1
Q4 (f ) =
f( , ) + f( , ) + f( , )
f( , ) ,
96
5 5
5 5
5 5
96 3 3
141
(0.6 , 0.2)
^
E
(1/2, 1/2)
(0, 1/2)
(1/3 , 1/3)
^
E
(1/3 , 1/3)
(1/2 ,0)
O(h2 )
(0.2 , 0.2)
O(h3 )
(0.6 , 0.2)
O(h4 )
6.3.5
O erro na integrac
ao num
erica
(6.17)
1
(l l)(vh )
sup
,
0=vh Vh ||vh ||V
(6.18)
||uh u
h ||V
Nota: Com efeito, podemos mesmo obter
||uh u
h ||V
que e uma desigualdade melhor que a anterior porque o valor ||l l||V e definido como
||l l||V = sup
0=vV
(l l)(v)
||v||V
142
k=1
Ent
ao, existe uma constante C > 0 :
|f |C m+1 (E)
= max || f ||,E
.
||=m+1
Demonstra
c
ao:
Como a formula e exacta para polin
omios de grau M, ou seja, p PM , ent
ao I(p) = Q(p),
e portanto
N
w
k (f p)(
zk )
|I(f ) Q(f )| = |I(f p) Q(f p)| = (f p)
E
k=1
N
(f p) +
w
k |(f p)(
zk )| .
k=1
||f p|| e por outro lado
Por um lado E (f p) |E|
,E
N
k=1
com C0 =
N
k .
k=1 w
w
k |(f p)(
zk )| C0 ||f p||,E ,
||=M+1
x
f ( ),
!
Como x E,
entao |x| 1 e pela definic
com E.
ao de seminorma em C m+1 (E),
||f p||,E
||=M+1
1
|| f ||,E C2 |f |C m+1 (E)
e obtem-se a estimativa.
143
para polin
Corol
ario 6.3.1 Seja Q uma f
ormula de integraca
o de Gauss exacta em E
omios de
grau m 1. Se m 2.consideramos M m. Ent
ao existe C > 0 :
f C Mm+2 , p PM , |I(f p) Q(fp)| C(|f |C Mm+2 ||p||L2 + |f |C M m+1 |p|H 1 )
(6.19)
Demonstra
c
ao: Cf.. [15].
Lema 6.3.2 Seja vh uma funca
o de Vh H 1 (), espaco de aproximaca
o usando elementos de
Lagrange de grau m 1. Consideramos
l(vh ) =
fvh , l(vh ) =
N
wk (f vh )(zk )
k=1
E,
Demonstra
c
ao:
Pelo corolario, como f C m , temos M m+2 m, e obtemos para o elemento de referencia
p PM , |
f(
x)p(
x)d
x
w
k (fp)(
zk )| C||f||C m (E)
||p||H 1 (E)
,
temos
em que f = f F. Fazendo a mudanca de vari
avel para E = F (E),
p PM , |
f (x)p(x)dx
wk (f p)(zk )| = | det A| |
f(
x)p(
x)d
x
w
k (fp)(
zk )|.
Aplicando agora as desigualdades ||Dk v|| ||A||k ||Dk v|| obtidas no Lema 6.1.3 conclumos que
m
||f||C m (E)
||A|| ||f ||C m (E)
1/2 ||p|| 1
e por outro lado, efectuando a mudanca de vari
aveis nos integrais temos ||p||H 1 (E)
| det A|
H (E) .
m
Pelo Lema 6.1.2 temos ||A|| C hE e portanto ||f||C m (E)
ChE ||f ||C m (E) . Assim,
1/2 m
||f||C m (E)
hE ||f ||C m (E) ||p||H 1 (E)
||p||H 1 (E)
C| det A|
e obtemos
p PM , |
f (x)p(x)dx
wk (fp)(zk )| C|E|1/2 hm
E ||f ||C m (E) ||p||H 1 (E)
Esta e a express
ja que | det A| = |E|/|E|.
ao para o erro em cada elemento E.
144
A expressao do erro |l(vh ) l(vh )| e dada pela soma dos erros nos v
arios elementos, tendo
em atenc
ao que hE h e que vh em cada E e um polin
omio vh|E PM , pelo que podemos usar
a estimativa anterior, ficando com
|l(vh ) l(vh )|
|
f (x)vh (x)dx
wk (f vh )(zk )|
C|E|1/2 hm ||f ||C m (E) ||vh ||H 1 (E) .
ETh
ETh
Finalmente, usando a desigualdade de Cauchy-Schwarz para somas, an bn ( a2n )1/2 ( b2n )1/2 ,
temos
1/2
1/2
ETh
ETh
N
wk f (zk )|.
k=1
Assim, temos
|I(f ) Q(f )| C hm ||f ||C m () ,
para uma formula de quadratura Q exacta para polin
omios de grau M 2m 2, no caso de
f C m (). Assim, se M = 0 (a formula de quadratura e exacta para constantes) podemos ter
m = 1 e se f C 1 obtemos um erro de integrac
ao O(h).
No caso de f C m+1 () e M 2m 1, podemos obter
|I(f ) Q(f )| C hm+1 ||f ||C m+1 () .
Assim, no caso em que M = 1 (a f
ormula de quadratura e exacta para polin
omios de grau
2
2
1) obtemos um erro O(h ) desde que f C , pois basta considerar m = 1 nesta segunda
desigualdade.
a soluca
Teorema 6.3.1 Seja u C m+2 ()
o exacta de u = f e u
h a soluca
o aproximada
usando elementos de Lagrange de grau m 1 e uma f
ormula Q exacta para PM com M 2m2.
Temos a estimativa
||u u
h ||1, C hm ||u||C m+2 ()
.
(6.20)
temos
Se e um polgono convexo, para M 2m 1, com u C m+3 (),
||u u
h ||0, C hm+1 ||u||C m+3 ()
.
145
(6.21)
Demonstra
c
ao: Pela formula (6.18) aplicada a V = H01 () e pelo lema anterior,
|u u
h |1, C hm ||f ||C m () .
Aplicando a desigualdade de Poincare estabelecemos a majorac
ao em ||u u
h ||1, notando
tambem que ||f ||C m () = ||u||C m () C||u||C m+2 () . A estimativa em ||u u
h ||0, e uma
consequencia de (6.16).
e na demonstracao foi
Note-se que este resultado assume regularidade na func
ao f C m ()
tambem provado que
||u u
h ||1, C hm ||f ||C m () ,
146
Captulo 7
Complementos - M
etodo de Galerkin
7.1
7.1.1
M
etodo de Galerkin-Estrutura do Sistema Linear
Numerac
ao dos n
os e dos tri
angulos
=
I
.
Um
caso
t
pico,
para
elementos
triangulares
e
considerar
matrizes
N 3.
nE nE
E E
Por exemplo,
1 0 0 0 0 0 0
TE = 0 0 0 1 0 0 0
0 0 1 0 0 0 0 37
(1)
(2)
(3)
x
xE
x(1)
(2)
.. (4)
.
xE = T
E
. = x
(3)
(3)
x
x(7)
xE
A coleccao = {(1) , ..., (NE ) } (aqui NE indica o n
umero de elementos existentes na
147
x(6)
[3] [3]
x(1)
[1]
[1]
E1
x(2) [1]
E3
E2
[2]
x(4)
[3]
[1]
[1]
[3]
[2]
[2]
x(7)
[3]
E4
E5
[2]
[2]
x(5)
7.1.2
Sistema Linear
Vamos agora analisar o sistema linear que e obtido atraves da passagem da numerac
ao local
para numeracao global.
Consideremos uma funcao escrita na base do espaco aproximado Vh ,
u=
u
Verificando-se a relacao,
b(u, w) = l(w),
para cada w igual `a funcao base, obtemos o sistema
m
i=1
b( , j )u = l(j ), j = 1, ..., m,
pois basta verificar para as funcoes base w = j , para assegurarmos que e verificado para todos
os w Xm , devido `a linearidade de l e de b(u, ). O n
umero de inc
ognitas no problema depende
da dimensao do espaco aproximado Vh , que designaremos por N = dim(Vh ).
[b( , j )]NN [u ]N 1 = [l(j )]N 1 .
A matriz B = [b( , j )]NN (que e por vezes designada matriz de rigidez) pode ser construda
de forma particular. Como (x) = 0, se x n
ao pertencer a um elemento adjacente ao no i, o
calculo ira reduzir-se aos elementos adjacentes aos n
os i e j. Com o vector y = [l(j )]N1 ira
passar-se o mesmo. Vejamos isto, com mais detalhe, j
a que nos ir
a reduzir a um problema local.
148
Elementos de Lagrange
Reescrevemos
i (x) =
N
E
!
E
E
i (x)
E=1
E
em que E = (E
e um vector que contem todas as func
oes base do elemento E e
1 , ..., nE )
E
i e a linha i da matriz booleana do elemento E. O sinal significa que se percorrem todos os
E
elementos e depois o produto da linha E
c
oes base
i com o vector faz aparecer apenas as fun
de E correspondentes ao no i.
No caso mais simples, de elementos de Lagrange lineares num tri
angulo, trata-se de E =
E
E
(E
e uma func
ao base local definida sobre cada
1 , 2 , 3 ) em que cada uma das componentes
um dos tres vertices. Assim, se E
=
[0
0
1]
isto
significa
que
a numerac
ao local do n
o i e 3,
i
E
E
E
por isso, quando fazemos o produto i ir
a aparecer apenas 3 .
Usando a bilinearidade da forma, obtemos
b(i , j ) =
NE
nE
E
E
E
E
in jm b(n , m ),
E=1 n,m=1
em que B E e uma matriz local nE nE (no caso Lagrange linear, 3 3) para o elemento E,
dada por
E
E
Bnm
= b(E
n , m ).
De forma semelhante, o segundo membro do problema variacional vem
l(j ) =
NE
nE
E
E
jm l(m ),
E=1 m=1
NE
nE
N
E
E
E
in Bnm jm ui =
NE
nE
E=1 m=1
149
E
E
jm ym
ou mais abreviadamente
NE
E T
B ( ) u =
E=1
NE
E yE
E=1
k=1 Eijk
.j ,
em que Eij1 , ..., EijMij sao os Mij elementos adjacentes simultaneamente aos n
os i e j.
Consideremos um domnio que e um quadrado, e efectuamos uma malhagem com elementos
rectangulares, que serao pequenos quadrados, tal como na discretizac
ao por diferencas finitas.
A numeracao utilizada nas diferencas finitas, na Fig.2.2.5, produz uma matriz tridiagonal por
blocos, para o caso de uma aproximac
ao de Lagrange com polin
omios em Q1 , ou seja,
K L
0 0
.
. . . . . ...
L K
.. . . . . . .
.
.
.
. L
0 0
L K
em que cada bloco K ou L e ainda uma matriz tridiagonal. Curiosamente, neste caso, pode
mesmo constatar-se que a resolucao por elementos finitos coincide com a resoluc
ao por diferencas
finitas!
Resolu
c
ao do Sistema Linear.
Como a matriz do sistema linear e definida positiva, podemos aplicar metodos adequados
`a resolucao desse tipo de sistemas. Por outro lado, com uma numerac
ao conveniente dos nos
podemos obter estruturas das matrizes por blocos que permitem tambem reduzir o tempo de
calculo na resolucao do sistema. No caso em que a forma bilinear e simetrica, a matriz tambem
fica simetrica e podem aplicar-se metodos bem adaptados a este tipo de matrizes, como o metodo
de Cholesky. O caso simetrico, correspondendo a um problema de minimizac
ao e ainda favoravel
`a resoluc
ao do sistema atraves do metodo do gradiente conjugado.
150
7.2
7.2.1
Outras Condico
es de Fronteira
Condic
ao de Dirichlet n
ao homog
enea
g .v,
u v = (f +
g )v
(
u + g) v =
f v.
Como u = u
+ g, ficamos com o problema simplificado
Encontrar u H 1 () :
u g H01 (),
1
u v = f v , v H0 ().
7.2.2
Condic
ao de Neumann
Tambem se pode estabelecer o resultado para domnios de classe C 1,1 , ou seja, C 1 com derivadas Lipschitz
contnuas.
2
Consideramos = N
ao segmentos de recta. Desta forma, quando escrevemos g
k=1 k , em que k s
H 3/2 () significa que g|k H 3/2 (k ).
3
No caso tridimensional, o resultado correspondente para poliedros e v
alido apenas se g = 0 (cf. [9]).
151
Assim, a formulacao variacional pode ser feita usando o espaco H 1 ()/R, correspondendo a
Encontrar u H 1 ()/R :
u v =
f v , v H 1 ()/R.
n u v =
fv+
n u v.
152
7.2.3
Condico
es mistas Dirichlet-Neumann
1 () H 1 ().
que e um subespaco fechado de H 1 () verificando-se H01 () H0,
1 () :
O problema variacional consiste em encontrar u H0,
1
u v =
f v , v H0,
().
1 (). Verificar as
Exerccio: Mostrar que os problemas s
ao equivalentes se u H 2 () H0,
condicoes de aplicabilidade do Teorema de Lax-Milgram.
Observa
c
ao: Aquando da discretizac
ao, o espaco Vh e neste caso gerado tambem por funcoes
base que nao se anulam na fronteira, pelo que n
ao se devem apenas considerar func
oes de base i
para nos xi interiores, mas tambem para os n
os na fronteira que n
ao tem condic
oes de Dirichlet
nulas. A condicao de Neumann nula n
ao e imposta na fronteira. Ela resulta do facto de se ter
pela formula de Green
fv=
u v = u v +
n u v =
fv+
n u v,
para v
1 (),
H0,
n u v = 0, v L2 (\), e
1 (), e consiste em
o problema variacional e colocado no espaco H0,
1
Encontrar u H () :
1
u g0 H0, (),
1
u v = f v + \ g1 v , v H0, ().
7.3
7.3.1
O metodo dos elementos finitos pode aplicar-se a operadores elpticos de ordem p > 2, como e
o caso do bilaplaciano, 2 u = (u). No caso bidimensional,
4
4
4
2 u = (xxxx
+ 2xxyy
+ yyyy
)u.
n u = 0 sobre
2
v Cc () H0 (), para obter
u v =
w v = w v +
w n v
Assim,
w v =
u v =
w v +
w v
vn w +
v n w.
w n v.
ou seja,
(2 u f )v = 0, v Cc (),
154
Portanto, por densidade de Cc () em H02 (), em que podemos estabelecer um produto interno
dado por
$u, v%H 2 () =
u v,
temos
fv=
u v, v H02 (),
H 2 ().
7.3.2
Elasticidade linear
uv vu=
n u v
n v u .
H01 ()d
H01 ()d ,
b(u, v) =
u : + v,
+
v : v f v,
J(v) =
2
157
Parte IV
Ap
endices
158
Captulo 8
Complementos de apoio
8.1
F
ormulas Integrais
e1 e2 e3
u v = det u1 u2 u3
v1 v2 v3
em que e s
ao os 3 vectores da base can
onica.
Consequentemente
e1
rot v = v = det 1
v1
e2
2
v2
e3
3 .
v3
Note-se que da teoria de determinantes, podemos retirar imediatamente que uv = vu, e tambem lembramos
que u (v w) n
ao e necessariamente igual a (u v) w, ou seja, n
ao h
a associatividade no produto externo.
Isto significa, por exemplo que apesar de u (v v) ser sempre nulo, isso pode n
ao acontecer com (u v) v.
tambem imediato que os produtos mistos u (u v) e v (u v) s
E
ao sempre nulos.
Uma f
ormula bastante u
til e importante:
u (v w) = (u w)v (u v)w.
159
Serao tambem u
teis algumas propriedades imediatas para o produto de func
oes:
(uv) = uv + vu
div(uv) = udiv(v) + v u
(uv) = uv + 2u v + vu.
Enunciamos de seguida alguns teoremas do c
alculo integral.
Teorema 8.1.1 (Gauss). Sendo um domnio aberto limitado com fronteira regular (ou
seja, sem a
ngulos, de forma a que exista sempre normal), ent
ao para uma funca
o u C 1 (),
verifica-se
u =
un
Caso particular:
v =
n v.
{a,b}
em que o integral e tomado no sentido de uma medida de contagem {a,b} f = f (a) + f (b). No
caso concreto {a,b} n u = na u(a) + nb u(b) = u(b) u(a), e ficamos com a usual f
ormula de
Barrow
b
u = u(b) u(a).
Um caso an
alogo discreto:
Outro exemplo interessante e aquele em que se considera a propriedade telesc
opica no caso
de sucessoes,
b1
uk+1 uk = ub ua ,
k=a
160
(dh u)k = vk
ou seja,
uk = h
k1
vk .
m=0
Assim
{a,..,b}
k=0
(dh u)k = ub ua ,
N
1
k=0
uk+1 uk
= ub ua .
h
uv =
resulta de
uv +
vu =
(uv)n
vu
(uv) =
(uv)n.
161
Sejam u, v
C 2 ().
uv
vu =
un v
vn u (2a F
ormula de Green)
Demonstra
c
ao: Para a 1a. f
ormula basta considerar v = v, como j
a foi dito. A 2a.
formula resulta de aplicar a primeira trocando os papeis de u e v e depois subtrair.
8.2
H m (),
ou os espacos de Sobolev
que est
ao munidos de um produto interno semelhante, definido
`a custa das derivadas generalizadas, por exemplo em H 1 () temos
(u, v)1 =
u(x)v(x)dx +
u(x).v(x)dx.
De notar que um dos interesses dos espacos de Sobolev e justamente o facto de se poder
trabalhar com um espaco que tenha produto interno e que seja completo. Com efeito, o espaco
das funcoes contnuas C() e um espaco completo para a norma ||u|| = maxx |u(x)|, mas
esta norma nao resulta de nenhum produto interno.
Por outro lado, se considerarmos o produto
interno definido (como em cima) por (u, v)0 = u(x)v(x)dx verifica-se que n
ao e um espaco
completo para a norma ||u|| = (u, u)0 , j
a que poderemos ter sucess
oes de Cauchy de funcoes
que nao convergem (nessa norma) para nenhuma func
ao contnua... com efeito, acerca do limite dessas funcoes podemos dizer que pertence ainda a L2 (), e e por isso que esse espaco e
considerado preferencialmente.
O mesmo panorama acontece para espacos que considerem normas em que aparecam derivadas.
Uma norma para C 1 () sera ||u||1, = ||u|| + ||u|| , mas mais uma vez n
ao resulta de nenhum produto interno.
Dualidade
3
162
|T (x)|
.
||x||E
|(, x)H |
.
||x||H
Ti (x) = T (
xj ej ) =
xj Ti (ej ) = xi ,
Se n
ao assumirmos que as formas lineares s
ao contnuas trata-se apenas do dual algebrico.
163
8.3
Algumas noco
es em Espacos de Sobolev
Para introduzirmos de forma intuitiva alguns resultados acerca de espacos de Sobolev, comecamos
por relembrar alguns resultados acerca de integrac
ao, acerca de espacos Lp , com especial foco
2
para o espaco L onde esta bem definido o produto interno habitual.
8.3.1
Espacos Lp
Todos estes espacos sao espacos de Banach e se p > 1 o espaco dual de Lp () ser
a Lq (), em
1
1
que p + q = 1.
Exemplo. Seja =]0, 1[, vejamos quais as condic
oes sobre de forma a que a funcao
(x) = x esteja em Lp (]0, 1[).
Para que f Lp e necessario que exista
1
|x |p dx,
0
L2 , pois
1
(x 2 )2
exemplo de funcao
L2 (0, 1)
3x
1
(x 3 )2
-1
-0.5
0.5
-1
-2
-3
164
1
x
n
ao pertence a
j
a e integr
avel. Um
1
se x ] 1, 0.5]
se x ] 0.5, 0[
4x
Figura 8.3.1: Gr
afico da funca
o f (x) =
0
se x = 0
se
x
]0,
1[x = n1
x
1 se x ]0, 1[x = n1
n
Outra nocao importante e a nocao de traco, que no caso unidimensional pode ser encarada
como a nocao de limite `a esquerda e a` direita ponderado com a medida de Lebesgue. Reparamos
que a funcao descrita no grafico, para x = 0.5 tem como limite `
a esquerda 1 e como limite
`a direita 1. No ponto x = 0, nao tem limite nem `
a esquerda, nem `
a direita. Finalmente,
no ponto x = 1 tem dois sublimites. Se considerarmos a sucess
ao xn = n1
n 1, obtemos
lim f (xn ) = 1, mas se considerarmos uma qualquer sucess
ao yn 1 que n
ao tome os valores
n
ao e claro que lim f (yn ) = 1. Qual o traco da func
ao em x = 1? Como o conjunto
n1 ent
{x = n1
}
tem
medida
de
Lebesgue
nula,
o
valor
considerado
e 1. Note-se que pouco importa o
n
valor definido no ponto, o valor de f (1) poderia ser qualquer. O traco da func
ao num ponto
nao e uma nocao localizada num u
nico ponto, mas sim uma noc
ao que pretende determinar o
valor com significado (relativamente `
a medida) nesse ponto face `
a sua vizinhanca.
p
As funcoes L podem nem ter traco, como e o caso de f no ponto x = 0. Sabemos que
f (0) = 0, mas os tracos, `a esquerda ou `
a direita n
ao est
ao definidos, pois a func
ao tende para
`a esquerda e para + `a direita.
8.3.2
O espaco H 1 (a, b)
165
|u| +
2
|u |
1/2
Exemplos.
1) Vejamos agora para que valores de a func
ao (x) = x pertence a H 1 (0, 1). J
a vimos
1
2
1
e uma func
ao, ent
ao conclumos que
que se > 2 a funcao L (0, 1). Como (x) = x
L2 (0, 1) se = 0 ou 1 > 12 . Portanto temos H 1 (0, 1) se > 21 ou = 0.
2) A funcao de Heaviside nao pertence a H 1 (0, 1) porque a sua derivada e o delta de Dirac
que nao pode ser identificado a nenhuma func
ao.
Proposi
c
ao. As funcoes de H 1 (a, b) s
ao contnuas.
Demonstraca
o.
Consideremos dois pontos x, y (a, b), u L2 (x, y) L1 (x, y). Aplicando a desigualdade
de Cauchy-Schwarz
y
y
2
2
|u(y) u(x)| = |
u (t)dt| |x y|
|u (t)|2 dt |x y| ||u||21 ,
x
Observaca
o. Note-se que ao dizer que as func
oes de H 1 (a, b) s
ao contnuas, isto significa
apenas que existe um representante contnuo na classe de equivalencia a que a func
ao pertence
(classe que engloba as funcoes iguais a menos de conjuntos de medida nula). Por exemplo, a
funcao definida em ] 1, 1[ por
|x|3/4 se x = n1
n
f (x) =
1 se x = n1
n
pertence a H 1 (1, 1) e e descontnua, mas pode ser identificada com a func
ao contnua f(x) =
n1
3/4
|x| a menos do conjunto de medida nula { n : n N}. Mais uma vez, o traco de f em x = 1
seria 1 e nao 1.
1
0.75
0.5
0.25
-1
-0.5
0.5
-0.25
-0.5
-0.75
-1
Figura 8.3.2: Gr
afico de f(x).
Ja uma funcao que apresentasse uma descontinuidade com um salto (tal como a funcao de
Heaviside) e nao apenas em pontos isolados, nunca poderia pertencer a H 1 , pelo simples facto
de nao ser possvel encontrar uma func
ao contnua cuja a u
nica diferenca se traduzisse num
conjunto de medida nula.
Reforcamos esta ideia, com um exemplo de aplicac
ao da f
ormula de Barrow para funcoes
descontnuas. Considerando ainda f definida anteriormente, e admitindo que f (1) = 1, f (1) =
1, temos f (1) f (1) = 2 e por outro lado
1
0
1
3
3 1/4
1/4
3/4 x=1
f (x)dx =
( (x)
)+
x
= [(x)3/4 ]x=0
]x=0 = 0.
x=1 + [x
4
4
1
1
0
Sera que esta diferenca de valores significa que a f
ormula n
ao e v
alida? A f
ormula e v
alida, mas
e preciso interpretar correctamente os valores. Assim, se escrevermos
1
f (x)dx = f (1) f (1)
1
167
Outra notacao possvel e usar f para o traco de f. Na maior parte das vezes, em que se pode
claro que este tipo de
depreender o significado pelo contexto, estas notac
oes nao s
ao usadas. E
problemas apenas acontece quando se consideram func
oes n
ao contnuas, j
a que para funcoes
contnuas o traco e dado pelo proprio valor no ponto, n
ao havendo qualquer confus
ao.
8.3.3
O espaco H 1 () com Rd
|u|2 +
|u|2
1/2
Exemplo. Vejamos agora para que expoentes , a func
ao |x| = ( x21 + x22 ) e uma funcao
de H 1 (B(0, 1)) em que B(0, 1) e a bola de centro em zero e raio unit
ario. Para que |x| esteja
2
em L (B(0, 1)) sera necessario que exista o integral
2 1
1
2
2
(|x| ) dx =
r r drd = 2
r2+1 r dr,
B(0,1)
usando uma mudanca de variaveis para coordenadas polares (r, ). Conclui-se assim que devemos
exigir que 2 + 1 > 1,ou seja, > 1. Por outro lado, como o gradiente e dado por
|x| =
x 1
|x|
= x|x|2
|x|
B(0, 1e )
| log |x|| dx = 2
1
e
| log(r)|2 r dr,
+
1
x
| log |x||1 .
|x|2
u(x) =
+
obtendo-se um integral 1 s22 ds. Este integral existe se 2 2 < 1 < 12 .
Conclumos assim que se < 12 a func
ao u H 1 (B(0, 1e )) e no entanto e bem claro que u
nao e contnua no ponto x = 0. Como a func
ao tende para infinito nesse ponto, n
ao h
a qualquer
funcao contnua que possa ser o representante da sua classe.
O traco de uma funca
o H 1 ().
Este exemplo e igualmente interessante para avaliarmos qual a regularidade do traco de uma
tal funcao.
Com efeito, suponhamos que = B(0, 1e ) {x : x2 > 0}. Na parte da fronteira =
] 1e , 1e [{0} a funcao u esta definida por u(x1 , 0) = | log |x1 | | , que e ainda uma funcao
descontnua, e portanto nao pertence a H 1 ( 1e , 1e ).
Curiosamente reparamos que | log |x1 | | e uma func
ao de L2 ( 1e , 1e ) para quaisquer valores
de , pois
+
1
e
2
| log |t|| dt =
s2 es ds,
0
2.5
2.25
2
0.5
1.75
2
1.5
1.5
1
0.5
1.25
-0.5
0
0.2
0.4
0.6
8.3.4
169
com || = 1 + ... + d .
Estes espacos W m,p () sao espacos de Banach para a norma
||u||m,p, = (
|| u||p0,p, )1/p ,
||m
< u, v >L2 () ,
||m
notando que neste caso a norma se escreve simplesmente ||u||m, = < u, u >m, .
Um espaco que nos ira interessar especialmente e H 1 () = W 1,2 () de que j
a fal
amos.
Introduzimos tambem as semi-normas (i.e. verificam as propriedades de norma, excepto
||u|| = 0 u = 0),
|u|m,p, = ( ||=m || u||p0,p, )1/p ,
|u|m,, = max||=m || u||0,, .
e e claro que |u|m,p, ||u||m,p, .
Observa
c
ao: Podemos definir os espacos de Sobolev usando a transformac
ao de Fourier
1
F(u)() = u
() =
u(x)eix. dx.
(2)d/2 Rd
Esta aplicacao esta bem definida para func
oes integr
aveis, ie. u L1 (Rd ), e tambem no espaco
5
d
de distribuicoes temperadas S(R ) . A transformada de Fourier e uma isometria em L2 (Rd ),
ou seja (igualdade de Plancherel)
||u||L2 (Rd ) = ||
u||L2 (Rd ) .
5
170
e da u
ltima relacao resulta u(p) = F 1 ((i)p u
)... assim, como faz mesmo sentido considerar
(i)p para p real (ou complexo) podemos falar em derivac
ao cuja ordem n
ao e um n
umero
6
natural !
Assim, podemos definir espacos de Sobolev fraccion
arios em Rd , para um s > 0 qualquer:
H s (Rd ) = {u S(Rd ) : (1 + ||2 )s/2 u
L2 (Rd )}
em que a norma e
||u||H s = ||(1 + ||2 )s/2 u
||L2 .
A partir desta definicao de espacos H s (Rd ) podemos definir de maneira alternativa os espacos
H0s () = {v H s (Rd ) : supp v }
e que se identifica com o fecho de Cc () em H s (Rd ), e
H s () = {v| : v H s (Rd )},
ou seja, s
ao funcoes para as quais existe uma extens
ao que est
a em H s (Rd ).
Defini
c
ao 8.3.1 O espaco H01 () e o fecho das funco
es Cc () na norma H 1 (). Da mesma
m
forma, os espacos H0 () s
ao o fecho das funco
es Cc () na norma H m ().
8.3.5
e definir o
funcoes Cc (). Faz agora sentido considerar a restric
ao a das func
oes Cc (),
1
traco de uma funcao H () atraves do limite. Isto e possvel devido ao teorema do traco que
=R
d+ .
pode ser estabelecido em
6
171
Teorema 8.3.1 (do Traco). Seja e uma fronteira de classe C 1 . O operador de restrica
o
: Cc () L2 ()
u
'
u|
pode ser prolongado como operador contnuo (designado traco)
: H 1 () L2 ().
Na realidade, isto permite mesmo definir o espaco de Sobolev H 1/2 () como sendo o espaco
das funcoes que sao tracos de funcoes H 1 () em , ou seja,
H 1/2 () = {v : v H 1 ()}.
Esta definicao e consistente mesmo com a definic
ao de espacos de Sobolev fraccion
arios,
atraves do seguinte resultado, que e enunciado para tracos de func
oes (caso = 0) e para tracos
das suas derivadas (caso = 0).
Teorema 8.3.2 Seja m > + 1/2. Os operadores de traco
d+ ) H m1/2 (Rd1 )
: Cc (R
u
'
d u
podem ser prolongados como operadores contnuos
: H m (Rd+ ) H m1/2 (Rd1 )
Desta forma, atraves de cartas locais, que levam da fronteira para o hiperplano, podemos
obter um resultado mais geral, aplicado a outro tipo de tracos definidos atraves das derivadas
segundo a direccao normal `a fronteira. Por exemplo, o traco normal e definido pela derivada
normal n u, e outros tracos de ordem superior s
ao obtidos considerando as derivadas n u.
Corol
ario 8.3.1 Se a fronteira de for de classe C +1 , os operadores de traco
(u) = n u
podem ser prolongados como operadores contnuos (para m 1/2 > 0)
: H m () H m1/2 ().
Por exemplo, se tivermos uma func
ao u H 2 (), ent
ao conclumos que o seu traco esta em
e o seu traco normal esta em H 1/2 ().
Nos espacos H m1/2 () pode definir-se a norma
H 3/2 ()
||u||H m1/2 () =
inf
vH m ()
0 v=u
||v||H m () .
8.3.6
m
funcoes Cc (), na realidade basta encarar os elementos de H () como funcionais Cc ()
R contnuos para a topologia de H m (). Ou seja, tratam-se de distribuic
oes contnuas para a
topologia de H m ().
A norma definida em H s () e dada por
||u||H s () =
| < u, v > |
,
vH s () ||v||H s ()
sup
em que < u, v > nao representa um produto interno, mas sim a dualidade H s () H s ().
Um espaco de Sobolev negativo que consideramos frequentemente e H 1/2 (), j
a que os
tracos de funcoes H 1 () sao funcoes H 1/2 (), mas os tracos normais podem n
ao ser funcoes,
sao distribuicoes em H 1/2 ().
Com efeito, podemos considerar o exemplo da func
ao u(x) = | log |x|| , com < 0.5, e
os seus tracos sobre a fronteira = {0} [1, 1]. J
a vimos que esta func
ao tem traco nao
contnuo. Sabemos agora que est
a em H 1/2 () e portanto podemos concluir que o espaco
H 1/2 () inclui funcoes nao contnuas (o que n
ao acontece com o espaco H 1 () que tem apenas
funcoes contnuas). No entanto ao calcular a derivada normal,
n u =
x1
8.3.7
Apresentamos de novo a formula de Green, mas no contexto dos espacos de Sobolev, pondo em
evidencia os espacos funcionais
Teorema 8.3.4 (F
ormula de Green) Seja u, v H 1 (), aberto limitado com fronteira seccionalmente de classe C 1 .
vu =
uvn
uv
Observaca
o: As injeccoes sao contnuas e compactas (se a desigualdade for estrita). A segunda
injeccao pode ser vista como um caso limite da primeira, j
a que q leva-nos ao espaco
W r, () o que significa que estamos a considerar que as derivadas ate `
a ordem r s
ao limitadas
pela norma do maximo... essa e exactamente a norma considerada no caso das func
oes C r .
No caso (p = 2) dos espacos de Sobolev H s (), que nos interessa, o primeiro resultado diz
apenas que H s () H r (), com injecc
ao contnua (e compacta) se s > r. Do segundo resultado
podemos concluir que:
Em dimensao 1, se s > m + 1/2 ent
ao H s () C m (). Em particular, vemos que o caso das
1/2
funcoes H () nao serem contnuas e mesmo o caso limite... uma func
ao que seja H 1/2+ ()
ja seria contnua, para > 0.
Em dimensao 2, se s > m + 1 ent
ao H s () C m (). Portanto tambem aqui o caso das
1
funcoes H () que nao sao contnuas e um caso limite... uma func
ao H 1+ () ser
a contnua,
para > 0.
7
174
Captulo 9
Exerccios
9.1
Diferencas finitas
4
1
(ui+1,j + ui1,j + ui,j+1 + ui,j1 ) (ui+2,j + ui2,j + ui,j+2 + ui,j2 )
15
60
1
1
(B) uij = (ui+1,j + ui1,j + ui,j+1 + ui,j1 ) + (ui+1,j+1 + ui1,j+1 + ui+1,j1 + ui1,j1 )
5
20
(A): Mol
ecula em Grande Cruz
(B): Mol
ecula em Quadrado
uij +
10 ui+1,j + 01 ui,j+1 + 10 ui1,j + 01 ui,j1 00 uij
10
=
+
2
2
+
, 10 =
+
,
h+
h+
x (hx +hx )
y (hy +hy )
2
2
+
, 01 =
+
,
h
h
x (hx +hx )
y (hy +hy )
00 = h+2h + h+2h ,
x x
y y
em que h+
x = ui+1,j uij , hx = uij ui1,j , hy = ui,j+1 uij , hy = uij ui,j1 .
175
(Estas formulas sao muitas vezes utilizadas para efectuar uma aproximac
ao de forma a
considerar os pontos na fronteira).
+ +
a) Mostre que o erro local e O(h) em que h = max{h
x , hx , hy , hy }.
b) Mostre que o princpio do m
aximo discreto e ainda v
alido.
3 a). Mostre que no caso tridimensional a aproximac
ao da equac
ao de Laplace por um
esquema de 7 pontos,
1
uijm = (ui+1,jm + ui,j+1,jm + uij,m+1 + ui1,jm + ui,j1,jm + uij,m1 )
6
envolve um erro local da ordem O(h2 ).
b) Deduza uma aproximacao para a resoluc
ao do problema de Neumann de forma a que se
mantenha um erro local da ordem O(h2 )
4. Considere a equacao diferencial
u u = f
em que > 0 e uma constante e f 0 e uma func
ao contnua.
a) Deduza a expressao para um metodo de diferencas finitas que envolva uma aproximacao
local de ordem O(h2 ).
b) Deduza uma aproximacao para a resoluc
ao do problema de Neumann de forma a que se
mantenha um erro local da ordem O(h2 ).
c) Mostre que o problema de Dirichlet discreto associado `
a equac
ao est
a bem posto.
d) Mostre que a matriz associada `
a resoluc
ao do problema de Dirichlet tem a diagonal
estritamente dominante. Conclua acerca da utilizac
ao de metodos iterativos para a resolucao
do sistema. Explicite um algoritmo para essa resoluc
ao.
5. Considere a aproximacao discreta cl
assica do laplaciano,
ij = ui+1,j 2uij + ui1,j + ui,j+1 2uij + ui,j1
u
h2
h2
e da mesma forma considere as aproximac
oes
ui+1,j uij
ui1,j ui,j
n ui+1,j =
, n ui1,j =
.
h
h
a) Verifique que
ij = 1 (n ui+1,j + n ui1,j + n ui,j+1 + n ui,j1 )
u
h
b) Generalize o resultado anterior, de forma obter o an
alogo discreto do teorema de Green,
(i,j)
ij = 1
u
h
(i,j)
176
n uij .
6. Considere a equacao de Laplace num quadrado ]1, 1[]1, 1[, com condic
ao de fronteira
mista
n u = u sobre =] 1, 1[{1}
(em e uma constante) e condicao de Dirichlet na restante parte da fronteira, ie. \.
a) Deduza uma formula de aproximac
ao local de segunda ordem num ponto da fronteira .
b) Escreva um algoritmo que permita a implementac
ao do metodo usando tambem a f
ormula
obtida em a).
7. Seja =] 1, 1[]0, 1[. Considere a aproximac
ao do laplaciano,
ij = ui+1,j 2uij + ui1,j + ui,j+2 2ui,j+1 + ui,j
u
h2
h2
a) Use esta aproximacao para escrever um algoritmo adequado para aproximar um problema
de Dirichlet-Neumann, em que os dados de Neumann est
ao colocados sobre a fronteira =
] 1, 1[{0}.
b) Atraves da separacao de vari
aveis, indique uma func
ao que verifique as condic
oes
u = 0, n u =
1
cos(ax) sobre .
a
c) Sendo xk = kh, yk = kh, e considerando n u00 2 u01 u00 verifique que o esquema
numerico da u0,2 = 2h/a e comente a diferenca com o valor u(0, 2h) = a1 sinh(2ah) quando
a .
8. Considere o esquema do quadrado
1
1
uij = (ui+1,j + ui1,j + ui,j+1 + ui,j1 ) + (ui+1,j+1 + ui1,j+1 + ui+1,j1 + ui1,j1 )
5
20
para aproximar a solucao da equacao de Laplace,
u = 0
em =]0, 3[]0, 3[
u(x, y) = g(x, y) = x(3 y)
sobre
a) Explicite os sistemas a resolver para o problema de Dirichlet, usando o esquema anterior
e o esquema classico, considerando uma grelha com 4 pontos interiores equidistantes:
g12
g11
g10
g9
g1
u1
u3
g8
g2
u2
u4
g7
177
g3
g4
g5
g6
1
1/5 1/5 1/20
u1
0
0
1/5
1
1/20 1/5
1
1/4 1/4
0
u1
1/4
1
0
1/4 u2
1/4
0
1
1/4 u3
0
1/4 1/4
1
u4
0
3/4
=
3/4 .
3
1
1/5 1/5 1/20
1
3/5
1/5
1
1/20 1/5
4 = 21/10
Au =
1/5 1/20
1
1/5 2 0
1/20 1/5 1/5
1
8
27/4
o que e bastante diferente do segundo membro que se obtem b = {0, 27/10, 6/5, 159/20}.
ii) Semelhante. Obtemos {u1 , ..., u4 } = {1, 16, 2, 32} e o segundo membro fica
Au = {21/5, 93/10, 27/5, 567/20} =
b = {0, 243/10, 3, 1167/20}.
Situacao analoga no caso do metodo cl
assico:
i) Au = {1/2, 7/4, 1/4, 13/2} =
b = {0, 9/4, 3/4, 15/2}
ii) Au = {7/2, 31/4, 25/4, 55/2} = b = {0, 81/4, 3/4, 105/2}
9. Considere a separacao de vari
aveis discreta
uij = vi wj .
Sabemos que a solucao de uma equac
ao `
as diferencas
ak+1 + 2B ak + ak1 = 0
178
ij = 0, se 2.
sao soluc
oes de u
b) Considere a aproxima
xcao por diferencas finitas no intervalo [0, 21] [0, 21] com dados de
Dirichlet u(x, y) = (3 + 8) cos(y), usando h = 1. Mostre que a soluc
ao do problema discreto
e dada por
i
uij = 3 + 8 (1)j .
Resolu
c
ao
a) Temos
e com 2 = 1 + ,
i
2
vi = A1 (1 + 1 1) + A2 (1 21 1)i ,
wj = B1 (2 +
Em particular, temos
22 1)j + B2 (2 22 1)j .
i
uij = 1 + + (1 + )2 1 (1 + (1 )2 1)j
1
1
+ ) + )uij = 0
a2 b2
donde sai
= 2(
1
1
+ 2)
2
a
b
2 1
1
) + ( )2
( 2 + 2)
2a
2b
4 a
b
e razoavel, ja que a diferenca entre 4 2.46 (o valor exacto) e 2 (o valor aproximado) e bastante
aceitavel se atendermos a que fizemos um aproximac
ao muito grosseira.
180
9.2
Elementos Finitos
.
1. Seja b(u, v) uma forma bilinear nas condic
oes do Teorema de Lax-Milgram.
a) Mostre que se a forma bilinear for simetrica se pode obter a estimativa
M
||u uh ||
inf ||u vh ||.
vh Vh
b) Suponha que W e denso em V e que est
a definida uma aplicac
ao Rh : W Vh tal que
lim ||v Rh (v)|| = 0, v W.
h0
A propriedade ||v||m+1, = || ||v||m+1, e imediata pois inf qPm ||vq||m+1, = inf pPm ||v
p||m+1, , fazendo p = q/ Pm .
A desigualdade triangular resulta considerar sucess
oes de polin
omios qn e pn tais que
||v qn ||m+1, ||v||m+1, , ||w pn ||m+1, ||w||m+1,
e assim,
||v+w||m+1, ||v+wqn pn ||m+1, ||vqn ||m+1, +||wpn ||m+1, ||v||m+1, +||w||m+1, .
A completude do espaco nesta norma resulta da completude de H m+1 ().
3. Seja u(x) = |x|p . Discuta os valores de s em func
ao de p, que verificam u H s (1, 1).
Considere tambem o caso bidimensional.
4. Mostre que se os elementos finitos s
ao equivalentes afins a um elemento de referencia,
basta verificar a propriedade de unissolvencia para esse elemento.
5. a) Indique as variaveis nodais para o elemento de Lagrange rectangular de grau-m
aximo
1 considerando o elemento de referencia. Explicite qual o sistema a resolver para se obter a base
dual de polinomios. Verifique a propriedade de unisolvencia.
b) O mesmo que em a) para o elemento de Lagrange rectangular de grau-m
aximo 2.
1
181
f v.
184
ou seja
|b(u, u)| ||u||21, ,
em que = min{1, a, } > 0 e assim fica estabelecida a coercividade em H 1 () e consequentemente em H01 ().
No caso em que = 0,
2
2
2
|b(u, u)| = (x u) +
a(y u) min{1, a}( (x u) + (y u)2 ),
ou seja,
|b(u, u)| |u|21, ,
em que = min{1, a}.
ii) Vejamos que se trata de uma forma contnua em H01 ().
Basta reparar que aplicando a desigualdade de Cauchy-Schwarz temos
|b(u, v)| | x ux v| + a| y uy v| + | u v|
||x u||L2 ||x v||L2 + a||y u||L2 ||y v||L2 + ||u||L2 ||v||L2
e utilizando a desigualdade de Poincare ||u||L2 C||u||L2 , portanto
|b(u, v)| (1 + a + )||u||L2 ||v||L2 = (1 + a + )|u|1, |v|1, .
Estamos assim nas condicoes do teorema de Lax-Milgram em H01 (), podendo-se garantir a
existencia e unicidade de solucao do problema em H01 () desde que f (H01 ()) = H 1 ().
c) Resulta da estimativa (6.16), considerando m = 3, dado que se tratam de polin
omios
c
ubicos. O facto de se assumir que u H 4 () garante que |u|4, existe.
185
triangulo de referencia E.
d) Sabendo que e um polinomio de grau q, qual o grau da f
ormula de quadratura que
permite obter valores exactos na matriz? Justifique.
e) Deduza a estimativa de erro para ||u uh ||0, usando elementos finitos de Lagrange lineares. Se utilizarmos elementos de Lagrange quadr
aticos podemos garantir a priori a estimativa
de erro ||u uh ||1, = O(h2 ) ? Justifique.
Resolu
c
ao:
a) Multiplicando por uma funcao teste v e integrando,
div((x)u(x))v(x) + u(x)v(x)dx =
f (x)v(x)dx
fv.
186
em que m = min{B, 1}, sendo inf x (x) = B > 0, assumimos que e contnua e positiva em
.
(ii) Continuidade em H01 ().
Aplicando a desigualdade de Cauchy-Schwarz
|b(u, v)| | (x)u.v| + | uv| M ||u||0, ||v||0, + ||u||0, ||v||0,
em que x = F (
x) = A
x + b e aplicar uma f
ormula de quadratura,
b(i , j ) =
M
m=1
w
m (F (
xm ))Kij | det A| +
187
M
m=1
w
m 1 (
zm )2 (
zm )| det A|,
em que w
m sao os pesos e zm os pontos de Gauss no tri
angulo de referencia.
Considerando por exemplo 1 (x, y) = x e 2 (x, y) = y e a f
ormula de Gauss com os 3 pontos
medios (correcta para polinomios de grau 2) obtemos:
3
3
1
1
b(i , j ) =
(F (
xm , ym ))Kij | det A| +
x
m ym | det A|.
6
6
m=1
m=1
no entanto, como f
/ H 1 (), nao garantimos que u H 3 (), e a norma ||u||3, n
ao e majorada
por uma constante e esta estimativa n
ao se pode aplicar a priori. Assim sendo, n
ao podemos
2
garantir que ||u uh ||1, Ch .
18. Considere elementos finitos triangulares definidos num triangulo de referencia pelos
6 nos {(0, 0), (1, 0), (0, 1), ( 31 , 13 ), ( 14 , 14 ), ( 16 , 16 )}, em que as vari
aveis nodais est
ao definidas com
1 1
condicoes sobre a funcao nos nos {(0, 0), (1, 0), (0, 1), ( 4 , 4 )} e sobre a func
ao e as derivadas nos
nos {( 31 , 13 ), ( 16 , 61 )}.
a) Explicite as variaveis nodais e o sistema que permite obter a base de polin
omios dual.
b) O sistema tem solucao u
nica? Justifique.
19. Considere o seguinte problema. A deflex
ao de uma barra e dada pela equac
ao diferencial
ordinaria de quarta ordem
d2
d2 w
c(x) 2 (x) = f (x)
dx2
dx
188
dw
dx (a) = 0
dw
dx (b) = 0
189
Index
Coeficientes de Lame, 47
Condicao
de Courant-Friedrichs-Lewy (CFL), 76
de Dirichlet, 8
de Neumann, 8
de Robin, 8
Consistencia de um esquema, 62
Convergencia de um esquema, 62
Coordenadas
baricentricas, 120
polares, 24
Criterio de Von Neumann, 59, 61
Delta de Dirac, 10
Derivada de Frechet, 87
Desigualdade
de Korn, 156
de Poincare, 96
Diferencas
Centradas (Primeira Ordem), 14
Centradas (Segunda Ordem), 15
Progressivas, 13
Regressivas, 13
Dirac (delta de), 81
Elemento Finito
curvilneo, 138
de Argyris, 115
de Clough-Tocher, 116
de Hermite C
ubico, 113
de Lagrange C
ubico, 112
de Lagrange Linear, 110
de Lagrange Quadratico, 111
definicao de Ciarlet, 109
Paralelotopo (caso 3D), 118
Rectangular, 116
Serendipity, 117
Simplicial (caso 3D), 117
Equacao
das Ondas, 9
de Black-Scholes, 9
de Laplace, 20
de Poisson, 7
de Schrodinger, 9
de Stokes, 49
do Calor, 9, 54
Equivalentes afins (elementos finitos), 118
Espacos de Sobolev, 169
Esquema
Crank-Nicolson, 66
de Lax (Ondas), 76
Explcito (Calor), 57
Explcito Instavel (Ondas), 74
Implcito (Calor), 63
Implcito (Ondas), 75
Implcitos (Calor), 65
Lax-Wendroff (Ondas), 78
Leap-Frog (Ondas), 78
Semi-Implcito (Ondas), 75
Estabilidade de um esquema, 61
Forma bilinear
coerciva, 86
contnua, 86
F
ormula
de Green, 162, 174
de integrac
ao por partes, 161
de Quadratura de Gauss, 139
para o quadrado, 140
para o tri
angulo, 141
Formulac
ao variacional, 85
Func
ao
Biharm
onica, 46
cut-off, 91
de Heaviside, 165
Harm
onica, 7
sub-harm
onica, 28
190
forte, 91
fraca, 91
Operador
Bilaplaciano, 46
de dAlembert, 9
de Difusao, 8
de Laplace, 7
de Traco, 172
Eliptico, 19
Parametro de degenerescencia, 107
Princpio
do Maximo/Mnimo, 27, 28
do m
aximo discreto, 34
do Valor Medio, 28
Problema
de Cauchy, 29
de Dirichlet, 26
de Dirichlet-Neumann, 26
de Neumann, 27
Problemas
Exteriores, 7
Interiores, 7
Solucao
classica, 91
191
Bibliografia
[1] Alves C.J.S., Fundamentos de An
alise Numerica I. Secc
ao de Folhas AEIST, 1999.
[2] Atkinson K., An Introduction to Numerical Analysis (2nd. ed.). Wiley Intersc. Publ., New
York, 1989.
[3] Brenner S. C. & Scott L. R., The Mathematical Theory of Finite Element Method. SpringerVerlag, New York, 1994.
[4] Brezis, H., Analyse Fonctionelle, Theorie et applications. Masson, Paris, 1983.
[5] Ciarlet P. G., Numerical Analysis of the Finite Element Method. North-Holland, New York,
1988.
[6] Chen G. & Zhou J., Boundary Element Methods. Academic Press, London, 1992.
[7] Evans, L. C., Partial Differential Equations. American Mathematical Society, Providence,
1998.
[8] Egorov Y. V. & Shubin M. A., Foundations of the Classical Theory of Partial Differential
Equations. Springer-Verlag, Berlin, 1988.
[9] Girault V. & Raviart P. A., Finite Element Methods for Navier-Stokes Equations, Theory
and Algorithms. Springer-Verlag, Berlin, 1986.
[10] Isaacson E. & Keller H. B., Analysis of Numerical Methods. Wiley Intersc. Publ., 1966.
[11] Johnson C., Numerical solution of partial differential equations by the finite element method.
Studentlitteratur, Lund, 1987.
[12] Lapidus L. & Pinder G. F., Numerical Solution of Partial Differential Equations in Science
and Engineering. Wiley Intersc. Publ., New York, 1999.
[13] Oden J. T. & Reddy J. N., An Introduction to the Mathematical Theory of Finite Elements.
Wiley Intersc. Publ., , New York, 1976.
[14] Quarteroni A. & Valli A., Numerical Approximation of Partial Differential Equations.
Springer-Verlag, New York, 1997.
[15] Raviart P. A. & Thomas J. M., Introduction a
` lAnalyse Numerique des Equations aux
Derivees Partielles. Dunod, Paris, 1998.
192
[16] Reddy J. N., An Introduction to the Finite Element Method (2nd. ed.). McGraw-Hill, New
York, 1993.
[17] Sansaulieu, L., Calcul Scientifique. Dunod, Paris, 2000.
[18] Zeidler E., Applied Functional Analysis (I). Springer-Verlag, New York, 1998.
193