Frequency domain decomposition

Recovering a shape from vibration measurements

Two sensors on a vibrating structure record two time histories. We want to identify a mode shape: the relative amplitudes and phases with which the sensor locations move in one mode. The forces are not measured. What information in the recordings could reveal that shape?

First consider an ideal case in which only one mode contributes. Suppose that, whenever the first sensor moves 1 mm in its positive direction, the second moves 2 mm in its negative direction. Let tt denote time, a(t)a(t) the first displacement, and y(t)y(t) the column vector of both measurements. The fixed vector vv describes their relative motion:

y(t)=[a(t)2a(t)]=va(t),v=[12].y(t)=\begin{bmatrix}a(t)\\-2a(t)\end{bmatrix}=v\,a(t),\qquad v=\begin{bmatrix}1\\-2\end{bmatrix}.
(1)

The time dependence is entirely in a(t)a(t). It can be irregular; the spatial ratio remains 1:21:-2. In this ideal case, inspecting the two time histories would already reveal the shape. Real measurements contain several modes at once, so that ratio usually changes with time. FDD looks for a fixed pattern within a frequency band, where one mode may dominate.

To see what survives in the frequency domain, let ff denote frequency in hertz, A(f)A(f) the Fourier coefficient of a(t)a(t) over a record, and Y1(f),Y2(f)Y_1(f),Y_2(f) the corresponding sensor coefficients. Linearity of the Fourier transform gives Y1=AY_1=A and Y2=2AY_2=-2A. An overbar denotes complex conjugation and vertical bars denote magnitude. At each frequency,

Y12=A2,Y22=4A2,Y1Yˉ2=2A2.|Y_1|^2=|A|^2,\qquad |Y_2|^2=4|A|^2,\qquad Y_1\bar Y_2=-2|A|^2.

The separate power spectra preserve the amplitude ratio, but lose the sign: squaring gives the same result for 2A2A and 2A-2A. The cross product preserves their opposite motion. This is why we retain the products between channels.

Averaging these products and applying the spectral normalization gives the power spectral density (PSD) matrix Gy(f)G_y(f). Let Sa(f)S_a(f) be the PSD of the first signal, its mean-square displacement per unit frequency, and let the superscript TT denote transpose. For zero-mean stationary records—whose mean is zero and whose expected products depend only on the time separation—the spectral definition below gives

Gy(f)=Sa(f)vvT=Sa(f)[1224].G_y(f)=S_a(f)\,vv^T=S_a(f)\begin{bmatrix}1&-2\\-2&4\end{bmatrix}.
(2)

Where Sa(f)>0S_a(f)>0, this matrix has only one independent column, so its rank is one. Multiplication shows that its eigenvector with nonzero eigenvalue is precisely the measured shape:

Gy(f)v=5Sa(f)v,Gy(f)[21]=0.G_y(f)v=5S_a(f)v,\qquad G_y(f)\begin{bmatrix}2\\1\end{bmatrix}=0.
(3)

The eigenvalue depends on how strongly the motion is excited. The eigenvector gives the relative motion 1:21:-2, regardless of that strength. For a rank-one PSD matrix, a singular value decomposition recovers this same direction.

Frequency domain decomposition (FDD) applies this calculation to the measured spectral matrix at each frequency. The remaining task is to establish when a mechanical mode produces an approximately rank-one spectrum, and when other modes or the excitation invalidate that interpretation. [3]

Modes of a mechanical system

Consider a linear mechanical system with nn displacement coordinates, rr force inputs, and pp measured channels. A coordinate is one degree of freedom; a channel is one recorded sensor signal. Let q(t)q(t), x(t)x(t), and y(t)y(t) denote the displacement, force, and measured-displacement vectors.

The real matrices M,C,KM,C,K are the n×nn\times n mass, viscous damping, and stiffness matrices, with MM invertible. The matrices BB and LL, of sizes n×rn\times r and p×np\times n, distribute the forces and select the measurements. A dot denotes a time derivative. The equations are

Mq¨+Cq˙+Kq=Bx,y=Lq.M\ddot q+C\dot q+Kq=Bx,\qquad y=Lq.
(4)

Linearity means that responses add and scale with the inputs; time invariance means that the matrices are constant. The distinction between qq and yy matters: a structure may have many coordinates and only a few sensors.

For free motion, set x=0x=0. Physical displacement q(t)q(t) is real. To find the modes, we temporarily allow a complex auxiliary solution, denoted qc(t)q_c(t). We seek a fixed spatial vector ϕm0\phi_m\ne0, the shape of mode mm, evolving at a complex rate λm\lambda_m in inverse seconds:

qc(t)=ϕmeλmt,q˙c=λmϕmeλmt,q¨c=λm2ϕmeλmt.q_c(t)=\phi_m e^{\lambda_m t},\quad \dot q_c=\lambda_m\phi_m e^{\lambda_m t},\quad \ddot q_c=\lambda_m^2\phi_m e^{\lambda_m t}.
(5)

Substituting into (4) and cancelling the nonzero exponential leaves a matrix polynomial. For a complex rate ss, define the dynamic stiffness matrix Z(s)=s2M+sC+KZ(s)=s^2M+sC+K. Writing det\det for the determinant, the admissible rates and shapes satisfy the quadratic eigenvalue problem:

Z(s)=s2M+sC+K,Z(λm)ϕm=0,detZ(λm)=0.Z(s)=s^2M+sC+K,\quad Z(\lambda_m)\phi_m=0,\quad \det Z(\lambda_m)=0.
(6)

The last equality follows because Z(λm)Z(\lambda_m) maps a nonzero vector to zero and is therefore singular. A numerical solution normally uses an equivalent first-order eigenproblem; the state-space derivation is given below. [1]

Solving (6) gives the rates λm\lambda_m. To interpret one of them, return to the time factor eλmte^{\lambda_m t} in (5). Let σm\sigma_m and ωd,m\omega_{d,m} be its real and imaginary parts, and let jj be the imaginary unit, j2=1j^2=-1. Euler’s formula separates the exponential into an amplitude factor and an oscillation:

λm=σm+jωd,m,eλmt=eσmt[cos(ωd,mt)+jsin(ωd,mt)].\lambda_m=\sigma_m+j\omega_{d,m},\qquad e^{\lambda_m t}=e^{\sigma_m t}\bigl[\cos(\omega_{d,m}t)+j\sin(\omega_{d,m}t)\bigr].

If σm<0\sigma_m<0, the amplitude decays; if σm>0\sigma_m>0, it grows. A nonzero imaginary part produces oscillation. Since the system matrices are real, nonreal eigenvalues occur in conjugate pairs. Select the member with ωd,m>0\omega_{d,m}>0. For a decaying mode, define αm=σm>0\alpha_m=-\sigma_m>0, so λm=αm+jωd,m\lambda_m=-\alpha_m+j\omega_{d,m}. The decay rate is therefore αm\alpha_m, and the damped angular frequency is ωd,m\omega_{d,m}, in radians per second. The complex solution is a way to represent this motion; it is not a complex physical displacement.

Because the free equations are linear with real coefficients, the real and imaginary parts of any complex solution separately satisfy them. Equivalently, a conjugate pair combines into a real modal contribution. Let cmc_m be a complex coefficient fixed by the initial conditions, qm(t)q_m(t) the displacement contribution of this pair, and Re\operatorname{Re} denote real part:

qm(t)=cmϕmeλmt+cˉmϕˉmeλˉmt=2Re ⁣(cmϕmeλmt).q_m(t)=c_m\phi_m e^{\lambda_m t}+\bar c_m\bar\phi_m e^{\bar\lambda_m t}=2\operatorname{Re}\!\left(c_m\phi_m e^{\lambda_m t}\right).

The imaginary parts cancel. A complex mode shape records relative phases between coordinates; each coordinate still has a real displacement. Summing these real contributions gives the physical free response q(t)q(t), with the coefficients chosen to match its real initial displacement and velocity.

Natural frequency and damping ratio

We already know the decay rate and oscillation frequency from the eigenvalue. The terms natural frequency and damping ratio come from a mass–spring–damper system. Consider a mass μ>0\mu>0, spring stiffness k>0k>0, damping coefficient b0b\ge0, and displacement u(t)u(t) from equilibrium. With no external force,

μu¨+bu˙+ku=0.\mu\ddot u+b\dot u+ku=0.

First remove the damper, setting b=0b=0. Dividing by the mass gives u¨+(k/μ)u=0\ddot u+(k/\mu)u=0. A cosine at angular frequency ωn\omega_n has second derivative ωn2-\omega_n^2 times itself, so this equation requires ωn2=k/μ\omega_n^2=k/\mu. This is the undamped natural angular frequency: the rate of free oscillation set by mass and stiffness. Its value in cycles per second is fn=ωn/(2π)f_n=\omega_n/(2\pi).

Restore the damper. Before defining a damping ratio, find the value of bb at which oscillation disappears. Substituting este^{st} into the equation of motion and cancelling the exponential gives the characteristic equation: its roots are the allowed exponential rates.

μs2+bs+k=0,s=b±b24μk2μ.\mu s^2+bs+k=0,\qquad s=\frac{-b\pm\sqrt{b^2-4\mu k}}{2\mu}.

The expression under the square root determines the type of motion. When b2<4μkb^2<4\mu k, the roots are complex and produce oscillation; when b2>4μkb^2>4\mu k, both roots are real and negative, so the motion contains only decaying exponentials. At the boundary, the roots coincide. Denote this critical damping coefficient by bcritb_{\mathrm{crit}}. Since b0b\ge0,

bcrit24μk=0bcrit=2μk,ζbbcrit=b2μk.b_{\mathrm{crit}}^2-4\mu k=0\quad\Longrightarrow\quad b_{\mathrm{crit}}=2\sqrt{\mu k},\qquad \zeta\equiv\frac{b}{b_{\mathrm{crit}}}=\frac{b}{2\sqrt{\mu k}}.

The symbol \equiv here introduces a definition. We define the dimensionless damping ratio ζ\zeta as the actual damping divided by this critical value. Thus ζ=0.05\zeta=0.05 means 5% of critical damping; 0<ζ<10<\zeta<1 is underdamped, ζ=1\zeta=1 is critically damped, and ζ>1\zeta>1 is overdamped. The denominator and its factor of 2 come directly from the quadratic roots. [9]

Using ωn=k/μ\omega_n=\sqrt{k/\mu}, the damping coefficient per unit mass becomes b/μ=2ζωnb/\mu=2\zeta\omega_n. Dividing the motion equation by μ\mu therefore gives the conventional oscillator equation and its characteristic polynomial:

u¨+2ζωnu˙+ωn2u=0,s2+2ζωns+ωn2=0.\ddot u+2\zeta\omega_n\dot u+\omega_n^2u=0,\qquad s^2+2\zeta\omega_ns+\omega_n^2=0.

Returning to the modal eigenvalue

The link between an eigenvalue and a polynomial root comes from the exponential solution. In the mechanical system, substituting qc(t)=ϕmeλmtq_c(t)=\phi_m e^{\lambda_m t} gave Z(λm)ϕm=0Z(\lambda_m)\phi_m=0. Since ϕm0\phi_m\ne0, the matrix is singular: detZ(λm)=0\det Z(\lambda_m)=0. Thus λm\lambda_m is both an eigenvalue of the mechanical problem and a root of its determinant polynomial.

For a scalar oscillator the same substitution gives a scalar equation. Denote its characteristic polynomial by p(s)=s2+2ζωns+ωn2p(s)=s^2+2\zeta\omega_ns+\omega_n^2. To test whether it admits the rate λm\lambda_m, substitute the auxiliary complex motion uc(t)=eλmtu_c(t)=e^{\lambda_m t}:

u¨c+2ζωnu˙c+ωn2uc=0(λm2+2ζωnλm+ωn2)eλmt=0p(λm)=0.\begin{aligned}\ddot u_c+2\zeta\omega_n\dot u_c+\omega_n^2u_c&=0\\\Longrightarrow\quad (\lambda_m^2+2\zeta\omega_n\lambda_m+\omega_n^2)e^{\lambda_m t}&=0\\\Longrightarrow\quad p(\lambda_m)&=0.\end{aligned}

The last step follows because the exponential never vanishes. Therefore the oscillator admits eλmte^{\lambda_m t} precisely when λm\lambda_m is a root of pp. It is not automatically a root of an arbitrary oscillator’s polynomial. We are choosing an equivalent oscillator whose two exponential rates match the already computed mechanical pair λm=αm+jωd,m\lambda_m=-\alpha_m+j\omega_{d,m} and λˉm=αmjωd,m\bar\lambda_m=-\alpha_m-j\omega_{d,m}.

Its characteristic polynomial must be zero at both rates. The factor sλms-\lambda_m is zero at the first, and sλˉms-\bar\lambda_m is zero at the second. Their product is therefore a quadratic with exactly the required roots. We choose its leading coefficient to be 1, as in the oscillator equation after division by mass. For example, roots 2 and 3 give (s2)(s3)=s25s+6(s-2)(s-3)=s^2-5s+6; the same factorization rule applies to complex roots.

Substitute the two eigenvalues into these factors and expand. Since j2=1j^2=-1, the imaginary terms cancel:

(sλm)(sλˉm)=(s+αmjωd,m)(s+αm+jωd,m)=(s+αm)2(jωd,m)2=s2+2αms+(αm2+ωd,m2).\begin{aligned}(s-\lambda_m)(s-\bar\lambda_m)&=(s+\alpha_m-j\omega_{d,m})(s+\alpha_m+j\omega_{d,m})\\&=(s+\alpha_m)^2-(j\omega_{d,m})^2\\&=s^2+2\alpha_ms+(\alpha_m^2+\omega_{d,m}^2).\end{aligned}

Matching this with s2+2ζmωn,ms+ωn,m2s^2+2\zeta_m\omega_{n,m}s+\omega_{n,m}^2 requires ζmωn,m=αm\zeta_m\omega_{n,m}=\alpha_m and ωn,m2=αm2+ωd,m2\omega_{n,m}^2=\alpha_m^2+\omega_{d,m}^2. These define the oscillator parameters associated with mode mm. With λm|\lambda_m| denoting magnitude,

ωn,m=λm=αm2+ωd,m2,ζm=αmωn,m,ωd,m=ωn,m1ζm2.\omega_{n,m}=|\lambda_m|=\sqrt{\alpha_m^2+\omega_{d,m}^2},\quad \zeta_m=\frac{\alpha_m}{\omega_{n,m}},\quad \omega_{d,m}=\omega_{n,m}\sqrt{1-\zeta_m^2}.
(7)

The eigenvalue now gives three quantities: αm\alpha_m describes how quickly the amplitude decays, ωd,m\omega_{d,m} describes how fast it oscillates, and ζm\zeta_m expresses the damping relative to the critical value. The plot below shows how these quantities change together.

Free response across damping regimes

Release the oscillator from unit displacement with zero initial velocity: u(0)=1u(0)=1, u˙(0)=0\dot u(0)=0. The damping control ranges from 0% to 200%; 100% is critical damping. Above 100%, the poles are real and the response no longer oscillates. Increasing damping further makes the final return to equilibrium slower.

Omit the mode subscript and set ωn=2πfn\omega_n=2\pi f_n, α=ζωn\alpha=\zeta\omega_n. For ζ<1\zeta<1, define ωd=ωn1ζ2\omega_d=\omega_n\sqrt{1-\zeta^2}. For ζ>1\zeta>1, define β=ωnζ21\beta=\omega_n\sqrt{\zeta^2-1} and the real poles λ1=α+β\lambda_1=-\alpha+\beta, λ2=αβ\lambda_2=-\alpha-\beta. The plotted displacement is

