Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-215/3/a/solution

For a path ,
by the Cauchy-Schwarz inequality. Average over , multiply by , and sum. Reversing the order of summation in the definition of the two Dirichlet forms gives
Let . The variational formula for variance gives
Take a nonconstant eigenfunction attaining the Rayleigh quotient for . Then

New to topics? Read the docs here!