First-order general constitutive equations for relativistic fluids using the projection method in the Chapman-Enskog expansion of the Boltzmann equation

本論文は、射影法とチャップマン・エンスコグ展開を用いて相対論的ボルツマン分布関数に対する一階の非平衡補正を一般化し、フレームと表現の自由を明示的に組み込んだ構成方程式を導出することにより、散逸流をすべての状態変数の微分および弱い外部電磁場と結合させる。

要約

数百万の人々（気体分子）が四方八方に動き回るにぎやかな都市の広場を想像してください。時折、彼らは互いにぶつかり合い（衝突）、時折、穏やかな風や磁場（外部力）に押されます。物理学者たちは、この群衆が全体としてどのように動くか、つまり密度がどのように変化し、「平均的な」人がどの程度の速さで移動し、温度がどのように変動するかを予測したいと考えています。

この論文は、ややカオス的な状態（非平衡状態）、特にアインシュタインの相対性理論の規則が適用される状況（光速を超えるものは存在しない領域）において、その群衆の振る舞いを予測するためのより優れた「規則集」を構築することに関するものです。

以下に、彼らの研究を単純な比喩を用いて解説します。

1. 古い問題：壊れたコンパス

長年にわたり、科学者たちは気体の振る舞いを予測するためにチャップマン・エンスコグ展開と呼ばれる手法を用いてきました。この手法をケーキのレシピだと考えてください。通常のケーキ（非相対論的気体）には非常にうまく機能します。しかし、科学者たちが同じレシピを「相対論的ケーキ」（光速に近い速度で移動する気体）に適用しようとしたとき、結果は惨事となりました。古いレシピは、ケーキが自発的に爆発するか、物理学の法則を破るような振る舞いをすると予測し（不安定性）、物理的にあり得ない結果をもたらしました。

このため、科学者たちは長期間にわたり、この手法が本質的に欠陥があることを恐れて、相対論的流体に対してこの手法を使用することをやめていました。

2. 新しいアプローチ：「射影」法

この論文の著者たちは、このレシピを再び試すことを決めましたが、射影法と呼ばれる非常に具体的かつ厳密な手法を用いました。

群衆の動きを記述しようとしていると想像してください。「群衆がどこにいるか」を定義するには、主に 2 つの方法があります。

• 粒子フレーム：群衆の中心を、人々がどこにいるかによって定義します。
• エネルギーフレーム：群衆の中心を、エネルギー（熱や運動）がどこにあるかによって定義します。

過去には、科学者たちはこれらの定義のいずれか 1 つを選び、それに固執しなければならないと議論していました。間違った方を選べば、数学が破綻してしまうのです。

3. 大きな発見：回すための 2 つの「つまみ」

この論文における最大の画期的な発見は、1 つの定義だけを選ばなければならないわけではないことを示したことです。著者たちは、数学を修正し、あらゆる状況で機能させるために回すことができる**2 つの独立した「つまみ」**を発見しました。

つまみ 1：「フレーム」（誰が観測者か？）

これは、群衆を測定するためにどこに立つかを決めることです。

• この論文は、粒子の視点から、エネルギーの視点から、あるいはその中間の任意の混合から群衆を測定することを選択できることを示しています。
• 比喩：パレードを見ていると想像してください。あなたは歩道に立って（粒子フレーム）、あるいは行進するバンドと一緒にフロートに乗って（エネルギーフレーム）見ることができます。この論文は、歩道に立とうがフロートに乗ろうが、計算を適切に調整すれば、数学が完璧に機能することを証明しています。これにより、数学が「不安定である」という古い恐れは解消されました。

つまみ 2：「表現」（規則をどのように記述するか）

これはより微妙な自由です。どこに立つかを選んだ後でも、群衆の振る舞いの規則をどのように記述するかには依然として選択の余地があります。

• 著者たちは、方程式に特定の「補正項」を追加できることを示しています。これらの項は最終的な物理的な現実（群衆は同じように動く）を変えませんが、力の数学的な記述を変えます。
• 比喩：物語を書くことを考えてください。車の衝突を「車が壁に衝突した」と記述することも、「壁が車に衝突した」と記述することもできます。出来事は同じですが、文の構造は異なります。著者たちは、流体の法則という「文」の構造を、どの「文の構造」を選んでも安定し、因果的（結果が原因より先に起こらない）になるように構成する方法を見つけ出しました。

4. 結果：普遍的な規則集

これら 2 つのつまみを回すことで、著者たちは一般的な方程式群（構成方程式）を導き出しました。

• これらの方程式は、「力」（温度変化や圧力勾配など）と「流束」（熱流や粘性など）を結びつけます。
• 決定的なことに、これらの新しい方程式は安定しています。爆発しません。それらは因果的です（効果は原因の後に起こる）。そしてそれらは双曲的です（情報は無限大の速度ではなく、有限の速度で伝播する）。

5. なぜこれが重要なのか（論文によれば）

この論文は、この手法を用いることで、相対論的流体に対するチャップマン・エンスコグ展開を成功裡に復活させたことを主張しています。彼らは以下のことを示しました。

1. 不安定性に対する古い恐れは、「フレーム」と「表現」の選び方が硬直しすぎていたことに起因していました。
2. これらの選択に柔軟性を許容することで、最も現代的で成功している理論（BDNK 理論として知られる）と一致する理論を導き出すことができますが、それらは粒子の微視的な振る舞い（ボルツマン方程式）から直接導き出されたものです。
3. これは、中性子星や初期宇宙のような高温で高速に移動する流体が、物理学の法則を破ることなくどのように振る舞うかを理解するための、堅固な微視的基盤を提供します。

要約すると：著者たちは、相対論的流体のための壊れた古いレシピに、2 つの柔軟な「調整つまみ」（フレームと表現）を追加し、これらの調整によってそのレシピが完璧に機能し、高速で移動する気体の振る舞いに関する安定した現実的な予測を生み出すことを証明しました。

技術概要

以下は、ガルシア・ペルシアンテ、メンドス、サラバックによる論文「ボルツマン方程式のチャップマン・エンスコグ展開における射影法を用いた相対論的流体のための第一階一般構成方程式」の詳細な技術的概要である。

1. 問題の定義

本論文は、相対論的散逸流体に対する第一階の構成方程式を、動力学理論（相対論的ボルツマン方程式）から直接導出することを扱っている。歴史的に、相対論的流体に適用されたチャップマン・エンスコグ（CE）展開は、古典的なエッカートやランダウの定式化と同様に、不安定で、因果律に反し、不適切な第一階理論へと至ると考えられていた。最近の発展（BDNK 理論）は任意の枠組みにおける安定な第一階理論を提案しているが、標準的な CE 射影法の中で枠組みの選択の自由と表現の選択の自由を明示的に組み込んだ厳密な微視的導出は欠けていた。

著者らの目的は以下の通りである：

• CE 展開を通じて得られた第一階非平衡分布関数を、枠組みと表現の任意の選択を含むように一般化すること。
• これらの選択が、状態変数のすべての微分（力）を含む散逸フラックスを結合する一般の構成方程式へと至ることを示すこと。これには弱い外部電磁場も含まれる。
• 現象論的理論に見られる「枠組み」および「表現」の自由の微視的起源を明確にすること。

2. 手法

著者らは、二体弾性衝突を持つ希薄気体の相対論的ボルツマン方程式に適用されるチャップマン・エンスコグ（CE）展開と射影法（Saint-Raymond の形式および彼らの以前の研究 [14] に従う）を利用している。

導出の主要なステップ：

1. 線形化： 分布関数を $f = f^{(0)} + \epsilon f^{(1)}$ と展開する。ここで $f^{(0)}$ は局所的なジュッター平衡分布である。第一階の補正 $f^{(1)}$ は、衝突演算子 $L$ を含む線形化された積分方程式を満たす。
2. 射影法： 線形化された方程式の解は、衝突演算子の核（$\ker L = \text{span}\{1, p^\mu\}$）の直交補空間 onto 源項を射影することによって構成される。
3. 一般解の構造： $f^{(1)}$ の一般解は、状態変数の勾配によって駆動される特解と、核 $\ker L$ の任意の要素である同次解の和として記述される：
   $$f^{(1)} = -f^{(0)} \left[ \mathcal{P}^{\mu\nu} L^{-1}((p_\mu p_\nu)^\perp) + mA + B^\mu p_\mu \right]$$
   ここで、$A$ と $B^\mu$ は同次部分を表す未定係数である。
4. 枠組みの固定（整合条件）： 係数 $A$ と $B^\mu$ を固定するために、著者らは任意の関数 $g_1(\gamma), g_2(\gamma), g_3(\gamma)$ によって定義される一般的な整合条件（マッチング条件）を導入する：
   $$\int g_i(\gamma) f^{(1)} d\text{vol} = 0$$
   これらの条件は、特定の枠組み（例えば、エッカート、ランダウ、またはトレース固定粒子）を決定する。
5. 表現の自由： 著者らは、特解の中にパラメータ $\hat{\Gamma}_i$ を導入する。これらのパラメータは、クヌッセン数パラメータのより高次の項を乗じるが、「オン・シェル」補正として保持される。これは表現の自由に対応し、平衡状態を変更しないがオフ・シェルにおいて構成関係を変更する項の包含を可能にする。