u(t)={eαt[cos(ωdt)+αωdsin(ωdt)],0ζ<1,(1+ωnt)eωnt,ζ=1,λ2eλ1t+λ1eλ2tλ1λ2,ζ>1.u(t)=\begin{cases}e^{-\alpha t}\left[\cos(\omega_dt)+\dfrac{\alpha}{\omega_d}\sin(\omega_dt)\right],&0\le\zeta<1,\\(1+\omega_nt)e^{-\omega_nt},&\zeta=1,\\\dfrac{-\lambda_2e^{\lambda_1t}+\lambda_1e^{\lambda_2t}}{\lambda_1-\lambda_2},&\zeta>1.\end{cases}

Each expression solves the scalar oscillator equation with the same initial conditions. The middle expression is the limit as the two roots merge. The control displays 100ζ100\zeta as a percentage. [9]

The pole-plane scale adjusts to keep both roots visible. Below critical damping, they form a complex conjugate pair; at critical damping they coincide; above it, they separate along the negative real axis. The response always starts from the same displacement and zero velocity.

How a mode enters the forced response

Free motion identifies the possible rates and shapes. To connect them to measurements under random forcing, we need the transfer matrix.

The Laplace transform converts a differential equation in time into an algebraic equation. Write s=σ+jωs=\sigma+j\omega, where σ\sigma is a real exponential weighting rate and ω\omega is angular frequency. Denote the Laplace transform by L\mathcal L, and let Q(s)Q(s) be the transform of displacement, taken entry by entry:

Q(s)=L{q}(s)=0q(t)estdt=0q(t)eσtejωtdt.Q(s)=\mathcal L\{q\}(s)=\int_0^\infty q(t)e^{-st}\,dt=\int_0^\infty q(t)e^{-\sigma t}e^{-j\omega t}\,dt.

This is a Fourier transform of the exponentially weighted signal on t0t\ge0. Choosing σ\sigma sufficiently large makes the integral converge for signals that grow no faster than an exponential. The variable ss ranges over complex values; the eigenvalues λm\lambda_m found earlier are particular rates belonging to the system.

The useful property follows by integration by parts. The endpoint term at infinity vanishes in the region of convergence, giving

L{q˙}(s)=[q(t)est]0+sQ(s)=sQ(s)q(0),L{q¨}(s)=s2Q(s)sq(0)q˙(0).\begin{aligned}\mathcal L\{\dot q\}(s)&=\bigl[q(t)e^{-st}\bigr]_0^\infty+sQ(s)=sQ(s)-q(0),\\\mathcal L\{\ddot q\}(s)&=s^2Q(s)-sq(0)-\dot q(0).\end{aligned}

Thus, with zero initial displacement and velocity, each time derivative becomes multiplication by ss. [10] We impose these initial conditions to isolate the response caused by the force input; a response due to initial motion can be added separately.

Let X(s)X(s) and Y(s)Y(s) be the transforms of the force x(t)x(t) and measured displacement y(t)y(t). Applying the transform to (4) gives

(s2M+sC+K)Z(s)Q(s)=BX(s),Y(s)=LQ(s).\underbrace{(s^2M+sC+K)}_{Z(s)}Q(s)=BX(s),\qquad Y(s)=LQ(s).

The same matrix Z(s)Z(s) appeared in the free-motion eigenproblem. Wherever it is invertible, solve for Q(s)Q(s) and substitute into Y(s)=LQ(s)Y(s)=LQ(s). The resulting matrix mapping transformed forces to transformed measurements is the transfer matrix, denoted H(s)H(s):

Y(s)=H(s)X(s),H(s)=LZ(s)1B.Y(s)=H(s)X(s),\qquad H(s)=LZ(s)^{-1}B.
(8)

Separating the modal contributions

The transfer matrix contains all the modes at once. To see their individual contributions, we expand it into fractions whose denominators contain one eigenvalue each.

Return to the mass–spring–damper oscillator, now driven by a force F(t)F(t). Its displacement is u(t)u(t), and its mass, damping coefficient, and stiffness are μ,b,k\mu,b,k. Divide by the mass and define the input g(t)=F(t)/μg(t)=F(t)/\mu, the force per unit mass. With the frequency and damping parameters defined above,

μu¨+bu˙+ku=F(t)u¨+2ζωnu˙+ωn2u=g(t).\mu\ddot u+b\dot u+ku=F(t)\quad\Longrightarrow\quad\ddot u+2\zeta\omega_n\dot u+\omega_n^2u=g(t).

Let U(s)U(s) and G(s)G(s) be the Laplace transforms of u(t)u(t) and g(t)g(t). With zero initial displacement and velocity, transforming gives

(s2+2ζωns+ωn2)U(s)=G(s),U(s)=h(s)G(s),h(s)=1s2+2ζωns+ωn2.(s^2+2\zeta\omega_ns+\omega_n^2)U(s)=G(s),\qquad U(s)=h(s)G(s),\qquad h(s)=\frac{1}{s^2+2\zeta\omega_ns+\omega_n^2}.

Here h(s)h(s) maps force per unit mass to displacement. Its numerator is 1 because the normalized input appears with coefficient 1. For a transfer function from the actual force FF, the numerator would instead be 1/μ1/\mu.

The denominator is the same characteristic polynomial that determines the free oscillation. For an underdamped oscillator, its two roots are λ\lambda and λˉ\bar\lambda. A quadratic with leading coefficient 1 factors as the product of ss minus each root, so s2+2ζωns+ωn2=(sλ)(sλˉ)s^2+2\zeta\omega_ns+\omega_n^2=(s-\lambda)(s-\bar\lambda). Partial fractions then give

h(s)=1(sλ)(sλˉ)=1λλˉ1sλ+1λˉλ1sλˉ.h(s)=\frac{1}{(s-\lambda)(s-\bar\lambda)}=\frac{1}{\lambda-\bar\lambda}\frac{1}{s-\lambda}+\frac{1}{\bar\lambda-\lambda}\frac{1}{s-\bar\lambda}.

As ss approaches λ\lambda, the first term becomes unbounded while the second stays finite. We call λ\lambda a pole and the coefficient 1/(λλˉ)1/(\lambda-\bar\lambda) its residue. The pole locates the singularity; the residue specifies its contribution. This decomposition also connects to time: the Laplace transform of eλte^{\lambda t} is 1/(sλ)1/(s-\lambda), wherever the integral converges. Each fraction therefore corresponds to one of the exponential rates found in the free-motion problem.

Now consider one entry of the transfer matrix. Let Hik(s)H_{ik}(s) map force input kk to sensor ii. Each entry is a ratio of polynomials: the inverse in H=LZ1BH=LZ^{-1}B has denominator detZ(s)\det Z(s), although factors can cancel. Its partial fractions therefore have the mechanical eigenvalues as their possible poles.

Assume the 2n2n roots of detZ(s)\det Z(s) are distinct and form decaying, oscillatory conjugate pairs. Choose one root, λm\lambda_m. In the expansion of HikH_{ik}, let rik,mr_{ik,m} be the coefficient of 1/(sλm)1/(s-\lambda_m), and let gik,m(s)g_{ik,m}(s) collect the fractions associated with all the other poles, including the conjugate pole λˉm\bar\lambda_m. Only the term for λm\lambda_m is separated out. Then

Hik(s)=rik,msλm+gik,m(s).H_{ik}(s)=\frac{r_{ik,m}}{s-\lambda_m}+g_{ik,m}(s).

This is an exact separation of the sum. The remainder gik,mg_{ik,m} stays finite as ss approaches λm\lambda_m, because its denominators vanish at other, distinct roots. To recover the coefficient rik,mr_{ik,m}, multiply by sλms-\lambda_m and take the limit:

limsλm(sλm)Hik(s)=limsλm[rik,m+(sλm)gik,m(s)]=rik,m+limsλm(sλm)gik,m(s)0=rik,m.\begin{aligned}\lim_{s\to\lambda_m}(s-\lambda_m)H_{ik}(s)&=\lim_{s\to\lambda_m}\left[r_{ik,m}+(s-\lambda_m)g_{ik,m}(s)\right]\\&=r_{ik,m}+\underbrace{\lim_{s\to\lambda_m}(s-\lambda_m)g_{ik,m}(s)}_{0}\\&=r_{ik,m}.\end{aligned}

The last term tends to zero: it is a vanishing factor times a bounded function. This is why the limit isolates the residue.

Repeat this for every sensor–input pair. Arrange the constants rik,mr_{ik,m} into a matrix RmR_m, and the remainder functions gik,mg_{ik,m} into a matrix Hrest,mH_{\mathrm{rest},m}, keeping their row and column positions. The entrywise equations become

H(s)=Rmsλm+Hrest,m(s),Rm=limsλm(sλm)H(s).H(s)=\frac{R_m}{s-\lambda_m}+H_{\mathrm{rest},m}(s),\qquad R_m=\lim_{s\to\lambda_m}(s-\lambda_m)H(s).

Thus RmR_m is a constant p×rp\times r matrix, with one coefficient for each of the pp sensors and rr inputs. It describes only the chosen pole’s contribution; Hrest,mH_{\mathrm{rest},m} contains the others, including the conjugate pole. A zero coefficient means that this particular entry has no contribution from the chosen pole.

Why the residue contains the mode shape

First distinguish the physical shape from the measured shape. The vector ϕm\phi_m describes mode mm at all nn displacement coordinates. The matrix LL maps those coordinates to the pp sensor readings, so define vm=Lϕmv_m=L\phi_m. For example, if ϕm=[1,3,2]T\phi_m=[1,3,-2]^T and the sensors measure only coordinates 1 and 3, then vm=[1,2]Tv_m=[1,-2]^T. The sensors see only that part of the shape.

Why must different force inputs give multiples of this same vector? Let T(s)=Z(s)1BT(s)=Z(s)^{-1}B be the transfer matrix from forces to all physical displacements, so Q=TXQ=TX. The transfer matrix HH from (8) maps forces to the sensor readings: since Y=LQ=LTXY=LQ=LTX, we have H=LTH=LT. Denote the residue of TT at λm\lambda_m by WmW_m. From Z(s)T(s)=BZ(s)T(s)=B, multiplying by sλms-\lambda_m and taking the limit gives

Wm=limsλm(sλm)T(s),Z(λm)Wm=limsλm(sλm)B=0.\begin{aligned}W_m&=\lim_{s\to\lambda_m}(s-\lambda_m)T(s),\\Z(\lambda_m)W_m&=\lim_{s\to\lambda_m}(s-\lambda_m)B=0.\end{aligned}

Thus every column of WmW_m solves the same equation as the mode shape: multiplication by Z(λm)Z(\lambda_m) gives zero. At the assumed simple root, this nullspace has dimension one, so every such column must be a scalar multiple of ϕm\phi_m. Let γm,k\gamma_{m,k} be that scalar for force input kk. The corresponding sensor column is therefore L(ϕmγm,k)=vmγm,kL(\phi_m\gamma_{m,k})=v_m\gamma_{m,k}.

Now use H=LTH=LT to return to the measured response. Because LL is constant, it can be taken outside the residue limit:

Rm=limsλm(sλm)H(s)=Llimsλm(sλm)T(s)=LWm.R_m=\lim_{s\to\lambda_m}(s-\lambda_m)H(s)=L\lim_{s\to\lambda_m}(s-\lambda_m)T(s)=LW_m.

Thus the result for the physical residue WmW_m gives the sensor residue RmR_m, which is the quantity needed in the expansion of HH.

For example, if two inputs have coefficients 2 and 3-3, and the measured shape is vm=[1,2]Tv_m=[1,-2]^T, their residue columns are

Rm=[2vm3vm]=[2346]=[12][23].R_m=\begin{bmatrix}2v_m&-3v_m\end{bmatrix}=\begin{bmatrix}2&-3\\-4&6\end{bmatrix}=\begin{bmatrix}1\\-2\end{bmatrix}\begin{bmatrix}2&-3\end{bmatrix}.

The columns differ in strength and sign, but both retain the sensor ratio 1:21:-2. This statement concerns the residue of one pole; the columns of the full transfer matrix need not be proportional because they include other modes.

Keep the two-input example and let X1(s),X2(s)X_1(s),X_2(s) be the transforms of the applied forces, so X(s)=[X1(s),X2(s)]TX(s)=[X_1(s),X_2(s)]^T. Multiplying the residue by this input vector combines its two columns:

RmX(s)=[2346][X1(s)X2(s)]=[2X1(s)3X2(s)4X1(s)+6X2(s)]=[12][2X1(s)3X2(s)].\begin{aligned}R_mX(s)&=\begin{bmatrix}2&-3\\-4&6\end{bmatrix}\begin{bmatrix}X_1(s)\\X_2(s)\end{bmatrix}\\&=\begin{bmatrix}2X_1(s)-3X_2(s)\\-4X_1(s)+6X_2(s)\end{bmatrix}\\&=\begin{bmatrix}1\\-2\end{bmatrix}\bigl[2X_1(s)-3X_2(s)\bigr].\end{aligned}

Both forces affect the response through the single quantity 2X13X22X_1-3X_2. The first sensor receives that quantity and the second receives 2-2 times it. This is the fixed spatial pattern.

The general notation expresses exactly this calculation. For rr inputs, collect their coefficients into the row γmT=[γm,1,,γm,r]\gamma_m^T=[\gamma_{m,1},\ldots,\gamma_{m,r}]. Factoring the common vector out of the residue columns gives

Rm=[vmγm,1vmγm,r]=vmγmT,γmTX(s)=k=1rγm,kXk(s).R_m=\begin{bmatrix}v_m\gamma_{m,1}&\cdots&v_m\gamma_{m,r}\end{bmatrix}=v_m\gamma_m^T,\qquad \gamma_m^TX(s)=\sum_{k=1}^{r}\gamma_{m,k}X_k(s).

Here Xk(s)X_k(s) is the transform of input kk. The product γmTX\gamma_m^TX is one scalar because it is a row times a column. In the example, γmT=[2,3]\gamma_m^T=[2,-3]. These coefficients belong to the system; XX describes the forces actually applied. The appendix derives the coefficients explicitly.

Recall that the residue is only the numerator of the pole term. Its contribution to H(s)H(s) is Rm/(sλm)R_m/(s-\lambda_m). Since Y=HXY=HX, the contribution of this one term to the transformed sensor response is

RmX(s)sλm=vmγmTX(s)sλmone scalar.\frac{R_mX(s)}{s-\lambda_m}=v_m\,\underbrace{\frac{\gamma_m^TX(s)}{s-\lambda_m}}_{\text{one scalar}}.

The denominator changes the frequency dependence, but it divides every sensor entry by the same number. The relative sensor amplitudes and phases remain those of vmv_m. A nonzero residue has rank one because its columns are all multiples of this vector. [1] [3]

Adding the other poles

So far we have kept only the term for λm\lambda_m. The full transfer matrix also includes its conjugate pole and every other mode. For real system matrices, the residue at λˉm\bar\lambda_m is Rˉm\bar R_m. Under our assumption of 2n2n distinct roots in conjugate pairs, summing the nn pairs reconstructs HH:

The index mm runs over the pairs, choosing the eigenvalue with positive imaginary part in each pair. This is the full partial-fraction expansion, not an assumption that one mode dominates.

A mode can be absent from the transfer matrix: if vm=0v_m=0, the sensors do not observe it; if γmT=0\gamma_m^T=0, none of the modeled inputs excites it. In either case Rm=0R_m=0, so that root contributes no pole to HH. [2] Even a visible mode may receive no contribution from a particular force combination for which γmTX=0\gamma_m^TX=0.

For example, suppose a mode has shape ϕm=[1,0,1]T\phi_m=[1,0,-1]^T: the first and third coordinates move in opposite directions, while the middle coordinate stays still. If the only sensor measures that middle coordinate, then L=[0,1,0]L=[0,1,0], giving vm=Lϕm=0v_m=L\phi_m=0 and hence Rm=0R_m=0. The mode can be vibrating elsewhere, but this sensor records none of its motion. Moving the sensor to the first coordinate makes this mode visible.

Equation (9) separates the transfer matrix into modal terms. The measured response still contains their sum. We next examine when one term dominates its spectral matrix strongly enough for FDD to recover the shape.

The response spectral matrix

We have expressed the forced response as a sum of modal contributions. In an operational measurement, however, the forces are unknown and fluctuate from record to record. We therefore need a description computed from the sensor signals themselves. The spectral matrix introduced in the opening example does this by averaging products of their Fourier coefficients.

From sensor records to a spectral matrix

Let TT be the duration of a record and YT(f)Y_T(f) the vector obtained by Fourier-transforming each sensor signal at frequency ff. At one frequency, abbreviate this vector by YY. For two sensors its entries are Y1,Y2Y_1,Y_2. The superscript HH means conjugate transpose: transpose the vector and conjugate its entries. It is an operation, distinct from the transfer matrix H(s)H(s). The outer product is

YYH=[Y1Y2][Yˉ1Yˉ2]=[Y12Y1Yˉ2Y2Yˉ1Y22].YY^H=\begin{bmatrix}Y_1\\Y_2\end{bmatrix}\begin{bmatrix}\bar Y_1&\bar Y_2\end{bmatrix}=\begin{bmatrix}|Y_1|^2&Y_1\bar Y_2\\Y_2\bar Y_1&|Y_2|^2\end{bmatrix}.

The diagonal contains squared amplitudes. The off-diagonal entries compare the channels. For channels ii and kk, let θi,θk\theta_i,\theta_k be their Fourier phases. Then YiYˉk=YiYkej(θiθk)Y_i\bar Y_k=|Y_i||Y_k|e^{j(\theta_i-\theta_k)}: conjugation leaves the phase difference. This is the information that distinguishes in-phase motion from opposite motion in our two-sensor example.

For random excitation, the Fourier coefficients vary between records. Write E\mathbb E for expectation, an average over possible records generated under the same statistical conditions. Averaging YYHYY^H retains the cross-channel products that persist across those records; unrelated phase fluctuations can cancel.

We assume zero-mean, wide-sense stationary measurements: each signal has zero mean and finite mean square, and its expected product with another channel depends only on the separation between the two times. Assume also that a spectral density exists in the band of interest. The response power spectral density (PSD) matrix Gy(f)G_y(f) is

YT(f)=T/2T/2y(t)ej2πftdt,Gy(f)=limT1TE ⁣[YT(f)YT(f)H].\begin{aligned}Y_T(f)&=\int_{-T/2}^{T/2}y(t)e^{-j2\pi ft}\,dt,\\G_y(f)&=\lim_{T\to\infty}\frac{1}{T}\mathbb E\!\left[Y_T(f)Y_T(f)^H\right].\end{aligned}
(10)

The factor 1/T1/T converts the squared-transform energy density of a record into a mean-square density. “Two-sided” means that both positive and negative frequencies are included. Integrating a diagonal entry over all frequencies gives that channel’s mean-square displacement, which equals its variance because the mean is zero. A displacement PSD therefore has units of displacement squared per hertz. [5]

In practice, we have finite data, so we estimate this average using windowed segments of a recording. The estimation appendix gives the normalization and averaging procedure.

Why this matrix admits the FDD decomposition

The outer product has two useful properties. Swapping its row and column indices conjugates the entry, so YYHYY^H equals its conjugate transpose. Such a matrix is called Hermitian. Averaging preserves this property.

Next, choose any complex column vector aa of sensor weights. The scalar aHYTa^HY_T is a weighted combination of the Fourier coefficients. Its squared magnitude cannot be negative, and neither can its average:

GyH=Gy,aHGya=limT1TE ⁣[aHYT2]0.G_y^H=G_y,\qquad a^HG_ya=\lim_{T\to\infty}\frac{1}{T}\mathbb E\!\left[|a^HY_T|^2\right]\ge0.
(11)

This second property is called positive semidefiniteness: every weighted combination has a nonnegative PSD. Together, the two properties ensure that GyG_y has real, nonnegative eigenvalues and an orthonormal eigenvector basis. This is the matrix structure used by FDD.

Connecting the spectrum to the mechanical system

The measured matrix GyG_y describes the response. To interpret its directions as mode shapes, we must connect it to the transfer matrix derived earlier. For a stable system in stationary operation, its frequency response is H(j2πf)H(j2\pi f). Define Gx(f)G_x(f) as the force PSD matrix, using the same Fourier-product convention as (10).

The input–output relation multiplies the force Fourier components by HH. Consequently, their outer products transform by multiplication on both sides. Suppressing the frequency arguments and writing X,YX,Y for input and output Fourier components, the algebra is

Y=HXYYH=(HX)(HX)H=H(XXH)HH.Y=HX\quad\Longrightarrow\quad YY^H=(HX)(HX)^H=H(XX^H)H^H.

At a fixed frequency, HH is determined by the system and does not vary between realizations, so it can be taken outside the expectation. Applying the spectral normalization gives the exact relation

Gy(f)=H(j2πf)Gx(f)H(j2πf)H.G_y(f)=H(j2\pi f)\,G_x(f)\,H(j2\pi f)^H.
(12)

The force spectrum determines how the system is excited; the transfer matrix contains its modal dynamics. [3] We now substitute the modal expansion of HH to determine when GyG_y is dominated by one measured shape.

When the spectrum is approximately rank one

Suppose the force PSD varies little across a resonance. Denote its approximately constant value by QxQ_x. A constant PSD is called white; the matrix need not be diagonal, so different force channels may still be correlated.

Write ω=2πf\omega=2\pi f for angular frequency and let Em(jω)E_m(j\omega) contain every transfer contribution except the selected pole, including its conjugate partner. Then

H(jω)=vmγmTjωλm+Em(jω),jωλm2=αm2+(ωωd,m)2.H(j\omega)=\frac{v_m\gamma_m^T}{j\omega-\lambda_m}+E_m(j\omega),\qquad |j\omega-\lambda_m|^2=\alpha_m^2+(\omega-\omega_{d,m})^2.
(13)

The selected term becomes large when ω\omega is close to ωd,m\omega_{d,m} and αm\alpha_m is small. If it dominates the response to the actual excitation, we can omit EmE_m in (12). Let dm(f)d_m(f) denote the resulting scalar spectral weight and \approx denote approximate equality:

Gy(f)dm(f)vmvmH,dm(f)=γmTQxγˉmαm2+(2πfωd,m)20.G_y(f)\approx d_m(f)v_mv_m^H,\qquad d_m(f)=\frac{\gamma_m^TQ_x\bar\gamma_m}{\alpha_m^2+(2\pi f-\omega_{d,m})^2}\ge0.
(14)

The numerator is nonnegative: with b=γˉmb=\bar\gamma_m, it is bHQxbb^HQ_xb, a quadratic form of the positive-semidefinite force PSD. The frequency dependence is therefore confined to dmd_m; the direction vmv_m is fixed. This is the general version of the two-sensor example.

The assumption concerns the excited response, not damping alone. A nearby mode can remain important, and a lightly damped mode may be weakly forced or poorly observed. The residual bound below makes this distinction precise. [3]

Extracting the mode shape

In practice, GyG_y is replaced by an estimate G^y\widehat G_y, with the hat indicating a quantity computed from data. FDD applies a singular value decomposition (SVD) separately at each frequency. For a Hermitian positive-semidefinite matrix, the singular vectors can be chosen as unit eigenvectors with zero pairwise inner products (orthonormal eigenvectors). The singular values are the corresponding eigenvalues.

At frequency fif_i, let uk(fi)u_k(f_i) and sk(fi)s_k(f_i) be these vectors and values, ordered largest first. Assemble the vectors into the columns of UiU_i and the values into the diagonal matrix SiS_i. Then

G^y(fi)=UiSiUiH=k=1psk(fi)uk(fi)uk(fi)H,s1s20.\widehat G_y(f_i)=U_i S_i U_i^H=\sum_{k=1}^{p}s_k(f_i)u_k(f_i)u_k(f_i)^H,\quad s_1\ge s_2\ge\cdots\ge0.
(15)

For a vector vv, write v=vHv\|v\|=\sqrt{v^Hv} for its Euclidean norm. The rank-one matrix in (14) has a single nonzero eigenvalue, since

(dmvmvmH)vm=dmvm2vm.\bigl(d_mv_mv_m^H\bigr)v_m=d_m\|v_m\|^2v_m.

Let θ\theta denote an arbitrary common phase angle. Normalizing the eigenvector gives

s1dmvm2,u1ejθvmvm.s_1\approx d_m\|v_m\|^2,\qquad u_1\approx e^{j\theta}\frac{v_m}{\|v_m\|}.
(16)

The first singular value describes the spectral strength of the mode; the first singular vector estimates its relative amplitudes and phases at the sensors. For the opening example, these are 5Sa(f)5S_a(f) and [1,2]T/5[1,-2]^T/\sqrt5. The same calculation holds with any number of measured channels. [3]

Neither the absolute shape scale nor the force amplitude is identified. Multiplying the shape by a constant and compensating in the spectral weight gives the same matrix. Consequently, output-only FDD does not determine modal mass, the effective mass associated with a chosen shape normalization.

Peak frequency is not pole frequency

Let fpeakf_{\mathrm{peak}} denote the frequency of a spectral maximum and ωpeak=2πfpeak\omega_{\mathrm{peak}}=2\pi f_{\mathrm{peak}}. Even a single-degree-of-freedom (SDOF) oscillator distinguishes this frequency from ωn\omega_n and ωd\omega_d. With h(jω)h(j\omega) denoting its force-to-displacement transfer function, and modal subscripts omitted, its squared magnitude is given below. The symbol \propto suppresses a frequency-independent factor; under white forcing, the displacement PSD has this same frequency dependence:

h(jω)21(ωn2ω2)2+4ζ2ωn2ω2,ωpeak=ωn12ζ2.|h(j\omega)|^2\propto\frac{1}{(\omega_n^2-\omega^2)^2+4\zeta^2\omega_n^2\omega^2},\quad \omega_{\mathrm{peak}}=\omega_n\sqrt{1-2\zeta^2}.
(17)

Differentiating the denominator gives 4ω[ω2ωn2+2ζ2ωn2]4\omega[\omega^2-\omega_n^2+2\zeta^2\omega_n^2]; its nonzero root yields the stated maximum when ζ<1/2\zeta<1/\sqrt2. At light damping the three frequencies are close, which explains the usefulness of peak picking. Colored forcing, acceleration measurements, and finite spectral resolution can shift a measured maximum further.

Two modes in the same band

Consider two independent modal responses: knowing one leaves the probability distribution of the other unchanged. Let their measured shapes be v1,v2v_1,v_2 and their spectral weights d1,d2d_1,d_2. Their contributions add:

Gy=d1v1v1H+d2v2v2H.G_y=d_1v_1v_1^H+d_2v_2v_2^H.
(18)

Multiplying by the first physical shape gives

Gyv1=d1v12v1+d2v2(v2Hv1).G_yv_1=d_1\|v_1\|^2v_1+d_2v_2(v_2^Hv_1).

The second term generally points away from v1v_1. Therefore a singular vector need not equal either physical shape. If both weights are positive and the shapes are linearly independent, the leading two vectors recover their span—the set of their linear combinations. Recovering each mode separately requires more than a rank-two decomposition. [4]

Orthogonal measured shapes, satisfying v1Hv2=0v_1^Hv_2=0, are a special case. They should not be confused with mass-orthogonal physical modes, satisfying ϕ1HMϕ2=0\phi_1^HM\phi_2=0. The latter does not imply the former. Equal singular values also leave the basis within the corresponding subspace undetermined.

Two measured shapes

At a 90° shape angle, the two directions are orthogonal. Reduce the angle and the frequency separation to see how the estimated direction mixes the modes.

Let β\beta be the angle between two unit measured shapes, v1=[1,0]Tv_1=[1,0]^T and v2=[cosβ,sinβ]Tv_2=[\cos\beta,\sin\beta]^T. Their natural frequencies are fn,m=ωn,m/(2π)f_{n,m}=\omega_{n,m}/(2\pi): mode 1 is fixed at 3 Hz, and the separation control sets mode 2. Both have damping ratio ζ\zeta. Independent white modal forces, with no sensor noise, produce (18) with weights

dm(f)=11(f/fn,m)2+j2ζ(f/fn,m)2.d_m(f)=\left|\frac{1}{1-(f/f_{n,m})^2+j2\zeta(f/f_{n,m})}\right|^2.

The readout measures shape agreement using the modal assurance criterion (MAC): the squared magnitude of the inner product divided by the product of squared norms. It is 1 for proportional vectors and 0 for orthogonal vectors. For the unit vectors here, MAC(u1,vm)=u1Hvm2\operatorname{MAC}(u_1,v_m)=|u_1^Hv_m|^2.

— First singular value– – Second singular valueVertical line: inspected frequency

Computed example, not measured data. The axis uses base-10 logarithmic spacing for the PSD singular values in arbitrary units. Both modal transfer functions have unit static gain, meaning that their value at zero frequency is one. The vertical line marks the frequency selected for the singular-value ratio and MAC readout.

Estimating damping

Enhanced frequency domain decomposition (EFDD) uses the spatial estimate to select the spectrum associated with one mode, then transforms that spectrum into a correlation decay. The selected part is called a spectral bell. Its width contains damping information that a peak location alone cannot supply. [4]

The modal assurance criterion (MAC) measures agreement between two nonzero vectors. Let v^m\hat v_m be a reference shape taken near a resonance and uku_k a candidate singular vector at a neighboring frequency. Their MAC is

MAC(uk,v^m)=ukHv^m2(ukHuk)(v^mHv^m)[0,1].\operatorname{MAC}(u_k,\hat v_m)=\frac{|u_k^H\hat v_m|^2}{(u_k^Hu_k)(\hat v_m^H\hat v_m)}\in[0,1].
(19)

The Cauchy–Schwarz inequality bounds an inner-product magnitude by the product of the norms, so MAC lies between 0 and 1. It is 1 for proportional vectors and 0 for orthogonal vectors; a common complex scale has no effect.

Starting at the reference peak, follow the matching spatial direction outward on both sides. This direction can move between ordered singular vectors when singular values cross. A MAC threshold of 0.8 is a practical starting value, not a universal constant. Stop when the match fails, set unselected bins to zero, and inspect the resulting bell for another mode’s contribution. [7]

A superscript ++ denotes a one-sided PSD, containing only nonnegative frequencies with the positive interior contributions doubled. Let b+(f)b^+(f) be the selected bell and Rm(τ)\mathcal R_m(\tau) its autocorrelation at lag τ\tau, the time separation between two response values. For a discrete calculation, let fsf_s be the sampling rate, NN an even transform length, and Δf=fs/N\Delta f=f_s/N the frequency spacing. Write b+[k]b^+[k] for the sample at frequency kΔfk\Delta f, and \ell for the lag index. Then

Rm(τ)=0b+(f)cos(2πfτ)dfΔfk=0N/2b+[k]cos ⁣(2πkN),τ=fs.\mathcal R_m(\tau)=\int_0^\infty b^+(f)\cos(2\pi f\tau)\,df\approx\Delta f\sum_{k=0}^{N/2}b^+[k]\cos\!\left(\frac{2\pi k\ell}{N}\right),\quad\tau=\frac{\ell}{f_s}.
(20)

The cosine transform combines equal positive- and negative-frequency contributions. Its discrete implementation requires the one-sided scaling described under spectral estimation.

For an isolated mode under the EFDD approximation, the correlation oscillates with a decaying envelope. Let am(t)a_m(t) be that positive envelope, A0>0A_0>0 its extrapolated initial amplitude, and TdT_d the full damped period. Here tt measures elapsed lag. The logarithmic decrement δ\delta is the natural logarithm, denoted ln\ln, of the amplitude ratio per period. For peaks separated by kk full periods,

am(t)=A0eαmt,Td=2πωd,m,δ=1klnam(t)am(t+kTd)=αmTd.a_m(t)=A_0 e^{-\alpha_m t},\quad T_d=\frac{2\pi}{\omega_{d,m}},\quad \delta=\frac{1}{k}\ln\frac{a_m(t)}{a_m(t+kT_d)}=\alpha_m T_d.
(21)

The exponential makes the logarithmic ratio independent of the starting time. Define fd,m=ωd,m/(2π)f_{d,m}=\omega_{d,m}/(2\pi). Substituting (7) gives δ=2πζm/1ζm2\delta=2\pi\zeta_m/\sqrt{1-\zeta_m^2}, and hence

ζm=δ4π2+δ2,fn,m=fd,m1ζm2.\zeta_m=\frac{\delta}{\sqrt{4\pi^2+\delta^2}},\qquad f_{n,m}=\frac{f_{d,m}}{\sqrt{1-\zeta_m^2}}.
(22)

A fit to several log peak amplitudes is more useful than one ratio. Same-sign peaks are a full period apart; alternating extrema are half a period apart. The fit should exclude initial distortion, late noise, and beating, the slow amplitude modulation from nearby modes. Bell truncation and spectral leakage—the spreading caused by a finite window—can bias the decay, so the damping estimate should be checked across reasonable spectral and fitting settings. [4] [7] [8]

Using the method on measurements

The calculation is short: estimate the full cross-spectral matrix, decompose it at every frequency, inspect the dominant vectors around candidate peaks, and, if damping is needed, select and fit the corresponding correlation decay. The interpretation depends on a few checks.

  • Measurement consistency. Channels must be synchronized, with known units and sensor directions. Arbitrary channel rescaling changes the spatial geometry seen by the SVD.
  • Spectral estimation. Use the same segments and window in every channel pair. Too few averages can produce an artificially small matrix rank. Zero-padding gives a denser frequency grid, not finer resolution.
  • Modal interpretation. A peak with a stable spatial direction is a candidate mode. A sinusoidal force can also produce a rank-one peak; the decomposition alone cannot distinguish the two.
  • Reported quantities. State the sensor coordinates, shape normalization, cross-spectrum convention, and spectral settings. For EFDD, include the selected bell and the fitted lag interval.

An absent peak does not establish an absent mode. The relevant shape may be weakly excited or invisible at the available sensors. These limitations follow from the same input and measurement factors that appear in the transfer matrix. [3]

Appendix: the state eigenproblem

The quadratic problem can be written as an ordinary eigenproblem by including velocity in the state. Let zz be the 2n2n-component state vector, AA its evolution matrix, and II the n×nn\times n identity. With zero blocks of the same size, the free equations become

z=[qq˙],z˙=Az,A=[0IM1KM1C].z=\begin{bmatrix}q\\\dot q\end{bmatrix},\qquad \dot z=A z,\qquad A=\begin{bmatrix}0&I\\-M^{-1}K&-M^{-1}C\end{bmatrix}.
(23)

Let Ψm\Psi_m be a state eigenvector, with upper and lower nn-component blocks Ψm,1,Ψm,2\Psi_{m,1},\Psi_{m,2}. Substitution of z=Ψmeλmtz=\Psi_m e^{\lambda_m t} gives AΨm=λmΨmA\Psi_m=\lambda_m\Psi_m. The upper block requires Ψm,2=λmΨm,1\Psi_{m,2}=\lambda_m\Psi_{m,1}, and the lower block gives

Ψm=[ϕmλmϕm],KϕmλmCϕm=λm2Mϕm.\Psi_m=\begin{bmatrix}\phi_m\\\lambda_m\phi_m\end{bmatrix},\qquad -K\phi_m-\lambda_m C\phi_m=\lambda_m^2M\phi_m.
(24)

Thus every eigenvector of AA has displacement block ϕm0\phi_m\ne0 and velocity block λmϕm\lambda_m\phi_m. Its upper block is the physical mode shape and satisfies Z(λm)ϕm=0Z(\lambda_m)\phi_m=0. Conversely, every nonzero solution of this quadratic eigenproblem gives an eigenvector of AA by stacking those two blocks:

Z(λm)ϕm=0A[ϕmλmϕm]=λm[ϕmλmϕm].Z(\lambda_m)\phi_m=0\quad\Longleftrightarrow\quad A\begin{bmatrix}\phi_m\\\lambda_m\phi_m\end{bmatrix}=\lambda_m\begin{bmatrix}\phi_m\\\lambda_m\phi_m\end{bmatrix}.

Here the double arrow means that either relation implies the other. In the quadratic problem, λm\lambda_m selects the matrix Z(λm)Z(\lambda_m), and ϕm\phi_m lies in its nullspace; it does not satisfy Z(λm)ϕm=λmϕmZ(\lambda_m)\phi_m=\lambda_m\phi_m. To recover a displacement mode shape from a state eigenvector, simply take its first nn entries.

The two problems have the same 2n2n eigenvalues, counting repeated roots according to their multiplicity. Real matrices give conjugate pairs of nonreal roots. A defective eigenvalue has fewer independent eigenvectors than its multiplicity and requires polynomial factors in time; the simple-pole expansion used here excludes that case. [1], §§3.4–3.6.

Damped modal parameters and undamped structural frequencies

There are two different meanings of “remove the damping” here. For the equivalent scalar oscillator, we set its damping ratio to zero while keeping its frequency parameter ωn,m=λm\omega_{n,m}=|\lambda_m|. For the whole structure, we set C=0C=0 in (4) and solve a new eigenproblem. Let Ωr\Omega_r and ψr\psi_r denote an undamped angular frequency and its displacement shape, with rr indexing the undamped modes. Substituting a sinusoid into the undamped equations gives

Mq¨+Kq=0,Kψr=Ωr2Mψr.M\ddot q+Kq=0,\qquad K\psi_r=\Omega_r^2M\psi_r.

For a single mass and spring, these two calculations agree: both give k/μ\sqrt{k/\mu}. They also agree mode by mode when damping leaves the undamped modes as independent scalar oscillators. More general damping can couple those motions, so a damped mode can combine several undamped shapes. In that case, matching one damped eigenvalue pair to a scalar oscillator does not reproduce the result of removing damping from the whole structure: λm|\lambda_m| need not equal any Ωr\Omega_r. Here, “natural frequency of mode mm” means the parameter λm|\lambda_m| computed from its damped eigenvalue. [1]

Appendix: the residue formula

At a simple root λm\lambda_m, let ϕm\phi_m and mH\ell_m^H be nonzero right and left null vectors: multiplication by Z(λm)Z(\lambda_m) on the corresponding side gives zero. The residue is defined by the limit

Z(λm)ϕm=0,mHZ(λm)=0,Rm=limsλm(sλm)H(s).Z(\lambda_m)\phi_m=0,\qquad \ell_m^H Z(\lambda_m)=0,\qquad R_m=\lim_{s\to\lambda_m}(s-\lambda_m)H(s).
(25)

The cofactor at row ii, column jj is (1)i+j(-1)^{i+j} times the determinant after deleting that row and column. The adjugate adjZ\operatorname{adj}Z is the transpose of the cofactor matrix. It remains defined at singular matrices and satisfies ZadjZ=adjZZ=(detZ)IZ\operatorname{adj}Z=\operatorname{adj}Z\,Z=(\det Z)I. Wherever ZZ is invertible,

H(s)=LadjZ(s)detZ(s)B.H(s)=L\frac{\operatorname{adj}Z(s)}{\det Z(s)}B.

A simple root gives rank n1n-1. The adjugate identities place its columns and rows in the one-dimensional right and left nullspaces. Let cm0c_m\ne0 be the resulting proportionality constant and dmd'_m the derivative of detZ(s)\det Z(s) at the root. The symbol O((sλm)2)O((s-\lambda_m)^2) denotes a remainder bounded by a constant times sλm2|s-\lambda_m|^2 near that root. Then

adjZ(λm)=cmϕmmH,detZ(s)=(sλm)dm+O((sλm)2).\operatorname{adj}Z(\lambda_m)=c_m\phi_m\ell_m^H,\qquad \det Z(s)=(s-\lambda_m)d'_m+O((s-\lambda_m)^2).
(26)

Let Z(s)=2sM+CZ'(s)=2sM+C be the entrywise derivative, and let tr\operatorname{tr} denote trace, the sum of diagonal entries. Jacobi’s determinant-derivative identity, valid also at singular matrices, gives

dm=tr ⁣(adjZ(λm)Z(λm))=cmmH(2λmM+C)ϕm.d'_m=\operatorname{tr}\!\left(\operatorname{adj}Z(\lambda_m)Z'(\lambda_m)\right)=c_m\ell_m^H(2\lambda_m M+C)\phi_m.
(27)

