A note on differentials of holomorphic functions

Abstract

Recently, in arXiv:2304.07149, a bridge was made between the very active area of spaces of Lipschitz real functions on a metric space and holomorphic functions on an open subset of a Banach space. This was done by introducing and studying the space $\mathcal HL_0(B_X)$ of holomorphic Lipschitz functions defined on $B_X$, the open unit ball of the complex Banach space $X$ vanishing at 0. There it was proved that this space is isometrically isomorphic to a subspace of $\mathcal H^\infty(B_X, X^*)$, the space of bounded holomorphic mapping with values in the topological dual of $X$. In that paper it was shown that this subspace was a proper one, except in the one dimensional case. The goal of this note is to give an intrinsic characterization of the elements of that subspace. Moreover, in the case where $X$ additionally has a Schauder basis, it is shown that there is an explicit way to calculate whether and element of $\mathcal H^\infty(B_X, X^*)$ belongs or not to that subspace.