Skip to main content

Approximation of functions in generalized Zygmund class by double Hausdorff matrix

Abstract

In the present work, we emphasize, for the first time, the error estimation of a two-variable function \(g(y,z)\) in the generalized Zygmund class \(Y_{r}^{(\xi )}\) (\(r\geq 1\)) using the double Hausdorff matrix means of its double Fourier series. In fact, in this work, we establish two theorems on error estimation of a two-variable function of g in the generalized Zygmund class.

Introduction

The study of the error estimation of a function of single variable g in Lipschitz spaces, Hölder spaces, generalized Hölder spaces, Besov spaces, Zygmund spaces, and generalized Zygmund spaces with different single means, and various product summability means of Fourier series and conjugate Fourier series have been considered as a center of creative study for the researchers [113] in the past few decades. The error estimation of a two-variable function \(g(y,z)\) in a Hölder space with the double matrix means of the double Fourier series and its generalization for n-variable functions in Hölder spaces using multiple Fourier series were obtained in [14], and the degree of approximation of Nòrlund means of double Fourier series continuous two-variable functions was obtained in [15]. The above review of research shows that the studies of error estimation of a two-variable function \(g(y,z)\) in the generalized Zygmund class \(Y_{r}^{(\xi )}\) (\(r\ge 1\)) using double Hausdorff means of double Fourier series have not been initiated so far.

The basic theory of Hausdorff transformations for double sequences came into being by Adams [16] in 1933. Later, a few authors investigated double Hausdorff matrices; see, for example, Ramanujan [17] and Ustina [18]. Consequently, we consider the error estimation of two-variable functions \(g(y,z)\) in the generalized Zygmund class \(Y_{r}^{(\xi )}\) (\(r\ge 1\)) by the double Hausdorff summability means of its double Fourier series.

We establish two theorems on the degree of approximation of a two-variable function in the generalized Zygmund class \(Y_{r}^{(\xi )}\) (\(r\ge 1\)) by the double Hausdorff summability means of its double Fourier series.

Let \(z:\mathbb{N}\times \mathbb{N}\mapsto \mathbb{C}\) be a double sequence of complex numbers, and let \((s_{p,q} )\) be the double sequence defined by

$$ s_{p,q}:=\sum_{i=1}^{p} \Biggl(\sum_{j=1}^{q}z_{i,j} \Biggr). $$

The pair \((z,s)\) is called a double series and is denoted by the symbol \(\sum_{p,q=1}^{\infty }z_{p,q}\).

Let \(\sum_{p=1}^{\infty }\sum_{q=1}^{\infty }z_{p,q}\) be an infinite double series having the \((p,q)\)th partial sum \(s_{p,q}=\sum_{i=1}^{p} (\sum_{j=1}^{q}z_{i,j})\).

Let \(g(y)\) be a 2π-periodic Lebesgue-integrable function of y over the interval \((-\pi ,\pi ) \). The Fourier series of \(g(y)\) is given by

$$ g(y)\sim \frac{a_{0}}{2}+\sum _{q=1}^{\infty }(a_{q}\cos qy+b_{q} \sin qy), $$
(1)

and the conjugate series to (1) is given by

$$ \sum_{q=1}^{\infty }(a_{q} \cos qy-b_{q}\sin qy). $$
(2)

It is well known that corresponding conjugate function of (2) is defined as

$$ \tilde{g}(y)=\frac{1}{\pi } \int _{0}^{\pi } \frac{g(y+l)-g(y-l)}{2\tan \frac{l}{2}}\,dl. $$

Let \(g(y,z)\) be a function of \((y,z)\), periodic with respect to y and with respect to z, in each case with period 2π, integrable in the Lebesgue sense and summable in the square \(Q(-\pi ,-\pi ;\pi ,\pi )\).

The double Fourier series of a function \(g(y,z)\) is given by

$$\begin{aligned} g(y,z)&\sim \sum_{p=0}^{\infty } \sum_{q=0}^{\infty } \beta _{p,q} [ \tau _{p,q} \cos py \cos qz + \psi _{p,q} \sin py \cos qz \\ &\quad {}+\rho _{p,q} \cos py \sin qz + \zeta _{p,q} \sin py \sin qz] \\ &=\sum_{p=0}^{\infty }\sum _{q=0}^{\infty }\tau _{p,q}A_{p,q}(y,z), \end{aligned}$$
(3)

where

$$ \beta _{p,q}= \textstyle\begin{cases} \frac{1}{4} & \mbox{for } p=0,q=0 \mbox{ or } p=q=0, \\ \frac{1}{2}& \mbox{for } p>0, q=0 \mbox{ and } p=0, q>0, \\ 1 & \mbox{for } p>0, q>0, \end{cases}$$
(4)

and the coefficients \(\tau _{p,q}\), \(\psi _{p,q}\), \(\rho _{p,q}\), and \(\zeta _{p,q}\) are calculated by the formulae

$$ \begin{aligned} &\tau _{p,q} =\frac{1}{\pi ^{2}} \int \int _{Q} g(y,z)\cos py\cos qz \,dy \,dz, \\ &\psi _{p,q} =\frac{1}{\pi ^{2}} \int \int _{Q}g(y,z) \sin py \cos qz \,dy \,dz, \\ &\rho _{p,q} =\frac{1}{\pi ^{2}} \int \int _{Q} g(y,z) \cos py\sin qz \,dy \,dz, \\ &\zeta _{p,q} =\frac{1}{\pi ^{2}} \int \int _{Q} g(y,z)\sin py\sin qz \,dy \,dz \end{aligned} $$
(5)

for \(p=0,1,2,\ldots \) and \(q=0,1,2,\ldots \) . The quantities

$$\begin{aligned} s_{p,q}(y,z)&=\sum_{j=0}^{p} \sum_{k=0}^{q}[\tau _{j,k}\cos jy\cos kz+ \psi _{j,k}\sin jy\cos kz \\ &\quad {}+\rho _{j,k}\cos jy\sin kz +\zeta _{j,k}\sin jy\sin kz] \end{aligned}$$

(\(p=0,1,2,\ldots \) ; \(q=0,1,2,\ldots \)) are called the partial sums of the double Fourier series.

According to (5), we know that

$$ s_{p,q}(y,z)-g(y,z)=\frac{1}{\pi ^{2}} \int \int _{Q}g(y+s, z+l) \frac{ [\sin (p+\frac{1}{2} )s ] [\sin (q+\frac{1}{2} )l ]}{4\sin \frac{s}{2}\sin \frac{l}{2}}\,ds \,dl. $$

The double Hausdorff matrix has the entries

$$ h_{pqij}=\binom{p}{i}\binom{q}{j}\Delta _{1}^{p-i}\Delta _{2}^{q-j} \mu _{ij}, $$

where \(\{ \mu _{ij} \} \) is any real or complex sequence, and for any sequence \(\mu _{ij}\), the operator Δ is defined by

$$ \Delta _{ij}\mu _{ij}:=\mu _{ij}-\mu _{i+1,j}-\mu _{i,j+1}+\mu _{i+1,j+1} $$

and

$$ \Delta _{1}^{p-i}\Delta _{2}^{q-j} \mu _{ij}=\sum_{s=0}^{p-1}\sum _{l=0}^{q-j}(-1)^{i+j} \binom{p-i}{s}\binom{q-j}{l}\mu _{i+s,j+l}. $$

Necessary and sufficient condition for double Hausdorff matrices to be conservative is the existence of a function \(\chi (s,l)\in BV[0,1]\times [0,1]\) such that

$$ \int _{0}^{1} \int _{0}^{1} \bigl\vert d\chi (s,l) \bigr\vert < \infty $$

and

$$ \mu _{pq}= \int _{0}^{1} \int _{0}^{1}s^{p}l^{q}\, d \chi (s,l). $$

Without loss of generality, we may assume that \(\chi (0,0)=0\). If, in addition, we have \(\chi (1,1)=1\), and the continuity conditions

$$\begin{aligned}& \chi (s,+0)=\chi (s,0),\qquad \chi (s,+0)=\lim_{l\to 0}\chi (s,l), \\& \chi (+0,l)=\chi (0,l),\qquad \chi (+0,l)=\lim_{s\to 0}\chi (s,l) \end{aligned}$$

are also satisfied, so that \(\mu _{00}=1\).

We say that \(\mu _{pq}\) is a regular moment constant [16, 17].

Let \(\sum_{p=0}^{\infty }\sum_{q=0}^{\infty }b_{p,q}\) be a double series with \(s_{p,q}=\sum_{j=0}^{p}\sum_{k=0}^{q}b_{j,k}\) as its \((p,q)\)th partial sums.

The double Hausdorff mean \(t_{p,q}\) is given by

$$ t_{p,q}=\sum_{j=0}^{p} \sum_{k=0}^{q}h_{p,q,j,k}s_{j,k}. $$
(6)

The double series \(\sum_{p=0}^{\infty }\sum_{q=0}^{\infty }b_{p,q}\) with the sequence of \((p,q)\)th partial sums \((s_{p,q})\) is said to be summable by the double Hausdorff summability method or summable \((H_{p,q})\) if \(t_{p,q}\) tends to a limit s as \(p\to \infty \) and \(q\to \infty \).

The norm \(\Vert \cdot \Vert _{r}\) is defined as

$$ \Vert f \Vert _{r}:=\textstyle\begin{cases} \{ \frac{1}{4\pi ^{2}}\int _{0}^{2\pi }\int _{0}^{2\pi } \vert g(y,z) \vert ^{r}\,dy \,dz \} ^{1/r} & \text{for } 1\le r< \infty , \\ \operatorname{ess}\sup_{\substack{ 0< y< 2\pi \\ 0< z< 2\pi }} \vert g(y,z) \vert & \text{for } r=\infty .\end{cases}$$

Let \(\xi :[-\pi ,-\pi ;\pi ,\pi ]\to \mathbb{R}\times \mathbb{R}\) be an arbitrary function with \(\xi (s,l)>0\) for \(0< s<2\pi \), \(0< l<2\pi \) and such that \(\lim_{\substack{ s\to 0^{+} \\ l\to 0^{+}}}\xi (s,l)=\xi (0,0)=0\).

We define

$$\begin{aligned} Y_{r}^{(\xi )} :=& \biggl\{ g\in L^{r}:\sup _{ \substack{ s\ne 0 \\ l\ne 0}} \frac{ \Vert g(\cdot +s,\cdot +l)+g(\cdot +s,\cdot -l)+g(\cdot -s,\cdot +l)+g(\cdot -s,\cdot -l)+4g(\cdot ,\cdot ) \Vert _{r}}{\xi (s,l)} \\ &{}< \infty \biggr\} \end{aligned}$$

and

$$ \Vert g \Vert _{r}^{(\xi )}:= \Vert g \Vert _{r}+\sup_{ \substack{ s\ne 0 \\ l\ne 0 }} \frac{ \Vert g(\cdot +s,\cdot +l)+g(\cdot +s,\cdot -l)+g(\cdot -s,\cdot +l)+g(\cdot -s,\cdot -l)+4g(\cdot ,\cdot ) \Vert _{r}}{\xi (s,l)}. $$