Substitution in the residue limit cancels both sλms-\lambda_m and cmc_m. The input-coupling row introduced above is therefore γmT=(mHB)/[mH(2λmM+C)ϕm]\gamma_m^T=(\ell_m^HB)/[\ell_m^H(2\lambda_mM+C)\phi_m], and

Rm=(Lϕm)(mHB)mH(2λmM+C)ϕm=vmγmT.R_m=\frac{(L\phi_m)(\ell_m^H B)}{\ell_m^H(2\lambda_m M+C)\phi_m}=v_m\gamma_m^T.
(28)

The denominator is nonzero at a simple root. The residue vanishes precisely when the mode is unobserved, Lϕm=0L\phi_m=0, or unexcited, mHB=0\ell_m^HB=0. In a minimal state realization, every state direction is reachable from the inputs and observable in the outputs, so no state pole is lost from the transfer matrix. Individual entries can still omit modes. [2]

Substituting the factorized residue into the conjugate-pair expansion yields

H(s)=m=1n(vmγmTsλm+vˉmγˉmTsλˉm).H(s)=\sum_{m=1}^{n}\left(\frac{v_m\gamma_m^T}{s-\lambda_m}+\frac{\bar v_m\bar\gamma_m^T}{s-\bar\lambda_m}\right).
(29)

