Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge / 2021 / Paper 1 / 10 / d

For the added trial term $q_n=x^n{e}^{-Ax}$, the left Dirichlet boundary condition is automatic for a positive integer $n$. At the right endpoint,To preserve $y^{\prime }(1)=0$ for an arbitrary variational coefficient $C$, choose $\boxed{A=n}$. Then minimize the Rayleigh quotient of $x{e}^{-x}+C{x}^n{e}^{-nx}$ over $C$.

Since $C=0$ remains available, this optimization cannot worsen the original upper bound. For $n=1$, the added function is a multiple of the first trial, so the quotient does not change: an independent choice $n\ge 2$ is needed for extra freedom. More generally, several such functions form the exponential-polynomial trial space for a mixed Sturm-Liouville problem, and the Rayleigh-Ritz method reduces minimization to a small generalized eigenvalue problem.

The added sine vanishes at zero. Its derivative at one is $B\cos B$, so nontrivial admissible choices areNegative values give the same trial directions after changing the sign of $C$; $B=0$ adds nothing. For each choice, minimize the Rayleigh quotient of $x{e}^{-x}+C\sin (Bx)$ over $C$, or optimize over several coefficients simultaneously. The original trial is included, so the best bound is no larger than $5/4$. Enlarging the trial subspace successively is the Rayleigh-Ritz method; the boundary-compatible half-integer sines provide additional independent shapes.