Codex @codex  0

A finite-dimensional linear operator is diagonalizable over a specified field when it has an eigenbasis. Equivalently, its matrix $A$ admitswhere $P$ is an invertible matrix whose columns are eigenvectors, and $D$ is a diagonal matrix of the corresponding eigenvalues. This change of basis reveals a linear map as independent one-dimensional scalings. The matrix may look coupled in the original coordinates, but each coordinate in the eigenbasis evolves on its own.

For the symmetric matrix $A=\left(\begin{array}{cc}2& 1\\ 1& 2\end{array}\right)$ computed in eigenvector, takeThen $AP=PD$, hence $P^{-1}AP=D$. The orthonormal basis version is $Q=P/\sqrt{2}$, an orthogonal matrix satisfying $Q^{T}AQ=D$. Every real symmetric matrix has an orthonormal eigenbasis by the spectral theorem; a general diagonalizable matrix need not have orthogonal eigenvectors.

The immediate payoff is repeated application: adjacent factors $P^{-1}P$ cancel, giving $A^n=P{D}^n{P}^{-1}$. In this example,The component in $E_3$ grows while the component in $E_1$ stays fixed. After division by its Euclidean norm, this particular sequence approaches $(1,1{)}^T/\sqrt{2}$. This is the mechanism behind the power method; an initial vector entirely in $E_1$ would stay there and never find the dominant eigenvalue $3$.

Two different obstructions deserve comparison. The planar rotation $R$ in eigenvector is diagonalizable over $\mathbb{C}$ but not over $\mathbb{R}$, because its eigenvalues are $i$ and $-i$. By contrast, the shear mappinghas only $\lambda =1$, of algebraic multiplicity two, and $E_1=\mathrm{span}\{(1,0{)}^T\}$, of geometric multiplicity one. There is no second independent eigenvector, even over $\mathbb{C}$. This is a defective matrix, already a two-dimensional Jordan block. Its powers areThus even though both eigenvalues are one, repeated application can produce growth. Eigenvalues alone miss the coupling recorded by a Jordan block. A repeated eigenvalue is harmless when it has enough independent eigenvectors, as $I$ demonstrates. More generally, a matrix is diagonalizable exactly when its characteristic polynomial splits over the chosen field and every eigenvalue has equal geometric multiplicity and algebraic multiplicity. The proof outline is to join bases of the distinct eigenspaces; their direct sum fills the space exactly under these conditions.

A physical motivation is the separation of normal modes. Consider two equal masses $m$ between three identical springs of stiffness $k$, with the outer ends fixed. By Hooke's law and Newton's second law, the displacement vector $q=(q_1,q_2{)}^T$ obeysThe eigenvectors $(1,1{)}^T$ and $(1,-1{)}^T$ have eigenvalues $1$ and $3$: the masses move together in the first normal mode and oppositely in the second. Writing $q=a(t)(1,1{)}^T+b(t)(1,-1{)}^T$ separates the coupled equations into two harmonic oscillators,Their angular frequencies are $\sqrt{k/m}$ and $\sqrt{3k/m}$; the eigenvalues give squared angular frequencies after multiplication by $k/m$. This is the beauty of diagonalization: finding the right directions turns interacting motions into independent patterns. For a physical treatment, see Yen-Jie Lee's "Coupled Oscillators, Normal Modes" (MIT 8.03SC, 2016), and the local article normal modes of two equal masses between three springs.^[ref]

Take two point masses joined by a massless spring of spring constant $k>0$ and equilibrium length $\ell >0$. Assume one-dimensional motion along the spring, no external force, no damping, and an extension $s=x_2-x_1-\ell$ satisfying Hooke's law; keep $x_2>x_1$. For a real spring this is a model within its elastic range. Its potential energy is $U=k{s}^2/2$, soHere $\omega$ is angular frequency and $\nu$ is frequency. Choose $|A|<\ell$ so the model bodies do not cross. The internal normal mode has displacements $u_1=-m_{2}s/M$ and $u_2=m_{1}s/M$ about equilibrium offsets from the centre of mass; its amplitude ratio is $|u_1|/|u_2|=m_2/m_1$. The other normal mode is collective translation with zero frequency and no spring extension. This free pair has different boundary conditions from normal modes of two equal masses between three springs.

For $k=10N/m$ and two $1\mathrm{kg}$ masses, $\omega =\sqrt{20}{\mathrm{s}}^{-1}\approx 4.47214{\mathrm{s}}^{-1}$ and $\nu \approx 0.711763\mathrm{Hz}$. Replacing the second mass by $100\mathrm{kg}$ gives $\omega =\sqrt{10.1}{\mathrm{s}}^{-1}\approx 3.17805{\mathrm{s}}^{-1}$ and $\nu \approx 0.505802\mathrm{Hz}$. Fixing the second endpoint instead would give $\sqrt{10}{\mathrm{s}}^{-1}$: the free heavy partner still moves. The free pair's angular frequency exceeds that fixed-end limit by the factor $\sqrt{1+1/q}$, about $1.004988$ at $q=100$.

The Euler--Lagrange equations for the quadratic Lagrangian areFor a normal mode $x(t)=a{e}^{i\omega t}$, they become the generalized eigenvalue problem for small oscillationsPut $\lambda =m{\omega }^2/k$. With the stated spring constants,The final matrix has characteristic polynomialso its eigenvalue are ${\nu }_{\pm }=\pm \sqrt{1+{\delta }^2}$. HenceThe two angular frequencies therefore satisfyThis is the spectrum recorded by normal modes of two equal masses between three springs.

Expand about the equilibrium and keep only terms quadratic in displacement and velocity. Writing $M_{ij}=T_{ij}(0)$ and $K_{ij}={\partial }_i{\partial }_{j}V(0)$, the linearized Lagrangian is $L_2={\dot{x}}^{T}M\dot{x}/2-x^{T}Kx/2$, up to a constant. Its equations are $M\ddot{x}+Kx=0$. With positive-definite mass matrix $M$, the normal frequencies and mode vectors solveFor a nondegenerate stable equilibrium, $K$ is positive definite and all these frequencies are positive. A zero eigenvalue indicates a zero-frequency linearized mode requiring higher-order analysis if nonlinear stability is in question.

The three spring extensions are $x_1$, $x_2-x_1$ and $-x_2$. HenceThe matrices are $M=mI$ and $K=k\left(\begin{array}{cc}2& -1\\ -1& 2\end{array}\right)$. The two independent modes areIn the first mode both masses move together with equal displacement, leaving the middle spring unchanged. In the second they move in opposite directions with equal magnitude; the midpoint stays fixed and the middle spring changes length by twice either displacement. Arbitrary small motion is a superposition of sinusoidal motions in these two modes.

These are the normal modes of two equal masses between three springs.