 Solution

The product-to-sum identity gives $\sin \Omega t\sin \omega t=[\cos (\Omega -\omega )t-\cos (\Omega +\omega )t]/2$. Thus the first mass must have equal and opposite cosine-mode amplitudes and no sine-mode amplitudes. Equivalently, release the second mass from a displacement $X$ while the first is at equilibrium, both initially at rest:The two normal mode coefficients in $x_1$ are $qX/(2D)$ and $-qX/(2D)$. Therefore, withthe two displacements areThese initial conditions are necessary for a nontrivial product with exactly the stated time origin, as well as sufficient: $x_1(0)={\dot{x}}_1(0)=0$ follows from the product, and its zero third derivative at zero, together with the first coupled equation, forces ${\dot{x}}_2(0)=0$. Since both normal frequencies are positive, $\Omega >\omega >0$. This is the product form used to describe beating, although a well-separated slow envelope requires the two normal frequencies to be close. No such extra near-degeneracy is assumed in the exact formula.