1 Introduction

The field of integral inequalities plays an essential role in the diverse domain. The mathematicians have investigated that it is mainly a powerful tool for the improvement of both applied and pure mathematics. In [8], the authors established Grüss type integral inequalities by employing the classical fractional integrals. Certain new integral inequalities for the Riemann–Liouville (R-L) fractional integrals can be found in the work of Dahmani [6]. The inequalities involving an extension of the gamma function and confluent k-hypergeometric function were found in the work of Nisar et al. [26]. Nisar et al. [27] performed Gronwall inequalities with applications. Rahman et al. [42] gave certain inequalities for \((k,\rho )\)-fractional integrals. Ostrowski type inequalities connecting local fractional integrals were found in [50]. Sarikaya et al. [51] developed generalized \((k,s)\)-fractional integrals with applications. In [52], Set et al. introduced Grüss type inequalities by employing generalized k-fractional integrals. Recently, Nisar et al. [29] gave some new generalized fractional integral inequalities.

Very recently, the fractional conformable and proportional fractional integral operators have been given in [13, 15]. Later on, Huang et al. [12] gave Hermite–Hadamard type inequalities by using fractional conformable integrals (FCI). Qi et al. [33] investigated Čebyšev type inequalities involving FCI. The Chebyshev type inequalities and certain Minkowski type inequalities are found in [25, 30, 43]. Nisar et al. [28] investigated some new inequalities for a class of n (\(n\in \mathbb{N}\)) positive, continuous, and decreasing functions by employing FCI. Rahman et al. [41] introduced Grüss type inequalities for k-fractional conformable integrals. Some significant inequalities are given in [35–37, 39, 40, 46]. Very recently, Rahman et al. [38, 44] presented fractional integral inequalities involving tempered fractional integrals. In [2], Abdeljawad et al. presented some new local fractional inequalities associated with generalized \((s, m)\)-convex functions and applications. Qi et al. [34] proposed fractional integral versions of Hermite–Hadamard type inequality for generalized exponential convexity. In [3], Abdeljawad et al. presented new fractional integral inequalities for p-convexity within interval-valued functions. Zhou et al. [55] investigated some new inequalities by considering the generalized proportional Hadamard fractional integral operators. Rashid et al. [48] proposed some inequalities via generalized proportional fractional integrals. In [47], the authors presented reverse Minkowski’s inequalities via generalized proportional fractional integrals. In [21], Mohammed and Abdeljawad proposed some modifications of fractional integral inequalities for convex functions. Abdeljawad et al. [1] presented modified conformable fractional integral inequalities of Hermite–Hadamard type with applications. Mohammed and Brevik [23] investigated a new version of Hermite–Hadamard for Riemann–Liouville fractional integrals. Mohammed and Abdeljawad [22] studied integral inequalities for generalized fractional integral with nonsingular kernels. Mohammed and Srikaya [24] proposed generalized fractional integral inequalities for twice differentiable functions.

In [5], the well-known Chebyshev functional for two integrable functions \(\hbar _{1}\) and \(\hbar _{2}\) on \([x_{1},x_{2}]\) is given by

$$\begin{aligned} \mathcal{T}(\hbar _{1},\hbar _{2})&= \frac{1}{x_{2}-x_{1}} \int _{x_{1}}^{x_{2}} \hbar _{1}(\theta ) \hbar _{2}(\theta )\,d\theta \\ &-\frac{1}{x_{2}-x_{1}} \biggl( \int _{x_{1}}^{x_{2}} \hbar _{1}( \theta )\,d\theta \biggr)\frac{1}{x_{2}-x_{1}} \biggl( \int _{x_{1}}^{x_{2}} \hbar _{2}(\theta )\,d\theta \biggr). \end{aligned}$$
(1.1)

The functional \(\mathcal{T}(\hbar _{1},\hbar _{2})\geq 0\) for the two synchronous functions \(\hbar _{1}\) and \(\hbar _{2}\) on \([x_{1},x_{2}]\), i.e.,

$$ \bigl(\hbar _{1}(\vartheta )-\hbar _{1}(\zeta ) \bigr) \bigl(\hbar _{2}( \vartheta )-\hbar _{2}(\zeta ) \bigr) \geq 0 $$

for any \(\vartheta ,\zeta \in [x_{1},x_{2}]\).

In [4, 7, 9, 17], the researchers studied functional (1.1) and introduced a large number of interesting integral inequalities. Very recently, Rahman et al. and Tassaddiq et al. [45, 53] studied functional (1.1) and investigated some new inequalities involving fractionally conformable.

The well-known Grüss [11] inequality for two integrable functions \(\hbar _{1}\) and \(\hbar _{2}\) on \([x_{1},x_{2}]\) is given by

$$\begin{aligned} \bigl\vert \mathcal{T} (\hbar _{1},\hbar _{2} ) \bigr\vert \leq \frac{ (P_{1}-p_{1} ) (Q_{1}-q_{1} )}{4}, \end{aligned}$$

such that \(\hbar _{1}\) and \(\hbar _{2}\) fulfill the inequalities \(p_{1}\leq \hbar _{1}(\vartheta )\leq P_{1}\) and \(q_{1}\leq \hbar _{2}(\zeta )\leq Q_{1}\) for all \(\vartheta , \zeta \in [x_{1}, x_{2}]\) and for some constant \(p_{1}, q_{1}, P_{1}, Q_{1}\in \mathbb{R}\).

Pólya and Szegö [32] gave the following inequality:

$$\begin{aligned} \frac{\int _{x_{1}}^{x_{2}}\hbar _{1}^{2}(\theta )\,d\theta \int _{x_{1}}^{x_{2}}\hbar _{2}^{2}(\theta )\,d\theta }{ (\int _{x_{1}}^{x_{2}}\hbar _{1}(\theta )\hbar _{2}(\theta )\,d\theta )^{2}} \leq \frac{1}{4} \biggl(\sqrt{ \frac{P_{1}Q_{1}}{p_{1}q_{1}}}+\sqrt{\frac{p_{1}q_{1}}{P_{1}Q_{1}}} \biggr)^{2}. \end{aligned}$$

Dragomir and Diamond [10] gave the following inequality with the help of Pólya–Szegö inequality:

$$\begin{aligned} \bigl\vert \mathcal{T} (\hbar _{1},\hbar _{2} ) \bigr\vert \leq \frac{ (P_{1}-p_{1} ) (Q_{1}-q_{1} )}{4(x_{2}-x_{1})^{2}\sqrt{p_{1}P_{1}q_{1}Q_{1}}} \int _{x_{1}}^{x_{2}}\hbar _{1}(\theta )\,d\theta \int _{x_{1}}^{x_{2}} \hbar _{2}(\theta )\,d\theta , \end{aligned}$$

where the functions \(\hbar _{1}\) and \(\hbar _{2}\) are positive and integrable on \([x_{1},x_{2}]\) such that \(\hbar _{1}\) and \(\hbar _{2}\) satisfy the inequalities \(p_{1}\leq \hbar _{1}(\vartheta )\leq P_{1}\) and \(q_{1}\leq \hbar _{2}(\zeta )\leq Q_{1}\) for all \(\vartheta , \zeta \in [x_{1}, x_{2}]\) and for some constant \(p_{1}, q_{1}, P_{1}, Q_{1}\in \mathbb{R}\).

In [31], Ntouyas et al. investigated some new Pólya–Szegö and Chebyshev type inequalities by considering the R-L fractional integrals.

This paper is composed as follows:

In Sect. 2, we mention some basic definitions. Certain new Pólya–Szegö type inequalities for the weighted fractional integrals concerning another function are presented in Sect. 3. In Sect. 4, we present some new generalized Chebyshev type inequalities for the weighted fractional integrals concerning another function. In Sect. 5, certain new particular cases in terms of weighted fractional integrals are discussed. An example of constructing bounding functions is considered in Sect. 6. The concluding remarks are presented in Sect. 7.

2 Auxiliary results

In this section, we present some basic definitions and mathematical preliminaries.

Lemma 2.1

([11])

Assume that the functions \(\hbar _{1}, \hbar _{2}: [x_{1},x_{1}]\rightarrow \mathbb{R}\) are positive with \(p_{1}\leq \hbar _{1}(\vartheta )\leq P_{1}\) and \(q_{1}\leq \hbar _{2}(\vartheta )\leq Q_{1}\) for all \(\vartheta \in [x_{1},x_{1}]\), then the following inequality holds:

$$\begin{aligned} & \biggl\vert \frac{1}{x_{2}-x_{1}} \int _{x_{1}}^{x_{2}}\hbar _{1}( \vartheta )\hbar _{2}(\vartheta )\,d\vartheta -\frac{1}{x_{2}-x_{1}} \int _{x_{1}}^{x_{2}}\hbar _{1}(\vartheta )\,d\vartheta \frac{1}{x_{2}-x_{1}} \int _{x_{1}}^{x_{2}} \hbar _{2}(\vartheta )\,d\vartheta \biggr\vert \\ &\quad \leq \frac{1}{4} (P_{1}-p_{1} ) (Q_{1}-q_{1} ), \end{aligned}$$
(2.1)

where the constants \(P_{1},p_{1},q_{1},Q_{1}\in \mathbb{R}\) and \(\frac{1}{4}\) is the sharp of inequality 2.1.

Definition 2.1

([18, 54])

The function \(\hbar _{1}\) is said to be in the space \(L_{p,r}[0,\infty \mathclose{[}\) if

$$\begin{aligned} L_{p,r}[0,\infty \mathclose{[} = \biggl\{ \hbar _{1}: \Vert \hbar _{1} \Vert _{L_{p,r}[0, \infty \mathclose{[} }= \biggl( \int _{r}^{s} \bigl\vert \hbar _{1}(\vartheta ) \bigr\vert ^{p}\vartheta ^{r}\,d\vartheta \biggr)^{\frac{1}{p}}< \infty , 1\leq p< \infty , r \geq 0 \biggr\} . \end{aligned}$$
(2.2)

Applying \(r=0\) on (2.2) gives

$$\begin{aligned} L_{p}[0,\infty \mathclose{[} = \biggl\{ \hbar _{1}: \Vert \hbar _{1} \Vert _{L_{p}[0,\infty \mathclose{[} }= \biggl( \int _{r}^{s} \bigl\vert \hbar _{1}(\vartheta ) \bigr\vert ^{p}\,d\vartheta \biggr)^{\frac{1}{p}}< \infty , 1\leq p< \infty \biggr\} . \end{aligned}$$

Definition 2.2

([16])

Let the function \(\hbar _{1}\in L_{1}[0,\infty \mathclose{[}\) and suppose that Ψ is monotone, increasing, and positive on \([0,\infty \mathclose{[}\) and having continuous derivative \(\Psi ^{\prime }\) on \([0,\infty \mathclose{[}\) with \(\Psi (0)=0\). Then \(\hbar _{1}\) (the Lebesgue real-valued measurable function) defined on \([0,\infty \mathclose{[}\) is in the space \(X_{\Psi }^{p}(0,\infty )\), (\(1\leq p<\infty \)) if

$$\begin{aligned} \Vert \hbar _{1} \Vert _{X_{\Psi }^{p}}= \biggl( \int _{r}^{s} \bigl\vert \hbar _{1}( \vartheta ) \bigr\vert ^{p}\Psi ^{\prime }(\vartheta )\,d\vartheta \biggr)^{\frac{1}{p}}< \infty ,\quad 1\leq p< \infty . \end{aligned}$$

When \(p\rightarrow \infty \), then

$$\begin{aligned} \Vert \hbar _{1} \Vert _{X_{\Psi }^{\infty }}=\operatorname{\mathbf{ess}} \sup_{0\leq \vartheta < \infty } \bigl[\Psi ^{\prime }(\vartheta )\hbar _{1}(\varrho ) \bigr]. \end{aligned}$$

Clearly, the space \(X_{\Psi }^{p}(0,\infty )\) matches with the space \(L_{p}[0,\infty \mathclose{[}\) if \(\Psi (\vartheta )=\vartheta \) for \(1\leq p<\infty \) and in a similar way with the space \(L_{p,r}[1,\infty \mathclose{[}\) if \(\Psi (\vartheta )=\ln \vartheta \) for \(1\leq p<\infty \).

Definition 2.3

([20, 49])

The classical left- and right-sided R-L fractional integrals of order \(\kappa >0\) are respectively defined by

$$\begin{aligned} \bigl({}_{x_{1}}\mathcal{R}^{\kappa }\hbar _{1} \bigr) (\theta )= \frac{1}{\Gamma (\kappa )} \int _{x_{1}}^{\theta }(\theta -\vartheta )^{ \kappa -1}\hbar _{1}(\vartheta )\,d\vartheta ,\quad x_{1}< \theta , \end{aligned}$$
(2.3)

and

$$\begin{aligned} \bigl({}_{x_{1}}\mathcal{R}^{\kappa }\hbar _{1} \bigr) (\theta )= \frac{1}{\Gamma (\kappa )} \int _{x_{1}}^{\theta }(\vartheta -\theta )^{ \kappa -1}\hbar _{1}(\vartheta )\,d\vartheta ,\quad x_{2}>\theta , \end{aligned}$$
(2.4)

where the gamma function is defined by \(\Gamma (\kappa )=\int _{0}^{\infty }\tau ^{\kappa -1}e^{-\tau }\,d\tau \), \(\tau \in \mathbb{C}\), and \(\Re (\tau )>0\).

Definition 2.4

([20, 49])

The one-sided R-L fractional integral of order \(\kappa >0\) is defined by

$$\begin{aligned} \bigl(\mathcal{R}_{0}^{\kappa ,\tau }\hbar _{1} \bigr) (\theta )= \bigl(\mathcal{R}^{\kappa ,\tau }\hbar _{1} \bigr) (\theta )= \frac{1}{\Gamma (\kappa )} \int _{0}^{\theta }(\theta -\vartheta )^{ \kappa -1}\hbar _{1}(\vartheta )\,d\vartheta . \end{aligned}$$
(2.5)

Definition 2.5

([20, 49])

Let the function \(\hbar _{1}:[x_{1},x_{2}]\rightarrow \mathbb{R}\) be an integrable function, and assume that the function Ψ is increasing and positive monotone on \((x_{1},x_{2}]\) and having continuous derivative on \((x_{1},x_{2})\). Then the left- and right-sided generalized Riemann–Liouville fractional integrals of a function \(\hbar _{1}\) concerning another function Ψ are respectively defined by

$$\begin{aligned} \bigl({}_{x_{1}}^{\Psi }\mathcal{R}^{\kappa } \hbar _{1} \bigr) ( \theta ) =\frac{1}{\Gamma (\tau )} \int _{x_{1}}^{\theta } \bigl(\Psi ( \theta )- \Psi ( \vartheta ) \bigr)^{\kappa -1}\Psi ^{\prime }( \vartheta )\hbar _{1}(\vartheta )\,d\vartheta ,\quad x_{1}< \theta , \end{aligned}$$
(2.6)

and

$$\begin{aligned} \bigl({}^{\Psi }\mathcal{R}_{x_{2}}^{\kappa } \hbar _{1} \bigr) (\theta ) = \frac{1}{\Gamma (\tau )} \int _{\theta }^{x_{2}} \bigl(\Psi (\vartheta )- \Psi ( \theta ) \bigr)^{\kappa -1}\Psi ^{\prime }(\vartheta )\hbar ( \vartheta )\,d\vartheta ,\quad \theta < x_{2}, \end{aligned}$$
(2.7)

where \(\kappa \in \mathbb{C}\) with \(\Re (\kappa )>0\).

Definition 2.6

([14])

Let the function \(\hbar _{1}\) be integrable \(X_{\Psi }^{p}(0,\infty )\), and suppose that the function Ψ is increasing positive and monotone on \([0,\infty \mathclose{[}\) and having continuous derivative on \([0,\infty \mathclose{[}\) with \(\Psi (0)=0\). Then the generalized weighted (left-sided) R-L fractional integral of the function \(\hbar _{1}\) concerning another function Ψ in the kernel is

$$\begin{aligned} \bigl({}_{x_{1}}^{\Psi }\mathcal{R} {}_{\omega }^{\kappa } \hbar _{1} \bigr) (\theta ) = \frac{\omega ^{-1}(\theta )}{\Gamma (\kappa )} \int _{x_{1}}^{\theta } \bigl(\Psi (\theta )- \Psi ( \vartheta ) \bigr)^{ \kappa -1}\omega (\vartheta )\Psi ^{\prime }( \vartheta )\hbar _{1}( \vartheta )\,d\vartheta , \quad x_{1}< \theta , \end{aligned}$$
(2.8)

where \(\kappa , \in \mathbb{C}\) with \(\Re (\kappa )>0\).

Remark 2.1

The following new weighted fractional integrals can be easily obtained:

  1. i.

    Applying Definition 2.8 for \(\Psi (\theta )=\theta \), we get the following weighted R-L fractional integral:

    $$\begin{aligned} \bigl({}_{x_{1}}\mathcal{R} {}_{\omega }^{\kappa }\hbar _{1} \bigr) ( \theta )=\frac{\omega ^{-1}(\theta )}{\Gamma (\kappa )} \int _{x_{1}}^{\theta }(\theta -\vartheta )^{\kappa -1}\omega (\vartheta )\hbar _{1}( \vartheta )\,d\vartheta ,\quad x_{1}< \theta . \end{aligned}$$
  2. ii.

    Applying Definition 2.8 for \(\Psi (\theta )=\theta \), we get the following weighted Hadamard fractional integral operator:

    $$\begin{aligned} \bigl({}_{x_{1}}\mathcal{R} {}_{\omega }^{\kappa }\hbar _{1} \bigr) ( \theta )=\frac{\omega ^{-1}(\theta )}{\Gamma (\kappa )} \int _{x_{1}}^{\theta }(\ln \theta -\ln \vartheta )^{\kappa -1}\omega (\vartheta ) \hbar _{1}(\vartheta ) \frac{d\vartheta }{\vartheta },\quad x_{1}< \theta . \end{aligned}$$
  3. iii.

    Applying Definition 2.8 for \(\Psi (\theta )=\frac{\theta ^{\eta }}{\eta }\), \(\eta >0\), we obtain the following weighted Katugampola fractional integral:

    $$\begin{aligned} \bigl({}_{x_{1}}\mathcal{R} {}_{\omega }^{\kappa ,\eta }\hbar _{1} \bigr) ( \theta )=\frac{\omega ^{-1}(\theta )}{\Gamma (\kappa )} \int _{x_{1}}^{\theta } \biggl(\frac{\theta ^{\eta }-\vartheta ^{\eta }}{\eta } \biggr)^{ \kappa -1}\omega (\vartheta )\hbar _{1}(\vartheta ) \frac{d\vartheta }{\vartheta ^{1-\eta }},\quad x_{1}< \theta . \end{aligned}$$

Similarly, we can obtain another type of weighted fractional integrals.

Remark 2.2

The following new weighted fractional integrals can be easily obtained:

  1. i.

    Applying Definition 2.8 for \(\omega (\theta )=1\) and \(\Psi (\theta )=\theta \), we get (2.4);

  2. ii.

    Applying Definition 2.8 for \(\Psi (\theta )=\theta \), it will reduce to the left-sided generalized Riemann–Liouville fractional integral operator (2.6);

  3. iii.

    Applying Definition 2.8 for \(\omega (\theta )=\theta ^{u}\) and \(\Psi (\theta )=\ln \theta \), it will reduce to the left-sided Hadamard integral operator [20, 49];

  4. iv.

    Applying Definition 2.8 for \(\Psi (\theta )=\frac{\theta ^{\eta }}{\eta }\), \(\eta >0\), and \(\omega (\theta )=1\), it will reduce to the left-sided Katugampola [18] fractional integral;

  5. v.

    Applying Definition 2.8 for \(\omega (\theta )=1\) and \(\Psi (\theta )=\frac{\theta ^{\alpha +s}}{\alpha +s}\) (where \(\alpha \in (0,1]\), \(s\in \mathbb{R}\), and \(\alpha +s\neq 0\)), it reduces to the left-sided generalized FCI given by [19];

  6. vi.

    Applying Definition 2.8 for \(\omega (\theta )=1\) and \(\Psi (\theta )=\frac{(\theta -x_{1})^{\alpha }}{\alpha }\), \(\alpha >0\), it reduces to the fractional conformable integral defined by Jarad et al. [15].

In this paper, we analyze the subsequent one-sided generalized weighted fractional integral.

Definition 2.7

Let the function \(\hbar _{1}\) be integrable in the space \(X_{\Psi }^{p}(0,\infty )\), and suppose that the function Ψ is increasing, positive, and monotone on \([0,\infty \mathclose{[}\) and having continuous derivative on \([0,\infty \mathclose{[}\) with \(\Psi (0)=0\). Then the one-sided generalized weighted fractional integral of the function \(\hbar _{1}\) with respect to another function Ψ in the kernel is given by

$$\begin{aligned} \bigl( {}_{\omega }^{\Psi } \mathcal{R}_{0}^{\kappa } \hbar _{1} \bigr) ( \theta ) =\frac{\omega ^{-1}(\theta )}{\Gamma (\kappa )} \int _{0}^{\theta } \bigl(\Psi (\theta )-\Psi ( \vartheta ) \bigr)^{\kappa -1} \omega (\vartheta )\Psi ^{\prime }( \vartheta )\hbar _{1}(\vartheta )\,d\vartheta . \end{aligned}$$
(2.9)

Definition 2.8

For \(0=\tau _{0}<\tau _{1}<\cdots <\tau _{p}<\tau _{p+1}=\tau \), we define the following sub-integrals for generalized weighted integral:

$$\begin{aligned} \bigl( {}_{\omega }^{\Psi } \mathcal{R}_{\tau _{i}, \tau _{i+1}}^{\kappa } \hbar _{1} \bigr) (\tau ) = \frac{\omega ^{-1}(\theta )}{\Gamma (\kappa )} \int _{\tau _{i}}^{ \tau _{i+1}} \bigl(\Psi (\tau )- \Psi ( \vartheta ) \bigr)^{\kappa -1} \omega (\vartheta )\Psi ^{\prime }( \vartheta )\hbar _{1}(\vartheta )\,d\vartheta . \end{aligned}$$
(2.10)

Note that

$$\begin{aligned} \bigl( {} {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } \hbar _{1} \bigr) ( \tau )={}&\sum_{i=0}^{p} {} {}_{\omega }^{\Psi }\mathcal{R}_{\tau _{i}, \tau _{i+1}}^{ \kappa } ( \hbar _{1} ) (\tau ) \\ ={}&\frac{\omega ^{-1}(\theta )}{\Gamma (\kappa )} \int _{0}^{\tau _{1}} \bigl(\Psi (\tau )- \Psi ( \vartheta ) \bigr)^{\kappa -1}\omega ( \vartheta )\Psi ^{\prime }( \vartheta )\hbar _{1}(\vartheta )\,d\vartheta \\ &{}+\frac{\omega ^{-1}(\theta )}{\Gamma (\kappa )} \int _{\tau _{1}}^{ \tau _{2}} \bigl(\Psi (\tau )- \Psi ( \vartheta ) \bigr)^{\kappa -1} \omega (\vartheta )\Psi ^{\prime }( \vartheta )\hbar _{1}(\vartheta )\,d\vartheta +\cdots \\ &{}+\frac{\omega ^{-1}(\theta )}{\Gamma (\kappa )} \int _{\tau _{p}}^{ \tau } \bigl(\Psi (X)- \Psi (\vartheta ) \bigr)^{\kappa -1}\omega ( \vartheta )\Psi ^{\prime }(\vartheta )\hbar _{1}(\vartheta )\,d\vartheta . \end{aligned}$$

Remark 2.3

If we set \(\Psi (\tau )=\tau \) and \(\omega (\theta )=1\), then (2.10) will reduce to the sub-integrals of R-L fractional integral defined by [31].

3 Some weighted fractional Pólya–Szegö type integral inequalities

In this section, we present some new weighted fractional Pólya–Szegö type integral inequalities for positive and integrable functions by utilizing generalized weighted fractional integral (2.9) containing other function Ψ in the kernel.

Lemma 3.1

Let the functions \(\hbar _{1}\) and \(\hbar _{2}\) be positive and integrable on \([0,\infty )\), and assume that the function Ψ is increasing, positive, and monotone on \([0,\infty \mathclose{[}\) and having continuous derivative on \([0,\infty \mathclose{[}\) with \(\Psi (0)=0\). Suppose that \(f_{1}\), \(f_{2}\), \(g_{1}\), and \(g_{2}\) are four positive and integrable functions on \([0,\infty )\) such that

$$\begin{aligned} \begin{aligned} (H_{1})\quad &0< f_{1}(\vartheta )\leq \hbar _{1}(\vartheta )\leq f_{2}( \vartheta ), \\ & 0< g_{1}(\vartheta )\leq \hbar _{2}(\vartheta )\leq g_{2}( \vartheta ),\quad \vartheta \in [0,\theta ], \theta >0. \end{aligned} \end{aligned}$$
(3.1)

Then, for \(\kappa >0\) and \(\theta >0\), the following weighted fractional integral inequality holds:

$$\begin{aligned} \frac{ {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } (g_{1}g_{2}\hbar _{1}^{2} )(\theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } (f_{1}f_{2} \hbar _{2}^{2} )(\theta )}{ ( {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } \{ (f_{1}g_{1}+f_{2}g_{2} )\hbar _{1}\hbar _{2} \} (\theta ) )^{2}} \leq \frac{1}{4}. \end{aligned}$$
(3.2)

Proof

Utilizing the given hypothesis, we have

$$\begin{aligned} \biggl(\frac{f_{2}(\vartheta )}{g_{1}(\vartheta )}- \frac{\hbar _{1}(\vartheta )}{\hbar _{2}(\vartheta )} \biggr)\geq 0. \end{aligned}$$
(3.3)

Similarly, we have

$$\begin{aligned} \biggl(\frac{\hbar _{1}(\vartheta )}{\hbar _{2}(\vartheta )}- \frac{f_{1}(\vartheta )}{g_{2}(\vartheta )} \biggr)\geq 0. \end{aligned}$$
(3.4)

The product of (3.3) and (3.4) yields

$$\begin{aligned} \biggl(\frac{f_{2}(\vartheta )}{g_{1}(\vartheta )}- \frac{\hbar _{1}(\vartheta )}{\hbar _{2}(\vartheta )} \biggr) \biggl( \frac{\hbar _{1}(\vartheta )}{\hbar _{2}(\vartheta )}- \frac{f_{1}(\vartheta )}{g_{2}(\vartheta )} \biggr)\geq 0. \end{aligned}$$
(3.5)

From (3.5), it follows that

$$\begin{aligned} \bigl(f_{1}(\vartheta )g_{1}( \vartheta )+f_{2}(\vartheta )g_{2}( \vartheta ) \bigr) \hbar _{1}\hbar _{2}(\vartheta )\geq g_{1}( \vartheta )g_{2}(\vartheta )\hbar _{1}^{2}( \vartheta )+f_{1}( \vartheta )f_{2}(\vartheta )\hbar _{2}^{2}(\vartheta ). \end{aligned}$$
(3.6)

Now, multiplying (3.6) by \(\frac{ (\Psi (\theta )- \Psi (\vartheta ) )^{\kappa -1}\omega (\vartheta )\Psi ^{\prime }(\vartheta )}{\Gamma (\kappa )}\) and integrating the resultant identity with respect to ϑ over \((0,\theta )\), we have

$$\begin{aligned} &\frac{1}{\Gamma (\kappa )} \int _{0}^{\theta } \bigl(\Psi (\theta )- \Psi ( \vartheta ) \bigr)^{\kappa -1}\omega (\vartheta )\Psi ^{\prime }( \vartheta ) \bigl(f_{1}(\vartheta )g_{1}(\vartheta )+f_{2}(\vartheta )g_{2}( \vartheta ) \bigr) \hbar _{1}\hbar _{2}(\vartheta )\,d\vartheta \\ &\quad \geq \frac{1}{\Gamma (\kappa )} \int _{0}^{\theta } \bigl(\Psi ( \theta )- \Psi ( \vartheta ) \bigr)^{\kappa -1}\omega (\vartheta ) \Psi ^{\prime }( \vartheta )g_{1}(\vartheta )g_{2}(\vartheta )\hbar _{1}^{2}( \vartheta )\,d\vartheta \\ &\qquad {}+\frac{1}{\Gamma (\kappa )} \int _{0}^{\theta } \bigl(\Psi (\theta )- \Psi ( \vartheta ) \bigr)^{\kappa -1}\omega (\vartheta )\Psi ^{\prime }( \vartheta )f_{1}(\vartheta )f_{2}(\vartheta )\hbar _{2}^{2}( \vartheta )\,d\vartheta . \end{aligned}$$

Multiplying both sides of the above equation by \(\omega ^{-1}(\theta )\) and using Definition (2.9), we obtain

$$\begin{aligned} {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } \bigl[ (f_{1}g_{1}+f_{2}g_{2} ) \hbar _{1}\hbar _{2} \bigr](\theta ) \geq {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } \bigl(g_{1}g_{2}\hbar _{1}^{2} \bigr) ( \theta )+ {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } \bigl(f_{1}f_{2} \hbar _{2}^{2} \bigr) (\theta ). \end{aligned}$$

Now, using the AM-GM inequality, i.e., \(p_{1}+p_{2}\geq 2\sqrt{p_{1}p_{2}}, p_{1},p_{2}\mathbb{R}^{+}\), we get

$$\begin{aligned} {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } \bigl[ (f_{1}g_{1}+f_{2}g_{2} ) \hbar _{1}\hbar _{2} \bigr](\theta ) \geq 2\sqrt{ {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } \bigl(g_{1}g_{2}\hbar _{1}^{2} \bigr) ( \theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } \bigl(f_{1}f_{2} \hbar _{2}^{2} \bigr) (\theta )}. \end{aligned}$$

It follows that

$$\begin{aligned} {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } \bigl(g_{1}g_{2}\hbar _{1}^{2} \bigr) (\theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } \bigl(f_{1}f_{2} \hbar _{2}^{2} \bigr) (\theta )\leq \frac{1}{4} \bigl( {}_{\omega }^{\Psi } \mathcal{R}_{0}^{\kappa } \bigl[ (f_{1}g_{1}+f_{2}g_{2} ) \hbar _{1}\hbar _{2} \bigr](\theta ) \bigr)^{2}, \end{aligned}$$

which gives the required result (3.2). □

Corollary 3.1

Let the functions \(\hbar _{1}\) and \(\hbar _{2}\) be positive and integrable on \([0,\infty )\), and assume that the function Ψ is increasing, positive, and monotone on \([0,\infty \mathclose{[}\) and having continuous derivative on \([0,\infty \mathclose{[}\) with \(\Psi (0)=0\). Suppose that \(f_{1}\), \(f_{2}\), \(g_{1}\), and \(f_{2}\) are four positive and integrable functions on \([0,\infty )\) such that

$$\begin{aligned} \begin{aligned} (H_{2})\quad &0< p_{1}\leq \hbar _{1}(\vartheta )\leq P_{1}< \infty , \\ &0< q_{1}\leq \hbar _{2}(\vartheta )\leq Q_{1}< \infty ,\quad \vartheta \in [0,\theta ], \theta >0. \end{aligned} \end{aligned}$$
(3.7)

Then, for \(\kappa >0\) and \(\theta >0\), the following weighted fractional integral inequality holds:

$$\begin{aligned} \frac{ {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } (\hbar _{1}^{2} )(\theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } ( \hbar _{2}^{2} )(\theta )}{ ( {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } \{ \hbar _{1}\hbar _{2} \} (\theta ) )^{2}} \leq \frac{1}{4} \biggl(\sqrt{ \frac{p_{1}q_{1}}{P_{1}Q_{1}}}+\sqrt{ \frac{P_{1}Q_{1}}{p_{1}q_{1}}} \biggr)^{2}. \end{aligned}$$

Lemma 3.2

Let all the conditions of Lemma 3.1be satisfied. Then, for \(\kappa , \lambda >0\) and \(\theta >0\), the following weighted fractional integral inequality holds:

$$\begin{aligned} \frac{ {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } (\hbar _{1}^{2} )(\theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\lambda } (\hbar _{2}^{2} )(\theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } (f_{1}f_{2} )(\theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\lambda } (g_{1}g_{2} )(\theta ) }{ ( {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } (f_{1}\hbar _{1} )(\theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\lambda } (g_{1}\hbar _{2} )(\theta ) + {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } (f_{2}\hbar _{1} )(\theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\lambda } (g_{2}\hbar _{2} )(\theta ) )^{2}} \leq \frac{1}{4}. \end{aligned}$$
(3.8)

Proof

By using hypothesis \((H_{1})\) given by (3.1), we have

$$\begin{aligned} \biggl(\frac{f_{2}(\vartheta )}{g_{1}(\zeta )}- \frac{\hbar _{1}(\vartheta )}{\hbar _{2}(\zeta )} \biggr)\geq 0 \end{aligned}$$

and

$$\begin{aligned} \biggl(\frac{\hbar _{1}(\vartheta )}{\hbar _{2}(\zeta )}- \frac{f_{1}(\vartheta )}{g_{2}(\zeta )} \biggr)\geq 0. \end{aligned}$$

It gives

$$\begin{aligned} \biggl(\frac{f_{1}(\vartheta )}{g_{2}(\zeta )}+ \frac{f_{2}(\vartheta )}{g_{1}(\zeta )} \biggr) \frac{\hbar _{1}(\vartheta )}{\hbar _{2}(\zeta )}\geq \frac{\hbar _{1}^{2}(\vartheta )}{\hbar _{2}^{2}(\zeta )}+ \frac{f_{1}(\vartheta )f_{2}(\vartheta )}{f_{1}(\zeta )f_{2}(\zeta )}. \end{aligned}$$
(3.9)

Multiplying (3.9) by \(g_{1}(\zeta )g_{2}(\zeta )\hbar _{2}^{2}(\zeta )\), we have

$$\begin{aligned} &f_{1}(\vartheta )\hbar _{1}(\vartheta )g_{1}(\zeta )\hbar _{2}(\zeta )+f_{2}( \vartheta )\hbar _{1}(\vartheta )g_{2}(\zeta )\hbar _{2}(\zeta ) \\ &\quad \geq g_{1}( \zeta )g_{2}(\zeta ) \hbar _{1}^{2}(\vartheta )+f_{1}(\vartheta )f_{2}( \vartheta )\hbar _{2}^{2}(\zeta ). \end{aligned}$$
(3.10)

Taking product of (3.10) with \(\frac{ (\Psi (\theta )-\Psi (\vartheta ) )^{\kappa -1}\omega (\vartheta )\Psi ^{\prime }(\vartheta )}{\Gamma (\kappa )}\) and integrating the resultant inequality with respect to ϑ over \((0,\theta )\), we have

$$\begin{aligned} &g_{1}(\zeta )\hbar _{2}(\zeta ) \frac{1}{\Gamma (\kappa )} \int _{0}^{\theta } \bigl(\Psi (\theta )- \Psi ( \vartheta ) \bigr)^{\kappa -1} \omega (\vartheta )\Psi ^{\prime }( \vartheta )f_{1}(\vartheta )\hbar _{1}( \vartheta )\,d\vartheta \\ &\qquad {}+g_{2}(\zeta )\hbar _{2}(\zeta )\frac{1}{\Gamma (\kappa )} \int _{0}^{\theta } \bigl(\Psi (\theta )- \Psi ( \vartheta ) \bigr)^{\kappa -1} \omega (\vartheta )\Psi ^{\prime }( \vartheta )f_{2}(\vartheta )\hbar _{1}( \vartheta )\,d\vartheta \\ &\quad \geq g_{1}(\zeta )g_{2}(\zeta )\frac{1}{\Gamma (\kappa )} \int _{0}^{\theta } \bigl(\Psi (\theta )- \Psi ( \vartheta ) \bigr)^{\kappa -1} \omega (\vartheta )\Psi ^{\prime }( \vartheta ) \hbar _{1}^{2}( \vartheta )\,d\vartheta \\ &\qquad {}+\hbar _{2}^{2}(\zeta )\frac{1}{\Gamma (\kappa )} \int _{0}^{\theta } \bigl(\Psi (\theta )- \Psi ( \vartheta ) \bigr)^{\kappa -1}\omega ( \vartheta )\Psi ^{\prime }( \vartheta )f_{1}(\vartheta )f_{2}(\vartheta )\,d\vartheta . \end{aligned}$$

Multiplying the above inequality by \(\omega ^{-1}(\theta )\) and applying (2.9), we get

$$\begin{aligned} &g_{1}(\zeta )\hbar _{2}(\zeta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{ \kappa } (f_{1}\hbar _{1} ) (\theta )+g_{2}(\zeta ) \hbar _{2}( \zeta ) {}_{\omega }^{\Psi } \mathcal{R}_{0}^{\kappa } (f_{2}\hbar _{1} ) (\theta ) \\ &\quad \geq g_{1}(\zeta )g_{2}(\zeta ) {}_{\omega }^{\Psi } \mathcal{R}_{0}^{ \kappa } \bigl( \hbar _{1}^{2} \bigr) (\theta )+\hbar _{2}^{2}(\zeta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } (f_{1}f_{2} ) ( \theta ). \end{aligned}$$
(3.11)

Again, taking product (3.11) with \(\frac{\omega (\theta ) (\Psi (\theta )- \Psi (\zeta ) )^{\lambda -1}\omega (\zeta )\Psi ^{\prime }(\zeta )}{\Gamma (\lambda )}\) and integrating the resultant inequality with respect to ζ over \((0,\theta )\) and then applying (2.9), we get

$$\begin{aligned} & {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\lambda } ( g_{1}\hbar _{2} ) (\theta ) {}_{\omega }^{\Psi } \mathcal{R}_{0}^{\kappa } (f_{1} \hbar _{1} ) (\theta )+ {}_{\omega }^{\Psi } \mathcal{R}_{0}^{\lambda } (g_{2}\hbar _{2} ) (\theta ) {}_{\omega }^{\Psi } \mathcal{R}_{0}^{ \kappa } (f_{2}\hbar _{1} ) (\theta ) \\ &\quad \geq {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\lambda } (g_{1}g_{2} ) (\theta ) {}_{\omega }^{\Psi } \mathcal{R}_{0}^{\kappa } \bigl( \hbar _{1}^{2} \bigr) (\theta )+ {}_{\omega }^{\Psi }\mathcal{R}_{0}^{ \lambda } \bigl(\hbar _{2}^{2} \bigr) (\theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } (f_{1}f_{2} ) (\theta ). \end{aligned}$$

By using the AM-GM inequality, we get

$$\begin{aligned} & {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\lambda } ( g_{1}\hbar _{2} ) (\theta ) {}_{\omega }^{\Psi } \mathcal{R}_{0}^{\kappa } (f_{1} \hbar _{1} ) (\theta )+ {}_{\omega }^{\Psi } \mathcal{R}_{0}^{\lambda } (g_{2}\hbar _{2} ) (\theta ) {}_{\omega }^{\Psi } \mathcal{R}_{0}^{ \kappa } (f_{2}\hbar _{1} ) (\theta ) \\ &\quad \geq2 \sqrt{ {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\lambda } (g_{1}g_{2} ) (\theta ) {}_{\omega }^{\Psi } \mathcal{R}_{0}^{\kappa } \bigl( \hbar _{1}^{2} \bigr) (\theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{ \lambda } \bigl(\hbar _{2}^{2} \bigr) (\theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } (f_{1}f_{2} ) (\theta )}. \end{aligned}$$

It follows that

$$\begin{aligned} & {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\lambda } (g_{1}g_{2} ) ( \theta ) {}_{\omega }^{\Psi } \mathcal{R}_{0}^{\kappa } \bigl( \hbar _{1}^{2} \bigr) (\theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\lambda } \bigl( \hbar _{2}^{2} \bigr) (\theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{ \kappa } (f_{1}f_{2} ) (\theta ) \\ &\quad \leq\frac{1}{4} \bigl( {}_{\omega }^{\Psi } \mathcal{R}_{0}^{\lambda } ( g_{1}\hbar _{2} ) (\theta ) {}_{\omega }^{\Psi } \mathcal{R}_{0}^{ \kappa } (f_{1}\hbar _{1} ) (\theta )+ {}_{\omega }^{\Psi } \mathcal{R}_{0}^{\lambda } (g_{2}\hbar _{2} ) (\theta ) {}_{\omega }^{\Psi } \mathcal{R}_{0}^{\kappa } (f_{2}\hbar _{1} ) ( \theta ) \bigr)^{2}, \end{aligned}$$

which completes the desired assertion (3.8). □

Corollary 3.2

Let the functions \(\hbar _{1}\) and \(\hbar _{2}\) be positive and integrable on \([0,\infty )\) satisfying hypothesis \((H_{2})\) defined by (3.7), and assume that the function Ψ is increasing, positive, and monotone on \([0,\infty \mathclose{[}\) and having continuous derivative on \([0,\infty \mathclose{[}\) with \(\Psi (0)=0\). Then, for \(\kappa , \lambda >0\) and \(\theta >0\), the following weighted fractional integral inequality holds:

$$\begin{aligned} \frac{\omega ^{-2}(\theta ) ^{\Psi }\mathcal{R}_{0}^{\kappa } (\omega )(\theta ) ^{\Psi }\mathcal{R}_{0}^{\lambda } (\omega )(\theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } (\hbar _{1}^{2} )(\theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\lambda } (\hbar _{2}^{2} )(\theta ) }{ ( {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } (\hbar _{1} )(\theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\lambda } (\hbar _{2} )(\theta ) )^{2}} \leq \frac{1}{4} \biggl(\sqrt{ \frac{p_{1}q_{1}}{P_{1}Q_{1}}}+\sqrt{\frac{P_{1}Q_{1}}{p_{1}q_{1}}} \biggr)^{2}, \end{aligned}$$

where

$$\begin{aligned} ^{\Psi }\mathcal{R}_{0}^{\kappa }( \omega ) (\theta )&= \frac{1}{\Gamma (\kappa )} \int _{0}^{\theta } \bigl(\Psi (\theta )- \Psi ( \vartheta ) \bigr)^{\kappa -1}\Psi ^{\prime }(\vartheta )\omega ( \vartheta )\,d\vartheta . \end{aligned}$$
(3.12)

Lemma 3.3

Suppose that all the conditions of Lemma 3.1hold, and assume that the function Ψ is increasing, positive, and monotone on \([0,\infty \mathclose{[}\) and having continuous derivative on \([0,\infty \mathclose{[}\) with \(\Psi (0)=0\). Then, for \(\kappa , \lambda >0\) and \(\theta >0\), the following weighted fractional integral inequality holds:

$$\begin{aligned} {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } \bigl(\hbar _{1}^{2} \bigr) ( \theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\lambda } \bigl(\hbar _{2}^{2} \bigr) (\theta )\leq {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } \biggl( \frac{f_{2}\hbar _{1}\hbar _{2}}{g_{1}} \biggr) (\theta ) {}_{\omega }^{\Psi } \mathcal{R}_{0}^{\lambda } \biggl( \frac{g_{2}\hbar _{1}\hbar _{2}}{f_{1}} \biggr) (\theta ). \end{aligned}$$
(3.13)

Proof

From the hypothesis given by (3.1), we have

$$\begin{aligned} &\frac{\omega ^{-1}(\theta )}{\Gamma (\kappa )} \int _{0}^{\theta } \bigl(\Psi (\theta )- \Psi ( \vartheta ) \bigr)^{\kappa -1}\omega ( \vartheta )\Psi ^{\prime }( \vartheta )\hbar _{1}^{2}(\vartheta )\,d\vartheta \\ &\quad \leq\frac{\omega ^{-1}(\theta )}{\Gamma (\kappa )} \int _{0}^{\theta } \bigl(\Psi (\theta )- \Psi ( \vartheta ) \bigr)^{\kappa -1}\omega ( \vartheta )\Psi ^{\prime }( \vartheta ) \frac{f_{2}(\vartheta )}{g_{1}(\vartheta )}\hbar _{1}(\vartheta ) \hbar _{2}(\vartheta )\,d\vartheta , \end{aligned}$$

which in view of (2.9) yields

$$\begin{aligned} {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } \bigl(\hbar _{1}^{2} \bigr) ( \theta )\leq {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } \biggl( \frac{f_{2}\hbar _{1}\hbar _{2}}{g_{1}} \biggr) (\theta ) . \end{aligned}$$
(3.14)

Similarly, one can obtain

$$\begin{aligned} {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\lambda } \bigl(\hbar _{2}^{2} \bigr) ( \theta )\leq {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\lambda } \biggl( \frac{g_{2}\hbar _{1}\hbar _{2}}{f_{1}} \biggr) (\theta ) . \end{aligned}$$
(3.15)

Hence, the product of (3.14) and (3.15) gives the desired assertion (3.13). □

Corollary 3.3

Let the functions \(\hbar _{1}\) and \(\hbar _{2}\) be positive and integrable on \([0,\infty )\) satisfying hypothesis \((H_{2})\) defined by (3.7), and assume that the function Ψ is increasing, positive, and monotone on \([0,\infty \mathclose{[}\) and its derivative \(\Psi ^{\prime }\) is continuous on \([0,\infty \mathclose{[}\) with \(\Psi (0)=0\). Then, for \(\kappa , \lambda >0\) and \(\theta >0\), the following weighted fractional integral inequality holds:

$$\begin{aligned} \frac{ {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } (\hbar _{1}^{2} )(\theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\lambda } (\hbar _{2}^{2} )(\theta )}{ {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } (\hbar _{1}\hbar _{2} )(\theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\lambda } (\hbar _{1}\hbar _{2} )(\theta )}\leq \frac{P_{1}Q_{1}}{p_{1}q_{1}}. \end{aligned}$$

4 Chebyshev type weighted fractional integral inequalities

In this section, we present Chebyshev type weighted fractional integral inequalities by using the Pólya–Szegö integral inequality given by Lemma 3.1 by employing weighted fractional integral (2.9).

Theorem 4.1

Let the functions \(\hbar _{1}\) and \(\hbar _{2}\) be positive and integrable on \([0,\infty )\), and assume that the function Ψ is increasing, positive, and monotone on \([0,\infty \mathclose{[}\) and \(\Psi ^{\prime }\) is continuous on \([0,\infty \mathclose{[}\) with \(\Psi (0)=0\). Suppose that \(f_{1}\), \(f_{2}\), \(g_{1}\), and \(f_{2}\) are four positive and integrable functions on \([0,\infty )\) satisfying hypothesis \((H_{1})\) defined by (3.1). Then, for \(\kappa , \lambda >0\) and \(\theta >0\), the following weighted fractional integral inequality holds:

$$\begin{aligned} & \bigl\vert \omega ^{-1}(\theta ) ^{\Psi }\mathcal{R}_{0}^{\kappa }(\omega ) ( \theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } (\hbar _{1} \hbar _{2} ) (\theta )+ \omega ^{-1}(\theta ) ^{\Psi }\mathcal{R}_{0}^{ \lambda }( \omega ) (\theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\lambda } (\hbar _{1}\hbar _{2} ) (\theta ) \\ &\qquad {}- {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } (\hbar _{1} ) ( \theta ) {}_{\omega }^{\Psi } \mathcal{R}_{0}^{\lambda } (\hbar _{2} ) (\theta )- {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } ( \hbar _{2} ) (\theta ) {}_{\omega }^{\Psi } \mathcal{R}_{0}^{\lambda } (\hbar _{1} ) (\theta ) \bigr\vert \\ &\quad \leq \bigl\vert F_{1} (\hbar _{1},f_{1},f_{2} ) (\theta )+F_{2} (\hbar _{1},f_{1},f_{2} ) (\theta ) \bigr\vert ^{\frac{1}{2}} \\ &\qquad {} \times \bigl\vert F_{1} (\hbar _{2},g_{1},g_{2} ) (\theta )+F_{2} (\hbar _{1},g_{1},g_{2} ) (\theta ) \bigr\vert ^{\frac{1}{2}}, \end{aligned}$$
(4.1)

where

$$\begin{aligned} F_{1} (\hbar _{1},f_{1},f_{2} ) (\theta )= \frac{\omega ^{-1}(\theta ) ^{\Psi }\mathcal{R}_{0}^{\lambda }(\omega )(\theta ) ( {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } \{ (f_{1}+f_{2} )\hbar _{1} \} )^{2}}{4 {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } (f_{1}f_{2} )(\theta )} - {}_{\omega }^{\Psi } \mathcal{R}_{0}^{ \kappa } (\hbar _{1} ) (\theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{ \lambda } (\hbar _{1} ) (\theta ) \end{aligned}$$

and

$$\begin{aligned} F_{2} (\hbar _{1},f_{1},f_{2} ) (\theta )= \frac{\omega ^{-1}(\theta ) ^{\Psi }\mathcal{R}_{0}^{\kappa }(\omega )(\theta ) ( {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\lambda } \{ (f_{1}+f_{2} )\hbar _{1} \} )^{2}}{4 {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\lambda } (f_{1}f_{2} )(\theta )} - {}_{\omega }^{\Psi } \mathcal{R}_{0}^{\kappa } (\hbar _{1} ) ( \theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\lambda } (\hbar _{1} ) (\theta ). \end{aligned}$$

Proof

By the given hypothesis both the functions \(\hbar _{1}\) and \(\hbar _{2}\) are positive and integrable functions on \([0,\infty )\). Therefore, for \(\vartheta , \zeta \in (0,\theta )\) with \(\theta >0\), we define \(\mathcal{A}(\vartheta ,\zeta )\) by

$$\begin{aligned} \mathcal{A}(\vartheta ,\zeta )&= \bigl(\hbar _{1}( \vartheta )-\hbar _{1}( \zeta ) \bigr) \bigl(\hbar _{2}( \vartheta )-\hbar _{2}(\zeta ) \bigr) \\ &=\hbar _{1}(\vartheta )\hbar _{2}(\vartheta )+\hbar _{1}(\zeta ) \hbar _{2}(\zeta )-\hbar _{1}( \vartheta )\hbar _{2}(\zeta )-\hbar _{1}( \zeta )\hbar _{2}(\vartheta ). \end{aligned}$$
(4.2)

Multiplying (4.2) by \(\frac{\omega ^{-2}(\theta )}{\Gamma (\kappa )\Gamma (\lambda )} (\Psi (\theta )-\Psi (\vartheta ) )^{\kappa -1} ( \Psi (\theta )-\Psi (\zeta ) )^{\lambda -1}\omega (\vartheta ) \omega (\zeta )\Psi ^{\prime }(\vartheta )\Psi ^{\prime }(\zeta )\) and double integrating the resultant identity with respect to ϑ and ζ over \((0,\theta )\), and then using (2.9), we obtain

$$\begin{aligned} &\frac{\omega ^{-2}(\theta )}{\Gamma (\kappa )\Gamma (\lambda )} \int _{0}^{\theta } \int _{0}^{\theta } \bigl(\Psi (\theta )-\Psi ( \vartheta ) \bigr)^{\kappa -1} \bigl(\Psi (\theta )-\Psi (\zeta ) \bigr)^{ \lambda -1} \\ &\qquad {}\times \omega (\vartheta )\omega (\zeta )\Psi ^{\prime }( \vartheta )\Psi ^{\prime }(\zeta )\mathcal{A}(\vartheta ,\zeta )\,d\vartheta \,d\zeta \\ &\quad =\omega ^{-1}(\theta ) ^{\Psi }\mathcal{R}_{0}^{\kappa }( \omega ) ( \theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } (\hbar _{1} \hbar _{2} ) (\theta )+ \omega ^{-1}(\theta ) ^{\Psi }\mathcal{R}_{0}^{ \lambda }( \omega ) (\theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } (\hbar _{1}\hbar _{2} ) (\theta ) \\ &\qquad {}- {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } (\hbar _{1} ) ( \theta ) {}_{\omega }^{\Psi } \mathcal{R}_{0}^{\lambda } (\hbar _{2} ) (\theta )- {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\lambda } ( \hbar _{1} ) (\theta ) {}_{\omega }^{\Psi } \mathcal{R}_{0}^{\kappa } (\hbar _{2} ) (\theta ). \end{aligned}$$
(4.3)

By applying the Cauchy–Schwarz inequality for double integrals, we have

$$\begin{aligned} & \biggl\vert \frac{\omega ^{-2}(\theta )}{\Gamma (\kappa )\Gamma (\lambda )} \int _{0}^{\theta } \int _{0}^{\theta } \bigl(\Psi (\theta )-\Psi ( \vartheta ) \bigr)^{\kappa -1} \bigl(\Psi (\theta )-\Psi (\zeta ) \bigr)^{ \lambda -1} \omega (\vartheta )\omega (\zeta ) \\ &\qquad {}\times \Psi ^{\prime }( \vartheta )\Psi ^{\prime }(\zeta )\mathcal{A}(\vartheta ,\zeta )\,d\vartheta \,d\zeta \biggr\vert \\ &\quad \leq \biggl[ \frac{\omega ^{-2}(\theta )}{\Gamma (\kappa )\Gamma (\lambda )} \int _{0}^{\theta } \int _{0}^{\theta } \bigl(\Psi (\theta )-\Psi ( \vartheta ) \bigr)^{\kappa -1} \bigl(\Psi (\theta )-\Psi (\zeta ) \bigr)^{ \lambda -1}\omega (\vartheta )\omega (\zeta ) \\ &\qquad {}\times \Psi ^{\prime }( \vartheta ) \Psi ^{\prime }(\zeta ) \hbar _{1}^{2}( \vartheta )\,d\vartheta \,d\zeta \\ &\qquad {}+\frac{\omega ^{-2}(\theta )}{\Gamma (\kappa )\Gamma (\lambda )} \int _{0}^{\theta } \int _{0}^{\theta } \bigl(\Psi (\theta )-\Psi ( \vartheta ) \bigr)^{\kappa -1} \bigl(\Psi (\theta )-\Psi (\zeta ) \bigr)^{\lambda -1}\omega (\vartheta )\omega (\zeta ) \\ &\qquad {}\times \Psi ^{\prime }( \vartheta )\Psi ^{\prime }(\zeta )\hbar _{1}^{2}( \zeta )\,d\vartheta d \zeta \\ &\qquad {}-2\frac{\omega ^{-2}(\theta )}{\Gamma (\kappa )\Gamma (\lambda )} \int _{0}^{\theta } \int _{0}^{\theta } \bigl(\Psi (\theta )-\Psi ( \vartheta ) \bigr)^{\kappa -1} \bigl(\Psi (\theta )-\Psi (\zeta ) \bigr)^{\lambda -1}\omega (\vartheta )\omega (\zeta ) \\ &\qquad {}\times \Psi ^{\prime }( \vartheta )\Psi ^{\prime }(\zeta )\hbar _{1}(\vartheta )\hbar _{1}( \zeta )\,d\vartheta \,d\zeta \biggr]^{\frac{1}{2}} \\ &\qquad {}\times \biggl[ \frac{\omega ^{-2}(\theta )}{\Gamma (\kappa )\Gamma (\lambda )} \int _{0}^{\theta } \int _{0}^{\theta } \bigl(\Psi (\theta )-\Psi ( \vartheta ) \bigr)^{\kappa -1} \bigl(\Psi (\theta )-\Psi (\zeta ) \bigr)^{ \lambda -1}\omega (\vartheta )\omega (\zeta ) \\ &\qquad {}\times \Psi ^{\prime }( \vartheta ) \Psi ^{\prime }(\zeta ) \hbar _{2}^{2}( \vartheta )\,d\vartheta \,d\zeta \\ &\qquad {}+\frac{\omega ^{-2}(\theta )}{\Gamma (\kappa )\Gamma (\lambda )} \int _{0}^{\theta } \int _{0}^{\theta } \bigl(\Psi (\theta )-\Psi ( \vartheta ) \bigr)^{\kappa -1} \bigl(\Psi (\theta )-\Psi (\zeta ) \bigr)^{\lambda -1}\omega (\vartheta )\omega (\zeta ) \\ &\qquad {}\times \Psi ^{\prime }( \vartheta )\Psi ^{\prime }(\zeta )\hbar _{2}^{2}( \zeta )\,d\vartheta d \zeta \\ &\qquad {}-2\frac{\omega ^{-2}(\theta )}{\Gamma (\kappa )\Gamma (\lambda )} \int _{0}^{\theta } \int _{0}^{\theta } \bigl(\Psi (\theta )-\Psi ( \vartheta ) \bigr)^{\kappa -1} \bigl(\Psi (\theta )-\Psi (\zeta ) \bigr)^{\lambda -1}\omega (\vartheta )\omega (\zeta ) \\ &\qquad {}\times \Psi ^{\prime }( \vartheta )\Psi ^{\prime }(\zeta )\hbar _{2}(\vartheta )\hbar _{2}( \zeta )\,d\vartheta \,d\zeta \biggr]^{\frac{1}{2}}. \end{aligned}$$

In view of (2.9) and (3.12), we get

$$\begin{aligned} & \biggl\vert \frac{\omega ^{-2}(\theta )}{\Gamma (\kappa )\Gamma (\lambda )} \int _{0}^{\theta } \int _{0}^{\theta } \bigl(\Psi (\theta )-\Psi ( \vartheta ) \bigr)^{\kappa -1} \bigl(\Psi (\theta )-\Psi (\zeta ) \bigr)^{ \lambda -1}\omega (\vartheta )\omega (\zeta ) \\ &\qquad {}\times \Psi ^{\prime }( \vartheta ) \Psi ^{\prime }(\zeta ) \mathcal{A}(\vartheta ,\zeta )\,d\vartheta \,d \zeta \biggr\vert \\ &\quad \leq \bigl[\omega ^{-1}(\theta ) ^{\Psi } \mathcal{R}_{0}^{\kappa }( \omega ) (\theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\lambda } \bigl( \hbar _{1}^{2} \bigr) (\theta )+ \omega ^{-1}(\theta ) ^{\Psi }\mathcal{R}_{0}^{\lambda }( \omega ) (\theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } \bigl(\hbar _{1}^{2} \bigr) (\theta ) \\ &\qquad {} -2 {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } (\hbar _{1} ) ( \theta ) {}_{\omega }^{\Psi } \mathcal{R}_{0}^{\lambda } (\hbar _{1} ) (\theta ) \bigr]^{\frac{1}{2}} \\ &\qquad {}\times \bigl[\omega ^{-1}(\theta ) ^{\Psi } \mathcal{R}_{0}^{\kappa }( \omega ) (\theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\lambda } \bigl( \hbar _{2}^{2} \bigr) (\theta )+ \omega ^{-1}(\theta ) ^{\Psi }\mathcal{R}_{0}^{\lambda }( \omega ) (\theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } \bigl(\hbar _{2}^{2} \bigr) (\theta ) \\ &\qquad {}-2 {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } (\hbar _{2} ) ( \theta ) {}_{\omega }^{\Psi } \mathcal{R}_{0}^{\lambda } (\hbar _{2} ) (\theta ) \bigr]^{\frac{1}{2}}. \end{aligned}$$
(4.4)

By applying Lemma 3.1 for \(g_{1}(\theta )=g_{2}(\theta )=\hbar _{2}(\theta )=1\), we get

$$\begin{aligned} \omega ^{-1}(\theta ) ^{\Psi }\mathcal{R}_{0}^{\lambda }( \omega ) ( \theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } \bigl(\hbar _{1}^{2} \bigr) (\theta ) \leq \frac{\omega ^{-1}(\theta ) ^{\Psi }\mathcal{R}_{0}^{\lambda }(\omega )(\theta ) ( {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } \{ (f_{1}+f_{2} )\hbar _{1} \} )^{2}}{4 {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } (f_{1}f_{2} )(\theta )}. \end{aligned}$$

It follows that

$$\begin{aligned} &\omega ^{-1}(\theta ) ^{\Psi } \mathcal{R}_{0}^{\lambda }(\omega ) ( \theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } \bigl(\hbar _{1}^{2} \bigr) (\theta )- {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } ( \hbar _{1} ) (\theta ) {}_{\omega }^{\Psi } \mathcal{R}_{0}^{\lambda } (\hbar _{1} ) (\theta ) \\ &\quad \leq \frac{\omega ^{-1}(\theta ) ^{\Psi }\mathcal{R}_{0}^{\lambda }(\omega )(\theta )}{4} \frac{ ( {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } \{ (f_{1}+f_{2} )\hbar _{1} \} )^{2}}{ {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } (f_{1}f_{2} )(\theta )}- {}_{\omega }^{\Psi } \mathcal{R}_{0}^{\kappa } (\hbar _{1} ) ( \theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\lambda } (\hbar _{1} ) (\theta ) \\ &\quad =F_{1} (\hbar _{1},f_{1},f_{2} ) (\theta ). \end{aligned}$$
(4.5)

Similarly, one can get

$$\begin{aligned} &\omega ^{-1}(\theta ) ^{\Psi } \mathcal{R}_{0}^{\kappa }(\omega ) ( \theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\lambda } \bigl(\hbar _{1}^{2} \bigr) (\theta )- {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } ( \hbar _{1} ) (\theta ) {}_{\omega }^{\Psi } \mathcal{R}_{0}^{\lambda } (\hbar _{1} ) (\theta ) \\ &\quad \leq \frac{\omega ^{-1}(\theta ) ^{\Psi }\mathcal{R}_{0}^{\kappa }(\omega )(\theta )}{4} \frac{ ( {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } \{ (f_{1}+f_{2} )\hbar _{1} \} )^{2}}{ {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\lambda } (f_{1}f_{2} )(\theta )}- {}_{\omega }^{\Psi } \mathcal{R}_{0}^{\kappa } (\hbar _{1} ) ( \theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\lambda } (\hbar _{1} ) (\theta ) \\ &\quad =F_{2} (\hbar _{1},f_{1},f_{2} ) (\theta ). \end{aligned}$$
(4.6)

Again applying Lemma 3.1 for \(f_{1}(\theta )=f_{2}(\theta )=\hbar _{1}(\theta )=1\), we get

$$\begin{aligned} &\omega ^{-1}(\theta ) ^{\Psi } \mathcal{R}_{0}^{\lambda }(\omega ) ( \theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } \bigl(\hbar _{2}^{2} \bigr) (\theta )- {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } ( \hbar _{2} ) (\theta ) {}_{\omega }^{\Psi } \mathcal{R}_{0}^{\lambda } (\hbar _{2} ) (\theta ) \\ &\quad \leq \frac{\omega ^{-1}(\theta ) ^{\Psi }\mathcal{R}_{0}^{\lambda }(\omega )(\theta )}{4} \frac{ ( {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } \{ (g_{1}+g_{2} )\hbar _{2} \} )^{2}}{ {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } (g_{1}g_{2} )(\theta )}- {}_{\omega }^{\Psi } \mathcal{R}_{0}^{\kappa } (\hbar _{2} ) ( \theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\lambda } (\hbar _{2} ) (\theta ) \\ &\quad =F_{1} (\hbar _{2},f_{1},f_{2} ) (\theta ) \end{aligned}$$
(4.7)

and

$$\begin{aligned} &\omega ^{-1}(\theta ) ^{\Psi } \mathcal{R}_{0}^{\kappa }(\omega ) ( \theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\lambda } \bigl(\hbar _{2}^{2} \bigr) (\theta )- {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } ( \hbar _{2} ) (\theta ) {}_{\omega }^{\Psi } \mathcal{R}_{0}^{\lambda } (\hbar _{2} ) (\theta ) \\ &\quad \leq \frac{\omega ^{-1}(\theta ) ^{\Psi }\mathcal{R}_{0}^{\kappa }(\omega ) (\theta )}{4} \frac{ ( {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } \{ (g_{1}+g_{2} )\hbar _{2} \} )^{2}}{ {}_{\omega }^{\Psi } \mathcal{R}_{0}^{\lambda } (g_{1}g_{2} )(\theta )} \\ &\qquad {}- {}_{\omega }^{\Psi } \mathcal{R}_{0}^{\kappa } (\hbar _{2} ) ( \theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\lambda } (\hbar _{2} ) (\theta ) \\ &\quad =F_{2} (\hbar _{2},f_{1},f_{2} ) (\theta ). \end{aligned}$$
(4.8)

Thus, by considering (4.3) to (4.8), we arrive at the desired assertion (4.1) of Theorem 4.1. □

Theorem 4.2

Suppose that all the conditions of Theorem 4.1are satisfied. Then, for \(\kappa >0\) and \(\theta >0\), the following weighted fractional integral inequality holds:

$$\begin{aligned} & \bigl\vert \omega ^{-1}(\theta ) ^{\Psi }\mathcal{R}_{0}^{\kappa }(\omega ) ( \theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } (\hbar _{1} \hbar _{2} ) (\theta ) - {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } (\hbar _{1} ) (\theta ) {}_{\omega }^{\Psi } \mathcal{R}_{0}^{ \kappa } (\hbar _{2} ) (\theta ) \bigr\vert \\ &\quad \leq \bigl\vert F (\hbar _{1},f_{1},f_{2} ) (\theta )F ( \hbar _{2},g_{1},g_{2} ) ( \theta ) \bigr\vert ^{\frac{1}{2}}, \end{aligned}$$
(4.9)

where

$$\begin{aligned} F (\hbar _{1},f_{1},f_{2} ) (\theta )= \frac{\omega ^{-1}(\theta ) ^{\Psi }\mathcal{R}_{0}^{\kappa }(\omega )(\theta )}{4} \frac{ ( {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } \{ (f_{1}+f_{2} )\hbar _{1} \} )^{2}}{ {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } (f_{1}f_{2} )(\theta )} - \bigl( {}_{\omega }^{\Psi } \mathcal{R}_{0}^{\kappa } (\hbar _{1} ) (\theta ) \bigr)^{2}. \end{aligned}$$

Proof

Applying Theorem 4.1 for \(\kappa =\lambda \), we get the desired assertion (4.9) of Theorem 4.2. □

Remark 4.1

If we take \(f_{1}=p_{1}\), \(f_{2}=P_{1}\), \(g_{1}=q_{1}\), and \(g_{2}=Q_{1}\), then we have

$$\begin{aligned} F (\hbar _{1},p_{1}, P_{1} ) (\theta )= \frac{ (P_{1}-p_{1} )^{2}}{4P_{1}p_{1}} \bigl( ^{\Psi }\mathcal{R}_{0}^{\kappa ,\tau } (\hbar _{1} ) (\theta ) \bigr)^{2} \end{aligned}$$

and

$$\begin{aligned} F (\hbar _{2},q_{1}, Q_{1} ) (\theta )= \frac{ (Q_{1}-q_{1} )^{2}}{4Q_{1}q_{1}} \bigl( ^{\Psi }\mathcal{R}_{0}^{\kappa ,\tau } (\hbar _{2} ) (\theta ) \bigr)^{2}. \end{aligned}$$

Corollary 4.1

Let the functions \(\hbar _{1}\) and \(\hbar _{2}\) be positive and integrable on \([0,\infty )\) and satisfy hypothesis \((H_{2})\) given by (3.7). Then, for \(\kappa >0\) and \(\theta >0\), the following tempered fractional integral inequality holds:

$$\begin{aligned} & \bigl\vert \omega ^{-1}(\theta ) ^{\Psi } \mathcal{R}_{0}^{\kappa }(\omega ) ( \theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } (\hbar _{1} \hbar _{2} ) (\theta ) - {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } (\hbar _{1} ) (\theta ) {}_{\omega }^{\Psi } \mathcal{R}_{0}^{ \kappa } (\hbar _{2} ) (\theta ) \bigr\vert \\ &\quad \leq \frac{ (P_{1}-p_{1} ) (Q_{1}-q_{1} )}{4\sqrt{p_{1}P_{1}q_{1}Q_{1}}} {}_{\omega }^{\Psi } \mathcal{R}_{0}^{\kappa } (\hbar _{1} ) ( \theta ) {}_{\omega }^{\Psi }\mathcal{R}_{0}^{\kappa } (\hbar _{2} ) (\theta ). \end{aligned}$$

5 Special cases

The following new Pólya–Szegö and Chebyshev type inequalities for one-sided weighted Riemann–Liouville fractional integral (2.5) can be easily derived.

Lemma 5.1

Let the functions \(\hbar _{1}\) and \(\hbar _{2}\) be positive and integrable on \([0,\infty )\). Suppose that \(f_{1}\), \(f_{2}\), \(g_{1}\), and \(f_{2}\) are four positive and integrable functions on \([0,\infty )\) satisfying hypothesis \((H_{1})\) defined by (3.1). Then, for \(\kappa >0\) and \(\theta >0\), the following weighted fractional integral inequality holds:

$$\begin{aligned} \frac{ _{\omega }\mathcal{R}_{0}^{\kappa } (g_{1}g_{2}\hbar _{1}^{2} )(\theta ) _{\omega }\mathcal{R}_{0}^{\kappa } (f_{1}f_{2} \hbar _{2}^{2} )(\theta )}{ ({}_{\omega }\mathcal{R}_{0}^{\kappa } \{ (f_{1}g_{1}+f_{2}g_{2} )\hbar _{1}\hbar _{2} \} (\theta ) )^{2}} \leq \frac{1}{4}. \end{aligned}$$

Proof

Applying Lemma 3.1 for \(\Psi (\theta )=\theta \), we get Lemma 5.1. □

Lemma 5.2

Let all the conditions of Lemma 5.1be satisfied. Then, for \(\kappa , \lambda >0\) and \(\theta >0\), the following weighted fractional integral inequality holds:

$$\begin{aligned} \frac{ _{\omega }\mathcal{R}_{0}^{\kappa } (\hbar _{1}^{2} )(\theta ) _{\omega }\mathcal{R}_{0}^{\lambda } (\hbar _{2}^{2} )(\theta ) _{\omega }\mathcal{R}_{0}^{\kappa } (f_{1}f_{2} )(\theta ) _{\omega }\mathcal{R}_{0}^{\lambda } (g_{1}g_{2} )(\theta ) }{ ({}_{\omega }\mathcal{R}_{0}^{\kappa } (f_{1}\hbar _{1} )(\theta ) _{\omega }\mathcal{R}_{0}^{\lambda } (g_{1}\hbar _{2} )(\theta ) + _{\omega }\mathcal{R}_{0}^{\kappa } (f_{2}\hbar _{1} )(\theta ) _{\omega }\mathcal{R}_{0}^{\lambda } (g_{2}\hbar _{2} )(\theta ) )^{2}} \leq \frac{1}{4}. \end{aligned}$$

Proof

Applying Lemma 3.2 for \(\Psi (\theta )=\theta \), we get Lemma 5.2. □

Similarly, one can derive the special case of Lemma 3.3. The following theorem represents the special case of Theorem 4.1 in terms of weighted classical fractional integral.

Theorem 5.1

Let the functions \(\hbar _{1}\) and \(\hbar _{2}\) be positive and integrable on \([0,\infty )\). Suppose that \(f_{1}\), \(f_{2}\), \(g_{1}\), and \(f_{2}\) are four positive and integrable functions on \([0,\infty )\) satisfying hypothesis \((H_{1})\) defined by (3.1). Then, for \(\kappa , \lambda >0\) and \(\theta >0\), the following weighted fractional integral inequality holds:

$$\begin{aligned} & \bigl\vert \omega ^{-1}(\theta )\mathcal{R}_{0}^{\kappa }( \omega ) (\theta ) _{\omega }\mathcal{R}_{0}^{\kappa } (\hbar _{1}\hbar _{2} ) ( \theta )+ \omega ^{-1}(\theta )\mathcal{R}_{0}^{\lambda }(\omega ) ( \theta ) _{\omega }\mathcal{R}_{0}^{\lambda } (\hbar _{1}\hbar _{2} ) (\theta ) \\ &\qquad {}-{} _{\omega }\mathcal{R}_{0}^{\kappa } (\hbar _{1} ) (\theta ) _{\omega }\mathcal{R}_{0}^{\lambda } (\hbar _{2} ) (\theta )- _{\omega }\mathcal{R}_{0}^{\kappa } (\hbar _{2} ) (\theta ) _{\omega }\mathcal{R}_{0}^{\lambda } (\hbar _{1} ) (\theta ) \bigr\vert \\ &\quad \leq \bigl\vert F_{1} (\hbar _{1},f_{1},f_{2} ) (\theta )+F_{2} (\hbar _{1},f_{1},f_{2} ) (\theta ) \bigr\vert ^{\frac{1}{2}} \times \bigl\vert F_{1} (\hbar _{2},g_{1},g_{2} ) (\theta )+F_{2} (\hbar _{1},g_{1},g_{2} ) (\theta ) \bigr\vert ^{\frac{1}{2}}, \end{aligned}$$

where

$$\begin{aligned} F_{1} (\hbar _{1},f_{1},f_{2} ) (\theta )= \frac{\omega ^{-1}(\theta )\mathcal{R}_{0}^{\lambda }(\omega )(\theta )}{4} \frac{ ({}_{\omega }\mathcal{R}_{0}^{\kappa } \{ (f_{1}+f_{2} )\hbar _{1} \} )^{2}}{ _{\omega }\mathcal{R}_{0}^{\kappa } (f_{1}f_{2} )(\theta )} - _{\omega } \mathcal{R}_{0}^{\kappa } (\hbar _{1} ) (\theta ) _{\omega }\mathcal{R}_{0}^{\lambda } (\hbar _{1} ) (\theta ) \end{aligned}$$

and

$$\begin{aligned} F_{2} (\hbar _{1},f_{1},f_{2} ) (\theta )= \frac{\omega ^{-1}(\theta )\mathcal{R}_{0}^{\kappa }(\omega )(\theta )}{4} \frac{ ({}_{\omega }\mathcal{R}_{0}^{\lambda } \{ (f_{1}+f_{2} )\hbar _{1} \} )^{2}}{ _{\omega }\mathcal{R}_{0}^{\lambda } (f_{1}f_{2} )(\theta )} - _{\omega } \mathcal{R}_{0}^{\kappa } (\hbar _{1} ) (\theta ) _{\omega }\mathcal{R}_{0}^{\lambda } (\hbar _{1} ) (\theta ). \end{aligned}$$

Proof

By employing Theorem 4.1 for \(\Psi (\theta )=\theta \), we get the desired Theorem 5.1. □

By applying different choices given in Remark 2.1, some new inequalities can be obtained easily. Also, we can derive the particular cases of the main result by employing Remark 2.2.

6 Applications

Here, we define a way for constructing four bounded functions and then utilize them to present certain estimates of Chebyshev type weighted fractional integral inequalities of two unknown functions.

Suppose that \(\hbar (\theta )\) is the unit function defined by

$$\begin{aligned} \hbar (\theta )=\textstyle\begin{cases} 1, & \theta >0, \\ 0, & \theta \leq 0, \end{cases}\displaystyle \end{aligned}$$

and let \(\hbar _{a}(\theta )\) be the Heaviside unit step function defined by

$$\begin{aligned} \hbar _{a}(\theta )=\textstyle\begin{cases} 1, & \theta > a, \\ 0, & \theta \leq a. \end{cases}\displaystyle \end{aligned}$$

Suppose that the function \(f_{1}\) is a piecewise continuous function on \([0,X]\) defined by

$$\begin{aligned} f_{1}(x) &=p_{1_{1}} \bigl(\hbar _{0}(x)-\hbar _{x_{1}}(x) \bigr)+p_{1_{2}} \bigl( \hbar _{x_{1}}(x)-\hbar _{x_{2}}(x) \bigr)+\cdots + p_{1_{m+1}} \hbar _{x_{m}}(x) \\ &=p_{1_{1}}\hbar _{0}(x)+(p_{1_{2}}-p_{1_{1}}) \hbar _{x_{1}}(x)+(p_{1_{3}}-p_{1_{2}}) \hbar _{x_{2}}(x)+\cdots +(p_{1_{m+1}}-p_{1_{m}})\hbar _{x_{m}}(x) \\ &=\sum_{i=0}^{m}(p_{1_{i+1}}-p_{1_{i}}) \hbar _{x_{i}}(x), \end{aligned}$$
(6.1)

where \(p_{1_{0}}=0\) and \(0=x_{0}< x_{1}< x_{2}<\cdots <x_{p}<x_{p+1}=X\). Similarly, we define

$$\begin{aligned}& f_{2}(x) =\sum_{i=0}^{m}(P_{1_{i+1}}-P_{1_{i}}) \hbar _{x_{i}}(x), \end{aligned}$$
(6.2)
$$\begin{aligned}& g_{1}(x) =\sum_{i=0}^{m}(q_{1_{i+1}}-q_{1_{i}}) \hbar _{x_{i}}(x) , \end{aligned}$$
(6.3)

and

$$\begin{aligned} g_{2}(x) =\sum_{i=0}^{m}(Q_{1_{i+1}}-Q_{1_{i}}) \hbar _{x_{i}}(x), \end{aligned}$$
(6.4)

where \(q_{1_{0}}=Q_{1_{0}}=P_{1_{0}}=0\). If there exists an integrable function \(\hbar _{1}\) on \([0,X]\) satisfying hypothesis \((H_{1})\), then we have \(p_{1_{i+1}}\leq \hbar _{1}(x)\leq P_{1_{i+1}}\) for each \(x\in (x_{i}, x_{i+1}]\), \(i=0,1,2,\ldots ,m\).

Proposition 6.1

Let the functions \(\hbar _{1}\) and \(\hbar _{2}\) be positive and integrable on \([0,X]\). Assume that the functions \(f_{1}\), \(f_{2}\), \(g_{1}\), and \(g_{2}\) are defined by (6.1), (6.2), (6.3), and (6.4) respectively and satisfy hypothesis \((H_{1})\) defined by (3.7). Then, for \(\kappa >0\), the following inequality for weighted fractional integral holds:

$$\begin{aligned} & \Biggl(\sum_{i=0}^{m}q_{1_{i+1}}Q_{1_{i+1}} {} {}_{\omega }^{\Psi }\mathcal{R}_{x_{i},x_{i+1}}^{\kappa } \bigl(\hbar _{1}^{2} \bigr) (X) \Biggr)^{2} \Biggl(\sum_{i=0}^{m}p_{1_{i+1}}P_{1_{i+1}} {} {}_{\omega }^{\Psi }\mathcal{R}_{x_{i},x_{i+1}}^{\kappa } \bigl(\hbar _{2}^{2} \bigr) (X) \Biggr)^{2} \\ &\quad \leq\frac{1}{4}\sum_{i=0}^{p} (q_{1_{i+1}}Q_{1_{i+1}}+p_{1_{i+1}}P_{1_{i+1}} ) {} {}_{\omega }^{\Psi }\mathcal{R}_{x_{i},x_{i+1}}^{\kappa } ( \hbar _{1}\hbar _{2} ) (X). \end{aligned}$$
(6.5)

Proof

By applying Definition (2.10), we have

$$\begin{aligned}& {} {}_{\omega }^{\Psi }\mathcal{R}_{0,X}^{\kappa } \bigl(g_{1}g_{2}\hbar _{1}^{2} \bigr) (X)= \sum_{i=0}^{m}q_{1_{i+1}}Q_{1_{i+1}} {} {}_{\omega }^{\Psi }\mathcal{R}_{x_{i},x_{i+1}}^{\kappa } \bigl(\hbar _{1}^{2} \bigr) (X), \\& {} {}_{\omega }^{\Psi }\mathcal{R}_{0,X}^{\kappa } \bigl(f_{1}f_{2}\hbar _{2}^{2} \bigr) (X)=\sum_{i=0}^{m}p_{1_{i+1}}P_{1_{i+1}} {}_{\omega }^{\Psi }\mathcal{R}_{x_{i},x_{i+1}}^{\kappa } \bigl(\hbar _{2}^{2} \bigr) (X), \end{aligned}$$

and

$$\begin{aligned} {}_{\omega }^{\Psi }\mathcal{R}_{0,X}^{\kappa } \bigl\{ (f_{1}g_{1}+f_{2}g_{2} )\hbar _{1}\hbar _{2} \bigr\} (X)= \sum _{i=0}^{m} (p_{1_{i+1}}q_{1_{i+1}}+ P_{1_{i+1}}Q_{1_{i+1}} ) {}_{\omega }^{\Psi } \mathcal{R}_{x_{i},x_{i+1}}^{ \kappa } (\hbar _{1}\hbar _{2} ) (X). \end{aligned}$$

Hence, by applying Lemma 3.1, we get the desired assertion (6.5). □

Proposition 6.2

Applying Proposition 6.1for \(\Psi (\theta )=\theta \), we get the following result in terms of weighted R-L fractional integral:

$$\begin{aligned} & \Biggl(\sum_{i=0}^{m}q_{1_{i+1}}Q_{1_{i+1}} {}_{\omega }\mathcal{R}_{x_{i},x_{i+1}}^{ \kappa } \bigl(\hbar _{1}^{2} \bigr) (X) \Biggr)^{2} \Biggl(\sum _{i=0}^{m}p_{1_{i+1}}P_{1_{i+1}} {}_{\omega }\mathcal{R}_{x_{i},x_{i+1}}^{\kappa } \bigl(\hbar _{2}^{2} \bigr) (X) \Biggr)^{2} \\ &\quad \leq\frac{1}{4}\sum_{i=0}^{m} (q_{1_{i+1}}Q_{1_{i+1}}+p_{1_{i+1}}P_{1_{i+1}} ) _{\omega }\mathcal{R}_{x_{i},x_{i+1}}^{\kappa } (\hbar _{1} \hbar _{2} ) (X). \end{aligned}$$

Proposition 6.3

Let the functions \(\hbar _{1}\) and \(\hbar _{2}\) be positive and integrable on \([0,X]\). Assume that the functions \(f_{1}\), \(f_{2}\), \(g_{1}\), and \(g_{2}\) are defined by (6.1), (6.2), (6.3), and (6.4) respectively and satisfy hypothesis \((H_{1})\) defined by (3.7). Then, for \(\kappa >0\), the following inequality for generalized fractional integral holds:

$$\begin{aligned} & \Biggl(\sum_{i=0}^{m}q_{1_{i+1}}Q_{1_{i+1}} ^{\Psi }\mathcal{R}_{x_{i},x_{i+1}}^{ \kappa } \bigl(\hbar _{1}^{2} \bigr) (X) \Biggr)^{2} \Biggl(\sum _{i=0}^{m}p_{1_{i+1}}P_{1_{i+1}} ^{\Psi }\mathcal{R}_{x_{i},x_{i+1}}^{\kappa } \bigl(\hbar _{2}^{2} \bigr) (X) \Biggr)^{2} \\ &\quad \leq\frac{1}{4}\sum_{i=0}^{p} (q_{1_{i+1}}Q_{1_{i+1}}+p_{1_{i+1}}P_{1_{i+1}} ) ^{\Psi }\mathcal{R}_{x_{i},x_{i+1}}^{\kappa } (\hbar _{1} \hbar _{2} ) (X). \end{aligned}$$

Remark 6.1

By setting \(\Psi (\theta )=\theta \) and \(\omega (\theta )=1\) throughout the paper, we obtain the work of Ntouyas et al. [31].

7 Concluding remarks

In this present investigation, we presented some new weighted fractional Pólya–Szegö and Chebyshev type integral inequalities by employing weighted fractional integral recently proposed by Jarad et al. [14]. It is worth mentioning that these inequalities cover the integral inequalities for the well-known fractional integral operators discussed in Remark 2.2. In particular, if we take \(\Psi (\theta )=\theta \) and \(\omega (\theta )=1\), then the obtained inequalities reduce to the inequalities involving the R-L fractional integral established by Ntouyas et al. [31]. One can easily obtain Pólya–Szegö and Chebyshev type Hadamard fractional integral inequalities by applying \(\Psi (\theta )=\ln \theta \) and \(\omega (\theta )=\theta ^{u}\). Also, one can easily derive the said Pólya–Szegö and Chebyshev type inequalities for other types of weighted fractional integrals such as Katugampola, generalized R-L, classical R-L, generalized conformable, and conformable fractional integrals by applying certain conditions on the function Ψ given in Remark 2.1.