Next Article in Journal
Investigation of Transfer Learning for Tunnel Support Design
Next Article in Special Issue
Analytical Design of Optimal Model Predictive Control and Its Application in Small-Scale Helicopters
Previous Article in Journal
Multi-Task Learning Approach Using Dynamic Hyperparameter for Multi-Exposure Fusion
Previous Article in Special Issue
A New Self-Tuning Deep Neuro-Sliding Mode Control for Multi-Machine Power System Stabilizer
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

A Mathematical Tool to Investigate the Stability Analysis of Structured Uncertain Dynamical Systems with M-Matrices

1
Department of Mathematics, AKFA University, Tashkent 111221, Uzbekistan
2
Department of Mathematics, Sukkur IBA University, Sukkur 65200, Pakistan
3
Department of Mathematics and Sciences, Prince Sultan University, Riyadh 11586, Saudi Arabia
4
Department of Industrial Engineering, OSTİM Technical University, Ankara 06374, Turkey
5
Department of Computer Science, Sukkur IBA University, Sukkur 65200, Pakistan
6
Department of Computer Science, AKFA University, Tashkent 111221, Uzbekistan
*
Authors to whom correspondence should be addressed.
Mathematics 2023, 11(7), 1622; https://doi.org/10.3390/math11071622
Submission received: 25 February 2023 / Revised: 21 March 2023 / Accepted: 22 March 2023 / Published: 27 March 2023
(This article belongs to the Special Issue Analysis and Control of Dynamical Systems)

Abstract

:
The μ -value or structured singular value is a prominent mathematical tool to analyze and synthesize both the robustness and performance of time-invariant systems. We establish and analyze new results concerning structured singular values for the Hadamard product of real square M-matrices. The new results are obtained for structured singular values while considering a set of block diagonal uncertainties. The targeted uncertainties are of two types, that is, pure real scalar block uncertainties and real full-block uncertainties. The eigenvalue perturbation result is utilized in order to determine the behavior of the spectrum of perturbed matrices ( A B ) Δ ( t ) and ( ( A B ) T Δ ( t ) + Δ ( t ) ( A B ) ) .

1. Introduction

The μ -value or structured singular value is a notable and prominent mathematical tool for analyzing both the robustness and performance of time-invariant dynamical systems appearing in control [1]. The notion of μ -value or structured singular value was first introduced and popularized by Doyle in his famous article [2]. The structured singular value quantifies the stability of time-invariant dynamical systems depending upon the structured and unstructured uncertainties, such as mixed real and complex, pure real, pure complex and a mixture of full real/complex and full real or full complex uncertainties. For practical usage of a structured singular value, we refer to [3,4,5,6,7,8,9,10,11,12] and references therein.
The computation of the definite value of an μ -value or structured singular value is very hard, in fact, NP-hard [4], and this allows the development of suitable and efficient numerical techniques for its approximation. The main objective of such numerical techniques is to approximate the computation of the μ -value or structured singular value from below or above more accurately and efficiently. The numerical approximation of a μ -value or structured singular value from below and above provides the most suitable and reliable conditions to guarantee stability and instability of time-invariant dynamical systems, respectively.
The numerical approximation of tightly structured singular values from below for the case of real uncorrelated parametric uncertainties was carried out by a numerical algorithm presented in [13], which is based on top of the simple matrix algebra operations. This new algorithm is much simpler than the already existing algorithm [14,15,16,17,18]. A non-linear programming methodology is introduced in [19] to determine the tight lower bounds when real structured uncertainties are present, and the obtained results are better than μ toolbox and GAMS optimization solvers.
A low-rank ODE-based numerical technique is presented in [20] to approximate the μ -value or structured singular values from below for LTV dynamical systems, and the obtained results match with those obtained with the MATLAB function mussv. The stability analysis of LTI dynamical systems while considering diagonal norm-bounded linear differential inclusions is studied by approximating the bounds of structured singular values [21].
In [22], it has been shown that five full block μ -values or structured singular values subject to real uncertainties are exactly equal to the computation of their upper bounds. The results are obtained by formulating the equality conditions and equality constraints as a feasibility semi-definite programming problem and invoking results on the existence of a low-rank solution. In [23], authors have given new results concerning the exact computation of the upper bounds of μ -values or structured singular values and skewed structured singular values. These results were obtained along with their dual characterizations and presented and analyzed while defining characterization in the sense that it acts as an application to the duality argument in the context of convex sets. A Newton-type method is developed in [24] to approximate the upper bounds of the largest structured singular value for a class of general mixed real and complex perturbations.
In [25], the asymptotic behavior of solution trajectories corresponding to dynamical systems is stated uniformly while introducing some new notions—”asymptotic equivalence” and ”asymptotic reduction of solution space dimension”. Furthermore, a new method to split the spaces provides an extension of the phenomenon of special solutions onto large classes of operator difference equations and provides new results for delay differential equations.
The maximal regularity properties of abstract differential operator equations corresponding to weighted spaces are studied in [26]. The idea of Fourier multiplier theorems for obtaining the coercive properties of convolution differential-operator equations (CDOEs) is applied while considering the unbounded operator coefficient in weight L p spaces.
A variable step size strategy to formulate a new step hybrid block method (VSHBM) to solve the rigid and stiff differential equations is presented in [27]. The proposed methodology is formulated by integrating the Lagrange polynomial with a limit of integration taken at some special points. The graphical illustration for the stability regions indicated that the method is suitable for dealing with dynamical systems involving rigid and stiff differential equations.
An ordinary differential-equations-based technique is developed in [28] to analyze the quadratic stability of non-linear dynamical systems. The norm-bounded linear differential inclusions are used to model the non-linear dynamical systems. Furthermore, the existence of a symmetric positive definite matrix to study the stability of non-linear dynamical systems is demonstrated by means of the Lyapunov function.
A new controller for UPQC in order to perform the power quality conditioning in microgrid is presented in [29]. This new controller improves the stability and performance towards the power quality problems.
A reduced order model is utilized to deal with the problem involving the designing of interval observer for the system described by a linear discrete-time model subject to some external disturbances and the measurement noises, for more details we refer  [30].
In  [31], an uncertainty and disturbance estimator UDE-based control is employed in order to ensure the finite-time tracking and disturbance rejection performance for a class of Takagi-Sugero fuzzy switched systems involving the unknown time-varying uncertainties.
Motivated by the above results, in this article, we present the computation of structured singular values for the Hadamard product of the given matrices A and B. The structure of A = ( a i j ) is taken such that a i j 0 , i j and a i j > 0 i = j and for B = ( b i j ) , b i j 0 , i j and b i j > 0 i = j . The set of block diagonal-structured uncertainties is of two types, that is,
1. The set of block diagonal uncertainties contains only pure real full-blocks, that is,
B 1 : = { d i a g ( Δ 1 , Δ 2 , , Δ s ) : Δ i R n × n , i = 1 : s } .
2. The set of real/complex scalar blocks uncertainties contains blocks that are real/complex scalar multiple of an identity matrix, that is,
B 2 : = { d i a g ( δ 1 I 1 , δ 2 I 2 , , δ i I i ) : δ s R , i = 1 : s } .
The novelty of this paper is providing algorithms for the computation of structured singular values and admissible perturbations for M-matrices A , B . The proposed algorithms allow us to check the behavior of the spectrum of perturbed matrices ( A B ) Δ ( t ) and ( ( A B ) T Δ ( t ) + Δ ( t ) ( A B ) ) . To the best of our observation, no result exists in the literature in this regard.
Overview of article. Section 2 of the article provides definitions of μ -values or structured singular values for pure real repeated scalar blocks and a number of real full blocks. Furthermore, the definitions of real/complex scalar block uncertainties and real full block uncertainties and four fundamental properties of μ -values or structured singular values are presented.
In Section 3, we give definitions of the spectral radius of a given matrix. Furthermore, the definition and results on the spectrum of M-matrices are presented.
In Section 4, we present some new results on μ -values or structured singular values for the Hadamard product of real squared M-matrices. The new results are presented with suitable examples with numerical tests.
Applications of structured singular values to discuss the stability of dynamical systems containing M-matrices are presented in Section 5. Furthermore, we provide Algorithm 1 for the computation of an admissible perturbation level to determine the lower bounds of structured singular values.
Algorithm 1: Approximate the perturbation level to approximate structured singular values
    procedure Given(A(M-matrix), BLK, t o l > 0 , ϵ ( 0 ) (given lower bound), ϵ l (given lower bound) , ϵ u (given upper bound), i m a x (starting number of eigenvalues))
        for i ← 1 t o i m a x d o solve the system of ODEs (4.10) in [20] corresponding to each case start from initial choice Δ i ( 0 ) .
    Let Δ i be a stationary solution and ξ i be the smallest eigenvalue corresponding to perturbed matrix I ϵ ( 0 ) A Δ i
    Set i * = a r g m i n | ξ i |
    Set Δ ( 0 ) = Δ i * , ξ ( 0 ) = ξ i , x ( 0 ) , y ( 0 ) the eigenvectors
    Compute ϵ ( 1 ) by one step Newton Iteration
    Set k = 1
    While | ϵ ( k ) ϵ ( k 1 ) | > t o l d o
    solve ODEs (4.10) in [20] with ϵ = ϵ ( k ) starting from Δ ( 0 ) = Δ ( k 1 )
    Let Δ ( k ) be a stationary solution of (4.10) in [20].
    Let ξ ( k ) be smallest eigenvalue of perturbed matrix I ϵ ( 0 ) A Δ ( k )
    if | ξ ( k ) | > t o l d o then
    Set ϵ l = ϵ ( k )
    Compute ϵ ( k + 1 ) with one step Newton Iteration.
    end procedure

