A First Course in Complex Analysis by Matthias Beck, Gerald Marchesi, Dennis Pixton, and Lucas Sabalka Ch 5.1

Questions about this corollary

(Cor 5.5) If f is differentiable in a region $G$, then f is infinitely differentiable in G, and all partials of $f$ with respect to $x$ and $y$ exist and are continuous.

  1. '$\color{blue}{\text{f is differentiable in a region $G$}}$'

Is this the same as '$f$ is holomorphic in a region $G$', but 'differentiable' is instead used for emphasis?

  1. '$\color{green}{\text{all partials of $f$ with respect to $x$ and $y$ exist and are continuous}}$'

Why are they continuous?

Here is what I tried. Pf: Firstly, $f_x=f'$, by Cauchy-Riemann, is continuous because $f'$ is differentiable because $f$ is infinitely differentiable. Then extend by induction that (from here) $$f_{x^{(k)}y^{(n-k)}} = \frac{1}{(-i)^{n-k}1^k}f^{(n)}$$ is continuous because $f^{(n)}$ is continuous because $f^{(n)}$ is differentiable. QED

  1. Does holomorphicity of $f$ imply continuity of $f'$ by Cor 5.5?
  1. Yes. See def of holomorphicity and regions. This is even true for 'an open subset' instead of 'a region'. It's indeed probably used for emphasis because one part of the consequent is infinite differentiability and the other part is about continuity of partial derivatives (rather than partial holomorphics, if there's even such a thing).

  2. Yes assuming the formula is right, but even without the formula, just refer to the text in red box in the paragraph before Cor 5.5: any sequence of partial derivatives is a constant times something differentiable, and thus a constant times something continuous.

  3. Yes. Speaking of new assumptions, Exer 4.25 seems to be missing positively oriented which Green's Thm requires but which Cor 4.20 to Cauchy's Thm does not assume or not.

Pf: Differentiable on region iff holomorphic on region (Again, 'region' can be replaced with 'open subset'. See (1)). Then $f'$ is differentiable and thus continuous. QED


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.