Arxiv:1905.05971V1 [Math.FA]

arXiv:1905.05971v1 [math.FA] 15 May 2019 where sdvtdt h td fasrc ovlto ouestruc module convolution abstract of of cosets) study left the to of devoted space is (the space homogeneous a on analysis article. this in appropria role key an a that plays mentioning 62] worth pg. is It spaces. Orli Lebesgue that remark of spac us Orlicz Let groups. on compact module locally Banach in abstract subgroups of p class The new groups. a study compact and locally in subgroups compact of spaces nrdcdtento fasrc aahcnouinfunct convolution Banach groups. abstract compact of notion of the spaces introduced homogeneous over spaces Orlicz on 13, 21, 9, [1, module researchers Banach many a by or studied algebra were Banach hypergroup an or be to therei spaces references Orlicz the the and on 8] 11, 10, [4, harmo see abstract theory; instance, operator for Mathematics, of branches ious esr ntehmgnosspace homogeneous the on measure RIZMDLSOE OE PCSO OPC SUBGROUPS COMPACT OF SPACES COSET OVER MODULES ORLICZ e od n phrases. and words Key 2010 ntenx eto,w rsn oebsc fOlc pcsa spaces Orlicz of basics some present we section, next the In n[3,teato endadsuidtento fabstract of notion the studied and defined author the [13], In pla algebras Banach or modules Banach of theory abstract The H ahmtc ujc Classification. Subject Mathematics normalized Abstract. Let of umdl of submodule sacmatsbru falclycmatgroup compact locally a of subgroup compact a is L ϕ 1 ( eaYugfnto aifig∆ satisfying function Young a be /,m G/H, G Let ivratmaueo ooeeu space homogeneous on measure -invariant nteOlc spaces Orlicz the on ) L ϕ ( H /,m G/H, ooeeu pc,Cnouinfnto oue,Olc s Orlicz modules, function Convolution space, Homogeneous eacmatsbru falclycmatgroup compact locally a of subgroup compact a be NLCLYCMATGROUPS COMPACT LOCALLY IN ) . G/H L rmr 38,4E0 eodr 31,43A20. 43A15, Secondary 46E30; 43A85, Primary 1. IHEHKUMAR VISHVESH ϕ 2 ( cniin eitouetento flf oueaction module left of notion the introduce We -condition. hc aifisWi’ oml and formula Weil’s satisfies which /,m G/H, Introduction 1 ) . eas nrdc aahleft Banach a introduce also We G/H .I atclr ovlto structure convolution particular, In n. ueo h rizspace Orlicz the on ture o oueo the on module ion ,m G, zsae r eun generalization genuine are spaces cz i nlss ersnaintheory, representation analysis, nic soitdwt elsformula. Weil’s with associated oal opc ru.Scin3 Section group. compact locally a eueo esnsieult [19, inequality Jensen’s of use te 4 15]. 14, roeo hsatcei odefine to is article this of urpose eety haiFrsai[8] Farashahi Ghaani Recently, soe oe pcso compact of spaces coset over es stenormalized the is vralclycmatgroup compact locally a over sa motn oei var- in role important an ys aahcnouinalgebra convolution Banach dsm lsia harmonic classical some nd G n let and ϕ paces. saYugfunction Young a is L L 1 ( p m /,m G/H, saeo coset on -space L ethe be ϕ G ( -invariant /,m G/H, )- ) , 2 VISHVESH KUMAR

ϕ 1 satisfying ∆2-condition. In this section, we prove that L (G/H, m) is a Banach left L (G/H, m)- module with respect to a generalized convolution. We also introduce a Banach left L1(G/H, m)- submodule of Lϕ(G/H).

2. Preliminaries

A non-zero convex function ϕ : R → [0, ∞] is called a Young function if it is even, left continuous with ϕ(0) = 0 and lim ϕ(x) = ∞. Here we note that every Young function is an x→∞ integral of a non-decreasing left continuous function [19, Theorem 1]. Let Ω be a locally compact Hausdorﬀ space and m be a positive Radon measure on Ω. Denote the space of all equivalence classes of m-measurable functions on Ω by L0(Ω). A Young function

ϕ satisfies ∆2-condition if there exist a constant C > 0 and x0 > 0 such that ϕ(2x) ≤ Cϕ(x) for all x ≥ x0 if m(Ω) < ∞ and ϕ(2x) ≤ Cϕ(x) for all x ≥ 0 otherwise. Given a Young function 0 R ϕ, the modular function ρϕ : L (Ω) → is defined by ρϕ(f) := Ω ϕ(|f|) dm. We always assume that Young function ϕ satisfies ∆2-condition. For a given YoungR function ϕ, the Orlicz space Lϕ(Ω,m), in short Lϕ(Ω), is defined by

ϕ 0 L (Ω) := f ∈ L (Ω) : ρϕ(af) < ∞ for some a> 0 .

0 ϕ Then the Orlicz space is a Banach space with respect to the norm k · kϕ on L (Ω) called Luxemburg norm or gauge norm which is deﬁned by |f| kfk0 := inf k > 0 : ϕ dm ≤ 1 . ϕ k ZG If ϕ(x) = |x|p 1 ≤ p < ∞ then Lϕ(Ω) is usual Lp-spaces, 1 ≤ p < ∞. An example of Young p function which satisﬁes ∆2-condition and gives an Orlicz space other than L -spaces is given by ϕ(x) = (e + |x|) log(e + |x|) − e.

We denote the space of all continuous functions on Ω with compact support by Cc(Ω). It is ϕ well known that if ϕ satisﬁes ∆2-condition then Cc(Ω) is a dense subspace of L (Ω). If A is a measurable subset of Ω such that 0

ϕ 0 It is well-known that (L (G), k·kϕ) is a Banach algebra with respect to the convolution product

∗G (see [12]) that is, 0 0 0 kf ∗G gkΦ ≤ kfkϕ kgkϕ for all f, g ∈ Lϕ(G). Also, if f ∈ L1(G) and f ∈ Lϕ(G) then the above convolution deﬁne a module action of L1(G) on Lϕ(G) which makes Lϕ(K) a Banach left L1(K)-module, that is,

0 0 (1) kf ∗G gkϕ ≤ kfk1 kgkϕ for all f ∈ L1(G) and g ∈ Lϕ(G) (see [14, 18]). Let H be a compact subgroup of a locally compact group G with the normalized Haar measure dh. The left coset space G/H can be seen as a homogeneous space with respect to the action of G on G/H given by left multiplication. The canonical surjection q : G → G/H is given by q(x)= xH. Deﬁne TH (f)(xH)= H f(xh) dh, then R Cc(G/H)= {TH (f) : f ∈Cc(G)}

The homogeneous space G/H has a unique normalized G-invariant positive Radon measure m that satisﬁes the Weil’s formula

(2) TH (f)(xH) dm(xH)= f(x) dx, ZG/H ZG 1 and hence kTH (f)kL1(G/H,m) ≤ kfkL1 (G) for all f ∈ L (G). For more details on harmonic analysis on homogeneous spaces of locally compact groups see [3, 4, 5, 6, 7, 22, 8].

3. Orlicz modules over Coset Spaces of compact subgroups of locally compact groups

Throughout this section, we assume that the Young function ϕ satisfies ∆2- condition, G is a locally compact group with a Haar measure dx and H is a compact subgroup of G with the normalized Haar measure dh. It is also assumed that the homogeneous space G/H has the normalized G-invariant measure m satisfying the Weil’s formula. In this section, we show that the space Lϕ(G/H) becomes a Banach left L1(G/H, m)-module with respect to the convolution ϕ on Cc(G/K) defined in [8]. We also define a subspace of L (G/H) and show that this subspace is a Banach left L1(G/H, m)-submodule of Lϕ(G/H, m). We begin this section with following result.

Theorem 3.1. Let G be a locally compact group and let H be a compact subgroup of G. Let m be the normalized G-invariant measure on the coset space G/H. Then the linear map TH : 4 VISHVESH KUMAR

Cc(G) →Cc(G/H) satisﬁes

0 0 (3) kTH (f)kLϕ(G/H,m) ≤ kfkLϕ(G) for all f ∈ Cc(G). Further, if the Young function ϕ satisﬁes ∆2-condition. TH can be uniquely extended to a linear map from Lϕ(G) onto Lϕ(G/H, m).

Proof. For f ∈Cc(G) and k > 0, by using Weil’s formula and Jensen’s inequality, we have

T (f) |T (f)|(xH) ρ H = ϕ H dm(xH) ϕ k k ZG/H f(xh) = ϕ dh dm(xH) k ZG/H ZH

|f(xh)| ≤ ϕ dh dm(xH) k ZG/H ZH |f(xh)| ≤ ϕ dh dm(xH) k ZG/H ZH |f| = ϕ (xh) dh dm(xH) k ZG/H ZH |f| = T ϕ (xH) dm(xH) H k ZG/H |f| f = ϕ dx = ρ . k ϕ k ZG Now,

0 f kfk ϕ = inf{k > 0 : ρ ≤ 1} L (G) ϕ k TH (f) 0 ≥ inf{k > 0 : ρ ≤ 1} = kT (f)k ϕ . ϕ k H L (G/H,m) 0 0 Therefore, we get kTH (f)kLϕ(G/H,m) ≤ kfkLϕ(G) for all f ∈Cc(G). ϕ ϕ Since φ is ∆2-regular, Cc(G) and Cc(G/H) are dense in L (G) and L (G/H, m) respectively. ϕ ϕ Therefore, we can extend TH to a bounded linear map from L (G) onto L (G/H, m). We denote this extension of TH again by TH and it satisﬁes (3).

Proposition 3.2. Let G be a locally compact group and let H be a compact subgroup of G. Let m be the normalized G-invariant measure on the coset space G/H. Suppose that ϕ satisﬁes ϕ ϕ ∆2-condition. If f ∈ L (G/H, m) and fq := f ◦ q then we have fq ∈ L (G) with

0 0 (4) kfqkLϕ(G) = kfkLϕ(G/H,m). ORLICZMODULESOVERHOMOGENEOUSSPACES 5

fq f 0 0 Therefore ρϕ k = ρϕ k and consequently, we get kfqkLϕ(G) = kfkLϕ(G/H,m). Remark 1. Note that TH (fq) = f and therefore, it is clear from above corollary that for fq ∈ Lϕ(G), the equality in Theorem 3.1 holds.

Here we set certain terminologies for further use. For any continuous function f deﬁne the −1 left translation by Lhf(·) = f(h (·)) and the right translation by Rhf = f((·)h). Let G be a locally compact group and let H be a compact subgroup of G. We set

Cc(G : H) = {f ∈Cc(G) : Rhf = f ∀ h ∈ H},

A(G : H) = {f ∈Cc(G) : Lhf = f ∀ h ∈ H}

and A(G/H) = {g ∈Cc(G/H) : Lhg = g ∀ h ∈ H}.

For a Young function ϕ ∈ ∆2, deﬁne

ϕ ϕ A (G : H)= {f ∈ L (G) : Lhf = f ∀ h ∈ H}, and also

ϕ ϕ A (G/H, m)= {g ∈ L (G/H, m) : Lhg = g ∀ h ∈ H}.

Note that Aϕ(G/H, m) is the topological closure of A(G/H) in Lϕ(G/H, m) and therefore it is a closed subspace of Lϕ(G/H, m). Similarly Aϕ(G : H) is closed subspace of Lϕ(G). It is known that TH maps Cc(G : H) and A(G : H) onto Cc(G/H) and A(G/H) respectively (see [8, Proposition 4.2]). 6 VISHVESH KUMAR

Since A(G : H) is dense in Lϕ(G : H) and A(G/H) is dense in Aϕ(G/H), the next lemma follows from the continuity of TH .

Lemma 3.3. Let G be a locally compact group and let H be a compact subgroup of G. Let m be the normalized G-invariant measure on the coset space G/H. Suppose that ϕ satisﬁes ϕ ϕ ∆2-condition. Then the mapping TH maps L (G : H) onto A (G/H, m).

For g ∈ Cc(G/H), note that the mapping xH 7→ H g(hxH) dh is in Cc(G/H). Deﬁne J :

Cc(G/H) →Cc(G/H) as R Jg(xH)= g(hxH) dh. ZH It is clear that J is a linear operator. In addition, the following theorem says that the norm of J is bounded operator with the norm bounded by one.

Theorem 3.4. For f ∈Cc(G/H), we have

kJfkLϕ(G/H,m) ≤ kfkLϕ(G/H,m).

Proof. For f ∈Cc(G/H) we have, Jf |Jf|(xH) ρ = ϕ dm(xH) ϕ k k ZG/H 1 = ϕ f(hxH) dh dm(xH) k ZG/H ZH

|f|(hxH) ≤ ϕ dh dm(xH) k ZG/H ZH |f|(hxH) = ϕ dm(xH) dh k ZH ZG/H ! |f|(xH) = ϕ dm(xH) dh k ZH ZG/H ! |f| f = ϕ (xH) dm(xH) dh = ρ . k ϕ k ZH ZG/H ! Consequently, we get kJfkLϕ(G/H,m) ≤ kfkLϕ(G/H,m) for all f ∈Cc(G/H).

It is shown in [8, Theorem 4.5 (2)] that J maps Cc(G/H) onto A(G/H). Now, the following corollary is immediate.

Corollary 3.5. Let G be a locally compact group and let H be a compact subgroup of G. Let m be the normalized G-invariant measure on the coset space G/H. Suppose that ϕ satisﬁes ORLICZMODULESOVERHOMOGENEOUSSPACES 7

∆2-condition. The bounded linear map J : Cc(G/H) → A(G/H) can be uniquely extended to a ϕ ϕ bounded linear map Jϕ : L (G/H, m) → A (G/H, m) which satisﬁes

kJϕfkLϕ(G/H,m) ≤ kfkLϕ(G/H,m).

ϕ ϕ Further, the linear operator Jϕ : L (G/H, m) → A (G/H, m) is an onto map.

ϕ Proof. The extension of the map J from Cc(G/H) to L (G/H) follows from Theorem 3.4 and ϕ ϕ the density of Cc(G/H, m) and A(G/H) in L (G/H, m) and A (G/H, m), respectively. Further, for any f ∈ Lϕ(G/H) and z ∈ H, we have

−1 −1 Lz(Jf)(xH)= Jf(z xH)= f(hz xH) dh = f(hxH) dh = Jf(xH). ZH ZH This shows that Jf ∈ Aϕ(G/H, m). Now we prove second part of the corollary. For any f ∈ Aϕ(G/H), we get,

Jf(xH)= f(hxH) dh = f(xH) dh = f(xH), ZH ZH ϕ ϕ for all x ∈ G. Therefore, Jf = f. Hence Jϕ : L (G/H, m) → A (G/H, m) is a onto map.

Remark 2. It can seen in the proof of Corollary 3.5 above that J|Aϕ(G/H,m) = IAϕ(G/H,m).

Now, we are ready to deﬁne the convolution product ‘∗G/H ’ on Cc(G/H) same as given in [8] as follows: let G be a compact group, H a closed subgroup and let m be the normalized C G-invariant measure on G/H. For f, g ∈Cc(G/H), the convolution f ∗G/H g : G/H → is given by

−1 (5) f ∗G/H g(xH)= f(yH)Jg(y xH) dm(yH), ZG/H for all xH ∈ G/H. The convolution product ‘∗G/H ’ has the following properties similar to the usual convolution in Cc(G) (see [8, Proposition 4.10]).

(i) For any f, g ∈ Cc(G/H), (f, g) 7→ f ∗G/H g is a bilinear map from Cc(G/H) ×Cc(G/H)

to Cc(G/H) and (Cc(G/H), ∗G/H ) is an algebra.

(ii) f ∗G/H g = TH (fq ∗G gq) and (f ∗G/H g)q = fq ∗G gq, where ‘∗G’ is the usual convolution in C(G).

(iii) Lx(f ∗G/H g) = (Lxf) ∗G/H g.

The following result says that Cc(G/H) is a normed algebra with respect to the norm k · 0 kLϕ(G/H,m).

Lemma 3.6. If f, g ∈Cc(G/H), then

0 1 0 (6) kf ∗G/H gkLϕ(G/H,m) ≤ kfkL (G/H,m)kgkLϕ(G/H,m). 8 VISHVESH KUMAR

Proof. Let f, g ∈Cc(G/H). Using Proposition 3.2 we get

0 0 0 kf ∗G/H gkLϕ(G/H,m) = k(f ∗G/H g)qkLϕ(G) = kfq ∗G gqkLϕ(G)

Since Lϕ(G) is a L1(G)-module then by Proposition 3.2 we get

0 1 0 1 0 kf ∗G/H gkLϕ(G/H,m) ≤ kfqkL (G)kgqkLϕ(G) = kfkL (G/H,m)kgkLϕ(G/H,m).

Theorem 3.7. Let G be a locally compact group and let H be a compact subgroup of G. Let m be the normalized G-invariant measure on the coset space G/H. Suppose that ϕ satisﬁes

∆2-condition. Then the convolution ∗G/H : Cc(G/H) × Cc(G/H) → Cc(G/H) given by (5) ϕ 1 ϕ ϕ can be extended to a convolution ∗G/H : L (G/H, m) × L (G/H, m) → L (G/H, m) such that Lϕ(G/H, m) is a Banach left L1(G/H, m)-module with respect to this extended convolution.

1 ϕ 1 Proof. Let f ∈ L (G/H, m) and g ∈ L (G/H, m). Since Cc(G/H) is dense in L (G/H, m) and ϕ in L (G/H, m) as ϕ ∈ ∆2, there exist {fn} and {gn} in Cc(G/H) such that fn → f and gn → g as n →∞. Now, deﬁne ϕ f ∗ g = lim fn ∗G/H gn. G/H n→∞ ϕ 1 ϕ ϕ Note that ∗G/H : L (G/H, m) × L (G/H, m) → L (G/H, m) is well-deﬁned. By Lemma 3.6 we have ϕ 0 1 0 kf ∗G/H gkLϕ(G/H,m) ≤ kfkL (G/H,m)kgkLϕ(G/H,m).

Thus Lϕ(G/H, m) is a Banach left L1(G/H, m)-module with respect to the extended convolution.

ϕ The above theorem claims the existence of convolution product ∗G/H but it does not reveal any explicit formula for the convolution product. The following corollary fulﬁls this objective ϕ whose proof is a consequence of the fact that Cc(G/H) is dense L (G/H, m).

Corollary 3.8. Let G be a locally compact group and let H be a compact subgroup of G. Let m be the normalized G-invariant measure on the coset space G/H. Suppose that ϕ satisﬁes 1 ϕ ϕ ∆2-condition. If f ∈ L (G/H, m) and g ∈ L (G/H, m), then the convolution ∗G/H is given by

ϕ −1 (7) (f ∗G/H g)(xH)= f(yH)Jϕg(y xH) dm(yH) ZG/H for all xH ∈ G/H.

In the next corollary we present a Banach left L1(G/H, m)-submodule of Lϕ(G/H, m) whose proof is a routine check. ORLICZMODULESOVERHOMOGENEOUSSPACES 9

Corollary 3.9. Let G be a locally compact group and let H be a compact subgroup of G. Let m be the normalized G-invariant measure on the coset space G/H. Suppose that ϕ satisﬁes ∆2- condition. Then the space Aϕ(G/H, m) is a Banach left L1(G/H, m)-submodule of Lϕ(G/H, m).

Acknowledgements. The author thanks Prof. V. Muruganandam for his support and encour- agement.

References

[1] H. P. Aghababa, I. Akbarbaglu and S. Maghsoudi, The space of multipliers and convolution of Orlicz spaces on a locally compact group, Studia Math. 291(1) (2013) 19-34. [2] I. Akabarbaglu and S. Maghsoudi, Banach-Orlicz algebras on a locally compact group, Mediterr. J. Math., 10 (2013) 1937-1947. [3] A. Ghaani Farashahi, Abstract convolution function algebra over homogeneous spaces of compact groups, Illinois J. Math., 59(4) (2012) 1025-1042. [4] A. Ghaani Farashahi, A class of Abstract linear representation for convolution function algebra over homogeneous space of compact groups, Canad. J. Math., DOI : 10.4153/CJM- 2016-043-9. [5] A. Ghaani Farashahi, Abstract Plancherel (trace) formulas over homogeneous spaces of compact groups, Canad. Math. Bull., 60(2) (2017) 111-121. [6] A. Ghaani Farashahi, Abstract operator-valued Fourier transforms over homogeneous spaces of compact groups, Groups Geom. Dyn. 11(4) (2017) 1437-1467. [7] A. Ghaani Farashahi, Abstract measure algebras over homogeneous spaces of compact groups, International Journal of Mathematics, 29(1) (2018) 1850005, 34 pp. [8] A. Ghani Farashahi, Abstract Banach convolution function modules over coset spaces on compact subgroups in locally compact spaces, Bull. Braz. Math. Soc. (New Series) (2019). DOI: https://doi.org/10.1007/s00574-018-00129-6 [9] H. G. Feichtinger, Some new subalgebras of L1(G), Indag. Math. 36 (1974) 44-47. [10] H. G. Feichtinger, On a class of convolution algebra of functions, Ann. Inst. Fourier (Greno- ble), 27(3) (1977) 135-162. [11] H. G. Feichtinger, Banach convolution algebra of functions II, Monatch. Math. 87 (1979) 181-207. [12] H. Hudzik, A. Kamiska 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. [13] V. Kumar, R. Sarma and N. Shravan Kumar, Orlicz algebras on homogeneous spaces of compact groups and their abstract linear representations, Mediterr. J. Math. 15(4) Art. 186 (2018) 13 pp. 10 VISHVESH KUMAR

[14] V. Kumar, R. Sarma and N. Shravan Kumar, Orlicz spaces on hypergroups, Publ. Math. Debrecen, 94(1-2) (2019) 399-414. [15] , V. Kumar and R. Sarma, The Hausdorff-Young inequality for Orlicz spaces on compact hypergroups, (accepted in Colloq. Math.) (2019). [16] M. A. Krasnosel’skii and Ja. B. Rutickii, Convex functions and Orlicz spaces, Noordhoff, Groningen (1961). [17] A. Osancliol and S. Oztop,¨ Weighted Orlicz algebra on locally compact groups, J. Aust. Math. Soc., 99 (2015) 399-414. [18] M. M. Rao, Convolution of vector field-I, Math. Z., 74 (1980) 63-79. [19] M.M. Rao and Z.D. Ren, Theory of Orlicz spaces, Dekker, New York (1991). [20] M. M. Rao, Convolution of vector fields-II : random walk models, Nonlinear Analysis, 47 (2001) 3599-3615. [21] M. M. Rao, Convolutions of vector fields-III: Amenability and spectral properties, Real and stochastic analysis, Trends Math., Birkhuser Boston, Boston, MA, (2004) 375-401. [22] H. Reiter and J. D. Stageman, Classical harmonic analysis and locally compact groups, Clarendon Press, Oxford, (2000).

Vishvesh Kumar School of Mathematical Sciences National Institute of Science Education and Research Bhubaneshwar, HBNI At/Po- Jatni, District- Khurda, Odisha- 7520250, India. E-mail address: [email protected]