Skip to main content

Wirtinger integral inequalities for pseudo-integrals and pseudo-additive measure


The main purpose of this paper is to show Wirtinger type inequalities for the pseudo-integral. We are concerned with pseudo-integrals based on the following three canonical cases: in the first case, the real semiring with pseudo-operation is generated by a strictly monotone continuous function g; in the second case, the pseudo-operations include a pseudo-multiplication and a power arithmetic addition; in the last case, -measures are interval-valued. Examples are given to illustrate these equalities.


It is well known that if \(u\in C^{1}([0,T],\mathbb{R})\), \(u(0)=u(T)\) and \(\int _{0}^{T} u(t)\,dt=0\), then the following inequality holds:

$$ \int _{0}^{T} \bigl\vert u(t) \bigr\vert ^{2}\,dt\leq \frac{T^{2}}{4\pi ^{2}} \int _{0}^{T} \bigl\vert u'(t) \bigr\vert ^{2}\,dt, $$

with equality if and only if \(u(t)=A\sin (\frac{2\pi t}{T} )+B\cos ( \frac{2\pi t}{T} )\), where A and B are constants. If \(T=2\pi \), then Inequality (1) is known in the literature as Wirtinger’s inequality; see [1, 2]. The Wirtinger’s inequality and its generalizations have wide applications in p-Laplacian systems [3, 4], time-delay systems [57], Lurie systems [8], stability criteria [9, 10], discrete-time systems [11, 12] and so on.

Pseudo-analysis is chosen as the research background of this paper, because it presents a contemporary mathematical theory which has been successfully applied in many practical fields. The last decade has shown an increasing research activity on pseudo-analysis [1317]. As a method to promote the classical mathematical analysis, pseudo-analysis extends the concept of traditional operation to pseudo-operation including pseudo-addition and pseudo-multiplication. Later on, the researchers present pseudo-integrals [16] based on the important theory of pseudo-analysis, namely pseudo-operations and interval-valued measure. The pseudo-integral is now emerging as one of the hottest mathematical subjects, many scholars have studied its application and promotion on generalizations of integral inequalities [1822].

Since the Wirtinger inequality is one of the most important inequalities, this paper studies three Wirtinger type integral inequalities in pseudo-analysis environment. In the first case, we consider a Wirtinger type integral inequality for an applied pseudo-integration equipped with a monotonic continuous mapping g. In the second case, we study a Wirtinger type integral inequality for the pseudo-integration adopting a semiring \(([0. 1], \sup , \odot )\) to design the theory. In the last case, we show a Wirtinger type integral inequality with respect to interval-valued -measures. Moreover, several examples are provided for validation.

The paper is organized as follows: Sect. 2 contains some of preliminaries. Section 3 provides generalizations of two Wirtinger type inequalities to pseudo-integrals on a g-semiring. Section 4 proves a Wirtinger integral inequality for the pseudo-integral of a real-valued function with respect to the pseudo-additive measure. The conclusion is shown in Sect. 5.


In this section, we review some basic notions about pseudo-operations and pseudo-integrals, the relevant literature includes [15, 23].

An interval \([c, d]\) is a closed subset of \([-\infty , +\infty ]\). The complete order in \([c, d]\) is expressed as which can be the usual order of the real line or can be another order. Also, the total order is closely connected to the choice of pseudo-addition. Namely, for the semirings of the first and the third class, i.e., for the semirings with idempotent pseudo-addition, total order is induced by the following

$$x \preceq y \quad \text{if and only if}\quad x \oplus y=x. $$

For the semiring of the second class given by a generator g, total order is given by

$$x \preceq y \quad \text{if and only if}\quad g(x) \leq g(y). $$

Let \([c,d]^{+}=\{x|x \in [c,d], \mathbf{0} \preceq x\}\). The structure \(([c, d], \oplus , \odot )\), endowed with a pseudo-addition and a pseudo-multiplication , is a semiring (see [16, 24]). The equation \(\textbf{0}\odot i = \textbf{0}\) holds.

We consider the semiring \(([c, d], \oplus , \odot )\) in two situations. In the first situation, let \(g:[c, d]\rightarrow [0, \infty ]\) be a monotone and continuous mapping and let

$$\begin{aligned}& x\oplus y= g^{-1}(g(x)+g(y)),\qquad x\odot y = g^{-1}(g(x)\cdot g(y))\quad \text{and}\quad x_{\odot }^{(n)}= g^{-1}(g^{n}(x)) . \end{aligned}$$

The pseudo-integral for a function \(p:[a, b]\rightarrow [c, d]\) is expressed as

$$ \int ^{\oplus }_{[c, d]}p(t)\,dt = g^{-1} \biggl( \int ^{d}_{c}g\bigl(p(t)\bigr)\,dt \biggr); $$

see for details [17]. The second situation is when

$$ x\oplus y = \max (x, y)\quad \text{and}\quad x\odot y = g^{-1}\bigl(g(x)g(y) \bigr) , $$

the pseudo-integral for a function \(p:\mathbb{R}\rightarrow [c, d]\) is given as

$$ \int _{\mathbb{R}}^{\oplus }p\odot dm=\sup \bigl(p(x)\odot \psi (x) \bigr), $$

where the function ψ means sup-measure m; see [14].

Theorem 1


Let m be a sup-measure on \(([0, \infty ], \mathcal{D}([0, \infty ]))\), where \(\mathcal{D}([0, \infty ])\) is the Borel σ-algebra on \([0, \infty ]\), \(m(C) = \operatorname{ess}\sup_{\mu }(\psi (x)|x \in A)\), and \(\mu : [0, \infty ]\rightarrow [0, \infty ]\) is a continuous density. Then, for any pseudo-addition with a generator g there exists a family \({m_{\lambda }}\) of \(\oplus _{\lambda }\)-measure on \(([0, \infty ), \mathcal{D})\), where \(\oplus _{\lambda }\) is generated by \(g^{\lambda }\) (the function g of the power λ), \(\lambda \in (0, \infty )\), such that \(\lim_{\lambda \rightarrow \infty } m_{\lambda }= m\).

Theorem 2


Let \(([0, \infty ], \sup , \odot )\) be a semiring, when is generated with g, i.e., we have \(x\odot y = g^{-1}(g(x)g(y))\) for every \(x, y\in (0, \infty )\). Let m be the same as in Theorem 1. Then there exists a family \({m_{\lambda }}\) of \(\oplus _{\lambda }\)-measures, where \(\oplus _{\lambda }\) is generated by \(g^{\lambda }\), \(\lambda \in (0, \infty )\) such that, for every continuous function \(p:[0, \infty ]\rightarrow [0, \infty ]\),

$$ \int ^{\sup }p\odot dm=\lim_{\lambda \rightarrow \infty } \int ^{ \oplus _{\lambda }}p\odot dm_{\lambda }=\lim_{n\rightarrow \infty } \bigl(g^{\lambda }\bigr)^{-1} \biggl( \int g^{\lambda }\bigl(p(t)\bigr)\,dt \biggr). $$

Pseudo-operations on nonempty subsets C and D of \([c, d]\) adopts the methods similar to the pseudo-addition and the pseudo-multiplication [14]. If C and D stand for two arbitrary nonempty subsets of \([c, d]\) and \(\beta \in [c, d]^{+}\), then

$$\begin{aligned}& C\oplus D=\{x \oplus y|x\in C\text{ and } y\in D\}, \\& C\odot D=\{x \odot y|x\in C\text{ and } y\in D\}, \\& \beta \odot C =\{\beta \odot x | x\in C\}. \end{aligned}$$

The present paper focuses on the interval operation. Let I be the class of all closed subintervals of \([c, d]^{+}\), i.e.,

$$ I = \bigl\{ [w, e] | w \leq e\text{ and } [w, e]\subseteq [c, d]^{+} \bigr\} . $$

It can be shown (see [13]) that for \(C, D \in I\), where \(C=[d_{1}, h_{1}]\) and \(D=[d_{2}, h_{2}]\),

$$ C\oplus D = [d_{1}\oplus d_{2}, h_{1}\oplus h_{2}], \qquad C\odot D = [d_{1} \odot \,d_{2}, h_{1}\odot h_{2}]. $$

For \(\beta \in [c, d]^{+}\) and \(D=[d_{2}, h_{2}]\in I\), we have \(\beta \odot D = [\beta \odot \,d_{2}, \beta \odot h_{2}]\).

Theorem 3


Let \(([c, d], \oplus , \odot )\) be a semiring that belongs to one kind basic categories, where \(\oplus = \sup \) or is equivalent to an increasing generator g. Let \(p:X\rightarrow [c, d]^{+}\) be a measurable function. An interval-valued set-function \(\bar{\mu }^{p}_{\mathcal{M}}\) based on the pseudo-integral of p with respect to interval-valued -measure given by

$$ \bar{\mu }^{p}_{\mathcal{M}}(C) = \int ^{\oplus }_{C} p\odot \,d\bar{\mu }_{ \mathcal{M}} = \biggl[ \int ^{\oplus }_{C} p\odot \,d\mu _{d}, \int ^{ \oplus }_{C} p\odot \,d\mu _{u} \biggr], $$

where \(C\subseteq X\), the properties can be summarized as follows:

  1. (i)

    \(\bar{\mu }^{p}_{\mathcal{M}}(\emptyset ) = [0, 0] \),

  2. (ii)

    \(\bar{\mu }^{p}_{\mathcal{M}}\) is monotone with respect to \(\preceq _{S}\),

  3. (iii)

    \(\bar{\mu }^{p}_{\mathcal{M}}\) is additive,

  4. (iv)

    \(\bar{\mu }^{p}_{\mathcal{M}}\) is σ--additive.

In Eq. (4), the set-function \(\bar{\mu }^{p}_{\mathcal{M}}\) is an interval-valued -measure.

Wirtinger integral inequality for pseudo-integrals

In this section, we discuss Wirtinger integral inequality for pseudo-integrals based on the semiring \(([0, T], \oplus , \odot )\) and semiring \(([0, T], \sup , \odot )\) separately.

Let \(U(t)=u'(t)\), then \(u(t)=\int _{0}^{t} U(s)\,ds\), and Inequality (1) implies that

$$ \int _{0}^{T}U(t)^{2}\,dt\geq \frac{4\pi ^{2}}{T^{2}} \int _{0}^{T} \biggl( \int _{0}^{t} U(s)\,ds \biggr)^{2} \,dt.$$

Theorem 4

Suppose that \(U:[0, T]\rightarrow [0, T]\) (\(T\geq 0\)) is a measurable function. If a generator \(g:[0, T]\rightarrow [0, +\infty ]\) of the pseudo-addition and the pseudo-multiplication is an increasing function and if \(\int _{0}^{t} g(U(s))\,ds\in C^{1}([0,T],\mathbb{R})\), \(\int _{0}^{T} g(U(t))\,dt=0\), \(\int _{0}^{T}(\int _{0}^{t} g(U(s))\,ds)\,dt=0\). Then for any δ--measure

$$ \int _{[0, T]}^{\oplus } \bigl(U(t)\bigr)^{(2)}_{\odot } \,dt\geq \biggl( \frac{4\pi ^{2}}{T^{2}} \biggr) \int _{[0, T]}^{\oplus } \biggl( \int _{[0, t]}^{\oplus }U(s)\,ds \biggr)^{(2)}_{\odot } \,dt. $$


By (5), we obtain

$$ \int _{0}^{T}\bigl(g\bigl(U(t)\bigr) \bigr)^{2}\,dt\geq \frac{4\pi ^{2}}{T^{2}} \biggl( \int _{0}^{T} \biggl( \int _{0}^{t} \bigl(g\bigl(U(s)\bigr)\bigr)\,ds \biggr)^{2}\,dt \biggr). $$

Since \(g^{-1}\) is an increasing function, one has

$$ g^{-1} \biggl( \int _{0}^{T}\bigl(g\bigl(U(t)\bigr) \bigr)^{2}\,dt \biggr)\geq \biggl( \frac{4\pi ^{2}}{T^{2}} \biggr) \biggl(g^{-1} \biggl( \int _{0}^{T} \biggl( \int _{0}^{t} \bigl(g\bigl(U(s)\bigr)\bigr)\,ds \biggr)^{2}\,dt \biggr) \biggr), $$

which implies that

$$\begin{aligned}& g^{-1} \biggl( \int _{0}^{T} \bigl(g \bigl(g^{-1} \bigl(g \bigl(U(t)\bigr)\bigr)^{2} \bigr) \bigr) \biggr)\,dt ) \\& \quad \geq \biggl( \frac{4\pi ^{2}}{T^{2}} \biggr)g^{-1} \biggl( \int _{0}^{T} \biggl(g \biggl(g^{-1} \biggl( \int _{0}^{t} \bigl(g\bigl(U(s)\bigr)\bigr)\,ds \biggr)^{2} \biggr) \biggr)\,dt \biggr). \end{aligned}$$

