Convolution of Two Weighted Orlicz Spaces on Hypergroups

Let K be a locally compact hypergroup. In this paper, among other results we give a sufficient condition for the inclusion LΦ1w (K) * LΦ2w (K) ⊆ LΦ1w (K) to hold. Also, as an application, we provide a new sufficient condition for the weighted Orlicz space LΦw (K) to be a convolution Banach algebra.

HYPERGROUP ALGEBRAS AS TOPOLOGICAL ALGEBRAS

Let $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}K$ be a locally compact hypergroup endowed with a left Haar measure and let $L^1(K)$ be the usual Lebesgue space of $K$ with respect to the left Haar measure. We investigate some properties of $L^1(K)$ under a locally convex topology $\beta ^1$. Among other things, the semireflexivity of $(L^1(K), \beta ^1)$ and of sequentially$\beta ^1$-continuous functionals is studied. We also show that $(L^1(K), \beta ^1)$ with the convolution multiplication is always a complete semitopological algebra, whereas it is a topological algebra if and only if $K$ is compact.

Generalized hypergroups and orthogonal polynomials

We study in this paper a generalization of the notion of a discrete hypergroup with particular emphasis on the relation with systems of orthogonal polynomials. The concept of a locally compact hypergroup was introduced by Dunkl [8], Jewett [12] and Spector [25]. It generalizes convolution algebras of measures associated to groups as well as linearization formulae of classical families of orthogonal polynomials, and many results of harmonic analysis on locally compact abelian groups can be carried over to the case of commutative hypergroups; see Heyer [11], Litvinov [17], Ross [22], and references cited therein. Orthogonal polynomials have been studied in terms of hypergroups by Lasser [15] and Voit [31], see also the works of Connett and Schwartz [6] and Schwartz [23] where a similar spirit is observed.

Compact Almost Discrete Hypergroups

A compact hypergroup is called almost discrete if it is homeomorphic to the one-point-compactification of a countably infinite discrete set. If the group Up of all p-adic units acts multiplicatively on the p-adic integers, then the associated compact orbit hypergroup has this property. In this paper we start with an exact projective sequence of finite hypergroups and use successive substitution to construct a new surjective projective system of finite hypergroups whose limit is almost discrete. We prove that all compact almost discrete hypergroups appear in this way—up to isomorphism and up to a technical restriction. We also determine the duals of these hypergroups, and we present some examples coming from partitions of compact totally disconnected groups.