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

Let $f:\mathbb R^2\rightarrow\mathbb R$ be a symmetric function: $f(y,x)=f(x,y)$. It can therefore be written has a function of the elementary symmetric polynomials, here $f(x,y)=F(x+y,xy)$, where $F(\sigma,\mu)$ is defined over $4\mu\le\sigma^2$.

Let me assume that $f$ is of class $\mathcal C^r$. It is clear from the IFT that $F$ is $\mathcal C^r$ too, away from the critical line $4\mu=\sigma^2$.

What is the regularity of $F$ at the boundary ? My guess is $\mathcal C^{r/2}$ but I have been unable to prove it or to locate such a result.

For instance, if $f(x,y)=|y-x|^r$ and $r>0$ is not an integer, then $F=|\sigma^2-4\mu|^{r/2}$ is only $\mathcal C^{r/2}$ and not more.

share|improve this question
    
It seems to me that you should be able to do this by repeatedly differentiating $f(x,y) = F(x+y,xy)$ and solving for the higher partials of $F$ in terms of the partials of $f$ of the same order plus lower order terms. –  Deane Yang Apr 14 '11 at 17:20

1 Answer 1

up vote 7 down vote accepted

Just note that $F(\sigma,\mu)=f\left(\frac{\sigma+\sqrt{\sigma^2-4\mu}}{2}, \frac{\sigma-\sqrt{\sigma^2-4\mu}}{2}\right)$.

share|improve this answer
    
bien sûr... Ça ramène au cas, assez facile, d'une fonction paire d'une variable. –  Denis Serre Apr 15 '11 at 5:48

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.