Generalized Ostrowski type inequalities for multiple points on time scales involving functions of two independent variables

Qinghua Feng; Fanwei Meng

doi:10.1186/1029-242X-2012-74

Research
Open Access

Generalized Ostrowski type inequalities for multiple points on time scales involving functions of two independent variables

Qinghua Feng^{1, 2}Email author and
Fanwei Meng²

Journal of Inequalities and Applications20122012:74

https://doi.org/10.1186/1029-242X-2012-74

Received: 14 December 2011
Accepted: 29 March 2012
Published: 29 March 2012

Abstract

In this article, we establish some new Ostrowski type integral inequalities on time scales involving functions of two independent variables for k² points, which on one hand unify continuous and discrete analysis, on the other hand extend some known results in the literature. The established results can be used in the estimate of error bounds for some numerical integration formulae, and some of the results are sharp.

Mathematical Subject Classification 2010: 26E70; 26D15; 26D10.

Keywords

Ostrowski type inequality
time scales
numerical integration
error bound
sharp bound

1. Introduction

Recently many authors have studied various inequalities, among which the Ostrowski type inequalities have attracted much attention in the literature. The Ostrowski inequality was originally presented in [1] (see also in [[2], pp. 468]) as stated in the following theorem.

Theorem 1.1. Let f : I → R be a differentiable mapping in the interior IntI of I, where I ⊂ R is an interval, and let a, b ∈ IntI. a < b. If |f'(t)| ≤ M, ∀t ∈ [a, b], then we have

|f (x) - \frac{1}{b - a} \int_{a}^{b} f (t) d t| \leq [\frac{1}{4} + \frac{{(x - \frac{a + b}{2})}^{2}}{{(b - a)}^{2}}] (b - a) M,

for x ∈ [a, b].

In recent years, various generalizations of the Ostrowski inequality including continuous and discrete versions have been established (for example, see [3–14] and the references therein). On the other hand, Hilger [15] initiated the theory of time scales as a theory capable of treating continuous and discrete analysis in a consistent way, based on which some authors have studied the Ostrowski type inequalities on time scales (see [16–24]). The established Ostrowski type inequalities on time scales unify continuous and discrete analysis, and can be used to provide explicit error bounds for some known and some new numerical quadrature formulae.

In this article, we will establish some new Ostrowski type inequalities on time scales involving functions of two independent variables for k² points, which on one hand extend some known results in the literature, on the other hand unify continuous and discrete analysis.

First we will give some preliminaries on time scales. A time scale is an arbitrary nonempty closed subset of the real numbers. If denotes an arbitrary time scale, then on we define the forward and backward jump operators $σ \in (T, T)$ and $ρ \in (T, T)$ such that $σ (t) = inf {s \in T, s > t}, ρ (t) = sup (s \in T, s > t)$ .

Definition 1.2. A point $t \in T$ is said to be left-dense if ρ(t) = t and $t \neq inf T$ , right-dense if σ(t) = t and $t \neq sup T$ , left-scattered if ρ(t) < t and right-scattered if σ(t) > t.

Definition 1.3. The set $T^{κ}$ is defined to be if does not have a left-scattered maximum, otherwise it is without the left-scattered maximum.

Definition 1.4. A function $f \in (T, ℝ)$ is called rd-continuous if it is continuous at right-dense points and if the left-sided limits exist at left-dense points, while f is called regressive if 1 + μ(t)f(t) ≠ 0, where μ(t) = σ(t) - t. C_rddenotes the set of rd-continuous functions.

Definition 1.5. For some

t \in T^{κ}

, and a function

f \in (T, ℝ)

, the delta derivative of f at t is denoted by f^Δ(t) (provided it exists) with the property such that for every ε > 0 there exists a neighborhood

U

of t satisfying

|f (σ (t)) - f (s) - f^{Δ} (t) (σ (t) - s)| \leq ε |σ (t) - s| for all s \in 픘 .

Remark 1.6. If $T = ℝ$ , then f^Δ(t) becomes the usual derivative f'(t), while f^Δ(t) = f(t + 1) - f(t) if $T = ℤ$ , which represents the forward difference.

Definition 1.7. If F^Δ(t) = f(t),

t \in T^{κ}

, then F is called an antiderivative of f, and the Cauchy integral of f is defined by

\int_{a}^{b} f (t) Δ t = F (b) - F (a) .

The following two theorem include some important properties for delta derivative on time scales.

Theorem 1.8. If

a, b, c \in T

, α ∈ ℝ, and f, g ∈ C_rd, then

(i)

$\int_{a}^{b} [f (t) + g (t)] Δ t = \int_{a}^{b} f (t) Δ t + \int_{a}^{b} g (t) Δ t$ ,
(ii)

$\int_{a}^{b} (α f) (t) Δ t = α \int_{a}^{b} f (t) Δ t$ ,
(iii)

$\int_{a}^{b} f (t) Δ t = - \int_{b}^{a} f (t) Δ t$ ,
(iv)

$\int_{a}^{b} f (t) Δ t = \int_{a}^{c} f (t) Δ t + \int_{c}^{b} f (t) Δ t$ ,
(v)

$\int_{a}^{a} f (t) Δ t = 0$ ,
(vi)

if f(t) ≥ 0 for all a ≤ t ≤ b, then $\int_{a}^{b} f (t) Δ t \geq 0$ .

Definition 1.9.

h_{k} : T^{2} \to ℝ

, k = 0, 1, 2 ... are defined by

h_{k + 1} (t, s) = \int_{s}^{t} h_{k} (τ, s) Δ τ, \forall s, t \in T,

where h₀(t, s) = 1.

For more details about the calculus of time scales, we refer to [25].

Throughout this article, ℝ denotes the set of real numbers and ℝ₊ = [0,∞), while ℤ denotes the set of integers, and ℕ₀ denotes the set of nonnegative integers. For a function f and two integers m₀, m₁, we have $\sum_{s = m_{0}}^{m_{1}} f = 0$ provided m₀ > m₁. $T_{1}, T_{2}$ denote two arbitrary time scales, and for an interval $[a, b], {[a, b]}_{T_{i}} : = [a, b] \cap_{T_{i},} i = 1, 2$ . Finally, for the sake of convenience, we denote the forward jump operators on $T_{1}, T_{2}$ by σ uniformly.

2. Main results

Theorem 2.1. Let

a, b \in T_{1}, c, d \in T_{2}, f : \in C_{r d} ({[a, b]}_{T_{1}} \times {[c, d]}_{T_{2}}, ℝ)

