In this paper, weconsider probability measures μ and ν on a d-dimensionalsphere in ${\bf R}^{d+1}, d \geq 1,$ and cost functions of the form $c({\bf x},{\bf y})=l(\frac{|{\bf x}-{\bf y}|^2}{2})$ that generalize those arising in geometric optics where $l(t)=-\log t.$ We prove that if μ and ν vanish on $(d-1)$ -rectifiable sets,if |l'(t)|>0, $\lim_{t\rightarrow 0^+}l(t)=+\infty,$ and $g(t):=t(2-t)(l'(t))^2$ is monotone then thereexists a unique optimal map T o that transports μ onto $\nu,$ whereoptimality is measured against c. Furthermore, $\inf_{{\bf x}}|T_o{\bf x}-{\bf x}|>0.$ Our approach is based on direct variational arguments.In the special case when $l(t)=-\log t,$ existence of optimal maps on thesphere was obtained earlier in [Glimm and Oliker, J. Math. Sci.117 (2003) 4096-4108]and [Wang, Calculus of Variations and PDE's20 (2004) 329-341] under more restrictive assumptions. In these studies, it was assumed that either μ and ν are absolutelycontinuous with respect to the d-dimensional Haussdorff measure, or they have disjoint supports. Another aspect of interestin this work is that it is in contrast with the work in[Gangbo and McCann, Quart. Appl. Math.58 (2000) 705-737] where it is proved that when l(t)=t thenexistence of an optimal map fails when μ and ν are supported by Jordan surfaces.