Optimal lower bounds for cubature error on the sphere

We show that the worst-case cubature error E(Q_m;H^s) of an m-point cubature rule Q_m for functions in the unit ball of the Sobolev space H^s=H^s(S²),s>1, has the lower bound , where the constant c_s is independent of Q_m and m. This lower bound result is optimal, since we have established in previous work that there exist sequences of cubature rules for which with a constant independent of n. The method of proof is constructive: given the cubature rule Q_m, we construct explicitly a ‘bad’ function f_mH^s, which is a function for which Q_mf_m=0 and . The construction uses results about packings of spherical caps on the sphere.