1: \begin{abstract}

2: We study a PDE-constrained optimal control problem that involves functions of bounded variation as controls and includes the TV seminorm of the control in the objective.

3: We apply a path-following inexact Newton method to the problems that arise from smoothing the TV seminorm and adding an $H^1$ regularization.

4: We prove in an infinite-dimensional setting that, first, the solutions of these auxiliary problems converge to the solution of the original problem and, second, that an inexact Newton method enjoys fast local convergence when applied to a reformulation of the auxiliary optimality systems in which the control appears as implicit function of the adjoint state. 

5: We show convergence of a Finite Element approximation, provide a globalized preconditioned inexact Newton method as solver for the discretized auxiliary problems, and embed it into an inexact path-following scheme. 

6: We construct a two-dimensional test problem with fully explicit solution and present numerical results to illustrate the accuracy and robustness of the approach.

7: 

8: \keywords{optimal control \and partial differential equations \and TV seminorm \and functions of bounded variation \and path-following Newton method}

9: % \PACS{PACS code1 \and PACS code2 \and more}

10: \subclass{35J70 \and 49-04 \and 49M05 \and 49M15 \and 49M25 \and 49J20 \and 49K20 \and 49N60}

11: \end{abstract}

12: