5. Best average power. (i) Consider the general linear hypothesis H in the canonical form given by (2) and (3) of Section 1, and for any 'IJr+ I' .. . , 'IJs'

a, and p let S = S('IJr+ I" . . , 'IJs' a; p) denote the sphere {('Ill" ' " 'IJr): E~_I'lJUa2 = p2}. If P.p ('Ill' .. . , 'IJs'

a) denotes the power of a test ep of H, then the test (9) maximizes the average power 1P.p ('Ill , .. . , 'IJs'

a) dA S idA s for every 'IJr+I" ' " 'IJs,

a, and p among all unbiased (or similar) tests. Here dA denotes the differential of area on the surface of the sphere. (ii) The result (i) provides an alternative proof of the fact that the test (9) is UMP among all tests whose power function depends only on E~_ I'lJUa2

[(i): if U = ~_IY?' V = E7-s+I}'?, unbiasedness (or similarity) implies that the conditional probability of rejection given ~+ I' . . . , y. , and U + V equals a a.e. Hence for any given 'IJr+ I' .. . , 'IJs'

a, and p, the average power is maximized by rejecting when the ratio of the average density to the density under H is larger than a suitable constant C(Yr+1" '" Ys , u + v), and hence when ( r 'IJiYi) g(YI, · .. ,Yr;'IJI, .. · , 'IJr) = i exp L -2 dA > C(Yr+I" "'Ys ,U+V)' S i- I a As will be indicated below, the function g depends on YI"'" Yr only through U and is an increasing function of u. Since under the hypothesis U/(U + V) is independent of ~+ I' . . . , y. and U + V, it follows that the test is given by (9). The exponent in the integral defining g can be written as E~_I'lJiy;/a2 = (p.;ucosp)/a, where P is the angle (O:S;p:S;'IT) between ('IJI,.. . ,'IJr) and (YI, . . . , Yr)' Because of the symmetry of the sphere, this is unchanged if P is replaced by the angle y between ('Ill"' " 'IJr) and an arbitrary fixed vector. This shows that g depends on the Y's only through u; for fixed 'Ill" ' " 'IJ r' a denote it by h(u). Let S' be the subset of S in which 0 :s; y:s; '17'/2. Then 1[ ( p.;uCOSy) ( -p.;ucos y)] h( u) = exp + exp dA, s a a which proves the desired result .)