Welcome to MathOverflow

Question

27

10

Suppose $f$ is a $C^\infty$ function from the reals to the reals that is never negative. Does it have a $C^\infty$ square root? Clearly the only problem points are those at which $f$ vanishes.

flag	asked Aug 25 at 2:25 Michael Barr 545●1●7

3

A natural extension of the question is whether every non-negative smooth function is the sum of finitely many squares of smooth functions. The standard anwser from the literature seems to be "there is an unpublished counterexample by S.Cohen and D.Epstein". Does anybody know what this counterexample look like ? – Guillaume Aubrun Aug 27 at 15:11

Dick Palais · Accepted Answer · 2012-08-25 04:40:21Z UTC

27

The answer is "no". This is covered in great detail here:

http://www.math.polytechnique.fr/~bony/BBCP_jfa.pdf

edited Aug 25 at 4:40

answered Aug 25 at 3:47

Dick Palais
10k●1●38●61

There is a famous open problem, whose solution is attributed to Paul Cohen, but no published paper seems to be available: there exists $f\in C^\infty(\mathbb R,\mathbb R_+)$ such that $f$ is not a finite sum of squares of smooth functions. That could be a relevant question for MO. – Bazin Aug 31 at 20:18

Evan Jenkins · Answer 2 · 2012-08-25 04:10:20Z UTC

22

The function $$f(x) = \begin{cases} \sin^2 \left(\frac{1}{x} \right) e^{-1/x} + e^{-2/x} & \text{if $x > 0$,}\\ 0 & \text{if $x \leq 0$,} \end{cases}$$ is $C^\infty$ but has no $C^2$ square root. I found this example in the paper Choosing roots of polynomials smoothly by Alekseevsky, Kriegl, Losik, and Michor (available freely here). This example appears to have come from Frank Warner's (unpublished) 1963 dissertation.

answered Aug 25 at 4:10

Evan Jenkins
4,146●1●8●21

Yes, and functions of this type are discussed in section 2 of the reference I gave in my answer. – Dick Palais Aug 25 at 4:17

1

Both answers were helpful. It appears that the answer is yes if you add the additional assumption that $f^3$ has a square root. Of course, a square root of $f$ is a square root of $f^3$ divided by $f$, but while you can easily show such a function is continuous, it is not so easy to show it $C^\infty$. But thanks to both of you. I wish I could check both. – Michael Barr Aug 25 at 11:15

Square root of a positive $C^\infty$ function.

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

2 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.