나비에–스토크스 방정식

1. 왜 중요한가: 밀레니엄 문제

배 주위를 흐르는 물과 날개 주위를 흐르는 공기는 같은 국소적 균형 법칙을 따릅니다. 질량은 보존되고, 힘은 운동량을 바꿉니다. 나비에–스토크스 방정식은 이 생각을 연속체 모형으로 표현합니다. 방정식을 쓰는 일보다 모든 해가 어떻게 행동할 수 있는지 증명하는 일이 훨씬 어렵습니다.

연구 현황 확인일: 2026년 10월 13일. OpenAI는 9월 8일, 매끄러운 외력이 작용하는 3차원 비압축성 나비에–스토크스 방정식에서 유한 시간 발산을 구성했다고 발표하며 논문과 Lean 코드를 공개했습니다. 이는 클레이 밀레니엄 문제의 C와 D 항목을 대상으로 합니다. 중대한 진전이라는 주장이지만, 외력이 없는 나비에–스토크스 방정식의 발산을 증명한 것은 아닙니다. 별도로 발표된 무외력 오일러 방정식의 결과는 점성이 0인 경우이므로 혼동하면 안 됩니다. 9월 10일에 갱신된 OpenAI 발표.

여기서는 발표된 결과, 검사가 끝난 형식적 명제, 읽고 이해할 수 있는 증명, 학계의 수용을 구별해야 합니다. 14절에서는 10월의 비판적 검토를 포함해 날짜별 평가 현황을 설명합니다. 먼저 아래의 물리를 통해 에너지가 유계여도 국소적인 운동은 점점 극단적으로 변할 수 있는 이유를 살펴봅니다.

---

2. 연속체의 장과 보존 법칙

$\rho (\mathbf{x},t)$를 질량 밀도, $\mathbf{v}(\mathbf{x},t)$를 속도, $p(\mathbf{x},t)$를 압력, $\mathbf{\sigma }$를 코시 응력 텐서라고 합시다. $\mathbf{f}$는 중력처럼 단위 질량당 작용하는 체적력입니다.

장은 각 위치와 시각에 값을 부여하며, 많은 분자에 대한 평균을 나타냅니다. 이 모형은 관심 있는 길이 척도가 충분히 커서 이러한 평균과 국소적인 응력 법칙이 의미 있다고 가정합니다. 수학적 특이점은 연속체 방정식에 관한 것이며, 실제 분자가 무한한 속도에 도달한다는 예측은 아닙니다.

2.1 질량 보존

$${\partial }_t\rho +\nabla \cdot (\rho \mathbf{v})=0.$$

첫 항은 국소적으로 질량이 얼마나 쌓이는지를 나타내고, 발산 항은 밖으로 나가는 순질량 유량을 나타냅니다. 밀도가 일정하면 질량 보존은 속도의 발산이 0이라는 조건이 됩니다. 유체 입자는 부피를 유지하면서 늘어나거나 모양이 바뀔 수 있습니다.

2.2 운동량 보존: 코시 방정식

$$\rho \left({\partial }_t\mathbf{v}+(\mathbf{v}\cdot \nabla )\mathbf{v}\right)=\nabla \cdot \mathbf{\sigma }+\rho \mathbf{f}.$$

응력을 등방적인 압력과 점성 응력으로 나눕니다.

$$\mathbf{\sigma }=-p\mathbf{I}+\mathbf{\tau }.$$

물질 미분 $D_t={\partial }_t+\mathbf{v}\cdot \nabla$은 움직이는 유체 입자를 따라가며 변화를 측정합니다. 정상 속도장에서도 유체 입자는 가속될 수 있습니다. 좁아지는 통로로 들어가는 물은 속도가 다른 영역으로 이동하기 때문입니다. 이를 나타내는 것이 비선형 수송 항 $(\mathbf{v}\cdot \nabla )\mathbf{v}$입니다.

---

3. 구성 법칙: 뉴턴 유체

등방적인 뉴턴 유체에서는

$$\mathbf{\tau }=2\mu \mathbf{S}+\lambda (\nabla \cdot \mathbf{v})\mathbf{I},\mathbf{S}\equiv \frac{1}{2}\left(\nabla \mathbf{v}+\nabla {\mathbf{v}}^{\top }\right),$$