3. 主要な貢献

• 枠組みと表現の統一された枠組み： 本論文は、整合条件 $g_i$ による枠組みの選択の自由と、パラメータ $\hat{\Gamma}_i$ による表現の選択の自由が、動力学理論において独立した自由度であることを示す厳密な微視的導出を提供する。
• 一般の構成方程式： 著者らは、粒子流 ($J^\mu$) とエネルギー・運動量テンソル ($T^{\mu\nu}$) に対する最も一般的な第一階の構成方程式を導出した。これらの方程式は、散逸フラックス（熱流、拡散、体積/せん断粘性）を、密度、温度、加速度、膨張、および電磁場の勾配を含むすべての可能な熱力学的力に結合する。
• 既知の理論の回復： この形式は、特定の枠組みを特殊な場合として自然に回復する：
  • エッカート枠組み： 粒子拡散をゼロに設定することで固定される。
  • ランダウ枠組み： エネルギー拡散（熱流）をゼロに設定することで固定される。
  • トレース固定粒子（TFP）枠組み： 双曲的で安定な方程式を与えることが以前に示された特定の枠組み。
• BDNK 理論との関連： 導出された構成方程式は、最近提案された BDNK（Bemfica-Disconzi-Noronha-Kovtun）理論と同じ構造的な形式を持つことが示され、それらの理論で使用される現象論的パラメータに対する微視的根拠を提供する。

4. 主要な結果

散逸量（粒子密度補正 $n^{(1)}$、エネルギー密度補正 $e^{(1)}$、圧力補正 $p^{(1)}$、熱流 $Q^\alpha$、拡散流 $J^\alpha$、およびせん断応力 $T^{\alpha\beta}$）に対する導出された構成方程式は、以下の一般的な形式をとる：
$$\text{Flux} = \sum_i c_i \cdot \text{Force}_i$$
ここで、係数 $c_i$ は以下のものに依存する：

1. 微視的輸送係数： 衝突核 ($S_1, S_3, S_5$) から導出されるせん断粘性 ($\eta$)、体積粘性 ($\zeta$)、および熱伝導率 ($\kappa$)。
2. 枠組みパラメータ ($\chi_i$)： 整合関数 $g_i$ の選択によって決定される。枠組みを変更するとこれらの係数がシフトするが、力の基本的なテンソル構造は保存される。
3. 表現パラメータ ($\hat{\Gamma}_i$)： 時間微分と空間微分の特定の組み合わせの包含を可能にする任意のパラメータ。

具体的な知見：

• エントロピー生成： 著者らはエントロピー生成率を計算し、選択された枠組みや表現に関わらず、エントロピー生成における第二階の項が正定値であることを示し、熱力学的整合性を保証している。
• 安定性と因果律： 本論文は、表現の自由（非ゼロの $\hat{\Gamma}_i$）の包含が重要であると論じている。これにより、適切に設定された双曲的で因果律を満たすコーシー問題として定式化される輸送方程式の構築が可能となり、第一階相対論的流体力学の歴史的な不安定性の問題を解決する。
• 力 - フラックス結合： 一般解は、任意の枠組みにおいて、散逸フラックスが $n, T, u^\mu$ の時間および空間微分のすべての勾配の線形結合に結合されることを明らかにしており、従来のエッカート/ランダウの定式化における空間勾配のみに限定されるものではない。

5. 意義

• 微視的基盤： この研究は、現象論的な第一階理論（BDNK など）と動力学理論の間のギャップを埋める。巨視的理論における枠組みや表現の選択の「自由」は恣意的なものではなく、線形化されたボルツマン方程式の解の非一意性から自然に生じることを証明する。
• 不安定性の解決： 表現の自由 ($\hat{\Gamma}_i$) をどのように調整して双曲性と因果律を確保するかを明示的に示すことで、本論文は安定な第一階相対論的流体力学に対する動力学理論の基盤を提供し、第一階理論が本質的に不安定であるという長年の信念に挑戦する。
• 一般性： 導出された方程式は、弱い電磁場の存在下での荷電流体および任意の時空次元 ($d+1$) に対して有効であり、その結果はクォーク・グルーオンプラズマや中性子星の合体など、広範な天体物理学および高エネルギー物理学の文脈に適用可能である。

要約すると、本論文は、チャップマン・エンスコグ展開に内在する数学的自由を体系的に考慮することによって、最も一般的な第一階相対論的流体理論がボルツマン方程式から厳密に導出可能であることを確立し、安定かつ因果律を満たす輸送方程式へと至ることを示している。