Este documento lista e descreve oito importantes problemas matemáticos em aberto, incluindo a Conjectura de Goldbach, a Hipótese de Riemann e as Equações de Navier-Stokes. Fornece breves explicações sobre cada um destes problemas, destacando sua importância e o fato de que permanecem sem solução.

1. Problemas Matemáticos para
o Século XXI
Listas com problemas matemáticos 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 século XIX para o século XX, e mais
recentemente uma lista proposta por Smale [2] em 1998, com a finalidade de
marcar a passagem do século XX para o século XIX.
Na lista original de Hilbert são propostos 23 problemas. Matemáticos do
mundo todo mergulharam na busca de suas soluções. Por sua vez, Smale
propõe 18 problemas sendo que alguns deles apareceram inicialmente na lista
de Hilbert. Enquanto que na lista de Hilbert o entendimento de certos aspectos
topológicos era a ênfase, na lista de Smale este papel é ocupado pela idéia de
algoritmo de tempo polinomial.
A seguir são listados 8 problemas matemáticos em aberto. Entre eles
estão alguns dos mais importantes problemas da Matemática atual. Os
problemas marcados com (*) têm um prêmio de 1 milhão de dólares para a
apresentação de uma solução [3]: A Conjectura de Goldbach (*), A
Hipótese de Riemann (*), A Conjectura de Poincaré (*), A Conjectura
Jacobiana, O 16o
Problema de Hilbert, P versus NP (*), As Equações de
Navier-Stokes (*) e A Conjectura de Carathéodory.
[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

2. A Conjectura de Goldbach
Os números primos sempre fascinaram o ser humano. A partir de sua
definição simples podemos obter resultados belíssimos, como o Teorema
Fundamental da Aritmética e a existência de infinitos números primos.
No entanto, conhecemos muito pouco a respeito dos números primos.
Por exemplo, os primos da forma p e são conhecidos como primos
gêmeos. Assim, 3 e 5, 5 e 7, 11 e 13, 17 e 19 são exemplos de primos gêmeos.
Uma questão que se coloca é a seguinte: Existem infinitos primos gêmeos?
Não se conhece uma resposta para esta questão. Em 1919, Brun provou que a
série formada pela soma dos recíprocos dos primos gêmeos converge, obtendo
2+p
...902,1...
13
1
11
1
7
1
5
1
5
1
3
1
2
11
=+





++





++





+=





+
+= ∑ pp
B .
Uma outra especulação a respeito dos números primos nos leva à
seguinte lista
,...11516,7714,7512,5510,538,336,224 +=+=+=+=+=+=+= .
Parece que todos os números inteiros pares maiores do que 2 podem ser
escritos como sendo a soma de dois números primos. Esta observação foi feita
em 1742 por Christian Goldbach numa carta a Euler.
Conjectura de Goldbach: Todo número inteiro par maior que 2
pode ser escrito como uma soma de dois números primos.
2
Várias tentativas para a sua demonstração têm sido feitas. Por exemplo,
já se mostrou que ela é verdadeira para inteiros pares menores que O
caso geral continua em aberto.
14
10.4 .

3. A Hipótese de Riemann
Euler estudou a série ∑
∞
=
=+++++=
1
1
...
5
1
4
1
3
1
2
1
1)(
n
sssss
n
sζ
)1(
, para
inteiros (claramente1>s ζ diverge). Uma surpreendente relação entre
)(sζ e os números primos foi também estabelecida por Euler,
...
17
7
15
5
13
3
12
2
...
5
1
4
1
3
1
2
1
1)(
−−−−
=+++++= s
s
s
s
s
s
s
s
ssss
sζ ,
ou seja
∏ −
−
=
p
s
p
s
1
1
)(ζ ,
onde o produto é tomado sobre os números primos p.
Riemann estendeu a definição de )(sζ para todos os números
complexos s, exceto para , a qual posteriormente passou a ser conhecida
como função zeta de Riemann.
1=s
Um zero de )(sζ é um número complexo s tal que 0)( =sζ . Pode-se
mostrar que a função zeta de Riemann tem zeros triviais em
Utilizando o produto de Euler mostra-se que todos os outros zeros de
,....6,4 −
)(s
,2 −−
ζ
estão na faixa crítica determinada pelos números complexos não reais com
, e que eles são simétricos em relação à reta crítica1)Re(0 ≤≤ s
2
1) =sRe( .
Podemos assim enunciar a Hipótese de Riemann: Todos os zeros não
triviais de )s(ζ estão sobre a reta crítica.
Em 1986 foi mostrado que os primeiros 1.500.000.001 zeros não triviais
de )(sζ estão sobre a reta crítica. Em 1900, Hilbert listou a Hipótese de
Riemann como um dos mais importantes problemas em aberto da Matemática.
3

4. A Conjectura de Poincaré
Uma superfície regular (dimensão 2) em pode ser vista como uma
união de pedaços de planos que foram deformados e colados, de modo que em
cada um de seus pontos faça sentido falar do plano tangente à superfície nesse
ponto. Uma superfície regular é chamada compacta se ela for limitada (puder
ser colocada dentro de uma esfera de raio conveniente) e fechada (toda
seqüência convergente de pontos sobre ela converge para um ponto dela).
Uma superfície regular é chamada conexa se para quaisquer dois pontos sobre
ela, existir uma curva conectando esses pontos, inteiramente sobre a
superfície. Um elipsóide é uma superfície regular, compacta e conexa.
3
R
Uma hipersuperfície regular, compacta e conexa (dimensão 3) em é
uma generalização do conceito de superfície regular, compacta e conexa em
. Por exemplo, a esfera tridimensional de raio 1 é definida como sendo
o conjunto dos pontos no espaço cuja distância até a origem é igual a 1,
isto é,
4
R
3
R 3
S
4
R
{ }1),,,( 2
4
2
3
2
2
4
4321
3
=+++=∈== xxxRxxxxxS / x 2
1
x .
Estamos em condições de formular a Conjectura de Poincaré:
Suponha que uma hipersuperfície regular, compacta e conexa M em
tenha a propriedade de que toda curva fechada sobre ela possa ser
deformada num ponto sem sair da hipersuperfície. Então 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 dimensões . Smale deu uma resposta
afirmativa para , enquanto Freedman deu uma resposta afirmativa para
. Ambos ganharam a Medalha Fields.
3>n
5≥n
4=n

5. A Conjectura Jacobiana
Consideremos uma aplicação polinomial, ou seja,nn
RRf →:
( )),...,(),...,,...,(),,...,(),...,( 112111 nnnnn
xxfxxfxxfxxf = ,
onde as funções , são funções polinomiais de n variáveis.
Sabemos que f é derivável e a derivada de f em cada ponto
é uma transformação linear , a qual
pode ser representada por sua matriz Jacobiana
nifi ,...,1, =
n
n
Rxxx ∈= ),...,( 00
1
0 nn
RRxDf →:)( 0
nn
n
nn
n
x
x
f
x
x
f
x
x
f
x
x
f
xDf
×














∂
∂
∂
∂
∂
∂
∂
∂
=
)(...)(
.........
)(...)(
)(
00
1
010
1
1
0
.
Dizemos que (Df é não-singular se sua matriz Jacobiana for não-
singular. Neste caso, em particular, é injetora. Pelo Teorema da
Aplicação Injetora, sabemos que existe uma vizinhança V de tal que f
restrita à vizinhança V é injetora. Em outras palavras, a injetividade da
derivada de f num ponto garante que f é injetiva numa vizinhança desse ponto.
)0
x
)( 0
xDf
0
x
Estamos em condições de enunciar a Conjectura Jacobiana: Suponha
que uma aplicação polinomial tenha a propriedade de que
sua derivada em cada ponto seja não-singular. Então f é injetora?
nn
RRf →:
Observemos que o Teorema da Aplicação Injetora garante apenas que f
é localmente injetora, em cada um dos pontos de seu domínio. A partir disso
não podemos garantir a injetividade global.
5
A Conjectura Jacobiana é um problema em aberto mesmo para o caso
. O professor Carlos Gutierrez da USP de São Carlos tem dado
contribuições significativas à sua solução.
2=n

6. 16o
Problema de Hilbert
Os problemas de Hilbert foram anunciados em Paris em 1900, durante o
segundo Congresso Internacional de Matemática.
Apresentamos abaixo uma versão moderna do seu 16o
problema.
Considere uma equação diferencial em 2
R





=′
=′
∗
),(
),(
)(
yxQy
yxPx
onde P e Q são funções polinomiais. Um ciclo limite de (*) nada mais é do
que uma solução periódica isolada, ou seja, é uma solução fechada de (*) tal
que todas as soluções próximas tendam para ela.
Podemos agora enunciar o 16o
Problema de Hilbert: É o número K de
ciclos limites de (*) limitado da forma , onde d é o máximo dos
graus de P e Q, e q é uma constante universal?
q
dK ≤
Segundo Smale, tirando a Hipótese de Riemann, este é o problema mais
desafiador proposto por Hilbert. Um número muito grande de matemáticos
têm procurado a solução deste problema mas esta, todavia, está muito longe de
ser obtida, mesmo para o caso em que d .2=
Mesmo a questão da finitude dos ciclos limites de (*) está longe de
alcançar seu desenvolvimento definitivo. Dulac (1923), Écalle (1992) e
Ilyashenko (1991) deram contribuições ao entendimento deste problema.
6

7. 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 questões que se colocam são as seguintes: quão eficiente é
um algoritmo para resolver um dado problema? De que modo o número de
cálculos necessários para fornecer uma resposta depende dos dados iniciais?
Para propósitos teóricos procuramos classificar os problemas a serem
resolvidos. Aqui vamos trabalhar com duas dessas classes, sendo que a
principal distinção entre elas está nos problemas que são do tipo P (tempo
polinomial) e aqueles que não são. Um problema é do tipo P se ele pode ser
resolvido utilizando um algoritmo cujo tempo de execução é limitado por
alguma potência fixa do número de símbolos exigidos para especificar os
dados iniciais. Caso contrário o problema é chamado não 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 não P, mas isso nunca foi provado.
Coloca-se, então, a seguinte questão: por que é difícil provar que um dado
problema está na classe não P ? A resposta é bastante simples. Você teria que
contemplar todos os possíveis 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 solução proposta é uma
solução em tempo polinomial. Claramente temos P⊂ NP. Uma conjectura foi
então formulada: P = NP ? É crença de muitos que a classe NP contenha
propriamente a classe P.

8. As Equações de Navier-Stokes
Talvez seja o mais célebre problema em Equações Diferenciais Parciais.
Para entender o seu enunciado precisamos lançar mão de algumas definições.
Aqui e . Para as funções ,
onde , definimos
como sendo o Laplaciano de u nas variáveis espaciais ,
como sendo o gradiente da função escalar p, como sendo o operador
),0[ ∞=+
R
,,,( 321
xxxtu
3
R⊂Ω
,( 11
xtu
Rp →Ω: e
,,(), 133
xtux
∇⋅u
3
: RRu →×+
Ω
( )), 32
x
),,( 321 xxx p∇
,,,(),,,) 21232
xxxtuxx=
u∆
i
i
x
u
∂
∂
∑
3
1
e v uma constante positiva.
As equações de Navier-Stokes descrevem o movimento de um fluido
em . Essas equações devem ser resolvidas de modo a encontrar um
campo de velocidade u e uma pressão p satisfazendo determinadas condições
em e no bordo de . As equações de Navier-Stokes podem ser escritas
da seguinte maneira:
3
R⊂Ω
0=t Ω
0)( =∇+−∇⋅+
∂
∂
puvuu
t
u
∆ e div .0=u
O problema que se coloca é o seguinte: As equações de Navier-Stokes,
para um conjunto , têm uma única solução regular para todo o
tempo t ?
3
R⊂Ω
8
Muitos matemáticos têm contribuído para o entendimento deste
problema. Uma resposta afirmativa foi dada para o caso bidimensional. Em
dimensão 3 uma resposta afirmativa foi dada para t em um pequeno intervalo
. A solução deste problema poderá ser um passo fundamental para o
entendimento de problemas ainda mais complicados, como é o caso do
entendimento do fenômeno da turbulência.
],0[ T

9. A Conjectura de Carathéodory
Tomemos uma superfície regular e orientada S em . Para cada ponto
está bem determinado o plano tangente a S no ponto p (T ). Sobre
tomemos a circunferência unitária centrada no ponto p, determinada
pelos vetores unitários 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 unitário a S no ponto p da orientação escolhida. A
interseção de S com resulta numa curva planar sobre a superfície S,
denominada seção 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 função contínua Como é um conjunto
compacto (fechado e limitado), segue que tem máximo e mínimo em
, denotados por , respectivamente. Decorre do que foi
discutido que . Um ponto é chamado de ponto umbílico
quando .
3
R
1
S
1
S
Sp∈
STp
1
S
Sp
N
v
1
S
S1
:
p
v∈
)(vp
Π
)(vp
k
(e)( 1kp
)(p
p
Π
2k
2k≤
)
),( vpn
pkn )
)p
R→( .
)(pkn
S∈)(1 pk
(2
pk=)(1
pk
9
Uma superfície regular S é chamada de ovalóide 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 ovalóide tem o formato de um ovo. Podemos enunciar a Conjectura de
Carathéodory: Sobre todo ovalóide existem pelo menos dois pontos
umbílicos. Na esfera todos os pontos são umbílicos; no elipsóide de revolução
os dois pólos são pontos umbílicos; no elipsóide de três eixos distintos temos
quatro pontos umbílicos; o caso geral continua em aberto.
Sp