Skip to content
BY-NC-ND 3.0 license Open Access Published by De Gruyter July 12, 2018

Hardy-Littlewood, Bessel-Riesz, and fractional integral operators in anisotropic Morrey and Campanato spaces

  • Michael Ruzhansky EMAIL logo , Durvudkhan Suragan and Nurgissa Yessirkegenov

Abstract

We analyze local (central) Morrey spaces, generalized local (central) Morrey spaces and Campanato spaces on homogeneous groups. The boundedness of the Hardy-Littlewood maximal operator, Bessel-Riesz operators, generalized Bessel-Riesz operators and generalized fractional integral operators in generalized local (central) Morrey spaces on homogeneous groups is shown. Moreover, we prove the boundedness of the modified version of the generalized fractional integral operator and Olsen type inequalities in Campanato spaces and generalized local (central) Morrey spaces on homogeneous groups, respectively. Our results extend results known in the isotropic Euclidean settings, however, some of them are new already in the standard Euclidean cases.

1 Introduction

Consider the following Bessel-Riesz operators

Iα,γf(x)=RnKα,γ(xy)f(y)dy=Rn|xy|αn(1+|xy|)γf(y)dy,(1.1)

where fLlocp (ℝn), p ≥ 1, γ ≥ 0 and 0 < α < n. Here, Iα,γ and Kα,γ are called Bessel-Riesz operator and Bessel-Riesz kernel, respectively.

The boundedness of the fractional integral operators Iα,0 on Lebesgue spaces was shown by Hardy and Littlewood in [24], [25] and Sobolev in [43]. In the case of ℝn, the Hardy-Littlewood maximal operator, the generalized fractional integral operators, which are a generalized form of the Riesz potential Iα,0 = Iα, Bessel-Riesz operators and Olsen type inequalities are widely analysed on Lebesgue spaces, local (central) Morrey spaces and generalized local (central) Morrey spaces (see e.g. [1], [10], [29], [13], [11], [28], [30], [31], [23], [42], [26] and [27], as well as [6] for a recent survey). For some of their functional analytic properties, see also [7], [8] and references therein. We also refer [17], [18], [16], [5], [37] for analysis in local (central) Morrey spaces and generalized local (central) Morrey spaces, and [4], [3] in anisotropic local Morrey-type spaces.

In this paper we are interested in the boundedness of the Hardy-Littlewood maximal operator, Bessel-Riesz operators, generalized Bessel-Riesz operators, generalized fractional integral operators and Olsen type inequalities in generalized local (central) Morrey spaces on homogeneous Lie groups. The obtained results give new statements already in the Euclidean setting of ℝn when we are working with anisotropic differential structure. Furthermore, even in the isotropic situation in ℝn, one novelty of all the obtained results is also in the arbitrariness of the choice of any homogeneous quasi-norm, and some estimates are also new in the usual isotropic structure of ℝn with the Euclidean norm, which we will be indicating at relevant places.

Thus, we could have worked directly in ℝn with anisotropic structure, but since the methods work equally well in the setting of Folland and Stein’s homogeneous groups, we formulate all the results in such (greater) generality. In particular, it follows the general strategy initiated by their work, of distilling results of harmonic analysis depending only on the group and dilation structures: in this respect the present paper shows that the harmonic analysis on local (central) Morrey spaces largely falls into this category.

In turn, this continues the research direction initiated in [36] devoted to Hardy and other functional inequalities in the setting of Folland and Stein’s [15] homogeneous groups. We also refer to recent papers [32], [33], [34], [35], [38], [39], [40] and [41] for discussions related to different functional inequalities with special as well as arbitrary homogeneous quasi-norms in different settings. Local (central) Morrey spaces for non-Euclidean distances find their applications in many problems, see e.g. [20, 21] and [22].

We also refer to the recent survey paper [2] for some inequalities in fractional calculus that are used in differential or integral equations, and refer to [9] for the boundedness of the Riesz fractional integration operator from a generalized Morrey space Lp,ϕ(ℝn) to a certain Orlicz-Morrey space LΦ,ϕ(ℝn).

For the convenience of the reader let us now shortly recapture the main results of this paper.

For the definitions of the spaces appearing in the formulations below, see (3.1) for local (central) Morrey spaces LMp,q(𝔾), (3.2) for generalized local (central) Morrey spaces LMp,ϕ(𝔾), and (7.1) for generalized Camponato spaces 𝓛𝓜p,ϕ(𝔾), as well as (3.4) for the Hardy-Littlewood maximal operator M, (2.4) for Bessel-Riesz operators Iα,γ, (5.1) for generalized Bessel-Riesz operators Iρ,γ, and (6.1) for generalized fractional integral operators Tρ. Both Iρ,γ and Tρ generalise the Riesz transform and the Bessel-Riesz transform in different directions.

Thus, in this paper we show that for a homogeneous group 𝔾 of homogeneous dimension Q and any homogeneous quasi-norm |·| we have the following properties:

  • If 0 < α < Q and γ > 0, then Kα,γLp1(𝔾) for QQ+γα < p1 < QQα, and ∥Kα,γLp1(𝔾)kZ(2kR)(αQ)p1+Q(1+2kR)γp11p1 for any R > 0, where Kα,γ:=|x|αn(1+|x|)γ.

  • For any fLMp,ϕ(𝔾) and 1 < p < ∞, we have

    MfLMp,ϕ(G)CpfLMp,ϕ(G),

    where generalized local (central) Morrey space LMp,ϕ(𝔾) and Hardy-Littlewood maximal operator Mf are defined in (3.2) and (3.4), respectively.

  • Let γ > 0 and 0 < α < Q. If ϕ(r) ≤ Crβ for every r > 0, β < −α, 1 < p < ∞, and QQ+γα < p1 < QQα, then for all fLMp,ϕ(𝔾) we have

    Iα,γfLMq,ψ(G)Cp,ϕ,QKα,γLp1(G)fLMp,ϕ(G),

    where q=βp1pβp1+Q and ψ(r) = (ϕ(r))p/q. The Bessel-Riesz operator Iα,γ on a homogenous group is defined in (2.4).

  • Let γ > 0 and 0 < α < Q. If ϕ(r) ≤ Crβ for every r > 0, β < −α, QQ+γα < p2p1 < QQα and p2 ≥ 1, then for all fLMp,ϕ(𝔾) we have

    Iα,γfLMq,ψ(G)Cp,ϕ,QKα,γLMp2,p1(G)fLMp,ϕ(G),

    where 1 < p < ∞, q=βp1pβp1+Q , ψ(r) = (ϕ(r))p/q.

  • Let ω : ℝ+ → ℝ+ satisfy the doubling condition and assume that ω(r) ≤ Crα for every r > 0, so that Kα,γLMp2,ω(𝔾) for QQ+γα < p2 < QQα and p2 ≥ 1, where 0 < α < Q and γ > 0. If ϕ(r) ≤ Crβ for every r > 0, where β < −α < −Qβ, then for all fLMp,ϕ(𝔾) we have

    Iα,γfLMq,ψ(G)Cp,ϕ,QKα,γLMp2,ω(G)fLMp,ϕ(G),

    where 1 < p < ∞, q=βpβ+Qα and ψ(r) = (ϕ(r))p/q.

  • Let γ > 0 and let ρ and ϕ satisfy the doubling condition (3.3). Let 1 < p < q < ∞. Let ϕ be surjective and satisfy rϕ(t)ptdtC1(ϕ(r))p, and

    ϕ(r)0rρ(t)tγQ+1dt+rρ(t)ϕ(t)tγQ+1dtC2(ϕ(r))p/q,

    for all r > 0. Then we have

    Iρ,γfLMq,ϕp/q(G)Cp,q,ϕ,QfLMp,ϕ(G),

    where the generalized Bessel-Riesz operator Iρ,γ is defined in (5.1). This result is new already in the standard setting of ℝn.

  • Let ρ and ϕ satisfy the doubling condition (3.3). Let γ > 0, and assume that ϕ is surjective and satisfies (5.3)-(5.4). Then for 1 < p < p2 < ∞ we have

    WIρ,γfLMp,ϕ(G)Cp,ϕ,QWLMp2,ϕp/p2(G)fLMp,ϕ(G),

    provided that WLMp2,ϕp/p2(𝔾). This result is new even in the Euclidean cases.

  • Let ρ and ϕ satisfy the doubling condition (3.3). Let 1 < p < q < ∞. Let ϕ be surjective and satisfy rϕ(t)ptdtC1(ϕ(r))p, and

    ϕ(r)0rρ(t)tdt+rρ(t)ϕ(t)tdtC2(ϕ(r))p/q,

    for all r > 0. Then we have

    TρfLMq,ϕp/q(G)Cp,q,ϕ,QfLMp,ϕ(G),

    where the generalized fractional integral operator Tρ is defined in (6.1).

  • Let ρ and ϕ satisfy the doubling condition (3.3). Let ϕ be surjective and satisfy (6.3)-(6.4). Then for 1 < p < p2 < ∞ we have

    WTρfLMp,ϕ(G)Cp,ϕ,QWLMp2,ϕp/p2(G)fLMp,ϕ(G),

    provided that WLMp2,ϕp/p2(𝔾).

  • Let ω : ℝ+ → ℝ+ satisfy the doubling condition and assume that ω(r) ≤ Crα for every r > 0, so that Kα,γLMp2,ω(𝔾) for QQ+γα < p2 < QQα and p2 ≥ 1, where 0 < α < Q, 1 < p < ∞, q=βpβ+Qα and γ > 0. If ϕ(r) ≤ Crβ for every r > 0, where β < −α < −Qβ, then we have

    WIα,γfLMp,ϕ(G)Cp,ϕ,QWLMp2,ϕp/p2(G)fLMp,ϕ(G),

    provided that WLMp2,ϕp/p2(𝔾), where 1p2=1p1q. . This result is new already in the Euclidean setting of ℝn.

  • Let ρ satisfy (6.2), (3.3), (7.3), (7.4), and let ϕ satisfy the doubling condition (3.3) and 1ϕ(t)tdt < ∞. If

    rϕ(t)tdt0rρ(t)tdt+rrρ(t)ϕ(t)t2dtC3ψ(r)

    for all r > 0, then we have

    T~ρfLMp,ψ(G)Cp,ϕ,QfLMp,ϕ(G),1<p<,

    where the generalized local (central) Campanato space 𝓛𝓜p,ψ(𝔾) and operator ρ are defined in (7.1) and (7.2), respectively.

This paper is structured as follows. In Section 2 we briefly recall the concepts of homogeneous groups and fix the notation. The boundedness of the Hardy-Littlewood maximal operator and Bessel-Riesz operators in generalized local (central) Morrey spaces on homogeneous groups is proved in Section 3 and in Section 4, respectively. In Section 5 we prove the boundedness of the generalized Bessel-Riesz operators and Olsen type inequality for these operators in generalized local (central) Morrey spaces on homogeneous groups. The boundedness of the generalized fractional integral operators and Olsen type inequality for these operators in generalized local (central) Morrey spaces on homogeneous groups are proved in Section 6. Finally, in Section 7 we investigate the boundedness of the modified version of the generalized fractional integral operator in Campanato spaces on homogeneous groups.

2 Preliminaries

A connected simply connected Lie group 𝔾 is called a homogeneous group if its Lie algebra 𝔤 is equipped with a family of dilations:

Dλ=Exp(Alnλ)=k=01k!(ln(λ)A)k,

where A is a diagonalisable positive linear operator on 𝔤, and each Dλ is a morphism of 𝔤, that is, ∀X, Y ∈ 𝔤, λ > 0,; [DλX, DλY] = Dλ[X, Y].

The exponential mapping exp𝔾 : 𝔤 → 𝔾 is a global diffeomorphism and gives the dilation structure, which is denoted by Dλx or just by λx, on 𝔾.

Then we have

|Dλ(S)|=λQ|S|andGf(λx)dx=λQGf(x)dx,(2.1)

where dx is the Haar measure on 𝔾, |S| is the volume of a measurable set S ⊂ 𝔾 and Q : = Tr A is the homogeneous dimension of 𝔾. Recall that the Haar measure on a homogeneous group 𝔾 is the standard Lebesgue measure for ℝn (see e.g. [14, Proposition 1.6.6]).

Let |·| be a homogeneous quasi-norm on 𝔾. We will denote the quasi-ball centred at x ∈ 𝔾 with radius R > 0 by

B(x,R):={yG:|x1y|<R}

and we will also use the notation

Bc(x,R):={yG:|x1y|R}.

The proof of the following important polar decomposition on homogeneous Lie groups was given by Folland and Stein [15], which can be also found in [14, Section 3.1.7]: there is a (unique) positive Borel measure σ on the unit sphere

S:={xG:|x|=1},(2.2)

so that for any fL1(𝔾), one has

Gf(x)dx=0Sf(ry)rQ1dσ(y)dr.(2.3)

Now, for any fLlocp (𝔾), p ≥ 1 and γ ≥ 0, 0 < α < Q, we shall define the Bessel-Riesz operators on homogeneous groups by

Iα,γf(x):=GKα,γ(xy1)f(y)dy=G|xy1|αQ(1+|xy1|)γf(y)dy,(2.4)

where |·| is any homogeneous quasi-norm. Here, Kα,γ is the Bessel-Riesz kernel. Hereafter, C, Ci, Cp, Cp,ϕ,Q and Cp,q,ϕ,Q are positive constants, which are not necessarily the same from line to line.

Let us recall the following result, which will be used in the sequel.

Lemma 2.1

([26]). Ifb > a > 0, thenkZ(ukR)a(1+ukR)b<,for everyu > 1 andR > 0.

We now calculate the Lp-norms of the Bessel-Riesz kernel.

Theorem 2.1

Let 𝔾 be a homogeneous group of homogeneous dimensionQ. Let |·| be a homogeneous quasi-norm. LetKα,γ(x)=|x|αQ(1+|x|)γ.If 0 < α < Qandγ > 0, thenKα,γLp1(𝔾) and

Kα,γLp1(G)kZ(2kR)(αQ)p1+Q(1+2kR)γp11p1,

for anyR > 0 andQQ+γα < p1 < QQα .

Remark 2.1

We note that this result was proved in [26, Theorem 3] in the Abelian case 𝔾 = (ℝn, +) and Q = n with the standard Euclidean distance |x|=x12+x22+...+xn2.

Proof of Theorem 2.1

Introducing polar coordinates (r, y) = (|x|,xx) ∈ (0, ∞) × 𝔖 on 𝔾, where 𝔖 is the sphere as in (2.2), and using (2.3) for any R > 0, we have

G|Kα,γ(x)|p1dx=G|x|(αQ)p1(1+|x|)γp1dx=0Sr(αQ)p1+Q1(1+r)γp1dσ(y)dr=|σ|kZ2kRr<2k+1Rr(αQ)p1+Q1(1+r)γp1dr,

where |σ| is the Q − 1 dimensional surface measure of the unit sphere.

Then it follows that

G|Kα,γ(x)|p1dx|σ|kZ1(1+2kR)γp12kRr<2k+1Rr(αQ)p1+Q1dr=|σ|(2(αQ)p1+Q1)(αQ)p1+QkZ(2kR)(αQ)p1+Q(1+2kR)γp1.

On the other hand, we obtain

G|Kα,γ(x)|p1dx|σ|2γp1kZ1(1+2kR)γp12kRr<2k+1Rr(αQ)p1+Q1dr=|σ|(2(αQ)p1+Q1)2γp1((αQ)p1+Q)kZ(2kR)(αQ)p1+Q(1+2kR)γp1.

Therefore, for every R > 0 we arrive at

G|Kα,γ(x)|p1dxkZ(2kR)(αQ)p1+Q(1+2kR)γp1.

For p1 ∈ ( QQ+γα , QQα ) using Lemma 2.1 with u = 2, a = (αQ)p1 + Q, b = γp1, we obtain kZ(2kR)(αQ)p1+Q(1+2kR)γp1< which implies Kα,γLp1(𝔾). □

The following is well-known on homogeneous groups, see e.g. [14, Proposition 1.5.2].

Proposition 2.1

(Young’s inequality). Let 𝔾 be a homogeneous group. Suppose 1 ≤ p, q, p1 ≤ ∞ and1q+1=1p+1p1 . IffLp(𝔾) andgLp1(𝔾), then

gfLq(G)fLp(G)gLp1(G).

In view of Proposition 2.1 and taking into account the definition of Bessel-Riesz operator (2.4), we immediately get:

Corollary 2.1

Let 𝔾 be a homogeneous group of homogeneous dimensionQ. Let |·| be a homogeneous quasi-norm. Then for 0 < α < Qandγ > 0 we have

Iα,γfLq(G)Kα,γLp1(G)fLp(G)

for everyfLp(𝔾), where 1 ≤ p, q, p1 ≤ ∞, 1q+1=1p+1p1andQQ+γα < p1 < QQα.

Corollary 2.1 shows that the Iα,γ is bounded from Lp(𝔾) to Lq(𝔾) and

Iα,γLp(G)Lq(G)Kα,γLp1(G).

3 The boundedness of Hardy-Littlewood maximal operator in generalized local (central) Morrey spaces

In this section we define local (central) Morrey and generalized local (central) Morrey spaces on homogeneous groups. Then we prove that the Hardy-Littlewood maximal operator is bounded in these spaces. Note that in the isotropic Abelian case the result was obtained by Nakai [29].

Let 𝔾 be a homogeneous group of homogeneous dimension Q. Let us define the local (central) Morrey spaces LMp,q(𝔾) by

LMp,q(G):={fLlocp(G):fLMp,q(G)<},1pq,(3.1)

where ∥fLMp,q(𝔾) := supr>0rQ(1/q−1/p) (∫B(0,r)|f(x)|pdx)1/p. Next, for a function ϕ : ℝ+ → ℝ+ and 1 ≤ p < ∞, we define the generalized local (central) Morrey space LMp,ϕ(𝔾) by

LMp,ϕ(G):={fLlocp(G):fLMp,ϕ(G)<},(3.2)

where ∥fLMp,ϕ(𝔾) := supr>01ϕ(r)1rQB(0,r)|f(x)|pdx1/p . Here we assume that ϕ is nonincreasing and tQ/pϕ(t) is nondecreasing, so that ϕ satisfies the doubling condition, i.e. there exists a constant C1 > 0 such that

12rs21C1ϕ(r)ϕ(s)C1.(3.3)

Now, for every fLlocp (𝔾), we define the Hardy-Littlewood maximal operator M by

Mf(x):=supr>01|B(x,r)|B(x,r)|f(y)|dy,(3.4)

where |B(x, r)| denotes the Haar measure of the (quasi-)ball B = B(x, r).

Using the definition of local Morrey spaces (3.1), one can readily obtain:

Lemma 3.1

Let 𝔾 be a homogeneous group of homogeneous dimensionQ. Let |·| be a homogeneous quasi-norm. Then

Kα,γLMp2,p1(G)Kα,γLMp1,p1(G)=Kα,γLp1(G),(3.5)

where 1 ≤ p2p1andQQ+γα < p1 < QQα.

We now prove the boundedness of the Hardy-Littlewood maximal operator on generalized local Morrey spaces.

Theorem 3.1

Let 𝔾 be a homogeneous group. For anyfLMp,ϕ(𝔾) and 1 < p < ∞, we have

MfLMp,ϕ(G)CpfLMp,ϕ(G).(3.6)

Remark 3.1

We note that this result was proved on stratified groups (or homogeneous Carnot groups) in [19, Corollary 3.2]. Here, Theorem 3.1 holds on general homogeneous groups.

Proof of Theorem 3.1

By the definition of the norm of the generalized local (central) Morrey space (3.2), we have

fLMp,ϕ(G)=supr>01ϕ(r)1rQB(0,r)|f(x)|pdx1/p.

This implies that

B(0,r)|f(x)|pdx1/pϕ(r)rQpfLMp,ϕ(G),(3.7)

for any r > 0.

On the other hand, using Corollary 2.5 (b) from Folland and Stein [15] we have

G|M(fχB(0,r))(x)|pdx1/pCpG|f(x)χB(0,r)|pdx1/p=CpB(0,r)|f(x)|pdx1/p,

which implies

B(0,r)|Mf(x)|pdx1/pCpB(0,r)|f(x)|pdx1/p.(3.8)

Combining (3.7) and (3.8) we get for all r > 0

1ϕ(r)1rQB(0,r)|Mf(x)|pdx1/pCpfLMp,ϕ(G),

which implies ∥MfLMp,ϕ(𝔾)CpfLMp,ϕ(𝔾), completing the proof. □

4 Inequalities for Bessel-Riesz operators on generalized local Morrey spaces

In this section, we prove the boundedness of the Bessel-Riesz operators on the generalized local (central) Morrey space (3.2). In the Abelian case 𝔾 = (ℝn, +) and Q = n with the standard Euclidean distance |x| = x12+x22+...+xn2 the results of this section were obtained in [27].

Theorem 4.1

Let 𝔾 be a homogeneous group of homogeneous dimensionQ. Let |·| be a homogeneous quasi-norm. Letγ > 0 and 0 < α < Q. Ifϕ(r) ≤ Crβfor everyr > 0, β < −α, 1 < p < ∞, andQQ+γα < p1 < QQα , then for allfLMp,ϕ(𝔾) we have

Iα,γfLMq,ψ(G)Cp,ϕ,QKα,γLp1(G)fLMp,ϕ(G),(4.1)

whereq=βp1pβp1+Qandψ(r) = (ϕ(r))p/q.

Proof of Theorem 4.1

For every fLMp,ϕ(𝔾), we write Iα,γf(x) in the form Iα,γf(x) := I1(x) + I2(x), where I1(x):=B(x,R)|xy1|αQf(y)(1+|xy1|)γdy and I2(x):=Bc(x,R)|xy1|αQf(y)(1+|xy1|)γdy , for some R > 0.

By using dyadic decomposition for I1, we obtain

|I1(x)|k=12kR|xy1|<2k+1R|xy1|αQ|f(y)|(1+|xy1|)γdyk=1(2kR)αQ(1+2kR)γ2kR|xy1|<2k+1R|f(y)|dyCMf(x)k=1(2kR)αQ+Q/p1(2kR)Q/p1(1+2kR)γ.

From this using Hölder’s inequality for 1p1+1p1=1, we get

|I1(x)|CMf(x)k=1(2kR)(αQ)p1+Q(1+2kR)γp11/p1k=1(2kR)Q1/p1.

Since

k=1(2kR)(αQ)p1+Q(1+2kR)γp11/p1kZ(2kR)(αQ)p1+Q(1+2kR)γp11/p1Kα,γLp1(G),(4.2)

we arrive at

|I1(x)|CKα,γLp1(G)Mf(x)RQ/p1.(4.3)

For the second term I2, by using Hölder’s inequality for 1p+1p=1 we obtain that

|I2(x)|k=0(2kR)αQ(1+2kR)γ2kR|xy1|<2k+1R|f(y)|dyk=0(2kR)αQ(1+2kR)γ×2kR|xy1|<2k+1Rdy1/p2kR|xy1|<2k+1R|f(y)|pdy1/p,

that is,

|I2(x)|k=0(2kR)αQ(1+2kR)γ2kR2k+1RSrQ1dσ(y)dr1/p×2kR|xy1|<2k+1R|f(y)|pdy1/pCk=0(2kR)αQ(1+2kR)γ(2kR)Q/p2kR|xy1|<2k+1R|f(y)|pdy1/p.

Taking into account ϕ(r) ≤ Crβ, one obtains from above that

|I2(x)|CfLMp,ϕ(G)k=0(2kR)αQ+Q/p1(1+2kR)γϕ(2kR)(2kR)Q/p1CfLMp,ϕ(G)k=0(2kR)αQ+Q/p1(1+2kR)γ(2kR)β+Q/p1.

Applying Hölder’s inequality again, we get

|I2(x)|CfLMp,ϕ(G)k=0(2kR)(αQ)p1+Q(1+2kR)γp11/p1k=0(2kR)βp1+Q1/p1.

From the conditions p1 < QQα and β < −α, we have βp1 + Q < 0. By Theorem 2.1, we also have

k=0(2kR)(αQ)p1+Q(1+2kR)γp11/p1kZ(2kR)(αQ)p1+Q(1+2kR)γp11/p1Kα,γLp1(G).

Using these, we arrive at

|I2(x)|CKα,γLp1(G)fLMp,ϕ(G)RQ/p1+β.(4.4)

Summing up the estimates (4.3) and (4.4), we obtain

|Iα,γf(x)|CKα,γLp1(G)Mf(x)RQ/p1+fLMp,ϕ(G)RQ/p1+β.

Assuming that f is not identically 0 and that Mf is finite everywhere, we can choose R > 0 such that Rβ=Mf(x)fLMp,ϕ(G), that is,

|Iα,γf(x)|CKα,γLp1(G)fLMp,ϕ(G)Qβp1(Mf(x))1+Qβp1,

for every x ∈ 𝔾. Setting q=βp1pβp1+Q , for any r > 0 we get

|x|<r|Iα,γf(x)|qdx1qCKα,γLp1(G)fLMp,ϕ(G)1p/q×|x|<r|Mf(x)|pdx1/q.

Then we divide both sides by (ϕ(r))p/qrQ/q to get

|x|<r|Iα,γf(x)|qdx1qψ(r)rQ/qCKα,γLp1(G)fLMp,ϕ(G)1p/q×|x|<r|Mf(x)|pdx1/q(ϕ(r))p/qrQ/q,

where ψ(r) = (ϕ(r))p/q. Now by taking the supremum over r > 0, we obtain that

Iα,γfLMq,ψ(G)CKα,γLp1(G)fLMp,ϕ(G)1p/qMfLMp,ϕ(G)p/q,

which gives (4.1), after applying estimate (3.6). □

Lemma 3.1 gives the property that the Bessel-Riesz kernel belongs to local Morrey spaces, which will be used in the following theorem.

Theorem 4.2

Let 𝔾 be a homogeneous group of homogeneous dimensionQ. Let |·| be a homogeneous quasi-norm. Letγ > 0 and 0 < α < Q. Ifϕ(r) ≤ Crβfor everyr > 0, β < −α, QQ+γα < p2p1 < QQαandp2 ≥ 1, then for allfLMp,ϕ(𝔾) we have

Iα,γfLMq,ψ(G)Cp,ϕ,QKα,γLMp2,p1(G)fLMp,ϕ(G),(4.5)

where 1 < p < ∞, q=βp1pβp1+Qandψ(r) = (ϕ(r))p/q.

Proof of Theorem 4.2

Similarly to the proof of Theorem 4.1, we write Iα,γf(x) := I1(x) + I2(x), where

I1(x):=B(x,R)|xy1|αQ(1+|xy1|)γf(y)dy

and

I2(x):=Bc(x,R)|xy1|αQ(1+|xy1|)γf(y)dy

for R > 0. As before, we estimate the first term I1 by using the dyadic decomposition:

|I1(x)|k=12kR|xy1|<2k+1R|xy1|αQ|f(y)|(1+|xy1|)γdyk=1(2kR)αQ(1+2kR)γ2kR|xy1|<2k+1R|f(y)|dyCMf(x)k=1(2kR)αQ+Q/p2(2kR)Q/p2(1+2kR)γ,

where 1 ≤ p2p1. From this using Hölder’s inequality for 1p2+1p2=1, we get

|I1(x)|CMf(x)k=1(2kR)(αQ)p2+Q(1+2kR)γp21/p2k=1(2kR)Q1/p2.

By virtue of (4.2), we have

|I1(x)|C2Mf(x)0<|x|<RKα,γp2(x)dx1p2RQ/p2CKα,γLMp2,p1(G)Mf(x)RQ/p1.(4.6)

Now for I2 by using Hölder’s inequality for 1p+1p=1, we have

|I2(x)|k=0(2kR)αQ(1+2kR)γ(2kR)Q/p2kR|xy1|<2k+1R|f(y)|pdy1/p,

that is,

|I2(x)|CfLMp,ϕ(G)k=0(2kR)αϕ(2kR)(1+2kR)γ2kR|xy1|<2k+1Rdy1/p2(2kR)Q/p2CfLMp,ϕ(G)k=0ϕ(2kR)(2kR)Q/p12kR|xy1|<2k+1RKα,γp2(xy1)dy1/p2(2kR)Q/p2Q/p1,

where we have used the following inequality

2kR|xy1|<2k+1RKα,γp2(xy1)dy1/p2(2kR)(αQ)+Q/p2(1+2kR)γC(2kR)(αQ)(1+2kR)γ2kR|xy1|<2k+1Rdy1/p2.(4.7)

Since we have ϕ(r) ≤ Crβ and

2kR|xy1|<2k+1RKα,γp2(xy1)dy1/p2(2kR)Q/p2Q/p1Kα,γLMp2,p1(G)

for every k = 0, 1, 2, …, we get

|I2(x)|CKα,γLMp2,p1(G)fLMp,ϕ(G)k=0(2kR)β+Q/p1.

Taking into account β+Q/p1<0, we have

|I2(x)|CKα,γLMp2,p1(G)fLMp,ϕ(G)Rβ+Q/p1.(4.8)

Summing up the estimates (4.6) and (4.8), we obtain

|Iα,γf(x)|CKα,γLMp2,p1(G)(Mf(x)RQ/p1+fLMp,ϕ(G)Rβ+Q/p1).

Assuming that f is not identically 0 and that Mf is finite everywhere, we can choose R > 0 such that Rβ=Mf(x)fLMp,ϕ(G), which yields

|Iα,γf(x)|CKα,γLMp2,p1(G)fLMp,ϕ(G)Qβp1(Mf(x))1+Qβp1.

Now by putting q=βp1pβp1+Q , for any r > 0 we obtain

|x|<r|Iα,γf(x)|qdx1qCKα,γLMp2,p1(G)fLMp,ϕ(G)1p/q×|x|<r|Mf(x)|pdx1/q.

Then we divide both sides by (ϕ(r))p/qrQ/q to get

|x|<r|Iα,γf(x)|qdx1qψ(r)rQ/qCKα,γLMp2,p1(G)fLMp,ϕ(G)1p/q×|x|<r|Mf(x)|pdx1/q(ϕ(r))p/qrQ/q,

where ψ(r) = (ϕ(r))p/q. Taking the supremum over r > 0 and then using (3.6), we obtain the following desired result

Iα,γfLMq,ψ(G)CKα,γLMp2,p1(G)fLMp,ϕ(G)1p/qMfLMp,ϕ(G)p/qCp,ϕ,QKα,γLMp2,p1(G)fLMp,ϕ(G),

completing the proof. □

By Lemma 3.1, we note that Theorem 4.2 implies Theorem 4.1:

Iα,γfLMq,ψ(G)CKα,γLMp2,p1(G)fLMp,ϕ(G)CKα,γLp1(G)fLMp,ϕ(G).

In order to improve our results, we present the following lemma, which states that the kernel Kα,γ belongs to the generalized local Morrey space LMp2,ω(𝔾) for some p2 ≥ 1 and some function ω.

Lemma 4.1

Let 𝔾 be a homogeneous group of homogeneous dimensionQ. Letγ > 0, p2 ≥ 1 andQQp2 < α < Q. Ifω : ℝ+ → ℝ+withω(r) ≥ CrαQfor everyr > 0, thenKα,γLMp2,ω(𝔾).

Proof of Lemma 4.1

Here, it is sufficient to evaluate the following integral around zero

|x|RKα,γp2(x)dx=|x|R|x|(αQ)p2(1+|x|)γp2dx|σ|0<rRr(αQ)p2+Q1drCωp2(R)RQ.

By dividing both sides of this inequality by ωp2(R)RQ and taking p2th -root, we obtain

|x|RKα,γp2(x)dx1/p2ω(R)RQ/p2C1/p2.

Then, we take the supremum over R > 0 to get

supR>0|x|RKα,γp2(x)dx1/p2ω(R)RQ/p2<,

which implies Kα,γLMp2,ω(𝔾). □

Theorem 4.3

Let 𝔾 be a homogeneous group of homogeneous dimensionQ. Let |·| be a homogeneous quasi-norm. Letω : ℝ+ → ℝ+satisfy the doubling condition and assume thatω(r) ≤ Crαfor everyr > 0, so thatKα,γLMp2,ω(𝔾) forQQ+γα < p2 < QQα,andp2 ≥ 1, where 0 < α < Qandγ > 0. Ifϕ(r) ≤ Crβfor everyr > 0, whereβ < −α < −Qβ, then for allfLMp,ϕ(𝔾) we have

Iα,γfLMq,ψ(G)Cp,ϕ,QKα,γLMp2,ω(G)fLMp,ϕ(G),(4.9)

where 1 < p < ∞, q=βpβ+Qαandψ(r) = (ϕ(r))p/q.

Proof of Theorem 4.3

As in the proof of Theorem 4.1, we write

Iα,γf(x):=I1(x)+I2(x),

where I1(x):=B(x,R)|xy1|αQf(y)(1+|xy1|)γdy and I2(x):=Bc(x,R)|xy1|αQf(y)(1+|xy1|)γdy , R > 0.

First, we estimate I1 by using the dyadic decomposition

|I1(x)|k=12kR|xy1|<2k+1R|xy1|αQ|f(y)|(1+|xy1|)γdyk=1(2kR)αQ(1+2kR)γ2kR|xy1|<2k+1R|f(y)|dyCMf(x)k=1(2kR)αQ+Q/p2(2kR)Q/p2(1+2kR)γ.

From this using Hölder’s inequality for 1p2+1p2=1, we get

|I1(x)|CMf(x)k=1(2kR)(αQ)p2+Q(1+2kR)γp21/p2k=1(2kR)Q1/p2.

By (4.2) we have

|I1(x)|CMf(x)0<|x|<RKα,γp2(x)dx1p2RQ/p2CKα,γLMp2,ω(G)Mf(x)ω(R)RQ,

and using ω(r) ≤ Crα, we arrive at

|I1(x)|CKα,γLMp2,ω(G)Mf(x)RQα.(4.10)

Now let us estimate the second term I2:

|I2(x)|k=0(2kR)αQ(1+2kR)γ2kR|xy1|<2k+1R|f(y)|dyCk=0(2kR)αQ(1+2kR)γ(2kR)Q/p2kR|xy1|<2k+1R|f(y)|pdy1/pCfLMp,ϕ(G)k=0(2kR)αϕ(2kR)(1+2kR)γ2kR|xy1|<2k+1Rdy1/p2(2kR)Q/p2,

where we have used that (∫2kR≤|xy−1|<2k+1Rdy)1/p2 ∼ (2kR)Q/p2. Using (4.7) we obtain

|I2(x)|CfLMp,ϕ(G)k=0(2kR)αϕ(2kR)(2kR)αQ×2kR|xy1|<2k+1RKα,γp2(xy1)dy1/p2(2kR)Q/p2.

Taking into account that ϕ(r) ≤ Crβ and ω(r) ≤ Crα for every r > 0, we have

|I2(x)|CfLMp,ϕ(G)k=0(2kR)Qα+β2kR|xy1|<2k+1RKα,γp2(xy1)dy1/p2ω(2kR)(2kR)Q/p2.

Since we have

2kR|xy1|<2k+1RKα,γp2(xy1)dy1/p2ω(2kR)(2kR)Q/p2Kα,γLMp2,ω(G)

for every k = 0, 1, 2, …, it follows that

|I2(x)|CKα,γLMp2,ω(G)fLMp,ϕ(G)k=0(2kR)Qα+β,

and since Qα + β < 0, it implies that

|I2(x)|CKα,γLMp2,ω(G)fLMp,ϕ(G)RQα+β.(4.11)

Summing up the estimates (4.10) and (4.11), we have

|Iα,γf(x)|CKα,γLMp2,ω(G)(Mf(x)RQα+fLMp,ϕ(G)RQα+β).

Assuming that f is not identically 0 and that Mf is finite everywhere, we can choose R > 0 such that Rβ=Mf(x)fLMp,ϕ(G), that is

|Iα,γf(x)|CKα,γLMp2,ω(G)fLMp,ϕ(G)(αQ)/β(Mf(x))1+(Qα)/β.

Now by putting q=βpβ+Qα, for any r > 0 we get

|x|<r|Iα,γf(x)|qdx1qCKα,γLMp2,ω(G)fLMp,ϕ(G)1p/q×|x|<r|Mf(x)|pdx1/q.

Then we divide both sides by (ϕ(r))p/qrQ/q to get

|x|<r|Iα,γf(x)|qdx1qψ(r)rQ/qCKα,γLMp2,ω(G)fLMp,ϕ(G)1p/q×|x|<r|Mf(x)|pdx1/q(ϕ(r))p/qrQ/q,

where ψ(r) = (ϕ(r))p/q. Finally, taking the supremum over r > 0 and using (3.6), we obtain the desired result

Iα,γfLMq,ψ(G)CKα,γLMp2,ω(G)fLMp,ϕ(G)1p/qMfLMp,ϕ(G)p/qCp,ϕ,QKα,γLMp2,ω(G)fLMp,ϕ(G),

completing the proof. □

Remark 4.1

We can make the following comparison between the obtained estimates, similarly to the Euclidean case [27, Section 3], namely, that also in the case of general homogeneous groups, Theorem 4.3 gives the best estimate among the three. Indeed, if we take ω(R) := (1 + RQ/q1)RQ/p1 for some q1 > p1, then ∥Kα,γLMp2,ω(𝔾) ≤ ∥Kα,γLMp2,p1(𝔾). By Theorem 4.3 and Lemma 3.1 we obtain

