DOCSLIB.ORG

Notes on Spherical Harmonics and Linear Representations of Lie Groups

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Notes on Spherical Harmonics and Linear Representations of Lie Groups Notes on Spherical Harmonics and Linear Representations of Lie Groups Jean Gallier Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104, USA e-mail: [email protected] November 13, 2013 2 Contents 1 Spherical Harmonics 5 1.1 Introduction, Spherical Harmonics on the Circle . 5 1.2 Spherical Harmonics on the 2-Sphere . 8 1.3 The Laplace-Beltrami Operator . 15 1.4 Harmonic Polynomials, Spherical Harmonics and L2(Sn) . 22 1.5 Spherical Functions and Representations of Lie Groups . 31 1.6 Reproducing Kernel and Zonal Spherical Functions . 38 1.7 More on the Gegenbauer Polynomials . 47 1.8 The Funk-Hecke Formula . 50 1.9 Convolution on G=K, for a Gelfand Pair (G; K) . 53 3 4 CONTENTS Chapter 1 Spherical Harmonics and Linear Representations of Lie Groups 1.1 Introduction, Spherical Harmonics on the Circle In this chapter, we discuss spherical harmonics and take a glimpse at the linear representa- tion of Lie groups. Spherical harmonics on the sphere, S2, have interesting applications in computer graphics and computer vision so this material is not only important for theoretical reasons but also for practical reasons. Joseph Fourier (1768-1830) invented Fourier series in order to solve the heat equation [12]. Using Fourier series, every square-integrable periodic function, f, (of period 2π) can be expressed uniquely as the sum of a power series of the form 1 X f(θ) = a0 + (ak cos kθ + bk cos kθ); k=1 where the Fourier coefficients, ak; bk, of f are given by the formulae 1 Z π 1 Z π 1 Z π a0 = f(θ) dθ; ak = f(θ) cos kθ dθ; bk = f(θ) sin kθ dθ; 2π −π π −π π −π for k ≥ 1. The reader will find the above formulae in Fourier's famous book [12] in Chapter III, Section 233, page 256, essentially using the notation that we use nowdays. This remarkable discovery has many theoretical and practical applications in physics, signal processing, engineering, etc. We can describe Fourier series in a more conceptual manner if we introduce the following inner product on square-integrable functions: Z π hf; gi = f(θ)g(θ) dθ; −π 5 6 CHAPTER 1. SPHERICAL HARMONICS which we will also denote by Z hf; gi = f(θ)g(θ) dθ; S1 where S1 denotes the unit circle. After all, periodic functions of (period 2π) can be viewed as functions on the circle. With this inner product, the space L2(S1) is a complete normed 1 vector space, that is, a Hilbert space. Furthermore, if we define the subspaces, Hk(S ), 2 1 1 1 of L (S ), so that H0(S ) (= R) is the set of constant functions and Hk(S ) is the two- dimensional space spanned by the functions cos kθ and sin kθ, then it turns out that we have a Hilbert sum decomposition 1 2 1 M 1 L (S ) = Hk(S ) k=0 S1 1 2 1 into pairwise orthogonal subspaces, where k=0 Hk(S ) is dense in L (S ). The functions 1 cos kθ and sin kθ are also orthogonal in Hk(S ). 1 Now, it turns out that the spaces, Hk(S ), arise naturally when we look for homoge- neous solutions of the Laplace equation, ∆f = 0, in R2 (Pierre-Simon Laplace, 1749-1827). Roughly speaking, a homogeneous function in R2 is a function that can be expressed in polar coordinates, (r; θ), as f(r; θ) = rkg(θ): Recall that the Laplacian on R2 expressed in cartesian coordinates, (x; y), is given by @2f @2f ∆f = + ; @x2 @y2 where f : R2 ! R is a function which is at least of class C2. In polar coordinates, (r; θ), where (x; y) = (r cos θ; r sin θ) and r > 0, the Laplacian is given by 1 @ @f 1 @2f ∆f = r + : r @r @r r2 @θ2 If we restrict f to the unit circle, S1, then the Laplacian on S1 is given by @2f ∆ 1 f = : s @θ2 1 2 It turns out that the space Hk(S ) is the eigenspace of ∆S1 for the eigenvalue −k . To show this, we consider another question, namely, what are the harmonic functions on R2, that is, the functions, f, that are solutions of the Laplace equation, ∆f = 0: Our ancestors had the idea that the above equation can be solved by separation of variables. This means that we write f(r; θ) = F (r)g(θ) , where F (r) and g(θ) are independent functions. 1.1. INTRODUCTION, SPHERICAL HARMONICS ON THE CIRCLE 7 To make things easier, let us assume that F (r) = rk, for some integer k ≥ 0, which means that we assume that f is a homogeneous function of degree k. Recall that a function, f : R2 ! R, is homogeneous of degree k iff f(tx; ty) = tkf(x; y) for all t > 0: Now, using the Laplacian in polar coordinates, we get 1 @ @(rkg(θ)) 1 @2(rkg(θ)) ∆f = r + r @r @r r2 @θ2 1 @ @2g = krkg + rk−2 r @r @θ2 @2g = rk−2k2g + rk−2 @θ2 k−2 2 = r (k g + ∆S1 g): Thus, we deduce that 2 ∆f = 0 iff ∆S1 g = −k g; 2 that is, g is an eigenfunction of ∆S1 for the eigenvalue −k . But, the above equation is equivalent to the second-order differential equation d2g + k2g = 0; dθ2 whose general solution is given by g(θ) = an cos kθ + bn sin kθ: 2 In summary, we found that the integers, 0; −1; −4; −9;:::; −k ;::: are eigenvalues of ∆S1 and that the functions cos kθ and sin kθ are eigenfunctions for the eigenvalue −k2, with k ≥ 0. So, it looks like the dimension of the eigenspace corresponding to the eigenvalue −k2 is 1 when k = 0 and 2 when k ≥ 1. It can indeed be shown that ∆S1 has no other eigenvalues and that the dimensions claimed for the eigenspaces are correct. Observe that if we go back to our homogeneous harmonic functions, f(r; θ) = rkg(θ), we see that this space is spanned by the functions k k uk = r cos kθ; vk = r sin kθ: Now, (x + iy)k = rk(cos kθ + i sin kθ), and since <(x + iy)k and =(x + iy)k are homogeneous polynomials, we see that uk and vk are homogeneous polynomials called harmonic polyno- mials. For example, here is a list of a basis for the harmonic polynomials (in two variables) of degree k = 0; 1; 2; 3; 4: k = 0 1 k = 1 x; y k = 2 x2 − y2; xy k = 3 x3 − 3xy2; 3x2y − y3 k = 4 x4 − 6x2y2 + y4; x3y − xy3: 8 CHAPTER 1. SPHERICAL HARMONICS Therefore, the eigenfunctions of the Laplacian on S1 are the restrictions of the harmonic 2 1 2 1 L1 1 polynomials on R to S and we have a Hilbert sum decomposition, L (S ) = k=0 Hk(S ). It turns out that this phenomenon generalizes to the sphere Sn ⊆ Rn+1 for all n ≥ 1. Let us take a look at next case, n = 2. 1.2 Spherical Harmonics on the 2-Sphere The material of section is very classical and can be found in many places, for example Andrews, Askey and Roy [1] (Chapter 9), Sansone [25] (Chapter III), Hochstadt [17] (Chapter 6) and Lebedev [21] (Chapter ). We recommend the exposition in Lebedev [21] because we find it particularly clear and uncluttered. We have also borrowed heavily from some lecture notes by Hermann Gluck for a course he offered in 1997-1998. Our goal is to find the homogeneous solutions of the Laplace equation, ∆f = 0, in R3, 2 and to show that they correspond to spaces, Hk(S ), of eigenfunctions of the Laplacian, ∆S2 , on the 2-sphere, 2 3 2 2 2 S = f(x; y; z) 2 R j x + y + z = 1g: 2 Then, the spaces Hk(S ) will give us a Hilbert sum decomposition of the Hilbert space, L2(S2), of square-integrable functions on S2. This is the generalization of Fourier series to 2 the 2-sphere and the functions in the spaces Hk(S ) are called spherical harmonics. The Laplacian in R3 is of course given by @2f @2f @2f ∆f = + + : @x2 @y2 @z2 If we use spherical coordinates x = r sin θ cos ' y = r sin θ sin ' z = r cos θ; in R3, where 0 ≤ θ < π, 0 ≤ ' < 2π and r > 0 (recall that ' is the so-called azimuthal angle in the xy-plane originating at the x-axis and θ is the so-called polar angle from the z-axis, angle defined in the plane obtained by rotating the xz-plane around the z-axis by the angle '), then the Laplacian in spherical coordinates is given by 1 @ 2 @f 1 ∆f = r + ∆ 2 f; r2 @r @r r2 S where 1 @ @f 1 @2f ∆ 2 f = sin θ + ; S sin θ @θ @θ sin2 θ @'2 1.2. SPHERICAL HARMONICS ON THE 2-SPHERE 9 is the Laplacian on the sphere, S2 (for example, see Lebedev [21], Chapter 8 or Section 1.3, where we derive this formula). Let us look for homogeneous harmonic functions, f(r; θ; ') = rkg(θ; '), on R3, that is, solutions of the Laplace equation ∆f = 0: We get k 1 @ 2 @(r g) 1 k ∆f = r + ∆ 2 (r g) r2 @r @r r2 S 1 @ k+1 k−2 = kr g + r ∆ 2 g r2 @r S k−2 k−2 = r k(k + 1)g + r ∆S2 g k−2 = r (k(k + 1)g + ∆S2 g): Therefore, ∆f = 0 iff ∆S2 g = −k(k + 1)g; that is, g is an eigenfunction of ∆S2 for the eigenvalue −k(k + 1).
Load more

Recommended publications
  • Physics.Hist-Ph] 15 May 2018 Meitl,Fo Hsadsadr Nepeainlprinciples
    Why Be Regular?, Part I Benjamin Feintzeig Department of Philosophy University of Washington JB (Le)Manchak, Sarita Rosenstock, James Owen Weatherall Department of Logic and Philosophy of Science University of California, Irvine Abstract We provide a novel perspective on “regularity” as a property of representations of the Weyl algebra. We first critique a proposal by Halvorson [2004, “Complementarity of representa- tions in quantum mechanics”, Studies in History and Philosophy of Modern Physics 35(1), pp. 45–56], who argues that the non-regular “position” and “momentum” representations of the Weyl algebra demonstrate that a quantum mechanical particle can have definite values for position or momentum, contrary to a widespread view. We show that there are obstacles to such an intepretation of non-regular representations. In Part II, we propose a justification for focusing on regular representations, pace Halvorson, by drawing on algebraic methods. 1. Introduction It is standard dogma that, according to quantum mechanics, a particle does not, and indeed cannot, have a precise value for its position or for its momentum. The reason is that in the standard Hilbert space representation for a free particle—the so-called Schr¨odinger Representation of the Weyl form of the canonical commutation relations (CCRs)—there arXiv:1805.05568v1 [physics.hist-ph] 15 May 2018 are no eigenstates for the position and momentum magnitudes, P and Q; the claim follows immediately, from this and standard interpretational principles.1 Email addresses: [email protected] (Benjamin Feintzeig), [email protected] (JB (Le)Manchak), [email protected] (Sarita Rosenstock), [email protected] (James Owen Weatherall) 1Namely, the Eigenstate–Eigenvalue link, according to which a system has an exact value of a given property if and only if its state is an eigenstate of the operator associated with that property.
    [Show full text]
  • Ladder Operators for Lam\'E Spheroconal Harmonic Polynomials
    Symmetry, Integrability and Geometry: Methods and Applications SIGMA 8 (2012), 074, 16 pages Ladder Operators for Lam´eSpheroconal Harmonic Polynomials? Ricardo MENDEZ-FRAGOSO´ yz and Eugenio LEY-KOO z y Facultad de Ciencias, Universidad Nacional Aut´onomade M´exico, M´exico E-mail: [email protected] URL: http://sistemas.fciencias.unam.mx/rich/ z Instituto de F´ısica, Universidad Nacional Aut´onomade M´exico, M´exico E-mail: eleykoo@fisica.unam.mx Received July 31, 2012, in final form October 09, 2012; Published online October 17, 2012 http://dx.doi.org/10.3842/SIGMA.2012.074 Abstract. Three sets of ladder operators in spheroconal coordinates and their respective actions on Lam´espheroconal harmonic polynomials are presented in this article. The poly- nomials are common eigenfunctions of the square of the angular momentum operator and of the asymmetry distribution Hamiltonian for the rotations of asymmetric molecules, in the body-fixed frame with principal axes. The first set of operators for Lam´epolynomials of a given species and a fixed value of the square of the angular momentum raise and lower and lower and raise in complementary ways the quantum numbers n1 and n2 counting the respective nodal elliptical cones. The second set of operators consisting of the cartesian components L^x, L^y, L^z of the angular momentum connect pairs of the four species of poly- nomials of a chosen kind and angular momentum. The third set of operators, the cartesian componentsp ^x,p ^y,p ^z of the linear momentum, connect pairs of the polynomials differing in one unit in their angular momentum and in their parities.
    [Show full text]
  • Quaternion Zernike Spherical Polynomials
    MATHEMATICS OF COMPUTATION Volume 84, Number 293, May 2015, Pages 1317–1337 S 0025-5718(2014)02888-3 Article electronically published on August 29, 2014 QUATERNION ZERNIKE SPHERICAL POLYNOMIALS J. MORAIS AND I. CAC¸ AO˜ Abstract. Over the past few years considerable attention has been given to the role played by the Zernike polynomials (ZPs) in many different fields of geometrical optics, optical engineering, and astronomy. The ZPs and their applications to corneal surface modeling played a key role in this develop- ment. These polynomials are a complete set of orthogonal functions over the unit circle and are commonly used to describe balanced aberrations. In the present paper we introduce the Zernike spherical polynomials within quater- nionic analysis ((R)QZSPs), which refine and extend the Zernike moments (defined through their polynomial counterparts). In particular, the underlying functions are of three real variables and take on either values in the reduced and full quaternions (identified, respectively, with R3 and R4). (R)QZSPs are orthonormal in the unit ball. The representation of these functions in terms of spherical monogenics over the unit sphere are explicitly given, from which several recurrence formulae for fast computer implementations can be derived. A summary of their fundamental properties and a further second or- der homogeneous differential equation are also discussed. As an application, we provide the reader with plot simulations that demonstrate the effectiveness of our approach. (R)QZSPs are new in literature and have some consequences that are now under investigation. 1. Introduction 1.1. The Zernike spherical polynomials. The complex Zernike polynomials (ZPs) have long been successfully used in many different fields of optics.
    [Show full text]
  • FUNCTIONAL ANALYSIS 1. Banach and Hilbert Spaces in What
    FUNCTIONAL ANALYSIS PIOTR HAJLASZ 1. Banach and Hilbert spaces In what follows K will denote R of C. Definition. A normed space is a pair (X, k · k), where X is a linear space over K and k · k : X → [0, ∞) is a function, called a norm, such that (1) kx + yk ≤ kxk + kyk for all x, y ∈ X; (2) kαxk = |α|kxk for all x ∈ X and α ∈ K; (3) kxk = 0 if and only if x = 0. Since kx − yk ≤ kx − zk + kz − yk for all x, y, z ∈ X, d(x, y) = kx − yk defines a metric in a normed space. In what follows normed paces will always be regarded as metric spaces with respect to the metric d. A normed space is called a Banach space if it is complete with respect to the metric d. Definition. Let X be a linear space over K (=R or C). The inner product (scalar product) is a function h·, ·i : X × X → K such that (1) hx, xi ≥ 0; (2) hx, xi = 0 if and only if x = 0; (3) hαx, yi = αhx, yi; (4) hx1 + x2, yi = hx1, yi + hx2, yi; (5) hx, yi = hy, xi, for all x, x1, x2, y ∈ X and all α ∈ K. As an obvious corollary we obtain hx, y1 + y2i = hx, y1i + hx, y2i, hx, αyi = αhx, yi , Date: February 12, 2009. 1 2 PIOTR HAJLASZ for all x, y1, y2 ∈ X and α ∈ K. For a space with an inner product we define kxk = phx, xi . Lemma 1.1 (Schwarz inequality).
    [Show full text]
  • Laplacian Eigenmodes for the Three Sphere
    Laplacian eigenmodes for the three sphere M. Lachi`eze-Rey Service d’Astrophysique, C. E. Saclay 91191 Gif sur Yvette cedex, France October 10, 2018 Abstract The vector space k of the eigenfunctions of the Laplacian on the 3 V three sphere S , corresponding to the same eigenvalue λk = k (k + 2 − k 2), has dimension (k + 1) . After recalling the standard bases for , V we introduce a new basis B3, constructed from the reductions to S3 of peculiar homogeneous harmonic polynomia involving null vectors. We give the transformation laws between this basis and the usual hyper-spherical harmonics. Thanks to the quaternionic representations of S3 and SO(4), we are able to write explicitely the transformation properties of B3, and thus of any eigenmode, under an arbitrary rotation of SO(4). This offers the possibility to select those functions of k which remain invariant under V a chosen rotation of SO(4). When the rotation is an holonomy transfor- mation of a spherical space S3/Γ, this gives a method to calculates the eigenmodes of S3/Γ, which remains an open probleme in general. We illustrate our method by (re-)deriving the eigenmodes of lens and prism space. In a forthcoming paper, we present the derivation for dodecahedral space. 1 Introduction 3 The eigenvalues of the Laplacian ∆ of S are of the form λk = k (k + 2), + − k where k IN . For a given value of k, they span the eigenspace of ∈ 2 2 V dimension (k +1) . This vector space constitutes the (k +1) dimensional irreductible representation of SO(4), the isometry group of S3.
    [Show full text]
  • A User's Guide to Spherical Harmonics
    A User's Guide to Spherical Harmonics Martin J. Mohlenkamp∗ Version: October 18, 2016 This pamphlet is intended for the scientist who is considering using Spherical Harmonics for some appli- cation. It is designed to introduce the Spherical Harmonics from a theoretical perspective and then discuss those practical issues necessary for their use in applications. I expect great variability in the backgrounds of the readers. In order to be informative to those who know less, without insulting those who know more, I have adopted the strategy \State even basic facts, but briefly." My dissertation work was a fast transform for Spherical Harmonics [6]. After its publication, I started receiving questions about Spherical Harmonics in general, rather than about my work specifically. This pamphlet aims to answer such general questions. If you find mistakes, or feel that important material is unclear or missing, please inform me. 1 A Theory of Spherical Harmonics In this section we give a development of Spherical Harmonics. There are other developments from other perspectives. The one chosen here has the benefit of being very concrete. 1.1 Mathematical Preliminaries We define the L2 inner product of two functions to be Z hf; gi = f(s)¯g(s)ds (1) R 2π whereg ¯ denotes complex conjugation and the integral is over the space of interest, for example 0 dθ on the R 2π R π 2 p 2 circle or 0 0 sin φdφdθ on the sphere. We define the L norm by jjfjj = hf; fi. The space L consists of all functions such that jjfjj < 1.
    [Show full text]
  • Fourier Analysis Using Representation Theory
    FOURIER ANALYSIS USING REPRESENTATION THEORY NEEL PATEL Abstract. In this paper, it is our goal to develop the concept of Fourier transforms by using Representation Theory. We begin by laying basic def- initions that will help us understand the definition of a representation of a group. Then, we define representations and provide useful definitions and the- orems. We study representations and key theorems about representations such as Schur's Lemma. In addition, we develop the notions of irreducible repre- senations, *-representations, and equivalence classes of representations. After doing so, we develop the concept of matrix realizations of irreducible represen- ations. This concept will help us come up with a few theorems that lead up to our study of the Fourier transform. We will develop the definition of a Fourier transform and provide a few observations about the Fourier transform. Contents 1. Essential Definitions 1 2. Group Representations 3 3. Tensor Products 7 4. Matrix Realizations of Representations 8 5. Fourier Analysis 11 Acknowledgments 12 References 12 1. Essential Definitions Definition 1.1. An internal law of composition on a set R is a product map P : R × R ! R Definition 1.2. A group G, is a set with an internal law of composition such that: (i) P is associative. i.e. P (x; P (y; z)) = P (P (x; y); z) (ii) 9 an identity; e; 3 if x 2 G; then P (x; e) = P (e; x) = x (iii) 9 inverses 8x 2 G, denoted by x−1, 3 P (x; x−1) = P (x−1; x) = e: Let it be noted that we shorthand P (x; y) as xy.
    [Show full text]
  • Factorization of Unitary Representations of Adele Groups Paul Garrett [email protected]
    (February 19, 2005) Factorization of unitary representations of adele groups Paul Garrett [email protected] http://www.math.umn.edu/˜garrett/ The result sketched here is of fundamental importance in the ‘modern’ theory of automorphic forms and L-functions. What it amounts to is proof that representation theory is in principle relevant to study of automorphic forms and L-function. The goal here is to get to a coherent statement of the basic factorization theorem for irreducible unitary representations of reductive linear adele groups, starting from very minimal prerequisites. Thus, the writing is discursive and explanatory. All necessary background definitions are given. There are no proofs. Along the way, many basic concepts of wider importance are illustrated, as well. One disclaimer is necessary: while in principle this factorization result makes it clear that representation theory is relevant to study of automorphic forms and L-functions, in practice there are other things necessary. In effect, one needs to know that the representation theory of reductive linear p-adic groups is tractable, so that conversion of other issues into representation theory is a change for the better. Thus, beyond the material here, one will need to know (at least) the basic properties of spherical and unramified principal series representations of reductive linear groups over local fields. The fact that in some sense there is just one irreducible representation of a reductive linear p-adic group will have to be pursued later. References and historical notes
    [Show full text]
  • 32 FA15 Abstracts
    32 FA15 Abstracts IP1 metric simple exclusion process and the KPZ equation. In Vector-Valued Nonsymmetric and Symmetric Jack addition, the experiments of Takeuchi and Sano will be and Macdonald Polynomials briefly discussed. For each partition τ of N there are irreducible representa- Craig A. Tracy tions of the symmetric group SN and the associated Hecke University of California, Davis algebra HN (q) on a real vector space Vτ whose basis is [email protected] indexed by the set of reverse standard Young tableaux of shape τ. The talk concerns orthogonal bases of Vτ -valued polynomials of x ∈ RN . The bases consist of polyno- IP6 mials which are simultaneous eigenfunctions of commuta- Limits of Orthogonal Polynomials and Contrac- tive algebras of differential-difference operators, which are tions of Lie Algebras parametrized by κ and (q, t) respectively. These polynomi- als reduce to the ordinary Jack and Macdonald polynomials In this talk, I will discuss the connection between superin- when the partition has just one part (N). The polynomi- tegrable systems and classical systems of orthogonal poly- als are constructed by means of the Yang-Baxter graph. nomials in particular in the expansion coefficients between There is a natural bilinear form, which is positive-definite separable coordinate systems, related to representations of for certain ranges of parameter values depending on τ,and the (quadratic) symmetry algebras. This connection al- there are integral kernels related to the bilinear form for lows us to extend the Askey scheme of classical orthogonal the group case, of Gaussian and of torus type. The mate- polynomials and the limiting processes within the scheme.
    [Show full text]
  • Semi-Indefinite-Inner-Product and Generalized Minkowski Spaces
    Semi-indefinite-inner-product and generalized Minkowski spaces A.G.Horv´ath´ Department of Geometry, Budapest University of Technology and Economics, H-1521 Budapest, Hungary Nov. 3, 2008 Abstract In this paper we parallelly build up the theories of normed linear spaces and of linear spaces with indefinite metric, called also Minkowski spaces for finite dimensions in the literature. In the first part of this paper we collect the common properties of the semi- and indefinite-inner-products and define the semi-indefinite- inner-product and the corresponding structure, the semi-indefinite-inner- product space. We give a generalized concept of Minkowski space embed- ded in a semi-indefinite-inner-product space using the concept of a new product, that contains the classical cases as special ones. In the second part of this paper we investigate the real, finite dimen- sional generalized Minkowski space and its sphere of radius i. We prove that it can be regarded as a so-called Minkowski-Finsler space and if it is homogeneous one with respect to linear isometries, then the Minkowski- Finsler distance its points can be determined by the Minkowski-product. MSC(2000):46C50, 46C20, 53B40 Keywords: normed linear space, indefinite and semi-definite inner product, arXiv:0901.4872v1 [math.MG] 30 Jan 2009 orthogonality, Finsler space, group of isometries 1 Introduction 1.1 Notation and Terminology concepts without definition: real and complex vector spaces, basis, dimen- sion, direct sum of subspaces, linear and bilinear mapping, quadratic forms, inner (scalar) product, hyperboloid, ellipsoid, hyperbolic space and hyperbolic metric, kernel and rank of a linear mapping.
    [Show full text]
  • Q-KRAWTCHOUK POLYNOMIALS AS SPHERICAL FUNCTIONS on the HECKE ALGEBRA of TYPE B
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 352, Number 10, Pages 4789{4813 S 0002-9947(00)02588-5 Article electronically published on April 21, 2000 q-KRAWTCHOUK POLYNOMIALS AS SPHERICAL FUNCTIONS ON THE HECKE ALGEBRA OF TYPE B H. T. KOELINK Abstract. The Hecke algebra for the hyperoctahedral group contains the Hecke algebra for the symmetric group as a subalgebra. Inducing the index representation of the subalgebra gives a Hecke algebra module, which splits multiplicity free. The corresponding zonal spherical functions are calculated in terms of q-Krawtchouk polynomials using the quantised enveloping algebra for sl(2; C). The result covers a number of previously established interpretations of (q-)Krawtchouk polynomials on the hyperoctahedral group, finite groups of Lie type, hypergroups and the quantum SU(2) group. 1. Introduction The hyperoctahedral group is the finite group of signed permutations, and it con- tains the permutation group as a subgroup. The functions on the hyperoctahedral group, which are left and right invariant with respect to the permutation group, are spherical functions. The zonal spherical functions are the spherical functions which are contained in an irreducible subrepresentation of the group algebra under the left regular representation. The zonal spherical functions are known in terms of finite discrete orthogonal polynomials, the so-called symmetric Krawtchouk poly- nomials. This result goes back to Vere-Jones in the beginning of the seventies, and is also contained in the work of Delsarte on coding theory; see [9] for information and references. There are also group theoretic interpretations of q-Krawtchouk polynomials. Here q-Krawtchouk polynomials are q-analogues of the Krawtchouk polynomials in the sense that for q tending to one we recover the Krawtchouk polynomials.
    [Show full text]
  • Orthogonal Functions: the Legendre, Laguerre, and Hermite Polynomials
    ORTHOGONAL FUNCTIONS: THE LEGENDRE, LAGUERRE, AND HERMITE POLYNOMIALS THOMAS COVERSON, SAVARNIK DIXIT, ALYSHA HARBOUR, AND TYLER OTTO Abstract. The Legendre, Laguerre, and Hermite equations are all homogeneous second order Sturm-Liouville equations. Using the Sturm-Liouville Theory we will be able to show that polynomial solutions to these equations are orthogonal. In a more general context, finding that these solutions are orthogonal allows us to write a function as a Fourier series with respect to these solutions. 1. Introduction The Legendre, Laguerre, and Hermite equations have many real world practical uses which we will not discuss here. We will only focus on the methods of solution and use in a mathematical sense. In solving these equations explicit solutions cannot be found. That is solutions in in terms of elementary functions cannot be found. In many cases it is easier to find a numerical or series solution. There is a generalized Fourier series theory which allows one to write a function f(x) as a linear combination of an orthogonal system of functions φ1(x),φ2(x),...,φn(x),... on [a; b]. The series produced is called the Fourier series with respect to the orthogonal system. While the R b a f(x)φn(x)dx coefficients ,which can be determined by the formula cn = R b 2 , a φn(x)dx are called the Fourier coefficients with respect to the orthogonal system. We are concerned only with showing that the Legendre, Laguerre, and Hermite polynomial solutions are orthogonal and can thus be used to form a Fourier series. In order to proceed we must define an inner product and define what it means for a linear operator to be self- adjoint.
    [Show full text]