3
$\begingroup$

Originally posted on MSE.

Let $U$ be an open set in $\mathbb{C}^{n}$ let $F$ be a Banach space (in my case even a dual Banach space), and let $\varphi:U\to F$ be a holomorphic map. I seem to be able to prove that the differential map $D\varphi:U\times\mathbb{C}^{n}\to F$ defined by $$D\varphi (z,v)= \lim\limits_{t\to 0}\frac{\varphi(z+tv)-\varphi(z)}{t}$$ is holomorphic.

Is there a reference for this assertion? (Or at least for continuity)

I tried to look into some sources on infinite-dimensional holomorphicity and could not find such a statement, but some of those sources are rather complicated, and so it is likely I missed it.

$\endgroup$
3
$\begingroup$

I don‘t know a reference but the result follows immediately from Hartogs‘ theorem (the fact that the image space is Banach is a bit of a red herring since a mapping into such a space is holomorphic if and only if is is weakly holomorphic).

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.