such that the partial delta derivative of order 2 exists and there exists a constant K with

sup_{a < s < b, c < t < d} |\frac{\partial^{2} f (s, t)}{Δ_{1} s Δ_{2} t}| = K

. Suppose that

x_{i} \in {[a, b]}_{T_{1}}, y_{i} \in {[c, d]}_{T_{2}}, i = 0, 1, . . ., k . I_{k} : a = x_{0} < x_{1} < \dots < x_{k - 1} < x_{k} = b

is a division of the interval

{[a, b]}_{T_{1}}

, while J_k: c = y₀ < y₁ < ⋯ < y_k-1< y_k= d is a division of the interval

{[c, d]}_{T_{2}} . α_{i} \in {[x_{i - 1}, x_{i}]}_{T_{1}}, β_{i} \in {[y_{i - 1}, y_{i}]}_{T_{2}}, i = 1, 2, . . ., k

. Then we have

\begin{align} |\sum_{i = 1}^{k - 1} \sum_{j = 1}^{k - 1} (α_{i + 1} - α_{i}) (β_{j + 1} - β_{j}) f (x_{i}, y_{j}) + \sum_{i = 1}^{k - 1} (α_{i + 1} - α_{i}) (y_{k} - β_{k}) f (x_{i}, y_{k}) \\ - \sum_{i = 1}^{k - 1} (α_{i + 1} - α_{i}) (y_{0} - β_{1}) f (x_{i}, y_{0}) \\ + \sum_{j = 1}^{k - 1} (x_{k} - α_{k}) (β_{j + 1} - β_{j}) f (x_{k}, y_{j}) + (x_{k} - α_{k}) (y_{k} - β_{k}) f (x_{k}, y_{k}) - (x_{k} - α_{k}) (y_{0} - β_{1}) f (x_{k}, y_{0}) \\ - \sum_{j = 1}^{k - 1} (x_{0} - α_{1}) (β_{j + 1} - β_{j}) f (x_{0}, y_{i}) - (x_{0} - α_{1}) (y_{k} - β_{k}) f (x_{0}, y_{k}) + (x_{0} - α_{1}) (y_{0} - β_{1}) f (x_{0}, y_{0}) \\ - \sum_{j = 1}^{k - 1} \int_{a}^{b} (β_{j + 1} - β_{j}) f (σ (s), y_{j}) Δ_{1} s - \int_{a}^{b} [(y_{k} - β_{k}) f (σ (s), y_{k}) - (y_{0} - β_{1}) f (σ (s), y_{0})] Δ_{1} s \\ - \sum_{i = 1}^{k - 1} \int_{c}^{d} (α_{i + 1} - α_{i}) f (x_{i} σ (t)) Δ_{2} t - \int_{c}^{d} [(x_{k} - α_{k}) f (x_{k}, σ (t)) - (x_{0} - α_{1}) f (x_{0}, σ (t))] Δ_{2} t \\ + \int_{a}^{b} \int_{c}^{d} f (σ (s), σ (t)) Δ_{2} t Δ_{1} s| \\ \leq K \{\sum_{i = 0}^{k - 1} [h_{2} (x_{i}, α_{i + 1}) + h_{2} (x_{i + 1}, α_{i + 1})] \sum_{j = 0}^{k - 1} [h_{2} (y_{j}, β_{j + 1}) + h_{2} (y_{j + 1}, β_{j + 1})]\} . \end{align}

(1)

The inequality (1) is sharp in the sense that the right side of (1) can not be replaced by a smaller one.

Proof. Define

H (s, t, I_{k}, J_{k}) = (s - α_{i + 1}) (t - β_{j + 1}), (s, t) \in [x_{i}, x_{i + 1}) \times [y_{j}, y_{j + 1}), i, j = 0, 1, . . ., k - 1 .

(2)

Then we obtain

\begin{array}{l} \int_{a}^{b} \int_{c}^{d} H (s, t, I_{k}, J_{k}) \frac{\partial^{2} f (s, t)}{Δ_{1} s Δ_{2} t} Δ_{2} t Δ_{1} s = \sum_{i = 0}^{k - 1} \sum_{j = 0}^{k - 1} \int_{x_{i}}^{x_{i + 1}} \int_{y_{j}}^{y_{j + 1}} (s - α_{i + 1}) (t - β_{j + 1}) \frac{\partial^{2} f (s, t)}{Δ_{1} s Δ_{2} t} Δ_{2} t Δ_{1} s \\ = \sum_{i = 0}^{k - 1} \sum_{j = 0}^{k - 1} \int_{x_{i}}^{x_{i + 1}} (s - α_{i + 1}) [(y_{j + 1} - β_{j + 1}) \frac{\partial f (s, y_{j + 1})}{Δ_{1} s} - (y_{j} - β_{j + 1}) \frac{\partial f (s, y_{j})}{Δ_{1} s} - \int_{y_{j}}^{y_{j + 1}} \frac{\partial f (s, σ (t))}{Δ_{1} s} Δ_{2} t] \\ Δ_{1} s \\ = \sum_{i = 0}^{k - 1} \sum_{j = 0}^{k - 1} {[(x_{i + 1} - α_{i + 1}) f (x_{i + 1}, y_{j + 1}) - (x_{i} - α_{i + 1}) f (x_{i}, y_{j + 1})] (y_{j + 1} - β_{j + 1}) \\ - [(x_{i + 1} - α_{i + 1}) f (x_{i + 1}, y_{j}) - (x_{i} - α_{i + 1}) f (x_{i}, y_{j})] (y_{j} - β_{j + 1}) \\ - \int_{x_{i}}^{x_{i + 1}} [(y_{j + 1} - β_{j + 1}) f (σ (s), y_{j + 1}) - (y_{j} - β_{j + 1}) f (σ (s), y_{j})] Δ_{1} s \\ - \int_{y_{j}}^{y_{j + 1}} [(x_{i + 1} - α_{i + 1}) f (x_{i + 1}, σ (t)) - (x_{i} - α_{i + 1}) f (x_{i}, σ (t))] Δ_{2} t \\ + \int_{x_{i}}^{x_{i + 1}} \int_{y_{j}}^{y_{j + 1}} f (σ (s), σ (t)) Δ_{2} t Δ_{1} s} \\ = \sum_{i = 1}^{k - 1} \sum_{j = 0}^{k - 1} (α_{i + 1} - α_{i}) (y_{j + 1} - β_{j + 1}) f (x_{i}, y_{j + 1}) + \sum_{j = 0}^{k - 1} (x_{k} - α_{k}) (y_{j + 1} - β_{j + 1}) f (x_{k}, y_{j + 1}) \\ - \sum_{j = 0}^{k - 1} (x_{0} - α_{1}) (y_{j + 1} - β_{j + 1}) f (x_{0}, y_{j + 1}) \\ - \sum_{i = 1}^{k - 1} \sum_{j = 0}^{k - 1} (α_{i + 1} - α_{i}) (y_{j} - β_{j + 1}) f (x_{i}, y_{j}) - \sum_{j = 0}^{k - 1} (x_{k} - α_{k}) (y_{j} - β_{j + 1}) f (x_{k}, y_{j}) \\ + \sum_{j = 0}^{k - 1} (x_{0} - α_{1}) (y_{j} - β_{j + 1}) f (x_{0}, y_{j}) \\ - \sum_{j = 0}^{k - 1} \int_{a}^{b} [(y_{j + 1} - β_{j + 1}) f (σ (s), y_{j + 1}) - (y_{j} - β_{j + 1}) f (σ (s), y_{j})] Δ_{1} s \\ - \sum_{i = 0}^{k - 1} \int_{c}^{d} [(x_{i + 1} - α_{i + 1}) f (x_{i + 1}, σ (t)) - (x_{i} - α_{i + 1}) f (x_{i}, σ (t))] Δ_{2} t + \int_{a}^{b} \int_{c}^{d} f (σ (s), σ (t)) Δ_{2} t Δ_{1} s \\ = \sum_{i = 1}^{k - 1} \sum_{j = 1}^{k - 1} (α_{i + 1} - α_{i}) (β_{j + 1} - β_{j}) f (x_{i}, y_{i}) + \sum_{i = 1}^{k - 1} (α_{i + 1} - α_{i}) (y_{k} - β_{k}) f (x_{i}, y_{k}) - \sum_{i = 1}^{k - 1} (α_{i + 1} - \\ α_{i}) (y_{0} - β_{1}) f (x_{i}, y_{0}) \\ + \sum_{j = 1}^{k - 1} (x_{k} - α_{k}) (β_{j + 1} - β_{j}) f (x_{k}, y_{j}) + (x_{k} - α_{k}) (y_{k} - β_{k}) f (x_{k}, y_{k}) - (x_{k} - α_{k}) (y_{0} - β_{1}) f (x_{k}, y_{0}) \\ - \sum_{j = 1}^{k - 1} (x_{0} - α_{1}) (β_{j + 1} - β_{j}) f (x_{0}, y_{j}) - (x_{0} - α_{1}) (y_{k} - β_{k}) f (x_{0}, y_{k}) + (x_{0} - α_{1}) (y_{0} - β_{1}) f (x_{0}, y_{0}) \\ - \sum_{j = 1}^{k - 1} \int_{a}^{b} (β_{j + 1} - β_{j}) f (σ (s), y_{j}) Δ_{1} s - \int_{a}^{b} [(y_{k} - β_{k}) f (σ (x), y_{k}) - (y_{0} - β_{1}) f (σ (s), y_{0})] Δ_{1} s \\ - \sum_{i = 1}^{k - 1} \int_{c}^{d} (α_{i + 1} - α_{i}) f (x_{i} σ (t)) Δ_{2} t - \int_{c}^{d} [(x_{k} - α_{k}) f (x_{k}, σ (t)) - (x_{0} - α_{1}) f (x_{0}, σ (t))] Δ_{2} t \\ + \int_{a}^{b} \int_{c}^{d} f (σ (s), σ (t)) Δ_{2} t Δ_{1} s . \end{array}

(3)

On the other hand, we have

\begin{array}{l} \int_{a}^{b} \int_{c}^{d} | H (s, t, I_{k}, J_{k}) | Δ_{2} t Δ s = \sum_{i = 0}^{k - 1} \sum_{j = 0}^{k - 1} \int_{x_{i}}^{x_{i + 1}} \int_{y_{j}}^{y_{j + 1}} | (s - α_{i + 1}) (t - β_{j + 1}) | Δ_{2} t Δ_{1} s \\ = [\sum_{i = 0}^{k - 1} \int_{x_{i}}^{x_{i + 1}} | (s - α_{i + 1}) | Δ_{1} s] [\sum_{j = 0}^{k - 1} \int_{y_{j}}^{y_{j + 1}} | (t - β_{i + 1}) | Δ_{2} t] \\ = {\sum_{i = 0}^{k - 1} [\int_{x_{i}}^{α_{i + 1}} (α_{i + 1} - s) Δ_{1} s + \int_{α_{i + 1}}^{x_{i + 1}} (s - α_{i + 1}) Δ_{1} s]} {\sum_{j = 0}^{k - 1} [\int_{y_{j}}^{β_{j + 1}} (β_{j + 1} - t) Δ_{2} t + \int_{β_{j + 1}}^{y_{j + 1}} \\ (t - β_{j + 1}) Δ_{2} t]} \\ = \sum_{i = 0}^{k - 1} [h_{2} (x_{i}, α_{i + 1}) + h_{2} (x_{i + 1}, α_{i + 1})] \sum_{j = 0}^{k - 1} [h_{2} (y_{j}, β_{j + 1}) + h_{2} (y_{j + 1}, β_{j + 1})] . \end{array}

(4)

Combining (3) and (4) we get the desired inequality (1).

In order to prove the sharpness of (1), we take k = 1, α₁ = b, β₁ = d, f(s, t) = st. Then the left side of (1) becomes