Clearly, \(\Vert \cdot \Vert _{r}^{(\xi )}\) is a norm on \(Y_{r}^{(\xi )}\).

Hence the Zygmund space \((Y_{r}^{(\xi )})\) is a Banach space under the norm \(\Vert \cdot \Vert _{r}^{(\xi )}\). The completeness of the space \(Y_{r}^{(\xi )}\) can be discussed considering the completeness of \(L^{r}\) (\(r\ge 1\)). We refer to [19] for more detail on the Zygmund space.

We write

$$\begin{aligned}& \begin{aligned} \phi (s,l)&=\phi (y,z:s,l) \\ &=\frac{1}{4} \bigl[g(y+s,z+l)+g(y+s,z-l)+g(y-s,z+l)+g(y-s,z-l)-4g(y,z) \bigr]; \end{aligned} \\& \varPhi (y,z)= \int _{0}^{y} \int _{0}^{z} \bigl\vert \phi (v,w) \bigr\vert \,dv\,dw; \\& K_{p,q}(s,l)=\frac{1}{4\pi ^{2}}\sum_{j=0}^{p}h_{p,j} \frac{\sin (j+\frac{1}{2} )s}{\sin \frac{s}{2}}\sum_{k=0}^{q}h_{q,k} \frac{\sin (k+\frac{1}{2} )l}{\sin \frac{l}{2}}. \end{aligned}$$

Remark 1.1

A double Hausdorff matrix method reduces to

  1. (i)

    (C,1,1) summability mean if \(\sigma _{p}=\frac{1}{p+1}\) and \(\sigma _{q}=\frac{1}{q+1}\) and

  2. (ii)

    (E,r,r) summability mean if \(E_{p}^{r}=\frac{1}{(1+r)^{p}}\binom{p}{j}r^{p-j}\) and \(E_{q}^{r}=\frac{1}{(1+r)^{q}}\binom{q}{k}r^{q-k}\).

Theorems

Theorem 2.1

Letgbe a function of\((y,z)\)periodic (in each case, with period 2π) with respect toyandz, Lebesgue integrable onQ, and belonging to the class\(Y_{r}^{(\xi )}\), \(r\ge 1\). Then the error estimate ofgby the\(\Delta _{H_{p,q}}\)method of its DFS is given by

$$ \bigl\Vert t_{p,q}^{\Delta {H_{p,q}}}(y,z)-g(y,z) \bigr\Vert _{r}^{(\eta )}= O \biggl(\frac{p+q+6}{(p+1)(q+1)} \int _{\frac{1}{p+1}}^{\pi } \int _{ \frac{1}{q+1}}^{\pi }\frac{\xi (s,l)}{\eta (s,l)s^{2}l^{2}} \biggr), $$

whereξandηdenote the moduli of continuity of second order such that\(\xi (s,l)/\eta (s,l)\)is positive and nondecreasing.

Theorem 2.2

In addition to the conditions of Theorem 2.1, if\(\xi (s,l)/sl\eta (s,l)\)is nonincreasing, then the error estimate ofgin\(Y_{r}^{(\xi )}\)\((r\ge 1)\)by the\(\Delta _{H_{p,q}}\)method of its DFS is given by

$$ \bigl\Vert t_{p,q}^{\Delta {H_{p,q}}}(y,z)-g(y,z) \bigr\Vert _{r}^{(\eta )}= O \biggl( \frac{\xi (\frac{1}{p+1},\frac{1}{q+1} )}{\eta (\frac{1}{p+1},\frac{1}{q+1} )}(p+q+6) \log \pi (p+q+2) \biggr). $$

Lemmas

Lemma 3.1

\(K_{pq}(s,l)=O ((p+1)(q+1) )\)for\(0< s\le \frac{1}{p+1}\)and\(0< l\le \frac{1}{q+1}\).

Proof

For \(0< s\le \frac{1}{p+1}\), \(0< l\le \frac{1}{l+1}\), \(\sin \frac{l}{2}\ge \frac{l}{\pi }\), and \(\sin ql\le ql\), we get

$$\begin{aligned} \bigl\vert K_{pq}(s,l) \bigr\vert =& \frac{1}{4\pi ^{2}} \Biggl\vert \sum_{j=0}^{p}h_{p,j} \frac{\sin (j+\frac{1}{2} )s}{\sin \frac{s}{2}}\sum_{k=0}^{q}h_{q,k} \frac{\sin (k+\frac{1}{2} )l}{\sin \frac{l}{2}} \Biggr\vert \\ =&\frac{1}{4\pi ^{2}} \Biggl\vert \sum_{j=0}^{p} \int _{0}^{1}\binom{p}{j}v^{j}(1-v)^{p-j}\,d\chi (v)\frac{\sin (j+\frac{1}{2} )s}{\sin \frac{s}{2}} \\ &{}\times\sum_{k=0}^{q} \int _{0}^{1}\binom{q}{k}w^{k}(1-w)^{q-k}\,d\chi (w) \frac{\sin (k+\frac{1}{2} )l}{\sin \frac{l}{2}} \Biggr\vert \\ =&\frac{1}{4\pi ^{2}} \Biggl\vert \sum_{j=0}^{p} \int _{0}^{1}\binom{p}{j}v^{j}(1-v)^{p-j}\,d\chi (v)\frac{(2s+1)\frac{s}{2}}{\frac{s}{\pi }} \\ &{}\times\sum_{k=0}^{q} \int _{0}^{1} \binom{q}{k}w^{k}(1-w)^{q-k}\,d\chi (w) \frac{(2k+1)\frac{l}{2}}{\frac{l}{\pi }} \Biggr\vert \\ =&\frac{1}{16} \Biggl\vert \sum_{j=0}^{p} \int _{0}^{1}\binom{p}{j}v^{j}(1-v)^{p-j}\,d\chi (v) (2s+1) \\ &{}\times\sum_{k=0}^{q} \int _{0}^{1}\binom{q}{k}w^{k}(1-w)^{q-k}\,d\chi (w) (2k+1) \Biggr\vert . \end{aligned}$$
(7)

Since

$$ \begin{aligned} &\sum_{j=0}^{p} \binom{p}{j}v^{j}(1-v)^{p-j}(2s+1)=(2pv+1) \quad \text{and} \\ &\sum_{k=0}^{q} \binom{q}{k}w^{k}(1-w)^{q-k}(2k+1)=(2qw+1), \end{aligned} $$
(8)

from (7) and (8) we get

$$\begin{aligned} \bigl\vert K_{pq}(s,l) \bigr\vert &=\frac{1}{16} \biggl\vert \int _{0}^{1}(2pv+1)\,dv \int _{0}^{1}(2qw+1)\,dw \biggr\vert \\ &=O \bigl((p+1) (q+1) \bigr). \end{aligned}$$

 □

Lemma 3.2

\(K_{pq}(s,l)=O ((q+1)\frac{1}{(p+1)s^{2}} )\)for\(\frac{1}{p+1}< s\le \pi \)and\(0< l\le \frac{1}{q+1}\).

Proof

Since \(\frac{1}{p+1}< s\le \pi \), \(\sin \frac{s}{2}\ge \frac{s}{\pi }\), \(\sin ^{2}qs\le 1\), \(\sup_{0\le v\le 1}\vert j^{\prime }(v)\vert =M\), \(0< l\le \frac{1}{q+1}\), \(\sin \frac{l}{2}\ge \frac{l}{\pi }\), and \(\sin ql\le ql\), we get

$$\begin{aligned} \bigl\vert K_{pq}(s,l) \bigr\vert =& \frac{1}{4\pi ^{2}} \Biggl\vert \sum_{j=0}^{p} \int _{0}^{1}\binom{p}{j}v^{j}(1-v)^{p-j}\,d\chi (v) \frac{\sin (j+\frac{1}{2} )s}{\sin \frac{s}{2}} \\ &{}\times\sum_{k=0}^{q} \int _{0}^{1}\binom{q}{k}w^{k}(1-w)^{q-k}\,d\chi (w) \frac{\sin (k+\frac{1}{2} )l}{\sin \frac{l}{2}} \Biggr\vert \\ =&\frac{1}{4\pi ^{2}} \Biggl\vert \sum_{j=0}^{p} \int _{0}^{1}\binom{p}{j}v^{j}(1-v)^{p-j}\,d\chi (v)\frac{\sin (j+\frac{1}{2} )s}{\frac{s}{\pi }} \\ &{}\times\sum_{k=0}^{q} \int _{0}^{1}\binom{q}{k}w^{k}(1-w)^{q-k}\,d\chi (w) \frac{ (k+\frac{1}{2} )l}{\frac{l}{\pi }} \Biggr\vert \\ =&\frac{1}{8s} \Biggl\vert \sum_{j=0}^{p} \int _{0}^{1}\binom{p}{j}v^{j}(1-v)^{p-j}\,d\chi (v)\sin \biggl(j+\frac{1}{2} \biggr)s \\ &{}\times\sum _{k=0}^{q} \int _{0}^{1} \binom{q}{k}w^{k}(1-w)^{q-k}\,d\chi (w) (2k+1) \Biggr\vert \\ \le& \frac{M}{8s} \Biggl\vert \sum_{j=0}^{p} \int _{0}^{1}\binom{p}{j}v^{j}(1-v)^{p-j}e^{i (j+\frac{1}{2} )s}\,dv \int _{0}^{1}(2qw+1)\,dw \Biggr\vert \\ &\text{since } \sum_{k=0}^{q} \binom{q}{k}w^{k}(1-w)^{q-k}(2k+1)=(2qw+1) \\ \le& \frac{M}{8s} \Biggl\vert \sum_{j=0}^{p} \int _{0}^{1}\binom{p}{j}v^{j}(1-v)^{p-j}e^{i (j+\frac{1}{2} )s}\,dv (q+1) \Biggr\vert \\ \le& \frac{MO(q+1)}{8s} \Biggl\vert \sum_{j=0}^{p} \int _{0}^{1} \binom{p}{j}v^{j}(1-v)^{p-j}e^{i (j+\frac{1}{2} )s}\,dv \Biggr\vert . \end{aligned}$$
(9)

Now

$$\begin{aligned} &\sum_{j=0}^{p} \int _{0}^{1}\binom{p}{j}v^{j}(1-v)^{p-j}e^{ (j+ \frac{1}{2} )s}\,dv \\ &\quad =(1-v)^{p} \int _{0}^{1}\sum_{j=0}^{p} \binom{p}{j} \biggl(\frac{v}{1-v} \biggr)^{j}\operatorname{Im} \bigl\{ e^{i (j+\frac{1}{2} )s} \bigr\} \,dv \\ &\quad =(1-v)^{p} \int _{0}^{1}\sum_{j=0}^{p} \binom{p}{j} \biggl( \frac{v}{1-v} \biggr)^{j}\operatorname{Im} \bigl\{ e^{ijs}\cdot e^{\frac{is}{2}} \bigr\} \,dv \\ &\quad =(1-v)^{p}e^{\frac{is}{2}} \int _{0}^{1}\sum_{j=0}^{p} \binom{p}{j} \biggl(\frac{ve^{is}}{1-v} \biggr)^{j}\,dv \\ &\quad =(1-v)^{p}\operatorname{Im} \int _{0}^{1} \biggl[e^{\frac{i s}{2}} \biggl\{ \binom{p}{0}+\binom{p}{1}\frac{ve^{is}}{1-v}+ \binom{p}{2} \biggl( \frac{ve^{is}}{1-v} \biggr)^{2}+\cdots +\binom{p}{p} \biggl( \frac{ve^{is}}{1-v} \biggr)^{p} \biggr\} \,dv \biggr] \\ &\quad =\operatorname{Im} \biggl[e^{\frac{is}{2}} \int _{0}^{1} \biggl\{ \binom{p}{0}(1-v)^{p-0}+ \binom{p}{1}ve^{is}(1-v)^{p-1}+\cdots + \binom{p}{p}\bigl(ve^{is}\bigr)^{p}(1-v)^{p-p} \biggr\} \,dv \biggr] \\ &\quad =\operatorname{Im} \biggl[e^{\frac{is}{2}} \int _{0}^{1}\bigl(1-v+ve^{is} \bigr)^{p}\,dv \biggr] \\ &\quad =\operatorname{Im} \biggl[e^{\frac{is}{2}} \int _{0}^{1} \bigl\{ 1+v\bigl(e^{is}-1 \bigr) \bigr\} ^{p}\,dv \biggr] \\ &\quad =\operatorname{Im} \biggl[ \frac{e^{i(p+1)s}-1}{(1+p)(e^{\frac{is}{2}}-e^{\frac{-is}{2}})} \biggr] \\ &\quad =\operatorname{Im} \biggl[\frac{e^{i(p+1)s}-1}{(p+1)2i\sin \frac{s}{2}} \biggr] \\ &\quad =\operatorname{Im} \biggl[ \frac{\cos (p+1)s+i\sin (p+1)s-1}{2i(p+1)\sin \frac{s}{2}} \biggr] \\ &\quad =\frac{\sin ^{2}(p+1)\frac{s}{2}}{(p+1)\sin \frac{s}{2}}. \end{aligned}$$
(10)

Now, from equations (9) and (10), we get

$$\begin{aligned} \bigl\vert K_{pq}(s,l) \bigr\vert &\le \frac{MO(q+1)}{8s} \biggl\vert \frac{\sin ^{2}(p+1)\frac{s}{2}}{(p+1)\frac{s}{2}} \biggr\vert \\ &=\frac{MO(q+1)}{8s} \biggl\vert \frac{1}{(p+1)\frac{s}{2}} \biggr\vert \\ &=O \biggl((q+1)\frac{1}{(p+1)s^{2}} \biggr). \end{aligned}$$

 □

Lemma 3.3

\(K_{pq}(s,l)=O ((p+1)\frac{1}{(q+1)l^{2}} )\)for\(0< s\le \frac{1}{p+1}\)and\(\frac{1}{q+1}< l\le \pi \).

Proof

Since \(0< s\le \frac{1}{p+1}\), \(\sin \frac{s}{2}\ge \frac{s}{\pi }\), \(\sin ps\le ps\), \(\frac{1}{q+1}< l\le \pi \), \(\sin \frac{l}{2}\ge \frac{l}{\pi }\), \(\sin ^{2}ql\le 1\), and \(\sup_{0\le w\le 1}\vert k^{\prime }(w)\vert =N\), we get

$$\begin{aligned} \bigl\vert K_{pq}(s,l) \bigr\vert =& \frac{1}{4\pi ^{2}} \Biggl\vert \sum_{j=0}^{p} \int _{0}^{1}\binom{p}{j}v^{j}(1-v)^{p-j}\,d\chi (v) \frac{\sin (j+\frac{1}{2} )s}{\sin \frac{s}{2}} \\ &{}\times\sum_{k=0}^{q} \int _{0}^{1}\binom{q}{k}w^{k}(1-w)^{l-k}\,d\chi (w) \frac{\sin (k+\frac{1}{2} )l}{\sin \frac{l}{2}} \Biggr\vert \\ =&\frac{1}{4\pi ^{2}} \Biggl\vert \sum_{j=0}^{p} \int _{0}^{1}\binom{p}{j}v^{j}(1-v)^{p-j}\,d\chi (v)\frac{ (j+\frac{1}{2} )s}{\frac{s}{\pi }} \\ &{}\times\sum_{k=0}^{q} \int _{0}^{1}\binom{q}{k}w^{k}(1-w)^{q-k}\,d\chi (w) \frac{\sin (k+\frac{1}{2} )l}{\frac{l}{\pi }} \Biggr\vert \\ =&\frac{1}{8l} \Biggl\vert \sum_{j=0}^{p} \int _{0}^{1}\binom{p}{j}v^{j}(1-v)^{p-j}\,d\chi (v) (2j+1) \\ &{}\times\sum_{k=0}^{q} \int _{0}^{1}\binom{q}{k}w^{k}(1-w)^{q-k}\,d\chi (w)\sin \biggl(k+\frac{1}{2} \biggr)l \Biggr\vert \\ \le& \frac{N}{8l} \Biggl\vert \int _{0}^{1}(2pv+1)\,dv\sum _{k=0}^{q} \binom{q}{k}w^{k}(1-w)^{q-k}e^{i (k+\frac{1}{2} )l}\,dw \Biggr\vert \\ &\text{since } \sum_{j=0}^{p} \binom{p}{j}v^{j}(1-v)^{p-j}(2s+1)=(2pv+1) \\ \le& \frac{N}{8l} \Biggl\vert (p+1)\sum_{k=0}^{q} \binom{q}{k}w^{k}(1-w)^{q-k}e^{i (k+\frac{1}{2} )l}\,dw \Biggr\vert \\ \le& \frac{NO(p+1)}{8l} \Biggl\vert \sum_{k=0}^{q} \int _{0}^{1} \binom{q}{k}w^{k}(1-w)^{q-k}e^{i (k+\frac{1}{2} )l}\,dw \Biggr\vert . \end{aligned}$$
(11)

Now

$$\begin{aligned} &\sum_{k=0}^{q} \int _{0}^{1}\binom{q}{k}w^{k}(1-w)^{q-k}e^{ (k+ \frac{1}{2} )l}\,dw \\ &\quad =(1-w)^{q} \int _{0}^{1}\sum_{k=0}^{q} \binom{q}{k} \biggl(\frac{w}{1-w} \biggr)^{k}\operatorname{Im} \bigl\{ e^{i (k+\frac{1}{2} )l} \bigr\} \,dw \\ &\quad =(1-w)^{q} \int _{0}^{1}\sum_{k=0}^{q} \binom{q}{k} \biggl( \frac{w}{1-w} \biggr)^{k}\operatorname{Im} \bigl\{ e^{ikl}\cdot e^{\frac{il}{2}} \bigr\} \,dw \\ &\quad =(1-w)^{q}e^{\frac{il}{2}} \int _{0}^{1}\sum_{k=0}^{q} \binom{q}{k} \biggl(\frac{we^{il}}{1-w} \biggr)^{k}\,dw \\ &\quad =(1-w)^{q}\operatorname{Im} \int _{0}^{1} \biggl[e^{\frac{i l}{2}} \biggl\{ \binom{q}{0}+\binom{q}{1}\frac{we^{il}}{1-w}+ \binom{q}{2} \biggl( \frac{we^{il}}{1-w} \biggr)^{2}+\cdots \\ &\qquad {}+\binom{q}{q} \biggl( \frac{we^{il}}{1-w} \biggr)^{q} \biggr\} \,dw \biggr] \\ &\quad =\operatorname{Im} \biggl[e^{\frac{il}{2}} \int _{0}^{1} \biggl\{ \binom{q}{0}(1-w)^{q-0}+ \binom{q}{1}we^{il}(1-w)^{q-1}+\cdots \\ &\qquad {} + \binom{q}{q}\bigl(we^{il}\bigr)^{q}(1-w)^{q-q} \biggr\} \,dw \biggr] \\ &\quad =\operatorname{Im} \biggl[e^{\frac{il}{2}} \int _{0}^{1}\bigl(1-w+we^{il} \bigr)^{q}\,dw \biggr] \\ &\quad =\operatorname{Im} \biggl[e^{\frac{il}{2}} \int _{0}^{1} \bigl\{ 1+w\bigl(e^{il}-1 \bigr) \bigr\} ^{q}\,dw \biggr] \\ &\quad =\operatorname{Im} \biggl[ \frac{e^{i(q+1)l}-1}{(1+q)(e^{\frac{il}{2}}-e^{\frac{-il}{2}})} \biggr] \\ &\quad =\operatorname{Im} \biggl[\frac{e^{i(q+1)l}-1}{(q+1)2i\sin \frac{l}{2}} \biggr] \\ &\quad =\operatorname{Im} \biggl[ \frac{\cos (q+1)l+i\sin (q+1)l-1}{2i(q+1)\sin \frac{l}{2}} \biggr] \\ &\quad =\frac{\sin ^{2}(q+1)\frac{l}{2}}{(q+1)\sin \frac{l}{2}}. \end{aligned}$$
(12)

Now from equations (11) and (12) we get

$$\begin{aligned} \bigl\vert K_{pq}(s,l) \bigr\vert &\le \frac{NO(p+1)}{8l} \biggl\vert \frac{\sin ^{2}(q+1)\frac{l}{2}}{(q+1)\frac{l}{2}} \biggr\vert \\ &=\frac{NO(p+1)}{8l} \biggl\vert \frac{1}{(q+1)\frac{l}{2}} \biggr\vert \\ &=O \biggl((p+1)\frac{1}{(q+1)l^{2}} \biggr). \end{aligned}$$

 □

Lemma 3.4

\(K_{pq}(s,l)=O (\frac{1}{(p+1)s^{2}} \frac{1}{(q+1)l^{2}} )\)for\(\frac{1}{p+1}< s\le \pi \)and\(\frac{1}{q+1}< l\le \pi \).

Proof

Since \(\frac{1}{p+1}< s\le \pi \), \(\sin \frac{s}{2}\ge \frac{s}{\pi }\), \(\sin ^{2}ps\le 1\), \(\sup_{0\le v\le 1}\vert j^{\prime }(v)\vert =M\), \(\frac{1}{q+1}< l\le \pi \), \(\sin \frac{l}{2}\ge \frac{l}{\pi }\), \(\sin ^{2}ql\le 1\), and \(\sup_{0\le w\le 1}\vert k^{\prime }(w)\vert =N\), using (10) and (12), we get