Hence, we have

$$\begin{aligned}& \int _{[0, T]}^{\oplus } \bigl(U(t)\bigr)^{(2)}_{\odot } \,dt \\& \quad \geq \biggl(\frac{4\pi ^{2}}{T^{2}} \biggr)g^{-1} \biggl( \int _{0}^{T} \biggl(g \biggl(g^{-1} \biggl( \int _{0}^{t} \bigl(g\bigl(U(s)\bigr)\bigr)\,ds \biggr)^{2} \biggr) \biggr)\,dt \biggr) \\& \quad = \biggl(\frac{4\pi ^{2}}{T^{2}} \biggr) \int _{[0, T]}^{\oplus } \biggl(g^{-1} \biggl( \int _{0}^{t} \bigl(g\bigl(U(s)\bigr)\bigr)\,ds \biggr)^{2} \biggr)\,dt \\& \quad = \biggl(\frac{4\pi ^{2}}{T^{2}} \biggr) \int _{[0, T]}^{\oplus } \biggl(g^{-1} \biggl(g \biggl(g^{-1} \biggl( \int _{0}^{t} \bigl(g\bigl(U(s)\bigr)\bigr)\,ds \biggr) \biggr) \biggr)^{2} \biggr)\,dt \\& \quad = \biggl(\frac{4\pi ^{2}}{T^{2}} \biggr) \int _{[0, T]}^{\oplus } \biggl(g^{-1} \biggl( \int _{0}^{t} \bigl(g\bigl(U(s)\bigr)\bigr)\,ds \biggr) \biggr)_{\odot }^{(2)}\,dt \\& \quad = \biggl(\frac{4\pi ^{2}}{T^{2}} \biggr) \int _{[0, T]}^{\oplus } \biggl( \int _{[0, t]}^{\oplus }U(s)\,ds \biggr)^{(2)}_{\odot } \,dt. \end{aligned}$$

The proof is therefore complete. □

Example 5

Consider that \(g(x)=\ln x\), \(U(t)=\text{e}^{\cos t}\), and \(T=2\pi \). The corresponding pseudo-operations are \(x\oplus y=xy\), \(x\odot y=\text{e}^{\ln x\cdot \ln y}\). By direct calculation, one has

$$\begin{aligned}& \int _{[0, t]}^{\oplus }U(s)\,ds=\text{e}^{\int _{0}^{t} \ln U(t)\,dt}= \text{e}^{\sin t}, \\& \int _{[0, T]}^{\oplus } \biggl( \int _{[0,t]}^{\oplus }U(s)\,ds \biggr)_{ \odot }^{(2)} \,dt =g^{-1} \biggl( \int _{0}^{2\pi }(\sin t)^{2} \biggr)= \text{e}^{\pi }, \\& \int _{[0, T]}^{\oplus }\bigl(U(t)\bigr)_{\odot }^{(2)} \,dt=g^{-1} \biggl( \int _{0}^{2 \pi }(\cos t)^{2} \biggr)= \text{e}^{\pi }. \end{aligned}$$

So Inequality (6) holds.

Example 6

Consider that \(g (x )=\tan x\), \(U(t)=\arctan (\cos t)\), and \(T=2\pi \). The corresponding pseudo-operations are \(x\oplus y=\arctan (\tan x+\tan y)\), \(x\odot y=\arctan (\tan x\cdot \tan y)\). Since

$$ \int _{[0, T]}^{\oplus } \biggl( \int _{[0,t]}^{\oplus }U(s)\,ds \biggr)_{ \odot }^{(2)} \,dt =\arctan \pi = \int _{[0, T]}^{\oplus }\bigl(U(t)\bigr)_{\odot }^{(2)} \,dt , $$

Inequality (6) holds.

Now, we give an extension of Wirtinger integral inequality with semiring \(([0, T], \sup , \odot )\).

Theorem 7

Let be represented by an increasing generator g and let m be a complete sup-measure. Then for any functions \(U:[0, T]\rightarrow [0, T]\), \(T\geq 0\),

$$ \int _{[0, T]}^{\sup } U_{\odot }^{(2)}\odot dm \geq \biggl( \frac{4\pi ^{2}}{T^{2}} \biggr) \int _{[0, T]}^{\sup } \biggl( \biggl( \int _{[0, t]}^{\sup }U\odot dm \biggr)_{\odot }^{(2)} \biggr)\odot dm. $$


According to Theorem 2, one has

$$\begin{aligned} \int _{[0, T]}^{\sup } U_{\odot }^{(2)}\odot dm =&\lim_{\lambda \rightarrow \infty } \biggl( \int _{[0, T]}^{\oplus _{\lambda }} U_{\odot }^{(2)} \odot dm_{\lambda } \biggr) =\lim_{\lambda \rightarrow \infty }\bigl(g^{ \lambda } \bigr)^{-1} \biggl( \int _{0}^{T} \bigl(g^{\lambda }\bigl(\bigl(U(t) \bigr)^{2}\bigr) \bigr)\,dt \biggr). \end{aligned}$$

Since g is increasing, \(g^{-1}\), \(g^{\lambda }\), \((g^{\lambda })^{-1}\) are also increasing. Thus, by Theorem 4, we have

$$\begin{aligned}& \lim_{\lambda \rightarrow \infty }\bigl(g^{\lambda }\bigr)^{-1} \biggl( \int _{0}^{T} \bigl(g^{\lambda }\bigl(\bigl(U(t) \bigr)^{2}\bigr) \bigr)\,dt \biggr) \\& \quad \geq \lim_{\lambda \rightarrow \infty } \biggl( \frac{4\pi ^{2}}{T^{2}} \biggr) \bigl(g^{\lambda }\bigr)^{-1} \int _{0}^{T} \biggl( \biggl( \int _{0}^{t}\bigl(g^{\lambda }\bigl(\bigl(U(s) \bigr)\,ds \biggr)^{2} \biggr)\,dt \\& \quad = \lim_{\lambda \rightarrow \infty } \biggl(\frac{4\pi ^{2}}{T^{2}} \biggr) \bigl(g^{\lambda }\bigr)^{-1} \int _{0}^{T} (g^{\lambda } ( \bigl(g^{ \lambda }\bigr)^{-1} \biggl( \biggl( \int _{0}^{t}\bigl(g^{\lambda }\bigl(\bigl(U(s) \bigr)\,ds \bigr)_{ \odot }^{(2)} \bigr) \biggr) \biggr)\,dt \\& \quad = \lim_{\lambda \rightarrow \infty } \biggl(\frac{4\pi ^{2}}{T^{2}} \biggr) \int _{[0, T]}^{\oplus _{\lambda }} (\bigl(g^{\lambda } \bigr)^{-1} ( \biggl( \int _{0}^{t}\bigl(g^{\lambda }\bigl(\bigl(U(s) \bigr)\,ds \bigr)_{\odot }^{(2)} \bigr) \biggr)\odot dm_{\lambda } \\& \quad = \lim_{\lambda \rightarrow \infty } \biggl(\frac{4\pi ^{2}}{T^{2}} \biggr) \int _{[0, T]}^{\oplus _{\lambda }} (\bigl(g^{\lambda } \bigr)^{-1} ( \biggl(g^{\lambda } \biggl(\bigl(g^{\lambda } \bigr)^{-1} \biggl( \int _{0}^{t}\bigl(g^{ \lambda }\bigl(\bigl(U(s) \bigr)\,ds \bigr) \bigr) \biggr)^{2} \biggr) \biggr)\odot dm_{ \lambda } \\& \quad = \lim_{\lambda \rightarrow \infty } \biggl(\frac{4\pi ^{2}}{T^{2}} \biggr) \int _{[0, T]}^{\oplus _{\lambda }} \biggl( \biggl( \int _{[0, t]}^{ \oplus _{\lambda }}U\odot dm_{\lambda } \biggr)_{\odot }^{(2)} \biggr) \odot dm_{\lambda } \\& \quad = \biggl(\frac{4\pi ^{2}}{T^{2}} \biggr) \int _{[0, T]}^{\sup } \biggl( \biggl( \int _{[0, t]}^{\sup }U\odot dm \biggr)_{\odot }^{(2)} \biggr) \odot dm. \end{aligned}$$

This ends the proof. □

Inequalities of Wirtinger type for pseudo-integrals with respect to interval-valued -measures

This section contains the further results of this paper, i.e., Wirtinger type inequalities based on the interval-valued -measure [19].

Theorem 8

Let \(([a, b], \oplus , \odot )\) be a g-semiring. If \(u\in C^{1}([0,T],\mathbb{R})\), \(\int _{0}^{T}u(t)\,dt=0\), \(U=u'(t)\), and \(U : [a, b] \rightarrow [a, b]\) is a measurable function, then

$$ \int _{[0, T]}^{\oplus } U_{\odot }^{(2)}\odot \,d\bar{\mu }_{\mathcal{M}} \succeq _{S} \frac{4\pi ^{2}}{T^{2}} \int _{[0, T]}^{\oplus } \biggl( \int _{[0, t]}^{\oplus }U\odot \,d\bar{\mu }_{\mathcal{M}} \biggr)_{\odot }^{(2)} \odot \,d\bar{\mu }_{\mathcal{M}}. $$


By Theorem 3, we have

$$ \int _{[0, T]}^{\oplus } U_{\odot }^{(2)}\odot \,d\bar{\mu }_{\mathcal{M}}= \biggl[ \int _{[0, T]}^{\oplus }U_{\odot }^{(2)}\odot \,d\bar{\mu }_{d}, \int _{[0, T]}^{\oplus }U_{\odot }^{(2)}\odot \,d\bar{\mu }_{h} \biggr]. $$

On the other hand,

$$\begin{aligned}& \frac{4\pi ^{2}}{T^{2}} \int _{[0, T]}^{\oplus } \biggl( \int _{[0, t]}^{ \oplus }U\odot \,d\bar{\mu }_{\mathcal{M}} \biggr)_{\odot }^{(2)}\odot \,d \bar{\mu }_{\mathcal{M}} \\& \quad = \frac{4\pi ^{2}}{T^{2}} \int _{[0, T]}^{\oplus } \biggl[ \int _{[0, t]}^{ \oplus }U\odot \,d\bar{\mu }_{d}, \int _{[0, t]}^{\oplus }U\odot \,d \bar{\mu }_{h} \biggr] \\& \qquad {}\odot \biggl[ \int _{[0, t]}^{\oplus }U\odot \,d \bar{\mu }_{d}, \int _{[0, t]}^{\oplus }U\odot \,d\bar{\mu }_{h} \biggr] \odot \,d\bar{\mu }_{\mathcal{M}} \\& \quad = \frac{4\pi ^{2}}{T^{2}} \int _{[0, T]}^{\oplus } \biggl[ \biggl( \int _{[0, t]}^{\oplus }U\odot \,d\bar{\mu }_{d} \biggr)\odot \biggl( \int _{[0, t]}^{ \oplus }U\odot \,d\bar{\mu }_{d} \biggr), \\& \qquad {}\biggl( \int _{[0, t]}^{\oplus }U \odot \,d\bar{\mu }_{h} \biggr)\odot \biggl( \int _{[0, t]}^{\oplus }U \odot \,d\bar{\mu }_{h} \biggr) \biggr]\odot \,d\bar{\mu }_{\mathcal{M}} \\& \quad = \frac{4\pi ^{2}}{T^{2}} \biggl[ \int _{[0, T]}^{\oplus } \biggl( \int _{[0, t]}^{\oplus }U\odot \,d\bar{\mu }_{d} \biggr)_{\odot }^{(2)}\odot \,d \bar{\mu }_{d}, \int _{[0, T]}^{\oplus } \biggl( \int _{[0, t]}^{\oplus }U \odot \,d\bar{\mu }_{h} \biggr)_{\odot }^{(2)}\odot \,d\bar{\mu }_{h} \biggr]. \end{aligned}$$


$$\begin{aligned}& d_{1}= \int _{[0, T]}^{\oplus }U_{\odot }^{(2)}\,d\bar{ \mu }_{d},\qquad d_{2}= \int _{[0, T]}^{\oplus } \biggl( \int _{[0, t]}^{\oplus }U\odot \,d \bar{\mu }_{d} \biggr)_{\odot }^{(2)}\odot \,d\bar{\mu }_{d}, \\& h_{1}= \int _{[0, T]}^{\oplus }U_{\odot }^{(2)}\,d\bar{ \mu }_{h},\qquad h_{2}= \int _{[0, T]}^{\oplus } \biggl( \int _{[0, t]}^{\oplus }U\odot \,d \bar{\mu }_{h} \biggr)_{\odot }^{(2)}\odot \,d\bar{\mu }_{h}. \end{aligned}$$

Since the interval \([\int _{[0, T]}^{\oplus }U_{\odot }^{(2)}\odot \,d\bar{\mu }_{d}, \int _{[0, T]}^{\oplus }U_{\odot }^{(2)}\odot \,d\bar{\mu }_{h} ]\) is pseudo-convex, an arbitrary element

$$ x \in \int _{[0, T]}^{\oplus } U_{\odot }^{(2)}\odot \,d\bar{\mu }_{ \mathcal{M}} $$

can be written in the form

$$ x=\alpha \odot \int _{[0, T]}^{\oplus }U_{\odot }^{(2)}\odot \,d\bar{\mu }_{d} \oplus \beta \odot \int _{[0, T]}^{\oplus }U_{\odot }^{(2)}\,d\bar{ \mu }_{h}, $$

where \(\alpha , \beta \in [a, b]^{+}\), \(\alpha \oplus \beta =1 \).

Based on Wirtinger inequality for pseudo-integrals (6), one has

$$ \int _{[0, T]}^{\oplus } U_{\odot }^{(2)}\odot \,d\bar{\mu }_{d}\succeq \frac{4\pi ^{2}}{T^{2}} \int _{[0, T]}^{\oplus } \biggl( \int _{[0, t]}^{ \oplus }U\odot \,d\bar{\mu }_{d} \biggr)_{\odot }^{(2)}\odot \,d\bar{\mu }_{d}. $$

Since \(\alpha \in [a, b]^{+}\) and is a positively non-decreasing function, we have

$$ \alpha \odot \int _{[0, T]}^{\oplus } U_{\odot }^{(2)}\odot \,d\bar{\mu }_{d} \succeq \alpha \odot \frac{4\pi ^{2}}{T^{2}} \int _{[0, T]}^{\oplus } \biggl( \int _{[0, t]}^{\oplus }U\odot \,d\bar{\mu }_{d} \biggr)_{\odot }^{(2)} \odot \,d\bar{\mu }_{d}. $$

Similarly, for \(\beta \in [a, b]^{+}\) and -measure \(\mu _{h}\), is a positively non-decreasing function, and then, by Inequality (6), we have

$$ \beta \odot \int _{[0, T]}^{\oplus } U_{\odot }^{(2)}\odot \,d\bar{\mu }_{h} \succeq \beta \odot \frac{4\pi ^{2}}{T^{2}} \int _{[0, T]}^{\oplus } \biggl( \int _{[0, t]}^{\oplus }U\odot \,d\bar{\mu }_{h} \biggr)_{\odot }^{(2)} \odot \,d\bar{\mu }_{h}. $$


$$\begin{aligned} y =&\alpha \odot \frac{4\pi ^{2}}{T^{2}} \int _{[0, T]}^{\oplus } \biggl( \int _{[0, t]}^{\oplus }U\odot \,d\bar{\mu }_{d} \biggr)_{\odot }^{(2)} \odot \,d\bar{\mu }_{d} \\ &{}\oplus \beta \odot \frac{4\pi ^{2}}{T^{2}} \int _{[0, T]}^{\oplus } \biggl( \int _{[0, t]}^{\oplus }U\odot \,d\bar{\mu }_{h} \biggr)_{\odot }^{(2)}\odot \,d\bar{\mu }_{h}, \end{aligned}$$

we have \(x\succeq y\) and

$$ y\in \frac{4\pi ^{2}}{T^{2}} \int _{[0, T]}^{\oplus } \biggl( \int _{[0, t]}^{ \oplus }U\odot \,d\bar{\mu }_{\mathcal{M}} \biggr)_{\odot }^{(2)}\odot \,d \bar{\mu }_{\mathcal{M}}. $$

Therefore, we have completed the first part of the proof. Furthermore, due to the property of the pseudo-convexity of the subinterval of \([a, b]^{+}\),

$$ y\in \frac{4\pi ^{2}}{T^{2}} \int _{[0, T]}^{\oplus } \biggl( \int _{[0, t]}^{ \oplus }U\odot \,d\bar{\mu }_{\mathcal{M}} \biggr)_{\odot }^{(2)}\odot \,d \bar{\mu }_{\mathcal{M}} $$

can be written in the form

$$\begin{aligned} y =&\alpha \odot \frac{4\pi ^{2}}{T^{2}} \int _{[0, T]}^{\oplus } \biggl( \int _{[0, t]}^{\oplus }U\odot \,d\bar{\mu }_{d} \biggr)_{\odot }^{(2)} \odot \,d\bar{\mu }_{d} \\ &{}\oplus \beta \odot \frac{4\pi ^{2}}{T^{2}} \int _{[0, T]}^{\oplus } \biggl( \int _{[0, t]}^{\oplus }U\odot \,d\bar{\mu }_{h} \biggr)_{\odot }^{(2)} \odot \,d\bar{\mu }_{h}, \end{aligned}$$

for some \(\alpha , \beta \in [a, b]^{+}\), \(\alpha \oplus \beta =1 \). It follows from (6) that

$$\begin{aligned}& \int _{[0, T]}^{\oplus } U_{\odot }^{(2)}\odot \,d\bar{\mu }_{d}\succeq \frac{4\pi ^{2}}{T^{2}} \int _{[0, T]}^{\oplus } \biggl( \int _{[0, t]}^{ \oplus }U\odot \,d\bar{\mu }_{d} \biggr)_{\odot }^{(2)}\odot \,d\bar{\mu }_{d}, \\& \int _{[0, T]}^{\oplus } U_{\odot }^{(2)}\odot \,d\bar{\mu }_{h}\succeq \frac{4\pi ^{2}}{T^{2}} \int _{[0, T]}^{\oplus } \biggl( \int _{[0, t]}^{ \oplus }U\odot \,d\bar{\mu }_{h} \biggr)_{\odot }^{(2)}\odot \,d\bar{\mu }_{h}. \end{aligned}$$

Since is a non-decreasing function, and is a positively non-decreasing function, one has

$$\begin{aligned}& \alpha \odot \int _{[0, T]}^{\oplus }U_{\odot }^{(2)}\odot \,d\bar{\mu }_{d} \oplus \beta \odot \int _{[0, T]}^{\oplus }U_{\odot }^{(2)}\,d\bar{ \mu }_{h} \\& \quad \succeq \alpha \odot \frac{4\pi ^{2}}{T^{2}} \int _{[0, T]}^{\oplus } \biggl( \int _{[0, t]}^{\oplus }U\odot \,d\bar{\mu }_{d} \biggr)_{\odot }^{(2)} \odot \,d\bar{\mu }_{d} \\& \qquad {}\oplus \beta \odot \frac{4\pi ^{2}}{T^{2}} \int _{[0, T]}^{\oplus } \biggl( \int _{[0, t]}^{\oplus }U\odot \,d\bar{\mu }_{h} \biggr)_{\odot }^{(2)}\odot \,d\bar{\mu }_{h}. \end{aligned}$$

This yields

$$ x=\alpha \odot \int _{[0, T]}^{\oplus }U_{\odot }^{(2)}\odot \,d\bar{\mu }_{d} \oplus \beta \odot \int _{[0, T]}^{\oplus }U_{\odot }^{(2)}\,d\bar{ \mu }_{h} \in \int _{[0, T]}^{\oplus }U_{\odot }^{(2)}\,d\bar{ \mu }_{\mathcal{M}} $$

satisfying \(x\succeq y\). Hence, the following form holds:

$$ [d_{1}, h_{1}]\succeq _{S}[d_{2}, h_{2}]. $$

This completes the proof. □

Remark 9

The proof for a decreasing generator g is similar. In this case, since the total order is opposite to the usual order on the real line, Inequality (7) is reduced to

$$ [d_{1}, h_{1}]\preceq _{S}[d_{2}, h_{2}]. $$

Example 10

Consider the g-semiring with the generating function \(g(x)=x^{2}\), the interval-valued -measure \(\bar{\mu }((a, b])= [\sqrt{\frac{2}{3}(b-a)}, \sqrt{b-a} ]\), \((a, b]\in B[a, b]\), the function \(u(x)=\frac{1}{2}\), if \(0\leq x\leq \frac{1}{2}\), \(u(x)=1\), if \(\frac{1}{2}\leq x \leq 1\) and \(T=1\). Then, the Wirtinger inequality (7) is of the form

$$ \int _{[0, 1]}^{\oplus } U_{\odot }^{(2)}\odot \,d\bar{\mu }_{\mathcal{M}} \succeq _{S}4\pi ^{2} \int _{[0, 1]}^{\oplus } \biggl( \int _{[0, t]}^{ \oplus }U\odot \,d\bar{\mu }_{\mathcal{M}} \biggr)_{\odot }^{(2)}\odot \,d \bar{\mu }_{\mathcal{M}}. $$

The pseudo-integral of the function U with respect to the interval-valued -measure \(\bar{\mu }_{\mathcal{M}}\) is

$$ \int _{[0, 1]}^{\oplus }U\odot \,d\bar{\mu }_{\mathcal{M}}= \biggl[ \int _{[0, 1]}^{\oplus }U\odot \,d\bar{\mu }_{d}, \int _{[0, 1]}^{\oplus }U\odot \,d \bar{\mu }_{h} \biggr]. $$

Since \(g(x)=x^{2}\), \(x\odot y=x\cdot y\), \(x\oplus y=\sqrt[\alpha ]{x^{\alpha }+y^{\alpha }}\), one has

$$\begin{aligned}& \int _{[0, 1]}^{\oplus }U\odot \,d\bar{\mu }_{d}= \frac{1}{2}\odot \bar{\mu }_{d} \biggl( \biggl[0, \frac{1}{2} \biggr] \biggr)\oplus 1 \odot \bar{\mu }_{d} \biggl( \bigg(\frac{1}{2}, 1 \bigg] \biggr) \\& \hphantom{\int _{[0, 1]}^{\oplus }U\odot \,d\bar{\mu }_{d}}= \frac{1}{2}\odot \sqrt{ \frac{2}{3}\cdot \frac{1}{2}}\oplus 1\odot \sqrt{\frac{2}{3} \cdot \frac{1}{2}}=\sqrt{\frac{5}{12}}, \\& \int _{[0, 1]}^{\oplus }U\odot \,d\bar{\mu }_{h}= \frac{1}{2}\odot \bar{\mu }_{h} \biggl( \biggl[0, \frac{1}{2} \biggr] \biggr)\oplus 1 \odot \bar{\mu }_{h} \biggl( \bigg(\frac{1}{2}, 1 \bigg] \biggr) \\& \hphantom{\int _{[0, 1]}^{\oplus }U\odot \,d\bar{\mu }_{h}}= \frac{1}{2}\odot \sqrt{ \frac{1}{2}}\oplus 1\odot \sqrt{\frac{1}{2}}= \sqrt{ \frac{5}{8}}. \end{aligned}$$

It follows that

$$\begin{aligned}& \int _{[0, 1]}^{\oplus }U\odot \,d\bar{\mu }_{\mathcal{M}}= \biggl[\sqrt{ \frac{5}{12}}, \sqrt{\frac{5}{8}} \biggr], \\& \biggl( \int _{[0, 1]}^{\oplus }U\odot \,d\bar{\mu }_{\mathcal{M}} \biggr)_{ \odot }^{(2)}= \biggl[\frac{5}{12}, \frac{5}{8} \biggr], \\& \int _{[0, 1]}^{\oplus } \biggl( \int _{[0, t]}^{\oplus }U\odot \,d \bar{\mu }_{d} \biggr)_{\odot }^{(2)}\odot \,d\bar{\mu }_{d}= \frac{5}{12} \odot \bar{\mu }_{d}[0, 1]=\frac{5}{12}\sqrt{ \frac{2}{3}}, \\& \int _{[0, T]}^{\oplus } \biggl( \int _{[0, t]}^{\oplus }U\odot \,d \bar{\mu }_{h} \biggr)_{\odot }^{(2)}\odot \,d\bar{\mu }_{h}= \frac{5}{8} \odot \bar{\mu }_{h}[0, 1]=\frac{5}{8}. \end{aligned}$$

For the right hand side of (8), we have

$$\begin{aligned}& 4\pi ^{2} \int _{[0, 1]}^{\oplus } \biggl( \int _{[0, t]}^{\oplus }U \odot \,d\bar{\mu }_{\mathcal{M}} \biggr)_{\odot }^{(2)}\odot \,d\bar{\mu }_{ \mathcal{M}} \\& \quad = \frac{4\pi ^{2}}{T^{2}} \biggl[ \int _{[0, T]}^{\oplus } \biggl( \int _{[0, t]}^{\oplus }U\odot \,d\bar{\mu }_{d} \biggr)_{\odot }^{(2)}\odot \,d \bar{\mu }_{d}, \int _{[0, T]}^{\oplus } \biggl( \int _{[0, t]}^{\oplus }U \odot \,d\bar{\mu }_{h} \biggr)_{\odot }^{(2)}\odot \,d\bar{\mu }_{h} \biggr] \\& \quad = \biggl[\frac{3}{5}\sqrt{\frac{2}{3}}\pi , \frac{5}{2}\pi \biggr]. \end{aligned}$$

Since \(u(x)=\frac{1}{4}\), \(0\leq x\leq \frac{1}{2}\), \(u(x)=1\), \(\frac{1}{2}\leq x \leq 1\), the following equations hold:

$$\begin{aligned}& \int _{[0, 1]}^{\oplus } U_{\odot }^{(2)}\odot \,d\bar{\mu }_{d}= \frac{1}{4}\odot \bar{\mu }_{d} \biggl( \biggl[0, \frac{1}{2} \biggr] \biggr)\oplus 1\odot \bar{\mu }_{d} \bigg( \biggl(\frac{1}{2}, 1 \bigg] \biggr) \\& \hphantom{\int _{[0, 1]}^{\oplus } U_{\odot }^{(2)}\odot \,d\bar{\mu }_{d}}=\frac{1}{4}\odot \sqrt{\frac{2}{3}\cdot \frac{1}{2}} \oplus 1\odot \sqrt{ \frac{2}{3}\cdot \frac{1}{2}}=\frac{1}{4}\sqrt{ \frac{17}{3}} \\& \int _{[0, 1]}^{\oplus } U_{\odot }^{(2)}\odot \,d\bar{\mu }_{h}= \frac{1}{4}\odot \bar{\mu }_{h} \biggl( \biggl[0, \frac{1}{2} \biggr] \biggr)\oplus 1\odot \bar{\mu }_{h} \bigg( \biggl(\frac{1}{2}, 1 \bigg] \biggr) \\& \hphantom{\int _{[0, 1]}^{\oplus } U_{\odot }^{(2)}\odot \,d\bar{\mu }_{h}}=\frac{1}{4}\odot \sqrt{\frac{1}{2}}\oplus 1\odot \sqrt{\frac{1}{2}}=\frac{1}{4} \sqrt{\frac{17}{2}}. \end{aligned}$$

For the left hand of (8), we have

$$ \int _{[0, 1]}^{\oplus } U_{\odot }^{(2)}\odot \,d\bar{\mu }_{\mathcal{M}}= \biggl[ \int _{[0, 1]}^{\oplus } U_{\odot }^{(2)}\odot \,d\bar{\mu }_{d}, \int _{[0, 1]}^{\oplus } U_{\odot }^{(2)}\odot \,d\bar{\mu }_{h} \biggr] = \biggl[\frac{1}{4}\sqrt{ \frac{17}{3}}, \frac{1}{4}\sqrt{\frac{17}{2}} \biggr]. $$

The final form of (8) is

$$ \biggl[\frac{3}{5}\sqrt{\frac{2}{3}}\pi , \frac{5}{2}\pi \biggr] \succeq _{S} \biggl[\frac{1}{4}\sqrt{ \frac{17}{3}}, \frac{1}{4}\sqrt{ \frac{17}{2}} \biggr]. $$


In this paper, we present three Wirtinger type integral inequalities for pseudo-integrals with g-semirings and interval-valued -measure, respectively. It is well known that pseudo-integrals cover Lebesgue integrals, Sugeno fuzzy integrals, so the presented process can extended to other integrals. Since the Wirtinger integral inequalities are important basic tools widely used in engineering technology, and that the pseudo-integral is applicable in many fields by helping to explain some practical problems, our inequalities could become essential tools in several practical areas, such as stability analysis of delayed stochastic neural networks and the Takagi–Sugeno fuzzy time-delay system. Thus, in future work, we intend to refine our proposed inequalities and to modify the Wirtinger type double integral inequality for pseudo-integrals, and then apply them to fuzzy time-varying delay system.

Availability of data and materials

Not applicable.


  1. Hardy, G.H., Littlewood, J.E., Pólya, G.: Inequalities, 2nd edn. Cambridge University Press, Cambridge (1952)

    MATH  Google Scholar 

  2. Beckenbach, E.F., Bellman, R.: Inequalities, Second revised printing. Springer, New York (1965)

    Book  Google Scholar 

  3. Yoshida, N.: A Picone identity for half-linear elliptic equations and its applications to oscillation theory. Nonlinear Anal. 71(10), 4935–4951 (2009).

    MathSciNet  Article  MATH  Google Scholar 

  4. Teng, K.-M., Wu, X.: Existence and subharmonicity of solutions for nonlinear non-smooth periodic systems with a p-Laplacian. Nonlinear Anal. 68(12), 3742–3756 (2008).

    MathSciNet  Article  MATH  Google Scholar 

  5. Gyurkovics, E.: A note on Wirtinger-type integral inequalities for time-delay systems. Automatica 61, 44–46 (2015).

    MathSciNet  Article  MATH  Google Scholar 

  6. Ding, S., Wang, Z., Zhang, H.: Wirtinger-based multiple integral inequality for stability of time-delay systems. Int. J. Control 91(1), 12–18 (2018).

    MathSciNet  Article  MATH  Google Scholar 

  7. Seuret, A., Gouaisbaut, F.: Wirtinger-based integral inequality: application to time-delay systems. Automatica 49(9), 2860–2866 (2013).

    MathSciNet  Article  MATH  Google Scholar 

  8. Zhang, L., Wang, S., Yu, W., Song, Y.: New absolute stability results for Lurie systems with interval time-varying delay based on improved Wirtinger-type integral inequality. Int. J. Robust Nonlinear Control 29(8), 2422–2437 (2019).

    MathSciNet  Article  MATH  Google Scholar 

  9. Lee, T.H., Park, J.H., Park, M.-J., Kwon, O.-M., Jung, H.-Y.: On stability criteria for neural networks with time-varying delay using Wirtinger-based multiple integral inequality. J. Franklin Inst. 352(12), 5627–5645 (2015).

    MathSciNet  Article  MATH  Google Scholar 

  10. Kwon, O.M., Park, M.J., Park, J.H., Lee, S.M., Cha, E.J.: Improved results on stability of linear systems with time-varying delays via Wirtinger-based integral inequality. J. Franklin Inst. 351(12), 5386–5398 (2014).

    MathSciNet  Article  MATH  Google Scholar 

  11. Ding, S., Wang, Z., Xie, X.: Periodic event-triggered synchronization for discrete-time complex dynamical networks. IEEE Transactions on Neural Networks and Learning Systems, 1–12 (2021).

  12. Ding, S., Xie, X., Liu, Y.: Event-triggered static/dynamic feedback control for discrete-time linear systems. Inf. Sci. 524, 33–45 (2020).

    MathSciNet  Article  MATH  Google Scholar 

  13. Grbić, T., Štajner-Papuga, I., Štrboja, M.: An approach to pseudo-integration of set-valued functions. Inf. Sci. 181(11), 2278–2292 (2011).

    MathSciNet  Article  MATH  Google Scholar 

  14. Mesiar, R., Pap, E.: Idempotent integral as limit of g-integrals. Fuzzy Sets Syst. 102(3), 385–392 (1999).

    MathSciNet  Article  MATH  Google Scholar 

  15. Pap, E.: Generalized real analysis and its applications. Int. J. Approx. Reason. 47(3), 368–386 (2008).

    MathSciNet  Article  MATH  Google Scholar 

  16. Pap, E.: σ-null-additive set functions. Novi Sad J. Math. 32(1), 47–57 (2002)

    MathSciNet  MATH  Google Scholar 

  17. Pap, E.: An integral generated by a decomposable measure. Zb. Rad. Prir.-Mat. Fak., Ser. Mat. 20(1), 135–144 (1990)

    MathSciNet  MATH  Google Scholar 

  18. Lu, W., Song, X., Yang, X.: Inequalities of Barnes–Godunova–Levin and Lyapunov type for interval-valued measures based on pseudo-integrals. Nanjing Daxue Xuebao Shuxue Bannian Kan 33(1), 40–56 (2016)

    MathSciNet  MATH  Google Scholar 

  19. Medić, S., Grbić, T., Perović, A., Nikoličić, S.: Inequalities of Hölder and Minkowski type for pseudo-integrals with respect to interval-valued -measures. Fuzzy Sets Syst. 304, 110–130 (2016).

    Article  MATH  Google Scholar 

  20. Štrboja, M., Grbić, T., Štajner-Papuga, I., Grujić, G., Medić, S.: Jensen and Chebyshev inequalities for pseudo-integrals of set-valued functions. Fuzzy Sets Syst. 222, 18–32 (2013).

    MathSciNet  Article  MATH  Google Scholar 

  21. Agahi, H., Ouyang, Y., Mesiar, R., Pap, E., Štrboja, M.: Hölder and Minkowski type inequalities for pseudo-integral. Appl. Math. Comput. 217(21), 8630–8639 (2011).

    MathSciNet  Article  MATH  Google Scholar 

  22. Agahi, H., Mesiar, R., Ouyang, Y.: Chebyshev type inequalities for pseudo-integrals. Nonlinear Anal. 72(6), 2737–2743 (2010).

    MathSciNet  Article  MATH  Google Scholar 

  23. Sugeno, M., Murofushi, T.: Pseudo-additive measures and integrals. J. Math. Anal. Appl. 122(1), 197–222 (1987).

    MathSciNet  Article  MATH  Google Scholar 

  24. Kuich, W., Salomaa, A.: Semirings, Automata, Languages. Springer, Berlin (1986).

    Book  MATH  Google Scholar 

Download references


The authors would like to thank all the benefactors for their remarkable comments, suggestions, and ideas, which helped improve this paper.


This research was financially supported by Universities’ Philosophy and Social Science Researches in Jiangsu Province (No.: 2020SJA0534) and Research Initiation Fund for High-level Talents of Jinling Institute Technology (No.: jit-b-201817), China Postdoctoral Science Foundation (No.: 2020T130129ZX).

Author information

Authors and Affiliations



The authors read and approved the final manuscript. All authors contributed equally to the writing of this paper.

Corresponding author

Correspondence to Jing Guo.

Ethics declarations

Ethics approval and consent to participate

Not applicable.

Competing interests

The authors declare that they have no competing interests.

Consent for publication

Not applicable.

Additional information


Not applicable.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Guo, J., Zhu, X. Wirtinger integral inequalities for pseudo-integrals and pseudo-additive measure. J Inequal Appl 2021, 118 (2021).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI:


  • 03E72
  • 28E10
  • 26E50
  • 26D15


  • Pseudo-operations
  • Pseudo-integral
  • Interval-valued measure
  • Pseudo-addition
  • Pseudo-multiplication
  • Wirtinger inequality