2. Structured Singular Values

This section of our article is devoted to defining the structured singular value, which in fact is a map μ B ( M ) : M n ( C ( o r R ) ) [ 0 , ) and is defined below:
Definition 1.
For any M K n × n , K = C ( o r R ) , the structured singular value μ B ( M ) is defined
μ B ( M ) : = 0 , if d e t ( I M Δ ) 0 , Δ B 1 min { Δ 2 : Δ B , d e t ( I M Δ ) = 0 } , e l s e .
The set B denotes the set of uncertainties, that is, a set of block diagonal matrices. Furthermore, we use the convention that the minimum over an empty set is + . The μ B ( M ) is a positively homogeneous function, that is,
μ B ( α M ) = α μ B ( M ) .
Definition 2.
The set of pure real full blocks is defined
B 1 : = Δ 1 Δ 2 Δ s : Δ i R i × i i = 1 : s .
Definition 3.
The set of real scalar blocks is defined
B 2 : = δ 1 I 1 δ 2 I 2 δ s I s : δ i R i = 1 : s .
We give some basic but important properties of an μ -value or structured singular values deducted from the definition of an μ -value or structured singular value. For given A , B R n × n with A = ( a i j ) , a i j 0 i j and a i j > 0 i = j and B = ( b i j ) , b i j 0 i j and b i j > 0 i = j . Let B 1 and B 2 be the set of block diagonal uncertainties, then
Property 1.
μ B 1 ( α ( A B ) ) = | α | μ B 1 ( A B ) for A , B R n × n and α C . Furthermore, it holds true that μ B 2 ( α ( A B ) ) = | α | μ B 2 ( A B ) for A , B R n × n and α C .
Property 2.
μ B 1 ( A B ) = δ ¯ ( A B ) , for  A , B R n × n . Here, δ ¯ ( · ) represent the maximum singular value of A B . Furthermore, μ B 2 ( A B ) = δ ¯ ( A B ) .
Property 3.
ρ ( A B ) μ B 1 ( A B ) δ ¯ ( A B ) , for  A , B R n × n and ρ ( · ) denotes the spectral radius of ( A B ) . Furthermore, ρ ( A B ) μ B 2 ( A B ) δ ¯ ( A B ) .
Property 4.
For B 3 : = { d i a g ( δ 1 I r 1 , , δ s I r s ; δ s + 1 I n 1 , δ s + t I n t ) | δ i ( 0 , ) } and let B 3 ^ : = { U B 3 | U be a unitary matrix } . Then, for  ( A B ) , we have
max U B 3 ^ ρ ( ( A B ) U ) μ B 1 ( A B ) inf D B 3 ( D ( A B ) D 1 ) .
Furthermore,
max U B 3 ^ ρ ( ( A B ) U ) μ B 2 ( A B ) inf D B 3 ( D ( A B ) D 1 ) .

