- 1. Ferroic phase transitions
- 2. Stability spaces, strata and epikernels
- 3. Exomorphic symmetry descents
- 4. The fine structure of a typical linear orbit
- 5. Labelling of covariants and conversion equations
- 6. The twinning group and completely transposable pairs of domain states
- 7. Discussion
- Supporting Information
- References
- 1. Ferroic phase transitions
- 2. Stability spaces, strata and epikernels
- 3. Exomorphic symmetry descents
- 4. The fine structure of a typical linear orbit
- 5. Labelling of covariants and conversion equations
- 6. The twinning group and completely transposable pairs of domain states
- 7. Discussion
- Supporting Information
- References
feature articles
Application of modern tensor calculus to engineered domain structures. 2. Tensor distinction of domain states
aInstitut of Physics, Czech Academy of Sciences, Na Slovance 2, 182 21 Praha 8, Czech Republic , and bDepartment of Mathematics and Didactics of Mathematics, Pedagogical Faculty, Technical University of Liberec, Hálkova 6, 461 17 Liberec 1, Czech Republic
*Correspondence e-mail: kopsky@fzu.cz
The theory of domain states is reviewed as a prerequisite for consideration of tensorial distinction of domain states. It is then shown that the parameters of the first domain in a ferroic , Acta Cryst. A62, 47–64 ], we can reveal the tensorial parameters associated with each particular symmetry descent. Parameters are distinguished by the ireps to which they belong and this can be used to determine which of them are the principal parameters that distinguish all domain states, in contrast to secondary parameters which are common to several domain states. In general, the parameters are expressed as the covariant components of the tensors. A general procedure is described which is designed to transform the results to Cartesian components. It consists of two parts: the first, called the labelling of covariants, and its inverse, called the conversion equations. Transformation of parameters from the first domain state to other states is now reduced to irreducible subspaces whose maximal dimension is three in contrast with higher dimensions of tensor spaces. With this method, we can explicitly calculate tensor parameters for all domain states. To find the distinction of pairs of domain states, it is suitable to use the concept of the group which is briefly described.
from a set of isomorphic groups of the same oriented can be systematically and suitably represented in terms of typical variables. On replacing these variables by actual tensor components according to the previous paper [Kopský (2006)Keywords: domain structures; tensor calculus.
1. Ferroic phase transitions
The structure of a crystal depends frequently on external isotropic conditions, which means the temperature T and the isotropic (hydrostatic) pressure p. For example, the structure of ice is described by a phase diagram which contains regions of (T,p) corresponding to 11 different structures. When the external conditions change across the border between two phases in the diagram, the structure also changes. This phenomenon is called a structural phase transition and it is based on the model introduced by Landau (see collection of papers by Landau, 1937). This model assumes a certain kind of instability which causes the atoms to change their positions. The change of temperature and pressure always leads to changes of the structure – the lattice parameters and distances between atoms change within certain limits without a change of the structure type and hence without a change of the space-group-symmetry type. A structural caused by such displacements of atoms due to a change in symmetry are called displacive. The physical cause of the transition is a certain mode, whose eigenfrequency tends to zero on crossing a certain line of the (T,p) diagram. This mode is called a soft mode and we used to say that this mode freezes, causing permanent distortions and a change of symmetry.
The importance of the theory of group representations in various descriptions of this phenomenon was realized early on by Landau although he was evidently not aware of the state of the art of group theory in 1937; he used his own term races of functions for the bases of irreducible representations. One of the best descriptions of group-theoretical considerations of structural phase transitions is given by Lyubarskii (1960); the use of density functions is more general than the usual model of displacive transitions. The components of distortions which cause the transition are called the transition parameter; the alternative name soft mode reflects the physical origin of the transition. The eigenenergy of this mode tends to zero as the isotropic conditions approach the transition point. The onset of this parameter may induce the onset of other changes described as secondary (improper, faint) parameters.
By ferroic phase transitions, we understand transitions in which the of the crystal changes. This occurs in the majority of cases but there also exist transitions to equiclass subgroups in which the does not change. Since the decreases in ferroic transitions, the transitions are accompanied by an onset of tensor properties which were originally disallowed. The symmetry group G of the original phase is called the parent group, the symmetry Fi of the ferroic phase its ferroic subgroup. We shall talk about the symmetry descent which characterizes the and our concern will be the qualitative change of tensor properties. However, neither the symmetry nor the newly acquired tensor properties are defined uniquely. If the ferroic group Fi is not a then its conjugate subgroups are equivalent and any of them may appear as the resulting symmetry. This shows that there does not exist just one specific ferroic state but a set of equivalent ferroic states. The crystal may therefore adopt one of these states but it may also happen that different states correspond to different regions of a crystal. Such regions are called ferroic domains and the states are called ferroic domain states. From now on we shall drop the adjective ferroic. The equivalence of domain states means that they have the same properties with reference to different Cartesian systems so that these properties manifest themselves in different ways with reference to a common Cartesian system of coordinates. A clear theory of domain states has been introduced by Janovec (1972), and been refined by Kopský (1982a,b,c,d).
The existence of domains has an important influence on the final properties of the crystal which is now being utilized in the developing technique of domain engineering. A multidomain sample may be considered as a special case of a polycrystalline state. In both cases, the sample consists of regions of the same structure oriented in different ways with reference to a common Cartesian coordinate system. However, the grains of a polycrystal may be oriented in a rather arbitrary manner while the possible mutual orientations of domains in a multidomain sample are subject to strict rules of the theory of domain states. There are two ways in which the domains affect the resulting properties of a multidomain structure: (i) the volume and spatial arrangement of domains; (ii) the domain walls in which the properties change from one state to another.
It is therefore of interest to develop methods for the calculation of the properties of individual domain states and for comparison of these properties in adjoining domains. The latter is usually called the tensorial distinction of domain states. The standard technique of the characters of ireps allows one to calculate the numbers of tensor components in which domain states differ (Janovec et al., 1992, 1993, 1994, 1995). Our concern is to describe a group-theoretical technique for the calculation of explicit tensor properties of individual domains. This calls for the introduction of some useful concepts.
2. Stability spaces, strata and epikernels
Stability spaces: Anticipating the use of group-theoretical concepts for the description of domain states in ferroic transitions, we first explain the relationship between subgroups and carrier spaces of ireps of the original parent group G. Let us consider a tensor space V(A). It contains subspaces V(A)(G) and V(A)({Fi}) of tensors which are invariant under the groups G and Fi, respectively. Such spaces are called the stability spaces of groups G and Fi. The subspace V(A)(G) is described by tensorial invariants of the group G, while the complementary subspace is defined by components of tensorial covariants. In considering the symmetry descent , we have to find those covariant components that became invariant under the action of ferroic groups Fi. Although generally there may exist no such components for a given tensor , there always exist tensors for which such covariant components exist and hence the stability spaces V(A)(Fi) always contain the stability space V(A)(G) and, for some tensors, these subspaces are proper subspaces. From the set of conjugate subgroups {Fi}, we choose one F1; the stability space of a conjugate Fi = giF1gi-1 is related to the stability space V(A)(F1) by V(A)(Fi) = giV(A)(F1). To avoid the necessity of calculation of these spaces for each particular tensor, we use the approach via typical variables and typical carrier spaces. The natural choice of matrix ireps and standard variables for groups of the same oriented described in Kopský (2006b, hereafter referred to as paper 1), proves also to be the most intelligent and effective.
The typical carrier space of the parent group G is defined as a direct sum of carrier spaces of R-ireps of the group G with bases . All invariants of the group G are represented by a single vector or by a single variable . All covariants are represented by a typical covariant .
Let us now consider a F1 of the group G which is potentially the symmetry of some ferroic state. To this there corresponds a subspace of the typical space Vo which contains all those vectors of Vo which are invariant under the action of the F1. This space is called the typical stability space of the F1, while individual are the typical stability spaces of F1 in the carrier spaces of individual ireps of the group G. Expressing the stability spaces in terms of standard variables, we obtain the set of invariants of the group F1 expressed as linear combinations of these variables. Comparing them with tensorial covariants, we obtain immediately those linear combinations of tensor components that onset at the from the parent group G to the ferroic F1. More than that, we can also identify the ireps of the parent group G to which the onsetting parameters belong. Here we simply use the fact that subspaces behave under the action of the group G like copies of the typical spaces .
Stabilizers and orbits: Let us now consider the action of the group G on a set . The elements of are called points and are denoted by . The action of G assigns to each element and to each point a point . Let us pick up a certain point . Some elements may leave the point invariant, so that . It is easy to show that all elements of G that leave the point invariant must constitute a group, which is called the stabilizer of the point under the action of G.
We denote this group by F1 and the point by . Performing resolution,
we can see that all elements of the giF1 send the point to the same point . The set of points is called the orbit. If we pick up any point of the orbit and apply an element of the group G to it, we obtain another point of the orbit. Indeed, . The of a point is a group Fi = giF1gi-1 conjugate to the group F1. We consider now the first NG(1)(F1) of the F1 in G. From resolutions
and
we obtain
Changing the indexing of points, starting with , through , we obtain that the orbit splits into q subsets labelled by indices from the set and each of these subsets contains r points with fixed index i and . The points with the same i have the same Fi = giF1gi-1. The numbers q and r are indices of subgroups q = [G:NG(1)(F1)], r = [NG(1)(F1):F1] and p = qr = [G:F1].
If the set is the space V of tensors, then the states are described by tensors in this space. These tensors then characterize the individual domain states. It is suitable to use the typical spaces and variables for the description of these states.
Linear orbits and strata: If the set on which the group G acts is a linear space V(n), then the elements are vectors . If F1 is the of a vector then, using the same resolution as in the case of the set , we obtain an orbit of vectors for which we use the name linear orbit. Since linear spaces are sets with some special properties, we can expect that linear orbits will also have some properties, characteristic of the linear action of the group G. Indeed, if vector generates an orbit of vectors , then every vector , , generates an orbit of vectors . From this we can get the wrong impression that vectors with the same F1 form linear spaces. This, however, is not true, as we can already see by considering the trivial vector which belongs to every linear space and generates an orbit with one vector – itself. Also, if linearly independent vectors and have the same F1, then the of their linear combination certainly contains F1 but is not necessarily identical with it.
This means that, while all vectors of the stability space V(F1) are by definition invariant under the group F1, the group F1 is not necessarily the of an arbitrary vector from V(F1). The set of all vectors of V(n) that have F1 as will be called here the stratum of F1 in V(n). The stratum of F1 in a certain space V(n) can be empty. If it is not, then we find it as follows. We consider the stability space V(F1). This is never empty as it contains at least the trivial vector . If the stability space is nontrivial, it is at least of dimension 1. The stratum is then the set of all vectors of V(F1) with the exception of the trivial vector. If the stability space is of higher dimension, it may contain subspaces, which are stability spaces of supergroups of F1. To get the stratum, we have to take all these stability spaces out of the space V(F1). Since these subspaces are of lower dimensions than V(F1), the stratum of F1 in V(F1) is always a dense subset of V(F1). We shall use the more customary expression that vector is a general vector of the stability space V(F1) as this expression is more usual in the literature. Indeed, the vectors that do not belong to the stratum can be considered as vectors of special symmetry.
Remark
This definition of stratum is different from its use in the mathematical literature where Stratum is defined as a collection of orbits of the same type. This Stratum is therefore the union of strata as defined here for the set of conjugate subgroups and it coincides with our concept of strata for a S as the symbol for the original Stratum.
If it is necessary to use both concepts, we suggest the use of a capitalKernels and epikernels: Let us now replace the set by a typical carrier space . If the corresponding R-irep is one-dimensional, , then the space contains only two types of orbits:
|
If the dimension of the R-irep is at least two, we have to analyse the structure of the space as follows.
|
The stability space is of the dimension . If , which may happen only if , there may exist vectors of , the
of which is greater than . The dimension of the stability space of this is smaller than .The structure of the space can therefore be described as follows. A general vector of this space has the
. All vectors with exactly this form the stratum of the group . This will be obtained if the trivial vector and vectors of stability spaces of epikernels are excluded from the space .Epikernels appear as sets of conjugate subgroups , where the superscript u labels different sets of conjugate subgroups and the index i labels subgroups of the set. The intersections of all conjugate epikernels always result in the kernel. If one epikernel is a of another epikernel , then the stability space is a subspace of the stability space . The stratum of each epikernel is therefore obtained by excluding from its stability space the trivial vector and stability spaces of all epikernels which are supergroups of this epikernel.
In Tables 1 and 2 are presented typical stability spaces of subgroups of tetragonal point groups of the oriented D4z - 4z2x2xy and epikernels of their ireps; Table 1 applies to those parent groups which are isomorphic to the group D4z - 4z2x2xy, Table 2 applies to the centrosymmetric group D4hz - 4z/mzmxmxy. As a result of our choice of ireps and standard variables, it is easy to extend these results to all groups of the oriented D4z - 4z2x2xy with the exception of the paramagnetic centrosymmetric group , which must be considered separately.
|
|
The word typical means that the information is given in terms of typical variables which can always be replaced by corresponding tensor components by the use of tables of tensorial covariants. In the two tables, we list the subgroups by both Schoenflies and Hermann–Mauguin symbols and in the right-hand column we record the corresponding stability spaces for these subgroups. If the vector in this column is framed, then the
is an epikernel of that irep to whose space the tensor belongs. Notice that we can present this information in one table for the four isomorphic groups not only because of their isomorphisms but also due to our standard choice of representations and typical variables.The framed variables correspond to primary tensor parameters. These are defined as those parameters whose onset is the cause of the symmetry descent. The other parameters in the same line are then the consequence of this symmetry descent and we call them the secondary tensor parameters. Some subgroups are not epikernels of any of the ireps, so that no variable is framed. Such a symmetry descent needs tensor parameters from more than one irep and we can find which parameters if we look up the groups which are epikernels and whose intersection is the considered group. This boils down to a statement that each is either itself an epikernel or an intersection of epikernels.1 The difference between stability spaces and strata in these tables is simple. The typical variables must not be zero for a stratum while stability spaces also include vectors for which these variables vanish. The use of these tables is described below.
A philosophical digression: In connection with these tables, we may question the validity of the famous statement by Curie (1884a, p. 400, 1884b): `C'est la dissymétrie qui crée le phénomène' (`dissymmetry creates the phenomenon'). From our consideration it seems more appropriate to say that the principal tensor parameters create (are responsible for) the symmetry descent or, in other words, are the cause of the descent. Though the secondary parameters may seem to be the consequence of the descent, it seems again more appropriate to explain their onset as a consequence of faint interaction (Kopský, 1979).
Remark
We consider it appropriate to make the following remark of historical and terminological character. Ascher (1977) introduced the term epikernel [see also Kobayashi & Ascher (1977)] in connection with his study of the direct and inverse Landau problem and invented the Ker-core criterion, according to which the groups Fi are epikernels of an irep of the class if and only if . This criterion is more comfortable than the subduction (Birman, 1966) and chain subduction criteria (Jarič, 1981). Unfortunately, the terms little group or isotropy group crept into the literature instead of epikernel. In our opinion, this is taking jargon too far. A little linguistic analysis seems to be not out of place here. The older terms little group or isotropy group are now frequently replaced by the term stabilizer. The term was introduced in connection with the group action on any set. The of a point of the set is then that which contains all those elements of the group which leave the point invariant. In this sense, an epikernel of an irep is a (little group or isotropy group) of a certain vector of the carrier space under the action of the group G (it is by no means the of its irep). In addition, the term little group (isotropy group) of an irep has its own meaning in the theory of representations of space groups, which is quite a different story.
3. Exomorphic symmetry descents
Let us consider two symmetry descents: and . First we construct the intersections and which are normal subgroups of G and , respectively. If the factor groups G/H and are isomorphic, then there exist homomorphisms and , with kernels , which map the groups G and onto the same group . If these homomorphisms also map the groups F1 and onto the same , then we say that the symmetry descents (group–subgroup relations) and are exomorphic or of the same exomorphic type. The following is a diagram of exomorphic relations.
The exomorphism of symmetry descents has powerful consequences.
|
The concept was originally introduced by Kopský (1978) for equitranslational phase transitions. In this context, we can say that the consideration of two exomorphic transitions is based on the same algebraic relations. In view of this, the classification of symmetry descents into exomorphic types facilitates systematic investigation. Thus in terms of crystallographic point groups we find 44 exomorphic types. Among them we find 28 cases when the is an epikernel of some irep, and in 5 cases out of this the is simultaneously an epikernel of two ireps. The number of distinct descents within classical crystallographic point groups is 212, within magnetic crystallographic point groups it goes up to 1599. In terms of equitranslational symmetry descents between ordinary or magnetic space groups, this number will go up into the thousands. The generalization of the concept is rather straightforward (Litvin et al., 1986).
Remark
The permutation representation of the group G on cosets of the F1 has also been used for derivation of colour groups. A later attempt to rename exomorphism as chromomorphism and a rather brutal attempt to change the usual terminology on the grounds of this fact belongs to the folklore of applications of group theory.
4. The fine structure of a typical linear orbit
We now consider again the typical stability space Vo(F1) of a F1 of the group G. This space is a direct sum of the stability spaces of the group F1 in the individual typical carrier spaces . We denote by the of a general vector . The stability space is identical with the stability space and all stabilizers contain the group F1. We perform the resolution
and the more detailed
and
which combine into
to obtain the orbit of vector . This orbit contains vectors and splits into subsets labelled by indices from the set and each of these subsets contains vectors with fixed index i and index . The vectors with the same i have the same . The numbers and are indices of subgroups: , and .
A vector of the typical stability space Vo(F1) of the F1 generates an orbit of p = qr vectors with stabilizers Fi, where p = [G:F1] = qr, where q = [G:NG(1)(F1)] and r = [NG(1)(F1):F1]. This vector splits into components in the typical irreducible subspaces . Each of these components has its own . Vectors of the orbit also split into components . While all vectors of the typical orbit are distinct, the components are also distinct only if . Notice that this means that these components are distinct only if F1 is an epikernel of the irep . On the other hand, if , the number of distinct components is a divisor of the total number p of vectors of the orbit; it is .
If we label the components by the original labels ij, then certain groups of these labels denote the same component. To label them uniquely, we use the resolutions associated with the which results in a certain unique labelling . Each label then corresponds to labels ij. The set of vectors
will be called the typical linear orbit and its representation in terms of components in irreducible typical subspaces will be referred to as the fine structure of the typical linear orbit. Tables of these (under the less precise name fine domain structures and with different symbols of variables) were published a long time ago (Kopský, 1982a). The original classification of symmetry descents into exomorphic classes given in this work is used below in the examples.
In Table 3 are shown fine structures of typical orbits for a few of the symmetry descents from a particular parent group. The advantage of typical variables is clear if we recall that tables of tensorial covariants assign to each of these variables all covariant tensor components up to fourth order (and if extension to higher orders is necessary, we know how to find it).
|
To attempt a more precise terminology would be appropriate at this point to connect the abstract picture provided by group theory with real physical situations and also with their models. Formation of domains at structural phase transitions is a physically established and observed fact (actually, the concept of domains appears for the first time in connection with the theory of ferromagnetic materials where group theory is dwarfed, while demagnetization fields play the main role). Quite generally, a physical observation of a symmetry descent from the state of parent symmetry to some state of low symmetry implies that the state of the system may, in the absence of special external conditions, change equally likely to any of the states , where gi are representatives in the resolution
The states are called the domain states. It is usually said that the domain states are symmetrically equivalent. It is probably more precise to say that all relationships of the original state to any of the states are mutually geometrically equivalent and hence physically equivalent. Indeed, any element of leaves the original state invariant and the change of the relationship between the state and to the relationship between the state and is obtained by applying an element of gjF1 to both states. The effect of this operation is the rotation and, in full structural considerations, also the possible space shift of the situation in physical space.
The state of the crystal at the transition usually does not change to any particular state . The crystal splits instead into regions, called domains, and the state in each of the domains is one of the domain states. In addition, if the transition is ferroelastic, the domain states coincide with those predicted by resolution only in the vicinity of the transitions point (so-called parent clamping approximation). Ferroelastic phase transitions play a special role in the theory of domains for the following reason: the domain states are eventually realized in the individual domains. The structures of a crystal, which correspond to various domain states, are identical up to their orientation and location in the space. Domains are therefore regions of physical space occupied by such states and there exist interfaces (boundaries) between these regions. Group theory predicts the equivalence of the number of domain states equal to the index [] of the low symmetry to the parent symmetry. In reality, only two domains can meet at an interface of a certain orientation and location. From group-theoretical analysis, we may predict possible mutual orientations and locations of pairs of respective domain states and continue the analysis for any orientation and location of an interface. However, in the case of ferroelastic phase transitions, there exist physical conditions on the existence of interfaces – the boundary between two domains should be stress free. As a result, the mutual orientation and location of domain states coincides with that predicted by group theory only when spontaneous distortions of the structure are small.
In the examples , and , we can observe that each domain state corresponds to a distinct vector in one of the typical spaces. There are the variables or vectors , (x1+,0) and (x1-,y1-) in the first domain state, which change from one domain to the other, so that all domains are characterized by distinct vectors. In the case of descents , , we need to take vectors of two ireps to distinguish all domain states.
5. Labelling of covariants and conversion equations
Substituting actual tensor components for typical variables in the tables of the fine structure of typical orbits, we obtain as complete a description of all domain states in terms of their tensor properties as the tables of tensorial covariants provide. If this turns out not to be sufficient, we can always extend the tables of tensorial covariants to higher ranks.
However, if we inspect tables of covariants or if we try an actual substitution, we shall find that typical variables are substituted by covariant tensor components which are frequently linear combinations of Cartesian components. It is therefore necessary to convert this information into the Cartesian frame of reference. The situation is analogous to the consideration of invariant tensor forms. Invariants are frequently linear combinations of Cartesian components and, as a result, we obtain an invariant tensor in the Cartesian frame which has more allowed components than the number of independent invariants. In this case, there appear relations between the Cartesian components which reduce the number of independent components to the correct one.
The effect in ferroic transitions is that Cartesian components are not necessarily the principal parameters and there appear increments to these components which are again not independent. To resolve this problem, we introduce the method of labelling the covariants and of conversion equations (Kopský, 2001a,b,c), which was later used by Janovec & Kopský (2003).
The method is illustrated in Table 4 for the tetragonal group D4z. Table 4(a) defines the labels of covariants as linear combinations of Cartesian components and Table 4(b) gives the Cartesian components expressed as linear combinations of covariant components. The principles of notation are explained below. It is our opinion that it would be useful to standardize the labels of covariants.
|
To each group there are assigned two tables. The first table, called `Labelling of covariants' assigns numerical labels to linearly independent covariants in the case when more than one covariant of a given tensor to this irep exists. We shall illustrate it for the case of tensor . One-dimensional covariants, including invariants, are denoted by sans-serif letter with two indices, the first of which is the numerical label of an irep, the second is the number of the covariant. If only one covariant of the type exists, we drop the second index. Thus, means an invariant, means a covariant but , , mean the first, second and third invariants and , mean the first and second covariants. The two-dimensional D(1)(G) covariants are expressed as , , and so on if more than three linearly independent D(1)(G) covariants exist while signals that there is no other D(1)(G) covariant.
The second table bears the title `Conversion equations' and contains Cartesian tensor components expressed in terms of the covariant components. If all non-invariant components are set to zero, we get the tensor form, invariant under the group G. By comparison with the main tables, we can see which covariant components onset at each transition from the parent group G. Thus these components can be described as the tensor parameters of the transition. Conversion equations are a convenient platform to launch the detailed investigation of domain pairs and domain walls. The results of such an investigation in a form which an experimentalist can directly use are in preparation as a continuation of this work.
Example: Using the conversion Table 4 for the group D4z - 4z2x2xy and Table 1 of stability spaces and epikernels, find how the Cartesian components of the piezoelectric tensor change as we descend with the symmetry (on various paths) to trivial symmetry C1 -1.
First we take into account that tensor transforms in this group in the same way as tensor for which labelling of covariants and conversion equations are listed. We just replace the characters A and by d and .
In the group D4z - 4z2x2xy, we find that only two components are nonvanishing: and equal to one invariant with opposite signs.
In the group C4z - 4z, variable onsets to which there correspond Cartesian components , and .
To the group D2 - 2x2y2z there corresponds variable which indicates onset of the component . The covariant contributes to already allowed components by . Owing to this increment, the components d14 and d25 are now independent.
To the group there corresponds variable which contributes to Cartesian components by and . These Cartesian components are not independent because of the orientation of this group.
All three variables , , are invariant under the group C2z and hence all components d14, d25, d31, d32, d15 and d24 are independent and can be expressed through two consecutive increments as seen from conversion equations.
In the group C2x - 2x, we obtain again the increments to components already allowed in the parent group. In addition, the first component (x1,0) is now allowed, to which there corresponds an onset of tensor components: d11 = d1x,1, d13 = d1x,3, d35 = d1x,5, d12 = d1x,2 and d26 = d1x,4.
In the group C2y - 2y, we obtain again the increments to components already allowed in the parent group. In addition, the second component (0,x1) is now allowed, to which there corresponds an onset of tensor components: d22 = d1y,1, d23 = d1y,3, d34 = d1y,5, d21 = d1y,2 and d16 = d1y,4. The magnitude of these components must be the same as that of corresponding components in the group C2x - 2x, because the state is actually another domain state of the same descent.
In the groups C2xy - 2xy and , we obtain Cartesian components and . Vector (x1,x1) indicates that in the group C2xy - 2xy we obtain d11 = d22, d13 = d23, d35 = d34, d12 = d21 and d26 = d16, while, in the other group , d11 = -d22, d13 = -d23, d35 = -d34, d12 = -d21 and d26 = -d16.
We have to check now that all these components taken together are all components of tensor as it should be in the trivial group C1 - 1.
Conversion equations are not necessary for parent groups up to mxmymz - D2h because Cartesian components are themselves relative invariants (this is, however, due to the choice of group orientations). Labelling of covariants and solution of conversion equations for other tensors and for other groups can be performed by rewriting results for groups of proper rotations with the use of Opechowski's magic relations (Kopský, 2006a).
6. The group and completely transposable pairs of domain states
The original tables of the fine structure of domain states (Kopský, 1982a) have now been revised because some of the original numerical labels of ireps were changed to a more systematic labelling. With their use and with the use of conversion equations, we are able to describe all domain states by desirable tensors. This might be useful, for example, in averaging domain states of engineered multidomain structures with certain weights as well as in the determination of tensor distinction of domain states.
In consideration of domain walls or twin boundaries, we consider only pairs of domain states because only two domains meet at the wall. Here we are interested in the tensor distinction of pairs of domain states. Domain walls, pairs of domain states and their tensor distinction were extensively studied by Janovec and others (Janovec et al., 1992, 1993, 1994, 1995; Fuksa & Janovec, 1995; Fuksa, 1997). In this connection, the concept of the embracing group or fundamental group of dichromatic pattern (Shubnikov & Kopcik, 1974; Pond & Vlachavas, 1983; Wadhawan, 2000) introduced originally as a bicrystallographic construction has been given the better name of the twinning group (cf. Litvin & Kopský, 1997, on magnetic twins; Janovec, Hahn & Klapper, 2003; Janovec & Přívratská, 2003).
The To study the distinction of the tensorial properties of a pair of domain states , it is frequently not necessary to know the symmetry descent or the whole set of domain states. It is sufficient to find an element group:g which sends the state into the state . The group is defined as the group generated by the symmetry of the first state and an element g which sends it to the second state.
The next two Tables 5 and 6 refer to parent groups D4z - 4z2x2xy and . Separated by blank lines are symmetry descents to subgroups of these two groups (in the second case only the descents of low index are given). Under each of the subgroups are listed representatives of cosets in the resolution of the parent group. The elements of each send the first domain state to another distinct domain state. The group is given in the right column.
|
|
We shall consider here only the case of so-called completely transposable pairs of domain states which have the property that from follows . In this case, the two states have the same symmetry which is a halving of the group T. This leads to a notation in the style of magnetic point groups: some generators in the symbol of the group are starred in the Hermann–Mauguin symbols, in Schoenflies symbols the star is attached to the symbol of T and the F1 is specified in parentheses. All elements of the transpose the domain states and . The tensor properties of the two states are the same for those tensor components that are invariant under the group T, they differ in sign for those components that correspond to symmetry descent . This descent may not be the actual symmetry descent at which the two domain states arise and tensor components by which the states differ may belong to an irep of G which is not one-dimensional. On the other hand, this means that an experiment that leads to such a pair of states does not necessarily imply the actual symmetry descent. If , which implies , this may need the knowledge of a wider set of domain states.
Although the concept of the a), and GIKoBo-1 (Kopský & Boček (2003)] provide more complete information. Thus in Table 3.4.3.4. of section 3.4 of International Tables for Crystallography (2003, Vol. D, pp. 478–479) are given only the numbers of components of tensors (enantiomorphism), (polarization), g (gyrotropy), d (piezoelectricity), A (electrogyrotropy), s (elastic stiffness) and Q (elastooptics) in which pairs of domain states of completely transposable domain pairs differ. In an example below, we show the difference between the full analysis and a shortcut provided by the group.
group is useful for classification purposes and in cases of it is not quite necessary in the determination of the tensor distinction of domain states where tables of fine structure of domain states in conjunction with the `Main Tables' of tensor parameters of the first domain state in ferroic symmetry descents [Kopský (2001Example: We consider the transition or, in Hermann–Mauguin notation, . The principal parameters for the first domain state with symmetry C4hz (4z/mz) can be found on page 381 of the paper by Kopský (2001a) as covariant tensor components corresponding to variable z1+. These are A33, A32+A31, A24+A15, s26-s16, Q26-Q16, Q62-Q61, Q45-Q54 = q45. Secondary tensor parameters correspond to typical vector (x3+,0). mx sends the vector (0,0,z1+) to (0,0,-z1+) and leaves the vector (x3+,0) intact. The pair of domain states , where , is completely transposable and the corresponding group is . On page 165 of the same work, we find tensor parameters in which the two domain states differ as A33, A32+A31, A24+A15, s26-s16, Q26-Q16, Q62-Q61, Q45-Q54 = q45, i.e. we get the same result as before without the use of the group. If we look up the subduction tables, which were given together with fine structures of domain states, we find that the variable z+1 in the group subduces the variable which is to be replaced by these tensor parameters in the group C4hz - 4z/mz.
With the use of conversion equations, we find that the transition is accompanied by an onset of Cartesian components A33, A32 = -A31, A24 = -A15, s26 = s16, Q26 = Q16, Q26 = Q16 and q45 which change their sign if we go from the domain state to the state . Thus we can obtain explicitly those tensor parameters in which the domain states differ as well with the use of the group as without it. On the other hand, the table on page 381 of the cited work provides as easily the information about the other two pairs of domain states which correspond to typical variables x1+ and y1+ and to symmetries C4hx - 4x/mx and C4hy - 4y/my. The first pair is distinguished by tensor components A11, A13 = -A12, A35 = -A26, s34 = s24, Q34 = Q24, Q43 = Q42 and q56, the second by components A22, A21 = -A23, A16 = -A34, s15 = s35, Q15 = Q35, Q51 = Q53 and q64. Thus we obtain a complete description of the distinction of the six domains with covariant as well as Cartesian components of tensors A, s and Q (q is the antisymmetric part of Q).
In addition, we can also obtain the information about the secondary parameters which correspond to variables, transforming by the irep D(3+)(Oh), where the domain states are characterized by tensor parameters corresponding to states (x3+,0), (-ax3+-by3+,bx3+-ay3+) and (-ax3++by3+,-bx3+-ay3+). These states correspond to symmetries D4hz - 4z/mzmxmxy, D4hx - 4x/mxmymyz and D4hy - 4y/mymzmzx. With the use of conversion equations, we can find the distinction of pairs of domain states that belong to different choices of these symmetries in terms of those components of tensors u, A, s and Q which appear in the block, corresponding to the first state with the symmetry D4hz - 4z/mzmxmxy.
Thus the a) or GIKoBo-1 (Kopský & Boček, 2003)] and from tables of the fine structure of domain states. An experienced user can even bypass the use of the latter tables because the transformations of the typical variables do not go beyond the action of symmetry operations on two- or three-dimensional spaces. The essential points of an analysis of tensor properties of domain states are the decomposition of the tensor into tensorial covariants and the conversion equations.
group is only of auxiliary value in cases when we need to consider only a certain pair of domain states. Complete description of domain states in terms of tensors up to fourth rank may be obtained from the `Main tables' [Kopský (20017. Discussion
It's a long way to Tipperrary! Indeed, let us recall the steps of this version of tensor calculus and its outcome. We begin with meticulous specification of magnetic point groups and their isomorphisms. Precise specification of typical variables is a central point of systemization while the Clebsch–Gordan products represent the background for calculation of tensorial covariants or rather of the decomposition of tensors into these covariants. The choice of isomorphisms and of symbols for typical variables together with Opechowski's magic relations maximally simplify this task and cut down the tedious part of calculations to a minimum.
The knowledge of tensorial covariants is itself a starting point for the investigation of ferroic phase transitions, especially for the consideration of tensor properties of individual domain states which is necessary in modelling the properties of multidomain systems. The typical variables also prove to be useful in this application. With their use in tables of stability spaces and epikernels, we establish the quantities that characterize the first domain and in tables of fine structure of domain states we find complete information about these states. Up to orthorhombic parent groups, we do not need such a sophisticated scheme because the ireps are one-dimensional and tensorial covariants (relative invariants in these cases) coincide with Cartesian components. Starting with tetragonal parent groups, we meet, however, the difference between transition parameters and Cartesian tensor components. There are two options for resolving this discrepancy. We may obtain the results in terms of Cartesian tensor components using the procedure of labelling the covariants with subsequent transformation of results to Cartesian system through conversion equations. It would be, however, also possible to express the experimental results directly in terms of covariant components.
One of the problems of the practical use not only of this theory but also of the tables by experimentalists is the necessity of learning a certain minimal pensum of group theory such as given in this work. Tables are of no use if one does not know what information they contain. Let me, however, give an example that shows that learning at least the basic principles is worth the time. A recognized experimentalist asked me recently whether it is in order if he uses the relation where are the matrices of vector transformation to calculate the changes of tensor s from one domain state to another. Like the method of projection operators to find tensorial bases, this is theoretically correct. But in practice? With 21 components of the tensor s and up to 48 domain states? Would it not be more productive to spend the time necessary for such error-prone calculations by learning the basic principles of the theory of irreducible representations? Indeed, the principle behind our system is the same as used in spectroscopy. Using covariant tensor components we split the space of dimension 21 to subspaces whose maximal dimension is 3.
All information necessary to find tensor characteristics of individual domain states up to tensors of fourth rank and for the ordinary point groups is contained in the monograph by Kopský (2001a) and in the software GIKoBo-1 (Kopský & Boček, 2003). Explicit tabulation of analogous results for magnetic point groups and magnetic properties in printed form is out of the question as well as the tabulation of the final results because of the volume required. On the other hand, the volume of basic tables from which desired information can be derived is relatively small and algorithms for its derivation rather transparent. We are preparing an extension of the software GIKoBo-1 (Kopský & Boček, 2003) which will provide explicit results for magnetic point groups and magnetic properties with the hope that it will be helpful to experimentalists.
Supporting information
Tables of stability spaces and epikernels of crystallographic point groups. DOI: 10.1107/S010876730600078X/xo5008sup1.pdf
Acknowledgements
This work is part of project AVO 10100520 of the Czech Academy and has been supported by grant No. 202/04/0992 of the Czech Grant Agency. Thanks are due to Professor M. Nespolo, who gave the author the opportunity to present the results in lectures at the Summer School of the MathCryst group in Nancy, and to the French Embassy in Prague (Service de coopération et d'action culturelle) for generous support of local expenses as well as to my friend Professor D. B. Litvin who took care of the accommodation.
References
Ascher, E. (1977). J. Phys. C: Solid State Phys. 10, 1365–1377. Google Scholar
Birman, J. L. (1966). Phys. Rev. Lett. 17, 1216–1219. CrossRef CAS Web of Science Google Scholar
Curie, P. (1884a). Bull. Soc. Fr. Minéral. 7, 418–457. Google Scholar
Curie, P. (1884b). J. Phys. (Paris), 3, 393–415. Google Scholar
Fuksa, J. (1997). Ferroelectrics, 204, 135–155. CrossRef CAS Google Scholar
Fuksa, J. & Janovec, V. (1995). Ferroelectrics, 172, 343–350. CrossRef CAS Google Scholar
International Tables for Crystallography (2003). Vol. D, Physical Properties of Crystals, edited by A. Authier. Dordrecht: Kluwer Academic Publishers. Google Scholar
Janovec, V. (1972). Czech. J. Phys. B22, 974–994. CrossRef Web of Science Google Scholar
Janovec, V., Hahn, T. & Klapper, H. (2003). International Tables for Crystallography, Vol. D, section 3.2, Twinning and Domain Structures, pp. 377–392. Dordrecht: Kluwer Academic Publishers. Google Scholar
Janovec, V. & Kopský, V. (2003). International Tables for Crystallography, Vol. D, section 3.1.3, Equitranslational Phase Transitions. Property Tensors at Ferroic Phase Transitions, pp. 350–361. Dordrecht: Kluwer Academic Publishers. Google Scholar
Janovec, V., Litvin, D. B. & Fuksa, J. (1995). Ferroelectrics, 172, 351–359. CrossRef CAS Google Scholar
Janovec, V., Litvin, D. B. & Richterová, L. (1994). Ferroelectrics, 157, 75–80. CrossRef CAS Google Scholar
Janovec, V. & Přívratská, J. (2003). International Tables for Crystallography, Vol. D, section 3.4, Domain Structures, pp. 449–502. Dordrecht: Kluwer Academic Publishers. Google Scholar
Janovec, V., Richterová, L. & Litvin, D. B. (1992). Ferroelectrics, 126, 287–292. CrossRef CAS Google Scholar
Janovec, V., Richterová, L. & Litvin, D. B. (1993). Ferroelectrics, 140, 95–100. CrossRef CAS Google Scholar
Jarič, V. (1981). Phys. Rev. 23, 3460–3463. CrossRef CAS Web of Science Google Scholar
Kobayashi, J. & Ascher, E. (1977). J. Phys. C: Solid State Phys. 10, 1349–1364. Google Scholar
Kopský, V. (1978). Phys. Lett. A69, 82–84. Google Scholar
Kopský, V. (1979). J. Phys. A: Math. Gen. 12, L291–L294. Google Scholar
Kopský, V. (1982a). Group Lattices, Subduction of Bases & Fine Domain Structures for Magnetic Point Groups. Prague: Academia. Google Scholar
Kopský, V. (1982b). Czech. J. Phys. B33, 485–509. Google Scholar
Kopský, V. (1982c). Czech. J. Phys. B33, 720–744. Google Scholar
Kopský, V. (1982d). Czech. J. Phys. B33, 845–869. Google Scholar
Kopský, V. (2001a). Phase Transit. 73, Nos. 1–2 (Special issue), pp. 1–422. Google Scholar
Kopský, V. (2001b). Ferroelectrics, 252, 21–30. CAS Google Scholar
Kopský, V. (2001c). Ferroelectrics, 252, 51–58. CAS Google Scholar
Kopský, V. (2006a). Z. Kristallogr. 221, 51–62. Web of Science CrossRef CAS Google Scholar
Kopský, V. (2006b). Acta Cryst. A62, 47–64. Web of Science CrossRef IUCr Journals Google Scholar
Kopský, V. & Boček, P. (2003). GIKoBo-1 (Group Informatics, release 1). CD ROM Supplement to International Tables for Crystallography, Vol. D. Google Scholar
Landau, L. D. (1937). In Collected Papers of L. D. Landau (1967), edited by D. Ter Haar, pp. 193–216. New York: Gordon and Breach. [JETP, 7, pp. 19 and 627 (in Russian); Phys. Z. Sowjet. 11, pp. 26 and 545 (in German).] Google Scholar
Litvin, D. B., Fuksa, J. & Kopský, V. (1986). J. Math. Phys. 27, 661–667. CrossRef CAS Web of Science Google Scholar
Litvin, D. B. & Kopský, V. (1997). Ferroelectrics, 204, 217–223. CrossRef CAS Google Scholar
Lyubarskii, G. Ya. (1960). The Applications of Group Theory in Physics. Oxford: Pergamon Press. Google Scholar
Pond, R. C. & Vlachavas, V. A. (1983). Proc. R. Soc. London Ser. A, 386, 95–143. CrossRef CAS Google Scholar
Shubnikov, A. V. & Kopcik, V. A. (1974). Symmetry in Science and Art. New York: Plenum Press. Google Scholar
Wadhawan, H. (2000). Introduction to Ferroic Materials. Amsterdam: Gordon and Breach. Google Scholar
© International Union of Crystallography. Prior permission is not required to reproduce short quotations, tables and figures from this article, provided the original authors and source are cited. For more information, click here.