Millennium Prize Problem

나비에-스토크스 존재성과 매끄러움 문제

미해결 3차원 정칙성 문제에 대한 안내 — 직관적 설명에서 엄밀한 수학까지

A live fluid simulation. Drag to stir.

Water Honey

The equation behind the simulation

$$\textcolor{#e0e0e0}{\partial_t u} \;+\; \textcolor{#e040fb}{(u \cdot \nabla)u} \;=\; \textcolor{#66bb6a}{-\nabla p} \;+\; \textcolor{#4fc3f7}{\nu \Delta u}, \qquad \textcolor{#90a4ae}{\nabla \cdot u = 0}$$
What do these terms mean?
Viscosityν∆u
How thick the fluid is — honey resists swirling, water flows freely. The slider above controls this Viscous diffusion — smooths and spreads the flow. Controlled by the ν slider above
Momentum(u·∇)u Movement carries movement — a fast stream drags nearby fluid along, creating swirls Nonlinear advection — velocity transports itself, producing vortex stretching and cascade
Pressure−∇p When fluid bunches up, pressure pushes it apart — the solver handles this automatically Pressure gradient — computed by the projection step to enforce the divergence-free constraint
Change∂ₜu The result — how the fluid's speed changes at each point, computed from all the other terms Net rate of change — the left-hand side, determined by the balance of advection, pressure, and viscosity
Conservation∇·u = 0 The fluid can't compress or expand — it just rearranges, which is what makes water behave like water Divergence-free constraint — satisfied each step by the Helmholtz-Hodge projection

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.