이며, $\mu$는 점성 계수, $\lambda$는 제2점성 계수입니다. 체적 점성 계수는 $\zeta =\lambda +2\mu /3$입니다.

점성 계수가 공간적으로 일정할 때 이를 운동량 보존식에 대입하면 압축성 나비에–스토크스 방정식을 얻습니다.

$$\rho \left({\partial }_t\mathbf{v}+\mathbf{v}\cdot \nabla \mathbf{v}\right)=-\nabla p+\mu {\nabla }^2\mathbf{v}+(\mu +\lambda )\nabla (\nabla \cdot \mathbf{v})+\rho \mathbf{f}.$$

$\rho$가 일정할 때 동점성 계수를 $\nu \equiv \mu /\rho$로 정의합니다.

점성은 균일한 병진 운동이 아니라 변형에 반응합니다. 단위는 각각 $[\mu ]=\mathrm{Pa}\mathrm{s}$와 $[\nu ]={\mathrm{m}}^2/s$입니다. 위의 평판 유동 그림에서 간격을 $h$, 위 판의 속력을 $U$라고 하면 $v_x(y)=Uy/h$이고 전단 응력은 ${\tau }_{xy}=\mu U/h$입니다. 이 간단한 정확해는 매끄럽습니다. 특이점이 존재한다는 주장은 특정한 데이터에 관한 존재 명제이지 모든 유동에 관한 주장이 아닙니다.

---

4. 비압축성 형태

밀도가 $\rho ={\rho }_0$로 일정하고

$$\nabla \cdot \mathbf{v}=0,$$

이면 다음을 얻습니다.

$${\partial }_t\mathbf{v}+(\mathbf{v}\cdot \nabla )\mathbf{v}=-\frac{1}{{\rho }_0}\nabla p+\nu {\nabla }^2\mathbf{v}+\mathbf{f},\nabla \cdot \mathbf{v}=0.$$

이 방정식은 가속도가 압력에 의한 가속도, 점성 확산, 외부에서 가한 가속도의 합과 같다는 뜻입니다.

항	의미
${\partial }_t\mathbf{v}$	고정된 위치에서 측정한 변화
$(\mathbf{v}\cdot \nabla )\mathbf{v}$	유체 입자가 속도장을 통과하며 이동하기 때문에 생기는 변화
$-\nabla p/{\rho }_0$	압력에 의한 힘이 운동량을 재분배함
$\nu {\nabla }^2\mathbf{v}$	점성이 공간적 변화를 완만하게 만듦
$\mathbf{f}$	외부에서 가하는 단위 질량당 힘

비압축성이라고 해서 속도나 가속도가 0일 필요는 없습니다. 압력은 속도의 발산을 0으로 유지하는 제약으로 작용합니다. 이 일정 밀도 모형에서 압력은 독립적인 상태 방정식으로 주어지는 것이 아닙니다.

운동량 방정식의 발산을 취하면 적절한 경계 조건 아래에서 압력에 대한 푸아송 방정식을 얻습니다.

$${\nabla }^{2}p=-{\rho }_0\nabla \cdot [(\mathbf{v}\cdot \nabla )\mathbf{v}]+{\rho }_0\nabla \cdot \mathbf{f}.$$

---

5. 와도와 헬리시티

와도를 $\mathbf{\omega }\equiv \nabla \times \mathbf{v}$로 정의합니다.
비압축성 유동($\nabla \cdot \mathbf{v}=0$)에서는

$${\partial }_t\mathbf{\omega }=\nabla \times (\mathbf{v}\times \mathbf{\omega })+\nu {\nabla }^2\mathbf{\omega }+\nabla \times \mathbf{f}.$$

성분으로 쓰면

$${\partial }_t{\omega }_i+v_j{\partial }_j{\omega }_i={\omega }_j{\partial }_j{v}_i+\nu {\partial }_{jj}{\omega }_i+(\nabla \times \mathbf{f}{)}_i.$$

${\omega }_j{\partial }_j{v}_i$는 와류 신장 항이며 3차원에서만 나타납니다.
헬리시티 $H\equiv \int \mathbf{v}\cdot \mathbf{\omega }dV$는 와류선의 위상적 구조를 살펴보는 지표입니다.

