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

짧게 말하면: 공식 클레이 문제는 매끄러운 3차원 비압축 나비에-스토크스 유동이 모든 미래 시간 동안 매끄럽게 유지되어야 하는지, 아니면 허용되는 매끄러운 데이터가 붕괴할 수 있는지를 묻습니다. 2026년 현재, 클레이 수학연구소는 어떤 증명이나 반례도 인정하지 않았습니다.

2000년, 클레이 수학연구소는 수학에서 가장 어려운 미해결 문제 7개를 선정하고 각각에 100만 달러의 상금을 걸었습니다. 나비에-스토크스 존재성과 매끄러움 문제는 그 목록에 포함되었습니다.

이 페이지는 클레이 문제 서술을 설명합니다. 공식 클레이 수학연구소 페이지가 아니라, 클레이가 무엇을 묻는지, 어떤 데이터가 허용되는지, 무엇이 증명이나 반례로 인정되는지를 출처와 함께 안내하는 페이지입니다. 현재 상태만 알고 싶다면 나비에-스토크스 문제는 해결되었는가?를 보세요.

질문을 단순화하면: 유체 운동 방정식은 항상 매끄럽고 잘 행동하는 해를 만들어내는가, 아니면 폭발할 수 있는가?

아무도 상금을 수령하지 못했습니다. 해나 붕괴가 어떤 모습일지 이해하는 데 실질적인 진전이 있었지만, 클레이 밀레니엄 상 문제 자체는 여전히 완전한 미해결로 남아 있습니다.

짧게 말하면: 클레이 문제는 인정된 3차원 비압축 나비에-스토크스 정식화가 매끄럽고 발산이 없는 데이터로부터 항상 전역 매끄러운 해를 허용하는지, 아니면 허용되는 매끄러운 데이터가 유한 시간 붕괴를 강제할 수 있는지를 묻습니다. 2026년 현재 어느 쪽 대안도 증명되지 않았습니다.

나비에-스토크스에 대한 클레이 밀레니엄 상은 Charles Fefferman의 공식 문제 서술에 명시되어 있습니다. 두 가지 정식화가 주어지는데, 하나는 $\mathbb{R}^3$ 위에서, 다른 하나는 주기적 경계 조건을 갖는 $\mathbb{T}^3$ 위에서입니다. 유효한 해답은 클레이 서술에서 인정된 대안 중 하나를 해결해야 합니다.

상금은 다음 중 하나를 요구합니다:

• (A) 존재성과 매끄러움: 적절한 매끄럽고 발산 없는 초기 데이터가 명시된 에너지 제어와 함께 모든 $t \geq 0$에 대해 매끄러운 해를 생성함을 증명.
• (B) 붕괴: 해당 정식화에서 허용되는 외력과 함께, 전역 매끄러운 해가 존재하지 않는 허용 가능한 매끄러운 데이터를 제시.

이 페이지는 공식 서술을 풀어 설명합니다. 권위 있는 원문은 아래 링크된 클레이 출처를 이용하세요.

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

상금을 받으려면 증명이 다음 두 가지 중 하나에 해당해야 합니다:

1. 전역 매끄러움: 허용되는 모든 매끄러운 초기 유동이 모든 미래 시간 동안 매끄럽게 유지됨을 보이는 것.
2. 붕괴: 전역 매끄러운 해가 존재할 수 없는 허용 가능한 매끄러운 설정을 제시하는 것.

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

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

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

이 문제가 실제로 묻는 것을 평이한 언어로 설명합니다:

설정: 완벽하게 매끄럽고(날카로운 모서리나 불연속이 없고) 무한 멀리에서 사라지는(멀리 떨어진 곳에서 유체가 본질적으로 정지해 있는) 임의의 초기 유체 속도를 취합니다.

질문: 유체 속도는 모든 미래 시간 동안 매끄럽고 유한하게 유지될까요? 아니면 어떤 지점에서 속도가 무한대가 될 수 있을까요 — "폭발"?

답은 두 가지 가능성 중 하나입니다:

1. 예, 항상 매끄럽습니다 — 어떤 매끄러운 초기 상태에서 출발하든 해가 영원히 매끄럽게 유지됨을 증명합니다.
2. 아니오, 폭발이 가능합니다 — 해가 결국 붕괴하는 특정한 매끄러운 초기 구성을 찾습니다.

페퍼만의 $\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대 밀레니엄 문제 중 하나로 선정된 이유는 다음의 교차점에 있기 때문입니다:

• 실용적 중요성 — 이 방정식은 항공기 설계에서 기후 모델링까지 유체역학의 대부분을 뒷받침합니다
• 수학적 깊이 — 이 문제는 해석학, 기하학, 위상수학, 물리학을 동시에 건드립니다
• 알려진 기법에 대한 저항 (이유 탐구) — 가장 위대한 수학자들의 180년 이상의 연구에도 불구하고, 대역적 정칙성도 유한 시간 폭발도 확립되지 않았습니다

서술은 비수학자도 접근할 수 있지만, 이 문제는 거의 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$는 초임계적입니다. 즉 임계 스케일 문턱 아래에 놓여 있어 작은 스케일 비선형 캐스케이드를 그 자체만으로 제어하지 못하며, 모든 기존 기법이 메우기 어려운 간극을 남깁니다.

이야기의 주요 이정표:

• 1822 — 나비에가 분자적 고려에서 방정식을 유도합니다
• 1845 — 스토크스가 연속체 역학에서 현대적 유도를 제시합니다
• 1934 — 르레이가 "약한" 해가 항상 존재함을 증명합니다 (거대한 돌파구이지만, 이 해가 매끄럽지 않을 수 있습니다)
• 1982 — 카파렐리, 콘, 니렌베르크가 특이점(부분 정칙성 더 보기)이 존재하더라도 시공간에서 1차원 포물형 하우스도르프 측도가 영인 극도로 작은 집합에 한정됨을 증명합니다
• 1984 — 비일, 카토, 마지다가 폭발은 와도가 무한대가 될 때만 가능함을 보입니다
• 2000 — 클레이가 밀레니엄 문제로 지정합니다
• 현재 — 문제는 미해결이며, 임계 공간 접근법, I형/II형 폭발 분류, 컴퓨터 보조 증명에 관한 활발한 연구가 진행 중입니다

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

• 르레이 (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)보다 엄밀히 더 강한 결과.

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

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

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

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

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

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