왜 2D 나비에-스토크스가 3D보다 쉬운가

나비에-스토크스 방정식은 유체의 운동을 기술합니다. 2D(평면, 테이블 위에 퍼지는 물처럼)에서도 3D(현실 세계, 해류나 날개 주위의 공기처럼)에서도 작동합니다. 두 경우 모두 방정식은 거의 동일하게 생겼습니다.

그런데 여기에 반전이 있습니다: 2D에서는 방정식이 항상 잘 작동한다는 것을 수학자들이 증명할 수 있습니다. 수학이 결코 무너지지 않습니다. 3D에서는? 아무도 모릅니다. 유체가 너무 격렬하고 갑작스러운 행동을 해서 수학이 완전히 작동을 멈출 수도 있습니다. 그것이 일어날 수 있는지 증명하는 것이 클레이 밀레니엄 상 문제이며, 100만 달러의 현상금이 걸려 있습니다.

이것은 단순히 "3D는 것들이 더 많아서 어렵다"는 이야기가 아닙니다. 3D에는 2D에 존재하지 않는 특정한 메커니즘이 있으며, 그것이 모든 것을 바꿔놓습니다.

$\mathbb{R}^n$ (또는 주기적 영역 $\mathbb{T}^n$) 위의 비압축성 나비에-스토크스 방정식($\nu > 0$)은 다음과 같습니다.

$$\partial_t u + (u \cdot \nabla)u = -\nabla p + \nu \Delta u, \qquad \nabla \cdot u = 0.$$

$n = 2$인 경우, 매끄러운 발산 없는 초기 데이터에 대한 고전 해의 전역적 존재와 유일성은 정리로 확립되어 있습니다. 주요 참고문헌은 Ladyzhenskaya (1959)이며, Leray (1934)의 선행 연구에 기반합니다. 이 결과는 $\mathbb{R}^2$, $\mathbb{T}^2$, 그리고 표준 경계 조건을 가진 유계 영역에서의 매끄러운 해로 확장됩니다.

$n = 3$인 경우, 임의의 매끄러운 데이터로부터의 고전 해의 전역적 존재는 미해결입니다. 이것이 Fefferman (2000)이 정식화한 클레이 밀레니엄 문제의 내용입니다. Leray (1934)는 $L^2(\mathbb{R}^3)$에서의 약한 해의 전역적 존재를 확립했지만, 이들 해의 유일성과 정칙성은 미해결로 남아 있습니다.

$n = 2$와 $n = 3$ 사이의 간극은 단순한 기장의 문제가 아닙니다. 와도 방정식의 구조, 비선형성의 스케일링 성질, 그리고 이용 가능한 선험적 추정에서의 근본적인 차이를 반영합니다. 이 각각은 이후의 절에서 검토됩니다.

100만 달러의 문제는 3D에 대해서만 묻습니다. 왜일까요? 2D 버전은 이미 해결되었기 때문입니다. 수학자들은 수십 년 전에 2D 나비에-스토크스 해가 항상 매끄럽게 유지된다는 것을 증명했습니다. 상금이 필요 없습니다 — 끝난 것입니다.

따라서 진짜 질문은 단순히 "왜 3D가 어려운가?"가 아니라 "왜 2D는 쉽고 3D는 어려운가?"입니다. 세 번째 차원을 추가하면 무엇이 무너지는 걸까요?

클레이 문제(Fefferman 2000)는 $\mathbb{R}^3$ 위의 비압축성 나비에-스토크스에 대한 코시 문제를 고려합니다. 점성 $\nu > 0$, 적절한 감쇠 조건을 만족하는 매끄러운 발산 없는 초기 데이터 $u_0 \in C^\infty(\mathbb{R}^3)$가 주어졌을 때, 유계 에너지를 가진 매끄러운 해 $u \in C^\infty(\mathbb{R}^3 \times [0,\infty))$가 존재하는가?

$\mathbb{R}^2$에 대한 유사한 명제는 정리입니다. Ladyzhenskaya는 $u_0 \in H^1(\mathbb{R}^2)$에 대한 2D 나비에-스토크스 강한 해의 전역적 존재와 유일성을 증명했으며, 부트스트래핑을 통해 매끄러운 데이터에 대한 $C^\infty$ 정칙성을 얻습니다. 이 증명은 2차원에 특유한 선험적 추정에 의존하며, 3차원으로 확장되지 않습니다.

따라서 밀레니엄 문제는 순수하게 3차원적입니다. 3D에 존재하는 부분적 결과들 — Leray의 약한 해(1934), Caffarelli-Kohn-Nirenberg의 부분 정칙성 정리(1982), 다양한 조건부 정칙성 기준 포함 — 은 모두 완전한 전역 정칙성 문제의 해결에 미치지 못합니다. 각 부분적 결과는 3D 해에 대한 우리의 제어에서 특정한 간극을 부각시킵니다.

2D의 비밀 무기는 와도입니다 — 유체의 각 점에서 얼마나 회전하고 있는지를 나타냅니다. 유체 곳곳에 흩어져 있는 작은 소용돌이를 상상해 보십시오.

2D에서 와도는 각 점에서 단지 하나의 숫자입니다: 시계 방향이냐 반시계 방향이냐, 빠르냐 느리냐. 그리고 여기가 마법 같은 부분입니다 — 2D에서 이 작은 소용돌이들은 떠다니거나 사라질 수 있지만, 결코 더 강해질 수는 없습니다. 처음에 존재한 최대 회전이 영원히 최대 회전입니다. 유체가 반드시 따라야 하는 규칙과 같습니다: "새로운 회전은 허용되지 않음".

이것은 엄청나게 강력합니다. 회전이 통제 불능이 되지 않는다는 것을 알면, 나머지 모든 것도 통제 하에 있음을 증명할 수 있습니다. 속도는 매끄럽게, 압력도 매끄럽게, 해는 영원히 작동합니다. 도미노 같은 것입니다 — 첫 번째(와도가 유계)를 넘어뜨리면 나머지 모든 것이 따라 넘어집니다.

2D에서 와도 $\omega = \partial_1 u_2 - \partial_2 u_1$는 스칼라이며 다음을 만족합니다:

$$\partial_t \omega + (u \cdot \nabla)\omega = \nu \Delta \omega.$$

이것은 스칼라 와도 $\omega$에 대한 이류-확산 방정식입니다. $u$가 비오-사바르 법칙 $u = \nabla^\perp (-\Delta)^{-1} \omega$을 통해 $\omega$로부터 복원되므로 완전한 시스템은 비선형으로 남지만, 와류 신장 원천항은 없습니다: 우변에는 라플라시안만 포함되며, 3D에 나타나는 $(\omega \cdot \nabla)u$ 항은 없습니다.

스칼라 최대값 원리가 직접 적용됩니다: 모든 $t \geq 0$에 대해 $\|\omega(t)\|_{L^\infty} \leq \|\omega_0\|_{L^\infty}$. 동시에, 모든 $1 \leq p \leq \infty$에 대해 $\omega$의 $L^p$ 노름은 단조 비증가입니다.

$\omega$의 $L^\infty$ 유계로부터, 비오-사바르 커널에 대한 칼데론-지그문드 추정을 통해 모든 $p < \infty$에 대해 $u \in L^\infty(0,T; W^{1,p})$를 복원합니다. 더 높은 정칙성은 와도 방정식을 미분하고 포물형 부트스트랩을 적용함으로써 따릅니다: $\omega$의 각 공간 미분은 제어 가능한 계수를 가진 포물형 방정식을 만족하므로, 유계성이 모든 차수로 전파됩니다.

2D 와도 최대값 원리는 비점성의 경우 더 오래된 역사를 가지고 있습니다. Wolibner (1933)는 횔더 공간에서 2D 오일러의 전역적 존재를 증명했고, Yudovich (1963)는 유계 와도 2D 오일러 해의 유일성을 확립했습니다. 점성이 있는 경우($\nu > 0$), 포물형 평활화는 이 추정들을 더욱 강화합니다. Ladyzhenskaya의 2D 나비에-스토크스 전역 정칙성 증명은 이 구조에 의존하며, Ladyzhenskaya 보간 부등식 $\|f\|_{L^4}^2 \leq C \|f\|_{L^2} \|\nabla f\|_{L^2}$ (2D에서 성립, 3D 대응물과는 다른 지수 구조를 가짐)과 결합됩니다.

3D에서 와도는 단지 숫자가 아니라 방향과 세기입니다. 유체를 관통하는 작은 토네이도 관들을 상상해 보십시오. 각각이 어떤 방향을 가리키며 어떤 속도로 회전합니다.

그리고 여기서 모든 것이 무너집니다: 3D에서 이 토네이도 관들은 늘어날 수 있습니다. 회전하는 관을 엿처럼 잡아당기는 것을 상상해 보십시오 — 더 가늘어지고 더 빠르게 회전합니다. 이것이 와류 신장이며, 이 이야기의 악역입니다.

2D의 아름다운 규칙("새로운 회전은 허용되지 않음")은 완전히 파괴됩니다. 3D에서 유체는 자신의 회전을 증폭시킬 수 있습니다. 신장은 에너지를 점점 더 작은 스케일로 보내며, 한 점에서 무한히 강한 회전을 만들어낼 가능성이 있습니다. 그것이 "폭발" — 수학의 붕괴 — 입니다.

점성(유체의 내부 마찰)이 항상 신장이 무한대가 되기 전에 멈추는 걸까요? 아니면 신장이 때때로 이길 수 있을까요? 아무도 모릅니다. 그것이 말 그대로 100만 달러의 질문입니다.

신장과 마찰 사이의 이 경쟁이 왜 이 문제가 그토록 어려운가의 핵심입니다.

3D에서 와도 $\omega = \nabla \times u$는 다음을 만족합니다:

$$\partial_t \omega + (u \cdot \nabla)\omega = (\omega \cdot \nabla)u + \nu \Delta \omega.$$

$(\omega \cdot \nabla)u$ 항은 와류 신장 항으로, 2D에는 존재하지 않습니다. $u$가 3D 비오-사바르 법칙을 통해 $\omega$로부터 복원되므로, $(\omega \cdot \nabla)u$는 최악의 스케일링에서 대략 $|\omega|^2$의 크기로 2차적입니다. 이 항은 $\|\omega\|_{L^\infty}$의 증가를 허용하며, 2D에서 이용 가능한 스칼라 최대값 원리를 파괴합니다.

3D 오일러에 대해, Beale-Kato-Majda 기준(1984)은 $[0, T)$에서의 매끄러운 해가 시간 $T$를 넘어 연장되기 위한 필요충분조건이

$$\int_0^T \|\omega(t)\|_{L^\infty} \, dt < \infty$$

임을 진술합니다. 유사한 계속 기준이 3D 나비에-스토크스에도 성립합니다. 폭발이 발생한다면, $\|\omega\|_{L^\infty}$가 시간에 대해 비적분 가능해야 합니다. 신장 항은 와도 방정식에서 와도를 증폭시키고 최대값 원리 논증을 방해할 수 있는 원천항입니다. 2D에서는 $\|\omega\|_{L^\infty}$가 모든 시간에 대해 초기 데이터로 유계이지만, 3D에서 이 노름을 제어하는 것이 핵심 미해결 문제입니다.

부분적 진전: Caffarelli-Kohn-Nirenberg (1982)는 3D 나비에-스토크스의 임의의 적절한 약한 해에 대해, 시공간에서 특이점 집합의 1차원 포물형 하우스도르프 측도가 0임을 보였습니다. 이는 특이점이 존재하더라도 극히 드물다는 것을 의미합니다. 그러나 이 정리가 특이점의 존재를 배제하지는 않습니다.

비점성의 경우, Elgindi (2021)는 $C^{1,\alpha}$ 초기 데이터($\alpha$가 작을 때)에 대한 3D 오일러의 유한 시간 특이점 형성을 증명했으며, 대칭축을 따른 와류 신장에 의한 메커니즘을 사용했습니다. 이것이 나비에-스토크스 폭발을 직접 함의하지는 않지만(점성이 여전히 정칙화할 수 있으므로), 점성 감쇠 없이 신장 메커니즘이 특이점을 생성할 만큼 충분히 강하다는 것을 보여줍니다.

와류 신장을 넘어서, 3D가 어려운 더 깊은 이유가 있습니다. 유체를 "확대"할 때 무슨 일이 일어나는지와 관련이 있습니다.

나비에-스토크스 방정식에는 확대 요령이 있습니다: 해가 있으면 더 작은 영역으로 확대하고 시간을 가속하면 또 다른 유효한 해를 얻습니다. 질문은: 확대할 때 에너지가 커지는가, 작아지는가, 아니면 같은가 입니다.

• 2D에서는 확대해도 에너지가 동일하게 유지됩니다. 이를 임계적 스케일링이라고 합니다. 에너지 추정이 모든 스케일 — 크든 작든 — 에서 작동한다는 의미입니다. 제어를 잃는 일이 없습니다.
• 3D에서는 확대하면 에너지가 증가합니다. 이를 초임계적 스케일링이라고 합니다. 작은 스케일에서 격렬한 비선형 효과가 차분한 점성 효과에 비해 상대적으로 강해진다는 의미입니다. 수학적 도구들이 가장 필요한 바로 그 지점에서 힘을 잃습니다.

이렇게 생각해 보십시오: 2D에서는 손전등이 항상 충분히 밝아서 유체가 무엇을 하는지 볼 수 있습니다. 3D에서는 작게 볼수록 손전등이 어두워지는 반면 유체는 더 혼돈적이 됩니다. 결국 어둠 속에 있게 됩니다.

