New Estimates on Hermite–Hadamard Type Inequalities via Generalized Tempered Fractional Integrals for Convex Functions with Applications

Abstract

This paper presents a novel approach by introducing a set of operators known as the left and right generalized tempered fractional integral operators. These operators are utilized to establish new Hermite–Hadamard inequalities for convex functions as well as the multiplication of two convex functions. Additionally, this paper gives two useful identities involving the generalized tempered fractional integral operator for differentiable functions. By leveraging these identities, our results consist of integral inequalities of the Hermite–Hadamard type, which are specifically designed to accommodate convex functions. Furthermore, this study encompasses the identification of several special cases and the recovery of specific known results through comprehensive research. Lastly, this paper offers a range of applications in areas such as matrices, modified Bessel functions and $\mathsf{q}$-digamma functions.

1. Introduction

Convexity theory is a fundamental concept in mathematical analysis that plays a crucial role in various fields, including optimization, economics, and geometry. It provides a powerful framework for studying and analyzing functions and their properties. In particular, convex functions possess significant characteristics that make them exceptionally useful in many applications.

The Hermite–Hadamard inequality [1] (H–H for short) stands as a fundamental outcome within the realm of convexity theory that establishes a relationship between the average value of a convex function and its endpoint values. Named after Charles Hermite and Jacques Hadamard, this inequality provides a powerful tool for studying the behaviour of convex functions and their integrals. It has been widely investigated and extended to various contexts, making it an essential tool in mathematical analysis. Over the years, researchers have made significant contributions to the development and generalization of the H–H inequality. These efforts have led to the exploration of various generalizations, extensions, and refinements of the original inequality, involving different types of functions, operators, and integral formulations; for example, Bayraktar et al. [2] proved Mercer versions, Sahoo et al. [3] established H–H inequalities via Atangana–Baleanu fractional operators, Tariq et al. [4] presented Simpson–Merer-type inequalities with the help of Atangana–Baleanu fractional operators, and for new versions of H–H results involving exponential kernels, one can refer to [5] and Bayraktar et al. [6], who employed a modified (h,m,s) convex function to establish weighted H–H inequalities. These advancements have broadened the scope of the H–H inequality and deepened our understanding of convex functions.

In this research paper, we aim to contribute to the ongoing development of convexity theory and the H–H inequality. Our focus will be on introducing new operators, namely the left and right generalized tempered fractional integral operators, and their applications in establishing novel H–H inequalities. These operators offer a fresh perspective on the interplay between convex functions and integral inequalities.

Additionally, we will derive two useful identities for differentiable functions that involve the generalized tempered fractional integral operator. We will explore various special cases and demonstrate how our general results recover known results. Moreover, we will showcase the practical relevance and applications of our findings. In particular, we will delve into applications encompassing matrices, modified Bessel functions, and $\mathsf{q}$-digamma functions. By examining these applications, we aim to highlight the significance and versatility of convexity theory and the H–H inequality in solving real-world problems.

Overall, this research paper aims to contribute to the advancement of convexity theory and the H–H inequality by introducing new operators, establishing novel inequalities, deriving interesting identities, exploring special cases, and demonstrating practical applications. Through our work, we hope to deepen our understanding of convex functions and their properties, paving the way for further advancements in this research area of mathematical analysis. Let us denote with $\mathrm{I}$ an interval that is a subset of the set of real numbers $\mathrm{R}.$

Definition 1. 

A function $\mathcal{S}:\mathrm{I}\to \mathrm{R}$ is called convex, if

$$\mathcal{S}(\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2)\le \mathfrak{d}\mathcal{S}\left({\mu }_1\right)+(1-\mathfrak{d})\mathcal{S}\left({\mu }_2\right),$$

(1)

holds for all ${\mu }_1,{\mu }_2\in \mathrm{I}$ and $\mathfrak{d}\in [0,1].$

Theorem 1. 

(H–H inequality). For a convex function $\mathcal{S}:\mathrm{I}\to \mathrm{R}$ and two points ${\mu }_1,{\mu }_2\in \mathrm{I}$ with ${\mu }_1<{\mu }_2$, the following double inequality is valid:

$$\mathcal{S}\left(\frac{{\mu }_1+{\mu }_2}{2}\right)\le \frac{1}{{\mu }_2-{\mu }_1}{\int }_{{\mu }_1}^{{\mu }_2}\mathcal{S}\left(\mathrm{x}\right)\mathrm{d}\mathrm{x}\le \frac{\mathcal{S}\left({\mu }_1\right)+\mathcal{S}\left({\mu }_2\right)}{2}.$$

(2)

In recent decades, researchers have investigated inequality (2) using newly formulated definitions motivated by convex functions. For further exploration, interested readers can refer to the following sources: [7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22].

Definition 2. 

For any real number $\alpha >0$ and $\mathrm{x},\zeta \ge 0$, the ζ-incomplete gamma function is defined as

$${\gamma }_{\zeta }(\alpha ,\mathrm{x}):={\int }_0^{\mathrm{x}}{\mathrm{u}}^{\alpha -1}{\mathrm{e}}^{-\zeta \mathrm{u}}\mathrm{du}.$$

If $\zeta =1$, then the above function reduces to the incomplete gamma function

$$\gamma (\alpha ,\mathrm{x}):={\int }_0^{\mathrm{x}}{\mathrm{u}}^{\alpha -1}{\mathrm{e}}^{-\mathrm{u}}\mathrm{du}.$$

In the following sections, we will revisit the definition of tempered fractional integral operators.

Definition 3 

([22]). Let $\mathcal{S}\in \mathrm{L}[{\mu }_1,{\mu }_2]$ (the set of all Lebesgue integrable functions on $[{\mu }_1,{\mu }_2])$, where $0\le {\mu }_1<{\mu }_2.$ Then for $\zeta \ge 0,$ the tempered fractional integral operators ${}_{{\mu }_1^{+}}{\mathrm{I}}^{\alpha ,\zeta }\mathcal{S}$ and ${}_{{\mu }_2^{-}}{\mathrm{I}}^{\alpha ,\zeta }\mathcal{S}$ of order $\alpha >0$ are defined as

$${}_{{\mu }_1^{+}}{\mathrm{I}}^{\alpha ,\zeta }\mathcal{S}\left(\mathrm{x}\right):=\frac{1}{\Gamma \left(\alpha \right)}{\int }_{{\mu }_1}^{\mathrm{x}}{(\mathrm{x}-\sigma )}^{\alpha -1}{\mathrm{e}}^{-\zeta (\mathrm{x}-\sigma )}\mathcal{S}\left(\sigma \right)\mathrm{d}\sigma ,\mathrm{x}>{\mu }_1$$

(3)

and

$${}_{{\mu }_2^{-}}{\mathrm{I}}^{\alpha ,\zeta }\mathcal{S}\left(\mathrm{x}\right):=\frac{1}{\Gamma \left(\alpha \right)}{\int }_{\mathrm{x}}^{{\mu }_2}{(\sigma -\mathrm{x})}^{\alpha -1}{\mathrm{e}}^{-\zeta (\sigma -\mathrm{x})}\mathcal{S}\left(\sigma \right)\mathrm{d}\sigma ,\mathrm{x}<{\mu }_2,$$

(4)

respectively.

Taking $\zeta =0$ in Definition 3, we obtain Riemann–Liouville fractional integral operators defined by

$${}_{{\mu }_1^{+}}{\mathrm{J}}^{\alpha }\mathcal{S}\left(\mathrm{x}\right):=\frac{1}{\Gamma \left(\alpha \right)}{\int }_{{\mu }_1}^{\mathrm{x}}{(\mathrm{x}-\sigma )}^{\alpha -1}\mathcal{S}\left(\sigma \right)\mathrm{d}\sigma ,\mathrm{x}>{\mu }_1$$

(5)

and

$${}_{{\mu }_2^{-}}{\mathrm{J}}^{\alpha }\mathcal{S}\left(\mathrm{x}\right):=\frac{1}{\Gamma \left(\alpha \right)}{\int }_{\mathrm{x}}^{{\mu }_2}{(\sigma -\mathrm{x})}^{\alpha -1}\mathcal{S}\left(\sigma \right)\mathrm{d}\sigma ,\mathrm{x}<{\mu }_2.$$

(6)

The function $\mathrm{{\rm Y}}:[0,+\infty )\to [0,+\infty )$ was introduced by Sarikaya et al. in [18], characterized by the following conditions:

$${\int }_0^1\frac{\mathrm{{\rm Y}}\left(\mathfrak{d}\right)}{\mathfrak{d}}\mathrm{d}\mathfrak{d}<+\infty ,$$

(7)

$$\frac{1}{{\mathrm{A}}_1}\le \frac{\mathrm{{\rm Y}}\left({\mathfrak{d}}_1\right)}{\mathrm{{\rm Y}}\left({\mathfrak{d}}_2\right)}\le {\mathrm{A}}_1\mathrm{for}\frac{1}{2}\le \frac{{\mathfrak{d}}_1}{{\mathfrak{d}}_2}\le 2,$$

(8)

$$\frac{\mathrm{{\rm Y}}\left({\mathfrak{d}}_2\right)}{{\mathfrak{d}}_2^2}\le {\mathrm{A}}_2\frac{\mathrm{{\rm Y}}\left({\mathfrak{d}}_1\right)}{{\mathfrak{d}}_1^2}\mathrm{for}{\mathfrak{d}}_1\le {\mathfrak{d}}_2,$$

(9)

$$|\frac{\mathrm{{\rm Y}}\left({\mathfrak{d}}_2\right)}{{\mathfrak{d}}_2^2}-\frac{\mathrm{{\rm Y}}\left({\mathfrak{d}}_1\right)}{{\mathfrak{d}}_1^2}|\le {\mathrm{A}}_3|{\mathfrak{d}}_2-{\mathfrak{d}}_1|\frac{\mathrm{{\rm Y}}\left({\mathfrak{d}}_2\right)}{{\mathfrak{d}}_2^2}\mathrm{for}\frac{1}{2}\le \frac{{\mathfrak{d}}_1}{{\mathfrak{d}}_2}\le 2,$$

(10)

where ${\mathrm{A}}_1,{\mathrm{A}}_2,{\mathrm{A}}_3>0$ are independent of ${\mathfrak{d}}_1,{\mathfrak{d}}_2>0.$ If there exists a non-negative value of $\xi$ such that $\mathrm{{\rm Y}}\left({\mathfrak{d}}_2\right){\mathfrak{d}}_2^{\xi }$ is an increasing function, and there exists a non-negative value of $\zeta$ such that $\frac{\mathrm{{\rm Y}}\left({\mathfrak{d}}_2\right)}{{\mathfrak{d}}_2^{\zeta }}$ is a decreasing function, then it can be deduced from [23] that $\mathrm{{\rm Y}}$ satisfies (7)–(10). Based on this, the definitions of the left-sided and right-sided generalized integral operators are given as follows:

$${}_{{\mu }_1^{+}}{\mathrm{I}}_{\mathrm{{\rm Y}}}\mathcal{S}\left(\mathrm{x}\right):={\int }_{{\mu }_1}^{\mathrm{x}}\frac{\mathrm{{\rm Y}}(\mathrm{x}-\sigma )}{\mathrm{x}-\sigma }\mathcal{S}\left(\sigma \right)\mathrm{d}\sigma ,\mathrm{x}>{\mu }_1,$$

(11)

$${}_{{\mu }_2^{-}}{\mathrm{I}}_{\mathrm{{\rm Y}}}\mathcal{S}\left(\mathrm{x}\right):={\int }_{\mathrm{x}}^{{\mu }_2}\frac{\mathrm{{\rm Y}}(\sigma -\mathrm{x})}{\sigma -\mathrm{x}}\mathcal{S}\left(\sigma \right)\mathrm{d}\sigma ,\mathrm{x}<{\mu }_2.$$

(12)

A notable feature of generalized integrals is their ability to yield Riemann–Liouville fractional integrals, Katugampola fractional integrals, and other types as well. These results can be found in references such as [18,20,23,24].

In recent years, there has been a growing interest in extending the H–H inequality to the context of fractional calculus. Fractional calculus deals with the generalization of derivatives and integrals to non-integer orders, and it has emerged as a powerful mathematical tool for modeling and analyzing complex phenomena in physics, engineering, and other fields. The fractional H–H inequality explores the behavior of fractional integrals of convex functions. By considering fractional operators of different orders, such as the Riemann–Liouville or Caputo fractional operators, the inequality provides a bridge between the concepts of convexity and fractional calculus. It establishes relationships between the fractional integral of a convex function and its endpoint values, revealing intriguing properties and insights into the behavior of these functions. The study of fractional H–H inequalities has attracted significant attention from researchers in recent years. Many mathematicians have worked on deriving new inequalities, investigating their properties, and exploring their applications in various areas [25,26]. These developments have led to a deeper understanding of the interplay between convex functions and fractional calculus.

In Section 2, we begin by introducing the left and right generalized tempered fractional integral operators as novel tools in the study of H–H inequalities. By utilizing these operators, we establish novel inequalities for convex functions as well as for products of two convex functions. These results extend the existing literature and provide valuable insights into the behavior of convex functions.

Moving on to Section 3, we delve into the exploration of two interesting identities involving the generalized tempered fractional integral operators for differentiable functions. Through the utilization of these identities, we obtain supplementary integral inequalities of H–H and midpoint types for convex functions. This further expands the scope and applicability of our findings.

Section 4 takes a practical turn as we delve into the application of our results. We discuss their relevance and implications in various domains, such as matrices, modified Bessel functions and $\mathsf{q}$-digamma functions.

Finally, in Section 5, we wrap up the paper with a concise conclusion summarizing the key findings and their implications. We also provide future recommendations, suggesting potential directions for further research.

Through this structured organization, our paper presents a comprehensive analysis of the introduced operators, establishes new inequalities, explores intriguing identities, demonstrates practical applications, and offers valuable insights for future research.

2. Generalized Tempered Fractional Hermite–Hadamard-Type Inequalities

At this point, we can present the left and right generalized tempered fractional integral operators with $\zeta \ge 0$, where $\mathrm{{\rm Y}}:[0,+\infty )\to [0,+\infty )$ satisfies the given conditions (7)–(10).

Throughout this study, let $\zeta \ge 0$ and $0\le {\mu }_1<{\mu }_2.$ Then, for all $\mathfrak{d}\in [0,1],$ we define the following definitions:

Definition 4. 

The operator that defines the left generalized tempered fractional integral is given by

$${}_{{\mu }_1^{+}}{\mathrm{T}}_{\mathrm{{\rm Y}}}^{\zeta }\mathcal{S}\left(\mathrm{x}\right):={\int }_{{\mu }_1}^{\mathrm{x}}\frac{\mathrm{{\rm Y}}(\mathrm{x}-\sigma )}{\mathrm{x}-\sigma }{\mathrm{e}}^{-\zeta (\mathrm{x}-\sigma )}\mathcal{S}\left(\sigma \right)\mathrm{d}\sigma ,\mathrm{x}>{\mu }_1.$$

(13)

Analogously, the right generalized tempered fractional integral operator is defined by

$${}_{{\mu }_2^{-}}{\mathrm{T}}_{\mathrm{{\rm Y}}}^{\zeta }\mathcal{S}\left(\mathrm{x}\right):={\int }_{\mathrm{x}}^{{\mu }_2}\frac{\mathrm{{\rm Y}}(\sigma -\mathrm{x})}{\sigma -\mathrm{x}}{\mathrm{e}}^{-\zeta (\sigma -\mathrm{x})}\mathcal{S}\left(\sigma \right)\mathrm{d}\sigma ,\mathrm{x}<{\mu }_2.$$

(14)

From Definition 4, we can recapture some known integral operators such as Riemann integrals, Riemann–Liouville fractional integrals, generalized integral operators, and tempered fractional integral operators, and we can present some new integral operators as well. Some of them are given explicitly in the following Remark 1. Moreover, the importance of these new integral operators depends on the choices of the parameter $\zeta ,$ since it takes values in the domain $[0,\infty ).$ That means that interested readers that will do numerical computations will see clearly the advantage of this new operator compared with other known operators for suitably choosing this parameter $\zeta .$ For $\zeta =0,$ these operators attains maximum values. For other values of $\zeta ,$ their values decrease. We believe that these new operators will open a new door for investigating various variational problems for different kinds of convexity functions. In our study, we are not focused on numerical analysis.

Remark 1. 

(a) 

Taking $\zeta =0$ in Definition 4, we have generalized fractional integral operators given from (11) and (12). Choosing $\mathrm{{\rm Y}}\left(\mathfrak{d}\right)=\frac{{\mathfrak{d}}^{\alpha }}{\Gamma \left(\alpha \right)}$ in Definition 4, we get Definition 3.

(b) 

Choosing $\mathrm{{\rm Y}}\left(\mathfrak{d}\right)=\mathfrak{d}{({\mu }_2-\mathfrak{d})}^{\alpha -1}$ for $\alpha \in (0,1)$ in Definition 4, we obtain the following conformable left and right tempered fractional integral operators:

$$\begin{array}{c}{}_{{\mu }_1^{+}}{\mathrm{C}}^{\alpha ,\zeta }\mathcal{S}\left(\mathrm{x}\right):={\int }_{{\mu }_1}^{\mathrm{x}}{({\mu }_2-\mathrm{x}+\sigma )}^{\alpha -1}{\mathrm{e}}^{-\zeta (\mathrm{x}-\sigma )}\mathcal{S}\left(\sigma \right)\mathrm{d}\sigma ,\mathrm{x}>{\mu }_1,\hfill \\ {}_{{\mu }_2^{-}}{\mathrm{C}}^{\alpha ,\zeta }\mathcal{S}\left(\mathrm{x}\right):={\int }_{\mathrm{x}}^{{\mu }_2}{({\mu }_2+\mathrm{x}-\sigma )}^{\alpha -1}{\mathrm{e}}^{-\zeta (\sigma -\mathrm{x})}\mathcal{S}\left(\sigma \right)\mathrm{d}\sigma ,\mathrm{x}<{\mu }_2.\hfill \end{array}$$

Taking $\mathrm{{\rm Y}}\left(\mathfrak{d}\right)=\frac{\mathfrak{d}}{\alpha }exp(-\mathrm{A}\mathfrak{d}),$ where $\mathrm{A}=\frac{1-\alpha }{\alpha }$ for $\alpha \in (0,1)$ in Definition 4, we have the following exponential left and right tempered fractional integral operators:

$$\begin{array}{c}{}_{{\mu }_1^{+}}{\mathrm{E}}^{\alpha ,\zeta }\mathcal{S}\left(\mathrm{x}\right):=\frac{1}{\alpha }{\int }_{{\mu }_1}^{\mathrm{x}}{\mathrm{e}}^{-(\mathrm{A}+\zeta )(\mathrm{x}-\sigma )}\mathcal{S}\left(\sigma \right)\mathrm{d}\sigma ,\mathrm{x}>{\mu }_1,\hfill \\ {}_{{\mu }_2^{-}}{\mathrm{E}}^{\alpha ,\zeta }\mathcal{S}\left(\mathrm{x}\right):=\frac{1}{\alpha }{\int }_{\mathrm{x}}^{{\mu }_2}{\mathrm{e}}^{-(\mathrm{A}+\zeta )(\sigma -\mathrm{x})}\mathcal{S}\left(\sigma \right)\mathrm{d}\sigma ,\mathrm{x}<{\mu }_2.\hfill \end{array}$$

Furthermore, we define the following expressions that will be used in the sequel.

$${\Omega }_{\mathrm{{\rm Y}}}^{\zeta }\left(\mathfrak{d}\right):={\int }_0^{\mathfrak{d}}\frac{\mathrm{{\rm Y}}\left(\mathrm{u}({\mu }_2-{\mu }_1)\right)}{\mathrm{u}}{\mathrm{e}}^{-\zeta ({\mu }_2-{\mu }_1)\mathrm{u}}\mathrm{du}<+\infty ,{\mu }_1<{\mu }_2,$$

(15)

$${\Sigma }_{\mathrm{{\rm Y}},1}^{\zeta }(\mathrm{x},\mathfrak{d}):={\int }_0^{\mathfrak{d}}\frac{\mathrm{{\rm Y}}\left(\mathrm{u}(\mathrm{x}-{\mu }_1)\right)}{\mathrm{u}}{\mathrm{e}}^{-\zeta ({\mu }_2-{\mu }_1)\mathrm{u}}\mathrm{du}<+\infty ,\mathrm{x}>{\mu }_1,$$

(16)

$${\Sigma }_{\mathrm{{\rm Y}},2}^{\zeta }(\mathrm{x},\mathfrak{d}):={\int }_0^{\mathfrak{d}}\frac{\mathrm{{\rm Y}}\left(\mathrm{u}({\mu }_2-\mathrm{x})\right)}{\mathrm{u}}{\mathrm{e}}^{-\zeta ({\mu }_2-{\mu }_1)\mathrm{u}}\mathrm{du}<+\infty ,\mathrm{x}<{\mu }_2$$

(17)

and

$${\Psi }_{\mathrm{{\rm Y}}}^{\zeta }:={\int }_0^1\frac{\mathrm{{\rm Y}}\left(\mathrm{u}({\mu }_2-{\mu }_1)\right)}{\mathrm{u}}{\mathrm{e}}^{-\zeta ({\mu }_2-{\mu }_1)\mathrm{u}}\mathrm{d}\mathrm{u}={\int }_0^{{\mu }_2-{\mu }_1}\frac{\mathrm{{\rm Y}}\left(\mathrm{u}\right)}{\mathrm{u}}{\mathrm{e}}^{-\zeta \mathrm{u}}\mathrm{du}.$$

(18)

Let us now represent the generalized tempered fractional H–H-type inequality for convex functions as follows.

Theorem 2. 

Consider a function $\mathcal{S}$ defined on the interval $[{\mu }_1,{\mu }_2]$ and $\mathcal{S}\in \mathrm{L}[{\mu }_1,{\mu }_2]$. If $\mathcal{S}$ is convex on $[{\mu }_1,{\mu }_2]$, then the following double inequality holds true for generalized tempered fractional integral operators:

$$\mathcal{S}\left(\frac{{\mu }_1+{\mu }_2}{2}\right)\le \frac{1}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}\left[{}_{{\mu }_1^{+}}{\mathrm{T}}_{\mathrm{{\rm Y}}}^{\zeta }\mathcal{S}\left({\mu }_2\right)+{}_{{\mu }_2^{-}}{\mathrm{T}}_{\mathrm{{\rm Y}}}^{\zeta }\mathcal{S}\left({\mu }_1\right)\right]\le \frac{\mathcal{S}\left({\mu }_1\right)+\mathcal{S}\left({\mu }_2\right)}{2},$$

(19)

where ${\Psi }_{\mathrm{{\rm Y}}}^{\zeta }$ is defined from (18).

Proof. 

Let $\mathrm{u},\mathrm{v}\in [{\mu }_1,{\mu }_2].$ Since $\mathcal{S}$ is convex on $[{\mu }_1,{\mu }_2],$ we have

$$\mathcal{S}\left(\frac{\mathrm{u}+\mathrm{v}}{2}\right)\le \frac{\mathcal{S}\left(\mathrm{u}\right)+\mathcal{S}\left(\mathrm{v}\right)}{2}.$$

Taking $\mathrm{u}=\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2$ and $\mathrm{v}=(1-\mathfrak{d}){\mu }_1+\mathfrak{d}{\mu }_2,$ we get

$$2\mathcal{S}\left(\frac{{\mu }_1+{\mu }_2}{2}\right)\le \mathcal{S}(\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2)+\mathcal{S}((1-\mathfrak{d}){\mu }_1+\mathfrak{d}{\mu }_2).$$

(20)

By multiplying both sides of inequality (20) with the expression ${\displaystyle \frac{\mathrm{{\rm Y}}\left(\mathfrak{d}({\mu }_2-{\mu }_1)\right)}{\mathfrak{d}}{\mathrm{e}}^{-\zeta ({\mu }_2-{\mu }_1)\mathfrak{d}}}$ and integrating the resulting inequality over the interval $[0,1]$ with respect to $\mathfrak{d}$, we derive the following result

$$\begin{array}{c}2\mathcal{S}\left(\frac{{\mu }_1+{\mu }_2}{2}\right){\int }_0^1\frac{\mathrm{{\rm Y}}\left(\mathfrak{d}({\mu }_2-{\mu }_1)\right)}{\mathfrak{d}}{\mathrm{e}}^{-\zeta ({\mu }_2-{\mu }_1)\mathfrak{d}}\mathrm{d}\mathfrak{d}\hfill \\ \le {\int }_0^1\frac{\mathrm{{\rm Y}}\left(\mathfrak{d}({\mu }_2-{\mu }_1)\right)}{\mathfrak{d}}{\mathrm{e}}^{-\zeta ({\mu }_2-{\mu }_1)\mathfrak{d}}\mathcal{S}(\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2)\mathrm{d}\mathfrak{d}\hfill \\ +{\int }_0^1\frac{\mathrm{{\rm Y}}\left(\mathfrak{d}({\mu }_2-{\mu }_1)\right)}{\mathfrak{d}}{\mathrm{e}}^{-\zeta ({\mu }_2-{\mu }_1)\mathfrak{d}}\mathcal{S}((1-\mathfrak{d}){\mu }_1+\mathfrak{d}{\mu }_2)\mathrm{d}\mathfrak{d}.\hfill \end{array}$$

So, we have

$$2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }\mathcal{S}\left(\frac{{\mu }_1+{\mu }_2}{2}\right)\le \left[{}_{{\mu }_1^{+}}{\mathrm{T}}_{\mathrm{{\rm Y}}}^{\zeta }\mathcal{S}\left({\mu }_2\right)+{}_{{\mu }_2^{-}}{\mathrm{T}}_{\mathrm{{\rm Y}}}^{\zeta }\mathcal{S}\left({\mu }_1\right)\right].$$

(21)

This implies that the left-hand side of inequality (19) has been established. In order to prove the right-hand side of inequality (19), we utilize the fact that $\mathcal{S}$ is a convex function on $[{\mu }_1,{\mu }_2]$. This allows us to derive the following inequalities:

$$\mathcal{S}(\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2)\le \mathfrak{d}\mathcal{S}\left({\mu }_1\right)+(1-\mathfrak{d})\mathcal{S}\left({\mu }_2\right)$$

(22)

and

$$\mathcal{S}((1-\mathfrak{d}){\mu }_1+\mathfrak{d}{\mu }_2)\le (1-\mathfrak{d})\mathcal{S}\left({\mu }_1\right)+\mathfrak{d}\mathcal{S}\left({\mu }_2\right).$$

(23)

Adding (22) and (23)), we get

$$\mathcal{S}(\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2)+\mathcal{S}((1-\mathfrak{d}){\mu }_1+\mathfrak{d}{\mu }_2)\le \mathcal{S}\left({\mu }_1\right)+\mathcal{S}\left({\mu }_2\right).$$

(24)

Multiplying both sides of inequality (24) with ${\displaystyle \frac{\mathrm{{\rm Y}}\left(\mathfrak{d}({\mu }_2-{\mu }_1)\right)}{\mathfrak{d}}{\mathrm{e}}^{-\zeta ({\mu }_2-{\mu }_1)\mathfrak{d}}}$ and integrating the resulting inequality with respect to t over $[0,1],$ we obtain

$$\begin{array}{c}{\int }_0^1\frac{\mathrm{{\rm Y}}\left(\mathfrak{d}({\mu }_2-{\mu }_1)\right)}{\mathfrak{d}}{\mathrm{e}}^{-\zeta ({\mu }_2-{\mu }_1)\mathfrak{d}}\mathcal{S}(\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2)\mathrm{d}\mathfrak{d}\hfill \\ +{\int }_0^1\frac{\mathrm{{\rm Y}}\left(\mathfrak{d}({\mu }_2-{\mu }_1)\right)}{\mathfrak{d}}{\mathrm{e}}^{-\zeta ({\mu }_2-{\mu }_1)\mathfrak{d}}\mathcal{S}((1-\mathfrak{d}){\mu }_1+\mathfrak{d}{\mu }_2)\mathrm{d}\mathfrak{d}\hfill \\ \le \left[\mathcal{S}\left({\mu }_1\right)+\mathcal{S}\left({\mu }_2\right)\right]{\int }_0^1\frac{\mathrm{{\rm Y}}\left(\mathfrak{d}({\mu }_2-{\mu }_1)\right)}{\mathfrak{d}}{\mathrm{e}}^{-\zeta ({\mu }_2-{\mu }_1)\mathfrak{d}}\mathrm{d}\mathfrak{d}.\hfill \end{array}$$

Therefore, we have the following inequality:

$$\left[{}_{{\mu }_1^{+}}{\mathrm{T}}_{\mathrm{{\rm Y}}}^{\zeta }\mathcal{S}\left({\mu }_2\right)+{}_{{\mu }_2^{-}}{\mathrm{T}}_{\mathrm{{\rm Y}}}^{\zeta }\mathcal{S}\left({\mu }_1\right)\right]\le \left[\mathcal{S}\left({\mu }_1\right)+\mathcal{S}\left({\mu }_2\right)\right]{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }.$$

(25)

This confirms that the right-hand side of inequality (19) has been established. Therefore, the proof of Theorem 2 is concluded. □

Corollary 1. 

By taking ${\displaystyle \mathrm{{\rm Y}}\left(\mathfrak{d}\right)=\frac{{\mathfrak{d}}^{\alpha }}{\Gamma \left(\alpha \right)}}$ in Theorem 2, we obtain the following double inequality for convex functions using tempered fractional integral operators:

$$\mathcal{S}\left(\frac{{\mu }_1+{\mu }_2}{2}\right)\le \frac{\Gamma \left(\alpha \right)}{2{\gamma }_{\zeta }(\alpha ,{\mu }_2-{\mu }_1)}\left[{}_{{\mu }_1^{+}}{\mathrm{I}}^{\alpha ,\zeta }\mathcal{S}\left({\mu }_2\right)+{}_{{\mu }_2^{-}}{\mathrm{I}}^{\alpha ,\zeta }\mathcal{S}\left({\mu }_1\right)\right]\le \frac{\mathcal{S}\left({\mu }_1\right)+\mathcal{S}\left({\mu }_2\right)}{2}.$$

(26)

Corollary 2. 

Choosing $\alpha =1$ and $\zeta =0$ in Corollary 1, we get Theorem 1.

Theorem 3. 

Let $\mathcal{S},\mathcal{R}:[{\mu }_1,{\mu }_2]\to \mathrm{R}$ be two functions and $\mathcal{S},\mathcal{R}\in \mathrm{L}[{\mu }_1,{\mu }_2].$ If $\mathcal{S}$ and $\mathcal{R}$ are convex on $[{\mu }_1,{\mu }_2],$ then the following double inequality for generalized tempered fractional integral operators holds true:

$$\begin{array}{c}\mathcal{S}\left(\frac{{\mu }_1+{\mu }_2}{2}\right)\mathcal{R}\left(\frac{{\mu }_1+{\mu }_2}{2}\right)-\frac{1}{4{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}\left[{}_{{\mu }_1^{+}}{\mathrm{T}}_{\mathrm{{\rm Y}}}^{\zeta }\mathcal{S}\left({\mu }_2\right)\mathcal{R}\left({\mu }_2\right)+{}_{{\mu }_2^{-}}{\mathrm{T}}_{\mathrm{{\rm Y}}}^{\zeta }\mathcal{S}\left({\mu }_1\right)\mathcal{R}\left({\mu }_1\right)\right]\hfill \\ \le \frac{1}{4{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\Theta }_{\mathrm{{\rm Y}}}^{\zeta }(\mathcal{S},\mathcal{R})\hfill \\ \le \frac{1}{2}\mathrm{M}({\mu }_1,{\mu }_2)\frac{{\Delta }_{\mathrm{{\rm Y}}}^{\zeta }}{{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}+\frac{1}{4}\mathrm{N}({\mu }_1,{\mu }_2)\left(1-2\frac{{\Delta }_{\mathrm{{\rm Y}}}^{\zeta }}{{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}\right),\hfill \end{array}$$

(27)

where

$$\mathrm{M}({\mu }_1,{\mu }_2):=\mathcal{S}\left({\mu }_1\right)\mathcal{R}\left({\mu }_1\right)+\mathcal{S}\left({\mu }_2\right)\mathcal{R}\left({\mu }_2\right),$$

$$\mathrm{N}({\mu }_1,{\mu }_2):=\mathcal{S}\left({\mu }_1\right)\mathcal{R}\left({\mu }_2\right)+\mathcal{S}\left({\mu }_2\right)\mathcal{R}\left({\mu }_1\right),$$

$${\Theta }_{\mathrm{{\rm Y}}}^{\zeta }(\mathcal{S},\mathcal{R}):={\int }_0^{{\mu }_2-{\mu }_1}\frac{\mathrm{{\rm Y}}\left(\mathfrak{d}\right)}{\mathfrak{d}}{\mathrm{e}}^{-\zeta \mathfrak{d}}\left[\mathcal{R}({\mu }_2-\mathfrak{d})\mathcal{S}(\mathfrak{d}-{\mu }_1)+\mathcal{R}(\mathfrak{d}-{\mu }_1)\mathcal{S}({\mu }_2-\mathfrak{d})\right]\mathrm{d}\mathfrak{d},$$

$${\Delta }_{\mathrm{{\rm Y}}}^{\zeta }:=\frac{1}{{({\mu }_2-{\mu }_1)}^2}{\int }_0^{{\mu }_2-{\mu }_1}\mathrm{{\rm Y}}\left(\mathfrak{d}\right){\mathrm{e}}^{-\zeta \mathfrak{d}}({\mu }_2-{\mu }_1-\mathfrak{d})\mathrm{d}\mathfrak{d}$$

and ${\Psi }_{\mathrm{{\rm Y}}}^{\zeta }$ is defined from (18).

Proof. 

Let $\mathrm{u},\mathrm{v}\in [{\mu }_1,{\mu }_2].$ Since $\mathcal{S}$ and $\mathcal{R}$ are convex on $[{\mu }_1,{\mu }_2],$ we have

$$\mathcal{S}\left(\frac{\mathrm{u}+\mathrm{v}}{2}\right)\le \frac{\mathcal{S}\left(\mathrm{u}\right)+\mathcal{S}\left(\mathrm{v}\right)}{2},\mathcal{R}\left(\frac{\mathrm{u}+\mathrm{v}}{2}\right)\le \frac{\mathcal{R}\left(\mathrm{u}\right)+\mathcal{R}\left(\mathrm{v}\right)}{2}.$$

Taking $\mathrm{u}=\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2$ and $\mathrm{v}=(1-\mathfrak{d}){\mu }_1+\mathfrak{d}{\mu }_2,$ we get

$$2\mathcal{S}\left(\frac{{\mu }_1+{\mu }_2}{2}\right)\le \mathcal{S}(\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2)+\mathcal{S}((1-\mathfrak{d}){\mu }_1+\mathfrak{d}{\mu }_2)$$

(28)

and

$$2\mathcal{R}\left(\frac{{\mu }_1+{\mu }_2}{2}\right)\le \mathcal{R}(\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2)+\mathcal{R}(\mathfrak{d}{\mu }_2+(1-\mathfrak{d}){\mu }_1).$$

(29)

By multiplying both sides of inequalities (28) and (29), we obtain

$$\begin{array}{c}4\mathcal{S}\left(\frac{{\mu }_1+{\mu }_2}{2}\right)\mathcal{R}\left(\frac{{\mu }_1+{\mu }_2}{2}\right)\hfill \\ \le \mathcal{S}(\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2)\mathcal{R}(\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2)+\mathcal{S}((1-\mathfrak{d}){\mu }_1+\mathfrak{d}{\mu }_2)\mathcal{R}(\mathfrak{d}{\mu }_2+(1-\mathfrak{d}){\mu }_1)\hfill \\ +\mathcal{S}(\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2)\mathcal{R}(\mathfrak{d}{\mu }_2+(1-\mathfrak{d}){\mu }_1)+\mathcal{S}((1-\mathfrak{d}){\mu }_1+\mathfrak{d}{\mu }_2)\mathcal{R}(\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2).\hfill \end{array}$$

(30)

Multiplying both sides of inequality (30) with ${\displaystyle \frac{\mathrm{{\rm Y}}\left(\mathfrak{d}({\mu }_2-{\mu }_1)\right)}{\mathfrak{d}}{\mathrm{e}}^{-\zeta ({\mu }_2-{\mu }_1)\mathfrak{d}}}$ and integrating the resulting inequality with respect to $\mathfrak{d}$ over $[0,1],$ we have

$$\begin{array}{c}4\mathcal{S}\left(\frac{{\mu }_1+{\mu }_2}{2}\right)\mathcal{R}\left(\frac{{\mu }_1+{\mu }_2}{2}\right){\int }_0^1\frac{\mathrm{{\rm Y}}\left(\mathfrak{d}({\mu }_2-{\mu }_1)\right)}{\mathfrak{d}}{\mathrm{e}}^{-\zeta ({\mu }_2-{\mu }_1)\mathfrak{d}}\mathrm{d}\mathfrak{d}\hfill \\ \le {\int }_0^1\frac{\mathrm{{\rm Y}}\left(\mathfrak{d}({\mu }_2-{\mu }_1)\right)}{\mathfrak{d}}{\mathrm{e}}^{-\zeta ({\mu }_2-{\mu }_1)\mathfrak{d}}\mathcal{S}((1-\mathfrak{d}){\mu }_2+\mathfrak{d}{\mu }_1)\mathcal{R}(\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2)\mathrm{d}\mathfrak{d}\hfill \\ +{\int }_0^1\frac{\mathrm{{\rm Y}}\left(\mathfrak{d}({\mu }_2-{\mu }_1)\right)}{\mathfrak{d}}{\mathrm{e}}^{-\zeta ({\mu }_2-{\mu }_1)\mathfrak{d}}\mathcal{S}((1-\mathfrak{d}){\mu }_1+\mathfrak{d}{\mu }_2)\mathcal{R}(\mathfrak{d}{\mu }_2+(1-\mathfrak{d}){\mu }_1)\mathrm{d}\mathfrak{d}\hfill \\ +{\int }_0^1\frac{\mathrm{{\rm Y}}\left(\mathfrak{d}({\mu }_2-{\mu }_1)\right)}{\mathfrak{d}}{\mathrm{e}}^{-\zeta ({\mu }_2-{\mu }_1)\mathfrak{d}}\mathcal{S}((1-\mathfrak{d}){\mu }_2+\mathfrak{d}{\mu }_1)\mathcal{R}((1-\mathfrak{d}){\mu }_1+\mathfrak{d}{\mu }_2)\mathrm{d}\mathfrak{d}\hfill \\ +{\int }_0^1\frac{\mathrm{{\rm Y}}\left(\mathfrak{d}({\mu }_2-{\mu }_1)\right)}{\mathfrak{d}}{\mathrm{e}}^{-\zeta ({\mu }_2-{\mu }_1)\mathfrak{d}}\mathcal{S}((1-\mathfrak{d}){\mu }_1+\mathfrak{d}{\mu }_2)\mathcal{R}(\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2)\mathrm{d}\mathfrak{d}.\hfill \end{array}$$

So, we get

$$\begin{array}{c}4{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }\mathcal{S}\left(\frac{{\mu }_1+{\mu }_2}{2}\right)\mathcal{R}\left(\frac{{\mu }_1+{\mu }_2}{2}\right)\le {}_{{\mu }_1^{+}}{\mathrm{T}}_{\mathrm{{\rm Y}}}^{\zeta }\mathcal{S}\left({\mu }_2\right)\mathcal{R}\left({\mu }_2\right)+{}_{{\mu }_2^{-}}{\mathrm{T}}_{\mathrm{{\rm Y}}}^{\zeta }\mathcal{S}\left({\mu }_1\right)\mathcal{R}\left({\mu }_1\right)\\ +{\int }_0^{{\mu }_2-{\mu }_1}\frac{\mathrm{{\rm Y}}\left(\mathfrak{d}\right)}{\mathfrak{d}}{\mathrm{e}}^{-\zeta \mathfrak{d}}\left[\mathcal{S}(\mathfrak{d}-{\mu }_1)\mathcal{R}({\mu }_2-\mathfrak{d})+\mathcal{S}({\mu }_2-\mathfrak{d})\mathcal{R}(\mathfrak{d}-{\mu }_1)\right]\mathrm{d}\mathfrak{d}.\end{array}$$

(31)

This implies that the left-hand side of inequality (27) has been established. In order to prove the right-hand side of inequality (27), we utilize the fact that $\mathcal{S}$ and $\mathcal{R}$ are both convex functions on $[{\mu }_1,{\mu }_2]$. This allows us to derive the following inequalities:

$$\mathcal{S}(\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2)\le \mathfrak{d}\mathcal{S}\left({\mu }_1\right)+(1-\mathfrak{d})\mathcal{S}\left({\mu }_2\right),$$

(32)

$$\mathcal{S}((1-\mathfrak{d}){\mu }_1+\mathfrak{d}{\mu }_2)\le (1-\mathfrak{d})\mathcal{S}\left({\mu }_1\right)+\mathfrak{d}\mathcal{S}\left({\mu }_2\right)$$

(33)

and

$$\mathcal{R}(\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2)\le \mathfrak{d}\mathcal{R}\left({\mu }_1\right)+(1-\mathfrak{d})\mathcal{R}\left({\mu }_2\right),$$

(34)

$$\mathcal{R}((1-\mathfrak{d}){\mu }_1+\mathfrak{d}{\mu }_2)\le (1-\mathfrak{d})\mathcal{R}\left({\mu }_1\right)+\mathfrak{d}\mathcal{R}\left({\mu }_2\right).$$

(35)

Utilizing inequalities (32)–(35), we have

$$\begin{array}{c}\mathcal{S}(\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2)\mathcal{R}(\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2)+\mathcal{S}((1-\mathfrak{d}){\mu }_1+\mathfrak{d}{\mu }_2)\mathcal{R}(\mathfrak{d}{\mu }_2+(1-\mathfrak{d}){\mu }_1)\hfill \\ +\mathcal{S}(\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2)\mathcal{R}((1-\mathfrak{d}){\mu }_1+\mathfrak{d}{\mu }_2)+\mathcal{S}((1-\mathfrak{d}){\mu }_1+\mathfrak{d}{\mu }_2)\mathcal{R}(\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2)\hfill \\ \le \mathcal{S}(\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2)\mathcal{R}(\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2)+\mathcal{S}((1-\mathfrak{d}){\mu }_1+\mathfrak{d}{\mu }_2)\mathcal{R}((1-\mathfrak{d}){\mu }_1+\mathfrak{d}{\mu }_2)\hfill \\ +\left[\mathfrak{d}\mathcal{S}\left({\mu }_1\right)+(1-\mathfrak{d})\mathcal{S}\left({\mu }_2\right)\right]·\left[(1-\mathfrak{d})\mathcal{R}\left({\mu }_1\right)+\mathfrak{d}\mathcal{R}\left({\mu }_2\right)\right]\hfill \\ +\left[(1-\mathfrak{d})\mathcal{S}\left({\mu }_1\right)+\mathfrak{d}\mathcal{S}\left({\mu }_2\right)\right]·\left[\mathfrak{d}\mathcal{R}\left({\mu }_1\right)+(1-\mathfrak{d})\mathcal{R}\left({\mu }_2\right)\right]\hfill \\ =\mathcal{S}(\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2)\mathcal{R}(\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2)+\mathcal{S}((1-\mathfrak{d}){\mu }_1+\mathfrak{d}{\mu }_2)\mathcal{R}(\mathfrak{d}{\mu }_2+(1-\mathfrak{d}){\mu }_1)\hfill \\ +2\mathfrak{d}(1-\mathfrak{d})\mathrm{M}({\mu }_1,{\mu }_2)+\left[{\mathfrak{d}}^2+{(1-\mathfrak{d})}^2\right]\mathrm{N}({\mu }_1,{\mu }_2).\hfill \end{array}$$

(36)

Multiplying both sides of inequality (36) with ${\displaystyle \frac{\mathrm{{\rm Y}}\left(\mathfrak{d}({\mu }_2-{\mu }_1)\right)}{\mathfrak{d}}{\mathrm{e}}^{-\zeta ({\mu }_2-{\mu }_1)\mathfrak{d}}}$ and integrating the resulting inequality with respect to $\mathfrak{d}$ over $[0,1],$ we obtain

$$\begin{array}{c}{\int }_0^1\frac{\mathrm{{\rm Y}}\left(\mathfrak{d}({\mu }_2-{\mu }_1)\right)}{\mathfrak{d}}{\mathrm{e}}^{-\zeta ({\mu }_2-{\mu }_1)\mathfrak{d}}\mathcal{S}((1-\mathfrak{d}){\mu }_2+\mathfrak{d}{\mu }_1)\mathcal{R}((1-\mathfrak{d}){\mu }_2+\mathfrak{d}{\mu }_1)\mathrm{d}\mathfrak{d}\hfill \\ +{\int }_0^1\frac{\mathrm{{\rm Y}}\left(\mathfrak{d}({\mu }_2-{\mu }_1)\right)}{\mathfrak{d}}{\mathrm{e}}^{-\zeta ({\mu }_2-{\mu }_1)\mathfrak{d}}\mathcal{S}(\mathfrak{d}{\mu }_2+(1-\mathfrak{d}){\mu }_1)\mathcal{R}(\mathfrak{d}{\mu }_2+(1-\mathfrak{d}){\mu }_1)\mathrm{d}\mathfrak{d}\hfill \\ +{\int }_0^1\frac{\mathrm{{\rm Y}}\left(\mathfrak{d}({\mu }_2-{\mu }_1)\right)}{\mathfrak{d}}{\mathrm{e}}^{-\zeta ({\mu }_2-{\mu }_1)\mathfrak{d}}\mathcal{S}((1-\mathfrak{d}){\mu }_2+\mathfrak{d}{\mu }_1)\mathcal{R}(\mathfrak{d}{\mu }_2+(1-\mathfrak{d}){\mu }_1)\mathrm{d}\mathfrak{d}\hfill \\ +{\int }_0^1\frac{\mathrm{{\rm Y}}\left(\mathfrak{d}({\mu }_2-{\mu }_1)\right)}{\mathfrak{d}}{\mathrm{e}}^{-\zeta ({\mu }_2-{\mu }_1)\mathfrak{d}}\mathcal{S}(\mathfrak{d}{\mu }_2+(1-\mathfrak{d}){\mu }_1)\mathcal{R}((1-\mathfrak{d}){\mu }_2+\mathfrak{d}{\mu }_1)\mathrm{d}\mathfrak{d}\hfill \\ \le {\int }_0^1\frac{\mathrm{{\rm Y}}\left(\mathfrak{d}({\mu }_2-{\mu }_1)\right)}{\mathfrak{d}}{\mathrm{e}}^{-\zeta ({\mu }_2-{\mu }_1)\mathfrak{d}}\mathcal{S}((1-\mathfrak{d}){\mu }_2+\mathfrak{d}{\mu }_1)\mathcal{R}((1-\mathfrak{d}){\mu }_2+\mathfrak{d}{\mu }_1)\mathrm{d}\mathfrak{d}\hfill \\ +{\int }_0^1\frac{\mathrm{{\rm Y}}\left(\mathfrak{d}({\mu }_2-{\mu }_1)\right)}{\mathfrak{d}}{\mathrm{e}}^{-\zeta ({\mu }_2-{\mu }_1)\mathfrak{d}}\mathcal{S}\left(\mathfrak{d}{\mu }_2(1-\mathfrak{d}){\mu }_1\right)\mathcal{R}(\mathfrak{d}{\mu }_2+(1-\mathfrak{d}){\mu }_1)\mathrm{d}\mathfrak{d}\hfill \\ +2\mathrm{M}({\mu }_1,{\mu }_2){\int }_0^1\frac{\mathrm{{\rm Y}}\left(\mathfrak{d}({\mu }_2-{\mu }_1)\right)}{\mathfrak{d}}{\mathrm{e}}^{-\zeta ({\mu }_2-{\mu }_1)\mathfrak{d}}\mathfrak{d}(1-\mathfrak{d})\mathrm{d}\mathfrak{d}\hfill \\ +\mathrm{N}({\mu }_1,{\mu }_2){\int }_0^1\frac{\mathrm{{\rm Y}}\left(\mathfrak{d}({\mu }_2-{\mu }_1)\right)}{\mathfrak{d}}{\mathrm{e}}^{-\zeta ({\mu }_2-{\mu }_1)\mathfrak{d}}\left[{\mathfrak{d}}^2+{(1-\mathfrak{d})}^2\right]\mathrm{d}\mathfrak{d}.\hfill \end{array}$$

So, we get

$$\begin{array}{c}\left[{}_{{\mu }_1^{+}}{\mathrm{T}}_{\mathrm{{\rm Y}}}^{\zeta }\mathcal{S}\left({\mu }_2\right)\mathcal{R}\left({\mu }_2\right)+{}_{{\mu }_2^{-}}{\mathrm{T}}_{\mathrm{{\rm Y}}}^{\zeta }\mathcal{S}\left({\mu }_1\right)\mathcal{R}\left({\mu }_1\right)\right]+{\Theta }_{\mathrm{{\rm Y}}}^{\zeta }(\mathcal{S},\mathcal{R})\hfill \\ \le \left[{}_{{\mu }_1^{+}}{\mathrm{T}}_{\mathrm{{\rm Y}}}^{\zeta }\mathcal{S}\left({\mu }_2\right)\mathcal{R}\left({\mu }_2\right)+{}_{{\mu }_2^{-}}{\mathrm{T}}_{\mathrm{{\rm Y}}}^{\zeta }\mathcal{S}\left({\mu }_1\right)\mathcal{R}\left({\mu }_1\right)\right]+2\mathrm{M}({\mu }_1,{\mu }_2){\Delta }_{\mathrm{{\rm Y}}}^{\zeta }\hfill \\ +\mathrm{N}({\mu }_1,{\mu }_2)\left({\Psi }_{\mathrm{{\rm Y}}}^{\zeta }-2{\Delta }_{\mathrm{{\rm Y}}}^{\zeta }\right).\hfill \end{array}$$

(37)

This implies that the right-hand side of inequality (27) has been established. Therefore, the proof of Theorem 3 is concluded. □

Corollary 3. 

By substituting $\mathcal{S}=\mathcal{R}$ into Theorem 3, we obtain the following result:

$$\begin{array}{c}{\mathcal{S}}^2\left(\frac{{\mu }_1+{\mu }_2}{2}\right)-\frac{1}{4{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}\left[{}_{{\mu }_1^{+}}{\mathrm{T}}_{\mathrm{{\rm Y}}}^{\zeta }{\mathcal{S}}^2\left({\mu }_2\right)+{}_{{\mu }_2^{-}}{\mathrm{T}}_{\mathrm{{\rm Y}}}^{\zeta }{\mathcal{S}}^2\left({\mu }_1\right)\right]\hfill \\ \le \frac{1}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\Theta }_{\mathrm{{\rm Y}}}^{\zeta }\left(\mathcal{S}\right)\hfill \\ \le \frac{1}{2}\mathrm{P}({\mu }_1,{\mu }_2)\frac{{\Delta }_{\mathrm{{\rm Y}}}^{\zeta }}{{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}+\frac{1}{4}\mathrm{Q}({\mu }_1,{\mu }_2)\left(1-2\frac{{\Delta }_{\mathrm{{\rm Y}}}^{\zeta }}{{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}\right),\hfill \end{array}$$

(38)

where

$${\Theta }_{\mathrm{{\rm Y}}}^{\zeta }\left(\mathcal{S}\right):={\int }_0^{{\mu }_2-{\mu }_1}\frac{\mathrm{{\rm Y}}\left(\mathfrak{d}\right)}{\mathfrak{d}}{\mathrm{e}}^{-\zeta \mathfrak{d}}\mathcal{S}(\mathfrak{d}-{\mu }_1)\mathcal{S}({\mu }_2-\mathfrak{d})\mathrm{d}\mathfrak{d}$$

and

$$\mathrm{P}({\mu }_1,{\mu }_2):={\mathcal{S}}^2\left({\mu }_1\right)+{\mathcal{S}}^2\left({\mu }_2\right),\mathrm{Q}({\mu }_1,{\mu }_2):=2\mathcal{S}\left({\mu }_1\right)\mathcal{S}\left({\mu }_2\right).$$

Corollary 4. 

By selecting ${\displaystyle \mathrm{{\rm Y}}\left(\mathfrak{d}\right)=\frac{{\mathfrak{d}}^{\alpha }}{\Gamma \left(\alpha \right)}}$ in Theorem 3, we derive the following double inequality for the product of two convex functions employing tempered fractional integral operators:

$$\begin{array}{c}\mathcal{S}\left(\frac{{\mu }_1+{\mu }_2}{2}\right)\mathcal{R}\left(\frac{{\mu }_1+{\mu }_2}{2}\right)-\frac{\Gamma \left(\alpha \right)}{4{\gamma }_{\zeta }(\alpha ,{\mu }_2-{\mu }_1)}\left[{}_{{\mu }_1^{+}}{\mathrm{I}}^{\alpha ,\zeta }\mathcal{S}\left({\mu }_2\right)\mathcal{R}\left({\mu }_2\right)+{}_{{\mu }_2^{-}}{\mathrm{I}}^{\alpha ,\zeta }\mathcal{S}\left({\mu }_1\right)\mathcal{R}\left({\mu }_1\right)\right]\hfill \\ \le \frac{1}{4{\gamma }_{\zeta }(\alpha ,{\mu }_2-{\mu }_1)}{\Theta }^{\alpha ,\zeta }(\mathcal{S},\mathcal{R})\hfill \\ \le \frac{1}{2}\mathrm{M}({\mu }_1,{\mu }_2)\frac{{\Delta }^{\alpha ,\zeta }}{{\gamma }_{\zeta }(\alpha ,{\mu }_2-{\mu }_1)}+\frac{1}{4}\mathrm{N}({\mu }_1,{\mu }_2)\left(1-2\frac{{\Delta }^{\alpha ,\zeta }}{{\gamma }_{\zeta }(\alpha ,{\mu }_2-{\mu }_1)}\right),\hfill \end{array}$$

(39)

where

$${\Theta }^{\alpha ,\zeta }(\mathcal{S},\mathcal{R}):={\int }_0^{{\mu }_2-{\mu }_1}{\mathfrak{d}}^{\alpha -1}{\mathrm{e}}^{-\zeta \mathfrak{d}}\left[\mathcal{S}(\mathfrak{d}-{\mu }_1)\mathcal{R}({\mu }_2-\mathfrak{d})+\mathcal{S}({\mu }_2-\mathfrak{d})\mathcal{R}(\mathfrak{d}-{\mu }_1)\right]\mathrm{d}\mathfrak{d}$$

and

$${\Delta }^{\alpha ,\zeta }:=\frac{1}{{({\mu }_2-{\mu }_1)}^2}{\int }_0^{{\mu }_2-{\mu }_1}{\mathfrak{d}}^{\alpha }{\mathrm{e}}^{-\zeta \mathfrak{d}}({\mu }_2-{\mu }_1-\mathfrak{d})\mathrm{d}\mathfrak{d}.$$

3. Further Results Related to Generalized Tempered Fractional Integral Operators

To establish the results of this section regarding generalized tempered fractional integral operators, we commence by proving the following two lemmas.

Lemma 1. 

Consider a differentiable function $\mathcal{S}$ defined on the interval $[{\mu }_1,{\mu }_2]$. If ${\mathcal{S}}^{\prime }\in \mathrm{L}[{\mu }_1,{\mu }_2]$, then the following identity holds true for generalized tempered fractional integral operators:

$$\begin{array}{c}\frac{\mathcal{S}\left({\mu }_1\right)+\mathcal{S}\left({\mu }_2\right)}{2}-\frac{1}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}\left[{}_{{\mu }_1^{+}}{\mathrm{T}}_{\mathrm{{\rm Y}}}^{\zeta }\mathcal{S}\left({\mu }_2\right)+{}_{{\mu }_2^{-}}{\mathrm{T}}_{\mathrm{{\rm Y}}}^{\zeta }\mathcal{S}\left({\mu }_1\right)\right]\\ =\frac{({\mu }_2-{\mu }_1)}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\int }_0^1\left[{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }(1-\mathfrak{d})-{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }\left(\mathfrak{d}\right)\right]{\mathcal{S}}^{\prime }\left(\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2\right)\mathrm{d}\mathfrak{d},\end{array}$$

(40)

where ${\Omega }_{\mathrm{{\rm Y}}}^{\zeta }\left(\mathfrak{d}\right)$ and ${\Psi }_{\mathrm{{\rm Y}}}^{\zeta }$ are defined respectively, from (15) and (18). We denote

$${\mathrm{I}}_{\mathcal{S},{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }}({\mu }_1,{\mu }_2):=\frac{({\mu }_2-{\mu }_1)}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\int }_0^1\left[{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }(1-\mathfrak{d})-{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }\left(\mathfrak{d}\right)\right]{\mathcal{S}}^{\prime }\left(\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2\right)\mathrm{d}\mathfrak{d}.$$

(41)

Proof. 

We write (41) in the following form

$${\mathrm{I}}_{\mathcal{S},{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }}({\mu }_1,{\mu }_2)=\frac{({\mu }_2-{\mu }_1)}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}\left[{\mathrm{I}}_{\mathcal{S},{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }}^{\left(1\right)}({\mu }_1,{\mu }_2)-{\mathrm{I}}_{\mathcal{S},{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }}^{\left(2\right)}({\mu }_1,{\mu }_2)\right],$$

(42)

where

$${\mathrm{I}}_{\mathcal{S},{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }}^{\left(1\right)}({\mu }_1,{\mu }_2):={\int }_0^1{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }(1-\mathfrak{d}){\mathcal{S}}^{\prime }\left(\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2\right)\mathrm{d}\mathfrak{d}$$

(43)

and

$${\mathrm{I}}_{\mathcal{S},{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }}^{\left(2\right)}({\mu }_1,{\mu }_2):={\int }_0^1{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }\left(\mathfrak{d}\right){\mathcal{S}}^{\prime }\left(\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2\right)\mathrm{d}\mathfrak{d}.$$

(44)

By performing integration by parts on Equation (43) and making a change of variables in the integration, we obtain

$$\begin{array}{c}{\mathrm{I}}_{\mathcal{S},{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }}^{\left(1\right)}({\mu }_1,{\mu }_2)\hfill \\ ={\Omega }_{\mathrm{{\rm Y}}}^{\zeta }(1-\mathfrak{d})\frac{\mathcal{S}\left(\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2\right)}{{\mu }_1-{\mu }_2}{|}_0^1\hfill \\ +\frac{1}{{\mu }_1-{\mu }_2}{\int }_0^1\frac{\mathrm{{\rm Y}}\left((1-\mathfrak{d})({\mu }_2-{\mu }_1)\right)}{1-\mathfrak{d}}{\mathrm{e}}^{-\zeta ({\mu }_2-{\mu }_1)(1-\mathfrak{d})}\mathcal{S}\left(\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2\right)\mathrm{d}\mathfrak{d}\hfill \\ ={\Psi }_{\mathrm{{\rm Y}}}^{\zeta }\frac{\mathcal{S}\left({\mu }_2\right)}{{\mu }_2-{\mu }_1}-\frac{1}{{\mu }_2-{\mu }_1}\times {}_{{\mu }_2^{-}}{\mathrm{T}}_{\mathrm{{\rm Y}}}^{\zeta }\mathcal{S}\left({\mu }_1\right).\hfill \end{array}$$

(45)

Similarly, using (44), we get

$${\mathrm{I}}_{\mathcal{S},{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }}^{\left(2\right)}({\mu }_1,{\mu }_2)=-{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }\frac{\mathcal{S}\left({\mu }_1\right)}{{\mu }_2-{\mu }_1}+\frac{1}{{\mu }_2-{\mu }_1}\times {}_{{\mu }_1^{+}}{\mathrm{T}}_{\mathrm{{\rm Y}}}^{\zeta }\mathcal{S}\left({\mu }_2\right).$$

(46)

Substituting (45) and (46) in (42), we obtain the desired equality (40). □

Remark 2. 

Taking ${\displaystyle \mathrm{{\rm Y}}\left(\mathfrak{d}\right)=\frac{{\mathfrak{d}}^{\alpha }}{\Gamma \left(\alpha \right)}}$ and $\zeta =0$ in Lemma 1, we get ([19], Lemma 3.1).

Lemma 2. 

Suppose $\mathcal{S}:[{\mu }_1,{\mu }_2]\to \mathrm{R}$ is a differentiable function on the open interval $({\mu }_1,{\mu }_2).$ If ${\mathcal{S}}^{\prime }\in \mathrm{L}[{\mu }_1,{\mu }_2],$ then the following identity holds true for generalized tempered fractional integral operators:

$$\begin{array}{c}\mathcal{S}\left(\mathrm{x}\right)-\frac{1}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}\left[{}_{{\mathrm{x}}^{+}}{\mathrm{T}}_{\mathrm{{\rm Y}}}^{\zeta }\mathcal{S}\left({\mu }_2\right)+{}_{{\mathrm{x}}^{-}}{\mathrm{T}}_{\mathrm{{\rm Y}}}^{\zeta }\mathcal{S}\left({\mu }_1\right)\right]\hfill \\ =\frac{(\mathrm{x}-{\mu }_1)}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\int }_0^1{\Sigma }_{\mathrm{{\rm Y}},1}^{\zeta }(\mathrm{x},\mathfrak{d}){\mathcal{S}}^{\prime }\left(\mathfrak{d}\mathrm{x}+(1-\mathfrak{d}){\mu }_1\right)\mathrm{d}\mathfrak{d}\hfill \\ -\frac{({\mu }_2-\mathrm{x})}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\int }_0^1{\Sigma }_{\mathrm{{\rm Y}},2}^{\zeta }(\mathrm{x},\mathfrak{d}){\mathcal{S}}^{\prime }\left(\mathfrak{d}\mathrm{x}+(1-\mathfrak{d}){\mu }_2\right)\mathrm{d}\mathfrak{d},\hfill \end{array}$$

(47)

where ${\Sigma }_{\mathrm{{\rm Y}},1}^{\zeta }(\mathrm{x},\mathfrak{d})$ and ${\Sigma }_{\mathrm{{\rm Y}},2}^{\zeta }(\mathrm{x},\mathfrak{d})$ are defined respectively, from (16) and (17). We denote

$$\begin{array}{c}{\mathrm{I}}_{\mathcal{S},{\Sigma }_{\mathrm{{\rm Y}},1}^{\zeta },{\Sigma }_{\mathrm{{\rm Y}},2}^{\zeta }}(\mathrm{x};{\mu }_1,{\mu }_2):=\frac{(\mathrm{x}-{\mu }_1)}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\int }_0^1{\Sigma }_{\mathrm{{\rm Y}},1}^{\zeta }(\mathrm{x},\mathfrak{d}){\mathcal{S}}^{\prime }\left(\mathfrak{d}\mathrm{x}+(1-\mathfrak{d}){\mu }_1\right)\mathrm{d}\mathfrak{d}\hfill \\ -\frac{({\mu }_2-\mathrm{x})}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\int }_0^1{\Sigma }_{\mathrm{{\rm Y}},2}^{\zeta }(\mathrm{x},\mathfrak{d}){\mathcal{S}}^{\prime }\left(\mathfrak{d}\mathrm{x}+(1-\mathfrak{d}){\mu }_2\right)\mathrm{d}\mathfrak{d}.\hfill \end{array}$$

(48)

Proof. 

The proof is similar to the proof of Lemma 1. □

Theorem 4. 

Assume that $\mathcal{S}$ is a differentiable function on the interval $[{\mu }_1,{\mu }_2]$. If ${\mathcal{S}}^{\prime }\in \mathrm{L}[{\mu }_1,{\mu }_2]$ and $|{\mathcal{S}}^{\prime }{|}^{\mathrm{q}}$ is a convex function, then, under the conditions $\mathrm{q}>1$ and $\frac{1}{\mathrm{p}}+\frac{1}{\mathrm{q}}=1$, the following inequality holds true for generalized tempered fractional integral operators:

$$\left|{\mathrm{I}}_{\mathcal{S},{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }}({\mu }_1,{\mu }_2)\right|\le \frac{({\mu }_2-{\mu }_1)}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\left[{\Pi }_{\mathrm{{\rm Y}}}^{\zeta }\left(\mathrm{p}\right)\right]}^{\frac{1}{\mathrm{p}}}{\left[\frac{|{\mathcal{S}}^{\prime }\left({\mu }_1\right){|}^{\mathrm{q}}+{\left|{\mathcal{S}}^{\prime }\left({\mu }_2\right)\right|}^{\mathrm{q}}}{2}\right]}^{\frac{1}{\mathrm{q}}},$$

(49)

where

$$\begin{array}{c}{\Pi }_{\mathrm{{\rm Y}}}^{\zeta }\left(\mathrm{p}\right):={\int }_0^1|{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }(1-\mathfrak{d})-{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }\left(\mathfrak{d}\right){|}^{\mathrm{p}}\mathrm{d}\mathfrak{d}\hfill \\ ={\int }_0^{\frac{1}{2}}{\left[{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }(1-\mathfrak{d})-{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }\left(\mathfrak{d}\right)\right]}^{\mathrm{p}}\mathrm{d}\mathfrak{d}+{\int }_{\frac{1}{2}}^1{\left[{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }\left(\mathfrak{d}\right)-{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }(1-\mathfrak{d})\right]}^{\mathrm{p}}\mathrm{d}\mathfrak{d}.\hfill \end{array}$$

(50)

Proof. 

Based on the properties of modulus, the convexity of $|{\mathcal{S}}^{\prime }{|}^{\mathrm{q}}$ and applying Hölder’s inequality, we can deduce from Lemma 1 the following results:

