Polinômio de Lagrange

Fonte: testwiki
Saltar para a navegação Saltar para a pesquisa

Em análise numérica, polinômio de Lagrange (nomeado por razão de Joseph-Louis de Lagrange) é o polinômio de interpolação de um conjunto de pontos na forma de Lagrange.

Definição

Dado um conjunto de k+1 pontos:

(x0,y0),,(xk,yk)

com todos xj distintos, o polinômio de interpolação de um conjunto de pontos na forma de Lagrange é a combinação linear dos polinômios da base de Lagrange:

L(x):=j=0kyjlj(x),

com polinômios da base de Lagrange dados por:

lj(x):=i=0,jikxxixjxi=xx0xjx0xxj1xjxj1xxj+1xjxj+1xxkxjxk

Prova

Procuramos uma função que seja um polinômio L(x) de grau menor ou igual a k, com

L(xj)=yjj=0,,k

O polinômio de lagrange é a solução para o problema de interpolação.

Como podemos comprovar

  1. j(x) é um polinômio e tem grau k.
  2. i(xj)=δij,0i,jk.

Então, a função L(x) é um polinômio com grau menor ou igual a k e

L(xi)=j=0kyjj(xi)=j=0kyjδji=yi.

Existe apenas uma única solução para o problema de interpolação, uma vez que a diferença de duas soluções seria um polinômio de grau menor ou igual a k e k+1 zeros. Isto somente é possível se a diferença for identicamente nula, então L(x) é o único polinômio que interpola os dados fornecidos.

Ideia Principal

Polinômios de Lagrange

Como pudemos perceber, a resolução de um problema de interpolação também pode ser entendido como a busca da solução de um sistema matricial de álgebra linear. Além disso, vimos que a utilização do polinômio em base canônica leva a uma matriz de Vandermonde mal condicionada.

Afim de resolver este problema, o matemático Joseph-Louis de Lagrange escolheu uma outra base que melhorasse o condicionamento da matriz. A ideia foi diagonalizá-la, obtendo uma matriz identidade cuja resolução do sistema linear é simples e direta. Dados n pontos de abscissas (xj)|1n , o polinômio interpolador de Lagrange ,Pn(x), será obtido através de uma base de polinômios de grau menor ou igual n, que satisfaçam as seguintes condições:

                                                      Lk(xj)={1,k=j0,kj}(1)

Observe que vamos obter uma série de k polinômios de tal modo que cada um deles se anula em todos os pontos conhecidos com exceção de um em que k=j, de forma que cada polinômio ajuste o valor em um ponto, sendo funções independentes entre si.


L0(x)=(xx1)(xx2)(xx3)*...*(xxn)(x0x1)(x0x2)(x0x3)*...*(x0xn)


L1(x)=(xx0)(xx2)(xx3)*...*(xxn)(x1x0)(x1x2)(x1x3)*...*(x1xn)


L2(x)=(xx0)(xx1)(xx3)*...*(xxn)(x2x0)(x2x1)(x2x3)*...*(x2xn)

                                 

Ln(x)=(xx0)(xx1)(xx2)*...*(xxn1)(xnx0)(xnx1)(xnx2)*...*(xnxn1)


Assim, os polinômios de Lagrange podem ser descritos pela fórmula geral:


Lk(x)=1jkn(xxj)(xkxj)


O Polinômio interpolador de Lagrange é dado pela combinação linear dos Lk(x) polinômios base:

P0(x0)=a0L0(x0)+a1L1(x0)+...+anLn(x0)=y0


P1(x1)=a0L0(x1)+a1L1(x1)+...+anLn(x1)=y1

                             

Pn(xn)=a0L0(xn)+a1L1(xn)+...+anLn(xn)=yn


Aplicando a condição (1) temos:

P0(x0)=a0*1+a1*0+...+an*0=y0=a0


P1(x1)=a0*0+a1*1+...+an*0=y1=a1

                            

Pn(xn)=a0*0+a1*0+...+an*1=yn=an


Na forma matricial:

[100010001]  [a0a1an] = [y0y1yn]

Aplicando o polinômio interpolador de Lagrange obtemos uma matriz identidade bem condicionada em que o sistema linear é prontamente resolvido.

Interpretação geométrica

Dado o conjunto de pontos (2,1), (3,6), (4,4) e (5,5) desejamos construir um polinômio de Lagrange que passe por estes pontos.

Primeiro, construímos os Lk polinômios de Lagrange, perceba que somente um polinômio de Lagrange é não nulo em cada ponto. Depois construímos os Pn polinômios de Lagrange, observe que cada polinômio ajusta um ponto do conjunto, sendo igual ao valor da ordenada do ponto. E usando a fórmula geral construímos o polinômio P de Lagrange que passa por todos os pontos dados:


Representação dos Pn polinômios Lagrange


Referências

  • Borche, Alejandro.Métodos numéricos. Rio Grande do Sul: Editora UFRGS,2008.Página 117.
  • Albrecht, Peter.Análise Numérica, um curso moderno. Rio de Janeiro: PUC-RJ, Livros técnicos e científicos S.A., 1973. Página 129.
  • Predefinição:Link mantido pelo projeto REAMAT da Universidade Federal do Rio Grande do Sul

Predefinição:Esboço-matemática

Veja também

he:אינטרפולציה#צורת לגראנז'