Commutativity of Systems with their Feedback
Conjugates
Mehmet Emir KOKSAL

Department of Mathematics, Ondokuz Mayis University, 55139 Atakum, Samsun, Turkey
emir_koksal@hotmail.com

Abstract: After introducing commutativity concept and summarizing the relevant
literature, this work is focused on the commutativity of feedback conjugates. It is already
known that a linear time-varying differential system describing a single input-single output
dynamical system is always commutative with its constant gain feedback pairs. In this
article, it is proven that among the time-varying feedback conjugates of a linear timevarying system, constant feedback conjugates are the only commutative feedback pairs
and any of the time-varying feedback conjugates cannot constitutes a commutative pair of
a linear time-varying system.
Keywords: Commutativity, Feedback, Time-varying linear systems, Differential
equation

1. Introduction
Consider a linear time-varying Nth order (N ≥ 1) differential system A described by
𝑁

∑ 𝑎𝑛 (𝑡)
𝑛=0

𝑑𝑛
𝑦 (𝑡) = 𝑥𝐴 (𝑡)
𝑑𝑡 𝑛 𝐴

1

(1a)

where 𝑥𝐴 (𝑡) is the input, 𝑦𝐴 (𝑡) is the output of the system; 𝑎𝑛 (𝑡) are time-varying
(𝑛)
coefficients with 𝑎𝑁 (𝑡) ≠ 0 for ∀𝑡 ≥ 𝑡0 ∈ 𝑅; 𝑦𝐴 (𝑡0 ) = 𝑦𝐴𝑛 ∈ 𝑅 are the constant initial

conditions of the output and it’s derivatives up to (𝑁 − 1)𝑡ℎ order at some initial time 𝑡0 ∈
𝑅. Further, 𝑎𝑛 (𝑡) and 𝑥𝐴 (𝑡) are piecewise continuous functions from [𝑡0 , ∞) → 𝑅; this
function space is denoted by 𝑃[𝑡0 , ∞). It is well known that this system has a unique
solution for the output 𝑦𝐴 (𝑡) and it describes a dynamical system [1].
Next consider an alternate system B which is similar to Eq. (1a) with order 𝑀, 1 ≤
𝑀 ≤ 𝑁;
𝑀

∑ 𝑏𝑚 (𝑡)
𝑚=0

𝑑𝑚
𝑦 (𝑡) = 𝑥𝐵 (𝑡)
𝑑𝑡 𝑚 𝐵

(1b)

where different parameters are defined as in (1a).
When the systems A and B are connected one after the other (cascade or chain
connection [2]) to form a larger system AB or BA with input 𝑥 and output 𝑦 (𝑥 = 𝑥𝐴 , 𝑦 =
𝑦𝐵 , 𝑦𝐴 = 𝑥𝐵 for 𝐴𝐵 ; 𝑥 = 𝑥𝐵 , 𝑦 = 𝑦𝐴 , 𝑦𝐵 = 𝑥𝐴 for 𝐵𝐴), then if both of the connections
AB and BA have the same input-output pairs (x, y) for all inputs 𝑥 ∈ 𝑃[𝑡0 , ∞), we say that
A and B are commutative and (𝐴, 𝐵) constitutes a commutative pair.
The concept of commutativity was first introduced by J. E Marshall in 1977 [3].
Marshal investigated the commutativity conditions of the systems of order less or equal to
one, further he proved that for commutativity, either both systems are time-invariant or
both systems are time-varying. This general statement excludes zero-order systems which
are always commutative pairs among themselves whether they have time-invariant or timevarying gains; in the case one of the systems is a zero order system with constant scalar
gain, such a system is commutative with all time-varying systems of any order.
Later Marshall’s work of commutativity, considerable and continuing research has

2

been done on commutativity. In [4-6], the necessary and sufficient conditions for
commutativity of second order systems are presented. Koksal has presented the general
commutativity conditions for time-varying systems of any order and reformulated the
previous results obtained for 2nd order systems in the format of general conditions [7]. In
this work, the general conditions are used to show that any system with constant forward
and feedback gains is commutative with the system itself, which is an important fact for
the feedback control theory.
In 1985, Koksal prepared a technical report which is a survey on commutativity [8].
This report being summarizing all the previous results has the following original
contributions: i) An iterative formula is derived for the entries of the coefficient matrix
expressing the first set of commutativity conditions. ii) An explicit formula is given for the
entries of the coefficient matrix expressing the second set of commutativity conditions, and
thus the theorem stating these conditions is formally proved. iii) Explicit commutativity
results for 4𝑡ℎ order systems are obtained. iv) Finally, commutativity of Euler’s system is
proved.
The content of the published but undistributed work [8] can be found in journal
paper [9] which presents an exhaustive study on the commutativity of time-varying
systems. This paper is the first tutorial paper that has appeared in the literature.
More than one decade no publications had been appeared in the literature until the
work in 2011 [11]. This reference is the second basic journal publication after the first
appeared in 1988 [9]. It covers a precise summary of the previous results some of which
had not been announced widely being in an unpublished report or in a national/international
conference proceeding [10]. Commutativity in case of nonzero initial conditions,
commutativity of Euler’s systems, new results about the effects of commutativity on

3

sensitivity, the reduction of disturbance by change of connection order in a chain structure
of subsystems and the most important the explicit commutativity conditions for 5𝑡ℎ order
systems which have never been published before anywhere are among the subtitles of this
reference.
About the commutativity of continuous time linear time-varying systems, [12] has
been the last paper appearing in the literature; it deals with finding all second order
commutative pairs of a first order linear time-varying system.
Commutativity is introduced and several publications have appeared for discretetime systems as well [13, 14]. However, the commutativity of discrete-time systems is out
of the scope of this contribution.
2. Feedback Connection
Consider a dynamical system 𝐴 with input 𝑥𝐴 (𝑡) and output 𝑦𝐴 (𝑡) simply shown in
Fig. (1a). Its feedback conjugate 𝐵 involving forward path gain α(t) and feedback path
gain 𝛽(𝑡) is shown in Fig. (1b). Although feedback control theory involves many
alternatives of feedback structures and multiple feedback loops [15-17], the scope in this
paper will be confined to the basic feedback conjugate shown in this figure. It is assumed
that 𝐴 and 𝐵 are represented by the differential systems (1a) and (1b), respectively. Due to
the connection shown in Fig. (1b), the constraint equations
a)

b)

4

Figure 1: a) Dynamical system 𝐴 and b) its feedback conjugate 𝐵.

𝑦𝐴 (𝑡) = 𝑦𝐵 (𝑡),
𝑥𝐴 (𝑡) = 𝛼(𝑡)[𝑥𝐵 (𝑡) − 𝛽(𝑡)𝑦𝐴 (𝑡)] = 𝛼(𝑡)𝑥𝐵 (𝑡) − 𝛼(𝑡)𝛽(𝑡)𝑦𝐵 (𝑡)

(2a)
(2b)

reduce the representation of Eq. (1a) into the following form
𝑁

𝑎𝑛 (𝑡) 𝑑𝑛
𝑎0 (𝑡)
∑
𝑦
(𝑡)
+
[
+ 𝛽(𝑡)] 𝑦𝐵 (𝑡) = 𝑥𝐵 (𝑡).
𝐵
𝛼(𝑡) 𝑑𝑡 𝑛
𝛼(𝑡)

(3)

𝑛=1

This equation is in the form of Eq. (1b) with 𝑀 = 𝑁 and
bn (t) =

𝑎𝑛 (𝑡)
𝑓𝑜𝑟 𝑛 = 𝑁, 𝑁 − 1, ⋯ ,1
𝛼(𝑡)

(4a)

𝑎0 (𝑡)
+ 𝛽(𝑡) 𝑓𝑜𝑟 𝑛 = 0.
𝛼(𝑡)

(4b)

b0 (t) =

Since any constant gain scalar (order 0) system is commutative with any linear
time-varying system and two variable gain scalar systems are commutative among
themselves, the scope of this presentation is devoted to commutativity of two time-varying
systems at least one of them has order equal or greater than 1. Note that the subsystem A
and its feedback conjugates of type 𝐵 shown in Fig. (1b) are of the same order 𝑁, and
within the defined scope 𝑁 ≥ 1; further, it is assumed that 𝛼(𝑡) ≠ 0 identically for it leads
to a trivial system B having zero output, and 𝛼(𝑡) ≠ 0 for ∀𝑡 ≥ 𝑡0 to prevent the

5

ambiguity to be appeared in Eq. (3) and Eq. (4).
3. Commutativity of Variable Feedback Conjugates
It has been proven that any two identical linear time-varying systems with arbitrary
time-invariant forward and feedback path gains are commutative [9, 11]. This the statement
that any time-varying system is commutative with its feedback conjugates having constant
forward and feedback gains since any feedback system reduces to its original with unit
forward and zero feedback gains.
For a scalar system 𝐴, that is for systems of order 0, Eq. (1a) indicates a variable
gain scalar system and its feedback conjugate B represented by Eq. (3) is also a variable
gain scalar system. Since scalar systems are always commutative, any zero order system is
always commutative with its time-varying feedback conjugates. Further Eq. (4b) implies
that a time-varying scalar system (𝑎0 (𝑡) ≠ 0) may have a time-invariant commutative
feedback pair (let 𝛼(𝑡) = −𝑎0 (𝑡) and 𝛽(𝑡) = 𝑐𝑜𝑛𝑠𝑡𝑎𝑛𝑡 for example). The case of scalar
(zero order) systems are excluded from Marshall’s Theorem [3] and Corollary 1 of [9]
stating “For commutativity of two linear systems, it is required that either both systems are
time-invariant or both system are time-varying”; more strikingly “A time-varying system
can never commute with a time-invariant system”. Therefore the scope of the sequel is kept
in mind for systems of order 1 or greater.
We now return to the inverse problem that; is the time invariance of the forward
and feedback gains necessary for a linear time-varying system for being commutative with
its feedback conjugates?
For simplicity consider the problem for a first order system 𝐴 of which feedback
conjugates are described by a first order differential system in the form of Eq. (3) where
N = 1 and with coefficients in Eq. (4). When 𝑏1 and 𝑏0 in Eq. (4) are replaced in the

6

commutativity condition (9) in [11], we obtain
𝑎1 (𝑡)
𝑎 (𝑡)
𝛼(𝑡)
=[ 1
𝑎0 (𝑡)
𝑎0 (𝑡)
+ 𝛽(𝑡)
[ 𝛼(𝑡)
]

0 𝑐1
] [ ].
1 𝑐0

(5)

Since 𝑎1 (𝑡) ≠ 0 and 𝛼(𝑡) ≠ 0 identically, the first equation implies that 𝛼(𝑡) = 1/𝑐1
which is a constant. Further, the second equation implies 𝛽(𝑡) = 𝑐0 which is also constant.
Hence, for all the commutative feedback conjugates of A , the forward path and the
feedback path gains are constant.
For a second order system, that is for 𝑁 = 2, when the coefficients of the feedback
conjugates in Eq. (4) are substituted in the commutativity condition expressed by (10a) in
[9], the following results
𝑎2 (𝑡)
𝑎2 (𝑡)
0
0
𝛼(𝑡)
𝑐
0.5
𝑎1 (𝑡)
𝑎1 (𝑡)
𝑎2 (𝑡)
0 𝑐2
=
[ 1 ].
𝛼(𝑡)
𝑎2−0.5 (𝑡)[2𝑎1 (𝑡) − 𝑎̇ 2 (𝑡)]
1] 𝑐0
𝑎0 (𝑡)
[𝑎0 (𝑡)
4
+ 𝛽(𝑡)
[ 𝛼(𝑡)
]

(6)

Since 𝑎2 (𝑡) ≠ 0 and 𝛼(𝑡) ≠ 0 identically, the first row implies 𝛼(𝑡) = 1/𝑐2 .
Then, the second row is satisfied by choosing 𝑐1 = 0. Finally the last row yields 𝛽(𝑡) =
𝑐0 . Hence, it is obvious that the forward and feedback path gains cannot vary with time and
they are necessarily constant.
The above observations for first and second order systems are valid for higher order
systems as well. We express this fact by a theorem and prove it.
Theorem 1: Consider a non-scalar linear time-varying system described by an 𝑁 𝑡ℎ order
differential system in the form (1). Among all of its feedback conjugates with time-varying
forward and feedback gains depicted in Fig. (1b), only the ones having constant forward

7

and feedback gains are commutative with the original system.
Proof: The necessary conditions for commutativity of two Nth order systems are expressed
in Eq. (5c) in [9]. When the coefficients of the feedback system as expressed in Eq. (4) are
substituted in this equation we obtain
𝑎𝑁 (𝑡)
𝛼(𝑡)
𝑎𝑁−1 (𝑡)
𝛼(𝑡)
𝑎𝑁−2 (𝑡)
𝛼(𝑡)
⋮
𝑎1 (𝑡)
𝛼(𝑡)
𝑎0 (𝑡)
+ 𝛽(𝑡)
[ 𝛼(𝑡)
]
𝑎𝑁 (𝑡)

0

0

0

⋯

0

0

𝑎𝑁−1 (𝑡)

𝑁−1
𝑎𝑁𝑁 (𝑡)

0

0

⋯

0

0

= 𝑎𝑁−2 (𝑡)
⋮

𝑓𝑁−2,𝑁−1 (𝑡)
⋮

𝑎1 (𝑡)
[ 𝑎0 (𝑡)

𝑓1,𝑁−1 (𝑡)
𝑓0,𝑁−1 (𝑡)

𝑁−2
𝑎𝑁𝑁 (𝑡)

⋮

0
⋮

𝑓1,𝑁−2 (𝑡)
𝑓0,𝑁−2 (𝑡)

𝑓1,𝑁−3 (𝑡)
𝑓0,𝑁−3 (𝑡)

𝑐𝑁

𝑐𝑁−1
𝑐
⋯
0
0 𝑁−2
⋮
⋱
⋮
⋮
𝑐
1
1
𝑁 (𝑡)
[
𝑐
0 ]
⋯ 𝑎𝑁
0
⋯ 𝑓0,1 (𝑡) 1]

(7)

Since 𝑎𝑁 (𝑡) ≠ 0, the first equation implies α(t) = 1/cN which is a constant, with
this the second equation implies CN−1 = 0. Proceeding sequentially until the last equation
we obtain

CN−2

= 0, CN−3 = 0, ⋯ , C1 = 0 . Finally, the last equation yields β(t) = c0

which is also a constant. Hence, the proof is completed.
Next, we consider the inverse of Corollary 3 in [9] which states that any two
identical Nth order time-varying systems with arbitrary time-invariant forward and
feedback path gains are commutative. It is true that the necessity of being constant for path
gains is not required for commutativity of time-varying feedback conjugates. We state this

8

result explicitly by the following theorem.
Theorem 2: For commutativity of any two time-varying feedback conjugates of an
𝑁 𝑡ℎ order time-varying linear system, it is not necessary that their forward and feedback
path gains are constant; they should satisfy
𝛼2 (𝑡) = 𝑝𝛼1 (𝑡),

(8𝑎)

𝛽2 (𝑡) = 𝑝𝛽1 (𝑡) + 𝑞,

(8𝑏)

where 𝛼1 (𝑡), 𝛼2 (𝑡) are forward path gains; 𝛽1 (𝑡), 𝛽2 (𝑡) are feedback path gains of the
two time-varying feedback conjugates; and 𝑝 ≠ 0 and 𝑞 are some constants.
Proof: Let B1 and B2 be two time-varying feedback conjugates of A in Fig. (1) have
forward gains 𝛼1 (𝑡) and 𝛼2 (𝑡), feedback gains 𝛽1 (𝑡), and 𝛽2 (t), respectively. Rewriting
Eq. (3) for 𝐵1 and 𝐵2, we have
𝑁

𝑎𝑛 (𝑡) 𝑑𝑛
𝑎0 (𝑡)
𝑦𝐵1 (𝑡) + [
+ 𝛽1 (𝑡)] 𝑦𝐵1 (𝑡) = 𝑥𝐵1 ,
𝑛
𝛼1 (𝑡) 𝑑𝑡
𝛼1 (𝑡)

(9a)

𝑎𝑛 (𝑡) 𝑑𝑛
𝑎0 (𝑡)
∑
𝑦
(𝑡)
+
[
+ 𝛽2 (𝑡)] 𝑦𝐵2 (𝑡) = 𝑥𝐵2 .
𝐵
𝛼2 (𝑡) 𝑑𝑡 𝑛 2
𝛼2 (𝑡)

(9b)

∑
𝑛=1
𝑁

𝑛=1

Using the necessary condition expressed by Eq. (5c) in [9] by considering the
system A and B as 𝐵1 and 𝐵2, respectively, for commutativity of 𝐵1 and 𝐵2 we obtain

9

𝑎𝑁 (𝑡)
𝛼2 (𝑡)
𝑎𝑁−1 (𝑡)
𝛼2 (𝑡)
𝑎𝑁−2 (𝑡)
𝛼(𝑡)
⋮
𝑎1 (𝑡)
𝛼2 (𝑡)
𝑎0 (𝑡)
+ 𝛽2 (𝑡)
[𝛼2 (𝑡)
]
𝑎𝑁 (𝑡)
𝑎𝑁−1 (𝑡)
𝛼1 (𝑡)

=

𝑎𝑁−2 (𝑡)
𝛼1 (𝑡)
⋮
𝑎1 (𝑡)
𝛼1 (𝑡)
𝑎0 (𝑡)
+ 𝛽1 (𝑡)
[𝛼1 (𝑡)

0

0

0

⋯

0

0

0

0

⋯

0

0

𝑁−1
𝑁

[

𝑎𝑁 (𝑡)
]
𝛼1 (𝑡)

𝑓𝑁−2,𝑁−1 (𝑡)
⋮

𝑐𝑁

𝑁−2
𝑁

𝑎𝑁 (𝑡)
[
]
𝛼1 (𝑡)
⋮

0

⋯

0

⋮

⋱

⋮

1

𝑓1,𝑁−1 (𝑡)

𝑓1,𝑁−2 (𝑡)

𝑓1,𝑁−3 (𝑡)

⋯

𝑎𝑁 (𝑡) 𝑁
[
]
𝛼1 (𝑡)

𝑓0,𝑁−1 (𝑡)

𝑓0,𝑁−2 (𝑡)

𝑓0,𝑁−3 (𝑡)

⋯

𝑓0,1 (𝑡)

𝑐𝑁−1
0 𝑐𝑁−2
⋮ (10)
⋮
𝑐1
[ 𝑐0 ]
0
1
]

The first row of equation in (10) implies
1
𝑐𝑁
=
.
𝛼2 (𝑡) 𝛼1 (𝑡)

(11a)

The second equation yields 𝑐𝑁−1 = 0. Proceeding downward through the rows and
using the results previously obtained, it is found that 𝑐𝑁−2 = 0, 𝑐𝑁−3 = 0, ⋯ , 𝑐1 = 0 .
Finally substituting these values in the last row of equation we obtain
𝛽2 (𝑡) = 𝛽1 (𝑡)𝑐𝑁 + 𝑐0 .

(11b)

Finally comparing Eq. (8) and Eq. (11) it is seen that Theorem 2 is proved and p =
1/cN and q = c0 are the proper constants.
4. Conclusions
A short but comprehensive literature survey is given on commutativity. Some

10

details about the commutativity of non-scalar linear time-varying differential systems are
considered. Two theorems which complete the voids in the literature on the subject are
stated and proved.
The first theorem shows that a non-scalar linear time-varying system and any of its
feedback conjugates with time-varying forward and feedback path gains are commutative
if and only if forward and feedback path gains are time invariant.
The second theorem reveals that commutativity of feedback conjugates of a nonscalar linear time-varying system may or may not require constant forward and feedback
gains, but if they are time-varying the path gains cannot change independently so that they
are interrelated as in Eq. (8).
The theorems stated exclude constant or time-varying scalar systems which are
always commutative. However the case of non-zero initial conditions is not included in this
paper and this stems for another research subject.

Acknowledgments: This study is supported by the Scientific and Technological Research
Council of Turkey (TUBITAK) under the project no. 115E952.

REFERENCES
[1]

C. A. Desoer, Notes For A Second Course On Linear Systems, Van Nostrand
Rheinhold, New York, 1970.

[2]

R. Boylestad and L. Nashelsky, Electronic Devices and Circuit Theory, 7th Edition,
Prentice Hall, New Jersey, 2013.

[3]

E. Marshal, Commutativity of time varying systems, Electronics Letters, 13 (1977)
539-540.

11

[4]

M. Koksal, Commutativity of second order time-varying systems, International
Journal of Control, 36 (1982) 541-544.

[5]

S. V. Salehi, Comments on ‘Commutativity of second-order time-varying systems’,
International Journal of Control, 37 (1983) 1195-1196.

[6]

M. Koksal, Corrections on ‘Commutativity of second-order time-varying systems’,
International Journal of Control, 38 (1983) 273-274.

[7]

M. Koksal, General conditions for the commutativity of time-varying systems,
IASTED

International

Conference

on

Telecommunication

and

Control

(TELCON'84), Halkidiki- Greece, pp. 223-225, August 27-30, 1984.
[8]

M. Koksal, A Survey on the Commutativity of Time-Varying Systems, METU,
Gaziantep Engineering Faculty, Technical. Report no: GEEE CAS-85/1, 1985.

[9]

M. Koksal, An exhaustive study on the commutativity of time-varying systems,
International Journal of Control, 47 (1988) 1521-1537.

[10] M. Koksal, Effects of commutativity on system's sensitivity, ISLYNT'89; 6-th
International Symposium. on Networks, Systems and Signal Processing, ZagrebYugoslavia, pp. 61-62, June 27-29, 1989.
[11] M. Koksal and M. E. Koksal, Commutativity of linear time-varying differential
systems with non-zero initial conditions: A review and some new extensions,
Mathematical Problems in Engineering, 2011 (2011) 1-25.
[12] M. E. Koksal, The second order commutative pairs of a first order linear time-varying
systems, Applied Mathematics and Information Sciences, 1 (2015) 169-174.
[13] M. E. Koksal and M. Koksal, Commutativity of cascade connected discrete time
linear time-varying systems (in Turkish), 2013 Automatic Control National Meeting
TOK’’2013, Malatya-Turkey, pp.1128-1131, Sept. 26-28, 2013.

12

[14] M. Koksal and M. E. Koksal, Commutativity of cascade connected discrete time
linear time-varying systems, Transactions of the Institute of Measurement and
Control, 37 (2015) 615-622.
[15] S. Skogestad and I. Postlethwaite, Multivariable Feedback Control-Analysis and
Design, John Wiley & Sons, Chichester, 2005.
[16] J. Doyle, B. Francis, and A. Tannenbaum, Feedback Control Theory, Macmillan
Publishing Company, 1990.
[17] K. J Astrom and R. M Murray, Feedback Systems - An Introduction for Scientists
and Engineers, Version v2.10c, Princeton University Press, Ainceton and Oxford,
2010.

13

