Supercongruences involving Apéry-like numbers and binomial coefficients

1.   Introduction and preliminaries

A set $K\subset \mathbb{R}$ is said to be convex, if $\forall\, {\Theta}, {\Omega} \in K$ and ${\tau}\in [0, 1]$, we have

A function ${\Phi}:K\rightarrow \mathbb{R}$ is said to be convex, if $\forall\, {\Theta}, {\Omega} \in K$ and ${\tau}\in [0, 1]$, we get

Theory of convexity has also played an important part in the development of theory of inequalities. Several results in theory of inequalities are direct consequences of the applications of convexity. Among these results one of the most extensively as well as intensively studied result is the Hermite-Hadamard inequality. This result reads as:

Let ${\Phi}:I = [{a_{1}}, {a_{2}}]\subseteq\mathbb{R}\to\mathbb{R}$ be a convex function, then

In recent years, different approaches have been used in obtaining new versions of Hermite-Hadamard inequality. Mohammed et al. ^[1] found new discrete inequalities of Hermite-Hadamard type for convex functions. Mohammed et al. ^[2] established generalized Hermite-Hadamard inequalities via the tempered fractional integrals. Mohammed et al. ^[3] obtained new fractional inequalities of Hermite-Hadamard type involving the incomplete gamma functions. Rahman et al. ^[4] derived certain fractional proportional integral inequalities via convex functions. Rahman et al. ^[5] give new bounds of generalized proportional fractional integrals in general form via convex functions and presented their applications. Sarikaya et al. ^[6] have used the approach of fractional calculus and obtained fractional analogues of Hermite-Hadamard inequality. Since then a variety of different approaches from fractional calculus have been used in obtaining fractional analogues of classical inequalities. For instance, Budak and Agarwal ^[7] obtained new generalized fractional midpoint type inequalities. Chu et al. ^[8] obtained new Simpson type of inequalities using Katugampola fractional integrals. Chu et al. ^[9] new generalized fractional Hermite-Hadamard inequality using $\chi_{k}$-Hilfer fractional integrals. Kashuri et al. ^[10] obtained new generalized fractional integral identities and obtained new inequalities. Liu et al. ^[11] obtained new Hermite-Hadamard type of inequalities via $\psi$-fractional integrals. Onalan et al. ^[12] obtained fractional analogues of Hermite-Hadamard type integral inequalities via fractional integral operators with Mittag-Leffler kernel. Talib and Awan ^[13] obtained some new estimates of upper bounds for $n$-th order differentiable functions involving $\chi$-Riemann-Liouville integrals via $\gamma$-preinvex functions. Wu et al. ^[14] obtained estimates of upper bound for a $k$-th order differentiable functions involving Riemann-Liouville integrals via higher order strongly $h$-preinvex functions. Wu et al. ^[15] established some integral inequalities for $n$-polynomial $\zeta$-preinvex functions. Zhang et al. ^[16] obtained new $k$-fractional integral inequalities containing multi parameters via generalized $(s, m)$-preinvexity property of the functions. Huang et al. ^[17] derived some inequalities of the Hermite-Hadamard type via $k$-fractional conformable integrals. Rahman et al. ^[18] established certain inequalities via generalized proportional Hadamard fractional integral operators. Rahman et al. ^[19] obtained the Minkowski inequalities via generalized proportional fractional integral operators. For some more details, see ^{[20,21,22,23,24,25]}.

In recent years, several new extensions and generalizations of classical convex functions have been defined in the literature. Chu et al. ^[8] introduced the notion of higher order strongly $n$-polynomial convex function as follows:

Definition 1.1. [^[8]] A function ${\Phi}:K\rightarrow \mathbb{R}$ is said to be higher order strongly $n$-polynomial convex, if $\forall\, {\Theta}, {\Omega} \in K, {\tau}\in [0, 1]$, and $u, \sigma > 0$, we have

Remark 1.1. Note that, if we take $u = 0$ in Definition 1, then we have the class of $n$-polynomial convex functions introduced and studied by Toplu et al. ^[26]. If we take $\sigma = 2$ in Definition 1, then we get the class of strongly $n$-polynomial convex functions. If we take $n = 1$ and $\sigma = 2$, then we obtain the class of strongly convex functions ^[27].

Fractional calculus is an effective tool to explain physical phenomenas and also real world problems. The concept of fractional order derivative and integrals that will shed light on some unknown points about differential equations and solutions of some fractional order differential equations, which proved to be useless for their solution, is a novelty in applied sciences as well as in mathematics. New derivatives and integrals contribute to the solution of differential equations that are expressed and solved in classical analysis, as well as fractional order derivatives and integrals. In addition, it has increased its contribution to the literature with its applications in areas such as engineering, biostatistics and mathematical biology. Fractional derivative and integral operators not only differed from each other in terms of singularity, locality and kernels, but also brought innovations to fractional analysis in terms of their usage areas and spaces. Baleanu et al. ^[28], investigated existence results for solutions of a coupled system of hybrid boundary value problems with hybrid conditions. Khan et al. ^[29], analyzed positive solution and Hyers-Ulam stability for a class of singular fractional differential equations with $p$-Laplacian in Banach space. Khan et al. ^[30], give the existence and Hyers-Ulam stability for a nonlinear singular fractional differential equations with Mittag-Leffler kernel. For more details regarding fractional calculus and their applications, see ^{[31,32,33,34,35]}.

Let us recall some basic concepts from fractional calculus which will be helpful in obtaining our main results.

Definition 1.2. ^[36] Let ${\Phi}\in L_{1}[{a_{1}}, {a_{2}}]$. The Riemann-Liouville integrals ${\mathrm{J}}_{{a_{1}}^{+}}^{\nu}{\Phi}$ and ${\mathrm{J}}_{{a_{2}}^{-}}^{\nu}{\Phi}$ of order $\nu > 0$ are defined by

and

In 2015 Caputo and Fabrizio suggested a new operator with fractional order, this derivative is based on the exponential kernel. Earlier this year 2016 Atangana and Baleanu developed another version which used the generalized Mittag-Leffler function as non-local and non-singular kernel. Both operators show some properties of filter. However, the Atangana and Baleanu version has in addition to this, all properties of fractional derivative. This shown effectiveness and advantages of the Atangana-Baleanu integral operators.

So, let see the following definitions about Atangana-Baleanu fractional derivatives and fractional integrals that are given in ^[37,38,39], respectively.

Definition 1.3. Let ${\Phi}\in H^{1}({a_{1}}, {a_{2}})$ and not necessarily differentiable then, the definition of the new fractional derivative (Atangana-Baleanu fractional derivative in Riemann-Liouville sense) is given as follows:

where $E_{\alpha}({\Theta})$ is the well-known Mittag-Leffler function.

Definition 1.4. Let ${\Phi}\in H^{1}({a_{1}}, {a_{2}})$ then, the definition of the new fractional derivative (Atangana-Baleanu derivative in Caputo sense) is given as:

Here, ${\mathcal{B}}(\alpha) > 0$ is the normalization function which satisfies the condition ${\mathcal{B}}(0) = {\mathcal{B}}(1) = 1.$ They suggested that ${\mathcal{B}}(\alpha)$ has the same properties as in Caputo and Fabrizio case. The above definitions are very helpful to real world problem and also they have great advantages when Laplace transform is apply to solve some physical problems. Since the normalization function ${\mathcal{B}}(\alpha)$ is positive, it immediately follows that the fractional Atangana-Baleanu integral of a positive function is positive. It should be noted that, when the order $\alpha\rightarrow 1$, we recover the classical integral. Also, the initial function is recovered whenever the fractional order $\alpha\rightarrow 0.$

Definition 1.5. The left hand side fractional integral related to the new fractional derivative with nonlocal kernel of a function ${\Phi}\in L_{1}[{a_{1}}, {a_{2}}]$ is defined as follows:

The right hand side of Atangana-Baleanu fractional integral is given as:

Here, $\Gamma(\alpha)$ is the gamma function.

For more details about Atangana-Baleanu fractional integral operators and their applications, see ^{[40,41,42,43,44,45,46,47,48]}.

Inspired by above results, the main motivation of this paper is to establish two new fractional integral identities involving Atangana-Baleanu fractional integrals. Using these identities as auxiliary results, we will derive new fractional counterparts of classical inequalities essentially using first and second order differentiable higher order strongly $n$-polynomial convex functions. Furthermore, in order to show the efficiency of our main results, we will offer applications for special means and for differentiable functions of first and second order that are in absolute value bounded. Finally, some conclusions and future research will be given.

2.   Atangana-Baleanu fractional integral identities

In this section, we derive two new fractional integral identities using Atangana-Baleanu fractional integrals.

Lemma 2.1. Let ${\Phi}:[{a_{1}}, {a_{2}}]\rightarrow \mathbb{R}$ be a differentiable function on $({a_{1}}, {a_{2}})$ with ${a_{1}} < {a_{2}}$. If ${\Phi}'\in L_{1}[{a_{1}}, {a_{2}}]$, then for all ${\Theta}\in [{a_{1}}, {a_{2}}]$, we have

Proof. Integrating by parts, we have

Multiplying both sides of the last inequality by $\frac{1}{{\mathcal{B}}(\alpha)\Gamma(\alpha)}$, and then adding the term $\frac{1-\alpha}{{\mathcal{B}}(\alpha)}{\Phi}({a_{1}}+{a_{2}}-{\Theta})$, we get

Similarly, we have

By the identities (2.1) and (2.2), we obtain the required result.

Remark 2.1. Taking $\alpha = 1$ in Lemma 2.1, we get the following identity:

Lemma 2.2. Let ${\Phi}:[{a_{1}}, {a_{2}}]\rightarrow \mathbb{R}$ be a twice differentiable function on $({a_{1}}, {a_{2}})$ with ${a_{1}} < {a_{2}}$. If ${\Phi}''\in L_{1}[{a_{1}}, {a_{2}}]$, then for all ${\Theta}\in [{a_{1}}, {a_{2}}]$, we have

Proof. Consider the right hand side of 2.3, we have

where

Similarly, we get

By substituting the values of $I_1$ and $I_2$ in 2.4, we obtain our required result.

Remark 3.2. Taking $\alpha = 1$ in Lemma 2.2, we get the following identity:

3.   Inequalities involving Atangana-Baleanu fractional integrals

In this section, we discuss our main results.

Theorem 3.1. Let ${\Phi}:[{a_{1}}, {a_{2}}]\rightarrow \mathbb{R}$ be a differentiable function on $({a_{1}}, {a_{2}})$ with $0\leq {a_{1}} < {a_{2}}$. If $|{\Phi}'|^q$ is higher order strongly $n$-polynomial convex on $[{a_{1}}, {a_{2}}]$ for $q > 1$ and $\frac{1}{p}+\frac{1}{q} = 1$, then for all ${\Theta}\in [{a_{1}}, {a_{2}}]$ the following inequality for fractional integrals holds:

Proof. It is evident that

Applying Lemma 2.1 and properties of modulus, we have

Using Hölder's inequality and higher order strongly $n$-polynomial convexity of $|{\Phi}'|^q$, we get

Here, we use

for any $A > {\mathcal{B}}\geq0$ and $q\geq1$.

Similarly, we have

By the inequalities (3.1) and (3.2), we obtain required result.

Corollary 3.1. Taking $\alpha = 1$ in Theorem 3.1 and using Remark 2.1, we have

Corollary 3.2. Taking $u\to 0^{+}$ in Theorem 3.1, we have

Corollary 3.3. Under assumptions of Theorem 3.1 with ${\Theta} = \frac{{a_{1}}+{a_{2}}}{2}$, we have the following inequality

Theorem 3.2. Let ${\Phi}:[{a_{1}}, {a_{2}}]\rightarrow \mathbb{R}$ be a differentiable function on $({a_{1}}, {a_{2}})$ with $0\leq {a_{1}} < {a_{2}}$. If $|{\Phi}'|^q$ is higher order strongly $n$-polynomial convex on $[{a_{1}}, {a_{2}}]$ for $q\geq1$, then for all ${\Theta}\in [{a_{1}}, {a_{2}}]$ the following inequality for fractional integrals holds:

Proof. From Lemma 2.1, properties of modulus and power mean inequality, we have

Using the higher order strongly $n$-polynomial convexity of $|{\Phi}'|^q$, we get

Similarly, we have

By the inequalities (3.3) and (3.4), we obtain required result.

Corollary 3.4. Taking $\alpha = 1$ in Theorem 3.2 and using Remark 2.1, we have

Corollary 3.5. Taking $u\to 0^{+}$ in Theorem 3.2, we have

Corollary 3.6. Under assumptions of Theorem 3.2 with ${\Theta} = \frac{{a_{1}}+{a_{2}}}{2}$, we have the following inequality

Theorem 3.3. Let ${\Phi}:[{a_{1}}, {a_{2}}]\rightarrow \mathbb{R}$ be a twice differentiable function on $({a_{1}}, {a_{2}})$ with $0\leq {a_{1}} < {a_{2}}$. If $|{\Phi}''|^q$ is higher order strongly $n$-polynomial convex on $[{a_{1}}, {a_{2}}]$ for $q > 1$ and $\frac{1}{p}+\frac{1}{q} = 1$, then for all ${\Theta}\in [{a_{1}}, {a_{2}}]$ the following inequality for fractional integrals holds:

where $\frac{1}{p}+\frac{1}{q} = 1$.

Proof. Applying the Lemma 2.2 and properties of modulus, we have

Using Hölder's inequality and higher order strongly $n$-polynomial convexity of $|{\Phi}''|^q$, we get

Here, we use

for any $A > {\mathcal{B}}\geq0$ and $q\geq1$.

Similarly, we have

By the inequalities (3.5) and (3.6), we obtain required result.

Corollary 3.7. Taking $\alpha = 1$ in Theorem 3.3 and using Remark 2.2, we have

Corollary 3.8. Taking $u\to 0^{+}$ in Theorem 3.3, we have

Corollary 3.9. Under assumptions of Theorem 3.3 with ${\Theta} = \frac{{a_{1}}+{a_{2}}}{2}$, we have the following inequality

Theorem 3.4. Let ${\Phi}:[{a_{1}}, {a_{2}}]\rightarrow \mathbb{R}$ be a differentiable function on $({a_{1}}, {a_{2}})$ with $0\leq {a_{1}} < {a_{2}}$. If $|{\Phi}''|^q$ is higher order strongly $n$-polynomial convex on $[{a_{1}}, {a_{2}}]$ for $q\geq1$, then for all ${\Theta}\in [{a_{1}}, {a_{2}}]$ the following inequality for fractional integrals holds:

Proof. Using Lemma 2.2 and the property of modulus, we have

Using power mean inequality and the higher order strongly $n$-polynomial convexity of $|{\Phi}''|^q$, we get

Similarly, we have

By the inequalities (3.7) and (3.8), we obtain required result.

Corollary 3.10. Taking $\alpha = 1$ in Theorem 3.4 and using Remark 2.2, we have

Corollary 3.11. Taking $u\to 0^{+}$ in Theorem 3.4, we have

Corollary 3.12. Under assumptions of Theorem 3.4 with ${\Theta} = \frac{{a_{1}}+{a_{2}}}{2}$, we have the following inequality

Remark 3.1. Taking ${\Theta} = {a_{1}}$ or ${\Theta} = {a_{2}}$ in our main results, we can obtain several important special cases. We omit here their proofs and the details are left to the interested readers.

4.   Applications

In this section, we discuss applications of our main results.

4.1.   Applications to special means

In this section, we discuss some applications of our main results to special means of positive real numbers. First of all, we recall some previously known concepts. For $a_{1}\neq a_{2}$, we have

(1) The arithmetic mean: $A({a_{1}}, {a_{2}}) = \frac{{a_{1}}+{a_{2}}}{2}.$

(2) The logarithmic mean: $L({a_{1}}, {a_{2}}) = \frac{{a_{2}}-{a_{1}}}{\ln({a_{2}})-\ln({a_{1}})}$.

(3) The generalized logarithmic mean: $L_n^n({a_{1}}, {a_{2}}) = \left[\frac{{a_{2}}^{n+1}-{a_{1}}^{n+1}}{({a_{2}}-{a_{1}})(n+1)}\right]^{\frac{1}{n}}, \quad n\in\mathbb{Z}\setminus\{-1, 0\}.$

Proposition 4.1. Suppose all the assumptions of Theorem 3.1 are satisfied, then

(1)

(2)

Proof. The proof is direct consequence of Theorem 3.1, by setting $x = \frac{{a_{1}}+{a_{2}}}{2}, \alpha = 1, \mu = 0$ and ${\Phi}(x) = x^m,$ and ${\Phi}(x) = \frac{1}{x},$ respectively.

Proposition 4.2. Suppose all the assumptions of Theorem 3.2 are satisfied, then

(1)

(2)

Proof. The proof is direct consequence of Theorem 3.2, by taking $x = \frac{{a_{1}}+{a_{2}}}{2}, \alpha = 1, \mu = 0$ and ${\Phi}(x) = x^m$, and ${\Phi}(x) = \frac{1}{x},$ respectively.

4.2.   Applications to bounded functions

In this last section, we discuss applications regarding bounded functions in absolute value of the results obtained from our main results. We suppose that the following conditions are satisfied:

Applying the above conditions, we have the following results.

Corollary 4.1. Under the assumptions of Theorem 3.1, the following inequality holds:

Corollary 4.2. Under the assumptions of Theorem 3.2, the following inequality holds:

Corollary 4.3. Under the assumptions of Theorem 3.3, the following inequality holds:

Corollary 4.4. Under the assumptions of Theorem 3.4, the following inequality holds:

5.   Conclusions

In 2015 Caputo and Fabrizio suggested a new operator with fractional order, this derivative is based on the exponential kernel. Earlier this year 2016 Atangana and Baleanu developed another version which used the generalized Mittag-Leffler function as non-local and non-singular kernel. Both operators show some properties of filter. However, the Atangana and Baleanu version has in addition to this, all properties of fractional derivative. This shown effectiveness and advantages of the Atangana-Baleanu integral operators. Inspired by this great fact that own Atangana-Baleanu integral operators, we found two new fractional integral identities involving Atangana-Baleanu fractional integrals. Applying these identities as auxiliary results, we derived new fractional counterparts of classical inequalities essentially using first and second order differentiable higher order strongly $n$-polynomial convex functions. We have discussed several important special cases from our main results. The efficiency of our main results is demonstrated via special means and differentiable functions of first and second order that are in absolute value bounded. We will derive as future works several new fractional integral inequalities using Chebyshev, Markov, Young and Minkowski inequalities. Since the class of higher order strongly $n$-polynomial convex functions have large applications in many mathematical areas, they can be applied to obtain several results in convex analysis, special functions, quantum mechanics, related optimization theory, and mathematical inequalities and may stimulate further research in different areas of pure and applied sciences. Studies relating convexity, partial convexity, and preinvex functions (as contractive operators) may have useful applications in complex interdisciplinary studies, such as maximizing the likelihood from multiple linear regressions involving Gauss-Laplace distribution. For more details, see ^{[49,50,51,52,53,54,55,56]}. We hope that our ideas and techniques of this paper will inspire interested readers working in this field.

Acknowledgment

This research was funded by Dirección de Investigación from Pontificia Universidad Católica del Ecuador in the research project entitled, "Some integrals inequalities and generalized convexity" (Algunas desigualdades integrales para funciones con algún tipo de convexidad generalizada y aplicaciones).

Conflicts of interest

The authors declare that they have no competing interests.