Marcelo Fernandes Furtado

Algumas Realizac oes de

Charles Hermite
Monograa apresentada junto ` a CAPES como atividade do Programa Especial de
Treinamento
Universidade de Braslia
Departamento de Matem atica
Julho de 1996
CONTE

UDO
1 Introduc ao 3
2 Notas Biogr acas 4
3 N umeros Transcendentes 9
3.1 Conceitos e denic oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
3.2 A exist encia de transcendentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
3.3 Hermite e a transcend encia do e . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
3.4 A n ao enumerabilidade dos transnitos . . . . . . . . . . . . . . . . . . . . . . . . 20
3.5 Problemas de construc ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.5.1 Duplicac ao do Cubo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
3.5.2 Trisecc ao do

Angulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
3.5.3 Quadratura do Crculo . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
3.6 Perspectivas Futuras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
4 Polin omios de Hermite 28
4.1 Mec anica Qu antica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
4.2 O Oscilador Harm onico Qu antico . . . . . . . . . . . . . . . . . . . . . . . . . . 30
4.3 A Equac ao de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
4.3.1 A quantizac ao da energia . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
4.3.2 Propriedades dos Polin omios de Hermite . . . . . . . . . . . . . . . . . . 38
4.3.3 Ortogonalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
4.4 S eries de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2
CAP

ITULO 1
Introduc ao
A presente monograa tem como objetivo apresentar os trabalhos do matem atico franc es Charles
Hermite e mostrar a import ancia destes trabalhos no desenvolvimento da ci encia, n ao s o no ramo
da matem atica, mas tamb em nas teorias fsicas origin arias da primeira metade do s eculo XX.
Devido ` a vastid ao da obra de Hermite nos concentraremos em dois trabalhos especcos. Um
deles, acerca da teoria dos n umeros transcendentes, e apontado pelos historiadores como o prin-
cipal trabalho de Hermite. O outro foi escolhido levando-se em conta a relativa simplicidade dos
argumentos bem como a sua import ancia no desenvolvimento da mec anica qu antica, que e uma
das grandes vertentes da fsica moderna.
Na parte matem atica da monograa tomamos o cuidado de argumentar da forma mais simples
possvel, sem contudo deixar de lado o rigor matem atico que tais teorias exigem. Diante da impos-
sibilidade obvia de construir todas as ferramentas matem aticas necess arias, admitimos que o leitor
possui conhecimentos equivalentes a um curso elementar de C alculo Diferencial e Integral, bem
como um curso introdut orio ` a teoria das Equac oes Diferenciais Ordin arias. Os resultados mais
modernos, que dependeriam de outros conhecimentos mais profundos, s ao enunciados acompan-
hados de refer encias bibliogr acas que trazem tais resultados demonstrados.
3
CAP

ITULO 2
Notas Biogr acas
Charles Hermite nasceu emDieuze, Franca, em24 de dezembro de 1822. Ele e umexemplo raro da
perfeita combinac ao entre g enio criativo e capacidade de dominar o melhor dos trabalhos de outros
matem aticos. Isto lhe permitiu conciliar as criac oes aritm eticas de Gauss com as descobertas de
Abel e Jacobi a respeito das func oes elpticas. Soube tamb em extrair o melhor da vasta teoria dos
invariantes alg ebricos, que nessa altura era rapidamente desvendada pelos matem aticos ingleses
Boole, Cayley e Sylvester.
A grande instabilidade poltica que pairava sobre a Franca daquela epoca por pouco n ao tira a
vida de Hermite. A Revoluc ao Francesa levara ` a morte seu av o paterno bem como muitos outros
familiares. Se a capacidade matem atica de Hermite foi herdada de algum parente certamente foi do
lado de seu pai, que havia estudado engenharia. Mais tarde, decepcionado com a engenharia, seu
pai amargou um fracasso na ind ustria do sal. Depois deste insucesso ele conseguiu se estabelecer
de maneira satisfat oria no ramo do com ercio de tecidos. Hermite foi o sexto de um total de sete
lhos, cinco homens e duas mulheres. Nasceu com uma deformidade na perna direita, raz ao pela
qual sempre mancou. De certa forma a deformidade foi util no sentido de t e-lo livrado de toda e
qualquer possibilidade de ingressar nas tropas francesas.
As primeiras instruc oes foram dadas a Hermite pelos pr oprios pais. Contudo, a prosperidade
nos neg ocios fez com que a famlia se mudasse para Nancy. Nesta ocasi ao Hermite tinha apenas
seis anos e, devido a demanda de servico de seus pais, ingressou como aluno em lyc ee na pr opria
cidade de Nancy. Por em essa escola n ao correspondeu ` as expectativas dos pais e Hermite foi
mandado para Paris, onde estudou por um curto perodo de tempo em I yc ee Henri IV, sendo
transferido, quando tinha dezoito anos, para a famosa Louis-le-Grand, que fora a primeira escola
4
CAP. 2 NOTAS BIOGR

AFICAS 5
do grande matem atico

Evariste Galois. Ali ele se preparou para os exames da Polit ecnica.
Este perodo foi suciente para mostrar que, como Galois, Hermite tinha avers ao ` as aulas e era
completamente indiferente aos t opicos de matem atica elementar que eram apresentados. Por em,
competentes leituras em fsica o fascinavam e tornaram menos tedioso o processo de aprendiza-
gem. Quando era estudante de lyc ee ignorava as lic oes de casa. Em vez de faz e-las, gastava seu
tempo com leituras na biblioteca de Sainte-Genevi eve, onde estudou os trabalhos de Lagrange a
respeito de soluc oes de equac oes num ericas. Teve acesso tamb em a Disquisitiones Arithmeticae
de Gauss. Hermite costumava dizer que nestes dois livros ele havia aprendido algebra. Apesar de
toda esta capacidade de absorc ao de conceitos matem aticos o desempenho de Hermite nos exames
era medocre.
Neste perodo Hermite foi enconrajado pelo devotado professor Richard, que via em Hermite
uma rara capacidade de tratar os conceitos matem aticos. Richard temia que Hermite tivesse o
mesmo m tr agico que tivera Galois. Por isso lutava contra a estupidez do regime educacional
que, da forma como se apresentava, n ao conseguia extrair de Hermite todo o potencial que ele
certamente possua.
Os primeiro trabalhos de Hermite publicados foram dois artigos no rec em fundado Nouvelles
Annales de Math ematiques, um jornal voltado para o interesse dos estudantes de matem atica. O
jornal data de 1842 e traz dois artigos de Hermite. O primeiro e um exerccio de geometria analtica
das c onicas. O segundo, este sim um marco na carreira de Hermite, tem como ttulo Considera-
tions on the algebraic solution of the equation of fth degree (traduc ao ). Neste artigo Hermite
faz observac oes que espantaram a todos que conviviam com ele. Era difcil entender como uma
pessoa que tinha id eias t ao incrveis como as expressadas no artigo pudesse ter tanta diculdade
em assimilar t opicos de matem atica elementar e tivesse um rendimento t ao medocre nos exames
a que era submetido.
Hermite ingressou na

Ecole Polytechnique em 1842. Seu desempenho nas provas de admiss ao
foi desastroso, amargando um sexag esimo oitavo lugar dentre os classicados. Este desempenho
ruim acabou por marcar profundamente a vida do nosso jovem matem atico.
O primeiro ano na Polytechnique foi decisivo para o seu futuro como matem atico. Ignorando
completamente a geometria descritiva e os outros t opicos estudados por seus colegas, Hermite teve
seu primeiro contato com as func oes Abelianas. Este ramo da matem atica tomava o tempo de
grande parte dos matem aticos da Europa. Atrav es de seus trabalhos Hermite teve a oportunidade
de conhecer Joseph Liouville (ver 3.2 adiante), matem atico franc es de grande destaque que, ao
tomar conhecimento dos feitos de Hermite, o encorajou a escrever para Jacobi, que a esta altura
era um dos matem aticos de maior prestgio na Europa. Outro fato importante foi que, ao m deste
primeiro ano, o defeito na perna de Hermite o obrigou a sair da Polytechnique.
6
Apesar de receoso Hermite escreve, em 1843, sua primeira carta a Jacobi: O estudo do seu
ensaio sobre func oes de quatro perodos, origin ario da teoria das func oes Abelianas, conduziu-me
a um teorema, para a divis ao das vari aveis dessas func oes , an alogo ao que voc e tem... para obter
express oes simples para as razes das equac oes tratadas por Abel. M. Liouville aconselhou-me
escrever para voc e, submetendo o meu trabalho; ent ao eu o z, Senhor. Espero que voc e tenha a
satisfac ao de receb e-lo com toda a indulg encia necess aria.
A resposta n ao poderia ser melhor:
Nao que desconcertado, Senhor, se algumas de suas descobertas coincidem com alguns de
meus antigos trabalhos. Como voc e deve comecar de onde terminei, h a necessariamente uma
pequena esfera de contato. No futuro, se voc e me honrar com suas comunicac oes , terei somente a
aprender.
Empolgado com a receptividade de Jacobi e com o fato do mesmo t e-lo citado em um de
seus trabalhos, onde agradecia a ajuda dada por Hermite ` as id eias ali apresentadas, Hermite volta
a corresponder-se com Jacobi. Escreveu outras quatros cartas versando sobre assuntos os mais
diversos possveis.
Numa dessas cartas Hermite faz uma talentosa exposic ao acerca das func oes uniformes. Na
carta ele agradece ` a Jacobi a citac ao que o mesmo zera dele. Vale notar que o estudo de Hermite
com respeito ` as func oes uniformes foi um dos seus grandes trabalhos. Este assunto, bem como
outros correlatos, j a tinha sido abordado, sem sucesso, por Gauss. Hermite usa aqui a sua extrema
criatividade e tamb em outras ferramentas matem aticas que Gauss n ao possuia na epoca em que
abordara o problema.
Hermite continuava a trabalhar em suas pesquisas mas, em 1847, e obrigado a interromper os
trabalhos am de realizar os exames que o tornariam bacharel em letras e ci encias. Como era de
costume os exames foram longos e penosos para Hermite. Ele acabou passando nos exames, n ao
s o pelo seu desempenho, mas tamb em pela ajuda de dois amigos que eram examinadores, Sturm e
Bertrand. Em 1848 Hermite acabou por se casar com Louise, irm a de Bertrand.
Apesar de todo o odio pelos exames e pela estupidez do sistema de ensino ocial Hermite se
torna, em 1848, examinador da Polytechnique, instituic ao que o havia rejeitado tempos atr as.
Apo s se livrar de uma vez por todas dos examinadores pode impulsionar com forca total sua
brilhante carreira de matem atico. Em 1856 foi admitido como membro da Acad emia de Ci encias.
Ap os uma breve passagem pela

Ecole Normate se torna, em 1870, professor na Sorbone, onde
trabalharia mais vinte e sete anos antes de se aposentar. Neste longo perodo em que foi professor,
instruiu jovens que viriam a se tornar grande matem aticos como

Emile Picard, Gastou Darboux,

Emile Borel e Henri Poincar e, dentre outros. Este ultimo foi o mais eminente dentre todos os
discpulos de Hermite. Os dois est ao, sem sombra de d uvidas, na lista dos maiores pensadores
CAP. 2 NOTAS BIOGR

AFICAS 7
franceses.
Aposic ao de destaque que Hermite ocupava fazia comque ele estiv esse entre os centralizadores
de conhecimentos matem aticos da epoca. Neste ponto merece destaque o car ater extremamente
cordial de Hermite para com aqueles que lhe escreviam, especialmente com os iniciantes, que
tinham em Hermite uma fonte de constante encorajamento.
Um outro trabalho de Hermite que merece destaque foi o que versava sobre as formas Hermi-
tianas. Um exemplo bem simples e o seguinte:
a
11
x
1
x
1
+ a
12
x
1
x
2
+ a
21
x
2
x
1
+ a
22
x
2
x
2
,
onde x
1
e x
2
s ao n umeros complexos, x
1
e x
2
s ao seus respectivos conjugados e os coecientes
a
ij
s ao tais que a
ij
= a
ji
. Quando do descobrimento destas formas alg ebricas Hermite estava in-
teressado em pesquisar os n umeros que poderiam ser representados desta maneira. Posteriormente
este trabalho foi exaustivamente usado por Heinsenberg para fundamentar a mec anica qu antica
(ver 4.1 adiante).

E interessante notar que, em momento algum, Hermite esteve preocupado com
as aplicac oes fsicas de seus resultados. Mesmo assim estes acabaram por se tornar esseciais na
formulac ao da teoria de Heisenberg. Outro trabalho de Hermite utilizado pelos fsicos da primeira
metade do s eculo XX foram os Polin omios e as func oes de Hermite. O c apitulo 4 do presente
trabalho trata tais polin omios e mostra que eles s ao soluc oes de um caso particular da equc ao de
Schr odinger.
Hermite tamb em deixou a sua marca no estudo da teoria dos invariantes alg ebricos. Uma
famosa frase de Sylvester e:
Cayley, Hermite and I constitute an Invariantive Trinity
1
A frase, por si s o, j a diz a import ancia de Hermite nesta area. Por em os dois trabalhos mais
belos de Hermite situam na teoria dos n umeros transnitos e na equac ao geral do quinto grau.
Com respeito a este ultimo trabalho citado, j a se sabia na epoca que uma equac ao completa do
quinto grau podia ser reduzida, atrav es de substituic oes baseadas exclusivamente nos coecientes
e na inc ognita, a uma do tipo:
x
5
x a = 0.
Abel havia mostrado que a equac ao acima n ao tinha soluc ao por radicais, isto e, havia a neces-
sidade de introduzir um novo elemento, de origem analtica, am da resolver a equac ao . Hermite
mostrou que este novo elemento analtico a ser introduzido deve ser as func oes elpticas. A partir
1
[1], pg. 459.
8
de tal introduc ao Hermite procede com a resoluc ao da equac ao do quinto grau. Esta id eia criou
um verdadeiro rebolico no mundo matem atico. De fato ela inaugurou um novo ramo, na algebra e
an alise, onde o problema era descobrir e investigar essas func oes em termos da equac ao geral de
n- esimo grau que pode ser resolvida por interm edio de tal func ao elptica. Neste sentido Poincar e,
que fora aluno de Hermite, obteve em 1800 resultados extremamente representativos nesta area.
O outro grandioso trabalho de Hermite e a sua demonstrac ao , que data de 1873, da tran-
scend encia do numero e. O captulo 3 apresentar a em detalhes este trabalho.
Hermite n ao s o demonstrou que e e transcendente, mas apresentou ao mundo um m etodo com-
pletamente novo de enfrentar problemas desta natureza. A demonstrac ao de Hermite prima pela
extrema simplicidade e eleg ancia. Conforme diz Bell:
... when Hermite proved in 1873 that e is transcendental, the mathematical world
was not only delghted but astonished at the marvellous ingenuity at the proof.
2
A simplicidade na apresentac ao dos argumentos e a extrema criatividade s ao fatores pre-
sentes em toda a obra de Hermite. A verdade e que ele e daqueles que parece ter nascido para
a matem atica.
A j a citada cordialidade para com matem aticos iniciantes que lhe remetiam escritos e uma
das grandes qualidades de Hermite. Aliado a isso tome a extrema convicc ao que tinha a respeito
da inexist encia de barreiras de raca, credo ou posic ao social para a ci encia. Bell descreve esta
caracterstica de Hermite com a seguinte colocac ao :
Even when the arrogant Prussians were humiliating Paris in the Franco-Prussian
war, Hermite, patriot though he was, kept his head, and he saw clearly that the math-
ematics of the enemy was mathematics and nothing else.
3
Estas caractersticas mostram que Hermite, al em de grande matem atico, foi tamb em um grande
homem. Hermite morreu em 14 de janeiro de 1901.
2
[1], pg. 463.
3
[1], pg. 465.
CAP

ITULO 3
N umeros Transcendentes
O objetivo deste captulo e apresentar um dos principais trabalhos de Hermite e mostrar a sua
import ancia para o desenvolvimento da Teoria dos N umeros Transcendentes.
Inicialmente, como de costume, teremos uma apresentac ao dos conceitos e das denic oes
necess arias ao desenvolvimento do captulo. A partir da os resultados ser ao apresentados na or-
dem em que foram surgindo no decorrer do desenvolvimento da matem atica.
Inicialmente veremos os trabalhos de Liouville. Tais trabalhos foram importantes porque ini-
ciaram todos os estudos acerca de n umeros transcendentes. Em seguida surgem os estudos de
Hermite que, conforme ser a visto, foram fundamentais por apresentar um m etodo poderoso de
se obter novos resultados. Posteriormente outros grandes matem aticos como Cantor e Hilbert se
envolveram na tentativa de solucionar problemas nesta area, o que mostra a import ancia deste
belssimo ramo da matem atica moderna.
Ao nal do captulo teremos a oportunidade de conhecer alguns resultados relativamente re-
centes bem como os problemas que ainda est ao por resolver. Ser a apresentada tamb em uma
aplicac ao da teoria na resoluc ao de problemas de construc ao geom etrica.
3.1 Conceitos e denic oes
Denic ao 3.1. Um n umero e dito alg ebrico se for soluc ao de uma equac ao polinomial da forma:
a
n
x
n
+ a
n1
x
n1
+ + a
0
= 0
9
SEC

AO 3.2 A EXIST

ENCIA DE TRANSCENDENTES 10
onde os coecientes a
i

s
s ao tomados em ZZ. No caso particular em que a
n
= 1 dizemos que e
um inteiro alg ebrico.
Denic ao 3.2. Um n umero e dito transcendente, ou transnito, se ele n ao for alg ebrico.
Observe que as denic oes dadas acima nos fornecem uma forma de particionar os n umeros
reais. De fato, dado um n umero real qualquer, ele dever ser alg ebrico ou transcendente.
A partir das denic oes tamb em e f acil concluir que todo n umero racional e alg ebrico. Com
efeito seja
a
b
um n umero racional qualquer.

E evidente que este n umero satisfaz a relac ao axb =
0 e portanto e alg ebrico.
Vale notar tamb em que existem n umeros irracionais que s ao alg ebricos. Para exemplicar isto
tomemos o n umero

2 que, como se sabe, e irracional. Para mostrar que

2 e alg ebrico basta
tomarmos a equac ao x
2
2 = 0, da qual

2 e soluc ao .
3.2 A exist encia de transcendentes
Uma pergunta que surge naturalmente e a da exist encia de n umeros transcendentes. Isto porque,
a partir da denic ao , n ao nos parece muito claro que realmente existam n umeros transcendentes.
Quem primeiro respondeu esta quest ao foi Liouville
1
. Ele determinou, em 1851, um crit erio su-
ciente para que um dado n umero seja transnito. A partir deste crit erio Liouville conseguiu
produzir a primeira lista de n umeros transnitos que se tem notcia.
Vamos ver alguns pontos importantes do trabalho de Liouville.
Denic ao 3.3. Diz-se que um n umero alg ebrico e de grau n se ele for raiz de uma equac ao
polinomial com coecientes inteiros de grau n e n ao existir nenhum polin omio com coecientes
inteiros, de grau menor que n, que contenha como uma de suas razes.
Denic ao 3.4. Umn umero e aproxim avel na ordemn por racionais se existiremuma constante
c > 0 e uma sequ encia {
p
k
q
k
} de racionais distintos, com q
k
> 0 e mdc(p
k
,q
k
)=1, tais que:

p
k
q
k

<
c
q
n
k
(3.2.1)
1
Joseph Liouville : matem atico franc es ( Saint-Omer 1809 - Paris 1882 ). Em 1836, fundou o Journal des Mathe-
matiques Pures et Appliqu ees que exerceu profunda inu encia em seu s eculo. Foi o primeiro a determinar um n umero
transcente.
CAP. 3 N

UMEROS TRANSCENDENTES 11
Conv em observar aqui que, xado um q na desigualdade acima, uma simples manipulac ao
alg ebrica nos permite escrever:
|q p
k
| <
c
q
n1
Uma vez que p
k
s o assume valores inteiros a desigualdade acima nos permite concluir que,
para um denominador q xo, existe somente um n umero nito de possveis numeradores para
a nossa sequ encia de racionais. Isto e importante porque, a partir deste fato, podemos concluir
que a sequ encia {q
k
} dos denominadores e ilimitada. De fato, se assim n ao o fosse, uma vez
que q
k
s o assume valores inteiros, teramos um n umero nito de possveis denominadores. Para
cada denominador xo teramos um n umero nito de possveis numeradores distintos. Para que
isso fosse correto, uma vez que {
p
k
q
k
} e uma sequ encia de racionais, deveramos ter repetic oes ,
o que vai contra a hipot ese de que os elementos s ao todos distintos. Logo a sequ encia {q
k
} dos
denominadores e ilimitada
Teorema 3.5. Seja um n umero alg ebrico real de ordem n. Ent ao existe uma constante A > 0
tal que:

p
q

>
1
Aq
n
(3.2.2)
para qualquer racional
p
q
.
Demonstrac ao : Como e um n umero alg ebrico de ordem n, ent ao e raiz de
f(x) = a
n
x
n
+ a
n1
x
n1
+ + a
0
onde a
i
ZZ para i = 0, 1, . . . , n e a
n
= 0.
Sejam
1
,
2
, . . . ,
r
todas as razes de f(x). O Teorema Fundamental da

Algebra nos garante
que r n e portanto esta lista e realmente nita. Considere o conjunto
B = {|
1
| , |
2
| , , |
r
|} {0}.
Como B e nito existe d > 0 tal que d = Min(B).
Portanto, se considerarmos o intervalo I = ( d, + d ) o polin omio f(x), no intervalo I,
s o se anular a no ponto x = .
Seja
p
q
um racional tal que
p
q
I. O Teorema do Valor M edio nos assegura que existe I tal
que :
f() f
_
p
q
_
=
_

p
q
_
f

()
SEC

AO 3.2 A EXIST

ENCIA DE TRANSCENDENTES 12
Uma vez que f() = 0 teremos :

f
_
p
q
_

p
q

|f

()| (3.2.3)
Agora observe que, como f(x) e um polin omio de grau n, f

(x) e um polin omio de grau n1.

Como todo polin omio, restrito a um intervalo nito, e limitado, existe M > 0 tal que |f

(x)| < M
para todo x I. Usando esta desigualdade e olhando para (3.2.3) temos :

f
_
p
q
_

<

p
q

M (3.2.4)
Vamos agora limitar inferiormente a parcela da esquerda. Lembrando que f(
p
q
) = 0 podemos
escrever:

f
_
p
q
_

a
n
p
n
+ a
n1
p
n1
q + + a
0
q
n
q
n

||
q
n
Uma vez que f(x) e um polin omio com coecientes inteiros e tanto p como q s ao inteiros
podemos concluir que tamb em e inteiro. Logo:

f
_
p
q
_

1
q
n
Usando esta estimativa e a desigualdade (3.2.4) teremos:
1
q
n
<

p
q

p
q

>
1
Mq
n
,
para todo
p
q
I.
Se
p
q
/ I teremos

p
q

> d e, como q 1, podemos escrever

p
q

>
d
q
n
=
1
1
d
q
n
Agora, fazendo A = Max{M,
1
d
}, obtemos nalmente :

p
q

>
1
Aq
n
,
para todo racional
p
q
.
Necessitamos ainda de algumas informac oes adicionais. Vamos a elas.
CAP. 3 N

UMEROS TRANSCENDENTES 13
Denic ao 3.6. Diz-se que um n umero real e um n umero de Liouville quando existe uma
sequ encia de racionais distintos {
p
k
q
k
}, com q
k
> 0 e mdc(p
k
,q
k
)=1, tal que:

p
k
q
k

<
1
q
k
k
De acordo com a denic ao devemos ter todos os racionais da sequ encia em sua forma ir-
redutvel. Por em, dada uma sucess ao de racionais que verique a desigualdade da denic ao e
sempre possvel obter uma outra, derivada da primeira, tal que seus elementos estejam na forma
irredutvel. Portanto e suciente termos uma sequ encia qualquer de racionais distintos.
Vamos justicar agora a nosso interesse nos n umeros de Liouville.
Teorema 3.7. Todo n umero de Liouville e transcendente.
Demonstrac ao : Suponha o contr ario, isto e, que um dado n umero de Liouville seja alg ebrico.
Como e alg ebrico ele possui uma ordem, que denotaremos por n. O Teorema 3.5 nos garante
que a relac ao (3.2.2) e verdadeira para todo racional
p
q
e, em particular, para os racionais
p
k
q
k
da
denic ao 3.4. Portanto podemos escrever :
1
Aq
n
k
<

p
k
q
k

<
1
q
k
k
,
e portanto temos que q
kn
k
< A o que e um absurdo visto que a sequ encia {q
k
} e ilimitada. O
absurdo prov em do fato de supormos como sendo alg ebrico. Logo e transcendente.
O Teorema 3.7 nos assegura que, se conseguirmos encontrar um n umero de Liouville, teremos
encontrado tamb em um n umero transnito. Dessa maneira Liouville encontrou toda uma famlia
de n umeros transcendentes. Vamos exemplicar com um desses n umeros.
Teorema 3.8. Considere o n umero denido por
=

k=1
1
10
k!
.
Ent ao e transcendente.
Demonstrac ao : Conforme visto e suciente mostrar que e um n umero de Liouville. Para isso
dena a seguinte sequ encia:
p
k
q
k
=
k

j=1
1
10
j!
. (3.2.5)
Com esta denic ao teremos:
SEC

AO 3.2 A EXIST

ENCIA DE TRANSCENDENTES 14

p
k
q
k
=

j=k+1
1
10
j!
= (3.2.6)
Observe que, ao escrevermos a express ao de , o primeiro 1 aparece na posic ao (k + 1)!.
Explicitemos isto:
= 0,
(k+1)!1
..
000 . . . 00 100... < 0,
(k+1)!1
..
000 . . . 00 2 =
2
10
(k+1)!
(3.2.7)
Trabalhemos um pouco mais esta express ao.
2
10
(k+1)!
=
2
10
(k+1)k!
=
2
10
kk!
10
k!
=
1
(10
k!
)
k
1
10
k!
2
Uma vez que
10
k!
2
> 1 temos que
2
10
(k+1)!
<
1
(10
k!
)
k
(3.2.8)
Finalmente considerando (3.2.6), (3.2.7) e (3.2.8) podemos escrever:
=
p
k
q
k
<
1
(10
k!
)
k
(3.2.9)
Olhando agora para (3.2.5) temos que
p
k
q
k
=
k

j=1
1
10
j!
=
1
10
+
1
10
2!
+ +
1
10
k!
=
p
k
10
k!
.
A ultima igualdade foi obtida colocando a soma sob um mesmo denominador comum. Isto nos
mostra que q
k
= 10
k!
.
Agora, observando a desigualdade (3.2.9) e lembrando que q
k
= 10
k!
podemos concluir que
e um n umero de Liouville. Logo, pelo Teorema 3.7, e um n umero transnito.
Uma pequena sosticac ao nos argumentos acima nos permite mostrar que o n umero

j=1
a
j
10
j!
,
onde a
j
e um inteiro positivo menor que 10, e tamb em transcendente. Ao leitor interessado em
conhecer melhor os n umeros de Liouville recomendamos a leitura de [5].
CAP. 3 N

UMEROS TRANSCENDENTES 15
3.3 Hermite e a transcend encia do e
Conforme dito anteriormente Liouville foi o primeiro matem atico a conseguir fabricar umn umero
transcendente. Os trabalhos de Liouville datam de 1851.
Nas duas d ecadas seguintes pouca coisa nova e signicante foi acrescentada ` a Teoria dos
N umeros Transcendentes. At e que, em 1873, os estudos de Hermite sobre as func oes contnuas
alg ebricas o levaram a estabelecer a transcend encia do n umero e, base dos logaritmos neperianos.
Este trabalho e importante n ao s o porque estabelece, pela primeira vez, a transcend encia de
um n umero familiar aos matem aticos mas tamb em pelo m etodo empregado na demostrac ao , que
seria a fonte de inspirac ao de outros grandes trabalhos de autoria dos matem aticos que sucederam
Hermite nos estudos a respeito de n umeros transnitos.
Como e comum na hist oria da matem atica, a demonstrac ao de Hermite sofreu um processo
de simplicac ao , por outros matem aticos, ao longo dos anos. Hilbert
2
foi um dos que simpli-
cou bastante a demonstrac ao . No presente trabalho veremos uma variante, devida a Hurwitz, da
demonstrac ao de Hilbert. Antes por em dois pequenos lemas que nos ser ao uteis posteriormente.
Lema 3.9. Seja f(x) um polin omio com coecientes inteiros e seja p um n umero inteiro positivo
menor que o grau de f(x). Ent ao, para i p
d
i
dx
i
_
f(x)
(p 1)!
_
e um polin omio com coecientes inteiros e divisveis por p.
Demonstrac ao : Uma vez que a derivada e um operador linear e suciente mostrarmos que
d
i
dx
i
_
x
j
(p 1)!
_
tem coeciente inteiro e divisvel por p. Se tivermos i > j esta derivada ser a nula e n ao h a nada a
mostrar, por isso vamos considerar apenas o caso i j. Lembrando que
d
dx
x
n
= nx
n1
podemos
estabelecer, de maneira recursiva, o seguinte resultado:
d
i
dx
i
_
x
j
(p 1)!
_
=
j!
(j i)!(p 1)!
x
ji
2
David Hilbert : matem atico alem ao ( K onigsberg 1862 - G ottingen 1943 ). Seus trabalhos versam sobre a teoria
dos n umeros, a algebra, a an alise e a geometria. Foi um dos fundadores do m etodo axiom atico, concebendo os termos
fundamentais como seres l ogicos, que t em como unicas propriedades as que lhes s ao atribudas pelos axiomas.
SEC

AO 3.3 HERMITE E A TRANSCEND

ENCIA DO E 16
Vamos mostrar que
j!
(j i)!(p 1)!
e um n umero inteiro e divisvel por p. Com efeito temos:
j!
(j i)!(p 1)!
=
j!i!
(j i)!i!(p 1)!
.
Mas
j!
(j i)!i!
=
_
j
i
_
e um dos coecientes do desenvolvimento de (a + b)
j
sendo portanto um
n umero inteiro, digamos m. Agora, lembrando que i p podemos escrever:
j!
(j i)!(p 1)!
=
mi(i 1)(i 2) p(p 1)!
(p 1)!
= mi(i 1)(i 2) p,
que e o que queramos.
Lema 3.10. Considere a seq uencia {a
p
} denida por
a
p
=
e
n
n
p
(M)
p
(p 1)!
,
onde M e uma constante. Ent ao lim
p
a
p
= 0.
Demonstrac ao : Para demonstrar usaremos o seguinte fato: se

n=1
b
n
e convergente ent ao lim
n
b
n
=
0. Com isso e suciente mostrarmos que

p=1
a
p
converge. Facamos isto:

p=1
e
n
(nM)
p
(p 1)!
= e
n

p=0
(Mn)
p+1
p!
= e
n

p=0
c
p
Pelo Teste da Raz ao e suciente mostrarmos que lim
p

c
p+1
c
p

< 1. Calculemos este limite:

lim
p

c
p+1
c
p

= lim
p
(nM)
p+1
nM
(p + 1)p!
p!
(nM)
p+1
= lim
p
nM
p + 1
= 0 < 1.
Assim a s erie converge e temos que lim
p
a
p
= 0.
Teorema 3.11. O n umero e e transcendente.
Demonstrac ao : Considere f(x) um polin omio de grau r com coecientes reais. Seja
F(x) = f(x) + f
(1)
(x) + f
(2)
(x) + + f
(r)
(x), (3.3.1)
CAP. 3 N

UMEROS TRANSCENDENTES 17
onde f
(i)
(x) representa a i- esima derivada de f(x) em relac ao a x. Temos que:
d
dx
(e
x
F(x)) = e
x
f
(1)
(x) e
x
f(x) + e
x
f
(2)
(x) e
x
f
(1)
(x) + +
+e
x
f
(r)
(x) e
x
f
(r1)
(x) + e
x
f
(r+1)
(x) e
x
f
(r)
(x)
Efetuando todos os cancelamentos e lembrando que f
(r+1)
(x) = 0 teremos a seguinte relac ao :
d
dx
_
e
x
F(x)
_
= e
x
f(x) (3.3.2)
Uma vez que F(x) e um polin omio e a func ao exponencial e innitamente deriv avel podemos
armar que e
x
F(x) tamb em e innitamente deriv avel e portanto vale o Teorema do Valor M edio
em qualquer intervalo da reta. Em particular, se tomarmos o intervalo [0, k], k > 0, e lembrando a
relac ao (3.3.2) teremos:
e
k
F(k) F(0) = ke
k
k
f(k
k
),
onde
k
e um n umero real que depende de k e est a entre 0 e 1. Multiplicando esta ultima igualdade
por e
k
obtemos:
F(k) e
k
F(0) = ke
k(1
k
)
f(k
k
) (3.3.3)
Dena agora

k
= F(k) e
k
F(0) = ke
k(1
k
)
f(k
k
).
Vamos supor, por absurdo, que e seja um n umero alg ebrico. Assim existem constantes inteiras
c
o
, c
1
, . . . , c
n
tais que
c
n
e
n
+ c
n1
e
n1
+ + c
1
e + c
0
= 0, (3.3.4)
e podemos supor, sem perda de generalidade, que c
0
> 0.
Observe agora que
c
1