$$\begin{aligned} \bigl\vert K_{pq}(s,l) \bigr\vert =& \frac{1}{4\pi ^{2}} \Biggl\vert \sum_{j=0}^{p} \int _{0}^{1}\binom{p}{j}v^{j}(1-v)^{p-j}\,d\chi (v) \frac{\sin (j+\frac{1}{2} )s}{\sin \frac{s}{2}} \\ &{}\times\sum_{k=0}^{q} \int _{0}^{1}\binom{q}{k}w^{k}(1-w)^{q-k}\,d\chi (w) \frac{\sin (k+\frac{1}{2} )l}{\sin \frac{l}{2}} \Biggr\vert \\ =&\frac{1}{4\pi ^{2}} \Biggl\vert \sum_{j=0}^{p} \int _{0}^{1}\binom{p}{j}v^{j}(1-v)^{p-j}\,d\chi (v)\frac{ (j+\frac{1}{2} )s}{\frac{s}{\pi }} \\ &{}\times\sum_{k=0}^{q} \int _{0}^{1}\binom{q}{k}w^{k}(1-w)^{q-k}\,d\chi (w) \frac{ (k+\frac{1}{2} )l}{\frac{l}{\pi }} \Biggr\vert \\ =&\frac{1}{16sl} \Biggl\vert \sum_{j=0}^{p} \int _{0}^{1}\binom{p}{j}v^{j}(1-v)^{p-j}\,d\chi (v) \biggl(j+\frac{1}{2} \biggr)s \\ &{}\times\sum _{k=0}^{q} \int _{0}^{1} \binom{q}{k}w^{k}(1-w)^{q-k}\,d\chi (w) (2k+1) \Biggr\vert \\ \le& \frac{MN}{16sl} \Biggl\vert \sum_{j=0}^{p} \int _{0}^{1}\binom{p}{j}v^{j}(1-v)^{p-j}e^{i (j+\frac{1}{2} )s}\,dv \sum_{k=0}^{q} \int _{0}^{1} \binom{q}{k}w^{k}(1-w)^{q-k}e^{i (k+\frac{1}{2} )l}\,dw \Biggr\vert \\ \le& \frac{MN}{16sl} \biggl\vert \frac{\sin ^{2}(p+1)\frac{s}{2}}{(p+1)\frac{s}{2}} \frac{\sin ^{2}(q+1)\frac{l}{2}}{(q+1)\frac{l}{2}} \biggr\vert \\ =&\frac{MN}{16sl} \biggl\vert \frac{1}{(p+1)\frac{s}{2}} \frac{1}{(q+1)\frac{l}{2}} \biggr\vert \\ =&O \biggl(\frac{1}{(p+1)s^{2}}\frac{1}{(q+1)l^{2}} \biggr). \end{aligned}$$
(13)

 □

Lemma 3.5

Let\(g(y,z)\in Y_{r}^{(\xi )}\). Then for\(0< s\le \pi \)and\(0< l\le \pi \),

  1. (i)

    \(\Vert \phi (\cdot , s,\cdot ,l)\Vert _{r}=O(\xi (s,l) )\);

  2. (ii)

    \(\Vert \phi (\cdot +v,\cdot +w,s,l)+\phi (\cdot +v,\cdot -w,s,l)+ \phi (\cdot -v,\cdot +w,s,l)+\phi (\cdot -v,\cdot +w,s,l)+ \phi ( \cdot -v,\cdot -w,s,l)-4\phi (\cdot s,\cdot l)\Vert _{r}=\big\{\scriptsize{ \begin{array}{l} 8 ( \xi (s,l) ) , \\ 8 ( \xi (v,w) ) ; \end{array}} \)

  3. (iii)

    If\(\xi (s,l)\)and\(\eta (s,l)\)are as defined in Theorem 2.1, then\(\Vert \phi (\cdot +v,\cdot +w,s,l)+\phi (\cdot +v,\cdot -w,s,l)+ \phi (\cdot -v,\cdot +w,s,l)+\phi (\cdot -v,\cdot +w,s,l)+ \phi ( \cdot -v,\cdot -w,s,l)-4\phi (\cdot s,\cdot l)\Vert _{r}=8 ( \eta (v,w)\frac{\xi (s,l)}{\eta (s,l)} ) \), where

    $$\begin{aligned} \phi (y,z;s,l) =&\frac{1}{4} \bigl[ g(y+s,z+l)+g(y+s,z-l)+g(y-s,z+l) \\ &{}+g(y-s,z-l)-4g(y,z) \bigr] . \end{aligned}$$

Proof

(i) Since

$$ \phi (y,z;s,l)=\frac{1}{4} \bigl[g(y+s,z+l)+g(y+s,z-l)+g(y-s,z+l)+g(y-s,z-l)-4g(y,z) \bigr], $$

applying Minkowski’s inequality, we have

$$\begin{aligned} \bigl\Vert \phi (\cdot ,s,\cdot ,l) \bigr\Vert _{r}&\le \frac{1}{4} \bigl\Vert g(y+s,z+l)+g(y+s,z-l) \\ &\quad {}+g(y-s,z+l)+g(y-s,z-l)-4g(y,z) \bigr\Vert _{r} \\ &=O \bigl(\xi (s,l) \bigr). \end{aligned}$$

 □

Proof

(ii) Clearly,

$$\begin{aligned} & \bigl\vert \phi (y+v, z+w, s,l)+\phi (y+v,z-w,s,l)+\phi (y-v,z+w,s,l) \\ &\qquad {}+ \phi (y-v,z-w,s,l)-4\phi (y,z,s,l) \bigr\vert \\ &\quad \le\bigl\vert g(y+v+s,z+w+l)+g(y+v+s,z+w-l)+g(y+v-s,z+w+l) \\ &\qquad {}+g(y+v-s,z+w-l)-4g(y+v,z+w) \bigr\vert \\ &\qquad {}+ \bigl\vert g(y+v+s,z-w+l)+g(y+v+s,z-w-l)+g(y+v-s,z-w+l) \\ &\qquad {}+g(y+v-s,z-w-l)-4g(y+v,z-w) \bigr\vert \\ &\qquad {}+ \bigl\vert g(y-v+s,z+w+l)+g(y-v+s,z+w-l)+g(y-v-s,z+w+l) \\ &\qquad {}+g(y-v-s,z+w-l)-4g(y-v,z+w) \bigr\vert \\ &\qquad {}+ \bigl\vert g(y-v+s,z-w+l)+g(y-v+s,z-w-l)+g(y-v-s,z-w+l) \\ &\qquad {}+g(y-v-s,z-w-l)-4g(y-v,z-w) \bigr\vert \\ &\qquad {}-4 \bigl\vert g(y+s,z+l)+g(y+s,z-l)+g(y-s,z+l)+g(y-s,z-l)-4g(y,z) \bigr\vert . \end{aligned}$$

Applying Minkowski’s inequality, we have

$$\begin{aligned} & \bigl\Vert \phi (\cdot +v,\cdot +w,s,l)+\phi (\cdot +v,\cdot -w,s,l)+ \phi ( \cdot -v,\cdot +w,s,l) \\ &\qquad {}+\phi (\cdot -v,\cdot -w,s,l)-4\phi ( \cdot ,s,\cdot ,l) \bigr\Vert _{r} \\ &\quad \le \bigl\Vert g(\cdot +v+s,\cdot +w+l)+g(\cdot +v+s,\cdot +w-l)+g(\cdot +v-s, \cdot +w+l) \\ &\qquad {}+g(\cdot +v-s,\cdot +w-l)-4g(\cdot +v,\cdot +w) \bigr\Vert _{r} \\ &\qquad {}+ \bigl\Vert g(\cdot +v+s,\cdot -w+l)+g(\cdot +v+s,\cdot -w-l)+g(\cdot +v-s, \cdot -w+l) \\ &\qquad {}+f(\cdot +v-s,\cdot -w-l)-4g(\cdot +v,\cdot -w) \bigr\Vert _{r} \\ &\qquad {}+ \bigl\Vert g(\cdot -v+s,\cdot +w+l)+g(\cdot -v+s,\cdot +w-l)+g(\cdot -v-s, \cdot +w+l) \\ &\qquad {}+g(\cdot -v-s,\cdot +w-l)-4g(\cdot -v,\cdot +w) \bigr\Vert _{r} \\ &\qquad {}+ \bigl\Vert g(\cdot -v+s,\cdot -w+l)+g(\cdot -v+s,\cdot -w-l)+g(\cdot -v-s, \cdot -w+l) \\ &\qquad {}+g(\cdot -v-s,\cdot -w-l)-4g(\cdot -v,\cdot -w) \bigr\Vert _{r} \\ &\qquad {}-4 \bigl\Vert g(\cdot +s,\cdot +l)+g(\cdot +s,\cdot -l)+g(\cdot -s,\cdot +l)+g( \cdot -s,\cdot -l)-4g(\cdot ,\cdot ) \bigr\Vert _{r} \\ &\quad =8 \bigl(\xi (s,l) \bigr). \end{aligned}$$

Also,

$$\begin{aligned} & \bigl\Vert \phi (\cdot +v,\cdot +w,s,l)+\phi (\cdot +v,\cdot -w,s,l)+ \phi ( \cdot -v,\cdot +w,s,l) \\ &\qquad {}+\phi (\cdot -v,\cdot -w,s,l)-4\phi ( \cdot +s,\cdot +l) \bigr\Vert _{r} \\ &\quad \le \bigl\Vert g(\cdot +s+v,\cdot +l+w)+g(\cdot +s+v,\cdot +l-w)+g(\cdot +s-v, \cdot +l+w) \\ &\qquad {}+g(\cdot +s-v,\cdot +l-w)-4g(\cdot +s,\cdot +l) \bigr\Vert _{r} \\ &\qquad {}+ \bigl\Vert g(\cdot +s+v,\cdot -l+w)+g(\cdot +s+v,\cdot -l-w)+g(\cdot +s-v, \cdot -l+w) \\ &\qquad {}+g(\cdot +s-v,\cdot -l-w)-4g(\cdot +s,\cdot -l) \bigr\Vert _{r} \\ &\qquad {}+ \bigl\Vert g(\cdot -s+v,\cdot +l+w)+g(\cdot -s+v,\cdot +l-w)+g(\cdot -s-v, \cdot +l+w) \\ &\qquad {}+g(\cdot -s-v,\cdot +l-w)-4g(\cdot -s,\cdot +l) \bigr\Vert _{r} \\ &\qquad {}+ \bigl\Vert g(\cdot -s+v,\cdot -l+w)+g(\cdot -s+v,\cdot -l-w)+g(\cdot -s-v, \cdot -l+w) \\ &\qquad {}+g(\cdot -s-v,\cdot -l-w)-4g(\cdot -s,\cdot -l) \bigr\Vert _{r} \\ &\qquad {}-4 \bigl\Vert g(\cdot +v,\cdot +w)+g(\cdot +v,\cdot -w)+g(\cdot -v,\cdot +w)+g( \cdot -v,\cdot -w)-4g(\cdot ,\cdot ) \bigr\Vert _{r} \\ &\quad =8 \bigl(\xi (v,w) \bigr). \end{aligned}$$

 □

Proof

(iii) Since η is positive and nondecreasing, \(s\le v\), \(l\le w\), using Lemma 3.5(ii), we obtain

$$\begin{aligned} &\bigl\Vert \phi (\cdot +v,\cdot +w,s,l)+\phi (\cdot +v,\cdot -w,s,l)+\phi ( \cdot -v,\cdot +w,s,l) \\ &\qquad {}+\phi (\cdot -v,\cdot -w,s,l)-4\phi (\cdot s, \cdot l) \bigr\Vert _{r} \\ &\quad =O \bigl(\xi (s,l) \bigr) \\ &\quad =8 \biggl(\eta (s,l) \biggl(\frac{\xi (s,l)}{\eta (s,l)} \biggr) \biggr) \\ &\quad =8 \biggl(\eta (v,w) \biggl(\frac{\xi (s,l)}{\eta (s,l)} \biggr) \biggr). \end{aligned}$$

Since \(\frac{\xi (s,l)}{\eta (s,l)}\) is positive and nondecreasing, if \(v\ge s\), \(w\ge l\), then \(\frac{\xi (s,l)}{\eta (s,l)}\ge \frac{\xi (v,w)}{\eta (v,w)}\). Then by Lemma 3.5(ii) we get that

$$\begin{aligned} &\bigl\Vert \phi (\cdot +v,\cdot +w,s,l)+\phi (\cdot +v,\cdot -w,s,l)+\phi ( \cdot -v,\cdot +w,s,l) \\ &\qquad {}+\phi (\cdot -v,\cdot -w,s,l)-4\phi (\cdot s, \cdot l) \bigr\Vert _{r} \\ &\quad =8 \bigl(\xi (s,l) \bigr) \\ &\quad =8 \biggl(\eta (v,w)\frac{\xi (s,l)}{\eta (s,l)} \biggr). \end{aligned}$$

 □

Proof of main theorem

Proof of Theorem 2.1

$$ s_{p,q}(y,z)-g(y,z)=\frac{1}{\pi ^{2}} \int _{0}^{\pi } \int _{0}^{\pi } \phi (y,z,v,w) \frac{ [ \sin ( p+\frac{1}{2} ) s ] [ \sin ( q+\frac{1}{2} ) l ] }{4\sin \frac{s}{2}\sin \frac{l}{2}} \,ds\,dl. $$
(14)

Taking into account (14) and that \(\tau _{p,q}(y,z)\) is double Hausdorff matrix means of \(s_{p,q}(y,z)\), we write

$$\begin{aligned} \tau _{p,q}(y,z)-g(y,z)& =\sum_{j=0}^{p} \sum_{k=0}^{q}h_{p,q,j,k} \bigl\{ s_{j,k}(y,z)-g(y,z) \bigr\} \\ & =\frac{1}{\pi ^{2}} \int _{0}^{\pi } \int _{0}^{\pi }\phi (y,z,v,w) \sum _{j=0}^{p}\sum_{k=0}^{q}h_{p,q,j,k} \frac{ [ \sin ( j+\frac{1}{2} ) s ] [ \sin ( k+\frac{1}{2} ) l ] }{4\sin \frac{s}{2}\sin \frac{l}{2}}\,ds\,dl \\ & = \int _{0}^{\pi } \int _{0}^{\pi }\phi (y,z,s,l)K_{pq}(s,l) \,ds\,dl. \end{aligned}$$

Let

$$\begin{aligned} l_{p,q}(y,z)& =t_{p,q}^{\Delta _{H_{p,q}}}(y,z)-g(y,z) \\ & = \int _{0}^{\pi } \int _{0}^{\pi }\phi (y,z,s,l)K_{pq}(s,l) \,ds\,dl. \end{aligned}$$

Then

$$\begin{aligned} & l_{p,q}(y+v,z+w)+l_{p,q}(y+v,z-w)+l_{p,q}(y-v,z+w)+l_{p,q}(y-v,z-w)-4l_{p,q}(y,z) \\ &\quad = \int _{0}^{\pi } \int _{0}^{\pi } \bigl( \phi (y+v,z+w,s,l)+\phi (y+v,z-w,s,l)+ \phi (y-v,z+w,s,l) \\ &\qquad {}+\phi (y-v,z-w,s,l)-4\phi (y,z,s,l) \bigr) K_{pq}(s,l)\,ds\,dl. \end{aligned}$$

By generalized Minkowski’s inequality

$$\begin{aligned} \bigl\Vert & l_{p,q}(\cdot +v,\cdot +w)+l_{p,q}(\cdot +v,\cdot -w)+l_{p,q}( \cdot -v,\cdot +w)+l_{p,q}(\cdot -v, \cdot -w)-4l_{p,q}(\cdot ,\cdot ) \bigr\Vert _{r} \\ &\quad \leq \int _{0}^{\pi } \int _{0}^{\pi } \bigl\Vert \phi (\cdot +v,\cdot +w,s,l)+ \phi (\cdot +v,\cdot -w,s,l)+\phi (\cdot -v,\cdot +w,s,l) \\ &\qquad {}+\phi ( \cdot -v,\cdot -w,s,l)-4\phi (\cdot ,s,\cdot ,l) \bigr\Vert _{r}K_{pq}(s,l) \,ds\,dl \\ &\quad = \biggl( \int _{0}^{\frac{1}{p+1}} \int _{0}^{\frac{1}{q+1}}+ \int _{0}^{ \frac{1}{p+1}} \int _{\frac{1}{q+1}}^{\pi }+ \int _{\frac{1}{p+1}}^{\pi } \int _{0}^{ \frac{1}{q+1}}+ \int _{\frac{1}{p+1}}^{\pi } \int _{\frac{1}{q+1}}^{\pi } \biggr) \\ &\qquad {}\times\bigl\Vert \phi (\cdot +v,\cdot +w,s,l)+\phi (\cdot +v,\cdot -w,s,l)+ \phi (\cdot -v,\cdot +w,s,l) \\ &\qquad {} +\phi (\cdot -v,\cdot -w,s,l)-4\phi (\cdot ,s,\cdot ,l) \bigr\Vert _{r}K_{pq}(s,l)\,ds\,dl \\ &\quad =I_{1}+I_{2}+I_{3}+I_{4}. \end{aligned}$$
(15)

Using Lemma 3.1 and Lemma 3.5(iii), we obtain

$$ \begin{aligned} &I_{1} = \int _{0}^{\frac{1}{p+1}} \int _{0}^{\frac{1}{q+1}} \bigl\Vert \phi ( \cdot +v, \cdot +w,s,l)+\phi (\cdot +v,\cdot -w,s,l)+\phi (\cdot -v, \cdot +w,s,l) \\ &\hphantom{I_{1} ={}} {} +\phi ( \cdot -v,\cdot -w,s,l)+\phi (\cdot -v,\cdot -w,s,l)-4\phi (\cdot ,s,\cdot ,l) \bigr\Vert _{r}K_{pq}(s,l) \,ds\,dl \\ &\hphantom{I_{1} } =8 \biggl( \int _{0}^{\frac{1}{p+1}} \int _{0}^{\frac{1}{q+1}}\eta (v,w) \frac{\xi (s,l)}{\eta (s,l)}(p+1) (q+1)\,ds\,dl \biggr) \\ &\hphantom{I_{1} } =8 \biggl( (p+1) (q+1)\eta (v,w) \int _{0}^{\frac{1}{p+1}} \int _{0}^{ \frac{1}{q+1}}\frac{\xi (s,l)}{\eta (s,l)}\,ds\,dl \biggr) \\ &\hphantom{I_{1} } =8 \biggl( (p+1) (q+1)\eta (v,w) \biggl\{ \int _{0}^{\frac{1}{p+1}} \frac{\xi ( \frac{1}{p+1},l ) }{\eta ( \frac{1}{q+1},l ) } \biggr\} \,dl \int _{0}^{\frac{1}{q+1}}\,ds \biggr) \\ &\hphantom{I_{1} } =8 \biggl( (p+1)\eta (v,w) \biggl\{ \int _{0}^{\frac{1}{p+1}} \frac{\xi ( \frac{1}{p+1},l ) }{\eta ( \frac{1}{p+1},l ) } \biggr\} \,dl \biggr) \\ &\hphantom{I_{1} } =8 \biggl( (p+1)\eta (v,w) \frac{\xi ( \frac{1}{p+1},\frac{1}{q+1} ) }{\eta ( \frac{1}{p+1},\frac{1}{q+1} ) } \biggl\{ \int _{0}^{\frac{1}{p+1}}\,dl \biggr\} \biggr), \\ &I_{1}=8 \biggl( \eta (v,w) \frac{\xi ( \frac{1}{p+1},\frac{1}{q+1} ) }{\xi ( \frac{1}{p+1},\frac{1}{q+1} ) } \biggr) . \end{aligned} $$
(16)

Using Lemma 3.3 and Lemma 3.5(iii), we obtain

$$\begin{aligned} I_{2}& = \int _{0}^{\frac{1}{p+1}} \int _{\frac{1}{q+1}}^{\pi } \bigl\Vert \phi (\cdot +v,\cdot +w,s,l)+\phi (\cdot +v,\cdot -w,s,l)+\phi ( \cdot -v,\cdot +w,s,l) \\ &\quad {} +\phi (\cdot -v,\cdot -w,s,l)+\phi (\cdot -v, \cdot -w,s,l)-4\phi (\cdot ,s,\cdot ,l) \bigr\Vert _{r}K_{pq}(s,l) \,ds\,dl \\ & =8 \biggl( \int _{0}^{\frac{1}{p+1}} \int _{\frac{1}{q+1}}^{\pi } \eta (v,w)\frac{\xi (s,l)}{\eta (s,l)}(p+1)\frac{1}{(q+1)l^{2}}\,ds\,dl \biggr) \\ & =8 \biggl( \biggl( \frac{p+1}{q+1} \biggr) \eta (v,w) \int _{ \frac{1}{q+1}}^{\pi } \frac{\xi ( \frac{1}{p+1},l ) }{\eta ( \frac{1}{p+1},l ) } \frac{1}{l^{2}}\,dl \biggr) . \end{aligned}$$
(17)

Using Lemma 3.2 and Lemma 3.5(iii), we obtain

$$\begin{aligned} I_{3}& = \int _{\frac{1}{p+1}}^{\pi } \int _{0}^{\frac{1}{q+1}} \bigl\Vert \phi (\cdot +v,\cdot +w,s,l)+\phi (\cdot +v,\cdot -w,s,l)+\phi ( \cdot -v,\cdot +w,s,l) \\ &\quad {} +\phi (\cdot -v,\cdot -w,s,l)+\phi (\cdot -v, \cdot -w,s,l)-4\phi (\cdot ,s,\cdot ,l) \bigr\Vert _{r}K_{pq}(s,l) \,ds\,dl \\ & =8 \biggl( \int _{\frac{1}{p+1}}^{\pi } \int _{0}^{\frac{1}{q+1}} \eta (v,w)\frac{\xi (s,l)}{\eta (s,l)}(q+1)\frac{1}{(p+1)s^{2}}\,ds\,dl \biggr) \\ & =8 \biggl( \biggl( \frac{q+1}{p+1} \biggr) \eta (v,w) \int _{ \frac{1}{p+1}}^{\pi } \frac{\xi ( s,\frac{1}{q+1} ) }{\eta ( s,\frac{1}{q+1} ) } \frac{1}{s^{2}}\,ds \biggr) . \end{aligned}$$
(18)

Using Lemma 3.4 and Lemma 3.5(iii), we obtain

$$\begin{aligned} I_{4}& = \int _{\frac{1}{p+1}}^{\pi } \int _{\frac{1}{q+1}}^{\pi } \bigl\Vert \phi (\cdot +v,\cdot +w,s,l)+\phi (\cdot +v,\cdot -w,s,l)+\phi ( \cdot -v,\cdot +w,s,l) \\ &\quad {} +\phi (\cdot -v,\cdot -w,s,l)+\phi (\cdot -v, \cdot -w,s,l)-4\phi (\cdot ,s,\cdot ,l) \bigr\Vert _{r}K_{pq}(s,l) \,ds\,dl \\ & =8 \biggl( \int _{\frac{1}{p+1}}^{\pi } \int _{\frac{1}{q+1}}^{\pi } \eta (v,w)\frac{\xi (s,l)}{\eta (s,l)}\frac{1}{(p+1)s^{2}} \frac{1}{(q+1)l^{2}}\,ds \,dl \biggr) \\ & =8 \biggl( \frac{1}{(p+1)}\frac{1}{(q+1)}\eta (v,w) \int _{ \frac{1}{p+1}}^{\pi } \int _{\frac{1}{q+1}}^{\pi } \frac{\xi (s,l)}{\eta (s,l)} \frac{1}{s^{2}}\frac{1}{l^{2}}\,ds\,dl \biggr) . \end{aligned}$$
(19)

By (15), (16), (17), (18), and (19), we have

$$\begin{aligned} & \bigl\Vert l_{p,q}(\cdot +v,\cdot +w)+l_{p,q}(\cdot +v,\cdot -w)+l_{p,q}( \cdot -v,\cdot +w)+l_{p,q}(\cdot -v, \cdot -w)-4l_{p,q}(\cdot ,\cdot ) \bigr\Vert _{r} \\ &\quad =8 \biggl( \eta (v,w) \frac{\eta ( \frac{1}{p+1},\frac{1}{q+1} ) }{\eta ( \frac{1}{p+1},\frac{1}{q+1} ) } \biggr) +8 \biggl( \biggl( \frac{p+1}{q+1} \biggr) \eta (v,w) \int _{\frac{1}{q+1}}^{\pi } \frac{\xi ( \frac{1}{p+1},l ) }{\eta ( \frac{1}{p+1},l ) } \frac{1}{l^{2}}\,dl \biggr) \\ &\qquad {} +8 \biggl( \biggl( \frac{q+1}{p+1} \biggr) \eta (v,w) \int _{ \frac{1}{p+1}}^{\pi } \frac{\xi ( s,\frac{1}{q+1} ) }{\eta ( s,\frac{1}{q+1} ) } \frac{1}{s^{2}}\,ds \biggr) \\ &\qquad {}+8 \biggl( \frac{1}{(p+1)(q+1)} \eta (v,w) \int _{\frac{1}{p+1}}^{\pi } \int _{\frac{1}{q+1}}^{\pi } \frac{\xi (s,l)}{\eta (s,l)} \frac{1}{s^{2}}\frac{1}{l^{2}}\,ds\,dl \biggr) . \end{aligned}$$
(20)

Thus

$$\begin{aligned} & \sup_{\substack{ v\neq 0 \\ w\neq 0}} \frac{ \Vert l_{p,q}(\cdot +v,\cdot +w)+l_{p,q}(\cdot +v,\cdot -w)+l_{p,q}(\cdot -v,\cdot +w)+l_{p,q}(\cdot -v,\cdot -w)-4l_{p,q}(\cdot ,\cdot ) \Vert _{r}}{\eta (v,w)} \\ &\quad =8 \biggl( \frac{\xi ( \frac{1}{p+1},\frac{1}{q+1} ) }{\eta ( \frac{1}{p+1},\frac{1}{q+1} ) } \biggr) +O \biggl( \biggl( \frac{p+1}{q+1} \biggr) \int _{\frac{1}{q+1}}^{\pi } \frac{\xi ( \frac{1}{p+1},l ) }{\eta ( \frac{1}{p+1},l ) } \frac{1}{l^{2}}\,dl \biggr) \\ &\qquad {} +8 \biggl( \biggl( \frac{q+1}{p+1} \biggr) \int _{\frac{1}{p+1}}^{ \pi } \frac{\xi ( s,\frac{1}{q+1} ) }{\eta ( s,\frac{1}{q+1} ) }\frac{1}{s^{2}}\,ds \biggr) \\ &\qquad {}+O \biggl( \frac{1}{(p+1)(q+1)} \int _{\frac{1}{p+1}}^{\pi } \int _{\frac{1}{q+1}}^{\pi } \frac{\xi (s,l)}{\eta (s,l)} \frac{1}{s^{2}}\frac{1}{l^{2}}\,ds\,dl \biggr) . \end{aligned}$$
(21)

Using Lemmas 3.13.4 and Lemma 3.5(i), we obtain

$$\begin{aligned} &\bigl\Vert l_{p,q}(\cdot ,\cdot ) \bigr\Vert _{r} \\ &\quad = \bigl\Vert t_{p,q}^{\Delta _{H_{p,q}}}-g \bigr\Vert _{r} \\ &\quad \leq \biggl( \int _{0}^{\frac{1}{p+1}} \int _{0}^{\frac{1}{q+1}}+ \int _{0}^{\frac{1}{p+1}} \int _{\frac{1}{q+1}}^{\pi }+ \int _{\frac{1}{p+1}}^{ \pi } \int _{0}^{\frac{1}{q+1}}+ \int _{\frac{1}{p+1}}^{\pi } \int _{ \frac{1}{q+1}}^{\pi } \biggr) \bigl\Vert \phi (\cdot ,s,\cdot ,l) \bigr\Vert _{r} \bigl\vert K_{pq}(s,l) \bigr\vert \,ds\,dl \\ &\quad = \int _{0}^{\frac{1}{p+1}} \int _{0}^{\frac{1}{q+1}} \bigl\Vert \phi ( \cdot ,s\cdot ,l) \bigr\Vert _{r} \bigl\vert K_{pq}(s,l) \bigr\vert \,ds\,dl+ \int _{0}^{\frac{1}{p+1}} \int _{\frac{1}{q+1}}^{\pi } \bigl\Vert \phi (\cdot ,s,\cdot ,l) \bigr\Vert _{r} \bigl\vert K_{pq}(s,l) \bigr\vert \,ds\,dl \\ &\qquad {} + \int _{\frac{1}{p+1}}^{\pi } \int _{0}^{\frac{1}{q+1}} \bigl\Vert \phi ( \cdot ,s\cdot ,l) \bigr\Vert _{r} \bigl\vert K_{pq}(s,l) \bigr\vert \,ds\,dl+ \int _{\frac{1}{p+1}}^{ \pi } \int _{\frac{1}{q+1}}^{\pi } \bigl\Vert \phi (\cdot ,s,\cdot ,l) \bigr\Vert _{r} \bigl\vert K_{pq}(s,l) \bigr\vert \,ds\,dl \\ &\quad =O \biggl( (p+1) (q+1) \int _{0}^{\frac{1}{p+1}} \int _{0}^{ \frac{1}{q+1}}\xi (s,l)\,ds\,dl \biggr) +O \biggl( \biggl( \frac{p+1}{q+1} \biggr) \int _{0}^{\frac{1}{p+1}} \int _{\frac{1}{q+1}}^{\pi } \frac{\xi (s,l)}{l^{2}}\,ds\,dl \biggr) \\ &\qquad {} +O \biggl( \biggl( \frac{q+1}{p+1} \biggr) \int _{ \frac{1}{p+1}}^{\pi } \int _{0}^{\frac{1}{q+1}}\frac{\xi (s,l)}{s^{2}}\,ds\,dl \biggr) +O \biggl( \frac{1}{(p+1)(q+1)} \int _{\frac{1}{p+1}}^{\pi } \int _{ \frac{1}{q+1}}^{\pi }\frac{\xi (s,l)}{s^{2}l^{2}}\,ds\,dl \biggr) \\ &\quad =O \biggl( \xi \biggl( \frac{1}{p+1},\frac{1}{q+1} \biggr) \biggr) +O \biggl( \biggl( \frac{p+1}{q+1} \biggr) \int _{0}^{ \frac{1}{p+1}} \int _{\frac{1}{q+1}}^{\pi }\frac{\xi (s,l)}{l^{2}}\,ds\,dl \biggr) \\ &\qquad {}+O \biggl( \biggl( \frac{q+1}{p+1} \biggr) \int _{\frac{1}{p+1}}^{\pi } \int _{0}^{\frac{1}{q+1}}\frac{\xi (s,l)}{s^{2}}\,ds\,dl \biggr) +O \biggl( \frac{1}{(p+1)(q+1)} \int _{\frac{1}{p+1}}^{\pi } \int _{\frac{1}{q+1}}^{\pi }\frac{\xi (s,l)}{s^{2}l^{2}}\,ds\,dl \biggr) \\ &\quad =O \biggl( \xi \biggl( \frac{1}{p+1},\frac{1}{q+1} \biggr) \biggr) +O \biggl( \biggl( \frac{p+1}{q+1} \biggr) \int _{ \frac{1}{q+1}}^{\pi }\frac{\xi ( \frac{1}{p+1},t ) }{l^{2}} \,dl \biggr) \\ &\qquad {}+ O \biggl( \biggl( \frac{q+1}{p+1} \biggr) \int _{ \frac{1}{p+1}}^{\pi } \frac{\xi ( s,\frac{1}{q+1} ) }{s^{2}}\,ds \biggr) \\ &\qquad {} +O \biggl( \frac{1}{(p+1)(q+1)} \int _{\frac{1}{p+1}}^{\pi } \int _{\frac{1}{q+1}}^{\pi }\frac{\xi (s,l)}{s^{2}l^{2}}\,ds\,dl \biggr) , \end{aligned}$$
(22)
$$\begin{aligned} &\bigl\Vert l_{p,q}(\cdot ,\cdot ) \bigr\Vert _{r}^{(\eta )} \\ &\quad = \bigl\Vert l_{p,q}( \cdot ,\cdot ) \bigr\Vert _{r} \\ &\qquad {}+ \sup_{\substack{ v\neq 0 \\ w\neq 0}} \frac{ \Vert l_{p,q}(\cdot +v,\cdot +w)+l_{p,q} (\cdot +v,\cdot -w)+l_{p,q}(\cdot -v,\cdot +w) +l_{p,q}(\cdot -v,\cdot -w)-4l_{p,q}(\cdot ,\cdot ) \Vert _{r}}{\eta (v,w)} \\ &\quad =O \biggl( \xi \biggl( \frac{1}{p+1},\frac{1}{q+1} \biggr) \biggr) +O \biggl( \biggl( \frac{p+1}{q+1} \biggr) \int _{ \frac{1}{q+1}}^{\pi }\frac{\xi ( \frac{1}{p+1},l ) }{l^{2}} \,dl \biggr) \\ &\qquad {}+ O \biggl( \biggl( \frac{q+1}{p+1} \biggr) \int _{ \frac{1}{p+1}}^{\pi } \frac{\xi ( s,\frac{1}{q+1} ) }{s^{2}}\,ds \biggr) +O \biggl( \frac{1}{(p+1)(q+1)} \int _{\frac{1}{p+1}}^{\pi } \int _{\frac{1}{q+1}}^{\pi }\frac{\xi (s,l)}{s^{2}l^{2}}\,ds\,dl \biggr) \\ &\qquad {} +8 \biggl( \frac{\xi ( \frac{1}{p+1},\frac{1}{q+1} ) }{\eta ( \frac{1}{p+1},\frac{1}{q+1} ) } \biggr) +8 \biggl( \biggl( \frac{p+1}{q+1} \biggr) \int _{\frac{1}{q+1}}^{\pi } \frac{\xi ( \frac{1}{p+1},l ) }{\eta ( \frac{1}{p+1},l ) } \frac{1}{l^{2}}\,dl \biggr) \\ &\qquad {} +8 \biggl( \biggl( \frac{q+1}{p+1} \biggr) \int _{\frac{1}{p+1}}^{ \pi } \frac{\xi ( s,\frac{1}{q+1} ) }{\eta ( s,\frac{1}{q+1} ) }\frac{1}{s^{2}}\,ds \biggr) \\ &\qquad {}+8 \biggl( \frac{1}{(p+1)(q+1)} \int _{ \frac{1}{p+1}}^{\pi } \int _{\frac{1}{q+1}}^{\pi }\frac{\xi (s,l)}{\eta (s,l)} \frac{1}{s^{2}l^{2}} \biggr) . \end{aligned}$$
(23)

Since \(\xi (s,l)=\frac{\xi (s,l)}{\eta (s,l)}\) and \(\eta (s,l)\leq \eta (\pi ,\pi )\frac{\xi (s,l)}{\eta (s,l)}\), \(0< s\leq \pi \), \(0< l\leq \pi \), we get

$$\begin{aligned} \bigl\Vert l_{p,q}(\cdot ,\cdot ) \bigr\Vert _{r}^{(\eta )}& =O \biggl( \frac{\xi ( \frac{1}{p+1},\frac{1}{q+1} ) }{\eta ( \frac{1}{p+1},\frac{1}{q+1} ) } \biggr) +O \biggl( \biggl( \frac{p+1}{q+1} \biggr) \int _{\frac{1}{q+1}}^{\pi } \frac{\xi ( \frac{1}{p+1},l ) }{\eta ( \frac{1}{p+1},l ) } \frac{1}{l^{2}}\,dl \biggr) \\ &\quad {} +O \biggl( \biggl( \frac{q+1}{p+1} \biggr) \int _{ \frac{1}{p+1}}^{\pi }\frac{\xi ( s,\frac{1}{q+1} ) }{\eta ( s,\frac{1}{q+1} ) } \frac{1}{s^{2}}\,ds \biggr) \\ &\quad {}+O \biggl( \frac{1}{(p+1)(q+1)} \int _{\frac{1}{p+1}}^{\pi } \int _{\frac{1}{q+1}}^{\pi } \frac{\xi (s,l)}{\eta (s,l)} \frac{1}{s^{2}l^{2}}\,ds\,dl \biggr) . \end{aligned}$$
(24)

Since ξ and η are the Zygmund moduli of continuity, \(\frac{\xi (s,l)}{\eta (s,l)}\) is positive and nondecreasing, and therefore

$$\begin{aligned} \biggl( \frac{p+1}{q+1} \biggr) \int _{\frac{1}{q+1}}^{\pi } \frac{\xi ( \frac{1}{p+1},l ) }{\eta ( \frac{1}{p+1},l ) } \frac{1}{l^{2}}\,dl& \geq \frac{\xi ( \frac{1}{p+1},\frac{1}{q+1} ) }{\eta ( \frac{1}{p+1},\frac{1}{q+1} ) } \biggl( \frac{p+1}{q+1} \biggr) \int _{\frac{1}{q+1}}^{\pi }\frac{dl}{l^{2}} \\ & \geq \frac{\xi ( \frac{1}{p+1},\frac{1}{q+1} ) }{2\eta ( \frac{1}{p+1},\frac{1}{q+1} ) }(p+1). \end{aligned}$$
(25)

Then

$$ O \biggl( \biggl( \frac{p+1}{q+1} \biggr) \int _{ \frac{1}{q+1}}^{\pi }\frac{\xi ( \frac{1}{p+1},l ) }{\eta ( \frac{1}{p+1},l ) } \frac{1}{l^{2}}\,dl \biggr) =O \biggl( \frac{ ( \frac{p+1}{2} ) \xi ( \frac{1}{p+1},\frac{1}{q+1} ) }{\eta ( \frac{1}{p+1},\frac{1}{q+1} ) } \biggr) . $$
(26)

Since ξ and η are the Zygmund moduli of continuity, \(\frac{\xi (s,l)}{\eta (s,l)}\) is positive and nondecreasing, and therefore

$$\begin{aligned} \biggl( \frac{q+1}{p+1} \biggr) \int _{\frac{1}{p+1}}^{\pi } \frac{\xi ( s,\frac{1}{q+1} ) }{\eta ( s,\frac{1}{q+1} ) } \frac{1}{s^{2}}\,ds& \geq \frac{\xi ( \frac{1}{p+1},\frac{1}{q+1} ) }{\eta ( \frac{1}{p+1},\frac{1}{q+1} ) } \biggl( \frac{q+1}{p+1} \biggr) \int _{\frac{1}{p+1}}^{\pi }\frac{ds}{s^{2}} \\ & \geq \frac{\xi ( \frac{1}{p+1},\frac{1}{q+1} ) }{2\eta ( \frac{1}{p+1},\frac{1}{q+1} ) }(q+1). \end{aligned}$$
(27)

Then

$$ O \biggl( \biggl( \frac{q+1}{p+1} \biggr) \int _{ \frac{1}{p+1}}^{\pi }\frac{\xi ( s,\frac{1}{q+1} ) }{\eta ( s,\frac{1}{q+1} ) } \frac{1}{s^{2}}\,ds \biggr) =O \biggl( \frac{ ( \frac{q+1}{2} ) \xi ( \frac{1}{p+1},\frac{1}{q+1} ) }{\eta ( \frac{1}{p+1},\frac{1}{q+1} ) } \biggr) . $$
(28)

Since ξ and η are the Zygmund moduli of continuity, \(\frac{\xi (s,l)}{\eta (s,l)}\) is positive and nondecreasing, and therefore

$$\begin{aligned} \frac{1}{(p+1)(q+1)} \int _{\frac{1}{p+1}}^{\pi } \int _{\frac{1}{q+1}}^{ \pi }\frac{\xi (s,l)}{\eta (s,l)} \frac{1}{s^{2}l^{2}}\,ds\,dl& \geq \frac{\xi ( \frac{1}{p+1},\frac{1}{q+1} ) }{\eta ( \frac{1}{p+1},\frac{1}{q+1} ) }\frac{1}{(p+1)(q+1)} \int _{\frac{1}{p+1}}^{\pi } \int _{ \frac{1}{q+1}}^{\pi }\frac{ds}{s^{2}} \frac{dl}{l^{2}} \\ & \geq \frac{\xi ( \frac{1}{p+1},\frac{1}{q+1} ) }{4\eta ( \frac{1}{p+1},\frac{1}{q+1} ) }. \end{aligned}$$
(29)

Then

$$ O \biggl( \frac{\xi ( \frac{1}{p+1},\frac{1}{q+1} ) }{\eta ( \frac{1}{p+1},\frac{1}{q+1} ) } \biggr) =O \biggl( \frac{1}{(p+1)(q+1)} \int _{\frac{1}{p+1}}^{\pi } \int _{\frac{1}{q+1}}^{\pi } \frac{\xi (s,l)}{\eta (s,l)} \frac{1}{s^{2}}\frac{1}{l^{2}}\,ds\,dl \biggr) . $$
(30)

By equations (24), (26), (28), and (30) we get

$$\begin{aligned} \bigl\Vert l_{p,q}(\cdot ,\cdot ) \bigr\Vert _{r}^{(\eta )}& =O \biggl( \frac{\xi ( \frac{1}{p+1},\frac{1}{q+1} ) }{\eta ( \frac{1}{p+1},\frac{1}{q+1} ) } \biggr) +O \biggl( \frac{ ( \frac{p+1}{2} ) \xi ( \frac{1}{p+1},\frac{1}{q+1} ) }{\eta ( \frac{1}{p+1},\frac{1}{q+1} ) } \biggr) \\ &\quad {} +O \biggl( \frac{ ( \frac{q+1}{2} ) \xi ( \frac{1}{p+1},\frac{1}{q+1} ) }{\eta ( \frac{1}{p+1},\frac{1}{q+1} ) } \biggr) +O \biggl( \frac{1}{(p+1)(q+1)} \int _{\frac{1}{p+1}}^{ \pi } \int _{\frac{1}{q+1}}^{\pi }\frac{\xi (s,l)}{\eta (s,l)} \frac{1}{s^{2}}\frac{1}{l^{2}}\,ds\,dl \biggr) \\ & =O \biggl( 1+\frac{p+1}{2}+\frac{q+1}{2} \biggr) \frac{\xi ( \frac{1}{p+1},\frac{1}{q+1} ) }{\eta ( \frac{1}{p+1},\frac{1}{q+1} ) } \\ &\quad {}+O \biggl( \frac{1}{(p+1)(q+1)} \int _{\frac{1}{p+1}}^{ \pi } \int _{\frac{1}{q+1}}^{\pi }\frac{\xi (s,l)}{\eta (s,l)} \frac{1}{s^{2}}\frac{1}{l^{2}}\,ds\,dl \biggr) \\ & =O \biggl( 1+\frac{p+1}{2}+\frac{q+1}{2} \biggr) O \biggl( \frac{1}{(p+1)(q+1)} \int _{\frac{1}{p+1}}^{\pi } \int _{ \frac{1}{q+1}}^{\pi }\frac{\xi (s,l)}{\eta (s,l)} \frac{1}{s^{2}}\frac{1}{l^{2}}\,ds\,dl \biggr) \\ &\quad {} +O \biggl( \frac{1}{(p+1)(q+1)} \int _{\frac{1}{p+1}}^{\pi } \int _{\frac{1}{q+1}}^{\pi }\frac{\xi (s,l)}{\eta (s,l)} \frac{1}{s^{2}} \frac{1}{l^{2}}\,ds\,dl \biggr) \\ & =O \biggl( 1+\frac{p+1}{2}+\frac{q+1}{2}+1 \biggr) O \biggl( \frac{1}{(p+1)(q+1)} \int _{\frac{1}{p+1}}^{\pi } \int _{\frac{1}{q+1}}^{\pi }\frac{\xi (s,l)}{\eta (s,l)} \frac{1}{s^{2}}\frac{1}{l^{2}}\,ds\,dl \biggr) \\ & =O \biggl( \frac{p+q+6}{(p+1)(q+1)} \biggr) O \biggl( \int _{\frac{1}{p+1}}^{\pi } \int _{\frac{1}{q+1}}^{\pi } \frac{\xi (s,l)}{\eta (s,l)}\frac{1}{s^{2}}\frac{1}{l^{2}}\,ds\,dl \biggr) . \end{aligned}$$
(31)

Proof of Theorem 2.2

$$ E_{p,q}(g)= \bigl\Vert l_{p,q}(\cdot ,\cdot ) \bigr\Vert _{r}^{(\eta )}= O \biggl( \frac{p+q+6}{(p+1)(q+1)} \biggr) O \biggl( \int _{\frac{1}{p+1}}^{\pi } \int _{\frac{1}{q+1}}^{\pi } \frac{\xi (s,l)}{\eta (s,l)} \frac{1}{s^{2}}\frac{1}{l^{2}}\,ds\,dl \biggr) . $$

Since \(\frac{\xi (s,l)}{l\eta (s,l)}\) is positive and nonincreasing, by the second mean value theorem of integral calculus we have

$$\begin{aligned} E_{p,q}(g)& =O \biggl( \frac{p+q+6}{(p+1)(q+1)} \biggr) O \biggl( \int _{\frac{1}{p+1}}^{\pi }\frac{1}{s^{2}} \biggl( \int _{ \frac{1}{q+1}}^{\pi }\frac{\xi (s,l)}{\eta (s,l)} \frac{1}{l^{2}}\,dl \biggr) \,ds \biggr) \\ & =O \biggl( \frac{p+q+6}{(p+1)(q+1)} \biggr) O \biggl( \int _{\frac{1}{p+1}}^{\pi }\frac{1}{s^{2}} \biggl( (q+1) \frac{\xi ( s,\frac{1}{q+1} ) }{\eta ( s,\frac{1}{q+1} ) } \int _{ \frac{1}{q+1}}^{\pi }\frac{dl}{l} \biggr) \,ds \biggr) \\ & =O \biggl( \frac{p+q+6}{(p+1)} \biggr) O \biggl( \int _{\frac{1}{p+1}}^{\pi }\frac{1}{s^{2}} \biggl( \frac{\xi ( s,\frac{1}{q+1} ) }{\eta ( s,\frac{1}{q+1} ) }\log \pi (q+1) \biggr) \,ds \biggr) . \end{aligned}$$
(32)

Again, since \(\frac{\xi (s,l)}{s\eta (s,l)}\) is positive and nonincreasing, by the second mean value theorem of integral calculus we have

$$\begin{aligned} E_{p,q}(f)& =O \biggl( \frac{p+q+6}{(p+1)} \biggr) O \biggl( \log \pi (q+1) \int _{\frac{1}{p+1}}^{\pi } \frac{\xi ( s,\frac{1}{p+1} ) }{\eta ( s,\frac{1}{q+1} ) } \frac{1}{s^{2}}\,ds \biggr) \\ & =O \biggl( \frac{p+q+6}{(p+1)} \biggr) O \biggl( \log \pi (q+1) (p+1) \frac{\xi ( \frac{1}{p+1},\frac{1}{q+1} ) }{\eta ( \frac{1}{p+1},\frac{1}{q+1} ) } \int _{\frac{1}{p+1}}^{\pi } \frac{ds}{s} \biggr) \\ & =O \biggl( (p+q+6)\log \pi (q+1) \frac{\xi ( \frac{1}{p+1},\frac{1}{q+1} ) }{\eta ( \frac{1}{p+1},\frac{1}{q+1} ) } \log \pi (p+1) \biggr) \\ & =O \biggl( \frac{\xi ( \frac{1}{p+1},\frac{1}{nq+1} ) }{\eta ( \frac{1}{p+1},\frac{1}{q+1} ) }(p+q+6)\log \pi (p+q+2) \biggr) . \end{aligned}$$
(33)

Corollaries

Corollary 5.1

Following Remark 1.1(i), we obtain

$$ \bigl\Vert t_{p,q}^{(C,1,1)}(y,z)-g(y,z) \bigr\Vert _{r}^{(\eta )}=O \biggl( \frac{p+q+6}{(p+1)(q+1)} \int _{\frac{1}{p+1}}^{\pi } \int _{ \frac{1}{q+1}}^{\pi }\frac{\xi (s,l)}{\eta (s,l)s^{2}l^{2}} \biggr) , $$

whereξandηdenote the moduli of continuity of second order such that\(\xi (s,l)/\eta (s,l)\)is positive and nondecreasing.

Corollary 5.2

Following the Remark 1.1(i), we obtain

$$ \bigl\Vert t_{p,q}^{(E,r,r)}(y,z)-g(y,z) \bigr\Vert _{r}^{(\eta )}=O \biggl( \frac{p+q+6}{(p+1)(q+1)} \int _{\frac{1}{p+1}}^{\pi } \int _{ \frac{1}{q+1}}^{\pi }\frac{\xi (s,l)}{\eta (s,l)s^{2}l^{2}} \biggr) , $$

whereξandηdenote the moduli of continuity of second order such that\(\xi (s,l)/\eta (s,l)\)is positive and nondecreasing.

Conclusion

In this paper, we established the error estimate of a two-variable function \(g(y,z)\) in the generalized Zygmund class \(Y_{r}^{(\xi )}\) (\(r\geq 1\)) using the double Hausdorff matrix means of its double Fourier series. We have proved two results on error estimates of a two-variable function of g in the generalized Zygmund class.

References

  1. 1.

    Dhakal, B.P.: Approximation of functions belonging to Lipα class by matrix-Cesàro summability method. Int. Math. Forum 5(35), 1729–1735 (2010)

    MathSciNet  MATH  Google Scholar 

  2. 2.

    Dhakal, B.P.: Approximation of functions f belonging to Lip class by \((N,p,q)C_{1}\) means of its Fourier series. Int. J. Eng. Technol. 2(3), 1–15 (2013)

    MathSciNet  Google Scholar 

  3. 3.

    Nigam, H.K., Hadish, M.: Functional approximation in Besov space using generalized Nörlund–Hausdorff product matrix. J. Inequal. Appl. 2019, 191 (2019)

    Article  Google Scholar 

  4. 4.

    Kushwaha, J.K., Dhakal, B.P.: Approximation of a function belonging to \(\operatorname{Lip}(\alpha ,r)\) class by \(N_{p,q}.C_{1}\) summability method of its Fourier series. Nepal J. Sci. Technol. 14(2), 117–122 (2013)

    Article  Google Scholar 

  5. 5.

    Tiwari, K.S., Bariwal, C.S.: The degree of approximation of functions in Hölder metric by triangular matrix method of Fourier series. Int. J. Pure Appl. Math. 76(2), 227–232 (2012)

    MATH  Google Scholar 

  6. 6.

    Mishra, L.N., Mishra, V.N., Soravane, V.: Trigonometric approximation of functions belonging to Lipschitz class by matrix \(C^{1}N_{p}\) operator of conjugate series of Fourier series. Adv. Differ. Equ. 3013, 17 (2013)

    Google Scholar 

  7. 7.

    Mittal, M.L., Rhoades, B.E., Mishra, V.N., Singh, U.: Using infinite matrices to approximate functions of class \(\operatorname{Lip}(\alpha ,p)\) using trigonometric polynomials. J. Math. Anal. Appl. 326, 667–676 (2007)

    MathSciNet  Article  Google Scholar 

  8. 8.

    Singh, M.V., Mittal, M.L., Rhoades, B.E.: Approximation of functions in the generalized Zygmund class using Hausdorff means. J. Inequal. Appl. 2017, 101 (2017)

    MathSciNet  Article  Google Scholar 

  9. 9.

    Mittal, M.L., Singh, M.V.: Degree of approximation of signals (functions) in Besov space using linear operators. Asian-Eur. J. Math. 9, 1650009 (2016)

    MathSciNet  Article  Google Scholar 

  10. 10.

    Mohanty, M., Das, G., Beuria, S.: Degree of approximation of functions by their Fourier series in the Besov space by matrix mean. Int. J. Math. Appl. 4(2-B) (2016)

  11. 11.

    Mohanty, M., Das, G., Ray, B.K.: Degree of approximation of functions by their Fourier series in the Besov space by generalized matrix mean. Int. J. Math. Trends Technol. 36(1) (2016)

  12. 12.

    Singh, M.V., Mittal, M.L.: Approximation of functions in Besov space by deferred Cesàro mean. J. Inequal. Appl. 2016, 118 (2016)

    Article  Google Scholar 

  13. 13.

    Lal, S., Shireen: Best approximation of function of generalized Zygmund class matrix-Euler summability means of Fourier series. Bull. Math. Anal. Appl. 5(4), 1–13 (2013)

    MathSciNet  MATH  Google Scholar 

  14. 14.

    Değer, U.: On approximation by matrix means of the multiple Fourier series in the Hölder metric. Kyungpook Math. J. 56, 57–68 (2016)

    MathSciNet  Article  Google Scholar 

  15. 15.

    Móricz, F., Rhoades, B.E.: Approximation by Nörlund means of double Fourier series to continuous functions in two variables. Constr. Approx. 3, 281–296 (1987)

    MathSciNet  Article  Google Scholar 

  16. 16.

    Adams, C.R.: Hausdorff transformations for double sequences. Bull. Am. Math. Soc. 39, 303–312 (1933)

    MathSciNet  Article  Google Scholar 

  17. 17.

    Ramanujan, M.S.: On Hausdorff transformations for double sequences. Proc. Indian Acad. Sci., Sect. A, Phys. Sci. 42, 131–135 (1955)

    MathSciNet  Article  Google Scholar 

  18. 18.

    Ustina, F.: The Hausdorff means for double sequences. Can. Math. Bull. 10, 347–352 (1967)

    MathSciNet  Article  Google Scholar 

  19. 19.

    Jiang, Z.-J.: On Stević–Sharma operator from the Zygmund space to the Bloch–Orlicz space. Adv. Differ. Equ. 2015, 228 (2015)

    Article  Google Scholar 

Download references

Acknowledgements

Not applicable.

Availability of data and materials

Data sharing is not applicable to this paper as no datasets were generated or analyzed during the current study.

Authors’ information

H.K. Nigam, hknigam@cusb.ac.in; Supriya Rani, supriya@cusb.ac.in.

Funding

No funding available.

Author information

Affiliations

Authors

Contributions

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

Corresponding author

Correspondence to M. Mursaleen.

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

Nigam, H.K., Mursaleen, M. & Rani, S. Approximation of functions in generalized Zygmund class by double Hausdorff matrix. Adv Differ Equ 2020, 317 (2020). https://doi.org/10.1186/s13662-020-02711-z

Download citation

Keywords

  • Error estimation
  • Generalized Zygmund class
  • Double Hausdorff \((\Delta _{H_{pq}})\) summability means
  • Double Fourier series (DFS)