\begin{align} |\int_{a}^{b} \int_{c}^{d} σ (s) σ (t) Δ_{2} t Δ_{1} s - (d - c) \int_{a}^{b} c σ (s) Δ_{1} s - (b - a) \int_{c}^{b} a σ (t) Δ_{2} t + (d - c) (b - a) a c| \\ = |\int_{a}^{b} \int_{c}^{d} [σ (s) σ (t) - c σ (s) - a σ (t) + a c] Δ_{2} t Δ_{1} s| = |\int_{a}^{b} \int_{c}^{d} [σ (s) - a] [σ (t) - c] Δ_{2} t Δ_{1} s| \\ = |\int_{a}^{b} \int_{c}^{d} {{[{(s - a)}^{2}]}_{s}^{Δ} {[{(t - c)}^{2}]}_{t}^{Δ} - [(σ (s) - a) (t - c) + (σ (t) - c) (s - a) + (s - a) (t - c)]} Δ_{2} t Δ_{1} s| \\ = |\int_{a}^{b} \int_{c}^{d} {{[{(s - a)}^{2}]}_{s}^{Δ} {[{(t - c)}^{2}]}_{t}^{Δ} - [{[{(s - a)}^{2}]}_{s}^{Δ} (t - c) + {[{(t - c)}^{2}]}_{t}^{Δ} (s - a) - (t - c) (s - a)]} Δ_{2} t Δ_{1} s| \\ = |{(b - a)}^{2} {(d - c)}^{2} - {(b - a)}^{2} \int_{c}^{d} (t - c) Δ_{2} t - {(d - c)}^{2} \int_{a}^{b} (s - a) Δ_{1} s + \int_{a}^{b} \int_{c}^{d} (t - c) (s - a) Δ_{2} t Δ_{1} s| \\ = |\int_{a}^{b} \int_{c}^{d} (t - d) (s - b) Δ_{2} t Δ_{1} s| = \int_{a}^{b} \int_{c}^{d} (d - t) (b - s) Δ_{2} t Δ_{1} s = \int_{b}^{a} (s - b) Δ_{1} s \int_{d}^{c} (t - d) Δ_{2} t \\ = h_{2} (a, b) h_{2} (c, d) . \end{align}

On the other hand, Using K = 1, the right side of (1) reduces to h₂ (a, b)h₂ (c, d), which implies (2) holds for equality form, and then the sharpness of (1) is proved.

Remark 2.2. Theorem 2.1 is the 2D extension of [[24], Theorem 3].

From Theorem 2.1 we can obtain some particular Ostrowski type inequalities on time scales. For example, if we take k = 1, α₁ = b, β₁ = d, then we have

\begin{array}{l} | \int_{a}^{b} \int_{c}^{d} f (σ (s), σ (t)) Δ_{2} t Δ_{1} s - (d - c) \int_{a}^{b} f (σ (s), y_{0}) Δ_{1} s - (b - a) \int_{c}^{d} f (x_{0}, σ (t)) Δ_{2} t + (d - \\ c) (b - a) f (x_{0}, y_{0}) | \\ \leq K h_{2} (a, b) h_{2} (c, d) . \end{array}

If we take k = 1, α₁ = a, β₁ = c, then we have

\begin{array}{l} | \int_{a}^{b} \int_{c}^{d} f (σ (s), σ (t)) Δ_{2} t Δ_{1} s - (d - c) \int_{a}^{b} f (σ (s), y_{1}) Δ_{1} s - (b - a) \int_{c}^{d} f (x_{1}, σ (t)) Δ_{2} t + (d - \\ c) (b - a) f (x_{1}, y_{1}) | \\ \leq K h_{2} (b, a) h_{2} (d, c) . \end{array}

If we take

k = 1, α_{1} = \frac{a + b}{2}, β_{1} = \frac{c + d}{2}

, then we have

\begin{array}{l} | \int_{a}^{b} \int_{c}^{d} f (σ (s), σ (t)) Δ_{2} t Δ_{1} s - \frac{d - c}{2} \int_{a}^{b} [f (σ (s), y_{1}) + f (σ (s), y_{0})] Δ_{1} s - \frac{d - a}{2} \int_{c}^{d} [f (x_{1}, σ (t)) + \\ f (x_{0}, σ (t))] Δ_{2} t \\ + \frac{(b - a) (d - c)}{4} [f (x_{1}, y_{1}) + f (x_{1}, y_{0}) + f (x_{0}, y_{1}) + f (x_{0}, y_{0})] | \\ \leq K [h_{2} (a, \frac{a + b}{2}) + h_{2} (b, \frac{a + b}{2})] [h_{2} (c, \frac{c + d}{2}) + h_{2} (d, \frac{c + d}{2})] . \end{array}

If we take k = 2, α₁ = a, α₂ = b, β₁ = c, β₂ = d, x₁ = x, y₁ = y, then we have

\begin{align} |\int_{a}^{b} \int_{c}^{d} f (σ (s), σ (t)) Δ_{2} t Δ_{1} s - (d - c) \int_{a}^{b} f (σ (s), y) Δ_{1} s - (b - a) \int_{c}^{d} f (x, σ (t)) Δ_{2} t \\ + (b - a) (d - c) f (x, y)| \\ \leq K [h_{2} (x, a) + h_{2} (x, b)] [h_{2} (y, c) + h_{2} (y, d)] . \end{align}

If we take

k = 2, α_{1} = \frac{a + x}{2}, α_{2} = \frac{x + b}{2}, β_{1} = \frac{c + y}{2}, β_{2} = \frac{y + d}{2}, x_{1} = x, y_{1} = y

, then we have

\begin{align} |\int_{a}^{b} \int_{c}^{d} f (σ (s), σ (t)) Δ_{2} t Δ_{1} s - \frac{(d - c)}{2} \int_{a}^{b} f (σ (s), y) Δ_{1} s - \frac{(b - a)}{2} \int_{c}^{d} f (x, σ (t)) Δ_{2} t \\ - \int_{a}^{b} [\frac{(d - y)}{2} f (σ (s), y_{2}) + \frac{(y - c)}{2} f (σ (s), y_{0})] Δ_{1} s - \int_{c}^{d} [\frac{(b - x)}{2} f (x_{2}, σ (t)) + \frac{(x - a)}{2} f (x_{0}, σ (t))] Δ_{2} t \\ + \frac{(b - a) (d - c)}{4} f (x, y) + \frac{(b - a) (d - y)}{4} f (x, y_{2}) + \frac{(b - a) (y - c)}{4} f (x, y_{0}) + \frac{(d - c) (b - x)}{4} f (x_{2}, y) \\ + \frac{(x - a) (d - c)}{4} f (x_{0}, y) + \frac{(d - y) (b - x)}{4} f (x_{2}, y_{2}) + \frac{(y - c) (b - x)}{4} f (x_{2}, y_{0}) \\ + \frac{(d - y) (x - a)}{4} f (x_{0}, y_{2}) + \frac{(y - c) (x - a)}{4} f (x_{0}, y_{0})| \\ \leq K [h_{2} (a, \frac{a + x}{2}) + h_{2} (x, \frac{a + x}{2}) + h_{2} (x, \frac{x + b}{2}) + h_{2} (b, \frac{x + b}{2})] \times \\ [h_{2} (c, \frac{c + y}{2}) + h_{2} (y, \frac{c + y}{2}) + h_{2} (y, \frac{y + d}{2}) + h_{2} (d, \frac{y + d}{2})] . \end{align}

If we furthermore take $x = \frac{b + a}{2}, y = \frac{d + c}{2}$ in the inequality above, then we obtain the time scale version of Simpson's inequality [26], which is omitted here.

In Theorem 2.1, if we take $T_{1}, T_{2}$ for some special time scales, then we immediately obtain the following three corollaries.

Corollary 2.3 (Continuous case). Let

T_{1} = T_{2} = ℝ

in Theorem 2.1, then

h_{2} (t, s) = \frac{{(t - s)}^{2}}{2}

, and we obtain

\begin{align} |\sum_{i = 1}^{k - 1} \sum_{j = 1}^{k - 1} (α_{i + 1} - α_{i}) (β_{j + 1} - β_{j}) f (x_{i}, y_{j}) + \sum_{i = 1}^{k - 1} (α_{i + 1} - α_{i}) (y_{k} - β_{k}) f (x_{i}, y_{k}) \\ - \sum_{i = 1}^{k - 1} (α_{i + 1} - α_{i}) (y_{0} - β_{1}) f (x_{i}, y_{0}) \\ + \sum_{j = 1}^{k - 1} (x_{k} - α_{k}) (β_{j + 1} - β_{j}) f (x_{k}, y_{j}) + (x_{k} - α_{k}) (y_{k} - β_{k}) f (x_{k}, y_{k}) - (x_{k} - α_{k}) (y_{0} - β_{1}) f (x_{k}, y_{0}) \\ - \sum_{j = 1}^{k - 1} (x_{0} - α_{1}) (β_{j + 1} - β_{j}) f (x_{0}, y_{j}) - (x_{0} - α_{1}) (y_{k} - β_{k}) f (x_{0}, y_{k}) + (x_{0} - α_{1}) (y_{0} - β_{1}) f (x_{0}, y_{0}) \\ - \sum_{j = 1}^{k - 1} \int_{a}^{b} (β_{j + 1} - β_{j}) f (s, y_{j}) d s - \int_{a}^{b} [(y_{k} - β_{k}) f (s, y_{k}) - (y_{0} - β_{1}) f (s, y_{0})] d s \\ - \sum_{i = 1}^{k - 1} \int_{c}^{d} (α_{i + 1} - α_{i}) f (x_{i}, t) d t - \int_{c}^{d} [(x_{k} - α_{k}) f (x_{k}, t) - (x_{0} - α_{1}) f (x_{0}, t)] d t + \int_{a}^{b} \int_{c}^{d} f (s, t) d t d s| \\ \leq K \{\sum_{i = 0}^{k - 1} [\frac{{(x_{i} - α_{i + 1})}^{2}}{2} + \frac{{(x_{i + 1} - α_{i + 1})}^{2}}{2}] \sum_{j = 0}^{k - 1} [\frac{{(y_{i} - β_{j + 1})}^{2}}{2} + \frac{{(y_{j + 1} - β_{j + 1})}^{2}}{2}]\}, \end{align}

(5)

where $K = sup_{a < s < b, c < t < d} |\frac{\partial^{2} f (s, t)}{\partial s \partial t}|$ .

Corollary 2.4 (Discrete case). Let

T_{1} = T_{2} = ℤ, a = m_{1}, b = m_{2}, c = n_{1}, d = n_{2}

in Theorem 2.1. Suppose that x_i∈ [m₁, m₂]_ℤ, y_i∈ [n₁, n₂]_ℤ, i = 0,1, ...,k. I_k: m₁ = x₀ < x₁ < ⋯ < x_k-1< x_k= m₂ is a division of [m₁, m₂]_ℤ, while J_k: n₁ = y₀ < y₁ < ⋯ < y_k-1< y_k= n₂ is a division of [n₁, n₂]_ℤ. α_i∈ [x_i-1, x_i]_ℤ, β_i∈ [y_i-1, y_i]_ℤ, i = 1,2,...,k. Then we have

\begin{align} |\sum_{i = 1}^{k - 1} \sum_{j = 1}^{k - 1} (α_{i + 1} - α_{i}) (β_{j + 1} - β_{j}) f (x_{i}, y_{j}) + \sum_{i = 1}^{k - 1} (α_{i + 1} - α_{i}) (y_{k} - β_{k}) f (x_{i}, y_{k}) \\ - \sum_{i = 1}^{k - 1} (α_{i + 1} - α_{i}) (y_{0} - β_{1}) f (x_{i}, y_{0}) \\ + \sum_{j = 1}^{k - 1} (x_{k} - α_{k}) (β_{j + 1} - β_{j}) f (x_{k}, y_{j}) + (x_{k} - α_{k}) (y_{k} - β_{k}) f (x_{k}, y_{k}) - (x_{k} - α_{k}) (y_{0} - β_{1}) f (x_{k}, y_{0}) \\ - \sum_{j = 1}^{k - 1} (x_{0} - α_{1}) (β_{j + 1} - β_{j}) f (x_{0}, y_{j}) - (x_{0} - α_{1}) (y_{k} - β_{k}) f (x_{0}, y_{k}) + (x_{0} - α_{1}) (y_{0} - β_{1}) f (x_{0}, y_{0}) \\ - \sum_{j = 1}^{k - 1} \sum_{s = m_{1} + 1}^{m_{2}} (β_{j + 1} - β_{j}) f (s, y_{j}) - \sum_{s = m_{1} + 1}^{m_{2}} [(y_{k} - β_{k}) f (s, y_{k}) - (y_{0} - β_{1}) f (s, y_{0})] \\ - \sum_{i = 1}^{k - 1} \sum_{t = n_{1} + 1}^{n_{2}} (α_{i + 1} - α_{i}) f (x_{i}, t) - \sum_{t = n_{1} + 1}^{n_{2}} [(x_{k} - α_{k}) f (x_{k}, t) - (x_{0} - α_{1}) f (x_{0}, t)] + \sum_{s = m_{1} + 1}^{m_{2}} \sum_{t = n_{1} + 1}^{n_{2}} f (s, t)| \\ \leq K \{\sum_{i = 0}^{k - 1} [\frac{(x_{i} - α_{i + 1}) (x_{i} - α_{i + 1} - 1)}{2} + \frac{(x_{i + 1} - α_{i + 1}) (x_{i + 1} - α_{i + 1} - 1)}{2}] \times \\ \sum_{j = 0}^{k - 1} [\frac{(y_{j} - β_{j + 1}) (y_{j} - β_{j + 1} - 1)}{2} + \frac{(y_{j + 1} - β_{j + 1}) (y_{j + 1} - β_{j + 1} - 1)}{2}]\}, \end{align}