1
= c
1
F(1) c
1
eF(0)
c
2

2
= c
2
F(2) c
2
e
2
F(0)
c
3

3
= c
3
F(3) c
3
e
3
F(0)
.
.
.
c
n

n
= c
n
F(n) c
n
e
n
F(0)
Somando todas essas igualdades teremos:
SEC

AO 3.3 HERMITE E A TRANSCEND

ENCIA DO E 18
c
1

1
+ c
2

2
+ + c
n

n
= c
1
F(1) + c
2
F(2) + + c
n
F(n) ,
onde = F(0)(c
1
e + c
2
e
2
+ + c
n
e
n
). Mas, por (3.3.4), podemos concluir que = c
0
F(0) e
portanto camos com
c
1

1
+ c
2

2
+ + c
n

n
= c
0
F(0) + c
1
F(1) + c
2
F(2) + + c
n
F(n) (3.3.5)
Uma vez que f(x) e um polin omio qualquer, vamos continuar nossa argumentac ao colocando
f(x) =
1
(p 1)!
x
p1
[(1 x)(2 x) (n x)]
p
,
onde p e um primo tal que p > n e p > c
0
.
Note que
(1 x)(2 x) (n x) = n! +
n

j=1
d
j
x
j
, com d
j
ZZ
e portanto
f(x) =
(n!)
p
x
p1
(p 1)!
+
p(n+1)1

j=p
b
j
x
j
(p 1)!
, com b
j
ZZ (3.3.6)
Observe agora que x = 1, 2, . . . , n e raz de multiplicidade p do polin omio f(x). Em virtude
disto teremos
f(x) = f
(1)
(x) = = f
(p1)
(x) = 0, para x = 1, 2, . . . , n (3.3.7)
Aplicando o resultado do Lema 3.9 ao polin omio f(x) podemos concluir que, para x =
1, 2, . . . , n , f
(p)
(x), f
(p+1)
(x), , f
(n(p+1)1)
(x) assume somente valores m ultiplos de p. Deste
fato e da denic ao (3.3.1) podemos armar que F(x) e m ultpilo de p para x = 1, 2, . . . , n e
portanto
c
1
F(1) + c
2
F(2) + + c
n
F(n) e m ultiplo de p. (3.3.8)
Olhemos agora para F(0).
Observe inicialmente que x = 0 e uma raz de multiplicidade p 1 do polin omio f(x). Deste
fato segue que
f(0) = f
(0)
(0) = = f
(p2)
(0) = 0 (3.3.9)
Para i p, f
(i)
(0) e um m ultiplo de p, pelo Lema 3.9.
Por em, da relac ao (3.3.6), temos que f
(p1)
(0) = (n!)
p
. Uma vez que p > n e p e um n umero
primo podemos concluir que p n ao divide (n!)
p
e portanto f
(p1)
(0) e um inteiro n ao divisvel por
CAP. 3 N

UMEROS TRANSCENDENTES 19
p. Agora note que F(0) e uma soma de inteiros. Todos estes inteiros, exceto um, s ao divisveis
por p. Logo p n ao divide F(0) e, uma vez que p > c
0
, p n ao divide c
0
F(0) e podemos, nalmente,
armar
c
0
F(0) + c
1
F(1) + + c
n
F(n) e um inteiro n ao divisvel por p. (3.3.10)
Guardemos esta informac ao e trabalhemos agora o lado esquerdo da igualdade (3.3.5).
Recordemos a denic ao dada:

k
= ke
k(1
k
)
f(k
k
)
Em virtude da denic ao de f(x) teremos ent ao
|
k
| =
e
k(1
k
)
(p 1)!
k
p

p1
k
[|1 k
k
| |2 k
k
| |n k
k
|]
p
Agora observe que, como 0 < k n e 0 <
k
< 1, para todo i ZZ tal que 0 < i n vale a
seguinte relac ao :
|i k
k
| |i| +|k
k
| 2n.
E desta ultima desigualdade segue que
[|1 k
k
| |2 k
k
| |n k
k
|]
p
(2
n
n
n
)
p
= (M)
p
, (3.3.11)
onde M = 2
n
n
n
e uma constante.
Como k n e 0 <
k
< 1 teremos:
(i) k(1
k
) n(1
k
) n e
k(1
k
)
e
n
;
(ii) k
p
n
p
;
(iii)
p1
k
1.
Estas tr es desigualdades e a desigualdade (3.3.11) nos permitem escrever
|
k
|
e
n
n
p
(M)
p
(p 1)!
para k n.
Uma vez que o conjunto dos n umeros primos e innito e em virtude do Lema 3.10 podemos
fazer com que os termos s sejam t ao pr oximos de zero quanto se queira. Em virtude disso
SEC

AO 3.4 A N

AO ENUMERABILIDADE DOS TRANSFINITOS 20

podemos armar que
|c
1

1
+ c
2

2
+ + c
n

n
| < 1 para p sucientemente grande. (3.3.12)
Em virtude da igualdade (3.3.5) e de (3.3.10), a parcela da esquerda na ultima desigualdade
deve ser um inteiro. Como tal parcela e menor do que 1 devemos ter c
1

1
+c
2

2
+ +c
n

