arXiv:2101.07366v2 [math.FA] 27 Jul 2021 oautomatically so opc ru,te h eegespace Lebesgue the then , compact ucinsatisfying function h ovlto rdc fadol if only and if product convolution the hoe 1.1. Theorem nOlc space Orlicz an erso oal opc rus(e lo[ also group (see non-compact groups a compact locally on gebras [ in Musielak J. [ and in studied was result this [ results elementary each partial for more earlier much of means, proofs the elementary quite by conjecture ovlto,Yugfnto,wih ucin opc ope compact function, weight function, Young convolution, L EABGEISLC IHEHKMRADSYE MOHAMMAD SEYYED AND KUMAR VISHVESH SALEC, BAGHERI REZA ALI h well-known The e od n phrases. and words Key 2010 eety .Oa¸lo n S. Osan¸clıol and A. Recently, OVLTO RPRISO RIZSAE ON SPACES ORLICZ OF PROPERTIES CONVOLUTION (1) (2) 3 lim (3) ahmtc ujc Classification. Subject weight opcl eeae oal opc bla ru.Moreo from group. operators abelian convolution c compact compact for characterize locally conditions generated equivalent compactly some a present we application, an rirr lmnso rizspaces Orlicz of elements arbitrary K Abstract. in egv eesr odto ntrso proi ele aperiodic of terms in condition of necessary center a give we tion, L L > p Φ Φ n o ar(Φ pair a for and ( ( x G G → ,if 2, ) ) 0 w + eiae oPo.KnehA oso i 5hbirthday 85th his on Ross A. Kenneth Prof. to Dedicated ⊆ saBnc ler ne convolution; under algebra Banach a is nalclycmathypergroup compact locally a on K, L Φ( If L f f Φ x nti ae,fralclycmatcmuaiehypergroup commutative compact locally a for paper, this In x 1 ( o h convolution the for ∆ L ∗ ∗ ) G ( G 11 G p g 2 > g ob ovlto aahalgebra: Banach convolution a be to ) cnetr ttdta f1 if that stated -conjecture cniin hntefloigcniin r equivalent: are conditions following the then -condition, G ) salclycmataeingopand group abelian compact locally a is hoe ]peetdsm qiaetcniin for conditions equivalent some presented 2] Theorem , xssae o all for a.e. exists oal opc ru,lclycmathprru,Orlicz hypergroup, compact locally group, compact locally ∈ ; 0 if , 1 L or 36 , Φ p L ( ne oecniin.H uzk .Kami´nska A. Hudzik, H. conditions. some under ] 2 HYPERGROUPS G G fYugfntosstsyn eunecondi- sequence satisfying functions Young of ) w Φ 1. ;seas [ also see ); ( scompact. is G TABATABAIE Introduction zo n[ in Oztop ¨ ) ⊆ 26 f L , L 63;4A2 43A15. 43A62; 46E30; ∗ 1 Φ 27 w 1 G g 1 ,g f, ( ( .I [ In ]. G oeitae,where a.e., exist to K 25 scmat ak [ Saeki compact. is 23 L o weight a for ) and ) K ∈ 35 .I h etn fhypergroups, of setting the In ]. p tde h egtdOlc al- Orlicz weighted the studied ] ( . L G ) hypoe ht vnfor even that, proved They ]). 1 p ,teatosmnindthat mentioned authors the ], saBnc ler under algebra Banach a is ) L ( L < p < G Φ rator. w 1 2 ,then ), ( ( K K into ) ,rsetvl.As respectively. ), ∞ matesof ompactness w G et fthe of ments f and L then , e,w also we ver, w Φ and scmat and compact, is ( 31 K Φ G hnsm of some than ete this settled ] o a for ) g saYoung a is L salocally a is are w Φ ( G sa is ) space, 2 A.R. BAGHERI SALEC, VISHVESH KUMAR AND S.M. TABATABAIE convolution . In [24], these results were extended to the hyper- group case (see [18] for unweighted case). In [36], for a compactly generated G, it is proved that if Φ is a Young function with ∆2-condition and satisfying a sequence condition, then LΦ(G) is a convolution Banach al- gebra if and only if f ∗ g exists a. e. for all f, g ∈ LΦ(G). A main motivation for writing this paper is the above background and the following result from [25, Corollary 1.4] about Lebesgue spaces on locally compact groups. Theorem 1.2. Let G be a locally compact abelian group and 1 < p,q < ∞. Then, Lp(G) ∗ Lq(G) ⊆ Lp(G) if and only if G is compact. In Section 3, we give a version of this result for Orlicz spaces on locally compact hypergroups. Indeed, for a pair (Φ1, Φ2) of Young functions satisfying the sequence condition (3.1) (see Definition 3.1), we show that if for each f ∈ LΦ1 (K) and g ∈ LΦ2 (K), f ∗ g exists almost everywhere, then there is no aperiodic element in Z(K) with respect to the action Z(K) y (K, λ), where K is a locally compact commutative hypergroup equipped with an invariant λ and Z(K) is the center of K. As an application, among other results, we prove that a compactly generated abelian group G is compact if and only if for each pair (Φ1, Φ2) of Young functions satisfying the sequence condition (3.1) and for each f ∈ LΦ1 (G) and g ∈ LΦ2 (G), f ∗ g exists a.e. We p1 p2 note that if we consider Lebesgue spaces L (G) and L (G), where p1,p2 > 2, the novel conclusion Corollary 3.7 is obtained for Lebesgue spaces too, because pi the Young functions Φpi , i = 1, 2 defined by Φpi (x) := |x| satisfy the sequence condition (3.1). In section 4, we fix a function g ∈ Cc(K), and study the compact convolution 1 Φ operator f 7→ f ∗ g from Lw(K) into Lw(K), where K is a locally compact hypergroup and w is a weight function on K. We show that this operator 1 is compact if and only if the function x 7→ w(x) kLxgkΦ,w on K vanishes at infinity. This conclusion is an Orlicz space version of the main result of [9]. It is also a generalization of one result in [35] on locally compact hypergroups. It is worth noting that the convolution operators in different Orlicz spaces were also studied before by O’Neil [22] and Kami´nska and Musielak [13]. In the next section, we recall some definitions and notation concerning lo- cally compact hypergroups and Orlicz spaces, and also state some facts about aperiodic elements of a group action on a measure space which are used in the proof of our main result.

