Professional Documents
Culture Documents
This content has been downloaded from IOPscience. Please scroll down to see the full text.
(http://iopscience.iop.org/0266-5611/15/6/312)
View the table of contents for this issue, or go to the journal homepage for more
Download details:
IP Address: 131.111.164.128
This content was downloaded on 05/09/2015 at 03:41
Abstract. In this paper we define a hyperspherical x-ray transform, characterize the range of this
transform in terms of an ultrahyperbolic differential equation which is derived here without referring
to spherical harmonics, and provide its general solution in terms of both its characteristics or
spherical harmonics. These results will aid in the solution of actual problems of texture goniometry,
i.e., the analysis of preferred crystallographic orientation in polycrystalline materials, particularly
in the solution of the inverse tomographic problem of texture goniometry.
1. Introduction
Definition. Let f ∈ C 2 (SO(3)) be a twice differentiable function defined on the group of proper
rotations. Let h, r ∈ S 2 ⊂ R3 , then the integral operator Ph : C 2 (SO(3)) 7→ C 2 (S 2 × S 2 ) is
defined as
Z
1
(Ph f )(r ) = f (g) dv(g) = P (h, r ) (1)
2π {g∈SO(3)|h=gr}
0266-5611/99/061603+17$30.00 © 1999 IOP Publishing Ltd 1603
1604 D I Nikolayev and H Schaeben
where the function P (h, r ) for a given h ∈ S 2 may be referred to as the hyperspherical x-ray
transform of f with respect to h. The geometry of the integration path {g ∈ SO(3)|h = g r }
in equation (1) will be discussed in section 2.2 and in more detail in the appendix.
Obviously,
P (−h, r ) = P (h, −r ). (2)
However, it is emphasized that for a given h ∈ S 2 , P (h, r ) 6= P (−h, r ) holds.
Furthermore, for any fixed g0 ∈ SO(3)
Ph [f (gg0−1 )](r ) = Ph [f (g)](g0 r ) (3)
Pg0 h [f (g)](r ) = Ph [f (g0 gg0−1 )](g0−1 r ) (4)
which reduces for rotationally invariant functions f (g) = f (ω(g)) which depend only on the
angle ω = arccos( 21 [tr M(g) − 1]) of the rotation g represented by the 3 × 3 matrix M(g), to
P (g0 h, r ) = P (h, g0−1 r ). (5)
Thus, if f is rotationally invariant with respect to g0 , i.e. if
f (g; g0 ) = f (ω(g, g0 )) = f (ω(gg0−1 ))
then the transform P (h, r ) defined on S 2 × S 2 is rotationally invariant with respect to
r0 = g0−1 h. It reduces to a real function P (h· g0 r ) depending on the angle < (h, g0 r ) ∈ [0, π ]
and may be thought of as being defined on [−1, 1] by virtue of the inner (dot) product h · g0 r .
It should be noted that the rotational invariance of f with respect to a given g0 is necessary
and sufficient for the rotational invariance of the h x-ray transform P (h, r ) with respect to
r0 = g0−1 h for all h ∈ S 2 ; rewriting equation (5) obviously yields
Pg0 h [f (g)](r ) = Ph [f (g)](g0−1 r ) = Ph [f (g0 gg0−1 )](g0−1 r ). (6)
Since the x-ray transformation is invertible (see below),
f (g) = f (g0 gg0−1 ) (7)
implies that f is a function of the angle ω(g) of rotation only,
f (g) = f (ω(g)) (8)
and is thus rotationally invariant. Thus, rotational invariance is preserved by the spherical
x-ray transform.
Next, for reasons originating in crystallography and Friedel’s law, which states that the
diffracting x-ray cannot distinguish between the top and bottom of the lattice planes, i.e.,
the directions h and −h cannot be distinguished in the diffraction experiment even if the
crystal itself is not centrosymmetric (cf [7], p 106), the basic crystallographic x-ray transform
P̃h : C 2 (SO(3)) 7→ C 2 (S+2 × S+2 ) is defined as
Z
1 1
(P̃h f )(r ) = f (g) dv(g) = (P (h, r ) + P (−h, r )) = P̃ (h, r ) (9)
2π {g∈SO(3)|±h=gr} 2
where S+2 denotes the upper unit hemisphere in R3 , or equivalently the projective plane H 2 .
Now, obviously,
P̃ (h, r ) = P̃ (−h, r ) = P̃ (h, −r ) (10)
that is, P̃ is an even function in both arguments h, r ∈ S 2 , and therefore the operator P̃h
essentially maps onto C 2 (S+2 × S+2 ).
In texture analysis the notation of passive rotations is preferred by most authors and in the
standard references (cf [6, 7, 21, 22]). Let KA , KB be two different coordinate systems fixed to
the sample and the crystal, respectively. The map M(g) ∈ SO(3) with M r = h corresponds
to a transformation of coordinates of a fixed unit vector, which is given by r with respect to
KA and by h with respect to KB , according to a proper rotation g : KA 7→ KB represented by
the 3 × 3 matrix M(g).
Characteristics of the spherical ultrahyperbolic differential equation 1605
with the crystal symmetry class GB , and #GB the total number of its elements. Due to Friedel’s
law the effective crystal symmetry is described by the point group G̃B = GB ⊗ {1, −1}, where
1 denotes identity and −1 the symmetry operation of inversion, which is also referred to as
the Laue class. Corresponding to the 32 crystal classes there exist 11 Laue classes G̃B , which
always contain the operation of inversion as an element of symmetry.
The 32 different symmetry classes GB are given by 11 purely rotational groups and 11
Laue groups; for both G̃B = GB ⊗ {1, −1} holds. Therefore, the total number of their elements
is #G̃B = 2#GB .
For the remaining ten groups
G̃B = G̃B ∩ SO(3) = (GB ⊗ {1, −1}) ∩ SO(3) 6= GB .
Considering only GB instead of G̃B means an essential loss of information.
Let g be an arbitrary element of SO(3). In the case of crystallographic symmetry the (right)
coset of orientations GB g = {gBj g|gBj ∈ GB , j = 1, . . . , #GB }, consists of orientations
which are physically indistinguishable with respect to the coordinate system KA fixed to the
sample; g is referred to as representative of the coset GB g. The cosets with respect to GB
provide a partition of SO(3). Therefore, the property
f (gBj g) = f (g), gBj ∈ GB , j = 1, . . . , #GB (16)
is imposed on f , that is, f is constant on each coset. Eventually, it will be sufficient to consider
f on the elementary set G of representatives of all cosets.
For a function f with the property (16) their corresponding projections satisfy
P (gBj h, r ) = P (h, r ). (17)
The central object of texture analysis is the orientation density function f which is used to
represent the probability by volume (not by total number) that crystals possess an orientation
g within dv(g) ⊂ G as f (g) dv(g). Its x-ray transforms according to equation (9) are referred
to as pole figures P̃h of the crystal form h in texture analysis. Pole figures are spherical density
functions used to represent the probability (by volume) that crystals possess a crystallographic
direction h within the spherical surface element ds(r ) ⊂ S+2 as P̃h (r ) ds(r ). In the context of
diffraction experiments the crystallographic direction h is usually associated with the normal
unit vector of some lattice planes with Miller indices (hkl) ∈ Z3 which denote the inverse
intercepts of the coordinate axes of KB converted to integers. The crystallographic multiplicity
of a crystal form h is the total number of symmetrically equivalent lattice planes, i.e. of
crystallographic directions hm which are symmetrically equivalent.
In a typical diffraction experiment the wavelength and the diffraction geometry of x-ray
source and counter, i.e. the Bragg angle between the incident and the diffracted beams, is chosen
and fixed. By virtue of Bragg’s equation relating wavelength, Bragg angle and interplanar
lattice spacing which actually diffracts at the Bragg angle, a lattice plane is chosen which
may be represented by its Miller indices or its normal and their symmetrically equivalents.
Rotation of the lattice plane around h changes the crystallographic orientation of the lattice
plane but leaves h fixed. Thus, the proportion, by volume, of crystal grains with h or any
of its symmetrically equivalents coinciding with a given direction r is the (continuous) sum
of proportions by volume of crystals with an orientation g such that h and r coincide, i.e.
g r = h. In a texture goniometer, rotation is actually not about h, but the sample is rotated
such that for a finite set of sampling locations rl the diffracted intensity is recorded.
These ideas will be further formalized as follows.
For an orientation density function f ∈ C 2 (SO(3)), its corresponding crystallographic
pole density function P̃h of the crystal form h = {hm |m = 1, . . . , Mh } ⊂ S 2 of multiplicity Mh
Characteristics of the spherical ultrahyperbolic differential equation 1607
when
Z
f (g) dv(g) = 1.
SO(3)
Since for normal scattering diffraction experiments Friedel’s law applies, the set of
directions {hm , −hm |m = 1, . . . , Mh } can be identified with the set {g̃Bj h|j = 1, . . . , #G̃B } =
{gBj h, −gBj h|j = 1, . . . , #GB } and equation (18) can be rewritten as
Z
1 X 1
(P̃h f )(r ) = f (g) dv(g). (19)
#G̃B 2π {g∈SO(3)|g̃Bj h=gr}
g̃Bj ∈G̃B
Summation in (19) is thus over all directions gBj h, −gBj h, j = 1, . . . , NB , which are
symmetrically equivalent with respect to the associated Laue group G̃B . Taking (16) and
(17) into account yields
1 X
(P̃h f )(r ) = P̃ (gBj h, r ) = P̃ (h, r ). (20)
#GB gB ∈GB
j
The conventional notation P̃h (r ) of texture analysis was dropped in favour of P̃ (h, r )
to emphasize its features of a general axis probability density function (‘allgemeine
Achsenverteilungsfunktion’ Ã(h, r ), [7], p 53) as follows.
Let 1 denote the Laplace–Beltrami operator (explicitly defined in equation (40)), and
assume f ∈ C 2 (SO(3)). Then
Z
1
1h P (h, r ) = 1h f (g2−1 (α, β, ω)g1 (ϕ, ϑ, 0)) dω
2π (0,2π )
Z
1
= 1r f (g1−1 (α, β, 0)g2 (ϕ, ϑ, ω)) dω
2π (0,2π )
= 1r P (h, r ) (22)
where the equality is obtained by simultaneously substituting h, r , g by r , h, g −1 , and using
(15).
Thus, the hyperspherical x-ray transform and hence crystallographic pole density functions
satisfy the differential equation
(1h − 1r )P (h, r ) = 0 (23)
which is referred to as an ultrahyperbolic differential equation in mathematical physics (cf [10]).
Considering the differential equation for spherical harmonics involving the Laplace–
Beltrami operator, and the representation of pole density functions in terms of spherical
harmonics given below, it was first noticed years ago by [33], and much later communicated
in [34,35], and co-workers [17,36] that crystallographic pole density functions P̃ (h, r ) satisfy
the differential equation
1r P̃ (h, r ) = 1h P̃ (h, r ). (24)
The differential equation is of ultrahyperbolic type [10, 18]. It reduces to the spherical
potential equation if the left-hand side of (23) or (24), respectively, does not depend on r , e.g.
if the orientation distribution and hence the pole distributions are uniform. It reduces to the
hyperbolic wave equation if the left-hand sides of (23) or (24), respectively, depends only on
one variable, e.g. ϑ ∈ [0, π/2] for rotationally invariant pole density functions.
Referring to the conventional notation of texture analysis where P̃h (r ) denotes the ‘direct’
pole density function of the crystal form h, and R̃r (h) the ‘inverse’ pole density function of
the sample direction r ([7], pp 76–7),
R̃r (h) = P̃ (h, r ) (25)
equation (24) may be rewritten as
1r P̃h (r ) = 1h R̃r (h).
Using an angular probability density function (‘Winkelverteilungsfunktion’ W̃hi rj (2), [7],
pp 73–6) the integral relation
Z Z
P̃hi (2, ψ) dψ = R̃rj (2, ψ 0 ) dψ 0
[r j ] [hi ]
where the notation indicates integration along small circles with centres rj and hi , respectively,
and angular distance 2, was deduced ([7], p 77) and interpreted to result for 2 = 0 in the
equation ([7], p 77)
P̃hi (rj ) = R̃rj (hi ) = Ã(hi , rj )
Characteristics of the spherical ultrahyperbolic differential equation 1609
which seems rather trivial now and which was not pursued much further, cf [15].
In the past it obviously slipped the attention of researchers that the integral relation of a
‘direct’ and ‘inverse’ pole figure is actually a special case of a spherical analogue of the mean
value theorem due to [2] (cf [10], vol 2, p 744).
The spherical Ásgeirsson’s theorem may be stated as follows.
Theorem 3.1. Let µ(h, r ; ρ), ν(h, r ; ρ), and w(h, r ; ρ, τ ) be defined as
Z
µ(h, r ; ρ) = P̃ (h0 , r ) dt (h0 ) (26)
h·h0 =ρ
Z
ν(h, r ; ρ) = P̃ (h, r 0 ) dt (r 0 ) (27)
r·r 0 =ρ
Z Z
w(h, r ; ρ, τ ) = P̃ (h0 , r 0 ) dt (h0 ) dt (r 0 ) (28)
r·r 0 =τ h·h0 =ρ
where dt denotes the one-dimensional boundary element of the small circle S 2 ∩ Sh,√2(1−ρ) =
Ch,ρ = {h0 ∈ S 2 | h0 · h = ρ} with centre h ∈ S+2 and radius sin(arccos ρ) normalized in such
a way that the integral of the function 1 is 1. Then
µ(h, r ; ρ) = w(h, r ; ρ, 1) (29)
ν(h, r ; ρ) = w(h, r ; 1, ρ) (30)
and
µ(h, r , ρ) = ν(h, r , ρ). (31)
More generally
w(h, r ; ρ, τ ) = w(h, r ; τ, ρ) (32)
the double mean value is symmetric in the radii ρ and τ .
For a proof in terms of Lie groups the reader is referred to [16], p 319, where Ásgeirsson’s
mean value theorem is proven for any function satisfying the ultrahyperbolic differential
equation on S n × S n considering the compact sphere as a special case of a rank-one symmetric
space. It should be noted that the special case presented here can be elementarily proven using
spherical harmonics.
Since equation (31) holds for all ρ ∈ (−1, 1) it provides at once a mean value theorem for
the spherical surface element h,ρ = {h0 ∈ S 2 | ρ 6 h0 · h} with centre h ∈ S+2 by integration
with respect to ρ
Z Z
µ(h, r , ρ) dρ = ν(h, r , ρ) dρ (33)
[1,δ] [1,δ]
or more explicitly
Z Z Z Z
0 0
P̃ (h , r ) dt (h ) dρ = P̃ (h, r 0 ) dt (r 0 ) dρ. (34)
[1,δ] h·h0 =ρ [1,δ] r·r 0 =ρ
Proof. Any function u ∈ C ∞ (S 2 × S 2 ) can be represented by its tensor product expansion into
spherical harmonics
X
∞ X
l X
∞ X
l0
0
u(h, r ) = λlm,l 0 m0 (Ylm )∗ (h)Ylm0 (r ) (42)
l=0 m=−l l 0 =0 m0 =−l 0
which is the form of (41) as the other terms drop out because the eigenvalues of 1 are different
for different l. Here, summation and differentiation may be exchanged due to [38]
0
λmm
l = O(l −k ) for any k ∈ N. (44)
Theorem 4.2. For any function u ∈ C ∞ (S 2 ×S 2 ) satisfying the differential equation (23) there
exists a unique function f ∈ C ∞ (SO(3)) such that Ph f = u.
Characteristics of the spherical ultrahyperbolic differential equation 1611
Theorem 4.3. The characteristics of the ultrahyperbolic differential equation are the fibres
(h · g r ) = const, where g is an arbitrary proper rotation.
and
X3
∂2 h1 r1 + h2 r2 + h3 r3 h1 r1 + h2 r2 + h3 r3
q q = −2 q q
2
i=1 ∂ri r12 + r22 + r32 h21 + h22 + h23 ( (r12 + r22 + r32 ))3 (h21 + h22 + h23 )
to find Lu(h/|h| · r /|r |), and then collect terms in u0 and u00 , and finally use h21 + h22 + h23 =
r12 + r22 + r32 = 1, which completes the proof. Again, as with the spherical Ásgeirsson theorem,
the theorem could be proven quite elementarily using spherical harmonics.
For an explicit geometrically instructive representation of the characteristics, i.e. the set
{g ∈ SO(3)|(h · g r ) = const} we refer to the appendix.
Thus, the general solution of the ultrahyperbolic differential equation can be represented
as a sum
XX
u(h, r ) = ul (xgk ) (52)
l k
Characteristics of the spherical ultrahyperbolic differential equation 1613
with
xgk = (h · gk r ) (53)
where gk ∈ SO(3) is an arbitrary rotation and ul ∈ C 2 (R1 ) are some real twice differentiable
functions. Neglecting questions of convergence for the moment, a specific solution is
constructed analogously to d’Alembert’s method of characteristics by choosing distinguished
functions pl for the functions ul and fitting them to the initially given pole density functions
by
X
P (hi , r ) = pl ((hi · g r )) (54)
l
where the pl belong to some dense specific subset of C 2 (R1 ), e.g. the set of polynomials.
Proposition. Let u : S 2 × S 2 7→ R be a twice continuously differentiable function,
u ∈ C 2 (S 2 × S 2 ), satisfying (1h − 1r )u(h, r ) = 0. If u reduces to a function of h · g0 r
for some arbitrary fixed g0 ∈ SO(3), then u is uniquely determined provided for some given
h0 ∈ S 2 it is known for all g0 r on a great circle containing h0 .
Proof. Any solution of the differential equation must be of the form (52) which according to
the assumptions reduces to u(h, r ) = u(h · g0 r ). For a given h0 and g0 r covering a great
circle containing h0 , t = h0 · g0 r covers the interval [−1, 1], and u is assumed known, i.e.
u(h0 · g0 r ) = v(t) for all r on that great circle. Eventually, u(h, r ) = u(h · g0 r ) = v(t).
Considering the same assumptions with respect to spherical harmonics, the general
solution (43) simplifies to
X
∞
u(h, r ) = λl Pl (h · g0 r ). (55)
l=0
With respect to practical texture analysis these assumptions appear rather artificial;
nevertheless, the approach by characteristics can be generalized.
Below it will be generally shown that a decomposition with an appropriate choice of
functions pl is equivalent to the series expansion into spherical harmonics. Moreover, if
the initially given pole density functions are expanded into such a series the solution of the
ultrahyperbolic differential equation specified by them is known. The crucial problems of
existence and uniqueness of a special solution will be discussed in a forthcoming paper; here
we provide some preliminary formulae.
where r and r 0 are unit vectors of the sphere S 2 with spherical coordinates (ϕ, ϑ) and (ϕ 0 , ϑ 0 ),
respectively.
Alternatively, it is possible to represent a function P ∈ C 2 (S 2 ) as follows:
X∞
P (r ) = Xl (r ),
l=0
with functions Xl (r ) defined as
Z
2l + 1
Xl (r ) = P (r 0 )Pl (cos ν) dr 0 (58)
4 S2
where Pl denotes the Legendre polynomial of order l and ν denotes the angle enclosed by r
and r 0 , i.e.
cos ν = (r · r 0 ) = cos ϑ cos ϑ 0 + sin ϑ sin ϑ 0 cos(ϕ − ϕ 0 ). (59)
One can easily verify that
X
l
Xl (r ) = Flm Ylm (r ). (60)
m=−l
where cos νm = (r · rm ) = cos ϑ cos ϑm + sin ϑ sin ϑm cos(ϕ − ϕm ). Then the problem is to
find 8m
l and rm such that (56) and (61) become identical.
According to the addition theorem for Legendre polynomials
X
l
∗
Pl (cos νm ) = Ylk (r )(Ylk ) (rm ). (62)
k=−l
Thus, if the coefficients 8kl and directions rk are known, equation (63) allows one to find the
coefficients Flm of the series expansion (56). In turn, suppose the directions rk are given;
then (63) is a system of linear algebraic equations for 8kl , with matrix {Ylm (rk )}. Multiplying
both sides of (63) by the complex conjugate matrix {(Ylm )∗ (rk )}, we obtain
X l X l Z
m ∗ m ∗
fl =
k
Fl (Yl ) (rk ) =
m
(Yl ) (rk ) P (r 0 )Ylm (r )0 dr 0
m=−l m=−l S2
Z
2k + 1
= P (r 0 )Pl (cos νk ) dr 0 (64)
4 S2
with
cos νk = (r 0 · rk ) = cos ϑ 0 cos ϑk + sin ϑ 0 sin ϑk cos(ϕ 0 − ϕk ). (65)
Applying equation (62) to the product on the left-hand side of equation (6) we finally get
X
l
8kl Pl ((rk · rm )) = flm . (66)
k=−l
Characteristics of the spherical ultrahyperbolic differential equation 1615
Another way to obtain equation (66) is to multiply both sides of equation (60) by
Pl ((rk · rm )) and integrate over the unit sphere.
The crucial problem now concerns the existence of a set of directions rk such that the
matrix Pl ((rk · rm )) of equation (66) is not degenerate.
Theorem 4.4. For each l ∈ N there exist 2l + 1 directions {rk } such that matrix Pl ((rk · rm ))
of equation (66) is not degenerate.
Proof. Suppose the opposite, or that the matrix of equation (66) is degenerate for any set
{rk } of 2l + 1 directions. Then it has linearly dependent rows, implying that some row can be
expressed as a linear combination of others for any direction rk on the sphere. But that means
linear dependence of spherical harmonics. This contradiction states the proof; see also [12],
pp 49–50.
However, the choice of the set {rk } is not unique. Freedom in that choice allows us to
exploit additional knowledge of the function to be expanded. A preferential choice could be one
that turns the matrix of equation (66) into a special form. For example, choose rk = (ϑ0 , ϕk )
with ϕk = 2l+1
2πk
, k = 0, . . . , 2l, and an arbitrary angle ϑ0 . Then the matrix of equation (66)
becomes of Toeplitz form. The same result will be accomplished if we choose rk = (ϑk , ϕ0 )
with ϑk = 2l+1
πk
, k = 0, . . . , 2l, and an arbitrary angle ϕ0 .
4.5. Symmetrization
Crystal symmetry is the single predominant issue of texture analysis. Therefore, this section
is devoted to describing how to take crystal and sample symmetries into account. The
symmetrization is based on the linearity of the ultrahyperbolic differential equation.
Suppose, GB = {gBj , j = 1, . . . , NB } is the point symmetry group of a crystal,
and GA = {gAk , k = 1, . . . , NA } is the point symmetry group of the sample. Since
the ultrahyperbolic differential equation is satisfied identically for arbitrary functions of an
argument (h · g r ) for any g ∈ SO(3), it is also satisfied for arbitrary functions of argument
(gBj hi · ggAk r ) for all gBj and gAk in the case of crystal/sample symmetries, and moreover
u(xg ) = u(xgBj ggAk ).
This can be achieved if symmetrized polynomials Pl are used for the series expansion of a pole
density function according to
1 X NB XNA
P̃l (xg ) = Pl (xgBj ggAk ).
NB NA j =1 k=1
4.7. Applications
Before discussing the existence and uniqueness of the solution of the ultrahyperbolic
differential equation it seems worthwhile to give an outlook of potential applications. The
most interesting for the practice of texture analysis include:
• defining a minimum set of experimentally accessible pole density functions required;
• defining an appropriate set of experimentally accessible pole density functions with respect
to
(1) numerical stability of the system
(2) experimental errors which depend on the crystal form
• completing incomplete pole density functions to normalize them;
• checking the compatibility of experimental pole density functions corresponding to
different crystal forms;
• calculating additional pole density functions of special crystal forms which cannot be
measured in diffraction experiments directly from the experimentally given ones;
• calculating the even portion of an orientation density function explaining the given pole
density functions.
The solutions of these particular problems will become straightforward once the existence
and uniqueness of a solution for given experimental intensity data P̃ (hq , rp ), rp ∈ D ⊂ S 2 ,
representing initial (or boundary) conditions is guaranteed, that is, once it has been clarified
that the given data can be uniquely represented in the form (54).
5. Conclusions
In this paper we have shown that the central mathematical relationship of texture goniometry
can be equivalently formulated in terms of the conventional integral equation representing a
hyperspherical analogue of the x-ray transform, and in terms of an ultrahyperbolic differential
equation which characterizes the range of the transform. Its characteristics have been
determined and geometrically interpreted as the familiar fibres of texture analysis. Thus, the
mathematical grounds for methods to solve the differential equation numerically are prepared
and new approaches to solve actual problems of quantitative texture analysis are opened.
Acknowledgments
The authors would like to thank Dr E T Quinto, Tufts University, Medford, MA, USA, for
substantial reviews and suggestions pointing to references including more general results than
ours and different proofs, and essentially contributing an outline of the proof of our main
result alternative to our initial one. HS would like to thank Alexander G Ramm, Kansas
State University, Manhattan, KS, USA, for a sympathetic discussion while on leave at the
University of Giessen, Germany, that helped to clarify the essential statements, and Gerald van
den Boogaart, Freiberg University of Mining and Technology, Germany, for the alternative
proof of the invertibility of the spherical x-ray transform using a result of [25].
Characteristics of the spherical ultrahyperbolic differential equation 1617
The set {g ∈ SO(3)|g r = h} may be represented as a great circle on the unit sphere S+3 ⊂ R4
by virtue of the Rodrigues representation q ∈ S+3 (‘quaternion’) of a proper rotation g ∈ SO(3);
for details of the Rodrigues representation the reader is referred to [1, 3, 23, 30].
For r 6= ±h let r · h = cos η and
h×r 1
n1 = = (h × r ) ∈ S 2 (67)
kh × r k sin η
then g1 = g1 (n1 , η) is the coordinate transformation according to the rotation g1 : KA 7→ KB
with the smallest angle of rotation such that r is mapped onto h, i.e. g1 r = h. If r = h, then
η = 0 and n1 = r .
Next let
h+r 1
n2 = = (h + r ) ∈ S 2 (68)
kh + r k 2 cos(η/2)
then g2 = g2 (n2 , π) is the coordinate transformation corresponding to a rotation with the
largest angle of rotation such that r is mapped onto h. If q1 , q2 ∈ S+3 are the unit vectors of
Rodrigues parameters representing the transformations (passive rotations) g1 , g2 , respectively,
n11 sin(η/2) n21
n sin(η/2) n
q1 = 12 , q2 = 22 (69)
n13 sin(η/2) n23
cos(η/2) 0
then each rotation gt represented by
q (t) = q1 cos(t/2) + q2 sin(t/2), t ∈ [−π, π] (70)
maps r onto h.
The set
t t
Q(r , h) = q (t)|q (t) = q1 cos + q2 sin , t ∈ [−π, π] (71)
2 2
is easily identified as a great circle restricted to S+3 .
If r = −h, then the set {g ∈ SO(3)|g r = h} may be represented by the great circle
spanned by
q11 q21
q q
q1 = 12 , q2 = 22 (72)
q13 q23
0 0
with two linearly independent (q11 , q12 , q13 )t , (q21 , q22 , q23 )t ∈ S 3 orthogonal to r .
As q (t) varies within Q(r , h) according to equation (71), the corresponding angle of
rotation ω(t) varies according to
η t ω(t)
q4 (t) = cos cos = cos , t ∈ [−π, π]. (73)
2 2 2
Analogously, for r 6= h the set {g ∈ SO(3)|g r = −h} may be represented by the great
circle Q(r , −h) spanned by
−n11 sin π−η
2 n41
−n12 sin π−η n
q3 = 2
−n13 sin π−η , q4 = 42 (74)
2
n43
cos π−η2
0
1618 D I Nikolayev and H Schaeben
with
r−h 1
n4 = = (r − h) ∈ S 2 . (75)
kr − hk 2 sin(η/2)
If r = h, then the set {g ∈ SO(3)|g r = −h} may be represented by the great circle
spanned by
q31 q41
q q
q3 = 32 q4 = 42 (76)
q33 q43
0 0
with two linearly independent (q31 , q32 , q33 )t , (q41 , q42 , q43 )t ∈ S 2 orthogonal to r .
Due to the construction with ni · nj = δij , i, j = 1, 2, 4, and n1 × n2 = n4 ,
n2 × n4 = n1 , n4 × n1 = n2 , and further n1 · h = n1 · r = 0, n2 · h = n2 · r = cos(η/2),
n4 · h = −n4 · r = − sin(η/2), it should eventually be noted that the vectors qi , i = 1, . . . , 4,
are mutually orthonormal, qi · qj = δij , i, j = 1, . . . , 4.
The angle of any two points q ∈ Q(r , h) and q 0 ∈ Q(r , −h) is arccos q · q 0 = π/2, they
are referred to as being orthogonal; the orientation distance of the corresponding orientations
is 2 arccos q · q 0 = π. The orientation distance of an arbitrary g0 ∈ SO(3) represented by
q0 ∈ S+3 from the set Q(r , h) is inf t∈[−π,π ] 2 arccos q0 · q (t) = arccos h · g0 r , its orientation
distance from the set Q(r , −h) is arccos(−h · g0 r ) = π − arccos h · g0 r and
h · g0 r = (2ψ 2 − 1) cos η + 2ψ sin η(Ψ · n0 ) + 2(Ψ · r )(Ψ · h) (77)
with Ψ = and ψ = cos
sin( ω20 )n0 ω0
2
, where n0
and ω0 denote axis and angle of the orientation
g0 (cf [19]).
The set of all rotations g 0 with constant orientation distance h · g 0 r = h · g0 r from
the set {g ∈ SO(3)|g r = h} is the set of all rotations mapping r on the small circle
C(h, ) = {h0 ∈ S 2 |h · h0 = h · g0 r } with centre h and angle = arccos h · g0 r .
Moreover, the set of all rotations q with constant orientation distance from the set Q(r , h)
is given by
3 s s
Q(r , h; ) = q (s, t) ∈ S+ q (s, t) = q1 cos + q2 sin cos
2 2 2
t t
+ q3 cos + q4 sin sin , s, t ∈ [−π, π] . (78)
2 2 2
For any pair of parameters s 0 , t 0 ∈ [−π, π] with constant difference s 0 − t 0 = δ ∈
[−π, π ] q (s 0 , t 0 ) maps a given r onto the same h0 . If δ = 0, then h0 is the unit vector
0
with arccos h · h0 = in the plane spanned by r and h, let it be denoted h0 ; if δ > 0
(δ < 0), then h0 is the vector of the small circle C(h, ) which results from a clockwise
0
(counterclockwise) rotation of h0 about h by an angle δ.
References
[1] Altmann S L 1986 Rotations, Quaternions, and Double Groups (Oxford: Oxford University Press)
[2] Ásgeirsson L 1936 Über eine Mittelwerteigenschaft von Lösungen homogener linearer partieller
Differentialgleichungen zweiter Ordnung mit konstanten Koeffizienten Ann. Math. 113 321–46
[3] Becker R and Panchanadeeswaran S 1989 Crystal rotations represented as Rodrigues vectors Textures
Microstruct. 10 167–94
[4] Bukhgeim A L 1988 Introduction into the Theory of Inverse Problems (Moscow: Nauka) in Russian
[5] Bunge H J 1965 Zur Darstellung allgemeiner Texturen Z. Metallkunde 56 872–4
[6] Bunge H J 1969 Mathematische Methoden der Texturanalyse (Berlin: Akademie)
Characteristics of the spherical ultrahyperbolic differential equation 1619