在“位置—速度”小格子里数电子
记 为位置在 到 、速度在 到 之间的电子数。对速度积分,就得到普通的密度 。课程里离子是固定背景,密度为 ;处处 时,等离子体呈电中性。
Lab 画的正是这个平面。颜色表示 偏离均匀背景多少:一道暖色条纹,说明那个位置、那个速度上的电子比平均多一点。
推导
沿着轨道搬运密度
用等离子体单位,电子满足 、,负号来自电子带负电。没有碰撞,电子不生不灭;又因为 、,这个平面上的流动散度为零。一小块电子云可以被拉长、折叠,面积和里面的电子数却不变,所以 沿每条轨道保持不变。
用链式法则写出这句话,就是 Vlasov 方程。电场由离子背景与电子密度之差产生,这是高斯定律;有了它,两条方程互相给出对方需要的量。
方程守住了什么
只是被搬来搬去,所以任何形如 的积分都不变,包括电子数、 之和,以及细粒熵 。动量守恒,总能量也守恒:电子动能加上电场储存的能量。
这些是检验求解器的第一关。相空间 Lab 的默认运行用 网格、时间步长 ,跑 70 个时间单位:电子数的相对漂移低于 , 之和低于 ,总能量低于 。能量误差最大,因为把一步拆成位置平移和速度平移,只有时间步长的二阶精度。
完整例题
例题:自由流动的波纹
关掉电场,从 出发, 是麦克斯韦分布。每个电子保持原速,于是 。对速度积分,密度波纹就成了麦克斯韦分布的傅里叶变换。
密度波纹因此随时间按高斯形状缩小。 时,到 只剩开始的 ,到 只剩 。什么也没丢: 里仍完整保留着波纹,只是被斜拉成速度方向上的条纹。密度把许多正负相消的条纹平均掉了。
程序怎样推进这团电子
模拟把 存在位置和速度的网格上。每一步先把每一行(同一速度)在位置方向平移 ,再由密度算出新的电场,然后把每一列(同一位置)在速度方向平移 。两种平移都用傅里叶变换在网格上精确完成;按“半步平移、整步推动、半步平移”排列,误差保持在二阶。
只要速度方向的条纹比几个网格宽,这个方法就准确。条纹更细时会出什么事,见第 3 章。