2. Preliminaries 2.1. Locally Comapct Hypergroups. Locally compact hypergroups were introduced in the papers [7, 12, 32] in the 1970’s. The main references for us on this structure are the paper [12] (in which hypergroups are called convos) and the monograph [2]. Let K be a locally compact Hausdorff space. We denote the space of all bounded (complex-valued) Radon measures on K by M(K) CONVOLUTION PROPERTIES OF ORLICZ SPACES 3

and all those in M(K) which are non-negetive by M+(K). The support of each measure µ ∈ M(K) is denoted by suppµ, and for each x ∈ K, δx denotes the Dirac measure at x. The space K is called a locally compact hypergroup (or simply a hypergroup) if there are a convolution ∗ : M(K) × M(K) → M(K), an involution x 7→ x− on K, and an element e (called the identity element) such that the following conditions hold: (1) (M(K), +, ∗) is a complex Banach algebra; (2) for all nonnegative measures µ,ν ∈ M(K), µ ∗ ν is also a nonnegative measure in M(K) and the mapping (µ,ν) 7→ µ ∗ ν from M+(K) × M+(K) to M+(K) is continuous, where M+(K) is equipped with the cone topology; (3) for all x,y ∈ K, δx ∗ δy is a probability measure with compact support; (4) the mapping (x,y) 7→ supp(δx ∗ δy) from K × K into the space C(K) of all non-empty compact subsets of K is continuous, where C(K) is equipped with Michael topology whose subbasis is the family of all CU,V := {A ∈ C(K) : A ∩ U 6= ∅ and A ⊆ V }, where U and V are open subsets of K; (5) for each x ∈ K, δe ∗ δx = δx = δx ∗ δe; (6) the mapping x 7→ x− on K is a homeomorphism, and for each x,y ∈ K we have (x−)− = x and (δx ∗ δy)− = δy− ∗ δx− , where for each µ ∈ M(K) and Borel set E ⊆ K, µ−(E) := µ ({x− : x ∈ E}). Also, e ∈ supp(δx ∗ δy) if and only if x = y−.

A hypergroup K is called commutative if for each x,y ∈ K, δx ∗δy = δy ∗δx. Any locally is a hypergroup. See the book and papers [2, 8, 37, 15, 16, 17] for more examples including double coset spaces, polynomial hypergroups and orbit hypergroups and their applications. Throughout, we assume that (K, ∗, ·−, e) is a locally compact hypergroup with a left-invariant measure, i.e. a non-negative λ on K such that for each x ∈ K, δx ∗λ = λ. It is known that any commutative hypergroup, compact hypergroup, discrete hypergroup and amenable hypergroup admits such a measure [2]. For each element x ∈ K and Borel subsets E, F of K we denote

x ∗ F := supp(δx ∗ δy), E ∗ F := (t ∗ F ) . y[F t[E ∈ ∈ The convolution of any two measurable functions f, g : K → C is defined by

(f ∗ g)(x) := f(y)g(y− ∗ x) dλ(y), (x ∈ K), ZK when this exists, where

g(y− ∗ x) := g(t) d(δy− ∗ δx)(t). ZK 4 A.R. BAGHERI SALEC, VISHVESH KUMAR AND S.M. TABATABAIE

If µ ∈ M(K) and f is a Borel measurable function on K, the convolution µ ∗ f is defined by:

(µ ∗ f)(x)= f(y− ∗ x) dµ(y), (x ∈ K). ZK

In particular, (δz− ∗ f)(x)= fz(x)=(Lzf)(x) for x, z ∈ K. 2.2. Group Action on a Measure space. Definition 2.1. Let G be a locally compact group, X be a locally compact Hausdorff space, and µ be a non-negative Radon measure on X. We say that a continuous function G × X −→ X, (s,x) 7→ sx, (s ∈ G, x ∈ X) is an action of G on the measure space (X,µ) (and write G y (X,µ)) if (i) for each x ∈ X, ex = x, where e is the identity element of G; (ii) for each s,t ∈ G and x ∈ X, s(tx) = (st)x; (iii) the measure µ is G-invariant, i.e., for each s ∈ G and any Borel subset E of X, sE := {sx : x ∈ E} is also a Borel subset of X and µ(sE)= µ(E). Assume that H is a closed of a locally compact group G with modular functions ∆H : H → (0, ∞) and ∆G : G → (0, ∞). Denote the restriction of ∆G on H by ∆G|H . If ∆H = ∆G|H then there exists a G- invariant Radon measure µ on G/H, and G naturally acts on the quotient space (G/H, µ). For more study on this topic we refer to the book [14, Chapter IV]. Definition 2.2. An element a of a locally compact group G is called compact if the closed subgroup G(a) generated by a is compact. For some details about compact elements of G see [10]. In the literature, non-compact elements of a group G are also called aperiodic elements (for example see [3, 4]). Trivially, in any , an element is aperiodic if and only if it has infinite order (i.e. it is not a torsion element). Recently, these elements have been used to study linear dynamical properties of weighted translation operators on locally compact groups; see [5, 4]. It is known that any element, except the identity, of the non-discrete additive group Rn, the Heisenberg group, and the affine group is aperiodic. By [3, Lemma 2.1], if G is a second countable group, an element a ∈ G is aperiodic if and only if for each compact subset E of G, there is an integer N > 0 such that for each n ≥ N, E ∩ anE = ∅. This equivalence leads one to give the following definition which recently has been used to present a sufficient and necessary condition for a weighted translation, generated by a group action, to be disjoint topologically transitive. Definition 2.3. An element a ∈ G is called aperiodic with respect to a given action G y (X,µ) if for each compact subset E ⊆ X, there exists an integer N > 0 such that for each n ≥ N, E ∩ anE = ∅. CONVOLUTION PROPERTIES OF ORLICZ SPACES 5

Thanks to [3, Lemma 2.1], the aperiodic elements of a second countable group G are same as the aperiodic elements of G with respect to the natural action of G on itself. In this paper, we will apply this concept regarding the action of the center of a hypergroup on the whole of hypergroup. The center Z(K) of a commutative hypergroup K is defined as the set of all x ∈ K such that for each y ∈ K, supp(δx ∗ δy) is a singleton. In other words, for each x ∈ Z(K) and y ∈ K, there is an element α(x,y) ∈ K such that δx ∗ δy = δα(x,y). The center Z(K) is the maximal subgroup of K, and naturally acts on (K, λ) by the mapping (x,y) 7→ α(x,y) [12, Section 10.4]. In the sequel, we denote x ∗ y := α(x,y) for all x ∈ Z(K) and y ∈ K. Also, for each x ∈ Z(K) and n n n n ∈ N we put x := x ∗ . . . ∗ x (n times), and x− := (x−) . For more details and examples about center of hypergroups see [30]. We use this action in the main result of the paper. One can easily see that for each element x ∈ Z(K) and Borel subset E of K, λ(x ∗ E)= λ(E) (2.1) while this equality does not hold for arbitrary elements of K; see [12]. 2.3. Orlicz Spaces. In this subsection, we recall some basic definitions and notation about Orlicz spaces; see the monographs [28, 29] on this topic. A convex even mapping Φ : R → [0, ∞) is called a Young function if Φ(0) = 0 and limt Φ(t)= ∞. The complementary of a Young function Φ is defined by →∞ Ψ(t) := sup{s|t|− Φ(s) : s ≥ 0}, (t ∈ R). In the sequel, Ψ always denotes the complementary of a given Young func- tion Φ. The set of all Borel measurable functions f : K → C such that for some α> 0, Φ(α|f(x)|) dλ(x) < ∞, ZK is denoted by LΦ(K). We assume that two elements of LΦ(K) are the same if they are equal λ-a.e. For each f ∈ LΦ(K) we define

kfkΦ := sup |fv| dλ : Ψ(|v(x)|) dλ(x) ≤ 1 . ZK ZK  Φ The pair (L (K), k·kΦ) is called an Orlicz space. Since λ is a regular measure Φ on K, by [28, Chapter III, Proposition 11], (L (K), k · kΦ) is a Banach space. A Young function Φ is said to be ∆2-regular (denoted by Φ ∈ ∆2), if there exists a constant C > 0 such that Φ(2t) ≤ CΦ(t) for all t ≥ 0, provided that λ(K)= ∞. If λ(K) < ∞, we say Φ ∈ ∆2, if there exist two constants C > 0 and t0 ≥ 0 such that Φ(2t) ≤ CΦ(t) for all t ≥ t0. At times, we also say that Φ satisfies ∆2-condition if Φ ∈ ∆2. Denote the space of all complex-valued compactly supported continuous functions on K by Cc(K). Then it is known Φ that for Φ ∈ ∆2, the space Cc(K) is dense in L (K) (see [29, Proposition 11, page 18]). Orlicz spaces are a more applicable generalization of Lebesgue spaces. In p fact, for each 1

3. Convolution of Two Orlicz Spaces In this section, we study the convolution properties of two different Orlicz spaces on locally compact hypergroups in terms of aperiodic elements of their centers. We will also derive interesting results for locally compact groups. Before stating the main result of the section, we need to introduce a class of Young functions.

Definition 3.1. Let Φ1 and Φ2 be Young functions. We say that the pair (Φ1, Φ2) satisfies the sequence condition if there are two sequences (αn) and (βn) of nonnegative numbers such that

∞ ∞ ∞ Φ1(αn) < ∞, Φ2(βn) < ∞ and αnβn = ∞. (3.1) nX=1 nX=1 nX=1

Example 3.2. For each p ≥ 1 and γ ≥ 0 define the function Φp,γ by Φp,γ(x) := |x|p (ln(1 + |x|))γ for all x ∈ R. We denote the set of all (p, γ) such that p+γ > 2 and Φp,γ is a Young function by Ω. Then, for each (p1, γ1), (p2, γ2) ∈ Ω, 1 setting αn = βn := √n , one can see that (Φp1,γ1 , Φp2,γ2 ) satisfies the sequence condition (3.1). Now, we are ready to present one of the main results of this paper. Theorem 3.3. Let K be a locally compact commutative hypergroup1. Suppose that Φ1 and Φ2 are two Young functions such that the pair (Φ1, Φ2) satisfies the sequence condition (3.1). If, for each f ∈ LΦ1 (K) and g ∈ LΦ2 (K), (f ∗ g)(x) exists for almost every x ∈ K, then the set of aperiodic elements of Z(K) with respect to the action Z(K) y (K, λ) is empty.

Proof. Suppose that the pair (Φ1, Φ2) of Young functions satisfies the sequence condition, and f ∗ g exists a.e. for all f ∈ LΦ1 (K) and g ∈ LΦ2 (K). Let, if possible, there exists an aperiodic element a in Z(K) with respect to the action Z(K) y (K, λ). Fix a compact symmetric neighborhood U of e in K. Then, by Definition 2.3, there exists an integer N > 0 such that for each n ≥ N, U ∩ (an ∗ U)= ∅. (3.2) n Note that (3.2) also implies that U ∩ (a− ∗ U)= ∅. Thanks to [12, Lemma 3.2D], there is a compact symmetric neighborhood V of e in K such that V ∗ V ⊆ U. So, by (3.2), for each distinct m,n ≥ N we have mN nN mN nN a− ∗ V ∩ a− ∗ V = ∅ and a ∗ V ∗ V ∩ a ∗ V ∗ V = ∅.     (3.3)

1So K has an invariant measure λ. CONVOLUTION PROPERTIES OF ORLICZ SPACES 7

mN Indeed, to prove this, let us consider an element t ∈ K which is in a− ∗ V nN mN and a− ∗ V . Then, there exist u, v ∈ V such that t ∈ {a− } ∗ {u} and nN t ∈ {a− } ∗ {v}. Now, as a ∈ Z(K), we have mN mN nN (m n)N u ∈ {a } ∗ {t} ⊆ {a } ∗ {a− } ∗ {v}⊆ a − ∗ U, mN nN contradicting (3.2) as u ∈ U. Therefore, a− ∗ V ∩ a− ∗ V = ∅. Similarly, one can see that amN ∗ V ∗ V ∩ anN ∗ V ∗V = ∅.  Since the pair (Φ1, Φ2) satisfies the sequence condition, there are two se- quences (αn) and (βn) of nonnegative numbers such that the inequalities in (3.1) hold. So, there is an integer N ′ > 0 such that

∞ 1 ∞ 1 Φ (α ) < and Φ (β ) < . 1 n λ(V ) 2 n λ(V ∗ V ) nX=N ′ nX=N ′ Define ∞ f := αnχa−nN V , ∗ nX=N ′ and ∞ g := βnχanN V V , ∗ ∗ nX=N ′ where χE denotes the characteristic function of E ⊆ K. Hence, because of (3.3) and (2.1) and applying the Monotone Convergence Theorem we have

Φ1(f(x)) dλ(x)= Φ1(f(x)) dλ(x) ∞ − ZK ZS ′ a nN V n=N ∗ ∞ = Φ1(f(x)) dλ(x) − ′ Za nN V nX=N ∗ ∞ = Φ1(αn) dλ(x) − ′ Za nN V nX=N ∗ ∞ = λ(V ) Φ1(αn) < 1, nX=N ′

Φ1 where we have used Φ1(0) = 0 in the first equality. In particular, f ∈ L (K). Similarly,

∞ Φ2(g(x)) dλ(x) = λ(V ∗ V ) Φ2(βn) < 1, Z K nX=N ′ and this implies that g ∈ LΦ2 (K). On the other hand, for each x ∈ V, using the fact that λ(V ) > 0 [2, Theorem 1.3.12], we have

(f ∗ g)(x)= f(y)g(y− ∗ x) dλ(y) ZK 8 A.R. BAGHERI SALEC, VISHVESH KUMAR AND S.M. TABATABAIE

∞ = αn g(y− ∗ x) dλ(y) − ′ Za nN V nX=N ∗ ∞ = αn βn dλ(y) − ′ Za nN V nX=N ∗ ∞ = λ(V ) αnβn = ∞, nX=N ′ contradicting the hypothesis f ∗ g exists a.e. 

If K is a locally compact abelian group, then the action Z(K) on K is same as the natural action of K on itself, because in this case we have Z(K)= K. So, the following result holds.

Corollary 3.4. If a locally compact abelian group G has an aperiodic element, then for each pair (Φ1, Φ2) of Young functions satisfying the sequence condition (3.1), there are f ∈ LΦ1 (G) and g ∈ LΦ2 (G) such that

λ ({x ∈ G : (f ∗ g)(x) does not exist}) > 0.

Corollary 3.5. Let G be a compactly generated locally compact abelian group. Then, the following are equivalent: (1) G is compact. (2) There is a pair (Φ1, Φ2) of Young functions satisfying the sequence condition such that for each f ∈ LΦ1 (G) and g ∈ LΦ2 (G), f ∗ g exists a.e. (3) For each pair (Φ1, Φ2) of Young functions satisfying the sequence con- dition and for each f ∈ LΦ1 (G) and g ∈ LΦ2 (G), f ∗ g exists a.e.

Proof. It is enough to prove (2) ⇒ (1). Let Φ1 and Φ2 are two Young functions such that (Φ1, Φ2) satisfy the sequence condition. Since G is a compactly generated abelian group, thanks to [10, 9.26(b)], the set of compact elements of G is a compact subgroup of G. So, if G is not compact, it has an aperiodic element, and this contradicts Theorem 3.3. 

Example 3.6. The additive discrete group Z is a non-compact finitely gen- erated abelian group. So, by Corollary 3.5, for each pair (Φ1, Φ2) of Young functions satisfying the sequence condition (3.1), there are f ∈ lΦ1 (Z) and g ∈ lΦ2 (Z) such that (f ∗ g)(n)= ∞ for some n ∈ Z.

Compare the following conclusion with [1, Theorem 1.1] and Theorem 4.4 from T.S. Quek and L.Y.H. Yap.

Corollary 3.7. Let G be a compactly generated locally compact abelian group and 2

4. Compact Convolution Operators In the sequel we assume that K is a locally compact hypergroup equipped with a left-invariant measure λ, and w is a weight on K, that is, a positive continuous function on K such that for each x,y ∈ K, w(x ∗ y) ≤ w(x) w(y). Here, Mw(K) denotes the set of all measures µ ∈ M(K) with wµ ∈ M(K). For each µ ∈ Mw(K) we set kµkw := kwµk. In a similar way, we can also 1 Φ define Lw(K) and Lw(K), where Φ is a Young function. The goal of this section is to give some equivalent condition for a convolution 1 Φ operator from Lw(K) into the weighted Orlicz space Lw(K) to be a compact operator. For this, we need the next theorem.

Theorem 4.1. Let K be a locally compact hypergroup and g ∈ Cc(K). Assume that Φ is a Young function. Suppose that the bounded linear operators Tg : 1 Φ ˜ Φ Lw(K) → Lw(K) and Tg : Mw(K) → Lw(K) are defined by 1 Tg(f) := f ∗ g, (f ∈ Lw(K)) and T˜g(µ) := µ ∗ g, (µ ∈ Mw(K)). (4.1)

Then, Tg is compact if and only if T˜g is compact.

Proof. First suppose that Tg is a compact operator. By [24, Theorem 4.1], 1 there is a bounded left approximate identity {eα}α I in Lw(K) such that for Φ ∈ each h ∈ Cc(K), eα ∗ h → h in Lw(K). For each µ ∈ Mw(K) we have

T˜g(µ) − Tg(µ ∗ eα) = kµ ∗ g − µ ∗ (eα ∗ g)kΦ,w ≤ kµkw kg − (eα ∗ g)kΦ,w. Φ,w

Then, we have

Φ,w T˜g(µ) : kµkw ≤ 1 ⊆ {Tg(µ ∗ eα) : α ∈ I,µ ∈ Mw(K), kµkw ≤ 1}k·k . n o (4.2) Now, from boundedness of the set

{µ ∗ eα : α ∈ I,µ ∈ Mw(K), kµkw ≤ 1} 1 ˜ in Lw(K), one can see that Tg(µ) : kµkw ≤ 1 is compact, and so the proof of this direction is complete.n Proof of the converseo is easy.  The following result is an Orlicz-space version of the main result of [9, Theorem 2]. Theorem 4.2. Let K be a locally compact hypergroup. Let (Φ, Ψ) be a pair of Young functions with Ψ ∈ ∆2. For g ∈ Cc(K), define the operator Tg : 1 Φ Lw(K) → Lw(K) by 1 Tg(f) := f ∗ g, (f ∈ Lw(K)).

Then, Tg is compact if and only if the function Fg defined by 1 F : K → R, F (x) := kL gk (4.3) g g w(x) x Φ,w 10 A.R. BAGHERI SALEC, VISHVESH KUMAR AND S.M. TABATABAIE for all x ∈ K, vanishes at infinity.

Proof. Let, if possible, there be a g ∈ Cc(K) such that Tg is a compact operator but Fg does not vanish at infinity. Then, there is a number ε > 0 such that for each compact set F ⊆ K, there exists an element xF ∈ K \ F such that 1 1 T˜g δx = kLx gk > ε, (4.4) w(x ) F  w(x ) F Φ,w F Φ,w F where T˜g is the operator defined by (4.1). By Theorem 4.1, the operator T˜g is also compact. Then, by boundedness of the set 1 δxF : F ⊆ K is compact w(xF )  Φ in Mw(K), there exists a subnet {xFi } of {xF } and a function h ∈ Lw(K) such that 1 lim T˜ δ = h (4.5) g xFi i w(xFi )  Φ in Lw(K). By (4.4), we have khkΦ,w ≥ ǫ. So, since

Ψ − khkΦ,w = sup |hh, fi| : f ∈ Lw−1 (K), kfkΨ,w 1 = 1 ,  Ψ − ε there is a function η ∈ Lw−1 (K) with kηkΨ,w 1 = 1 such that |hh, ηi| > 2 . Ψ Since Cc(K) is dense in Lw−1 (K) (note that Ψ ∈ ∆2), there is a function − 3 ψ ∈ Cc(K) such that kψkΨ,w 1 < 2 and ε |hh, ψi| > . 2

So, thanks to (4.5), there exists an index i0 such that for each index i, if

Fi0 ⊆ Fi, then 1 ε T˜g δx , ψ > . (4.6)  w(x ) Fi   2 Fi

Put A0 := supp(ψ) and A1 := supp(g). For some index i we have

Fi0 ∪ (A0 ∗ A1−) ⊆ Fi, and so, 1 1 T˜ δ , ψ = g(t)ψ(x t) dt = 0, g xFi Fi  w(xFi )   w(xFi ) ZA1 a contradiction. Conversely, let us assume that 0 6= g ∈ Cc(K) and Fg ∈ C0(K), the space of all continuous functions on K vanishing at infinity. Then mappings Ψ Ψ Ψ Q1 : L (K) → Lw−1 , Q1(f)= fw, (f ∈ L (K)) and f Q : Cw(K) → C (K), Q (f)= , (f ∈ Cw(K)) 2 0 0 2 w 0 CONVOLUTION PROPERTIES OF ORLICZ SPACES 11

are isometric isomorphisms. Also, note that the operator T˜g is the adjoint of the operator

Ψ w − Ψ Q3 : Lw−1 (K) → C0 (K), Q3(f)= hg,Lx fi, (f ∈ Lw−1 ). Now, as an application of Schauder’s Theorem [6, Chapter IV] and having Theorem 4.1 in mind, it is enough to show that the operator Ψ Qg : L (K) → C0(K), Qg = Q2Q3Q1 is compact. Ψ To show this, let {fn} be a sequence L (K). For each n ∈ N, let 1 Gn := x ∈ K : |Fg(x)|≥ . n no Then, for each n, we have Gn ⊂ Gn+1 and since Fg vanishes at infinite, Gn’s are compact subset of K. Also, for each n ∈ N and x ∈ K\Gn 1 1 |Q (f )(x)| = |hg,L − (wf )i| = |hwL g,f i| g n w(x) x n w(x) x n 2 2 = kwLxgkΦkfnkΨ = 2|Fg(x)|kfnkΨ ≤ sup kfmkΨ. w(x) n m Now, similar to the proof of second part of [35, Theorem 3] (also see [9]), by the diagonal method there is a subsequence of {Qg(fn)} which converges in C0(K) and this completes the proof. 

Acknowledgments. The authors are grateful to the referee for making useful suggestions which have greatly improved the exposition. The authors would like to thank Prof. Kenneth A. Ross and Prof. Ajit Iqbal Singh for their suggestions and comments. Vishvesh Kumar is supported by FWO Odysseus 1 grant G.0H94.18N: Analysis and Partial Differential Equations and by the Methusalem programme of the Ghent University Special Research Fund (BOF) (Grant number 01M01021).

References

1. F. Abtahi, R. Nasr Isfahani and A. Rejali, On the Lp-conjecture for locally compact groups, Arch. Math. (Basel), 89 (2007) 237–242. 2. W.R. Bloom and H. Heyer, of Probability Measures on Hypergroups, De Gruyter, Berlin, 1995. 3. C-C. Chen and C.-H. Chu, Hypercyclic weighted translations on groups, Proc. Amer. Math. Soc., 139 (2011) 2839–2846. 4. C-C. Chen, Chaotic weighted translations on groups, Arch. Math., 97 (2011) 61–68. 5. K.-Y. Chen, On aperiodicity and hypercyclic weighted translation operators, J. Math. Anal. Appl., 462 (2018) 1669–1678. 6. J. B. Conway, A course in Functional analysis, Springer-Verlag, New York, 1985. 7. C.F. Dunkl, The measure algebra of a locally compact hypergroup, Trans. Amer. Math. Soc., 179 (1973), 331–348. 8. C.F. Dunkl and D.E. Ramirez, A family of countable compact P∗-hypergroups, Trans. Amer. Math. Soc., 202 (1975), 339–356. 12 A.R. BAGHERI SALEC, VISHVESH KUMAR AND S.M. TABATABAIE

9. F. Ghahramani and A.R. Medghalchi, compact multipliers on weighted hypergroup alge- bras, Math. Proc. Camb. Phil. Soc. 98 (1985), 493-500. 10. E. Hewitt and K.A. Ross, Abstract harmonic analysis Vol. I: Structure of topologi- cal groups, integration theory, group representations, (1st edition, (1963)) 2nd edition, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathe- matical Sciences], vol. 115, SpringerVerlag, Berlin-New York, (1979). 11. H. Hudzik, A. Kami´nska and J. Musielak, On some Banach algebras given by a modular, in: Alfred Haar Memorial Conference, Budapest, Colloquia Mathematica Societatis J anos Bolyai (North Holland, Amsterdam), 49 (1987) 445–463. 12. R. I. Jewett, Spaces with an abstract convolution of measures, Adv. Math., 18 (1975), 1–101. 13. A. Kami´nska and J. Musielak, On convolution operator in Orlicz spaces, Congress on Functional Analysis (Madrid, 1988). Rev. Mat. Univ. Complut. Madrid 2 (1989), suppl., 157–178. 14. D. Kerr and H. Li, Ergodic Theory; Independence and Dichotomies, Springer Interna- tional Publishing AG, 2016. 15. V. Kumar, K. A. Ross, A. I. Singh, Hypergroup deformations of semigroups, Semigroup Forum 99(1) (2019) 169-195. 16. V. Kumar, K. A. Ross, A. I. Singh, An addendum to “Hypergroup deformations of semigroups”, Semigroup Forum 99(1) (2019) 196-197. 17. V. Kumar, K. A. Ross, A. I. Singh, Ramsey theory for hypergroups, Semigroup Forum, 100(2) (2020) 482-504. 18. V. Kumar, R. Sarma and N. Sharvan Kumar, Orlicz spaces on hypergroups, Publ. Math. Debrecen, 94 (2019), 31–47. 19. V. Kumar, R. Sarma, The Hausdorff-Young inequality for Orlicz spaces on compact hypergroups, Colloquium Mathematicum 160 (2020) 41-51. 20. V. Kumar, Orlicz spaces and amenability of hypergroups, Bull. Iran. Math. Soc. (2019). https://doi.org/10.1007/s41980-019-00310-7 21. V. Kumar and S.M. Tabatabaie, Hypercyclic Sequences of weighted translations on hypergroups arXiv preprint arXiv:2003.10036, (2020) 22. R. O’Neil, Fractional integration in Orlicz spaces. I, Trans. Amer. Math. Soc. 115 (1965), 300–328. 23. A. Osan¸clıol and S. Oztop,¨ Weighted Orlicz algebras on locally compact groups, J. Aust. Math. Soc., 99 (2015), 399–414. 24. S. Oztop¨ and S.M. Tabatabaie, Weighted Orlicz algebras on hypergroups, Filomat 43(9) (2020), 2991–3002. 25. T.S. Quek and L.Y.H. Yap, Sharpness of Young’s inequality for convolution, Math. Scand., 53 (1983), 221–237. 26. M. Rajagopalan, Lp-conjecture for locally compact groups-I, Trans. Amer. Math. Soc., 125 (1966), 216-222. 27. M. Rajagopalan and W Zelazko, Lp-conjecture for solvable locally compact groups, J. Indian Math. Soc., 29 (1965), 87-93. 28. M.M. Rao and Z.D. Ren, Theory of Orlicz Spaces, Marcel Dekker, New York, 1991. 29. M.M. Rao and Z.D. Ren, Applications of Orlicz Spaces, Marcel Dekker, New York, 2002. 30. K.A. Ross, Centers of hypergroups, Trans. Amer. Math. Soc. 243 (1978), 251–269. 31. S, Saeki, The Lp-conjecture and Young’s inequality, Illinois Journal of Mathematics, 34(3) (1990) 614–627. 32. R. Spector, Apercu de la theorie des hypergroups, In: Analyse Harmonique sur les Groups de Lie, 643–673, Lec. Notes Math. Ser., 497, Springer, 1975. 33. S. M. Tabatabaie and A. R. Bagheri Salec, Convolution of Two Weighted Orlicz Spaces on Hypergroups, Revista Colombiana de Matem´aticas, 54 (2020) 117–128. 34. S. M. Tabatabaie, A. R. Bagheri Salec and M. Zare Sanjari, A note on Orlicz algebras, Oper. Matrices, 14(1) (2020) 139–144. CONVOLUTION PROPERTIES OF ORLICZ SPACES 13

35. S. M. Tabatabaie, A. R. Bagheri Salec and M. Zare Sanjari, Remarks on weighted Orlicz spaces on locally compact groups, Math. Inequal. Appl. 23(3) (2020) 1015–1025. 36. S.M. Tabatabaie and F. Haghighifar, Lp-Conjecture on hypergroups, Sahand Communi- cations in Mathematical Analysis, 12 (2018), 121–130. 37. M. Voit, Factorization of probability measures on symmetric hypergroups, J. Aust. Math. Soc. (Ser. A), 50 (1991), 417–467.

Department of Mathematics, University of Qom, Qom, Iran. Email address: [email protected]

Department of Mathematics: Analysis, Logic and Discrete Mathematics, Ghent University, Belgium Email address: [email protected]

Department of Mathematics, University of Qom, Qom, Iran. Email address: [email protected]