2013-2 - 09 - Aproximações e Interpolação Polinomial-26 - A5 - 2013-2 Corpo 18 PDF

Mtodos Numricos Bsicos Aproximao e Interpolao
Prof. Henrique Mariano C. Amaral 2013-2 pag. 1

Aproximao e Interpolao
Sumrio
Aproximao e Interpolao .................................................................... 1
9.2 Pro!lema "a Interpolao. .......................................................... 3
9.3 #iferena$ %inita$ e #i&i"i"a$ ....................................................... 1'
9.( %)rmula$ "e Interpolao "e *e+ton .......................................... ((
9., %)rmula "e Interpolao "e -agrange .......................................... .0
9.. Interpola/e$ "e *e&ille e "e Ait0en ............................................ '0
9.' Aproximao por Polin1mio$ Cont2nuo$ por Parte$ ..................... '.
9.3 Interpolao por 4pline$ ............................................................... 3(
9.10 Aproximao por M2nimo$ 5ua"ra"o$ ..................................... 1.1
9.11 Aproximao "e Hermite .......................................................... 19.
9.12 Aproximao "e -egen"re ........................................................ 213
9.13 Aproximao "e -aguerre ......................................................... 22(
9.1( Aproximao "e C6e!7$6e& ..................................................... 223
9.1, Algoritmo "e Clen$6a+ ............................................................. 2,1
9.1. Aproximao por %un/e$ 8rigonom9tri:a$ ............................. 2,3
9.1' Aproximao ;xponen:ial ........................................................ 2'3
9.13 M9to"o "e Pron7 ...................................................................... 231
9.19 #iferen:iao *um9ri:a ........................................................... 233

9.2 O Problema da Interpolao.
pro!lema "a interpolao :on$i$te no $eguinte< $o!re um inter&alo
[ [
, a b
$o e$pe:ifi:a"o$ 1 n ponto$=

0 1 2
, , , , , , =
k n
x x x x x x :6ama"o$ "e
pontos da malha ou pontos de interpolao= e o$ &alore$ "a funo
( )
f x
ne$te$ ponto$<

( ) ( ) ( )
0 0 1 1
; ; ; = = =
n n
y f x y f x y f x >9.1.1?
o!@eti&o 9 :on$truir uma funo
( )
F x = "enomina"a funo de
interpolao= que ten6a o me$mo &alor "e
( )
f x no$ ponto$ "e
interpolao= i$to 9<

( ) ( ) ( )
0 0 1 1
; ; ; = = =
n n
F x y F x y F x y >9.1.2?
#e tal mo"o que a norma para o e$pao linear forma"o por
( ) ( ) ( )

0 1
, , ,
n
f x f x f x "enota"o por f aten"e a$ proprie"a"e$ "e
norma &i$ta$ no :ap2tulo 2. Con$i"eran"o i$$o= $e quer que a me"i"a "e
Prof. Henrique Mariano C. Amaral 2013-2 pag. (
desvio ou erro entre a funo f e a funo "e aproximao F $e@a
m2nima= i$to 9<

( ) ( )
max 0

=
i
n i i
x x
E f F f x F x >9.1.3?
Como po$to em >9.1.1? e >9.1.2?= ento >9.1.3? 9 nulo e
( ) ( )

, =
i i i j
F x f x x x .
Ma$= nem $empre i$$o a:onte:e pontualmente= ma$ "entro "e uma
&iAin6ana to pequena quanto $e queira. ;$$e pro!lema tem infinita$
$olu/e$.
A$$im $e preten"e en:ontrar uma funo
( )
F x = :omo= por exemplo= um
polin1mio "e grau n=
( )
n
x P = que $ati$faa a :on"io a:ima. ;xi$tem
muita$ forma$ "e en:ontrB-la$ o que $erB um "o$ o!@eti&o$ "e$te :ap2tulo.
Ante$= no entanto= 9 importante enun:iar o teorema "a aproximao "e
Ceier$tra$$= o qual e$ta!ele:e o prin:2pio "a aproximao polinomial.
Prof. Henrique Mariano C. Amaral 2013-2 pag. ,
Lema 1< #a"o um e$pao norma"o X e
( )
1 n elemento$
( ) ( ) ( )

0 1
, , ,
n
f x f x f x "e X ento a funo :
n
"a"a por 9
:ont2nua.
#emon$trao<
De@a no li&ro AnBli$e e M9to"o$ *uum9ri:o$ Apli:a"o$ a ;ngn6aria= "o autor.

Teorema 1: (Teorema de Aproximao de Weierstrass
1
)< 4e
( ) [ [
, f x C a b for uma funo :ont2nua em um inter&alo fe:6a"o qualquer
[ [
, a b = ento para qualquer 0 exi$te um inteiro
( )
= n n e um
polin1mio
( )
n
P x "e grau no maior que n tal que<

( ) ( )
<
n
f x P x >9.1.(?

1
Earl Ceier$tra$$ >131,-139'? 9 :on$i"era"o o pai "a anBli$e matemBti:a mo"erna.
Prof. Henrique Mariano C. Amaral 2013-2 pag. .
Para to"o
[ [
, x a b .
;$te teorema garante que aproxima/e$ polinomiai$ ar!itrBria$= num
inter&alo fe:6a"o= $o po$$2&ei$ "e$"e que a funo
( )
f x $e@a :ont2nua.
;$$a 9 a Fni:a exigGn:ia "o teorema= poi$ no informa na"a $o!re a
:on$truo "o polin1mio "e aproximao.
4e= al9m "i$$o=
( )
f x $ati$faA a :on"io "e -ip$:6itA= ento
( ) ( )

f x f x x x = para
[ [
, ,
x x a b e para alguma :on$tante po"e-

$e "efinir o "enomina"o mdulo de continuidade "e
( )
f x em
[ [
0, 1 :omo
2

2
Hm inter&alo ar!itrBrio a t b po"e $er mapea"o para um inter&alo unitBrio 0 1 x por uma mu"ana "e &ariB&el<
( ) ( )
/ = x a t a b ou ain"a
( )
= t a b x aI a$$im= $e
( )
g t 9 :ont2nua em =
( ) ( )
( )
f x g b a t a 9 :ont2nua em
[ [
0, 1 .
Prof. Henrique Mariano C. Amaral 2013-2 pag. '

( )
[ [
( ) ( )
, 0,1
, max

' '
1 1
1 1
! !
1 1
1 1 + +

x x
x x
f f x f x >9.1.,?
Teorema 2: 4e@am "oi$ polin1mio$ quai$quer
( )
n
P x e
( )
n
Q x "e
grau no maior que n= para o$ quai$ $e &erifi:a a i"enti"a"e<

( ) ( )
, =
n i n i i
P x Q x x x
on"e= por "efinio

x tem 1 n ponto$ "i$tinto$= ento

( ) ( )
n n
P x Q x = i$to 9= 0 =
n n
P Q .
J importante tam!9m $a!er qual o erro pontual entre a funo
( )
f x e
algum polin1mio "e aproximao
( )
n
P x "entro "o :on:eito "efini"o por
>9.1.3?. ;$$a informao me"e
[ [
, a b = em geral= a medida de convergncia
ou "i&ergGn:ia "e
( )
n
P x para
( )
f x quan"o o nFmero "e ponto$ ten"e ao
infinito.
Teorema 3: 4e@a
( )
f x uma funo :om
( )
1 n "eri&a"a$ em
um inter&alo fe:6a"o
[ [
, a b = i$to 9=
[ [
1
,
n
f C a b . 4e@a tam!9m um
polin1mio
( )
n
P x "e aproximao "e
( )
f x :om relao ao$ ponto$

x no
me$mo inter&alo
[ [
, a b = i$to 9
[ [ ,
0 =
n
a b
f P . ;nto para to"o e qualquer
[ [
,
i
x a b exi$te um ponto
( )
= x no inter&alo a!erto
( )
, a b tal que<

( ) ( )
0 1 0 1
min , , , , max , , , , < <
n n
x x x x x x x x >9.1..?
tal que
( ) ( ) ( )
( )( ) ( )
( )
( )
( )
( )
( )
( )
( )
1
0 1
1
0
1 !
1 !
=

= =
n
n
n n
n
i
n
i
x x x x x x
f x P x E x f
n
x x
f
n
>9.1.'?
repre$enta o erro "e interpolao e on"e
( )
( )
1
n
f 9 a
( )
1 n -9$ima
"eri&a"a "e
( )
f x em
[ [
, a b .
#emon$trao<

Definio 1: Hma norma 9 "enomina"a norma estritamente
convexa $e $ua !ola unitBria for e$tritamente :on&exa. I$to 9= $e
1 = = f g = f g e 0 1 < < impli:a que
( )
1 1 < f g .
A norma
p
L = 9 e$tritamente :on&exa para 1< 9.1.(? 9 "e&i"o a
4. Kern$tein. A$$im= para
( )
, 1, 2,... = f C I i $e "efine
( )
i i
B f I P "a
$eguinte forma<
( ) ( )
0
1

=
1
1

( )
( )
_
i
i k
k
i
k
i
k
B f x f x x
k i
>9.1.3?
Como
( ) ( )
0
1 1 1,
=
1
l
= =
l

( )
_
i
i
i k
k
k
i
x x x x
k

ento= para :a"a x=
( )
i
B f x 9 a ppn"erao m9"ia "e
( )
1 n &alore$
( ) ( ) ( ) ( )
1 2
0 , , ,..., 1
i i
f f f f . Por exemplo

( ) ( )( ) ( )
( ) ( )( ) ( ) ( ) ( )
1
2
2
1
2 2
0 1 1
0 1 2 1 1
=
=
B f x f x f x
B f x f x f x x f x
A$ fun/e$ "e pon"erao ( )
1

1

( )
i k
k
i
x x
k
que entram na "efinio "e
( )
i
B f x $o :on6e:i"a$ :omo funes de ponderao de Bernstein e $o
plota"a$ a!aixo para

5,10,15, 20 = i = gera"a$ pelo algoritmo a!aixo<
Programa em Matla!<

FIGURA 9! FUN"#$% &'N($RA(A% ($ B$RN%)$IN

0 0.5 1
0
0.5
1
Bernstein n=5
0 0.5 1
0
0.5
1
Bernstein n=10
0 0.5 1
0
0.5
1
Bernstein n=15
0 0.5 1
0
0.5
1
Bernstein n=20
Agora= para qualquer=
n
B 9 um mapeamento linear "e
( )
C I em
n
P . Al9m
"i$$o= "e&i"o L po$iti&i"a"e "o$ pe$o$ "e Kern$tein tem-$e que
n
B 9 um
opera"or po$iti&o no $enti"o "e que 0
n
B f $o!re I $e 0 f $o!re I .
Para que >9.1.(? $e@a $ati$feito 9 ne:e$$Brio mo$trar que
n
B f :on&erge
para f em
( )
C I para to"o
( )
f C I . 4e i$$o 9 &er"a"e= ento
n
B f
:on&erge para f em
( )
C I para to"o
( )
2
f I P = fato que $e po"e &erifi:ar
por :Bl:ulo "ireto< $e@a
( )
=
i
i
f x x = a$$im ne:e$$ita-$e mo$trar que
, 0,1, 2 =
n i i
B f f i . 4a!e-$e que= "o "e$en&ol&imento "o !in1mio "e
*e+ton= $e tem<
( )
0
=
1

( )
_
n
n
k n k
k
n
a b a b
k

#iferen:ian"o a expre$$o a:ima "ua$ &eAe$ :om relao a &ariB&el a= $e
tem<
Prof. Henrique Mariano C. Amaral 2013-2 pag. 1(
( )
( )
( )
( )
1
0
2
2
0
1
1
=
1

( )
1
( )
_
_
n
n
k n k
k
n
n
k n k
k
n
k
a b a a b
k n
n k k
a b a a b
k n n

%aAen"o= na Fltima expre$$o a:ima= = a x e 1 = b x e expan"in"o o
termo<

( )
( )
( )
( )
( ) ( )
( ) ( )
( ) ( )
2 2
2 2 2
2 2
2
1
1 1 1
1 1 1 1 1
n n k k
k k n n k n n k
n n n n n n n n n n
n

= =
l l

l l
=
( )
1 n
( )
2
2
1
k
n n n
( )
2
1
n
n

l
l
l
( )
1 n
2
k
n
( )
1 n
( )
2
2
1
1
1 1
n n
n k k
n n n n
l
l
=

Prof. Henrique Mariano C. Amaral 2013-2 pag. 1,
8em-$e o $eguinte >faAen"o-$e pequena$ a"apta/e$ alg9!ri:a$?<
( ) ( )
( ) ( )
0
0
0 0 0 0 0 0 0 0
0
0
1
1
0 1 1
1
1
0
0
1 1 1
1 1 1
0 1
1 (1 ) (
0 1 1 1 1
=
=
=
=
l
1
1
l
= = = = = = =

l

( )
( )
l
l
1 1 1
1 1 1

l
= =

l

( ) ( ) ( )
( ) ( ) ( )
l
_
_
k
k
i n n
i
k
k
k
i
i
k
k
B f x f x x f B f f f B f f
k i
k
B f x f x x x x x
k
( ) ( )
0
1 1 1
2 2 2
2
2
0 2 1 1 2 0
2
2
0
1 )
2 2 2 2
0 1 2
1 (1 ) (1 ) (1 )
0 1 2 2 2 2 2
1
2
=
=
l
l
= = = =
l
l
l
l
1 1 1 1
1 1 1 1

l l
= =

l
l

( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
l
l
l
=
_
n
k
k
i
i
k
x x f B f f
k
B f x f x x x x x x x x
k
2
2 2 1 2
1 1 1
2

l

l = =
l
l
n
n
n
x x B f f f f
n n

&Bli"o para 1, 2,..., ,... = i n .

Prof. Henrique Mariano C. Amaral 2013-2 pag. 1.
Teorema 4: 4e@am
1 2
, , , , , ,
i n
B B B B uma $equen:ia
qualquer "e oera"ore$ lineare$ po$iti&o$ "e
( )
C I nele me$mo tal que
n
B f
:on&erge uniformemente para
2
f P I ento
n
B f :on&erge
uniformemente para to"o
( )
f C I .
;$te teorema garante a :on&ergGn:ia para quai$quer fun/e$ :ont2nua$
( )
f C I .
*a prBti:a= &G-$e que a aproximao realiAa"a por meio "e polin1mio$ "e
Kern$tein $o ro!u$to$= ma$ muito lento$ em $ua$ :on&ergGn:ia$. ;$te
fato faA :om que e$te pro:e"imento no $e@a :omputa:ionalmente
a"equa"o para muita$ apli:a/e$. A $eguir &er-$e-B outro$ pro:e"imento$.

Prof. Henrique Mariano C. Amaral 2013-2 pag. 1'
9.3 Diferenas Finitas e Diididas
;m geral= utiliAam-$e polin1mio$ ou fun/e$ trigonom9tri:a$ para
interpolar outra$ fun/e$.
4e@a
( )
= y f x uma "a"a funo. #enota-$e por

1 1
, ,

^ = =
i i i i
x h x x x x x o &alor fixo "o in:remento no
argumento e por ^y o in:remento "a funo "e&i"o L ^x<

( ) ( ) ( )
^ =^ = ^ y f x f x x f x >9.2.1?
:on@unto "e ponto$

0 1 2
, , , , , , =
k n
x x x x x x po"e $er :ompo$to "e
ponto$ eqMi"i$tante$ ou no. ;m geral= quan"o $o eqMi"i$tante$ tra!al6a-
$e :om a$ "iferena$ finita$ e no :a$o em que no $o eqMi"i$tante$ 9 Ftil
L$ "iferena$ "i&i"i"a$.
A$ "iferena$ "i&i"i"a$ apare:em em funo "a aproximao linear "e
( )
f x = num :erto inter&alo
[ [
0 1
, x x = que 9 em geral 9 "efini"o :omo<

( ) ( )
1 0
1 0
f x f x
x x
>9.2.2?
;m geral >9.2.2? in"epen"e "e
0 1
x e x .

Diferenas Divididas
Definio 1: C6ama-$e "e primeira "iferena "i&i"i"a L raAo<
( )
( ) ( )

1
1 1
1
, , ;
l
l l
= = =
l l
l
i i
i i i i i
i i
f x f x
f x x f x x x x x
x x

>9.2.3?
DGem-$e na expre$$o a:ima a$ "i&er$a$ nota/e$ para a$ "iferena$
"i&i"i"a$<
( )
1 1
, ,

l
l l
= =
l l
l
i i i i
f x x f x x x
A$ "iferena$ "i&i"i"a$ "e or"em 0,1, 2, , , k $o "efini"a$
re:ur$i&amente pela$ $eguinte$ rela/e$<

[ [ ( )
[ [
[ [ [ [
[ [
[ [ [ [
[ [
[ [ [ [
0 0
1 0
0 1
1 0
1 2 0 1
0 1 2
2 0
1 0 1
0
0
,
, ,
, ,
, , ,
,

=
k k
k
k
f x f x
f x f x
f x x
x x
f x x f x x
f x x x
x x
f x x f x x
f x x
x x
>9.2.(?
*ote que= para 1 = k = a "iferena "i&i"i"a 9 uma funo $im9tri:a "e $eu$
argumento$=

1 1
, ,

l l

l l
j j j j j k
f x x f x x x x
Para 2 = k = $e tem<
[ [
[ [ [ [
( ) ( ) ( ) ( )
( )
( )( )
( )
( )( )
( )
( )( )
1 2 0 1
0 1 2
2 0
1 0 2 1
2 0 2 1 1 0
0 1 2
0 1 0 2 1 0 1 2 2 0 2 1
,
, ,
1

= =

( )
=

f x x f x x
f x x x
x x
f x f x f x f x
x x x x x x
f x f x f x
x x x x x x x x x x x x

Para = k n= $e tem >pro&ar :omo exer:2:io?<

[ [
[ [ [ [
( )
( ) ( )
( )
( ) ( )
( )
( ) ( )
( )
( )
1 0
0
0
0 1
0 1 0 1 0 1
0 1
0
, , , ,
, ,
= =
=

=
_

n n
n
n
n n
n
n n n
n
n
j j
j
f x x f x x
f x x
x x
f x f x
x x x x x x x x
f x
x x x x
f x
>9.2.,?
( )
( ) ( )
( )
0
0
1 1
, 0,1, , 1, 1, ,
=
= = =

n
j
n
j j n
j l
l
l j
j j j n
x x x x
x x

-em!re-$e que no "enomina"or "o :oefi:iente
( )
n
j
= no :ont9m o termo
( )
j j
x x .
utra repre$entao "a$ "iferena$ "i&i"i"a$ que 9 !a$tante Ftil para
e$timar $ua magnitu"e 9 "a"a pelo $eguinte teorema<
Teorema 1: 4e@am 1 k ponto$ "i$tinto$
0 1 1
, . , ,

k
x x x x e $e@a
( )
f x uma funo :ont2nua que tem "eri&a"a$ "e or"em k :ont2nua$ no
inter&alo<

( ) ( )
0 1 0 1
min , , , max , , ,

< <
k k
x x x x x x
;nto para algum ponto no inter&alo a:ima= e &er"a"eiro<

[ [
( )
( )
0 1
, , ,
!
=
k
k
f
f x x x
k
>9.2..?
Teorema 2: 4e@am ponto$ "i$tinto$
0 1
. , ,
k
x x x e $e@a
( )
f x
uma funo :ont2nua que tem "eri&a"a$ "e or"em :ont2nua$ no
inter&alo<

( ) ( )
0 0
min , , max , , < <
k k
x x x x x
1 k +
k
;nto no inter&alo a:ima= e &er"a"eiro<
[ [
( )
[ [ [ [
( )
0 1 1
0 1 2 1 1 1 0 0
0 0 0
, ,

( )
] ] ]

k
t t t
k
k k k k k
f x x dt dt dt f t x x t x x x
>9.2.'?
5uan"o
0
1, 1 = k t .
Corolrio 1: 4e
( )
( )
k
f x 9 :ont2nua em um inter&alo
[ [
, a b e
[ [
0 1
, , , ,
k
x x x a b ento

( )
( )
0 1
, , ,
!
k
k
f
f x x x
k
l
=
l
>9.2.3?
n"e
( ) ( )
0 1 0 1
min , , , max , , ,

< <
k k
x x x x x x .

Corolrio 2: 4e
( )
( )
k
f x 9 :ont2nua na &iAin6ana "e x= ento<

[ [
( )
( )
( )
1
, , ,
!
k
k termos
f
f x x x
k
>9.2.9?
Corolrio 3: 4e
( )
( )
m
f x 9 :ont2nua em um inter&alo e ..
$o "i$tinto$ e mai$ 0 , , < 9.2.10?

[ ]
, a b
A $eguir apre$enta-$e o triangulo "e gerao "a$ "iferena$ "i&i"i"a$<

[ [
[ [ [ [
[ [ [ [ [ [
[ [ [ [ [ [ [ [
0 0
1 1 0 1
2 2 1 2 0 1 2
1 2 1 0
,
, , ,
, , , ,...,

n n n n n n n n
x f x
x f x f x x
x f x f x x f x x x
x f x f x x f x x x f x x

n"e :a"a entra"a 9 igual "iferena "i&i"i"a entre o$ "oi$ elemento$ "a
:oluna ime"iatamente anterior $itua"o ao la"o e a:ima= a$$im= por
exemplo=

[ [
[ [ [ [
1 2 1 0
0 1 2
2 0
, ,
, ,

=
f x x f x x
f x x x
x x

Exemplo
Con$truir a ta!ela "e "iferena$ "i&i"i"a$ para a funo
( ) ( )
1 sin 3 = f x x
:on$i"eran"o a $eguinte "i$:retiAao "o inter&alo
[ [
0, 2 < x=[0 0.2 0.4 0.8 1.2
1.6 2.0];
;$:re&en"o um programa em Matla! para a :on$truo "a ta!ela "a$
"iferena$ "i&i"i"a$ para um :on@unto gen9ri:o "e ponto$
( )
, x y <
function [dd]=difdiv(x,y)
% calcula a tabela das diferenas divididas para os dados em x e y
digits(8)
[n,m] = size(y);
if n==1, n=m; end
dd = zeros(n,n+1);
dd(:,1) = x'; % primeira coluna = valores de x
dd(:,2) = y'; % segunda coluna = valores de y=f(x)
for j = 3:n+1
for i = j-1:n
dd(i,j) = (dd(i-1,j-1)-dd(i,j-1))/(dd(i-j+2,1)-dd(i,1));
end
end
return

Agora $e e$:re&e uma rotina para= u$an"o a funo a:ima= :on$truir a
ta!ela "a$ "iferena$ "i&i"i"a$ "a funo "a"a no inter&alo in"i:a"o<
clc;clear;
t=cputime;
x=[0 0.2 0.4 0.8 1.2 1.6 2.0];
y = 1+sin(3*x);
dd = difdiv(x,y);
vpa(dd,6)
fprintf('\nO tempo de cpu %10.8g segundos \n',cputime-t);

;xe:utan"o-o= o!t9m-$e<
[ 0, 1.0, 0, 0, 0, 0, 0, 0]
[ 0.2, 1.56464, 2.82321, 0, 0, 0, 0, 0]
[ 0.4, 1.93204, 1.83698, -2.46557, 0, 0, 0, 0]
[ 0.8, 1.67546, -0.64144, -4.1307, -2.08141, 0, 0, 0]
[ 1.2, 0.55748, -2.79496, -2.6919, 1.43881, 2.93352, 0, 0]
[ 1.6, 0.00383539, -1.38411, 1.76356, 3.71288, 1.62434, -0.818235, 0]
[ 2.0, 0.720585, 1.79187, 3.96998, 1.83868, -1.17138, -1.55318, -0.367471]

O tempo de cpu 0.1248008 segundos

Diferena Finita Ascendente
Definio 2: #efine-$e :omo primeira diferena finita= ou
diferena finita ascendente= o in:remento ^y "a funo
( )
f x <

( ) ( ) ( )
^ =^ = ^ y f x f x x f x >9.2.11?
#iferena$ finita$ "e mai$ alta or"em $o "efini"a$ $imilarmente por<

( )
1
, 2, 3, , ,
^ =^ ^ =
n n
y y n n >9.2.12?
Neneri:amente= $e
( )
0 0
=
n
n
P x a x a 9 um polin1mio "e grau n= ento
para =^ h x<

( )
0
! constante ^ = =
n n
n
P x n a h >9.2.13?

( ) ( ) ( )
0
1 1 ^ =
k k
n
P x n n n k a h para k n >9.2.1(?

( )
0, ^ =
k
n
P x para k n >9.2.1,?
$2m!olo po"e $er interpreta"o :omo um opera"or que a$$o:ia a
funo
( ) ( )
^ = ^ y f x x f x :om a funo
( )
= y f x = e que tem a$
$eguinte$ proprie"a"e$<
1.
( )
^ =^ ^ f g f g
2.
( )
^ = ^ f f
3.
( )

^ ^ =^
m n m n
f f
(.
0
^ = f f
on"e f e g $o fun/e$= uma :on$tante e m e n inteiro$ po$iti&o$
maiore$ que Aero.
4a!e-$e que
( ) ( ) ( )
^ =^ = ^ y f x f x x f x "on"e $e :on:lui que

( ) ( ) ( ) ( ) ( )
1 ^ =^ = ^ f x x f x f x f x
Apli:an"o e$ta relao n &eAe$ o!t9m-$e<

( ) ( ) ( )
1 ^ = ^
n
f x n x f x
"e$en&ol&en"o-$e o termo
( )
1 ^
n
no$ :onforme a f)rmula !inomial=
tem-$e<

( )
0
( )
=
^ = ^
_
n
i i
n
i
f x n x C f x >9.2.1.?
n"e
( 1)...[ ( 1)]
!

=
i
n
n n n i
C
i
9 o nFmero "e :om!ina/e$ "e n
elemento$ toma"o$ i a i . #e forma anBloga= o!t9m-$e<

( ) ( )
( ) ( )
( ) ( ) ( )
( ) ( )
( ) ( )
2
1 1
1
2
1 1
( )
( 2 ) 2
2 2
( ) ( ) ( )
( ) [ ( 1) ]
[ ( 2) ] ... ( 1) ( )

'
1 ^ =^ ^ ^
1
1
1
= ^ ^ 1
1
1
1
= =^
1
1
1
1
=^ ^
1
1
1
!
1
1
1
^ =^ ^ ^ =
1
1
1
1 = ^ ^
1
1
1
^
1
1
1
1
=^ ^
1
+
n n n
n
n
n
n n
f x f x x f x
f x x f x x f x
f x h f x h f x h x
f x h f x
f x f x x f x
f x n x C f x n x
C f x n x f x
f x h f x
>9.2.1'?
que expre$$a a "iferena finita a$:en"ente "e n-9$ima or"em ou
$imple$mente "iferena finita "e n-9$ima or"em "a funo
( )
f x .
Hm e$quema triangular= tipo triOngulo "e Pa$:al= a@u"a a &i$ualiAar e
:al:ular a$ "iferena$ finita$. A$$im "a"o$ n ponto$ "a funo
( )
f x tem-
$e<
( )
( ) ( )
( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( )
0 0
1 1 0
2
2 2 1 0
2 3
3 3 2 1 0
2 3 4
4 4 3 2 1 0
^
^ ^
^ ^ ^
^ ^ ^ ^

x f x
x f x f x
x f x f x f x
x f x f x f x f x
x f x f x f x f x f x
>9.2.13?
DG-$e que na$ "iagonai$ "a ta!ela o 2n"i:e $u!$:rito permane:e :on$tante=
aumentan"o apena$ o 2n"i:e $o!re$:rito. ; mai$=
( )
^
k
j
f x 9 igual L
"iferena ime"iatamente anterior >na me$ma lin6a? .. e a "iferena finita
ime"iatamente anterior na "iagonal= a:ima=
( )
1
^
k
j
f x .
Com o u$o "e "iferena$ finita$ o$ elemento$ "e

k
x $o eqMi"i$tante$ e
tGm $eu$ 2n"i:e$ em or"em $empre :re$:ente= "e mo"o que<

1
=
j j
x x h >9.2.19?
A$$im= u$an"o a notao "e "iferena$ "i&i"i"a$ $e &G que<
( ) ( ) ( )
( )
( )
( )
( )
( ) ( )
( )
1
1 1
1
2
1 2 1
2 1 2
2
1 2
1 1
1 1
1
,
,
, ,
, ,
2 , ,
1 ! , , 1 ! , ,
1 !
^ =
l
=
l
l
=
l
l l
^ =
l l
l
=
l
l
=
l
l l
^ =
l l
=

j j j
j j j j
j j
j j j j j
j j j j j
j j j
n n n
j j j n j j n
n
j n
f x f x f x
x x f x x
hf x x
f x hf x x hf x x
h x x f x x x
h f x x x
f x n h f x x n h f x x
n h x
( )
1
, ,
! , , ,

'
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
!
1
1
1
1
1
1
1
1
1
1
1
1
1
l
1
1
l
1
1
1
l
=
1
l
1+
j j j n
n
j j j n
x f x x
n h f x x x
>9.2.20?

Exemplo
Con$truir a ta!ela "e "iferena$ finita$ a$:en"ente$ para a funo
( ) ( )
1 sin 3 = f x x :on$i"eran"o a $eguinte "i$:retiAao "o inter&alo
[ [
0, 2 <
[ [
x 0 0.2 0.4 0.8 1.2 1.6 2.0 ; =
;$:re&en"o um programa em Matla! para a :on$truo "a ta!ela "a$
"iferena$ finita$ a$:en"ente$ para um :on@unto gen9ri:o "e ponto$
( )
, x y
<
function [dfa]=dfinitaasc(x,y)
% calcula a tabela das diferenas finitas ascendentes para os dados em x e y
digits(6);
Programa em Matlab:
Veja no livro Anlise e Mtodos Nuumricos Aplicados a Engnharia, do autor.
:u@a exe:uo gera a $eguinte ta!ela<
dfa =
0 1.0000 0 0 0 0 0 0
0.2000 1.5646 -0.5646 0 0 0 0 0
0.4000 1.9320 -0.3674 -0.1972 0 0 0 0
0.8000 1.6755 0.2566 -0.6240 0.4267 0 0 0
1.2000 0.5575 1.1180 -0.8614 0.2374 0.1893 0 0
1.6000 0.0038 0.5536 0.5643 -1.4257 1.6632 -1.4739 0
2.0000 0.7206 -0.7167 1.2704 -0.7061 -0.7197 2.3829 -3.8568

Diferena Finita Descendente ou Retrgada
Definio 3: #efine-$e :omo primeira diferena finita
retrgrada= ou diferena finita descendente= o in:remento "a funo ..=
quan"o o in:remento "a &ariB&el "epen"ente ^x for negati&o= e "enota-
$e por<

( ) ( ) ( ) ( ) ( )
\ = ^ = f x f x f x x f x f x h >9.2.21?
#iferena$ finita$ "e$:en"ente$ "e mai$ alta or"em $o "efini"a$
$imilarmente por<

( ) ( ) ( )
1
\ =\ \
n n n
f x f x f x h >9.2.22?
*o&amente= $e a$ a!$:i$$a$ x $eguir a or"em "etermina"a por >9.2.19?=
ento $e po"e repre$entar a$ "iferena$ finita$ "e$:en"ente$ em termo$
"e "iferena$ "i&i"i"a$. A$$im= analogamente :omo $e feA em >9.2.20? $e
tem<
y

( ) ( ) ( )
( )
( )
1
1 1
1
1
,
,
! , , ,

\ =
l
=
l
l
=
l
l
\ =
l
j j j
j j j j
j j
n n
j j j j n
f x f x f x
x x f x x
hf x x
f x n h f x x x
>9.2.23?
P $emel6ana :om a$ "iferena$ finita$ a$:en"ente$= 9 po$$2&el :on$truir
um e$quema triangular= que a@u"a a &i$ualiAar e :al:ular a$ diferenas
finitas "e$:en"ente$= "a"o$ ponto$ "a funo
( )
f x . A$$im< n
( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( ) ( )
( ) ( )
( )
2 3 4
4 4 3 2 1
2 3
3 3 2 1
2
2 2 1
1 1

\ \ \ \
\ \ \
\ \
\

n n n n n n
n n n n n
n n n n
n n n
n n
x f x f x f x f x f x
x f x f x f x f x
x f x f x f x
x f x f x
x f x
>9.2.2(?

$2m!olo \= L $emel6ana "o opera"or ^= po"e $er interpreta"o :omo
um opera"or que a$$o:ia a funo
( ) ( )
\ = ^ f f x f x x :om a funo
( )
= y f x = e que tem a$ $eguinte$ proprie"a"e$<
1.
( )
\ =\ \ f g f g
2.
( )
\ = \ f f
3.
( )

\ \ =\
m n m n
f f
(.
0
\ = f f
on"e f e g $o fun/e$= uma :on$tante e m e n inteiro$ po$iti&o$
maiore$ que Aero.
DG-$e que na$ "iagonai$ a$:en"ente$ "a ta!ela o 2n"i:e $u!$:rito
permane:e :on$tante= aumentan"o apena$ o 2n"i:e $o!re$:rito. ; mai$=
( )
\
k
j
f x 9 igual L "iferena entre a "iferena finita "e$:en"ente
lo:aliAa"a ime"iatamente na "iagonal= a!aixo=
( )
1
\
k
j
f x e a "iferena
ime"iatamente anterior >na me$ma lin6a?
( )
1
1
\
k
j
f x .
Como $e &G= a$ "iferena$ finita$ $o Ftei$ para $e faAer :Bl:ulo$ no in2:io
"a ta!ela "o$ "a"o$ ta!ulare$= enquanto a$ "iferena$ finita$
"e$:en"ente$ $e pre$tam para faAer o me$mo no final "a ta!ela.

Prof. Henrique Mariano C. Amaral 2013-2 pag. (0
Diferena Finita Central
5uan"o $e tem que faAer :Bl:ulo$ em qualquer lugar :entral "a ta!ela 9
muito mai$ :on&eniente o u$o "a$ "iferena$ finita$ :entrai$= a$$im
"efini"a$<
Definio 4: #efine-$e :omo primeira diferena finita central=
ao in:remento y "a funo
( )
= y f x = quan"o o in:remento "a &ariB&el
"epen"ente for "a"o em torno "o ponto x= e "enota-$e por<

( ) ( ) ( )
1 1
2 2
= = y f x f x h f x h >9.2.2,?
#iferena$ finita$ :entrai$ "e mai$ alta or"em $o "efini"a$ $imilarmente
por<

( ) ( ) ( )
1
1 1
2 2

=
n n n
f x f x h f x h >9.2.2.?
*o&amente= $e a$ a!$:i$$a$ x $eguir a or"em "etermina"a por >9.2.19?=
ento $e po"e repre$entar a$ "iferena$ finita$ :entrai$ em termo$ "e
"iferena$ "i&i"i"a$. Ma$ agora $e &G que nem $empre ela$ en&ol&em o$
x
"a"o$ ta!ulare$. A$$im= "enotan"o por
( )
=
j j
f f x e por
( )
=
j j
f f x = $e
tem<

( ) ( )
( ) ( )
( )
( ) ( )
( )
2
1 1
2 2
1 1
2

=
=
=
j j j
j j j j
j j j
f f x h f x h
f x h f x f x f x h
f f f
>9.2.2'?
P $emel6ana "o que $e feA a:ima= to"a$ a$ "iferena$ :entrai$ "e or"em
par=
2
n
j
f = en&ol&em apena$ o$ "a"o$ ta!ulare$. *o $e po"e afirmar o
me$mo quan"o a$ "iferena$ :entrai$ $o "e or"em impar. ;ntretanto= $e
po"e &erifi:ar que=

1
2
1
=
j j
j
f f f >9.2.23?
A$$im= po"e-$e tam!9m afirmar que a$ "iferena$ :entrai$ "e or"em
2mpare$= "a forma
1
2
2 1
n
j
f = tam!9m en&ol&em apena$ "a"o$ ta!ulare$.
#e$$a forma= po"e-$e agora ree$:re&er a$ "iferena$ :entrai$ em termo "e
"iferena$ "i&i"i"a$<

[ [
[ [
[ [ [ [
[ [
( )
( )
( )
1
2
1
2
3 1
2 2
1
2
1
2
1
2
1 0 0 1
0 1 0 1
2
1 1 2 0 1
2
0 1 2
2 2
1 1
2 1 2 1
1
2 1 2
,
,
, ,
2! , ,
2 ! , , , , ,
2 1 ! , , , ,
2 1 !
= =
= =
= =
=
l
=
l
l
=
l
=

n n
j n j n j j n j n
j
n n
j n j j n j n
j
n
j
f f f hf x x
f f f hf x x
f f f hf x x hf x x
h f x x x
f n h f x x x x x
f n h f x x x x
f n h
1
1 1
, , , , ,

'
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
!
1
1
1
1
1
1
1
1
1
1
1
1
1
l
1
1
l
1
1
1
1
+

n
j n j n j j n j n
f x x x x x
>9.2.29?
4imilarmente= :om a$ "iferena$ :entrai$= 9 po$$2&el :on$truir um e$quema
triangular= que a@u"e a &i$ualiAar e :al:ular a$ "iferena$ finita$ :entrai$=
"a"o$ n ponto$ "a funo
( )
f x . A$$im<

1 3 3
2 2 2
1 1 1
2 2 2
1 1 1
2 2 2
1 3 3
2 2 2
2
2 2 2
3
2
2 4
1 1 1 1
3
1
2 4
0 0 0 0
3
0
2 4
1 1 1 1
3
1
2 4
2 2 2 2
x f f
x f f
x f f f
x f f
x f f f
x f f
x f f f
x f f
x f f f
>9.2.30?
Prof. Henrique Mariano C. Amaral 2013-2 pag. ((

9.! F"rmulas de Interpolao de #e$ton
Definio 1: #efine-$e produto frente de k mon!mio"=
"enotan"o por
( )
[ [
0
k
x x ao pro"uto :om fatore$ "o tipo
( )
i
x x on"e

0 1
, ,

i k
x x x <
( )
[ [
( )( ) ( )
( )
0 0 1 1
1
0
=
=
=
k
k
k
i
i
x x x x x x x x
x x
>9.3.1?
Definio 2: #efine-$e produto frente de k n#mero"=
( ) ( )
, 1 , , 1 k = "enotan"o por
( )
[ [
k
ao pro"uto :om fatore$<
k
k
Prof. Henrique Mariano C. Amaral 2013-2 pag. (,

( )
[ [
( )( ) ( )
( ) ( )
1
0 1
1 1
1

= =
=
= =

k
k k
i i
k
i i
>9.3.2?
*ote que $e :om!inarmo$ a expre$$o >9.3.2? "i&i"in"o-a por ! k = ela $e
tran$forma na expre$$o referente ao$ :oefi:iente$ !inomiai$ ou
:om!ina/e$ :omo "efini"o em >9.2.1.?<

( ) ( )
( )
1 1 1
1
!

1 1

= =

( ) ( )
k
k k
k k k
>9.3.3?
Definio 3: #efine-$e fatorial polinomial= "enotan"o por
( )
n
t ao pro"uto :om n fatore$ na &ariB&el t = por exemplo<

( )
( ) ( ) ( )
0
1 , 1, 2,

n
t t
t t t t n n
>9.3.(?
Prof. Henrique Mariano C. Amaral 2013-2 pag. (.
Em Diferenas Divididas.
HtiliAan"o a$ expre$$/e$ "e "efinio "e "iferena$ "i&i"i"a$= >9.2.(?=
$egue o $eguinte<

( ) [ [ ( ) [ [
[ [ [ [ ( ) [ [
[ [ [ [ ( ) [ [
0 0 0
0 0 1 1 0 1
0 1 0 0
,
, , , ,
, , , , , , , ,
=
=
=

n n n n
f x f x x x f x x
f x x f x x x x f x x x
f x x x f x x x x f x x x
>9.3.,?
%aAen"o a retro$u!$tituio in"i:a"a na expre$$o >9.3.,? a expre$$o
re$ultante 9<

( ) [ [ ( ) [ [
( )( ) [ [
( ) ( ) [ [ ( )
0 0 0 1
0 1 0 1 2
0 1 0
,
, ,
, ,

n n
f x f x x x f x x
x x x x f x x x
x x x x f x x E x
>9.3..?
n"e
( )
E x 9 a me"i"a "e :on&ergGn:ia ou erro= e 9 "a"o por<
Prof. Henrique Mariano C. Amaral 2013-2 pag. ('

( ) ( ) ( ) [ [
0 0
, , , =
n n
E x x x x x f x x x >9.3.'?
A expre$$o >9.3..? a:ima 9 "enomina"a $rmula de %nterpolao de
&e'ton com Diferena" Di(idida".

HtiliAan"o a "efinio expre$$a por >9.3.1? >produto frente de k
mon!mio"?em >9.3..? $e tem<

( ) [ [ ( )
[ [
[ [
( )
[ [
[ [
( )
[ [
[ [ ( )
( )
[ [
[ [
1
0 0 0 1
2
0 0 1 2
0 0
0 0
0
,
, ,
, ,
, ,
=
=

=
_
n
n
n
k
k
k
f x f x x x f x x
x x f x x x
x x f x x E x
x x f x x
>9.3.3?
ou ain"a

( )
[ [
( )
1
0
0 0
, ,
= =
=
_
n i
i j
j i
f x f x x x x >9.3.9?
A &antagem "e$$a f)rmula "e *e+ton 9 que no 6B re$trio quanto ao$
inter&alo$ entre o$ ponto$
i
x .
*o algoritmo mo$tra"o a!aixo= em Matla!= para o m9to"o= o &etor c
repre$enta a$ "iferena$ "i&i"i"a$
[ [
0
, ,
i
f x x = enquanto a matriA A
:ont9m a ta!ela "a$ "iferena$ "i&i"i"a$I X 9 o ponto on"e $e quer a
aproximao interpola"a a partir "o$ &etore$

1
, ,
n
x x x e

1
, , =
n
y y y $en"o
( )
=
i i
y f x .
)*todo de &e'ton por Diferena" Di(idida"
function [p,c,A]=newton_dd(x,y,n,X)
% ====================================================
% Algoritmo de Interpolao Polinomial
% Mtodo de Newton por diferenas divididas
% x = vetor com as coordenadas x
% y = vetor com as coordenadas y
% n = dimenso de x e y = N+1 pontos
% X = ponto onde se quer calcular o valor de Pn-1(X)
% c = vetor dos coeficientes do polinomio interpolador
% P = valor do polinomio interpolador no ponto X
% A = matriz de aproximao de Newton por dif. div.
% ====================================================
Programa em Matlab:

Prof. Henrique Mariano C. Amaral 2013-2 pag. ,0
Exemplo
H$an"o a funo apre$enta"a a:ima= a:6e a aproximao "a or"ena"a
para o ponto 1.5 = X quan"o $e tem a $eguinte ta!ela "e ponto$<
i
x
1.0 1.3 1.. 1.9 2.2
i
y
0.'.,19'
'
0.0.2003.
0
0.((((02
2
0.231313
.
0.1103.2
3
Apre$ente a ta!ela "e "iferena$ "i&i"i"a$ e o &alor "e
( )
= Y f X .
4oluo<
;$:re&en"o-$e um programa para u$ar a funo e tem<
% teste de Newton por Diferenas Divididas
clear; clc; t=cputime;
x = [ 1 1.3 1.6 1.9 2.2 ];
y = [ 0.7651977 0.6200860 0.4554022 0.2818186 0.1103623 ];
X = 1.5; [m,n]=size(x);
Programa em Matlab:
:u@o$ re$ulta"o$ $o<
O valor de Y=f(X) para X= 1.5 = 0.51181999
Os coeficientes para o polinomio interpolador so:
c = 0.00182510 0.06587839 -0.10873389 -0.48370567 0.76519770
A tabela de diferenas divididas :
C =
1.00000000 0.76519770 -0.48370567 -0.10873389 0.06587839 0.00182510
1.30000000 0.62008600 -0.54894600 -0.04944333 0.06806852 0
1.60000000 0.45540220 -0.57861200 0.01181833 0 0
1.90000000 0.28181860 -0.57152100 0 0 0
2.20000000 0.11036230 0 0 0 0
O tempo de cpu 0.078125 segundos

FIGURA 9! A*U%)$ ($ +UR,A &$-' M$)N$.)'N $M (IF(I,
1 1.5 2 2.5
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
*otar que o$ :oefi:iente$ $o iguai$ ao$ , Fltimo$ elemento$ "a primeira
lin6a "a ta!ela "e "iferena$ "i&i"i"a$= na or"em in&er$a.
Em Diferenas Finitas Para Frente ou Ascendentes
4e@a uma funo
( )
= y f x e o$ &alore$ :on6e:i"o$
( )
=
i i
y f x = para
&alore$= "a &ariB&el in"epen"ente= igualmente e$paa"o$<
( )
0
0,1, , = =
i
x x ih i n = on"e h 9 o e$paamento. #e$e@a-$e a:6ar um
polin1mio
( )
n
P x "e grau no maior que n= que $ati$faa<

( )
; 0,1, , = =
n i i
P x y i n >9.3.10?
A :on"io anterior 9 equi&alente a<

( )
0 0
, 0,1, , ^ =^ =
m m
n
P x y m n >9.3.11?

polin1mio "e *e+ton em "iferena$ finita$ a$:en"ente tem a $eguinte
forma<

( ) ( ) ( )( )
( )( ) ( )
0 1 0 2 0 1
0 1 1
=

n n
P x a a x x a x x x x
a x x x x x x
>9.3.12?
-e&an"o L expre$$o >9.3.1? na expre$$o a:ima "e >9.3.12?= o!t9m-$e<

( ) ( )
[ [
0 0
1 =
=
_
n
i
n i
i
P x a a x x >9.3.13?
pro!lema agora 9 "eterminar o$ :oefi:iente$
i
a =
( )
0,1, 2, , = i n .
%aAen"o em >9.3.13?
0
= x x = o!t9m-$e
( )
0 0 0
= =
n
P x y a . Para $e a:6ar o
:oefi:iente
1
a = $e@a a f)rmula "a primeira "iferena finita "e
( )
n
P x <
( ) ( )
[ [
( )
[ [
( )
[ [ 1 2
1 2 0 3 0 0
2 3 ^ =
n
n n
P x a h a h x x ha x x nha x x
>9.3.1(?
Colo:an"o na expre$$o a:ima= tem-$e<
0
x x =
Prof. Henrique Mariano C. Amaral 2013-2 pag. ,(

( )
0 0 1
^ =^ =
n
P x y a h
ou $e@a=

0
1
^
=
y
a
h

Para "eterminar
2
a = $e@a a $egun"a "iferena finita<

( ) ( )
[ [
( ) ( )
[ [ 1 2
2 2 2 2
2 3 0 0
2! 2 3 1

^ =
n
n n
P x h a h a x x n nh a x x
Colo:an"o na expre$$o a:ima= tem-$e<
( )
2 2 2
0 0 2
2! ^ =^ =
n
P x y h a =
ou $e@a=
2
0
2
2
2!
^
=
y
a
h
.
;m geral= tem-$e<

0
, 0,1, 2, ,
!
^
= =
i
i
i
y
a i n
i h
>9.3.1,?
0
x x =
Prof. Henrique Mariano C. Amaral 2013-2 pag. ,,
-e&an"o e$te$ re$ulta"o$ em >9.3.1(? tem-$e finalmente o !olin"mio
#nterpolador de $e%ton em diferenas finitas ascendentes
( ) ( )
[ [
( )
[ [
( )
[ [
( )
( )
( )
[ [
( )
( )
[ [
( )
( )
[ [
( )
( )
[ [
2
1 2
0 0 0
0 0 0 0
2
2
1 2
0 0 0
0 0 0 0
2
0
0
0
1! 2! !
1! 2! !
!
=
'
1 1
1 1
^ ^ ^

( )
( ) ( )
1 1
1
^ ^ ^

( )
( ) ( )
1
^

( )
_
n
n
n
n
n
n
n
i
n
i
i
i
y y y
P x y x x x x x x
h h n h
f x f x f x
f x x x x x x x
h h n h
f x
x x
i h
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1+

>9.3.1.?
*ote-$e que quan"o 0 h = a f)rmula a:ima $e torna um polin1mio "e
8a7lor para a funo
( )
f x . I$to 9=

( )
( )
( )
( )
0
0
0 0
0
lim
=
1
^

= = =

( )
i i
i i
i i
h
x x
y d y
f x y x
h dx

Prof. Henrique Mariano C. Amaral 2013-2 pag. ,.
e
( )
[ [
( )
0 0
0
lim
=
i i
h
x x x x =
a$$im a f)rmula "o Polin1mio Interpola"or "e *e+ton para "iferena$
finita$ a$:en"ente$ terB o a$pe:to "o polin1mio "e 8a7lor<
( ) ( )
( )
( )
( )
( )
( )
( )
( ) ( )
' "
1 2
0 0
0 0 0
0
0
1! 2!
!
=

n
n
n
f x f x
P x f x x x x x
f x
x x E x
n
>9.3.1'?
DG-$e que o erro
( )
E x ou :rit9rio "e :on&ergGn:ia $erB "a"o por >9.1.'?<

( )
( )
( )
( )
( )
1
1
0
1 !

n
n
x x
E x f
n
>9.3.13?

Prof. Henrique Mariano C. Amaral 2013-2 pag. ,'
Em Diferenas Finitas Retrgradas ou Descendentes
P$ &eAe$ 9 mai$ :on&eniente u$ar o !olin"mio de $e%ton para diferenas
finitas descendentes. A$$im $e@am

1 1 0
, , , ,
=
n n
x x x x x "e maneira que
1 1 0

n n
x x x x I "e$$a forma= po"e-$e tro:ar
0
x por
n
x =
1
x por
1 n
x =
e a$$im por "iante em >9.3..? o!ten"o-$e<

( ) [ [ ( ) [ [
( )( ) [ [
( ) ( ) [ [ ( )
1
1 1 2
1
,
, ,
, ,

n n n n
n n n n n
n n k n n k
f x f x x x f x x
x x x x f x x x
x x x x f x x E x
>9.3.19?
4e $i fiAer

= = =
n
n
x x
x x h
h
>9.3.20?
e u$an"o a expre$$o >9.2.23? que informa que
( )
1
! , , ,

l
\ =
l
n n
j j j j n
f x n h f x x x = po"e-$e :on&erter a expre$$o >9.3.19?
na $eguinte<

( ) ( )
( )
( ) ( )
( )
( )
( )
( ) ( )
( )
( )
2
1
1
1
2!
1 1
!
1
1 !
'
= = 1
1
1
1
1
1
= \ \
1
1
1
1
!
1
\
1
1
1
1
1
1
=
1
1
1
+
n n
n n n
n
n
n
n
f x f x h
f f f
n
f E
n
h
E n f
n
>9.3.21?
A expre$$o Q $em o termo
( )
E - a:ima 9 :on6e:i"a :omo $rmula de
%nterpolao de &e'ton em Diferena" $inita" "e$:en"ente$.
H$an"o a "efinio 2 "a"a por >9.3.2? e >9.3.3? $em :on$i"erar o termo
( )
E = $e tem<

( )
( )
[ [
( )
0
0
0
!
1
1
=
=
=
'
1
1
1
= \ =
1
1
1
1
1
1

1
= \ =
!

1
( )
1
1
1
1
1
= \

1

( )
1
+
_
_
_
k
n
k
n n
k
n
k
n
k
n
k
k
n
k
f x f
k
k
f
k
f
k
>9.3.22?

Prof. Henrique Mariano C. Amaral 2013-2 pag. .0
9.% F"rmula de Interpolao de &a'ran'e
A f)rmula "e interpolao "e *e+ton 9 apli:B&el para ponto$ igualmente
e$paa"o$. Hma f)rmula mai$ geral 9 "enomina"a &rmula de
#nterpolao de 'agrange
(
= u$a"a para ponto$ ar!itrBrio$.
4e@a um inter&alo
[ [
, a b e 1 n &alore$ "i$tinto$
0 1
, , ,
n
x x x e $e@am o$
:orre$pon"ente$ &alore$ "a funo
( )
= y f x para o$ ponto$ :on6e:i"o$<

( ) ( ) ( )
0 0 1 1
; ; ; = = =
n n
y f x y f x y f x
4e@a= ento= a :on$truo "e um polin1mio
( )
n
L x "e grau no maior que n
= ten"o ele o me$mo &alor "e
( )
f x no$ ponto$ = i$to 9=

( )
, 0,1, , = =
n i i
L x y i n >9.(.1?

3
Ro$ep6--oui$ -agrange >2,S01S1'3. Q 10S0(S1313?
0 1
, , ,
n
x x x
Con$i"ere-$e= em parti:ular= um polin1mio
( )
=
i j ij
p x que $e anula em
ponto$ :on6e:i"o$= e tem a forma<

( ) ( )( ) ( )( ) ( )
0 1 1 1

=
i i i i n
p x x x x x x x x x x x >9.(.2?
on"e
i
9 um :oefi:iente :on$tante. %aAen"o =
i
x x na f)rmula >9.(.2?
a:ima e $a!en"o-$e que
( )
1 =
i i
p x = tem-$e<

( )( ) ( )( ) ( )
( )( ) ( )( ) ( )
0 1 1 1
0 1 1 1
1
1

=
= =

i i i i i i i i n
i
i i n
x x x x x x x x x x
x x x x x x x x x x
>9.(.3?
-e&an"o-$e >9.(.3? em >9.(.2? o!t9m-$e<

( )
( )( ) ( )( ) ( )
( )( ) ( )( ) ( )
0 1 1 1
0 1 1 1

=

i i n
i
i i i i i i i n
x x x x x x x x x x
p x
x x x x x x x x x x
>9.(.(?
n
4e@a agora= "eterminar o polin1mio
( )
n
L x que $ati$faa a$ :on"i/e$
apre$enta"a$ anteriormente. 4e@a :on$i"erar que o polin1mio pro:ura"o
ten6a a $eguinte forma<

( ) ( )
,
0 =
=
_
n
n i i i
i
L x p x y >9.(.,?
*um ponto =
j
x x = :on$i"eran"o-$e a :on"io
( )
=
i j ij
p x = tem-$e<

( ) ( ) ( )
,
0
, 0,1, ,
=
= = = =
_

n
n i j i j j j j j j
i
L x p x y p x y y j n
o que $ati$faA tam!9m a :on"io >9.(.1?= que le&a L forma final "e
( )
, n i
L x <
( )
( )( ) ( )( ) ( )
( )( ) ( )( ) ( )
( )
( )
0 1 1 1
,
0
0 1 1 1
0 0

=

= =

=

= =
_
_ _

n
i i n
n i i
i
i i i i i i i n
n n
j
i i i
i j i i
i j
x x x x x x x x x x
L x y
x x x x x x x x x x
x x
y L y
x x
>9.(..?

Prof. Henrique Mariano C. Amaral 2013-2 pag. .(
Teorema 1: 4e $o 1 n n)$ "i$tinto$ e
( )
= y f x uma
funo :u@o$ &alore$ $o "a"o$ para e$$e$ n)$= ento o Fni:o polin1mio
( )
P x "e grau no maior que n que $ati$faA a

( ) ( )
, 0,1, 2, , = =
k k
f x P x k n
9

( ) ( )
( )
,
0 =
=
_
n
n k k
k
P x L x f x >9.(.'?
on"e
( )
( )( ) ( )( ) ( )
( )( ) ( )( ) ( )
( )
( )
0 1 1 1
,
0 1 1 1
0

=

k k n
n k
k k k k k k k n
n
j
j
k j
j k
x x x x x x x x x x
L x
x x x x x x x x x x
x x
x x
>9.(.3?
0 1
, , ,
n
x x x
Prof. Henrique Mariano C. Amaral 2013-2 pag. .,
$o o$ :oefi:iente$ "o polin1mio pro:ura"o. *otar que >9.(.'? :om >9.(.3?
9 $imilar a >9.(..?.

Prof. Henrique Mariano C. Amaral 2013-2 pag. ..
Exemplo
4e@a "eterminar o polin1mio interpola"or "e -agrange para o$ ponto$
0 1 2
2; 2,5; 4 = = = x x x para
( )
1 = f x x = ou $e@a= a ta!ela

( )
2
0,5
2, 5
0, 4
4
0, 25
f x
x

Para $e a:6ar o polin1mio interpola"or "e -agrange na forma=
"eterminam-$e primeiro o$ :oefi:iente$ "o polin1mio interpola"or na
forma "e >9.(.3?<
Prof. Henrique Mariano C. Amaral 2013-2 pag. .'

( )
( )
( )
( )
( )
( )
( )
( )( )
( )( )
( )
( )
( )
( )
( )
( )
( )
0
1
2
2,5 4
6,5 10
2 2,5 2 4
2 4 4 24 32
2,5 2 2, 5 4 3
2 2,5 4, 5 5
4 2 4 2, 5 3

= =

= =

= =

x x
L x x x
x x x x
L x
x x x x
L x

-ogo
( ) ( )
( )
( )
( )
( )
( )
,
0
2
4 24 32 4,5 5
6,5 10 0,5 0, 4 0, 25
3 3
0, 05 0, 425 1,15
=
=
1 1

=

( ) ( )
=
_
n
n k k
k
P x L x f x
x x x x
x x
x x

Teorema 2: 4e@am $o n)$ "i$tinto$ em um
inter&alo [ [ , a b e
( )
[ [
1
,
=
n
y f x C a b uma funo. ;nto= $e o polin1mio
"e grau no maior que interpola
( )
f x $egun"o >9.(.'?= $e tem

( ) ( )
( )
( )
( )
( )
( )( ) ( )
1
0 1
1 !

n
n
f x
f x P x x x x x x x
n
>9.(.9?
on"e
( )
[ [ , x a b 9 um nFmero para :a"a [ [ , x a b .
;$$e teorema e$ta!ele:e o erro "a apli:ao "o polin1mio "e -agrange.
A $rmula de %nterpolao de Lagrange 9 "a"a por >9.(.'? ou por >9.(..?.
A $eguir uma funo em Matla! que :al:ula a or"ena"a "e um ponto
qualquer= atra&9$ "e um polin1mio interpola"or "e -agrange "e or"em n=
"a"o$ o$ n ponto$
( )
, x y <

function p = pil(a,x,y,n)
% PIL = Polinmio Interpolador de Lagrange
% a = ponto x onde quero o valor do polinmio
% x = vetor com os pontos x(i)
0 1
, , ,
n
x x x 1 n
( )
P x n
% y = vetor com os pontos y(i)
% n = nmero de pontos ou ordem do polinmio
Programa em Matlab:

Prof. Henrique Mariano C. Amaral 2013-2 pag. '0
9.( Interpola)es de #eille e de Ait*en
algoritmo "e *e&ille realiAa uma interpolao polinomial "e uma forma
que pre:i$a le&ar em :on$i"erao o$ efeito$ "e um ponto "e referGn:ia
a"i:iona"o. A i"9ia !B$i:a 9 :on$truir uma $eqMGn:ia "e polin1mio$ "e
or"em :re$:ente que $e a@u$te a um nFmero :re$:ente "e ponto$ "a"o$.
4e@am ento o$ ponto$ "a"o$

0 1 1 1
, , , , , ,

m m m
x x x x x >9.,.1?
e o polin1mio
( )
m
Q x "e m-9$imo grau que interpola o$ primeiro$
( )
1 m
ponto$ "a"o$=
0
,...,
m
x x = que no pre:i$am e$tar arran@a"o$ em qualquer
or"em :on6e:i"aI $e@a tam!9m o polin1mio
( )
m
S x "e m-9$imo grau que
interpola o$ ponto$ "a"o$ "e
1 1
,...,
m
x x .
Po"e-$e &erifi:ar que o polin1mio "e
( )
1 m -9$imo grau=
( )
1 m
R x que
interpola o$ ponto$
0 1 1 1
, , , , ,

m m m
x x x x x po"e $er expre$$o uma m9"ia
pon"era"a "o$ "oi$ polin1mio$ anteriore$<

( )
( )
( )
( )
( )
( )
1 0
1
1 0
m m m
m
m
x x Q x x x S x
R x
x x
>9.,.2?
Tearruman"o a expre$$o >9.,.2? $oman"o no numera"or
0 0
m m
x Q x Q e
e&i"en:ian"o o termo
m
Q = $e tem

( ) ( )
( ) ( )
1
1
0
1
m m
m m
m
S x Q x
R x Q x
x x
x x
>9.,.3?
A pe"ra angular "o algoritmo "e *e&ille 9 que tanto
( )
m
Q x e
( )
m
S x
po"em $er :on$tru2"o$ "e "oi$ outro$ polin1mio$ "e grau
( )
1 m = e a$$im
o pro:e$$o po"e $er repeti"o para polin1mio$ "e$:en"ente$ at9 um
polin1mio "e Aero grau= o qual 9 $imple$mente uma :on$tanteI $e i$$o 9
po$$2&el= 9 po$$2&el tam!9m :on$truir um polin1mio "e grau "e$e@a"o N
partin"o-$e "e polin1mio$ "e 0-grau :om o$ $eguinte$ pa$$o$<
4e@am ini:ialmente
( )
1 N polin1mio$ "e 0-grau que pa$$a pelo$
( )
1 m
ponto$ "a"o$ >i$to 9= o$ pr)prio$ ponto$
1 1 1
, , , ,

N N N
x x x x ?I
4e@a :on$truir N polin1mio$ "e 1U-grau que pa$$e por "oi$ ponto$
$u:e$$i&o$= i$to 9= por
1 2 1 1
, ; ; , ; ,

N N N N
x x x x x x = u$an"o a expre$$o
>9.,.3?I
Agora :on$truir
( )
1 N polin1mio$ "e 2U-grau que pa$$em
$u:e$$i&amente por tripla$ "e ponto$ "a"o$= i$to 9= por
1 2 3 2 3 4 1 1
, , ; , , , ; , ,

N N N
x x x x x x x x x = $empre u$an"o >9.,.3?I
Continue :on$truin"o polin1mio$= "e maneira anBloga= "e grau :a"a &eA
maior= at9 o!ter o &alor "o polin1mio "e$e@a"o
( )
N
P x = no ponto x
"e$e@a"o.
$ polin1mio$ interme"iBrio$ po"em $er "etermina"o$ $i$temati:amente
pela atualiAao &eAe$ "o$ :omponente$ "e um &etor "e "imen$o
( )
1 N "e a:or"o :om o algoritmo "e$:rito mai$ a!aixoI a matriA A 9 a
ta!ela "e *e&ille que mo$tra o &alor "e
( )
N
P x = i$to 9= a 1V :oluna $o a$
N
a!$:i$$a$ x e a 2V :oluna a$ or"ena"a$ y "o$ ponto$ "a"o$I a 3V :oluna
mo$tra o$ &alore$ "e
( )
1
P x = ou $e@a= o &alor "a or"ena"a pro:ura"a
quan"o o polin1mio 9 "e 1 grau e pa$$a por "oi$ ponto$ :on$e:uti&o$I a (V
:oluna mo$tra o$ &alore$ "e
( )
2
P x = ou $e@a= o &alor "a or"ena"a pro:ura"a
quan"o o polin1mio 9 "e 2U grau e pa$$a por trG$ ponto$ :on$e:uti&o$
"entre o$ ponto$ "a"o$I e a$$im $u:e$$i&amente<

Prof. Henrique Mariano C. Amaral 2013-2 pag. '(
%nterpolao +olinomial pelo )*todo de &e(ille
function [p,A]=neville(x,y,n,X)
% ===============================================
% Mtodo de Neville
% n = dimenso de x e y
% p = valor de Pn-1(X)do polinmio em X
% A = matriz de aproximao de Neville
% ===============================================
Programa em Matlab:

RB o m9to"o "e interpolao "e Ait0en "ifere "o m9to"o "e *e&ille no u$o
"e $u!:on@unto$ "o$ ponto$ "a"o$= i$to 9= enquanto no m9to"o "e *e&ille
$e :on$tr)i
( )
m
Q x e
( )
m
S x u$an"o-$e $empre m ponto$ $u!$eqMente$=
$en"o em
( )
m
Q x o$ ponto$ "e
1 1
,

m
x x e "e
2 2
,

m
x x = no m9to"o
"e Ait0en u$a-$e para $i :on$truir
( )
m
Q x o$ ponto$ "e e
( )
m
S x "e
1 2
, , ,

m m
x x x . A$$im faAen"o-$e= o polin1mio interpola"or :on$i"eran"o
um ponto x 9<
( )
m
S x
1 1
,
m
x x


Prof. Henrique Mariano C. Amaral 2013-2 pag. ',

( )
( )
( )
( )
( )
( )
2 1
1
2 1

m m m m
m
m m
x x Q x x x S x
R x
x x
>9.,.(?
H$an"o-$e >9.,.(? po"e-$e :on$truir um pro:e$$o "e interpolao= $imilar
ao "e *e&ille= pelo $eguinte algoritmo<
%nterpolao +olinomial pelo )*todo de ,it-en
function [p,A]=aitken(x,y,n,X)
% ===============================================
% Mtodo de Neville
% n = dimenso de x e y = N+1 pontos
% p = valor de Pn-1(X)do polinomio em X
% A = matriz de aproximao de Neville
% ===============================================
Programa em Matlab:

Prof. Henrique Mariano C. Amaral 2013-2 pag. '.
9.+ Aproximao por Polin,mios -ont.nuos por Partes
4e@a o pro!lema "e aproximao "e uma funo real
( )
f x $o!re um
inter&alo finito $o!re o eixo "o$ reai$. Hm
pro:e"imento $imple$ 9 o "e "i&i"ir o
inter&alo :on$i"era"o em um nFmero n "e
$u!inter&alo$ $em $o!repo$io e
interpolar linearmente entre o$ &alore$ "e
( )
f x extremo$ "e :a"a $u!inter&alo.
4e :a"a um "o$ n $u!inter&alo$ for
"enota"o por
[ [
1
, , 1, ,
=
i i
x x i n= ento a
funo "e aproximao linear por parte$ "epen"e uni:amente "o$ &alore$
( )
=
i i
f f x "a funo no$ extremo$ "o$ $u!inter&alo$.

FIGURA 9/ &'-IN0MI'% +'N)1NU'% &'R &AR)$
Prof. Henrique Mariano C. Amaral 2013-2 pag. ''
;m um pro!lema on"e
( )
f x 9 "a"a impli:itamente por uma equao
>"iferen:ial= integral= fun:ional= et:.? o$ &alore$
i
f $o a$ in:)gnita$ "o
pro!lema. ;m um $u!inter&alo qualquer
[ [
1
,
i i
x x a funo apropria"a para
aproximao linear 9 "a"a por<

( )
( ) ( ) [ [
( )
( )
( )
( )
( )
( )
1 1 1
1
1
1
1
, ,
1, 2, ,

=
'
1
1
=
1
1
1
1
=
!
1
1
= 1
1
1
1+
i
i i i i i i
i
i
i i
i
i
i i
p x f x f x x x
x x
x
x x
i n
x x
x
x x
>9...1?
A$ fun/e$ lo:ai$
( )
i
x e
( )
1
i
x $o :on6e:i"a$ :omo funes de forma e
$o "efini"a$ $omente no interior "e :a"a $u!inter&alo . $ &alore$
1 i
f e
i
f $o :6ama"o$ parOmetro$ no"ai$.
[ ]
1
,
i i
x x

*o exemplo a:ima= exi$tem "oi$ parOmetro$ por elemento= portanto $o
"ito$ ter "oi$ grau$ "e li!er"a"e.
A$$im= a funo "e aproximao por parte$ $o!re um inter&alo
0

n
x x x
9 "a"a por<
( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
1 2 1 1
1 1 0 0 1 1 2 2 1 1 1 1
0 0 1 1 1 1 1 1 1 1 1

H = =
=
=

i i n
i i i i i i i i n n n n
i i i i i i n n n n n
f p p p p p
f f f f f f f f
f f f f f f

$e fiAermo$
( )
=
i i i
= $en"o
0
0, 0 = =
n
= ento
0
=
H =
_
n
i i
i
f f >9...2?
FIGURA 92 FUN"#$% ($ F'RMA
on"e
( )
0 0 0
= = x
( )
( )
[ [
0
0 0
1
0 1
1 0
, ,

'
1
=
1
1
1
!

1
=
1
1

1
+
x x
x x x
x x

e
W
( )
0 1
0

'
=
1
1
!
1
= =
1
+
i i i i
x x
x

$en"o
i
"efini"o em
[ [
1
,
i i
x x e
i
"efini"o em
1
,

l
l
i i
x x = logo

( )
( )
( )
[ [
( )
( )
( )
1
1
1
1
1
1
, ,
, ,

'
1
1
= = =
1
1

1
1
!
1

1
l
1 = = =
l
1
1
1+
i
i i i i i
i i
i
i i i i i
i i
x x
x x x x
x x
x x
x x x x
x x

( ) ( [ [ )
( )
1 1
0, , ,

= =
= =
i i i i i i
n n n n
x x x x x x
x
( )
( )
[ [
( )
0
1
1
1
1
, ,
0,
'
1
1
1
1
1
1
= =
!
1

1
1
1
1 = = <
1+
n
n n n
n n
n n n
x x
x x x
x x
x x x

DG-$e= a$$im= que a interpolao de funes lineares por partes= pro"uA um
re$ulta"o $emel6ante ao "a interpolao de 'agrange. DG-$e tam!9m que
a$ fun/e$ $o triangulare$ ou pirami"ai$= :omo mo$tra"a$ na figura 9.3
a:ima= e que a$ fun/e$
( )
i
x :om 1 1, 2, , = n= $o i"enti:amente nula$
:om ex:eo no$ inter&alo$
1 1
,

l
l
i i
x x = on"e $o "ita$ terem suporte local.
*ote que
( )
i
x formam a !a$e "e um e$pao &etorial. ;m parti:ular=
quan"o o$ $u!inter&alo$ $o to"o$ iguai$ a
1
=
i i
h x x = qualquer que $e@a
i = :on$i"era-$e-B uma :oor"ena"a pa"ro na forma<
, , 0, ,
1
= =

( )

x
X i i i n
h
.
A$$im= 9 natural $e intro"uAir uma partio
h
"e
[ [
0
, \=
n
x x em k
$u!inter&alo$
1
,

l
I =
l
i i i
x x "e :omprimento
i
h = :om
( )
0 1
max

=
i k
i
h h tal que
[ [
1
0
0
,

=
= I
k
n i
i
x x e ento $e apli:a a interpolao "e -agrange= :omo a:ima=
em :a"a inter&alo I
i
u$an"o 1 m n)$ igualmente e$paa"o$
( )

, 0
j
i
x j m :om m o menor po$$2&el.
A$$im para 1 m intro"uA-$e $o!re
h
um e$pao polinomial :ont2nuo por
porte
[ [
( )
( )

0
0
. : ,
I
= I I
i
m
h n m i i h
X v C x x v P >9...3?
;$te e$pao
m
h
X 9 o e$pao "a$ fun/e$ :ontinua$ $o!re
[ [
0
,
n
x x :u@a$
re$tri/e$ em :a"a I
i
9 "e que $o polin1mio$ "e grau m. !$er&ar que
( )
I
m i
P $o o$ polin1mio$ "e grau menor ou igual a m "efini"o$ $o!re I
i
.
A$$im= para qualquer funo :ont2nua f $o!re o "om2nio
[ [
0
, \=
n
x x a
interpolao polinomial por parte H
m
h
f :oin:i"e em :a"a I
i
:om o
polin1mio interpola"or "e
|I
i
f $o!re 1 m ponto$ igualmente e$paa"o$
( )

, 0
j
i
x j m . #a2 po"e-$e :on:luir que= $e
[ [
( )
1
0
,
m
n
f C x x
internamente a :a"a inter&alo= ento o erro e$tima"o "a aproximao 9=

( ) 1
1

H
m
m m
h
f f Ch f >9...(?
;m >9...(? "e&e-$e garantir que a :on&ergGn:ia exi$taI para i$$o 9
importante $e :on$i"erar a norma in"uAi"a por um e$pao "e -e!e$gue
>&i"e :ap2tulo 2 "o &olume 1 "e$ta o!ra? que 9 o e$pao "e to"a$ a$
fun/e$ qua"ra"o-integrB&ei$ e 9 um espao linear completo normalmente
"enota"o por
2
L = e por $er norma"o tam!9m 9 um e$pao "e Kana:6. A
norma ne$te e$pao 9 "efini"a por >&i"e equao 2.10.9?<

( )
( ) ( )
2 0
2
,
, = =
]
n
x x
f f f f x dx
L
>9...,?
Teorema: 4e@a
( )
( )
2 0
, , 0 1, 1
p
n
f x x p m m L ento
exi$te&uma :on$tante po$iti&a C in"epen"ente "e h tal que

( )
( )
( )
( )
( )
2 0
2 0
1
1
,
,

H
n
n
p
m
m m p
h
x x
x x
f f Ch f
L
L
>9....?
;m parti:ular= para 1 = m = e 0 = p ou 1 = p = $e tem

( )
( )
( )
( )
( )
( )
2 0
2 0
2 0
2 0
1 2
1
,
,
2
,
,
H
n
n
n
n
h
x x
x x
m
h
x x
x x
f f C h f
f f C h f
L
L
L
L
>9...'?
A$ :on$tante$
1 2
, C C $o po$iti&a$.
*a$ $e/e$ $eguinte$ &G-$e-B interpolao por meio "e $pline$ que $o
!B$i:a$ para o pro!lema "e interpolao polinomial por parte.

9./ Interpolao por Splines
A$ $pline$ foram e$tu"a"a$ primeiramente por I$aa: 4:6oen!erg >1903-
1990?= "urante a II Nuerra Mun"ial= quan"o tra!al6a&a para o -a!orat)rio
"e Pe$qui$a Kal2$ti:a "o ;x9r:ito Ameri:ano.
Definio 1: #a"a uma funo
( )
f x "efini"a $o!re [ [ , a b e
$en"o
0 1
= < < < =
n
a x x x b= uma interpolao por $pline$ s para
( )
f x
$ati$faA a$ $eguinte$ :on"i/e$<
1.
( )
s x 9 um polin1mio :F!i:o= "enota"o por
( )
j
s x "efini"o no
$u!inter&alo
1
,

l
l
j j
x x para to"o$ o$ 0,1, , 1 = j n I
2.
( ) ( )
=
j j j
s x f x e
( ) ( )
1 1
=
j j j
s x f x = para to"o$ o$ I
3.
( ) ( )
1 1 1
=
j j j j
s x s x = para to"o$ o$ 0,1, , 2 = j n I
(.
( ) ( )
1 1 1

=
j j j j
s x s x = para to"o$ o$ I
,.
( ) ( )
1 1 1

=
j j j j
s x s x = para to"o$ o$ I
.. uma "a$ :on"i/e$ a!aixo 9 $ati$feita<
0,1, , 1 j n =
0,1, , 1 j n =
0,1, , 1 j n =
'.
( ) ( )
0

=
n
s x s x = quan"o 9 "ita $pline li&re ou :om :on"i/e$
naturai$I
3.
( ) ( )
( ) ( )
0 0
'

= 1
1
!
1

=
1
+
n n
s x f x
s x f x
= quan"o 9 "ita $pline fora"a.
Definio 2: 4e@a
( )
1 n ponto$ "i$tinto$
0 1
= < < < =
n
a x x x b "efini"o$ $o!re
[ [
, a b . A funo
( )
k
s x $o!re o
inter&alo
[ [
, a b 9 um $pline "e grau k relati&o ao$ n)$
j
x $e

1
| ,
, 0,1,..., 1
l
l
l
=
j j
k
k x x
s P j n >9.'.1?

[ [
1
,
k
k
s C a b >9.'.2?
#enotan"o por
k
S o e$pao "o$ $pline$
( )
k
s x $o!re
[ [
, a b relati&o L
( )
1 n
ponto$ "i$tinto$= ento a "imen$o "e
k
S 9 dim =
k
n k S . J )!&io que
qualquer polin1mio "e grau k $o!re
[ [
, a b 9 um $plineI entretanto= na
prati:a= um $pline 9 repre$enta"o por um tipo "e polin1mio "iferente
$o!re :a"a $u!inter&alo e por e$ta raAo pre:i$a $er "e$:ont2nuo em $ua k
-9$ima "eri&a"a no$ n)$ interno$
1 1
,...,
n
x x e por e$$e moti&o naquele$ em
que i$$o a:onte:e $o :6ama"o$ ns ativos.
J fB:il &erifi:ar que a$ :on"i/e$ >9.'.1? e >9.'.2? no $o $ufi:iente$ para
:ara:teriAar um $pline "e grau k . A re$trio
1
,
| ,

l
l
l
=
j j
k j
k x x
s s po"e $er
repre$enta"a :omo

( )
( )
, 1
0
, ,

=
l
=
l
_
k
i
k j ij j j j
i
s x s x x se x x x >9.'.3?
A$$im= o$
( )
1 k n :oefi:iente$ "e
ij
s pre:i$am $er "etermina"o$I por
outro la"o= "e >9.'.2? $egue que

( )
( )
( )
( )
, 1 ,
, 1,..., , 1,..., 1
= = =
m m
k j j k j j
s x s x j n m k >9.'.(?
relao que permite e$ta!ele:er
( )
1 k n :on"i/e$I :omo :on$eqMGn:ia
o$ re$tante$ grau$ "e li!er"a"e $o
( ) ( )
1 1 = k n k n k n. 5uan"o o
$pline for interpolat)rio= i$to 9= tal que
( )
=
k j j
s x f para 0,..., = j n= on"e
0
,...,
n
f f $o o$ &alore$ "a"o$= ento exi$tiro 1 k grau$ "e li!er"a"e no
$atura"o$I por e$ta raAo= outra$ re$tri/e$ "e&em $er impo$ta$= o que
le&a a<
1 Q $pline$ peri)"i:a$= $e

( )
( )
( )
( )
, 0,1,..., 1 = =
m m
k k
s a s b m k >9.'.,?
2 Q $pline$ naturai$= $e 2 1 = k l :om 2 l

( )
( )
( )
( )
0, 0,1,..., 2

= = =
l j l j
k k
s a s b j l >9.'..?
#e >9.'.3? fi:a :laro que um $pline po"e $er repre$enta"o
:on&enientemente por uma !a$e "e fun/e$ :om k n $pline$= "e mo"o
que >9.'.2? $e@a $ati$feita.
Teorema 1: 4e
( )
f x "efini"a $o!re
[ [
, a b e $en"o
0 1
= < < < =
n
a x x x b= ento
( )
f x tem uma Fni:a $pline li&re
interpolante que $ati$faA a :on"io
( ) ( )
0
0

= =
n
s x s x .
Teorema 2: 4e
( )
f x "efini"a $o!re
[ [
, a b e $en"o
0 1
= < < < =
n
a x x x b= e
( )
f x 9 "iferen:iB&el em a e b= ento
( )
f x
tem uma Fni:a $pline fora"a interpolante que $ati$faA a :on"io
( ) ( ) ( ) ( )
0 0
;

= =
n n
s x f x s x f x .

Splines Cbicos
4e@a :on$i"erar a funo ra:ional

( )
( )
2
1
1
=
h x
x
>9.'.'?
:u@o$ grBfi:o$ e$to mo$tra"o$ na figura 9.3 >em tra:e@a"o= reta$ ligan"o
ponto a ponto onAe ponto$ "o inter&alo Xa= !Y Z X-,= [,YI em lin6a :ont2nua=
um polin1mio interpola"or "e -agrange "e or"em 11?. que $e &G no :a$o
"o polin1mio interpola"or 9 que entre :a"a "oi$ ponto$ 6B um ponto "e
inflexo= i$to 9= tem um ponto "e extremo lo:al "iferente "o$ ponto$ "e
interpolao. ;$$a$ &aria/e$= em geral= $o in"e$e@B&ei$ em apli:a/e$ "e
interpolao e= portanto= 9 ne:e$$Bria uma forma mai$ a"equa"a "e $e
interpolar= na qual $e re"uAa a &ariao entre o$ ponto$ amo$trai$= i$to 9=
tornar a funo interpola"ora mai$ li$a. Hma forma "e faAer i$$o 9 a@u$tar
um polin1mio qua"rBti:o ou :F!i:o entre o$ ponto$ amo$trai$ e
e$ta!ele:er o$ :rit9rio$ "e :ontinui"a"e entre o$ "i&er$o$ polin1mio$
interpola"ore$ no$ inter&alo$ a"@a:ente$= que $o :ont2nuo$ por parte= que
exigem= em geral= que ten6am :ontinui"a"e tam!9m $ua$ primeira$
"eri&a"a$.
Polin1mio$ que aten"em e$$a$
:on"i/e$ "e \li$ura] $o
"enomina"o$ "e \$pline$]. A$$im= a$
$pline$ $o fun/e$ :ont2nua$ por
parte.
Para $e :on$truir um :on@unto "e
$pline$ :F!i:o$= "enota"o por
( )
k
s x =
$e@am o$ polin1mio$ :F!i:o$
( )
k
r x
a$$o:ia"o$ ao k -9$imo $egmento
1
[ , ]
k k
x x <

( ) ( ) ( )
( )
3 2
, 1
=
<
k k k k k
k k k
r x a x x b x x
c x x y k n
>9.'.3?
-5 -4 -3 -2 -1 0 1 2 3 4 5
-0.5
0
0.5
1
1.5
2
Teste de Ajuste Polinomial Lagrange(pil) - LINHA TRACEJADA
FIGURA 93 IN)$R&'-A"4' -AGRANG$ ($ 'R($M !!
Por :on$truo=
( )
k
r x $ati$faA a$ re$tri/e$ "e interpolao<

( )
1 = <
k k k
r x y k k n >9.'.9?
#e$$a forma= exi$tem 1 n $egmento$ :a"a qual :om trG$ :oefi:iente$
( )
k
r x = que $o in:)gnita$= totaliAan"o 3 3 n in:)gnita$ no $i$tema >9.'.3?.
A :on"io "e :ontinui"a"e 9 a "e que em :a"a $egmento a funo
pa$$e pelo ponto extremo "a "ireita >L $emel6ana "e >9.'.9??<

( )
1 1
1

= <
k k k
r x y k k n >9.'.10?
Te$tri/e$ a"i:ionai$ $o requeri"a$ no$ 2 n ponto$ interiore$ "o
$egmento
[ [
, a b = on"e 9 ne:e$$Brio que a$ primeira$ "eri&a"a$ "a$ fun/e$
interpola"ora$ "e "oi$ $egmento$ a"@a:ente$ :oin:i"am= i$to 9=

( ) ( )
1
1

= < <
k k k k
r x r x k k n >9.'.11?
utra$ re$tri/e$ po"em $er gera"a$ :on$i"eran"o a igual"a"e entre
a$ "eri&a"a$ $egun"a$ "a$ fun/e$ interpola"ora$ "e "oi$ $egmento$
a"@a:ente$<
1
[ , ]
k k
x x
+
2 n

( ) ( )
1
1

= < <
k k k k
r x r x k k n >9.'.12?
#e$$a forma tem-$e 3 5 n re$tri/e$ $o!re a$ 3 3 n in:)gnita$I para
:ompletar o $i$tema= $e tem a$ "ua$ Fltima$ re$tri/e$= que $o<

( )
( )
1 1
1
0
0
=
n n
r x
r x
>9.'.13?
*o intuito "e $implifi:ar a$ equa/e$= $e@a "enotar por<

1
1
<
k k k
h x x k n >9.'.1(?
e$paamento "o 0-9$imo $egmento. A$$im= le&an"o >9.'.10?= >9.'.11?=
>9.'.12? e >9.'.13? em >9.'.3? e $ua$ "eri&a"a$= $e tem<

3 2
1
, 1
= <
k k k k k k k k
a h b h c h y y k n >9.'.1,?

2
1 1 1 1 1
3 2 0, 1

= < <
k k k k k
a h b h c k n>9.'.1.?

1 1 1
6 2 2 0, 1

= < <
k k k k
a h b b k n >9.'.1'?

0
2 0 = b >9.'.13?

1 1 1
6 2 0

=
n n n
a h b >9.'.19?
Com o $i$tema a:ima re$ol&i"o ter-$e-B o$ :oefi:iente$ pro:ura"o$.
;ntretanto= i$$o le&aria :a"a interpolao a re$ol&er um $i$tema "e
( )
3 3 n equa/e$. #e maneira a $implifi:ar e$$e pro!lema= Hultqui$t em
1933 intro"uA uma $implifi:ao formulan"o a 0-9$ima $pline >para
1 < k n? "a $eguinte forma<
( ) ( ) ( )
( ) ( )
3
3
1 1
1
6

=
k k k k
k k k k k
k
x x c x x c
s x a x x b x x
h
>9.'.20?
#iferen:ian"o $u:e$$i&amente >9.'.20? $e tem<
( )
( ) ( )
2
2
1 1
, 1
2

= <
k k k k
k k k
k
x x c x x c
s x a b k n
h
>9.'.21?
( )
( ) ( )
1 1
, 1

= <
k k k k
k
k
x x c x x c
s x k n
h
>9.'.22?
DG-$e que em :a"a ponto
k
x a $egun"a "eri&a"a
( )
=
k k
s x c . *ote que= por
:on$truo= a $egun"a "eri&a"a 9 :ont2nua no interior "o e$pao amo$tral
[ [
, a b = o que impli:a $er &er"a"eiro<

( )
, 1
= < <
k k
s x c k n >9.'.23?
Por outro la"o a equao >9.'.20? :ont9m a$
( )
3 2 n -in:)gnita$<
[ [
1 1 1 1 1
, , , , , , , ,

n n n
a a b b c c . Pela expre$$o >9.'.23? @B $e eliminou n
in:)gnita$I agora eliminan"o outra$ 1 n in:)gnita$ apli:an"o a :on"io
"e
( )
=
k k k
s x y em >9.'.20? $e tem<

2
6
=
k k
k k k
h c
b h y
ou ain"a

2
6
, 1
6
= <
k k k
k
k
y h c
b k n
h
>9.'.2(?
utra$ 1 n in:)gnita$ $o "etermina"a$ apli:an"o a$ re$tri/e$ "e
:ontinui"a"e= i$to 9=
( )
1 1
=
k k k
s x y = que pro"uA<

2
1
6
, 1
6
= <
k k k
k
k
y h c
a k n
h
>9.'.2,?
%alta "eterminar a$ $egun"a$ "eri&a"a$ no$ ponto$ amo$trai$=

1
, ,
n
c c I
i$to 9 feito apli:an"o a re$trio "a primeira "eri&a"a<

( ) ( )
1
1

= < <
k k k k
s x s x k k n

1
1 1
1
2 2

= < <
k k k k
k k k k
h c h c
a b a b k k n>9.'.2.?
4u!$tituin"o em >9.'.2.? a$ expre$$/e$ >9.'.2(? e >9.'.2,? $e en:ontra
2 n equa/e$<

( )
( ) ( )
1
1
1 1 1 1
1
1
1 1 1 1 1
2 6
fazendo
2 6

( )
=
=
k k
k k
k k k k k k k
k k
k k
k
k
k k k k k k k k k
y y
y y
h c h h c h c
h h
y y
w
h
h c h h c h c w w
>9.'.2'?
A$ "ua$ >2? in:)gnita$ re$tante$ $o "e"uAi"a$ "a$ :on"i/e$ >$pline li&re?<

( )
( )
1 1
1
0
0
=
n n
s x
s x

que pro"uA re$pe:ti&amente<

1
0
0
=
=
n
c
c
>9.'.23?
8o"o e$$e "e$en&ol&imento le&a L $eguinte equao matri:ial<
= AC W >9.'.29?
on"e

[ [
1 2
, , , =
T
n
c c c C

( )
( )
( )
2 1
3 2
1
0
6
6
6
0
l
l
l
l
l
l
=
l
l
l
l
l
l
l
n n
w w
w w
w w
W
e
( )
( )
( )
( )
1 1 2 2
2 2 3
3 2 2
2 2 1 1
1 0 0 0 0 0
2 0 0 0
0 2 0 0 0
0 0 0 2 0
0 0 0 2
0 0 0 0 0 1

l
l
l
l
l
l
l
=
l
l
l
l
l
l
l
l
n n n
n n n n
h h h h
h h h
h h h
h h h h
A

4e por outro la"o a$ "ua$ >2? in:)gnita$ re$tante$ forem "e"uAi"a$ "a$
:on"i/e$ >$pline pre$a?<

( ) ( )
( ) ( )
0 0

=

=
n n
s x f x
s x f x

tem-$e
( )
( )
( )
( )
0 0
0 0 1 1
1 1 2
3 2 2
2 2 1 1
1 1
2 0 0 0 0
2 0 0 0
0 2 0 0 0
0 0 0 2 0
0 0 0 2
0 0 0 0 2

l
l
l
l
l
l
l
=
l
l
l
l
l
l
l
l
n n n
n n n n
n n
h h
h h h h
h h h
h h h
h h h h
h h
A

e
( ) ( )
( )
( )
( )
( )
( )
1 0
2 1
3 2
1
3 2
6
6
6
3 2
l
l
l
l
l
l
=
l
l
l
l
l
l
n n
n n
w f x
w w
w w
w w
f x w
W
Apli:an"o fun/e$ interpola"ora$ $pline$ li&re$ :F!i:a$ para a funo
e$ta!ele:i"a em >9.'.'?= $e tem o grBfi:o >em trao e ponto? mo$tra"o na
%igura 9.( a $eguir<

FIGURA 95 FUN"#$% IN)$R&'-A('RA% %&-IN$%
A$ aproxima/e$ "e
( )
f x = $o!re um inter&alo
[ [
, a b = feita$ :om $pline$
e$to a$$o:ia"a$ a \proprie"a"e minimal] que pre$$up/e que e$$a
-5 -4 -3 -2 -1 0 1 2 3 4 5
-0.5
0
0.5
1
1.5
2
Teste de Ajuste Polinomial por Splines(pisc) e Lagrange(pil)
aproximao minimiAa $o!re :a"a $egmento
[ [
1
, ,
l
k k
x x a b = a $eguinte
integral<
( )
1
2
l
]
k
k
x
x
s x dx
A$$im= $e@a
( )
y x uma aproximao "e
( )
f x que :oin:i"e :om o$ &alore$
"a$ $pline$ no$ 1 n ponto$
k
x > 0,1, , = k n? e que tam!9m tem "ua$
"eri&a"a$ :ont2nua$ $o!re
[ [
, a b = "on"e $e po"e e$:re&er<

( ) ( )
( ) ( ) ( ) ( ) ( )
2 2
2
2
l l

=
l l
l l

=
l l
] ]
] ]
b b
a a
b b
a a
y x dx s x dx
y x s x dx s x y x s x dx
>9.'.30?
#e$en&ol&en"o a Fltima integral "a expre$$o a:ima u$an"o integrao
por parte$= $e o!t9m<
( ) ( ) ( )
( ) ( ) ( )
( )
( ) ( ) ( )
1
1
1
0
2
2
=
l

=
l
' '
1 1
1 1
1 1
l
l

=
! !
l
l
l
1 1
1 1
1 1 + +
]
_
]
k
k
k
k
b
a
x
n
x
x
k
x
s x y x s x dx
s x y x s x s x y x s x dx
>9.'.31?
A $u!"i&i$o "e
[ [
, a b 9 ne:e$$Bria uma &eA que
( )
s x geralmente 9
"e$:ont2nua no interior "e :a"a $egmento. *o entanto= $e
( )
s x for
:on$tante $o!re :a"a $egmento e :omo
( ) ( )
k k
y x s x em :a"a n)= a$
integrai$ no interior "a $oma "e >9.'.31? $e anulaI uma &eA que= por
6ip)te$e= , ,

s y s $o :ont2nua$= ento<

( ) ( ) ( ) ( ) ( ) ( )
( )
2 2
l
l

=
l
l
l
]
b
b
a
a
s x y x s x dx s x y x s x >9.'.32?
Ma$ $e quer que
( )
s x $e@a tal que a expre$$o a:ima >9.'.32? $e anule para
to"a
( )
y x "e :erta :la$$e "e fun/e$ a"mi$$2&ei$ "e mo"o que o la"o
"ireito "e >9.'.30? $e@a po$iti&o para qualquer
( ) ( )
y x s x = o que $e reflete
no mem!ro "o la"o e$quer"o "a me$ma expre$$o= i$to 9=

( ) ( )
2 2
l l

l l
] ]
b b
a a
s x dx y x dx >9.'.33?
on"e a igual"a"e $) a:onte:e quan"o
( ) ( )
y x s x . I$$o mo$tra que a
aproximao por $pline$ 9 \mai$ li$a] que qualquer outra funo
( )
y x no
$enti"o "o $eu &alor qua"rBti:o m9"io "e $ua $egun"a "eri&a"a $o!re
[ [
, a b . ;$ta 9 a propriedade minimal.

#e$en&ol&eu-$e em linguagem Matla! uma funo para :on$truo "e
$pline :F!i:o$ !a$ea"o na teoria apre$enta"a e $e pro&i"en:iou outro
apli:ati&o que fiAe$$e o :omparati&o "e interpolao por $pline$ &er$u$
interpolao por -agrange.
A $eguir $e mo$tra a funo para :on$truo "e $pline$ :F!i:o$=
"enomina"a pisc6 que 9 o a:r1nimo "e &olin1mio Interpola"or por %pline$
+F!i:o= :u@a expli:ao "a$ &ariB&ei$ $e en:ontra no :orpo "a funo<
function [a,b,c,beta] = pisc(ax,x,y,ok,ca,cb,cc)
%
% Polinmio interpolador SPLINES Cbico
% =====================================
% ax = ponto x onde quero o valor do polinmio
% x = vetor com os pontos x(i) definido por x[1,n]
% y = vetor com os pontos y(i) definido por y[1,n]
% ok = se true, calcula tudo;se false calcula so
beta = funao no ponto a
% ca = coeficientes a(k) = deve ser entrado quando
do calc. de beta
% cb = coeficientes b(k) = deve ser entrado quando
do calc. de beta
% cc = coeficientes c(k) = deve ser entrado quando
do calc. de beta
% beta = valor do polinmio interpolador por splines
no ponto ax

Programa em Matlab:
Veja no livro Anlise e Mtodos Nuumricos Aplicados a
Engnharia, do autor.
-5 -4 -3 -2 -1 0 1 2 3 4 5
0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1
Teste de Ajuste pelas funao spline e funo pisc
FIGURA 97 )$%)$ ($ A*U%)$ &'-IN'MIA-
$eguinte programa foi :on$trui"o para te$tar a funo pi$: e :ompara-la
:om a \funo pil] >apre$enta"a no t)pi:o 9.( a:ima? e :om a funo
interna "o Matla! \$pline]<
% ========================================================================
% Testa o uso de SPLINES para a interpolaao de funes
% usa as funoes:
% pil = polinomio interpolador de lagrange
% pisc= polinomio interpolador com splines cbicas
% =======================================================================
Programa em Matlab:

$ re$ulta"o$ o!ti"o$ na forma "e grBfi:o$ foram apre$enta"o$ na %igura
9.(= enquanto o grBfi:o referente ao te$te "e a@u$te polinomial tanto "a$
fun/e$ $pline$ quanto "e -agrange= e$tB apre$enta"o na %igura 9.,.

!splines
Tetoman"o o :on:eito "e K-$pline intro"uAi"o no exer:2:io , "a $eo
anterior= lB foi "ito que $e
0
, 0,1, , = =
k
x x kh k m forem ponto$
eqMi"i$tante$= ento a$ fun/e$ !a$e $pline :F!i:a
( )
i
B x que $ati$faam L$
:on"i/e$<
( )
( ) ( )
0, 1 1
1, 1
'
< . 1
1
=
!
1
=
1+
i i
j i j i
B x
j
e mai$ 0,

= =
i i
B B para
( ) ( )
2 2
= =
i i
x x x x $o :on6e:i"a$ :omo B8splines 9:ell8spline;.


Definio 1: A funo de )ase B*spline normali+ada
( )
, 1 i k
B x "e
grau k relati&a a n)$ "i$tinto$
0 1 1
= < < < < < =
i i k n
a x x x x x b 9
"efini"a :omo

( ) ( )
, 1 1 1
, ,

l
=
l
i k i k i i i k
B x x x g x x >9.'.3(?
on"e
( ) ( )
( )
0
'
1

1
= =
!
1
1
+
k
k
t x se x t
g t t x
caso contrrio
>9.'.3,?
-e&an"o a >9.'.3(? a "efinio "e "iferena "i&i"i"a "a"a por >9.2.,?=
faAen"o-$e a$ a"equa/e$ "e 2n"i:e$= $e tem
( ) ( )
( )
( )
1
, 1 1
1
0
0

=

=
( )
_
k
k
j i
i k i k i
k
j
i j i l
l
l j
x x
B x x x
x x
>9.'.3.?
DG-$e que "e >9.'.3.? o$ n)$ ati&o$ "e
( )
, 1 i k
B x $o
1
,...
i i k
x x e mai$=
( )
, 1 i k
B x 9 nulo fora "o inter&alo fe:6a"o
1
,

l
l
i i k
x x .
Po"e-$e mo$trar= :omo pe"i"o no exer:2:io , "a $eo anterior= que
( )
, 1
0

i k
B x e
( )
( )
( )
( )
, 1 , 1 1
, 0,..., 1.

= =
l l
i k i i k i k
B x B x paral k .

Lema 1: A$ fun/e$ "e !a$e K-$pline$ tem a $eguinte
formulao re:ur$i&a<

( )
( ) ( ) ( ) ( ) ( )
( )
1
,1
1
, 1 , , 1, 1 1,
,
1, ,
0 ,
1 , 1
0

'
l
1
l 1
1
=
!
1
l
y
1
l
1+
l
=
l
'

1
1

1
1
!
1
1
1
1+
i i
i
i i
i k i k i k i k i k
i
i k i
i k i
i k
x x x
B x
x x x
B x x B x x B x k
x x
se x x
x x
x
caso contrrio
>9.'.3'?
A$ f)rmula$ >9.'.3'? $o preferi"a$ em lugar "a >9.'.3.? quan"o $e a&alia
um K-$pline em um "a"o ponto. ;$$a$ f)rmula$ $o :on6e:i"a$ :omo
f)rmula$ "e re:ur$o "e Cox-"eKoor.
:Bl:ulo "e fun/e$ "e !a$e K-$pline$ "e or"em mai$ alta$ po"em $er
fa:ilmente "etermina"a$ pelo u$o "e ta!ela$ triangulare$ "e "iferena$I
a$$im<
( ) ( ) ( ) ( ) ( )
, 1 , , 1, 1 1,
1

l
=
l
i k i k i k i k i k
B x x B x x B x = para 1 k

0 0,0
1 1,0 1,1
2 2,0 2,1 2,2
3 3,0 3,1 3,2 3,3
4 4,0 4,1 4,2 4,3 4,4
5 5,0 5,1 5,2 5,3 5,4 5,5
6 6,0 6,1 6,2 6,3 6,4 6,5 6,6
7 7,0 7,1 7,2 7,3 7,4 7,5 7,6 7,7
8 8,0 8,1 82 8,3 8,4 8,5 8,6 8,7
x B
x B B
x B B B
x B B B B
x B B B B B
x B B B B B B
x B B B B B B B
x B B B B B B B B
x B B B B B B B B

Ca"a funo "e !a$e K-$pline
( )
, 1 i k
B x 9 :ompletamente "efini"a por um
:on@unto finito "e n)$

1
,...,
i i k
x x e mai$
*o 9 nula no inter&alo

1
,
i i k
x x I

( )
, 1 i k
B x 9 re$trita a :a"a inter&alo

1
,
i i k
x x = e
J i"enti:amente nula fora "o inter&alo

1
,
i i k
x x .
J po$$2&el tam!9m :on$truir K-$pline$ no :a$o "e parte "o$ n)$ "a"o$
$e@am :oin:i"ente$= e$ten"en"o a "efinio "e "iferena "i&i"i"aI i$to le&a
a uma no&a forma re:ur$i&a "a$ "iferena$ "i&i"i"a$= que ne$te :a$o 9

[ [
[ [ [ [
( )
( )
( )
1 0 1
0 1
0
0
1
0
0 1
,..., ,...,
, ... ,
,...,
...
1 !
'
1
1
= < < <
1
1

1
1
=
!
1
1
1 = = = =
1
1
1+
n n
n
n
n
n
n
f x x f x x
x x x
x x
f x x
f x
x x x
n
>9.'.33?
Con$i"eran"o o :a$o em que m ponto$ >1 2 < < m k ? "o$ 2 k n)$
exi$tente$
1
,...,
i i k
x x forem :oin:i"ente$ iguai$ a = ento >9.'.3? :onterB
uma :om!inao linear "e fun/e$
( )
1
k j
x para 1,..., = j m. Como
:on$eqMGn:ia a$ fun/e$ "e !a$e K-$pline$ $ero :ont2nua$ em $omente
at9 a "eri&a"a "e or"em k m e= o!&iamente= "e$:ontinua$ $e 1 = m k .
Po"e-$e &erifi:ar que= $e
1 1
...

< = = 9.'.39?
;nquanto que para
1 1 2
...

< = = 9.'.(0?
Com!inan"o >9.'.39?= >9.'.(0? :om >9.'.3'? po"e-$e :on$truir K-$pline$
:om n)$ :oin:i"ente$.

Exemplo
4e@am o$ ponto$
1
=
i i
x x hI :on$trua uma K-$pline :F!i:a.
Como a K-$pline "e$e@a"a 9 :F!i:a= ento ter-$e-B , ponto$= poi$ 1 4 = k =
logo $e tem

1 1 2 3 4
,..., , , , ,

i i k i i i i i
x x x x x x x = para 0,1,..., 1 = i n .
;m :a"a inter&alo 9 pre:i$o "eterminar a $pline pela f)rmula >9.'.3.?=

( )
( )
( ) ( ) ( )
( ) ( ) ( )
( )
3
1
2 3
3 2
1 1 1 1 2
2 3
3 3 2
, 1 3 3 3 2 3
3
4 3 4
, ,
3 3 3 , ,
6 3 3 3 , ,
, ,
0,

'
1
l

1
l
1
1
1
l

1
l
1
1
1
1
l
=
!
l
1
1
1
l
1
l
1
1
1
1
1
1+
i i i
i i i i i
i k i i i i i
i i i
x x se x x x
h h x x h x x x x se x x x
h B x h h x x h x x x x se x x x
x x se x x x
caso contrario

8oman"o o$ "a"o$ a:ima e faAen"o 1 = h = 2 =
i
x e
4
2
=
i
x = po"e-$e
:on$truir a$ fun/e$ "e !a$e in"i:a"a$= :u@o grBfi:o 9 o mo$tra"o na figura
9.'.
#a"o$
( )
1 n n)$ "i$tinto$
i
x =
0,1,..., = i n= po"e-$e :on$truir
( )
n k K-
$pline$ linearmente in"epen"ente$ "e
grau k por meio "e 2k grau$ "e
li!er"a"e "i$pon2&ei$ para gerar a !a$e
para
k
S . Hma maneira "e $e pro:e"er
:on$i$te em intro"uAir 2k n)$ fi:t2:io$
no$ quai$ a$ fun/e$ "e !a$e K-$pline$
( )
, 1 i k
B x = :om ,..., 1 = i k e
,..., 1 = i n k n $o a$$o:ia"a$I e$$e$ n)$ fi:t2:io$= geralmente e$:ol6i"o$
:omo :oin:i"ente$ ou peri)"i:o$= $o
-3 -2 -1 0 1 2 3
0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
FIGURA 9< A*U%)$ &'R %&-IN$% ($ UMA +UR,A %$N'I(A-

1 1 0
1

=
=
k k
n n n k
x x x x a
b x x x
>9.'.(1?
Pro:e"en"o "a maneira a:ima= qualquer $pline
k k
s S po"e $er
:on$tru2"o uni&o:amente :omo

( ) ( )
1
, 1
=
=
_
n
k i i k
i k
s x c B x >9.'.(2?
$ nFmero$ reai$
i
c $o o$ "enomina"o$ coeficientes B*spline "e
k k
s S .
*ote que em >9.'.(1? o$ n)$ $o e$:ol6i"o$ :omo :oin:i"ente$ ou
peri)"i:o$<
5uan"o o$ n)$ e$tipula"o$ em >9.'.(1? forem :oin:i"ente$= o$ $eu$ &alore$
$o o!ti"o$ por $pline$ no$ ponto$ finai$ "o inter&alo :on$i"era"o= i$to 9

( )
( )
1
=
=
k k
k n
s a c
s b c
>9.'.(3?
5uan"o o$ n)$ forem peri)"i:o$= i$to 9=
; , 1,...,

= = =
i n i i n i
x x b a x x b a i k
u$o "e K-$pline$ no lugar "e $pline$ :ar"inai$ 9 &anta@o$o quan"o $e
manipula uma :onfigurao on"e o$ n)$ "a"o$ $o "e uma $pline
k
s
:on6e:i"aI em parti:ular a$$ume-$e que o$ :oefi:iente$
i
c "e
k
s $o
:on6e:i"o$ $o!re o$ n)$
1
, ,

k k n k
x x x = e que $o!re e$te$ $e "e$e@a
a:re$:entar um no&o relati&o a um no&o n)
x .
$pline

k k
s S = "efini"o $o!re o no&o :on@unto "e n)$= a"mite a $eguinte
repre$entao :om relao a uma no&a !a$e "e !-$pline$<

( ) ( )
1
, 1
=
=
_
n
k i i k
i k
s x d B x
$ no&o$ :oefi:iente$
i
d po"em $er "etermina"o$ a partir "o$ :oefi:iente$
:on6e:i"o$
i
c u$an"o o $eguinte algoritmo<
Seja
1
[ , )
j j
x x x , ento se constri um novo conjunto de ns

i
y tal que

1
1
, 1,..., ,
2,..., 1
= = =
= =
i i j
i i
y x para i k k j y x
y x para i j n k

Definindo-se

1
1
1 ,...,
1,...,
0 1,..., ;

'
= 1
1
1
1

1
= =
!
1

1
1
1
=
1
+
j i
i
i k i
para i k j k
y y
para i j k j
y y
para i j n

Calcula-se

( )
1 , ,..., 1 = =
i i i i i
d c c para i k n

;$te algoritmo tem uma e$ta!ili"a"e raAoB&el e po"e $er generaliAa"o para
o :a$o on"e mai$ "e um n) $erB in$eri"o ao me$mo tempo.

Splines na Forma Param"trica
u$o "e interpolao por $pline$ apre$enta "oi$ in:on&eniente$<
1 Q o re$ulta"o "a aproximao $) 9 "e !oa quali"a"e $e a funo f no
ten6a "eri&a"a$ muito gran"e$= em &alor >em geral requer-$e que
( )
1,
< \ f x x ?. Por outro la"o= po"em apare:er :om portamento$

o$:ilat)rio$= quan"o $e interpola :om $pline$I
2 -
k
s "epen"e "a e$:ol6a "o $i$tema "e :oor"ena"a$.
;$te$ fato$ $o "e$fa&orB&ei$ a $e ter uma $oluo que in"epen"a "o
$i$tema "e referen:ia= prin:ipalmente quan"o $e quer repre$entar o
grBfi:o "e uma "etermina figura. A $oluo para $e ter e$$a in"epen"Gn:ia
pa$$a pela repre$entao "o $pline na forma param9tri:a= a qual tem uma
proprie"a"e "e in&ariOn:ia geom9tri:a.
4e@a uma :ur&a na forma param9tri:a
( ) ( ) ( )
( )
, = P t x t y t = :om o parOmetro
[ [
0, t T I toman"o um :on@unto "e ponto$ no plano "e :orr"ena"a$
( )
, =
i i i
P x y para 0,1,..., = i n= e intro"uAin"o-$e uma partio $o!re
[ [
0,T <
0 1
0 ... = < < < =
n
t t t T . H$an"o-$e "oi$ :on@unto$ "e &alore$

,
i i
t x e

,
i i
t y :omo "a"o$ "e interpolao= o!tGm-$e "oi$ $pline$
, k x
s e
, k y
s :om
relao a &ariB&el in"epen"ente t = que interpola
( )
x t e
( )
y t
re$pe:ti&amente. A$$im= a :ur&a param9tri:a
( ) ( ) ( )
( )
, ,
, =
k k x k y
S t s t s t 9 o
$pline param9tri:o pro:ura"o.
Po"e-$e o!$er&ar que para "iferente$ parti/e$ "e
[ [
0,T = o!t9m-$e
"iferente$ $pline$. Hma e$:ol6a raAoB&el "a parametriAao faA u$o "o
:omprimento "e :a"a $egmento
1 i i
P P

( ) ( )
1
2 2
1 1
, 1, 2,...,

= = =
i i
P P i i i i i
l l x x y y i n
%aAen"o
0
0 = t e
1
, 1, ,
=
= =
_

i
i k
k
t l i n= ento to"o
i
t repre$enta o
:omprimento a:umula"o "a lin6a >:ont2nua por parte? que une o$ ponto$
"e$"e
0
P at9
i
P. ;$ta funo 9 "enomina"a "e $pline "e :omprimento
:umulati&o e aproxima $ati$fatoriamente to"a :ur&a :om gran"e$
:ur&atura$.
A $u!rotina a!aixo implementa o $pline parametriAa"o >&i"e 5uarteroni S
4a::o S 4aleri?<
function [xi,yi] = parspline(x,y)
% interpolao por spline cubico paramtrico
% [xi,yi] so os parametros do spline cubico em relao aos eixos x e y
% x e y contm os datos a interpolar
Programa em Matlab:


Exemplo
4e@am o$ "a"o$ no programa a!aixo= para te$te "a funo par$pline<
% teste da funo parspline
clc;clear;
x = [1 0 0 3 3 -2 -3 -2 5 8 5];
y = [0 0 2 2 -2 -2 1 4 4 0 -4];
[xi,yi] = parspline(x,y);
plot(xi,yi), hold on, grid on
plot(x,y,'+r')

8emo$ a $eguinte $a2"a grBfi:a<

FIGURA 9=== === === == ==
Curvas de "#ier
-4 -2 0 2 4 6 8 10
-4
-3
-2
-1
0
1
2
3
4
5
6
Cur&a$ "e K9Aier
(
e K-$pline$ parametriAa"a$ >&i$ta$ na $eo anterior? $o
largamente utiliAa"a$ em apli:a/e$ grBfi:a$ on"e o$ ponto$ tGm :erta
in:erteAa. 4e@am ento
0 1
, ,...,
n
P P P
( )
1 n ponto$ or"ena"o$ no plano.
pol2gono orienta"o forma"o por ele$ 9 "enomina"o "e pol2gono "e K9Aier
ou pol2gono :ara:ter2$ti:o.

(
;tienne K9Aier= engen6eiro fran:G$= >1910 Q 1999?
+olinomio" de .ern"tein
4e@am o$ polin1mio$ "e Kern$tein= $o!re o inter&alo
[ [
0,1 = "efini"o$ por
( ) ( )
( )
( )
,
0,1,...
!
1 1 ,
0,..., ! !

1 '
=
1
1
= =

1
=
( )
1+
n k n k
k k
n k
n n
n
b t t t t t
k k n k n k
>9.'.((?
$ polin1mio$ "e Kern$tein tam!9m po"em $er o!ti"o$ "a $eguinte
f)rmula re:ur$i&a<

( ) ( )
( ) ( ) ( ) [ [
,0
, 1, 1, 1
1
1 , 1,..., , 0,1

'
1
=
1
!
1
= =
1
+
n
n
n k n k n k
b t t
b t b t tb t k n
>9.'.(,?
Po"e-$e &erifi:ar que
,

n k n
b P = para 0,..., = k n= ao me$mo tempo em que
pro&G uma !a$e para
n
P .
+ropiedade" do" +olin!mio" de .ern"tein
4o linearmente in"epen"ente$
4o $im9tri:o$<
( ) ( )
, ,
1
=
n k n k n
b t b t .
8Gm ra2Ae$ apena$ em 0 e 1< ( ) ( )
, ,
1 para 0
0 1
0 para 0
'
=
1
1
= =
!
1

1+
n k n n k
i
b b
i

%ormam uma partio "a uni"a"e<
( )
,
0
1,
=
=
_

n
n k
k
b t t
4o po$iti&o$ em
( )
0,1 <
( ) ( )
,
0, 0,1
n k
b t t
4atri$faAem a $eguinte regra "e re:orrGn:ia<
( ) ( ) ( ) ( )
1, , 1 ,
, 1 1, 0,0
1 ,
0 1

=
= = =
n k n k n k
n n n
b t tb t t b t
b b e b

4ati$faAem a$ rela/e$<
o
( ) ( ) ( )
, ,
1

1

( )
=
1

( )
j
n j k n k
n j
k
t b t b t
n
k

o
( ) ( )
, ,
1

( )
=
1
( )
j
n j k n k j
n j
k
t b t b t
n
k j

o ( )
( )
( )
1
1
1
,
,
1
1
1
, ,
, ,
=
=
'
1
=
1
1
1
=
( )
1
=
!
1
1
=
1

1

1 ( )
=
1
+
i i
i
i
i
n k
n k
i
k k k
n
k k k
k
b b t
n
n n n
k
n n n

:Bl:ulo "o$ polin1mio$ "e Kern$tein at9 o grau n po"e $er realiAa"o em
um arran@o triangular= :omo o mo$tra"o a!aixo= on"e a :6a&e 9 a formula
"e re:orrGn:ia mo$tra"a na$ proprie"a"e$ a:ima<

0,0 1,0 2,0 ,0
1,1 2,1 ,1
2,2 ,2
,
1=

n
n
n
n n
b b b b
b b b
b b
b

n"e a :6a&e "e re:orren:ia tem o $eguinte e$quema<
*
*
1

t
t

Exemplo
( )
( )
( )
( )
( )
3,0
3,1 1,0
3,2
3,3
,
, _
n k
n k
b t t t t
b t t t t b t t
b t t t
b t t
b t t t
b t
Cur(a de .*/ier

A$$im= $e@am

1
, ,..., ,...,
d
o k n
P P P P = ento uma :ur&a "e K9Aier 9
"efini"a por

( ) ( )
0 1 ,
0
, ,..., , , 0 1
=
=
_
n
n n k n k
k
B t b t t P P P P >9.'.(.?
A expre$$o >9.'.(.? po"e $er interpreta"a :omo um pro"uto pon"era"o
"o$ ponto$
0 1
, ,...,
n
P P P :om o$ pe$o$
( )
, n k
b t .
grau n "e uma :ur&a "e K9Aier :omo "efini"o a:ima 9 igual ao maior
grau "o$ polin1mio$ "e Kern$tein= "ela parti:ipante= :omo "efini"o em
>9.'.(,?.
H$an"o o teorema !inomial= po"e-$e mo$trar que a$ :ur&a$ "e K9Aier $o
limita"a$ ao 6ull :on&exo que "efine o$ &9rti:e$ "e :ontrole. A$$im=

( ) ( )
( ) ( ) ( )
( ) ( ) ( ) ( )
0
1
1
0, 1, 1, ,
1 1 1
1 1 1
l
= =
l

( )
=
=
_
n
n
n k
k
i
n n
n n
n n n n n n
n
t t t t
k
t nt t nt t u
b t b t b t b t
>9.'.('?
A$$im= &G-$e que a $oma
( )
, k n
b t 9 igual a uni"a"e. #e&i"o ao fato "e que
0 1 t = a$ quanti"a"e$ t e
( )
1t $o am!a$ no negati&a$= "on"e $e
:on:lui que
( )
, k n
b t tam!9m $o no negati&a$.
Hm fato que no "emon$traremo$ aqui 9 o "e que o$ polin1mio$ "e
Kern$tein
( )
, k n
b t "e or"em n $o uma !a$e para polin1mio$ "e grau n .
I$$o 9 muito importante= poi$ uma :ur&a "e K9$ier= :omo "efini"o em
>9.'.(.?= 9 um polin1mio interpola"or "o$ ponto$
0 1
, ,...,
n
P P P .

Exemplo
4e@a uma :ur&a "e K9Aier :F!i:a entre o$ ponto$
0 1 2 3
, , , P P P P <
[ [
( ) ( ) ( )
0 1 2 3 0 3,0 1 3,1 2 3,2 3 3,3
3 2 1
2 3
0 1 2 3
, , ,
1 3 1 3 1
=
=
B b b b b
t t t t t t
P P P P P P P P
P P P P

A$$o:ia"o a e$ta :ur&a $e tem o $eguinte $i$tema "e :oor"ena"a$
"epen"ente<

( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
3 2 1
2 3
0 1 2 3
3 2 1
2 3
0 1 2 3
1 3 1 3 1
1 3 1 3 1
=
=
x t x t x t t x t t x t
y y y t y t t y t t y t

Po"e-$e &erifi:ar= por in$peo "ireta na expre$$o a:ima= que
( )
0
0 = B P e
que
[ [
3
1 = B P = que $ignifi:a que a :ur&a "e K9Aier 9 um polin1mio
interpola"or :u@a$ fun/e$ !a$e "o polin1mio interpola"or "e K9Aier $o<

grBfi:o a:ima foi gera"o pelo $eguinte algoritmo<
clc, clear
comb = @(k,n)(factorial(n)/(factorial(k)*factorial(n-k)));
n = input('ordem da curva de Bazier: ');
Programa em Matlab:
A "imen$o informa que exi$tem 1 n linearmente in"epen"ente$
polin1mio$ "e Kern$tein
, k n
b que formam a !a$e "e to"o$ o$ polin1mio$ "e
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1
grau n. A$$im= to"a :ur&a polinomial
( )
B u "e grau n tem uma Fni:a
repre"entao de .*/ier<

( ) ( )
,
0 =
=
_
n
k k n
k
B u c b u >9.'.(3?
8oman"o qualquer tran$formao afim param9tri:a= tal :omo
( )
1 , = u t t = e$ta le&a a uma tran$formao que no mu"a o
grau "a :ur&a B. #e$$a forma=
( )
( )
B u t tem tam!9m a me$ma "imen$o=
logo $ua repre$entao "e K9Aier 9

( )
( )
( )
,
0 =
=
_
n
k k n
k
B u t b t P >9.'.(9?
n"e o$ :oefi:iente$
k
P $o elemento$ "e
d
:6ama"o$ "e ponto" de
.*/ier. ;$te$ ponto$ $o o$ &9rti:e$ "o pol2gono "e K9Aier "e
( )
B u $o!re o
inter&alo
( )
, a b . parOmetro t 9 "enomina"o "e parOmetro lo:al
enquanto u 9 o parOmetro glo!al "e B.
A$ proprie"a"e$ "o$ polin1mio$ "e Kern$tein= em fa:e "a "efinio
>9.'.(9?= $o pa$$a"a$ para a repre$entao "e K9Aier "e uma :ur&a.
A $imetria "o$ polin1mio$ "e Kern$tein impli:a em

( ) ( ) ( )
, ,
0 0
=
= =
= =
_ _
n k n
k k n n k k n
k k
B u b t b s P P
n"e
( ) ( )
1 1 = = u t t s s . ;$$a$ "ua$ $oma$ "efinem a
repre$entao "e K9Aier "e B $o!re
[ [
, e
[ [
, re$pe:ti&amente.
Para o$ ponto$ "e extremo "o $egmento "e :ur&a
[ [
, B = $e tem

( ) ( )
0
, = =
n
B B P P
#e$$a forma qualquer ponto
( )
B u 9 uma :om!inao afim "e ponto$ "e
K9Aier. Con$equentemente a repre$entao "e K9Aier 9 uma in&ariante
afim= i$to 9= "a"o qualquer mapeamento afim = a imagem "a :ur&a
( )
B
tem o$ ponto$ "e K9Aier
( )
k
P $o!re
[ [
, .

Deri(ada" de +olin!mio" de .ern"tein e Cur(a" de .*/ier
A "eri&a"a "e polin1mio$ "e Kern$tein "e grau n 9 $imple$ "e $er
:al:ula"o. #a "efinio "e polin1mio "e Kern$tein= $e tem
( ) ( )
( )
( )
( )
( )
( ) ( )( ) ( )
( )
( ) ( )
( )
( )
( )
( )
( )
( )
,
1
1
,
1
1
1, 1 1,
0,1,...
!
1 1 ,
0,..., ! !
1 1 1
1 ! 1 !
1 1
1 ! ! ! 1 !

1 '
=
1
1
= =

1
=
( )
1+
1
l
l
( )
l

l
=
l

l
=
n k n k
k k
n k
n k n k
k k
n k
n k n k
k k
n k n k
n n
n
b t t t t t
k k n k n k
n
d
b t kt t t n k t
k dt
n n
n t t t t
k n k k n k
n b t b
( )
l
l
t

#e uma forma geral= $e tem
( )
( )
( )
, ,
!
!
= ^
j
j
n k n k
j
d n
b t b t
dx n j
>9.'.,0?
#on"e o opera"or "e "iferena= L $emel6ana "o e$tu"a"o na $eo 9.2= 9
"efini"o pela expre$$o

( ) ( )
( ) ( ) ( )
0
, ,
1
, 1, 1 1,

^ =
l
^ =^
l
n k n k
j j
n k n k n k
b t b t
b t b t b t
>9.'.,1?
#a"a uma :ur&a "e K9Aier= >9.'.(9?

( ) ( ) ( )
,
0
, , 1 ,
= = =
_
n
k n k
k
u
B u b t t u t t P >9.'.,2?
4ua primeira "eri&a"a 9

( ) ( )
1
1, 1
0
,

=
= ^ ^ =
_
n
k n k k k k
k
d n
B u b t
du
P P P P
;nquanto $ai "eri&a"a @-9$ima 9 "a"a por

( )
( )
( )
( ) ( )
( )
( )
( )
,
0
,0
1 1
1
!
!
1

= = ^

= ^
^ =^ ^
_
n j j
j
j
k n j k
j j
k
j
n j
j
j j j
k k k
d n
B u B u b t
du
n j
n n j
B
P
P P P
>9.'.,3?
A$ "eri&a"a$ "a$ :ur&a$ "e K9Aier $o "enomina"a$ "e 6o")grafo$I a
primeira "eri&a"a "e primeiro 6og)grafo "e B= a $egun"a "eri&a"a "e
$egun"o 6o")grafo "e B= a$$im $u:e$$i&amente.
Lema: A$ "eri&a"a$ "e or"em j "e uma :ura "e K9Aier em
$eu$ ponto$ extremo$ 0 = t e 1 = t "epen"e uni:amente "o ponto "e
:ontorno e $eu$ @-9$imo$ &iAin6o$.

Prof. Henrique Mariano C. Amaral 2013-2 pag. 1(0

%ntegrao
A integrao "e uma :ur&a "e K9Aier "o tipo >9.'.,2? tem a $eguinte
repre$entao

( ) ( ) ( )
( )
1,
0
1 1 0 0 2 1
,
1 1

=

= =

= =

_
]
n
k n k
k
k k k k
c u B u du b t
n n
c
c c P c P P P
>9.'.,(?
Com
0
c uma :on$tante "e integrao ar!itrBria.
Como :on$equGn:ia "a expre$$o a:ima= po"e-$e &erifi:ar que a
integrao "efini"a entre o$ limite$ "a :ur&a
[ [
, in"epen"e "a$
:on$tante$ "e integrao<

( ) ( )
0
1
]

n
u du
n
B P P
;m parti:ular a integrao "e polin1mio "e K9Aier= in"epen"e "e k <

( )
1
,
0
1
1
=
]
n k
b t dt
n

,lgoritmo de Ca"tel0au
Hma :ur&a "e K9Aier tipo >9.'.,2?

( ) ( ) ( )
,
0
, , 1 ,
= = =
_
n
k n k
k
u
B u b t t u t t P
po"e $er en:ontra"a fa:ilmente u$an"o o Algoritmo "e Ca$tel@au< u$an"o
a relao "e re:orrGn:ia "o$ polin1mio$ "e Kern$tein repeti"amente= $e
o!t9m
Prof. Henrique Mariano C. Amaral 2013-2 pag. 1((

( ) ( )
( )
( )
( ) ( )
,
0
1
,1 1,
0
2
,2 2,
0
0
, 0, 0, , 1 , 1,
0
1
=
=

=
=
=
=
=
= = =
_
_
_
_
n
k n k
k
n
k n k
k
n
k n k
k
k n k n k j k j k j
k
B u b t
b t
b t
b t t t
P
P
P
P P P P P
>9.'.,,?
Para $e &er :omo :on$truir uma :ur&a "e K9Aier= $e@a o :on@unto

0 1 2 3
, , , P P P P e apli:an"o o algoritmo "e Ca$tel@au o!t9m-$e a figura ^^^=
interligan"o o$ ponto$ m9"io$ "o$ $egmento$.
Prof. Henrique Mariano C. Amaral 2013-2 pag. 1(,
Pela figura ^^^ ao la"o
( )
0.5 = t = &erifi:a-$e que o algoritmo "e Ca$tel@au=
repre$enta um :on@unto "e interpola/e$ lineare$ >"enota"a$ na literatura
interna:ional pela $igla \lerp]?<

( ) ( )
( ) ( )
( ) ( )
( ) ( )
( ) ( )
( ) ( )
01 0 1 0 1
12 1 2 1 2
23 2 3 2 3
012 01 12 01 12
123 12 23 12 23
0123 012 123 012 123
1 , ,
1 , ,
1 , ,
1 , ,
1 , ,
1 , ,
= =
= =
= =
= =
= =
= =
t t Lerp t
t t Lerp t
t t Lerp t
t t Lerp t
t t Lerp t
t t Lerp t
P P P P P
P P P P P
P P P P P
P P P P P
P P P P P
P P P P P

ou generi:amente

( )
( )
,..., ,..., 1 1,...,
1
1

=
=
rs r s
r s r s r s
t t
t t
P P P
P P P
>9.'.,.?
Prof. Henrique Mariano C. Amaral 2013-2 pag. 1(.
Agora "i&i"eZ$e a :ur&a re$ultante em "ua$ parte$= uma :onten"o o$
ponto$

0 01 012 0123
, , , P P P P e outra o$ ponto$

0123 123 23 3
, , , P P P P . Tepete-$e
o pro:e$$o a:ima= at9 $e en:ontrar a :ur&a "e$e@a"a.
Po"e-$e "i&i"ir :a"a $egmento em uma raAo qualquer= por exemplo
1
0, 25
4
= = t ou
3
0, 75
4
= = t <

Prof. Henrique Mariano C. Amaral 2013-2 pag. 1('


#e uma forma gen9ri:a po"e-$e e$ta!ele:er um e$quema que permite
"eterminar o$ ponto$ interme"iBrio$ "eri&a"o$ "a$ interpola/e$ lineare$=
apli:an"o-$e $u:e$$i&amente >9.'.,.?= o!tem-$e ap)$ o ultimo pa$$o o
&alor "a :ur&a "e K9Aier num ponto
0
= t t <

( )
( )
0 0
1 01 0
2 12 012
3 23 123
1 2, 1 3, 2, 1 0,..., 1
1, 2, 1, 1,..., 0,..., 0
* 1
*

n n n n n n n
n n n n n n n n
t
t
t
P
P P
P P P
P P P
P P P P
P P P P P X
>9.'.,'?
Ca"a entra"a na ta!ela a:ima 9 :al:ula"a multipli:an"o-$e o elemento
ime"iatamente anterior na 6oriAontal por
0
t e $oma-$e ao pro"uto "e
( )
0
1t pelo elemento anterior na "iagonal= :omo expli:a"o pela expre$$o
>9.'.,.?.
Po"e-$e repre$entar a :ur&a "e K9Aier ptro:ura"a na forma matri:ial= ou
$e@a<
Prof. Henrique Mariano C. Amaral 2013-2 pag. 1,0

0
1
3 2
2
3
1 3 3 1
3 6 3 0
( ) 1
3 3 0 0
1 0 0 0
l l
l l
l l
l
l l
=
l
l l
l l
l l
l l
=
b b
B t t t t
T M G
P
P
P
P
>9.'.,3?
n"e

3 2 2 3
0 1 2 3
3
3
0
( ) (1 ) 3 (1 ) 3 (1 )
3
(1 ) 0 1
=
=
1

( )
_
k k
k
k
B t t t - t t - t t
t t , t
k
P P P P
P

u ain"a "e forma param9tri:a<
( )
,
0
,
0
,
0
( ) . ( )
. ( )
( ) . ( )
=
=
=
'
1
1
=
1
1
1
=
!
1
1
=
1
1
1
+
_
_
_
n
k n k
n
k
k n k
n
k
k n k
k
x t x b t
t b t
y t y b t
x x >9.'.,9?
Po"en"o-$e expre$$ar-la em funo "o$ ponto$ ou "o parOmetro<=

( ) ( )
( ) ( )
( ) ( )
( ) ( )
3 2 3 2
0 1
3 2 3
2 3
3 2
0 1 2 3 0 1 2
0 1 0
3 3 1 3 6 3
3 3
3 3 3 6 3
3 3 1
=

=

t t t t t t
t t t
t t
t
x P P
P P
x P P P P P P P
P P P

*a forma matri:ial $e tem

( )
( )
0
1
3 2
2
3
0 0 0
1 1 1
3 2
2 2 2
3 3 3
1 3 3 1
3 6 3 0
1
3 3 0 0
1 0 0 0
1 3 3 1
3 6 3 0
1
3 3 0 0
1 0 0 0
l l

l l
l l
l
l l
=
l
l l
l l
l l
l l
l
l

l
l
l
l
l l
l
=
l l
l
l
l
l
l
l
l
l
x y z
x y z
x y z
x y z
B t t t t
p p p
p p p
B t t t t
p p p
p p p
P
P
P
P

Exemplo
4e@a a :ur&a "e K9Aier "e (V or"em "a"a por

( ) ( ) ( ) ( )
( ) ( )
4 3 2
0 1 2
4
1 0
3 4
1 0 1
1 4 1 6 1
0 2 5, 5
6 7, 5
4 1 1
5,5 0, 5
1 1 1

=

( ) ( ) ( )
1 1

( ) ( )
t t t t t t t
t t t t
X

#eterminar o ponto
( )
4
0, 6 X
4oluo<
Apli:an"o >9.'.,9? e "e$en&ol&en"o-$e para o$ ponto$ "a"o$ um e$quema
$emel6ante ao mo$tra"o em >9.'.,'?= $e o!t9m para 0, 6 = t <
Para o :omponente x <
Prof. Henrique Mariano C. Amaral 2013-2 pag. 1,(

1
0 0, 4
1 0, 6 0,52
6 4 2, 64 1, 792
7, 5 6,9 5, 74 4,5 3, 4168

Para a :omponente y<

0
2 1, 2
5,5 4,1 2,94
5,5 5,5 4,94 4,14
0, 5 2, 5 3, 7 4,196 4,1736

A$$im o ponto ( )
4
3, 4168
0, 6
4,1736
1

( )
X .
Prof. Henrique Mariano C. Amaral 2013-2 pag. 1,,
Splines no $atlab
*o Matla! exi$te a funo pp > spline9x6?; que retorna um polin1mio por
parte$ na forma "e um $pline :F!i:o para $er u$a"a :om funo pp@al e
:om o utilitBrio unmApp. A &ariB&el x pre:i$a $er um &etor. ? po"e $er um
e$:alar= um &etor ou um arra7 "e qualquer "imen$o $u@eito L$ $eguinte$
:on"i/e$<
1. $e ? for um e$:alar ou &etor= ele pre:i$a ter a me$ma "imen$o "e
x.
2. $e ? 9 um arra7 que no um &etor= o taman6o "e ? pre:i$a ter a
forma X"1="2=...="0=nY= on"e n 9 o :omprimento "e x.
A interpolao 9 realiAa"a para :a"a &alor "1-por-"2-por-...-"0 em ?.
BB > spline9x6?6xx; 9 o me$mo que BB > pp@al9spline9x6?;6xx;= pro&en"o em
BB o$ &alore$ interpola"o$ em xx. xx po"e $er e$:alar= &etor ou um arra7
multi"imen$ional.
Prof. Henrique Mariano C. Amaral 2013-2 pag. 1,.
Apre$enta-$e a $eguir "oi$ exemplo$ "e u$o "a funo $pline= tira"o$ "o
\6elp] "o $oft+are Matla! &er$o '<
12emplo 13 ,era uma curva senoidal e fa+ a amostragem por splines em
uma malha mais fina
x = 0:10;
y = sin(x); % gera pontos (x,y) sobre uma senoide
xx = 0:.25:10;
yy = spline(x,y,xx); % faz uma aproximao spline sobre os pontos (x,y)
plot(x,y,'o',xx,yy)

FIGURA 9C A*U%)$ &'R %&-IN$% ($ UMA +UR,A %$N'I(A-
0 1 2 3 4 5 6 7 8 9 10
-1
-0.8
-0.6
-0.4
-0.2
0
0.2
0.4
0.6
0.8
1
Prof. Henrique Mariano C. Amaral 2013-2 pag. 1,'
12emplo 2- Este exemplo usa uma interpolao spline completa onde as
inclinaes dos extremos ou dos contornos so prescritas- #nclinao nula
no contorno fora os valores da interpolao para uma determinada
distri)uio- .&igura /-01
x = -4:4;
y = [0 .15 1.12 2.36 2.36 1.46 .49 .06 0];
cs = spline(x,[0 y 0]);
xx = linspace(-4,4,101);
plot(x,y,'o',xx,ppval(cs,xx),'-');

FIGURA 99 IN)$R&'-A"4' &'R %&-IN$% +'M +'N)'RN'% &R$%+RI)'%
-4 -3 -2 -1 0 1 2 3 4
-0.5
0
0.5
1
1.5
2
2.5
3
Para K-$pline$ exi$te a funo :spline que plota a$ fun/e$ "e !a$e !-
$pline$ para formao "a !-$pline interpola"ora. 4ua $intaxe 9
:spline>vetor*ns 234anela5?= on"e vetor*ns 9 o &etor lin6a :onten"o o$
n)$ $o!re o$ quai$ queremo$ :on$truir a !-$pline e o argumento op:ional
4anela "e$en6a o grBfi:o na @-9$ima @anela "e um grBfi:o tipo gera"o pela
funo $u!plotI $e o argumento @anela for omiti"o= o "e$en6o $erB feito
em uma @anela inteira. Por exemplo= o :oman"o :spline9DE !/ /5 2C 37F;
pro"uA o $eguinte grBfi:o<

FIGURA 9!E 8 +'N%)RU"4' ($ FUN"#$% ($ BA%$ B8%&-IN$%
0 0.5 1 1.5 2 2.5 3 3.5 4 4.5 5
-1
-0.5
0
0.5
1
1.5
2
n"e $e po"e &er a !-$pline 9 :ompo$ta "e quatro fun/e$ "e !a$e !-
$pline$ que :on:or"am entre $iI a primeira funo 9 :on$tru2"a no
$egmente [0, 1.2) in"i:a"a na :or &ermel6aI a $egun"a funo !a$e
:on$tru2"a no $egmenteo [1.2, 2.5) e$ta in"i:a"a na :or &er"eI a ter:eira
funo !a$e e$tB :on$tru2"a $o!re o $egmento [2.5, 3.8) tem a :or
magenta= e a quarta funo !a$e= :on$tru2"a no $egmento [3.8, 4.6) e$ta
na :or preta. A @uno "e$ta$ fun/e$ "e !a$e !-$pline gera a !-$pline
interpola"ora mo$tra"a a!aixo<

FIGURA 9!! 8 B8%&-IN$%
0 1 2 3 4 5
-1
-0.5
0
0.5
1
1.5
2

Prof. Henrique Mariano C. Amaral 2013-2 pag. 1.0
#ua$ outra$ ferramenta$ intere$$ante$ que o Matla! traA $o :spliGui e o
splinetool que $o ferramenta$ iterati&a$ $o!re $pline$. In:enti&amo$ ao$
aluno$ a te$tarem e u$arem e$$a$ ferramenta$ para fixarem o$ :on:eito$
"e $pline$.

9.01 Aproximao por 2.nimos 3uadrados
%.&'.& (eral
m9to"o "enomina"o "e m2nimo$ qua"ra"o$ foi pro@eta"o para o
tratamento "e "oi$ tipo$ "e :la$$e$ "e pro!lema$<
Primeiro= para aproximao "e uma funo
( )
f x que 9 e$pe:ifi:a"a
para to"o$ o$ &alore$ "e x em um inter&alo e $e tem apena$ um
:on@unto "e &alore$ "i$:reto$ $u@eito$ a$ :on"i/e$ tai$ :omo $ua$
primeira$ "eri&a"a$ ten6am uma quanti"a"e finita "e
"e$:ontinui"a"e$I
4egun"o= quan"o $e "i$p/e apena$ "e um :on@unto "i$:reto "e
&alore$ aproxima"o$ "e
( )
f x entre o$ extremo$ e quan"o o grau "e
:onfia!ili"a"e "e$$e$ &alore$ no 9 !em e$ta!ele:i"o= e $e "e$e@a
"eterminar um polin1mio "e maior grau po$$2&el para repre$entar a
funo "entro "e uma expe:tati&a "e :onfia!ili"a"e.
A$$im= no lugar "e $e "eterminar uma aproximao polinomial
( )
y x = "e
grau n = para a funo
( )
f x = $o!re um :on@unto "e 1 n ponto$
:on:or"an"o :om o$ &alore$ exato$ ou aproxima"o$ :on6e:i"o$ :omo no$
m9to"o$ apre$enta"o$ anteriormente= o que $e quer 9 que
( )
y x e
( )
f x
:on:or"em o mel6or po$$2&el >em um $enti"o qualquer? $o!re o "om2nio
"e &ali"a"e "e
( )
f x . ;$$e "om2nio po"e $er um inter&alo :ont2nuo=
quan"o
( )
f x for e$pe:ifi:a"a analiti:amente= ou um :on@unto "i$:reto "e
1 N ponto$ :om N n.

5uan"o o$ "a"o$ "i$pon2&ei$ no "om2nio forem exato$ ou "e igual
:onfia!ili"a"e= $e tem a melhor aproximao= uma &eA que o erro
qua"rBti:o m9"io 9 m2nimo. ;$te 9 um po$tula"o= e 9 :on6e:i"o :omo
!rinc6pio de 'egendre
7
dos 86nimos 9uadrados.

;$te prin:2pio no$ "iA que a me"i"a "e "epen"e!ili"a"e
( )
w x "o &alor
"e$igna"o para
( )
f x quan"o =
i
x x "e&e $eguir o :rit9rio "e erro
qua"rBti:o em
i
x multipli:a"o por uma funo "e pon"erao w >ou
pe$o?.
A$$im= $upon"o que $e ten6a ponto$ exato$ "e
( )
f x $o!re :erto
"om2nio :on$i$tin"o ou "o :on@unto "e ponto$
0 1
, , ,
N
x x x ou "e um
inter&alo :ont2nuo
[ [
, a b = a aproximao tem a $eguinte forma<

,
A"rien-Marie -egen"re >13S09S1',2 Q 10S01S1333?
1 N +
Prof. Henrique Mariano C. Amaral 2013-2 pag. 1.(

( ) ( ) ( )
0
=
~
_
n
k k
k
f x a x y x >9.3.1?
on"e
( ) ( )
0
, ,
n
x x $o 1 n fun/e$ linearmente in"epen"ente$
.
=
e$:ol6i"a$ apropria"amente. 4e a e$:ol6a "e
( )
i
x = "e forma parti:ular=
re:air $o!re fun/e$ monomiai$ "e grau at9 n = $e terB<
( ) ( ) ( ) ( )
2
0 1 2
1, , , , = = = =
n
n
x x x x x x x = que $o fun/e$ -I e geram
o e$pao "o$ polin1mio$ "e grau = e $o !a$tante :on&eniente$ no$
pro!lema$ "o$ m2nimo$ qua"ra"o$.

.
-em!rar que para fun/e$ -I entre $i= $e tem o pro"uto interno "efini"o por<
( )
, . 0 = =
]
b
a
f g f gdx .
n
Prof. Henrique Mariano C. Amaral 2013-2 pag. 1.,
Definio 1: re$2"uo "a aproximao "a equao >9.3.1? 9
"a"o por<

( ) ( ) ( ) ( ) ( )
0
=
=
_
n
k k
k
R x f x a x f x y x >9.3.2?
;nto= pela "efinio a:ima= a mel6or aproximao "e >9.3.1?= no $enti"o
"o$ m2nimo$ qua"ra"o$= 9 aquela no$ quai$ o$ :oefi:iente$
k
a $o
"etermina"o$ pela minimiAao "o re$2"uo qua"rBti:o pon"era"o pela
me"i"a "e "epen"e!ili"a"e $o!re o "om2nio :on$i"era"o= i$to 9= u$an"o a
notao
'
= $e tem<

'
H$ar-$e-B aqui a notao ab para o pro"uto agrega"o= "efinin"o-o :omo
\
=
_
ab ab ou $e a e b forem fun/e$ :ont2nua$ :omo
\
= \
]
ab abd on"e \ 9 o "om2nio "e "efinio "e e b= e :orre$pon"e ao pro"uto interno
( )
, a b .
Prof. Henrique Mariano C. Amaral 2013-2 pag. 1..
( ) ( ) ( ) ( )
2
2
2
0
min
=
l
l
l
=
l
l
l
_
n
k k
k
w x R x wR w f x a x >9.3.3?
Para minimiAar a expre$$o a:ima= a :on"io ne:e$$Bria 9 que $ua
"eri&a"a primeira= em relao a :a"a um "o$ :oefi:iente$= $e@a nula<

( ) ( ) ( )
( ) ( )
( )
2
0
0 0
0
0, 0, 1, ,
0
, 0, 1, ,

=
= =
=
l
0
l
= =
l
0
l
l
l
=
l
l
= = =
_
_ _
_
n
k k
k
i
n n
i k k i i k k
k k
n
i k i k
k
w f x a x i n
a
w f x a x w f w a
w f a w i n
>9.3.(?
que repre$enta 1 n equa/e$ lineare$ $imultOnea$ :om 1 n in:)gnita$
0 2
, , ,
n
a a a . ;$$a$ equa a/e$ $o "enomina"a$ \e:uaes normais] ou
\sistema normal] "o pro:e$$o "o$ m2nimo$ qua"ra"o$. *e$$a$ equa/e$=
Prof. Henrique Mariano C. Amaral 2013-2 pag. 1.'
$e a$ fun/e$ formarem um :on@unto "e fun/e$ ortogonai$ >i$to 9= -I
entre $i?= ento<
0, =
i k
w i j >9.3.,?
A$$im= le&an"o >9.3.,? em >9.3.(? $e &G que o :on@unto "e equa/e$
normai$ $e torna "e$a:opla"o= uma &eA que $e tem<

( )
2
, 0, 1, , = =
i i i
a w w f i n >9.3..?
#e$"e que
( )
w x $e@a no negati&o= o :oefi:iente
i
a no po"e $er nulo=
ex:eto numa :on"io muito e$pe:ial on"e
( )
w x $e anule em to"o$ o$
ponto$ "o "om2nio on"e a$ fun/e$
( )
i
x no $e anulem. #e$$a forma=
ex:luin"o e$$e :a$o= $e po"e :on:luir que<

( )
2
, 0, 1, ,
= =
i
i
i
w f
a i n
w
>9.3.'?
Definio 2: #efine-$e \erro com rai+ m;dia :uadr<tica]=
"enota"a por
RMS
>TM4 $ignifi:a \root mean-$quare]?= em uma
aproximao $o!re um "om2nio \= relati&o L me"i"a "e "epen"e!ili"a"e
( )
w x :omo a relao<
( )
2
=
RMS
RMS
wR
f y
w
>9.3.3?
;m parti:ular= em >9.3.3?= quan"o
( )
1 w x a quanti"a"e 1 repre$enta o
:omprimento "o inter&alo no :a$o :ont2nuo e o nFmero 1 N "e ponto$
em \ no :a$o "i$:reto. I$$o repre$enta :omo &i$to no Cap2tulo 2= L norma
2
L .
Como $e &iu pela expre$$o >9.3.,?= a$ fun/e$ !a$e "o e$pao "a$ fun/e$
"e aproximao $o ortogonai$.

%.&'.) Polin*mios +rtogonais
Definio 3: Hma funo integrB&el
( )
w x 9 "ita uma funo de
ponderao $o!re um inter&alo I qualquer $e
( )
0 w x para to"o x I .
A finali"a"e "e uma funo "e pon"erao 9 "e$ignar um grau "e
importOn:ia "a aproximao $o!re :erta$ parti/e$ "o inter&alo
:on$i"era"o
Definio 4: #oi$ polin1mio$ $o "ito$ ortogonais entre si no
inter&alo
[ [
, x a b $e o pro"uto interno entre ele$ aten"er L :on"io<

( ) ( ) ( )
0, = =
]
b
i k i j
a
p p p x p x dx i j >9.3.9?
4e@am ento polin1mio$
( ) ( )
, 0, 1, 2, =
n
p x n ortogonai$ entre $i no
inter&alo
[ [
, x a b :om relao a uma funo "e pon"erao
( )
0 w x =
i$to 9=
Prof. Henrique Mariano C. Amaral 2013-2 pag. 1'0

( ) ( ) ( )
0, = =
]
b
i k i j
a
wp p p x p x w x dx i j >9.3.10?
Teorema 1: A$ ra2Ae$
k
x =
( )
1, 2, , = j n "e
( ) ( )
0, 1, 2, = =
n
p x n $o reai$ e $imple$ e e$to no inter&alo a!erto
( )
, x a b .
#emon$trao<

$ polin1mio$ ortogonai$= :omo $e po"e &erifi:ar $ati$faA a f)rmula "e
re:orrGn:ia "a"a por<

Teorema 2: 5uai$quer trG$ polin1mio$ ortogonai$
:on$e:uti&o$ e$to rela:iona"o$ entre $i pela $eguinte f)rmula "e
re:orrGn:ia<

( ) ( ) ( ) ( )
1 1
=
n n n n n n
p x A x B p x C p x >9.3.11?
4e
k
a e
k
b repre$entam o$ :oefi:iente$ "o$ termo$ "e grau k e 1 k em
( )
n
p x = ento<

1 1 1 1 1
2
1
; ;

= = =

( )
n n n n n
n
n n n
n n n n n
a a b a a
b
A B C
a a a a a
>9.3.12?
#emon$trao<

Teorema 3: $ polin1mio$ ortonormai$ $ati$faAem a $eguinte
relao<
( ) ( ) ( ) ( ) ( ) ( ) ( )
1 1
0
1

=
l
=
l
_
n
n
n n n n j j
j
n
a
p x p p p x x p x p
a
>9.3.13?
que 9 :6ama"a "e relao de =hristoffel*>ar)oux.

#emon$trao<

Pelo$ teorema$ anteriore$ 9 po$$2&el $e :on$truir um :on@unto "e
polin1mio$ ortogonai$ entre $i.
Para fa:ilitar o$ :Bl:ulo$= faA-$e em >9.3.11? 1 =
n
A e faA-$e o pro"uto
interno entre
( )
1 n
p x e
( )
n
p x para a:6ar
n
B e o pro"uto interno entre
( )
1 n
p x e
( )
1 n
p x para a:6ar
n
C . A$$im=

( )
1 1
1
1
,
, , ,

l
= =
l
= =
=
]
] ] ]
n n n n n n n
n n n n n n n n
n n n n n n n
p p x B p C p p
xp p B p p C p p
xp p B p p p p
0
0 =

, , 0
,
,
=
= =
n n n n n
n n
n
n n
xp p B p p
xp p
B
p p
>9.3.1(?
( )
1 1 1 1
1 1 1 1
1 1
,
, ,

l
= =
l
= =
=
]
] ] ]
n n n n n n n
n n n n n n n n
n n n n n
p p x B p C p p
xp p B p p C p p
xp p B p p
0
1 1
, 0

=
n n n
C p p

Prof. Henrique Mariano C. Amaral 2013-2 pag. 1'(

1 1 1
1
1 1
, , 0
,
,

=
=
n n n n n
n n
n
n n
xp p C p p
xp p
C
p p
>9.3.1,?
A$$im= a f)rmula "e re:orrGn:ia >9.3.11? pa$$a a $er e$:rita "a $eguinte
forma<

( ) ( ) ( ) ( )
1 1
=
n n n n n
p x x B p x C p x >9.3.1.?
e em &eA "e $e u$ar >9.3.12? u$a-$e >9.3.1(? e >9.3.1,?= $en"o 1 =
n
A .

Prof. Henrique Mariano C. Amaral 2013-2 pag. 1',
Exemplo
4e@a :on$truir polin1mio$ ortogonai$= :on$i"eran"o o $eguinte :on@unto "e
"a"o$<
( )
0 1 2
3 0 5
x
f x

Con$i"eran"o a funo "e pon"erao 1 =
i
w = o primeiro polin1mio
ortogonal 9 $imple$mente=
( )
1
1 = p x
Para o$ polin1mio$ ortogonai$ $eguinte$= $egun"o >9.3.1(? e >9.3.1,?= $e
tem<
3
1 1
1
1 1
3
1 1
1
,
0 1 2
1; 0
, 1 1 1
1
=
=

= = = = =

_
_
i
i
i
x
xp p
B C
p p

Prof. Henrique Mariano C. Amaral 2013-2 pag. 1'.
( ) ( )
2 1 1 1 0
1 1 1
1
= =
= =
=
p x x B p C p
xp B p
x

( )
( )
( )
3
2
2 2
1
2
3
2
2 2
1
3
2 1
1
2
3
1 1
1
1
,
0 0 2
1;
, 1 0 1
1
1
,
0 0 2 2
, 1 1 1 3
1
=
=
=
=

= = = =

= = = =

_
_
_
_
i i
i
i
i
i i
i
i
x x
xp p
B
p p
x
x x
xp p
C
p p

Prof. Henrique Mariano C. Amaral 2013-2 pag. 1''
( ) ( )
( ) ( )
3 2 2 2 1
2 2 2 2 1
2
2
1 1
3
1
2
3
= =
= =
= =
=
p x x B p C p
xp B p C p
x x x
x x

C6e:an"o $e ele$ $o ortogonai$= $e tem<
( )
( )
3
1 2
1
3
2
1 3
1
3
2
2 3
1
, 1 1 1 0
1 1 2 1
, 2 0
3 3 3 3
1 1 1
, 1 2 0
3 3 3
= = =
1
= = =

( )
1
= = =

( )
_
_
_
i
i i
i i i
p p x
p p x x
p p x x x

-ogo= o$ polin1mio$ ortogonai$ pro:ura"o$ e$to :on$tru2"o$.

Para um :on@unto "e "a"o$ "i$:reto$

0 1
, , ,
N
x x x "i$tinto$= po"e-$e
minimiAar<

( ) ( ) ( ) ( )
2
0 =
l
=
l
_
N
n i n i
D
i
f x q x f x q x >9.3.1'?
$o!re to"o$ o$ polin1mio$ "e grau no maior que n = on"e= em geral=
N n pelo fato "e que
D
$er uma norma e e$$en:ialmente e$trita.
Para "eterminar a aproximao pelo$ m2nimo$ qua"ra"o$= $e@a<

( ) ( )
( )
2
0 1
0 1
, , , =
=
n n
D
n
n n
a a a f q x
q x a a x a x
>9.3.13?
A funo 9 qua"rBti:a em
i
a = logo<
( ) ( ) ( )
2
0 1
0 0 0 0 0 0
, , , 2

= = = = = =
=
_ _ _ __ _
N n N n n N
k k j
n k i i k j i
i k i k j i
a a a f x a x f x a a x
>9.3.19?
*o m2nimo=

j
a "e
( )
a $e tem a :on"io ne:e$$Bria<

( )
0, 0, 1, ,
0
= =
0

k
k n
a
a=a
>9.3.20?
5ue pro"uA o $eguinte sistema normal<

( ) ( )
0 0 0
, 0, 1, ,
= = =
= =
_ _ _

n N N
k j k
j i i i
j i i
a x x f x k n >9.3.21?
$i$tema >9.3.21? po"e $er $empre re$ol&i"o= e 9 no $ingular $e N n.

Exemplo
Apli:ao "o m9to"o "o$ m2nimo$ qua"ra"o$ para aproximao $o!re um
:on@unto "i$:reto "e "a"o$.
1. 4e@a a4ustar uma linha reta ao :on@unto "e ponto$ "i$:reto$ e "i$tinto$<
( )
( )
( )
( )

( ) ( ) ( ) ( ) ( )

0 0
, , , ,
0, 2.1 , 1, 2.85 , 2, 1.1 , 3, 3.2 , 4, 3.9
= =
=
n n
D x f x x f x

Para efeito "e$te exemplo= tomar-$e-B a funo "e pon"erao
( )
1 = w x .
A$$im= po"e-$e ree$:re&er >9.3.21? para uma reta >funo linear "o tipo
( )
0 1
= f x a a x? na forma matri:ial<
0 0 0 0
1 2
0 0 0
= = =
= = =
l l
l l
l l 1
l l
=

l l
( )
l l
l l
l l
_ _ _
_ _ _
n n n
i i i i i
i i i
n n n
i i i i i i i
i i i
w w x w f
a
a
w x w x w x f

Cal:ulan"o o$ elemento$ "a$ matriAe$<
4
1 0
4
0 0
1 5
0 1 2 3 4 10
= =
= =
= =
= = =
_ _
_ _
n
i
i i
n
i i
i i
w
x x

4
2 2 2 2 2 2 2
0 0
4
0 0
4
0 0
0 1 2 3 4 30
2.10 2.85 1.10 3.20 3.90 13.15
0 2.10 1 2.85 2 1.10 3 3.20 4 3.90 30.25
= =
= =
= =
= = =
= = =
= = =
_ _
_ _
_ _
n
i i
i i
n
i i
i i
n
i i i i
i i
x x
f f
x f x f

-ogo a equao matri:ial terB a $eguinte forma<
0
1
5 10 13.15
10 30 30.25
1 l 1

l
=

l
( ) ( )
l
a
a

Cu@a $oluo 9
[ [
1.84, 0.395 =
T
a que no$ le&a L $eguinte equao "e
aproximao<
( )
1.84 0.395 = f x x

Ma$= po"e-$e e&itar a ne:e$$i"a"e "e $e re$ol&er um $i$tema normal geral
>9.3.21? $e $i :on$truir uma $eqMGn:ia "e polin1mio$
( ) ( )
, 0, 1, , =
n
p x n N o$ quai$ $e@am ortonormai$ relati&o$ L $omat)ria
$o!re
( )
, 0, 1, , =
i
x i N .
Po"em-$e u$ar polin1mio$ ortogonai$ "i&er$o$= :omo o$ polin1mio$ "e
Nram= polin1mio$ "e C6e!7$6e&= "e -egen"re= "e Hermite= e outro$. A
:6a&e 9 u$ar outro$ polin1mio$ que no o :on@unto "e mon1mio$

2 1
1, , , , ,
n n
x x x x para o$ termo$ "e
( )
f x .
A moti&ao para $e "eterminar um :on@unto ortogonal "e polin1mio$ 9 o
fato "e que o :Bl:ulo "o a@u$tamento "o$ "a"o$ D pelo$ m2nimo$
qua"ra"o$ $e torna mai$ $imple$ e e&ita-$e $olu:ionar $i$tema$ mal
:on"i:iona"o$.
u$o "a expre$$o >9.3.'? 9 gen9ri:o e "e&e $er utiliAa"o para a@u$tar
"a"o$ em quanti"a"e qualquer.
Teorema 4: 4e@a
( )
f x :ont2nua em
[ [
, a b e
( )
, 0,1, 2, =
n
Q x n
uma aproximao polinomial pelo$ m2nimo$ qua"ra"o$ "e
( )
f x em
"etermina"o por

( ) ( )
( ) ( )
0
,
, 1, 2, ,
=
=
= =
_
]

n
n j j
j
b
j j
a
Q x c P x
c P x f x dx j n

;nto
[ ]
, a b

( ) ( )
2
lim lim 0

l
=
l ]
b
n n
n n
a
J f x Q x dx
e a equao "e Par$e&al

( )
2 2
0
=
=
_
]
b
j
j
a
f x dx c
re$ulta"o "e$te teorema= infeliAmente= no no$ "B informa/e$ $o!re a
:on&ergGn:ia pontual "e
( )
f x pela aproximao pelo$ m2nimo$ qua"ra"o$
( )
n
Q x . DG-$e que a $eqMGn:ia
( ) ( )
0 =
=
_
n
n j j
j
Q x c P x :on&erge em m9"ia
para e :on&erge uniformemente e $imultaneamente no inter&alo [ [ , a b

( )
f x
Como "ito anteriormente= para $e garantir a :on&ergGn:ia pontual po"em-
$e u$ar polin1mio$ ortogonai$ "i&er$o$= :omo o$ polin1mio$ "e Nram=
polin1mio$ "e C6e!7$6e&= "e -egen"re= "e Hermite= e outro$. I$$o $e farB
no$ t)pi:o$ 9.3.3 e $eguinte$.
Teorema 4: :on@unto "e fun/e$ polinomiai$

0 1
, , ,
n

"efini"o "a $eguinte a!aixo 9 ortogonal $o!re [ [ , a b :om relao a uma
funo "e pon"erao
( )
w x <

( )
( )
[ [
( )
( )
( ) ( )
[ [
0
1 1
1 2
1
, ,
, ,

=
=
=
k k k k k
x
x x B x a b
x x B x C x x a b
>9.3.22?
on"e
( ) ( )
( ) ( )
( ) ( ) ( )
( ) ( )
2
1 1 2
2 2
1 2
;

l
l
= =
l l
l l
] ]
] ]
b b
k k k
a a
k k
b b
k k
a a
xw x x dx xw x x x dx
B C
w x x dx w x x dx

teorema anterior pro&er= :omo $e po"e &erifi:ar= um pro:e"imento
re:ur$i&o para a :on$truo "e um :on@unto "e polin1mio$ ortogonai$.

%.&'., -so do $"todo dos $.nimos /uadrados utili#ando o $atlab
Matla! tem "entro "o $eu \=urve &itting Tool)ox] a$ fun/e$
ne:e$$Bria$ para o a@u$tamento "e "a"o$. ;le u$a quatro tipo$ "e a@u$te<
1. M2nimo qua"ra"o linearI
2. M2nimo qua"ra"o linear pon"era"oI
3. M2nimo qua"ra"o ro!u$toI
(. M2nimo qua"ra"o no linear.
m*todo linear a@u$ta um mo"elo linear ao$ "a"o$. mo"elo linear

( )
( )
2
2
1
1
=
_ _ _
_ _
_ _
i i i i
i i
i i
n x y x y
a
n x x
b y b x
n
>9.3.23?
*a forma matri:ial $e tem< = y X on"e y 9 um &etor 1 n "a$
re$po$ta$= 9 um &etor 1 m "o$ :oefi:iente$= X 9 a matriA "o mo"elo "e
or"em n m= e 9 o &etor "e erro "a or"em "e 1 n .
Para polin1mio$ "o primeiro grau >lineare$? a$ n equa/e$ em "ua$
in:)gnita$ $o expre$$a$ em termo$ "e y, X, :omo<

( )
1 1
2 2
3 3
1
1
1
1
1
1 l

l
1

l
=

l

( )
l

( )
l
=
=

n n
T T
y x
y x
a
y x
b
y x
y Xb
b X X X y

%.&'.0 $"todo Dos $.nimos /uadrados Ponderado
m*todo do" m5nimo" 6uadrado" ponderado 9 utiliAa"o quan"o $e
a$$ume que o$ "a"o$ "e re$po$ta tGm uma !oa quali"a"e e tem uma
&ariOn:ia :on$tante. 4e e$ta 6ip)te$e fal6ar= $eu a@u$tamento $erB
influen:ia"o por "a"o$ "e quali"a"e ruim. Para mel6orar o a@u$tamento=
pre:i$a-$e pon"erar a regre$$o :om um fator "e e$:ala ou pe$o. Como @B
$e &iu ne$te :a$o o pro:e$$o minimiAa o erro<

( )
1
=
=
_

n
i i i
i
w y y
termo "e pon"erao mo"ifi:a a expre$$o para a e$timao "o$
parOmetro$= "a $eguinte maneira<

( )
= =
-1
T T
b X WX X Wy
n"e W 9 "a"o pelo$ elemento$ "iagonal "a matriA "e pon"erao w.
A pon"erao informa"a "e&e tran$formar a &ariOn:ia "a re$po$ta em um
&alor :on$tanteI $e no $e ti&er :on6e:imento "a &ariOn:ia "o$ "a"o$=
ento a$ pon"era/e$ $o "a"a$ por<

( )
1
2
2
1
1 1
=
1

( )
_

n
i i
i
w y y
n

9.01.!.0 2odelo Dos 2.nimos 3uadrados 4obusto
modelo do" m5nimo" 6uadrado" ro7u"to 9 utiliAa"o quan"o o$ erro$ "a$
re$po$ta$ $eguem uma "i$tri!uio normal= :om o$ $eu$ &alore$ extremo$
raro$= :on6e:i"o$ :omo outliers.
A prin:ipal "e$&antagem "o m9to"o "o$ m2nimo$ qua"ra"o$ 9 a $ua
$en$i!ili"a"e ao$ outliers= poi$ e$te$ tGm gran"e$ influGn:ia$ no a@u$te
"e&i"o ao fato "e que o$ qua"ra"o$ "e $eu$ re$2"uo$ afetam o$ ponto$
extremo$. Para minimiAar e$$e efeito o Matla! pro&G "oi$ e$quema$ "e
regre$$o ro!u$ta<
1. Te$2"uo$ a!$oluto$ m2nimo$ >L,8 ? 'east A)solute @esiduals? que
a:6a uma :ur&a que minimiAa a$ "iferena$ a!$oluta$ "o$
re$i"uai$ em &eA "o qua"ra"o "a "iferena. A$$im o$ extremo$
tGm muito pou:a influen:ia no a@u$tamento "a :ur&a.
2. Pon"erao !i-qua"ra"a= e$quema que minimiAa a $oma "o$
qua"ra"o$ pon"era"o$= on"e a pon"erao 9 "a"a a :a"a ponto
"epen"en"o "o quanto o ponto e$tB "i$tante "a :ur&a a@u$ta"a.
;m geral o pro:e$$o "a pon"erao !iqua"ra"a 9 preferi"o ao pro:e$$o
L,8 "e&i"o a que ele !u$:a $imultaneamente a:6ar a :ur&a que $e a@u$ta
ao nF:leo "o$ "a"o$= minimiAan"o o efeito "o$ outliers.

9.01.!.2 Pro5esso Dos 2.nimos 3uadrados #o &inear
proce""o do" m5nimo" 6uadrado" no linear formula um mo"elo no
linear para a@u$tar o$ "a"o$. mo"elo no linear 9 "efini"o por uma
equao :om :oefi:iente$ no lineare$= ou uma :om!inao "e
:oefi:iente$ lineare$ e no lineare$= :omo por exemplo= polin1mio$
Nau$$iano$= fun/e$ "e potGn:ia$= et:.
*a forma matri:ial= o mo"elo no linear 9 "a"o por<

( )
= f y X,
$ mo"elo$ no lineare$ $o mai$ "if2:ei$ "e $i a@u$tarem que o$ mo"elo$
lineare$ "e&i"o a que o$ :oefi:iente$ no po"em $er e$tima"o$ por
t9:ni:a$ matri:iai$ $imple$. J requeri"o um pro:e$$o iterati&o no$
$eguinte$ pa$$o$<
J ini:ia"o :om uma e$timati&a para :a"a :oefi:iente= ou por um pro:e$$o
6eur2$ti:o ou por a"oo "e &alore$ aleat)rio$ no inter&alo
[ [
0, 1 .
Pro"uA uma :ur&a a@u$ta"a para o$ :oefi:iente$ atuai$. A$ re$po$ta$
a@u$ta"a$ $o "a"a$ por
( )
=
f y X,b = e en&ol&e o :Bl:ulo "o Ra:o!iano "e

( )
f X,b .
A@u$te "o$ :oefi:iente$ e "eterminao "o mel6or a@u$te. A "ireo e
magnitu"e "o a@u$te "epen"em "o algoritmo "e a@u$te a"ota"o. Matla!
pro&G trG$ algoritmo$<
1. Tegio-Der"a"e - e$te 9 o algoritmo pa"ro e $erB utiliAa"o
quan"o forem e$pe:ifi:a"a$ re$tri/e$ ao$ :oefi:iente$. ;le
repre$enta uma mel6oria "o algoritmo popular :on6e:i"o :omo
'even)erg*8ar:uardt.
2. -e&en!erg-Marquar"t Q $erB utiliAa"o $e no for e$ta!ele:i"o
re$tri/e$ ao$ :oefi:iente$.
3. Nau$$-*e+ton Q 9 um algoritmo mai$ rBpi"o que o$ outro$ "oi$=
ma$ a$$ume que o$ re$2"uo$ e$to pr)ximo$ "e Aero. Iterage o
pro:e$$o retornan"o ao pa$$o que pro"uA a :ur&a "e
a@u$tamento= e :ontinua a$$im at9 que al:an:e o :rit9rio "e
:on&ergGn:ia a"ota"o.
A$ prin:ipai$ fun/e$ "o 8ool!ox "e A@u$tamento "e :ur&a $o<
1. +Hit - :ria um o!@eto "e a@u$tamento "e :ur&a ou :fitI
2. Fit - a@u$ta "a"o$ u$an"o um mo"elo "a !i!liote:a ou um mo"elo
:u$tomiAa"o= um $pline li$o ou um interpola"orI
3. Fitoptions Q :ria ou mo"ifi:a um o!@eto opo "a funo fitI
(. +oeHH@alues Q retorna o$ &alore$ "o$ :oefi:iente$ "e um o!@eto :fitI
,. +Htool Q a!re a %erramenta "e A@u$tamento "e Cur&a$I
.. Fe@al Q a&alia o re$ulta"o "e um o!@eto "e a@u$tamento.

9.00 Aproximao de 6ermite
;m "etermina"a$ apli:a/e$ 9 ne:e$$Brio $e repro"uAir uma funo :om a
maior pre:i$o po$$2&el= ma$ :om a menor quanti"a"e "e informao
po$$2&el= i$to= utiliAan"o-$e um pequeno nFmero "e ponto$ ou "a"o$.
A$$im= muita$ &eAe$ $e quer interpolar um polin1mio :u@o grBfi:o pa$$a
pelo$ ponto$ "a"o$ e mai$= $e quer pre$er&ar tam!9m= ne$$e$ ponto$= a
in:linao "a :ur&a.
;$pe:ifi:amente= $e tem o$ &alore$ "a funo
( )
f x em
( )
1 n ponto$ e
mai$ a in:linao ou primeira "eri&a"a
( )
f x no$ me$mo$
( )
1 n ponto$.
o!@eti&o 9 :al:ular um polin1mio interpola"or "e Hermite "e grau no
maior que 2 1 n =
2 1 n
P = que aten"a a$ 2 2 n re$tri/e$<

( ) ( )
( ) ( )
2 1
2 1
,
=

=
i n i
i n i
f x P x
f x P x
>9.3.2(?
4e@a ento :on$i"erar um polin1mio "e -agrange "e n-9$imo grau=
( )
, n i
L x =
"efini"o em >9.(..?. 4e@a agora "efinir polin1mio$ "e grau 2 1 n <

( )
( )( )
( )
( )
( )
( )
( )
2
,0 , ,
2
,1 ,
1 2

=
=
i n i i i n i
i i n i
h x L x x x L x
h x x x L x
>9.3.2,?
Po"e-$e &er que

( )
( )
( )
( )
,0
,0
,1
,1
,
0,
0,
=
=
=
i j ij
i j
i j
i j ij
h x
h x
h x
h x
>9.3.2.?
#e$$a forma= o polin1mio "e Hermite
3
que aten"e a :on"io "a$
primeira$ "eri&a"a$ 9 "a"o por

( )
( )
( )
( )
( )
1 1
2 1 ,0 ,1
1 1

= =
=
_ _
n n
n i i i i
i i
H x f x h x f x h x >9.3.2'?
n"e a$ "eri&a"a$ "o$ polin1mio$
( )
, n i
L x que $o ne:e$$Bria$ para $e
"eterminar
,0 i
h po"ero $er :al:ula"a$ pela expan$o em pro"uto "e n
mon1mio$ pela f)rmula$ apre$enta"a$ no t)pi:o "e "iferen:iao
num9ri:a.
;m parti:ular quan"o 1 = n = tem-$e apena$ 2 ponto$ "a"o$= e o!t9m-$e
pela$ expre$$/e$ a:ima= uma interpolao :F!i:a. A$$im= a$ fun/e$
( )
, i j
h x
$o "a"a$ por<

3
C6arle$ Hermite >1322-1901?

( )
( )
( )
( )
( )
, ,0
,1 2 1 ,1
,
=
=
i o i
i i
h x H
h x x x H
>9.3.23?
n"e
( )
( )
1
2 1
x x
x x
e ( )
,

i j
H $o polin1mio$ "e ter:eiro grau "efini"o$
por<

( )
( )
( )
( )
2 3
1,0
2 3
2.0
2 3
1,1
2 3
2,1
1 3 2 ,
3 2 ,
2 ,

=
=
=
=
H
H
H
H
>9.3.29?
*o :a$o mai$ geral "e interpolao "e Hermite= $e tem 1 n ponto$ "a"o$
e $e quer a:6ar um polin1mio interpola"or "e grau k =
( )
k
P x = que
repro"uAa o$ &alore$ "a funo
( )
f x e "e $ua$ primeira$ 1
i
m "eri&a"a$=
( )
( )
, 0,1, 2, , 1 =
k
i
f x k m = no i-9$imo ponto= on"e 1, 2, , 1 = i n .
*ote que em :a"a ponto a or"em "a$ "eri&a"a$ requeri"a$ po"e mu"ar.
A$$im= o nFmero "e :oefi:iente$ in:)gnita$ "o polin1mio "e&e $er igual ao
nFmero "e re$tri/e$I "e$$a forma= o grau mBximo "o polin1mio "e&e $er

1
1
1
=
=
_
n
i
i
k m >9.3.30?
A$$im= $e em to"o$ o$ ponto$ "a"o$ $e ti&er 2 =
i
m = a or"em "o
polin1mio $erB
1
1
1 2 1
=
= =
_
n
i
i
k m n . #e$$a forma o polin1mio "e
Hermite pro:ura"o tem a forma<
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
1 1
1 1 1
1 1, , 1 1,
0 0 0
1
1
,
1 0

= = =
= =
=
=
_ _ _
__

n i
i
m m m
p p p
k p i i p n n p
p p p
m
n
p
i i p
i p
P x f x h x f x h x f x h x
f x h x
>9.3.31?
1 n
n"e o $o!re$:rito ( ) p in"i:a a p-9$ima "eri&a"a e
( )
, i p
h x $o o$
polin1mio$ :ar"inai$ "e Hermite "e grau menor ou igual a k = requeri"o$
para $ati$faAerem L proprie"a"e

( )
( )
( )
( )
,
1
0 caso contrrio
'
= = 1
1
=
!
1
1+
r
i p j
se i j k r
h x
em
>9.3.32?

%.&&.& Frmula de Recorr1ncia
$ polin1mio$ :ar"inai$ "e Hermite
( )
, i p
h x po"em $er "etermina"o$ "e
forma re:ur$i&a "a $eguinte maneira< primeiro= $e a&alia um polin1mio
auxiliar
( )
, i p
r x e $ua$ "eri&a"a$ "e a:or"o :om o $eguinte algoritmo<
Para 1 = i at 1 n faa
Para 0 = p at 1
i
m faa

( )
( )
1
,
1
!

( )
j
m
p
n
j
i
i p
j
i j
j i
x x
x x
r x
p x x

Para 1 = s at 1
i
m faa
Determine
( )
( )
,
s
i p i
r x
Fim faa
Fim faa
Fim faa

Para $e "eterminar a $-9$ima "eri&a"a=
( )
( )
,
s
i p i
r x = $e "e&em u$ar a$
formula/e$ apre$enta"a$ no t)pi:o "e "iferen:iao num9ri:a.
#epoi$= $e :al:ula o$
( )
, i p
h x "a $eguinte maneira<
Para 1 = i at 1 n faa
Para 1 =
i
p m at 0 de 1 a 1 faa

( ) ( )
( )
( )
( )
1
, , , ,
1
=
=
_
j
m
s
i p i p i p i i s
s k
h x r x r x h x
Fim faa
Fim faa

%.&&.) C2lculo E3pl.cito dos Coeficientes dos Polin*mios de 4ermite
Para $e faAer i$$o= :on$i"ere t uma no&a &ariB&el "e interpolao e a
funo "e interpolao
( )
u t . 4e@a ento :on$truir uma ta!ela :om "ua$
:oluna$ :om 1 k > k "efini"o em >9.3.30?? entra"a$<

( ) ( )
( ) ( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
1
1 1
1 1
1 1
2
1 2 1 2
1 1 1 1
2 1 2 1
1
1 1
1 2 1 2
2 2 2 2
1
2 2

= =
= =
= =
= =
= =
= =

m
m m
m m
m m
m
m m m m
t x u t f x
t x u t f x
t x u t f x
t x u t f x
t x u t f x
t x u t f x
>9.3.33?

A$$im $e faAen"o a expre$$o "o polin1mio "e Hermite terB uma
aparGn:ia $imilar ao polin1mio "e *e+ton

( ) ( ) ( )
0
=
= =
_
k
k k i i
i
P x P t c t >9.3.3(?
n"e o$ polin1mio$
( )
i
t tGm a forma<

( )
( )
( )
( )( )
( )
( )( ) ( )
( )
( )( ) ( ) ( )
0
1 1
2 1 2
1 2
1 2
1
'
= 1
1
1
1
=
1
1
1
1
=
1
1
1
!
1
1
1
=
1
1
1
1
1
1
1
=
1
+

i i
k i k
t
t t t
t t t t t
t t t t t t t
t t t t t t t t t
>9.3.3,?
#e uma forma :ompa:ta e geral o$ polin1mio$ tGm :omo expre$$o

( )
( )
( )
1
1
=
=
k
k i
i
k k
t t t
t t
>9.3.3.?
Como $e &iu em >9.3.33? $u!$tituiu-$e x por t =
i
x por
i
t = e n por k .
Para o :Bl:ulo "o$ :oefi:iente$
i
c "e >9.3.3(?= u$a-$e uma ta!ela "e
"iferena$ mo"ifi:a"a$ que 9 :on$tru2"a utiliAan"o-$e a$ $eguinte$
formula$<

( )
1
1 1
i
, , ,
, , , ,
se incluindo k=0
!
caso contrrio

'
1
1
=
1
1
1
=
!
1
1
1
1

1
+

i i i k
i i k i i k
r k
i k
t t t
t t t t
i k i
u t
t t
k
G
G G
t t
>9.3.3'?
( )
i
t
*a :on$truo "e$$a ta!ela o$ :oefi:iente$ $o aquele$ que fi:am no
topo "a ta!ela= :orre$pon"ente a :a"a 0,1, 2, , i k e o 2n"i:e r 9 o
menor 2n"i:e "e t = quan"o "a $u!$tituio "e &ariB&el por .

Exemplos
1 - 4e@a "eterminar o polin1mio interpola"or "e Hermite para o$ "a"o$
forne:i"o$ na ta!ela a!aixo<
x f>x? f_>x? f__>x?
0 -1 -2
1 0 10 (0
*otar pela ta!ela que $e quer pre$er&ar no ponto
1
0 = x o$ &alore$ "e
( )
f x e "e
( )
f x = e no ponto
2
1 = x o$ &alore$ "e
( )
f x =
( )
f x e "e
( )
f x =
o que e$ta!ele:e que
1
2 = m =
2
3 = m e 4 = k >pela f)rmula >9.3.30??.
i
c
i
x
i
t
pr)ximo pa$$o 9 faAer a$ $u!$titui/e$ "e &ariB&ei$ e :riar a $ua ta!ela
"e &alore$. A$$im=

( )
( )
( )
( )
( )
1 1
2 2
3 3
4 4
5 5
0 1
0 2
1 0
1 10
1 40
= =
= =
= =
= =
= =
t u t
t u t
t u t
t u t
t u t

DG-$e que $e tem para :a"a ponto x tanto$ t s quanto$ forem o$ &alore$ a
pre$er&ar naquele ponto.
pa$$o $eguinte 9 :al:ular o$ &alore$ "e
i
t
G para 0 = k . Para i$$o $e apli:a
a f)rmula >9.3.3'?= "on"e $e o!t9m >o!$er&ar que para o ponto
1
x o menor
1
=
r
t t I e para o ponto
2
x o menor
3
=
r
t t ?<

( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
1
2
3
4
5
1
1
1
1
3
3
3
3
3
3
0
1
0!
0
1
0!
0
0
0!
0
0
0!
0
0
0!
= = =
= = =
= = =
= = =
= = =
t
t
t
t
t
u t
G u t
u t
G u t
u t
G u t
u t
G u t
u t
G u t

Para 1 = k &G-$e que >notar que quan"o
i
t e
1 i
t $o iguai$ u$a-$e a
expre$$o
( )
!
r k
u t
k
e quanto
1
i i
t t u$a-$e a expre$$o
1 1
, , , ,

i i k i i k
t t t t
i k i
G G
t t
?<

( ) ( ) ( )
( ) ( ) ( )
( ) ( ) ( )
1 2
3 2
2 3
3 4
4 5
1 1
2
,
,
3 2
3 1
4
,
3 1
4
,
2
2
! 1! 1! 1
0 ( 1) 1
1
1 0 1
10
10
! 1! 1! 1
10
10
! 1! 1! 1

= = = = =

= = = =

= = = = =
= = = = =
r k
t t
t t
t t
r k
t t
r k
t t
u t u t
u t
G
k
G G
G
t t
u t u t
u t
G
k
u t u t
u t
G
k

Com o$ &alore$ "a ta!ela "a"a e o$ &alore$ "e
i
t
G $e :on$tr)i uma ta!ela
para "e a:6ar por "iferena= o$ &alore$ :orre$pon"ente$ ao$ outro$
&alore$ "e 1, 2,3, 4 k = e a:6ar o$ :oefi:iente$ que "eterminaro o
polin1mio "e Hermite "e$e@a"o= :onforme >9.3.3(?<
i
c
( )
( )
( )
1
1 2
1 2 3
2
1 2 3 4
2 3
1 2 3 4 5 2 3 4
3
2 3 4 5
3 4
3 4 5
4
4 5
,
0
1
2
3
,
,
5
,
4
0 1 2 3 4
1
1 0 1
2
1 2
2 0 1 1
3
9 3
1
6
11 6 10 1
3 1 0 0
5 9
20 9
10
11
4 1 10 0
2!
20
= = = = =
=
=
=
=
=
=
= =
=
=
= =
= =
=
= = =
=
=
=
=
=
=
=
i i
t
t t
t t t
t
t t t t
t t
t t t t t t t t
t
t t t t
t t
t t t
t
t t
i t u t k k k k k
G
G
G
G
G
G
G G
G
G
G
u t
G
G
G
c
c
c
c
c
5
10
5 1 40 0 =
t
G

8oman"o o$ :oefi:iente$ en:ontra"o$= 1, 2,3, 6, 5 = c = $e tem<

( ) ( ) ( )
( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( )
4
4 4
0
0 0 1 1 2 2 3 3 4 4
0 1 2 3 4
1 2 3 6 5

=
= =
=
=
_ i i
i
H x H t c t
c t c t c t c t c t
t t t t t

2 - 4e@a "eterminar o polin1mio interpola"or "e Hermite= por meio "e um
programa em Matla!= para o$ "a"o$ forne:i"o$ na ta!ela a!aixox? f_>x?
1 1.3

0..2003.0
-
0.,220232
2 1.. 0.(,,(022
-
0.,.939,9
3 1.9 0.231313. -
0.,311,'1
*otar pela ta!ela que $e quer pre$er&ar em to"o$ o$ ponto$ o$ &alore$ "e
e "e = o que e$ta!ele:e que =
2
2 = m =
3
2 = m e 5 = k >pela
f)rmula >9.3.30??. -ogo $e "e&e "eterminar um polin1mio "e or"em 5 = k .
Para o "e$en&ol&imento "o programa em Matla!= $e "e$en&ol&erB
primeiro uma funo que :al:ule a ta!ela G e :on$eqMentemente o$
&alore$ "o$
i
c "a formula >9.3.3(?= e uma funo que :al:ule o$ &alore$ "e
i
em "etermina"o ponto. ;m $egui"a $e "e$en&ol&erB um pro:e"imento=
utiliAan"o e$$a$ fun/e$= para "e a:6ar o polin1mio interpola"or "e
Hermite e traar o $eu grBfi:o<
%uno para :al:ulo "a ta!ela e :on$eqMentemente o$ &alore$ "o$ <
function [q,z,c] = coefh(n,mi,x,fx,f1x,f2x)
% ======================================
% Coeficientes do Polinmio de Hermite
% ======================================
% g = sada = matriz G com a tabela de diferenas de Hermite
% z = sada = vetor com os valores dos tis
% c = sada = vetor com os valores dos coeficientes cis
% n = numero de pontos dados
% x = matriz com x1, x2,x3,...,xn
( )
f x
( )
f x
1
2 m =
G
i
c
% fx = Vetor com os valores das funes
% f(x1), f(x2),...,f(xn)
% f1x = vetor com os valores das derivas primeiras
% f1(x1), f1(x2), ..., f1(xn)
% f2x = vetor com os valores das derivas primeiras
% f2(x1), f2(x2), ..., f2(xn)
% mi = % qte de valores em cada ponto x
% =1 tem s f(x)
% =2 tem f(x) e f1(x)
% =3 tem f(x), f1(x) e f2(x)
% baseado no algoritmo 3.3 pg 135 Burden/Faires
%
Programa em Matlab:

%uno que :al:ula o$ &alore$ "e em "etermina"o ponto<
function valor = fihk(k,ponto,vt)
% ==================================
% Funo Fi do Polinmio de Hermite
% ==================================
% valor = sada = valor da funo fi de ordem k no ponto
% t = ponto onde se quer o valor da funo
% vt = vetor com os tis = t1,t2,...,tk,...
% k = ordem da funo
%
Programa em Matlab:

%uno para :Bl:ulo "e polin1mio interpola"or "e Hermite<
i

function y = hermite(k,t,c,vt)
% ==================================
% Polinmio de Hermite de ordem k
% ==================================
% y = sada = vetor coluna com valores de Hermite para t
% t = vetor linha com os pontos onde se quer o valor da funo
% vt = vetor coluna com t1,t2,...,tk,...
% k = ordem da funo
% c = coeficientes ci
%
Programa em Matlab:

Agora $e tem o programa prin:ipal= que $e utiliAa "a$ fun/e$ a:ima para o
:al:ulo "o polin1mio "e Hermite. !$er&ar que tGm que $er :on6e:i"o o$
ponto$ x = o &alor "a funo ne$$e$ ponto$=
( )
f x = e a$ primeira$ "eri&a"a$
tam!9m ne$$e$ ponto$=
( )
f x = o$ ponto$ on"e $e quer :al:ular o

polin1mio que aten"a o$ "a"o$ forne:i"o$<
clear;
clc;
n=3; % numero de pontos dados
x=[1.3 1.6 1.9]; % pontos dados
fx=[0.6200860 0.4554022 0.2818186]; % valores da funo nos pontos dados
f1x=[-0.5220232 -0.5698959 -0.5811571]; % derivada nos pontos dados
%
Programa em Matlab:

A execuo deste programa gera a seguinte sada:

c =
0.62008600000000
-0.52202320000000
-0.08974266666667
0.06636555555556
0.00266666666666
-0.00277469135799


FIGURA 9/E A*U%)$ &'R &'-IN0MI' ($ I$RMI)$

0 0.5 1 1.5 2 2.5 3
-0.8
-0.6
-0.4
-0.2
0
0.2
0.4
0.6
0.8
9.02 Aproximao de &e'endre
*uma aproximao pelo m9to"o "o$ m2nimo$ qua"ra"o$ $o!re um
inter&alo finito= 9 :on&eniente uma mu"ana na$ &ariB&ei$ "e mo"o que
e$te $e tran$forme num inter&alo
[ [
1, 1 .
Para o :a$o "e aproximaes de 'egendre= u$ar-$e-o fun/e$ "e
pon"erao unitBria$= i$to 9<

( )
1 = w x >9.3.33?
A$$im= "a equao >9.3.10? $e tem<

( ) ( )
0, = = =
]
b
i k i k i j
a
wp p p p p x p x dx i j >9.3.39?
Intro"uAin"o o$ polin1mio$ "e -egen"re "efini"o$ por<

( ) ( )
( )
2
1
; 1,1 1 ; 0,1,
2 !
= =
n
n
n n
n n
d
p x p x x n
n dx
>9.3.(0?
$ primeiro$ polin1mio$ "e -egen"re $o "a"o$ por<

( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
( ) ( ) ( )
0
1
2
2
3
3
4 2
4
5 3
5
1 1
1
1
3 1
2
1
5 3
2
1
35 30 3
8
1
63 70 15
8
2 1
1 1

=
=
=
=
=
=
k k k
p x
p x x
p x x
p x x x
p x x x
p x x x x
k k
p x xp x p x
k k


FIGURA 9/! &'-IN0MI'% ($ -$G$N(R$

-1 -0.5 0 0.5 1
-1
-0.8
-0.6
-0.4
-0.2
0
0.2
0.4
0.6
0.8
1
Espao de Definies
5 primeiros polinomios de Legendre

L1
L2
L3
L4
L5
-e&an"o >9.3.(0? em >9.3.39?= no inter&alo = apli:an"o-$e o pro:e$$o
"e "eterminao "o$ :oefi:iente$ "o polin1mio interpola"or "a"o por
>9.3.'? ter-$e-B<
..
Como
( )
1 = w x pela equao >9.3.33?= on"e
( )
=
i i
p x <

( )
( )
( )
( )
( )
( )
( )
1
2 2 2
1
2
1
2 1
2
2
2
1
2 ! 2 ! 2 !
1
1
2 ! 2 ! 2 1 !
2 !

'
1
1
= =
1
1
1
1
!
1
1
1
= =
1
1
1
+
]
]
i i i i
i
i
i i
i
w p x dx
i i i
x dx
i i i
i
>9.3.(1?
e

( ) ( )
1
1
2 1
2
=
]
i i
i
a f x p x dx >9.3.(2?
A$$im o polin1mio interpola"or "e Hermite $erB
[ ]
1, 1 +

( ) ( ) ( )
0 0
= =
~ =
_ _
n n
i i i i
i i
f x a x a p x >9.3.(3?
Teorema 1: 4e@a :ont2nua $o!re
[ [
, a b e uma
aproximao polinomial pelo$ m2nimo$ qua"ra"o$ "e em
[ [
, a b
"efini"o por
Teorema 2: 4e@a :ont2nua e 2 &eAe$ "iferen:iB&el em
[ [
1, 1 e
( )
, 0,1, 2,... =
n
Q x n uma aproximao polinomial pelo$ m2nimo$
qua"ra"o$ "e em
[ [
1, 1 "etermina"o por

( ) ( )
( ) ( )
0
1
1
,
, 1, 2, ,
=
'
1
1
=
1
1
1
1
!
1
1
= = 1
1
1
1+
_
]

n
n j j
j
j j
Q x c P x
c P x f x dx j n
>9.3.((?
( )
f x
( )
, 0,1, 2,
n
Q x n =
( )
f x
( )
f x
( )
f x
;nto para to"o
[ [
1, 1 x e qualquer 0
=

( ) ( )

n
f x Q x
n
=
pro&i"o para &alore$ n muito gran"e$.
#emon$trao<

9.03 Aproximao de &a'uerre
5uan"o a aproximao polinomial pelo$ m2nimo$ qua"ra"o$ 9 $o!re um
inter&alo $emi-infinito= 9 :on&eniente tran$formar o inter&alo
[ )
0, por
uma tran$lao "a origem. Hma aproximao freqMentemente u$a"a 9
aquela que u$a :omo funo "e pon"erao<

( )

=
x
w x e >9.3.(,?
n"e 9 uma :on$tante po$iti&a= $ufi:ientemente gran"e "e forma a
garantir a exi$tGn:ia "a integral "o erro qua"rBti:o $o!re o inter&alo $emi-
infinito= quan"o i$$o for po$$2&el.
*e$$e :a$o= utiliAar-$e-B :omo polin1mio ortonormal o$ polin1mio$ "e
-aguerre= "enota"o$ por
( )
k
L x = "efini"o$ por<

( )
( )
=
k
x k x
k
k
d
L x e x e
dx
>9.3.(.?
Cu@a proprie"a"e "e ortogonali"a"e 9<

( ) ( )
0
0,
=
]
x
i j
e L x L x dx i j >9.3.('?
$ primeiro$ polin1mio$ "e -eguerre $o o$ $eguinte$<

( )
( )
( )
( )
( )
( )
( ) ( ) ( ) ( )
0
1
2
2
2 3
3
2 3 4
4
2 3 4 5
5
2
1 1
1
1
2 4
6 16 9
24 96 72 16
120 600 600 200 25
1 2

=
=
=
=
=
=
=
k k k
L x
L x x
L x x x
L x x x x
L x x x x x
L x x x x x x
L x k x L x k L x


FIGURA 9// &'-IN0MI'% ($ -$GU$RR$
A$$im= utiliAan"o e$$e$ polin1mio$ na aproximao por m2nimo$
qua"ra"o$= $e tem<
0 1 2 3 4 5 6 7 8 9 10
-500
0
500
1000
1500
2000
2500
3000
3500
4000
4500
Espao de Definies
5 primeiros Polinomios de Leguerre

L0
L1
L2
L3
L4
L5

( ) ( )
2
2
0 0
1
! !

= = =
] ]
x i k x
i i
e L x dx i x e dx i >9.3.(3?
#e$$a forma= a aproximao polinomial para
( )
f x $o!re
[ )
0, = rele&ante
para a funo "e pon"erao >9.3.(,? 9<

( ) ( )
0
, 0
=
= <
_
n
i i
i
y x a L x x
on"e

( )
( ) ( )
2
0
!
=
]
x
i i
a e f x L x dx
i
>9.3.(9?

9.0! Aproximao de -7eb8s7e
*o$ :a$o$ em que o$ erro$ pr)ximo$ ao$ limite$ "e um inter&alo
[ [
, a b tGm
muita importOn:ia= uma funo "e pon"erao "a forma
( )( )
1 x a x b
9 normalmente apropria"a. 4e= :omo no$ :a$o$ anteriore$= fiAermo$ uma
mu"ana "e &ariB&el "e mo"o que o inter&alo $e@a
[ [
1, 1 a funo "e
pon"erao terB a $eguinte forma<

( )
2
1
1
=
w x
x
>9.3.,0?
Para $e o!ter o$ polin1mio$ ortogonai$ ne$te :a$o= 9 :on&eniente ini:iar
:om a :on"io<

( ) ( ) ( )
( ) ( )
1 1
1
1
2
1
, 0
0
1

= =
= =
]
]
b
i i i i
a
i i
q w x x q x dx
x q x
dx
x
>9.3.,1?
on"e
( )
1 i
q x 9 um polin1mio ar!itrBrio "e grau 1 i ou menor em x .
%aAen"o em >9.3.,1? uma mu"ana "e &ariB&el "o tipo cos = x = a
equao $e tran$forma em<

( ) ( )
1
0
cos cos 0
=
]
i i
q d >9.3.,2?
Agora= :omo uma funo "o tipo cos k 9 expan$2&el :omo um polin1mio
"e grau k em cos= que por $ua &eA= po"e $er expre$$o :omo uma
:om!inao linear "a$ fun/e$ 1, cos , cos 2 , , cos k = $egue que
>9.3.,2? $erB $ati$feita $e e $omente $e

( )
0
cos cos 0, 0,1, , 1
= =
]

i
k d k i >9.3.,3?
J fB:il &erifi:ar que a funo
( )
( )
( )
cos cos =
i i
C i $ati$faA a proprie"a"e
a:ima. 8ran$forman"o-a para a &ariB&el x u$an"o a expre$$o cos = x $e
tem<

( )
( )
1
cos cos

=
i i
x C i x >9.3.,(?
que $o fun/e$ polinomiai$ ortogonai$. 5uan"o em >9.3.,(? 1
i
C = e$$e$
polin1mio$ $o :on6e:i"o$ :omo \polin!mio" de C9e7:"9e(
;
] e $o
"enota"o$ na literatura por
( )
i
T x . A$$im=

( )
( )
1
cos cos
=
i
T x i x >9.3.,,?

9
Pafnut7 -&o&i:6 C6e!7$6e& >1321-139(?
e po$$uem a proprie"a"e "e ortogonali"a"e<

( ) ( )
1
2
1
0,
1
]
i j
T x T x
dx i j
x
>9.3.,.?
$en"o i e j inteiro$ no negati&o$. $ $ei$ primeiro$ polin1mio$ "e
C6e!7$6e& $o<

( )
( )
( )
( )
( )
( )
0
1
2
2
3
3
4 2
4
5 3
5
1
2 1
4 3
8 8 1
16 20 5
=
=
=
=
=
=
T x
T x x
T x x
T x x x
T x x x
T x x x x

;$$e$ polin1mio$ $ati$faAem a $eguinte f)rmula "e re:orrGn:ia<

( ) ( ) ( )
1 1
2 , 1

=
k k k
T x xT x T x k >9.3.,'?

FIGURA 9/2 &'-IN0MI'% ($ +I$B?%I$,

-1 -0.8 -0.6 -0.4 -0.2 0 0.2 0.4 0.6 0.8 1
-1
-0.8
-0.6
-0.4
-0.2
0
0.2
0.4
0.6
0.8
1
Espao de Definies
Os Primeiros Polinomios de Chebshev

T0
T1
T2
T3
T4
T5
#e$$a forma= para uma aproximao polinomial=
( )
n
P x = pelo$ m2nimo$
qua"ra"o$ "e n-9$imo grau "e uma funo
( )
f x $o!re o inter&alo
[ [
1, 1
= :om uma funo pe$o ou "e pon"erao igual a
( )
2
1
1
=
w x
x
= 9
"efini"o por<

( ) ( ) ( )
0
, 1 1
=
=
_
n
n i i
i
P x aT x x >9.3.,3?
on"e

( )
( ) ( )
( )
1
0
2
1
1
2
1
1
1
2
0
1
'
1
1
=
1
1
1
1
!
1
1
1
=
1
1
1+
]
]
i
i
f x
a dx
x
f x T x
a dx i
x
>9.3.,9?
Po"e-$e &er que o erro qua"rBti:o para to"o$ o$ polin1mio$ "e grau igual
ou menor que n 9=

( ) ( )
2
1
2
1
1
l
=
]
n
f x P x
dx
x
>9.3..0?
e ele 9 m2nimo quan"o
( )
n
P x for "a"o por >9.3.,3?.
8am!9m= $e a aproximao "e
( )
f x no $enti"o "o$ m2nimo$ qua"ra"o$
for por um polin1mio $o!re o inter&alo
( )
1, 1 multipli:a"o por
2
1
1x
=
:om uma funo pe$o ou "e pon"erao igual a
( )
2
1 = w x x = 9 "efini"o
por >L $emel6ana "e >9.3.,3? e "e >9.3.,9? a:ima?<

( ) ( ) ( )
0
, 1 1
=
= < <
_
n
n i i
i
P x aT x x >9.3..1?
n"e= ne$te :a$o= $e tem<

( )
( ) ( ) ( )
1
0
1
1
1
1
2
0
'
1
1
=
1
1
1
1
!
1
1
1
=
1
1
1+
]
]
i i
a f x dx
a f x T x dx i
>9.3..2?
Teorema 1: $ polin1mio$ "e C6e!7$6e&
( )
n
T x "e grau 1 n
tem n ra2Ae$ em [ [ 1, 1 = e e$ta$ $o "o tipo<

2 1
cos , 1, 2, ,
2

1
= =

( )

k
k
x k n
n
>9.3..3?
e mai$=
( )
n
T x a$$ume $ue &alor extremo a!$oluto em

( )
( )
cos , 1 , 0,1, ,
= = =

( )

k
k n k
k
x comT x k n
n

$ polin1mio$ "e C6e!7$6e& po"em tam!9m $e apre$entar :omo
\m1ni:o]= que $o polin1mio$ :om o :oefi:iente "o termo "e maior grau
igual L uni"a"e= e $o "enota"o$ por
( )
n
T x <

( )
( )
( )
( )
0
1
1
1
, 1
2

'
1 =
1
1
1
=
1
!
1
1
1
=
1
1
+
n
n
n
T x
T x x
T x
T x n
>9.3..(?
Cu@a$ rela/e$ "e re:orrGn:ia$ $o<

( ) ( ) ( )
( ) ( ) ( )
1
2 1 0 2
1
1 1 4
'
1 =
1
!
1
=
1
+

n n n
T x xT x T x
T x nT x T x
>9.3..,?
#e&i"o ao fato "e que
( )
n
T x 9 um mFltiplo "e
( )
n
T x = o teorema 1 a:ima
impli:a que
( )
n
T x tem ra2Ae$ o:orren"o em
2 1
cos , 1, 2, ,
2

1
= =

( )

k
k
x k n
n
= e o$ &alore$ extremo$ "e
( )
n
T x para
o:orrem em

( )
( )
1
1
cos , , 0,1, ,
2
= = =

( )

k
k n k
n
k
x comT x k n
n
>9.3...?
A $eguir= na %igura 9.2(= plota-$e o$ :in:o primeiro$ polin1mio$ m1ni:o$ "e
C6e!7$6e&<

FIGURA 9/3 &'-IN0MI'% M0NI+'% ($ +I$B?%I$,
1 n
-1 -0.8 -0.6 -0.4 -0.2 0 0.2 0.4 0.6 0.8 1
-0.5
0
0.5
1
Espao de Definies
Os Primeiros Polinmios Mnicos de Chebyshev

T0
T1
T2
T3
T4
T5

Definio: #enota-$e por
n
o :on@unto "e to"o$ o$ polin1mio$
m1nomi:o$ "e grau n .
Teorema 2: $ polin1mio$ "a forma
( )
n
T x :om 1 n tem a
proprie"a"e que

[ [
( )
[ [
( ) ( )
1
1,1 1,1
1
max max ,
2

= H

n n n n
n
x x
T x P x P x >9.3..'?
e mai$= a igual"a"e $) o:orrerB $e
( ) ( )

n n
P x T x .
#emon$trao<

Corolrio: 4e
( )
P x 9 um polin1mio interpola"or "e grau no
mBximo n :om n)$ na$ ra2Ae$ "e
( )
1 n
T x = ento=
[ [
( ) ( )
( )
[ [
( )
( ) ( )
[ [
1 1
1,1 1,1
1
max max , 1, 1
2 1 !

n n
n
x x
f x P x f x f x C
n
>9.3..3?
Lema: Para
[ [
1;1 x $e tem

( ) ( )
( )
1
cos .cos , 0
n
T x n x n >9.3..9?
#emon$trao<
Pelo algoritmo a!aixo "e$en&ol&i"o em Matla!= po"e &er o grBfi:o "a$
fun/e$
( ) ( )
( )
( )
1
cos .cos cos
= =
n
t x n x n = que :ompara"o$ :om o grBfi:o
"a %igura 9.23 &G-$e que $o iguai$<
clear;clc;n=100;m=4;
x =linspace(-1,1,n);
t = zeros(m,n)
for k = 1:m
for i=1:n
t(k,i)=cos(k*acos(x(i)));
end
end
plot(x,t(1,:),'r'), hold on,plot(x,t(2,:),'b'),hold on,plot(x,t(3,:),'g'), hold on,
plot(x,t(4,:),'y'),legend('T1(x)','T2(x)','T3(x)','T4(x)');

FIGURA 9/2B 8 &'-IN0MI'% ($ +I$B%+I$, &'R $J 9C9C!
Como $e po"e u$ar o teorema A a:ima para $e re"uAir o erro "e
interpolao` 4a!e-$e que $e o$ ponto$ "e interpolao
[ [
0
,..., 1;1
n
x x =
ento exi$tem
( )
1;1
n
tal que a "i$tan:ia entre a funo=
( )
f x = :u@o$
&alore$ $e e$tB interpolan"o e a interpolao polinomial
( )
n
P x = 9
[ [
( ) ( )
( )
[ [
( )
( )
[ [
( )
1
1,1 1,1 1,1
0
1
max max max .
1 !

n
n
j
x x x
j
f x P x f x x x
n

-1 -0.5 0 0.5 1
-1
-0.8
-0.6
-0.4
-0.2
0
0.2
0.4
0.6
0.8
1

T1(x)
T2(x)
T3(x)
T4(x)
#e$$a forma $e e$tB intere$$a"o em minimiAar o termo

[ [
( )
1,1
0
max
n
j
x
j
x x .
*ote que
( )
0 =
n
j
j
x x 9 um polin1mio mon1mi:o "e grau 1 n = que pelo
teorema 2= $e tem

[ [
( )
1,1
0
max 2
n
n
j
x
j
x x .
&alor m2nimo "e
2
2
po"e $er o!ti"o $e $i :on$i"erar

( )
( )
2
1
0
2
=
=
n
n j
j
T x x x
que equi&ale a $e e$:ol6er
j
x :omo a$ ra2Ae$ "o polin1mio "e C6e!7$6e&
( )
1 n
T x . *e$te :a$o u$ou-$e o fato )!&io "e que
( )
1
n
T x . Ma$= quai$ $o
a$ ra2Ae$ "o polin1mio "e C6e!7:6e&
( )
1 n
T x ` Pelo -ema a:ima= $a!e-$e
que >equao >9.3..9??<
( ) ( )
( )
1
cos .cos , 0
n
T x n x n . #e$$a forma a$
ra2Ae$ "e
( )
1 n
T x =
0
,...,
n
x x $o o!ti"a$ $e

( )
( )
1
1
1 cos , 0 ,
2

( )
j
n x j j n
A$$im= a$
( )
1 n ra2Ae$ "e
( )
1 n
T x = "enomina"a$ "e pontos de =he)Bshev=
$o a$ $eguinte$<

2 1
cos , 0
2 2

( )
j
j
x j n
n
>9.3.'0?
Po"e-$e interpreter geometri:amente a equao >9.3.'0? "a $eguinte
forma< "efine-$e um Ongulo = nI agora "i&i"e-$e a parte $uperior "o
:ir:ulo unitBrio em 1 n parte$ tal que a$ parte$ que faAem Ongulo :om a
6oriAontal ten6am Ongulo "e 2 e to"a$ a$ "emai$ ten6am Ongulo "e .
$ ponto$ "e C6e!7$6e& $o o!ti"o$ pro@etan"o-$e e$$e$ ponto$ $o!re o
eixo "o$ x >i.e. a "iagonal 6oriAontal?.

Prof. Henrique Mariano C. Amaral 2013-2 pag. 2((
Teorema 3: 4upon"o que
( )
n
P x interpole
( )
f x em
0
,...,
n
x x =
$up/e-$e tam!9m que e$te$
( )
1 n ponto$ $e@am ra2Ae$ "o polin1mio "e
C6e!7$6e& "e grau
( )
1 n =
( )
1 n
T x = i$to 9

2 1
cos , 0
2 2

( )
j
j
x j n
n

;nto= para to"o 1 x = $e tem
[ [
( ) ( )
( )
[ [
( )
( ) ( )
[ [
1 1
1,1 1,1
1
max max , 1, 1
2 1 !

n n
n
x x
f x P x f x f x C
n
>9.3.'1?
DG-$e a$$im que a :on:lu$o "o teorema 2 9 igual ao :orolBrio "o teorema
1= i$to 9= >9.3.'1? 9 exatamente igual a >9.3..3?.

Prof. Henrique Mariano C. Amaral 2013-2 pag. 2(,
Exemplo
4e@a
( ) ( ) [ [
sin , 1;1 = f x x x . A:6e
( )
2
P x que interpole
( )
f x no$
ponto$ "e C6e!7$6e&. %aa a e$timao "o erro :ometi"o.
4oluo<
Como pe"i"o=
( )
2
P x =9 um polin1mio "e grau menor ou igual a 2=
por:on$eguinte ne:e$$ita-$e "e 3 ponto$ "e interpolao. A$$im

( )
3
3
4 3 = T x x x
A$ ra2Ae$ "e
( )
3
T x po"em $er "etermina"a$ por
( )
3 2
4 3 4 3 0 = = x x x x I
a$$im faAen"o en:ontra-$e<
0 1 2
3 3
; 0;
2 2
= = = x x x . A$$im=
ne$$e$ ponto$ "e C6e!7$6e& en:ontra-$e re$pe:ti&amente o$ &alore$ "e
( )
f x <
Prof. Henrique Mariano C. Amaral 2013-2 pag. 2(.

( )
( )
( )
0
1
2
3
sin 0, 4086,
2
0,
3
sin 0, 4086,
2
1

= ~
( )
=
1

= ~
( )
f x
f x
f x

A$ "iferena$ "i&i"i"a$ "e primeira or"em e "e $egun"a or"em $o

[ [
( ) ( )
[ [
( ) ( )
[ [
[ [ [ [
1 0
0 1
1 0
2 1
1 2
2 1
1 2 0 1
0 1 2
2 0
, 0, 4718
, 0, 4718
, ,
, , 0
= ~
= ~
= =
f x f x
f x x
x x
f x f x
f x x
x x
f x x f x x
f x x x
x x

#e$$a forma= o pilinomio interpola"or proxura"o 9<
Prof. Henrique Mariano C. Amaral 2013-2 pag. 2('
( ) ( ) [ [( ) [ [( )( )
( )
2 0 0 1 0 0 1 2 0 1
2
, , ,
0, 4718
=
~
P x f x f x x x x f x x x x x x x
P x x

Plotan"o
( )
f x e
( )
2
P x <
clear;clc; n=99; m=1;
x =linspace(-1,1,n);t = zeros(m,n); f = zeros(m,n);
for k = 1:m
for i=1:n
t(k,i)= 0.4718*x(i);
f(i) = sin(pi*x(i));
end
end
plot(x,f,'r'), hold on,axis on, plot(x,t(1,:),'b'), legend('f(x)','P2(x)')


FIGURA 9/2+ $RR' &'R A&R'=IMA"4'
A e$timati&e "e erro para qualquer &alor "e 1 x =
-1 -0.5 0 0.5 1
-1
-0.8
-0.6
-0.4
-0.2
0
0.2
0.4
0.6
0.8
1

f(x)
P2(x)
[ [
( ) ( )
( )
[ [
( )
( )
( ) ( )
( )
[ [
1
1,1 1,1
3
3 2
1,1
1
max max ,
2 1 !
1
sin 2 max sin( ) 1,291.928
2 3 ! 2 3!

n
n
x x
x
f x P x f x
n
x P x t

!$er&ar que quan"o= num :a$o mai$ geral= o inter&$alo "e interpolao
para funo
( )
f x 9
[ [
; x a b 9 po$$2&el u$ar o$ :on:eito$ anteriore$
:on&erten"o-$e o inter&$alo "e interpolao para
[ [
1;1 y = faAen"o

( ) ( )
2

=
b a y a b
x
I$to :on&erte "e
( )
f x :om
[ [
; x a b em um pro!lema "e interpolao
para
( ) ( )
( )
[ [
, 1;1 = f x g x y y . $ ponto$ "e C6e!7$6e& no inter&alo
[ [
1;1 y = $o a$ ra2Ae$ "o polin1mio "e C6e!7$6e&
( )
1 n
T x = i$to 9=

2 1
cos , 0
2 2

( )
j
j
y j n
n

$ :orre$pon"ent$ 1 n ponto$ "e interpolao no inter&al original
[ [
; x a b = $o

( ) ( )
, 0
2

=
j
j
b a y a b
x j n
A$$im faAen"o= $e tem

[ [
( )
[ [
( )
1
; 1,1
0 0
max max
2

= =
=

n
n n
j j
y a b x
j j
b a
y y x x
5ue pro&o:a um erro "e interpolao "e

( ) ( )
( )
[ [
( )
( )
1
1
;
1
max .
2 1 ! 2

n
n
n
a b
b a
f x P x f
n
>9.3.'2?


9.0% Al'oritmo de -lens7a$
algoritmo "e Clen$6a+ >"e&i"o ao matemBti:o C. C. Clen$6a+= no ini:io
"o$ ano$ ,0 "o $9:ulo ^^? 9 um m9to"o efi:iente "e a&aliar uma funo
"efini"a por uma $oma "e :oefi:iente$ multipli:a"o$ por fun/e$ que
o!e"e:em a uma f)rmula "e re:orrGn:ia<

( ) ( ) ( ) ( ) ( )
0 0 1 1
0

=
= =
_

n n i i
i
P x a x a x a x a x >9.3.'3?
on"e a$ o$ :oefi:iente$
i
a $o in"epen"ente$ "e x e a$ fun/e$
( )
i
x
"e&em o!e"e:er a uma f)rmula "e re:orrGn:ia :on6e:i"a.
4e@a= ento= a $eqMGn:ia "e fun/e$ , 0,1,... =
i
i que $ati$faAem a relao
"e re:orrGn:ia<

( ) ( ) ( ) ( ) ( )
1 1

=
i i i i i
x x x x x >9.3.'(?
5uan"o
( )
P x repre$entar uma aproximao "e uma funo
( )
f x = a $oma
infinita >9.3.'3? "e&e $er trun:a"a em n termo$ tornan"o-$e

( ) ( ) ( ) ( ) ( )
0 0 1 1
0

=
= =
_
n
n n n i i
i
P x a x a x a x a x >9.3.',?
I$$o pro"uA um erro que po"e $er a&alia"o por >9.3.'2?. A$$im faAen"o= o
re$ulta"o "a $oma finita "a"o por >9.3.',? $erB "a"o por

( ) ( ) ( ) ( )
1 0 2 1 1 0 0
=
n
P x x y x y a x >9.3.'.?
on"e

1 1 2
0
1

'

1
1
=
!
1

1+
i
i i i i i
para i n
y
y y a para i n
>9.3.''?
4e@a ento= a!rin"o o$ termo$ "e >9.3.',?<

( )
1 1 2 2
8 8 7 7 6 6 5 5
2 2 1 1 0 0

=
n n n n n n n
P x a a a
a a a v
a a a
>9.3.'3?
Arruman"o >9.3.''? "e forma a e&i"en:iar o termo em
i
a $e tem

1 1 2
, 1

=
i i i i i i
a y y y i n >9.3.'9?
A$$im= $u!$tituin"o-$e >9.3.'9? em >9.3.'3? o!t9m-$e
Prof. Henrique Mariano C. Amaral 2013-2 pag. 2,(

( )
[ [
[ [
[ [
[ [
[ [
[ [
[ [
[ [
1 1 2
1 1 1 1
2 2 1 1 2
8 8 9 9 10 8
7 7 8 8 9 7
6 6 7 7 8 6
5 5 6 6 7 5
2 2 3 3 4 2
1 1 2 2 3 1
0 1 2 1 2 0

l
=
l
l

l

n n n n n n n
n n n n n n
n n n n n n
P x y y y
y y y
y y y
y y y
y y y
y y y
y y y
y y y
y y y
a b y y
>9.3.30?
Prof. Henrique Mariano C. Amaral 2013-2 pag. 2,,
Como = por "efinio= no exi$te
0
y na ultima lin6a "a expre$$o a:ima
:riou-$e um artifi:io $oman"o e $u!train"o o termo
1 2
y . Tearran@an"o a
expre$$o >9.3.30? pelo$ fatore$ "e y= &G-$e que :a"a um "ele$ tem a
$eguinte formao<

1 1 1 2

k k k k k k
y >9.3.31?
$ termo$ entre :6a&e por :onta "a f)rmula "e re:orrGn:ia >9.3.'(? teem
&alor nuloI a$$im= por $imilari"a"e to"o$ o$ termo$ em y $o nulo$ :om
ex:e$$o "e
0 1
, a y e
1 2
y = logo a $oma
( )
n
P x po"e $er :al:ula"a por
>9.3.'.?<

( ) ( ) ( ) ( )
0 0 1 0 2 1 1
=
n
P x a x x y x y
;$te 9 a f)rmula "e re:orrGn:ia "e Clan$6a+.
algoritmo "e Clen$6a+= !a$ea"o na teoria a:ima= a $eguir apre$enta"o
utiliAa a f)rmula "e re:orrGn:ia "o$ polin1mio$ "e C6e!$6e& >9.3.,'? para
Prof. Henrique Mariano C. Amaral 2013-2 pag. 2,.
realiAar a interpolao polinomial "e
( )
1 n ponto$
( )
( )
,
i i
x f x :om
< 9.3..1? on"e o$ :oefi:iente$
i
a $o "a"o$ por<
( ) ( )
1
1
1 0
,
2 0 1
=
'
=
1
1
= =
!
1

1+
_
n
i
i j i j i
j
quando i
b
a h t T t com b
quando i n
>9.3.32?
$
( )
1 n ponto$
( )
( )
,
i i
x f x :om < :omo &i$to mai$ a:ima?

( )
( ) ( )
( )
( )
2 2
'

1
1
= =
1
1
!
1
1
=
1
1+
b a b a
x q t t
f x f q t h t
W
Para u$ar >9.3.32? $e tem

( )
1
2
cos , 1, , 1
1
= =

( )

j
j
t j n
n
>9.3.33?
Prof. Henrique Mariano C. Amaral 2013-2 pag. 2,'
#e$$a forma o algoritmo "e Clen$6a+ tem a $eguinte forma<
Faa =
n n
d c ;
Faa
1 1
2

=
n n n
d tc c
Para 2, 1,..., 0, = i n n
Faa
1 2
2

=
i i i i
d td d c
Fim para
Faa
( )
0 1
=
n
y t d td

4e $i trun:ar a $oma e$ta!ele:i"a em >9.3.,3? em < m n o$ :oefi:iente$
:al:ula"o$ por >9.3.32? ter-$e-B uma aproximao polinomial in:ompleta=
poi$ :ertamente o polin1mio o!ti"o no pa$$arB pelo$
( )
1 n ponto$ "a"o$
( )
( )
,
i i
x f x .

9.0( Aproximao por Fun)es 9ri'onom:tri5as
Definio 1: #iA-$e que
( )
n
S x 9 uma soma trigonom;trica "e
or"em no maior que n = $e

( ) ( ) ( )
( )
0
1
1
cos sin
2
=
=
_
n
n k k
k
S x a a kx b kx >9.9.1?
$ :oefi:iente$
k
a e
k
b $o nFmero$ reai$. H$an"o a funo exponen:ial
( ) ( )
( )
( )
( )
( )
1
cos
2
cos sin
sin
2

'
1
1
=
1
1
1
=
!
1

1
=
1
1
1+
i i
i
i i
e e
e i
i
e e
>9.9.2?
on"e
2
1 = i I "e$$a forma po"e-$e ree$:re&er >9.9.1? "a $eguinte
maneira<

( )

=
=
_
n
ikx
n k
k n
S x c e >9.9.3?
;m >9.9.3? $e tem
0
0
2
a
c = =
( )
1
2
k k k
c a ib = = e
( )
1
2
k k k k
c a ib c
= = para
to"o$ o$
( )
1, , = k n .
Teorema 1: >Ceir$tra$$?. 4e@a
( )
f uma funo :ont2nua
$o!re
[ [
, e peri)"i:a :om per2o"o 2. ;nto para qualquer 0
exi$te um
( )
= n n e uma $oma trigonom9tri:a
( )
n
S = tal que
( ) ( )
<
n
f S para to"o e qualquer .
4e@a ento o pro!lema "e interpolao= quan"o o$ ponto$ "e interpolao
e$to igualmente e$paa"o$. *e$te :a$o 9 relati&amente fB:il "eterminar a
$oma trigonom9tri:a a qual= $o!re o$ ponto$ "a"o$ tGm o$ &alore$
apropria"o$. A$$im= $e@a
( )
f x uma funo :ont2nua "e per2o"o e a
$eguinte :on&eno<
( )
1
2
=
=
=
_
_
n
n
j j n n
j n
j n
a a a a
2
Agora= $e po"e e$:re&er a $eguinte $oma trigonom9tri:a $o!re o inter&alo
<
( )
=
=

_
n
ijx
n j
j n
S x c e >9.9.(?
8oman"o $o!re 2 1 n ponto$ igualmente e$paa"o$<
, 0, 1, 2, , ,

= = =
k
x kh k n h
n
>9.9.,?
o pro!lema "e interpolao $e re$ume em $e "eterminar o$ :oefi:iente$
j
c
tal que<

( ) ( )
, 0, 1, 2, , = =
n k k
S x f x k n >9.9..?
#e$$a forma=
( )
f x e
( )
n
S x tGm per2o"o igual a 2 e mai$=
( ) ( )
=
n n
f x f x
e
( ) ( )
=
n n n n
S x S x que forne:e apena$ 2n :on"i/e$ in"epen"ente$ em
[ ]
,
[ ]
,
>9.9..? para "eterminar o$ :oefi:iente$
k
c . Para $e $olu:ionar e$te
pro!lema= $e@a a :on"io<

=
n n
c c >9.9.'?
uma :on"io extra= "e mo"o que $e ten6a agora :on"i/e$ para $e
"eterminar o$ :oefi:iente$.
Po"e-$e mo$trar !a$ea"a na $oma "e $9rie$ geom9tri:a$= que<

( )
( )
0 mod2
2 mod2
=
'
1
1
=
!
1

1
+
_
k k
n
ijx imx
k n
se j m n
e e
n se j m n
>9.9.3?
DG-$e que= analogamente L$ fun/e$ ortogonai$= a$ quanti"a"e$

j
ikx
e $o
ortogonai$ em relao L $omat)ria
=
_
n
j n
. A$$im= $e em >9.9.(? $i fiAer
=
k
x x e multipli:an"o am!o$ o$ la"o$ "e$$a expre$$o por
k
imx
e e
2 1 n +
2 1 n +
2 1 n +
$oman"o :om relao a k para $e a:6ar utili"a"e para a expre$$o >9.9.3?=
$e tem<

( )
2
2
2

= = =
= =
=
=
'
< 1
1
1
1
=
1
!

1
=
1

( )
1
1+

_ _ _

_ _
k k k
k k
n n n
imx imx ijx
m k j
k n k n j n
n n
ijx imx
j
k n j n
m
n n
e S x e c e
c e e
nc se m n
c c
n se m n

Apli:an"o >9.9..? e >9.9.'? "etermina-$e que<

( )
1
, 0, 1, 2, ,
2
=
= =
_

k
n
ijx
j k
k n
c f x e j n
n
>9.9.9?
4e $i "efinir no&o$ :oefi:iente$

( )
0,1, ,
'
=
1
1
1
=
!
1
=
1
1+
j j j
j j j
c c
j n
i c c

a expre$$o >9.9.(? $e tran$formarB em<

( ) ( ) ( )
1
1
0 2
1 1
cos sin
= =
=
_ _
n n
n j j
j j
S x jx jx >9.9.10?
H$an"o a expre$$o >9.9.9?= &G-$e que o$ :oefi:iente$
j
e
j
$o nFmero$
reai$ "a"o$ por<

( ) ( )
( ) ( )
1
cos , 0,1, .
1
sin , 0,1, . 1
=
=
= =
= =
n
j k k
k n
n
j k k
k n
f x jx j n
n
f x jx j n
n
>9.9.11?
Prof. Henrique Mariano C. Amaral 2013-2 pag. 2.(
A$ equa/e$ a:ima >9.9.10? e >9.9.11? e$ta!ele:em a forma "a interpolao
trigonom9tri:a e no $e apli:a para :Bl:ulo$ em aritm9ti:a "o$ nFmero$
:omplexo$.
Teorema 2: 4e@a
( )
f uma funo par :om per2o"o 2 e :om
"eri&a"a $egun"a :ont2nua $o!re
[ [
, . ;nto a $oma "e interpolao
trigonom9tri:a
( )
n
S "a"a na forma<

( ) ( )
( ) ( )
1
0 2
1
0
cos
2
cos , 0,1, ,
1

=
=
=
= =
_
_

n
n r
r
n
r j j
j
S r
f r r n
n

$ati$faAen"o L :on"io
( ) ( )
, 0,1, , =
n k k
S f j n em ponto$
igualmente e$paa"o$ >
( )
0
, 1 = ^ ^ =
k
k n ? e :on&erge
uniformemente quan"o n para
( )
f $o!re o inter&alo I i$to 9<
[ ]
,
Prof. Henrique Mariano C. Amaral 2013-2 pag. 2.,

( ) ( )
1
,
1
( )
n
f S
n
O
Definio 2: 4e
( )
f x funo :om per2o"o 2 9 qua"ra"o
integrB&el $o!re
10
= ento $e po"e en:ontrar uma $oma "e
interpolao trigonom9tri:a
( )
n
S x na forma >9.9.1? para a qual<

( ) ( )
1
2
2
2
l

=

l

( )
]
n n
f S f x S x dx >9.9.12?
9 um m2nimo :om relao a to"a$ a$ "i&er$a$ $oma$ po$$2&ei$.
;$$a forma "efine uma funo qua"rBti:a "e 2 1 n &ariB&ei$<

10
4e o per2o"o "a funo
( )
f x for outro que no 2= por exemplo= -= ento $e po"e faAer a mu"ana "e &ariB&el "a $eguinte forma<
2 / = x L= re$ultan"o numa funo
( ) ( )
/ 2 = g f L que tem per2o"o igual a .
[ ]
,
2
Prof. Henrique Mariano C. Amaral 2013-2 pag. 2..

( )
2
0 1 1
2
, , , , , , =
n n n
J a a a b b f S
que po"e $er minimiAa"a. A$ fun/e$ trigonom9tri:a$ que $ati$faAem a$
rela/e$ "e ortogonali"a"e $o<

( ) ( )
( ) ( )
( ) ( )
0,
cos cos
, 0
0,
sin sin
, 0
sin cos 0
'
'
1
1
1
1
=
!
1
1
1
=
1 1+
1
1
'
1
1
1
!
=
!
1
1
1 =
1+
1
1
1
1
=
1
1
+
]
]
]
j k
jx kx dx
j k
j k
jx kx dx
j k
jx kx dx
>9.9.13?
H$an"o >9.9.13? no $i$tema normal o!ti"o pela minimiAao "e >9.9.12?=
en:ontra-$e<
Prof. Henrique Mariano C. Amaral 2013-2 pag. 2.'

( ) ( )
( ) ( )
1
cos
1
sin
'
1
1
=
1
1
1
1
!
1
1
1
=
1
1
1+
]
]
k
k
a kx f x dx
b kx f x dx
>9.9.1(?
Po"e-$e afirmar agora que a expre$$o >9.9.1? :om o$ :oefi:iente$ "a"o$
por >9.9.1(? "eterminam a mel6or aproximao "e or"em n >pelo$
m2nimo$ qua"ra"o$? para
( )
f x .
*o :ap2tulo 2 $e po"e e$tu"ar o :omportamento "a$ $erie$
trigonom9tri:a$ e "e %ourier
11
.

11
Ro$ep6 %ourier >1'.3-1330?
%inalmente= toman"o $erie$ "o tipo >9.9.1?<
( ) ( ) ( )
1
0 2
1
cos sin
=
l
=
l
_
n
n j j
j
S x a jx b jx :om :oefi:iente$ "a"o$ por
>9.9.1(?= po"e-$e ree$:re&er a$ equa/e$ >9.9.11? no$ ponto$
k
x "a"o$ por
>9.9.,? "a $eguinte forma<
( ) ( ) ( ) ( )
( )
( ) ( ) ( ) ( )
( )
1 1
1
1
1 1
1
1
cos cos
1
2
sin sin
1
2
=
'
1
1
1
=
1

1

( )
1
1
!
1
1
1
=

1
( )
1+
_
_
n
k k k k
j k k
k n
n
k k k k
j k k
k n
jx f x jx f x
x x
jx f x jx f x
x x
>9.9.1,?
*a$ expre$$/e$ a:ima $e &G que quan"o n $e tem
1
0
=
k k
x x
n

que faA :om que >9.9.1,? :on&ir@a para >9.9.1(?= i$to 9=
( ) ( )
, ,
j j j j
a b e
a $oma interpola"ora trigonom9tri:a >9.9.10? :on&erge= formalmente= para
a $9rie "e %ourier<

( ) ( )
1
0 2
1
cos sin
=
l

l
_ j j
j
a a jx b jx >9.9.1.?
:om

( )
( ) ( )
( ) ( )
( ) ( )
0
1
1
1
1
1
2
1
cos , 0,
1
cos
2
1
sin
=
=
=
=
'
1
1
=
1
1
1
1
1
1
1
=
1
1
1
!
1
1
=
1
1
1
1
1
1
1
=
1
1
1+
_
_
_
_
n
k
k n
n
k k k
k n
n
n k k
k n
n
k k k
k n
a f x
n
a kx f x k N
n
a nx f x
n
b kx f x
n
>9.9.1'?

Exemplo
A@u$tar o$ "a"o$ apre$enta"o$ na ta!ela a!aixo= pela aproximao
trigonom9tri:a<
x
- -3S( -S2 -S(
0
S( S2 3S( [
f>x? ,( 1(, 22' 3,9 (01 3(2 2,9 112 .,
H$an"o a ferramenta "o Matla!= utilitBrio cftool= $e tem<

FIGURA 9/5 A&R'=IMA"4' &'R (I,$R%'% MK)'('%

FIGURA 9/7 A*U%)$ (A% +UR,A% $ R$%I(UAI%
utra forma "e apre$entao "a$ $erie$ "e %ourier 9 aquela em que $e
tGm fun/e$ peri)"i:a$ repre$enta"a$ por um per2o"o T #e uma forma
:ont2nua= a $9rie 9 $imilar a >9.9.1.?<

( )
( ) ( )
( ) ( )
( )
( ) ( )
0 1 0 1 0
2 0 2 0
0 0 0
1
cos sin
cos sin ...
cos sin

=
=

l
=
l
_ k k
k
f t a a t b t
a t b t
f t a a t b t
>9.9.13?
on"e a fre:Cncia fundamental 9
0
2 / = T "a"a em ( ) / radianos tempo I
$eu$ mFltiplo$ 2 , 3 , $o "enomina"o$ "e harm"nicos. $
:oefi:iente$ "e >9.9.13? $o<

( )
0
0
1
=
]
T
a f t dt
T
>9.9.19?

( )
( )
0
0
2
cos =
]
T
k
a f t k t dt
T
>9.9.20?

( )
( )
0
0
2
sin =
]
T
k
b f t k t dt
T
>9.9.21?

Prof. Henrique Mariano C. Amaral 2013-2 pag. 2'(
Exemplo
Aproximao "e uma funo por $9rie "e %ourier. #a"a a funo

( )
0, para x<0
1, para 0<x<
1, para <x<2
0, para x>2
'
1
1
1
1
1
=
!
1
1
1
1
1
+
f x
a:6e a $9rie "e %ourier que o aproxime. *ote que a freqMGn:ia
fun"amental ne$te :a$o 9
0
2 / 2 / 2 1 = = = T .
$ :oefi:iente$ "a $9rie $o< pela$ f)rmula$ >9.9.19? e >9.9.20? &erifi:a-$e
que 0, =
k
a k e pela f)rmula >9.9.21? $e en:ontra 0, = =
k
b k par e
4 , = =
k
b k k impar . A$$im a equao que emerge "a $9rie "e %ourier 9<

( ) ( ) ( ) ( )
4 1 1
sin sin 3 sin 5
3 5
1

( )
f x x x x
Prof. Henrique Mariano C. Amaral 2013-2 pag. 2',
A!aixo >%igura 9.23? $e traa o$ grBfi:o$ "a funo e "a $erie "e %ourier
para 2= 3= (= , e 20 termo$<

FIGURA 9/< %$RI$ ($ F'URI$R +'M /6 26 365 /E )$RM'%
0 2 4 6
-1
-0.5
0
0.5
1
x = 0:2
0 2 4 6
-1
-0.5
0
0.5
1
2 termos
0 2 4 6
-1
-0.5
0
0.5
1
3 termos
0 2 4 6
-1
-0.5
0
0.5
1
4 termos
0 2 4 6
-1
-0.5
0
0.5
1
5 termos
0 2 4 6
-1
-0.5
0
0.5
1
20 termos
Prof. Henrique Mariano C. Amaral 2013-2 pag. 2'.
Exerc6cio
#a"o$ o$ ponto$ ( ) , x y :om
( )
= y f x :on6e:i"a. 4e@a ento a@u$tar o$
ponto$ a uma funo repre$enta"a pela $9rie "e %ourier :om 3 termo$. $
ponto$ na a!$:i$$a o!e"e:em L $eguinte regra "e re:orrGn:ia<
0,1,...,9
5
=
=
j
j
x . Como o$ ponto$ "a"o$
0, 0.2, 0.4, 0.6, 0.8, 1.0, 1.2, 1.4, 1.6, 1.8 no $e en:ontram no inter&alo
[ [ , = pre:i$a-$e faAer uma tran$formao linear que faa o$ me$mo$
$ati$faam ao inter&alo :ita"o. A$$im= faAen"o a $eguinte relao entre o$
ponto$ "a"o$ e o$ ponto$ tran$forma"o$=
( )
1 =
j j
z x e$te$ Fltimo$
pa$$am "a forma original para a forma tran$forma"a , 1
1
1

( )
( )
j
j
z
z f
:om 0,1, 2, ,9 = j . Po$teriormente "etermine o &alor "a $erie "e %ourier
( ) , x y
Prof. Henrique Mariano C. Amaral 2013-2 pag. 2''
no$ ponto$ x=[0.125 0.375 0.625 0.875 1.125 1.375 1.625 1.875] e :al:ule o erro a!$oluto
( ) ( )
=
n
erro f x S x .
#e$en&ol&er um programa em Matla! para $olu:ionar o pro!lema.

9.0+ Aproximao ;xponen5ial
;m :erta$ $itua/e$ 9 "e$e@B&el $e "eterminar uma aproximao "o tipo<

( )
1 2
1 2
~
n
a x a x a x
n
f x Ce C e C e >9.10.1?
%aAen"o uma mu"ana "e &ariB&el "a forma =
k
a
k
e = >9.10.1? $e
tran$forma em<

( )
1 1 2 2
~
x x x
n n
f x C C C >9.10.2?
Por 6ip)te$e= $e@a o$ ponto$ "e
( )
f x "a"o$ $o!re N ponto$ igualmente
e$paa"o$= "e mo"o que $e po$$a= por uma mu"ana "e &ariB&el= $e ter o$
ponto$ "a"o$ :omo 0,1, , 1 = x N . A$$im= apli:an"o e$$e$ &alore$ "e x
em >9.10.2? $e tem a$ $eguinte$ equa/e$<
1 2 0
1 1 2 2 1
2 2 2
2 1 2 2 2
1 1 1
1 1 2 2 1

=
=
=
=
n
n n
n n
N N N
n n N
C C C f
C C C f
C C C f
C C C f
>9.10.3?
que ne:e$$ariamente "e&e $ati$faAer a >9.10.2?.
4e a$ :on$tante$
1
, ,
n
forem :on6e:i"a$ ou pr9-e$ta!ele:i"a$= o
$i$tema a:ima :om N equa/e$ po"erB $er re$ol&i"o e "eterminar a$
in:)gnita$
1
, ,
n
C C $e = N nI $e N n ento $e po"e re$ol&er o $i$tema=
"e forma aproxima"a= pelo m9to"o "o$ m2nimo$ qua"ra"o$.
*o :a$o mai$ geral= a$ :on$tante$ pre:i$am tam!9m $er
"etermina"a$I "e$$a forma ne:e$$ita-$e "e 2n equa/e$ e a$ "ifi:ul"a"e$
:on$i$tem "e que a$ equa/e$ $o no-lineare$ em .
1
, ,
n

Para $olu:ionar tal pro!lema= "e$:re&er-$e-B a $eguir o "enomina"o
)*todo de +ron:.

9.0/ 2:todo de Pron8
;$te m9to"o :on$i"era que $o a$ ra2Ae$ "a equao alg9!ri:a<

( )( ) ( )
1 2
1 2 1
1 2
0
ou
0

n n n
n n
n
>9.10.(?
Para $e "eterminar o$ :oefi:iente$
1 2
, , ,
n
multipli:a-$e a primeira
equao "e >9.10.3? por
n
= a $egun"a por
1
n
e a$$im $u:e$$i&amente.
!$er&ar que a
( )
1 n 9$ima equao "e&e $er multipli:a"a por
1
e a
nZ9$ima equao por 1. Ap)$ i$$o $e "e&e $omar a$ equa/e$= "on"e $e
o!t9m<

1 1 0
0
=
n n n
f f f >9.10.,?
Agora $e :on$tr)i 1 N n equa/e$ lineare$ "e forma $imilar= "a
$eguinte maneira<
1
, ,
n


1 1 2 2 0
1 1 1 2 1
1 2 1 3 2 1
0
0
0

=
=
=
n n n n
n n n n
N N N N n n
f f f f
f f f f
f f f f
>9.10..?
Hma &eA que a$ or"ena"a$
k
f $o :on6e:i"a$= e$te :on@unto "e equa/e$
po"e $er re$ol&i"o "iretamente para o$ n s $e 2 = N n= ou re$ol&i"o
aproxima"amente pelo m9to"o "o$ m2nimo$ qua"ra"o$ $e 2 N n.
Ap)$ a "eterminao "o$ s = o$ &alore$
1
, ,
n
$ero "etermina"o$
:omo a$ ra2Ae$ "e >9.10.(? que po"em $er tanto reai$ :omo :omplexa$.
#e$$a forma a$ equa/e$ >9.10.3? $e tornam lineare$ :om n in:)gnita$ C s
= e a$$im po"em $er "etermina"a$.
Muita$ &eAe$ mo"ifi:a/e$ ne$$e pro:e"imento $o ne:e$$Bria$ quan"o
:erto$ ou forem pre$:rito$I quan"o i$$o a:onte:e 9 pre:i$o primeiro
$ati$faAG-lo$ para "epoi$ $e apli:ar o m9to"o "o$ m2nimo$ qua"ra"o$. A
$ituao mai$ :omum 9 aquela na qual 9 :on6e:i"a a ten"Gn:ia "e
( )
f x
quan"o x . A aproximao >9.10.1? 9 apropria"a= na qual 9 e$pera"o
que o$ a s ten6am parte real negati&a. A$$im= a aproximao >9.10.1?
impli:a em=

( )
1
' '
1
^ ~
n
a x a x
n
f x Ce C e >9.10.'?
on"e o$ :oefi:iente$
'
k
C $o :on$tante$ "e$:on6e:i"a$ que $o
rela:iona"a$ :om a in:)gnita$
k
C = a$ equa/e$ >9.10..? pre:i$am $er
mo"ifi:a"a$= ne$te :a$o= tro:an"o :a"a
k
f pela "iferena
1
^ =
k k k
f f f =
ap)$ o que a$ in:)gnita$ s e s po"em $er "etermina"a$ :omo
anteriormente.
A$ equa/e$ >9.10.3? $o mo"ifi:a"a$ pela in$ero "e uma in:)gnita
0
C
no$ mem!ro$ "o la"o e$quer"o. A$$im= $ero requeri"o$= no m2nimo=
2 1 = N n "a"o$ in"epen"ente$ para a "eterminao "o$ C s .

Exemplo
4e@a a ta!ela a $eguir :om &alore$ "e uma funo
( )
f x <
x 0 1 2 3 (
f>x? 2=((00 2=03,1 2=19,3 2=2.92 2=300.
que $ati$faAem exatamente a equao
( )
2
2,32 1, 08 1, 20

=
x x
f x e e .
4e a$ or"ena"a$ forem arre"on"a"a$ ar!itrariamente para 2 :a$a$
"e:imai$= a$ "iferena$ "o$ &alore$ arre"on"a"o$ $o<

01 0
12 1
23 2
34 3
0, 35
0,11
0, 07
0, 03
^ =^ =
^ =^ =
^ =^ =
^ =^ =
f f
f f
f f
f f

; a equao >9.10..? :om o$
k
f tro:a"o$ por ^
k
f $e tran$forma em<

1 2
1 2
0, 07 0,11 0, 35 0
0, 03 0, 07 0,11 0

=
=
>9.10.3?
"on"e $e po"e tirar<

1 2
91 8
0, 497; 0, 0437
183 183
= = = =
A$$im= a equao >9.10.(? $e torna<

2
183 91 8 0 =
:u@a $oluo forne:e
1 2
0,383; 0,114 . #e$$a forma a equao
a@u$ta"a para o$ "a"o$ forne:i"o$ 9<

( ) ( ) ( )
0 1 2
096 2,018
0 1 2
0, 383 0,114

~
~
x x
x x
f x C C C
C C e C e
>9.10.9?
Agora 9 po$$2&el "eterminar o$ :oefi:iente$
k
C apli:an"o a equao
>9.10.9? em 3 ponto$= ou ain"a u$an"o o m9to"o "o$ m2nimo$ qua"ra"o$
$o!re , ponto$. Apli:an"o a equao= $upra:ita"a= no$ ponto$
0; 2; 4 = = = x x x $e tem >u$an"o o Mat6:a"?<

f x C0 , C1 , C2 , ( ) C0 C1 e
0.96 x
+ C2 e
2.18 x
+ :=
f 0 C0 , C1 , C2 , ( ) C0 C1 + C2 +
f 2 C0 , C1 , C2 , ( ) C0 .14660696213035013715 C1 + .12778387649535764892e-1 C2 +
f 4 C0 , C1 , C2 , ( ) C0 .21493601345089919226e-1 C1 + .16328719092180817015e-3 C2 +
B
1
1
1
1
.14660696213035013715
.21493601345089919226e-1
1
.12778387649535764892e-1
.16328719092180817015e-3
:=
D
2.4400
2.1958
2.3006
:=
C B
1
D :=
C
2.321
0.945
1.064
=
F x ( ) 2.32 1.08 e
x
1.20 e
2 x
+ :=
2 0 2 4 6 8 10
2
2.2
2.4
2.6
2.8
F x ( )
f x ( )
x
!FIGURA 9/C A&R'=IMA"4' $=&'N$N+IA-

f x ( ) C
0
C
1
e
0.96 x
+ C
2
e
2.18 x
+ :=
9.09 Diferen5iao #um:ri5a
%.&%.& (eral
A "iferen:iao num9ri:a $e !a$eia na teoria "a$ "iferena$ finita$ expo$ta
anteriormente e que aqui $erB utiliAa"a e lem!ra"a no que for pertinente.
#e&e-$e tam!9m e$tar atento ao :onteF"o apre$enta"o no t)pi:o 9.2.
4e@a ento uma funo
( )
, = u u x t "e "ua$ &ariB&ei$ in"epen"ente$. A$
primeira$ "eri&a"a$ par:iai$ "e u $o "efini"a$ :omo o$ limite$ "o
quo:iente "a$ "iferena$<

( )
( ) ( )
( )
( ) ( )
0
0
, ,
( , )
, lim
, ,
( , )
, lim

0
= =
0

0
= =
0
x
x
t
t
u x x t u x t
u x t
u x t
x x
u x t t u x t
u x t
u x t
t t

Con$i"eran"o que x e t $o pequeno$= po"e-$e faAer a $eguinte
aproximao<

( )
( ) ( )
( )
( ) ( )
, ,
,
, ,
,

~

~
x
t
u x x t u x t
u x t
x
u x t t u x t
u x t
t
>9.11.1?
erro intro"uAi"o :om e$$a aproximao 9 "enomina"o "e \erro de
truncamento] e 9 to pequeno quanto forem pequeno$ o$ in:remento$
e o forem= e "epen"em "o :omportamento "a funo u no ponto
( )
, x t
e em $ua &iAin6ana. Como @B &i$to= o re$2"uo >erro "e trun:amento? po"e
$er a:6a"o u$an"o $erie "e 8a7lor. A$$im faAen"o= en:ontra-$e<
( )
( )
( )
( )
( ) ( )
1
1
1
0 0
1
0
1 !
1 ( , )
,
1 ! 1 ! !

0
=
0 0
_
n
n
n j j
n
n j j
j
n
u
R x t x x t t
n n j j x t
>9.11.2?
x
t
n"e
n
R 9 o erro "e trun:amento quan"o apli:a"a a aproximao em
( )
0 0
, u x t = :om x entre x e
0
x = e t entre t e
0
t = "e mo"o que= ne$$a
&iAin6ana $e po$$a repre$entar
( )
, u x t "a $eguinte forma<

( ) ( ) ( )
, , , =
n n
u x t P x t R x t >9.11.3?
Exemplo
4e@a "e$en&ol&er o polin1mio "e 8a7lor "e 3U grau para a funo
( ) ( )
, sin 2 = u x t x t em torno "o ponto
( )
, 0 .
A$$im= pro:e"en"o "a forma @B :on6e:i"a= $e tem<
( ) ( ) ( ) ( )
( ) ( )
( ) ( )
( )
3
2 2 2
2
2
2 2
3 3
3 2
3 2
3 3
2 3
2 3
( , 0) ( , 0)
, , 0 0
1 ( , 0) ( , 0) ( , 0)
2
2!
( , 0) ( , 0)
3
1
3!
( , 0) ( , 0)
3

0 0
=
0 0
l
0 0 0
l

l
0 0 0 0
l
l
0 0
l

l
0 0 0
l
l
0 0
l

l
0 0 0
l
u u
P x t u x t
x t
u u u
x x t t
x x t t
u u
x x t
x x t
u u
x t t
x t t

Te$ol&en"o :a"a "eri&a"a par:ial no ponto
( )
, 0 $e tem<
( ) ( ) ( ) ( ) ( )
3 2
2 3
3
1
, 2 8 3 4 3 2
6

l
=
l
l
P x t x t x x t x t t
Derifi:an"o-$e a aproximao "e
( )
3
, P x t para a funo "a"a
( ) ( )
, sin 2 = u x t x t = para o ponto
( )
0, 05, 0 0, 03 $e tem<

( )
( )
( )
3
0.05, 0, 03 0,1296338
sin 2 0.05 0.03 0.1296341
=
=
P

%.&%.) Diferencia5o baseada em +peradores
Ka$ea"o na teoria "a$ "iferena$ finita$ $e po"e e$ta!ele:er um :on@unto
"e opera"ore$ alg9!ri:o$ que= por :omo"i"a"e= $e "efine :omo agin"o
$o!re o e$pao "a$ fun/e$
( )
,
C = i$to 9= a$$ume-$e que a$ fun/e$

$e@am infinitamente "eri&B&ei$ $o!re

, \= <
P;TA#T #;4CTIab
( ) ( )
( )
( )
; = =
k
Ef x f x x E f x f x k x
#;4-CAM;*8
( ) ( ) ( )
^ = f x f x x f x #I%;T;*aA PATA %T;*8;
( )
( )
( )
= =
df x
Df x f x
dx

#I%;T;*CIAab
( )
1 1
2 2

1 1

=

( ) ( )
f x f x x f x x
#I%;T;*aA C;*8TA-
P;TA#T #;4CTIab
( )
1 1 1
2 2 2

l
1 1

l
=

l
( ) ( )
l
f x f x x f x x
MJ#IA
( ) ( ) ( )
\ = f x f x f x x #I%;T;*aA PATA 8Tc4

;$$e$ opera"ore$= "e forma gen9ri:a= tGm a$ $eguinte$ proprie"a"e$<
4e@am P e Q "oi$ opera"ore$ quai$quer= f e g fun/e$ quai$quer e ,
e$:alare$= ento<
i.
( )
= P f g Pf Pg
ii.
( )
= P Q f Pf Qf
iii.
( ) ( )
= PQ f P Qf
i&.
( ) ( )
= P f Pf
&. =
n
P f P P Pf = > n fatore$?
&i.
( ) ( )
=
=
P Q Q P
P Q R P Q R

&ii.
( )
= P Q R PQ PR
&iii. , = = P Q Pf Qf f
ix.
1
0
1
=
=
n n
P P P
P

x.
1 1
1

= = P P P P
Po"e-$e notar que o$ opera"ore$ , , , ^ \ D re"uAem o grau "e qualquer
polin1mio= e mai$= a$ $eguinte$ rela/e$ $o &er"a"eira$<
i. ( ) ( )
( )
0
1 1 1 1
=
1
^= =^ = = ^=

( )
_
n
k i
n i
k
i
n
E E E E
i

ii.
( )
1 1
1 1 1 1

= \=\= \ = E E E
iii.
( )
( )
1
1 1 1
2
2 2 2
1
2
2
1 1
4 2
2
2
1 1
2 4
1
1

= = =
=
E E E
E

i&.
( ) ( )
1
1 1
2
2 2
1
2
2
1 1
2 4
1
2
1
0

= =
=
E E
E

Ka$ea"o na$ expre$$/e$ a:ima $e &G que o termo
1
1\
po"e $er
interpreta"o :omo repre$entan"o o in&er$o "o opera"or
( )
1\ = i$to 9=
uma notao alternati&a para o opera"or
( )
1
1

\ = tal que<

( )( )
1
1 1 1
\ \ = >9.11.(?
4upon"o que a funo para a qual o opera"or "e&e $er apli:a"o $e@a
repre$enta"a por um polin1mio
( )
p x "e grau n = po"e-$e o!ter uma
interpretao mai$ Ftil "e$te opera"or. 4e@a ento t uma &ariB&el= ento<
( )
( )
2 1
1 1 1

=
n n
t t t t t
;nto= tro:an"o a &ariB&el t pelo opera"or \ >ou por $2m!olo
repre$entan"o qualquer opera"or "i$tri!uti&o?= $e tem<

( )
( )
2 1
1 1 1

\ \\ \ = \
n n
>9.11.,?
Como o opera"or
1
\
n
anula
( )
p x = o opera"or "a expre$$o >9.11.,? 9
equi&alente ao opera"or unitBrio para to"o e qualquer
( )
p x "e grau
menor ou igual a n . Como o in&er$o "e
( )
1\ 9 uni:amente "efini"o por
>9.11.(?= po"e-$e e$:re&er<

( )
1
2
1 1
\ = \\ \
n
>9.11..?
NeneraliAan"o= para to"a e qualquer :la$$e "e polin1mio$= $e tem<

( )
1
2
0
1 1
=
= \ = \\ \ = \
_
n i
i
E >9.11.'?
on"e o$ expoente$ "e \ no po"em ultrapa$$ar o grau "o polin1mio.
Agora= para $e o!ter a$ f)rmula$ "e "iferen:iao num9ri:a= por m9to"o$
opera:ionai$= 9 ne:e$$Brio rela:ionar o opera"or D :om o$ "emai$
opera"ore$. Para e$$a propo$io= tomar-$e-B um polin1mio interpola"or=
"e funo ar!itrBria = em $ua forma expan"i"a em $erie "e 8a7lor= :om
= h x<

( ) ( ) ( ) ( ) ( )
2
1! 2! !

=
n
h h h
p x h p x p x p x p x
n
>9.11.3?
A expre$$o a:ima= em termo$ "o$ opera"ore$= po"e $er ree$:rita :omo<
( ) ( )
2 2
1
1! 2! !
1

( )

n n
hD h D h D
Ep x p x
n
>9.11.9?
*ota-$e que a expre$$o entre parGnte$e$ na f)rmula >9.11.9? 9 a
expan$o formal "a funo
hD
e = o que pro"uA a $eguinte relao >muito
:urio$a?< =
hD
E e >9.11.10?
( ) p x
apli:B&el a qualquer polin1mio "e grau n = ar!itrBrio. Al9m "i$$o= $e tem a$
$eguinte$ rela/e$<

( ) ( ) ( )
( )
1
2
2 1
1 1
4 2
1 1
2 1 2 sinh
2

= = ^ = \ =
1
l

= =

l

( )
l
hD ln E ln ln
ln
>9.11.11?
Aqui= por exemplo= a relao $im!)li:a
( )
1 = ^ hD ln a$$egura que o$
opera"ore$ hD e
( ) ( )
2
1
1
2
^ ^
^ ^
n
n
p
n
$o equi&alente$ para
qualquer polin1mio "e grau n . ;$$a igual"a"e po"e $er &erifi:a"a "e&i"o a
que o opera"or ^ e
2 2
1! 2! !

n n
hD h D h D
n
tem $i"o mo$tra"o :omo
$en"o equi&alente$ para qualquer
( )
p x = ento $e po"e tro:ar ^ por e$te
Fltimo opera"or no polin1mio
( )
^
n
p . re$ulta"o "ifere "e por um
polin1mio "a forma
( ) ( )
1 2
1

n n
n
a hD a hD o qual anula
( )
p x .
hD
Diferenciao em p(2)
;m termo$ "e diferenas finitas ascendente= po"e-$e "e"uAir a $eguinte
f)rmula<

( )
2 3
0 0 0
1 1 1 1
ln 1
2 3
1
= ^ = ^ ^ ^

( )
p p p
h h

>9.11.12?
Por iterao $egue a$ $eguinte$ rela/e$<
( )
( )
( )
( )( )
2
0 0 0
1 2
0
3
1 1 1 1
ln 1 1
2 3
3 5
1
2 24
2 3
48

l
= ^ = ^ ^ ^
l

( )
1
^ ^ ^

( )
r
r
r
r
r r
r r r
r
r
p p p
h h
r r
r
p
h
r r r
>9.11.13?
$ :oefi:iente$ "a expan$o a:ima $o expre$$o$ em termo$ "o$ nDmeros
de Etirling de primeira esp;cie= o$ quai$ $o "enota"o$ por
( ) r
k
S = e que $o
"efini"o$ pela relao<

( )
( )
( )
ln 1
! !
=
_
r
r
k
k
k r
t
S
t
r k
>9.11.1(?
on"e 1 t "e mo"o que >9.11.13? po"e $er ree$:rita "e $eguinte
maneira<

( )
( ) ( ) ( )
( )( )
2
1 2
0 0
1
1 1 1 2

1

= ^ ^ ^

( )
r r r
r
r
r r
r
r
S S S
p p
h r r r

>9.11.1,?
$ nDmeros de Etirling de primeira esp;cie o!e"e:em L$ $eguinte$ rela/e$
"e re:orrGn:ia<

( ) ( ) ( )
( ) ( ) ( )
1
1
1
=
=
1 1

=

( ) ( )
_
r r r
n n n
n m
r m r m
n n k k
k r m
S S nS n r
r n
S S S n r m
m k

:om a$ $eguinte$ f)rmula$ "e &erifi:ao<

( )
( )
( )
1
0
0, 1
1 !
=
=
=
=
_
_
n
r
n
r
n
n r
r
n
r
S n
S n

Maiore$ "etal6e$ e ta!ela "o$ nFmero$ "e 4tirling "e primeira e$p9:ie
po"em $er en:ontra"o$ no li&ro "o A!ramo+itA X2Y.
#e maneira $imilar a$ f)rmula$ em "iferena$ finita$ "e$:en"ente$ $o<

( )
2 3
1 1 1 1
ln 1
2 3
1
= \ = \ \ \

( )
N N N
p p p
h h

>9.11.1.?
e

( )
( )
( )( )
2
1 2
3
1 1 1
1
2 3
3 5
1
2 24
2 3
48

= \ \ \

( )
1
\ \ \

( )
r
r
r
N N
r
r r r
N
r
r
p p
h
r r
r
p
h
r r r
>9.11.1'?
finalmente $e en:ontra=

( )
( ) ( ) ( )
( )( )
2
1 2
1
1 1 1 2

1

\ \ \

( )
r r r
r
r
r r
r
N N
r
S S S
p p
h r r r
>9.11.13?
;m :erta$ apli:a/e$ 9 "e$e@B&el expre$$ar a$ "iferena$ num ponto em
termo$ "a$ "eri&a"a$ no ponto. A$$im= para expre$$ar a$ "iferena$ finita$
a$:en"ente$ em termo$ "a$ "eri&a"a$= toman"o por referen:ia >9.11.11?=
po"e-$e o!ter a $eguinte relao<

( )
2 2
1
1! 2!
1
^ = =

( )
r
r
r hD
hD h D
e >9.11.19?
#e on"e $egue<
( ) ( )
( )
( )
( )
( )
2
1 2 2
0 0
3 1 1
2 24 48

l

l
^ =
l
l
r r r r
r
r r r r
r
p hD hD hD hD p
>9.11.20?

%.&%., +bserva6es sobre a Diferencia5o 7um"rica
A "iferen:iao num9ri:a= intro"uAi"a ao longo "o :ap2tulo 9 ora "e forma
impl2:ita ora expl2:ita= foi expli:itamente :olo:a"a ne$te t)pi:o= :om u$o
"o$ opera"ore$ "e "iferena$. *o entanto= para $e :on:luir= 9 importante
e$ta!ele:er alguma$ o!$er&a/e$ que $o importante$ na apli:ao "a$
"iferena$ finita$ no :Bl:ulo "a "iferen:iao num9ri:a.
;m primeiro lugar "e&e-$e &erifi:ar $e o polin1mio interpola"or
( )
n
p x "a
funo
( )
f x 9 !em :omporta"o no inter&alo "e$e@a"o no qual $e en:ontra
o ponto x . 4e a$$im o for= po"e-$e u$B-lo para o :Bl:ulo aproxima"o "e
( )
f x I no entanto= 9 pre:i$o que fique e&i"en:ia"a= :omo regra geral= que

a pre:i$o "e a$$im :Bl:ulo 9 pior que a pre:i$o "e :al:ula"o por
( )
n
p x .
;m geral= a$ :on$i"era/e$ feita$ ao longo "o :ap2tulo 9 referente$ L
"eri&ao "e f)rmula$ tam!9m $o apli:B&ei$ L "iferen:iao num9ri:a.
( )
f x
( )
f x
;m $egun"o lugar 9 importante que $e 9 um polin1mio interpola"or
"e n-9$imo grau para :om relao a
( )
1 n ponto$ "i$tinto$
0 1
, , ,
n
x x x = ento= :omo aproximao= $e tem

( )
( )
( )
( )
( )

k
k k
n
k
d f x
f x p x
dx

:om < k n. ;ntretanto= e$$a aproximao in"uA um erro que $e po"e
repre$entar por

( )
( )
( )
( )
( )
( )
=
k k k
n n
R x f x p x >9.11.21?
Pela expre$$o >9.1.'? :on$i"eran"o-$e que
( )
( )
1 n
f x $e@a :ont2nua no
inter&alo "e$e@a"o= $e tem
( )
n
p x
( )
f x

( )
( )
( )( ) ( )
( )
( )
( )
( )
( )
( )
( )
1
0 1
1
0
0
1 !
,
1 !
=

=
= < <
n
n k
n
n
i
n
i
n
x x x x x x
R x f
n
x x
f x x
n
>9.11.22?
Por Fltimo= "epen"en"o "a "i$tri!uio "o$ ponto$ "a"o$= 9 pre:i$o
e$:ol6er !em o tipo "e polin1mio interpola"or= "e$te "epen"e a pre:i$o
a $er o!ti"a na "iferen:iao num9ri:a.
Com!inan"o >9.11.21? :om >9.11.22? $e o!t9m

( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )( ) ( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
1
0 1
1
0
0
1 !
,
1 !
=
=

=
= < <
k k k k
n n n
n
n k
n
n
i
n
k
i
n n
f x p x R x R x
x x x x x x
p x f
n
x x
p x f x x
n
>9.11.23?
on"e= :omo $e $a!e= 9 um polin1mio interpola"or "e
( )
f x .
#e$en&ol&en"o em $erie "e 8a7lor= em termo$ "a$ formula$ "e
"iferena$ "i&i"i"a$ a&ana"a$= "e "iferena$ "i&i"i"a$ retr)gra"a$ e
"iferena$ "i&i"i"a$ :entra"a$= $e tem= re$pe:ti&amente= a$ $eguinte$
f)rmula$ para a$ "eri&a"a$ >at9 a quarta "eri&a"a?= apre$enta"a$ pelo$
:oefi:iente$ no$ "i&er$o$ ponto$
( )
i
f x e pelo "enomina"or \den]= :u@a
expre$$o geral tem a forma<
( )
( )
1
=
_
k
i i
f x a f
den

( ) p x
( ) p x

%.&%.0 Derivadas Em Diferena Dividida Ascendente
( ) ( ) ( ) ( ) ( ) ( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
1 2 3 4 5
2
2
3
3
4 4
4 4
1 1 0 0 0 0
2 3 4 1 0 0 0
1 2 1 0 0 0
2 5 4 1 0 0
1 3 3 1 0 0
2 5 18 24 14 3 0
1 4 6 4 1 0
3 14 26 24 11 2

i i i i i i
i
i
i
i
i
i
i
i
derivada den f x f x f x f x f x f x
f x h
f x h
f x h
f x h
f x h
f x h
f x h
f x h

Exemplo
A expre$$o para a ter:eira "eri&a"a
( )
i
f x em
i
x po"e $er "a"a por >&e@a
.V e 'V lin6a$ "a ta!ela a:ima<
( )
( )
( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) ( )
3
1 2 3
3
1 2 3 4
3
1
1
1 3 3 1
1
5 18 24 14 3
2

= =
=
=
_ i i i
i i i i
i i i i i
f x a f
den
f x f x f x f x
h
f x f x f x f x f x
h

%.&%.8 Derivadas Em Diferena Dividida Descendente
( ) ( ) ( ) ( ) ( ) ( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
1 2 3 4 5
2
2
3
3
4 4
4 4
2 1 1 0 0 0 0
2 3 4 1 0 0 0
1 2 1 0 0 0
2 5 4 1 0 0
1 3 3 1 0 0
2 5 18 24 14 3 0
1 4 6 4 1 0
3 14 26 24 11 2

i i i i i i
i
i
i
i
i
i
i
i
derivada den f x f x f x f x f x f x
f x h
f x h
f x h
f x h
f x h
f x h
f x h
f x h

%.&%.9 Derivadas em Diferenas Divididas Centrais
( ) ( ) ( ) ( ) ( ) ( ) ( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
3 2 1 1 2 3
2
2
3
3
4 4
4 4
2 0 0 1 0 1 0 0
12 0 1 8 0 8 1 0
0 0 1 2 1 0 0
12 0 1 16 30 16 1 0
2 0 1 2 0 2 1 0
8 1 8 13 0 13 8 1
0 1 4 6 4 1 0
6 1 12 39 56 39 12 1

i i i i i i i
i
i
i
i
i
i
i
i
derivada den f x f x f x f x f x f x f x
f x h
f x h
f x h
f x h
f x h
f x h
f x h
f x h

Exerc6cios
1. #etermine pela$ f)rmula$ "e "iferena$ a&ana"a$ e retr)gra"a$ a$
"eri&a"a$ primeira$ no$ ponto$ in"i:a"o$ na$ ta!ela$ a!aixo<
( )
( )
0.5 0.6 0.7
0.4974 0.5628 0.6681
? ? ?
1

( )
x
f x
f x

( )
( )
0.0 0.4 0.8
0.0000 0.75628 1.66819
? ? ?
1

( )
x
f x
f x

2. !ten6a a relao a!aixo e :on$trua uma ta!ela "o$ opera"ore$
en&ol&i"o$= , , , \ ^ E em termo$ "o$ opera"ore$ , , , \ ^ E <

( )
1 1
2 2
2
1 1
2 4
2 2
1
2 1 2 1

^ \
= = = =
^ \
E E
3. #e$en&ol&a um programa para o!ter "e um :on@unto ta!ular "e
"a"o$= a$ "eri&a"a$ at9 a or"em n .
(. #o$ &alore$ ta!ula"o$ a!aixo que $o arre"on"amento$ "a funo
( ) ( )
sin = f x x = :al:ule o$ &alore$ "e
( ) ( )
,

f x f x em :a"a ponto e
:ompare o$ &alore$ o!ti"o$ :om o$ &alore$ reai$<
( )
( )
( )
0.5 0.7 0.9 1.1 1.3 1.5 1.7
0.47943 0.64422 0.78333 0.89121 0.96356 0.99749 0.99166
? ? ? ? ? ? ?
? ? ? ? ? ? ?
l
l
l
l
l
l
l
l
x
f x
f x
f x

%.&%.: Diferencia5o de uma
Fun5o de Duas ;ari2veis
*o ini:io "e$te :ap2tulo= feA-$e um
exemplo "e "iferen:iao em "ua$
&ariB&ei$. Aqui $e generaliAa o
argumento afirman"o que a$
"eri&a"a$ par:iai$ ne:e$$Bria$ num
funo "e "ua$ &ariB&ei$ po"em $er
:al:ula"a$ pela$ ta!ela$ "e
:oefi:iente$ apre$enta"a$ na $eo
anterior= faAen"o-$e uma mu"ana "i$:reta na notao.
Por exemplo= numa mal6a :om ponto$ igualmente e$paa"o$ >%igura
9.2,?= u$an"o-$e a ta!ela "e "iferena$ finita$ "i&i"i"a$ :entrai$= $e tem

( ) ( ) ( ) ( )
2
, 1, , 1,
2 2
2

0
=
0 ^
i j i j i j i j
f x f x f x f x
x x
>9.11.2(?
#
i
@
@
@
i[ i
#
FIGURA 9/9 MA-IA +'M &'N)'% $JUI(I%)AN)$%
H$an"o na expre$$o >9.11.2(? uma notao mai$ $imple$ "o tipo
( )
( )
( )
, ,
1, 1,
1, 1,

i j i j
i j i j
i j i j
f x f
f x f
f x f

$e po"e ree$:re&G-la "a $eguinte forma<

2
, 1, , 1,
2 2
2

0
=
0 ^
i j i j i j i j
f f f f
x x
>9.11.2,?
Pela figura ao la"o= po"e-$e &erifi:ar que ne$ta mal6a $e lo:aliAam o$
$eguinte$ ponto$< ( ) , i j = ( ) , 1 i j = ( ) , 1 i j = ( ) 1, i j = ( ) 1, 1 i j =
( ) 1, 1 i j = ( ) 1, i j = ( ) 1, 1 i j e ( ) 1, 1 i j .
*o :a$o "e fun/e$ em "ua$ &ariB&ei$= o$ opera"ore$ "iferen:iai$ mai$
:omun$ em engen6aria $o o -apla:iano >ou funo 6arm1ni:a -
2
\ f ? e a
funo !i-6arm1ni:a >
4
\ f ?<
( )
( )
2 2
2
2 2
4 2 2
4 4 4
4 2 2 4
2
,
0 0
\ =
0 0
\ =\ \ =
0 0 0
=
0 0 0 0
=
f f
f
x y
f f
f f f
x x y y
f f x y
>9.11.2.?.
Con$i"eran"o apena$ :in:o ponto$ "a mal6a= = = = =
= para $e a:6ar o &alor "o -apla:ino no ponto $e tem a $eguinte
expre$$o<
( ) , i j ( ) , 1 i j ( ) , 1 i j ( ) 1, i j
( ) 1, i j ( ) , i j
( ) ( )
1, 1 , 1 1, 1
2
1, , 1,
2 ,
1, 1 . 1 1, 1
0 0
1
1 2 1 1 :
0 0

l l
l l
l l
\ =
l l
^
l l
l
l
i j i j i j
i j i j i j
i j
i j i j i j
f f f
f f f f
x
f f f
>9.11.2'?
"on"e
2
1
^
^
( )
x
y
9 a relao qua"rBti:a entre a$ "imen$/e$ "a mal6a no
$enti"o "o eixo "o$ x e no $enti"o "o eixo "o$ y. !$er&e que a
\notao<] utiliAa"a na expre$$o >9.11.2'? repre$enta o produto escalar
duplo "a$ matriAe$= "efini"o por<

, ,
=
i j i j
A B A: B >9.11.23?
:om a $omao feita tanto no 2n"i:e i quanto no 2n"i:e j . A$$im= por
exemplo= $e
2 2 x
A e
2 2 x
B = ento

11 11 12 12 21 21 22 22
= A B A B A B A B A: B
*ote que a $oma "o$ elemento$ "a primeira matriA "o la"o "ireito "a
equao >9.11.2'? 9 nula :omo :on$eqMGn:ia "o teorema "o &alor m9"io
para fun/e$ 6arm1ni:a$.
Con$i"eran"o agora o$ no&e ponto$= @B rela:iona"o$= a expre$$o para o
-apla:iano no ponto ( ) , i j 9<
( )
1, 1 , 1 1, 1
2
1, , 1,
2 ,
1, 1 . 1 1, 1
1 4 1
1
4 20 4 :
6
1 4 1

l l
l l
l l
\ =
l l
^
l l
l
l
i j i j i j
i j i j i j
i j
i j i j i j
f f f
f f f f
x
f f f
>9.11.29?
*a referen:ia X2Y= :ap2tulo 2, pBgina$ "e 3'' a 399= po"e $er en:ontra"o
uma $9rie "e forma$ "e "eterminao "e "eri&a"a$ "e fun/e$ "e "ua$
&ariB&ei$.

2013-2 - 09 - Aproximações e Interpolação Polinomial-26 - A5 - 2013-2 Corpo 18 PDF

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

2013-2 - 09 - Aproximações e Interpolação Polinomial-26 - A5 - 2013-2 Corpo 18 PDF

Enviado por

Direitos autorais:

Formatos disponíveis

Mtodos Numricos Bsicos Aproximao e Interpolao

Prof. Henrique Mariano C. Amaral 2013-2 pag. 1

x x a b e para alguma :on$tante po"e-

Mtodos Numricos Bsicos Aproximao e Interpolao

Mtodos Numricos Bsicos Aproximao e Interpolao

< \ f x x ?. Por outro la"o= po"em apare:er :om portamento$

f y X,b = e en&ol&e o :Bl:ulo "o Ra:o!iano "e

Mtodos Numricos Bsicos Aproximao e Interpolao

f x = o$ ponto$ on"e $e quer :al:ular o

po"e $er o!ti"o $e $i :on$i"erar

C = i$to 9= a$$ume-$e que a$ fun/e$

f x I no entanto= 9 pre:i$o que fique e&i"en:ia"a= :omo regra geral= que

Você também pode gostar