Research article

Completely monotonic integer degrees for a class of special functions

  • Let fn(x) (n=0,1,) be the remainders for the asymptotic formula of lnΓ(x) and Rn(x)=(1)nfn(x). This paper introduced the concept of completely monotonic integer degree and discussed the ones for the functions (1)mR(m)n(x), then demonstrated the correctness of the existing conjectures by using a elementary simple method. Finally, we propose some operational conjectures which involve the completely monotonic integer degrees for the functions (1)mR(m)n(x) for m=0,1,2,.

    Citation: Ling Zhu. Completely monotonic integer degrees for a class of special functions[J]. AIMS Mathematics, 2020, 5(4): 3456-3471. doi: 10.3934/math.2020224

    Related Papers:

    [1] Ghazala Akram, Maasoomah Sadaf, Mirfa Dawood, Muhammad Abbas, Dumitru Baleanu . Solitary wave solutions to Gardner equation using improved tan(Ω(Υ)2)-expansion method. AIMS Mathematics, 2023, 8(2): 4390-4406. doi: 10.3934/math.2023219
    [2] Yunmei Zhao, Yinghui He, Huizhang Yang . The two variable (φ/φ, 1/φ)-expansion method for solving the time-fractional partial differential equations. AIMS Mathematics, 2020, 5(5): 4121-4135. doi: 10.3934/math.2020264
    [3] Jalil Manafian, Onur Alp Ilhan, Sizar Abid Mohammed . Forming localized waves of the nonlinearity of the DNA dynamics arising in oscillator-chain of Peyrard-Bishop model. AIMS Mathematics, 2020, 5(3): 2461-2483. doi: 10.3934/math.2020163
    [4] Hammad Alotaibi . Solitary waves of the generalized Zakharov equations via integration algorithms. AIMS Mathematics, 2024, 9(5): 12650-12677. doi: 10.3934/math.2024619
    [5] Weiping Gao, Yanxia Hu . The exact traveling wave solutions of a class of generalized Black-Scholes equation. AIMS Mathematics, 2017, 2(3): 385-399. doi: 10.3934/Math.2017.3.385
    [6] M. Hafiz Uddin, M. Ali Akbar, Md. Ashrafuzzaman Khan, Md. Abdul Haque . New exact solitary wave solutions to the space-time fractional differential equations with conformable derivative. AIMS Mathematics, 2019, 4(2): 199-214. doi: 10.3934/math.2019.2.199
    [7] Huiqing Wang, Md Nur Alam, Onur Alp İlhan, Gurpreet Singh, Jalil Manafian . New complex wave structures to the complex Ginzburg-Landau model. AIMS Mathematics, 2021, 6(8): 8883-8894. doi: 10.3934/math.2021515
    [8] Mostafa M. A. Khater, S. H. Alfalqi, J. F. Alzaidi, Samir A. Salama, Fuzhang Wang . Plenty of wave solutions to the ill-posed Boussinesq dynamic wave equation under shallow water beneath gravity. AIMS Mathematics, 2022, 7(1): 54-81. doi: 10.3934/math.2022004
    [9] Chun Huang, Zhao Li . Soliton solutions of conformable time-fractional perturbed Radhakrishnan-Kundu-Lakshmanan equation. AIMS Mathematics, 2022, 7(8): 14460-14473. doi: 10.3934/math.2022797
    [10] Huaji Cheng, Yanxia Hu . Exact solutions of the generalized (2+1)-dimensional BKP equation by the G'/G-expansion method and the first integral method. AIMS Mathematics, 2017, 2(3): 562-579. doi: 10.3934/Math.2017.2.562
  • Let fn(x) (n=0,1,) be the remainders for the asymptotic formula of lnΓ(x) and Rn(x)=(1)nfn(x). This paper introduced the concept of completely monotonic integer degree and discussed the ones for the functions (1)mR(m)n(x), then demonstrated the correctness of the existing conjectures by using a elementary simple method. Finally, we propose some operational conjectures which involve the completely monotonic integer degrees for the functions (1)mR(m)n(x) for m=0,1,2,.


    Based on the fact that the L-gain of dynamical systems means the maximum L norm of the output signal for the input signal with the unit L norm, the issues on computing and/or minimizing the L-gain have been deeply discussed in [1]. Here, it would be worthwhile to note that the L-gain problem has been also called the L1 problem because the L-gain coincides with the L1 norm of the impulse response in the case of single-input single-output (SISO) linear time-invariant (LTI) systems. The L1 problem has attracted much interest in the system and control community because of the practical importance of the L-gain. More precisely, some early results on the L-gain problem [1,2,3] have shown that the L-gain of continuous-time LTI systems can be exactly obtained by using the arguments on linear programming (LP) [4] and operator theory [5]. Motivated by the successful results in those studies, the L-gain has been widely applied to various practical systems such as robotic manipulators [6,7], bipedal robots [8,9], and power systems [10].

    In a similar fashion, the L-gain problem has been actively explored for advanced dynamical systems such as sampled-data systems [11,12,13,14], positive systems [15,16,17], event-triggered control systems [18,19], and nonlinear systems [20,21,22,23]. To simply put it, the L-gain of a sampled-data system can be computed in [11,12,13,14] by finding an (approximate) equivalent discrete-time linear system, which are concerned with the piecewise constant and/or linear approximations of input/output signals. For positive systems, it is shown in [15] that the L-gain of linear positive systems can be equivalently characterized by the arguments on LP and this idea is also extended to positive delay systems [16] and positive fuzzy systems [17]. Some linear matrix inequalities (LMIs) together with piecewise linear models are introduced in [18,19] to characterize the L-gains of event-triggered systems. The L-gain of nonlinear systems is also discussed in [20,21,22,23] by employing the arguments on set-invariance principles [24,25,26].

    On the other hand, it is also meaningful to tackle the L-gain for another type of dynamical system of time-delay systems [27], in which delayed (or retarded) terms are considered for the differential/difference equations. This is because time-delay systems have been used for describing various fields of population dynamics [28], epidemic models [29], communication network systems [30], time-delay-based robot control [31], and so on. Despite this broad applicability, there are only a few studies that deal with the L-gain of general time-delay systems, while there have been a number of studies on the asymptotic stability [32,33,34,35] and the H performance [36,37,38,39] of time-delay systems. With respect to this, the Lyapunov-Krasovski functional (LKF) approach is taken in [40,41,42] to derive invariant sets for time-delay systems, by which the L-gain of such systems can be characterized. These LKF-based arguments lead to controller synthesis procedures for bounding the L-gain of time-delay systems in terms of some LMIs. However, the results in [40,41,42] do depend on characteristics of delays, and thus a resulting controller should be re-determined if the magnitudes and/or time derivatives of the considered delays are changed. This is because the LKFs in [40,41,42] are intrinsically dependent on the delays. Furthermore, there are other limitations of the arguments in those studies. The delays in [40,41] are confined to constant values with sufficiently small sizes. Even though time-varying delays can be considered in [42], the bound for L-gain in that study is determined after the controller synthesis is completed. Thus, we can only lead to a conservative bound for the L-gain of time-delay systems by employing the arguments in [42], and this feature does not fit into suppressing the L-gains in a prescribed level.

    To alleviate the aforementioned limitations in [40,41,42], it would be required to develop a delay-independent approach to deal with the L-gain of time-delay systems with time-varying delays. Regarding this, the so-called D-invariance was introduced recently in [43,44,45] to derive set-invariance properties for discrete-time systems without depending on the choice of delays. More precisely, it is shown in [43] that a polyhedral D-invariance set can be formulated and such a set can be computed in terms of the LP. In a parallel line, an ellipsoidal D-invariance set and its LMI-based characterizations were also introduced in [44,45]. However, it should be remarked for the results in [43,44,45] that they were limited to the case of discrete-time systems and no discussion on the L-gain was obtained.

    Motivated by the previous works [40,41,42,43,44,45], this paper aims to establish a delay-independent output-feedback controller synthesis ensuring that the L-gain of the resulting time-delay closed-loop system is bounded by a prescribed level ρ regardless of the choice of delays. To do this, we first propose a continuous-time version of the ellipsoidal D-invariance, by which a given ellipsoidal set becomes forward invariant regardless of the choice of delays. We then derive the existence condition of an ellipsoidal D-invariant set in terms of LMIs. This result allows us to obtain a condition for bounding the L-gain of time-delay systems with time-varying delays in terms of LMIs. On the basis of the L-gain analysis, an output-feedback controller leading to the L-gain of the resulting closed-loop system to be bounded by a prescribed level ρ is obtained. Because both the analysis and synthesis results on the L-gain of time-delay systems with time-varying delays are established based on the ellipsoidal D-invariance, they do not depend on characteristics of delays such as magnitudes and time derivatives. The validity and effectiveness of the proposed arguments are verified by some comparative numerical results. Finally, the overall contributions of this paper compared to the existing studies [40,41,42] are summarized in the following and are also described in Table 1.

    Table 1.  The contributions of the proposed methods compared to the existing results in [40,41,42].
    This paper [40,41] [42]
    Delay Time-varying Constant Time-varying
    Approach Ellipsoidal D-invariance LKFs LKFs
    Controller coefficients Delay-independent Delay-dependent Delay-dependent
    Bound for L-gain Prescribed Prescribed Determined after synthesis

     | Show Table
    DownLoad: CSV

    ● The continuous-time version of the ellipsoidal D-invariance is introduced for time-delay systems with time-varying delays.

    ● A delay-independent condition for the L-gain analysis of time-delay systems with time-varying delays is developed.

    ● An L performance controller ensuring that the L-gain for the resulting closed-loop system is bounded by a prescribed level ρ is established.

    ● The coefficient matrices involved in the above L performance controller are obtained through the LMI-based approach, in which the relevant constraints do not depend on the delay characteristics.

    ● Thus, once such an L performance controller is obtained by the aforementioned method, it can be employed regardless of the modifications of the sizes and/or rates of the considered delays.

    This paper is organized as follows. The problem definition is introduced in Section 2. The notion of an ellipsoidal D-invariance and the L-gain analysis are discussed in Section 3. We then provide the synthesis method of an L performance controller in Section 4. Numerical results are provided in Section 5. Finally, the concluding remarks are given in Section 6.

    The notations used in this paper can be summarized as follows. The notations Rn and Rn×m denote the set of n-dimensional real vectors and the set of n×m-dimensional real matrices, respectively. For any symmetric matrix A, the notation A0 (or A0) implies that A is negative semi-definite (or negative definite). The notation is used to represent the symmetric part of the matrix. The notations || and are used to imply the Euclidean norm of a vector and the L-norm of a continuous signal, respectively, i.e.,

    |v|:=(ni=1v2i)1/2,f:=esssup0t<|f(t)|.

    For a non-empty set S in Rn, the notations Int(S), S, and ¯S are used to denote the sets of interior points of S, boundary points of S, and closure points of S, respectively. For a continuously differentiable function f:RnR, f means the gradient of f defined as

    f=[fx1fx2fxn]T.

    Let us consider the continuous-time plant P and the output-feedback controller C with the time-varying delay d(t) described by

    P:{˙x(t)=Ax(t)+Adx(td(t))+Bw(t)+Buu(t)z(t)=C1x(t)+D1w(t)y(t)=C2x(t)+C2dx(td(t))+D2w(t), (2.1)
    C:{˙xc(t)=Acxc(t)+Acdxc(td(t))+Bcy(t)u(t)=Ccxc(t)+Ccdxc(td(t))+Dcy(t), (2.2)

    where x(t)Rn, w(t)Rp, u(t)Rm, z(t)Rq, and y(t)Rr in P imply the state, the external disturbance, the control input, the regulated output, and the measurement output, respectively, and xc(t)Rnc is the state of the controller C.

    Here, it should be noted that the delay d(t) considered in (2.1) and (2.2) is assumed to be not necessarily bounded, i.e.,

    0<d(t)dM. (2.3)

    To put it another way, this paper considers the case when the upper bound dM is allowed to be and d(t) has a fast changing rate for a wider applicability of the associated arguments. For a generality of the considered plant, the measurement output y(t) is assumed to consist of both the current state x(t) and delayed state x(td(t)) and the external disturbance w(t) is related with not only ˙x(t) but also z(t) and y(t) in (2.1). To effectively tackle the disturbance rejection problem relevant to this generalized plant P, the delayed state value x(td(t)) is also employed in designing the output-feedback controller C as in (2.2), with which the closed-loop system Σ consisting of P and C as shown in Figure 1 is described by

    Σ:{˙ξ(t)=Aclξ(t)+Ad,clξ(td(t))+Bclw(t)z(t)=Cclξ(t)+Dclw(t), (2.4)

    where ξ(t)=[xT(t)xTc(t)]TRn+nc and the matrices are given by

    Acl=[A+BuDcC2BuCcBcC2Ac],Ad,cl=[Ad+BuDcC2dBuCcdBcC2dAcd],Bcl=[B+BuDcD2BcD2],Ccl=[C10],Dcl=D1. (2.5)

    Here, these expressions of Acl and Ad,cl allow us to derive tractable assertions on the L-gain analysis and the L performance controller synthesis, and the details will be discussed in the following sections.

    Figure 1.  The feedback connection Σ between plant P and controller C.

    Based on this representation of Σ, the L-gain (or the L performance) of Σ can be defined as

    Σ/:=supw0, φ0zw=supw1, φ0z, (2.6)

    where

    φ(t):=ξ(t),t[dM,0]. (2.7)

    This implies the maximum ratio from w to z when the initial condition of Σ is given by zero. With this notion in mind, let us consider the following synthesis problem for an L performance controller.

    Problem 1. For a given ρ>0, design a controller C such that the following assertions are established for the resulting closed-loop system Σ with an arbitrary d(t) given by (2.3).

    (i) The zero solution of the differential equation in Σ is asymptotically stable* when w(t)0.

    *The zero solution is said to be asymptotically stable [27] with respect to Σ if it is stable and there exists a δ>0 such that limtξ(t)=0 for any initial condition φ with supdMt0|φ(t)|<δ.

    (ii) The L-gain of Σ is bounded by ρ, i.e., Σ/ρ.

    This problem definition is for ensuring the L-gain of Σ to be bounded by ρ regardless of the choice of delay d(t), and the following section is devoted to developing a method of the L-gain analysis for Σ as a preliminary step to obtaining a relevant controller synthesis procedure.

    Assuming that a controller C is fixed, this section considers the L-gain of the closed-loop system Σ. To this end, we first define the continuous-time D-invariant set for Σ as follows.

    Definition 1. For a closed set KRn+nc, it is said to be a (continuous-time) D-invariant set of Σ if

    ξ(t)K,t0 (3.1)

    holds for any delay d(t) given by (2.3) and any initial condition φ with φ(t)K,t[dM,0].

    This is a generalized concept of the conventional forward invariant set [46], in the sense that the invariance of K for (2.4) does not depend on the choice of the delay d(t). This could also be regarded as a continuous-time version of the existing discrete-time D-invariance set [43,44,45].

    To obtain a condition ensuring that a given set becomes a D-invariant set, let us consider a scalar-valued function B:Rn+ncR and its 0-sublevel set C described by

    C:={ξRn+nc|B(x)0}. (3.2)

    With this C, we are led to the following lemma associated with characterizing the aforementioned condition.

    Lemma 1. Let B:Rn+ncR be a continuously differentiable function and C be the sublevel set defined as (3.2). Suppose that the following assertion holds.

    B(ξ1)(Aclξ1+Ad,clξ2+Bclw)0,ξ1Rn+ncC, ξ2C,ws.t.|w|1. (3.3)

    Then, C is a D-invariant set of Σ.

    Proof. Assume that C is not a D-invariant set of Σ. Then, there exist t0,δ>0 such that

    ξ(t0)C,ξ(t)Rn+ncC,ξ(td(t))C,t(t0,t0+δ] (3.4)

    for a solution ξ of the differential equation in Σ with an initial condition φ(t)C, t[dM,0]. By the definition of C, it follows that

    B(ξ(t0))=0,B(ξ(t))>0,B(ξ(td(t)))0,t(t0,t0+δ]. (3.5)

    Then, we can obtain that

    0<B(ξ(t0+δ))=B(ξ(t0+δ))B(ξ(t0))=t0+δt0ddtB(ξ(t))dt=t0+δt0B(ξ(t))˙ξ(t)dt=t0+δt0B(ξ(t))(Aclξ(t)+Ad,clξ(td(t))+Bclw(t))dt0, (3.6)

    where the last inequality is obtained by letting ξ1=ξ(t), ξ2=ξ(td(t)), and w=w(t) in (3.3). This contradicts the assumption that C is not a D-invariant set. Thus, the proof is established.

    It would be also worthwhile to note that this lemma can be regarded as an extended version of the existing arguments on the forward invariance and the barrier function [26], in which we are not concerned with delay term d(t).

    In connection with establishing an applicability of the D-invariance property to the L-gain analysis for Σ, we next introduce the notion of an ellipsoidal D-invariant set. For a P0, the ellipsoidal set ΩP described by

    ΩP:={ξRn+nc|ξTPξ1} (3.7)

    is called an ellipsoidal D-invariant set if it is a D-invariant set, and its schematic diagram is shown in Figure 2.

    Figure 2.  The ellipsoidal D-invariant set ΩP and the trajectories within ΩP regardless of the choice of delays.

    Before proceeding to apply Lemma 1 to this ΩP, let us note that ΩP is a 0-sublevel set of the quadratic function B defined as

    B(ξ)=ξTPξ1 (3.8)

    and the corresponding gradient is given by

    B(ξ)=2Pξ. (3.9)

    This fact together with Lemma 1 leads to the following proposition establishing the existence condition of an ellipsoidal D-invariant in terms of linear matrix inequalities (LMIs).

    Proposition 1. There exists an ellipsoidal D-invariant set if the following LMI with the decision variable P0 is feasible for given positive constants αi (i=1,2).

    M=[PAcl+ATclP+(α1+α2)PPAd,clPBclATd,clPα1P0BTclP0α2I]0. (3.10)

    Proof. It readily follows from (3.10) that

    [ξ1ξ2w]TM[ξ1ξ2w]0. (3.11)

    Here, the left-hand side (LHS) of (3.11) admits the representation

    2ξT1P(Aclξ1+Ad,clξ2+Bclw)+α1(ξT1Pξ1ξT2Pξ2)+α2(ξT1Pξ1wTw)0. (3.12)

    This turns out that the inequality

    ξT1P(Aclξ1+Ad,clξ2+Bclw)0 (3.13)

    is established for any ξi (i=1,2) and w such that

    ξT1Pξ11,ξT2Pξ21,wTw1. (3.14)

    Because the assertions in (3.14) are equivalent to

    ξ1Rn+ncΩP,ξ2ΩP,wTw1, (3.15)

    it follows from Lemma 1 that C=ΩP is a D-invariant set. This completes the proof.

    It is obvious that the LMI given by (3.10) is independent of the delay d(t). Hence, Proposition 1 can be regarded as an extension of the existing Lyapunov-Krasovski functional (LKF)-based approach [41], in which a delay-dependent argument is established for characterizing an invariant set. The feasibility of this LMI corresponds to the asymptotic stability of Σ because the first 2×2 submatrix of M in (3.10) can be represented by [47]

    [PAcl+ATclP+α1PPAd,clATd,clPα1P]0 (3.16)

    and this leads to the asymptotic stability of Σ. Thus, we can see that the first assertion of Problem 1 is solved if the LMI given by (3.10) is feasible. The scalars αi (i=1,2) in Proposition 1 are associated with the so-called S-procedure [47], by which a constrained optimization can be transformed to a non-constrained one.

    To characterize the relationship between an ellipsoidal D-invariant set and the L-gains of Σ, we next define a set Ξ(ρ) as follows.

    Ξ(ρ):={ξRn+nc||Cclξ+Dclw|ρ,ws.t.|w|1}. (3.17)

    This is the set of all states ξ of Σ such that the norm of regulated output is bounded by ρ for any disturbances with the unit L norm. With this set in mind, let us introduce the following lemma.

    Lemma 2. The L-gain of Σ is bounded by ρ, i.e., Σ/ρ, if there exists an ellipsoidal D-invariant set ΩP such that

    (0)ΩPΞ(ρ). (3.18)

    We omit the proof of this lemma since it is obvious and similar to the relevant arguments in the conventional studies [41,48]. For a practical application of Lemma 2, we next give the following proposition associate with replacing the assertion of (3.18) with an LMI condition.

    Proposition 2. The relation ΩPΞ(ρ) is established if the following LMI with the decision variable P(0) is feasible for a given constant λ(>0).

    Mo=[λP0CTcl0(ρ2λ)IDTclCclDclI]0. (3.19)

    Proof. By taking the Schur complement of Mo with respect to the (3, 3)-component, (3.19) is equivalent to

    [ξw]T[CTclCclλPCTclDclDTclCclDTclDcl(ρ2λ)I][ξw]0,ξRn+nc, wRp. (3.20)

    This turns out that

    (Cclξ+Dclw)T(Cclξ+Dclw)ρ2wTwλ(ξTPξwTw)0. (3.21)

    Then, it immediately follows from (3.21) that

    sup|w|1(Cclξ+Dclw)T(Cclξ+Dclw)ρ2λ(1ξTPξ). (3.22)

    This clearly implies that

    sup|w|1(Cclξ+Dclw)T(Cclξ+Dclw)ρ2,ξΩp (3.23)

    and thus ΩPΞ(ρ). This completes the proof.

    Note that λ should be taken as 0<λρ2 for the LMI of (3.19) to be feasible. By combining Propositions 1 and 2 with Lemma 2, we are led to the following theorem relevant to the L-gain analysis for Σ through an LMI condition.

    Theorem 1. Both the assertions in Problem 1 are established if the LMIs given by (3.10) and (3.19) with the common decision variable P(0) are feasible for given positive constants αi (i=1,2) and λ.

    It should be stressed that all the LMIs in this theorem do not depend on the delay d(t). In other words, once the LMIs given by (3.10) and (3.19) are shown to be feasible, then it can be ensured that the L-gain of Σ is bounded by ρ for any choice of the delay d(t). Thus, this delay-independent result can be regarded as an effective alternative to the conventional results [40,41,42] dependent on the properties of delays such as their magnitudes and time derivatives, especially when their detailed values cannot be obtained.

    This section aims at establishing a controller synthesis procedure with respect to solving Problem 1. In other words, we would determine the coefficient matrices in C ensuring that the assertions in Theorem 1 are satisfied with the resulting closed-loop system Σ. Because (3.10) and (3.19) do not correspond to LMIs in terms of the control coefficients, it should be required to consider adequate variable transformations.

    In connection with this, let us represent the matrix P in Theorem 1 and its inverse, respectively, by

    P=[XYYTZ],P1=[¯X¯Y¯YT¯Z]. (4.1)

    Then, it immediately follows from the Schur complement [49] that

    P0[XII¯X]0. (4.2)

    With this representation, we introduce the following new decision variables to replace the elements in M and Mo given by (3.10) and (3.19), respectively, as follows [37].

    {Ak:=XA¯X+(YAc+XBuCc)¯YT+(YBc+XBuDc)C2¯X˜Ak:=XAd¯X+(YAcd+XBuCcd)¯YT+(YBc+XBuDc)C2d¯XBk:=YBc+XBuDcCk:=Cc¯YT+DcC2¯X˜Ck:=Ccd¯YT+DcC2d¯X. (4.3)

    Next, we are led to the following theorem replacing the assertions in Theorem 1 with LMI-based conditions with the decision variables X, ¯X and those in (4.3), by which a synthesis procedure of the L performance controller discussed in Problem 1 is obtained.

    Theorem 2. Assume that n=nc and positive constants ρ,λ,αi (i=1,2) are given. The LMIs given by (3.10) and (3.19) are feasible with the decision variable P0 if and only if the LMIs given by

    [(1,1)(1,2)(1,3)˜AkXB+BkD2(2,2)(2,3)Ad¯X+Bu˜CkB+BuDcD2α1Xα1I0α1¯X0α2I]0, (4.4)
    [λXλI0CT1λ¯X0¯XCT1(σ2λ)IDTI]0, (4.5)
    [XII¯X]0 (4.6)

    are feasible with the decision variables X, ¯X, Ak, ˜Ak, Bk, Ck, ˜Ck, and Dc, where

    {(1,1)=XA+BkC2+ATX+CT2BTk+(α1+α2)X(1,2)=Ak+AT+CT2DTcBTu+(α1+α2)I(1,3)=XAd+BkC2d(2,2)=A¯X+¯XAT+BuCk+CTkBTu+(α1+α2)¯X(2,3)=Ad+BuDcC2d. (4.7)

    Furthermore, if the LMIs (4.4)–(4.6) are feasible, then an L performance controller C solving Problem 1 can be determined by

    {Cc=(CkDcC2¯X)(¯YT)1Ccd=(˜CkDcC2d¯X)(¯YT)1Bc=Y1(BkXBuDc)Ac=Y1{(AkXA¯XBkC2¯X)(¯YT)1XBuCc}Acd=Y1{(˜AkXAd¯XBkC2d¯X)(¯YT)1XBuCcd}. (4.8)

    Proof. Suppose that the LMIs given by (4.4)–(4.6) are feasible. From n=nn and applying the Schur complement to (4.6), we can see that XˉX1 is positive definite and its spectral decomposition can be described by

    X¯X1=YZ1YT0, (4.9)

    where Y and Z are invertible matrices. With these matrices, a positive definite matrix P as in (4.1) is obtained, and thus ¯Y and ¯Z involved in a positive definite matrix P1 are also determined. Because ¯Y can be also given by ¯Y=X1Y¯Z and ¯Z is an invertible matrix, ¯Y is ensured to be an invertible matrix. From this ¯X together with ¯Y in P1, we take the (nonsingular) transformation matrix described by

    T=[I¯X0¯YT]R(n+nc)×(n+nc). (4.10)

    With this T, we note that the matrices dealt with in Theorem 1 can be described by

    M=TT1(LHSof(4.4))T1, (4.11)
    Mo=TT2(LHSof(4.5))T2, (4.12)
    P=TT3(LHSof(4.6))T3, (4.13)

    where Ti (i=1,2,3) are defined as

    {T1=diag(T1,T1,I)T2=diag(T1,I,I)T3=T1. (4.14)

    This clearly implies that the LMIs given by (3.10), (3.19), and P0 are established. The converse direction also holds because the above process is reversible. Finally, the last assertion associated with determining an L performance controller holds from taking the inverse computations of (4.3).

    The details for employing the arguments in this theorem to obtain an L performance controller are summarized in Algorithm 1. In an equivalent fashion to the L-gain analysis for Σ discussed in the preceding section, the control parameters obtained in Theorem 2 do not depend on the delay d(t). Hence, this synthesis procedure can be also regarded as a delay-independent extension of the existing works [40,41,42], in which the relevant analysis and synthesis are confined to delay-dependent arguments. With respect to theoretical and practical characteristics of the arguments in Theorem 2, it would be also worthwhile to discuss the following remarks.

    Algorithm 1 Algorithm for the controller synthesis.
    Require: Initialized constants αi (i=1,2) and λ
    Require: Set T=0
      while T=0 do
        solve (4.4)–(4.6) with respect to X, ¯X, Ak, ˜Ak, Bk, Ck, ˜Ck, and Dc
        if (4.4)–(4.6) are feasible then
          determine Y and Z with respect to (4.9)
          determine P as described in (4.1)
          determine ¯Y by taking the inverse of P
          compute Ac, Acd, Bc, Cc, Ccd, and Dc with respect to (4.8)
          set T=1
        end if
        update αiαi+Δαi (i=1,2) and λλ+Δλ
      end while

    Remark 1. The computational cost required for solving the LMI-based condition in Theorem 2 (i.e., (4.4)–(4.6)) can be regarded as similar to or smaller than those in the conventional results [40,41,42]. This is because the sizes of the matrices in (4.4)–(4.6) and the number of tuning parameters such as αi (i=1,2) are not larger than the counterparts in those studies.

    Remark 2. The LMIs in Theorem 2 could be (empirically) shown to be feasible if the pairs (A,Bu) and (C2,A) are stabilizable and detectable, respectively. Because these conditions are necessary for the nominal system without considering the effects of time delays to be stabilizable, the feasibility of (4.4)–(4.6) does not restrict the practical applicability of Theorem 2 and the relevant numerical verification will be provided in Section 5.

    Remark 3. The assumption of n=nc in Theorem 2 is for ensuring the invertibility of the component matrices Y and Z in the proof of this theorem. In connection with this, it would be meaningful to obtain a reduced-order controller (i.e., nc<n) as in [50,51]. This might be achieved by applying Finsler's lemma (or an elimination lemma) [50,51] to the proof of Theorem 2, but such an application is not straightforward and the relevant issue is left for an important future study.

    This section is devoted to verifying the feasibility of the developed methods (i.e., Theorems 1 and 2) and their effectiveness compared to the existing studies [40,41,42] through some numerical comparisons.

    Let us consider the plant P given by [42]:

    A=[4114],Ad=[2001],B=Bu=[2110],C1=[1302],C2=[1001],C2d=D1=D2=[0000]. (5.1)

    In the perspective of the arguments in [30], we note that this plant P can be regarded as a system with an internal network delay d(t). For this system, we would like to verify that the LMIs given by (3.10) and (3.19) discussed in Theorem 1 are feasible without control, i.e., u=0. To this end, we take the relevant parameters by α1=α2=1, λ=28, and we solve the LMIs (3.10) and (3.19) by using MATLAB's optimization library called mosek. As a result, we can see that both the LMIs are feasible for ρ5.3, and the resulting solution matrix PR2×2 with ρ=5.3 is given by

    P=[1.30272.55112.55116.0793]. (5.2)

    Thus, the L-gain of the above P (without control) is bounded by ρ=5.3 from Theorem 1.

    Regarding a verification of this result, we consider the three different disturbances wi(t) and delays di(t) (i=1,2,3) which are given by

    {w1(t)=[square(t)0]Tw2(t)=[0.9+0.1square(t)0]Tw3(t)=[0.5+0.5sin(t)0]T,{d1(t)=2d2(t)=3+square(t)d3(t)=5+2square(5t), (5.3)

    where square:R+R is defined by

    square(t):={1ift[2kπ,(2k+1)π),k=0,1,2,1ift[(2k+1)π,(2k+2)π),k=0,1,2,. (5.4)

    We then obtain the corresponding simulation results of z as shown in Figure 3, and we can observe from this figure that all the vector 2-norms of z are bounded by the 5.3. This undoubtedly demonstrates the theoretical validity of the L-gain analysis obtained in Theorem 1 for the considered three different cases of w, regardless of the choice of any (possibly time-varying) delays.

    Figure 3.  The vector 2-norms of z for the plant in (5.1) (without control) with three distinct pairs for disturbances and delays.

    Beyond the effectiveness of the proposed methods in the L-gain analysis, we next consider the dynamic behavior of this system in terms of obtaining an ellipsoidal D-invariant set. In this regard, we obtain some simulation results for three different cases of the state x(t) on the ellipsoidal D-invariant set ΩP with P given by (5.2), as shown in Figure 4, where the initial conditions vi, disturbances wi(t), and delays di(t) (i=1,2,3) are described as follows.

    {v1=[1.88140.9607]Tv2=[1.97850.7077]Tv3=[0.75150.0627]T,{˜w1(t)=[0.9+0.1square(t)0]T˜w2(t)=[0.9+0.1square(t)0]T˜w3(t)=[square(t)0]T,{˜d1(t)=2˜d2(t)=3+square(t)˜d3(t)=3+2square(5t). (5.5)

    We could observe from Figure 4 that all the cases of the state do not escape from the ellipsoidal D-invariant set ΩP even if all the initial conditions vi are taken from the boundary of ΩP, regardless of the choices for disturbances and delays. This verifies that this ΩP becomes an ellipsoidal D-invariant set for P, and the state should be limited inside ΩP, regardless of the choice of delay d(t).

    Figure 4.  The obtained ellipsoidal D-invariant set for the plant (5.1) and state trajectories with three distinct tuples of initial condition, disturbance, and delays.

    Next, we would like to verify the effectiveness of the proposed controller synthesis discussed in Theorem 2. By following Algorithm 1, we can obtain the tuning parameters α1=1, α2=5 and λ=0.202, by which the LMIs in (4.4)–(4.6) are ensured to be feasible for ρ0.45. To achieve the L-gain of the resulting closed-loop system as small as possible, we determine the decision variables X, ¯X, Ak, ˜Ak, Bk, Ck, ˜Ck, and Dc with taking ρ=0.45. Substituting these variables into (4.8) derives the L performance controller C given by

    Ac=104×[0.55748.44770.23773.7758],Acd=[0.04810.13450.00790.3440],Bc=[16.7534591.0538777.9141474.9024],Cc=103×[0.05060.78280.12061.8136],Ccd=[0.00530.01380.04340.0375],Dc=[0.95210.74043.95579.5838]. (5.6)

    Because the arguments in Theorem 2 are independent of the delay d(t), the L-gain of the closed-loop system obtained by connecting P and C is not larger than 0.45, regardless of the choice of the delay. To verify this fact, we obtain the simulation results for the three different cases of wi(t),di(t) (i=1,2,3) described by (5.3), as shown in Figure 5. We can observe from this figure that all the vector 2-norms of z are not larger than ρ=0.45, regardless of the different choices of d(t). It would be also worthwhile to note that the vector 2-norms in Figure 5 associated with the L performance controller synthesis are much smaller than those in Figure 3 relevant to the plant P without any controller.

    Figure 5.  The vector 2-norms of z for the closed-loop system obtained by connecting (5.1) with the controller (5.6) with three distinct tuples of disturbances and delays.

    On the other hand, we are in a position to evaluate the proposed methods in the presence of model uncertainties and measurement noises. To this end, we consider the model uncertainty ΔP and the measurement noise n described as follows.

    ΔP:{ΔA:=0.1AΔAd:=0.1AdΔB:=0.1BΔC:=0.1C,n(t):=0.01sin(15t). (5.7)

    In other words, P is assumed to be changed into P+δP, by which we mean that A, Ad, B, Bu, and C1 are replaced by A+ΔA, Ad+ΔAd, B+ΔB, Bu+ΔB, and C1+ΔC, respectively, and the measurement y is also affected by the noise n, i.e., y is also supposed to be changed into y+n. With the disturbance and delay described by (5.3) and the model uncertainty and the noise given by (5.7), we deal with the following cases.

    ● The case of w1(t), d1(t), and ΔP without n(t).

    ● The case of w2(t), d3(t), and n(t) without ΔP.

    ● The case of w3(t), d3(t), ΔP, and n(t).

    The corresponding simulation results are shown in Figure 6. We can observe from Figure 6 that the vector 2-norms of z are always smaller than the prescribed theoretical bound ρ=0.45 in the presence of the model uncertainty ΔP and/or the measurement noise n(t). This observation implies that the closed-loop system Σ obtained through the proposed L performance controller is not too sensitive with respect to such uncertain elements, and clearly demonstrates the possibility of extending the arguments in Theorems 1 and 2 to an L robust controller synthesis for uncertain time-delay systems.

    Figure 6.  The vector 2-norms of z for the closed-loop system obtained by connecting (5.1) with the controller (5.6) with three distinct tuples of disturbances, delays, model uncertainties, and measurement noises.

    With respect to comparing the proposed results to the conventional studies [40,41], in which a delay-dependent controller synthesis is provided for suppressing the L-gain of linear systems with constant delays (i.e., d(t)d), we would like to note that the LMI-based synthesis procedure described in [40] is feasible for the cases of d(t)0.1 and d(t)0.2 for ρ=0.45, but the resulting controllers are different from each other. More precisely, the controller for the case of d(t)0.1 and ρ=0.45 obtained by the arguments in [40,41] can be described by

    Ac=[0.15990.02990.07184.3722],Bc=[0.02160.12421.08920.1895],Cc=[5.02558.239910.081331.0444], (5.8)

    where the other coefficients in (2.2) (e.g., Acd) are taken by the zero, and that for the case of d(t)0.2 and ρ=0.45 is given by

    Ac=[0.16950.01430.00274.6346],Bc=[0.02780.13461.21900.2489],Cc=[4.79638.05299.821227.9233]. (5.9)

    To put it another way, the synthesis procedure in [40,41] does depend on the delay d(t) and thus the associated controller should be re-designed when we switch the characteristics of the delay. In connection with this, it should be noted that the LMI-based synthesis procedure in [40,41] becomes infeasible when we take d(t)d0.5. To simply put it, this is because all the eigenvalues of dAd should be located in the unit disk to ensure the feasibility of the LMIs in [40,41] (see Theorem 1 in [40]). Hence, we can see that the results in [40,41] are only applicable to constant delays with sufficiently small sizes.

    To summarize, the aforementioned observations clearly validate the fact that the proposed L performance controller can be an effective alternative to the existing controllers introduced in [40,41] for the following two practical aspects. First of all, it is not required to modify/change a controller depending on the characteristics of time delays once it is obtained through the results in Theorem 2, while a trial-and-error process should be taken for different delays when we employ the results in [40,41]. Furthermore, the scope of delays taken in the proposed controller synthesis is broader than that of the conventional methods [40,41] confined to constant delays. These features are summarized in Table 2.

    Table 2.  Feasibility of controller synthesis procedures via the proposed method and the existing method [40,41] for ρ=0.45.
    d(t)=0.1 d(t)=0.2 d(t)0.5
    Proposed method feasible with (5.6)
    [40,41] feasible with (5.8) feasible with (5.9) infeasible

     | Show Table
    DownLoad: CSV

    Finally, we compare the proposed method with the other existing method [42], in which a static controller ensuring a finite L-gain of linear systems with time-varying delays is introduced. Even though the allowable scope of the delays in [42] is broader than that of [40,41], the synthesis procedure in the former study is also dependent on the delays. More precisely, the controller synthesis arguments in [42] are feasible for d(t)0.1, d(t)0.3, d(t)0.7, and d(t)1.5 with the resulting control parameters given, respectively, by

    Cc=[4.58312.06470.87472.4454],Dc=[0.07630.99951.86952.0883], (5.10)
    Cc=[4.55262.03920.85222.4607],Dc=[0.07600.99971.86962.0880], (5.11)
    Cc=[4.41251.91940.74512.4948],Dc=[0.07481.00091.86982.0865], (5.12)
    Cc=[3.97591.51020.36492.6734],Dc=[0.07091.00401.87132.0816]. (5.13)

    Here, it should be remarked that the arguments in [42] could be interpreted as providing a quite conservative L-gain compared to our proposed method through simulation results. In fact, the resulting L-gains for the cases of d(t)0.1, d(t)0.3, d(t)0.7, and d(t)1.5 with respect to the controllers of (5.10)–(5.13) are obtained, respectively, by

    ρ=12.5276,ρ=13.5607,ρ=17.1909,ρ=29.8269. (5.14)

    These results obviously validate the fact that the methods developed in this paper are more effective than the existing methods in [42] for reducing the L-gain of time-delay systems since the L-gains given in (5.14) are much larger than ρ=0.45 obtained through the developed methods and ρ=5.3 for the case of u=0. This conservatism in [42] might have arisen from the fact that the arguments in [42] are only for ensuring a finite L-gain and no performance level ρ is employed in the controller synthesis procedure. These features are summarized in Table 3.

    Table 3.  The ensured L-gains obtained through the proposed method and the existing method [42].
    d(t)0.1 d(t)0.3 d(t)0.7 d(t)1.5
    Proposed method 0.45
    [42] 12.5276 13.5607 17.1909 29.8269

     | Show Table
    DownLoad: CSV

    This paper was concerned with establishing an extensive controller synthesis for linear time-delay systems with time-varying delays. In other words, a delay-independent output-feedback controller, so-called an L performance controller, was obtained, by which the L-gain of such systems is bounded by a predetermined performance level ρ. To this end, we first introduced a continuous-time version of the conventional ellipsoidal D-invariance set. We then characterized the existence condition of this continuous-time set in terms of some linear matrix inequalities (LMIs). On the basis of the condition, we could derive not only an analysis method of the L-gain of the aforementioned time-delay systems but also an L controller synthesis procedure through the LMI approach. Because of the delay-independent property of the continuous-time ellipsoidal D-invariance set, both the analysis and controller synthesis methods do not depend on the choice of delays including their magnitudes and time derivatives. The effectiveness and validity of the arguments developed in this paper were also demonstrated through some numerical results.

    Finally, we would like to discuss some possible future studies relevant to this paper. Motivated by the fact that the overall arguments in this paper are related to an output-feedback L performance controller, one might consider an extension of this controller to an observer-based form as in [52,53]. This observer-based control is expected to allow us to not only reduce the corresponding L performance but also obtain an improved state estimation. As mentioned in Remark 3, it is also quite practically meaningful to modify the LMIs in Theorem 1, tailored to a reduced-order controller synthesis, as in [50,51]. Furthermore, constructing a theoretical framework for the robust controller synthesis relevant to measurement noises and model uncertainties is left for an interesting future study, although some empirical discussions are provided in Section 5.

    Hyung Tae Choi: Writing original draft; Jung Hoon Kim: Supervision, writing-review & editing. All authors have read and approved the final version of the manuscript for publication.

    This work was supported by project for Smart Manufacturing Innovation R & D funded Korea Ministry of SMEs and Startups in 2022 (Project No. RS–202200141122).

    The authors declare that there is no conflict of interest.



    [1] I. Abbas Baloch, Y. M. Chu, Petrović-type inequalities for harmonic h-convex functions, J. Funct. Space, 2020 (2020), 3075390.
    [2] M. Adil Khan, S. Begum, Y. Khurshid, et al. Ostrowski type inequalities involving conformable fractional integrals, J. Inequal. Appl., 2018 (2018), 70.
    [3] M. Adil Khan, Y.-M. Chu, A. Kashuri, et al. Conformable fractional integrals versions of Hermite-Hadamard inequalities and their generalizations, J. Funct. Space, 2018 (2018), 6928130.
    [4] M. Adil Khan, M. Hanif, Z. A. Khan, et al. Association of Jensen's inequality for s-convex function with Csiszár divergence, J. Inequal. Appl., 2019 (2019), 162.
    [5] M. Adil Khan, A. Iqbal, M. Suleman, et al. Hermite-Hadamard type inequalities for fractional integrals via Green's function, J. Inequal. Appl., 2018 (2018), 161.
    [6] M. Adil Khan, Y. Khurshid, T.-S. Du, et al. Generalization of Hermite-Hadamard type inequalities via conformable fractional integrals, J. Funct. Space, 2018 (2018), 5357463.
    [7] M. Adil Khan, N. Mohammad, E. R. Nwaeze, et al. Quantum Hermite-Hadamard inequality by means of a Green function, Adv. Difference Equ., 2020 (2020), 99. doi: 10.1186/s13662-020-02559-3
    [8] M. Adil Khan, S.-H. Wu, H. Ullah, et al. Discrete majorization type inequalities for convex functions on rectangles, J. Inequal. Appl., 2019 (2019), 16.
    [9] M. Adil Khan, S. Zaheer Ullah, Y. M. Chu, The concept of coordinate strongly convex functions and related inequalities, RACSAM, 113 (2019), 2235-2251. doi: 10.1007/s13398-018-0615-8
    [10] H. Alzer, On some inequalities for the gamma and psi functions, Math. Comput., 66 (1997), 373-389. doi: 10.1090/S0025-5718-97-00807-7
    [11] Y.-M. Chu, M. Adil Khan, T. Ali, et al. Inequalities for α-fractional differentiable functions, J. Inequal. Appl., 2017 (2017), 93.
    [12] Y.-M. Chu, Y.-F. Qiu, M.-K. Wang, Hölder mean inequalities for the complete elliptic integrals, Integ. Transf. Spec. Funct., 23 (2012), 521-527. doi: 10.1080/10652469.2011.609482
    [13] Y.-M. Chu, M.-K. Wang, S.-L. Qiu, Optimal combinations bounds of root-square and arithmetic means for Toader mean, Proc. Indian Acad. Sci. Math. Sci., 122 (2012), 41-51. doi: 10.1007/s12044-012-0062-y
    [14] Y.-M. Chu, M.-K. Wang, S.-L. Qiu, et al. Bounds for complete elliptic integrals of the second kind with applications, Comput. Math. Appl., 63 (2012), 1177-1184. doi: 10.1016/j.camwa.2011.12.038
    [15] Y.-M. Chu, G.-D. Wang, X.-H. Zhang, The Schur multiplicative and harmonic convexities of the complete symmetric function, Math. Nachr., 284 (2011), 653-663. doi: 10.1002/mana.200810197
    [16] Y.-M. Chu, W.-F. Xia, X.-H. Zhang, The Schur concavity, Schur multiplicative and harmonic convexities of the second dual form of the Hamy symmetric function with applications, J. Multivariate Anal., 105 (2012), 412-421. doi: 10.1016/j.jmva.2011.08.004
    [17] B.-N. Guo, F. Qi, A completely monotonic function involving the tri-gamma function and with degree one, Math. Comput., 218 (2012), 9890-9897.
    [18] F. Hausdorff, Summationsmethoden und Momentfolgen I, Math. Z., 9 (1921), 74-109. doi: 10.1007/BF01378337
    [19] X.-H. He, W.-M. Qian, H.-Z. Xu, et al. Sharp power mean bounds for two Sándor-Yang means, RACSAM, 113 (2019), 2627-2638. doi: 10.1007/s13398-019-00643-2
    [20] X.-M. Hu, J.-F. Tian, Y.-M. Chu, et al. On Cauchy-Schwarz inequality for N-tuple diamond-alpha integral, J. Inequal. Appl., 2020 (2020), 8.
    [21] T.-R. Huang, B.-W. Han, X.-Y. Ma, et al. Optimal bounds for the generalized Euler-Mascheroni constant, J. Inequal. Appl., 2018 (2018), 118. doi: 10.2478/dema-2014-0012
    [22] T.-R. Huang, S.-Y. Tan, X.-Y. Ma, et al. Monotonicity properties and bounds for the complete p-elliptic integrals, J. Inequal. Appl., 2018 (2018), 239.
    [23] A. Iqbal, M. Adil Khan, S. Ullah, et al. Some new Hermite-Hadamard-type inequalities associated with conformable fractional integrals and their applications, J. Funct. Space, 2020 (2020), 9845407.
    [24] S. Khan, M. Adil Khan, Y.-M. Chu, Converses of the Jensen inequality derived from the Green functions with applications in information theory, Math. Methods Appl. Sci., 43 (2020), 2577-2587. doi: 10.1002/mma.6066
    [25] Y. Khurshid, M. Adil Khan, Y.-M. Chu, Conformable integral inequalities of the Hermite-Hadamard type in terms of GG- and GA-convexities, J. Funct. Space, 2019 (2019), 6926107.
    [26] Y. Khurshid, M. Adil Khan, Y.-M. Chu, et al. HermiteH-adamard-Fejér inequalities for conformable fractional integrals via preinvex functions, J. Funct. Space, 2019 (2019), 3146210.
    [27] S. Koumandos, H. L. Pedersen, Completely monotonic functions of positive order and asymptotic expansions of the logarithm of Barnes double gamma function and Euler's gamma function, J. Math. Anal. Appl., 355 (2009), 33-40. doi: 10.1016/j.jmaa.2009.01.042
    [28] M. A. Latif, S. Rashid, S. S. Dragomir, et al. Hermite-Hadamard type inequalities for co-ordinated convex and qausi-convex functions and their applications, J. Inequal. Appl., 2019 (2019), 317. doi: 10.1186/s13660-019-2272-7
    [29] F. Qi, A.-Q. Liu, Completely monotonic degrees for a difference between the logarithmic and psi functions, J. Comput. Appl. Math., 361 (2019), 366-371. doi: 10.1016/j.cam.2019.05.001
    [30] W.-M. Qian, Z.-Y. He, Y.-M. Chu, Approximation for the complete elliptic integral of the first kind, RACSAM, 114 (2020), 57.
    [31] W.-M. Qian, Z.-Y. He, H.-W. Zhang, et al. Sharp bounds for Neuman means in terms of two-parameter contraharmonic and arithmetic mean, J. Inequal. Appl., 2019 (2019), 168.
    [32] W.-M. Qian, H.-Z. Xu, Y.-M. Chu, Improvements of bounds for the Sándor-Yang means, J. Inequal. Appl., 2019 (2019), 73.
    [33] W.-M. Qian, Y.-Y. Yang, H.-W. Zhang, et al. Optimal two-parameter geometric and arithmetic mean bounds for the Sándor-Yang mean, J. Inequal. Appl., 2019 (2019), 287.
    [34] W.-M. Qian, X.-H. Zhang, Y.-M. Chu, Sharp bounds for the Toader-Qi mean in terms of harmonic and geometric means, J. Math. Inequal., 11 (2017), 121-127. doi: 10.7153/jmi-11-11
    [35] W.-M. Qian, W. Zhang, Y.-M. Chu, Bounding the convex combination of arithmetic and integral means in terms of one-parameter harmonic and geometric means, Miskolc Math. Notes, 20 (2019), 1157-1166. doi: 10.18514/MMN.2019.2334
    [36] S.-L. Qiu, X.-Y. Ma, Y.-M. Chu, Sharp Landen transformation inequalities for hypergeometric functions, with applications, J. Math. Anal. Appl., 474 (2019), 1306-1337. doi: 10.1016/j.jmaa.2019.02.018
    [37] S. Rafeeq, H. Kalsoom, S. Hussain, et al. Delay dynamic double integral inequalities on time scales with applications, Adv. Difference Equ., 2020 (2020), 40. doi: 10.1186/s13662-020-2516-3
    [38] S. Rashid, F. Jarad, H. Kalsoom, et al. On Pólya-Szegö and Ćebyšev type inequalities via generalized k-fractional integrals, Adv. Difference Equ., 2020 (2020), 125.
    [39] S. Rashid, M. A. Noor, K. I. Noor, et al. Ostrowski type inequalities in the sense of generalized K-fractional integral operator for exponentially convex functions, AIMS Math., 5 (2020), 2629-2645. doi: 10.3934/math.2020171
    [40] Y.-Q. Song, M. Adil Khan, S. Zaheer Ullah, et al. Integral inequalities involving strongly convex functions, J. Funct. Spaces, 2018 (2018), 6595921.
    [41] M.-K. Wang, Y.-M. Chu, Landen inequalities for a class of hypergeometric functions with applications, Math. Inequal. Appl., 21 (2018), 521-537.
    [42] M.-K. Wang, H.-H. Chu, Y.-M. Chu, Precise bounds for the weighted Hölder mean of the complete p-elliptic integrals, J. Math. Anal. Appl., 480 (2019), 123388.
    [43] M.-K. Wang, Y.-M. Chu, S.-L. Qiu, el al. Bounds for the perimeter of an ellipse, J. Approx. Theory, 164 (2012), 928-937. doi: 10.1016/j.jat.2012.03.011
    [44] M.-K. Wang, Y.-M. Chu, W. Zhang, Monotonicity and inequalities involving zero-balanced hypergeometric function, Math. Inequal. Appl., 22 (2019), 601-617.
    [45] M.-K. Wang, Y.-M. Chu, W. Zhang, Precise estimates for the solution of Ramanujan's generalized modular equation, Ramanujan J., 49 (2019), 653-668. doi: 10.1007/s11139-018-0130-8
    [46] M.-K. Wang, Z.-Y. He, Y.-M. Chu, Sharp power mean inequalities for the generalized elliptic integral of the first kind, Comput. Methods Funct. Theory, 20 (2020), 111-124. doi: 10.1007/s40315-020-00298-w
    [47] M.-K. Wang, M.-Y. Hong, Y.-F. Xu, et al. Inequalities for generalized trigonometric and hyperbolic functions with one parameter, J. Math. Inequal., 14 (2020), 1-21. doi: 10.7153/jmi-2020-14-01
    [48] M.-K. Wang, Y.-M. Li, Y.-M. Chu, Inequalities and infinite product formula for Ramanujan generalized modular equation function, Ramanujan J., 46 (2018), 189-200. doi: 10.1007/s11139-017-9888-3
    [49] B. Wang, C.-L. Luo, S.-H. Li, et al. Sharp one-parameter geometric and quadratic means bounds for the Sándor-Yang means, RACSAM, 114 (2020), 7. doi: 10.1007/s13398-019-00734-0
    [50] J.-L. Wang, W.-M. Qian, Z.-Y. He, et al. On approximating the Toader mean by other bivariate means, J. Funct. Spaces, 2019 (2019), 6082413.
    [51] M.-K. Wang, S.-L. Qiu, Y.-M. Chu, Infinite series formula for Hübner upper bound function with applications to Hersch-Pfluger distortion function, Math. Inequal. Appl., 21 (2018), 629-648.
    [52] M.-K. Wang, S.-L. Qiu, Y.-M. Chu, et al. Generalized Hersch-Pfluger distortion function and complete elliptic integrals, J. Math. Anal. Appl., 385 (2012), 221-229. doi: 10.1016/j.jmaa.2011.06.039
    [53] M.-K. Wang, W. Zhang, Y.-M. Chu, Monotonicity, convexity and inequalities involving the generalized elliptic integrals, Acta Math. Sci., 39 (2019), 1440-1450. doi: 10.1007/s10473-019-0520-z
    [54] D. V. Widder, Necessary and sufficient conditions for the representation of a function as a Laplace integral, Trans. Amer. Math. Soc., 33 (1931), 851-892. doi: 10.1090/S0002-9947-1931-1501621-6
    [55] S.-H. Wu, Y.-M. Chu, Schur m-power convexity of generalized geometric Bonferroni mean involving three parameters, J. Inequal. Appl., 2019 (2019), 57.
    [56] H.-Z. Xu, Y.-M. Chu, W.-M. Qian, Sharp bounds for the Sándor-Yang means in terms of arithmetic and contra-harmonic means, J. Inequal. Appl., 2018 (2018), 127.
    [57] Z.-H. Yang, Approximations for certain hyperbolic functions by partial sums of their Taylor series and completely monotonic functions related to gamma function, J. Math. Anal. Appl., 441 (2016), 549-564. doi: 10.1016/j.jmaa.2016.04.029
    [58] Z.-H. Yang, Y.-M. Chu, W. Zhang, High accuracy asymptotic bounds for the complete elliptic integral of the second kind, Appl. Math. Comput., 348 (2019), 552-564.
    [59] Z.-H. Yang, W.-M. Qian, Y.-M. Chu, Monotonicity properties and bounds involving the complete elliptic integrals of the first kind, Math. Inequal. Appl., 21 (2018), 1185-1199.
    [60] Z.-H. Yang, W.-M. Qian, Y.-M. Chu, et al. On approximating the error function, Math. Inequal. Appl., 21 (2018), 469-479.
    [61] Z.-H. Yang, W.-M. Qian, Y.-M. Chu, et al. On approximating the arithmetic-geometric mean and complete elliptic integral of the first kind, J. Math. Anal. Appl., 462 (2018), 1714-1726. doi: 10.1016/j.jmaa.2018.03.005
    [62] Z.-H. Yang, W.-M. Qian, W. Zhang, et al. Notes on the complete elliptic integral of the first kind, Math. Inequal. Appl., 23 (2020), 77-93.
    [63] S. Zaheer Ullah, M. Adil Khan, Y.-M. Chu, Majorization theorems for strongly convex functions, J. Inequal. Appl., 2019 (2019), 58.
    [64] S. Zaheer Ullah, M. Adil Khan, Y.-M. Chu, A note on generalized convex functions, J. Inequal. Appl., 2019 (2019), 291.
    [65] S. Zaheer Ullah, M. Adil Khan, Z. A. Khan, et al. Integral majorization type inequalities for the functions in the sense of strong convexity, J. Funct. Spaces, 2019 (2019), 9487823.
    [66] T.-H. Zhao, Y.-M. Chu, H. Wang, Logarithmically complete monotonicity properties relating to the gamma function, Abstr. Appl. Anal., 2011 (2011), 896483.
    [67] T.-H. Zhao, L. Shi, Y.-M. Chu, Convexity and concavity of the modified Bessel functions of the first kind with respect to Hölder means, RACSAM, 2020 (114), 96.
    [68] T.-H. Zhao, M.-K. Wang, W. Zhang, et al. Quadratic transformation inequalities for Gaussian hypergeometric function, J. Inequal. Appl., 2018 (2018), 251.
    [69] T.-H. Zhao, B.-C. Zhou, M.-K. Wang, et al. On approximating the quasi-arithmetic mean, J. Inequal. Appl., 2019 (2019), 42.
    [70] L. Zhu, A class of strongly completely monotonic functions related to gamma function, J. Comput. Appl. Math., 367 (2020), 112469.
  • Reader Comments
  • © 2020 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)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(3982) PDF downloads(303) Cited by(3)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog