나비에-스토크스 방정식이란?

나비에-스토크스 방정식은 물, 공기, 혈액 등 점성 유체의 운동을 기술하는 편미분방정식 시스템입니다.

파이프 속 물, 비행기 날개 주위의 공기, 동맥 속 혈액, 그리고 수많은 다른 흐름을 기술하는 데 사용됩니다.

높은 수준에서 이 방정식은 다음과 같이 말합니다: 유체는 압력, 점성, 그리고 작용하는 외력에 의해 운동이 변합니다. 압력은 유체를 밀어내고, 점성은 운동의 급격한 차이를 매끄럽게 하며, 중력 같은 외력은 흐름을 구동할 수 있습니다.

이 방정식은 단순한 물리학 슬로건이 아닙니다. 유체역학, 공학, 수치 시뮬레이션의 대부분에서 사용되는 실제 작업 언어입니다.

나비에-스토크스 방정식은 점성 뉴턴 유체의 운동량 균형 방정식입니다. 비압축성 설정에서 속도장 $u(x,t)$와 압력 $p(x,t)$를 비선형 PDE 시스템을 통해 연결합니다.

엄밀히 말하면, 나비에-스토크스는 단일 방정식이 아니라 방정식의 시스템입니다. 운동량 보존과 점성 응력이 대칭 속도 구배에 비례한다는 구성 법칙을 모델링합니다. 비압축성은 체적이 국소적으로 보존된다는 제약 조건을 추가합니다.

클레이 밀레니엄 문제와 이 사이트의 대부분에서 관련된 설정은 3차원 비압축성 시스템입니다.

가장 단순한 일반적 형태로, 방정식은 다음과 같습니다:

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

$$\nabla \cdot u = 0$$

여기서:

• $u$는 유체의 속도입니다
• $p$는 압력입니다
• $\nu$는 점성입니다
• $f$는 중력 같은 외력입니다

왼쪽은 속도가 시간에 따라 어떻게 변하는지, 그리고 유체가 자신의 운동을 어떻게 수송하는지를 기술합니다. 오른쪽에는 흐름을 밀어내고 매끄럽게 하는 힘이 있습니다.

$\mathbb{R}^3$ 위의 비압축성 나비에-스토크스 시스템은 다음과 같습니다.

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

$$\nabla \cdot u = 0, \qquad u(x,0)=u_0(x).$$

각 항은 표준적 해석을 갖습니다:

• $\partial_t u$: 국소 시간 변화
• $(u \cdot \nabla)u$: 비선형 이류, 즉 유체가 자신의 속도를 수송함
• $-\nabla p$: 압력 힘
• $\nu \Delta u$: 점성 확산
• $f$: 외부 강제력
• $\nabla \cdot u = 0$: 비압축성 제약 조건

이것이 밀레니엄 문제, 난이도, 증명 전략에 관한 사이트 전반에서 사용되는 형태입니다.

이 방정식은 간단한 아이디어에서 출발합니다: 뉴턴의 제2법칙을 유체의 미소 입자에 적용하는 것입니다. 그 입자의 질량 곱하기 가속도는 작용하는 총 힘과 같아야 합니다.

점성 유체의 경우, 그 힘은 주로 압력과 내부 마찰에서 옵니다. 이 균형을 유체의 모든 점에서 정밀하게 쓰면, 나비에-스토크스 방정식을 얻게 됩니다.

따라서 이 방정식은 임의적인 것이 아닙니다. 힘 = 질량 × 가속도의 연속체 역학 버전입니다. 단계별 유도 과정 전체는 나비에-스토크스 방정식의 유도를 참고하십시오.

유도는 연속체에 대한 운동량 보존에서 시작됩니다. 물질 체적에 대해 선형 운동량의 균형을 쓴 다음, 이를 국소화하여 PDE를 얻습니다.

뉴턴 비압축성 유체의 경우, 코시 응력 텐서는 다음 형태를 갖습니다.

$$T = -pI + 2\mu D(u), \qquad D(u)=\frac{1}{2}(\nabla u + \nabla u^T),$$

여기서 $\mu$는 동적 점성입니다. 이 구성 법칙을 운동량 방정식에 대입하고 밀도로 나누면, 동점성계수 $\nu = \mu/\rho$를 가진 익숙한 비압축성 시스템을 얻습니다.

비압축성은 일정한 밀도에 대응하며, 발산 없는 조건 $\nabla \cdot u = 0$을 줍니다. 운동량 균형과 뉴턴 구성 법칙에서 출발한 전체 유도는 유도를 참고하십시오.

어려운 부분은 비선형 항 $(u \cdot \nabla)u$입니다. 유체는 외부 힘에만 반응하는 것이 아니라 자기 자신을 밀어냅니다. 이 되먹임이 난류와 혼돈적 운동을 가능하게 만드는 것입니다.

2차원 공간에서는 방정식이 훨씬 잘 제어됩니다. 3차원에서는 모든 매끄러운 초기 흐름이 영원히 매끄럽게 유지되는지 아직 모릅니다.

이것이 바로 이 방정식이 공학을 넘어 유명한 이유입니다: 이 방정식은 나비에-스토크스 밀레니엄 문제로 직접 이어집니다.

주된 분석적 난제는 자연 에너지 추정이 3차원 방정식의 스케일링보다 약하다는 것입니다. 대략적으로, 표준 $L^2$ 제어는 아주 작은 스케일의 집중을 배제할 만큼 강하지 않습니다.

이것이 대역적 약한 해에 대해 알려진 것과 대역적 매끄러움을 증명하기 위해 필요한 것 사이의 간극의 원인입니다. 비선형 이류 항은 전파시키고자 하는 정칙성에 대해 에너지 임계적입니다.

더 자세한 논의는 왜 어려운가와 접근법을 참고하십시오.

나비에-스토크스 방정식은 과학과 공학에서 매일 사용됩니다. 대표적인 응용 분야는 다음과 같습니다:

• 날개와 차량 주위의 기류
• 기상 및 기후 모델
• 해양 순환
• 산업 유체 수송
• 혈류 및 기타 생물학적 수송 문제

실제로 사람들은 이 방정식의 근사를 수치적으로 풀며, 추가적인 모델링 가정을 동반하는 경우가 많습니다. 이러한 실용적 성공이 남아있는 수학적 질문들을 더욱 인상적으로 만드는 이유 중 하나입니다.

응용 분야에서는 일반적으로 나비에-스토크스의 수치적 근사 또는 특정 체제에서의 관련 모델을 사용합니다: 비압축성 유동, 압축성 유동, 난류 폐합, 경계층 근사, 축소 모델 등.

직접 수치 시뮬레이션, 대와류 시뮬레이션, 레이놀즈 평균 폐합은 모두 동일한 연속체 PDE 프레임워크로 거슬러 올라가지만, 3차원에서의 근본적 정칙성 문제를 해소하지는 않습니다.

실용적 효과와 불완전한 이론 사이의 이러한 분리가 이 주제를 그토록 매력적으로 만드는 이유 중 하나입니다.

문제가 해결되었는지가 주된 관심이라면 나비에-스토크스 문제는 해결되었는가?에서 시작하십시오.

폭넓은 수학적 의의를 알고 싶다면 밀레니엄 문제로 이어가십시오.

나비에-스토크스가 비점성 오일러 방정식과 어떻게 다르고 점성이 왜 중요한지 이해하려면 오일러 vs. 나비에-스토크스를 읽으십시오.

난류와 작은 스케일 뒤의 물리적 직관을 원한다면 레이놀즈 수, 난류, 그리고 작은 스케일이 중요한 이유를 읽으십시오.

주요 장애물을 알고 싶다면 왜 어려운가로 가십시오.

이 사이트의 자연스러운 다음 단계:

• 나비에-스토크스 문제는 해결되었는가? — 현황 질문과 약한 존재성 대 대역적 매끄러운 이론의 구별
• 밀레니엄 문제 — 정확한 클레이 공식화
• 오일러 vs. 나비에-스토크스 — 점성의 역할과 비점성·점성 시스템 간의 주요 차이
• 비압축성 vs. 압축성 나비에-스토크스 — 일정 밀도와 가변 밀도 공식의 차이
• 레이놀즈 수, 난류, 그리고 작은 스케일이 중요한 이유 — 다중 스케일 유동 뒤의 체제 수준 직관
• 왜 어려운가 — 스케일링, 초임계성, 폭발 시나리오