Arxiv:1905.11776V1 [Math.FA] 28 May 2019 in M P to Theorem Like Point Would ﬁxed We Group

arXiv:1905.11776v1 [math.FA] 28 May 2019 in m p to theorem like point would fixed We group. a compact on abelian. any depends not for paper this works is in group Marko given the classical proof the the if that is work result doesn’t this This of proof theorem. the I absolu for density. an ingredients some the for with of measure measure control vector Rybakov invariant a translation integral is measure Haar the that L rcsl,w hwta nOlc pc soitdwt etrmea vector a with associated nec not space an is Orlicz is that alwaygroup an group not that compact over, show a carried we on be precisely, measure can vector results a to these associated of some how showing of ayfcsaotthe about facts many hsrsl oan to result this hta rizsaeascae ihavco esr san is measure vector ou a 4, with Section associated In space Orlicz space. an homogeneous that a is measure vector invariant measure. vector the of invariance translation of kind tdwt etrmauei an is measure vector a with ated p e od n phrases. and words Key 2010 ti elkonta,if that, known well is It n ftecasclrslso btathroi nlssi htan that is analysis harmonic abstract of results classical the of One ntecasclcs,a swl-nw,teHa esr ly maj a plays measure Haar the well-known, is as case, classical the In nScin3 eso hta rizsaeascae ihanr inte norm a with associated space Orlicz an that show we 3, Section In ( L G OVLTO TUTRSFRA RIZSAEWITH SPACE ORLICZ AN FOR STRUCTURES CONVOLUTION 1 EPC OVCO ESRSO OPC GROUP COMPACT A ON MEASURES VECTOR TO RESPECT ( om an forms ) G ahmtc ujc Classification. Subject Mathematics L on ucin eso htudrcrancniin,tespace the conditions, certain under that show We function. Young where Abstract. oecnouinsrcueon structure convolution more losre sa prxmt dniyfrthe for identity approximate an as serves also ) 1 ( G -ouewt epc oteuulcnouino ucin.W als We functions. of convolution usual the to respect with )-module L ν 1 ( savco esr nacmat(o eesrl bla)gopan group abelian) necessarily (not compact a on measure vector a is G L L )-module. 1 p h i fti ae st rsn oerslsaottespace the about results some present to is paper this of aim The ( pc soitdwt etrmaue hsnt a h modest the has note This measure. vector a with associated space G -oue e 6.I 09 .DlaoadP in 3 generalised [3] Miana P. and Delgado O. 2009, In [6]. See )-module. L opc ru,Olc pc,vco esr,convolution. measure, vector Space, Orlicz group, Compact p AO UA N .SRVNKUMAR SHRAVAN N. AND KUMAR MANOJ pcs hrfr,i re opoeta nOlc pc associ- space Orlicz an that prove to order in Therefore, spaces. G sacmataeingop hnfray1 any for then group, abelian compact a is L L Φ 1. 1 ( ( ν G ) Introduction rmr 37,4A5 eodr 46G10. Secondary 43A15; 43A77, Primary . -oue tbcmsncsayt suecertain assume to necessary becomes it )-module, 1 L p ( G L pcsas.Term45of 4.5 Theorem also. spaces ) 1 ( G -oue eas show also We )-module. h bla ae one case, abelian the n L -auaifie point fixed v-Kakutani saiyaein More abelian. essarily anami oshow to is aim main r Φ eycniuu norm continuous tely prxmt identity approximate ( oie n[] which [7], in rovided rval,t spaces to trivially, s ν ≤ ueo compact a on sure eoe an becomes ) en one define o rrl nproving in role or p rltranslation gral ∞ ≤ sa is Φ d L Φ ninhere ention , ( ν h space the ) , aim 2 MANOJKUMARANDN.SHRAVANKUMAR

this paper, generalizes this result to the case of an Orlicz space associated with a vector measure. Finally, in Section 5 we consider another convolution product. This product was intro- duced in [1] for the Lp spaces associated with a vector measure. In this section, we extend this convolution product to an Orlicz space associated with a vector measure. Throughout this paper, G will denote a compact group with a ﬁxed normalized Haar measure mG.

2. Vector measures and their associated Orlicz spaces

Let G be a compact group, B(G) be the Borel σ-algebra on G and let mG be the normalized Haar measure on G. For 1 ≤ p ≤∞, let Lp(G) denote the usual pth Lebesgue space with respect to the measure mG. Let S(G) denote the space of all simple functions on G and C(G) denote the space of all continuous functions on G. Let X be a complex Banach space and let ν be a σ-additive X-valued vector measure ′ on G. Let X denote the topological dual of X and let BX′ denote the closed unit ball in X′. For each x′ ∈ X′, we shall denote by hν, x′i, the corresponding scalar valued measure for the vector measure ν, which is defined as hν, x′i(A) = hν(A), x′i, A ∈ B(G). A set A ∈ B(G) is said to be ν-null if ν(B) = 0 for every Borel set B ⊂ A. The vector measure ν is said to be absolutely continuous with respect to a non-negative scalar measure µ if lim ν(A)=0, A ∈ B(G). We shall denote this as ν ≪ µ. The semivariation of ν on a set µ(A)→0 A ∈ B(G) is defined as kνk(A) = sup |hν, x′i|(A). We shall denote by kνk the quantity ′ x ∈BX′ kνk(G). Let Mac(G,X) denote the space of all X-valued measures which are absolutely continuous with respect to the Haar measure mG. A finite positive measure µ is said to be a Rybakov control measure for a vector measure ν, if ν ≪ µ = |hν, x′i| for some x′ ∈ X′. It follows from [4, Theorem IX.2.2] that such an x′ always exists. Further, by [4, Pg. 10, ′ Theorem 1] and from the inequality µ(A) ≤kx kX′ kνk(A), A ∈ B(G), it follows that the measures ν and µ have same null-sets. For more details on vector measures see [4] and [8]. We say that a map Φ : [0, ∞) → [0, ∞) is a Young function if Φ is a strictly increasing, convex and continuous such that Φ(t) = 0 if and only if t = 0 and lim Φ(t) = ∞. The t→∞ complementary Young function Ψ of the function Φ is given by Ψ(t) = sup{ts − Φ(s): s ≥ 0}, t ≥ 0. For a (finite) positive measure µ on G, let LΦ(µ) denote the Orlicz space, consisting of all complex-valued measurable functions on G with kfkLΦ(µ) < ∞, where k·kLΦ(µ) is the Luxemberg norm given by |f| kfk Φ = inf k > 0 : Φ dµ ≤ 1 . L (µ) k ZG Note that the Orlicz space is a natural generalisation of the classical Lp spaces. For more on Orlicz spaces see [9]. CONVOLUTION STRUCTURES ON ORLICZ SPACES 3

Φ Let Lw(ν) denote the weak Orlicz space with respect to a vector measure ν, i.e., a space consisting of all complex-valued measurable functions f such that kfkν,Φ < ∞, where Φ kfkν,Φ = sup kfkLΦ(|hν,x′i|). Let L (ν) denote the closure of simple functions under the ′ x ∈BX′ Φ norm k·kν,Φ. The space L (ν) is known as the Orlicz space with respect to the vector Φ Φ 1 measure ν. Note that if Φ(t) = t, then the spaces L (ν) and Lw(ν) coincides with L (ν) 1 1 and Lw(ν) respectively. We shall denote by k·kν the norm on the space Lw(ν). Further, Φ Φ for any Young function Φ, the spaces Lw(ν) and L (ν) are continuously embedded in 1 1 Φ Lw(ν) and L (ν) respectively. Moreover, if f ∈ Lw(ν), then, by [5, Proposition 4.2], Φ 1 kfkν ≤ 2kχGkν,Ψkfkν,Φ, i.e., Lw(ν) is continuously embedded in L (ν). For more details see [2]. From now onwards, X will denote a Banach space and ν an X-valued measure on G. Further, Φ will denote a Young function with Ψ as its complementary Young function.

3. Homogeneity of the space LΦ(ν) The main aim of this section is to show that the space LΦ(ν) is a homogeneous space. We begin this section with the deﬁnition of a homogeneous space. A Banach function space Z is said to be a homogeneous space if for each f ∈ Z and t, s ∈ G, we have that −1 (i) τsf ∈ Z, where τsf(t)= f(s t),

(ii) kτsfkZ = kfkZ and

(iii) s 7→ τsf is continuous from G into Z. Let h : G → G be a homeomorphism. For a measurable function f : G → C, deﬁne −1 a function fh : G → C by fh = f ◦ h . Note that fh is also a measurable function.

Similarly, deﬁne a measure νh as νh(A)= ν(h(A)), A ∈ B(G). 1 We denote by Iν the continuous linear operator Iν : L (ν) → X given by Iν (f) = 1 G fdν, f ∈ L (ν). See [8, Pg. 152]. DeﬁnitionR 3.1. (i) A vector measure ν is said to be a norm integral h-invariant vector measure if

kIν(φh)k = kIν(φ)k ∀ φ ∈ S(G). (ii) A Banach function space Z is said to be norm h-invariant if for each f ∈ Z, we

have fh ∈ Z and kfhkZ = kfkZ.

Observe that a vector measure ν is norm integral h-invariant if and only if ν is norm integral h−1-invariant. Now we prove a lemma which will help us to prove the norm h-invariance of (weak) Orlicz spaces with respect to a norm integral h-invariant vector measure.

Lemma 3.2. Let ν be a norm integral h-invariant vector measure and x′ ∈ X′. Then ′ ′ ′ ′ ′ ′ there exists xh ∈ X such that kxhk≤kx k. Further, hνh, x i(A)= hν, xhi(A), A ∈ B(G). 4 MANOJKUMARANDN.SHRAVANKUMAR

Proof. Deﬁne a map Th : Iν(S(G)) ⊂ X → Iν(S(G)) by Th(Iν(φ)) = Iν (φh). Since ν is ′ ′ norm integral h-invariant, it follows that the map Th is an isometry. Now, for x ∈ X , let ′ ′ ′ ′ ′ ′ yh = x ◦ Th. Then yh ∈ (Iν(S(G))) and kyhk≤kx k. Further, by Hahn-Banach extension ′ ′ ′ ′ ′ ′ ′ theorem, there exists xh ∈ X such that xh = yh on Iν(S(G)) and kxhk = kyhk≤kx k. Now, let A ∈ B(G). Then, we have,

′ ′ ′ hνh, x i(A)=hνh(A), x i = hIν((χA)h), x i ′ ′ =hTh(Iν((χA)), x i = hIν((χA), x ◦ Thi ′ ′ =hν(A),yhi = hν, xhi(A).

Φ Φ We now prove that the spaces Lw(ν) and L (ν) are norm h-invariant for a norm integral h-invariant vector measure ν.

Theorem 3.3. Let ν be a norm integral h-invariant vector measure. Then the spaces Φ Φ Lw(ν) and L (ν) are norm h-invariant. Proof. Since ν is a norm integral h-invariant vector measure, for any x′ ∈ X′, by Lemma ′ ′ ′ ′ ′ ′ 3.2, there exists xh ∈ X such that kxhk≤kx k and hνh, x i(A)= hν, xhi(A), ∀ A ∈ B(G). Φ n We now claim that kf k Φ ′ = kfk Φ ′ , ∀ f ∈ L (ν). Let f = α χ ∈ h L (|hν,x i|) L (|hν,xhi|) w i=1 i Ai S(G). Then, for k > 0, using Lemma 3.2 and the fact that the sets A ’s are disjoint, we i P have n |f | |α | Φ h d|hν, x′i| = Φ i χ d|hν, x′i| k k h(Ai) ZG ZG i=1 ! n X |α | = Φ i |hν, x′i|(h(A )) k i i=1 Xn |α | = Φ i |hν, x′ i|(A ) k h i i=1 X |f| = Φ d|hν, x′ i|. k h ZG Now, the claim follows from monotone convergence theorem. Φ Let f ∈ Lw(ν). Then, using Lemma 3.2, we have,

kfhkν,Φ = sup kfhkLΦ(|hν,x′i|) ′ x ∈BX′

= sup kfkLΦ(|hν,x′ i|) ′ h x ∈BX′

≤ sup kfkLΦ(|hν,x′ i|) = kfkν,Φ. ′ h ′ xh∈BX Note that if ν is a norm integral h-invariant measure, then ν is a norm integral h−1- Φ invariant measure and therefore kfkν,Φ = k(fh)h−1 kν,Φ ≤kfhkν,Φ. Hence the space Lw(ν) is norm h-invariant. CONVOLUTION STRUCTURES ON ORLICZ SPACES 5

Φ Now let f ∈ L (ν), then there exists a sequence (φn) of simple functions such that

φn → f in k·kν,Φ norm. Since (φn)h ⊂ S(G) and

k(φn)h − fhkν,Φ = k(φn − f)hkν,Φ = kφn − fkν,Φ,

Φ Φ implies that fh ∈ L (ν) as L (ν) is the closure of simple functions. Hence it follows that LΦ(ν) is norm h-invariant. Next we show that the space of continuous functions on G is dense in LΦ(ν). This will be used to prove homogeneity of the Orlicz space with respect to a norm integral translation invariant vector measure.

Φ Proposition 3.4. Let ν ∈ Mac(G,X). Then C(G) is dense in L (ν).

Proof. Let φ ∈ S(G) and ǫ > 0. For every δ > 0, using Lusin’s theorem, there exists c c f ∈ C(G) such that φ = f on A and kfk∞ ≤ kφk∞ where A is the complement of the

set A ∈ B(G) with mG(A) < δ. By [9, p. 78, Corollary 7], we have

kφ − fkν,Φ ≤kφ − fk∞kχAkν,Φ −1 −1 1 ≤2kφk∞ sup Φ ′ . ′ ′ |hν, x i|(A) x ∈BX Since ν ∈ Mac(G,X), by choosing δ small enough, we get kφ − fkν,Φ < ǫ. Now the result follows from the density of S(G) in LΦ(ν).

Remark 3.5. Since the trigonometric polynomials on G are dense in C(G) with respect to the uniform norm and it follows from Proposition 3.4 that the trigonometric polynomials Φ on G are dense in L (ν) for ν ∈ Mac(G,X).

Now we conclude the section with the main result that an Orlicz space with respect to a norm integral translation invariant vector measure is homogeneous.

Theorem 3.6. Let ν ∈ Mac(G,X) be norm integral translation invariant. Then the space LΦ(ν) is homogeneous.

Proof. Let f ∈ LΦ(ν). By Theorem 3.3, LΦ(ν) is norm translation invariant and it is Φ enough to show that the map s → τsf is continuous from G to L (ν). Let ǫ > 0. By

Proposition 3.4, there exists g ∈ C(G) such that kf − gkν,Φ < ǫ/3. Further, for t, s ∈ G,

kτtf − τsfkν,Φ ≤kτtf − τtgkν,Φ + kτtg − τsgkν,Φ + kτsg − τsfkν,Φ

≤2kf − gkν,Φ + kτtg − τsgk∞kχGkν,Φ 2ǫ < + kτ g − τ gk kχ k . 3 t s ∞ G ν,Φ As G is compact, g is uniformly continuous and therefore there exists a neighbourhood ǫ −1 −1 N of e in G such that |g(t) − g(s)| < 3 kχGkν,Φ, for every t, s ∈ G such that ts ∈ N. −1 Hence we have kτtf − τsfkν,Φ < ǫ for every t, s ∈ G such that ts ∈ N. 6 MANOJKUMARANDN.SHRAVANKUMAR

Convolution product for Φ and Φ 4. Lw(ν) L (ν) Throughout this section, ν will denote an absolutely continuous norm integral transla-

tion invariant vector measure. In this section, we first show that the Haar measure mG is a Rybakov control measure for the vector measure ν with some density. We will then Φ Φ show that Lw(ν) and L (ν) are Banach algebras under some conditions on ν. Note that by [8, Pg. 108, Theorem 3.7], the space L1(ν) is an order continuous Banach function space w.r.t. any Rybakov control measure for ν. Hence by [8, Pg. 35, Proposition 2.16] the Köthe dual L1(ν)∗ of L1(ν) coincides with the topological dual of L1(ν). For more details on Köthe dual see [8]. Theorem 4.1. If µ is a Rybakov control measure for ν, then there exists 0 < h ∈ L1(ν)∗ −1 1 ∗ 1 such that khkL1(ν)∗ = kνk , where L (ν) is the Köthe dual space of L (ν). Further

mG(A)= A hdµ, A ∈ B(G). 1 ′ ∗ Proof. ConsiderR the space L (ν) with the weak* topology. Consider the family (τt )t∈G ∗ 1 ′ 1 ′ ∗ ′ ′ ′ 1 ′ of linear operators, where τt : L (ν) → L (ν) is given by τt (f ) = f ◦ τt, f ∈ L (ν) . Taking translation as homeomorphism and Φ(t) = t in Theorem 3.3, we have that τt : 1 1 ∗ L (ν) → L (ν) is an isometric isomorphism, it follows that τt is a weak*-weak* continuous ∗ linear operator. Further, note that the map t 7→ τt is a continuous map from the compact 1 ′ ∗ group G into B(L (ν) ) and hence the set {τt : t ∈ G} is compact. In particular, it is a totally bounded group. ′ ′ Now, consider the set S = {f ∈ BL1(ν)′ : f (χG)= kνk}. Since ν is non-zero, it is clear 1 that kχGkν = kνk= 6 0 and therefore 0 =6 χG ∈ L (ν). Hence, by Hahn-Banach theorem, ′ 1 ′ ′ ′ there exists f ∈ L (ν) such that kf kL1(ν)′ = 1 and f (χG)= kχGkν = kνk. This implies that S is non-empty. ′ ′ Let f1, f2 ∈ S and r ∈ (0, 1). Then

′ ′ ′ ′ ′ krf1 + (1 − r)f2kL1(ν) = sup |(rf1 + (1 − r)f2)(f)| f∈BL1(ν)

′ ′ ′ ′ ≤ sup (rkf1kL1(ν) + (1 − r)kf2kL1(ν) )kfkν f∈BL1(ν) ≤1

′ ′ ′ ′ and (rf1 + (1 − r)f2)(χG)= rf1(χG)+(1 − r)f2(χG)= kνk. Thus, S is convex. 1 ′ ′ ′ Deﬁne β : L (ν) → C by β(f ) = f (χG). It is clear that β is continuous. Then −1 the set S = β ({kνk}) ∩ BL1(ν)′ is a closed subset of BL1(ν)′ and BL1(ν)′ is compact by Banach-Alaoglu theorem. Therefore, S is compact. Let t ∈ G and f ′ ∈ S. Then,

∗ ′ ∗ ′ ′ kτt (f )kL1(ν)′ ≤kτt kkf kL1(ν)′ = kτtkkf kL1(ν)′ ≤ 1 ∗ ′ ∗ ′ ′ ′ which implies that τt (f ) ∈ BL1(ν)′ . Further, τt (f )(χG) = f (τtχG) = f (χG) = kνk. ∗ ′ ∗ Thus, τt (f ) ∈ S. Hence, τt maps the non-empty, convex and compact set S univalently CONVOLUTION STRUCTURES ON ORLICZ SPACES 7

onto itself for every t ∈ G. Therefore, by [7, Corollary of Theorem 2, p. 245], there exists ′ ∗ ∗ ′ ′ a common fixed point f0 ∈ S for the family (τt )t∈G, that is, τt (f0)= f0 ∀ t ∈ G. Now, by the definition of the set S and from the definition of the norm, it follows that

′ ′ ∗ 1 ∗ kf0kL1(ν) = 1. Further, by [8, Pg. 35, Proposition 2.16], there exists f0 ∈ L (ν) such ∗ ∗ ′ ′ that kf0 kL1(ν) = kf0kL1(ν) = 1 and

′ ∗ 1 f0(f)= ff0 dµ ∀ f ∈ L (ν). ZG 1 ∗ 1 Since χG ∈ L (ν), it follows that f0 ∈ L (µ). ∗ Deﬁne a scalar measure µf0 as

∗ ∗ µf0 (A)= f0 dµ, A ∈ B(G). ZA ′ ∗ ∗ As f0 is a ﬁxed point for the family {τt : t ∈ G}, it follows that the measure µf0 is ∗ ∗ translation invariant and hence so is the measure |µf0 |. Further, the density of |µf0 | is ∗ ∗ |f0 | and hence non-zero. We now claim that the measure |µf0 | is regular. Let A ∈ B(G). Then

∗ ∗ ∗ 1 ∗ 1 |µf0 |(A)= |f0 | dµ ≤kf0 kL (ν) kχAkL (ν) = kνk(A). ZA ∗ It now follows, from our assumption that ν ≪ mG, that |µf0 | ≪ mG and therefore by ∗ ∗ Radon-Nikodym theorem it follows that |µf0 | is regular. In particular, |µf0 | is a Haar ∗ measure and hence there exists a positive constant c such that |µf0 | = cmG. Note that ∗ ∗ ∗ c = |µf0 |(G) as mG is normalized. As |f0 | is the density for the measure |µf0 |, it follows 1 ∗ that the density for the Haar measure mG is ∗ |f |. |µf |(G) 0 0 1 ∗ ∗ 1 ∗ 1 ∗ Let h = ∗ |f |. Using the fact that f ∈ L (ν) , it follows that h ∈ L (ν) . Further, |µf |(G) 0 0 0

′ ∗ ∗ ∗ ∗ kνk = f0(χG)= f0 dµ = f0 dµ ≤ |f0 | dµ = |µf0 |(G). ZG ZG ZG

−1 Thus khkL1(ν)∗ = kνk .

Remark 4.2. Theorem 4.1 implies that the measure mG is a Rybakov control measure

with some density and therefore ν-null sets coincides with mG-null sets.

1 1 Corollary 4.3. The embedding of Lw(ν) inside L (G) is continuous. Further kfk1 ≤ 1 1 kνk kfkν, f ∈ Lw(ν).

Proof. Let µ be a Rybakov control measure for ν. Since ν ≪ mG, by Theorem 4.1, there 1 ∗ exists a function 0 < h ∈ L (ν) such that the Haar measure mG is given by

mG(A)= h dµ, A ∈ B(G) ZA 8 MANOJKUMARANDN.SHRAVANKUMAR

∗ 1 1 and khkL1(ν) = kνk . Now, let f ∈ Lw(ν). By monotone convergence theorem, it suﬃces to assume that f is a simple function. Then, 1 kfk = |f| dm = h|f| dµ ≤khk 1 ∗ kfk = kfk . 1 G L (ν) ν kνk ν ZG ZG Φ 1 Φ 1 Since Lw(ν) ֒→ Lw(ν), we have that Lw(ν) ֒→ L (G). Therefore, we can consider the Φ classical convolution of any two functions in Lw(ν). In the next theorem, we prove that the (weak) Orlicz space with respect to ν is an L1(G)-module for the classical convolution.

1 Φ Φ Theorem 4.4. Let f ∈ L (G) and g ∈ Lw(ν). Then f ∗ g ∈ Lw(ν) with kf ∗ gkν,Φ ≤ Φ Φ kfk1kgkν,Φ. In particular, if g ∈ L (ν) then f ∗ g ∈ L (ν).

1 Φ Proof. Let f ∈ L (G) and g ∈ Lw(ν). Using Theorem 3.3, with translation as a homeo- Φ morphism, we have that τsg ∈ Lw(ν) with kτsgkν,Φ = kgkν,Φ. Then

kf ∗ gkν,Φ = f(s)τsg dmG(s) ZG ν,Φ

≤ |f(s)|kτsgkν,Φ dm G(s) ZG

= |f(s)|kgkν,Φ dmG(s)= kfk1kgkν,Φ. ZG Φ Now, let g ∈ L (ν), then there exists two sequences (φn) and (ψn) of simple functions 1 Φ 1 converging to f in L (G) and g in L (ν) respectively. Since, for each n ∈ N, φn ∈ L (G) ∞ Φ and ψn ∈ L (G), we have that φn ∗ψn is bounded and therefore φn ∗ψn ∈ L (ν). Further,

kφn ∗ ψn − f ∗ gkν,Φ ≤k(φn − f) ∗ ψnkν,Φ + kf ∗ (ψn − g)kν,Φ

≤kφn − fk1kψnkν,Φ + kfk1kψn − gkν,Φ.

Therefore, the sequence (φn ∗ ψn) converges to f ∗ g in the k·kν,Φ norm. Using the fact Φ Φ Φ that L (ν) is a closed subspace of Lw(ν), we have that f ∗ g ∈ L (ν).

Our next result is the analogue of [6, Proposition 2.42].

Theorem 4.5 (Existence of left approximate identity). The space LΦ(ν) has a left ap- Φ proximate identity, that is, there exists a net (gα)α∈∧ in L (ν) such that

(i) (gα)α∈∧ ⊂ C(G),

(ii) gλ ≥ 0 ∀ λ ∈ ∧,

(iii) supp(gβ) ⊂ supp(gα) if α 4 β, α,β ∈ ∧,

(iv) supp(gλ) →{e} as λ →∞,

(v) G gλ dmG =1 ∀ λ ∈ ∧ and Φ (vi) limkgλ ∗ f − fkν,Φ =0, f ∈ L (ν). Rλ CONVOLUTION STRUCTURES ON ORLICZ SPACES 9

1 Proof. It is well-known that a net (gα)α∈∧ satisfying (i) to (v) exists in L (G). This net satisﬁes our requirements. Indeed, for λ ∈ ∧ and f ∈ LΦ(ν),

kgλ ∗ f − fkν,Φ = gλ(s)τsf dmG(s) − f gλ(s) dmG(s) ZG ZG ν,Φ

≤ gλ(s)kτsf − fkν,Φ dmG(s). ZG Taking λ →∞ and using Theorem 3.6, the result follows. The next theorem is an analogue of [6, Theorem 2.43]. Theorem 4.6. Let I be a closed subspace of LΦ(ν). Then I is a left L1(G)-submodule of LΦ(ν) if and only if I is a translation invariant subspace. Proof. Suppose that I is a left L1(G)-submodule of LΦ(ν). Let f ∈ I and t ∈ G. Let Φ (gλ)λ∈∧ be a left approximate identity of L (ν), provided by Theorem 4.5. Then, using Theorem 3.3,

k(τtgλ) ∗ f − τtfkν,Φ = kτt(gλ ∗ f − f)kν,Φ = kgλ ∗ f − fkν,Φ → 0.

Φ Since (τtgλ) ∗ f ∈ I and as I is a closed subspace of L (ν), it follows that τtf ∈ I. Now let I be a translation invariant space. Let f ∈ L1(G) and g ∈ I. Since f ∗ g =

G f(s)τsg dmG(s), it is clear that f ∗ g belongs to the closed linear span of the functions I. I LΦ ν f ∗ g ∈ I. fromR Since is a closed subspace of ( ), it follows that Φ Φ Now we discuss the convolution structure in the spaces Lw(ν) and L (ν).

Φ Φ Theorem 4.7. Let f,g ∈ Lw(ν). Then f ∗ g ∈ Lw(ν) with 2 kf ∗ gk ≤ kχ k kfk kgk . ν,Φ kνk G ν,Ψ ν,Φ ν,Φ In particular, if f,g ∈ LΦ(ν) then f ∗ g ∈ LΦ(ν).

Φ Φ 1 Proof. If f,g ∈ Lw(ν) then using Theorem 4.4 and the fact that Lw(ν) ֒→ L (G), we Φ have f ∗ g ∈ Lw(ν) with kf ∗ gkν,Φ ≤kfk1kgkν,Φ. Further, using [5, Proposition 4.2] and Corollary 4.3, we have 1 kf ∗ gk ≤kfk kgk ≤ kfk kgk ν,Φ 1 ν,Φ kνk ν ν,Φ 2 ≤ kχ k kfk kgk . kνk G ν,Ψ ν,Φ ν,Φ The conclusion for LΦ(ν) follows from the density of S(G) in LΦ(ν). We ﬁnish this section with a remark on the Banach algebra structure of the (weak) Orlicz spaces with respect to ν.

Φ Remark 4.8. If the vector measure ν satisﬁes kνk ≥ 2kχGkν,Ψ, then the spaces Lw(ν) and LΦ(ν) become Banach algebras with classical convolution as multiplication. 10 MANOJKUMARANDN.SHRAVANKUMAR

Another convolution product for Φ and Φ 5. Lw(ν) L (ν) In this ﬁnal section, we deﬁne another convolution product for (weak) Orlicz spaces with respect to the vector measure ν. The main result of this section is Theorem 5.2. ′ ′ ′ If ν ≪ mG, then hν, x i ≪ mG, ∀ x ∈ X . Therefore, by Radon-Nikodym theorem

′ 1 ′ ′ 1 there exists a function hx ∈ L (G) such that dhν, x i = hx dmG. Further, for f ∈ Lw(ν),

′ |f|(t)d|hν, x i|(t)= |fhx′ |(t) dmG(t). ZG ZG ′ 1 1 Hence, fhx ∈ L (G) for every f ∈ Lw(ν). With this as motivation, we deﬁne another convolution product in the spirit of [1, Deﬁnition 4.1] and study some inequalities.

1 p Deﬁnition 5.1. Let 1 ≤ p ≤∞. The convolution of functions f ∈ Lw(ν) and g ∈ L (G) with respect to a vector measure ν ∈ Mac(G,X) is deﬁned by

′ ′ ′ f∗νg(x )=(fhx′ ) ∗ g, x ∈ X .

′ ′ Note that f∗νg(x )(t) = G f(s)τsg(t) dhν, x i(s), ∀ t ∈ G. Since for a norm integral translation invariant vector measure ν, LΦ(ν) is continuously embedded in L1(G), Deﬁni- R w 1 Φ tion 5.1 makes sense for functions f ∈ Lw(ν) and g ∈ Lw(ν). With this note, here is the main result of this section.

Theorem 5.2. Let ν ∈ Mac(G,X) be a norm integral translation invariant vector mea- 1 Φ ′ Φ sure. If f ∈ Lw(ν) and g ∈ Lw(ν), then f∗νg ∈ B(X , Lw(ν)) and

′ Φ kf∗νgkB(X ,Lw(ν)) ≤kfkνkgkν,Φ. 1 Φ ′ Φ In particular, if f ∈ L (ν) and g ∈ L (ν) then f∗ν g ∈ B(X , L (ν)).

′ Proof. Let x ∈ BX′ . Using Theorem 3.3, we have,

′ ′ kf∗ν g(x )kν,Φ = f(s)τsgdhν, x i(s) ZG ν,Φ

′ ≤ |f(s)|kτsgkν,Φ d|hν, x i|(s) ZG ′ ≤ |f(s)|kgkν,Φ d|hν, x i|(s) ≤kfkνkgkν,Φ. ZG ′ Φ ′ Φ Thus, it follows that, f∗νg ∈ B(X , Lw(ν)) with kf∗νgkB(X ,Lw(ν)) ≤kfkνkgkν,Φ. The last statement follows again from the density of the space of simple functions. Using Theorem 5.2 and [5, Proposition 4.2] we have the following immediate conse- quence.

Corollary 5.3. Let ν ∈ Mac(G,X) be a norm integral translation invariant vector mea- Φ ′ Φ ′ Φ sure. If f,g ∈ Lw(ν) then f∗ν g ∈ B(X , Lw(ν)) and kf∗νgkB(X ,Lw(ν)) ≤ 2kχGkν,Ψkfkν,Φkgkν,Φ. Φ ′ Φ In particular, if f,g ∈ L (ν) then f∗νg ∈ B(X , L (ν)). CONVOLUTION STRUCTURES ON ORLICZ SPACES 11

Acknowledgment

The ﬁrst author would like to thank the University Grants Commission, India for providing the research grant. References

[1] J. M. Calabuig, F. Galaz-Fontes, E. M. Navarrete and E. A. Sanchez-P´ erez´ , Fourier transforms and convolutions on Lp of a vector measure on a compact Haussdorﬀ abelian group,J. Fourier Anal. Appl. 19 (2013) 312-332. [2] O. Delgado, Banach function subspaces of L1 of a vector measure and related Orlicz spaces, Indag. Mathem., N.S., 15 (4) (2004) 485-495. [3] O. Delgado and P. Miana, Algebra structure for Lp of a vector measure, J. Math. Anal. Appl. 358(2) (2009) 355-363. [4] J. Diestel and J. J. Uhl, Vector Measures, Math. Surveys, vol. 15. Amer. Math. Soc., Providence (1977). [5] I. Ferrando and F. Galaz-Fontes, Multiplication operators on vector measure Orlicz spaces, Indag. Math., N.S., 20(1) (2009) 57-51. [6] G. B. Folland, A Course in Abstract Harmonic Analysis, CRC Press, Boca Raton, 1995. [7] S. Kakutani, Two Fixed-point Theorems Concerning Bicompact Convex Sets, Proc. Imp. Acad. Japan, 14 (1938) 242-245. [8] S. Okada, W. J. Ricker, and E. A. Sanchez´ Perez´ , Optimal Domain and Integral Extension of Operators acting in Function Spaces, Oper. Theory Adv. Appl., vol. 180. Birkh¨auser, Basel (2008). [9] M. M. Rao and Z. D. Ren, Theory of Orlicz spaces, Dekker, New York, 1991.

Department of Mathematics Indian Institute of Technology Delhi Delhi - 110016 India E-mail address: [email protected]