The Lawson-Simons' theorem on warped product submanifolds with geometric information

1.   Introduction

Let $\phi:I \subseteq \Bbb R\rightarrow \Bbb R$ be a convex function and $\alpha, \beta \in I$ with $\alpha < \beta$, then the following inequality holds,

which is well known as Hermite-Hadamard's inequality ^[1] for convex functions. Both inequalities hold in the reversed direction if $\phi$ is concave.

Convex function is an important function in mathematical analysis and has been applied in many aspects ^[2,3]. With the extension of the definition of convex function, Hermite-Hadamard's inequality has been deeply studied. Some improvement and generalizations for Hermite-Hadamard's inequality (1.1) can been found in the references ^{[4,5,6,7,8,9,10,11,12]}.

In ^[11], İşcan gave the definition of harmonically convexity as follows:

Definition 1. Let $I\subset\mathbb{R}\setminus\{0\}$ be a real interval. A function $\phi:I\rightarrow \mathbb{R}$ is said to be harmonically convex, if

for all $x, y\in I$ and $t\in[0, 1]$. If the inequality in (1.2) is reversed, then $\phi$ is said to be harmonically concave.

In recent years, many researchers presented many kinds of fractional calculus by different methods and explored their applications. For example, Riemann-Liouville fractional integrals and its applications in inequalities ^{[13,14,15,16]}. Recently, Yang stated the theory of local fractional calculus on Yang's fractal sets systematically in ^[17,18,19]. Local fractional calculus can explain the behavior of continuous but nowhere differentiable function. In view of the special advantages of local fractional calculus, more and more researchers extended their studies to Yang's fractal space, see ^{[20,21,22,23,24,25,26,27,28,29]}.

In ^[22], Sun introduced the definition of the generalized harmonically convex function on Yang's fractal sets as follows:

Definition 2. Let $I\subset\mathbb{R}\setminus\{0\}$ be a real interval. A function $\phi:I\rightarrow \mathbb{R}^{\epsilon}(0 < \epsilon\leq1)$ is said to be generalized harmonically convex, if

for all $x, y\in I$ and $t\in[0, 1]$. If the inequality in (1.3) is reversed, then $\phi$ is said to be generalized harmonically concave. The sign $\epsilon$ represents the fractal dimension.

Example 1. Let $\phi:(0, \infty)\rightarrow \mathbb{R}^{\epsilon}$ and $\psi:(-\infty, 0)\rightarrow \mathbb{R}^{\epsilon}$, then $\phi(x) = x^{\epsilon}$ is a generalized harmonically convex function and $\psi(x) = x^{\epsilon}$ is a generalized harmonically concave function.

The following result related to Hermite-Hadamard's inequalities holds.

Theorem 1. ^[22] Let $\phi: I\subset\mathbb{R}\setminus\{0\}\rightarrow \mathbb{R}^{\epsilon}$ be a generalized harmonically convex function on fractal space and $\alpha, \beta\in I$ with $\alpha < \beta$. If $\phi(x)\in I_{x}^{(\epsilon)}[\alpha, \beta]$, then

Based on the theory of local fractional calculus and the definition of the generalized harmonically convex function on Yang's fractal sets, the main aim of this paper is using a new integral identity and monotonicity of functions to establish some new Hermite-Hadamard type inequalities involving local fractional calculus.

2.   Preliminaries

Let $\mathbb{R}^{\epsilon}(0 < \epsilon\leq1)$ be $\epsilon$-type set of the real line numbers on Yang's fractal sets, and give the following operation rules, see^[17,18]. The sign $\epsilon$ represents the fractal dimension, not the exponential sign.

If $\alpha^{\epsilon}, \beta^{\epsilon}, \gamma^{\epsilon}\in\mathbb{R}^{\epsilon}$, then addition and multiplication operations satisfy

(a) $\alpha^{\epsilon}+\beta^{\epsilon}\in\mathbb{R}^{\epsilon}$, $\alpha^{\epsilon}\beta^{\epsilon}\in\mathbb{R}^{\epsilon}$,

(b) $\alpha^{\epsilon}+\beta^{\epsilon} = \beta^{\epsilon}+\alpha^{\epsilon} = (\alpha+\beta)^{\epsilon} = (\beta+\alpha)^{\epsilon}$,

