Skip to main content

Advertisement

We’d like to understand how you use our websites in order to improve them. Register your interest.

Some new Fourier inequalities for unbounded orthogonal systems in Lorentz–Zygmund spaces

Abstract

In this paper we prove some essential complements of the paper (J. Inequal. Appl. 2019:171, 2019) on the same theme. We prove some new Fourier inequalities in the case of the Lorentz–Zygmund function spaces \(L_{q,r}(\log L)^{\alpha }\) involved and in the case with an unbounded orthonormal system. More exactly, in this paper we prove and discuss some new Fourier inequalities of this type for the limit case \(L_{2,r}(\log L)^{\alpha }\), which could not be proved with the techniques used in the paper (J. Inequal. Appl. 2019:171, 2019).

Introduction

Let \(q\in (1,+\infty )\), \(r \in (0, +\infty )\) and \(\alpha \in \mathbb{R}\). As usual \(L_{q,r}(\log L)^{\alpha }\) denotes the Lorentz–Zygmund space, which consists of all measurable functions f on \([0,1]\) such that

$$ \Vert f \Vert _{q,r,\alpha }:= \biggl\{ \int _{0}^{1}\bigl(f^{*}(t) \bigr)^{r}\bigl(1+ \vert \ln t \vert \bigr)^{\alpha r}\cdot t^{\frac{r}{q}-1}\,dt \biggr\} ^{\frac{1}{r}}< + \infty, $$

where \(f^{*}\) denotes a nonincreasing rearrangement of the function \(|f|\) (see e.g. [21]).

If \(\alpha =0\), then the Lorentz–Zygmund space coincides with the Lorentz space \(L_{q, r} (\log L )^{\alpha } =L_{q, r}\) so that, if in addition \(r = q\), then \(L_{q, r} (\log L )^{\alpha }\) space coincides with the Lebesgue space \(L_{q}[0, 1]\) (see e.g. [14]) with the norm

$$ \Vert f \Vert _{q}:= \biggl( \int _{0}^{1} \bigl\vert f(x) \bigr\vert ^{q}\,dx \biggr)^{\frac{1}{q}},\quad 1 \leq q < +\infty. $$

Let \(s\in (2,+\infty ]\). We consider an orthogonal system \(\{\varphi _{n}\}\) in \(L_{2}[0,1]\) such that

$$ \Vert \varphi _{n} \Vert _{s} \leq M_{n},\quad n\in \mathbb{N}, $$
(1)

where \(M_{n} \uparrow \) and \(M_{n} \ge 1\) (see [24] or [12]). Moreover, let

$$ \mu _{n}=\mu _{n}^{(s)}:=\sup \Biggl\{ \Biggl\Vert \sum_{k=1}^{n}c_{k} \varphi _{k} \Biggr\Vert _{s}: \sum _{k=1}^{n}c_{k}^{2}=1\Biggr\} ,\qquad \rho _{n}= \Biggl(\sum_{k=n}^{\infty } \vert a_{k} \vert ^{2} \Biggr)^{\frac{1}{2}}. $$
(2)

For one variable function Marcinkiewicz and Zygmund [12] proved the following theorems.

Theorem 1.1

Assume that the orthogonal system\(\{\varphi _{n}\}\)satisfies the condition (1) and\(2 \le p < s\). If the real number sequence\(\{a_{n}\}\)satisfies the condition

$$ \sum_{n=1}^{\infty } \vert a_{n} \vert ^{p}M_{n}^{(p-2)\frac{s}{s-2}}n^{(p-2) \frac{s-1}{s-2}} < +\infty, $$

then the series

$$ \sum_{n=1}^{\infty }a_{n}\varphi _{n}(x) $$

converges in\(L_{p}\)to some function\(f \in L_{p}[0, 1]\)and

$$ \Vert f \Vert _{p} \le C_{p, s} \Biggl(\sum _{n=1}^{\infty } \vert a_{n} \vert ^{p}M_{n}^{(p-2) \frac{s}{s-2}}n^{(p-2)\frac{s-1}{s-2}} \Biggr)^{\frac{1}{p}}. $$

Theorem 1.2

Let the orthogonal system\(\{\varphi _{n}\}\)satisfy the condition (1), and\(\frac{s}{s-1} = \mu < p \le 2\). Then the Fourier coefficients\(a_{n}(f)\)of the function\(f \in L_{p}[0, 1]\)with respect to the system\(\{\varphi _{n}\}\)satisfy the inequality

$$ \Biggl(\sum_{n=1}^{\infty } \bigl\vert a_{n}(f) \bigr\vert ^{p}M_{n}^{(p-2)\frac{s}{s-2}}n^{(p-2) \frac{s-1}{s-2}} \Biggr)^{\frac{1}{p}} \le C_{p, s} \Vert f \Vert _{p}. $$

There are several generalizations of Theorems 1.1 and 1.2 for different function spaces and systems (see e.g. [57, 13] and the references therein).

In particular, Flett [5] generalized this to the case of Lorentz spaces and Maslov [13] derived generalizations of both Theorem 1.1 and Theorem 1.2 to the case of Orlicz spaces.

Some inequalities related to the summability of the Fourier coefficients in bounded orthonormal systems with functions from some Lorentz spaces were investigated e.g. by Stein [23], Bochkarev [3], Kopezhanova and Persson [9] and Kopezhanova [8].

Moreover, as a further generalization of a result of Kolyada [7] Kirillov proved an essential generalization of Theorem 1 [6].

In [2] the authors recently generalized and complemented all statements mentioned above. In particular, we proved the following generalizations.

Theorem 1.3

Let\(2< q< s\leq +\infty \), \(\alpha \in (-\infty, +\infty )\), \(r>0\)and\(\delta =\frac{rs(q-2)}{q(s-2)}\). If\(\{a_{n}\}\in l_{2}\)and

$$ \varOmega _{q,r,\alpha }= \Biggl\{ \sum_{n=1}^{\infty } \bigl(\rho _{n}^{r}-\rho _{n+1}^{r}\bigr) \mu _{n}^{\delta }\biggl(1+\frac{2s}{s-2}\ln {\mu _{n}}\biggr)^{\alpha r} \Biggr\} ^{\frac{1}{r}}< +\infty, $$

where\(\rho _{n}\)and\(\mu _{n}\)are defined by (2), then the series

$$ \sum_{n=1}^{\infty }a_{n}\varphi _{n}(x) $$

with respect to an orthogonal system\(\{ \varphi _{n} \} _{n=1}^{\infty }\), which satisfies the condition (1), converges to some function\(f \in L_{q,r}(\log L)^{\alpha }\)and\(\|f\|_{q,r,\alpha }\leq C\varOmega _{q,r,\alpha }\).

Remark

For the case \(\alpha = 0\), Theorem 1.3 coincides with Theorem 1 in [6].

Theorem 1.4

Let\(s\in (2,+\infty ], \frac{s}{s-1} < q<2, r>1, \alpha \in R \)and\(\delta =\frac{r (q-2 )s}{q (s-2 )} \). If\(f\in L_{q,r}(\log L)^{\alpha }\), then the inequality

$$ \Biggl[\sum_{n=1}^{\infty } \Biggl(\sum _{k=\nu _{n} }^{\nu _{n+1} -1} \bigl\vert a_{k} (f )\bigr\vert ^{2} \Biggr)^{\frac{r}{2} }(1 + \log \mu _{\nu _{n}})^{r \alpha } \mu _{\nu _{n} }^{\delta } \Biggr]^{\frac{1}{r}} \le C \Vert f \Vert _{q,r, \alpha } $$

holds, where\(\mu _{\nu _{n}}\)are defined by (2) and\(a_{k}(f)\)denote the Fourier coefficients offwith respect to an orthogonal system satisfying (1).

The methods of proofs of Theorems 1.3 and 1.4 presented in [2] are not sufficient to cover the case \(q=2\) in both cases. In this paper we fill in this gap by proving complements of Theorem 1 in [6] (see Theorem 2.1) and Theorem 1.2 (see Theorem 3.1) for this case. In Sect. 4 we include some concluding remarks with comparisons of other recent research of this type (see [8, 15] and [17]) and suggestions of further possibilities for development of this area.

A complement of Theorem 1.3. The case \(q=2\)

Our main result in this section reads as follows.

Theorem 2.1

Let\(\{ \varphi _{n} \} _{n=1}^{\infty }\)be an orthogonal system, which satisfies the condition (1) and\(s\in (2,+\infty ], 0<\theta \le 2, 0 \le \alpha < +\infty \). If\(\{ a_{n} \} \in l_{2} \)and

$$ \varLambda _{2,\theta, \alpha } (a )=\sum_{n=1}^{\infty } \Biggl(\ln \Biggl(1+\sum_{l=1}^{n}M_{l}^{2} \Biggr) \Biggr)^{1- \frac{\theta }{2} + \alpha \theta } \bigl(\rho _{n}^{\theta } -\rho _{n+1}^{ \theta } \bigr)< +\infty, $$

then the series\(\sum_{n=1}^{\infty }a_{n} \varphi _{n} (x )\)converges in the space\(L_{2,\theta }(\log L)^{\alpha }\)to some function\(f \in L_{2,\theta }(\log L)^{\alpha }\)and\(\Vert f \Vert _{2,\theta, \alpha } \leqslant C(\varLambda _{2, \theta, \alpha })^{1/ \theta } \).

For the proof of this theorem we need the following well-known results of Kolyada [7].

Lemma 2.2

Let\(\sum_{k=1}^{\infty }\alpha _{k}\)be a convergent numerical series and\(0 < s < q < \infty \). Then

$$ \Biggl\vert \sum_{k=1}^{\infty }\alpha _{k} \Biggr\vert ^{q} \leqslant 2^{q} \sup _{n} \Biggl\vert \sum_{k=1}^{n} \alpha _{k} \Biggr\vert ^{q-s} \Biggl\vert \sum _{k=n}^{\infty }\alpha _{k} \Biggr\vert ^{s}. $$

Lemma 2.3

Let\(\alpha _{n}\geqslant 0\)and\(\varepsilon _{n} > 0\), and assume that for some\(\beta \in (0, 1)\)\(\varepsilon _{n+1}\leqslant \beta \varepsilon _{n}\)\((n=1,2,\ldots)\). Then the following inequalities hold for all\(r > 0\):

$$\begin{aligned} &\sum_{n=1}^{\infty }\varepsilon _{n} \Biggl(\sum_{k=1}^{n} \alpha _{k} \Biggr)^{r}\leqslant C_{r, \beta }\sum _{n=1}^{ \infty }\varepsilon _{n}\alpha _{n}^{r}, \\ &\sum_{n=1}^{\infty } \Biggl(\sum _{k=n}^{\infty } \alpha _{k} \Biggr)^{r}\varepsilon _{n}^{-1}\leqslant C_{r, \beta } \sum_{n=1}^{\infty }\alpha _{n}^{r}\varepsilon _{n}^{-1}. \end{aligned}$$

Here, as usual, \(C_{r, \beta }\)denotes a positive constant depending only onrandβ.

Proof of Theorem 2.1

Since \(\rho _{n} \downarrow 0, n\to +\infty \), we can choose a sequence of natural numbers \(\{ \nu _{k} \} _{k=1}^{\infty }\) as follows: \(\nu _{1} =1\) and \(\nu _{k+1} =\min \{ n\in \mathbb{N}: \rho _{n} \le \frac{1}{2} \rho _{\nu _{k} } \} \), where \(\rho _{n}\) are defined by (2). Then

$$ \rho _{\nu _{k+1} } \le \frac{1}{2} \rho _{\nu _{k} },\qquad \rho _{\nu _{k+1} -1} >\frac{1}{2} \rho _{\nu _{k} }. $$
(3)

We define \(u_{k} (x ):= \vert \sum_{n=\nu _{k} }^{\nu _{k+1} -1}a_{n} \varphi _{n} (x ) \vert \). Then, by using Parseval’s relation, we have

$$ \Vert u_{k} \Vert _{2} = \Biggl(\sum _{n=\nu _{k}}^{\nu _{k+1}-1} \vert a_{n} \vert ^{2} \Biggr)^{\frac{1}{2}} \le \rho _{\nu _{k} }:=\varepsilon _{k}. $$
(4)

For each number \(l \in \mathbb{N}\) we consider the function \(f_{l}(x):= \sum_{n=1}^{\nu _{l+1} -1}a_{n} \varphi _{n}(x) \). Next we show that \(\{f_{l}\}\) is a fundamental sequence in the space \(L_{2, \theta }(\log L)^{\alpha }\). For any natural numbers \(m, l\) by the property of the modulus of numbers we have

$$ \bigl\vert f_{l}(x) - f_{m}(x) \bigr\vert \leqslant \sum_{k=m}^{l}u_{k}(x). $$

By using Lemma 2.2 with \(q=1\) we get

$$ \bigl\vert f_{l}(x) - f_{m-1}(x) \bigr\vert \le 2 \mathop{\sup } _{n=m,\ldots,l} \Biggl\vert \sum _{k=m}^{n}u_{k} (x ) \Biggr\vert ^{1-\beta } \Biggl\vert \sum_{k=n}^{l}u_{k} (x ) \Biggr\vert ^{\beta }, $$
(5)

where the number \(\beta \in (0,1 ]\) will be chosen later on in the proof. By the property of nonicreasing rearrangement of a function (see e.g. [10], p. 89) we know that

$$ f^{*} (t )\le \frac{1}{t} \int _{0}^{t}f^{*} (y )\,dy = \frac{1}{t} \mathop{\sup _{e\subset [0,1 ]}} _{ \vert e \vert =t} \int _{e} \bigl\vert f (x ) \bigr\vert \,dx. $$
(6)

Now, by using (5) and (6) we can conclude that

$$ (f_{l} - f_{m-1})^{*}(t) (t )\le 2 \mathop{\sup } _{n=m,\ldots,l} \Biggl[\frac{1}{t} \mathop{\sup_{e\subset [0.1 ]}} _{ \vert e \vert =t} \int _{e} \Biggl\vert \sum_{k=m}^{n}u_{k} (x ) \Biggr\vert ^{{1-\beta }} \Biggl\vert \sum _{k=n}^{l}u_{k} (x ) \Biggr\vert ^{\beta } \,dx \Biggr]. $$
(7)

Next we use Hölder’s inequality with exponents \(p = \frac{1}{\beta } > 1\) and \(p'=1/(1-\beta )\) in (7) and find that

$$\begin{aligned} (f_{l} - f_{m-1})^{*}(t) &\le 2\sup _{n=m,\ldots,l} \Biggl[\frac{1}{t} \mathop{\sup _{e\subset [0.1 ]}} _{ \vert e \vert =t} \Biggl( \int _{e} \Biggl\vert \sum_{k=m}^{n}u_{k} (x ) \Biggr\vert \,dx \Biggr)^{{1-\beta }} \Biggl( \int _{e} \Biggl\vert \sum_{k=n}^{l}u_{k} (x ) \Biggr\vert \,dx \Biggr)^{{ \beta }} \Biggr] \\ &= 2\sup_{n=m,\ldots,l} \Biggl[ \Biggl(\frac{1}{t} \int _{0}^{t} \Biggl(\sum _{k=m}^{n}u_{k} (y ) \Biggr)^{*} \,dy \Biggr)^{{1- \beta }} \Biggl(\frac{1}{t} \int _{0}^{t} \Biggl(\sum _{k=n}^{l}u_{k} (y ) \Biggr)^{*}\,dy \Biggr)^{{\beta }} \Biggr]. \end{aligned}$$

We raise both sides to the power θ, multiply by \(\frac{\theta }{2} (1 + |\ln t|)^{\alpha \theta } t^{ \frac{\theta }{2} -1} \) and integrate. Then

$$\begin{aligned} & \frac{\theta }{2} \int _{0}^{1} \bigl[(f_{l} - f_{m-1})^{*} (t ) \bigr]^{\theta }\bigl(1 + \vert \ln t \vert \bigr)^{\alpha \theta } t^{ \frac{\theta }{2} -1}\,dt \\ &\quad \leqslant 2^{\theta } \frac{\theta }{2} \sum_{n=m}^{l} \int _{0}^{1} \Biggl[\frac{1}{t} \int _{0}^{t} \Biggl(\sum _{k=m}^{n}u_{k} (y ) \Biggr)^{*} \,dy \Biggr]^{\theta (1-\beta )} \\ &\qquad{}\times \Biggl[\frac{1}{t} \int _{0}^{t} \Biggl(\sum _{k=n}^{l}u_{k} (y ) \Biggr)^{*} \,dy \Biggr]^{\theta \beta }\bigl(1 + \vert \ln t \vert \bigr)^{ \alpha \theta }t^{\frac{\theta }{2} -1}\,dt \\ &\quad ={2^{\theta } \frac{\theta }{2} \sum_{n=m}^{l} \int _{0}^{1}t^{ \frac{\theta }{2} -1} \bigl(1 + \vert \ln t \vert \bigr)^{\alpha \theta } F_{m, n}^{{ \theta (1-\beta )} } (t )\varPhi _{n, l}^{ \theta \beta } (t )\,dt}. \end{aligned}$$
(8)

For simplicity we introduce the notations

$$ F_{m, n}(t) = \frac{1}{t} \int _{0}^{t} \Biggl(\sum _{k=m}^{n}u_{k} (y ) \Biggr)^{*}\,dy \quad\text{and}\quad \varPhi _{n,l} (t) = \frac{1}{t} \int _{0}^{t} \Biggl(\sum _{k=n}^{l}u_{k} (y ) \Biggr)^{*} \,dy. $$

Choose the number r such that \(1< r< \theta \le 2\) and note that \(s:= \frac{2(\theta -r)}{2-r} >0\) and \(\beta =\frac{s}{\theta } \). Then \(\beta \theta =s\) and \(\frac{(r-2)(\theta -s)}{2r} =\frac{\theta }{2} -1\). Therefore,

$$ \int _{0}^{1} F_{m,n}^{{\theta (1-\beta )} } (t ) \varPhi _{n,l}^{\theta \beta } (t ) \bigl(1 + \vert \ln t \vert \bigr)^{ \alpha \theta }t^{\frac{\theta }{2} -1}\,dt = \int _{0}^{1} F_{m,n}^{{ \theta -s}}(t) \varPhi _{n,l}^{s} (t ) \bigl(1 + \vert \ln t \vert \bigr)^{\alpha \theta }t^{\frac{ (r-2 ) (\theta -s )}{2r} }\,dt. $$
(9)

By again using the Hölder inequality now with exponents \(p =\frac{r}{\theta -s}\) and \(p^{\prime } =\frac{r}{r-\theta +s} \) on the integral on the right hand side of (9) we find that

$$\begin{aligned} &\int _{0}^{1} F_{m,n}^{{\theta (1-\beta )} } (t ) \varPhi _{n,l}^{\theta \beta } (t) \bigl(1 + \vert \ln t \vert \bigr)^{\alpha \theta }t^{ \frac{\theta }{2} -1}\,dt \\ &\quad \le \biggl\{ \int _{0}^{1}F_{m,n}^{r}(t) \bigl(1 + \vert \ln t \vert \bigr)^{\alpha \theta \nu }t^{\frac{r}{2} -1}\,dt \biggr\} ^{ \frac{\theta - s}{r}} \biggl\{ \int _{0}^{1} \varPhi _{n,l}^{s\nu '} (t)\,dt \biggr\} ^{ \frac{1}{\nu '}} \\ &\quad \le C \Biggl\Vert \frac{1}{t} \int _{0}^{t} \Biggl(\sum _{k=m}^{n}u_{k} (y ) \Biggr)^{*} \,dy \Biggr\Vert _{2,r, \frac{\alpha \theta \nu }{r}}^{\theta -s} \Biggl\Vert \sum_{k=n}^{l}u_{k} \Biggr\Vert _{2}^{s}. \end{aligned}$$
(10)

Next, by using the norm property of \(l_{2}\) spaces, the Parseval theorem and the definition of the numbers \(\nu _{k}\), we obtain (see (4))

$$ \Biggl\Vert \sum_{k=n}^{l}u_{k} \Biggr\Vert _{2} \le \sum_{k=n}^{l} \Vert u_{k} \Vert _{2} = \sum _{k=n}^{l} \Biggl(\sum_{j= \nu _{k}}^{ \nu _{k+1} - 1} a_{j}^{2} \Biggr)^{\frac{1}{2}} \le \sum _{k=n}^{l} \rho _{\nu _{k}} \le 2\rho _{\nu _{n}}. $$

Therefore, from inequality (10) it follows that

$$\begin{aligned} &\int _{0}^{1} F_{m,n}^{{\theta (1-\beta )} } (t ) \varPhi _{n,l}^{\theta \beta } (t) \bigl(1 + \vert \ln t \vert \bigr)^{\alpha \theta }t^{ \frac{\theta }{2} -1}\,dt \\ &\quad \leqslant\Biggl\Vert \frac{1}{t} \int _{0}^{t} \Biggl(\sum _{k=m}^{n}u_{k} (y ) \Biggr)^{*} \,dy \Biggr\Vert _{2,r, \frac{\alpha \theta \nu }{r}}^{\theta -s} \rho _{\nu _{n}}^{s} \le C \Biggl(\sum_{k=m}^{n} \biggl\Vert \frac{1}{t} \int _{0}^{t}u_{k}^{*} (y) \,dy \biggr\Vert _{2,r, \frac{\alpha \theta \nu }{r}} \Biggr)^{\theta -s} \rho _{\nu _{n}}^{s}. \end{aligned}$$
(11)

By applying Lemma 2.3 and inequalities (8) and (11) we obtain

$$\begin{aligned} &\int _{0}^{1} \bigl[(f_{l} - f_{m-1})^{*} (t ) \bigr]^{ \theta }\bigl(1 + \vert \ln t \vert \bigr)^{\alpha \theta } t^{\frac{\theta }{2} -1} \,dt \\ &\quad\leqslant C\sum_{n=m}^{l } \Biggl(\sum _{k=m}^{n} \Vert u_{k} \Vert _{2,r, \frac{\alpha \theta \nu }{r}} \Biggr)^{\theta -s} \rho _{\nu _{n}}^{s} \leqslant C\sum_{n=m}^{l} \Vert u_{n} \Vert _{2,r, \frac{\alpha \theta \nu }{r}}^{\theta -s} \rho _{\nu _{n}}^{s}. \end{aligned}$$
(12)

Since \(1 < r < 2\), then, by the inequality of different metrics (see [1]), we get

$$ \Vert u_{n} \Vert _{2,r, \frac{\alpha \theta \nu }{r}} \le C \Biggl(\ln \Biggl(1 + \sum_{j=1}^{\nu _{n+1} -1} M_{j}^{2} \Biggr) \Biggr)^{ \frac{1}{r} -\frac{1}{2} + \frac{\alpha \theta \nu }{r}} \Vert u_{n} \Vert _{2}. $$

Therefore taking into account that \((\frac{1}{r} -\frac{1}{2} + \frac{\alpha \theta \nu }{r})(\theta - s) = 1 - \frac{\theta }{2} + \alpha \theta \) we obtain

$$\begin{aligned} \Vert u_{n} \Vert _{2,r, \frac{\alpha \theta \nu }{r}}^{\theta - s}& \le C \Biggl( \ln \Biggl(1 + \sum_{j=1}^{\nu _{n+1} -1} M_{j}^{2}\Biggr) \Biggr)^{(\frac{1}{r} -\frac{1}{2} + \frac{\alpha \theta \nu }{r})( \theta - s)} \Vert u_{n} \Vert _{2}^{\theta - s} \\ & = C \Biggl(\ln \Biggl(1 + \sum_{j=1}^{\nu _{n+1} -1}M_{j}^{2} \Biggr) \Biggr)^{1 - \frac{\theta }{2} + \alpha \theta } \Vert u_{n} \Vert _{2}^{\theta - s} \\ &\le C \Biggl(\ln \Biggl(1 + \sum _{j=1}^{ \nu _{n+1} -1}M_{j}^{2}\Biggr) \Biggr)^{1 - \frac{\theta }{2} + \alpha \theta } \rho _{\nu _{n}}^{\theta - s}. \end{aligned}$$

Hence, from (12) it follows that

$$ \int _{0}^{1} \bigl[(f_{l} - f_{m})^{*} (t ) \bigr]^{ \theta } \bigl(1 + \vert \ln t \vert \bigr)^{\alpha \theta }t^{\frac{\theta }{2} -1} \,dt \le C\sum _{n=m}^{l} \Biggl(\ln \Biggl(1+\sum _{j=1}^{\nu _{n+1} -1}M_{j}^{2} \Biggr) \Biggr)^{1 -\frac{\theta }{2} + \alpha \theta }\rho _{\nu _{n}}^{ \theta }. $$
(13)

By definition of the numbers \(\nu _{n}\) (see (3)) we have \(\rho _{\nu _{n}} < 2\rho _{\nu _{n+1} - 1} \) and \(\rho _{\nu _{n+2}} \le \frac{1}{2}\rho _{\nu _{n+1}} < \frac{1}{2} \rho _{\nu _{n+1} - 1}\). Thus \(\rho _{\nu _{n+1} - 1}^{\theta } - \rho _{\nu _{n+2}}^{\theta } \ge (1 - 1/2)^{\theta } \rho _{\nu _{n+1} - 1}^{\theta } \) so that

$$ \rho _{\nu _{n+1} - 1}^{\theta } \le \frac{2^{\theta }}{2^{\theta } - 1}\bigl(\rho _{\nu _{n+1} - 1}^{\theta } - \rho _{\nu _{n+2}}^{\theta }\bigr). $$

Therefore,

$$\begin{aligned} &\sum_{n=m}^{l} \Biggl(\ln \Biggl(1+\sum _{j=1}^{\nu _{n+1} -1}M_{j}^{2} \Biggr) \Biggr)^{1 -\frac{\theta }{2} + \alpha \theta }\rho _{\nu _{n}}^{ \theta } \\ &\quad \le 2^{\theta }\sum_{n=m}^{l} \Biggl(\ln \Biggl(1+\sum_{j=1}^{\nu _{n+1} -1}M_{j}^{2} \Biggr) \Biggr)^{1 -\frac{\theta }{2} + \alpha \theta } \rho _{\nu _{n+1} - 1}^{\theta } \\ &\quad\le 2^{\theta } \frac{2^{\theta }}{2^{\theta } - 1}\sum_{n=m}^{l} \Biggl(\ln \Biggl(1+\sum_{j=1}^{\nu _{n+1} -1}M_{j}^{2} \Biggr) \Biggr)^{1 -\frac{\theta }{2} + \alpha \theta }\bigl(\rho _{\nu _{n+1} - 1}^{ \theta } - \rho _{\nu _{n+2}}^{\theta }\bigr) \\ &\quad \le \frac{2^{2\theta }}{2^{\theta } - 1}\sum_{n=m}^{l}\sum _{k=\nu _{n+1} - 1}^{\nu _{n+2} - 1}\bigl(\rho _{k}^{\theta } - \rho _{k+1}^{\theta }\bigr) \Biggl(\ln \Biggl(1+\sum _{j=1}^{k}M_{j}^{2} \Biggr) \Biggr)^{1 - \frac{\theta }{2} + \alpha \theta } \\ &\quad = \frac{2^{2\theta }}{2^{\theta } - 1} \sum_{n=m}^{l} \Biggl[\bigl(\rho _{ \nu _{n+1} - 1}^{\theta } - \rho _{\nu _{n+1}}^{\theta } \bigr) \Biggl(\ln \Biggl(1+\sum_{j=1}^{\nu _{n+1} -1}M_{j}^{2} \Biggr) \Biggr)^{1 - \frac{\theta }{2} + \alpha \theta } \\ &\qquad{}+ \sum_{k=\nu _{n+1}}^{\nu _{n+2} - 1}\bigl(\rho _{k}^{\theta } - \rho _{k+1}^{ \theta }\bigr) \Biggl(\ln \Biggl(1+\sum_{j=1}^{k}M_{j}^{2} \Biggr) \Biggr)^{1 -\frac{\theta }{2} + \alpha \theta } \Biggr] \\ &\quad\le \frac{2^{2\theta }}{2^{\theta } - 1} \sum_{n=m}^{l} \Biggl[\sum_{k= \nu _{n+1}}^{\nu _{n+2} - 1}\bigl(\rho _{k}^{\theta } - \rho _{k+1}^{ \theta }\bigr) \Biggl(\ln \Biggl(1+\sum_{j=1}^{\nu _{n+1} -1}M_{j}^{2} \Biggr) \Biggr)^{1 -\frac{\theta }{2} + \alpha \theta } \\ &\qquad{}+\sum_{k=\nu _{n+1}}^{\nu _{n+2} - 1}\bigl(\rho _{k}^{\theta } - \rho _{k+1}^{ \theta }\bigr) \Biggl(\ln \Biggl(1+\sum_{j=1}^{k}M_{j}^{2} \Biggr) \Biggr)^{1 -\frac{\theta }{2} + \alpha \theta } \Biggr] \\ &\quad \le 2 \frac{2^{2\theta }}{2^{\theta } - 1}\sum_{n= \nu _{m}}^{\nu _{l+2} - 1} \bigl(\rho _{k}^{\theta } - \rho _{k+1}^{\theta } \bigr) \Biggl(\ln \Biggl(1+ \sum_{j=1}^{k}M_{j}^{2} \Biggr) \Biggr)^{1 -\frac{\theta }{2} + \alpha \theta }. \end{aligned}$$

We conclude that

$$\begin{aligned} &\sum_{n=m}^{l} \Biggl(\ln \Biggl(1+\sum _{j=1}^{\nu _{n+1} -1}M_{j}^{2} \Biggr) \Biggr)^{1 -\frac{\theta }{2} + \alpha \theta }\rho _{\nu _{n}}^{ \theta } \\ &\quad\leqslant 2 \frac{2^{2\theta }}{2^{\theta } - 1}\sum_{n= \nu _{m}}^{\nu _{l+2} - 1} \bigl( \rho _{k}^{\theta } - \rho _{k+1}^{\theta }\bigr) \Biggl(\ln \Biggl(1+ \sum_{j=1}^{k}M_{j}^{2} \Biggr) \Biggr)^{1 -\frac{\theta }{2} + \alpha \theta }. \end{aligned}$$

Hence, from (13) it follows that

$$\begin{aligned} &\int _{0}^{1} \bigl[(f_{l} - f_{m})^{*} (t ) \bigr]^{ \theta } \bigl(1 + \vert \ln t \vert \bigr)^{\alpha \theta }t^{\frac{\theta }{2} -1} \,dt \\ &\quad \leqslant C\sum_{n= \nu _{m}}^{\nu _{l+2} - 1} \bigl(\rho _{k}^{\theta } - \rho _{k+1}^{ \theta }\bigr) \Biggl(\ln \Biggl(1+\sum_{j=1}^{k}M_{j}^{2} \Biggr) \Biggr)^{1 -\frac{\theta }{2} + \alpha \theta }. \end{aligned}$$
(14)

We use the assumptions in the theorem and conclude that the sequence \(\{f_{l}\} \subset L_{2, \theta }(\log L)^{\alpha }\) is fundamental in the space \(L_{2, \theta }(\log L)^{\alpha }\). Hence, since the space \(L_{2, \theta }(\log L)^{\alpha }\) is complete (see [21]) there exists a function \(f \in L_{2, \theta }(\log L)^{\alpha }\) such that \(\|f - f_{l}\|_{2, \theta, \alpha } \rightarrow 0 \) for \(l \rightarrow \infty \) and

$$ f(x) \sim \sum_{n=1}^{\infty }a_{n} \varphi _{n}(x). $$

By now taking the limit \(l \rightarrow \infty \) in (14) we get

$$ \int _{0}^{1} \bigl[(f - f_{m})^{*} (t ) \bigr]^{\theta } \bigl(1 + \vert \ln t \vert \bigr)^{\alpha \theta }t^{\frac{\theta }{2} -1} \,dt \le C\sum_{n= \nu _{m}}^{\infty } \bigl(\rho _{k}^{\theta } - \rho _{k+1}^{\theta }\bigr) \Biggl(\ln \Biggl(1+\sum_{j=1}^{k}M_{j}^{2} \Biggr) \Biggr)^{1 - \frac{\theta }{2} + \alpha \theta }. $$

Finally, in this inequality we put \(m = 1\) and use the norm property to conclude that

$$ \Vert f \Vert _{2, \theta, \alpha } \le C \Biggl\{ \sum _{k= 1}^{\infty } \bigl( \rho _{k}^{\theta } - \rho _{k+1}^{\theta }\bigr) \Biggl(\ln \Biggl(1+\sum _{j=1}^{k}M_{j}^{2} \Biggr) \Biggr)^{1 -\frac{\theta }{2} + \alpha \theta } \Biggr\} ^{ \frac{1}{\theta }}. $$

The proof is complete. □

A complement of Theorem 1.4. The case \(q = 2\)

Our main result in this section reads as follows.

Theorem 3.1

Let\(\{ \varphi _{n} \} _{n=1}^{\infty }\)be an orthogonal system, which satisfies the condition (1), \(s\in (2,+\infty ], 2<\theta <+\infty \)and\(\alpha < 0 \). If the function\(f\in L_{2,\theta }(\log L)^{\alpha }\), then

$$ \Biggl\{ \sum_{n=1}^{\infty } \Biggl(\ln \Biggl(1+\sum_{l=1}^{\nu _{n+1} - 1}M_{l}^{2} \Biggr) \Biggr)^{1-\frac{\theta }{2} + \alpha \theta } \Biggl(\sum_{k=\nu _{n}}^{\nu _{n+1} -1}a_{k}^{2}(f) \Biggr)^{ \frac{\theta }{2}} \Biggr\} ^{\frac{1}{\theta } } \le C \Vert f \Vert _{2,\theta, \alpha }, $$

where\(a_{k}(f)\)as usual denote the Fourier coefficients with respect to the system\(\{\varphi _{n}\}_{1}^{\infty }\).

Proof

It is well known that for any function \(f\in L_{q,\theta }(\log L)^{\alpha }\) the following relation holds (see e.g. [21]):

$$ \Vert f \Vert _{q,\theta, \alpha } \asymp \mathop{\sup_{g\in L_{q^{\prime },\theta ^{\prime }}(\log L)^{-\alpha }}} _{ \Vert g \Vert _{q^{\prime },\theta ^{\prime }, -\alpha } \le 1} \biggl\vert \int _{0}^{1}f(x)g(x)\,dx \biggr\vert ,\qquad 1/q + 1/q' = 1,\qquad 1/\theta + 1/\theta '=1. $$
(15)

Consider the function \(g (x )\) with Fourier coefficients

$$\begin{aligned} b_{n} (g )={}& \Biggl\{ \sum_{k=1}^{\infty } \Biggl(\ln \Biggl(1+ \sum_{l=1}^{\nu _{k+1} -1}M_{l}^{2} \Biggr) \Biggr)^{1- \frac{\theta }{2} + \alpha \theta } \Biggl(\sum_{n=\nu _{k}}^{\nu _{k+1} -1}a_{n}^{2}(f) \Biggr)^{\frac{\theta }{2}} \Biggr\} ^{- \frac{1}{\theta ^{\prime }}} \\ &{}\times \Biggl(\ln \Biggl(1+\sum_{l=1}^{\nu _{k+1} -1}M_{l}^{2} \Biggr) \Biggr)^{1-\frac{\theta }{2} + \alpha \theta } \Biggl(\sum_{n= \nu _{k}}^{\nu _{k+1} -1}a_{n}^{2}(f) \Biggr)^{\frac{\theta -2}{2}} a_{n}(f), \end{aligned}$$

for \(n=\nu _{k},\ldots,\nu _{k+1} - 1\), \(k \in \mathbb{N}\).

Since \(\{\varphi _{n}\}\) is an orthogonal system and by the definition of the coefficients \(b_{n}(g)\) we have

$$\begin{aligned} \int _{0}^{1}f (x )g (x )\,dx ={}& \Biggl\{ \sum _{n=1}^{ \infty } \Biggl(\ln \Biggl(1+\sum _{l=1}^{\nu _{n+1} -1}M_{l}^{2} \Biggr) \Biggr)^{1-\frac{\theta }{2} + \alpha \theta } \Biggl(\sum_{k= \nu _{n}}^{\nu _{n+1} -1}a_{k}^{2}(f) \Biggr)^{\frac{\theta }{2}} \Biggr\} ^{-\frac{1}{\theta ^{\prime }}} \\ &{}\times\sum_{k=1}^{\infty } \Biggl(\ln \Biggl(1+\sum _{l=1}^{\nu _{k+1} -1}M_{l}^{2} \Biggr) \Biggr)^{1-\frac{\theta }{2} + \alpha \theta } \Biggl(\sum_{n= \nu _{k}}^{\nu _{k+1} -1}a_{n}^{2}(f) \Biggr)^{\frac{\theta -2}{2}} \sum_{n=\nu _{k} }^{\nu _{k+1} -1}a_{n}^{2} (f ) \\ ={}& \Biggl\{ \sum_{n=1}^{\infty } \Biggl(\ln \Biggl(1+\sum_{l=1}^{\nu _{n+1} -1}M_{l}^{2} \Biggr) \Biggr)^{1-\frac{\theta }{2} + \alpha \theta } \Biggl(\sum_{k=\nu _{n}}^{\nu _{n+1} -1}a_{k}^{2}(f) \Biggr)^{ \frac{\theta }{2}} \Biggr\} ^{-\frac{1}{\theta }}. \end{aligned}$$
(16)

Hence, according to Theorem 2.1, we find that

$$\begin{aligned} \Vert g \Vert _{2,\theta ^{\prime }, -\alpha } &\le C \Biggl\{ \sum _{n=1}^{ \infty } \Biggl(\ln \Biggl(1+\sum _{l=1}^{n}M_{l}^{2} \Biggr) \Biggr)^{1- \frac{\theta ^{\prime } }{2} -\alpha \theta '} \bigl(\rho _{n}^{\theta '} - \rho _{n+1}^{\theta '} \bigr) \Biggr\} ^{\frac{1}{\theta ^{\prime }}} \\ &\leqslant C \Biggl\{ \sum_{k=1}^{\infty } \Biggl(\ln \Biggl(1+\sum_{l=1}^{\nu _{k+1} - 1}M_{l}^{2} \Biggr) \Biggr)^{1-\frac{\theta ^{\prime } }{2} -\alpha \theta '} \bigl(\rho _{\nu _{k}}^{\theta '} - \rho _{\nu _{k+1}}^{ \theta '} \bigr) \Biggr\} ^{\frac{1}{\theta ^{\prime }}}, \end{aligned}$$

where \(\rho _{n} = (\sum_{l=n}^{\infty }|b_{l}(g)|^{2} )^{1/2}, n \in \mathbb{N}\) and \(-\alpha > 0\).

If \(a>b>0\), \(0 < \beta \leqslant 1\), then \(a^{\beta } - b^{\beta } \leqslant (a - b)^{\beta }\). Since \(\theta '/2 < 1\), by this inequality we obtain

$$\begin{aligned} \rho _{\nu _{k}}^{\theta '} - \rho _{\nu _{k+1}}^{\theta '} &= \Biggl( \sum_{l=\nu _{k}}^{\infty } \bigl\vert b_{l}(g) \bigr\vert ^{2} \Biggr)^{\theta '/2} - \Biggl(\sum_{l=\nu _{k+1}}^{\infty } \bigl\vert b_{l}(g) \bigr\vert ^{2} \Biggr)^{\theta '/2} \\ &\leqslant\Biggl(\sum_{l=\nu _{k}}^{\infty } \bigl\vert b_{l}(g) \bigr\vert ^{2} - \sum _{l=\nu _{k+1}}^{ \infty } \bigl\vert b_{l}(g) \bigr\vert ^{2} \Biggr)^{\theta '/2} = \Biggl(\sum _{l=\nu _{k}}^{ \nu _{k+1} -1} \bigl\vert b_{l}(g) \bigr\vert ^{2} \Biggr)^{\frac{\theta '}{2}}. \end{aligned}$$

Therefore,

$$ \Vert g \Vert _{2,\theta ^{\prime }, -\alpha } \leqslant C \Biggl\{ \sum _{k=1}^{\infty } \Biggl(\ln \Biggl(1+\sum _{l=1}^{\nu _{k+1} - 1}M_{l}^{2} \Biggr) \Biggr)^{1-\frac{\theta ^{\prime } }{2} -\alpha \theta '} \Biggl( \sum_{l=\nu _{k}}^{\nu _{k+1} -1} \bigl\vert b_{l}(g) \bigr\vert ^{2} \Biggr)^{ \frac{\theta '}{2}} \Biggr\} ^{\frac{1}{\theta ^{\prime }}}. $$

By again using the definition of the coefficients \(b_{n}(g)\) we obtain

$$\begin{aligned} \Biggl(\sum_{n=\nu _{k}}^{\nu _{k+1} -1}b_{n}^{2}(g) \Biggr)^{ \frac{1}{2}} ={}& \Biggl\{ \sum_{k=1}^{\infty } \Biggl(\ln \Biggl(1+ \sum_{l=1}^{\nu _{k+1} -1}M_{l}^{2} \Biggr) \Biggr)^{1- \frac{\theta }{2} + \alpha \theta } \Biggl(\sum_{n=\nu _{k}}^{\nu _{k+1} -1}a_{n}^{2}(f) \Biggr)^{\frac{\theta }{2}} \Biggr\} ^{- \frac{1}{\theta ^{\prime }}} \\ &{}\times \Biggl(\ln \Biggl(1+\sum_{l=1}^{\nu _{k+1} -1}M_{l}^{2} \Biggr) \Biggr)^{1-\frac{\theta }{2} + \alpha \theta } \Biggl(\sum_{n= \nu _{k}}^{\nu _{k+1} -1}a_{n}^{2}(f) \Biggr)^{\frac{\theta -1}{2}}. \end{aligned}$$

Then \(\Vert g \Vert _{2,\theta ^{\prime } -\alpha } \le C\). Thus, the function \(g_{0}:= C^{-1} g\in L_{2,\theta ^{\prime }}(\log L)^{-\alpha } \) and \(\Vert g_{0} \Vert _{2,\theta ^{\prime }, -\alpha } \le 1\). Hence, by using (15), from (16) it follows that

$$\begin{aligned} \Vert f \Vert _{2,\theta, \alpha } &\ge \biggl\vert \int _{0}^{1}f(x)g_{0}(x)\,dx \biggr\vert \\ &\ge C^{-1} \Biggl\{ \sum_{k=1}^{\infty } \Biggl(\ln \Biggl(1+\sum_{l=1}^{ \nu _{k+1} -1}M_{l}^{2} \Biggr) \Biggr)^{1-\frac{\theta }{2} + \alpha \theta } \Biggl(\sum_{n=\nu _{k}}^{\nu _{k+1} -1}a_{n}^{2}(f) \Biggr)^{\frac{\theta }{2}} \Biggr\} ^{\frac{1}{\theta }}. \end{aligned}$$

The proof is complete. □

Concluding remarks

We say that a function f on \((0, 1)\) or \((0, \infty )\) is quasi-increasing (quasi-decreasing) if, for all \(x\leqslant y\) and some \(C > 0\), \(f(x) \leqslant Cf(y)\) (\(f(y) \leqslant Cf(x)\)). Moreover, we say that a positive function on \((a, b)\), \(0\leqslant a < b < \infty \), is a quasi-monotone weight if \(\lambda (x)x^{c}\) is quasi-increasing or quasi-decreasing for some \(c\in \mathbb{R}\). It is then natural to define the more general Lorentz spaces \(\varLambda _{q}(\lambda )\) than the usual one \(L_{p, q}\) where \(\lambda (t)=t^{1/p}\). In particular, if \(\lambda (t)= (1 + |\ln t|)^{\alpha }\), \(0 < t\leqslant 1\), \(\lambda (t) = 0\), \(t \geqslant 1\), then the spaces \(\varLambda _{q}(\lambda )\) and \(L_{p, q}(\log L)^{\alpha }\) coincide.

Remark 4.1

In Refs. [9] and [8] these more general Lorentz spaces \(\varLambda _{q}(\lambda )\) were defined and investigated in a similar way but only for bounded systems. Here \(\lambda (t)\) is a quasi-monotone weight considered early in Ref. [16] by Persson but then used only for Fourier inequalities related to the trigonometric system.

Remark 4.2

Quasi-monotone weights are very useful and possible to handle in various situations in analysis since we have good control of the growth both up and down as \(t \rightarrow 0\) or \(t \rightarrow \infty \). For example the method of “interpolation with a parameter function” heavily depends on this idea (see [18]). The close relation to Matuszewska– Orlicz indices, the Bari–Stechkin condition and other remarkable properties were investigated in [19].

Remark 4.3

In [8] (see Theorem 2.1, Theorem 2.3), theorems on the convergence of series of the Fourier coefficients of a function from the generalized Lorentz space \(\varLambda _{q}(\lambda )\) with respect to regular systems are proved. It is well known that a regular system is uniformly bounded (see [15], p. 117). Therefore, the assertions of Theorem 2.1 and Theorem 3.1 of this paper cannot follow from the results of [8].

Remark 4.4

For the type of problems considered in this paper and [2] it is natural to consider the following slight generalizations of the classes A and B considered in [8] and [17]: \(A^{*}=\bigcup_{s > 0}A_{\delta }\) and \(B^{*}=\bigcup_{s > 0}B_{\delta }\), where \(A_{\delta }\) consists of positive functions \(\lambda (t)\) such that \(\lambda (t)t^{-\delta }\) is quasi-increasing and \(\lambda (t)t^{-(1/2 - \delta )}\) quasi-decreasing and \(B_{\delta }\) consists of positive functions \(\omega (t)\) such that \(\omega (t)t^{-1/2 - \delta }\) is quasi-increasing and \(\omega (t)t^{-1 + \delta }\) is quasi-decreasing.

