오일러 vs. 나비에-스토크스: 무엇이 다른가?

오일러 방정식은 내부 마찰이 없는 — 점성이 없는 — 유체의 운동을 기술합니다. 나비에-스토크스 방정식은 점성이 있는 동일한 유체를 기술합니다.

수학적으로, 오일러 방정식과 나비에-스토크스 방정식의 차이는 하나의 항: $\nu \Delta u$, 즉 점성 확산 항입니다. 이를 제거하면 나비에-스토크스는 오일러가 됩니다. 이를 유지하면 방정식은 물리학과 해석 모두를 근본적으로 바꾸는 평활화 메커니즘을 얻습니다.

이 하나의 항이 연기가 소산되는 이유, 경계층이 표면을 따라 형성되는 이유, 그리고 나비에-스토크스 밀레니엄 문제가 대응하는 오일러 문제와 다른 성격을 갖는 이유입니다.

$\mathbb{R}^3$ 위의 비압축성 오일러 방정식은

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

입니다. 비압축성 나비에-스토크스 방정식은

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

이며, $\nu > 0$은 동점성계수입니다. 형식적으로, 나비에-스토크스에서 $\nu = 0$으로 놓으면 오일러를 복원합니다. 그러나 이 형식적 대입은 $\nu \to 0$ 극한이 특이적이라는 사실을 감추고 있습니다: 점성 항 $\nu \Delta u$는 시스템에서 최고차 공간 도함수이며, 이를 제거하면 PDE의 유형과 해가 존재하는 함수 공간이 바뀝니다.

다음은 비교를 명확하게 하기 위해 쓴 표준 비압축성 형태의 두 방정식입니다:

오일러:

$$\partial_t u + (u \cdot \nabla)u = -\nabla p$$

나비에-스토크스:

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

두 방정식 모두 왼쪽이 동일합니다: 속도의 시간 변화율에 비선형 자기 수송 항 $(u \cdot \nabla)u$을 더한 것입니다. 두 방정식 모두 $\nabla \cdot u = 0$을 통해 비압축성을 강제합니다. 유일한 구조적 차이는 나비에-스토크스 오른쪽의 점성 항 $\nu \Delta u$입니다.

매개변수 $\nu$는 동점성계수입니다 — 유체의 물리적 상수입니다. 꿀은 큰 $\nu$를 가집니다. 공기는 작은 $\nu$를 가집니다. 오일러 방정식은 $\nu = 0$에 대응합니다: 경계에서 벗어난 일부 높은 레이놀즈 수 유동을 근사할 수 있는, 완벽히 마찰 없는 이상화이지만, 일반 유체에서는 정확하게 실현되지 않습니다.

두 시스템 모두 쌍선형 형식 $(u \cdot \nabla)u$과 발산 없는 제약에 의해 암묵적으로 결정되는 압력을 공유합니다. 운동량 방정식의 발산을 취하고 $\nabla \cdot u = 0$을 사용하면 압력 포아송 방정식

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

을 얻으며, 이것은 두 시스템에서 동일합니다. 압력은 어느 경우에나 $u$의 비국소적 범함수입니다.

점성 항 $\nu \Delta u$는 각 속도 성분에 작용하는 2차 선형 타원 연산자입니다. 이는 포물선적 정칙화입니다: 이것의 존재가 나비에-스토크스를 반선형 포물선 시스템으로 만드는 반면, 비압축성 오일러는 비국소적 압력 결합을 가진 1차 비선형 수송 방정식입니다. PDE 유형의 이 차이가 정칙성 이론에서의 거의 모든 후속 차이를 이끕니다.

점성은 유체의 인접한 층 사이의 내부 마찰입니다. 빠르게 움직이는 층이 느리게 움직이는 층 옆에 있을 때, 점성은 둘 사이에 운동량을 전달하여 속도 차이를 매끄럽게 합니다.

이것은 나비에-스토크스를 오일러와 구분하는 세 가지 주요 물리적 결과를 낳습니다:

• 소산. 운동 에너지가 열로 변환됩니다. 커피 잔을 저은 다음 멈추면 — 커피는 결국 정지합니다. 오일러 방정식은 이를 예측할 수 없습니다. 이상화된 오일러 모델에서는 운동을 열로 소산시키는 점성 메커니즘이 없습니다.
• 경계층. 실제 유체는 표면에 달라붙습니다(미끄럼 없는 조건). 이것은 벽 근처에서 급격한 속도 변화의 얇은 층 — 경계층 — 을 만들며, 항공기의 항력, 파이프의 마찰, 그리고 고속에서의 난류를 발생시킵니다. 오일러 유동은 미끄럼 없는 조건 대신 미끄럼 조건을 만족하므로, 점성에 의한 벽면 항력과 실제 유체에서 관찰되는 경계층 물리학의 많은 부분을 놓칩니다.
• 소규모 평활화. 점성은 가장 날카로운 속도 구배를 억제합니다. 이것 없이는 유동이 무한히 미세한 구조를 발전시키는 것을 막을 수 없습니다. 이 평활화가 바로 나비에-스토크스의 정칙성 문제를 오일러의 경우와 다르게 만드는 것입니다.

$\mathbb{R}^3$(또는 주기적 영역) 위에서의 나비에-스토크스에 대한 에너지 항등식은

$$\frac{d}{dt}\frac{1}{2}\|u\|_{L^2}^2 = -\nu \|\nabla u\|_{L^2}^2$$

이므로, 운동 에너지는 단조 감소합니다. 오일러($\nu = 0$)에서는 $u$의 $L^2$ 노름이 형식적으로 보존됩니다.

경계 수준에서, 미끄럼 없는 조건($u|_{\partial \Omega} = 0$)을 가진 나비에-스토크스는 적정한 포물선 경계값 문제인 반면, 오일러는 불투과성 조건($u \cdot n = 0$)만 필요합니다. $\nu \to 0$에서의 이 경계 조건 불일치는 프란틀(Prandtl, 1904) 이래 연구된 특이 섭동 현상인 프란틀 경계층을 발생시킵니다.

물리적으로, 점성은 고주파 필터로 작용합니다: $\nu |k|^2$의 비율로 푸리에 모드를 감쇠시켜 소규모를 우선적으로 억제합니다. 이 스펙트럼 감쇠가 난류에서의 콜모고로프 소산 스케일 $\eta \sim (\nu^3 / \varepsilon)^{1/4}$의 메커니즘입니다. 전체 스케일링 그림에 대해서는 레이놀즈 수와 난류를 참고하십시오.

형식적으로는 그렇습니다. 나비에-스토크스 방정식에서 $\nu = 0$으로 놓으면 오일러 방정식을 얻습니다. 그러나 여기서 멈추면 오해를 불러일으킵니다.

$\nu \to 0$ 극한은 매끄러운 것이 아니라 특이적입니다. 점성이 방정식에서 최고차 도함수를 담당하기 때문입니다. 이를 제거하는 것은 작은 변화가 아니라 PDE의 근본적 성격을 바꿉니다. 경계층은 우아하게 얇아지지 않습니다; 난류가 될 수 있습니다. 나비에-스토크스에서 매끄러웠던 해가 오일러에서는 완전히 다른 행동을 보일 수 있습니다.

비유하자면: 역학 시스템에서 마찰을 제거하는 것은 단순히 물체가 더 잘 미끄러지게 하는 것이 아닙니다. 시스템을 질적으로 다르게 만들 수 있습니다 — 안정적이었던 궤도가 혼돈적이 되고, 마찰에 의해 강제되던 제약이 완전히 풀립니다. 여기서도 마찬가지입니다.

따라서 오일러와 나비에-스토크스가 수학적 DNA를 공유하지만, 점성이 0인 극한은 유체역학에서 가장 깊고 미묘한 문제 중 하나이며, 단순한 대입이 아닙니다.

비점성 극한 $\nu \to 0$은 특이 섭동입니다: $\nu \Delta u$는 시스템에서 최고차 공간 도함수를 가지므로, $\nu = 0$으로 놓으면 PDE의 차수가 낮아집니다. 경계를 가진 영역에서, 이 극한은 프란틀 경계층 전개의 타당성과 연결되어 있으며, 이것은 극적으로 실패할 수 있습니다(Grenier 2000, Gérard-Varet & Dormy 2010).

$\mathbb{R}^3$ 또는 $\mathbb{T}^3$(경계 없음)에서는 상황이 더 깔끔하지만 여전히 비자명합니다. 오일러 해 $u^E$가 $[0,T]$에서 매끄럽게 유지되면, 나비에-스토크스 해 $u^\nu$는 $\nu \to 0$에서 $L^2$로 $u^E$에 수렴합니다(Kato 1972). 그러나 오일러 해가 전역적으로 매끄럽게 유지되는지 — 매끄러운 데이터에 대해 유한 시간 폭발이 발생하는지 — 는 그 자체로 3차원에서 미해결입니다.

이 극한은 난류 이론과도 상호작용합니다. 콜모고로프의 그림은 소산 스케일을 정의하기 위해 $\nu > 0$을 필요로 하지만, 비정상 소산 — $\nu \to 0$에서의 에너지 소산의 지속 — 은 핵심 추측입니다. 온사거 추측(현재 정리: Isett 2018, Buckmaster-De Lellis-Székelyhidi-Vicol 2019에 의한 날카로움)은 오일러 해가 점성 없이 에너지를 소산할 수 있는 시기를 특성화합니다.

오일러 방정식은 유동에서 점성이 다른 힘에 비해 무시할 수 있을 때 사용됩니다. 이것은 생각보다 자주 발생합니다:

• 표면에서 벗어난 고속 공기역학. 날개 표면에서 멀리 떨어진 곳에서 기류는 거의 비점성적으로 행동합니다. 엔지니어들은 대부분의 유동에 오일러 풀이를 사용하고 벽 근처에서 경계층 모델을 추가합니다.
• 천체물리학적 유동. 성간 가스, 항성 내부, 강착 원반은 분자 점성이 무관할 만큼 거대한 규모에서 작동합니다(난류 유효 점성은 그렇지 않을 수 있지만).
• 압축성 기체 역학. 충격파, 폭발파, 초음속 유동은 흔히 압축성 오일러 방정식으로 모델링되며, 여기서 지배적인 물리학은 마찰이 아닌 압력과 관성입니다.
• 이론적 분석. 오일러는 나비에-스토크스를 향한 발판으로, 또는 그 자체로 흥미로운 PDE 시스템으로 연구됩니다 — 기하학, 와류 역학, 난류 구조와 깊은 연결을 가지고 있습니다.

그러나 마찰, 항력, 또는 경계 행동이 중요한 모든 것 — 파이프 유동, 표면 근처의 차량 공기역학, 혈류, 인간 스케일의 기상 — 에는 나비에-스토크스가 올바른 모델입니다.

오일러 방정식은 높은 레이놀즈 수 $\mathrm{Re} = UL/\nu \gg 1$에서의 선도적 차수 행동을 지배하며, 점성 효과는 얇은 경계층과 내부 전단층에 한정됩니다. 경계에서 벗어난 높은 레이놀즈 수 대부분의 유동에서, 오일러는 흔히 선도적 차수 근사를 주며, 점성 보정은 얇은 경계층이나 전단층에 집중됩니다.

압축성 오일러 방정식 — 유한 전파 속도를 가진 쌍곡형 시스템 — 은 충격 형성과 리만 문제를 포함한 기체 역학의 표준 모델입니다. 이것은 위에서 논의한 비압축성 오일러 방정식과 다릅니다: 압축성 오일러는 진정한 쌍곡형인 반면, 비압축성 오일러는 비국소적 압력 결합과 무한 전파 속도를 가집니다.

수학적 분석에서, 오일러는 소멸 점성 문제의 극한 대상으로, 그리고 고유한 정칙성 이론, 보존량(헬리시티, 미분동형사상 군 위의 오일러-아르놀드 체계를 통한 카시미르), 기하학적 역학과의 연결을 가진 풍부한 PDE 시스템으로 기능합니다.

정칙성 문제는 오일러-대-나비에-스토크스 간극이 가장 중요한 곳입니다.

나비에-스토크스 밀레니엄 문제는 묻습니다: 3차원에서 매끄럽고 잘 정의된 유동으로 시작하면, 나비에-스토크스 해는 모든 시간에 대해 매끄럽게 유지되는가? 아무도 모릅니다.

같은 질문이 오일러에 대해서도 3차원에서 미해결입니다. 그러나 두 문제는 근본적으로 다른 성격을 가집니다:

• 나비에-스토크스에는 점성이 유리하게 작용합니다 — 항상 매끄럽게 하고, 항상 에너지를 소산하며, 항상 가장 날카로운 구배를 억제합니다. 문제는 이 평활화가 비선형 항이 특이점을 만드는 것을 방지할 만큼 충분히 강한가입니다.
• 오일러에는 평활화가 전혀 없습니다. 비선형 항이 구배를 증폭시킬 수 있으며 이를 막는 것이 없습니다. 매끄러운 초기 데이터로부터 3차원 오일러가 유한 시간 특이점을 발전시키는지 여부는 미해결입니다.

2차원에서는 두 방정식 모두 매끄러운 초기 데이터에 대해 전역적으로 적정합니다. 2차원 이야기는 해결되었습니다. 미스터리가 사는 곳은 3차원이며, 두 방정식 모두에 대해, 서로 다른 방식으로입니다.

정칙성 지형:

2차원: 매끄러운 해의 전역적 존재성과 유일성은 두 시스템 모두에 대해 알려져 있습니다. 매끄러운 데이터를 가진 2차원 오일러에 대해, 볼리브너(Wolibner, 1933)는 횔더 공간에서 전역적 존재성을 증명했습니다; 유도비치(Yudovich, 1963)는 유계 와도 데이터에 대한 유일성을 확립했습니다. 2차원 나비에-스토크스에 대해, 전역적 정칙성은 라디젠스카야 부등식과 와도 최대 원리로부터 따릅니다.

3차원 나비에-스토크스: 르레(1934)는 $L^2$에서 약한 해의 전역적 존재성을 증명했지만, 유일성과 정칙성은 미해결입니다. 카파렐리-콘-니렌버그 정리(1982)는 특이 집합이 1차원 포물선적 하우스도르프 측도 0을 가짐을 보여줍니다 — 폭발이 일어나더라도 극히 희소합니다. 점성 항은 결정적인 선험적 추정 $\int_0^T \|\nabla u\|_{L^2}^2 \, dt \leq C(u_0)$를 제공하지만, 이 $H^1$ 제어는 3차원 스케일링에 대해 아임계적이며 부트스트랩 논법을 닫기에 불충분합니다. 초임계성 간극에 대해서는 왜 어려운가를 참고하십시오.

3차원 오일러: 매끄러운 데이터에 대한 전역 이론은 존재하지 않습니다. 소볼레프 공간 $H^s$, $s > 5/2$에서의 국소적 적정성은 고전적입니다(Kato 1972, Kato-Ponce 1988). 빌-카토-마지다 기준(1984)은 폭발 감지를 $\int_0^T \|\omega\|_{L^\infty} \, dt$로 환원합니다: 해가 $[0,T]$에서 매끄럽게 유지되는 것은 $\int_0^T \|\omega\|_{L^\infty} \, dt < \infty$인 것과 동치입니다. 폭발이 일어나려면 와도 상한이 시간 적분이 비가적분적이 될 만큼 빠르게 성장해야 합니다. 엘긴디(Elgindi, 2021, Annals of Mathematics)는 $C^{1,\alpha}$ 데이터에 대한 유한 시간 특이점 형성을 증명했습니다 — 돌파구이지만, 매끄러운 ($C^\infty$) 임계값 이하입니다. 3차원에서 매끄러운 오일러 해가 폭발하는지 여부는 여전히 미해결입니다.

난류는 오일러-대-나비에-스토크스 비교가 물리적으로 가장 생생해지는 곳입니다.

난류 유동에서, 에너지는 큰 스케일(파이프의 크기, 날개, 폭풍)에서 유입되어 점점 더 작은 와류로 캐스케이드됩니다. 이것이 에너지 캐스케이드입니다. 캐스케이드의 바닥에서, 점성이 최종적으로 운동 에너지를 열로 변환하여 과정을 멈춥니다.

오일러 방정식은 캐스케이드의 상부와 중간 — 대규모 및 관성 영역 역학 — 을 모델링할 수 있습니다. 그러나 점성이 작용하는 하부를 모델링할 수 없습니다. 점성 없이는 자연스러운 최소 스케일이 없으며, 에너지가 갈 곳이 없습니다.

