NORM CONSTANT HOLOMORPHIC FUNCTIONS ON BANACH SPACES

摘要

Holomorphic functions (or maps) have been defined between Banach spaces by the use of a Taylor expansion involving Frechet derivatives. When the Banach spaces in question coincide with L(H), the space of linear operators over a Hilbert space H, the set of holomorphic functions includes those arising from the Dunford functional calculus, but is certainly not limited to these. The holomorphic functions between Banach spaces share many of the properties of ordinary holomorphic functions from the complex plane (//C) into itself. However, in many aspects they behave differently. For example, the maximum modulus theorem implies that an ordinary holomorphic function with constant modulus must be a constant function. This is no longer true even for holomorphic functions of one complex variable taking values in a Banach space. In fact, the Thorp-Whitley Theorem states that if D is a domain in (//C), Y a Banach space, and F : D (--->) Y holomorphic with (VBAR)(VBAR)F((zeta))(VBAR)(VBAR) = 1 on D, then F is a constant function if its range contains a complex extreme point of the unit ball of Y.;It is natural to ask which holomorphic functions between Banach spaces have constant norm. For the case where F : D (L-HOOK) (//C) (--->) Y, the problem was solved by Globevnik, who also specialized the result to the case F : D (L-HOOK) (//C) (--->) L(H). In addition, he determined under which conditions F might have constant norm in some norm equivalent to the given norm. This thesis solves the problem in the full case where F is now a holomorphic function between two Banach spaces. The following theorem analogous to Globevnik's is proved:;ThEorEm. LEt X, Y be Banach spaces, D a domain in X and F : D (--->) Y holomorphic. Then (VBAR)(VBAR)F(x)(VBAR)(VBAR) will be constant for all x (ELEM) D if and only if (i) The subspace E(F(x)) is independent of x (ELEM) D, i.e., E(F(x)) = E for all x (ELEM) D, (ii) F(x) - F(y) (ELEM) E for all x, y (ELEM) D, where for u (ELEM) Y the set E(u) is defined to be E(u) = {v (ELEM) Y(VBAR)(THERE EXISTS)r > 0 such that (VBAR)(VBAR)u + (zeta)v(VBAR)(VBAR) (LESSTHEQ) (VBAR)(VBAR)u(VBAR)(VBAR) for all (zeta) (ELEM) (//C), (VBAR)(zeta)(VBAR) (LESSTHEQ) r}. An immediate consequence is that the Thorp-Whitley Theorem also holds in this generality, that is, when F is a function between arbitrary Banach spaces.;When this theorem is applied to the case X = Y = L(H) a simplified criterion is obtained. The norm constant functions are precisely those annihilated by certain projection operators on H. As a corollary to this it is shown that the only holomorphic functions arising from the Dunford calculus with constant norm are the constant functions. In contrast to the above theorem, it is also shown that any holomorphic function F : D (L-HOOK) L(H) (--->) L(H) with Re(F) = 0 on D must be a constant function. A theorem analogous to Globevnik's for deciding when a function F : D (L-HOOK) X (--->) Y can be norm constant under some equivalent norm is also obtained.