1: \begin{abstract}

2:     Point source localisation is generally modelled as a Lasso-type problem on measures.

3:     However, optimisation methods in non-Hilbert spaces, such as the space of Radon measures, are much less developed than in Hilbert spaces.

4:     Most numerical algorithms for point source localisation are based on the Frank–Wolfe conditional gradient method, for which ad hoc convergence theory is developed.

5:     We develop extensions of proximal-type methods to spaces of measures.

6:     This includes forward-backward splitting, its inertial version, and primal-dual proximal splitting.

7:     Their convergence proofs follow standard patterns.

8:     We demonstrate their numerical efficacy.

9: \end{abstract}

10: