The matrix will have three eigenvalues which may be all real or may include complex eigenvalues. In the first case the eigenvalues may be ordered, ; in the second there must be one real eigenvalue and a complex conjugate pair and . Since , the three eigenvalues must sum to zero. A null point for which one eigenvalue is negative and the other two are positive (or have positive real parts) is called a positive null point (Priest and Titov, 1996)7. (The null is therefore called positive if , which is confusing until one considers the sense of field lines in the fan surface.) The real and imaginary parts of the eigenvectors from the two positive eigenvalues span a plane within which all field lines originate at the null point. Following these field lines beyond the immediate neighborhood they form a surface called the fan surface of the null. There are also two spine field lines which terminate at the null in directions both parallel and anti-parallel to the eigenvector of the negative eigenvalue (see Figure 4). A negative null is one with the opposite structure: one positive eigenvalue and two with negative real parts, a fan surface of field lines ending at the null, and two spine field lines originating at the null.
Cases where one or more eigenvalue real parts vanish cannot be classified as either positive or negative. Such cases are not generic (they will not survive a small but arbitrary perturbation to the field) but do occur in cases of symmetry, such as two-dimensional models, or at the instant of bifurcation (discussed in Section 7). An X-type null is one where one eigenvalue vanishes, namely , and the other two have equal magnitude and opposite sign: . This is the standard heteroclinic point in two-dimensional fields, however, as alluded to, they do not generally occur as such in three-dimensional fields. If the real parts of two eigenvalues vanish then so must the third, since they must sum to zero, Barring a higher-order null (all three eigenvalues are identically zero) this must be an O-type null with two purely complex eigenvalues .
Fan field lines and spine field lines are notable exceptions to the general tenet that field lines have no beginning or ending – it seems that certain field lines terminate at null points. A fan surface divides the volume of field lines in two regions (or domains), thereby serving as one form of separatrix in three-dimensional magnetic fields. The spines, on the other hand, are one-dimensional curves and therefore do not form separatrices. This makes three-dimensional null points topologically different from two-dimensional X-points, since all four field lines connecting to an X-point are dubbed separatrices, regardless of their orientation. If a three-dimensional null is transformed continuously into an X-point by taking its intermediate eigenvalue to zero, then the spine and fan both become separatrices in the limit . Which of the X-point’s separatrices was formerly a spine depends on the former null type and which direction .
An even more exotic kind of field line occurs when the fan surface of a positive null intersects the fan surface of a negative null, as shown in Figure 5. When the intersection is transversal it forms a null-null line (Lau and Finn, 1990). Intersections of separatrices are called separators, in general, and since a fan surface is one form of separatrix, null-null lines are one form of separator. There are, however, other forms of separators including finite-width TDs called current ribbons when the separatrix intersection is not transversal (Longcope and Cowley, 1996).
A null-null line has two termini since it must both begin at a positive null and end at a negative null. Since they lie at the intersection of separatrices, null-null lines are a more natural analog of two-dimensional X-points than are the three-dimensional null points themselves. In this analogy, however, it must be borne in mind that while an X-point may be identified locally, a null-null line is locally indistinguishable from nearby field lines; its uniqueness derives from only global topology. It is often, although not always, the case that the field vectors in the vicinity of the null-null line have an X-type shape (see inset of Figure 5). The exact location of the X in such a slice depends critically on the orientation of the plane, and each field line in some neighborhood may play the same role in a different plane. This local criterion may not, therefore, be used to identify a null-null line; the only way to locate it is by following field lines in both directions. (Longcope, 1996, presents a numerical algorithm for this.)
Substituting the local field (11) into the ideal induction equation (6) yields, to lowest order in distance from the null point, the requirement that the null point move with the flow: . Continuing to next order in distance yields an equation for the evolution of the Jacobian matrix
It is also possible for the edge of a tangential discontinuity (TD) to include a null point which is locally Y-shaped. Such a null cannot be characterized by its derivative matrix , since derivatives are not defined at the discontinuity. If the TD occurs on a smooth sheet, however, the Y-type null will locally resemble one from a field which is otherwise current-free. It will therefore resemble the two-dimensional configuration first studied by Green (1965) and Syrovatskii (1971), and shown in Figure 6, except that field lines following the edge of the TD will either diverge away from or converge toward the null point in the erstwhile ignorable direction (making it a positive or negative Y-null). A pair of Y-type null points at the edges of a TD of finite breadth, as in Figure 6, have the same topological degree (Greene, 1993) as a single regular null point which is either positive or negative. In both two and three dimensions it is possible to create the null pair continuously by deforming a regular null point (Syrovatskii, 1971; Longcope and Cowley, 1996).
The two-dimensional current sheet equilibrium proposed by Green (1965) and Syrovatskii (1971) is current-free everywhere except the current sheet. Such a structure can be described by a potential which is the real (or imaginary) part of a complex potential analytic except at a branch cut defining the current sheet. This powerful technique has been used to construct equilibria resembling realistic coronal current sheets (Priest and Raadu, 1975; Tur and Priest, 1976; Hu and Low, 1982). General formulations developed by Aly and Amari (1989) and Titov (1992) permit the construction, and evolution, of equilibria of arbitrary complexity, containing numerous current sheets.
© Max Planck Society and the author(s)