Abstract
Based on the extreme value conditions of a multiple variables function, a new class of Wirtinger-type double integral inequality is established in this paper. The proposed inequality generalizes and refines the classical Wirtinger-based integral inequality and has less conservatism in comparison with Jensen’s double integral inequality and other double integral inequalities in the literature. Thus, the stability criteria for delayed control systems derived by the proposed refined Wirtinger-type integral inequality are less conservative than existing results in the literature.
Similar content being viewed by others
1 Introduction
During the past several decades, the Wirtinger inequality received considerable attention due to its extensive applications. For details, see [1–5] and the references therein. Recently, a Wirtinger-based integral inequality was presented by Seuret and Gouaisbaut in [1], and it was applied to analyze the stability for delayed systems. The Wirtinger-based inequality can deliver more accurate lower bounds for some single integral form of the quadratic terms which emerge in the derivative of Lyapunov–Krasovskii functional (LKF) (for example, \(\int_{a}^{b} \omega^{T}(s)R_{1}\omega (s) \,ds\) (\(R_{1} = R_{1}^{T} > 0\))) than other integral inequalities, such as the well-known Jensen inequality [6], Park’s inequality [7] and Moon’s inequality [8]. Accordingly, it is natural that the stability criterion derived by the Wirtinger-based integral inequality has less conservatism than those by the aforementioned inequalities.
On the other hand, based on Lyapunov stability theory, Sun et al. [9] firstly introduced the LKF containing the triple integral terms to discuss the stability problem. It was proved that this triple integral-based LKF can effectively reduce the conservatism of the stability criteria. Subsequently many researchers adopted this triple integral type LKF to analyze the stability for various delayed systems. As we know, when one chooses such LKF, such as \(V = \int_{a}^{b} \,ds\int_{a}^{s} \,dr\int_{a}^{r} \omega^{T}(u)R_{2}\omega (u) \,du \) (\(R_{2} = R_{2}^{T} > 0\)), then some double integral terms, like \(\int_{a}^{b} \,ds\int_{a}^{s} \omega^{T}(u)R_{2}\omega (u) \,du \) (\(R_{2} = R_{2}^{T} > 0\)) will emerge in the derivative of the chosen V. However, the previous Wirtinger-based integral inequality [1] cannot be applied in finding the lower bounds of such double integral terms since it merely evaluates the quadratic terms in the form of a single integral. It should be pointed out that, for such double integral terms, no other integral inequalities can handle them except Jensen’s double integral inequality [9, 10] at present. Nevertheless, Jensen’s double integral inequality is considerably conservative. This motivates our interest in reinvestigating this problem further.
In this paper, inspired by the method utilized in [2], we develop a new class of Wirtinger-type double integral inequality, as an extension of the Wirtinger-based integral inequality. In addition, Jensen’s double integral inequality can be regarded as a specialization of the newly derived Wirtinger-type double integral inequality.
The following notations are used throughout the paper. The superscript “T” denotes the transpose of a matrix. \(\Re^{n}\) stands for the set of real vectors with dimension n. \(R > 0\) denotes a symmetric positive definite matrix and \(R < 0\) denotes a symmetric negative definite matrix. In a symmetric matrix, the symbol “*” is used to denote the term that is induced by symmetry. The symbol ⊗ stands for the Kronecker product. In addition, matrices whose dimensions are not explicitly stated are assumed to be compatible for algebraic operations.
2 Main results
In this section, we are to derive the Wirtinger-type double integral inequality and its corollary.
Theorem
(Wirtinger-type double integral inequality)
If for a given symmetric matrix \(R > 0\), two scalars a, b satisfy \(a < b\) and we have a vector-valued function \(\omega (t):[a,b] \to \Re^{n}\) such that the following integrations are well defined, then the following inequalities hold:
where
Proof
Firstly, we are to prove inequality (1).
For a vector-valued function \(\omega (t):[a,b] \to \Re^{n}\) satisfying the condition of the theorem, we define a function \(z(u)\) as follows:
where \(p(u)\) is a scalar function and the constant vector v is to be determined.
Based on \(z(u)\) defined above, we construct a generalized energy function \(J(v)\) with respect to v denoted by
Then
That is,
From Eq. (3), \(J(v)\) has a minimum due to the fact that \(J(v)\) can be taken as a quadratic function concerning vector v with the coefficient of the quadratic term greater than zero, i.e., \(\int_{a}^{b} \,ds \int_{a}^{s} p^{2}(u) \,du > 0\).
In view of the extreme value conditions of multiple variable function, we conclude that when \(\nabla J(v) = 0\), the function \(J(v)\) arrives at its minimum, where ∇ denotes the nabla operator.
Namely,
Solving the above equality, we can find a unique stationary point \(v^{*}\):
Then
In fact we have
Thus
Setting \(p(u) = u - \frac{2a + b}{3}\), one can obtain the following equalities by basic integral calculus and integration by parts:
Additionally,
Summarizing up and utilizing the above equalities yield
Since \(R = R^{T} > 0\), \(\int_{a}^{b} \,ds \int_{a}^{s} z^{T}(u)Rz(u) \,du \ge 0\), and we conclude that inequality (1) holds.
Setting \(\bar{p}(u) = u - \frac{a + 2b}{3}\) instead of \(p(u) = u - \frac{2a + b}{3}\) for inequality (2) and following a similar idea to inequality (1), we can prove inequality (2). This completes the proof of the theorem. □
Remark 1
For the sake of convenience to utilize the theorem in analyzing stability for delayed systems, inequality (1) and (2) can be equivalently rewritten as inequalities (1′) and (2′), respectively:
where
Remark 2
Park et al. [4] also derived another Wirtinger-based double integral inequality; see [4, Corollary 1]. For comparison, we excerpt it as follows with sign change:
Observe that \(8\Omega_{2}^{T}R \Omega_{2} > 2\Omega_{2}^{T}R \Omega_{2} \ge 0\), one easily finds that the proposed Wirtinger-type double integral inequality can deliver a tighter lower bound of the term \(\int_{a}^{b} \,ds \int_{s}^{b} \omega^{T}(u) R\omega (u) \,du\) than the one in [4]. The reason lies in different derivation approaches: the former by extreme value conditions of multiple variables function; the latter mainly by the Schur complement.
Remark 3
Apparently, by setting \(\Omega_{1} = 0\), \(\Omega_{2} = 0\) in Remark 1, the proposed Wirtinger-type double integral inequality reduces to Jensen’s double integral inequality [10]. Thus the theorem covers Jensen’s double integral inequality and has less conservatism than the latter owing to the fact that \(8\Omega_{1}^{T}R \Omega_{1} \ge 0\), \(8\Omega_{2}^{T}R \Omega_{2} \ge 0\).
When \(\omega ( \cdot )\) is replaced by \(\dot{x}( \cdot )\) in the theorem, we obtain the following corollary as a specialization of the theorem.
Corollary
For a given matrix \(R = R^{T} > 0\) and a differentiable signal x in \([a,b] \to \Re^{n}\) (\(a < b\)), the following inequalities hold:
where
Similarly, inequalities (5) and (6) can be expressed as inequalities (5′) and (6′), respectively,
where
3 Conclusions
In this paper, a refined Wirtinger-type double integral inequality is derived on the basis of the Wirtinger-based integral inequality and the extreme value conditions of multiple variables function. The proposed inequality extends the celebrated Wirtinger-based integral inequality from a single integral to a double one. In addition, the proposed inequality refines Jensen’s double integral inequality and is less conservative compared with other double integral inequalities.
References
Seuret, A., Gouaisbaut, F.: Wirtinger-based integral inequality: application to time-delay systems. Automatica 49, 2860–2866 (2013)
Seuret, A., Gouaisbaut, F., Fridman, E.: Stability of discrete-time systems with time-varying delays via a novel summation inequality. IEEE Trans. Autom. Control 60, 2740–2745 (2015)
Lee, C.F., Yeh, C.C., Hong, C.H., Agarwal, R.P.: Lyapunov and Wirtinger inequalities. Appl. Math. Lett. 17, 847–853 (2004)
Park, M.J., Kwon, O.M., Park, J.H., et al.: Stability of time-delay systems via Wirtinger-based double integral inequality. Automatica 55, 204–208 (2015)
Liu, Z., Yu, J., Xu, D.: Vector Wirtinger-type inequality and the stability analysis of delayed neural network. Commun. Nonlinear Sci. Numer. Simul. 18, 1246–1257 (2013)
Gu, K.: An integral inequality in the stability problem of time-delay systems. In: Proceedings of the 39th IEEE Conference on Decision Control, pp. 2805–2810 (2000)
Park, P.: A delay-dependent stability criterion for systems with uncertain time-invariant delays. IEEE Trans. Autom. Control 44, 876–877 (1999)
Moon, Y.S., Park, P., Kwon, W.H.: Delay-dependent robust stabilization of uncertain state delayed systems. Int. J. Control 74, 1447–1455 (2001)
Sun, J., Liu, G.P., Chen, J.: Delay-dependent stability and stabilization of neutral time-delay systems. Int. J. Robust Nonlinear Control 19, 1364–1375 (2009)
Kwon, O.M., Park, M.J., Park, J.H., et al.: Analysis on robust \(H _{\infty}\) performance and stability for linear systems with interval time-varying state delays via some new augmented Lyapunov–Krasovskii functional. Appl. Math. Comput. 224, 108–122 (2013)
Acknowledgements
The paper is supported by the Beijing Natural Science Foundation (under grant 1162004).
Author information
Authors and Affiliations
Contributions
LZ gave the proofs of the theorem and the corollary and drafted the manuscript. SW modified and polished this paper in language. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Zhang, L., Wang, S. Refined Wirtinger-type integral inequality. J Inequal Appl 2018, 109 (2018). https://doi.org/10.1186/s13660-018-1700-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-018-1700-4