Skip to main content

Advertisement

Some inequalities related to strong convergence of Riesz logarithmic means

Abstract

In this paper we derive a new strong convergence theorem of Riesz logarithmic means of the one-dimensional Vilenkin–Fourier (Walsh–Fourier) series. The corresponding inequality is pointed out and it is also proved that the inequality is in a sense sharp, at least for the case with Walsh–Fourier series.

Introduction

Concerning definitions used in this introduction we refer to Sect. 2. Weisz [47] proved the boundedness of the maximal operator of Fejér means \(\sigma ^{\psi ,\ast }\) with respect to bounded Vilenkin systems from the martingale Hardy space \(H_{p}(G_{m})\) to the space \(L_{p}(G_{m})\), for \(p>1/2\). Simon [31] gave a counterexample, which shows that boundedness does not hold for \(0< p<1/2\). The corresponding counterexample for \(p=1/2\) is due to Goginava [14]. Moreover, Weisz [50] proved the following result.

Theorem W

The maximal operator of Fejér means\(\sigma ^{\psi ,\ast }\)is bounded from the Hardy space\(H_{1/2}(G_{m})\)to the space weak-\(L_{1/2}(G_{m})\).

In [35] and [36] it was proved that the maximal operator\(\widetilde{\sigma }_{p}^{\psi ,\ast }\)defined by

$$ \widetilde{\sigma }_{p}^{\psi ,\ast }:=\sup_{n\in \mathbb{N}} \frac{ \vert \sigma _{n}^{\psi } \vert }{ ( n+1 )^{1/p-2}\log ^{2 [ 1/2+p ]} (n+1 ) }, $$

where\(0< p\leq 1/2\)and\([ 1/2+p ] \)denotes the integer part of\(1/2+p\), is bounded from the Hardy space\(H_{p}(G_{m})\)to the space\(L_{p}(G_{m})\). Moreover, for any nondecreasing function\(\varphi :\mathbb{N}_{+}\rightarrow {}[ 1,\infty )\)satisfying the condition

$$ \overline{\lim_{n\rightarrow \infty }} \frac{ ( n+1 ) ^{1/p-2}\log ^{2 [ 1/2+p ] } ( n+1 ) }{\varphi ( n ) }=+\infty , $$
(1.1)

there exists a martingale\(f\in H_{p}(G_{m})\), such that

$$ \sup_{n\in \mathbb{N}} \biggl\Vert \frac{\sigma ^{\psi }_{n}f}{\varphi ( n ) } \biggr\Vert _{p}= \infty . $$

For Walsh–Kaczmarzi system some analogical results were proved in [16] and [37].

Weisz [47] considered the norm convergence of the Fejér means of a Vilenkin–Fourier series and proved the following result.

Theorem W1

(Weisz)

Let\(p>1/2\)and\(f\in H_{p}(G_{m})\). Then there exists an absolute constant\(c_{p}\), depending only onp, such that for all\(k=1,2,\dots \)and\(f\in H_{p}(G_{m})\)the following inequality holds:

$$ \bigl\Vert \sigma ^{\psi }_{k}f \bigr\Vert _{p} \leq c_{p} \Vert f \Vert _{H_{p}(G_{m})}. $$

Moreover, in [34] it was proved that the assumption \(p>1/2\) in Theorem W1 is essential. In fact, the following is true.

Theorem T1

There exists a martingale \(f\in H_{1/2}(G_{m})\) such that

$$ \sup_{n\in \mathbb{N}} \bigl\Vert \sigma ^{\psi }_{n}f \bigr\Vert _{1/2}=+ \infty . $$

Theorem W1 implies that

$$ \frac{1}{n^{2p-1}}\sum_{k=1}^{n} \frac{ \Vert \sigma ^{\psi }_{k} f \Vert _{p}^{p}}{k^{2-2p}} \leq c_{p} \Vert f \Vert _{H_{p}(G_{m})}^{p}, \quad 1/2< p< \infty , n=1,2,\dots . $$

If Theorem W1 holds for \(0< p\leq 1/2\), then we would have

$$ \frac{1}{\log ^{ [ 1/2+p ] }n} \sum_{k=1}^{n} \frac{ \Vert \sigma ^{\psi }_{k}f \Vert _{p}^{p}}{k^{2-2p}} \leq c_{p} \Vert f \Vert _{H_{p}(G_{m})}^{p},\quad 0< p\leq 1/2, n=2,3,\dots . $$
(1.2)

For the Walsh system in [38] and for the bounded Vilenkin systems in [37] were proved that (1.2) holds, though Theorem T1 is not true for \(0< p<1/2\).

Some results concerning summability of the Fejér means of a Vilenkin–Fourier series can be found in [10, 12, 16, 25, 28, 30].

The Riesz logarithmic means with respect to the Walsh system was studied by Simon [31], Goginava [15], Gát, Nagy [13] and for Vilenkin systems by Gát [11] and Blahota, Gát [3], Persson, Ragusa, Samko, Wall [26]. Moreover, in [27] it was proved that the maximal operator of the Riesz logarithmic means of a Vilenkin–Fourier series is bounded from the martingale Hardy space \(H_{p}(G_{m})\) to the space \(L_{p}(G_{m})\) when \(p>1/2\) and is not bounded from the martingale Hardy space \(H_{p}(G_{m})\) to the space \(L_{p}(G_{m})\) when \(0< p\leq 1/2\).

In [35] and [36] it was proved that the Riesz logarithmic means has better properties than the Fejér means. In particular, one considered the maximal operator \(\widetilde{R}_{p}^{\psi ,\ast }\) of a Riesz logarithmic means \(\widetilde{R}_{p}^{\psi ,\ast }\) defined by

$$ \widetilde{R}_{p}^{\psi ,\ast }:=\sup_{n\in \mathbb{N}} \frac{ \vert R_{n}^{\psi } \vert \log (n+1)}{ (n+1 ) ^{1/p-2}\log ^{2 [ 1/2+p ] } ( n+1 )}, $$

where \(0< p\leq 1/2\) and \([ 1/2+p ] \) denotes the integer part of \(1/2+p\), which is bounded from the Hardy space \(H_{p}(G_{m})\) to the space \(L_{p}(G_{m})\).

Moreover, this result is sharp in the following sense: For any nondecreasing function \(\varphi :\mathbb{N}_{+}\rightarrow {}[ 1,\infty )\) satisfying the condition

$$ \overline{\lim_{n\rightarrow \infty }} \frac{ (n+1 )^{1/p-2}\log ^{2 [1/2+p ]} (n+1 )}{\varphi (n )\log (n+1)}= \infty , $$
(1.3)

there exists a martingale \(f\in H_{p}(G_{m})\), such that

$$ \sup_{n\in \mathbb{N}} \biggl\Vert \frac{R^{\psi }_{n}f}{\varphi (n )} \biggr\Vert _{p}= \infty . $$

The main aim of this paper is to derive a new strong convergence theorem of the Riesz logarithmic means of one-dimensional Vilenkin–Fourier (Walsh–Fourier) series (see Theorem 1). The corresponding inequality is pointed out. The sharpness is proved in Theorem 2, at least for the case with Walsh–Fourier series.

The paper is organized as follows: In Sect. 2 some definitions and notations are presented. The main results are presented and proved in Sect. 3. Section 4 is reserved for some concluding remarks and open problems.

Definitions and notations

Let \(\mathbb{N}_{+}\) denote the set of positive integers, \(\mathbb{N}:=\mathbb{N}_{+}\cup \{0\}\).

Let \(m:=(m_{0}, m_{1},\ldots)\) denote a sequence of positive integers not less than 2.

Denote by

$$ Z_{m_{k}}:=\{0,1,\ldots m_{k}-1\} $$

the additive group of integers modulo \(m_{k}\).

Define the group \(G_{m}\) as the complete direct product of the group \(Z_{m_{j}}\) with the product of the discrete topologies of the \(Z_{m_{j}}\).

The direct product μ of the measures

$$ \mu _{k} \bigl( \{j\} \bigr):=1/m_{k}\quad (j\in Z_{m_{k}}) $$

is a Haar measure on \(G_{m}\) with \(\mu (G_{m} )=1\).

If \(\sup_{n\in \mathbb{N}}m_{n}<\infty \), then we call \(G_{m}\) a bounded Vilenkin group. If the generating sequence m is not bounded, then \(G_{m}\) is said to be an unbounded Vilenkin group. In this paper we discuss only bounded Vilenkin groups.

The elements of \(G_{m}\) are represented by the sequences

$$ x:=(x_{0},x_{1},\ldots,x_{j},\ldots)\quad ( x_{k}\in Z_{m_{k}} ). $$

