Boundedness of positive operators on weighted amalgams

Abstract

In this article, we characterize the pairs (u, v) of positive measurable functions such that T maps the weighted amalgam in (L^p (u), ℓ ^q ) for all , where T belongs to a class of positive operators which includes Hardy operators, maximal operators, and fractional integrals.

2000 Mathematics Subject Classification 26D10, 26D15 (42B35)

1. Introduction

Let u be a positive function of one real variable and let p, q > 1. The amalgam (L^p (u), ℓ ^q ) is the space of one variable real functions which are locally in L^p (u) and globally in ℓ ^q . More precisely,

where

These spaces were introduced by Wiener in [1]. The article [2] describes the role played by amalgams in Harmonic Analysis.

Carton-Lebrun, Heinig, and Hoffmann studied in [3] the boundedness of the Hardy operator in weighted amalgam spaces. They characterized the pairs of weights (u, v) such that the inequality

(1.1)

holds for all f, with a constant C independent of f, whenever . The characterization of the pairs (u, v) for (1.1) to hold in the case has been recently completed by Ortega and Ramírez ([4]), who have also characterized the weak type inequality

where

There are several articles dealing with the boundedness in weighted amalgams of other operators different from Hardy's one. Specifically, Carton-Lebrun, Heinig, and Hoffmann studied in [3] weighted inequalities in amalgams for the Hardy-Littlewood maximal operator as well as for some integral operators with kernel K(x, y) increasing in the second variable and decreasing in the first one. On the other hand, Rakotondratsimba ([5]) characterized some weighted inequalities in amalgams (corresponding to the cases and ) for the fractional maximal operators and the fractional integrals. Finally, the authors characterized in [6] the weighted inequalities for some generalized Hardy operators, including the fractional integrals of order greater than one, in all cases , extending also results due to Heinig and Kufner [7].

Analyzing the results in the articles cited above, one can see some common features that lead to explore the possibility of giving a general theorem characterizing the boundedness in weighted amalgams of a wide family of positive operators, and providing, in such a way, a unified approach to the subject. This is the purpose of this article.

2. The results

We consider an operator T acting on real measurable functions f of one real variable and define a sequence {T _n }_n∈ℤof local operators by

We assume that there exists a discrete operator T^d, i.e., which transforms sequences of real numbers in sequences of real numbers, verifying the following conditions:

• (i) There exists C > 0 such that for all non-negative functions f, all n ∈ ℤ and all x ∈ (n, n + 1), the inequality

  

  (2.1)

holds.

• (ii) There exists C > 0 such that for all sequences {a _k } of non-negative real numbers and n ∈ ℤ, the inequality

  

  (2.2)

holds for all y ∈ (n, n + 1) and all non-negative f such that for all m.

We also assume that T verifies Tf = T |f|, T(λf) = |λ| Tf, T(f + g)(x) ≤ Tf (x) + Tg (x) and Tf(x) ≤ Tg(x) if 0 ≤ f (x) ≤ g(x).

We will say that an operator T verifying all the above conditions is admissible.

There is a number of important admissible operators in Analysis. For instance: Hardy operators, Hardy-Littlewood maximal operators, Riemann-Liouville, and Weyl fractional integral operators, maximal fractional operators, etc.

Our main result is the following one:

Theorem 1. Let. Let u and v be positive locally integrable functions on ℝ and let T be an admissible operator. Then there exists a constant C > 0 such that the inequality

(2.3)

holds for all measurable functions f if and only if the following conditions hold:

• (i) T ^d is bounded from to ℓ^q({u _n }), where and .

• (ii) (a) in the case .

     (b) , with, in the case.

The proof of Theorem 1 is contained in Sect. 3.

Working as in Theorem 1, we can also prove the following weak type result:

Theorem 2. Let. Let u and v be positive locally integrable functions on ℝ and let T be an admissible operator. Then there exists a constant C > 0 such that the inequality

(2.4)

holds for all measurable functions f if and only if the following conditions hold:

• (i) T ^d is bounded from to ℓ ^q ({u _n }),), with v _n and un defined as in Theorem 1.

• (ii) (a) in the case .

     (b) , with, in the case.

If conditions on the weights u, v, and {u _n }, {v _n } characterizing the boundedness of the operators T _n and T^d, respectively, are available in the literature, we immediately obtain, by applying Theorems 1 and 2, conditions guaranteeing the boundedness of T between the weighted amalgams. In this sense, our result includes, as particular cases, most of the results cited above from the papers [3–7], as well as other corresponding to operators whose behavior on weighted amalgams has not been studied yet.

Thus, if M ^- is the one-sided Hardy-Littlewood maximal operator defined by

we have:

• (i) The discrete operator (M ^- )^d, defined by

  

verifies conditions (2.1) and (2.2).

• (ii) The local operators are defined by

  

• (iii) If and , there are well-known conditions on the weights u, v, and {u _n }, {v _n } that characterize the boundedness of and (M ^- )^d (see, for instance [8–10]).

Therefore, we obtain the following result:

Theorem 3. The following statements are equivalent:

• (i) M ^- is bounded from (L^p (w), ℓ ^q ) to (L^p (w), ℓ ^q ).

• (ii) M ^- is bounded from (L ^p(w), ℓ^q) to (L ^p,∞(w), ℓ^q).

• (iii) The next conditions hold simultaneously:

• (a) for all n, uniformly, and

• (b) the pair ({u _n }, {v _n }) verifies the discrete Sawyer's condition , i.e., there exists C > 0 such that

  

for all r, k ∈ ℤ with r ≤ k.

We can state a similar result for the one-sided maximal operator M⁺. In this case, the operator (M⁺)^d defined by

verifies conditions (2.1) and (2.2). The theorem is the next one:

Theorem 4. The following statements are equivalent:

• (i) M ⁺ is bounded from (L^p (w), ℓ ^q ) to (L^p (w), ℓ ^q ).

• (ii) M ⁺ is bounded from (L ^p(w), ℓ^q) to (L ^p,∞(w), ℓ^q).

• (iii) The next conditions hold simultaneously:

• (a) for all n, uniformly, and

• (b) the pair ({u _n }, {v _{n- 3}}) verifies the discrete Sawyer's condition , i.e., there exists C > 0 such that

  

for all r, k ∈ ℤ with r ≤ k.

If M is the Hardy-Littlewood maximal operator, defined by

then M is admissible, with , and there are well-known results, due to Muckenhoupt ([11]) and Sawyer ([12]), which characterize the boundedness of M in weighted Lebesgue spaces. Applying Theorems 1 and 2, we get the following result:

Theorem 5. The following statements are equivalent:

• (i) M is bounded from (L^p (w), ℓ ^q ) to (L^p (w), ℓ ^q ).

• (ii) M is bounded from (L ^p(w), ℓ^q) to (L ^p,∞(w), ℓ^q).

• (iii) The next conditions hold simultaneously:

• (a) w ∈ A _p,(n-1,n+2) for all n, uniformly, and

• (b) the pair ({u _n }, {v _n }) verifies the discrete two-sided Sawyer's condition S _q , i.e., there exists C > 0 such that

  

for all r, k ∈ ℤ with r ≤ k.

This result improves the one obtained by Carton-Lebrun, Heinig and Hofmann in [3], in the sense that the conditions we give are necessary and sufficient for the boundedness of the maximal operator in the amalgam (L^p (w), ℓ ^q ), while in [3] only sufficient conditons were given. We also prove the equivalence between the strong type inequality and the weak type inequality. The equivalence (i) ⇔ (iii) in Theorem 5 is included in Rakotondratsimba's paper [5], where the proof of the admissibility of M can also be found.

Finally, we will apply our results to the fractional maximal operator M _α , 0 < α < 1, defined by

The proof of the admissibility of M _α , with the obvious , is implied in Rakotondratsimba's paper ([5]).

Verbitsky ([13]) in the case 1 < q < p < ∞ and Sawyer ([12]) in the case 1 < p ≤ q < ∞ characterized the boundedness of M _α from L^p to L^q (w). These results allow us to give necessary and sufficient conditions on the weight u for M _α to be bounded from to .

Before stating the theorem, we introduce the notation:

• (i) If , we define H : ℤ → ℝ by

  

• (ii) If , we define

  

• (iii) If and n ∈ ℤ, we define for x ∈ (n - 1, n + 2)

  

• (iv) If and n ∈ ℤ, we define

  

The result reads as follows.

Theorem 6. M _α is bounded fromto (L^p (u), ℓ ^q ) if and only if

• (i) in the case and , sup_n∈ℤ J _n < ∞ and J < ∞;

• (ii) in the case and , and J < ∞;

• (iii) in the case and , {J _n } _n ∈ ℓ^s, where , and ;

• (iv) in the case and , and .

3. Proof of Theorem 1

Let us suppose that the inequality (2.3) holds. Let n ∈ ℤ and let f be a non-negative function supported in (n - 1, n + 2). Then, on one hand,

and, on the other hand,

Therefore, by (2.3), T _n is bounded and , where C is a positive constant independent of n. Then (ii)a holds independently of the relationship between q and . Let us prove that if , then (ii)b also holds.

It is well known that . Therefore, for each n there exists a non-negative measurable function f _n , with support in (n - 1, n + 2) and with , such that .

Since , to prove that it suffices to see that .

Let {a _n } be a sequence of non-negative real numbers and . For each n ∈ ℤ, f(x) ≥ a _n f _n (x) and then Tf (x) ≥ a _n T _n f _n (x) for all x ∈ (n - 1, n + 2). Thus,

Then, from (2.3) we deduce

This means that the identity operator is bounded from to . Then , by applying the following lemma (see [4]).

Lemma 1. Letand. Suppose that {u _n } and {v _n } are sequences of positive real numbers. The following statements are equivalent:

• (i) There exists C > 0 such that the inequality

  

holds for all sequences {a _n } of real numbers.

• (ii) The sequence belongs to the space l ^s.

On the other hand, let us prove that (i) holds. If {a _m } is a a sequence of non-negative real numbers and

then and by the properties of the operator T we have

Applying (2.3) we obtain

which means that the discrete operator T^d is bounded from to ℓ ^q ({u _n }), as we wished to prove.

Conversely, let us suppose that (i) and (ii) hold. Then, we have

where .

Applying that T^d is bounded from to ℓ ^q ({u _n }) and Hölder inequality, we obtain

Now we estimate I₂. If , since (ii)a holds, we know that the operators T _n are uniformly bounded from L^p(u, (n - 1, n + 2)) to and then

Let us suppose, finally, that . Then (ii)b holds and, therefore,

This finishes the proof of the theorem.