Continuous data assimilation applied to a velocity-vorticity formulation of the 2D Navier-Stokes equations

Matthew Gardner; Adam Larios; Leo G. Rebholz; Duygu Vargun; Camille Zerfas; Matthew Gardner; Adam Larios; Leo G. Rebholz; Duygu Vargun; Camille Zerfas

doi:10.3934/era.2020113

Electronic Research Archive

2021, Volume 29, Issue 3: 2223-2247. doi: 10.3934/era.2020113

Previous Article Next Article

Special Issues

Continuous data assimilation applied to a velocity-vorticity formulation of the 2D Navier-Stokes equations

1.
School of Mathematical and Statistical Sciences, Clemson University, Clemson, SC, 29634, USA
2.
Department of Mathematics, University of Nebraska-Lincoln, Lincoln, NE, 68588, USA

Received: 01 June 2020 Revised: 01 August 2020 Published: 19 October 2020
Primary: 65M60; Secondary: 76D05

We study a continuous data assimilation (CDA) algorithm for a velocity-vorticity formulation of the 2D Navier-Stokes equations in two cases: nudging applied to the velocity and vorticity, and nudging applied to the velocity only. We prove that under a typical finite element spatial discretization and backward Euler temporal discretization, application of CDA preserves the unconditional long-time stability property of the velocity-vorticity method and provides optimal long-time accuracy. These properties hold if nudging is applied only to the velocity, and if nudging is also applied to the vorticity then the optimal long-time accuracy is achieved more rapidly in time. Numerical tests illustrate the theory, and show its effectiveness on an application problem of channel flow past a flat plate.

Keywords:

Citation: Matthew Gardner, Adam Larios, Leo G. Rebholz, Duygu Vargun, Camille Zerfas. Continuous data assimilation applied to a velocity-vorticity formulation of the 2D Navier-Stokes equations[J]. Electronic Research Archive, 2021, 29(3): 2223-2247. doi: 10.3934/era.2020113

Related Papers:

[1]	Mohammed S. El-Khatib, Atta A. K. Abu Hany, Mohammed M. Matar, Manar A. Alqudah, Thabet Abdeljawad . On Cerone's and Bellman's generalization of Steffensen's integral inequality via conformable sense. AIMS Mathematics, 2023, 8(1): 2062-2082. doi: 10.3934/math.2023106
[2]	Ahmed A. El-Deeb, Dumitru Baleanu, Nehad Ali Shah, Ahmed Abdeldaim . On some dynamic inequalities of Hilbert's-type on time scales. AIMS Mathematics, 2023, 8(2): 3378-3402. doi: 10.3934/math.2023174
[3]	Awais Younus, Khizra Bukhsh, Manar A. Alqudah, Thabet Abdeljawad . Generalized exponential function and initial value problem for conformable dynamic equations. AIMS Mathematics, 2022, 7(7): 12050-12076. doi: 10.3934/math.2022670
[4]	Ahmed A. El-Deeb, Inho Hwang, Choonkil Park, Omar Bazighifan . Some new dynamic Steffensen-type inequalities on a general time scale measure space. AIMS Mathematics, 2022, 7(3): 4326-4337. doi: 10.3934/math.2022240
[5]	Tingting Guan, Guotao Wang, Haiyong Xu . Initial boundary value problems for space-time fractional conformable differential equation. AIMS Mathematics, 2021, 6(5): 5275-5291. doi: 10.3934/math.2021312
[6]	Elkhateeb S. Aly, Y. A. Madani, F. Gassem, A. I. Saied, H. M. Rezk, Wael W. Mohammed . Some dynamic Hardy-type inequalities with negative parameters on time scales nabla calculus. AIMS Mathematics, 2024, 9(2): 5147-5170. doi: 10.3934/math.2024250
[7]	Ahmed A. El-Deeb, Samer D. Makharesh, Sameh S. Askar, Dumitru Baleanu . Bennett-Leindler nabla type inequalities via conformable fractional derivatives on time scales. AIMS Mathematics, 2022, 7(8): 14099-14116. doi: 10.3934/math.2022777
[8]	Gauhar Rahman, Kottakkaran Sooppy Nisar, Feng Qi . Some new inequalities of the Grüss type for conformable fractional integrals. AIMS Mathematics, 2018, 3(4): 575-583. doi: 10.3934/Math.2018.4.575
[9]	Ahmed M. Ahmed, Ahmed I. Saied, Mohammed Zakarya, Amirah Ayidh I Al-Thaqfan, Maha Ali, Haytham M. Rezk . Advanced Hardy-type inequalities with negative parameters involving monotone functions in delta calculus on time scales. AIMS Mathematics, 2024, 9(11): 31926-31946. doi: 10.3934/math.20241534
[10]	Mehmet Eyüp Kiriş, Miguel Vivas-Cortez, Gözde Bayrak, Tuğba Çınar, Hüseyin Budak . On Hermite-Hadamard type inequalities for co-ordinated convex function via conformable fractional integrals. AIMS Mathematics, 2024, 9(4): 10267-10288. doi: 10.3934/math.2024502

Abstract

1. Introduction

Riemann-Liouville fractional integral given by

$\begin{equation*} I_{a+}^{\alpha}\xi(\wp) = \frac{1}{\Gamma(\alpha)}\int_{a}^{\chi}(\chi-\wp)^{\alpha-1}\xi(\wp)dt. \end{equation*}$

Many different concepts of fractional derivative maybe found in ^[9,10,11]. In ^[12] studied a conformable derivative:

$\begin{equation*} \wp_{\alpha}f(\wp) = \lim\limits_{\epsilon\rightarrow 0}\frac{f(\wp+\epsilon \wp^{1-\alpha})-f(\wp)}{\epsilon}. \end{equation*}$

The time scale conformable derivatives was introduced by Benkhettou et al. ^[17].

Further, in recent years, numerous mathematicians claimed that non-integer order derivatives and integrals are well suited to describing the properties of many actual materials, such as polymers. Fractional derivatives are a wonderful tool for describing memory and learning. a variety of materials and procedures inherited properties is one of the most significant benefits of fractional ownership. For more concepts and definition on time scales see ^{[13,14,15,16,17,18,19,33,34,35]}.

Continuous version of Steffensen's inequality ^[7] is written as: For $0\leq g(\wp)\leq1$ on $\in[a, b]$ . Then

$\begin{equation} \int_{b-\lambda}^{b}f(\wp)dt\leq\int_{a}^{b}f(\wp)g(\wp)dt\leq\int_{a}^{a+\lambda}f(\wp)dt, \end{equation}$

(1.1)

where $\lambda = \int_{a}^{b}g(\wp)dt.$

Supposing $f$ is nondecreasing gets the reverse of (1.1).

Also, the discrete inequality of Steffensen ^[6] is: For $\lambda_2\leq \sum_{\ell = 1}^{n}g(\ell)\leq \lambda_1$ . Then

$\begin{equation} \sum\limits_{\ell = n-\lambda_2+1}^{n} f(\ell) \leq \sum\limits_{\ell = 1}^{n}f(\ell)g(\ell) \leq \sum\limits_{\ell = 1}^{\lambda_1} f(\ell). \end{equation}$

(1.2)

Recently, a large number of dynamic inequalities on time scales have been studied by a small number of writers who were inspired by a few applications (see ^{[1,2,3,4,8,28,29,30,31,32,36,37,40,41,42,44,48,49,50,51,52,53]}).

In ^[5] Jakšetić et al. proved that, if $\hat{\mu}([c, d]) = \int_{[a, b]}g(\wp)d \hat{\mu}(\wp)$ , where $[c, d]\subseteq[a, b]$ . Then

$\begin{equation*} \int_{[a,b]}f(\wp)g(\wp)d\hat{\mu}(\wp)\leq \int_{[c,d]}f(\wp)g(\wp)d\hat{\mu}(\wp)+\int_{[a,c]}\big(f(\wp)-f(d)\big)g(\wp)d\hat{\mu}(\wp), \end{equation*}$

and

$\begin{equation*} \int_{[c,d]}f(\wp)d\hat{\mu}(\wp)-\int_{[d,b]}\big(f(c)-f(\wp)\big)g(\wp)d\hat{\mu}(\wp)\leq \int_{[a,b]}f(\wp)g(\wp)d\hat{\mu}(\wp). \end{equation*}$

Anderson, in ^[3], studied the inequality:

$\begin{equation} \int_{b-\lambda}^{b}\phi(\wp)\nabla \wp\leq \int_{a}^{b}\phi(\wp)\psi(\wp)\nabla \wp\leq\int_{a}^{a+\lambda}\phi(\wp)\nabla \wp, \end{equation}$

(1.3)

In ^[47] the authors have proved, for

$\begin{equation*} \int_{m}^{m+\lambda_1}\zeta(\wp)d\wp = \int_{m}^{k}\zeta(\wp)g(\wp)d\wp, \end{equation*}$

and

$\begin{equation*} \int_{n-\lambda_2}^{n}\zeta(\wp)d\wp = \int_{k}^{n}\zeta(\wp)g(\wp)d\wp. \end{equation*}$

If there exists a constant $A$ such that $r(\wp)/\zeta(\wp)-At$ is monotonic on the intervals $[m, k]$ , $[k, n]$ , and

$\begin{equation*} \int_{m}^{n}tq(\wp)g(\wp)d\wp = \int_{m}^{m+\lambda_1}tq(\wp)d\wp+\int_{n-\lambda_2}^{n}tq(\wp)d\wp, \end{equation*}$

then

$\begin{equation*} \int_{m}^{n}r(\wp)g(\wp)d\wp\leq\int_{m}^{m+\lambda_1}r(\wp)d\wp+\int_{n-\lambda_2}^{n}r(\wp)d\wp. \end{equation*}$

In particularly, Anderson ^[3] proved

$\begin{equation*} \int_{n-\lambda}^{n}r(\wp)\nabla \wp\leq\int_{m}^{n}r(\wp)g(\wp)\nabla \wp\leq \int_{m}^{m+\lambda}r(\wp)\nabla \wp. \end{equation*}$

where $m, n\in\mathbb{T}_\kappa$ with $m < n$ , $r$ , $g:[m, n]_{\mathbb{T}}\rightarrow \mathbb{R}$ are $\nabla$ -integrable functions such that $r$ is of one sign and nonincreasing and $0\leq g(\wp)\leq1$ on $[m, n]_{\mathbb{T}}$ and $\lambda = \int_{m}^{n}g(\wp)\nabla \wp$ , $n-\lambda, m+\lambda \in \mathbb{T}$ .

We prove the next two needed results:

Theorem 1.1. Assume $q > 0$ with $0\leq g(\wp)\leq \zeta(\wp)$ $\forall\wp\in[m, n]_{\mathbb{T}}$ and $\lambda$ is given from $\int_{m}^{n}g(\wp)\Delta_{\alpha} \wp = \int_{m}^{m+\lambda}\zeta(\wp)\Delta_{\alpha} \wp$ , then

$\begin{equation} \int_{m}^{n}r(\wp)g(\wp)\Delta_{\alpha} \wp\leq \int_{m}^{m+\lambda}r(\wp)\zeta(\wp)\Delta_{\alpha} \wp. \end{equation}$

(1.4)

Also, provided with $0\leq g(\wp)\leq \zeta(\wp)$ and $\int_{n-\lambda}^{n}\zeta(\wp)\Delta_{\alpha} \wp = \int_{m}^{n}g(\wp)\Delta_{\alpha} \wp$ , we have

$\begin{equation} \int_{n-\lambda}^{n}r(\wp)\zeta(\wp)\Delta_{\alpha} \wp\leq \int_{m}^{n}r(\wp)g(\wp)\Delta_{\alpha} \wp. \end{equation}$

(1.5)

We get the reverse inequalities of (1.4) and (1.5) when assuming $r/\zeta$ is nondecreasing.

Theorem 1.2. Assume $\psi$ is integrable on time scales interval $[m, n]$ , with $\zeta(\wp)-\psi(\wp)\geq g(\wp)\geq\psi(\wp)\geq 0 \; \forall\wp\in[m, n]_{\mathbb{T}}$ and $\int_{m}^{m+\lambda}\zeta(\wp)\Delta_{\alpha} \wp = \int_{m}^{n}g(\wp)\Delta_{\alpha} \wp = \int_{n-\lambda}^{n}\zeta(\wp)\Delta_{\alpha} \wp$ and $g$ , $r$ and $\zeta$ are $\Delta_{\alpha}$ -integrable functions, $\zeta(\wp)\geq g(\wp)\geq0$ , we have

$\begin{eqnarray} &&\int_{n-\lambda}^{n}r(\wp)\zeta(\wp)\Delta_{\alpha} \wp+ \int_{m}^{n}\Big|\big(r(\wp)-r(n-\lambda)\big)\psi(\wp)\Big|\Delta_{\alpha} \wp\\ &&\leq \int_{m}^{n}r(\wp)g(\wp)\Delta_{\alpha} \wp\\ &&\leq \int_{m}^{m+\lambda}r(\wp)\zeta(\wp)\Delta_{\alpha} \wp-\int_{m}^{n}\Big|\big(r(\wp)-r(m+\lambda)\big)\psi(\wp)\bigg|\Delta_{\alpha} \wp, \end{eqnarray}$

(1.6)

and

$\begin{eqnarray} \int_{n-\lambda}^{n}r(\wp)\zeta(\wp)\Delta_{\alpha} \wp&\leq& \int_{n-\lambda}^{n}\Big[r(\wp)\zeta(\wp)-\big(r(\wp)-r(n-\lambda)\big)\Big]\big[\zeta(\wp)-g(\wp)\big]\Delta_{\alpha} \wp\\ &\leq&\int_{m}^{n}r(\wp)g(\wp)\Delta_{\alpha} \wp\\ &\leq& \int_{m}^{m+\lambda}\Big[r(\wp)\zeta(\wp)-\big(r(\wp)-r(m+\lambda)\big)\Big]\big[\zeta(\wp)-g(\wp)\big]\Delta_{\alpha} \wp\\ &\leq&\int_{m}^{m+\lambda}r(\wp)\zeta(\wp)\Delta_{\alpha} \wp. \end{eqnarray}$

(1.7)

Proof. The proof techniques of Theorems 1.6 and 1.7 are like to that in ^[4] and is removed.

Several authors proved conformable Hardy's inequality ^[20,21], conformable Hermite-Hadamard's inequality ^[22,23,24], conformable inequality of Opial's ^[26,27] and conformable inequality of Steffensen's ^[25]. In ^[45] Anderson proved the followong results:

Theorem 1.3. ^[45] Suppose $\alpha\in(0, 1]$ and $r_1$ , $r_2\in \mathbb{R}$ such that $0\leq r_1\leq r_2$ . Suppose $\prod: [r_1, r_2]\rightarrow [0, \infty)$ and $\Gamma: [r_1, r_2]\rightarrow [0, 1]$ are $\alpha$ -fractional integrable functions on $[r_1, r_2]$ with $\Pi$ is decreasing, we get

$\begin{equation*} \int_{r_2-\aleph}^{r_2}\Pi(\zeta)d_{\alpha}\zeta\leq \int_{r_1}^{r_2}\Pi(\zeta)\Gamma(\zeta)d_{\alpha}\zeta\leq \int_{r_1}^{r_1+\aleph}\Pi(\zeta)d_{\alpha}\zeta, \end{equation*}$

where $\aleph = \frac{\alpha(r_2-r_1)}{r_2^{\alpha}-r_1^{\alpha}}\int_{r_1}^{r_2}\Gamma(\zeta)d_{\alpha}\zeta\in[0, r_2-r_1]$ .

In ^[46] the authors gave an extension for Theorem 1.8:

Theorem 1.4. Assume $\alpha\in(0, 1]$ and $r_1$ , $r_2\in \mathbb{R}$ such that $0\leq r_1\leq r_2$ . Suppose $\prod, \Gamma, \Sigma: [r_1, r_2]\rightarrow [0, \infty)$ are integrable on $[r_1, r_2]$ with the decreasing function $\Pi$ and $0\leq \Gamma\leq \Sigma$ , we get

$\begin{equation*} \int_{r_2-\aleph}^{r_2}\Sigma(\zeta)\Pi(\zeta)d_{\alpha}\zeta\leq \int_{r_1}^{r_2}\Pi(\zeta)\Gamma(\zeta)d_{\alpha}\zeta\leq \int_{r_1}^{r_1+\aleph}\Sigma(\zeta)\Pi(\zeta)d_{\alpha}\zeta, \end{equation*}$

where $\aleph = \frac{(r_2-r_1)}{\int_{r_1}^{r_2}\Sigma(\zeta)d_{\alpha}\zeta}\int_{r_1}^{r_2}\Gamma(\zeta) d_{\alpha}\zeta\in[0, r_2-r_1]$ .

In this paper, we prove and explore several novel speculations of the Steffensen inequality obtained in ^[47] through the conformable integral containing time scale concept. We furthermore recover certain known results as special cases of our results.

2. Main results

Lemma 2.1. Assume $\zeta > 0$ is $rd$ -continuous function on $[m, n]\cap\mathbb{T}$ , $g$ , $r$ be $rd$ -continuous on $[m, n]\cap\mathbb{T}$ such that $r/\zeta$ nonincreasing function and $0\leq g(\wp)\leq 1$ $\forall\wp\in[m, n]\cap\mathbb{T}$ . Then

$(\Lambda_{1})$

$\begin{equation} \qquad \int_{m}^{n}r(\wp)g(\wp)\Delta_{\alpha} \wp\leq \int_{m}^{m+\lambda}r(\wp)\Delta_{\alpha} \wp, \end{equation}$

(2.1)

where $\lambda$ is given by

$\begin{equation*} \int_{m}^{n}\zeta(\wp)g(\wp)\Delta_{\alpha} \wp = \int_{m}^{m+\lambda}\zeta(\wp)\Delta_{\alpha} \wp. \end{equation*}$

$(\Lambda_{2})$

$\begin{equation} \qquad\int_{n-\lambda}^{n}r(\wp)\Delta_{\alpha} \wp\leq \int_{m}^{n}r(\wp)g(\wp)\Delta_{\alpha} \wp, \end{equation}$

(2.2)

such that

$\begin{equation*} \int_{n-\lambda}^{n}\zeta(\wp)\Delta_{\alpha} \wp = \int_{m}^{n}\zeta(\wp)g(\wp)\Delta_{\alpha} \wp. \end{equation*}$

(2.1) and (2.2) are reversed when $r/\zeta$ is nondecreasing.

Proof. Putting $g(\wp)\mapsto \zeta(\wp)g(\wp)$ and $r(\wp)\mapsto r(\wp)/\zeta(\wp)$ in (1.4), (1.5) to get $(\Lambda_{1})$ and $(\Lambda_{2})$ simultaneously.

Lemma 2.2. Under the same hypotheses of Lemma 2.1. with $\psi$ be integrable functions on $[m, n]\cap\mathbb{T}$ and $0\leq \psi(\wp)\leq g(\wp)\leq 1-\psi(\wp)$ for all $\wp\in[m, n]_{\mathbb{T}}$ . Then

$\begin{eqnarray*} &&\int_{n-\lambda}^{n}r(\wp)\Delta_{\alpha} \wp+ \int_{m}^{n}\bigg|\bigg(\frac{r(\wp)}{\zeta(\wp)}-\frac{r(n-\lambda)}{\zeta(n-\lambda)}\bigg)\zeta(\wp)\psi(\wp)\bigg|\Delta_{\alpha} \wp\\ &&\leq \int_{m}^{n}r(\wp)g(\wp)\Delta_{\alpha} \wp\\ &&\leq \int_{m}^{m+\lambda}r(\wp)\Delta_{\alpha} \wp-\int_{m}^{n}\bigg|\bigg(\frac{r(\wp)}{\zeta(\wp)}-\frac{r(m+\lambda)}{\zeta(m+\lambda)}\bigg)\zeta(\wp)\psi(\wp)\bigg|\Delta_{\alpha} \wp, \end{eqnarray*}$

where $\lambda$ is obtained from

$\begin{equation*} \int_{m}^{m+\lambda}h(\wp)\Delta_{\alpha} \wp = \int_{m}^{n}\zeta(\wp)g(\wp)\Delta_{\alpha} \wp = \int_{n-\lambda}^{n}\zeta(\wp)\Delta_{\alpha} \wp. \end{equation*}$

Proof. Putting $g(\wp)\mapsto \zeta(\wp)g(\wp)$ , $r(\wp)\mapsto r(\wp)/h(\wp)$ and $\psi(\wp)\mapsto \zeta(\wp)\psi(\wp)$ in (1.6).

Lemma 2.3. Under the same conditions of Lemma 2.1. Then

$\begin{eqnarray*} \int_{n-\lambda}^{n}r(\wp)\Delta_{\alpha} \wp&\leq& \int_{n-\lambda}^{n}\bigg(r(\wp)-\bigg[\frac{r(\wp)}{\zeta(\wp)}-\frac{r(n-\lambda)}{\zeta(n-\lambda)}\bigg]\zeta(\wp)\big[1-g(\wp)\big]\bigg)\Delta_{\alpha} \wp\\ &\leq&\int_{m}^{n}r(\wp)g(\wp)\Delta_{\alpha} \wp\\ &\leq& \int_{m}^{m+\lambda}\bigg(r(\wp)-\bigg[\frac{r(\wp)}{\zeta(\wp)}-\frac{r(a+\lambda)}{\zeta(m+\lambda)}\bigg]\zeta(\wp)\big[1-g(\wp)\big]\bigg)\Delta_{\alpha} \wp\\ &\leq&\int_{m}^{m+\lambda}r(\wp)\Delta_{\alpha} \wp, \end{eqnarray*}$

where $\lambda$ is obtained from

$\begin{equation*} \int_{m}^{m+\lambda}\zeta(\wp)\Delta_{\alpha} \wp = \int_{m}^{n}g(\wp)\Delta_{\alpha} \wp = \int_{n-\lambda}^{n}\zeta(\wp)\Delta_{\alpha} \wp. \end{equation*}$

Proof. Taking $g(\wp)\mapsto \zeta(\wp)g(\wp)$ and $r(\wp)\mapsto r(\wp)/\zeta(\wp)$ in (1.7).

Theorem 2.1. Under the same conditions of Lemma 2.3 such that $k\in(m, n)$ and $\lambda_1$ , $\lambda_2$ are given from

$(\Lambda_{3})$

$\begin{equation*} \int_{m}^{m+\lambda_1}\zeta(\wp)\Delta_{\alpha} \wp = \int_{m}^{k}\zeta(\wp)g(\wp)\Delta_{\alpha} \wp, \end{equation*}$

$\begin{equation*} \int_{n-\lambda_2}^{n}\zeta(\wp)\Delta_{\alpha} \wp = \int_{k}^{n}\zeta(\wp)g(\wp)\Delta_{\alpha} \wp. \end{equation*}$

If $r^{\sigma}/\zeta\in\mathbb{AH}_1^k[m, n]$ and

$\begin{equation} \int_{m}^{n}\phi(\wp)\zeta(\wp)g(\wp)\Delta_{\alpha} \wp = \int_{m}^{m+\lambda_1}\phi(\wp)\zeta(\wp)\Delta_{\alpha} \wp+\int_{n-\lambda_2}^{n}\phi(\wp)\zeta(\wp)\Delta_{\alpha} \wp, \end{equation}$

(2.3)

then

$\begin{equation} \int_{m}^{n}r^{\sigma}(\wp)g(\wp)\Delta_{\alpha} \wp\leq\int_{m}^{m+\lambda_1}r^{\sigma}(\wp)\Delta_{\alpha} \wp+\int_{n-\lambda_2}^{n}r^{\sigma}(\wp)\Delta_{\alpha} \wp. \end{equation}$

(2.4)

(2.4) is reversed if $r^{\sigma}/\zeta\in\mathbb{AH}_2^k [m, n]$ and (2.3).

$(\Lambda_{4})$

$\begin{equation*} \int_{k-\lambda_1}^{k}\zeta(\wp)\Delta_{\alpha} \wp = \int_{m}^{k}\zeta(\wp)g(\wp)\Delta_{\alpha} \wp, \end{equation*}$

$\begin{equation*} \int_{k}^{k+\lambda_2}\zeta(\wp)\Delta_{\alpha} \wp = \int_{k}^{n}\zeta(\wp)g(\wp)\Delta_{\alpha} \wp. \end{equation*}$

If $r^{\sigma}/\zeta\in\mathbb{AH}_1^k[m, n]$ and

$\begin{equation} \int_{m}^{n}\phi(\wp)\zeta(\wp)g(\wp)\Delta_{\alpha} \wp = \int_{k-\lambda_1}^{k+\lambda_2}\phi(\wp)\zeta(\wp)\Delta_{\alpha} \wp, \end{equation}$

(2.5)

then

$\begin{equation} \int_{m}^{n}r^{\sigma}(\wp)g(\wp)\Delta_{\alpha} \wp\geq\int_{k-\lambda_1}^{k+\lambda_2}r^{\sigma}(\wp)\Delta_{\alpha} \wp. \end{equation}$

(2.6)

If $r^{\sigma}/\zeta\in\mathbb{AH}_2^k [m, n]$ and (2.5) satisfied, then we reverse (2.6).

$(\Lambda_{5})$ If $\lambda_1$ , $\lambda_2$ be the same as in $(\Lambda_{3})$ and $r^{\sigma}/\zeta\in\mathbb{AH}_1^k[m, n]$ so that

$\begin{eqnarray} &&\int_{m}^{n}\phi(\wp)\zeta(\wp)g(\wp)\Delta_{\alpha} \wp\\ && = \int_{m}^{m+\lambda_1}\bigg(\phi(\wp)\zeta(\wp)-[\phi(\wp)-m-\lambda_1]\zeta(\wp)[1-g(\wp)]\bigg)\Delta_{\alpha} \wp \\ &&\quad +\int_{n-\lambda_2}^{n}\bigg(\phi(\wp)\zeta(\wp)-[\phi(\wp)-n+\lambda_2]\zeta(\wp)[1-g(\wp)]\bigg)\Delta_{\alpha} \wp, \end{eqnarray}$

(2.7)

then

$\begin{eqnarray} &&\int_{m}^{n}r^{\sigma}(\wp)g(\wp)\Delta_{\alpha} \wp\\ &&\leq\int_{m}^{m+\lambda_1}\bigg(r^{\sigma}(\wp) -\Big|\frac{r^{\sigma}(\wp)}{\zeta(\wp)}-\frac{r^{\sigma}(m+\lambda_1)}{\zeta(m+\lambda_1)}\Big|\zeta(\wp)[1-g(\wp)]\bigg)\Delta_{\alpha} \wp\\ &&\quad +\int_{n-\lambda_2}^{n}\bigg(r^{\sigma}(\wp)-\Big|\frac{r^{\sigma}(\wp)}{\zeta(\wp)}-\frac{r^{\sigma}(n-\lambda_2)}{\zeta(n-\lambda_2)}\Big|\zeta(\wp)[1-g(\wp)]\bigg)\Delta_{\alpha} \wp. \end{eqnarray}$

(2.8)

If $r^{\sigma}/\zeta\in\mathbb{AH}_2^k [m, n]$ and (2.7) satisfied, the inequality in (2.8) is reversed.

$(\Lambda_{6})$ If $\lambda_1$ , $\lambda_2$ be defined as in $(\Lambda_{4})$ and $r^{\sigma}/\zeta\in\mathbb{AH}_1^k [m, n]$ and

$\begin{eqnarray} &&\int_{m}^{n}\phi(\wp)\zeta(\wp)g(\wp)\Delta_{\alpha} \wp\\ && = \int_{k-\lambda_1}^{k}\Big(\phi(\wp)\zeta(\wp)-[\phi(\wp)-k+\lambda_1]\zeta(\wp)[1-g(\wp)]\Big)\Delta_{\alpha} \wp\\ && = \int_{m}^{m+\lambda_1}\Big(\phi(\wp)\zeta(\wp)-[\phi(\wp)-k+\lambda_2]\zeta(\wp)[1-g(\wp)]\Big)\Delta_{\alpha} \wp, \end{eqnarray}$

(2.9)

then

$\begin{eqnarray} &&\int_{m}^{n}r^{\sigma}(\wp)g(\wp)\Delta_{\alpha} \wp\\ &&\geq\int_{k-\lambda_1}^{k}\bigg(r^{\sigma}(\wp)-\Big[\frac{r^{\sigma}(\wp)}{\zeta(\wp)}-\frac{r^{\sigma}(k-\lambda_1)}{\zeta(k-\lambda_1)}\Big]\zeta(\wp)[1-g(\wp)]\bigg)\Delta_{\alpha} \wp\\ &&\quad +\int_{k}^{k+\lambda_2}\bigg(r^{\sigma}(\wp)-\Big[\frac{r^{\sigma}(\wp)}{\zeta(\wp)}-\frac{r^{\sigma}(k+\lambda_2)}{\zeta(k+\lambda_2)}\Big]\zeta(\wp)[1-g(\wp)]\bigg)\Delta_{\alpha} \wp. \end{eqnarray}$

(2.10)

If $r^{\sigma}/\zeta\in\mathbb{AH}_2^k [m, n]$ and (2.9) satisfied, we reverse (2.10).

Proof. $(\Lambda_{3})$ Consider $r^{\sigma}/\zeta\in\mathbb{AH}_1^k [m, n]$ , and $R_{1}(\ell) = r^{\sigma}(\ell)-A\phi(\ell)\zeta(\ell)$ , since $A$ is given in Definition 2.1. Since $R_{1}/\zeta:[m, k]\cap{\mathbb{T}}\rightarrow \mathbb{R}$ , using Lemma 2.1 $(\Lambda_{1})$ , we deduce

$\begin{eqnarray} 0&\leq&\int_{m}^{m+\lambda_1}R_{1}(\wp)\Delta_{\alpha} \wp-\int_{m}^{k}R_{1}(\wp)g(\wp)\Delta_{\alpha} \wp\\ & = &\int_{m}^{m+\lambda_1}r^{\sigma}(\wp)\Delta_{\alpha} \wp-\int_{m}^{k}r^{\sigma}(\wp)g(\wp)\Delta_{\alpha} \wp\\ &&-A\bigg(\int_{m}^{m+\lambda_1}\phi(\wp)\zeta(\wp)\Delta_{\alpha} \wp-\int_{m}^{k}\phi(\wp)\zeta(\wp)g(\wp)\Delta_{\alpha} \wp\bigg). \end{eqnarray}$

(2.11)

As $R_{1}/\zeta:[k, n]\cap{\mathbb{T}}\rightarrow \mathbb{R}$ is nondecreasing, using Lemma 2.1 $(\Lambda_{2})$ , we obtain

$\begin{eqnarray} 0&\geq&\int_{k}^{n}R_{1}(\wp)g(\wp)\Delta_{\alpha} \wp-\int_{n-\lambda_2}^{n}R_{1}(\wp)\Delta_{\alpha} \wp\\ & = &\int_{k}^{n}r^{\sigma}(\wp)g(\wp)\Delta_{\alpha} \wp-\int_{n-\lambda_2}^{n}r^{\sigma}(\wp)\Delta_{\alpha} \wp\\ &&-A\bigg(\int_{k}^{n}\phi(\wp)\zeta(\wp)g(\wp)\Delta_{\alpha} \wp-\int_{n-\lambda_2}^{n}\phi(\wp)\zeta(\wp)\Delta_{\alpha} \wp\bigg). \end{eqnarray}$

(2.12)

(2.11) and (2.12) imply that

$\begin{eqnarray*} &&\int_{m}^{m+\lambda_1}r^{\sigma}(\wp)\Delta_{\alpha} \wp+\int_{n-\lambda_2}^{n}r^{\sigma}(\wp)\Delta_{\alpha} \wp-\int_{m}^{n}r^{\sigma}(\wp)g(\wp)\Delta_{\alpha} \wp\\ &&\geq A\bigg(\int_{m}^{m+\lambda_1}\phi(\wp)\zeta(\wp)\Delta_{\alpha} \wp+\int_{n-\lambda_2}^{n}\phi(\wp)\zeta(\wp)\Delta_{\alpha} \wp -\int_{m}^{n}\phi(\wp)\zeta(\wp)g(\wp)\Delta_{\alpha} \wp\bigg) \end{eqnarray*}$

Hence, if (2.3) is hold, then (2.4) holds. For $r^{\sigma}/\zeta\in\mathbb{AH}_2^k [m, n]$ , we get the some steps.

$(\Lambda_{4})$ Let $r^{\sigma}/\zeta\in\mathbb{AH}_1^k [m, n]$ , also $R_{1}(x) = r^{\sigma}(x)-A\phi(x)\zeta(x)$ , where $A$ as in Definition 2.1. $R_{1}/\zeta:[m, k]\cap{\mathbb{T}}\rightarrow \mathbb{R}$ is nonincreasing, so from Lemma 2.1 $(\Lambda_{1})$ we obtain

$\begin{eqnarray} 0&\leq&\int_{m}^{k}r^{\sigma}(\wp)g(\wp)\Delta_{\alpha} \wp-\int_{k-\lambda_1}^{k}r^{\sigma}(\wp)\Delta_{\alpha} \wp\\ &&-A\bigg(\int_{m}^{k}\phi(\wp)h(\wp)g(\wp)\Delta_{\alpha} \wp-\int_{c-\lambda_1}^{k}\phi(\wp)\zeta(\wp)\Delta_{\alpha} \wp\bigg). \end{eqnarray}$

(2.13)

Using Lemma 2.1 $(\Lambda_{1})$ we have

$\begin{eqnarray} 0&\geq&\int_{k}^{k+\lambda_2}r^{\sigma}(\wp)\Delta_{\alpha} \wp-\int_{k}^{n}r^{\sigma}(\wp)g(\wp)\Delta_{\alpha} \wp\\ &&-A\bigg(\int_{k}^{k+\lambda_2}\phi(\wp)\zeta(\wp)\Delta_{\alpha} \wp-\int_{k}^{n}\phi(\wp)\zeta(\wp)g(\wp)\Delta_{\alpha} \wp\bigg). \end{eqnarray}$

(2.14)

Thus, from (2.13), (2.14), we get

$\begin{eqnarray*} &&\int_{m}^{n}r^{\sigma}(\wp)g(\wp)\Delta_{\alpha} \wp-\int_{k-\lambda_1}^{k+\lambda_2}r^{\sigma}(\wp)\Delta_{\alpha} \wp\\ &&\geq A\bigg(\int_{m}^{n}\phi(\wp)\zeta(\wp)g(\wp)\Delta_{\alpha} \wp-\int_{k-\lambda_1}^{k+\lambda_2}\phi(\wp)\zeta(\wp)\Delta_{\alpha} \wp\bigg) \end{eqnarray*}$

Therefore, if $\int_{m}^{n}\phi(\wp)\zeta(\wp)g(\wp)\Delta_{\alpha} \wp = \int_{k-\lambda_1}^{k+\lambda_2}\phi(\wp)\zeta(\wp)\Delta_{\alpha} \wp$ is satisfied, then (2.8) holds. Follow the same steps for $r^{\sigma}/\zeta\in\mathbb{AH}_2^k [m, n]$ .

Using Lemma 2.3 and repeat the steps of Theorem 2.1 $(\Lambda_{3})$ and Theorem 2.1 $(\Lambda_{4})$ in the proof of $(\Lambda_{5})$ and $(\Lambda_{6})$ respectively.

Corollary 2.1. The inequalities (2.4), (2.6), (2.8) and (2.10) of Theorem 2.1 letting $\mathbb{T} = \mathbb{R}$ takes

$\begin{equation} (i)\qquad \int_{m}^{n}f^{\sigma}(\wp)g(\wp)d_{\alpha} \wp\leq\int_{m}^{m+\lambda_1}r^{\sigma}(\wp)d_{\alpha} \wp+\int_{n-\lambda_2}^{n}r^{\sigma}(\wp)d_{\alpha} \wp. \end{equation}$

(2.15)

$\begin{equation} (ii)\qquad \int_{m}^{n}r^{\sigma}(\wp)g(\wp)d_{\alpha} \wp\geq\int_{k-\lambda_1}^{k+\lambda_2}r^{\sigma}(\wp)d_{\alpha} \wp. \end{equation}$

(2.16)

$\begin{eqnarray} (iii)\qquad &&\int_{m}^{n}r^{\sigma}(\wp)g(\wp)d_{\alpha} \wp\\ &&\leq\int_{m}^{m+\lambda_1}\bigg(r^{\sigma}(\wp)-\Big[\frac{r^{\sigma}(\wp)}{\zeta(\wp)} -\frac{r^{\sigma}(m+\lambda_1)}{\zeta(m+\lambda_1)}\Big]\zeta(\wp)[1-g(\wp)]\bigg)d_{\alpha} \wp\\ &&\quad +\int_{n-\lambda_2}^{n}\bigg(r^{\sigma}(\wp)-\Big[\frac{r^{\sigma}(\wp)}{\zeta(\wp)}-\frac{r^{\sigma}(n-\lambda_2)}{\zeta(n-\lambda_2)}\Big]\zeta(\wp)[1-g(\wp)]\bigg)d_{\alpha} \wp. \end{eqnarray}$

(2.17)

$\begin{eqnarray} (iv)\qquad &&\int_{m}^{n}r^{\sigma}(\wp)g(\wp)d_{\alpha} \wp\\ &&\geq\int_{k-\lambda_1}^{k}\bigg(r^{\sigma}(\wp)-\Big[\frac{r^{\sigma}(\wp)}{\zeta(\wp)}-\frac{r^{\sigma}(k-\lambda_1)}{\zeta(k-\lambda_1)}\Big]\zeta(\wp)[1-g(\wp)]\bigg)d_{\alpha} \wp\\ &&\quad +\int_{k}^{k+\lambda_2}\bigg(r^{\sigma}(\wp)-\Big[\frac{r^{\sigma}(\wp)}{\zeta(\wp)}-\frac{r^{\sigma}(k+\lambda_2)}{\zeta(k+\lambda_2)}\Big]\zeta(\wp)[1-g(\wp)]\bigg)d_{\alpha} \wp. \end{eqnarray}$

(2.18)

Corollary 2.2. We get [,Theorems 8,10,21 and 22], if we put $\alpha = 1$ and $\phi(\wp) = \wp$ in Corollary 2.1 $[(i), (ii), (iii), (iv)]$ simultaneously.

Corollary 2.3. In Corollary 2.1 taking $\mathbb{T} = \mathbb{Z}$ , the results (2.15)–(2.18) will be equivalent to

$\begin{equation*} (i)\qquad \sum\limits_{\wp = m}^{n-1}r(\wp+1)g(\wp)\wp^{\alpha-1}\leq\sum\limits_{\wp = m}^{m+\lambda_1-1}r(\wp+1)+\sum\limits_{\wp = n-\lambda_2}^{n-1}r(\wp+1)\wp^{\alpha-1}. \end{equation*}$

$\begin{equation*} (ii)\qquad \sum\limits_{\wp = m}^{n-1}r(\wp+1)g(\wp)\wp^{\alpha-1}\geq\sum\limits_{\wp = k-\lambda_1}^{k+\lambda_2-1}r(\wp+1)\wp^{\alpha-1}. \end{equation*}$

$\begin{eqnarray*} (iii)\qquad \nonumber&&\sum\limits_{\wp = m}^{n-1}r(\wp+1)g(\wp)\wp^{\alpha-1}\\ \nonumber&&\leq\sum\limits_{\wp = m}^{m+\lambda_1-1}\bigg(r(\wp+1)-\Big[\frac{r(\wp+1)}{\zeta(\wp)}-\frac{r(a+\lambda_1+1)}{\zeta(m+\lambda_1)}\Big]\zeta(\wp)[1-g(\wp)]\bigg)\wp^{\alpha-1}\\ &&\quad +\sum\limits_{\wp = n-\lambda_2}^{n-1}\bigg(r(\wp+1)-\Big[\frac{r(\wp+1)}{\zeta(\wp)}-\frac{r(n-\lambda_2+1)}{\zeta(n-\lambda_2)}\Big]\zeta(\wp)[1-g(\wp)]\bigg)\wp^{\alpha-1}. \end{eqnarray*}$

$\begin{eqnarray*} (iv)\qquad \nonumber&&\sum\limits_{\wp = m}^{n-1}r(\wp+1)g(\wp))\wp^{\alpha-1}\\ \nonumber&&\geq\sum\limits_{\wp = k-\lambda_1}^{k-1}\bigg(r(\wp+1)-\Big[\frac{r(\wp+1)}{\zeta(\wp)}-\frac{r(k-\lambda_1+1)}{\zeta(k-\lambda_1)}\Big]\zeta(\wp)[1-g(\wp)]\bigg))\wp^{\alpha-1}\\ &&\quad +\sum\limits_{\wp = k}^{k+\lambda_2-1}\bigg(r(\wp+1)-\Big[\frac{r(\wp+1)}{\zeta(\wp)}-\frac{r(k+\lambda_2+1)}{\zeta(k+\lambda_2)}\Big]\zeta(\wp)[1-g(\wp)]\bigg))\wp^{\alpha-1}. \end{eqnarray*}$

Theorem 2.2. Under the assumptions in Lemma 2.1 with $0\leq g(\wp)\leq \zeta(\wp)$ and $\lambda_1$ , $\lambda_2$ be defined as

$(\Lambda_{7})$

$\begin{equation*} \int_{m}^{m+\lambda_1}\zeta(\wp)\Delta_{\alpha} \wp = \int_{m}^{k}g(\wp)\Delta_{\alpha} \wp, \end{equation*}$

$\begin{equation*} \int_{n-\lambda_2}^{n}\zeta(\wp)\Delta_{\alpha} \wp = \int_{k}^{n}g(\wp)\Delta_{\alpha} \wp. \end{equation*}$

If $r^{\sigma}/\zeta\in\mathbb{AH}_1^k[m, n]$ and

$\begin{equation} \int_{m}^{n}\phi(\wp)g(\wp)\Delta_{\alpha} \wp = \int_{m}^{m+\lambda_1}\phi(\wp)\zeta(\wp)\Delta_{\alpha} \wp+\int_{n-\lambda_2}^{n}\phi(\wp)\zeta(\wp)\Delta_{\alpha} \wp, \end{equation}$

(2.19)

then

$\begin{equation} \int_{m}^{n}r^{\sigma}(\wp)g(\wp)\Delta_{\alpha} \wp\leq\int_{m}^{m+\lambda_1}r^{\sigma}(\wp)\zeta(\wp)\Delta_{\alpha} \wp+\int_{n-\lambda_2}^{n}r^{\sigma}(\wp)\zeta(\wp)\Delta_{\alpha} \wp. \end{equation}$

(2.20)

$(\Lambda_{8})$

$\begin{equation*} \int_{k-\lambda_1}^{k}\zeta(\wp)\Delta_{\alpha} \wp = \int_{m}^{k}g(\wp)\Delta_{\alpha} \wp, \end{equation*}$

$\begin{equation*} \int_{k}^{k+\lambda_2}\zeta(\wp)\Delta_{\alpha} \wp = \int_{k}^{n}g(\wp)\Delta_{\alpha} \wp. \end{equation*}$

If $r^{\sigma}/\zeta\in\mathbb{AH}_1^k[m, n]$ and

$\begin{equation} \int_{m}^{n}\phi(\wp)g(\wp)\Delta_{\alpha} \wp = \int_{k-\lambda_1}^{k+\lambda_2}\phi(\wp)\zeta(\wp)\Delta_{\alpha} \wp, \end{equation}$

(2.21)

then

$\begin{equation} \int_{m}^{n}r^{\sigma}(\wp)g(\wp)\Delta_{\alpha} \wp\geq\int_{k-\lambda_1}^{k+\lambda_2}r^{\sigma}(\wp)\zeta(\wp)\Delta_{\alpha} \wp. \end{equation}$

(2.22)

If $r^{\sigma}/\zeta\in\mathbb{AH}_2^k [m, n]$ and (2.19), (2.21) satisfied, we get the reverse of (2.20) and (2.22).

Proof. By using Theorem 2.1 $[(\Lambda_{3}), (\Lambda_{4})]$ and by putting $g\mapsto g/h$ and $f\mapsto fh$ , we get the proof of $(\Lambda_{7})$ and $(\Lambda_{8})$ .

Corollary 2.4. In Theorem 2.2 $[(\Lambda_{7}), (\Lambda_{8})]$ , assuming $\mathbb{T} = \mathbb{R}$ , the following results obtains:

$\begin{equation} (i)\qquad \int_{m}^{n}r^{\sigma}(\wp)g(\wp)d_{\alpha} \wp\leq\int_{m}^{m+\lambda_1}r^{\sigma}(\wp)\zeta(\wp)d_{\alpha} \wp+\int_{n-\lambda_2}^{n}r^{\sigma}(\wp)\zeta(\wp)d_{\alpha} \wp. \end{equation}$

(2.23)

$\begin{equation} (ii)\qquad \int_{m}^{n}r^{\sigma}(\wp)g(\wp)d_{\alpha} \wp\geq\int_{k-\lambda_1}^{k+\lambda_2}r^{\sigma}(\wp)\zeta(\wp)d_{\alpha} \wp. \end{equation}$

(2.24)

Corollary 2.5. In Corollary 2.4 $[(i), (ii)]$ , when we put $\alpha = 1$ and $\phi(\wp) = \wp$ then [47,Theorems 16 and 17] gotten.

Corollary 2.6. In (2.23) and (2.24) letting $\mathbb{T} = \mathbb{Z}$ , gets

$\begin{equation*} (i)\qquad \sum\limits_{\wp = m}^{n-1}r(\wp+1)g(\wp)\wp^{\alpha-1}\leq\sum\limits_{\wp = m}^{m+\lambda_1-1}r(\wp+1)h(\wp)+\sum\limits_{\wp = n-\lambda_2}^{n-1}r(\wp+1)h(\wp)\wp^{\alpha-1}. \end{equation*}$

$\begin{equation*} (ii)\qquad \sum\limits_{\wp = m}^{n-1}r(\wp+1)g(\wp)\wp^{\alpha-1}\geq\sum\limits_{\wp = k-\lambda_1}^{k+\lambda_2-1}r(\wp+1)\zeta(\wp)\wp^{\alpha-1}. \end{equation*}$

Theorem 2.3. Using the same conditions in Lemma 2.3. Letting $w:[m, n]\cap{\mathbb{T}}\rightarrow \mathbb{R}$ be integrable with $0\leq g(\wp)\leq w(\wp)$ $\forall \wp\in[m, n]\cap{\mathbb{T}}$ and

$\begin{equation*} (\Lambda_{9})\qquad \int_{m}^{m+\lambda_1}w(\wp)\zeta(\wp)\Delta_{\alpha} \wp = \int_{m}^{k}\zeta(\wp)g(\wp)\Delta_{\alpha} \wp, \end{equation*}$

$\begin{equation*} \int_{n-\lambda_2}^{n}w(\wp)\zeta(\wp)\Delta_{\alpha} \wp = \int_{k}^{n}\zeta(\wp)g(\wp)\Delta_{\alpha} \wp. \end{equation*}$

If $r^{\sigma}/\zeta\in\mathbb{AH}_1^k[m, n]$ and

$\begin{equation} \int_{m}^{n}\phi(\wp)\zeta(\wp)g(\wp)\Delta_{\alpha} \wp = \int_{m}^{m+\lambda_1}\phi(\wp)w(\wp)\zeta(\wp)\Delta_{\alpha} \wp+\int_{n-\lambda_2}^{n}\phi(\wp)w(\wp)\zeta(\wp)\Delta_{\alpha} \wp, \end{equation}$

(2.25)

then

$\begin{equation} \int_{m}^{n}r^{\sigma}(\wp)g(\wp)\Delta_{\alpha} \wp\leq\int_{m}^{m+\lambda_1}r^{\sigma}(\wp)w(\wp)\Delta_{\alpha} \wp+\int_{n-\lambda_2}^{n}r^{\sigma}(\wp)w(\wp)\Delta_{\alpha} \wp. \end{equation}$

(2.26)

$\begin{equation*} (\Lambda_{10})\qquad \int_{k-\lambda_1}^{k}w(\wp)\zeta(\wp)\Delta_{\alpha} \wp = \int_{m}^{k}\zeta(\wp)g(\wp)\Delta_{\alpha} \wp, \end{equation*}$

$\begin{equation*} \int_{k}^{k+\lambda_2}w(\wp)\zeta(\wp)\Delta_{\alpha} \wp = \int_{k}^{n}\zeta(\wp)g(\wp)\Delta_{\alpha} \wp. \end{equation*}$

If $r^{\sigma}/\zeta\in\mathbb{AH}_1^k[m, n]$ and

$\begin{equation} \int_{m}^{n}\phi(\wp)\zeta(\wp)g(\wp)\Delta_{\alpha} \wp = \int_{k-\lambda_1}^{k+\lambda_2}\phi(\wp)w(\wp)\zeta(\wp)\Delta_{\alpha} \wp, \end{equation}$

(2.27)

$\begin{equation} \int_{m}^{n}r^{\sigma}(\wp)g(\wp)\Delta_{\alpha} \wp\geq\int_{k-\lambda_1}^{k+\lambda_2}r^{\sigma}(\wp)w(\wp)\Delta_{\alpha} \wp. \end{equation}$

(2.28)

The inequalities in (2.26) and (2.28) are reversible if $r^{\sigma}/\zeta\in\mathbb{AH}_2^c [a, b]$ and (2.25), (2.27) hold.

Proof. In Theorem 2.1 $[(\Lambda_{3}), (\Lambda_{4})]$ , $\zeta$ changes $wq$ , $g$ changes $g/w$ and $r$ changes $rw$ .

Corollary 2.7. In (2.26) and (2.28). Letting $\mathbb{T} = \mathbb{R}$ , we have

$\begin{equation} (i)\qquad \int_{m}^{n}r^{\sigma}(\wp)g(\wp)d_{\alpha} \wp\leq\int_{m}^{m+\lambda_1}r^{\sigma}(\wp)w(\wp)d_{\alpha} \wp+\int_{n-\lambda_2}^{n}r^{\sigma}(\wp)w(\wp)d_{\alpha} \wp. \end{equation}$

(2.29)

$\begin{equation} (ii)\qquad \int_{m}^{n}r^{\sigma}(\wp)g(\wp)d_{\alpha} \wp\geq\int_{k-\lambda_1}^{k+\lambda_2}r^{\sigma}(\wp)w(\wp)d_{\alpha} \wp. \end{equation}$

(2.30)

Corollary 2.8. In Corollary 2.7 $[(i), (ii)]$ , letting $\alpha = 1$ and $\phi(\wp) = \wp$ we get [47,Theorems 18 and 19].

Corollary 2.9. In (2.29) and (2.30), crossing $\mathbb{T} = \mathbb{Z}$ , gets

$\begin{equation*} (i)\qquad \sum\limits_{\wp = m}^{n-1}r(\wp+1)g(\wp)\wp^{\alpha-1}\leq\sum\limits_{\wp = m}^{m+\lambda_1-1}r(\wp+1)w(\wp)+\sum\limits_{\wp = n-\lambda_2}^{n-1}r(\wp+1)w(\wp)\wp^{\alpha-1}. \end{equation*}$

$\begin{equation*} (ii)\qquad \sum\limits_{\wp = m}^{n-1}r(\wp+1)g(\wp)\wp^{\alpha-1}\geq\sum\limits_{\wp = k-\lambda_1}^{k+\lambda_2-1}r(\wp+1)w(\wp)\wp^{\alpha-1}. \end{equation*}$

Theorem 2.4. Using the same conditions in Lemma 2.1, and Theorem 2.1 $[(\Lambda_{3}), (\Lambda_{4})]$ with $\psi:[m, n]\cap{\mathbb{T}}\rightarrow \mathbb{R}$ be a integrable: $0\leq \psi(\wp)\leq g(\wp)\leq 1-\psi(\wp)$ .

$(\Lambda_{11})$ If $r^{\sigma}/\zeta\in\mathbb{AH}_1^k[m, n]$ and

$\begin{eqnarray} \qquad &&\int_{m}^{n}\phi(\wp)\zeta(\wp)g(\wp)\Delta_{\alpha} \wp\\ && = \int_{m}^{m+\lambda_1}\phi(\wp)\zeta(\wp)\Delta_{\alpha} \wp-\int_{m}^{k}\big|\phi(\wp)-m-\lambda_1\big|\zeta(\wp)\psi(\wp)\Delta_{\alpha} \wp +\int_{n-\lambda_2}^{n}\phi(\wp)\zeta(\wp)\Delta_{\alpha} \wp\\ &&\quad +\int_{k}^{n}\big|\phi(\wp)-n+\lambda_2\big|\zeta(\wp)\psi(\wp)\Delta_{\alpha} \wp, \end{eqnarray}$

(2.31)

then

$\begin{eqnarray} &&\int_{m}^{n}r^{\sigma}(\wp)g(\wp)\Delta_{\alpha} \wp\\ &&\leq\int_{m}^{m+\lambda_1}r^{\sigma}(\wp)\Delta_{\alpha} \wp -\int_{m}^{k}\Big|\frac{r^{\sigma}(\wp)}{\zeta(\wp)}-\frac{r^{\sigma}(m+\lambda_1)}{\zeta(m+\lambda_1)}\Big|\zeta(\wp)\psi(\wp)\Delta_{\alpha} \wp+\int_{n-\lambda_2}^{n}r^{\sigma}(\wp)\Delta_{\alpha} \wp\\ &&\quad +\int_{k}^{n}\Big|\frac{r^{\sigma}(\wp)}{\zeta(\wp)}-\frac{r^{\sigma}(n-\lambda_2)}{\zeta(n-\lambda_2)}\Big|\zeta(\wp)\psi(\wp)\Delta_{\alpha} \wp. \end{eqnarray}$

(2.32)

$(\Lambda_{12})$ If $r^{\sigma}/\zeta\in\mathbb{AH}_1^k[m, n]$ and

$\begin{eqnarray} &&\int_{m}^{n}\phi(\wp)\zeta(\wp)g(\wp)\Delta_{\alpha} \wp\\ && = \int_{k-\lambda_1}^{k}\phi(\wp)\zeta(\wp)\Delta_{\alpha} \wp-\int_{m}^{k}\big|\phi(\wp)-k+\lambda_1\big|\zeta(\wp)\psi(\wp)\Delta_{\alpha} \wp\\ &&+\int_{k}^{n}\big|\phi(\wp)-k-\lambda_1\big|\zeta(\wp)\psi(\wp)\Delta_{\alpha} \wp, \end{eqnarray}$

(2.33)

then

$\begin{eqnarray} &&\int_{m}^{n}r^{\sigma}(\wp)g(\wp)\Delta_{\alpha} \wp\\ &&\geq\int_{k-\lambda_1}^{k+\lambda_2}r^{\sigma}(\wp)\Delta_{\alpha} \wp+\int_{m}^{k}\bigg|\frac{r^{\sigma}(\wp)}{\zeta(\wp)}-\frac{r^{\sigma}(k-\lambda_1)}{\zeta(k-\lambda_1)}\bigg|\zeta(\wp)\psi(\wp)\Delta_{\alpha} \wp\\ &&\quad-\int_{k}^{n}\bigg|\frac{r^{\sigma}(\wp)}{\zeta(\wp)}-\frac{r^{\sigma}(k+\lambda_2)}{\zeta(k+\lambda_2)}\bigg|\zeta(\wp)\psi(\wp) \Delta_{\alpha} \wp. \end{eqnarray}$

(2.34)

If $r^{\sigma}/\zeta\in\mathbb{AH}_2^k [m, n]$ and (2.31) and (2.33) satisfied, we get the reverse of (2.32) and (2.34).

Proof. The same steps of Theorem 2.1 $[(\Lambda_{3}), (\Lambda_{4})]$ with Lemma 2.1, $R_{1}/\zeta:[m, k]\cap{\mathbb{T}}\rightarrow \mathbb{R}$ nonincreasing, $R_{1}/\zeta:[k, n]\cap{\mathbb{T}}\rightarrow \mathbb{R}$ nondecreasing.

Corollary 2.10. In Theorem 2.4 $[(\Lambda_{11}), (\Lambda_{12})]$ , letting $\mathbb{T} = \mathbb{R}$ we get:

$\begin{eqnarray} (i)\qquad &&\int_{m}^{n}r^{\sigma}(\wp)g(\wp)d_{\alpha} \wp\\ &&\leq\int_{m}^{m+\lambda_1}r^{\sigma}(\wp)d_{\alpha} \wp -\int_{m}^{k}\Big|\frac{r^{\sigma}(\wp)}{\zeta(\wp)}-\frac{r^{\sigma}(m+\lambda_1)}{\zeta(m+\lambda_1)}\Big|\zeta(\wp)\psi(\wp)d_{\alpha} \wp+\int_{n-\lambda_2}^{n}r^{\sigma}(\wp)d_{\alpha} \wp\\ &&\quad +\int_{k}^{n}\Big|\frac{r^{\sigma}(\wp)}{\zeta(\wp)}-\frac{r^{\sigma}(n-\lambda_2)}{\zeta(n-\lambda_2)}\Big|\zeta(\wp)\psi(\wp)d_{\alpha} \wp. \end{eqnarray}$

(2.35)

$\begin{eqnarray} (ii)\qquad &&\int_{m}^{n}r^{\sigma}(\wp)g(\wp)d_{\alpha} \wp\\ &&\geq\int_{k-\lambda_1}^{k+\lambda_2}r^{\sigma}(\wp)d_{\alpha} \wp+\int_{m}^{k}\bigg|\frac{r^{\sigma}(\wp)}{\zeta(\wp)}-\frac{r^{\sigma}(k-\lambda_1)}{\zeta(k-\lambda_1)}\bigg|\zeta(\wp)\psi(\wp)d_{\alpha} \wp\\ &&\quad-\int_{k}^{n}\bigg|\frac{r^{\sigma}(\wp)}{\zeta(\wp)}-\frac{r^{\sigma}(k+\lambda_2)}{\zeta(k+\lambda_2)}\bigg|\zeta(\wp)\psi(\wp)d_{\alpha} \wp. \end{eqnarray}$

(2.36)

Corollary 2.11. In (2.35) and (2.36), we put $\alpha = 1$ , with $\phi(\wp) = \wp$ we get [47,Theorems 23 and 24].

Corollary 2.12. Our results (2.35) and (2.36), by using $\mathbb{T} = \mathbb{Z}$ gets

$\begin{eqnarray*} (i)\qquad \nonumber&&\sum\limits_{\wp = m}^{n-1}r(\wp+1)g(\wp)\wp^{\alpha-1}\\ \nonumber&&\leq\sum\limits_{\wp = m}^{m+\lambda_1-1}r(\wp+1)\wp^{\alpha-1} -\sum\limits_{\wp = m}^{k-1}\Big|\frac{r(\wp+1)}{\zeta(\wp)}-\frac{r(m+\lambda_1+1)}{\zeta(m+\lambda_1)}\Big|\zeta(\wp)\psi(\wp)\hat{\nabla} \wp\\ &&\quad+\sum\limits_{\wp = n-\lambda_2}^{n-1}r(\wp+1)\wp^{\alpha-1}+\sum\limits_{\wp = k}^{n-1}\Big|\frac{r(\wp+1)}{\zeta(\wp)}-\frac{r(n-\lambda_2+1)}{\zeta(n-\lambda_2)}\Big|\zeta(\wp)\psi(\wp)\wp^{\alpha-1}. \end{eqnarray*}$

$\begin{eqnarray*} (ii)\qquad\nonumber&&\sum\limits_{\wp = m}^{n-1}r(\wp+1)g(\wp)\wp^{\alpha-1}\\ \nonumber&&\geq\sum\limits_{\wp = k-\lambda_1}^{k+\lambda_2-1}r(\wp+1)\wp^{\alpha-1}+\sum\limits_{\wp = m}^{k-1}\bigg|\frac{r(\wp+1)}{\zeta(\wp)}-\frac{r(k-\lambda_1+1)}{\zeta(k-\lambda_1)} \bigg|\zeta(\wp)\psi(\wp)\wp^{\alpha-1}\\ &&\quad-\sum\limits_{\wp = k}^{n-1}\bigg|\frac{r(\wp+1)}{\zeta(\wp)}-\frac{r(k+\lambda_2+1)}{\zeta(k+\lambda_2)}\bigg|h(\wp)\psi(\wp)\wp^{\alpha-1}. \end{eqnarray*}$

3. Conclusions

In this work, we explore new generalizations of the integral Steffensen inequality given in ^[38,39,43] by the utilization of the $\alpha$ -conformable derivatives and integrals, A few of these results are generalised to time scales. We also obtained the discrete and continuous case of our main results, in order to gain some fresh inequalities as specific cases.

Acknowledgments

The authors extend their appreciation to the Research Supporting Project number (RSP-2022/167), King Saud University, Riyadh, Saudi Arabia.

Conflict of interest

The authors declare no conflict of interest.

References

[1]	On the stability at all times of linearly extrapolated BDF2 timestepping for multiphysics incompressible flow problems. Numer. Methods Partial Differential Equations (2017) 33: 995-1017.
[2]	M. Akbas, L. G. Rebholz and C. Zerfas, Optimal vorticity accuracy in an efficient velocity-vorticity method for the 2D Navier-Stokes equations, Calcolo, 55 (2018), Paper No. 3, 29 pp. 1–29. doi: 10.1007/s10092-018-0246-7
[3]	Continuous data assimilation for the three-dimensional Navier–Stokes- $\alpha$ model. Asymptotic Anal. (2016) 97: 139-164.
[4]	Data assimilation and initialization of hurricane prediction models. J. Atmos. Sci. (1974) 31: 702-719.
[5]	Continuous data assimilation using general interpolant observables. Journal of Nonlinear Science (2014) 24: 277-304.
[6]	Continuous data assimilation with stochastically noisy data. Nonlinearity (2015) 28: 729-753.
[7]	Downscaling data assimilation algorithm with applications to statistical solutions of the Navier–Stokes equations. Ann. Inst. H. Poincaré Anal. Non Linéaire (2019) 36: 295-326.
[8]	Continuous data assimilation for the 2D magnetohydrodynamic equations using one component of the velocity and magnetic fields. Asymptot. Anal. (2018) 108: 1-43.
[9]	S. C. Brenner and L. R. Scott, The Mathematical Theory of Finite Element Methods, Third edition, Texts in Applied Mathematics, 15. Springer, New York, 2008. doi: 10.1007/978-0-387-75934-0
[10]	E. Carlson, J. Hudson and A. Larios, Parameter recovery for the 2 dimensional Navier-Stokes equations via continuous data assimilation, SIAM J. Sci. Comput., 42 (2020), A250–A270. doi: 10.1137/19M1248583
[11]	Spectral filtering of interpolant observables for a discrete-in-time downscaling data assimilation algorithm. SIAM J. Appl. Dyn. Syst. (2019) 18: 1118-1142.
[12]	On conservation laws of Navier-Stokes Galerkin discretizations. Journal of Computational Physics (2017) 337: 289-308.
[13]	Synchronization to big-data: Nudging the Navier-Stokes equations for data assimilation of turbulent flows. Physical Review X (2020) 10: 1-15.
[14]	R. Daley, Atmospheric Data Analysis, Cambridge Atmospheric and Space Science Series, Cambridge University Press, 1993. doi: 10.4267/2042/51948
[15]	Efficient dynamical downscaling of general circulation models using continuous data assimilation. Quarterly Journal of the Royal Meteorological Society (2019) 145: 3175-3194.
[16]	A. Ern and J.-L. Guermond, Theory and Practice of Finite Elements, Applied Mathematical Sciences, 159. Springer-Verlag, New York, 2004. doi: 10.1007/978-1-4757-4355-5
[17]	Data assimilation in large Prandtl Rayleigh–Bénard convection from thermal measurements. SIAM J. Appl. Dyn. Syst. (2020) 19: 510-540.
[18]	Continuous data assimilation for the 2D Bénard convection through velocity measurements alone. Phys. D (2015) 303: 59-66.
[19]	A. Farhat, E. Lunasin and E. S. Titi, A data assimilation algorithm: The paradigm of the 3D Leray-α model of turbulence, Partial Differential Equations Arising from Physics and Geometry, London Math. Soc. Lecture Note Ser., Cambridge Univ. Press, Cambridge, 450 (2019), 253-273.
[20]	A discrete data assimilation scheme for the solutions of the two-dimensional Navier-Stokes equations and their statistics. SIAM J. Appl. Dyn. Syst. (2016) 15: 2109-2142.
[21]	Uniform in time error estimates for a finite element method applied to a downscaling data assimilation algorithm for the Navier-Stokes equations. SIAM Journal on Numerical Analysis (2020) 58: 410-429.
[22]	A computational study of a data assimilation algorithm for the two-dimensional Navier–Stokes equations. Commun. Comput. Phys. (2016) 19: 1094-1110.
[23]	P. Gresho and R. Sani, Incompressible Flow and the Finite Element Method, Vol. 2, Wiley, 1998.
[24]	The Scott-Vogelius finite elements revisited. Math. Comp. (2019) 88: 515-529.
[25]	Unconditional long-time stability of a velocity-vorticity method for the 2D Navier-Stokes equations. Numer. Math. (2017) 135: 143-167.
[26]	The initialization of numerical models by a dynamic-initialization technique. Monthly Weather Review (1976) 104: 1551-1556.
[27]	H. A. Ibdah, C. F. Mondaini and E. S. Titi, Fully discrete numerical schemes of a data assimilation algorithm: Uniform-in-time error estimates, IMA Journal of Numerical Analysis, Drz043, (2019). doi: 10.1093/imanum/drz043
[28]	A second order ensemble method based on a blended BDF time-stepping scheme for time dependent Navier-Stokes equations. Numerical Methods for Partial Differential Equations (2017) 33: 34-61.
[29]	A new approach to linear filtering and prediction problems. Trans. ASME Ser. D. J. Basic Engrg. (1960) 82: 35-45.
[30]	Global in time stability and accuracy of IMEX-FEM data assimilation schemes for Navier-Stokes equations. Computer Methods in Applied Mechanics and Engineering (2019) 345: 1077-1093.
[31]	A. Larios and C. Victor, Continuous data assimilation with a moving cluster of data points for a reaction diffusion equation: A computational study, Commun. Comp. Phys., (accepted for publication).
[32]	K. Law, A. Stuart and K. Zygalakis, A Mathematical Introduction to Data Assimilation, Texts in Applied Mathematics, 62. Springer, Cham, 2015. doi: 10.1007/978-3-319-20325-6
[33]	On the accuracy of the rotation form in simulations of the Navier-Stokes equations. Journal of Computational Physics (2009) 228: 3433-3447.
[34]	On error analysis for the 3D Navier-Stokes equations in velocity-vorticity-helicity form. SIAM Journal on Numerical Analysis (2011) 49: 711-732.
[35]	Uniform-in-time error estimates for the postprocessing Galerkin method applied to a data assimilation algorithm. SIAM J. Numer. Anal. (2018) 56: 78-110.
[36]	Natural vorticity boundary conditions on solid walls. Computer Methods in Applied Mechanics and Engineering (2015) 297: 18-37.
[37]	Velocity-vorticity-helicity formulation and a solver for the Navier-Stokes equations. Journal of Computational Physics (2010) 229: 4291-4303.
[38]	On well-posedness of a velocity-vorticity formulation of the Navier-Stokes equations with no-slip boundary conditions. Discrete Contin. Dyn. Syst. (2018) 38: 3459-3477.
[39]	Grad-div stabilization for the Stokes equations. Math. Comp. (2004) 73: 1699-1718.
[40]	Continuous data assimilation for the 3D primitive equations of the ocean. Comm. Pure Appl. Math. (2019) 18: 643-661.
[41]	L. Rebholz and C. Zerfas, Simple and efficient continuous data assimilation of evolution equations via algebraic nudging, Submitted.
[42]	Towards computable flows and robust estimates for inf-sup stable fem applied to the time dependent incompressible Navier-Stokes equations. SeMA J. (2018) 75: 629-653.
[43]	C. Zerfas, Numerical Methods and Analysis for Continuous Data Assimilation in Fluid Models, PhD thesis, Clemson University, 2019,132 pp, https://tigerprints.clemson.edu/all_dissertations/2428.
[44]	C. Zerfas, L. G. Rebholz, M. Schneier and T. Iliescu, Continuous data assimilation reduced order models of fluid flow, Computer Methods in Applied Mechanics and Engineering, 357 (2019), 112596, 18 pp. doi: 10.1016/j.cma.2019.112596

This article has been cited by:

1.	Ahmed A. El-Deeb, Clemente Cesarano, On Some Generalizations of Reverse Dynamic Hardy Type Inequalities on Time Scales, 2022, 11, 2075-1680, 336, 10.3390/axioms11070336
2.	Ahmed A. El-Deeb, Dumitru Baleanu, Jan Awrejcewicz, (Δ∇)∇-Pachpatte Dynamic Inequalities Associated with Leibniz Integral Rule on Time Scales with Applications, 2022, 14, 2073-8994, 1867, 10.3390/sym14091867
3.	Ahmed A. El-Deeb, Dumitru Baleanu, Nehad Ali Shah, Ahmed Abdeldaim, On some dynamic inequalities of Hilbert's-type on time scales, 2023, 8, 2473-6988, 3378, 10.3934/math.2023174
4.	Ahmed A. El-Deeb, Samer D. Makharesh, Sameh S. Askar, Dumitru Baleanu, Bennett-Leindler nabla type inequalities via conformable fractional derivatives on time scales, 2022, 7, 2473-6988, 14099, 10.3934/math.2022777
5.	Ahmed A. El-Deeb, Dumitru Baleanu, Clemente Cesarano, Ahmed Abdeldaim, On Some Important Dynamic Inequalities of Hardy–Hilbert-Type on Timescales, 2022, 14, 2073-8994, 1421, 10.3390/sym14071421
6.	Hassan M. El-Owaidy, Ahmed A. El-Deeb, Samer D. Makharesh, Dumitru Baleanu, Clemente Cesarano, On Some Important Class of Dynamic Hilbert’s-Type Inequalities on Time Scales, 2022, 14, 2073-8994, 1395, 10.3390/sym14071395
7.	Ahmed A. El-Deeb, Alaa A. El-Bary, Jan Awrejcewicz, On Some Dynamic (ΔΔ)∇- Gronwall–Bellman–Pachpatte-Type Inequalities on Time Scales and Its Applications, 2022, 14, 2073-8994, 1902, 10.3390/sym14091902
8.	Asfand Fahad, Saad Ihsaan Butt, Josip Pečarić, Marjan Praljak, Generalized Taylor’s Formula and Steffensen’s Inequality, 2023, 11, 2227-7390, 3570, 10.3390/math11163570

Reader Comments

Your name:*

Email:*
© 2021 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)