It is easy to give a base for the neighborhood of \(G_{m}\), namely

$$\begin{aligned}& I_{0} ( x ) :=G_{m}, \\& I_{n}(x):=\{y\in G_{m}\mid y_{0}=x_{0},\ldots y_{n-1}=x_{n-1} \} \quad (x \in G_{m}, n\in \mathbb{N}). \end{aligned}$$

Denote \(I_{n}:=I_{n} ( 0 ) \) for \(n\in \mathbb{N}\) and \(\overline{I_{n}}:=G_{m} \backslash I_{n}\).

Let

$$ e_{n}:= ( 0,0,\ldots,x_{n}=1,0,\ldots ) \in G_{m}\quad ( n \in \mathbb{N} ). $$

It is evident that

$$ \overline{I_{M}}= \Biggl(\bigcup ^{M-2}_{k=0} \bigcup^{m_{k}-1}_{x_{k}=1} \bigcup^{M-1}_{l=k+1} \bigcup ^{m_{l}-1}_{x_{l}=1}I_{l+1} (x_{k}e_{k}+x_{l}e_{l} ) \Biggr)\cup \Biggl( \bigcup^{M-1}_{k=1} \bigcup^{m_{k}-1}_{x_{k}=1}I_{M} (x_{k}e_{k} ) \Biggr). $$
(2.1)

If we define the so-called generalized number system based on m in the following way:

$$ M_{0}:=1, \qquad M_{k+1}:=m_{k}M_{k} \quad (k\in \mathbb{N}), $$

then every \(n\in \mathbb{N}\) can be uniquely expressed as \(n=\sum^{\infty} _{k=0}n_{j}M_{j}\), where \(n_{j}\in Z_{m_{j}}\) (\(j\in \mathbb{N}\)) and only a finite number of the \(n_{j}\) differ from zero. Let \(\vert n \vert :=\max \{j\in \mathbb{N}; n_{j}\neq 0\}\).

The norm (or quasi-norm when \(p<1\)) of the space \(L_{p}(G_{m})\) is defined by

$$ \Vert f \Vert _{p}:= \biggl( \int _{G_{m}} \vert f \vert ^{p}\,d \mu \biggr) ^{1/p}\quad ( 0< p< \infty ) . $$

The space weak-\(L_{p} ( G_{m} ) \) consists of all measurable functions f for which

$$ \Vert f \Vert _{\text{weak-}L_{p}(G_{m})}:= \sup_{\lambda >0} \lambda ^{p} \mu (f>\lambda )< +\infty . $$

Next, we introduce on \(G_{m}\) an orthonormal system which is called the Vilenkin system.

Let us define complex valued function \(r_{k} ( x ) :G_{m}\rightarrow \mathbb{C}\), the generalized Rademacher functions, as

$$ r_{k} ( x ) :=\exp ( 2\pi ix_{k}/m_{k} ) \quad \bigl( i^{2}=-1, x\in G_{m}, k\in \mathbb{N} \bigr) . $$

Now, define the Vilenkin system \(\psi :=(\psi _{n}:n\in \mathbb{N})\) on \(G_{m}\) as

$$ \psi _{n}(x):=\prod^{\infty }_{k=0}r_{k}^{n_{k}} ( x ) \quad (n\in \mathbb{N} ). $$

The Vilenkin systems are orthonormal and complete in \(L_{2} ( G_{m} )\) (for details see e.g. [1]).

Specifically, we call this system Walsh–Paley if \(m_{k}= 2\), for all \(k\in \mathbb{N}\). In this case we have the dyadic group \(G_{2}=\prod_{j=0}^{\infty }Z_{2}\), which is called the Walsh group and the Vilenkin system coincides with the Walsh functions defined by (for details see e.g. [17] and [29])

$$ w_{n}(x):=\prod_{k=0}^{\infty }r_{k}^{n_{k}} ( x ) =r_{ \vert n \vert } ( x ) ( -1 ) ^{ \sum _{k=0}^{ \vert n \vert -1}n_{k}x_{k}} \quad ( n\in \mathbb{N} ), $$

where \(n_{k}=0\vee 1\) and \(x_{k}=0\vee 1\).

Now, we introduce analogues of the usual definitions in Fourier analysis.

If \(f\in L_{1} ( G_{m} ) \), then we can establish the Fourier coefficients, the partial sums of the Fourier series, the Fejér means, the Dirichlet and Fejér kernels with respect to the Vilenkin system ψ (Walsh system w) in the usual manner:

$$\begin{aligned}& \widehat{f}^{\alpha } ( k ) : = \int _{G_{m}}f \overline{\alpha }_{k}\,d\mu \quad ( \alpha _{k}=w_{k} \text{ or }\psi _{k}) \ (k \in \mathbb{N} ) , \\& S^{\alpha }_{n} f : =\sum_{k=0}^{n-1} \widehat{f} (k ) \alpha _{k} \quad (\alpha _{k}=w_{k} \text{ or }\psi _{k}) \ \bigl(n\in \mathbb{N}_{+}, S^{\alpha }_{0} f:=0 \bigr) , \\& \sigma ^{\alpha }_{n} f : =\frac{1}{n}\sum _{k=0}^{n-1}S^{\alpha }_{k} f \quad ( \alpha =w\text{ or }\psi ) \ (n\in \mathbb{N}_{+} ) , \\& D^{\alpha }_{n} : =\sum_{k=0}^{n-1} \alpha _{k} \quad (\alpha =w\text{ or }\psi ) \ (n\in \mathbb{N}_{+} ), \\& K^{\alpha }_{n} : =\frac{1}{n}\sum ^{n-1}_{k=0}D^{ \alpha }_{k} \quad ( \alpha =w\text{ or }\psi ) \ (n\in \mathbb{N}_{+} ) . \end{aligned}$$

It is well known that (see e.g. [1])

$$ \sup_{n\in \mathbb{N}} \int _{G_{m}} \bigl\vert K^{\alpha }_{n} \bigr\vert \,d\mu \leq c< \infty , \quad \text{where } \alpha =w \text{ or }\psi . $$
(2.2)

The σ-algebra generated by the intervals \(\{ I_{n} ( x ) :x\in G_{m} \} \) will be denoted by \(\digamma _{n}\) (\(n\in \mathbb{N} \)). Denote by \(f= ( f^{ ( n ) },n\in \mathbb{N} ) \) a martingale with respect to \(\digamma _{n} \) (\(n\in \mathbb{N} \)) (for details see e.g. [5, 23, 46]). The maximal function of a martingale f is defend by

$$ f^{\ast }=\sup_{n\in \mathbb{N}} \bigl\vert f^{ ( n ) } \bigr\vert . $$

In the case \(f\in L_{1}(G_{m})\), the maximal functions are also given by

$$ f^{\ast } ( x ) =\sup_{n\in \mathbb{N}} \frac{1}{ \vert I_{n} ( x ) \vert } \biggl\vert \int _{I_{n} ( x ) }f ( u ) \mu ( u ) \biggr\vert . $$

For \(0< p<\infty \) the Hardy martingale spaces \(H_{p} (G_{m} )\) consist of all martingales for which

$$ \Vert f \Vert _{H_{p}(G_{m})}:= \bigl\Vert f^{\ast } \bigr\Vert _{p}< \infty . $$

If \(f\in L_{1}(G_{m})\), then it is easy to show that \(S_{M_{n}}f\) is \(\digamma _{n}\) measurable and the sequence \(( S_{M_{n}}f :n\in \mathbb{N} ) \) is a martingale. If \(f= ( f^{ ( n ) },n\in \mathbb{N} ) \) is a martingale, then the Vilenkin–Fourier (Walsh–Fourier) coefficients must be defined in a slightly different manner, namely

$$ \widehat{f} ( i ):=\lim_{k\rightarrow \infty } \int _{G_{m}} f^{ ( k )} ( x ) \overline{\alpha }_{i} (x ) \,d\mu ( x ), \quad \text{where } \alpha =w \text{ or }\psi . $$

The Vilenkin–Fourier coefficients of \(f\in L_{1} ( G_{m} ) \) are the same as those of the martingale \(( S_{M_{n}}f:n\in \mathbb{N} )\) obtained from f.

In the literature, there is the notion of the Riesz logarithmic means of a Fourier series. The nth Riesz logarithmic means of the Fourier series of an integrable function f is defined by

$$ R^{\alpha }_{n}f:=\frac{1}{l_{n}}\sum _{k=1}^{n} \frac{S^{\alpha }_{k} f}{k},\quad \text{where } \alpha =w \text{ or }\psi , $$

with

$$ l_{n}:=\sum_{k=1}^{n} \frac{1}{k}. $$

The kernels of Riesz‘s logarithmic means are defined by

$$ L^{\alpha }_{n}:=\frac{1}{l_{n}}\sum _{k=1}^{n} \frac{D^{\alpha }_{k}}{k}, \quad \text{where } ( \alpha =w \text{ or }\psi ). $$

For the martingale f we consider the following maximal operators:

$$\begin{aligned}& \sigma ^{\alpha ,\ast }f:\sup_{n\in \mathbb{N}} \bigl\vert \sigma ^{ \alpha } _{n}f \bigr\vert \quad (\alpha =w\text{ or }\psi ), \\& R^{\ast }f:=\sup_{n\in \mathbb{N}} \bigl\vert R^{\alpha }_{n} f \bigr\vert \quad (\alpha =w\text{ or }\psi ), \\& \widetilde{R}^{\alpha ,\ast }f := \sup_{n\in \mathbb{N}} \frac{ \vert R^{\alpha }_{n}f \vert }{\log ( n+1 )} \quad (\alpha =w\text{ or }\psi ), \\& \widetilde{R}_{p}^{\alpha ,\ast }f:= \sup_{n\in \mathbb{N}} \frac{\log ( n+1 ) \vert R^{\alpha }_{n}f \vert }{ ( n+1 ) ^{1/p-2}} \quad (\alpha =w\text{ or }\psi ). \end{aligned}$$

A bounded measurable function a is a p-atom, if there exists an interval I, such that

$$ \int _{I}a\,d\mu =0, \qquad \Vert a \Vert _{\infty } \leq \mu ( I ) ^{-1/p},\qquad \operatorname{supp} ( a ) \subset I. $$

In order to prove our main results we need the following lemma of Weisz (for details see e.g. Weisz [49]).

Proposition 1

A martingale\(f= ( f^{ ( n ) },n\in \mathbb{N} ) \)is in\(H_{p}(G_{m})\) (\(0< p\leq 1 \)) if and only if there exist a sequence\(( a_{k},k\in \mathbb{N} ) \)of p-atoms and a sequence\(( \mu _{k},k\in \mathbb{N} ) \)of a real numbers such that for every\(n\in \mathbb{N}\)

$$ \sum_{k=0}^{\infty }\mu _{k}S_{M_{n}}a_{k}=f^{ ( n )} $$
(2.3)

and

$$ \sum_{k=0}^{\infty } \vert \mu _{k} \vert ^{p}< \infty . $$

Moreover, \(\Vert f \Vert _{H_{p}(G_{m})}\backsim \inf ( \sum_{k=0}^{\infty } \vert \mu _{k} \vert ^{p} ) ^{1/p}\), where the infimum is taken over all decompositions offof the form (2.3).

By using atomic characterization (see Proposition 1) it can be easily proved that the following statement holds (see e.g. Weisz [50]).

Proposition 2

Suppose that an operatorTis sub-linear and for some\(0< p_{0}\leq 1\)

$$ \int _{\bar{I}} \vert Ta \vert ^{p_{0}}\,d \mu \leq c_{p}< \infty $$

for every\(p_{0}\)-atoma, whereIdenotes the support of the atom. IfTis bounded from\(L_{p_{1}}\)to\(L_{p_{1}}\) (\(1< p_{1}\leq \infty \)), then

$$ \Vert Tf \Vert _{p_{0}}\leq c_{p_{0}} \Vert f \Vert _{H_{p_{0}}(G_{m})}. $$
(2.4)

Let us define classical Hardy spaces (see e.g. [44]). Let \({{H}_{p}} ( D )\), \(p>0 \) be the one-dimensional complex quasi-Banach space of analytic functions f on the unit disc \(D:= ( z: \vert z \vert <1 )\) for which

$$ {{ \Vert f \Vert }_{{{H}_{p}} ( D )}}= \sup_{r< 1} \frac{1}{2\pi }{{ \biggl( \int _{ [ -\pi ,\pi ]}{{{ \bigl\vert f \bigl( r{{e}^{it}} \bigr) \bigr\vert }^{p}}\,dt} \biggr)}^{1/p}}. $$

Now, we define real Hardy spaces. A real-valued distributions \(f ( t )\in {{D}^{\prime}} ( T )\) belongs to \({{H}_{p}} ( T )\) where \(T= ( -\pi ,\pi ]\) if and only if there exists a function \(F ( z )\in {{H}_{p}} ( D )\) with the properties \(\operatorname{Im} ( F ( 0 ) )=0\) and \(f ( t )={{\lim }_{r\to 1}}\operatorname{Re}F ( r{{e}^{it}} )\) in the sense of distributions. Equipped with quasi-norm \({{ \Vert f ( z ) \Vert }_{{{H}_{p}} ( T )}}={{ \Vert F ( z ) \Vert }_{{{H}_{p}} ( D )}}\) the class obviously becomes a real quasi-Banach space with quite the same properties as \({{H}_{p}} ( D )\). Atomic decomposition of classical Hardy spaces and real Hardy spaces can be found e.g. in Fefferman and Stein [6] (see also Later [19], Torchinsky [44], Wilson [51]).

Main results

Our first main result reads as follows.

Theorem 1

Let\(0< p<1/2\)and\(f\in H_{p}(G_{m})\). Then there exists an absolute constant\(c_{p}\), depending only onp, such that the inequality

$$ \sum^{\infty }_{n=1} \frac{\log ^{p} n \Vert R^{\psi }_{n}f \Vert _{H_{p}(G_{m})}^{p}}{n^{2-2p}} \leq c_{p} \Vert f \Vert _{H_{p}(G_{m})}^{p} $$
(3.1)

holds, where\(R^{\psi }_{n}f\)denotes thenth Riesz logarithmic mean with respect to the Vilenkin–Fourier series off.

For the proof of Theorem 1 we will use the following lemmas.

Lemma 1

(see [38])

Let\(x\in I_{N} (x_{k}e_{k}+x_{l}e_{l} )\), \(1\leq x_{k} \leq m_{k}-1\), \(1\leq x_{l}\leq m_{l}-1\), \(k=0,\ldots,N-2\), \(l=k+1,\ldots,N-1\). Then

$$ \int _{I_{N}} \bigl\vert K^{\psi }_{n} ( x-t ) \bigr\vert \,d\mu ( t ) \leq \frac{cM_{l}M_{k}}{nM_{N}},\quad \textit{when }n \geq M_{N}. $$

Let\(x\in I_{N} ( x_{k}e_{k} ) \), \(1\leq x_{k}\leq m_{k}-1\), \(k=0,\ldots,N-1\). Then

$$ \int _{I_{N}} \bigl\vert K^{\psi }_{n} ( x-t ) \bigr\vert \,d\mu ( t ) \leq \frac{cM_{k}}{M_{N}},\quad \textit{when }n\geq M_{N}. $$

Lemma 2

(see [39])

Let\(x\in I_{N} ( x_{k}e_{k}+x_{l}e_{l} ) \), \(1\leq x_{k}\leq m_{k}-1\), \(1\leq x_{l}\leq m_{l}-1\), \(k=0,\ldots,N-2\), \(l=k+1,\ldots,N-1\). Then

$$ \int _{I_{N}} \sum_{j=M_{N}+1}^{n} \frac{ \vert K^{\psi }_{j} ( x-t ) \vert }{j+1}\,d\mu ( t ) \leq \frac{ cM_{k}M_{l}}{M_{N}^{2}}. $$

Let\(x\in I_{N} ( x_{k}e_{k} ) \), \(1\leq x_{k}\leq m_{k}-1\), \(k=0,\ldots,N-1\). Then

$$ \int _{I_{N}}\sum_{j=M_{N}+1}^{n} \frac{ \vert K^{\psi }_{j} (x-t ) \vert }{j+1}\,d\mu ( t ) \leq \frac{cM_{k}}{M_{N}}l_{n}. $$

Proof

By using an Abel transformation, the kernels of the Riesz logarithmic means can be rewritten as (see also [39])

$$ L^{\psi }_{n}=\frac{1}{l_{n}}\sum ^{n-1}_{j=1} \frac{K^{\psi }_{j}}{j+1}+\frac{K^{\psi }_{n}}{l_{n}}. $$
(3.2)

Hence, according to (2.2) we get

$$ \sup_{n\in \mathbb{N}} \int _{G_{m}} \bigl\vert L^{\alpha }_{n} \bigr\vert \,d\mu \leq c< \infty , \quad \text{where } \alpha =w \text{ or }\psi $$

and it follows that \(R^{\psi }_{n}\) is bounded from \(L_{\infty }\) to \(L_{\infty }\). By Proposition 2, the proof of Theorem 1 will be complete, if we show that

$$ \sum^{\infty }_{n=1} \frac{\log ^{p}n \int _{\bar{I}} \vert R^{\psi }_{n}a \vert ^{p}\,d\mu }{n^{2-2p}} \leq c_{p}< \infty ,\quad \text{for } 0< p< 1/2, $$
(3.3)

for every p-atom a, where I denotes the support of the atom.

Let a be an arbitrary p-atom with support I and \(\mu ( I ) =M_{N}^{-1}\). We may assume that \(I=I_{N}\). It is easy to see that \(R^{\psi }_{n} a=\sigma ^{\psi }_{n} (a )=0\), when \(n\leq M_{N}\). Therefore we suppose that \(n>M_{N}\).

Since \(\Vert a \Vert _{\infty }\leq cM_{N}^{2}\) if we apply (3.2), then we can conclude that

$$\begin{aligned}& \bigl\vert R^{\psi }_{n}a (x ) \bigr\vert \\& \quad = \int _{I_{N}} \bigl\vert a (t ) \bigr\vert \bigl\vert L^{\psi }_{n} (x-t ) \bigr\vert \,d\mu (t) \\& \quad \leq \Vert a \Vert _{\infty } \int _{I_{N}} \bigl\vert L^{\psi }_{n} ( x-t ) \bigr\vert \,d\mu (t ) \\& \quad \leq \frac{cM_{N}^{1/p}}{l_{n}} \int _{I_{N}} \sum_{j=M_{N}+1}^{n-1} \frac{ \vert K^{\psi }_{j} ( x-t ) \vert }{j+1}\,d \mu ( t ) \\& \qquad {} + \frac{cM_{N}^{1/p}}{l_{n}} \int _{I_{N}} \bigl\vert K^{\psi }_{n} (x-t ) \bigr\vert \,d\mu (t ). \end{aligned}$$
(3.4)

Let \(x\in I_{N} ( x_{k}e_{k}+x_{l}e_{l} ) \), \(1\leq x_{k}\leq m_{k}-1\), \(1\leq x_{l}\leq m_{l}-1\), \(k=0,\ldots,N-2\), \(l=k+1,\ldots,N-1\). From Lemmas 1 and 2 it follows that

$$ \bigl\vert R^{\psi }_{n}a ( x ) \bigr\vert \leq \frac{cM_{l}M_{k}M_{N}^{1/p-2}}{\log (n+1)}. $$
(3.5)

Let \(x\in I_{N} ( x_{k}e_{k} ) \), \(1\leq x_{k}\leq m_{k}-1\), \(k=0,\ldots,N-1\). Applying Lemmas 1 and 2 we can conclude that

$$ \bigl\vert R^{\psi }_{n}a (x ) \bigr\vert \leq {M_{N}^{1/p-1}M_{k}}. $$
(3.6)

By combining (2.1) and (3.4)–(3.6) we obtain

