부피입자(Volume-Particle, VP)로부터의 유체역학
\noindent\DERIVE\ (D1) 연속체 보존(수지) 법칙. VP 미시/메조 상태 $\{(\xv_i(t),\vv_i(t),m_i)\}_{i=1}^N$와 평활화 커널 $W_\ell$이 주어졌다고 하자. 다음과 같은 조대화(coarse-grained) 연속장들을 정의한다: \[ \rho(\xv,t),\quad \uv(\xv,t),\quad e(\xv,t), \] 그리고 (최소한의 정칙성 가정 하에) 다음의 정확한 항등식을 유도한다: \begin{align} \partial_t \rho + \nabla\!\cdot(\rho\uv) &= 0, \\…
\begin{center} 본 문서(VP Volume III: Fluid Dynamics): DOI \FDDOI.
동반 참고(VP 마스터 백서): DOI \VPDOI. \end{center}
\noindent상태. 본 문서는 독립형(standalone) 유체역학 백서이다. 기호는 VP 마스터 문서와 호환되게 유지하지만, 독자가 VP 온톨로지 전체를 따라갈 필요는 없다.
\vspace{0.5em} \noindent본 문서가 마무리하려는 것. VP 원시량(유한-부피 ``입자'', 재밍/언재밍 사건(event), 그리고 사건-빈도 기반 유동성 지수 $\phi$)에서 출발하여, 연속체 보존(수지) 법칙과 뉴턴형(나비에--스토크스) 닫힘을 유도하고, 추가로 비점성 한계에서도 0이 되지 않을 수 있는 사건-소산(event-dissipation) 확장을 제안한다.
F. 요약(Executive Summary)
F.1 목표 진술(Target statement)
\noindent\DERIVE\ (D1) 연속체 보존(수지) 법칙. VP 미시/메조 상태 $\{(\xv_i(t),\vv_i(t),m_i)\}_{i=1}^N$와 평활화 커널 $W_\ell$이 주어졌다고 하자. 다음과 같은 조대화(coarse-grained) 연속장들을 정의한다:
그리고 (최소한의 정칙성 가정 하에) 다음의 정확한 항등식을 유도한다:
여기서 유일하게 비자명한 대상은 응력 $\sigma=-p\Id+\tau$이며, 이는 Irving--Kirkwood(어빙--커크우드) 유형 공식으로 정확히 정의된다(부록~A).
\vspace{0.25em} \noindent\DERIVE\ (D2) 뉴턴형(나비에--스토크스) 닫힘(Newtonian closure). VP 응력이 변형에 대해 국소 등방 선형 응답을 보인다고(닫힘 가정) 하면,
이며 \eqref{eq:conti}--\eqref{eq:mom_conservative}는 압축성 나비에--스토크스 방정식이 된다. 비압축 한계($\rho=\rho_0$, $\nabla\!\cdot\uv=0$)에서는
로 환원된다.
\vspace{0.25em} \noindent\DERIVE\ (D3) 사건-소산 확장과 비점성 한계. VP에는 재밍/언재밍(또는 병합(merger) 유사) 사건들이 포함되며, 각 사건에서 방출되는 에너지가 정의되어 있다. 우리는 사건 방출 에너지를 모으는 내부 저장고 $H_{\rm int}$를 도입하고, 이 저장고의(분포적일 수 있는) 증가율을 사건 소산률로 정의한다:
(여기서 $|\Omega|$는 영역 부피이며, 공간 평균을 사용하면 기준 시뮬레이션과 단위가 일치한다.) 시간창 $W=[t_0,t_1]$에서의 분해된(해상된) 유동 에너지 수지는 다음 형태를 갖는다:
그리고 $\nu\to 0$이면서도 $\langle \varepsilon_{\rm events}\rangle_W\to\varepsilon_*>0$가 가능한 시나리오 (온자거(Onsager)형 이상 소산 채널)를 허용한다.
F.2 무엇이 \LOCK\ 이고 무엇이 \GATE\ 로 남는가
- \LOCK\ (L1) VP 원시량과 단위. VP 격자 스케일 $a$, 기준 속도 $c_{\rm ref}$, 그리고 측정/시간창 규약은 잠김(LOCK)으로 취급한다. 본 문서가 사용하는 최소 입력은 (i) 질량 $m_i$의 정의, (ii) 유한-부피 국소화, (iii) 사건 기록(시각, 참여자, 방출 에너지)이다.
- \LOCK\ (L2) 유동성 $\phi$. VP 마스터 정의 $\phi=\frac{N_{\rm unjam}}{N_{\rm total}}\in[0,1]$를, 선언된 관측 시간창에서 그대로 사용한다.
- \GATE\ (G1) 뉴턴형 레짐. 닫힘 \eqref{eq:newtonian_stress}는 자동으로 성립하지 않는다. 선언된 레짐에서 (i) 응력--변형률률(stress--strain-rate) 선형성, (ii) (시간창 평균 후) 유효 등방성, (iii) 작은 맥스웰 시간/데보라 수(Maxwell time / Deborah number; $\tau_M$와 $\mathrm{De}\ll 1$)를 측정으로 검증해야 한다.
- \GATE\ (G2) 사건 이상(anomaly). \eqref{eq:budget_window}에서 $\nu\to 0$이면서 $\varepsilon_{\rm events}\to\varepsilon_*>0$라는 주장은 반증 가능한(falsifiable) 진술이며, 파라미터 스캔과 예산(budget) 닫힘 검정이 필요하다.
F.3 v0.2.0 개정 노트(EOS + 열 매핑 + 사전 스케일링 모듈)
\noindentDOI/메타데이터. 본 독립 문서는 DOI \FDDOI (Zenodo)에 보관되어 있다. 동반 VP 마스터 백서는 DOI \VPDOI에 유지된다. 본 권(volume)에서 DOI는 VP의 유체역학 규격(specification) 레이어에 대한 안정적 인용 핸들로 취급된다.
\medskip \noindentv0.2.0에서 바뀐 점. 보존 법칙 유도(연속 방정식 + Irving--Kirkwood 운동량 수지)는 변경되지 않았다. 이번 버전은 문서를 이론적 브리지에서 예측 가능한 규격(predictive specification)으로 만들기 위해 필요한 세 가지 ``완전 닫힘(full closure)'' 모듈을 추가한다:
- EOS/압력 모듈(2.3절). Irving--Kirkwood 응력의 등방 성분을 비리얼(virial) 압력 추정기와 연결하고, 준-비압축 압축성 NS 닫힘을 위해 강체 유체(stiff-fluid) Tait--Murnaghan EOS를 \LOCK\ 한다. 또한 공학적 설계와 수치 안정성에 필요한 음속 제약을 포함한다.
- 미시--거시 열 매핑(3.1.2절). 특이 속도(peculiar velocity)로부터 운동론적 온도를 정의하고, 이산 VP 혼합/교환 단계가 연속 한계에서 푸리에 열전도로 수렴함을 보임으로써 열전도도 $\kappa>0$를 열역학적으로 허용되는 형태로 제공한다.
- 사전(a priori) 파라미터 스케일링(4.4.2절). VP 미시 파라미터 $(m,a,k_{\rm spr})$ 및 사건 통계(맥스웰 시간/언재밍율)를 거시 수송계수 $(\nu,\kappa)$와 연결하는 자릿수(오더) 스케일링 법칙을 제시한다. 이 공식들은 대규모 시뮬레이션 전에 목표 레이놀즈 수와 프란틀 수를 겨냥하기 위한 설계 노브(design knobs)로 의도된다.
\medskip \noindent유지된 공학적 엔드포인트. 뉴턴형 닫힘을 위한 Chapman--Enskog / 이완시간 스켈레톤(2.1절), 67\,nm 브리지 스케일 논의, frozen-VP 벽 프로토콜(2.5절), 그리고 사건-소산/결함 측정(defect measure) 사전(3--5절 및 부록~C/H)은 유지된다.
F.4 증명-상태 맵(정확 vs.\ 조건부 vs.\ 게이트)
범주 오류를 피하기 위해 VP$\to$유체 브리지의 각 연결고리의 논리적 상태를 요약한다. Irving--Kirkwood 응력을 채택하면 조대화된 보존 법칙은 정확한 항등식이다. 반면, 뉴턴형 나비에--스토크스 닫힘은 조건부 함의이다: 관련 레짐이 선언되고 Gate 스위트를 통과한 후에, 표현 정리와 마르코프 선형 응답으로부터 따라온다.
0. VP 마스터 백서와의 인터페이스 계약(Interface contract)
0.1 기호 호환성과 ``사용 금지'' 기호
\noindent호환성 제약. VP 마스터 문서는 $\mathcal{J}$를 제트/이방성 지수로 사용한다. 따라서 본 문서에서는 (i) 전류 밀도, (ii) 포아송 연산자, (iii) 메트릭 연산자에 $\mathcal{J}$를 사용하지 않는다. 대신 다음을 채택한다:
0.2 본 문서에서 사용하는 최소 VP 입력
- $i=1,\dots,N$으로 지표화된 VP 캐리어 집합: 위치 $\xv_i(t)$, 속도 $\vv_i(t)$, 질량 $m_i$.
- 내부 힘 $\Fv_i^{\rm int}$와 체적력(단위 질량당) $m_i\mathbf f$로 쓸 수 있는 상호작용 모델.
- 사건 로그(event log): 사건 $n=1,\dots,N_{\rm total}(W)$, 분류 $\chi_{\rm ST}\in\{0,1\}$, 그리고 방출 에너지 $\Delta E_n\ge 0$ (사건 유형에 의존).
- 시간창 $W$에서의 유동성:
0.3 시간창/평균 규약(프로토콜-잠김)
VP의 많은 양(유동성 $\phi$, 사건율, 이상 예산)은 설계상 시간창(windowed) 양이다. 모호성을 피하기 위해 다음 규약을 \LOCK\ 한다.
\medskip \noindent\LOCK\ 공간 평균. $\Omega$를 (대개 주기적) 공간 영역, $|\Omega|$를 그 부피라 하자. 적분 가능 스칼라장 $g(\xv,t)$에 대해 공간 평균을
로 정의한다.
\medskip \noindent\LOCK\ 시간창 평균. 길이 $|W|:=t_1-t_0$인 시간창 $W=[t_0,t_1]$에 대해, 스칼라 신호 $a(t)$의 시간 평균을
로 정의한다. 둘 다 필요하면 시공간 평균을
로 쓴다.
\begin{remark}[총량 예산 vs 평균 예산] 어떤 전역 수지식도 (총량) 적분형 또는 (단위 부피당) 평균형으로 쓸 수 있으며, 둘은 상수 인자 $|\Omega|$만큼만 다르다. 5--6절 및 제공된 기준 시뮬레이션에서는 $|\Omega|$를 매번 들고 다니지 않기 위해 소산률을 공간 평균으로 보고한다. \end{remark}
\begin{remark}[정상 창(해상 유동 에너지 관점)] 해상된 유동 에너지 $H_{\rm flow}(t)$에 대해 시간창 $W=[t_0,t_1]$가 ``정상(steady)''이라는 뜻은, 창 동안의 $H_{\rm flow}$ 순변화(드리프트)가 주입 파워에 비해 작다는 뜻이다:
운영적으로는 6.3절의 예산 잔차(budget-residual) 게이트로 강제한다. \end{remark}
\begin{remark}[왜 여기서 VP를 다시 전개하지 않는가] VP 마스터 문서(DOI \VPDOI)에는 전체 온톨로지, LOCK 규율, Gate 논리가 포함된다. 본 백서는 유체역학 ``투영(projection)'' 문서로서, 표준 유체역학자도 읽을 수 있도록 구성하되 기호 호환성을 유지하는 것을 목표로 한다. \end{remark}
1. VP 상태에서 연속장으로(From VP states to continuum fields)
1.1 조대화(coarse graining)와 장(field) 정의
폭(스케일) $\ell>0$을 갖는 매끄럽고 음이 아닌 커널 $W_\ell:\mathbb R^3\to\mathbb R$를 고정하자. 다음이 성립한다고 가정한다:
여기서 $W$는 콤팩트 지지(compact support)를 갖거나 빠르게 감쇠하는 템플릿이다.
\begin{remark}[연속체 ``VP 유체''를 위한 두 가지 스케일 요구조건] 본 절의 항등식들은 임의의 $\ell>0$에 대해 정확하다. 그러나 $(\rho,\uv,\sigma)$를 국소 닫힘을 갖는 연속장으로 해석하려면, (i) VP 격자/힘-사슬 네트워크의 미시 상관 스케일과 (ii) 거시 유동 스케일 사이의 분리가 필요하다. 우리는 메조 ``브리지 스케일''을 $D^\ast$(2.5절)로, 응력 이완(맥스웰) 시간을 $\tau_M$(2.1절)로 표기한다.
뉴턴형 나비에--스토크스 창(window)은 보통 다음이 만족될 때 기대된다:
동치로 $\mathrm{Kn}_{\rm VP}=D^\ast/L\ll 1$ 및 $\mathrm{De}=\tau_M/T_{\rm flow}\ll 1$이다. 이 부등식들이 깨지면(예: 재밍 임계성 근처에서 $D^\ast$가 커지는 경우), 조대화된 보존 법칙은 여전히 유효하지만 닫힘은 비국소 및/또는 비뉴턴형이어야 한다.
\medskip \noindentVP 언어에서 ``Navier--Stokes''를 읽는 법. 선언된 뉴턴형 창에서 구성 방정식은 항등식이 아니라 작은 매개변수 전개로 이해해야 한다:
여기서 $\mathcal R$은 (i) 공간 비국소성/기울기 보정(유한 $D^\ast$), (ii) 기억 효과(유한 $\tau_M$), (iii) 비선형 응답을 모은 나머지항이다. Gate 스위트(6절)의 목적은 의도한 레짐에서 $\mathcal R$을 경험적으로 제한하는 것이다. \end{remark}
\begin{remark}[유한 상관 길이로부터의 정량적 국소성] 조건 $D^\ast\ll \ell_{\rm cg}$는 흔히 정성적으로만 말해진다. 이를 정량화하는 최소 해석은 표준적인 ``상관 부피/평균 부피'' 추정이다.
$\sigma^{\rm micro}(\xv,t)$를 미시(IK) 응력장이라 하고, 조대화 응력을 $\sigma_\ell := W_\ell * \sigma^{\rm micro}$로 정의하자. 국소 평균으로부터의 응력 요동이 $|\rv|\gg D^\ast$에서 빠르게 감쇠한다(유한 상관 길이)고 가정하면, 커널 평균의 분산은 다음과 같은 혼합(mixing) 경계식을 만족한다:
따라서 전형적 요동 진폭은 $(D^\ast/\ell)^{3/2}$로 스케일한다. 특히 $\ell_{\rm cg}$를 $D^\ast$보다 몇 자릿수(적어도 한 자릿수) 크게 잡으면, 미시 이방성/비균질성이 \eqref{eq:closure_remainder_scaling}의 나머지항 $\mathcal R$로 억제된다.
\medskip \noindent해석. 식 \eqref{eq:locality_variance_bound} 자체를 VP의 정리로 주장하는 것이 아니다. 이는 국소 뉴턴형 닫힘이 성립하려면 데이터에서 무엇이 경험적으로 참이어야 하는지(빠른 탈상관)를 정확히 표현하는 방식이다. 재밍 임계성 근처에서 $D^\ast$가 성장하면 이 경계는 국소성 붕괴 및 비국소/비뉴턴형 거동의 발현을 예측한다. \end{remark}
\begin{proposition}[조건부 국소성 수렴($D^\ast/\ell_{\rm cg}\to 0$이면 응력 요동이 사라짐)] \eqref{eq:locality_variance_bound} 뒤에 있는 혼합/공분산 가정이 성립하여 어떤 상수 $C$에 대해 $\mathrm{Var}(\sigma_\ell(\xv,t))\le C(D^\ast/\ell)^3$라고 하자 ($C$는 $\ell$에 무관). $\bar\sigma_\ell(\xv,t):=\mathbb E[\sigma_\ell(\xv,t)]$를 대응하는 국소 평균이라 하자. 그러면 임의의 허용오차 $\delta>0$에 대해
특히 $\ell=\ell_{\rm cg}\to 0$이면서 $D^\ast/\ell_{\rm cg}\to 0$인 어떤 연속체 한계에서는, 조대화 응력이 확률 수렴으로 국소 평균에 수렴하며, 미시 요동은 RMS 크기가 $(D^\ast/\ell_{\rm cg})^{3/2}$로 스케일하는 나머지항으로만 들어간다. \end{proposition}
\noindent\DERIVE\ 조대화된 질량 밀도와 운동량 밀도를 다음과 같이 정의한다:
$\rho$가 0인 곳에서는 $\uv$를 미정의로 두거나 약한(weak) 정식화를 사용할 수 있다.
1.2 연속 방정식(정확한 항등식)
\begin{lemma}[조대화된 연속 방정식]\label{lem:continuity} $\xv_i(t)$가 $t$에 대해 미분 가능하다고 하자. 그러면 \eqref{eq:rho_def}--\eqref{eq:j_def}로 정의된 $\rho,\mathbf j$는 다음의 정확한 항등식을 만족한다:
이는 ( $\rho>0$인 곳에서 ) $\partial_t\rho+\nabla\!\cdot(\rho\uv)=0$과 동치이다. \end{lemma}
\begin{proof} \eqref{eq:rho_def}를 미분하고 $\dot \xv_i=\vv_i$를 사용하면
를 얻는다. \end{proof}
1.3 운동량 수지와 VP 응력
다음 형태의 VP 병진 동역학을 가정한다:
여기서 $\mathbf f$는 단위 질량당 체적력, $\Fv_i^{\rm int}$는 총 내부 힘이다.
\begin{proposition}[조대화된 운동량 방정식]\label{prop:momentum} \eqref{eq:vp_newton} 및 최소한의 정칙성 하에, 다음의 정확한 수지식이 성립하도록 하는 응력 텐서장 $\sigma(\xv,t)$가 존재한다:
또한 $\sigma$는 Irving--Kirkwood 표현(운동론적 부분 + 상호작용 부분)을 갖고, 이는 부록~A에 제시된다. \end{proposition}
1.3.1 재밍 레짐: 상호작용 응력이 지배적인 이유
많은 VP 응용에서 관심 있는 미시/메조 상태는 재밍(jammed) 상태(고체형 접촉 네트워크, VP 온톨로지의 ``상태 4(State 4)'')이다. 이 레짐에서 Irving--Kirkwood 응력은
(부록~A)로 분해되지만, 보통 상호작용 성분이 지배적이다:
- 운동론적 기여는 특이 속도(peculiar velocity)의 레이놀즈 응력처럼 스케일하며, $ \sigma^{\rm kin}\sim -\rho\,\delta v^2, $ 상대 요동 $\delta v$가 작을수록 작아진다.
- 상호작용 기여는 힘-사슬(force chain)을 따라 전달되는 접촉력으로 정해지며, \eqref{eq:appA_sigma_int}를 보라. 접촉 네트워크가 유한한 압축 하중을 지탱하는 한 크게 유지된다.
따라서 재밍 창(window)에서는 $\sigma^{\rm int}$를 응력의 1차 운반자로 보고, 언재밍 사건을 이 힘-사슬 네트워크의 간헐적 재조직화(reorganization)로 해석하는 것이 기계적으로 자연스럽다. 이 관점은 VP 파라미터를 측정 가능한 응력과 유효 점성으로 사상(mapping)할 때 핵심이다.
\begin{remark}[운영적 재밍 진단: 상호작용/운동론 응력 비율] ``상호작용 지배 응력''을 데이터에서 검정 가능하게 만들기 위해 다음 무차원 비를 정의한다:
여기서 $\|\cdot\|$는 일관된 텐서 노름(예: Frobenius 노름)이며, $\epsilon_{\rm reg}>0$는 거의 진공 영역에서의 0 나눗셈을 피하기 위한 작은 정칙화 항이다. 관심 영역에서 $\mathrm{Jm}\gg 1$이면 재밍 연속체 창(window)으로 선언할 수 있다. 이는 언제 힘-사슬 응력이 $\mu_{\rm eff}$를 지배하고, 언제 운동론적(기체형) 그림이 더 적절한지에 대한 객관적 기준을 제공한다. \end{remark}
\begin{remark}[응력 대칭성과 각운동량] 나비에--스토크스 방정식은 대칭인 코시(Cauchy) 응력을 가정한다. Irving--Kirkwood 표현에서 대칭성은 내부 힘이 쌍힘(pairwise)이고 반대칭($\Fv_{ij}=-\Fv_{ji}$)이며 중심력(central)(분리 벡터 $\xv_i-\xv_j$와 평행)일 때, 즉 내부 토크가 0일 때 따라온다. 만약 VP 미시 동역학이 내부 스핀, 비중심 접촉 법칙, 또는 명시적 바디 커플을 포함한다면, 거시 한계는 커플 응력을 갖는 미크로폴라/코세라(Cosserat) 확장이 되어야 한다. 표준 나비에--스토크스 형태는 그러한 추가 모멘트가 선언된 조대화 창보다 더 짧은 스케일에서 이완되는 레짐 (빠른 스핀 이완/무시 가능한 커플 응력 레짐)에서 회복된다. \end{remark}
\begin{remark}[부호 규약] 많은 유체역학 교재는 \eqref{eq:mom_sigma}를 $\partial_t(\rho\uv)+\nabla\cdot(\rho\uv\otimes\uv)=-\nabla p+\nabla\cdot\tau+\rho\mathbf f$ 형태로 쓴다. 이때 $\sigma=-p\Id+\tau$이다. \end{remark}
1.4 오일러 한계: ``무응력'' 또는 ``압력만'' 한계
만약 $\sigma=-p\Id$(편차 응력 0)이면, \eqref{eq:mom_sigma}는 압축성 오일러 방정식으로 환원된다:
VP 관점에서는 이는 조대화된 편차 응력이 무시 가능한 레짐(예: 비점성 유동에 가까우며, 해상되지 않은 사건-소산이 지속적으로 남지 않는 레짐)에 해당한다.
2. 뉴턴형 닫힘과 나비에--스토크스 방정식
2.1 응력, 객관성(objectivity), 그리고 뉴턴형 닫힘으로 가는 통제된 경로
코시(Cauchy) 응력을 다음과 같이 쓴다:
여기서 $p$는 기계적(열역학적) 압력, $\tau$는 점성(대칭) 응력이다. 압축성 유동에서는 $\tau$의 자취(trace)가 0이 아닐 수 있으며(체적 점성), 자취가 없는 편차(deviatoric) 부분은 $2\mu S$이다.
\begin{remark}[Irving--Kirkwood 응력의 등방 성분으로서의 압력] 정확한 조대화 응력 $\sigma$(Irving--Kirkwood; 1절/부록~A)가 주어지면, 언제나 다음과 같이 압력과 편차 응력을 일관되게 정의할 수 있다:
따라서 구성상 $\operatorname{tr}\tau=0$이다. 부록~A의 정확한 분해 $\sigma=\sigma^{\rm kin}+\sigma^{\rm int}$에 대응하여 $p=p^{\rm kin}+p^{\rm int}$로 쓸 수 있으며,
비압축 나비에--스토크스에서 $p$는 $\nabla\!\cdot\uv=0$을 강제하는 라그랑주 승수 역할도 하지만, 위의 동일시는 PDE 압력이 미시 응력 텐서의 등방 성분과 모순되지 않도록 해 준다. \end{remark}
무엇이 정확하고 무엇이 아닌가.
1절은 $\sigma$를 Irving--Kirkwood 평균으로 정의하면, \eqref{eq:conti} 및 \eqref{eq:mom_sigma}가 정확한 조대화 항등식임을 보였다. 남은 단계는, 정확하지만 미시적인 $\sigma$를 조대화 장들로만 표현되는 닫힌 구성 방정식으로 치환하는 것이다.
일반 선형 객관 응답(기억 커널 형태).
미시 동역학과 순수 현상론 사이의 유용한 ``중간층''은 선형 응답/투영 연산자(projection-operator) 그림이다: 국소 평형으로부터의 작은 이탈에서, 그리고 프레임 무관성(frame indifference) 하에서, 편차 응력의 선형 응답은 다음의 컨볼루션 형태를 갖는다:
여기서 $S$는 대칭 변형률률(strain-rate) 텐서
이며 $G(s;\xv,t)$는(천천히 변할 수 있는) 응력 이완 커널 (전단 탄성률 이완 함수)이다.
\begin{remark}[기억 커널의 투영-연산자 기원(Mori--Zwanzig / Kubo; 개략)] Mori--Zwanzig 투영 형식에서, 해상되지 않은 VP 자유도를 제거하면 조대 관측량에 대해 ``표류(drift) + 기억 적분 + 요동(직교) 힘''으로 이루어진 일반화 랑주뱅 구조가 나타난다. 국소 평형 주변 선형 응답에서는, 기억 커널이 요동 통계와 변동--소산 관계로 연결된다. 등방 뉴턴형 창에서는 이것이 스칼라 전단 커널로 축약되며, 개략적으로
처럼 쓸 수 있다. 상관 커널의 양성은 $\mu=\int_0^\infty G(s)\,ds\ge 0$으로 가는 직접 경로이며, 그린--쿠보(Green--Kubo) 식 \eqref{eq:green_kubo_mu}와도 일치한다. \end{remark}
\noindent\LOCK\ 커널 수준에서의 열역학적 허용성. 클라우지우스--뒤헴(Clausius--Duhem) 부등식(점성 소산 $\ge 0$)의 충분조건은, $G$가 인과적(causal)이며 다음 의미에서 양(positive)인 것이다: 임의의 시험 함수 $S(t)$에 대해
이는 주파수 영역에서의 ``$\widehat G(\omega)\succeq 0$''의 시간영역 대응물이다.
뉴턴형(마르코프) 한계와 맥스웰 시간.
만약 $G(s)$가 특성 맥스웰 이완 시간 $\tau_M$에서 빠르게 감쇠하고, 거시 유동이 $T_{\rm flow}\gg\tau_M$의 시간 스케일에서 변화한다면, \eqref{eq:linear_memory_stress}는 뉴턴형 형태로 축약된다:
이때의 무차원 작은 매개변수는 데보라 수(Deborah number) $\mathrm{De}:=\tau_M/T_{\rm flow}$이다.
\begin{remark}[정량적 마르코프 오차 경계: ``$\mathrm{De}\ll 1$''의 실제 의미] \eqref{eq:newtonian_from_memory}의 뉴턴형 축약을 운영적으로 만들기 위해, 커널로부터 측정 가능한 이완 시간을 직접 정의하는 것이 유용하다. 명확성을 위해 $G(s)$가 스칼라이며 음이 아니라고 하자(행렬값의 경우도 연산자 노름으로 유사). 다음을 정의한다:
$S(t)$가 시간에 대해 미분 가능하면,
따라서 뉴턴형 근사는 무차원 비 $\tau_M\,\|\partial_t S\|/\|S\|$로 제어된다. 이에 대응하는 유동 시간 스케일은 $T_{\rm flow}\sim \|S\|/\|\partial_t S\|$이며, 이는 $\mathrm{De}=\tau_M/T_{\rm flow}$를 재현한다. \end{remark}
구성적 미시-브리지: 이완시간 근사(RTA)/Chapman--Enskog 스켈레톤.
위의 조건부 닫힘 진술은 의도적으로 ``게이트가 통과하면''이라는 형태로 적었다. 뉴턴형 한계를 덜 신비롭게 만들기 위해, 재밍 상호작용 응력의 이완 동역학에서 기억-커널 법칙 \eqref{eq:linear_memory_stress}을 만들어내는 최소 메조 모형을 하나 제시해 두는 것이 유용하다.
$\xv,t$에서 상호작용 응력/힘-사슬 네트워크의 조대 이방성을 나타내는 대칭·자취-없는 내부 변수 $A(\xv,t)$를 두자(동치로, 스케일된 패브릭 텐서). 선언된 뉴턴형 창에서, 등방 국소 평형 주변 선형화된 동역학이 BGK/RTA 형태를 갖는다고 가정한다:
여기서 $\tau_M>0$는 이완 시간, $\alpha>0$는 탄성률 유사 결합 상수, $\eta$는 빠르게 탈상관되는 요동 항이다.
관측되는 편차 응력이 $A$에 비례하여 $\tau = 2G_0 A$( $G_0>0$ )라면, \eqref{eq:RTA_A}를 형식적으로 풀어
을 얻는다. 따라서 이완 커널은 $G(s)=G_0\alpha\,e^{-s/\tau_M}$이고, 뉴턴형 점성은
이다. 마르코프(뉴턴형) 레짐은 $S$가 $\tau_M$에 비해 느리게 변하는 경우이며, $\tau\approx 2\mu S$가 회복된다.
\medskip \noindentChapman--Enskog 관점. \eqref{eq:RTA_A}는 BGK 충돌 연산자의 아날로그이다: ``충돌''(언재밍) 부문이 $A$를 등방으로 되돌리고, 전단 $S$가 이를 깨뜨린다. 작은 $\mathrm{De}$에 대한 형식적 전개는 $A=\alpha\tau_M S + \mathcal O(\mathrm{De})$를 주며, 따라서 선도차수에서 뉴턴형 응력이 나온다. 이는 VP의 항등식이라고 주장하지 않는다. 다만 빠른 이완 창이 존재하면 선형성과 $\mu$의 양성이 구조적으로 자연스럽다는 것을 보여주는 명시적 미시 닫힘 후보이다.
\begin{remark}[무작위 힘-사슬 방향에서의 등방성(한 줄 사실)] $\hat{\mathbf n}$이 $S^2$에서 균일 분포라면 $\langle \hat{\mathbf n}\otimes\hat{\mathbf n}\rangle = \frac13\Id$이고, 따라서 패브릭 편차 $Q=0$이다. 즉 편차 응력은 방향 분포가 전단에 의해 약하게 편향되는 경우에만 생기며, 등방성 주변 선형화가 자연스럽게 $\tau\propto S$를 낳는 이유가 된다. \end{remark}
\begin{proposition}[조건부 뉴턴형 닫힘(게이트가 통과하면 실제로 증명되는 것)] Irving--Kirkwood 평균으로 정확한 코시 응력 $\sigma$가 정의된 조대화 창을 고정하자. 그 창에서 ( $\xv,t$ )의 국소 조대 상태에 조건부로, 편차 응력 $\tau$가 다음을 모두 만족한다고 가정한다:
- 기억을 가진 국소 선형 응답: $\tau$는 인과적 이완 커널 $G(s)$를 갖는 객관 컨볼루션 형태 \eqref{eq:linear_memory_stress}을 따른다.
- 빠른 감쇠(맥스웰 시간): $G$는 유한 1차 모멘트를 가지며, \eqref{eq:tauM_first_moment}로 정의한 $\tau_M$이 유동 시간 스케일 $T_{\rm flow}$에 비해 작다 (즉 $\mathrm{De}\ll 1$).
- 선형 사상(linear map)의 등방성/객관성: 시간창 평균 후에, 선형 사상 $S\mapsto\tau$가 회전-등변(equivariant)이며, 조대 스케일에서 선호 방향이 남지 않는다.
그러면 $\mu\ge 0$인 스칼라 계수 $\mu$와 어떤 $\lambda$가 존재하여, 응력이 다음 뉴턴형 형태를 갖는다:
여기서 나머지항 $\mathcal R$은 마르코프 오차 경계를 만족한다:
특히 비국소/비선형 보정이 무시 가능하고 $\mathrm{De}\to 0$인 형식적 마르코프 한계에서는 $\mathcal R\to 0$이며 보존 법칙은 압축성 나비에--스토크스로 환원된다. \end{proposition}
\begin{proof} 가정 (1)--(2)는 $\mu=\int_0^\infty G(s)\,ds$로 $\tau\approx 2\mu S$인 마르코프 근사와 명시적 오차 경계 \eqref{eq:markovian_error_bound}를 준다. 가정 (3)은 $\nabla\uv$에서 $\tau$로 가는 결과 선형 사상이 객관적·등방적임을 보장하므로, 표현 정리(부록~B.1)에 의해 가능한 즉시(instantaneous) 형태는 나머지항을 제외하면 뉴턴형 구성 법칙 \eqref{eq:newtonian_stress}뿐이다. 나머지항 $\mathcal R$은 비마르코프(기억), 비국소(유한 $D^\ast$), 비선형 응답 효과를 모은 것이다. \end{proof}
재밍 vs.\ 등방성: 힘-사슬과 이방성 이완.
재밍 VP 레짐(상태~4)에서는 Irving--Kirkwood 응력의 상호작용 부분이 지배적이며, 이는 순간적으로는 힘-사슬 네트워크 때문에 이방적이다. 국소 방향/패브릭 텐서(개략)를 도입하자:
여기서 $\hat{\mathbf n}$은 국소 힘-사슬 방향, $\langle\cdot\rangle_{\xv,t}$는 시간창 $W_{\xv,t}$에서의 조대화 평균이다. 최소(맥스웰형) 이완 모형은
이며, 따라서 $\Delta t_{\rm cg}\gg\tau_M$인 창에서 시간 평균을 취하면 $Q$가 작아진다. 반대로 $\Delta t_{\rm cg}\lesssim\tau_M$(또는 $\mathrm{De}\gtrsim 1$)이면 매질은 점탄성/비뉴턴형이며 나비에--스토크스 닫힘이 성립하리라 기대할 수 없다.
\begin{remark}[창 평균 이방성 경계(``평균으로 등방화''를 명시)] \eqref{eq:fabric_relax}을 선형 이완 모형으로 보면, 상수변화(variation-of-constants) 공식으로
를 얻는다. 여기서 두 가지 유용한 귀결이 나온다.
- 구동 항이 무시 가능하면(정지 이완), 창 평균은 $\|\langle Q\rangle_W\|\le (\tau_M/|W|)\,\|Q(t_0)\|$를 만족한다.
- 유동이 느리게 변하면 정상 응답은 $Q=\mathcal O(\tau_M S)$이다. 따라서 실용적인 등방성 기준은 $\tau_M\,\|S\|\ll 1$ (데보라 수 조건)이다.
이 경계들은, 미시/메조 수준의 힘-사슬 이방성과 거시 뉴턴형 등방성이 논리적으로 양립 가능한 이유를 설명한다: 이방성은 실재하지만, 선언된 연속체 창보다 충분히 빨리 이완되어야 한다. \end{remark}
\begin{remark}[사건 기반 $\tau_M$ 추정(VP 연결: 언재밍율)] 실용적인 VP 가설은 언재밍 사건이 국소 힘-사슬 방향을 무작위화한다는 것이다. 한 조대 셀에서 언재밍 사건이 강도 $\lambda_{\rm unjam}(\xv,t)$인 포아송 과정으로 발생하고, 각 사건이 패브릭 텐서를 등방으로 ``리셋''한다고 보면, 평균 이방성은
의 이완 법칙을 따른다. 이는 맥스웰 시간을
로 동일시하며, \eqref{eq:lambda_unjam_local}을 통해 VP 관측량과 직접 연결된다. 특히 언재밍이 빈번(큰 $\lambda_{\rm unjam}$, 높은 유동성)하면 등방화가 빠르며, $\Delta t_{\rm cg}\gg\tau_M$라는 뉴턴형 창 요구조건을 지지한다. \end{remark}
\medskip \noindent\GATE\ 닫힘 게이트(뉴턴형 국소 선형 응답). 다음 조건이 만족될 때에만 ``나비에--스토크스 창(window)''을 선언한다:
- 공간 국소성: 미시 상관 길이(브리지 스케일)가 작다, $D^\ast\ll \ell_{\rm cg}$.
- 빠른 이완: $\mathrm{De}=\tau_M/T_{\rm flow}\ll 1$이고, 창 평균 후 $Q$가 작다.
- 선형성: 측정 범위에서 $\tau_{ij}\propto S_{ij}$.
- 등방성: 평균 후 비례 관계가 회전-등변이다.
이 가정들 아래에서 표현 정리는 뉴턴형 응력 \eqref{eq:newtonian_stress}(부록~B)를 함의하고, 보존 법칙은 나비에--스토크스로 환원된다.
2.2 압축성 나비에--스토크스
\eqref{eq:conti}, \eqref{eq:mom_sigma}, \eqref{eq:newtonian_stress}를 결합하면 압축성 나비에--스토크스 방정식을 얻는다:
그리고 $p$에 대한 상태방정식(또는 내부에너지 닫힘)이 추가로 필요하다.
2.3 상태방정식(EOS)과 열역학적 압력
닫힌 압축성 나비에--스토크스 계를 위해서는, 열역학 변수들과 등방 응력 사이의 관계가 필요하다. 기계적으로는 VP가 언제나 압력을 정확한 Irving--Kirkwood 응력의 등방 성분으로 정의할 수 있다 (2.1절), 즉 $p=-\tfrac13\operatorname{tr}\sigma$. 그러나 예측 가능한 압축성 닫힘 및 공학적 설계를 위해서는, 밀도(그리고 경우에 따라 온도)와 $p$를 연결하는 명시적 상태방정식(EOS)을 주는 편이 편리하다.
2.3.1 비리얼(virial) 응력에서 거시 압력으로
VP 상호작용이 입자 $i,j$ 사이의 쌍별 반발 퍼텐셜 $U(r_{ij})$에 의해 지배된다고 하자. 여기서 $r_{ij}:=|\xv_i-\xv_j|$이고 쌍힘은 $\Fv_{ij}=-\nabla_{\xv_i}U(r_{ij})$이다. 부피 $V_{\rm cg}$인 조대화 셀에서, 상호작용(비리얼) 압력 기여는
로 주어진다. 이는 평균 후 Irving--Kirkwood 상호작용 응력의 자취(부록~A)와 일치한다. 재밍(강체) VP 레짐에서는 상호작용 부문이 보통 지배적이므로, $p\simeq p_{\rm int}+p_{\rm kin}$이며 $p_{\rm kin}$은 더 작은 운동론/열적 기여이다.
2.3.2 Tait--Murnaghan 상태방정식(권장 \LOCK)
밀도 요동이 작은 준-비압축 ``강체(stiff) 유체'' 레짐에서 $\delta\rho/\rho_0\ll 1$이면, 비리얼 압력은 Tait/Murnaghan형 EOS로 잘 근사된다. 강한 압력 모델이 필요할 때 사용할 압축성 닫힘으로 다음을 \LOCK\ 한다:
여기서 $\rho_0$는 기준 밀도이며(VP에서는 격자 간격 $a$와 질량 $m$에 대해 $\rho_0\sim m/a^3$), $\gamma>1$은 강성 지수(공학적으로는 물 같은 준-비압축 모델에서 흔히 $\gamma\simeq 7$을 쓰지만, 선택한 VP 반발 퍼텐셜의 곡률에 맞추어 조정할 수 있다), $B>0$는 벌크 모듈러스(체적 탄성률) 파라미터, $p_{\rm back}$은 배경 오프셋 압력이다.
2.3.3 수치 음속과 안정성(공학 제약)
\eqref{eq:tait_eos}가 함의하는 등엔트로피 음속은
이다. 준-비압축 레짐을 유지하려면 작은 마하수 $\mathrm{Ma}:=\max|\uv|/c_s\lesssim 0.1$(경험 규칙)을 강제한다. 따라서 실용적 설계 선택은
이며, 이는 강성 파라미터 $B$를 목표 속도 스케일에 묶는다. 또한 명시적 시간 적분에서는 통상적인 음향 CFL 안정성 제약 $\Delta t \lesssim \mathrm{CFL}\,\Delta x/(|\uv|+c_s)$도 만족해야 한다.
2.4 비압축 나비에--스토크스
비압축 한계에서는 $\rho=\rho_0$가 상수이고 $\nabla\!\cdot\uv=0$이다. 그러면
이고 \eqref{eq:NS_incompressible}가 따라온다.
2.5 VP에서 점성으로: 최소이면서 반증 가능한 매핑
본 백서는 정확히 유도 가능한 것과 모델 동일시를 분리한다.
- \DERIVE: $\mu$와 $\lambda$는 VP가 고정되면 임의가 아니다. 즉 조대화 응력 응답을 요약한 값이다.
- \GATE: VP 미시 파라미터 및 사건 통계 $(\phi,\text{사건율},\text{코어 크기},\dots)$에서 $(\mu,\lambda)$로 가는 사상은 경험적/수치적 식별이 필요하다.
유용한 최소 매핑은 맥스웰형 이완 그림을 통하는 것이다:
여기서 $G$는 일시적 재밍 네트워크의 국소 탄성률(전단 모듈러스), $\nu_{\rm tot}$은 전체 사건율이다. 이는 언재밍 활동이 커질수록(큰 $\phi\nu_{\rm tot}$) 점성이 낮아진다는 예측을 준다.
\begin{remark}[물리적 앵커: 메조 브리지 스케일 $D^\ast$] 나노--마이크로 하드웨어에 관련되는 방식으로 유효 점성 $\mu_{\rm eff}$를 물리적으로 고정(anchor)하기 위해, 메조 브리지 스케일 $D^\ast$를 도입하는 것이 유용하다. 이는 VP ``언재밍 사슬''(또는 더 일반적으로 VP 격자를 연속체로 취급할 수 있게 되는 길이) 의 상관 길이이다.
- 연속체 기준(VP 크누센 수). 다음을 정의한다:
- 실용적 수치 기준(67\,nm). 표준상태(STP) 공기의 분자 평균자유행로는 $\lambda_{\rm air}\approx 67\,\mathrm{nm}$로 알려져 있으며, 이는 마이크로/나노 유동에서 비연속체 효과가 나타나기 시작하는 익숙한 벤치마크이다. 본 백서는 유도에 의해 $D^\ast$를 $\lambda_{\rm air}$와 동일시하지 않는다. 다만 $\lambda_{\rm air}$는 보정 실험을 설계하고 해석할 때 유용한 자릿수(오더) 참조 스케일을 제공한다.
- 하드웨어 함의. 어떤 장치의 특성 길이 $L_{\rm feat}\lesssim D^\ast$이면, VP 매질은 이산 수송(슬립, 탄도 구간, 사건 지배 소산)을 보일 가능성이 크다. 반대로 $L_{\rm feat}\gg D^\ast$이면, 같은 매질이 유효 $(\mu,\lambda)$를 갖는 고전적 연속체 기술을 허용해야 한다.
여기서 $L$은 계의 대표 길이 스케일이다. 나비에--스토크스 닫힘은 $\mathrm{Kn}_{\rm VP}\ll 1$일 때 정확할 것으로 기대되며, $\mathrm{Kn}_{\rm VP}\sim \mathcal O(1)$은 슬립/탄도(ballistic) 레짐을 뜻하므로 비연속체 보정이 필요할 수 있다.
\noindent게이트 노트. $D^\ast$는 측정 가능한 파라미터이다. 제어된 형상에서 무슬립$\leftrightarrow$슬립 교차점(또는 스케일 의존 $\mu_{\rm eff}$의 발현)으로부터 추정할 수 있다. \end{remark}
\begin{remark}[벽 프로토콜(옵션 A 잠금): frozen-VP 무슬립 경계]\label{rem:wall_protocol} 1--2절의 나비에--스토크스 유도는 내부(interior) 진술이다. 그러나 $\mu_{\rm eff}$ 보정 또는 브리지 스케일 $D^\ast$ 추정은 필연적으로 벽을 포함하므로, 명시적 경계 프로토콜이 필요하다.
\medskip \noindent\LOCK\ BC-W1 (경계 레짐 선언). 벽 구동 실험/시뮬레이션(Couette/Poiseuille)로부터 $\mu_{\rm eff}$를 추정할 때는 반드시 (i) 무슬립 레짐(접선 운동량 완전 수용; full accommodation)을 강제하거나, (ii) 슬립 길이 $b$를 측정하여 부분-슬립(Navier) 경계조건을 사용해야 한다. 그렇지 않으면 벽 슬립이 $\mu_{\rm eff}$ 감소로 위장될 수 있다.
\medskip \noindent\LOCK\ BC-W2A (옵션 A, 본 권의 표준 선택: frozen-VP 벽). 고체 벽을, 거칠고 운동량을 수용하는 표면 역할을 하는 고정 VP 층(들)로 모델링한다. 이는 확산 반사/완전 수용 벽의 VP 아날로그이며, 뉴턴형 창에서 거시적 무슬립($b\approx 0$)을 유도하도록 설계된다.
- 기하. 정수 $n_w\ge 2$를 택하고, 두께 $h_w:=n_w a$의 벽을 만든다. 여기서 $a$는 VP 격자 간격이다. 벽 VP들을 준-격자 배치에 놓고, 정반사 대칭을 깨기 위해 진폭 $\delta\in[0.05,0.2]a$의 작은 난수 지터(거칠기)를 준다.
- 운동학. 벽 속도 $\uv_w$를 부과한다(예: Couette에서 $\pm \tfrac12\Delta U\,\hat{\mathbf x}$). 벽 VP는 무한 질량 캐리어로 취급하여 충돌로 가속되지 않게 한다. 운영적으로는 충돌이 유체로부터 운동량을 받아가되 벽 속도는 계속 부과된다는 뜻이다.
- 상호작용. 유체 VP는 벌크와 동일한 반발/접촉 법칙으로 벽 VP와 상호작용하며, 침투를 억제하기 위해 벽 계수 $\kappa_w\ge 1$를 더 크게 둘 수 있다. 벽이 거칠고 운동량을 수용하므로 접선 운동량 교환이 효율적이고 슬립이 감소한다.
\medskip \noindent\GATE\ BC-W3 (무슬립 검증; 벌크 $\mu$와 벽 슬립 분리). BC-W2A를 사용하더라도, 벽이 너무 매끈하거나 상호작용이 지나치게 정반사적(specular)인 경우 유한한 슬립이 생길 수 있다. 따라서 어떤 Couette/Poiseuille 보정에서도, 근벽 속도 프로파일로부터 슬립 길이 $b$를 측정한다. 간단한 추정기는 경계층에서 접선 속도를 선형 피팅하여 얻는다:
$ b/h\le b_{\rm tol}$ (예: $b_{\rm tol}\sim 10^{-2}$)이면 ``무슬립'' 보정 레짐을 선언할 수 있다. 또는 더 VP-친화적으로는 $b\le 0.1\,D^\ast$를 기준으로 쓸 수 있다. 이 게이트가 실패하면, (i) 부분-슬립 모델을 보고하거나, (ii) 벽 거칠기/점착성을 재설계해야 한다.
\medskip \noindent\GATE\ BC-W2B (옵션 B, 선택: 힘장(force-field) 벽). 매끈한 벽은 외부 반발 퍼텐셜로 표현할 수 있다. 근벽 상호작용이 주로 정반사적이면 접선 운동량 교환이 약하여 부분 슬립이 나타난다. 이 옵션은 슬립 레짐($b\gtrsim D^\ast$)을 의도적으로 탐색할 때 유용하지만, $b$를 측정하여 피팅에 포함하지 않는 한 벌크 $\mu_{\rm eff}$ 추정에는 사용하면 안 된다.
\medskip \noindent연속체 매개변수화(Navier 슬립). 부분-슬립 경우의 최소 거시 기술은
이다. 여기서 $\uv_w$는 벽 속도, $(\cdot)_t$는 접선 성분, $\partial_n$은 바깥쪽 법선 미분이다.
간격 $h$인 평면 Couette 셀에서 두 벽이 동일 슬립 길이 $b$를 가지면 전단률은 $\partial_y u=\Delta U/(h+2b)$ (기존 $\Delta U/h$가 아님)이다. 따라서 게이트 G5-A의 열 보정은 다음과 같이 수정된다:
즉 $\mu$를 식별하려면 벽 슬립을 제어하거나 측정해야 한다.
\medskip \noindent브리지 스케일 진단. 마이크로/나노 장치에서는 의도적으로 거칠게 만들지 않으면 보통 $b=\mathcal O(D^\ast)$가 기대되므로, $b/D^\ast$ 비는 브리지 스케일의 추가 진단으로 사용할 수 있다. \end{remark}
2.5.1 점성 식별: Green--Kubo(형식)와 소산 매칭(운영)
VP 사건 통계를 나비에--스토크스 수송계수와 연결하는 직접적(그리고 반증 가능한) 방법은 비가역 파워 싱크를 매칭하는 것이다.
Green--Kubo/선형응답에 의한 $\mu$ 식별(형식).
\eqref{eq:newtonian_from_memory}는 이미 1원리 경로를 시사한다: $\mu$는 응력-이완 커널 아래의 면적이다. 유효 온도 $\Theta$를 갖는 국소 평형 가정 하에서, 선형 응답은 전단 점성에 대한 동등한 Green--Kubo 표현을 준다:
여기서 $\langle\cdot\rangle_{\rm le(\xv,t)}$는 $(\xv,t)$의 조대 상태에 조건부인 국소 평형 앙상블, $\tau_{xy}$는(재밍 레짐에서) 상호작용이 지배적인 전단 응력으로 취할 수 있다. 실용적으로 \eqref{eq:green_kubo_mu}는 두 가지 점에서 유용하다: (i) VP 미시 동역학이 고정되면 $\mu$가 내재적(intrinsic)임을 보이고(임의의 피팅 파라미터가 아님), (ii) 시뮬레이션에서 응력 자기상관을 측정할 수 있으면 명시적 보정 프로토콜을 제공한다.
맥스웰 그림과의 일치.
응력 이완이 단일 지수 형태 $G(s)\approx G_0 e^{-s/\tau_M}$이면, $\mu=\int_0^\infty G(s)\,ds \approx G_0\tau_M$이고, 이는 맥스웰 매핑 \eqref{eq:maxwell_mapping}을 회복한다 ($G_0$를 일시적 전단 모듈러스라고 해석).
국소 사건율과 사건 소산 밀도.
조대화 부피 $V_{\rm cg}\sim \ell_{\rm cg}^3$와 국소 시간창 길이 $\Delta t_{\rm cg}$를 고정하자. 국소 창 $W_{\xv,t}$에서 기록된 언재밍 유형 사건 수를 $N_{\rm unjam}(W_{\xv,t})$라 하자. 이에 대응하는 사건율을
로 정의한다. 같은 창에서 사건당 평균 방출 에너지를 $\langle \Delta E_{\rm bind}\rangle_{\xv,t}$라 하자(프로토콜-잠금). 그러면 사건 소산 밀도는
이다.
비압축·전단 지배 레짐.
국소적으로 $\nabla\!\cdot\uv\approx 0$이면, 뉴턴형 점성 소산 밀도는
로 축약된다. VP 소산이 사건에 의해 지배되고 뉴턴형 닫힘이 성립하는 레짐에서는 최소 매칭 원리는
이며, 이는 운영적 점성 추정기를 준다:
뉴턴형 게이트 조건은, 선언된 창과 강제(구동) 클래스에서 $\mu_{\rm eff}$가 대체로 레이트-독립(rate-independent)이며 등방적이라는 것이다.
유동성 $\phi$와의 관계.
고정된 VP 업데이트 프로토콜에서 미시 시간 스텝을 $\Delta t_{\rm micro}$라 하면, 창 유동성 $\phi=N_{\rm unjam}/N_{\rm total}$은 $\lambda_{\rm unjam}\sim \phi/(V_{\rm cg}\,\Delta t_{\rm micro})$ 를(물리 시간과 업데이트 스텝의 변환은 프로토콜에 의존) 의미한다. 따라서 VP의 ``유동성'' 개념은 연속체 소산 수지에서 직접 측정 가능한 양이 된다.
\begin{remark}[왜 이것이 여전히 ``나비에--스토크스''인가] 나비에--스토크스는 $\mu,\lambda$를 현상론적 입력으로 사용한다. \eqref{eq:maxwell_mapping}은 선택적 동일시이며, 이 식별이 VP$\to$NS 브리지의 일부가 되려면 선언된 게이트(응력--변형률률 측정; 6절)를 통과해야 한다. \end{remark}
2.6 점성 소산과 열역학적 허용성
나비에--스토크스 닫힘이 VP 브리지로서 의미 있으려면 열역학적으로 허용되어야 한다: 비가역 기계적 파워 밀도는 음이 아니어야 한다.
\begin{proposition}[점성 소산 항등식과 양성]\label{prop:visc_pos} 계수 $\mu,\lambda\in\mathbb R$을 갖는 압축성 뉴턴형 닫힘 \eqref{eq:newtonian_stress}를 가정하자. 체적 점성을
로 정의한다. 그러면 점성 소산 밀도는 다음의 항등식이다:
여기서 $S$는 \eqref{eq:newtonian_stress}의 자취-없는 변형률률 텐서이다. 또한 모든 속도 기울기 $\nabla\uv$에 대해 $\epsilon_\nu(\xv,t)\ge 0$이 성립할 필요충분조건은
이다. \end{proposition}
\begin{proof} $\nabla\uv = S + \frac13(\nabla\!\cdot\uv)\Id + A$로 쓰자. 여기서 $A:=\frac12(\nabla\uv-(\nabla\uv)^\top)$는 반대칭(skew) 부분이다. $\tau$는 대칭이므로 $\tau:A=0$이고 대칭 부분만 기여한다. $\tau=2\mu S+\lambda(\nabla\!\cdot\uv)\Id$ 및 $S:\Id=0$을 사용하면 $\tau:\nabla\uv = 2\mu\,S:S + (\lambda+\frac23\mu)(\nabla\!\cdot\uv)^2$. $\mu<0$이면 $\nabla\!\cdot\uv=0$이면서 $S\neq 0$인 순수 전단을 택해 $\epsilon_\nu<0$이 되게 할 수 있다. $\zeta<0$이면 $\nabla\uv=\alpha\Id$인 순수 팽창을 택해 $\epsilon_\nu=3\zeta\alpha^2<0$이 된다. 따라서 \eqref{eq:admissibility_conditions}는 필요하다. 반대로 \eqref{eq:admissibility_conditions}가 성립하면 \eqref{eq:visc_dissipation_density}의 두 항이 모두 음이 아니므로 점별로 $\epsilon_\nu\ge 0$이며, 충분성도 성립한다. \end{proof}
\noindent\GATE\ (열역학 체크). VP 데이터로부터 $(\mu,\lambda)$를 피팅할 때는 $\zeta=\lambda+\frac23\mu$를 함께 보고하고, \eqref{eq:admissibility_conditions}를 검증하라. 위반은 (i) 닫힘 붕괴(비뉴턴형 응답) 또는 (ii) 측정 시간창과 가정된 연속체 레짐의 불일치를 시사한다.
\begin{remark}[스토크스 가정(Stokes hypothesis)은 선택 사항] 일부 문헌은 $\lambda=-\tfrac{2}{3}\mu$(즉 $\zeta=0$)를 부과한다. 이는 추가적인 모델 선택이지 유도가 아니다. VP$\to$연속체 브리지에서는, 전용 보정으로 달리 증명되기 전까지 $\lambda$를 체적 이완을 요약한 경험적 파라미터로 취급해야 한다. \end{remark}
3. 사건 소산을 포함한 에너지 및 엔트로피 예산
3.0 예산(bookkeeping): 무엇이 ``소산''되는가
본 문서에서 ``소산(dissipation)''은 항상 해상된(resolved) 유동(기계적) 에너지에 대한 의미로 사용한다. 고전적 점성과 VP 사건 모두 해상된 유동으로부터 에너지를 제거하여 해상되지 않은/내부 자유도(열, 코어 변형, 결합 재배열, \dots)로 전달한다. 이는 온자거(Onsager)형 이상 소산 질문에 대해 올바른 기술 수준이다: $\nu\to 0$에서도 해상된 유동 에너지 감쇠가 0이 아닌 채로 남을 수 있는가?
\medskip \noindent\LOCK\ 해상된 유동 에너지. 비압축·상수 밀도 레짐($\rho=\rho_0$)에서 해상된 운동 에너지 밀도를
로 정의하고, 공간 평균 및 총 에너지를
로 둔다.
\medskip \noindent\LOCK\ 소산률(평균형). 다음 공간 평균 파워 밀도(단위 부피당)를 사용한다:
(적분형(총량)은 $|\Omega|$를 곱하면 얻는다.)
3.1 고전적 운동에너지 예산(비압축)
$\uv$가 $\Omega$에서 비압축 나비에--스토크스의 매끄러운 해라고 가정하자. 경계는 주기적이거나, 경계를 통한 기계적 에너지 플럭스가 0이 되도록 하는 조건(예: 무유량/적절한 벽 조건)을 만족한다고 하자. \eqref{eq:NS_incompressible}에 $\rho_0\uv$를 곱해 $\Omega$에서 적분하고, $\nabla\!\cdot\uv=0$과 부분적분을 사용하면 다음의 정확한 항등식을 얻는다:
여기서
이므로 $\varepsilon_\nu(t)\ge 0$이다.
\begin{remark}[약해(weak solution)와 에너지 부등식] Leray(르레) 약해의 경우 등식 \eqref{eq:energy_NS}는 부등식으로 바뀐다:
그리고 비점성 한계를 취할 때 추가적인 음이 아닌 ``결함(defect)'' 항이 나타날 수 있다. 5절은 이 목적을 위해 Duchon--Robert(듀숑--로베르) 결함 언어를 요약한다. \end{remark}
3.1.1 압축성 에너지 및 엔트로피 방정식(참고 형태)
본 백서는 비압축 해상 에너지 수지 \eqref{eq:energy_NS}에 초점을 두지만, VP ``사건 열(event heat)''은 자연스럽게 내부에너지 채널로 들어오기 때문에, 표준 압축성 참고 형태를 기록해 두는 것이 유용하다.
내부에너지(단위 질량당)를 $e(\xv,t)$라 하고, 총 비에너지를 $E:=e+\frac12|\uv|^2$로 정의하자. 열 플럭스를 $\mathbf q$(예: 푸리에 $\mathbf q=-\kappa\nabla T$)라 하면, 압축성 나비에--스토크스의 총 에너지 방정식은
로 쓸 수 있다. 동치로 내부에너지 방정식(제1법칙)은
이다. 열역학적 허용성은 점성 기여 $\tau:\nabla\uv=\epsilon_\nu$가 음이 아니어야 함을 요구하며, 이는 명제~\ref{prop:visc_pos}의 조건 하에서 성립한다. 호환되는 엔트로피 수지는 개략적으로
로 쓸 수 있다. 여기서 $s$는 비엔트로피(specific entropy)이다. 식 \eqref{eq:entropy_balance_reference}는 VP 투영이 거시 한계에서 존중해야 하는 연속체 ``제2법칙'' 타깃이다.
3.1.2 미시--거시 열 매핑(VP \texorpdfstring{$\leftrightarrow$
3.1.1절은 온도 $T$와 열 플럭스 $\mathbf q$를 포함하는 표준 압축성 에너지/엔트로피 형태를 기록했다. VP 기반 공학에서는 $T$와 $\mathbf q$가 VP 통계에서 어떻게 나타나는지 명시해 둘 필요가 있다.
특이 속도(peculiar velocity)로부터의 운동론적 온도.
입자 $i$의 특이 속도를 조대 유동에 대한 상대 속도로 정의한다:
여기서 $\uv(\xv,t)$는 평가점에서의 조대화 속도이다. 그 다음 표준 운동론 매핑으로 국소 운동론적 온도를 정의한다:
여기서 $\langle\cdot\rangle_{\xv,t}$는 커널/시간창 평균, $k_B$는 볼츠만 상수(또는 시뮬레이션 단위 대응물)이다. (엄밀히 2차원 시뮬레이션이면 $3/2$를 $d/2$로 바꾸고 $d=2$를 쓴다.)
열 플럭스와 푸리에 한계.
$T_i$를 입자 수준 온도 프록시(특이 운동 에너지)라 하자. 최소 VP ``혼합(mixing)'' 모형은 다음과 같은 이완/교환 단계이다:
여기서 $W_{ij}$는 조대화 커널 $W_\ell$이 유도하는 대칭 음이 아닌 가중치이다. 연속체 한계에서, 테일러 전개 $T_j\simeq T_i+(\xv_j-\xv_i)\cdot\nabla T$와 $W_{ij}$의 대칭성은 확산 연산자를 만들어내며, 거시 열 방정식
을 유도한다. 혼합 단계가 엔트로피를 생성하는(메트릭/제2법칙) 부문이라면, 이산 교환 \eqref{eq:discrete_temp_exchange}는 분산에 대한 수축(contraction)이므로 양성 $\kappa>0$이 보장된다.
VP 사건이 들어오는 곳.
사건 소산 $\epsilon_{\rm events}$(3.2절)은 추가적인 내부에너지 소스이다. 따라서 압축성 닫힘에서는 개략적으로
처럼 쓸 수 있으며, 이는 3.1.1절의 참고 제1법칙 형태와 일치한다.
3.2 VP 내부 저장고와 사건 소산
VP에는 해상되지 않은 자유도(코어 변형, 필라멘테이션, 서브그리드 열, \dots)로 정의된 에너지 $\Delta E_n\ge 0$를 방출하는 이산 사건(언재밍/병합/재연결)이 포함된다. 핵심은 이 전달이 기록된다는 점이다.
사건 로그(event log).
사건 목록 $\{(t_n,\xv_n,\Delta E_n)\}_{n=1}^{N_{\rm total}}$을 가정한다. 여기서 $t_n$은 사건 시각, $\xv_n$은 사건 대표 위치(예: 참여자들의 중심점), $\Delta E_n$은 방출 에너지이며(프로토콜-잠금)이다.
내부 저장고(전역).
누적 저장고 에너지를
로 정의한다. 그러면 (평균) 사건 소산률은 분포적 미분으로
이다.
\begin{remark}[시간에 대한 양의 측도(measure)로서의 사건 소산] 사상 $t\mapsto h_{\rm int}(t)$는 단조 증가하며 유계 변동(bounded variation)을 가진다. 따라서 시간에 대한 양의 라돈 측도(Radon measure) $\mu_{\rm events}$를 정의하며, 분포 의미에서 $dh_{\rm int}=d\mu_{\rm events}$가 성립한다. 구체적으로 임의의 시험 함수 $\varphi\in C_c^\infty(\mathbb R)$에 대해
이다. 이 언어에서 $\varepsilon_{\rm events}$는 시간의 보통 함수라고 가정하지 않는다. 이는 $\mu_{\rm events}$의 (특이할 수 있는) 측도 밀도이며, 디랙 스파이크(Dirac spike)를 포함할 수 있다. \end{remark}
내부 저장고(국소 밀도).
각 사건을 공간에서 $W_\ell$로 퍼뜨리면 호환되는 조대화 밀도를 얻는다:
구성상 $\langle \epsilon_{\rm events}(\cdot,t)\rangle_\Omega=\varepsilon_{\rm events}(t)$이다.
시간창 평균.
시간창 $W=[t_0,t_1]$에 대해
이다.
3.3 확장된 해상 유동 예산과 정상 창 닫힘
\noindent\LOCK\ 사건 회계(사건 시각에서의 제1법칙). 각 사건 시각 $t_n$마다, 해상 유동은 에너지를 잃고 저장고는 같은 양을 얻는다:
이 규칙은 해상 유동 예산에서 측정되는 ``사건 소산''이 수치 인공물(numerical artifact)이 아니라 기록된 물리적 전달임을 보장한다.
\medskip \noindent\DERIVE\ 해상 유동 예산(평균형). 매끄러운 점성 진화 \eqref{eq:energy_NS}와 사건에서의 점프 손실을 결합하면 다음의 정확한 항등식을 얻는다. 이는 시간에 대해 분포(distribution) 의미로 이해된다: 사건 사이에서는 \eqref{eq:energy_NS}로 환원되고, 사건 시각에서는 점프 손실을 부호화하는 디랙 스파이크를 포함한다(부록~H).
\eqref{eq:resolved_flow_budget}를 시간창 $W=[t_0,t_1]$에서 적분하면 다음의 정확한 항등식이 된다:
따라서 정상 시간창(0.3절)에서는 드리프트 항이 무시 가능하고, 닫힘 \eqref{eq:budget_window}을 회복한다:
\begin{remark}[$\nu\to 0$에서 무엇이 남는가] \eqref{eq:resolved_flow_budget}는 해상 유동 에너지에 대해, 총 소산이 $\varepsilon_{\rm tot}:=\varepsilon_\nu+\varepsilon_{\rm events}$임을 보여준다. 점성 소실 스캔에서 $\varepsilon_\nu$는 0으로 갈 수 있지만, $\langle\varepsilon_{\rm events}\rangle_W\to\varepsilon_*>0$라는 비영(非零) 한계는 사건이 운반하는 온자거형 이상 소산 채널 그 자체이다. \end{remark}
4. VP 기반 유체역학을 위한 메트리플렉틱/GENERIC 구조
4.1 대수적 템플릿
메트리플렉틱(metriplectic; GENERIC 유사) 템플릿은 어떤 함수-함수(기능적) $F[\Psi]$의 진화를 다음과 같이 쓴다:
여기서 $H$는 총 에너지, $S$는 엔트로피이다. 괄호(bracket)는 다음을 만족한다:
- $\{\cdot,\cdot\}$는 스큐(skew) 연산자 $\PoissonOp$가 생성하는 포아송 괄호(Poisson bracket)이다.
- $(\cdot,\cdot)$는 대칭 양의 준정(PSD) 연산자 $\MetricOp$가 생성하는 메트릭 괄호(metric bracket)이다.
연산자 형태로 쓰면
이다.
4.1.1 비압축 오일러를 리-포아송(Lie--Poisson) 계로 보기(지향점)
유체역학의 이류(비점성) 부분은 자연스럽게 해밀토니언적이다. 비압축 오일러의 경우, 발산이 0인 벡터장들의 리 대수 위에서 동역학을 정식화할 수 있다. 2차원에서는 상태를 와도 $\omega=\nabla\times\uv$(스칼라)로 쓰면, 표준 리-포아송 괄호는
이며, 여기서 $[\cdot,\cdot]$는 평면에서의 야코비안(포아송 괄호)이다. 해밀토니안 $H(\omega)=\frac12\int |\uv|^2\,d\xv$를 택하고 $\omega$로부터 $\uv$를 Biot--Savart 법칙으로 복원하면 오일러 방정식이 나온다.
본 절은 VP에 핵심적인 다음 점을 강조하기 위해 포함했다: 이류(advection)는 가역적이며 스큐(포아송) 연산자로 모델링되어야 한다. 반면 비가역성(점성, 사건 소산)은 반드시 대칭 양의 준정 부문을 통해 들어와야 한다.
4.2 퇴화 조건(degeneracy; 열역학적 일관성)
열역학적 일관성은 퇴화 조건으로 보장된다:
두 번째 조건은 ``소산''이 총 에너지를 바꾸지 않고 내부 모드로 재분배한다는 진술과 같다.
4.3 점프 항으로서의 사건 채널
VP에서는 사건이 매끄러운 이류 위에 얹힌 점프 과정(jump process)으로 자연스럽게 모델링된다. 혼성 기술은 다음과 같다:
여기서 $N_r$은 계수 과정(counting process; 병합/언재밍 채널), $\zeta_r$는 점프 사상(jump map)이다.
4.4.1 일반화된 상세평형(GDB)에 의한 H-정리
H-정리로 가는 표준 경로는 사건 커널의 유효 천이율에 일반화된 상세평형 (generalized detailed balance; GDB)을 부과하는 것이다. 그러면 엔트로피 생성은 상대 엔트로피 형태를 취한다:
여기서 $J^\pm$는 정/역 플럭스이다. 이 구조는 순반응이 엔트로피 증가 방향으로 진행됨을 보장한다.
4.4.2 사전(a priori) 파라미터 스케일링(공학 브리지)
VP$\to$NS 브리지가 공학적으로 완결되려면, 대규모 시뮬레이션 이전에 목표 거시 수송계수를 겨냥하도록 VP 파라미터를 선택할 수 있어야 한다. 본 절은 VP 미시 파라미터와 연속체 계수를 잇는 자릿수(오더) 스케일링 법칙을 기록한다. 이 관계들은 정확한 항등식이 아니다. 6절의 Gate 스위트로 검증(또는 기각)될 수 있는 설계 휴리스틱으로 의도된다.
미시 파라미터.
대표 입자 질량을 $m$, 격자 간격을 $a$, 반발/접촉 강성을 $k_{\rm spr}$(접촉 근처에서 쌍 퍼텐셜의 국소 2차 근사에서의 스프링 상수)로 쓴다. 재밍 네트워크의 맥스웰 이완 시간을 $\tau_M$, 국소 언재밍율을 $\lambda_{\rm event}$(2.5.1절)로 두면, 가장 단순한 포아송-리셋 그림에서 $\tau_M\sim 1/\lambda_{\rm event}$이다.
\subsubsection*{4.4.2.1 레짐 A: 언재밍/충돌 지배(기체형)}
유동성이 높아 운동량 수송이 입자 병진 및 혼합에 의해 지배되는 레짐에서는, 운동론 추정이
을 준다. 여기서 $\alpha$는 기하학적 계수(3차원에서 자릿수 $\sim 1/3$), $v_{\rm th}$는 \eqref{eq:kinetic_temperature}의 운동론적 온도에 대응하는 열 속도이다. 이 스케일링은 평균자유행로 $\ell_{\rm mfp}\sim a$인 경우의 $\nu\sim v_{\rm th}\ell_{\rm mfp}$의 아날로그이다.
\subsubsection*{4.4.2.2 레짐 B: 재밍/네트워크 지배(액체/고체형 맥스웰 레짐)}
재밍 한계(힘-사슬 지배)에서는 유효 전단 점성이 응력 이완으로 제어된다:
여기서 유효 전단 모듈러스는
로 스케일한다. 언재밍 사건이 $\lambda_{\rm event}$의 속도로 이방성을 무작위화한다면 최소 추정은
이며 $\beta$는 프로토콜 의존 효율 계수(자릿수 1)이다.
\subsubsection*{4.4.2.3 레이놀즈 수를 겨냥하는 ``노브(knobs)''}
\eqref{eq:mu_jam_scaling}--\eqref{eq:tauM_scaling}과 $\nu=\mu/\rho$, $\rho_0\sim m/a^3$를 결합하면, 재밍 레짐의 동점성(kinematic viscosity) 스케일링은
이다. 여기서 $\Delta t_{\rm event}\sim\tau_M$는 언재밍 사건 사이의 평균 시간이다. 식 \eqref{eq:nu_eff_knob}가 실용적인 ``설계 노브''이다: 목표 레이놀즈 수 $\Rey=UL/\nu_{\rm eff}$를 겨냥하기 위해 (i) 강성 $k_{\rm spr}$ 또는 (ii) 사건 민감도(이는 $\lambda_{\rm event}$ 및 따라서 $\tau_M$를 설정)를 조정할 수 있다. 이때 브리지 스케일 게이트 $D^\ast\ll L$을 만족시키는 것을 함께 요구한다.
\begin{remark}[차원 노트 및 시뮬레이션 단위] 위 스케일링들은 물리 차원에서 썼다. 무차원 시뮬레이션 단위에서 $a=1$, $m=1$로 두면, \eqref{eq:nu_eff_knob}는 자릿수 계수들을 제외하면 $\nu_{\rm jam}\sim k_{\rm spr}\tau_M$로 축약된다. \end{remark}
5. 비점성 한계, 결함 측도, 그리고 온자거형 이상 소산
5.1 연속체 언어: 약한 오일러, 조대화, 그리고 Duchon--Robert 결함
비점성 한계에서 오일러 방정식은 운동 에너지를 보존하지 않는 약해(weak solution)를 가질 수 있다. 이를 정밀하게 부호화하는 한 방법은 조대화(coarse graining)와 그에 수반되는 비선형 에너지 플럭스를 사용하는 것이다.
필터된 에너지 수지.
$G$를 $\int G=1$인 매끄러운 몰리파이어(mollifier)라 하고 $G_\ell(\rv)=\ell^{-3}G(\rv/\ell)$로 정의하자. 속도장 $\uv$에 대해 필터된 장을 $\uv_\ell:=G_\ell*\uv$로, 서브스케일 응력을
로 정의한다. 약한 오일러 해 $\uv$(비압축, $\nabla\!\cdot \uv=0$)에 대해 필터된 운동에너지 수지는
여기서 스칼라 $\Pi_\ell(\xv,t)$는 스케일 $\ell$을 가로지르는 국소 에너지 플럭스이다.
Duchon--Robert 결함.
Duchon과 Robert는 적절한 약해(예: $\uv\in L^3_{\rm loc}$)에 대해 $\Pi_\ell$이 $\ell\to 0$에서 분포적 극한을 가진다는 것을 보였다:
그리고 국소 에너지 수지는
가 된다. 편리한 증분 표현은
이다.
\begin{lemma}[H\"older 경계: $1/3$보다 매끄러우면 결함이 없다]\label{lem:holder_DR} $\uv$가 지수 $h>1/3$의 국소 H\"older 연속이라 하자. 즉 작은 $|\rv|$에 대해 $|\delta\uv(\rv)|\le C|\rv|^h$가 성립한다고 하자. 그러면 $\mathcal D(\uv)=0$이다. \end{lemma} \begin{proof} $|\nabla G_\ell(\rv)|\lesssim \ell^{-4}$이고 지지가 $|\rv|\lesssim \ell$에 놓인다는 것을 사용하면, \eqref{eq:DR_increment_formula}로부터 $|\Pi_\ell|\lesssim \ell^{-4}\int_{|\rv|\lesssim \ell}|\rv|^{3h}\,d\rv \lesssim \ell^{3h-1}\to 0$ ( $\ell\to 0$ )을 얻는다. 여기서 $h>1/3$이면 $3h-1>0$이므로 극한이 0이다. \end{proof}
따라서 온자거형 이상 소산 채널($\mathcal D(\uv)\not\equiv 0$)은 속도 거칠기가 $1/3$ 임계값 이하(또는 그 부근)에 있을 때만 양립 가능하다.
5.2 VP 언어: 이산 결함으로서의 사건 소산
VP는 결함 측도에 대한 명시적이고 이산적인 후보를 제공한다: 언재밍/병합 유형 사건에서의 누적 결합 에너지 방출이다.
시공간 측도로서의 사건 소산.
사건 $k$가 $(\xv_k,t_k)$에서 발생하고 방출 에너지가 $\Delta E_{{\rm bind},k}\ge 0$라 하자. 다음의 시공간 사건 측도를 정의한다:
시간 마지널(time-marginal)은 부록~C.2에 있다. 국소 사건 소산 밀도 $\epsilon_{\rm events}(\xv,t)$는 조대화 부피와 시간창을 선택한 후에만 존재한다. 측도 정식화는 사건이 이산적일 때 생기는 모호성을 피한다.
일관성 진술(에너지 항등식의 한계).
점성을 $\nu$로 갖는 VP-정보 흐름의 족 $\uv^\nu$를 생각하자(가능하게는 $\nu\to 0$). 분포 의미에서 에너지 수지가 다음 꼴이라고 하자:
여기서 $\mu_{\rm events}^\nu$는 음이 아닌 시공간 측도이다. $\uv^\nu\to \uv$가 $L^3_{\rm loc}$에서 성립하고, 측도들이 $\nu|\nabla\uv^\nu|^2\,d\xv dt \rightharpoonup \mu_{\rm visc}$, $\mu_{\rm events}^\nu \rightharpoonup \mu_{\rm evt}$로 약수렴한다고 가정하자. 그러면 극한 $\uv$는 결함
를 갖는 약한 오일러 에너지 수지를 만족한다. 특히 $\mu_{\rm visc}\to 0$(점성 채널 소실)인데도 $\mu_{\rm evt}\not\equiv 0$이면, 남는 결함은 순수하게 사건이 유도한다.
지지(support) 국소화를 반증 가능한 게이트로 취급.
때때로 더 강한 주장으로, 사건 활동의 공간 지지가 극한 오일러 해의 특이 집합(singular set)에 수렴한다는 것을 원한다. 본 백서는 이를 \GATE\ 항목으로 취급한다: 진단이 (i) 사건 위치가 속도 증분이 $1/3$ H\"older 임계값을 위반하는 영역(보조정리~\ref{lem:holder_DR})에 집중하고, (ii) 그 집중이 해상도/시드 스캔에서 유지됨을 보여줄 때에만 받아들인다. 이산--연속체 사전(dictionary)은 부록~C에 요약되어 있다.
5.3 실용적 이상(anomaly) 진술(반증 가능)
전형적인 반증 가능한 주장은 다음과 같다.
\medskip \noindent이상 주장. 주입이 고정된 정상 시간창에서 $\langle \varepsilon_{\rm inj}\rangle=I>0$라 하자. 어떤 스캔 매개변수(예: 점성 $\nu\to 0$ 또는 사건 코어 크기 $r_c\to 0$)가 존재하여
이면서 예산 닫힘 \eqref{eq:budget_window}이 허용오차 내에서 성립한다.
5.3.1 강건성: 점와도 수와 시드 앙상블(메트리플렉틱 기준)
소산-포화 플롯(그림~\ref{fig:dissipation_saturation})은 올인원 DOI 번들에 포함된 재현성 패키지(metriplectic\_onsager\_repro/)로 생성된다. 그 패키지에서 사건 구동 소산은 $\varepsilon_{\rm bind}\equiv\langle \varepsilon_{\rm events}\rangle_W$ (결합/병합 사건)으로 보고된다.
최소한의 강건성 진단 두 가지는 다음과 같다.
- 점와도 수 스캔(``$N_{\rm v$-스캔'').} 이산-와도 메트리플렉틱 모형의 자유도 수인 점와도 개수 $N_{\rm v}$를 변화시키고, 그에 따른 $\varepsilon_{\rm bind}(Re_{\rm eff})$를 보고한다.
- 시드 앙상블 분산. 모형 파라미터(예: 병합 코어 $r_c$)를 고정한 채로 무작위 초기 시드를 여러 번 반복하여 고유한 산포(scatter)를 정량화한다.
\begin{remark}[기호 충돌 회피: $N_{\rm v}$ vs 격자 해상도 $N$] 6절에서 $N$은 나비에--스토크스 기준 시뮬레이션의 스펙트럴 격자 해상도를 뜻한다. 본 절에서 $N_{\rm v}$는 메트리플렉틱 사건 모형의 점와도 개수이다. \end{remark}
5.4 예시: 2D 와도 병합 시나리오와 유효 레이놀즈 수
사건-결함 아이디어의 한 구체적 구현은, 비점성 한계가 $\nu\to 0$의 직접 극한이 아니라 사건-코어 스케일 $r_c\to 0$의 축소로 대응되는 2차원 와도 모형이다. 이때 $r_c$는 유효 점성의 역할을 한다. 유효 레이놀즈 수를
로 도입한다. 여기서 $U_{\rm rms}$는 RMS 속도, $L$은 박스 크기이다. $\Rey_{\rm eff}$를 증가시키는 것은 큰 스케일 통계를 고정한 채로 $r_c$를 줄이는 것에 해당한다.
이런 모형에서는 종종 두 레짐이 관측된다:
- 영역 1(낮은/중간 $\Rey_{\rm eff$):} 사건 소산이 고전적 점성 추세를 따른다.
- 영역 2(큰 $\Rey_{\rm eff$):} 사건 소산이 0이 아닌 플래토로 포화되어, 온자거형 이상과 양립한다.
5.5 2D 나비에--스토크스(와도 형태)에서의 기준 점성 추세
비교 및 보정을 위해, 2차원 와도 방정식
을 사용해 ``기준(reference)'' 점성 추세를 생성할 수 있다. 영역은 변의 길이가 $L=2\pi$인 주기 박스이며, 유사-스펙트럴(pseudo-spectral) 이산화와 dealiasing을 사용한다.
엔스트로피(enstrophy)와 점성 소산률을 다음과 같이 정의한다:
그리고 $\Rey_{\rm eff}(t):=U_{\rm rms}(t)\,L/\nu$로 정의한다. 편리한 요약 통계는 각 $\nu$에 대해 $\big(\max_t\varepsilon_\nu(t),\ \langle\Rey_{\rm eff}\rangle_{t\in W}\big)$ 쌍이다.
이 진단은 의도적으로 ``노트북 규모(laptop-scale)''이다: 정밀한 관성범위 난류 연구를 위한 것이 아니라, 재현 가능한 기준 곡선을 제공하기 위한 목적이다.
6. 검증 및 재현성 프로그램(Gate 스위트)
6.1 Gate G1: 보존 법칙 건전성(sanity)
\noindent\GATE\ G1(질량). VP(또는 파생 솔버)의 이산화가 총 질량을 보존하며, \eqref{eq:conti}가 약한 형태로 성립함을 확인하라.
\noindent\GATE\ G1(운동량). 내부 힘이 뉴턴의 제3법칙(또는 적절한 반대칭)을 만족하여 응력 표현이 존재함(부록~A)을 확인하라.
6.2 Gate G2: 뉴턴형 레짐 식별
\noindent\GATE\ G2(응력--변형률률 시험). 균질 전단(또는 진동 전단)에서 $\tau$와 $S$를 측정하고 다음을 시험하라:
- 선형성: $\tau_{ij}\propto S_{ij}$,
- 등방성: 비례 계수가 회전된 프레임에서도 동일,
- 국소성: 시험한 레짐에서 고차 기울기(예: $\nabla\nabla\uv$)에 강한 의존이 없음,
- 맥스웰 시간: 응력 이완 커널 $G(s)$를 측정(계단 변형 또는 진동 전단)하여 $\tau_M$을 추출하고, 선언된 창에서 $\mathrm{De}=\tau_M/T_{\rm flow}\ll 1$임을 확인,
- 이방성 감쇠: 패브릭 텐서 $Q$(또는 동등한 이방성 지수)를 측정하고, 창 평균 후 $Q$가 작음을 확인($\Delta t_{\rm cg}\gg\tau_M$),
- 점성 교차 검증: 같은 창에서 \eqref{eq:green_kubo_mu}의 $\mu_{\rm GK}$, \eqref{eq:mu_eff_from_events}의 $\mu_{\rm events}$, \eqref{eq:maxwell_mapping}의 맥스웰 추정 $\mu_{\rm Maxwell}\approx G\,\tau_M$ 을 비교하고, 선언된 허용오차 내에서 일치함을 요구하라. 불일치는 비뉴턴형 응답 또는 시간창 선택 오류를 시사한다.
레짐의 유효 범위와 피팅된 $\mu_{\rm eff},\lambda_{\rm eff}$를 선언하라.
6.3 Gate G3: 이상 스캔과 예산 닫힘
\noindent\GATE\ G3(스캔). $\nu\to 0$(또는 코어 크기 스캔)을 수행하고, $\varepsilon_\nu$, $\varepsilon_{\rm events}$, $\varepsilon_{\rm inj}$의 시간창 평균을 계산하라. 해상 유동 예산 \eqref{eq:resolved_flow_budget}의 창 형태를 요구한다:
정상 창에서는 드리프트 항이 무시 가능하여 \eqref{eq:budget_window}로 단순화되고, 그 다음 $\langle\varepsilon_{\rm events}\rangle$의 포화를 시험한다.
6.4 Gate G4: 기준 나비에--스토크스 곡선(선택이지만 강력 권장)
이 게이트는 VP/사건 모형이 비교할 수 있는 재현 가능한 점성 벤치마크를 구축한다.
기준 PDE(2D, 주기).
변의 길이가 $L=2\pi$인 이중 주기 정사각 영역에서 와도 형태 \eqref{eq:2D_vorticity_NS}를 푼다. $\nabla^2\psi=\omega$를 풀고 $\uv=\nabla^\perp\psi$로 두어 $\omega$로부터 $\uv$를 복원한다.
수치(최소).
표준 선택은 $N^2$ 콜로케이션 점과 $2/3$ dealiasing을 갖는 유사-스펙트럴 이산화이다. 시간 적분은 RK4 또는 지수 시간차분(ETD) 스킴을 사용할 수 있다.
초기 조건(난류 유사, 노트북 친화).
재현 가능한 간단한 옵션은 소수의 가우시안 와도(무작위 위치/부호)의 합, 또는 밴드 제한된 무작위 와도장이다. 목표는 점근적 관성범위를 만드는 것이 아니라 안정적인 감쇠 곡선을 얻는 것이다.
파라미터 스캔.
작은 점성 집합(예: $\nu\in\{0.05,0.02,0.01,0.005\}$)을 택하고, 각 실행에서 다음을 계산한다:
- 엔스트로피 $Z(t)=\frac12\langle\omega^2\rangle$,
- 점성 소산 $\varepsilon_\nu(t)=2\nu Z(t)$,
- 유효 레이놀즈 수 $\Rey_{\rm eff}(t)=U_{\rm rms}(t)L/\nu$.
곡선을 위한 대표 쌍은 $\big(\max_t\varepsilon_\nu(t),\ \langle\Rey_{\rm eff}\rangle_{t\in W}\big)$이다.
해상도 검증(선택).
겹치는 점성 구간에서 격자 해상도에 대한 민감도가 작음을 확인하기 위해, 한두 개 점성을 더 높은 해상도(예: $256^2$, $512^2$)에서 반복한다.
6.5 포함된 나비에--스토크스 기준 데이터와 ``저해상도''의 의미
본 백서는 주로 해석적이지만, 6.4절의 Gate 논리를 뒷받침하기 위해 최소한의 나비에--스토크스 기준 데이터셋과 스크립트를(동반 재현성 아카이브를 통해) 함께 제공한다.
\begin{remark}[표기 노트] 본 절에서 $N$은 나비에--스토크스 솔버의 스펙트럴 격자 해상도(방향당 콜로케이션 점 수)를 뜻한다. 이는 5.3.1절의 메트리플렉틱 강건성 플롯에서 사용한 점와도 수 $N_{\rm v}$와 무관하다. \end{remark}
``저해상도''의 의미.
유사-스펙트럴 2D 나비에--스토크스에서 ``해상도''는 보통 콜로케이션 점 수 $N^2$를 의미한다. 표준 $2/3$ dealiasing을 쓰면, 유지되는 최고 파수는 $k_{\max}\approx N/3$이므로, $N=64$는 방향당 활성 푸리에 모드가 대략 $k_{\max}\approx 21$임을 뜻한다. 이는 정밀한 관성범위 난류 연구에 필요한 해상도보다 훨씬 낮다. 그러나 여기서 사용하는 특정 진단---보통의 점성 스캔에서 추출되는 \( (Re_{\rm eff}, \max_t\varepsilon_\nu(t)) \) 쌍---에 대해서는, $N=64$가 빠른 노트북 규모 보정 곡선으로 쓸 수 있다.
기준 쌍과 해상도 오버레이.
표~\ref{tab:NS_ref_pairs}는 추출된 $(Re_{\rm eff},\max_t\varepsilon_\nu)$ 쌍을 나열한다. 그림~\ref{fig:NS_resolution_overlay}는 $N=64$ 기준과, $N=256$, $N=512$ 고해상도 점검을 오버레이한다. 겹치는 점 $\nu=0.005$에서, $N=64$와 $N=512$의 상대 차이는 작다 ($Re_{\rm eff}$에서 \(\approx 1.15\%\), $\max_t\varepsilon_\nu\)에서 \(\approx 0.72\%\)). 이는 이 제한된 목적에 대해 기준 곡선이 사실상 수렴했음을 시사한다.
6.6 Gate G5: 하드웨어-인-더-루프 매핑(선택)
이 게이트는 본 백서의 연속체 파라미터를 하드웨어 시험대에서 측정 가능한 관측량과 연결한다 (예: ``Black Copper'' 열 추출, 광자/고체 VQC 요소, 마이크로채널 리그). 나비에--스토크스 유도를 검증하는 데 필수는 아니지만, 브리지를 공학적으로 사용 가능(engineering-ready)하게 만든다.
\noindent\GATE\ G5-A(점성 $\to$ 점성 발열/열 신호). 어떤 뉴턴형 레짐에서든 비가역 기계 파워 밀도는
이다. 최소 열 스케일링(유효 열전도도 $k_{\rm eff}$, 열 길이 $L_T$를 갖는 정상 전도)은
이다. 간격이 $h$인 평면 Couette 보정 셀에서 벽 속도 점프가 $\Delta U$이면 $S:S=\tfrac12(\Delta U/h)^2$이고, 등온 벽의 정확한 전도 해는
를 준다.
\noindent벽 노트. 위 Couette 스케일링은 무슬립 레짐을 가정한다. 본 권에서 기본 미시 프로토콜은 $b\approx 0$을 목표로 하는 BC-W2A(frozen-VP 벽)이지만, 그럼에도 BC-W3는 레짐 확인을 위해 $b$를 측정할 것을 요구한다. 슬립 길이 $b$를 갖는 부분 슬립이 발생하면, 슬립-보정식 \eqref{eq:couette_slip_temp}를 사용하거나, 속도 프로파일/유량 데이터로부터 $(\mu,b)$를 공동 피팅하라. 비고~\ref{rem:wall_protocol}을 보라.
통과 기준(예). 측정된 $\Delta T(\Delta U)$로부터 $\mu_{\rm eff}$를 피팅하고, 선언된 뉴턴형 창에서 $\mu_{\rm eff}$가 레이트-독립임을 확인하라. $\Delta T<10\,\mathrm{mK}$ 같은 설계 목표는 운용상의 ``저(低)-$\mu_{\rm eff}$'' 레짐을 표시하는 데 쓸 수 있으나, 수치 임계값은 장치 및 열 경로마다 선언되어야 한다.
\medskip \noindent\GATE\ G5-B(이상 $\to$ 사건-버스트 신호). 고전적 점성 외에 사건 채널이 존재한다면, 파워 예산에서 점성 기여를 뺀 잔차
는 음이 아니어야 하며, 가우시안 잡음이 아니라 버스트(bursty) 통계(간헐적 스파이크)를 보일 수 있다. 운영적으로는 (i) 정상 창에서의 예산 닫힘, (ii) 온도/잡음/파워 추적에서의 비가우시안 증분 통계 또는 임계값 기반 ``버스트'' 사건 으로 검출할 수 있다. 통과 기준(예). 피팅된 $\mu_{\rm eff}$(또는 $\nu_{\rm eff}$)를 감소시키는 제어 스캔 하에서, 시간 평균 잔차 $\langle \varepsilon_{\rm events}\rangle_W$가 0이 아닌 플래토로 포화되는지, 동시에 $\langle\varepsilon_\nu\rangle_W\to 0$인지 시험하라. 이는 온자거형 이상 소산 주장에 대한 하드웨어 아날로그이다.
\medskip \noindent에너지 회계 노트. ``자기 냉각(self-cooling)'' 주장은 반드시 완전한 에너지 수지와 함께 진술되어야 한다. 측정된 온도가 감소할 수 있는 상황(에너지가 내부 저장고로 재지향되거나 감시되지 않은 채널로 배출되는 경우)이 존재하더라도, 총 예산은 결국 닫혀야 한다.
7. \texorpdfstring{$\Pi$
본 절은 준-정상 난류 시간창을 진단하고 사건 소산 주장을 스케일-인식 방식으로 조직하는 데 유용한 무차원 불변량들을 도입한다. 나비에--스토크스를 유도하는 데 필수는 아니지만, 본 백서를 ``최종'' 유체역학 닫힘 문서로 사용할 때는 권장된다.
7.1 정의: \texorpdfstring{$\Pi_T$, $\Pi_L$, $\Pi_{ST
$\varepsilon_{\rm bind}$를 시간창 평균 사건/결합 소산률이라 하자 (사건 채널이 결합형일 때 $\varepsilon_{\rm bind}\equiv \langle \varepsilon_{\rm events}\rangle_W$로 둔다). $\Delta F_{\rm crit}$는 전이 주기에 연관된 ``임계'' 자유에너지 간극(gap), $\sigma_{\rm eff}$는 유효 엔트로피 생성 스케일(파워$\times$길이$^{1+\alpha}$)이라 하자.
시간 및 길이 불변량을 다음과 같이 정의한다:
여기서 $T$는 시간창 길이, $L$은 시스템(또는 외부) 스케일, $\alpha$는 스케일링 지수, $C_\alpha$는 무차원 보정 상수이다.
결합 불변량은
이며, 가중치 $a,b>0$는 사용자가 선택한다. 작은 $\delta_{ST}$는 $(\log\Pi_T,\log\Pi_L)$ 공간에서 직선 ``접촉선(contact line)''을 시사한다.
7.2 RG 접촉 조건
스케일 변환 $L\mapsto \lambda L$($\lambda>1$)을 고려하고 다음 스케일링 법칙을 가정하자:
그러면 고정점에서 $\Pi_L$의 불변성은 다음의 접촉(고정점) 조건을 함의한다:
고정점에서 벗어나면 $(1+\alpha)-\psi-\chi$의 부호가 조대화(coarse-graining) 하에서 $\Pi_L$의 단조 추세를 나타낸다.
7.3 이상 닫힘 정리(시간창 형태)
다음 명제는 예산이 닫힌 준-정상 시간창에서 사건 소산 이상 진술을 요약한다.
\begin{proposition}[점성 소실 한계에서의 사건 이상(시간창 형태)] $(\nu,\gamma)$(점성/마찰 유사 파라미터)로 지표화된 VP/유동 상태 족이 존재하여,
- 양의 주입: $(\nu,\gamma)\to (0,0)$에서 $\langle\varepsilon_{\rm inj}\rangle_W \to I>0$.
- 에너지 타이트니스: $\sup_{\nu,\gamma}\sup_{t\in W}\mathbb{E}[H_{\rm flow}(t)]<\infty$.
- 예산 닫힘: 선언된 허용오차 내에서 $\langle\varepsilon_{\rm inj}\rangle_W= \langle\varepsilon_\nu+\varepsilon_\gamma+\varepsilon_{\rm events}\rangle_W$.
라고 하자. 만약 $(\nu,\gamma)\to(0,0)$에서 $\langle\varepsilon_\nu+\varepsilon_\gamma\rangle_W\to 0$이면,
가 따른다. 즉 비점성/무마찰 한계에서 총 소산은 사건 채널이 운반한다. \end{proposition}
7.4 Gate 사용법
\noindent\GATE\ (G6) $\Pi$-진단. 본 백서가 준-정상 보편성 또는 RG 접촉을 주장한다면, $(\Pi_T,\Pi_L,\Pi_{ST},\delta_{ST})$를 표준 진단으로 보고하고 다음과 같은 통과/실패 기준을 강제하라:
허용오차 $\varepsilon_T,\varepsilon_L,\varepsilon_{ST}$는 각 실험/시뮬레이션 스위트마다 선언되어야 한다.
\appendix
부록 A. Irving--Kirkwood 응력과 정확한 운동량 수지
본 부록은 조대화된 운동량 방정식 \eqref{eq:mom_sigma}의 표준 Irving--Kirkwood(IK) 유도 스케치를 기록한다. 이는 VP 프레임워크의 독창적인 부분이 아니다. 고전 결과를 본 문서의 표기 및 커널 관례로 맞춘 것이다.
\subsection*{A.0 설정과 항등식}
1절의 조대화 정의를 사용한다. 편의상 지표 $i$는 VP 캐리어를 나타낸다. 질량 밀도와 운동량 밀도는
이다. $\mathbf j=\rho\uv$를 도입하고, 특이 속도(국소 유동에 대한 상대 속도)를
로 둔다. 그러면
가 성립한다.
VP 운동 방정식은 \eqref{eq:vp_newton}이며, 내부 힘은 쌍힘으로 분해된다고 가정한다:
\subsection*{A.1 운동론적 부분}
운동량 밀도의 시간 미분은
두 번째 항에 대해 $\partial_t W_\ell(\xv-\xv_i)=-(\vv_i\cdot\nabla)W_\ell(\xv-\xv_i)$이므로,
따라서
여기서 $\vv_i=\uv+\cv_i$를 대입하고 \eqref{eq:peculiar_sum_zero}을 사용하면, 운동론적 플럭스는
로 분해된다. 따라서 운동론적 응력 텐서를
로 정의하면,
\subsection*{A.2 상호작용 부분(쌍힘)}
이제 내부 힘 기여를 처리한다. \eqref{eq:vp_newton}에서
쌍힘 분해를 사용하면
다음 선분 적분 항등식을 사용한다:
따라서
여기서 상호작용 응력 텐서를
로 정의한다. 그러면
\subsection*{A.3 결합 표현}
A.1--A.2를 합치면, 전체 코시 응력
이 조대화된 운동량 수지
를 만족하게 된다. 이는 명제~\ref{prop:momentum}의 내용이다.
부록 B. 등방 선형 응답의 표현 정리(뉴턴형 닫힘)
본 부록은 2.1절의 ``조건부 뉴턴형 닫힘''을 뒷받침하는 대표적인 표현 정리를 기록한다. 핵심은 다음이다: 객관적이며 등방적인 2차 텐서의 선형 함수는 $\nabla\uv$의 대칭 부분에 대한 뉴턴형 조합밖에 없다.
\subsection*{B.1 등방 선형 사상: $\nabla\uv\mapsto \tau$}
$\mathbb L:\mathbb R^{3\times 3}\to \mathbb R^{3\times 3}$를 선형 사상이라 하자. 목표는, 다음 조건을 만족하는 모든 $\mathbb L$의 형태를 분류하는 것이다:
- 객관성/회전-등변성: 임의의 회전 $Q\in SO(3)$와 임의의 텐서 $A$에 대해
- 응력 대칭성: 모든 $A$에 대해 $\mathbb L(A)$는 대칭이다.
표준 결과에 따르면, 이러한 사상은 두 개의 스칼라 계수로 매개변수화된다:
여기서 $\mathrm{sym}(A):=\tfrac12(A+A^\top)$이다. 또한 자취-없는 대칭 텐서 $S$와 순수 자취 성분을 분리하면
따라서 \eqref{eq:isotropic_linear_map}은 본문 \eqref{eq:newtonian_stress}와 동일하다 (체적 점성 $\zeta=\lambda+\tfrac23\mu$를 사용).
\subsection*{B.2 증명 스케치}
간단한 방식은 기저(eigenbasis)와 불변량을 사용하는 것이다.
먼저 선형성과 회전-등변성은 $\mathbb L$이 $A$의 불변량들(자취와 대칭/반대칭 분해)만을 사용할 수 있음을 의미한다. 대칭성 요구는 $\mathbb L(A)$가 반대칭 성분에 의존할 수 없음을 강제한다. 따라서 $\mathbb L(A)$는 $\mathrm{sym}(A)$와 $\mathrm{tr}(A)\Id$의 선형 결합이어야 한다.
좀 더 구체적으로, $A$를 $A=\mathrm{sym}(A)+\mathrm{skew}(A)$로 분해하자. 회전-등변성은 $\mathbb L$이 $\mathrm{skew}(A)$를 대칭 텐서로 보내는 유일한 방법이 0으로 보내는 것임을 함의한다(반대칭 텐서는 회전 하에서 리 대수 표현을 따르며, 등방 대칭 텐서 표현과 섞일 수 없다). 따라서 $\mathbb L(A)=\mathbb L(\mathrm{sym}(A))$이다.
이제 $\mathrm{sym}(A)$는 대칭 텐서이므로, 회전으로 대각화할 수 있다. 대각 텐서에 대한 $\mathbb L$의 값은 축 방향에 대해 동일하게 행동해야 하므로, 두 개의 독립 계수만 남는다: 하나는 자취-없는 전단 부분에 대한 계수( $2\mu$ ), 다른 하나는 자취 부분에 대한 계수( $\lambda$ ). 따라서 \eqref{eq:isotropic_linear_map}을 얻는다.
\begin{remark}[왜 ``표현 정리''가 게이트와 연결되는가] 표현 정리는 수학적 분류 결과이다. 그러나 그것이 적용되려면, 실제 응력 응답이 (i) 선형, (ii) 객관적, (iii) 등방적이라는 물리적 전제가 필요하다. 따라서 2.1절에서는 이를 \GATE\ 로 분류했다: VP 레짐이 선언되고, 응력--변형률률 시험이 그 전제를 통과한 뒤에야 뉴턴형 형태가 따라온다. \end{remark}
부록 C. 이상 소산을 위한 이산--연속체 사전(dictionary; 정교화)
본 부록은 VP 사건 소산을 Duchon--Robert 결함의 이산 대응물로 해석하기 위해 사용한 비공식 ``사전(dictionary)''을 더 정교화한다.
\subsection*{C.1 연속체: 작은 스케일 플럭스로서의 결함}
약한 오일러 해에 대해 결함 $\mathcal D(\uv)$는 \eqref{eq:filtered_energy_balance}의 필터된 비선형 플럭스 $\Pi_\ell$의 분포적 극한으로 정의된다:
또는 동치로 증분 공식 \eqref{eq:DR_increment_formula}로 정의된다. 핵심 성질은 다음이다: (i) 적절한 약해에 대해 $\mathcal D(\uv)\ge 0$, (ii) $\uv$가 지수 $>1/3$의 H\"older 연속이면 $\mathcal D(\uv)=0$(보조정리~\ref{lem:holder_DR}).
\subsection*{C.2 VP: 양의 측도로서의 사건 소산}
VP 사건-확장 모형에서는 내부에너지 증가가 이산 사건 시각에서 기록된다. 사건이 시각 $\{t_k\}$에서 발생하고 방출 에너지가 $\Delta E_{{\rm bind},k}\ge 0$라면, 시간에 대한 사건 소산 측도를
로 정의한다. 이 측도의 절대연속 부분(존재한다면)은 매끄러운 ``율(rate)''에 대응하고, 그렇지 않으면 순수 원자적(atomic; 디랙 스파이크)이다.
임의의 관측 시간창 $W=[t_0,t_1]$에 대해
이며 시간창 평균 사건 소산률은 $\langle \varepsilon_{\rm events}\rangle_W = (|\Omega|\,|W|)^{-1}\int_W d\mu_{\rm events}$이다.
\subsection*{C.3 매칭 원리와 비점성 한계}
의도한 브리지는 다음이다:
엄밀한 동일시는 두-스케일 극한(공간 $\ell\to 0$과 미시 상관 스케일 $D^\ast\to 0$) 그리고 조대화 속도장들의 수렴 진술을 요구한다. 본 백서에서는 이를 \GATE\ 항목으로 취급한다: 시뮬레이션이 사건 활동의 공간 집중이 해상된 속도장이 $1/3$ H\"older 임계값을 위반하는 영역을 추적함을 보여줄 때에만 이 동일시를 받아들인다.
\subsection*{C.4 실용적 공-국소화(co-localization) 시험(명시적 게이트 프로토콜)}
``사건 결함'' 동일시의 가장 강한(그리고 가장 반증 가능한) 버전은 시간 평균 예산 매칭뿐 아니라 공간적 공-국소화 진술이다: 사건 활동은 $\ell\to 0$에서 연속체 플럭스 $\Pi_\ell$가 집중하는 곳으로 집중해야 한다.
시뮬레이션 데이터에서 구현 가능한 최소 프로토콜은 다음과 같다:
- 스케일 사다리 선택. 해상된 범위 안에서 ($\ell_m$이 격자 스케일보다 크고 외부 스케일보다 작도록) $\ell_1>\ell_2>\cdots>\ell_m$을 택한다.
- 시간창 평균 플럭스장 계산. 각 $\ell_k$에 대해 Duchon--Robert 플럭스의 양의 부분을
- 시간창 평균 사건-파워 밀도 계산. 같은 공간 커널 폭 $\ell_k$를 사용하여
- 스케일별 중첩(overlap) 측정. 정규화된 $L^2$ 중첩을
- 선택: H\"older 임계값 필터. 스케일 $\ell_k$에서 ``거칠기 집합''을
로 정의하고, 분석 창 $W$에서 시간 평균을 취한다:
를 정의한다. 그러면 $\langle E^{\rm evt}_{\ell_k}\rangle_\Omega=\langle\varepsilon_{\rm events}\rangle_W$이다.
로 정의한다. 공-국소화 주장은 $\ell_k\downarrow 0$에서 $\mathrm{OL}(\ell_k)$가 0에서 떨어진 값으로 유지되고, 시드/해상도 변경에도 강건함을 요구한다.
로 정의한다($C>0$는 선언된 임계값). 더 강한 게이트는 작은 $\ell_k$에서 대부분의 사건 에너지가 $A_{\ell_k}$ 안에서 발생한다는 것이다:
여기서 $\delta$는 선언된 작은 값이다.
\noindent해석. 중첩이 $\ell\to 0$에서 사라진다면, 사건은 여전히 전역 소산 회계 장치로는 쓸 수 있지만, 국소 Duchon--Robert 결함 지지 집합의 좋은 후보는 아니다. 반대로 중첩이 유지되며 $\ell$과 함께 조여진다면, 사건 채널은 연속체 결함의 국소화를 위한 구체적인 이산 모형을 제공한다.
부록 D. 등방 표현 정리로부터의 뉴턴형 닫힘(요약)
본 부록은 2.1절의 논리를 ``한 줄 버전''으로 요약한다.
- 정확한 층. Irving--Kirkwood 평균으로 정의된 응력 $\sigma$는 조대화된 운동량 수지 \eqref{eq:mom_sigma}에 정확히 들어간다(1절 및 부록~A).
- 선형 응답 층. 뉴턴형 창에서 편차 응력 $\tau$는 대칭 변형률률 $S$에 선형적으로 응답한다고 가정한다: $\tau=\mathbb L(\nabla\uv)$.
- 객관성/등방성 층. 창 평균 후, 선형 사상 $\mathbb L$이 회전-등변이고 선호 방향이 없다고 가정한다.
- 표현 정리. 부록~B의 정리에 의해, 그러한 $\mathbb L$의 형태는 유일하게 뉴턴형 형태 \eqref{eq:newtonian_stress}이다.
따라서 ``나비에--스토크스를 유도한다''는 말의 정확한 의미는 다음이다: 뉴턴형/등방/마르코프 레짐이 게이트를 통과하여 선언되면, 보존 법칙(정확) + 표현 정리(수학)로부터 나비에--스토크스 형태가 논리적으로 따라온다.
부록 E. VP\texorpdfstring{$\to$
본 부록은 ``VP 상태로부터 나비에--스토크스''를 주장할 때 따라야 할 최소 체크리스트를 제시한다.
- \LOCK\ 프로토콜 선언. 격자 스케일 $a$, 기준 속도 $c_{\rm ref}$, 시간 스텝, 사건 분류(언재밍 vs 기타), 방출 에너지 $\Delta E_n$ 산정 규칙을 명시한다. 시간창 규약(0.3절)도 함께 고정한다.
- \DERIVE\ 조대화 장 계산. 커널 폭 $\ell_{\rm cg}$를 선택하고 \eqref{eq:rho_def}--\eqref{eq:u_def}로 $\rho,\uv$를 계산한다.
- \DERIVE\ 응력 계산(가능하면). Irving--Kirkwood 응력(부록~A)을 계산하여 $\sigma(\xv,t)$를 얻는다. (가능하지 않으면, 적어도 운동량 플럭스와 힘 수지가 수치적으로 일관되도록 확인한다.)
- \GATE\ 레짐 선언. 브리지 스케일 $D^\ast$와 유동 스케일 $L$을 추정하여 $\mathrm{Kn}_{\rm VP}=D^\ast/L\ll 1$인지 확인한다. 맥스웰 시간 $\tau_M$과 유동 시간 $T_{\rm flow}$로부터 $\mathrm{De}\ll 1$인지 확인한다.
- \GATE\ 뉴턴형 닫힘 시험. 균질 전단/진동 전단에서 $\tau$와 $S$를 측정하고 선형성/등방성을 시험한다. $\mu,\lambda$를 피팅하고 열역학 조건 $\mu\ge 0$, $\zeta\ge 0$(명제~\ref{prop:visc_pos})를 확인한다.
- \GATE\ 점성 교차 검증. 가능하면 $\mu$를 (i) GK \eqref{eq:green_kubo_mu}, (ii) 사건 매칭 \eqref{eq:mu_eff_from_events}, (iii) 맥스웰 추정 \eqref{eq:RTA_mu}로 독립적으로 추정하여 일치 여부를 본다.
- \DERIVE/\GATE\ 예산 닫힘 및 이상 스캔. 사건 로그로부터 $\varepsilon_{\rm events}$를 구축하고, 예산 \eqref{eq:resolved_flow_budget} 및 \eqref{eq:budget_window}의 잔차가 작음을 확인한다. 점성(또는 코어 스케일) 스캔에서 $\langle\varepsilon_\nu\rangle\to 0$이지만 $\langle\varepsilon_{\rm events}\rangle$이 플래토로 포화되는지를 시험한다.
부록 F. 최소 재현성 패키지(manifest)
본 문서의 DOI 번들에는 최소한의 재현성 폴더가 포함되어 있다. 구체적인 경로와 파일 이름은 번들 구조에 따라 다를 수 있으나, 권장되는 최소 구성은 다음과 같다:
metriplectic\_onsager\_repro/: 그림~\ref{fig:dissipation_saturation} 및 강건성 플롯(그림~\ref{fig:robustness_Nscan}, \ref{fig:robustness_seedscatter})을 재현하는 스크립트/노트북.ns\_reference\_2d/: 6.4절의 2D 나비에--스토크스 기준 곡선을 생성하는 최소 유사-스펙트럴 솔버/스크립트.data/: 표~\ref{tab:NS_ref_pairs}에 해당하는 추출 쌍과 기본 로그.
\noindent정책. 재현성 패키지는 ``최신/최적'' 구현이 아니라, 최소, 안정적, DOI 고정 참조 구현을 목표로 한다. 향후 버전은 새로운 DOI로 배포한다.
부록 G. 사건 로깅과 결함 측도를 위한 빠른 의사코드
본 부록은 사건 로그가 어떻게 수집되고 예산/결함 진단으로 들어가는지 한눈에 보기 위한 미니멀 의사코드를 제공한다. 구현 언어는 임의이며, 아래는 개념적 골격이다.
# Pseudocode: event logging + resolved-flow energy budget
initialize VP system (positions x_i, velocities v_i, masses m_i)
initialize event_log = []
for each micro-step n:
# advance VP dynamics
update positions, velocities
# detect events (unjam/merge/...)
if event_detected:
compute released_energy DeltaE >= 0
record event:
event_log.append( (t_n, x_event, DeltaE, event_type) )
# compute coarse-grained fields if needed
compute rho(x), u(x) via kernel W_l
# compute injected power and viscous dissipation (if applicable)
eps_inj(t) = <rho f·u>_Omega
eps_nu(t) = <2 mu S:S + zeta (div u)^2>_Omega # Newtonian window only
# compute event dissipation as measure-valued spikes
eps_events(t) = (1/|Omega|) sum_{events at t} DeltaE * delta(t - t_event)
# After simulation: choose a time window W=[t0,t1]
Eflow(t) = < 0.5 rho0 |u|^2 >_Omega
budget_residual =
| <eps_inj>_W - <eps_nu>_W - <eps_events>_W - (Eflow(t1)-Eflow(t0))/|W| |
/ <eps_inj>_W
\noindent노트. 위 의사코드에서 eps\_events는 일반적인 ``매끄러운 시간 함수''가 아니라 디랙 스파이크들의 합(측도)이다. 따라서 실제 구현에서는 창 평균 $\langle\varepsilon_{\rm events}\rangle_W= (|\Omega|\,|W|)^{-1}\sum_{t_k\in W}\Delta E_k$ 를 직접 계산하는 것이 가장 안정적이다.
부록 H. 사건 점프를 포함한 해상 유동 예산의 분포적 유도
본 부록은 해상 유동 예산 \eqref{eq:resolved_flow_budget}을 ``사건은 에너지 점프를 만든다''는 규약과 함께 분포(distribution) 의미로 정식화한다.
\subsection*{H.1 점프-포함 에너지 곡선}
시간에 대한 해상 유동 에너지를 $E_{\rm flow}(t)$라 하자. 점성 나비에--스토크스(또는 해상된 점성 항을 갖는 VP 흐름)는 사건 사이에서 매끄럽다고 하자. 사건 시각 $t_n$에서 $E_{\rm flow}$는 점프 손실을 갖는다:
따라서 $E_{\rm flow}(t)$는 유계 변동 함수(BV)이며, 분포 미분은 절대연속 부분(사건 사이의 매끄러운 진화)과 원자적 부분(점프)으로 분해된다.
\subsection*{H.2 분포 미분과 예산 등식}
매끄러운 구간에서의 에너지 방정식 \eqref{eq:energy_NS}는
점프를 포함하는 분포적 등식은
이며, 마지막 항이 $\varepsilon_{\rm events}(t)$의 정의와 정확히 일치한다. 따라서 \eqref{eq:resolved_flow_budget}을 얻는다.
\subsection*{H.3 시간창 적분과 정상 창}
위 분포 등식을 $W=[t_0,t_1]$에서 적분하면, 기본정리(분포적 형태)로
를 얻는다. 이를 $|W|$로 나누면 본문 창 예산이 된다. 정상 창에서는 왼쪽의 드리프트가 작아 \eqref{eq:budget_window}로 축약된다.
부록 I. (참고) 3차원 비압축 나비에--스토크스 밀레니엄 문제의 표준 진술
본 부록은 나비에--스토크스 밀레니엄 문제(전역 해의 존재/매끄러움 또는 유한시간 폭발)의 표준 진술을, 본 문서의 맥락에서 참고로 기록한다. 이는 VP$\to$유체 브리지의 핵심 주장과는 별개이며, 본 문서가 이 문제를 해결한다고 주장하지 않는다.
\subsection*{I.1 문제 설정}
3차원에서 비압축 나비에--스토크스 방정식은
이다. 여기서 $\uv(\xv,t)$는 속도장, $p(\xv,t)$는 압력, $\nu>0$는 점성(동점성)이다. 도메인은 일반적으로 $\mathbb R^3$ 또는 3-토러스 $\mathbb T^3$로 취한다. 초기 조건은 발산이 0인 매끄러운(또는 충분히 좋은) 초기 속도장 $\uv(\xv,0)=\uv_0(\xv)$이다.
\subsection*{I.2 밀레니엄 문제(개요)}
클레이 수학연구소의 밀레니엄 문제 중 하나는 다음을 묻는다:
- 주어진 발산 0의 매끄러운 초기 데이터 $\uv_0$에 대해, \eqref{eq:NS3D}--\eqref{eq:incompressibility}는 모든 $t\ge 0$에 대해 유일한 매끄러운 해 $\uv(\xv,t)$를 가지는가?
- 또는 어떤 초기 데이터에 대해 유한 시간에 매끄러움이 파괴(예: $\|\nabla\uv\|_\infty$ 폭발)될 수 있는가?
VP-기반 유체역학의 관점에서 이는 다음과 같은 배경을 제공한다: 연속체 PDE 수준에서의 ``전역 정칙성''은 깊은 문제이며, 실제 물리/수치에서 관측되는 난류 레짐은 종종 약해/결함 개념(5절)과 자연스럽게 연결된다. 본 백서가 다루는 이상 소산은, 그러한 약한 거동(또는 비매끄러움)이 존재할 수 있다는 가능성과 긴밀하게 맞닿아 있다.
\section*{참고문헌(선택)}
\begin{thebibliography}{99}
\bibitem{IK} J.~H. Irving and J.~G. Kirkwood, \newblock The statistical mechanical theory of transport processes. IV. The equations of hydrodynamics, \newblock J. Chem. Phys. 18 (1950), 817--829.
\bibitem{Hardy} R.~J. Hardy, \newblock Formulas for determining local properties in molecular-dynamics simulations: Shock waves, \newblock J. Chem. Phys. 76 (1982), 622--628.
\bibitem{MoriZwanzig} H.~Mori, H.~Fujisaka, and H.~H. Okamoto, \newblock A new expansion method in the theory of nonequilibrium statistical mechanics, \newblock Prog. Theor. Phys. 51 (1974), 109--122.
\bibitem{Kubo} R.~Kubo, \newblock The fluctuation-dissipation theorem, \newblock Rep. Prog. Phys. 29 (1966), 255--284.
\bibitem{Onsager} L.~Onsager, \newblock Statistical hydrodynamics, \newblock Nuovo Cim. 6 (1949), 279--287.
\bibitem{DuchonRobert} J.~Duchon and R.~Robert, \newblock Inertial energy dissipation for weak solutions of incompressible Euler and Navier--Stokes equations, \newblock Nonlinearity 13 (2000), 249--255.
\bibitem{MarsdenRatiu} J.~E. Marsden and T.~Ratiu, \newblock Introduction to Mechanics and Symmetry, \newblock Springer, 1999.
\bibitem{Morrison} P.~J. Morrison, \newblock A paradigm for joined Hamiltonian and dissipative systems, \newblock Physica D 18 (1986), 410--419.
\bibitem{GrmelaOettinger} M.~Grmela and H.~C. \"Ottinger, \newblock Dynamics and thermodynamics of complex fluids. I. Development of a general formalism, \newblock Phys. Rev. E 56 (1997), 6620--6632.
\bibitem{ClayNS} C.~Fefferman, \newblock Existence and smoothness of the Navier--Stokes equation, \newblock Clay Mathematics Institute Millennium Prize Problems (공식 문제 설명), 2006.
\end{thebibliography}