Abstract
We develop a priori error analysis for the finite element Galerkin discretization of elliptic Dirichlet optimal control problems. The state equation is given by an elliptic partial differential equation and the finite dimensional control variable enters the Dirichlet boundary conditions. We prove the optimal order of convergence and present a numerical example confirming our results.