$$\begin{aligned}& \int _{\overline{I_{N}}} \bigl\vert R^{\psi }_{n}a ( x ) \bigr\vert ^{p}\,d\mu ( x ) \\& \quad =\sum^{N-2}_{k=0} \sum ^{N-1}_{l=k+1}\sum_{x_{j}=0,j\in \{l+1,\ldots,N-1}^{m_{j-1}} \int _{I_{N}^{k,l}} \bigl\vert R^{\psi }_{n}a \bigr\vert ^{p}\,d\mu + \sum^{N-1}_{k=0} \int _{I_{N}^{k,N}} \bigl\vert R^{\psi }_{n}a \bigr\vert ^{p}\,d\mu \\& \quad \leq c\sum^{N-2}_{k=0} \sum ^{N-1}_{l=k+1} \frac{m_{l+1}\dots m_{N-1}}{M_{N}} \frac{ ( M_{l}M_{k} )^{p}M_{N}^{1-2p}}{{\log }^{p}(n+1)}+ \sum^{N-1}_{k=0} \frac{1}{M_{N}}M_{k}^{p}M_{N}^{1-p} \\& \quad \leq \frac{cM_{N}^{1-2p}}{{\log ^{p}(n+1)}} \sum^{N-2}_{k=0} \sum^{N-1}_{l=k+1} \frac{ (M_{l}M_{k} )^{p}}{M_{l}}+ \sum ^{N-1}_{k=0}\frac{M_{k}^{p}}{M_{N}^{p}} \\& \quad \leq \frac{cM_{N}^{1-2p}}{\log ^{p}(n+1)}+c_{p}. \end{aligned}$$
(3.7)

It is easy to see that

$$ \sum^{\infty }_{n=M_{N}+1} \frac{1}{n^{2-2p}}\leq \frac{c}{M_{N}^{1-2p}},\quad \text{for }0< p< 1/2. $$
(3.8)

By combining (3.7) and (3.8) we get

$$\begin{aligned}& \sum^{\infty }_{n=M_{N}+1} \frac{\log ^{p} n\int _{\overline{I_{N}}} \vert R_{n}a \vert ^{p}\,d\mu }{n^{2-2p}} \\& \quad \leq \sum^{\infty }_{n=M_{N}+1} \biggl( \frac{c_{p}M_{N}^{1-2p}}{n^{2-p}}+\frac{c_{p}}{n^{2-p}} \biggr)+c_{p} \\& \quad \leq c_{p}M_{N}^{1-2p} \sum ^{\infty }_{n=M_{N}+1}\frac{1}{n^{2-2p}}+ \sum ^{\infty }_{n=M_{N}+1}\frac{1}{n^{2-p}}+c_{p} \leq C_{p}< \infty . \end{aligned}$$

It means that (3.3) holds true and the proof is complete. □

Our next main result shows in particular that the inequality in Theorem 1 is in a special sense sharp at least in the case of Walsh–Fourier series (cf. also Problem 2 in the next section).

Theorem 2

Let\(0< p<1/2\)and\(\varPhi :\mathbb{N}\rightarrow {}[ 1,\infty )\)be any nondecreasing function, satisfying the condition

$$ \lim_{n\rightarrow \infty }\varPhi ( n ) =+ \infty . $$
(3.9)

Then there exists a martingale\(f\in H_{p} (G_{2} ) \)such that

$$ \sum_{n=1}^{\infty } \frac{\log ^{p} n \Vert R^{w}_{n}f \Vert _{p}^{p}\varPhi (n )}{n^{2-2p}} =\infty , $$
(3.10)

where\(R^{w}_{n}f\)denotes thenth Riesz logarithmic means with respect to Walsh–Fourier series of f.

Proof

It is evident that if we assume that \(\varPhi ( n )\geq cn\), where c is some positive constant then

$$ \frac{\log ^{p} n\varPhi (n )}{n^{2-2p}}\geq n^{1-2p}\log ^{p} n \rightarrow \infty , \quad \text{as } n\rightarrow \infty , $$

and also (3.10) holds. So, without loss of generality we may assume that there exists an increasing sequence of positive integers \(\{ \alpha ^{\prime } _{k}:k\in \mathbb{N} \} \) such that

$$ \varPhi \bigl( \alpha ^{\prime } _{k} \bigr)=o\bigl( \alpha ^{\prime } _{k}\bigr), \quad \text{as } k\rightarrow \infty . $$
(3.11)

Let \(\{ \alpha _{k}:k\in \mathbb{N} \} \subseteq \{ \alpha ^{\prime } _{k}:k\in \mathbb{N} \} \) be an increasing sequence of positive integers such that \(\alpha _{0}\geq 2\) and

$$\begin{aligned}& \sum_{k=0}^{\infty }\frac{1}{\varPhi ^{1/2}(2^{2\alpha _{k}})}< \infty , \end{aligned}$$
(3.12)
$$\begin{aligned}& \sum_{\eta =0}^{k-1} \frac{2^{2\alpha _{\eta }/p}}{\varPhi ^{1/2p}(2^{2\alpha _{\eta }})}\leq \frac{2^{2\alpha _{k-1}/p+1}}{\varPhi ^{1/2p}(2^{2\alpha _{k-1}})}, \end{aligned}$$
(3.13)
$$\begin{aligned}& \frac{2^{2\alpha _{k-1}/p+1}}{\varPhi ^{1/2p}(2^{2\alpha _{k-1}})}\leq \frac{1}{128\alpha _{k}} \frac{2^{2\alpha _{k}(1/p-2)}}{\varPhi ^{1/2p}(2^{2\alpha _{k}})}. \end{aligned}$$
(3.14)

We note that under condition (3.11) we can conclude that

$$ \frac{2^{2\alpha _{\eta }/p}}{\varPhi ^{1/2p}(2^{2\alpha _{\eta }})} \geq { \biggl(\frac{2^{2\alpha _{\eta }}}{\varPhi (2^{2\alpha _{\eta }})} \biggr)}^{1/2p} \rightarrow \infty , \quad \text{as } \eta \rightarrow \infty $$

and it immediately follows that such an increasing sequence \(\{ \alpha _{k}:k\in \mathbb{N} \} \), which satisfies conditions (3.12)–(3.14), can be constructed.

Let

$$ f^{ ( A ) } ( x ) :=\sum_{ \{ k; 2 \alpha _{k}< A \} }\lambda _{k}a_{k}, $$

where

$$ \lambda _{k}=\frac{1}{\varPhi ^{1/2p}(2^{2\alpha _{k}})} $$

and

$$ a_{k}={2^{2\alpha _{k}(1/p-1)}} ( D_{2^{2\alpha _{k}+1}}-D_{2^{2 \alpha _{k}}} ) . $$

From (3.12) and Lemma 1 we can conclude that \(f= ( f^{ (n ) },n\in \mathbb{N} ) \in H_{p}(G_{2})\).

It is easy to show that

$$ \widehat{f}^{w}(j)= \textstyle\begin{cases} \frac{2^{2\alpha _{k}(1/p-1)}}{\varPhi ^{1/2p}(2^{2\alpha _{k}})},& \text{if }j\in \{ 2^{2\alpha _{k}},\ldots, 2^{2\alpha _{k}+1}-1 \} , k\in \mathbb{N}, \\ 0,& \text{if }j\notin \bigcup_{k=1}^{\infty } \{ 2^{2 \alpha _{k}},\ldots,2^{2\alpha _{k}+1}-1 \} . \end{cases} $$
(3.15)

For \(n=\sum_{i=1}^{s} 2^{n_{i}}\), \(n_{1}< n_{2}<\cdots<n_{s}\) we denote

$$ \mathbb{A}_{0,2}:= \Biggl\{ n\in \mathbb{N}: n=2^{0}+2^{2}+ \sum_{i=3}^{s_{n}}2^{n_{i}} \Biggr\} . $$

Let \(2^{2\alpha _{k}}\leq j\leq 2^{2\alpha _{k}+1}-1\) and \(j\in \mathbb{A}_{0,2}\). Then

$$\begin{aligned} R^{w}_{j}f =&\frac{1}{l_{j}}\sum _{n=1}^{2^{2\alpha _{k}}-1} \frac{S_{n}f}{n} + \frac{1}{l_{j}}\sum_{n=2^{2\alpha _{k}}}^{j} \frac{S_{n}f}{n}:=I+\mathit{II}. \end{aligned}$$
(3.16)

Let \(n<2^{2\alpha _{k}}\). Then from (3.13), (3.14) and (3.15) we have

$$\begin{aligned} \bigl\vert S^{w}_{n}f ( x ) \bigr\vert \leq &\sum _{ \eta =0}^{k-1}\sum _{v=2^{2\alpha _{\eta }}}^{2^{2\alpha _{\eta }+1}-1} \bigl\vert \widehat{f}^{w}(v) \bigr\vert \leq \sum_{\eta =0}^{k-1} \sum _{v=2^{2\alpha _{\eta }}}^{2^{2\alpha _{\eta }+1}-1} \frac{2^{2\alpha _{\eta }(1/p-1)}}{\varPhi ^{1/2p}(2^{2\alpha _{\eta }})} \\ \leq &\sum_{\eta =0}^{k-1} \frac{2^{2\alpha _{\eta }/p}}{\varPhi ^{1/2p}(2^{2\alpha _{\eta }})} \leq \frac{2^{2\alpha _{k-1}/p+1}}{\varPhi ^{1/2p}(2^{2\alpha _{k-1}})}\leq \frac{1}{128\alpha _{k}} \frac{2^{2\alpha _{k}(1/p-2)}}{\varPhi ^{1/2p}(2^{2\alpha _{k}})}. \end{aligned}$$

Consequently,

$$\begin{aligned} \vert I \vert \leq &\frac{1}{l_{j}} \sum _{n=1}^{2^{2\alpha _{k}}-1} \frac{ \vert S^{w}_{n} f ( x ) \vert }{n} \\ \leq &\frac{1}{l_{2^{2\alpha _{k}}}}\frac{1}{128\alpha _{k}} \frac{2^{2\alpha _{k}(1/p-2)}}{\varPhi ^{1/2p}(2^{2\alpha _{k}})} \sum _{n=1}^{2^{2 \alpha _{k}}-1} \frac{1}{n}\leq \frac{1}{128\alpha _{k}} \frac{2^{2\alpha _{k}(1/p-2)}}{\varPhi ^{1/2p}(2^{2\alpha _{k}})}. \end{aligned}$$
(3.17)

Let \(2^{2\alpha _{k}}\leq n\leq 2^{2\alpha _{k}+1}-1\). Then we have the following:

$$\begin{aligned} S^{w}_{n}f =&\sum_{\eta =0}^{k-1} \sum_{v=2^{2\alpha _{\eta }}}^{2^{2 \alpha _{\eta }+1}-1}\widehat{f}^{w}(v)w_{v}+ \sum_{v=2^{2\alpha _{k}}}^{n-1} \widehat{f}^{w}(v)w_{v} \\ =&\sum_{\eta =0}^{k-1} \frac{2^{{2\alpha _{\eta }} (1/p-1 )}}{\varPhi ^{1/2p}(2^{2\alpha _{\eta }})} \bigl( D^{w}_{2^{2\alpha _{\eta }+1}} -D^{w}_{2^{2\alpha _{\eta }}} \bigr)+ \frac{2^{{2\alpha _{k}} ( 1/p-1 )}}{\varPhi ^{1/2p}(2^{2\alpha _{k}})} \bigl(D^{w}_{n}-D^{w}_{2^{2\alpha _{k}}} \bigr) . \end{aligned}$$

This gives

$$\begin{aligned} \mathit{II}&=\frac{1}{l_{j}} \sum_{n=2^{2\alpha _{k}}}^{2^{2\alpha _{k}+1}} \frac{1}{n} \Biggl(\sum_{\eta =0}^{k-1} \frac{2^{2\alpha _{\eta } (1/p-1 )}}{\varPhi ^{1/2p}(2^{2\alpha _{\eta }})} \bigl( D^{w}_{2^{2\alpha _{\eta }+1}}-D^{w}_{2^{2\alpha _{\eta }}} \bigr) \Biggr) \\ &\quad {}+\frac{1}{l_{j}} \frac{2^{2\alpha _{k} (1/p-1 )}}{\varPhi ^{1/2p}(2^{2\alpha _{k}})} \sum_{n=2^{2\alpha _{k}}}^{j} \frac{ ( D^{w}_{n}-D^{w}_{2^{2\alpha _{k}}} ) }{n} \\ &:=\mathit{II}_{1}+\mathit{II}_{2}. \end{aligned}$$
(3.18)

Let \(x\in I_{2}(e_{0}+e_{1})\in I_{0}\backslash I_{1}\). We use well-known equalities for Dirichlet kernels (for details see e.g. [17] and [29]): recall that

$$ D^{w}_{2^{n}} ( x )= \textstyle\begin{cases} 2^{n}, & \text{if }x\in I_{n} , \\ 0, & \text{if } x\notin I_{n}, \end{cases} $$
(3.19)

and

$$ D^{w}_{n}=w_{n}\sum ^{\infty} _{k=0}n_{k}r_{k}D^{w}_{2^{k}}=w_{n} \sum^{\infty} _{k=0}n_{k} \bigl( D^{w}_{2^{k+1}}-D^{w}_{2^{k}} \bigr),\quad \text{for }n=\sum^{\infty }_{i=0}n_{i}2^{i}, $$
(3.20)

so we can conclude that

$$ D^{w}_{n} ( x ) = \textstyle\begin{cases} w_{n}, & \text{if }n \text{ is odd number,} \\ 0, & \text{if } n \text{ is even number.} \end{cases} $$

Since \(\alpha _{0}\geq 2\), \(k\in \mathbb{N}\) we obtain \(2\alpha _{k}\geq 4\), for all \(k\in \mathbb{N}\) and if we apply (3.19) we get

$$ \mathit{II}_{1}=0 $$
(3.21)

and

$$\begin{aligned}& \mathit{II}_{2}=\frac{1}{l_{j}} \frac{2^{2\alpha _{k}(1/p-1)}}{\varPhi ^{1/2p}(2^{2\alpha _{k}})}\sum _{n=2^{2 \alpha _{k}-1}}^{(j-1)/2}\frac{w_{2n+1}}{2n+1}=\frac{1}{l_{j}} \frac{2^{2\alpha _{k}(1/p-1)}r_{1}}{\varPhi ^{1/2p}(2^{2\alpha _{k}})} \sum_{n=2^{2\alpha _{k}-1}}^{(j-1)/2} \frac{w_{2n}}{2n+1}. \end{aligned}$$

Let \(x\in I_{2}(e_{0}+e_{1})\). Then, by the definition of Walsh functions, we get

$$ w_{4n+2}=r_{1}w_{4n}=-w_{4n} $$

and

$$\begin{aligned} \vert \mathit{II}_{2} \vert =&\frac{1}{l_{j}} \frac{2^{2\alpha _{k}(1/p-1)}}{\varPhi ^{1/2p}(2^{2\alpha _{k}})} \Biggl\vert \sum_{n=2^{2\alpha _{k}-1}}^{(j-1)/2} \frac{w_{2n}}{2n+1} \Biggr\vert \\ =&\frac{1}{l_{j}} \frac{2^{2\alpha _{k}(1/p-1)}}{\varPhi ^{1/2p}(2^{2\alpha _{k}})} \Biggl\vert \frac{w_{j-1}}{j}+\sum_{n=2^{2\alpha _{k}-2}+1}^{(j-1)/4} \biggl( \frac{w_{4n-4}}{4n-3}+\frac{w_{4n-2}}{4n-1} \biggr) \Biggr\vert \\ =&\frac{1}{l_{j}} \frac{2^{2\alpha _{k}(1/p-1)}}{\varPhi ^{1/2p}(2^{2\alpha _{k}})} \Biggl\vert \frac{w_{j-1}}{j}+\sum_{n=2^{2\alpha _{k}-2}+1}^{(j-1)/4} \biggl( \frac{w_{4n-4}}{4n-3}-\frac{w_{4n-2}}{4n-1} \biggr) \Biggr\vert \\ \geq &\frac{c}{\log ({2^{2\alpha _{k}+1}})} \frac{2^{2\alpha _{k}(1/p-1)}}{\varPhi ^{1/2p}(2^{2\alpha _{k}})} \Biggl( \biggl\vert \frac{w_{j-1}}{j} \biggr\vert -\sum_{n=2^{2\alpha _{k}-2}+1}^{(j-1)/4} \vert {w_{4n-4}} \vert \biggl( \frac{1}{4n-3}- \frac{1}{4n-1} \biggr) \Biggr) \\ \geq& \frac{1}{4\alpha _{k}} \frac{2^{2\alpha _{k}(1/p-1)}}{\varPhi ^{1/2p}(2^{2\alpha _{k}})} \Biggl( \frac{1}{j}-\sum _{n=2^{2\alpha _{k}-2}+1}^{(j-1)/4} \biggl( \frac{1}{4n-3}- \frac{1}{4n-1} \biggr) \Biggr). \end{aligned}$$
(3.22)

By a simple calculation we can conclude that

$$\begin{aligned}& \sum_{n=2^{2\alpha _{k}-2}+1}^{(j-1)/4} \biggl(\frac{1}{4n-3}- \frac{1}{4n-1} \biggr) \\& \quad = \sum_{n=2^{2\alpha _{k}-2}+1}^{(j-1)/4} \frac{2}{(4n-3)(4n-1)} \\& \quad \leq \sum_{n=2^{2\alpha _{k}-2}+1}^{(j-1)/4} \frac{2}{(4n-4)(4n-2)}=\frac{1}{2}\sum_{n=2^{2\alpha _{k}-2}+1}^{(j-1)/4} \frac{1}{(2n-2)(2n-1)} \\& \quad \leq \frac{1}{2}\sum_{n=2^{2\alpha _{k}-2}+1}^{(j-1)/4} \frac{1}{(2n-2)(2n-2)}=\frac{1}{8}\sum_{n=2^{2\alpha _{k}-2}+1}^{(j-1)/4} \frac{1}{(n-1)(n-1)} \\& \quad \leq \frac{1}{8}\sum_{n=2^{2\alpha _{k}-2}+1}^{(j-1)/4} \frac{1}{(n-1)(n-2)}=\frac{1}{8}\sum_{l=2^{2\alpha _{k}-2}+1}^{(j-1)/4} \biggl(\frac{1}{n-2}-\frac{1}{n-1} \biggr) \\& \quad \leq \frac{1}{8} \biggl(\frac{1}{2^{2\alpha _{k}-2}-1}-\frac{4}{j-5} \biggr) \leq \frac{1}{8} \biggl(\frac{1}{2^{2\alpha _{k}-2}-1}- \frac{4}{j} \biggr). \end{aligned}$$

Since \(2^{2\alpha _{k}}\leq j\leq 2^{2\alpha _{k}+1}-1\), where \(\alpha _{k}\geq 2\), we obtain

$$ \frac{2}{2^{2\alpha _{k}}-4}\leq \frac{2}{2^{4}-4}=\frac{1}{6} $$

and

$$\begin{aligned} \vert \mathit{II}_{2} \vert \geq & \frac{1}{4\alpha _{k}} \frac{2^{2\alpha _{k}(1/p-1)}}{\varPhi ^{1/2p}(2^{2\alpha _{k}})} \biggl( \frac{1}{j}- \frac{1}{8} \biggl(\frac{1}{2^{2\alpha _{k}-2}-1}- \frac{4}{j} \biggr) \biggr) \\ \geq &\frac{1}{4\alpha _{k}} \frac{2^{2\alpha _{k}(1/p-1)}}{\varPhi ^{1/2p}(2^{2\alpha _{k}})} \biggl( \frac{3}{2j}- \frac{1}{2^{2\alpha _{k}+1}-8} \biggr) \\ \geq &\frac{1}{4\alpha _{k}} \frac{2^{2\alpha _{k}(1/p-1)}}{\varPhi ^{1/2p}(2^{2\alpha _{k}})} \biggl( \frac{3}{4} \frac{1}{2^{2\alpha _{k}}}-\frac{1}{2} \frac{1}{2^{2\alpha _{k}}-4} \biggr) \\ \geq &\frac{1}{4\alpha _{k}} \frac{2^{2\alpha _{k}(1/p-1)}}{\varPhi ^{1/2p}(2^{2\alpha _{k}})} \biggl( \frac{1}{4} \frac{1}{2^{2\alpha _{k}}}+\frac{1}{2} \frac{1}{2^{2\alpha _{k}}}-\frac{1}{2} \frac{1}{2^{2\alpha _{k}}-4} \biggr) \\ =&\frac{1}{4\alpha _{k}} \frac{2^{2\alpha _{k}(1/p-1)}}{\varPhi ^{1/2p}(2^{2\alpha _{k}})} \biggl( \frac{1}{4} \frac{1}{2^{2\alpha _{k}}}- \frac{2}{2^{2\alpha _{k}}(2^{2\alpha _{k}}-4)} \biggr) \\ \geq &\frac{1}{4\alpha _{k}} \frac{2^{2\alpha _{k}(1/p-1)}}{\varPhi ^{1/2p}(2^{2\alpha _{k}})} \biggl( \frac{1}{4} \frac{1}{2^{2\alpha _{k}}}-\frac{1}{6} \frac{1}{2^{2\alpha _{k}}} \biggr) \\ \geq &\frac{1}{48\alpha _{k}} \frac{2^{2\alpha _{k}(1/p-2)}}{\varPhi ^{1/2p}(2^{2\alpha _{k}})} \geq \frac{1}{64\alpha _{k}} \frac{2^{2\alpha _{k}(1/p-2)}}{\varPhi ^{1/2p}(2^{2\alpha _{k}})}. \end{aligned}$$
(3.23)

By combining (3.14), (3.16)–(3.23) for \(\in I_{2}(e_{0}+e_{1})\) and \(0< p<1/2\) we find that

$$\begin{aligned} \bigl\vert R^{w}_{j} f ( x ) \bigr\vert \geq& \vert \mathit{II}_{2} \vert - \vert \mathit{II}_{1} \vert - \vert I \vert \\ \geq &\frac{1}{64\alpha _{k}} \frac{2^{2\alpha _{k}(1/p-2)}}{\varPhi ^{1/2p}(2^{2\alpha _{k}})}- \frac{1}{128\alpha _{k}} \frac{2^{2\alpha _{k}(1/p-2)}}{\varPhi ^{1/2p}(2^{2\alpha _{k}})} = \frac{1}{128\alpha _{k}} \frac{2^{2\alpha _{k}(1/p-2)}}{\varPhi ^{1/2p}(2^{2\alpha _{k}})}. \end{aligned}$$

Hence,

$$\begin{aligned}& \bigl\Vert R^{w}_{j}f \bigr\Vert _{\text{weak-}L_{p}(G_{2})}^{p} \\& \quad \geq \frac{1}{128\alpha _{k}^{p}} \frac{2^{2\alpha _{k}(1-2p)}}{\varPhi ^{1/2}(2^{2\alpha _{k}})}\mu \biggl\{ x\in G_{2}: \bigl\vert R^{w}_{j}f \bigr\vert \geq \frac{1}{128\alpha _{k}} \frac{2^{2\alpha _{k}(1/p-2)}}{\varPhi ^{1/2p}(2^{2\alpha _{k}})} \biggr\} ^{1/p} \\& \quad \geq \frac{1}{128\alpha _{k}^{p}} \frac{2^{2\alpha _{k}(1-2p)}}{\varPhi ^{1/2}(2^{2\alpha _{k}})}\mu \biggl\{ x\in I_{2}(e_{0}+e_{1}): \bigl\vert R^{w}_{j}f \bigr\vert \geq \frac{1}{128\alpha _{k}} \frac{2^{2\alpha _{k}(1/p-2)}}{\varPhi ^{1/2p}(2^{2\alpha _{k}})} \biggr\} \\& \quad \geq \frac{1}{128\alpha _{k}^{p}} \frac{2^{2\alpha _{k}(1-2p)}}{\varPhi ^{1/2}(2^{2\alpha _{k}})}\bigl(\mu \bigl( x\in I_{2}(e_{0}+e_{1}) \bigr)\bigr)> \frac{1}{516\alpha _{k}^{p}} \frac{2^{2\alpha _{k}(1-2p)}}{\varPhi ^{1/2}(2^{2\alpha _{k}})}. \end{aligned}$$
(3.24)

Moreover,

$$\begin{aligned}& \sum_{j=1}^{\infty } \frac{ \Vert R^{w} _{j}f \Vert _{\text{weak-}L_{p}(G_{2})}^{p}\log ^{p}{(j)}\varPhi (j)}{j^{2-2p} } \\& \quad \geq \sum_{ \{ j\in \mathbb{A}_{0,2}:2^{2\alpha _{k}}< j\leq 2^{2\alpha _{k}+1}-1 \} } \frac{ \Vert R^{w} _{j}f \Vert _{\text{weak-}L_{p}}^{p}\log ^{p}{(j)}\varPhi (j)}{j^{2-2p} } \\& \quad \geq \frac{c}{\alpha _{k}^{p}} \frac{2^{2\alpha _{k}(1-2p)}}{\varPhi ^{p/2}(2^{2\alpha _{k})}} \sum _{ \{ j\in \mathbb{A}_{0,2}: 2^{2\alpha _{k}}< j\leq 2^{2\alpha _{k}+1}-1 \} } \frac{\log ^{p}{(j)}\varPhi (j)}{j^{2-2p}} \\& \quad \geq \frac{c\varPhi (2^{2\alpha _{k}})\log ^{p}{(2^{2\alpha _{k}})}}{\alpha _{k}^{p}} \frac{2^{2\alpha _{k}(1-2p)}}{\varPhi ^{1/2}(2^{2\alpha _{k}})} \sum _{ \{ j\in \mathbb{A}_{0,2}: 2^{2\alpha _{k}}< j\leq 2^{2\alpha _{k}+1}-1 \} } \frac{1}{j^{2-2p}} \\& \quad \geq \varPhi ^{1/2}\bigl(2^{2\alpha _{k}}\bigr)\rightarrow \infty , \quad \text{as }k\rightarrow \infty . \end{aligned}$$

The proof is complete. □

Final remarks and open problems

In this section we present some final remarks and open problems, which might be interesting for further research. The first problem reads as follows.

Problem 1

For any \(f\in {H_{1/2}}\), is it possible to find strong convergence theorems for Riesz means \(R^{w}_{m}\), where \(\alpha =w\) or \(\alpha =\psi \)?

Remark 1

Similar problems for Fejér means with respect to Walsh and Vilenkin systems can be found in [2, 4, 40] (see also [45] and [48]). Our method and estimations of Riesz and Fejér kernels (see Lemmas 1 and 2) do not give an opportunity to prove even similar strong convergence result as for the case of Fejer means. In particular, for any \(f\in H_{1/2}\) is it possible to prove the following inequality:

$$ \frac{1}{\log n}\sum_{k=1}^{n} \frac{ \Vert R^{\alpha }_{k} f \Vert _{1/2}^{1/2}}{k}\leq c \Vert f \Vert _{H_{1/2}}^{1/2}, \quad \text{where } \alpha =w \text{ or }\alpha =\psi ? $$

It is interesting to generalize Theorem 2 for Vilenkin systems.

Problem 2

For \(0< p<1/2\) and any nondecreasing function \(\varPhi :\mathbb{N}\rightarrow {}[ 1,\infty )\) satisfying the conditions \(\lim_{n\rightarrow \infty }\varPhi ( n ) =+ \infty \), is it possible to find a martingale \(f\in H_{p} (G_{m} ) \) such that

$$ \sum_{n=1}^{\infty } \frac{\log ^{p} n \Vert R^{\psi }_{n}f \Vert _{p}^{p}\varPhi (n )}{n^{2-2p}} = \infty , $$

where \(R^{\psi }_{n}f\) denotes the nth Riesz logarithmic means with respect to the Vilenkin–Fourier series of f?

Problem 3

Is it possible to find a martingale \(f\in {H_{1/2}}\), such that

$$ \sup_{n\in \mathbb{N}} \bigl\Vert R^{\alpha }_{n} f \bigr\Vert _{1/2}= \infty , $$

where \(\alpha =w\) or \(\alpha =\psi \)?

Remark 2

For \(0< p<1/2\), divergence in the space \(L_{p}\) of Riesz logarithmic means with respect to Walsh and Vilenkin systems of martingale \(f\in H_{p}\) was already proved in [27].

Problem 4

For any \(f\in {H_{p}}\) (\(0< p\le 1/2 \)), is it possible to find necessary and sufficient conditions for the indices \(k_{j}\) for which

$$ { \bigl\Vert R^{\alpha }_{k_{j}} f-f \bigr\Vert }_{{H_{p}}}\to 0, \quad \text{as } j \to \infty , $$

where \(\alpha =w\) or \(\alpha =\psi \)?

Remark 3

Similar problem for partial sums and Fejer means with respect to Walsh and Vilenkin systems can be found in Tephnadze [41, 42] and [43].

Problem 5

Is it possible to find necessary and sufficient conditions in terms of the one-dimensional modulus of continuity of martingale \(f\in {H_{p}}\) (\(0< p\le 1/2 \)), for which

$$ { \bigl\Vert R^{\alpha }_{j} f-f \bigr\Vert }_{{H_{p}}}\to 0, \quad \text{as } j\to \infty , $$

where \(\alpha =w\) or ψ?

Remark 4

Approximation properties of some summability methods in the classical and real Hardy spaces were considered by Oswald [24], Kryakin and Trebels [18], Storoienko [32, 33] and for martingale Hardy spaces in Fridli, Manchanda and Siddiqi [9] (see also [7, 8]), Nagy [2022], Tephnadze [4143].

References

  1. 1.

    Agaev, G.N., Vilenkin, N.Y., Dzhafarly, G.M., Rubinshtein, A.I.: Multiplicative systems of functions and harmonic analysis on zero-dimensional groups, Baku, Ehim (1981) (in Russian)

  2. 2.

    Baramidze, L., Persson, L.E., Tephnadze, G., Wall, P.: Sharp \(H_{p}-L_{p}\) type inequalities of weighted maximal operators of Vilenkin–Nörlund means and its applications. J. Inequal. Appl. (2016). https://doi.org/10.1186/s13660-016-1182-1

  3. 3.

    Blahota, I., Gát, G.: Norm summability of Nörlund logarithmic means on unbounded Vilenkin groups. Anal. Theory Appl. 24(1), 1–17 (2008)

  4. 4.

    Blahota, I., Tephnadze, G.: Strong convergence theorem for Vilenkin–Fejér means. Publ. Math. (Debr.) 85(1–2), 181–196 (2014)

  5. 5.

    Coifman, R., Weiss, G.: Extensions of Hardy spaces and their use in analysis. Bull. Am. Math. Soc. 83(4), 569–645 (1977)

  6. 6.

    Fefferman, Ch., Stein, E.M.: \({{H}^{p}}\) spaces of several variables. Acta Math. 129, 137–193 (1972)

  7. 7.

    Fridli, S.: Approximation by Vilenkin–Fourier sums. Acta Math. Hung. 47(1–2), 33–44 (1986)

  8. 8.

    Fridli, S.: On the rate of convergence of Cesàro means of Walsh–Fourier series. J. Approx. Theory 76(1), 31–53 (1994)

  9. 9.

    Fridli, S., Manchanda, P., Siddiqi, A.H.: Approximation by Walsh–Nörlund means. Acta Sci. Math. 74(3–4), 593–608 (2008)

  10. 10.

    Fujii, N.J.: A maximal inequality for \(H_{1}\) functions on the generalized Walsh–Paley group. Proc. Am. Math. Soc. 77, 111–116 (1979)

  11. 11.

    Gát, G.: Investigations of certain operators with respect to the Vilenkin systems. Acta Math. Hung. 61(1–2), 131–149 (1993)

  12. 12.

    Gát, G.: Cesáro means of integrable functions with respect to unbounded Vilenkin systems. J. Approx. Theory 124(1), 25–43 (2003)

  13. 13.

    Gát, G., Nagy, K.: On the logarithmic summability of Fourier series. Georgian Math. J. 18(2), 237–248 (2011)

  14. 14.

    Goginava, U.: The maximal operator of Marcinkiewicz–Fejér means of the d-dimensional Walsh–Fourier series. East J. Approx. 12(3), 295–302 (2006)

  15. 15.

    Goginava, U.: Maximal operators of logarithmic means of one-dimensional Walsh–Fourier series. Rend. Circ. Mat. Palermo 82, 345–357 (2010)

  16. 16.

    Goginava, U., Nagy, K.: On the maximal operator of Walsh–Kaczmarz–Fejér means. Czechoslov. Math. J. 61(136), 673–686 (2011)

  17. 17.

    Golubov, B., Efimov, A., Skvortsov, V.: Walsh Series and Transformations. Kluwer Academic, Dordrecht (1991) 1991

  18. 18.

    Kryakin, Y., Trebels, W.: q-Moduli of continuity in \({{H}_{p}} ( D )\), \(p>0\), and a inequality of Hardy and Littlewood. J. Approx. Theory 115, 238–259 (2002)

  19. 19.

    Later, R.H.: A characterization of \(H_{p}(R^{n})\) in terms of atoms. Stud. Math. 62, 93–101 (1978)

  20. 20.

    Nagy, K.: Approximation by Nörlund means of quadratical partial sums of double Walsh–Fourier series. Anal. Math. 26, 299–319 (2010)

  21. 21.

    Nagy, K.: On the maximal operator of Walsh–Marcinkiewicz means. Publ. Math. (Debr.) 78(3–4), 633–646 (2011)

  22. 22.

    Nagy, K.: Approximation by Cesàro means of negative order of double Walsh–Kaczmarz–Fourier series. Tohoku Math. J. 64, 317–331 (2012)

  23. 23.

    Neveu, J.: Discrete-Parameter Martingales. North-Holland Mathematical Library, vol. 10. North-Holland, Amsterdam (1975)

  24. 24.

    Oswald, P.: On some approximation properties of real Hardy spaces (\(0< p\le 1 \)). J. Approx. Theory 40, 45–65 (1984)

  25. 25.

    Pal, J., Simon, P.: On a generalization of the concept of derivate. Acta Math. Hung. 29, 155–164 (1977)

  26. 26.

    Persson, L.-E., Ragusa, M.A., Samko, N., Wall, P.: Commutators of Hardy operators in vanishing Morrey spaces. In: AIP Conference Proceedings, vol. 1493, pp. 859–866 (2012)

  27. 27.

    Persson, L.E., Tephnadze, G., Wall, P.: On the maximal operators of Vilenkin–Nörlund means. J. Fourier Anal. Appl. 21(1), 76–94 (2015)

  28. 28.

    Schipp, F.: Certain rearrangements of series in the Walsh series. Mat. Zametki 18, 193–201 (1975)

  29. 29.

    Schipp, F., Wade, W.R., Simon, P., Pál, J.: Walsh Series, an Introduction to Dyadic Harmonic Analysis. Hilger, Bristol (1990)

  30. 30.

    Simon, P.: Investigations with respect to the Vilenkin system. Ann. Univ. Sci. Bp. Rolando Eötvös Nomin., Sect. Math. 28, 87–101 (1985)

  31. 31.

    Simon, P., Weisz, F.: Weak inequalities for Cesáro and Riesz summability of Walsh–Fourier series. J. Approx. Theory 151, 1–19 (2008)

  32. 32.

    Storozenko, E.A.: On approximation of functions of the class \({{H}^{p}}\), \(0< p<1\). Soobsc. Akad. Nauk Gruz., SSR 88, 45–48 (1977) Russian

  33. 33.

    Storozenko, E.A.: Approximation of functions of the class \({{H}^{p}}\), \(0< p<1\). Mat. Sb. 105(149), 601–621 (1978) Russian

  34. 34.

    Tephnadze, G.: Fejér means of Vilenkin–Fourier series. Studia Sci. Math. Hung. 49(1), 79–90 (2012)

  35. 35.

    Tephnadze, G.: On the maximal operator of Vilenkin–Fejér means. Turk. J. Math. 37, 308–318 (2013)

  36. 36.

    Tephnadze, G.: On the maximal operators of Vilenkin–Fejér means on Hardy spaces. Math. Inequal. Appl. 16(1), 301–312 (2013)

  37. 37.

    Tephnadze, G.: On the maximal operators of Walsh–Kaczmarz–Fejér means. Period. Math. Hung. 67(1), 33–45 (2013)

  38. 38.

    Tephnadze, G.: Strong convergence theorems of Walsh–Fejér means. Acta Math. Hung. 142(1), 244–259 (2014)

  39. 39.

    Tephnadze, G.: On the maximal operators of Riesz logarithmic means of Vilenkin–Fourier series. Studia Sci. Math. Hung. 51(1), 105–120 (2014)

  40. 40.

    Tephnadze, G.: Strong convergence theorems of Walsh–Fejér means. Acta Math. Hung. 142(1), 244–259 (2014)

  41. 41.

    Tephnadze, G.: On the partial sums of Walsh–Fourier series. Colloq. Math. 141(2), 227–242 (2015)

  42. 42.

    Tephnadze, G.: On the convergence of Fejér means of Walsh–Fourier series in the space \(H_{p}\). J. Contemp. Math. Anal. 51(2), 51–63 (2016)

  43. 43.

    Tephnadze, G.: On the convergence of partial sums with respect to Vilenkin system on the martingale Hardy spaces. J. Contemp. Math. Anal. 53(5), 294–306 (2018)

  44. 44.

    Torchinsky, A.: Real-Variable Methods in Harmonic Analysis. Dover Books on Mathematics (2008)

  45. 45.

    Tutberidze, G.: A note on the strong convergence of partial sums with respect to Vilenkin system. J. Contemp. Math. Anal. (in press)

  46. 46.

    Weisz, F.: Martingale Hardy Spaces and Their Application in Fourier Analysis. Springer, Berlin (1994)

  47. 47.

    Weisz, F.: Cesáro summability of one- and two-dimensional Walsh–Fourier series. Anal. Math. 22(3), 229–242 (1996)

  48. 48.

    Weisz, F.: Strong convergence theorems for two-parameter Walsh–Fourier and trigonometric-Fourier series. Stud. Math. 117(2), 173–194 (1996)

  49. 49.

    Weisz, F.: Summability of Multi-Dimensional Fourier Series and Hardy Space. Kluwer Academic, Dordrecht (2002)

  50. 50.

    Weisz, F.: Q-summability of Fourier series. Acta Math. Hung. 103(1–2), 139–175 (2004)

  51. 51.

    Wilson, J.M.: A simple proof of the atomic decomposition for \({{H}_{p}} ( {{R}_{n}} )\) \(0< p\le 1 \). Stud. Math. 74, 25–33 (1982)

Download references

Acknowledgements

The research was supported by Shota Rustaveli National Science Foundation grant FR-19-676. We thank the reviewers for some important remarks, which have improved the final version of the paper.

Availability of data and materials

Not applicable.

Authors’ information

DL is professor of Mathematics at UiT The Arctic University of Norway. LEP is professor of Mathematics at UiT The Arctic University of Norway. He was previously President of the Swedish Mathematical Society. GTe is Associate Professor at the University of Georgia. GTu is PhD student at the University of Georgia and UiT The Arctic University of Norway.

Funding

Not applicable.

Author information

All the authors contributed equally and significantly in writing this paper. All the authors read and approved the final manuscript.

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

Lukkassen, D., Persson, L.E., Tephnadze, G. et al. Some inequalities related to strong convergence of Riesz logarithmic means. J Inequal Appl 2020, 79 (2020). https://doi.org/10.1186/s13660-020-02342-8

Download citation

MSC

  • 26D10
  • 26D20
  • 42B25
  • 42C10

Keywords

  • Inequalities
  • Vilenkin systems
  • Walsh system
  • Riesz logarithmic means
  • Martingale Hardy space
  • Strong convergence