$$\begin{array}{c}\left|{\mathrm{I}}_{\mathcal{S},{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }}({\mu }_1,{\mu }_2)\right|\le \frac{({\mu }_2-{\mu }_1)}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\int }_0^1|{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }(1-\mathfrak{d})-{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }\left(\mathfrak{d}\right)|\left|{\mathcal{S}}^{\prime }\left(\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2\right)\right|\mathrm{d}\mathfrak{d}\hfill \\ \le \frac{({\mu }_2-{\mu }_1)}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\left({\int }_0^1|{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }(1-\mathfrak{d})-{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }\left(\mathfrak{d}\right){|}^{\mathrm{p}}\mathrm{d}\mathfrak{d}\right)}^{\frac{1}{\mathrm{p}}}{\left({\int }_0^1{\left|{\mathcal{S}}^{\prime }\left(\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2\right)\right|}^{\mathrm{q}}\mathrm{d}\mathfrak{d}\right)}^{\frac{1}{\mathrm{q}}}\hfill \\ \le \frac{({\mu }_2-{\mu }_1)}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\left[{\Pi }_{\mathrm{{\rm Y}}}^{\zeta }\left(\mathrm{p}\right)\right]}^{\frac{1}{\mathrm{p}}}{\left({\int }_0^1\left[\mathfrak{d}|{\mathcal{S}}^{\prime }\left({\mu }_1\right){|}^{\mathrm{q}}+(1-\mathfrak{d}){\left|{\mathcal{S}}^{\prime }\left({\mu }_2\right)\right|}^{\mathrm{q}}\right]\mathrm{d}\mathfrak{d}\right)}^{\frac{1}{\mathrm{q}}}\hfill \\ =\frac{({\mu }_2-{\mu }_1)}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\left[{\Pi }_{\mathrm{{\rm Y}}}^{\zeta }\left(\mathrm{p}\right)\right]}^{\frac{1}{\mathrm{p}}}{\left[\frac{|{\mathcal{S}}^{\prime }\left({\mu }_2\right){|}^{\mathrm{q}}+{\left|{\mathcal{S}}^{\prime }\left({\mu }_1\right)\right|}^{\mathrm{q}}}{2}\right]}^{\frac{1}{\mathrm{q}}}.\hfill \end{array}$$

We have successfully completed the proof of Theorem 4. □

Let us highlight a few specific scenarios that arise as special cases of Theorem 4.

Corollary 5. 

Taking ${\displaystyle \mathrm{{\rm Y}}\left(\mathfrak{d}\right)=\frac{{\mathfrak{d}}^{\alpha }}{\Gamma \left(\alpha \right)}}$ and $\zeta =0$ in Theorem 4, we get ([19], Corollary 3.3).

Corollary 6. 

Choosing $|{\mathcal{S}}^{\prime }|\le \mathrm{K}$ in Theorem 4, we obtain

$$\left|{\mathrm{I}}_{\mathcal{S},{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }}({\mu }_1,{\mu }_2)\right|\le \mathrm{K}\frac{({\mu }_2-{\mu }_1)}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\left[{\Pi }_{\mathrm{{\rm Y}}}^{\zeta }\left(\mathrm{p}\right)\right]}^{\frac{1}{\mathrm{p}}}.$$

(51)

Theorem 5. 

Consider a differentiable function $\mathcal{S}$ defined on the interval $[{\mu }_1,{\mu }_2]$. Suppose ${\mathcal{S}}^{\prime }\in \mathrm{L}[{\mu }_1,{\mu }_2]$ and $|{\mathcal{S}}^{\prime }{|}^{\mathrm{q}}$ is a convex function. Then, for $\mathrm{q}\ge 1$, the following inequality holds true for generalized tempered fractional integral operators:

$$\begin{array}{c}\left|{\mathrm{I}}_{\mathcal{S},{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }}({\mu }_1,{\mu }_2)\right|\le \frac{({\mu }_2-{\mu }_1)}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}\hfill \\ \times \{{\left[{\mathrm{A}}_{\mathrm{{\rm Y}},1}^{\zeta }\right]}^{1-\frac{1}{\mathrm{q}}}{\left[{\mathrm{A}}_{\mathrm{{\rm Y}},2}^{\zeta }|{\mathcal{S}}^{\prime }\left({\mu }_1\right){|}^{\mathrm{q}}+\left({\mathrm{A}}_{\mathrm{{\rm Y}},1}^{\zeta }-{\mathrm{A}}_{\mathrm{{\rm Y}},2}^{\zeta }\right){\left|{\mathcal{S}}^{\prime }\left({\mu }_2\right)\right|}^{\mathrm{q}}\right]}^{\frac{1}{\mathrm{q}}}\hfill \\ +{\left[{\mathrm{B}}_{\mathrm{{\rm Y}},1}^{\zeta }\right]}^{1-\frac{1}{\mathrm{q}}}{\left[{\mathrm{B}}_{\mathrm{{\rm Y}},2}^{\zeta }|{\mathcal{S}}^{\prime }\left({\mu }_1\right){|}^{\mathrm{q}}+\left({\mathrm{B}}_{\mathrm{{\rm Y}},1}^{\zeta }-{\mathrm{B}}_{\mathrm{{\rm Y}},2}^{\zeta }\right){\left|{\mathcal{S}}^{\prime }\left({\mu }_2\right)\right|}^{\mathrm{q}}\right]}^{\frac{1}{\mathrm{q}}}\},\hfill \end{array}$$

(52)

where

$$\begin{array}{c}{\mathrm{A}}_{\mathrm{{\rm Y}},1}^{\zeta }:={\int }_0^{\frac{1}{2}}\left[{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }(1-\mathfrak{d})-{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }\left(\mathfrak{d}\right)\right]\mathrm{d}\mathfrak{d},\hfill \\ {\mathrm{A}}_{\mathrm{{\rm Y}},2}^{\zeta }:={\int }_0^{\frac{1}{2}}\mathfrak{d}\left[{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }(1-\mathfrak{d})-{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }\left(\mathfrak{d}\right)\right]\mathrm{d}\mathfrak{d},\hfill \\ {\mathrm{B}}_{\mathrm{{\rm Y}},1}^{\zeta }:={\int }_{\frac{1}{2}}^1\left[{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }\left(\mathfrak{d}\right)-{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }(1-\mathfrak{d})\right]\mathrm{d}\mathfrak{d},\hfill \\ {\mathrm{B}}_{\mathrm{{\rm Y}},2}^{\zeta }:={\int }_{\frac{1}{2}}^1\mathfrak{d}\left[{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }\left(\mathfrak{d}\right)-{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }(1-\mathfrak{d})\right]\mathrm{d}\mathfrak{d}\hfill \end{array}$$

and ${\Psi }_{\mathrm{{\rm Y}}}^{\zeta }$ is defined from (18).

Proof. 

From Lemma 1, convexity of $|{\mathcal{S}}^{\prime }{|}^{\mathrm{q}},$ power mean inequality and properties of the modulus, we have

$$\begin{array}{c}\left|{\mathrm{I}}_{\mathcal{S},{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }}({\mu }_1,{\mu }_2)\right|\hfill \\ \le \frac{({\mu }_2-{\mu }_1)}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\int }_0^1|{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }(1-\mathfrak{d})-{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }\left(\mathfrak{d}\right)|\left|{\mathcal{S}}^{\prime }\left(\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2\right)\right|\mathrm{d}\mathfrak{d}\hfill \\ \le \frac{({\mu }_2-{\mu }_1)}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\left({\int }_0^1|{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }(1-\mathfrak{d})-{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }\left(\mathfrak{d}\right)|\mathrm{d}\mathfrak{d}\right)}^{1-\frac{1}{\mathrm{q}}}\hfill \\ \times {\left({\int }_0^1|{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }(1-\mathfrak{d})-{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }\left(\mathfrak{d}\right)|{\left|{\mathcal{S}}^{\prime }\left(\mathfrak{d}{\mu }_1+(1-\mathfrak{d}){\mu }_2\right)\right|}^{\mathrm{q}}\mathrm{d}\mathfrak{d}\right)}^{\frac{1}{\mathrm{q}}}\hfill \\ \le \frac{({\mu }_2-{\mu }_1)}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}\{{\left({\int }_0^{\frac{1}{2}}\left[{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }(1-\mathfrak{d})-{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }\left(\mathfrak{d}\right)\right]\mathrm{d}\mathfrak{d}\right)}^{1-\frac{1}{\mathrm{q}}}\hfill \\ \times {\left({\int }_0^{\frac{1}{2}}\left[{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }(1-\mathfrak{d})-{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }\left(\mathfrak{d}\right)\right]\left[\mathfrak{d}|{\mathcal{S}}^{\prime }\left({\mu }_1\right){|}^{\mathrm{q}}+(1-\mathfrak{d}){\left|{\mathcal{S}}^{\prime }\left({\mu }_2\right)\right|}^{\mathrm{q}}\right]\mathrm{d}\mathfrak{d}\right)}^{\frac{1}{\mathrm{q}}}\hfill \\ +{\left({\int }_{\frac{1}{2}}^1\left[{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }\left(\mathfrak{d}\right)-{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }(1-\mathfrak{d})\right]\mathrm{d}\mathfrak{d}\right)}^{1-\frac{1}{\mathrm{q}}}\hfill \\ \times {\left({\int }_{\frac{1}{2}}^1\left[{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }\left(\mathfrak{d}\right)-{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }(1-\mathfrak{d})\right]\left[\mathfrak{d}|{\mathcal{S}}^{\prime }\left({\mu }_1\right){|}^{\mathrm{q}}+(1-\mathfrak{d}){\left|{\mathcal{S}}^{\prime }\left({\mu }_2\right)\right|}^{\mathrm{q}}\right]\mathrm{d}\mathfrak{d}\right)}^{\frac{1}{\mathrm{q}}}\}\hfill \\ =\frac{({\mu }_2-{\mu }_1)}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}\hfill \\ \times \{{\left[{\varphi }_{\mathrm{{\rm Y}},1}^{\zeta }\right]}^{1-\frac{1}{\mathrm{q}}}{\left[{\varphi }_{\mathrm{{\rm Y}},2}^{\zeta }|{\mathcal{S}}^{\prime }\left({\mu }_1\right){|}^{\mathrm{q}}+\left({\varphi }_{\mathrm{{\rm Y}},1}^{\zeta }-{\varphi }_{\mathrm{{\rm Y}},2}^{\zeta }\right){\left|{\mathcal{S}}^{\prime }\left({\mu }_2\right)\right|}^{\mathrm{q}}\right]}^{\frac{1}{\mathrm{q}}}\hfill \\ +{\left[{\mathrm{B}}_{\mathrm{{\rm Y}},1}^{\zeta }\right]}^{1-\frac{1}{\mathrm{q}}}{\left[{\mathrm{B}}_{\mathrm{{\rm Y}},2}^{\zeta }|{\mathcal{S}}^{\prime }\left({\mu }_1\right){|}^{\mathrm{q}}+\left({\mathrm{B}}_{\mathrm{{\rm Y}},1}^{\zeta }-{\mathrm{B}}_{\mathrm{{\rm Y}},2}^{\zeta }\right){\left|{\mathcal{S}}^{\prime }\left({\mu }_2\right)\right|}^{\mathrm{q}}\right]}^{\frac{1}{\mathrm{q}}}\}.\hfill \end{array}$$

We have successfully completed the proof of Theorem 5. □

Now, let us consider some specific instances that arise as special cases of Theorem 5.

Corollary 7. 

Taking $\mathrm{q}=1$ in Theorem 5, we have

$$\begin{array}{c}\left|{\mathrm{I}}_{\mathcal{S},{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }}({\mu }_1,{\mu }_2)\right|\le \frac{({\mu }_2-{\mu }_1)}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}\hfill \\ \times \left\{\left[{\mathrm{A}}_{\mathrm{{\rm Y}},2}^{\zeta }|{\mathcal{S}}^{\prime }\left({\mu }_1\right)|+\left({\mathrm{A}}_{\mathrm{{\rm Y}},1}^{\zeta }-{\mathrm{A}}_{\mathrm{{\rm Y}},2}^{\zeta }\right)\left|{\mathcal{S}}^{\prime }\left({\mu }_2\right)\right|\right]+\left[{\mathrm{B}}_{\mathrm{{\rm Y}},2}^{\zeta }|{\mathcal{S}}^{\prime }\left({\mu }_1\right)|+\left({\mathrm{B}}_{\mathrm{{\rm Y}},1}^{\zeta }-{\mathrm{B}}_{\mathrm{{\rm Y}},2}^{\zeta }\right)\left|{\mathcal{S}}^{\prime }\left({\mu }_2\right)\right|\right]\right\}.\hfill \end{array}$$

(53)

Corollary 8. 

Choosing ${\displaystyle \mathrm{{\rm Y}}\left(\mathfrak{d}\right)=\frac{{\mathfrak{d}}^{\alpha }}{\Gamma \left(\alpha \right)}}$ and $\zeta =0$ in Corollary 7, we get ([19], Theorem 1.4).

Corollary 9. 

By employing the inequality $|{\mathcal{S}}^{\prime }|\le \mathrm{K}$ in Theorem 5, we can derive the following result,

$$\left|{\mathrm{I}}_{\mathcal{S},{\Omega }_{\mathrm{{\rm Y}}}^{\zeta }}({\mu }_1,{\mu }_2)\right|\le \mathrm{K}\frac{({\mu }_2-{\mu }_1)}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}\left[{\mathrm{A}}_{\mathrm{{\rm Y}},1}^{\zeta }+{\mathrm{B}}_{\mathrm{{\rm Y}},1}^{\zeta }\right].$$

(54)

Theorem 6. 

Consider a differentiable function $\mathcal{S}$ defined on the interval $[{\mu }_1,{\mu }_2]$. Suppose ${\mathcal{S}}^{\prime }\in \mathrm{L}[{\mu }_1,{\mu }_2]$ and $|{\mathcal{S}}^{\prime }{|}^{\mathrm{q}}$ is a convex function. Then, under the conditions $\mathrm{q}>1$ and $\frac{1}{\mathrm{p}}+\frac{1}{\mathrm{q}}=1$, the following inequality holds true for the generalized tempered fractional integral operators:

$$\begin{array}{c}\left|{\mathrm{I}}_{\mathcal{S},{\Sigma }_{\mathrm{{\rm Y}},1}^{\zeta },{\Sigma }_{\mathrm{{\rm Y}},2}^{\zeta }}(\mathrm{x};{\mu }_1,{\mu }_2)\right|\le \frac{(\mathrm{x}-{\mu }_1)}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\left[{\Xi }_{\mathrm{{\rm Y}},1}^{\zeta }(\mathrm{x},\mathrm{p})\right]}^{\frac{1}{\mathrm{p}}}{\left[\frac{|{\mathcal{S}}^{\prime }{\left(\mathrm{x}\right)|}^{\mathrm{q}}+{\left|{\mathcal{S}}^{\prime }\left({\mu }_1\right)\right|}^{\mathrm{q}}}{2}\right]}^{\frac{1}{\mathrm{q}}}\hfill \\ +\frac{({\mu }_2-\mathrm{x})}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\left[{\Xi }_{\mathrm{{\rm Y}},2}^{\zeta }(\mathrm{x},\mathrm{p})\right]}^{\frac{1}{\mathrm{p}}}{\left[\frac{|{\mathcal{S}}^{\prime }{\left(\mathrm{x}\right)|}^{\mathrm{q}}+{\left|{\mathcal{S}}^{\prime }\left({\mu }_2\right)\right|}^{\mathrm{q}}}{2}\right]}^{\frac{1}{\mathrm{q}}},\hfill \end{array}$$

(55)

where

$${\Xi }_{\mathrm{{\rm Y}},1}^{\zeta }(\mathrm{x},\mathrm{p}):={\int }_0^1{\left[{\Sigma }_{\mathrm{{\rm Y}},1}^{\zeta }(\mathrm{x},\mathfrak{d})\right]}^{\mathrm{p}}\mathrm{d}\mathfrak{d},{\Xi }_{\mathrm{{\rm Y}},2}^{\zeta }(\mathrm{x},\mathrm{p}):={\int }_0^1{\left[{\Sigma }_{\mathrm{{\rm Y}},2}^{\zeta }(\mathrm{x},\mathfrak{d})\right]}^{\mathrm{p}}\mathrm{d}\mathfrak{d}.$$

Proof. 

By utilizing Lemma 2, convexity of $|{\mathcal{S}}^{\prime }{|}^{\mathrm{q}}$, Hölder’s inequality and considering the properties of the modulus, we can derive the following results:

$$\begin{array}{c}\left|{\mathrm{I}}_{\mathcal{S},{\Sigma }_{\mathrm{{\rm Y}},1}^{\zeta },{\Sigma }_{\mathrm{{\rm Y}},2}^{\zeta }}(\mathrm{x};{\mu }_1,{\mu }_2)\right|\le \frac{(\mathrm{x}-{\mu }_1)}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\int }_0^1{\Sigma }_{\mathrm{{\rm Y}},1}^{\zeta }(\mathrm{x},\mathfrak{d})\left|{\mathcal{S}}^{\prime }\left(\mathfrak{d}\mathrm{x}+(1-\mathfrak{d}){\mu }_1\right)\right|\mathrm{d}\mathfrak{d}\hfill \\ +\frac{({\mu }_2-\mathrm{x})}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\int }_0^1{\Sigma }_{\mathrm{{\rm Y}},2}^{\zeta }(\mathrm{x},\mathfrak{d})\left|{\mathcal{S}}^{\prime }\left(\mathfrak{d}\mathrm{x}+(1-\mathfrak{d}){\mu }_2\right)\right|\mathrm{d}\mathfrak{d}\hfill \\ \le \frac{(\mathrm{x}-{\mu }_1)}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\left({\int }_0^1{\left[{\Sigma }_{\mathrm{{\rm Y}},1}^{\zeta }(\mathrm{x},\mathfrak{d})\right]}^{\mathrm{p}}\mathrm{d}\mathfrak{d}\right)}^{\frac{1}{\mathrm{p}}}{\left({\int }_0^1{\left|{\mathcal{S}}^{\prime }\left(\mathfrak{d}\mathrm{x}+(1-\mathfrak{d}){\mu }_1\right)\right|}^{\mathrm{q}}\mathrm{d}\mathfrak{d}\right)}^{\frac{1}{\mathrm{q}}}\hfill \\ +\frac{({\mu }_2-\mathrm{x})}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\left({\int }_0^1{\left[{\Sigma }_{\mathrm{{\rm Y}},2}^{\zeta }(\mathrm{x},\mathfrak{d})\right]}^{\mathrm{p}}\mathrm{d}\mathfrak{d}\right)}^{\frac{1}{\mathrm{p}}}{\left({\int }_0^1{\left|{\mathcal{S}}^{\prime }\left(\mathfrak{d}\mathrm{x}+(1-\mathfrak{d}){\mu }_2\right)\right|}^{\mathrm{q}}\mathrm{d}\mathfrak{d}\right)}^{\frac{1}{\mathrm{q}}}\hfill \\ \le \frac{(\mathrm{x}-{\mu }_1)}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\left[{\Xi }_{\mathrm{{\rm Y}},1}^{\zeta }(\mathrm{x},\mathrm{p})\right]}^{\frac{1}{\mathrm{p}}}{\left({\int }_0^1\left[\mathfrak{d}|{\mathcal{S}}^{\prime }{\left(\mathrm{x}\right)|}^{\mathrm{q}}+(1-\mathfrak{d}){\left|{\mathcal{S}}^{\prime }\left({\mu }_1\right)\right|}^{\mathrm{q}}\right]\mathrm{d}\mathfrak{d}\right)}^{\frac{1}{\mathrm{q}}}\hfill \\ +\frac{({\mu }_2-\mathrm{x})}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\left[{\Xi }_{\mathrm{{\rm Y}},2}^{\zeta }(\mathrm{x},\mathrm{p})\right]}^{\frac{1}{\mathrm{p}}}{\left({\int }_0^1\left[\mathfrak{d}|{\mathcal{S}}^{\prime }{\left(\mathrm{x}\right)|}^{\mathrm{q}}+(1-\mathfrak{d}){\left|{\mathcal{S}}^{\prime }\left({\mu }_2\right)\right|}^{\mathrm{q}}\right]\mathrm{d}\mathfrak{d}\right)}^{\frac{1}{\mathrm{q}}}\hfill \\ =\frac{(\mathrm{x}-{\mu }_1)}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\left[{\Xi }_{\mathrm{{\rm Y}},1}^{\zeta }(\mathrm{x},\mathrm{p})\right]}^{\frac{1}{\mathrm{p}}}{\left[\frac{{\left|{\mathcal{S}}^{\prime }\left(\mathrm{x}\right)\right|}^{\mathrm{q}}+{\left|{\mathcal{S}}^{\prime }\left({\mu }_1\right)\right|}^{\mathrm{q}}}{2}\right]}^{\frac{1}{\mathrm{q}}}\hfill \\ +\frac{({\mu }_2-\mathrm{x})}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\left[{\Xi }_{\mathrm{{\rm Y}},2}^{\zeta }(\mathrm{x},\mathrm{p})\right]}^{\frac{1}{\mathrm{p}}}{\left[\frac{{\left|{\mathcal{S}}^{\prime }\left(\mathrm{x}\right)\right|}^{\mathrm{q}}+{\left|{\mathcal{S}}^{\prime }\left({\mu }_2\right)\right|}^{\mathrm{q}}}{2}\right]}^{\frac{1}{\mathrm{q}}}.\hfill \end{array}$$

The proof of Theorem 6 has been successfully concluded. □

Let us highlight certain specific instances of Theorem 6.

Corollary 10. 

By substituting ${\displaystyle \mathrm{x}=\frac{{\mu }_1+{\mu }_2}{2}}$ into Theorem 6, we obtain the following midpoint inequality using generalized tempered fractional integral operators:

$$\begin{array}{c}\left|{\mathrm{I}}_{\mathcal{S},{\Sigma }_{\mathrm{{\rm Y}},1}^{\zeta },{\Sigma }_{\mathrm{{\rm Y}},2}^{\zeta }}\left(\frac{{\mu }_1+{\mu }_2}{2};{\mu }_1,{\mu }_2\right)\right|\le \frac{({\mu }_2-{\mu }_1)}{2^{2+\frac{1}{\mathrm{q}}}{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\left[{\Xi }_{\mathrm{{\rm Y}}}^{\zeta }\left(\mathrm{p}\right)\right]}^{\frac{1}{\mathrm{p}}}\hfill \\ \times \left\{{\left[|{\mathcal{S}}^{\prime }\left({\mu }_1\right){|}^{\mathrm{q}}+|{\mathcal{S}}^{\prime }\left(\frac{{\mu }_1+{\mu }_2}{2}\right){|}^{\mathrm{q}}\right]}^{\frac{1}{\mathrm{q}}}+{\left[|{\mathcal{S}}^{\prime }\left(\frac{{\mu }_1+{\mu }_2}{2}\right){|}^{\mathrm{q}}+{\left|{\mathcal{S}}^{\prime }\left({\mu }_2\right)\right|}^{\mathrm{q}}\right]}^{\frac{1}{\mathrm{q}}}\right\},\hfill \end{array}$$

(56)

where

$${\Xi }_{\mathrm{{\rm Y}}}^{\zeta }\left(\mathrm{p}\right):={\int }_0^1{\left({\int }_0^{\mathfrak{d}}\frac{\mathrm{{\rm Y}}\left(\mathrm{u}\left(\frac{{\mu }_2-{\mu }_1}{2}\right)\right)}{\mathrm{u}}{\mathrm{e}}^{-\zeta ({\mu }_2-{\mu }_1)\mathrm{u}}\mathrm{du}\right)}^{\mathrm{p}}\mathrm{d}\mathfrak{d}.$$

Corollary 11. 

Choosing ${\displaystyle \mathrm{{\rm Y}}\left(\mathfrak{d}\right)=\frac{{\mathfrak{d}}^{\alpha }}{\Gamma \left(\alpha \right)}}$ in Theorem 6, we get

$$\begin{array}{c}\left|{\mathrm{I}}_{\mathcal{S},{\Sigma }_{\mathrm{{\rm Y}},1}^{\zeta },{\Sigma }_{\mathrm{{\rm Y}},2}^{\zeta }}(\mathrm{x};{\mu }_1,{\mu }_2)\right|\le \frac{1}{2{\gamma }_{\zeta }(\alpha ,{\mu }_2-{\mu }_1)}{\left[{\mathfrak{d}}_{\gamma }(\alpha ,\mathrm{p})\right]}^{\frac{1}{\mathrm{p}}}\hfill \\ \times \left\{{(\mathrm{x}-{\mu }_1)}^{\alpha +1}{\left[\frac{{\left|{\mathcal{S}}^{\prime }\left(\mathrm{x}\right)\right|}^{\mathrm{q}}+{\left|{\mathcal{S}}^{\prime }\left({\mu }_1\right)\right|}^{\mathrm{q}}}{2}\right]}^{\frac{1}{\mathrm{q}}}+{({\mu }_2-\mathrm{x})}^{\alpha +1}{\left[\frac{{\left|{\mathcal{S}}^{\prime }\left(\mathrm{x}\right)\right|}^{\mathrm{q}}+{\left|{\mathcal{S}}^{\prime }\left({\mu }_2\right)\right|}^{\mathrm{q}}}{2}\right]}^{\frac{1}{\mathrm{q}}}\right\},\hfill \end{array}$$

(57)

where

$${\mathfrak{d}}_{\gamma }(\alpha ,\mathrm{p}):={\int }_0^1{\left[{\gamma }_{\zeta ({\mu }_2-{\mu }_1)}(\alpha ,\mathfrak{d})\right]}^{\mathrm{p}}\mathrm{d}\mathfrak{d}.$$

Corollary 12. 

By substituting $|{\mathcal{S}}^{\prime }|\le \mathrm{K}$ into Theorem 6, we derive the following result:

$$\left|{\mathrm{I}}_{\mathcal{S},{\Sigma }_{\mathrm{{\rm Y}},1}^{\zeta },{\Sigma }_{\mathrm{{\rm Y}},2}^{\zeta }}(\mathrm{x};{\mu }_1,{\mu }_2)\right|\le \frac{\mathrm{K}}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}\left\{(\mathrm{x}-{\mu }_1){\left[{\Xi }_{\mathrm{{\rm Y}},1}^{\zeta }(\mathrm{x},\mathrm{p})\right]}^{\frac{1}{\mathrm{p}}}+({\mu }_2-\mathrm{x}){\left[{\Xi }_{\mathrm{{\rm Y}},2}^{\zeta }(\mathrm{x},\mathrm{p})\right]}^{\frac{1}{\mathrm{p}}}\right\}.$$

(58)

Theorem 7. 

For a differentiable function $\mathcal{S}:[{\mu }_1,{\mu }_2]\to \mathrm{R}$ defined on the interval $[{\mu }_1,{\mu }_2],$ if ${\mathcal{S}}^{\prime }\in \mathrm{L}[{\mu }_1,{\mu }_2]$ and the function $|{\mathcal{S}}^{\prime }{|}^{\mathrm{q}}$ is convex, where $\mathrm{q}\ge 1,$ then the following inequality holds true for the generalized tempered fractional integral operators:

$$\begin{array}{c}\left|{\mathrm{I}}_{\mathcal{S},{\Sigma }_{\mathrm{{\rm Y}},1}^{\zeta },{\Sigma }_{\mathrm{{\rm Y}},2}^{\zeta }}(\mathrm{x};{\mu }_1,{\mu }_2)\right|\le \frac{(\mathrm{x}-{\mu }_1)}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}\hfill \\ \times {\left[{\mathrm{M}}_{\mathrm{{\rm Y}},1}^{\zeta }\left(\mathrm{x}\right)\right]}^{1-\frac{1}{\mathrm{q}}}{\left[{\mathrm{M}}_{\mathrm{{\rm Y}},3}^{\zeta }\left(\mathrm{x}\right)|{\mathcal{S}}^{\prime }{\left(\mathrm{x}\right)|}^{\mathrm{q}}+\left({\mathrm{M}}_{\mathrm{{\rm Y}},1}^{\zeta }\left(\mathrm{x}\right)-{\mathrm{M}}_{\mathrm{{\rm Y}},3}^{\zeta }\left(\mathrm{x}\right)\right){\left|{\mathcal{S}}^{\prime }\left({\mu }_1\right)\right|}^{\mathrm{q}}\right]}^{\frac{1}{\mathrm{q}}}\hfill \\ +\frac{({\mu }_2-\mathrm{x})}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\left[{\mathrm{M}}_{\mathrm{{\rm Y}},2}^{\zeta }\left(\mathrm{x}\right)\right]}^{1-\frac{1}{\mathrm{q}}}{\left[{\mathrm{M}}_{\mathrm{{\rm Y}},4}^{\zeta }\left(\mathrm{x}\right)|{\mathcal{S}}^{\prime }{\left(\mathrm{x}\right)|}^{\mathrm{q}}+\left({\mathrm{M}}_{\mathrm{{\rm Y}},2}^{\zeta }\left(\mathrm{x}\right)-{\mathrm{M}}_{\mathrm{{\rm Y}},4}^{\zeta }\left(\mathrm{x}\right)\right){\left|{\mathcal{S}}^{\prime }\left({\mu }_2\right)\right|}^{\mathrm{q}}\right]}^{\frac{1}{\mathrm{q}}},\hfill \end{array}$$

(59)

where

$$\begin{array}{c}{\mathrm{M}}_{\mathrm{{\rm Y}},1}^{\zeta }\left(\mathrm{x}\right):={\int }_0^1{\Sigma }_{\mathrm{{\rm Y}},1}^{\zeta }(\mathrm{x},\mathfrak{d})\mathrm{d}\mathfrak{d},\hfill \\ {\mathrm{M}}_{\mathrm{{\rm Y}},2}^{\zeta }\left(\mathrm{x}\right):={\int }_0^1{\Sigma }_{\mathrm{{\rm Y}},2}^{\zeta }(\mathrm{x},\mathfrak{d})\mathrm{d}\mathfrak{d},\hfill \\ {\mathrm{M}}_{\mathrm{{\rm Y}},3}^{\zeta }\left(\mathrm{x}\right):={\int }_0^1\mathfrak{d}{\Sigma }_{\mathrm{{\rm Y}},1}^{\zeta }(\mathrm{x},\mathfrak{d})\mathrm{d}\mathfrak{d},\hfill \\ {\mathrm{M}}_{\mathrm{{\rm Y}},4}^{\zeta }\left(\mathrm{x}\right):={\int }_0^1\mathfrak{d}{\Sigma }_{\mathrm{{\rm Y}},2}^{\zeta }(\mathrm{x},\mathfrak{d})\mathrm{d}\mathfrak{d}\hfill \end{array}$$

and ${\Psi }_{\mathrm{{\rm Y}}}^{\zeta }$ is defined from (18).

Proof. 

From Lemma 2, convexity of $|{\mathcal{S}}^{\prime }{|}^{\mathrm{q}},$ power mean inequality and properties of the modulus, we have

$$\begin{array}{c}\left|{\mathrm{I}}_{\mathcal{S},{\Sigma }_{\mathrm{{\rm Y}},1}^{\zeta },{\Sigma }_{\mathrm{{\rm Y}},2}^{\zeta }}(\mathrm{x};{\mu }_1,{\mu }_2)\right|\le \frac{(\mathrm{x}-{\mu }_1)}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\int }_0^1{\Sigma }_{\mathrm{{\rm Y}},1}^{\zeta }(\mathrm{x},\mathfrak{d})\left|{\mathcal{S}}^{\prime }\left(\mathfrak{d}\mathrm{x}+(1-\mathfrak{d}){\mu }_1\right)\right|\mathrm{d}\mathfrak{d}\hfill \\ +\frac{({\mu }_2-\mathrm{x})}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\int }_0^1{\Sigma }_{\mathrm{{\rm Y}},2}^{\zeta }(\mathrm{x},\mathfrak{d})\left|{\mathcal{S}}^{\prime }\left(\mathfrak{d}\mathrm{x}+(1-\mathfrak{d}){\mu }_2\right)\right|\mathrm{d}\mathfrak{d}\hfill \\ \le \frac{(\mathrm{x}-{\mu }_1)}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\left({\int }_0^1{\Sigma }_{\mathrm{{\rm Y}},1}^{\zeta }(\mathrm{x},\mathfrak{d})\mathrm{d}\mathfrak{d}\right)}^{1-\frac{1}{\mathrm{q}}}{\left({\int }_0^1{\Sigma }_{\mathrm{{\rm Y}},1}^{\zeta }(\mathrm{x},\mathfrak{d}){\left|{\mathcal{S}}^{\prime }\left(\mathfrak{d}\mathrm{x}+(1-\mathfrak{d}){\mu }_1\right)\right|}^{\mathrm{q}}\mathrm{d}\mathfrak{d}\right)}^{\frac{1}{\mathrm{q}}}\hfill \\ +\frac{({\mu }_2-\mathrm{x})}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\left({\int }_0^1{\Sigma }_{\mathrm{{\rm Y}},2}^{\zeta }(\mathrm{x},\mathfrak{d})\mathrm{d}\mathfrak{d}\right)}^{1-\frac{1}{\mathrm{q}}}{\left({\int }_0^1{\Sigma }_{\mathrm{{\rm Y}},2}^{\zeta }(\mathrm{x},\mathfrak{d}){\left|{\mathcal{S}}^{\prime }\left(\mathfrak{d}\mathrm{x}+(1-\mathfrak{d}){\mu }_2\right)\right|}^{\mathrm{q}}\mathrm{d}\mathfrak{d}\right)}^{\frac{1}{\mathrm{q}}}\hfill \\ \le \frac{(\mathrm{x}-{\mu }_1)}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\left[{\mathrm{M}}_{\mathrm{{\rm Y}},1}^{\zeta }\left(\mathrm{x}\right)\right]}^{1-\frac{1}{\mathrm{q}}}{\left({\int }_0^1{\Sigma }_{\mathrm{{\rm Y}},1}^{\zeta }(\mathrm{x},\mathfrak{d})\left[\mathfrak{d}|{\mathcal{S}}^{\prime }{\left(\mathrm{x}\right)|}^{\mathrm{q}}+(1-\mathfrak{d}){\left|{\mathcal{S}}^{\prime }\left({\mu }_1\right)\right|}^{\mathrm{q}}\right]\mathrm{d}\mathfrak{d}\right)}^{\frac{1}{\mathrm{q}}}\hfill \\ +\frac{({\mu }_2-\mathrm{x})}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\left[{\mathrm{M}}_{\mathrm{{\rm Y}},2}^{\zeta }\left(\mathrm{x}\right)\right]}^{1-\frac{1}{\mathrm{q}}}{\left({\int }_0^1{\Sigma }_{\mathrm{{\rm Y}},2}^{\zeta }(\mathrm{x},\mathfrak{d})\left[\mathfrak{d}|{\mathcal{S}}^{\prime }{\left(\mathrm{x}\right)|}^{\mathrm{q}}+(1-\mathfrak{d}){\left|{\mathcal{S}}^{\prime }\left({\mu }_2\right)\right|}^{\mathrm{q}}\right]\mathrm{d}\mathfrak{d}\right)}^{\frac{1}{\mathrm{q}}}\hfill \\ =\frac{(\mathrm{x}-{\mu }_1)}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\left[{\mathrm{M}}_{\mathrm{{\rm Y}},1}^{\zeta }\left(\mathrm{x}\right)\right]}^{1-\frac{1}{\mathrm{q}}}{\left[{\mathrm{M}}_{\mathrm{{\rm Y}},3}^{\zeta }\left(\mathrm{x}\right)|{\mathcal{S}}^{\prime }{\left(\mathrm{x}\right)|}^{\mathrm{q}}+\left({\mathrm{M}}_{\mathrm{{\rm Y}},1}^{\zeta }\left(\mathrm{x}\right)-{\mathrm{M}}_{\mathrm{{\rm Y}},3}^{\zeta }\left(\mathrm{x}\right)\right){\left|{\mathcal{S}}^{\prime }\left({\mu }_1\right)\right|}^{\mathrm{q}}\right]}^{\frac{1}{\mathrm{q}}}\hfill \\ +\frac{({\mu }_2-\mathrm{x})}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\left[{\mathrm{M}}_{\mathrm{{\rm Y}},2}^{\zeta }\left(\mathrm{x}\right)\right]}^{1-\frac{1}{\mathrm{q}}}{\left[{\mathrm{M}}_{\mathrm{{\rm Y}},4}^{\zeta }\left(\mathrm{x}\right)|{\mathcal{S}}^{\prime }{\left(\mathrm{x}\right)|}^{\mathrm{q}}+\left({\mathrm{M}}_{\mathrm{{\rm Y}},2}^{\zeta }\left(\mathrm{x}\right)-{\mathrm{M}}_{\mathrm{{\rm Y}},4}^{\zeta }\left(\mathrm{x}\right)\right){\left|{\mathcal{S}}^{\prime }\left({\mu }_2\right)\right|}^{\mathrm{q}}\right]}^{\frac{1}{\mathrm{q}}}.\hfill \end{array}$$

The proof of Theorem 7 is completed. □

We point out some special cases of Theorem 7.

Corollary 13. 

Taking $\mathrm{q}=1$ in Theorem 7, we have

$$\begin{array}{c}\left|{\mathrm{I}}_{\mathcal{S},{\Sigma }_{\mathrm{{\rm Y}},1}^{\zeta },{\Sigma }_{\mathrm{{\rm Y}},2}^{\zeta }}(\mathrm{x};{\mu }_1,{\mu }_2)\right|\le \frac{(\mathrm{x}-{\mu }_1)}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}\hfill \\ \times \left[{\mathrm{M}}_{\mathrm{{\rm Y}},3}^{\zeta }\left(\mathrm{x}\right)|{\mathcal{S}}^{\prime }\left(\mathrm{x}\right)|+\left({\mathrm{M}}_{\mathrm{{\rm Y}},1}^{\zeta }\left(\mathrm{x}\right)-{\mathrm{M}}_{\mathrm{{\rm Y}},3}^{\zeta }\left(\mathrm{x}\right)\right)\left|{\mathcal{S}}^{\prime }\left({\mu }_1\right)\right|\right]\hfill \\ +\frac{({\mu }_2-\mathrm{x})}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}\left[{\mathrm{M}}_{\mathrm{{\rm Y}},4}^{\zeta }\left(\mathrm{x}\right)|{\mathcal{S}}^{\prime }\left(\mathrm{x}\right)|+\left({\mathrm{M}}_{\mathrm{{\rm Y}},2}^{\zeta }\left(\mathrm{x}\right)-{\mathrm{M}}_{\mathrm{{\rm Y}},4}^{\zeta }\left(\mathrm{x}\right)\right)\left|{\mathcal{S}}^{\prime }\left({\mu }_2\right)\right|\right].\hfill \end{array}$$

(60)

Corollary 14. 

Choosing ${\displaystyle x=\frac{{\mu }_1+{\mu }_2}{2}}$ in Theorem 7 and utilizing the generalized tempered fractional integral operators, we obtain the following midpoint inequality:

$$\begin{array}{c}\left|{\mathrm{I}}_{\mathcal{S},{\Sigma }_{\mathrm{{\rm Y}},1}^{\zeta },{\Sigma }_{\mathrm{{\rm Y}},2}^{\zeta }}\left(\frac{{\mu }_1+{\mu }_2}{2};{\mu }_1,{\mu }_2\right)\right|\le \frac{({\mu }_2-{\mu }_1)}{4{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}{\left[{\mathrm{M}}_{\mathrm{{\rm Y}}}^{\zeta }\right]}^{1-\frac{1}{\mathrm{q}}}\hfill \\ \times \{{\left[{\mathrm{N}}_{\mathrm{{\rm Y}}}^{\zeta }|{\mathcal{S}}^{\prime }\left(\frac{{\mu }_1+{\mu }_2}{2}\right){|}^{\mathrm{q}}+\left({\mathrm{M}}_{\mathrm{{\rm Y}}}^{\zeta }-{\mathrm{N}}_{\mathrm{{\rm Y}}}^{\zeta }\right){\left|{\mathcal{S}}^{\prime }\left({\mu }_1\right)\right|}^{\mathrm{q}}\right]}^{\frac{1}{\mathrm{q}}}\hfill \\ +{\left[{\mathrm{N}}_{\mathrm{{\rm Y}}}^{\zeta }|{\mathcal{S}}^{\prime }\left(\frac{{\mu }_1+{\mu }_2}{2}\right){|}^{\mathrm{q}}+\left({\mathrm{M}}_{\mathrm{{\rm Y}}}^{\zeta }-{\mathrm{N}}_{\mathrm{{\rm Y}}}^{\zeta }\right){\left|{\mathcal{S}}^{\prime }\left({\mu }_2\right)\right|}^{\mathrm{q}}\right]}^{\frac{1}{\mathrm{q}}}\},\hfill \end{array}$$

(61)

where

$$\begin{array}{c}{\mathrm{M}}_{\mathrm{{\rm Y}}}^{\zeta }:={\int }_0^1\left({\int }_0^{\mathfrak{d}}\frac{\mathrm{{\rm Y}}\left(\mathrm{u}\left(\frac{{\mu }_2-{\mu }_1}{2}\right)\right)}{\mathrm{u}}{\mathrm{e}}^{-\zeta ({\mu }_2-{\mu }_1)\mathrm{u}}\mathrm{du}\right)\mathrm{d}\mathfrak{d},\hfill \\ {\mathrm{N}}_{\mathrm{{\rm Y}}}^{\zeta }:={\int }_0^1\mathfrak{d}\left({\int }_0^{\mathfrak{d}}\frac{\mathrm{{\rm Y}}\left(\mathrm{u}\left(\frac{{\mu }_2-{\mu }_1}{2}\right)\right)}{\mathrm{u}}{\mathrm{e}}^{-\zeta ({\mu }_2-{\mu }_1)\mathrm{u}}\mathrm{du}\right)\mathrm{d}\mathfrak{d}.\hfill \end{array}$$

Corollary 15. 

Taking ${\displaystyle \mathrm{{\rm Y}}\left(\mathfrak{d}\right)=\frac{{\mathfrak{d}}^{\alpha }}{\Gamma \left(\alpha \right)}}$ in Theorem 7, we obtain

$$\begin{array}{c}\left|{\mathrm{I}}_{\mathcal{S},{\Sigma }_{\mathrm{{\rm Y}},1}^{\zeta },{\Sigma }_{\mathrm{{\rm Y}},2}^{\zeta }}(\mathrm{x};{\mu }_1,{\mu }_2)\right|\le \frac{1}{2{\gamma }_{\zeta }(\alpha ,{\mu }_2-{\mu }_1)}{\left[{\mathfrak{d}}_{\gamma }\left(\alpha \right)\right]}^{1-\frac{1}{\mathrm{q}}}\hfill \\ \times \{{(\mathrm{x}-{\mu }_1)}^{\alpha +1}{\left[{\mathfrak{d}}_{\gamma ,1}\left(\alpha \right)|{\mathcal{S}}^{\prime }{\left(\mathrm{x}\right)|}^{\mathrm{q}}+\left({\mathfrak{d}}_{\gamma }\left(\alpha \right)-{\mathfrak{d}}_{\gamma ,1}\left(\alpha \right)\right){\left|{\mathcal{S}}^{\prime }\left({\mu }_1\right)\right|}^{\mathrm{q}}\right]}^{\frac{1}{\mathrm{q}}}\hfill \\ +{({\mu }_2-\mathrm{x})}^{\alpha +1}{\left[{\mathfrak{d}}_{\gamma ,1}\left(\alpha \right)|{\mathcal{S}}^{\prime }{\left(\mathrm{x}\right)|}^{\mathrm{q}}+\left({\mathfrak{d}}_{\gamma }\left(\alpha \right)-{\mathfrak{d}}_{\gamma ,1}\left(\alpha \right)\right){\left|{\mathcal{S}}^{\prime }\left({\mu }_2\right)\right|}^{\mathrm{q}}\right]}^{\frac{1}{\mathrm{q}}}\},\hfill \end{array}$$

(62)

where

$$\begin{array}{c}{\mathfrak{d}}_{\gamma }\left(\alpha \right):={\int }_0^1{\gamma }_{\zeta ({\mu }_2-{\mu }_1)}(\alpha ,\mathfrak{d})\mathrm{d}\mathfrak{d},\hfill \\ {\mathfrak{d}}_{\gamma ,1}\left(\alpha \right):={\int }_0^1\mathfrak{d}{\gamma }_{\zeta ({\mu }_2-{\mu }_1)}(\alpha ,\mathfrak{d})\mathrm{d}\mathfrak{d}.\hfill \end{array}$$

Corollary 16. 

Choosing $|{\mathcal{S}}^{\prime }|\le \mathrm{K}$ in Theorem 7, we have

$$\left|{\mathrm{I}}_{\mathcal{S},{\Sigma }_{\mathrm{{\rm Y}},1}^{\zeta },{\Sigma }_{\mathrm{{\rm Y}},2}^{\zeta }}(\mathrm{x};{\mu }_1,{\mu }_2)\right|\le \frac{\mathrm{K}}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}\left\{(\mathrm{x}-{\mu }_1){\mathrm{M}}_{\mathrm{{\rm Y}},1}^{\zeta }\left(\mathrm{x}\right)+({\mu }_2-\mathrm{x}){\mathrm{M}}_{\mathrm{{\rm Y}},2}^{\zeta }\left(\mathrm{x}\right)\right\}.$$

(63)

Remark 3. 

Applying our results for suitable choices of function $\mathrm{{\rm Y}}\left(\mathfrak{d}\right)=\mathfrak{d}{({\mu }_2-\mathfrak{d})}^{\alpha -1}$ and $\mathrm{{\rm Y}}\left(\mathfrak{d}\right)=\frac{\mathfrak{d}}{\alpha }exp(-\mathrm{A}\mathfrak{d}),$ where $\mathrm{A}:=\frac{1-\alpha }{\alpha }$ for $\alpha \in (0,1)$ such that $|{\mathcal{S}}^{\prime }{|}^{\mathrm{q}}$ to be convex function, we can construct some new tempered fractional integral type inequalities. We omit their proofs and the details are left to the interested readers.

4. Applications

In the final section, we provide several examples that illustrate the results we have established in relation to matrices, modified Bessel functions and $\mathsf{q}$-digamma function.

4.1. Matrices

Example 1. 

In this context, the set of $\mathrm{n}\times \mathrm{n}$ complex matrices is denoted by ${\mathrm{C}}^{\mathrm{n}}.$ Similarly, ${\mathrm{M}}_{\mathrm{n}}$ represents the algebra of $\mathrm{n}\times \mathrm{n}$ complex matrices and ${\mathrm{M}}_{\mathrm{n}}^{+}$ refers to the subset of strictly positive matrices within ${\mathrm{M}}_{\mathrm{n}}.$ Consequently, for a matrix $\mathrm{A}\in {\mathrm{M}}_{\mathrm{n}}^{+},$ it holds that $⟨\mathrm{Au},\mathrm{u}⟩>0$ for all nonzero $\mathrm{u}\in {\mathrm{C}}^{\mathrm{n}}.$

Incorporating the concepts of matrices and convexity, Sababheh [27] introduced the function $\mathcal{S}\left(\mathfrak{d}\right):=\parallel {\mathrm{A}}^{\mathfrak{d}}\mathrm{X}{\mathrm{B}}^{1-\mathfrak{d}}+{\mathrm{A}}^{1-\mathfrak{d}}\mathrm{X}{\mathrm{B}}^{\mathfrak{d}}\parallel$, where $\mathrm{A},\mathrm{B}\in {\mathrm{M}}_{\mathrm{n}}^{+},$ and $\mathrm{X}\in {\mathrm{M}}_{\mathrm{n}}$. It was shown that this function is convex for all $\mathfrak{d}\in [0,1]$. Consequently, by utilizing Theorem 2 for any $0\le {\mu }_1<{\mu }_2\le 1$, we obtain

$$\begin{array}{c}\parallel {\mathrm{A}}^{\frac{{\mu }_1+{\mu }_2}{2}}\mathrm{X}{\mathrm{B}}^{1-\frac{{\mu }_1+{\mu }_2}{2}}+{\mathrm{A}}^{1-\frac{{\mu }_1+{\mu }_2}{2}}\mathrm{X}{\mathrm{B}}^{\frac{{\mu }_1+{\mu }_2}{2}}\parallel \hfill \\ \le \frac{1}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}\left[{}_{{\mu }_1^{+}}{\mathrm{T}}_{\mathrm{{\rm Y}}}^{\zeta }\parallel {\mathrm{A}}^{{\mu }_2}\mathrm{X}{\mathrm{B}}^{1-{\mu }_2}+{\mathrm{A}}^{1-{\mu }_2}\mathrm{X}{\mathrm{B}}^{{\mu }_2}\parallel +{}_{{\mu }_2^{-}}{\mathrm{T}}_{\mathrm{{\rm Y}}}^{\zeta }\parallel {\mathrm{A}}^{{\mu }_1}\mathrm{X}{\mathrm{B}}^{1-{\mu }_1}+{\mathrm{A}}^{1-{\mu }_1}\mathrm{X}{\mathrm{B}}^{{\mu }_1}\parallel \right]\hfill \\ \le \frac{\parallel {\mathrm{A}}^{{\mu }_1}\mathrm{X}{\mathrm{B}}^{1-{\mu }_1}+{\mathrm{A}}^{1-{\mu }_1}\mathrm{X}{\mathrm{B}}^{{\mu }_1}\parallel +\parallel {\mathrm{A}}^{{\mu }_2}\mathrm{X}{\mathrm{B}}^{1-{\mu }_2}+{\mathrm{A}}^{1-{\mu }_2}\mathrm{X}{\mathrm{B}}^{{\mu }_2}\parallel }{2}.\hfill \end{array}$$

