나비에-스토크스 문제가 어려운 이유

물리학에서 대부분의 방정식은 선형입니다 — 출력이 입력에 비례합니다. 원인을 두 배로 하면 효과도 두 배가 됩니다. 선형 방정식은 잘 이해되어 있고 (상대적으로) 풀기 쉽습니다.

나비에-스토크스 방정식은 비선형입니다. 유체의 속도가 자신의 변화율에 영향을 줍니다 — 유체가 자기 자신을 밀어냅니다. 이것은 모든 사람의 움직임이 다른 모든 사람의 행동에 따라 달라지는 군중의 행선지를 예측하려는 것과 같습니다.

이 자기 상호작용 항 $(u \cdot \nabla)u$가 방정식을 그토록 어렵게 만듭니다. 작은 교란이 큰 것으로 증폭될 수 있는 되먹임 루프를 만들며, 유체 난류가 그토록 복잡한 이유입니다 (더 자세한 내용은 부분 문제를 참고하십시오).

대류 비선형성 $(u \cdot \nabla)u$가 근본적 장애물입니다. 와도 공식 $\omega = \nabla \times u$에서 방정식은 다음이 됩니다.

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

와도 신장 항 $(\omega \cdot \nabla)u$는 부호가 없습니다 — 와도를 제한 없이 증폭시킬 수 있습니다. 2차원에서는 이 항이 사라집니다($\omega$가 흐름에 수직인 스칼라이므로), 이것이 2차원 대역적 정칙성이 알려진 이유입니다(라디젠스카야, 1969). 3차원에서 와도 신장은 유한 시간 폭발의 주요 후보 메커니즘입니다.

결정적으로, 비선형성은 $u$에 대해 이차입니다: $H^1$ 에너지 추정은 $\|\nabla u\|_{L^2}$를 주지만, $(u \cdot \nabla)u$를 $L^2$에서 제어하려면 $u \in L^\infty$ 또는 적어도 $u \in L^3$이 필요합니다 — 에너지 급수에서는 제공되지 않는 정보입니다.

핵심적 통찰이 있습니다: 나비에-스토크스 방정식은 스케일링 대칭을 가집니다. 해를 확대하면(적절한 양만큼 모든 것을 더 작고 빠르게 만들면), 또 다른 유효한 해를 얻습니다.

이것이 문제입니다. 우리가 제어할 수 있는 유일한 양 — 유체의 총 에너지 — 가 "잘못된 스케일"에 있기 때문입니다. 큰 그림에 대해서는 알려주지만, 폭발이 형성될 수 있는 아주 작은 스케일에서 무슨 일이 일어나는지에 대해서는 알려주지 않습니다.

하나의 불꽃을 감지하기 위해 도시 전체의 전력 사용량을 모니터링하는 것과 같습니다. 측정은 실재하고 유용하지만, 걱정되는 것을 잡아내기에 충분히 정밀하지 않습니다. 이것이 연구자들이 메워야 하는 간극입니다.

자연 스케일링 $u_\lambda(x,t) = \lambda u(\lambda x, \lambda^2 t)$ 하에서, 임계 소볼레프 공간은 $\dot{H}^{1/2}(\mathbb{R}^3)$ (동치로 $L^3$)입니다. 어떤 양이:

• 아임계적이면 노름이 재스케일링 하에서 줄어듭니다 — 대규모 행동을 포착하지만 소규모 집중을 놓침 — 예: $\|u\|_{L^2}$
• 임계적이면 스케일 불변 — 예: $\|u\|_{L^3}$, $\|u\|_{\dot{H}^{1/2}}$
• 초임계적이면 스케일링 하에서 줄어듭니다(작은 스케일을 선호)

에너지 부등식은 $u \in L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$의 제어를 줍니다. 두 성분 모두 아임계적입니다:

$$\|u_\lambda\|_{L^2} = \lambda^{-1/2} \|u\|_{L^2}, \quad \|u_\lambda\|_{L^2_t \dot{H}^1_x} = \lambda^{-1/2} \|u\|_{L^2_t \dot{H}^1_x}$$

이는 에너지 추정이 소규모 제어를 제공하지 않음을 의미합니다 — 비선형성이 원칙적으로 미세한 스케일에서 소산을 압도할 수 있습니다. 아임계 에너지 급수에서 임계 노름으로의 연결이 중심적 난제입니다.

강을 본 적 있는 사람이라면 유체 운동이 혼돈적 — 난류적이 될 수 있음을 압니다. 큰 소용돌이가 더 작은 것으로 쪼개지고, 그것이 더 작은 것으로 쪼개지며, 점성이 마침내 매끄럽게 할 수 있는 미시적 스케일까지 내려갑니다.

이 에너지 캐스케이드(1941년 콜모고로프가 기술)는 나비에-스토크스 방정식에 의해 아름답게 포착됩니다. 그러나 이것은 또한 위험을 암시합니다: 에너지가 점성이 소산할 수 있는 것보다 더 빠르게 점점 더 작은 영역에 집중된다면? 그것이 폭발입니다.

이것이 실제로 일어날 수 있는지 — 아니면 점성이 항상 결국 이기는지 — 가 정확히 미해결 문제입니다. 레이놀즈 수에서 이 작은 스케일 그림으로의 더 물리적인 연결은 레이놀즈 수, 난류, 그리고 작은 스케일이 중요한 이유를 참고하십시오.

콜모고로프의 K41 이론은 관성 영역 $k_f \ll k \ll k_\eta$에서 에너지 스펙트럼 $E(k) \sim \varepsilon^{2/3} k^{-5/3}$을 예측하며, 여기서 $k_\eta \sim (\varepsilon/\nu^3)^{1/4}$는 콜모고로프 소산 파수입니다. 에너지 플럭스는 이 영역에서 스케일에 걸쳐 일정합니다.

정칙성 문제는 이 캐스케이드가 퇴화할 수 있는지를 묻습니다: 소산 스케일 $k_\eta^{-1}$이 유한 시간 안에 영으로 줄어들 수 있는가? 이것은 총 에너지가 유한하게 유지되는 동안 $\|\nabla u\|_{L^2} \to \infty$ (소산율 폭발)를 필요로 합니다.

소산 이상 추측(온사거, 1949)은 점성 소멸 극한 $\nu \to 0$에서 에너지 소산이 지속됨을 시사합니다 — 오일러의 약한 해가 에너지를 소산할 수 있습니다. 이것은 $1/3$ 미만의 횔더 지수에 대해 확인되었지만(이세트, 2018; 벅마스터 외, 2018), 나비에-스토크스 정칙성과의 연결은 불분명합니다. 이 섹션의 체제 수준 직관은 레이놀즈 수, 난류, 그리고 작은 스케일이 중요한 이유를 참고하십시오.

나비에-스토크스 방정식에서 압력은 이상한 역할을 합니다. 독립 변수가 아닙니다 — 속도에 의해 완전히 결정됩니다. 이것은 제약 조건(유체가 비압축성, 즉 압축될 수 없음)을 통해서입니다.

이것은 압력을 비국소적으로 만듭니다: 한 점에서의 속도 변화가 즉시 모든 곳의 압력에 영향을 미칩니다. 마치 유체의 모든 부분이 보이지 않는 스프링으로 다른 모든 부분에 연결된 것과 같습니다.

이 비국소성은 방정식을 분석하기 훨씬 더 어렵게 만듭니다. 전체 유체를 한꺼번에 고려하지 않고는 한 점에서 무슨 일이 일어나는지 연구할 수 없습니다.

비압축성 제약 $\nabla \cdot u = 0$은 포아송 방정식을 통해 압력을 결정합니다.

$$-\Delta p = \nabla \cdot ((u \cdot \nabla)u) = \partial_i \partial_j (u_i u_j)$$

따라서 $p = (-\Delta)^{-1} \partial_i \partial_j (u_i u_j)$이며, 리스 변환 — 특이 적분 연산자 — 를 포함합니다. 압력은 속도의 비국소적 함수이며, 이 비국소성이 점별 또는 공간 국소 추정의 주요 장애물입니다.

특히, 표준 최대 원리 논법은 실패합니다: 점성 항 $\nu \Delta u$가 소산적이더라도, 압력 구배 $-\nabla p$는 먼 영역에서 에너지를 집중시킬 수 있습니다. 카파렐리-콘-니렌베르크 이론은 포물형 실린더 위의 국소 에너지 부등식으로 이를 처리하지만, 이로부터 점별 정칙성을 추출하는 것은 여전히 어려운 단계입니다.

2차원에서는 나비에-스토크스 문제가 해결되어 있습니다 — 매끄러운 해가 항상 모든 시간에 존재합니다. (라디젠스카야가 1969년에 이를 증명했습니다.)

그렇다면 3차원에서 무엇이 잘못되는 것일까요? 핵심적 차이는 와도 신장입니다. 2차원에서 와류는 회전하고 합쳐질 수 있지만 늘어나지는 않습니다. 3차원에서는 유체가 와류 관을 점점 더 가늘게 잡아당겨, 잠재적으로 모든 에너지를 무한히 얇은 필라멘트에 집중시킬 수 있습니다.

이 신장 과정이 유한 시간 안에 무한대로 폭주할 수 있는지 — 아니면 점성이 항상 개입하여 막는지 — 가 백만 달러짜리 질문입니다.

2차원과 3차원의 이분법은 명확합니다:

• 2차원: 와도 $\omega$는 $\partial_t \omega + u \cdot \nabla \omega = \nu \Delta \omega$를 만족하는 스칼라입니다. 최대 원리에 의해 $\|\omega(t)\|_{L^\infty} \leq \|\omega_0\|_{L^\infty}$이며, BKM으로부터 대역적 정칙성이 따릅니다. 와도 신장 항 $(\omega \cdot \nabla)u$는 항등적으로 영입니다.
• 3차원: 와도 $\omega \in \mathbb{R}^3$은 $\partial_t \omega + (u \cdot \nabla)\omega = (\omega \cdot \nabla)u + \nu \Delta \omega$를 만족합니다. 신장 항 $(\omega \cdot \nabla)u$는 $|\omega|$를 초선형적으로(비오-사바르를 통해 형식적으로 $\sim |\omega|^2$) 증폭시킬 수 있으며, 최대 원리는 사용할 수 없습니다.

엔스트로피 $\|\omega\|_{L^2}^2$는

$$\frac{d}{dt}\|\omega\|_{L^2}^2 \leq C\|\omega\|_{L^2}^2 \|\nabla u\|_{L^\infty} - 2\nu \|\nabla \omega\|_{L^2}^2$$

를 만족하지만, $\|\nabla u\|_{L^\infty}$를 제어하려면 $\omega \in L^\infty$가 필요하여 순환 의존성을 만들며, 어떤 기존 기법도 이를 깨지 못합니다.

이 기사는 미해결 문제의 일부입니다.

이러한 장애물은 수학자들로 하여금 문제를 부분 문제로 분해하고 각각에 대해 전문 접근법을 개발하게 했습니다.

점성 항이 돕지만 충분하지 않은 이유에 대해서는 오일러 vs. 나비에-스토크스를 참고하십시오.

이 기사는 미해결 문제의 일부입니다.

정칙성 문제의 다루기 가능한 구성 요소로의 분해는 부분 문제를 참고하십시오. 이 장애물을 해결하기 위해 개발된 분석 도구는 접근법을 참고하십시오. 점성 항이 돕지만 간극을 메우지 못하는 이유에 대해서는 오일러 vs. 나비에-스토크스를 참고하십시오.