Navier-Stokes 방정식의 약해, 강해, 매끄러운 해: 정칙성의 간극

외력이 없는 3차원 나비에–스토크스의 전역 정칙성은 여전히 미해결입니다. 발표된 외력 있는 구성은 이 질문을 해결하지 않습니다. 아래 기술적 설명의 열린 정칙성·유일성 질문은 다른 설정을 명시하지 않는 한 외력이 없는 계를 가리킵니다.

전역 약해의 존재와 전역 매끄러운 해의 존재는 서로 다른 결과입니다. 르레의 정리는 유한 에너지 데이터에 약해를 제공하지만, 외력 없는 3차원 매끄러운 데이터의 전역 정칙성은 미해결입니다. 클레이는 외력 없는 존재성과 허용 외력이 있는 붕괴를 모두 선택지로 둡니다. 관련 설명: 밀레니엄 상

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

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

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

분포적 약해는 외력이 없어도 유일하지 않을 수 있습니다. Buckmaster–Vicol은 Leray–Hopf 클래스 밖에서 유한 에너지 비유일성 예를 구성했습니다. $L^2$ 데이터에 대한 르레의 전역 존재 정리는 에너지 부등식도 만족하는 더 좁은 Leray–Hopf 클래스의 해를 제공합니다. 외력 없는 3차원 매끄러운 데이터의 유일성과 정칙성 문제는 이 클래스 안에서 열려 있으며, 모든 분포적 약해에 대한 동치가 아닙니다. 관련 설명: 밀레니엄 상

2026년 9월: OpenAI가 매끄러운 외력이 있는 3차원 폭발(클레이 C/D)을 발표했습니다. 클레이는 해결된 것으로 보인다고 밝혔습니다. 평가와 수상은 별개입니다. 날짜가 명시된 현황과 자료.

외력이 없는 3차원 나비에–스토크스의 전역 정칙성은 여전히 미해결입니다. 발표된 외력 있는 구성은 이 질문을 해결하지 않습니다. 아래 기술적 설명의 열린 정칙성·유일성 질문은 다른 설정을 명시하지 않는 한 외력이 없는 계를 가리킵니다.

나비에-스토크스 방정식의 약해는 점별 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를 점별로 만족할 만큼 매끄러울 필요는 없습니다.

분포적 약해는 외력이 없어도 유일하지 않을 수 있습니다. Buckmaster–Vicol은 Leray–Hopf 클래스 밖에서 유한 에너지 비유일성 예를 구성했습니다. $L^2$ 데이터에 대한 르레의 전역 존재 정리는 에너지 부등식도 만족하는 더 좁은 Leray–Hopf 클래스의 해를 제공합니다. 외력 없는 3차원 매끄러운 데이터의 유일성과 정칙성 문제는 이 클래스 안에서 열려 있으며, 모든 분포적 약해에 대한 동치가 아닙니다. 관련 설명: 클레이 밀레니엄 문제

2026년 9월: OpenAI가 매끄러운 외력이 있는 3차원 폭발(클레이 C/D)을 발표했습니다. 클레이는 해결된 것으로 보인다고 밝혔습니다. 평가와 수상은 별개입니다. 날짜가 명시된 현황과 자료.

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)$에 대해, 나비에-스토크스 방정식의 약해 $u$가 $\mathbb{R}^3 \times (0,\infty)$ 위에 적어도 하나 존재하며, 다음을 만족합니다:

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

구성은 몰리피케이션으로 진행됩니다. 비선형성 $(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)는 이를 점근적으로 자기 유사적인 폭발의 배제로 확장했습니다. 잠재적 특이점의 형태는, 만약 존재한다면, 여전히 미지입니다.

전역 약해는 존재합니다. 외력 없는 3차원 Leray–Hopf 클래스의 매끄러움과 유일성은 여전히 중요한 질문입니다.

네, 하지만 일시적으로만 가능합니다. 강해는 한 단계 업그레이드된 해입니다: 방정식이 단지 "평균적으로"가 아니라 거의 모든 점에서 성립할 만큼 충분한 정칙성을 가집니다. 매끄러운 해, 즉 고전해는 방정식이 점마다 성립하는 해입니다. 3D의 매끄러운 초기 데이터에 대해, 강해는 짧은 시간 동안 존재합니다. 얼마나 짧을까요? 그것은 초기 흐름이 얼마나 거친가에 달려 있습니다. 잔잔하고 온화한 흐름은 더 긴 보장을 받습니다. 격렬하고 난류적인 초기 조건이라면? 마이크로초 수준입니다.

그리고 이 강해가 결국 폭발하지 않는다는 것을 아무도 증명하지 못했습니다.

Serrin의 조건부 정칙성 기준은 Leray–Hopf 약해에 적용되며, 해당 적분가능성 조건이 매끄러움을 줍니다. 약해–강해 유일성은 같은 초기 데이터를 가진 모든 Leray–Hopf 해가 강해의 존재 구간에서 그 강해와 일치한다는 뜻입니다. 모든 분포적 약해 사이의 유일성을 뜻하지는 않습니다.

이것은 조건부 결과입니다. 만약 해가 너무 거칠지 않다면, 완벽하게 잘 행동합니다. 모든 어려움은 그 "만약"을 증명하는 데 있습니다.

외력 없는 2차원 계에서 매끄러운 데이터를 가진 Leray–Hopf 해는 전역적으로 매끄럽고 유일합니다. 3차원에서는 에너지 유계만으로 같은 제어를 얻지 못합니다. 관련 설명: 2차원

연구자들은 다른 조건부 시험들도 찾아냈으며, 각각은 서로 다른 공격 각도입니다: "해에 관한 이 특정한 한 가지를 증명하면, 매끄러움을 공짜로 주겠다." 이 중 어느 하나라도 무조건적으로 증명하면 외력 없는 전역 정칙성 문제가 해결됩니다. 아무도 성공하지 못했습니다. 사람들이 시도해 온 다양한 증명 전략의 개관은 별도의 페이지에 있습니다.

나비에-스토크스 방정식의 강해란, 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 해를 구성합니다.

충분히 정칙한 소볼레프 초기 데이터에 대한 강해의 국소 존재는 잘 확립되어 있습니다. 임계 공간에서는 Fujita-Kato (1964) 프레임워크가 다음 부동점 논법으로 국소 mild 해를 구성합니다:

$$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$에서 폭발하지 않습니다. 이것은 Prodi-Serrin 척도의 끝점이며, 알려진 가장 날카로운 연속 기준 중 하나입니다.

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 조건은 초임계 간극에 정확히 대응하는 만큼 실패합니다. 이 구조적 장애에 대한 자세한 내용은 나비에–스토크스 방정식이 어려운 이유를 참조하세요.

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

외력 없는 존재성 선택지 A/B는 모든 허용되는 매끄러운 초기 속도가 전공간 또는 주기적 설정에서 전역 매끄러운 해를 만드는지 묻습니다. 이는 클레이 서술의 일부일 뿐입니다. C/D의 붕괴 구성에는 허용되는 매끄러운 외력도 가능합니다. 관련 설명: 클레이 밀레니엄 상 문제

외력 없는 3차원 나비에–스토크스에서는 모든 허용 매끄러운 데이터에 대한 전역 정칙성도, 그러한 데이터의 폭발 예도 확립되지 않았습니다. 발표된 외력 있는 C/D 구성은 이 남은 질문에 답하지 않습니다.

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

매끄러운 해 $\Rightarrow$ 강해 $\Rightarrow$ 약해이지만, 유일성의 범위는 제한됩니다. 매끄러운 해는 존재하는 동안 같은 데이터를 가진 유일한 Leray–Hopf 약해입니다. 전역 정칙성은 이 클래스 안에서 해들을 일치시키겠지만, 모든 분포적 약해를 일치시키는 것은 아닙니다. 이는 외력 없는 정칙성 질문이지, 클레이 문제 전체나 또 다른 상금의 보장이 아닙니다.