축 방향으로 늘어난 와류관은 더 가늘고 강해질 수 있습니다. 와도 방정식에서 신장은 회전을 증폭할 수 있고, 점성은 이를 확산시킵니다. 어느 효과도 그 자체만으로 전체 결합 동역학이 매끄럽게 유지될지를 결정하지는 않습니다.

진정한 평면 유동 $\mathbf{v}=(v_x(x,y),v_y(x,y),0)$에서는 와도가 평면에 수직이며 장들은 그 방향으로 변하지 않습니다. 따라서 $(\mathbf{\omega }\cdot \nabla )\mathbf{v}=0$입니다. 이로 인해 2차원에서는 중요한 증폭 메커니즘 하나가 사라집니다. 그렇다고 모든 3차원 와류가 반드시 발산한다는 뜻은 아닙니다.

---

6. 에너지 균형: 비압축성 유동

매끄러운 해에 대해 운동량 방정식에 $\mathbf{v}$를 내적하고, 정지한 점착 경계를 갖는 영역 $\Omega$에서 적분합니다. 같은 항등식은 주기적 상자나 충분한 감쇠가 있는 전공간에서도 성립합니다.

$$\frac{1}{2}\frac{d}{dt}{\int }_{\Omega }|\mathbf{v}{|}^{2}dV+\nu {\int }_{\Omega }|\nabla \mathbf{v}{|}^{2}dV={\int }_{\Omega }\mathbf{f}\cdot \mathbf{v}dV.$$

$\mathbf{f}=0$이면 운동 에너지는 단조 감소하며, 점성에 의한 소산율은 $\nu \Vert \nabla \mathbf{v}{\Vert }_2^2$입니다.

여기서 에너지는 일정한 밀도로 나눈 값입니다. 실제 운동 에너지는 속도 제곱의 적분에 ${\rho }_0/2$를 곱한 것입니다. 수송과 압력은 경계를 통과하는 에너지 유속으로만 기여하며 위 가정 아래에서는 그 기여가 사라집니다. 부분 적분을 하면 음수가 아닌 점성 항이 나옵니다. 벽이 움직이거나 경계가 열려 있으면 일이나 에너지 유속을 나타내는 항이 추가됩니다.

6.1 유한 에너지가 매끄러움을 보장하지 않는 이유

적분의 상한은 전체 운동을 제어하지만 가장 큰 국소 값까지 제어하지는 않습니다. 스케일링의 예로, 매끄럽고 콤팩트 지지를 가지며 발산이 0인 고정된 벡터장 $\mathbf{\varphi }$를 택하고

$${\mathbf{v}}_{\ell }(\mathbf{x})={\ell }^{-1}\mathbf{\varphi }(\mathbf{x}/\ell ).$$

로 둡니다. 그러면 $\ell \to 0$일 때 $\Vert {\mathbf{v}}_{\ell }{\Vert }_{\infty }={\ell }^{-1}\Vert \mathbf{\varphi }{\Vert }_{\infty }$는 커지지만, $\Vert {\mathbf{v}}_{\ell }{\Vert }_2^2=\ell \Vert \mathbf{\varphi }{\Vert }_2^2$는 작아집니다. 이는 크기를 바꾼 순간적인 공간 분포들로, 방정식의 해나 발산의 증명이 아닙니다. 점점 작은 부피에서 속력이 점점 커져도 에너지 상한을 위반하지 않을 수 있음을 보여 줄 뿐입니다. 미분과 집중을 제어하는 것이 정칙성 문제의 추가적인 어려움입니다.

---

7. 무차원화와 제어 매개변수

대표 길이 $L$과 대표 속력 $U$를 택하고 다음과 같이 정의합니다. ${\mathbf{x}}^{\prime }=\mathbf{x}/L$, $t^{\prime }=tU/L$, ${\mathbf{v}}^{\prime }=\mathbf{v}/U$, $p^{\prime }=p/(\rho U^2)$.

비압축성 방정식은

$${\partial }_{t^{\prime }}{\mathbf{v}}^{\prime }+({\mathbf{v}}^{\prime }\cdot {\nabla }^{\prime }){\mathbf{v}}^{\prime }=-{\nabla }^{\prime }{p}^{\prime }+\frac{1}{\mathrm{Re}}{\nabla }^{\prime 2}{\mathbf{v}}^{\prime }+{\mathbf{f}}^{\prime },{\nabla }^{\prime }\cdot {\mathbf{v}}^{\prime }=0,$$

가 되며, 레이놀즈 수는

$$\mathrm{Re}=\frac{UL}{\nu }.$$

입니다. 여기서 ${\mathbf{f}}^{\prime }=L\mathbf{f}/U^2$입니다. 확산 시간은 $L^2/\nu$, 이류 시간은 $L/U$이고, 둘의 비가 $\mathrm{Re}$입니다. 레이놀즈 수가 크다는 것은 선택한 척도에서 점성이 변화를 완만하게 만드는 것보다 이류가 빠르다는 뜻입니다. 보편적인 난류 발생 문턱값이나 특이점 판정 기준은 아닙니다. 기하 구조, 교란, 측정하는 척도도 중요합니다. 예를 들어 $U=0.1m/s$, $L=0.01\mathrm{m}$, $\nu =10^{-6}{\mathrm{m}}^2/s$이면 $\mathrm{Re}=1000$입니다.

필요에 따라 다음과 같은 다른 무차원수도 사용합니다.

• 마하 수 $\mathrm{Ma}=U/c_s$: 압축성
• 프루드 수 $\mathrm{Fr}=U/\sqrt{gL}$: 중력
• 프란틀 수 $\mathrm{Pr}=\nu /\kappa$: 운동량 확산과 열확산의 비교

---

8. 압축성 나비에–스토크스–푸리에 방정식 개요

내부 에너지 $e$ 또는 온도 $T$를 포함하고, 푸리에 열유속 $\mathbf{q}=-k_{\mathrm{th}}\nabla T$를 사용합니다. 여기서 열전도율 $k_{\mathrm{th}}$는 앞에서 쓴 열확산계수 $\kappa$와 다른 양입니다.

$${\partial }_t(\rho e)+\nabla \cdot (\rho e\mathbf{v})=-p\nabla \cdot \mathbf{v}+\mathbf{\tau }:\nabla \mathbf{v}-\nabla \cdot \mathbf{q}.$$

이상 기체의 경우와 같은 상태 방정식으로 계를 닫습니다. $p=(\gamma -1)\rho e$가 그 예입니다.

이제 압축에 의한 일과 운동 에너지에서 내부 에너지로의 전환을 명시적으로 다룹니다. 비압축성 밀레니엄 문제의 해결이 충격파 형성, 열수송 또는 이와 다른 계의 정칙성 이론까지 해결하는 것은 아닙니다.

---

9. 수학 이론: 존재성과 유일성

국소적 존재는 초기 시각 이후 어떤 구간에서 해가 존재한다는 뜻이며, 전역적 존재는 모든 미래 시각에 대해 존재한다는 뜻입니다. 고전해는 방정식을 각 점에서 만족시킬 만큼 충분한 미분을 갖습니다. 여기서 매끄럽다는 것은 모든 차수로 미분 가능하다는 뜻입니다. 약한 해는 미분을 매끄러운 시험 함수에 옮긴 적분 형태를 만족시킵니다. 이들은 서로 다른 존재 기준입니다.

9.1 약한 해: 르레–호프 이론

통상적인 전공간 또는 주기적 설정에서 발산이 0이고 에너지가 유한한 초기 데이터와 허용되는 외력이 주어지면, 르레–호프 이론은 에너지 부등식을 만족하는 전역 약한 해를 제공합니다. 매끄러운 해는 매끄러움을 유지하는 동안 해당 에너지 클래스 안에서 유일합니다. 이를 약해–강해 유일성이라고 합니다. 따라서 매끄러움을 잃을 가능성이 있다고 해서 모든 일반화된 해가 더 이상 존재하지 않는 것은 아닙니다. 페퍼먼의 공식 문제 설명.

유일성은 해의 클래스, 초기 데이터, 외력에 따라 달라집니다. Albritton, Brué, Colombo는 특정 외력이 있을 때 비유일성을 증명했습니다. Hou, Wang, Yang은 특이한 초기 데이터에서 외력 없이 나타나는 비유일성에 관한 컴퓨터 보조 결과를 보고했습니다. 이런 결과를 매끄러운 초기 데이터에서 출발하는 무외력 유동의 발산으로 바꾸어 설명해서는 안 됩니다.

9.2 정칙성 판정 기준: 3차원

• 와도를 이용한 연장 기준(Beale–Kato–Majda 유형): 충분히 정칙인 통상적인 전공간 또는 주기적 설정에서, 외력이 $T$를 지나서도 충분한 정칙성을 유지할 때 고전해가 $T$에서 정칙성을 잃으려면

$${\int }_0^T\Vert \mathbf{\omega }(\cdot ,t){\Vert }_{L^{\infty }}dt=\infty .$$

이어야 합니다. 나비에–스토크스 연장 기준에 대한 Luo의 설명은 무외력 기준을 제시합니다. 위에서 외력에 붙인 조건은 특이한 외부 입력 때문에 정칙성이 무너지는 경우를 제외합니다.

• Prodi–Serrin: 적절한 외력 아래 에너지 클래스의 약한 해가 $\mathbf{v}\in L^p(0,T;L^q)$를 만족하고

$$\frac{2}{p}+\frac{3}{q}\le 1,q>3,$$

이면 정칙이며, $(0,T]$에서 매끄럽습니다.

• Caffarelli–Kohn–Nirenberg: 정리가 요구하는 외력 조건 아래에서 적합한 약한 해의 특이 집합은 1차원 포물형 하우스도르프 측도가 0입니다. 이는 부분 정칙성이며 특이 집합이 비어 있다는 증명은 아닙니다. 공식 문제 설명의 배경과 참고 문헌.

이들은 조건부 명제입니다. 어떤 제어가 정칙성 상실을 막을 수 있는지를 명시할 뿐, 모든 3차원 유동에서 그 제어를 제공하지는 않습니다. 위의 지수들은 자연스러운 스케일링 ${\mathbf{v}}_a(\mathbf{x},t)=a\mathbf{v}(a\mathbf{x},a^{2}t)$를 반영합니다. 3차원에서는 에너지 노름만으로는 임계 스케일링을 갖지 못합니다.

9.3 2차원의 전역 정칙성

통상적인 전공간 또는 주기적 설정에서 조건에 부합하는 매끄러운 데이터와 충분히 정칙인 외력이 주어지면, 2차원 비압축성 유동은 모든 유한 시각까지 매끄럽게 유지됩니다. 외력이 없을 때 엔스트로피 $\int |\mathbf{\omega }{|}^{2}dV$는 증가하지 않으며, 외력은 여기에 생성 항을 더합니다. 와류 신장이 없으므로 3차원보다 훨씬 강하게 제어할 수 있습니다.

9.4 압축성 유동

일정한 조건에서 $\gamma$ 법칙 기체에 대해 유한 에너지의 전역 약한 해가 존재하지만, 정칙성과 유일성은 상당 부분 미해결입니다.

9.5 클레이의 네 항목은 정확히 무엇을 묻는가

공식 정식화는 양의 점성 아래 다음 네 명제 중 하나의 증명을 인정합니다.

항목	영역	외력과 질문
A	${\mathbb{R}}^3$	외력 0. 허용되는 모든 매끄러운 초기 데이터에 대해 유한 에너지의 전역 매끄러운 해가 존재하는가
B	주기적 공간 ${\mathbb{R}}^3/{\mathbb{Z}}^3$	외력 0. 허용되는 모든 매끄러운 주기적 초기 데이터에 대해 전역 매끄러운 해가 존재하는가
C	${\mathbb{R}}^3$	허용되는 어떤 매끄러운 데이터와 매끄럽고 빠르게 감쇠하는 외력에 대해, 에너지가 균일하게 유계인 전역 매끄러운 해가 존재하지 않음
D	주기적 공간 ${\mathbb{R}}^3/{\mathbb{Z}}^3$	허용되는 어떤 매끄러운 주기적 데이터와 외력에 대해 전역 매끄러운 해가 존재하지 않음