3. M-Matrices

The concept of M-matrices was introduced by Ostrowski in 1937. These matrices appear in a variety of scientific areas such as finite difference methods for partial differential equations, Markov chains in stochastic processes etc. M-matrices are helpful for establishing the bounds of the spectrum of given matrices [32]. Furthermore, such a class of matrices is helpful in providing convergence criteria for numerical algorithms to approximate the suitable and more accurate solution for large-scale sparse systems of linear equations.
Definition 4.
A real-valued square matrix A R n × n can be expressed as A = δ I B where B = ( b i j ) , b i j 0 , 1 i , j n and δ ρ ( B ) , then A is called an M-matrix.
Definition 5.
For a given matrix X R n × n ,    ρ ( X ) : = max 1 i n | λ i | with λ i Λ ( X ) eigenvalues of X and ρ ( · ) is called spectral radius.
Theorem 1.
A non-singular matrix A R n × n with a i i 0 , i j is an M-matrix if and only if A 1 0 .
Theorem 2.
Let A R n × n be a real-value-squared M-matrix, that is, A = δ I B with B 0 and δ ρ ( B ) 0 . Then
( i ) δ ρ ( B ) δ ( A ) with δ ( A ) , the spectrum.
( i i ) R e ( λ ) 0 , λ δ ( A )
( i i i ) d e t ( A ) 0 and d e t ( A ) = 0 δ = ρ ( B ) .

4. Main Results

Lemma 1.
([11]). Let M : R C n , n be a smooth matrix family and let λ ( t ) be a continuous branch of eigenvalues of M ( t ) , t R corresponding to a simple eigenvalue λ ˜ 0 of M ˜ 0 = M ( 0 ) as t 0 . Then λ ( t ) is analytic near t = 0 with
d d t λ ( t ) | t = 0 = y 0 ˜ M 1 x 0 ˜ y 0 ˜ * x ˜ 0 ,
where M 1 = d d t ( M ( 0 ) ) and x ˜ 0 , y ˜ 0 are the right and left eigenvectors of M ˜ 0 corresponding to λ ˜ 0 that is, ( M ˜ 0 λ ˜ 0 I ) x ˜ 0 = 0 and y ˜ 0 ( M ˜ 0 λ ˜ 0 I ) = 0 .
Theorem 3.
([33]). Any matrix A R m , n can be factorized as the product of an orthogonal matrix U, a diagonal matrix Σ and an orthogonal matrix V such that
A = U Σ V t .
Theorem 4.
Let
Δ ( t ) = Δ 1 ( t ) Δ 2 ( t ) Δ s ( t ) R n , n ,
and assume that ( A B ) Δ has a simple and maximum eigenvalue in terms of its absolute value, that is, λ = | λ ( t ) | e i θ , 0 θ 2 π . Let x = ( x 1 t , x 2 t , , x s t ) . Assume that λ = e i θ y * x > 0 . Then, Δ ( t ) 2 = Δ i ( t ) 2 = 1 , i = 1 : s .
Proof. 
For
Δ ( t ) = Δ 1 ( t ) Δ 2 ( t ) Δ s ( t ) ,
it is not possible to have the negative singular values, that is, δ i ( Δ ( t ) ) < 0 i . Let Δ ( t ) 2 = γ with γ R , γ 0 . This can be seen by making use of a singular value decomposition algorithm on Δ ( t ) , which yields Δ ( t ) = U ( t ) ( t ) V T ( t ) , where T represents the transpose. Hence Σ , a diagonal matrix is obtained as follows, that is,
Σ ( t ) = δ 1 ( t ) δ 2 ( t ) δ s ( t ) ,
where σ i ( t ) = λ i ( t ) , i , the singular values. By making use eigenvalue perturbation results [11], we obtain
d d t | λ ( t ) | 2 | t = 0 = 2 R e ( λ ( t ) ¯ λ ˙ ( t ) ) = 2 R e ( λ ¯ y * ( A B ) Δ ˙ ( t ) x y * x )
= 2 | λ ( t ) | R e ( y * ( A B ) Δ ˙ ( t ) x e i θ y * x ) = 2 | λ ( t ) | λ R e ( z * ( t ) Δ ˙ ( t ) x ( t ) ) .
Since, | λ ( t ) | > 0 , λ > 0 and Δ ( t ) = Δ 1 ( t ) Δ 2 ( t ) Δ s ( t ) .
Therefore, z * ( t ) Δ ˙ ( t ) x ( t ) = y * ( t ) ( A B ) Δ ˙ 1 ( t ) Δ ˙ 2 ( t ) Δ ˙ s ( t ) x ( t ) = y * ( t ) ( A B ) x ˜ ( t ) , where x ˜ ( t ) = ( Δ ˙ 1 x ( t ) , Δ ˙ 2 x ( t ) , , Δ ˙ s x ( t ) ) . Since z * ( t ) Δ ˙ ( t ) x ( t ) > 0 , which is true and in turn implies that
d d t | λ ( t ) | 2 | t = 0 > 0 ,
which leads clearly to a contradiction to the fact that λ ( t ) cannot exceed 1 t . As Δ i ( t ) 2 0 , and from above, it is evident that Δ i ( t ) 2 > 0 , which is impossible. Finally, we have that for each i = 1 : s , Δ i ( t ) 2 = 1 .    □
Example 1.
Let A = 1 2 0 1 and B = 2 1 0 2 are M-matrices and let Δ ( t ) = t 2 t 1 + t 2 t , t R + { 0 } be the admissible perturbation. The spectrum of the perturbed matrix ( ( A B ) Δ ) is obtained as non-negative, as shown in Figure 1. Furthermore, it can be seen that λ 1 ( ( A B ) Δ ) and λ 2 ( ( A B ) Δ ) have a smooth growth as t . The spectrum of ( ( A B ) Δ ) after differentiation is also positive and has a smooth growth as t . Furthermore, λ 1 ( ( A B ) Δ ) and λ 2 ( ( A B ) Δ ) satisfies the condition that d d t ( λ ( t ) ) > 0 for all t R + { 0 } .
Theorem 5.
Let the set of block diagonal uncertainties Δ ( t ) contain only pure repeated real scalar blocks, that is,
δ 1 ( t ) I 1 δ 2 ( t ) I 2 δ s ( t ) I s ,
where δ i R , i = 1 : s .
Assume that ( A B ) Δ ( t ) has simple and maximum eigenvalues in terms of absolute value, that is, λ ( t ) = | λ ( t ) | e i θ , 0 θ 2 π . Let x = ( x 1 t , x 2 t , , x s t ) and z = ( A B ) t y = ( z 1 t , z 2 t , , z s t ) . Furthermore, assume that λ = e i θ y * x > 0 . Then, Δ ( t ) 2 = δ i ( t ) I i 2 = 1 i = 1 : s .
Proof. 
Since ( δ i ( t ) I i ) can have negative eigenvalues depending on δ i ( t ) , our aim is to transform all the negative eigenvalues λ i ( t ) such that λ i ( t ) > 0 , i . Secondly, we restrict λ i ( t ) = 1 , i because of the extremality condition of λ i ( t ) . In this direction, we aim to construct an admissible perturbation matrix (say) E ( t ) , t R , and then we determine the direction D = E ˙ ( t ) , where dot operator stands for the differentiation. The computation of the derivative of E ( t ) shows how fast the negative eigenvalues move so that λ i ( t ) > 0 , i . For this purpose, we make use of the following eigenvalue problem of the form
( Δ ( t ) + ϵ E ( t ) ) x ( t ) = λ ( t ) x ( t ) ,
where ϵ > 0 is a small parameter to adjust the perturbation, and E ( t ) is the perturbation matrix. In Equation (1), x ( t ) is an eigenvector corresponding to eigenvalue λ ( t ) . Furthermore, we assume that x ( t ) 2 1 , t R . Upon differentiation with respect to t, Equation (1) takes the form,
( Δ ( t ) + ϵ E ( t ) ) d d t ( x ( t ) ) + ϵ d d t ( E ( t ) ) x ( t ) = d d t ( λ ( t ) ) x ( t ) + λ ( t ) d d t ( x ( t ) ) .
Equation (2) can also be written as
λ ( t ) x * ( t ) d d t ( x ( t ) ) + ϵ x t ( t ) d d t ( E ( t ) ) x ( t ) = d d t λ ( t ) + λ ( t ) x t ( t ) d d t ( x ( t ) ) .
Equation (3) in view of Equation (2) takes the form
d d t ( λ ( t ) ) = ϵ x t ( t ) d d t E ( t ) x ( t ) .
Take x t ( t ) d d t ( x ( t ) ) = 0 in Equation (3) and D = d d t ( E ( t ) ) = E ˙ ( t ) , which results into the following mathematical optimization problem of the form
max ( x * ( t ) D x ( t ) ) s u b j e c t t o D , E ( t ) = 0 d i a g ( D ) = 0 .
The solution of the above optimization problem yields that d d t ( λ 2 ( t ) ) > 0 , t R . This is against the extremality condition of λ ( t ) , and hence, δ i ( t ) 2 = Δ 2 = 1 , i , t R .    □
Example 2.
Let A = 3 1 0.5 1 1 2 1 1 1 2 4 1 1 1 2 7 and B = 2 1 1 0.5 1 2 0.4 1 0.5 1 2 0.1 0.2 0.2 1 2 be M-matrices. Consider Δ ( t ) = t 2 0 0 0 0 t 0 0 0 0 2 t + 1 0 0 0 0 1 + t , t R + { 0 } as the set of block-diagonal matrices. The eigenvalue λ 1 ( ( A B ) Δ ) before and after differentiation has a smooth growth as t increases. The eigenvalue λ 2 ( ( A B ) Δ ) before differentiation is obtained as positive but for t [ 0 , 5 ] it first grows rapidly and then decays. Furthermore, λ 2 ( ( A B ) Δ ) has a linear growth for t 5 . However, after the differential λ 2 ( ( A B ) Δ ) has a non-linear growth and t [ 0 , 5 ] , λ 2 ( ( A B ) Δ ) first grows monotonically with a small magnitude, then there is a sharp decay. The eigenvalues of λ 3 ( ( A B ) Δ ) and λ 4 ( ( A B ) Δ ) have a positive linear growth before differentiation but a smooth non-linear growth after differentiation, as shown in Figure 2. Furthermore, both λ 3 ( ( A B ) Δ ) and λ 4 ( ( A B ) Δ ) satisfy d d t ( λ ( t ) ) ) > 0 , t R + { 0 } . The behavior of the spectrum of ( A B ) Δ after differentiation is shown in Figure 3.
Theorem 6.
Let A = ( a i j ) R n , n with a i j 0 , i j and a i j > 0 , i = j and let B = ( b i j ) R n , n with b i j 0 , i j and b i j > 0 , i = j be real and squared valued matrices. Let ( A B ) be the Hadamard product, and then there exists Δ B with Δ 2 = 1 such that ( A B ) T Δ + Δ ( A B ) is a positive definite matrix, that is, ( A B ) T Δ + Δ ( A B ) > 0 .
Proof. 
Assume that Δ B has a block diagonal structure, that is,
Δ = Δ 1 Δ 2 Δ s ,
and further assume that λ = | λ | e i θ , 0 θ 2 π is the simple eigenvalue of ( ( A B ) T Δ + Δ ( A B ) ) , and let x = ( x 1 t , x 2 t , , x s t ) , y = ( y 1 t , y 2 t , , y s t ) and z = ( ( A B ) T Δ + Δ ( A B ) ) T y , where x and y are partitioned according to the structure of Δ and act as left and right eigenvectors, respectively. By making use of the eigenvalue perturbation result, we obtain the following result for the behavior of the maximum eigenvalue,
d d t | λ ( t ) | 2 | t = 0 = 2 ε | λ | s R e ( z * Δ ˙ x ) ,
with s = e i θ y * x , 0 θ 2 π .
In Equation (5), ε , s are positive parameters, and furthermore, R e ( z * Δ ˙ x ) > 0 and Δ possess a unit 2-norm, that is, Δ 2 = 1 . Since A = ( a i j ) with a i j 0 for i j and a i j > 0 for i = j and B = ( b i j ) with b i j 0 for i j and b i j > 0 for i = j , in turn, this implies that ( ( A B ) T Δ + Δ ( A B ) ) has positive eigenvalues, that is,
( ( A B ) T Δ + Δ ( A B ) ) > 0 .
     □
