나비에-스토크스 존재성과 매끄러움

나비에-스토크스 존재성과 매끄러움(Navier–Stokes existence and smoothness) 문제는 나비에-스토크스 방정식의 3차원 강해가 항상 존재하고 매끄러운지에 대한 수학의 미해결 문제이다. 해의 존재성과 매끄러움을 증명하거나 반증(유한 시간안에 폭발하는 해가 존재하는 경우)하면 클레이 수학연구소에서 건 100만 달러를 받는다.

부분적인 결과 
 2차원의 해는 올가 라젠스카야가 전역적인 매끄러운 강해의 존재를 증명했다.
 1934년에 장 르레가 약해(Weak solution)의 존재성을 증명했다.
 3차원 문제에서 유한시간 동안은 전역적으로 매끄러운 해가 존재한다. 폭발하는 해가 존재한다면, 그 이후의 거동은 알려지지 않았다.

밀레니엄 문제
편미분방정식