1: \begin{abstract}

2: We consider a pointwise tracking optimal control problem for a semilinear elliptic partial differential equation. We derive the existence of optimal solutions and obtain first order optimality conditions. We also obtain necessary and sufficient second order optimality conditions. To approximate the solution of the aforementioned optimal control problem we devise a finite element technique that approximates the solution to the state and adjoint equations with piecewise linear functions and the control variable with piecewise constant functions. We analyze convergence properties and prove that the error approximation of the control variable converges with rate $\mathcal{O}(h|\log h|)$ when measured in the $L^2$-norm.

3: %The pointwise tracking optimal control problem governed by semilinear elliptic equations is considered. Existence of solutions and first order optimality conditions are derived; necessary and sufficient second order optimality conditions are obtained as well. The gap between the necessary and sufficient second order optimality conditions is the usual well--known gap for finite dimensional optimization problems. 

4: %We consider a fully discrete scheme in which we approximate the control variable by piecewise constant finite elements whereas piecewise linear functions are considered to approximate the state and adjoint state variables. Based on the structural properties of the local optimal solution, we prove the order of convergence $h|\log h|$ for the approximation error in the $L^2$--norm for the control variable. The result is valid for two- and three-dimensional domains.

5: \end{abstract}

6: