Past exam of the physics B course of the University of Cambridge / 2010 / Paper 2A / Section D / D17 / d / Solution

Orthogonality means zero inner product, not merely that two objects look different. For complex vectors, $⟨u,v⟩={\sum }_i{u}_i^{\ast }{v}_i$; for functions a common choice is $⟨u,v⟩=\int w(x)u(x{)}^{\ast }v(x)dx$ with positive weight $w$. An orthonormal set has $⟨u_m,u_n⟩={\delta }_{mn}$.

For an orthogonal set, the component of $f$ along $u_n$ has coefficientA complete orthonormal set gives $f={\sum }_n{c}_n{u}_n$ in the appropriate norm and Parseval's identity $\Vert f{\Vert }^2={\sum }_n|c_n{|}^2$. Without completeness there can be a nonzero residual orthogonal to the entire chosen set. Orthogonal nonzero vectors are linearly independent, but independence alone does not imply orthogonality.

Fourier coefficients are projections becauseLikewise, for a self-adjoint operator, $A{u}_n={\lambda }_n{u}_n$ gives $({\lambda }_n-{\lambda }_m)⟨u_m,u_n⟩=0$, so distinct eigenvalues have orthogonal eigenvectors. Degeneracy does not itself force a chosen pair to be orthogonal, but an orthonormal basis can be selected within each eigenspace. The differential version uses the correct Sturm-Liouville weight and boundary conditions.

For mechanical normal modes with unequal masses the relevant inner product is $⟨u,v{⟩}_{\mathsf{M}}=u^{†}\mathsf{M}v$. This makes the modes in D14 orthogonal even when an ordinary unweighted dot product does not. Expanding in such coordinates diagonalizes the kinetic and potential quadratic forms, explaining why modal motions evolve independently and their energies add.