Perfect fluids revisited: an action principle approach

기술 요약: 완벽 유체(Perfect fluids)의 재고찰: 작용 원리 접근법

문제 제기
상대론적 완벽 유체를 위한 변분 원리는 역사적으로 입자 세계선(particle worldline)을 통한 라그랑주 접근법(공변성을 가림) 또는 입자 전류를 근본 변수로 취급하는 공변적 오일러 접근법(예: Schutz) 중 하나로 공식화되어 왔다. 후자의 접근법은 유체 흐름이 널(null)인 경우 퇴화되는데, 이는 널 전류의 노름(norm)으로부터 입자 밀도를 복구할 수 없기 때문이다. 또한, 표준적인 공식화들은 잘 정의된(well-posed) 작용 원리에 필요한 구체적인 경계 데이터(boundary data)를 명확히 다루지 못하는 경우가 많다. 본 논문은 시공간적(timelike) 흐름과 널(null) 흐름을 균등하게 다루며, 경계 항을 명시적으로 처리하고, 널 유체에 부과되는 역학적 제약을 규명하는 미분 형식 기반의 명시적 공변 공식화의 필요성을 다룬다.

방법론
저자는 4차원 로렌츠 다양체 $(M, g)$ (부호 $(-,+,+,+)$) 상에서 미분 형식을 사용하는 기하학적 공식화를 채택한다.

1. 독립 변수: 입자 전류로부터 속도와 밀도를 유도하는 일반적인 방식과 달리, 본 연구에서는 유체 속도 $u$, 입자 수 밀도 $n$, 엔트로피 밀도 $s$를 제약 조건이 있는 독립적인 스칼라 변수로 취급한다.
2. 라그랑주 좌표: 유체 흐름은 흐름선을 따라 일정한 라그랑주 라벨 $a_i$와 매개변수 $\tau$($\mathcal{L}_u \tau = 1$을 만족함)를 사용하여 기술된다. 정리 1은 인과적 벡터장(causal vector fields)에 대한 이러한 좌표의 국소적 존재성을 확립한다.
3. 작용(Action): 작용은 제약 조건을 강제하기 위해 라그그랑주 승수(Lagrange multipliers)를 사용하는 미분 형식을 사용하여 구성된다. 전체 라그랑주 밀도는 다음과 같다:
   $$\mathcal{L} = -[\star(\rho + A) + C \wedge \star u^\flat]$$
   여기서 $A$는 정규화 조건 $g(u,u)=c$ ($c=-1$은 시공간적, $c=0$은 널 흐름을 의미)를 강제하며, $C = n d\Phi + s d\Theta + b_i da_i$는 보존 법칙과 라그랑주 라벨의 불변성을 강제한다. $\Phi, \Theta$는 속도 포텐셜이며, $b_i$는 라벨에 대한 승수이다.
4. 변분 분석: 작용은 모든 비-메트릭(non-metric) 장($u, n, s, a_i, \Phi, \Theta, b_i$) 및 코-프레임(co-frame) $e^\alpha$에 대해 변분된다. 이 분석은 디리클레 데이터(Dirichlet data, 즉 포텐셜과 라벨을 경계에서 고정함)를 결정하기 위해 경계 항을 명시적으로 추적한다.
5. 응력-에너지 유도: 응력-에너지 텐서는 메트릭을 직접 변분하는 대신 코-프레임을 변분함으로써 유도되며, 이를 통해 이 공식이 아인슈타인-팔라티니(Einstein-Palatini)와 같은 1차 및 비-메트릭 중력 이론에 적용될 수 있도록 한다.

주요 기여 및 결과

• 잘 정의된 문제와 경계 데이터: 이 공식화는 변분 문제가 속도 포텐셜($\Phi, \Theta$)과 라그랑주 라벨($a_i$)이 경계에서 고정되는 디리클레 문제에 해당함을 입증한다. 이는 일관된 작용 원리에 필요한 경계 조건을 명확히 한다.
• 대칭성 및 보존 법칙: 작용은 내부 포텐셜 및 라그랑주 라벨의 재라벨링(relabeling)에 대응하는 내부 대칭성을 가진다. 이러한 대칭성은 $J_X = F \star u^\flat$ 형태의 보존된 노터 전류(Noether currents)를 생성한다. 여기서 $F$는 재정의의 생성 함수이다.
• 시공간적 흐름(Timelike Flows): $c=-1$인 경우, 방정식은 표준적인 Schutz 작용 원리를 재현한다. 이 시스템은 입자 수와 엔트로피의 보존, 속도의 클레브시(Clebsch) 분해, 그리고 표준적인 완벽 유체 응력-에너지 텐서 $T_{\alpha\beta} = P g_{\alpha\beta} + (\rho+P)u_\alpha u_\beta$를 산출한다.
• 널 흐름(Null Flows): $c=0$인 경우, 변분 원리의 확장은 중요한 역학적 제한을 드러낸다. 운동 방정식은 엔탈피 밀도가 0이 되도록 강제한다:
  $$\rho + P = 0$$
  결과적으로, 응력-에너지 텐서는 가변적인 압력을 가진 진공 에너지 유사 항과 널 더스트(null dust)의 합으로 분해된다:
  $$T_{\alpha\beta} = P g_{\alpha\beta} - f u_\alpha u_\beta$$
  압력은 흐름을 따라 일정하며($\mathcal{L}_u P = 0$), 압력의 구배(gradient)는 흐름이 프리-지오데식(pre-geodesic)이 되지 못하게 하는 장애물을 측정한다. 만약 $dP=0$이면, 이 모델은 널 더스트(Bicak과 Kuchar)에 대한 작용 원리로 축소된다.
• 일반화된 중력 결합: 물질 작용이 (코-프레임 변분을 통해) 중력장 방정식과 독립적으로 공식화되었기 때문에, 이 구성은 일반 상대론뿐만 아니라 비-메트릭 및 1차 중력 이론에도 적용 가능하다.

의의
본 논문은 완벽 유체 작용을 널 흐름으로 나이브하게 확장하는 데 발생하는 장애물이 기하학적(kinematical)인 것이 아니라 역학적(dynamical)인 것임을 주장한다. 기존의 접근법들은 널 전류로부터 속도를 정의하는 기하학적 퇴화 때문에 실패했으나, 본 공식화는 독립 변수를 사용하더라도 작용 원 자체가 널 흐름에 대해 엔탈피를 0으로 강제한다는 것을 보여준다.

본 연구의 의의는 다음과 같다:

1. 기하학적 명료성: 경계 항을 명시적으로 처리하는, 미분 형식 기반의 명시적 공변적 Schutz 공식화를 제공한다.
2. 통합 프레임워크: 속도의 정의가 퇴화되지 않으면서 시공간적 흐름과 널 흐름을 모두 다룰 수 있는 단일한 변분 안사츠(variational ansatz)를 허용한다.
3. 물리적 통찰: "널 완벽 유체"가 일반적인 유체가 아니라, 엔탈피가 0이 되어 우주 상수 소스와 널 더스트 사이를 보간하는 매우 제한된 시스템임을 밝혀낸다.
4. 광범위한 적용성: 비틀림(torsion)과 비-메트릭성(non-metricity)을 포함한 광범위한 중력 이론에 결합될 수 있는 물질 작용을 확립한다.