We are going to consider the nuclear surface equation written down in the form of the expansion in terms of the spherical harmonics, cf. Eq. (3). We wish to write down the nuclear mean-field Hamiltonian with the deformed Woods-Saxon and spin-orbit potentials, Eqs. (1) and (2), that is invariant under all the operations of a given symmetry point-group . Here denotes any point-group symmetry operation such as finite-angle rotations, proper or improper2, plane reflections, and possibly inversion. The condition of invariance implies, by definition, that under the action of any group element . The latter can be written down as
In what follows we will need a representation of the operators adapted to the action on the spherical harmonics. Here we consider explicitly the inversion, , and spatial rotations denoted . In the latter expression represents the set of three Euler angles. The plane reflections can be treated explicitly or, alternatively, with the help of the other two operations by employing the group multiplication properties. The simultaneous action of inversion and proper rotations as well as the individual actions of these two operations can be conveniently written down using an auxiliary parameter taking possibly the values 0 (no inversion involved) or 1 (inversion involved):
With this notation
Introducing relation (7) into Eq. (5), and re-ordering
terms, we find the following equation,
Some remarks may be appropriate at this point. Firstly, solutions corresponding to other eigen-values can be equally acceptable, although the preference can be given to those involving the minimum of non-zero components in terms of . Secondly, because the system of equations in (10) is uniform, multiplying the corresponding vector by a constant corresponds again to a solution. This allows to select, e.g., as an independent parameter, which uniquely fixes all the other non-zero components. By exploring all possible values, say, we explore all possible surfaces invariant under the symmetry element . Thirdly, all other eigen-solutions correspond to equivalent orientations of the surface under considerations. Fourthly, the number of non-null eigenvectors gives the number of possible orientations.
So far we have presented the solution of a limited problem, i.e., the one of
invariance with respect to a single symmetry operation. Formally our problem
consists in searching for the simultaneous invariance conditions with
respect to all the symmetry elements
. Suppose that
there are elements in the group considered, in which case and
, for enumerate the corresponding transformations. In
this case, we obtain a system of
equations of the
form
Finally, let us observe the following mathematical subtlety. Suppose that an operator belongs to the ensemble of the symmetry operations, and thus its action on the surface transforms this surface into itself. However, this operation influences also the rotation-axes of the rotational-symmetry elements of the group considered - the axes following the operation . As a consequence the original group ceases being a group of symmetry of the considered surface and it is the new group, , isomorphic with the previous one, that overtakes the invariance rules. This mathematical subtlety has no influence on the physical consequences neither does it influence the interpretation of the discussed symmetry relations, yet it may (and often does) lead to a non-unique description of geometrically/physically equivalent objects, occasionally implying some confusion related to the particular combinations of the three Euler angles and/or signs of some of them.
In the present context we may also arrive at yet another type of technical complications. It is often convenient to limit the parametrization of the surfaces in e.g. deformed Woods-Saxon potential and/or that of the multipole moments in the constrained Hartree-Fock method to real -parameters and/or real -moments. It may also be convenient to work with a particular spatial representation of the symmetry operators through selection of certain reference frames. Moreover, there exist several ways of selecting the generators of the groups in question, leading to totally equivalent realizations of the group considered, yet possibly differing on the level of constructing the operators within a preselected basis. For instance, consider surfaces generated by combination that are invariant under the group realization, say , with the generators selected as . Consider next the surfaces with octahedral symmetry generated by Eqs. (15-17), the corresponding group generated e.g. by The latter group contains as its sub-group tetrahedral group introduced above. The generators of the latter (octahedral) group could have been selected differently, in which case relations (12-14) and (15-18) would have lost consistency.