Real or repeated roots require a different expansion; truncating the sum to a few modes leaves a residual. For force-to-velocity and force-to-acceleration matrices, denoted Hy˙H_{\dot y} and Hy¨H_{\ddot y}, zero initial conditions give Hy˙=sHH_{\dot y}=sH and Hy¨=s2HH_{\ddot y}=s^2H. Their residues acquire factors λm\lambda_m and λm2\lambda_m^2. Acceleration can also have a direct input term, called feedthrough, given by its high-frequency transfer limit.

Inverse expansion: [1], §3.5, equation (3.11). Factorized residues: [3], equations (2)–(3). The adjugate calculation supplies the intermediate steps.

Appendix: a bound on the omitted response

Assume the constant force spectrum QxQ_x within the selected band. Let Qx1/2Q_x^{1/2} be its Hermitian positive-semidefinite square root. Define the selected-pole transfer Pm=vmγmT/(jωλm)P_m=v_m\gamma_m^T/(j\omega-\lambda_m), and weight it and the residual by the excitation: D=PmQx1/2D=P_mQ_x^{1/2}, F=EmQx1/2F=E_mQ_x^{1/2}. Expanding (12) gives

Gy=DDH+DFH+FDH+FFH.G_y=DD^H+DF^H+FD^H+FF^H.
(30)

