Abstract
We prove the Hardy–Littlewood theorem in two dimensions for functions whose Fourier coefficients obey general monotonicity conditions and, importantly, are not necessarily positive. The sharpness of the result is given by a counterexample, which shows that if one slightly extends the considered class of coefficients, the Hardy–Littlewood relation fails.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Establishing interconnections between integrability of functions and summability of their Fourier coefficients is the problem which occupies a special place in harmonic analysis. The celebrated Parseval’s identity enables us to reduce a wide class of problems concerning functions to those concerning their Fourier series, and vice versa. Although we do not have such equalities for the spaces \(L_p,\;p\ne 2,\) we can still obtain equivalences of norms of functions and norms of their Fourier series if we impose some additional requirements. Results of this kind are important, in the first place, due to the fact that once such a relation is found, one becomes free to choose if it is handy to deal with functions or with coefficients in this or that case, as if having Parseval’s identity (see, e.g. [4, Chs. 4–6, 12–13] and [15, Sect. 7] for applications). The following result by Paley [26] can be considered the starting point for the research in this direction.
Theorem A
(Paley, 1931) Let \(\{\phi _n(x)\}\) be an orthonormal system on [a, b] with \(|\phi _n(x)|\le M\) for all \(x\in [a,b]\) and \(n\in {\mathbb {N}}\). Then
-
(a)
If \(p\in (1,2],\) then for any \(f\in L_p(a,b)\) with Fourier coefficients \(\{c_n\}\) there holds
$$\begin{aligned} \sum _{n=1}^{\infty }|c_n|^pn^{p-2}\lesssim _{p,M}\Vert f\Vert _p^p. \end{aligned}$$(1) -
(b)
If \(p\in [2,\infty ),\) then, for any sequence \(\{c_n\}\) with \(\sum _{n=1}^{\infty }|c_n|^pn^{p-2}<\infty \), there exists a function \(f\in L_p(a,b)\) that has \(\{c_n\}\) as its Fourier coefficients and
$$\begin{aligned} \sum _{n=1}^{\infty }|c_n|^pn^{p-2}\gtrsim _{p,M}\Vert f\Vert _p^p. \end{aligned}$$(2)
Throughout the paper, for two functions f and g, the relation \(f\gtrsim g\) (or \(g\lesssim f\)) means that there exists a constant C such that \(f(x)\ge Cg(x)\) for all x, and the relation \(f\asymp g\) is equivalent to \(f\gtrsim g\gtrsim f\) (if we write \(f\gtrsim _a g\), this means that the corresponding constant is allowed to depend on a). From now on, we discuss Fourier series only with respect to the trigonometric system.
The ranges of p in Theorem A are sharp, therefore to have both (1) and (2) true for all \(p\in (1,\infty )\), one has to impose some additional requirements. Hardy and Littlewood [17] showed that if we restrict ourselves to sine or cosine series with monotone tending to zero coefficients, then both relations (1) and (2) hold for all \(p\in (1,\infty )\). In this regard, a natural question to ask was: how much can we release the requirement of monotonicity to have
still true? This question in turn motivated creation of various extentions of the class of monotone sequences satisfying (3). One of these classes, the so-called general monotone or just GM class [28, Th. 4.2], consists of all sequences \(\{a_n\}\) fulfilling the condition
for all n. Thus, now we dropped not only the monotonicity condition but even the basic requirement of positivity, keeping though some regularity of our sequences. One can see that GM class can yet be generalized (see [29, Th. 6.2(B)] and [32, Th. 1]) by putting a mean value on the right-hand side of (4) instead of \(|a_n|\) as follows:
for some \(\lambda >1\) (see also [14] for some properties of such sequences). Note that these classes and several other ones, defined as (4) but with some other majorants on the right-hand side, in different sources can be also called GM. For a comprehensive survey on the concept of general monotonicity, we refer the reader to [21].
One more direction of extending the obtained results (see [1, 18, 32]) is proving them for weighted spaces. Define weighted Lebesgue spaces \(L_{w(p,q)}^q,\,p,q\in (0,\infty ],\) on \([-\pi ,\pi ]\), as the set of all measurable functions f with finite norm
The discrete weighted Lebesgue space \(l_{w(p,q)}^q\) is to be defined in the same way.
Now, a weighted version of relation (3) is
where \(p'\) stands for the conjugate to p, that is, \(1/p+1/p'=1\). Note that if we put \(q=p\), we get the standard Hardy–Littlewood relation (3). From now on, writing Hardy–Littlewood type relations we will omit the dependence on p of the corresponding constants, so this dependence will be taken for granted. The following theorem for weighted Lebesgue spaces was obtained by Sagher [27].
Theorem B
(Sagher, 1976) If the sequences \(\{a_n\}\) and \(\{b_n\}\) are monotone and vanishing at infinity and the function f has the Fourier series
then for \(p\in (1,\infty ),\;q\in [1,\infty ],\) there holds
It turns out that the same holds if we release the monotonicity condition in the theorem above to (5), thus withdrawing the requirement of positivity. This result, along with the similar statement proved for Lorentz spaces, was given by Dyachenko et al. [9].
So, in the one-dimensional case we have quite a complete picture.
The whole scenario becomes more complicated if we step out from the one-dimensional setting to the multidimensional one, and the first question we face is to determine what we should mean by monotonicity if we deal with multiple sequences. The usual one-dimensional monotonicity is characterized by the inequalities \(a_n\ge a_{n+1}\), or equivalently, \(\Delta a_n:=a_n-a_{n+1}\ge 0\). These two ways of writing the same property give rise to the following fundamentally different multidimensional monotonicity concepts. Our focus will be on the two-dimensional case.
1.1 Monotonicity in Each Variable
Likewise \(a_n\ge a_{n+1}\) in one dimension, we can require coordinatewise monotonicity, that is, in two-dimensional case the condition will be
It turns out, however, that for such sequence the Hardy–Littlewood relation (3) does not hold for some values of \(p>1\), namely, we have the following result proved by Dyachenko [6, 8].
Theorem C
(Dyachenko, 1986)
-
(a)
[6, Th. 1] If \(\{a_{mn}\}_{m,n=1}^{\infty }\) satisfying (7) and
$$\begin{aligned} a_{mn}\rightarrow 0,\quad \text {as}\;m+n\rightarrow \infty , \end{aligned}$$(8)is the sequence of the Fourier coefficients with respect to one of the orthonormal systems \(\{e^{inx}e^{imy}\}_{m,n=1}^{\infty }\), \(\{\sin nx\sin my\}_{m,n=1}^{\infty }\), and \(\{\cos nx\cos ny\}_{m,n=1}^{\infty }\), of a function f, then for any \(p\in (1,\infty )\),
$$\begin{aligned} \sum _{m,n=1}^{\infty }a_{mn}^p(mn)^{p-2}\lesssim \Vert f\Vert _p^p. \end{aligned}$$ -
(b)
[8, Cor. 2] Let \(p> 4/3\) and the sequence \(\{a_{mn}\}\) satisfy (7) and \(\sum _{m,n=1}^{\infty }a_{mn}^p(mn)^{p-2}<\infty \) (therefore, (8) as well). Then, for any of the systems above, there exists a function f having \(\{a_{mn}\}\) as its Fourier coefficients and satisfying
$$\begin{aligned} \sum _{m,n=1}^{\infty }a_{mn}^p(mn)^{p-2}\gtrsim \Vert f\Vert _p^p. \end{aligned}$$(9) -
(c)
[6, Ths. 8, 8’] For \(p\in (1,4/3)\), there exists a sequence \(\{a_{mn}\}\) satisfying (7) and (8) with \(\sum _{m,n=1}^{\infty }a_{mn}^p(mn)^{p-2}<\infty \) such that the corresponding trigonometric series diverges by squares almost everywhere on \((0,2\pi )^2\).
Note that it was shown by Fefferman [13] that for any \(p>1\) and any \(f\in L_p(0,2\pi )^2\), the Fourier series of f converges by squares almost everywhere on \((0,2\pi )^2\), thus, the third part of the theorem means that (9) is no longer true for \(p\in (1,4/3)\). We also remark that in general d-dimensional case the critical value is \(2d/(d+1)\) (see [7, Th. 1, Th. 4] and [8, Cor. 2]).
1.2 Monotonicity by Hardy
The next approach to the multiple concept of monotonicity is to consider the monotonicity in the so-called sense of Hardy (or Hardy–Krause, see [16] and [19], where this concept initially arises). That is, to introduce the following differences
and recalling the one-dimentional condition \(\Delta a_n\ge 0\), generalize it in the following way
Note that under the natural requirement (8), condition (10) implies
Here comes the result obtained by Móricz [23, Th. 1,2, Cor. 1].
Theorem D
(Móricz, 1990) Let \(p\ge 1\) and the sequence \(\{a_{mn}\}\) satisfy (8) and (10).
-
(a)
If \(\sum _{m,n=1}^{\infty }a_{mn}^p(mn)^{p-2}<\infty \), then the double sine or cosine series with coefficients \(\{a_{mn}\}\) is the Fourier series of its sum f and
$$\begin{aligned} \sum _{m,n=1}^{\infty }a_{mn}^p(mn)^{p-2}\gtrsim \Vert f\Vert _p^p. \end{aligned}$$ -
(b)
If \(\{a_{mn}\}\) is the sequence of double sine or cosine Fourier coefficients of \(f\in L_p\), then
$$\begin{aligned} \sum _{m,n=1}^{\infty }a_{mn}^p(mn)^{p-2}\lesssim \Vert f\Vert _p^p. \end{aligned}$$
The reader can find Theorem D proved for Vilenkin systems (and hence for the Walsh system) in [30, Sec. 6.3] and [31].
Condition (10) is quite restrictive and one of the closest generalizations of it in, say, GM spirit is the following one
Note that if the sequence satisfies (10), then the left-hand side above becomes just equal to \(a_{mn}\). The next result [10, Th. 6B] (see [11] for the proof) extends the one of Móricz.
Theorem E
(Dyachenko, Tikhonov, 2007) If a nonnegative sequence \(\{a_{mn}\}\) satisfy (8) and the so-called \(GM^2\) condition
then the corresponding double sine, cosine, or exponential series converges everywhere on \((0,2\pi )^2\) and is the Fourier series of its sum. Besides, for any \(p\in (1,\infty )\),
It is worth mentioning that the \(\gtrsim \) part was proved without assuming \(a_{mn}\ge 0\), moreover, it was shown that if \(\sum _{m=k}^{\infty }\sum _{n=l}^{\infty }|\Delta ^{11}a_{mn}|\lesssim \beta _{kl}\), then \(\sum _{m,n=1}^{\infty }\beta _{mn}^p(mn)^{p-2}\gtrsim \Vert f\Vert _p^p.\) However, in the proof of the counterpart the requirement of nonnegativity plays a crucial role. It was noted in [12, Th. 4.1] that following the lines of this proof one can adapt it for a more general class of sequences for which the right-hand side of (11) is replaces by \(\sum _{m=\lceil k/\lambda \rceil }^{\infty }\sum _{n=\lceil l/\lambda \rceil }^{\infty }|a_{mn}|/mn,\;\lambda >1\).
Further, it was shown [33] that some other GM type nonnegative sequences happen to obey the two-sided Hardy–Littlewood relation. We present the result from [33] for weighted spaces.
Theorem F
(Yu, Zhou, Zhou, 2012) Let \(\{a_{mn}\}\) be a nonnegative sequence satisfying (8) and the following GM type conditions
for some \(\lambda \ge 2\), and let \(f(x,y):=\sum _{m,n=1}^{\infty }a_{mn}\sin mx\sin ny\). Then, for any \(p\in [1,\infty )\), for any function \(\phi \in \Phi \) with either \(\phi ^{-\frac{1}{p-1}}\in L\) if \(p>1\), or \(\phi ^{-1}\in L_{\infty }\), if \(p=1\), we have
In the above result \(\Phi \) stands for some class of power-like positive functions, which we are not going to specify here. A similar result with a more general GM type positive sequences and some other (not comparable) class of power-like functions was obtained in [5].
The main purpose of this work is to show that for some kinds of double GM sequences we can prove the Hardy–Littlewood theorem without restricting ourselves only to positive sequences. We present two GM type classes for which the two-sided Hardy–Littlewood inequality holds true.
We write that \(\{a_{mn}\}\in GM^c_1\) if it satisfies (8) and
and \(\{a_{mn}\}\in GM^c_2\), if it satisfies (8) and
for all \(k,l\in {\mathbb {N}}\) and some constant C depending only on the sequence \(\{a_{mn}\}\). We remark that the letter c in \(GM^c\) comes from the word “corner”, since a set of the kind \([k,2k]\times [l,\infty )\cup [k,\infty )\times [l,2l]\) generates a corner on the plane. Note that \(GM^c_1\) sequences obey the one-dimensional GM conditions (4) in each variable (see (14) in the proof of Lemma 1), while \(GM^c_2\) in one variable satisfy (4), and in another one, the “backward” GM condition.
Note that for \([-\pi ,\pi ]^2\) the \(L_{w(p,q)}^q\)-norms take the form
From now on, for convenience, we adopt the following notation: using that \((\sin x)^{(1)}=(\sin x)'=\cos x\) and \((\sin x)^{(0)}=\sin x\), we will write a two-dimensional trigonometric series as
and we will say that \(\{a_{mn}^{ij}\}_{m,n=1}^{\infty },\;i,j=0,1,\) is the sequence of its coefficients.
The main result of the paper is the following.
Theorem 1
Let \(p\in (1,\infty ),\;q\in [1,\infty ],\) and let each of the sequences \(\{a_{mn}^{ij}\}_{m,n=1}^{\infty },\;i,j=0,1,\) belong either to \(GM^c_1\) or to \(GM^c_2\).
-
(a)
If \(\{a_{mn}^{ij}\}_{m,n=1}^{\infty },\;i,j=0,1,\) is the sequence of Fourier coefficients of \(f\in L(-\pi ,\pi )\), then
$$\begin{aligned} \Vert f\Vert _{L_{w(p,q)}^q}^q \gtrsim \sum _{i,j=0}^1\sum _{m,n=1}^{\infty }|a_{mn}^{ij}|^q(mn)^{\frac{q}{p'}-1}. \end{aligned}$$ -
(b)
If \(\sum _{i,j=0}^1\sum _{m,n=1}^{\infty }|a_{mn}^{ij}|^q(mn)^{\frac{q}{p'}-1}<\infty \), then the corresponding trigonometric series converges everywhere on \((0,2\pi )^2\) and is the Fourier series of its sum, moreover,
$$\begin{aligned} \Vert f\Vert _{L_{w(p,q)}^q}^q \lesssim \sum _{i,j=0}^1\sum _{m,n=1}^{\infty }|a_{mn}^{ij}|^q(mn)^{\frac{q}{p'}-1}. \end{aligned}$$
Sharpness of Theorem 1 for \(GM^c_2\) sequences is provided by a counterexample in Theorem 2, which shows that if we restrict the sum on the left-hand side of (13) to the rectangle (that is, to the intersection and not the union of the two corresponding strips), which is one of the most natural generalizations of the left-hand side of the GM condition (4), then the \(\gtrsim \) part fails for \(p>2\) and \(q\ge p\).
2 Proof of the Hardy–Littlewood Theorem for \(GM^c\) Sequences
For a sequence \(\{a_{mn}\}_{m,n=1}^{\infty }\), we define
Lemma 1
-
(a)
For any sequence \(\{a_{kl}\}_{k,l=1}^{\infty }\in GM^c_1\), there exist \(c,v>0\) such that for any (m, n) with \(A_{m-1,n-1}\le TA_{m,n}\) there exist a rectangle \(Q'_{m-1,n-1}\subset Q_{m-1,n-1}\) of size \(2^{m-v}\times 2^{n-v}\) satisfying
$$\begin{aligned} \bigg |\sum _{k,l\in \; Q'_{m-1,n-1}}a_{kl}\bigg |> c2^{m+n}A_{mn}, \end{aligned}$$where c and v depend only on C and T.
-
(b)
For any sequence \(\{a_{kl}\}_{k,l=1}^{\infty }\in GM^c_2,\) there exist \(c,v>0\) such that for any (m, n) with \(A_{m+1,n-1}\le TA_{m,n}\) there exist a rectangle \(Q'_{m+1,n-1}\subset Q_{m+1,n-1}\) of size \(2^{m-v}\times 2^{n-v}\) satisfying
$$\begin{aligned} \bigg |\sum _{k,l\in \; Q'_{m+1,n-1}}a_{kl}\bigg |> c2^{m+n}A_{mn}, \end{aligned}$$where c and v depend only on C and T.
Proof
Note that (8) and (12) imply that
for any \(k,l\in {\mathbb {N}}\) and \((s,t)\in [k,2k]\times [l,2l]\). Similarly, (8) along with (13) imply (14) with \(a_{2k,l}\) instead of \(a_{k,l}\) on the right-hand side. In particular, (14) yields that
so
for any \((s',t')\in [0.5k,k]\times [0.5l,l]\). Considering \(k=2^m,\;l=2^n,\) we get for any \((s,t)\in Q_{m-1,n-1}\)
For conditions (8) and (13), the same arguments give
and
for any \((s',t')\in [2k,4k]\times [0.5l,l]\). Once more, considering \(k=2^m,\;l=2^n,\) we get (15) for \((s,t)\in Q_{m+1,n-1}\) instead of \(Q_{m-1,n-1}\).
Thus, any sequence \(\{a_{kl}\}\in GM^c_1\) satisfies \(|a_{kl}|\le (C+1)|a_{k'l'}|\) for \((k',l')\in [0.5k,k]\times [0.5l,l]\) as well as any \(\{a_{kl}\}\in GM^c_2\) does for \((k',l')\in [k,2k]\times [0.5l,l]\).
In Lemma 1(a), due to condition (14) and inequality (15), for any \((k,l)\in Q_{m-1,n-1}\), each one of the sequences \(a_{2^{m-1},l},a_{2^{m-1}+1,l},\ldots ,a_{2^m,l}\) and \(a_{k,2^{n-1}},a_{k,2^{n-1}+1},\ldots ,a_{k,2^n}\) can have at most
changes of sign.
The same holds for \(Q_{m+1,n-1}\) in place of \(Q_{m-1,n-1}\) in Lemma 1(b).
Focus now on Lemma 1(a). Consider the rectangle \(R:=Q_{m-1,n-1}=[2^{m-1},2^{m}]\times [2^{n-1},2^{n}]\) on the plane and draw all the segments \([(k,l),(k+1,l)]\) such that \(a_{k,l-1}\) and \(a_{k,l}\) have different signs and all the segments \([(k,l),(k,l+1)]\) such that \(a_{k-1,l}\) and \(a_{k,l}\) have different signs (call them marked segments). Then our rectangle R is divided by the marked segments into several connected parts corresponding to the terms of \(\{a_{kl}\}\) of the same sign. The interior part of the union of their boundaries has at most \(b2^{n-1}\) vertical marked segments and at most \(b2^{m-1}\) horizontal ones. Take a positive integer u such that
where \(\tau :=4\sqrt{T(C+1)^2+1}\). Divide R into \(2^{2u}\) equal rectangles of size \(2^{m-1-u}\times 2^{n-1+u}\) and consider a half of them in a checkerboard pattern. Suppose that there is no rectangle among them containing at most \(2^{n-1-u}/\tau \) vertical marked segments and at most \(2^{m-1-u}/\tau \) horizontal ones. Then we must have
which contradicts (17). So, there is a rectangle \(r=[\alpha _1,\alpha _2]\times [\beta _1,\beta _2]\) of size \(2^{m-1-u}\times 2^{n-1-u}\) with at most \(2^{n-1-u}/\tau \) vertical marked segments and at most \(2^{m-1-u}/\tau \) horizontal ones inside it. Consider the parts corresponding to the terms of \(\{a_{kl}\}\) of the same sign inside r. Call the parts whose boundaries intersect the boundary of r by A-parts, the other ones, by B-parts. Note that there is no marked segment of an A-part inside the rectangle \(r':=\big [\frac{3\alpha _1+\alpha _2}{4},\frac{\alpha _1+3\alpha _2}{4}\big ]\times \big [\frac{3\beta _1+\beta _2}{4},\frac{\beta _1+3\beta _2}{4}\big ]\). Indeed, otherwise there would exist a broken line of marked segments with either at least \(0.25(\alpha _2-\alpha _1)=2^{m-3-u}\) horizontal segments or at least \(0.25(\beta _2-\beta _1)=2^{n-3-u}\) vertical ones. But this is impossible, since \(\tau >4\). The area of all B-parts does not exceed \(2^{m+n-2-2u}/\tau ^2\). Thus, there are at least \(2^{m+n-4-2u}(1-4\tau ^{-2})\) terms of the same sign in \(r'\), so the absolute value of the sum of the terms \(\{a_{kl}\}\) in \(r'\) is at least
which concludes the proof of Lemma 1(a) with \(c:=2^{-2u-5}\alpha \) and \(v:=u+1\).
A similar argument is valid for \(Q_{m+1,n-1}\) in Lemma 1(b), which completes the proof. \(\square \)
Remark 1
In the proof of Lemma 1, for \(GM^c_1\) class we only used its one-dimensional GM properties (14), and for \(GM^c_2\), the corresponding nonsymmetric relations (namely, (14) with \(a_{2k,l}\) in place of \(a_{k,l}\)).
Remark 2
The claim of Lemma 1(a) is no longer true if we substitute the \(GM^c_1\) condition (12) for
Proof
Indeed, consider the sequence
where \(f_m(n)\) we define as follows:
For such a sequence, condition (8) obviously holds. Consider a rectangle \(S_{mn}\) of the form \([m,2m)\times [n,2n)\). The only nonzero \(\Delta ^{11}a_{kl}\) in this rectangle are \(\Delta ^{11}a_{m'-1,n'}\) and \(\Delta ^{11}a_{m'n'}\), where \(n'\in [n,2n):\;\lfloor \log _2 (n')\rfloor =\lfloor \log _2 (n'-1)\rfloor +1\), i.e. \(n'\) is a power of two, and
Note that \(|a_{kl}|\le |a_{mn}|\) for \(k\ge m,\;l\ge n\), so \(|\Delta ^{11}a_{m'n'}|\le |a_{m'n'}|+|a_{m'+1,n'}|\le 2|a_{mn}|\), which yields condition (18) with \(C=2\).
Assume that the assertion of Lemma 1 holds. Then there must exist a constant c such that for at least cmn squares \([k,k+2)\times [l,l+2)\) in any \(S_{mn}\) there holds
Consider a rectangle \(S_{mn}\) with
where \(t>4m\) is a positive integer. For any \(a_{kl}\) in \(S_{mn}\), we have
whence for any \(2\times 2\) square \([k,k+2)\times [l,l+2)\subset S_{mn}\)
as \(m\rightarrow \infty \), which leads to a contradiction. \(\square \)
Lemma 2
For a function \(f\in L(-\pi ,\pi )\), given the representation
for any \(p\in (1,\infty ),\;q\in [1,\infty ],\) we have
Proof
The \(\lesssim \) part is clear, so we have to prove the reverse.
We start with the case \(q<\infty \). Noting that for any pair of functions \(g_1,g_2\) there always holds \(|g_1|^q+|g_2|^q\lesssim |g_1+g_2|^q+|g_1-g_2|^q\) and recalling that the weight is an even in each variable function, we obtain
for \(i=0,1\). Similarly,
For \(q=\infty \), the claim follows from the equalities
\(\square \)
Next we prove a two-dimensional analogue of [9, L. 2.2] (see also the one-dimensional result [27, Th. 2.4] for Lorentz spaces). Note that similar multidimensional results for Lorentz spaces were obtained in [24] and [25].
Lemma 3
Let \(\{a_{mn}^{ij}\}_{m,n=1}^{\infty },\;i,j=0,1,\) be the sequence of Fourier coefficients of \(f\in L(-\pi ,\pi )\). Then for any \(p\in (1,\infty ),\;q\in [1,\infty ],\) there holds
Proof of Lemma 3
Note that if we prove the statement of the lemma for odd in each variable functions \(f\in L(-\pi ,\pi )\), then it will be true for any integrable f. Indeed, the relation for such functions implies the same for all functions that are either odd or even in each variable due to the boundedness of the Hilbert transform in weighted Lebesgue spaces. The general case follows then by Lemma 2. Thus, we can assume that \(a_{mn}^{ij}=0\) if \((i,j)\ne (0,0)\) and omit the upper indices of \(a_{mn}^{00}\).
According to [9, (2.4), (2.7)], for any \(1< p<\infty ,\;1\le q\le \infty \), and \(m\in {\mathbb {N}}\), there holds
Therefore, for any \(1< p_1,p_2<\infty ,\;1< q\le \infty \), and \(m,n\in {\mathbb {N}}\), by Hölder’s inequality
Similarly, if \(q=1\),
Thus, for any \(1< p_1,p_2<\infty ,\;1\le q\le \infty \), and \(m\in {\mathbb {N}}\), we obtain
where the constant C does not depend on m.
Now, in order to prove the desired inequality, we will invoke interpolation theory. Recall that the norm of a sequence \(\textbf{c}:=\{c_k\}_{k=1}^{\infty }\) in the discrete Lorentz space \(l_{p,q}\), for \(p\in (1,\infty )\) and \(q\in (0,\infty ]\), is defined as follows
where \(\{c^*_k\}\) stands for the decreasing rearrangement of \(\textbf{c}\). It follows from [3, Th. 5.3.1] that for \(\theta \in (0,1)\) and \(q\in (0,\infty ]\), for the discrete Lorentz spaces \(l_{p_1,\infty }\) and \(l_{p_2,\infty },\;0<p_1<p_2\le \infty ,\) with \(\theta /p_1+(1-\theta )/p_2=1/p\), we have
For the Lebesgue spaces \(L_{w((p_{11},p_{21}),q)}^q\) and \(L_{w((p_{21},p_{22}),q)}^q,\;q\in (0,\infty ],\) (see (20)), with \(\theta /p_{11}+(1-\theta )/p_{12}=1/p_1,\;\theta /p_{21}+(1-\theta )/p_{22}=1/p_2\), [3, Th. 5.4.1] gives
For any fixed \(m_0\in {\mathbb {N}}\), in light of the monotonicity of \(\sup \limits _{k\ge m_0,\;l\ge n}\frac{1}{kl}\Big |\sum \limits _{s=1}^{k}\sum \limits _{t=1}^{l}a_{st}\Big |\) in n, (21) is equivalent to
Fix now \(p_1,p_2\in (1,\infty )\) and \(q\in [1,\infty ]\). Take \(\theta \in (0,1)\) and \(p_{11}<p_{12},\;p_{21}<p_{22}\) such that \(\theta /p_{11}+(1-\theta )/p_{12}=1/p_1\) and \(\theta /p_{21}+(1-\theta )/p_{22}=1/p_2\). Note that, for any fixed \(m_0\), the operator
is sublinear and that due to (24)
where the involved constants do not depend on \(m_0\). Then it follows from [22, Th. 6], (22), and (23) that
so we arrive at
for any m. Now we note that
is decreasing in m for any \(p_2\in (1,\infty )\) and that the operator
is sublinear. Since according to (25) we have
we can once again apply [22, Th. 6] and obtain
The latter means that
whence the claim follows by putting \(p_1=p_2=p\). \(\square \)
Proof of Theorem 1
In light of Lemma 2 it suffices to prove the theorem only for either odd or even in each variable functions, omitting therefore the upper indices of \(a_{mn}\).
We start with the part a). Due to Lemma 3 there holds
Denote
Consider first \(GM^c_1\) sequences. Let us fix some \(T>1\). We call a pair (m, n) good (we write \((m,n)\in G\)), if either \(mn=0\) or \(A_{m-1,n-1}\le TA_{mn}\). We have
where \(B_{mn},\;(m,n)\in G,\) stands for the set of all pairs \((k,l)\notin G\) such that \(k=m+t,\;l=n+t\) for some \(t\in {\mathbb {N}}\).
According to the one-dimentional Hardy–Littlewood theorem for GM sequences [9, Th. 1.2], we obtain
where \(g(x)=\int _{-\pi }^{\pi }f(x,y)\sin y\;dy\). A similar estimate is valid for \(J_2\).
Consider a pair \((m,n)\in G\cap {\mathbb {N}}^2\). Denote the rectangles we constructed in Lemma 1a) \([s_{mn}^1,s_{mn}^2]\times [t_{mn}^1,t_{mn}^2]\), so we have
Here we used the inequality
valid for any \(x,y,z,t\in {\mathbb {C}}\).
Hence, using (26), we obtain
Finally, combining (27), the similar estimate for \(J_2\), and (28), we derive
which concludes the proof of the first part for the case of \(GM^c_1\).
If we replace \(GM^c_1\) by \(GM^c_2\), i.e. (12) by (13), we change the definition of a good pair of numbers to the following one: we call a pair (m, n) good, if either \(mn=0\) or \(A_{m+1,n-1}\le TA_{mn}\). The rest of the proof is the same in light of Lemma 1b) with the only changes: now \(B_{mn},\;(m,n)\in G,\) stands for the set of all pairs \((k,l)\notin G\) such that \(k=m-t,\;l=n+t\) for some \(t\in {\mathbb {N}}\) and \(P_{m-1,n-1}\) in (28) becomes \(P_{m+1,n-1}\).
Turn now to the part b). Note that if \(\{a_{mn}\}{\in } GM^c_1\cup GM^c_2\) and \(\sum _{m,n=1}^{\infty }|a_{mn}|^q(mn)^{\frac{q}{p'}-1}<\infty \), then we have \(\sum _{k=1}^{\infty }\sum _{l=1}^{\infty }|\Delta ^{11}a_{kl}|<\infty \), which implies that the corresponding trigonometric series converges in the Pringsheim sense everywhere on \((0,2\pi )^2\) and is the Fourier series of its sum (see [6, L. 4]). Indeed, under condition (12) we have by (15) and Hölder’s inequality
and similarly under (13),
We will provide the proof only for the system \(\{\sin mx,\sin ny\}\), the other cases will follow then from boundedness of Hilbert transform in weighted Lebesgue spaces.
For \((x,y)\in \big (\frac{\pi }{m+1},\frac{\pi }{m}\big ]\times \big (\frac{\pi }{n+1},\frac{\pi }{n}\big ]\), we have
Applying condition (12), we derive
In turn, (13) yields
Hence, in both cases we get
Thus, for \(q<\infty \), denoting \(\alpha :=1-q/p\), we obtain
Recall the Hardy-type inequalities for power weights (see, for instance, [20, (0.6), (0.10), (1.102)]) for \(q\ge 1\):
and its dual,
Using (30) in each variable we arrive at
and
where we used inequality (15). The similar estimate holds for \(I^3\). And finally, due to (31)
which completes the proof for the case \(q\in [1,\infty )\). For \(q=\infty ,\) using (29) we can write
Next,
We also have
and the similar estimate for \(I^3\). Finally,
which completes the proof of the theorem. \(\square \)
Remark 3
For the spaces \(L_{w(p,q)}^q(0,2\pi )\) in place of \(L_{w(p,q)}^q(-\pi ,\pi )\), the assertion of Theorem 1 still holds for \(q\le p\) but fails for \(q>p\).
Indeed, for \(q>p\) it suffices to consider the one-dimensional sine series
We have \(\sum |a_k|^p k^{p-2}= \sum k^{-1}\log ^{-1} (k+2)=\infty \), so by the Hardy–Littlewood theorem \(f\notin L_p\), whence \(\Vert f\Vert _{L_{w(p,q)}^q(0,2\pi )}\gtrsim \Vert f\Vert _{L_p(\pi ,2\pi )}=\infty \). On the other hand,
However, for \(q\le p\), there holds \(x^{q/p-1}\gtrsim 1\), so that
The reason of the failure of the Hardy–Littlewood relation here is that the function in case is supposed to be periodic, while a power weight is not. Thus, if one deals with weighted Lebesgue spaces on \([0,2\pi ]^2\), it makes more sense to consider a weight of the type \(|\sin x|^{\alpha }\) in place of \(|x|^{\alpha }\), which was in fact done by many authors. Note that for a power weight, weighted integrability at \(2\pi \) is equivalent to integrability at zero without weight, so, as in the example above, one has to additionally check integrability at zero.
3 Sharpness of the Result
Theorem 2
For \(p>2,\;q\ge p\), the claim of Theorem 1(a) does not hold if we replace the \(GM^c_2\) condition (13) by
Proof
Assume that \(p>2\) and consider the sequence
where \(\gamma >0\), \(\delta _m\in \{0,1\}\) are to be chosen later, and \(g_m(n)=g_m(n,p')\) we define as follows
In other words, the functions \(g_m\) are constructed in the following way. First, we divide \([1,\infty )\) into intervals \(I_j,\;j=0,1,\ldots ,\) so that \(I_j:=\{x: 2p'j\le \log _2 x<2p'(j+1)\}\). After that consider the lower-triangular infinite down and to the right matrix that is filled by all positive integers in increasing order going down and to the right.
Next, for any j we asign it the integer \(i=i(j)\) if it is ith column that contains the element j. Fix some m and consider the values \(g_m(1),g_m(2),\ldots \). While \(i(j)\ne m\), we have \(g_m(n)=(-1)^{\delta _m}m^{-3}n^{-1/p'}\) for \(n\in I_j\). Once i(j) becomes equal to m for the first time, that is, when \(\log _2 n\ge m(m+1)p'\) for the first time, we get \(g_m(n)=2^{-m^2-3\,m}\) and this value does not change till i(j) becomes equal to m again and\(n\in I_j\). When i(j) becomes equal to m for the \((s+1)\)th time, the value \(g_m(n)\) changes for \(2^{-(m+s)^2-3(m+s)}\) (see Fig. 1 for a scheme of changes of absolute values of \(g_m(n)\)).
Fix \(n\in I_j\) for some j and consider \(g_1(n),g_2(n),\ldots \) Let k be such that \(g_m(n)\) has type 1 if \(1\le m\le k\) and type 0 if \(m\ge k+1\). Then
Denote \(m_0:=i(j+1)\). If \(m_0=k+1\), then \(g_1(n)=g_2(n)=\cdots =g_{k}(n)=2^{-(k+1)^2-3(k+1)}\), otherwise, \(g_m(n)=2^{-(k+1)^2-3(k+1)}\) for \(m\le m_0-1\) and \(g_m(n)=2^{-k^2-3k}\) for \(m_0\le m\le k\). Let us compare \(g_k(n)\) and \(g_{k+1}(n)\). There are two cases.
Case 1. \(m_0=i(j+1)=k+1\). Then
Case 2. \(m_0=i(j+1)<k+1\). Then
Thus, in both cases we obtain \(0<g_1(n)\le g_2(n)\le \cdots \le g_k(n)\lesssim |g_{k+1}(n)|\), whence in light of (33),
It remains to note that for a fixed m, we have for \(n_m:=\lceil 2^{m(m+1)p'}\rceil -1\) that
and for other n there holds \(g_m(n)\ge g_m(n+1)\). So, over all \(|a_{mn}|\) in \(r_{kl}:=[k,2k]\times [l,2l]\), the maximal is up to a constant \(|a_{2k,l}|\).
Further we note that the constructed sequence clearly satisfies (8).
To prove that our sequence belongs to \(GM^c_2\), let us estimate \(\sum _{m=k}^{2k}\sum _{n=l}^{2l}|\Delta ^{11}a_{mn}|\). Consider a quadruple
with \((m,n)\in r_{kl}\). Note that it can be only of the following five types
where 0 stands for the terms with \(\log _2 n<m(m+1)p'\), while 1, for those with \(\log _2 n\ge m(m+1)p'\). We will write \((m,n)\in T_i,\;i=1,\ldots ,5,\) if the corresponding quadruple is of the ith type. Note that if \((m,n)\in T_3\), then \((m-1,n)\in T_1\) and \((m+1,n)\in T_2,\) while if \((m,n)\in T_4\), then \((m-1,n)\in T_2\) and \((m+1,n)\in T_5\). By the construction, quadruples of the three last types with nonzero \(\Delta ^{11}a_{mn}\) can appear at most four times in \(r_{kl}\), since any \((m,n)\in T_3\cup T_4\), as well as \((m,n)\in T_5\) with nonzero \(\Delta ^{11}a_{mn}\), satisfies \(n\in I_j,n+1\in I_{j+1}\), for some j, which cannot happen twice in [l, 2l]. If there exists a quadruple of the first type, then
As for \((m,n)\in T_2\cap r_{kl}\), they all belong to a strip \([k',k'+1]\times [l,2\,l]\) for some \(k'\). Indeed, otherwise there are \(m_1\) and \(m_2\ge m_1+2\) belonging to [k, 2k], and \(n_1,n_2\in [l,2\,l]\) such that \((m_1,n_1),(m_2,n_2)\in T_2\). But it follows from \((m_1,n_1)\in T_2\) that \(a_{m_1+1,k}\), and hence \(a_{m_2,k}\), has type 0, while \((m_2,n_2)\in T_2\) implies that \(a_{m_2,2k}\), and hence \(a_{m_1+1,2k}\), has type 1. Thus, there exist two pairs of the form \((n,n+1)\) inside \([l,2\,l]\) such that \(n\in I_j,n+1\in I_{j+1}\), for some j, which cannot be true. Therefore, all \((m,n)\in T_2\cap r_{kl}\) do belong to a strip \([k',k'+1]\times [l,2\,l]\), whence using
which is true as long as \((m,n)\in T_2\cap r_{kl}\), we deduce that the sum of \(|\Delta ^{11}a_{mn}|\) over \((m,n)\in T_2\cap r_{kl}\) is bounded above by four times the maximal \(|a_{mn}|\) in \(r_{kl}\). Combining the observations above, we arrive at
which proves (32).
Further, for any \(q>0\),
if we set \(\gamma = 1/p'\).
Note that our sequence generates the Fourier sine (or cosine) series of an odd (or even) function f that converges in the Pringsheim sense everywhere on \((0,2\pi )^2\) to f according to [6, L. 4]. To prove this, since the sequence fulfils (8), it suffices to show that the following sum is finite
Let us stick to the case of an odd f, as for cosine series the argument is exactly the same. Denote for \(m,n\ge 1\),
and \(b_{mn}:=a_{mn}-c_{mn}\). Then
Note that
Since \(\Vert D_k\Vert _{L_{w(p,q)}^q}^q\asymp \sum _{l=1}^k l^{\frac{q}{p'}-1}\asymp k^{\frac{q}{p'}}\) by Theorem B, we have for \(N_0:=\max (N-1,\lceil 2^{M(M+1)p'}\rceil -1)\),
as \(M\rightarrow \infty \). For \(M_0:=\min \{m:m(m+1)p'\ge N\}\),
as \(N\rightarrow \infty \). And finally,
as \(M\rightarrow \infty \). Thus,
Besides,
where in light of the inequalities \(0<g_1(n)\le \cdots \le g_{M_0}(n)\) for \(M_0\) defined as above
as \(N\rightarrow \infty \). Hence,
Combining (35) and (36) we arrive at
First, for \(n_{m}=\lceil 2^{m(m+1)p'}\rceil -1\), we see that \(\log n_m\asymp m^2\) and \(\log n_{m+1}-\log n_m\asymp m\), so
Second, denoting \(n_{mt}:=\lceil 2^{((m+t)^2+3m+t)p'}\rceil -1\), using \(c_{mn}=(-1)^{\delta _m}|c_{mn}|\) and the fact that \(\Delta ^{01}c_{mn}\ne 0\) only if \(n=n_{mt}\) for \(t\ge -1\), we get for \(q\ge p\),
By the Khintchine inequality (see e.g. [2, Rem. 1.4]) we have for any real sequence \(\{s_k\}\in l_2\) and the system of Rademacher functions \(\{r_n(t)\}\) that
whence
whenever the series on the right-hand side converges. Note that by the Minkowski inequality and the fact that \(\Vert D_{n_{mt}}\Vert _{L_{w(p,q)}^q}\asymp 2^{((m+t)^2+3\,m+t)p'\frac{1}{p'}}\), we have
Thus, by (38) and (39), for almost all t, the sum \(\sum _{m=1}^{\infty }r_m(t)\sin mx\sum _{t=-1}^{\infty }\Delta ^{01}|c_{m,n_{mt}}|D_{n_{mt}}(y)\) converges for almost all y uniformly in x, and moreover, (38) and (39) imply that
for almost all t (denote this set by \(E\subset (0,1)\)). Taking any \(t_0\in E\setminus \{k2^{-l}\}_{k,l\in {\mathbb {N}},k<2^l},\) so that \(r_m(t_0)=\pm 1\) for all m, and setting \(\{\delta _m\}\) according to the equality \((-1)^{\delta _m}=r_m(t_0)\), we obtain in light of (37) that \(S_2<\infty \). \(\square \)
References
Askey, R., Wainger, S.: Integrability theorems for Fourier series. Duke Math. J. 33, 223–228 (1966)
Astashkin, S.: The Rademacher System in Function Spaces. Birkhauser, Basel (2020)
Bergh, J., Löfström, J.: Interpolation Spaces. An Introduction. Springer, New York (1976)
Domínguez, O., Tikhonov, S.: Function spaces of logarithmic smoothness: embeddings and characterizations, to appear in Memoirs Am. Math. Soc., arxiv:1811.06399
Duzinkiewicz, K., Szal, B.: On weighted integrability of double sine series. J. Math. Anal. Appl. 472, 1581–1603 (2019)
Dyachenko, M.I.: On the convergence of double trigonometric series and Fourier series with monotone coefficients, Mat. Sb. 129(1), 55–72 (1986); Math. USSR Sb. 57, 57–75 (1987) (in English)
Dyachenko, M.I.: Multiple trigonometric series with lexicographically monotone coefficients. Anal. Math. 16(3), 173–190 (1990)
Dyachenko, M.I.: Norms of Dirichlet kernels and some other trigonometric polynomials in \(L_p\)-spaces. Sb. Math. 78(2), 267–282 (1994)
Dyachenko, M., Mukanov, A., Tikhonov, S.: Hardy-Littlewood theorems for trigonometric series with general monotone coefficients. Studia Math. 250(3), 217–234 (2019)
Dyachenko, M., Tikhonov, S.: Convergence of trigonometric series with general monotone coefficients. C. R. Acad. Sci. Paris Ser. I(345), 123–126 (2007)
Dyachenko, M., Tikhonov, S.: A Hardy-Littlewood theorem for multiple series. J. Math. Anal. Appl. 339, 503–510 (2008)
Dyachenko, M., Tikhonov, S.: General monotone sequences and convergence of trigonometric series. In: Topics in Classical Analysis and Applications in Honor of Daniel Waterman (2008)
Fefferman, C.: On the convergence of multiple Fourier series. Bull. Am. Math. Soc. 77, 744–745 (1971)
Feng, L., Totik, V., Zhou, S.P.: Trigonometric series with a generalized monotonicity condition. Acta Math. Sin. 30(8), 1289–1296 (2014)
Gorbachev, D., Tikhonov, S.: Moduli of smoothness and growth properties of Fourier transforms: two-sided estimates. J. Approx. Theory 164(9), 1283–1312 (2012)
Hardy, G.H.: On double Fourier series, and especially those which represent the double zeta-function with real and incommensurable parameters. Q. J. Math. 37(1), 53–79 (1906)
Hardy, G.H., Littlewood, J.E.: Notes on the theory of series (XIII): some new properties of Fourier constants. J. Lond. Math. Soc. 6, 3–9 (1931)
Heywood, P.: On the integrability of functions defined by trigonometric series. Q. J. Math. 5, 71–76 (1954)
Krause, J.M.: Fouriersche Reihen mit zwei veränderlichen Grössen. Ber. Verh. Königl. Sächs. Ges. Wiss. Leipzig 55, 164–197 (1903)
Kufner, A., Persson, L.E.: Weighted Inequalities of Hardy Type. World Scientific, Singapore (2003)
Liflyand, E., Tikhonov, S.: A concept of general monotonicity and applications. Math. Nachrichten 284, 1083–1098 (2011)
Maligranda, L.: On interpolation of nonlinear operators. Comment. Math. Prace. Mat. 28(2), 253–275 (1989)
Móricz, F.: On double cosine, sine, and Walsh series with monotone coefficients. Proc. Am. Math. Soc. 109(2), 417–425 (1990)
Nursultanov, E.D.: Net spaces and inequalities of Hardy-Littlewood type. Sb. Math. 189(3), 399–419 (1998)
Nursultanov, E.D.: On the coefficients of multiple Fourier series in \(L_p\)-spaces. Izv. Math. 64(1), 93–120 (2000)
Paley, R.: Some theorems on orthogonal functions. St. M. 3, 226–238 (1931)
Sagher, Y.: Integrability conditions for the Fourier transform. J. Math. Anal. Appl. 54, 151–156 (1976)
Tikhonov, S.: Trigonometric series with general monotone coefficients. J. Math. Anal. Appl. 326, 721–735 (2007)
Tikhonov, S.: Best approximation and moduli of smoothness: computation and equivalence theorems. J. Approx. Theory 153, 19–39 (2008)
Weisz, F.: Martingale Hardy Spaces and Their Applications in Fourier Analysis. Lecture Notes in Math, vol. 1568. Springer, Berlin (1994)
Weisz, F.: Inequalities relative to two-parameter Vilenkin-Fourier coefficients. Studia Math. 99, 221–233 (1991)
Yu, D.S., Zhou, P., Zhou, S.P.: On \(L_p\) integrability and convergence of trigonometric series. Studia Math. 182, 215–226 (2007)
Yu, D., Zhou, P., Zhou, S.: Mean bounded variation condition and applications in double trigonometric series. Anal. Math. 38, 83–104 (2012)
Acknowledgements
I am grateful to Mikhail Dyachenko and Sergey Tikhonov for acquainting me with this topic and for the many issues I have learnt from our conversations. I also thank Erlan Nursultanov, Miquel Saucedo, and the anonymous referees for their valuable comments and suggestions.
Funding
Open Access Funding provided by Universitat Autonoma de Barcelona.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Ferenc Weisz.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The work was supported by the Moebius Contest Foundation for Young Scientists and the Foundation for the Advancement of Theoretical Physics and Mathematics “BASIS” (Grant no. 19-8-2-28-1)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Oganesyan, K. Two-Dimensional Hardy–Littlewood Theorem for Functions with General Monotone Fourier Coefficients. J Fourier Anal Appl 29, 60 (2023). https://doi.org/10.1007/s00041-023-10039-x
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00041-023-10039-x