Abstract
In this paper, some integral inequalities based on the general quantum difference operator \(D_{\beta}\) are deduced. Here, \(D_{\beta}\) is defined by \({D}_{\beta}f(t)=(f(\beta(t))-f(t))/(\beta(t)-t)\), where β is a strictly increasing continuous function, defined on an interval \(I\subseteq{\mathbb{R}}\), that has one fixed point \(s_{0}\in I\). The β-Hölder and β-Minkowski inequalities are proved. Also, the β-Gronwall, β-Bernoulli, and some related inequalities are shown. Finally, the β-Lyapunov inequality is established.
Similar content being viewed by others
1 Introduction
Quantum difference operators have an interest role due to their applications; see, e.g., [1–7] and references cited therein. A calculus based on a quantum difference operator is usually known as calculus without limits. It substitutes the classical derivative by a difference operator, which allows one to deal with sets of nondifferentiable functions. In [8] Hahn introduced his difference operator, as a tool for constructing families of orthogonal polynomials, which is defined by
where \(q\in(0,1)\), \(\omega>0\) are fixed and \(\omega_{0}= {\frac{\omega}{1-q}}\). The derivative at \(t=\omega_{0}\) is defined to be \({f'}(\omega_{0})\) whenever it exists. In [1], its inverse operator was constructed and a rigorous analysis of the calculus associated to \({D}_{q,\omega}\) was given. See also [9–11]. The Hahn quantum difference operator unifies two well-known difference operators. The first one is the Jackson q-difference operator, which is defined by
where q is a fixed number, \(q\in(0,1)\). The function f is defined on a q-geometric set \(\mathbb{A}\subseteq\mathbb{R}\) (or ℂ) such that whenever \(t\in{\mathbb{A}}\), \(qt\in{\mathbb{A}}\). At \(t=0\), \({D}_{q}f(t)={f'}(0)\). The second difference operator is the difference operator \(D_{\omega}\), which is defined by
where the fixed number \(\omega\neq{0}\).
We refer the reader to the interesting books of Annaby and Mansour [2], Kac and Cheung [5], and Bangerezako [12].
In [13] we introduced a general quantum difference operator \({D}_{\beta}\) defined by
for every t with \(\beta(t)\neq{t}\), where f is an arbitrary function defined, in general, on a β-geometric set \(I\subseteq\mathbb{R}\), for which \(\beta(t)\in{I}\), \(t\in{I}\), and \(\beta:{I}\rightarrow{I}\) is a strictly increasing continuous function. For a fixed point \(s_{0}\) of β, the β-derivative \({D}_{\beta}f(t)\) at \(t=s_{0}\) is defined to be \({f'}(s_{0})\), whenever f is differentiable at \(t=s_{0}\) in the usual sense. The function β has many forms due to its properties. It may be linear or nonlinear. Accordingly, it has no fixed points or has at least one. Every choice of the function β gives a new difference operator. Thus, we can obtain a wide class of difference operators with the corresponding quantum calculi. We have a space of forms of the function β which may be classified into classes according to the number of fixed points beside the directions of the sequences \(\{{\beta}^{k}(t)\}_{k\in{\mathbb {N}_{0}}}\) towards and outwards these points. The β-difference operator yields the Hahn difference operator when \(\beta(t)=qt+\omega\), \(\omega>0\), and the Jackson q-difference operator when \(\beta(t)=qt\), \(q\in(0,1)\). In these cases β is linear and has one fixed point. Also, the forward difference operator \(D_{\omega}\) with the linear form of \(\beta(t)=t+\omega\), \(\omega>{0,}\) has no fixed points. Consequently, the corresponding Hahn calculus, q-calculus, and ω-calculus, respectively, are particular cases of the β-calculus. In [13] we considered the class of our function β which has one fixed point \(s_{0}\in{I}\) and satisfies the following condition:
This paper is devoted to deducing some basic integral inequalities based on the β-difference operator, when β has one fixed point \(s_{0}\in I\) and satisfies the same condition. The paper is organized as follows. In Section 2, we exhibit the results that we need from [13], concerning the calculus based on the β-difference operator. Section 3 contains our main results. We prove the β-Hölder, β-Minkowski, β-Gronwall, and β-Bernoulli inequalities and some related ones. Finally, we show the β-Lyapunov inequality. These inequalities are very important in establishing the theory of β-difference equations associated with the quantum difference operator \(D_{\beta}\).
Throughout this paper I is an interval of ℝ containing the fixed point \(s_{0}\) of β and \(\mathbb{X}\) is a Banach space with norm \(\|\cdot\|\).
2 Preliminaries
In this section we present some needed results from [13] concerning the calculus associated with \(D_{\beta}\). Here, we consider the class of the function β when it has one fixed point \(s_{0}\in{I}\) and satisfies the following condition:
Lemma 2.1
The following statements are true:
-
(i)
The sequence of functions \(\{{\beta}^{k}(t)\}_{k\in{{\mathbb {N}_{0}}}}\) converges uniformly to the constant function \({\hat{\beta}(t)}:=s_{0}\) on every compact interval \(J\subseteq{I}\) containing \(s_{0}\).
-
(ii)
The series \({\sum}^{\infty}_{k=0}|{\beta}^{k}(t)-{\beta }^{k+1}(t)|\) is uniformly convergent to \(|t-s_{0}|\) on every compact interval \(J\subseteq{I}\) containing \(s_{0}\).
Lemma 2.2
If \(f: I\rightarrow\mathbb{X}\) is continuous at \(s_{0}\), then the sequence \(\{f(\beta^{k}(t))\}_{k\in{{\mathbb{N}_{0}}}}\) converges uniformly to \(f(s_{0})\) on every compact interval \(J\subseteq{I}\) containing \(s_{0}\).
Theorem 2.3
If \(f:I\rightarrow\mathbb{X}\) is continuous at \(s_{0}\), then the series \({\sum}^{\infty}_{k=0}\|({\beta}^{k}(t)-{\beta }^{k+1}(t)) f(\beta^{k}(t))\|\) is uniformly convergent on every compact interval \(J\subseteq{I}\) containing \(s_{0}\).
Definition 2.4
For a function \(f:I\rightarrow\mathbb{X}\), we define the β-difference operator of f as
provided that the ordinary derivative \({f'}\) exists at \(s_{0}\). In this case, we say that \({D}_{\beta}f(t)\) is the β-derivative of f at t. We say that f is β-differentiable on I if \({f'}(s_{0})\) exists.
Theorem 2.5
Assume that \(f:{I}\rightarrow\mathbb{X}\) and \(g:{I}\rightarrow\mathbb {R}\) are β-differentiable at \(t\in{I}\). Then:
-
(i)
The product \(fg:I\rightarrow\mathbb{X}\) is β-differentiable at t and
$$\begin{aligned} {D}_{\beta}(fg) (t) &= \bigl({D}_{\beta}f(t) \bigr)g(t)+f \bigl( \beta(t) \bigr){D}_{\beta}g(t) \\ &= \bigl({D}_{\beta}f(t) \bigr)g \bigl(\beta(t) \bigr)+f(t){D}_{\beta}g(t). \end{aligned}$$ -
(ii)
\(f/g\) is β-differentiable at t and
$${D}_{\beta} ({f}/{g} ) (t)=\frac{({D}_{\beta }f(t))g(t)-f(t){D}_{\beta}g(t)}{g(t)g(\beta(t))}, $$provided that \(g(t)g(\beta(t))\neq{0}\).
Lemma 2.6
Let \(f:{I}\rightarrow\mathbb{X}\) be β-differentiable and \({D}_{\beta}f(t)=0\) for all \(t\in{I}\), then \(f(t)=f(s_{0})\) for all \(t\in{I}\).
Corollary 2.7
Suppose that \(f,g:I\rightarrow\mathbb{X}\) are β-differentiable on I. If \(D_{\beta}{f(t)}=D_{\beta}{g(t)}\) for all \(t\in{I}\), then
Theorem 2.8
Assume \(f:{I}\to\mathbb{X}\) is continuous at \(s_{0}\). Then the function F defined by
is a β-antiderivative of f with \(F(s_{0})=0\). Conversely, a β-antiderivative F of f vanishing at \(s_{0}\) is given by (2.1).
Definition 2.9
Let \(f:{I}\rightarrow{\mathbb{X}}\) and \(a,b\in{I}\). We define the β-integral of f from a to b by
where
provided that the series converges at \(x=a\) and \(x=b\). f is called β-integrable on I if the series converges at a, b for all \(a,b\in{I}\). Clearly, if f is continuous at \(s_{0}\in{I}\), then f is β-integrable on I.
If \(\beta(t)=qt\) and \(\beta(t)=qt+\omega\), \(q\in(0,1)\), \(\omega>0\), then (2.2) and (2.3) reduce to the Jackson q-integral and Hahn integral, respectively; see [1, 5, 9, 12, 14].
Theorem 2.10
Let \(f:I\rightarrow\mathbb{X}\) be continuous at \(s_{0}\). Define the function
Then F is continuous at \(s_{0}\), \(D_{\beta}{F(x)}\) exists for all \(x\in{I}\) and \(D_{\beta}{F(x)}=f(x)\).
Theorem 2.11
If \(f:I\rightarrow\mathbb{X}\) is β-differentiable on I, then
Theorem 2.12
Assume f, g are β-differentiable functions on I and \(D_{\beta }f\), \(D_{\beta}g\) both continuous at \(s_{0}\). Then
Here at least one of the functions f and g is a real valued function.
Definition 2.13
Let \({s_{0}\in[a,b]\subseteq{I}}\). We define the β-interval by
For any point \(c\in{I}\), we denote by
Finally, for \(A\subseteq\mathbb{R}\), we denote by
Let D denote the set of all real valued functions defined on \({[c,d]}_{\beta}\) and continuous at \({s_{0}}\), where \(c,d\in{I}\) and \(c< d\).
Lemma 2.14
Let \({f}\in{D}\). Then \(\int^{d}_{c}f(t)h(\beta(t))\,{d}_{\beta}t=0\) for all functions \({h}\in{D}\) with \(h(c)=h(d)=0\) if and only if \(f(t)=0\) for all \(t\in{[c,d]}_{\beta}\).
Lemma 2.15
Let \(f:{I}\rightarrow\mathbb{X}\), \(g:{I}\rightarrow\mathbb{R}\) be β-integrable functions on I. If
then for \(x,y\in[a,b]_{\beta}\), \(x< s_{0}<y\), we have
and
Consequently, if \(g(t)\geq{0}\) for all \(t\in[a,b]_{\beta}\), then the inequalities \(\int^{y}_{s_{0}}g(t)\,d_{\beta}t\geq{0}\) and \(\int^{y}_{x}g(t)\,d_{\beta}t\geq{0}\) hold for all \(x,y\in [a,b]_{\beta}\), \(a,b\in{I}\), \(a\leq{b}\).
Lemma 2.16
Let \(f:{I}\rightarrow\mathbb{X}\) and \(g:{I}\rightarrow\mathbb{R}\) be β-differentiable on I. If
then
for every \(x,y\in[a,b]_{\beta}\), \(x< s_{0}<y\).
Definition 2.17
(β-exponential functions)
Assume that \(p:{I}\rightarrow\mathbb{C}\) is a continuous function at \(s_{0}\). We define the β-exponential functions \(e_{p,_{\beta}}(t)\) and \(E_{p,_{\beta}}(t)\) by
and
whenever both infinite products are convergent to a non-zero number for every \(t\in{I}\). Clearly, we have
Theorem 2.18
The β-exponential functions \(e_{p,_{\beta}}(t)\) and \(E_{p,_{\beta}}(t)\) are the unique solutions of the first order β-difference equations
and
respectively.
3 Main results
3.1 β-Hölder and β-Minkowski inequalities
Inspired in the work by Agarwal et al. [15], we present the β-Hölder, β-Cauchy-Schwarz, and β-Minkowski inequalities.
Definition 3.1
Let \(p\geq{1}\) and \(a,b\in{I\subseteq{\mathbb{R}}}\), \(a\leq{b}\). We denote by \(L^{p}_{\beta}[a,b]_{\beta}\) the space of all functions \(f:[a,b]_{\beta}\rightarrow\mathbb{R}\) such that
Theorem 3.2
(β-Hölder inequality)
Let \(f\in{L^{p}_{\beta}[a,b]_{\beta}}\) and \(g\in{L^{q}_{\beta}[a,b]_{\beta}}\). Then \(|fg|\in{L^{1}_{\beta}[a,b]_{\beta}}\) and
where \(x,y\in{[a,b]_{\beta}}\), \(s_{0}\in[x,y]\), and \(p>1\), \(q=p/(p-1)\). The equality holds if \(|f(t)|^{p}/|g(t)|^{q}\) is constant.
Proof
For \(\alpha, \gamma\in[0,\infty)\), we have
Let \(\alpha(t)= \frac{|f(t)|^{p}}{\int^{y}_{x}|f(t)|^{p} \,d_{\beta}{t}}\) and \(\gamma(t)= \frac{|g(t)|^{q}}{\int^{y}_{x}|g(t)|^{q} \,d_{\beta}{t}}\), with
Substituting in (3.2) and applying Lemma 2.15, we get
Then
It is obvious that if \(|f(t)|^{p}/|g(t)|^{q}\) is constant, the equality holds. □
Actually, if we put \(p=q=2\) in the β-Hölder inequality we get the β-Cauchy-Schwarz inequality.
Corollary 3.3
(β-Cauchy-Schwarz inequality)
Let \(f,g\in{L^{2}_{\beta}[a,b]_{\beta}}\). Then \(|fg|\in{L^{1}_{\beta}[a,b]_{\beta}}\) and
where \(x,y\in{[a,b]_{\beta}}\), \(s_{0}\in[x,y]\).
As in the classical Minkowski inequality, we can deduce the following result.
Theorem 3.4
(β-Minkowski inequality)
Let \({1}\leq{p}<\infty\) and \(a,b\in{I}\), \(a\leq{b}\). Let \(f,g\in{L^{p}_{\beta}[a,b]_{\beta}}\). Then \(|f+g|\in{L^{p}_{\beta}[a,b]_{\beta}}\) and
where \(x,y\in{[a,b]_{\beta}}\), \(s_{0}\in[x,y]\). The equality holds if \(f(t)/g(t)\) is constant.
3.2 β-Gronwall and β-Bernoulli inequalities
Hamza and Ahmed, in [10], deduced the Hahn, Gronwall, and Bernoulli inequalities. In the following we present the corresponding β-version.
Lemma 3.5
Let y, f, p are real valued functions defined on I and continuous at \(s_{0}\). If
then
Proof
We have
Integrating both sides from \(s_{0}\) to t we get
In view of \(E_{-p,_{\beta}}(s_{0})=1\) and \({e_{p,_{\beta}}(t)=\frac{1}{E_{-p,_{\beta}}(t)}}\), we conclude
□
Theorem 3.6
(β-Gronwall inequality)
Let \(p\geq{0}\) and y, f, p be real valued continuous functions at \(s_{0}\) defined on I. If
then
Proof
Define
Then \(z(s_{0})=0\) and \(D_{\beta}z(t)=y(t)p(t)\). Therefore, inequality (3.6) yields
and
By Lemma 3.5, we obtain
Inequality (3.10) implies
□
As a direct consequence, we obtain the following results.
Corollary 3.7
Let p, y, f are continuous functions at \(s_{0}\) and \(p(t)\geq{0}\). Then
implies
Proof
This is due to Theorem 3.6 with \(f(t)\equiv{0}\). □
Corollary 3.8
Let \(p(t)\geq{0}\) and \(\alpha\in\mathbb{R}\). Then
implies
Proof
By the β-Gronwall inequality if we put \(f(t)=\alpha\), then
Consequently,
Therefore, \(y(t)\leq\alpha e_{p,_{\beta}}(t)\). □
Theorem 3.9
(β-Bernoulli inequality)
For \(\alpha\in(0,\infty)\), the following inequality is true:
Proof
Suppose \(y(t)=\alpha(t-s_{0})\), \(t>s_{0}\). Then \(D_{\beta}y(t)=\alpha\). We have \(\alpha{y(t)}+\alpha={\alpha}^{2}(t-s_{0})+\alpha\geq\alpha =D_{\beta}y(t)\), which implies that \(D_{\beta}y(t)\leq\alpha{y(t)}+\alpha\). By Lemma 3.5 we get
Therefore, \(e_{p,_{\beta}}(t)\geq1+y(t)=1+\alpha(t-s_{0})\), \(t>s_{0}\). □
3.3 β-Lyapunov Inequality
Lyapunov inequality has many applications in the theory of differential and difference equations. These applications include bounds for eigenvalues, stability criteria for periodic differential equations, and estimates for intervals of disconjugacy; see [16, 17]. In this section we introduce the Lyapunov inequality based on \(D_{\beta}\).
Let \(f:I\rightarrow[0,\infty)\) be a continuous function at \(s_{0}\in{I}\). Consider the Sturm-Liouville β-difference equation
Define the function F by
Lemma 3.10
Let x be a nontrivial solution of the Sturm-Liouville β-difference equation (3.13). Then for every y belonging to the domain of F, the following equality holds:
Proof
Simple calculations show that
□
Lemma 3.11
Let y be in the domain of F, then for any \(c,d\in[a,b]\), \(a,b\in {I}\) such that \(a\leq{c}< d\leq{b}\), we have
Proof
Let \(x(t)=\frac{y(d)-y(c)}{d-c}t+\frac{dy(c)-cy(d)}{d-c}\). Then \(D_{\beta}{x(t)}=\frac{y(d)-y(c)}{d-c}\) and \(D_{\beta}^{2}{x(t)}=0\). This implies that \(x(t)\) is a solution of (3.13) with \(f(t)=0\) for all \(t\in{I}\) and
for any y in domain F. From Lemma 3.10, we get \(F(y)-F(x)-F(y-x)=0\), and consequently \(F(y)=F(x)+F(y-x)\geq{F(x)}\). Therefore,
□
Theorem 3.12
(β-Lyapunov inequality)
Let \(f:I\rightarrow(0,\infty)\) be a continuous function, \(s_{0}\in{I}\). Let x be a nontrivial solution of (3.13) with \(x(a)=x(b)=0\), where \(a,b\in{I}\) with \(a< b\). Then
Proof
From Lemma 3.10 with \(y=0\), we have
Let \(M=\max\{x^{2}{(t)};t\in[a,b]\}\) and \(c\in[a,b]\) such that \(x^{2}{(c)}=M\). Then \(M=x^{2}{(c)}\geq{x^{2}(\beta(t))}>0\), and
Therefore, \(\int_{a}^{b} f(t)\,d_{\beta}{t}\geq\frac{4}{b-a}\). □
4 Conclusion and future direction
This paper was devoted to a presentation of some basic integral inequalities based on our general quantum difference operator, \(D_{\beta}\), which is defined by \({D}_{\beta}f(t)=\frac{f(\beta(t))-f(t)}{\beta(t)-t}\), \(t\neq\beta(t)\), where β is a strictly increasing continuous function defined on an interval \(I\subseteq{\mathbb{R}}\) that has one fixed point \(s_{0}\in{I}\). These inequalities are the β-Hölder, β-Cauchy-Schwarz, β-Minkowski, β-Gronwall, β-Bernoulli, β-Lyapunov inequalities, and some related ones. We are looking forward to study in detail the theory of linear β-difference equations based on \(D_{\beta}\). This theory unifies the theory of q-difference equations and Hahn difference equations. Also, it includes other types of quantum difference equations.
References
Annaby, MH, Hamza, AE, Aldowah, KA: Hahn difference operator and associated Jackson-Norlund integerals. J. Optim. Theory Appl. 154, 133-153 (2012)
Annaby, MH, Mansour, ZS: q-Fractional Calculus and Equations. Springer, Berlin (2012)
Aldowah, KA, Malinowska, AB, Torres, DFM: The power quantum calculus and variational problems. Dyn. Contin. Discrete Impuls. Syst., Ser. B, Appl. Algorithms 19, 93-116 (2012)
Birto da Cruz, AMC, Martins, N, Torres, DFM: Symmetric differentiation on time scales. Appl. Math. Lett. 26(2), 264-269 (2013)
Kac, V, Cheung, P: Quantum Calculus. Springer, New York (2002)
Malinowska, AB, Torres, DFM: The Hahn quantum variational calculus. J. Optim. Theory Appl. 147, 419-442 (2010)
Malinowska, AB, Torres, DFM: Quantum Variational Calculus. Spinger Briefs in Electrical and Computer Engineering-Control, Automation and Robotics. Springer, Berlin (2014)
Hahn, W: Über Orthogonalpolynome, die q-differenzengleichungen genügen. Math. Nachr. 2, 4-34 (1949)
Aldowah, KA: Generalized Time Scales and the Associated Difference Equations. Ph.D. thesis, Cairo University (2009)
Hamza, AE, Ahmed, SM: Existence and uniqueness of solutions of Hahn difference equations. Adv. Differ. Equ. 2013, 316 (2013)
Hamza, AE, Ahmed, SM: Theory of linear Hahn difference equations. J. Adv. Math. 4, 2 (2013)
Bangerezako, G: An Introduction to q-Difference Equations. Bujumbura (2008)
Hamza, AE, Sarhan, AM, Shehata, EM, Aldowah, KA: A General Quantum Difference Calculus (2014, submitted)
Malinowska, AB, Martins, N: Generalized transversality conditions for the Hahn quantum variational calculus. Optimization 62(3), 323-344 (2013). doi:10.1080/02331934.2011.579967
Agarwal, R, Bohner, M, Petreson, A: Inequalities on time scales: a survey. Math. Inequal. Appl. 4, 535-557 (2001)
Bohner, M, Clark, S, Ridenhour, J: Lyapunov inequality for time scales. J. Inequal. Appl. 7(1), 61-77 (2002)
Rassias, TM: Survey on Classical Inequalities. Mathematics and Its Applications, vol. 517 (2000)
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
Rights and permissions
Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
About this article
Cite this article
Hamza, A.E., Shehata, E.M. Some inequalities based on a general quantum difference operator. J Inequal Appl 2015, 38 (2015). https://doi.org/10.1186/s13660-015-0566-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-015-0566-y