Example 3.
Let A = 1 1 0.5 1 2 1 0.2 0.3 1 and B = 2 2 0.3 1.2 1 0.5 0.1 0.5 1 be M-matrices, and let Δ ( t ) = t 2 1 + t 2 t t t 3 1 + 2 t 1 + t 2 4 t t , t R + { 0 } be an admissible perturbation.
The eigenvalue λ 1 ( ( A B ) T Δ + Δ ( A B ) ) before and after differentiation has a smooth non-linear growth for t = 1 : 50 , as shown in Figure 4. The eigenvalues λ 2 ( ( A B ) T Δ + Δ ( A B ) ) and λ 3 ( ( A B ) T Δ + Δ ( A B ) ) infinitely appear to be almost zero but then become negative as t increases. Both λ 2 and λ 3 have a decreasing monotonic behavior before differentiation. However, after the differentiation, λ 2 ( ( A B ) T Δ + Δ ( A B ) ) and λ 3 ( ( A B ) T Δ + Δ ( A B ) ) become strictly positive and possess monotonically increasing behavior, as shown in Figure 5.
Theorem 7.
Let A = ( a i j ) with a i j 0 , i j and a i j > 0 , i = j and B = ( b i j ) with b i j 0 , i j and b i j > 0 , i = j . Let A B be the Hadamard product of A and B. Then there exists a block diagonal structured matrix Δ with structure
Δ = δ 1 I 1 δ 2 I 2 δ s I s ,
where δ 1 , δ 2 , , δ s are real numbers and I 1 , I 2 , I s are identity matrices, such that ( ( A B ) T Δ + Δ ( A B ) ) > 0 , Δ 2 = 1 .
The Algorithm 2 computes the derivatives for the spectrum of ( A o B ) Δ ( t ) for the given M-matrices A and B and a set of pure real uncertainties Δ ( t ) . The Algorithm 2 demands the input arguments as the M-matrices A, B, the set of pure real uncertainties in the form of block diagonal matrices, π and a suitable choice for the parameter Θ . The output of Algorithm 2 is spectrum before and after differentiation for the modified matrices ( A o B ) Δ ( t ) and spectrum has a monotonically increasing behavior for all values of time t.
Algorithm 2: Compute the derivative of the spectrum of ( A o B ) Δ ( t ) .
Data: t R + { 0 }
           A [ 1 , 2 , · , · , · , N ; 1 , 2 , · , · , · , N ] R n , n ,   M-Matrix
           B [ 1 , 2 , · , · , · , N ; 1 , 2 , · , · , · , N ] R n , n ,   M-Matrix
           p i 3.14
           t h e t a [ 0 , 2 p i ]
           d e l t a _ t [ 1 , 2 , · , · , · , N ; 1 , 2 , · , · , · , N ] , uncertainty
Result: Spectrum before and after Differentiation
            l a m b d a _ t [ 1 , 2 , · , · , · , N ] , eigenvalues before Differentiation
            l a m b d a _ p r i m e [ 1 , 2 , · , · , · , N ] , eigenvalues after Differentiation
for       i in 1 to N :
            for    j in 1 to N :
                           diff_ i j d e r i v a t i v e o f    d e l t a _ t [ i , j ]                            diff_t[i,j] d i f f _ i j ( t )
            end for
end for
S [ 1 , 2 , · , · , · , N ] e l e m e n t w i s e m u l t i p l i c a t i o n o f A a n d B
S_ d e l t a [ 1 , 2 , · , · , · , N ] S× delta_t(t)
e i g _ v e c [ 1 , 2 , · , · , · , N ] e i g e n v e c t o r s o f S_delta
l a m b d a [ 1 , 2 , · , · , · , N ] e i g e n v a l u e s o f S_delta
y [ 1 , 2 , · , · , · , N ] 0
y [ 1 ] 1
z t r a n s p o s e ( S ) × y  
r e x p ( i×theta ) × ( y × e i g _ v e c )
for       i in 1 to N :
            l a m b d a _ p r i m e [i] 2 × a b s ( l a m b d a [ i ] ) r × (transpose(z) × d i f f _t× e i g _ v e c )
end for
Proof. 
The proof is similar to the proof of Theorem 6.    □
Example 4.
Let A = 2 0.1 0.1 0.5 3 0.2 0.5 0.2 3 and B = 3 0.5 0.2 0.1 6 0.2 0.2 0.5 1 be M-matrices, and let Δ ( t ) = t 2 0 0 0 2 t 0 0 0 t , t R + { 0 } be an admissible perturbation.
The eigenvalues λ 1 ( ( A B ) T Δ + Δ ( A B ) ) and λ 3 ( ( A B ) T Δ + Δ ( A B ) ) are obtained as positive and having smooth non-linear behavior before and after differentiation, as shown in Figure 6. The eigenvalue λ 2 ( ( A B ) T Δ + Δ ( A B ) ) remains positive for t = 0 : 4 · 5 , but then it has negative linear growth. However, the eigenvalue λ 2 ( ( A B ) T Δ + Δ ( A B ) ) , as shown in Figure 7, becomes positive, possesses a positive smooth non-linear growth after the differentiation and satisfies the criterion, that is, d d t ( λ ( t ) ) > 0 for all t R + { 0 } .
The Algorithm 3 computes the derivatives for the spectrum of ( ( A o B ) T Δ ( t ) + Δ ( t ) ( A o B ) ) for the given M-matrices A and B and a set of pure real uncertainties Δ ( t ) . The Algorithm 2 demands the input arguments as the M-matrices A, B, the set of pure real uncertainties in the form of block diagonal matrices, π and a suitable choice for the parameter Θ . The output of Algorithm 2 is spectrum before and after differentiation for the modified matrices ( ( A o B ) T Δ ( t ) + Δ ( t ) ( A o B ) ) and spectrum has a monotonically increasing behavior for all values of time t.
Algorithm 3: Compute derivative of spectrum of ( ( A o B ) T Δ ( t ) + Δ ( t ) ( A o B ) )
Data: t R + { 0 }
         A [ 1 , 2 , · , · , · , N ; 1 , 2 , · , · , · , N ] R n , n ,   M-Matrix
         B [ 1 , 2 , · , · , · , N ; 1 , 2 , · , · , · , N ] R n , n ,   M-Matrix
          p i 3.14
          t h e t a [ 0 , 2 p i ]
          d e l t a _ t [ 1 , 2 , · , · , · , N ; 1 , 2 , · , · , · , N ] , uncertainty
