- Research
- Open access
- Published:
Inequalities for Katugampola conformable partial derivatives
Journal of Inequalities and Applications volume 2019, Article number: 51 (2019)
Abstract
In the paper, we introduce two concepts of Katugampola conformable partial derivatives and α-conformable integrals. As applications, we establish Opial type inequalities for Katugampola conformable partial derivatives and α-conformable integrals. The new inequalities in special cases yield some of the recent results on inequality of this type.
1 Introduction
In 1960, Opial [1] established the following interesting and important inequality.
Theorem A
Suppose that \(f\in C^{1}[0,a]\) satisfies \(f(0)=f(a)=0\) and \(f(x)>0\) for all \(x\in(0,a)\). Then the inequality holds
where this constant \(a/4\) is best possible.
Opial’s inequality and its generalizations, extensions, and discretizations play a fundamental role in establishing the existence and uniqueness of initial and boundary value problems for ordinary and partial differential equations as well as difference equations [2,3,4,5,6]. Inequality (1.1) has received considerable attention, and a large number of papers dealing with new proofs, extensions, generalizations, variants, and discrete analogues of Opial’s inequality have appeared in the literature [7,8,9,10,11,12,13,14,15,16,17,18].
Recently, some new Opial’s inequalities for the conformable fractional integrals have been established (see [19,20,21,22]). In the paper, we introduce two new concepts of Katugampola conformable partial derivatives and α-conformable integrals. As applications, we establish some Opial type inequalities for Katugampola conformable partial derivatives and α-conformable integrals.
2 Inequalities for Katugampola conformable partial derivatives
We recall the well-known Katugampola derivative formulation of conformable derivative of order for \(\alpha\in(0,1]\) and \(t\in[0,\infty)\), given by
and
provided the limits exist. If f is fully differentiable at t, then
A function f is α-differentiable at a point \(t\geq0\) if the limits in (2.1) and (2.2) exist and are finite. Inspired by this, we propose a new concept of α-conformable partial derivative. In the way of (2.1), we define α-conformable partial derivative.
Definition 2.1
(α-conformable partial derivative)
Let \(\alpha\in(0,1]\) and \(s,t\in[0,\infty)\). Suppose that \(f(s,t)\) is a continuous function and partially derivable, the α-conformable partial derivative at a point \(s\geq0\), denoted by \(\frac{\partial}{\partial s}(f)_{\alpha}(s,t)\), is defined by
provided the limits exist, and is called α-conformable partially derivable.
To generalize Definition 2.1, we give the following definition.
Definition 2.2
(Katugampola conformable partial derivative)
Let \(\alpha\in(0,1]\) and \(s,t\in[0,\infty)\). Suppose that \(f(s,t)\) and \(\frac{\partial}{\partial s}(f)_{\alpha}(s,t)\) are continuous functions and partially derivable, the Katugampola conformable partial derivative, denoted by \(\frac{\partial^{2}}{\partial s\partial t}(f)_{\alpha^{2}}(s,t)\), is defined by
provided the limits exist, and is called Katugampola conformable partially derivable.
Definition 2.3
(α-conformable integral)
Let \(\alpha\in(0,1]\), \(0\leq a< b\), and \(0\leq c< d\). A function \(f(x,y):[a,b]\times[c,d]\rightarrow{\Bbb {R}}\) is α-conformable integrable if the integral
exists and is finite.
Lemma 2.1
Let \(\alpha\in(0,1]\), \(s,t\in[0,\infty)\), and \(f(s,t)\), \(g(s,t)\) be Katugampola conformable partially differentiable, then
where f has derivative at \(g(s,t)\).
Proof
From Definitions 2.1 and 2.2, we obtain
Hence
This completes the proof. □
This similar chain rule theorem is important, but it is also understood. In order for the reader to better understand this theorem, we give another proof below.
Second proof
Let
Obviously, if \(\varepsilon\rightarrow0\), then \(\delta\rightarrow0\). From the hypotheses, we obtain
This completes the proof. □
Theorem 2.1
Let \(p(s,t), u(s,t):[a,b]\times[c,d]\rightarrow {\Bbb {R}}\) with \(a,c\geq 0\) be Katugampola conformable partially derivable such that \(\frac{\partial^{2}}{\partial s\partial t}(p)_{\alpha^{2}}(s,t)>0\), \(\alpha\in(0,1]\) and \(p(a,c)=p(a,d)=p(b,c)=p(b,d)=0\), and F be derivable on \([0,\infty)\) and \(F'\) be increasing. Let φ be a convex and increasing function on \([0,\infty)\), and define
Then
where
Proof
Let
such that
and \(y(s,t)\geq|u(s,t)|\). Since φ is convex and increasing, by using Jensen’s inequality, we get
From (2.9) and noting that \(F'\) is increasing, and Lemma 2.1, (2.7) and in view of that F is derivable on \([0,\infty)\), we obtain
This completes the proof. □
Remark 2.1
Putting \(\varphi(x)=x\) in (2.7), we have
where
This inequality (2.10) is just a two-dimensional generalization of the following inequality which was established in [20] and [21]:
Theorem 2.2
Let α, \(p(s,t)\), \(u(s,t)\), \(z(s,t)\), φ, F be as in Theorem 2.1 and replace \([a,b]\times[c,d]\) by \([0,a]\times[0,b]\). Let h be a concave and increasing function on \([0,\infty)\), and ϕ be a continuous and positive function on \([0,\infty)\) and such that
Then
where
and
Proof
From (2.9), we have
From (2.7), (2.15), (2.13) (2 times), Lemma 2.1, and noting that h is a concave, increasing and using reverse Jensen’s inequality, and (2.11) and (2.14), we obtain
This completes the proof. □
Remark 2.2
Putting \(\varphi(x)=x\) in (2.12), we have
where
This inequality (2.16) is just a two-dimensional generalization of the following inequality which was established in [21]:
where \(D_{\alpha}p(t)=D_{\alpha}(p)(t)\), \(\psi(r)=rh (\phi (\frac{1}{r} ) )\) and \(\varPhi(r)=F(r)h (\phi (\frac{b}{r} ) )\), and h is a concave and increasing function on \([0,\infty)\).
References
Opial, Z.: Sur une inégalité. Ann. Pol. Math. 8, 29–32 (1960)
Agarwal, R.P., Pang, P.Y.H.: Opial Inequalities with Applications in Differential and Difference Equations. Kluwer Academic, Dordrecht (1995)
Agarwal, R.P., Lakshmikantham, V.: Uniqueness and Nonuniqueness Criteria for Ordinary Differential Equations. World Scientific, Singapore (1993)
Bainov, D., Simeonov, P.: Integral Inequalities and Applications. Kluwer Academic, Dordrecht (1992)
Li, J.D.: Opial-type integral inequalities involving several higher order derivatives. J. Math. Anal. Appl. 167, 98–100 (1992)
Mitrinovič, D.S., Pečarić, J.E., Fink, A.M.: Inequalities Involving Functions and Their Integrals and Derivatives. Kluwer Academic, Dordrecht (1991)
Cheung, W.S.: On Opial-type inequalities in two variables. Aequ. Math. 38, 236–244 (1989)
Cheung, W.S., Zhao, D.D., Pečarić, J.E.: Opial-type inequalities for differential operators. Nonlinear Anal., Theory Methods Appl. 66, 2028–2039 (2007)
Godunova, E.K., Levin, V.I.: On an inequality of Maroni. Mat. Zametki 2, 221–224 (1967)
Mitrinovič, D.S.: Analytic Inequalities. Springer, Berlin (1970)
Pachpatte, B.G.: On integral inequalities similar to Opial’s inequality. Demonstr. Math. 22, 21–27 (1989)
Pachpatte, B.G.: On Opial-type integral inequalities. J. Math. Anal. Appl. 120, 547–556 (1986)
Zhao, C.-J., Cheung, W.S.: Sharp integral inequalities involving high-order partial derivatives. J. Inequal. Appl. 2008, Article ID 571417 (2008)
Zhao, C.-J., Cheung, W.S.: On Opial-type integral inequalities and applications. Math. Inequal. Appl. 17(1), 223–232 (2014)
Pečarić, J.E.: An integral inequality. In: Srivastava, H.M., Rassias, T.M. (eds.) Analysis, Geometry, and Groups: A Riemann Legacy Volume, Part II, pp. 472–478. Hadronic Press, Palm Harbor (1993)
Pečarić, J.E., Brnetić, I.: Note on generalization of Godunova–Levin–Opial inequality. Demonstr. Math. 30, 545–549 (1997)
Pečarić, J.E., Brnetić, I.: Note on the generalization of Godunova–Levin–Opial inequality in several independent variables. J. Math. Anal. Appl. 215, 274–282 (1997)
Rozanova, G.I.: Integral inequalities with derivatives and with arbitrary convex functions. Mosk. Gos. Ped. Inst. Vcen. Zap. 460, 58–65 (1972)
Sarikaya, M.Z., Budak, H.: New inequalities of Opial type for conformable fractional integrals. Turk. J. Math. 41, 1164–1173 (2017)
Traple, J.: On a boundary value problem for systems of ordinary differential equations of second order. Zesz. Nauk. Uniw. Jagiell., Pr. Mat. 5, 159–168 (1971)
Sarikaya, M.Z., Bilisik, C.C.: Some Opial type inequalities for conformable fractional integrals. AIP Conf. Proc. 1991(1), 020013 (2018)
Sarikaya, M.Z., Budak, H.: Opial type inequalities for conformable fractional integrals. RGMIA Res. Rep. Collect. 19, Article ID 93 (2016)
Acknowledgements
The first author expresses his gratitude to professor G. Leng and W. Li for their valuable helps.
Availability of data and materials
All data generated or analysed during this study are included in this published article.
Funding
The first author’s research is supported by the Natural Science Foundation of China (11371334, 10971205). The second author’s research is partially supported by a HKU Seed Grant for Basic Research.
Author information
Authors and Affiliations
Contributions
C-JZ and W-SC jointly contributed to the main results. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Zhao, CJ., Cheung, WS. Inequalities for Katugampola conformable partial derivatives. J Inequal Appl 2019, 51 (2019). https://doi.org/10.1186/s13660-019-2000-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-019-2000-3