클레이는 네 선택지 전부가 아니라 하나의 증명을 요구합니다: (A) R³에서 외력 없는 전역 매끄러운 해의 존재, (B) 주기적 토러스 T³에서 외력 없는 전역 매끄러운 해의 존재, (C) 허용되는 매끄러운 외력을 포함할 수 있는 R³에서의 붕괴, (D) 허용되는 매끄러운 외력을 포함할 수 있는 주기적 붕괴. A/B는 모든 허용 초기 데이터를 대상으로 하며 C/D는 허용 반례를 요구합니다. 외력이 있는 붕괴는 A/B를 반박하지 않습니다.

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

외력 없는 붕괴를 구성하려면 위 클래스의 $u_0$ 중 $f=0$일 때 그러한 에너지 유계 전역 매끄러운 해가 존재하지 않는 것을 찾아야 합니다. 이는 여전히 연구 방향이며, 클레이의 선택지 B를 뜻하지 않습니다.

알려진 것:

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

매끄러운 해 $\Rightarrow$ 강해 $\Rightarrow$ 약해이지만, 유일성의 범위는 제한됩니다. 매끄러운 해는 존재하는 동안 같은 데이터를 가진 유일한 Leray–Hopf 약해입니다. 전역 정칙성은 이 클래스 안에서 해들을 일치시키겠지만, 모든 분포적 약해를 일치시키는 것은 아닙니다. 이는 외력 없는 정칙성 질문이지, 클레이 문제 전체나 또 다른 상금의 보장이 아닙니다. 관련 설명: 외력 없는 전역 정칙성 문제

클레이는 네 선택지 전부가 아니라 하나의 증명을 요구합니다: (A) R³에서 외력 없는 전역 매끄러운 해의 존재, (B) 주기적 토러스 T³에서 외력 없는 전역 매끄러운 해의 존재, (C) 허용되는 매끄러운 외력을 포함할 수 있는 R³에서의 붕괴, (D) 허용되는 매끄러운 외력을 포함할 수 있는 주기적 붕괴. A/B는 모든 허용 초기 데이터를 대상으로 하며 C/D는 허용 반례를 요구합니다. 외력이 있는 붕괴는 A/B를 반박하지 않습니다.

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

세 가지 이유가 있습니다.

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

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

셋째, 모형의 한계. 특이점은 이상화된 연속체 모형에서 전역 매끄러운 해가 성립하지 않는다는 뜻입니다. 실제 유동이 그 영역에 도달하는지, 어떤 추가 물리가 중요한지는 별개의 질문입니다. 수학적 붕괴만으로 새로운 물리의 실증적 증거가 되지는 않습니다.

전역 Leray–Hopf 존재성과 전역 매끄러움의 간극은 외력 없는 3차원 계의 중요한 질문으로 남습니다. 클레이는 외력 있는 붕괴도 허용하며, 수상 평가는 이러한 연구 질문과 별개입니다. 관련 설명: 왜 건너는 것이 이토록 어려운가?

관련 설명: 증명 전략

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

$$\text{smooth} \subset \text{strong} \subset \text{Leray-Hopf weak} \subset \text{distributional weak}$$

각 수준에서 알려진 것:

전역 Leray–Hopf 존재성과 전역 매끄러움의 간극은 외력 없는 3차원 계의 중요한 질문으로 남습니다. 클레이는 외력 있는 붕괴도 허용하며, 수상 평가는 이러한 연구 질문과 별개입니다. 핵심 난점: 에너지 부등식은 $u \in L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$을 주며, 이는 임계 스케일링 $\dot{H}^{1/2}$보다 반 미분 낮습니다. 이 초임계 간극을 메우는 것은 전역적 정칙성을 증명하는 것과 동치입니다.

약해–강해 유일성은 Leray–Hopf 클래스 안에서 해들을 일치시키며, 모든 분포적 약해를 일치시키는 것은 아닙니다. 더 정확히: 주어진 $u_0 \in C^\infty$에 대해 매끄러운 해 $u$가 $[0,T]$에서 존재하면, 같은 데이터를 가진 모든 Leray-Hopf 약해는 $u$와 $[0,T]$에서 일치합니다. 따라서 전역적 매끄러움 $\Rightarrow$ Leray-Hopf 클래스 내의 전역적 유일성.

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

이 간극에 도전하는 증명 전략의 현황, 그리고 이것이 그토록 완강한 구조적 이유에 대해서는 나비에–스토크스 방정식이 어려운 이유를 참조하세요.