Iα,γfLMq,ψ(G)CKα,γLMp2,ω(G)fLMp,ϕ(G)CKα,γLMp2,p1(G)fLMp,ϕ(G)CKα,γLp1(G)fLMp,ϕ(G).

5 Inequalities for generalized Bessel-Riesz operator in generalized local Morrey spaces

In this section, we prove the boundedness of the generalized Bessel-Riesz operator Iρ͠,γ and establish Olsen type inequality for this operator in generalized local Morrey spaces on homogeneous groups.

We define the generalized Bessel-Riesz operator Iρ͠,γ by

Iρ~,γf(x):=Gρ~(|xy1|)(1+|xy1|)γf(y)dy,(5.1)

where γ ≥ 0, ρ͠ : ℝ+ → ℝ+, ρ͠ satisfies the doubling condition (3.3) and the condition

01ρ~(t)tγQ+1dt<.(5.2)

For ρ͠(t) = tαQ, γ < α < Q, we have the Bessel-Riesz kernel

Iρ~,γ=Iα,γ=|xy1|αQ(1+|xy1|)γ.

Theorem 5.1

Let 𝔾 be a homogeneous group of homogeneous dimensionQ. Let |·| be a homogeneous quasi-norm and letγ > 0. Letρ͠andϕsatisfy the doubling condition(3.3). Letϕbe surjective and for some 1 < p < q < ∞ satisfy

r(ϕ(t))ptdtC1(ϕ(r))p,(5.3)

and

ϕ(r)0rρ~(t)tγQ+1dt+rρ~(t)ϕ(t)tγQ+1dtC2(ϕ(r))p/q,(5.4)

for allr > 0. Then we have

Iρ~,γfLMq,ϕp/q(G)Cp,q,ϕ,QfLMp,ϕ(G).(5.5)

Proof of Theorem 5.1

We write Iρ͠,γf(x) = I1,ρ͠(x) + I2,ρ͠(x), where I1,ρ~(x):=B(x,R)ρ~(|xy1|)f(y)(1+|xy1|)γdy and I2,ρ~(x):=Bc(x,R)ρ~(|xy1|)f(y)(1+|xy1|)γdy for every R > 0. For I1,ρ͠(x), we have

|I1,ρ~(x)||xy1|<Rρ~(|xy1|)(1+|xy1|)γ|f(y)|dy|xy1|<Rρ~(|xy1|)|xy1|γ|f(y)|dy=k=12kR|xy1|<2k+1Rρ~(|xy1|)|xy1|γ|f(y)|dy.

By virtue of (3.3), we get

|I1,ρ~(x)|Ck=1ρ~(2kR)(2kR)γ|xy1|<2k+1R|f(y)|dyCMf(x)k=1ρ~(2kR)(2kR)γQCMf(x)k=12kR2k+1Rρ~(t)tγQ+1dt=CMf(x)0Rρ~(t)tγQ+1dt,

where we have used the fact that

2kR2k+1Rρ~(t)tγQ+1dtCρ~(2kR)(2kR)γQ+12kRCρ~(2kR)(2kR)γQ.(5.6)

Now, using (5.4), we obtain

|I1,ρ~(x)|CMf(x)(ϕ(R))(pq)/q.(5.7)

For I2,ρ͠(x), applying (3.3) we have

|I2,ρ~(x)||xy1|Rρ~(|xy1|)(1+|xy1|)γ|f(y)|dy|xy1|Rρ~(|xy1|)|xy1|γ|f(y)|dy=k=02kR|xy1|<2k+1Rρ~(|xy1|)|xy1|γ|f(y)|dyCk=0ρ~(2kR)(2kR)γ|xy1|<2k+1R|f(y)|dy.

From this using the Hölder inequality, we obtain

|I2,ρ~(x)|Ck=0ρ~(2kR)(2kR)γ|xy1|<2k+1Rdy11p|xy1|<2k+1R|f(y)|dy1pCk=0ρ~(2kR)(2kR)γQ+Qp|xy1|<2k+1R|f(y)|dy1p.

Using the definition (3.2), one gets

|I2,ρ~(x)|CfLMp,ϕ(G)k=0ρ~(2k+1R)ϕ(2k+1R)(2kR)γQCfLMp,ϕ(G)k=02kR2k+1Rρ~(t)ϕ(t)tγQ+1dt=CfLMp,ϕ(G)Rρ~(t)ϕ(t)tγQ+1dt,

where we have used the fact that

2kR2k+1Rρ~(t)ϕ(t)tγQ+1dtCρ~(2k+1R)ϕ(2k+1R)(2k+1R)γQ+12kRCρ~(2k+1R)ϕ(2k+1R)(2kR)γQ.

Now, using (5.4), we obtain

|I2,ρ~(x)|CfLMp,ϕ(G)(ϕ(R))p/q.(5.8)

Summing the two estimates (5.7) and (5.8), we arrive at

|Iρ~,γf(x)|C(Mf(x)(ϕ(R))(pq)/q+fLMp,ϕ(G)(ϕ(R))p/q).

Assuming that f is not identically 0 and that Mf is finite everywhere and then using the fact that ϕ is surjective, we can choose R > 0 such that ϕ(R)=Mf(x)fLMp,ϕ(G)1, Thus, for every x ∈ 𝔾, we have

|Iρ~,γf(x)|C(Mf(x))pqfLMp,ϕ(G)qpq.

It follows that

B(0,r)|Iρ~,γf(x)|q1/qCB(0,r)|Mf(x)|p1/qfLMp,ϕ(G)qpq,

then we divide both sides by (ϕ(r))p/qrQ/q to get

1(ϕ(r))p/q1rQB(0,r)|Iρ~,γf(x)|q1/qC1(ϕ(r))p/q1rQB(0,r)|Mf(x)|p1/qfLMp,ϕ(G)qpq.

Taking the supremum over r > 0 and using the boundedness of the maximal operator M on LMp,ϕ(𝔾) from (3.6), we obtain

Iρ~,γfLMq,ϕp/q(G)Cp,q,ϕ,QfLMp,ϕ(G).

This completes the proof. □

Now let show the Olsen type inequalities for the generalized Bessel-Riesz operator Iρ,γ.

Theorem 5.2

Let 𝔾 be a homogeneous group of homogeneous dimensionQ. Let |·| be a homogeneous quasi-norm and letγ > 0. Letρ͠andϕsatisfy the doubling condition(3.3). Letϕbe surjective and satisfy(5.3)-(5.4). Then for 1 < p < p2 < ∞ we have

WIρ~,γfLMp,ϕ(G)Cp,ϕ,QWLMp2,ϕp/p2(G)fLMp,ϕ(G),(5.9)

provided thatWLMp2,ϕp/p2(𝔾).

Proof of Theorem 5.2

By using Hölder’s inequality, we have

1rQB(0,r)|W(x)Iρ~,γf(x)|pdx1rQB(0,r)|W(x)|p2dxp/p2×1rQB(0,r)|Iρ~,γf(x)|pp2p2pdxp2pp2.

Now let us take the p-th roots and then divide both sides by ϕ(r) to obtain

1ϕ(r)1rQB(0,r)|W(x)Iρ~,γf(x)|pdx1/p1(ϕ(r))p/p21rQB(0,r)|W(x)|p2dx1/p2×1(ϕ(r))p2pp21rQB(0,r)|Iρ~,γf(x)|pp2p2pdxp2ppp2.

By taking the supremum over r > 0 and using the inequality (5.5), we get

WIρ~,γfLMp,ϕ(G)Cp,ϕ,QWLMp2,ϕp/p2(G)Iρ~,γfLpp2p2p,ϕp2pp2(G).

Taking into account that 1 < p < pp2p2p < ∞ and putting q = pp2p2p in (5.5), we obtain (5.9). □

6 Generalized fractional integral operators in generalized local Morrey spaces

In this section, we prove the boundedness of the generalized fractional integral operators and establish Olsen type inequality in generalized local Morrey spaces on homogeneous groups.

We define the generalized fractional integral operator Tρ by

Tρf(x):=Gρ(|xy1|)|xy1|Qf(y)dy,(6.1)

where ρ : ℝ+ → ℝ+ satisfies the doubling condition (3.3) and the condition

01ρ(t)tdt<.(6.2)

As in the Abelian case, for ρ(t) = tα, 0 < α < Q, we have the Riesz transform

Tρf(x)=Iαf(x)=G1|xy1|Qαf(y)dy.

Theorem 6.1

Let 𝔾 be a homogeneous group of homogeneous dimensionQ. Let |·| be a homogeneous quasi-norm. Letρandϕsatisfy the doubling condition(3.3). Letϕbe also surjective and satisfy, for some 1 < p < q < ∞, the inequalities

rϕ(t)ptdtC1(ϕ(r))p,(6.3)

and

ϕ(r)0rρ(t)tdt+rρ(t)ϕ(t)tdtC2(ϕ(r))p/q,(6.4)

for allr > 0. Then we have

TρfLMq,ϕp/q(G)Cp,q,ϕ,QfLMp,ϕ(G).(6.5)

Proof of Theorem 6.1

For every R > 0, let us write Tρf(x) in the form

Tρf(x)=T1(x)+T2(x),

where T1(x):=B(x,R)ρ(|xy1|)(|xy1|)Qf(y)dyandT2(x):=Bc(x,R)ρ(|xy1|)(|xy1|)Qf(y)dy. For T1(x), we have