Result: Spectrum before and after Differentiation
           l a m b d a _ t [ 1 , 2 , · , · , · , N ] , eigenvalues before Differentiation
           l a m b d a _ p r i m e [ 1 , 2 , · , · , · , N ] , eigenvalues after Differentiation
for     i in 1 to N :
          for    j in 1 to N :
                           diff_ i j ⟵ derivative  of   d e l t a _ t [ i , j ]
                           diff_t[i,j] ⟵ diff_ i j ( t )
            end for
end for S [ 1 , 2 , · , · , · , N ] e l e m e n t w i s e m u l t i p l i c a t i o n o f    A  and   B
S_ d e l M u l A d d [ 1 , 2 , · , · , · , N ] t r a n s p o s e ( S ) × d e l t a _ t + d e l t a _ t × S
e i g _ v e c [ 1 , 2 , · , · , · , N ] ⟵ eigen  vectors  of  S_ d e l M u l A d d
l a m b d a [ 1 , 2 , · , · , · , N ] ⟵ eigen  values  of  S_ d e l M u l A d d
y [ 1 , 2 , · , · , · , N ] ⟵   0
y[1] ⟵   1
z   ⟵   transpose(Sy  
r   ⟵   exp(i× t h e t a )× ( y × e i g _ v e c )
for       i in 1 to N :
             l a m b d a _ p r i m e [i] ⟵ 2 × a b s ( l a m b d a [ i ] ) r × (transpose(z) × d i f f _t× e i g _ v e c )
end for

5. Applications

In this section, we discuss the stability of dynamical systems. The bounds of structured singular values act as tools to study the stability of the dynamical system under consideration. For this purpose, we present the numerical testing for the computation of lower bounds of structured singular values for M-matrices.
Example 5.
Consider the two-dimensional convection–diffusion equation
( u x x + u y y ) + q ( u x + u y ) + p u = f ( x , y ) , ( x , y ) Ω
u ( x , y ) = 0 , u ( x , y ) Ω ,
where Ω = ( 0 , 1 ) × ( 0 , 1 ) and Ω represent the boundary of Ω , and q is a positive constant and p is a real number. The five-point finite difference scheme for diffusion terms and central difference scheme for connective terms, with the equidistant size for h = 1 ( m + 1 ) , yields the following linear system of equations A x = d with matrix A of order n = m 2 . The matrix
A = M x I m + I m M y + p I n ,
with M x = 4 1 + r 0 1 r 4 1 + r 0 1 r 4 , N y = 0 1 + r 0 1 r 0 1 + r 0 1 r 0 .
Here, r = q h 2 is the mesh Reynolds number. For q = 0 , p = 10 , we have that
A = 14 0 0 2 14 2 0 1 14 .
The very first column of the table given below represents the block diagonal structure B L K . The notation [ r 0 ] represents the i-th block, which is an r-by-r repeated, diagonal real scalar perturbation. The notation [ r 0 ] represents the i-th block, which is an r-by-r repeated, diagonal complex scalar perturbation. The second and third columns represent the approximation of upper and lower bounds of structured singular values with a mussv function, available in the MATLAB Control Toolbox. The last column represents the computation of the lower bounds of structured singular values with Algorithm 1. In most cases, the lower bounds of structured singular values approximated by Algorithm 1 are sharper than those approximated by the mussv function.
The approximation of bounds of structured singular values for M-matrices
BLKmussv (u.b)mussv (l.b)Algorithm 1 (l.b)
[ 1 0 ; 1 0 ; 1 0 ] 15.414215.121815.1218
[ 1 0 ; 2 0 ] 15.414215.060715.0213
[ 3 0 ] 15.414215.414215.1025
[ 3 0 ] 15.414215.414215.4142
Example 6.
The positive definite matrices play an important role in discussing the stability of dynamical systems. We consider an M-matrix, which is a-symmetric, acts as a Stieltjes matrix, and is a positive definite matrix. The four-dimensional M-matrix is taken as
A = 2 1 0 0 1 2 1 0 0 1 2 1 0 0 1 2 .
The very first column of the table below represents the block diagonal structure B L K . The notation [ r 0 ] represents the i-th block, which is an r-by-r repeated, diagonal real-scalar perturbation. The notation [ r 0 ] represents the i-th block, which is an r-by-r repeated, diagonal complex scalar perturbation. The second and third columns represent the approximation of upper and lower bounds of structured singular values with the mussv function, available in the MATLAB Control Toolbox. The last column represents the computation of the lower bounds of structured singular values with Algorithm 1. In most cases, the lower bounds of structured singular values approximated by Algorithm 1 are sharper than those approximated by the mussv function.
The approximation of bounds of structured singular values for M-matrices
BLKmussv (u.b)mussv (l.b)Algorithm 1 (l.b)
[ 1 0 ; 1 0 ; 1 0 ; 1 0 ] 3.61803.61803.6180
[ 1 0 ; 2 0 ; 1 0 ] 3.61803.61803.6153
[ 1 0 ; 1 0 ; 1 0 ; 1 0 ] 3.61803.56153.5518
[ 3 0 ; 1 0 ] 3.51803.518013.5180
Example 7.
Consider the system of linear equations
( M + μ I n ) x = b ,
where the matrix M = S I m + I m S with S = t r i d i a g ( 1 , 4 , 1 ) R 3 , 3 . The M-matrix is A = M + μ I n with
A = 10 0 0 2 10 2 0 2 10 .
The very first column of the table below represents the block diagonal structure B L K . The notation [ r 0 ] represents the i-th block, which is an r-by-r repeated, diagonal real-scalar perturbation. The notation [ r 0 ] represents the i-th block, which is an r-by-r repeated, diagonal complex scalar perturbation. The second and third columns represent the approximation of upper and lower bounds of structured singular values with the mussv function, available in the MATLAB Control Toolbox. The last column represents the computation of the lower bounds of structured singular values with Algorithm 1. In most cases, the lower bounds of structured singular values approximated by Algorithm 1 are sharper than those approximated by the mussv function.
The approximation of bounds of structured singular values for M-matrices
BLKmussv (u.b)mussv (l.b)Algorithm 1 (l.b)
[ 1 0 ; 1 0 ; 1 0 ] 1211.772411.7724
[ 1 0 ; 2 0 ] 1211.812511.8041
[ 3 0 ] 121211.9532
[ 3 0 ; 1 0 ] 121211.9532

6. Conclusions

In this article, we have conferred the computation of structured singular values for M-matrices. The numerical approximation of lower bounds of structured singular values for M-matrices with respect to a set of pure real scalar blocks and full blocks are presented and analyzed. New algorithms are presented to observe the behaviors of the spectrum of perturbed M-matrices ( A B ) Δ ( t ) and ( ( A B ) T Δ ( t ) + Δ ( t ) ( A B ) ) . The numerical testing for the various examples on M-matrices agrees with the fact that:
1. The behaviors of the spectrum of ( A B ) Δ ( t ) and ( ( A B ) T Δ ( t ) + Δ ( t ) ( A B ) ) follow the extremality conditions of | λ ( t ) | for t 0 .
2. The spectrum of ( A B ) Δ ( t ) and ( ( A B ) T Δ ( t ) + Δ ( t ) ( A B ) ) remains smooth and possesses monotonically increasing behavior after differentiation.
3. The spectrum of ( A B ) Δ ( t ) and ( ( A B ) T Δ ( t ) + Δ ( t ) ( A B ) ) does contain negative values before making use of the eigenvalue perturbation results of differentiation for all t 0 .
4. The spectrum of ( A B ) Δ ( t ) and ( ( A B ) T Δ ( t ) + Δ ( t ) ( A B ) ) becomes non-negative after differentiation for all t 0 .
The computation of upper bounds of M-matrices corresponding to dynamical systems via a low-rank ordinary differential-equations-based technique is the focus of future work.

Author Contributions

Conceptualization: M.-U.R. and J.A.; methodology: M.-U.R. and S.K.; investigation: J.A. and N.F.; resources: N.F. and S.K.; writing—original draft preparation: M.-U.R. and J.A.; writing—review and editing: N.F.. and S.K. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

This not applicable to our article as we have not used and collected any data.

Acknowledgments

The authors appreciate the anonymous reviewers’ insightful comments and recommendations. J. Alzabut and N. Fatima express their sincere thanks to Prince Sultan University and OSTIM Technical University for their endless support.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Doyle, J.C.; Wall, J.; Stein, G. Performance and robustness analysis for structured uncertainty. In Proceedings of the 1982 21st IEEE Conference on Decision and Control, Orlando, FL, USA, 8–10 December 1982; pp. 629–636. [Google Scholar]
  2. Doyle, J. Analysis of feedback systems with structured uncertainties. IEE Proc. Control Theory Appl. 1982, 129, 242–250. [Google Scholar] [CrossRef] [Green Version]
  3. Bernhardsson, B.; Rantzer, A.; Qiu, L. Real perturbation values and real quadratic forms in a complex vector space. Linear Algebra Appl. 1998, 270, 131–154. [Google Scholar] [CrossRef]
  4. Braatz, R.P.; Young, P.M.; Doyle, J.C.; Morari, M. Computational complexity of μ calculation. IEEE Trans. Automat. Control 1994, 39, 1000–1002. [Google Scholar] [CrossRef] [Green Version]
  5. Butta, P.; Guglielmi, N.; Noschese, S. Computing the structured pseudospectrum of a Toeplitz matrix and its extreme points. SIAM J. Matrix Anal. Appl. 2012, 33, 1300–1319. [Google Scholar] [CrossRef] [Green Version]
  6. Chen, J.; Fan, M.K.; Nett, C.N. Structured singular values with nondiagonal structures. I. Characterizations. IEEE Trans. Automat. Control 1996, 41, 1057–1511. [Google Scholar]
  7. Guglielmi, N.; Kressner, D.; Lubich, C. Computing extremal points of symplectic pseudospectra and solving symplectic matrix nearness problems. SIAM J. Matrix Anal. Appl. 2014, 35, 1407–1428. [Google Scholar] [CrossRef] [Green Version]
  8. Guglielmi, N.; Kressner, D.; Lubich, C. Low rank differential equations for Hamiltonian matrix nearness problems. Numer. Math. 2015, 129, 279–319. [Google Scholar] [CrossRef]
  9. Guglielmi, N.; Lubich, C. Differential equations for roaming pseudospectra: Paths to extremal points and boundary tracking. SIAM J. Numer. Anal. 2011, 49, 1194–1209. [Google Scholar] [CrossRef] [Green Version]
  10. Guglielmi, N.; Manetta, M. Approximating real stability radii. IMA J. Numer. Anal. 2015, 35, 1402–1425. [Google Scholar] [CrossRef]
  11. Kato, T. Perturbation Theory for Linear Operators; Springer: Berlin/Heidelberg, Germany, 1995. [Google Scholar]
  12. Packard, A.; Doyle, J.C. The complex structured singular value. Automatica 1993, 29, 71–109. [Google Scholar] [CrossRef] [Green Version]
  13. Dailey, R.L. A new algorithm for the real structured singular value. In Proceedings of the 1990 American Control Conference, San Diego, CA, USA, 23–25 May 1990; pp. 3036–3040. [Google Scholar]
  14. de Gaston, R.R.E. Non-Conservative Calculation of the Multi-Loop Stability Margin. Ph.D. Thesis, University of Southern California, Los Angeles, CA, USA, 1985. [Google Scholar]
  15. de Gaston, R.R.E.; Safonov, M.G. Exact calculation of the multitop stability margin. IEEE Trans. Autom. Control 1988, 33, 156–171. [Google Scholar] [CrossRef]
  16. Sideris, A.; de Gaston, R.R.E. Multi variable stability calculation with uncertain correlated parameters. In Proceedings of the IEEE Conference on Decision and Control, Athens, Greece, 10–12 December 1986; pp. 766–771. [Google Scholar]
  17. Pefia, R.S.S.; Sideris, A. A general program to compute the multivariable stability margin for systems with parametric uncertainty. In Proceedings of the American Control Conference, Atlanta, GA, USA, 15–17 June 1988. [Google Scholar]
  18. Chang, B.C.; Ekdal, O.; Yeh, H.H.; Banda, S.S. Computation of the real structured singular value via polytopic polynomials. In Proceedings of the AIAA Conference on Guidance Navigation and Control, Boston, MA, USA, 14–16 August 1989. [Google Scholar]
  19. Yazıcı, A.; Karamancıoğlu, A.; Kasimbeyli, R. A nonlinear programming technique to compute a tight lower bound for the real structured singular value. Optim. Eng. 2011, 12, 445–458. [Google Scholar] [CrossRef]
  20. Rehman, M.U.; Alzabut, J.; Brohi, J.H. Computing µ-values for LTI Systems. AIMS Math 2021, 6, 304–313. [Google Scholar] [CrossRef]
  21. Rehman, M.U.; Iqbal, S.; Alzabut, J.; El-Nabulsi, R.A. Stability Analysis of LTI System with Diagonal Norm Bounded Linear Differential Inclusions. Symmetry 2021, 13, 152. [Google Scholar] [CrossRef]
  22. Troeng, O. Five-Full-Block Structured Singular Values of Real Matrices Equal Their Upper Bounds. IEEE Control Syst. Lett. 2020, 5, 583–586. [Google Scholar] [CrossRef]
  23. Rehman, M.U.; Alzabut, J.; Ateeq, T.; Kongson, J.; Sudsutad, W. The Dual Characterization of Structured and Skewed Structured Singular Values. Mathematics 2022, 10, 2050. [Google Scholar] [CrossRef]
  24. Chen, K.C.; Wang, C.S.; Yen, C.C. Numerical algorithms for the largest structured singular value of μ–synthesis control system. Taiwan. J. Math. 2010, 14, 973–998. [Google Scholar] [CrossRef]
  25. Pankov, P.S.; Zheentaeva, Z.K.; Shirinov, T. Asymptotic reduction of solution space dimension for dynamical systems. Twms J. Pure Appl. Math. 2021, 12, 243–253. [Google Scholar]
  26. Musaev, H.K. The Cauchy problem for degenerate parabolic convolution equation. Twms J. Pure Appl. Math. 2021, 12, 278–288. [Google Scholar]
  27. Sunday, J.; Shokri, A.; Marian, D. Variable step hybrid block method for the approximation of Kepler problem. Fractal Fract. 2022, 6, 343. [Google Scholar] [CrossRef]
  28. Rehman, M.U.; Alzabut, J.; Hyder, A. Quadratic stability of non-linear systems modeled with norm bounded linear differential inclusions. Symmetry 2020, 12, 1432. [Google Scholar] [CrossRef]
  29. Iqbal, A.; Waqar, A.; Madurai Elavarasan, R.; Premkumar, M.; Ahmed, T.; Subramaniam, U.; Mekhilef, S. Stability assessment and performance analysis of new controller for power quality conditioning in microgrids. Int. Trans. Electr. Energy Syst. 2021, 6, e12891. [Google Scholar] [CrossRef]
  30. Sergiyenko, O.; Zhirabok, A.; Ibraheem, I.K.; Zuev, A.; Filaretov, V.; Azar, A.T.; Hameed, I.A. Interval Observers for Discrete-Time Linear Systems with Uncertainties. Symmetry 2022, 14, 2131. [Google Scholar] [CrossRef]
  31. Sakthivel, R.; Harshavarthini, S.; Almakhles, D.J.; Kavikumar, R. Design of uncertainty and disturbance estimator based tracking control for fuzzy switched systems. IET Control. Theory Appl. 2021, 15, 1804–1817. [Google Scholar] [CrossRef]
  32. Plemmons, R.J. M-matrix characterizations. I—nonsingular M-matrices. Linear Algebra Its Appl. 1977, 18, 175–188. [Google Scholar] [CrossRef] [Green Version]
  33. Strang, G. Linear Algebra and Its Applications; Thomson, Brooks/Cole: Belmont, CA, USA, 2006. [Google Scholar]
Figure 1. Spectrum of ( A B ) Δ before and after differentiation.
Figure 1. Spectrum of ( A B ) Δ before and after differentiation.
Mathematics 11 01622 g001
Figure 2. Spectrum of ( A B ) Δ before differentiation.
Figure 2. Spectrum of ( A B ) Δ before differentiation.
Mathematics 11 01622 g002
Figure 3. Spectrum of ( A B ) Δ after differentiation.
Figure 3. Spectrum of ( A B ) Δ after differentiation.
Mathematics 11 01622 g003
Figure 4. Spectrum of ( A B ) T Δ + Δ ( A B ) before differentiation.
Figure 4. Spectrum of ( A B ) T Δ + Δ ( A B ) before differentiation.
Mathematics 11 01622 g004
Figure 5. Spectrum of ( A B ) T Δ + Δ ( A B ) after differentiation.
Figure 5. Spectrum of ( A B ) T Δ + Δ ( A B ) after differentiation.
Mathematics 11 01622 g005
Figure 6. Spectrum of ( A B ) T Δ + Δ ( A B ) before differentiation.
Figure 6. Spectrum of ( A B ) T Δ + Δ ( A B ) before differentiation.
Mathematics 11 01622 g006
Figure 7. Spectrum of ( A B ) T Δ + Δ ( A B ) after differentiation.
Figure 7. Spectrum of ( A B ) T Δ + Δ ( A B ) after differentiation.
Mathematics 11 01622 g007
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Rehman, M.-U.; Alzabut, J.; Fatima, N.; Khan, S. A Mathematical Tool to Investigate the Stability Analysis of Structured Uncertain Dynamical Systems with M-Matrices. Mathematics 2023, 11, 1622. https://doi.org/10.3390/math11071622

AMA Style

Rehman M-U, Alzabut J, Fatima N, Khan S. A Mathematical Tool to Investigate the Stability Analysis of Structured Uncertain Dynamical Systems with M-Matrices. Mathematics. 2023; 11(7):1622. https://doi.org/10.3390/math11071622

Chicago/Turabian Style

Rehman, Mutti-Ur, Jehad Alzabut, Nahid Fatima, and Sajid Khan. 2023. "A Mathematical Tool to Investigate the Stability Analysis of Structured Uncertain Dynamical Systems with M-Matrices" Mathematics 11, no. 7: 1622. https://doi.org/10.3390/math11071622

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop