클레이 나비에-스토크스 문제 서술: 공식 기준 해설

클레이 수학연구소의 나비에–스토크스 문제는 2000년에 발표된 밀레니엄 상 문제를 위해 찰스 페퍼먼이 작성한 것으로, 3차원 비압축성 나비에–스토크스 방정식이 모든 시간에 걸쳐 매끄러운 해를 갖는지, 아니면 매끄러운 해가 붕괴할 수 있는지를 묻습니다. 이 페이지는 공식 문제 서술이 정확히 무엇을 요구하는지 설명합니다. 방정식, 허용되는 초기 흐름과 힘, “물리적으로 합리적인” 해로 인정되는 것, 그리고 어느 하나만으로도 문제를 해결하는 네 선택지입니다.

2026년 9월 OpenAI는 붕괴 선택지 C와 D의 증명을 발표했고, 클레이는 문제가 “해결된 것으로 보인다”고 밝혔습니다. 평가는 의도적으로 서두르지 않고 있으며 상은 수여되지 않았습니다. 외력 없는 존재성 선택지 A와 B는 이 결과로 결정되지 않습니다.

무엇이 발표되었고 어떻게 평가되고 있나: 나비에-스토크스는 해결되었나? (자료 확인일 2026-09-29)

일차 자료: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · 클레이 공식 문제 서술.

페퍼먼의 공식 문제 서술은 $\mathbb{R}^3$ 또는 $\mathbb{T}^3=\mathbb{R}^3/\mathbb{Z}^3$ 위에서 점성 $\nu>0$을 갖는 3차원 비압축성 나비에–스토크스 계를 다룹니다. 허용 초기 데이터와 힘, 물리적으로 합리적인 해의 클래스(모든 $t\ge0$에서 매끄럽고, $\mathbb{R}^3$에서는 유계 에너지)를 정의하고, 네 명제 A–D 중 하나의 증명을 요구합니다.

2026년 9월 OpenAI는 붕괴 선택지 C와 D의 증명을 발표했고, 클레이는 문제가 “해결된 것으로 보인다”고 밝혔습니다. 평가는 의도적으로 서두르지 않고 있으며 상은 수여되지 않았습니다. 외력 없는 존재성 선택지 A와 B는 이 결과로 결정되지 않습니다.

현황과 자료: 나비에-스토크스는 해결되었나? (자료 확인일 2026-09-29)

일차 자료: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · 클레이 공식 문제 서술.

클레이 문제는 유체 시뮬레이션이 작동하는지, 공학자가 관 유동 예제를 풀 수 있는지, 약해가 존재하는지를 묻는 것이 아닙니다. 그것들은 별개의 질문입니다. 상금이 걸린 질문은 3차원 비압축성 방정식의 전역 매끄러움 또는 유한 시간 붕괴에 관한 것입니다.

해결은 두 범주 중 하나에 속해야 합니다.

1. 전역 매끄러움: 외력이 없을 때 모든 허용 매끄러운 초기 흐름이 앞으로의 모든 시간에 걸쳐 매끄럽게 유지됨을 보입니다.
2. 붕괴: 전역 매끄러운 해가 존재할 수 없는 허용 매끄러운 설정, 즉 초기 흐름과 원한다면 매끄럽고 빠르게 감쇠하는 힘을 제시합니다.

클레이는 네 선택지 전부가 아니라 하나의 증명을 요구합니다: (A) R³에서 외력 없는 전역 매끄러운 해의 존재, (B) 주기적 토러스 T³에서 외력 없는 전역 매끄러운 해의 존재, (C) 허용되는 매끄러운 외력을 포함할 수 있는 R³에서의 붕괴, (D) 허용되는 매끄러운 외력을 포함할 수 있는 주기적 붕괴. A/B는 모든 허용 초기 데이터를 대상으로 하며 C/D는 허용 반례를 요구합니다. 외력이 있는 붕괴는 A/B를 반박하지 않습니다.

핵심 시스템은 3차원 비압축 나비에-스토크스 방정식입니다

$$\partial_t u + (u \cdot \nabla)u = -\nabla p + \nu \Delta u + f, \qquad \nabla \cdot u = 0.$$

클레이의 정식화는 전체 공간의 경우와 주기적 경우를 구분합니다. 전체 공간의 존재성 방향에서는 초기 속도가 매끄럽고 발산이 없으며 빠르게 감소해야 하고, 목표는 모든 시간에 대해 유한 에너지를 갖는 전역 매끄러운 해입니다. 붕괴 방향에서는 공식 대안 중 하나 아래에서, 요구되는 전역 매끄러운 해가 존재하지 않는 허용 가능한 데이터를 구성하는 것이 과제입니다.

존재성(A, B)은 $f\equiv0$으로 제기되며 모든 허용 데이터에 대해 전칭 양화됩니다. 붕괴(C, D)는 아래의 감쇠 조건 아래에서 외력을 허용하며 하나의 허용 쌍 $(u_0,f)$를 요구합니다.

1. (A) 전체 공간에서의 매끄러움. 외력이 없을 때, 도함수가 무한원에서 빠르게 감쇠하는 모든 매끄럽고 발산 없는 초기 흐름은 전체 에너지가 유계인, 모든 시간에 걸친 매끄러운 해를 갖는다.
2. (B) 주기적 상자에서의 매끄러움. 외력 없이, 각 방향으로 주기적으로 반복되는 매끄럽고 발산 없는 흐름에 대해 같은 명제.
3. (C) 전체 공간에서의 붕괴. 어떤 허용 매끄러운 초기 흐름과, 크기와 모든 도함수가 공간과 시간에서 빠르게 감쇠하는 어떤 매끄러운 외력에 대해, 모든 시간에 걸친 유계 에너지의 매끄러운 해가 존재하지 않는다.
4. (D) 주기적 상자에서의 붕괴. 어떤 매끄러운 주기적 초기 흐름과 시간에 대해 빠르게 감쇠하는 매끄러운 주기적 힘에 대해, 모든 시간에 걸친 매끄러운 주기 해가 존재하지 않는다.

넷 중 어느 하나를 증명하면 제기된 형태의 문제가 해결됩니다. 네 명제는 명제와 그 부정의 관계로 배열된 것이 아닙니다. C는 “A는 거짓이다”보다 약한데, C는 힘까지 선택하게 해 주기 때문입니다. 공식 문서는 네 선택지를 “문제의 핵심을 유지하면서 풀이자에게 합리적인 재량을 준다”고 설명합니다.

페퍼만의 $\mathbb{R}^3$ 위 공식화($f \equiv 0$)를 따릅니다:

가정: $u_0 \in C^\infty(\mathbb{R}^3)$이 발산 없다고 합시다. 모든 $\alpha$와 $K$에 대해 상수 $C_{\alpha,K}$가 존재하여

$$|\partial^\alpha u_0(x)| \leq \frac{C_{\alpha,K}}{(1 + |x|)^K}, \qquad x \in \mathbb{R}^3.$$

결론 (증명할 것): $p \in C^\infty(\mathbb{R}^3 \times [0,\infty))$와 $u \in C^\infty(\mathbb{R}^3 \times [0,\infty))$가 존재하여 나비에-스토크스 방정식을 만족하고, $u(x,0) = u_0(x)$이며, 에너지 한계

$$\int_{\mathbb{R}^3} |u(x,t)|^2 \, dx < C \quad \text{모든 } t \geq 0.$$

붕괴 (C): 위의 감쇠 조건을 만족하는 매끄럽고 발산 없는 $u_0$와, 조건 (5)

$$|\partial_x^\alpha \partial_t^m f(x,t)| \leq \frac{C_{\alpha m K}}{(1+|x|+t)^{K}},$$

를 모든 $\alpha, m, K$에 대해 만족하는 $\mathbb{R}^3\times[0,\infty)$ 위의 매끄러운 $f$가 존재하여, $p,u\in C^\infty(\mathbb{R}^3\times[0,\infty))$인 어떤 $(p,u)$도 방정식, 초기 조건, 에너지 한계를 만족하지 않는다.

주기적 버전 (B, D): $u_0$와 $f$는 각 좌표에서 주기가 1입니다. 힘의 조건은 $|\partial_x^\alpha\partial_t^m f(x,t)|\le C_{\alpha mK}(1+|t|)^{-K}$, 즉 조건 (9)가 됩니다. 해는 매끄럽고 $x$에 대해 주기적이어야 하며, 부록의 정오표는 압력도 주기적일 것을 요구합니다. B는 $f\equiv0$으로 두고 모든 매끄럽고 주기적이며 발산 없는 $u_0$에 대해 전역 매끄러운 주기 해를 요구합니다. D는 전역 매끄러운 주기 해가 없는 허용 주기 쌍 $(u_0,f)$를 요구합니다. 주기적 선택지에는 별도의 에너지 한계가 없습니다.

발표된 전체 공간 정리는 속도 0에서 출발하므로 초기 데이터 조건을 만족하고, 공간과 시간의 유계 영역에 지지된 매끄러운 힘을 사용하므로 힘의 감쇠 조건을 만족합니다. 그리고 이 데이터에 대해 유계 에너지를 갖는 전역 매끄러운 해가 존재하지 않는다고 결론짓는데, 이것이 C가 요구하는 것입니다. 따름정리는 이 구성을 D를 위해 주기적 상자로 옮깁니다. 이러한 데이터 조건의 확인은 기초적인 것이며, 증명 자체를 검증하지는 않습니다.

이 대응은 C와 D에만 해당합니다. 외력 없는 전역 매끄러움인 A와 B는 이로써 증명되지도 반증되지도 않으며, C나 D가 확립되면 클레이의 문제 서술은 A와 B를 요구하지 않습니다. 증명이 옳은지는 전문가의 확인과 클레이의 절차가 판단할 문제입니다. 현황 해설을 참고하세요.

• 데이터. $u_0=0$은 매끄럽고 발산이 없으며, 감쇠 조건 (4)와 주기성 조건 (8)을 자명하게 만족합니다.
• C의 힘. $f\in C_c^\infty(\mathbb{R}^3\times(0,\infty);\mathbb{R}^3)$는 시공간에서 콤팩트 지지를 가지므로 모든 도함수가 유계이고 어떤 콤팩트 집합 밖에서 0이 됩니다. 따라서 (5)가 성립합니다.
• C의 결론. 정리 1.1은 $\sup_{0\le t<1}\|u(t)\|_{L^2}<\infty$이고 $\limsup_{t\uparrow1}\|u(t)\|_{L^\infty}=\infty$인 $[0,1)$ 위의 매끄러운 $(u,p)$를 주며, 같은 데이터와 같은 힘을 갖는 $\mathbb{R}^3\times[0,\infty)$ 위의 매끄러운 해 중 운동 에너지가 균등하게 유계인 것은 없다고 서술합니다. 이것이 (6)–(7)이 요구하는 클래스입니다.
• D. 따름정리 10.6: 모든 $\nu>0$에 대해, 시간에 대해 콤팩트 지지를 갖는(따라서 (9)를 만족하는) $\mathbb{T}^3\times[0,\infty)$ 위의 매끄러운 힘, 초기 속도 0, $t=1$에서의 속도 폭발, 그리고 같은 데이터와 같은 힘에 대한 전역 매끄러운 주기 해의 부재. 속도와 압력은 정오표가 요구하는 대로 주기적입니다.
• 한계. 이는 원고의 서술이며, 위의 데이터 클래스 확인은 기초적인 것입니다. 구성, Lean 형식화, 또는 그것과 공식 문서의 대응을 검증하지 않습니다.

원고: OpenAI — Navier–Stokes (PDF), 정리 1.1과 따름정리 10.6.

나비에-스토크스 문제가 7대 밀레니엄 문제 중 하나로 선정된 이유는 다음의 교차점에 있기 때문입니다:

• 실용적 중요성 — 이 방정식은 항공기 설계에서 기후 모델링까지 유체역학의 대부분을 뒷받침합니다
• 수학적 깊이 — 이 문제는 해석학, 기하학, 위상수학, 물리학을 동시에 건드립니다
• 지속적인 중요성. 클레이는 근본적인 수학적 어려움과 유체역학에서 방정식이 차지하는 중심적 역할 때문에 2000년 나비에–스토크스를 일곱 밀레니엄 문제 중 하나로 선정했습니다. 2026년 9월 발표는 현황을 바꾸지만 중요성의 이유를 바꾸지는 않습니다. 관련 설명: 이유 탐구

서술은 비수학자도 접근할 수 있지만, 이 문제는 거의 2세기에 걸친 진지한 노력을 물리쳐 왔습니다.

이 문제의 난이도는 3차원 방정식의 초임계적 성질에 뿌리를 둡니다. 자연 에너지 추정

$$\frac{1}{2}\|u(t)\|_{L^2}^2 + \nu \int_0^t \|\nabla u(s)\|_{L^2}^2 \, ds \leq \frac{1}{2}\|u_0\|_{L^2}^2$$

은 $u$를 $L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$에 놓으며, 이는 임계 스케일링 아래입니다. 나비에-스토크스 방정식은