Let 2\|\cdot\|_2 denote the matrix spectral norm, the largest amplification of a unit vector, and let ε0\varepsilon\ge0 bound the relative residual. The triangle inequality and the product bound for this norm give

F2εD2,GyDDH22D2F2+F22(2ε+ε2)D22.\begin{aligned}\|F\|_2&\le\varepsilon\|D\|_2,\\\|G_y-DD^H\|_2&\le2\|D\|_2\|F\|_2+\|F\|_2^2\\&\le(2\varepsilon+\varepsilon^2)\|D\|_2^2.\end{aligned}

A small ε\varepsilon is a sufficient condition for an accurate rank-one approximation. It depends on the force spectrum and modal visibility as well as pole separation. Light damping, ζm1\zeta_m\ll1, where \ll means much smaller than, is not by itself this condition. The bound is a direct consequence of the input–output PSD relation in [3].

Appendix: spectral conventions and estimation

Conjugation order

Some sources define the cross-spectral matrix with YˉYT\bar Y Y^T instead of YYHYY^H. Denote that matrix by G~y\widetilde G_y. Then

G~y=GyT=Gˉy.\widetilde G_y=G_y^T=\bar G_y.
(31)

Under this convention, (14) becomes G~ydmvˉmvmT\widetilde G_y\approx d_m\bar v_m v_m^T. The leading vector estimates vˉm\bar v_m, so it must be conjugated to recover our shape convention. Both conventions are valid; they must not be mixed.

SciPy, a scientific-computing library for Python, uses conjugate-first ordering in csd(a, b). If y[i] contains channel i, our entry (i,j)(i,j) is obtained with csd(y[j], y[i]). [6]

Welch’s estimate

Welch’s method divides a record into possibly overlapping segments, applies the same window to every channel, and averages the spectral products. Detrending removes a fitted mean or trend. A window assigns a real weight to each sample to control the spectral spreading caused by a finite record.

Let NbN_b be the number of segments, NwN_w their length in samples, and w[ν]w[\nu] the window at within-segment index ν\nu. Indices bb and kk label segments and frequency bins. Write Yb[k]Y_b[k] for the vector of unnormalized discrete Fourier transform (DFT) coefficients after detrending and windowing. A fast Fourier transform (FFT) computes the DFT efficiently.

For real measurements, the one-sided factor ηk\eta_k is 2 at interior positive-frequency bins and 1 at DC (zero frequency) and Nyquist (half the sampling rate), when present. At sampling rate fsf_s, the estimate is

G^y+[k]=ηkNbfsν=0Nw1w[ν]2b=1NbYb[k]Yb[k]H.\widehat G_y^+[k]=\frac{\eta_k}{N_b f_s\sum_{\nu=0}^{N_w-1}w[\nu]^2}\sum_{b=1}^{N_b}Y_b[k]Y_b[k]^H.
(32)

