The Rayleigh-Ritz method minimizes an energy functional over a finite-dimensional trial space. For a real Hilbert space , a symmetric coercive bilinear form and a continuous linear functional , takeWriting in a trial basis and differentiating with respect to each coefficient givesThe same equations follow from testing the variational problem against each , which is the Ritz-Galerkin equivalence for a symmetric coercive form. Nonsymmetric problems need a separate argument because differentiating sees only its symmetric part.
For on with zero Dirichlet boundary conditions, choose , and the one-dimensional trial space spanned by . Then and , giving . Here the exact solution lies in the trial space, so minimization recovers it exactly; in general the Céa lemma controls the approximation error.
New to topics? Read the docs here!