Perfect fluids revisited: an action principle approach

本論文は、時間的フローの境界条件を明確にするために、明白に共変的な微分形式の形式を用いて相対論的完全流体の変分原理を再検討し、この原理を零フローへと拡張することが、エンタルピー密度を消失させ、結果として可変な真空エネルギーと零ダストからなるエネルギー・運動量テンソルをもたらすことを動的に強制することを実証するものである。

要約

あなたは、流体（水や空気など）が宇宙の中でどのように動くかという「ルールブック」を書こうとしていると想像してください。物理学では通常、「作用原理」を用いてこれを行います。作用原理とは、いわば「マスター・レシピ（究極のレシピ）」のようなものです。もし手順を正しく守れば、宇宙は自然と、最も少ない労力で済む経路を選びます。それは、川が山を下る際に最も簡単な道を見つけ出すのと似ています。

長い間、物理学者たちは、光よりも遅い速度で動く流体（タイムライク流）のための優れたレシピを持っていました。しかし、光速で動く流体（ヌル流、例えば光のビームや質量のない粒子の流れ）のためのレシピを書くことには苦戦してきました。古いレシピは、影の速度を測定しようとする時のように、計算が破綻してしまったのです。

この論文において、著者であるコスタス・ツァナヴァリス（Kostas Tzanavaris）は、より幾何学的な言語（微分形式）を用いて、遅い流体と速い流体の両方に適用できる新しいレシピを書き直しました。彼の発見の詳細は以下の通りです。

1. 新しい調理道具：材料を切り離して考える

多くの古いレシピでは、シェフは流体の「速度」と流体の「量」を混ぜ合わせてしまっていました。流体が停止したり、光速で動いたりすると、速度と量を分離できなくなるため、数学的に混乱が生じてしまうのです。

ツァナヴァリスは、これらの材料をカウンターの上に別々に並べることにしました。彼は、速度、粒子の数、そしてエントロピー（無秩序さや熱の尺度）を、3つの独立した変数として扱います。

• 比喩： ケーキを焼いている場面を想像してください。古いレシピでは、「小麦粉の量は、どれくらい激しく混ぜるかに依存する」と書かれていました。これでは、混ぜるのをやめた瞬間に数学が壊れてしまいます。ツァナヴァリスは、「小麦粉、卵、そして混ぜる速度を、それぞれ個別に測定しよう」と言ったのです。これにより、たとえ混ぜる速度がゼロになっても、あるいは無限大（光速）になっても、レシピは成立し続けます。

2. 境界のルール：「ディリクレ」問題

パズルを解くときには、その端（エッジ）がどのような状態であるかを知る必要があります。物理学では、これを「境界データ」と呼びます。

• 比喩： 天気を予測しようとしている場面を想像してください。単に推測するだけでは不十分で、地図の境界における温度や風速を知る必要があります。
• ツァナヴァリスは、彼の新しいレシピが、これらの境界に対して自然にルールを設定することを示しています。それは、数学を完璧に機能させるために、エッジの部分で何を固定すべきかを正確に教えてくれます。これは、レシピの中に「縫い始める前に、布の端をピンで留めておかなければならない」と明記されているようなものです。

3. 大きな驚き：「光速」の流体は特別である

この論文の最もエキサイティングな部分は、彼がこのレシピを光速で動く流体（ヌル流）に適用した時に起こることです。

著者は、「光速の流体」は単に非常に速く動いている普通の流体であると考えていました。しかし、数学は非常に特殊で奇妙なルールを強制しました。それは、流体のエネルギーと圧力が、互いに完璧に打ち消し合わなければならないというルールです。

• 比喩： 風船を想像してください。通常、中の空気は外へと押し出し（圧力）、ゴムは内へと引き込みます（エネルギー）。普通の流体では、これらは異なる値です。しかし、光速の流体においては、数学によれば「押す力」と「引く力」が正確に反対で等しくなければならず、その結果、流体の総重量（エンタルピー）はゼロになります。
• 結果： これは単なる奇妙な流体ではありません。それはハイブリッドです。論文は、光速の流体が以下の2つの要素の混合物であることを示しています。
  1. 真空エネルギー： 宇宙の膨張を引き起こす謎のエネルギー（宇宙定数）のようなものですが、変化する圧力を持っています。
  2. ヌル・ダスト（Null Dust）： 自身と相互作用しない、質量のない粒子の流れ（レーザービームのようなもの）です。

4. なぜこれが重要なのか

著者は、これが「普通の」流体になれないことは、数学的な間違いではなく、自然界の根本的な法則であると指摘しています。宇宙は、一般的な流体が光速で動くことを許容しません。もし無理にそうさせようとすれば、物理法則は自動的に、その対象から「流体としての性質」を剥ぎ取り、この特定のハイブリッド（真空エネルギーと粒子流の混合物）へと変えてしまうのです。

まとめ

ツァナヴァリスは、ゆっくり動く流体にも光速で動く流体にも対応できる、堅牢で新しい数学的枠組みを構築しました。

• 遅い流体に対して： それは、古くから信頼されているレシピ（シュッツ・アクション）の、より高度で幾何学的なバージョンです。
• 光速の流体に対して： それは、そのようなものが「普通の」流体ではあり得ないことを明らかにします。それは、空虚な空間のエネルギーと粒子のビームが混ざり合ったもののように振る舞う、非常に特殊で制限された対象でなければなりません。

この研究の素晴らしさは、それが重力（一般相対性理論）の特定のルールに依存していない点にあります。これは流体そのものの純粋な記述であるため、まだ発見されていない重力理論を含む、あらゆる重力理論において理解するために使用できるのです。

技術概要

技術要約：完全流体の再考：作用原理によるアプローチ

問題提起
相対論的完全流体の変分原理は、歴史的に、共変性を不明瞭にするラグランジュ的（粒子世界線の）アプローチ、あるいは、粒子電流を基本変数として扱うことが多い共変的オイラー的アプローチ（Schutzなど）のいずれかによって定式化されてきた。後者のアプローチは、流動がヌル（null）である場合、粒子密度をヌル電流のノルムから回復できないため、退化する。さらに、標準的な定式化では、適切に設定された作用原理に必要とされる特定の境界データが不明瞭であることが多い。本論文は、ティムライク（時空型）およびヌルの流れを一様に扱い、微分形式を用いて明示的に共変的な定式化を行い、境界項を明示的に扱い、かつヌル流体に課される動的な制約を明確にする必要性に対処するものである。

手法
著者は、4次元ローレンツ多様体 $(M, g)$ （計量シグネチャ $(-,+,+,+)$）上の微分形式を用いた幾何学的定式化を採用している。

1. 独立変数： 粒子電流から速度と密度を導出する標準的な扱いとは異なり、本研究では、流体の速度 $u$、粒子数密度 $n$、およびエントロピー密度 $s$ を、制約条件に従う独立なスカラー変数として扱う。
2. ラグランジュ座標： 流体の流れは、ラグランジュラベル $a_i$ （流れ線に沿って一定）と、パラメータ $\tau$ （$\mathcal{L}_u \tau = 1$ を満たす）を用いて記述される。定理1は、因果的ベクトル場に対して、これらの座標の局所的な存在を確立している。
3. 作用原理： ラグランジュ未定乗数を用いて制約を課すために、微分形式を用いた作用を構築する。全ラグランジュ密度は以下の通りである：
   $$\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. 変分解析： 作用は、すべての非計量場（$u, n, s, a_i, \Phi, \Theta, b_i$）および余フレーム $e^\alpha$ に対して変分される。この解析では、境界条件としてのディリクレ・データ（境界上でのポテンシャルおよびラベルの固定）を決定するために、境界項を明示的に追跡する。
5. 応力・エネルギーテンソルの導出： 応力・エネルギーテンソルは、計量を直接変分するのではなく、余フレームを変分することによって導出される。これにより、本定式化は一次形式および非計量的な重力理論（例：アインシュタイン・パラティーニ理論）にも適用可能となる。

主要な貢献と結果

• 適切設定性と境界データ： 本定式化は、変分問題が、速度ポテンシャル ($\Phi, \Theta$) およびラグランジュラベル ($a_i$) が境界上で固定されるディリクレ問題に対応することを実証している。これにより、一貫した作用原理に必要とされる境界条件が明確になった。
• 対称性と保存則： 作用は、内部ポテンシャルの再定義およびラグランジュラベルの再ラベル付けに対応する内部対称性を有する。これらの対称性は、$J_X = F \star u^\flat$（ここで $F$ は再定義の生成関数）という形の保存されたネーター電流を生成する。
• ティムライクの流れ： $c=-1$ の場合、方程式は標準的なSchutzの作用原理を再現する。この系は、粒子数の保存とエントロピーの保存、速度のクレブシュ分解、および標準的な完全流体の応力・エネルギーテンソル $T_{\alpha\beta} = P g_{\alpha\beta} + (\rho+P)u_\alpha u_\beta$ を導き出す。
• ヌルの流れ： $c=0$ の場合、変分原理の拡張により、重大な動的制限が明らかになる。方程式はエンタルピー密度がゼロになることを強制する：
  $$\rho + P = 0$$
  その結果、応力・エネルギーテンソルは、可変な圧力を持つ真空エネルギーのような項と、ヌルダストの項へと分解される：
  $$T_{\alpha\beta} = P g_{\alpha\beta} - f u_\alpha u_\beta$$
  圧力は流れに沿って一定であり（$\mathcal{L}_u P = 0$）、圧力の勾配は、流れがプレ・測地線的（pre-geodesic）であることへの障害を測定する。もし $dP=0$ であれば、このモデルはヌルダスト（BicakおよびKuchar）の作用原理へと帰着する。
• 一般化された重力結合： 物質作用は（余フレーム変分を通じて）重力場方程式から独立して定式化されているため、本構成は、一般相対性理論だけでなく、非計量的な一次重力理論にも適用可能である。

意義
「自然に完全流体の作用をヌルの流れへと拡張することへの障害は、運動学的（kinematical）ではなく、**動的（dynamical）**なものである」というのが本論文の主張である。従来のアプローチは、ヌル電流から速度を定義するという運動学的な退化のために失敗したが、本定式化は、独立な変数を用いても、作用原理自体が動的にエンタルピーをゼロに強制することを示している。

本研究の意義は以下の点にある：

1. 幾何学的明晰さ： 境界項を明示的に扱う、微分形式に基づいた、より共変的なSchutz原理の再定式化を提供したこと。
2. 統一的枠組み： 速度の定義が退化することなく、ティムライクの流れとヌルの流れの両方を単一の変分アンサンブルでカバーできること。
3. 物理的洞察： 「ヌル完全流体」とは一般的な流体ではなく、エンタルピーが消失した、宇宙定数源とヌルダストの中間に位置する高度に制限された系であることを特定したこと。
4. 幅広い適用性： ねじれや非計量性を伴う広範な重力理論に結合可能な、物質作用を確立したこと。