How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
The forced coupled quadratic model: modal responses, resonance, and boundedness for positive definite stiffness off resonance
The forced coupled quadratic model M q'' + K q = J(t) with symmetric positive definite mass metric, symmetric non-negative stiffness and a prescribed continuous generalized force: decoupling into independent scalar forced modal equations, the unique motion for every datum given by the modal convolution formulas, and the sinusoidal case J(t)=J_0 cos(Omega t) with the modal steady responses of amplitude |psi_0i|/|lambda_i-Omega^2|, the resonant unbounded motions at Omega^2=lambda_i with nonvanishing modal force component, the zero-mode cases (bounded for Omega>0 and quadratic growth for Omega=0), the reduction of every motion to a particular response plus a free motion, unboundedness of every motion in the resonant cases, and boundedness of every motion for positive definite stiffness away from resonance. The result is a conditional statement about the declared model with a prescribed external generalized force in the modelling status of a drive; it asserts no back-reaction of the source, no measured response, no damping and no empirical claim.
Statement
Use the fixed coordinate, time and energy units and numerical matrix convention of The coupled quadratic oscillator model: mass metric, stiffness, generalized force, modal vocabulary and the small-oscillation model at a mechanical equilibrium. Every displayed matrix identity and phase norm is in those numerical coordinates; physical positions, velocities, modal amplitudes, frequencies and energies are recovered by the stated fixed scale factors. This does not change the set of physical motions.
Adopt the coupled quadratic model of The coupled quadratic oscillator model: mass metric, stiffness, generalized force, modal vocabulary and the small-oscillation model at a mechanical equilibrium with data in which is symmetric positive definite, is symmetric and non-negative, is an interval with nonempty interior and is continuous; let , for and the modal coordinates be the modal data of clause (e) of that definition, and call the modal force. Its physical unit is ; the modal initial velocity has unit and has unit . Every convolution and particular-solution amplitude therefore reconstructs a modal coordinate in unit . Fix and a datum , and write , for the modal data of the motion. Then:
- Unique motion and modal convolution. There is exactly one motion with that datum; it is with
- Sinusoidal or constant generalized force. Suppose and with and , so that with . Then for each index : (a) if and , then solves on , with amplitude ; (b) if and , then solves that equation and is unbounded on when ; (c) if and , then solves and is bounded; if and , then solves and is unbounded on when .
- Reduction, resonance and boundedness. In every case of clause 2 the modal particular functions combine into the particular motion of the model, and every motion of the model on is with a motion of the free model of The coupled quadratic oscillator model: mass metric, stiffness, generalized force, modal vocabulary and the small-oscillation model at a mechanical equilibrium. Consequently: (a) resonance. If some index has and either with , or with , then every motion of the model is unbounded on ; (b) boundedness. If is positive definite and no index with satisfies , then every motion of the model is bounded on . The resonant drive angular frequencies are exactly the values with and , together with when some index with has .
The generalized force is prescribed external data. For this is the sinusoidal-drive formulation of The sinusoidally driven oscillator model: a prescribed external force added to the damped oscillator; for it is the constant-force case allowed by clause (b) of The coupled quadratic oscillator model: mass metric, stiffness, generalized force, modal vocabulary and the small-oscillation model at a mechanical equilibrium, whose is any continuous prescribed generalized force. In both cases the source is not modelled dynamically, and no back-reaction, damping, measured response or empirical value is asserted.
Facts & Assumptions
Given: The data of the statement, the modal data and modal coordinates , the modal force , the time , the datum and, in clauses 2 and 3, with .
Forced modal decoupling and convolution (Forced quadratic system : decoupled forced modes and the convolution solution clauses 1-3): solves on if and only if solves for all with ; the unique scalar solution with data at is the displayed homogeneous solution plus the convolution integrals with kernel for and for ; and consequently for every datum there is exactly one solution of the forced system with that datum.
Sinusoidal scalar response (Sinusoidal forcing: the steady response, its amplitude and phase, and resonance at clauses 1-2): for , , and forcing , if then is a solution of amplitude , and if then is a solution, unbounded on for .
Prescribed generalized force (The coupled quadratic oscillator model: mass metric, stiffness, generalized force, modal vocabulary and the small-oscillation model at a mechanical equilibrium clause (b)): is a continuous force prescribed as model data. When , the cosine term has the restricted sinusoidal-drive status of The sinusoidally driven oscillator model: a prescribed external force added to the damped oscillator clause (ii); when , it is the constant-force specialization of the general data, not an application of that postulate's positive-frequency convention. In either case it depends on time alone and has no modelled back-reaction. The scalar equation with , , is the oscillator model of The damped driven oscillator model: second-order equation, phase-plane system and characteristic data.
Free motion classification (The free coupled quadratic model: global existence, the complete modal classification, mode energies, intrinsic degenerate mode subspaces, boundedness and the unstable direction clauses 2 and 5): the motions of the free model with symmetric positive definite and symmetric non-negative are exactly the modal superpositions with oscillatory and affine; if is positive definite every free motion is bounded on , and an affine component with nonzero slope is unbounded on .
Calculus and linear algebra (The derivatives of sine and cosine are cosine and minus sine, Sums, scalar multiples, products and quotients: , , , and when , The chain rule for total derivatives: , The derivative and the Riemann integral of a vector-valued function: an intrinsic derivative and a componentwise integral, Rectangular matrix multiplication and the identity matrix , including zero-sized shapes, The Euclidean inner product on , Linear map between vector spaces over the same field, Euclidean maps and diffeomorphisms): sine and cosine are differentiated by , ; sums and products are differentiated by the algebra and chain rules; the map and its inverse are linear bijections, so each is a finite linear combination of components with fixed coefficients and boundedness of is equivalent to boundedness of its modal coordinate , and boundedness of is equivalent to boundedness of , and by linearity.
Proof
Clause 1 is the instantiation of [F1] at the data of the statement: the hypotheses are symmetric positive definite, symmetric non-negative, an interval with nonempty interior and continuous, so the unique motion with the datum is with the displayed scalar solutions and .
Sinusoidal modal force: for linearity of the map gives .
Scalar particular solutions: for and , [F2] applies with and and supplies the solution of amplitude , which is (a); for and , [F2] supplies and its unboundedness, which is (b); for direct differentiation by [F5] gives when and when , with the stated boundedness and unboundedness; this is (c).
Reduction: let be a motion of the forced model; the particular functions of step 2.1 for all indices combine into with solving , and is a motion by [F1]; since the system is linear, the difference solves the free system , hence is a free motion, and by [F4] its modal coordinates are the oscillatory or affine families of The free coupled quadratic model: global existence, the complete modal classification, mode energies, intrinsic degenerate mode subspaces, boundedness and the unstable direction clause 2.
Resonance: suppose some index has and is resonant in the sense of clause 3(a). If and , then the -th modal coordinate of every motion is, by steps 3.1 and 1.1, the sum of the unbounded particular function of step 2.1(b) and a bounded homogeneous oscillatory function, hence is unbounded on ; if and , it is the sum of the quadratic particular function and an affine homogeneous function, hence also unbounded. Since the bijection with fixed coefficients preserves unboundedness by [F5], every motion of the model is unbounded; this is clause 3(a).
Boundedness: suppose is positive definite, so every by The free coupled quadratic model: global existence, the complete modal classification, mode energies, intrinsic degenerate mode subspaces, boundedness and the unstable direction clause 5, and no index with has . For every nonresonant index use the bounded particular function of step 2.1(a); if , the hypothesis gives and the particular function of step 2.1(b) is identically zero and the homogeneous functions of step 3.1 are bounded oscillations by [F4]; hence every modal coordinate and its derivative are bounded on , and by the fixed-coefficient bijection of [F5] every motion is bounded; this is clause 3(b). The list of resonant frequencies in clause 3 is the direct reading of the cases of step 2.1.
Clauses 1-3 are proved. The generalized force is prescribed external data in the modelling status of [F3]: the model has no back-reaction, no damping, and the resonance statement is a property of the declared undamped forced model, not a measured response.
Remarks
-
Degenerate resonance. If a modal stiffness is degenerate, the modal force components depend on the choice of diagonalization, but whether the drive resonates with the corresponding pure- family does not: by clause 4 of The free coupled quadratic model: global existence, the complete modal classification, mode energies, intrinsic degenerate mode subspaces, boundedness and the unstable direction the family is the intrinsic subspace , and the resonance condition is that the mass-metric projection of onto be nonzero, a basis-independent statement.
-
Why the zero mode is special. A zero modal stiffness means the potential of the quadratic model has a flat direction to second order; a constant generalized force component along such a direction produces quadratic growth in time, the degenerate analogue of resonance, and no oscillation at all is present in that direction.
Depends on
The coupled quadratic oscillator model: mass metric, stiffness, generalized force, modal vocabulary and the small-oscillation model at a mechanical equilibrium
The free coupled quadratic model: global existence, the complete modal classification, mode energies, intrinsic degenerate mode subspaces, boundedness and the unstable direction
Forced quadratic system : decoupled forced modes and the convolution solution
Sinusoidal forcing: the steady response, its amplitude and phase, and resonance at
The sinusoidally driven oscillator model: a prescribed external force added to the damped oscillator
The damped driven oscillator model: second-order equation, phase-plane system and characteristic data
The derivatives of sine and cosine are cosine and minus sine
Sums, scalar multiples, products and quotients: , , , and when
The chain rule for total derivatives:
Linear map between vector spaces over the same field
Rectangular matrix multiplication and the identity matrix , including zero-sized shapes
The Euclidean inner product on
The derivative and the Riemann integral of a vector-valued function: an intrinsic derivative and a componentwise integral
Euclidean maps and diffeomorphisms
Intervals of : the nine order-convex forms, nondegeneracy, and length
Dependency tree · 2 levels
Sources
- D. Tong, Classical Dynamics (Cambridge lecture notes, January 2015 printing), Section 2.6, printed pages 40-45 (PDF pages 46-51): normal modes and the comparison of mode frequencies in the double pendulum and triatomic examples, with the drive-free mode equations
- K. K. Likharev, Essential Graduate Physics, Part CM: Classical Mechanics (title page last edited September 1, 2026), Chapter 6, Sections 6.1-6.2, Eqs. (6.1)-(6.21), chapter pages 1-6 (PDF pages 125-130): coupled oscillators, the normal-mode eigenproblem and the response of the modes to a periodic drive
- I. Stewart, Advanced Classical Mechanics (MIT 8.09/8.309 Fall 2014 course text), Chapter 3, Sections 3.1-3.2, printed pages 52-59 (PDF pages 55-62): the quadratic natural Lagrangian and the decoupled generalized eigenproblem