MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

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

Let $g:[0,\infty) \rightarrow \mathbb{R}$ be an increasing function. Is there a way to construct an entire function $f(z)$ such that $f(x)=g(|x|)$ for all real $x$?

share|cite|improve this question
What about $g(x)=x$ ? There is certainly no entire $f$ s.t. $f(x)=|x|$ for all $x \in \mathbb{R}$. – Ralph Aug 30 '12 at 9:58
I think I get it. Thank you. – Turbo Aug 30 '12 at 10:15
up vote 4 down vote accepted

You should keep in mind analytic continuation. Let $f:\mathbb R\rightarrow\mathbb R$ be a $C^\infty$ function ; if there exists an entire function extending $f$, then

(1) It is unique by analytic continuation,

(2) The function $f$ must be real-analytic.

Of course (2) is not sufficient: think about the real-analytic $x\mapsto\frac{1}{1+x^2}$, which does NOT have an entire extension, since by analytic continuation, that extension should coincide with $\mathbb C\ni z\mapsto \frac{1}{1+z^2}$, which has poles at $\pm i$. For a real-analytic $f$, you can formulate a criterion dealing with the size of derivatives. Such a function has an entire extension iff $$\forall R>0,\exists C_R,\forall n\in\mathbb N,\quad \vert f^{(n)}(0)\vert\le C_R\frac{n!}{R^n}. $$ On the other hand, real-analyticity of a $C^\infty$ $f$ on the real line is equivalent to $$ \forall x\in \mathbb R,\exists r>0,\exists C>0, \exists R>0,\forall n\in\mathbb N,\quad \Vert f^{(n)}\Vert_{L^\infty(B(x,r))}\le C\frac{n!}{R^n}. $$

share|cite|improve this answer
For the entire extension of a real-analytic function, an equivalent condition is $$ \lim_{n \to \infty} |f^{(n)}(0)/n!|^{1/n} = 0$$ – Robert Israel Aug 30 '12 at 22:24

You certainly need some smoothness condition for this to be possible. In fact, the condition is that $f$ be extendable to an even, real-analytic function on the line which kind of makes the result a tautology since then $f$ has the form $\sum_{n=1}^\infty a_{2n} z^{2n}$.

share|cite|improve this answer
Except that it wouldn't necessarily be entire. You need an estimate on the derivatives such as Bazin's. – Robert Israel Aug 30 '12 at 22:13
I propose to close this question. – Alexandre Eremenko Aug 30 '12 at 23:34
Sorry. Didn't realise that I had to spell out that a power series that converges for each real number has infinite radius of convergence. – jbc Aug 31 '12 at 7:53

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.