2
$\begingroup$

Let $f \ \colon \ [0,\infty) \to \mathbb{R}$ be a function satisfying:

  • $f$ is differentiable infinitely many times in $(0,\infty)$, and has a right-derivative of any order at $0$.
  • $f$ satifsfies the condition (condition 3 here) for analyticity: for every compact $K \subset [0,\infty)$ there exists a constant $C_K$ such that $$\forall x \in K:\forall n \geq 0:|f^{(n)}(x)|\leq C_K^{n+1}n!$$ where in the last formula, if $K$ contains $0$ and $x=0$, then the $n$-th derivative in the formula is the $n$-th right derivative in $0$.

Is it true in this case that $f$ is analytic in $[0,\infty)$ and that for some $\epsilon > 0$,

$$\forall x \in [0,\epsilon) \ \colon \ f(x) = \sum_{n=0}^{\infty}\frac{f^{(n)}(0)}{n!}x^n$$

?

If in addition we have a constant $C$ such that $$\forall x \in [0,\infty):\forall n \geq 0:|f^{(n)}(x)|\leq C^{n+1}n!$$

does the following hold: $$\forall x \in [0,\infty) \ \colon \ f(x) = \sum_{n=0}^{\infty}\frac{f^{(n)}(0)}{n!}x^n$$

?

$\endgroup$
1
  • 1
    $\begingroup$ You could try re-using the known result for $g(x) = f(x^2)$: one should be able to prove that $g$ satisfies the condition that you mentioned by using Faà di Bruno's formula. But it is perhaps simpler to just use Taylor's theorem and estimate the remainder as in the two-sided case. $\endgroup$ Jan 18, 2019 at 9:10

2 Answers 2

5
$\begingroup$

The answer to the first question is yes, as explained by Liviu Nicolaescu. The answer to the second question is no. Consider a bounded analytic function in the strip $\{z :|\Im z|<2/C\}$ for which the boundary of the strip is the natural boundary. Then the radius of convergence of the Taylor series at $0$ is $2/C$, and it cannot represent the function on the positive ray. On the other hand, $$|f^{n}(x)|=\left|\frac{n!}{2\pi}\int_{|z-x|=1/C}\frac{f(z)dz}{(z-x)^{n+1}}\right|\leq C^nn!.$$

$\endgroup$
6
  • $\begingroup$ How did you use in this case the existence of the global constant $C$ in $|f^{(n)}(x)|\leq C^{n+1}n!$ ? Does a simple explicit example exist? $\endgroup$
    – co.sine
    Jan 18, 2019 at 14:41
  • $\begingroup$ By Cauchy's inequality. $\endgroup$ Jan 18, 2019 at 14:42
  • $\begingroup$ Alexandre Eremenko please help me understand, from the Cauchy inequality we have $|f^{n}(x)|=\left|\frac{n!}{2\pi}\int_{|z-x|=1/C}\frac{f(z)dz}{(z-x)^{n+1}}\right|= \int_{|z-x|=1/C}\frac{|f(z)|dz}{|(z-x)|^{n+1}}\leq n!\cdot \max_{z\colon|z-x|\leq1/C}|f(z)|\cdot \frac{1}{2\pi} \cdot \int_{|z-x|=1/C}\frac{dz}{\frac{1}{C}^{n+1}} \leq n! \cdot \max_{z\colon|z-x|\leq1/C}|f(z)| \cdot \frac{1}{2\pi} \cdot 2\pi \frac{1}{C}\ \cdot C^{n+1}= n! \cdot \max_{z\colon|z-x|\leq1/C}|f(z)| \cdot C^{n}$ $\endgroup$
    – co.sine
    Jan 18, 2019 at 15:15
  • $\begingroup$ Please show me where I'm wrong, how do I get the $\max$ of $f$ in $|z-x|\leq \frac{1}{C}$ $\endgroup$
    – co.sine
    Jan 18, 2019 at 15:17
  • 1
    $\begingroup$ For an explicit example, one may take $f(z)=1/(1+z^2)$: this is bounded in the strip $|\operatorname{Im}z|\le1/2$ (or in any region bounded away from $\pm i$, for that matter), but the Taylor series at 0 has radius of convergence 1 due to the poles at $\pm i$. $\endgroup$ Jan 18, 2019 at 18:44
3
$\begingroup$

The Taylor formula states that, under your assumptions, for any $x>0$ and any positive integer $n$ we have $$ f(x)= f(0)+f'(0)x+\frac{1}{2!}x^2+\cdots +\frac{1}{n!} f^{(n)}(0)x^n+R_n(x), $$ where according to Lagrange $$ R_n(x)=\frac{1}{(n+1)!}f^{(n+1)}(\xi)x^{n+1}, $$ for some $\xi\in (0,x)$. A reference of this fact under your specific assumptions is Theorem 2, Section 5.3.3 of

V.A. Zorich: Mathematical Analysis I, Springer 2004.

If in your estimate for the derivatives you take $K=[0,1]$ and set $C=C_K$ then one deduces that the series $$ \sum_{n\geq 0}\frac{f^{(n)}(0)}{n!}x^n $$ converges uniformly to $f(x)$ for $0\leq x\leq \frac{1}{2C}$.

$\endgroup$
3
  • $\begingroup$ Liviu Nicolaescu how did you get the uniform convergence in $0\leq x \leq \frac{1}{2C}$? Can the convergence be extended to a larger domain? $\endgroup$
    – co.sine
    Jan 18, 2019 at 15:26
  • $\begingroup$ $R_n(x)$ converges uniformly to $0$ on any compact $K\subset[0,1/C)$. $\endgroup$ Jan 18, 2019 at 15:54
  • $\begingroup$ $$\left| \;f(x)-\sum_{k=0}^n\frac{ f^{(k)}(0)}{k!}x^k\;\right|=|R_n(x)|\leq |(Cx)^{n+1}| $$ $\endgroup$ Jan 18, 2019 at 19:20

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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