Escolar Documentos
Profissional Documentos
Cultura Documentos
Universidade de Coimbra
Faculdade de Ciencias e Tecnologia
Departamento de Matematica
2001
Dissertacao submetida para satisfacao parcial
Introducao iii
Motivacao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iii
Enquadramento Historico . . . . . . . . . . . . . . . . . . . . . . . . . . . iii
Estrutura do Trabalho . . . . . . . . . . . . . . . . . . . . . . . . . . . . . v
Notacao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . viii
Agradecimentos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . x
i
3.3 Invariancia do Tipo de Intervalo de Ortogonalidade . . . . . . . . . . 35
3.4 Teorema de Lagrange . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.5 Aplicacao aos Polinomios Ortogonais Classicos . . . . . . . . . . . . . 39
3.6 Relacao de Recorrencia a Tres Termos . . . . . . . . . . . . . . . . . 43
3.7 Resumo de Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . 45
Bibliografia 92
Introducao
Motivacao
Esta dissertacao foi escrita em 2000/2001, por proposta e sob a orientacao do Pro-
fessor Amlcar Jose Pinto Lopes Branquinho, Professor Auxiliar do Departamento
de Matematica da Faculdade de Ciencias e Tecnologia da Universidade de Coimbra.
Pretende-se com este trabalho, abrir um caminho para a caracterizacao de famlias
de polinomios ortogonais em duas variaveis que verifiquem uma formula de Ro-
drigues, (5.3.4), pg.76.
Enquadramento Historico
iii
iv Introducao
Estrutura do Trabalho
mn w = xm yn [pm q n w],
10 w = x [pw]
01 w = y [qw] .
A resposta a esta pergunta, esta por nos a ser trabalhada segundo o seguinte plano:
1. Resolver o sistema de forma a obter todas as funcoes peso possveis, a menos de
uma mudanca de variaveis linear e nao singular. Para tal, substituem-se p e q por
polinomios de grau nao superior a 2.
2. Verificar quais os casos a que corresponde uma formula de Rodrigues, isto e, uma
formula do tipo (5.3.4), pg.76, sendo mn um polinomio de grau m + n .
Notacao
sendo w uma funcao peso. Uma funcional de momentos tem sempre associada
a si uma funcao peso, pelo que neste texto designamos por w a propria
funcional, para simplificar a notacao. Procedimento analogo se adopta para o
caso de uma funcional em duas variaveis.
Notacao ix
Agradecimentos
1.1 Introducao
1
2 Teoria Geral dos Polinomios Ortogonais de Uma Variavel
hw, xn i = n , n = 0, 1, 2,
Teorema 1.2.1. Seja {Pn (x)} uma sequencia de polinomios monicos e n (x) =
Pn i
i=0 ci x , com os ci constantes, um polinomio de grau n. Entao o polinomio tem a
representacao
n
X
n (x) = ai Pi (x) , (1.2.1)
i=0
com os ai constantes. Isto significa que {Pn (x)} e uma base do espaco vectorial
dos polinomios com coeficientes em C .
O resultado seguinte enuncia uma representacao dos coeficientes de (1.2.1), que usa
os polinomios da sequencia ortogonal.
1.2 Generalidades 3
Teorema 1.2.2 ([6]). Seja Pn (x) uma sequencia de polinomios ortogonais com
respeito a w. Entao, para todo o polinomio n (x) de grau n, verifica-se
n
X
n (x) = ck Pk (x) ,
k=0
com
hw, n (x).Pk (x)i
ck = , k = 0, 1, , n .
hw, Pk2 i
Prova
Consequencia do teorema anterior e da ortogonalidade dos polinomios da sequencia.
2
cn 6= 0 , n = 0, 1, 2
e
Qn (x) = cn Pn (x) , n = 0, 1, 2 .
Teorema 1.2.3 ([6]). Seja w uma funcional de momentos, {Pn (x)} uma sequencia
de polinomios e k (x) um polinomio de grau k. As seguintes afirmacoes sao equiva-
lentes.
Prova
(i)(ii)
k (x) = ki=0 ai Pi (x), pelo teorema 1.2.1, e
P
k
X
hw, k Pn (x)i = ai hw, Pi (x)Pn (x)i = ak kn0 nk ,
i=0
com kn0 6= 0.
(ii)(iii)
Da igualdade anterior, fazendo kn = ak kn0 e k = xk .
(ii)(i)
Imediato, fazendo k (x) = Pk (x), e atendendo a definicao 1.2.3.
(iii)(ii)
Pk i
Fazendo k (x) = i=0 bi x , temos
k
X
hw, k (x)Pn (x)i = bi hw, xk Pn (x)i .
i=0
Definicao 1.2.4 ([6]). Dada uma sequencia de momentos n , designam-se por de-
terminantes de Hankel de ordem n, os determinantes n definidos da forma
0 1 n
1 2 n+1
n = .. .. , n = 0, 1, 2, .
.. ..
. . . .
n n+1 2n
Teorema 1.2.4 ([6]). Seja w uma funcional de momentos, com sequencia de mo-
mentos {n }. Uma condicao necessaria e suficiente para a existencia de uma sequencia
de polinomios ortogonais para w e
n 6= 0 , n = 0, 1, 2, .
Prova ([6])
Suponhamos que existe uma funcional, w, com sequencia de momentos {n }, a
1.2 Generalidades 5
qual corresponde uma sequencia de polinomios ortogonais {Pn (x)}. Temos, para
n = 0, 1, . . . e m n, e tomando Pn (x) = nj=0 cnj xj
P
n
X n
X
hw, xm Pn (x)i = hw, xm cnj xj i = hw, cnj xm+j i
j=0 j=0
n
X
= cnj m+j
j=0
= kn mn (1.2.2)
0 1 n cn0 0
1 2 n+1 cn1 0
= (1.2.3)
.. .. .. .. .. ..
. . . . . .
n n+1 2n cnn kn
Definicao 1.3.1. Dada uma sequencia de polinomios, {Pn (x)}, diz-se que esta
verifica uma relac~
ao de recorr^ es termos, se e so se existem duas
encia a tr^
sequencias infinitas de funcoes de n, (e eventualmente de x), {an } e {bn }, tais
que
Pn = an Pn1 + bn Pn2 , n N.
Teorema 1.3.1 ([6]). Seja w uma funcional de momentos que tem associada uma
sequencia de polinomios ortogonais monica, {Pn (x)} . Entao, existem as sequencias
numericas
{n }
n=1 , {n }
n=1 , n 6= 0 (n = 1, 2, ) ,
tais que a sequencia {Pn (x)} verifica a relacao de recorrencia a tres termos
definindo-se
P1 (x) = 0 , P0 (x) = 1.
Prova([6])
Seja {Pn (x)} a sequencia de polinomios ortogonais monica associada a funcional w .
Por ser grau(xPn (x)) = n + 1 , temos
n+1
X hw, xPn (x)Pi (x)i
xPn (x) = an,i Pi (x) , an,i = .
i=0
hw, Pi2 (x)i
e
xPn (x) = Pn+1 (x) + ann Pn (x) + an,n1 Pn1 (x) , n 1 ,
que equivale a
com
P1 (x) = 0 , P0 (x) = 1.
Prova([6])
A funcional w define-se de forma construtiva.
Seja hw, 1i = 0 = 1 , e hw, Pn (x)i = 0, n = 1, 2, .
Como P1 (x) = x + c, com c = 1 (ver equacao (1.3.3)), temos hw, P1 (x)i =
1 + c0 = 0, o que define o momento 1 .
Por ser P2 (x) = (x 2 )P1 (x) 2 P0 , por hipotese de verificacao da relacao de
8 1.4 Teoremas de Boas e Duran
= 2 (1 + 2 )1 + (1 2 2 )hw, 1i ,
temos
hw, x2 Pn (x)i = 0 , n 2
Poe-se o problema de, dada uma sucessao de momentos reais ou complexos, existir
uma correspondente funcional de momentos. A resposta e afirmativa, e e dada pelos
seguintes teoremas.
1.5 Funcoes Geradoras 9
Teorema 1.4.1 (Boas, [2]). Seja {n }, uma sucessao arbitraria de numeros reais.
Entao existe uma funcao , de variacao limitada, tal que
Z
xn d = n , n = 0, 1, .
I R;
{n }
n=0 , uma sucessao de numeros complexos.
x 1
com = k!
x(x 1) (x k + 1), k = 1, 2, , n, podemos escrever (1.5.1)
k
da forma
()n tn X x
X
G(x, t) = tk .
n! k
n=0 k=0
Do produto de Cauchy das duas series, resulta a seguinte serie de Taylor na variavel
t
( n
)
x ()nk n
X X
G(x, t) = t . (1.5.2)
k (n k)!
n=0 k=0
x
Como e polinomio de grau k, os coeficientes de tn na serie (1.5.2),
k
sao polinomios de grau n, para cada n = 0, 1, , ditos Polinomios de Charlier.
Designando por {Pn } esses polinomios, podemos escrever (1.5.2) da forma
X
G(x, t) = Pn tn . (1.5.3)
n=0
Vamos ver que estes polinomios satisfazem uma relacao de ortogonalidade. Com
efeito, da igualdade
temos
X k G(k, v)G(k, w)
= e(v+w) e(1+v)(1+w) = e evw
k=0
k!
X (vw)n X e n (vw)n
= e = . (1.5.4)
n=0
n! n=0
n!
De (1.5.3), temos
X k G(k, v)G(k, w) X k X
= Pm (k)Pn (k)v m wn
k=0
k! k=0
k! m,n=0
k
X X m n
= Pm (k)Pn (k) v w . (1.5.5)
m,n=0 k=0
k!
e n
h , Pm Pn i = mn, m, n = 0, 1, 2, ,
n!
2.1 Introducao
12
2.2 Definicao de Polinomios Ortogonais Classicos 13
com
n
[A] Seja Ei, = ai ( 1)+bi +i,n , com ai , bi , i = 0, 1, 2, b2 = 0, coeficientes
de (x) e (x) e i,n = n i,0 , sendo i,0 o smbolo de Kronecker. Entao
(2.2.1) admite, para cada n, uma solucao polinomial monica unica de grau
n, se e somente se a equacao
n
E0, = 0,
sendo
e
n+1 n+1 n+1 n+1 n+1
E1,n E1,n+1 +E2,n+1 E0,n E1,n+1
2a2 n + 4a0 n1 n+1
E0,n E0,n
+ 2( n+1
E0,n
)
n+1 = , n Z+ .
0,n 0,n+2
14 Polinomios Ortogonais Classicos de Uma Variavel
Prova([4])
[A] Substituindo a expressao de Pn em (2.2.1), e tendo em atencao que
(Pn )00 = xn [a0 n(n 1)] + xn1 [a1 n(n 1) + a0 p1,n (n 1)(n 2)]+
+ a2 (n (k 2))(n (k 1)pk2,n ] +
temos
a0 n(n 1) + b0 n + n = 0 (2.2.-14)
n n n
que e o mesmo que pk,n E0,nk + pk1,n E1,nk+1 + pk2,n E2,nk+2 .
O sistema (2.2.-14) toma a forma
n
E0,n =0
n n
p1,n E0,n1 + E1,n =0 (2.2.-23)
n n n
p2,n E0,n2 + p1,n E1,n1 + E2,n =0
..
.
n n n
pk,n E0,nk + pk1,n E1,nk+1 + pk2,n E2,nk+2 =0
..
.
n n n
pn,n E0,0 + pn1,n E1,1 + pn2,n E2,2 =0.
n
. Se E0, = 0 tem = n como unica solucao em N, entao o sistema tem solucao
unica.
[1] Calcula-se un (x) = Ln+1 ((x n )Pn ) e n , de forma a ser grau(un (x)) =
n 1. Isto porque, para ser verificada a relacao de recorrencia a tres termos
devemos ter Ln+1 = Ln+1 [(x n )Pn n Pn1 ] = 0.
16 Polinomios Ortogonais Classicos de Uma Variavel
[1]
+(x n )n+1 Pn
0 00 0
= 2Pn + Pn + (x n )[Pn + Pn +
+n Pn ] (x n )n Pn + (x n )n+1 Pn .
obtemos
2.2 Definicao de Polinomios Ortogonais Classicos 17
+b0 ))p1,n ] + .
isto e
0
Ln1 [2Pn + Pn (2na0 + b0 )(x n )Pn ] = 0 .
Temos
0 0 00 000 0 0 00 0
1. 2(Ln [Pn ]) = 2[ Pn + Pn + Pn + Pn + n Pn ] = 0 , substitui-se por
00 0
Pn 2n Pn ;
00 0
2. (2a0 n + b0 )(x n )[Pn + Pn + n Pn ] substitui-se por (2a0 n + b0 )(x
n )n Pn ;
1
Ln+1 [n Pn1 ] = n Ln+1 [Pn1 ] , tem grau n 1 . Como deve ser Ln+1 [Pn+1 ] = Ln+1 [(x
n )Pn n Pn1 ] , entao Ln+1 [(x n )Pn ] deve ter grau n 1 .
18 Polinomios Ortogonais Classicos de Uma Variavel
0 00 0 0
3. 2 [Pn + Pn + n Pn ] substitui-se por 2 n Pn ;
00 0 0
4. [Pn + Pn + n Pn ] substitui-se por n Pn + 2 2 Pn ;
00 0
5. [2Pn + 2 Pn + 2n Pn ] substitui-se por 2 n Pn ;
obtemos
00 0 0 0
Ln1 (un ) = 2[ Pn (2a0 n + b0 )Pn ] + [ Pn (2a0 n + b0 )Pn ]
0
+ n1 [2Pn + Pn (2a0 n + b0 )(x n )Pn ]+
0 0
+ (2a0 n + b0 )(x n )n Pn 2 n Pn 2n Pn n Pn .
0 00
Ln1 (un ) = Pn [2 2(2a0 n + b0 ) + 2n1 2n ]+
0
+ Pn [ (2a0 n + b0 ) + n1 ( (2a0 n + b0 )(x n ))+
0
+ (2a0 n + b0 )(x n )n + n (2 )] .
0
O coeficiente de Pn e zero:
00
2 2(2a0 n + b0 ) + 2n1 2n =
0
Ln1 (un ) = Pn [ (2a0 n + b0 ) + n1 ( (2a0 n + b0 )(x n ))+
0
+ (2a0 n + b0 )(x n )n + n (2 )] .
0
= (b0 x + b1 )b0 = b20 x + b0 b1
= n x[4a0 b0 ] + n [2a1 b1 ] .
Ln1 (un ) =
+ b1 (n1 n ) 2a1 n ]
Por ser grau de un (x) menor ou igual a n 1, (ver nota de rodape na pg.17),
decorre que o segundo membro de (2.2) e nulo. Dada a hipotese de unicidade
de solucoes da equacao de Bochner, conclui-se que un = kn Pn1 . Esta equacao
e geralmente atribuida a Tricomi (cf. [4]).
Vamos calcular kn .
Usando a equacao (2.2), pg.16, temos
0
un (x) = 2Pn + Pn (2na0 + b0 )(x n ))Pn
0
= 2(a0 x2 + a1 x + a2 )Pn + (b0 x + b1 )Pn (2na0 + b0 )(x n ))Pn
20 Polinomios Ortogonais Classicos de Uma Variavel
un = n Ln+1 (Pn1 )
un kn Pn1
n = = .
Ln+1 (Pn1 ) (0,n1 + 0,n+1 )Pn1
00 0
Como Ln1 [Pn1 ] = 0 Pn1 + Pn1 + n1 Pn1 = 0, obtem-se
00 0
Ln+1 [Pn1 ] = Pn1 + Pn1 + n+1 Pn1 = n1 Pn1 + n+1 Pn1 .
kn
n = .
0,n1 + 0,n+1
2.2 Definicao de Polinomios Ortogonais Classicos 21
A expressao de n e
Expressao para n .
Substituindo em (2.2), pg.20, n pela expressao em (2.2), pg.17, fica
n n
p1,n E0,n1 + E1,n =0
n
E1,n
p1,n = n
E0,n1
n n n
p2,n E0,n2 + p1,n E1,n1 + E2,n =0
2
Como (x n )Pn Pn+1 n Pn1 tem grau n + 1, deve verificar-se (2.2), devido a
unicidade das solucoes polinomiais de grau n.
22 Polinomios Ortogonais Classicos de Uma Variavel
n n n
E1,n .E1,n1 E2,n
p2,n = n n
n
.
E0,n1 .E0,n2 E0,n2
kn
n =
0,n1 + 0,n+1
ou seja
n .E n n n En
E1,n 1,n1 E2,n .E0,n1
4a0 n
E0,n1 n
.E0,n2
2[ E n1,n ] + 2a2 (n 1)
0,n1
n = , n = 1, 2, ,
0,n1 + 0,n+1
com [ ] = a0 [ ]2 + a1 [ ] + a2 . 2
Dado ser arbitrario o valor de 1 (cf. o teorema 1.3.1, pg.6), podemos escrever
n+1 n+1 n+1 n+1 n+1
E1,n E1,n+1 +E2,n+1 E0,n E1,n+1
2a2 n + 4a0 n1 n+1
E0,n E0,n
+ 2( n+1
E0,n
)
n+1 = , n Z+ .
0,n 0,n+2
Teorema 2.2.2 ([4]). Uma sequencia de polinomios monicos, {Pn }, que satisfaz
a equacao diferencial de Bochner e classica, se e somente se os coeficientes de
e verificam
n+1 6= 0 , n Z+
0
isto e
n+1 n+1 n+1 n+1 n+1
E1,n E1,n+1 +E2,n+1 E0,n E1,n+1
2a2 n + 4a0 n1 n+1
E0,n E0,n
+ 2 n+1
E0,n
6= 0 .
0,n 0,n+2
2.3 Formula de Rodrigues 23
kn n n
Pn = D [ w] , (2.3.0)
w
A demonstracao deste teorema resulta das demonstracoes dos dois teoremas seguintes,
devidos a Vicente Goncalves.
Teorema 2.3.2 ([4]). Cada famlia de polinomios, {Pn (x)}, solucao de uma equacao
de Bochner
Prova([4])
Para simplificar a notacao, omitimos a seguir o argumento nas funcoes (x), w(x), (x).
De (2.3.2), temos
0 w + w0 = w ( 0 )w = w0
Z x
w0 0
1 (t) 1
= w = exp dt = eA ,
w x0 (t)
Rx (t)
com A = x0 (t)
dt .
Multiplicando (2.3.2) por w, temos
[(D2 + D + n I)y]w = 0 wy 00 + wy 0 + n wy = 0 .
Fazendo
( w)y 0 = ( w)y 0 = A0 eA y 0 = (eA )0 y 0 ,
fica
wy 00 + wy 0 + n wy = 0 eA y 00 + (eA )0 y 0 + n yw = 0 ,
i.e.
[eA y 0 ]0 + n yw = 0 . (2.3.0)
Como
0 0 0
A00 z = [ ]0 z = z = 0
z z (2.3.0)
2
e
0 0
A0 (z)0 = [ z + z 0 ] = z + z 0 , (2.3.0)
temos, somando membro a membro (2.3) e (2.3),
eA
(eA y 0 )0 + n y=0
(z)00 ( z)0 + n z = 0 (2.3.0)
00 z + 2 0 z 0 + z 00 ( 0 z + z 0 ) + n z = 0
z 00 + (2 0 )z 0 + ( 00 0 + n )z = 0 . (2.3.0)
n(n 1) 00 (n)
(A1 v (n+2) + nA01 v (n+1) + A1 v ) + (A2 v (n+1) + nA02 v (n) ) + A3 v (n) = 0
2
n(n 1) 00
A1 v (n+2) + [nA01 + A2 ]v (n+1) + [ A1 + nA02 + A3 ]v (n) = 0 .
2
Comparando esta ultima equacao com (2.3), temos
A1 =
nA01 + A2 = 2 0 A2 = 2 0 n 0
n(n 1) 00 n(n 1) 00
A1 + nA02 + A3 = + n[2 00 0 n 00 ] + A3
2 2
= 00 0 + n (2.3.-2)
A3 = 00 0 + n n[a0 (3 n) b0 ] .
26 Polinomios Ortogonais Classicos de Uma Variavel
v 00 + (2 0 n 0 )v 0 + [ 00 0 + n n(a0 (3 n) b0 )]v = N 0
v 00 + 0 v 0 + [(1 n) 0 ]v 0 + [(1 n) 0 ]0 v = N 0
(v 0 )0 + [((1 n) 0 )v]0 = N 0
v 0 + ((1 n) 0 )v = N . (2.3.-5)
x
(n 1) 0 (t) + (t)
Z
v = C exp dt
x0 (t)
Z x Z x
0
= C exp dt exp (n 1) dt
x0 x0
Z x
= K exp dt n1 (x) ,
x0
(1 n) 0 N
v0 + v= . (2.3.-8)
Utilizando o metodo de variacao das constantes, procuremos a solucao sob a forma
sendo
x
(n 1) 0 (t) + (t)
Z
u(x) = exp dt
x0 (t)
2.3 Formula de Rodrigues 27
(1 n) 0 N
su0 + s0 u + su =
ou
(1 n) 0 N
s[u0 + u ] + s0 u = .
Como
(1 n) 0
u0 + u =0,
temos
N
s0 u = .
Podemos entao escrever
ds N
= ,
dx u
e vem
Z x
N (t)
s= dt ,
x0 u(t)
A solucao particular e
Z x
Rx (t)
x0 (t) dt n1 N (t)
v=e . (x) dt .
x0 u(t)
A solucao geral de (2.3) e
Z x
Rx (t)
x0 (t) dt n1
Rx (t)
x0 (t) dt n1 N (t)
v = Ce .(x) + e . (x) dt
x0 u(t)
Z x
R x (t)
x0 (t) dt n1 N (t)
=e . (x)[C + dt]
x0 u(t)
Z x
n N (t)
= w (x)[C + n+1
dt]
x0 w
e
Z x
n n N (t)
z = D w (x)[C + dt] ,
x0 w n+1
e tambem
Z x
z 1 N (t)
y = = Dn w n (x)[C + dt] .
w w x0 w n+1
28 Polinomios Ortogonais Classicos de Uma Variavel
Se fizermos N 0 e C = 1, fica
1 n
y= D [w n ] ,
w
que e a formula de Rodrigues para polinomios ortogonais classicos. 2
Teorema 2.3.3 ([4]). Se uma sequencia de polinomios, {Pn }, verifica uma formula
de Rodrigues, entao verifica tambem uma equacao de Bochner.
Prova([4])
Seja {Pn } uma sequencia de polinomios que verifica uma formula de Rodrigues.
Fazendo na formula n = 1, (ver (2.3) , pg.23), temos
wP1
= ()0
k1
P1
Designando (x) = k1
fica
w = (w)0 .
( n w)0 = ( n1 (w))0
= (n 1) n2 0 (w) + n1 ( w)
Derivando n+1 vezes ambos os membros desta ultima igualdade (Regra de Leibniz),
obtem-se
n (n+2) n + 1 0 n (n+1) n + 1 00 n (n)
( w) + ( w) + ( w) =
1 2
= (n 1)[ 0 ( n w)(n+1) + (n + 1) 00 ( n w)(n) ] + ( n w)(n+1) + (n + 1) 0 ( n w)(n) ,
2.3 Formula de Rodrigues 29
ou seja
n 2 00
[( n w)(n) ]00 + (2 0 )[( n w)n ]0 (n + 1)( + 0 )( n w)(n) = 0 .
2
Como por hipotese temos wPn = kn ( n w)(n) , a igualdade anterior pode escrever-se
n 2 00
(wPn )00 + (2 0 )(wPn )0 = (n + 1)( + 0 )wPn .
2
Subtraindo as duas igualdades seguintes
temos
Fazendo
n 1 00
n[ + 0 ] = n
2
obtemos a equacao de Bochner (cf. definicao 2.2.1,pg.12). Podemos entao caracterizar
as sequencias de polinomios ortogonais classicos do modo seguinte.
30 Polinomios Ortogonais Classicos de Uma Variavel
2.4 Exemplos
Vamos usar resultado do teorema 2.3.3, pg.28, para obter as equacoes de Bochner
referentes aos polinomios de Hermite e Laguerre. Notar que a constante kn e
irrelevante para a determinacao dos coeficientes da equacao de Bochner.
Polinomios de Hermite
Fazendo na equacao diferencial (2.2.1), pg.12, as substituicoes seguintes (ver tabela
na pg.46)
(x) = 1
00 (x) = 0
(x) = 2x
0 (x) = 2 ,
temos
(x) = x
00 (x) = 0
(x) = x + 1
0 (x) = 1 ,
temos
x(Ln (x))00 + (x + + 1)(Ln (x))0 + nLn (x) = 0 , > 1 ,
3.1 Introducao
Vamos ver como obter as funcoes geradoras dos polinomios ortogonais classicos, a
partir da formula de Lagrange.
Comecaremos por catalogar as medidas classicas. Demonstramos depois o Teorema
de Lagrange e aplicamo-lo na determinacao das funcoes geradoras correspondentes
as quatro famlias de polinomios ortogonais classicos.
Terminamos com um metodo para obter os coeficientes da relacao de recorrencia a
tres termos, para algumas sequencias de polinomios ortogonais classicos.
32
3.2 Estudo da Equacao de Pearson 33
ou seja, fazendo
P1
= (x)
k1
temos
w0 0
= ,
w
que e uma equacao de Pearson. Concluimos pois, que uma funcao peso associada a
uma famlia classica de polinomios ortogonais, e solucao de uma equacao de Pearson
com a forma
w = (w)0 .
lim xm (x)w = 0
xc
lim xm (x)w = 0 ,
xd
para qualquer m Z+
0 .
Estas solucoes sao definidas-positivas nos respectivos intervalos de definicao, (c, d), nos
casos Hermite, Laguerre e Jacobi. No caso dos polinomios de Bessel, w e quase-
definida, no intervalo (c, ) . Nesses intervalos as medidas tem momentos finitos,
isto e, existem e sao finitas as integrais
Z d
n = xn ydx, n = 0, 1, .
c
Vamos obter as funcoes peso que resolvem (3.2.1), correspondentes aos polinomios
ortogonais classicos de medida definida-positiva.
1 dy
= + .
y dx xd xc
ln |y| = ln |x d| + ln |x c| + K, KR
y = k |x d| |x c| , k R.
Para que existam os momentos (3.2), estes nao podem ser calculados em inter-
valos infinitos, porque para algum inteiro positivo n teriamos n + + > 1 ,
e o momento de ordem n nao existiria. Agora, pretendemos que y seja uma
funcao real, e que se cumpra o enunciado do teorema 3.2.1. Se nao impuser-
mos restricoes sobre e , isso acontecera no intervalo c x d . Nesse
intervalo, podemos escrever a solucao da forma
y = k(x d) (x c) .
Para que a funcao seja definida positiva em (c, d) , tem que ser k > 0 , e
tambem , > 1, para que o momento de ordem zero exista.
A equacao (3.2) representa a funcao peso associada aos polinomios de Jacobi.
3.3 Invariancia do Tipo de Intervalo de Ortogonalidade 35
1 dy
=
y dx x
sendo a solucao
ln |y| = ln |x| x + K
y = kx ex
1 dy
= x
y dx
cuja solucao e
1
ln y = x2 + K, KR
2
x2
y = ke 2 , kR
(w)0 = w ,
36 Funcoes Geradoras dos Polinomios Ortogonais Classicos
Dx [ w ] = Dx [ ]w + Dx [w ] .
Como
Dx [ ] = {Dx []}x=Ax +B Dx [x] = A{Dx []}x=Ax +B ,
e
Dx [w ] = {Dx [w ]}x=Ax +B Dx [x] = A2 Dx [w]x=Ax +B ,
temos
Dx [ w ] = A2 {Dx [w]}x=Ax +B
= A2 { }x=Ax +B
= A (Ax + B) w (x )
= (x ) (x ) ,
Teorema 3.4.2 ([26]). Sejam (t) e (t) funcoes analticas numa vizinhanca de
z0 , com
(z0 ) 6= 0 , (z0 ) = 0 , 0 (z0 ) 6= 0 .
Entao z0 e polo simples de (z)/ (z), e o resduo desta funcao nesse ponto e
(z0 )
(res )(z0 ) = 0 .
(z0 )
Entao existe um valor m positivo tal que, para | u |< m, a funcao (z)/F (z) tem
um e um so polo, , no interior do crculo delimitado por e
X Dk [(z).f k (z)]z=a uk
()
= . (3.4.0)
(a)F 0 () k=0 (a) k!
2
Prova([36])
Seja m = minz fza .
(z)
i.e.
pelo que o Teorema de Rouche nos permite concluir que F e z a tem o mesmo
numero de zeros, ou seja um zero, no interior do crculo delimitado por . Seja
esse zero. Temos F () = 0 .
Seja agora (z) uma funcao analtica no interior do crculo delimitado por . Entao,
(z)
F (z)
, tem um so polo no interior de , que e .
(z) ()
O resduo de F (z)
em z = e F 0 ()
(teorema 3.4.2).
Aplicando a formula dos resduos
Z Z
() 1 (z) 1 (z)
0
= dz = dz .
F () 2i F (z) 2i z a uf (z)
uf (z)
Como | za
|< 1, temos
1 1 1 1 X f k (z) k
= . = . u
z a uf (z) z a 1 u.f (z) z a k=0 (z a)k
za
e fica
(z).f k (z) k
Z
() X 1
= u dz .
F 0 () k=0 2i (z a)k+1
3.5 Aplicacao aos Polinomios Ortogonais Classicos 39
Utilizando a forma integral para a k-esima derivada de uma funcao g(z) no ponto
z=a (derivada essa que vamos representar por Dk g(a)),
Z
k k! g(z)
D g(a) = dz ,
2i (z a)k+1
temos
X Dk [(z).f k (z)]z=a uk
()
= , (3.4.0)
(a)F 0 () k=0 (a) k!
que e a formula de Lagrange. 2
Fazendo para cada famlia de polinomios ortogonais, as seguintes substituicoes na
equacao (3.4)
(x) = w(x) f (x) = (x) a=x,
temos
1 w() X 1
k k uk
= D [w(x). (x)] . (3.4.0)
w(x) F 0 () w(x) k!
k=0
1
Como w(x)
Dk [w(x). k (x)] e uma formula de Rodrigues, o primeiro membro de (3.4)
e uma funcao geradora.
Vamos utilizar o teorema de Lagrange, para obter as funcoes geradoras dos polinomios
de Hermite, Laguerre, Jacobi e Bessel.
1. Polinomios de Hermite
Fazendo as seguintes substituicoes na formula de Lagrange, (3.4)
2
(x) = w(x) = ex
f (z) = (z) = 1
F (z) = z x u
F (z) = 0 z = x + u =
F 0 (z) = 1
F 0 () = 1
2
() = w() = e(x+u) ,
40 Funcoes Geradoras dos Polinomios Ortogonais Classicos
temos
1 w() 2 2
0
= ex e(x+u)
w(x) F ()
k
x2 k x2 u
X
= e D [e ]. .
k=0
k!
2. Polinomios de Laguerre
Fazendo as seguintes substituicoes na formula de Lagrange (3.4)
f (z) = (z) = z
F (z) = z x uz
x
F (z) = 0 z = =
1u
F 0 (z) = 1 u
F 0 () = 1 u
x 1u
x
() = w() = ( ) e ,
1u
temos
1 w() x x
0
= x x
e +1
e 1u
w(x) F () (1 u)
1 xu
= +1
e 1u
(1 u)
X uk
= x ex Dk [x+k ex ]. .
k=0
k!
3. Polinomios de Jacobi
Facamos as substituicoes abaixo indicadas, na formula de Lagrange, (3.4).
(x) = w(x) = (1 x) (1 + x)
f (z) = (z) = 1 z 2
F (z) = z x u(1 z 2 )
p
1 1 + 4u(u + x)
F (z) = 0 z = .
2u
Como limu0 F (z) = x, se tomamos a raz que corresponde ao sinal - a esquerda
do radical, e limu0 F (z) = , se tomamos a raz que corresponde ao sinal + a
esquerda do radical, temos
p
1 + 1 + 4u(u + x)
= .
2u
Substituamos ainda
F 0 (z) = 1 + 2zu
p
F 0 () = + 1 + 4u(u + x)
1 1 + 4u(u + x) 1 1 + 4u(u + x)
p p
() = w() = 1 + 1 .
2u 2u
Fazendo
p
R= 1 + 4u(u + x) ,
temos
1 w() 1 1R 1R
= 1+ 1
w(x) F 0 () (1 x) (1 + x) R 2u 2u
k
X 1 k +k +k u
= D [(1 x) (1 + x) ] .
k=0
(1 x) (1 + x) k!
Designando a funcao geradora por G(x, u) , temos
X k
1 1R 1R , u
G(x, u) = 1 + 1 = P k ,
(1 x) (1 + x) R 2u 2u k=0
k!
42 Funcoes Geradoras dos Polinomios Ortogonais Classicos
4. Polinomios de Bessel
Os polinomios de Bessel, tem a sua funcao peso definida sobre o crculo unitario.
Sao ortogonais no sentido quase-definido (cf. definicao 1.2.5).
E-lhes aplicavel o teorema de Lagrange. Facamos as substituicoes abaixo indicadas,
na formula de Lagrange, (3.4).
f (z) = (z) = z 2
F (z) = z x uz 2
1 1 4ux
F (z) = 0 z = .
2u
Substituamos ainda
F 0 (z) = 1 2zu
F 0 () = 1 4ux
1 1 4ux 4u
() = w() = exp .
2u 1 1 4ux
Temos
1 w() 2/x 1 1 4ux 4u
0
=x e exp 1 4ux
w(x) F () 2u 1 1 4ux
X uk
= x e2/x Dk [x+2k e2/x ] .
k=0
k!
3.6 Relacao de Recorrencia a Tres Termos 43
2
G(x, u) = e2xuu ,
temos
G(x, u) 2
= (2x 2u)e2xuu = (2x 2u)G(x, u) .
u
Substituindo nesta expressao G(x, u) pelo seu desenvolvimento em serie,
un
G(x, u) = H0 + H1 u + + Hn + ,
n!
fica
un1 un1 un
[H1 +H2 u+ +Hn + ] = (2x2u)[H0 +H1 u+ +Hn1 +Hn + ] .
(n 1)! (n 1)! n!
1 2x 2
Hn+1 = Hn Hn1 ,
n! n! (n 1)!
i.e.
Hn+1 2xHn + 2nHn1 = 0 ,
2. Polinomios de Laguerre
Derivando em ordem a u a funcao geradora
1
G(x, u) = . exp(xu)/(1u) ,
(1 u)+1
temos
G(x, u) 1
= [ expxu/(1u) ]
u u (1 u)+1
expxu/(1u) x +1
= [ + ]
(1 u)+1 (1 u)2 1 u
x +1
= G(x, u)[ 2
+ ]
(1 u) 1u
i.e.
G(x, u)
(1 u)2 + [x ( + 1) + ( + 1)u)]G(x, u) = 0 .
u
un
G(x, u) = Lo + L1 .u + + Ln + ,
n!
fica
un2 un1 un
(1 2u + u2 )[ + Ln1 + Ln + Ln+1 + ] +
(n 2)! (n 1)! n!
n1 n
u u
+[x ( + 1) + ( + 1)u][ + Ln1 + Ln + ] = 0 .
(n 1)! n!
Finalmente
kn
Pn (x) = Dn [w(x). n (x)],
w(x)
(iv) Sao ortogonais com respeito a uma funcao peso, w, que satisfaz uma equacao
diferencial do tipo Pearson
w0 (x) P (x)
= ,
w(x) (x)
Estas propriedades sao equivalentes, i.e., cada uma delas pode ser usada para definir
sequencias de polinomios ortogonais classicas. Por outro lado, a inversa de cada uma
das propriedades (i)-(iv) e valida, o que significa que, uma sequencia de polinomios ,
{Pn (x)}, que satisfaca alguma destas propriedades, e necessariamente uma sequencia
46 Funcoes Geradoras dos Polinomios Ortogonais Classicos
Existe tambem uma famlia classica de medida quase-definida, que sao os polinomios
de Bessel, caracterizados na tabela seguinte ([23]).
Pn I ( w
0 se x = 0
Bn x2 2(x + 1) circ. unitaria x2
R 2 t 1
e t e 4 sent 4
e x t2 dt se x > 0
Captulo 4
4.1 Introducao
47
48 Teoria Geral dos Polinomios Ortogonais de Duas Variaveis
sendo os a0 s reais.
(i) grau(pnj,j ) = n , 0 j n;
Definicao 4.2.4 ([19]). Dada a sequencia de polinomios, {Pn }, onde pnj,j (x, y) =
Pn n nk k
k=0 ajk x y + ( termo de Pn1 ) , 0 j n, diz-se normalizac~ ao de {Pn }, a
sequencia de polinomios {Pn }, definida por Pn = A1 n n
n Pn , com An = [ajk ]j,k=0 , n
com
0
0
an1 an1 an2 an2
0 00 0,n1 0 0 00 0,n2 0
xn1
0 an1 an1 0 0 an2 an2 xn2
10 1,n1 xn2 y 10 1,n2
Qn1
= . + . xn3 y +
.. .. .. .. .. .. .. .. .. ..
. . . .
. . . . . ..
.
0 an1 an1 0 0 an2 n2
an,n2 .
n,0 n,n1 y n1 n,0 n2
y
0
0 0 a000
0
0 0 a010
+ + ..
.. .. .. .
.. .
. . . .
0
0
0 0 an,0
1
Temos entao
xn
xn1 y
Pn = A1
n Pn = + A1
n Qn1 (4.2.0)
..
.
yn
Corolario 4.2.1. Dada uma sequencia de polinomios , {Pn }, as matrizes de nor-
malizacao, An , sao unicas.
mn = hw, (xm y n )i
ZZ
= xm y n w(x, y)dxdy = hw, xm y n i . (4.2.0)
D
Definicao 4.2.6 ([19]). Dada uma funcao peso, w, para a qual existam os mo-
mentos definidos em (4.2.1), dizem-se determinantes de Hankel de w, os de-
terminantes definidos da forma
0,0 1,0
0,n
1,0 2,0 1,n
n = .. , n0 .
.. .. ..
. . . .
0,n 1,n 0,2n
(n+1)(n+2)
A matriz n , e uma matriz de ordem 2
, sendo a primeira linha constituida
pelos elementos
00 , 10 , 01 , 20 , 11 , 02 , , n0 , n1,1 , , 0n ,
50 Teoria Geral dos Polinomios Ortogonais de Duas Variaveis
(i, j) = (1, 0), (0, 1), (2, 0), (1, 1), (0, 2), , (n, 0), (n 1, 1), , (0, n) .
Teorema 4.2.1 ([19]). Para qualquer sequencia de polinomios , {Pn }, existe uma
unica funcional de momentos (a menos de um factor constante nao nulo), w, dita
funcional de momentos canonica de {Pn }, definida a partir dos seus momentos
por
hw, 1i = 1 , hw, Pn i = 0, n = 1, 2, ,
Prova
Definir a funcional de momentos w, corresponde a definir os momentos mn , m, n =
0, 1, 2, .
Seja
00 = hw, 1i = 1 .
Entao
a100 hw, xi + a101 hw, yi + a000 hw, 1i
hw, p10 i
hw, P1 i = 0 =0 =0, (4.2.0)
hw, p01 i a110 hw, xi + a111 hw, yi + a010 hw, 1i
sendo os coeficientes
os referidos na observacao da pagina 48.
a100 a101
Como 1 6= 0 (cf. a definicao 4.2.4, pg.48), entao 10 = hw, xi e 01 =
a10 a111
hw, yi, ficam definidos de forma unica. E imediato verificar que esta unicidade de
definicao se estende a todos os momentos ij , i, j = 0, 1, . 2
4.2 Propriedades Gerais 51
hw, Pm PnT i = 0, m 6= n .
Se alem disso for nao singular e diagonal a matriz Hn := hw, Pn PnT i , n 0, entao
{Pn } diz-se sequ^
encia de polinomios ortogonais relativamente a w.
(i)
pm0
pm1,1
hw, Pm PnT i
= hw, pn0 pn1,1 p0n i
..
.
p0m
hw, pm0 pn0 i hw, pm0 p0n i
=
.. ... ..
. .
hw, p0m pn0 i hw, p0m p0n i
temos
n
X n
X n
X
hw, pnj,j pmi,i i = hw, as pns,s bk pnk,k i = hw, pns,s pmk,k i = 0, m 6= n.
s=0 k=0 s,k=0
(4.2.-2)
52 Teoria Geral dos Polinomios Ortogonais de Duas Variaveis
Prova
w
h, xi y j i = h , xi y j i, i, j = 0, 1,
c
hw, (A1 1 T 1 T 1 T
n Pn )(An Pn ) i = hw, An Pn Pn (An ) i
= A1 T 1 T
n hw, Pn Pn i(An ) . (4.2.-2)
4.2 Propriedades Gerais 53
Os dois lemas seguintes, enunciam resultados que vao ser usados na demonstracao
do teorema 4.2.3.
Lema 4.2.2 ([20]). Seja {Pn } uma sequencia de polinomios fracamente ortogonal,
correspondente a uma dada funcional w. Entao para cada n, o espaco vectorial
Vn (cf. (ii), na observacao da pg.51), tem uma base {qn0 , , q0n }, satisfazendo a
condicao
0, k 6= j
hw, qnk,k qnj,j i = (4.2.-2)
K 6= 0, k = j
sendo K um parametro dependente de n e j, e k, j = 0, 1, , n.
Observacao.
A base que satisfaz (4.2.2) nao e unica. De facto, uma transformacao ortogonal
sobre uma base para o espaco Vn , produz uma outra base, para a qual e valida
(4.2.2).
54 Teoria Geral dos Polinomios Ortogonais de Duas Variaveis
(iv) Existe uma sequencia de polinomios fracamente ortogonal, monica, {Pn }, rel-
ativa a w, tal que Hn := hw, Pn PTn i e nao singular.
Prova
(i)(iii)
O resultado do lema 4.2.1 e (i), permitem construir uma sequencia de polinomios
monica, {Pn }, com
T
Pn = pn0 p0n ,
e
pnj,j = xnj y j + (termo de Pn1 ) , 0 j n ,
de forma a termos
pnj,j Pn1 , 0j n,
isto e,
hw, Pm PnT i = 0 , m 6= n .
monica e unica.
(iii)(i)
Teorema 4.2.4 ([20]). Seja {Pn } uma sequencia de polinomios , com Pn = [pn0 p0n ]T .
Entao um polinomio qualquer de grau n, Qn , e representavel por uma combinacao
56 Teoria Geral dos Polinomios Ortogonais de Duas Variaveis
linear unica dos elementos dos vectores Pk , k = 0, .., n, nao contendo elementos de
nenhum vector Pj , j > n.
Prova
Imediato, pelo facto de os termos homogeneos de grau menor ou igual a k de
Qn (x, y), serem gerados pelos polinomios de Vk de forma unica, k = 0, 1, , n. 2
Prova([20])
() Imediato.
() Se Qn = 0, entao Qn Vn .
Seja Qn nao identicamente nulo, grau(Qn )=n e Qn Pn1 , com
n
X
Qn (x, y) = aj xnj y j + Rn1 (x, y)
j=0
Podemos escrever
hw, Rn1 x0 y 0 i = 0
hw, Rn1 x1 y 0 i = 0
hw, Rn1 xi y j i = 0
hw, Rn1 x0 y n1 i = 0
4.3 Teorema de Favard 57
Entao, aij = 0 , 0 i + j n 1, o que implica Rn1 = 0, e portanto a equacao
(4.2) representa Qn (x, y) como combinacao linear dos elementos do vector Pn . 2
Prova([20])
Se Qn = 0, entao os segundos membros da equacao (4.3.1) sao nulos, sendos nula
cada uma das tres parcelas respectivas.
58 Teoria Geral dos Polinomios Ortogonais de Duas Variaveis
O lema 4.2.2, pg.53, diz-nos que, para cada espaco Vn existe uma base que verifica
a condicao na equacao (4.2.2) .
Seja entao {qj0 , , q0j } a base nessa condicao, associada a Vj , (0 j n 2) .
Pode escrever-se
n2
X n2
X
Rj = aij qij
j=0 i+j=0
porque Qn Vn e grau(xqij ) n 1.
Entao tem que ser aij = 0 , 0 i + j n 2, e a equacao (4.3) fica
Pn = Gn xn + Gn1 xn1 + ,
4.4 Equacao Diferencial de Segunda Ordem as Derivadas Parciais 59
(1) Existe uma funcional linear definida positiva, relativamente a qual {Pn } e
ortonormal.
(2) Existem matrizes An,i e Bn,i , , i = 1, 2, tais que a) a sequencia {Pn } sa-
tisfaz a relacao (4.3); b) a caracterstica das matrizes An,i e Bn,i , e igual
a n + 1.
Teorema 4.4.2 ([20]). Se (4.4.1) e admissvel, entao nao existem solucoes polino-
miais nao nulas para 6= 0 , 1 , . Alem disto, para = n , n = 0, 1, , as
unicas solucoes polinomiais da equacao diferencial, sao as correspondentes ao espaco
Vn , gerado pelas n + 1 solucoes referidas na definicao 4.4.1 .
(i) 0 = 0, m 6= n , (m 6= n)
n
X ak
(ii) n = n! , n = 1, 2, ,
k=1
(n k)!
sendo os ak constantes, coeficientes dos monomios de grau mais elevado dos
polinomios coeficientes da equacao diferencial, tais que (k > r) (ak = 0).
Prova([20])
Fazendo r = 1 em (4.4.1), temos
x h1 y h2
x= y= ,
a a
ax vx (x , y ) + ay vy (x , y ) + n v(x , y ) = 0, (4.4.0)
h1 h2 dv dx dv dy
sendo v(x , y ) = u(x + a
, y + a
) e ux = dx dx
= vx a , uy = dy dy
= vy a .
Para simplificar a notacao, escreve-se a equacao (4.4) da forma
Suponhamos agora que (4.4) e admissvel, i.e., existe uma sequencia de polinomios
fracamente ortogonal, monica e unica, que satisfaz, para cada n, a equacao (4.4) .
A essa sequencia de polinomios fracamente ortogonal, corresponde uma sequencia
de espacos vectoriais {Vn } (cf. (ii) na Observacao da pagina 51). Uma base monica
para Vn e {pnk,k = xnk y k }, k = 0, 1, , n, ja que cada um dos monomios
xnk y k e solucao de (4.4) . Pelo lema 4.2.2, pg.53 para cada n existe uma base
Vn = span{qn0 , , q0n }, tal que
= 0 , k 6= j
hw, qnk,k qnj,j i
K 6= 0 , k = j ,
2
vez que, por hipotese, (4.4) e admissvel. Entao, cada qnk,k e polinomio homogeneo
de grau 2n, e por consequencia uma combinacao linear de {p2ns,s = x2ns y s }, s =
0, 1, , 2n. Temos por isso
2n
X
2
(qnk,k ) = cs p2ns,s
s=0
sendo os cs constantes, e
2n
X
hw, qnk,k .qnk,k i = hw, cs p2ns, s i
s=0
2n
X
= cs hw, p2ns, s i = 0 ,
s=0
x = Ax + By e y = Cx + Dy , (4.4.-3)
x y
u x = v x = v x + vy
x x
= vx A1 + vy C1
x y
u y = v y = v x + vy
y y
= vx B1 + vy D1
4.4 Equacao Diferencial de Segunda Ordem as Derivadas Parciais 63
ax + h1 = a(Ax + By ) + h1
ay + h2 = a(Cx + Dy ) + h2 ,
com
n = n[(n 1)a + g] , (4.4.-10)
e
g + na 6= 0 (n = 0, 1, ) . (4.4.-10)
Prova
Que a equacao diferencial, (4.4.1), toma para r = 2 a forma (4.4.5), e consequencia
da proposicao 4.4.3,(iii), pg.60. Da mesma proposicao, (ii), vem a equacao (4.4.5),
porque
n
X ak
n = n! (n = 1, 2, )
k=1
(n k)!
a1 a2
= n![ + ]
(n 1)! (n 2)!
= n[a1 + (n 1)a2 ] ,
(k 1)a + g 6= 0 .
Prova
Sejam Q1 , Q2 , , Qn polinomios satisfazendo uma equacao diferencial do tipo
(4.4.5). Entao qualquer combinacao linear desses polinomios satisfaz essa equacao.
Ora Pn = A1
n Pn e uma coluna de vectores, sendo cada um deles uma combinacao
Teorema 4.5.1 ([20]). Seja {Pn }, uma sequencia de polinomios fracamente or-
togonal, monica e unica, associada a medida w, com Pn = [pn0 pn1,1 p0n ]T .
Entao, para cada n, temos
n,ij (x, y)
pij (x, y) = , i+j =n (4.5.0)
n1
sendo n,ij (x, y) o determinante de ordem 1 + 12 n(n + 1), obtido da matriz corres-
pondente ao determinante de Hankel n1 , da forma:
(ii) Acrescentar na matriz resultante em (i), uma linha abaixo da ultima, cujos
elementos sao
1, x, y, , xn1 , xn2 y, , y n1 , xi y j .
hT, xm y n i = mn , m, n = 0, 1, .
pmn Pm+n1 ,
Krall e Sheffer ([20]) mostram que as sequencias polinomiais que sao solucoes da
equacao diferencial (4.4.5), pg.64, sao pelo menos sequencias de polinomios fraca-
mente ortogonais generalizadas. O teorema seguinte, refere os aspectos mais impor-
tantes que levaram a essa caracterizacao.
com m, n = 0, 1, ,
e
Dmn = Cm1,n Bm,n1 , m, n 1 ,
verifica-se o seguinte.
transformado de Dmn , mn 6= 0 transformado de mn 6= 0, pmn transfor-
mado de pmn , entao temos Amn = 0 e Dmn
= 0, isto e, {pmn } e sequencia
de polinomios fracamente ortogonal generalizada.
1. Polinomios de Hermite
2. Polinomios de Laguerre
(,) (,)
{Lnk,k (x, y), k = 0, 1, , n} , com Lnk = Lnk (x)Lk (y)
Equacao Diferencial :
3. Polinomios de Hermite-Laguerre
{Pnk,k (x, y), k = 0, 1, , n} , comPnk = Hnk (x)Lk (y)
2
Funcao Peso : w(x, y) = y eyx
4. Polinomios de Laguerre-Hermite
{Pnk,k (x, y), k = 0, 1, , n} , com Pnk = Lnk (x)Hnk (y)
2
Funcao Peso : w(x, y) = x exy
5. Polinomios Circulares
Domnio de Ortogonalidade : x2 + y 2 1
Equacao Diferencial :
6. Polinomios Triangulares
Equacao Diferencial :
Generalizacao da Formula de
Lagrange
5.1 Introducao
Definicao 5.2.1 ([18]). Diz-se que o operador L[.] em (5.2) pertence a classe
basica, se e somente se
Ay = Cx = 0
71
72 Generalizacao da Formula de Lagrange
isto e
C(x, y) = C(y) = ay 2 + e3 y + f3 .
(ii) pn0 (x, y) = pn0 (x) e p0n (x, y) = p0n (y), n 0, i.e., pn0 (x, y) e p0n (x, y) sao
funcoes respectivamente de x e de y.
(iii) p20 (x, y) = p20 (x) e p02 (x, y) = p02 (y), i.e., p20 (x, y) e p02 (x, y) sao funcoes
respectivamente de x e de y.
e
C(p0n )yy + E(p0n )y = n p0n , n 0.
e
C(p02 )yy + E(p02 )y = 2 p02 .
Neste caso, {pn0 (x)} e {p0n (y)} sao sequencias de polinomios fracamente
ortogonais em uma variavel, e podemos representar {Pn } na forma
m1
XX n1
(mn)
pmn (x, y) = pm0 (x)p0n (y) + cij pi0 (x)p0j (y) , m, n 0 ,
i=0 j=0
5.2 Polinomios Pertencentes a Classe Basica 73
(mn)
sendo os cij parametros numericos dependentes de m e n.
Mais ainda, se a funcional de momentos canonica de {Pn } e definida-posi-
tiva, entao {pn0 (x)} e {p0n (y)} sao sequencias de polinomios ortogonais
classicas, definidas positivas.
O resultado que se segue fornece condicoes suficientes para que a sequencia poli-
nomial {Pn } , solucao da equacao admissvel (5.2), seja igual ao produto de duas
sequencias de polinomios monicos em uma variavel.
Teorema 5.2.2 ([18]). Sejam {Pn } uma sequencia de polinomios monicos, solucao
da equacao admissvel (5.2), a funcional canonica de {Pn }, e Ay = Cx = B = 0.
Entao, verifica-se o seguinte.
(i) pn0 (x, y) = pn0 (x) e p0n (x, y) = p0n (y) , e pmn (x, y) = pm0 (x)p0n (y), m, n 0.
. {pn0 (x)} e {p0n (y)} sao sequencias de polinomios ortogonais classicas (re-
spectivamente, sequencias de polinomios ortogonais classicas definidas-
positivas).
tram que a sequencia polinomial solucao da equacao diferencial 7, seccao 4.6, nao e
definida-positiva.
Diz-se que L[.] e simetrizavel se existe uma funcao s(x, y), nao nula, tal que
s(x, y) tem derivadas de segunda ordem contnuas em algum aberto, e s(x, y)L[.] e
simetrico. Neste caso, s(x, y) diz-se factor de simetria de L[.] .
ditas equac~
oes de simetria.
Teorema 5.3.2 ([19]). Se a equacao (5.2) tem como solucao uma sequencia de
polinomios ortogonais, {Pn } , entao L[.] e simetrizavel.
Suponha-se entao que o operador L[.] em (5.2) e simetrizavel e que w(x, y) , nao
identicamente nula, e um factor de simetria de L[.] . Entao w e qualquer solucao
nao identicamente nula das equacoes de simetria:
isto e
[C(Ax + By D) + B(Bx + Cy E)]w
wx =
AC B 2
[A(Bx + Cy E) + B(Ax + By D)]w
wy = .
AC B 2
Fazendo
= B 2 AC
= C(Ax + By D) B(Bx + Cy E)
= A(Bx + Cy E) B(Ax + By D) ,
podemos escrever
wx = w
wy = w
O teorema seguinte garante que nos casos de interesse, B 2 AC nao e identicamente
nula.
Teorema 5.3.3 ([19]). Se a equacao (5.2) tem uma sequencia de polinomios or-
togonais como solucao entao B 2 AC e nao identicamente nula, em qualquer
subconjunto aberto do plano.
A = A1 A 2 , B = A1 B1 C1 , C = C1 C2
= A1 C1 0 , = C1 0 , = A1 0 ,
sendo
0 = A1 B12 C1 A2 C2
0 = A1 B1 (E Bx Cy ) C2 (D Ax By )
0 = B1 C1 (D Ax By ) A2 (E Bx Cy ) .
76 Generalizacao da Formula de Lagrange
com
p = A1 0 , q = C1 0 .
AC B 2 AC
Notar que 0 = A1 B12 C1 A2 C2 = B1 B A1 C1
= A1 C1
. Como B 2 AC nao e
identicamente nula, o mesmo acontece com 0 , p = A1 0 e q = C1 0 . Tambem
grau(0 ) grau() 2
grau(0 ) grau() 2 .
Teorema 5.3.4 ([19]). Seja {Pn } uma sequencia de polinomios fracamente or-
togonal, solucao da equacao (5.2). Seja a respectiva funcional canonica de
momentos, tal que
px = 0 , qy = 0 . (5.3.-18)
(i) Se
xm yn [pm q n ] = mn ,
h, xk y l mn i = 0, 0 k + l m + n, (k, l) 6= (m, n) .
Prova([19])
(i),(ii)
Suponhamos que se verifica (5.3.4). Entao, para qualquer polinomio = (x, y) e
quaisquer inteiros m e n, temos
Fazendo
1 = mpx + nA1 (0 )x + px + 0
temos
x (pm q n ) = (pm1 q n 1 ) .
78 Generalizacao da Formula de Lagrange
y (pm q n ) = (pm q n1 2 ) ,
com
2 = mC1 (0 )y + nqy + qy + 0 .
com
yn xm (pm q n ) = n+m ,
com
Fazendo 1, temos grau(mn ) 2(m + n). Por outro lado, se for grau(p, q) 2
e grau(0 , 0 ) 1 , entao (5.3) escreve-se
e (5.3) fica
grau() grau(n+m ) grau() + (n + m) .
Fazendo
1,
temos
yn xm (pm q n ) = mn ,
com
grau(mn ) m + n .
xm y n + rm+n1 Pm+n1 .
que contradiz o lema, a menos que seja mn identicamente nulo. Temos entao
xm yn (pm q n ) = 0 , pelo que p 0 ou q 0 , o que e uma contradicao. Entao,
grau(mn ) = m + n e h, xm y n mn i =
6 0 , para m, n 0 .
Vamos tambem mostrar que os {nj,j }nj=0 , n = 0, 1, , , sao linearmente
80 Generalizacao da Formula de Lagrange
n . Por (5.3.4), temos h, (x, y)(x, y)i = 0, para qualquer (x, y) Pn1 .
Como e quase-definida, resulta (x, y) 0 . Como consequencia temos
h, (x, y)xnk y k i = Ck h, nk,k xnk y k i = 0 , 0 k n , o que implica
C0 = C1 = = Cn = 0 . {n } e entao uma sequencia de polinomios fraca-
mente ortogonal, relativamente a . Alem disto, {n } tambem satisfaz a equacao
diferencial correspondente a {Pn } (cf. teoremas 4.2.3, pg.54, e 4.4.6, pg.65). 2
Corolario 5.3.1.
5.4 Exemplos
Equacao diferencial.
5.4 Exemplos 81
Equacao 5, pg.69.
A = x2 1 B = xy C = y2 1 D = gx E = gy
A1 = C1 = 1 B1 = B = xy A2 = x 2 1 C2 = y 2 1 ,
0 = x2 y 2 (x2 y 2 x2 y 2 + 1) = x2 + y 2 1
Temos entao
= 0 = p = q = x2 + y 2 1 .
1 m n 2
x y [(x + y 2 1)m+n w] = mn (x, y) , m, n 0 ,
w
sendo
g3
w(x, y) = (x2 + y 2 1) 2 ,
3g g3
mn (x, y) = (x2 + y 2 1) 2 xm yn [(x2 + y 2 1) 2
+m+n
]
com grau(mn ) = m + n e m, n 0 .
Equacao diferencial.
Equacao 6, pg.70.
A = x2 x B = xy C = y2 y
D = ( + + + 3)x (1 + ) E = ( + + + 3)y (1 + )
A1 = x B1 = 1 A2 = x 1 C1 = y C2 = y 1 .
0 = xy (x 1)(y 1) = x + y 1 .
Temos entao
p = A1 0 = x(x + y 1) , q = C1 0 = y(x + y 1) .
1 m n m n
[x y (x + y 1)m+n w] = mn (x, y) , m, n 0 ,
w x y
sendo
w(x, y) = x y (x + y 1) ,
com grau(mn ) = m + n .
Observacao. Note-se que as formulas de Rodrigues encontradas para os polinomios
5.5 Extensao da Formula de Lagrange 83
Vamos demonstrar uma extensao para duas variaveis do teorema de Lagrange, 3.4.3,
pg.37. Para tal, e necessario o seguinte lema.
Lema 5.5.1 (Favard, [11]). Sejam f (z1 , z2 ) e (z1 , z2 ) funcoes holomorfas num
domnio D, anulando-se (z1 , z2 ) no ponto (1 , 2 ) D e tendo neste ponto
derivadas parciais de primeira ordem nulas, de modo que
Prova
A igualdade = a11 (z1 1 )2 + 2a12 (z1 1 )(z2 2 ) + a22 (z2 2 )2 + , pode
escrever-se da forma
= a11 (z1 1 )2 +2a12 (z1 1 )(z2 2 )+a22 (z2 2 )2 k(z1 1 , z2 2 )kR2 (z1 1 , z2 2 ),
com lim(z1 ,z2 )(1 ,2 ) R2 = 0 . Fazendo G = a11 (z1 1 )2 + 2a12 (z1 1 )(z2 2 ) +
a22 (z2 2 )2 , temos
Z Z
1 f 1 f 1
2 dz1 dz2 = 2 dz1 dz2 .
4 1 2 4 1 2 G 1 k(z1 1 , z2 2 )kR2 /G
84 Generalizacao da Formula de Lagrange
f
Como G
(k(z1 1 , z2 2 )kR2 )n /Gn e analtica para n > 0, no domnio limitado
definido por 1 2 , temos
Z Z
1 f 1 f
2 dz1 dz2 = 2 dz1 dz2 .
4 1 2 4 1 2 G
f (t1 , t2 )
Z
1
I= 2 dt1 dt2 ,
4 1 2 1 t21 + 2 t22
temos
p p
2 1 t1 = v1 + v2 , 2 2 t2 = v2 v1 ,
f (v1 , v2 )
Z
1 1
q
I= 2 dv1 dv2 = f (0, 0)/(2 a212 a11 a22 ),
4 1 2 v1 v2 2 1 2
1 = z1 a1 u1 f1 (z1 , z2 ) = 0
2 = z2 a2 u2 f2 (z1 , z2 ) = 0,
Prova([19])
Vamos mostrar que
um n m+n
Z Z
1 f X
1 u2
2 dz1 dz2 = m n
(f f1m f2n ) ,
4 1+ 2+ 1 2 m,n=0
m!n! z 1 z 2
Facamos G = 1 2 . Temos
1 2G 1 2 1 1 2 1 2 2
a11 = = 2 + + 1 2
2 z12 2 z12 z1 z1 2 z1
1 2G 2
1 1 1 2 1 1 2 1 2 2
a12 = = 2 + + + 1
2 z1 z2 z1 z2 2 z1 z2 2 z2 z1 2 z1 z2
1 2G 2
1 1 1 2 1 2 2
a22 = = +
2 2
+ 1 2 .
2 z22 2 z2 z2 z2 2 z2
No ponto 1 , 2 , fica
1 2
a11 =
z1 z1
1 1 2 1 1 2
a12 = +
2 z1 z2 2 z2 z1
1 2
a22 = ,
z2 z2
5.6 Exemplos de Funcoes Geradoras 87
e
s 2
1 1 2 1 1 2 1 2 1 2
q
2
2 a12 a11 a22 = 2 + ,
2 z1 z2 2 z2 z1 z1 z1 z2 z2
ou seja
s 2
1 2 1 2 D(1 , 2 )
q
2 a212 a11 a22 = = .
z1 z2 z2 z1 D(z1 , z2 ) (1 ,2 )
1. Polinomios de Hermite
2 +y 2 )
f (z1 , z2 ) = w(z1 , z2 ) = exp(x
f1 (z1 , z2 ) = 1 = (z1 )
f2 (z1 , z2 ) = 1 = (z2 ) .
1 = z1 a1 u1 = 0
2 = z2 a2 u2 = 0 .
Temos
z1 = u1 + a1 = 1
z2 = u2 + a2 = 2 .
88 Generalizacao da Formula de Lagrange
com
D(1 , 2 )
=1.
D(z1 , z2 )
2. Polinomios Circulares
g3
f (z1 , z2 ) = w(z1 , z2 ) = (1 z12 z22 ) 2
1 = z1 a1 u1 (z12 + z22 1) = 0
2 = z2 a2 u2 (z12 + z22 1) = 0 .
De (5.6) vem
u1 z12 z1 + a1 + u1 (z22 1) = 0
p
1 1 4u1 [a1 + u1 (z22 1)]
z1 = .
2u1
Se u1 0 , entao uma raz de (5.6) tende para infinito e a outra para a1 . Como
a1 pertence ao domnio limitado definido pelo caminho de integracao 1 , o zero
5.6 Exemplos de Funcoes Geradoras 89
= [2u21 (z2 a2 )]2 + 4u21 (z2 a2 )(1 + 2u1 a1 )u2 + u22 (1 + 2u1 a1 )2
isto e
u22 (1 4u1 (a1 + u1 (z22 1))) = 4u41 z22 + [4u21 u2 (1 + 2u1 a2 ) 8a2 u41 ]z2 + 4u41 a22
1 B a1
4u21
4u21 u22
u1
+ 1 = z22 . (5.6.-31)
90 Generalizacao da Formula de Lagrange
De (5.6), temos
2
B 2 u1 1 u21 2
2 u1
= z2 2 + [ (1 + 2u a
1 2 ) 2a 2 2 2]z + a 2 2
4u21 u22 u2 u2 u2 u2
a2 1
(1 + 2u1 a1 ) + 2 (1 4u1 a2 + 4u21 a21 )
u2 4u1
u21 +u22 2 u2 u2 a2
u22
z2 [ u12 (1 + 2u1 a2 ) 2a2 u12 ]z2 a22 u12 + u2
(1 + 2u1 a1 )
2 2
a1
4u1 2 (1 4u1 a1 + 4u21 a21 ) + 1
4u21
u1
+1=0
1
(u21 + u22 )z22 + [u2 (2u1 a1 1) 2a2 u21 ]z2 + a22 u21 a2 u2 (1 + 2u1 a1 ) +
u2 a1 2
+ 4u22 (4u1 a1 + 4u21 a21 ) [1 ]u
u1 2
=0.
1
Fazendo u1 0 temos
p
u2 u22 4u42 (1 + a21 ) 4u32 a2
limu1 0 z2 = .
2u22
Se nesta expressao fizermos u2 0 , tomando o sinal - a esquerda do radical,
temos z2 = a2 . Se tomarmos o sinal + a esquerda do radical, temos z2 = .
Como a2 pertence ao interior do caminho de integracao 2 , o zero que interessa
na formula de Lagrange e
q
2a2 u2
1 u2 (2u1 a1 1) u2 2 2 4 2 4 2 3 3 2 2 2
2 + 4u1 u2 + 4u2 4u1 u2 a1 4u2 a1 4u2 a2 + 8u1 u2 a1 a2 4u1 u2 a2
2 = .
2(u2 2
1 + u2 )
f (1 , 2 ) (1 12 22 )(g3)/2 1
G(x, y, u1 , u2 ) = =
1 + 2(u1 1 u2 2 ) (1 x y 2 )(g3)/2
2
f (a1 , a2 ) D( 1 ,2 )
D(z1 ,z2 )
m n
X
m n 2 2 g3
+m+n u1 u2
= x y [(x + y 1) 2 ,
m,n
m!n!
com
D(1 , 2 )
= (1 2u1 z1 )(1 2u2 z2 ) 4u1 u2 z1 z2 = 1 + 2(u1 z1 u2 z2 )
D(z1 , z2 )
5.6 Exemplos de Funcoes Geradoras 91
e
p
1 1 4u1 [a1 + u1 (22 1)]
1 = .
2u1
2 2 2 4
2yu2
1 u2 (2u1 x1) u2 +4u1 u2 +4u2 4u1 u2 x4u4
2 2 3 3 2 2 2
2 x 4u2 y+8u1 u2 xy4u1 u2 y
2 = 2(u2 2 .
1 +u2 )
Bibliografia
[7] F.R. Dias Agudo, Analise Real Vol. I, Escolar Editora, Lisboa, 1989.
92
Bibliografia 93
[8] F.R. Dias Agudo, Notas para um Curso de Funcoes de Variavel Complexa,
Univ. da Beira-Interior, 1996.
[15] D. Jackson, Fourier Series and Orthogonal Polynomials, Pub. by The Math.
Assoc. of America, 1941.
[16] T.H. Koornwinder, Orthogonal Polynomials in Two Variables which are Eigen-
functions of Two Algebraically Independent Partial Differential Operators, I, II,
Proc. Kon. Ned Akad. Wetensch. A 77, 1974, n.1; Indag. math. 36, 1974, n.1
pp.48-66.
[17] T.H. Koornwinder, Orthogonal Polynomials in Two Variables which are Eigen-
functions of Two Algebraically Independent Partial Differential Operators, III,
IV, Proc. Kon. Ned Akad. Wetensch. A 77, 1974, n.4; Indag. math. 36, 1974,
n.4, pp.357-381.
94 Bibliografia
[18] Y.J.Kim, K.H.Kwon, J.K. Lee, Orthogonal Polynomials in Two Variables, and
Second Order Partial Differential Equations, Jour. Comp. Appl. Math., 82,
1997, pp.239-260.
[19] Y.J.Kim, K.H.Kwon, J.K. Lee, Partial Differential Equations Having Orthogo-
nal Polynomial Solutions, Jour. Comp. Appl. Math., 99, 1998, pp.239-253.
[20] H.L. Krall, I.M. Sheffer, Orthogonal Polynomials in Two Variables, Ann. Mat.
Pure Appl., ser. 4, 76, 1967, 325-376.
[21] J. Lee, Bivariate Version of the Hahn-Sonine Theorem, Proc. of the American
Math. Soc., vol.128, n.8, 2000, pp.2381-2391 .
[22] L.L. Littlejohn, Orthogonal Polynomial Solutions to Ordinary and Partial Dif-
ferential Equations,Lect. Notes Math., vol.1329, Springer, Berlin, 1998, pp.
98-124.
[23] L.L. Littlejohn, W.D. Evans, W.N. Everitt, K.H. Kwon, Real Orthogonal
Weights for Bessel Polynomials, J. Comput. Appl. Math., 49, 1993, 51-57
[24] A.S. Lyskova, Orthogonal Polynomials in Several Variables , Soviet Math Dok-
lady, vol. 43, no 1, 1991, pp. 264-268.
[33] P.K. Suetin, Orthogonal Polynomials in Two Variables, Gorddon and Breach,
NY, OPA, 1999.
[36] E.T. Whittaker, G.N. Watson, A Course of Modern Analysis, Cambridge Uni-
versity Press, 4th Ed., 1999.