Take the 2-minute tour ×
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.

Is there a $C^{2}$-function $f:\mathbb{R}\to\mathbb{R}$ that is bounded and such that $f'(x)$ is unbounded, but $f''(x)$ is bounded again? For example, $f(x)=\sin(x^2)$ is bounded and has unbounded derivative $f'(x)$, but its second derivative is also unbounded.

edit: Thanks for the great answer. The reason I came up with this question, was the following:

I'd like to find a bounded continuous function $f:\mathbb{R}\to\mathbb{R}$ such that

$\int_{-\infty}^{+\infty}\frac{1}{\sqrt{2\pi t}}e^{-(y-x)^2/2t}f(y)dy -f(x)=\frac{1}{\sqrt{2\pi}}\int_{-\infty}^{+\infty} e^{-y^2/2}(f(x+\sqrt{t}y)-f(x))dy$

does NOT uniformly converge to $0$ for $t\to 0+$. Any help would be much appreciated.

share|improve this question
2  
Very good question! –  Pete L. Clark May 13 '11 at 3:19
    
It would be interesting to investigate restrictions leading to the affirmative. –  AD. May 13 '11 at 6:40
    
@Pete,Steve: +1, Yes. Exactly the one which was in my mind couple of days ago. –  user9413 May 13 '11 at 7:29
    
You should ask a new question instead of inserting an edit like that in there. –  Glen Wheeler May 14 '11 at 9:02
1  
Exercise 5.15 in Rudin's Principles of Mathematical Analysis is a quantitative version of this problem. (In a rare moment of candor, Rudin sketches an argument--- basically Giuseppe Negro's argument below, but adapted to his textbook's formulation of Taylor's theorem, and with a slightly better constant. An example is given showing that his constant is in a certain sense the best possible.) –  leslie townes Oct 23 '11 at 22:10

2 Answers 2

up vote 36 down vote accepted

No, this can't occur. Suppose $f'(x)$ were unbounded but $|f''(x)| < M$ for some $M$. Then for any $N$ you could find some $x_n$ with $|f'(x_n)| > N$. By the mean value theorem for any $y \neq x_n$ one has $$|f'(y) - f'(x_n)| < M|y - x_n|$$ So if $y$ is such that $|y - x_n| < {N \over 2M}$ then $$|f'(y)- f'(x_n)| < M {N \over 2M} = {N \over 2}$$ Since $|f'(x_n)| > N$, this would mean $|f'(y)| > {N \over 2}$, and furthermore by continuity of $f'$, one necessarily has that $f'(y)$ has the same sign as $f'(x_n)$. So integrating one has $$\left|f\left(x_n + {N \over 2M}\right) - f(x_n)\right| = \left|\int_{x_n}^{x_n + {N \over 2M}} f'(y)\,dy\,\right|$$ $$> \left|\int_{x_n}^{x_n + {N \over 2M}} {N \over 2}\,dy\,\right|= {N^2 \over 4M}$$ By the triangle inequality, $|f(x_n + {N \over 2M}) - f(x_n)| \leq |f(x_n + {N \over 2M})| +|f(x_n)|$. So by the above equation, at least one of $|f(x_n + {N \over 2M})|$ and $|f(x_n)|$ is greater than ${N^2 \over 8M}$. You can do this for any $N$, so $f(x)$ must be unbounded.

share|improve this answer
    
+1. Good thinking, Zarrax. –  user9413 May 13 '11 at 7:30
1  
On the other hand, without needing $f$ to be bounded ... –  Glen Wheeler May 13 '11 at 8:13
    
@Glen: You mean $f$ and $f'$ unbounded and $f''$ bounded? This can happen, just look at $x \mapsto x^2$ from the real line to itself. –  Gunnar Magnusson May 14 '11 at 13:12
1  
@Gunnar indeed, that being my point. (This is a weak "sharpness" observation...) –  Glen Wheeler May 14 '11 at 18:17
    
There is a minor computational error in the last integral: we have $$\left\lvert \int_{x_n}^{x_n+\frac{N}{2M}} \frac{N}{2}\, dx \right\rvert = \frac{N^2}{4M}$$ you wrote $\frac{N^2}{2M}$. From this we can conclude that at least one of $\lvert f(x_n+\frac{N}{2M})\rvert, \lvert f(x_n) \rvert$ is greater than $\frac{N^2}{8M}$, you wrote $\frac{N^2}{4M}$. It is a totally minor mistake. –  Giuseppe Negro Jun 10 '11 at 11:12

I would like to propose an alternate proof. Let $f \colon \mathbb{R} \to \mathbb{R}$ be $C^2$ and suppose that $f$ and $f''$ are bounded:

$$\lvert f(x) \rvert \le C_0, \quad \lvert f''(x) \rvert \le C_2.$$

Then $f'$ cannot be unbounded. To see this let us fix $x_0 \in \mathbb{R}$ and write a first-order Taylor expansion of $f$ around $x_0$:

$$f(x)-f(x_0)= f'(x_0)(x-x_0)+\int_{x_0}^x f''(t)(x-t)\, dt,$$

from which we infer

$$\lvert f'(x_0)\rvert \le \frac{2C_0}{h}+C_2h$$

with $h=\lvert x-x_0\rvert$. Minimizing the right hand side for $h > 0$ we get

$$\lvert f'(x_0)\rvert \le 2\sqrt{2} \sqrt{C_0C_2}.$$

Thus $f'$ is bounded.

share|improve this answer

Your Answer

 
discard

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.