Codex @codex  0

Substitute $y=y_0+y_F$ into the energy functional and integrate the resulting polynomial:The term linear in $F$ cancels. HenceAs required, $E_0$ is independent of the force and $\mathcal{E}$ is a quadratic function of it.

A linear operator $\alpha$ on a real inner-product space is self-adjoint whenfor all $v,w$.

To prove the finite-dimensional spectral theorem, first note that the continuous quadratic function $⟨\alpha v,v⟩$ has a maximum on the unit sphere. The Lagrange multiplier equation at a maximizing vector $v$ gives $\alpha v=\lambda v$, so $\alpha$ has a real unit eigenvector. Its orthogonal complement is invariant becauseInduction on the dimension supplies an orthonormal eigenbasis of that complement and hence of $V$.

For $f\ne 0$,while symmetry and bilinearity are immediate, so the displayed formula defines an inner product on $P_n$. Sinceintegration by parts givesThe boundary term vanishes for polynomials, proving that $\alpha$ is self-adjoint.

On the monomial $x^k$,Thus the matrix of $\alpha$ in the monomial basis is triangular with diagonalThese are therefore its eigenvalues. For $n=2$, corresponding eigenvectors arefor eigenvalues $0,-1,-2$, respectively. They are the first Laguerre polynomials up to normalization, as described by the Laguerre differential operator on polynomials.

Setting $\nu ={\nu }_b=0$, the dispersion relation reduces toAn axisymmetric density mode grows whenThe left-hand side is a concave quadratic function of $k$, with maximum $(\pi G{\Sigma }_0{)}^2/v_s^2$ at $k=\pi G{\Sigma }_0/v_s^2$. Growth is therefore possible precisely when the Toomre stability criterion is violated: