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 denote time, the first displacement, and the column vector of both measurements. The fixed vector describes their relative motion:
The time dependence is entirely in . It can be irregular; the spatial ratio remains . 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 denote frequency in hertz, the Fourier coefficient of over a record, and the corresponding sensor coefficients. Linearity of the Fourier transform gives and . An overbar denotes complex conjugation and vertical bars denote magnitude. At each frequency,
The separate power spectra preserve the amplitude ratio, but lose the sign: squaring gives the same result for and . 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 . Let be the PSD of the first signal, its mean-square displacement per unit frequency, and let the superscript 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
Where , 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:
The eigenvalue depends on how strongly the motion is excited. The eigenvector gives the relative motion , 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 displacement coordinates, force inputs, and measured channels. A coordinate is one degree of freedom; a channel is one recorded sensor signal. Let , , and denote the displacement, force, and measured-displacement vectors.
The real matrices are the mass, viscous damping, and stiffness matrices, with invertible. The matrices and , of sizes and , distribute the forces and select the measurements. A dot denotes a time derivative. The equations are
Linearity means that responses add and scale with the inputs; time invariance means that the matrices are constant. The distinction between and matters: a structure may have many coordinates and only a few sensors.
For free motion, set . Physical displacement is real. To find the modes, we temporarily allow a complex auxiliary solution, denoted . We seek a fixed spatial vector , the shape of mode , evolving at a complex rate in inverse seconds:
Substituting into (4) and cancelling the nonzero exponential leaves a matrix polynomial. For a complex rate , define the dynamic stiffness matrix . Writing for the determinant, the admissible rates and shapes satisfy the quadratic eigenvalue problem:
The last equality follows because 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 . To interpret one of them, return to the time factor in (5). Let and be its real and imaginary parts, and let be the imaginary unit, . Euler’s formula separates the exponential into an amplitude factor and an oscillation:
If , the amplitude decays; if , it grows. A nonzero imaginary part produces oscillation. Since the system matrices are real, nonreal eigenvalues occur in conjugate pairs. Select the member with . For a decaying mode, define , so . The decay rate is therefore , and the damped angular frequency is , 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 be a complex coefficient fixed by the initial conditions, the displacement contribution of this pair, and denote real part:
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 , 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 , spring stiffness , damping coefficient , and displacement from equilibrium. With no external force,
First remove the damper, setting . Dividing by the mass gives . A cosine at angular frequency has second derivative times itself, so this equation requires . This is the undamped natural angular frequency: the rate of free oscillation set by mass and stiffness. Its value in cycles per second is .
Restore the damper. Before defining a damping ratio, find the value of at which oscillation disappears. Substituting into the equation of motion and cancelling the exponential gives the characteristic equation: its roots are the allowed exponential rates.
The expression under the square root determines the type of motion. When , the roots are complex and produce oscillation; when , 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 . Since ,
The symbol here introduces a definition. We define the dimensionless damping ratio as the actual damping divided by this critical value. Thus means 5% of critical damping; is underdamped, is critically damped, and is overdamped. The denominator and its factor of 2 come directly from the quadratic roots. [9]
Using , the damping coefficient per unit mass becomes . Dividing the motion equation by therefore gives the conventional oscillator equation and its characteristic polynomial:
Returning to the modal eigenvalue
The link between an eigenvalue and a polynomial root comes from the exponential solution. In the mechanical system, substituting gave . Since , the matrix is singular: . Thus 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 . To test whether it admits the rate , substitute the auxiliary complex motion :
The last step follows because the exponential never vanishes. Therefore the oscillator admits precisely when is a root of . 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 and .
Its characteristic polynomial must be zero at both rates. The factor is zero at the first, and 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 ; the same factorization rule applies to complex roots.
Substitute the two eigenvalues into these factors and expand. Since , the imaginary terms cancel:
Matching this with requires and . These define the oscillator parameters associated with mode . With denoting magnitude,
The eigenvalue now gives three quantities: describes how quickly the amplitude decays, describes how fast it oscillates, and 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: , . 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 , . For , define . For , define and the real poles , . The plotted displacement is
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 as a percentage. [9]
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 , where is a real exponential weighting rate and is angular frequency. Denote the Laplace transform by , and let be the transform of displacement, taken entry by entry:
This is a Fourier transform of the exponentially weighted signal on . Choosing sufficiently large makes the integral converge for signals that grow no faster than an exponential. The variable ranges over complex values; the eigenvalues 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
Thus, with zero initial displacement and velocity, each time derivative becomes multiplication by . [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 and be the transforms of the force and measured displacement . Applying the transform to (4) gives
The same matrix appeared in the free-motion eigenproblem. Wherever it is invertible, solve for and substitute into . The resulting matrix mapping transformed forces to transformed measurements is the transfer matrix, denoted :
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 . Its displacement is , and its mass, damping coefficient, and stiffness are . Divide by the mass and define the input , the force per unit mass. With the frequency and damping parameters defined above,
Let and be the Laplace transforms of and . With zero initial displacement and velocity, transforming gives
Here 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 , the numerator would instead be .
The denominator is the same characteristic polynomial that determines the free oscillation. For an underdamped oscillator, its two roots are and . A quadratic with leading coefficient 1 factors as the product of minus each root, so . Partial fractions then give
As approaches , the first term becomes unbounded while the second stays finite. We call a pole and the coefficient its residue. The pole locates the singularity; the residue specifies its contribution. This decomposition also connects to time: the Laplace transform of is , 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 map force input to sensor . Each entry is a ratio of polynomials: the inverse in has denominator , although factors can cancel. Its partial fractions therefore have the mechanical eigenvalues as their possible poles.
Assume the roots of are distinct and form decaying, oscillatory conjugate pairs. Choose one root, . In the expansion of , let be the coefficient of , and let collect the fractions associated with all the other poles, including the conjugate pole . Only the term for is separated out. Then
This is an exact separation of the sum. The remainder stays finite as approaches , because its denominators vanish at other, distinct roots. To recover the coefficient , multiply by and take the limit:
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 into a matrix , and the remainder functions into a matrix , keeping their row and column positions. The entrywise equations become
Thus is a constant matrix, with one coefficient for each of the sensors and inputs. It describes only the chosen pole’s contribution; 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 describes mode at all displacement coordinates. The matrix maps those coordinates to the sensor readings, so define . For example, if and the sensors measure only coordinates 1 and 3, then . The sensors see only that part of the shape.
Why must different force inputs give multiples of this same vector? Let be the transfer matrix from forces to all physical displacements, so . The transfer matrix from (8) maps forces to the sensor readings: since , we have . Denote the residue of at by . From , multiplying by and taking the limit gives
Thus every column of solves the same equation as the mode shape: multiplication by gives zero. At the assumed simple root, this nullspace has dimension one, so every such column must be a scalar multiple of . Let be that scalar for force input . The corresponding sensor column is therefore .
Now use to return to the measured response. Because is constant, it can be taken outside the residue limit:
Thus the result for the physical residue gives the sensor residue , which is the quantity needed in the expansion of .
For example, if two inputs have coefficients 2 and , and the measured shape is , their residue columns are
The columns differ in strength and sign, but both retain the sensor ratio . 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 be the transforms of the applied forces, so . Multiplying the residue by this input vector combines its two columns:
Both forces affect the response through the single quantity . The first sensor receives that quantity and the second receives times it. This is the fixed spatial pattern.
The general notation expresses exactly this calculation. For inputs, collect their coefficients into the row . Factoring the common vector out of the residue columns gives
Here is the transform of input . The product is one scalar because it is a row times a column. In the example, . These coefficients belong to the system; 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 is . Since , the contribution of this one term to the transformed sensor response is
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 . 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 . The full transfer matrix also includes its conjugate pole and every other mode. For real system matrices, the residue at is . Under our assumption of distinct roots in conjugate pairs, summing the pairs reconstructs :
The index 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 , the sensors do not observe it; if , none of the modeled inputs excites it. In either case , so that root contributes no pole to . [2] Even a visible mode may receive no contribution from a particular force combination for which .
For example, suppose a mode has shape : the first and third coordinates move in opposite directions, while the middle coordinate stays still. If the only sensor measures that middle coordinate, then , giving and hence . 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 be the duration of a record and the vector obtained by Fourier-transforming each sensor signal at frequency . At one frequency, abbreviate this vector by . For two sensors its entries are . The superscript means conjugate transpose: transpose the vector and conjugate its entries. It is an operation, distinct from the transfer matrix . The outer product is
The diagonal contains squared amplitudes. The off-diagonal entries compare the channels. For channels and , let be their Fourier phases. Then : 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 for expectation, an average over possible records generated under the same statistical conditions. Averaging 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 is
The factor 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 equals its conjugate transpose. Such a matrix is called Hermitian. Averaging preserves this property.
Next, choose any complex column vector of sensor weights. The scalar is a weighted combination of the Fourier coefficients. Its squared magnitude cannot be negative, and neither can its average:
This second property is called positive semidefiniteness: every weighted combination has a nonnegative PSD. Together, the two properties ensure that 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 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 . Define as the force PSD matrix, using the same Fourier-product convention as (10).
The input–output relation multiplies the force Fourier components by . Consequently, their outer products transform by multiplication on both sides. Suppressing the frequency arguments and writing for input and output Fourier components, the algebra is
At a fixed frequency, 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
The force spectrum determines how the system is excited; the transfer matrix contains its modal dynamics. [3] We now substitute the modal expansion of to determine when 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 . A constant PSD is called white; the matrix need not be diagonal, so different force channels may still be correlated.
Write for angular frequency and let contain every transfer contribution except the selected pole, including its conjugate partner. Then
The selected term becomes large when is close to and is small. If it dominates the response to the actual excitation, we can omit in (12). Let denote the resulting scalar spectral weight and denote approximate equality:
The numerator is nonnegative: with , it is , a quadratic form of the positive-semidefinite force PSD. The frequency dependence is therefore confined to ; the direction 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, is replaced by an estimate , 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 , let and be these vectors and values, ordered largest first. Assemble the vectors into the columns of and the values into the diagonal matrix . Then
For a vector , write for its Euclidean norm. The rank-one matrix in (14) has a single nonzero eigenvalue, since
Let denote an arbitrary common phase angle. Normalizing the eigenvector gives
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 and . 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 denote the frequency of a spectral maximum and . Even a single-degree-of-freedom (SDOF) oscillator distinguishes this frequency from and . With denoting its force-to-displacement transfer function, and modal subscripts omitted, its squared magnitude is given below. The symbol suppresses a frequency-independent factor; under white forcing, the displacement PSD has this same frequency dependence:
Differentiating the denominator gives ; its nonzero root yields the stated maximum when . 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 and their spectral weights . Their contributions add:
Multiplying by the first physical shape gives
The second term generally points away from . 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 , are a special case. They should not be confused with mass-orthogonal physical modes, satisfying . 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 be the angle between two unit measured shapes, and . Their natural frequencies are : mode 1 is fixed at 3 Hz, and the separation control sets mode 2. Both have damping ratio . Independent white modal forces, with no sensor noise, produce (18) with weights
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, .
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 be a reference shape taken near a resonance and a candidate singular vector at a neighboring frequency. Their MAC is
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 be the selected bell and its autocorrelation at lag , the time separation between two response values. For a discrete calculation, let be the sampling rate, an even transform length, and the frequency spacing. Write for the sample at frequency , and for the lag index. Then
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 be that positive envelope, its extrapolated initial amplitude, and the full damped period. Here measures elapsed lag. The logarithmic decrement is the natural logarithm, denoted , of the amplitude ratio per period. For peaks separated by full periods,
The exponential makes the logarithmic ratio independent of the starting time. Define . Substituting (7) gives , and hence
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 be the -component state vector, its evolution matrix, and the identity. With zero blocks of the same size, the free equations become
Let be a state eigenvector, with upper and lower -component blocks . Substitution of gives . The upper block requires , and the lower block gives
Thus every eigenvector of has displacement block and velocity block . Its upper block is the physical mode shape and satisfies . Conversely, every nonzero solution of this quadratic eigenproblem gives an eigenvector of by stacking those two blocks:
Here the double arrow means that either relation implies the other. In the quadratic problem, selects the matrix , and lies in its nullspace; it does not satisfy . To recover a displacement mode shape from a state eigenvector, simply take its first entries.
The two problems have the same 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 . For the whole structure, we set in (4) and solve a new eigenproblem. Let and denote an undamped angular frequency and its displacement shape, with indexing the undamped modes. Substituting a sinusoid into the undamped equations gives
For a single mass and spring, these two calculations agree: both give . 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: need not equal any . Here, “natural frequency of mode ” means the parameter computed from its damped eigenvalue. [1]
Appendix: the residue formula
At a simple root , let and be nonzero right and left null vectors: multiplication by on the corresponding side gives zero. The residue is defined by the limit
The cofactor at row , column is times the determinant after deleting that row and column. The adjugate is the transpose of the cofactor matrix. It remains defined at singular matrices and satisfies . Wherever is invertible,
A simple root gives rank . The adjugate identities place its columns and rows in the one-dimensional right and left nullspaces. Let be the resulting proportionality constant and the derivative of at the root. The symbol denotes a remainder bounded by a constant times near that root. Then
Let be the entrywise derivative, and let denote trace, the sum of diagonal entries. Jacobi’s determinant-derivative identity, valid also at singular matrices, gives
Substitution in the residue limit cancels both and . The input-coupling row introduced above is therefore , and
The denominator is nonzero at a simple root. The residue vanishes precisely when the mode is unobserved, , or unexcited, . 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
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 and , zero initial conditions give and . Their residues acquire factors and . 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 within the selected band. Let be its Hermitian positive-semidefinite square root. Define the selected-pole transfer , and weight it and the residual by the excitation: , . Expanding (12) gives
Let denote the matrix spectral norm, the largest amplification of a unit vector, and let bound the relative residual. The triangle inequality and the product bound for this norm give
A small 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, , where 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 instead of . Denote that matrix by . Then
Under this convention, (14) becomes . The leading vector estimates , 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 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 be the number of segments, their length in samples, and the window at within-segment index . Indices and label segments and frequency bins. Write 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 is 2 at interior positive-frequency bins and 1 at DC (zero frequency) and Nyquist (half the sampling rate), when present. At sampling rate , the estimate is
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 . 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 and labeling density per hertz and per radian per second, respectively, the change of variables gives
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 must be multiplied by to obtain the discrete correlation in (20). Normalizing by removes an overall scale but does not repair incorrect mirroring. [5]
Additive sensor noise
Let denote sensor noise and its PSD. If the noise and structural response have zero cross-covariance at every lag, their spectra add: . 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.
| Derivation | Source |
|---|---|
| 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 visibility | Laplace 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
- 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.
- Å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.
- 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.
- 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.
- SciPy documentation. Signal Processing — Spectral Analysis.Fourier normalization, spectral densities, windowing and the resolution/variance tradeoff.
- SciPy documentation. scipy.signal.csd.See Notes for conjugate-first cross spectra and window scaling; cites Welch’s original 1967 paper.
- 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.
- 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.
- 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.
- 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.