Ea 000344

UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL
INSTITUTO DE MATEM
ATICA
PROGRAMA DE P
OS-GRADUAC

AO EM MATEM
ATICA APLICADA
Analise de Erros de Metodos Discretos
para Problemas de Contorno em Malhas
Arbitrarias
por
Greice da Silva Lorenzzetti
Dissertacao submetida como requisito parcial
para a obtenc ao do grau de
Mestre em Matematica Aplicada
Prof. Dr. Paulo Ricardo de

Avila Zingano
Orientador
Profa. Dra. Janana Pires Zingano
Co-orientadora
Porto Alegre, 9 de junho de 2008.
ii
CIP - CATALOGAC

AO NA PUBLICAC

AO
Lorenzzetti, Greice da Silva
Analise de Erros de Metodos Discretos para Proble-
mas de Contorno em Malhas Arbitrarias / Greice da Silva
Lorenzzetti.Porto Alegre: PPGMAp da UFRGS, 2008.
117 p.: il.
Dissertacao (mestrado) Universidade Federal do Rio
Grande do Sul, Programa de Pos-Graduac ao em Matematica
Aplicada, Porto Alegre, 2008.
Orientador: Zingano, Paulo Ricardo de

Avila; Co-
orientadora: Zingano, Janana Pires
Dissertac ao: Matematica Aplicada
malhas arbitrarias, analise de erros, metodos discretos
iii
Analise de Erros de Metodos Discretos
para Problemas de Contorno em Malhas
Arbitrarias
por
Greice da Silva Lorenzzetti
Dissertac ao submetida ao Programa de Pos-Graduac ao em
Matematica Aplicada do Instituto de Matematica da Universidade
Federal do Rio Grande do Sul, como requisito parcial para a
obtencao do grau de
Mestre em Matematica Aplicada
Linha de Pesquisa: Analise Numerica
Orientador: Prof. Dr. Paulo Ricardo de

Avila Zingano
Co-orientadora: Profa. Dra. Janana Pires Zingano
Banca examinadora:
Prof. Dr.

Alvaro Luiz de Bortoli
PPGMAp/IM/UFRGS-RS
Prof. Dr. Leonardo Prange Bonorino
PPGMAT/IM/UFRGS-RS
Prof. Dr. Oclide Jose Dotto
DEME/CCET/UCS-RS
Dissertac ao apresentada e aprovada em
9 de junho de 2008.
Profa. Dra. Maria Cristina Varriale
Coordenadora
iv
AGRADECIMENTOS
Agradeco a todas as pessoas que estiveram presentes comigo e zeram parte
tao construtivamente desta etapa, acompanhando, direta ou indiretamente, todo o
processo de obtenc ao do grau de Mestre em Matematica Aplicada.
A Deus por ter posto em meu caminho professores maravilhosos, desde minha
infancia e adolescencia, com os quais despertei o gosto pela Matematica e aprendi,
principalmente, a ser persistente, dedicada e a acreditar em meus sonhos.
No Curso de Licenciatura Plena em Matematica da UCS, convivi com pro-
fessores exemplares, com os quais descobri um novo mundo. A Matematica que
naquela ocasiao conheci, tornou meus dias mais coloridos e mais cheios de vida. Foi
onde deliciei-me com os diferentes sabores da Matematica e da Fsica. Estes profes-
sores estarao sempre guardados em meu coracao por me terem propiciado momentos
inesquecveis, nao so de aprendizados cientcos, mas tambem de companheirismo,
incentivo e, principalmente, amizade.
Agradeco em especial aos sabios e respeitados conselhos do professor Dr. Oclide
Jose Dotto da UCS que, alem de meu grande professor e orientador de iniciacao
cientca na graduac ao, foi, e sempre sera, um grande amigo que incentivou e torceu
pelo meu desenvolvimento durante o Curso de Mestrado em Matematica Aplicada
do PPGMAp da UFRGS.
Aos excelentes professores da UFRGS que me acompanharam nesta etapa de
preenchimento de lacunas, de crescimento intelectual e, principalmente, crescimento
pessoal. Aos professores Doutores Jacques Aveline Loureiro da Silva, Leandro Farina
v
e Manuela Longoni de Castro, que sempre demonstraram-se dispostos a colaborar
em minha caminhada. Aos professores Doutores Paulo Ricardo de

Avila Zingano
e Janana Pires Zingano que estiveram efetivamente presentes na realizac ao deste
trabalho, com suas contribuic oes sabias e indispensaveis.
Por m, aos pilares da minha vida, a famlia maravilhosa que, apesar da
distancia nestes dois anos de curso, esteve constantemente presente em meus pen-
samentos e em meu corac ao. Tenho apenas motivos para agradecer pela forma
com que meus pais, Valdivino Pedro Lorenzzetti e Maria Leda da Silva Lorenzzetti,
cuidaram, criaram e amaram minha irma Priscila da Silva Lorenzzetti e eu. Estes
sao tres exemplos de vida que sempre lutaram pelos seus sonhos, pensando na feli-
cidade de nossa famlia.
Deus presenteou-me com uma famlia linda, professores magncos e compe-
tentes, amigos e colegas com quem estudei incont aveis horas diarias e, para com-
pletar tamanha felicidade, colocou-me ao encontro do meu amor, Andre Augusto
Andreis, que sempre foi amoroso, compreensvel com meus estudos e incentivador
em minha caminhada.
Obrigada a todas estas pessoas que me acompanharam ate aqui.
Obrigada de coracao.
vi
Conte udo
AGRADECIMENTOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . iv
LISTA DE FIGURAS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . viii
LISTA DE SIGLAS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . xi
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . xii
ABSTRACT . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . xiii
1 INTRODUC

AO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
2 M
ETODO MIM
ETICO DE SEGUNDA ORDEM - MIM02 . . . 6

2.1 Introducao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.2 Analise dos Erros de Solucao e de Derivada de Primeira Ordem
para q(x) = 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
para q(x) 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.4 Analise do Erro da Derivada de Segunda Ordem . . . . . . . . 32
2.5 Resultados Numericos . . . . . . . . . . . . . . . . . . . . . . . . . 40
3 M
ETODO DE ELEMENTOS FINITOS DE SEGUNDA ORDEM

- FEM02 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
3.1 Introducao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
para q(x) = 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
para q(x) 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
3.4 Analise do Erro da Derivada de Segunda Ordem . . . . . . . . 81
3.5 Resultados Numericos . . . . . . . . . . . . . . . . . . . . . . . . . 86
4 CONSIDERAC

OES FINAIS . . . . . . . . . . . . . . . . . . . . . . 97
vii
BIBLIOGRAFIA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
viii
Lista de Figuras
Figura 1 - Malha com os nodos x
i
, centro das celulas x
i
1
2
e comprimentos
L
i
1
2
e h
i
.
Figura 2a - Representacao graca do erro de soluc ao decorrente do MIM02 para
o problema de Sturm-Liouville com condic oes de contorno de Dirichlet-Dirichlet.
Figura 2b - Representac ao graca dos erros de solucao e derivada de primeira
ordem decorrentes do MIM02 para o problema de Sturm-Liouville com condicoes de
contorno de Dirichlet-Dirichlet.
Figura 2c - Representacao graca dos erros de derivada de primeira e segunda
ordens decorrentes do MIM02 para o problema de Sturm-Liouville com condicoes
de contorno de Dirichlet-Dirichlet.
Figura 3a - Representacao graca do erro de soluc ao decorrente do MIM02 para
o problema de Sturm-Liouville com condic oes de contorno de Dirichlet-Neumann.
Figura 3b - Representa cao graca dos erros de derivada de primeira e segunda
de contorno de Dirichlet-Neumann.
Figura 4a - Representac ao graca do erro de solucao decorrente do MIM02
para o problema de Sturm-Liouville com condic oes de contorno de Dirichlet-Robin.
de contorno de Dirichlet-Robin.
Figura 5a - Representac ao graca do erro de solucao decorrente do MIM02
para o problema de Sturm-Liouville com condic oes de contorno de Neumann-Robin.
de contorno de Neumann-Robin.
Figura 6a - Representacao graca dos erros de soluc ao e de derivada de primeira
e segunda ordens decorrentes do MIM02 para o problema de Sturm-Liouville com
condic oes de contorno de Robin-Robin.
de contorno de Robin-Robin.
Figura 7 - Func oes de base
0
, ...,
i
, ...,
N
.
ix
Figura 8a - Representac ao graca do erro de solucao decorrente do FEM02 para
o problema de Sturm-Liouville com condic oes de contorno de Dirichlet-Dirichlet.
Figura 8b - Representac ao graca dos erros de solucao e derivada de primeira
e segunda ordens decorrentes do FEM02 para o problema de Sturm-Liouville com
condic oes de contorno de Dirichlet-Dirichlet.
Figura 9a - Representac ao graca do erro de solucao decorrente do FEM02 para
o problema de Sturm-Liouville com condic oes de contorno de Dirichlet-Neumann.
Figura 9b - Representa cao graca dos erros de soluc ao e de derivada de primeira
condic oes de contorno de Dirichlet-Neumann.
Figura 10a - Representac ao graca do erro de soluc ao decorrente do FEM02
para o problema de Sturm-Liouville com condic oes de contorno de Dirichlet-Robin.
Figura 10b - Representac ao graca dos erros de soluc ao e de derivada de
primeira e segunda ordens decorrentes do FEM02 para o problema de Sturm-Liouville
com condicoes de contorno de Dirichlet-Robin.
para o problema de Sturm-Liouville com condic oes de contorno de Neumann-Robin.
com condicoes de contorno de Neumann-Robin.
para o problema de Sturm-Liouville com condicoes de contorno de Robin-Robin.
com condicoes de contorno de Robin-Robin.
Figura 13a - Erro de soluc ao do MIM02 para malhas uniforme e nao-uniforme.
Figura 13b - Componente global do erro de solucao do MIM02 para malha
nao-uniforme.
Figura 14 - Erro de soluc ao do FEM02 para malhas uniforme e nao-uniforme.
Figura 15a - Erro de solucao: MIM02 FEM02.
Figura 15b - Erro de solucao: MIM02 FEM02.
Figura 16a - MIM02: Erro da derivada de 1
a
ordem.
x
Figura 16b - FEM02: Erro da derivada de 1
a
ordem.
Figura 17 - Erro da derivada de 1
a
ordem: MIM02 FEM02.
a
ordem.
a
ordem.
Figura 19a - Erro da derivada de 2
a
ordem: MIM02 FEM02.
Figura 19b - Erro da derivada de 2
a
ordem: MIM02 FEM02.
xi
LISTA DE SIGLAS
CCET Centro de Ciencias Exatas e Tecnologia
DEME Departamento de Matematica e Estatstica
EDO Equacao Diferencial Ordinaria
FEM02 Metodo de Elementos Finitos de Segunda Ordem
(Finite Element Methods)
MIM02 Metodo Mimetico de Segunda Ordem (Mimetic Methods)
PPGMAp Programa de Pos-Graduac ao em Matematica Aplicada
PPGMAT Programa de Pos-Graduac ao em Matematica
UCS Universidade de Caxias do Sul
UFRGS Universidade Federal do Rio Grande do Sul
xii
RESUMO
Neste trabalho, examinamos detalhadamente um procedimento de analise, in-
troduzido em [21] e desenvolvido em [11] e [18], para a investiga cao dos erros em
malhas arbitrarias, decorrentes de metodos discretos (diferencas nitas e elemen-
tos nitos) de segunda ordem para problemas de Sturm-Liouville regulares, com
condic oes de contorno tipo Dirichlet, Neumann ou Robin (ou combina coes destas).
Esta analise nos permite obter estimativas nas sobre erros de solucao e deriva-
das de primeira e segunda ordens. Aplicamos o procedimento em detalhe para o
exame do metodo mimetico discutido em [21] e do metodo de elementos nitos
considerado em [18] e [11] (metodo de Galerkin com elementos seccionalmente li-
neares). Em particular, fenomenos de supraconvergencia em ambos os metodos sao
observados e explicados facilmente a partir das estimativas desenvolvidas.
xiii
ABSTRACT
In the present work, we give a detailed discussion of the error analysis in-
troduced in [21], and further developed in [11] and [18], of 2nd-order discrete me-
thods (both nite-dierence and nite element methods are considered here) for
one-dimensional Sturm-Liouville problems with separated boundary conditions of
Dirichlet, Neumann, or Robin type (or combinations of these).
Such an analysis yields very precise estimates for both solution and derivative
errors in the approximations. Application is given to the analysis of the mimetic
method discussed in [21], and the standard 2nd-order Galerkin method [18], [11]
with piecewise linear elements. In particular, supraconvergence eects are clearly
explained based on the estimates obtained by the theory.
1
1 INTRODUC

AO
Neste trabalho, apresentamos detalhadamente um procedimento recentemente
desenvolvido em [11], [18], [21], de analise de erros para aproximac oes discretas do
problema de Sturm-Liouville
d
dx
_
k(x)
du
dx
_
+ q(x) u(x) = f (x), a < x < b, (1.1)
0
u(a)
1
u
t
(a) =
a
, (1.2)
0
u(b) +
1
u
t
(b) =
b
, (1.3)
onde k(x), q(x) e f (x) sao funcoes dadas suaves, com k(x) > 0, q(x) 0 em [a, b],
e
0
,
1
,
0
e
1
sao constantes nao negativas satisfazendo
0
+
1
> 0,
0
+
1
> 0
e
0
+
0
> 0, sendo
a
e
b
constantes arbitrarias. Sob tais condicoes, e bem sabido
que o problema acima tem uma unica solucao u(x), que em geral nao pode ser obtida
na forma explcita.
Para obter os valores u(x), recorre-se tipicamente a aproxima coes v
h
obtidas
por metodos discretos como diferencas nitas ou elementos nitos, associados a ma-
lhas de pontos a = x
0
< x
1
< ... < x
N1
< x
N
= b em [a, b]. A questao fundamental
nestas aproximac oes e estimar corretamente o erro cometido, e
h
= v
h
u
h
, onde
u
h
denota os valores exatos nos pontos da malha. Alem disso, computada a apro-
ximac ao v
h
, pode-se obter a partir dela aproximacoes naturais para as derivadas de
u(x) se desejado (por exemplo, u
t
(x) e u
tt
(x)), sendo de interesse estimar os erros
destas aproximac oes. A qualidade e comportamento dos in umeros metodos discre-
tos disponveis pode variar grandemente, e pequenas (aparentemente) diferencas no
planejamento destes metodos pode acarretar grandes diferencas no desempenho re-
sultante.
2
De modo geral, no caso do problema (1.1), (1.2), (1.3) os metodos de elementos
nitos sao referidos como aqueles produzindo os melhores resultados (comparados a
procedimentos alternativos de complexidade equivalente) [4], [19]. Ocasionalmente,
referencias podem ser encontradas na literatura contestando tal armac ao [7], [8],
[14], [16], [17]. No caso dos metodos examinados no presente trabalho (MIM02 e
FEM02), pode-se vericar a superioridade do uso de elementos nitos com relac ao
aos erros de solucao e
h
, com a situacao se invertendo para os erros de derivadas
(particularmente derivadas de segunda ordem) em malhas nao uniformes. Esta clara
distinc ao torna-se possvel gracas às estimativas obtidas para os diversos erros, su-
cientemente nas para descrever o comportamento dos metodos MIM02 e FEM02.
Para a analise dos erros, diversas tecnicas podem ser utilizadas, com grau de
sucesso vari avel. Para metodos de diferencas nitas, os procedimentos tradicionais
consistem em examinar as equac oes discretas correspondentes,
L
h
v
h
= f
h
, (1.4)
onde L
h
e um operador discreto (linear) representando o problema (1.1), (1.2), (1.3)
acima, em termos do erro de truncamento, dado por
L
h
u
h
= f
h
+
h
, (1.5)
onde u
h
representa a solucao exata u(x) em determinados pontos da malha. Segue
ent ao, por linearidade, que e
h
= v
h
u
h
satisfaz o problema discreto
L
h
e
h
=
h
, (1.6)
de onde, em princpio, e
h
pode ser investigado. A equac ao (1.6) corresponde a um
sistema de equac oes algebricas lineares, com soluc ao dada por
e
h
= G
h

