Citation
MikoličTorreira, Igor (1984) Norm Constant Holomorphic Functions on Banach Spaces. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/smv6ca65. https://resolver.caltech.edu/CaltechTHESIS:10302018181155071
Abstract
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 ℒ(ℋ), the space of linear operators over a Hilbert space ℋ. 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 ℄ 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 ThorpWhitley Theorem states that if D is a domain in ℄, Y a Banach space, and F:D → Y holomorphic with F(ζ) = 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 ⊂ ℄ → Y, the problem was solved by Globevnik, who also specialized the result to the case F:D ⊂ ℄ → ℒ(ℋ). 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 χ, Y be Banach spaces, D a domain in χ and F:D → Y holomorphic. Then F(x) will be constant for all x ϵD if and only if
(i) The subspace ε(F(x)) is independent of x ϵD, i.e., ε(F(x)) = ε for all x ϵD,
(ii) F(x)  F(y) ϵε for all x, y ϵD, where for u ϵ Y the set ε(u) is defined to be ε(u) = {v ϵ YƎr > 0 such that u+ ζv ≤ u for all ζ ϵ ℄, ζ ≤ r}.
An immediate consequence is that the ThorpWhitley 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 χ = Y = ℒ(ℋ) a simplified criterion is obtained. The norm constant functions are precisely those annihilated by certain projection operators on ℋ. 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 ⊂ ℒ(ℋ) → ℒ(ℋ) with Re(F) = 0 on D must be a constant function. A theorem analogous to Globevnik's for deciding when a function F:D ⊂ χ → Y can be norm constant under some equivalent norm is also obtained.
Item Type:  Thesis (Dissertation (Ph.D.)) 

Subject Keywords:  Mathematics 
Degree Grantor:  California Institute of Technology 
Division:  Physics, Mathematics and Astronomy 
Major Option:  Mathematics 
Thesis Availability:  Public (worldwide access) 
Research Advisor(s): 

Thesis Committee: 

Defense Date:  9 June 1983 
Record Number:  CaltechTHESIS:10302018181155071 
Persistent URL:  https://resolver.caltech.edu/CaltechTHESIS:10302018181155071 
DOI:  10.7907/smv6ca65 
Default Usage Policy:  No commercial reproduction, distribution, display or performance rights in this work are provided. 
ID Code:  11257 
Collection:  CaltechTHESIS 
Deposited By:  Melissa Ray 
Deposited On:  05 Nov 2018 18:04 
Last Modified:  16 Apr 2021 23:09 
Thesis Files

PDF
 Final Version
See Usage Policy. 12MB 
Repository Staff Only: item control page