Zero and root loci of disturbed spring-mass systems Academic research paper on "Physical sciences"

PROCEEDINGS THE ROYAL /A

-OF- SOCIETY ^

MATHEMATICAL, PHYSICAL & ENGINEERING SCIENCES

Zero and root loci of disturbed spring-mass systems

Christophe Lecomte

Proc. R. Soc. A 2014 470, 20130751, published 12 February 2014

References

âopen access

Subject collections

This article cites 39 articles, 2 of which can be accessed free

http://rspa.royalsocietypublishing.org/content/470/2164/2013075 1.full.html#ref-list-1

This article is free to access

Articles on similar topics can be found in the following collections

acoustics (40 articles) algebra (1 articles)

mechanical engineering (218 articles)

Email alerting service

Receive free email alerts when new articles cite this article - sign up in the box at the top right-hand corner of the article or click here

To subscribe to Proc. R. Soc. A go to: http://rspa.royalsocietypublishing.org/subscriptions

PROCEEDINGS

Downloaded from rspa.royalsocietypublishing.org on August 30, 2014

Zero and root loci of disturbed

THE ROYAL SOCIETY

rspa.royalsocietypublishing.org

CrossMark

Research _

dick for updates

Cite this article: Lecomte C. 2014 Zero and root loci of disturbed spring-mass systems. Proc. R. Soc. A 470:20130751. http://dx.doi.org/l0.l098/rspa.20l3.0751

Received: 10 November2013 Accepted: 14 January 2014

Subject Areas:

mechanical engineering, algebra, acoustics Keywords:

particle chain, complex poles, exclusion regions, atomic lattices, bubble vibration, mode veering

Author for correspondence:

Christophe Lecomte

e-mail: lecomtec@member.ams.org

spring-mass systems

Christophe Lecomte

Southampton Statistical Sciences Research Institute, University of Southampton, Southampton, UK

Models consisting of chains of particles that are coupled to their neighbours appear in many applications in physics or engineering, such as in the study of dynamics of mono-atomic and multi-atomic lattices, the resonances of crystals with impurities and the response of damaged bladed discs. Analytical properties of the dynamic responses of such disturbed chains of identical springs and masses are presented, including when damping is present. Several remarkable properties in the location of the resonances (poles) and anti-resonances (zeros) of the displacements in the frequency domain are presented and proved. In particular, it is shown that there exists an elliptical region in the frequency-disturbance magnitude plane from which zeros are excluded and the discrete values of the frequency and disturbance at which double poles occur are identified. A particular focus is on a local disturbance, such as when a spring or damper is modified at or between the first and last masses. It is demonstrated how, notably through normalization, the techniques and results of the paper apply to a broad category of more complex systems in physics, chemistry and engineering.

1. Introduction

The dynamics of collinear chains of particles has been studied for a long time. Although apparently simple, these systems exhibit remarkable properties. Their interest is not limited to the academic realm as they model the fundamental vibrations of crystals in solidstate physics [1,2], the atomic and molecular dynamics of chains of molecules in physics, chemistry and biology [3-7], as well as the behaviour of real-life objects such as structures with repetitive components or rods and beams that are widely used in engineering. They are

Royal Society Publishing

© 2014 The Authors. Published by the Royal Society under the terms of the Creative Commons Attribution License http://creativecommons.org/licenses/ by/3.0/, which permits unrestricted use, provided the original author and source are credited.

directly related to linear algebra in which they are represented by particular matrices, such as tri-diagonal, multi-diagonal, circulant or Toeplitz matrices, as well as to the theory of orthogonal polynomials. They are also often used to study or illustrate theoretical aspects like the effect of disorder on systems [8,9]. Their properties indicate how the systems can behave when used within a controlled system or when some of their components are perturbed or damaged, for example in the case of damaged bladed discs or impurities in crystals [10-15].

However simple these systems appear, however important they are and for however long they have been studied, they are still under investigation. The present contribution is notably closely related to recent work on analytical expressions of the eigenvalues, eigenvectors and inverse of tri-diagonal matrices that have two or four of their corner coefficients disturbed [16-21]. The focus here is on the location of not only poles but also zeros of the transfer functions of a disturbed system in the frequency-disturbance magnitude plane. These loci are important system properties as they notably indicate if a system is stable, observable or controllable [22-24]. The loci of zeros also allow the localization of stable and unbiased frequency points in the theory of uncertain . ^ dynamic systems [13,25]. Analytical explicit expressions of the transfer functions of the system are derived by making use of Chebyshev polynomials and low-rank updates.

After presentation of the system and resulting equations of motion in §2, the document is mainly split into the study of the nominal or undisturbed system, and that of the system with rank-one disturbance. For both, the exact expressions of all transfer functions are first presented . 7 in §3. Properties of the nominal system are then presented in §4. This includes the explicit expressions for the locations of poles and zeros of the transfer functions. Similar results and properties are presented in §5 for the disturbed system. Along the way, remarkable properties of the transfer function from the first to last mass are presented. In the case of the nominal system, it is shown in §4c that, besides the known property that this transfer function has no zero, its magnitude is also excluded from a circular region. Similarly, for the disturbed system, it is shown in §5b(i) that no zeros of this transfer function exist in an elliptical region of the real plane defined by the frequency parameter and the disturbance magnitude. Other exclusion and inclusion properties for the loci of poles and zeros are presented, such as the location of multiple poles of the disturbed system in §5a(ii).

2. Nominal and disturbed spring-mass systems

Considered is a nominal collinear system of alternating springs and masses, as illustrated in figure 1. The first and the last components of the system are springs that are connected to fixed points.

(a) Nominal spring-mass systems

From Newton's second law, the equations of motion of the masses are easily found to be m;d2X;(t)

1 dt2 = kjXj-1(t) - (kj + kj+1)x](t) + kj+1xj+1(t) + fj(t) for j = 1,..., N, (2.1)

where kj denotes the spring constants, mj denotes the masses, and Xj(t) and fj(t) are, respectively, the displacements of the masses and the external forces as a function of time, t. Note that xo(t) = XN+1(t) = 0 is defined for conciseness. The Fourier transform gives the frequency domain equations that may be expressed in compact matrix form as (K — &>2M)x(&>) = f(&>) with diagonal mass matrix M, tri-diagonal stiffness matrix K, and input and output vectors f(&>) and X(&>), respectively.

The nominal system considered here has all its masses, as well as all its spring constants, equal to each other, kj = k, j = 1,..., N + 1 and mj = m, j = 1,..., N. Based on this assumption, the matrix K is k times the tri-diagonal matrix T, which has 2's on its diagonal and —1's on its two neighbour diagonals, while the matrix M is m times the identity matrix I. It is also assumed that all the components of the force vector have the same time dependency so that one can work with the

> f - f - k3 » x *

-^m^+r h-

Figure 1. Illustration of the nominal collinear spring-mass systems for N masses.

, fN-l >- ,fN >- , jV-1 kN kN+1

Figure 2. Illustration of a regular collinear system disturbed with components added to the pair of first and last masses.

constant vector, f = [fi ... fN]T. This corresponds to an impulse force, f = f<5(t), where S(t) is the Dirac delta function. In matrix form, the nominal equations of motion are therefore

(T - ,2(=) W-( i) I

The normalized case k = m = 1 covers a wide range of cases. For example, the present case can be expressed with the normalized frequency parameter, k = &>2(m/k), force vector, f(X) = (1 /k)f(&>), and output vectors, x(k) = x(&>). There is also no restriction to undamped systems, because the generally complex frequency parameter, k, permits the consideration of damping.

(b) Disturbed spring-mass systems

Some disturbance is allowed to the nominal spring-mass systems. Specifically, a different impedance is considered for the subsystem made of the two extreme (first and last) masses, as illustrated in figure 2. This disturbance might, for example, be an additional spring connecting the two masses, a small mass added on the first mass, or an additional spring connecting the last mass to a fixed point. Any such disturbance is a priori allowed (one does not prescribe the disturbance to necessarily be a combination of springs or masses or even physically possible). In order to conveniently study its effect on the nominal system, it is expressed as the product of a unit disturbance scaled by a scalar, s. In matrix form, this results in the bi-parameter system (T — &>2(m/k)I — sS)X(&>, s) = (1/k)f, where the three normalized matrices are

"2 -1 0 ..." 1 0 ... r o -

aii aiN

T = -1 2 -1 ... , I = 0 1 ... and S = o o 0 . (2.3)

o .. .. .. aN1 o aNN

As in §2a, the normalized vectors are x(k, s) = x(a>,s) and f = (1/k)f for k = o>2(m/k). For simplicity, S is rank-one, i.e. it may be expressed as the outer product of two vectors, S = sisT.

(c) Normalized spring-mass systems

It was seen in §2a,b that the equations of motion can be written in a normalized form that is equivalent to working with unit mass and stiffness, and with a frequency parameter, k = &>2. The same normalized systems, (T — kI)x(k, 0) = f and (T — kl — sS)x(k, s) = f, are studied in the rest of the paper. They support a wide range of situations as illustrated in the following subsections. Note the mnemonic notation, T for iri-diagonal, I for identity and S for square.

/ / f- -W- y / i

/ k k k

/ / —a-( m m -B—

^ c hxc b- c ~2

fN -. k

Figure 3. Illustration of a regular damped collinear spring-mass system.

(i) First application: normalized damped system

A first normalization that involves damping is now illustrated with the damped benchmark problem schematized in figure 3. The nominal equations of motion are found to be

d2xj(t)

-tp- = k(ij+l(t) - 2xj(t) + i;-i(t)) + c y dxAt)

- kajt) - ca dt + f0),

/dij+i(t) dxj(t) dxj-i(t) — 2 1

where c is the additional damping coefficient and ka and ca are the real positive stiffness and damping coefficients of the additional local elements. This results in the nominal matrix system

(ù2 m - i^a - ka) J

(k + iùc)

x (ù, 0) =

(k + iù c)

with complex frequency argument k = (a2 m — iaca — ka)/(k + iac) and normalized force 1/(k — iac)f. Similarly, considering the disturbance leads to a non-normalized system such that

[(k + iùc)T - (ù m - iùca - ka)I - s(k + iùc)S]x(ù, s) = f.

Particular case. Equation (2.4) may appear in many contexts. It can, for example, describe the linearized behaviour of nonlinear systems around an equilibrium or solution point. Particular cases of such a situation include that of the linearized discrete form of the sine-Gordon equation d29/dt2 — d20/dx2 + sin(0) = 0 that notably appears in the modelling of magnetic flux transmission of Josephson-junction transmission lines [26]. The poles of this linearized sine-Gordon equation around soliton solutions could then provide information about the spectrum of the phonons and the corresponding eigenmodes would be the phonons far away from the solitons [27,28]. Considering equation (2.4) and disturbed spring-mass systems, such analysis could possibly involve forces, damping and disturbance.

(ii) Second application: normalized multi-degree-of-freedom system

The second normalization example and benchmark application involve non-normalized springs that are multi-degree-of-freedom (multi-d.f.) components. The particular model considered is schematized in figure 4. Each consecutive pair of the N masses is separated by an equivalent or generalized spring that consists of two masses, m\ and mj, and four springs, kx-k4. The full system has therefore more than N degrees of freedom. The transformation into the normalized form starts with the resolution of the equations of motion inside individual spring components. Looking specifically at the component between the (j)th and (j + 1)th masses and at mass j gives

— k1xj—1(a) + (ki + k2 + k4 — a2m1)yf(a) — k2yf(a) — k4xj(a) = 0, (2.7)

— k2yf(a) + (k2 + k3 — a2m2)yf(a) — k3xj(a) = 0 (2.8) and (k1 + k3 + k4 — a2 m)xj(a) = fj + k4yf(a) + k3yf(a) + k1yj+1)(a). (2.9)

Hyp "KJ^ Hyp

Figure 4. Illustration of a regular collinear system with multi-d.f. springs.

(j) (j)

Using equations (2.8) and (2.7), the internal variables, y\ (a>) and y2 (a>), can be solved in terms of the neighbouring variables, x— and Xj, and substituted in equation (2.9). Basic algebra gives, for identical mi = m2 = ms and ki = ••• = k4 = ks, and with &>s2 = ks/ms,

y%) = ■

3 - E ) Xj(m)

[(2 - o>2/^s2)xj_i(^) - (3 - o>2M2)]xjM

[xj-i(v) - (4 - ^2/«s2)xj(«)] -[1 - (2 - «2/4)(3 - ^2/«2)] j (3 - a?/w2)

[1 - (2 - ®2/®£)(3 - «2/«2)]

(2.10) (2.11)

[xj-iH + 3xj(a>) + xj+1(«)]. (2.12)

Although it may not be obvious, this equation can easily be written up in the normalized form by two operations: the multiplication of both sides by u(a>) = —[1 — (2 — a>2/rn2)(3 — a>2/rn2)]/ (3 — a>2/rns2), and the addition and substraction of 5xj(a) from the bracket [x— + 3xj + Xj+\] = [xj—1 — 2xj + Xj+1] + 5xj. This results in the desired form (T — kI)x(k) = fu(k), where k = 5 — u(a>) (3 — oj2m/ks) is a rational function of o>2 with cubic numerator and linear denominator. For each value of k equal to a pole or zero of the normalized system, it is thus possible to retrieve the corresponding values of a>2 by trivially solving a cubic polynomial.

Some care must now be taken with the right-hand side, i.e. with the normalized vector, fu(k). Its scalar magnitude can indeed be zero or infinite for discrete values of a>2 that cancel the quadratic numerator or linear denominator of u(k). Possible simultaneous cancelling of the numerator and denominator must be carefully considered as well as the a priori possible cases where a pole or zero of the system (T — kC) is neutralized, respectively, by a zero or pole of the magnitude, u(k). With these considerations, the zeros and roots of the normalized system and of the scalar function u provide all those of the non-normalized system. Note that in the case of the first benchmark, i.e. in equation (2.5), the frequency-dependent scaling function 1/(k + iox) can be neither zero nor infinite as long as the real k and c are strictly positive. All zeros and poles of the non-normalized and normalized systems (for a constant force) are therefore identical.

For the current multi-d.f. benchmark, special attention must also be paid to the additional internal d.f. In order to avoid missing internal modes, the poles of the internal systems—in the present case, the roots of the polynomial [1 — (2 — a>2 /a>l)(3 — «2/«:?)]—must be analysed. Finally, the study of the transfer functions and zeros of the normalized system provides direct information only for the main masses of the whole original system. More information is however available. For example, equations such as (2.10) and (2.11) provide all the system responses from those at the main masses. These expressions can thus be used to carry out the work of identification of zeros at the internal masses. By reciprocity, the unit transfer functions from an internal mass to a main mass can also be treated in a dual manner.

Other cases. Under the same umbrella as that of the current benchmark, multi-d.f. systems such as in figure 4 allow one to deal directly with other systems such as the one illustrated in figure 5, where a modified stiffness component (the 1 d.f. subsystem circled by a dashed line) only appears every other spring. In this case, this is simply done by using k1 = k and m1 = m. The case of diatomic or multi-atomic lattice vibrations [2] is also covered by this benchmark, for both alternating masses and alternating springs. Periodic composite materials such as those

k2 k3 ~ .. k2 k3 ~ „ k3

m m m ...

Figure 5. Illustration of a colinear spring-mass systems with alternating regular and one-degree-of-freedom springs.

described in Silva [29] and Andrianov et al. [30] can be put in the same framework. Furthermore, the present approach can be directly applied to condense macro cells of a homogeneous chain, when considering a so-called multi-field approach of vibrations as in Vasiliev et al. [31]. This can be illustrated by the case of figure 4 with m1 = m2 = m, k1 = k2 = k3 = k and k4 = 0.

(iii) Third application: bubbles vibrating in an acousticfield

The third application concerns the case of gas bubbles in water vibrating in an acoustic field. The dynamics of such bubbles is a very complex and important field of study, as its behaviour is highly nonlinear for large radial changes [32] so that it can lead to locally extreme conditions of velocity, pressure and temperature. The study of the linear vibrations of the bubble surfaces is also very important as their acoustic response, when submitted to an acoustic field, can be used as a tool to identify and count individual bubbles from a gas leakage [33]. In the presence of several bubbles, there is interaction and resonance because of coupling through radiated acoustic pressure from one bubble to the other. This effect can be modelled by this theory for the bubble vibrations in their linear regime.

The corresponding normalization is demonstrated here by starting from the coupled linearized equations of motion of two identical bubbles [34-36]

d2r1 d2r2 dr1 dr2 n

di^t) + " di^t) + 5U di (t) + S12^(t) + = Pac(t) (2.13)

d2 r2 d2 r1 dn dn o

dP"(t) + " di^t) + ^^(t) + S2^^(t) + «0^(0 = Pac(t), (2.14)

where rj denotes the variation of the radius Rj of the jth bubble compared with its equilibrium value, R0, i.e. Rj(t) = R0 + jt); a = R0/d is the ratio of this equilibrium and the distance, d, between the two bubbles; pac is a force acting on the system that is proportional to the incident acoustic field in which the bubbles are residing; and «0 is the natural Minnaert's frequency of resonance of the bubbles. The factors 8jk are coupled damping coefficients that are here chosen by symmetry, such that S12 = S21 = Sc and 822 = ¿11 = 8a.

The first step to normalization is the premultiplication of the system, expressed in matrix form, by the inverse of the matrix a = [ a a ]. In the frequency domain, this gives

(k T — «vl)r =-^[1 1]T, (2.15)

where the frequency-dependent equivalent stiffness and mass of the bubbles are k =a2 (a/(1 — a2)) — (i«/(1 — a2))(812 — a822) and ^ = (1/«2)[2k — («2/(1 — a2)) — (i«/(1 — a2))(811 — a821) + a2]. The division of both sides of this equation by k then provides the normalized equation with k = w2^,/k and right-hand side f = [1 1]Tpac/[K(1 + a)].

All analysis in this paper can therefore be directly applied to analyse the vibration of gas bubbles in liquid. In particular, all the results about the transfer functions, g1N, from the first to the last mass correspond to the transfer functions between the two bubbles in the present case, N = 2. Note that even though the boundary conditions of the bubbles might not formally be equivalent rigid attachments, this model can perfectly be used, without any approximation or error, to analyse the two bubbles. One advantage of the theoretical model of this paper is that otherwise

>1111111

Figure 6. Schematic of some fields of application of this work: (a) chain of molecules in a single-walled nano-tube; (b) vibrating diatomic lattice with alternating springs or alternating masses; (c) vibration of a bladed disc and its simplified model as a circular vibrating system; and (d) acoustically excited gas bubble in liquid.

difficult to measure properties of the bubble-fluid system can be evaluated: by matching the predicted loci of the resonances and zeros to their evaluations obtained in a well-controlled experimental set-up, the actual values of parameters such as damping can be appropriately tuned. In the context of identification of gas leaks from pipes, natural methane seeps, or from undersea carbon capture and storage facilities [33], one can also push the analysis further to assess how the cross-bubble coupling affects the acoustic scattering from an ensemble of bubbles and how the consideration or non-consideration of this coupling impacts the measurements of the number of bubbles and quantity of leaking gas. The vibrational behaviour of pairs of bubbles with regard to that of single bubbles is also important in shock wave lithotripsy [37] as the source image of a bubble close to the surface of a kidney stone is exposed to a symmetric source image.

General applicability. As illustrated in the previous sections and in figure 6, the work presented here can generally be applied and extended to various fields and the d.f. are not restricted to displacements. They may, for example, be rotations of a beam or values of the acoustic pressure at different points of a waveguide. Note that figure 6c corresponds to a circular chain with damage whose transfer functions have been studied in [13, section 5, appendix D], starting from this theory.

3. Exact expressions of the nominal and disturbed transfer functions

Considered in this section are the responses or transfer functions between a unit force applied at the kth mass and the displacement of the jth mass. Such transfer functions are denoted

j(k, s) = eT(T - kI - sS)-1ek, (3.1)

where ej is a unit vector with only non-zero coefficient at position j, in the general, disturbed, case while the nominal transfer functions in the particular case of absence of disturbance are

gj,k(k, 0) = eT(T - kl)-1ek. (3.2)

The transfer functions for general input and output vectors, f and c, are available from linear combinations of those as cT(T — kI — sS)-1f = 12j=i, ,n Hk=l, ,N cjgj,k(k,s)fk. Both the nominal and disturbed transfer functions exhibit remarkable characteristics that are presented further in the paper. Exact expressions of the transfer functions are first derived in §3b,c, by making use of their link with Chebyshev polynomials which is first explained in §3a.

(a) Transfer functions and Chebyshev recurrence relations

The nominal transfer functions have been studied at least since the time of Rayleigh. They have interesting properties by themselves because of the structure of T, which, for a fixed value of

N and k, and even with (fixed) non-zero disturbance, has the inherent recurrence relation of Chebyshev polynomials, presented here in the general case,

gj+1,k(k, s) = (2 — k)gjk(k, s) — gj—1,k(k,s) for j = 1, k,N. (3.3)

Such recurrence relations are standard in the generation of orthogonal polynomials (e.g. [38]). They are in particular the recurrence relations for the Chebyshev polynomials of second kind, Un(x), which are defined by

Uj+1(x) = 2xUj(x) — Uj—1(x) for j = 1,2,... (3.4)

together with the initial functions, U0(x) = 1 and U1(x) = 2x. An alternative trigonometric form of these polynomials is [38, eqns (22.3.16)]

sin((j + 1)$)

Note that equation (3.3) differs only from equation (3.4) by a shifting and scaling of the . ^ argument (x = 1 — k/2). This is the same kind of operation as the shift used to obtain the shifted Chebyshev polynomials (e.g. [39, p. 179]). The recurrence relations and the definitions of Chebyshev polynomials allow easy derivation of the transfer functions, as presented in the next sections.

Uj(cos(û )) = —a ' '. (3.5)

(b) Explicit expression of the nominal transfer functions

Explicit expressions of nominal transfer functions are summarized in the following lemma.

Lemma 3.1. Consider the tri-diagonal dynamic system

(T - kI)x(k) = ek, (3.6)

where T is the tri-diagonal matrix of dimension N with all twos on its diagonal and all negative ones on its neighbour diagonals, I is the identity matrix of dimension N and ek is the kth unit vector. Then, the components, gj,k(k, 0), of the response, x(k) = [gi,k(k, 0)... gN,k(k, 0)]T, are

UN-k(1 - k/2)Uj-i(1 - k/2)

gj,k(k, 0) =

gj^,0^ ' Un(i - k/2)-' f°r j =i.....k (37)

Un—j(1 — k/2)Uk—1(1 — k/2) .

gj,k(k,0) = j Un (1 — k/2)-' forj = k,... ,N, (3^

where the function Uj (x) is the Chebyshev polynomial of second kind of order j (U0(x) = 1, U1(x) = 2x, Uj+1(x) = 2xUj(x) — Uj— 1(x), for j = 1,...). By symmetry, gjk(k,0)= gkj (k,0) and gN+1—j,N+1—k(k, 0) = gj,k(k, 0) for all k, N, j, k.

Proof. For s = 0 and fixed values of N and k, one uses the notation xj(k) = gj,k(k,0) for compactness. The recurrence relations above and below row k of equation (3.6) give

xj+1(k) = 2^1 — 0 xj(k) — xj— 1(k) for j = 2,..., k — 1 (3.9)

xj— 1(k) = 2^1 — 0 xj(k) — xj+1(k) for j = k + 1,..., N — 1. (3.10)

Considering first 2 < k < N — 1, the first and last rows of equation (3.6) may be written x2(k) = 2(1 — k/2)x1(k) and xn—1(k) = 2(1 — k/2)xN(k). Along the recurrence relations, they give

xj(k) = x1(k)Uj— 1 — 0 for j = 1,..., k (3.11)

xj(k) = xN (k)UN—j M — kj for j = k,..., N (3.12)

Table 1. Samples of the nominal transfer functions from lemma 3 .1 for the normalized system.

Dim. N input k output 1 transfer function j (k,0) poles zeros

1 1 1 /(—k + 2) 2 —

2 1 (—k + 2)/ (k 2 — 4k + 3) 1,3 2

2 1/(k2 — 4k + 3) 1,3 —

3 1 (k2 — 4k + 3)/( —k + -6k2 — 10k + 4) 0.5858,2,3.4142 1, 3

2 (—k + 2)/(—k + 6k2 - 10k + 4) 0 5858, 2, 3 4142 2

3 1/(—k3 + 6k2 — 10k + 4) 0 5858, 2, 3 4142 —

2 2 (k2 _ 4k + 4)/( —k + -6k2 — 10k + 4 ) 0 5858, 2, 3 4142 2, 2

and, in particular, the expressions of x\ and xn in terms of xk, x\(X) = xk(k)[Uk—1(1 — k/2)]—1 and xn(k) = xk(X)[Un—k(1 — k/2)]—1. Substituting these in equations (3.11) and (3.12), at j = k — 1 and j = k + 1, respectively, and carrying the results in the kth row of equation (3.6), gives

xk(k) =

Uk—2(1 — k/2) 2 / k\ _ Un—k—1(1 — k/2) Uk—1(1 — k/2) ^ 2) Un—k(1 — k/2)

(3.13)

Grouping the two first terms in brackets on the right-hand side of this equation and using the recurrence relation of Chebyshev polynomials results in

xk(k) =

Uk (1 — k/2) Un—k—1(1 — k/2)

(3.14)

,Uk—1(1 — k/2) Un—k(1 — k/2) J

Combining the two terms in brackets on the right-hand side of this equation, considering the numerator, and using the following relation k — 1 times (with q = k, k — 1,... ,2 and x = 1 — k/2):

Uq(x)UN—q (x) — Uq—1(x)UN—q—1(x) = Uq— 1(x)Un— q+1(x) — Uq— 2(x)Un—q(x), (3.15) and then the recurrence relation of Chebyshev polynomials a last time, gives

Un—k(1 — k/2)Uk—1(1 — k/2)

xk(k) =

Un(1 — k/2)

(3.16)

which can then be combined with equations (3.11) and (3.12) to give the expected results for k = 2,..., N — 1. Note that equation (3.15) can be obtained by solving for 2x in the two occurrences of equation (3.4) obtained for j = N - q and q - 1, respectively.

For k = 1, the first row of equation (3.6) and equation (3.12) (which also holds for k = 1) gives xn(k) = 1/(Un(1 — k/2)) and the expected result. The same approach holds for k = N. The two symmetry properties can be readily verified from equations (3.7) and (3.8). ■

It will be shown in §4 not only that exact expressions of the poles and zeros of the transfer functions can be evaluated from the expressions of the transfer functions but also that their properties can advantageously be studied directly.

Explicit rational expressions of the transfer functions obtained by making use of lemma 3.1 are provided in table 1. While poles and zeros can be evaluated from the expressions of the numerator and denominator polynomials, this becomes unfeasible or unpractical for large dimension systems. Explicit expressions of the poles and zeros will be provided in §4a,b and will clarify some of their properties. A particular case of the transfer functions from first to last masses that will be further studied is highlighted in the following corollary.

gjAk's) = gj,k (X,0) + s

(sligj,i(X, 0) + s\Ngj,N (X, 0))(srigu(X, 0) + slNgN/k (X, 0)) 1 - s[«iigi,i(X/0) + aiNgi,N(X,0) + aNlgN,l(X,0) + aNNgN,N(X, 0)]

(3.19)

The nominal transfer functions are available from lemma 3.i. For the case i < j < k < N, one has gj,k(X,0) = UN-kUj-i/UN and the relations of corollary 3.2. Substituting these expressions in equation (3.i9) gives equation (3.i7). Equation (3.i8) is obtained similarly. ■

Particular cases appear. If j < k, one sees from expression (3.i7) that the coefficient of aii disappears if j = i, while those of aNN or a in disappear if k = N or j = k, respectively. Similarly, for j > k, aii, aNN or aiN disappear if, respectively, k = i, j = N or j = k.

Corollary 3.2. Equations (3.7) and (3.8) collapse to gk,i(X,0) = gi,k(X,0) = Un^/Un, gk,N(X,0) = gN,k(X,0) = Uk-i/Un, gi,i(X,0) = gN,N(X,0) = Un-i/Un, and gN,i(X,0) = gi,N(X,0) = 1/Un where, for brevity, Uj denotes the value Uj(1 — X/2).

(c) Explicit expression of the disturbed transfer functions

The following theorem provides the disturbed transfer functions for any values of s, N and k.

Theorem 3.3. Consider the dynamic system (T — XI — sS)gk(X,s) = ek, where T is the tri-diagonal matrix of dimension N with all twos on its diagonal and all negative ones on its neighbour diagonals, I is the identity matrix of dimension N, S = sjsjF is a rank one disturbance matrix, such that sr = sriei + srNeN and si = siiei + sin eN, and ej denotes the jth unit vector. Denote anm = s\msrnfor n, m = 1, N. The components, gj,k(X, s), of the response vector, gk(X, s) = [gi,k(X, s) ... gN,k(X, s)]T, are

gj,k(K s) = q(X s) i UN—kUj— 1 + s[a11(UN—kUN—j - UN—kUj—1 UN— 1)

+ aNN(Uj— 1 Uk— 1 - UN-kUj-1UN-1)a1N(UN-jUk-1 - UN-kUj-1)]}, (3.17)

for j = 1,..., k, and . 1

gj,k(X, s) = Q(X s) i UN—j Uk— 1 + s [a 11(UN—j UN—k - UN—j Uk— 1UN— 1)

+ aNN(Uj-iUk-i - UN—j Uk— i Un— i) + aNi(Uj-iUN-k - UN-jUk-i)]}, (3.18)

for j = k,..., N, and, in both cases, Q(X, s) = Un — s[(aii + aNN)Un—i + (aiN + aNi)].

Here, for brevity, Uj denotes the value Uj(1 — X/2) where Uj(x) is the Chebyshev polynomial of second kind of order j (Uo(x) = 1, Ui(x) = 2x, Uj+i(x) = 2xUj(x) — Uj—i(x), for j = 1,...).

Proof. The disturbed transfer function may be expressed as a rank-one update of the nominal transfer function (details of this may be found in [13,25]), which gives

4. Properties of the nominal transfer functions

The expressions of lemma 3.1 are completely general for any regular collinear system that has identical point elements and connectors between two neighbour elements, independently of their physical nature or the real or complex value of their parameters.

The availability of the exact expression of the responses, particularly in terms of Chebyshev polynomials, allows the identification of properties of the nominal system. Some of these are now presented and then illustrated on the damped benchmark and multi-d.f. problem introduced in §2c(i),(ii). A particular focus is on the position of poles and zeros.

real part of frequency, real (w.)

real part of frequency, real (w)

Figure 7. Loci of the (a) five pairs of roots and (b) three pairs of zeros of the damped benchmark for N = 5, k = 0 .—, m = 1.3, c = 0 .4, ka = 0 .5 and ca varying from 0 to 2 . 15 . The circles, crosses and squares indicate the locations, respectively, for ca = 0 and the two smallest critical values of the poles, ca = 1.—83— and 2.0980, while the stars indicate the location of the zeros at their first critical value, also at ca = 2.0980.

(a) Location of nominal poles

For the poles of the nominal system, one has the following result, which can be, and has been, derived by various methods. Notably, the poles are the eigenvalues of the tri-diagonal matrix T and they are the roots of a shifted Chebyshev polynomial [38, eqn 22.16.5].

Corollary 4.1. Using the same notations as in lemma 3.1, for a given value of N, the poles of any transfer function, g(k,0) = cT(T — kI)—1f, share the same poles which are the roots of the shifted Chebyshev polynomial of second kind and order N, Un(1 — k/2). In particular, these roots, kj = 2 + 2 cos (jn/(N + 1)), j = 1,..., N, are real and all located within the finite range 0 < k < 4.

Proof. Trivially, from lemma 3.1, since all g(k, 0) are rational polynomials with denominator [Un(1 — k/2)]. The roots, cos (jn/(N + 1)), of Un(.) can easily be obtained from equation (3.5). ■

The fact that all poles are known and real can be used to derive properties of any particular system that may be expressed as the nominal system. This is illustrated on two applications.

(i) Damped benchmark

In the case of the damped benchmark problem, the Chebyshev polynomials have argument

A _ (k + ka/2) + m(c + Ca/2) - m2 m/2 2 k + iac

[(k + ka/2 - m m/2)k + m2(c + ca/2)c + M/2[cak - kac + m2 mc]]

(k2 + M2C2) ■

Inverting this relation, the characteristic equation m2 m - i(Xc + ca)&> — (Xk + ka) = 0 follows. There are therefore two possible values of m corresponding to any value of X,

M1,2(X) =

i(Ac + Ca) ± 4(Xk + ka)m - (Xc + Ca)2

As all poles, in the k domain, are in the open real interval 0 < k < 4 and since (kjk + ka)m > 0, their corresponding values «1,2 (kj) in the rn domain have a strictly positive imaginary component as long as c or ca > 0. The critical damping, c or ca, can be identified by the value (kc + ca)crit = 2/Rxk + ka)m] that separates regions where the argument of the square root is positive or negative. When the argument is negative, the «-eigenvalue is overdamped, i.e. purely imaginary so that the corresponding modal component of an impulse response is non-oscillatory in nature. In general, the critical damping values vary from one eigenvalue to another. This is illustrated by the root loci of figure 7 for N = 5 and varying values of the additional viscous parameter, ca.

The poles for ca = 0 are «^(Xj) = {±0.7261 + 0.0412i, ±0.9484 + 0.1538i, ±1.1691 + 0.3077i, ±1.3368 + 0.4615i, ±1.4368 + 0.5742i}, and the corresponding critical values are ca = {1.7837, 2.0980,2.3432,2.4770,2.5302}.

