나비에-스토크스 부분 문제

1934년, 장 르레이는 결정적인 발견을 했습니다: 해가 완벽하게 매끄러워야 한다는 요건을 완화하면, 해가 항상 존재함을 증명할 수 있습니다. 이 완화된 해를 약한 해라고 부릅니다.

비유하자면: 두 도시 사이에 완벽한 도로를 찾을 수 없다면, 약간의 굴곡이 있는 비포장도로라도 받아들일 수 있을 것입니다. 르레이는 비포장도로는 항상 존재함을 보였습니다. 밀레니엄 문제는 완벽한 도로도 존재하는지를 묻습니다.

문제가 있습니다. 약한 해가 유일한지조차 모릅니다. 동일한 초기 조건이 주어져도 여러 유효한 약한 해가 있을 수 있으며 — 유체가 어떤 것을 "선택"하는지 모릅니다.

르레이(1934)는 에너지 부등식

$$\frac{1}{2}\|u(t)\|_{L^2}^2 + \nu \int_s^t \|\nabla u(\tau)\|_{L^2}^2 \, d\tau \leq \frac{1}{2}\|u(s)\|_{L^2}^2$$

을 거의 모든 $s \geq 0$과 모든 $t \geq s$에 대해 만족하는 대역적 약한 해 $u \in L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$의 존재를 증명했습니다. 이들을 르레이-호프 약한 해라 부릅니다. 주요 미해결 문제:

• 유일성은 에너지 급수에서 알려져 있지 않습니다 (대비: 벅마스터-비콜(2019)은 르레이-호프 에너지 급수 아래의 급수(구체적으로 $L^2_t \dot{H}^1_x$ 제어 없는 $C_t L^2_x$)에서 약한 해의 비유일성을 증명).
• 에너지 등식 대 부등식: 약한 해는 부등식을 만족하지만, (매끄러운 해처럼) 등식은 보장되지 않습니다 — 특이 시간에서의 에너지 손실 가능성.
• 매끄러움: 르레이-호프 해가 매끄러우면, 유일한 고전적 해입니다. 따라서 정칙성은 유일성을 함의합니다.

특이점을 완전히 배제할 수 없지만, 특이점이 너무 나쁠 수 없다는 것은 알고 있습니다. 카파렐리, 콘, 니렌베르크(1982)의 획기적 결과 — CKN 정리 — 는 해가 폭발할 수 있는 점의 집합이 믿을 수 없을 만큼 작다는 것을 증명합니다.

얼마나 작은가요? 시공간에서 가능한 특이점의 집합은 "1차원 포물형 하우스도르프 측도 영"입니다. 실질적으로: 특이점이 존재하더라도 찰나에 나타났다 사라지는 고립점입니다. 지속될 수 없고, 선이나 면을 형성할 수 없으며, 공간의 어떤 영역도 채울 수 없습니다.

이것은 놀라운 일입니다: 완전한 매끄러움을 증명하지 않고도, 특이점이 극도로 희소함을 알고 있습니다.

카파렐리-콘-니렌베르크 정리 (1982): 나비에-스토크스 방정식의 적합한 약한 해 $(u,p)$에 대해, 특이 집합 $\Sigma$는

$$\mathcal{P}^1(\Sigma) = 0$$

을 만족하며, 여기서 $\mathcal{P}^1$은 1차원 포물형 하우스도르프 측도입니다. 동치로, 특이점은 시공간에서 곡선 위에 집중될 수 없습니다.

증명은 국소 에너지 부등식

$$\int |u|^2 \varphi(t) + 2\nu \int\!\!\int |\nabla u|^2 \varphi \leq \int\!\!\int |u|^2(\partial_t \varphi + \nu \Delta \varphi) + \int\!\!\int (|u|^2 + 2p)(u \cdot \nabla \varphi)$$

을 만족하는 적합한 약한 해를 도입하고, $\varepsilon$-정칙성 기준을 사용합니다: 스케일 불변 양 $\frac{1}{r}\int_{Q_r} |\nabla u|^2$이 포물형 실린더 $Q_r$ 위에서 충분히 작으면, $u$는 중심에서 정칙입니다. CKN 한계는 덮개 논법으로 따릅니다.

특이점이 존재한다면, 어떤 모습일까요? 수학자들은 잠재적 폭발을 두 유형으로 분류했습니다:

• I형 (자기유사): 폭발이 특정 비율을 따릅니다 — 예측 가능한 속도로 강화되는 소용돌이처럼. 더 잘 이해되어 있으며, 다양한 조건에서 대부분 배제되었습니다.
• II형 (비자기유사): 폭발이 예측 비율보다 빠르거나 더 불규칙합니다. 훨씬 더 신비롭고 분석하기 어렵습니다.

정칙성을 증명한다는 것은 두 유형 모두를 배제하는 것입니다. 대부분의 현대적 접근법은 이들을 별개의 문제로 다루며, 각각에 다른 도구를 사용합니다.

$T^* < \infty$가 가상의 최초 폭발 시간이라고 합시다. 폭발은:

• I형: $t \to T^*$일 때 $\|u(t)\|_{L^\infty} \leq \frac{C}{\sqrt{T^* - t}}$. 동치로, 재스케일된 해 $\lambda u(x_0 + \lambda x, T^* + \lambda^2 t)$가 유계. I형 폭발은 $u(x,t) = \frac{1}{\sqrt{T^*-t}} U\left(\frac{x-x_0}{\sqrt{T^*-t}}\right)$ 형태의 자기유사 해와 연결됩니다.
• II형: $\limsup_{t \to T^*} \sqrt{T^* - t} \, \|u(t)\|_{L^\infty} = \infty$. 폭발 비율이 자기유사 비율을 초과.

주요 I형 결과:

• 세레긴 (2012): 폭발 시간에 유계 $L^3$ 노름은 정칙성을 함의 — $L^3$에서 I형 폭발을 배제.
• 갈라거-코흐-플랑숑 (2016): I형 폭발에 대한 프로필 분해; 네차스-루지치카-슈베라크(1996)와 차이(1998)의 선행 연구가 역방향 유일성을 통해 자기유사 폭발을 배제.

II형 폭발은 주요 미해결 시나리오로 남아 있으며 현대 정칙성 프로그램의 초점입니다.

수학자들은 유체 해의 특정 측정값이 제어된 행동과 비제어 행동의 정확한 "경계"에 위치함을 식별했습니다. 이들을 임계 노름이라 부릅니다.

줄타기에 비유하면: 임계 노름이 유계로 유지됨을 보이면 해는 매끄럽습니다. 폭발하면 해가 붕괴합니다. 에너지(우리가 제어할 수 있는것)는 너무 약합니다 — 줄 아래에 있습니다. 아래에서 줄에 도달해야 합니다.

주요 임계 노름은 $L^3$(속도의 세제곱을 공간에 걸쳐 적분) 또는 관련 공간에서 속도를 측정하는 것입니다. 최근 연구는 이 임계적 양 중 어떤 것이든 유계로 남으면, 해가 매끄럽게 유지됨을 보였습니다.

노름 $\|\cdot\|_X$이 나비에-스토크스 스케일링 하에서 불변이면 임계적입니다: $\|u_\lambda\|_X = \|u\|_X$. 주요 임계 정칙성 기준:

• 에스카우리아자-세레긴-슈베라크 (2003): 폭발 근처에서 $u \in L^\infty_t L^3_x$ $\Rightarrow$ 정칙성
• 라디젠스카야-프로디-세린: $u \in L^p_t L^q_x$, $\frac{2}{p} + \frac{3}{q} = 1$, $q > 3$ $\Rightarrow$ 정칙성
• 비일-카토-마지다: $\int_0^{T^*} \|\omega(t)\|_{L^\infty} dt < \infty$ $\Rightarrow$ 정칙성

간극: 에너지 추정은 (소볼레프 매장을 통해) $u \in L^{10/3}_{t,x}$를 주지만, 임계 세린 조건은 $u \in L^5_{t,x}$를 요구합니다. 이 $10/3$에서 $5$로의 간극이 초임계성 문제의 핵심입니다.

폭발이 일어나면 에너지는 어디로 가는 것일까요? 집중되어야 합니다 — 점점 더 작은 공간 영역에 초점을 맞춥니다. 이 집중을 이해하는 것이 이를 배제하거나 구성하는 데 핵심입니다.

집중-컴팩트성의 도구는 잠재적 폭발점으로 확대했을 때 극한에서 무슨 일이 일어나는지 연구할 수 있게 합니다. 해가 산란되거나(무한으로 분산), 한 점에 집중되거나("최소 폭발 해" 형성), 공간적 무한으로 도주합니다.

현대적 접근법은 각 시나리오가 모순으로 이어짐을 보이려 합니다 — 정칙성만을 유일한 선택지로 남기면서.

집중-컴팩트성/프로필 분해 접근법(케니그-메를, 2006; 갈라거-코흐-플랑숑, 케니그-코흐 등에 의해 나비에-스토크스에 적응)은 다음과 같이 진행됩니다:

1. 임계 요소: 대역적 정칙성이 실패하면, "최소 폭발 해"가 존재합니다 — 여전히 폭발하는 가장 작은 임계 노름을 가진 해.
2. 컴팩트성: 이 최소 해는 컴팩트성 성질을 갖습니다: 대칭을 법으로 하여, 궤도 $\{u(\cdot, t)\}_{t \in [0,T^*)}$가 임계 공간에서 전컴팩트.
3. 강성: 컴팩트 궤도를 가진 모든 해가 영이거나(대역적으로 정칙)임을 보여, 폭발 가정에 모순.

이 프로그램은 에너지 임계 분산 방정식(NLS, NLW)에 대해 완성되었지만, 나비에-스토크스에 대해서는 보존된 임계 양의 부재와 압력 비국소성 때문에 심각한 장애물에 직면합니다.

이 기사는 연구 진전의 일부입니다.

수학자들은 이러한 부분 문제 각각을 공략하기 위한 강력한 도구를 개발해 왔습니다. 나비에-스토크스 정칙성에 대한 접근법에서 주요 공략 노선을 탐구하십시오.

이 부분 문제들을 어렵게 만드는 수학적 장애물은 왜 어려운가를 참고하십시오. 정확한 문제 서술은 밀레니엄 문제를 참고하십시오. 난류와 작은 스케일이 정칙성에 어떻게 연결되는지는 레이놀즈 수와 난류를 참고하십시오.

이 기사는 연구 진전의 일부입니다.

이 부분 문제들을 다루기 위해 개발된 분석적·기하학적 도구는 접근법을 참고하십시오. 스케일링과 초임계성 장애물은 왜 어려운가를 참고하십시오. 클레이 공식화는 밀레니엄 문제를 참고하십시오.