전공간에서는 초기 데이터와 외력이 명시된 감쇠 조건을 따르며, 주기적 외력도 시간에 대한 감쇠 조건을 따릅니다. C와 D는 0이 아닌 외력을 허용하므로 이 중 하나를 증명해도 무외력 명제 A나 B를 논리적으로 반증하는 것은 아닙니다. “클레이의 한 항목을 해결했다”와 “정칙성의 모든 버전을 해결했다”는 서로 다른 주장입니다.

---

10. 난류와 스펙트럼

레이놀즈 수 $\mathrm{Re}$가 큰 균질하고 등방적인 난류(K41)에서 관성 구간의 에너지 스펙트럼은

$$E(k)=C_K{\epsilon }^{2/3}{k}^{-5/3},$$

로 주어집니다. $\epsilon$는 평균 소산율이고, $C_K\sim \mathcal{O}(1)$는 콜모고로프 상수입니다.

콜모고로프 미소 척도:

$$\eta \sim {\left(\frac{{\nu }^3}{\epsilon }\right)}^{1/4}.$$

K41 추정 $\epsilon \sim U^3/L$을 사용하면 $L/\eta \sim {\mathrm{Re}}^{3/4}$를 얻습니다. 이 척도를 3차원에서 해상하려면 시간 적분 비용을 제외하더라도 ${\mathrm{Re}}^{9/4}$ 차수의 격자점이 필요하다는 추정이 나옵니다. 이런 휴리스틱은 해상도와 모델링 방식을 달리하는 직접 수치 모사(DNS), 대와류 모사(LES), 레이놀즈 평균 나비에–스토크스(RANS) 접근법의 동기가 됩니다. LES와 RANS는 해상하지 못한 상관관계에 대한 닫힘 가정을 필요로 합니다.

$-5/3$ 스펙트럼은 관성 구간의 통계적 모형을 설명하며 모든 유동이나 모든 척도에 적용되지는 않습니다. 간헐성과 경계는 이 그림을 복잡하게 만듭니다. 특별히 구성한 특이해가 보편적인 난류 모형을 제공하거나 수치 오차 추정의 필요성을 없애 주지는 않습니다.

---

11. 경계 조건과 기하 구조

• 점착 벽면: $\mathbf{v}{|}_{\partial \Omega }=0$
• 자유 미끄럼: $\mathbf{n}\cdot \mathbf{v}=0$, $\mathbf{n}\cdot \mathbf{\tau }\cdot \mathbf{t}=0$
• 이론과 DNS를 위한 주기적 상자(토러스)
• 적절한 응력 또는 압력 조건을 갖는 유입·유출 경계

어떤 조건을 선택하는지는 문제의 적정성, 에너지 수지, 수치적 안정성에 영향을 줍니다.

주기적 상자에서는 마주 보는 면을 동일시하며 물리적인 벽은 없습니다. 전공간에서는 무한대에서의 감쇠가 벽면 조건을 대신합니다. 이런 기하 구조에서 얻은 결과가 비행기 표면이나 관에 자동으로 적용되지는 않습니다. 경계 조건도 수학적 문제의 일부입니다.

---

12. 수치 계산 간단 안내

• 사영법: ${\mathbf{v}}^{\ast }$를 먼저 갱신하고, $p$에 대한 푸아송 방정식을 푼 다음, $\nabla \cdot {\mathbf{v}}^{n+1}=0$이 되도록 사영합니다.
• 에너지 안정성을 갖는 기법: 대류 항을 반대칭 형태로 쓰면 이산 에너지를 보존합니다.
• 명시적 이류·확산 기법의 CFL 제약: $\Delta t\lesssim \min \{\Delta x/U,\Delta x^2/\nu \}$.
• 발산 제어: 발산이 0인 스펙트럴 기저를 사용하거나, inf–sup 안정성을 갖는 속도–압력 쌍으로 혼합 유한 요소법을 구성합니다. 발산이 정확히 0이 되려면 적절한 공간이 필요하며, inf–sup 안정성만으로는 보장되지 않습니다.

