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

외력이 없는 3차원 나비에–스토크스의 전역 정칙성은 여전히 미해결입니다. 발표된 외력 있는 구성은 이 질문을 해결하지 않습니다. 아래 기술적 설명의 열린 정칙성·유일성 질문은 다른 설정을 명시하지 않는 한 외력이 없는 계를 가리킵니다.

자료 현황 확인일: 2026-09-12 (JST). 9월 8일 OpenAI는 매끄러운 외력이 있는 3차원 비압축 나비에–스토크스의 유한 시간 폭발을 발표하며 클레이의 선택지 C와 D를 해결했다고 주장했고, 원고와 Lean 형식화를 공개했습니다. 9월 11일 클레이는 문제가 «해결된 것으로 보인다»고 밝혔으며 평가와 공로 배분은 의도적으로 서두르지 않겠다고 했습니다. 이는 수상 발표도, 이 사이트의 증명 검증도 아닙니다.

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

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

관련 설명: 나비에-스토크스 문제는 해결되었는가?

외력이 없는 3차원 나비에–스토크스의 전역 정칙성은 여전히 미해결입니다. 발표된 외력 있는 구성은 이 질문을 해결하지 않습니다. 아래 기술적 설명의 열린 정칙성·유일성 질문은 다른 설정을 명시하지 않는 한 외력이 없는 계를 가리킵니다.

자료 현황 확인일: 2026-09-12 (JST). 9월 8일 OpenAI는 매끄러운 외력이 있는 3차원 비압축 나비에–스토크스의 유한 시간 폭발을 발표하며 클레이의 선택지 C와 D를 해결했다고 주장했고, 원고와 Lean 형식화를 공개했습니다. 9월 11일 클레이는 문제가 «해결된 것으로 보인다»고 밝혔으며 평가와 공로 배분은 의도적으로 서두르지 않겠다고 했습니다. 이는 수상 발표도, 이 사이트의 증명 검증도 아닙니다.

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

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

클레이 문제는 유체 시뮬레이션이 작동하는지, 공학자가 관 유동 예제를 풀 수 있는지, 약해가 존재하는지를 묻는 것이 아닙니다. 그것들은 별개의 질문입니다. 상금이 걸린 질문은 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) R³에서 외력 없는 전역 매끄러운 해의 존재, (B) 주기적 토러스 T³에서 외력 없는 전역 매끄러운 해의 존재, (C) 허용되는 매끄러운 외력을 포함할 수 있는 R³에서의 붕괴, (D) 허용되는 매끄러운 외력을 포함할 수 있는 주기적 붕괴. A/B는 모든 허용 초기 데이터를 대상으로 하며 C/D는 허용 반례를 요구합니다. 외력이 있는 붕괴는 A/B를 반박하지 않습니다.

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

페퍼만의 $\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.$$

나비에-스토크스 문제가 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년 9월: OpenAI가 매끄러운 외력이 있는 3차원 폭발(클레이 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년 9월: OpenAI가 매끄러운 외력이 있는 3차원 폭발(클레이 C/D)을 발표했습니다. 클레이는 해결된 것으로 보인다고 밝혔습니다. 평가와 수상은 별개입니다.

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

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

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

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

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

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