Research article

Some conditions for sequences to be minimal completely monotonic

  • In this article, we establish some necessary conditions for sequences to be minimal completely monotonic. We also present some properties for completely monotonic sequences.

    Citation: Xifeng Wang, Senlin Guo. Some conditions for sequences to be minimal completely monotonic[J]. AIMS Mathematics, 2023, 8(4): 9832-9839. doi: 10.3934/math.2023496

    Related Papers:

    [1] Imran Siddique, Yasir Khan, Muhammad Nadeem, Jan Awrejcewicz, Muhammad Bilal . Significance of heat transfer for second-grade fuzzy hybrid nanofluid flow over a stretching/shrinking Riga wedge. AIMS Mathematics, 2023, 8(1): 295-316. doi: 10.3934/math.2023014
    [2] Mushtaq Ahmad, Muhammad Imran Asjad, Ali Akgül, Dumitru Baleanu . Analytical solutions for free convection flow of Casson nanofluid over an infinite vertical plate. AIMS Mathematics, 2021, 6(3): 2344-2358. doi: 10.3934/math.2021142
    [3] Taqi A. M. Shatnawi, Nadeem Abbas, Wasfi Shatanawi . Comparative study of Casson hybrid nanofluid models with induced magnetic radiative flow over a vertical permeable exponentially stretching sheet. AIMS Mathematics, 2022, 7(12): 20545-20564. doi: 10.3934/math.20221126
    [4] J. Kayalvizhi, A. G. Vijaya Kumar, Ndolane Sene, Ali Akgül, Mustafa Inc, Hanaa Abu-Zinadah, S. Abdel-Khalek . An exact solution of heat and mass transfer analysis on hydrodynamic magneto nanofluid over an infinite inclined plate using Caputo fractional derivative model. AIMS Mathematics, 2023, 8(2): 3542-3560. doi: 10.3934/math.2023180
    [5] Yousef Jawarneh, Samia Noor, Ajed Akbar, Rafaqat Ali Khan, Ahmad Shafee . Intelligent neural networks approach for analysis of the MHD viscous nanofluid flow due to rotating disk with slip effect. AIMS Mathematics, 2025, 10(5): 10387-10412. doi: 10.3934/math.2025473
    [6] Sami Ul Haq, Saeed Ullah Jan, Syed Inayat Ali Shah, Ilyas Khan, Jagdev Singh . Heat and mass transfer of fractional second grade fluid with slippage and ramped wall temperature using Caputo-Fabrizio fractional derivative approach. AIMS Mathematics, 2020, 5(4): 3056-3088. doi: 10.3934/math.2020198
    [7] Abdelraheem M. Aly, Abd-Allah Hyder . Fractional-time derivative in ISPH method to simulate bioconvection flow of a rotated star in a hexagonal porous cavity. AIMS Mathematics, 2023, 8(12): 31050-31069. doi: 10.3934/math.20231589
    [8] Subhan Ullah, Hassan Ali Ghazwani, Dolat Khan, Zareen A. Khan . Heat transfer augmentation of Jeffery–Hamel hybrid nanofluid in a stretching convergent/divergent channel through porous medium. AIMS Mathematics, 2025, 10(1): 388-402. doi: 10.3934/math.2025018
    [9] Xiping Liu, Mei Jia, Zhanbing Bai . Nonlocal problems of fractional systems involving left and right fractional derivatives at resonance. AIMS Mathematics, 2020, 5(4): 3331-3345. doi: 10.3934/math.2020214
    [10] Humaira Yasmin, Rawan Bossly, Fuad S. Alduais, Afrah Al-Bossly, Anwar Saeed . Analysis of the radiated ternary hybrid nanofluid flow containing TiO2, CoFe2O4 and MgO nanoparticles past a bi-directional extending sheet using thermal convective and velocity slip conditions. AIMS Mathematics, 2025, 10(4): 9563-9594. doi: 10.3934/math.2025441
  • In this article, we establish some necessary conditions for sequences to be minimal completely monotonic. We also present some properties for completely monotonic sequences.



    Since Kalman demonstrated how common algebraic Riccati equations (ARE) are in the theory of filtering and optimal control [1], AREs have drawn a great deal of interest in applied mathematics and a variety of engineering tasks. Among these topics are wheeled inverted pendulums [2], multi-agent linear systems [3], and managing wind generators [4]. The linear-quadratic regulator [5], Kalman filtering [6], linear-quadratic-Gaussian and H2/H control [7,8], coprime and spectral factorizations [9,10] all depend on ARE. Furthermore, several issues like losing controllability and numerical precision in direct and iterative methods are resolved through closed-form solutions of ARE [11]. In this paper, taking the quaternion nonsymmetric ARE (QNARE) as a generalized version of ARE, the time-varying QNARE (TQNARE) is introduced and solved.

    Recently, there has been a greater focus in the study of dynamic topics using time-varying quaternion matrices (TQM). These include the constrained TQM least-squares problem [12], the inversion of TQM [13], and the pseudoinversion of TQM [14]. Moreover, practical applications of TQMs contain synchronization of chaotic systems [15], kinematic control of redundant manipulators [16], mobile manipulator control [17], and tracking acoustic sources [18]. All of these research topics have one thing in common: they use the zeroing neural network (ZNN) approach to determine the appropriate response. Remarkably, Zhang {et al.} presented the ZNN approach in [19] for real-time handling of time-varying problems. Particularly, ZNNs are recurrent neural networks with remarkable parallel processing performance. Among its applications are dynamical systems for computing the time-varying Moore-Penrose inverse [20,21]. Linear/nonlinear equations systems [22,23,24,25,26], quadratic/linear programming [27,28,29], and generalized inversion [30,31] are among the issues that they are presently employed for.

    In 1843, Hamilton [32] made the first proposal regarding quaternions. They are very important in many fields, including mathematical physics [33], computer modeling [34], quantum mechanics [35], navigation [36], electromagnetism [37], and robotics [38,39], because they are useful in computations associated with 3-dimensional rotations in applied and theoretical mathematics [40]. Keep in mind that quaternions are an extension of complex numbers into a non-commutative number system. Let

    H={β1+β2ı+β3ȷ+β4k | ı2=ȷ2=k2=ıȷk=1,β1,β2,β3,β4R}

    be the quaternions set and Hm×n be the set of m×n matrices on H [41]. In this work, a recurrent neural network, named high-order ZNN (HZNN), is used to solve the next TQNARE:

    ˜D(t)˜X(t)+˜X(t)˜A(t)˜X(t)˜B(t)˜X(t)+˜C(t)=0m×n, (1.1)

    where ˜D(t)Hm×m,˜A(t)Hn×n,˜B(t)Hn×m, ˜C(t)Hm×n are the block coefficients, ˜X(t)Hm×n is the unknown matrix to be obtained, and 0m×n represents a zero m×n matrix. It is significant to mention that (1.1) is in its standard form without assumption on the symmetry of the coefficient matrices, as indicated by the incorrect use of the word "nonsymmetric". The all ones and all zeros u×1 matrices, respectively, will be denoted by 1u and 0u, while the identity u×u matrix will be denoted by Iu throughout this work. Additionally, and will denote the Kronecker and Hadamard products, respectively, and vec() will denote the vectorization procedure. Finally, the matrix transposition, inversion, and pseudoinversion, respectively, will be denoted by the superscripts ()T, ()1, and (), while F will denote the matrix Frobenius norm.

    From one perspective, a ZNN model is usually built in two main processes. First, the error matrix equation (EME), E(t), needs to be declared. Second, the ZNN architecture that follows should be applied:

    ˙E(t)=λE(t). (1.2)

    Notice that t[0,tf)[0,+) denotes the time, and (˙) is the derivative operator in terms of time. In addition, the model's convergence speed can be adjusted by changing the parameter λR+. For instance, any ZNN model converges even faster at larger values of λ [42]. The ZNN design is based on setting E(t) to 0, where t. This is achieved by utilizing the real-time learning rule that emerges from the building of the EME in (1.2). Thus, the EME can be thought of as a tracking tool for ZNN model learning.

    On the other hand, the family of hyperpower iterations has been the subject of extensive research and development in the last few years [43]. Nevertheless, many HZNN models were introduced and investigated in [23] because iterative approaches can be applied to discrete-time models and these methods usually require initial conditions that are approximated and sometimes can not be easily provided. An HZNN model is typically constructed through a pair of primary steps. First, we need to define the function of the high-order error matrix equation (HEME), EpH(t), as follows:

    EpH(t)=p1i=1Ei(t), (1.3)

    where Ei(t)Rn×n. Second, the HZNN architecture:

    ˙E(t)λEpH(t) (1.4)

    should be applied for finding the online solution to a time-varying issue. In addition, the model's convergence rate can be adjusted by changing the λR+ parameter and the order p2. For example, any HZNN model converges even faster at larger values of p [23]. It is significant to note that every HZNN model reduces to a ZNN model in the case where p=2 since the ZNN dynamical system of (1.2) and the HZNN dynamical system of (1.4) will match.

    In this work, a new HZNN model, termed HZ-QNARE, is introduced for solving the TQNARE. Two simulation trials demonstrate the excellent performance of the model. It is important to mention that the HZ-QNARE model has the advantage of being able to solve any equation that arises from TQNARE. Additionally, the results demonstrate that, while both approaches function remarkably well, the HZNN architecture works better than the ZNN architecture. Notice that, by theoretical examination of the HZ-QNARE model, this work adds to the corpus of literature. Finally, the list below displays the contributions made to the paper:

    ● A new HZNN model, named HZ-QNARE, for solving the TQNARE is introduced.

    ● The HZ-QNARE model is validated by a theoretical examination.

    ● Simulation trials are carried out to supplement the theoretical study.

    The paper is formatted as follows: Section 2 presents the preliminary results of the quaternion and the TQNARE reformulation. The HZ-QNARE model is presented in Section 3 and its theoretical examination is provided in Section 4. Observe that Section 3 contains information on the computational complexity of the HZ-QNARE model. Section 5 displays simulation trials. Finally, some remarks and closing comments are included in Section 6.

    In this section, the TQNARE is reformulated, and the fundamentals of TQM are described. Observe that the TQNARE (1.1) is being reformulated to reduce the computational complexity of the HZNN method.

    Employing the coefficients Du(t)Rm×m for u=1,,4, let

    ˜D(t)=D1(t)+D2(t)ı+D3(t)ȷ+D4(t)kHm×m

    to be a TQM. Similarly, employing the coefficients Au(t)Rn×n,Bu(t)Rn×m, and Cu(t),Xu(t)Rm×n for u=1,,4, let ˜A(t)Hn×n,˜B(t)Hn×m, and ˜C(t),˜X(t)Hm×n. The result of multiplying ˜B(t) by ˜X(t) is:

    ˜B(t)˜X(t)=~BX(t)=BX1(t)+BX2(t)ı+BX3(t)ȷ+BX4(t)kHn×n, (2.1)

    where

    BX1(t)=B3(t)X3(t)+B1(t)X1(t)B2(t)X2(t)B4(t)X4(t),BX2(t)=B1(t)X2(t)+B3(t)X4(t)+B2(t)X1(t)B4(t)X3(t),BX3(t)=B1(t)X3(t)+B3(t)X1(t)B2(t)X4(t)+B4(t)X2(t),BX4(t)=B4(t)X1(t)+B1(t)X4(t)B3(t)X2(t)+B2(t)X3(t). (2.2)

    Notice that BXu(t)Rn×n for u=1,,4. The products ~DX(t)=˜D(t)˜X(t), ~XA(t)=˜X(t)˜A(t) and ~XBX(t)=˜X(t)~BX(t) can be produced in a manner similar to that of (2.1).

    Using the previously provided information, (1.1) can be rewritten as:

    ~DX(t)+~XA(t)~XBX(t)+˜C(t)=0m×n, (2.3)

    where

    {DX1(t)+XA1(t)XBX1(t)+C1(t)=0m×n,DX2(t)+XA2(t)XBX2(t)+C2(t)=0m×n,DX3(t)+XA3(t)XBX3(t)+C3(t)=0m×n,DX4(t)+XA4(t)XBX4(t)+C4(t)=0m×n. (2.4)

    Then, setting

    Q(t)=[X1(t)X2(t)X3(t)X4(t)X2(t)X1(t)X4(t)X3(t)X3(t)X4(t)X1(t)X2(t)X4(t)X3(t)X2(t)X1(t)],A(t)=[A1(t)A2(t)A3(t)A4(t)],C(t)=[C1(t)C2(t)C3(t)C4(t)],M(t)=[B1(t)B2(t)B3(t)B4(t)B2(t)B1(t)B4(t)B3(t)B3(t)B4(t)B1(t)B2(t)B4(t)B3(t)B2(t)B1(t)],B(t)=[B1(t)B2(t)B3(t)B4(t)],X(t)=[X1(t)X2(t)X3(t)X4(t)],K(t)=[D1(t)D2(t)D3(t)D4(t)D2(t)D1(t)D4(t)D3(t)D3(t)D4(t)D1(t)D2(t)D4(t)D3(t)D2(t)D1(t)],D(t)=[D1(t)D2(t)D3(t)D4(t)], (2.5)

    where Q(t)R4m×4n,M(t)R4n×4m,K(t)R4m×4m,D(t)R4m×m,A(t)R4n×n,B(t)R4n×m, and X(t),C(t)R4m×n, (2.3) might be reshuffled as below:

    K(t)X(t)+Q(t)A(t)Q(t)M(t)X(t)+C(t)=04m×n, (2.6)

    where the coefficients Xu(t),u=1,,4, are included both in X(t) and Q(t). Recall that the anticipated solution to the TQNARE (1.1) is ˜X(t). Furthermore, take note of the fact that (2.6) gives four TQMs, whereas (1.1) yields only one TQM.

    To address the TQNARE, we shall construct a HZNN model in this section named HZ-QNARE. Let ˜D(t)Hm×m,˜A(t)Hn×n,˜B(t)Hn×m, and ˜C(t),˜X(t)Hm×n be differentiable TQMs. According to the analysis of Section 2, (2.6) is a reformulation of (1.1). Following (2.5), we formulate the matrices Q(t)R4m×4n,M(t)R4n×4m,K(t)R4m×4m,D(t)R4m×m,A(t)R4n×n,B(t)R4n×m, and C(t)R4m×n to construct the next EME:

    E(t)=Q(t)A(t)+K(t)X(t)Q(t)M(t)X(t)+C(t), (3.1)

    where Q(t)R4m×4n and X(t)R4m×n are unknown matrices. Because the HZNN design requires powers of E(t), it is applicable only to square input matrices M(t),A(t), and C(t). In order to satisfy this requirement, we right multiply (3.1) with ˉI=[In,0n×(4mn)]Rn×4m. Therefore, without loss of generality, we convert (3.1) as follows:

    EZ(t)=(Q(t)A(t)+K(t)X(t)Q(t)M(t)X(t)+C(t))ˉI=Q(t)A(t)ˉI+K(t)X(t)ˉIQ(t)M(t)X(t)ˉI+C(t)ˉI. (3.2)

    The following is (3.2)'s first derivative:

    ˙EZ(t)=Q(t)˙A(t)ˉI+˙Q(t)A(t)ˉI+˙K(t)X(t)ˉI+K(t)˙X(t)ˉI˙Q(t)M(t)X(t)ˉIQ(t)˙M(t)X(t)ˉIQ(t)M(t)˙X(t)ˉI+˙C(t)ˉI. (3.3)

    Further, the following HEME is defined:

    EpH(t)=p1i=1EiZ(t), (3.4)

    while its derivative is ˙EpH(t)˙EZ(t) according to the HZNN design.

    Next, we treat the HZNN dynamical system with regard to ˙X(t) and ˙Q(t). This is accomplished by superseding the aforementioned EpH(t) and ˙EpH(t) in (1.4). The outcome is as follows:

    K(t)˙X(t)ˉI+˙Q(t)A(t)ˉI˙Q(t)M(t)X(t)ˉIQ(t)M(t)˙X(t)ˉI=λp1i=1EiZ(t)˙K(t)X(t)ˉIQ(t)˙A(t)ˉI+Q(t)˙M(t)X(t)ˉI˙C(t)ˉI. (3.5)

    Afterwards, we simplify the dynamics of (3.5) by using the Kronecker product and vectorization:

    (ˉITK(t)ˉIT(Q(t)M(t)))vec(˙X(t))+((A(t)ˉI)TI4m(M(t)X(t)ˉI)TI4m)vec(˙Q(t))=vec(λp1i=1EiZ(t)˙K(t)X(t)ˉIQ(t)˙A(t)ˉI+Q(t)˙M(t)X(t)ˉI˙C(t)ˉI). (3.6)

    It is important to note that the components of vec(˙Q(t)) and vec(˙X(t)) are the same, but they are located differently. Stated differently, (3.6) can be further reduced by stating vec(˙Q(t)) in relation to vec(˙X(t)). Because of this, vec(˙Q(t)) can be substituted in (3.6) to obtain the following equation:

    vec(˙Q(t))=Rvec(˙X(t)). (3.7)

    Note that the algorithmic process outlined in Algorithm 1 can be used to compute the operational matrix RR16mn×4mn. Take into account that the pseudocode in Algorithm 1 adhere to standard MATLAB practices [44].

    Algorithm 1 Algorithmic process for calculating the operational matrix.
    Input: The matrix X(t) dimensions, m×n.
    1: procedure OM_R(m,n)
    2:  Put R=zeros(nm16,nm4), c=(1:nm4), Z=reshape(c,m4,n)
    3:  Put V1=Z(1:m,:), V2=Z(1+m:m2,:), V3=Z(1+m2:m3,:), V4=Z(1+m3:end,:)
    4:  Put V=[V1,V2,V3,V4;V2,V1,V4,V3;V3,V4,V1,V2;V4,V3,V2,V1]
    5:  Set F=reshape(V,[],1)
    6:  for u=1:nm16 do
    7:    R(u,abs(F(u)))=sign(F(u))
    8:  end for
    9: end procedure
    Output: R

    The (3.6) may be simplified even more by utilizing (3.7):

    (ˉITK(t)ˉIT(Q(t)M(t))+((A(t)ˉI)TI4m(M(t)X(t)ˉI)TI4m)R)vec(˙X(t))=vec(λp1i=1EiZ(t)˙K(t)X(t)ˉIQ(t)˙A(t)ˉI+Q(t)˙M(t)X(t)ˉI˙C(t)ˉI). (3.8)

    Additionally, upon the establishment of:

    U(t)=ˉITK(t)ˉIT(Q(t)M(t))+((A(t)ˉI)TI4m(M(t)X(t)ˉI)TI4m)RR16m2×4mn,g(t)=vec(λp1i=1EiZ(t)˙K(t)X(t)ˉIQ(t)˙A(t)ˉI+Q(t)˙M(t)X(t)ˉI˙C(t)ˉI)R16m2,˙x(t)=vec(˙X(t))R4mn,x(t)=vec(X(t))R4mn, (3.9)

    we arrive at the HZNN model below:

    ˙x(t)=U(t)g(t). (3.10)

    The recommended HZNN model to be used in solving the TQNARE of (1.1) is Eq (3.10)'s dynamic model, also known as HZ-QNARE. Note that the algorithmic process of the HZ-QNARE model outlined in Algorithm 2 can be used for solving the TQNARE.

    Algorithm 2 Algorithmic process of the HZ-QNARE model for solving the TQNARE.
    Input: The coefficient matrices ˜D(t),˜A(t),˜B(t), and ˜C(t) of the TQNARE (1.1).
    1: procedure HZ_QNARE(˜D(t),˜A(t),˜B(t),˜C(t))
    2:  Create Q(t),A(t),C(t),M(t),B(t),X(t),K(t), and D(t) based on (2.5)
    3:  Create EZ(t) according to (3.2)
    4:  Create EpH(t) according to (3.4)
    5:  Using Alg. 1, create U(t) and g(t) based on (3.9)
    6:  Set ˙x(t)=U(t)g(t) and use the ode15s solver of MATLAB to find x(t)
    7: end procedure
    Output: The TQNARE's solution x(t).

    Creating and solving (3.10) is computationally demanding in addition to the HZ-QNARE itself. In this regard, the complexity of formulating (3.10) is O((4nm)2) operations since, at each iteration, we do (4nm)2 multiplications and 4nm additions/subtractions. Besides, the ode15s solver of MATLAB is used to solve the linear system of equations step-by-step. A 4nm×4nm matrix is needed to address (3.10), adding O((4nm)3) to the complexity. As a result, O((4nm)3) is the HZ-QNARE's computational complexity.

    This section presents the stability analysis and convergence of the HZ-QNARE (3.10) model.

    Theorem 4.1. Let M(t)R4n×4m,K(t)R4m×4m,A(t)R4n×n, and C(t)R4m×n be differentiable. According to Lyapunov, the dynamics of (3.5) in accordance with the HZNN method (1.4) lead to the theoretical solution (TSOL) XTH(t), which is stable.

    Proof. The supersession XB(t):=X(t)+XTH(t) yields X(t)=XTH(t)XB(t), while the TSOL is XTH(t). The components of X(t) are reshuffled in Q(t), according to (2.5). Consequently, since QTH(t) and QB(t) represent a reshuffling of the components of XTH(t) and XB(t), Q(t)=QTH(t)QB(t). Also, the 1st derivatives of Q(t) and X(t) are ˙Q(t)=˙QTH(t)˙QB(t) and ˙X(t)=˙XTH(t)˙XB(t), respectively.

    Let

    K(t)XTH(t)ˉI+QTH(t)A(t)ˉIQTH(t)M(t)XTH(t)ˉI+C(t)ˉI=04m×4m, (4.1)

    and its 1st derivative

    K(t)˙XTH(t)ˉI+˙K(t)XTH(t)ˉI+˙QTH(t)A(t)ˉI+QTH(t)˙A(t)ˉI˙QTH(t)M(t)XTH(t)ˉIQTH(t)˙M(t)XTH(t)ˉIQTH(t)M(t)˙XTH(t)ˉI+˙C(t)ˉI=04m×4m. (4.2)

    After substituting (3.4) for X(t)=XTH(t)XB(t) and Q(t)=QTH(t)QB(t), the following holds:

    ETH(t)=K(t)XTH(t)ˉIK(t)XB(t)ˉI+QTH(t)A(t)ˉIQB(t)A(t)ˉIQTH(t)M(t)XTH(t)ˉI+QB(t)M(t)XTH(t)ˉI+QTH(t)M(t)XB(t)ˉIQB(t)M(t)XB(t)ˉI+C(t)ˉI, (4.3)

    and

    EpTH(t)=p1i=1EiTH(t), (4.4)

    with the following results from (1.4):

    ˙ETH(t)=K(t)˙XTH(t)ˉI+˙K(t)XTH(t)ˉIK(t)˙XB(t)ˉI˙K(t)XB(t)ˉI+˙QTH(t)A(t)ˉI+QTH(t)˙A(t)ˉI˙QB(t)A(t)ˉIQB(t)˙A(t)ˉI+˙C(t)ˉI˙QTH(t)M(t)XTH(t)ˉIQTH(t)˙M(t)XTH(t)ˉIQTH(t)M(t)˙XTH(t)ˉI+˙QB(t)M(t)XTH(t)ˉI+QB(t)˙M(t)XTH(t)ˉI+QB(t)M(t)˙XTH(t)ˉI+˙QTH(t)M(t)XB(t)ˉI+QTH(t)˙M(t)XB(t)ˉI+QTH(t)M(t)˙XB(t)ˉI˙QB(t)M(t)XB(t)ˉIQB(t)˙M(t)XB(t)ˉIQB(t)M(t)˙XB(t)ˉIλEpTH(t). (4.5)

    Afterwards, we pick the Lyapunov function indicated below to verify convergence:

    R(t)=12EpTH(t)2F=12tr(EpTH(t)(EpTH(t))T). (4.6)

    The following can then be verified:

    ˙R(t)=2tr((EpTH(t))T˙EpTH(t))2=tr((EpTH(t))T˙EpTH(t))=λtr((EpTH(t))TEpTH(t)). (4.7)

    Consequently, the following holds true:

    ˙R(t){<0,EpTH(t)0=0,EpTH(t)=0,˙R(t){<0,K(t)XTH(t)ˉIK(t)XB(t)ˉI+QTH(t)A(t)ˉIQB(t)A(t)ˉIQTH(t)M(t)XTH(t)ˉI+QB(t)M(t)XTH(t)ˉI+QTH(t)M(t)XB(t)ˉIQB(t)M(t)XB(t)ˉI+C(t)ˉI0=0,K(t)XTH(t)ˉIK(t)XB(t)ˉI+QTH(t)A(t)ˉIQB(t)A(t)ˉIQTH(t)M(t)XTH(t)ˉI+QB(t)M(t)XTH(t)ˉI+QTH(t)M(t)XB(t)ˉIQB(t)M(t)XB(t)ˉI+C(t)ˉI=0,˙R(t){<0,XB(t)0  QB(t)0=0,XB(t)=0  QB(t)=0,˙R(t){<0,XB(t)0=0,XB(t)=0. (4.8)

    Seeing that Q(t) is a components' regrouping of X(t), QB(t)0 in the case XB(t)0 and QB(t)=0 in the case XB(t)=0. Furthermore, because EpH(0)=0 and XB(t) are the equilibrium points of (4.5), the following holds:

     XB(t)0,˙R(t)0. (4.9)

    It is found that the state of equilibrium XB(t)=X(t)+XTH(t)=0 is stable according to the theory of Lyapunov. Afterwards, X(t)XTH(t) as t. Notice that, because Q(t) is a components' regrouping of X(t), Q(t)QTH(t) as t.

    Theorem 4.2. Let ˜D(t)Hm×m,˜A(t)Hn×n,˜B(t)Hn×m, and ˜C(t)Hm×n be differentiable. For each t[0,tf)[0,+), the HZ-QNARE model (3.10) converges exponentially to TSOL xTH(t) under any selection of initial value x(0).

    Proof. First, the TQNARE of (1.1) is converted into (2.6) using the analysis given in Section 2. In particular, we utilize (2.5) to construct the matrices M(t)R4n×4m,K(t)R4m×4m,A(t)R4n×n, and C(t)R4m×n employing the TQMs ˜D(t),˜A(t),˜B(t), and ˜C(t). Consequently, we substitute (1.1) for (2.6). Second, in order to solve (2.6), the HEME of (3.4) is declared. Model (3.5) is applied in compliance with the HZNN technique (1.4) for zeroing (3.4). In line with Theorem 4.1, Q(t)QTH(t) and X(t)XTH(t) when t for any selection of initial value. Remember that Q(t) is created by rearranging the X(t) parts. Model (3.5) converges to the TSOL equation (1.1) since (2.6) is a reorganization of the TQNARE of (1.1). Third, (3.5) is simplified to construct the HZ-QNARE model of (3.10) using the operation matrix of (3.7), Kronecker product, and vectorization. The HZ-QNARE is an alternative formulation of (3.5); for any beginning value x(0), it converges to TSOL xTH(t) when t. At that point, the proof is finished.

    This section exhibits two simulation trials (STs). A few significant arguments should be mentioned. For simplicity, we allocated both η(t)=cos(t) and ζ(t)=sin(t) in the STs. Additionally, all calculations are performed employing the ode15s solver of MATLAB, with a time interval set to [0,10]. Employing the ode15s and its regular double precision arithmetic, you will notice that most errors have minimum values that are close to 105 in this section's figures. Last, the associated TQNARE error, i.e., ||˜D(t)˜X(t)+˜X(t)˜A(t)˜X(t)˜B(t)˜X(t)+˜C(t)||F, is displayed as ||TQNARE||F in the figures of this section.

    Example 5.1. In this ST, the ˜D(t) coefficients are set up as below:

    D1(t)=I4(1+η(t)),D2(t)=[0001000000001000],D3(t)=[0100100000000000],D4(t)=[0000000100000100],

    the ˜A(t) coefficients are set up as below:

    A1(t)=[6ζ(t)+145η(t)+26],A2(t)=[02ζ(t)+24ζ(t)20],A3(t)=[055ζ(t)+10],A4(t)=[02ζ(t)+320],

    the ˜B(t) coefficients are set up as below:

    B1(t)=[η(t)ζ(t)+301ζ(t)+3ζ(t)+200],B2(t)=[06106011],B3(t)=[05+η(t)005η(t)000],B4(t)=[0η(t)41η(t)000],

    and ˜C(t) coefficients are set up as below:

    C1(t)=[ζ(t)+5η(t)η(t)η(t)+20110],C2(t)=[05+ζ(t)5ζ(t)05130],C3(t)=[06600111],C4(t)=[0ζ(t)ζ(t)00310].

    Hence, ˜D(t)H4×4,˜A(t)H2×2,˜B(t)H2×4, and ˜C(t)H4×2. Furthermore, the HZ-QNARE model's λ parameter is used, with values of 10 and 100, and the beginning conditions (BCs) are established as below:

    ● BC1: x(0)=032,

    ● BC2: x(0)=100132.

    You will see that we employ two BCs to confirm Theorem 4.2's findings. The results of the HZ-QNARE model are shown in Figure 1.

    Figure 1.  (1.1) error, solutions trajectories, and HEMEs of HZ-QNARE in ST 5.1.

    Example 5.2. Assume the next 10×10 real matrix:

    M=[3+η(t)1+ζ(t)/21+ζ(t)/101+ζ(t)/23+η(t)1+ζ(t)/91+ζ(t)/101+ζ(t)/93+η(t)].

    In this ST, the coefficients of ˜A(t) are set up as below:

    A1(t)=M+I10ζ(t),A2(t)=2M+I10η(t),A3(t)=3M+I10ζ(t)2,A4(t)=4M+I10η(t)2,

    and matrices ˜D(t),˜B(t), and ˜C(t) are set up as below:

    ˜D(t)=˜B(t)=010×10,˜C(t)=I10.

    Therefore, ˜D(t),˜A(t),˜B(t),˜C(t)H10×10. In order to confirm the convergence characteristics of the HZNN method, the beginning state of the HZ-QNARE model is set to x(0)=1001400. Also, the λ parameter of the HZ-QNARE model is employed with values 10 and 100, and the order p is employed with prices 2 and 4. The results of the HZ-QNARE model are shown in Figure 2.

    Figure 2.  (1.1) error, solutions trajectories, and HEMEs of HZ-QNARE in ST 5.2.

    Throughout Examples 5.1 and 5.2, the effectiveness of the HZ-QNARE (3.10) model in solving the TQNARE of (1.1) is tested. Each ST has a unique TQNARE due to the suitable matrices ˜D(t),˜B(t),˜C(t), and ˜A(t).

    It is noticeable that ˜C(t)H4×2 in ST 5.1. In other words, m=4 and n=2 in (1.1)'s TQNARE. Under λ=10, λ=100, p=2, and p=4, we have gathered the following findings regarding the HZ-QNARE model: Figure 1a exhibits the HZ-QNARE model's HEMEs. The two BC's instances in this exhibition begin at t=0 from a high error value. Notably, the beginning error value of BC2 is substantially higher than BC1's. Nevertheless, when λ=10, the HEMEs attain a negligible error value within the [104,102] interval in the BC1 paradigm at t=1 and in the BC2 paradigm at t=2. Additionally, when λ=100, the HEMEs attain a negligible error value within the [106,103] interval in the BC1 paradigm at t=0.1 and in the BC2 paradigm at t=0.2. Put another way, the HZ-QNARE model, which converges to a low value for two different BCs, validates Theorem 4.2. Figure 1b exhibits the HZ-QNARE model's (1.1) error. The outcomes shown there support those found in Figure 1a, showing that there is no difference in the solutions to (2.6) and (1.1). Trajectories representing the model's solutions are displayed in Figure 1c1f. The three imaginary and real components of the solutions are shown in these figures. It is shown that the models offer distinct solutions for a range of BCs and that their convergence to TSOL is in line with the convergence trend of the associated HEMEs.

    Further, it is noticeable that ˜D(t),˜A(t),˜B(t),˜C(t)H10×10 in ST 5.2. That is, m=n=10 in (1.1)'s TQNARE. It is crucial to notice that by setting ˜B(t)=˜D(t)=010×10 and ˜C(t)=I10, the TQNARE is reduced into a TQM inversion problem. As a result, the TSOL of the TQNARE is the inverse of ˜A(t), i.e., ˜A1(t). Under BC1 and BC2 for λ=10, we have gathered the next findings regarding the HZ-QNARE model. Figure 2a exhibits the HZ-QNARE model's HEMEs. The four instances in this exhibition begin at t=0 from a high error value and end up with a negligible value. Notably, in the paradigm of λ=10, they end up in the interval [105,103] with a negligible error value when p=2 at t=2, and at t=1.5 when p=4. In the paradigm of λ=100, they end up in the interval [107,104] with a negligible error value when p=2 at t=0.2, and at t=0.15 when p=4. Put another way, the HEME of the HZ-QNARE model, which is affected by the values of λ and p, verifies the convergence qualities of the HZNN method. Figure 2b exhibits the HZ-QNARE model's (1.1) error. The outcomes shown there support those found in Figure 2a, showing that there is no difference in the solutions to (2.6) and (1.1). Trajectories representing the model's solutions are displayed in Figure 2c2f. The three imaginary and real components of the solutions are shown in these figures. It is shown that the models offer distinct solutions for a range of BCs, and that their convergence to TSOL is in line with the convergence trend of the associated HEMEs.

    After all is said and done, the HZ-QNARE model handles two different TQNAREs fairly well. Notably, the above explanation validates the convergence properties of the HZNN approach and the conclusions of Theorem 4.2. It should be noted that the ZNN model is the HZNN under p=2 since the HZNN dynamical system of (1.4) and the ZNN dynamical system of (1.4) match for p=2. Therefore, the HZNN architecture performs better than the ZNN architecture because, at p=2, the HZ-QNARE model turns into a ZNN model, while at p>2, the HZ-QNARE model achieves better convergence. Additionally, the HZ-QNARE computational complexity is O((4nm)3), which is comparable to other ZNN models that tackle different TQM equations (see [14,15,17,18,45]).

    In this work, a new HZNN model, named HZ-QNARE, is introduced for solving the TQNARE. In order to validate the accuracy and effectiveness of the HZ-QNARE model, theoretical research and simulation experiments were carried out. These experiments' outcomes demonstrate that the HZNN design outperforms the ZNN architecture in terms of effectiveness.

    It must be noted that the recommended HZNN model has the disadvantage of being noise-intolerant because noise of any kind has a major impact on the accuracy of the suggested HZNN approach. Thus, the primary goal of future research may be to convert this model to a noise-tolerant HZNN architecture. Other than that, the suggested HZNN model may be used for a variety of additional technology-related issues in the future, such as network and power systems [46,47] and secure communications [48].

    The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

    This research was funded by Research Deanship of Hail University-KSA Project Number (RG-23 072).

    The authors declare no conflicts of interest.



    [1] S. Bernstein, Sur la d'efinition et les propri'et'es des fonctions analytiques d'une variable r'eelle, Math. Ann., 75 (1914), 449–468.
    [2] S. Guo, Some properties of functions related to completely monotonic functions, Filomat, 31 (2017), 247–254. https://doi.org/10.2298/FIL1702247G doi: 10.2298/FIL1702247G
    [3] S. Guo, On completely monotonic and related functions, Filomat, 30 (2016), 2083–2090. https://doi.org/10.2298/FIL1607083G doi: 10.2298/FIL1607083G
    [4] S. Guo, Some conditions for a class of functions to be completely monotonic, J. Inequal. Appl., 2015 (2015), 11. https://doi.org/10.1186/s13660-014-0534-y doi: 10.1186/s13660-014-0534-y
    [5] S. Guo, Some properties of completely monotonic sequences and related interpolation, Appl. Math. Comput., 219 (2013), 4958–4962. https://dx.doi.org/10.1016/j.amc.2012.11.073
    [6] S. Guo, H. M. Srivastava, N. Batir, A certain class of completely monotonic sequences, Adv. Differ. Equ., 2013 (2013), 294. https://doi.org/10.1186/1687-1847-2013-294 doi: 10.1186/1687-1847-2013-294
    [7] S. Guo, H. M. Srivastava, W. S. Cheung, Some properties of functions related to certain classes of completely monotonic functions and logarithmically completely monotonic functions, Filomat, 28 (2014), 821–828. https://doi.org/10.2298/FIL1404821G doi: 10.2298/FIL1404821G
    [8] F. Hausdorff, Summationsmethoden und momentfolgen I, Math. Z., 9 (1921), 74–109.
    [9] L. Lorch, L. Moser, A remark on completely monotonic sequences, with an application to summability, Canad. Math. Bull., 6 (1963), 171–173.
    [10] L. Lorch, D. J. Newman, On the composition of completely monotonic functions, completely monotonic sequences and related questions, J. London Math. Soc., 28 (1983), 31–45.
    [11] F. Qi, Necessary and sufficient conditions for a difference constituted by four derivatives of a function involving trigamma function to be completely monotonic, Math. Inequal. Appl., 24 (2021), 845–855. https://doi.org/10.7153/mia-2021-24-58 doi: 10.7153/mia-2021-24-58
    [12] F. Qi, Completely monotonic degree of a function involving trigamma and tetragamma functions, AIMS Math., 5 (2020), 3391–3407. https://doi.org/10.3934/math.2020219 doi: 10.3934/math.2020219
    [13] F. Qi, R. P. Agarwal, On complete monotonicity for several classes of functions related to ratios of gamma functions, J. Inequal. Appl., 2019 (2019), 36. https://doi.org/10.1186/s13660-019-1976-z doi: 10.1186/s13660-019-1976-z
    [14] F. Qi, D. W. Niu, Some logarithmically completely monotonic functions and inequalities for multinomial coefficients and multivariate beta functions, Appl. Anal. Discrete Math., 14 (2020), 512–527. https://doi.org/10.2298/AADM191111033Q doi: 10.2298/AADM191111033Q
    [15] X. F.Wang, M. Ismail, N. Batir, S. Guo, A necessary and sufficient condition for sequences to be minimal completely monotonic, Adv. Difference Equ., 2020 (2020), 665. https://doi.org/10.1186/s13662-020-03051-8 doi: 10.1186/s13662-020-03051-8
    [16] A. M. Xu, Z. D.Cen, Qi's conjectures on completely monotonic degrees of remainders of asymptotic formulas of di- and tri-gamma functions, J. Inequal. Appl., 2020 (2020), 83. https://doi.org/10.1186/s13660-020-02345-5 doi: 10.1186/s13660-020-02345-5
    [17] Z. H. Yang, J. F. Tian, Monotonicity rules for the ratio of two Laplace transforms with applications, J. Math. Anal. Appl., 470 (2019), 821–845. https://doi.org/10.1016/j.jmaa.2018.10.034 doi: 10.1016/j.jmaa.2018.10.034
    [18] Z. H. Yang, Y. M. Chu, Monotonicity and inequalities involving the modified Bessel functions of the second kind, J. Math. Anal. Appl., 508 (2022), 125889. https://doi.org/10.1016/j.jmaa.2021.125889 doi: 10.1016/j.jmaa.2021.125889
    [19] 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.
    [20] D. V. Widder, The Laplace transform, Princeton: Princeton University Press, 1941.
    [21] J. Wimp, Sequence transformations and their applications, New York: Academic Press, 1981.
  • Reader Comments
  • © 2023 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(1455) PDF downloads(38) Cited by(1)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog