나비에-스토크스 문제는 해결됐나? 2026년 현황: 미해결

아닙니다. 2026년 현재, 나비에-스토크스 문제는 해결되지 않았습니다. 클레이 존재성과 매끄러움 문제는 여전히 미해결입니다: 아무도 모든 매끄러운 3차원 비압축성 유동이 영원히 매끄럽게 유지됨을 증명하지 못했고, 인정된 폭발 반례를 만든 사람도 없습니다. 100만 달러의 클레이 밀레니엄 상은 여전히 수여되지 않았습니다.

이 페이지는 사람들이 보통 “나비에-스토크스가 해결되었는가?” 또는 “클레이 나비에-스토크스 문제가 해결되었는가?”라고 묻는 질문의 현재 상태 페이지입니다. 정확한 공식 정식화는 공식 클레이 나비에-스토크스 문제 서술 해설을 보세요.

방정식 자체는 의문의 여지가 없습니다. 엔지니어와 과학자들은 매일 나비에-스토크스를 사용하여 항공기를 설계하고, 날씨를 예측하고, 혈류를 모델링합니다. 시뮬레이션은 작동합니다. 하지만 미해결인 것은 순수하게 수학적인 질문입니다: 방정식이 항상 잘 행동하는 해를 생성하는가, 아니면 공간의 한 점에 집중되는 무한 속도 같은 불가능한 것을 결국 예측할 수도 있는가?

아닙니다. 2026년 현재, 나비에-스토크스 존재성과 매끄러움에 대한 클레이 밀레니엄 상은 미해결 상태입니다. 3차원 비압축성 나비에-스토크스 방정식에 대해 대역적 정칙성도 유한 시간 폭발도 확립되지 않았습니다.

정확히 말하면: 매끄러운 발산 없는 초기 데이터 $u_0 \in C^\infty(\mathbb{R}^3)$(적절한 감소 조건 하 또는 $\mathbb{T}^3$ 위)가 주어졌을 때, 유일한 매끄러운 해 $(u, p)$가 모든 $t \geq 0$에 대해 $u \in C^\infty(\mathbb{R}^3 \times [0, \infty))$로서 존재하는지 알려져 있지 않습니다. 반례도 구성되지 않았습니다.

이 문제는 완전히 어둠 속에 있지 않습니다 — 수학자들은 지난 한 세기에 걸쳐 깊은 진전을 이루었습니다:

• 약한 해가 존재합니다 (르레이, 1934). 해가 완벽하게 매끄러워야 한다는 요건을 완화하면, 대역적 해가 존재함을 보일 수 있습니다. 이 "약한 해"는 거친 부분이 있을 수 있지만, 폭발하지는 않습니다.
• 2차원은 해결되었습니다 (라디젠스카야, 1969). 2차원에서는 매끄러운 해가 항상 모든 시간에 존재합니다. 어려운 것은 3차원에 고유합니다.
• 특이점은 희소합니다 (카파렐리-콘-니렌베르크, 1982). 3차원에서 특이점이 존재하더라도, 1차원 포물형 하우스도르프 측도가 영인 집합에 한정됩니다. 방정식의 자연스러운 기하에서 보면 극도로 작은 집합입니다.
• 짧은 시간 해가 존재합니다. 매끄러운 초기 데이터에 대해, 적어도 짧은 시간 동안 유일한 매끄러운 해가 존재합니다. 문제는 이것이 영원히 계속될 수 있는지입니다.

따라서 간극은 좁지만 깊습니다: 해가 매끄럽게 시작되고 약한 해가 대역적으로 지속됨을 알고 있습니다. 3차원에서 매끄러움이 모든 시간에 보존됨을 증명할 수 없는 것입니다.

확립된 주요 결과:

• 르레이 (1934): 에너지 부등식 $\|u(t)\|_{L^2}^2 + 2\nu \int_0^t \|\nabla u(s)\|_{L^2}^2 \, ds \leq \|u_0\|_{L^2}^2$를 만족하는 약한(분포적) 해의 대역적 존재성. 르레이-호프 해의 유일성은 미해결.
• 라디젠스카야 (1969): 2차원 비압축성 나비에-스토크스의 대역적 정칙성 — 매끄러운 데이터가 유일한 대역적 매끄러운 해를 생성.
• 카파렐리-콘-니렌베르크 (1982): 적합한 약한 해에 대한 부분 정칙성 — 특이 집합의 1차원 포물형 하우스도르프 측도가 영: $\mathcal{P}^1(S) = 0$.
• 국소 적정성: $u_0 \in H^s(\mathbb{R}^3)$, $s > 3/2$에 대해, 어떤 구간 $[0, T^*)$ 위에 유일한 매끄러운 해가 존재합니다. 스케일링 임계 공간 $\dot{H}^{1/2}(\mathbb{R}^3)$ (후지타-카토, 1964)에서도 국소 적정성이 성립하며, $BMO^{-1}$ (코흐-타타루, 2001)을 포함한 더 큰 임계 공간으로 확장됩니다. 정칙성 문제는 $T^* = \infty$인지를 묻습니다.

