Alphabeta Math
Physics theoremStatement: AI-adaptedProof: AI-adaptedprecheck pass
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

Physical scope

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 (M,K,J) in which M is symmetric positive definite, K is symmetric and non-negative, I0⊆R is an interval with nonempty interior and J:I0→Rn is continuous; let O,Λ=diag⁡(λ1,…,λn), ωi=λi for λi>0 and the modal coordinates z=OTM1/2q be the modal data of clause (e) of that definition, and call ψ:=OTM−1/2J the modal force. Its physical unit is a∗/t∗2; the modal initial velocity ηi has unit a∗/t∗ and ξi has unit a∗. Every convolution and particular-solution amplitude therefore reconstructs a modal coordinate in unit a∗. Fix t0∈I0 and a datum (q0,v0), and write ξi:=zi(t0), ηi:=zi′(t0) for the modal data of the motion. Then:

  1. Unique motion and modal convolution. There is exactly one motion q:I0→Rn with that datum; it is q=M−1/2Oz with

zi(t)=ξicos⁡(ωi(t−t0))+ηiωisin⁡(ωi(t−t0))+1ωi∫t0tsin⁡(ωi(t−s))ψi(s) ds(λi>0),

zi(t)=ξi+ηi(t−t0)+∫t0t(t−s)ψi(s) ds(λi=0).

  1. Sinusoidal or constant generalized force. Suppose I0=R and J(t)=J0cos⁡(Ωt) with J0∈Rn and Ω≥0, so that ψ(t)=ψ0cos⁡(Ωt) with ψ0=OTM−1/2J0. Then for each index i: (a) if λi>0 and Ω2≠λi, then zip(t):=ψ0,icos⁡(Ωt)/(λi−Ω2) solves zi′′+λizi=ψ0,icos⁡(Ωt) on R, with amplitude ∣ψ0,i∣/∣λi−Ω2∣; (b) if λi>0 and Ω2=λi, then zip(t):=ψ0,i tsin⁡(ωit)/(2ωi) solves that equation and is unbounded on [0,∞) when ψ0,i≠0; (c) if λi=0 and Ω>0, then zip(t):=−ψ0,icos⁡(Ωt)/Ω2 solves zi′′=ψ0,icos⁡(Ωt) and is bounded; if λi=0 and Ω=0, then zip(t):=ψ0,it2/2 solves zi′′=ψ0,i and is unbounded on [0,∞) when ψ0,i≠0.
  2. Reduction, resonance and boundedness. In every case of clause 2 the modal particular functions zip combine into the particular motion qp:=M−1/2Ozp of the model, and every motion of the model on R is q=qp+qh with qh 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 i has ψ0,i≠0 and either λi>0 with Ω2=λi, or λi=0 with Ω=0, then every motion of the model is unbounded on [0,∞); (b) boundedness. If K is positive definite and no index i with ψ0,i≠0 satisfies Ω2=λi, then every motion of the model is bounded on [0,∞). The resonant drive angular frequencies are exactly the values Ω=λi with λi>0 and ψ0,i≠0, together with Ω=0 when some index with λi=0 has ψ0,i≠0.

The generalized force is prescribed external data. For Ω>0 this is the sinusoidal-drive formulation of The sinusoidally driven oscillator model: a prescribed external force f0cos⁡(Ωt) added to the damped oscillator; for Ω=0 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 J 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 (M,K,J) of the statement, the modal data M1/2,M−1/2,O,Λ and modal coordinates z, the modal force ψ=OTM−1/2J, the time t0, the datum (q0,v0) and, in clauses 2 and 3, J(t)=J0cos⁡(Ωt) with ψ0=OTM−1/2J0.

[F1]

Forced modal decoupling and convolution (Forced quadratic system Mq′′+Kq=φ(t): decoupled forced modes and the convolution solution clauses 1-3): q solves Mq′′+Kq=φ on I0 if and only if z=OTM1/2q solves zi′′+λizi=ψi for all i with ψ=OTM−1/2φ; the unique scalar solution with data (ξi,ηi) at t0 is the displayed homogeneous solution plus the convolution integrals with kernel sin⁡(ωiu)/ωi for λi>0 and u for λi=0; and consequently for every datum there is exactly one solution q:I0→Rn of the forced system with that datum.

[F2]

Sinusoidal scalar response (Sinusoidal forcing: the steady response, its amplitude and phase, and resonance at Ω=k/m clauses 1-2): for m=1, c=0, k=λi>0 and forcing ψ0,icos⁡(Ωt), if λi−Ω2≠0 then xp(t)=ψ0,icos⁡(Ωt)/(λi−Ω2) is a solution of amplitude ∣ψ0,i∣/∣λi−Ω2∣, and if Ω2=λi then xp(t)=ψ0,itsin⁡(ωit)/(2ωi) is a solution, unbounded on [0,∞) for ψ0,i≠0.

[F3]

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)): J is a continuous force prescribed as model data. When Ω>0, the cosine term has the restricted sinusoidal-drive status of The sinusoidally driven oscillator model: a prescribed external force f0cos⁡(Ωt) added to the damped oscillator clause (ii); when Ω=0, it is the constant-force specialization of the general J 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 m=1, c=0, k=λi is the oscillator model of The damped driven oscillator model: second-order equation, phase-plane system and characteristic data.

[F4]

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 M and symmetric non-negative K are exactly the modal superpositions with λi>0 oscillatory and λi=0 affine; if K is positive definite every free motion is bounded on R, and an affine component with nonzero slope is unbounded on [0,∞).

[F5]

Calculus and linear algebra (The derivatives of sine and cosine are cosine and minus sine, Sums, scalar multiples, products and quotients: (f+g)′(c)=f′(c)+g′(c), (αf)′(c)=αf′(c), (fg)′(c)=f′(c)g(c)+f(c)g′(c), and (f/g)′(c)=(f′(c)g(c)−f(c)g′(c))/g(c)2 when g(c)≠0, The chain rule for total derivatives: D(g∘f)(a)=Dg(f(a))∘Df(a), 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 In, including zero-sized shapes, The Euclidean inner product ⟨x,y⟩=∑k<nxkyk on Rn, Linear map between vector spaces over the same field, Ck Euclidean maps and diffeomorphisms): sine and cosine are differentiated by (sin⁡)′=cos⁡, (cos⁡)′=−sin⁡; sums and products are differentiated by the algebra and chain rules; the map z↦q=M−1/2Oz and its inverse q↦z=OTM1/2q are linear bijections, so each is a finite linear combination of components with fixed coefficients and boundedness of q is equivalent to boundedness of its modal coordinate z, and boundedness of q′ is equivalent to boundedness of z′, and ψ0=OTM−1/2J0 by linearity.

Proof

technique · cases; transport the forced system to the decoupled scalar equations, compute the sinusoidal particular responses in the three modal cases, and read resonance and boundedness from the free classification
1.1F1given

Clause 1 is the instantiation of [F1] at the data of the statement: the hypotheses are M symmetric positive definite, K symmetric non-negative, I0 an interval with nonempty interior and φ=J continuous, so the unique motion with the datum is q=M−1/2Oz with the displayed scalar solutions and ψ=OTM−1/2J.

1.2F5givenalgebra

Sinusoidal modal force: for J(t)=J0cos⁡(Ωt) linearity of the map J↦OTM−1/2J gives ψ(t)=OTM−1/2J0cos⁡(Ωt)=ψ0cos⁡(Ωt).

2.1assume-case nonresonantassume-case resonantassume-case zeroF2F5step 1.2algebra

Scalar particular solutions: for λi>0 and Ω2≠λi, [F2] applies with k=λi and f0=ψ0,i and supplies the solution ψ0,icos⁡(Ωt)/(λi−Ω2) of amplitude ∣ψ0,i∣/∣λi−Ω2∣, which is (a); for λi>0 and Ω2=λi, [F2] supplies ψ0,itsin⁡(ωit)/(2ωi) and its unboundedness, which is (b); for λi=0 direct differentiation by [F5] gives (−ψ0,icos⁡(Ωt)/Ω2)′′=ψ0,icos⁡(Ωt) when Ω>0 and (ψ0,it2/2)′′=ψ0,i when Ω=0, with the stated boundedness and unboundedness; this is (c).

3.1F1F4step 2.1algebra

Reduction: let q be a motion of the forced model; the particular functions of step 2.1 for all indices combine into zp with zip solving zi′′+λizi=ψi, and qp:=M−1/2Ozp is a motion by [F1]; since the system Mq′′+Kq=J is linear, the difference qh:=q−qp solves the free system Mq′′+Kq=0, 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.

4.1F4F5step 3.1step 2.1algebra

Resonance: suppose some index i has ψ0,i≠0 and is resonant in the sense of clause 3(a). If λi>0 and Ω2=λi, then the i-th modal coordinate of every motion is, by steps 3.1 and 1.1, the sum of the unbounded particular function ψ0,itsin⁡(ωit)/(2ωi) of step 2.1(b) and a bounded homogeneous oscillatory function, hence is unbounded on [0,∞); if λi=0 and Ω=0, it is the sum of the quadratic particular function ψ0,it2/2 and an affine homogeneous function, hence also unbounded. Since the bijection z↦q=M−1/2Oz with fixed coefficients preserves unboundedness by [F5], every motion of the model is unbounded; this is clause 3(a).

4.2F4F5step 2.1step 3.1algebra

Boundedness: suppose K is positive definite, so every λi>0 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 ψ0,i≠0 has Ω2=λi. For every nonresonant index use the bounded particular function of step 2.1(a); if Ω2=λi, the hypothesis gives ψ0,i=0 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 [0,∞), and by the fixed-coefficient bijection of [F5] every motion (q,q′) 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.

5.1cases-exhaustive:all-modal-and-drive-casesF3step 1.1step 4.1step 4.2∎

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 ψ0,i 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 Nλ, and the resonance condition is that the mass-metric projection of M−1J0 onto Nλ 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

Dependency tree · 2 levels

Sources