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.

$\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
    Apr 14, 2011 at 17:20

1 Answer 1

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

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

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.