Millennium Prize Problem
나비에-스토크스 존재성과 매끄러움 문제
미해결 3차원 정칙성 문제에 대한 안내 — 직관적 설명에서 엄밀한 수학까지
A live fluid simulation. Drag to stir.
The equation behind the simulation
What do these terms mean?
3차원 문제가 실제로 묻는 것
나비에-스토크스 방정식은 유체의 운동을 모델링합니다. 공기, 물, 혈류, 기상, 난류 등을 연구하는 데 사용됩니다.
이 사이트는 방정식이 유용한지를 주로 다루는 것이 아닙니다. 클레이 밀레니엄 상 뒤에 있는 정확한 미해결 문제를 다룹니다: 3차원 비압축성 방정식에서, 매끄러운 발산 없는 초기 흐름은 영원히 매끄럽게 유지되는가, 아니면 유한 시간 안에 특이점이 형성될 수 있는가?
아래 섹션들은 주제를 몇 가지 경로로 나눕니다: 기본 방정식, 엄밀한 문제 서술, 주요 수학적 장애물, 표준 부분 문제, 그리고 지금까지 탐구된 증명 전략들입니다.
이 사이트는 $\mathbb{R}^3$ 또는 $\mathbb{T}^3$ 위의 3차원 비압축성 나비에-스토크스 대역적 정칙성 문제를 중심으로 합니다.
방정식은 다음과 같습니다.
$$\partial_t u + (u \cdot \nabla)u = -\nabla p + \nu \Delta u, \qquad \nabla \cdot u = 0.$$
클레이 설정에서는, $\mathbb{R}^3$ 위의 급속 감소하는 매끄러운 발산 없는 초기 데이터, 또는 $\mathbb{T}^3$ 위의 매끄러운 주기 데이터를 연구합니다. 문제는 이러한 데이터가 항상 유일한 대역적 매끄러운 해를 생성하는지, 아니면 유한 시간 안에 매끄러움이 깨질 수 있는지입니다. 르레이의 이론은 대역적 약한 해를 제공하지만, 3차원에서의 대역적 매끄러움과 유일성은 여전히 미해결 상태입니다.
아래 섹션들은 PDE 자체, 클레이의 엄밀한 서술, 스케일링 장애물, 표준 부분 문제, 그리고 이 분야를 형성해 온 접근법들을 구분합니다.
Start Here
Go Deeper
Every page has two versions. The Simple / Formal toggle in the header switches between plain-English explanations and the full mathematical treatment. You can change modes at any time without losing your place.
Every page is written in parallel. Simple mode gives physical intuition; Formal mode gives the PDE-level statements. Toggle freely — the structure mirrors across both modes.