5
$\begingroup$

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.

Improve this question
$\endgroup$
1
  • $\begingroup$ 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. $\endgroup$
    – Deane Yang
    Commented Apr 14, 2011 at 17:20

1 Answer 1

Reset to default
7
$\begingroup$

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)$.

Improve this answer
$\endgroup$
1
  • $\begingroup$ bien sûr... Ça ramène au cas, assez facile, d'une fonction paire d'une variable. $\endgroup$
    – Denis Serre
    Commented Apr 15, 2011 at 5:48

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .