在電漿物理領域,粒子在單元中的方法(PIC)是一種用於解決特定類別偏微分方程的技術。該方法追踪個別粒子(或流體元素)在連續相空間中的運動,同時在歐拉(靜態)網格點上計算分佈的時刻,例如密度和電流。這種方法在1955年就已經開始使用,甚至在首次Fortran編譯器出現之前就被應用於計算。隨著時間的推移,PIC方法在1950年代末和1960年代初逐漸受到歡迎,並成為 plasma 模擬的基本工具。
「進行PIC模擬的過程通常包括運動方程的整合、電荷和電流源項的插值。」
在電漿物理應用中,該方法涉及跟踪固定網格上計算的自洽電磁場中帶電粒子的運動軌跡。經典的PIC方法早期由Buneman、Dawson、Hockney和Birdsall等人提出,實現起來相對直觀,這也使得它在plasma模擬中得到廣泛應用。
雖然PIC方法為許多問題提供了良好的解決方案,但在實際運用中也面臨著來自所謂的“離散粒子噪聲”的誤差問題。這種誤差的本質是統計的,目前仍然不如傳統的固定網格方法理解得透徹。伴隨著技術進步,現代幾何PIC算法則基於非常不同的理論框架,使用離散流形、插值微分形式和辛積分器等工具以保證電荷、能量-動量的守恆性,並確保粒子-場系統的無限維辛結構不受破壞。
「幾何PIC算法被認為是建立在更基本的場論框架上,並與物理學的變分原則直接聯繫在一起。」
在電漿研究社群中,研究系統中的不同物種(如電子、離子、中性粒子、分子和微粒)的相互作用至關重要。PIC代碼所涉及的方程組主要是描述帶電粒子的洛倫茲力運動方程,以及用於決定電場和磁場的麥克斯韋方程。由於真實系統的粒子數量巨大,因此在模擬過程中經常使用“超粒子”(或稱宏粒子)的概念,這是一種計算粒子,代表多個真實粒子,進而達到節省計算資源的目的。
「超粒子的數量必須適當選擇,以便能在粒子運動上收集到足夠的統計數據。」
即使使用超粒子,模擬的粒子數量通常仍會非常龐大(超過 105),而粒子推進器(pusher)通常是PIC模擬中計算時間最長的部分。為了提高速度和準確性,粒子推進方法分為隱式和顯式解算器。顯式解算器,比如常用的Leapfrog方法,要求更新從先前的時間步驟得到的外力,並且這種方法的開銷相對較小,但時間步必須選擇得較小;而隱式解算器則計算已更新場上的粒子速度。
當討論到麥克斯韋方程的解決方法時,最常用的方法可以歸納為三種:有限差分法(FDM)、有限元法(FEM)及頻譜法。這些方法大多通過將連續區域替換為離散網格,然後再通過優化程序來獲得所需的電場和磁場值。
「電場與磁場的計算和插值過程必須保持一致,以確保這些場在貼近真實情況的同時,能夠滿足麥克斯韋方程。」
在模擬過程中,由於粒子之間的相互作用可能會導致一些計算上難以處理的自暫力,因此需要考慮粒子之間的碰撞。在進行粒子碰撞模擬時,常用的二元碰撞模型方法是將粒子根據其所在的單元進行分組,隨後隨機配對並計算碰撞。這種做法符合現實中發生的多種反應機制,從彈性碰撞到非彈性碰撞,甚至化學反應,無不需要各種不同的處理方式。
值得注意的是,在每次模擬中,時間步和網格尺寸必須恰當選擇,以確保所關注的時間與長度尺度現象得到合理解析。以確保數據精確度和計算穩定性為前提,使用的網格大小和時間步必須在一定的範圍內。
「是否能找到完美的方法將底層電漿物理與計算技術結合,並最大限度提高模擬準確度?」
如今,PIC模擬已成功應用於研究激光-電漿互動、電子加速和極光電離層中的離子加熱、磁流體動力學、磁重連、以及在托卡馬克中與離子溫度梯度和其他微不穩定性相關的現象。隨著技術的持續進步,粒子運動中的算法將對電漿科學產生越來越深遠的影響。
面對前所未有的計算挑戰,我們能否在算法和應用的新範式中找到創新的出路?