나비에-스토크스 문제

나비에–스토크스 문제는 유체 운동 방정식이 3차원에서 항상 잘 행동하는지를 묻습니다. 유한 에너지의 매끄러운 흐름에서 출발했을 때 해가 모든 시간에 걸쳐 매끄럽게 유지될까요, 아니면 유한 시간 후에 속도가 무한대가 될 수 있을까요? 클레이 밀레니엄 상의 문제는 외력 없는 전역 매끄러움의 증명, 또는 매끄럽고 빠르게 감쇠하는 힘도 함께 선택할 수 있는 붕괴의 예 중 어느 쪽이든 받아들입니다.

현황 요약: 2026년 9월 OpenAI가 그러한 힘을 사용한 붕괴 선택지의 증명을 발표했고, 클레이는 문제가 “해결된 것으로 보인다”고 밝혔으며 평가는 의도적으로 서두르지 않습니다. 외력이 없는 흐름이 항상 매끄럽게 유지되는지는 여전히 알려져 있지 않습니다. 날짜가 명시된 현황 해설에서 무엇이 주장되었고 어떻게 평가되고 있는지 다룹니다.

이 페이지는 지도입니다. 질문이 무엇인지, 무엇이 증명되었는지, 왜 증명이 어려운지, 다음에 어디를 읽으면 되는지 안내합니다.

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

나비에-스토크스 존재성과 매끄러움 문제는, 적절한 감쇠를 갖는 충분히 매끄러운 발산 없는 모든 초기 데이터 $u_0 \in C^\infty(\mathbb{R}^3)$와 $f \equiv 0$에 대해, 비압축성 나비에-스토크스 계가 유계 에너지를 갖는 해 $u \in C^\infty(\mathbb{R}^3 \times [0,\infty))$를 허용하는지를 묻습니다($\mathbb{T}^3$ 위의 유사한 주기적 질문도 포함). 클레이의 정식화는 허용되는 매끄러운 외력을 쓸 수 있는 붕괴의 예도 받아들입니다.

현황 요약: 2026년 9월의 원고는 외력이 있는 붕괴 선택지, 즉 $\mathbb{R}^3$에서의 C(정리 1.1)와 $\mathbb{T}^3$에서의 D(따름정리 10.6)를 주장합니다. 클레이는 문제가 “해결된 것으로 보인다”고 밝혔으며 평가는 의도적으로 서두르지 않습니다. $f\equiv0$인 경우는 이 주장으로 결정되지 않습니다. 자세한 내용: 날짜가 명시된 현황과 자료.

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

나비에-스토크스 문제는 미해결이지만 완전히 미개척은 아닙니다. 거의 한 세기에 걸친 연구가 지형을 파악했습니다 — 정확히 어디에 어려움이 있는지를 밝혀냈습니다:

• 약한 해는 전역적으로 존재한다 (르레이, 1934). 거칠고 평균화된 거동을 허용하도록 “해”의 개념을 완화하면 해는 모든 시간에 걸쳐 존재합니다. 외력이 없을 때 그 해가 매끄럽게 유지된다는 것은 아무도 증명하지 못했습니다. 접근법 더 보기 →
• 2차원은 해결되었습니다. 2차원에서는 매끄러운 해가 항상 대역적으로 존재합니다. 어려운 경우는 3차원입니다. 왜 3차원이 더 어려운가 →
• 특이점은 존재하더라도 희소합니다 (CKN, 1982). 카파렐리, 콘, 니렌베르크는 가능한 특이점 집합의 1차원 포물형 하우스도르프 측도가 영임을 증명했습니다. 부분 문제와 부분 결과 →
• 매끄러운 해가 짧은 시간 동안 존재합니다. 매끄러운 초기 데이터가 주어지면, 일정 시간 구간 동안 유일한 매끄러운 해가 존재합니다 — 문제는 그 구간을 항상 무한대로 연장할 수 있는지입니다.
• 정확한 공식화는 찰스 페퍼만이 클레이 수학 연구소를 위해 제시했습니다. 밀레니엄 문제 서술 읽기 →

다음의 결과들이 주요 부분적 진전을 구성합니다:

• 르레이 (1934): $u_0 \in L^2(\mathbb{R}^3)$에 대해 에너지 부등식을 만족하는 전역 약한 해(현재 르레이-호프 해라 부름)가 존재합니다. $f\equiv0$일 때 이 해들의 유일성과 정칙성은 미해결이며, 적절히 선택한 힘이 있으면 비유일성이 증명되었습니다. 접근법 →
• 2차원 전역 정칙성: 2차원에서는 매끄러운 해의 전역 존재성과 유일성이 오래전부터 알려져 있습니다. 클레이의 문제 서술은 라디젠스카야의 1969년 단행본을 인용합니다. 핵심은 2차원에서 엔스트로피가 제어된다는 점입니다. 3차원이 다른 이유 →
• CKN (1982): 카파렐리, 콘, 니렌베르크는 적합한 약한 해의 특이 집합의 1차원 포물형 하우스도르프 측도가 영임을 증명했습니다. 부분 문제 →
• 국소 존재성: 충분히 정칙한 데이터에 대해, 유일한 국소 매끄러운 해가 존재합니다; $\dot{H}^{1/2}$ 같은 임계 공간에서는 온건한 해 프레임워크에서 국소 적정성이 성립합니다. 미해결 문제는 이 해가 항상 모든 시간으로 연장될 수 있는지입니다.
• 클레이 공식화 (2000): 페퍼만의 문제 서술은 정확한 함수 공간, 감소 조건, 그리고 무엇이 유효한 증명 또는 반증인지를 명시합니다. 밀레니엄 문제 →

핵심 어려움은 이렇습니다. 유체 자신의 운동이 현재의 추정이 제어할 수 있는 것보다 빠르게 활동을 점점 더 작은 규모로 밀어 넣을 수 있습니다. 외력이 없는 3차원 흐름에서는 알려진 추정이 이를 배제할 만큼 강하지 않으며, 그런 일이 실제로 일어난다는 것을 보인 사람도 없습니다. (2026년의 구성은 매끄러운 힘을 가하면 그런 일이 일어날 수 있다고 주장합니다.)

이것은 영리함의 문제가 아닙니다. 계산 능력의 문제도 아닙니다. 알려진 추정이 부족하며, 집중과 소산 사이의 이 긴장 때문에 외력 없는 질문을 해결하려면 새로운 아이디어가 필요합니다.

전체 이야기 — 초임계성, 스케일링 간극, 3차원 난류가 근본적으로 다른 이유 — 는 나비에-스토크스 문제가 왜 그토록 어려운가를 참고하십시오.

3차원 나비에-스토크스 방정식은 자연 에너지 추정에 대해 초임계적입니다: $L^2$ 노름은 제어되지만, 스케일링 임계 정칙성은 $\dot{H}^{1/2}$에 있으며, 이는 에너지 부등식만으로는 전파되지 않습니다. 비선형 항 $(u \cdot \nabla)u$는 원칙적으로 라플라시안이 소산시키는 것보다 더 빠르게 에너지를 임의로 미세한 스케일로 전달할 수 있습니다.

이것이 본질적인 해석적 장애물이며, $f\equiv0$에 대해 이 간극을 메우는 기존 기법은 없습니다. 자세한 논의는 왜 어려운가를 참고하세요.

2000년 클레이 수학연구소는 이 정칙성 질문을 일곱 개의 밀레니엄 상 문제 중 하나로 지정하고, 규정에 따라 인정된 해결에 100만 달러를 걸었습니다. 공식 문제 서술은 네 선택지 중 어느 하나를 받아들입니다. 외력 없는 전역 매끄러움, 또는 허용되는 매끄러운 외력을 쓸 수 있는 붕괴를 각각 전체 공간이나 주기적 상자에서 보이는 것입니다. 이 개요는 그 상금 문제가 맥락 속에서 왜 중요한지 설명합니다.

정확한 정식화는 공식 문제 서술 해설에서 읽을 수 있습니다. 지금 상황은 현재 현황(자료 확인일 2026-09-29)을 참고하세요.

클레이 수학연구소는 2000년 밀레니엄 상 문제 목록에 이 정칙성 질문을 포함했습니다. C. 페퍼먼이 작성한 정식화는 $\mathbb{R}^3$와 $\mathbb{T}^3$에서 제기되며, $f\equiv0$일 때 전역 매끄러운 해의 존재 증명(A, B) 또는 허용되는 매끄러운 힘을 선택할 수 있는 붕괴의 구성(C, D) 중 어느 쪽이든 받아들입니다.

공식 문제 서술 해설을 읽거나 현재 현황(자료 확인일 2026-09-29)을 확인하세요.

이 페이지는 지도입니다. 가지고 온 질문을 고르세요.

• 해결되었나? 2026년 9월 발표, 클레이의 반응, 그리고 남은 질문.
• 클레이는 정확히 무엇을 묻나? 공식 문제 서술, 네 선택지와 그 조건.
• 왜 어려운가? 초임계성, 난류, 스케일링 간극.
• 왜 2차원이 더 쉬운가? 와도 늘림과 그것이 3차원에서 무너뜨리는 것.
• 약한 해란 무엇인가? 약한 해, 강한 해, 매끄러운 해, 그리고 각각에서 유일성이 뜻하는 것.
• 무엇이 증명되었나? 르레이부터 2026년의 주장까지.
• “푼다”는 무슨 뜻인가? 정확한 공식, CFD, 수학적 질문, 그리고 이들이 왜 서로 다른지.

자세한 논의:

• 해결되었나? 발표된 정리, C/D와의 대응, 평가 현황, 남은 질문.
• 밀레니엄 문제 페퍼먼의 정식화, 함수 공간, 조건 (4)–(11), 그리고 무엇이 유효한 해결인가.
• 왜 어려운가 초임계 스케일링, 비선형성의 역할, 에너지 수준의 제어와 정칙성 사이의 간극.
• 2차원이 3차원보다 쉬운 이유 와도 수송, 엔스트로피 제어, 와도 늘림.
• 약한 해, 강한 해, 매끄러운 해 분포 의미의 해와 르레이–호프 해, 그리고 약-강 유일성.
• 연구 진전 이정표와 맥락 속의 2026년.
• 방정식 풀이 해의 세 가지 의미(닫힌 형태, 이산 근사, 적정성)와, 수치 계산의 실제가 클레이 질문을 해결하지 않는 이유.

수학자들은 이 문제를 그저 바라보고만 있지 않았습니다. 이를 풀기 위해 강력한 도구와 부분 결과, 그리고 완전히 새로운 해석학 분야를 발전시켰습니다. 2026년의 주장은 연구할 새로운 구성을 더했으며, 외력 없는 질문, 약한 해의 유일성, 흐름이 집중되는 메커니즘은 여전히 활발한 연구 주제입니다.

관련 설명: 지금까지의 진전 보기 →

나비에-스토크스 문제는 지난 한 세기 동안 조화해석, 함수해석, 기하적 측도론의 주요 발전을 이끌었습니다. 부분 정칙성 결과, 조건부 폭발 판정 기준(비일-카토-마지다, 에스카우리아사-세레긴-쉬베락), 모형 문제 분석은 정칙성과 잠재적 특이점 사이의 경계가 어디에 있는지에 대한 이해를 계속 정교하게 다듬고 있습니다. 발표된 외력 있는 구성(C/D)은 이제 이 결과들과 나란히 놓이며, $f\equiv0$인 경우는 여전히 미해결입니다.

관련 설명: 진전 개관 →