n
= 0.
Portanto conclumos que c
0
F(0)+c
1
F(1)+c
2
F(2)+ +c
n
F(n) = 0 o que implica que p divide
[c
0
F(0) + c
1
F(1) + c
2
F(2) + + c
n
F(n)]. Ora mais isto e um absurdo visto que vai contra o
resultado (3.3.10). O absurdo prov em do fato de termos considerado e como sendo alg ebrico.
Logo conclui-se que e e transcendente.
Este resultado obtido por Hermite marcou epoca devido ` a grande diculdade de se mostrar que
um n umero e transcendente.
Dissemos no incio da sec ao que o resultado tamb em foi fundamental por inspirar outros tra-
balhos importantes. De fato o m etodo de Hermite foi extendido por Lindemann
3
, em 1882, para
demonstrar a transcend encia de . Este trabalho, como o de Hermite, prima pela sua beleza
matem atica e e considerado por muitos como o mais belo resultado acerca dos n umeros tran-
scendentes porque mostra a impossibilidade de se resolver o problema da quadratura do crculo,
um dos mais famosos problemas de construc ao . (ver 3.5 adiante).
A id eia de Lindemann e fundamentalmente a mesma que utilizamos na demostrac ao da tran-
scend encia do n umero e. Considera-se como sendo alg ebrico e obtem-se uma relac ao de igual-
dade envolvendo um n umero primo p arbitr ario. Depois observa-se que, quando tomamos p su-
cientemente grande, chegamos a um resultado absurdo, donde se conclui que e transnito. A
id eia e simples mas sua execuc ao complicada e bastante engenhosa. No decorrer da demonstrac ao
s ao utilizados alguns resultados de Teoria de Vari avel Complexa e da Aritm etica dos N umeros
Transcendentes, raz ao pela qual preferimos n ao apresentar aqui a demonstrac ao da transced encia
de . Ao leitor interessado em conhecer a prova recomendamos a leitura de [3]. Importante para
n os e o fato de que os trabalhos de Hermite foram fundamentais para o amadurecimento das id eias
que levaram Lindemann a realizar tal demonstrac ao .
3.4 A n ao enumerabilidade dos transnitos
Hermite publicou seus resultados em uma s erie de notas no Comptes Rendus de lAced emie des
Sciences de Paris, em 1873. Passado algum tempo, as quest oes acerca dos n umeros transni-
3
Ferdinand VON Lindemann : matem atico alem ao ( Han over 1852 - Munique 1939 ). Demonstrou a tran-
scend encia do n umero (1882), encerrando assim a controv ersia sobre a quadratura do crculo.
CAP. 3 N

UMEROS TRANSCENDENTES 21
tos mereceram os cuidados de um grande matem atico alem ao, que j a se tornara famoso por ter
concebido, com Dedekind, todas as id eias da Teoria dos Conjuntos. Isto foi suciente para que o
mundo conhecesse uma nova prova da exist encia de n umeros transcendentes, prova esta totalmente
diferente da de Liouville. Esta nova demonstrac ao foi apresentada por Georg Cantor
4
.
A demonstrac ao de exist encia dada por Cantor e interessante porque nos permite comparar
a quantidade de n umeros transcendentes com a de n umeros alg ebricos. Outro fator que merece
destaque e a extrema simplicidade dos argumentos utilizados no decorrer da prova e dos seus
resultados preliminares.
Cantor tamb emapresentou, mais tarde, grandes trabalhos comrespeito ` a aritm etica dos n umeros
transcendentes.
Vamos ` a prova de exist encia de Cantor. Como de costume necessitamos inicialmente de algu-
mas denic oes e alguns resultados preliminares.
Denic ao 3.12. Um conjunto A e dito enumer avel se existir uma func ao injetiva f : A IN.
Assim um conjunto nito e enumer avel.

E claro que se pudermos colocar os elementos do
conjunto em correspond encia biunvoca com os n umeros naturais este conjunto tamb em ser a enu-
mer avel. Dizemos que uma func ao nas condic oes da denic ao acima fornece uma enumerac ao
para os elemento do conjunto A.
A seguir apresentamos um teorema que nos ser a util posteriormente:
Teorema 3.13. Uma uni ao enumer avel de conjuntos enumer aveis e enumer avel.
Demonstrac ao : Sejam A
1
= {a
11
, a
12
, . . .}, , A
n
= {a
n1
, a
n2
, . . .}, conjuntos enu-
mer aveis, e seja A =
_
nZZ
A
n
. Obteremos uma enumerac ao para os elementos do conjunto A
usando o conhecido m etodo da diagonal de Cantor. O m etodo se baseia no seguinte diagrama:
4
Georg Cantor : matem atico alem ao de origem russa ( S ao Petersburgo 1845 - Halle 1918 ). Um dos respons aveis
pelas id eias acerca da Teoria dos Conjuntos. Foi considerado um inovador com as noc oes de pot encia do enumer avel
e do contnuo. Estabeleceu bons resultados na aritm etica dos n umeros transnitos.
SEC

AO 3.4 A N

AO ENUMERABILIDADE DOS TRANSFINITOS 22

a
11
a
12
a
13
a
14


a
21
a
22
a
23
a
24


a
31
a
32
a
33
a
34


a
41
a
42
a
43
a
44


a
51
a
52
a
53
a
54


a
61
a
62
a
63
a
64

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Todos os elementos do conjunto A est ao na lista acima. Basta agora denirmos a enumerac ao
da seguinte maneira :
f(n) = n- esimo termo da lista que se obt em seguindo as echas
Desta forma temos que f e uma injec ao de A em IN, donde segue a enumerabilidade de A.
Denic ao 3.14. Seja p(x) = a
n
x
n
+a
n1
x
n1
+ +a
0
um polin omio com coecientes inteiros.
O ndice deste polin omio e, por denic ao ,
|p| = |a
n
| +|a
n1
| + +|a
0
| + n.
Observe que, uma vez que a denic ao envolve n ao s o os coecientes mas tamb em o grau de
p(x), para um dado n umero inteiro qualquer existe somente um n umero nito de polin omios que
t em como ndice este n umero dado. Esta observac ao e fundamental para mostrarmos o
Teorema 3.15. O conjunto de todos os n umeros alg ebricos e enumer avel.
Demonstrac ao : Considere a famlia de conjuntos {P
n
}, onde P
n
e o conjunto de todos os
polin omios com coecientes inteiros e com ndice igual a n. Dena tamb em a famlia de con-
juntos {A
n
} pondo
A
n
= { razes complexas de p(x) | p(x) P
n
}
e note que os elementos de A
n
s ao n umeros alg ebricos.
CAP. 3 N

UMEROS TRANSCENDENTES 23
Agora, xado um j IN sabemos que P
j
tem um n umero nito de elementos. Como um
polin omio de grau n possui no m aximo n razes complexas concluimos que A
j
tamb em e nito.
Dena agora A =
_
nZZ
A
n
e observe que os elementos A s ao n umeros alg ebricos. Assim, pelo
Teorema 3.13, podemos armar que A e enumer avel. Mostraremos agora que A coincide com o
conjunto de todos os n umeros alg ebricos.
De fato, seja um n umero alg ebrico. Da denic ao de n umero alg ebrico sabemos que e raz
de algum polin omio g(x) com coecientes inteiros. A este polin omio est a associado um unico
ndice, logo g(x) P
k
para algum k IN. Assim, pela denic ao da famlia {A
n
}, temos que
A
k
e, consequentemente A. Dessa forma o conjunto A nada mais e do que o conjunto de
todos os n umeros alg ebricos e e portanto enumer avel.
Teorema 3.16. O conjunto IR dos n umeros reais e n ao enumer avel.
Demonstrac ao : Suponhamos por absurdo que o conjunto dos n umeros reais seja enumer avel.
Dessa forma qualquer subconjunto de IR tamb em ser a enumer avel. Considere agora B = {x
IR | 0 < x 1}. Uma vez que B e enumer avel podemos listar todos os seus elementos. Facamos
isto usando a forma decimal innita dos n umeros pertencentes a B. Listemos pois os elementos:
b
1
= 0,
11

12

13

14
. . .
b
2
= 0,
21

22

23

24
. . .
b
3
= 0,
31

32

33

34
. . .
b
4
= 0,
41

42

43

44
. . .
.
.
.
b
n
= 0,
n1

n2

n3

n4
. . .
.
.
.
onde
ij
e o j- esimo algarismo ap os a vrgula do i- esimo elemento de B.
Vamos olhar agora para o n umero
= 0,
1

4
. . . ,
onde
j
{0, 1, 2, 3, 5, 6, 7, 8, 9} {
jj
}.
Observe que = b
j
para todo j pois e b
j
diferem na j- esima casa decimal. Deste fato
podemos concluir que n ao est a na nossa lista, o que e um absurdo pois B. O absurdo
SEC

AO 3.5 PROBLEMAS DE CONSTRUC

AO 24
prov em do fato de termos considerado B como sendo um conjunto enumer avel. Logo B n ao e
enumer avel. Uma vez que B IR e n ao enumer avel segue que IR e n ao enumer avel.
Vamos recapitular os resultados conseguidos at e aqui. Temos :
(i) O conjunto de todos os n umeros alg ebricos e enumer avel ;
(ii) O conjunto IR dos n umeros reias e n ao enumer avel.
Estamos prontos para enunciar e provar o
Teorema 3.17. O conjunto de todos os n umeros transcendentes reais e n ao enumer avel.
Demonstrac ao : Considere os conjunto A e T denidos da seguinte maneira:
A = {x IR | x e alg ebrico } e T = {x IR | x e transnito }.
Note que IR = A T. Sabemos que A e enumer avel. Suponha, por absuro, que T tamb em o
seja. Teramos assim IR = A T como sendo uma uni ao enumer avel de conjuntos enumer aveis.
Logo conclumos que IR e enumer avel, o que e um absurdo. O absurdo prov em do fato de termos
considerado T como sendo enumer avel e portanto o conjunto de todos os n umeros transcendentes
reais e n ao enumer avel.
Corol ario O conjunto de todos os n umeros transcendentes e n ao enumer avel.
Demonstrac ao : Basta observa que o conjunto de todos os n umeros transcendentes reais e um
subconjunto do conjunto de todos os n umeros transcendentes.
Observe que este ultimo resultado nos assegura a exist encia de n umeros transnitos. Mais do
que isso, ele nos diz que, de certa maneira, existem mais n umeros transcendentes do que n umeros
alg ebricos.
3.5 Problemas de construc ao
Uma aplicac ao simples e direta da teoria estudada e na resoluc ao de problemas de construc ao
. Daqui para frente resolver um problema de construc ao signicar a fazer o que e proposto
utilizando-se apenas uma r egua sem marcac ao , um compasso e um segmento unit ario. Dire-
mos que um n umero e construtvel quando for possvel construir um segmento de comprimento
igual ao n umero em quest ao.
CAP. 3 N

UMEROS TRANSCENDENTES 25
Como o nosso prop osito aqui e o de mostrar como utilizar os resultados obtidos na resoluc ao de
tais problemas, nos limitaremos a dar uma noc ao de como se mostra a impossibilidade de soluc ao
de tr es dos mais famosos problemas dessa natureza. Aceitaremos como v alido o seguinte teorema,
que e um dos teoremas fundamentais da Teoria das Construc oes Alg ebricas.
Teorema 3.18. Todo segmento n ao unit ario construtvel temcomo comprimento umn umero alg ebrico
de ordem igual a uma pot encia de 2.
Demonstrac ao : Ver [4].
Aceitando como v alido esta armac ao vamos, a grosso modo, mostrar a n ao solubilidade de
tr es problemas. S ao eles:
3.5.1 Duplicac ao do Cubo
O problema aqui e construir um cubo de volume igual ao dobro do volume de um cubo dado.
Tomando como unidade o comprimento da aresta do cubo dado nosso problema se reduz a
construir um segmento de comprimento
3

2.
Ora,
3

2 satisfaz x
3
2 = 0 e portanto e um n umero alg ebrico. N ao e difcil mostrar que
3

2
n ao satisfaz nenhuma equac ao com coecientes inteiros de grau 1 ou 2. Portanto
3

2 e um n umero
alg ebrico de ordem 3 e, uma vez que 3 n ao e uma pot encia de 2, podemos concluir que
3

2 n ao e
construtvel e portanto e impossvel duplicar o cubo.
3.5.2 Trisecc ao do

Angulo
Nosso problema e dividir um angulo dado em tr es partes iguais.
Para mostrar a impossibilidade de resolver este problema vamos mostrar que n ao se pode fazer
tal divis ao para um angulo de 60
o
.
Se pud essemos faz e-lo ent ao o n umero cos 20
o
seria construtvel.
Vamos inicialmente mostrar que cos 20
o
satisfaz a uma equac ao polinomial de grau 3. Para
isso, considere as seguintes identidades trigonom etricas:
cos 2 = cos
2
sen
2

sen2 = 2sen cos

cos ( + 2) = cos cos 2 sensen2
Combinando estas tr es igualdades temos:
SEC

AO 3.6 PERSPECTIVAS FUTURAS 26
cos 3 = (cos
2
sen
2
) cos (2sen cos )sen
= cos
3
3sen
2
cos
= cos
3
3(1 cos
2
) cos
= 4 cos
3
3 cos
Agora fazendo = 20
o
e x = cos 20
o
temos:
cos 60
o
=
1
2
= 4x
3
3x 8x
3
6x 1 = 0
Assim temos que cos 20
o
e uma n umero alg ebrico que satisfaz uma equac ao com coecientes
inteiros e de grau 3. Novamente armamos que cos 20
o
n ao satisfaz nenhuma equac ao com coe-
cientes inteiros de grau 1 ou 2. Logo cos 20
o
e um n umero alg ebrico de ordem 3 e portanto o
problema proposto n ao tem soluc ao .
3.5.3 Quadratura do Crculo
O problema e construir um quadrado com area igual ` a de um crculo dado.
Tomando como unidade o raio do crculo dado, o problema se resume emconstruir umquadrado
com area . Isto equivale a construir um segmento de comprimento

. Um resultado bem
conhecido da Teoria das Construc oes Geom etricas nos garante que se pode construir um seg-
mento de comprimento l
2
a partir de um segmento unit ario e outro de comprimento l. Portanto se
pud essemos construir um segmento de comprimeto

tamb em poderamos construir um de com-

primento . Mas isto nos levaria a um absurdo pois concluiramos que e um n umero alg ebrico,
o que iria contra o resultado de Lindemann. Logo e impossvel fazer-se a quadratura do crculo.
3.6 Perspectivas Futuras
Para nalizar este captulo vamos apresentar alguns resultados que j a se conhece hoje acerca dos
n umeros transcendentes.
Hermite mostrou que o n umero e e transcendente. De fato, sabe-se hoje que e
a
, onde a e um
n umero alg ebrico n ao nulo, e transcendente. Obviamente este resultado traz em si a transcend encia
do n umero e como caso particular.
Outro problema j a resolvido e a transcend encia do n umenro 2

2
. Essa quest ao foi levantada por
Hilbert, no Segundo Congresso Internacional de Matem atica, realizado em Paris. Nessa ocasi ao
Hilbert apresentou n ao s o este mas outros 22 problemas que, ao seu ver, seriam objeto de estudo
CAP. 3 N

UMEROS TRANSCENDENTES 27
dos matem aticos no decorrer do s eculo XX. Em meados de 1929 Siegel, que estudava em G ottin-
gen, mostrou que 2

2
era transcendente. Mas uma soluc ao mais completa e abrangente veio em
1934, quando Gelfond e Schneider chegaram, de maneira independente, ao seguinte resultado:
Teorema 3.19. Sejam a e b dois n umeros alg ebricos, com a = 0, a = 1 e b n ao sendo um racional.
Ent ao a
b
e transcendente.
Demonstrac ao : Ver [6].
Este resultado traz como caso particular a transcend encia de 2

2
. Mais ainda, ele resolve outro
antigo problema que era mostrar a transcend encia de e

. De fato temos que e

= i
2i
e isso
determina a transcend encia do n umero em quest ao.
Existem muitos problemas que est ao em aberto. Um bom exemplo e a transcend encia de +e,
que ainda desaa os matem aticos. Isto nos mostra que a Teoria dos N umeros Transcendentes
permanece viva e convidativa pois, conforme disse o pr oprio Hilbert quando da divulgac ao da lista
contendo os 23 problemas :
Enquanto um ramo da ci encia oferecer uma abund ancia de problemas, ele estar a
vivo: uma falta de problemas prenuncia extinc ao ou cessac ao de desenvolvimento
independente.
CAP

ITULO 4
Polin omios de Hermite
Neste captulo estudaremos uma parte importante dos trabalhos de Hermite. Conheceremos os
Polin omios de Hermite e algumas de suas principais propriedades.
Destacaremos a import ancia deste trabalho de Hermite para o desenvolvimento das bases da
mec anica qu antica.
A primeira sec ao e uma breve introduc ao aos conceitos qu anticos. Segue uma sec ao onde ser a
apresentado um importante modelo de problema fsico.
Na sec ao seguinte resolveremos o problema proposto atrav es do uso dos Polin omios de Hermite
e estabeleceremos algumas propriedades importantes de tais polin omios.
Finalizando o captulo, a sec ao n umero 4 apresenta ao leitor uma breve introduc ao ` as id eias de
autofunc oes e autovalores de problemas.
4.1 Mec anica Qu antica
A mec anica e a parte da fsica que estuda as forcas em geral e sua ac ao sobre o mundo material.
A hist oria da mec anica remonta aos trabalhos de Arquimedes sobre est atica e hidrost atica. Um
dos maiores nomes dentre os fsicos que contriburam para o desenvolvimento da mec anica e o de
Isaac Newton.
Newton considerava a luz como sendo um feixe de partculas. Durante a primeira metade
do s eculo XIX importantes propriedades da luz, como refrac ao e difrac ao , foram exaustivamente
demonstradas. Estas propriedades zeramcomque a otica fosse includa na teoria eletromagn etica.
Neste contexto a velocidade da luz c e relacionada com constantes el etricas e magn eticas e o
28
CAP. 4 POLIN

OMIOS DE HERMITE 29
fen omeno da polarizac ao da luz pode ser interpretado como manifestac oes de caractersticas veto-
riais do campo el etrico gerado.
Contudo, o estudo do blackbody radiation n ao podia ser explicado com base na teoria eletro-
magn etica. Os resultados do experimento de Young
1
apresentavama luz como tendo caractersticas
de partcula, e n ao de uma onda como era de se esperar. Este comportamento aparentemente para-
doxal s o podia ser explicado conservando ambos os aspectos da luz: como sendo partcula e como
sendo uma onda. A soluc ao foi a introduc ao dos conceitos qu anticos fundamentais. O principal
deles e o conceito da dualidade onda-partcula da luz:
(i) Os aspectos de onda e partcula da luz s ao insepar aveis. A luz comporta-se simultane-
amente como onda e como uxo de partculas. A onda nos permite calcular a probabilidade de
manifestac ao de uma partcula.
(ii) A capacidade de prever-mos o comportamento de um f oton
2
e apenas probabilstica.
(iii) A informac ao sobre um f oton em um tempo t e dado pela equac ao (r, t), que e uma
soluc ao das equac oes de Maxwell. (r, t) pode ser interpretada como a amplitude de probabilidade
de um f oton estar, num tempo t, no ponto r.
Portanto o estado qu antico de uma partcula e caracterizado por uma func ao de onda (r, t),
que cont em todas as informac oes possveis de se obter sobre a partcula.
Observe que esta mec anica difere da mec anica determstica desenvolvida por Newton. Esta
impossibilidade de determinarmos de maneira exata todas as caractersticas intrsecas ` a partcula,
chamada de Prinpio da Incerteza, e a base de toda a mec anica qu antica.
A determinac ao da equac ao (r, t) pode ser feita de maneira natural atrav es das relac oes de
Planck
3
e de Broglie
4
. Contudo, devido ao car ater matem atico deste trabalho, isto n ao ser a feito.
Nos restringiremos a apresentar esta equac ao fundamental, chamada equac ao de Schr odinger. Por-
tanto iremos assumir que, quando uma partcula de massa m est a sujeita a um potencial V (r, t), a
equac ao de Schr odinger assume a forma:
i

t
(r, t) =

2
2m
(r, t) + V (r, t)(r, t), (4.1.1)
1
Thomas Young: m edico e fsico ingl es (Milverton 1773 - Londres 1829). Descobriu a acomodac ao do cristalino
e as interfer encias luminosas. Ademais, realizou trabalhos de egiptologia.
2
Partcula de luz.
3
Max Planck: fsico alem ao (Kiel 1858 - G ottingen 1947). Para explicar as leis da radiac ao , considerou a descon-
tinuidade da energia e formulou, em 1900, a teoria dos quanta.
4
Louis de Broglie: fsico franc es (Dieppe 1892). Foi o criador, em 1924, da mec anica ondulat oria, teoria segundo
a qual o eletron e as demais partculas em movimento t em tamb em as caractersticas de uma onda ( Pr emio Nobel de
fsica, 1929).
SEC

AO 4.2 O OSCILADOR HARM

ONICO QU

ANTICO 30
onde e o operador Laplaciano

2
x
2
+

2
y
2
+

2
z
2
e =
h
2
e denido em termos da constante de
Planck:
h

= 6, 62 10
24
Joule x Segundo.
A primeira observac ao a ser feita e que a equac ao (4.1.1) e linear e homog enea em . Conse-
quentemente vale um princpio de superposic ao para esta equac ao . Al em disso ela e de primeira
ordem com respeito a t, o que signica que e suciente determinarmos o estado da partcula num
instante inicial t
0
para podermos determin a-lo nos instantes subsequentes.
Uma vez que a func ao (r, t) mede a amplitude de probabilidade da presenca da partcula, ela
deve ser de quadrado integr avel. Logo, a menos de uma constante, podemos escrever:
_
|(r, t)|
2
d
3
r = 1
4.2 O Oscilador Harm onico Qu antico
O oscilador harm onico qu antico e um sistema fsico que governa in umeros fen omenos. Vamos
estudar um caso particular que e o oscilador harm onico qu antico uni-dimensional. Ao leitor in-
teressado em conhecer alguns exemplos de osciladores desta natureza recomendamos a leitura de
[2].
O oscilador harm onico uni-dimensional da mec anica cl assica e composto por uma partcula de
massa m imersa numa regi ao de potencial da forma:
V (x) =
1
2
kx
2
, (4.2.1)
onde x e a posic ao da partcula e k e uma constante positiva. O ponto x = 0 e o ponto onde o
potencial e mnimo. A partcula est a sujeita a uma forca restauradora dada por:
F
x
=
d
dx
V = kx. (4.2.2)
A segunda lei de Newton nos fornece:
m
d
2
dx
2
= kx.
A soluc ao geral desta equac ao e da forma:
x = x
0
cos
_
k
m
t,
CAP. 4 POLIN

OMIOS DE HERMITE 31
onde x
0
e a amplitude da oscilac ao . Al em disso o perodo T e dado por:
T = 2
_
m
k
,
e, como a frequ encia v e o inverso do perodo, tem-se ainda:
k = 4
2
mv
2
. (4.2.3)
Lembremos agora que estamos trabalhando com um oscilador em uma unica dimens ao. Em
virtude disso a equac ao de Schr odinger assume a seguinte forma:
ih
2

t
(x, t) =
h
2
8m
2

2
x
2
(x, t) + V (x)(x, t). (4.2.4)
Am de resolver a equac ao acima vamos utilizar o m etodo de separac ao de vari aveis. Para tal
escrevamos como um produto de duas func oes :
(x, t) = (t)(x). (4.2.5)
Tomando as derivadas e substituindo em (4.2.4) obtemos:
ih
2

t
(t)(x) =
h
2
8m
2
(t)
xx
(x) + V (x)(t)(x).
Dividindo a relac ao acima por (t)(x) obtemos:
ih
2

t
(t)
(t)
=
h
2
8m
2

xx
(x)
(x)
+ V (x).
Observe agora que temos uma func ao que depende de t igual a outra que depende de x. Como
x e t s ao vari aveis independentes devemos ter:
ih
2

t
(t)
(t)
=
h
2
8m
2

xx
(x)
(x)
+ V (x) = ,
onde e uma constante.
Para encontrarmos a func ao (t) e suciente resolvermos a equac ao :

t
(t) +
2i
h
(t) = 0.
Portanto devemos ter
(t) = e

2i
h
t.
(4.2.6)
SEC

AO 4.2 O OSCILADOR HARM

ONICO QU

ANTICO 32
Encontrar (x) e um processo mais delicado. Para isso devemos resolver a seguinte equac ao :

xx
(x) +
8
2
m
h
2
[ V (x)] (x) = 0.
Lembrando que V (x) e dado por (4.2.1) nosso problema passa a ser resolver a seguinte equac ao
diferencial:
d
2
dx
2
+
8
2
m
h
2
_

1
2
kx
2
_
= 0. (4.2.7)
Observando a relac ao (4.2.3) podemos escrever:
d
2
dx
2
+
8
2
m
h
2
( 2
2
mv
2
x
2
) = 0. (4.2.8)
Conforme visto anteriormente procuramos soluc oes de (4.2.8) tais que:
_
||
2
dx = 1
Observe que, uma vez que e uma amplitude de probabilidade, a medida que |x| se torna
grande, estamos medindo a probabilidade da partcula estar num local muito distante da origem
do movimento. Se, por alguma raz ao, a medida que tomamos |x| muito grande o valor de n ao
diminuisse rapidamente, correramos o risco da partcula fugir do raio de ac ao forca restauradora.
Isto por em n ao pode ocorrer pois nossso sistema exige que a partcula oscile em torno da origem.
Por isso e natural impormos a seguinte condic ao :
0, quando |x| .
Estando posto o problema e am de simplicar a equac ao (4.2.8) faremos uma substituic ao de
vari avel. Para isto tome
u = 2
_
vm
h
x. (4.2.9)
Feita esta substituic ao (4.2.8) toma a forma:
d
2
du
2
(u) +
_
2
hv
u
2
_
(u) = 0, (4.2.10)
onde devemos impor que
_
||
2
du = 2
_
vm
h
e 0, quando |u| . (4.2.11)
CAP. 4 POLIN

OMIOS DE HERMITE 33
A seguir vamos desenvolver ferramentas matem aticas que nos permitir ao resolver a equac ao
(4.2.10).
4.3 A Equac ao de Hermite
Nesta sec ao concentraremos nossa atenc ao na seguinte equac ao :
d
2
dx
2
w + (2p + 1 x
2
)w = 0, (4.3.1)
onde p e uma constante.
Conforme j a foi visto estamos interessados em soluc oes que se aproximem de 0 quando |x|
. Am de facilitar a resoluc ao de (4.3.1) vamos fazer uma substituic ao conveniente. Inicialmente
observe que, quando x e muito grande, a parcela (2p + 1) e desprezvel quando comparada com
x
2
. Logo (4.3.1) pode ser aproximada por:
d
2
dx
2
w = x
2
w.
Se tentarmos w = e

x
2
2
teremos:
w

= xe

x
2
2
w

= x
2
e

x
2
2
e

x
2
2
Novamente, para x grande, podemos desconsiderar o fator isolado e

x
2
2
de w

.
Assimpodemos dizer que, de certa maneira, w = e

x
2
2
seriamsoluc oes aproximadas de (4.3.1).
Como e
x
2
2
n ao tende a zero quando |x| vamos considerar apenas e

x
2
2
.
Como esta e uma aproximac ao da soluc ao de (4.3.1) tentaremos soluc oes na forma:
w = y(x)e

x
2
2
.
Afunc ao de correc ao y(x) nos garantir a que a soluc ao encontrada e a correta e n ao uma simples
aproximac ao . Com base nisso temos:
w

= y

x
2
2
yxe

x
2
2
w

= y

x
2
2
2y

xe

x
2
2
y(e

x
2
2
x
2
e

x
2
2
)
Substituindo estas express oes em (4.3.1) nosso problema resume-se em determinar soluc oes
para:
SEC

AO 4.3 A EQUAC

AO DE HERMITE 34
y

2xy

+ 2py = 0, (4.3.2)
que e a chamada Equac ao de Hermite.
Para resolver esta equac ao diferencial usaremos o m etodo de resoluc ao em s eries para equac oes
diferenciais. Ao leitor n ao familiarizado com a utilizac ao de tal m etodo recomendamos a leitura
de [7].
Vamos ent ao supor que (4.3.2) tem uma soluc ao y da forma
y(x) =

n=1
a
n
x
n
.
Tomando as derivadas primeira e segunda de y, substituindo tais express oes em (4.3.2) e
fazendo as devidas simplicac oes temos a seguinte relac ao de recorr encia para os coecientes
do desenvolvimento de y:
a
n+2
=
2(n p)
(n + 1)(n + 2)
a
n
(4.3.3)
Note que esta relac ao nos fornecer a os coecientes de ordem par em func ao de a
0
e os de ordem
mpar em func ao de a
1
. Am de n ao carregar por demais a notac ao consideraremos a
0
= a
1
=
1. Teremos duas soluc oes de (4.3.2), uma com expoentes pares e outra com expoentes mpares.
Vamos a elas:
y
1
(x) = 1
2p
2!
x
2
+
2
2
p(p 2)
4!
x
4

2
3
p(p 2)(p 4)
6!
x
6
+
y
2
(x) = x
2(p 1)
3!
x
3
+
2
2
(p 1)(p 3)
5!
x
5

2
3
(p 1)(p 3)(p 5)
7!
x
7
+
Analisemos a converg encia de y
1
(x) utilizando o Teste da Raz ao.

a
2n+2
a
2n

2(p 2n)
(2n + 1)(2n + 2)

< 2

(2n p)
n
2

< 2

2
n

p
n
2

Logo temos:
0 lim
n

a
2n+2
a
2n

2 lim
n

2
n

p
n
2

= 0,
donde se conclui que
lim
n

a
2n+2
a
2n

= 0 < 1.
CAP. 4 POLIN

OMIOS DE HERMITE 35
Isto nos diz que y
1
(x) converge para qualquer valor de x. De maneira an aloga podemos con-
cluir que y
2
(x) converge em toda a reta real.
Uma vez que estamos interessados em func oes w tais que w 0 quando |x| , devemos
estabelecer condic oes para que
y
1
e
x
2
2
tenda a zero quando |x| . Vamos a seguir mostrar que isto
acontece se, e somente se, p e um n umero par. Isto e equivalente a mostrar que, nessas condic oes ,
y
1
(x) deve ser um polin omio.

E f acil notar que se p e um n umero par ent ao a s erie de y

1
quebra a partir de um certo momento
e ent ao y
1
nada mais e do que um polin omio com coecientes reais. Nesse caso, ao tomarmos
o limite de
y
1
e
x
2
2
teremos uma indeterminac ao do tipo

. Aplicando ent ao a regra de lHospital

seguidas vezes obtemos que w 0 quando |x| .
Suponha agora que p n ao e um n umero par. Vamos mostrar que, nestas condic oes w n ao tende
a zero. Com efeito temos:
y
1
(x) =

n=1
a
2n
x
2n
, com a
2n
determinado por (4.3.3) ;
e
x
2
2
=

n=1
b
2n
x
2n
, com b
2n
=
1
2
n
n!
.
Estas duas relac oes nos permitem escrever:
y
1
(x)
e
x
2
2
=
a
0
+ a
2
x
2
+ a
4
x
4
+ + a
2n
x
2n
+
b
0
+ b
2
x
2
+ b
4
x
4
+ + b
2n
x
2n
+
A id eia e mostrarmos que, para n sucientemente grande, teremos a
2n
> b
2n
. Facamos isto:
a
2n+2
a
2n
=
2(p 2n)
(2n + 1)(2n
2
)
e
b
2n+2
b
2n
=
2
n
n!
2
n+1
(n + 1)!
=
1
2(n + 1)
Das duas express oes acima segue:
a
2n+2
a
2n
b
2n+2
b
2n
=
2(p 2n)2(n + 1)
(2n + 1)(2n + 2)
=
8n
2
+ 8n 4p 4pn
4n
2
+ 6n + 2
2
Logo existe um N tal que
a
2n+2
b
2n+2
>
3
2
a
2n
b
2n
, para todo n N.
Aplicando a desigualdade acima sucessivas vezes teremos :
a
2N+k
b
2N+k
>
_
3
2
_
k
a
2N
b
2N
> 1 , para todo k sucientemente grande.
SEC

AO 4.3 A EQUAC

AO DE HERMITE 36
Assim, a partir de um certo j, teremos
a
2j
b
2j
> 1, isto e, a
2j
> b
2j
. Logo podemos escrever
y
1
(x)
e
x
2
2
=
a
0
+ a
2
x
2
+ a
4
x
4
+ + a
2n
x
2n
+
b
0
+ b
2
x
2
+ b
4
x
4
+ + b
2n
x
2n
+
=

n=1
a
2n
x
2n

n=1
b
2n
x
2n
>
j

n=1
a
2n
x
2n
+

n=j+1
b
2n
x
2n

n=1
b
2n
x
2n
>
j

n=1
a
2n
x
2n
+

n=j+1
b
2n
x
2n
+
j

n=1
b
2n
x
2n

n=1
b
2n
x
2n

n=1
b
2n
x
2n
=
=
j

n=1
(a
2n
b
2n
)x
2n

n=1
b
2n
x
2n
+ 1 =
q(x)
e
x
2
2
+ 1,
onde q(x) e um polin omio. A partir disto podemos escrever:
lim
x
y
1
(x)
e
x
2
2
lim
x
q(x)
e
x
2
2
+ 1 = 1
Portanto, para que w tenda a zero quando |x| tende para innito e necess ario e suciente que p
seja n umero par.
Tudo o que zemos para y
1
(x) pode tamb em ser feito para y
2
(x). Neste caso a imposic ao e
que p seja um n umero mpar.
4.3.1 A quantizac ao da energia
Observe agora que, quando a posic ao e m axima, a velocidade e mnima e portanto a energia
cin etica da partcula e nula. Como, pela Conservac ao de Energia, a energial total E e constante,
devemos ter:
E =
1
2
kx
2
0
(4.3.4)
Agora, xado o instante t
0
em que a partcula atinge a posic ao x
0
, devemos ter (x
0
, t
0
) = 1.
Olhando agora para (4.2.5) e (4.2.6) podemos escrever:
CAP. 4 POLIN

OMIOS DE HERMITE 37
(x
0
, t
0
) = e

2i
h
t
0
(x
0
) = 0 (x
0
) = 0. (4.3.5)
Pode-se provar que
xx
(x
0
) = 0. A demonstrac ao deste fato e muito extensa, de modo que
preferimos n ao apresent a-la aqui. O leitor interessado pode consultar [2] onde este trabalho e feito
com todos os detalhes.
Recordemos agora a express ao (4.2.7):
d
2
dx
2
(x
0
) +
8
2
m
h
2
_

1
2
kx
2
0
_
(x
0
) = 0.
Olhando para (4.3.5) e lembrando que
xx
(x
0
) = 0 e
8
2
m
h
2
= 0 podemos concluir que
_

1
2
kx
2
0
_
= 0.
Agora note que, em virtude da relac ao (4.3.4), a equac ao acima ser a satisfeita se, e somente se,
= E.
Os estudos feitos na sec ao anterior tinham como objetivo a resoluc ao de (4.2.10). Uma vez que
j a sabemos o valor de podemos reescrever aquela equac ao na seguinte forma:
d
2
dx
2
+
_
2E
hv
u
2
_
= 0.
Compare esta equac ao com (4.3.1). A menos da vari avel e de algumas constantes elas s ao
iguais. Esta igualdade nos d a:
2E
hv
= 2p + 1 E = hv
_
p +
1
2
_
, (4.3.6)
onde p e um inteiro n ao negativo.
A imposic ao feita sobre p e a garantia de que nossas func oes cumprir ao as condic oes (4.2.11),
sendo assim soluc oes v alidas para o problema.
A relac ao (4.3.6) nos mostra que a energia total do sistema E assume valores dentro de um con-
junto discreto. A este fen omeno d a-se o nome de quantizac ao de energia. A energia de um sistema
se apresenta portanto como m ultiplo de uma unidade fundamental, o quantum. Este fen omeno fora
postulado por Max Planck em 1900, para explicar as leis da radiac oes t ermicas; ela permitiu a N.
Bohr estabelecer, em 1913, seu modelo de atomo.
As soluc oes de (4.3.2) s ao, conforme j a foi observado, polin omios. Na pr oxima sec ao veremos
uma s erie de propriedades de tais polin omios. Observe que a equac ao originou-se de um problema
relacionado ` a mec anica qu antica. Outro trabalho devido ` a Hermite, o das formas Hermitianas
SEC

AO 4.3 A EQUAC

AO DE HERMITE 38
(ver Cap. 2), tamb em foi crucial para a formulac ao das bases desta nova mec anica, dada por
Heinsenberg
5
em 1925.
4.3.2 Propriedades dos Polin omios de Hermite
Lembre que quando escrevemos as soluc oes y
1
e y
2
havamos assumido que a
0
= a
1
= 1. Mas
nossas soluc oes gerais s ao da forma C y
1
(x), onde C e uma constante arbitr aria. Suponha agora
que p e um n umero par, h seja uma soluc ao de (4.3.2) e o grau do polin omio h seja n. Considere
C tal que C a
n
= 2
n
. Nessas condic oes C h(x) e chamado o polin omio de Hermite de grau n.
Para exemplicar isto faca p = 4 em h(x). Temos ent ao:
h(x) = 1 4x
2
+
4
3
x
4
.
Tome C =
2
4
4
3
= 2
4 3
4
= 12. Logo:
C h(x) = H
4
(x) = 16x
4
48x
2
+ 12.
Am de justicar a escolha de C desta forma encontremos uma express ao geral para o n- esimo
polin omio de Hermite. Para isso vamos escrever h com todos os seus coecientes em func ao do
ultimo coeciente a
n
. Lembremos a relac ao de recorr encia que determina os coecientes:
a
k+2
=
2(k n)
(k + 1)(k + 2)
a
k
Substituindo k por k 2 na express ao acima teremos:
a
k
=
2(k 2 n)
k(k 1)
a
k2
a
k2
=
k(k 1)
2(k 2 n)
a
k
Com esta ultima relac ao podemos escrever:
h
n
(x)
a
n
= x
n

n(n 1)
2 2
x
n2
+
n(n 1)(n 2)(n 3)
2
2
2 4
x
n4
+ +
+ (1)
k
n(n 1) (n 2k + 1)
2
k
2 4 (2k)
x
n2k
+ + T(x),
5
Werner Heinsenberg: fsico alem ao (W urzburg 1901 - Munique 1976). Foi o autor da teoria da estrutura do
n ucleo do atomo, formado unicamente de pr otons e n eutrons. A aplicac ao da mec anica qu antica ao atomo levou-o a
conceb e-lo como um quadro de n umeros, destituido de imagem material mas explic avel pelo c alculo matricial (1925).
Foi o criador das relac oes de indeterminac ao (1927), que renovaram todos os conceitos da micromec anica ( Premio
Nobel de fsica, 1932).
CAP. 4 POLIN

OMIOS DE HERMITE 39
onde T(x) e um mon omio de grau 0 ou 1, dependendo de n ser par ou mpar. Escrevendo sob
forma de somat orio temos:
h
n
(x) = a
n
[n/2]

k=0
(1)
k
n!
2
2k
k!(n 2k)!
x
n2k
,
onde [n/2] simboliza o maior inteiro menor ou igual a
n
2
. A partir dessa express ao, am de obter-
mos o n- esimo polin omio de Hermite e suciente que facamos a
n
= 2
n
. Com isso obtemos:
H
n
(x) =
[n/2]

k=0
(1)
k
n!
k!(n 2k)!
(2x)
n2k
. (4.3.7)
Observe que a escolha de a
n
= 2
n
foi uma forma de simplicar a express ao do n- esimo
polin omio. Esta maneira compacta de se escrever o somat orio justica a escolha.
Vamos agora deduzir a func ao de gerac ao dos polin omios de Hermite. Esfa func ao e da forma:
e
2xtt
2
=

n=0
H
n
(x)
n!
t
n
= H
0
(x) + H
1
(x)t +
H
2
(x)
2!
t
2
+ . (4.3.8)
Inicialmente vamos estabelecer o seguinte resultado:
_

n=0
a
n
t
2n
__

n=0
b
n
t
n
_
=

n=0
_
_
[n/2]

k=0
a
k
b
n2k
_
_
t
n
. (4.3.9)
De fato a expans ao do lado esquerdo da express ao (4.3.9) nos dar a produtos da forma a
k
t
2k
b
j
t
j
.
Portanto, para agruparmos as n- esimas pot encia de t devemos considerar todos os produtos tais que
2k +j = n. Estes termos s ao da forma a
k
t
2k
b
n2k
t
n2k
. Devemos ter tamb em k 0 e n2k 0.
Logo a restric ao que deve ser imposta e 0 k
n
2
. Como k deve tamb em ser um n umero inteiro
temos nalmente 0 k [n/2]. Estas considerac oes provam a validade de (4.3.9).
Vamos agora provar que vale a relac ao (4.3.8). Em virtude de (4.3.7) e (4.3.9) temos:

n=0
H
n
(x)
n!
t
n
=

n=0
_
_
[n/2]

k=0
(1)
k
(2x)
n2k
k!(n 2k)!
_
_
t
n
=
_

n=0
(1)
n
n!
t
2n
__

n=0
(2x)
n
n!
t
n
_
=
_

n=0
(t
2
)
n
n!
__

n=0
(2xt)
n
n!
_
= e
t
2
e
2xt
= e
2xtt
2
.
SEC

AO 4.3 A EQUAC

AO DE HERMITE 40
A func ao de gerac ao dos polin omios de Hermite nos permite demonstrar a f ormula de Ro-
drigues para polin omios de Hermite. Vamos a ela:
H
n
(x) = (1)
n
e
x
2 d
n
dx
n
e
x
2
. (4.3.10)
Da relac ao (4.3.8) segue:
H
n
(x) =
_

n
t
n
e
2xtt
2
_
t=0
= e
x
2
_

n
t
n
e
(xt)
2
_
t=0
.
Agora fazendo z = x t e usando o fato de que
d
dt
=
d
dz
podemos escrever:
H
n
(x) = (1)
n
e
x
2
_

n
z
n
e
z
2
_
z=x
= (1)
n
e
x
2 d
n
dx
n
e
x
2
,
o que completa a demonstrac ao de (4.3.10).
4.3.3 Ortogonalidade
Uma das mais importantes propriedades dos polin omios de Hermite e que eles s ao ortogonais.
Dizer isso, no nosso contexto, e equivalente a dizer que:
_

H
m
(x)H
n
(x)e
x
2
dx = 0 , se m = n
De uma maneira geral, duas func oes f e g s ao ortogonais quando existe um produto interno
segundo o qual < f, g >= 0. No nosso caso o produto interno que tomamos e a integral com peso
e
x
2
. Observe que a integral e feita sobre toda a reta, o que signica que os polin omios de Hermite
s ao ortogonais em todo o intervalo (, ).
Quando tomamos o produto interno de um polin omio de Hermite por ele mesmo estamos de
fato medindo o quadrado da norma do polin omio. Este valor e exatamente:
_

[H
n
(x)]
2
e
x
2
dx = 2
n
n!

Vamos ent ao formalizar tudo o que foi dito acima provando a seguinte armac ao :
_

H
m
(x)H
n
(x)e
x
2
dx =
_

_
0 , se m = n
2
n
n!

, se m = n.
Para provarmos este resultado lembremos inicialmente que
w
m
= e
x
2
2
H
m
(x)
CAP. 4 POLIN

OMIOS DE HERMITE 41
e soluc ao de:
w

m
+ (2m + 1 x
2
)w
m
= 0 (4.3.11)
Da mesma forma que
w
n
= e
x
2
2
H
n
(x)
e soluc ao de:
w

n
+ (2n + 1 x
2
)w
n
= 0 (4.3.12)
Multiplicando (4.3.11) por w
n
e (4.3.12) por w
m
e subtraindo estes dois resultados obtemos:
(w

m
w
n
w
m
w

n
) + 2(mn)w
m
w
n
= 0
ou,
d
dx
(w

m
w
n
w
m
w

n
) + 2(mn)w
m
w
n
= 0 (4.3.13)
Integrando a express ao acima de a obtemos:
_

_
d
dx
(w

m
w
n
w
m
w

n
) + 2(mn)w
m
w
n
_
dx = 0.
Mas a integral do primeiro termo tem a forma
T(x)
e
x
2
, onde T(x) e um polin omio, e portanto se
anula nos extremos. Deste fato segue que
2(mn)
_

w
m
w
n
dx = 0
_

w
m
w
n
dx = 0.
Isto estabelece a primeira parte. Para calcularmos o quadrado da norma procedamos como se
segue.
Queremos mostrar que
_

[H
n
(x)]
2
e
x
2
dx = 2
n
n!

Usando a f ormula de Rodrigues temos

_

H
n
(x)H
n
(x)e
x
2
dx =
_

H
n
(x)(1)
n
e
x
2 d
n
dx
n
e
x
2
e
x
2
dx
= (1)
n
_

H
n
(x)
d
n
dx
n
e
x
2
dx
SEC

AO 4.3 A EQUAC

AO DE HERMITE 42
Calculemos esta ultima integral por partes.
u = H
n
(x) du = H

n
(x)dx
dv =
d
n
dx
n
e
x
2
dx v =
d
n1
dx
n1
e
x
2
.
Observe que u v e o produto de e
x
2
por um polin omio e claramente se anular a nos extremos.
Ap os esta observac ao obtemos:
_

[H
n
(x)]
2
e
x
2
dx = (1)
n+1
_

n
(x)
d
n1
dx
n1
e
x
2
dx
Procedendo como acima (n 1) vezes obtemos :
_

[H
n
(x)]
2
e
x
2
dx = (1)
n+1
_

n
(x)
d
n1
dx
n1
e
x
2
dx
= (1)
n+2
_

n
(x)
d
n2
dx
n2
e
x
2
dx
= = (1)
2n
_

H
(n)
n
(x)e
x
2
dx
Calculemos agora este ultimo termo. Como H
n
(x) e um polin omio de grau n devemos ter
H
(n)
n
(x) = n!a
n
= n!2
n
. Resta agora mostrar que
_

e
x
2
dx =

. Para isto observe incial-

mente que
=
__

e
x
2
dx
_
2
=
_

e
x
2
dx
_

e
y
2
dy =
_

e
(x
2
+y
2
)
dxdy
Usando coordenadas polares nesta ultima integral temos:
=
_
2
0
_

0
e
r
2
rdrd
Fazendo u = r
2
e substituido na express ao acima temos:
=
_
2
0
_
1
2
_

u=0
e
u
du
_
d
=
1
2
_
2
0
d
=
2
2
= .
Logo,
CAP. 4 POLIN

OMIOS DE HERMITE 43
__

e
x
2
dx
_
2
=
_

e
x
2
dx =

Com isto podemos escrever

_

[H
n
(x)]
2
e
x
2
dx = a
n
n!

= 2
n
n!

,
o que completa a nossa demonstrac ao .
4.4 S eries de Hermite
Conforme mencionado na sec ao anterior, a ortogonalidade dos polin omios de Hermite e uma pro-
priedade muito importante. Isto porque, em virtude da ortogonalidade, podemos dizer que, de
certa forma, o conjunto de todos os polin omios de Hermite formam uma base de um espaco ve-
torial de dimens ao innita. Assim, faz sentido pensarmos em uma func ao f como sendo dada da
pela seguinte express ao.
f(x) =

n=0
a
n
H
n
(x). (4.4.1)
Dizemos que a express ao (4.4.1) e uma expans ao de f em s erie de Hermite. Am de encon-
trarmos os a
n
basta que multipliquemos a express ao (4.4.1) por e
x
2
H
m
(x) e integrarmos termo a
termo de a . Assim, em virtude da ortogonalidade de dois polin omios distintos e do valor
j a calculado para a norma de H
m
(x) teremos:
_

H
m
(x)f(x)e
x
2
dx =

n=0
a
n
_

H
m
(x)H
n
(x)e
x
2
dx = a
m
2
m
m!

.
Assim a express ao para um a
n
arbitr ario e:
a
n
=
1
2
n
n!

H
n
(x)f(x)e
x
2
dx. (4.4.2)
Supondo que se sabe a priori que a express ao (4.4.1), com os coecientes dados por (4.4.2) e
v alida, chamaremos as func oes do tipo a
n
H
n
(x)e
x
2
2
de autofunc oes do problema
d
2
dx
2
+
_
2E
hv
u
2
_
= 0,
onde
SEC

AO 4.4 S

ERIES DE HERMITE 44
_
||
2
du = 2
_
vm
h
e 0, quando |u| .
Conforme visto as suas soluc oes s ao da forma:
= ce
u
2
2
H
n
(u),
onde c e uma constante que, em virtude das condic oes de contorno e do valor da norma de H
n
(u)
tem a seguinte express ao:
c =
_
4vm
2
2n
(n!)
2
h
_1
4
.
Lembrando agora que E era dado por:
E = hv
_
n +
1
2
_
concluimos que a autofunc ao correspondente ao autovalor dado por E e:
=
_
4vm
2
2n
(n!)
2
h
_1
4
e
u
2
2
H
n
(u),
onde u e dado em termos de x por (4.2.9).
A teoria das func oes ortogonais e o ramo da matem atica que estuda condic oes para que uma
dada func ao f possa ser escrita como uma s erie de Hermite. De fato, esta teoria e bem mais geral
e pode ser aplicada n ao s o para os polin omios de Hermite, mas para uma s erie de outras func oes
que, como os polin omios de Hermite, constituem bases de espacos vetoriais de dimens ao innita.
Alguns exemplos de aplicac oes desta teoria podem ser encontrados em [7].
REFER

ENCIAS BIBLIOGR

AFICAS
[1] E. T. BELL. Men of Mathematics. Simon and Schuster, New York, 1937.
[2] C. COHEN-TANNOUDJI. Quantum Mechanics. Hermann, Paris, 1977.
[3] D. G. FIGUEIREDO. N umeros Irracionais e Transcendentes. S.B.M., R.J, 1967.
[4] I. HERSTEIN. Topics in Algebra. Blaisdell Publishing Company, Waltham, 1964.
[5] I. NIVEN. N umeros Racionais e Irracionais. S.B.M., R.J, 1984.
[6] C. L. SIEGEL. Transcendental Numbers. Princenton University Press, Princenton, 1949.
[7] G. F. SIMMONS. Differential Equations with Applications ans Historical Notes. McGraw-
Hill, 1972.
45