이것은 단순한 기술적 불편함이 아닙니다 — 근본적인 장벽입니다. 표준 수학적 도구들은 작은 스케일에서 3D 나비에-스토크스를 제어하기에 충분히 강력하지 않습니다. 새로운 아이디어가 필요합니다.

나비에-스토크스 방정식은 다음 스케일링 아래에서 불변입니다:

$$u(x,t) \mapsto \lambda u(\lambda x, \lambda^2 t), \qquad p(x,t) \mapsto \lambda^2 p(\lambda x, \lambda^2 t),$$

임의의 $\lambda > 0$에 대해. 이 스케일링 아래에서 $L^2$ 노름은 $\|u_\lambda\|_{L^2(\mathbb{R}^n)} = \lambda^{1-n/2} \|u\|_{L^2}$로 변환됩니다.

• $n = 2$인 경우: $\|u_\lambda\|_{L^2} = \|u\|_{L^2}$. 에너지는 스케일 불변(임계적) 양입니다. 방정식은 에너지 임계적입니다.
• $n = 3$인 경우: $\|u_\lambda\|_{L^2} = \lambda^{-1/2} \|u\|_{L^2}$, 이는 $\lambda \to \infty$(확대)에서 증가합니다. 에너지 노름은 초임계적입니다: 작은 스케일에서 스케일링에 비해 약해집니다.

3D 나비에-스토크스의 임계 소볼레프 공간은 $\dot{H}^{1/2}(\mathbb{R}^3)$이며, 자연적 스케일링 아래에서 스케일 불변입니다. 그러나 에너지 항등식은 $u$를 $L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$에서만 제어하며, 이는 임계 공간보다 반 미분 아래입니다. 이것이 초임계성 간극입니다.

2D에서는 에너지 항등식 $\frac{d}{dt}\|u\|_{L^2}^2 = -2\nu\|\nabla u\|_{L^2}^2$이 정확히 임계 수준의 제어를 제공합니다. 와도 최대값 원리와 결합하면 $C^\infty$로의 부트스트랩에 충분한 정칙성을 줍니다. 3D에서는 같은 에너지 항등식이 임계보다 약한 유계를 주며, 간극을 닫기 위한 추가적 선험적 추정은 알려져 있지 않습니다.

Tao는 초임계성 장벽을 강조했습니다: 에너지 부등식과 스케일링에만 기반한 논증은 3D 전역 정칙성을 해결할 것으로 기대되지 않으며, 성공적인 증명은 아마도 추가적 구조가 필요할 것입니다. 특히, "초임계 맹목적" 방법(방정식을 스케일링과 에너지 구조만으로 다루는 방법)은 성공할 수 없습니다. 방정식의 특정한 대수적 구조 — 예컨대 발산 없는 조건이나 비선형성의 반대칭 구조 — 가 역할을 해야 할 것입니다. 이 장벽에 대한 더 깊은 논의는 왜 나비에-스토크스가 어려운가를 참고하십시오.

2D의 증명이 유계 와도와 임계 스케일링 덕분에 작동하고, 3D에는 그 어느 것도 없다면… 3D 증명에는 무엇이 필요할까요?

솔직히? 아무도 모릅니다. 하지만 사람들이 연구하고 있는 주요 아이디어는 다음과 같습니다:

• 새로운 "제어 다이얼"을 찾는다. 2D에서는 와도가 제어 다이얼입니다 — 유계로 유지되고 나머지 모든 것이 따릅니다. 3D에서는 제어 하에 머물면서 해를 매끄럽게 유지할 만큼 충분히 강력한 다른 무언가가 필요합니다. 아직 아무도 찾지 못했습니다.
• 숨겨진 구조를 활용한다. 유체는 제약 조건을 만족해야 합니다: 비압축성(더 작은 부피로 압축될 수 없음). 이 제약은 와류 신장이 할 수 있는 것을 제한합니다. 아마도 아직 아무도 완전히 활용하지 못한 더 깊은 기하학적 패턴이 여기에 있을지 모릅니다.
• 실제로 무너진다는 것을 증명한다. 또 다른 가능성이 있습니다: 3D 해가 실제로 폭발할 수 있다는 것입니다. 그것을 증명하는 것도 똑같이 큰 성과가 될 것입니다. 와류 신장이 점성을 이기는 구체적 사례를 구성해야 합니다. 더 단순한 오일러 방정식(마찰 없는 나비에-스토크스)에서는 관련 설정에서 특이점 형성이 입증되었지만, 점성이 있는 경우는 미해결입니다.

지금까지 시도된 것에 대해 더 알고 싶다면 나비에-스토크스 부분 문제를 참고하십시오.

3D 전역 정칙성의 증명은 초임계성 간극을 닫는 것을 필요로 합니다. 구체적으로, 임계 스케일링 이상의 노름 $X$에 대해 $\|u(t)\|_X \leq C(\|u_0\|_Y, t)$ 형태의 선험적 추정이 필요하며, $C$는 모든 $t$에 대해 유한해야 합니다. 알려진 에너지 유계 $u \in L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$은 임계보다 반 미분 아래이며 충분하지 않습니다.

이 간극을 목표로 하는 여러 연구 프로그램이 있습니다:

• 프로파일 분해와 집중 컴팩트성. 임계 분산형 방정식(Kenig-Merle 2006)의 성공에서 적응된 이 방법들은 폭발 프로파일의 분류를 목표로 합니다. 나비에-스토크스에서는 부분적 결과가 존재하지만(예: Gallagher-Koch-Planchon 2016), 에너지의 초임계적 성질로 인해 에너지 임계 파동 방정식이나 슈뢰딩거 방정식의 경우보다 완전한 프로그램의 실행이 더 어렵습니다.
• 온화한 해의 확장. Fujita-Kato (1964) 프레임워크는 $\dot{H}^{1/2}(\mathbb{R}^3)$에서의 국소 적정성과 임계 공간($L^3$, $\dot{H}^{1/2}$, $BMO^{-1}$)에서의 작은 데이터 전역 적정성을 줍니다. 문제는 큰 데이터 해가 전역적으로 계속될 수 있는가이며, 이는 임계 노름의 제어를 필요로 합니다.
• 정칙성 기준. Beale-Kato-Majda ($\int_0^T \|\omega\|_{\infty} < \infty$) 외에도, Prodi-Serrin 조건 ($u \in L^p_t L^q_x$, $2/p + 3/q = 1$, $q > 3$), Escauriaza-Seregin-Šverák ($u \in L^\infty_t L^3_x$, 2003), 그리고 기타 끝점 기준이 있습니다. 각각은 전역 정칙성을 하나의 선험적 추정으로 환원하지만, 그 추정을 증명하는 것은 미해결입니다.
• 폭발 구성. Tao (2016)는 에너지 항등식과 스케일링을 존중하지만 완전한 발산 없는 구조는 존중하지 않는 평균화된 나비에-스토크스 시스템의 폭발 해를 구성했습니다. 이는 정칙성 증명이 비선형성의 특정한 기하학적 구조를 사용해야 하며 스케일링 성질만으로는 불충분함을 나타냅니다. 진정한 나비에-스토크스가 폭발을 허용하는지는 미해결입니다.

비점성 문제에 대해, Elgindi의 3D 오일러에 대한 $C^{1,\alpha}$ 폭발(2021)은 $C^\infty$ 정칙성 이하에서 와류 신장이 특이점을 생성할 수 있음을 보여줍니다. 매끄러운($C^\infty$) 오일러 폭발 문제는 미해결로 남아 있으며, 점성이 나비에-스토크스 설정에서 그러한 메커니즘을 저지할 수 있는지의 문제도 마찬가지입니다.

핵심적 차이를 한눈에 정리하면 다음과 같습니다:

2D와 3D 사이의 간극은 작은 기술적 문제가 아닙니다. 그것은 벽입니다. 2D에서 완벽하게 작동하는 증명 전략은 3D에서 "조금만 더 작업하면" 되는 것이 아니라 — 의존하는 구조가 존재하지 않기 때문에 근본적으로 작동할 수 없습니다.

전체 방정식은 나비에-스토크스 방정식이란?을 참고하십시오. 정확한 미해결 문제는 나비에-스토크스 존재성과 매끄러움을 참고하십시오. 왜 이토록 어려운지는 왜 나비에-스토크스가 어려운가를 참고하십시오.

다음 대비들이 수학적 분수령을 요약합니다:

2D 결과는 단순히 저차원의 워밍업이 아닙니다. 와도 최대값 원리와 에너지 임계성을 결합한 증명 메커니즘을 가진 완전한 정리이며, 3D에서는 알려진 대응물이 없습니다. 3D 문제의 해결 — 정칙성이든 폭발이든 — 은 근본적으로 새로운 아이디어를 필요로 합니다. 부분적 결과와 연구 프로그램의 현황은 나비에-스토크스 부분 문제 및 왜 나비에-스토크스가 어려운가를 참고하십시오.