Schauder type theorems for differentiable and holomorphic mappings

Denoting byC _wu ^p (E) the algebra of allC ^p-real-valued functions on the real Banach spaceE such that the functions and the derivatives are weakly uniformly continuous on bounded subsets, it is known that the algebra homomorphismsA:C _wu ^q (F)C _wu ^p (E) are induced by differentiable mappingsg:EF ^**. We prove that, for 1p+1q, the following are equivalent: (a)A is compact; (b)g and its derivatives are compact; (c)gC _wu ^p (E,F ^**) (the authors had proved that, forp=q<,A is weakly] compact if and only ifg is a constant mapping, and it is known that ifq<p, thenA is always induced by a constant mapping and is therefore compact). Also, for an entire function of bounded typegH _b (U,F), where is a balanced open subset, andE,F are complex Banach spaces, lettingA:H _b (F)H _b (U) be the homomorphism given byA(f)=fg for allfH _b (F), we prove thatA is compact if and only ifg is compact.Supported in part by DGICYT Grant PB 94-1052 (Spain).Supported in part by DGICYT Grant PB 93-0452 (Spain).