in press. J. M. Cummings, L. Goldstein, and A. F. Blakeslee, these PROCEEDINGS, R. S. Caldecott, E. F. Frolik, and R. Morris, these PROCEEDINGS, 38, 804-809, 1952. J. S. Kirby-Smith and C. P. Swanson, Science, 119, 42-45, 1954. A. D. Conger, Science, 119, 36-42, 1954. E. F. Frolik, TID-5098, United States Atomic Energy Commission, pp. 81-87, 1953. CLOSURE PROBLEM RELATED TO THE RIEMANN ZETA-FUNCTION BY ARNE BEURLING INSTITUTE FOR ADVANCED STUDY, PRINCETON, NEW JERSEY Communicated by Herman Weyl, March 14, 1955. It is rather obvious that any property of the Riemann zeta-function may be Dressed in terms of some other property of the function p(x) defined as the fracnal part of the real number x, i.e., x = p(x) mod 1. This note will deal with a ality of the indicated kind which may be of some interest due to its simplicity statement and proof. In the sequel, C will denote the linear manifold of funcYns 0 < f(x) -= zECIp n = 1, 2,..., i 1, n Lerethe c, are constants such that f(i + 0) = cO,,c= 0. The Riemann zeta-function is free from zeros in the half-plane a > 1/p, ' p < oo, if and only if C is dense in the space LP(O, 1). Let CP denote the closure of C in the space L" = L"(0, 1), and let Ta, 0 < a < 1, the operator which takes a function f(x) defined over (0, 1) into the function lich is equal to f(x/a) for 0 < x < a and equal to 0 for a < x < 1. This semiup of operators has the following properties which will be important for our probn: Each Ta carries C into itself and is norm-diminishing in each space LP. From is we easily conclude that C is dense in LP if and only if C" contains the function k ich is equal to 1 over the unit interval. For, if k belongs to CP, the same must be true the characteristic function of any subinterval (a, b) of (0, 1), this function being ual to Tlk - Tak. THEOREM. We next point out that, for a > 0, fo p -)x dxc --O - S-1 \X/ (1) ---.s) S ,r f e C we will have n c(s) Zcr6A" fol f(x)xs-l dx = ----0. > (2) ;sume first that CP = L'. We can then find an f e C such that Ill + fi p < e, By equation (2), lere e is a given positive number. o'(I + f(x)) Xs-' dx = - (s) ZCvs) ( a > 0. (3) r > l/p, Holder's inequality yields the following majorant of equation (3) 11 + fllll xllq'< q(- ' l/p) nsequently, n c D(s) Il - -s ^c^iEI c s < < -q's ( q(a l/p)' o >l/p. (4) is proves that v 7 0 in the region Dp, where the right-hand member of relation is < 1, i.e., for 1 a> - + p eq Islq q e 0, Dp,, increases and exhausts the half-plane c > 1/p. We should also obve at this instance that Dp, e is convex and that its boundary intersects the line = 1 at the two points where Is = 1/e. Phe proof of the necessity of the condition CP = LP is less trivial. If C is not ise in LP, we know by a classical theorem of F. Riesz and Banach that the dual .ce Lq must contain a nontrivial element g which is orthogonal to C in the sense It 0 = fol g(x)f(x) dx, feC. (5) 0 < a < 1. (6) 0ceTa takes C into itself, it follows that 0 = folg(x)Taf(x) dx = afol g(ax)f(x) dx, feC, Es, 1 < r < q, be the closed linear subset of LI spanned in the topology of btspace by the set g(ax), 0 < a 1 }. From equation (6) and the fact that C isists of bounded functions, we conclude that each f e C is orthogonal to each Lctionbelonging to any of the sets Eg. We now recall that the positive reals < 1 m a semigroup S under multiplication and that each continuous (and normali) character of S has the form p = xX, where X is an arbitrary complex or real mber. Clearly s e Lqif and only if (R(X) > - 1/q. The problem of whether or not et of the kind EP contains a character is of considerable complexity. It has mnstudied earlier by the author', 3 and by Nyman.2 However, the following ret3 can be proved by elementary function theoretic means: Let g(x) belong to a ice LQ(O, 1), 1 < q < o, and have the property fS x > O. Ig(x) dx > O, en there exists at least one character xX, (Re(X) > Egfor 1 < r < q (but not necessarily in E'). (7) l/q, which is contained in each Cnorder to apply this theorem, we have first to show that condition (7) is satisfied our function g. For this pupose assume that g vanishes a.e. on some interval a), a > 0. Choose b such that a < b < min (1, 2a), and f(x) = bp(a/x) - (b/x). Thisf belongs to C; it vanishes for x > b and takes the value a for a < x < Therefore, 0 = fo'f(x)g(x) dx = afa g(x) dx, a < b < min (1, 2a), (8) d it follows that g = 0 a.e. for x < min (1, 2a). On repeating the same argument nite number of times, we find that g = 0 a.e. over (0, 1), which is a contradiction. Lecited theorem may thus be applied to g and yields the existence of a number R,e(X)> - l/q, such that xXis orthogonal to C. On defining So = 1 + X, we will ve, in particular 0 == o p()- (p(0)) ( Osi xS?-x ) (so), 0 < 6< 1. (9) )viously, so 7 1. Since 0 can be chosen such that, at any given point # 1, 06-1 7 0, it follows that so is a zero of P'. We also have 6e, (So) > 1 - q = l/p, and this concludes the proof. We finally point out that the problem of how well k = 1 can be approached by ictions e C has a direct bearing on the distribution of the primes even in case toes have zeros arbitrary close to the line a = 1. A. Beurling, "On Two Problems concerning Linear Transformations in Hilbert Space," Acta ath., Vol. 81, 1949. B. Nyman, "On Some Groups and Semi-groups of Translations" (thesis, Uppsala, 1950). A. Beurling, "A Theorem on Functions Defined on a Semi-group," Math. Scand., Vol. 1, 1953. rTEGRABLE AND SQUARE-INTEGRABLE REPRESENTATIONS SEMISIMPLE LIE GROUP OF A BY HARISH-CHANDRA DEPARTMENT OF MATHEMATICS, COLUMBIA UNIVERSITY Communicated by Paul A. Smith, March 11, 1955 Let G be a connected semisimple Lie group. We shall suppose for simplicity at the center of G is finite. Let w7be an irreducible unitary representation of G a Hilbert space ,5. We say that ir is integrable (square-integrable) if there ists an element V # 0 in ~ such that the function (A, r(x) /) (x e G) is integrable quare-integrable) on G, with respect to the Haar measure. Assuming that the aar measure dx has been normalized in some way once for all and that 7ris squarelegrable, we denote by d, the positive constant given by the relation' f n nt ) ,tr n dx iere V is any unit vector in ,. Let C, (G) denote the set of all complex-valued nctions on G which are everywhere indefinitely differentiable and which vanish Itside a compact set. Then the following result is an easy consequence of the ;hurorthogonality' relations.