(6)

where K denotes the maximum value of the absolute value of the difference Δ₁Δ₂f over [m₁, m₂-1]_ℤ × [n₁, n₂-1]_ℤ.

As long as we notice $h_{2} (t, s) = \frac{(t - s) (t - s - 1)}{2}$ for ∀t, s ∈ ℤ, we can easily get the desired result.

Corollary 2.5 (Quantum calculus case). Let

T_{1} = q_{1}^{ℕ_{0}}, T_{2} = q_{2}^{ℕ_{0}}

in Theorem 2.1, where m₁, m₂, n₁, n₂ ∈ ℕ₀ and q_i> 1, i = 1, 2. Suppose that

x_{i} \in {[q_{1}^{m_{1}}, q_{1}^{m_{2}}]}_{q_{1}^{ℕ_{0}}}, y_{j} \in {[q_{2}^{n_{1}}, q_{2}^{n_{2}}]}_{q_{2}^{ℕ_{0}}}, i = 0, 1, \dots, k . I_{k} : q_{1}^{m_{1}} = x_{0} < x_{1} < \dots < x_{k - 1} < x_{k} = q_{1}^{m_{2}}

is a division of

{[q_{1}^{m_{1}}, q_{1}^{m_{2}}]}_{ℕ_{0}}

, while

J_{k} : q_{2}^{n_{1}} = y_{0} < y_{1} < \dots < y_{k - 1} < y_{k} = q_{2}^{n_{2}}

is a division of

{[q_{2}^{n_{1}}, q_{2}^{n_{2}}]}_{q^{ℕ_{0}}} α_{i} \in {[x_{i - 1}, x_{i}]}_{q_{1}^{ℕ_{0}}}, β_{i} \in {[y_{i - 1}, y_{j}]}_{q_{2}^{ℕ_{0}}}, i = 1, 2, \dots, k

. Then we have

\begin{array}{l} | \sum_{i = 1}^{k - 1} \sum_{j = 1}^{k - 1} (α_{i + 1} - α_{i}) (β_{j + 1} - β_{j}) f (x_{i}, y_{j}) + \sum_{i = 1}^{k - 1} (α_{i + 1} - α_{i}) (y_{k} - β_{k}) f (x_{i}, y_{k}) \\ - \sum_{i = 1}^{k - 1} (α_{i + 1} - α_{i}) (y_{0} - β_{1}) f (x_{i}, y_{0}) \\ + \sum_{j = 0}^{k - 1} (x_{k} - α_{k}) (β_{j + 1} - β_{j}) f (x_{k,} y_{j}) + (x_{k} - α_{k}) (y_{k} - β_{k}) f (x_{k}, y_{k}) - (x_{k} - α_{k}) (y_{0} - β_{1}) f (x_{k}, y_{0}) \\ - \sum_{j = 1}^{k - 1} (x_{0} - α_{1}) (β_{j + 1} - β_{j}) f (x_{0}, y_{j}) - (x_{0} - α_{1}) (y_{k} - β_{k}) f (x_{0}, y_{k}) + (x_{0} - α_{1}) (y_{0} - β_{1}) f (x_{0}, y_{0}) \\ - q_{1_{}}^{m_{1}} (q_{1} - 1) {\sum_{j = 1}^{k - 1} \sum_{s = m_{1}}^{m_{2} - 1} q_{1}^{s - m_{1}} (β_{j + 1} - β_{j}) f (q^{s + 1}, y_{j}) - \sum_{s = m_{1}}^{m_{2} - 1} q_{1}^{s - m_{1}} [(y_{k} - β_{k}) f (q^{s + 1}, y_{k}) \\ - (y_{0} - β_{1}) f (q^{s + 1}, y_{0})]} \\ - q_{2}^{n_{1}} (q_{2} - 1) {\sum_{i = 1}^{k - 1} \sum_{t = n_{1}}^{n_{2} - 1} q_{2}^{t - n_{1}} (α_{i + 1} - α_{i}) f (x_{i}, q^{t + 1}) - \sum_{t = n_{1}}^{n_{2} - 1} q_{2}^{t - n_{1}} [(x_{k} - α_{k}) f (x_{k}, q^{t + 1}) \\ - (x_{0} - α_{1}) f (x_{0}, q^{t + 1})]} \\ + q_{1_{}}^{m_{1}} q_{2}^{n_{1}} (q_{1} - 1) (q_{2} - 1) \sum_{s = m_{1}}^{m_{2} - 1} \sum_{t = n_{1}}^{n_{2} - 1} q_{1}^{s - m_{1}} q_{2}^{t - n_{1}} f (q^{s + 1}, q^{t + 1}) | \\ \leq K {\sum_{i = 0}^{k - 1} [\frac{(x_{i} - α_{i + 1}) (x_{i} - q_{1} α_{i + 1})}{1 + q_{1}} + \frac{(x_{i + 1} - α_{i + 1}) (x_{i + 1} - q_{1} α_{i + 1})}{1 + q_{1}}] \times \\ \sum_{j = 0}^{k - 1} [\frac{(y_{j} - β_{j + 1}) (y_{j} - q_{2} β_{j + 1})}{1 + q_{2}} + \frac{(y_{j + 1} - β_{j + 1}) (y_{j + 1} - q_{2} β_{j + 1})}{1 + q_{2}}]}, \end{array}

(7)

where K denotes the maximum value of the absolute value of the q₁ q₂-difference $D_{q_{1} q_{2}} f (t, s)$ over ${[q_{1}^{m_{1}}, q_{1}^{m_{2} - 1}]}_{q_{1}^{{ℕ_{0}}_{}}} \times {[q_{2}^{n_{1}}, q_{2}^{n_{2} - 1}]}_{q_{2}^{{ℕ_{0}}_{}}}$ .

Proof. Since

h_{k} (t, s) = \prod_{n = 0}^{k - 1} \frac{t - q_{i}^{n} s}{\sum_{μ = 0}^{n} q_{i}^{μ}}

for

\forall s, t \in q_{i}^{ℕ_{0}}, i = 1, 2

, we have

h_{2} (t, s) = \frac{(t - s) (t - q_{i} s)}{1 + q_{i}}, i = 1, 2 .

(8)

Substituting (8) into (1) we get the desired result.

Theorem 2.6. Under the conditions of Theorem 2.1, if there exist constants K₁, K₂ such that