|T1(x)||xy1|<Rρ(|xy1|)|xy1|Q|f(y)|dy=k=12kR|xy1|<2k+1Rρ(|xy1|)|xy1|Q|f(y)|dy.

By view of (3.3), we get

|T1(x)|Ck=1ρ(2kR)(2kR)Q|xy1|<2k+1R|f(y)|dyCMf(x)k=1ρ(2kR)CMf(x)k=12kR2k+1Rρ(t)tdt=CMf(x)0Rρ(t)tdt.

Here we have used the fact that

2kR2k+1Rρ(t)tdtCρ(2kR)2kR2k+1R1tdt=Cρ(2kR)ln2.(6.6)

Now, using (6.4), we obtain

|T1(x)|CMf(x)(ϕ(R))(pq)/q.(6.7)

For T2(x), using (3.3) we have

|T2(x)||xy1|Rρ(|xy1|)|xy1|Q|f(y)|dy=k=02kR|xy1|<2k+1Rρ(|xy1|)|xy1|Q|f(y)|dyCk=0ρ(2kR)(2kR)Q|xy1|<2k+1R|f(y)|dy.

From this using Hölder’s inequality, we obtain

|T2(x)|Ck=0ρ(2kR)(2kR)Q|xy1|<2k+1Rdy11/p|xy1|<2k+1R|f(y)|dy1/pCk=0ρ(2kR)(2kR)Q/p|xy1|<2k+1R|f(y)|dy1/pCfLMp,ϕ(G)k=0ρ(2k+1R)ϕ(2k+1R)CfLMp,ϕ(G)k=02kR2k+1Rρ(t)ϕ(t)t=CfLMp,ϕ(G)Rρ(t)ϕ(t)t,

where we have used the fact that

2kR2k+1Rρ(t)ϕ(t)tdtCρ(2k+1R)ϕ(2k+1R)2kR2k+1R1tdt=Cρ(2k+1R)ϕ(2k+1R)ln2.(6.8)

Now, in view of (6.4), we obtain

|T2(x)|CfLMp,ϕ(G)(ϕ(R))p/q.(6.9)

Summing the two estimates (6.7) and (6.9), we arrive at

|Tρf(x)|C(Mf(x)(ϕ(R))(pq)/q+fLMp,ϕ(G)(ϕ(R))p/q).

Assuming that f is not identically 0 and that Mf is finite everywhere and then using the fact that ϕ is surjective, we can choose R > 0 such that ϕ(R)=Mf(x)fLMp,ϕ(G)1. Thus, for every x ∈ 𝔾, we have

|Tρf(x)|C(Mf(x))pqfLMp,ϕ(G)qpq.

It follows that

B(0,r)|Tρf(x)|q1/qCB(0,r)|Mf(x)|p1/qfLMp,ϕ(G)qpq,

then we divide both sides by (ϕ(r))p/qrQ/q to get

1(ϕ(r))p/q1rQB(0,r)|Tρf(x)|q1/qC1(ϕ(r))p/q1rQB(0,r)|Mf(x)|p1/qfLMp,ϕ(G)qpq.

Taking the supremum over r > 0 and using the boundedness of the maximal operator M on LMp,ϕ(𝔾) (3.6), we obtain

TρfLMq,ϕp/q(G)Cp,q,ϕ,QfLMp,ϕ(G).

The proof is complete. □

Now let us turn to the Olsen type inequalities for the generalized fractional integral operator Tρ and Bessel-Riesz operator Iα,γ.

Theorem 6.2

Let 𝔾 be a homogeneous group of homogeneous dimensionQ. Let |·| be a homogeneous quasi-norm. Letρandϕsatisfy the doubling condition(3.3). Letϕbe also surjective and satisfy(6.3)-(6.4). Then we have

WTρfLMp,ϕ(G)Cp,ϕ,QWLMp2,ϕp/p2(G)fLMp,ϕ(G),1<p<p2<,(6.10)

provided thatWLMp2,ϕp/p2(𝔾).

Proof of Theorem 6.2

By using Hölder’s inequality, we have

1rQB(0,r)|W(x)Tρf(x)|pdx1rQB(0,r)|W(x)|p2dxp/p21rQB(0,r)|Tρf(x)|pp2p2pdxp2pp2.

Now let us take the p-th roots and then divide both sides by ϕ(r) to obtain

1ϕ(r)1rQB(0,r)|W(x)Tρf(x)|pdx1/p1(ϕ(r))p/p21rQB(0,r)|W(x)|p2dx1/p2×1(ϕ(r))p2pp21rQB(0,r)|Tρf(x)|pp2p2pdxp2ppp2.

By taking the supremum over r > 0 and using the inequality (6.5), we get

WTρfLMp,ϕ(G)Cp,ϕ,QWLMp2,ϕp/p2(G)TρfLpp2p2p,ϕp2pp2(G).

Taking into account that 1 < p < pp2p2p < ∞ and putting q = pp2p2p in (6.5), we obtain (6.10). □

Theorem 6.3

Let 𝔾 be a homogeneous group of homogeneous dimensionQ. Let |·| be a homogeneous quasi-norm. Letω : ℝ+ → ℝ+satisfy the doubling condition and assume thatω(r) ≤ Crαfor everyr > 0, so thatKα,γLMp2,ω(𝔾) forQQ+γα < p2 < QQα,andp2 ≥ 1, where 0 < α < Q, 1 < p < ∞, q=βpβ+Qαandγ > 0. Ifϕ(r) ≤ Crβfor everyr > 0, whereβ < −α < −Qβ, then we have

WIα,γfLMp,ϕ(G)Cp,ϕ,QWLMp2,ϕp/p2(G)fLMp,ϕ(G),(6.11)

provided thatWLMp2,ϕp/p2(𝔾), where1p2=1p1q.

Proof of Theorem 6.3

As in Theorem 6.2, by using Hölder’s inequality for pp2+pq=1, we have

1rQB(0,r)|W(x)Iα,γf(x)|pdx1rQB(0,r)|W(x)|p2dxp/p21rQB(0,r)|Iα,γf(x)|qdxp/q.

Now we take the p-th roots and then divide both sides by ϕ(r) to get

1ϕ(r)1rQB(0,r)|W(x)Iα,γf(x)|pdx1/p1(ϕ(r))p/p21rQB(0,r)|W(x)|p2dx1/p2×1(ϕ(r))p/q1rQB(0,r)|Iα,γf(x)|qdx1/q.

By taking the supremum over r > 0, we have

WIα,γfLMp,ϕ(G)CWLMp2,ϕp/p2(G)Iα,γfLMq,ϕp/q(G),

which implies (6.11) in view of Theorem 4.3 after putting ψ(r) = (ϕ(r))p/q. □

7 Inequalities for the modified version of generalized fractional integral operator in Campanato spaces

In this section, we prove the boundedness of the modified version of the operator Tρ in Campanato spaces on homogeneous groups.

We define the generalized local (central) Campanato space by

LMp,ϕ(G):={fLlocp(G):fLMp,ϕ(G)<},(7.1)

where

fLMp,ϕ(G):=supr>01ϕ(r)1rQB(0,r)|f(x)fB|pdx1/p,

with fB=fB(0,r):=1rQB(0,r)f(y)dy, and we assume that ϕ(r)r is nonincreasing.

Next, for the function ρ : ℝ+ → ℝ+, we define the modified version of the generalized fractional integral operator Tρ by

Tρ~f(x):=Gρ(|xy1|)|xy1|Qρ(|y|)(1χB(0,1)(y))|y|Qf(y)dy,(7.2)

where B(0, 1) := {x ∈ 𝔾: |x| < 1} and χB(0,1) is the characteristic function of B(0, 1). In this definition, we assume that ρ satisfies (6.2), (3.3) and the following conditions:

rρ(t)t2dtC1ρ(r)rforallr>0;(7.3)
12rs2ρ(r)rQρ(s)sQC2|rs|ρ(s)sQ+1.(7.4)

For instance, the function ρ(r) = rα satisfies (6.2), (3.3) and (7.4) for 0 < α < Q, and also satisfies (7.3) for 0 < α < 1.

Theorem 7.1

Let 𝔾 be a homogeneous group of homogeneous dimensionQ. Let |·| be a homogeneous quasi-norm. Letρsatisfy(6.2), (3.3), (7.3), (7.4), and letϕsatisfy the doubling condition(3.3)and1ϕ(t)tdt < ∞. If

rϕ(t)tdt0rρ(t)tdt+rrρ(t)ϕ(t)t2dtC3ψ(r)forallr>0,(7.5)

then we have

T~ρfLMp,ψ(G)Cp,ϕ,QfLMp,ϕ(G),1<p<.(7.6)

Proof of Theorem 7.1

For every xB(0, r) and f ∈ 𝓛𝓜p,ϕ(𝔾), let us write ρf in the following form:

T~ρf(x)=T~B(0,r)(x)+CB(0,r)1+CB(0,r)2=T~B(0,r)1(x)+T~B(0,r)2(x)+CB(0,r)1+CB(0,r)2,

where

T~B(0,r)(x):=G(f(y)fB(0,2r))ρ(|xy1|)|xy1|Qρ(|y|)(1χB(0,2r)(y))|y|Qdy,CB(0,r)1:=G(f(y)fB(0,2r))×ρ(|y|)(1χB(0,2r)(y))|y|Qρ(|y|)(1χB(0,1)(y))|y|Qdy,CB(0,r)2:=GfB(0,2r)ρ(|xy1|)|xy1|Qρ(|y|)(1χB(0,1)(y))|y|Qdy,T~B(0,r)1(x):=B(0,2r)(f(y)fB(0,2r))ρ(|xy1|)|xy1|Qdy,T~B(0,r)2(x):=Bc(0,2r)(f(y)fB(0,2r))ρ(|xy1|)|xy1|Qρ(|y|)|y|Qdy.

Since

ρ(|y|)(1χB(0,2r)(y))|y|Qρ(|y|)(1χB(0,1)(y))|y|Q0,|y|<min(1,2r)or|y|max(1,2r);ρ(|y|)|y|Q=const,otherwise,

CB(0,r)1 is finite.

Now let us show that CB(0,r)2 is finite. For this it is enough to prove that the following integral is finite:

Gρ(|xy1|)|xy1|Qρ(|y|)(1χB(0,1)(y))|y|Qdy=Gρ(|xy1|)|xy1|Qρ(|y|)|y|Qdy+B(0,1)ρ(|y|)|y|Qdy.

Let us denote A:=Gρ(|xy1|)|xy1|Qρ(|y|)|y|Qdy. For large R > 0, we write A in the form A = A1 + A2 + A3, where

A1:=B(x,R)ρ(|xy1|)|xy1|QdyB(0,R)ρ(|y|)|y|Qdy,A2:=B(x,R+r)B(x,R)ρ(|xy1|)|xy1|QdyB(x,R+r)B(0,R)ρ(|y|)|y|Qdy,A3:=Bc(x,R+r)ρ(|xy1|)|xy1|Qρ(|y|)|y|Qdy.

Since we have 01ρ(t)tdt<+, it implies that ρ(|xy1|)|xy1|Q,ρ(|y|)|y|QLloc1(G), and hence A1 = 0. By (7.4) we have

A3Bc(x,R+r)ρ(|xy1|)|xy1|Qρ(|y|)|y|QdyCBc(x,R+r)||xy1||y||ρ(|xy1|)|xy1|Q+1dy.

By using the triangle inequality (see e.g. [14, Theorem 3.1.39, p.113]) and symmetric property of homogeneous quasi-norms, we get

A3C||x|+|y1||y||R+r+Sρ(t)tQ+1tQ1dσ(y)dtC|σ|rR+r+ρ(t)t2dt.

The inequality (7.3) implies that the last integral is finite and |A3| → 0 as R → +∞. For A2, we have

|A2|B(x,R+r)B(x,Rr)ρ(|xy1|)|xy1|Q+ρ(|y|)|y|Qdy((R+r)Q(Rr)Q)ρ(R)RQCrρ(R)R,

and taking into account the conditions (3.3) and (7.3), we obtain

|A2|Crρ(R)R0asR+.

Since A → 0 as R → +∞, we have A = 0 and hence

Gρ(|xy1|)|xy1|Qρ(|y|)(1χB(0,1)(y))|y|Qdy=B(0,1)ρ(|y|)|y|Qdy<,

which implies that CB(0,r)2 is finite.

Now before estimating T~B(0,r)1, let us denote := (ffB(0,2r))χB(0,2r) and ϕ~(r):=rϕ(t)tdt. Then, we have

|T~B(0,r)1(x)|B(0,2r)|f~(y)|ρ(|xy1|)|xy1|Qdy=k=02kr|xy1|<2k+1rρ(|xy1|)|xy1|Q|f~(y)|dy.

By using (3.3) and (6.6), we get

|T~B(0,r)1(x)|Ck=0ρ(2kr)(2kr)Q|xy1|<2k+1r|f~(y)|dyCMf~(x)k=0ρ(2kr)CMf~(x)k=0ρ(2k1r)CMf~(x)k=02k1r2krρ(t)tdt=CMf~(x)0rρ(t)tdt.

Now using (7.5), we have |T~B(0,r)1(x)|Cψ(r)ϕ~(r)Mf~(x). It follows that

1ψ(r)1rQB(0,r)|T~B(0,r)1(x)|pdx1/pC1ϕ~(r)rQ/pB(0,r)|Mf~(x)|pdx1/pC1ϕ~(r)rQ/pf~Lp(G),

where we have used (3.8).

By the Minkowski inequality, we have

1ϕ~(r)rQ/pf~Lp(G)=1ϕ~(r)rQ/p(ffB(0,2r))χB(0,2r)Lp(G)C1ϕ~(r)rQ/p((fσ(f))χB(0,2r)Lp(G)+(2r)Q/p|fB(0,2r)σ(f)|),

where σ(f)=limrfB(0,r).

Moreover, we obtain the following inequalities exactly in the same way as in the Abelian case (see [13], Section 6)

fσ(f)LMp,ϕ~(G)C1fLMp,ϕ(G),(7.7)

and

|fB(0,r)σ(f)|C2fLMp,ϕ(G)ϕ~(r).(7.8)

Finally, using these inequalities we get our estimate for T~B(0,r)1 as

T~B(0,r)1(x)|CfLMp,ϕ(G).(7.9)

Now let us estimate T~B(0,r)2 . By (3.3) and (7.4), we have

|T~B(0,r)2(x)|Bc(0,2r)|f(y)fB(0,2r)|ρ(|xy1|)|xy1|Qρ(|y|)|y|QdyC||xy1||y|||y|2r|f(y)fB(0,2r)|ρ(|y|)|y|Q+1dy.

By using the triangle inequality (see e.g. [14, Theorem 3.1.39, p.113]) and symmetric property of homogeneous quasi-norms, we get

|T~B(0,r)2(x)|C||x|+|y1||y|||y|2r|f(y)fB(0,2r)|ρ(|y|)|y|Q+1dyC|x||y|2r|f(y)fB(0,2r)|ρ(|y|)|y|Q+1dy=C|x|k=22k1r|y|<2krρ(|y|)|f(y)fB(0,2r)||y|Q+1dy.

By using (3.3) and Hölder’s inequality, we obtain

|T~B(0,r)2(x)|C|x|k=2ρ(2kr)(2kr)Q+1|y|<2kr|f(y)fB(0,2r)|dyC|x|k=2ρ(2kr)2kr1(2kr)Q|y|<2kr|f(y)fB(0,2r)|pdy1/p.

As in the Abelian case ([13]), we have

1(2kr)QB(0,2kr)|f(y)fB(0,2r)|pdy1/pCfLMp,ϕ(G)2r2k+1rϕ(s)sds,

for every k ≥ 2. The inequality (6.6) implies that

2kr2k+1rρ(t)t2dt12k+1r2kr2k+1rρ(t)tdtCρ(2kr)2kr.

By using the last two inequalities, we get

|T~B(0,r)2(x)|C|x|fLMp,ϕ(G)k=2ρ(2kr)2kr2r2k+1rϕ(s)sdsC|x|fLMp,ϕ(G)k=22kr2k+1rρ(t)t22rtϕ(s)sdsdtC|x|fLMp,ϕ(G)2rρ(t)t22rtϕ(s)sdsdt=C|x|fLMp,ϕ(G)2rsρ(t)t2dtϕ(s)sds.

Using (7.3) and then (7.5), it implies that

|T~B(0,r)2(x)|CrfLMp,ϕ(G)2rρ(s)ϕ(s)s2dsCψ(r)fLMp,ϕ(G).

This follows that

1ψ(r)1rQB(0,r)|T~B(0,r)2(x)|pdx1/pCfLMp,ϕ(G).(7.10)

Summing the estimates (7.9) and (7.10), we obtain (7.6). □

Acknowledgements

The first author was supported in parts by the EPSRC grant EP/R003025/1 and by the Leverhulme Grant RPG-2017-151. The second author was partially supported by the MESRK grant AP05130981 and NU SPG. The third author was supported by the MESRK grant AP05133271.

References

[1] D. R. Adams, A note on Riesz potentials. Duke Math. J. 42 (1975), 765–778.10.1215/S0012-7094-75-04265-9Search in Google Scholar

[2] A. Alsaedi, B. Ahmad and M. Kirane, A survey of useful inequalities in fractional calculus. Fract. Calc. Appl. Anal. 20, No 3 (2017), 574–594; 10.1515/fca-2017-0031; https://www.degruyter.com/view/j/fca.2017.20.issue-3/issue-files/fca.2017.20.issue-3.xml.Search in Google Scholar

[3] A. Akbulut, V. S. Guliyev and Sh. A. Muradova, Boundedness of the anisotropic Riesz potential in anisotropic local Morrey-type spaces. Complex Var. Elliptic Equ. 58, No 2 (2013), 259–280.10.1080/17476933.2011.575465Search in Google Scholar

[4] A. Akbulut, I. Ekincioglu, A. Serbetci and T. Tararykova, Boundedness of the anisotropic fractional maximal operator in anisotropic local Morrey-type spaces. Eurasian Math. J. 2, No 2 (2011), 5–30.Search in Google Scholar

[5] V. I. Burenkov, H. V. Guliyev and V. S. Guliyev, Necessary and sufficient conditions for the boundedness of fractional maximal operators in local Morrey-type spaces. J. Comput. Appl. Math. 208, No 1 (2007), 280–301.10.1016/j.cam.2006.10.085Search in Google Scholar

[6] V. I. Burenkov, Recent progress in studying the boundedness of classical operators of real analysis in general Morrey-type spaces. I, II. Eurasian Math. J. 3, (2012), 11–32, 4 (2013), 21–45.Search in Google Scholar

[7] V. I. Burenkov, D. K. Darbayeva and E. D. Nursultanov, Description of interpolation spaces for general local Morrey-type spaces. Eurasian Math. J. 4 (2013), 46–53.Search in Google Scholar