(c) $\alpha^{\epsilon}+(\beta^{\epsilon}+\gamma^{\epsilon}) = (\alpha+\beta)^{\epsilon}+\gamma^{\epsilon}$,

(d) $\alpha^{\epsilon}\beta^{\epsilon} = \beta^{\epsilon} \alpha^{\epsilon} = (\alpha\beta)^{\epsilon} = (\beta\alpha)^{\epsilon}$,

(e) $\alpha^{\epsilon}(\beta^{\epsilon}\gamma^{\epsilon}) = (\alpha^{\epsilon}\beta^{\epsilon})\gamma^{\epsilon}$,

(f) $\alpha^{\epsilon}(\beta^{\epsilon}+\gamma^{\epsilon}) = \alpha^{\epsilon}\beta^{\epsilon}+\alpha^{\epsilon}\gamma^{\epsilon}$,

(g) $\alpha^{\epsilon}+0^{\epsilon} = \alpha^{\epsilon}$, $\alpha^{\epsilon}+(-\alpha)^{\epsilon} = 0^{\epsilon}$ and $\alpha^{\epsilon}1^{\epsilon} = 1^{\epsilon}\alpha^{\epsilon} = \alpha^{\epsilon}$,

(h) $(\alpha-\beta)^{\epsilon} = \alpha^{\epsilon}-\beta^{\epsilon}$.

Definition 3. ^[18,19] If there exists the relation

with $|x-x_{0}| < \delta$, for $\varepsilon, \delta > 0$ and $\varepsilon, \delta\in\mathbb{R}$.Then the function $\phi(x)$ is called local fractional continuous at $x_{0}$. If $\phi(x)$ is local fractional continuous on $(\alpha, \beta)$, we denote by $\phi(x)\in C_{\epsilon}(\alpha, \beta)$.

Definition 4. ^[17,19] Supposing that $\phi(x)\in C_{\epsilon}(\alpha, \beta)$, the local fractional derivative of $\phi(x)$ of order $\epsilon$ at $x = x_{0}$ is defined by

For any $x\in(\alpha, \beta)$, there exists $\phi^{(\epsilon)}(x) = D_{x}^{(\epsilon)}$, denoted by $\phi^{(\epsilon)}(x)\in D_{x}^{(\epsilon)}(\alpha, \beta)$. $D_{\epsilon}(\alpha, \beta)$ is called $\epsilon$-local fractional derivative set. If there exits $\phi^{((n+1)\epsilon)}(x) = \overbrace{D_{x}^{\epsilon}\cdot\cdot\cdot D_{x}^{\epsilon}}^{(n+1) \rm{times}}\phi(x)$ for any $x\in I\subseteq\mathbb{R}$, then we denote $\phi\in D_{(n+1)\epsilon}(I)$, where $n = 0, 1, 2, \cdot\cdot\cdot$

Definition 5. ^[17,19] Let $\phi(x)\in C_{\epsilon}[\alpha, \beta]$. The local fractional integral of function $\phi(x)$ of order $\epsilon$ is defined by

where $\alpha = t_{0} < t_{1} < \cdot\cdot\cdot < t_{N-1} < t_{N} = \beta, [t_{j}, t_{j+1}]$ is a partition of the interval $[\alpha, \beta]$, $\Delta t_{j} = t_{j+1}-t_{j}, \Delta t = \max\{\Delta t_{0}, \Delta t_{1} \cdot\cdot\cdot\Delta t_{N-1}\}$.

Note that ${}_{\alpha}I_{\alpha}^{(\epsilon)}\phi(x) = 0$, and ${}_{\alpha}I_{\beta}^{(\epsilon)}\phi(x) = -{}_{\beta}I_{\alpha}^{(\epsilon)}\phi(x)$ if $\alpha < \beta$. We denote $\phi(x)\in I_{x}^{(\epsilon)}[\alpha, \beta]$ if there exits ${}_{\alpha}I_{x}^{(\epsilon)}\phi(x)$ for any $x\in(\alpha, \beta)$.

Lemma 1. ^[17]

(1) Suppose that $\phi(x) = \varphi^{(\epsilon)}(x)\in C_{\epsilon}[\alpha, \beta]$, then

(2) (Local fractional integration by parts)

Suppose that $\phi(x), \varphi(x)\in D_{\epsilon}(\alpha, \beta)$, and $\phi^{(\epsilon)}(x), \varphi^{(\epsilon)}(x)\in C_{\epsilon}[\alpha, \beta]$, then

