Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I found that I need to use the following facts in a paper that I am writing.

Let $f\in C^\infty(\mathbb R)$, then

  1. If $f(0)=0$, then $f(x)=x g(x)$ for some $g\in C^\infty(\mathbb R)$.

  2. If $f$ is even, i.e. $f(-x)=f(x)$ for all $x$, then $f(x)=g(x^2)$ for some $g\in C^\infty(\mathbb R)$.

These facts are trivial for analytic functions (just look at the Taylor series). In the smooth case, one can prove them by analyzing the derivatives of $f(x)/x$ and $f(\sqrt x)$, respectively, and showing that they have certain limits at 0. However this is somewhat cumbersome (especially if one wants to analyze how $g$ depends on $f$). This is not a problem for me because the facts fall into the category "you should be able to prove this yourself if you are reading my paper". But I would like to know if there is a nicer proof.

For the first statement, I know the following trick (which can be found in textbooks): define $$ g(x) = \int_0^1 f'(tx) \ dt $$ and observe that $f(x)=xg(x)$, and $g\in C^\infty$ since the function $t\mapsto f'(tx)$ under the integral is smooth in the parameter $x$. As a bonus, this argument also shows easily that $g$ (as a point of $C^\infty$) depends smoothly on $f$. (This is another fact that I need to use.)

Is there a similarly nice proof of the second statement? And, by the way, is there a textbook reference for it?

Added. Here is a more precise mathematical question that more or less formalizes what I mean. The function $g$ such that $f(x)=g(x^2)$ is uniquely defined only on $\mathbb R_+$, and its extension to negative arguments involves some choice.

Is there a canonical way to associate $g$ to $f$? Even more precisely, can one make a mapping $f\mapsto g$ which is linear, preserves the pointwise multiplication, and is continuous as a map from $C^\infty$ to $C^\infty$?

share|improve this question
7  
see also mathoverflow.net/questions/72497/… –  user2035 Oct 4 '11 at 10:33

5 Answers 5

The answer has been given in the MO question Integral representation of higher order derivatives by P. Majer. The formula is that if $u$ is even, then the derivatives of the function $w$ defined by $w(x):=u(\sqrt x)$ satisfy $$w^{(k)}(x^2)=\frac{\\ (2x)^{-2k+1}}{(k-1)!\\ }\\ \int_0^x (x^2-t^2)^{k-1}u^{(2k)}(t) dt\\ $$

share|improve this answer
    
Very nice, but it still goes through the extension theorem via limits of the derivatives at 0. –  Sergei Ivanov Oct 4 '11 at 16:56

Apparently this fact was first proved by Hassler Whitney and can be found in the Duke Journal 1943, volume 10 no 1 p.159-160 under the title Differentiable Even Functions.

share|improve this answer

One way that creates an (obviously) continuous linear operator $T:C^\infty_{\text{even}}\to C^\infty$ such that $f(x)=(Tf)(x^2)$ for all even $f$ is to use the Fourier transform.

Take any smooth even cutoff $\phi$ that is $1$ on $[-1,1]$ and split $f=f\phi+f(1-\phi)=f_1+f_2$. $g_2=f_2(\sqrt x)$ is obviously $C^\infty$ if extended by $0$ to the negative semiaxis. Now write $f_1(x)=\int_0^\infty \widehat f_1(y)\cos(yx)dy$. Note that $\cos \sqrt z$ is analytic and real on $\mathbb R$. Also its derivatives are bounded for $z>0$ but grow fast for $z<0$. To cope with the latter, put $V(z)=\Phi(z)\cos\sqrt z$ where $\Phi$ is some cutoff that is $1$ on the positive semiaxis and define $g_1(x)=\int_0^\infty \widehat f_1(y)V(y^2x)dy$. Finally, put $g=g_1+g_2$.

The pointwise multiplication is a bit trickier to preserve because every positive even function is a square of another even function but if the value at $0$ is small but the second derivative is large, the first derivative of $g$ must be also large and $g$ has a very strong desire to attain negative values (if you require linearity, look at $f(x)=1+Ax^2$ with large $A$ to make this a formal proof of impossibility in the class of real-valued functions)

share|improve this answer
    
Oh, I see. I mistakenly thought that $T$ is well-defined on analytic functions, but now I see that this is not the case for $f(x)=\sqrt{1+x^2}$. –  Sergei Ivanov Oct 5 '11 at 17:05

See the answer (here) for more information: Smooth functions which are invariant under a compact Lie group representation factor smoothly over the basic invariant polynomials. The factorization operator can be chosen linear and continuous.

Not mentioned in the answer above is the fact, that a certain subanalytic property of the image of the basic polynomial invariant mappings is responsible for the result: The most general version is in: MR1637671 (2000c:32027) Bierstone, Edward(3-TRNT); Milman, Pierre D.(3-TRNT) Geometric and differential properties of subanalytic sets. Ann. of Math. (2) 147 (1998), no. 3, 731–785.

share|improve this answer

There are general results on $C^\infty$ functions of several variables which are invariant under the action of a group, many of them due to Georges Glaeser. One of most beautiful is the following: take a $C^\infty$ function $f(x_1,\dots,x_n)$ which is symmetric, i.e. such that for all permutations $\sigma$ of $\{1,\dots,n\}$, $$ f(x_{\sigma(1)},\dots,x_{\sigma(n)})=f(x_1,\dots,x_n). $$ Then it is a $C^\infty$ function $F$ of the standard symmetric functions $$ \sum x_j,\dots,\prod x_j. $$ This result is elementary for polynomials ($f$ polynomial, then $F$ polynomial) but the above result is highly non-trivial for smooth non-analytic functions.

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.