Function $f$ which isn't smooth but $f^3$ is smooth

374 Views Asked by At

In Pugh's Real Mathematical Analysis there is an exercise, marked with three stars (which denotes that the author doesn't know the answer), whether there exist a nonsmooth function $f : \mathbb{R} \to \mathbb{R}$ such that $f^2$ and $f^3$ are both smooth.

My question is not strictly about this exercise, but rather about cases when we weaken the hypotheses when only one of $f^2$ and $f^3$ are smooth.
The fact that the exercise comes with this hypotheses suggest we should be able to find those functions. For the case when $f^2$ need to be smooth we have a function $f(x) = x$ if $x$ is rational and $-x$ if $x$ is irrational, but what about the case when $f^3$ needs to be smooth?

3

There are 3 best solutions below

0
On BEST ANSWER

The idea is that it's easy to have a cusp that is "cured" by either squaring or cubing the function (or raising it to any other particular power), but more difficult to think of a case where both operations work. The simplest parametrized family of examples where $f$ is not smooth, but $f^{1+a}$ is, is probably $f(x; a)=\lvert x \rvert^{2/(1+a)}$. Choosing $a=1$ or $a=2$ gives the desired examples where $f^2$ and $f^3$ are smooth.

2
On

How about: $$y=\sin^{1/3} x,\;\;x>0$$

(if by $f^3$ you mean $f(x)^3$ of course)

0
On

For a resolution of the exercise, see

http://www.math.ucla.edu/~tao/whatsnew.html

The Feb 16,2007 comment contains a proof that if $f^2$ and $f^3$ are smooth, $f$ is smooth.