Results of radio sounding of the south polar auroral oval performed with the GNSS signals of a sledge-track train around the Russian Antarctic station "Vostok"

Alexander Vasilyevich Tertyshnikov; Alexander Vasilyevich Tertyshnikov

doi:10.3934/geosci.2021008

AIMS Geosciences

2021, Volume 7, Issue 2: 129-137. doi: 10.3934/geosci.2021008

Previous Article Next Article

Research article Special Issues

Results of radio sounding of the south polar auroral oval performed with the GNSS signals of a sledge-track train around the Russian Antarctic station "Vostok"

Alexander Vasilyevich Tertyshnikov ^,

Institute of APPLIED GEOPHYSICS, Fryazinsky branch Federal State Budgetary Institute of Science Kotelnikov Institute of Radio Engineering and Electronics Russian Academy of Sciences, Russia

Received: 02 March 2021 Accepted: 29 March 2021 Published: 06 April 2021

Under the program of the 60^th Russian Antarctic expedition of the 2014-2015s, during the sledge-tracked crossing of Antarctica to "Vostok" station 8.01.2015-19.01.2015, an experiment was conducted to receive signals from navigation services of satellite communication channels of GLONASS/GPS systems (GNSS). The technology of radio sounding and the criteria for diagnostics of the auroral oval in the total electron content of ionosphere (TEC) are discussed. Radio sounding of the ionosphere reveals traces of auroral oval in the latitudinal distribution of ionospheric delay of GLONASS/GPS signals. Examples of manifestation of the auroral oval are given. The transition route is calculated. The obtained results are compared to the results of SIMP2 modeling of the auroral oval and to data from the official internet page of the experiment. The necessity of creating of a TEC-model of the auroral oval is shown.

Keywords:

Citation: Alexander Vasilyevich Tertyshnikov. Results of radio sounding of the south polar auroral oval performed with the GNSS signals of a sledge-track train around the Russian Antarctic station 'Vostok'[J]. AIMS Geosciences, 2021, 7(2): 129-137. doi: 10.3934/geosci.2021008

Related Papers:

[1]	Thongchai Botmart, Soubhagya Kumar Sahoo, Bibhakar Kodamasingh, Muhammad Amer Latif, Fahd Jarad, Artion Kashuri . Certain midpoint-type Fejér and Hermite-Hadamard inclusions involving fractional integrals with an exponential function in kernel. AIMS Mathematics, 2023, 8(3): 5616-5638. doi: 10.3934/math.2023283
[2]	Eze R. Nwaeze, Muhammad Adil Khan, Ali Ahmadian, Mohammad Nazir Ahmad, Ahmad Kamil Mahmood . Fractional inequalities of the Hermite–Hadamard type for $m$ -polynomial convex and harmonically convex functions. AIMS Mathematics, 2021, 6(2): 1889-1904. doi: 10.3934/math.2021115
[3]	Wenbing Sun, Rui Xu . Some new Hermite-Hadamard type inequalities for generalized harmonically convex functions involving local fractional integrals. AIMS Mathematics, 2021, 6(10): 10679-10695. doi: 10.3934/math.2021620
[4]	Serap Özcan, Saad Ihsan Butt, Sanja Tipurić-Spužević, Bandar Bin Mohsin . Construction of new fractional inequalities via generalized $n$ -fractional polynomial $s$ -type convexity. AIMS Mathematics, 2024, 9(9): 23924-23944. doi: 10.3934/math.20241163
[5]	Muhammad Imran Asjad, Waqas Ali Faridi, Mohammed M. Al-Shomrani, Abdullahi Yusuf . The generalization of Hermite-Hadamard type Inequality with exp-convexity involving non-singular fractional operator. AIMS Mathematics, 2022, 7(4): 7040-7055. doi: 10.3934/math.2022392
[6]	Sabila Ali, Shahid Mubeen, Rana Safdar Ali, Gauhar Rahman, Ahmed Morsy, Kottakkaran Sooppy Nisar, Sunil Dutt Purohit, M. Zakarya . Dynamical significance of generalized fractional integral inequalities via convexity. AIMS Mathematics, 2021, 6(9): 9705-9730. doi: 10.3934/math.2021565
[7]	Muhammad Bilal Khan, Omar Mutab Alsalami, Savin Treanțǎ, Tareq Saeed, Kamsing Nonlaopon . New class of convex interval-valued functions and Riemann Liouville fractional integral inequalities. AIMS Mathematics, 2022, 7(8): 15497-15519. doi: 10.3934/math.2022849
[8]	Muhammad Bilal Khan, Muhammad Aslam Noor, Thabet Abdeljawad, Bahaaeldin Abdalla, Ali Althobaiti . Some fuzzy-interval integral inequalities for harmonically convex fuzzy-interval-valued functions. AIMS Mathematics, 2022, 7(1): 349-370. doi: 10.3934/math.2022024
[9]	Miguel Vivas-Cortez, Muhammad Aamir Ali, Artion Kashuri, Hüseyin Budak . Generalizations of fractional Hermite-Hadamard-Mercer like inequalities for convex functions. AIMS Mathematics, 2021, 6(9): 9397-9421. doi: 10.3934/math.2021546
[10]	Saad Ihsan Butt, Ahmet Ocak Akdemir, Muhammad Nadeem, Nabil Mlaiki, İşcan İmdat, Thabet Abdeljawad . $(m, n)$ -Harmonically polynomial convex functions and some Hadamard type inequalities on the co-ordinates. AIMS Mathematics, 2021, 6(5): 4677-4690. doi: 10.3934/math.2021275

Abstract

1. Introduction

In convex functions theory, Hermite-Hadamard inequality is very important which was discovered by C. Hermite and J. Hadamard independently (see, also ^[1], and [2,p.137])

$\begin{equation} \mathcal{F}\left( \frac{\pi _{1}+\pi _{2}}{2}\right) \leq \frac{1}{\pi _{2}-\pi _{1}}\int \limits_{\pi _{1}}^{\pi _{2}}\mathcal{F}(\varkappa )d\varkappa \leq \frac{\mathcal{F}\left( \pi _{1}\right) +\mathcal{F}\left( \pi _{2}\right) }{2}, \end{equation}$

(1.1)

where $\; \mathcal{F}$ is a convex function. In the case of concave mappings, the above inequality is satisfied in reverse order.

Over the last twenty years, numerous studies have focused on obtaining trapezoid and midpoint type inequalities which give bounds for the right-hand side and left-hand side of the inequality (1.1), respectively. For example, the authors first obtained trapezoid and midpoint type inequalities for convex functions in ^[3] and in ^[4], respectively. In ^[5], Sarikaya et al. obtained the inequalities (1.1) for Riemann-Liouville fractional integrals and the authors also proved some corresponding trapezoid type inequalities for fractional integrals. Iqbal et al. presented some fractional midpoint type inequalities for convex functions in ^[6]. Sarikaya and Ertuğral ^[7] introduced the notions of generalized fractional integrals and proved some Hermite-Hadamard type inequalities for convex functions. In ^[8], Budak et al. used the generalized fractional integrals to prove Hermite-Hadamard type inequalities for twice differentiable convex functions. After that, the authors used generalized fractional integrals and proved the different variants of integral inequalities in ^{[9,10,11,12,13,14]}.

On the other hand, İşcan ^[15] defined the following class of functions called harmonically convex functions:

If the mapping $\; \mathcal{F}:I\subset \mathbb{R} \backslash \left \{ 0\right \} \rightarrow \mathbb{R}$ satisfies the inequality

$\begin{equation*} \; \mathcal{F}\left( \frac{1}{\frac{\sigma }{\varkappa }+\frac{1-\sigma }{y}} \right) \leq \sigma \mathcal{F}\left( \varkappa \right) +\left( 1-\sigma \right) \mathcal{F}\left( y\right) , \end{equation*}$

for all $\varkappa, y\in I$ and $\; \sigma \in \left[ 0, 1\right]$ , then $\; \mathcal{F}$ is called harmonically convex function. In the case of harmonically concave mappings, the above inequality is satisfied in reverse order.

It is worth noting that the harmonic feature has been important in a variety of disciplines in pure and applied sciences. The authors explore the significance of the harmonic mean in Asian stock company ^[16]. Harmonic methods are used in electric circuit theory, which is interesting. The overall resistance of a set of parallel resistors is just half of the entire resistors' harmonic mean. If $r_{1}$ and $r_{2}$ are the resistances of two parallel resistors, the total resistance may be calculated using the following formula:

$\begin{equation*} r_{\sigma } = \frac{r_{1}r_{2}}{r_{1}+r_{2}} = \frac{1}{2}\mathcal{H}\left( r_{1},r_{2}\right), \end{equation*}$

which is the half of the harmonic mean.

The harmonic mean, according to Noor ^[17], is also important in the creation of parallel algorithms for solving nonlinear problems. Several researchers have proposed iterative approaches for solving linear and nonlinear systems of equations using harmonic means and harmonically convex functions.

Several research articles have recently been published on various generalizations of integral inequalities using various approaches. For example, İşcan established some new Hermite-Hadamard type inequalities for harmonically convex functions and trapezoid type inequalities for this class of functions in ^[15]. In ^[18], İ şcan and Wu established Hermite-Hadamard type inequalities for harmonically convex functions via Riemann-Liouville fractional integrals. They also proved some fractional trapezoid type inequalities for mapping whose derivatives in absolute value are harmonically convex. İşcan proved Ostrowski type integral inequalities for harmonically $s$ -convex functions in ^[19] and in ^[20], Chen gave an extension of fractional Hermite-Hadamard type inequalities for harmonically convex functions. Kunt et al. ^[21] and Set et al. ^[22] used the Riemann-Liouville fractional integrals and proved Hermite-Hadamard type inequalities for harmonically convex functions. In ^[23], Șanlı proved several fractional midpoint type inequalities utilizing differentiable convex functions. The authors used the generalized fractional integrals and proved Hermite-Hadamard type inequalities for harmonically convex functions in ^[24,25]. Mohsen et al. ^[26] used the $h$ - harmonically convexity to prove some new Ostrowski type inequalities and in ^[27], Akhtar et al. proved a new variant of Ostrowski inequalities for harmonically convex functions. In the literature there are several papers on the inequalities for harmonically convex functions. For some recent developments in integral inequalities and harmonically convexity, one can consult ^[28,29,30].

Inspired by the ongoing studies, we use the generalized fractional integrals to develop some new Ostrowski type inequalities for differentiable harmonically convex functions. We also show that the newly developed inequalities are extensions of some previously known inequalities.

The following is the structure of this paper: Section 2 provides a brief overview of the fractional calculus as well as other related studies in this field. In Section 3, we establish Ostrowski type inequalities for differentiable functions. The relationship between the findings reported here and similar findings in the literature are also taken into account. We discuss the special cases of newly established inequalities in Section 4 and obtain several new Ostrowski type inequalities. We give some applications to special means of real numbers in Section 5. Section 6 concludes with some recommendations for future research.

2. Preliminaries

In this section, we recall some basic concepts of fractional integrals and related integral inequalities.

Definition 2.1. ^[7] The left and right-sided generalized fractional integrals given as follows:

$\begin{equation} _{\pi _{1}+}I_{\varphi }\mathcal{F}(\varkappa ) = \int \limits_{\pi _{1}}^{\varkappa }\frac{\varphi \left( \varkappa -\sigma \right) }{\varkappa -\sigma }\mathcal{F}(\sigma )d\sigma ,\ \ \varkappa > \pi _{1}, \end{equation}$

(2.1)

$\begin{equation} _{\pi _{2}-}I_{\varphi }\mathcal{F}(\varkappa ) = \int \limits_{\varkappa }^{\pi _{2}}\frac{\varphi \left( \sigma -\varkappa \right) }{\sigma -\varkappa }\mathcal{F}(\sigma )d\sigma ,\ \ \varkappa < \pi _{2}, \end{equation}$

(2.2)

where the function $\varphi :[0, \infty)\rightarrow \lbrack 0, \infty)$ satisfies $\int_{0}^{1}\frac{\varphi (\sigma)}{\sigma }d\sigma < \infty.$ For the details about the genrarlized fractional integrals, one can consult ^[7].

The most important feature of the generalized fractional integrals is that they generalize some types of fractional integrals such as Riemann-Liouville fractional integral, $k$ -Riemann-Liouville fractional integral, Katugampola fractional integrals, conformable fractional integral, Hadamard fractional integrals, etc. Few important special cases of the integral operators (2.1) and (2.2) are mentioned below.

i) Taking $\varphi \left(\sigma \right) = \sigma,$ the operators (2.1) and (2.2) reduces to the classical Riemann integrals as follows:

$\begin{equation*} I_{_{\pi _{1}^{+}}}\mathcal{F}(\varkappa ) = \int_{\pi _{1}}^{\varkappa } \mathcal{F}(\sigma )d\sigma ,\; \; \; \varkappa > \pi _{1}, \end{equation*}$

$\begin{equation*} I_{\pi _{2}^{-}}\mathcal{F}(\varkappa ) = \int_{\varkappa }^{\pi _{2}}\mathcal{ F}(\sigma )d\sigma ,\ \ \varkappa < \pi _{2}. \end{equation*}$

ii) Taking $\varphi \left(\sigma \right) = \frac{\sigma ^{\alpha } }{\Gamma \left(\alpha \right) },$ the operators (2.1) and (2.2) reduces to the well-known Riemann–Liouville fractional integrals as follows:

$\begin{equation*} J_{_{\pi _{1}^{+}}}^{\alpha }\mathcal{F}(\varkappa ) = \frac{1}{\Gamma \left( \alpha \right) }\int_{\pi _{1}}^{\varkappa }\left( \varkappa -\sigma \right) ^{\alpha -1}\mathcal{F}(\sigma )d\sigma ,\ \ \varkappa > \pi _{1}, \end{equation*}$

$\begin{equation*} J_{\pi _{2}^{-}}^{\alpha }\mathcal{F}(\varkappa ) = \frac{1}{\Gamma \left( \alpha \right) }\int_{\varkappa }^{\pi _{2}}\left( \sigma -\varkappa \right) ^{\alpha -1}\mathcal{F}(\sigma )d\sigma ,\ \ \varkappa < \pi _{2}. \end{equation*}$

iii) Taking $\varphi \left(\sigma \right) = \frac{\sigma ^{\frac{ \alpha }{k}}}{k\Gamma _{k}\left(\alpha \right) },$ the operators (2.1) and (2.2) reduces to the well-known $k$ –Riemann–Liouville fractional integrals as follows:

$\begin{equation*} J_{\pi _{1}+}^{\alpha ,k}\mathcal{F}(\varkappa ) = \frac{1}{k\Gamma _{k}\left( \alpha \right) }\int_{\pi _{1}}^{\varkappa }\left( \varkappa -\sigma \right) ^{\frac{\alpha }{k}-1}F(\sigma )d\sigma ,\ \ \varkappa > \pi _{1}, \end{equation*}$

$\begin{equation*} J_{\pi _{2}-}^{\alpha ,k}\mathcal{F}(\varkappa ) = \frac{1}{k\Gamma _{k}\left( \alpha \right) }\int_{\varkappa }^{\pi _{2}}\left( \sigma -\varkappa \right) ^{\frac{\alpha }{k}-1}\mathcal{F}(\sigma )d\sigma ,\ \ \varkappa < \pi _{2}, \end{equation*}$

where

$\begin{equation*} \Gamma _{k}\left( \alpha \right) = \int_{0}^{\infty }\sigma ^{\alpha -1}e^{- \frac{\sigma ^{k}}{k}}d\sigma ,\ \ \ \mathcal{R}(\alpha ) > 0 \end{equation*}$

and

$\begin{equation*} \Gamma _{k}\left( \alpha \right) = k^{\frac{\alpha }{k}-1}\Gamma \left( \frac{ \alpha }{k}\right) ,\ \ \mathcal{R}(\alpha ) > 0;\,k > 0. \end{equation*}$

Recently, Zhao et al. used the generalized fractional integrals and proved the following Hermite-Hadamard type inequalities.

Theorem 2.2. ^[25] For any harmonically convex mapping, the following inequalityholds:

$\begin{eqnarray} \mathcal{F}\left( \frac{2\pi _{1}\pi _{2}}{\pi _{1}+\pi _{2}}\right) &\leq & \frac{1}{2\Phi \left( 1\right) }\left \{ J_{\frac{1}{\pi _{1}}-}^{\alpha }( \mathcal{F}\circ g)\left( \frac{1}{\pi _{2}}\right) +J_{\frac{1}{\pi _{2}} +}^{\alpha }(\mathcal{F}\circ g)\left( \frac{1}{\pi _{1}}\right) \right \} \\ &\leq &\frac{\mathcal{F}(\pi _{1})+\mathcal{F}(\pi _{2})}{2}, \end{eqnarray}$

(2.3)

where $g(\varkappa) = \frac{1}{\varkappa }$ and $\Phi \left(\sigma\right) = \int_{0}^{\sigma }\frac{\varphi \left(\frac{\pi _{2}-\pi _{1}}{\pi_{1}\pi _{2}}s \right) }{s }ds < +\infty.$

Remark 2.3. It is obvious that if we set $\varphi \left(\sigma \right) = \sigma$ in inequality (2.3), then we obtain the following inequality of Hermite-Hadamard type inequality (see, ^[15]):

$\begin{equation*} \; \mathcal{F}\left( \frac{2\pi _{1}\pi _{2}}{\pi _{1}+\pi _{2}}\right) \leq \frac{\pi _{1}\pi _{2}}{\pi _{2}-\pi _{1}}\int_{\pi _{1}}^{\pi _{2}}\mathcal{ F}\left( \varkappa \right) d\varkappa \leq \frac{\mathcal{F}\left( \pi _{1}\right) +\; \mathcal{F}\left( \pi _{2}\right) }{2}. \end{equation*}$

Remark 2.4. It is obvious that if we set $\varphi \left(\sigma \right) = \frac{\sigma ^{\alpha }}{\Gamma \left(\alpha \right) }$ in inequality (2.3), then we obtain the following inequality of Hermite-Hadamard type inequality for Riemann-Liouville fractional integrals (see, ^[18]):

$\begin{eqnarray*} \mathcal{F}\left( \frac{2\pi _{1}\pi _{2}}{\pi _{1}+\pi _{2}}\right) &\leq & \frac{\Gamma (\alpha +1)}{2}\left( \frac{\pi _{1}\pi _{2}}{\pi _{2}-\pi _{1}} \right) ^{\alpha }\left \{ J_{\frac{1}{\pi _{1}}-}^{\alpha }(\mathcal{F}\circ g)\left( \frac{1}{\pi _{2}}\right) +J_{\frac{1}{\pi _{2}}+}^{\alpha }( \mathcal{F}\circ g)\left( \frac{1}{\pi _{1}}\right) \right \} \\ &\leq &\frac{\mathcal{F}(\pi _{1})+\mathcal{F}(\pi _{2})}{2}. \end{eqnarray*}$

Remark 2.5. It is obvious that if we set $\varphi \left(\sigma \right) = \frac{\sigma ^{ \frac{\alpha }{k}}}{k\Gamma _{k}\left(\alpha \right) }$ in inequality (2.3), then we obtain the following inequality of Hermite-Hadamard type inequality for $k$ -Riemann Liouville fractional integrals (see, ^[25]):

$\begin{eqnarray*} \mathcal{F}\left( \frac{2\pi _{1}\pi _{2}}{\pi _{1}+\pi _{2}}\right) &\leq & \frac{k\Gamma _{k}(\alpha +k)}{2}\left( \frac{\pi _{1}\pi _{2}}{\pi _{2}-\pi _{1}}\right) ^{\frac{\alpha }{k}}\left \{ J_{\frac{1}{\pi _{1}}-}^{\alpha ,k}( \mathcal{F}\circ g)\left( \frac{1}{\pi _{2}}\right) +J_{\frac{1}{\pi _{2}} +}^{\alpha ,k}(\mathcal{F}\circ g)\left( \frac{1}{\pi _{1}}\right) \right \} \\ &\leq &\frac{\mathcal{F}(\pi _{1})+\mathcal{F}(\pi _{2})}{2}. \end{eqnarray*}$

3. Main results

In this section, we prove some new Ostrowski type inequalities for differentiable harmonically convex functions via the generalized fractional integrals. For brevity, we give the following special functions:

(1) The Beta function:

$\begin{equation*} \beta (\varkappa ,y) = \frac{\Gamma (\varkappa )\Gamma (y)}{\Gamma (\varkappa +y)} = \int_{0}^{1}\sigma ^{\varkappa -1}(1-\sigma )^{y-1}d\sigma ,\text{ } \varkappa ,y > 0. \end{equation*}$

(2) The hypergeometric function:

$\begin{equation*} _{2}F_{1}(\pi _{1},\pi _{2};c;z) = \frac{1}{\beta (\pi _{2},\; c-\pi _{2})} \int_{0}^{1}\sigma ^{\pi _{2}-1}(1-\sigma )^{c-\pi _{2}-1}(1-z\sigma )^{-\alpha }d\sigma ,{ \ }c > \pi _{2} > 0,{ \ }\left \vert z\right \vert < 1. \end{equation*}$

Lemma 3.1. Let $\mathcal{F}:I = \left[ \pi _{1}, \pi _{2}\right] \subseteq(0, +\infty)\rightarrow \mathbb{R}$ be a differentiable function on $I^{\circ }$ such that $\mathcal{F}^{^{\prime }}\in L\left([\pi _{1}, \pi _{2}]\right).$ Then, the following generalized fractional integrals identity holds for all $\varkappa \in\left(\pi _{1}, \pi _{2}\right)$ :

$\begin{eqnarray} &&\pi _{1}\varkappa \left( \varkappa -\pi _{1}\right) \int_{0}^{1}\frac{ \Delta \left( \sigma \right) }{\left( \sigma \pi _{1}+\left( 1-\sigma \right) \varkappa \right) ^{2}}\mathcal{F}^{\prime }\left( \frac{\pi _{1}\varkappa }{\sigma \pi _{1}+\left( 1-\sigma \right) \varkappa }\right) d\sigma \\ &&-\varkappa \pi _{2}\left( \pi _{2}-\varkappa \right) \int_{0}^{1}\frac{ \Lambda \left( \sigma \right) }{\left( \sigma \pi _{2}+\left( 1-\sigma \right) \varkappa \right) ^{2}}\mathcal{F}^{\prime }\left( \frac{\pi _{2}\varkappa }{\sigma \pi _{2}+\left( 1-\sigma \right) \varkappa }\right) d\sigma \\ & = &(\Delta \left( 1\right) +\Lambda (1))\mathcal{F}\left( \varkappa \right) - \left[ \; _{\frac{1}{\varkappa }+}I_{\varphi }\left( \mathcal{F}\circ g\right) \left( \frac{1}{\pi _{1}}\right) +\; _{\frac{1}{\varkappa }-}I_{\varphi }\left( \mathcal{F}\circ g\right) \left( \frac{1}{\pi _{2}}\right) \right] , \end{eqnarray}$

(3.1)

where the mappings $\Delta$ and $\Lambda$ are defined as:

$\begin{equation*} \Delta \left( \sigma \right) = \int_{0}^{\sigma }\frac{\varphi \left( \frac{ \varkappa -\pi _{1}}{\pi _{1}\varkappa }s\right) }{s}ds < +\infty, \end{equation*}$

and

$\begin{equation*} \Lambda \left( \sigma \right) = \int_{0}^{\sigma }\frac{\varphi \left( \frac{ \pi _{2}-\varkappa }{\pi _{2}\varkappa }s\right) }{s}ds < +\infty . \end{equation*}$

Proof. Consider

(3.2)

From fundamentals of integrations, we have

$\begin{eqnarray*} I_{1} & = &\pi _{1}\varkappa \left( \varkappa -\pi _{1}\right) \int_{0}^{1} \frac{\Delta \left( \sigma \right) }{\left( \sigma \pi _{1}+\left( 1-\sigma \right) \varkappa \right) ^{2}}\mathcal{F}^{\prime }\left( \frac{\pi _{1}\varkappa }{\sigma \pi _{1}+\left( 1-\sigma \right) \varkappa }\right) d\sigma \\ & = &\int_{0}^{1}\Delta \left( \sigma \right) d\mathcal{F}\left( \frac{\pi _{1}\varkappa }{\sigma \pi _{1}+\left( 1-\sigma \right) \varkappa }\right) d\sigma \\ & = &\Delta \left( 1\right) \mathcal{F}\left( \varkappa \right) -\int_{0}^{1} \frac{\varphi \left( \frac{\left( \varkappa -\pi _{1}\right) }{\pi _{1}\varkappa }\sigma \right) }{\sigma }\mathcal{F}\left( \frac{\pi _{1}\varkappa }{\sigma \pi _{1}+\left( 1-\sigma \right) \varkappa }\right) d\sigma \\ & = &\Delta \left( 1\right) \mathcal{F}\left( \varkappa \right) -\; _{\frac{1}{ \varkappa }+}I_{\varphi }\left( \mathcal{F}\circ g\right) \left( \frac{1}{ \pi _{1}}\right) . \end{eqnarray*}$

Similarly, we have

$\begin{eqnarray*} I_{2} & = &\varkappa \pi _{2}\left( \pi _{2}-\varkappa \right) \int_{0}^{1} \frac{\Lambda \left( \sigma \right) }{\left( \sigma \pi _{2}+\left( 1-\sigma \right) \varkappa \right) ^{2}}\mathcal{F}^{\prime }\left( \frac{\pi _{2}\varkappa }{\sigma \pi _{2}+\left( 1-\sigma \right) \varkappa }\right) d\sigma \\ & = &-\Lambda \left( 1\right) \mathcal{F}\left( \varkappa \right) +\; _{\frac{1}{ \varkappa }-}I_{\varphi }\left( \mathcal{F}\circ g\right) \left( \frac{1}{ \pi _{2}}\right) . \end{eqnarray*}$

Thus, we obtain the required identity (3.1) by using the calculated values of $I_{1}$ and $I_{2}$ in (3.2).

Remark 3.2. If we set $\varphi \left(\sigma \right) = \sigma$ in Lemma 3.1, then we obtain the following equality:

$\begin{eqnarray*} &&\frac{\pi _{1}\pi _{2}}{\pi _{2}-\pi _{1}}\left \{ \left( \varkappa -\pi _{1}\right) ^{2}\int_{0}^{1}\frac{\sigma }{\left( \sigma \pi _{1}+\left( 1-\sigma \right) \varkappa \right) ^{2}}\mathcal{F}^{\prime }\left( \frac{ \pi _{1}\varkappa }{\sigma \pi _{1}+\left( 1-\sigma \right) \varkappa } \right) d\sigma \right. \\ &&\left. -\left( \pi _{2}-\varkappa \right) ^{2}\int_{0}^{1}\frac{\sigma }{ \left( \sigma \pi _{2}+\left( 1-\sigma \right) \varkappa \right) ^{2}} \mathcal{F}^{\prime }\left( \frac{\pi _{2}\varkappa }{\sigma \pi _{2}+\left( 1-\sigma \right) \varkappa }\right) d\sigma \right \} \\ & = &\mathcal{F}\left( \varkappa \right) -\frac{\pi _{1}\pi _{2}}{\pi _{2}-\pi _{1}}\int_{\pi _{1}}^{\pi _{2}}\frac{\mathcal{F}\left( u\right) }{u^{2}}du. \end{eqnarray*}$

This is proved by İşcan in [19,Lemma 2.1].

Remark 3.3. In Lemma 3.1, if we set $\varphi \left(\sigma \right) = \frac{\sigma ^{\alpha }}{\Gamma \left(\alpha \right) }$ , then we have the following equality for Riemann-Liouville fractional integrals:

$\begin{eqnarray*} &&\frac{\left( \varkappa -\pi _{1}\right) ^{\alpha +1}}{\left( \pi _{1}\varkappa \right) ^{\alpha -1}}\int_{0}^{1}\frac{\sigma ^{\alpha }}{ \left( \sigma \pi _{1}+\left( 1-\sigma \right) \varkappa \right) ^{2}} \mathcal{F}^{\prime }\left( \frac{\pi _{1}\varkappa }{\sigma \pi _{1}+\left( 1-\sigma \right) \varkappa }\right) d\sigma \\ &&-\frac{\left( \pi _{2}-\varkappa \right) ^{\alpha +1}}{\left( \varkappa \pi _{2}\right) ^{\alpha -1}}\int_{0}^{1}\frac{\sigma ^{\alpha }}{\left( \sigma \pi _{2}+\left( 1-\sigma \right) \varkappa \right) ^{2}}\mathcal{F} ^{\prime }\left( \frac{\pi _{2}\varkappa }{\sigma \pi _{2}+\left( 1-\sigma \right) \varkappa }\right) d\sigma \\ & = &\left[ \left( \frac{\varkappa -\pi _{1}}{\pi _{1}\varkappa }\right) ^{\alpha }+\left( \frac{\pi _{2}-\varkappa }{\pi _{2}\varkappa }\right) ^{\alpha }\right] \mathcal{F}\left( \varkappa \right) \\ &&-\Gamma \left( \alpha +1\right) \left[ \; _{\frac{1}{\varkappa }+}J^{\alpha }\left( \mathcal{F}\circ g\right) \left( \frac{1}{\pi _{1}}\right) +\; _{\frac{ 1}{\varkappa }-}J^{\alpha }\left( \mathcal{F}\circ g\right) \left( \frac{1}{ \pi _{2}}\right) \right] . \end{eqnarray*}$

This is proved by İşcan in ^[31].

Corollary 3.4. In Lemma 3.1, if we set $\varphi \left(\sigma \right) = \frac{\sigma ^{\frac{\alpha }{k}}}{k\Gamma \left(\alpha \right) },$ then we have thefollowing new equality for $k$ -Riemann-Liouville fractional integrals:

$\begin{eqnarray*} &&\frac{\left( \varkappa -\pi _{1}\right) ^{\frac{\alpha +k}{k}}}{\left( \pi _{1}\varkappa \right) ^{\frac{\alpha -k}{k}}}\int_{0}^{1}\frac{\sigma ^{ \frac{\alpha }{k}}}{\left( \sigma \pi _{1}+\left( 1-\sigma \right) \varkappa \right) ^{2}}\mathcal{F}^{\prime }\left( \frac{\pi _{1}\varkappa }{\sigma \pi _{1}+\left( 1-\sigma \right) \varkappa }\right) d\sigma \\ &&-\frac{\left( \pi _{2}-\varkappa \right) ^{\frac{\alpha +k}{k}}}{\left( \varkappa \pi _{2}\right) ^{\frac{\alpha -k}{k}}}\int_{0}^{1}\frac{\sigma ^{ \frac{\alpha }{k}}}{\left( \sigma \pi _{2}+\left( 1-\sigma \right) \varkappa \right) ^{2}}\mathcal{F}^{\prime }\left( \frac{\pi _{2}\varkappa }{\sigma \pi _{2}+\left( 1-\sigma \right) \varkappa }\right) d\sigma \\ & = &\left[ \left( \frac{\varkappa -\pi _{1}}{\pi _{1}\varkappa }\right) ^{ \frac{\alpha }{k}}+\left( \frac{\pi _{2}-\varkappa }{\pi _{2}\varkappa } \right) ^{\frac{\alpha }{k}}\right] \mathcal{F}\left( \varkappa \right) \\ &&-\Gamma _{k}\left( \alpha +k\right) \left[ \; _{\frac{1}{\varkappa } +}J^{\alpha ,k}\left( \mathcal{F}\circ g\right) \left( \frac{1}{\pi _{1}} \right) +\; _{\frac{1}{\varkappa }-}J^{\alpha ,k}\left( \mathcal{F}\circ g\right) \left( \frac{1}{\pi _{2}}\right) \right] . \end{eqnarray*}$

Theorem 3.5. We assume that the conditions of Lemma 3.1 are valid $.$ If $\left \vert \mathcal{F}^{^{\prime }}\right \vert ^{q}$ is harmonicallyconvex on $[\pi _{1}, \pi _{2}]$ for some $q\geq 1$ , then the followinginequality holds for the generalized fractional integrals:

where

$\begin{eqnarray*} \Theta _{1} & = &\int_{0}^{1}\frac{\Delta \left( \sigma \right) }{\left( \sigma \pi _{1}+\left( 1-\sigma \right) \varkappa \right) ^{2}}d\sigma , \\ \Theta _{2} & = &\int_{0}^{1}\frac{\sigma \Delta \left( \sigma \right) }{ \left( \sigma \pi _{1}+\left( 1-\sigma \right) \varkappa \right) ^{2}} d\sigma , \\ \Theta _{3} & = &\int_{0}^{1}\frac{\left( 1-\sigma \right) \Delta \left( \sigma \right) }{\left( \sigma \pi _{1}+\left( 1-\sigma \right) \varkappa \right) ^{2}}d\sigma ,\\ \Theta _{4} & = &\int_{0}^{1}\frac{\Lambda \left( \sigma \right) }{\left( \sigma \pi _{2}+\left( 1-\sigma \right) \varkappa \right) ^{2}}d\sigma , \\ \Theta _{5} & = &\int_{0}^{1}\frac{\sigma \Lambda \left( \sigma \right) }{ \left( \sigma \pi _{2}+\left( 1-\sigma \right) \varkappa \right) ^{2}} d\sigma , \end{eqnarray*}$

and

$\begin{eqnarray*} \Theta _{6} & = &\int_{0}^{1}\frac{\left( 1-\sigma \right) \Lambda \left( \sigma \right) }{\left( \sigma \pi _{2}+\left( 1-\sigma \right) \varkappa \right) ^{2}}d\sigma . \end{eqnarray*}$

Proof. Taking absolute in Lemma 3.1 and then applying the well known power mean inequality, we have

$\begin{eqnarray*} &&\left \vert (\Delta \left( 1\right) +\Lambda (1))\mathcal{F}\left( \varkappa \right) -\left[ \; _{\frac{1}{\varkappa }+}I_{\varphi }\left( \mathcal{F}\circ g\right) \left( \frac{1}{\pi _{1}}\right) +\; _{\frac{1}{ \varkappa }-}I_{\varphi }\left( \mathcal{F}\circ g\right) \left( \frac{1}{ \pi _{2}}\right) \right] \right \vert \\ &\leq &\pi _{1}\varkappa \left( \varkappa -\pi _{1}\right) \int_{0}^{1}\frac{ \Delta \left( \sigma \right) }{\left( \sigma \pi _{1}+\left( 1-\sigma \right) \varkappa \right) ^{2}}\left \vert \mathcal{F}^{\prime }\left( \frac{ \pi _{1}\varkappa }{\sigma \pi _{1}+\left( 1-\sigma \right) \varkappa } \right) \right \vert d\sigma \\ &&+\pi _{2}\varkappa \left( \pi _{2}-\varkappa \right) \int_{0}^{1}\frac{ \Lambda \left( \sigma \right) }{\left( \sigma \pi _{2}+\left( 1-\sigma \right) \varkappa \right) ^{2}}\left \vert \mathcal{F}^{\prime }\left( \frac{ \pi _{2}\varkappa }{\sigma \pi _{2}+\left( 1-\sigma \right) \varkappa } \right) \right \vert d\sigma \\ &\leq &\pi _{1}\varkappa \left( \varkappa -\pi _{1}\right) \left( \int_{0}^{1}\frac{\Delta \left( \sigma \right) }{\left( \sigma \pi _{1}+\left( 1-\sigma \right) \varkappa \right) ^{2}}d\sigma \right) ^{1- \frac{1}{q}} \\ &&\times \left( \int_{0}^{1}\frac{\Delta \left( \sigma \right) }{\left( \sigma \pi _{1}+\left( 1-\sigma \right) \varkappa \right) ^{2}}\left \vert \mathcal{F}^{\prime }\left( \frac{\pi _{1}\varkappa }{\sigma \pi _{1}+\left( 1-\sigma \right) \varkappa }\right) \right \vert ^{q}d\sigma \right) ^{\frac{1 }{q}} \\ &&+\pi _{2}\varkappa \left( \pi _{2}-\varkappa \right) \left( \int_{0}^{1} \frac{\Lambda \left( \sigma \right) }{\left( \sigma \pi _{2}+\left( 1-\sigma \right) \varkappa \right) ^{2}}d\sigma \right) ^{1-\frac{1}{q}} \\ &&\times \left( \int_{0}^{1}\frac{\Lambda \left( \sigma \right) }{\left( \sigma \pi _{2}+\left( 1-\sigma \right) \varkappa \right) ^{2}}\left \vert \mathcal{F}^{\prime }\left( \frac{\pi _{2}\varkappa }{\sigma \pi _{2}+\left( 1-\sigma \right) \varkappa }\right) \right \vert ^{q}d\sigma \right) ^{\frac{1 }{q}}. \end{eqnarray*}$

Now from harmonically convexity of $\left \vert \mathcal{F}^{\prime }\right \vert ^{q}$ , we have

$\begin{eqnarray*} &&\left( \int_{0}^{1}\frac{\Delta \left( \sigma \right) }{\left( \sigma \pi _{1}+\left( 1-\sigma \right) \varkappa \right) ^{2}}d\sigma \right) ^{1- \frac{1}{q}}\left( \int_{0}^{1}\frac{\Delta \left( \sigma \right) }{\left( \sigma \pi _{1}+\left( 1-\sigma \right) \varkappa \right) ^{2}}\left \vert \mathcal{F}^{\prime }\left( \frac{\pi _{1}\varkappa }{\sigma \pi _{1}+\left( 1-\sigma \right) \varkappa }\right) \right \vert ^{q}d\sigma \right) ^{\frac{1 }{q}} \\ &\leq &\Theta _{1}^{1-\frac{1}{q}}\left( \left \vert \mathcal{F}^{\prime }\left( \varkappa \right) \right \vert ^{q}\int_{0}^{1}\frac{\sigma \Delta \left( \sigma \right) }{\left( \sigma \pi _{1}+\left( 1-\sigma \right) \varkappa \right) ^{2}}d\sigma +\left \vert \mathcal{F}^{\prime }\left( \pi _{1}\right) \right \vert ^{q}\int_{0}^{1}\frac{\left( 1-\sigma \right) \Delta \left( \sigma \right) }{\left( \sigma \pi _{1}+\left( 1-\sigma \right) \varkappa \right) ^{2}}d\sigma \right) ^{\frac{1}{q}} \\ & = &\Theta _{1}^{1-\frac{1}{q}}\left( \Theta _{2}\left \vert \mathcal{F} ^{\prime }\left( \varkappa \right) \right \vert ^{q}+\Theta _{3}\left \vert \mathcal{F}^{\prime }\left( \pi _{1}\right) \right \vert ^{q}\right) ^{\frac{1 }{q}}. \end{eqnarray*}$

and

$\begin{eqnarray*} &&\left( \int_{0}^{1}\frac{\Lambda \left( \sigma \right) }{\left( \sigma \pi _{2}+\left( 1-\sigma \right) \varkappa \right) ^{2}}d\sigma \right) ^{1- \frac{1}{q}}\left( \int_{0}^{1}\frac{\Lambda \left( \sigma \right) }{\left( \sigma \pi _{2}+\left( 1-\sigma \right) \varkappa \right) ^{2}}\left \vert \mathcal{F}^{\prime }\left( \frac{\pi _{2}\varkappa }{\sigma \pi _{2}+\left( 1-\sigma \right) \varkappa }\right) \right \vert ^{q}d\sigma \right) ^{\frac{1 }{q}} \\ &\leq &\Theta _{4}^{1-\frac{1}{q}}\left( \left \vert \mathcal{F}^{\prime }\left( \varkappa \right) \right \vert ^{q}\int_{0}^{1}\frac{\sigma \Lambda \left( \sigma \right) }{\left( \sigma \pi _{2}+\left( 1-\sigma \right) \varkappa \right) ^{2}}d\sigma +\left \vert \mathcal{F}^{\prime }\left( \pi _{2}\right) \right \vert ^{q}\int_{0}^{1}\frac{\left( 1-\sigma \right) \Lambda \left( \sigma \right) }{\left( \sigma \pi _{2}+\left( 1-\sigma \right) \varkappa \right) ^{2}}d\sigma \right) ^{\frac{1}{q}} \\ & = &\Theta _{4}^{1-\frac{1}{q}}\left( \Theta _{5}\left \vert \mathcal{F} ^{\prime }\left( \varkappa \right) \right \vert ^{q}+\Theta _{6}\left \vert \mathcal{F}^{\prime }\left( \pi _{2}\right) \right \vert ^{q}\right) ^{\frac{1 }{q}}. \end{eqnarray*}$

Thus, the proof is completed.

Remark 3.6. In Theorem 3.5, if we assume $\varphi \left(\sigma \right) = \sigma$ , then we have the following Ostrowski type inequalities:

$\begin{eqnarray*} &&\left \vert \mathcal{F}\left( \varkappa \right) -\frac{\pi _{1}\pi _{2}}{ \pi _{2}-\pi _{1}}\int_{\pi _{1}}^{\pi _{2}}\frac{\mathcal{F}\left( u\right) }{u^{2}}du\right \vert \\ &\leq &\frac{\pi _{1}\pi _{2}}{\pi _{2}-\pi _{1}}\left \{ \chi _{1}^{1-\frac{1 }{q}}\left( \pi _{1},\varkappa \right) \left( \varkappa -\pi _{1}\right) ^{2}\left( \chi _{2}\left( \pi _{1},\varkappa ,1,1\right) \left \vert \mathcal{F}^{\prime }\left( \varkappa \right) \right \vert ^{q}+\chi _{3}\left( \pi _{1},\varkappa ,1,1\right) \left \vert \mathcal{F}^{\prime }\left( \pi _{1}\right) \right \vert ^{q}\right) ^{\frac{1}{q}}\right. \\ &&\left. +\chi _{1}^{1-\frac{1}{q}}\left( \pi _{2},\varkappa \right) \left( \pi _{2}-\varkappa \right) ^{2}\left( \chi _{4}\left( \pi _{2},\varkappa ,1,1\right) \left \vert \mathcal{F}^{\prime }\left( \varkappa \right) \right \vert ^{q}+\chi _{5}\left( \pi _{2},\varkappa ,1,1\right) \left \vert \mathcal{F}^{\prime }\left( \pi _{2}\right) \right \vert ^{q}\right) ^{\frac{1 }{q}}\right \} , \end{eqnarray*}$

where

$\begin{eqnarray*} \chi _{1}\left( \upsilon ,\varkappa \right) & = &\frac{1}{\varkappa -\nu } \left[ \frac{1}{\upsilon }-\frac{\ln \varkappa -\ln \upsilon }{\varkappa -\upsilon }\right] , \\ \chi _{2}\left( \pi _{1},\varkappa ,\upsilon ,\mu \right) & = &\frac{\beta \left( \mu +2,1\right) }{\varkappa ^{2\upsilon }}\; _{2}F_{1}\left( 2\upsilon ,\mu +2;\mu +3;1-\frac{\pi _{1}}{\varkappa }\right) , \\ \chi _{3}\left( \pi _{1},\varkappa ,\upsilon ,\mu \right) & = &\frac{\beta \left( \mu +1,1\right) }{\varkappa ^{2\upsilon }}\; _{2}F_{1}\left( 2\upsilon ,\mu +1;\mu +3;1-\frac{\pi _{1}}{\varkappa }\right) , \\ \chi _{4}\left( \pi _{2},\varkappa ,\upsilon ,\mu \right) & = &\frac{\beta \left( 1,\mu +2\right) }{\pi _{2}^{2\upsilon }}\; _{2}F_{1}\left( 2\upsilon ,1;\mu +3;1-\frac{\varkappa }{\pi _{2}}\right) , \\ \chi _{5}\left( \pi _{2},\varkappa ,\upsilon ,\mu \right) & = &\frac{\beta \left( 2,\mu +1\right) }{\pi _{2}^{2\upsilon }}\; _{2}F_{1}\left( 2\upsilon ,2;\mu +3;1-\frac{\varkappa }{\pi _{2}}\right) . \end{eqnarray*}$

This is proved by İşcan in [,Theorem 2.4 for $s = 1$ ].

Corollary 3.7. In Theorem 3.5, if we set $\left \vert \mathcal{F}^{\prime}\left(\varkappa \right) \right \vert \leq M$ , $\varkappa \in \left[ \pi_{1}, \pi _{2}\right],$ then we obtain the following Ostrowski typeinequality for generalized fractional integrals:

Remark 3.8. In Theorem 3.5, if we set $\varphi (\sigma) = \frac{\sigma ^{\alpha }}{\Gamma (\alpha)}$ , then we obtain the following Ostrowski type inequality for Riemann-Liouville fractional integrals:

$\begin{eqnarray*} &&\left \vert \left[ \left( \frac{\varkappa -\pi _{1}}{\pi _{1}\varkappa } \right) ^{\alpha }+\left( \frac{\pi _{2}-\varkappa }{\pi _{2}\varkappa } \right) ^{\alpha }\right] \mathcal{F}\left( \varkappa \right) \right. \\ &&\left. +\Gamma \left( \alpha +1\right) \left[ \; _{\frac{1}{\varkappa } +}J^{\alpha }\left( \mathcal{F}\circ g\right) \left( \frac{1}{\pi _{1}} \right) +\; _{\frac{1}{\varkappa }-}J^{\alpha }\left( \mathcal{F}\circ g\right) \left( \frac{1}{\pi _{2}}\right) \right] \right \vert \\ &\leq &\frac{\left( \varkappa -\pi _{1}\right) ^{\alpha +1}}{\left( \pi _{1}\varkappa \right) ^{\alpha -1}}\Omega _{1}^{1-\frac{1}{q}}\left( \pi _{1},\varkappa ,\alpha \right) \left( \Omega _{3}\left( \pi _{1},\varkappa ,\alpha \right) \left \vert \mathcal{F}^{\prime }\left( \varkappa \right) \right \vert ^{q}+\Omega _{4}\left( \pi _{1},\varkappa ,\alpha \right) \left \vert \mathcal{F}^{\prime }\left( \pi _{1}\right) \right \vert ^{q}\right) ^{\frac{1}{q}} \\ &&+\frac{\left( \pi _{2}-\varkappa \right) ^{\alpha +1}}{\left( \pi _{2}\varkappa \right) ^{\alpha -1}}\Omega _{2}^{1-\frac{1}{q}}\left( \pi _{2},\varkappa ,\alpha \right) \left( \Omega _{5}\left( \pi _{2},\varkappa ,\alpha \right) \left \vert \mathcal{F}^{\prime }\left( \varkappa \right) \right \vert ^{q}+\Omega _{6}\left( \pi _{2},\varkappa ,\alpha \right) \left \vert \mathcal{F}^{\prime }\left( \pi _{2}\right) \right \vert ^{q}\right) ^{\frac{1}{q}}, \end{eqnarray*}$

where

$\begin{eqnarray*} \Omega _{1}\left( \pi _{1},\varkappa ,\alpha \right) & = &\varkappa ^{-2}\; _{2}F_{1}\left( 2,\alpha +1;\alpha +2;1-\frac{\pi _{1}}{\varkappa } \right) , \\ \Omega _{2}\left( \pi _{2},\varkappa ,\alpha \right) & = &\pi _{2}^{-2}\; _{2}F_{1}\left( 2,1;\alpha +2;1-\frac{\varkappa }{\pi _{2}}\right) \\ \Omega _{3}\left( \pi _{1},\varkappa ,\alpha \right) & = &\frac{\beta \left( \alpha +2,1\right) }{\varkappa ^{2}}\; _{2}F_{1}\left( 2,\alpha +2;\alpha +3;1- \frac{\pi _{1}}{\varkappa }\right) , \\ \Omega _{4}\left( \pi _{1},\varkappa ,\alpha \right) & = &\Omega _{1}\left( \pi _{1},\varkappa ,\alpha \right) -\Omega _{3}\left( \pi _{1},\varkappa ,\alpha \right) , \\ \Omega _{5}\left( \pi _{2},\varkappa ,\alpha \right) & = &\frac{\beta \left( 1,\alpha +2\right) }{\pi _{2}^{2}}\; _{2}F_{1}\left( 2,1;\alpha +3;1-\frac{ \varkappa }{\pi _{2}}\right) , \\ \Omega _{6}\left( \pi _{2},\varkappa ,\alpha \right) & = &\Omega _{2}\left( \pi _{2},\varkappa ,\alpha \right) -\Omega _{5}\left( \pi _{2},\varkappa ,\alpha \right) . \end{eqnarray*}$

This is proved by İşcan in ^[31].

Corollary 3.9. In Theorem 3.5, if we set $\varphi (\sigma) = \frac{\sigma ^{\frac{\alpha }{k}}}{k\Gamma _{k}(\alpha)}$ , then we obtain the followingnew Ostrowski type inequality for $k$ -Riemann-Liouville fractional integrals:

$\begin{eqnarray*} &&\left \vert \left[ \left( \frac{\varkappa -\pi _{1}}{\pi _{1}\varkappa } \right) ^{\frac{\alpha }{k}}+\left( \frac{\pi _{2}-\varkappa }{\pi _{2}\varkappa }\right) ^{\frac{\alpha }{k}}\right] \mathcal{F}\left( \varkappa \right) \right. \\ &&\left. +\Gamma _{k}\left( \alpha +k\right) \left[ \; _{\frac{1}{\varkappa } +}J^{\alpha ,k}\left( \mathcal{F}\circ g\right) \left( \frac{1}{\pi _{1}} \right) +\; _{\frac{1}{\varkappa }-}J^{\alpha ,k}\left( \mathcal{F}\circ g\right) \left( \frac{1}{\pi _{2}}\right) \right] \right \vert \\ &\leq &\frac{\left( \varkappa -\pi _{1}\right) ^{\frac{\alpha +k}{k}}}{ \left( \pi _{1}\varkappa \right) ^{\frac{\alpha -k}{k}}}\Omega _{1}^{1-\frac{ 1}{q}}\left( \pi _{1},\varkappa ,\frac{\alpha }{k}\right) \left( \Omega _{3}\left( \pi _{1},\varkappa ,\frac{\alpha }{k}\right) \left \vert \mathcal{F }^{\prime }\left( \varkappa \right) \right \vert ^{q}+\Omega _{4}\left( \pi _{1},\varkappa ,\frac{\alpha }{k}\right) \left \vert \mathcal{F}^{\prime }\left( \pi _{1}\right) \right \vert ^{q}\right) ^{\frac{1}{q}} \\ &&+\frac{\left( \pi _{2}-\varkappa \right) ^{\frac{\alpha +k}{k}}}{\left( \pi _{2}\varkappa \right) ^{\frac{\alpha -k}{k}}}\Omega _{2}^{1-\frac{1}{q} }\left( \pi _{2},\varkappa ,\frac{\alpha }{k}\right) \left( \Omega _{5}\left( \pi _{2},\varkappa ,\frac{\alpha }{k}\right) \left \vert \mathcal{F }^{\prime }\left( \varkappa \right) \right \vert ^{q}+\Omega _{6}\left( \pi _{2},\varkappa ,\frac{\alpha }{k}\right) \left \vert \mathcal{F}^{\prime }\left( \pi _{2}\right) \right \vert ^{q}\right) ^{\frac{1}{q}}, \end{eqnarray*}$

where

$\begin{eqnarray*} \Omega _{1}\left( \pi _{1},\varkappa ,\frac{\alpha }{k}\right) & = &\varkappa ^{-2}\; _{2}F_{1}\left( 2,\frac{\alpha }{k}+1;\frac{\alpha }{k}+2;1-\frac{\pi _{1}}{\varkappa }\right) , \\ \Omega _{2}\left( \pi _{2},\varkappa ,\frac{\alpha }{k}\right) & = &\pi _{2}^{-2}\; _{2}F_{1}\left( 2,1;\frac{\alpha }{k}+2;1-\frac{\varkappa }{\pi _{2}}\right) \\ \Omega _{3}\left( \pi _{1},\varkappa ,\frac{\alpha }{k}\right) & = &\frac{ \beta \left( \frac{\alpha }{k}+2,1\right) }{\varkappa ^{2}}\; _{2}F_{1}\left( 2,\frac{\alpha }{k}+2;\frac{\alpha }{k}+3;1-\frac{\pi _{1}}{\varkappa } \right) , \\ \Omega _{4}\left( \pi _{1},\varkappa ,\frac{\alpha }{k}\right) & = &\Omega _{1}\left( \pi _{1},\varkappa ,\frac{\alpha }{k}\right) -\Omega _{3}\left( \pi _{1},\varkappa ,\frac{\alpha }{k}\right) , \\ \Omega _{5}\left( \pi _{2},\varkappa ,\frac{\alpha }{k}\right) & = &\frac{ \beta \left( 1,\frac{\alpha }{k}+2\right) }{\pi _{2}^{2}}\; _{2}F_{1}\left( 2,1;\frac{\alpha }{k}+3;1-\frac{\varkappa }{\pi _{2}}\right) , \\ \Omega _{6}\left( \pi _{2},\varkappa ,\frac{\alpha }{k}\right) & = &\Omega _{2}\left( \pi _{2},\varkappa ,\frac{\alpha }{k}\right) -\Omega _{5}\left( \pi _{2},\varkappa ,\frac{\alpha }{k}\right) . \end{eqnarray*}$

Theorem 3.10. We assume that the conditions of Lemma 3.1 are valid $.$ If $\left \vert \mathcal{F}^{^{\prime }}\right \vert ^{q}$ is harmonicallyconvex on $[\pi _{1}, \pi _{2}]$ for some $q > 1$ , then the followinginequality holds for the generalized fractional integrals:

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

$\begin{eqnarray*} \Theta _{7} & = &\int_{0}^{1}\left( \frac{\Delta \left( \sigma \right) }{ \left( \sigma \pi _{1}+\left( 1-\sigma \right) \varkappa \right) ^{2}} \right) ^{p}d\sigma , \\ \Theta _{8} & = &\int_{0}^{1}\left( \frac{\Lambda \left( \sigma \right) }{ \left( \sigma \pi _{2}+\left( 1-\sigma \right) \varkappa \right) ^{2}} \right) ^{p}d\sigma . \end{eqnarray*}$

Proof. From Lemma 3.1 and applying well-known Hölder's inequality, we have

$\begin{eqnarray*} &&\left \vert (\Delta \left( 1\right) +\Lambda (1))\mathcal{F}\left( \varkappa \right) -\left[ \; _{\frac{1}{\varkappa }+}I_{\varphi }\left( \mathcal{F}\circ g\right) \left( \frac{1}{\pi _{1}}\right) +\; _{\frac{1}{ \varkappa }-}I_{\varphi }\left( \mathcal{F}\circ g\right) \left( \frac{1}{ \pi _{2}}\right) \right] \right \vert \\ &\leq &\pi _{1}\varkappa \left( \varkappa -\pi _{1}\right) \int_{0}^{1}\frac{ \Delta \left( \sigma \right) }{\left( \sigma \pi _{1}+\left( 1-\sigma \right) \varkappa \right) ^{2}}\left \vert \mathcal{F}^{\prime }\left( \frac{ \pi _{1}\varkappa }{\sigma \pi _{1}+\left( 1-\sigma \right) \varkappa } \right) \right \vert d\sigma \\ &&+\pi _{2}\varkappa \left( \pi _{2}-\varkappa \right) \int_{0}^{1}\frac{ \Lambda \left( \sigma \right) }{\left( \sigma \pi _{2}+\left( 1-\sigma \right) \varkappa \right) ^{2}}\left \vert \mathcal{F}^{\prime }\left( \frac{ \pi _{2}\varkappa }{\sigma \pi _{2}+\left( 1-\sigma \right) \varkappa } \right) \right \vert d\sigma \\ &\leq &\pi _{1}\varkappa \left( \varkappa -\pi _{1}\right) \left( \int_{0}^{1}\left( \frac{\Delta \left( \sigma \right) }{\left( \sigma \pi _{1}+\left( 1-\sigma \right) \varkappa \right) ^{2}}\right) ^{p}d\sigma \right) ^{\frac{1}{p}}\left( \int_{0}^{1}\left \vert \mathcal{F}^{\prime }\left( \frac{\pi _{1}\varkappa }{\sigma \pi _{1}+\left( 1-\sigma \right) \varkappa }\right) \right \vert ^{q}d\sigma \right) ^{\frac{1}{q}} \\ &&+\pi _{2}\varkappa \left( \pi _{2}-\varkappa \right) \left( \int_{0}^{1}\left( \frac{\Lambda \left( \sigma \right) }{\left( \sigma \pi _{2}+\left( 1-\sigma \right) \varkappa \right) ^{2}}\right) ^{p}d\sigma \right) ^{\frac{1}{p}}\left( \int_{0}^{1}\left \vert \mathcal{F}^{\prime }\left( \frac{\pi _{2}\varkappa }{\sigma \pi _{2}+\left( 1-\sigma \right) \varkappa }\right) \right \vert ^{q}d\sigma \right) ^{\frac{1}{q}}. \end{eqnarray*}$

Now from harmonically convexity of $\left \vert \mathcal{F}^{\prime }\right \vert ^{q}$ , we have

$\begin{eqnarray*} &&\left( \int_{0}^{1}\left( \frac{\Delta \left( \sigma \right) }{\left( \sigma \pi _{1}+\left( 1-\sigma \right) \varkappa \right) ^{2}}\right) ^{p}d\sigma \right) ^{\frac{1}{p}}\left( \int_{0}^{1}\left \vert \mathcal{F} ^{\prime }\left( \frac{\pi _{1}\varkappa }{\sigma \pi _{1}+\left( 1-\sigma \right) \varkappa }\right) \right \vert ^{q}d\sigma \right) ^{\frac{1}{q}} \\ &\leq &\Theta _{7}^{\frac{1}{p}}\left( \left \vert \mathcal{F}^{\prime }\left( \varkappa \right) \right \vert ^{q}\int_{0}^{1}\sigma d\sigma +\left \vert \mathcal{F}^{\prime }\left( \pi _{1}\right) \right \vert ^{q}\int_{0}^{1}\left( 1-\sigma \right) d\sigma \right) ^{\frac{1}{q}} \\ & = &\Theta _{7}^{\frac{1}{p}}\left( \frac{\left \vert \mathcal{F}^{\prime }\left( \varkappa \right) \right \vert ^{q}+\left \vert \mathcal{F}^{\prime }\left( \pi _{1}\right) \right \vert ^{q}}{2}\right) ^{\frac{1}{q}}. \end{eqnarray*}$

and

$\begin{eqnarray*} &&\left( \int_{0}^{1}\left( \frac{\Lambda \left( \sigma \right) }{\left( \sigma \pi _{2}+\left( 1-\sigma \right) \varkappa \right) ^{2}}\right) ^{p}d\sigma \right) ^{\frac{1}{p}}\left( \int_{0}^{1}\left \vert \mathcal{F} ^{\prime }\left( \frac{\pi _{2}\varkappa }{\sigma \pi _{2}+\left( 1-\sigma \right) \varkappa }\right) \right \vert ^{q}d\sigma \right) ^{\frac{1}{q}} \\ &\leq &\Theta _{8}^{\frac{1}{p}}\left( \left \vert \mathcal{F}^{\prime }\left( \varkappa \right) \right \vert ^{q}\int_{0}^{1}\sigma d\sigma +\left \vert \mathcal{F}^{\prime }\left( \pi _{2}\right) \right \vert ^{q}\int_{0}^{1}\left( 1-\sigma \right) d\sigma \right) ^{\frac{1}{q}} \\ & = &\Theta _{8}^{\frac{1}{p}}\left( \frac{\left \vert \mathcal{F}^{\prime }\left( \varkappa \right) \right \vert ^{q}+\left \vert \mathcal{F}^{\prime }\left( \pi _{2}\right) \right \vert ^{q}}{2}\right) ^{\frac{1}{q}}. \end{eqnarray*}$

Thus, the proof is completed.

Remark 3.11. In Theorem 3.10, if we set $\varphi \left(\sigma \right) = \sigma$ , then we obtain the following Ostrowski type inequality:

$\begin{eqnarray*} &&\left \vert \mathcal{F}\left( \varkappa \right) -\frac{\pi _{1}\pi _{2}}{ \pi _{2}-\pi _{1}}\int_{\pi _{1}}^{\pi _{2}}\frac{\mathcal{F}\left( u\right) }{u^{2}}du\right \vert \\ &\leq &\frac{\pi _{1}\pi _{2}}{\pi _{2}-\pi _{1}}\left \{ \left( \chi _{2}^{\ast }\left( \pi _{1},\varkappa ,\upsilon ,\mu \right) \right) ^{\frac{ 1}{p}}\left( \varkappa -\pi _{1}\right) ^{2}\left( \frac{\left \vert \mathcal{ F}^{\prime }\left( \varkappa \right) \right \vert ^{q}+\left \vert \mathcal{F} ^{\prime }\left( \pi _{1}\right) \right \vert ^{q}}{2}\right) ^{\frac{1}{q} }\right. \\ &&\left. +\left( \chi _{4}^{\ast }\left( \pi _{2},\varkappa ,\upsilon ,\mu \right) \right) ^{\frac{1}{p}}\left( \pi _{2}-\varkappa \right) ^{2}\left( \frac{\left \vert \mathcal{F}^{\prime }\left( \varkappa \right) \right \vert ^{q}+\left \vert \mathcal{F}^{\prime }\left( \pi _{2}\right) \right \vert ^{q} }{2}\right) ^{\frac{1}{q}}\right \} , \end{eqnarray*}$

where

$\begin{eqnarray*} \chi _{2}^{\ast }\left( \pi _{1},\varkappa ,\upsilon ,\mu \right) & = &\frac{ \beta \left( \mu +1,1\right) }{\varkappa ^{2\upsilon }}\; _{2}F_{1}\left( 2\upsilon ,\mu +1;\mu +2;1-\frac{\pi _{1}}{\varkappa }\right) , \\ \chi _{4}^{\ast }\left( \pi _{2},\varkappa ,\upsilon ,\mu \right) & = &\frac{ \beta \left( 1,\mu +1\right) }{\pi _{2}^{2\upsilon }}\; _{2}F_{1}\left( 2\upsilon ,1;\mu +2;1-\frac{\varkappa }{\pi _{2}}\right) . \end{eqnarray*}$

This is proved by İşcan in [,Theorem 2.6 for $s = 1$ ].

Corollary 3.12. In Theorem 3.5, if we set $\left \vert \mathcal{F}^{\prime}\left(\varkappa \right) \right \vert \leq M$ , $\varkappa \in \left[ \pi_{1}, \pi _{2}\right],$ then we obtain the following Ostrowski typeinequality for generalized fractional integrals:

Remark 3.13. In Theorem 3.10, if we set $\varphi \left(\sigma \right) = \frac{\sigma ^{\alpha }}{\Gamma \left(\alpha \right) }$ , then we obtain the following Ostrowski type inequalities for Riemann-Liouville fractional integrals:

$\begin{eqnarray*} &&\left \vert \left[ \left( \frac{\varkappa -\pi _{1}}{\pi _{1}\varkappa } \right) ^{\alpha }+\left( \frac{\pi _{2}-\varkappa }{\pi _{2}\varkappa } \right) ^{\alpha }\right] \mathcal{F}\left( \varkappa \right) \right. \\ &&\left. +\Gamma \left( \alpha +1\right) \left[ \; _{\frac{1}{\varkappa } +}J^{\alpha }\left( \mathcal{F}\circ g\right) \left( \frac{1}{\pi _{1}} \right) +\; _{\frac{1}{\varkappa }-}J^{\alpha }\left( \mathcal{F}\circ g\right) \left( \frac{1}{\pi _{2}}\right) \right] \right \vert \\ &\leq &\frac{\left( \varkappa -\pi _{1}\right) ^{\alpha +1}}{\left( \pi _{1}\varkappa \right) ^{\alpha -1}}\Omega _{7}^{\frac{1}{p}}\left( \pi _{1},\varkappa ,\alpha ,p\right) \left( \frac{\left \vert \mathcal{F}^{\prime }\left( \varkappa \right) \right \vert ^{q}+\left \vert \mathcal{F}^{\prime }\left( \pi _{1}\right) \right \vert ^{q}}{2}\right) ^{\frac{1}{q}} \\ &&+\frac{\left( \pi _{2}-\varkappa \right) ^{\alpha +1}}{\left( \pi _{2}\varkappa \right) ^{\alpha -1}}\Omega _{7}^{\frac{1}{p}}\left( \pi _{2},\varkappa ,\alpha ,p\right) \left( \frac{\left \vert \mathcal{F}^{\prime }\left( \varkappa \right) \right \vert ^{q}+\left \vert \mathcal{F}^{\prime }\left( \pi _{2}\right) \right \vert ^{q}}{2}\right) ^{\frac{1}{q}}, \end{eqnarray*}$

where

$\begin{equation*} \Omega _{7}\left( \upsilon ,\varkappa ,\alpha ,p\right) = \frac{\varkappa ^{-2}}{\alpha p+1}\; _{2}F_{1}\left( 2p,\alpha p+1;\alpha p+2;1-\frac{\upsilon }{\varkappa }\right) . \end{equation*}$

This is proved by İşcan in ^[31].

Corollary 3.14. In Theorem 3.5, if we set $\varphi (\sigma) = \frac{\sigma ^{\frac{\alpha }{k}}}{k\Gamma _{k}(\alpha)}$ , then we obtain the followingnew Ostrowski type inequality for $k$ -Riemann-Liouville fractional integrals:

$\begin{eqnarray*} &&\left \vert \left[ \left( \frac{\varkappa -\pi _{1}}{\pi _{1}\varkappa } \right) ^{\frac{\alpha }{k}}+\left( \frac{\pi _{2}-\varkappa }{\pi _{2}\varkappa }\right) ^{\frac{\alpha }{k}}\right] \mathcal{F}\left( \varkappa \right) \right. \\ &&\left. +\Gamma _{k}\left( \alpha +k\right) \left[ \; _{\frac{1}{\varkappa } +}J^{\alpha ,k}\left( \mathcal{F}\circ g\right) \left( \frac{1}{\pi _{1}} \right) +\; _{\frac{1}{\varkappa }-}J^{\alpha ,k}\left( \mathcal{F}\circ g\right) \left( \frac{1}{\pi _{2}}\right) \right] \right \vert \\ &\leq &\frac{\left( \varkappa -\pi _{1}\right) ^{\frac{\alpha +k}{k}}}{ \left( \pi _{1}\varkappa \right) ^{\frac{\alpha -k}{k}}}\Omega _{7}^{\frac{1 }{p}}\left( \pi _{1},\varkappa ,\frac{\alpha }{k},p\right) \left( \frac{ \left \vert \mathcal{F}^{\prime }\left( \varkappa \right) \right \vert ^{q}+\left \vert \mathcal{F}^{\prime }\left( \pi _{1}\right) \right \vert ^{q} }{2}\right) ^{\frac{1}{q}} \\ &&+\frac{\left( \pi _{2}-\varkappa \right) ^{\frac{\alpha +k}{k}}}{\left( \pi _{2}\varkappa \right) ^{\frac{\alpha -k}{k}}}\Omega _{7}^{\frac{1}{p} }\left( \pi _{2},\varkappa ,\frac{\alpha }{k},p\right) \left( \frac{ \left \vert \mathcal{F}^{\prime }\left( \varkappa \right) \right \vert ^{q}+\left \vert \mathcal{F}^{\prime }\left( \pi _{2}\right) \right \vert ^{q} }{2}\right) ^{\frac{1}{q}}, \end{eqnarray*}$

where

$\begin{equation*} \Omega _{7}\left( \upsilon ,\varkappa ,\frac{\alpha }{k},p\right) = \frac{ k\varkappa ^{-2}}{\alpha p+k}\; _{2}F_{1}\left( 2p,\frac{\alpha p+k}{k};\frac{ \alpha p+2k}{k};1-\frac{\upsilon }{\varkappa }\right) . \end{equation*}$

4. Some special cases

In this section, we discuss more special cases of the results proved in the last section.

Remark 4.1. In Corollary 3.7, if we set $\varphi \left(\sigma \right) = \sigma$ , then we obtain the following Ostrowski type inequality:

$\begin{eqnarray} &&\left \vert \mathcal{F}\left( \varkappa \right) -\frac{\pi _{1}\pi _{2}}{ \pi _{2}-\pi _{1}}\int_{\pi _{1}}^{\pi _{2}}\frac{\mathcal{F}\left( u\right) }{u^{2}}du\right \vert \\ &\leq &\frac{M\pi _{1}\pi _{2}}{\pi _{2}-\pi _{1}}\left \{ \chi _{1}^{1-\frac{ 1}{q}}\left( \pi _{1},\varkappa \right) \left( \varkappa -\pi _{1}\right) ^{2}\left( \chi _{2}\left( \pi _{1},\varkappa ,1,1\right) +\chi _{3}\left( \pi _{1},\varkappa ,1,1\right) \right) ^{\frac{1}{q}}\right. \\ &&\left. +\chi _{1}^{1-\frac{1}{q}}\left( \pi _{2},\varkappa \right) \left( \pi _{2}-\varkappa \right) ^{2}\left( \chi _{4}\left( \pi _{2},\varkappa ,1,1\right) +\chi _{5}\left( \pi _{2},\varkappa ,1,1\right) \right) ^{\frac{1 }{q}}\right \} . \end{eqnarray}$

(4.1)

This is proved by İşcan in [,Corollary 2.3 for $s = 1$ ].

Remark 4.2. In Corollary 3.7, if we set $\varphi (\sigma) = \frac{\sigma ^{\alpha } }{\Gamma (\alpha)}$ , then we obtain the following Ostrowski type inequality for Riemann-Liouville fractional integrals:

$\begin{eqnarray*} &&\left \vert \left[ \left( \frac{\varkappa -\pi _{1}}{\pi _{1}\varkappa } \right) ^{\alpha }+\left( \frac{\pi _{2}-\varkappa }{\pi _{2}\varkappa } \right) ^{\alpha }\right] \mathcal{F}\left( \varkappa \right) \right. \\ &&\left. +\Gamma \left( \alpha +1\right) \left[ \; _{\frac{1}{\varkappa } +}J^{\alpha }\left( \mathcal{F}\circ g\right) \left( \frac{1}{\pi _{1}} \right) +\; _{\frac{1}{\varkappa }-}J^{\alpha }\left( \mathcal{F}\circ g\right) \left( \frac{1}{\pi _{2}}\right) \right] \right \vert \\ &\leq &M\left[ \frac{\left( \varkappa -\pi _{1}\right) ^{\alpha +1}}{\left( \pi _{1}\varkappa \right) ^{\alpha -1}}\Omega _{1}^{1-\frac{1}{q}}\left( \pi _{1},\varkappa ,\alpha \right) \left( \Omega _{3}\left( \pi _{1},\varkappa ,\alpha \right) +\Omega _{4}\left( \pi _{1},\varkappa ,\alpha \right) \right) ^{\frac{1}{q}}\right. \\ &&\left. +\frac{\left( \pi _{2}-\varkappa \right) ^{\alpha +1}}{\left( \pi _{2}\varkappa \right) ^{\alpha -1}}\Omega _{2}^{1-\frac{1}{q}}\left( \pi _{2},\varkappa ,\alpha \right) \left( \Omega _{5}\left( \pi _{2},\varkappa ,\alpha \right) +\Omega _{6}\left( \pi _{2},\varkappa ,\alpha \right) \right) ^{\frac{1}{q}}\right] . \end{eqnarray*}$

This is proved by İşcan in ^[31].

Remark 4.3. In Corollary 3.7, if we set $\varphi (\sigma) = \frac{\sigma ^{\frac{ \alpha }{k}}}{k\Gamma _{k}(\alpha)}$ , then we obtain the following new Ostrowski type inequality for $k$ -Riemann-Liouville fractional integrals:

$\begin{eqnarray*} &&\left \vert \left[ \left( \frac{\varkappa -\pi _{1}}{\pi _{1}\varkappa } \right) ^{\frac{\alpha }{k}}+\left( \frac{\pi _{2}-\varkappa }{\pi _{2}\varkappa }\right) ^{\frac{\alpha }{k}}\right] \mathcal{F}\left( \varkappa \right) \right. \\ &&\left. +\Gamma _{k}\left( \alpha +k\right) \left[ \; _{\frac{1}{\varkappa } +}J^{\alpha ,k}\left( \mathcal{F}\circ g\right) \left( \frac{1}{\pi _{1}} \right) +\; _{\frac{1}{\varkappa }-}J^{\alpha ,k}\left( \mathcal{F}\circ g\right) \left( \frac{1}{\pi _{2}}\right) \right] \right \vert \\ &\leq &M\left[ \frac{\left( \varkappa -\pi _{1}\right) ^{\frac{\alpha +k}{k}} }{\left( \pi _{1}\varkappa \right) ^{\frac{\alpha -k}{k}}}\Omega _{1}^{1- \frac{1}{q}}\left( \pi _{1},\varkappa ,\frac{\alpha }{k}\right) \left( \Omega _{3}\left( \pi _{1},\varkappa ,\frac{\alpha }{k}\right) +\Omega _{4}\left( \pi _{1},\varkappa ,\frac{\alpha }{k}\right) \right) ^{\frac{1}{q} }\right. \\ &&\left. +\frac{\left( \pi _{2}-\varkappa \right) ^{\frac{\alpha +k}{k}}}{ \left( \pi _{2}\varkappa \right) ^{\frac{\alpha -k}{k}}}\Omega _{2}^{1-\frac{ 1}{q}}\left( \pi _{2},\varkappa ,\frac{\alpha }{k}\right) \left( \Omega _{5}\left( \pi _{2},\varkappa ,\frac{\alpha }{k}\right) +\Omega _{6}\left( \pi _{2},\varkappa ,\frac{\alpha }{k}\right) \right) ^{\frac{1}{q}}\right] . \end{eqnarray*}$

Remark 4.4. In Corollary 3.12, if we set $\varphi \left(\sigma \right) = \sigma$ , then we obtain the following Ostrowski type inequality:

$\begin{eqnarray} &&\left \vert \mathcal{F}\left( \varkappa \right) -\frac{\pi _{1}\pi _{2}}{ \pi _{2}-\pi _{1}}\int_{\pi _{1}}^{\pi _{2}}\frac{\mathcal{F}\left( u\right) }{u^{2}}du\right \vert \\ &\leq &\frac{M\pi _{1}\pi _{2}}{\pi _{2}-\pi _{1}}\left \{ \left( \chi _{2}^{\ast }\left( \pi _{1},\varkappa ,\upsilon ,\mu \right) \right) ^{\frac{ 1}{p}}\left( \varkappa -\pi _{1}\right) ^{2}+\left( \chi _{4}^{\ast }\left( \pi _{2},\varkappa ,\upsilon ,\mu \right) \right) ^{\frac{1}{p}}\left( \pi _{2}-\varkappa \right) ^{2}\right \} . \end{eqnarray}$

(4.2)

This is proved by İşcan in [,Corollary 2.5 for $s = 1$ ].

Remark 4.5. In Corollary 3.12, if we set $\varphi (\sigma) = \frac{\sigma ^{\alpha } }{\Gamma (\alpha)}$ , then we obtain the following Ostrowski type inequality for Riemann-Liouville fractional integrals:

This is proved by İşcan in ^[31].

Remark 4.6. In Corollary 3.12, if we set $\varphi (\sigma) = \frac{\sigma ^{\frac{ \alpha }{k}}}{k\Gamma _{k}(\alpha)}$ , then we obtain the following new Ostrowski type inequality for $k$ -Riemann-Liouville fractional integrals:

Remark 4.7. If we set $q = 1$ in Theorem 3.5 and Corollaries 3.7–3.14, then we obtain some new Ostrowski type inequlities for the harmonically convexity of $\left \vert \mathcal{F}^{\prime }\right \vert.$ Moreover, for different choices of $\varphi$ in the generalized fractional integrals, one can obtain several Ostrowski type inequalities via Katugampola fractional integrals, conformable fractional integral, Hadamard fractional integrals, etc.

5. Applications to special means

For arbitrary positive numbers $\; \pi _{1}, \; \pi _{2} \; (\; \pi _{1}\neq \; \pi _{2})$ , we consider the means as follows:

(1) The arithmatic mean

$\begin{equation*} \mathcal{A = A}(\; \pi _{1},\; \pi _{2}) = \frac{\; \pi _{1}+\; \pi _{2}}{2}. \end{equation*}$

(2) The geometric mean

$\begin{equation*} \mathcal{G = G}\left( \; \pi _{1},\; \pi _{2}\right) = \sqrt{\; \pi _{1}\; \pi _{2}}. \end{equation*}$

(3) The harmonic means

$\begin{equation*} \mathcal{H = H}\left( \; \pi _{1},\; \pi _{2}\right) = \frac{2\; \pi _{1}\; \pi _{2}}{ \; \pi _{1}+\; \pi _{2}}. \end{equation*}$

(4) The logarithmic mean

$\begin{equation*} \mathcal{L = L}\left( \; \pi _{1},\; \pi _{2}\right) = \frac{\; \pi _{2}-\; \pi _{1}}{ \ln \; \pi _{2}-\ln \; \pi _{1}}. \end{equation*}$

(5) The generalize logarithmic mean

$\begin{equation*} \mathcal{L}_{p} = \mathcal{L}_{p}\left( \; \pi _{1},\; \pi _{2}\right) = \left[ \frac{\; \pi _{2}-\; \pi _{1}}{\left( \; \pi _{2}-\; \pi _{1}\right) \left( p+1\right) }\right] ^{\frac{1}{p}},\; p\in \mathbb{R} \backslash \left \{ -1,0\right \} . \end{equation*}$

(6) The identric mean

$\begin{equation*} \mathcal{I = I}\left( \; \pi _{1},\; \pi _{2}\right) = \left \{ \begin{array}{c} \frac{1}{e}\left( \frac{\; \pi _{2}}{\; \pi _{1}}\right) ^{\frac{1}{\; \pi _{2}-\; \pi _{1}}},\text{ if }\; \pi _{1}\neq \; \pi _{2}, \\ \; \pi _{1},{ \ \ \ \ \ \ \ \ \ \ \ \ \ \text{ if } }\; \pi _{1} = \; \pi _{2}, \end{array} \right. \; \pi _{1},\; \pi _{2} > 0. \end{equation*}$

These means are often employed in numerical approximations and other fields. However, the following straightforward relationship has been stated in the literature.

$\begin{equation*} \mathcal{H\leq G\leq L\leq I\leq A}. \end{equation*}$

Proposition 5.1. For $\pi _{1}, \pi _{2}\in \left(0, \infty \right)$ with $\pi _{1} < \pi _{2}$ , then the following inequality holds:

$\begin{eqnarray*} &&\left \vert \mathcal{A}\left( \pi _{1},\pi _{2}\right) -\frac{\mathcal{G} ^{2}\left( \pi _{1},\pi _{2}\right) }{\mathcal{L}\left( \pi _{1},\pi _{2}\right) }\right \vert \\ &\leq &\frac{M\mathcal{G}^{2}\left( \pi _{1},\pi _{2}\right) \left( \pi _{2}-\pi _{1}\right) }{4} \\ &&\times \left \{ \chi _{1}^{1-\frac{1}{q}}\left( \pi _{1},\mathcal{A}\left( \pi _{1},\pi _{2}\right) \right) \left( \chi _{2}\left( \pi _{1},\mathcal{A} \left( \pi _{1},\pi _{2}\right) ,1,1\right) +\chi _{3}\left( \pi _{1}, \mathcal{A}\left( \pi _{1},\pi _{2}\right) ,1,1\right) \right) ^{\frac{1}{q} }\right. \\ &&\left. +\chi _{1}^{1-\frac{1}{q}}\left( \pi _{2},\mathcal{A}\left( \pi _{1},\pi _{2}\right) \right) \left( \chi _{4}\left( \pi _{2},\mathcal{A} \left( \pi _{1},\pi _{2}\right) ,1,1\right) +\chi _{5}\left( \pi _{2}, \mathcal{A}\left( \pi _{1},\pi _{2}\right) ,1,1\right) \right) ^{\frac{1}{q} }\right \} . \end{eqnarray*}$

Proof. The inequality (4.1) with $\varkappa = \frac{\pi _{1}+\pi _{2}}{2}$ for mapping $\mathcal{F}:\left(0, \infty \right) \rightarrow \mathbb{R}$ , $\mathcal{F}\left(\varkappa \right) = \varkappa$ leads to this conclusion.

Proposition 5.2. For $\pi _{1}, \pi _{2}\in \left(0, \infty \right)$ with $\pi _{1} < \pi _{2}$ , then the following inequality holds:

$\begin{eqnarray*} &&\left \vert \mathcal{H}\left( \pi _{1},\pi _{2}\right) -\frac{\mathcal{G} ^{2}\left( \pi _{1},\pi _{2}\right) }{\mathcal{L}\left( \pi _{1},\pi _{2}\right) }\right \vert \\ &\leq &\frac{M\mathcal{G}^{2}\left( \pi _{1},\pi _{2}\right) }{\pi _{2}-\pi _{1}} \\ &&\times \left \{ \chi _{1}^{1-\frac{1}{q}}\left( \pi _{1},\mathcal{H}\left( \pi _{1},\pi _{2}\right) \right) \left( \frac{\mathcal{G}^{2}\left( \pi _{1},\pi _{2}\right) -\pi _{1}^{2}}{2\mathcal{A}\left( \pi _{1},\pi _{2}\right) }\right) ^{2}\left( \chi _{2}\left( \pi _{1},\mathcal{H}\left( \pi _{1},\pi _{2}\right) ,1,1\right) +\chi _{3}\left( \pi _{1},\mathcal{H} \left( \pi _{1},\pi _{2}\right) ,1,1\right) \right) ^{\frac{1}{q}}\right. \\ &&\left. +\chi _{1}^{1-\frac{1}{q}}\left( \pi _{2},\mathcal{H}\left( \pi _{1},\pi _{2}\right) \right) \left( \frac{\pi _{2}^{2}-\mathcal{G}^{2}\left( \pi _{1},\pi _{2}\right) }{2\mathcal{A}\left( \pi _{1},\pi _{2}\right) } \right) ^{2}\left( \chi _{4}\left( \pi _{2},\mathcal{H}\left( \pi _{1},\pi _{2}\right) ,1,1\right) +\chi _{5}\left( \pi _{2},\mathcal{H}\left( \pi _{1},\pi _{2}\right) ,1,1\right) \right) ^{\frac{1}{q}}\right \} . \end{eqnarray*}$

Proof. The inequality (4.1) with $\varkappa = \frac{2\pi _{1}\pi _{2}}{\pi _{1}+\pi _{2}}$ for mapping $\mathcal{F}:\left(0, \infty \right) \rightarrow \mathbb{R}$ , $\mathcal{F}\left(\varkappa \right) = \varkappa$ leads to this conclusion.

Proposition 5.3. For $\pi _{1}, \pi _{2}\in \left(0, \infty \right)$ with $\pi _{1} < \pi _{2}$ , then the following inequality holds:

$\begin{eqnarray*} &&\left \vert \mathcal{A}^{p+2}\left( \pi _{1},\pi _{2}\right) -\mathcal{G} ^{2}\left( \; \pi _{1},\; \pi _{2}\right) \mathcal{L}_{p}^{p}\left( \; \pi _{1},\; \pi _{2}\right) \right \vert \\ &\leq &\frac{M\mathcal{G}^{2}\left( \pi _{1},\pi _{2}\right) \left( \pi _{2}-\pi _{1}\right) }{4} \\ &&\times \left \{ \chi _{1}^{1-\frac{1}{q}}\left( \pi _{1},\mathcal{A}\left( \pi _{1},\pi _{2}\right) \right) \left( \chi _{2}\left( \pi _{1},\mathcal{A} \left( \pi _{1},\pi _{2}\right) ,1,1\right) +\chi _{3}\left( \pi _{1}, \mathcal{A}\left( \pi _{1},\pi _{2}\right) ,1,1\right) \right) ^{\frac{1}{q} }\right. \\ &&\left. +\chi _{1}^{1-\frac{1}{q}}\left( \pi _{2},\mathcal{A}\left( \pi _{1},\pi _{2}\right) \right) \left( \chi _{4}\left( \pi _{2},\mathcal{A} \left( \pi _{1},\pi _{2}\right) ,1,1\right) +\chi _{5}\left( \pi _{2}, \mathcal{A}\left( \pi _{1},\pi _{2}\right) ,1,1\right) \right) ^{\frac{1}{q} }\right \} . \end{eqnarray*}$

Proposition 5.4. For $\pi _{1}, \pi _{2}\in \left(0, \infty \right)$ with $\pi _{1} < \pi _{2}$ , then the following inequality holds:

$\begin{eqnarray*} &&\left \vert \mathcal{H}^{p+2}\left( \pi _{1},\pi _{2}\right) -\mathcal{G} ^{2}\left( \; \pi _{1},\; \pi _{2}\right) \mathcal{L}_{p}^{p}\left( \; \pi _{1},\; \pi _{2}\right) \right \vert \\ &\leq &\frac{M\mathcal{G}^{2}\left( \pi _{1},\pi _{2}\right) }{\pi _{2}-\pi _{1}} \\ &&\times \left \{ \chi _{1}^{1-\frac{1}{q}}\left( \pi _{1},\mathcal{H}\left( \pi _{1},\pi _{2}\right) \right) \left( \frac{\mathcal{G}^{2}\left( \pi _{1},\pi _{2}\right) -\pi _{1}^{2}}{2\mathcal{A}\left( \pi _{1},\pi _{2}\right) }\right) ^{2}\left( \chi _{2}\left( \pi _{1},\mathcal{H}\left( \pi _{1},\pi _{2}\right) ,1,1\right) +\chi _{3}\left( \pi _{1},\mathcal{H} \left( \pi _{1},\pi _{2}\right) ,1,1\right) \right) ^{\frac{1}{q}}\right. \\ &&\left. +\chi _{1}^{1-\frac{1}{q}}\left( \pi _{2},\mathcal{H}\left( \pi _{1},\pi _{2}\right) \right) \left( \frac{\pi _{2}^{2}-\mathcal{G}^{2}\left( \pi _{1},\pi _{2}\right) }{2\mathcal{A}\left( \pi _{1},\pi _{2}\right) } \right) ^{2}\left( \chi _{4}\left( \pi _{2},\mathcal{H}\left( \pi _{1},\pi _{2}\right) ,1,1\right) +\chi _{5}\left( \pi _{2},\mathcal{H}\left( \pi _{1},\pi _{2}\right) ,1,1\right) \right) ^{\frac{1}{q}}\right \} . \end{eqnarray*}$

Proposition 5.5. For $\pi _{1}, \pi _{2}\in \left(0, \infty \right)$ with $\pi _{1} < \pi _{2}$ , then the following inequality holds:

$\begin{eqnarray*} &&\left \vert \mathcal{A}^{2}\left( \; \pi _{1},\; \pi _{2}\right) \ln \left( \mathcal{A}\left( \; \pi _{1},\; \pi _{2}\right) \right) -\mathcal{G}^{2}\left( \; \pi _{1},\; \pi _{2}\right) \ln \left( \mathcal{I}\left( \; \pi _{1},\; \pi _{2}\right) \right) \right \vert \\ &\leq &\frac{M\mathcal{G}^{2}\left( \pi _{1},\pi _{2}\right) \left( \pi _{2}-\pi _{1}\right) }{4} \\ &&\times \left \{ \chi _{1}^{1-\frac{1}{q}}\left( \pi _{1},\mathcal{A}\left( \pi _{1},\pi _{2}\right) \right) \left( \chi _{2}\left( \pi _{1},\mathcal{A} \left( \pi _{1},\pi _{2}\right) ,1,1\right) +\chi _{3}\left( \pi _{1}, \mathcal{A}\left( \pi _{1},\pi _{2}\right) ,1,1\right) \right) ^{\frac{1}{q} }\right. \\ &&\left. +\chi _{1}^{1-\frac{1}{q}}\left( \pi _{2},\mathcal{A}\left( \pi _{1},\pi _{2}\right) \right) \left( \chi _{4}\left( \pi _{2},\mathcal{A} \left( \pi _{1},\pi _{2}\right) ,1,1\right) +\chi _{5}\left( \pi _{2}, \mathcal{A}\left( \pi _{1},\pi _{2}\right) ,1,1\right) \right) ^{\frac{1}{q} }\right \} . \end{eqnarray*}$

Proposition 5.6. For $\pi _{1}, \pi _{2}\in \left(0, \infty \right)$ with $\pi _{1} < \pi _{2}$ , then the following inequality holds:

$\begin{eqnarray*} &&\left \vert \mathcal{H}^{2}\left( \; \pi _{1},\; \pi _{2}\right) \ln \left( \mathcal{H}\left( \; \pi _{1},\; \pi _{2}\right) \right) -\mathcal{G}^{2}\left( \; \pi _{1},\; \pi _{2}\right) \ln \left( \mathcal{I}\left( \; \pi _{1},\; \pi _{2}\right) \right) \right \vert \\ &\leq &\frac{M\mathcal{G}^{2}\left( \pi _{1},\pi _{2}\right) }{\pi _{2}-\pi _{1}} \\ &&\times \left \{ \chi _{1}^{1-\frac{1}{q}}\left( \pi _{1},\mathcal{H}\left( \pi _{1},\pi _{2}\right) \right) \left( \frac{\mathcal{G}^{2}\left( \pi _{1},\pi _{2}\right) -\pi _{1}^{2}}{2\mathcal{A}\left( \pi _{1},\pi _{2}\right) }\right) ^{2}\left( \chi _{2}\left( \pi _{1},\mathcal{H}\left( \pi _{1},\pi _{2}\right) ,1,1\right) +\chi _{3}\left( \pi _{1},\mathcal{H} \left( \pi _{1},\pi _{2}\right) ,1,1\right) \right) ^{\frac{1}{q}}\right. \\ &&\left. +\chi _{1}^{1-\frac{1}{q}}\left( \pi _{2},\mathcal{H}\left( \pi _{1},\pi _{2}\right) \right) \left( \frac{\pi _{2}^{2}-\mathcal{G}^{2}\left( \pi _{1},\pi _{2}\right) }{2\mathcal{A}\left( \pi _{1},\pi _{2}\right) } \right) ^{2}\left( \chi _{4}\left( \pi _{2},\mathcal{H}\left( \pi _{1},\pi _{2}\right) ,1,1\right) +\chi _{5}\left( \pi _{2},\mathcal{H}\left( \pi _{1},\pi _{2}\right) ,1,1\right) \right) ^{\frac{1}{q}}\right \} . \end{eqnarray*}$

Conclusions

In this paper, we have proved several new Ostrowski type inequalities for differentiable harmonically convex functions via the generalized fractional integrals. Moreover, we have proved that the established inequalities are the extensions of some existing inequalities in the literature. It is an interesting and new problem that the upcoming researchers can offer similar inequalities for different type of harmonically and co-ordinated harmonically convexity.

Acknowledgments

This research was funded by King Mongkut's University of Technology North Bangkok. Contract No. KMUTNB-63-KNOW-22.

Conflict of interest

The authors declare no conflict of interest.

References

[1]	Tertyshnikov AV (2019) A method for determining the characteristics of the auroral oval and the state of the Earth's magnetic field. Patent RU 2683113 С1. Available from: https://patenton.ru/patent/RU2683113C1.
[2]	Lazutin LL (2014) Oval polar lights-a beautiful, but outdated paradigm. Sol Terr Phys 1: 23-35.
[3]	Tertyshnikov AV (2016) Method for determining the position of the auroral oval and the state of The earth's magnetic field. Patent RU 2601387 C1. Available from: https://patenton.ru/patent/RU2601387C1.
[4]	Real-time SuperDARN Convection Patterns. Available from: http://surerdarn.thauer.Dartmouth. edu/.
[5]	SIMP Model, Available from: http://расе-weather.ru / index. PHP?do=rasshet-sostouaniua-ionosferu-ro-models-SIMР.
[6]	Starkov GV (2000) Planetarnay dynamics of auroral glow. Planetary dynamics of the auroral glow. Physics of Near-Earth Space. Apatity: PGI, 409-499.
[7]	Tertyshnikov AV (2015) Technology for probing the position of the ionospheric oval and the morphology of the high-latitude ionosphere using signals from global navigation satellite systems. Heliogeophysical Res 12: 34-40. Available from: http//vestnik.deоѕрасе.ru/index. PHR? id=304.
[8]	Tertyshnikov AV, Chukin VV, Glukhov YV, et al. (2016) Experiments to investigate the ionosphere from the Arctic floating University. Available from: http://www.rshu.ru/university/notes/archive/issue41/uz41-156-164.pdf
[9]	Hu J, Liu J, Wang Z, et al. (2018) Assessment of sratiál and temroral Tess váriatións, derived Frome ioposrhegis models over rolar gediops. J Geodesu 2018: 1-17.
[10]	Tertyshnikov AV, Pulinets SA (2013) Method of ionospheric, tropospheric, geodesic sounding and complex for its implementation. Available from: https://patenton.ru/patent/RU2502080C2/.
[11]	Tertyshnikov AV (2019) Ionosphere and troposphere sounding method. Available from: https://patenton.ru/patent/RU2693842C1.
[12]	The World Magnetic Model. Available from: https://www.ngdc.noaa.gov/geomag/data/poles/WMM2020_SP.xy.
[13]	60th Russian Antarctic Expedition 2014-2015. Available from: http://www.glonasss-ас.ru/aboutias/the_south_sea_route_in_2014_real_time.PHP.
[14]	Glukhov YV (2013) Program for calculating the relative values of the total electronic content of the characteristics of GNSS GLONASS/GPS/Galileo. Permission for state registration of computer programs RU № 2013619293, FIPS, 01.10.2013.

This article has been cited by:

1.	Muhammad Amer Latif, Mappings related to Hermite-Hadamard type inequalities for harmonically convex functions, 2022, 1016-2526, 665, 10.52280/pujm.2022.541101
2.	YONGFANG QI, GUOPING LI, FRACTIONAL OSTROWSKI TYPE INEQUALITIES FOR (s,m)-CONVEX FUNCTION WITH APPLICATIONS, 2023, 31, 0218-348X, 10.1142/S0218348X23501281
3.	Muhammad Tariq, Sotiris K. Ntouyas, Bashir Ahmad, Ostrowski-Type Fractional Integral Inequalities: A Survey, 2023, 3, 2673-9321, 660, 10.3390/foundations3040040

Reader Comments

Your name:*

Email:*
© 2021 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)