Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm stuck on a qualifying exam question, not really familiar with the method of solution. It goes as follows:

Let $f(z)$ be an an entire function and $g(z)$ be analytic in a neighborhood of $z=1$ which satisfies $g^{(n)}(1)=(f^{(n)}(1))^{\alpha}/(n!)^{\alpha-1}$, where $\alpha >0$. Show that $g(z)$ can be extended to an entire function.

Any help would be greatly appreciated.

edit: fixed typo

share|cite|improve this question
Yes, I apologize, that is correct. Just a typing a error on my part. $g^{(n)}(1)=$ etc. – C.Cheshire Aug 17 '12 at 3:23
I would guess that you can show that the taylor series for $g(z)$ is well-defined everywhere based on that condition. – JSchlather Aug 17 '12 at 3:28

Use Hadamard's formula to compute the convergence radius of $g$, it's not hard work.

Actually, you can show in a neighborhood of 1, $g$ has the expansion coefficients $g_n=(f_n)^\alpha$, where $f(z)=\sum_{n \geqslant0}f_n(z-1)^n$.

Explicitly, $f_n=\frac{f^{(n)}(1)}{n!},~g_n=\frac{g^{(n)}(1)}{n!}$, note the formula of $g^{(n)}(1)$ given by you, $g_n=(f_n)^\alpha$ is easy to check !

So that $\rho(g)=\rho(f)^\alpha$, which is $\infty$ by $\rho(f)=\infty$.

Remark. For an expansion $\sum_{n\geqslant 0} a_n(z-z_0)^n$ with $a_n$ complex numbers,

$ (\mbox{the convergence radius})^{-1}=\mbox{lim sup}_{n\rightarrow\infty}\sqrt[n]{|a_n|} $

This is the Hadamard formula.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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