간극: 약한 해의 대역적 존재성은 알려져 있습니다. 강한 해의 국소 존재성과 유일성은 알려져 있습니다. 대역적 정칙성 — 강한 해가 항상 연장될 수 있는지 — 가 미해결 문제입니다.

1~2년마다 나비에-스토크스 문제를 풀었다고 주장하는 프리프린트가 나타납니다. 패턴은 놀라울 정도로 일관됩니다: 초기 흥분, 이어지는 전문가 검토, 그리고 간극이나 오류의 발견. 현재까지 동료 심사를 통과한 것은 없습니다.

혼란의 일부는 "해결됨"의 다른 의미를 혼동하는 데서 옵니다:

• "컴퓨터로 유체를 시뮬레이션할 수 있다" — 사실이지만, 수치 시뮬레이션은 수학적 증명이 아닙니다. 시뮬레이션은 공간과 시간을 이산화하며; 문제는 연속 방정식에 관한 것입니다.
• "엔지니어들이 이 방정식을 성공적으로 사용한다" — 이것도 사실이지만, 실용적 성공이 방정식이 모든 경우에 내부적으로 일관됨을 해결하지는 않습니다.
• "2차원 문제는 해결되었다" — 맞지만, 3차원 문제는 근본적으로 다릅니다. 2차원을 작동하게 만드는 메커니즘(와도 신장의 부재, 이것이 와도를 대역적으로 유계로 유지)은 3차원에서는 적용되지 않습니다.

증명 주장이 정기적으로 나타납니다. 흔한 실패 모드는 다음과 같습니다:

• 부정확한 선험적 추정: 실제로 확립되지 않은 임계적 또는 초임계적 노름의 제어를 가정.
• 약한 해와 강한 해의 혼동: 주장되는 정칙성을 필요로 하는 르레이-호프 해의 성질을 증명.
• 차원 분석 오류: 2차원에서 닫히는(엔스트로피가 $H^1$ 제어를 주고 아임계 소볼레프 매장이 충분한) 논법이 동일한 매장이 비선형성을 더 이상 제어하지 못하는 3차원에서 실패.
• 부트스트랩 논법의 순환 추론: 부트스트랩 가설이 증명하려는 것을 암묵적으로 가정.

3차원 문제의 초임계적 성질은 표준 기법(에너지 추정, 그론월형 논법)이 불충분한 제어를 제공함을 의미합니다. 3차원 문제는 자연 에너지 노름에 대해 초임계적이므로, 표준 포물형 기법은 닫는 논법을 제공하지 않습니다.

클레이 문제의 유효한 해결은 다음 중 하나를 해야 합니다:

1. 대역적 정칙성 증명: 어떤 매끄러운 초기 조건에서든 해가 영원히 매끄럽게 유지됨을 보입니다. 이것은 방정식이 절대 비물리적인 것을 예측하지 않음을 의미합니다 — 무한 속도도, 붕괴도 없습니다.
2. 폭발 구성: 해가 유한 시간 안에 특이점을 발달시키는 특정한 매끄러운 초기 조건을 찾습니다. 이것은 방정식이 근본적 한계를 가짐을 의미합니다 — 결국 불가능한 것을 예측합니다.

어느 결과든 획기적입니다. 대역적 정칙성은 유체 운동의 완전한 모델로서 방정식을 확증합니다. 폭발은 극한 스케일에서 무슨 일이 일어나는지 재고하게 만들며 — 새로운 물리학을 드러낼 수도 있습니다.

페퍼만의 클레이 공식화에 따르면, 유효한 해결은 다음 중 하나를 요구합니다:

