Problemas Matemticos para

o Sculo XXI

Listas com problemas matemticos em aberto algumas vezes aparecem,
principalmente para marcar alguma data especial. Foi este o caso da lista de
problemas proposta por Hilbert [1] em 1900, conhecida como os Problemas
de Hilbert, que marcou a virada do sculo XIX para o sculo XX, e mais
recentemente uma lista proposta por Smale [2] em 1998, com a finalidade de
marcar a passagem do sculo XX para o sculo XIX.
Na lista original de Hilbert so propostos 23 problemas. Matemticos do
mundo todo mergulharam na busca de suas solues. Por sua vez, Smale
prope 18 problemas sendo que alguns deles apareceram inicialmente na lista
de Hilbert. Enquanto que na lista de Hilbert o entendimento de certos aspectos
topolgicos era a nfase, na lista de Smale este papel ocupado pela idia de
algoritmo de tempo polinomial.
A seguir so listados 8 problemas matemticos em aberto. Entre eles
esto alguns dos mais importantes problemas da Matemtica atual. Os
problemas marcados com (*) tm um prmio de 1 milho de dlares para a
apresentao de uma soluo [3]: A Conjectura de Goldbach (*), A
Hiptese de Riemann (*), A Conjectura de Poincar (*), A Conjectura
Jacobiana, O 16
o
Problema de Hilbert, P versus NP (*), As Equaes de
Navier-Stokes (*) e A Conjectura de Carathodory.

[1] http://aleph0.clarku.edu/~djoyce/hilbert/toc.html
[2] S. Smale, Mathematical problems for the next century, Math. Intel. 20.

1
[3] www.claymath.org/prizeproblems
A Conjectura de Goldbach


Os nmeros primos sempre fascinaram o ser humano. A partir de sua
definio simples podemos obter resultados belssimos, como o Teorema
Fundamental da Aritmtica e a existncia de infinitos nmeros primos.
No entanto, conhecemos muito pouco a respeito dos nmeros primos.
Por exemplo, os primos da forma p e so conhecidos como primos
gmeos. Assim, 3 e 5, 5 e 7, 11 e 13, 17 e 19 so exemplos de primos gmeos.
Uma questo que se coloca a seguinte: Existem infinitos primos gmeos?
No se conhece uma resposta para esta questo. Em 1919, Brun provou que a
srie formada pela soma dos recprocos dos primos gmeos converge, obtendo
2 + p

... 902 , 1 ...
13
1
11
1
7
1
5
1
5
1
3
1
2
1 1
= +
|
.
|

\
|
+ +
|
.
|

\
|
+ +
|
.
|

\
|
+ =
|
|
.
|

\
|
+
+ =

p p
B .

Uma outra especulao a respeito dos nmeros primos nos leva
seguinte lista
,... 11 5 16 , 7 7 14 , 7 5 12 , 5 5 10 , 5 3 8 , 3 3 6 , 2 2 4 + = + = + = + = + = + = + = .

Parece que todos os nmeros inteiros pares maiores do que 2 podem ser
escritos como sendo a soma de dois nmeros primos. Esta observao foi feita
em 1742 por Christian Goldbach numa carta a Euler.
Conjectura de Goldbach: Todo nmero inteiro par maior que 2
pode ser escrito como uma soma de dois nmeros primos.

2
Vrias tentativas para a sua demonstrao tm sido feitas. Por exemplo,
j se mostrou que ela verdadeira para inteiros pares menores que O
caso geral continua em aberto.
14
10 . 4 .
A Hiptese de Riemann

Euler estudou a srie

=
= + + + + + =
1
1
...
5
1
4
1
3
1
2
1
1 ) (
n
s s s s s
n
s
) 1 (
, para
inteiros (claramente 1 > s diverge). Uma surpreendente relao entre
) (s e os nmeros primos foi tambm estabelecida por Euler,
...
1 7
7

1 5
5

1 3
3

1 2
2
...
5
1
4
1
3
1
2
1
1 ) (

= + + + + + =
s
s
s
s
s
s
s
s
s s s s
s ,
ou seja

=
p
s
p
s
1
1
) ( ,

onde o produto tomado sobre os nmeros primos p.
Riemann estendeu a definio de ) (s para todos os nmeros
complexos s, exceto para , a qual posteriormente passou a ser conhecida
como funo zeta de Riemann.
1 = s
Um zero de ) (s um nmero complexo s tal que 0 ) ( = s . Pode-se
mostrar que a funo zeta de Riemann tem zeros triviais em
Utilizando o produto de Euler mostra-se que todos os outros zeros de
,.... 6 , 4
) (s
, 2

esto na faixa crtica determinada pelos nmeros complexos no reais com
, e que eles so simtricos em relao reta crtica 1 ) Re( 0 s
2
1
) = s Re( .
Podemos assim enunciar a Hiptese de Riemann: Todos os zeros no
triviais de ) s ( esto sobre a reta crtica.
Em 1986 foi mostrado que os primeiros 1.500.000.001 zeros no triviais
de ) (s esto sobre a reta crtica. Em 1900, Hilbert listou a Hiptese de
Riemann como um dos mais importantes problemas em aberto da Matemtica.

3

A Conjectura de Poincar

Uma superfcie regular (dimenso 2) em pode ser vista como uma
unio de pedaos de planos que foram deformados e colados, de modo que em
cada um de seus pontos faa sentido falar do plano tangente superfcie nesse
ponto. Uma superfcie regular chamada compacta se ela for limitada (puder
ser colocada dentro de uma esfera de raio conveniente) e fechada (toda
seqncia convergente de pontos sobre ela converge para um ponto dela).
Uma superfcie regular chamada conexa se para quaisquer dois pontos sobre
ela, existir uma curva conectando esses pontos, inteiramente sobre a
superfcie. Um elipside uma superfcie regular, compacta e conexa.
3
R
Uma hipersuperfcie regular, compacta e conexa (dimenso 3) em
uma generalizao do conceito de superfcie regular, compacta e conexa em
. Por exemplo, a esfera tridimensional de raio 1 definida como sendo
o conjunto dos pontos no espao cuja distncia at a origem igual a 1,
isto ,
4
R
3
R
3
S
4
R
{ } 1 ) , , , (
2
4
2
3
2
2
4
4 3 2 1
3
= + + + = = = x x x R x x x x x S / x
2
1
x .
Estamos em condies de formular a Conjectura de Poincar:
Suponha que uma hipersuperfcie regular, compacta e conexa M em
tenha a propriedade de que toda curva fechada sobre ela possa ser
deformada num ponto sem sair da hipersuperfcie. Ento M pode ser
deformada numa esfera tridimensional ?
4
R
3
S

4
Poincar estudou o problema acima, exibindo uma resposta afirmativa
para ele. Posteriormente percebeu um engano em sua resposta. A Conjectura
de Poincar pode ser adaptada para dimenses . Smale deu uma resposta
afirmativa para , enquanto Freedman deu uma resposta afirmativa para
. Ambos ganharam a Medalha Fields.
3 > n
5 n
4 = n
A Conjectura Jacobiana

Consideremos uma aplicao polinomial, ou seja,
n n
R R f :

( ) ) ,..., ( ),..., ,..., ( ), ,..., ( ) ,..., (
1 1 2 1 1 1 n n n n n
x x f x x f x x f x x f = ,

onde as funes , so funes polinomiais de n variveis.
Sabemos que f derivvel e a derivada de f em cada ponto
uma transformao linear , a qual
pode ser representada por sua matriz Jacobiana
n i f
i
,..., 1 , =
n
n
R x x x = ) ,..., (
0 0
1
0 n n
R R x Df : ) (
0

n n
n
n n
n
x
x
f
x
x
f
x
x
f
x
x
f
x Df

|
|
|
|
|
.
|

\
|

=
) ( ... ) (
... ... ...
) ( ... ) (
) (
0 0
1
0 1 0
1
1
0
.

Dizemos que ( Df no-singular se sua matriz Jacobiana for no-
singular. Neste caso, em particular, injetora. Pelo Teorema da
Aplicao Injetora, sabemos que existe uma vizinhana V de tal que f
restrita vizinhana V injetora. Em outras palavras, a injetividade da
derivada de f num ponto garante que f injetiva numa vizinhana desse ponto.
)
0
x
) (
0
x Df
0
x
Estamos em condies de enunciar a Conjectura Jacobiana: Suponha
que uma aplicao polinomial tenha a propriedade de que
sua derivada em cada ponto seja no-singular. Ento f injetora?
n n
R R f :
Observemos que o Teorema da Aplicao Injetora garante apenas que f
localmente injetora, em cada um dos pontos de seu domnio. A partir disso
no podemos garantir a injetividade global.

5
A Conjectura Jacobiana um problema em aberto mesmo para o caso
. O professor Carlos Gutierrez da USP de So Carlos tem dado
contribuies significativas sua soluo.
2 = n
16
o
Problema de Hilbert

Os problemas de Hilbert foram anunciados em Paris em 1900, durante o
segundo Congresso Internacional de Matemtica.
Apresentamos abaixo uma verso moderna do seu 16
o
problema.
Considere uma equao diferencial em
2
R

=
=

) , (
) , (
) (
y x Q y
y x P x

onde P e Q so funes polinomiais. Um ciclo limite de (*) nada mais do
que uma soluo peridica isolada, ou seja, uma soluo fechada de (*) tal
que todas as solues prximas tendam para ela.
Podemos agora enunciar o 16
o
Problema de Hilbert: o nmero K de
ciclos limites de (*) limitado da forma , onde d o mximo dos
graus de P e Q, e q uma constante universal?
q
d K
Segundo Smale, tirando a Hiptese de Riemann, este o problema mais
desafiador proposto por Hilbert. Um nmero muito grande de matemticos
tm procurado a soluo deste problema mas esta, todavia, est muito longe de
ser obtida, mesmo para o caso em que d . 2 =
Mesmo a questo da finitude dos ciclos limites de (*) est longe de
alcanar seu desenvolvimento definitivo. Dulac (1923), calle (1992) e
Ilyashenko (1991) deram contribuies ao entendimento deste problema.

6
P versus NP

Um algoritmo um procedimento para resolver um problema que pode
ser executado por um computador: todo passo especificado por um
programa. Algumas questes que se colocam so as seguintes: quo eficiente
um algoritmo para resolver um dado problema? De que modo o nmero de
clculos necessrios para fornecer uma resposta depende dos dados iniciais?
Para propsitos tericos procuramos classificar os problemas a serem
resolvidos. Aqui vamos trabalhar com duas dessas classes, sendo que a
principal distino entre elas est nos problemas que so do tipo P (tempo
polinomial) e aqueles que no so. Um problema do tipo P se ele pode ser
resolvido utilizando um algoritmo cujo tempo de execuo limitado por
alguma potncia fixa do nmero de smbolos exigidos para especificar os
dados iniciais. Caso contrrio o problema chamado no P.
Podemos provar que um problema do tipo P fornecendo um algoritmo
que resolva o problema em tempo polinomial. Por exemplo, est na classe P o
Problema do Inspetor de Estradas. Em contraste, acredita-se que o Problema
do Caixeiro Viajante esteja na classe no P, mas isso nunca foi provado.
Coloca-se, ento, a seguinte questo: por que difcil provar que um dado
problema est na classe no P ? A resposta bastante simples. Voc teria que
contemplar todos os possveis algoritmos e mostrar que nenhum deles resolve
o problema proposto em tempo polinomial.

7
Agora a classe NP (nondeterministic polynomial time) composta pelos
problemas para os quais voc pode verificar se uma soluo proposta uma
soluo em tempo polinomial. Claramente temos PNP. Uma conjectura foi
ento formulada: P = NP ? crena de muitos que a classe NP contenha
propriamente a classe P.
As Equaes de Navier-Stokes

Talvez seja o mais clebre problema em Equaes Diferenciais Parciais.
Para entender o seu enunciado precisamos lanar mo de algumas definies.
Aqui e . Para as funes ,
onde , definimos
como sendo o Laplaciano de u nas variveis espaciais ,
como sendo o gradiente da funo escalar p, como sendo o operador
) , 0 [ =
+
R
, , , (
3 2 1
x x x t u
3
R
, (
1 1
x t u
R p : e
, , ( ),
1 3 3
x t u x
u
3
: R R u
+

( ) ) ,
3 2
x
) , , (
3 2 1
x x x p
, , , ( ), , , )
2 1 2 3 2
x x x t u x x =
u
i
i
x
u

3
1
e v uma constante positiva.
As equaes de Navier-Stokes descrevem o movimento de um fluido
em . Essas equaes devem ser resolvidas de modo a encontrar um
campo de velocidade u e uma presso p satisfazendo determinadas condies
em e no bordo de . As equaes de Navier-Stokes podem ser escritas
da seguinte maneira:
3
R
0 = t
0 ) ( = + +

p u v u u
t
u
e div . 0 = u
O problema que se coloca o seguinte: As equaes de Navier-Stokes,
para um conjunto , tm uma nica soluo regular para todo o
tempo t ?
3
R

8
Muitos matemticos tm contribudo para o entendimento deste
problema. Uma resposta afirmativa foi dada para o caso bidimensional. Em
dimenso 3 uma resposta afirmativa foi dada para t em um pequeno intervalo
. A soluo deste problema poder ser um passo fundamental para o
entendimento de problemas ainda mais complicados, como o caso do
entendimento do fenmeno da turbulncia.
] , 0 [ T
A Conjectura de Carathodory

Tomemos uma superfcie regular e orientada S em . Para cada ponto
est bem determinado o plano tangente a S no ponto p (T ). Sobre
tomemos a circunferncia unitria centrada no ponto p, determinada
pelos vetores unitrios tangentes a S no ponto p. Seja . Chamemos plano
normal a S no ponto p ( ) o plano gerado pelos vetores v e , onde
este ltimo o vetor normal unitrio a S no ponto p da orientao escolhida. A
interseo de S com resulta numa curva planar sobre a superfcie S,
denominada seo normal de S no ponto p, a qual possui uma curvatura, que
mede o quanto ela se afasta de ser uma reta, chamada curvatura normal de S
no ponto p e denotada por . Fixando p e variando podemos
construir uma funo contnua Como um conjunto
compacto (fechado e limitado), segue que tem mximo e mnimo em
, denotados por , respectivamente. Decorre do que foi
discutido que . Um ponto chamado de ponto umblico
quando .
3
R
1
S
1
S
S p
S T
p
1
S
S
p
N
v
1
S
S
1
:
p
v
) (v
p

) (v
p
k
( e ) (
1
k p
) ( p
p

2
k
2
k
)
) , ( v p
n
p k
n
)
) p
R ( .
) ( p k
n
S ) (
1
p k
(
2
p k = ) (
1
p k

9
Uma superfcie regular S chamada de ovalide quando ela for
compacta (veja A Conjectura de Poincar) e convexa (T deixa S de um
lado, para todo p em S). O nome bastante sugestivo uma vez que em geral
um ovalide tem o formato de um ovo. Podemos enunciar a Conjectura de
Carathodory: Sobre todo ovalide existem pelo menos dois pontos
umblicos. Na esfera todos os pontos so umblicos; no elipside de revoluo
os dois plos so pontos umblicos; no elipside de trs eixos distintos temos
quatro pontos umblicos; o caso geral continua em aberto.
S
p