$$u(x,t) \mapsto \lambda u(\lambda x, \lambda^2 t), \quad p(x,t) \mapsto \lambda^2 p(\lambda x, \lambda^2 t)$$

하에서 불변이며, 임계 공간은 $L^3(\mathbb{R}^3)$ (또는 $\dot{H}^{1/2}$)입니다. 에너지 급수 $L^2$는 초임계적입니다. 즉 임계 스케일 문턱 아래에 놓여 있어 작은 스케일 비선형 캐스케이드를 그 자체만으로 제어하지 못하며, 모든 기존 기법이 메우기 어려운 간극을 남깁니다.

여기에 제시한 에너지 추정은 외력이 없는 경우입니다. 외력이 있으면 우변에 일 항도 포함됩니다: $\int_0^t\!\int f(x,s)\cdot u(x,s)\,dx\,ds$.

이야기의 주요 이정표:

• 1822 — 나비에가 분자적 고려에서 방정식을 유도합니다
• 1845 — 스토크스가 연속체 역학에서 현대적 유도를 제시합니다
• 1934 — 르레이가 "약한" 해가 항상 존재함을 증명합니다 (거대한 돌파구이지만, 이 해가 매끄럽지 않을 수 있습니다)
• 1982 — 카파렐리, 콘, 니렌베르크가 특이점(부분 정칙성 더 보기)이 존재하더라도 시공간에서 1차원 포물형 하우스도르프 측도가 영인 극도로 작은 집합에 한정됨을 증명합니다
• 1984 — 비일, 카토, 마지다가 폭발은 와도가 무한대가 될 때만 가능함을 보입니다
• 2000 — 클레이가 밀레니엄 문제로 지정합니다
• 2026: OpenAI가 선택지 C와 D를 주장하는, 매끄러운 외력에 의한 붕괴의 증명을 발표했습니다. 클레이는 문제가 “해결된 것으로 보인다”고 밝혔으며, 평가는 의도적으로 서두르지 않습니다.

관련 설명: 임계 공간 접근법

기초적 결과의 선택적 연대기:

• 르레이 (1934): 컴팩트성을 통한 대역적 약한 해 $u \in L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$의 존재성. 르레이 사영자와 난류 해의 개념 도입.
• 호프 (1951): 르레이의 구성을 유계 영역으로 확장.
• 라디젠스카야-프로디-세린 (1960년대): 정칙성 기준 — $u \in L^p_t L^q_x$, $2/p + 3/q \leq 1$, $q > 3$이면 매끄러움을 함의. 끝점 $L^\infty_t L^3_x$는 에스카우리아자-세레긴-슈베라크(2003)가 해결했습니다.
• 카파렐리-콘-니렌베르크 (1982): 특이 집합의 1차원 포물형 하우스도르프 측도가 영: $\mathcal{P}^1(\Sigma) = 0$.
• 비일-카토-마지다 (1984): 폭발 기준 — $\int_0^{T^*} \|\omega(\cdot,t)\|_{L^\infty} \, dt = \infty$일 때에만 폭발.
• 코흐, 타타루 (2001): $\mathrm{BMO}^{-1}$에서 작은 데이터에 대한 전역 적정성. 이런 결과가 알려진 표준 임계 공간 중 가장 큰 공간입니다.
• 세레긴 (2012): 폭발 시간 $T^*$에서 $L^3$ 노름은 발산해야 함: $\|u(t)\|_{L^3} \to \infty$ ($t \to T^*$일 때). 균일 유계성의 실패만 보였던 ESS (2003)보다 엄밀히 더 강한 결과.
• 2026: C와 D를 주장하는, 외력에 의한 붕괴 발표(원고의 정리 1.1과 따름정리 10.6). 위의 대응 관계를 참고.

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

이 문제가 이미 해결되었는지 묻고 여기에 오셨다면, 나비에-스토크스 문제는 해결되었는가?에서 시작하십시오.

그런 다음 왜 그토록 풀기 어려운지 탐구하거나, 수학자들이 어떻게 부분 문제로 분해해 왔는지 보십시오.

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

약한 존재성과 대역적 매끄러운 정칙성의 구별에 대한 간략한 현황 답변은 나비에-스토크스 문제는 해결되었는가?를 참고하십시오.

정칙성 문제의 근저에 있는 수학적 장애물은 왜 어려운가를 참고하십시오. 다루기 가능한 구성 요소로의 분해 — 약한 해, 부분 정칙성, 폭발 분류 — 는 부분 문제를 참고하십시오.