모사에서 점점 커지는 봉우리를 관찰할 수는 있지만, 유한한 격자만으로 무한한 극한을 증명할 수는 없습니다. 실제 집중과 수치 불안정성을 구별하려면 격자 세분화 연구, 이산화 오차 제어, 해석적 논증이 필요합니다. 컴퓨터 보조 증명은 엄밀한 상한과 하한을 제시하고, 형식 증명 보조기는 부호화된 정의와 가정으로부터의 추론을 검사합니다. 어느 쪽도 단순히 고해상도 애니메이션을 보여 주는 일이 아닙니다.

---

13. 연결과 확장

• 오일러 방정식: $\nu =0$으로 놓으면 점성 확산이 사라집니다. $\nu \to 0$ 극한을 취하는 일 자체가 특히 벽 근처에서 까다로울 수 있습니다. OpenAI가 별도로 발표한 무외력 오일러 결과는 이 비점성 방정식에 관한 것이며, 외력이 없고 점성이 양수인 문제에 관한 것이 아닙니다. 발표와 별도의 오일러 논문.
• 상대론적 유체역학: 단순한 나비에–스토크스 정식화는 인과성을 위반합니다. 2차 이스라엘–스튜어트 이론은 수송 계수와 유체 상태에 대한 적절한 조건 아래 인과성을 회복할 수 있습니다(체적 점성이 있는 경우의 엄밀한 예).
• 양자 유체: 두 유체 모형과 양자화된 와류를 포함하는 초유체의 나비에–스토크스 유사 모형이 있습니다.

---

14. 현재 현황

2026년 10월 13일 기준: 매끄러운 외력이 있는 3차원 유동의 구성이 발표되어 검토 중이며, 무외력 3차원 나비에–스토크스의 정칙성은 여전히 미해결입니다. 2차원 정칙성이나 매끄러운 유동 해의 일상적인 유용성이 뒤집힌 것은 아닙니다.

14.1 정확한 주장과 메커니즘

OpenAI 논문의 정리 1.1은 다음을 주장합니다. **모든 $\nu >0$**에 대해 공간과 시간에서 콤팩트 지지를 갖는 매끄러운 외력과, 정지 상태에서 출발하는 ${\mathbb{R}}^3\times [0,1)$ 위의 매끄러운 비압축성 유동이 존재하여

$$\mathbf{v}(\cdot ,0)=0,\underset{0\le t<1}{\sup }\Vert \mathbf{v}(t){\Vert }_{L^2}<\infty ,\underset{t\uparrow 1}{\mathrm{limsup}}\Vert \mathbf{v}(t){\Vert }_{L^{\infty }}=\infty .$$

를 만족합니다. 속도와 압력의 공간 지지는 시각 1 이전에 고정된 콤팩트 영역 안에 있으며, 외력은 그 시각을 지나서도 매끄럽게 이어집니다. 논문은 C 항목을, 그리고 따름정리 10.6의 주기적 구성을 통해 D 항목을 해결한다고 주장합니다. 논문에서 사용하는 압력의 정의에는 일정한 밀도가 흡수되어 있습니다.

제안된 메커니즘은 안쪽으로 나선형으로 감기면서 축 방향으로 늘어나는 와류를 집중시킵니다. 진동하는 보정 항과 그에 따른 운동량 수송이, 그대로 두면 특이해질 잔여 외력을 상쇄합니다. 발산하는 속도를 임의로 택한 뒤 방정식에서 외력을 정의하는 것만으로는 충분하지 않습니다. 외력과 그 모든 미분이 특이 시각을 지나서도 매끄러워야 합니다. 이것은 발표된 구성의 개념적 설명이며 독립적인 증명이 아닙니다.

“모든 점성에 대해 외력이 존재한다”는 말은 외력이 점성에 따라 달라도 된다는 뜻입니다. 하나의 고정된 외력이 모든 점성을 이긴다거나, 임의로 작은 외력이면 충분하다거나, 정지한 유체가 에너지 공급 없이 발산한다는 뜻은 아닙니다.

14.2 Lean, 수학적 검토와 상금

공개된 Lean 저장소에는 전공간과 주기적 경우의 목표 명제 및 Comparator를 이용한 독립 검사 안내가 포함되어 있습니다. 형식 검증기는 정확히 부호화된 명제와 가정에 대한 추론을 검사합니다. 그 정의들이 의도한 문제를 표현하는지, 그리고 그 논증이 서술된 증명을 어떻게 설명하는지는 별도로 살펴야 합니다. 이 노트는 Lean 프로젝트를 직접 다시 빌드하거나 독립적으로 검증했다고 주장하지 않습니다.