(ii) Multi-degree-of-freedom benchmark

Turning to the particular multi-d.f. benchmark, there is a total of 3N + 2 masses for N main masses. For N = 3 and 11 masses, there are three roots of the normalized system, X = 2 + 2 cos (jn / (N + 1)) for j = 1,..., N, i.e. X = 0.5858,2.0000,3.4142. Then, solving X = 5 -u(«)(3 — a2m/ks) for a2 provides nine root values of a2. The consideration of the additional roots of the polynomial [1 — (2 — «2/«2)(3 — a2/«2)], as discussed in §3b, provides a supplement of two poles, a? = 1.3820«:?, 3.6180«:?, that correspond to X = 5. The last possibility of resonance cancels the denominator of the right-hand side of equation (T — XI)x = fu at a2 = 3as2. For particular values of m = 2, ms = 3 and ks = 0.7, this corresponds to a degenerate equation with X = <. There is no additional resonance as expected, and the whole set of 11 poles is a2 = {0.0313,0.1126,0.2039,0.3225,0.7381,0.7496,0.7709,0.8442,1.2419,1.3545,1.4472}.

(b) Location of nominal zeros

Contrarily to the poles that are identical for any transfer function, the location of zeros varies from one transfer function to the other depending on the particular input and output vectors. The number of zeros itself may vary from as much as N — 1 to as little as zero. Using lemma 3.1, some properties of the zeros of the mass to mass transfer functions, gjk(X, 0), are now derived.

Corollary 4.2. Using the same notations as in lemma 3.1, for a given value of N, the zeros of the transfer functions, gj,k(X,0) = eT(T — XI)-1ek, are the union of the roots of two shifted Chebyshev polynomials of second kind, Umi(1 — X/2) and UmN(1 — X/2), of respective orders mi = min(j — 1, k — 1) and mN = min(N — j, N — k). These zeros, {X^"1' = 2 + 2 cos (mn /(mi + 1)), m = 1,..., mi} and iXm ^ = 2 + 2 cos (mn / (mN + 1)), m = 1,..., mN}, are real and located within the finite range 0 < X < 4.

Proof. Trivially from the lemma and the evaluation of the roots of the two Chebyshev polynomials at the numerator of the transfer functions. ■

The existence and location of the zeros appear to be slightly more elusive than those of the poles. This is particularly true when general input and output vectors, f and c, are selected. Even if such vectors were real, there would be no insurance that the zeros of the transfer function g(X, 0) = cT(T — XI)-1f would be real. This might seem a contradiction as this transfer function would be a linear combination of real polynomials with real poles and zeros, but is simply explained by the fact that any given real polynomial of order N — 1 or less may be generated as a real linear combination of the numerator of the nominal transfer functions gj,k(X, 0) = eT (T — XI)-1ek, and that polynomials with real coefficients may have complex roots.

The general case does not preclude the existence of properties in particular cases. In corollary 4.2, for unit input and output vectors, one has full information on the existence and location of zeros. This includes the following results.

Corollary 4.3. Corollary (4.2) shows that the zeros of the nominal transfer functions gj k have double multiplicity when j — 1 = N — k. Higher multiplicities are impossible.

Corollary 4.4. Corollary (4.2) shows that there is only one finite zero of the transfer function between the first to the penultimate masses of the system. Furthermore, this zero is simply at frequency X = 2.

As for the case of poles, results of corollary 4.2 can be applied to any system that may be expressed in the form of the nominal system. This allows one to draw conclusions on the location of zeros for a wide range of problems. For example, in the case of the damped benchmark problem, one can use the inverted relation (4.3) and the discussion that follows to prove that all zeros of this problem are complex, with a strictly positive imaginary component as long as c or ca > 0.

Additional information may be obtained from Chebyshev polynomial properties.

(i) Damped benchmark

In the case of the damped benchmark for N = 5 and considering the transfer function from the second to the third masses, g2,3, there are three a priori zeros, which are plotted in figure 7, as mi = 1 and mN = 2. One can, however, note that each pair of zeros coincides with and therefore cancels a pair of poles. This corresponds, in the case of the first zero, to the value (j = 4)/(N + 1), which equals (j = 2)/(mN + 1) = 2/3. The cancelling of the poles by a zero in the transfer function between the second and the third masses for N = 5 is a general property that is independent of the parameter values, k, c, ka,.... The critical values at which the zeros have or not a real part are : g defined by the same equation in terms of X as that for the critical values of the poles.

While all zeros of all transfer functions from one to another mass coincide with poles in the case N = 5, its other transfer functions g2,2, g3,3, g4,4, g2,4, g4,2 still exhibit actual zeros because of their double multiplicity. The case N = 5 is somewhat particular, as, in general, not all zeros of unit transfer functions coincide with poles. For example, there is no such coincidence for N = 4.

(ii) Multi-degree-of-freedom benchmark

Considering the multi-d.f. benchmark, again for N = 3 and a total of 11 masses, all the zeros of the unit transfer functions between the third, sixth and ninth masses are provided by corollary 4.2. The only possible cases where zeros of unit transfer functions between the main masses may exist correspond to non-zero values of m\ and mN. This can only happen when j or k = 2, i.e. when the second main mass, i.e. the sixth mass, is involved, at the location X = 2 + 2 cos(n/2) = 2. This zero is cancelled by a pole for g1,2 and g2,3, so that the only actual zero with double multiplicity is only present in the transfer function g2,2 at the sixth mass. The additional possibility of zeros between the three main masses has to be considered in the case where the numerator of uu(a>) cancels on the right-hand side of (T — XI)x = fu. For m = 2, ms = 3 and ks = 0.7, this happens at the locations a>2 = 1.3820«2,3.6180«! where X = 5. These are actual zeros, as X = 5 is not a root of the normalized system, and the denominator of U(a>) does not cancel at these zeros.

(c) Magnitude of the nominal transfer functions

The focus of this section is on the particular transfer function from the first to the last masses. As it is the inverse of a Chebyshev polynomial, as presented in corollary 3.2, its properties may be obtained directly from properties of these polynomials. In particular, the following well-known equioscillation property leads to the fact that, in the range of real parameter X e [0,4], the transfer function is outside an ellipse.

Lemma 4.5. The scaled Chebyshev polynomial of second kind, -\J1 — x2 Uj(x), equioscillates j +1 times between —1 and 1 in the range x e [—1,1]: it has (j +1) local extrema in this range and their values alternate between —1 and 1 for increasing values of x. The extrema occur at xm = cos(((j — m + 3/2)n)/(j + 1)),m = 1,...,j + 1 and the last extremum is a maximum,

-J1 — xj+1 Uj(xj+1) = 1

Proof. In the range x e [—1,1], 0 = acos(x) is real and decreases from n to 0. From equation (3.5), one sees that the scaled function 1 — x2 Uj(x) is sin((j + 1)0), whose alternating extrema —1 and 1 are reached at (j + 1)0 = (j + 1 /2)n, (j — 1 /2)n,... ,1/2n. ■

The scaled Chebyshev polynomials of second kind are presented in figure 8 for the few first orders. The reader intrigued by the 'white curves' in this figure is referred to an 'asin-acos' version of the plots where the curves are straight lines and to Ortiz & Rivlin [40], where this phenomenon is explained. Such properties of the scaled Chebyshev polynomials translate into properties of the transfer functions. Notably, lemma 4.5 allows one to identify properties of the magnitude of the g1,N(X, 0) transfer function as shown in the below corollary of the lemma and corollary 3.2.

-0.5 0 0.5 argument, x

-1.0 -0.5 0 0.5 argument, x

Figure 8. Illustration of scaled Chebyshev polynomials Vl - x2Uj (x) for j = 0,... ,4in (a), and j = 0,... ,29in (6), as a function of x = 1 - k /2. The points corresponding to the loci of the last roots are indicated by squares in (a).

c. n 0

« n -2

tra -3

gN,1 exclusion ■

-1 0 1 2 3 4 5 frequency parameter, l

Figure9. Illustration ofthe exclusion zoneforthe values of the nominal transferfunction gN1 for N = 7. No values (X, 2gN1(X)) can lie within the exclusion circle and gN1(k) is tangent to this zone at eight points marked by squares.

Corollary 4.6. Using the same notations as in lemma 3.1, for any real value X e [0,4], the absolute value of the transfer function, gN,i(X,0) = eN (T — XI)-1ei, from the first to the last degree of freedom, is larger than tJ 1 — (X/2 — 1)2. In other words, in the real plane, all points (X,2gN,i(X,0)) are outside a circle of radius 2 centred at (2,0). The transfer function is tangent to this exclusion region at the points Xm = 2 — 2cos(((N — m + 3/2)n)/(N + 1)),m = 1,...,N + 1. Also, this transfer function has no finite zero.

Although lemma 4.5 is trivial and has been previously noted, as incidentally in [41], property 4.6 of the transfer function appears to not have been identified before. The exclusion zone of the magnitude of the transfer function gN,i is illustrated in figure 9 for N = 7. For any other system dimension, N, there will be N + 1 tangency points between the same exclusion zone and the transfer function. They are to be put in the light of those of the scaled Chebyshev polynomial to the constant lines 1 and —1 illustrated in figure 8. Their location at equiangles of the exclusion zone in the X-2gN,i plane is evident from their expression in theorem 4.6.

5. Properties ofthe disturbed transfer functions

The properties of the disturbed transfer functions may be derived from their exact expressions given in theorem 3.3. As previously, the focus is now on the location of poles and zeros.

(a) Location of disturbed poles

The locations of poles of the disturbed transfer functions vary depending on the particular disturbance vectors dl and dr but, for any choice of these and a given magnitude, s, they are identical for all transfer functions. They are characterized by a necessary zero denominator

Q(X,s), Q(X,s) = Un(1 — X/2) — s[(an + aNN)Un—1(1 — X/2) + (a1N + aN1)] = 0 and are therefore the zeros of a polynomial of order N in X. An alternative point of view is to consider Q(X, s) to be a function of s (at a fixed value of X). Two cases may happen: either both Un(1 — X/2) and the coefficient of s are zero, in which case any value of s corresponds to a pole, or there is just one pole which is the single root of the polynomial of order 1 in s. The first case might only happen at a finite number of values of X as Un(1 — X/2) and [(an + aNN)Un—1(1 — X/2) + (a1N + aN1)] are polynomials in X of order N and N — 1, respectively, which therefore have only N and N — 1 zeros each. An example of the first case is given below. In the second case, the poles are simply defined by the roots, as a rational function of X. This is expressed in the following theorem, whose proof is trivial.

Theorem 5.1. Using the notations and assumptions of theorem 3.3, for any vectors c, f and values of anm 's, all poles of the transfer function c (T — XI — sS)—'f are identified by either the function

s(X) =

UN(1 — X/2)

[(an + ann)un-I(1 - X/2) + (ащ + аш)]

for any value of X, or any value of s at the discrete values of X, if any, that cancel both the numerator and denominator ofexpression (5.1).

The following particular case, which includes additional springs or dampers connecting the first and last massses, is remarkable.

Theorem 5.2. Using the notations and assumptions of theorem 3.3, if sr1 = —srN or sn = —sin then the poles, X, of the transfer function g(X, s) = c1 (T — XI — sS)—'f are equal to

Xk = 2(1 — cos (0k)) where 0k =

n (1 + 2k) N + 1 '

k=О,...,fl

for any value of s and

s(X) =

1 sin (((N + 1) /2)acos(1 — X/2)) tr(S) sin (((N — 1)/2)acos(1 — X/2))

where tr(S) = ац + aNN

for any value of X. The 'floor' value fl((N — 1)/2) is (N — 1)/2 if it is an integer, or N/2 — 1, otherwise. Note that the value of S could be expressed as a ratio of Chebyshev polynomials of second kind with half orders

S(X) =

1 U(N—1)/2(1 — X/2) tr(S) U(N—3)/2(1 — X/2).

Proof. In either case of equation sr1 = —srN or sn = —sin, one has (an + aNN) = —(a1N + aN1). The denominator Q(X, s) of the transfer functions with unit input and output vectors described in theorem 3.3 is therefore equal to

Q(X, s) = Un[ 1 — 2 )— s tr(S)

Un—1(1 — 2 I — 1

It is a polynomial of strict order N in X and therefore has exactly N roots which are the poles of the transfer functions. By definition of the Chebyshev polynomials of second kind, Un (1 - X/2) = sin [(N + 1)0]/sin (0) where 0 = acos(1 - X/2) so that

Q(X, s) =

{sin [(N + 1)0 ] — s tr(S)[sin (N0 ) — sin (0 )]} sin(0) '

As X is a function of cos(0 ), the poles can be identified by the unique values of 0 in the interval [0, n] that cancel the right-hand side of equation (5.6). Particular attention is paid to the values

0 = 0 and n as they also cancel the denominator sin(0). Looking at the numerator, the sinusoidal terms can be developed as [38, eqns(4.3.24/35)]

sin [(N + 1)0] = 2 sin ^0 j cos ^0 j (5.7)

sin (N0) - sin (0) = 2 sin ^ N—10 j cos ^ N+1 0^, (5.8)

which shows that Q(X, s) =

2COS(^ - str(S)sin ^N—~ j sin(6)• (5-9)

This shows two things, when N = 2k is even: on the one hand, XN/2=k = 4 is not a pole for all values of s but, on the other hand, the pair XN/2=k = 4, s = — 1/tr(S) is always a pole—this is a particular case of equation (5.1) for any value N.

Now, looking at the term of equation (5.9) in brackets, in the interval 0 <0 <n, each of its roots corresponds to a pole since sin(0) > 0 in the selected interval. If both sinusoidal terms in the brackets were zero at the same time, one would have 0 = 2n k/(N + 1) for k = 1,2,... ,fl(N/2) at the same time as sin [(N + 1)0/2] - sin [(N - 1)0/2] = 0, i.e. simultaneously to [38, eqn(4.3.35)]

N^ sinQ0^ = 0. (5.11)

The sine term cannot cancel as its argument is 0 <0/2 <n/2. The cosine term cancels if its argument (N/2)0 = n kN/(N + 1) is equal to n/2 + jn where j = kN/(N + 1) - 1/2 is an integer. This is however impossible since kN/(N + 1) < k as long as N > —1 and kN/(N + 1) = k — k/(N + 1) > k — 1/2 since k < fl(N/2). Therefore, the term in brackets in equation (5.9) can only cancel in the interval 0 <0 <n when

s sin (((N + 1)/2)0) _ sin (((N + 1)/2)acos(1 - X/2))

() sin (((N - 1)/2)0) sin (((N - 1)/2)acos(1 - X/2))' (. )

The only values of 0 that cancel the sine terms and have not yet been considered are 0 = 0 and also 0 = n if N is odd. These values however also cancel the denominator in equation (5.9) and the actual non-zero values of Q(X, s) are found to be the following by L'Hospital's rule:

Q(X,s) = 2( - s tr(S)N—1) if 0 = 0 (5.13)

Q(X,s) = —2 ^- s tr(S)if 9 = n and N is odd. (5.14)

In both cases, it is generally non-zero, except at s = [(N + 1)/(N — 1)]/tr(S), which also corresponds to equation (5.1). All poles have thus been identified. The transfer function with general vectors c and f has the same poles as those with unit vectors. ■

Several general properties of the location of the poles can be derived. These include locations where a pole will always be present and the opposite of regions from which poles are excluded. The location of multiple poles and the real or complex character of the poles are also properties important to know in control. A sample of such properties are proved in §5a(i)-(iii). While these

The cosine function is zero for all values Ok, k = ..., —1,0,1,.... Those, however, only correspond to distinct real zeros, Xk, of Q for the fl((N + 1)/2) values, k = 0,..., fl((N - 1)/2). This is due . ?o to the cyclicity of cos(0) and because the case k = N/2 for even N cancels both the numerator and the denominator in equation (5.9). In the latter case, L'Hospital's rule gives

rvi ^ limp (d/d0 ){2cos(((N + 1)/2)0)[...]} , M ft.,m

Q(Xn/2, s) =-r---= (N + 1)(1 + s tr(S)) for even N. (5.10)

lim0 (d/d0 ){sin (0)}

N = 4-

common, N =2,4 |~~| common, N even ^

-1 0 1 2 3 4 5 frequency parameter, l

Figure 10. Location of poles in the case of corollary 5.3, for N = 2,4 and tr(S) = 2.4. The point p4 is the only pole common to all even values of N.

results can be directly applied in the situation of any systems that can be normalized, they can also be extended by following strategies similar to those used in the proofs.

(i) Fixed location of poles for any system dimension

The following corollary of theorem 5.2 identifies fixed pole locations for any system dimension. Corollary 5.3. Using the notations and assumptions of theorem 3.3, ifsr\ = —srN or sn = —sin then

(i) for any even N = 2k, k = 1,2,..., the pair (XN/2=k = 4, s = — l/tr(S)) corresponds to a pole;

(ii) for any odd N = 2k + 1, k = 0,1,..., the pair (X = 2, s = 0) corresponds to a pole.

Furthermore, in either case, these poles are the only ones that are independent of the particular, respectively, even or odd values of N.

Proof. That the pair (Xn/2=k = 4, s =—1 /tr(S)) is a pole for any even dimension N = 2k was noted in the proof of theorem 5.2 and it can easily be checked from equation (5.3).

If N = 2k + 1 is odd, then corollary 4.1 shows that Xj=k+i = 2 is a nominal pole, i.e. it is a pole at s = 0. Alternatively, two situations can be considered in the odd N case, using theorem 5.2. First, if N = 4 m + 1 for m = 0,1,2,..., equation (5.2) with k = 2 m shows that Xk=2 m = 2 is a pole for any value of s, therefore also for s = 0. Second, if N = 4 m + 3 for m = 0,1,2,..., equation (5.3) shows that s(X = 2) = {sin[(m + 1)n ]/sin[(m + 1/2)n ]}/tr(S) = 0.

The unicity of the invariant points for varying even or odd N is proved by examining different values of N. First, for odd N, there is only one possible pole for N = 1, i.e. X0 = 2, for any s. This is a different Xk value from those for N = 3.

Second, for even N and referring to figure 10, the poles for N = 2 are along two lines in the real X,s plane: 'L\ such that X0 = 1 for any s and L2' such that s = 1/tr(S)(3 — X). (Note that, in order to show the latter, one can apply 2cos2(y) = 1 + cos(2y) and sin(y + 1 /2y) = sin(y) cos(1 /2y) + cos(y) sin(1 /2y) to U— 1/2(x) = sin(1 /2acos(x)) and Uy2(x) = sin(3/2acos(x)). This gives U— 1/2(x) = [1 — cos2(1/2acos(x))]1/2 = (1/V2) (1 — x)1/2 and U1/2(x) =

(1 — x2)1/2 (1 /V2) (1 + x)1/2 + x (1 /V2) (1 — x)1/2 = (1 /V2)(1 — x)1/2[(1 + x) + x]. Therefore, U1/2 (x)/ U— 1/2(x) = 1 + 2x and U1/2(1 — X/2)/U—1/2(1 — X/2) = (3 — X).) Now, considering these two lines, one may consider the poles for N = 4. These happen along three lines: the vertical constant lines, at X0 = 0.3820 and X. 1 = 2.6180 for any s that intersect L2 at the two points p1 = (X = 0.3820, s = 2.6180/tr(S)) and p2 = (X = 2.6180, s = 0.3820/tr(S)). The line L1 intersects the curve s(X) of equation (5.3) for N = 4 at the point p3 = (X = 1,s = s(1) = 1/(2 tr(S))) as acos(1 — X/2) = n/3 at X = 1. There is a single fourth intersection between the poles at N = 2 and N = 4, that is, the fixed

point (X = 4, s = —1/tr(S)). In order to prove this, the expressions of s(X) are matched for N = 2 and N = 4, which gives

1 sin ((3/2)acos(1 - X/2)) _ 1 sin ((5/2)acos(1 - X/2)) tr(S) sin ((1 /2)acos(1 - X/2)) = tr(S) sin((3/2)acos(1 - X/2)) ( . )

• (3 L X\\2 . (1 / X\\ (5 / X\\ sin -acos 1-- =sin -acos 1--sin -acos 1----(5.16)

\2 ( 2 () V 2 V 2)) \ 2 V 2)) ()

x w ( ( x xx2

and 0 = 1 - cos ^2acos^1 - ^jj = sin^acos^l - ^jj , (5.17)

where the trigonometric identity sin(a)sin(b) = [cos(a — b) — cos(a + b)]/2 was used to generate the third and the fourth identities. Note that the passage from the first to the second equation through multiplying both sides of the first equation by sin(2acos(1 — X/2))sin(1acos(1 — X/2)) is only valid if this term is non-zero. The fourth equation can be expressed as 1 — cos(acos(1 — X/2))2 = 0, i.e. X — X2/4 = 0. This results in two possible common poles: the actual fixed point, p4 = (X = 4, s = — 1/tr(S)), and the possibility X = 0 that has to be discarded as it cancels the denominators of equation (5.15), while L'Hospital's rule shows that its right- and left-hand sides differ. One can easily verify that the three points pi to p3 are not poles in the case N = 6. ■

(ii) Location of multiple poles

The frequencies and values of the magnitude disturbance that lead to multiple eigenvalues are important information. In the context of theorem 5.2, the poles can only have multiplicity two at most. The location of the double eigenvalues as well as some of their properties can easily be obtained from the theorem as detailed below.

Corollary 5.4. Using the notations and assumptions of theorem 3.3, ifsri = —srN or sn = —sin then

(i) the poles have at most multiplicity two;

(ii) there are fl((N + 1)/2) poles, (X = X k, s = s(i k)) for k = 0,... ,fl((N - 1)/2), with double multiplicity that are described by equations (5.2) and (5.3);

(iii) the double multiplicity poles can only be along the two branches of 1/(tr(S)(1 — X/2)) for X in the open interval 0 < X < 4.

Proof. The two first theses are trivial corollaries of theorem 5.2. In order to prove the third thesis, the expressions of s(Xk) are developed. This gives

Xk = 2 ^ - cos ((2 + n NTi)) = 4sin ((2 + **) NTi)' (5-18)

-.2 .....JN + .....) N +~

and, using the identities sin(a — b) = sin(a) cos(b) — cos(a) sin(b) and cos (n/2 + kn) = 0,

s(A )=_1__sin (n/2 + kn) =J__1_

( k) tr(S) sin ((n/2 + kn)(1 - 2/(N + 1))) tr(S) cos ((n/2 + kn)2/(N + 1)). (. )

Therefore, s{ik) = [tr(S)(1 - Ak/2)]-1. Finally, equation (5.2) shows that Xk lies in the open interval. ■

Damped benchmark.

The identification of the location of the multiple poles is illustrated in the case of the damped system application of §3a. Starting from the non-normalized system, equation (2.6), corollary 5.4 can be directly applied provided that the frequency parameter, a, and the disturbance magnitude of interest, s' = s(k + i«c), are properly normalized. For example, if N = 5, there are only fl((N + 1)/2) = 3 poles with double multiplicity at locations (X = Xj, s = s(Xj)) for j = 0,... ,2 with Xj = 2(1 - cos (0j)), s(Xj) = (1/tr(S))sin(30j)/sin(20j), and §j = n(1 + 2j)/6. Explicitly, the multiple

1.0 0.8 0.6 0.4 0.2 0 -0.2 -0.4

S' = 0.406649+ 0.236676i

S' = 0.306649 +0.136676i

-1.5 -1.0-0.5 0 0.5 1.0 1.5 -1.5-1.0-0.5 0 0.5 1.0 1.51 real part of frequency, real (w) real part of frequency, real (w)

1.4 1.2 1.0 0.8 0.6 0.4 0.2 0

Figure 11. Illustration of multiple pole location. Log10 of the absolute value of the transfer function cTX(m, s) of equation (2.6) for N = 5. All 10 poles are single in general cases such as for s' = 0.4066 + 0.2367i in (a) while there is a double pole, which is indicated by the added white box, at m = 0.7102 + 0.1566i for s' = 0.3066 + 0.1367i in (b). The parameters are k = 0.7, m = 1.3, c = 0.4, ka = 0.5, ca = 0.3, arbitrary random input and output vectors, f and c, sr(1) = 1.5, sr(N) = —1.5, sl(1) = 0.8, sl(N) = -0.8, so that tr(S) = 2.4.

poles are at the (X, s) locations (0.2679,1.1547/tr(S)), (2, <) and (3.7321, —1.1547/tr(S)). These are consistent with the identified property that s(Xk) = 1/[tr(S)(1 — Xk/2)] and it is clear that the pole (2, <) is the only possible multiple pole with infinite value of s for any dimension N.

Two simple operations provide the location of poles in the (m, s') plane: the solution of the following quadratic equation in m, Xj (k + imc) = (m2 m — imca — ka) and the further scaling and

shifting, s = s(k + imc), with the particular solutions m = m^:

m1,2 = 2m

i(ca + dj) ±yj—(ca + cij)1 + 4 m(ka + kij)

(5.20)

For the particular values k = 0.7, m = 1.3, c = 0.4, ka = 0.5 and ca = 0.3, this results in the four finite poles, (m, s) = (±0.7102 + 0.1566i, (0.7360 ± 0.3280i)/tr(S)), (±1.3852 + 0.6895i, —(0.4898 ± 0.6398i)/tr(S)) and in the two poles at m = ±1.1325 + 0.4231i and infinite s. The existence of these double poles is illustrated in the maps of figure 11.

(iii) Real and complex character of the poles

In the context of theorem 5.2, if the argument X is real, the value of s(X)tr(S) is also real. This might not appear obvious because the arccosine of a real number may be complex. A formal proof of this statement is therefore given and it is incidentally shown that the poles are antisymmetric about X = 2 when N is odd. It might be worth noting that there is no (anti-)symmetry of the location of the poles when N is even.

Lemma 5.5. Using the same notations and assumptions as in theorem 5.2, if X is real, i.e. if imag(X) = 0, the function s(X)tr(S) is real, and

( r~n-\(N+1)/2 / r~n-\ (N+1)/2

|x| —V x2 — 1 — ixi+V x2 — 1

s(X)tr(S) = /-/~2-~\(N—1)/2 /- 'n—1)/2 if X< 2 (5.21)

^|x| — y/x2 — 1) — (|x| Wx2 — 1)

(|x| — V^2 —l\(N+1)/2 + (—1)N (|x| + s/x2—!)

/ I—n-\(N—1)/2 „ / r--\(N—1)/2

^|x| — + (—1)N (x + v/x2—iy "

for X > 2, (5.22)

where x = 1 — X/2. Incidentally, if X is real, s(X)tr(S) is antisymmetric about X = 2 if N is odd, i.e. s(2 + (X — 2)) = —s(2 — (X — 2)) ifN is odd.

Proof. An explicit expression of the complex value acos(x) in terms of the logarithm can be derived as follows. One denotes 0 = acos(x) = 0r + i0i where 0r and 0i are real. As cos(0) = 1/2(el0 + e-1°) is real its imaginary component sin(0r)(e-0i — e0i)/2 may only be zero if either 0r = kn for an integer k or 0\ = 0. The latter corresponds to acos(x) real and values of X that are in the interval 0 < < 4. It will be treated later. The former case corresponds to 0 complex, real regions |x| > 1 and intervals X < 0 and X> 4. As the cosine is a cyclic function, there are only two distinct cases, 0r = 0 or 0r = n, to consider, which, respectively, give x = cos(0) = (e-0i + e0i )/2 > lor x = cos(0) = —(e-0i + e0i )/2 < —1. These are quadratic equations in e0i: one has either e20i — 2xe0i + l = 0 or e20i + 2xe0i + l = 0 whose roots are, respectively, e0i = x ±-\Jx2 — l and e0i = — x ± -y/x2 — l. One may only consider one of the two roots in each case as either gives the same ratio of sines in equation (5.12). One chooses the plus sign if x > l, X < 0, 0r = 0 and the minus sign if x < — l, X > 4, 0r = n. The imaginary part 0j of acos(x) is obtained by taking the logarithm of the expressions of e0i. Thus,

Evaluating the sines of equation (5.12), sin[(N ± 1)0/2] = (ei(N±i)0/2 - e-i(N±i)0/2)/(2i) gives, for X < 0, sin(((N ± 1)/2)0) = (1/2i)(e-((N±1)/2)ln(x^^xI-1) - e((N±i)/2)ln(x^vx2-T)). Similarly, by splitting the terms of the exponents, one obtains for X > 4,

(N ± 1)0

ei((N±1)/2)n e—((N±T)/2) -x^Vx2—T)_e-i((N±i)/2)n e((N±i)/2)l4-x—v^-1)

(5.25)

Equation (5.21) is obtained straightforwardly for X < 0 from theorem 5.2 and the fact that (x + x2 — l^ = x — x2 — l (which can be easily verified). Equation (5.22) is similarly

obtained for X > 4 by additionally enumerating the four possible values, i, —l, —i, l, of ei(N+i)n/2 depending on the modulo m = N mod 4. The expressions are real since |x| > 1.

The proof for the interior interval —l < x < l, i.e. for the case 0\ = 0, follows a similar path. One has x = cos(0) = (ei0 + e-0)/2 and sin[(N ± 1)0/2] = (ei(N±i)0'/2 - e-i(N±i)0'/2)/(2i). Solving the quadratic equation in ei0r gives 0r = —i ln ^x x2 — l^, of which a single sign, say negative, needs to be considered and, thus,

( n-—\ (N+i)/2 , -—) —(N+i)/2

s tr(S sin(((N + T)/2)0) (x-^xl - V - (x-^xl - V (5 26)

( ^((N- T)/2)0r x- jxrzT)(N-i)/2 - (x- vx2—T)-(N-i)/2. ( . )

One arrives at equation (5.21) again by using (x + Vx2 — l)-1 = x — Vx2 — l and at equation (5.22) by enumerating the values of (—1)(n+1)/2 for all values of the modulo N mod 4. The expressions are real since sin(.) is real for real argument. The antisymmetry is directly verifiable by equation (5.22) and considering that x =±(X - 2) at X = 2 - (±1)(X - 2). ■

The fact that a function f (X) is real when X is does not automatically imply that the reciprocal is true. It is, however, the case for sX( )tr(S) as proved below.

Corollary 5.6. Using the same notations and assumptions as in theorem 5.2, if str(S) is real, then all the poles of the transfer function g(X , s) occur at real values ofX.

Proof. The proof proceeds by identifying N real poles for any real value of s tr(S). As g(X, s) is a rational function of with denominator of order N for any fixed s, complex poles are then impossible.

0 = acos^x = l - 0 = iln(x + Vx2 - l) if X < 0 (5.23) ' ^

= n + iln(-x - /x2 - l) if X > 4. (5.24)

The first fl((N +1)/2) real poles are independent of s and defined by equation (5.2). The remaining fl(N/2) real poles for real s tr(S) are counted by studying the expression of s(X) given in equation (5.3). This is done by showing that s(X)tr(S) is made of fl(N/2) branches that are defined on separate real regions of the frequency parameter X and such that each has values that vary continuously from < to —<.

Looking first at the function of 0, s(2 — 2cos(0))tr(S) = sin(0(N + 1)/2)/sin(0(N — 1)/2), in the interval 0 <0 <n over which X = 2(1 — cos(0)) is real, one now shows that its fl(N/2 — 1) poles 0(~) = 2jn/(N — 1), j = 1,... ,fl(N/2 — 1) alternate with its zeros 0^+) = 2jn/(N + 1),

j = 1,..., fl(N/2): consider a particular pole, 0j for some integer j e{1,..., fl(N/2 — 1)}. One may express it as 0j ^ = 2jn/(N — 1) = 2j(—^n/(N + 1) so that the non-integer j(—) equals j(—) = . r j(N + 1)/(N — 1). Now, j(—) > j because (N — 1)/(N + 1) < 1 as long as N > —1. One also has that . ^ j(—' < j + 1 because, if it were not true, one would have j(N + 1)/(N — 1) > j + 1 and therefore 2j > N — 1 (note that there are no poles of s(.) if N = 1), which is impossible because j < fl(N/2 — 1). . ^ As j < < j + 1, one has 0^+) < < for all j e{1,2,..., fl(N/2 — 1)}, i.e. this proves that . ? these single poles and zeros strictly alternate in the interval 0 <0 <n.

Consequently, the value of the (X-)function s(X)tr(S) varies continuously from < to —< when it goes from any pole to the next in the interval 0 < X < 4 and there is a sign change at each pole. The sign change of the value of s(X)tr(S) at the poles arises because the poles are single. Similarly, the fact that the zeros are single implies that each branch has to cut the s = 0 axis only once. The signs at the left and right of each pole may be determined by checking that the value of the rational function at X = 0 is positive. As the function reaches first a zero when X increases, the function is negative at values of X slightly smaller than a pole. There are fl(N/2 — 1) — 1 branches of the function s(X)tr(S) that each vary continuously from < to —< between each of its poles.

One can look again at the poles of the transfer function g(X, s) and summarize those that have already been identified in the range of real values 0 < X < 4. From theorem 5.2, one knows that all poles are on the branches defined by real s tr(S) = s(X)tr(S) and at Xk = 2(1 — cos (0k)) where 0k = (n(1 + 2k))/(N + 1), k = 0,... ,fl((N — 1)/2) for any value of s. One already knows that any chosen real value s tr(S) corresponds to a pole if X is equal either to one of the fl((N — 1)/2) + 1 real values Xk or to one of the fl(N/2 — 1) — 1 continuous branches going from one to another pole of s(X)tr(S). Considering the multiplicity of multiple poles, this corresponds to N — 2 poles.

As the denominator Q(X, s) is a polynomial of order N in X for any value of s, there are only N poles of the transfer function, g(X, s). Its two last poles are below the smallest and above the largest poles of s(X)tr(S): the value of this real continuous function is —< when it reaches its first pole from below. There is a first branch that spans at least all negative values of s tr(S) and all positive values smaller than or equal to its value (N + 1)/(N — 1) at 0 = 0 (otherwise, there would be an excess of poles of g(X, s) for s tr(S) < (N + 1)/(N — 1)). Similarly, the last branch spans at least all positive values of s tr(S). The value of the first branch must therefore be larger than (N + 1)/(N — 1) for all X < 0. From equation (5.1) of theorem 5.1, one knows that, as a ratio of polynomials with order of the numerator larger than the order of the denominator, the absolute value of s(X) tr(S) is infinite when X is infinite. The asymptote of the first (real and continuous) branch is therefore infinity, limX^—< s(X)tr(S) = <. Similarly, limX^< s(X)tr(S) = —<. Two additional continuous branches going from < to —< have been identified. For any value of s tr(S), N corresponding distinct (counting multiplicities) real values of X have therefore also been identified such that the pairs correspond to a pole and there are no other poles. ■

(b) Location of disturbed zeros

The zeros of the disturbed transfer functions vary both for different values of the disturbance parameters (S and s) and for different input and output vectors. In the case of unit input and output vectors, the exact position of zeros may be found as the zeros of the numerator in the transfer function expressions of theorem 3.3.

2.0 1.5 1.0 0.5 0

-0.5 -1.0 -1.5 -2.0

1 j1 \f \] 1 _

- .,.-....................B-.... -

- x -

exclusion region

- .....--Q........ o ero N

0 12 3 4 frequency parameter, l

frequency parameter, l

Figure 12. Illustration of the location of zeros of gN1(X, s) and their exclusion zone. Here, N = 11, S|(1) = 0.3, si(N) = 1.7, sr(1) = -0.5, sr(N) = 0.2. The colour map in (b)representsthe log10 magnitude of the transfer function for various real values of the disturbance magnitude s. The location of the (real) zeros matches their prediction from corollary 5.8 as presented in (a) where one can note that, as expected, no zeros are present in the exclusion zone. Two particular transfer functions are plotted in (c) and (d), respectively, for s = 1 and 1.6. The predicted zeros and poles at real values of X can be counted in these transfer functions: there are five zeros and 11 poles in the first case, and nine zeros and five poles in the second case.

Theorem 5.7. Using the notations and assumptions of theorem 3.3, the zeros of the transfer function gjk (X, s) cancel the polynomial

iUN-kUj-1 + s[a11(UN-kUN-j - UN-kUj-lUN-l)

+ aNN(Uj-1 Uk-1 - UN-kUj-1UN-1)a1N(UN-jUk-1 - UN-kUj-l)]i = 0 (5.27) if j < k, and the following one, if j > k,

{UN-jUk-1 + s[an(UN-jUN-k - Un-jUk-1 Un- 1)

+ aNN(Uj-1 Uk-1 - UN-jUk-1 Un-1) + aN1(Uj-1 UN-k - UN-jUk-1)]} = 0. (5.28)

The location of zeros depends in a more or less intricate way on the particular value of S. One may identify interesting properties in particular cases.

(i) Exclusion region for zeros

The following transfer function from the first to last masses is remarkable:

i(Xs) =_1 + saN1UN-2(1 - X/2)_

Un(1 - X/2) - s[(«11 + aNN)Un-1(1 - X /2) + («N1 + aw)]' Its zeros are indeed excluded from a region centred at X = 2 for any real argument X . This property is illustrated in the colourmap of figure 12. The colours in each horizontal line of the colourmap represent the magnitude of the disturbed transfer function for a particular value of the disturbance magnitude, s. As illustrated in the figure, the theorems of location of zeros and poles allow one to predict the exact number of real poles and zeros for various values of s.

Corollary 5.8. Using the notations and assumptions of theorem 3.3, there is no zero of the transfer function gN,1(X, s) within a circle (1/2X - 1)2 + (saN1)2 = 1 of the real (X, saN1) plane. The

curves of zeros are tangent to the circle at pairs of values, k m — 2 - 2 cos(((N - 1/2 - m)/(N - 1))*), saN1 — (-1)N-m sin(((N - 1/2 - m)/(N - 1))*) for m — 1,..., N - 1.

Proof. As the zeros of the transfer function cancel the numerator 1 + saN1UN-2(1 - k/2), they happen at values of k and saN1 such that saN1 — f (k), where f(k) is defined as f(k) — -[Un-2(1 -k/2)]-1. If k is real, so is the value of the Chebyshev polynomial Un-2(1 - k/2). One knows from lemma 4.5 that 1 - x2Uj(x) equioscillates between -1 and 1 in the range x e [-1,1]. One therefore has that f(k)\ — |UN-1(1 - k/2)\-1 >yj 1 - (1 - k/2)2 in the range 0 < k < 4. As f(k) is the value of saN1 corresponding to a pole for a value k, the first part of the proof is complete. The location of the tangency points is found from the location of extrema given in the equioscillation lemma 4.5. ■

(ii) Real and complex character of the zeros

(-1)N/2 cosh(éj)_2(-1)N/27xF+l

saN1 =-=-,,, ..---,,, .., for N even (5.30)

N1 cosh((N - 1)9j) - r~2—N-1) - j-2—N-1) v '

(xt + yxfTT) + (-x; + J x2 + 1) i(-1)(N-1)/2ccsh(0i) _ 2i(-1)(N+1)/^yxfTT

sinh((N - ™) " x+yx^(N-1) - (-x;+yx^(N-1)'

for N odd (5.31)

where both Xj = (1 — X/2)/i = —1/2imag(X) and 0j = ln (—Xj + yX2 + are real. The hyperbolic sinusoidal functions have their usual definition sinh(y) = —i sin(iy) and cosh(y) = cos(iy).

Proof. All values of X may be written X = 2 — 2ix; for some real Xi. Theorem 3.3 and consequent equation (5.29) give that the zeros occur when saN1 = — [Un—2(1 — X/2)]—1 = — [Un—2(ixi)]—1. Sinusoidal expression (3.5) of the Chebyshev polynomials, Un—2(cos(#)) = sin((N — 1)^)/sin &, necessitates 0 = acos(ixi) = 0r + i0i, where 0r and 0i denote real numbers. As

ei0 + e—i0 e—0i + e0i e—0i- e0i

iXi = cos(0) =-2-= cos(0r)-2-+ isin(0r)-2--(5.32)

is imaginary, cos(0r) has to cancel, which means that 0r = n/2 if 0 < 0 < n is chosen without loss of generality. Substituting this value gives the quadratic equation in e0i, e20i + 2xi(e0i) — 1 =0, whose only possible solution is the positive e0i = — xi + y^x2 + 1 so that 0i = ln ^—xi + y^x2 + 1 j.

Substituting 0 = (n/2) + iln ^—xi + tJx2 + in equation (3.5) and using sin(y) = (eiy — e—iy)/(2i) and ein/2 = i completes the proof with little algebra. ■

The results of theorem 5.9 are illustrated in figure 13 for a dimension varying from N = 2 to 12. The fact that a zero occurs at s = — 1/aN1 for N = 2 and any value of X can easily be verified in the expression of the theorem for m = 2. Also notable is that zeros occur only at real values of s for even N and at purely imaginary s for odd N. It is relatively easy to derive additional information

From theorem 5.7 and corollary 5.8, it is clear that not all zeros of the transfer function between the first and the last masses occur at real X, even if the disturbance saN1 is real. One can, however, derive properties of the imaginary part of X at the zeros from the exact expression (5.29). The next result gives exact expression of this imaginary component when the real part of X is equal to two and N is even. It also shows that there is no zero of this transfer function with real saN1 when real(X) = 2 and N is odd. In this case, all zeros correspond to purely imaginary values of saN1. . 1 Incidentally, this shows the corollary that, if saN1 is a complex number with non-zero real and imaginary parts, there are no zeros of the transfer function with real(X) = 2.

Theorem 5.9. Using the notations and assumptions of theorem 3.3, if gN,1(X,s) = 0 and real(X) = 2, then

7 = 10

r. -10

a p -15

N =5-N =9

•¡3

T3 (d)

T3 ■

•¡3 ■

C3 ■

N = 4 •

N = 8-

N= 12.............

frequency parameter, x. = -i(1-1/2)

-1.5 -1.0 -0.5 0 frequency parameter, xi =

0.5 -¡(1-A/2)

Figure 13. Illustration of the location of zeros of gN,i(X, s) when real(X) = 2, as predicted in theorem 5.9. Depending on the dimension N, specifically on the modulo m = N mod 4, the zeros occur only at purely real or purely imaginary values of s. Here, am = -0.85. The plots are sorted on the modulo, m = (a) 1, (b) 2, (c) 3 and (d) 0. There is no zero for N = 1 and s =-1/aN1 = 1.1765 for N = 2.

about the locations where zeros are absent. For example, the following corollary, whose proof is trivial considering theorem 5.9, is another exclusion result.

Corollary 5.10. Using the notations and assumptions of theorem 3.3, if the pair (X, s) corresponds to a zero of the disturbed transfer function gN,l(X, s), i.e. if gN,l(X, s) = 0 and if saNi is a complex number with non-zero real and imaginary parts, then the real part of the X parameter cannot be equal to 2. In other words, if gN,i (X, s) = 0, the concomitance of the three following conditions is impossible: real(saNi) = 0, imag(saNi) = 0, and real(X) = 2.

(c) Applications of the properties of the disturbed systems

Besides the applications already discussed, two fields in which the current results and approaches about disturbed systems could particularly be used in future work are those of vibration localization [42,43] and mode veering [44-46].

At least two directions may be followed, regarding the analysis of vibration localization, namely the consideration either of the eigenmodes of the disturbed system or of its forced responses. Based on the assessment of localization criteria in these two sets of vectors, such localization could be matched to properties of the systems and disturbance.

The question of mode veering can be addressed from an analytical point of view in the context of particular disturbances considered in this paper. More specifically, as all possible multiple poles have been identified in the case considered in corollary 5.4, the conditions for mode veering or mode crossing are readily available. Mode crossing happens when the mode loci for a particular system and disturbance type go through one of these multiple poles, while mode veering happens when these loci pass closely but not through these particular poles.

6. Conclusion

The results presented in this paper about the location of zeros and poles of nominal and disturbed chains of particles are useful at several levels.

First, they can be applied directly to actual physical and engineering systems with repeated particles, bubbles and substructures, possibly after adequate normalization similar to that demonstrated here for damped and multi-d.f. systems and bubble dynamics. The exclusion

results ensure that no eigenvalues, zeros or values of the transfer functions can be in given regions of the frequency and disturbance parameters. Such insurance may thus allow one to design structures that are safer and better tolerant to uncertainties and variance in their properties. The identification of the actual locations of zeros, eigenvalues, multiple eigenvalues and pole-zero cancellations of the systems has potential utility in several fields, particularly in, for example, those of control and propagation of uncertainty.

Second, the various techniques used in the paper can be applied and extended to other situations in order to generate further theoretical results. The added or disturbed components can, for example, be considered at other locations than at the two last particles. Three kinds of disturbance may then also be distinguished: the low-rank one as discussed here, the multirank case where the disturbance is a sum of several outer products and the more general case where several disturbance magnitudes, si, S2,..., and their associated matrices, Si, S2,..., are considered. The location of zeros of transfer functions and their properties can also be studied with different, possibly arbitrary, input and output vectors.

Third, the exact expressions and properties described here can be used as a basis for fundamental characterization and treatment of general dynamic systems. For example, it was explained in the paper that systems with different alternating mass values can be treated as a normalized system. A question is therefore whether there exists a fundamental set of spring-mass systems to which general systems can be reduced. Such a task of categorization also necessitates . 7 the consideration of various boundary conditions for the extremities of the spring-mass systems.

Finally, the exact results presented here provide problem cases that can be used as reference benchmarks for various algorithmic techniques to evaluate zeros and roots. For example, approaches to evaluate multiple eigenvalues can be validated by verifying that they can locate the double eigenvalues of the damped benchmark discussed in the paper.

Acknowledgements. The author thanks his colleagues, in particular Brian Mace, for feedback and suggestions that improved the presentation of this paper, and Tim Leighton, who indicated the applications of bubble dynamics modelling in gas leakage identification and shock wave lithotripsy. The possible use of results of this article in the particular case of a discrete linearized sine-Gordon equation and for investigation of vibration localization has been stressed by two anonymous reviewers. Some of the results of an early version of this paper were presented without proofs at the 10th International Conference on Recent Advances in Structural Dynamics (RASD2010), on 12-14 July 2010, in Southampton, UK. Last but not least, the author thanks his family for the time and resources they generously allowed him to invest in this research. Funding statement. Part of this work was carried out with financial support provided by the Engineering and Physical Sciences Research Council under grant no. EP/G056765/1. This support is gratefully acknowledged by the author.

References

1. Born M, von Karman Th. 1912 On fluctuations in spatial grids. Phys. Z. 13, 297-309.

2. Ashcroft NW, Mermin DN. 1976 Solid state physics. Toronto, Canada: Thomson Learning.

3. Cvitas MT, Siber A. 2003 Vibrations of a chain of Xe atoms in a groove in a carbon nanotube bundle. Phys. Rev. B 67,193401. (doi:10.1103/PhysRevB.67.193401)

4. Matranga C, Chen L, Smith M, Bittner E, Karl Johnson J, Bockrath B. 2003 Trapped CO2 in carbon nanotube bundles. J. Phys. Chem. B 107,12 930-12 941. (doi:10.1021/jp0364654)

5. Nishide D et al. 2006 Single-wall carbon nanotubes encaging linear chain C10H2 polyyne molecules inside. Chem. Phys. Lett. 428, 356-360. (doi:10.1016/j.cplett.2006.07.016)

6. Wakabayashi T et al. 2007 Resonance Raman spectra of polyyne molecules C10H2 and C12H2 in solution. Chem. Phys. Lett. 433, 296-300. (doi:10.1016/j.cplett.2006.11.077)

7. Malard LM et al. 2007 Resonance Raman study of polyynes encapsulated in single-wall carbon nanotubes. Phys. Rev. B 76, 233412-1-4. (doi:10.1103/PhysRevB.76.233412)

8. Allen PB, Kelner J. 1998 Evolution of a vibrational wave packet on a disordered chain. Am. J. Phys. 66, 497-506. (doi:10.1119/1.18890)

9. Santos MS, Rodrigues ES, de Oliveira PMC. 1990 Spring-mass chains: theoretical and experimental studies. Am. J. Phys. 58, 923-928. (doi:10.1119/1.16500)

10. Fang X, Tang J, Jordan E, Murphy KD. 2006 Crack induced vibration localization in simplified bladed-disk structures. J. Sound Vib. 291, 395-418. (doi:10.1016/j.jsv.2005.06.020)

11. Rahimi M, Ziaei-Rad S. 2010 Uncertainty treatment in forced response calculation of mistuned bladed disk. Math. Comp. Simul. 80,1746-1757. (doi:10.1016/j.matcom.2009.07.002)

12. Chan Y-J, Ewins DJ. 2011 The application of robust design strategies on managing the uncertainty and variability issues of the blade mistuning vibration problem. In IUTAM Symposium on the Vibration Analysis of Structures with Uncertainties, St Petersburg, Russia, 5-9 July 2011 (eds AK Belyaev, RS Langley), pp. 443-456. IUTAM Bookseries, vol. 27. Dordrecht, The Netherlands: Springer.

13. Lecomte C. 2013 Exact statistics of systems with uncertainties: an analytical theory of rank-one stochastic dynamic systems. J. Sound Vib. 332, 2750-2776. (doi:10.1016/j.jsv.2012.12.009)

14. Maradudin AA. 1965 Some effects of point defects on the vibrations of crystal lattices. Rep. Prog. Phys. 28, 331-380. (doi:10.1088/0034-4885/28/1/310)

15. Lifshitz IM, Kosevich AM. 1966 The dynamics of a crystal lattice with defects. Rep. Prog. Phys. 29, 217-254. (doi:10.1088/0034-4885/29/1/305)

16. Bavinck H. 1995 On the zeros of certain linear combinations of Chebyshev polynomials. J. Comp. Appl. Math. 65, 19-26. (doi:10.1016/0377-0427(95)00098-4)

17. Dow M. 2003 Explicit inverses of Toeplitz and associated matrices. ANZIAM J. 44, E185-E215.

18. Yueh WC. 2005 Eigenvalues of several tridiagonal matrices. Appl. Math. E-Notes 5, 66-74. (http://www.austms.org.au/Publ/Jamsb/V48P1/2347.html)

19. Kouachi S. 2006 Eigenvalues and eigenvectors of tridiagonal matrices. Elec. J. Linear Algebra 15,115-133.

20. Yueh W-C, Cheng SS. 2008 Explicit eigenvalues and inverses of tridiagonal Toeplitz matrices with four perturbed corners. ANZIAM J. 49, 361-387. (doi:10.1017/S1446181108000102)

21. Alvarez Nodarse R, Petronilho J, Quintero NR. 2012 Spectral properties of certain tridiagonal matrices. Linear Algebra Appl. 436,682-698. (doi:10.1016/j.laa.2011.07.040)

22. Gilbert EG. 1963 Controllability and observability in multivariable control systems. J. Soc. Ind. Appl. Math. A Control 1,128-151. (doi:10.1137/0301009)

23. Kalman R. 1965 Irreducible realizations and the degree of a rational matrix. J. Soc. Ind. Appl. Math. 13, 520-544. (doi:10.1137/0113034)

24. Nagrath IJ, Gopal M. 2006 Control systems engineering. New Delhi, India: New Age International.

25. Lecomte C. 2011 Vibration analysis of an ensemble of structures using an exact theory of stochastic linear systems. In IUTAM Symposium on the Vibration Analysis of Structures with Uncertainties, St Petersburg, Russia, 5-9 July 2011 (eds AK Belyaev, RS Langley), pp. 301-315. IUTAM Bookseries, vol. 27. Dordrecht, The Netherlands: Springer.

26. McLaughlin DW, Scott AC. 1978 Perturbation analysis of fluxon dynamics. Phys. Rev. A 18, 1652-1680. (doi:10.1103/PhysRevA.18.1652)

27. Salerno M, Joergensen E, Samuelsen MR. 1984 Phonons and solitons in the 'thermal' sine-Gordon system. Phys. Rev. B 30, 2635-2639. (doi:10.1103/PhysRevB.30.2635)

28. Dash PC. 1986 Defective degenerate mode and dynamics of perturbed sine-Gordon soliton plus phonon. J. Phys. A Math. Gen. 19, L373. (doi:10.1088/0305-4470/19/7/002)

29. Silva MAG. 1991 Study of pass and stop bands of some periodic composites. Acta Acustica united with Acustica 75, 62-68.

30. Andrianov IV, Bolshakov VI, Danishevs'kyy VV, Weichert D. 2008 Higher order asymptotic homogenization and wave propagation in periodic composite materials. Proc. R. Soc. A 464, 1181-1201. (doi:10.1098/rspa.2007.0267)

31. Vasiliev AA, Dmitriev SV, Miroshnichenko AE. 2010 Multi-field approach in mechanics of structural solids. Int. J. Solids Struct. 47, 510-525. (doi:10.1016/j.ijsolstr.2009.10.016)

32. Keller JB, Miksis M. 1980 Bubble oscillations of large amplitude. J. Acoust. Soc. Am. 68,628-633. (doi:10.1121/1.384720)

33. Leighton TG, White PR. 2012 Quantification of undersea gas leaks from carbon capture and storage facilities, from pipelines and from methane seeps, by their acoustic emissions. Proc. R. Soc. A 468, 485-510. (doi:10.1098/rspa.2011.0221)

34. Hsiao P-Y, Devaud M, Bacri J-C. 2001 Acoustic coupling between two air bubbles in water. Eur. Phys. J. E 4, 5-10. (doi:10.1007/s101890170136)

35. Harkin A, Kaper TJ, Nadim A. 2001 Coupled pulsation and translation of two gas bubbles in a liquid. J. Fluid Mech. 445, 377-411. (doi:10.1017/S0022112001005857)

36. Ida M. 2002 A characteristic frequency of two mutually interacting gas bubbles in an acoustic field. Phys. Lett. A 297, 210-217. (doi:10.1016/S0375-9601(02)00422-X)

37. Leighton TG, Turangan CK, Jamaluddin AR, Ball GJ, White PR. 2013 Prediction of far-field acoustic emissions from cavitation clouds during shock wave lithotripsy for development of a clinical device. Proc. R. Soc. A 469, 20120538. (doi:10.1098/rspa.2012.0538)

38. Abramowitz M, Stegun IA. 1972 Handbook of mathematical functions. New York, NY: Dover Publications.

39. Lanczos C. 1988 Applied analysis. New York, NY: Dover. [Reprint. Originally published: 1956 Englewoods Cliffs, NJ: Prentice-Hall].

40. Ortiz EL, Rivlin TJ. 1983 Another look at the Chebyshev polynomials. Am. Math. Mon. 90,3-10 (http://www.jstor.org/stable/2975684)

41. Borwein P, Erdelyi T, Zhang J. 1994 Chebyshev polynomials and Markov Bernstein type inequalities for rational spaces. J. Lond. Math. Soc. 50, 501-519. (doi:10.1112/jlms/50.3.501)

42. Pierre C. 1987 Localized free and forced vibrations of nearly periodic disordered structures. In Proc. 28th Structures, Structural Dynamics and Materials Conference, Monterey, CA, 6-8 April 1987. Reston, VA: American Institute of Aeronautics and Astronautics. (doi:10.2514/6.1987-774)

43. Andrianov IV, Danishevs'kyy VV, Kalamkarov AL. 2013 Vibration localization in one-dimensional linear and nonlinear lattices: discrete and continuum models. Nonlinear Dyn. 72, 37-48. (doi:10.1007/s11071-012-0688-4)

44. Pierre C. 1988 Mode localization and eigenvalue loci veering phenomena in disordered structures. J. Sound Vib. 126, 485-502. (doi:10.1016/0022-460X(88)90226-X)

45. Mace BR, Manconi E. 2012 Wave motion and dispersion phenomena: veering, locking and strong coupling effects. J. Acoust. Soc. Am. 131, 1015-1028. (doi:10.1121/1.3672647)

46. Vijayan K, Woodhouse J. 2014 Shock amplification, curve veering and the role of damping. J. Sound Vib. 333, 1379-1389. (doi:10.1016/j.jsv.2013.10.037)