Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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 $f$ be a smooth function ,defined on unit interval $[0,1]$.Moreover $\Vert f^{(k)}\Vert_2\leq \alpha,\:\forall k\in\mathbb{N}_o$. Can we conclude that $f$ is analytic. More generally when $C^{\infty}([0,1])\cap W^{\infty, 2}([0,1]) $ contains only analytic functions?

share|cite|improve this question
up vote 2 down vote accepted


More specifically, if $$ \limsup_{n\to\infty} \frac {\|f^{(n)}\|^{1/n}_{L^2}} {n}=s<\infty, $$ then $f$ can be extended analytically in $$ \Omega=\{x+iy: x\in(0,1),\,\lvert y\rvert<1/(s\mathrm{e})\}\subset\mathbb C. $$ In the case $\|f^{(n)}\|^{1/n}_{L^2}\le a$, it extends analytically in $(0,1)\times\mathbb R$.

It does not extend however to an analytic function in the case $s=\infty$.

For proof see G. Akrivis, D. T. Papageorgiou, and Y.-S. Smyrlis On the analyticity of certain dissipative–dispersive systems, Bull. London Math. Soc. (2013) 45 (1): 52-60.

Sketch of proof. First observe that if $\|f^{(n)}\|_{L^2}=a$, for every $n$, then $\|f^{(n)}\|_{L^\infty}\le b$, for a suitable $b>0$. Then define the power series $$ \varphi(x,y)=\sum_{n=0}^\infty \frac{f^{(n)}(x)(iy)^n}{n!}. $$ This series converge, for $|y|<1/{\mathrm e}(s)$, satisfies Cauchy-Riemann equations and agrees with $f$, for $y=0$.

share|cite|improve this answer
I saw your paper and now have a question.Let say $s=\infty$ then it seems to me that we get an extension to the the whole complex plane.(Because radius of convergence is infinite) Is this true? do we end up with an entire extension? – BigM Mar 6 '14 at 4:37
If $s=0$, then the function extends to an entire analytic. If $s=\infty$ it does not extend to analytic. – Yiorgos S. Smyrlis Mar 6 '14 at 7:48

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.