1. (A) 존재성과 매끄러움: 모든 $u_0 \in C^\infty(\mathbb{R}^3)$, $\nabla \cdot u_0 = 0$, $|\partial_x^\alpha u_0(x)| \leq C_{\alpha K} (1 + |x|)^{-K}$ (모든 $\alpha, K$)에 대해, 방정식을 만족하는 $(u, p) \in C^\infty(\mathbb{R}^3 \times [0,\infty))$의 존재성을 증명하며, $\int_{\mathbb{R}^3} |u(x,t)|^2 \, dx < C$가 모든 $t \geq 0$에 대해 성립함을 보임.
2. (B) 붕괴: $u_0 \in C^\infty(\mathbb{R}^3)$ (발산 없음, 적절한 감소 조건) 및 $f \in C^\infty(\mathbb{R}^3 \times [0,\infty))$를 제시하여, 어떤 $(u,p) \in C^\infty(\mathbb{R}^3 \times [0,\infty))$도 방정식을 만족하지 않음을 보임.

$\mathbb{T}^3$ 위의 유사한 공식화도 수용됩니다. 페퍼만의 전체 서술에는 외력 유무에 따른 별도 경우($f = 0$과 $f \neq 0$)가 포함됩니다; 위는 본질적 대안을 정제한 것입니다.

• 1822 — 나비에가 분자적 고려에서 방정식을 유도
• 1845 — 스토크스가 현대적 수학적 형태를 부여
• 1934 — 르레이가 약한 해가 대역적으로 존재함을 증명
• 1969 — 라디젠스카야가 2차원 경우를 완전히 해결
• 1982 — 카파렐리, 콘, 니렌베르크가 부분 정칙성을 증명: 가능한 특이점 집합은 1차원 포물형 하우스도르프 측도 0
• 1984 — 비일, 카토, 마지다가 3차원 오일러 방정식에서 폭발로의 유일한 경로가 유계 없는 와도임을 보임 (이 기준은 나비에-스토크스로 확장)
• 2000 — 클레이 수학 연구소가 밀레니엄 상 문제로 지정
• 2014 — 타오가 방정식의 평균화 버전에서 폭발을 구성 (프리프린트; 2016 출판), 특이점 형성에 순수 구조적 장애물이 없음을 보임
• 2026 — 문제는 미해결 상태

• 1822 — 나비에: 분자 응력 모델에서 방정식 유도
• 1845 — 스토크스: 엄밀한 연속체 유도
• 1934 — 르레이: $L^2$에서 약한 해의 대역적 존재성; 르레이 사영자와 에너지 부등식 도입
• 1951 — 호프: 르레이의 구성을 유계 영역으로 확장 (르레이-호프 약한 해)
• 1962 — 세린: 조건부 정칙성 — $u \in L^p_t L^q_x$, $2/p + 3/q \leq 1$이고 $q > 3$이면 매끄럽다. 끝점 $L^\infty_t L^3_x$는 Escauriaza-Seregin-Šverák가 2003년에 해결했다
• 1969 — 라디젠스카야: 2차원 대역적 정칙성; 엔스트로피 제어됨
• 1982 — 카파렐리-콘-니렌베르크: 스케일된 에너지 추정을 통한 부분 정칙성; $\mathcal{P}^1(S) = 0$
• 1984 — 비일-카토-마지다: 3차원 오일러의 폭발 기준 — $T^* < \infty$이면 $\int_0^{T^*} \|\omega(s)\|_{L^\infty} \, ds = \infty$ (유사한 연속 기준이 나비에-스토크스에도 성립)
• 2000 — 클레이 밀레니엄 문제 지정 (페퍼만 공식화)
• 2014 — 타오: 평균화 나비에-스토크스 방정식의 유한 시간 폭발 (프리프린트; JAMS 2016 출판), 순수 구조 보존 논법으로는 특이점을 배제할 수 없음을 입증
• 2026 — 미해결

이 기사는 미해결 문제의 일부입니다.

현황을 알았으니, 더 깊은 질문을 탐구하십시오: 왜 이 문제가 그토록 어려운가?, 수학자들이 작업 중인 핵심 부분 문제, 그리고 시도한 접근법.

클레이의 엄밀한 서술은 밀레니엄 문제 페이지를 참고하십시오. 이 문제가 어떤 버전의 방정식에 관한 것인지 이해하려면 비압축성 vs. 압축성 나비에-스토크스를 참고하십시오.

이 기사는 미해결 문제의 일부입니다.

정확한 클레이 공식화와 상금 조건은 밀레니엄 문제를 참고하십시오. 수학적 장애물은 왜 어려운가를 참고하십시오. 부분적 결과와 전략의 풍경은 부분 문제와 접근법을 참고하십시오. 클레이 문제가 어떤 버전의 방정식을 연구하는지는 비압축성 vs. 압축성 나비에-스토크스를 참고하십시오.