Professional Documents
Culture Documents
www.elsevier.com/locate/tecto
Abstract
The objective of this contribution is to emphasize the fundamental role of spherical harmonics in constructive approximation
on the sphere in general and in texture analysis in particular. The specific purpose is to present some methods of texture analysis
and pole-to-orientation probability density inversion in a unifying approach, i.e. to show that the classic harmonic method, the
pole density component fit method initially introduced as a distinct alternative, and the spherical wavelet method for highresolution texture analysis share a common mathematical basis provided by spherical harmonics. Since pole probability density
functions and orientation probability density functions are probability density functions defined on the sphere X3oR3 or
hypersphere X4oR4, respectively, they belong at least to the space of measurable and integrable functions L1(Xd), d = 3, 4,
respectively.
Therefore, first a basic and simplified method to derive real symmetrized spherical harmonics with the mathematical
property of providing a representation of rotations or orientations, respectively, is presented. Then, standard orientation or pole
probability density functions, respectively, are introduced by summation processes of harmonic series expansions of L1(Xd)
functions, thus avoiding resorting to intuition and heuristics. Eventually, it is shown how a rearrangement of the harmonics
leads quite canonically to spherical wavelets, which provide a method for high-resolution texture analysis. This unified point of
view clarifies how these methods, e.g. standard functions, apply to texture analysis of EBSD orientation measurements.
D 2003 Elsevier B.V. All rights reserved.
Keywords: Real-valued spherical harmonics; Real-valued harmonics for the rotation group; Harmonic series expansions; Spectral
decomposition of the X-ray transform; Summability; Spherical singular integral; Spherical radial basis functions; Spherical wavelets; Methods
of texture analysis
1. Introduction
The subject of texture analysis is the experimental
determination (collecting and processing data) and
interpretation of the statistical distribution of orienta-
0040-1951/03/$ - see front matter D 2003 Elsevier B.V. All rights reserved.
doi:10.1016/S0040-1951(03)00190-2
254
Ph;
r Xf h; r Xf h; r
2
of the orientation probability density function f, where
the spherical X-ray transform is defined as mean of f
along the one-dimensional circle C(h, r), i.e.
Xf h; r
1
2p
f gdg
fgaSO3jhgrg
2. Spherical harmonics
To compute orthonormal real-valued and symmetrized harmonics is not only of special interest in
texture analysis but of general mathematical interest
(cf. Zheng and Doerschuk, 2000).
255
p
2
Qz R z
p
2
it holds
Rx u Qtz Ry uQz Qy Rz uQty
Ry u Qy Rx uQty Qtx Rz uQx
Rz u Qty Rx uQy
Then any rotation gaSO(3) may be decomposed
into
g Rz u1 Rx URz u2
Rz u1 Qy Rz UQty Rz u2 Rz aRy bRz c
0
B
B
Ry u B
B
@
cosu
sinu
sinu
0
C
C
C
C
A
0 cosu
sinu
cosu
B
C
B
C
B
Rz u B sinu cosu 0 C
C
@
A
0
0
1
p
p
Rx
Ry uRtx
Qx Ry uQtx
2
2
with
Qx R x
B
B
B
B0
2
@
0
p
0
0
1
C
C
1C
C
A
0
Rz aQtx Rz bQx Rz c
Harmonics for SO(3) can generally be introduced
by application of group representation theory (cf.
Curtis and Reiner, 1962), i.e. the theory of all possible, essentially different representations of elements of
SO(3) by matrices of arbitrary order. Harmonics
provide a set of representatives of all irreducible
representations, which in turn are the characteristic
representations. This set is not unique; an additional
specification is required to impose uniqueness. Following the complex approach of Gelfand et al. (1963)
and Vilenkin (1968), the common application in
texture analysis is to transform initial complex harmonics into real harmonics (cf. Bunge, 1969, 1982),
which, however, are no longer harmonic representations of rotations, i.e. compared with the complex
harmonics, they do not possess the single most
important property of being a representation. For the
proper transform preserving the representation property, the reader is referred to Boogaart (2001).
256
The same object looks a little less intuitive for complex harmonics like
C
RS C u rmnS
mS ;...S ;nS ;...;S
0 iS u
e
B
B
B
O
B
B
B
B
1
B
B
B
B
O
B
@
1
C
C
C
C
C
C
C
C
C
C
C
C
A
eiS u
and
QSy wRSy
QSx wRSx
2
p
2
f g
l X
S
S
X
X
CSmn TSmn g
S 0 mS nS
l
X
trCtS TS g
S 0
f gwf ggV
l
X
trCtS TS gTS gV
S 0
RS aQSy RS bQSy t RS c
with
p
l
X
trTS gVCtS TS g
S 0
RSz uwTS
Rz u R u
S
l
X
l
X
S 0
t TS g
trC
S
S e0
C S00 e0 C
tret0 RSz uVRSx UVCS RSz uRSx Ut e0
trCtS RSx UVt RSz uVt e0 et0 Rz uRz U
|{z} |{z}
p
p
t
4p
4p
2S 1 YS
h Rz uRx Uez
f Rz /d/
Z 2p
l
X
tr
CS RS /d/
S 0
l X
S
1 X
CSmm cosm/d/
2p S 0 mS
Z 2p
Z 2p
CSmm
sinm/d/ CSmm
cosm/d/
0
0
|
{z}
|{z}
l
1 X
C 00
2p S 0 S
l
X
4p
trCSt YtS hYS r
2S
1
S 0
l X
S
S
X
X
CSmn
YS ;m hYS ;n r
2S 1
S 0 mS nS
0 when m p 0
which could be used as definition of spherical harmonics, the well-known spectral decomposition of the
X-ray transform (Bunge, 1969, 1982; Matthies et al.,
1987)
4p
Z 2p
l X
S
1 X
CSmm sinm/
2p S 0 mS 0
2S 1 YS
r
2S 1 S
YS h
Rx UVt RSz uVt e0
4p
Xf h; r
Thus, setting
2p
0
257
258
Z
Xd
dxd
2pd=2
Cd=2
Z
Xd
Af xAp dxp x
1=p
<l
Yn;j r1 Yn;j r2
2n 1
Pn r1
r2
4p
where Pn denotes the Legendre polynomial (cf. Freeden et al., 1998; p. 32 (2.3.12), p. 38). It can be
written as
2
1
d
t 2 1n ;
Pn t n
2 n! dt
ta1; 1
As defined above, a pole probability density function is actually a probability density function P(h, r)
defined on X3 X3. Mathematically, haX3 and raX3
are any two-unit vectors in R3. With respect to the
diffraction experiment, however, h refers to the unit
normal direction of a crystallographic lattice plane and
therefore cannot vary arbitrarily as can raX3. To
emphasize the role of h as a parameter of the experiment, pole probability density functions used to be
denoted Ph(r) or Ph(r) to indicate symmetry of the
crystallographic form h. In the following, harmonic
analysis is applied to functions F(h, r) defined on
X3 X3 read as a function of r parametrized by h.
Then, any function F(h, r)aX (X3 X3), where X
denotes either Lp, 1 V p < l, or C, can formally be
associated with its Fourier series, i.e.
Fh; rf
l X
n
X
^
Fn;j
hYn;j r
S 0 jS
n X
S
X
S 0 jS
Fh; B;
n X
S
X
!
Yn;j BYn;j r
S 0 jS
n
X
2S 1
PS r
B
Fh; B;
4p
S 0
Gn t
^
h Fh; B; Yn;j B
Fn;j
!
4
n
X
2S 1PS t
S 0
n X
S
X
Setting
n0 jn
l X
n
X
259
n 1
Pn1 t Pn t
t1
^
Fn;j
hYn;j r
n0 jn
2
1
Sn Fh; B; r
4p
Z
X3
n!l
260
l X
n
X
^
hq n; jFn;j
hYn;j r
n0 jn
l X
n
X
Fh;B;
n
X
!
hq n; jYn;j BYn;j r
n0 jn
l X
n
X
^
hq nFn;j
hYn;j r
Fh; B
n0
Uq Fh; B; r
1
4p
hq nPn r B
4p
Z
Fh; rV
X3
l
X
2p
1=p
AgtA dt
n0 jn
l
X
2n 1
1
1
n0 jn
l
X
2n 1hq nPn r rV
n0
dxrV
Z
1
A convolution has the nicer property of the corresponding property of g and f, respectively. In particular, the Fourier coefficients of the convolution are the
product of the Fourier( Legendre) coefficients of the
functions being convoluted.
A set of functions {vq | qaIA}oL1 [ 1, 1] with q
in some parameter set IA is called a kernel if
vq ^ 0 2p
Z
1;1
vq tdt 1
Z
Xd
vx yf ydxd y
If the kernel function vaX [ 1, 1] is an approximate identity, i.e. if it is uniformly bounded for all
qaIA, and if it possess the spatial localization property
Z
lim
q!q0
1
vq tdt 0;
da1; 1
q!q0
l X
S
S
X
X
S 0 nS mS
2
l
1 X
2
S 12 f ^ S PS ;4 cosx
2p S 02
f x; j
4p
C mn T mn g
2S 1 S S
l
1 X
2S 12 f ^ 2S P2S ;4 cosx
2p2 S 0
l
1 X
sin2S 1x
2
2S 1f ^ 2S
2p S 0
sinx
l X
S
S
X
X
CSmn YS ;m hYS ;n r
12
S 0 nS mS
is turned into
f g; g0 ; jf
261
with the even-order Chebychev polynomials of second kind U2n (x/2)=((sin (2n + 1)x/2)/(sin x/2)).
Formally, a spherical singular integral may be
associated with its harmonic series
l
X
2S 1 ^
f 2S
2p2
S 0
sin2S 1xgg01 =2
sinxgg01 =2
9
vq F; rf
l X
n
X
vq F; B; Yn;j BYn;j r
n0 jn
and
l
X
2S 1
Xf ^
X f B; g0 ; j
h; rf
4p
S 0
S PS h g0 r Xf h g0 r; j
l X
n
X
n0 jn
10
l X
n
X
^
v^q nFn;j
hYn;j r
13
n0 jn
l
1 X
S 12 f ^ S PS ;4 cosx
2
2p S 0
l
1 X
1
S 1f ^ S CS cosx
2p2 S 0
l
1 X
S 1f
^ S US cosx
2p2 S 0
1
2p2
l
X
S 1f ^ S
S 0
sinS 1x
sinx
v^q n 2p
1
vq tPn tdt G; Pn
and
^
Fn;j
h Fh; B; Yn;j B
11
262
l
X
1
I S q I S 1 q
PS t
2S 1
4p S 0
2B 32 ; q 12
1
1t q
vn t
B1; q 1
2
(iii) vq t
l
1 X
2S 1q2S PS t
4p S 0
2
1
1q
pq t
4p 1 q2 2qt3=2
l
I S 1=2 q
1 X
PS t
2S 1
(iv) vq t
I 1=2 q
4p S 0
3.3.1. Singular integral of Gauss Weierstrass, spherical Brownian standard probability density function
Choosing
hq n; j hq n expnn 1q
with qaIA=(0, l), q0 = 0, it follows that
l
1 X
2n 1hq nPn t
4p n0
l
1 X
2n 1expnn 1qPn t
4p n0
bt; q
bt; q
(ii) vq t
q
expqt mt; q
4psinhq
(v) vq t
l
1 X
I S q I S 1 q
PS t
2S 1
4p S 0
I 0 q I 1 q
q
q
1
I0 1 t exp t 1
4psinhq
2
2
XM t; q
14
NS
hN
X
ak hbr rk ; q
k1
ak hbr rk ; qcFh; rk
K
X
ak hbr rk ; qk
hq n; j hj n
2
2
>
:
0
if n > j
where
0 1
2S
S
X
B C
I S j
1k @ A
k0
2k
1
1
B k ;j S k
;
2
2
Z
X3
S 0; 1; . . .
with jaIA = N, j0 = l, it follows that
n
1 X
2S 1hj S PS t
4p S 0
n
1 X
I S j I S 1 j
PS t
2S 1
4p S 0
2B 32 ; j 12
1
1t j
vn t
B1; j 1
2
k1
263
16
l
1 X
2n 1hn Pn t
4p n0
1
1 h2
ph t
4p 1 h2 2ht3=2
18
264
hq n; j hj n
l
1 X
2n 1hq nPn t
4p n0
l
1 X
Il j Il1 j
Pn t
2n 1
4p n0
I0 j I1 j
j
j
CM jI0 1 t exp t 1
2
2
20
22
X3
23
Uj Fh; B; r
In j In1 j
I0 j I1 j
hq n; j hj n
l
In1=2 j
1 X
Pn t
2n 1
I1=2 j
4p n0
j
expjt mt; j
4psinhj
XM t; j
l
1 X
2n 1hj nPn t
4p n0
21
X3
l X
S
X
FS^;j hYS ;j r
S 0 jS
l X
S
X
Fh; B; YS ;j BYS ;j r
24
S 0 jS
4. Spherical wavelets
L2
265
L2 X
Y
S 0
Wk X3 Vk1 X3 OVk X3
S Nk 1
YS
L X3 V0 X3 P
2
W X
k
L2
k0
266
Using again
2X
S 1
j0
2S 1
PS r1
r2 ;
YS ;j r1 YS ;j r2
4p
rk;k
r1 ; r2 aX3
T
pk1
pk2
pk1
pk2
pk2
cos
cos
; cos
sin
; sin
2Nk
Nk
2Nk
Nk
Nk
l
X
Fh; B;
S 0
2S 1
PS r
B
4p
SVk Fh; B; r
Fh; B;
S 0
2S 1
PS r
B
4p
Nk1
X
2S 1PS t
S Nk 1
25
HV
k t
30
I
S W
Fh; B; r
k
wV
k 1 kLj Fh; rV
k 1;k
kaIk1
HV
k r
rkV1;k
SWk Fh; B; r
N
k 1
X
S Nk 1
2S 1
PS r
B
Fh; B;
4p
27
Introducing the kernel
GkVt
31
with
Lk Fh; rk1;k
8
< Fh; rk1;k
: I
SV Fh; B; rk1;k
if Fh is large
32
otherwise
Nk
X
2S 1PS t
eventually yields
S 0
I
S VI k1 Fh; B; r SVI k Fh; B; r S W
Fh; B; r
k
it holds
1
SVk Fh; B; r
4p
33
Fh; rVGkVr
rVdxrV
X3
28
The right-hand side can be numerically evaluated
by a sampling theorem (Potts et al., 1996) such that
SVk ( F(h, B); r) c SVIk ( F(h, B); r), i.e.
SVI k Fh; B; r
X
kaIk
Summarizing, the proposed procedure is as follows. The function F(h, r) is known on a coarse r-grid
and SVI ( F(h, B); r) is computed. By inspection or
algorithms (Mhaskar et al., in press), the regions
where F(h, r) and SVI ( F(h, B); r) have large absolute
values and large variations, respectively, are detected.
In the next step, the approximation SVI F is improved
by adding the next wavelet part SWI F. Since F(h, r)
should not be totally sampled on a refined r-grid and
since it is known that SWI F is almost zero in regions
267
Acknowledgements
The authors would like to thank the guest editors of
this special issue of Tectonophysics for the invitation
to contribute and the opportunity to bring a unified
view of the fundamentals of mathematical texture
analysis to the attention of a broader audience.
5. Conclusions
References
Harmonics for the group of rotations SO(3) and the
sphere X3, respectively, provide a major mathematical
prerequisite for texture analysis.
Their application in texture analysis can be largely
clarified and turned instructive if they are introduced
in the way they are used-as real-valued functions
avoiding the classical complex approach featured in
textbooks of texture analysis. Their single most
important property is that of being a group-theoretical
representation. This property is lost if, e.g. the conversion of complex into real harmonics (Bunge, 1969,
1982) is done with less care than actually required.
Convergence of the associated harmonic series
expansions has never been an issue in texture analysis;
it has been taken for granted. However, considerations
of their summability provide a complementary introduction of standard distributions as required in texture
component fitting. Initially introduced on heuristic
grounds to deal with the ghost problem and the
nonnegativity constraint, the focus here is on their
common mathematical basis in terms of harmonics.
The results presented here in the context of texture
analysis are also fundamental for the analysis of
individual crystallographic orientation measurements,
e.g. the approximate identities are used in kernel
density estimations of the orientation probability density function.
The duality of summation processes and spherical
singular integrals provides the key of an appropriate
re-arrangement of the series leading to wavelet texture
268
Freeden, W., Gervens, T., Schreiner, M., 1998. Constructive Approximation on the Sphere with Applications to Geomathematics. Clarendon Press, Oxford.
ber Flachen mit lauter geschlossenen geodatischen
Funk, P., 1913. U
Linien. Math. Ann. 74, 278 300.
Uber eine geometrische Anwendung der
Funk, P., 1916. U
Abelschen Integralgleichung. Math. Ann. 77, 129 135.
Gelfand, I.M., Minlos, R.A., Shapiro, Z.Ya., 1963. Representations
of the Rotation and Lorentz Groups and Their Applications.
Pergamon, Oxford.
Hochstadt, H., 1986. The Functions of Mathematical Physics.
Wiley, New York.
Ivanova, T.M., Nikolayev, D.I., 2001. New standard function for
quantitative texture analysis. Phys. Stat. Solidi, B 228, 825 836.
Mardia, K.V., Jupp, P.E., 2000. Directional Statistics. Wiley, New
York.
Matthies, S., 1980. Standard functions in texture analysis. Phys.
Stat. Solidi, B 101, K111 K115.
Matthies, S., Vinel, G.W., Helming, K., 1987. Standard Distributions in Texture Analysis, vol. I. Akademie Verlag, Berlin.
Matthies, S., Helming, K., Steinkopf, T., Kunze, K., 1988. Standard
distributions for the case of fibre textures. Phys. Stat. Solidi, B
150, K1 K5.
Matthies, S., Vinel, G.W., Helming, K., 1990. Standard Distributions in Texture Analysis, vol. III. Akademie Verlag, Berlin.
Mhaskar, H.N., Narcowich, F.J., Prestin, J., Ward, J.D., 2001. Polynomial frames on the sphere. Adv. Comput. Math. (in press).
Nikolayev, D.I., Savyolova, T.I., 1997. Normal distribution on the
rotation group SO(3). Textures Microstruct. 29, 201 233.
Potts, D., Steidl, G., Tasche, M., 1996. Kernels of spherical harmonics and spherical frames. In: Fontanella, F., Jetter, K., Laurent,
P.-J. (Eds.), Advanced Topics in Multivariate Approximation.
World Scientific Publications, Singapore, pp. 287 301.
ber die Bestimmung von Funktionen durch
Radon, J., 1917. U
ihre Integralwerte langs gewisser Mannigfaltigkeiten. Berichte
uber die Verhandlungen der Koniglich Sachsischen Gesellschaft der Wissenschaften zu Leipzig. Math.-Phys. Klasse
69, 262 277.
Savelova, T.I., [identical with Savyolova], 1984. Distribution functions of grains with respect to orientation in polycrystals and
their Gaussian approximations. Ind. Lab. 50, 468 474 (translated from Zavod. Lab. 50, 48, 52).
Schaeben, H., 1996a. Texture modeling or texture approximation
with components represented by the von Mises Fisher matrix
distribution on SO(3) and the Bingham distribution on S4+.
J. Appl. Crystallogr. 29, 516 525.
Schaeben, H., 1996b. A unified view of methods to resolve the
inverse problem of texture goniometry. Textures Microstruct.
25, 171 181.
Schaeben, H., 1997. A simple standard orientation density function:
the hyperspherical de la Vallee Poussin kernel. Phys. Stat. Solidi, B 200, 367 376.
Schaeben, H., 1999. The de la Vallee Poussin standard orientation
density function. Proceedings of the International Conference on
Neutron Texture and Stress Analysis, Dubna, Russia, June 23
26, 1997. Textures Microstruct. 33, 365 373 (Special Issue).
Schaeben, H., Nikolayev, D.I., 1998. The central limit theorem in
texture component fit methods. Acta Appl. Math. 53, 59 87.
Schaeben, H., Potts, D., Prestin, J., 2001. Spherical wavelets with
an application in preferred crystallographic orientation. Proceedings of the Annual Conference of the International Association
for Mathematical Geology, Cancun, Mexico, Sep 6 12, 2001.
Vilenkin, N.J., 1968. Special Functions and the Theory of Group
Representations. Am. Math. Soc. Transl. of Math. Monographs
22, Providence, 613 pp.
Watson, G.S., 1983. Statistics on Spheres. Wiley, New York.
Zheng, Y., Doerschuk, P.C., 2000. Explicit computation of orthonormal symmetrized harmonics with applications to the identity
representation of the icosahedral group. SIAM J. Math. Anal. 32
(3), 538 554.