1 Introduction and motivation

It makes no sense to speak of the sum of a divergent series. Nevertheless, a series that is not “too badly divergent” can be assigned a generalized sum in a variety of natural ways. We are familiar with the notion of summability in connection with the theorems of Abel and Cesàro, which asserts that every convergent series is Abel or Cesàro summable to its ordinary sum. More generally, an Abelian theorem or Cesàro theorem work to the effect that a method of summability assigns to each convergent series its ordinary sum. A Tauberian theorem goes in the opposite direction and asserts that every summable series, which is not too badly divergent is actually convergent.

Tauber [33] introduced the first Tauberian theorem for single sequence, that an Abel summable sequence is convergent with some suitable conditions. A number of authors such as Landau [18], Hardy and Littlewood [7], and Schmidt [25] obtained some classical Tauberian theorems for Cesàro and Abel summability methods of single sequence. Recently, Çanak and Totur [2], and Jena et al. [9] investigated and studied several Tauberian theorems for single sequence. Knopp [16] obtained some classical type Tauberian theorems for Abel and (C, 1, 1) summability methods of double sequences and proved that these methods hold for the set of bounded sequences. Móricz [19] proved some Tauberian theorems for Cesàro summable double sequences and deduced Tauberian theorems of Landau [17] and Hardy [6] type. Recently, Totur [34] extended some classical type Tauberian theorems for single and double sequences in connection with one-sided Tauberian theorems.

Furthermore, Çanak and Totur [1] proved a Tauberian theorem for Cesàro summability of single integral and also, they established the alternative proofs of some classical type Tauberian theorems for the Cesàro summability of single integral. Moreover, in the year 2017, Jena et al. [11] proved the Tauberian theorems for Harmonic summability of double-integrable real-valued function over \({\mathbb {R}}^{2}\) and also established the inclusion relation between the statistical convergence and classical convergence. Very recently, Çanak et al. [3] introduced and studied the concept of Tauberian theorem for Cesàro integrability mean based upon quantum calculus via usual convergence.

Motivated essentially by the above-mentioned investigations and results, here we prove the statistical versions of Tauberian theorems via Cesàro integrability mean based upon post-quantum calculus of a real-valued continuous function of one variable under slow oscillation and De la Vallée Poussin mean of the integral. In fact, we extend here the result of Çanak [3] using the idea of Tauberian theorems for Cesàro integrability mean based on quantum calculus via usual summability.

2 Preliminaries and definitions

The notion of statistical convergence was first introduced and studied by Fast [5] and Steinhaus [32] independently. For more recent works in this direction, one may refer [4, 8,9,10,11,12,13,14,15, 21,22,23,24, 26,27,31].

Let f(x) be a function in \({\mathbb {R}}\) with the partial sum

$$\begin{aligned} s(x)=\displaystyle \int _{0}^{x}f(\zeta )\mathrm{d}\zeta ,\quad (0<x<\infty ). \end{aligned}$$

The (C, 1) mean of f(x) is (see [20]),

$$\begin{aligned} \sigma (s(x))=\frac{1}{x}\displaystyle \int _{0}^{x}s(\zeta )\mathrm{d}\zeta . \end{aligned}$$

The integral \(\displaystyle \int _{0}^{x}s(\zeta )\mathrm{d}\zeta \) is (C, 1)-summable to a finite number \(\ell \), if

$$\begin{aligned} \lim _{x\rightarrow \infty }\sigma (s(x))\rightarrow \ell . \end{aligned}$$
(2.1)

The integral \(\displaystyle \int _{0}^{x}s(\zeta )\mathrm{d}\zeta \) is statistically (C, 1)-summable to a finite number \(\ell \) if, for each \(\epsilon >0\),

$$\begin{aligned} \lim _{u\rightarrow \infty }\frac{1}{u}|\{0<x\leqq u\quad \text {and} \quad |\sigma (s(x))-\ell |\geqq \epsilon \}|=0. \end{aligned}$$

In this case, we write

$$\begin{aligned} \text {stat}\lim _{x\rightarrow \infty }\sigma (s(x))=\ell . \end{aligned}$$
(2.2)

If \(\lim _{x\rightarrow \infty }s(x)=\ell \) exists, then the relations (2.1) and (2.2) hold. However, in general, the converse is not true. To prove the sufficient part, we use the oscillatory behavior and De la vallée Poussin mean of the above integral over \({\mathbb {R}}\). Such a condition is called a Tauberian condition and the resulting theorem is called a Tauberian theorem.

Quantum calculus (or q-calculus) is the modern name for the investigation of calculus which is focused on the idea of deriving q-analogues of results belonging to standard calculus without using limits. The q-calculus served as a bridge between mathematics and physics. Furthermore, there is a possibility of extension of the q-calculus to post-quantum calculus (or (pq)-calculus). It has gained noticeable importance and popularity during the past 3 decades due mainly to its applications in different mathematical areas such as number theory, combinatorics, orthogonal polynomials, basic hypergeometric series and other sciences such as statistical mechanics, quantum theory, and the theory of relativity.

We recall some basic concepts of (pq)-calculus and some associated properties of (pq)-Cesàro integrability mean method. For any \(n\in {\mathbb {N}}\), the (pq)-integer \([n]_{p,q}\) is defined by

$$\begin{aligned} {[}n]_{p,q}=\left\{ \begin{array}{ll} \frac{p^{n}-q^{n}}{p-q} &{}\quad (n\ge 1)\\ ~~0 &{}\quad (n=0)\\ \end{array}\right. \end{aligned}$$

where \(0<q,~~p\le 1\).

The (pq)-factorial is defined by

$$\begin{aligned} {[}n]!_{p,q}=\left\{ \begin{array}{ll} {[}1]_{p,q}[2]_{p,q}...[n]_{p,q} &{}\quad (n\ge 1)\\ 1 &{}\quad (n=0). \\ \end{array}\right. \end{aligned}$$

The (pq)-binomial coefficient is defined by

$$\begin{aligned} {n \brack k}_{p,q}=\frac{[n]!_{p,q}}{[k]!_{p,q}~[n-k]!_{p,q}} \quad \text {for all}~~n,k\in {\mathbb {N}}~~\text {and}~~n\ge k. \end{aligned}$$

We also recall that, suppose \(0<q<p\leqq 1\) and the (pq)-derivative of the function f is defined as

$$\begin{aligned} D_{p,q}f(x)=\frac{f(px)-f(qx)}{(p-q)x},~~x\ne 0. \end{aligned}$$

As a special case, when \(p=1\), (pq)-derivative reduces to q-derivative and also, the (pq)-derivative fulfills the following product derivative properties:

$$\begin{aligned} D_{p,q}(f(x)g(x))=f(px)D_{p,q}g(x)+g(q(x))D_{p,q}f(x) \end{aligned}$$

and

$$\begin{aligned} D_{p,q}(f(x)g(x))=g(px)D_{p,q}f(x)+f(q(x))D_{p,q}g(x). \end{aligned}$$

Next, let f be a real-valued continuous function and let a be a real number. The (pq)-integral of f(x) on [0, a] is defined as

$$\begin{aligned} \int _{0}^{a}f(x)\mathrm{d}_{p,q}x=(p-q)a\sum _{k=0}^{\infty }\frac{q^{k}}{p^{k+1}}f \left( \frac{q^{k}}{p^{k+1}}a\right) ,\quad \text {if}\quad \left| \frac{q}{p}\right| <1 \end{aligned}$$

and

$$\begin{aligned} \int _{0}^{\infty }f(x)\mathrm{d}_{p,q}x=(p-q)\sum _{k=-\infty }^{\infty }\frac{q^{k}}{p^{k+1}}f\left( \frac{q^{k}}{p^{k+1}}\right) ,\quad \text {if}\quad \left| \frac{q}{p}\right| <1 \end{aligned}$$

provided the sums converge absolutely.

A function f is said to be (pq)-integrable on \([0,\infty )\), if the series

$$\begin{aligned} \sum _{k=-\infty }^{\infty }\frac{q^{k}}{p^{k+1}}f\left( \frac{q^{k}}{p^{k+1}}\right) \end{aligned}$$

converges absolutely. Moreover, we assume that, f(t) is a function defined on \([0,\infty )\) and satisfying \(\int _{0}^{x}|f(t)d_{p,q}t|<\infty \) and also, let the partial sum of f(t) be defined as

$$\begin{aligned} \bar{s}(x)=\int _{0}^{x}f(t)\mathrm{d}_{p,q}t. \end{aligned}$$
(2.3)

Next, we define the (pq) Cesàro mean of f(x) as follows:

$$\begin{aligned} t(\bar{s}(x))=\frac{1}{x}\int _{0}^{x}\bar{s}(\zeta )\mathrm{d}_{p,q}\zeta . \end{aligned}$$
(2.4)

The function \(\bar{s}(x)\) is (pq)-Cesàro integrable to \(\ell \), if

$$\begin{aligned} \lim _{x\rightarrow \infty }t(\bar{s}(x))=\ell . \end{aligned}$$

Furthermore, the function \(\bar{s}(x)\) is (pq)-statistically Cesàro summable to \(\ell \) if, for every \(\epsilon >0\),

$$\begin{aligned} \lim _{u\rightarrow \infty }\frac{1}{u}|\{0<x\leqq u\quad \text {and} \quad |t(\bar{s}(x))-\ell |\geqq \epsilon \}|=0. \end{aligned}$$

In this case, we write

$$\begin{aligned} \text {stat}\lim _{x\rightarrow \infty }t(\bar{s}(x))=\ell . \end{aligned}$$
(2.5)

If \(\lim _{x\rightarrow \infty }\bar{s}(x)=\ell \) exists, then the relations (2.4) and (2.5) hold. However, in general, the converse is not true. To prove the oscillatory behavior and De la vallée Poussin mean based onsufficient part, we use the (pq)-calculus of the above integral over \({\mathbb {R}}\). Such a condition is called a Tauberian condition and the resulting theorem is called a Tauberian theorem under post-quantum calculus.

For each non-negative integer k we define

$$\begin{aligned} \sigma ^{(k)}(s(x))= \left\{ \begin{array}{ll} \frac{1}{x}\displaystyle \int _{0}^{x}\sigma ^{(k-1)}s(\zeta )\mathrm{d}\zeta &{}\quad (k\ge 1)\\ \\ \displaystyle \int _{0}^{x}s(\zeta )\mathrm{d}\zeta &{} \quad (k=0). \\ \end{array}\right. \end{aligned}$$

An integral \(\displaystyle \int _{0}^{\infty }f(x)\mathrm{d}x\) is said to be statistically (Ck)-summable to \(\ell \) if and only if \(\sigma ^{(k)}(s(x))\) is statistically summable to \(\ell \).

Remark 2.1

If \(k=1\), then (Ck)-summabllity mean is same as the (C, 1)-summability mean.

Next, for (pq)-calculus and for each non-negative integer k, we define

$$\begin{aligned} t^{(k)}(\bar{s}(x))= \left\{ \begin{array}{ll} \frac{1}{x}\displaystyle \int _{0}^{x}t^{(k-1)}\bar{s}(\zeta )\mathrm{d}_{p,q}\zeta &{} \quad (k\ge 1)\\ \displaystyle \int _{0}^{x}\bar{s}(\zeta )\mathrm{d}_{p,q}\zeta &{} \quad (k=0). \\ \end{array}\right. \end{aligned}$$

An integral \(\displaystyle \int _{0}^{\infty }f(x)\mathrm{d}x\) is said to be statistically (Ck)-summable to \(\ell \) under post-quantum calculus if and only if \(t^{(k)}(\bar{s}(x))\) is statistically summable to \(\ell \).

Remark 2.2

If \(k=1\) and \(p=1\), then (Ck)-summabllity mean reduces (C, 1)-summability mean in q-calculus. Furthermore, if \(k=1\) and \(q=p=1\), then (Ck)-summabllity mean reduces to simply (C, 1)-summability mean.

Next we have, the partial sum of the function is

$$\begin{aligned} s(x)=\displaystyle \int _{0}^{x}f(\zeta )\mathrm{d}\zeta \end{aligned}$$

and consequently,

$$\begin{aligned} s(x) -\sigma (s(x))=v(f(x)), \end{aligned}$$
(2.6)

where

$$\begin{aligned} v(f(x))=\frac{1}{x}\displaystyle \int _{0}^{x}\zeta f(\zeta )\mathrm{d}\zeta . \end{aligned}$$

Notice that

$$\begin{aligned} \sigma (s(x))=\frac{v(f(x))}{x}. \end{aligned}$$

Now, let us define for each non-negative integer k,

$$\begin{aligned} v^{(k)}(f(x))= \left\{ \begin{array}{ll} \frac{1}{x}\displaystyle \int _{0}^{x}v^{(k-1)}\zeta f(\zeta )\mathrm{d}\zeta ,&{} \text {for} \quad k\ge 1 \\ \displaystyle \int _{0}^{x}\zeta f(\zeta )\mathrm{d}\zeta , &{} \text {for} \quad k=0. \end{array}\right. \end{aligned}$$

Here, the integral \(\displaystyle \int _{0}^{\infty }x f(x)\mathrm{d}x\) is statistically (Ck)-summable to \(\ell \) if and only if \(v^{(k)}(f(x))\) is statistically summable to \(\ell \).

Similarly, for post-quantum calculus, the partial sum of the function is

$$\begin{aligned} \bar{s}(x)=\displaystyle \int _{0}^{x}f(\zeta )\mathrm{d}_{p,q}\zeta . \end{aligned}$$

Also, we have

$$\begin{aligned} \bar{s}(x) - t(\bar{s}(x))=(p,q)\bar{v}(f(x)), \end{aligned}$$
(2.7)

where

$$\begin{aligned} \bar{v}(f(x))=\frac{1}{x}\displaystyle \int _{0}^{x}\zeta f(\zeta )\mathrm{d}_{p,q}\zeta . \end{aligned}$$

Notice that

$$\begin{aligned} D_{p,q}(\bar{t}(\bar{s}(x)))=\frac{\bar{v}(f(x))}{x}. \end{aligned}$$

Now, we define for each non negative integer k,

$$\begin{aligned} \bar{v}^{(k)}(f(x))= \left\{ \begin{array}{ll} \frac{1}{x}\displaystyle \int _{0}^{x}\bar{v}^{(k-1)} \zeta f(\zeta )\mathrm{d}_{p,q}\zeta ,&{} \text {for} ~~~k\ge 1 \\ \displaystyle \int _{0}^{x}\zeta f(\zeta )\mathrm{d}_{p,q}\zeta , &{} \text {for} ~~~k=0 . \end{array}\right. \end{aligned}$$

Here, the integral \(\displaystyle \int _{0}^{\infty }x f(x)\mathrm{d}x\) is statistically (Ck)-summable to \(\ell \) under post-quantum calculus if and only if \( \bar{v}^{(k)}(f(x))\) is summable to \(\ell \).

Now recalling the De la Vallée Poussin mean (see [3]) of the integral \(\displaystyle \int _{0}^{x} f(\zeta )\mathrm{d}\zeta \), we have

$$\begin{aligned} \tau (s(x))=\frac{1}{(x-\lambda x)}\displaystyle \int _{\lambda x}^{x} \displaystyle s(\zeta )\mathrm{d}\zeta , \quad \lambda \in (0,1). \end{aligned}$$

In the similar way, we define the De la Vallée Poussin mean for the post-quantum calculus of the integral \(\displaystyle \int _{0}^{x} f(\zeta )\mathrm{d}\zeta \) as

$$\begin{aligned} \tau (\bar{s}(x))=\frac{1}{(p-q)x}\displaystyle \int _{q x}^{px} s(\zeta )\mathrm{d}_{p,q}\zeta , \quad (0<q<p\le 1). \end{aligned}$$

Note that, an integral \(\displaystyle \int _{0}^{x} f(x)\mathrm{d}x\) belonging to \({\mathbb {R}}\) is oscillating slowly if [20]

$$\begin{aligned} \lim _{\lambda \rightarrow 1^{-}}\limsup _{x\rightarrow \infty } \max _{\lambda x \le \zeta \le x} |s(\zeta )-s(x)|=0. \end{aligned}$$
(2.8)

In the same way, under post-quantum calculus the integral \(\displaystyle \int _{0}^{x} f(x)\mathrm{d}x\) belonging to \({\mathbb {R}}\) is oscillating slowly if

$$\begin{aligned} \limsup _{x\rightarrow \infty }\max _{q x \le \zeta \le px} |s(\zeta )-s(x)|=0. \end{aligned}$$
(2.9)

3 Main results

Theorem 3.1

If \(\bar{s}(x)\) is (pq)-statistically (C, 1)-summable to \(\ell \) and \(\bar{s}(x)\) is (pq)-oscillating slowly, then \(\bar{s}(x)\rightarrow \ell \), as \(x\rightarrow \infty \).

The proof of this theorem requires the following lemmas

Lemma 3.2

The sequence of partial sum \(\bar{s}(x)\) of an integrable function f(x) over \({\mathbb {R}}\) is (pq)-oscillating slowly if and only if \(\bar{v}(f(x))\) is bounded and oscillating slowly.

Proof

Let \(\bar{s}(x)\) be (pq)-oscillating slowly. Initially, let us show that \(\bar{v}(f(x))=O(1)\) as \(x\rightarrow \infty \).

We have

$$\begin{aligned} \int _{0}^{x}w f(w)\mathrm{d}_{p,q}w =\displaystyle \sum _{i=0}^{\infty } \displaystyle \int _{x/2^{i+1}}^{x/2^{i}}w f(w)\mathrm{d}_{p,q}w. \end{aligned}$$
(3.1)

Now it follows from Eq. (2.7) that

$$\begin{aligned} \int _{\alpha }^{\beta }w f(w)\mathrm{d}_{p,q}w&=\displaystyle \int _{\alpha }^{\beta }w \bar{s}(w)\mathrm{d}_{p,q}w.\\&=\left[ w(\bar{s}(w))_{\alpha }^{\beta } -\int _{\alpha }^{\beta }\bar{s}(w)\mathrm{d}_{p,q}w\right] \\&=-\int _{\alpha }^{\beta }\bar{s}(w)\mathrm{d}_{p,q}w+\beta (\bar{s}(\beta )) -\alpha (\bar{s}(\alpha ))-\alpha (\bar{s}(\beta ))+\alpha (\bar{s}(\beta ))\\&\quad -\int _{\alpha }^{\beta }\bar{s}(w)\mathrm{d}_{p,q}w+(\beta -\alpha )\bar{s}(\beta ) +\alpha (\bar{s}(\beta )-\bar{s}(\alpha ))\\&=-\int _{\alpha }^{\beta }(\bar{s}(w)-\bar{s}(\beta ))\mathrm{d}_{p,q}w+\alpha (\bar{s}(\beta ) -\bar{s}(\alpha ))\\&=(\beta -\alpha )\displaystyle \max _{q\alpha \le x \le p\beta }\left| \bar{s}(x)-\bar{s}(\beta )\right| + \alpha \left| \bar{s}(\beta )-\bar{s}(x)\right| . \end{aligned}$$

If we choose \(\beta =x/2^{i}\) and \(\beta /\alpha \le 2\), we obtain

$$\begin{aligned} \int _{0}^{x}w f(w)\mathrm{d}_{p,q}w\le A\displaystyle \sum _{i=0}^{\infty } \frac{x}{2^{i}}=O(x), \quad \text {as}\quad x\rightarrow \infty . \end{aligned}$$

Now we have to show that \(t(\bar{s}(x))\) is oscillating slowly. Since

$$\begin{aligned} D_{p,q}(\bar{t}(\bar{s}(x)))=\frac{\bar{v}(f(x))}{x}, \end{aligned}$$

we get

$$\begin{aligned} |t(\bar{s}(\zeta ))-t(\bar{s}(x))|&=\left| \displaystyle \int _{x}^{\zeta }\bar{t}(\bar{s}(w))\mathrm{d}_{p,q}w\right| \\&=\left| \displaystyle \int _{x}^{\zeta }f(w)\mathrm{d}_{p,q}w\right| \\&\le C\displaystyle \int _{x}^{\zeta }\frac{\mathrm{d}_{p,q}w}{w}\\&=C\log (\zeta /x), ~\text {for~ any}~ qx\le \zeta \le p x. \end{aligned}$$

Clearly, we have

$$\begin{aligned} \displaystyle \max _{qx\le \zeta \le p x}\left| t (\bar{s}(\zeta )) -t(\bar{s}(x))\right| \le C \end{aligned}$$

and

$$\begin{aligned} \lim \sup _{x\rightarrow \infty }\max _{qx\le \zeta \le p x} \left| t (\bar{s}(\zeta )-t (\bar{s}(x))\right| =0. \end{aligned}$$

That implies \(\bar{v}(f(x))\) is oscillating slowly by Kronecker identity.

To prove the converse part, suppose that \(\bar{v}(f(x))\) is bounded and oscillating slowly. The boundedness of \(\bar{v}(f(x))\) implies that \(t (\bar{s}(x))\) is oscillating slowly. Since \(\bar{v}(f(x))\) is oscillating slowly, so \(\bar{s}(x)\) is oscillating slowly by Kronecker identity. This establishes Lemma 3.2. \(\square \)

Lemma 3.3

For \(0<q<p\leqq 1\),

$$\begin{aligned} \bar{s}(x)-t(\bar{s}(x))&=\frac{q}{(p-q)} (t (\bar{s}( x))-\bar{s}(x)) -\frac{q}{(p-q)x} \int _{q x}^{ px} (\bar{s}(x)-\bar{s}(\zeta ))\mathrm{d}_{p,q}\zeta . \end{aligned}$$

Proof

We have by De la Vallée Poussin mean of \(\bar{s}(x)\),

$$\begin{aligned} \tau (\bar{s}(x))&= \frac{q}{(p-q)x}\int _{qx}^{p x} \bar{s}(\zeta )\mathrm{d}_{p,q}\zeta \\&=\frac{q}{x(p -q)} \left( \displaystyle \int _{0}^{qx} \bar{s}(\zeta )\mathrm{d}\zeta -\int _{0}^{px}\bar{s}(\zeta )\mathrm{d}\zeta \right) . \end{aligned}$$

Again, since

$$\begin{aligned} t(\bar{s}( x))=\frac{1}{x}\int _{0}^{ qx} \bar{s}(\zeta )\mathrm{d}_{p,q}\zeta , \end{aligned}$$

and

$$\begin{aligned} t(\bar{s}( x))=\frac{1}{ x }\int _{0}^{ px} \bar{s}(\zeta )\mathrm{d}_{p,q}\zeta , \end{aligned}$$

we have

$$\begin{aligned} \tau (\bar{s}(x))&= \frac{q^{2}}{(p-q)^{2}}t(\bar{s}(x)) -\frac{1}{(p-q)^{2}}t(\bar{s}(x))\\&=\left( 1+\frac{1}{(p-q)}\right) ^{2}t(\bar{s}(x)) -\frac{1}{(p-q)^{2}}t(\bar{s}(x)). \end{aligned}$$

Now

$$\begin{aligned} \tau (s(x))-t(\bar{s}(x))&=\frac{1}{(p-q)^{2}}t(\bar{s}(x )) +\frac{2}{(p-q)}t(\bar{s}(x))\nonumber \\&\qquad -\frac{1}{(p-q)^{2}}\sigma (s(x)). \end{aligned}$$
(3.2)

Subtracting \(t(\bar{s}(x))\) from the identity, also

$$\begin{aligned} \bar{s}(x)= \tau (\bar{s}(x)) -\frac{1}{(p-q)x}\int _{qx}^{px}(\bar{s}(\zeta ) -\bar{s}(x))\mathrm{d}_{p,q}\zeta , \end{aligned}$$

we have

$$\begin{aligned} \bar{s}(x)-t(\bar{s}( x))&=\tau (\bar{s}(x)-t(\bar{s}( x))\nonumber \\&\quad -\frac{q}{(p-q)x}\int _{qx}^{p x}(\bar{s}(\zeta )-\bar{s}(x))\mathrm{d}_{p,q}\zeta . \end{aligned}$$
(3.3)

From Eqs. (3.2) and (3.3), we get

$$\begin{aligned} \bar{s}(x)-t(\bar{s}( x))&=\frac{1}{(p-q)^{2}}\left( t(\bar{s}(x)) -\sigma (\bar{s}(x))\right) \\&\quad +\frac{2}{(p-q)}t(\bar{s}( x)) -\frac{q}{(p-q)x}\displaystyle \int _{qx}^{px} (\bar{s}(\zeta )-\bar{s}(x))\mathrm{d}_{p,q}\zeta . \end{aligned}$$

This establish Lemma 2. \(\square \)

4 Proof of Theorem 3.1.

Proof

Let \(\bar{s}(x)\) be statistically (C, 1, 1)-summable to \(\ell \), this implies \(t(\bar{s}(x))\) is (C, 1)-summable to \(\ell \). Now from Eq. (2.7), we have \(\bar{v}(f(x))\) is statistically (C, 1)-summable to zero. Thus, by Lemma 3.2, \(\bar{v}(f(x))\) is oscillating slowly. Furthermore, by Lemma 3.3, we get

$$\begin{aligned} \bar{v}(f(x))-t(\bar{v}(f(x)))&=\frac{q}{(p -q)^{2}} ((t (\bar{v}(f(x)))) -t(\bar{v}(f(x))))\nonumber \\&\qquad +\frac{2}{(p-q)}t (\bar{v}(f( x))) -\frac{q}{(p-q)x}\nonumber \\&\qquad \cdot \int _{qx}^{p x}(\bar{v}(f(\zeta ))- \bar{v}(f(x)))\mathrm{d}_{p,q}\zeta . \end{aligned}$$
(3.4)

Next, by (3.4)

$$\begin{aligned} |\bar{v}(f(x))-t(\bar{v}(f(x)))|&\le \frac{1}{(p -q)^{2}} |t (\bar{v}(f(x)))-t(\bar{v}(f(x)))|\nonumber \\&\qquad +\frac{2}{(p-q)}|t(\bar{v}(f(x)))|\nonumber \\&\qquad +\max _{qx\le \zeta \le px} |\bar{v}(f(\zeta )) -\bar{v}(f(x))|. \end{aligned}$$
(3.5)

Now taking \(\limsup \) on both sides of Eq. (3.5) as \(x\rightarrow \infty \), we obtain

$$\begin{aligned} \lim \sup _{x\rightarrow \infty }|\bar{v}(f(x))&-t(\bar{v}(f(x)))|\nonumber \\&\le \lim \sup _{x\rightarrow \infty }\frac{1}{(p-q)^{2}} |t (\bar{v}(f(x)))-t(\bar{v}(f(x)))|\nonumber \\&\qquad +\lim \sup _{x\rightarrow \infty }\frac{2}{(p-q)}|t (\bar{v}(f(x)))|\nonumber \\&\qquad +\lim \sup _{x\rightarrow \infty }\max _{qx\le \zeta \le p x} |\bar{v}(f(\zeta ))- \bar{v}(f(x))|. \end{aligned}$$
(3.6)

Furthermore, as \(t(\bar{v}(f(x)))\) converges, the first and second terms in the right-hand side of Eq. (3.6) must vanish.

This implies

$$\begin{aligned} \lim \sup _{x\rightarrow \infty }|\bar{v}(f(x))-t(\bar{v}(f(x)))| \le \lim \sup _{x\rightarrow \infty }\max _{qx\le \zeta \le p x} |\bar{v}(f(\zeta ))- \bar{v}(f(x))|. \end{aligned}$$
(3.7)

As \(0<q<p\le 1\) in (3.7), so we get

$$\begin{aligned} \displaystyle \lim \sup _{x\rightarrow \infty }|\bar{v}(f(x))-t( \bar{v}(f(x)))|\le 0. \end{aligned}$$

It implies that, \(\bar{v}(f(x))=o(1)\) as \(x\rightarrow \infty \). Since \(\bar{s}(x)\) is statistically summable to \(\ell \) by Cesàro mean and \(\bar{v}(f(x))=o(1)\) as \(x\rightarrow \infty \), so \(\displaystyle \lim _{x\rightarrow \infty }\bar{s}(x)=\ell \). \(\square \)

Theorem 3.4

Let \(p_{n}=q_{n}=1\), if s(x) is statistically (C, 1)-summable to \(\ell \) and s(x) is oscillating slowly, then \(s(x)\rightarrow \ell \), as \(x\rightarrow \infty \).

Proof

Let s(x) is statistically (C, 1)-summable to \(\ell \), this implies \(\sigma (s(x))\) is (C, 1)-summable to \(\ell \). Now from Eq. (2.6), we have v(f(x)) is statistically (C, 1)-summable to zero. Thus, by Lemma 3.2, v(f(x)) is oscillating slowly. Again by Lemma 3.3, we get

$$\begin{aligned} v(f(x))-\sigma ( v(f(\lambda x)))&=\frac{1}{(\lambda -1)^{2}} ((\sigma (v(f(\lambda x))))-\sigma (v(f(x))))\nonumber \\&\quad +\frac{2}{(\lambda -1)}\sigma (v(f(\lambda x))) -\frac{1}{(\lambda x-x)}\nonumber \\&\quad \cdot \displaystyle \int _{x}^{\lambda x} (v(f(\zeta )) -v(f(x)))\mathrm{d}\zeta . \end{aligned}$$
(3.8)

Next, by (3.8)

$$\begin{aligned} |v(f(x))-\sigma ( v(f(x)))|&\le \frac{1}{(\lambda -1)^{2}} |\sigma (v(f(\lambda x)))-\sigma (v(f(x)))|\nonumber \\&\quad +\frac{2}{(\lambda -1)}|\sigma (v(f(\lambda x)))| +\max _{x\le \zeta \le \lambda x} |v(f(\zeta ))-v(f(x))|. \end{aligned}$$
(3.9)

Now taking \(\limsup \) on both sides of Eq. (3.9) as \(x\rightarrow \infty \), we obtain

$$\begin{aligned} \lim \sup _{x\rightarrow \infty }|v(f(x))&-\sigma (v(f(x)))|\nonumber \\&\le \lim \sup _{x\rightarrow \infty }\frac{1}{(\lambda -1)^{2}} |\sigma (v(f(\lambda x)))-\sigma (v(f(x)))|\nonumber \\&\quad +\lim \sup _{x\rightarrow \infty }\frac{2}{(\lambda -1)}|\sigma (v(f(\lambda x)))|\nonumber \\&\quad +\lim \sup _{x\rightarrow \infty }\max _{x\le \zeta \le \lambda x} |v(f(\zeta ))- v(f(x))|. \end{aligned}$$
(3.10)

Furthermore, as \(\sigma (v(f(\lambda x)))\) converges, the first and second terms in the right-hand side of Eq. (3.10) must vanish.

This implies

$$\begin{aligned}&\lim \sup _{x\rightarrow \infty }|v(f(x))-\sigma (v(f(x)))|\nonumber \\&\quad \le \lim \sup _{x\rightarrow \infty }\max _{x\le \zeta \le \lambda x} |v(f(\zeta ))- v(f(x))|. \end{aligned}$$
(3.11)

As \(\lambda \rightarrow 1^{+}\) in (3.11), so we get

$$\begin{aligned} \displaystyle \lim \sup _{x,y\rightarrow \infty }|v(f(x))-\sigma ( v(f(x)))|\le 0. \end{aligned}$$

It implies that \(v(f(x))=o(1)\) as \(x\rightarrow \infty \). Since s(x) is statistically summable to \(\ell \) by Cesàro mean and \(v(f(x))=o(1)\) as \(x\rightarrow \infty \), so \(\displaystyle \lim _{x\rightarrow \infty }s(x)=\ell \). \(\square \)

Corollary 3.5

If \(\bar{s}(x)\) is statistically (Ck)-summable to \(\ell \) and \(\bar{s}(x)\) is (pq)-oscillating slowly, then \(\bar{s}(x)\rightarrow \ell \) as \(x\rightarrow \infty \).

Proof

By Lemma 3.2, \(\bar{s}(x)\) is oscillating slowly and also \(t^{(k)}(\bar{s}(x))\) is oscillating slowly. Furthermore, from Theorem 3.1, \(\bar{s}(x)\) being statistically (Ck)-summable to \(\ell \), so

$$\begin{aligned} \text {stat} \lim _{x\rightarrow \infty }t^{(k)}(\bar{s}(x))=\ell . \end{aligned}$$
(3.12)

Next, from the definition,

$$\begin{aligned} t^{(k)}(\bar{s}(x))=t^{(1)}(\bar{s}(x))(t^{(k-1)}(\bar{s}(x))). \end{aligned}$$
(3.13)

Clearly, Eqs. (3.12) and (3.13) implies that \(\bar{s}(x)\) is statistically \((C,k-1)\)-summable to \(\ell \). Again by Lemma 3.2, \(t^{(k-1)}(\bar{s}(x))\) is also oscillating slowly.

Thus, Theorem 3.1 implies

$$\begin{aligned} \displaystyle \lim _{x\rightarrow \infty }t^{(k-1)}(\bar{s}(x))=\ell . \end{aligned}$$

Continuing in this way, we get \(\lim _{x\rightarrow \infty } (\bar{s}(x))=\ell \). \(\square \)

Theorem 3.6

If \(\bar{s}(x)\) is (pq)-statistically (C, 1)-summable to \(\ell \) and \(\bar{v}(f(x))\) is (pq)-oscillating slowly, then \(\bar{s}(x)\rightarrow \ell \) \((x \rightarrow \infty )\).

Proof

The proof of this theorem is similar to the proof of Theorem 3.1. \(\square \)

Theorem 3.7

If s(x) is statistically (C, 1)-summable to \(\ell \) and v(f(x)) is oscillating slowly, then \(s(x)\rightarrow \ell \) as \(x\rightarrow \infty \).

Proof

The proof of this theorem is similar to the proof of Theorem 3.4. \(\square \)

Corollary 3.8

If \(\bar{s}(x)\) is statistically (Ck)-summable to \(\ell \) and \(\bar{v}(f(x))\) is oscillating slowly, then \(\bar{s}(x)\rightarrow \ell \) as \(x\rightarrow \infty \).

Proof

As \(\bar{v}(f(x))\) is oscillating slowly, setting \(\bar{v}(f(x))\) in place of \(\bar{s}(x)\); \(t^{(k)} (\bar{v}(f(x)))\) is oscillating slowly by Lemma 3.2. Again as \(\bar{v}(f(x))\) is statistically (Ck) summable to \(\ell \), so Theorem 3.6 implies

$$\begin{aligned} \text {stat}~\lim _{x\rightarrow \infty } t^{(k)}( \bar{v}(f(x)))=\ell . \end{aligned}$$
(3.14)

Next by definition,

$$\begin{aligned} \lim _{x\rightarrow \infty } t^{(k)}(\bar{v}(f(x))) =t^{(1)}(\bar{v}(f(x)))t^{(k-1)}(\bar{v}(f(x))). \end{aligned}$$
(3.15)

From (3.14) and (3.15), it is clear that \(\bar{v}(f(x))\) is statistically \((C,k-1)\)-summable to \(\ell \). Moreover, by Lemma 3.2, \(\sigma ^{k-1}(\bar{v}(f(x)))\) being oscillating slowly, by Theorem -3.6, we have \(\displaystyle \lim _{x\rightarrow \infty }t^{k-1}(\bar{v}(f(x)))=\ell \). Continuing in this way, we obtain \(\displaystyle \lim _{x\rightarrow \infty }\bar{v}(f(x))=\ell \). \(\square \)

5 Conclusion

Tauberian theorems for single sequences as well as for functions of single variable have achieved a high degree of development; however, it is still in its infancy for double sequences and functions of two or more variables. The result established here that the statistical versions of Tauberian theorems for a real-valued continuous function of one variable under the post-quantum calculus (or (pq)-calculus) of integrals via statistical Cesàro summability mean generalizes some earlier existing Tauberian theorems for the function of a single variable in quantum calculus (or (q)-calculus) via classical Cesàro summability mean. Further, it will be encouraging if one can extend the result for functions of two or more variables using the post-quantum calculus (or (pq)-calculus) of integrals via the statistical Cesàro mean and so also for other different statistical versions of summability means.