나비에-스토크스 방정식은 물과 공기 같은 점성 유체의 운동을 기술하는 편미분방정식계입니다. 유체의 관성을 압력, 점성, 외력과 균형 짓는 방정식으로, 항공기 설계와 관 유동부터 일기 예보와 혈류에 이르기까지 모든 곳에 쓰입니다.
유명한 미해결 질문은 이 방정식이 3차원에서 무엇을 예측하느냐입니다. 유한 에너지의 매끄러운 흐름에서 출발했을 때, 해는 영원히 매끄럽게 유지될까요, 아니면 유한 시간 후에 속도가 무한대가 될 수 있을까요? 클레이의 공식 문제 서술은 네 가지 답 중 어느 하나를 받아들입니다. 외력이 없을 때 모든 매끄러운 출발점이 매끄럽게 유지된다는 증명을 전체 공간(A)이나 주기적 상자(B)에서 하거나, 매끄럽고 빠르게 감쇠하는 외력도 함께 선택할 수 있는 붕괴의 예를 두 설정 중 하나에서 제시하는 것입니다(C와 D). 2차원에서는 매끄러운 해가 영원히 지속된다는 것이 알려져 있지만, 외력이 없는 3차원 질문은 여전히 미해결입니다.
정확한 조건은 클레이 공식 문제 서술 해설에서, 그 뒤에 쌓인 한 세기의 결과는 나비에-스토크스 문제의 연구 진전에서 설명합니다.
클레이는 근본적인 수학적 어려움과 유체역학에서 방정식이 차지하는 중심적 역할 때문에 2000년 나비에–스토크스를 일곱 밀레니엄 문제 중 하나로 선정했습니다. 2026년 9월 발표는 현황을 바꾸지만 중요성의 이유를 바꾸지는 않습니다.
일차 자료: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · 클레이 공식 문제 서술.
∂tu+(u⋅∇)u=−∇p+νΔu,∇⋅u=0.
이 사이트는 R3 또는 T3 위의 3차원 비압축성 나비에-스토크스 전역 정칙성 문제를 중심으로 합니다. 공식 감쇠(또는 주기성) 조건을 만족하는 매끄럽고 발산 없는 초기 데이터와 f≡0에 대해, 모든 t≥0에서 매끄럽고 R3에서는 유계 에너지를 갖는 해가 존재할까요? 클레이의 정식화는 전역 존재성의 증명(R3에서 A, T3에서 B, 둘 다 f≡0) 또는 공식 감쇠 조건을 만족하는 매끄러운 힘도 함께 선택할 수 있는 붕괴의 예(C, D)를 받아들입니다. 2차원 유사 문제는 오래전에 해결되었으며, f≡0일 때 3차원 질문은 여전히 미해결입니다.
형식적 조건: 클레이 공식 문제 서술 해설. 결과와 방법: 연구 진전.
클레이는 근본적인 수학적 어려움과 유체역학에서 방정식이 차지하는 중심적 역할 때문에 2000년 나비에–스토크스를 일곱 밀레니엄 문제 중 하나로 선정했습니다. 2026년 9월 발표는 현황을 바꾸지만 중요성의 이유를 바꾸지는 않습니다.
일차 자료: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · 클레이 공식 문제 서술.