International
Tables for
Crystallography
Volume D
Physical properties of crystals
Edited by A. Authier

International Tables for Crystallography (2006). Vol. D, ch. 3.4, pp. 470-491

Section 3.4.3. Domain pairs: domain twin laws, distinction of domain states and switching

V. Janoveca* and J. Přívratskáb

aDepartment of Physics, Technical University of Liberec, Hálkova 6, 461 17 Liberec 1, Czech Republic, and bDepartment of Mathematics and Didactics of Mathematics, Technical University of Liberec, Hálkova 6, 461 17 Liberec 1, Czech Republic
Correspondence e-mail:  janovec@fzu.cz

3.4.3. Domain pairs: domain twin laws, distinction of domain states and switching

| top | pdf |

Different domains observed by a single apparatus can exhibit different properties even though their crystal structures are either the same or enantiomorphic and differ only in spatial orientation. Domains are usually distinguished by their bulk properties, i.e. according to their domain states. Then the problem of domain distinction is reduced to the distinction of domain states. To solve this task, we have to describe in a convenient way the distinction of any two of all possible domain states. For this purpose, we use the concept of domain pair.

Domain pairs allow one to express the geometrical relationship between two domain states (the `twin law'), determine the distinction of two domain states and define switching fields that may induce a change of one state into the other. Domain pairs also present the first step in examining domain twins and domain walls.

In this section, we define domain pairs, ascribe to them symmetry groups and so-called twinning groups, and give a classification of domain pairs. Then we divide domain pairs into equivalence classes (G-orbits of domain pairs) – which comprise domain pairs with the same inherent properties but with different orientations and/or locations in space – and examine the relation between G-orbits and twinning groups.

A qualitative difference between the coexistence of two domain states provides a basic division into non-ferroelastic and ferroelastic domain pairs. The synoptic Table 3.4.3.4[link] lists representatives of all G-orbits of non-ferroelastic domain pairs, contains information about the distinction of non-ferroelastic domain states by means of diffraction techniques and specifies whether or not important property tensors can distinguish between domain states of a non-ferroelastic domain pair. These data also determine the external fields needed to switch the first domain state into the second domain state of a domain pair. Synoptic Table 3.4.3.6[link] contains representative ferroelastic domain pairs of G-orbits of domain pairs for which there exist compatible (permissible) domain walls and gives for each representative pair the orientation of the two compatible domain walls, the expression for the disorientation angle (obliquity) and other data. Table 3.4.3.7[link] lists representatives of all classes of ferroelastic domain pairs for which no compatible domain walls exist. Since Table 3.4.2.7[link] contains for each symmetry descent [G\supset F] all twinning groups that specify different G-orbits of domain pairs which can appear in the ferroic phase, one can get from this table and from Tables 3.4.3.4[link], 3.4.3.6[link] and 3.4.3.7[link] the significant features of the domain structure of any ferroic phase.

3.4.3.1. Domain pairs and their symmetry, twin law

| top | pdf |

A pair of two domain states, in short a domain pair, consists of two domain states, say [{\bf S}_i] and [{\bf S}_k], that are considered irrespective of their possible coexistence (Janovec, 1972[link]). Geometrically, domain pairs can be visualized as two interpenetrating structures of [{\bf S}_i] and [{\bf S}_k]. Algebraically, two domain states [{\bf S}_i] and [{\bf S}_k] can be treated in two ways: as an ordered or an unordered pair (see Section 3.2.3.1.2[link] ).

An ordered domain pair, denoted ([{\bf S}_i,{\bf S}_k]), consists of the first domain state [{\bf S}_i] and the second domain state. Occasionally, it is convenient to consider a trivial ordered domain pair ([{\bf S}_i,{\bf S}_i]) composed of two identical domain states [{\bf S}_i].

An ordered domain pair is a construct that in bicrystallography is called a dichromatic complex (see Section 3.3.3[link] ; Pond & Vlachavas, 1983[link]; Sutton & Balluffi, 1995[link]; Wadhawan, 2000[link]).

An ordered domain pair ([{\bf S}_i,{\bf S}_k]) is defined by specifying [{\bf S}_i] and [{\bf S}_k] or by giving [{\bf S}_i] and a switching operation [g_{ik}] that transforms [{\bf S}_i ] into [{\bf S}_k], [{\bf S}_k = g_{ik}{\bf S}_i, \quad {\bf S}_i,{\bf S}_k \in G{\bf S}_1, \quad g_{ik}\in G.\eqno(3.4.3.1) ]For a given [{\bf S}_i] and [{\bf S}_k], the switching operation [g_{ik}] is not uniquely defined since each operation from the left coset [g_{ik}{F}_i] [where [F_i] is the stabilizer (symmetry group) of [{\bf S}_i]] transforms [{\bf S}_i] into [{\bf S}_k], [g_{ik}{\bf S}_i =] [ (g_{ik}{F}_{i}){\bf S}_i =] [{\bf S}_k].

An ordered domain pair [({\bf S}_k,{\bf S}_i)] with a reversed order of domain states is called a transposed domain pair and is denoted [({\bf S}_i,{\bf S}_k)^t\equiv({\bf S}_k,{\bf S}_i)]. A non-trivial ordered domain pair [({\bf S}_i,{\bf S}_k)] is different from the transposed ordered domain pair, [({\bf S}_k,{\bf S}_i) \neq ({\bf S}_i,{\bf S}_k) \ \ {\rm for} \ \ i\neq k. \eqno(3.4.3.2) ]

If [g_{ik}] is a switching operation of an ordered domain pair [({\bf S}_i,{\bf S}_k)], then the inverse operation [g_{ik}^{-1}] of [g_{ik}] is a switching operation of the transposed domain pair [({\bf S}_k,{\bf S}_i)]: [{\rm if} \,\, ({\bf S}_i,{\bf S}_k)=({\bf S}_i,g_{ik}{\bf S}_i) \,\, {\rm and} \,\, ({\bf S}_k,{\bf S}_i)=({\bf S}_k,g_{ki}{\bf S}_k), \,\, {\rm then} \,\, g_{ki}=g_{ik}^{-1}.\eqno(3.4.3.3) ]

An unordered domain pair, denoted by [\{{\bf S}_i,{\bf S}_k\} ], is defined as an unordered set consisting of two domain states [{\bf S}_i] and [{\bf S}_k]. In this case, the sequence of domains states in a domain pair is irrelevant, therefore[\{{\bf S}_i,{\bf S}_k\}= \{{\bf S}_k,{\bf S}_i\}. \eqno(3.4.3.4)]

In what follows, we shall omit the specification `ordered' or `unordered' if it is evident from the context, or if it is not significant.

A domain pair [({\bf S}_i,{\bf S}_k)] can be transformed by an operation [g\in G] into another domain pair, [g({\bf S}_i,{\bf S}_k)\equiv (g{\bf S}_i,g{\bf S}_k)=({\bf S}_l,{\bf S}_m), \quad {\bf S}_i, {\bf S}_k, {\bf S}_l, {\bf S}_m\in G{\bf S}_1, \quad g\in G. \eqno(3.4.3.5) ]These two domain pairs will be called crystallographically equivalent (in G) domain pairs and will be denoted [({\bf S}_i,{\bf S}_k)] [{\buildrel {G}\over {\sim}}] [({\bf S}_l,{\bf S}_m)].

If the transformed domain pair is a transposed domain pair [({\bf S}_k,{\bf S}_i) ], then the operation g will be called a transposing operation, [g^{\star}({\bf S}_i,{\bf S}_k)=(g^{\star}{\bf S}_i,g^{\star}{\bf S}_k)=({\bf S}_k,{\bf S}_i), \quad {\bf S}_i, {\bf S}_k \in G{\bf S}_1, \quad g^{\star}\in G.\eqno(3.4.3.6) ]We see that a transposing operation [g^{\star}\in G] exchanges domain states [{\bf S}_i] and [{\bf S}_k]: [g^{\star}{\bf S}_i = {\bf S}_k, \quad g^{\star}{\bf S}_k = {\bf S}_i, \quad {\bf S}_i, {\bf S}_k \in G{\bf S}_1, \quad g^{\star}\in G.\eqno(3.4.3.7) ]Thus, comparing equations (3.4.3.1[link]) and (3.4.3.7[link]), we see that a transposing operation [g^{\star}] is a switching operation that transforms [{\bf S}_i] into [{\bf S}_k ], and, in addition, switches [{\bf S}_k] into [{\bf S}_i]. Then a product of two transposing operations is an operation that changes neither [{\bf S}_i] nor [{\bf S}_k].

What we call in this chapter a transposing operation is usually denoted as a twin operation (see Section 3.3.5[link] and e.g. Holser, 1958[link]a; Curien & Donnay, 1959[link]; Koch, 2004[link]). We are reserving the term `twin operation' for operations that exchange domain states of a simple domain twin in which two ferroelastic domain states coexist along a domain wall. Then, as we shall see, the transposing operations are identical with the twin operations in non-ferro­elastic domains (see Section 3.4.3.5[link]) but may differ in ferroelastic domain twins, where only some transposing operations of a single-domain pair survive as twin operations of the corresponding ferroelastic twin with a nonzero disorientation angle (see Section 3.4.3.6.3[link]).

Transposing operations are marked in this chapter by a star, [^\star] (with five points), which should be distinguished from an asterisk, [^*] (with six points), used to denote operations or symmetry elements in reciprocal space. The same designation is used in the software GI[\star]KoBo-1 and in the tables in Kopský (2001[link]). A prime, ′, is often used to designate transposing (twin) operations (see Section 3.3.5[link] ; Curien & Le Corre, 1958[link]; Curien & Donnay, 1959[link]). We have reserved the prime for operations involving time inversion, as is customary in magnetism (see Chapter 1.5[link] ). This choice allows one to analyse domain structures in magnetic and magnetoelectric materials (see e.g. Přívratská & Janovec, 1997[link]).

In connection with this, we invoke the notion of a twin law. Since this term is not yet common in the context of domain structures, we briefly explain its meaning.

In crystallography, a twin is characterized by a twin law defined in the following way (see Section 3.3.2[link] ; Koch, 2004[link]; Cahn, 1954[link]):

  • (i) A twin law describes the geometrical relation between twin components of a twin. This relation is expressed by a twin operation that brings one of the twin components into parallel orientation with the other, and vice versa. A symmetry element corresponding to the twin operation is called the twin element. (Requirement `and vice versa' is included in the definition of Cahn but not in that of Koch; for the most common twin operations of the second order the `vice versa' condition is fulfilled automatically.)

  • (ii) The relation between twin components deserves the name `twin law' only if it occurs frequently, is reproducible and represents an inherent feature of the crystal.

An analogous definition of a domain twin law can be formulated for domain twins by replacing the term `twin components' by `domains', say [{\bf D}_i({\bf S}_j,B_k)] and [{\bf D}_m({\bf S}_n,B_p)], where [{\bf S}_j], [B_k] and [{\bf S}_n], [B_p] are, respectively, the domain state and the domain region of the domains [{\bf D}_i({\bf S}_j,B_k) ] and [{\bf D}_m({\bf S}_n,B_p)], respectively (see Section 3.4.2.1[link]). The term `transposing operation' corresponds to transposing operation [g_{12}^{\star}] of domain pair [({\bf S}_1,{\bf S}_2) =] [({\bf S}_j, g_{jn}^{\star}{\bf S}_n)] as we have defined it above if two domains with domain states [{\bf S}_1] and [{\bf S}_2 ] coexist along a domain wall of the domain twin.

Domain twin laws can be conveniently expressed by crystallographic groups. This specification is simpler for non-ferroelastic twins, where a twin law can be expressed by a dichromatic space group (see Section 3.4.3.5[link]), whereas for ferroelastic twins with a compatible domain wall dichromatic layer groups are adequate (see Section 3.4.3.6.3[link]).

Restriction (ii)[link], formulated by Georges Friedel (1926[link]) and explained in detail by Cahn (1954[link]), expresses a necessity to exclude from considerations crystal aggregates (intergrowths) with approximate or accidental `nearly exact' crystal components resembling twins (Friedel's macles d'imagination) and thus to restrict the definition to `true twins' that fulfil condition (i)[link] exactly and are characteristic for a given material. If we confine our considerations to domain structures that are formed from a homogeneous parent phase, this requirement is fulfilled for all aggregates consisting of two or more domains. Then the definition of a `domain twin law' is expressed only by condition (i)[link]. Condition (ii)[link] is important for growth twins.

We should note that the definition of a twin law given above involves only domain states and does not explicitly contain specification of the contact region between twin components or neighbouring domains. The concept of domain state is, therefore, relevant for discussing the twin laws. Moreover, there is no requirement on the coexistence of interpenetrating structures in a domain pair. One can even, therefore, consider cases where no real coexistence of both structures is possible. Nevertheless, we note that the characterization of twin laws used in mineralogy often includes specification of the contact region (e.g. twin plane or diffuse region in penetrating twins).

Ordered domain pairs [({\bf S}_1, {\bf S}_2)] and [({\bf S}_1, {\bf S}_3) ], formed from domain states of our illustrative example (see Fig. 3.4.2.2[link]), are displayed in Fig. 3.4.3.1[link](a) and (b), respectively, as two superposed rectangles with arrows representing spontaneous polarization. In ordered domain pairs, the first and the second domain state are distinguished by shading [the first domain state is grey (`black') and the second clear (`white')] and/or by using dashed and dotted lines for the first and second domain state, respectively.

[Figure 3.4.3.1]

Figure 3.4.3.1 | top | pdf |

Transposable domain pairs. Single-domain states are those from Fig. 3.4.2.2[link]. (a) Completely transposable non-ferroelastic domain pair. (b) Partially transposable ferroelastic domain pair.

In Fig. 3.4.3.2[link], the ordered domain pair [({\bf S}_1, {\bf S}_2) ] and the transposed domain pair [({\bf S}_2, {\bf S}_1)] are depicted in a similar way for another example with symmetry descent [G=] [6_z/m_z \supset 2_z/m_z] = [ F_1 ].

[Figure 3.4.3.2]

Figure 3.4.3.2 | top | pdf |

Non-transposable domain pairs. (a) The parent phase with symmetry [G=6_z/m_z] is represented by a dotted hexagon and the three ferroelastic single-domain states with symmetry [F_1=F_2=F_3=2_z/m_z] are depicted as drastically squeezed hexagons. (b) Domain pair [({\bf S}_1,{\bf S}_2) ] and transposed domain pair [({\bf S}_2,{\bf S}_1)]. There exists no operation from the group [6_z/m_z] that would exchange domain states [{\bf S}_1] and [{\bf S}_2], i.e. that would transform one domain pair into a transposed domain pair.

Let us now examine the symmetry of domain pairs. The symmetry group [{F}_{ik}] of an ordered domain pair [({\bf S}_i,{\bf S}_k) =] [({\bf S}_i,g_{ik}{\bf S}_i)] consists of all operations that leave invariant both [{\bf S}_i] and [{\bf S}_k ], i.e. [{F}_{ik}] comprises all operations that are common to stabilizers (symmetry groups) [F_i] and [F_k] of domain states [{\bf S}_i] and [{\bf S}_k], respectively, [{F}_{ik} \equiv {F}{_i} \cap {F}_k = {F}_i \cap g_{ik}{F}_{i}g_{ik}^{-1}, \eqno(3.4.3.8) ]where the symbol [\cap] denotes the intersection of groups [F_i] and [F_k]. The group [{F}_{ik}] is in Section 3.3.4[link] denoted by [{\cal H}^*] and is called an intersection group.

From equation (3.4.3.8[link]), it immediately follows that the symmetry [F_{ki}] of the transposed domain pair [({\bf S}_k,{\bf S}_i) ] is the same as the symmetry [F_{ik}] of the initial domain pair [({\bf S}_i,{\bf S}_k)]: [{F}_{ki} = {F}{_k} \cap {F}_i={F}{_i} \cap {F}_k=F_{ik}.\eqno(3.4.3.9) ]

Symmetry operations of an unordered domain pair [\{{\bf S}_i,{\bf S}_k\} ] include, besides operations of [F_{ik}] that do not change either [{\bf S}_i] or [{\bf S}_k], all transposing operations, since for an unordered domain pair a transposed domain pair is identical with the initial domain pair [see equation (3.4.3.4[link])]. If [g^{\star}_{ik} ] is a transposing operation of [({\bf S}_i,{\bf S}_k)], then all operations from the left coset [g^{\star}_{ik}F_{ik}] are transposing operations of that domain pair as well. Thus the symmetry group [J_{ik}] of an unordered domain pair [\{{\bf S}_i,{\bf S}_k\} ] can be, in a general case, expressed in the following way:[J_{ik} = F_{ik} \cup g^{\star}_{ik}F_{ik}, \quad g^{\star}_{ik}\in G.\eqno(3.4.3.10) ]

Since, for an unordered domain, the order of domain states in a domain pair is not significant, the transposition of indices [i, k] in [J_{ik}] does not change this group, [J_{ik}=F_{ik} \cup g^{\star}_{ik}F_{ik}=F_{ki} \cup g^{\star}_{ki}F_{ki}=J_{ki}, \eqno(3.4.3.11) ]which also follows from equations (3.4.3.3[link]) and (3.4.3.9[link]).

A basic classification of domain pairs follows from their symmetry. Domain pairs for which at least one transposing operation exists are called transposable (or ambivalent) domain pairs. The symmetry group of a transposable unordered domain pair [({\bf S}_i,{\bf S}_k)] is given by equation (3.4.3.10[link]).

The star in the symbol [J_{ik}^{\star}] indicates that this group contains transposing operations, i.e. that the corresponding domain pair [({\bf S}_i,{\bf S}_k)] is a transposable domain pair.

A transposable domain pair [({\bf S}_i,{\bf S}_k)] and transposed domain pair [({\bf S}_k,{\bf S}_i)] belong to the same G-orbit: [G({\bf S}_i,{\bf S}_k)=G({\bf S}_k,{\bf S}_i).\eqno(3.4.3.12) ]

If [\{{\bf S}_i,{\bf S}_k\}] is a transposable pair and, moreover, [F_i =F_k =F_{ik}], then all operations of the left coset [g_{ik}^{\star}F_i] simultaneously switch [{\bf S}_i] into [{\bf S}_k] and [{\bf S}_k] into [{\bf S}_i]. We call such a pair a completely transposable domain pair. The symmetry group [J_{ik}] of a completely transposable pair [\{{\bf S}_i,{\bf S}_k\} ] is [J_{ik}^{\star} = F_i \cup g^{\star}_{ik}F_i, \quad g^{\star}_{ik}\in G, \quad F_i=F_k. \eqno(3.4.3.13) ]We shall use for symmetry groups of completely transposable domain pairs the symbol [J_{ik}^{\star}].

If [F_i \neq F_k], then [F_{ik}\subset F_i] and the number of transposing operations is smaller than the number of operations switching [{\bf S}_i] into [{\bf S}_k]. We therefore call such pairs partially transposable domain pairs. The symmetry group [J_{ik}] of a partially transposable domain pair [\{{\bf S}_i,{\bf S}_k\}] is given by equation (3.4.3.10[link]).

The symmetry groups [J_{ik}] and [J_{ik}^{\star}], expressed by (3.4.3.10[link]) or by (3.4.3.13[link]), respectively, consists of two left cosets only. The first is equal to [F_{ik}] and the second one [g^{\star}_{ik}F_{ik}] comprises all the transposing operations marked by a star. An explicit symbol [J_{ik}[F_{ik}] ] of these groups contains both the group [J_{ik}] and [F_{ik} ], which is a subgroup of [J_{ik}] of index 2.

If one `colours' one domain state, e.g. [{\bf S}_i], `black' and the other, e.g. [{\bf S}_k], `white', then the operations without a star can be interpreted as `colour-preserving' operations and operations with a star as `colour-exchanging' operations. Then the group [J_{ik}[F_{ik}] ] can be treated as a `black-and-white' or dichromatic group (see Section 3.2.3.2.7[link] ). These groups are also called Shubnikov groups (Bradley & Cracknell, 1972[link]), two-colour or Heesch–Shubnikov groups (Opechowski, 1986[link]), or antisymmetry groups (Vainshtein, 1994[link]).

The advantage of this notation is that instead of an explicit symbol [J_{ik}[F_{ik}]], the symbol of a dichromatic group specifies both the group [J_{ik}] and the subgroup [F_{ij}] or [F_1], and thus also the transposing operations that define, according to equation (3.4.3.7[link]), the second domain state [{\bf S}_j] of the pair.

We have agreed to use a special symbol [J_{ik}^{\star}] only for completely transposable domain pairs. Then the star in this case indicates that the subgroup [F_{ik}] is equal to the symmetry group of the first domain state [{\bf S}_i] in the pair, [F_{ik}=F_i]. Since the group [F_i] is usually well known from the context (in our main tables it is given in the first column), we no longer need to add it to the symbol of [J_{ik}].

Domain pairs for which an exchanging operation [g^{\star}_{ik}] cannot be found are called non-transposable (or polar) domain pairs. The symmetry [J_{ij}] of a non-transposable domain pair is reduced to the usual `monochromatic' symmetry group [F_{ik}] of the corresponding ordered domain pair [({\bf S}_i,{\bf S}_k)]. The G-orbits of mutually transposed polar domain pairs are disjoint (Janovec, 1972[link]): [G({\bf S}_i,{\bf S}_k) \cap G({\bf S}_k,{\bf S}_i)= \emptyset.\eqno(3.4.3.14) ]Transposed polar domain pairs, which are always non-equivalent, are called complementary domain pairs.

If, in particular, [F_{ik}=F_i=F_k], then the symmetry group of the unordered domain pair is [J_{ik}=F_{i}=F_k.\eqno(3.4.3.15) ]In this case, the unordered domain pair [\{{\bf S}_i,{\bf S}_k\}] is called a non-transposable simple domain pair.

If [F_i\neq F_k], then the number of operations of [F_{ik}] is smaller than that of [F_i] and the symmetry group [J_{ik}] is equal to the symmetry group [F_{ik}] of the ordered domain pair [({\bf S}_i,{\bf S}_k)], [J_{ik}=F_{ik}, \quad F_{ik}\subset F_i. \eqno(3.4.3.16) ]Such an unordered domain pair [\{{\bf S}_i,{\bf S}_k\}] is called a non-transposable multiple domain pair. The reason for this designation will be given later in this section.

We stress that domain states forming a domain pair are not restricted to single-domain states. Any two domain states with a defined orientation in the coordinate system of the parent phase can form a domain pair for which all definitions given above are applicable.

Example 3.4.3.1. Now we examine domain pairs in our illustrative example of a phase transition with symmetry descent G = [4_z/m_zm_xm_{xy}\supset 2_xm_ym_z =] [F_1] and with four single-domain states [{\bf S}_1,] [{\bf S}_2,] [{\bf S}_3] and [{\bf S}_3], which are displayed in Fig. 3.4.2.2[link]. The domain pair [\{{\bf S}_1,{\bf S}_2\}] depicted in Fig. 3.4.3.1[link](a) is a completely transposable domain pair since transposing operations exist, e.g. [g^{\star}_{12}=m^{\star}_x], and the symmetry group [F_{12}] of the ordered domain pair [({\bf S}_1,{\bf S}_2) ] is [F_{12}=F_1\cap F_2=F_1=F_2=2_xm_ym_z.\eqno(3.4.3.17) ]The symmetry group [J_{12}] of the unordered pair [\{{\bf S}_1,{\bf S}_2\} ] is a dichromatic group, [J_{12}^{\star}=2_xm_ym_z \cup m^{\star}_x\{2_xm_ym_z\} = m_x^{\star}m_ym_z.\eqno(3.4.3.18) ]

The domain pair [\{{\bf S}_1,{\bf S}_3\}] in Fig. 3.4.3.1[link](b) is a partially transposable domain pair, since there are operations exchanging domain states [{\bf S}_1] and [{\bf S}_3], e.g. [g^{\star}_{13}=m^{\star}_{x\bar{y}}], but the symmetry group [F_{13}] of the ordered domain pair [({\bf S}_1,{\bf S}_3)] is smaller than [F_1]: [F_{13}=F_1 \cap F_3 = 2_xm_ym_z \cap m_x2_ym_z = \{1,m_z\}\equiv \{m_z\},\eqno(3.4.3.19) ]where 1 is an identity operation and [\{1,m_z\}] denotes the group [m_z]. The symmetry group of the unordered domain pair [\{{\bf S}_1,{\bf S}_3\} ] is equal to a dichromatic group, [J_{13} = \{m_z\} \cup 2^{\star}_{xy}.\{m_z\} = 2_{xy}^{\star}m_{\bar{x}y}^{\star}m_z.\eqno(3.4.3.20) ]

The domain pair [({\bf S}_1,{\bf S}_2)] in Fig. 3.4.3.2[link](b) is a non-transposable simple domain pair, since there is no transposing operation of [G=6_z/m_z] that would exchange domain states [{\bf S}_1 ] and [{\bf S}_2], and [F_1=F_2=2_z/m_z]. The symmetry group [J_{12}] of the unordered domain pair [\{{\bf S}_1,{\bf S}_3\}] is a `monochromatic' group, [J_{12}=F_{12}=F_1=F_2=2_z/m_z. \eqno(3.4.3.21) ]The G-orbit [6_z/m_z({\bf S}_1,{\bf S}_2)] of the pair [({\bf S}_1,{\bf S}_2)] has no common domain pair with the G-orbit [6_z/m_z({\bf S}_2,{\bf S}_1)] of the transposed domain pair [({\bf S}_2,{\bf S}_1) ]. These two `complementary' orbits contain mutually transposed domain pairs.

Symmetry groups of domain pairs provide a basic classification of domain pairs into the four types introduced above. This classification applies to microscopic domain pairs as well.

3.4.3.2. Twinning group, distinction of two domain states

| top | pdf |

We have seen that for transposable domain pairs the symmetry group [J_{1j}] of a domain pair [({\bf S}_1,{\bf S}_j)] specifies transposing operations [g^{\star}_{1j}F_1] that transform [{\bf S}_1] into [{\bf S}_j]. This does not apply to non-transposable domain pairs, where the symmetry group [J_{1j}=F_{1j}] does not contain any switching operation. Another group exists, called the twinning group, which is associated with a domain pair and which does not have this drawback. The twinning group determines the distinction of two domain states, specifies the external fields needed to switch one domain state into another one and enables one to treat domain pairs independently of the transition [G\supset F_1]. This facilitates the tabulation of the properties of non-equivalent domain pairs that appear in all possible ferroic phases.

The twinning group [K_{1j}] of a domain pair [({\bf S}_1,{\bf S}_j)] is defined as the minimal subgroup of G that contains both [F_1] and a switching operation [g_{1j} ] of the domain pair [({\bf S}_1,{\bf S}_j)], [{\bf S}_j=g_{1j}{\bf S}_1 ] (Fuksa & Janovec, 1995[link]; Janovec et al., 1995[link]; Fuksa, 1997[link]), [F_1\subset K_{1j}\subseteq G, \quad g_{1j}\in K_{1j},\eqno(3.4.3.22)]where no group [K'_{1j}] exists such that [F_1\subset K'_{1j}\subset K_{1j}, \quad g_{1j}\in K'_{1j}.\eqno(3.4.3.23) ]

The twinning group [K_{1j}] is identical to the embracing (fundamental) group used in bicrystallography (see Section 3.2.2[link] ). In Section 3.3.4[link] it is called a composite symmetry of a twin.

Since [K_{1j}] is a group, it must contain all products of [g_{1j}] with operations of [F_1], i.e. the whole left coset [g_{1j}F_1]. For completely transposable domain pairs, the union of [F_1] and [g_{1j}^{\star}F_1] forms a group that is identical with the symmetry group [J_{1j}^{\star}] of the unordered domain pair [\{{\bf S}_1,{\bf S}_j\}]: [K_{1j}^{\star}=J_{1j}^{\star} = F_1 \cup g^{\star}_{1j}F_1, \quad g_{1j}^{\star}\in K_{1j}, \quad F_1=F_j.\eqno(3.4.3.24) ]

In a general case, the twinning group [K_{1j}], being a supergroup of [F_1], can always be expressed as a decomposition of the left cosets of [F_1], [K_{1j} = F_1 \cup g_{1j}F_1 \cup g_{1k}F_1 \cup\ldots\cup g_{1c}\in G. \eqno(3.4.3.25) ]

We can associate with the twinning group a set of c domain states, the [K_{1j}]-orbit of [{\bf S}_1], which can be generated by applying to [{\bf S}_1] the representatives of the left cosets in decomposition (3.4.3.25[link]), [K_{1j}{\bf S}_1=\{{\bf S}_1,{\bf S}_j,\ldots, {\bf S}_c\}.\eqno(3.4.3.26) ]This orbit is called the generic orbit of domain pair [({\bf S}_1,{\bf S}_j) ].

Since the generic orbit (3.4.3.26[link]) contains both domain states of the domain pair [({\bf S}_1,{\bf S}_j)], one can find different and equal nonzero tensor components in two domain states [{\bf S}_1 ] and [{\bf S}_j] by a similar procedure to that used in Section 3.4.2.3[link] for ascribing principal and secondary tensor parameters to principal and secondary domain states. All we have to do is just replace the group G of the parent phase by the twinning group [K_{1j}]. There are, therefore, three kinds of nonzero tensor components in [{\bf S}_1] and [{\bf S}_j]:

  • (1) Domain states [{\bf S}_1] and [{\bf S}_j ] differ in the principal tensor parameters [\kappa_a] of the `virtual' phase transition with symmetry descent [K_{1j}\supset F_1], [\kappa_a^{(1)}\neq \kappa_a^{(j)}, \quad a=1,2,\ldots,\eqno(3.4.3.27) ]where [\kappa_a^{(1)}] and [\kappa_a^{(j)}] are the principal tensor parameters in domain states [{\bf S}_1] and [{\bf S}_j]; in the symbol of the principal tensor parameter [\kappa_{a}] we explicitly write only the lower index a, which numbers different principal tensor parameters, but omit the upper index labelling the representation of [K_{1j}], according to which [\kappa_a] transforms, and the second lower index denoting the components of the principal tensor parameter (see Section 3.4.2.3[link] and the manual of the software GI[\star]KoBo-1, path: Subgroups\View\Domains and Kopský, 2001[link]).

    The principal tensor parameters [\kappa_a^{(1)}] of lower rank in domain state [{\bf S}_1] can be found for [G=K_{1j}] in Table 3.1.3.1[link] of Section 3.1.3.3[link] , where we replace G by [K_{1j}], and for all important property tensors in the software GI[\star]KoBo-1, path: Subgroups\View\Domains and in Kopský (2001[link]), where we again replace G by [K_{1j}]. Tensor parameters in domain state [{\bf S}_j ] can be obtained by applying to the principal tensor parameters in [{\bf S}_1] the operation [g_{1j}].

  • (2) If there exists an intermediate group [L_{1j} ] in between [F_1] and [K_{1j}] that does not – contrary to [K_{1j}] – contain the switching operation [g_{1j}] of the domain pair [({\bf S}_1,{\bf S}_j)], [F_1\subset L_{1j}\subseteq K_{1j}, \quad g_{1j}\in L_{1j}, \eqno(3.4.3.28) ][cf. relation (3.4.3.23[link])] then domain states [{\bf S}_1] and [{\bf S}_j] differ not only in the principal tensor parameters [\kappa_a], but also in the secondary tensor parameters [\lambda_{b}]: [\lambda_{b}^{(1)}\neq \lambda_{b}^{(j)}, \quad I_{K_{1j}}(\lambda_{b}^{(1)})=L_{1j}, \quad b=1,\ldots, \eqno(3.4.3.29) ]where [\lambda_{b}^{(1)}] and [\lambda_{b}^{(j)}] are the secondary tensor parameters in domain states [{\bf S}_1] and [{\bf S}_j ]; the last equation, in which [I_{K_{1j}}(\lambda_{b}^{(1)})] is the stabilizer of [\lambda_{b}^{(1)}] in [K_{1j}], expresses the condition that [\lambda_{b}] is the principal tensor parameter of the transition [K_{1j}\supset L_{1j}] [see equation (3.4.2.40[link])].

    The secondary tensor parameters [\lambda_{b}^{(1)} ] of lower rank in domain state [{\bf S}_1] can be found for [G=K_{1j}] in Table 3.1.3.1[link] of Section 3.1.3.3[link] , and for all important property tensors in the soft­ware GI[\star]KoBo-1, path: Subgroups\View\Domains and in Kopský (2001[link]). Tensor parameters [\lambda_{b}^{(j)}] in domain state [{\bf S}_j] can be obtained by applying to the secondary tensor parameters [\lambda_{b}^{(1)}] in [{\bf S}_1] the operation [g_{1j}].

  • (3) All nonzero tensor components that are the same in domain states [{\bf S}_1] and [{\bf S}_j] are identical with nonzero tensor components of the group [K_{1j}]. These components are readily available for all important material tensors in Section 1.1.4[link] , in the software GI[\star]KoBo-1, path: Subgroups\View\Domains and in Kopský (2001[link]).

Cartesian tensor components corresponding to the tensor parameters can be calculated by means of conversion equations [for details see the manual of the software GI[\star]KoBo-1, path: Subgroups\View\Domains and Kopský (2001[link])].

Let us now illustrate the above recipe for finding tensor distinctions by two simple examples.

Example 3.4.3.2. The domain pair [({\bf S}_1,{\bf S}_2)] in Fig. 3.4.3.1[link](a) is a completely transposable pair, therefore, according to equations (3.4.3.24[link]) and (3.4.3.18[link]), [K_{12}^{\star}=J_{12}^{\star}=2_xm_ym_z \cup m^{\star}_x\{2_xm_ym_z\} = m_x^{\star}m_ym_z.\eqno(3.4.3.30) ]

In Table 3.1.3.1[link] , we find that the first principal tensor parameter [\kappa^{(1)}] of the transition G = [K_{1j}=] [m_xm_ym_z\supset 2_xm_ym_z =] [F_1] is the x-component [P_1] of the spontaneous polarization, [\kappa_1^{(1)}=P_1]. Since the switching operation [g_{12}^{\star}] is for example the inversion [\bar 1], the tensor parameter [\kappa_1^{(2)}] in the second domain state [{\bf S}_2] is [\kappa_1^{(2)}=-P_1].

Other principal tensor parameters can be found in the software GI[\star]KoBo-1 or in Kopský (2001[link]), p. 185. They are: [\kappa_2^{(1)}=d_{12},] [ \kappa_3^{(1)}=d_{13},] [\kappa_4^{(1)}=d_{26},] [\kappa_5^{(1)}=d_{35}] (the physical meaning of the components is explained in Table 3.4.3.5[link]). In the second domain state [{\bf S}_2], these components have the opposite sign. No other tensor components exist that would be different in [{\bf S}_1 ] and [{\bf S}_2], since there is no intermediate group [L_{1j} ] in between [F_1] and [K_{1j}].

Nonzero components that are the same in both domain states are nonzero components of property tensors in the group [mmm] and are listed in Section 1.1.4.7[link] or in the software GI[\star]KoBo-1 or in Kopský (2001[link]).

The numbers of independent tensor components that are different and those that are the same in two domain states are readily available for all non-ferroelastic domain pairs and important property tensors in Table 3.4.3.4[link].

Example 3.4.3.3. The twinning group of the partially transposable domain pair [({\bf S}_1,{\bf S}_3) ] in Fig. 3.4.3.1[link](b) with [{\bf S}_3=2_{xy}{\bf S}_1 ] has the twinning group [\eqalignno{K_{13} &= 2_xm_ym_z \cup 2_{xy}\{2_xm_ym_z\} \cup 2_z\{2_xm_ym_z\} \cup 2_{x\bar y}\{2_xm_ym_z\} &\cr&= 4_z/m_zm_xm_{xy}. &(3.4.3.31)} ]Domain states [{\bf S}_1] and [{\bf S}_3] differ in the principal tensor parameter of the transition [4_z/m_zm_xm_{xy} \subset 2_xm_ym_z ], which is two-dimensional and which we found in Example 3.4.2.4[link]: [\kappa_1^{(1)}=(P,0)]. Then in the domain state [{\bf S}_3] it is [\kappa_1^{(3)}=D(2_{xy})(P,0)=(0,P)]. Other principal tensors are: [\kappa_2^{(1)}=(g_4,0),] [\kappa_3^{(1)}=(d_{11},0), ] [\kappa_4^{(1)}=(d_{12},0),] [\kappa_5^{(1)}=(d_{13},0),] [\kappa_6^{(1)}=(d_{26},0),] [\kappa_7^{(1)}=(d_{35},0)] (the physical meaning of the components is explained in Table 3.4.3.5[link]). In the domain state [{\bf S}_3] they keep their absolute value but appear as the second nonzero components, as with spontaneous polarization.

There is an intermediate group [L_{13}=m_xm_ym_z] between [F_1=2_xm_ym_z ] and [K_{13}=4_z/m_zm_xm_{xy}], since [L_{13}=m_xm_ym_z] does not contain [g_{13}=2_{xy}]. The one-dimensional secondary tensor parameters for the symmetry descent [K_{13}=] [4_z/m_zm_xm_{xy}\supset L_{13}=] [m_xm_ym_z] was also found in Example 3.4.2.4[link]: [\lambda_{1}^{(1)}=u_1-u_2; ] [\lambda_{2}^{(1)}=A_{14}+A_{25},A_{36};] [\lambda_{3}^{(1)}=s_{11}-s_{22}, ] [s_{13}-s_{23},] [s_{44}-s_{55};] [\lambda_{4}^{(1)}=Q_{11}-Q_{22}, ] [Q_{12}-Q_{21},] [Q_{13}-Q_{23},] [Q_{31}-Q_{32},] [Q_{44}-Q_{55}]. All these parameters have the opposite sign in [{\bf S}_3 ].

The tensor distinction of two domain states [{\bf S}_1] and [{\bf S}_j] in a domain pair [({\bf S}_1,{\bf S}_j)] provides a useful classification of domain pairs given in the second and the third columns of Table 3.4.3.1[link]. This classification can be extended to ferroic phases which are named according to domain pairs that exist in this phase. Thus, for example, if a ferroic phase contains ferroelectric (ferroelastic) domain pair(s), then this phase is a ferroelectric (ferroelastic) phase. Finer division into full and partial ferroelectric (ferro­elastic) phases specifies whether all or only some of the possible domain pairs in this phase are ferroelectric (ferroelastic) ones. Another approach to this classification uses the notions of principal and secondary tensor parameters, and was explained in Section 3.4.2.2[link].

Table 3.4.3.1| top | pdf |
Classification of domain pairs, ferroic phases and of switching (state shifts)

[P_{0i}^{(k)}] and [u_{0\mu}^{(k)}] are components of the spontaneous polarization and spontaneous strain in the domain state [{\bf S}_k], where [k=1] or [k=j]; similarly, [d_{i\mu}^{(k)} ] are components of the piezoelectric tensor, [{\varepsilon}_0{\kappa}_{ij}^{(k)} ] are components of electric susceptibility, [s_{\mu\nu}^{(k)}] are compliance components and [Q_{ij\mu}^{(k)}] are components of electrostriction (components with Greek indices are expressed in matrix notation) [see Chapter 1.1[link] or e.g. Nye (1985[link]) and Sirotin & Shaskolskaya (1982[link])]. Text in italics concerns the classification of ferroic phases. [{\bf E}] is the electric field and [{\sigma} ] is the mechanical stress.

Ferroic classDomain pair – at least in one pairDomain pair – phaseSwitching (state shift)Switching field
Primary At least one [P_{0i}^{(j)}-P_{0i}^{(1)}\neq 0 ] Ferroelectric Electrically first order E
At least one [u_{0\mu}^{(j)}-u_{0\mu}^{(1)}\neq 0 ] Ferroelastic Mechanically first order [{\sigma} ]
Secondary At least one [P_{0i}^{(j)}-P_{0i}^{(1)}\neq 0 ] and at least one [u_{0\mu}^{(j)}-u_{0\mu}^{(1)}\neq 0] Ferroelastoelectric Electromechanically first order E[\sigma]
  All [P_{0i}^{(j)}-P_{0i}^{(1)}= 0] and at least one [{\varepsilon}_0({\kappa}_{ik}^{(j)}-{\kappa}_{ik}^{(1)})\neq 0 ] Ferrobielectric Electrically second order EE
  All [u_{0\mu}^{(j)}-u_{0\mu}^{(1)}= 0 ] and at least one [s_{\mu\nu}^{(j)}-s_{\mu\nu}^{(1)}\neq 0] Ferrobielastic Mechanically second order [{\sigma\sigma}]
[\ldots] [\ldots] [\ldots] [\ldots] [\ldots]

[i,j = 1,2,3]; [\mu, \nu = 1,2, \ldots,6].

A discussion of and many examples of secondary ferroic phases are available in papers by Newnham & Cross (1974a[link],b[link]) and Newnham & Skinner (1976[link]), and tertiary ferroic phases are discussed by Amin & Newnham (1980[link]).

We shall now show that the tensor distinction of domain states is closely related to the switching of domain states by external fields.

3.4.3.3. Switching of ferroic domain states

| top | pdf |

We saw in Section 3.4.2.1[link] that all domain states of the orbit [G{\bf S}_1] have the same chance of appearing. This implies that they have the same free energy, i.e. they are degenerate. The same conclusion follows from thermodynamic theory, where domain states appear as equivalent solutions of equilibrium values of the order parameter, i.e. all domain states exhibit the same free energy [\Psi] (see Section 3.1.2[link] ). These statements hold under a tacit assumption of absent external electric and mechanical fields. If these fields are nonzero, the degeneracy of domain states can be partially or completely lifted.

The free energy [\Psi^{(k)}] per unit volume of a ferroic domain state [{\bf S}_k], [k=1,2,\ldots,n], with spontaneous polarization [{\bf P}_0^{(k)}] with components [P_{0i}^{(k)}], [i=1,2,3], and with spontaneous strain components [u_{0\mu}^{(k)}], [\mu=1,2,\ldots, 6, ] is (Aizu, 1972[link])[\eqalignno{\Psi^{(k)}&={\Psi}_0-P_{0i}^{(k)}E_{i}-u_{0\mu}^{(k)}\sigma_{\mu}- d_{i\mu}^{(k)}E_i\sigma_{\mu}-\textstyle{{1}\over{2}}{\varepsilon}_0{\kappa}_{ik}^{(k)}E_iE_k&\cr&\quad- \textstyle{{1}\over{2}}s_{\mu\nu}^{(k)}\sigma_{\mu}\sigma_{\nu}-\textstyle{{1}\over{2}} Q_{ik\mu}E_iE_{k}\sigma_{\mu}-\ldots, &(3.4.3.32)} ]where the Einstein summation convention (summation with respect to suffixes that occur twice in the same term) is used with [i,j=1,2,3] and [\mu,\nu=1,2,\ldots,6]. The symbols in equation (3.4.3.32[link]) have the following meaning: [E_{i}] and [u_{\mu}] are components of the external electric field and of the mechanical stress, respectively, [d_{i\mu}^{(k)}] are components of the piezoelectric tensor, [{\varepsilon}_0{\kappa}_{ij}^{(k)} ] are components of the electric susceptibility, [s_{\mu\nu}^{(k)} ] are compliance components, and [Q_{ij\mu}^{(k)}] are components of electrostriction (components with Greek indices are expressed in matrix notation) [see Section 3.4.5[link] (Glossary), Chapter 1.1[link] or Nye (1985[link]); Sirotin & Shaskolskaya (1982[link])].

We shall examine two domain states [{\bf S}_1] and [{\bf S}_j ], i.e. a domain pair [({\bf S}_1,{\bf S}_j)], in electric and mechanical fields. The difference of their free energies is given by[\eqalignno{\Psi^{(j)}-\Psi^{(1)}&=-(P_{0i}^{(j)}-P_{0i}^{(1)})E_{i}- (u_{0\mu}^{(j)}-u_{0\mu}^{(1)}){\sigma}_{\mu}-(d_{i\mu}^{(j)}-d_{i\mu}^{(1)})E_i{\sigma}_{\mu}&\cr &\quad-\textstyle{{1}\over{2}}{\varepsilon}_0({\kappa}_{ik}^{(j)}-{\kappa}_{ik}^{(1)})E_iE_k-\textstyle{{1}\over{2}}(s_{\mu\nu}^{(j)}-s_{\mu\nu}^{(1)})\sigma_{\mu}\sigma_{\nu}&\cr &\quad-\textstyle{{1}\over{2}}(Q_{ik\mu}^{(j)}-Q_{ik\mu}^{(1)})E_iE_k\sigma_{\mu}-\ldots. &(3.4.3.33)} ]

For a domain pair [({\bf S}_1,{\bf S}_j)] and given external fields, there are three possibilities:

  • (1) [{\Psi}^{(j)}=\Psi^{(1)}]. Domain states [{\bf S}_1] and [{\bf S}_j] can coexist in equilibrium in given external fields.

  • (2) [{\Psi}^{(j)} \,\lt\, \Psi^{(1)}]. In given external fields, domain state [{\bf S}_j] is more stable than [{\bf S}_1]; for large enough fields (higher than the coercive ones), the state [{\bf S}_1] switches into the state [{\bf S}_j].

  • (3) [{\Psi}^{(j)}\,\gt\,\Psi^{(1)}]. In given external fields, domain state [{\bf S}_j] is less stable than [{\bf S}_1]; for large enough fields (higher than the coercive ones), the state [{\bf S}_j] switches into the state [{\bf S}_1].

A typical dependence of applied stress and corresponding strain in ferroelastic materials has a form of a elastic hysteresis loop (see Fig. 3.4.1.3[link]). Similar dielectric hysteresis loops are observed in ferroelectric materials; examples can be found in books on ferroelectric crystals (e.g. Jona & Shirane, 1962[link]).

A classification of switching (state shifts in Aizu's terminology) based on equation (3.4.3.33[link]) was put forward by Aizu (1972[link], 1973[link]) and is summarized in the second and fourth columns of Table 3.4.3.1[link]. The order of the state shifts specifies the switching fields that are necessary for switching one domain state of a domain pair into the second state of the pair.

Another distinction related to switching distinguishes between actual and potential ferroelectric (ferroelastic) phases, depending on whether or not it is possible to switch the spontaneous polarization (spontaneous strain) by applying an electric field (mechanical stress) lower than the electrical (mechanical) breakdown limit under reasonable experimental conditions (Wadhawan, 2000[link]). We consider in our classification always the potential ferroelectric (ferroelastic) phase.

A closer look at equation (3.4.3.33[link]) reveals a correspondence between the difference coefficients in front of products of field components and the tensor distinction of domain states [{\bf S}_1] and [{\bf S}_j ] in the domain pair [({\bf S}_1,{\bf S}_j)]: If a morphic Cartesian tensor component of a polar tensor is different in these two domain states, then the corresponding difference coefficient is nonzero and defines components of fields that can switch one of these domain states into the other. A similar statement holds for the symmetric tensors of rank two (e.g. the spontaneous strain tensor).

Tensor distinction for all representative non-ferroelastic domain pairs is available in the synoptic Table 3.4.3.4[link]. These data also carry information about the switching fields.

3.4.3.4. Classes of equivalent domain pairs and their classifications

| top | pdf |

Two domain pairs that are crystallographically equivalent, [({\bf S}_i,{\bf S}_k)\,{\buildrel{G}\over {\sim}}\,({\bf S}_l,{\bf S}_m) ] [see equation (3.4.3.5[link])], have different orientations in space but their inherent properties are the same. It is, therefore, useful to divide all domain pairs of a ferroic phase into classes of equivalent domain pairs. All domain pairs that are equivalent (in G) with a given domain pair, say [({\bf S}_i,{\bf S}_k)], can be obtained by applying to [({\bf S}_i,{\bf S}_k)] all operations of G, i.e. by forming a G-orbit [G({\bf S}_i,{\bf S}_k)].

One can always find in this orbit a domain pair [({\bf S}_1,{\bf S}_j) ] that has in the first place the first domain state [{\bf S}_1]. We shall call such a pair a representative domain pair of the orbit. The initial orbit [G({\bf S}_i,{\bf S}_k)] and the orbit [G({\bf S}_1,{\bf S}_j) ] are identical: [G({\bf S}_i,{\bf S}_k)=G({\bf S}_1,{\bf S}_j). ]

The set [{\sf P}] of [n^2] ordered pairs (including trivial ones) that can be formed from n domain states can be divided into G-orbits (classes of equivalent domain pairs): [{\sf P} = G({\bf S}_1,{\bf S}_1) \cup G({\bf S}_1,g_2{\bf S}_1) \cup\ldots\cup ({\bf S}_1,g_j{\bf S}_1) \cup\ldots\cup G({\bf S}_1,g_q{\bf S}_1).\eqno(3.4.3.34) ]

Similarly, as there is a one-to-one correspondence between domain states and left cosets of the stabilizer (symmetry group) [F_1] of the first domain state [see equation (3.4.2.9[link])], there is an analogous relation between G-orbits of domain pairs and so-called double cosets of [F_1].

A double coset [F_1g_jF_1] of [F_1] is a set of left cosets that can be expressed as [fg_jF_1], where [f\in F_1 ] runs over all operations of [F_1] (see Section 3.2.3.2.8[link] ). A group G can be decomposed into disjoint double cosets of [F_1\subset G]: [\displaylines{G=F_{1}eF_1 \cup F_{1}g_2F_{1} \cup\ldots\cup F_{1}g_jF_{1}\cup\ldots \cup F_{1}g_qF_{1},\cr\hfill j=1,2,\ldots, q,\hfill(3.4.3.35)} ]where [g_1=e,g_2,{\ldots}g_j,{\ldots}g_q] is the set of representatives of double cosets.

There is a one-to-one correspondence between double cosets of the decomposition (3.4.3.35[link]) and G-orbits of domain pairs (3.4.3.34[link]) (see Section 3.2.3.3.6[link] , Proposition 3.2.3.35[link] ): [G({\bf S}_1,{\bf S}_j)\leftrightarrow F_{1}g_jF_{1}, \ \ {\rm where} \ \ {\bf S}_j=g_j{\bf S}_1, \quad j=1,2,{\ldots},q.\eqno(3.4.3.36) ]

We see that the representatives [g_j] of the double cosets in decomposition (3.4.3.35[link]) define domain pairs [({\bf S}_1,g_j{\bf S}_1) ] which represent all different G-orbits of domain pairs. Just as different left cosets [g_iF_1] specify all domain states, different double cosets determine all classes of equivalent domain pairs (G-orbits of domain pairs).

The properties of double cosets are reflected in the properties of corresponding domain pairs and provide a natural classification of domain pairs. A specific property of a double coset is that it is either identical or disjoint with its inverse. A double coset that is identical with its inverse, [(F_1g_{j}F_1)^{-1}=F_1g_j^{-1}F_1=F_1g_jF_1,\eqno(3.4.3.37)]is called an invertible (ambivalent) double coset. The corresponding class of domain pairs consists of transposable (ambivalent) domain pairs.

A double coset that is disjoint with its inverse, [(F_1g_{j}F_1)^{-1}=F_1g_j^{-1}F_1\cap F_1g_jF_1=\emptyset, \eqno(3.4.3.38) ]is a non-invertible (polar) double coset ([\emptyset] denotes an empty set) and the corresponding class of domain pairs comprises non-transposable (polar) domain pairs. A double coset [F_1g_jF_1] and its inverse [(F_1g_{j}F_1)^{-1}] are called complementary double cosets. Corresponding classes called complementary classes of equivalent domain pairs consist of transposed domain pairs that are non-equivalent.

Another attribute of a double coset is the number of left cosets which it comprises. If an invertible double coset consists of one left coset, [F_1g_jF_1=g_jF_1=(g_jF_1)^{-1}, \eqno(3.4.3.39) ]then the domain pairs in the G-orbit [G({\bf S}_1,g_j{\bf S}_1) ] are completely transposable. An invertible double coset comprising several left cosets is associated with a G-orbit consisting of partially transposable domain pairs. Non-invertible double cosets can be divided into simple non-transposable double cosets (complementary double cosets consist of one left coset each) and multiple non-transposable double cosets (complementary double cosets comprise more than one left coset each).

Thus there are four types of double cosets (see Table 3.2.3.1[link] in Section 3.2.3.2[link] ) to which there correspond the four basic types of domain pairs presented in Table 3.4.3.2[link].

Table 3.4.3.2| top | pdf |
Four types of domain pairs

[F_{1j}][J_{1j}][K_{1j}] Double cosetDomain pair name symbol
[F_{1}=F_j ] [F_{1}\cup g_{1j}^{\star}F_1] [F_{1}\cup g_{1j}^{\star}F_1] [F_1g_{1j}F_1=g_{1j}F_1=(g_{1j}F_1)^{-1} ] [\underline{t}]ransposable [\underline{c} ]ompletely tc
[F_{1j}\subset F_1 ] [F_{1j}\cup g_{1j}^{\star}F_{1j} ] [F_{1}\cup g_{1j}^{\star}F_{1}\cup\,\ldots \, ] [F_1g_{1j}F_1=(F_1g_{1j}F_1)^{-1}] [\underline{t}]ransposable [\underline{p} ]artially tp
[F_{1}=F_j ] [F_{1} ] [F_{1}\cup g_{1j}F_{1}\cup g_{1j}^{-1}F_{1} ] [F_1g_{1j}F_1=g_{1j}F_1\cap (g_{1j}F_1)^{-1}=\emptyset ] [\underline{n}]on-transposable [\underline{s}]imple ns
[F_{1j}\subset F_1 ] [F_{1j} ] [F_{1}\cup g_{1j}F_{1}\cup (g_{1j}F_{1})^{-1}\cup\,\ldots ] [F_1g_{1j}F_1\cap (F_1g_{1j}F_1)^{-1}=\emptyset ] [\underline{n}]on-transposable [\underline{m}]ultiple nm

These results can be illustrated using the example of a phase transition with G = [4_z/m_zm_xm_{xy}\supset 2_xm_ym_z =] [F_1] with four domain states (see Fig. 3.4.2.2[link]). The corresponding four left cosets of [2_xm_ym_z] are given in Table 3.4.2.1[link]. Any operation from the first left coset (identical with [F_1]) transforms the second left coset into itself, i.e. this left coset is a double coset. Since it consists of an operation of order two, it is a simple invertible double coset. The corresponding representative domain pair is [({\bf S}_1,\bar 1{\bf S}_1)=({\bf S}_1,{\bf S}_2) ]. By applying operations of [G=4_z/m_zm_xm_{xy}] on [({\bf S}_1,{\bf S}_2) ], one gets the class of equivalent domain pairs (G-orbit): [({\bf S}_1,{\bf S}_2)] [{\buildrel {G}\over {\sim}}] [({\bf S}_2,{\bf S}_1) ] [{\buildrel {G} \over {\sim}}] [({\bf S}_3,{\bf S}_4)] [{\buildrel {G} \over {\sim}}] [({\bf S}_4,{\bf S}_3)]. These domain pairs can be labelled as `180° pairs' according to the angle between the spontaneous polarization in the two domain states.

When one applies operations from the first left coset on the third left coset, one gets the fourth left coset, therefore a double coset consists of these two left cosets. An inverse of any operation of this double coset belongs to this double coset, hence it is a multiple invertible double coset. Corresponding domain pairs are partially transposable ones. A representative pair is, for example, [({\bf S}_1,2_{xy}{\bf S}_1)=] [({\bf S}_1,{\bf S}_3) ] which is indeed a partially transposable domain pair [cf. (3.4.3.19) and (3.4.3.20)]. The class of equivalent ordered domain pairs is [({\bf S}_1,{\bf S}_3) ] [{\buildrel {G}\over{\sim}}] [({\bf S}_3,{\bf S}_1)] [{\buildrel{G}\over {\sim}}] [({\bf S}_1,{\bf S}_4)] [{\buildrel{G}\over {\sim}} ] [({\bf S}_4,{\bf S}_1)] [{\buildrel{G}\over {\sim}}] [({\bf S}_3,{\bf S}_2)] [{\buildrel{G}\over {\sim}}] [({\bf S}_2,{\bf S}_3) ] [{\buildrel{G}\over {\sim}}] [({\bf S}_2,{\bf S}_4)] [{\buildrel{G}\over {\sim}}] [({\bf S}_4,{\bf S}_2)]. These are `90° domain pairs'.

An example of non-invertible double cosets is provided by the decomposition of the group [G=6_z/m_z] into left and double cosets of [F_1=2_z/m_z ] displayed in Table 3.4.3.3[link]. The inverse of the second left coset (second line) is equal to the third left coset (third line) and vice versa. Each of these two left cosets thus corresponds to a double coset and these double cosets are complementary double cosets. Corresponding representative simple non-transposable domain pairs are [({\bf S}_1,{\bf S}_2)] and [({\bf S}_2,] [{\bf S}_1)], and are depicted in Fig. 3.4.3.2[link].

Table 3.4.3.3| top | pdf |
Decomposition of [G=6_z/m_z] into left cosets of [F_1=2_z/m_z ]

Left cosetPrincipal domain state
1 [2_z] [\bar 1] [m_z] [{\bf S}_1]
[3_z ] [6_z^5 ] [{\bar 3}_z ] [{\bar 6}_z^5 ] [{\bf S}_2]
[3_z^2 ] [6_z ] [{\bar 3}_z^5 ] [{\bar 6}_z ] [{\bf S}_3]

We conclude that double cosets determine classes of equivalent domain pairs that can appear in the ferroic phase resulting from a phase transition with a symmetry descent [G\supset F_1]. Left coset and double coset decompositions for all crystallographic point-group descents are available in the software GI[\star]KoBo-1, path: Subgroups\View\Twinning groups.

A double coset can be specified by any operation belonging to it. This representation is not very convenient, since it does not reflect the properties of corresponding domain pairs and there are many operations that can be chosen as representatives of a double coset. It turns out that in a continuum description the twinning group [K_{1j}] can represent classes of equivalent domain pairs [G({\bf S}_1,{\bf S}_j)] with two exceptions:

  • (i) Two complementary classes of non-transposable domain pairs have the same twinning group. This follows from the fact that if a twinning group contains the double coset, then it must comprise also the inverse double coset.

  • (ii) Different classes of transposable domain pairs have different twining groups except in the following case (which corresponds to the orthorhombic ferroelectric phase in perov­skites): the group [F_1 =m_{x\bar y}2_{xy}m_z] generates with switching operations [g=2_{yz} ] and [g_3=m_{yz}] two different double cosets with the same twinning group [K_{12}=K_{13}=m\bar 3m] (one can verify this in the software GI[\star]KoBo-1, path: Subgroups\View\Twinning groups). Domain states are characterized in this ferroelectric phase by the direction of the spontaneous polarization. The angles between the spontaneous polarizations of the domain states in domain pairs [({\bf S}_1,2_{yz}{\bf S}_1)] and [({\bf S}_1,m_{yz}{\bf S}_1) ] are 120 and 60°, respectively; this shows that these representative domain pairs are not equivalent and belong to two different G-orbits of domain pairs. To distinguish these two cases, we add to the twinning group [m\bar 3m[m_{x\bar y}2_{xy}m_z]] either the switching operation [2_{yz}] or [m_{yz}], i.e. the two distinct orbits are labelled by the symbols [m\bar 3m(2_{xy})] and [m\bar 3m(m_{xy}) ], respectively.

Bearing in mind these two exceptions, one can, in the continuum description, represent G-orbits of domain pairs [G({\bf S}_1,{\bf S}_j) ] by twinning groups [K_{1j}[F_1]].

We have used this correspondence in synoptic Table 3.4.2.7[link] of symmetry descents at ferroic phase transitions. For each symmetry descent [G\supset F_1], the twinning groups given in column [K_{1j}] specify possible G-orbits of domain pairs that can appear in the domain structure of the ferroic phase (Litvin & Janovec, 1999[link]). We divide all orbits of domain pairs (represented by corresponding twinning groups [K_{1j}]) that appear in Table 3.4.2.7[link] into classes of non-ferroelastic and ferroelastic domain pairs and present them with further details in the three synoptic Tables 3.4.3.4[link], 3.4.3.6[link] and 3.4.3.7[link] described in Sections 3.4.3.5[link] and 3.4.3.6[link].

As we have seen, a classification of domain pairs according to their internal symmetry (summarized in Table 3.4.3.2[link]) introduces a partition of all domain pairs that can be formed from domain states of the G-orbit [G{\bf S}_1] into equivalence classes of pairs with the same internal symmetry. Similarly, any inherent physical property of domain pairs induces a partition of all domain pairs into corresponding equivalence classes. Thus, for example, the classification of domain pairs, based on tensor distinction or switching of domain states (see Table 3.4.3.1[link], columns two and three), introduces a division of domain pairs into corresponding equivalence classes.

3.4.3.5. Non-ferroelastic domain pairs: twin laws, domain distinction and switching fields, synoptic table

| top | pdf |

Two domain states [{\bf S}_1] and [{\bf S}_j] form a non-ferroelastic domain pair [({\bf S}_1,{\bf S}_j)] if the spontaneous strain in both domain states is the same, [{\bf u}_0^{(1)}={\bf u}_0^{(j)} ]. This is so if the twinning group [K_{1j}] of the pair and the symmetry group [F_1] of domain state [{\bf S}_1] belong to the same crystal family (see Table 3.4.2.2[link]): [{\rm Fam}K_{1j}={\rm Fam}F_{1}.\eqno(3.4.3.40)]

It can be shown that all non-ferroelastic domain pairs are completely transposable domain pairs (Janovec et al., 1993[link]), i.e. [F_{1j}=F_1=F_j\eqno(3.4.3.41)]and the twinning group [K_{1j}] is equal to the symmetry group [J_{1j} ] of the unordered domain pair [see equation (3.4.3.24[link])]: [K_{1j}^{\star}=J_{1j}^{\star} = F_{1} \cup g^{\star}_{1j}F_{1}.\eqno(3.4.3.42) ](Complete transposability is only a necessary, but not a sufficient, condition of a non-ferroelastic domain pair, since there are also ferroelastic domain pairs that are completely transposable – see Table 3.4.3.6[link].)

The relation between domain states in a non-ferroelastic domain twin, in which two domain states coexist, is the same as that of a corresponding non-ferroelastic domain pair consisting of single-domain states. Transposing operations [g^{\star}_{1j}] are, therefore, also twinning operations.

Synoptic Table 3.4.3.4[link] lists representative domain pairs of all orbits of non-ferroelastic domain pairs. Each pair is specified by the first domain state [{\bf S}_1] with symmetry group [F_1] and by transposing operations [g^{\star}_{1j}] that transform [{\bf S}_1] into [{\bf S}_j], [{\bf S}_j =g^{\star}_{1j}{\bf S}_1 ]. Twin laws in dichromatic notation are presented and basic data for tensor distinction and switching of non-ferroelastic domains are given.

3.4.3.5.1. Explanation of Table 3.4.3.4[link]

| top | pdf |

The first three columns specify domain pairs.

Table 3.4.3.4| top | pdf |
Non-ferroelastic domain pairs, domain twin laws and distinction of non-ferroelastic domains

[F_1]: symmetry of [{\bf S}_1]; [g_{1j}^{\star} ]: twinning operations of second order; [K_{1j}^{\star}]: twinning group signifying the twin law of domain pair [({\bf S}_1,g_{1j}^{\star}{\bf S}_1) ]; [J_{1j}^{\star}]: symmetry group of the pair; [\Gamma_{\alpha} ]: irreducible representation of [K_{1j}^{\star}]; [\epsilon ], [{\bi P}_i,\ldots], [{\bi Q}_{{ij}{\mu}} ]: components of property tensors (see Table 3.4.3.5[link]): [a|c]: number of distinct[|]equal nonzero tensor components of property tensors.

[F_1][g_{1j}^{\star} ][K_{1j}^{\star}=J_{1j}^{\star} ][\Gamma_{\alpha}]Diffraction intensities[\epsilon][{\bi P}_i ][g_{\mu}][{\bi d}_{i{\mu}} ][A_{i\mu}][{\bi s}_{\mu\nu} ][{\bi Q}_{{ij}{\mu}} ]
1 [\bar1^{\star}] [\bar1^{\star}] [A_u] = [1|0] [3|0] [6|0] [18|0] [0|18] [0|21] [0|36]
[2_u] [\bar1^{\star}], [m^{\star}_u] [2_u/m_u^{\star}] [A_u] = [1|0 ] [1|0 ] [4|0 ] [8|0 ] [0|8 ] [0|13] [0|20]
[m_u] [\bar1^{\star}], [2^{\star}_u] [2_u^{\star}/m_u] [B_u] = [0|0] [2|0] [2|0] [10|0] [0|8] [0|13] [0|20]
[2_x2_y2_z] [\bar1^{\star}], [m^{\star}_x], [m^{\star}_y], [m^{\star}_z] [m_x^{\star}m_y^{\star}m_z^{\star}] [A_{u}] = [1|0 ] [0|0 ] [3|0 ] [3|0 ] [0|3 ] [0|9 ] [0|12]
[2_{x\bar{y}}2_{xy}2_z] [\bar1^{\star}], [m^{\star}_{xy} ], [m^{\star}_{x\bar{y}}], [m^{\star}_z] [m_{x\bar{y}}^{\star}m_{xy}^{\star}m_z^{\star} ] [A_{u}] [= ] [1|0 ] [0|0 ] [3|0 ] [3|0 ] [0|3 ] [0|9 ] [0|12]
[m_xm_y2_z] [\bar1^{\star}], [m^{\star}_z], [2^{\star}_x], [2^{\star}_y] [m_xm_ym_z^{\star}] [B_{1u}] [= ] [0|0 ] [1|0 ] [1|0 ] [5|0 ] [0|3 ] [0|9 ] [0|12]
[2_xm_ym_z] [\bar1^{\star}], [m^{\star}_x], [2^{\star}_y], [2^{\star}_z] [m_x^{\star}m_ym_z] [B_{1u}] = [0|0 ] [1|0 ] [1|0 ] [5|0 ] [0|3 ] [0|9 ] [0|12]
[m_x2_ym_z] [\bar1^{\star}], [m^{\star}_y], [2^{\star}_x], [2^{\star}_z] [m_xm_y^{\star}m_z] [B_{1u}] [= ] [0|0 ] [1|0 ] [1|0 ] [5|0 ] [0|3 ] [0|9 ] [0|12]
[m_{x\bar{y}}m_{xy}2_z] [\bar1^{\star}], [m^{\star}_z], [2^{\star}_{xy}], [2^{\star}_{x\bar{y}}] [m_{x\bar{y}}m_{xy}m_z^{\star}] [B_{1u}] [= ] [0|0 ] [1|0 ] [1|0 ] [5|0 ] [0|3 ] [0|9 ] [0|12]
[4_z] [\bar1^{\star}], [m^{\star}_z] [4_z/m_z^{\star}] [A_{u}] [= ] [1|0 ] [1|0 ] [2|0 ] [4|0 ] [0|4 ] [0|7 ] [0|10]
[4_z] [2_x^{\star}], [2^{\star}_y], [2^{\star}_{xy}], [2^{\star}_{x\bar y}] [4_z2_x^{\star}2_{xy}^{\star}] [A_{2}] [\not= ] [0|1 ] [1|0 ] [0|2 ] [3|1 ] [3|1 ] [1|6 ] [3|7]
[4_z] [m_x^{\star}], [m^{\star}_y], [m^{\star}_{xy}], [m^{\star}_{x\bar y}] [4_zm_x^{\star}m_{xy}^{\star}] [A_{2} ] [\not=] [1|0 ] [0|1 ] [2|0 ] [1|3 ] [3|1 ] [1|6 ] [3|7]
[\bar{4}_z ] [\bar1^{\star}], [m^{\star}_z] [4^{\star}_z/m_z^{\star}] [B_{u}] [= ] [0|0 ] [0|0 ] [2|0 ] [4|0 ] [0|4 ] [0|7 ] [0|10]
[\bar{4}_z] [m_{xy}^{\star}], [m^{\star}_{x\bar y} ], [2^{\star}_x], [2^{\star}_y] [\bar{4}_z2_x^{\star}m_{xy}^{\star}] [A_{2}] [\not= ] [0|0 ] [0|0 ] [1|1 ] [2|2 ] [3|1 ] [1|6 ] [3|7]
[\bar{4}_z] [m_x^{\star}], [m^{\star}_y], [2^{\star}_{xy}], [2^{\star}_{x\bar y}] [\bar{4}_zm_x^{\star}2_{xy}^{\star}] [A_{2}] [\not= ] [0|0 ] [0|0 ] [1|1 ] [2|2 ] [3|1 ] [1|6 ] [3|7]
[4_z/m_z] [m^{\star}_x], [m^{\star}_y], [m^{\star}_{xy}], [m^{\star}_{x\bar y}], [2_x^{\star}], [2^{\star}_y], [2^{\star}_{xy}], [ 2^{\star}_{x\bar y}] [4_z/m_zm_x^{\star}m_{xy}^{\star}] [A_{2g}] [\not=] [0|0 ] [0|0 ] [0|0 ] [0|0 ] [3|1 ] [1|6 ] [3|7]
[4_z2_x2_{xy} ] [\bar1^{\star}], [m^{\star}_z], [m_x^{\star}], [m^{\star}_y], [m^{\star}_{xy}], [m^{\star}_{x\bar y} ] [4_z/m_z^{\star}m_x^{\star}m_{xy}^{\star} ] [A_{1u}] [= ] [1|0 ] [0|0 ] [2|0 ] [1|0 ] [0|1 ] [0|6 ] [0|7]
[4_zm_xm_{xy}] [\bar1^{\star}], [m^{\star}_z], [2_x^{\star}], [2^{\star}_y], [2^{\star}_{xy}], [2^{\star}_{x\bar y} ] [4_z/m_z^{\star}m_xm_{xy} ] [A_{2u}] [= ] [0|0 ] [1|0 ] [0|0 ] [3|0 ] [0|1 ] [0|6 ] [0|7]
[\bar{4}_z2_xm_{xy}] [\bar1^{\star}], [m^{\star}_z], [m_x^{\star}], [m^{\star}_y], [2^{\star}_{xy}], [2^{\star}_{x\bar y} ] [4_z^{\star}/m_z^{\star}m_x^{\star}m_{xy} ] [B_{1u}] [= ] [0|0 ] [0|0 ] [1|0 ] [2|0 ] [0|1 ] [0|6 ] [0|7]
[\bar{4}_zm_x2_{xy}] [\bar1^{\star}], [m^{\star}_z], [m^{\star}_{xy}], [m^{\star}_{x\bar y}], [2_x^{\star} ], [2^{\star}_y] [4_z^{\star}/m_z^{\star}m_xm_{xy}^{\star} ] [B_{1u}] [= ] [0|0 ] [0|0 ] [1|0 ] [2|0 ] [0|1 ] [0|6 ] [0|7]
[3_v] [\bar{1}^{\star} ] [\bar{3}_v^{\star} ] [A_{u}] [= ] [1|0 ] [1|0 ] [2|0 ] [6|0 ] [0|6 ] [0|7 ] [0|12]
[3_z ] [2_x^{\star}], [2^{\star}_{x{^\prime}} ], [2^{\star}_{x{^\prime}{^\prime}}] [3_z2_x^{\star} ] [A_{2}] [\not=] [0|1 ] [1|0 ] [0|2 ] [4|2 ] [4|2] [1|6 ] [4|8]
[3_z] [2_y^{\star}], [2^{\star}_{y{^\prime}} ], [2^{\star}_{y{^\prime}{^\prime}}] [3_z2_y^{\star} ] [A_{2}] [\not=] [0|1 ] [1|0 ] [0|2 ] [4|2 ] [4|2 ] [1|6 ] [4|8]
[3_p] [2_{x\bar{y}}^{\star}], [2^{\star}_{y\bar{z}} ], [2^{\star}_{z\bar{x}}] [3_p2_{x\bar{y}}^{\star} ] [A_{2}] [\not=] [0|1 ] [1|0 ] [0|2 ] [4|2 ] [4|2] [1|6 ] [4|8]
[3_z ] [m_x^{\star}], [m^{\star}_{x{^\prime}} ], [m^{\star}_{x{^\prime}{^\prime}}] [3_zm_x^{\star} ] [A_{2}] [\not=] [1|0 ] [0|1 ] [2|0 ] [2|4 ] [4|2 ] [1|6 ] [4|8]
[3_z] [m_y^{\star}], [m^{\star}_{y{^\prime}} ], [m^{\star}_{y{^\prime}{^\prime}}] [3_zm_y^{\star} ] [A_{2}] [\not= ] [1|0 ] [0|1 ] [2|0 ] [2|4 ] [4|2 ] [1|6 ] [4|8]
[3_p ] [m_{x\bar{y}}^{\star}], [m^{\star}_{y\bar{z}} ], [m^{\star}_{z\bar{x}}] [3_pm_x^{\star} ] [A_{2}] [\not=] [1|0 ] [0|1 ] [2|0 ] [2|4 ] [4|2 ] [1|6 ] [4|8]
[3_z] [2_z^{\star} ] [6_z^{\star} ] B [\not=] [0|1 ] [0|1 ] [0|2 ] [2|4 ] [2|4 ] [2|5 ] [4|8]
[3_z ] [m_z^{\star} ] [\bar{6}_z^{\star} ] [A^{{^\prime}{^\prime}}] [\not= ] [1|0 ] [1|0 ] [2|0 ] [4|2 ] [2|4 ] [2|5 ] [4|8]
[\bar{3}_z] [m_x^{\star}], [m^{\star}_{x{^\prime}} ], [m^{\star}_{x{^\prime}{^\prime}}], [2_x^{\star} ], [2^{\star}_{x{^\prime}}], [2^{\star}_{x{^\prime}{^\prime}}] [\bar{3}_zm_x^{\star}] [A_{2g}] [\not=] [0|0 ] [0|0 ] [0|0 ] [0|0 ] [4|2 ] [1|6 ] [4|8]
[\bar{3}_z] [m_y^{\star}], [m^{\star}_{y{^\prime}} ], [m^{\star}_{y{^\prime}{^\prime}}], [2_y^{\star}], [2^{\star}_{y{^\prime}}], [2^{\star}_{y{^\prime}{^\prime}}] [\bar{3}_zm_y^{\star}] [A_{2g}] [\not= ] [0|0 ] [0|0 ] [0|0 ] [0|0 ] [4|2 ] [1|6 ] [4|8]
[\bar{3}_p ] [m_{x\bar{y}}^{\star}], [m^{\star}_{y\bar{z}} ], [m^{\star}_{z\bar{x}}], [2_{x\bar{y}}^{\star}], [2^{\star}_{y\bar{z}}], [2^{\star}_{z\bar{x}}] [\bar{3}_pm_x^{\star}] [A_{2g}] [\not=] [0|0 ] [0|0 ] [0|0 ] [0|0 ] [4|2 ] [1|6 ] [4|8]
[\bar{3}_z] [m^{\star}_z], [2_z^{\star}] [6_z^{\star}/m_z^{\star}] [B_{g} ] [\not= ] [0|0 ] [0|0 ] [0|0 ] [0|0 ] [2|4 ] [2|5] [4|8]
[3_z2_x ] [\bar1^{\star}], [m_x^{\star}], [m^{\star}_{x{^\prime}}], [m^{\star}_{x{^\prime}{^\prime}}] [\bar{3}_z^{\star}m_x^{\star}] [A_{1u}] [= ] [1|0 ] [0|0] [2|0 ] [2|0 ] [0|2 ] [0|6 ] [0|8]
[3_z2_y ] [\bar1^{\star}], [m_y^{\star}], [m^{\star}_{y{^\prime}}], [m^{\star}_{y{^\prime}{^\prime}}] [\bar{3}_z^{\star}m_y^{\star}] [A_{1u}] = [1|0 ] [0|0] [2|0 ] [2|0 ] [0|2 ] [0|6 ] [0|8]
[3_z2_x ] [2_z^{\star}], [2_y^{\star}], [2^{\star}_{y{^\prime}}], [2^{\star}_{y{^\prime}{^\prime}}] [6_z^{\star}2_x2_y^{\star}] [B_{1}] [\not= ] [0|1 ] [0|0 ] [0|2 ] [1|1 ] [1|1 ] [1|5] [2|6]
[3_z2_y] [2_z^{\star}], [2_x^{\star}], [2^{\star}_{x{^\prime}}], [2^{\star}_{x{^\prime}{^\prime}}] [6_z^{\star}2_x^{\star}2_y ] [B_{1}] [\not=] [0|1 ] [0|0 ] [0|2 ] [1|1 ] [1|1 ] [1|5 ] [2|6]
[3_p2_{x\bar{y}}] [\bar1^{\star}], [m_{x\bar{y}}^{\star} ], [m^{\star}_{y\bar{z}}], [m^{\star}_{z\bar{x}}] [\bar{3}_p^{\star}m_x^{\star}] [A_{1u}] [= ] [1|0] [0|0 ] [2|0 ] [2|0 ] [0|2 ] [0|6 ] [0|8]
[3_z2_x ] [m_z^{\star}], [m_y^{\star}], [m^{\star}_{y{^\prime}}], [m^{\star}_{y{^\prime}{^\prime}}] [\bar{6}_z^{\star}2_xm_y^{\star}] [A^{{^\prime}{^\prime}}_{1}] [\not= ] [1|0 ] [0|0] [2|0 ] [1|1 ] [1|1 ] [1|5 ] [2|6]
[3_z2_y ] [m_z^{\star}], [m_x^{\star}], [m^{\star}_{x{^\prime}}], [m^{\star}_{x{^\prime}{^\prime}}] [\bar{6}_z^{\star}m_x2_y^{\star}] [A^{{^\prime}{^\prime}}_{1}] [\not= ] [1|0 ] [0|0] [2|0 ] [1|1 ] [1|1 ] [1|5 ] [2|6]
[3_pm_{x\bar{y}} ] [\bar1^{\star}], [2_{x\bar{y}}^{\star} ], [2^{\star}_{y\bar{z}}], [2^{\star}_{z\bar{x}}] [\bar{3}_p^{\star}m_x ] [A_{2u}] = [0|0 ] [1|0 ] [0|0 ] [4|0 ] [0|2 ] [0|6 ] [0|8]
[3_zm_x ] [\bar1^{\star}], [2_x^{\star}], [2^{\star}_{x{^\prime}}], [2^{\star}_{x{^\prime}{^\prime}}] [\bar{3}_z^{\star}m_x ] [A_{2u}] = [0|0 ] [1|0 ] [0|0 ] [4|0 ] [0|2 ] [0|6 ] [0|8]
[3_zm_y] [\bar1^{\star}], [2_y^{\star}], [2^{\star}_{y{^\prime}}], [2^{\star}_{y{^\prime}{^\prime}}] [\bar{3}_z^{\star}m_y ] [A_{2u}] = [0|0 ] [1|0 ] [0|0 ] [4|0 ] [0|2 ] [0|6 ] [0|8]
[3_zm_x ] [2_z^{\star}], [m_y^{\star}], [m^{\star}_{y{^\prime}}], [m^{\star}_{y{^\prime}{^\prime}}] [6_z^{\star}m_xm_y^{\star} ] [B_{2}] [\not=] [0|0 ] [0|1 ] [0|0 ] [1|3 ] [1|1 ] [1|5 ] [2|6]
[3_zm_y] [m_x^{\star}], [m^{\star}_{x{^\prime}} ], [m^{\star}_{x{^\prime}{^\prime}}] [6_z^{\star}m_x^{\star}m_y ] [B_{2}] [\not=] [0|0 ] [0|1 ] [0|0 ] [1|3 ] [1|1 ] [1|5 ] [2|6]
[3_zm_x ] [m_z^{\star}], [2_y^{\star}], [2^{\star}_{y{^\prime}}], [2^{\star}_{y{^\prime}{^\prime}}] [\bar{6}_z^{\star}m_x2_y^{\star}] [A_{2}^{{^\prime}{^\prime}}] [\not=] [0|0 ] [1|0 ] [0|0 ] [3|1 ] [1|1 ] [1|5 ] [2|6]
[3_zm_y ] [m_z^{\star}], [2_x^{\star}], [2^{\star}_{x{^\prime}}], [2^{\star}_{x{^\prime}{^\prime}}] [\bar{6}_z^{\star}2_x^{\star}m_y] [A_{2}^{{^\prime}{^\prime}}] [\not=] [0|0 ] [1|0 ] [0|0 ] [3|1 ] [1|1 ] [1|5 ] [2|6]
[\bar{3}_zm_x ] [m_z^{\star}], [m_y^{\star}], [m^{\star}_{y{^\prime}}], [m^{\star}_{y{^\prime}{^\prime}}] [6_z^{\star}/m_z^{\star}m_xm_y^{\star} ] [B_{1g}] [\not=] [0|0 ] [0|0 ] [0|0 ] [0|0 ] [1|1 ] [1|5 ] [2|6]
[\bar{3}_zm_y ] [m_z^{\star}], [m_x^{\star}], [m^{\star}_{x{^\prime}}], [m^{\star}_{x{^\prime}{^\prime}}] [6_z^{\star}/m_z^{\star}m_x^{\star}m_y ] [B_{1g}] [\not= ] [0|0 ] [0|0 ] [0|0 ] [0|0 ] [1|1 ] [1|5 ] [2|6]
[6_z ] [\bar1^{\star}], [m^{\star}_z] [6_z/m_z^{\star} ] [A_{u}] [= ] [1|0 ] [1|0 ] [2|0 ] [4|0 ] [0|4 ] [0|5 ] [0|8]
[6_z ] [2_x^{\star}], [2^{\star}_{x{^\prime}} ], [2^{\star}_{x{^\prime}{^\prime}}], [2_y^{\star}], [2^{\star}_{y{^\prime}}], [2^{\star}_{y{^\prime}{^\prime}}] [6_z2_x^{\star}2_y^{\star} ] [A_{2}] [\not=] [0|1 ] [1|0 ] [0|2 ] [3|1 ] [3|1 ] [0|5 ] [2|6]
[6_z] [m_x^{\star}], [m^{\star}_{x{^\prime}} ], [m^{\star}_{x{^\prime}{^\prime}}], [m_y^{\star}], [m^{\star}_{y{^\prime}}], [m^{\star}_{y{^\prime}{^\prime}} ] [6_zm_x^{\star}m_y^{\star} ] [A_{2}] [\not=] [1|0 ] [0|1 ] [2|0 ] [1|3 ] [3|1 ] [0|5 ] [2|6]
[\bar{6}_z ] [\bar1^{\star}], [2^{\star}_z] [6_z^{\star}/m_z ] [B_{u}] [= ] [0|0 ] [0|0 ] [0|0 ] [2|0 ] [0|4 ] [0|5 ] [0|8]
[\bar{6}_z ] [m_x^{\star}], [m^{\star}_{x{^\prime}} ], [m^{\star}_{x{^\prime}{^\prime}}], [2_y^{\star}], [2^{\star}_{y{^\prime}}], [2^{\star}_{y{^\prime}{^\prime}} ] [\bar{6}_zm_x^{\star}2_y^{\star}] [A_{2}^{{^\prime}}] [\not= ] [0|0 ] [0|0 ] [0|0 ] [1|1 ] [3|1 ] [0|5 ] [2|6]
[\bar{6}_z ] [m_y^{\star}], [m^{\star}_{y{^\prime}} ], [m^{\star}_{y{^\prime}{^\prime}}], [2_x^{\star}], [2^{\star}_{x{^\prime}}], [2^{\star}_{x{^\prime}{^\prime}} ] [\bar{6}_z2_x^{\star}m_y^{\star}] [A_{2}^{{^\prime}}] [\not= ] [0|0 ] [0|0 ] [0|0 ] [1|1 ] [3|1 ] [0|5 ] [2|6]
[6_z/m_z ] [m_x^{\star}], [m^{\star}_{x{^\prime}} ], [m^{\star}_{x{^\prime}{^\prime}}], [m_y^{\star}], [m^{\star}_{y{^\prime}}], [m^{\star}_{y{^\prime}{^\prime}}], [2_x^{\star}], [2^{\star}_{x{^\prime}}], [2^{\star}_{x{^\prime}{^\prime}} ], [2_y^{\star}], [2^{\star}_{y{^\prime}}], [2^{\star}_{y{^\prime}{^\prime}} ] [6_z/m_zm_x^{\star}m_y^{\star} ] [A_{2g}] [\not=] [0|0 ] [0|0 ] [0|0 ] [0|0 ] [3|1 ] [0|5 ] [2|6]
[6_z2_x2_y ] [\bar1^{\star}], [m_z^{\star}], [m_x^{\star}], [m^{\star}_{x{^\prime}}], [m^{\star}_{x{^\prime}{^\prime}} ], [m_y^{\star}], [m^{\star}_{y{^\prime}}][, m^{\star}_{y{^\prime}{^\prime}} ] [6_z/m_z^{\star}m_x^{\star}m^{\star}_y ] [A_{1u}] [= ] [1|0 ] [0|0 ] [2|0 ] [1|0 ] [0|1 ] [0|5 ] [0|6]
[6_zm_xm_y ] [\bar1^{\star}], [m^{\star}_z], [2_x^{\star}], [2^{\star}_{x{^\prime}}], [2^{\star}_{x{^\prime}{^\prime}} ], [2_y^{\star}], [2^{\star}_{y{^\prime}}], [2^{\star}_{y{^\prime}{^\prime}} ] [6_z/m_z^{\star}m_xm_y ] [A_{2u}] = [0|0 ] [1|0 ] [0|0 ] [3|0 ] [0|1 ] [0|5 ] [0|6]
[\bar{6}_z2_xm_y ] [\bar1^{\star}], [2^{\star}_z], [m_x^{\star}], [m^{\star}_{x{^\prime}}], [m^{\star}_{x{^\prime}{^\prime}} ], [2_y^{\star}], [2^{\star}_{y{^\prime}}], [2^{\star}_{y{^\prime}{^\prime}} ] [6_z^{\star}/m_zm_x^{\star}m_y] [B_{2u}] [= ] [0|0 ] [0|0 ] [0|0 ] [1|0 ] [0|1 ] [0|5 ] [0|6]
[\bar{6}_zm_x2_y ] [\bar1^{\star}], [2^{\star}_z], [m_y^{\star}], [m^{\star}_{y{^\prime}}], [m^{\star}_{y{^\prime}{^\prime}} ], [2_x^{\star}, 2^{\star}_{x{^\prime}}], [2^{\star}_{x{^\prime}{^\prime}} ] [6_z^{\star}/m_zm_xm_y^{\star}] [B_{2u}] [= ] [0|0 ] [0|0 ] [0|0 ] [1|0 ] [0|1 ] [0|5 ] [0|6]
23 [\bar1^{\star}], [m_x^{\star}], [m^{\star}_y], [m^{\star}_z] [m^{\star}\bar{3} ] [A_{u}] = [1|0 ] [0|0 ] [1|0 ] [1|0 ] [0|1 ] [0|3 ] [0|4]
23 [2_{xy}^{\star}], [2_{yz}^{\star} ], [2_{zx}^{\star}], [2^{\star}_{x\bar y}], [2^{\star}_{y\bar z} ], [2^{\star}_{z\bar x}] [4^{\star}32^{\star}] [A_{2}] [\not= ] [0|1 ] [0|0 ] [0|1] [1|0 ] [1|0 ] [0|3 ] [1|3]
23 [m_{xy}^{\star}], [m_{yz}^{\star} ], [m_{zx}^{\star}], [m^{\star}_{x\bar y}], [m^{\star}_{y\bar z} ], [m^{\star}_{z\bar x}] [\bar{4}^{\star}3m^{\star} ] [A_{2}] [\not= ] [1|0 ] [0|0 ] [1|0 ] [0|1 ] [1|0 ] [0|3 ] [1|3]
[m\bar{3}] [m_{xy}^{\star}], [m_{yz}^{\star} ], [m_{zx}^{\star}], [m^{\star}_{x\bar y}], [m^{\star}_{y\bar z} ], [m^{\star}_{z\bar x}], [2^{\star}_{xy}], [2^{\star}_{yz} ], [2^{\star}_{zx}], [2^{\star}_{x\bar y}], [2^{\star}_{y\bar z} ], [2^{\star}_{z\bar x}] [m\bar{3}m^{\star}] [A_{2g}] [\not=] [0|0 ] [0|0 ] [0|0 ] [0|0 ] [1|0 ] [0|3 ] [1|3]
432 [\bar1^{\star}], [m_x^{\star}], [m^{\star}_y], [m^{\star}_z], [m_{xy}^{\star}], [m_{yz}^{\star} ], [m_{zx}^{\star}], [m^{\star}_{x\bar y}], [m^{\star}_{y\bar z} ], [m^{\star}_{z\bar x}] [m^{\star}\bar{3}m^{\star}] [A_{1u}] [= ] [1|0] [0|0] [1|0] [0|0] [0|0] [0|3] [0|3]
[\bar{4}3m ] [\bar1^{\star}], [m_x^{\star}], [m^{\star}_y], [m^{\star}_z], [2^{\star}_{xy}], [2^{\star}_{yz} ], [2^{\star}_{zx}], [2^{\star}_{x\bar y} ], [2^{\star}_{y\bar z} ], [2^{\star}_{z\bar x}] [m^{\star}\bar{3}m] [A_{2u}] [= ] [0|0] [0|0] [0|0] [1|0] [0|0] [0|3] [0|3]
[u = z,x(x{^\prime},x{^\prime}{^\prime}),y(y{^\prime},y{^\prime}{^\prime}),xy(x\bar{y},zx,z\bar{x},yz,y\bar{z}) ].
[v =z,p(q,r,s)].

  • [F_1]: point-group symmetry (stabilizer in [K_{1j}]) of the first domain state [{\bf S}_1)] in a single-domain orientation. There are two domain states with the same [F_1]; one has to be chosen as [{\bf S}_1]. Subscripts of generators in the group symbol specify their orientation in the Cartesian (rectangular) crystallophysical coordinate system of the group [K_{1j}] (see Tables 3.4.2.5[link], 3.4.2.6[link] and Figs. 3.4.2.3[link], 3.4.2.4[link]).

  • [g_{1j}^{\star}]: switching operations that specify domain pair [({\bf S}_1,g_{1j}^{\star}{\bf S}_1)=] [({\bf S}_1,{\bf S}_j)]. Subscripts of symmetry operations specify the orientation of the corresponding symmetry element in the Cartesian (rectangular) crystallophysical coordinate system of the group [K_{1j} ]. In hexagonal and trigonal systems, [x', y'] and [x'', y'' ] denote the Cartesian coordinate system rotated about the z axis through 120 and 240°, respectively, from the Cartesian coordinate axes x and y; diagonal directions are abbreviated: [p =[111]], [q=[\bar 1\bar 11]], [r=[1\bar 1\bar 1]], [s=[\bar 1 1 \bar 1]] (for further details see Tables 3.4.2.5[link] and 3.4.2.6[link], and Figs. 3.4.2.3[link] and 3.4.2.4[link]).

    All switching operations of the second order are given, switching operations of higher order are omitted. The star symbol signifies that the operation is both a transposing and a twinning operation.

  • [K_{1j}^{\star}=J_{1j}^{\star}]: twinning group of the domain pair [({\bf S}_1,{\bf S}_j)]. This group is equal to the symmetry group [J_{1j}^{\star}] of the completely transposable unordered domain pair [\{{\bf S}_1,{\bf S}_j\}] [see equation (3.4.3.24[link])]. The dichromatic symbol of the group [K^{\star}_{1j}=J_{1j}^{\star} ] designates the twin law of the non-ferroelastic domain pair [\{{\bf S}_1,{\bf S}_j \}] and the twin law of all non-ferroelastic twins with domains containing [{\bf S}_1] and [{\bf S}_j] (see Section 3.4.3.1[link]).

The second part of the table concerns the distinction and switching of domain states of the non-ferroelastic domain pair [({\bf S}_1,{\bf S}_j) =] [({\bf S}_1,g_{1j}^{\star}{\bf S}_1)].

  • [{\Gamma}_{\alpha} ]: irreducible representation of [K_{1j}] that defines the transformation properties of the principal tensor parameters of the symmetry descent [K_{1j}\supset F_1] and thus specifies the components of principal tensor parameters that are given explicitly in Table 3.1.3.1[link] , in the software GI[\star]KoBo-1 and in Kopský (2001[link]), where one replaces G by [K_{1j}].

  • Diffraction intensities: the entries in this column characterize the differences of diffraction intensities from two domain states of the domain pair:

    = signifies that the twinning operations belong to the Laue class of [F_1]. Then the reflection intensities per unit volume are the same for both domain states if anomalous scattering is zero, i.e. if Friedel's law is valid. For nonzero anomalous scattering, the intensities from the two domain states differ, but when the partial volumes of both states are equal the diffraction pattern is centrosymmetric;

    [\neq] signifies that the twinning operations do not belong to the Laue class of [F_1]. Then the reflection intesities per unit volume of the two domain states are different [for more details, see Chapter 3.3[link] ; Catti & Ferraris (1976[link]); Koch (2004[link])].

  • [\epsilon], [{\bi P}_i], [g_{\mu},\ldots, ] [{\bi Q}_{ij\mu}]: components (in matrix notation) of important property tensors that are specified in Table 3.4.3.5[link]. The same symbol may represent several property tensors (given in the same row of Table 3.4.3.5[link]) of the same rank and intrinsic symmetry. Bold-face symbols signify polar tensors. For each type of property tensor two numbers [a|c] are given; number a in front of the vertical bar | is the number of independent covariant components (in most cases identical with Cartesian components) that have the same absolute value but different sign in domain states [{\bf S}_1 ] and [{\bf S}_j]. The number c after the vertical bar | gives the number of independent nonzero tensor parameters that have equal values in both domain states of the domain pair [({\bf S}_1,{\bf S}_j)]. These tensor components are already nonzero in the parent phase.

    The principal tensor parameters are one-dimensional and have the same absolute value but opposite sign in [{\bf S}_1] and [{\bf S}_j=g^{\star}_{1j}{\bf S}_1]. Principal tensor parameters for symmetry descents [K_{1j}\supset F_1] and the associated [\Gamma_{\alpha} ] of all non-ferroelastic domain pairs can be found for property tensors of lower rank in Table 3.1.3.1[link] and for all tensors appearing in Table 3.4.3.4[link] in the software GI[\star]KoBo-1 and in Kopský (2001[link]), where one replaces G by [K_{1j}].

    When [a\neq 0] for a polar tensor (in bold-face components), then switching fields exist in the combination given in the last column of Table 3.4.3.5[link]. Components of these fields can be determined from the explicit form of corresponding principal tensor parameters expressed in Cartesian components.

Table 3.4.3.5[link] lists important property tensors up to fourth rank. Property tensor components that appear in the column headings of Table 3.4.3.4[link] are given in the first column, where bold face is used for the polar tensors significant for specifying the switching fields appearing in schematic form in the last column. In the third and fourth columns, those propery tensors appear for which hold all the results presented in Table 3.4.3.4[link] for the symbols given in the first column of Table 3.4.3.5[link].

Table 3.4.3.5| top | pdf |
Property tensors and switching fields

[i =1,2,3]; [{\mu},{\nu} =1,2,\ldots,6].

SymbolProperty tensorSymbolProperty tensorSwitching fields
[\epsilon] Enantiomorphism   Chirality  
[{\bi P}_i] Polarization [p_i] Pyroelectricity E
[\boldvarepsilon_{ij}] Permittivity     EE
[g_{\mu}] Optical activity      
[{\bi d}_{i{\mu}}] Piezoelectricity [r_{ijk}] Electro-optics Eu
[A_{i{\mu}}] Electrogyration      
[{\bi s}_{\mu\nu}] Elastic compliances     uu
[{\bi Q}_{{ij}{\mu}}] Electrostriction [\pi_{{ij}{\mu}}] Piezo-optics EEu

We turn attention to Section 3.4.5[link] (Glossary), which describes the difference between the notation of tensor components in matrix notation given in Chapter 1.1[link] and those used in the software GI[\star]KoBo-1 and in Kopský (2001[link]).

The numbers a in front of the vertical bar | in Table 3.4.3.4[link] provide global information about the tensor distinction of two domain states and enables one to classify domain pairs. Thus, for example, the first number a in column [P_i] gives the number of nonzero components of the spontaneous polarization that differ in sign in both domain states; if [a\neq 0], this domain pair can be classified as a ferroelectric domain pair.

Similarly, the first number a in column [g_{\mu}] determines the number of independent components of the tensor of optical activity that have opposite sign in domain states [{\bf S}_1] and [{\bf S}_j]; if [a\neq 0], the two domain states in the pair can be distinguished by optical activity. Such a domain pair can be called a gyrotropic domain pair. As in Table 3.4.3.1[link] for the ferroelectric (ferroelastic) domain pairs, we can define a gyrotropic phase as a ferroic phase with gyrotropic domain pairs. The corresponding phase transition to a gyrotropic phase is called a gyrotropic phase transition (Koňák et al., 1978[link]; Wadhawan, 2000[link]). If it is possible to switch gyrotropic domain states by an external field, the phase is called a ferrogyrotropic phase (Wadhawan, 2000[link]). Further division into full and partial subclasses is possible.

One can also define piezoelectric (electro-optic) domain pairs, electrostrictive (elasto-optic) domain pairs and corresponding phases and transitions.

As we have already stated, domain states in a domain pair [({\bf S}_1,{\bf S}_j) ] differ in principal tensor parameters of the transition [K_{1j}\supset F_1 ]. These principal tensor parameters are Cartesian tensor components or their linear combinations that transform according to an irreducible representation [\Gamma_{\alpha}] specifying the primary order parameter of the transition [K_{1j}\supset F_1] (see Section 3.1.3[link] ). Owing to a special form of [K_{1j}] expressed by equation (3.4.3.42[link]), this representation is a real one-dimensional irreducible representation of [K_{1j}]. Such a representation associates +1 with operations of [F_1 ] and −1 with operations from the left coset [g^{\star}_{1j} ]. This means that the principal tensor parameters are one-dimensional and have the same absolute value but opposite sign in [{\bf S}_1] and [{\bf S}_j=g^{\star}_{1j}{\bf S}_1]. Principal tensor parameters for symmetry descents [K_{1j}\supset F_1] and associated [\Gamma_{\alpha}]'s of all non-ferroelastic domain pairs can be found for property tensors of lower rank in Table 3.1.3.1[link] and for all tensors appearing in Table 3.4.3.5[link] in the software GI[\star]KoBo-1 and in Kopský (2001[link]).

These specific properties of non-ferroelastic domain pairs allow one to formulate simple rules for tensor distinction that do not use principal tensor parameters and that are applicable for property tensors of lower rank.

  • (i) Symmetry descents [K_{1j}\supset F_1 ] of non-ferroelastic domain pairs for lower-rank property tensors lead only to the appearance of independent Cartesian morphic tensor components and not to the breaking of relations between these components. These morphic Cartesian tensor components can be found by comparing matrices of property tensors in the twinning group [K_{1j}] and the low-symmetry group [F_1] as those components that appear in [F_1] but are zero in [K_{1j}].

  • (ii) As follows from Table 3.4.3.4[link], one can always find a twinning operation that is either inversion, or a twofold axis or a mirror plane with a prominent crystallographic orientation. By applying the method of direct inspection (see Section 1.1.4.6.3[link] ), one can in most cases easily find morphic Cartesian components in the second domain state of the domain pair considered and prove that they differ only in sign.

Example 3.4.3.4. Tensor distinction of domains and switching in lead germanate. Lead germanate (Pb5Ge3O11) undergoes a phase transition with symmetry descent [G=\bar 6 \supset 3=F_1] for which we find in Table 3.4.2.7[link], column [K_{1j} ], just one twinning group [K_{1j}={\bar 6}^{\star}], i.e. [K_{1j}^{\star}=G]. This means that there is only one G-orbit of domain pairs. Since Fam3 = Fam[\bar 6] [see Table 3.4.2.2[link] and equation (3.4.3.40[link])] this orbit comprises non-ferroelastic domain pairs. In Table 3.4.3.4[link], we find for [F_1=3] and [F_{1j}^{\star}=\bar 6] that the two domain states differ in some components of all property tensors listed in this table. The first polar tensor is the spontaneous polarization (the pair is ferroelectric) with one component [(a=1)] that has opposite sign in the two domain states. In Table 3.1.3.1[link] , we find for [G (=K_{1j})=\bar6] and [F_1 = 3] that this component is [P_3=P_z ]. From Table 3.4.3.1[link], it follows that the state shift is electrically first order with switching field [{\bf E}=({0,0,E}_z)].

The first optical tensor, which could enable the visualization of the domain states, is the optical activity [g_\mu] with two independent components which have opposite sign in the two domain states. In the software GI[\star]KoBo-1, path: Subgroups\View\Domains or in Kopský (2001[link]) we find these components: [g_3, g_1+g_2]. Shur et al. (1989[link]) have visualized in this way the domain structure of lead germanate with excellent black and white contrast (see Fig. 3.4.3.3[link]). Other examples are given in Shuvalov & Ivanov (1964[link]) and especially in Koňák et al. (1978[link]).

[Figure 3.4.3.3]

Figure 3.4.3.3 | top | pdf |

Domain structure in lead germanate observed using a polarized-light microscope. Visualization based on the opposite sign of the optical activity coefficient in the two domain states. Courtesy of Vl. Shur, Ural State University, Ekaterinburg.

Table 3.4.3.4[link] can be used readily for twinning by merohedry [see Chapter 3.3[link] and e.g. Cahn (1954[link]); Koch (2004[link])], where it enables an easy determination of the tensor distinction of twin components and the specification of external fields for possible switching and detwinning.

Example 3.4.3.5. Tensor distinction and switching of Dauphiné twins in quartz. Quartz undergoes a phase transition from [G=6_z2_x2_y] to [F_1=3_z2_x]. Using the same procedure as in the previous example, we come to following conclusions: There are only two domain states [{\bf S}_1], [{\bf S}_2] and the twinning group, expressing the twin law, is equal to the high-symmetry group [K_{12}^{\star}=6_z_x2_y]. In Table 3.4.3.4[link], we find that these two states differ in one independent component of the piezoelectric tensor and in one elastic compliance component. Comparison of the matrices for [6_z2_x2_y] and [3_z2_x] (see Sections 1.1.4.10.3[link] and 1.1.4.10.4[link] ) yields the following morphic tensor components in the first domain state [{\bf S}_1]: [d^{(1)}_{11} =] [-d^{(1)}_{12}=] [-2d^{(1)}_{26}] and [s^{(1)}_{14}=] [-s^{(1)}_{24} =] [2s^{(1)}_{56}]. According to the rule given above, the values of morphic components in the second domain state [{\bf S}_2] are [d^{(2)}_{11}=] [-d^{(1)}_{11} =] [-d^{(2)}_{12}=] [d^{(1)}_{12}=] [-2d^{(2)}_{26}=] [2d^{(1)}_{26}] and [s^{(2)}_{14}=] [-s^{(1)}_{14}=] [-s^{(2)}_{24}=] [s^{(1)}_{24}=] [2s^{(2)}_{56}=] [-2s^{(1)}_{56}] [see Section 3.4.5[link] (Glossary)]. These results show that there is an elastic state shift of second order and an electromechanical state shift of second order. Nonzero components [d_{14}=-d_{25}] in [6_z2_x2_y] are the same in both domain states. Similarly, one can find five independent components of the tensor [s_{\mu\nu} ] that are nonzero in [6_z2_x2_y] and equal in both domain states. For the piezo-optic tensor [\pi_{\mu\nu} ], one can proceed in a similar way. Aizu (1973[link]) has used the ferrobielastic character of the domain pairs for visualizing domains and realizing switching in quartz. Other methods for switching and visualizing domains in quartz are known (see e.g. Bertagnolli et al., 1978[link], 1979[link]).

3.4.3.6. Ferroelastic domain pairs

| top | pdf |

A ferroelastic domain pair consists of two domain states that have different spontaneous strain. A domain pair [({\bf S}_1,{\bf S}_j) ] is a ferroelastic domain pair if the crystal family of its twinning group [K_{1j}] differs from the crystal family of the symmetry group [F_1] of domain state [{\bf S}_1], [{\rm Fam}K_{1j}\neq {\rm Fam}F_1.\eqno(3.4.3.43)]

Before treating compatible domain walls and disorientations, we explain the basic concept of spontaneous strain.

3.4.3.6.1. Spontaneous strain

| top | pdf |

A strain describes a change of crystal shape (in a macroscopic description) or a change of the unit cell (in a microscopic description) under the influence of mechanical stress, temperature or electric field. If the relative changes are small, they can be described by a second-rank symmetric tensor [\bf u] called the Lagrangian strain. The values of the strain components [u_{ik},] [i,k=1,2,3] (or in matrix notation [u_{\mu},] [\mu=1, \ldots, 6]) can be calculated from the `undeformed' unit-cell parameters before deformation and `deformed' unit-cell parameters after deformation (see Schlenker et al., 1978[link]; Salje, 1990[link]; Carpenter et al., 1998[link]).

A spontaneous strain describes the change of an `undeformed' unit cell of the high-symmetry phase into a `deformed' unit cell of the low-symmetry phase. To exclude changes connected with thermal expansion, one demands that the parameters of the undeformed unit cell are those that the high-symmetry phase would have at the temperature at which parameters of the low-symmetry phase are measured. To determine these parameters directly is not possible, since the parameters of the high-symmetry phase can be measured only in the high-symmetry phase. One uses, therefore, different procedures in order to estimate values for the high-symmetry parameters under the external conditions to which the measured values of the low-symmetry phase refer (see e.g. Salje, 1990[link]; Carpenter et al., 1998[link]). Three main strategies are illustrated using the example of leucite (see Fig. 3.4.3.4[link]):

  • (i) The lattice parameters of the high-symmetry phase are extrapolated from values measured in the high-symmetry phase (a straight line [a_0] in Fig. 3.4.3.4[link]). This is a preferred approach.

    [Figure 3.4.3.4]

    Figure 3.4.3.4 | top | pdf |

    Temperature dependence of lattice parameters in leucite. Courtesy of E. K. H Salje, University of Cambridge.

  • (ii) For certain symmetry descents, it is possible to approximate the high-symmetry parameters in the low-symmetry phase by average values of the lattice parameters in the low-symmetry phase. Thus for example in cubic [\rightarrow] tetragonal transitions one can take for the cubic lattice parameter [a_0=(2a+c)/3] (the dotted curve in Fig. 3.4.3.4[link]), for cubic [\rightarrow] orthorhombic transitions one may assume [a_0=(abc)^{1/3}], where [a, b, c] are the lattice parameters of the low-symmetry phase. Errors are introduced if there is a significant volume strain, as in leucite.

  • (iii) Thermal expansion is neglected and for the high-symmetry parameters in the low-symmetry phase one takes the lattice parameters measured in the high-symmetry phase as close as possible to the transition. This simplest method gives better results than average values in leucite, but in general may lead to significant errors.

Spontaneous strain has been examined in detail in many ferroic crystals by Carpenter et al. (1998[link]).

Spontaneous strain can be divided into two parts: one that is different in all ferroelastic domain states and the other that is the same in all ferroelastic domain states. This division can be achieved by introducing a modified strain tensor (Aizu, 1970[link]b), also called a relative spontaneous strain (Wadhawan, 2000[link]): [{\bf{u}}_{(s)}^{(i)}={\bf{u}}^{(i)}-{\bf{u}}_{(s)}^{({\rm av})}, \eqno(3.4.3.44) ]where [{\bf{u}}_{(s)}^{(i)}] is the matrix of relative (modified) spontaneous strain in the ferroelastic domain state [{\bf R}_i], [{\bf{u}}^{(i)}] is the matrix of an `absolute' spontaneous strain in the same ferroelastic domain state [{\bf R}_i] and [{\bf{u}}_{(s)}^{({\rm av})} ] is the matrix of an average spontaneous strain that is equal to the sum of the matrices of absolute spontaneous strains over all [n_a ] ferroelastic domain states, [{\bf{u}} ^{({\rm av})}={{1}\over{n_a}}\sum_{j=1}^{n_a}{\bf{u}}^{(j)}. \eqno(3.4.3.45) ]

The relative spontaneous strain [{\bf b}_{(s)}^{(i)}] is a symmetry-breaking strain that transforms according to a non-identity representation of the parent group G, whereas the average spontaneous strain is a non-symmetry breaking strain that transforms as the identity representation of G.

Example 3.4.3.6. We illustrate these concepts with the example of symmetry descent [4_z/m_zm_xm_{xy}\supset 2_xm_ym_z] with two ferroelastic domain states [{\bf R}_1] and [{\bf R}_2] (see Fig. 3.4.2.2[link]). The absolute spontaneous strain in the first ferroelastic domain state [{\bf R}_1] is [{\bf u}^{(1)}= \left(\matrix{{{a-a_0}\over{a_0}} &0 &0 \cr 0 &{{b-a_0}\over{a_0}} &0 \cr 0 &0 &{{c-c_0}\over{c_0}} }\right) = \left(\matrix{u_{11} &0 &0 \cr 0 &u_{22} &0 \cr 0 &0 &u_{33}}\right),\eqno(3.4.3.46) ]where [a,b,c] and [a_0,b_0,c_0] are the lattice parameters of the orthorhombic and tetragonal phases, respectively.

The spontaneous strain [{\bf u}^{(2)}] in domain state [{\bf R}_2 ] is obtained by applying to [{\bf{u}}^{(1)}] any switching operation that transforms [{\bf R}_1] into [{\bf R}_2] (see Table 3.4.2.1[link]), [{\bf u}^{(2)}= \left(\matrix{u_{22} &0 &0 \cr 0 &u_{11} &0 \cr 0 & 0 &u_{33}}\right).\eqno(3.4.3.47) ]

The average spontaneous strain is, according to equation (3.4.3.45[link]), [{\bf u}^{(\rm av)}=\textstyle{{1}\over{2}} \left(\matrix{u_{11}+u_{22} &0 &0 \cr 0 &u_{11}+u_{22} &0 \cr 0 &0 &u_{33}+u_{33} }\right). \eqno(3.4.3.48) ]This deformation is invariant under any operation of G.

The relative spontaneous strains in ferroelastic domain states [{\bf R}_1 ] and [{\bf R}_2] are, according to equation (3.4.3.44[link]), [\eqalignno{{\bf u}_{(s)}^{(1)}&={\bf u}^{(1)}-{\bf u}^{(\rm av)}= \pmatrix{{{1}\over{2}}(u_{11}-u_{22}) &0 &0 \cr 0 &-{{1}\over{2}}(u_{11}-u_{22}) &0 \cr 0 &0 &0},&\cr &&(3.4.3.49)\cr{\bf u}_{(s)}^{(2)}&={\bf u}^{(2)}-{\bf u}^{(\rm av)}= \pmatrix{-{{1}\over{2}}(u_{11}-u_{22}) &0 &0 \cr 0 &{{1}\over{2}}(u_{11}-u_{22}) &0 \cr 0 &0 &0}. &\cr &&(3.4.3.50)}%fd3.4.3.50 ]

Symmetry-breaking nonzero components of the relative spontaneous strain are identical, up to the factor [{{1}\over{2}}], with the secondary tensor parameters [\lambda_{b}^{(1)}] and [\lambda_{b}^{(2)}] of the transition [4_z/m_zm_xm_{xy}\supset2_xm_ym_z] with the stabilizer [I_{4_z/m_zm_xm_{xy}}({\bf R}_1)=] [I_{4_z/m_zm_xm_{xy}}({\bf R}_2) =] [m_xm_ym_z]. The non-symmetry-breaking component [u_{33}] does not appear in the relative spontaneous strain.

The form of relative spontaneous strains for all ferroelastic domain states of all full ferroelastic phases are listed in Aizu (1970[link]b).

3.4.3.6.2. Equally deformed planes of a ferroelastic domain pair

| top | pdf |

We start with the example of a phase transition with the symmetry descent [G=4_z/m_zm_xm_{xy}\supset 2_xm_ym_z], which generates two ferroelastic single-domain states [{\bf R}_1] and [{\bf R}_2] (see Fig. 3.4.2.2[link]). An `elementary cell' of the parent phase is represented in Fig. 3.4.3.5[link](a) by a square [B_0E_0C_0F_0 ] and the corresponding domain state is denoted by [{\bf R}_0].

[Figure 3.4.3.5]

Figure 3.4.3.5 | top | pdf |

Formation of a ferroelastic domain twin. (a) Formation of ferroelastic single-domain states [{\bf R}_1, {\bf R}_2] from the parent phase [{\bf R}_0]; p and [p^\prime] are two perpendicular planes of equal deformation. (b) Formation of a ferroelastic twin: (i) by rotating the single-domain states [{\bf S}_1, {\bf S}_2] in (a) through an angle [\pm{{1}\over{2}}\varphi] about the domain-pair axis A ([{\bf R}_1^+] and [{\bf R}_2^-] are the resulting disoriented ferroelastic domain states); (ii) by a simple shear deformation with a shear angle (obliquity) [\varphi].

In the ferroic phase, the square [B_0E_0C_0F_0] can change either under spontaneous strain [{\bf u}^{(1)}] into a spontaneously deformed rectangular cell [B_1E_1C_1F_1] representing a domain state [{\bf R}_1 ], or under a spontaneous strain [{\bf u}^{(2)}] into rectangular [B_2E_2C_2F_2] representing domain state [{\bf R}_2]. We shall use the letter [{\bf R}_0] as a symbol of the parent phase and [{\bf R}_1, ] [{\bf R}_2] as symbols of two ferroelastic single-domain states.

Let us now choose in the parent phase a vector [{\buildrel{\longrightarrow}\over{AB_0}} ]. This vector changes into [{\buildrel{\longrightarrow}\over{AB_1}} ] in ferroelastic domain state [{\bf R}_1] and into [{\buildrel{\longrightarrow}\over{AB_2}} ] in ferroelastic domain state [{\bf R}_1]. We see that the resulting vectors [{\buildrel{\longrightarrow}\over{AB_1}}] and [{\buildrel{\longrightarrow}\over{AB_2}} ] have different direction but equal length: [|{\buildrel{\longrightarrow}\over{AB_1}}|= |{\buildrel{\longrightarrow}\over{AB_2}}| ]. This consideration holds for any vector in the plane p, which can therefore be called an equally deformed plane (EDP). One can find that the perpendicular plane [p'] is also an equally deformed plane, but there is no other plane with this property.

The intersection of the two perpendicular equally deformed planes p and [p'] is a line called an axis of the ferroelastic domain pair [({\bf R}_1,{\bf R}_2)] (in Fig. 3.4.3.5[link] it is a line at A perpendicular to the paper). This axis is the only line in which any vector chosen in the parent phase exhibits equal deformation and has its direction unchanged in both single-domain states [{\bf R}_1 ] and [{\bf R}_2] of a ferro­elastic domain pair.

This consideration can be expressed analytically as follows (Fousek & Janovec, 1969[link]; Sapriel, 1975[link]). We choose in the parent phase a plane p and a unit vector [{\bf v}(x_1,x_2,x_3) ] in this plane. The changes of lengths of this vector in the two ferroelastic domain states [{\bf R}_1] and [{\bf R}_2] are [u^{(1)}_{ik}x_ix_k ] and [u^{(2)}_{ik}x_ix_k], respectively, where [u^{(1)}_{ik} ] and [u^{(2)}_{ik}] are spontaneous strains in [{\bf R}_1] and [{\bf R}_2], respectively (see e.g. Nye, 1985[link]). (We are using the Einstein summation convention: when a letter suffix occurs twice in the same term, summation with respect to that suffix is to be understood.) If these changes are equal, i.e. if [u^{(1)}_{ik}x_ix_k=u^{(2)}_{ik}x_ix_k,\eqno(3.4.3.51)]for any vector [{\bf v}(x_1,x_2,x_3)] in the plane p this plane will be an equally deformed plane. If we introduce a differential spontaneous strain[\Delta u_{ik}\equiv u^{(2)}_{ik}-u^{(1)}_{ik}, \quad i, k=1,2,3, \eqno(3.4.3.52) ]the condition (3.4.3.51[link]) can be rewritten as [\Delta u_{ik}x_ix_j=0. \eqno(3.4.3.53)]This equation describes a cone with the apex at the origin. The cone degenerates into two planes if the determinant of the differential spontaneous strain tensor equals zero, [{\rm det}\Delta u_{ik}=0. \eqno(3.4.3.54) ]If this condition is satisfied, two solutions of (3.4.3.53[link]) exist: [Ax_1+Bx_2+Cx_3=0, \quad A{^\prime}{x_1}+B{^\prime}{x_2}+C{^\prime}{x_3}=0. \eqno(3.4.3.55) ]These are equations of two planes p and [p^\prime] passing through the origin. Their normal vectors are [{\bf n}=[ABC]] and [{\bf n'}=[A'B'C']]. It can be shown that from the equation [\Delta u_{11}+\Delta u_{22}+\Delta u_{33}=0, \eqno(3.4.3.56)]which holds for the trace of the matrix [{\rm det}\Delta u_{ik}], it follows that these two planes are perpendicular: [AA^\prime+BB^\prime+CC^\prime=0. \eqno(3.4.3.57) ]

The intersection of these equally deformed planes (3.4.3.53[link]) is the axis of the ferroelastic domain pair [({\bf R}_1,{\bf R}_2) ].

Let us illustrate the application of these results to the domain pair [({\bf R}_1,{\bf R}_2)] depicted in Fig. 3.4.3.1[link](b) and discussed above. From equations (3.4.3.41[link]) and (3.4.3.47[link]), or (3.4.3.49[link]) and (3.4.3.50[link]) we find the only nonzero components of the difference strain tensor are[\Delta u_{11}=u_{22}-u_{11}, \quad \Delta u_{22}=u_{11}-u_{22}. \eqno(3.4.3.58) ]Condition (3.4.3.54[link]) is fulfilled and equation (3.4.3.53[link]) is [\Delta u_{11}x_1^2+\Delta u_{22}x_2^2=(u_{22}-u_{11})x_1^2+(u_{11}-u_{22})x_2^2=0. \eqno(3.4.3.59) ]There are two solutions of this equation: [x_1=x_2, \quad x_1=-x_2. \eqno(3.4.3.60)]These two equally deformed planes p and [p^\prime] have the normal vectors [{\bf n}=[\bar 110] ] and [{\bf n}=[110]]. The axis of this domain pair is directed along [001].

Equally deformed planes in our example have the same orientations as have the mirror planes [m_{\bar{x}y}] and [m_{xy}] lost at the transition [4_z/m_zm_xm_{xy} \supset m_xm_ym_z]. From Fig. 3.4.3.5[link](a) it is clear why: reflection [m_{\bar{x}y}], which is a transposing operation of the domain pair ([{\bf R}_1,{\bf R}_2]), ensures that the vectors [{\buildrel{\longrightarrow}\over{AB_1}}] and [{\buildrel{\longrightarrow}\over {AB_2}} ] arising from [{\buildrel{\longrightarrow}\over{AB_0}}] have equal length. A similar conclusion holds for a 180° rotation and a plane perpendicular to the corresponding twofold axis. Thus we come to two useful rules:

Any reflection through a plane that is a transposing operation of a ferroelastic domain pair ensures the existence of two planes of equal deformation: one is parallel to the corresponding mirror plane and the other one is perpendicular to this mirror plane.

Any 180° rotation that is a transposing operation of a ferroelastic domain pair ensures the existence of two equally deformed planes: one is perpendicular to the corresponding twofold axis and the other one is parallel to this axis.

A reflection in a plane or a 180° rotation generates at least one equally deformed plane with a fixed prominent crystallographic orientation independent of the magnitude of the spontaneous strain; the other perpendicular equally deformed plane may have a non-crystallographic orientation which depends on the spontaneous strain and changes with temperature. If between switching operations there are two reflections with corresponding perpendicular mirror planes, or two 180° rotations with corresponding perpendicular twofold axes, or a reflection and a 180° rotation with a corresponding twofold axis parallel to the mirror, then both perpendicular equally deformed planes have fixed crystallographic orientations. If there are no switching operations of the second order, then both perpendicular equally deformed planes may have non-crystallographic orientations, or equally deformed planes may not exist at all.

Equally deformed planes in ferroelastic–ferroelectric phases have been tabulated by Fousek (1971[link]). Sapriel (1975[link]) lists equations (3.4.3.55[link]) of equally deformed planes for all ferro­elastic phases. Table 3.4.3.6[link] contains the orientation of equally deformed planes (with further information about the walls) for representative domain pairs of all orbits of ferroelastic domain pairs. Table 3.4.3.7[link] lists representative domain pairs of all ferroelastic orbits for which no compatible walls exist.

3.4.3.6.3. Disoriented domain states, ferroelastic domain twins and their twin laws

| top | pdf |

To examine another possible way of forming a ferroelastic domain twin, we return once again to Fig. 3.4.3.5[link](a) and split the space along the plane p into a half-space [{\cal B}_1 ] on the negative side of the plane p (defined by a negative end of normal [{\bf n}]) and another half-space [{\cal B}_2] on the positive side of p. In the parent phase, the whole space is filled with domain state [{\bf R}_0] and we can, therefore, treat the crystal in region [{\cal B}_1] as a domain [{\bf D}_1({\bf R}_0,{\cal B}_{1}) ] and the crystal in region [{\cal B}_2] as a domain [{\bf D}_2({\bf R}_0,{\cal B}_2) ] (we remember that a domain is specified by its domain region, e.g. [{\cal B}_1], and by a domain state, e.g. [{\bf R}_1 ], in this region; see Section 3.4.2.1[link]).

Now we cool the crystal down and exert the spontaneous strain [{\bf u}^{(1)} ] on domain [{\bf D}_1({\bf R}_0,{\cal B}_1)]. The resulting domain [{\bf D}_1({\bf R}_1,{\cal B}_1^{-})] contains domain state [{\bf R}_1 ] in the domain region [{\cal B}_1^{-}] with the planar boundary along [(\overline{B_1C_1})] (the overbar `−' signifies a rotation of the boundary in the positive sense). Similarly, domain [{\bf D}_2({\bf R}_0,{\cal B}_2) ] changes after performing spontaneous strain [{\bf u}^{(2)}] into domain [{\bf D}_2({\bf R}_2,{\cal B}_2^{+})] with domain state [{\bf R}_2] and the planar boundary along [(\overline{B_2C_2})]. This results in a disruption in the sector [B_1AB_2] and in an overlap of [{\bf R}_1] and [{\bf R}_2] in the sector [C_1AC_2].

The overlap can be removed and the continuity recovered by rotating the domain [{\bf D}_1({\bf R}_1,{\cal B}_1^{-})] through angle [\varphi /2 ] and the domain [{\bf D}_2({\bf R}_2,{\cal B}_2^{+})] through [-\varphi /2] about the domain-pair axis A (see Fig. 3.4.3.5[link]a and b). This rotation changes the domain [{\bf D}_1({\bf R}_1,{\cal B}_1^{-})] into domain [{\bf D}_1({\bf R}_1^{+},{\cal B}_1) ] and domain [{\bf D}_2({\bf R}_2,{\cal B}_2^{-})] into domain [{\bf D}_1({\bf R}_2^{-},{\cal B}_2)], where [{\bf R}_1^{+}] and [{\bf R}_2^{-}] are domain states rotated away from the single-domain state orientation through [\varphi /2] and [-\varphi /2], respectively. Domains [{\bf D}_1({\bf R}_1,{\cal B}_1)] and [{\bf D}_1({\bf R}_2,{\cal B}_2) ] meet without additional strains or stresses along the plane p and form a simple ferroelastic twin with a compatible domain wall along p. This wall is stress-free and fulfils the conditions of mechanical compatibility.

Domain states [{\bf R}_1^{+}] and [{\bf R}_2^{-}] with new orientations are called disoriented (misoriented) domain states or suborientational states (Shuvalov et al., 1985[link]; Dudnik & Shuvalov, 1989[link]) and the angles [\varphi /2 ] and [-\varphi /2] are the disorientation angles of [{\bf R}_1^{+}] and [{\bf R}_2^{-}], respectively.

We have described the formation of a ferroelastic domain twin by rotating single-domain states into new orientations in which a stress-free compatible contact of two ferroelastic domains is achieved. The advantage of this theoretical construct is that it provides a visual interpretation of disorientations and that it works with ferroelastic single-domain states which can be easily derived and transformed.

There is an alternative approach in which a domain state in one domain is produced from the domain state in the other domain by a shear deformation. The same procedure is used in mechanical twinning [for mechanical twinning, see Section 3.3.8.4[link] and e.g. Cahn (1954[link]); Klassen-Neklyudova (1964[link]); Christian (1975[link])].

We illustrate this approach again using our example. From Fig. 3.4.3.5[link](b) it follows that domain state [{\bf R}_2^{-} ] in the second domain can be obtained by performing a simple shear on the domain state [{\bf R}_1^{+}] of the first domain. In this simple shear, a point is displaced in a direction parallel to the equally deformed plane p (in mechanical twinning called a twin plane) and to a plane perpendicular to the axis of the domain pair (plane of shear). The displacement [{\bf q}] is proportional to the distance d of the point from the domain wall. The amount of shear is measured either by the absolute value of this displacement at a unit distance, [s=q/d], or by an angle [\varphi] called a shear angle (sometimes [2\varphi] is defined as the shear angle). There is no change of volume connected with a simple shear.

The angle [\varphi] is also called an obliquity of a twin (Cahn, 1954[link]) and is used as a convenient measure of pseudosymmetry of the ferroelastic phase.

The high-resolution electron microscopy image in Fig. 3.4.3.6[link] reveals the relatively large shear angle (obliquity) [\varphi] of a ferroelastic twin in the monoclinic phase of tungsten trioxide (WO3). The plane (101) corresponds to the plane p of a ferro­elastic wall in Fig. 3.4.3.5[link](b). The planes [(\bar1 01) ] are crystallographic planes in the lower and upper ferroelastic domains, which correspond in Fig. 3.4.3.5[link](b) to domain [{\bf D}_1({\bf R}_1^{+},{\cal B}_1)] and domain [{\bf D}_2({\bf R}_2^{-},{\cal B}_2) ], respectively. The planes [(\bar1 01)] in these domains correspond to the diagonals of the elementary cells of [{\bf R}_1^{+}] and [{\bf R}_2^{-}] in Fig. 3.4.3.5[link](b) and are nearly perpendicular to the wall. The angle between these planes equals [2\varphi], where [\varphi] is the shear angle (obliquity) of the ferroelastic twin.

[Figure 3.4.3.6]

Figure 3.4.3.6 | top | pdf |

High-resolution electron microscopy image of a ferroelastic twin in the orthorhombic phase of WO3. Courtesy of H. Lemmens, EMAT, University of Antwerp.

Disorientations of domain states in a ferroelastic twin bring about a deviation of the optical indicatrix from a strictly perpendicular position. Owing to this effect, ferroelastic domains exhibit different colours in polarized light and can be easily visualized. This is illustrated for a domain structure of YBa2Cu3O7−δ in Fig. 3.4.3.7[link]. The symmetry descent G = [4_z/m_zm_xm_{xy}\supset m_xm_ym_z =] [F_1=] [F_2] gives rise to two ferroelastic domain states [{\bf R}_1] and [{\bf R}_2 ]. The twinning group [K_{12}] of the non-trivial domain pair [({\bf R}_1,{\bf R}_2)] is [K_{12}[m_xm_ym_z]= J_{12}^{\star}=m_xm_ym_z \cup 4_z^{\star}\{2_xm_ym_z\} = 4_z^{\star}/m_zm_xm_{xy}^{\star}. \eqno(3.4.3.61) ]The colour of a domain state observed in a polarized-light microscope depends on the orientation of the index ellipsoid (indicatrix) with respect to a fixed polarizer and analyser. This index ellipsoid transforms in the same way as the tensor of spontaneous strain, i.e. it has different orientations in ferroelastic domain states. Therefore, different ferroelastic domain states exhibit different colours: in Fig. 3.4.3.7[link], the blue and pink areas (with different orientations of the ellipse representing the spontaneous strain in the plane of of figure) correspond to two different ferroelastic domain states. A rotation of the crystal that does not change the orientation of ellipses (e.g. a 180° rotation about an axis parallel to the fourfold rotation axis) does not change the colours (ferroelastic domain states). If one neglects disorientations of ferroelastic domain states (see Section 3.4.3.6[link]) – which are too small to be detected by polarized-light microscopy – then none of the operations of the group [F_1=] [F_2=m_xm_ym_z] change the single-domain ferroelastic domain states [{\bf R}_1], [{\bf R}_2], hence there is no change in the colours of domain regions of the crystal. On the other hand, all operations with a star symbol (operations lost at the transition) exchange domain states [{\bf R}_1] and [{\bf R}_2 ], i.e. also exchange the two colours in the domain regions. The corresponding permutation is a transposition of two colours and this attribute is represented by a star attached to the symbol of the operation. This exchange of colours is nicely demonstrated in Fig. 3.4.3.7[link] where a −90° rotation is accompanied by an exchange of the pink and blue colours in the domain regions (Schmid, 1991[link], 1993[link]).

[Figure 3.4.3.7]

Figure 3.4.3.7 | top | pdf |

Ferroelastic twins in a very thin YBa2Cu3O7−δ crystal observed in a polarized-light microscope. Courtesy of H. Schmid, Université de Geneve.

It can be shown (Shuvalov et al., 1985[link]; Dudnik & Shuvalov, 1989[link]) that for small spontaneous strains the amount of shear s and the angle [\varphi] can be calculated from the second invariant [\Lambda_2] of the differential tensor [\Delta u_{ik}]: [\eqalignno{s&=2\sqrt{-\Lambda_2}, &(3.4.3.62)\cr \varphi&=\sqrt{-\Lambda_2 }, &(3.4.3.63)}%fd3.4.3.63 ]where [\Lambda_2 = \left|\matrix{\bigtriangleup u_{11} &\bigtriangleup u_{12} \cr \bigtriangleup u_{21} &\bigtriangleup u_{22}}\right| + \left|\matrix{\bigtriangleup u_{22} &\bigtriangleup u_{23} \cr \bigtriangleup u_{32} &\bigtriangleup u_{33}}\right| + \left|\matrix{\bigtriangleup u_{11} &\bigtriangleup u_{13} \cr \bigtriangleup u_{31} &\bigtriangleup u_{33}}\right|.\eqno(3.4.3.64) ]

In our example, where there are only two nonzero components of the differential spontaneous strain tensor [see equation (3.4.3.58[link])], the second invariant [\Lambda_2=] [-(\Delta u_{11}\Delta u_{22}) =] [-(u_{22}-u_{11})^2] and the angle [\varphi] is [\varphi=\pm|u_{22}-u_{11}|.\eqno(3.4.3.65) ]In this case, the angle [\varphi] can also be expressed as [\varphi=\pi /2-2\,{\rm arctan}\,a/b], where a and b are lattice parameters of the orthorhombic phase (Schmid et al., 1988[link]).

The shear angle [\varphi] ranges in ferroelastic crystals from minutes to degrees (see e.g. Schmid et al., 1988[link]; Dudnik & Shuvalov, 1989[link]).

Each equally deformed plane gives rise to two compatible domain walls of the same orientation but with opposite sequence of domain states on each side of the plane. We shall use for a simple domain twin with a planar wall a symbol [({\bf R}_1^{+}|\bf{n}|{\bf R}_2^{-})] in which n denotes the normal to the wall. The bra–ket symbol [(\,\,|] and [|\,\,)] represents the half-space domain regions on the negative and positive sides of [{\bf n}], respectively, for which we have used letters [{\cal B}_1] and [{\cal B}_2], respectively. Then [({\bf R}_1^{+}|] and [|{\bf R}_2^{-})] represent domains [{{\bf D}_1}({\bf R}_1^{+},{\cal B}_1) ] and [{{\bf D}_2}({\bf R}_2^{-},{\cal B}_2)], respectively. The symbol [({\bf R}_1^{+}|{\bf R}_2^{-})] properly specifies a domain twin with a zero-thickness domain wall.

A domain wall can be considered as a domain twin with domain regions restricted to non-homogeneous parts near the plane p. For a domain wall in domain twin [({\bf R}_1^{+}|{\bf R}_2^{-})] we shall use the symbol [[{\bf R}_1^{+}|{\bf R}_2^{-}] ], which expresses the fact that a domain wall of zero thickness needs the same specification as the domain twin.

If we exchange domain states in the twin [({\bf R}_1^{+}|{\bf n}|{\bf R}_2^{-}) ], we get a reversed twin (wall) with the symbol [({\bf R}_2^{-}|{\bf n}|{\bf R}_1^{+}) ]. These two ferroelastic twins are depicted in the lower right and upper left parts of Fig. 3.4.3.8[link], where – for ferroelastic–non-ferroelectric twins – we neglect spontaneous polarization of ferroelastic domain states. The reversed twin [{\bf R}_2^{-}|{\bf n}'|{\bf R}_1^{+}] has the opposite shear direction.

[Figure 3.4.3.8]

Figure 3.4.3.8 | top | pdf |

Exploded view of four ferroelastic twins with disoriented ferroelastic domain states [{\bf R}_1^+, {\bf R}_2^-] and [{\bf R}_1^-, {\bf R}_2^+ ] formed from a single-domain pair [({\bf S}_1,{\bf S}_2)] (in the centre).

Twin and reversed twin can be, but may not be, crystallographically equivalent. Thus e.g. ferroelastic–non-ferroelectric twins [({\bf R}_1^{+}|{\bf n}|{\bf R}_2^{-}) ] and [({\bf R}_2^{-}|{\bf n}|{\bf R}_1^{+})] in Fig. 3.4.3.8[link] are equivalent, e.g. via [2_z], whereas ferroelastic–ferroelectric twins [({\bf S}_1^{+}|{\bf n}|{\bf S}_3^{-}) ] and [({\bf S}_3^{-}|{\bf n}|{\bf S}_1^{+})] are not equivalent, since there is no operation in the group [K_{12}] that would transform [({\bf S}_1^{+}|{\bf n}|{\bf S}_3^{-})] into [({\bf S}_3^{-}|{\bf n}|{\bf S}_1^{+}) ].

As we shall show in the next section, the symmetry group [{\sf T}_{12}({\bf n}) ] of a twin and the symmetry group [{\sf T}_{21}({\bf n})] of a reverse twin are equal, [{\sf T}_{12}({\bf n}) = {\sf T}_{21}({\bf n}).\eqno(3.4.3.66) ]

A sequence of repeating twins and reversed twins [\ldots {\bf R}_1^{+}|{\bf n}|{\bf R}_2^{-}|{\bf n}|{\bf R}_1^{+}|{\bf n}|{\bf R}_2^{-} |{\bf n}|{\bf R}_1^{+}|{\bf n}|{\bf R}_2^{-}|{\bf n}|{\bf R}_1^{+}|{\bf n}|{\bf R}_2^{-}\ldots\eqno(3.4.3.67) ]forms a lamellar ferroelastic domain structure that is very common in ferroelastic phases (see e.g. Figs. 3.4.1.1[link] and 3.4.1.4[link]).

Similar considerations can be applied to the second equally deformed plane [p^\prime] that is perpendicular to p. The two twins and corresponding compatible domain walls for the equally deformed plane [p^\prime] have the symbols [({\bf R}_1^{-}|{\bf n}^\prime|{\bf R}_2^{+})] and [({\bf R}_2^{-}|{\bf n}^\prime|{\bf R}_1^{+})], and are also depicted in Fig. 3.4.3.8[link]. The corresponding lamellar domain structure is [\ldots{\bf R}_1^{-}|{\bf n}^\prime|{\bf R}_2^{+}|{\bf n}^\prime|{\bf R}_1^{-}|{\bf n}^\prime|{\bf R}_2^{+} |{\bf n}^\prime|{\bf R}_1^{-}|{\bf n}^\prime|{\bf R}_2^{+}|{\bf n}^\prime|{\bf R}_1^{-}|{\bf n}^\prime|{\bf R}_2^{+}\ldots\,.\eqno(3.4.3.68) ]

Thus from one ferroelastic single-domain pair [({\bf R}_1, {\bf R}_2) ] depicted in the centre of Fig. 3.4.3.8[link] four different ferroelastic domain twins can be formed. It can be shown that these four twins have the same shear angle [\varphi] and the same amount of shear s. They differ only in the direction of the shear.

Four disoriented domain states [{\bf R}_1^{-}, {\bf R}_1^{+}] and [{\bf R}_2^{-}, {\bf R}_2^{+}] that appear in the four domain twins considered above are related by lost operations (e.g. diagonal, vertical and horizontal reflections), i.e. they are crystallographically equivalent. This result can readily be obtained if we consider the stabilizer of a disoriented domain state [{\bf R}_1^{+}], which is [I_{4/mmm}({\bf R}_1^{+})=2_z/m_z ]. Then the number [n_a^{\rm dis}] of disoriented ferroelastic domain states is given by [n^{\rm dis}_a=[G:I_g({\bf R}_1^{+})]=|4_z/m_zm_xm_{xy}|:|2_z/m_z]=16:4=4.\eqno(3.4.3.69) ]All these domain states appear in ferroelastic polydomain structures that contain coexisting lamellar structures (3.4.3.67[link]) and (3.4.3.68[link]).

Disoriented domain states in ferroelastic domain structures can be recognized by diffraction techniques (e.g. using an X-ray precession camera). The presence of these four disoriented domain states results in splitting of the diffraction spots of the high-symmetry tetragonal phase into four or two spots in the orthorhombic ferroelastic phase. This splitting is schematically depicted in Fig. 3.4.3.9[link]. For more details see e.g. Shmyt'ko et al. (1987[link]), Rosová et al. (1993[link]), and Rosová (1999[link]).

[Figure 3.4.3.9]

Figure 3.4.3.9 | top | pdf |

Splitting of diffraction spots from the four domain twins in Fig. 3.4.3.8[link]. (a) Diffraction spots of the tetragonal parent phase of the domain state [{\bf R}_1]. (b) Diffraction pattern of the domain structure with four domain twins: white circles, [{\bf R}_1^+]; black circles, [{\bf R}_1^-]; white squares, [{\bf R}_2^+]; black squares, [{\bf R}_2^-].

Finally, we turn to twin laws of ferroelastic domain twins with compatible domain walls. In a ferroelastic twin, say [({\bf R}_1^{+}|{\bf n}|{\bf R}_2^{-}) ], there are just two possible twinning operations that interchange two ferroelastic domain states [{\bf R}_1^{+}] and [{\bf R}_2^{-} ] of the twin: reflection through the plane of the domain wall ([m^{\star}_{\bar{x}y} ] in our example) and 180° rotation with a rotation axis in the intersection of the domain wall and the plane of shear ([2^{\star}_{x y} ]). These are the only transposing operations of the domain pair [({\bf R}_1,{\bf R}_2)] that are preserved by the shear; all other transposing operations of the domain pair [({\bf R}_1,{\bf R}_2)] are lost. (This is a difference from non-ferroelastic twins, where all transposing operations of the pair become twinning operations of a non-ferroelastic twin.)

Consider the twin [({\bf S}_1^{+}|{\bf n}|{\bf S}_3^{-})] in Fig. 3.4.3.8[link]. By non-trivial twinning operations we understand transposing operations of the domain pair [({\bf S}_1^{+},{\bf S}_3^{-}) ], whereas trivial twinning operations leave invariant [{\bf S}_1^{+} ] and [{\bf S}_3^{-}]. As we shall see in the next section, the union of trivial and non-trivial twinning operations forms a group [{\sf T}_{1^{+}2^{-}}({\bf n}) ]. This group, called the symmetry group of the twin [({\bf S}_1^{+}|{\bf n}|{\bf S}_3^{-}) ], comprises all symmetry operations of this twin and we shall use it for designating the twin law of the ferroelastic twin, just as the group [J_{1j}^{\star}] of the domain pair [({\bf S}_1,{{\bf S}_j)} ] specifies the twin law of a non-ferroelastic twin. This group [{\sf T}_{1^{+}2^{-}}({\bf n}) ] is a layer group (see Section 3.4.4.2[link]) that keeps the plane p invariant, but for characterizing the twin law, which specifies the relation of domain states of two domains in the twin, one can treat [{\sf T}_{1^{+}2^{-}}({\bf n})] as an ordinary (dichromatic) point group [T_{1^{+}2^{-}}({\bf n})]. Thus the twin law of the domain twin [({\bf S}_1^{+}|{\bf n}|{\bf S}_3^{-})] is designated by the group [T_{1^{+}3^{-}}({\bf n})=2_{xy}^{\star}m_{x\bar y}^{\star}m_z=T_{3^{-}1^{+}}{({\bf n})}, \eqno(3.4.3.70) ]where (3.4.3.70[link]) expresses the fact that a twin and the reversed twin have the same symmetry, see equation (3.4.3.66[link]). We see that this group coincides with the symmetry group [J_{1^{+}2^{-}} ] of the single-domain pair [({\bf S}_1,{\bf S}_3)] (see Fig. 3.4.3.1[link]b).

The twin law of two twins [({\bf S}_1^{-}|{\bf n^\prime}|{\bf S}_3^{+}) ] and [({\bf S}_3^{+}|{\bf n^\prime}|{\bf S}_1^{-})] with the same equally deformed plane [p^\prime] is expressed by the group [T_{1^{-}3^{+}}({\bf n^\prime})=m_z= T_{3^{-}1^{+}}({\bf n}^\prime), \eqno(3.4.3.71) ]which is different from the [T_{1^{+}3^{-}}({\bf n})] of the twin [({\bf S}_1^{+}|{\bf n}|{\bf S}_3^{-})].

Representative domain pairs of all orbits of ferroelastic domain pairs (Litvin & Janovec, 1999[link]) are listed in two tables. Table 3.4.3.6[link] contains representative domain pairs for which compatible domain walls exist and Table 3.4.3.7[link] lists ferroelastic domain pairs where compatible coexistence of domain states is not possible. Table 3.4.3.6[link] contains, beside other data, for each ferroelastic domain pair the orientation of two equally deformed planes and the corresponding symmetries of the corresponding four twins which express two twin laws.

3.4.3.6.4. Ferroelastic domain pairs with compatible domain walls, synoptic table

| top | pdf |

As we have seen, for each ferroelastic domain pair for which condition (3.4.3.54[link]) for the existence of coherent domain walls is fulfilled, there exist two perpendicular equally deformed planes. On each of these planes two ferroelastic twins can be formed; these two twins are in a simple relation (one is a reversed twin of the other), have the same symmetry, and can therefore be represented by one of these twins. Then we can say that from one ferroelastic domain pair two different twins can be formed. Each of these twins represents a different `twin law' that has arisen from the initial domain pair. All four ferroelastic twins can be described in terms of mechanical twinning with the same value of the shear angle [\varphi].

3.4.3.6.4.1. Explanation of Table 3.4.3.6[link]

| top | pdf |

Table 3.4.3.6[link] presents representative domain pairs of all classes of ferroelastic domain pairs for which compatible domain walls exist. The first five columns concern the domain pair. In subsequent columns, each row splits into two rows describing the orientation of two associated perpendicular equally deformed planes and the symmetry properties of the four domain twins that can be formed from the given domain pair. We explain the meaning of each column in detail.

Table 3.4.3.6| top | pdf |
Ferroelastic domain pairs and twins with compatible walls

[F_1:] symmetry of [{\bf S}_1]; [g_{1j}]: twinning operations; [K_{1j}]: twinning group; Axis: axis of domain pair; Equation: direction of the axis; [\varphi ]: disorientation angle; [{\sf \overline J}_{1j} ]: symmetry of the twin pair; [{\underline t}_{1j}^{\star}]: twinning operation; [{\sf \overline T}_{1j}]: symmetry of the twin and wall, twin law of the twin; Classification: see Table 3.4.4.3[link].

[F_1 ][g_{1j} ][K_{1j}]AxisEquationWall normals[\varphi][{\sf \overline J}_{1j}][\underline t^{\star}_{1j} ][{\sf\overline T}_{1j}]Classification
1 [2^{\star}_z] [2^{\star}_Z] [[B\bar{1}0]] (a)   [[001]] (1) [2^{\star}_z]   1 [{\rm AR}^{\star}]
  [[1B0]_e] [\underline2^{\star}_z] [\underline2^{\star}_z] [\underline2^{\star}_z] SI
1 [m^{\star}_z] [m^{\star}_z] [[B\bar{1}0] ] (a)   [[001]_e ] (1) [{\underline m}^{\star}_z ] [{\underline m}^{\star}_z ] [{\underline m}^{\star}_z ] SI
  [[1B0] ] [m^{\star}_z]   1 [{\rm AR}^{\star}]
[\bar{1}] [m^{\star}_z], [2^{\star}_z] [2^{\star}_z/m^{\star}_z ] [[B\bar{1}0]] (a)   [[001]] (1) [2_z^{\star}/\underline{m}^{\star}_z] [\underline{m}^{\star}_z ] [\underline{m}^{\star}_z ] SR
  [[1B0]] [\underline2^{\star}_z/m^{\star}_z] [\underline2^{\star}_z] [\underline2^{\star}_z] SR
[2_z] [2^{\star}_x], [2^{\star}_y] [2^{\star}_x2^{\star}_y2_z ] [[001]]     [[100] ] (2) [2^{\star}_x\underline2^{\star}_y\underline2_z ] [\underline2^{\star}_y] [\underline2^{\star}_y] SR
    [[010]] [\underline2^{\star}_x2^{\star}_y\underline2_z ] [\underline2^{\star}_x] [\underline2^{\star}_x] SR
[2_z] [m^{\star}_x], [m^{\star}_y] [m^{\star}_xm^{\star}_y2_z ] [[001]]     [[100] ] (2) [\underline{m}^{\star}_xm^{\star}_y\underline2_z ] [\underline{m}^{\star}_x ] [\underline{m}^{\star}_x ] SR
  [[010]] [m^{\star}_x\underline{m}^{\star}_y\underline2_z ] [\underline{m}^{\star}_y ] [\underline{m}^{\star}_y ] SR
[2_z] [4^{\star}_z], [4_z^{3 \star}] [4^{\star}_z] [[001]] (b) [\Bigl[] [[1B0]] (3) [\underline2_z]   1 [{\rm A}\underline {\rm R}]
[[B\bar{1}0] ] [\underline2_z ] 1 [{\rm A}\underline{\rm R}]
[2_z] [\bar4^{\star}_z ], [\bar4_z^{*3}] [\bar{4}^{\star}_z ] [[001]] (b) [\Bigl[] [[1B0]] (3) [\underline2_z ]   1 [{\rm A}\underline{\rm R} ]
[[B\bar{1}0] ] [\underline2_z]   1 [{\rm A}\underline{\rm R} ]
[2_z] [3_z], [6_z^5] [6_{z}] [[001]] (c)   [[1B0]] (4) [\underline2_z]   1 [{\rm A}\underline{\rm R}]
  [[B\bar{1}0]] [\underline2_z]   1 [{\rm A}\underline{\rm R}]
[3_z^2], [6_z] [6_z] [[001]] (c)   [[1B0] ] (4) [\underline2_z]   1 [{\rm A}\underline{\rm R}]
  [[B\bar{1}0] ] [\underline2_z]   1 [{\rm A}\underline{\rm R}]
[2_z ] [\bar3_z^5], [\bar6_z ] [6_{z}/m_z] [[001]] (c)   [[1B0] ] (4) [\underline2_z ]   1 [{\rm A}\underline{\rm R} ]
  [[B\bar{1}0]] [\underline2_z]   1 [{\rm A}\underline{\rm R}]
[\bar3_z], [\bar6_z^5] [6_z/m_z] [[001]] (c)   [[1B0]] (4) [\underline2_z]   1 [{\rm A}\underline{\rm R} ]
  [[B\bar{1}0] ] [\underline2_z]   1 [{\rm A}\underline{\rm R}]
[2_x] [2^{\star}_{xy} ], [4_z] [4_z2_x2_{xy} ] [[\bar{C}C2] ] (d)   [[110] ] (5) [2^{\star}_{xy}]   1 [{\rm AR}^{\star}]
  [[1\bar{1}C]_e] [\underline2^{\star}_{xy} ] [\underline2^{\star}_{xy} ] [\underline2^{\star}_{xy}] SI
[2_x] [m^{\star}_{xy} ], [\bar4_z] [\bar4_z2_xm_{xy} ] [[\bar{C}C2]] (d)   [[110]_e ] (5) [\underline{m}^{\star}_{xy} ] [\underline{m}^{\star}_{xy} ] [\underline{m}^{\star}_{xy}] SI
  [[1\bar{1}C] ] [m^{\star}_{xy}]   [1] [{\rm AR}^{\star}]
[2_x] [2^{\star}_{x{^\prime}} ], [3_z^2] [3_z2_x] [[\sqrt{3}C], C, [\bar4]] (e)   [[\bar1\sqrt{3}0]] (6) [2^{\star}_{x{^\prime}}]   1 [{\rm AR}^{\star}]
  [[\sqrt{3}1C]_e ] [\underline2^{\star}_{x{^\prime}}] [\underline2^{\star}_{x{^\prime}} ] [\underline2^{\star}_{x{^\prime}} ] SI
[2_x] [m^{\star}_{x{^\prime}} ], [\bar3_z^5] [\bar{3}_zm_x ] [[\sqrt{3}C], C, [\bar4]] (e)   [[\bar1\sqrt{3}0]_e ] (6) [\underline{m}^{\star}_{x{^\prime}} ] [\underline{m}^{\star}_{x{^\prime}} ] [\underline{m}^{\star}_{x{^\prime}} ] SI
  [[\sqrt{3}1C] ] [m^{\star}_{x{^\prime}} ]   1 [{\rm AR}^{\star}]
[2_x] [2^{\star}_{y{^\prime}} ], [6_z] [6_z2_x2_y] [[\bar{C}], [\sqrt{3}C], [\bar4]] (f)   [[\sqrt{3}10]] (7) [2^{\star}_{y{^\prime}}]   1 [{\rm AR}^{\star}]
  [[\bar1\sqrt{3}C]_e] [\underline2^{\star}_{y{^\prime}} ] [\underline2^{\star}_{y{^\prime}} ] [\underline2^{\star}_{y{^\prime}} ] SI
[2_x] [m^{\star}_{y{^\prime}} ], [\bar6_z] [\bar{6}_z2_xm_y ] [[\bar{C}], [\sqrt{3}C], [\bar4]] (f)   [[\sqrt{3}10]_e ] (7) [\underline{m}^{\star}_{y{^\prime}}] [\underline{m}^{\star}_{y{^\prime}} ] [\underline{m}^{\star}_{y{^\prime}} ] SI
  [[\bar1\sqrt{3}C] ] [m^{\star}_{y{^\prime}}]   1 [{\rm AR}^{\star}]
[2_{xy}] [m^{\star}_{x} ], [\bar4_z^{3}] [\bar4_zm_x2_{xy} ] [[0C\bar{1}] ] (g)   [[100]_e ] (8) [\underline{m}^{\star}_{x} ] [\underline{m}^{\star}_{x} ] [\underline{m}^{\star}_{x}] SI
  [[01C]] [m^{\star}_{x}]   1 [{\rm AR}^{\star}]
[m_z] [m^{\star}_x], [2^{\star}_y] [m^{\star}_x2^{\star}_ym_z ] [[001]]     [[100]_e] (2) [\underline{m}^{\star}_x\underline2^{\star}_ym_z ] [\underline{m}^{\star}_x ] [\underline{m}^{\star}_x\underline2^{\star}_ym_z ] SI
    [[010]] [m_x^{\star}2_y^{\star}m_z] [m_z] [{\rm AR}^{\star}]
[m_{z}] [4_z], [\bar4_z^3 ] [4_z/m_{z}] [[001]] (b)   [[1B0]_{e0}] (3) [m_z ]   [m_z ] AI
  [[B\bar{1}0]_{0e}] [m_z] [m_z] AI
[4_z^3], [\bar4_z] [4_z/m_z] [[001]] (b)   [[1B0]_{e0}] (3) [m_z]   [m_z] AI
  [[B\bar{1}0]_{0e}] [m_z] [m_z] AI
[m_z] [3_z], [\bar6^5_z ] [\bar6_{z}] [[001]] (c)   [[1B0]_{e0} ] (4) [m_z ]   [m_z] AI
  [[B\bar{1}0]_{0e} ] [m_z]   [m_z ] AI
[3^2_z], [\bar6_z] [\bar6_z] [[001]] (c)   [[1B0]_{e0} ] (4) [m_z]   [m_z] AI
  [[B\bar{1}0]_{0e} ] [m_z]   [m_z ] AI
[m_z] [\bar3_z], [6_z^5 ] [6_{z}/m_z] [[001]] (c)   [[1B0]_{e0}] (4) [m_z]   [m_z] AI
  [[B\bar{1}0]_{0e} ] [m_z]   [m_z] AI
[\bar3_z^5], [6_z] [6_z/m_z] [[001]] (c)   [[1B0]_{e0} ] (4) [m_z]   [m_z ] AI
  [[B\bar{1}0]_{0e} ] [m_z]   [m_z ] AI
[m_x] [m^{\star}_{xy} ], [4_z] [4_zm_xm_{xy} ] [[\bar{C}C2]] (d)   [[110]_e ] (5) [\underline{m}^{\star}_{xy}] [\underline{m}^{\star}_{xy}] [\underline{m}^{\star}_{xy}] SI
  [[1\bar{1}C]] [m^{\star}_{xy}]   1 [{\rm AR}^{\star}]
[m_x] [2^{\star}_{xy} ], [\bar4_z] [\bar{4}_zm_x2_{xy} ] [[\bar{C}C2]] (d)   [[110] ] (5) [2^{\star}_{xy}]   1 [{\rm AR}^{\star}]
  [[1\bar{1}C]_e] [\underline2^{\star}_{xy}] [\underline2^{\star}_{xy}] [\underline2^{\star}_{xy}] SI
[m_x] [m^{\star}_{x{^\prime}} ], [3_z^2] [3_zm_x] [[\sqrt{3}C], C, [\bar4]] (e)   [[\bar1\sqrt{3}0]_e ] (6) [\underline{m}^{\star}_{x{^\prime}}] [\underline{m}^{\star}_{x{^\prime}} ] [\underline{m}^{\star}_{x{^\prime}} ] SI
  [[\sqrt{3}1C] ] [m^{\star}_{x{^\prime}}]   [1] [{\rm AR}^{\star}]
[m_x] [2^{\star}_{x{^\prime}} ], [\bar3_z^5] [\bar3_zm_x] [[\sqrt{3}C], C, [\bar4]] (e)   [[\bar1\sqrt{3}0] ] (6) [2^{\star}_{x{^\prime}}]   [1] [{\rm AR}^{\star}]
  [[\sqrt{3}1C]_e] [\underline2^{\star}_{x{^\prime}}] [\underline2^{\star}_{x{^\prime}}] [\underline2^{\star}_{x{^\prime}}] SI
[m_x] [m^{\star}_{y{^\prime}} ], [6_z] [6_zm_xm_y] [[\bar{C}], [\sqrt{3}C], [\bar4]] (f)   [[\sqrt{3}10]_e] (7) [\underline{m}^{\star}_{y{^\prime}} ] [\underline{m}^{\star}_{y{^\prime}} ] [\underline{m}^{\star}_{y{^\prime}} ] SI
  [[\bar1\sqrt{3}C] ] [m^{\star}_{y{^\prime}}]   [1] [{\rm AR}^{\star}]
[m_x] [2^{\star}_{y{^\prime}} ], [\bar6_z] [\bar{6}_zm_x2_y ] [[\bar{C}], [\sqrt{3}C], [\bar4]] (f)   [[\sqrt{3}10] ] (7) [2^{\star}_{y{^\prime}}]   [1] [{\rm AR}^{\star}]
  [[\bar1\sqrt{3}C]_e ] [\underline2^{\star}_{y{^\prime}} ] [\underline2^{\star}_{y{^\prime}}] [\underline2^{\star}_{y{^\prime}} ] SI
[m_{xy}] [2^{\star}_{x} ], [\bar4^3_z] [\bar{4}_z2_xm_{xy} ] [[0C\bar{1}]] (g)   [[100]] (8) [2^{\star}_{x}]   [1] [{\rm AR}^{\star}]
  [[01C]_e] [\underline2^{\star}_{xy}] [\underline2^{\star}_{x}] [\underline2^{\star}_{x}] SI
[2_z/m_z] [m^{\star}_x], [m^{\star}_y] [m^{\star}_xm^{\star}_ym_z ] [[001] ]     [[100]] (2) [\underline{m}^{\star}_xm^{\star}_ym_z ] [\underline{m}^{\star}_x] [\underline{m}^{\star}_x\underline2^{\star}_ym_z ] SR
    [[010]] [m^{\star}_x\underline{m}^{\star}_ym_z ] [\underline{m}^{\star}_y] [\underline2^{\star}_x\underline{m}^{\star}_ym_z ] SR
[2_z/m_z] [4^{\star}_z], [4^{3 \star}_z] [4^{\star}_z/m_z ] [[001]] (b) [\Bigl[] [[1B0]] (3) [\underline2_z/m_z]   [m_z] [{\rm A}\underline {\rm R}]
[[B\bar{1}0]] [\underline2_z/m_z] [m_z] [{\rm A}\underline {\rm R}]
[2_z/m_z] [3_z], [6_z^5] [6_{z}/m_z] [[001]] (c)   [[1B0]] (4) [\underline2_z/m_z]   [m_z ] [{\rm A}\underline {\rm R}]
  [[B\bar{1}0] ] [\underline2_z/m_z]   [m_z] [{\rm A}\underline {\rm R}]
[3_z^2], [6_z] [6_z/m_z ] [[001]] (c)   [[1B0] ] (4) [\underline2_z/m_z]   [m_z] [{\rm A}\underline {\rm R}]
  [[B\bar{1}0] ] [\underline2_z/m_z]   [m_z] [{\rm A}\underline {\rm R}]
[2_x/m_x] [m^{\star}_{xy} ], [4_z] [4_z/m_zm_xm_{xy} ] [[\bar{C}C2]] (d)   [[110]] (5) [2^{\star}_{xy}/\underline{m}^{\star}_{xy} ] [\underline{m}^{\star}_{xy}] [\underline{m}^{\star}_{xy}] SR
  [[1\bar{1}C]] [\underline2^{\star}_{xy}/m^{\star}_{xy} ] [\underline2^{\star}_{xy}] [\underline2^{\star}_{xy}] SR
[2_x/m_x] [m^{\star}_{x{^\prime}} ], [3_z^2] [\bar{3}_zm_x ] [[\sqrt{3}CC\bar4] ] (e)   [[\bar1\sqrt{3}0]] (6) [2^{\star}_{x{^\prime}}/\underline{m}^{\star}_{x{^\prime}} ] [\underline{m}^{\star}_{x{^\prime}}] [\underline{m}^{\star}_{x{^\prime}}] SR
  [[\sqrt{3}1C]] [\underline2^{\star}_{x{^\prime}}/m^{\star}_{x{^\prime}} ] [\underline2^{\star}_{x{^\prime}} ] [\underline2^{\star}_{x{^\prime}} ] SR
[2_x/m_x] [m^{\star}_{y{^\prime}} ], [6_z] [6_z/m_zm_xm_y ] [[\bar{C}], [\sqrt{3}C], [\bar4]] (f)   [[\sqrt{3}10] ] (7) [2^{\star}_{y{^\prime}}/\underline{m}^{\star}_{y{^\prime}} ] [\underline{m}^{\star}_{y{^\prime}}] [\underline{m}^{\star}_{y{^\prime}}] SR
  [[\bar1\sqrt{3}C]] [\underline2^{\star}_{y{^\prime}}/m^{\star}_{y{^\prime}} ] [\underline2^{\star}_{y{^\prime}} ] [\underline2^{\star}_{y{^\prime}} ] SR
[2_x2_y2_z] [2^{\star}_{x\bar{y}} ], [2^{\star}_{xy}] [4^{\star}_z2_x2^{\star}_{xy} ] [[001]]   [\Bigl[] [[110]] (10) [2^{\star}_{xy}\underline2^{\star}_{x\bar{y}}\underline2_z ] [\underline2^{\star}_{x\bar{y}}] [\underline2^{\star}_{x\bar{y}}] SR
  [[1\bar10]] [\underline2^{\star}_{xy}2^{\star}_{x\bar{y}}\underline2_z ] [\underline2^{\star}_{xy}] [\underline2^{\star}_{xy}] SR
[2_x2_y2_z] [m^{\star}_{x\bar{y}} ], [m^{\star}_{xy}] [\bar{4}^{\star}_z2_xm^{\star}_{xy} ] [[001]]   [\Bigl[] [[110]] (10) [\underline{m}^{\star}_{xy}m^{\star}_{x\bar{y}}\underline2_z ] [\underline{m}^{\star}_{xy} ] [\underline{m}^{\star}_{xy}] SR
  [[1\bar10]] [m^{\star}_{xy}\underline{m}^{\star}_{x\bar{y}}\underline2_z ] [\underline{m}^{\star}_{x\bar{y}} ] [\underline{m}^{\star}_{x\bar{y}} ] SR
[2_x2_y2_z] [2^{\star}_{x{^\prime}} ], [2^{\star}_{y{^\prime}}] [6_z2_x2_y] [[001]]     [[\bar1\sqrt{3}0] ] (9) [2^{\star}_{x{^\prime}}\underline2^{\star}_{y{^\prime}}\underline2_z ] [\underline2^{\star}_{y{^\prime}}] [\underline2^{\star}_{y{^\prime}} ] SR
    [[\sqrt{3}10]] [\underline2^{\star}_{x{^\prime}}2^{\star}_{y{^\prime}}\underline2_z ] [\underline2^{\star}_{x{^\prime}}] [\underline2^{\star}_{x{^\prime}} ] SR
[2_x2_y2_z] [m^{\star}_{x{^\prime}} ], [m^{\star}_{y{^\prime}}] [6_z/m_zm_xm_y ] [[001]]     [[\bar1\sqrt{3}0]] (9) [\underline{m}^{\star}_{x{^\prime}}m^{\star}_{y{^\prime}}\underline2_z ] [\underline{m}^{\star}_{x{^\prime}} ] [\underline{m}^{\star}_{x{^\prime}}] SR
    [[\sqrt{3}10]] [{m}^{\star}_{x{^\prime}}\underline{m}^{\star}_{y{^\prime}}\underline2_z ] [\underline{m}^{\star}_{y{^\prime}} ] [\underline{m}^{\star}_{y{^\prime}}] SR
[2_{x\bar{y}}2_{xy}2_z ] [m^{\star}_{x} ], [m^{\star}_{y}] [{\bar 4}_z^\star m_x^\star 2_{xy} ] [[001]]   [\Bigl[] [[100]] (12) [\underline{m}^{\star}_{x}m^{\star}_{y}\underline2_z ] [\underline{m}^{\star}_{x} ] [\underline{m}^{\star}_{x}] SR
  [[010]] [m^{\star}_{x}\underline{m}^{\star}_{y}\underline2_z ] [\underline{m}^{\star}_{y} ] [\underline{m}^{\star}_{y}] SR
[2_{x\bar{y}}2_{xy}2_z ] [2^{\star}_{xz} ], [4_y] [4_z3_{p}2_{xy} ] [[B2\bar{B}]] (h)   [[101]] (11) [2^{\star}_{xz}]   1 [{\rm AR}^{\star}]
  [[\bar{1}B1]] [\underline2^{\star}_{xz}] [\underline2^{\star}_{xz}] [\underline2^{\star}_{xz}] SI
[2_{x\bar{y}}2_{xy}2_z ] [m_{xz}^{\star} ], [\bar4_y] [m_z\bar{3}_{p}m_{xy} ] [[B2\bar{B}]] (h)   [[101]] (11) [\underline{m}_{xz}^{\star}] [\underline{m}_{xz}^{\star}] [\underline{m}_{xz}^{\star}] SI
  [[\bar{1}B1] ] [m_{xz}^{\star}]   1 [{\rm AR}^{\star}]
[m_xm_y2_z] [m^{\star}_{x\bar{y}} ], [m^{\star}_{xy}] [4^{\star}_zm_xm^{\star}_{xy} ] [[001]]   [\Bigl[] [[110]] (10) [m^{\star}_{x\bar{y}}\underline{m}^{\star}_{xy}\underline2_z ] [\underline{m}^{\star}_{xy} ] [\underline{m}^{\star}_{xy}] SR
  [[1\bar10]] [\underline{m}^{\star}_{x\bar{y}}{m}^{\star}_{xy}\underline2_z ] [\underline{m}^{\star}_{x\bar{y}} ] [\underline{m}^{\star}_{x\bar{y}} ] SR
[m_xm_y2_z] [2^{\star}_{x\bar{y}} ], [2^{\star}_{xy}] [\bar{4}^{\star}_zm_x2^{\star}_{xy} ] [[001]]   [\Bigl[] [{[110]}] (10) [2^{\star}_{xy}\underline2^{\star}_{x\bar{y}}\underline2_z ] [\underline2^{\star}_{x\bar{y}} ] [\underline2^{\star}_{x\bar{y}} ] SR
  [[1\bar10]] [\underline2^{\star}_{xy}2^{\star}_{x\bar{y}}\underline2_z ] [\underline2^{\star}_{xy}] [\underline2^{\star}_{xy} ] SR
[m_xm_y2_z] [m^{\star}_{x{^\prime}} ], [m^{\star}_{y{^\prime}}] [6_zm_xm_y] [[001]]     [[\bar1\sqrt{3}0] ] (9) [\underline{m}^{\star}_{x{^\prime}}m^{\star}_{y{^\prime}}\underline2_z ] [\underline{m}^{\star}_{x{^\prime}} ] [\underline{m}^{\star}_{x{^\prime}} ] SR
    [[\sqrt{3}10] ] [{m}^{\star}_{x{^\prime}}\underline{m}^{\star}_{y{^\prime}}\underline2_z ] [\underline{m}^{\star}_{y{^\prime}} ] [\underline{m}^{\star}_{y{^\prime}} ] SR
[m_xm_y2_z] [2^{\star}_{x{^\prime}} ], [2^{\star}_{y{^\prime}}] [6_z/m_zm_xm_y ] [[001]]     [[\bar1\sqrt{3}0] ] (9) [2^{\star}_{x{^\prime}}\underline2^{\star}_{y{^\prime}}\underline2_z ] [\underline2^{\star}_{y{^\prime}} ] [\underline2^{\star}_{y{^\prime}}] SR
    [[\sqrt{3}10] ] [\underline2^{\star}_{x{^\prime}}2^{\star}_{y{^\prime}}\underline2_z ] [\underline2^{\star}_{x{^\prime}} ] [\underline2^{\star}_{x{^\prime}} ] SR
[m_x2_ym_z] [m^{\star}_{x{^\prime}} ], [2^{\star}_{y{^\prime}}] [\bar{6}_zm_x2_y ] [[001]]     [[\bar1\sqrt{3}0]_e ] (9) [\underline{m}^{\star}_{x{^\prime}}\underline2^{\star}_{y{^\prime}}m_z ] [\underline{m}^{\star}_{x{^\prime}} ] [\underline{m}^{\star}_{x{^\prime}}\underline2^{\star}_{y{^\prime}}m_z ] SI
    [[\sqrt{3}10] ] [{m}^{\star}_{x{^\prime}}2^{\star}_{y{^\prime}}m_z ]   [m_z] [{\rm AR}^{\star}]
[2_xm_ym_z] [m^{\star}_{x\bar{y}} ], [2^{\star}_{xy}] [4_z/m_zm_xm_{xy} ] [[001]]     [[110] ] (10) [2^{\star}_{xy}m^{\star}_{x\bar{y}}m_z ]   [m_z] [{\rm AR}^{\star}]
  [[1\bar10]_e] [\underline2^{\star}_{xy}\underline{m}^{\star}_{x\bar{y}}m_z ] [\underline{m}^{\star}_{x\bar{y}} ] [\underline2^{\star}_{xy}\underline{m}^{\star}_{x\bar{y}}m_z ] SI
[2_xm_ym_z] [m^{\star}_{y{^\prime}} ], [2^{\star}_{x{^\prime}}] [\bar{6}_z2_xm_y ] [[001]]     [[\bar1\sqrt{3}0] ] (9) [2^{\star}_{x{^\prime}}m^{\star}_{y{^\prime}}m_z ]   [m_z] [{\rm AR}^{\star}]
    [[\sqrt{3}10]_e ]   [\underline{2}^{\star}_{x{^\prime}}\underline{m}^{\star}_{y{^\prime}}m_z ] [\underline{m}_{y{^\prime}} ] [\underline{2}^{\star}_{x{^\prime}}\underline{m}^{\star}_{y{^\prime}}m_z ] SI
[2_xm_ym_z] [m^{\star}_{x{^\prime}} ], [2^{\star}_{y{^\prime}}] [6_z/m_zm_xm_y ] [[001]]     [[\bar1\sqrt{3}0]_e] (9) [\underline{m}^{\star}_{x{^\prime}}\underline2^{\star}_{y{^\prime}}m_z ] [\underline{m}^{\star}_{x{^\prime}} ] [\underline{m}^{\star}_{x{^\prime}}\underline2^{\star}_{y{^\prime}}m_z ] SI
    [[\sqrt{3}10] ] [m^{\star}_{x{^\prime}}2^{\star}_{y{^\prime}}m_z ]   [m_z] [{\rm AR}^{\star}]
[m_{x\bar{y}}m_{xy}2_z] [2^{\star}_{x}], [2^{\star}_{y} ] [\bar{4}^{\star}_z2^{\star}_xm_{xy}] [[001]]   [\Bigl[] [[100] ] (12) [2^{\star}_{x}\underline2^{\star}_{y}\underline2_z ] [\underline2^{\star}_{y}] [\underline2^{\star}_{y}] SR
          [[010]]   [\underline2^{\star}_{x}2^{\star}_{y}\underline2_z ] [\underline2^{\star}_{x} ] [\underline2^{\star}_{x}] SR
[m_{x\bar{y}}m_{xy}2_z ] [m^{\star}_{xz} ], [\bar4_y] [\bar{4}_z3_{p}m_{xy} ] [[B2\bar{B}]] (h)   [[101]_e] (11) [\underline{m}^{\star}_{xz}] [\underline{m}^{\star}_{xz}] [\underline{m}^{\star}_{xz}] SI
  [[\bar{1}B1] ]   [m^{\star}_{xz}]   1 [{\rm AR}^{\star}]
[m_{x\bar{y}}m_{xy}2_z ] [2^{\star}_{xz} ], [4_y] [m_z\bar{3}_{p}m_{xy} ] [[B2\bar{B}]] (h)   [[101] ] (11) [2^{\star}_{xz}]   1 [{\rm AR}^{\star}]
  [[\bar{1}B1]_e] [\underline2^{\star}_{xz}] [\underline2^{\star}_{xz}] [\underline2^{\star}_{xz} ] SI
[m_{x\bar{y}}2_{xy}m_z ] [m^{\star}_{xz} ], [4_y] [m_z\bar{3}_{p}m_{xy}(m^{\star}_{xz}) ] [[B2\bar{B}]] (h)   [[101]_e] (11) [\underline{m}^{\star}_{xz}] [\underline{m}^{\star}_{xz}] [\underline{m}^{\star}_{xz}] SI
  [[\bar{1}B1] ] [m^{\star}_{xz}]   [1] [{\rm AR}^{\star}]
[m_{x\bar{y}}2_{xy}m_z ] [2^{\star}_{xz} ], [\bar4_y] [m_z\bar{3}_{p}m_{xy}(2^{\star}_{xz}) ] [[B2\bar{B}]] (h)   [[101]] (11) [2^{\star}_{xz}]   1 [{\rm AR}^{\star}]
  [[\bar{1}B1]_e ] [\underline2^{\star}_{xz}] [\underline2^{\star}_{xz}] [\underline2^{\star}_{xz}] SI
[m_xm_ym_z] [m^{\star}_{xy} ], [m^{\star}_{x\bar{y}}] [4^{\star}_z/m_zm_xm^{\star}_{xy} ] [[001]]   [\Bigl[] [[110]] (10) [m^{\star}_{x\bar{y}}\underline{m}^{\star}_{xy}m_z ] [\underline{m}^{\star}_{xy} ] [\underline2^{\star}_{x\bar{y}}\underline{m}^{\star}_{xy}m_z ] SR
  [[1\bar10]] [\underline{m}^{\star}_{x\bar{y}}{m}^{\star}_{xy}m_z ] [\underline{m}^{\star}_{x\bar{y}} ] [\underline{m}^{\star}_{x\bar{y}}\underline{2}^{\star}_{xy}m_z ] SR
[m_xm_ym_z] [m^{\star}_{x{^\prime}} ], [m^{\star}_{y{^\prime}}] [6_z/m_zm_xm_y ] [[001]]     [[\bar1\sqrt{3}0] ] (9) [\underline{m}^{\star}_{x{^\prime}}m^{\star}_{y{^\prime}}m_z ] [\underline{m}^{\star}_{x{^\prime}}] [\underline{m}^{\star}_{x{^\prime}}\underline2^{\star}_{y{^\prime}}m_z ] SR
    [[\sqrt{3}10] ] [m^{\star}_{x'}\underline{m}^{\star}_{y'}m_z ] [\underline{m}^{\star}_{y'}] [\underline{2}^{\star}_{x'}\underline{m}^{\star}_{y'}m_z ] SR
[m_{xy}m_{\bar{x}y}m_z ] [m^{\star}_{xz} ], [4_y] [m_z\bar{3}_{p}m_{xy} ] [[B2\bar{B}]] (h)   [[101]] (11) [2^{\star}_{xz}/\underline{m}^{\star}_{xz} ] [\underline{m}^{\star}_{xz}] [\underline{m}^{\star}_{xz}] SR
  [[\bar{1}B1]] [\underline2^{\star}_{xz}/m^{\star}_{xz} ] [\underline2^{\star}_{xz}] [\underline2^{\star}_{xz} ] SR
[4_z] [2^{\star}_{xz} ], [4_y] [4_z3_{p}2_{xy} ] [[010]]     [[101]] (13) [2^{\star}_{xz}]   1 [{\rm AR}^{\star}]
    [[\bar101]_e ] [\underline2^{\star}_{xz}] [\underline2^{\star}_{xz}] [\underline2^{\star}_{xz}] SI
[4_z] [m^{\star}_{xz} ], [\bar{4}_y] [m_z\bar{3}_{p}m_{xy} ] [[010]]     [[101]_e] (13) [\underline{m}^{\star}_{xz}] [\underline{m}^{\star}_{xz}] [\underline{m}^{\star}_{xz}] SI
    [[\bar101]] [m^{\star}_{xz}]   [1] [{\rm AR}^{\star}]
[\bar{4}_z] [m^{\star}_{xz} ], [\bar4_y] [\bar{4}_z3_{p}m_{xy} ] [[010]]     [[101]] (13) [\underline{m}^{\star}_{xz}] [\underline{m}^{\star}_{xz}] [\underline{m}^{\star}_{xz}] SI
    [[\bar101]] [m^{\star}_{xz}]   [1] [{\rm AR}^{\star}]
[\bar{4}_z] [2^{\star}_{xz} ], [4_y] [m_z\bar{3}_{p}m_{xy} ] [[010]]     [[101] ] (13) [2^{\star}_{xz}]   [1] [{\rm AR}^{\star}]
    [[\bar101]_e ] [\underline2_{xz}^{\star}] [\underline2_{xz}^{\star}] [\underline2_{xz}^{\star}] SI
[4_z/m_z] [m^{\star}_{xz} ], [4_y] [m_z\bar{3}_{p}m_{xy} ] [[010]]     [[101]] (13) [2^{\star}_{xz}/\underline{m}^{\star}_{xz} ] [\underline{m}^{\star}_{xz}] [\underline{m}^{\star}_{xz}] SR
    [[\bar101]] [\underline2^{\star}_{xz}/m^{\star}_{xz} ] [\underline2^{\star}_{xz}] [\underline2^{\star}_{xz}] SR
[4_z2_x2_{xy} ] [2^{\star}_{xz} ], [2^{\star}_{x\bar{z}}] [4_z3_{p}2_{xy} ] [[010]]   [\Bigl[] [[101]] (13) [2^{\star}_{xz}\underline2^{\star}_{x\bar{z}}\underline2_{y} ] [\underline2^{\star}_{\bar{x}z} ] [\underline2^{\star}_{\bar{x}z} ] SR
  [[\bar101]] [\underline2^{\star}_{xz}2^{\star}_{x\bar{z}}\underline2_y ] [\underline2^{\star}_{xz} ] [\underline2^{\star}_{xz} ] SR
[4_z2_x2_{xy} ] [m^{\star}_{xz} ], [m^{\star}_{x\bar{z}}] [m_z\bar{3}_{p}m_{xy} ] [[010]]   [\Bigl[] [[101] ] (13) [\underline{m}^{\star}_{xz}m^{\star}_{x\bar{z}}\underline2_y ] [\underline{m}^{\star}_{xz}] [\underline{m}^{\star}_{xz}] SR
  [[\bar101]] [m^{\star}_{xz}\underline{m}^{\star}_{x\bar{z}}\underline2_y ] [\underline{m}^{\star}_{x\bar{z}}] [\underline{m}^{\star}_{x\bar{z}}] SR
[4_zm_xm_{xy} ] [m^{\star}_{x\bar{z}} ], [2^{\star}_{xz}] [m_z\bar{3}_{p}m_{xy} ] [[010]]     [[101]] (13) [2^{\star}_{xz}m^{\star}_{x\bar{z}}m_y ]   [m_y ] [{\rm AR}^{\star}]
    [[\bar101]_e ] [\underline2^{\star}_{xz}\underline{m}^{\star}_{x\bar{z}}m_y ] [\underline2^{\star}_{xz}] [\underline2^{\star}_{xz}\underline{m}^{\star}_{x\bar{z}}m_y ] SI
[\bar{4}_z2_xm_{xy} ] [m^{\star}_{xz} ], [m^{\star}_{x\bar{z}}] [\bar{4}_z3_{p}m_{xy} ] [[010]]   [\Bigl[] [[101]] (13) [\underline{m}^{\star}_{xz}m^{\star}_{x\bar{z}}\underline2_y ] [\underline{m}^{\star}_{xz}] [\underline{m}^{\star}_{xz}] SR
  [[\bar101]] [m^{\star}_{xz}\underline{m}^{\star}_{x\bar{z}}\underline2_y ] [\underline{m}^{\star}_{x\bar{z}} ] [\underline{m}^{\star}_{x\bar{z}} ] SR
[\bar{4}_zm_x2_{xy} ] [m_{x\bar{z}}^{\star} ], [2_{xz}^{\star}] [m_z\bar{3}_{p}m_{xy} ] [[010]]     [[101]] (13) [2^{\star}_{xz}m^{\star}_{x\bar{z}}m_y ]   [m_y] [{\rm AR}^{\star}]
    [[\bar101]] [\underline2^{\star}_{xz}\underline{m}^{\star}_{x\bar{z}}m_y ] [\underline{m}^{\star}_{x\bar{z}}] [\underline2^{\star}_{xz}\underline{m}^{\star}_{x\bar{z}}m_y ] SR
[\bar{4}_z2_xm_{xy} ] [2^{\star}_{xz} ], [2^{\star}_{x\bar{z}}] [m_z\bar{3}_{p}m_{xy} ] [[010]]     [[101]] (13) [2^{\star}_{xz}2^{\star}_{x\bar{z}}2_y ] [\underline2^{\star}_{x\bar{z}}] [\underline2^{\star}_{x\bar{z}}] SR
    [[\bar101] ] [\underline2^{\star}_{xz}\underline{2}^{\star}_{x\bar{z}}2_y ] [\underline{2}^{\star}_{x\bar{z}} ] [\underline2^{\star}_{xz}\underline{2}^{\star}_{x\bar{z}}2_y ] SI
[4_z/m_zm_xm_{xy} ] [m^{\star}_{xz} ], [m^{\star}_{\bar{x}z}] [m_z\bar{3}_{p}m_{xy} ] [[010]]   [\Bigl[] [[101]] (13) [\underline{m}^{\star}_{xz}m^{\star}_{\bar{x}z}m_y ] [\underline{m}^{\star}_{xz} ] [\underline{m}^{\star}_{xz}\underline{2}^{\star}_{\bar{x}z}m_y ] SR
  [[\bar101]] [m^{\star}_{xz}\underline{m}^{\star}_{x\bar{z}}m_y ] [\underline{m}^{\star}_{x\bar{z}} ] [\underline2^{\star}_{xz}\underline{m}^{\star}_{x\bar{z}}m_y ] SR
[3_{p}] [2^{\star}_{x} ], [3_r] [2_z 3_{p}] [[01\bar1]]     [[100]] (14) [2^{\star}_x]   [1] [{\rm AR}^{\star}]
    [[011]_e] [\underline2^{\star}_x] [\underline2^{\star}_x] [\underline2^{\star}_x] SI
[3_{p}] [m^{\star}_{x} ], [\bar3_r] [m_z \bar3_{p} ] [[01\bar1]]     [[100]_e] (14) [\underline{m}^{\star}_x ] [\underline{m}^{\star}_x ] [\underline{m}^{\star}_x ] SI
    [[011] ] [m^{\star}_x ]   [1] [{\rm AR}^{\star}]
[3_{p}] [2^{\star}_{xy} ], [4_y] [4_z 3_{p} 2_{xy} ] [[1\bar10]]     [[001]_e] (14) [\underline2^{\star}_{xy}] [\underline2^{\star}_{xy}] [\underline2^{\star}_{xy}] SI
    [[110]] [2^{\star}_{xy}]   [1] [{\rm AR}^{\star}]
[3_{p}] [m^{\star}_{xy} ], [\bar4_y] [\bar4_z3_{p}m_{xy} ] [[1\bar10]]     [[001]] (14) [m^{\star}_{xy}]   [1] [{\rm AR}^{\star}]
    [[110]_e] [\underline{m}^{\star}_{xy}] [\underline{m}^{\star}_{xy}] [\underline{m}^{\star}_{xy}] SI
[\bar3_{p}] [m^{\star}_{x} ], [3_r] [m_z\bar3_{p} ] [[01\bar1]]     [[100]] (14) [2^{\star}_x/\underline{m}^{\star}_x ] [\underline{m}^{\star}_x ] [\underline{m}^{\star}_x ] SR
    [[011]] [\underline2^{\star}_x/m^{\star}_x] [\underline2^{\star}_x ] [\underline2^{\star}_x] SR
[\bar3_{p}] [m^{\star}_{xy} ], [4_y] [m_z\bar3_{p}m_{xy} ] [[1\bar10]]     [[001]] (14) [\underline2^{\star}_{xy}/m^{\star}_{xy} ] [\underline2^{\star}_{xy}] [\underline2^{\star}_{xy}] SR
    [[110]] [2^{\star}_{xy}/\underline{m}^{\star}_{xy} ] [\underline{m}^{\star}_{xy}] [\underline{m}^{\star}_{xy}] SR
[3_{p} 2_{x\bar{y}} ] [2^{\star}_{x} ], [2^{\star}_{yz}] [4_z3_{p} 2_{xy} ] [[01\bar1]]     [[100]] (14) [2^{\star}_x\underline2^{\star}_{yz}\underline2_{y\bar{z}} ] [\underline2^{\star}_{yz} ] [\underline2^{\star}_{yz} ] SR
    [[011]] [\underline2^{\star}_x2^{\star}_{yz}\underline2_{y\bar{z}} ] [\underline2^{\star}_x] [\underline2^{\star}_x] SR
[3_{p} 2_{x\bar{y}} ] [m^{\star}_{x} ], [m^{\star}_{yz}] [m_z\bar3_{p}m_{xy} ] [[01\bar1]]     [[100]] (14) [\underline{m}^{\star}_xm_{yz}^{\star}\underline2_{y\bar{z}} ] [\underline{m}^{\star}_x ] [\underline{m}^{\star}_x ] SR
    [[011]] [m^{\star}_x\underline{m}^{\star}_{yz}\underline2_{y\bar{z}} ] [\underline{m}^{\star}_{yz}] [\underline{m}^{\star}_{yz}] SR
[3_{p} m_{x\bar{y}} ] [2^{\star}_{x} ], [m^{\star}_{yz}] [\bar4_z3_{p}m_{xy} ] [[01\bar1]]     [[100] ] (14) [m^{\star}_{yz}m_{y\bar{z}}2^{\star}_x ]   [m_{y\bar{z}}] [{\rm AR}^{\star}]
    [[011]_e] [\underline{m}_{yz}m_{y\bar{z}}\underline2^{\star}_x ] [\underline{m}_{yz} ] [\underline{m}_{yz}m_{y\bar{z}}\underline2^{\star}_x ] SI
[3_{p} m_{x\bar{y}} ] [m^{\star}_x], [2^{\star}_{yz}] [m_z\bar3_{p}m_{xy} ] [[01\bar1]]     [[100]_e] (14) [\underline{m}^{\star}_x\underline2^{\star}_{yz}m_{y\bar{z}} ] [\underline{m}^{\star}_x ] [\underline{m}^{\star}_x\underline2^{\star}_{yz}m_{y\bar{z}} ] SI
    [[011]] [m^{\star}_x2^{\star}_{yz}m_{y\bar{z}} ]   [m_{y\bar{z}}] [{\rm AR}^{\star}]
[\bar3_{p}m_{x\bar{y}}] [m^{\star}_x], [m^{\star}_{yz} ] [m_z \bar3_{p}m_{xy}] [[01\bar1]]     [[100]] (14) [\underline{m}^{\star}_xm^{\star}_{yz}m_{y\bar{z}} ] [\underline{m}^{\star}_x] [\underline{m}^{\star}_x\underline2^{\star}_{yz}m_{y\bar{z}} ] SR
    [[011]] [m^{\star}_x\underline{m}^{\star}_{yz}m_{y\bar{z}} ] [\underline{m}^{\star}_{yz}] [\underline2^{\star}_x\underline{m}^{\star}_{yz}m_{y\bar{z}} ] SR
Equations for directions of axes and shear angle [\varphi]:[\matrix{\pmatrix{a &f &e \cr f &b &d \cr e &d &c \cr}\quad\quad\quad\quad\quad\quad\quad\quad\quad\hfill& \pmatrix{a & d & 0 \cr d & b & 0 \cr 0 & 0 & c \cr}\hfill& \pmatrix{a & 0 & 0 \cr 0 & b & d \cr 0 & d & c \cr}\hfill\cr (a)\quad [001]\quad[1 {{\displaystyle d}\over{\displaystyle e}} 0]\hfill & (b)\quad [\bar1 \alpha 0]\quad [\alpha10]\hfill & (d)\quad[110] \quad [1\bar1 {{\displaystyle 2d}\over{\displaystyle a-b}}]\hfill\cr &\alpha={{\displaystyle 2d+\sqrt{(a-b)^2+4d^2}}\over{\displaystyle a-b}}\hfill& (e)\quad[\bar1\sqrt30]\quad [\sqrt31{{\displaystyle 4d}\over{\displaystyle b-a}}]\hfill\cr & (c)\quad[\bar1 \beta 0] \quad [\beta 10]\hfill& (f)\quad[\sqrt310]\quad [\bar1\sqrt3{{\displaystyle 4\sqrt3}\over{\displaystyle 3(a-b)}}]\hfill\cr & \beta={{\displaystyle(a-b)+2\sqrt{3}d+4\sqrt{(a-b)^2+4d^2}}\over{\displaystyle \sqrt3(a-b)-2d}}\hfill &\cr&&&\cr(1)\quad 2 \sqrt{d^2+e^2}\hfill & (2)\quad 2|d|\hfill & (5)\quad \sqrt{(a-b)^2+2d^2}\hfill\cr &(3)\quad {{1}\over{2}}\sqrt{(a-b)^2+4d^2}\hfill &(6)\quad {{\sqrt3}\over{2}}\sqrt{(a-b)^2+4d^2}\hfill\cr &(4)\quad {{\sqrt3}\over{2}}\sqrt{(a-b)^2+4d^2}\hfill & (7)\quad 2|d|\hfill\cr &&&\cr &&&\cr\pmatrix{a & b & -d \cr b & a & d \cr -d & d & c \cr}\hfill & \pmatrix{a & 0 & 0 \cr 0 & b & 0 \cr 0 & 0 & c \cr}\hfill & \pmatrix{a & d & 0 \cr d & a & 0 \cr 0 & 0 & c \cr}\hfill\cr (g)\quad[100]\quad[0\bar1 {{\displaystyle d}\over{\displaystyle b}}]\hfill & &(h)\quad[101]\quad[\bar1 {{\displaystyle 2d}\over{\displaystyle c-d}}1]\hfill\cr &&&\cr (8)\quad 2\sqrt{a^2+b^2}\hfill & (9)\quad {{\sqrt3}\over{2}} |a-b|\hfill & (11)\quad \sqrt{(a-c)^2+2d^2}\hfill\cr &(10)\quad|a-b|\hfill &(12)\quad 2|d|\hfill\cr &&&\cr &&&\cr\pmatrix{a & 0 & 0 \cr 0 & a & 0 \cr 0 & 0 & c \cr}\hfill&\pmatrix{a & d & d \cr d & a & d \cr d & d & a \cr}\hfill &\cr(13)\quad |a-c|\hfill & (14)\quad 2\sqrt2 |d|\hfill &\cr} ]

The first three columns specify domain pairs.

  • [F_1]: point-group symmetry (stabilizerin [K_{1j}]) of the first domain state [{\bf S}_1] in a single-domain orientation.

  • [g_{1j}]: switching operations (if available) that specify the domain pair [({\bf S}_1,{\bf S}_j =g_{1j}{\bf S}_1)]. Subscripts [x,y,z] specify the orientation of the symmetry operations in the Cartesian coordinate system of [K_{1j}]. Subscripts [x^\prime, y^\prime ] and [x^{\prime\prime}, y^{\prime\prime}] denote a Cartesian coordinate system rotated about the z axis through 120 and 240°, respectively, from the Cartesian coordinate axes x and y. Diagonal directions are abbreviated: [p=[111]], [q=[\bar 1\bar 11] ], [r=[1\bar 1\bar 1]], [s=[\bar 1 1 \bar 1]]. Where possible, reflections and 180° rotations are chosen such that the two perpendicular permissible walls have crystallographic orientations.

  • [K_{1j}]: twinning group of the domain pair [({\bf S}_1,{\bf S}_j)]. For the pair with [F_1=m_{x\bar y}2_{xy}m_{z} ] and [K=m\bar3 m], where the twinning group does not specify the domain pair unambiguously, we add after [K_{1j}] in parentheses a switching operation [2^{\star}_{xz}] or [m^{\star}_{xz}] that defines the domain pair.

  • Axis: axis of ferroelastic domain pair around which single-domain states must be rotated to establish a contact along a compatible domain wall. This axis is parallel to the intersection of the two compatible domain walls given in the column Wall normals and its direction [{\bf h}] is defined by a vector product [{\bf h}={\bf n}_1 \times {\bf n}_2 ] of normal vectors [{\bf n}_1] and [{\bf n}_2] of these walls. Letters B and C denote components of h which depend on spontaneous strain.

  • Equation: a reference to an expression, given at the end of the table, for the direction [{\bf h}] of the axis, where parameters B and C in the column Axis are expressed as functions of spontaneous strain components. The matrices above these expressions give the form of the `absolute' spontaneous strain.

  • Wall normals: orientation of equally deformed planes. As explained above, each plane represents two mutually reversed compatible domain walls. Numbers or parameters B, C given in parentheses can be interpreted either as components of normal vectors to compatible walls or as intercepts analogous to Miller indices: Planes of compatible domain walls [Ax_1+Bx_2+Cx_3=0] and [A{^\prime}x_1+B{^\prime}x_2+C{^\prime}x_3=0 ] [see equations (3.4.3.55[link])] pass through the origin of the Cartesian coordinate system of [K_{1j}] and have normal vectors [{\bf n}_1=[ABC]] and [{\bf n}_2=[A{^\prime}B{^\prime}C{^\prime}]]. It is possible to find a plane with the same normal vector [[ABC]] but not passing through the origin, e.g. [Ax_1+Bx_2+Cx_3=1]. Then parameters A, B and C can be interpreted as the reciprocal values of the oriented intercepts on the coordinate axes cut by this plane, [[x_1/(1/A)] + [x_2/(1/B)]+[x_3/(1/C)] =1]. In analogy with Miller indices, the symbol [(ABC)] is used for expressing the orientation of a wall. However, parameters A, B and C are not Miller indices, since they are expressed in an orthonormal and not a crystallographic coordinate system. A left square bracket [ in front of two equally deformed planes signifies that the two domain walls (domain twins) associated with one equally deformed plane are crystallographically equivalent (in [K_{1j}]) with two domain walls (twins) associated with the perpendicular equally deformed plane, i.e. all four compatible domain walls (domain twins) that can be formed from domain pair [({\bf S}_1,{\bf S}_j) ] are crystallographically equivalent in [K_{1j}].

    The subscript e indicates that the wall carries a nonzero polarization charge, [\hbox{Div }{\bf P}\neq0]. This can happen in ferroelectric domain pairs with spontaneous polarization not parallel to the axis of the pair. If one domain wall is charged then the perpendicular wall is not charged. In a few cases, polarization and/or orientation of the domain wall is not determined by symmetry; then it is not possible to specify which of the two walls is charged. In such cases, a subscript [e0] or [0e] indicates that one of the two walls is charged and the other is not.

  • [\varphi]: reference to an expression, given at the end of the table, in which the shear angle [\varphi] (in radians) is given as a function of the `absolute' spontaneous strain components, which are defined in a matrix given above the equations.

  • [{\sf \overline J}_{1j}]: symmetry of the `twin pair'. The meaning of this group and its symbol is explained in the next section. This group specifies the symmetry properties of a ferroelastic domain twin and the reversed twin with compatible walls of a given orientation and with domain states [{\bf S}_1^+], [{\bf S}_j^-] and [{\bf S}_1^+], [{\bf S}_j^-]. This group can be used for designating a twin law of the ferroelastic domain twin.

  • [{\underline t}_{1j}^{\star}]: one non-trivial twinning operation of the twin [{\bf S}_1[ABC]{\bf S}_j] and the wall. An underlined symbol with a star symbol signifies an operation that inverts the wall normal and exchanges the domain states (see the next section).

  • [{\sf \overline T}_{1j}]: layer-group symmetry of the ferroelastic domain twin and the reversed twin with compatible walls of a given orientation. Contains all trivial and non-trivial symmetry operations of the domain twin (see the next section).

  • Classification: symbol that specifies the type of domain twin and the wall. Five types of twins and domain walls are given in Table 3.4.4.3[link]. The letter S denotes a symmetric domain twin (wall) in which the structures in two half-spaces are related by a symmetry operation of the twin, A denotes an asymmetric twin where there is no such relation. The letters R (reversible) and I (irreversible) signify whether a twin and reversed twin are, or are not, crystallographically equivalent in [K_{1j}].

Example 3.4.3.7. The rhombohedral phase of perovskite crystals. Examples include PZN-PT and PMN-PT solid solutions (see e.g. Erhart & Cao, 2001[link]) and BaTiO3 below 183 K. The phase transition has symmetry descent [m\bar 3m\supset 3m].

In Table 3.4.2.7[link] we find that there are eight domain states and eight ferroelectric domain states. In this fully ferroelectric phase, domain states can be specified by unit vectors representing the direction of spontaneous polarization. We choose [{\bf S}_1\equiv [111]] with corresponding symmetry group [F_1=3_pm_{z\bar y}].

From eight domain states one can form [7\times8=56] domain pairs. These pairs can be divided into classes of equivalent pairs which are specified by different twinning groups. In column [K_{1j}] of Table 3.4.2.7[link] we find three twinning groups:

  • (i) The first twin law [\bar3_p^{\star}m_{x\bar y} ] characterizes a non-ferroelastic pair (Fam[\bar3_p^{\star}m_{x\bar y} =] Fam[3_p^{\star}m_{x\bar y}]) with inversion [\bar 1] as a twinning operation of this pair. A representative domain pair is [({\bf S}_1,g_{12}{\bf S}_1=] [{\bf S}_2) =] [([111],[\bar1\bar1\bar1])], domain pairs consist of two domain states with antiparallel spontaneous polarization (`180° pairs'). Domain walls of low energy are not charged, i.e. they are parallel with the spontaneous polarization.

  • (ii) The second twinning group [K_{13}=\bar4 3m ] characterizes a ferro­elastic domain pair (Fam[\bar4 3m=] [m\bar 3m] [\neq] Fam[F_1=] [\bar3_pm_{z\bar y}]). In Table 3.4.3.6[link], we find [g_{13}^{\star}=2^{\star}_x], which defines the representative pair [([111],[1\bar 1\bar 1])] (`109° pairs'). Orientations of compatible domain walls of this domain pair are [(100)] and [(011)_e] (this wall is charged). All equivalent orientations of these compatible walls will appear if all crystallographically equivalent pairs are considered.

  • (iii) The third twinning group [K_{14}=m\bar 3m ] also represents ferroelastic domain pairs with representative pair [([111],m^{\star}_x[111])=] [([111],[\bar 111]) ] (`71° pairs') and compatible wall orientations [(100)_e ] and (011). We see that for a given crystallographic orientation both charged and non-charged domain walls exist; for a given orientation the charge specifies to which class the domain wall belongs.

These conclusions are useful in deciphering the `domain-engineered structures' of these crystals (Yin & Cao, 2000[link]).

3.4.3.6.5. Ferroelastic domain pairs with no compatible domain walls, synoptic table

| top | pdf |

Ferroelastic domain pairs for which condition (3.4.3.54[link]) for the existence of coherent domain walls is violated are listed in Table 3.4.3.7[link]. All these pairs are non-transposable pairs. It is expected that domain walls between ferroelastic domain states would be stressed and would contain dislocations. Dudnik & Shuvalov (1989[link]) have shown that in thin samples, where elastic stresses are reduced, `almost coherent' ferroelastic domain walls may exist.

Table 3.4.3.7| top | pdf |
Ferroelastic domain pairs with no compatible domain walls

[F_1] is the symmetry of [{\bf S}_1], [g_{1j} ] is the switching operation, [K_{1j}] is the twinning group. Pair is the domain pair type, where ns is non-transposable simple and nm is non-transposable multiple (see Table 3.4.3.2[link]). [ v= z], [p=[111]], [q=[\bar 1\bar 11]], [r =[1\bar 1\bar 1]], [s=[\bar 1 1 \bar 1]] (see Table 3.4.2.5[link] and Fig. 3.4.2.3[link]).

[F_1][g_{1j} ][K_{1j} ]Pair
[1 ] [4_z ] [4_z ] ns
[1 ] [\bar4_z] [\bar4_z ] ns
[1 ] [3_v] [3_v] ns
[1 ] [\bar3_v] [\bar3_v] ns
[1 ] [6_z ] [6_z ] ns
[1 ] [\bar6_z] [\bar6_z ] ns
[\bar1 ] [4_z], [4_z^3] [4_z/m_z ] ns
[\bar1 ] [3_v], [3_v^2] [\bar3_v] ns
[\bar1 ] [6_z], [6_z^5] [6_z/m_z ] ns
[2_z ] [3_p], [3_p^2] [2_z3_p ] nm
[2_z ] [\bar3_p], [\bar3_p^5 ] [m_z\bar3_p] nm
[2_{xy} ] [3_p], [3_p^2] [4_z3_p2_{xy} ] nm
[2_{xy} ] [\bar3_p], [\bar3_p^5 ] [m_z\bar3_pm_{xy}] nm
[m_z ] [3_p], [3_p^2] [m_z3_p^2 ] nm
[m_{xy} ] [3_p], [3_p^2] [\bar4_z3_pm_{xy} ] nm
[m_{xy} ] [4_x], [4_x^3] [m_z\bar3_pm_{xy}] nm
[2_z/m_z ] [3_p], [3_p^2] [m_z\bar3_p] nm
[2_{xy}/m_{xy} ] [3_p], [3_p^2] [m_z\bar3_pm_{xy}] nm
[2_x2_y2_z ] [3_p], [3_p^2] [2_z3_p ] ns
[2_x2_y2_z ] [\bar3_p], [\bar3_p^5 ] [m_z\bar3_p ] ns
[m_xm_y2_z ] [3_p], [3_p^2 ] [m_z\bar3_p ] nm
[m_xm_ym_z ] [3_p], [3_p^2 ] [m_z\bar3_p ] ns

Example 3.4.3.8. Ferroelastic crystal of langbeinite. Langbeinite K2Mg2(SO4)3 undergoes a phase transition with symmetry descent [23\supset 222] that appears in Table 3.4.3.7[link]. The ferroelastic phase has three ferroelastic domain states. Dudnik & Shuvalov (1989[link]) found, in accord with their theoretical predictions, nearly linear `almost coherent' domain walls accompanied by elastic stresses in crystals thinner than 0.5 mm. In thicker crystals, elastic stresses became so large that crystals were cracking and no domain walls were observed.

Similar effects were reported by the same authors for the partial ferroelastic phase of CH3NH3Al(SO4)2·12H2O (MASD) with symmetry descent [\bar 3m\supset mmm], where ferroelastic domain walls were detected only in thin samples.

3.4.3.7. Domain pairs in the microscopic description

| top | pdf |

In the microscopic description, two microscopic domain states [{\sf S}_{i}] and [{\sf S}_{k}] with space-group symmetries [{\cal F}_i] and [{\cal F}_k], respectively, can form an ordered domain pair ([{\sf S}_{i},{\sf S}_{k}]) and an unordered domain pair [\{{\sf S}_{i},{\sf S}_{k}\}] in a similar way to in the continuum description, but one additional aspect has to be considered. The definition of the symmetry group [{\cal F}_{ik}] of an ordered domain pair ([{\sf S}_{i},{\sf S}_{k} ]), [{\cal F}_{ik} = {\cal F}_i \cap {\cal F}_k, \eqno(3.4.3.72) ]is meaningful only if the group [{\cal F}_{ik}] is a space group with a three-dimensional translational subgroup (three-dimensional twin lattice in the classical description of twinning, see Section 3.3.8[link] ) [{\cal T}_{ik}={\cal T}_i \cap {\cal T}_k, \eqno(3.4.3.73) ]where [{\cal T}_i] and [{\cal T}_k] are translation subgroups of [{\cal F}_i] and [{\cal F}_k], respectively. This condition is fulfilled if both domain states [{\sf S}_{i}] and [{\sf S}_{k} ] have the same spontaneous strains, i.e. in non-ferroelastic domain pairs, but in ferroelastic domain pairs one has to suppress spontaneous deformations by applying the parent clamping approximation [see Section 3.4.2.2[link], equation (3.4.2.49[link])].

Example 3.4.3.9. Domain pairs in calomel. Calomel undergoes a non-equitranslational phase transition from a tetragonal parent phase to an orthorhombic ferroelastic phase (see Example 3.4.2.7[link] in Section 3.4.2.5[link]). Four basic microscopic single-domain states are displayed in Fig. 3.4.2.5[link]. From these states, one can form 12 non-trivial ordered single-domain pairs that can be partitioned (by means of double coset decomposition) into two orbits of domain pairs.

Representative domain pairs of these orbits are depicted in Fig. 3.4.3.10[link], where the first microscopic domain state [{\sf S}_{i} ] participating in a domain pair is displayed in the upper cell (light grey) and the second domain state [{\sf S}_{j}], [j=2,3], in the lower white cell. The overlapping structure in the middle (dark grey) is a geometrical representation of the domain pair [\{{\sf S}_1,{\sf S}_j\} ].

[Figure 3.4.3.10]

Figure 3.4.3.10 | top | pdf |

Domain pairs in calomel. Single-domain states in the parent clamping approximation are those from Fig. 3.4.2.5. The first domain state of a domain pair is shown shaded in grey (`black'), the second domain state is colourless (`white'), and the domain pair of two interpenetrating domain states is shown shaded in dark grey. (a) Ferroelastic domain pair [({{\sf S}_1},{{\sf S}_3}) ] in the parent clamping approximation. This is a partially transposable domain pair. (b) Translational domain pair [({{\sf S}_1},{{\sf S}_2}) ]. This is a completely transposable domain pair.

The domain pair [\{{\sf S}_1,{\sf S}_3\}], depicted in Fig. 3.4.3.10[link](a), is a ferroelastic domain pair in the parent clamping approximation. Then two overlapping structures of the domain pair have a common three-dimensional lattice with a common unit cell (the dotted square), which is the same as the unit cells of domain states [{\sf S}_1 ] and [{\sf S}_3].

Domain pair [\{{\sf S}_1,{\sf S}_2\}], shown in Fig. 3.4.3.10[link](b), is a translational (antiphase) domain pair in which domain states [{\sf S}_1] and [{\sf S}_2] differ only in location but not in orientation. The unit cell (heavily outlined small square) of the domain pair [\{{\sf S}_1,{\sf S}_2\}] is identical with the unit cell of the tetragonal parent phase (cf. Fig. 3.4.2.5[link]).

The two arrows attached to the circles in the domain pairs represent exaggerated displacements within the wall.

Domain pairs represent an intermediate step in analyzing microscopic structures of domain walls, as we shall see in Section 3.4.4.[link]

References

Aizu, K. (1970b). Determination of the state parameters and formulation of spontaneous strain for ferroelastics. J. Phys. Soc. Jpn, 28, 706–716.
Aizu, K. (1972). Electrical, mechanical and electromechanical orders of state shifts in nonmagnetic ferroic crystals. J. Phys. Soc. Jpn, 32, 1287–1301.
Aizu, K. (1973). Second-order ferroic state shifts. J. Phys. Soc. Jpn, 34, 121–128.
Amin, A. & Newnham, R. E. (1980). Tertiary ferroics. Phys. Status Solidi A, 61, 215–219.
Bertagnolli, E., Kittinger, E. & Tichý, J. (1978). Observation of reversible elastic Dauphiné twinning in alpha-quartz. J. Phys. (Paris) Lett. 39, 295–297.
Bertagnolli, E., Kittinger, E. & Tichý, J. (1979). Ferrobielastic hysteresis in alpha-quartz. J. Appl. Phys. 50, 6267–6271.
Bradley, C. J. & Cracknell, A. P. (1972). The mathematical theory of symmetry in solids. Oxford: Clarendon Press.
Cahn, R. W. (1954). Twinned crystals. Adv. Phys. 3, 363–445.
Carpenter, M. A., Salje, E. K. H. & Graeme-Barber, A. (1998). Spontaneous strain as a determinant of thermodynamic properties for phase transitions in minerals. Eur. J. Mineral. 10, 621–691.
Catti, M. & Ferraris, G. (1976). Twinning by merohedry and X-ray structure determination. Acta Cryst. A32, 163–165.
Christian, J. W. (1975). The theory of transformations in metals and alloys. Oxford: Pergamon Press.
Curien, H. & Donnay, J. D. H. (1959). The symmetry of the complete twin. Am. Mineral. 44, 1067–1070.
Curien, H. & Le Corre, Y. (1958). Notation des macles à l'aide du symbolisme des groupes de couleurs de Chubnikov. Bull. Soc. Fr. Mineral. Cristallogr. 81, 126–132.
Dudnik, E. F. & Shuvalov, L. A. (1989). Domain structure and phase boundaries in ferroelastics. Ferroelectrics, 98, 207–234.
Erhart, J. & Cao, W. (2001). Effective symmetry and physical properties of twinned perovskite ferroelectric single crystals. J. Mater. Res. 16, 570–578.
Fousek, J. (1971). Permissible domain walls in ferroelectric species. Czech. J. Phys. B, 21, 955–968.
Fousek, J. & Janovec, V. (1969). The orientation of domain walls in twinned ferroelectric crystals. J. Appl. Phys. 40, 135–142.
Friedel, G. (1926). Leçons de cristallographie. Nancy, Paris, Strasbourg: Berger-Levrault. Reprint (1964). Paris: Blanchard.
Fuksa, J. (1997). The role of the twinning group of a domain pair in tensor distinction of domain states. Ferroelectrics, 204, 135–155.
Fuksa, J. & Janovec, V. (1995). Permutation classification of domain pairs. Ferroelectrics, 172, 343–350.
Holser, W. T. (1958a). Relation of symmetry to structure in twinning. Z. Kristallogr. 110, 249–265.
Janovec, V. (1972). Group analysis of domains and domain pairs. Czech. J. Phys. B, 22, 974–994.
Janovec, V., Litvin, D. B. & Fuksa, J. (1995). Transposable domain pairs and domain distinction. Ferroelectrics, 172, 351–359.
Janovec, V., Richterová, L. & Litvin, D. B. (1993). Non-ferroelastic twin laws and distinction of domains in non-ferroelastic phases. Ferroelectrics, 140, 95–100.
Jona, F. & Shirane, G. (1962). Ferroelectric crystals. Oxford: Pergamon Press.
Klassen-Neklyudova, M. V. (1964). Mechanical twinning of crystals. New York: Consultants Bureau.
Koch, E. (2004). Twinning. In International tables for crystallography, Vol. C, Mathematical, physical and chemical tables, 3rd edition, edited by E. Prince, ch. 1.3. Dordrecht: Kluwer Academic Publishers.
Kopský, V. (2001). Tensor parameters of ferroic phase transitions I. Theory and tables. Phase Transit. 73, 1–422.
Koňák, Č., Kopský, V. & Smutný, F. (1978). Gyrotropic phase transitions. J. Phys. Solid State Phys. 11, 2493–2518.
Litvin, D. B. & Janovec, V. (1999). Classification of domain pairs and tensor distinction. Ferroelectrics, 222, 87–93.
Newnham, R. E. & Cross, L. E. (1974a). Symmetry of secondary ferroics I. Mater. Res. Bull. 9, 927–934.
Newnham, R. E. & Cross, L. E. (1974b). Symmetry of secondary ferroics II. Mater. Res. Bull. 9, 1021–1032.
Newnham, R. E. & Skinner, D. P. Jr (1976). Polycrystalline secondary ferroics. Mater. Res. Bull. 11, 1273–1284.
Nye, J. F. (1985). Physical properties of crystals. Oxford: Clarendon Press.
Opechowski, W. (1986). Crystallographic and metacrystallographic groups. Amsterdam: North-Holland.
Pond, R. C. & Vlachavas, D. S. (1983). Bicrystallography. Proc. R. Soc. London Ser. A, 386, 95–143.
Přívratská, J. & Janovec, V. (1997). Pyromagnetic domain walls connecting antiferromagnetic non-ferroelastic domains. Ferroelectrics, 204, 321–331.
Rosová, A. (1999). Real domain structure origination in (110) mechanical twinning in YBa2Cu3O7−y. In Studies of high temperature superconductors, Vol. 28, edited by A. Narlikar, pp. 125–148. New York: Nova Science Publishers.
Rosová, A., Boulesteix, C. & Vávra, I. (1993). Role of microtwins in twin lamella intersections and interconnections in YBa2Cu3O7−y. Physica C, 214, 247–256.
Salje, E. K. H. (1990). Phase transitions in ferroelastic and co-elastic crystals, 1st edition. Cambridge University Press.
Sapriel, J. (1975). Domain-wall orientations in ferroelastics. Phys. Rev. B, 12, 5128–5140.
Schlenker, J. L., Gibbs, G. V. & Boisen, M. B. (1978). Strain-tensor components expressed in terms of lattice parameters. Acta Cryst. A34, 52–54.
Schmid, H. (1991). Polarized light microscopy of the ferroelastic domains of YBa2Cu3O7−x. Phase Transit. 30, 205–214.
Schmid, H. (1993). Polarized light microscopy (PLM) of ferroelectric and ferroelastic domains in transmitted and reflected light. In Ferroelectric ceramics, edited by N. Setter & E. L. Colla, pp. 107–126. Basel: Birkhäuser.
Schmid, H., Burkhardt, E., Walker, E., Brixel, W., Clin, M., Rivera, J.-P., Jorda, J.-L., François, M. & Yvon, K. (1988). Polarized light and X-ray precession study of the ferroelastic domains of YBa2Cu3O7−δ. Z. Phys. B Condens. Matter, 72, 305–322.
Shmyt'ko, I. M., Shekhtman, V. Sh., Ossipyan, Yu. A. & Afonikova, N. S. (1987). Twin structure and structure of twin boundaries in 1–2–3-O7−δ crystals. Ferroelectrics, 97, 151–170.
Shur, V. Ya., Gruverman, A. L., Letuchev, V. V., Rumyantsev, E. L. & Subbotin, A. L. (1989). Domain structure of lead germanate. Ferroelectrics, 98, 29–49.
Shuvalov, L. A., Dudnik, E. F. & Wagin, S. V. (1985). Domain structure geometry of real ferroelastics. Ferroelectrics, 65, 143–152.
Shuvalov, L. A. & Ivanov, N. R. (1964). Change in the optical activity of ferroelectric crystals on reversal of polarization. Sov. Phys. Crystallogr. 9, 290–299. (Kristallografiya, 9, 363–372.)
Sirotin, Yu. I. & Shaskolskaya, M. P. (1982). Fundamentals of crystal physics. Moscow: Mir.
Sutton, A. P. & Balluffi, R. W. (1995). Interfaces in crystalline materials. Oxford: Clarendon Press.
Vainshtein, B. K. (1994). Modern crystallography I. Symmetry of crystals. Berlin: Springer.
Wadhawan, V. K. (2000). Introduction to ferroic materials. The Netherlands: Gordon and Breach.
Yin, J. & Cao, W. (2000). Domain configurations in domain engineered 0.995Pb(Zn1/3Nb2/3)O30.045PbTiO3 single crystals. J. Appl. Phys. 87, 7438–7441.








































to end of page
to top of page