이것이 난류 모델링이 거의 항상 오일러가 아닌 나비에-스토크스를 포함하는 이유입니다. 레이놀즈 수 $\mathrm{Re} = UL/\nu$는 캐스케이드의 폭을 제어합니다: 높은 $\mathrm{Re}$는 에너지 유입과 점성 소산 사이에 많은 10단위의 스케일이 있음을 의미합니다. 실제 난류는 비점성 캐스케이드와 점성 차단 사이의 상호작용 속에 삽니다.

콜모고로프의 1941년 이론은 관성 영역 — 대규모 가진도 점성 소산도 지배하지 않는 곳 — 에서 에너지 스펙트럼 $E(k) \sim \varepsilon^{2/3} k^{-5/3}$을 예측합니다. 소산 스케일 $\eta = (\nu^3/\varepsilon)^{1/4}$이 이 영역의 하한을 설정합니다.

오일러 방정식은 관성 영역이 모든 스케일로 확장되는 $\nu = 0$ 극한을 기술합니다. 이 극한에서 에너지 소산이 지속되는지 — 비정상 소산 — 의 문제가 온사거 추측입니다. 강성 측면($u \in C^{0,\alpha}$, $\alpha > 1/3$에 대해 소산 없음)은 콘스탄틴-E-티티(Constantin-E-Titi, 1994)에 의해 증명되었습니다. 유연 측면($C^{1/3}$ 이하에서의 소산적 오일러 해의 존재)은 드 릴리스-셰켈리히디의 볼록 적분 프로그램 위에서 이셋(Isett, 2018)에 의해 완성되었습니다.

나비에-스토크스에 대해, 캐스케이드 그림은 에너지 균형에 내장되어 있습니다: $\varepsilon = \nu \langle |\nabla u|^2 \rangle$. 핵심 미해결 문제는 나비에-스토크스 해가 이 통계 이론이 수학적으로 정당화될 만큼 오랫동안 매끄럽게 유지되는지 여부입니다. 존재성과 매끄러움 문제는 부분적으로, 점성의 소산 메커니즘이 모든 스케일에서 캐스케이드를 정칙화할 만큼 강한지를 묻는 것입니다.

오일러 방정식과 나비에-스토크스 방정식의 차이는 하나의 항: $\nu \Delta u$입니다. 그러나 그 항이 모든 것을 바꿉니다.

오일러는 단순화된 나비에-스토크스가 아닙니다. 대부분의 구조를 공유하지만 근본적으로 다른 시스템입니다. 비교에는 실용적 의미도 있습니다: 잘못된 모델을 선택하면 — 점성이 중요한 곳에서 오일러를, 또는 점성이 중요하지 않은 곳에서 나비에-스토크스를 — 쓸모 있는 시뮬레이션과 쓸모없는 시뮬레이션의 차이가 될 수 있습니다. 완전한 방정식은 나비에-스토크스 방정식이란?을 참고하십시오. 장애물에 대해서는 왜 어려운가를 참고하십시오. 상금에 대해서는 밀레니엄 문제를 참고하십시오. 비압축성 대 압축성 유동에 대해서는 비압축성 vs. 압축성 나비에-스토크스를 참고하십시오.

점성 항 $\nu \Delta u$는 1차 비선형 시스템(오일러)을 반선형 포물선 시스템(나비에-스토크스)으로 변환하는 포물선적 정칙화입니다. 이것은 에너지 소산, 고차 선험적 추정, 그리고 나비에-스토크스 이론의 많은 부분을 뒷받침하는 해석적 반군 구조를 제공합니다(Leray 1934, Fujita-Kato 1964).

그러나 이 정칙화는 3차원에서 전역적 정칙성 논법을 닫기에 충분하지 않습니다. 클레이 밀레니엄 문제는 정확히, 나비에-스토크스에서의 포물선적 평활화가 모든 스케일에서 모든 시간에 대해 비선형 에너지 전이를 제어할 수 있는지를 묻습니다. 오일러에 대한 병렬 문제 — 어떤 평활화도 없는 상태에서 매끄러운 데이터로부터 유한 시간 폭발이 발생하는지 — 도 동등하게 미해결이며 동등하게 근본적입니다.

두 문제 모두 유체의 수학적 이론의 핵심에 놓여 있습니다. 두 문제의 비교는 점성이 무엇을 사고 무엇을 사지 못하는지를 명확하게 하며, 어느 시스템에 대해서든 3차원 정칙성 문제가 해석학에서 가장 어려운 미해결 문제 중 하나인 이유를 밝힙니다.