Lemma 2. ^[17] Suppose that $\phi(x)\in C_{\epsilon}[\alpha, \beta]$ and $\alpha < \gamma < \beta$, then

Lemma 3. ^[17]

Lemma 4. ^[18,30] (Generalized Hölder's inequality) Let $\phi, \varphi\in C_{\epsilon}[\alpha, \beta], p, q > 1$, with $\frac{1}{p}+\frac{1}{q} = 1$, then

Lemma 5. ^[17]

Let us introduce the special functions on Yang's fractal sets as follows:

(1) The generalized Beta function is given by

(2) The generalized hypergeometric function is given by

3.   Main results

For convenience, we use the symbol $A_{t}$ to denote $t\alpha+(1-t)\beta$ in the following sections.

Lemma 6. Let $I\subset(0, \infty)$ be an interval, $\phi: I^{\circ}\rightarrow \mathbb{R}^{\epsilon}$ ($I^{\circ}$ is the interior of $I$) such that $\phi\in D_{\epsilon}(I^{\circ})$ and $\phi^{(\epsilon)}\in C_{\epsilon}(\alpha, \beta)$ for $\alpha, \beta\in I^{\circ}$ with $\alpha < \beta$. Then the following equality holds

where

Proof. Calculating $I_{1}, I_{2}$, from Lemma 1(1), we get

and

Calculating $I_{3}$, by the local fractional integration by parts, we have

Using changing variable with $x = \frac{\alpha\beta}{A_{t}}$, we have

Adding $I_{1}-I_{3}$, the desired result is obtained. This completes the proof.

Theorem 2. Let $I\subset(0, \infty)$ be an interval, $\phi:I^{\circ}\rightarrow \Bbb R^{\epsilon}$ ($I^{\circ}$ is the interior of $I$) is an increasing function on $I^{\circ}$ such that $\phi\in D_{\epsilon}(I^{\circ})$ and $\phi^{(\epsilon)}\in C_{\epsilon}[\alpha, \beta]$ for $\alpha, \beta\in I^{\circ}$ with $\alpha < \beta$. If $|\phi^{(\epsilon)}|^{q}$ is generalized harmonically convex on $[\alpha, \beta]$ for some fixed $q > 1$, then for all $x\in[\alpha, \beta]$, the following local fractional integrals inequality holds,

where

Proof. Since $\phi$ is an increasing function on $I^{\circ}$, and $0 < \alpha < \frac{2\alpha\beta}{\alpha+\beta} < \beta$, we can obtain

From the proof of Lemma 6, we have

Taking modulus in equality (3.1), we obtain

From Lemma 6, using the property of the modulus and the generalized Hölder's inequality, we have

Since $|\phi^{(\epsilon)}|^{q}$ is generalized harmonically convex on $[\alpha, \beta]$, thus

By calculating, we get

Similarly, we get

and

From (3.4)–(3.9), we get inequality (3.2). This completes the proof.

Theorem 3. Let $I\subset(0, \infty)$ be an interval, $\phi:I^{\circ}\rightarrow \Bbb R^{\epsilon}$ is an increasing function on $I^{\circ}$ such that $\phi\in D_{\epsilon}(I^{\circ})$ and $\phi^{(\epsilon)}\in C_{\epsilon}[\alpha, \beta]$ for $\alpha, \beta\in I^{\circ}$ with $\alpha < \beta$. If $|\phi^{(\epsilon)}|^{q}$ is generalized harmonically convex on $[\alpha, \beta]$, $q > 1, \frac{1}{p}+\frac{1}{q} = 1$, then for all $x\in[\alpha, \beta]$, the following local fractional integrals inequality holds.

Proof. From inequality (3.4), we have

From Lemma 6, using the property of the modulus and the generalized Hölder's inequality, we have

Since $|\phi^{(\epsilon)}|^{q}$ is generalized harmonically convex on $[\alpha, \beta]$, we can get

By calculating, we have

and

Thus, combining (3.11)–(3.16), we obtain the required inequality. The proof is completed.

Theorem 4. Let $I\subset(0, \infty)$ be an interval, $\phi:I^{\circ}\rightarrow \Bbb R^{\epsilon}$ is an increasing function on $I^{\circ}$ such that $\phi\in D_{\epsilon}(I^{\circ})$ and $\phi^{(\epsilon)}\in C_{\epsilon}[\alpha, \beta]$ for $\alpha, \beta\in I^{\circ}$ with $\alpha < \beta$. If $|\phi^{(\epsilon)}|^{q}$ is generalized harmonically convex on $[\alpha, \beta]$, $q > 1, \frac{1}{p}+\frac{1}{q} = 1$, then for all $x\in[\alpha, \beta]$, the following local fractional integrals inequality holds.

Proof. From Lemma 6, using the generalized Hölder's inequality and the generalized harmonically convexity of $|\phi^{(\epsilon)}|^{q}$, we have

By calculating, we have

and

From (3.11) in Theorem 3, combining (3.18)–(3.21), we obtain the required inequality. The proof is completed.

Theorem 5. Let $I\subset(0, \infty)$ be an interval, $\phi:I^{\circ}\rightarrow \Bbb R^{\epsilon}$ is an increasing function on $I^{\circ}$ such that $\phi\in D_{\epsilon}(I^{\circ})$ and $\phi^{(\epsilon)}\in C_{\epsilon}[\alpha, \beta]$ for $\alpha, \beta\in I^{\circ}$ with $\alpha < \beta$. If $|\phi^{(\epsilon)}|^{q}$ is generalized harmonically convex on $[\alpha, \beta]$, $q > 1, \frac{1}{p}+\frac{1}{q} = 1$, then for all $x\in[\alpha, \beta]$, the following local fractional integrals inequality holds.

Proof. Note that $(\alpha-\beta)^{\epsilon} = \alpha^{\epsilon}-\beta^{\epsilon}$. From Lemma 6, using the generalized Hölder's inequality and the generalized harmonically convexity of $|\phi^{(\epsilon)}|^{q}$, we have

By calculating, we have

Similarly,

And

From (3.11) in Theorem 3, combining (3.23)–(3.26), we obtain the required inequality. The proof is completed.

4.   Applications to special means

We consider the following $\epsilon$-type generalized special means of the real line numbers $\alpha^{\epsilon}, \beta^{\epsilon}$ with $\alpha < \beta$ on Yang's fractal sets.

(1) The generalized arithmetic mean

(2) The generalized p-logarithmic mean

(3) The generalized geometric mean

(4) The generalized harmonic mean

Consider the function $\phi: (0, \infty)\rightarrow \mathbb{R}^{\epsilon}$, $\phi(x) = \frac{\Gamma(1+k\epsilon)}{\Gamma(1+(k+1)\epsilon)}x^{(k+1)\epsilon}$, $x > 0, k\geq1$ and $q\geq1$. Because the function $\varphi(x) = |\phi^{(\epsilon)}(x)|^{q} = x^{kq\epsilon}$ is generalized convex and nondecreasing on $(0, \infty)$, by Proposition 3.3 in ^[22], the function $\varphi(x)$ is generalized harmonically convex on $(0, \infty)$.

Let $\phi(x) = \frac{\Gamma(1+k\epsilon)}{\Gamma(1+(k+1)\epsilon)}x^{(k+1)\epsilon}$, $x > 0, k > 1$ and $q > 1$. Then

Proposition 1. From Theorem 2, we obtain the following inequality

where $K^{\epsilon}_{1}(\alpha, \beta), K^{\epsilon}_{2}(\alpha, \beta)$ and $K^{\epsilon}_{3}(\alpha, \beta)$ as in Theorem 2.

Proposition 2. From Theorem 3, we obtain the following inequality

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

Proposition 3. From Theorem 4, we obtain the following inequality

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

Proposition 4. From Theorem 5, we obtain the following inequality

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

5.   Conclusions

In this paper, the research on Hermite-Hadamard type inequalities is extended to Yang's fractal space. By using the definitions of generalized harmonically convex function and the theory of local fractional calculus, we construct some new Hermite-Hadamard type integral inequalities for monotonically increasing functions with generalized harmonically convexity. Some applications related to the special mean are established by using the obtained inequalities, which shows that our results have certain application significance. Our research may inspire more scholars to further explore Hermite-Hadamard type integral inequalities on Yang's fractal sets.

Acknowledgments

This work is supported by the Natural Science Foundation of Hunan Province (No. 2020JJ4554) and Scientific Research Project of Hunan Provincial Education Department (No. 18B433).

Conflict of interest

This work does not have any conflicts of interest.