Let $\varphi$ be a function on the unit tangent bundle of a compact manifold
of negative curvature. We show that averages of $\varphi$ over subdomains of
increasing spheres converge to the horospherical mean if these domains
satisfy an isoperimetric condition. We apply this result to spherical means
with continuous density and, by using relations between the horospherical mean
and the Patterson-Sullivan measure, we derive some kind of mixing properties.