나비에-스토크스 문제에 대한 접근법

가장 기본적인 접근법은 에너지를 사용합니다. 움직이는 유체는 운동 에너지를 가지고 있으며, 점성은 이를 소산시킵니다 — 마치 마찰이 물체를 느리게 하는 것처럼요. 총 에너지는 시간이 지남에 따라 감소할 수밖에 없습니다(외부 가진이 없다고 가정할 때).

이것이 1934년 르레(Leray)의 핵심 통찰이었습니다: 에너지 경계를 이용하여 어떤 종류의 해가 존재한다는 것을 증명하는 것입니다. 그의 방법은 인공적 평활화를 적용한 근사 해를 구성하고, 이들이 모두 에너지 경계를 만족함을 증명한 뒤, 극한을 취합니다.

한계는 다음과 같습니다: 에너지 경계는 매끄러움을 보장하기에 너무 조잡합니다. 유체가 유한한 총 에너지를 가진다는 것은 알 수 있지만, 속도가 모든 곳에서 유한하게 유지되는지는 보장하지 못합니다.

논문 링크: Leray, Sur le mouvement d'un liquide visqueux emplissant l'espace (1934); Hopf, Über die Anfangswertaufgabe für die hydrodynamischen Grundgleichungen (1951).

르레-호프 구성은 갈레르킨 근사 또는 몰리파이어를 통해 진행됩니다. 핵심 단계:

1. 근사: 유한 차원 부분공간에서 몰리파이된 시스템 $\partial_t u_\varepsilon + (J_\varepsilon u_\varepsilon \cdot \nabla) u_\varepsilon = \nu \Delta u_\varepsilon - \nabla p_\varepsilon$를 풉니다.
2. 에너지 경계: 선험적 추정 $\|u_\varepsilon(t)\|_{L^2}^2 + 2\nu \int_0^t \|\nabla u_\varepsilon\|_{L^2}^2 \leq \|u_0\|_{L^2}^2$이 $\varepsilon$에 대해 균등하게 성립합니다.
3. 콤팩트성: 오뱅-리옹 보조정리를 사용하여 $L^2_t \dot{H}^1_x$에서 약수렴 부분수열 $u_\varepsilon \rightharpoonup u$를 추출합니다.
4. 극한 이행: $u_\varepsilon$의 강한 $L^2_{\text{loc}}$ 수렴에 의해 비선형 항이 수렴합니다.

결과로 얻어지는 약한 해는 에너지 부등식(등식이 아닌 — 에너지가 비정칙적 시간에서 손실될 수 있음)을 만족합니다. 에너지 클래스 $L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$와 매끄러움 사이의 간극이 바로 정칙성 문제입니다.

논문 링크: Leray, Sur le mouvement d'un liquide visqueux emplissant l'espace (1934); Hopf, Über die Anfangswertaufgabe für die hydrodynamischen Grundgleichungen (1951).

카파렐리-콘-니렌버그(Caffarelli-Kohn-Nirenberg) 접근법(1982)은 완전한 매끄러움을 증명하려 하지 않습니다. 대신, 특이점이 얼마나 나쁠 수 있는지를 묻습니다.

답은 놀랍게도 온건합니다. 그들의 $\varepsilon$-정칙성 정리는 유체의 에너지가 작은 시공간 영역에서 충분히 작으면 그 해는 그곳에서 매끄럽다고 말합니다. 총 에너지가 유한하므로, 많은 특이점을 위한 "예산"이 충분하지 않습니다.

이것은 벽에 균열이 있을 수 있지만, 모든 균열의 총 길이를 합하면 0이라는 것을 증명하는 것과 같습니다 — 균열은 오직 고립된 점일 수밖에 없습니다.

논문 링크: Caffarelli-Kohn-Nirenberg, Partial regularity of suitable weak solutions of the Navier-Stokes equations (1982); Albritton-Barker-Prange, Epsilon regularity for the Navier-Stokes equations via weak-strong uniqueness.

CKN $\varepsilon$-정칙성 정리: $\varepsilon_{\text{CKN}} > 0$이 존재하여, $(u,p)$가 적합한 약한 해이고

$$\frac{1}{r} \int_{Q_r(z_0)} |\nabla u|^2 \, dx \, dt < \varepsilon_{\text{CKN}}$$

이면 $u$는 $z_0 = (x_0, t_0)$에서 정칙(횔더 연속)입니다. 여기서 $Q_r(z_0) = B_r(x_0) \times (t_0 - r^2, t_0)$는 포물선적 실린더입니다.

증명은 국소 에너지 부등식과 캄파나토형 반복을 결합합니다: 스케일 불변 에너지가 작으면, 부트스트랩 논법에 의해 $u$는 유계이고, 그 다음 횔더 연속이며, 고전적 샤우더 이론에 의해 매끄럽습니다.

차원 추정 $\mathcal{P}^1(\Sigma) = 0$은 비탈리 피복에 의해 따릅니다: 만약 $\Sigma$가 양의 $\mathcal{P}^1$ 측도를 가진다면, 무한히 많은 서로소인 포물선적 실린더가 각각 $\varepsilon_{\text{CKN}}$ 에너지를 가져야 하므로, 유한 총 에너지에 모순됩니다.

논문 링크: Caffarelli-Kohn-Nirenberg, Partial regularity of suitable weak solutions of the Navier-Stokes equations (1982); Albritton-Barker-Prange, Epsilon regularity for the Navier-Stokes equations via weak-strong uniqueness.

고전적 연속 기준은 빌, 카토, 마지다(Beale, Kato, Majda)가 3차원 오일러 방정식에 대해 처음 증명했고, 이후 여러 형태로 나비에-스토크스에 적용되었습니다. 이 기준은 와도 제어가 상실되어야만 폭발이 발생할 수 있다고 말합니다.

와도(vorticity)는 유체가 국소적으로 얼마나 회전하는지를 측정합니다. BKM형 기준의 핵심 메시지는: 적절한 노름에서 최대 회전을 제어할 수 있다면, 해는 매끄럽게 유지된다는 것입니다. 다른 위험한 양들도 함께 제어됩니다.

이것은 문제를 단일 양의 집합으로 환원했습니다. 불행히도 이것들을 제어하는 것이 원래 문제만큼이나 어렵다는 것이 밝혀졌습니다.

논문 링크: Beale-Kato-Majda, Remarks on the breakdown of smooth solutions for the 3-D Euler equations (1984); Kozono-Taniuchi, Bilinear estimates in BMO and the Navier-Stokes equations (2000).

원래의 빌-카토-마지다 정리(1984)는 3차원 오일러 방정식에 대한 것입니다. 나비에-스토크스에 대한 유사한 연속 기준은 $[0, T^*)$ 위의 매끄러운 해 $u$가 다음을 만족할 때 $T^*$를 넘어 확장됨을 의미합니다:

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

여기서 $\omega = \nabla \times u$는 와도입니다. 정밀화에는 다음이 포함됩니다:

• 코조노-타니우치 (2000): $\|\omega\|_{L^\infty}$를 $\|\omega\|_{\mathrm{BMO}}$로 대체할 수 있습니다.
• 베소프 공간 변형: 임계적 또는 경계적 베소프 제어도 연속 기준이 될 수 있습니다.
• 방향 제한 기준: 다 베이가(Da Veiga, 1995)는 $\nabla u$에 대한 특정 스케일 불변 경계만으로도 충분함을 보였습니다.

이 기준들은 와류관 신장 그림과 연결됩니다: 유한 시간 특이점은 와도가 위의 시간 적분이 유한하게 유지될 수 없을 만큼 빠르게 누적되어야 합니다.

논문 링크: Beale-Kato-Majda, Remarks on the breakdown of smooth solutions for the 3-D Euler equations (1984); Kozono-Taniuchi, Bilinear estimates in BMO and the Navier-Stokes equations (2000); Chemin-Planchon, Self-improving bounds for the Navier-Stokes equations (2012).

현대적 접근법은 스케일링 대칭이 허용하는 경계에 정확히 놓인 특수한 수학적 공간을 사용합니다. 이를 임계 공간이라 합니다.

핵심 아이디어: 해가 특정 임계 공간 경계 내에 머무는 것을 보일 수 있다면, 매끄러움이 자동으로 따릅니다. 여러 연구 그룹이 이를 확립하여 "정칙성 기준" 메뉴를 만들었습니다 — 검증되면 매끄러움을 보장하는 조건들입니다.

여전히 남은 도전은 우리가 증명할 수 있는 것(에너지에서 나오는 아임계적 경계)에서 필요한 것(임계적 경계)으로 가는 것입니다. 이 간극은 좁지만 모든 시도를 물리쳤습니다.

논문 링크: Kenig-Koch, An alternative approach to regularity for the Navier-Stokes equations in critical spaces; Gallagher-Koch-Planchon, A profile decomposition approach to the $L^\infty_t(L^3_x)$ Navier-Stokes regularity criterion.

임계 공간 정칙성의 주요 프로그램:

• 코흐-타타루 (2001): $\text{BMO}^{-1}$에서 소규모 초기 데이터에 대한 전역적 적정성. 이것은 쌍선형 추정 $\|\mathbb{P}\nabla \cdot (u \otimes v)\|_{\text{BMO}^{-1}} \lesssim \|u\|_{\text{BMO}^{-1}} \|v\|_{\text{BMO}^{-1}}$이 성립하는 가장 큰 임계 공간입니다. 이것은 섭동적 방법에 대해 본질적으로 최적입니다.
• 갈라거-코흐-플랑숑 (2013): $\dot{H}^{1/2}$에서 나비에-스토크스의 프로파일 분해. 유계 임계 노름을 가진 해의 수열은 점근적으로 분리된 프로파일로 분해되는 부분수열을 가집니다.

근본적 장애물: 나비에-스토크스 스케일링에 대해 임계적이면서 동시에 발전 방정식에 의해 제어되는 알려진 강압적 범함수가 없습니다.

논문 링크: Kenig-Koch, An alternative approach to regularity for the Navier-Stokes equations in critical spaces; Gallagher-Koch-Planchon, A profile decomposition approach to the $L^\infty_t(L^3_x)$ Navier-Stokes regularity criterion.

현대 PDE 이론은 조화 해석의 도구를 사용합니다 — 함수를 다양한 주파수의 파동으로 분해하는 수학(음악의 화음을 개별 음으로 분리하는 것과 같습니다).

유체 속도를 다양한 공간 스케일의 성분으로 분해하고 스케일 간 에너지 이동을 추적함으로써, 수학자들은 "에너지 캐스케이드"라는 모호한 직관을 정밀하게 만들 수 있습니다. 리틀우드-페일리 분해라 불리는 이 기법은 정칙성 기준과 폭발 속도에 관한 가장 날카로운 알려진 결과를 산출해 왔습니다.

논문 링크: Cannone-Meyer, Littlewood-Paley decomposition and Navier-Stokes equations (1995); Gallagher-Koch-Planchon, A profile decomposition approach to the $L^\infty_t(L^3_x)$ Navier-Stokes regularity criterion.

리틀우드-페일리 이론은 $u = \sum_j \Delta_j u$로 분해합니다. 여기서 $\Delta_j$는 주파수 $|\xi| \sim 2^j$에 국소화합니다. 나비에-스토크스에 대해:

비선형 항 $(u \cdot \nabla)u$의 파라곱 분해는 저-고, 고-저, 고-고 주파수 상호작용으로 분리됩니다:

$$(u \cdot \nabla)u = T_u \nabla u + T_{\nabla u} u + R(u, \nabla u)$$

여기서 $T$는 파라곱이고 $R$은 나머지입니다. 각 부분은 베소프 공간 $\dot{B}^s_{p,q}$에서 서로 다른 정칙성 성질을 가집니다.

이 도구를 사용한 핵심 결과:

• 슈맹-레르네 공간: $\widetilde{L}^\rho_T \dot{B}^s_{p,q}$는 임계적 적정성을 위한 자연스러운 틀을 제공합니다: 나비에-스토크스 쌍선형 형식은 $\widetilde{L}^\infty_T \dot{B}^{-1+3/p}_{p,q} \times \widetilde{L}^1_T \dot{B}^{1+3/p}_{p,q} \to \widetilde{L}^1_T \dot{B}^{-1+3/p}_{p,q}$를 만족합니다.
• 카논-메이예: 리틀우드-페일리 방법은 소규모 데이터 이론의 깔끔한 웨이블릿/베소프 공식을 제공합니다.

논문 링크: Cannone-Meyer, Littlewood-Paley decomposition and Navier-Stokes equations (1995); Gallagher-Koch-Planchon, A profile decomposition approach to the $L^\infty_t(L^3_x)$ Navier-Stokes regularity criterion.

덜 전통적이지만 점점 강력해지는 접근법은 유동의 기하학을 사용합니다. 수치(노름, 에너지)를 추적하는 대신, 이 방법들은 해의 형태를 연구합니다 — 와류관이 어떻게 구부러지는지, 강한 회전 영역이 공간에서 어떻게 배치되는지를.

핵심 통찰은 폭발이 단순히 무언가가 커지는 것이 아니라, 유체가 매우 특정한 기하학적 배치로 스스로를 조직화하는 것이라는 점입니다. 만약 그 배치가 불가능하다는 것을 보일 수 있다면(예를 들어 에너지 보존이나 비압축성과 모순을 이끌어낸다면), 폭발을 배제한 것입니다.

이 기하학적 관점은 순수한 해석적 정칙성 기준의 중요한 보완이 되었습니다.

논문 링크: Constantin, Geometric statistics in turbulence (1994); Albritton-Barker-Prange, Localized smoothing and concentration for the Navier-Stokes equations in the half space.

기하학적-위상수학적 접근법은 순수한 해석적 방법으로는 보이지 않는 구조적 제약을 활용합니다:

• 와류선 기하학: 콘스탄틴(Constantin, 1994)은 높은 와도 영역에서 와도 방향장 $\hat{\omega} = \omega/|\omega|$이 립시츠이면 해가 정칙임을 보였습니다. 폭발이 일어나려면 와도 방향이 크기와 동시에 특이점을 발전시켜야 합니다.
• 비양립성 논법: 폭발 배치가 기하학적으로 제약을 받는 경우(예: 에너지 및 소산 예산 내에 들어맞는 독립적인 집중 영역의 수에 대한 패킹 경계를 통해), 임계 노름을 직접 추정하지 않고도 모순을 도출할 수 있습니다.
• 경우 분류: 각 공간 영역을 유한 개의 시나리오 중 하나에 속하는 것으로 분류하고(예: 국소적 정칙, Type-I형, Type-II형, 밀집 패킹) 각 시나리오가 정칙성을 주거나 문제를 유계 세기 논법으로 이관하면, 폭발을 조합론적으로 배제할 수 있습니다.

이 사이트의 증명 페이지는 이러한 종류의 논법을 탐구하기 위한 것입니다; 밀레니엄 문제의 완성된 형식적 증명으로 제시되는 것은 아닙니다.

논문 링크: Constantin, Geometric statistics in turbulence (1994); Albritton-Barker-Prange, Localized smoothing and concentration for the Navier-Stokes equations in the half space.

최근의 놀라운 발전이 있었습니다: 르레의 방법(위의 제1절)으로 구성된 약한 해는 — 적어도 외부 가진이 허용될 때 — 유일하지 않다는 것입니다.

이 발견의 배경에 있는 도구는 볼록 적분(convex integration)입니다. 원래 기하학 문제를 위해 발명되었으며, 2009년경부터 드 릴리스와 셰켈리히디(De Lellis, Székelyhidi)에 의해 유체 방정식에 적용되었습니다. 핵심 아이디어는 방정식을 만족하지만 불규칙하게 행동하는 고주파 보정을 반복적으로 추가하여 "거친" 해를 구성하는 것입니다.

3차원 오일러 방정식(점성이 없는 나비에-스토크스)에 대해, 벅마스터와 비콜(Buckmaster, Vicol, 2019)은 약한 해가 유일하지 않음을 증명했습니다. 그런 다음 2022년에 앨브리튼, 브뤼에, 콜롬보(Albritton, Brué, Colombo)는 외부 가진이 있는 3차원 나비에-스토크스 방정식의 르레-호프 해도 유일하지 않음을 증명했습니다.

이것이 중요한 이유는 "약한 해가 존재한다" — 르레 이후 대표적 결과 — 는 것이 하나의 답을 결정하지 않는다는 것을 보여주기 때문입니다. 이는 질문을 날카롭게 합니다: 어떤 해가, 만약 있다면, 물리적으로 올바른 것인가?

논문 링크: De Lellis-Székelyhidi, Dissipative continuous Euler flows (2013); Buckmaster-Vicol, Nonuniqueness of weak solutions to the Navier-Stokes equation (2019); Albritton-Brué-Colombo, Non-uniqueness of Leray solutions of the forced Navier-Stokes equations (2022).

유체 방정식에 대한 볼록 적분은 드 릴리스-셰켈리히디 프로그램(2009–2013)에서 시작되었으며, 나시-카이퍼의 $C^1$ 등거리 매장 기법을 오일러 방정식의 에너지를 소산하는 약한 해 구성에 적용한 것입니다. 주요 단계:

• 드 릴리스-셰켈리히디 (2013): $\mathbb{T}^3$ 위에서 연속인 ($C^0$) 소산적 오일러 유동의 존재(후속 벅마스터-드 릴리스-이셋-셰켈리히디 2015 연구에서 $1/5$ 이하의 횔더 정칙성이 달성되었으며, 이후 이셋(Isett, 2018)이 $< 1/3$으로 개선하여 온사거 추측의 유연 측면을 해결).
• 벅마스터-비콜 (2019): $C_t L^2_x \cap C_t W^{1,1+}_x$ 클래스에서 3차원 나비에-스토크스 약한 해의 비유일성. 이 구성은 간헐적 벨트라미 유동을 기본 블록으로 사용하며, 각 반복 단계에서 레이놀즈 응력의 제어를 유지하면서 진동 보정을 추가합니다. 이것은 르레-호프 에너지 클래스보다 아래이므로, 르레의 유일성과 직접 모순되지는 않습니다.
• 앨브리튼-브뤼에-콜롬보 (2022): 가진된 3차원 나비에-스토크스 방정식의 르레-호프 해의 비유일성. 증명은 불안정한 자기유사 배경 해를 구성하고, 불안정성 메커니즘을 사용하여 동일한 초기 데이터에서 서로 다른 르레-호프 해로 분기합니다. 이것은 가진이 있을 때 에너지 부등식만으로는 유일한 해를 선택할 수 없음을 보여줍니다.

핵심적 미해결 문제는 비가진 나비에-스토크스 방정식에서 르레-호프 클래스의 비유일성이 지속되는지 여부입니다. 가진된 결과는 에너지 부등식이 충분한 선택 원리가 아님을 보여주지만, 비가진 방정식이 유일성을 회복하는 추가적 구조를 가지고 있는지는 해결하지 않습니다.

논문 링크: De Lellis-Székelyhidi, Dissipative continuous Euler flows (2013); Buckmaster-Vicol, Nonuniqueness of weak solutions to the Navier-Stokes equation (2019); Albritton-Brué-Colombo, Non-uniqueness of Leray solutions of the forced Navier-Stokes equations (2022).

특정 증명 전략을 배제할 수 있을까요? 테렌스 타오(Terence Tao, 2016)는 그렇다고 보였으며 — 그 결과는 엄숙합니다.

타오는 나비에-스토크스 방정식의 변형판 — "평균화된" 시스템 — 을 구성했습니다. 이 시스템은 실제 방정식의 많은 핵심 구조적 특성을 보존합니다: 에너지 항등식, 엔스트로피(와도 강도의 측도)가 성장하는 방식, 그리고 스케일링 대칭. 그러나 이 변형 시스템에서는 해가 유한 시간에 폭발합니다.

이것의 함의: 실제 나비에-스토크스 방정식에 대한 전역적 매끄러움의 증명은 평균화된 시스템에는 없는 참된 비선형성의 특정한 구조적 성질을 반드시 사용해야 합니다. 에너지 경계, 스케일링, 엔스트로피 성장만으로는 정칙성을 증명할 수 없습니다 — 이 도구들만으로는 폭발과 양립 가능합니다.

이것은 실제 방정식이 폭발한다는 것을 말하는 것이 아닙니다. 증명 전략의 전체 집합이 막다른 길이며, 최종 증명(정칙성이 성립한다면)은 일반적 에너지 논법보다 더 섬세해야 한다는 것을 말합니다.

논문 링크: Tao, Finite time blowup for an averaged three-dimensional Navier-Stokes equation (2016).

타오(2016)는 다음 형태의 시스템을 고려합니다.

$$\partial_t u + \tilde{B}(u, u) = \nu \Delta u - \nabla p, \quad \nabla \cdot u = 0,$$

여기서 $\tilde{B}$는 참된 나비에-스토크스 비선형 항 $(u \cdot \nabla)u$와 다음 의미에서 일치하는 쌍선형 연산자입니다:

• 1차 푸리에 곱셈자이며, 스케일링 $u(x,t) \mapsto \lambda u(\lambda x, \lambda^2 t)$을 보존합니다.
• 동일한 에너지 항등식을 만족합니다: $\langle \tilde{B}(u,u), u \rangle = 0$
• 엔스트로피 성장 구조를 재현합니다.

이 평균화된 시스템에 대해, 타오는 매끄러운 초기 데이터를 구성하여 그 해가 유한 시간에 폭발함을 보입니다. 폭발 메커니즘은 점점 더 작은 스케일에서 점점 더 강한 엔스트로피 집중의 수열을 프로그래밍하며, 각 단계에서 엔스트로피를 제어된 캐스케이드로 두 배로 만듭니다.

이것이 만드는 장벽: (a) 에너지 클래스에서 발전 방정식에 의해 제어되고 (b) 나비에-스토크스 스케일링에 대해 불변인 초임계적 양은 그 자체로 폭발을 배제할 수 없습니다. 왜냐하면 그것은 폭발하는 평균화된 시스템에서도 제어될 것이기 때문입니다. 정칙성 증명은 평균화된 연산자 $\tilde{B}$가 가지지 않는 오일러 비선형 항 $(u \cdot \nabla)u$의 특수한 대수적 상쇄 구조를 활용해야 합니다.

논문 링크: Tao, Finite time blowup for an averaged three-dimensional Navier-Stokes equation (2016).

이 글은 연구 진전의 일부입니다.

이 접근법들 — 르레의 1934년 존재성 증명에서 현대의 볼록 적분과 증명 장벽 결과까지 — 은 3차원 나비에-스토크스 문제의 전경을 형성합니다. 어느 것도 문제를 해결하지 못했습니다. 점성이 비점성 오일러 방정식에 비해 수학적 지형을 어떻게 형성하는지에 대한 맥락은 오일러 vs. 나비에-스토크스를 참고하십시오. 현재 상태는 나비에-스토크스 문제는 해결되었는가?를 참고하십시오. 정확한 형식적 명제는 밀레니엄 문제로 돌아가십시오.

이 글은 연구 진전의 일부입니다.

위의 접근법들은 2022년까지의 정칙성 및 유일성 문헌에서의 주요 엄밀한 흐름을 나타냅니다. 어떤 조합도 완전한 3차원 문제를 해결하지 못했습니다. 전경은 계속 진화하고 있으며 — 컴퓨터 보조 증명 방법은 이 사이트에서 별도로 다루는 활발한 연구 분야입니다.

점성 시스템과 비점성 시스템 사이의 근본적 비교 — 그리고 점성이 도움이 되지만 충분하지 않은 이유 — 에 대해서는 오일러 vs. 나비에-스토크스를 참고하십시오. 이 접근법들이 목표로 하는 하위 문제에 대해서는 하위 문제를 참고하십시오. 스케일링 장애물에 대해서는 왜 어려운가를 참고하십시오.