h
, G
h
= L
1
h
, (1.7)
onde G
h
e o chamado operador de Green correspondente ao metodo discreto consi-
derado. Claramente, a investigac ao detalhada de G
h
permite estimar e
h
adequada-
mente em muitos casos [15]. O exame mais simples da equac ao (1.7) pode ser
3
discutida do seguinte modo: introduzindo uma norma | |
h
para medir e
h
,
h
, e
sendo
h
a norma de operador associada, isto e,
G
h
= sup
[v[
h
=1
| Gv |
h
, (1.8)
obtem-se de (1.7) que
| e
h
|
h
G
h

h
|
h
|
h
, (1.9)
de modo que |
h
|
h
0 (isto e, (1.4) e consistente) ao h 0 (isto e, ao se renar
a malha) acarreta | e
h
|
h
0 (isto e, (1.4) e convergente) se G
h

h
se mantiver
limitada (isto e, (1.4) e estavel ). Alem disso, segue que e
h
tem pelo menos a ordem
de
h
. Em malhas uniformes, e comum ocorrer que e
h
e
h
tenham exatamente a
mesma ordem, e assim (1.9) descreve adequadamente o comportamento do erro e
h
.
Em malhas gerais, contudo, e comum e
h
ter ordem mais alta que
h
(isto e, (1.4) e
supraconvergente [12], [17], [20]), e (1.9) e pouco adequada neste caso. Mais ainda,
pode mesmo ocorrer |
h
|
h
0 ao h 0 e (1.4) ser convergente, a ponto de ser
competitivo com os metodos mais populares. Esta e a situacao do metodo mimetico
MIM02, cuja analise e apresentada no Captulo 2.
No Captulo 2, descrevemos o metodo mimetico MIM02 para (1.1), (1.2), (1.3)
discutido em [8], [11], [18], [21] e analisamos detalhadamente suas propriedades de
convergencia. Este metodo e dito mimetico por ser escrito na forma
D(k
h
Gv
h
) + q
h
v
h
= f
h
, (1.10)
para projec oes apropriadas k
h
, q
h
, f
h
de k(x), q(x), f (x) sobre a malha, e onde D
e G sao operadores de diferencas satisfazendo
N
i=0
w
i
(Gv)
i
h
i
= w
N
v
N
w
0
v
0

N
i=1
(Dw)
i
1
2
v
i
1
2
L
i
1
2
, (1.11)
para func oes de malha w
h
= {w
i
, 0 i N} e v
h
= {v
i
1
2
, 0 i N + 1}
quaisquer, com L
i
1
2
= x
i
x
i1
, h
i
= x
i+
1
2
x
i
1
2
, a = x
0
< x
1
< ... < x
N
= b os
4
pontos da malha, x
i
1
2
=
x
i1
+x
i
2
, x
1
2
x
0
e x
N+
1
2
x
N
, imitando (e da o termo
mimetico) na forma discreta a propriedade fundamental (integrac ao por partes)
_
b
a
w(x) v
t
(x) dx = w(b) v(b) w(a) v(a)
_
b
a
w
t
(x) v(x) dx, (1.12)
valida para w(x), v(x) C
1
([a, b]) quaisquer. Esta estrutura mimetica e utilizada
em [8], [21] para estabelecer a convergencia de MIM02 em malhas arbitrarias, sendo
mostrado que
| e
h
|
2
= O(), (1.13)
onde e a medida de espacamento da malha dado por
=
_
N
i=1
L
3
i
1
2
, (1.14)
e | |
2
denota a norma euclidiana. Em [18], a analise foi modicada de modo a obter
o resultado de segunda ordem
e
i
1
2
=
1
8
u
tt
(x
i
1
2
) L
2
i
1
2
+ O(
2
), 1 i N, (1.15)
com e
0
= O(
2
) e e
N
= O(
2
), que corresponde ao comportamento exato
observado nos experimentos, em qualquer malha. A derivac ao de (1.15) e feita no
Captulo 2 considerando primeiramente o caso q(x) = 0 (Secao 2.2), posteriormente
estendido a q(x) 0 na Secao 2.3. Antes de obter (1.15), e necessario estimar os
erros de derivada E = Gv u
t
, que satisfazem
E
i
= O(
2
), 0 i N. (1.16)
No Captulo 3, o mesmo tipo de analise e desenvolvida em detalhe para o estudo
dos erros de aproximac ao no caso do metodo de Galerkin com elementos triangulares,
FEM02 [19]. Na Secao 3.1, revisamos a construcao do FEM02 seguindo [19], e a
seguir iniciamos a analise de erros seguindo a mesma marcha do captulo precedente,
examinando os erros e
h
(erro de solucao) e E
h
(erro da derivada de primeira ordem)
inicialmente no caso mais facil q(x) = 0 (Secao 3.2), e utilizando estes resultados
5
para investigar o caso q 0 (Secao 3.3). Na Secao 3.4, mostramos que os erros da
derivada de segunda ordem satisfazem estimativas de primeira ordem apenas (em
malhas nao suaves),
E
i
=
_
1
6
k
t
i
k
i
u
tt
i
+
1
3
u
ttt
i
_
_
L
i+
1
2
L
i
1
2
_
+ O(L
2
i
1
2
) + O(L
2
i+
1
2
) + O(
2
), 1 i N 1,
(1.17)
em contraste com MIM02. Varios experimentos numericos sao apresentados na
Secao 3.5, conrmando os resultados teoricos integralmente.
Finalmente, no Captulo 4, fazemos considerac oes nais a respeito dos dois
metodos, comparando seu desempenho a partir dos resultados teoricos e ilustrando
com experimentos numericos.
6
2 M
ETODO MIM
ETICO DE SEGUNDA
ORDEM - MIM02
2.1 Introducao
Consideremos o problema regular de Sturm-Liouville com condic oes de con-
torno separaveis,
d
dx
_
k(x)
du
dx
_
+ q(x) u(x) = f (x), a < x < b, (2.1)
0
u(a)
1
k(a) u
t
(a) =
a
, (2.2)
0
u(b) +
1
k(b) u
t
(b) =
b
, (2.3)
com
a
e
b
constantes quaisquer,
0
,
1
,
0
e
1
constantes dadas satisfazendo
0
,
1
,
0
,
1
0,
0
+
1
> 0,
0
+
1
> 0 e
0
+
0
> 0, e onde k(x), q(x) e f (x) sao
func oes suaves dadas, com k(x) > 0 e q(x) 0 para todo x no intervalo [a, b].
Para a discretizac ao de (2.1), (2.2), (2.3), criemos uma malha arbitraria no
intervalo [a, b], com N + 1 pontos a = x
0
< x
1
< ... < x
N1
< x
N
= b, chamados
nodos, que dividem [a, b] em N subintervalos [x
i1
, x
i
], ou celulas, com comprimento
L
i
1
2
= x
i
x
i1
, cujo centro e denotado por x
i
1
2
, 1 i N
1
. Convenientemente,
assumamos que x
1
2
0, L
1
2
0, x
N+
1
2
x
N
, L
N+
1
2
0, e associemos cada
comprimento local entre os centros, com h
i
:= x
i+
1
2
x
i
1
2
, isto e,
h
i
:=
L
i
1
2
+ L
i+
1
2
2
, 0 i N. (2.4)
Esta notacao para os diversos pontos de malha e comprimentos e ilustrada na
Fig. 1.
1
Esta notacao provem de [7] e [16].
7
Figura 1 - Malha com os nodos x
i
, centro das celulas x
i
1
2
e comprimentos L
i
1
2
e h
i
.
Finalmente, construamos o conjunto dos centros das celulas C = {x
i
1
2
: 1
i N}, o conjunto estendido

C = C
{x
0
, x
N
}, o conjunto dos nodos da malha
N = {x
i
: 0 i N}, e os espacos correspondentes das func oes de malha
H
(
= {w : C R}, H
(
= {w :

C R}, H
A
= {w : N R}, (2.5)
e projec oes P
(
: C
0
([a, b]) H
(
, P
(
: C
0
([a, b]) H
(
, P
A
: C
0
([a, b]) H
A
, que
podem ser dadas por valores pontuais, medias nas celulas, etc. Como nossas func oes
sao suaves, sera irrelevante se usarmos valores pontuais ou valores medios, e vamos
tomar P
(
(w)
i
1
2
= P
(
(w)
i
1
2
= w(x
i
1
2
), 1 i N, P
(
(w)
0
= w(x
0
), P
(
(w)
N
=
w(x
N
), e P
A
(w)
i
= w(x
i
), 0 i N, usando tambem w
i
, w
i
1
2
, para denotar os
valores pontuais w(x
i
), w(x
i
1
2
), e similarmente w
t
i
= w
t
(x
i
), w
tt
i
1
2
= w
tt
(x
i
1
2
), e
assim por diante, desde que w seja sucientemente suave.
Dados os pontos sobre a malha x
i
, x
i
1
2
, denamos dois operadores naturais
de diferencas nitas: a derivada primeira discreta D : H
A
H
(
(divergente
discreto) dada por
(Dw)
i
1
2
=
w
i
w
i1
L
i
1
2
, 1 i N, (2.6)
aplicada a uma func ao nodal arbitraria w H
A
, e derivada segunda discreta
G : H
(
H
A
(gradiente discreto) dada por
(Gz)
i
=
z
i+
1
2
z
i
1
2
h
i
, 0 i N, (2.7)
8
agindo nas func oes z H
(
. Nosso esquema de diferencas para (2.1) consiste em
encontrarmos a funcao de malha v
h
(aproximac ao obtida para a soluc ao u, ou seja,
projecao u
h
de u sobre a malha), que satisfaz o problema discreto analogo,
D(k Gv
h
) + q v
h
= f, (2.8)
onde k = P
A
(k), q = P
(
(q) e f = P
(
(f ) sao as projec oes de k, q, f em (2.1) para os
espacos de func oes discretas H
A
e H
(
, respectivamente, e indica a multiplicacao
ponto a ponto. Aqui, v
0
e v
N
denotam os valores de v
h
para os nodos x
0
= a e x
N
= b.
Usando (2.6) e (2.7) na equac ao (2.8), chegamos ao metodo numerico MIM02
(metodo mimetico de segunda ordem),
k
i1
h
i1
v
i
3
2
+
_
k
i1
h
i1
+
k
i
h
i
+ q
i
1
2
L
i
1
2
_
v
i
1
2
k
i
h
i
v
i+
1
2
= L
i
1
2
f
i
1
2
,
(2.9)
onde v
i
1
2
, com 1 i N, sao os valores de v
h
, e k
i
, q
i
1
2
, f
i
1
2
sao os valores
pontuais k
i
= k(x
i
), q
i
1
2
= q(x
i
1
2
) e f
i
1
2
= f (x
i
1
2
).
Matematicamente, (2.8) e nada mais que um sistema de equac oes lineares
algebricas, trivialmente resolvvel em comparacao com o problema original. De
interesse fundamental aqui sao os erros cometidos, e
h
H
(
(erro de solucao),
E
h
H
A
(erro de gradiente), e E
h
H
(
(erro da derivada de segunda ordem),
denidos por e
h
= v
h
P
(
(u), E
h
= Gv
h
P
A
_
du
dx
_
, E
h
= D(Gv
h
) P
(
_
d
2
u
dx
2
_
,
isto e,
e
i
1
2
= v
i
1
2
u(x
i
1
2
), 0 i N + 1, (2.10)
E
i
= (Gv
h
)
i
u
t
(x
i
) =
v
i+
1
2
v
i
1
2
h
i
u
t
(x
i
), 0 i N, (2.11)
9
e
E
i
= D(Gv
h
)
i
1
2
u
tt
(x
i
1
2
)
=
1
L
i
1
2
_
v
i+
1
2
v
i
1
2
h
i
v
i
1
2
v
i
3
2
h
i1
_
u
tt
(x
i
1
2
), 1 i N.
(2.12)
Existe uma importante quantidade que esta intimamente ligada aos erros de
soluc ao, e
h
, e de derivada, E
h
, que e o chamado erro de truncamento, ou de dis-
cretizac ao, (u) H
(
. Substituindo v
h
por u
h
em (2.8), obtemos
D(k Gu
h
) + q u
h
= f + (u), (2.13)
onde u
h
= P
(
(u). Subtraindo (2.13) de (2.8), obtemos a seguinte expressao
D(k Ge
h
) + q e
h
= (u). (2.14)
Pelo esquema numerico (2.9), podemos reescrever a equac ao (2.13) como
(u)
i
1
2
L
i
1
2
=
k
i1
h
i1
u
i
3
2
+
_
k
i1
h
i1
+
k
i
h
i
+ q
i
1
2
L
i
1
2
_
u
i
1
2
k
i
h
i
u
i+
1
2
L
i
1
2
f
i
1
2
, (2.15)
que implica
(u)
i
1
2
L
i
1
2
=
k
_
x
i
1
2
L
i
1
2
2
_
h
i1
u
_
x
i
1
2
L
i
1
2
+ L
i
3
2
2
_
+
_
_
k
_
x
i
1
2
L
i
1
2
2
_
h
i1
+
k
_
x
i
1
2
+
L
i
1
2
2
_
h
i
+ q
_
x
i
1
2
_
L
i
1
2
_
_
u
_
x
i
1
2
_
k
_
x
i
1
2
+
L
i
1
2
2
_
h
i
u
_
x
i
1
2
+
L
i
1
2
+ L
i+
1
2
2
_
L
i
1
2
f
_
x
i
1
2
_
.
(2.16)
10
Lembrando que h
i1
=
L
i
1
2
+L
i
3
2
2
e h
i
=
L
i
1
2
+L
i+
1
2
2
, e utilizando as seguintes
expansoes de Taylor no ponto x
i
1
2
,
k
_
x
i
1
2
L
i
1
2
2
_
= k
i
1
2
1
2
k
t
i
1
2
L
i
1
2
+
1
8
k
tt
i
1
2
L
2
i
1
2
+ O(L
3
i
1
2
), (2.17)
k
_
x
i
1
2
+
L
i
1
2
2
_
= k
i
1
2
+
1
2
k
t
i
1
2
L
i
1
2
+
1
8
k
tt
i
1
2
L
2
i
1
2
+ O(L
3
i
1
2
), (2.18)
u
_
x
i
1
2
L
i
1
2
+ L
i
3
2
2
_
= u
i
1
2
u
t
i
1
2
h
i1
+
1
2
u
tt
i
1
2
h
2
i1
1
6
u
ttt
i
1
2
h
3
i1
+ O(L
4
i
1
2
) + O(L
4
i
3
2
),
(2.19)
u
_
x
i
1
2
+
L
i
1
2
+ L
i+
1
2
2
_
= u
i
1
2
+ u
t
i
1
2
h
i
+
1
2
u
tt
i
1
2
h
2
i
+
1
6
u
ttt
i
1
2
h
3
i
+ O(L
4
i
1
2
) + O(L
4
i+
1
2
),
(2.20)
obtemos,
(u)
i
1
2
L
i
1
2
= k
i
1
2
u
tt
i
1
2
_
h
i1
+ h
i
2
_
1
6
K
i
1
2
u
ttt
i
1
2
(h
2
i
h
2
i1
)
1
4
K
t
i
1
2
u
tt
i
1
2
(L
i
1
2
h
i
L
i
1
2
h
i1
)
K
t
i
1
2
u
t
i
1
2
L
i
1
2
+ q
i
1
2
u
i
1
2
L
i
1
2
L
i
1
2
f
i
1
2
+ O(L
3
i
3
2
) + O(L
2
i
1
2
) + O(L
3
i+
1
2
).
(2.21)
Como k(x)u
tt
(x) k
t
(x)u
t
(x) +q(x)u(x) f (x) = 0, temos que o erro de trunca-
mento para o metodo mimetico e dado por
(u)
i
1
2
= k
i
1
2
u
tt
i
1
2
_
1
h
i
+ h
i1
2L
i
1
2
_
1
6
K
i
1
2
u
ttt
i
1
2
h
2
i
h
2
i1
L
i
1
2
1
4
K
t
i
1
2
u
tt
i
1
2
(h
i
h
i1
)
+ O(L
2
i
3
2
) + O(L
2
i
1
2
) + O(L
2
i+
1
2
), 1 i N,
(2.22)
11
desde que k C
3
([a, b]) e u C
4
([a, b]).
Como visto anteriormente, subtraindo (2.13) de (2.8), obtemos
D(k Ge
h
) + q e
h
= (u), (2.23)
onde e
h
e determinado por (u) atraves da equac ao linear L
h
e
h
= (u). Disto,
e
h
= G
h
(u), onde G
h
= L
1
h
e o operador de Green discreto associado a (2.8).
Tratemos agora do problema algebrico. Ja vimos que o erro e
h
= v
h
u
h
satisfaz a equac ao algebrica L
h
e
h
= (u), onde L
h
e dado por (2.14), isto e,
L
h
= L
1
h
A
h
, com L
h
= diag{L1
2
, L3
2
, ..., L
N
1
2
} e A
h
= A
h
(q), dada por
A
h
(q) =
_
_
a
[q]
1
2
c
1
0 0 0
c
1
a
[q]
3
2
c
2
0 0
0 c
2
a
[q]
5
2
0 0

0 0 0 a
[q]
N
3
2
c
N1
0 0 0 c
N1
a
[q]
N
1
2
_
_
, (2.24)
onde
c
i
=
k
i
h
i
, 0 i N, (2.25)
a
[q]
i
1
2
= c
i1
+ c
i
+ q
i
1
2
L
i
1
2
, 1 i N. (2.26)
Em particular, e
h
resolve a equacao A
h
(q)e
h
=

b(u), com

b(u) = L
h
(u),
isto e,
b(u)
i
1
2
= L
i
1
2
(u)
i
1
2
, 1 i N. (2.27)
12
Reduzindo A
h
(q)e
h
=

b(u) à forma triangular superior pela eliminac ao Gaus-
siana, obtemos

A
h
(q)e
h
=

b(u), onde

A
h
(q) e a matriz triangular
A
h
(q) =
_
_
a
[q]
1
2
c
1
0 0 0
0 a
[q]
3
2
c
2
0 0
0 0 a
[q]
5
2
0 0

0 0 0 a
[q]
N
3
2
c
N1
0 0 0 0 a
[q]
N
1
2
_
_
, (2.28)
com
a
[q]
i
1
2
=
[q]
i1
c
i1
+ c
i
+ q
i
1
2
L
i
1
2
, 1 i N, (2.29)
onde
[q]
0
= 1 e
[q]
1
,
[q]
2
,... sao quantidades positivas computadas recursivamente
pela formula
[q]
i
=
c
i1

[q]
i1
+ q
i
1
2
L
i
1
2
c
i1

[q]
i1
+ c
i
+ q
i
1
2
L
i
1
2
, 1 i N 1. (2.30)
Quando q(x) = 0, temos que
1
c
i
[0]
i
=
1
c
i
+
1
c
i1
[0]
i1
para cada i 1, o que resulta
em
1
c
i

[0]
i
=
1
c
i
+
i1
l=0
1
c
l
=
i
l=0
h
l
k
l
, (2.31)
enquanto que, para q(x) 0,
1
c
i

[q]
i
l=0
h
l
k
l
. (2.32)
Os coecientes
[q]
i
sao tambem usados para computar o vetor

b(u) H
(
, dado
por
b(u)
i
1
2
=
i
j=1
[q]
i1
c
i1
[q]
j1
c
j1
[q]
ij
b(u)
j
1
2
, 1 i N, (2.33)
13
com
[q]
ii
= 1 para 1 i N e
[q]
ij
=
i1
l=j
[q]
l1
c
l1
[q]
l1
c
l1
+ q
l
1
2
L
l
1
2
, 1 j i 1, 2 i N. (2.34)
Da obtemos, em particular, o bem conhecido resultado que, para q(x) 0,
todos os N
2
elementos de A
1
h
, e os operadores de Green G
h
, sao positivos. Alem
disso, esse resultado permanece valido para qualquer q(x) limitada em [a, b], desde
que a malha seja sucientemente na. Temos tambem o seguinte lema,
Lema 2.1. Se

b =
_
b1
2
,

b3
2
, ...,

b
N
1
2
_
H
(
e tal que |

b
i
1
2
|
[q]
i1
c
i1
para
algum > 0 e todo 1 i N, entao a solucao v =
_
v1
2
, ..., v
N
1
2
_
H
(
de
A
h
(q)v =

b satisfaz a estimativa | v
i
1
2
| para todo 1 i N, desde que
q(x) 0 em [a, b], ou, para q(x) qualquer, que a malha seja sucientemente na.
Demonstracao. Para i = N, temos
v
N
1
2
=
b
N
1
2
a
[q]
N
1
2
=
b
N
1
2
[q]
N1
c
N1
+ c
N
, (2.35)
tal que | v
N
1
2
|
[
b
N
1
2
[
[q]
N1
c
N1
por hipotese. Do mesmo modo,
v
N
3
2
=
b
N
3
2
a
[q]
N
3
2
+
c
N1
a
[q]
N
3
2
v
N
1
2
, (2.36)
de maneira que
| v
N
3
2
|

[q]
N2
c
N2
[q]
N2
c
N2
+ c
N1
|

b
N
3
2
|
[q]
N2
c
N2
+
c
N1
[q]
N2
c
N2
+ c
N1
| v
N
1
2
| ,
(2.37)
e assim sucessivamente com i = N 2, N 3, ..., 1.
Notemos de passagem que, quando q(x) 0, do Lemma 2.1 e de (2.31), (2.32),
(2.33) e (2.34), obtemos
G
h

= sup
v1
C
, v,=0
| G
h
v |
sup
| v |
sup
(b a)
2
m
0
(k)
(2.38)
em qualquer malha, onde m
0
(k) e o valor mnimo m
0
(k) = min{k(x) : a x b}.
14
2.2 Analise dos Erros de Solucao e de Derivada de
Primeira Ordem para q(x) = 0
Consideremos o problema de Sturm-Liouville com condic oes de contorno de
Dirichlet em x = a e x = b,
d
dx
_
k(x)
du
dx
_
+ q(x) u(x) = f (x), a < x < b, (2.39)
0
u(a) =
a
,
0
u(b) =
b
, (2.40)
onde
a
e
b
sao constantes dadas,
0
> 0,
0
> 0, k(x) C
3
([a, b]), q(x)
C
2
([a, b]), f (x) C
2
([a, b]), k(x) > 0 em [a, b], q(x) 0 em [a, b] e u(x) C
4
([a, b]).
Na verdade, de acordo com [21], podemos supor que
q(x) >
1
(b a)
_
b
a
1
k(t)
dt
, x [a, b]. (2.41)
A discretizac ao desse problema pelo metodo mimetico de diferencas nitas e
dada por,
k
i1
h
i1
v
i
3
2
+
_
k
i1
h
i1
+
k
i
h
i
_
v
i
1
2
k
i
h
i
v
i+
1
2
= L
i
1
2
f
i
1
2
, (2.42)
v
1
2
v
0
=

a
0
, v
N+
1
2
v
N
=

b
0
. (2.43)
Em primeiro lugar, estimemos a quantidade Ge
h
. Como L
j
1
2
(D(k Ge
h
))
j
1
2
=
k
j
(Ge
h
)
j
k
j1
(Ge
h
)
j1
, podemos escrever
k
i
(Ge
h
)
i
= k
N
(Ge
h
)
N

N
j=i+1
L
j
1
2
(D(k Ge
h
))
j
1
2
, (2.44)
para 0 i N, de onde obtemos, usando (2.14) e admitindo q(x) = 0,
k
i
(Ge
h
)
i
= k
N
(Ge
h
)
N

N
j=i+1
L
j
1
2
(u)
j
1
2
, 0 i N, (2.45)
onde o erro de truncamento (u) e dado por (2.22), o que nos leva a
N
j=i+1
L
j
1
2
(u)
j
1
2
= J
1
(h) + J
2
(h) + J
3
(h) + O(
2
), (2.46)
15
onde
J
1
(h) =
N
j=i+1
k
j
1
2
u
tt
j
1
2
_
L
j
1
2
h
j1
+ h
j
2
_
, (2.47)
J
2
(h) =
1
6
N
j=i+1
k
j
1
2
u
ttt
j
1
2
_
h
2
j
h
2
j1
_
, (2.48)
J
3
(h) =
1
4
N
j=i+1
k
t
j
1
2
u
tt
j
1
2
L
j
1
2
(h
j
h
j1
) , (2.49)
com sendo a medida de espacamento de malha denida por =
_
N
j=1
L
3
j
1
2
.
Agora, como h
i
=
L
i
1
2
+L
i+
1
2
2
,
J
1
(h) =
1
4
N
j=i+1
w
j
1
2
__
L
j+
1
2
L
j
1
2
_

_
L
j
1
2
L
j
3
2
__
, (2.50)
onde w(x) := k(x) u
tt
(x). Esta equac ao pode ser reescrita na forma
J
1
(h) =
1
4
N
j=i+1
_
w
j
_
L
j+
1
2
L
j
1
2
_
w
j1
_
L
j
1
2
L
j
3
2
__
+
1
4
N
j=i+1
_
w
j
w
j
1
2
_ _
L
j+
1
2
L
j
1
2
_
+
1
4
N
j=i+1
_
w
j
1
2
w
j1
_ _
L
j
1
2
L
j
3
2
_
.
(2.51)
Observemos que
_
w
j
w
j
1
2
_
= w
t
j
1
2
L
j
1
2
2
+ O(L
2
j
1
2
),
_
w
j
1
2
w
j1
_
=
w
t
j
1
2
L
j
1
2
2
+ O(L
2
j
1
2
), L
N+
1
2
0, L
1
2
0, x
N+
1
2
x
N
= b e x
1
2
x
0
= a. Alem
16
disso, temos series telescopicas, o que nos leva ao seguinte resultado,
J
1
(h) =
1
4
_
w
N
_
0 L
N
1
2
_
w
i
_
L
i+
1
2
L
i
1
2
__
+
1
8
N
j=i+1
w
t
j
1
2
_
L
j+
1
2
L
j
1
2
L
2
j
1
2
_
+
1
8
N
j=i+1
w
t
j
1
2
_
L
2
j
1
2
L
j
1
2
L
j
3
2
_
+ O(
2
)
=
1
4
w
N
L
N
1
2
+
1
4
w
i
_
L
i+
1
2
L
i
1
2
_
+
1
8
N
j=i+1
_
w
t
j
1
2
L
j+
1
2
L
j
1
2
w
t
j
1
2
L
j
1
2
L
j
3
2
_
+ O(
2
).
(2.52)
Como w
t
j
1
2
= w
t
j
+ O(L
j
1
2
), e tambem w
t
j
1
2
= w
t
j1
+ O(L
j
1
2
), temos
J
1
(h) =
1
4
w
N
L
N
1
2
+
1
4
w
i
_
L
i+
1
2
L
i
1
2
_
+
1
8
N
j=i+1
_
w
t
j
L
j+
1
2
L
j
1
2
w
t
j1
L
j
1
2
L
j
3
2
_
+ O(
2
)
=
1
4
w
N
L
N
1
2
+
1
4
w
i
_
L
i+
1
2
L
i
1
2
_
+
1
8
w
t
N
L
N+
1
2
L
N
1
2
1
8
w
t
i
L
i+
1
2
L
i
1
2
+ O(
2
).
(2.53)
Como w(x) = k(x)u
tt
(x), e portanto w
t
(x) = k(x)u
ttt
(x) + k
t
(x)u
tt
(x), segue
que
J
1
(h) =
1
4
k
N
u
tt
N
L
N
1
2
+
1
4
k
i
u
tt
i
_
L
i+
1
2
L
i
1
2
_
1
8
(k
t
i
u
ttt
i
+ k
t
i
u
tt
i
) L
i+
1
2
L
i
1
2
+ O(
2
).
(2.54)
17
Similarmente, considerando w(x) := k(x)u
ttt
(x), w
j
1
2
= w
j
+ O(L
j
1
2
) e
w
j
1
2
= w
j1
+ O(L
j
1
2
), obtemos
J
2
(h) =
1
6
N
j=i+1
k
j
1
2
u
ttt
j
1
2
_
h
2
j
h
2
j1
_
=
1
6
N
j=i+1
_
w
j
1
2
h
2
j
w
j
1
2
h
2
j1
_
=
1
6
N
j=i+1
_
w
j
h
2
j
w
j1
h
2
j1
_
+ O(
2
)
=
1
6
_
w
N
h
2
N
w
i
h
2
i
_
+ O(
2
)
=
1
6
w
N
L
2
N
1
2
4
+
1
6
w
i
_
L
i
1
2
+ L
i+
1
2
_
2
4
+ O(
2
).
(2.55)
Logo,
J
2
(h) =
1
24
k
N
u
ttt
N
L
2
N
1
2
+
1
24
k
i
u
ttt
i
_
L
i
1
2
+ L
i+
1
2
_
2
+ O(
2
). (2.56)
Finalmente, para w(x) = k
t
(x)u
tt
(x), temos
J
3
(h) =
1
4
N
j=i+1
k
t
j
1
2
u
tt
j
1
2
L
j
1
2
(h
j
h
j1
)
=
1
4
N
j=i+1
k
t
j
1
2
u
tt
j
1
2
L
j
1
2
_
L
j+
1
2
L
j
3
2
2
_
=
1
8
N
j=i+1
_
w
j
1
2
L
j+
1
2
L
j
1
2
L
j
1
2
L
j
3
2
w
j
1
2
_
.
(2.57)
Usando expansoes de Taylor para w(x) temos que w
j
1
2
= w
j
+ O(L
j
1
2
), ou
tambem, w
j
1
2
= w
j1
+ O(L
j
1
2
), o que nos leva a
J
3
(h) =
1
8
N
j=i+1
_
w
j
L
j+
1
2
L
j
1
2
w
j1
L
j
1
2
L
j
3
2
_
+ O(
2
)
=
1
8
_
w
N
L
N+
1
2
L
N
1
2
w
i
L
i+
1
2
L
i
1
2
_
+ O(
2
).
(2.58)
18
Lembrando que L
N+
1
2
= 0, segue que
J
3
(h) =
1
8
w
i
L
i+
1
2
L
i
1
2
+ O(
2
), (2.59)
ou seja,
J
3
(h) =
1
8
k
t
i
u
tt
i
L
i+
1
2
L
i
1
2
+ O(
2
). (2.60)
Portanto, de (2.46) e (2.54), (2.56), (2.60), obtemos
N
j=i+1
L
j
1
2
(u)
j
1
2
=
1
4
k
N
u
tt
N
L
N
1
2
1
24
k
N
u
ttt
N
L
2
N
1
2
+
1
4
k
i
u
tt
i
_
L
i+
1
2
L
i
1
2
_
+
1
24
k
i
u
ttt
i
_
L
2
i
1
2
+ L
2
i+
1
2
L
i
1
2
L
i+
1
2
_
+ O(
2
).
(2.61)
Computemos e
N
1
2
por eliminacao Gaussiana em (2.14). Resolvendo A
h
(0)e
h
=
L
h
(u) para e
N
1
2
, obtemos, a partir de A
h
(q) comq(x) = 0, b(u)
i
1
2
,

A
h
(q), a
[q]
i
1
2
,
b(u)
i
1
2
,
[q]
ij
apresentados anteriormente, que
e
N
1
2
=
b
N
1
2
a
[0]
N
1
2
=
1
[0]
N1
c
N1
+ c
N
N
j=1
[0]
N1
c
N1
[0]
j1
c
j1
[0]
Nj
b(u)
j
1
2
, (2.62)
com
[0]
Nj
=
N1
l=j
[0]
l1
c
l1
[0]
l1
c
l1
, 1 j N 1, o que resulta em
e
N
1
2
=

[0]
N1
c
N1
c
N
+
[0]
N1
c
N1
N
j=1
1
[0]
j1
c
j1
L
j
1
2
(u)
j
1
2
, (2.63)
onde c
i
=
k
i
h
i
e
1
c
j

[0]
j
=
j
l=0
h
l
k
l
, com 0 j N.

E conveniente introduzirmos I
j
,
0 j N,
I
j
:=
j
l=0
h
l
k
l
. (2.64)
19
Em particular, I
N
=
N
l=0
h
l
k
l
e dado pela aproximac ao trapezoidal
_
b
a
1
k(x)
dx,
tal que I
N
=
_
b
a
1
k(x)
dx + O(
2
). Agora,
[0]
N1
c
N1
c
N
+
[0]
N1
c
N1
=
1
1 +
c
N
[0]
N1
c
N1
=
1
c
N
1
c
N
+
1
[0]
N1
c
N1
=
h
N
k
N
h
N
k
N
+
N1
l=0
h
l
k
l
=
h
N
k
N
N
l=0
h
l
k
l
=
h
N
k
N
I
N
,
(2.65)
isto e,
[0]
N1
c
N1
c
N
+
[0]
N1
c
N1
=
h
N
k
N
I
N
. (2.66)
Por outro lado, da formula (2.22) para o erro de truncamento e q(x) = 0,
temos
N
j=1
1
[0]
j1
c
j1
L
j
1
2
(u)
j
1
2
=

J
1
(h) +

J
2
(h) +

J
3
(h) + O(
2
), (2.67)
onde
J
1
(h) =
N
j=1
I
j1
K
j
1
2
u
tt
j
1
2
_
L
j
1
2
h
j
+ h
j1
2
_
, (2.68)
J
2
(h) =
1
6
N
j=1
I
j1
K
j
1
2
u
ttt
j
1
2
_
h
2
j
h
2
j1
_
, (2.69)
J
3
(h) =
1
4
N
j=1
I
j1
K
t
j
1
2
u
tt
j
1
2
(h
j
h
j1
) L
j
1
2
. (2.70)
20
Consideremos agora w(x) := k(x)u
tt
(x). Assim,
J
1
(h) =
N
j=1
I
j1
K
j
1
2
u
tt
j
1
2
_
L
j
1
2
h
j
+ h
j1
2
_
=
1
4
N
j=1
I
j1
w
j
1
2
__
L
j+
1
2
L
j
1
2
_

_
L
j
1
2
L
j
3
2
__
=
1
4
N
j=1
_
I
j
w
j
_
L
j+
1
2
L
j
1
2
_
I
j1
w
j1
_
L
j
1
2
L
j
3
2
__
+
1
4
N
j=1
_
I
j
w
j
I
j1
w
j
1
2
_ _
L
j+
1
2
L
j
1
2
_
+
1
4
N
j=1
I
j1
_
w
j
1
2
w
j1
_ _
L
j
1
2
L
j
3
2
_
=
1
4
_
I
N
w
N
_
L
N+
1
2
L
N
1
2
_
I
0
w
0
_
L1
2
L
1
2
__
+
1
4
N
j=1
(I
j
I
j1
) w
j
_
L
j+
1
2
L
j
1
2
_
+
1
4
N
j=1
I
j1
_
w
j
w
j
1
2
_ _
L
j+
1
2
L
j
1
2
_
+
1
4
N
j=1
I
j1
_
w
j
1
2
w
j1
_ _
L
j
1
2
L
j
3
2
_
.
(2.71)
21
Como L
N+
1
2
= 0, L
1
2
= 0, I
j
I
j1
=
h
j
k
j
, w
j
w
j
1
2
=
1
2
w
t
j
1
2
L
j
1
2
+O(L
2
j
1
2
)
e w
j
1
2
w
j1
=
1
2
w
t
j
1
2
L
j
1
2
+ O(L
2
j
1
2
), segue que
J
1
(h) =
1
4
I
N
w
N
L
N
1
2
+
1
4
I
0
w
0
L1
2
+
1
4
N
j=1
u
tt
j
h
j
_
L
j+
1
2
L
j
1
2
_
+
1
8
N
j=1
I
j1
w
t
j
1
2
_
L
j+
1
2
L
j
1
2
L
2
j
1
2
_
+ I
j1
w
t
j
1
2
_
L
2
j
1
2
L
j
1
2
L
j
3
2
_
+ O(
2
)
=
1
4
I
N
w
N
L
N
1
2
+
1
4
u
tt
0
h
0
L1
2
+
1
8
N
j=1
u
tt
j
_
L
2
j+
1
2
L
2
j
1
2
_
+
1
8
N
j=1
_
I
j1
w
t
j
1
2
L
j+
1
2
L
j
1
2
I
j1
w
t
j
1
2
L
j
1
2
L
j
3
2
_
+ O(
2
),
(2.72)
visto que I
0
=
h
0
k
0
e h
j
=
1
2
_
L
j+
1
2
+ L
j
1
2
_
. Como h
0
=
L
1
2
2
,
I
j1
w
t
j
1
2
= I
j
w
t
j+
1
2
(I
j
w
t
j+
1
2
I
j1
w
t
j
1
2
) e
(I
j
w
t
j+
1
2
I
j1
w
t
j
1
2
) = (I
j
I
j1
) w
t
j+
1
2
+ I
j1
(w
t
j+
1
2
w
t
j
1
2
) = O(h
j
), segue que
J
1
(h) =
1
4
I
N
w
N
L
N
1
2
+
1
8
u
tt
0
L
2
1
2
+
1
8
N
j=1
_
u
tt
j
L
2
j+
1
2
u
tt
j
L
2
j
1
2
_
+
1
8
N
j=1
_
I
j
w
t
j+
1
2
L
j+
1
2
L
j
1
2
I
j1
w
t
j
1
2
L
j
1
2
L
j
3
2
_
+ O(
2
).
(2.73)
Fazendo u
tt
j
= u
tt
j1
+ O(L
j
1
2
), temos
J
1
(h) =
1
4
I
N
w
N
L
N
1
2
+
1
8
u
tt
0
L
2
1
2
+
1
8
_
u
tt
N
L
2
N+
1
2
u
tt
0
L
2
1
2
_
+
1
8
_
I
N
w
t
N+
1
2
L
N+
1
2
L
N
1
2
I
0
w
t
1
2
L1
2
L
1
2
_
+ O(
2
).
(2.74)
Como L
N+
1
2
= 0 e L
1
2
= 0, obtemos
J
1
(h) =
1
4
I
N
w
N
L
N
1
2
+ O(
2
), (2.75)
isto e,
J
1
(h) =
1
4
I
N
k
N
u
tt
N
L
N
1
2
+ O(
2
). (2.76)
22
Similarmente, para w(x) := k(x)u
ttt
(x), chegamos a
J
2
(h) =
1
6
N
j=1
I
j1
K
j
1
2
u
ttt
j
1
2
_
h
2
j
h
2
j1
_
=
1
6
N
j=1
_
I
j1
w
j
1
2
h
2
j
I
j1
w
j
1
2
h
2
j1
_
.
(2.77)
De maneira analoga,
I
j1
w
j
1
2
= I
j
w
j

_
I
j
w
j
I
j1
w
j
1
2
_
,
_
I
j
w
j
I
j1
w
j
1
2
_
= (I
j
I
j1
) w
j
+ I
j1
_
w
j
w
j
1
2
_
,
(I
j
I
j1
) = O(h
j
),
_
w
j
w
j
1
2
_
= O(L
j
1
2
),
w
j
1
2
= w
j1
+ ( w
j
1
2
w
j1
) = w
j1
+ O(L
j
1
2
),
(2.78)
o que resulta em
J
2
(h) =
1
6
N
j=1
_
I
j
w
j
h
2
j
I
j1
w
j1
h
2
j1
_
+ O(
2
)
=
1
6
_
I
N
w
N
h
2
N
I
0
w
0
h
2
0
_
+ O(
2
).
(2.79)
Como L
N+
1
2
= 0 e I
0
=
h
0
k
0
, temos
J
2
(h) =
1
6
I
N
w
N
L
2
N
1
2
4
+ O(
2
), (2.80)
ou seja,
J
2
(h) =
1
24
I
N
k
N
u
ttt
N
L
2
N
1
2
+ O(
2
). (2.81)
Finalmente, considerando w(x) := k
t
(x)u
tt
(x) e escrevendo (h
j
h
j1
) =
1
2
_
L
j+
1
2
L
j
3
2
_
, obtemos
J
3
(h) =
1
4
N
j=1
I
j1
K
t
j
1
2
u
tt
j
1
2
L
j
1
2
(h
j
h
j1
)
=
1
8
N
j=1
_
I
j1
w
j
1
2
L
j+
1
2
L
j
1
2
I
j1
w
j
1
2
L
j
1
2
L
j
3
2
_
.
(2.82)
23
Da mesma forma que no caso anterior,
I
j1
w
j
1
2
= I
j
w
j

_
I
j
w
j
I
j1
w
j
1
2
_
,
_
I
j
w
j
I
j1
w
j
1
2
_
= (I
j
I
j1
) w
j
+ I
j1
_
w
j
w
j
1
2
_
,
(I
j
I
j1
) = O(h
j
),
_
w
j
w
j
1
2
_
= O(L
j
1
2
),
w
j
1
2
= w
j1
+ ( w
j
1
2
w
j1
) = w
j1
+ O(L
j
1
2
),
(2.83)
o que resulta em
J
3
(h) =
1
8
N
j=1
_
I
j
w
j
L
j+
1
2
L
j
1
2
I
j1
w
j1
L
j
1
2
L
j
3
2
_
+ O(
2
)
=
1
8
_
I
N
w
N
L
N+
1
2
L
N
1
2
I
0
w
0
L1
2
L
1
2
_
+ O(
2
).
(2.84)
Como L
1
2
= 0 e L
N+
1
2
= 0, segue que
J
3
(h) = O(
2
). (2.85)
Conseq uentemente, de (2.67) e (2.76), (2.81), (2.85), temos
N
j=1
1
[0]
j1
c
j1
L
j
1
2
(u)
j
1
2
=

J
1
(h) +

J
2
(h) +

J
3
(h) + O(
2
)
=
1
4
I
N
k
N
u
tt
N
L
N
1
2
1
24
I
N
k
N
u
ttt
N
L
2
N
1
2
+ O(
2
),
(2.86)
isto e,
N
j=1
1
[0]
j1
c
j1
L
j
1
2
(u)
j
1
2
=
1
4
I
N
k
N
u
tt
N
L
N
1
2
1
24
I
N
k
N
u
ttt
N
L
2
N
1
2
+ O(
2
).
(2.87)
Com (2.66) e (2.87), a equac ao (2.63) pode ser reescrita na forma
e
N
1
2
=

[0]
N1
c
N1
c
N
+
[0]
N1
c
N1
N
j=1
1
[0]
j1
c
j1
L
j
1
2
(u)
j
1
2
=
h
N
k
N
I
N
_
1
4
I
N
k
N
u
tt
N
L
N
1
2
1
24
I
N
k
N
u
ttt
N
L
2
N
1
2
+ O(
2
)
_
,
(2.88)
24
isto e,
e
N
1
2
= h
N
_
1
4
u
tt
N
L
N
1
2
1
24
u
ttt
N
L
2
N
1
2
+ O(
2
)
_
, (2.89)
ou de forma equivalente,
e
N
1
2
=
1
8
u
tt
N
L
2
N
1
2
+
1
48
u
ttt
N
L
3
N
1
2
+ h
N
O(
2
). (2.90)
Em particular,
(Ge
h
)
N
=
e
N
e
N
1
2
h
N
=
e
N
1
2
h
N
=
1
4
u
tt
N
L
N
1
2
1
24
u
ttt
N
L
2
N
1
2
+ O(
2
),
(2.91)
isto e,
(Ge
h
)
N
=
1
4
u
tt
N
L
N
1
2
1
24
u
ttt
N
L
2
N
1
2
+ O(
2
). (2.92)
Com (2.45), (2.61) e (2.92), chegamos a
k
i
(Ge
h
)
i
= k
N
(Ge
h
)
N

N
j=i+1
L
j
1
2
(u)
j
1
2
=
1
4
k
N
u
tt
N
L
N
1
2
1
24
k
N
u
ttt
N
L
2
N
1
2
+ O(
2
)
_
1
4
k
N
u
tt
N
L
N
1
2
1
24
k
N
u
ttt
N
L
2
N
1
2
+
1
4
k
i
u
tt
i
_
L
i+
1
2
L
i
1
2
_
+
1
24
k
i
u
ttt
i
_
L
2
i
1
2
+ L
2
i+
1
2
L
i
1
2
L
i+
1
2
_
+ O(
2
)
=
1
4
k
i
u
tt
i
_
L
i+
1
2
L
i
1
2
_
1
24
k
i
u
ttt
i
_
L
2
i
1
2
+ L
2
i+
1
2
L
i
1
2
L
i+
1
2
_
+ O(
2
),
(2.93)
ou seja,
(Ge
h
)
i
=
1
4
u
tt
i
_
L
i+
1
2
L
i
1
2
_
1
24
u
ttt
i
_
L
2
i
1
2
+ L
2
i+
1
2
L
i
1
2
L
i+
1
2
_
+ O(
2
), 0 i N.
(2.94)
25
De (2.11), temos que
E
i
=
v
i+
1
2
v
i
1
2
h
i
u
t
(x
i
) = (Gv
h
)
i
u
t
(x
i
)
= (G(v
h
u
h
))
i
+ (Gu
h
)
i
u
t
(x
i
) = (Ge
h
)
i
+
(u)
i
,
(2.95)
onde
(u)
i
= (Gu
h
)
i
u
t
(x
i
). Por expansoes de Taylor para u(x) em torno de x
i
,
chegamos a
(u)
i
=
u(x
i+
1
2
) u(x
i
1
2
)
h
i
u
t
(x
i
) =
1
4
u
tt
i
_
L
i+
1
2
L
i
1
2
_
+
1
24
u
ttt
i
_
L
2
i+
1
2
+ L
2
i
1
2
L
i
1
2
L
i+
1
2
_
+ O(L
3
i
1
2
) + O(L
3
i+
1
2
),
(2.96)
onde u(x) C
4
([a, b]).
Conseq uentemente,
E
i
= O(
2
), 0 i N. (2.97)
No caso Dirichlet, conhecemos e
0
(e e
N
), isto e, e
0
= 0 (e e
N
= 0). Como
E
i1
= (Gv
h
)
i1
u
t
(x
i1
) =
v
i
1
2
v
i
3
2
h
i1
u
t
i1
, (2.98)
v
i
1
2
= v
i
3
2
+ h
i1
u
t
i1
+ h
i1
E
i1
= ... = v1
2
+
i1
j=1
h
j
u
t
j
+
i1
j=1
h
j
E
j
= v
0
+
i1
j=0
h
j
u
t
j
+
i1
j=0
h
j
E
j
,
(2.99)
ou seja,
v
i
1
2
= v
0
+
i1
j=0
h
j
u
t
j
+
i1
j=0
h
j
E
j
, 1 i N + 1. (2.100)
Similarmente, como
E
i
= (Gv
h
)
i
u
t
(x
i
) =
v
i+
1
2
v
i
1
2
h
i
u
t
i
, (2.101)
v
i
1
2
= v
i+
1
2
h
i
u
t
i
h
i
E
i
, (2.102)
26
ou seja,
v
i
1
2
= v
N

N
j=i
h
j
u
t
j

N
j=i
h
j
E
j
, 0 i N. (2.103)
De (2.100) obtemos,
v
i
1
2
= v
0
+
i1
j=0
h
j
u
t
j
+
i1
j=0
h
j
E
j
= v
0
+
_
i1
j=0
h
j
u
t
j

L
i
1
2
2
u
t
i1
_
+
L
i
1
2
2
u
t
i1
+
i1
j=0
h
j
E
j
.
(2.104)
Os termos entre parenteses nesta ultima equac ao representam a aproximac ao
trapezoidal para
_
x
i1
x
0
u
t
(x)dx, e, como ja sabemos que E
j
= O(
2
), temos
v
i
1
2
= v
0
+
__
x
i1
x
0
u
t
(x) dx + O(
2
)
_
+
1
2
L
i
1
2
u
t
i1
+ O(
2
)
= v
0
+
_
u
i1
u
0
+ O(
2
)
+
1
2
L
i
1
2
u
t
i1
+ O(
2
)
= u
i1
+
1
2
L
i
1
2
u
t
i1
+ O(
2
).
(2.105)
Como u
i
1
2
= u
i1
+
1
2
L
i
1
2
u
t
i1
+
1
8
L
2
i
1
2
u
tt
i1
+ O(L
3
i
1
2
), segue que
v
i
1
2
= u
i
1
2
1
8
L
2
i
1
2
u
tt
i1
+ O(L
3
i
1
2
) + O(
2
), (2.106)
e portanto,
e
i
1
2
=
1
8
u
tt
i
1
2
L
2
i
1
2
+ O(
2
), 1 i N, (2.107)
com e
0
= 0 e e
N
= 0.
Os demais casos correspondentes às outras condicoes de contorno sao tratados
de modo inteiramente analogo, ver [10] para uma discussao detalhada.
27
Primeira Ordem para q(x) 0
Consideremos agora o problema de estimar os erros
e
[q]
i
1
2
= v
[q]
i
1
2
u
[q]
(x
i
1
2
), 0 i N + 1, (2.108)
e
E
[q]
i
=
v
[q]
i+
1
2
v
[q]
i
1
2
h
i
du
[q]
dx
(x
i
), 0 i N, (2.109)
onde v
[q]
1
2
v
[q]
0
, v
[q]
1
2
,..., v
[q]
N
1
2
, v
[q]
N+
1
2
v
[q]
N
denotam as aproximac oes obtidas para
os valores da soluc ao do problema (2.1)-(2.3), representada por u
[q]
(x), nos pontos
x
i
1
2
, 0 i N + 1, para dada funcao q(x) C
0
([a, b]) nao negativa. O proposito
desta secao e demonstrar o seguinte resultado.
Teorema 2.1. Na notacao acima, tem-se
e
[q]
i
1
2
= e
[0]
i
1
2
+ O(
2
), 0 i N + 1, (2.110)
e
E
[q]
i
= E
[0]
i
+ O(
2
), 0 i N, (2.111)
uniformemente em i, onde e
[0]
, E
[0]
denotam respectivamente os erros de solucao e
de derivada correspondentes ao caso q(x) = 0.
Demonstracao. Apresentaremos aqui a analise dos erros e
h
e E
h
, com q(x) 0,
para o caso de condic oes de contorno de Dirichlet em x = a e x = b. Para os demais
casos, o procedimento e analogo. Do tratamento algebrico realizado na Secao 2.1,
e
[q]
H
(
e soluc ao para o sistema linear algebrico
A
h
(q) e
[q]
= L
h
(u), (2.112)
A
h
(q) = A
h
(0) + Q
h
(q), (2.113)
28
onde L
h
= diag(L1
2
, ..., L
N
1
2
), Q
h
(q) = diag(q1
2
L1
2
, ..., q
N
1
2
L
N
1
2
), A
h
(q) e
dada em (2.24), (2.25) e (2.26), e (u) H
(
e o erro de truncamento dado por
(2.13). Inicialmente, consideremos o caso q(x) 0. Fixando e
[0]
,
A
h
(0) e
[0]
= L
h
(u), (2.114)
obtemos, para a diferenca e
[q]
e
[0]
, a equacao
A
h
(q) (e
[q]
e
[0]
) = Q
h
e
[0]
. (2.115)
Reduzindo (2.115) à forma triangular, obtemos, por (2.28), (2.29), (2.30),
(2.33) e (2.34),
A
h
(q) (e
[q]
e
[0]
) =

, (2.116)
com

H
(
, dado por
i
1
2
=
i
j=1
[q]
i1
c
i1
[q]
j1
c
j1
[q]
ij
L
j
1
2
q
j
1
2
e
[0]
j
1
2
, 1 i N. (2.117)
Para q(x) 0, temos (2.32), e de (2.34) segue que |
[q]
ij
| 1 para todo i, j.
Assim,
|

i
1
2
|
[q]
i1
c
i1
i
j=1
1
[q]
j1
c
j1
L
j
1
2
q
sup
| e
[0]
j
1
2
|

[q]
i1
c
i1
q
sup
i
l=1
h
l
k
l
i
j=1
L
j
1
2
| e
[0]
j
1
2
|, 1 i N,
(2.118)
isto e,
|

i
1
2
|
[q]
i1
c
i1
I
N
q
sup
N
j=1
L
j
1
2
| e
[0]
j
1
2
|, 1 i N, (2.119)
onde q
sup
= sup
x[a,b]
q(x). Ent ao, do Lema 2.1,
e
[q]
e
[0]
sup
I
N
q
sup
N
j=1
L
j
1
2
| e
[0]
j
1
2
|, 1 i N, (2.120)
29
quando q(x) 0, e como e
[0]
j
1
2
= O(L
2
j
1
2
) + O(
2
) da Secao 2.2, obtemos
e
[q]
e
[0]
sup
= O(
2
). Devido a e
[q]
i
1
2
= e
[0]
i
1
2
+ O( e
[q]
e
[0]
sup
), temos
e
[q]
i
1
2
=
1
8
u
tt
(x
i
1
2
) L
2
i
1
2
+ O(
2
), 1 i N, (2.121)
onde o tamanho da constante no termo O(
2
) depende dos valores de q(x), k(x),
1
k(x)
e das derivadas k(x)
l
, u(x)
(1+l)
, com 0 l 3, em [a, b].
Estendamos (2.121) para funcoes q() satisfazendo (2.41), procedendo da seguinte
forma. Busquemos 0 < < 1 tal que
q(x)

(b a) I
, a x b, I =
_
b
a
1
k(s)
ds, (2.122)
e suponhamos que a malha seja sucientemente na, de forma que tenhamos
I
N
=
N
l=0
h
l
k
l
+ 1
2
_
b
a
1
k(s)
ds. (2.123)
Como antes, o erro e
[q]
= v
h
u
h
da aproximac ao v
h
dado em (2.8), com
v
0
=
a
e v
N
=
b
, e determinado pela equac ao A
h
(q)e
[q]
= L
h
(u), onde
(u) H
(
e o erro de truncamento dado por (2.13). Denindo q
= sup{0, q},
seja e
[q
]
H
(
denido por A
h
(q
)e
[q
]
= L
h
(u), o que produz
A
h
(q
) (e
[q]
e
[q
]
) = Q
h
(q q
) e
[q
]
Q
h
(q q
) (e
[q]
e
[q
]
), (2.124)
onde Q
h
(q q
) = diag{(q1
2
q
1
2
)L1
2
, ..., (q
N
1
2
q
N
1
2
)L
N
1
2
}. Esta equac ao pode
ser resolvida iterativamente fazendo e
[q]
e
[q
]
= lim
p
w
p)
, com w
0)
= (0, ..., 0)
e w
1)
, w
2)
, ..., dados por
A
h
(q
) w
p)
= Q
h
(q q
) e
[q
]
Q
h
(q q
) w
p1)
, p 1. (2.125)
Assim, A
h
(q
) w
1)
= Q
h
(q q
) e
[q
]
, ou

A
h
(q
)w
1)
=

1)
na forma
triangular com
1)
i
1
2
=
i
j=1
[q
]
i1
c
i1
[q
]
j1
c
j1
[q
]
ij
L
j
1
2
_
q
j
1
2
q
j
1
2
_
e
[q
]
j
1
2
, 1 i N. (2.126)
30
Como q
0, obtemos |

1)
i
1
2
|
[q
]
i1
c
i1
I
N
q q

sup
N
j=1
L
j
1
2
| e
[q
]
j
1
2
|,
isto e,
|

1)
i
1
2
| =
[q
]
i1
c
i1
+ 1
2
1
b a
N
j=1
L
j
1
2
| e
[q
]
j
1
2
|, 1 i N, (2.127)
usando (2.122) e (2.123). De forma semelhante, obtemos, para quaisquer p 1 e
1 i N,
|

p)
i
1
2
p1)
i
1
2
|
[q
]
i1
c
i1
_
+ 1
2
_
p
1
b a
N
j=1
L
j
1
2
| e
[q
]
j
1
2
|, (2.128)
que produz, pelo Lema 2.1, w
p)
w
p1)

sup

_
+ 1
2
_
p
1
b a
N
j=1
L
j
1
2
| e
[q
]
j
1
2
|
para todo p 1. Portanto,
e
[q]
e
q
sup

p=1
w
p)
w
p1)

sup

1 +
1
1
b a
N
j=1
L
j
1
2
| e
[q
]
j
1
2
|
(2.129)
e ent ao, como | e
[q
]
j
1
2
| = O(L
2
j
1
2
) +O(
2
) de (2.121), temos que e
[q]
e
[q
sup
=
O(
2
). Isto resulta em
e
[q]
i
1
2
= e
[q
]
i
1
2
+ O( e
[q]
e
q
sup
)
=
1
8
u
tt
(x
i
1
2
) L
2
i
1
2
+ O(
2
), 1 i N.
(2.130)
Continuemos estimando E
[q]
, Ge
[q]
, e agora que (2.130) foi obtido, procedamos
como na Secao 2.2. A partir de (2.44), temos, para 0 i N,
k
i
(Ge
[q]
)
i
= k
N
(Ge
[q]
)
N

N
j=i+1
L
j
1
2
q
j
1
2
e
[q]
j
1
2
j=i+1
L
j
1
2
(u)
j
1
2
, (2.131)
onde a primeira soma tem tamanho O(
2
), por (2.130), e a ultima ja foi computada
em (2.61). Quanto a k
N
(Ge
[q]
)
N
, procedemos como antes, computando e
[q]
N
1
2
com
terceira ordem de precisao usando os metodos utilizados no tratamento algebrico
apresentado na Secao 2.1. De (2.112) e (2.113), temos A
h
(0)e
[q]
= b(u)Q
h
(q)e
[q]
,
onde b(u) = L
h
(u). Apos a eliminacao, isso torna-se

A
h
(0)e
[q]
=

b(u)

, com
31
= (
1
2
, ...,

N
1
2
) H
(
dado por
i
1
2
=
i
j=1
[0]
i1
c
i1
[0]
j1
c
j1
L
j
1
2
q
j
1
2
e
[q]
j
1
2
, 1 i N, (2.132)
conforme (2.28), (2.29), (2.30), (2.33) e (2.34). Como, |

i
1
2
|
[0]
i1
c
i1
I
N
q
sup
i
j=1
L
j
1
2
| e
[q]
j
1
2
| por (2.31) e (2.64) para j = N, de (2.28) e (2.66), obtemos
| (

A
h
(0)
1
)
N
1
2
|

[0]
N1
c
N1
c
N
+
[0]
N1
c
N1
I
N
q
sup
N
j=1
L
j
1
2
| e
[q]
j
1
2
|
=
h
N
k
N
q
sup
N
j=1
L
j
1
2
| e
[q]
j
1
2
| .
(2.133)
Para e
[0]
= A
h
(0)
1
b(u) =

A
h
(0)
1
b(u), temos e
[q]
N
1
2
= e
[0]
N
1
2
(

A
h
(0)
1
)
N
1
2
,
de maneira que, por (2.63), (2.89), (2.130), (2.133),
e
[q]
N
1
2
= h
N
_
1
4
u
tt
N
L
N
1
2
+
1
24
u
ttt
N
L
2
N
1
2
+ O(
2
)
_
, (2.134)
dando
(Ge
[q]
)
N
=
1
4
u
tt
N
L
N
1
2
1
24
u
ttt
N
L
2
N
1
2
+ O(
2
). (2.135)
Conseq uentemente, de (2.61), (2.130), (2.131), (2.135), obtemos
(Ge
[q]
)
i
=
1
4
u
tt
i
_
L
i+
1
2
L
i
1
2
_
1
24
u
ttt
i
_
L
2
i
1
2
L
i
1
2
L
i+
1
2
+ L
2
i+
1
2
_
+ O(
2
) (2.136)
para todo 0 i N tal que E
[q]
= Ge
[q]
+
(u) = O(
2
), como armado.
32
2.4 Analise do Erro da Derivada de Segunda Ordem
Analisemos inicialmente D(E)
i
1
2
, com 1 i N. Sabemos que o erro da
derivada de primeira ordem e dado por
E = Ge
h
+
(u). (2.137)
Multiplicando (2.137) por k, obtemos
k E = k Ge
h
+ k
(u), (2.138)
que, por sua vez, implica
D(k E) = D(k Ge
h
) + D(k
(u)). (2.139)
Pela equacao (2.14), como D(k Ge
h
) + q e
h
= (u), segue que
D(k E)
i
1
2
= q
i
1
2
e
i
1
2
+ (u)
i
1
2
+ D(k
(u))
i
1
2
, 1 i N. (2.140)
Alem disso,
D(w z)
i
1
2
=
w
i
z
i
w
i1
z
i1
L
i
1
2
=
w
i
w
i1
L
i
1
2
z
i
+ w
i1
z
i
z
i1
L
i
1
2
, (2.141)
isto e,
D(w z)
i
1
2
= (Dw)
i
1
2
z
i
+ w
i1
(Dz)
i
1
2
, (2.142)
o que implica
D(k E)
i
1
2
= k
i
(DE)
i
1
2
+ E
i1
D(k)
i
1
2
, (2.143)
onde
D(k)
i
1
2
=
k
i
k
i1
L
i
1
2
= k
t
i
1
2
+ O(L
2
i
1
2
), (2.144)
visto que k(x) C
3
([a, b]).
Similarmente, de (2.142), chegamos a
D(k
(u))
i
1
2
= k
i1
D(
(u))
i
1
2
+ (Dk)
i
1
2

(u)
i
. (2.145)
33
Substituindo (2.143) e (2.145) em (2.140), obtemos
k
i
(DE)
i
1
2
= E
i1
(Dk)
i
1
2
+ q
i
1
2
e
i
1
2
+ (u)
i
1
2
+ (Dk)
i
1
2
(u)
i
+ k
i1
D(
(u))
i
1
2
,
(2.146)
onde
E
i1
= O(
2
), (2.147)
(Dk)
i
1
2
= O(1), (2.148)
q
i
1
2
= O(1), (2.149)
e
i
1
2
= O(L
2
i
1
2
) + O(
2
), (2.150)
(u)
i1/2
= k
i1/2
u
tt
i1/2
_
1
h
i
+ h
i1
2L
i1/2
_
1
6
K
i1/2
u
ttt
i1/2
h
2
i
h
2
i1
L
i1/2
1
4
K
t
i1/2
u
tt
i1/2
(h
i
h
i1
)
+ O(L
2
i3/2
) + O(L
2
i1/2
) + O(L
2
i+1/2
),
(2.151)
e,
D(k)
i
1
2
= k
t
i
1
2
+ O(L
2
i
1
2
). (2.152)
Fazendo
u
t
(x
i
) = u
t
(x
i
1
2
+
1
2
L
i
1
2
)
= u
t
i
1
2
+
1
2
u
tt
i
1
2
L
i
1
2
+
1
8
u
ttt
i
1
2
L
2
i
1
2
+ O(L
3
i
1
2
),
(2.153)
segue que,
(u)
i
= (Gu
h
)
i
u
t
(x
i
) =
u(x
i
1
2
+ h
i
) u(x
i
1
2
)
h
i
u
t
(x
i
)
=
_
u
t
i
1
2
+
1
2
u
tt
i
1
2
h
i
+
1
6
u
ttt
i
1
2
h
2
i
+ O(h
3
i
)
_
u
t
i
=
1
4
u
tt
i
1
2
_
L
i+
1
2
L
i
1
2
_
+
1
6
u
ttt
i
1
2
h
2
i

1
8
u
ttt
i
1
2
L
2
i
1
2
+ O(h
3
i
),
(2.154)
ou seja,
(u)
i
=
1
4
u
tt
i
1
2
_
L
i+
1
2
L
i
1
2
_
+ O(h
2
i
). (2.155)
Alem disso,
D(
(u))
i
1
2
=
1
L
i
1
2
(
(u)
i

(u)
i1
) , (2.156)
34
onde
(u)
i
=
u(x
i
1
2
+ h
i
) u(x
i
1
2
)
h
i
u
t
(x
i
)
= u
t
i
1
2
+
1
2
u
tt
i
1
2
h
i
+
1
6
u
ttt
i
1
2
h
2
i
+ O(h
3
i
) u
t
i
,
(2.157)
e
(u)
i1
=
u(x
i
1
2
) u(x
i
1
2
h
i1
)
h
i1
u
t
(x
i1
)
=
u(x
i
1
2
) (u
i
1
2
h
i1
u
t
i
1
2
+
1
2
h
2
i1
u
tt
i
1
2
1
6
h
3
i1
u
ttt
i
1
2
+ O(h
4
i1
))
h
i1
u
t
(x
i1
)
= u
t
i
1
2
1
2
u
tt
i
1
2
h
i1
+
1
6
u
ttt
i
1
2
h
2
i1
+ O(h
3
i1
) u
t
i1
.
(2.158)
Dessa forma,
(u)
i

(u)
i1
= u
tt
i
1
2
h
i
+ h
i1
2
+
1
6
u
ttt
i
1
2
_
h
2
i
h
2
i1
_
_
u
t
i
u
t
i1
_
+ O(h
3
i
) + O(h
3
i1
).
(2.159)
Como
_
u
t
i
u
t
i1
_
= u
tt
i
1
2
L
i
1
2
+ O(L
3
i
1
2
), segue que
1
L
i
1
2
(
(u)
i

(u)
i1
) = u
tt
i
1
2
h
i
+ h
i1
2 L
i
1
2
+
1
6
u
ttt
i
1
2
h
2
i
h
2
i1
L
i
1
2
u
tt
i
1
2
+ O(L
2
i
1
2
)
+ O(L
2
i
3
2
)
L
i
3
2
L
i
1
2
+ O(L
2
i+
1
2
)
L
i+
1
2
L
i
1
2
.
(2.160)
Portanto,
D(
(u))
i
1
2
= u
tt
i
1
2
_
h
i
+ h
i1
2 L
i
1
2
1
_
+
1
6
u
ttt
i
1
2
h
2
i
h
2
i1
L
i
1
2
+ O(L
2
i
1
2
) + O(L
2
i
3
2
)
L
i
3
2
L
i
1
2
+ O(L
2
i+
1
2
)
L
i+
1
2
L
i
1
2
.
(2.161)
35
Usando as equacoes (2.151) e (2.161) em (2.146), obtemos
k
i
(DE)
i
1
2
= O(
2
) + O(L
2
i
1
2
) +
1
4
k
t
i
1
2
u
tt
i
1
2
_
L
i+
1
2
L
i
1
2
_
+ (u)
i
1
2
+ k
i1
D(
(u))
i
1
2
= O(
2
) + O(L
2
i
1
2
) +
1
4
k
t
i
1
2
u
tt
i
1
2
_
L
i+
1
2
L
i
1
2
_
+
_
k
i1/2
u
tt
i1/2
_
1
h
i
+ h
i1
2L
i1/2
_
1
6
K
i1/2
u
ttt
i1/2
h
2
i
h
2
i1
L
i1/2
1
4
K
t
i1/2
u
tt
i1/2
(h
i
h
i1
)
+ O(L
2
i3/2
) + O(L
2
i1/2
) + O(L
2
i+1/2
)
_
+ k
i1
u
tt
i
1
2
_
h
i
+ h
i1
2 L
i
1
2
1
_
+
1
6
k
i1
u
ttt
i
1
2
h
2
i
h
2
i1
L
i
1
2
+ O(L
2
i
1
2
) + O(L
2
i
3
2
)
L
i
3
2
L
i
1
2
+ O(L
2
i+
1
2
)
L
i+
1
2
L
i
1
2
= (k
i
1
2
k
i1
) u
tt
i
1
2
_
1
h
i
+ h
i1
2 L
i
1
2
_
1
6
_
k
i
1
2
k
i1
_
u
ttt
i
1
2
h
2
i
h
2
i1
L
i
1
2
+
1
4
k
t
i
1
2
u
tt
i
1
2
_
L
i+
1
2
2
L
i
1
2
+
L
i
3
2
2
_
+ O(
2
) + O(L
2
i
1
2
)
+
_
1 +
L
i
3
2
L
i
1
2
_
O(L
2
i
3
2
) +
_
1 +
L
i+
1
2
L
i
1
2
_
O(L
2
i+
1
2
).
(2.162)
Como (k
i
1
2
k
i1
) =
1
2
k
t
i
1
2
L
i
1
2
+ O(L
2
i
1
2
), temos
k
i
(DE)
i
1
2
=
1
4
k
t
i
1
2
u
tt
i
1
2
_
2 L
i
1
2
(h
i
+ h
i1
) +
L
i+
1
2
2
L
i
1
2
+
L
i
3
2
2
_
+ O(L
2
i
1
2
) + O(L
2
i
3
2
) + O(L
2
i+
1
2
) + O(
2
)
+
L
i
3
2
L
i
1
2
O(L
2
i
3
2
)
L
i+
1
2
L
i
1
2
O(L
2
i+
1
2
),
(2.163)
36
isto e,
k
i
(DE)
i
1
2
= O(L
2
i
3
2
) + O(L
2
i
1
2
) + O(L
2
i+
1
2
) + O(
2
)
+
L
i
3
2
L
i
1
2
O(L
2
i
3
2
) +
L
i+
1
2
L
i
1
2
O(L
2
i+
1
2
), 1 i N.
(2.164)
Portanto,
D(E)
i
1
2
= O(L
2
i
3
2
) + O(L
2
i
1
2
) + O(L
2
i+
1
2
) + O(
2
)
+
L
i
3
2
L
i
1
2
O(L
2
i
3
2
) +
L
i+
1
2
L
i
1
2
O(L
2
i+
1
2
), 1 i N.
(2.165)
Analisemos agora o erro da derivada de segunda ordem, denotado por E
i
1
2
.
Lembrando que e
h
= v
h
u
h
, segue que
E
i
1
2
:= D(Gv
h
)
i
1
2
u
tt
(x
i
1
2
)
= D(Ge
h
)
i
1
2
+ D(Gu
h
)
i
1
2
u
tt
i
1
2
, 1 i N.
(2.166)
Multiplicando a equacao anterior por k
i1
, e usando o fato de que
D(kGe
h
)
i
1
2
= k
i1
D(Ge
h
)
i
1
2
+ (Ge
h
)
i
D(k)
i
1
2
, e D(kGe
h
)+qe
h
= (u),
chegamos a
k
i1
E
i
1
2
= k
i1
D(Ge
h
)
i
1
2
+ k
i1
_
D(Gu
h
)
i
1
2
u
tt
i
1
2
_
= D(k Ge
h
)
i
1
2
D(k)
i
1
2
(Ge
h
)
i
+ k
i1
_
D(Gu
h
)
i
1
2
u
tt
i
1
2
_
= q
i
1
2
e
i
1
2
+ (u)
i
1
2
D(k)
i
1
2
(Ge
h
)
i
+ k
i1
_
D(Gu
h
)
i
1
2
u
tt
i
1
2
_
,
(2.167)
isto e,
k
i1
E
i
1
2
= q
i
1
2
e
i
1
2
+ (u)
i
1
2
D(k)
i
1
2
(Ge
h
)
i
+ k
i1
_
D(Gu
h
)
i
1
2
u
tt
i
1
2
_
, 1 i N,
(2.168)
onde
q
i
1
2
= O(1), (2.169)
e
i
1
2
= O(L
2
i
1
2
) + O(
2
), (2.170)
37
(u)
i1/2
= k
i1/2
u
tt
i1/2
_
1
h
i
+ h
i1
2L
i1/2
_

1
6
K
i1/2
u
ttt
i1/2
h
2
i
h
2
i1
L
i1/2
1
4
K
t
i1/2
u
tt
i1/2
(h
i
h
i1
) + O(L
2
i3/2
) + O(L
2
i1/2
) + O(L
2
i+1/2
),
(2.171)
e
D(k)
i
1
2
= k
t
i
1
2
+ O(L
2
i
1
2
). (2.172)
Fazendo
u
i+
1
2
= u(x
i
1
2
+ h
i
)
= u
i
1
2
+ u
t
i
1
2
h
i
+
1
2
u
tt
i
1
2
h
2
i
+
1
6
u
ttt
i
1
2
h
3
i
+ O(h
4
i
),
(2.173)
u
i
3
2
= u(x
i
1
2
h
i1
)
= u
i
1
2
u
t
i
1
2
h
i1
+
1
2
u
tt
i
1
2
h
2
i1

1
6
u
ttt
i
1
2
h
3
i1
+ O(h
4
i1
),
(2.174)
e usando o fato de que
D(Gu
h
)
i
1
2
=
1
L
i
1
2
_
u
i+
1
2
u
i
1
2
h
i
u
i
1
2
u
i
3
2
h
i1
_
, (2.175)
chegamos a
D(Gu
h
)
i
1
2
u
tt
i
1
2
= u
tt
i
1
2
_
h
i+1
+ h
i
2 L
i
1
2
1
_
+
1
6
u
ttt
i
1
2
h
2
i
h
2
i1
L
i
1
2
+
1
L
i
1
2
O(h
3
i
) +
1
L
i
1
2
O(h
3
i1
), 1 i N.
(2.176)
Alem disso, da equacao (2.94), temos que
(Ge
h
)
i
=
1
4
u
tt
i
_
L
i+
1
2
L
i
1
2
_
1
24
u
ttt
i
_
L
2
i
1
2
+ L
2
i+
1
2
L
i
1
2
L
i+
1
2
_
+ O(
2
), 1 i N.
(2.177)
38
Dessa forma, (2.168) pode ser reescrita como
k
i1
E
i
1
2
= O(L
2
i
1
2
) + O(
2
) + k
i
1
2
u
tt
i
1
2
_
1
h
i
+ h
i1
2 L
i
1
2
_
1
6
k
i
1
2
u
ttt
i
1
2
h
2
i
h
2
i1
L
i
1
2
1
4
k
t
i
1
2
u
tt
i
1
2
(h
i
h
i1
) + O(L
2
i
3
2
)
+ O(L
2
i
1
2
) + O(L
2
i+
1
2
) +
1
4
k
t
i
1
2
u
tt
i
_
L
i+
1
2
L
i
1
2
_
+
1
24
k
t
i
1
2
u
ttt
i
_
L
2
i
1
2
+ L
2
i+
1
2
L
i
1
2
L
i+
1
2
_
+ O(
2
) + O(L
2
i
1
2
) + O(L
2
i+
1
2
)
+ k
i1
u
tt
i
1
2
_
h
i1
+ h
i
2 L
i
1
2
1
_
+
1
6
k
i1
u
ttt
i
1
2
h
2
i
h
2
i1
L
i
1
2
+
1
L
i
1
2
O(h
3
i
) +
1
L
i
1
2
O(h
3
i1
).
(2.178)
Como u
tt
i
= u
tt
i
1
2
+ O(L
i
1
2
),
k
i1
E
i
1
2
= (k
i
1
2
k
i1
) u
tt
i
1
2
_
1
h
i
+ h
i1
2 L
i
1
2
_
1
6
(k
i
1
2
k
i1
) u
ttt
i
1
2
h
2
i
h
2
i1
L
i
1
2
+
1
4
k
t
i
1
2
u
tt
i
1
2
_
L
i+
1
2
L
i
1
2
h
i
+ h
i1
_
+ O(L
2
i
3
2
) + O(L
2
i
1
2
) + O(L
2
i+
1
2
)
+ O(
2
) +
L
i+
1
2
L
i
1
2
O(L
2
i+
1
2
) +
L
i
3
2
L
i
1
2
O(L
2
i
3
2
).
(2.179)
Escrevendo (k
i
1
2
k
i1
) =
1
2
k
t
i
1
2
L
i
1
2
+ O(L
2
i
1
2
), chegamos a
k
i1
E
i
1
2
=
1
4
k
t
i
1
2
u
tt
i
1
2
_
2 L
i
1
2
h
i1
h
i
+ L
i+
1
2
L
i
1
2
h
i
+ h
i1
_
+ O(L
2
i
1
2
) + O(L
2
i+
1
2
) + O(L
2
i
3
2
) + O(
2
)
+
L
i+
1
2
L
i
1
2
O(L
2
i+
1
2
) +
L
i
3
2
L
i
1
2
O(L
2
i
3
2
),
(2.180)
39
isto e,
k
i1
E
i
1
2
= O(L
2
i
3
2
) + O(L
2
i
1
2
) + O(L
2
i+
1
2
) + O(
2
)
+
L
i+
1
2
L
i
1
2
O(L
2
i+
1
2
) +
L
i
3
2
L
i
1
2
O(L
2
i
3
2
) 1 i N.
(2.181)
Dessa forma obtemos,
E
i
1
2
= O(L
2
i
3
2
) + O(L
2
i
1
2
) + O(L
2
i+
1
2
) + O(
2
)
+
L
i+
1
2
L
i
1
2
O(L
2
i+
1
2
) +
L
i
3
2
L
i
1
2
O(L
2
i
3
2
) 1 i N,
(2.182)
onde
E
i
1
2
= D(Gv
h
)
i
1
2
u
tt
(x
i
1
2
)
=
1
L
i
1
2
_
v
i+
1
2
v
i
1
2
h
i
v
i
1
2
v
i
3
2
h
i1
_
u
tt
i
1
2
(2.183)
e o erro da derivada de segunda ordem.
40
2.5 Resultados Numericos
Neste captulo vimos que, utilizando a discretizacao pelo metodo mimetico
de segunda ordem para o problema de Sturm-Liouville com condicoes de contorno
separaveis,
d
dx
_
k(x)
du
dx
_
+ q(x) u(x) = f (x), a < x < b, (2.184)
0
u(a)
1
k(a) u
t
(a) =
a
, (2.185)
0
u(b) +
1
k(b) u
t
(b) =
b
, (2.186)
onde
a
e
b
sao constantes quaisquer,
0
,
1
,
0
e
1
sao constantes dadas satis-
fazendo
0
,
1
,
0
,
1
0,
0
+
1
> 0,
0
+
1
> 0 e
0
+
0
> 0, e onde k(x),
q(x) e f (x) sao func oes suaves dadas, com k(x) > 0 e q(x) 0 para todo x no
intervalo [a, b], chegamos aos seguintes resultados para os erros de solucao, derivada
de primeira ordem e derivada de segunda ordem, respectivamente,
e
0
= O(
2
), e
N
= O(
2
), (2.187)
e
i
1
2
=
1
8
u
tt
i
1
2
L
2
i
1
2
+ O(
2
), 1 i N, (2.188)
E
i
= O(
2
), 0 i N, (2.189)
E
i
1
2
= O(L
2
i
3
2
) + O(L
2
i
1
2
) + O(L
2
i+
1
2
) + O(
2
)
+
L
i+
1
2
L
i
1
2
O(L
2
i+
1
2
) +
L
i
3
2
L
i
1
2
O(L
2
i
3
2
) 1 i N.
(2.190)
Assim, as aproximacoes v(x
i
1
2
) para os valores de soluc ao u(x
i
1
2
) sao afe-
tadas por erros locais e
loc
i
1
2
=
1
8
u
tt
i
1
2
L
2
i
1
2
, determinados pelos comprimentos
locais L
i
1
2
, sobrepostos nos erros e
glob
i
1
2
= e
i
1
2
e
loc
i
1
2
= O(
2
), que estao
globalmente relacionados com a distribuic ao dos pontos da malha. Nos pontos a e
b, os erros de solucao sao globalmente comportados. O erro da derivada de primeira
ordem tambem possui um comportamento global, diferente do erro de segunda or-
dem, que alem de um termo global, possui termos que dependem dos comprimentos
41
locais L
i
3
2
, L
i
1
2
e L
i+
1
2
, assim como das razoes
L
i+
1
2
L
i
1
2
e
L
i
3
2
L
i
1
2
.
Vejamos alguns exemplos que ilustram estes resultados, utilizando malhas nao-
uniformes
2
.
Exemplo 2.1. Caso Dirichlet-Dirichlet
Nas guras (2a), (2b), (2c) e (2d) apresentamos os erros de solucao e de
derivada de primeira e segunda ordens para o problema de Sturm-Liouville (2.184),
(2.185), (2.186), com
0
= 1,
1
= 0,
0
= 1,
1
= 0, k(x) = 1 + x
2
, q(x) = 5x
2
e u(x) = 1 + cos(x) no intervalo [0, 1]. Utilizamos uma malha nao-uniforme, cujas
celulas tem espacamento
H
(
N
2
)
0.5
,
H
(
N
2
1
)
0.5
, ...,
H
2
0.5
, H, H,
H
2
0.5
, ...,
H
(
N
2
1
)
0.5
,
H
(
N
2
)
0.5
,
onde H =
1
N
e N e o n umero de celulas. Para os gracos da coluna à esquerda,
N = 100, enquanto que nos gracos da coluna à direita, N = 155. Para a malha de
100 celulas, os nodos sao dados por
x
i
=
_
_
0 se i = 0,
x
i1
+
1
100(51i)
0.5
se 1 i 50,
x
i1
+
1
100(i50)
0.5
se 51 i 100.
(2.191)
Nesta malha,
2
= 2.8099e 004. Para a malha de 155 celulas, os nodos sao
dados por
x
i
=
_
_
0 se i = 0,
x
i1
+
1
155(79i)
0.5
se 1 i 78,
x
i1
+
1
155(i78)
0.5
se 79 i 155.
(2.192)
Neste caso,
2
= 1.4022e 004, ou seja, aproximadamente a metade do valor
de
2
para a malha anterior. Observemos que o termo global do erro de solucao e o
2
Simulacoes realizadas com o software MATLAB R2007a, versao 7.4.0287, em um processador
Intel Celeron M 350, 1.3 Ghz e 256 Mb de memoria RAM.
42
erro da derivada de primeira ordem caem pela metade quando
2
tambem tem seu
valor reduzido pela metade.
0 0.2 0.4 0.6 0.8 1
0
0.2
0.4
0.6
0.8
1
1.2
1.4
1.6
x 10
3
x
L
Quadrado do comprimento das clulas

L
hslash
0 0.2 0.4 0.6 0.8 1
0
0.2
0.4
0.6
0.8
1
1.2
1.4
1.6
x 10
3
x
L

L
hslash
0 0.2 0.4 0.6 0.8 1
1.5
1.55
1.6
1.65
1.7
1.75
1.8
1.85
1.9
1.95
2
x
u
,

v
Soluo computada x Soluo exata

computada
exata
0 0.2 0.4 0.6 0.8 1
1.5
1.55
1.6
1.65
1.7
1.75
1.8
1.85
1.9
1.95
2
x
u
,

v

computada
exata
0 0.2 0.4 0.6 0.8 1
0
1
2
x 10
4
Erro de soluo: soma das componentes global e local
x
e
0 0.2 0.4 0.6 0.8 1
0
1
2
x 10
4
x
e
Figura 2a - Representacao graca do erro de solucao decorrente do MIM02 para o
problema de Sturm-Liouville com condicoes de contorno de Dirichlet-Dirichlet.
43
0 0.2 0.4 0.6 0.8 1
2
1
0
1
2
3
4
x 10
4
x
C
o
m
p
o
n
e
n
t
e
s

d
o

e
r
r
o

d
e

s
o
l
u
o
Erro de soluo: componentes local e global

termo local
termo global
0 0.2 0.4 0.6 0.8 1
2
1
0
1
2
3
4
x 10
4
x
C
o
m
p
o
n
e
n
t
e
s

d
o

e
r
r
o

d
e

s
o
l
u
o

termo local
termo global
0 0.2 0.4 0.6 0.8 1
4
3
2
1
0
1
2
3
x 10
6
Erro de soluo: componente global em detalhe
x
C
o
m
p
o
n
e
n
t
e

g
l
o
b
a
l

d
o

e
r
r
o

d
e

s
o
l
u
o
0 0.2 0.4 0.6 0.8 1
4
3
2
1
0
1
2
3
x 10
6
x
C
o
m
p
o
n
e
n
t
e

g
l
o
b
a
l

d
o

e
r
r
o

d
e

s
o
l
u
o
0 0.2 0.4 0.6 0.8 1
1
0.5
0
0.5
1
1.5
2
2.5
3
3.5
x 10
4
Erro da derivada de 1 ordem
x
E
1
0 0.2 0.4 0.6 0.8 1
1
0.5
0
0.5
1
1.5
2
2.5
3
3.5
x 10
4
x
E
1
Figura 2b - Representacao graca dos erros de solucao e derivada de primeira
ordem decorrentes do MIM02 para o problema de Sturm-Liouville com condicoes
44
0 0.2 0.4 0.6 0.8 1
1.8
1.6
1.4
1.2
1
0.8
0.6
0.4
0.2
0
x 10
5
Erro da derivada de 1 ordem em detalhe
x
E
1
0 0.2 0.4 0.6 0.8 1
1.8
1.6
1.4
1.2
1
0.8
0.6
0.4
0.2
0
x 10
5
x
E
1
0 0.2 0.4 0.6 0.8 1
1
0.5
0
0.5
1
1.5
2
2.5
3
3.5
x 10
4
x
E
2
0 0.2 0.4 0.6 0.8 1
1
0.5
0
0.5
1
1.5
2
2.5
3
3.5
x 10
4
x
E
2
0 0.2 0.4 0.6 0.8 1
2
1
0
1
2
3
4
5
6
x 10
5
x
E
2
0 0.2 0.4 0.6 0.8 1
2
1
0
1
2
3
4
5
6
x 10
5
x
E
2
Figura 2c - Representacao graca dos erros de derivada de primeira e segunda
Para a malha de 100 celulas, o algoritmo mim02 dd.m foi executado em 0.006063
segundos, enquanto que para a malha de 155 celulas, levou 0.006095 segundos.
45
Exemplo 2.2. Caso Dirichlet-Neumann
Nas guras (3a) e (3b) apresentamos os erros de soluc ao e de derivada de
primeira e segunda ordens para o problema de Sturm-Liouville (2.184), (2.185),
(2.186), com
0
= 1,
1
= 0,
0
= 0,
1
= 1, k(x) = 2 + sin(x), q(x) = exp(x)
e u(x) = x + sin(x) no intervalo [0, 1]. Utilizamos uma malha nao-uniforme, cujas
H
(
N
2
)
0.9
,
H
(
N
2
1
)
0.9
, ...,
H
2
0.9
, H, H,
H
2
0.9
, ...,
H
(
N
2
1
)
0.9
,
H
(
N
2
)
0.9
,
onde H =
1
N
e N e o n umero de celulas. Neste exemplo tomamos N = 100 e os
nodos sao dados por
x
i
=
_
_
0 se i = 0,
x
i1
+
1
100(51i)
0.9
se 1 i 50,
x
i1
+
1
100(i50)
0.9
se 51 i 100.
(2.193)
Nesta malha,
2
= 0.0021.
46
0 0.2 0.4 0.6 0.8 1
0
1
2
3
4
5
6
7
8
9
x 10
3
x
L

L
hslash
0 0.2 0.4 0.6 0.8 1
0
0.2
0.4
0.6
0.8
1
1.2
1.4
1.6
1.8
2
x
u
,

v

computada
exata
0 0.2 0.4 0.6 0.8 1
0.5
0
0.5
1
1.5
2
2.5
x 10
3
x
e
0 0.2 0.4 0.6 0.8 1
1
0.5
0
0.5
1
1.5
2
2.5
x 10
3
x
C
o
m
p
o
n
e
n
t
e
s

d
o

e
r
r
o

d
e

s
o
l
u
o

termo local
termo global
0 0.2 0.4 0.6 0.8 1
3
2.5
2
1.5
1
0.5
0
x 10
4
x
C
o
m
p
o
n
e
n
t
e

g
l
o
b
a
l

d
o

e
r
r
o

d
e

s
o
l
u
o
problema de Sturm-Liouville com condicoes de contorno de Dirichlet-Neumann.
47
0 0.2 0.4 0.6 0.8 1
0.5
0
0.5
1
1.5
2
2.5
x 10
3
x
E
1
0 0.2 0.4 0.6 0.8 1
12
10
8
6
4
2
0
2
x 10
5
x
E
1
0 0.2 0.4 0.6 0.8 1
0
0.5
1
1.5
2
2.5
x 10
3
x
E
2
0 0.2 0.4 0.6 0.8 1
0.5
1
1.5
2
2.5
3
3.5
x 10
4
x
E
2
Figura 3b - Representacao graca dos erros de derivada de primeira e segunda
de contorno de Dirichlet-Neumann.
Para esta malha de 100 celulas, o algoritmo mim02 dr.m foi executado em 0.006327
segundos.
48
Exemplo 2.3. Caso Dirichlet-Robin
(2.186), com
0
= 1,
1
= 0,
0
= 1,
1
= 1, k(x) = 3+cos(x), q(x) = x
2
e u(x) =
1+cos(x) no intervalo [0, 1]. Utilizamos uma malha nao-uniforme, cujas celulas tem
espacamento
H
(
N
4
)
0.5
,
H
(
N
4
1
)
0.5
, ..., H, H,...,
H
(
N
4
1
)
0.5
,
H
(
N
4
)
0.5
,
H
(
N
4
)
0.5
,
H
(
N
4
1
)
0.5
,...,
H, H,...,
H
(
N
4
1
)
0.5
,
H
(
N
4
)
0.5
, onde H =
1
N
e N e o n umero de celulas. Aqui N = 100
e os nodos sao dados por
x
i
=
_
_
0 se i = 0,
x
i1
+
1
100(26i)
0.5
se 1 i 25,
x
i1
+
1
100(i25)
0.5
se 26 i 50,
x
i1
+
1
100(76i)
0.5
se 51 i 75,
x
i1
+
1
100(i75)
0.5
se 76 i 100.
(2.194)
Nesta malha,
2
= 2.1482e 004.
49
0 0.2 0.4 0.6 0.8 1
0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1
x 10
3
x
L

L
hslash
0 0.2 0.4 0.6 0.8 1
1.5
1.6
1.7
1.8
1.9
2
2.1
2.2
x
u
,

v

computada
exata
0 0.2 0.4 0.6 0.8 1
0
1
2
x 10
4
x
e
0 0.2 0.4 0.6 0.8 1
1.5
1
0.5
0
0.5
1
1.5
2
2.5
x 10
4
x
C
o
m
p
o
n
e
n
t
e
s

d
o

e
r
r
o

d
e

s
o
l
u
o

termo local
termo global
0 0.2 0.4 0.6 0.8 1
0
0.2
0.4
0.6
0.8
1
1.2
x 10
5
x
C
o
m
p
o
n
e
n
t
e

g
l
o
b
a
l

d
o

e
r
r
o

d
e

s
o
l
u
o
problema de Sturm-Liouville com condicoes de contorno de Dirichlet-Robin.
50
0 0.2 0.4 0.6 0.8 1
0.5
0
0.5
1
1.5
2
2.5
3
x 10
4
x
E
1
0 0.2 0.4 0.6 0.8 1
4
2
0
2
4
6
8
10
x 10
6
x
E
1
0 0.2 0.4 0.6 0.8 1
0.5
0
0.5
1
1.5
2
2.5
3
x 10
4
x
E
2
0 0.2 0.4 0.6 0.8 1
2.5
2
1.5
1
0.5
0
x 10
5
x
E
2
de contorno de Dirichlet-Robin.
Para esta malha de 100 celulas, o algoritmo mim02 dr.m foi executado em 0.006302
segundos.
51
Exemplo 2.4. Caso Neumann-Robin
(2.186), com
0
= 0,
1
= 1,
0
= 1,
1
= 1, k(x) = 1 + x
2
, q(x) = 5x
2
e
u(x) = 3x + cos(x) no intervalo [0, 1]. Utilizamos uma malha nao-uniforme, cujas
H
2
,
H
2
, 2H,
H
2
,
H
2
, 2H, ...,
H
2
,
H
2
, 2H, onde H =
1
N
e N e
o n umero de celulas. A malha utilizada aqui e de 100 celulas e os nodos sao dados
por
x
i
=
_
_
0 se i = 0,
x
i1
+ 2H se i = 3j, com 1 j 33,
x
i1
+
H
2
caso contrario, com 1 i 100,
(2.195)
onde H =
1
100
. Nesta malha,
2
= 2.7650e 004.
52
0 0.2 0.4 0.6 0.8 1
0
0.5
1
1.5
2
2.5
3
3.5
4
4.5
x 10
4
x
L

L
hslash
0 0.2 0.4 0.6 0.8 1
0.5
1
1.5
2
2.5
3
3.5
4
x
u
,

v

computada
exata
0 0.2 0.4 0.6 0.8 1
0.5
0
0.5
1
1.5
2
2.5
3
x 10
4
x
e
0 0.2 0.4 0.6 0.8 1
1
0.5
0
0.5
1
1.5
2
2.5
3
x 10
4
x
C
o
m
p
o
n
e
n
t
e
s

d
o

e
r
r
o

d
e

s
o
l
u
o

termo local
termo global
0 0.2 0.4 0.6 0.8 1
3.5
3
2.5
2
1.5
1
0.5
x 10
5
x
C
o
m
p
o
n
e
n
t
e

g
l
o
b
a
l

d
o

e
r
r
o

d
e

s
o
l
u
o
problema de Sturm-Liouville com condicoes de contorno de Neumann-Robin.
53
0 0.2 0.4 0.6 0.8 1
0.5
0
0.5
1
1.5
2
2.5
3
x 10
4
x
E
1
0 0.2 0.4 0.6 0.8 1
5
0
5
10
15
20
x 10
6
x
E
1
0 0.2 0.4 0.6 0.8 1
1
0.5
0
0.5
1
1.5
2
2.5
3
x 10
4
x
E
2
0 0.2 0.4 0.6 0.8 1
8
6
4
2
0
2
4
6
8
10
12
x 10
5
x
E
2
de contorno de Neumann-Robin.
Para esta malha de 100 celulas, o algoritmo mim02 rr.m foi executado em 0.006855
segundos.
54
Exemplo 2.5. Caso Robin-Robin
(2.186), com
0
= 1,
1
= 1,
0
= 1,
1
= 1, k(x) = 1 + x
2
, q(x) = x
3
e u(x) =
x+cos(x) no intervalo [0, 1]. Utilizamos uma malha nao-uniforme, cujas celulas tem
espacamento H, H
2
, H
2
, H
2
, H
2
, H
2
, H
2
, H
2
, H
2
, H, H
2
, H
2
, H
2
, H
2
, H
2
,
H
2
, H
2
, H
2
, ..., H, H
2
, H
2
, H
2
, H
2
, H
2
, H
2
, H
2
, H
2
, onde H =
1
N
e N e o
n umero de celulas. A malha utilizada aqui e de 500 celulas e os nodos sao dados por
x
i
=
_
_
0 se i = 0,
H se i = 1,
x
i1
+ H se i = 10j, com 1 j 50,
x
i1
+ H
2
caso contr ario, com 2 i < 500,
(2.196)
onde H =
1
500
. Nesta malha,
2
= 3.0418e 004.
55
0 0.2 0.4 0.6 0.8 1
0
0.5
1
1.5
2
2.5
3
3.5
x 10
4
x
L

L
hslash
0 0.2 0.4 0.6 0.8 1
0.9
1
1.1
1.2
1.3
1.4
1.5
1.6
x
u
,

v

computada
exata
0 0.2 0.4 0.6 0.8 1
0.5
0
0.5
1
1.5
2
2.5
3
3.5
x 10
4
x
e
0 0.2 0.4 0.6 0.8 1
0.5
0
0.5
1
1.5
2
2.5
3
3.5
x 10
4
x
C
o
m
p
o
n
e
n
t
e
s

d
o

e
r
r
o

d
e

s
o
l
u
o

termo local
termo global
0 0.2 0.4 0.6 0.8 1
2.2
2
1.8
1.6
1.4
1.2
1
0.8
0.6
0.4
x 10
5
x
C
o
m
p
o
n
e
n
t
e

g
l
o
b
a
l

d
o

e
r
r
o

d
e

s
o
l
u
o
Figura 6a - Representacao graca dos erros de solucao e de derivada de primeira e
segunda ordens decorrentes do MIM02 para o problema de Sturm-Liouville com
condicoes de contorno de Robin-Robin.
56
0 0.2 0.4 0.6 0.8 1
0.5
0
0.5
1
1.5
2
2.5
3
3.5
x 10
4
x
E
1
0 0.2 0.4 0.6 0.8 1
2
1.5
1
0.5
0
0.5
1
x 10
5
x
E
1
0 0.2 0.4 0.6 0.8 1
0.5
0
0.5
1
1.5
2
2.5
3
3.5
x 10
4
x
E
2
0 0.2 0.4 0.6 0.8 1
4
2
0
2
4
6
8
x 10
5
x
E
2
de contorno de Robin-Robin.
Para esta malha de 500 celulas, o algoritmo mim02 rr.m foi executado em 0.008050
segundos.
57
3 M
ETODO DE ELEMENTOS FINITOS DE

SEGUNDA ORDEM - FEM02
3.1 Introducao
Consideremos o problema regular de Sturm-Liouville com condic oes de con-
torno separaveis,
d
dx
_
k(x)
du
dx
_
+ q(x) u(x) = f (x), a < x < b, (3.1)
0
u(a)
1
k(a) u
t
(a) =
a
, (3.2)
0
u(b) +
1
k(b) u
t
(b) =
b
, (3.3)
com
a
e
b
constantes quaisquer,
0
,
1
,
0
e
1
0
,
1
,
0
,
1
0,
0
+
1
> 0,
0
+
1
> 0 e
0
+
0
> 0, e onde k(x), q(x) e f (x) sao
func oes suaves dadas, com k(x) > 0 e q(x) 0 para todo x no intervalo [a, b].
Sejam
i
, com 0 i N, funcoes seccionalmente lineares denidas por
i
(x) :=
_
_
x x
i1
L
i
1
2
se x
i1
x x
i
,
x
i+1
x
L
i+
1
2
se x
i
< x x
i+1
,
0 caso contr ario,
(3.4)
tais que
v(x) :=
N
j=0
v
j

j
(x) (3.5)
e uma aproximac ao para u(x) pelo metodo de elementos nitos, v
j
= v(x
j
) e
i
(a) =
i
(b) = 0, exceto para
0
e
N
, valores que nao serao usados para a resolucao do
sistema.
58
Figura 7 - Funcoes de base
0
, ...,
i
, ...,
N
.
Multiplicando a EDO (3.1) por
i
, 1 i N 1, integrando por partes o
resultado em [a, b] e utilizando o fato de que
i
(a) = 0 e
i
(b) = 0, obtemos
_
b
a
k(x) u
t
(x)
t
i
(x) dx +
_
b
a
q(x) u(x)
i
(x) dx =
_
b
a
f (x)
i
(x) dx. (3.6)
Substituindo u(x) pela aproximac ao v(x), temos que
N
j=0
v
j
_
b
a
k(x)
t
j
(x)
t
i
(x) dx +
N
j=0
v
j
_
b
a
q(x)
j
(x)
i
(x) dx
=
_
b
a
f (x)
i
(x) dx, 1 i N 1. (3.7)
Pela denic ao (3.4), temos
N
j=0
v
j
_
b
a
k(x)
t
j
(x)
t
i
(x) dx = v
i1
_
x
i
x
i1
k(x)
t
i1
(x)
t
i
(x) dx
+ v
i
_
x
i+1
x
i1
k(x)
t
i
(x)
t
i
(x) dx
+ v
i+1
_
x
i+1
x
i
k(x)
t
i+1
(x)
t
i
(x) dx,
(3.8)
59
que pode ser reescrita como,
N
j=0
v
j
_
b
a
k(x)
t
j
(x)
t
i
(x) dx =
1
L
i
1
2
_
1
L
i
1
2
_
x
i
x
i1
k(x) dx
_
v
i1
+
1
L
i
1
2
_
1
L
i
1
2
_
x
i
x
i1
k(x) dx
_
v
i
+
1
L
i+
1
2
_
1
L
i+
1
2
_
x
i+1
x
i
k(x) dx
_
v
i
1
L
i+
1
2
_
1
L
i+
1
2
_
x
i+1
x
i
k(x) dx
_
v
i+1
,
(3.9)
ou seja,
N
j=0
v
j
_
b
a
k(x)
t
j
(x)
t
i
(x) dx =

k
i
1
2
_
v
i
v
i1
L
i
1
2
_

k
i+
1
2
_
v
i+1
v
i
L
i+
1
2
_
,
(3.10)
onde
k
i
1
2
:=
1
L
i
1
2
_
x
i
x
i1
k(x) dx, 1 i N. (3.11)
Tambem temos,
N
j=0
v
j
_
b
a
q(x)
j
(x)
i
(x) dx = v
i1
_
x
i
x
i1
q(x)
i1
(x)
i
(x) dx
+ v
i
_
x
i+1
x
i1
q(x)
i
(x)
i
(x) dx
+ v
i+1
_
x
i+1
x
i
q(x)
i+1
(x)
i
(x) dx,
(3.12)
60
que pode ser reescrita como,
N
j=0
v
j
_
b
a
q(x)
j
(x)
i
(x) dx = v
i1
_
x
i
x
i1
q(x)
_
x
i
x
L
i
1
2
_ _
x x
i1
L
i
1
2
_
dx
+ v
i
_
x
i
x
i1
q(x)
_
x x
i1
L
i
1
2
_
2
dx
+ v
i
_
x
i+1
x
i
q(x)
_
x
i+1
x
L
i+
1
2
_
2
dx
+ v
i+1
_
x
i+1
x
i
q(x)
_
x
i+1
x
L
i+
1
2
_ _
x x
i
L
i+
1
2
_
dx
(3.13)
ou seja,
N
j=0
v
j
_
b
a
q(x)
j
(x)
i
(x) dx = h
i
(q v)
i
, (3.14)
onde
(q v)
i
:= v
i1
1
h
i
_
x
i
x
i1
q(x)
_
x
i
x
L
i
1
2
_ _
x x
i1
L
i
1
2
_
dx
+ v
i
1
h
i
_
x
i
x
i1
q(x)
_
x x
i1
L
i
1
2
_
2
dx
+ v
i
1
h
i
_
x
i+1
x
i
q(x)
_
x
i+1
x
L
i+
1
2
_
2
dx
+ v
i+1
1
h
i
_
x
i+1
x
i
q(x)
_
x
i+1
x
L
i+
1
2
_ _
x x
i
L
i+
1
2
_
dx, 1 i N 1.
(3.15)
Alem disso,
_
b
a
f (x)
i
(x) dx =
_
x
i
x
i1
f (x)
_
x x
i1
L
i
1
2
_
dx +
_
x
i+1
x
i
f (x)
_
x
i+1
x
L
i+
1
2
_
dx,
(3.16)
ou seja,
_
b
a
f (x)
i
(x) dx = h
i
f
i
, (3.17)
61
onde
f
i
:=
1
h
i
_
x
i
x
i1
f (x)
x x
i1
L
i
1
2
dx +
1
h
i
_
x
i+1
x
i
f (x)
x
i+1
x
L
i+
1
2
dx, 0 i N.
(3.18)
Assim, com as equac oes (3.10), (3.14) e (3.17) reescrevemos (3.7) obtendo,
portanto, o metodo de elementos nitos de segunda ordem (FEM02) dado por
1
h
i
_
k
i+
1
2
v
i+1
v
i
L
i+
1
2

k
i
1
2
v
i
v
i1
L
i
1
2
_
+ (q v)
i
=

f
i
, 1 i N 1,
(3.19)
onde

k
i
1
2
, (q v)
i
e

f
i
sao dados, respectivamente por (3.11), (3.15) e (3.18).
O metodo tambem pode ser escrito como
D(
k Gv)
i
+ (q v)
i
=

f
i
, (3.20)
onde
(Gv)
i
1
2
:=
v
i
v
i1
L
i
1
2
, 1 i N, (3.21)
(Dw)
i
:=
w
i+
1
2
w
i
1
2
h
i
, 0 i N, (3.22)
w
N+
1
2
w
N
, w
1
2
w
0
, e

k, (q v) e

f sao dadas respectivamente por (3.11),

(3.15) e (3.18).
A condicao de contorno (3.2),
0
u(a)
1
k(a) u
t
(a) =
a
, com
1
> 0, se
fosse aproximada por
0
v(a)
1
k(a) v
t
(a) =
a
, (3.23)
isto e,
0
v
0

1
k
0
v
1
v
0
L1
2
=
a
, (3.24)
produziria um metodo de primeira ordem apenas, aumentando signicativamente os
erros de aproxima cao. Por esta razao, no metodo de elementos nitos, (3.2) nao e
62
discretizada desta forma. Para discretizar a condic ao de contorno (3.2) com
1
> 0,
multipliquemos a EDO (3.1) por
0
(x) e integremos no intervalo [a, b],
_
b
a
d
dx
_
k(x)
du
dx
_

0
(x) dx +
_
b
a
q(x) u(x)
0
(x) dx =
_
b
a
f (x)
0
(x) dx.
(3.25)
Pela denic ao (3.4), segue que
k(a) u
t
(a) +
_
x
1
x
0
k(x) u
t
(x)
t
0
(x) dx +
_
x
1
x
0
q(x) u(x)
0
(x) dx
=
_
x
1
x
0
f (x)
0
(x) dx, (3.26)
e por (3.2),
1
u(a)

a
1
+
_
x
1
x
0
k(x) u
t
(x)
t
0
(x) dx +
_
x
1
x
0
q(x) u(x)
0
(x) dx
=
_
x
1
x
0
f (x)
0
(x) dx. (3.27)
Substituindo u(x) por v(x) dada em (3.5), obtemos portanto a discretizacao
1
v
0
+
_
x
1
x
0
k(x)[v
0

t
0
(x) + v
1

t
1
(x)]
t
0
(x) dx
+
_
x
1
x
0
q(x) [v
0

0
(x) + v
1

1
(x)]
0
(x) dx =

a
1
+
_
x
1
x
0
f (x)
0
(x) dx.
(3.28)
Analogamente, a condicao de contorno (3.3),
0
u(b) +
1
u
t
(b) =
b
, no
caso de se ter
1
> 0, nao deve ser discretizada como
0
v(b) +
1
k(b) v
t
(b) =
b
, (3.29)
isto e,
0
v
N
+
1
k
N
v
N
v
N1
L
N
1
2
=
b
, (3.30)
pois, novamente, tornaria o metodo de primeira ordem apenas. Para discretizar a
condic ao de contorno (3.3) com
1
> 0, multipliquemos a EDO (3.1) por
N
(x) e
63
integremos no intervalo [a, b],
_
b
a
d
dx
_
k(x)
du
dx
_

N
(x) dx +
_
b
a
q(x) u(x)
N
(x) dx =
_
b
a
f (x)
N
(x) dx.
(3.31)
Pela denic ao (3.4), segue que
k(b) u
t
(b) +
_
x
N
x
N1
k(x) u
t
(x)
t
N
(x) dx +
_
x
N
x
N1
q(x) u(x)
N
(x) dx
=
_
x
N
x
N1
f (x)
N
(x) dx, (3.32)
e por (3.3),
1
u(b)

b
1
+
_
x
N
x
N1
k(x) u
t
(x)
t
N
(x) dx +
_
x
N
x
N1
q(x) u(x)
N
(x) dx
=
_
x
N
x
N1
f (x)
N
(x) dx. (3.33)
Substituindo u(x) por v(x) dada em (3.5), obtemos portanto a discretizacao
1
v
N
+
_
x
N
x
N1
k(x) [v
N1

t
N1
(x) + v
N

t
N
(x)]
t
N
(x) dx
+
_
x
N
x
N1
q(x) [v
N1

N1
(x) + v
N

N
(x)]
N
(x) dx =

b
1
+
_
x
N
x
N1
f (x)
N
(x) dx.
(3.34)
Vamos agora encontrar o erro de truncamento para o metodo FEM02, lem-
brando que k(x) C
3
([a, b]), q(x) C
2
([a, b]), f (x) C
2
([a, b]), e conseq uente-
mente, u(x) C
4
([a, b]). O erro de truncamento e dado por
D(
k Gu)
i
+ (q u)
i
=

f
i
+ (u)
i
, 1 i N 1, (3.35)
ou seja,
1
h
i
_
k
i+
1
2
u
i+1
u
i
L
i+
1
2

k
i
1
2
u
i
u
i1
L
i
1
2
_
+ (q u)
i
=

f
i
+ (u)
i
, 1 i N 1. (3.36)
64
Utilizando expansoes de Taylor para k(x),
k(x) = k
i
+ k
t
i
(x x
i
) +
1
2
k
tt
i
(x x
i
)
2
+ O((x x
i
)
3
), (3.37)
obtemos,
k
i
1
2
=
1
L
i
1
2
_
x
i
x
i1
k(x) dx
= k
i

1
2
k
t
i
L
i
1
2
+
1
6
k
tt
i
L
2
i
1
2
+ O(L
3
i
1
2
),
(3.38)
e
k
i+
1
2
=
1
L
i+
1
2
_
x
i+1
x
i
k(x) dx
= k
i
+
1
2
k
t
i
L
i+
1
2
+
1
6
k
tt
i
L
2
i+
1
2
+ O(L
3
i+
1
2
).
(3.39)
Alem disso, utilizando expansoes de Taylor para a func ao u(x), obtemos que
u
i+1
= u(x
i
+ L
i+
1
2
)
= u
i
+ u
t
i
L
i+
1
2
+
1
2
u
tt
i
L
2
i+
1
2
+
1
6
u
ttt
i
L
3
i+
1
2
+ O(L
4
i+
1
2
),
(3.40)
e
u
i1
= u(x
i
L
i
1
2
)
= u
i
u
t
i
L
i
1
2
+
1
2
u
tt
i
L
2
i
1
2
1
6
u
ttt
i
L
3
i
1
2
+ O(L
4
i
1
2
),
(3.41)
e para as funcoes q(x) e f (x),
q(x) = q
i
+ q
t
i
(x x
i
) + O((x x
i
)
2
), (3.42)
e
f (x) = f
i
+ f
t
i
(x x
i
) + O((x x
i
)
2
). (3.43)
65
Por (3.42),
_
x
i
x
i1
q(x)
i1
(x)
i
(x) dx =
_
x
i
x
i1
q(x)
_
x
i
x
L
i
1
2
_ _
x x
i1
L
i
1
2
_
dx
= q
i
_
x
i
x
i1
_
x
i
x
L
i
1
2
_ _
x x
i1
L
i
1
2
_
dx
+ q
t
i
_
x
i
x
i1
(x x
i
)
_
x
i
x
L
i
1
2
_ _
x x
i1
L
i
1
2
_
dx
+ O(L
3
i
1
2
).
(3.44)
Utilizando integrac ao por partes,
_
b
a
_
b x
L
_ _
x a
L
_
=
1
L
2
_
b
a
(b x)
_
(x a)
2
2
_
t
dx
=
1
2 L
2
_
b
a
(x a)
2
dx
=
1
2 L
2
L
3
3
=
L
6
,
(3.45)
onde L = b a.
Da mesma forma,
1
L
2
_
b
a
(x b)
2
(x a) dx =
1
L
2
_
b
a
_
(x b)
3
3
_
t
(x a) dx
=
1
3 L
2
_
b
a
(x b)
3
dx
=
1
12 L
2
( L
4
) =
L
2
12
,
(3.46)
para L = b a.
Assim, (3.44) torna-se,
_
x
i
x
i1
q(x)
i1
(x)
i
(x) dx =
1
6
q
i
L
i
1
2
1
12
q
t
i
L
2
i
1
2
+ O(L
3
i
1
2
). (3.47)
66
Agora,
_
x
i
x
i1
q(x)
i
(x)
i
(x) dx =
_
x
i
x
i1
q(x)
(x x
i1
)
2
L
2
i
1
2
dx
= q
i
_
x
i
x
i1
(x x
i1
)
2
L
2
i
1
2
dx
+ q
t
i
_
x
i
x
i1
(x x
i
)
(x x
i1
)
2
L
2
i
1
2
dx + O(L
3
i
1
2
).
(3.48)
Observando que
_
b
a
(x a)
2
L
2
dx =
L
3
, (3.49)
e que
_
b
a
(x b)
_
x a
L
_
2
=
L
2
12
, (3.50)
segue que
_
x
i
x
i1
q(x)
i
(x)
i
(x) dx =
1
3
q
i
L
i
1
2
1
12
q
t
i
L
2
i
1
2
+ O(L
3
i
1
2
). (3.51)
Temos tambem que
_
x
i+1
x
i
q(x)
i
(x)
i
(x) dx =
_
x
i+1
x
i
q(x)
(x x
i+1
)
2
L
2
i+
1
2
dx
= q
i
_
x
i+1
x
i
(x x
i+1
)
2
L
2
i+
1
2
dx
+ q
t
i
_
x
i+1
x
i
(x x
i
)
(x x
i+1
)
2
L
2
i+
1
2
dx
+ O(L
3
i+
1
2
).
(3.52)
Usando as observac oes (3.46) e (3.49) temos,
_
x
i+1
x
i
q(x)
i
(x)
i
(x) dx =
1
3
q
i
L
i+
1
2
+
1
12
q
t
i
L
2
i+
1
2
+ O(L
3
i+
1
2
). (3.53)
67
Por m,
_
x
i+1
x
i
q(x)
i+1
(x)
i
(x) dx =
_
x
i+1
x
i
q(x)
_
x x
i
L
i+
1
2
_ _
x
i+1
x
L
i+
1
2
_
dx
= q
i
_
x
i+1
x
i
_
x x
i
L
i+
1
2
_ _
x
i+1
x
L
i+
1
2
_
dx
+ q
t
i
_
x
i+1
x
i
(x x
i
)
_
x x
i
L
i+
1
2
_ _
x
i+1
x
L
i+
1
2
_
dx
+ O(L
3
i+
1
2
).
(3.54)
Pelas observa coes (3.45) e (3.50) chegamos a
_
x
i+1
x
i
q(x)
i+1
(x)
i
(x) dx =
1
6
q
i
L
i+
1
2
+
1
12
q
t
i
L
2
i+
1
2
+ O(L
3
i+
1
2
). (3.55)
Usando as equacoes (3.47), (3.51), (3.53) e (3.55) em (3.15), obtemos
h
i
(q v)
i
= v
i1
_
x
i
x
i1
q(x)
i1
(x)
i
(x) dx + v
i
_
x
i+1
x
i1
q(x)
2
i
(x) dx
+ v
i+1
_
x
i+1
x
i
q(x)
i+1
(x)
i
(x) dx
= v
i1
_
1
6
q
i
L
i
1
2
1
12
q
t
i
L
2
i
1
2
+ O(L
3
i
1
2
)
_
+ v
i
_
1
3
q
i
(L
i
1
2
+ L
i+
1
2
) +
1
12
q
t
i
(L
2
i+
1
2
L
2
i
1
2
) + O(L
3
i
1
2
)
+ O(L
3
i+
1
2
)
_
+ v
i+1
_
1
6
q
i
L
i+
1
2
+
1
12
q
t
i
L
2
i+
1
2
+ O(L
3
i+
1
2
)
_
.
(3.56)
Dessa forma,
h
i
(q u)
i
= u(x
i
L
i
1
2
)
_
1
6
q
i
L
i
1
2
1
12
q
t
i
L
2
i
1
2
+ O(L
3
i
1
2
)
_
+ u(x
i
)
_
1
3
q
i
L
i
1
2
+
1
3
q
i
L
i+
1
2
+
1
12
q
t
i
(L
2
i+
1
2
L
2
i
1
2
) + O(L
3
i
1
2
) + O(L
3
i+
1
2
)
_
+ u(x
i
+ L
i+
1
2
)
_
1
6
q
i
L
i+
1
2
+
1
12
q
t
i
L
2
i+
1
2
+ O(L
3
i+
1
2
)
_
.
(3.57)
68
Por (3.40) e (3.41) temos,
h
i
(q u)
i
= u
i
_
1
6
q
i
L
i
1
2
1
12
q
t
i
L
2
i
1
2
+
1
3
q
i
L
i
1
2
+
1
3
q
i
L
i+
1
2
+
1
12
q
t
i
L
2
i+
1
2
1
12
q
t
i
L
2
i
1
2
+
1
6
q
i
L
i+
1
2
+
1
12
q
t
i
L
2
i+
1
2
_
+ u
t
i
_
1
6
q
i
L
2
i
1
2
+
1
6
q
i
L
2
i+
1
2
_
+ O(L
3
i
1
2
) + O(L
3
i+
1
2
)
= u
i
q
i
L
i
1
2
+ L
i+
1
2
2
+
1
6
u
i
q
t
i
_
L
2
i+
1
2
L
2
i
1
2
_
+
1
6
u
t
i
q
i
_
L
2
i+
1
2
L
2
i
1
2
_
+ O(L
3
i
1
2
) + O(L
3
i+
1
2
).
(3.58)
Assim,
(q u)
i
= q
i
u
i
+
1
3
(q
i
u
t
i
+ q
t
i
u
i
)
_
L
i+
1
2
L
i
1
2
_
+ O(L
2
i
1
2
) + O(L
2
i+
1
2
).
(3.59)
Por m, de (3.43) temos,
_
b
a
f (x)
i
(x) dx =
_
x
i
x
i1
f (x)
x x
i1
L
i
1
2
dx +
_
x
i+1
x
i
f (x)
x
i+1
x
L
i+
1
2
dx
= f
i
_
x
i
x
i1
x x
i1
L
i
1
2
dx + f
t
i
_
x
i
x
i1
(x x
i
)
x x
i1
L
i
1
2
dx
+ O(L
3
i
1
2
) + f
i
_
x
i+1
x
i
x
i+1
x
L
i+
1
2
dx
+ f
t
i
_
x
i+1
x
i
(x x
i
)
x
i+1
x
L
i+
1
2
dx + O(L
3
i+
1
2
),
(3.60)
com O(L
3
i
1
2
) e O(L
3
i+
1
2
) dependendo de f
tt
(x) em [x
i1
, x
i+1
]. Observando que
_
b
a
x a
L
dx =
L
2
, (3.61)
_
b
a
(x b)
x a
L
dx =
L
2
6
, (3.62)
_
b
a
b x
L
dx =
L
2
, (3.63)
e
_
b
a
(x a)
b x
L
dx =
L
2
6
, (3.64)
69
segue que,
_
b
a
f (x)
i
(x) dx = f
i
L
i
1
2
+ L
i+
1
2
2
+
1
6
f
t
i
_
L
2
i+
1
2
L
2
i
1
2
_
+ O(L
3
i
1
2
) + O(L
3
i+
1
2
). (3.65)
Lembrando da relacao (3.17) para

f, chegamos a
f
i
=
1
h
i
_
x
i+1
x
i1
f (x)
i
(x) dx
= f
i
+
1
3
f
t
i
_
L
i+
1
2
L
i
1
2
_
+ O(L
2
i
1
2
) + O(L
2
i+
1
2
).
(3.66)
Utilizando as equacoes (3.38), (3.39), (3.40), (3.41), (3.59) e (3.66) em (3.36),
1
h
i
_
k
i+
1
2
u
i+1
u
i
L
i+
1
2

k
i
1
2
u
i
u
i1
L
i
1
2
_
+ (q u)
i
=

f
i
+ (u)
i
, 1 i N 1, (3.67)
obtemos,
(u)
i
=
1
h
i
__
k
i
+
1
2
k
t
i
L
i+
1
2
+
1
6
k
tt
i
L
2
i+
1
2
+ O(L
3
i+
1
2
)
_
_
u
t
i
+
1
2
u
tt
i
L
i+
1
2
+
1
6
u
ttt
i
L
2
i+
1
2
+ O(L
3
i+
1
2
)
_
_
k
i

1
2
k
t
i
L
i
1
2
+
1
6
k
tt
i
L
2
i
1
2
+ O(L
3
i
1
2
)
_
_
u
t
i

1
2
u
tt
i
L
i
1
2
+
1
6
u
ttt
i
L
2
i
1
2
+ O(L
3
i
1
2
)
__
+
_
q
i
u
i
+
1
3
(q
i
u
t
i
+ q
t
i
u
i
)
_
L
i+
1
2
L
i
1
2
_
+ O(L
2
i
1
2
) + O(L
2
i+
1
2
)
_
_
f
i
+
1
3
f
t
i
_
L
i+
1
2
L
i
1
2
_
+ O(L
2
i
1
2
) + O(L
2
i+
1
2
)
_
.
(3.68)
70
Assim,
(u)
i
=
1
h
i
_
k
i
u
tt
i
L
i+
1
2
+ L
i
1
2
2
+ k
t
i
u
t
i
L
i+
1
2
+ L
i
1
2
2
+
1
6
k
i
u
ttt
i
_
L
2
i+
1
2
L
2
i
1
2
_
+
1
4
k
t
i
u
tt
i
_
L
2
i+
1
2
L
2
i
1
2
_
+
1
6
k
tt
i
u
t
i
_
L
2
i+
1
2
L
2
i
1
2
_
+ O(L
3
i
1
2
) + O(L
3
i+
1
2
)
_
+
_
q
i
u
i
+
1
3
(q
i
u
t
i
+ q
t
i
u
i
)
_
L
i+
1
2
L
i
1
2
_
+ O(L
2
i
1
2
) + O(L
2
i+
1
2
)
_
_
f
i
+
1
3
f
t
i
_
L
i+
1
2
L
i
1
2
_
+ O(L
2
i
1
2
) + O(L
2
i+
1
2
)
_
=
_
k
i
u
tt
i
k
t
i
u
t
i
+ q
i
u
i
f
i
_
+
1
3
_
L
i+
1
2
L
i
1
2
_
_
k
i
u
ttt
i
2 k
t
i
u
tt
i
k
tt
i
u
t
i
+ q
i
u
t
i
+ q
t
i
u
i
f
t
i
_
+
1
6
k
t
i
u
tt
i
_
L
i+
1
2
L
i
1
2
_
+ O(L
2
i
1
2
) + O(L
2
i+
1
2
).
(3.69)
Por (3.1) temos que k
i
u
tt
i
k
t
i
u
t
i
+q
i
u
i
f
i
= 0 e (k
i
u
tt
i
k
t
i
u
t
i
+q
i
u
i
f
i
)
t
= 0
e, portanto,
(u)
i
=
1
6
k
t
i
u
tt
i
_
L
i+
1
2
L
i
1
2
_
+ O(L
2
i
1
2
) + O(L
2
i+
1
2
). (3.70)
Alem disso, o erro da soluc ao e
h
para FEM02 e dado por
e
i
= v
i
u
i
, 0 i N, (3.71)
e o erro da derivada E
h
por
E
i
1
2
= (Gv)
i
1
2
u
t
(x
i
1
2
)
= (G(v u))
i
1
2
+ (Gu)
i
1
2
u
t
(x
i
1
2
)
= (Ge
h
)
i
1
2
+ (Gu)
i
1
2
u
t
(x
i
1
2
), 1 i N,
(3.72)
onde
(Gv)
i
1
2
=
v
i
v
i1
L
i
1
2
, 1 i N. (3.73)
71
Assim,
E
h
= Ge
h
+
(u), (3.74)
onde
(u)
i
1
2
:=
u
i
u
i1
L
i
1
2
u
t
(x
i
1
2
), 1 i N. (3.75)
Por expansao de Taylor temos,
(u)
i
1
2
=
1
24
u
ttt
i
1
2
L
2
i
1
2
+ O(L
3
i
1
2
), 1 i N. (3.76)
Finalmente,
k
i
1
2
(Ge
h
)
i
1
2
=

k
N
1
2
(Ge
h
)
N
1
2
N1
j=i
_
k
j+
1
2
(Ge
h
)
j+
1
2

k
j
1
2
(Ge
h
)
j
1
2
_
=

k
N
1
2
(Ge
h
)
N
1
2
N1
j=i
h
j
k
j+
1
2
(Ge
h
)
j+
1
2

k
j
1
2
(Ge
h
)
j
1
2
h
j
,
(3.77)
isto e,
k
i
1
2
(Ge
h
)
i
1
2
=

k
N
1
2
(Ge
h
)
N
1
2
N1
j=i
h
j
D(
k Ge
h
)
j
, 1 i N. (3.78)
72
Primeira Ordem para q(x) = 0
Consideremos o problema de Sturm-Liouville com condic oes de contorno de
Dirichlet em x = a e x = b,
d
dx
_
k(x)
du
dx
_
+ q(x) u(x) = f (x), a < x < b, (3.79)
0
u(a) =
a
,
0
u(b) =
b
. (3.80)
onde
a
e
b
sao constantes dadas,
0
> 0,
0
> 0, k(x) C
3
([a, b]), q(x)
C
2
([a, b]), f (x) C
2
([a, b]), k(x) > 0 em [a, b], q(x) 0 em [a, b] e u(x) C
4
([a, b]).
Da secao (3.1), sabemos que o problema discreto correspondente e dado por
1
h
i
_
k
i+
1
2
v
i+1
v
i
L
i+
1
2

k
i
1
2
v
i
v
i1
L
i
1
2
_
+ (q v)
i
=

f
i
, 1 i N 1,
(3.81)
v
0
=

a
0
, v
N
=

b
0
, (3.82)
onde,
k
i
1
2
=
1
L
i
1
2
_
x
i
x
i1
k(x) dx, 1 i N, (3.83)
f
i
=
1
h
i
_
x
i+1
x
i1
f (x)
i
(x) dx, 1 i N 1, (3.84)
e
(q v)
i
=
1
h
i
_
v
i1
_
x
i
x
i1
q(x)
i1
(x)
i
(x) dx + v
i
_
x
i+1
x
i1
q(x)
i
(x)
2
dx
+ v
i+1
_
x
i+1
x
i
q(x)
i+1
(x)
i
(x) dx
_
, 1 i N 1.
(3.85)
73
Notemos que e
0
= v
0
u
0
= 0 e e
N
= v
N
u
N
= 0. Poderamos escrever as
equac oes (3.84) e (3.85) para i = 0 e i = N na forma
f
0
=
1
h
0
_
x
1
x
0
f (x)
0
(x) dx, (3.86)
f
N
=
1
h
N
_
x
N
x
N1
f (x)
N
(x) dx, (3.87)
(q v)
0
=
1
h
0
_
v
0
_
x
1
x
0
q(x)
0
(x)
2
dx + v
1
_
x
1
x
0
q(x)
1
(x)
0
(x) dx
_
, (3.88)
(q v)
N
=
1
h
N
_
v
N1
_
x
N
x
N1
q(x)
N1
(x)
N
(x) dx + v
N
_
x
N
x
N1
q(x)
N
(x)
2
dx
_
,
(3.89)
mas estes valores nao serao utilizados no caso do problema de Sturm-Liouville com
condic oes de Dirichlet.
O FEM02 dado em (3.81) - (3.85) pode ser escrito como
D(
k Gv
h
) + (q v
h
) = f, (3.90)
onde
(Dz)
i
:=
z
i+
1
2
z
i
1
2
h
i
, 1 i N 1, (3.91)
e
(Gw)
i
1
2
:=
w
i
w
i1
L
i
1
2
, 1 i N. (3.92)
Consideremos agora o caso q(x) = 0. Subtraindo D(
k Gu
h
) + (q u
h
) =
f + (u) da equacao (3.90), chegamos a
D(
k Ge
h
) + (q e
h
) = (u). (3.93)
Utilizando q(x) = 0 em (3.93), e levando o resultado na equacao (3.78) obte-
mos,
k
i
1
2
(Ge
h
)
i
1
2
=

k
N
1
2
(Ge
h
)
N
1
2
N1
j=i
h
j
(u)
j
, 1 i N. (3.94)
74
Usando a equac ao (3.70) para o erro de truncamento, o fato de que h
j
=
L
j+
1
2
+L
j
1
2
2
e denindo w(x) := k
t
(x)u
tt
(x), temos que
N1
j=i
h
j
(u)
j
=
1
12
N1
j=i
w
j
_
L
2
j+
1
2
L
2
j
1
2
_
+ O(
2
)
=
1
12
N1
j=i
_
w
j+
1
2
L
2
j+
1
2
w
j
1
2
L
2
j
1
2
_
1
12
N1
j=i
(w
j+
1
2
w
j
) L
2
j+
1
2
1
12
N1
j=i
(w
j
w
j
1
2
) L
2
j
1
2
+ O(
2
).
(3.95)
Como (w
j+
1
2
w
j
) = O(L
j+
1
2
) e (w
j
w
j
1
2
) = O(L
j
1
2
),
N1
j=i
h
j
(u)
j
=
1
12
_
w
N
1
2
L
2
N
1
2
w
i
1
2
L
2
i
1
2
_
+ O(
2
), (3.96)
isto e,
N1
j=i
h
j
(u)
j
=
1
12
k
t
N
1
2
u
tt
N
1
2
L
2
N
1
2
1
12
k
t
i
1
2
u
tt
i
1
2
L
2
i
1
2
+ O(
2
)
1 i N 1. (3.97)
Para computar (Ge
h
)
N
1
2
=
e
N
e
N1
L
N
1
2
=
e
[0]
N1
L
N
1
2
, precisamos computar e
N1
:
_
_
a
[0]
1
c3
2
0 0 0 0
c3
2
a
[0]
2
c5
2
0 0 0
0 c5
2
a
[0]
3
0 0 0

0 0 0 a
[0]
N3
c
N
5
2
0
0 0 0 c
N
5
2
a
[0]
N2
c
N
3
2
0 0 0 0 c
N
3
2
a
[0]
N1
_
_
_
_
e
[0]
1
e
[0]
2
e
[0]
3
e
[0]
N3
e
[0]
N2
e
[0]
N1
_
_
=
_
_
b(u)
[0]
1
b(u)
[0]
2
b(u)
[0]
3
b(u)
[0]
N3
b(u)
[0]
N2
b(u)
[0]
N1
_
_
,
(3.98)
75
onde
c
i
1
2
=
k
i
1
2
L
i
1
2
, 1 i N, (3.99)
a
[0]
i
= c
i
1
2
+ c
i+
1
2
, 1 i N 1, (3.100)
b(u)
i
= h
i
(u)
i
, 1 i N 1. (3.101)
Reduzindo à forma triangular superior pela eliminac ao Gaussiana, obtemos,
_
_
a
[0]
1
c3
2
0 0 0 0
0 a
[0]
2
c5
2
0 0 0
0 0 a
[0]
3
0 0 0

0 0 0 a
[0]
N3
c
N
5
2
0
0 0 0 0 a
[0]
N2
c
N
3
2
0 0 0 0 0 a
[0]
N1
_
_
_
_
e
[0]
1
e
[0]
2
e
[0]
3
e
[0]
N3
e
[0]
N2
e
[0]
N1
_
_
=
_
b(u)
[0]
1
b(u)
[0]
2
b(u)
[0]
3
b(u)
[0]
N3
b(u)
[0]
N2
b(u)
[0]
N1
_
_
,
(3.102)
onde
a
[0]
j
= c
j+
1
2
+
[0]
j
c
j
1
2
, 1 j N 1, (3.103)
b(u)
[0]
j
=
j
l=1
c
j
1
2
[0]
j
c
l
1
2
[0]
l
b(u)
l
, 1 j N 1, (3.104)
com
[0]
1
,
[0]
2
,...,
[0]
N1
dados por
[0]
1
= 1, (3.105)
[0]
j
=
c
j
3
2
[0]
j1
c
j
1
2
+ c
j
3
2
[0]
j1
, 2 j N. (3.106)
De (3.105) e (3.106) temos,
1
c
j
1
2
[0]
j
=
j
l=1
L
l
1
2
k
l
1
2
. (3.107)
76
Denindo
I
j
:=
j
l=1
L
l
1
2
k
l
1
2
, (3.108)
temos,
b(u)
[0]
j
=
j
l=1
c
j
1
2
[0]
j
c
l
1
2
[0]
l
h
l
(u)
l
= c
j
1
2
[0]
j
j
l=1
I
l
h
l
(u)
l
. (3.109)
Em particular,
e
[0]
N1
=
b(u)
[0]
N1
a
[0]
N1
=
c
N
3
2
[0]
N1
c
N
1
2
+ c
N
3
2
[0]
N1
N1
j=1
I
j
h
j
(u)
j
. (3.110)
Agora,
c
N
3
2
[0]
N1
c
N
1
2
+ c
N
3
2
[0]
N1
=
1
1 +
c
N
1
2
c
N
3
2
[0]
N1
=
1
c
N
1
2
1
1
c
N
1
2
+
1
c
N
3
2
[0]
N1
=
L
N
1
2
k
N
1
2
1
L
N
1
2
k
N
1
2
+
N1
j=1
L
j
1
2
k
j
1
2
=
L
N
1
2
k
N
1
2
1
N
j=1
L
j
1
2
k
j
1
2
,
(3.111)
isto e,
c
N
3
2
[0]
N1
c
N
1
2
+ c
N
3
2
[0]
N1
=
L
N
1
2
k
N
1
2
I
N
. (3.112)
Alem disso, pela equacao (3.70) para o erro de truncamento, pelo fato de que
h
j
=
1
2
(L
j+
1
2
+ L
j
1
2
) e denindo w(x) := k
t
(x)u
tt
(x), temos que
N1
j=1
I
j
h
j
(u)
j
=
1
12
N1
j=1
I
j
w
j
_
L
2
j+
1
2
L
2
j
1
2
_
+ O(
2
)
=
1
12
N1
j=1
_
I
j+1
w
j+
1
2
L
2
j+
1
2

I
j
w
j
1
2
L
2
j
1
2
_
1
12
N1
j=1
(
I
j+1
w
j+
1
2

I
j
w
j
) L
2
j+
1
2
1
12
N1
j=1
I
j
(w
j
w
j
1
2
) L
2
j
1
2
+ O(
2
).
(3.113)
77
Como (
I
j+1
w
j+
1
2

I
j
w
j
) = (
I
j+1

I
j
)w
j+
1
2
+

I
j
(w
j+
1
2
w
j
), (
I
j+1

I
j
) =
L
j+
1
2
k
j+
1
2
= O(L
j+
1
2
) e (w
j+
1
2
w
j
) = O(L
j+
1
2
), segue que
N1
j=1
I
j
h
j
(u)
j
=
1
12
_
I
N
w
N
1
2
L
2
N
1
2

I
1
w1
2
L
2
1
2
_
+ O(
2
). (3.114)
Como

I
1
w1
2
L
2
1
2
= O(L
3
1
2
) = O(
2
), temos
N1
j=1
I
j
h
j
(u)
j
=
1
12
I
N
k
t
N
1
2
u
tt
N
1
2
L
2
N
1
2
+ O(
2
). (3.115)
Usando as equacoes (3.112) e (3.115) em (3.110), chegamos a
e
[0]
N1
=
c
N
3
2
[0]
N1
c
N
1
2
+ c
N
3
2
[0]
N1
N1
j=1
I
j
h
j
(u)
j
=
L
N
1
2
k
N
1
2
I
N
_
1
12
I
N
k
t
N
1
2
u
tt
N
1
2
L
2
N
1
2
+ O(
2
)
_
= L
N
1
2
_
1
12
k
t
N
1
2
u
tt
N
1
2
k
N
1
2
L
2
N
1
2
+ O(
2
)
_
.
(3.116)
Finalmente,
(Ge
h
)
N
1
2
=
1
L
N
1
2
_
L
N
1
2
_
1
12
k
t
N
1
2
u
tt
N
1
2
k
N
1
2
L
2
N
1
2
+ O(
2
)
__
, (3.117)
isto e,
k
N
1
2
(Ge
h
)
N
1
2
=
1
12
k
t
N
1
2
u
tt
N
1
2
L
2
N
1
2
+ O(
2
). (3.118)
Levando (3.97) e (3.118) na equacao (3.94), obtemos
k
i
1
2
(Ge
[0]
)
i
1
2
=

k
N
1
2
(Ge
[0]
)
N
1
2
N1
j=i
h
j
(u)
j
=
_
1
12
k
t
N
1
2
u
tt
N
1
2
L
2
N
1
2
+ O(
2
)
_
_
1
12
k
t
N
1
2
u
tt
N
1
2
L
2
N
1
2
1
12
k
t
i
1
2
u
tt
i
1
2
L
2
i
1
2
+ O(
2
)
_
,
(3.119)
78
ou seja,
k
i
1
2
(Ge
[0]
)
i
1
2
=
1
12
k
t
i
1
2
u
tt
i
1
2
L
2
i
1
2
+ O(
2
), 1 i N. (3.120)
Determinemos agora o erro da derivada de primeira ordem. Das equacoes
(3.76) e (3.120), segue que
k
i
1
2
E
[0]
i
1
2
=

k
i
1
2
(Ge
h
)
i
1
2
+

k
i
1
2

(u)
i
1
2
=
1
12
k
t
i
1
2
u
tt
i
1
2
L
2
i
1
2
+ O(
2
) +
1
24
k
i
1
2
u
ttt
i
1
2
L
2
i
1
2
+ O(L
2
i
1
2
),
(3.121)
isto e,
E
[0]
i
1
2
=
1
12
k
t
i
1
2
u
tt
i
1
2
k
i
1
2
L
2
i
1
2
+
1
24
u
ttt
i
1
2
L
2
i
1
2
+ O(
2
), 1 i N, (3.122)
onde
k
i
1
2
=
1
L
i
1
2
_
x
i
x
i1
k(x) dx = k
i
1
2
+ O(L
2
i
1
2
), (3.123)
ou, equivalentemente,
E
[0]
i
1
2
=
1
12
_
k
t
i
1
2
u
tt
i
1
2
k
i
1
2
+
1
2
u
ttt
i
1
2
_
L
2
i
1
2
+ O(
2
), 1 i N. (3.124)
Com esse resultado, estimemos o erro de solucao e
[0]
. Como
E
i
1
2
=
v
i
v
i1
L
i
1
2
u
t
(x
i
1
2
), (3.125)
segue que,
v
i
= v
i1
+ u
t
i
1
2
L
i
1
2
+ E
i
1
2
L
i
1
2
= v
i2
+
_
u
t
i
3
2
L
i
3
2
+ u
t
i
1
2
L
i
1
2
_
+
_
E
i
3
2
L
i
3
2
+ E
i
1
2
L
i
1
2
_
= ... = v
1
+
i
j=2
u
t
j
1
2
L
j
1
2
+
i
j=2
E
j
1
2
L
j
1
2
= v
0
+
i
j=1
u
t
j
1
2
L
j
1
2
+
i
j=1
E
j
1
2
L
j
1
2
.
(3.126)
79
Como
i
j=1
u
t
j
1
2
L
j
1
2
e uma aproximac ao pelo ponto medio de
_
x
i
x
0
u
t
(x) dx,
cujo erro e O(
2
), e como E
j
1
2
= O(L
2
j
1
2
) + O(
2
), obtemos
v
i
= v
0
+
i
j=1
u
t
j
1
2
L
j
1
2
+
i
j=1
E
j
1
2
L
j
1
2
= v
0
+
__
x
i
x
0
u
t
(x) dx + O(
2
)
_
+ O(
2
)
= v
0
u
0
+ u
i
+ O(
2
),
(3.127)
isto e,
e
i
= e
0
+ O(
2
), 1 i N. (3.128)
Como e
0
= 0, temos que o erro de solucao para q(x) = 0 e,
e
i
= O(
2
), 1 i N 1. (3.129)
Notemos que, para este caso, e
0
= 0, e
N
= 0, e
1
= O(L
3
1
2
) e e
N1
= O(L
3
N
1
2
).
Os demais casos correspondentes às outras condicoes de contorno sao tratados
de modo inteiramente analogo, ver [10] para uma discussao detalhada.
80
Primeira Ordem para q(x) 0
Os resultados aqui sao inteiramente analogos aos da Secao 2.3 referente ao
metodo mimetico. Sendo u
[q]
(x) a solucao do problema (3.1)-(3.3) para dada func ao
q(x) C
0
([a, b]) nao negativa e denotando por v
[q]
a aproximacao de elementos
nitos correspondente, dada por (3.5), (3.19), (3.28) e (3.34), denimos os erros de
soluc ao
e
[q]
i
= v
[q]
i
u
[q]
(x
i
), 0 i N, (3.130)
e de derivada
E
[q]
i
1
2
=
v
[q]
i
v
[q]
i1
L
i
1
2
du
[q]
dx
(x
i
1
2
), 1 i N, (3.131)
obtendo-se o seguinte resultado cuja prova e analoga à prova do Teorema 2.1.
Teorema 3.1. Na notacao acima, tem-se
e
[q]
i
= e
[0]
i
+ O(
2
), 0 i N, (3.132)
e
E
[q]
i
1
2
= E
[0]
i
1
2
+ O(
2
), 1 i N, (3.133)
uniformemente em i, onde e
[0]
, E
[0]
denotam respectivamente os erros de solucao e
de derivada correspondentes ao caso q(x) = 0.
81
3.4 Analise do Erro da Derivada de Segunda Ordem
Analisemos em primeior lugar D(E)
i
, com 1 i N 1. Sabemos que o erro
da derivada de primeira ordem e dado por
E
i
1
2
= (Ge)
i
1
2
+
(u)
i
1
2
, (3.134)
onde
(u)
i
1
2
= (Gu)
i
1
2
u
t
i
1
2
=
u
i
u
i1
L
i
1
2
u
t
i
1
2
=
1
24
u
ttt
i
1
2
L
2
i
1
2
+ O(L
3
i
1
2
).
(3.135)
Multiplicando (3.134) por

k
i
1
2
, obtemos
k
i
1
2
E
i
1
2
=

k
i
1
2
(Ge)
i
1
2
+

k
i
1
2
(u)
i
1
2
, (3.136)
e isto implica
D(
k E)
i
= D(
k Ge)
i
+ D(
(u))
i
. (3.137)
Esta ultima implicac ao e valida, pois subtraindo (3.136) da equac ao

k
i+
1
2
E
i+
1
2
=
k
i+
1
2
(Ge)
i+
1
2
+

k
i+
1
2
(u)
i+
1
2
, chegamos a
k
i+
1
2
E
i+
1
2

k
i
1
2
E
i
1
2
h
i
=
k
i+
1
2
(Ge)
i+
1
2

k
i
1
2
(Ge)
i
1
2
h
i
+
k
i+
1
2
(u)
i+
1
2

k
i
1
2
(u)
i
1
2
h
i
, (3.138)
82
que e o mesmo que (3.137). Agora,
D(
(u))
i
=
k
i+
1
2
(u)
i+
1
2

k
i
1
2
(u)
i
1
2
h
i
=
k
i+
1
2

k
i
1
2
h
i
(u)
i+
1
2
+

k
i
1
2
(u)
i+
1
2

(u)
i
1
2
h
i
= D(
k)
i

(u)
i+
1
2
+

k
i
1
2
D(
(u))
i
=
_
k
t
i
+ O(L
i
1
2
) + O(L
i+
1
2
)
_
_
1
24
u
ttt
i+
1
2
L
2
i+
1
2
+ O(L
3
i+
1
2
)
_
+
_
k
i

1
2
k
t
i
L
i
1
2
+ O(L
2
i
1
2
)
_
_
1
12
u
ttt
i
_
L
i+
1
2
L
i
1
2
_
+ O(L
2
i
1
2
) + O(L
2
i+
1
2
)
_
,
(3.139)
visto que
D(
k)
i
=
k
i+
1
2

k
i
1
2
h
i
=
1
h
i
_
1
L
i+
1
2
_
x
i+1
x
i
k(x) dx
1
L
i
1
2
_
x
i
x
i1
k(x) dx
_
=
1
h
i
__
k
i
+
1
2
k
t
i
L
i+
1
2
+ O(L
2
i+
1
2
)
_

_
k
i

1
2
k
t
i
L
i
1
2
+ O(L
2
i
1
2
)
__
= k
t
i
+ O(L
i
1
2
) + O(L
i+
1
2
),
(3.140)
k
i
1
2
=
1
L
i
1
2
_
x
i
x
i1
k(x) dx = k
i

1
2
k
t
i
L
i
1
2
+ O(L
2
i
1
2
), (3.141)
k
i+
1
2
=
1
L
i+
1
2
_
x
i+1
x
i
k(x) dx = k
i
+
1
2
k
t
i
L
i+
1
2
+ O(L
2
i+
1
2
), (3.142)
83
e
D(
(u))
i
=
1
h
i
_
(u)
i+
1
2

(u)
i
1
2
_
=
1
h
i
__
1
24
u
ttt
i+
1
2
L
2
i+
1
2
+ O(L
3
i+
1
2
)
_

_
1
24
u
ttt
i
1
2
L
2
i
1
2
+ O(L
3
i
1
2
)
__
=
1
24
u
ttt
i
L
2
i+
1
2
L
2
i
1
2
h
i
+ O(L
2
i
1
2
) + O(L
2
i+
1
2
)
=
1
12
u
ttt
i
_
L
i+
1
2
L
i
1
2
_
+ O(L
2
i
1
2
) + O(L
2
i+
1
2
), 1 i N 1.
(3.143)
Lembremos que D(
k Ge) +q e = (u), ou seja, D(
k Ge) = q e+(u),
onde q e = O(
2
), uma vez que e
i
= O(
2
), e (u)
i
=
1
6
k
t
i
u
tt
i
(L
i+
1
2
L
i
1
2
) +
O(L
2
i
1
2
) + O(L
2
i+
1
2
), com 1 i N 1. Dessa forma,
D(
k Ge)
i
=
1
6
k
t
i
u
tt
i
_
L
i+
1
2
L
i
1
2
_
+ O(L
2
i
1
2
) + O(L
2
i+
1
2
) + O(
2
), 1 i N 1, (3.144)
e
D(
(u))
i
=
1
12
k
i
u
ttt
i
_
L
i+
1
2
L
i
1
2
_
+ O(L
2
i
1
2
) + O(L
2
i+
1
2
), 1 i N 1. (3.145)
Portanto,
D(
k E)
i
= D(
k Ge)
i
+ D(
(u))
i
=
1
6
_
k
t
i
u
tt
i
+
1
2
k
i
u
ttt
i
_
_
L
i+
1
2
L
i
1
2
_
+ O(L
2
i
1
2
) + O(L
2
i+
1
2
) + O(
2
),
(3.146)
ou seja,
D(
k E)
i
=
1
6
_
k
t
i
u
tt
i
+
1
2
k
i
u
ttt
i
_
_
L
i+
1
2
L
i
1
2
_
+ O(L
2
i
1
2
) + O(L
2
i+
1
2
) + O(
2
), 1 i N 1. (3.147)
84
Como D(
k E)
i
= D(
k)
i
E
i+
1
2
+

k
i
1
2
(DE)
i
, com D(
k)
i
= O(1) e E
i+
1
2
=
O(L
2
i+
1
2
) + O(
2
), obtemos
k
i
1
2
(DE)
i
=
1
6
_
k
t
i
u
tt
i
+
1
2
k
i
u
ttt
i
_
_
L
i+
1
2
L
i
1
2
_
+ O(L
2
i
1
2
) + O(L
2
i+
1
2
) + O(
2
), 1 i N 1, (3.148)
e como

k
i
1
2
= k
i
1
2
k
t
i
L
i
1
2
+ O(L
2
i
1
2
), segue que
(DE)
i
=
1
6
_
k
t
i
k
i
u
tt
i
+
1
2
u
ttt
i
_
_
L
i+
1
2
L
i
1
2
_
+ O(L
2
i
1
2
) + O(L
2
i+
1
2
) + O(
2
), 1 i N 1.
(3.149)
(Comparemos com o resultado E
i
1
2
=
1
12
_
k
i
1
2
k
i
1
2
u
tt
i
1
2
+
1
2
u
ttt
i
1
2
_
L
2
i
1
2
+
O(
2
), 1 i N).
Notemos tambem que D(
k Ge)
i
= D(
k)
i
(Ge)
i+
1
2
+

k
i
1
2
D(Ge)
i
, com D(
k
Ge)
i
=
1
6
k
t
i
u
tt
i
(L
i+
1
2
L
i
1
2
) + O(L
2
i
1
2
) + O(L
2
i+
1
2
) + O(
2
), D(
k)
i
= O(1),
(Ge)
i+
1
2
= O(L
2
i+
1
2
) + O(
2
) e

k
i
1
2
= k
i
+ O(L
i
1
2
), e portanto,
D(Ge)
i
=
1
6
k
t
i
k
i
u
tt
i
_
L
i+
1
2
L
i
1
2
_
+ O(L
2
i
1
2
) + O(L
2
i+
1
2
) + O(
2
), 1 i N 1. (3.150)
Alternativamente, (3.150) pode ser mostrada da seguinte forma,
E
i
1
2
= (Ge)
i
1
2
+
(u)
i
1
2
(DE)
i
= D(Ge)
i
+ D(
(u))
i

D(Ge)
i
= (DE)
i
D(
(u))
i
, 1 i N 1.
(3.151)
Por (3.143) e (3.149), chegamos à (3.150), ou seja,
D(Ge)
i
=
1
6
k
t
i
k
i
u
tt
i
_
L
i+
1
2
L
i
1
2
_
+ O(L
2
i
1
2
) + O(L
2
i+
1
2
) + O(
2
), 1 i N 1. (3.152)
85
Facamos agora a analise do erro da derivada de segunda ordem, E
i
= D(Gv)
i
u
tt
i
. Para 1 i N 1 temos,
E
i
=
1
h
i
_
v
i+1
v
i
L
i+
1
2
v
i
v
i1
L
i
1
2
_
u
tt
i
=
1
h
i
_
(Gv)
i+
1
2
(Gv)
i
1
2
_
u
tt
i
= D(Gv)
i
u
tt
i
= D(G(v u) + Gu)
i
u
tt
i
= D(Ge)
i
+ D(Gu)
i
u
tt
i
,
(3.153)
onde, por expansao de Taylor,
D(Gu)
i
u
tt
i
=
1
h
i
__
u
t
i
+
1
2
u
tt
i
L
i+
1
2
+
1
6
u
ttt
i
L
2
i+
1
2
+ O(L
3
i+
1
2
)
_
_
u
t
i

1
2
u
tt
i
L
i
1
2
+
1
6
u
ttt
i
L
2
i
1
2
+ O(L
3
i
1
2
)
__
u
tt
i
=
1
3
u
ttt
i
_
L
i+
1
2
L
i
1
2
_
+ O(L
2
i
1
2
) + O(L
2
i+
1
2
), 1 i N 1.
(3.154)
Utilizando (3.152) e (3.154), chegamos a
E
i
= D(Ge)
i
+ D(Gu)
i
u
tt
i
=
_
1
6
k
t
i
k
i
u
tt
i
_
L
i+
1
2
L
i
1
2
_
+ O(L
2
i
1
2
) + O(L
2
i+
1
2
) + O(
2
)
_
+
_
1
3
u
ttt
i
_
L
i+
1
2
L
i
1
2
_
+ O(L
2
i
1
2
) + O(L
2
i+
1
2
)
_
,
(3.155)
isto e,
E
i
=
_
1
6
k
t
i
k
i
u
tt
i
+
1
3
u
ttt
i
_
_
L
i+
1
2
L
i
1
2
_
+ O(L
2
i
1
2
) + O(L
2
i+
1
2
) + O(
2
), 1 i N 1.
(3.156)
86
3.5 Resultados Numericos
Neste captulo vimos que, utilizando a discretizac ao pelo metodo de elementos
nitos de segunda ordem para o problema de Sturm-Liouville com condic oes de
contorno separaveis,
d
dx
_
k(x)
du
dx
_
+ q(x) u(x) = f (x), a < x < b, (3.157)
0
u(a)
1
k(a) u
t
(a) =
a
, (3.158)
0
u(b) +
1
k(b) u
t
(b) =
b
, (3.159)
onde
0
,
1
,
0
,
1
,
a
e
b
sao constantes dadas satisfazendo
0
,
1
,
0
,
1
0,
0
+
1
> 0,
0
+
1
> 0 e
0
+
0
> 0, e onde k(x), q(x) e f (x) sao func oes
suaves dadas, com k(x) > 0 e q(x) 0 para todo x no intervalo [a, b], chegamos aos
seguintes resultados para os erros de solucao, derivada de primeira ordem e derivada
de segunda ordem, respectivamente,
e
i
= O(
2
), 0 i N, (3.160)
E
i
1
2
=
1
12
_
k
t
i
1
2
k
i
1
2
u
tt
i
1
2
+
1
2
u
ttt
i
1
2
_
L
2
i
1
2
+ O(
2
), 1 i N, (3.161)
E
i
=
_
1
6
k
t
i
k
i
u
tt
i
+
1
3
u
ttt
i
_
_
L
i+
1
2
L
i
1
2
_
+ O(L
2
i
1
2
) + O(L
2
i+
1
2
) + O(
2
), 1 i N 1.
(3.162)
Assim, as aproximac oes v(x
i
) para os valores de solucao u(x
i
) sao afetadas por
erros globalmente relacionados com a distribuic ao dos pontos da malha. O erro da
derivada de primeira ordem possui um termo local, determinado pelos comprimentos
locais L
i
1
2
, e um termo global. O erro da derivada de segunda ordem possui ter-
mos que dependem dos comprimentos locais L
i
1
2
e L
i+
1
2
, alem de um termo global.
Observemos que em malhas gerais o erro passa a ser de primeira ordem.
87
Vejamos alguns exemplos que ilustram estes resultados, utilizando malhas nao-
uniformes.
Exemplo 3.1. Caso Dirichlet-Dirichlet
(3.159), com
0
= 1,
1
= 0,
0
= 1,
1
= 0, k(x) = 1 + x
2
, q(x) = 5x
2
e
u(x) = 1 + cos(x) no intervalo [0, 1]. Utilizamos uma malha nao-uniforme, cujas
H
(
N
2
)
0.5
,
H
(
N
2
1
)
0.5
, ...,
H
2
0.5
, H, H,
H
2
0.5
, ...,
H
(
N
2
1
)
0.5
,
H
(
N
2
)
0.5
,
onde H =
1
N
e N e o n umero de celulas. Para uma malha de 100 celulas, os nodos
sao dados por
x
i
=
_
_
0 se i = 0,
x
i1
+
1
100(51i)
0.5
se 1 i 50,
x
i1
+
1
100(i50)
0.5
se 51 i 100.
(3.163)
Nesta malha,
2
= 2.8099e 004.
0 0.2 0.4 0.6 0.8 1
0
0.2
0.4
0.6
0.8
1
1.2
1.4
1.6
x 10
3
x
L

L
hslash
0 0.2 0.4 0.6 0.8 1
0.5
0
0.5
1
1.5
2
2.5
3
x 10
4
Erro de Soluo
x
e
Figura 8a - Representacao graca do erro de solucao decorrente do FEM02 para o
problema de Sturm-Liouville com condicoes de contorno de Dirichlet-Dirichlet.
88
0 0.2 0.4 0.6 0.8 1
7
6
5
4
3
2
1
0
1
2
3
x 10
6
Erro de Soluo em detalhe
x
e
0 0.2 0.4 0.6 0.8 1
0.5
0
0.5
1
1.5
2
2.5
3
x 10
4
Erro da Derivada de 1 ordem
x
E
1
0 0.2 0.4 0.6 0.8 1
1
0.5
0
0.5
1
1.5
2
2.5
3
x 10
4
x
C
o
m
p
o
n
e
n
t
e
s

d
o

e
r
r
o

d
a

d
e
r
i
v
a
d
a

d
e

1

o
r
d
e
m
Erro da Derivada de 1 ordem: componentes local e global

termo local
termo global
0 0.2 0.4 0.6 0.8 1
0.8
1
1.2
1.4
1.6
1.8
2
2.2
2.4
2.6
x 10
5Erro da Derivada de 1 ordem: componente global em detalhe
x
C
o
m
p
o
n
e
n
t
e

g
l
o
b
a
l

d
o

e
r
r
o

d
a

d
e
r
i
v
a
d
a

d
e

1

o
r
d
e
m
0 0.2 0.4 0.6 0.8 1
6
4
2
0
2
4
6
x 10
4
x
E
2
Figura 8b - Representacao graca dos erros de solucao e derivada de primeira e
segunda ordens decorrentes do FEM02 para o problema de Sturm-Liouville com
condi coes de contorno de Dirichlet-Dirichlet.
Para esta malha de 100 celulas, o algoritmo fem02 dd.m foi executado em 1.266681
segundos.
89
Exemplo 3.2. Caso Dirichlet-Neumann
(3.159), com
0
= 1,
1
= 0,
0
= 0,
1
= 1, k(x) = 2 + sin(x), q(x) = exp(x)
e u(x) = x + sin(x) no intervalo [0, 1]. Utilizamos uma malha nao-uniforme, cujas
H
(
N
2
)
0.9
,
H
(
N
2
1
)
0.9
, ...,
H
2
0.9
, H, H,
H
2
0.9
, ...,
H
(
N
2
1
)
0.9
,
H
(
N
2
)
0.9
,
onde H =
1
N
e N e o n umero de celulas. Para este exemplo usamos N = 100, e os
nodos sao dados por
x
i
=
_
_
0 se i = 0,
x
i1
+
1
100(51i)
0.9
se 1 i 50,
x
i1
+
1
100(i50)
0.9
se 51 i 100.
(3.164)
Nesta malha,
2
= 0.0021.
0 0.2 0.4 0.6 0.8 1
0
1
2
3
4
5
6
7
8
9
x 10
3
x
L
Quadrado do comprimemto das clulas

L
hslash
0 0.2 0.4 0.6 0.8 1
0.5
0
0.5
1
1.5
2
2.5
x 10
3
Erro de Soluo
x
e
problema de Sturm-Liouville com condicoes de contorno de Dirichlet-Neumann.
90
0 0.2 0.4 0.6 0.8 1
1
0.9
0.8
0.7
0.6
0.5
0.4
0.3
0.2
0.1
0
x 10
4
x
e
0 0.2 0.4 0.6 0.8 1
1
0.5
0
0.5
1
1.5
2
2.5
x 10
3
x
E
1
0 0.2 0.4 0.6 0.8 1
0.5
0
0.5
1
1.5
2
2.5
x 10
3
x
C
o
m
p
o
n
e
n
t
e
s

d
o

e
r
r
o

d
a

d
e
r
i
v
a
d
a

d
e

1

o
r
d
e
m

termo local
termo global
0 0.2 0.4 0.6 0.8 1
1.4
1.2
1
0.8
0.6
0.4
0.2
0
x 10
4
Erro da Derivada de 1 ordem: componente global em detalhe
x
C
o
m
p
o
n
e
n
t
e

g
l
o
b
a
l

d
o

e
r
r
o

d
a

d
e
r
i
v
a
d
a

d
e

1

o
r
d
e
m
0 0.2 0.4 0.6 0.8 1
0.015
0.01
0.005
0
0.005
0.01
0.015
x
E
2
Figura 9b - Representacao graca dos erros de solucao e de derivada de primeira e
segunda ordens decorrentes do FEM02 para o problema de Sturm-Liouville com
condicoes de contorno de Dirichlet-Neumann.
Para esta malha de 100 celulas, o algoritmo fem02 dr.m foi executado em 1.280455
segundos.
91
Exemplo 3.3. Caso Dirichlet-Robin
Nas guras (10a) e (10b) apresentamos os erros de solucao e de derivada de
(3.159), com
0
= 1,
1
= 0,
0
= 1,
1
= 1, k(x) = 3+cos(x), q(x) = x
2
e u(x) =
1+cos(x) no intervalo [0, 1]. Utilizamos uma malha nao-uniforme, cujas celulas tem
espacamento
H
(
N
4
)
0.5
,
H
(
N
4
1
)
0.5
, ..., H, H,...,
H
(
N
4
1
)
0.5
,
H
(
N
4
)
0.5
,
H
(
N
4
)
0.5
,
H
(
N
4
1
)
0.5
,...,
H, H,...,
H
(
N
4
1
)
0.5
,
H
(
N
4
)
0.5
, onde H =
1
N
e N e o n umero de celulas. Aqui N = 100
e os nodos sao dados por
x
i
=
_
_
0 se i = 0,
x
i1
+
1
100(26i)
0.5
se 1 i 25,
x
i1
+
1
100(i25)
0.5
se 26 i 50,
x
i1
+
1
100(76i)
0.5
se 51 i 75,
x
i1
+
1
100(i75)
0.5
se 76 i 100.
(3.165)
Nesta malha,
2
= 2.1482e 004.
0 0.2 0.4 0.6 0.8 1
0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1
x 10
3
x
L

L
hslash
0 0.2 0.4 0.6 0.8 1
0.5
0
0.5
1
1.5
2
2.5
3
x 10
4
Erro de Soluo
x
e
problema de Sturm-Liouville com condicoes de contorno de Dirichlet-Robin.
92
0 0.2 0.4 0.6 0.8 1
2
1
0
1
2
3
4
5
6
7
8
x 10
7
x
e
0 0.2 0.4 0.6 0.8 1
0.5
0
0.5
1
1.5
2
2.5
3
x 10
4
x
E
1
0 0.2 0.4 0.6 0.8 1
0.5
0
0.5
1
1.5
2
2.5
3
x 10
4
x
C
o
m
p
o
n
e
n
t
e
s

d
o

e
r
r
o

d
a

d
e
r
i
v
a
d
a

d
e

1

o
r
d
e
m

termo local
termo global
0 0.2 0.4 0.6 0.8 1
14
12
10
8
6
4
2
x 10
7
x
C
o
m
p
o
n
e
n
t
e

g
l
o
b
a
l

d
o

e
r
r
o

d
a

d
e
r
i
v
a
d
a

d
e

1

o
r
d
e
m
0 0.2 0.4 0.6 0.8 1
2.5
2
1.5
1
0.5
0
0.5
1
1.5
2
2.5
x 10
3
x
E
2
Figura 10b - Representacao graca dos erros de solucao e de derivada de primeira
condicoes de contorno de Dirichlet-Robin.
Para esta malha de 100 celulas, o algoritmo fem02 dr.m foi executado em 1.107904
segundos.
93
Exemplo 3.4. Caso Neumann-Robin
(3.159), com
0
= 0,
1
= 1,
0
= 1,
1
= 1, k(x) = 1 + x
2
, q(x) = 5x
2
e
u(x) = 3x + cos(x) no intervalo [0, 1]. Utilizamos uma malha nao-uniforme, cujas
H
2
,
H
2
, 2H,
H
2
,
H
2
, 2H, ...,
H
2
,
H
2
, 2H, onde H =
1
N
e N e
o n umero de celulas. A malha utilizada aqui e de 100 celulas e os nodos sao dados
por
x
i
=
_
_
0 se i = 0,
x
i1
+ 2 h se i = 3j, com 1 j 33,
x
i1
+
h
2
caso contrario, com 1 i 100,
(3.166)
onde h =
1
100
. Nesta malha,
2
= 2.7650e 004.
0 0.2 0.4 0.6 0.8 1
0
0.5
1
1.5
2
2.5
3
3.5
4
4.5
x 10
4
x
L

L
hslash
0 0.2 0.4 0.6 0.8 1
0
1
2
x 10
4
Erro de Soluo
x
e
problema de Sturm-Liouville com condicoes de contorno de Neumann-Robin.
94
0 0.2 0.4 0.6 0.8 1
2.6
2.8
3
3.2
3.4
3.6
3.8
4
4.2
4.4
x 10
5
x
e
0 0.2 0.4 0.6 0.8 1
0.5
0
0.5
1
1.5
2
2.5
3
x 10
4
x
E
1
0 0.2 0.4 0.6 0.8 1
0.5
0
0.5
1
1.5
2
2.5
3
x 10
4
x
C
o
m
p
o
n
e
n
t
e
s

d
o

e
r
r
o

d
a

d
e
r
i
v
a
d
a

d
e

1

o
r
d
e
m

termo local
termo global
0 0.2 0.4 0.6 0.8 1
1.4
1.2
1
0.8
0.6
0.4
0.2
0
x 10
5
x
C
o
m
p
o
n
e
n
t
e

g
l
o
b
a
l

d
o

e
r
r
o

d
a

d
e
r
i
v
a
d
a

d
e

1

o
r
d
e
m
0 0.2 0.4 0.6 0.8 1
3
2
1
0
1
2
3
x 10
3
x
E
2
condicoes de contorno de Neumann-Robin.
Para esta malha de 100 celulas, o algoritmo fem02 rr.m foi executado em 1.271416
segundos.
95
Exemplo 3.5. Caso Robin-Robin
(3.159), com
0
= 1,
1
= 1,
0
= 1,
1
= 1, k(x) = 1 + x
2
, q(x) = x
3
e u(x) =
x+cos(x) no intervalo [0, 1]. Utilizamos uma malha nao-uniforme, cujas celulas tem
espacamento H, H
2
, H
2
, H
2
, H
2
, H
2
, H
2
, H
2
, H
2
, H, H
2
, H
2
, H
2
, H
2
, H
2
,
H
2
, H
2
, H
2
, ..., H, H
2
, H
2
, H
2
, H
2
, H
2
, H
2
, H
2
, H
2
, onde H =
1
N
e N e o
n umero de celulas. A malha utilizada aqui e de 500 celulas e os nodos sao dados por
x
i
=
_
_
0 se i = 0,
h se i = 1,
x
i1
+ h se i = 10j, com 1 j 50,
x
i1
+ h
2
caso contr ario, com 2 i < 500,
(3.167)
onde h =
1
500
. Nesta malha,
2
= 3.0418e 004.
0 0.2 0.4 0.6 0.8 1
0
0.5
1
1.5
2
2.5
3
3.5
x 10
4
x
L

L
hslash
0 0.2 0.4 0.6 0.8 1
0.5
0
0.5
1
1.5
2
2.5
3
3.5
x 10
4
Erro de Soluo
x
e
problema de Sturm-Liouville com condicoes de contorno de Robin-Robin.
96
0 0.2 0.4 0.6 0.8 1
10
8
6
4
2
0
2
4
x 10
6
x
e
0 0.2 0.4 0.6 0.8 1
0.5
0
0.5
1
1.5
2
2.5
3
3.5
x 10
4
x
E
1
0 0.2 0.4 0.6 0.8 1
0.5
0
0.5
1
1.5
2
2.5
3
3.5
x 10
4
x
C
o
m
p
o
n
e
n
t
e
s

d
o

e
r
r
o

d
a

d
e
r
i
v
a
d
a

d
e

1

o
r
d
e
m

termo local
termo global
0 0.2 0.4 0.6 0.8 1
2
2.5
3
3.5
4
4.5
x 10
6
x
C
o
m
p
o
n
e
n
t
e

g
l
o
b
a
l

d
o

e
r
r
o

d
a

d
e
r
i
v
a
d
a

d
e

1

o
r
d
e
m
0 0.2 0.4 0.6 0.8 1
4
3
2
1
0
1
2
3
4
x 10
3
x
E
2
condicoes de contorno de Robin-Robin.
Para esta malha de 500 celulas, o algoritmo fem02 rr.m foi executado em 5.866246
segundos.
97
4 CONSIDERAC

OES FINAIS
Ao longo do texto, consideramos o problema regular de Sturm-Liouville com
condic oes de contorno separaveis,
d
dx
_
k(x)
du
dx
_
+ q(x) u(x) = f (x), a < x < b, (4.1)
0
u(a)
1
k(a) u
t
(a) =
a
, (4.2)
0
u(b) +
1
k(b) u
t
(b) =
b
, (4.3)
com
0
,
1
,
0
,
1
,
a
e
b
0
,
1
,
0
,
1
0,
0
+
1
> 0,
0
+
1
> 0 e
0
+
0
> 0, e onde k(x), q(x) e f (x) sao func oes
suaves dadas, com k(x) > 0 e q(x) 0 para todo x no intervalo [a, b]. Utilizando o
divergente discreto (derivada primeira discreta)
(Dw)
i
1
2
:=
w
i
w
i1
L
i
1
2
, 1 i N, (4.4)
e o gradiente discreto (derivada segunda discreta),
(Gz)
i
:=
z
i+
1
2
z
i
1
2
h
i
, 0 i N, (4.5)
chegamos ao metodo mimetico de segunda ordem (MIM02),
k
i1
h
i1
v
i
3
2
+
_
k
i1
h
i1
+
k
i
h
i
+ q
i
1
2
L
i
1
2
_
v
i
1
2
k
i
h
i
v
i+
1
2
= L
i
1
2
f
i
1
2
, (4.6)
cujo erro de truncamento e dado por
(u)
i1/2
= k
i1/2
u
tt
i1/2
_
1
h
i
+ h
i1
2L
i1/2
_
1
6
K
i1/2
u
ttt
i1/2
h
2
i
h
2
i1
L
i1/2
1
4
K
t
i1/2
u
tt
i1/2
(h
i
h
i1
)
+ O(L
2
i3/2
) + O(L
2
i1/2
) + O(L
2
i+1/2
), 1 i N,
(4.7)
desde que k C
3
([a, b]) e u C
4
([a, b]).
98
Para este metodo encontramos que os erros de solucao, de derivada de primeira
ordem e de derivada de segunda ordem sao dados, respectivamente, por
e
0
= O(
2
), e
N
= O(
2
), (4.8)
e
i
1
2
=
1
8
u
tt
i
1
2
L
2
i
1
2
+ O(
2
), 1 i N, (4.9)
E
i
= O(
2
), 0 i N, (4.10)
E
i
1
2
= O(L
2
i
3
2
) + O(L
2
i
1
2
) + O(L
2
i+
1
2
) + O(
2
)
+
L
i+
1
2
L
i
1
2
O(L
2
i+
1
2
) +
L
i
3
2
L
i
1
2
O(L
2
i
3
2
) 1 i N.
(4.11)
Por outro lado, para o metodo de elementos nitos de segunda ordem (FEM02),
1
h
i
_
k
i+
1
2
v
i+1
v
i
L
i+
1
2

k
i
1
2
v
i
v
i1
L
i
1
2
_
+ (q v)
i
=

f
i
, 1 i N 1,
(4.12)
tem-se que seu erro de truncamento e dado por
(u)
i
=
1
6
k
t
i
u
tt
i
_
L
i+
1
2
L
i
1
2
_
+ O(L
2
i
1
2
) + O(L
2
i+
1
2
). (4.13)
Para este metodo, os erros de soluc ao, de derivada de primeira ordem e de
derivada de segunda ordem sao dados, respectivamente, por
e
i
= O(
2
), 0 i N, (4.14)
E
i
1
2
=
1
12
_
k
t
i
1
2
k
i
1
2
u
tt
i
1
2
+
1
2
u
ttt
i
1
2
_
L
2
i
1
2
+ O(
2
), 1 i N, (4.15)
E
i
=
_
1
6
k
t
i
k
i
u
tt
i
+
1
3
u
ttt
i
_
_
L
i+
1
2
L
i
1
2
_
+ O(L
2
i
1
2
) + O(L
2
i+
1
2
) + O(
2
), 1 i N 1.
(4.16)
Em ambos os casos, os termos O(
2
) tem tamanho limitado por C
2
para
alguma constante positiva C que e dependente da solucao u(x), mas e independente
99
de i ou da malha particular considerada, e onde e o parametro de espacamento da
malha dado por
=
_
N
j=1
L
3
i
1
2
. (4.17)
Nas guras 13a e 13b usamos k(x) = 1 +x
2
, q(x) = 5x
2
e u(x) = 1 +cos(x)
no intervalo [a, b],
0
= 1,
1
= 0,
0
= 1 e
1
= 0. No primeiro graco utilizamos
uma malha uniforme onde, para N = 100,
2
= e 004, para N = 200,
2
=
2.5e 005, para N = 400,
2
= 6.25e 006 e para N = 800,
2
= 1.5625e 006. No
segundo graco utilizamos uma malha nao-uniforme, cujas celulas tem espacamento
H
(
N
2
)
0.5
,
H
(
N
2
1
)
0.5
, ...,
H
2
0.5
, H, H,
H
2
0.5
, ...,
H
(
N
2
1
)
0.5
,
H
(
N
2
)
0.5
, onde H =
1
N
e N e o
n umero de celulas. Para N = 100,
2
= 2.8099e 004, para N = 241,
2
=
7.0124e005, para N = 600,
2
= 1.7044e005 e para N = 1490,
2
= 4.2284e006.
O n umero de celulas foi escolhido de forma que o
2
de um certo n umero de celulas
fosse 4 vezes maior que o
2
de outro determinado n umero de celulas, podendo
observar assim os resultados das equac oes (4.8) e (4.9). Tanto em malhas uniformes,
quanto em malhas nao-uniformes o erro de soluc ao e da ordem de
2
nos extremos,
e depende do espacamento L
i
1
2
nos nodos internos.
100
0 0.2 0.4 0.6 0.8 1
0
0.2
0.4
0.6
0.8
1
1.2
1.4
x 10
5
MIM02: Erro de Soluo (malha uniforme)
x
e
N = 100
N = 200
N = 400
N = 800
0 0.2 0.4 0.6 0.8 1
0
0.2
0.4
0.6
0.8
1
1.2
1.4
1.6
1.8
x 10
4
MIM02: Erro de Soluo (malha nouniforme)
x
e
N = 100
N = 241
N = 600
N = 1490
Figura 13a - Erro de solucao do MIM02 para malhas uniforme e nao-uniforme.
101
0 0.2 0.4 0.6 0.8 1
4
3
2
1
0
1
2
3
x 10
6
MIM02: Componente global do erro de soluo (malha nouniforme)
x
C
o
m
p
o
n
e
n
t
e

g
l
o
b
a
l

d
o

e
r
r
o

d
e

s
o
l
u
o
N = 100
N = 241
N = 600
N = 1490
Figura 13b - Componente global do erro de solucao do MIM02 para malha
nao-uniforme.
As mesmas funcoes e as mesmas malhas foram utilizadas na construcao dos
gracos da Fig. 14, onde podemos analisar o resultado (4.14). Vericamos que
tanto em malhas uniformes, quanto em malhas nao-uniformes, o erro de solucao e
exatamente da ordem de
2
.
102
0 0.2 0.4 0.6 0.8 1
3
2
1
0
1
2
3
4
x 10
7
FEM02: Erro de Soluo (malha uniforme)
x
e
N = 100
N = 200
N = 400
N = 800
0 0.2 0.4 0.6 0.8 1
7
6
5
4
3
2
1
0
1
2
3
x 10
6
FEM02: Erro de Soluo (malha nouniforme)
x
e
N = 100
N = 241
N = 600
N = 1490
Figura 14 - Erro de solucao do FEM02 para malhas uniforme e nao-uniforme.
103
Nas guras (15a) e (15b) observamos que as aproximac oes obtidas pelo FEM02
sao melhores que as obtidas pelo MIM02 em malhas uniformes ou nao-uniformes.
Observemos que os erros de solucao do MIM02 foram divididos por 10 para poderem
aparecer integralmente na gura.
0 0.2 0.4 0.6 0.8 1
4
2
0
2
4
6
8
10
12
14
x 10
7
x
e
Erros de soluo para FEM02, MIM02 (malha uniforme, N=100)

FEM02
MIM02/10
Figura 15a - Erro de solucao: MIM02 FEM02.
104
0 0.2 0.4 0.6 0.8 1
1
0.5
0
0.5
1
1.5
2
x 10
5
x
e
Erro de soluo para FEM02, MIM02 (malha nouniforme, N=100)

FEM02
MIM02/10
0 0.2 0.4 0.6 0.8 1
4
2
0
2
4
6
8
10
12
14
16
x 10
7
x
e
Erro de soluo para FEM02, MIM02 (malha nouniforme, N=1000)

FEM02
MIM02/10
Figura 15b - Erro de solucao: MIM02 FEM02.
105
Vemos claramente nos gracos das guras (16a) e (16b) os resultados das equacoes
(4.10) e (4.15), ou seja, no MIM02 o erro da soluc ao e exatamente da ordem de
2
,
enquanto que no FEM02 este erro possui uma parcela que depende do espacamento
L
i
1
2
.
0 0.2 0.4 0.6 0.8 1
9
8
7
6
5
4
3
2
1
0
x 10
6
MIM02: Erro da derivada de 1 ordem (malha uniforme)
x
E
1
N = 100
N = 200
N = 400
N = 800
0 0.2 0.4 0.6 0.8 1
1.5
1
0.5
0
x 10
5
MIM02: Erro da derivada de 1 ordem (malha nouniforme)
x
E
1
N = 100
N = 241
N = 600
N = 1490
a
ordem.
106
0 0.2 0.4 0.6 0.8 1
0
1
2
3
4
5
6
x 10
6
FEM02: Erro da derivada de 1 ordem (malha uniforme)
x
E
1
N = 100
N = 200
N = 400
N = 800
0 0.2 0.4 0.6 0.8 1
5
4
3
2
1
0
1
2
3
x 10
5
FEM02: Erro da derivada de 1 ordem (malha nouniforme)
x
E
1
N = 100
N = 241
N = 600
N = 1490
a
ordem.
107
Neste caso, o MIM02 comporta-se melhor que o FEM02 em malhas nao-
uniformes, conforme podemos observar na Fig. 17.
0 0.2 0.4 0.6 0.8 1
10
8
6
4
2
0
2
4
6
x 10
6
x
E
1
Erro da derivada de 1 ordem: FEM02, MIM02 (malha uniforme)

FEM02 (N=100)
MIM02 (N=100)
0 0.2 0.4 0.6 0.8 1
5
4
3
2
1
0
1
2
3
x 10
5
x
E
1
Erro da derivada de 1 ordem: FEM02, MIM02 (malha nouniforme)

FEM02 (N=100)
MIM02 (N=100)
Figura 17 - Erro da derivada de 1
a
ordem: MIM02 FEM02.
108
As equac oes (4.11) e (4.16) sao ilustradas nas guras (18a) e (18b). Para o
MIM02, em malhas uniformes, o erro da derivada de segunda ordem depende apenas
dos espacamentos L
i
3
2
, L
i
1
2
e L
i+
1
2
. Para malhas nao-uniformes, as razoes
L
i+
1
2
L
i
1
2
e
L
i
3
2
L
i
1
2
tambem inuenciam este erro. Ja para o FEM02, em malhas uniformes este
erro depende apenas dos termos L
i
1
2
e L
i+
1
2
, conforme terceiro graco da Fig. 40.
Para malhas nao-uniformes existe a dependencia da diferenca L
i+
1
2
L
i
1
2
, e o erro
passa a ser de primeira ordem.
109
0 0.2 0.4 0.6 0.8 1
1.5
1
0.5
0
0.5
1
1.5
2
2.5
3
x 10
5
MIM02: Erro da derivada de 2 ordem (malha uniforme)
x
E
2
N = 100
N = 200
N = 400
N = 800
0 0.2 0.4 0.6 0.8 1
2
1
0
1
2
3
4
5
6
x 10
5
MIM02: Erro da derivada de 2 ordem (malha nouniforme)
x
E
2
N = 100
N = 241
N = 600
N = 1490
a
ordem.
110
0 0.2 0.4 0.6 0.8 1
1
0.5
0
0.5
1
1.5
2
x 10
5
FEM02: Erro da derivada de 2 ordem (malha uniforme)
x
E
2
N = 100
N = 200
N = 400
N = 800
0 0.2 0.4 0.6 0.8 1
6
4
2
0
2
4
6
x 10
4
FEM02: Erro da derivada de 2 ordem (malha nouniforme)
x
E
2
N = 100
N = 241
N = 600
N = 1490
a
ordem.
111
No erro da derivada de segunda ordem, o MIM02 comporta-se melhor que o FEM02
em malhas nao-uniformes, como podemos observas nas guras (19a) e (19b).
0 0.2 0.4 0.6 0.8 1
1.5
1
0.5
0
0.5
1
1.5
2
2.5
3
x 10
5
x
E
2
Erro da derivada de 2 ordem: FEM02, MIM02 (malha uniforme)

FEM02 (N=100)
MIM02 (N=100)
0 0.2 0.4 0.6 0.8 1
6
4
2
0
2
4
6
x 10
4
x
E
2

FEM02 (N=100)
MIM02 (N=100)
Figura 19a - Erro da derivada de 2
a
ordem: MIM02 FEM02.
112
0 0.2 0.4 0.6 0.8 1
1.5
1
0.5
0
0.5
1
1.5
x 10
5
x
E
2

FEM02/10 (N=1000)
MIM02 (N=1000)
Figura 19b - Erro da derivada de 2
a
ordem: MIM02 FEM02.
Como proposto inicialmente, apresentamos um procedimento de analise sim-
ples para a investigacao dos erros de aproximac ao em malhas arbitrarias decorrentes
de metodos de diferencas nitas, e elementos nitos, utilizados na discretizac ao de
problemas de Sturm-Liouville unidimensionais. O interesse fundamenal em expor
este tipo de procedimento foi a analise deciente existente de metodos de analise
classicos, como por exemplo, princpios de maximo, teoria de M-matrizes, Perron-
Frobenius, estimativas sobre autovalores e operadores de Green discretos, que pode
ser vericada em [5], [8], [15] e [16].
Quando trabalhamos com operadores de Green discretos, observamos que,
garantindo consistencia do metodo (ou seja, o erro de truncamento converge para
zero ao se renar a malha) e garantindo tambem estabilidade (isto e, para uma
certa norma de operador, o operador de Green discreto e limitado, para qualquer
113
malha), chegamos na convergencia do metodo, ou seja, o erro de soluc ao vai a zero,
ao renarmos a malha. Alem disso, para um esquema estavel, se o erro de trunca-
mento tem ordem p, entao as estimativas obtidas para o erro de soluc ao tambem
tem ordem p, isto e, o erro de soluc ao possui, no mnimo, a ordem do erro de trunca-
mento. Neste resultado residem ao mesmo tempo o poder e deciencia das tecnicas
classicas de analise. Em varios casos, especialmente quando usamos malhas uni-
formes ou suaves, o erro de solucao tem a mesma ordem do erro de truncamento e a
analise classica fornece um procedimento simples capaz de identicar corretamente
o comportamento do erro de soluc ao. Em outros casos, porem, particularmente
quando malhas nao-suaves sao empregadas, temos e
h
com ordem superior a
h
,
fenomeno referido na literatura como supraconvergencia
1
. Mais ainda, problemas
de contorno sao diferentes de problemas evolutivos em que, para os primeiros, con-
sistencia nao e condicao necessaria para convergencia, ou sequer para estabilidade.
Por exemplo, os metodos de operadores de suporte (ou mimeticos) desenvolvidos
por pesquisadores no LANL (Los Alamos National Laboratory, em Los Alamos,
USA) sao notoriamente inconsistentes, mesmo em malhas uniformes, e ainda assim
convergem, mostrando excelente desempenho em problemas pouco regulares, isto e,
coecientes ou malhas de baixa regularidade, de tipo elptico ou parabolico [7], [8].
Alternativas encontradas na literatura para analise mais na de convergencia nestes
casos examinam em maior detalhe o operador de Green [15], estimando cuidadosa-
mente seus elementos e derivadas discretas. Este e um procedimento laborioso que
facilmente se torna invi avel, particularmente em esquemas com mais de uma ordem
de supraconvergencia, como por exemplo para metodos mimeticos em malhas pouco
regulares, onde pode ocorrer
h
ao h 0.
1
Na literatura de elementos nitos, usamos o termo superconvergencia para denotar a ocorrencia
de erros de ordem superior em determinados nodos ou regioes da malha, em comparacao com os
demais pontos [20].
114
Na analise que apresentamos, com esforco relativamente pequeno foi possvel
descrever muito detalhadamente o comportamento dos erros de soluc ao e de primeira
e segunda derivadas para esquemas diversos em malhas arbitrarias. Como vimos, es-
tas tecnicas dependem de se conseguir estimar sucientemente bem o erro E
h
, o que
requer menos conhecimento sobre o operador G
h
, se comparado com os metodos
classicos referidos acima para a analise de e
h
. A extensao destas tecnicas para
problemas multidimensionais, caso se mostre possvel, representaria um dos mais
importantes avancos na analise numerica de problemas de contorno.
Como os erros e
h
, E
h
e E
h
sao obtidos pontualmente em suciente detalhe,
podemos utilizar estes procedimentos para examinar efeitos de supraconvergencia de
metodos discretos em malhas nao-suaves. Mais ainda, estas tecnicas podem ser uti-
lizadas para explorar efeitos de supraconvergencia em metodos de ordem superior,
em muitos casos observados apenas experimentalmente na literatura [17] (malhas
nao-uniformes).
Alem dos problemas considerados acima, e util observarmos que as tecnicas de
analise desenvolvidas no contexto de problemas de contorno em malhas arbitrarias
podem ser modicadas para examinar erros em procedimentos numericos similares
como por exemplo metodos de ordem superior [17], metodos de diferenciacao com-
pacta ou aproximacao por splines em malhas gerais, que e um problema de interesse
visto que as estimativas conhecidas presentemente tendem a superestimar a magni-
tude dos erros em tais malhas.
115
Bibliograa
[1] BURKILL, J. C.. The Theory of Ordinary Dierential Equations. 2.ed.,
Oliver and Boyd, London, 1962.
[2] CODDINGTON, Earl A.; LEVINSON, Norman. Theory of Ordinary Die-
rential Equations. New York: McGraw-Hill, 1955.
[3] FORSYTHE, George E.; WASOW, Wolfgang R.. Finite-Dierence Me-
thods for Partial Dierential Equations. New York: John Wiley, 1960.
[4] HACKBUSCH, W.. Elliptic Dierential Equations: theory and numerical
treatment. Springer, Berlin, 1987.
[5] HEINRICH, B.. Finite dierence methods on irregular networks.
Birkhauser, Berlin, 1987.
[6] HIRSCH, Morris W.; SMALE, Stephen. Dierential Equations; Dynamical
Systems and Linear Algebra. New York: Academic Press, 1974.
[7] HYMAN, J. M.; SHASHKOV, M.; STEINBERG, S. L.. The numerical
solution of diusion problems in strongly heterogeneous non-isotropic ma-
terials. Journal of Computational Physics, 132 (1997), p. 130-148.
[8] HYMAN, J. M.; STEINBERG, S. L.. The convergence of mimetic dis-
cretizations for rough grids. Comput. Math. Appl., 47 (2004), p. 1565-1610.
[9] KELLER, Herbert B.. Numerical Methods for Two-Point Boundary-Value
Problems. Waltham: Blaisdell Publishing Company, 1968.
[10] LORENZZETTI, Greice da Silva. Analise Detalhada de Erros de
Metodos Discretos para Problemas de Contorno em Malhas Ar-
bitrarias. PPGMAp/UFRGS, Porto Alegre, 2008. Disponvel em:
<http://citeseerx.ist.psu.edu>.
116
[11] LORENZZETTI, Greice da Silva; ZINGANO, Janana Pires; ZINGANO,
Paulo Ricardo de

Avila. Error analysis on general grids for nite dif-
ference discretizations of Sturm-Liouville problems. To appear, TEMA -
Tendencias em Matematica Aplicada e Computacional, Seleta do XXX
CNMAC, v. 8, 2008.
[12] MANTEUFELL, T. A.; WHITE, A. B. Jr.. The numerical solution
of second-order boundary value problems on nonuniform meshes. Math.
Comp., 47 (1986), p. 511-535.
[13] ROBERTS, Sanford M.; SHIPMAN, Jerome S.. Two-Point Boundary
Value Problems: Shooting Methods. Modern Analytic and Computational
Methods in Science and Mathematics, number 31. New York: American
Elsevier Publishing Company, 1972.
[14] ROBIDOUX, N.. Numerical solution of the steady diusion equation with
discontinuous coecients. Ph.D. thesis, University of New Mexico, Albu-
querque, NM, 2001.
[15] SAMARSKII, A. A.. The Theory of Dierence Schemes. Marcel Dekker,
New York, 2001.
[16] SHASHKOV, M.. Conservative nite-difference methods on general grids.
CRC Press, Boca Raton, 1996.
[17] STEINBERG, S. L.. Applications of high-order discretizations to bondary-
value problems. Comput. Meth. Appl. Math., 4 (2004), p. 228-261.
[18] STEINBERG, S. L.; ZINGANO, J. P.; ZINGANO, P. R.. Error analysis
of discrete methods on general grids. Submitted (SIAM J. Numer. Anal.).
[19] STRANG, Gilbert. An analysis of the nite element method. Englewood
Clis: Prentice-Hall, 1973.
117
[20] SWARTZ, B.; KREISS, H. O.; MANTEUFELL, T. A.; WENDROFF,
B.; WHITE, A. B. Jr.. Supraconvergent schemes on irregular grids. Math.
Comp., 47 (1986), p. 537-554.
[21] ZINGANO, Janana Pires. Convergence of mimetic methods for Sturm-
Liouville problems on general grids. 2003. 133 f. Thesis (PhD Mathematics)
- University of New Mexico, Albuquerque, NM, 2003.

Ea 000344

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Ea 000344

Enviado por

Direitos autorais:

Formatos disponíveis

UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL

ETICO DE SEGUNDA ORDEM - MIM02 . . . 6

ETODO DE ELEMENTOS FINITOS DE SEGUNDA ORDEM

Quadrado do comprimento das clulas

Quadrado do comprimento das clulas

Quadrado do comprimento das clulas

Quadrado do comprimento das clulas

Quadrado do comprimento das clulas

Quadrado do comprimento das clulas

ETODO DE ELEMENTOS FINITOS DE

f sao dadas respectivamente por (3.11),

k Ge) +q e = (u), ou seja, D(

Quadrado do comprimento das clulas

Quadrado do comprimemto das clulas

Quadrado do comprimemto das clulas

Quadrado do comprimemto das clulas

Quadrado do comprimemto das clulas

Você também pode gostar