DOCSLIB.ORG

On a Generalization of O'connor's and Gajda's Functional Equations

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
On a Generalization of O'connor's and Gajda's Functional Equations Math-Recherche et Application, Vol.7, (2005), pp. 49–70 On a generalization of O’Connor’s and Gajda’s functional equations Belaid Bouikhalene and Samir Kabbaj Department of Mathematics, University of Ibn Tofail, Faculty of Sciences, BP : 133, K´enitra - Morocco. E-mail: [email protected], [email protected] AMS classification : 39B32. 39B42. 22D10. 22D12. 22D15. Abstract In this paper, we study functional equations of the form Z n X −1 X −1 E(K) f(xkϕ(y)k )dωK (k) = |Φ| ai(x )ai(y), x, y ∈ G, ϕ∈Φ K i=1 where G is a locally compact group, K is a compact subgroup of G, ωK is the normalized Haar measure of K, Φ is a finite group of K- invariant morphisms of G and f, a1, ..., an : G −→ C are continuous complex-valued functions such that f and a satisfy the Kannappan type condition (∗) Z Z −1 −1 f(zkxk hyh )dωK (k)dωK (h) = K K Z Z −1 −1 f(zkyk hxh )dωK (k)dωK (h), K K for all x, y, z ∈ G. Our results extend the ones obtained for O’Connor’s and Gajda’s functional equations. 1. Introduction Let G be a locally compact group. Let K be a compact subgroup of G and let ωK be the normalized Haar measure of K. A mapping c Math-Rech. & Appl. 50 Belaid Bouikhalene and Samir Kabbaj ϕ : G → G is a morphism of G if ϕ is a homeomorphism of G onto itself which is either a group-homomorphism, i.e. (ϕ(xy) = ϕ(x)ϕ(y), x, y ∈ G), or a group-antihomomorphism, i.e. (ϕ(xy) = ϕ(y)ϕ(x), x, y ∈ G). We denote by Mor(G) the group of morphism of G and Φ a finite subgroup of Mor(G) of a K-invariant morphisms of G (i.e. ϕ(K) ⊂ K, for all ϕ ∈ Φ). The number of elements of a finite group Φ will be designated by |Φ|. Cb(G) (resp. C(G)) designates the Banach space of bounded continuous ( resp. continuous) complex valued functions on G. The Banach space of all complex measurable and essentially bounded functions on G is denoted by L∞(G). By L1(G) designates the Banach algebra of all integrable K functions on G and L1 (G) the subalgebra of the functions in L1(G) −1 K that are K-invariant (i.e. f(kxk ) = f(x), x ∈ G, k ∈ K). If L1 (G) is commutative, we say that (G, K) is a Gelfand pair ([7],[11],[13], [16]). A non-zero function f ∈ C(G) is said a K-spherical function if it satisfies the functional equation ([4], [7], [10], [11], [13], [16], [19], [20], [21]) Z −1 f(xkyk )dωK (k) = f(x)f(y), x, y ∈ G. K In this paper, we consider the functional equation Z n X −1 X −1 f(xkϕ(y)k )dωK (k) = |Φ| ai(x )ai(y), x, y ∈ G. (1) ϕ∈Φ K i=1 When Φ = {I} (resp. Φ = {I, σ}), where σ is a continuous involution on G such that σ(K) ⊂ K), (1.1) is reduced to the equation Z n −1 X −1 f(xkyk )dωK (k) = ai(x )ai(y), x, y ∈ G, (2) K i=1 (resp. Z Z −1 −1 f(xkyk )dωK (k) + f(xkσ(y)k )dωK (k) = (3) K K n X −1 2 ai(x )ai(y), x, y ∈ G.) i=1 on a generalization of o’connor’s and gajda’s equations 51 In a recent paper [23], Stetkær studied the equation (1.2) in the case where K is a compact subgroup of Aut(G) such that (G, K) is a Gelfand pair. If G is a locally compact abelian group K = {e} and Φ = {I} (resp. Φ = {I, −I}), the equation (1.2) (resp. (1.3)) is reduced to the O’Connor’s functional equation [18] n X F (x − y) = bi(x)bi(y), x, y ∈ G, (4) i=1 (resp. Gajda’s functional equation [14] n X F (x + y) + F (x − y) = 2 bi(x)bi(y), x, y ∈ G), (5) i=1 where F (x) = f(−x), x ∈ G and bi = ai, i ∈ {1, ..., n}. When n = 1, the equation (1.1) becomes Z X −1 −1 f(xkϕ(y)k )dωK (k) = a1(x )a1(y), x, y ∈ G, (6) ϕ∈Φ K which encompass several functional equations of type d’Alembert and Wilson ([9],[12], [21], [25]). Furthermore the equation (1.1) may be considered as a common generalization of a many functional equations of generalized O’Connor’s and Gajda’s functional equations like Z n X X −1 f(xkϕ(y))dωK (k) = |Φ| ai(x )ai(y), x, y ∈ G, (7) ϕ∈Φ K i=1 Z n X −1 f(xky)dωK (k) = ai(x )ai(y), x, y ∈ G, (8) K i=1 52 Belaid Bouikhalene and Samir Kabbaj Z Z n X −1 f(xky)dωK (k) + f(xkσ(y))dωK (k) = 2 ai(x )ai(y), K K i=1 x, y ∈ G, (9) Z n X −1 Σϕ∈Φ f(xkϕ(y))χ(k)dωK (k) = |Φ| ai(x )ai(y), x, y ∈ G, K i=1 (10) Z n X −1 f(xky)χ(k)dωK (k) = ai(x )ai(y), x, y ∈ G, (11) K i=1 Z Z f(xky)χ(k)dωK (k) + f(xkσ(y))χ(k)dωK (k) = (12) K K n X −1 2 ai(x )ai(y), x, y ∈ G, i=1 where χ is a unitary character of K. It is also a generalization of the functional equations n X X −1 f(xϕ(y)) = |Φ| ai(x )ai(y), x, y ∈ G, (13) ϕ∈Φ i=1 Z n X −1 X −1 f(xtϕ(y) )dt = |Φ| ai(x )ai(y), x, y ∈ G, (14) ϕ∈Φ G i=1 Z n −1 X −1 f(xtyt )dt = ai(x )ai(y), x, y ∈ G, (15) G i=1 Z Z n −1 −1 X −1 f(xtyt )dt + f(xtσ(y)t )dt = 2 ai(x )ai(y), x, y ∈ G, G K i=1 (16) where G is a compact group and σ is a continuous involution on G. The aim of this work is to study functional equation (1.1). This paper is organized as follows. In the first section after this introduction, we on a generalization of o’connor’s and gajda’s equations 53 study the functional equation (1.6). In the second section, with the assumption that the set of functions {a1, ..., an} is linearly independent and f, a satisfy the Kannappan type condition (∗) ([8], [12]), we deal with the equation (1.1). In section 3, we assume that Φ is a compact subgroup of Aut(G) and (G, K) is a Gelfand pair, we determine the continuous bounded solutions of (1.6) and (1.1). In the last section, we give some applications. P R −1 2. On the functional equation ϕ∈Φ K f(xkϕ(y)k )dωK (k) = −1 a1(x )a1(y) In what follows, we study general properties of the solutions of (1.6). Let G be a locally compact group, K be a compact subgroup of G and let Φ be a finite group of K-invariant morphisms of G. PROPOSITION 2.1 ([8],[9]). For an arbitrary fixed τ ∈ Φ, and f ∈ C(G), we have i) the mapping ϕ −→ ϕ ◦ τ is a bijection of Φ. R −1 ii) Σϕ∈Φ K f(xkϕ(τ(y))k )dωK (k) = R −1 Σϕ∈Φ K f(xkϕ(y)k )dωK (k), x, y ∈ G, . iii) If f is K-invariant and satisfies the condition (∗), then for all z, y, x ∈ G, we have Z Z −1 −1 f(ykxk )dωK (k) = f(xkyk )dωK (k), K K 4i) If f satisfies the condition (∗), then we have Z Z −1 −1 f(zhϕ(ykxk )h )dωK (h)dωK (k) = K K Z Z −1 −1 f(zhϕ(xkyk )h )dωK (h)dωK (k), K K Z Z −1 −1 f(xkϕ(hy)k )dωK (k) = f(xkϕ(yh)k )dωK (k), K K for all z, y, x ∈ G. 5i) If (G, K) is a Gelfand pair. Then the condition (∗) holds. 54 Belaid Bouikhalene and Samir Kabbaj In the next lemma, we consider the functional equation Z X −1 f(xkϕ(y)k )dωK (k) = |Φ|f(x)g(y), x, y ∈ G. (17) ϕ∈Φ K Lemma 2.1. Let G be a locally compact group and let K be a compact subgroup of G. Let Φ be a finite subgroup of the group morphisms of G such that K is Φ-invariant. Let f, g ∈ C(G) be a solution of (2.1) such that f 6= 0 and satisfies the condition (∗). Then g is a solution of the functional equation Z X −1 g(xkϕ(y)k )dωK (k) = |Φ|g(x)g(y), x, y ∈ G. (18) ϕ∈Φ K Proof. Let x0 ∈ G such that f(x0) 6= 0. By using proposition 2.1 one has for all x, y ∈ G Z −1 |Φ|f(x0) .Σϕ∈Φ g(xkϕ(y)k )dωK (k) K Z −1 = Σϕ∈Φ |Φ|f(x0)g(xkϕ(y)k )dωK (k) K Z −1 −1 = Σϕ∈Φ Στ∈Φf(x0hτ(xkϕ(y)k )h )dωK (h)dωK (k) K Z −1 −1 = Σϕ∈Φ Στ∈Φf(x0hτ(x)kτ(ϕ(y))k h )dωK (h)dωK (k) K Z −1 −1 = Σϕ∈Φ Σψ∈Φf(x0hτ(x)kψ(y)k h )dωK (h)dωK (k) K Z −1 −1 = Σϕ∈Φ Σψ∈Φf(x0hτ(x)h kψ(y)k )dωK (h)dωK (k) K Z −1 = Στ∈Φ |Φ|f(x0hτ(x)h )dωK (h) K 2 = |Φ| f(x0)g(x)g(y).
Load more

Recommended publications
  • On the Stability of a Class of Functional Equations
    Journal of Inequalities in Pure and Applied Mathematics ON THE STABILITY OF A CLASS OF FUNCTIONAL EQUATIONS volume 4, issue 5, article 104, BELAID BOUIKHALENE 2003. Département de Mathématiques et Informatique Received 20 July, 2003; Faculté des Sciences BP 133, accepted 24 October, 2003. 14000 Kénitra, Morocco. Communicated by: K. Nikodem EMail: [email protected] Abstract Contents JJ II J I Home Page Go Back Close c 2000 Victoria University ISSN (electronic): 1443-5756 Quit 098-03 Abstract In this paper, we study the Baker’s superstability for the following functional equation Z X −1 (E (K)) f(xkϕ(y)k )dωK (k) = |Φ|f(x)f(y), x, y ∈ G ϕ∈Φ K where G is a locally compact group, K is a compact subgroup of G, ωK is the normalized Haar measure of K, Φ is a finite group of K-invariant morphisms of On the Stability of A Class of G and f is a continuous complex-valued function on G satisfying the Kannap- Functional Equations pan type condition, for all x, y, z ∈ G Belaid Bouikhalene Z Z Z Z −1 −1 −1 −1 (*) f(zkxk hyh )dωK (k)dωK (h)= f(zkyk hxh )dωK (k)dωK (h). K K K K Title Page We treat examples and give some applications. Contents 2000 Mathematics Subject Classification: 39B72. Key words: Functional equation, Stability, Superstability, Central function, Gelfand JJ II pairs. The author would like to greatly thank the referee for his helpful comments and re- J I marks. Go Back Contents Close 1 Introduction, Notations and Preliminaries ...............
    [Show full text]
  • Arxiv:1902.09497V5 [Math.DS]
    GELFAND PAIRS ADMIT AN IWASAWA DECOMPOSITION NICOLAS MONOD Abstract. Every Gelfand pair (G,K) admits a decomposition G = KP , where P<G is an amenable subgroup. In particular, the Furstenberg boundary of G is homogeneous. Applications include the complete classification of non-positively curved Gelfand pairs, relying on earlier joint work with Caprace, as well as a canonical family of pure spherical functions in the sense of Gelfand–Godement for general Gelfand pairs. Let G be a locally compact group. The space M b(G) of bounded measures on G is an algebra for convolution, which is simply the push-forward of the multiplication map G × G → G. Definition. Let K<G be a compact subgroup. The pair (G,K) is a Gelfand pair if the algebra M b(G)K,K of bi-K-invariant measures is commutative. This definition, rooted in Gelfand’s 1950 work [14], is often given in terms of algebras of func- tions [12]. This is equivalent, by an approximation argument in the narrow topology, but has the inelegance of requiring the choice (and existence) of a Haar measure on G. Examples of Gelfand pairs include notably all connected semi-simple Lie groups G with finite center, where K is a maximal compact subgroup. Other examples are provided by their analogues over local fields [18], and non-linear examples include automorphism groups of trees [23],[2]. All these “classical” examples also have in common another very useful property: they admit a co-compact amenable subgroup P<G. In the semi-simple case, P is a minimal parabolic subgroup.
    [Show full text]
  • MAT 449 : Representation Theory
    MAT 449 : Representation theory Sophie Morel December 17, 2018 Contents I Representations of topological groups5 I.1 Topological groups . .5 I.2 Haar measures . .9 I.3 Representations . 17 I.3.1 Continuous representations . 17 I.3.2 Unitary representations . 20 I.3.3 Cyclic representations . 24 I.3.4 Schur’s lemma . 25 I.3.5 Finite-dimensional representations . 27 I.4 The convolution product and the group algebra . 28 I.4.1 Convolution on L1(G) and the group algebra of G ............ 28 I.4.2 Representations of G vs representations of L1(G) ............. 33 I.4.3 Convolution on other Lp spaces . 39 II Some Gelfand theory 43 II.1 Banach algebras . 43 II.1.1 Spectrum of an element . 43 II.1.2 The Gelfand-Mazur theorem . 47 II.2 Spectrum of a Banach algebra . 48 II.3 C∗-algebras and the Gelfand-Naimark theorem . 52 II.4 The spectral theorem . 55 III The Gelfand-Raikov theorem 59 III.1 L1(G) ....................................... 59 III.2 Functions of positive type . 59 III.3 Functions of positive type and irreducible representations . 65 III.4 The convex set P1 ................................. 68 III.5 The Gelfand-Raikov theorem . 73 IV The Peter-Weyl theorem 75 IV.1 Compact operators . 75 IV.2 Semisimplicity of unitary representations of compact groups . 77 IV.3 Matrix coefficients . 80 IV.4 The Peter-Weyl theorem . 86 IV.5 Characters . 87 3 Contents IV.6 The Fourier transform . 90 IV.7 Characters and Fourier transforms . 93 V Gelfand pairs 97 V.1 Invariant and bi-invariant functions .
    [Show full text]
  • Arxiv:1810.00775V1 [Math-Ph] 1 Oct 2018 .Introduction 1
    Modular structures and extended-modular-group-structures after Hecke pairs Orchidea Maria Lecian Comenius University in Bratislava, Faculty of Mathematics, Physics and Informatics, Department of Theoretical Physics and Physics Education- KTFDF, Mlynsk´aDolina F2, 842 48, Bratislava, Slovakia; Sapienza University of Rome, Faculty of Civil and Industrial Engineering, DICEA- Department of Civil, Constructional and Environmental Engineering, Via Eudossiana, 18- 00184 Rome, Italy. E-mail: [email protected]; [email protected] Abstract. The simplices and the complexes arsing form the grading of the fundamental (desymmetrized) domain of arithmetical groups and non-arithmetical groups, as well as their extended (symmetrized) ones are described also for oriented manifolds in dim > 2. The conditions for the definition of fibers are summarized after Hamiltonian analysis, the latters can in some cases be reduced to those for sections for graded groups, such as the Picard groups and the Vinberg group.The cases for which modular structures rather than modular-group- structure measures can be analyzed for non-arithmetic groups, i.e. also in the cases for which Gelfand triples (rigged spaces) have to be substituted by Hecke couples, as, for Hecke groups, the existence of intertwining operators after the calculation of the second commutator within the Haar measures for the operators of the correspondingly-generated C∗ algebras is straightforward. The results hold also for (also non-abstract) groups with measures on (manifold) boundaries. The Poincar´e invariance of the representation of Wigner-Bargmann (spin 1/2) particles is analyzed within the Fock-space interaction representation. The well-posed-ness of initial conditions and boundary ones for the connected (families of) equations is discussed.
    [Show full text]
  • Multiplicity One Theorem for GL(N) and Other Gelfand Pairs
    Multiplicity one theorem for GL(n) and other Gelfand pairs A. Aizenbud Massachusetts Institute of Technology http://math.mit.edu/~aizenr A. Aizenbud Multiplicity one theorem for GL(n) and other Gelfand pairs L2(S1) = L spanfeinx g geinx = χ(g)einx Example (Spherical Harmonics) 2 2 L m L (S ) = m H m m H = spani fyi g are irreducible representations of O3 Example Let X be a finite set. Let the symmetric group Perm(X) act on X. Consider the space F(X) of complex valued functions on X as a representation of Perm(X). Then it decomposes to direct sum of distinct irreducible representations. Examples Example (Fourier Series) A. Aizenbud Multiplicity one theorem for GL(n) and other Gelfand pairs geinx = χ(g)einx Example (Spherical Harmonics) 2 2 L m L (S ) = m H m m H = spani fyi g are irreducible representations of O3 Example Let X be a finite set. Let the symmetric group Perm(X) act on X. Consider the space F(X) of complex valued functions on X as a representation of Perm(X). Then it decomposes to direct sum of distinct irreducible representations. Examples Example (Fourier Series) L2(S1) = L spanfeinx g A. Aizenbud Multiplicity one theorem for GL(n) and other Gelfand pairs Example (Spherical Harmonics) 2 2 L m L (S ) = m H m m H = spani fyi g are irreducible representations of O3 Example Let X be a finite set. Let the symmetric group Perm(X) act on X. Consider the space F(X) of complex valued functions on X as a representation of Perm(X).
    [Show full text]
  • Gelfand Pairs and Spherical Functions
    I ntnat. J. Math. Math. Sci. 153 Vol. 2 No. 2 (1979) 155-162 GELFAND PAIRS AND SPHERICAL FUNCTIONS JEAN DIEUDONNE Villa Orangini 119 Avenue de Brancolar 06100 Nice, France (Received April 5, 1979) This is a summary of the lectures delivered on Special Functions and Linear Representation of Lie Groups at the NSF-CBMS Research Conference at East Carolina University in March 5-9, 1979. The entire lectures will be published by the American Mathematical Society as a conference monograph in Mathematics. KEY WORDS AND PHRASES. Lie Groups, Linear Representations, Spherical Functions, Special Functions, and Foier Trans forms. 1980 MATHEMATICS SUBJECT CLASSIFICATION CODES. 53A45, 53A65, 45A65, 22EI0. Since the works of E.Cartan and H.Weyl around 1930, it has been recognized that many of the "special functions" introduced in Analysis since the eighteenth century are closely related to the theory of linear representations of Lie groups which "explains" many of their properties. Among the most interesting are the spherical functions; their theory generalizes both the classical Laplace "spherical harmonics" and commutative harmonic analysis, and they play an important part in the modern theory of infinite dimensional linear representations of Lie groups 154 J. DIEUDONNE (the so-called "noncommutative harmonic analysis"). Recall that a locally compact group G is called .u.nimodul.ar if its left Haar measure is also invariant under right translations; it is then also invariant -I under the symmetry x+ x Examples of noncommutative unimodular groups are compact groups and semi-simple Lie groups. For a G with Haar measure m the convolution f,g of two unimodular group G functions f,g in LI(G,mG is defined by (i) (f,g)(x) /Gf(xt-l)g(t)dmG(t) and belongs to LI(G) for that operation,.Ll(G) becomes a Banach algebra for the usual norm, but if G is not commutative, LI(G) is not commutative.
    [Show full text]
  • Gelfand Pairs A
    Gelfand Pairs A. Aizenbud and D. Gourevitch www.wisdom.weizmann.ac.il/~aizenr www.wisdom.weizmann.ac.il/~dimagur the compact case the non compact case In the non compact case we consider complex smooth (admissible) representations of algebraic reductive (e.g. GL , O Sp ) groups over local fields (e.g. R, Q ). Fourier Series Spherical Harmonics n n, n p Gelfand Pairs H0 A pair of groups ( G ⊃ H ) is called a Gelfand pair if for any irreducible (admissible) representation ρ of G H ~ 1 dim Hom H (ρ,C) ⋅dim Hom H (ρ,C) ≤ 1. H For most pairs, this implies that 2 dim Hom (ρ,C) ≤ 1. H H 3 Gelfand-Kazhdan Distributional Criterion σ H 4 Let be an involutive anti-automorphism of G and assume σ (H ) = H. 2 Suppose that σ ( ξ ) = ξ for all bi H - invariant distributions 2 1 S = O / O L (S ) = Span (χ ) 3 2 ξa on G. ⊕ m L2 (S 2 ) H m = ⊕ m Then ( G , H ) is a Gelfand pair. (t) eimt m χm = i An analogous criterion works for strong Gelfand pairs H m = Span (Yn ) im α π (α)χm = e χm are irreducibl e representa tions of O3 Gelfand Pairs A pair of compact topological groups G ⊃ H is called a Gelfand pair if the following equivalent conditions hold: L2 (G / H )decomposes to direct sum of distinct irreducible representations of G. for any irreducible representation ρ of G, dim ρ H ≤ 1 ρ for any irreducible representation of G, dim Hom (ρ |H ,C) ≤1 Results Gelfand pairs Strong Gelfand pairs the algebra of bi-H -invariant functions on G , C ( H \ G / H ) is commutative w.r.t.
    [Show full text]
  • Norms of Zonal Spherical Functions and Fourier Series on Compact Symmetric Spaces
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOUHNAI. OF FUNCTIONAL ANALYSIS 44, 74-86 (1981) Norms of Zonal Spherical Functions and Fourier Series on Compact Symmetric Spaces B. DRESELER Fachbereich Mathematik, Universittit Siegen, 5900 Siegen, Federal Republic of Germany Communicated bjj the Editors New estimates are given for the p-norms of zonal spherical functions on compact symmetric spaces. These estimates are applied to give a Cohen type inequality for convoluter norms which leads to negative results on p-mean convergence of Fourier series on compact symmetric spaces of arbitrary rank. 1. INTRODUCTION In a recent paper 151 Dooley established estimates from below for p-norms of irreducible characters on compact Lie groups. Nice applications of these estimates to divergence results for Fourier series on compact Lie groups were proved by Giulini ef al. [8] (cf. also [9]). In [6, 71 a Cohen type inequality for Jacobi polynomials is proved and leads to the solution of the divergence problem for Jacobi expansions and zonal Fourier expansions on compact symmetric spaces of rank one. In this paper we prove the extension of some of the main results in the papers above to compact symmetric spaces of arbitrary rank. Also, in the special case of compact Lie groups our proofs are new and more in the spirit of paper [7]. Before stating our results explicitly we introduce the notations that will be used throughout the paper. General references for the harmonic analysis on compact symmetric spaces are [ 10, 11, 191.
    [Show full text]
  • Gelfand Pairs and Spherical Functions
    I ntnat. J. Math. Math. Sci. 153 Vol. 2 No. 2 (1979) 155-162 GELFAND PAIRS AND SPHERICAL FUNCTIONS JEAN DIEUDONNE Villa Orangini 119 Avenue de Brancolar 06100 Nice, France (Received April 5, 1979) This is a summary of the lectures delivered on Special Functions and Linear Representation of Lie Groups at the NSF-CBMS Research Conference at East Carolina University in March 5-9, 1979. The entire lectures will be published by the American Mathematical Society as a conference monograph in Mathematics. KEY WORDS AND PHRASES. Lie Groups, Linear Representations, Spherical Functions, Special Functions, and Foier Trans forms. 1980 MATHEMATICS SUBJECT CLASSIFICATION CODES. 53A45, 53A65, 45A65, 22EI0. Since the works of E.Cartan and H.Weyl around 1930, it has been recognized that many of the "special functions" introduced in Analysis since the eighteenth century are closely related to the theory of linear representations of Lie groups which "explains" many of their properties. Among the most interesting are the spherical functions; their theory generalizes both the classical Laplace "spherical harmonics" and commutative harmonic analysis, and they play an important part in the modern theory of infinite dimensional linear representations of Lie groups 154 J. DIEUDONNE (the so-called "noncommutative harmonic analysis"). Recall that a locally compact group G is called .u.nimodul.ar if its left Haar measure is also invariant under right translations; it is then also invariant -I under the symmetry x+ x Examples of noncommutative unimodular groups are compact groups and semi-simple Lie groups. For a G with Haar measure m the convolution f,g of two unimodular group G functions f,g in LI(G,mG is defined by (i) (f,g)(x) /Gf(xt-l)g(t)dmG(t) and belongs to LI(G) for that operation,.Ll(G) becomes a Banach algebra for the usual norm, but if G is not commutative, LI(G) is not commutative.
    [Show full text]
  • Modern Group Theory
    Modern Group Theory MAT 4199/5145 Fall 2017 Alistair Savage Department of Mathematics and Statistics University of Ottawa This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License Contents Preface 4 1 Representation theory of finite groups5 1.1 Basic concepts...................................5 1.1.1 Representations..............................5 1.1.2 Examples.................................7 1.1.3 Intertwining operators..........................9 1.1.4 Direct sums and Maschke's Theorem.................. 11 1.1.5 The adjoint representation....................... 12 1.1.6 Matrix coefficients............................ 13 1.1.7 Tensor products............................. 15 1.1.8 Cyclic and invariant vectors....................... 18 1.2 Schur's lemma and the commutant....................... 19 1.2.1 Schur's lemma............................... 19 1.2.2 Multiplicities and isotypic components................. 21 1.2.3 Finite-dimensional algebras....................... 23 1.2.4 The commutant.............................. 25 1.2.5 Intertwiners as invariant elements.................... 28 1.3 Characters and the projection formula..................... 29 1.3.1 The trace................................. 29 1.3.2 Central functions and characters..................... 30 1.3.3 Central projection formulas....................... 32 1.4 Permutation representations........................... 38 1.4.1 Wielandt's lemma............................. 39 1.4.2 Symmetric actions and Gelfand's lemma................ 41 1.4.3 Frobenius reciprocity for permutation representations........ 42 1.4.4 The structure of the commutant of a permutation representation... 47 1.5 The group algebra and the Fourier transform.................. 50 1.5.1 The group algebra............................ 50 1.5.2 The Fourier transform.......................... 54 1.5.3 Algebras of bi-K-invariant functions.................. 57 1.6 Induced representations............................. 61 1.6.1 Definitions and examples........................
    [Show full text]
  • Orthogonal Expansions Related to Compact Gelfand Pairs
    Orthogonal expansions related to compact Gelfand pairs Christian Berg, Ana P. Peron and Emilio Porcu September 9, 2017 Abstract For a locally compact group G, let P(G) denote the set of continuous positive definite functions f : G ! C. Given a compact Gelfand pair ] (G; K) and a locally compact group L, we characterize the class PK (G; L) of functions f 2 P(G×L) which are bi-invariant in the G-variable with re- spect to K. The functions of this class are the functions having a uniformly P convergent expansion '2Z B(')(u)'(x) for x 2 G; u 2 L, where the sum is over the space Z of positive definite spherical functions ' : G ! C for the Gelfand pair, and (B('))'2Z is a family of continuous positive definite P functions on L such that '2Z B(')(eL) < 1. Here eL is the neutral element of the group L. For a compact Abelian group G considered as a Gelfand pair (G; K) with trivial K = feGg, we obtain a characterization of P(G × L) in terms of Fourier expansions on the dual group Gb. The result is described in detail for the case of the Gelfand pairs (O(d+ 1);O(d)) and (U(q);U(q − 1)) as well as for the product of these Gelfand pairs. The result generalizes recent theorems of Berg-Porcu (2016) and Guella- Menegatto (2016). 2010 MSC: 43A35, 43A85, 43A90, 33C45,33C55 Keywords: Gelfand pairs, Positive definite functions, Spherical functions, Spherical harmonics for real an complex spheres. 1 Introduction In [4] Berg and Porcu found an extension of Schoenberg's Theorem from [15] about positive definite functions on spheres in Euclidean spaces.
    [Show full text]
  • Strong Gelfand Subgroups of F O Sn
    Strong Gelfand subgroups of F o Sn *Mahir Bilen Can, *Yiyang She, †Liron Speyer *Department of Mathematics, Tulane University, 6823 St. Charles Ave, New Orleans, LA, 70118, USA [email protected] [email protected] †Okinawa Institute of Science and Technology Graduate University, 1919-1 Tancha, Onna-son, Okinawa, Japan 904-0495 [email protected] 2010 Mathematics subject classification: 20C30, 20C15, 05E10 Abstract The multiplicity-free subgroups (strong Gelfand subgroups) of wreath products are in- vestigated. Various useful reduction arguments are presented. In particular, we show that for every finite group F , the wreath product F o Sλ, where Sλ is a Young subgroup, is multiplicity-free if and only if λ is a partition with at most two parts, the second part being 0, 1, or 2. Furthermore, we classify all multiplicity-free subgroups of hyperoctahedral groups. Along the way, we derive various decomposition formulas for the induced representations from some special subgroups of hyperoctahedral groups. Keywords: strong Gelfand pairs, wreath products, hyperoctahedral group, signed symmetric group, Stembridge subgroups 1 Introduction Let K be a subgroup of a group G. The pair (G; K) is said to be a Gelfand pair if the induced G trivial representation indK 1 is a multiplicity-free G representation. More stringently, if (G; K) has the property that G indK V is multiplicity-free for every irreducible K representation V; arXiv:2005.11200v2 [math.RT] 28 Oct 2020 then it is called a strong Gelfand pair. In this case, K is called a strong Gelfand subgroup (or a multiplicity-free subgroup). Clearly, a strong Gelfand pair is a Gelfand pair, however, the converse need not be true.
    [Show full text]