K_{1} \leq \frac{\partial^{2} f (s, t)}{Δ_{1} s Δ_{2} t} \leq K_{2}

, then we have the following inequality

\begin{align} |\sum_{i = 1}^{k - 1} \sum_{j = 1}^{k - 1} (α_{i + 1} - α_{i}) (β_{j + 1} - β_{j}) f (x_{i}, y_{j}) + \sum_{i = 1}^{k - 1} (α_{i + 1} - α_{i}) (y_{k} - β_{k}) f (x_{i}, y_{k}) \\ - \sum_{i = 1}^{k - 1} (α_{i + 1} - α_{i}) (y_{0} - β_{1}) f (x_{i}, y_{0}) \\ + \sum_{j = 1}^{k - 1} (x_{k} - α_{k}) (β_{j + 1} - β_{j}) f (x_{k}, y_{j}) + (x_{k} - α_{k}) (y_{k} - β_{k}) f (x_{k}, y_{k}) - (x_{k} - α_{k}) (y_{0} - β_{1}) f (x_{k}, y_{0}) \\ - \sum_{j = 1}^{k - 1} (x_{0} - α_{1}) (β_{j + 1} - β_{j}) f (x_{0}, y_{j}) - (x_{0} - α_{1}) (y_{k} - β_{k}) f (x_{0}, y_{k}) + (x_{0} - α_{1}) (y_{0} - β_{1}) f (x_{0}, y_{0}) \\ - \sum_{j = 1}^{k - 1} \int_{a}^{b} (β_{j + 1} - β_{j}) f (σ (s), y_{j}) Δ_{1} s - \int_{a}^{b} [(y_{k} - β_{k}) f (σ (s), y_{k}) - (y_{0} - β_{1}) f (σ (s), y_{0})] Δ_{1} s \\ - \sum_{i = 1}^{k - 1} \int_{c}^{d} (α_{i + 1} - α_{i}) f (x_{i} σ (t)) Δ_{2} t - \int_{c}^{d} [(x_{k} - α_{k}) f (x_{k}, σ (t)) - (x_{0} - α_{1}) f (x_{0}, σ (t))] Δ_{2} t \\ + \int_{a}^{b} \int_{c}^{d} f (σ (s), σ (t)) Δ_{2} t Δ_{1} s \\ - \frac{K_{1} + K_{2}}{2} \sum_{i = 0}^{k - 1} [h_{2} (x_{i + 1}, α_{i + 1}) - h_{2} (x_{i}, α_{i + 1})] \sum_{j = 0}^{k - 1} [h_{2} (y_{j + 1}, β_{j + 1}) - h_{2} (y_{j}, β_{j + 1})]| \\ \leq \frac{K_{2} - K_{1}}{2} \{\sum_{i = 0}^{k - 1} [h_{2} (x_{i}, α_{i + 1}) + h_{2} (x_{i + 1}, α_{i + 1})] \sum_{j = 0}^{k - 1} [h_{2} (y_{j}, β_{j + 1}) + h_{2} (y_{j + 1}, β_{j + 1})]\} . \end{align}

(9)

Proof. We notice that

\begin{align} \int_{a}^{b} \int_{c}^{d} H (s, t, I_{k}, J_{k}) Δ_{2} t Δ_{1} s = \sum_{i = 0}^{k - 1} \sum_{j = 0}^{k - 1} \int_{x_{i}}^{{x_{i}}_{+ 1}} \int_{y_{j}}^{{y_{j}}_{+ 1}} (s - α_{i + 1}) (t - β_{j + 1}) Δ_{2} t Δ_{1} s \\ = \sum_{i = 0}^{k - 1} \int_{x_{i}}^{x_{i + 1}} (s - α_{i + 1}) Δ_{1} s \sum_{j = 0}^{k - 1} \int_{y_{j}}^{y_{j + 1}} (t - β_{j + 1}) Δ_{2} t \\ = \sum_{i = 0}^{k - 1} [h_{2} (x_{i + 1}, α_{i + 1}) - h_{2} (x_{i}, α_{i + 1})] \sum_{j = 0}^{k - 1} [h_{2} ({y_{j}}_{+ 1}, β_{j + 1}) - h_{2} (y_{j}, β_{j + 1})], \end{align}

(10)

We also have

|\frac{\partial^{2} f (s, t)}{Δ_{1} s Δ_{2} t} - \frac{K_{1} + K_{2}}{2}| \leq \frac{K_{2} - K_{1}}{2}

, and

\begin{align} |\int_{a}^{b} \int_{c}^{d} H (s, t, I_{k}, J_{k}) (\frac{\partial^{2} f (s, t)}{Δ_{1} s Δ_{2} t} - \frac{K_{1} + K_{2}}{2}) Δ_{2} t Δ_{1} s| \\ \leq \frac{K_{2} - K_{1}}{2} \int_{a}^{b} \int_{c}^{d} |H (s, t, I_{k}, J_{k})| Δ_{2} t Δ_{1} s . \end{align}

(11)

Then combining (4), (10) and (11) we obtain the desired inequality (9).

Remark 2.7. If we take $T_{1} = T_{2} = ℝ, k = 2, α_{1} = a + λ \frac{b - a}{2}, α_{2} = b - λ \frac{b - a}{2}, β_{1} = c + λ \frac{d - c}{2}, β_{2} = d - λ \frac{d - c}{2}, x_{1} = x, y_{1} = y$ , where λ ∈ [0,1], then Theorem 2.6 reduces to [[11], Theorem 4].

In the following, we will establish a generalized Ostrowski-Grüss type integral inequality on time scales based on the result of Theorem 2.1.

Lemma 2.8 (2D Grüss' inequality on time scales). Let

f, g \in C_{r d} ({[a, b]}_{T_{1}} \times {[c, d]}_{T_{2}}, ℝ)

such that ϕ ≤ f(x, y) ≤ Φ and γ ≤ g(x, y) ≤ Γ for all

x \in {[a, b]}_{T_{1}}, y \in {[c, d]}_{T_{2}}

, where ϕ, Φ, γ, Γ are constants. Then we have

\begin{align} |\frac{1}{(d - c) (b - a)} \int_{a}^{b} \int_{c}^{d} f (s, t) g (s, t) Δ_{2} t Δ_{1} s - \frac{1}{(d - c) (b - a)} \int_{a}^{b} \int_{c}^{d} f (s, t) Δ_{2} t Δ_{1} s \frac{1}{(d - c) (b - a)} \\ \int_{a}^{b} \int_{c}^{d} g (s, t) Δ_{2} t Δ_{1} s| \leq \frac{1}{4} (Φ - ϕ) (Γ - γ) . \end{align}

(12)

The proof for Lemma 2.6 is similar to [[27], pp. 295-296], and we omit it here.

Theorem 2.9. Under the conditions of Theorem 2.1, if there exist constants K₁, K₂ such that

K_{1} \leq \frac{\partial^{2} f (s, t)}{Δ_{1} s Δ_{2} t} \leq K_{2}

, then we have the following inequality

\begin{array}{l} | \sum_{i = 1}^{k - 1} \sum_{j = 1}^{k - 1} (α_{i + 1} - α_{i}) (β_{j + 1} - β_{j}) f (x_{i}, y_{j}) + \sum_{i = 1}^{k - 1} (α_{i + 1} - α_{i}) (y_{k} - β_{k}) f (x_{i}, y_{k}) \\ - \sum_{i = 1}^{k - 1} (α_{i + 1} - α_{i}) (y_{0} - β_{1}) f (x_{i}, y_{0}) \\ + \sum_{j = 1}^{k - 1} (x_{k} - α_{k}) (β_{j + 1} - β_{j}) f (x_{k}, y_{j}) + (x_{k} - α_{k}) (y_{k} - β_{k}) f (x_{k}, y_{k}) - (x_{k} - α_{k}) (y_{0} - β_{1}) f (x_{k}, y_{0}) \\ - \sum_{j = 1}^{k - 1} (x_{0} - α_{1}) (β_{j + 1} - β_{j}) f (x_{0}, y_{j}) - (x_{0} - α_{1}) (y_{k} - β_{k}) f (x_{0}, y_{k}) + (x_{0} - α_{1}) (y_{0} - β_{1}) f (x_{0}, y_{0}) \\ - \sum_{j = 1}^{k - 1} \int_{a}^{b} (β_{j + 1} - β_{j}) f (σ (s), y_{j}) Δ_{1} s - \int_{a}^{b} [(y_{k} - β_{k}) f (σ (s), y_{k}) - (y_{0} - β_{1}) f (σ (s), y_{0})] Δ_{1} s \\ - \sum_{i = 1}^{k - 1} \int_{c}^{d} (α_{i + 1} - α_{i}) f (x_{i}, σ (t)) Δ_{2} t - \int_{c}^{d} [(x_{k} - α_{k}) f (x_{k}, σ (t)) - (x_{0} - α_{1}) f (x_{0}, σ (t))] Δ_{2} t \\ + \int_{a}^{b} \int_{c}^{d} f (σ (s), σ (t)) Δ_{2} t Δ_{1} s \\ - \frac{[f (b, d) - f (b, c) - f (a, d) + f (a, c)]}{(b - a) (d - c)} \sum_{i = 0}^{k - 1} [h_{2} (x_{i + 1}, α_{i + 1}) - h_{2} (x_{i}, α_{i + 1})] \sum_{j = 0}^{k - 1} [h_{2} (y_{j + 1}, β_{j + 1}) \\ - h_{2} (y_{j}, β_{j + 1})] | \\ \leq \frac{{[(b - a) (d - c)]}^{2}}{4} (K_{2} - K_{1}) . \end{array}

(13)

Proof. From the definition of H(s, t, I_k, J_k) in (2) we observe that max(H(s, t, I_k, J_k)) - min(H(s, t, I_k, J_k)) ≤ (b - a)(d - c), and on the other hand,

\int_{a}^{b} \int_{c}^{d} \frac{\partial^{2} f (s, t)}{Δ_{1} s Δ_{2} t} Δ_{2} t Δ_{1} s = f (b, d) - f (b, c) - f (a, d) + f (a, c) .

(14)

So by Lemma 2.8 we have

\begin{align} |\frac{1}{(b - a) (d - c)} \int_{a}^{b} \int_{c}^{d} H (s, t, I_{k}, J_{k}) \frac{\partial^{2} f (s, t)}{Δ_{1} s Δ_{2} t} Δ_{2} t Δ_{1} s \\ - \frac{1}{{[(b - a) (d - c)]}^{2}} \int_{a}^{b} \int_{c}^{d} H (s, t, I_{k}, J_{k}) Δ_{2} t Δ_{1} s \int_{a}^{b} \int_{c}^{d} \frac{\partial^{2} f (s, t)}{Δ_{1} s Δ_{2} t} Δ_{2} t Δ_{1} s| \\ \leq \frac{[max (H (s, t, I_{k}, J_{k})) - min (H (s, t, I_{k}, J_{k}))]}{4} (K_{2} - K_{1}) \leq \frac{(b - a) (d - c)}{4} (K_{2} - K_{1}) . \end{align}

(15)

Then combining (3), (10), (14), (15) we get the desired result.

Remark 2.10. If we take k = 2, then Theorem 2.9 becomes the 2D extension on time scales of [[20], Theorem 4]. If we take $k = 2, T = ℝ$ , then Theorem 2.9 becomes the 2D extension in the continuous case of [[12], Theorem 2.1].

Remark 2.11. For Theorems 2.6 and 2.9, we can also obtain similar results as shown in Corollaries 2.3-2.5, which are omitted here.

3. Conclusions

In this article, we establish some new generalized Ostrowski type inequalities on time scales involving functions of two independent variables for k² points, which unify continuous and discrete analysis. We note that the presented inequalities in Theorems 2.6 and 2.9 are not sharp, and the sharp version of them are supposed to further research.

Declarations

Acknowledgements

This study was partially supported by the National Natural Science Foundation of China (11171178), Natural Science Foundation of Shandong Province (ZR 2009 AM011) (China) and Specialized Research Fund for the Doctoral Program of Higher Education (20103705110003)(China). The authors thank the referees very much for their careful comments and valuable suggestions on this article.

Authors’ Affiliations

(1)

School of Science, Shandong University of Technology, Zhangzhou Road 12, Zibo, Shandong, 255049, China

(2)

School of Mathematical Sciences, Qufu Normal University, Qufu, Shandong, 273165, China

References

Ostrowski A: Über die Absolutabweichung einer differentiierbaren Funktion von ihren Integralmittel-wert. Comment Math Helv 1938, 10: 226–227.MathSciNetView ArticleMATHGoogle Scholar
Mitrinović DS, Pečarić J, Fink AM: Inequalities Involving functions and Their Integrals and Derivatives. Kluwer Academic, Dordrecht; 1991.View Article