[8] V. I. Burenkov, E. D. Nursultanov and D. K. Chigambayeva, Description of the interpolation spaces for a pair of local Morrey-type spaces and their generalizations.Proc. Steklov Inst. Math. 284 (2014), 97–128.10.1134/S0081543814010064Search in Google Scholar

[9] E. Burtseva and N. Samko, Weighted Adams type theorem for the Riesz fractional integral in generalized Morrey space. Fract. Calc. Appl. Anal. 19, No 4 (2016), 954–972; 10.1515/fca-2016-0052; https://www.degruyter.com/view/j/fca.2016.19.issue-4/issue-files/fca.2016.19.issue-4.xml.Search in Google Scholar

[10] F. Chiarenza and M. Frasca, Morrey spaces and Hardy-Littlewood maximal function. Rend. Mat. 7 (1987), 273–279.Search in Google Scholar

[11] A. Eridani, On the boundedness of a generalized fractional integral on generalized Morrey spaces. Tamkang J. Math. 33, No 4 (2002), 335–340.10.5556/j.tkjm.33.2002.281Search in Google Scholar

[12] A. Eridani and H. Gunawan, On generalized fractional integrals. J. Indonesian Math. Soc. (MIHMI)8, No 3 (2002), 25–28.Search in Google Scholar

[13] A. Eridani, H. Gunawan and E. Nakai, On generalized fractional integral operators. Sci. Mathematicae Japanicae Online10 (2004), 307–318.Search in Google Scholar

[14] V. Fischer and M. Ruzhansky, Quantization on Nilpotent Lie Groups. Ser. Progress in Mathematics, Vol. 314, Birkhäuser (2016).10.1007/978-3-319-29558-9Search in Google Scholar

[15] G. B. Folland and E. M. Stein, Hardy Spaces on Homogeneous Groups. Ser. Mathematical Notes, vol. 28, Princeton Univ. Press, Princeton, N.J. & Univ. of Tokyo Press, Tokyo (1982).10.1515/9780691222455Search in Google Scholar

[16] V. S. Guliyev, Integral operators on function spaces on the homogeneous groups and on domains in 𝔾. Doctor’s Degree Dissertation, Moscow, Mat. Inst. Steklov (1994), 1–329.Search in Google Scholar

[17] V. S. Guliyev, Local generalized Morrey spaces and singular integrals with rough kernel. Azerb. J. Math. 3, No 2 (2013), 79–94.Search in Google Scholar

[18] V. S. Guliyev, Generalized local Morrey spaces and fractional integral operators with rough kernel. Problems in mathematical analysis. J. Math. Sci. (N.Y.)193, No 2 (2013), 211–227.10.1007/s10958-013-1448-9Search in Google Scholar

[19] V. Guliyev, A. Akbulut and Y. Mammadov, Boundedness of fractional maximal operator and their higher order commutators in generalized Morrey spaces on Carnot groups. Acta Math. Sci. Ser. B Engl. Ed. 33, No 5 (2013), 1329–1346.10.1016/S0252-9602(13)60085-5Search in Google Scholar

[20] V. Guliyev and L. Softova, Generalized Morrey estimates for the gradient of divergence form parabolic operators with discontinuous coefficients. J. Differential Equations259 (2015), 2368–2387.10.1016/j.jde.2015.03.032Search in Google Scholar

[21] V. Guliyev and L. Softova, Generalized Morrey regularity for parabolic equations with discontinuous data. Proc. Edinb. Math. Soc. 58 (2015), 199–218.10.1017/S0013091513000758Search in Google Scholar

[22] V. Guliyev and S. Samko, Maximal operator in variable exponent generalized Morrey spaces on quasi-metric measure space. Mediterr. J. Math. 13 (2016), 1151–1165.10.1007/s00009-015-0561-zSearch in Google Scholar

[23] H. Gunawan and A. Eridani, Fractional integrals and generalized Olsen inequalities. Kyungpook Math. J. 49 (2009), 31–39.10.5666/KMJ.2009.49.1.031Search in Google Scholar

[24] G. H. Hardy and J. E. Littlewood, Some properties of fractional integrals. I. Math. Zeit. 27 (1927), 565–606.10.1007/BF01171116Search in Google Scholar

[25] G. H. Hardy and J. E. Littlewood, Some properties of fractional integrals. II. Math. Zeit. 34 (1932), 403–439.10.1007/BF01180596Search in Google Scholar

[26] M. Idris, H. Gunawan, J. Lindiarni and A. Eridani, The boundedness of Bessel-Riesz operators on Morrey spaces. AIP Conf. Proc. 1729 (2015); 10.1063/1.4946909.Search in Google Scholar

[27] M. Idris, H. Gunawan and A. Eridani, The boundedness of Bessel-Riesz operators on generalized Morrey spaces. Aust. J. Math. Anal. Appl. 13, No 1 (2016), 1–10.10.1088/1742-6596/893/1/012014Search in Google Scholar

[28] K. Kurata, S. Nishigaki and S. Sugano, Boundedness of integral operator on generalized Morrey spaces and its application to Schrödinger operator. Proc. Amer. Math. Soc. 128 (1999), 587–602.10.1090/S0002-9939-99-05208-9Search in Google Scholar

[29] E. Nakai, Hardy-Littlewood maximal operator, singular integral operator and Riesz potentials on generalized Morrey spaces. Math. Nachr. 166 (1994), 95–103.10.1002/mana.19941660108Search in Google Scholar

[30] E. Nakai, On generalized fractional integrals. Taiwanese J. Math. 5 (2001), 587–602.10.11650/twjm/1500574952Search in Google Scholar

[31] E. Nakai, On generalized fractional integrals on the weak Orlicz spaces, BMOϕ, the Morrey spaces and the Campanato spaces. In: Function Spaces, Interpolation Theory and Related Topics (Lund, 2000) (2002), De Gruyter, Berlin, 389–401.Search in Google Scholar

[32] M. Ruzhansky and D. Suragan, Local Hardy and Rellich inequalities for sums of squares of vector fields. Adv. Diff. Equations22, No 7-8 (2017), 505–540.Search in Google Scholar

[33] M. Ruzhansky and D. Suragan, On horizontal Hardy, Rellich, Caffarelli-Kohn-Nirenberg and p-sub-Laplacian inequalities on stratified groups. J. Differential Equations262 (2017), 1799–1821.10.1016/j.jde.2016.10.028Search in Google Scholar

[34] M. Ruzhansky and D. Suragan, Anisotropic L2-weighted Hardy and L2-Caffarelli-Kohn-Nirenberg inequalities. Commun. Contemp. Math. 19, No 6 (2017); 10.1142/S0219199717500146.Search in Google Scholar

[35] M. Ruzhansky and D. Suragan, Layer potentials, Green formulae, Kac problem, and refined Hardy inequality on homogeneous Carnot groups. Adv. Math. 308, (2017), 483–528.10.1016/j.aim.2016.12.013Search in Google Scholar

[36] M. Ruzhansky and D. Suragan, Hardy and Rellich inequalities, identities, and sharp remainders on homogeneous groups. Adv. Math. 317, (2017), 799–822.10.1016/j.aim.2017.07.020Search in Google Scholar

[37] H. Rafeiro, N. Samko and S. Samko, Morrey-Campanato Spaces: an Overview. Oper. Theory Adv. Appl. 228 (2013), 293–323.10.1007/978-3-0348-0537-7_15Search in Google Scholar

[38] M. Ruzhansky, D. Suragan and N. Yessirkegenov, Extended Caffarelli-Kohn-Nirenberg inequalities and superweights for Lp-weighted Hardy inequalities. C. R. Math. Acad. Sci. Paris355, No 6 (2017), 694–698.10.1016/j.crma.2017.04.011Search in Google Scholar

[39] M. Ruzhansky, D. Suragan and N. Yessirkegenov, Caffarelli-Kohn-Nirenberg and Sobolev type inequalities on stratified Lie groups. NoDEA Nonlinear Differential Equations Appl. 24 (2017); 10.1007/s00030-017-0478-2.Search in Google Scholar

[40] M. Ruzhansky, D. Suragan and N. Yessirkegenov, Sobolev type inequalities, Euler-Hilbert-Sobolev and Sobolev-Lorentz-Zygmund spaces on homogeneous groups. Integral Equations and Operator Theory90 (2018); 10.1007/s00020-018-2437-7.Search in Google Scholar

[41] M. Ruzhansky, D. Suragan and N. Yessirkegenov, Extended Caffarelli-Kohn-Nirenberg inequalities, and remainders, stability, and superweights for Lp-weighted Hardy inequalities. Trans. Amer. Math. Soc. Ser. B5 (2018), 32–62.10.1090/btran/22Search in Google Scholar

[42] Y. Sawano, S. Sugano and H. Tanaka, Orlicz-Morrey spaces and fractional operators. Potential Anal. 36 (2012), 517–556.10.1007/s11118-011-9239-8Search in Google Scholar

[43] S. L. Sobolev, On a theorem in functional analysis (In Russian). Math. Sbor. 46 (1938), 471–497 [English transl. in: Amer. Math. Soc. Transl. 34, No 2 (1963), 39–68].Search in Google Scholar

Received: 2017-04-17
Published Online: 2018-07-12
Published in Print: 2018-06-26

© 2018 Diogenes Co., Sofia

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Downloaded on 28.3.2024 from https://www.degruyter.com/document/doi/10.1515/fca-2018-0032/html
Scroll to top button