10월 6일, Bastounis, Circelli, Hansen은 자연어 설명과 Lean의 대응 관계를 비판하는 글을 공개했습니다. 예로는 보조정리 8.6의 미분 요구 조건 차이와 보조정리 10.5의 압력 추정 논증 차이가 있습니다. 이는 형식화를 서술된 증명의 모든 단계에 대한 자동 인증으로 취급하는 데 의문을 제기합니다. 이것만으로 외력이 있는 유동의 발산에 관한 최종 정리를 반박하거나 최종 형식 명제가 틀렸음을 보여 주는 것은 아닙니다.

9월 11일의 클레이 수학연구소 응답은 이 획기적인 진전으로 보이는 결과를 환영하면서도, 평가를 의도적으로 서두르지 않는다는 점을 강조했습니다. 상금 규정에 따르면 심사 대상으로 고려되려면 요건을 충족하는 출판, 그 출판 이후 최소 2년의 경과, 수학계의 일반적인 수용이 필요합니다. 발표일만으로 상금 심사 대기 기간의 시작이 확정되는 것은 아닙니다. 여기서는 상금이 수여되었다고 주장하지 않으며, OpenAI는 이를 청구할 의사가 없다고 밝혔습니다.

14.3 후속 연구가 밝힌 것과 밝히지 않은 것

9월의 후속 연구도 범위를 주의해서 읽어야 합니다. Petrillo와 Glimm은 외력이 있는 결과와 여전히 남아 있는 무외력 문제를 명확히 구분합니다. Lei와 Ren의 해설은 프로파일 구성을 다루며 추가적인 진동 상쇄는 후속 작업으로 미룹니다. 따라서 완전한 독립 검증은 아닙니다. Constantin, Ignatova, Vicol은 특정한 기하 구조, 성장률, 외력 가정 아래 특이점 형성을 막는 정칙성 결과를 얻습니다. 이는 이 메커니즘에서 외력을 제거하려는 시도와 관련되지만, 해석적인 외력이 작용하는 모든 유동의 전역 정칙성을 증명한 정리는 아닙니다.

이제 생산적인 질문은 구체적입니다. 주장한 가정과 결론이 검증되는가, 메커니즘을 투명하게 설명할 수 있는가, 외력을 제거해도 무엇이 남는가를 물어야 합니다. 난류 예측, 모든 클래스에서의 약한 해의 유일성, 압축성 유동은 별개의 문제로 남아 있습니다.

15. 이해도 확인

1. 균일한 병진 운동: 속도와 압력이 일정하고 외력이 0이면 비압축성 방정식의 어떤 항들이 사라질까요? 모든 공간 미분과 시간 미분이 0이므로 어떤 양의 점성도 이 운동과 양립합니다.
2. 에너지와 최대 속력: 6.1절에서 $\mathbf{y}=\mathbf{x}/\ell$로 변수를 바꾸어 보세요. 에너지가 왜 $\ell$에 비례할까요? 진폭의 제곱에서 ${\ell }^{-2}$가 나오고 3차원 부피에서 ${\ell }^3$이 나오기 때문입니다.
3. 척도 바꾸기: $U$와 $\nu$를 고정하고 $L$을 절반으로 줄이면 레이놀즈 수는 어떻게 될까요? 레이놀즈 수도 절반이 되며, 더 작은 척도에서는 점성의 상대적 중요성이 커집니다.
4. 정리 읽기: A가 미해결인 채로 C가 성립할 수 있는 이유는 무엇일까요? C는 선택한 0이 아닌 매끄러운 외력을 허용하지만 A는 외력이 0인 경우만 다루기 때문입니다.
5. 증명 검증기: Lean이 증명을 받아들인 뒤에도 무엇을 확인해야 할까요? 부호화된 정의, 가정, 최종 결론이 의도한 수학적 질문과 일치하는지 확인해야 합니다. 별도로 작성된 설명과의 대응 관계도 검토가 필요합니다.

---