Verification

Tests can be found in the test folder, and are split in unit_tests and order_verification tests. The julia Test environment is used. We verify that the PDEs are discretized correctly using the Method of Manufactured Solutions and perform order verification studies in order to ensure that the actual order of accuracy matches the predicted order. For more details on the discretization, see Fluxes and Numerics.

Landmark

In addition to the MMS studies discussed above, we also compare the results to the Landmark test cases for 1D fluid Hall Thruster discharges. Below, we compare the time-averaged output of HallThruster.jl for each of the three test cases to the expected results from Landmark. The cases differ only in the amount of electron energy lost to to radial sheaths inside the thruster. For the purpose of verification, the boundary conditions, source terms, collision models and anomalous collision frequency has been set to match Landmark. The results shown are time-averaged, performed using 160 cells using the first-order Rusanov flux and without gradient reconstruction.

Landmark energy loss term:

\[ W = \nu_\epsilon \exp\left(\frac{-20}{\epsilon}\right)\]

where

\[ \nu_{\epsilon}= \begin{cases} \alpha_1 \times 10^7 & z - z_0 \leq L_{ch} \\ \alpha_2 \times 10^7 & z - z_0 > L_{ch} \end{cases}\]

and

\[\epsilon = \frac{3}{2} T_{ev}\]

In the above, $L_{ch}$ refers to thruster channel length and $z_0$ is domain[1], or the z-location of the anode.

Case 1 $\; \; \alpha_1 = 1.0, \alpha_2 = 1.0$ Landmark1

Case 2 $\; \; \alpha_1 = 0.5, \alpha_2 = 1.0$ Landmark2

Case 3 $\; \; \alpha_1 = 0.4, \alpha_2 = 1.0$ Landmark3