電漿物理學/電漿體中的數學工具箱

導論

• 本章匯總分析電漿體理論常用的數學工具，包括無量綱化、線性化與本徵模分析、特徵分解、格林函數與積分變換、漸近展開與多尺度法、穩定性判據與能量原理。
• 目標：為後續推導與建模提供統一符號與方法框架。

無量綱化與參數

• 特徵尺度選擇：長度 $L$、時間 $T$、密度 $n_{0}$、磁場 $B_{0}$
• 關鍵無量綱數：$\beta ={\frac {2\mu _{0}n_{0}k_{B}T}{B_{0}^{2}}}$，$S={\frac {\mu _{0}Lv_{A}}{\eta }}$，$\mathrm {Pm} ={\frac {\nu }{\eta }}$，$\chi ={\frac {\lambda _{\mathrm {mfp} }}{L}}$

線性化與本徵模

• 將變量分解為平衡量與微擾 $f=f_{0}+{\tilde {f}}$
• 代入方程後保留一階，取平面波 ${\tilde {f}}\propto e^{i(\mathbf {k} \cdot \mathbf {x} -\omega t)}$ 得色散關係 $D(\omega ,\mathbf {k} )=0$

特徵分解與Riemann 變量

• 對守恆律 $\partial _{t}\mathbf {U} +\sum _{j}\partial _{x_{j}}\mathbf {F} _{j}(\mathbf {U} )=0$，求解雅可比矩陣特徵值 $\lambda _{m}$ 與右特徵向量 $\mathbf {r} _{m}$
• 在MHD 中得到快/慢/Alfvén 特徵波

格林函數與積分變換

• 線性算子 ${\mathcal {L}}u=s$ 的解可寫為 $u=\int Gs\,\mathrm {d} x$
• Fourier/Laplace 變換用於求解初邊值問題與穩定性分析

漸近展開與多尺度法

• 設小參數 $\epsilon$，展開 $u=u_{0}+\epsilon u_{1}+\epsilon ^{2}u_{2}+\cdots$
• 多尺度變量 $X=\epsilon x$，$T=\epsilon t$ 構造包絡方程（如NLS、KdV）

變分法與能量原理

• 對理想MHD，能量原理給出二次變分 $\delta ^{2}W$ 的正定性判據
• 若存在位移場 ${\boldsymbol {\xi }}$ 使 $\delta ^{2}W<0$，則系統不穩定

穩定性判據與Nyquist 方法

• 單位圓映射或複平面繞數判定根位於右半平面數量
• 對色散函數 $D(\omega )$ 進行Nyquist 繪圖判斷生長率符號

邊界條件與自伴性

• 正確的邊界條件保證算子自伴，產生正交完備的本徵集
• 常見邊界：導體壁 ${\tilde {\phi }}=0$，絕熱壁 $\partial _{n}{\tilde {T}}=0$

機率與統計工具

• 結構函數 $S_{p}(\ell )=\langle |\delta u(\ell )|^{p}\rangle$，功率譜 $E(k)$
• PDF、互譜、相干性用於湍流診斷

非線性工具

• 三波與四波相互作用選擇律：頻率與波矢匹配
• Hamilton 結構與Poisson 括號用於理想流體與Vlasov 動力學

小練習

1. 寫出MHD 中的三個特徵波及其物理意義
2. 使用能量原理判斷圓柱體電流柱的m=1 模穩定性
3. 對給定色散關係應用Nyquist 法判斷穩定性
4. 用多尺度法從弱非線性波導出NLS
5. 選擇恰當特徵尺度對電阻性MHD 方程無量綱化

常見誤區

• 忽視邊界條件導致偽不穩定
• 將非自伴問題誤當正交本徵系
• 在強非線性區間濫用線性化結果