Count electrons in a small box of position and velocity
Call the number of electrons with position between and and velocity between and . Integrating over all velocities gives the ordinary density, . In this course the ions form a fixed background of density , so the plasma is neutral when everywhere.
The Lab draws exactly this plane. The colour shows how far differs from the smooth, uniform background, so a stripe of warm colour means a few more electrons than average at that position and speed.
Derivation
Carry the density along each path
In plasma units an electron obeys and ; the minus sign is the negative electron charge. Without collisions, electrons are neither created nor removed, and the flow in this plane has zero divergence because and . A small patch of the cloud may stretch and fold, but its area and the number of electrons inside stay fixed, so is constant along each path.
Writing that statement with the chain rule gives the Vlasov equation. Gauss’s law closes it: the field is produced by the difference between the ion background and the electron density.
What the equation keeps
Because is only moved around, every integral of the form stays constant. That includes the number of electrons, the sum of and the fine-grained entropy . Momentum is conserved, and so is the total energy: kinetic energy of the electrons plus the energy stored in the field.
These are the first checks of any solver. In the default run of the phase-space Lab, with a grid and time step , the relative drift of electron number stays below , the sum of below and the total energy below over 70 time units. The energy error is the largest because splitting a step into a position shift and a velocity shift is accurate only to second order in the time step.
Worked example
Worked example: a ripple that streams freely
Switch the field off and start from , where is the Maxwellian. Each electron then keeps its velocity, so . Integrating over velocity, the ripple in density becomes a Fourier transform of the Maxwellian.
The density ripple therefore shrinks as a Gaussian in time. For it falls to of its start by and to by . Nothing has been lost: still carries the full ripple, now tilted into stripes across velocity. The density simply averages over many stripes that cancel.
How the program advances the cloud
The simulation stores on a grid of positions and velocities. Each step shifts every velocity row in position by , computes the new field from the density, and shifts every position column in velocity by . Both shifts are done exactly for the grid with Fourier transforms, and the sequence half-shift, kick, half-shift keeps the error at second order.
This method is accurate while the stripes in velocity are wider than a few grid cells. Chapter 3 shows what the grid does once the stripes become finer than that.