Using identical segments and windows preserves the Hermitian positive-semidefinite structure. Each segment contributes at most one independent direction, so the estimated rank cannot exceed NbN_b. Averaging reduces variability between estimates, but does not eliminate a persistent noise or forcing spectrum. [6]

Longer segments improve frequency resolution; more effectively independent segments improve averaging. Overlap does not make segments independent. Appending zeros before the DFT only samples the same windowed spectrum more densely; it does not improve the resolution set by the segment duration and window. [5]

Density units and the inverse transform

The spectra here are densities per hertz. With superscripts (f)(f) and (ω)(\omega) labeling density per hertz and per radian per second, respectively, the change of variables dω=2πdfd\omega=2\pi\,df gives

G(ω)(ω)=12πG(f) ⁣(ω2π).G^{(\omega)}(\omega)=\frac{1}{2\pi}G^{(f)}\!\left(\frac{\omega}{2\pi}\right).

For the EFDD inverse transform, halve the one-sided positive interior bins and mirror them to negative frequencies. Keep the DC and Nyquist endpoint weights from (32). An inverse DFT with normalization 1/N1/N must be multiplied by fsf_s to obtain the discrete correlation in (20). Normalizing by Rm(0)\mathcal R_m(0) removes an overall scale but does not repair incorrect mirroring. [5]

Additive sensor noise

Let η(t)\eta(t) denote sensor noise and GηG_\eta its PSD. If the noise and structural response have zero cross-covariance at every lag, their spectra add: Gy+η=Gy+GηG_{y+\eta}=G_y+G_\eta. Correlated noise introduces additional cross terms. A large singular value can therefore reflect the measurement process as well as the structure.

Sources for the derivations

The references below distinguish source results from algebra developed here. The numerical example and interactive figures are computed from the displayed equations.

DerivationSource
Two-sensor example (1)(3)Direct outer-product and eigenvector calculations; the PSD construction is formalized in (10).
Mechanical model (4), eigenproblem (5)(6), state formulation (23)(24)[1], introduction and §§3.4–3.6. Substitution and block calculation shown here.
Pole parameters (7)[9], §2, for the scalar oscillator; [3], §2, for modal parameters. Coefficient matching shown here.
Transfer relation (8) and pole visibilityLaplace transform of (4); [2], transfer functions and minimal realizations.
Residue factorization (9), proof (25)(29)[1], §3.5; [3], equations (2)–(3). Adjugate proof supplied here.
PSD (10)(11), conventions (31), estimate (32)[5] and [6]. Matrix positivity and scaling worked out here.
Response spectrum (12)(14), residual (30)[3], §§2–3. Substitution and error bound shown here.
FDD (15)(16), peak (17), overlap (18)[3], §3; [4], close-mode examples. Eigenpair, peak location, and two-mode calculation derived here.
EFDD (19)(22)[4], p. 699; [7]. Correlation scaling and decrement algebra shown here; leakage discussed in [8].

References

  1. Tisseur, F. & Meerbergen, K. (2001). The Quadratic Eigenvalue Problem. SIAM Review, 43(2), 235–286. DOI.University repository full text. §§3.4–3.6 cover linearization, the inverse and repeated/defective eigenvalues.
  2. Åström, K. J. & Murray, R. M. Feedback Systems — Transfer Functions. Author-hosted chapter draft, 22 October 2016.Transfer-function/state-space relationship and the reachable/observable part of the Kalman decomposition; see also exercise 9.8.
  3. Brincker, R., Zhang, L. & Andersen, P. (2000). Output-Only Modal Analysis by Frequency Domain Decomposition. Proceedings of ISMA25, vol. 2, 717–723.Full-text conference source used for the equation references here. Related journal article: Modal identification of output-only systems using frequency domain decomposition, Smart Materials and Structures 10 (2001), 441–445.
  4. Brincker, R., Ventura, C. E. & Andersen, P. (2001). Damping Estimation by Frequency Domain Decomposition. Proceedings of IMAC XIX, 698–703.Bell tracking, correlation decay, extrema regression, and examples with close modes, nonorthogonal shapes and correlated input.
  5. SciPy documentation. Signal Processing — Spectral Analysis.Fourier normalization, spectral densities, windowing and the resolution/variance tradeoff.
  6. SciPy documentation. scipy.signal.csd.See Notes for conjugate-first cross spectra and window scaling; cites Welch’s original 1967 paper.
  7. Structural Vibration Solutions. ARTeMIS Modal Help — Enhanced Frequency Domain Decomposition.Implementation guidance: branch matching, a starting MAC threshold of 0.8, and choosing a valid regression interval.
  8. Zhang, L., Tamura, Y., Yoshida, A., Cho, K., Nakata, S. & Naito, S. (2002). Ambient Vibration Testing & Modal Identification of an Office Building. Proceedings of IMAC XX.See the damping-estimation discussion and Table 2/Figure 9 for the influence of PSD resolution and leakage.
  9. MIT OpenCourseWare (2017). Damped Oscillations. Lecture 4, Introduction to Oscillations and Waves.§2 derives the scalar oscillator equation, exponential roots, and damping regimes. The damping ratio here is the notes’ decay parameter divided by the undamped angular frequency.
  10. MIT OpenCourseWare (2018). Topic 12: Laplace Transform. Complex Variables with Applications.Transform definition, convergence, and the derivative rule obtained by integration by parts.

All explanatory figures on this page are computed specifically for this tutorial; no paper figures are reproduced.