나비에-스토크스 방정식의 약해, 강해, 매끄러운 해

상황을 정리해 봅시다. 밀레니엄 상은 나비에-스토크스 방정식이 항상 매끄러운 해를 가진다는 것을 증명하면 100만 달러를 수여합니다. 매끄럽다는 것은 무한히 미분 가능하고, 꺾임이 없고, 폭발이 없고, 예상치 못한 일이 없다는 뜻입니다. 그러나 거의 한 세기에 걸친 노력 끝에 누군가 증명할 수 있었던 최선의 존재 결과는 나비에-스토크스 방정식의 약해뿐입니다.

그렇다면 약해란 무엇일까요? 근사가 아닙니다. "거의 맞는 것"도 아닙니다. 약해는 방정식의 정확한 해이지만, 규칙이 완화된 것입니다. 속도장이 직접 미분할 수 있을 만큼 매끄러울 것을 요구하는 대신, 방정식에 시험 함수를 곱하고 적분한 다음, 부분 적분을 통해 모든 미분을 시험 함수로 옮깁니다. 그 결과가 모든 시험 함수에 대해 성립하면, 약해를 얻은 것입니다.

이렇게 생각해 보세요. 고전해는 시험의 모든 문제를 풀이 과정을 단계별로 보여주며 푸는 학생입니다. 약해는 중간 과정을 보여줄 수는 없지만, 당신이 던질 수 있는 어떤 질문에 대해서도 최종 답이 증명 가능하게 올바른 학생입니다. 미분하는 과정은 볼 수 없지만, 적분한 결과는 항상 맞습니다.

왜 이렇게까지 할까요? 때로는 방정식이 고전해에게는 너무 거칠기 때문입니다. 유체가 속도가 너무 급격하게 변하여 통상적인 의미의 미분이 존재하지 않는 영역을 만들 수 있습니다. 약해는 고전해가 포기하는 곳에서도 계속 나아갈 수 있게 해줍니다. 안전망인 셈입니다.

함정은 약해가 유일하지 않을 수 있다는 것입니다. 같은 초기 조건에서 여러 약해가 존재할 수 있습니다. 물리학은 유체가 하나의 특정한 행동을 해야 한다고 말하는데, 여러 개가 나오는 것은 문제입니다. 그리고 약해는 매끄럽지 않을 수 있습니다. 매끄러움이야말로 밀레니엄 상이 요구하는 것이고, 아무도 증명하지 못한 것입니다.

나비에-스토크스 방정식의 약해는 점별 PDE를 분포적 정식화로 대체한 것입니다. $\mathbb{R}^3 \times (0,T)$ 위의 비압축성 계를 고려합니다:

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

벡터장 $u \in L^2_{\mathrm{loc}}(\mathbb{R}^3 \times [0,T))$이 약해라 함은, 모든 매끄럽고 콤팩트 지지를 가지며 발산이 0인 시험 함수 $\varphi$에 대해 다음이 성립하는 것입니다:

$$\int_0^T \!\int_{\mathbb{R}^3} \bigl[-u \cdot \partial_t \varphi - (u \otimes u) : \nabla \varphi + \nu \, u \cdot \Delta \varphi \bigr] \, dx \, dt = \int_{\mathbb{R}^3} u_0 \cdot \varphi(x,0) \, dx.$$

$\varphi$가 발산이 0이므로 압력은 이 정식화에서 사라집니다. 부분 적분을 통해 모든 미분이 $u$에서 $\varphi$로 옮겨졌습니다. 핵심은: $u$가 고전적으로 미분 가능할 필요가 없다는 것입니다. 이 적분들이 수렴하기에 충분한 적분 가능성만 있으면 됩니다.

약한 정식화는 근사가 아닙니다. PDE를 점별로 만족하는 고전해도 모든 시험 함수에 대해 약한 정식화를 만족합니다(반대 방향으로 부분 적분하면 됨). 역은 성립하지 않습니다: 약해가 PDE를 점별로 만족할 만큼 매끄러울 필요는 없습니다.

이것이 중요한 이유: (1) $L^2$ 초기 데이터에 대해 약해는 전역적으로 존재하지만(Leray 1934), 고전해는 3D에서 시간에 대해 국소적으로만 존재가 알려져 있다; (2) 약해는 일반적으로 유일한지 알려져 있지 않다; (3) 약해가 항상 매끄러운지의 문제는 적절한 초기 데이터에 대한 클레이 밀레니엄 문제와 동치이다.

1934년, Jean Leray는 이 분야를 지금까지도 규정하는 업적을 이루었습니다. Acta Mathematica에 게재된 73페이지짜리 단 한 편의 논문 "Sur le mouvement d'un liquide visqueux emplissant l'espace"에서, 그는 3차원의 발산 없는 초기 데이터에 대해 나비에-스토크스 방정식의 약해가 모든 시간에 걸쳐 존재함을 증명했습니다. 이것은 3D 방정식에 대한 최초의 전역적 존재 결과였으며, 90년이 넘은 오늘날에도 가장 강력한 무조건적 존재 정리로 남아 있습니다.

그의 방법은 아름다울 정도로 구체적이었습니다. 비선형성을 몰리파이(부드럽게 근사)하여 방정식을 정칙화하고, 정칙화된 방정식을 풀고(최악의 비선형 상호작용이 억제되어 더 쉬움), 그런 다음 평활화 매개변수를 0으로 보내는 극한을 취하며, 콤팩트성 논법으로 극한이 존재하고 약한 정식화를 만족함을 보장합니다.

그러나 Leray가 증명하지 못한 것이 있습니다. 유일성입니다. 그의 방법은 최소한 하나의 약해를 생성하지만, 같은 초기 데이터에서 출발하는 다른 약해가 있을 수 있고, 그것을 배제하지 못했습니다. 매끄러움도 증명하지 못했습니다. 그의 해는 유한 에너지를 가지며 에너지 부등식을 만족합니다(에너지는 점성을 통해 소산될 수 있지만 자발적으로 증가할 수는 없음). 그것이 전부입니다. 그 이상은 없습니다.

Leray 자신은 특이점이 형성될 것이라고 생각했습니다. 그는 그 모습을 스케치했습니다: 유체가 특정한 스케일링 구조를 가지고 한 점을 향해 점점 더 빠르게 붕괴하며, 무한소 영역에 모든 에너지를 집중시키는 자기 유사적 폭발입니다. 1996년, Nečas, Růžička, Šverák은 이 정확한 자기 유사적 시나리오가 일어날 수 없음을 증명했습니다. 잠재적 폭발의 형태에 관한 Leray의 추측은 틀렸습니다. 폭발이 어떤 형태로든 실제로 일어나는지는? 아무도 모릅니다.

1951년, Eberhard Hopf는 Leray의 구성을 유계 영역으로 확장했고, 그 결과로 나온 클래스는 Leray-Hopf 약해로 알려지게 되었습니다: 에너지 부등식을 만족하는 약해입니다. 이것이 표준적 개념입니다. 연구자들이 추가 수식어 없이 "약해"라고 말할 때, 거의 항상 이것을 의미합니다.

한 가지 더. Leray-Hopf 약해 안에서도, 전역적 에너지 부등식뿐만 아니라 국소적 에너지 부등식을 만족하는 엄밀히 더 작은 클래스인 적합 약해(suitable weak solutions)가 있습니다. Caffarelli, Kohn, Nirenberg는 1982년의 유명한 부분적 정칙성 결과를 정확히 이 더 작은 클래스에 대해 증명했습니다. 두 가지를 혼동하지 마세요: CKN이 적용되는 것은 적합 약해이지, 모든 Leray-Hopf 해가 아닙니다.

Leray의 1934년 논문은 다음을 확립했습니다: 임의의 발산 없는 $u_0 \in L^2(\mathbb{R}^3)$에 대해, $\mathbb{R}^3 \times (0,\infty)$ 위의 나비에-스토크스 방정식의 약해 $u$가 적어도 하나 존재하며, 다음을 만족합니다:

• $u \in L^\infty(0,\infty; L^2(\mathbb{R}^3)) \cap L^2(0,\infty; \dot{H}^1(\mathbb{R}^3))$
• 에너지 부등식: 거의 모든 $t > 0$에 대해 $\|u(t)\|_{L^2}^2 + 2\nu \int_0^t \|\nabla u(s)\|_{L^2}^2 \, ds \leq \|u_0\|_{L^2}^2$

구성은 몰리피케이션으로 진행됩니다. 비선형성 $(u \cdot \nabla)u$를 $(u_\varepsilon \cdot \nabla)u$로 대체합니다($u_\varepsilon = J_\varepsilon * u$는 공간적 몰리피케이션). 정칙화된 계는 전역적으로 매끄러운 해를 가집니다(몰리피케이션이 최악의 비선형 상호작용을 제거하므로). Leray는 정칙화된 해에 대한 균일한 에너지 추정을 얻은 다음, 약수렴하는 부분열을 추출했습니다. 그 극한은 약한 정식화와 에너지 부등식을 만족합니다.

Leray는 유일성을 확립하지 못했습니다. 콤팩트성 논법은 적어도 하나의 집적점의 존재를 줍니다; 서로 다른 부분열이 서로 다른 극한으로 수렴할 수 있습니다. 3D에서 Leray-Hopf 약해의 유일성은 오늘날까지 미해결입니다.

Hopf (1951)는 Galerkin 근사(유한 차원 부분공간으로의 사영)를 사용하여, 디리클레 경계 조건을 가진 유계 영역 $\Omega \subset \mathbb{R}^3$에 구성을 적응시켰습니다. 결과 클래스—에너지 부등식을 만족하는 약해—는 두 이름을 모두 가집니다: Leray-Hopf 약해.

Caffarelli-Kohn-Nirenberg 정리(1982)는 엄밀히 더 작은 클래스에 관한 것입니다: 적합 약해는 다음 형태의 국소 에너지 부등식을 추가로 만족합니다

$$\partial_t \left(\frac{|u|^2}{2}\right) + \nabla \cdot \left(\left(\frac{|u|^2}{2} + p\right)u\right) + \nu |\nabla u|^2 \leq \nu \Delta \left(\frac{|u|^2}{2}\right)$$

분포의 의미에서 성립합니다. CKN은 임의의 적합 약해에 대해 시공간에서 특이점 집합의 1차원 포물형 Hausdorff 측도가 0임을 증명했습니다. 이는 특이점이 존재한다면 극히 희박하다는 의미입니다(시공간에서 곡선을 채울 수 없음). 그러나 이 정리는 특이점이 실제로 발생하는지에 대해서는 아무것도 말하지 않으며, 적합 약해에만 적용되고 모든 Leray-Hopf 해에는 적용되지 않습니다.

Leray 자신은 $u(x,t) = (T-t)^{-1/2} U(x / (T-t)^{1/2})$ 형태의 자기 유사적 폭발의 존재를 추측했습니다. Nečas, Růžička, Šverák (1996)은 $L^3(\mathbb{R}^3)$에 속하는 해에 대해 그러한 자기 유사적 폭발이 존재하지 않음을 증명했고, Tsai (2009)는 이를 점근적으로 자기 유사적인 폭발의 배제로 확장했습니다. 잠재적 특이점의 형태는, 만약 존재한다면, 여전히 미지입니다.

약해는 전역적으로 존재합니다. 그러나 유일하지 않을 수 있고, 매끄럽지 않을 수 있습니다. 더 나은 결과를 얻을 수 있을까요?

네, 하지만 국소적으로만 가능합니다. 나비에-스토크스 방정식의 강해는 PDE가 적분된 분포적 의미가 아닌 고전적(점별) 의미로 성립할 만큼 충분한 정칙성을 가진 해입니다. 3D의 매끄러운 초기 데이터에 대해, 강해는 짧은 시간 동안 존재합니다. 얼마나 짧은지는 데이터에 따릅니다: 초기 속도가 크고 거칠수록, 보장되는 존재 구간은 짧아집니다. 그리고 이 강해가 결국 폭발하지 않는다는 것을 아무도 증명하지 못했습니다.

아름다운 부분적 결과가 있습니다. 1962년, James Serrin은 Leray-Hopf 약해가 $L^p_t L^q_x$($2/p + 3/q \leq 1$, $q > 3$)에 속하면 자동으로 매끄럽다는 것을 증명했습니다. 그리고 약해-강해 유일성에 의해, 그 시간 구간에서 해당 초기 조건을 가진 유일한 Leray-Hopf 약해가 됩니다. 이것은 충분 조건이지 필요 조건은 아닙니다. Leray-Hopf 약해가 Serrin 조건을 만족하면, 그것을 "승격"시킬 수 있습니다: 처음부터 정칙이었으며, 같은 데이터를 가진 다른 Leray-Hopf 약해는 그것과 다를 수 없습니다. 조건을 만족하지 않으면, 아무것도 결론 내릴 수 없습니다.

Serrin 조건은 조건부 정칙성 결과입니다. 해가 너무 거칠지 않다면, 완벽하게 잘 행동한다고 알려줍니다. 모든 어려움은 "만약"을 증명하는 데 있습니다.

2차원에서는 에너지 추정이 충분히 강해서 모든 Leray-Hopf 약해가 자동으로 Serrin 유형의 조건을 만족합니다. 그것이 2D가 해결된 이유입니다. 3D에서는 에너지 추정이 필요한 것보다 반 미분만큼 부족하고, 그 간극을 메우는 것이 전부입니다.

다른 조건부 결과들도 존재합니다. 오일러 방정식에 대해 Beale-Kato-Majda 기준은, 와도가 시간에 대해 적분 가능한 한 매끄러운 해가 지속된다고 말합니다. 나비에-스토크스의 유사 결과가 존재하며 이를 정밀화합니다. Escauriaza-Seregin-Šverák 기준(2003)은 이를 끝점까지 밀어붙입니다: $u \in L^\infty_t L^3_x$이면 폭발이 없습니다. 이 각각은 전역적 정칙성 문제를 하나의 선험적 추정으로 변환합니다. 이 추정 중 어느 하나라도 무조건적으로 증명하면 밀레니엄 문제가 해결됩니다. 아무도 성공하지 못했습니다. 시도된 다양한 증명 전략에 대한 개관은 별도의 페이지가 있습니다.

나비에-스토크스 방정식의 강해란, PDE가 (거의 어디에서나) 점별로 성립하고 비선형항 $(u \cdot \nabla)u$가 단순한 분포가 아닌 함수로 정의될 수 있을 만큼의 정칙성을 가진 해입니다. 전형적으로 이는 $u \in L^\infty(0,T; H^1(\mathbb{R}^3)) \cap L^2(0,T; H^2(\mathbb{R}^3))$을 의미합니다. 관련되지만 구별되는 프레임워크로 Fujita-Kato (1964)가 있으며, 임계 공간에서 국소 mild 해를 구성합니다.

초기 데이터 $u_0 \in H^s(\mathbb{R}^3)$($s \geq 1/2$)에 대한 강해의 국소 존재는 mild 해 형태의 Fujita-Kato 부동점 논법으로부터 따릅니다:

$$u(t) = e^{\nu t \Delta} u_0 - \int_0^t e^{\nu(t-s)\Delta} \mathbb{P} \nabla \cdot (u \otimes u)(s) \, ds,$$

여기서 $\mathbb{P}$는 발산 없는 장으로의 Leray 사영입니다. 이 적분방정식은 적절한 함수 공간에서의 축소 사상 원리에 의해 유일한 국소 해를 가집니다. 임계 공간($L^3$, $\dot{H}^{1/2}$, $BMO^{-1}$)에서 작은 데이터에 대해서는 해가 전역적입니다.

문제는 큰 데이터의 강해가 모든 시간에 걸쳐 지속되는지 여부입니다. 핵심 조건부 결과는 Serrin (1962)의 것입니다: Leray-Hopf 약해가 $u \in L^p(0,T; L^q(\mathbb{R}^3))$을 만족하고

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

이면, $u$는 $(0,T] \times \mathbb{R}^3$ 위에서 매끄러우며, 주어진 초기 데이터를 가진 유일한 Leray-Hopf 약해입니다. 이를 Prodi-Serrin 조건이라 합니다(Prodi 1959가 관련 결과를 확립했음).

끝점 $q = 3$($p = \infty$)은 Escauriaza, Seregin, Šverák (2003)에 의해 해결되었습니다: $u \in L^\infty(0,T; L^3(\mathbb{R}^3))$이면, $u$는 시간 $T$에서 폭발하지 않습니다. 이것은 Leray-Hopf 프레임워크에서 알려진 가장 강력한 연속 기준입니다.

2차원에서는 에너지 유계 $u \in L^\infty_t L^2_x \cap L^2_t H^1_x$와 Ladyzhenskaya 부등식 $\|f\|_{L^4}^2 \leq C\|f\|_{L^2}\|\nabla f\|_{L^2}$(2D 고유)을 결합하면 $u \in L^4_t L^4_x$를 얻고, 이는 Serrin 조건 $2/4 + 2/4 = 1$(2D 버전 $2/p + 2/q \leq 1$)을 만족합니다. 3D에서는 에너지 유계가 소볼레프 매장에 의해 $u \in L^{10/3}_t L^{10/3}_x$를 주고, $2/(10/3) + 3/(10/3) = 3/2 > 1$이 됩니다. Serrin 조건은 초임계 간극에 정확히 대응하는 만큼 실패합니다. 이 구조적 장애에 대한 자세한 내용은 Why Navier-Stokes Is Hard를 참조하세요.

매끄러운 해는 최고의 기준입니다. 공간과 시간 모두에서 무한히 미분 가능하고, 특이점도 없고, 모서리도 없고, 불연속도 없습니다. 원하는 만큼 미분해도 항상 잘 정의된 답을 얻습니다.

클레이 밀레니엄 상 문제는 2000년에 Charles Fefferman이 정식화한 것으로, 정확한 질문을 던집니다: $\mathbb{R}^3$ 위에서 매끄럽고 발산이 없으며 적절한 감쇠를 가진 초기 데이터가 주어졌을 때, 나비에-스토크스 방정식은 항상 유계 에너지를 가지고 모든 시간에 존재하는 매끄러운 해를 가지는가? 아니면 해가 폭발하는 초기 데이터를 찾을 수 있는가?

어느 쪽 답이든 100만 달러의 가치가 있습니다. 전역적 매끄러움을 증명하거나, 폭발을 구성하거나. 둘 다 역사적인 성과입니다.

현재 상황은 이렇습니다. 3D에서 매끄러운 해가 항상 전역적으로 존재한다는 것을 아무도 증명하지 못했습니다. 폭발을 구성한 사람도 없습니다. 그 사이에서 막혀 있고, Leray의 1934년 논문 이래로 쭉 막혀 있습니다. 90년 넘게 답을 모르는 것입니다.

국소적 그림은 괜찮습니다. 매끄러운 초기 데이터에 대해, 방정식은 일정 시간 구간 동안 매끄러운 해를 만들어냅니다. 유체가 움직이기 시작하고, 수학은 작동하고, 모든 것이 깨끗합니다. 문제는 그 이후에 무슨 일이 일어나는가입니다. 해가 영원히 매끄러운 채로 남는가, 아니면 결국 속도(또는 그 도함수)가 무한대가 되는 특이점을 발생시키는가?

만약 매끄러운 채로 남는다면, 그 매끄러운 해는 자동으로 약해이기도 합니다(모든 고전해는 약한 정식화를 만족하므로). 또한 약해-강해 유일성 원리에 의해, Leray-Hopf 약해 중에서 자동으로 유일합니다: 강해가 존재하면, 다른 약해는 그것과 경쟁할 수 없습니다. 따라서 전역적 매끄러움을 증명하면 전체 위계가 붕괴됩니다. 약해, 강해, 매끄러운 해: 모두 같은 대상. 이것이 이 문제가 이토록 매력적이면서 이토록 어려운 이유입니다. 존재를 증명할 수 있는 것(약해)과 원하는 것(매끄러운 해)의 간극이 바로 문제의 내용 자체입니다.

클레이 밀레니엄 문제(Fefferman 2000)는 다음을 묻습니다: 모든 $\alpha, K$에 대해 $|\partial^\alpha u_0(x)| \leq C_{\alpha K}(1 + |x|)^{-K}$를 만족하는 임의의 발산 없는 $u_0 \in C^\infty(\mathbb{R}^3)$에 대해, 모든 $t \geq 0$에서 $\int_{\mathbb{R}^3} |u(x,t)|^2 \, dx < C$인 나비에-스토크스 방정식을 만족하는 $u \in C^\infty(\mathbb{R}^3 \times [0,\infty))$와 $p \in C^\infty(\mathbb{R}^3 \times [0,\infty))$가 존재하는가?

대안(역시 상의 가치가 있음): 위 클래스에 속하는 $u_0$로서 그러한 매끄러운 해가 존재하지 않는 것을 찾아라.

알려진 것:

• 국소 존재: $u_0 \in H^s(\mathbb{R}^3)$($s \geq 1/2$)에 대해, $\|u_0\|_{H^s}$에 의존하는 어떤 $T^* > 0$에서 $[0,T^*)$ 위에 유일한 국소 mild/강해가 존재하며, 모든 양의 시간 $t > 0$에서 매끄럽다. $T^* < \infty$이면 $t \to T^*$일 때 $\|u(t)\|_{H^s} \to \infty$이다.
• 작은 데이터의 전역적 존재: $\|u_0\|_{\dot{H}^{1/2}}$(또는 $\|u_0\|_{L^3}$, $\|u_0\|_{BMO^{-1}}$)가 보편 상수보다 작으면, 해는 전역적이고 매끄럽다(Fujita-Kato 1964, Koch-Tataru 2001).
• 약해-강해 유일성: $[0,T]$에서 강해가 존재하면, 같은 초기 데이터를 가진 모든 Leray-Hopf 약해는 $[0,T]$에서 그것과 일치한다. 이는 Serrin (1962)에 의해 확립되고 후속 연구에 의해 정밀화되었다. 정칙성을 증명하는 것이 Leray-Hopf 클래스 내 유일성도 해결함을 의미한다.

위계는 위쪽으로 붕괴합니다: 매끄러운 $\Rightarrow$ 강한 $\Rightarrow$ 약한, 그리고 약해-강해 유일성은 매끄러운 해가 존재하면 그것이 유일한 Leray-Hopf 약해임을 의미합니다. 따라서 밀레니엄 문제는 다음과 동치입니다: 매끄러운 초기 데이터를 가진 모든 Leray-Hopf 약해는 그 자체로 매끄러운가? "약해가 존재한다"(Leray 1934)와 "매끄러운 해가 존재한다"(미해결)의 간극이 바로 상의 질문입니다.

약해가 존재하고 유체를 기술한다면, 왜 매끄러움을 신경 써야 할까요?

세 가지 이유가 있습니다.

첫째, 유일성입니다. 물리학은 하나의 답을 요구합니다. 유체의 초기 상태를 주면, 다음에 무슨 일이 일어나는지 정확하게, 엄밀하게, 모호함 없이 말할 수 있어야 하며, 가능성의 메뉴를 내밀고 어깨를 으쓱해서는 안 됩니다. 약해는 유일성을 보장하지 않습니다. 같은 출발점에서 여러 약해가 나올 수 있고, 물리적 유체가 어느 것을 따를지 알 수 없습니다. 유일성이 깨지면, 방정식은 그 수준의 정칙성에서 결정론적 예측력을 잃습니다.

둘째, 수치 계산의 신뢰성입니다. 지구상의 모든 CFD 시뮬레이션은 이 방정식을 근사적으로 풀고 있습니다. 일반적인 매끄러움과 유일성 이론이 없으면, 격자 세분화가 모든 3D 설정에서 단일의 물리적으로 적절한 해로 수렴한다는 것을 보장하는 정리가 없습니다. 한 기계에서는 하나의 약해로 수렴하고 다른 기계에서는 다른 약해로 수렴할 수 있습니다.

셋째, 극단적 물리입니다. 특이점이 형성될 수 있다면, 그것은 실제 유체가 가장 작은 스케일에서 무엇을 하는지에 대해 무언가를 알려줍니다: 우리의 방정식이 무한한 속도나 무한한 압력 기울기를 예측하는 것은, 연속체 모델 자체가 무너진다는 신호입니다.

이것은 기술적 세부 사항이 아닙니다. 모든 것을 관통하는 단층선입니다. 한쪽에는: 존재(Leray, 1934년, 완료). 다른 쪽에는: 정칙성(미해결, 100만 달러, 그리고 살아있는 모든 해석학자의 집단적 좌절). 왜 건너는 것이 이토록 어려운가? 3D 에너지 추정이 필요한 것에서 정확히 반 미분만큼 부족하고, 90년의 노력과 수백 편의 논문, 전체 경력을 바쳐도 그 간극은 메워지지 않았기 때문입니다.

현재 추구되고 있는 모든 증명 전략은 이 분수령을 넘으려는 시도입니다. 약해가 매끄럽다는 것을 증명하거나, 그렇지 않다는 것을 증명하거나. 두 단어 혹은 세 단어. 어느 쪽 답이든 교과서를 다시 씁니다.

3D 비압축 나비에-스토크스 방정식의 해의 위계는 다음과 같습니다:

$$\text{매끄러운} \subset \text{강한} \subset \text{Leray-Hopf 약한} \subset \text{분포적 약한}$$

각 수준에서 알려진 것:

밀레니엄 문제는 전역적 Leray-Hopf 약해 존재와 전역적 매끄러운 정칙성 사이의 간극에 위치합니다. 핵심 난점: 에너지 부등식은 $u \in L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$을 주며, 이는 임계 스케일링 $\dot{H}^{1/2}$보다 반 미분 낮습니다. 이 초임계 간극을 메우는 것은 전역적 정칙성을 증명하는 것과 동치입니다.

약해-강해 유일성은 매끄러운 해가 전역적으로 존재하면 위계가 붕괴됨을 함의합니다. 더 정확히: 주어진 $u_0 \in C^\infty$에 대해 $[0,T]$에서 매끄러운 해 $u$가 존재하면, 같은 데이터를 가진 모든 Leray-Hopf 약해는 $[0,T]$에서 $u$와 같습니다. 따라서 전역적 매끄러움 $\Rightarrow$ Leray-Hopf 클래스 내의 전역적 유일성.

역으로, Leray-Hopf 약해의 비유일성은 매끄러운 해가 전역적으로 지속되지 않음을 함의합니다(매끄러운 해는 유일성을 강제하므로). 볼록 적분에 관한 최근 연구(오일러에 대한 De Lellis-Székelyhidi에 기반하여, Buckmaster-Vicol 2019가 Leray-Hopf 정칙성 이하의 나비에-스토크스의 비유일 약해를 구성하도록 확장)는 분포적 약해가 고도로 비유일할 수 있음을 보여줍니다. 이 비유일성이 Leray-Hopf 클래스로 확장되는지 여부는 밀레니엄 문제에 직접적인 함의를 가진 주요 미해결 문제입니다.

이 간극에 도전하는 증명 전략의 현황, 그리고 이것이 그토록 완강한 구조적 이유에 대해서는 Why Navier-Stokes Is Hard를 참조하세요.