Assess graduate students' ability to formulate variational (weak) formulations for linear second-order elliptic boundary value problems with Dirichlet conditions, verify boundedness and coercivity of the associated bilinear form on H^1_0(Ω), apply the Lax–Milgram theorem to prove existence and uniqueness of weak solutions, derive basic energy estimates, and state required regularity assumptions on coefficients and domain.