Example 4.5

It is well known that any concave function \(\psi (t)\) is quasi-monotone. More exactly, \(\psi (t)\) is nondecreasing and \(\psi (t)/t\) is nonincreasing. A simple proof can be found on page 142 Ref. [11].

Inspired by the discussions above and in order to be able to compare with a recent result of Doktorski [4] we introduce the generalized Lorentz space \(L_{\psi, \theta }\) as follows: For \(\psi (t)\) quasi-monotone and \(\theta > 0\) we say that the measurable functions \(f \in L_{\psi, \theta }\) whenever

$$ \Vert f \Vert _{\psi,\theta }= \biggl( \int _{0}^{1} f^{*^{\theta }}(t) \psi ^{ \theta }(t)\frac{dt}{t} \biggr)^{\frac{1}{\theta }} < \infty. $$

For the function ψ we set

$$ \alpha _{\psi }=\underline{\lim }_{t\rightarrow 0} \frac{\psi (2t)}{\psi (t)},\qquad \beta _{\psi }= \overline{\lim }_{t\rightarrow 0}\frac{\psi (2t)}{\psi (t)}. $$

It is well known that \(1\leq \alpha _{\psi }\leqslant \beta _{\psi }\leqslant 2\) (see e.g. [20]).

Consider the set of all non-negative functions on \([0, 1]\), ψ for which \((\log 2/t)^{\varepsilon } \psi (t) \uparrow +\infty \) and \((\log 2/t)^{-\varepsilon } \psi (t) \downarrow 0\) for \(t \downarrow 0\), \(\forall \varepsilon >0\) (cf. [22]) and this set is also denoted by SVL.

By making modifications of the proof of Theorem 2.1 it is possible to prove the following generalization of this theorem.

Theorem 4.6

Let\(\{ \varphi _{n} \} _{n=1}^{\infty }\)be an orthogonal system, which satisfies the condition (1) and\(s\in (2,+\infty ]\). Moreover, assume thatψis a quasi-monotone function, which satisfy the conditions\(\alpha _{\psi }=\beta _{\psi }=2^{1/2}\),

$$ \sup_{t\in (0, 1]}\frac{t^{1/2}}{\psi (t)} < \infty $$

and\(\frac{t^{1/2}}{\psi (t)} \in \operatorname{SVL}\).

If\(1<\theta \le 2\), \(\{ a_{n} \} \in l_{2} \)and

$$ \varLambda _{\psi,\theta } (a )=\sum_{n=1}^{\infty } \biggl( \frac{\psi ((1+\sum_{l=1}^{n}M_{l}^{2})^{-1})}{(1+\sum_{l=1}^{n}M_{l}^{2})^{-1/2}} \biggr)^{\theta } \Biggl(\ln \Biggl(1+\sum _{l=1}^{n}M_{l}^{2} \Biggr) \Biggr)^{(\frac{1}{\theta }-\frac{1}{2})\theta } \bigl(\rho _{n}^{ \theta } -\rho _{n+1}^{\theta } \bigr)< +\infty, $$

then the series\(\sum_{n=1}^{\infty }a_{n} \varphi _{n} (x )\)converges in the space\(L_{\psi, \theta }\)to some function\(f \in L_{\psi,\theta }\)and\(\Vert f \Vert _{\psi, \theta } \leqslant C(\varLambda _{\psi, \theta })^{1/ \theta } \).

Remark 4.7

In the case \(\psi (t)=t^{1/2}(1+\ln |t|)^{\alpha }\) Theorem 4.6 implies Theorem 2.1.

Remark 4.8

For a uniformly bounded system \(\{\varphi _{n}\}\), Theorem 4.6 was recently proved different way and in a slightly different form by Doktorski [4].

Remark 4.9

The remarks above open the possibility of generalizing and unifying all the results in [2, 4, 8, 9] and this paper. The present authors hope to investigate this in a forthcoming paper.

References

  1. 1.

    Akishev, G.: Similar to orthogonal system and inequality of different metrics in Lorentz–Zygmund space. Math. Z. 13(1), 5–16 (2013)

  2. 2.

    Akishev, G., Persson, L.-E., Seger, A.: Some Fourier inequalities for orthogonal systems in Lorentz–Zygmund spaces. J. Inequal. Appl. 2019, 171 (2019). https://doi.org/10.1186/s13660-019-2117-4

  3. 3.

    Bochkarev, S.V.: The Hausdorff–Young–Riesz theorem in Lorentz spaces and multiplicative inequalities. Tr. Mat. Inst. Steklova 219, 103–114 (1997). (Translation in Proc. Steklov Inst. Math. 219(4), 96–107 (1997))

  4. 4.

    Doktorski, L.R.Y.: An application of limiting interpolation to Fourier series theory. In: Buttcher, A., Potts, D., Stollmann, P., Wenzel, D. (eds.) The Diversity and Beauty of Applied Operator Theory. Operator Theory: nvances and Applications, vol. 268. Birkhäuser, Basel (2018)

  5. 5.

    Flett, T.M.: On a theorem of Pitt. J. Lond. Math. Soc. 2(7), 376–384 (1973)

  6. 6.

    Kirillov, S.A.: Norm estimates of functions in Lorentz spaces. Acta Sci. Math. 65(1–2), 189–201 (1999)

  7. 7.

    Kolyada, V.I.: Some generalizations of the Hardy–Littlewood–Paley theorem. Mat. Zametki 51(3), 24–34 (1992). (Translation in Math. Notes 51(3), 235–244 (1992))

  8. 8.

    Kopezhanova, A.: Summability of Fourier transforms of functions from Lorentz spaces. PhD thesis, Department of Engineering Sciences and Mathematics, Luleå University of Technology (2017)

  9. 9.

    Kopezhanova, A.N., Persson, L.-E.: On summability of the Fourier coefficients in bounded orthonormal systems for functions from some Lorentz type spaces. Eurasian Math. J. 1(2), 76–85 (2010)

  10. 10.

    Krein, S.G., Petunin Yu, I., Semenov, E.M.: Interpolation of Linear Operators. Nauka, Moscow (1978)

  11. 11.

    Larsson, L., Maligranda, L., Pec̀aric̀, J., Persson, L.E.: Multiplicative Inequalities of Carlson Type. World Scientific, Singapore (2006)

  12. 12.

    Marcinkiewicz, J., Zygmund, A.: Some theorems on orthogonal systems. Fundam. Math. 28, 309–335 (1937)

  13. 13.

    Maslov, A.V.: Estimates of Hausdorf–Young type for Fourier coefficients. Vestnik Moscow Univ. Ser. I Mat. Mekh. 3, 19–22 (1982). (Russian)

  14. 14.

    Nikol’ski, S.M.: Approximation of Classes of Functions of Several Variables and Embedding Theorems. Nauka, Moscow (1977)

  15. 15.

    Nursultanov, E.D.: On the coefficients of multiple Fourier series from \(L_{p}\)-spaces (Russian). Izv. Akad. Nauk SSSR, Ser. Mat. 64(1), 95–122 (2000). (Translation in Izv. Math. 64(1), 93–120 (2000))

  16. 16.

    Persson, L.-E.: Relations between regularity of periodic functions and their Fourier series. PhD thesis, Department of Mathematics, Umeå University (1974)

  17. 17.

    Persson, L.-E.: Relation between summability of functions and their Fourier series. Acta Math. Acad. Sci. Hung. 27(3–4), 267–280 (1976)

  18. 18.

    Persson, L.-E.: Interpolation with a parameter function. Math. Scand. 59(2), 199–222 (1986)

  19. 19.

    Persson, L.-E., Samko, N., Wall, P.: Quasi–monotone weight functions and their characteristics and applications. Math. Inequal. Appl. 15(3), 685–705 (2012)

  20. 20.

    Semenov, E.M.: Interpolation of linear operators in symmetric spaces. Sov. Math. Dokl. 6, 1294–1298 (1965)

  21. 21.

    Sharpley, R.: Counterexamples for classical operators on Lorentz–Zygmund spaces. Stud. Math. 58, 141–158 (1980)

  22. 22.

    Simonov, B.V.: Embedding Nikolski classes into Lorentz spaces. Sib. Math. J. 51(4), 728–744 (2010)

  23. 23.

    Stein, E.M.: Interpolation of linear operators. Trans. Am. Math. Soc. 83, 482–492 (1956)

  24. 24.

    Zygmund, A.: Trigonometric Series, 2nd edn. Izdat. “Mir”, Moscow (1965)

Download references

Acknowledgements

The first author is grateful for the support of this work given by the Russian Academic Excellence Project (agreement no. 02.A03.21.0006 of August 27, 2013, between the Ministry of Education and Science of the Russian Federation and Ural Federal University). We thank the referees for some good suggestions, which have improved this final version of our paper.

Availability of data and materials

Not applicable.

Funding

Not applicable.

Author information

Affiliations

Authors

Contributions

The authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Corresponding author

Correspondence to L. E. Persson.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

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/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Akishev, G., Lukkassen, D. & Persson, L.E. Some new Fourier inequalities for unbounded orthogonal systems in Lorentz–Zygmund spaces. J Inequal Appl 2020, 77 (2020). https://doi.org/10.1186/s13660-020-02344-6

Download citation

MSC

  • 42A16
  • 42B05
  • 26D15
  • 26D20
  • 46E30

Keywords

  • Inequalities
  • Fourier series
  • Fourier coefficients
  • Unbounded orthogonal systems
  • Lorentz–Zygmund spaces