(64)

4.2. Modified Bessel Functions

The modified Bessel function of the first kind, denoted as ${\mathfrak{d}}_{\rho }\left(\mathtt{a}\right)$, is a mathematical function defined as the following infinite sum:

$${\mathfrak{d}}_{\rho }\left(\mathtt{a}\right)=\sum _{\mathrm{n}\ge 0}\frac{{\left(\frac{\mathtt{a}}{2}\right)}^{\rho +2\mathrm{n}}}{\mathrm{n}!\Gamma \left(\mathrm{n}+\rho +1\right)},$$

where $\mathtt{a}>0$ is a real number and $\rho >-1$.

The modified Bessel function of the second kind, denoted as ${\mathfrak{B}}_{\rho }\left(\mathtt{a}\right)$, is defined in terms of ${\mathfrak{d}}_{\rho }\left(\mathtt{a}\right)$ as follows:

$${\mathfrak{B}}_{\rho }\left(\mathtt{a}\right):=\frac{\pi }{2}\frac{{\mathfrak{d}}_{-\rho }\left(\mathtt{a}\right)-{\mathfrak{d}}_{\rho }\left(\mathtt{a}\right)}{sin\rho \pi }.$$

Another function, ${\mathrm{J}}_{\rho }\left(\mathtt{a}\right)$, can be defined as:

$${\mathrm{J}}_{\rho }\left(\mathtt{a}\right):=2^{\rho }\Gamma \left(\rho +1\right){\mathtt{a}}^{-\rho }{\mathfrak{B}}_{\rho }\left(\mathtt{a}\right),$$

where $\Gamma (·)$ represents the gamma function.

In the cited reference [28], two derivative formulas for ${\mathrm{J}}_{\rho }\left(\mathtt{a}\right)$ are given. The first derivative is expressed as:

$${\mathrm{J}}_{\rho }^{\prime }\left(\mathtt{a}\right)=\frac{\mathtt{a}}{2\left(\rho +1\right)}{\mathrm{J}}_{\rho +1}\left(\mathtt{a}\right).$$

(65)

The second derivative is given by:

$${\mathrm{J}}_{\rho }^{\prime \prime }\left(\mathtt{a}\right)=\frac{{\mathtt{a}}^2{\mathrm{J}}_{\rho +2}\left(\mathtt{a}\right)}{4\left(\rho +1\right)\left(\rho +2\right)}+\frac{{\mathrm{J}}_{\rho +1}\left(\mathtt{a}\right)}{2\left(\rho +1\right)}.$$

(66)

Example 2. 

Applying Corollary 7 and using expressions (65) and (66), we have

$$\begin{array}{c}\left|{\mu }_1{\mathrm{J}}_{\rho +1}\left({\mu }_1\right)+{\mu }_2{\mathrm{J}}_{\rho +1}\left({\mu }_2\right)-\frac{1}{{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}\left[{\mu }_2·{}_{{\mu }_1^{+}}{\mathrm{T}}_{\mathrm{{\rm Y}}}^{\zeta }{\mathrm{J}}_{\rho +1}\left({\mu }_2\right)+{\mu }_1·{}_{{\mu }_2^{-}}{\mathrm{T}}_{\mathrm{{\rm Y}}}^{\zeta }{\mathrm{J}}_{\rho +1}\left({\mu }_1\right)\right]\right|\le \frac{({\mu }_2-{\mu }_1)}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}\hfill \\ \times \{\left[{\mathrm{A}}_{\mathrm{{\rm Y}},2}^{\zeta }\left|\frac{{\mu }_1^2}{\rho +2}{\mathrm{J}}_{\rho +2}\left({\mu }_1\right)+2{\mathrm{J}}_{\rho +1}\left({\mu }_1\right)\right|+\left({\mathrm{A}}_{\mathrm{{\rm Y}},1}^{\zeta }-{\mathrm{A}}_{\mathrm{{\rm Y}},2}^{\zeta }\right)\left|\frac{{\mu }_2^2}{\rho +2}{\mathrm{J}}_{\rho +2}\left({\mu }_2\right)+2{\mathrm{J}}_{\rho +1}\left({\mu }_2\right)\right|\right]\hfill \\ +\left[{\mathrm{B}}_{\mathrm{{\rm Y}},2}^{\zeta }\left|\frac{{\mu }_1^2}{\rho +2}{\mathrm{J}}_{\rho +2}\left({\mu }_1\right)+2{\mathrm{J}}_{\rho +1}\left({\mu }_1\right)\right|+\left({\mathrm{B}}_{\mathrm{{\rm Y}},1}^{\zeta }-{\mathrm{B}}_{\mathrm{{\rm Y}},2}^{\zeta }\right)\left|\frac{{\mu }_2^2}{\rho +2}{\mathrm{J}}_{\rho +2}\left({\mu }_2\right)+2{\mathrm{J}}_{\rho +1}\left({\mu }_2\right)\right|\right]\}.\hfill \end{array}$$

Proof. 

By utilizing Corollary 7 and incorporating Equations (65) and (66) where the function $\mathcal{S}\left(\mathtt{a}\right):={\mathrm{J}}_{\rho }^{\prime }\left(\mathtt{a}\right)$ with $\mathtt{a}>0$, we can derive the final result, thus completing the proof. □

Example 3. 

Using Corollary 13 and applying expressions (65) and (66), we get

$$\begin{array}{c}\left|2\mathrm{x}{\mathrm{J}}_{\rho +1}\left(\mathrm{x}\right)-\frac{1}{{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}\left[{\mu }_2·{}_{{\mathrm{x}}^{+}}{\mathrm{T}}_{\mathrm{{\rm Y}}}^{\zeta }{\mathrm{J}}_{\rho +1}\left({\mu }_2\right)+{\mu }_1·{}_{{\mathrm{x}}^{-}}{\mathrm{T}}_{\mathrm{{\rm Y}}}^{\zeta }{\mathrm{J}}_{\rho +1}\left({\mu }_1\right)\right]\right|\hfill \\ \le \frac{(\mathrm{x}-{\mu }_1)}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}[{\mathrm{M}}_{\mathrm{{\rm Y}},3}^{\zeta }\left(\mathrm{x}\right)\left|\frac{{\mathrm{x}}^2}{\rho +2}{\mathrm{J}}_{\rho +2}\left(\mathrm{x}\right)+2{\mathrm{J}}_{\rho +1}\left(\mathrm{x}\right)\right|\hfill \\ +\left({\mathrm{M}}_{\mathrm{{\rm Y}},1}^{\zeta }\left(\mathrm{x}\right)-{\mathrm{M}}_{\mathrm{{\rm Y}},3}^{\zeta }\left(\mathrm{x}\right)\right)\left|\frac{{\mu }_1^2}{\rho +2}{\mathrm{J}}_{\rho +2}\left({\mu }_1\right)+2{\mathrm{J}}_{\rho +1}\left({\mu }_1\right)\right|]\hfill \\ +\frac{({\mu }_2-\mathrm{x})}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}[{\mathrm{M}}_{\mathrm{{\rm Y}},4}^{\zeta }\left(\mathrm{x}\right)\left|\frac{{\mathrm{x}}^2}{\rho +2}{\mathrm{J}}_{\rho +2}\left(\mathrm{x}\right)+2{\mathrm{J}}_{\rho +1}\left(\mathrm{x}\right)\right|\hfill \\ +\left({\mathrm{M}}_{\mathrm{{\rm Y}},2}^{\zeta }\left(\mathrm{x}\right)-{\mathrm{M}}_{\mathrm{{\rm Y}},4}^{\zeta }\left(\mathrm{x}\right)\right)\left|\frac{{\mu }_2^2}{\rho +2}{\mathrm{J}}_{\rho +2}\left({\mu }_2\right)+2{\mathrm{J}}_{\rho +1}\left({\mu }_2\right)\right|].\hfill \end{array}$$

Proof. 

By employing Corollary 13 and incorporating Equations (65) and (66), where the function $\mathcal{S}\left(\mathtt{a}\right):={\mathrm{J}}_{\rho }^{\prime }\left(\mathtt{a}\right)$ with $\mathtt{a}>0$, we can deduce the outcome, thereby concluding the proof. □

4.3. $\mathsf{q}$-Digamma Function

The $\mathsf{q}$-digamma function, denoted as ${\varrho }_{\mathsf{q}}$, is a function that serves as the $\mathsf{q}$-analogue of the digamma function $\varrho$. The formula for ${\varrho }_{\mathsf{q}}$ is provided in the references [28,29] and is given as follows:

$${\varrho }_{\mathsf{q}}\left(\gamma \right)=-ln(1-\mathsf{q})+ln\mathsf{q}\sum _{\mathrm{k}=0}^{\infty }\frac{{\mathsf{q}}^{\mathrm{k}+\gamma }}{1-{\mathsf{q}}^{\mathrm{k}+\gamma }}$$

or alternatively,

$${\varrho }_{\mathsf{q}}\left(\gamma \right)=-ln(1-\mathsf{q})+ln\mathsf{q}\sum _{\mathrm{k}=0}^{\infty }\frac{{\mathsf{q}}^{\mathrm{k}\gamma }}{1-{\mathsf{q}}^{\mathrm{k}\gamma }}.$$

This expression holds true when $\mathsf{q}>1$ and $\gamma >0$. The $\mathsf{q}$-digamma function ${\varrho }_{\mathsf{q}}$ can also be expressed in the following form:

$${\varrho }_{\mathsf{q}}\left(\gamma \right)=-ln(\mathsf{q}-1)+ln\mathsf{q}\left[\gamma -\frac{1}{2}-\sum _{\mathrm{k}=0}^{\infty }\frac{{\mathsf{q}}^{-(\mathrm{k}+\gamma )}}{1-{\mathsf{q}}^{-(\mathrm{k}+\gamma )}}\right]$$

or alternatively,

$${\varrho }_{\mathsf{q}}\left(\gamma \right)=-ln(\mathsf{q}-1)+ln\mathsf{q}\left[\gamma -\frac{1}{2}-\sum _{\mathrm{k}=0}^{\infty }\frac{{\mathsf{q}}^{-\mathrm{k}\gamma }}{1-{\mathsf{q}}^{-\mathrm{k}\gamma }}\right].$$

Example 4. 

Applying Corollary 7, we have

$$\begin{array}{c}\left|\frac{{\varrho }_{\mathsf{q}}^{\prime }\left({\mu }_1\right)+{\varrho }_{\mathsf{q}}^{\prime }\left({\mu }_2\right)}{2}-\frac{1}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}\left[{}_{{\mu }_1^{+}}{\mathrm{T}}_{\mathrm{{\rm Y}}}^{\zeta }{\varrho }_{\mathsf{q}}^{\prime }\left({\mu }_2\right)+{}_{{\mu }_2^{-}}{\mathrm{T}}_{\mathrm{{\rm Y}}}^{\zeta }{\varrho }_{\mathsf{q}}^{\prime }\left({\mu }_1\right)\right]\right|\le \frac{({\mu }_2-{\mu }_1)}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}\hfill \\ \times \left\{\left[{\mathrm{A}}_{\mathrm{{\rm Y}},2}^{\zeta }\left|{\varrho }_{\mathsf{q}}^{\prime \prime }\left({\mu }_1\right)\right|+\left({\mathrm{A}}_{\mathrm{{\rm Y}},1}^{\zeta }-{\mathrm{A}}_{\mathrm{{\rm Y}},2}^{\zeta }\right)\left|{\varrho }_{\mathsf{q}}^{\prime \prime }\left({\mu }_2\right)\right|\right]+\left[{\mathrm{B}}_{\mathrm{{\rm Y}},2}^{\zeta }\left|{\varrho }_{\mathsf{q}}^{\prime \prime }\left({\mu }_1\right)\right|+\left({\mathrm{B}}_{\mathrm{{\rm Y}},1}^{\zeta }-{\mathrm{B}}_{\mathrm{{\rm Y}},2}^{\zeta }\right)\left|{\varrho }_{\mathsf{q}}^{\prime \prime }\left({\mu }_2\right)\right|\right]\right\}.\hfill \end{array}$$

Proof. 

The statement can be readily derived by utilizing Corollary 7, where $\mathcal{S}\left(\mathtt{a}\right)\to {\varrho }_{\mathtt{q}}\left(\mathtt{a}\right)$ represents a completely monotone function on the interval $(0,\infty )$ for all $\mathtt{a}>0$. As a result, $\mathcal{S}\left(\mathtt{a}\right):={\varrho }_{\mathtt{q}}^{\prime }\left(\mathtt{a}\right)$ is a convex function. □

Example 5. 

Using Corollary 13, we get

$$\begin{array}{c}\left|{\varrho }_{\mathsf{q}}^{\prime }\left(\mathrm{x}\right)-\frac{1}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}\left[{}_{{\mathrm{x}}^{+}}{\mathrm{T}}_{\mathrm{{\rm Y}}}^{\zeta }{\varrho }_{\mathsf{q}}^{\prime }\left({\mu }_2\right)+{}_{{\mathrm{x}}^{-}}{\mathrm{T}}_{\mathrm{{\rm Y}}}^{\zeta }{\varrho }_{\mathsf{q}}^{\prime }\left({\mu }_1\right)\right]\right|\hfill \\ \le \frac{(\mathrm{x}-{\mu }_1)}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}\left[{\mathrm{M}}_{\mathrm{{\rm Y}},3}^{\zeta }\left(\mathrm{x}\right)\left|{\varrho }_{\mathsf{q}}^{\prime \prime }\left(\mathrm{x}\right)\right|+\left({\mathrm{M}}_{\mathrm{{\rm Y}},1}^{\zeta }\left(\mathrm{x}\right)-{\mathrm{M}}_{\mathrm{{\rm Y}},3}^{\zeta }\left(\mathrm{x}\right)\right)\left|{\varrho }_{\mathsf{q}}^{\prime \prime }\left({\mu }_1\right)\right|\right]\hfill \\ +\frac{({\mu }_2-\mathrm{x})}{2{\Psi }_{\mathrm{{\rm Y}}}^{\zeta }}\left[{\mathrm{M}}_{\mathrm{{\rm Y}},4}^{\zeta }\left(\mathrm{x}\right)\left|{\varrho }_{\mathsf{q}}^{\prime \prime }\left(\mathrm{x}\right)\right|+\left({\mathrm{M}}_{\mathrm{{\rm Y}},2}^{\zeta }\left(\mathrm{x}\right)-{\mathrm{M}}_{\mathrm{{\rm Y}},4}^{\zeta }\left(\mathrm{x}\right)\right)\left|{\varrho }_{\mathsf{q}}^{\prime \prime }\left({\mu }_2\right)\right|\right].\hfill \end{array}$$

Proof. 

The assertion can be immediately derived by utilizing Corollary 13, where $\mathcal{S}\left(\mathtt{a}\right)\to {\varrho }_{\mathtt{q}}\left(\mathtt{a}\right)$ represents a completely monotone function on the interval $(0,\infty )$ for all $\mathtt{a}>0$. Consequently, $\mathcal{S}\left(\mathtt{a}\right):={\varrho }_{\mathtt{q}}^{\prime }\left(\mathtt{a}\right)$ is a convex function. □

5. Conclusions

Overall, this paper aimed to contribute to the expanding field of fractional H–H inequalities by presenting new results, exploring their properties, investigating their connections with fractional calculus, and demonstrating their applications. Through our work, we sought to advance the theoretical foundations of fractional calculus, enhance our understanding of convex functions in the fractional calculus framework, and inspire further research in this exciting and evolving area of mathematics.

This research paper introduces novel concepts of left and right generalized tempered fractional integral operators and establishes fresh H–H inequalities for convex functions and their products. Additionally, it derives two useful identities for differentiable functions that involve the generalized tempered fractional integral operator. These identities are then utilized to establish H–H and midpoint-type integral inequalities for convex functions. The paper also explores various special cases and demonstrates how the general findings recover known results. Furthermore, the paper presents compelling applications related to matrices, modified Bessel functions and $\mathsf{q}$-digamma functions. By employing the newly introduced generalized tempered fractional integral operators, along with well-known inequalities such as Hölder–İşcan’s inequality, Improved-Power-mean’s inequality, Young’s inequality, Minkowski’s inequality, and Chebyshev’s inequality, this paper establishes novel bounds for differentiable convex functions. Finally, the importance of these new integral operators depends on the choices of the parameter $\zeta ,$ since it takes values in the domain $[0,\infty ).$ In other words, interested readers that will do numerical computations will immediately see the advantage of this new operator compared with other known integral operators in terms of the suitable choices of parameter $\zeta .$ We believe that these new operators will be important tools for investigating various variational problems for different types of convexities.